Mittelwertsatz der Integralrechnung

Der Mittelwertsatz der Integralrechnung (auch Cauchyscher Mittelwertsatz genannt) ist ein wichtiger Satz der Analysis. Er erlaubt es, Integrale abzuschätzen, ohne den tatsächlichen Wert auszurechnen und liefert einen einfachen Beweis des Fundamentalsatzes der Analysis.

Aussage

Zur geometrischen Deutung des Mittelwertsatzes für

Hier wird das Riemann-Integral betrachtet. Die Aussage lautet:

Sei $f:[a,b] \rightarrow \mathbb{R}$ eine stetige Funktion, sowie $g:[a,b] \rightarrow \mathbb{R}$ integrierbar und entweder $g\ge0$ oder $g\le0$ (d.h. ohne Vorzeichenwechsel). Dann existiert ein $\xi \in [a,b]$ , so dass

$\int\limits_{a}^{b}{f(x)g(x)dx} = f(\xi)\int\limits_{a}^{b}{g(x)dx}$

gilt. Manche Autoren bezeichnen die obige Aussage als erweiterten Mittelwertsatz und die Aussage für g=1 als Mittelwertsatz oder ersten Mittelwertsatz. Für g=1 bekommt man den wichtigen Spezialfall:

$\int\limits_{a}^{b}{f(x)dx} = f(\xi)(b-a)$ ,

der sich geometrisch leicht deuten lässt: Die Fläche unter der Kurve zwischen und ist gleich dem Inhalt eines Rechtecks mittlerer Höhe.

Beweis

Sei $g(x)\ge 0$ auf dem Intervall [a,b] . Der andere Fall kann durch Übergang zu auf diesen zurückgeführt werden. Sind und das Infimum bzw. das Supremum von auf [a,b] , so folgt aus $k \le f(x) \le K$ daher $kg(x) \le f(x)g(x) \le Kg(x)$ . Mit der Monotonie und Linearität des Riemann-Integrals ergibt sich:

$k\int \limits _{{a}}^{{b}}{g(x)dx}\leq \int \limits _{{a}}^{{b}}{f(x)g(x)dx}\leq K\int \limits _{{a}}^{{b}}{g(x)dx}.$

Bezeichne $I=\int \limits _{{a}}^{{b}}{g(x)dx}.$ Ist I=0 , folgt die Aussage sofort. Für positives gilt

$k\leq {\frac {1}{I}}\cdot \int \limits _{{a}}^{{b}}{f(x)g(x)dx}\leq K.$

Bezeichnen wir diesen Wert mit $\eta ={\frac {1}{I}}\cdot \int \limits _{{a}}^{{b}}{f(x)g(x)dx}$ , so folgt aus dem Zwischenwertsatz, dass es ein $\xi \in [a,b]$ mit $f(\xi )=\eta ,$ welcher das Gewünschte leistet. Man kann sogar zeigen, dass $\xi$ im Innern des Intervalls (a,b) gefunden werden kann.

Bedingung an g

Die Bedingung, dass $g\ge0$ oder $-g\geq 0$ gilt, ist wichtig. In der Tat gilt der Mittelwertsatz für Funktionen , die diese Bedingung nicht erfüllen, nicht im Allgemeinen, denn für [a,b]=[-1,1] und f(x)=g(x)=x ist

$\int \limits _{a}^{b}f(x)\cdot g(x){\mathrm {dx}}={\tfrac 23}$ ,

jedoch

$f(\xi)\cdot\int\limits_a^b g(x)\mathrm{dx}=0$ für alle $\xi\in[a,b]$ .

Zweiter Mittelwertsatz der Integralrechnung

Seien $f,g:[a,b] \rightarrow \mathbb{R}$ Funktionen, > monoton und stetig. Dann existiert ein $\xi \in [a,b]$ , so dass

$\int \limits _{{a}}^{{b}}{f(x)g(x)dx}=f(a)\int \limits _{{a}}^{{\xi }}{g(x)dx}+f(b)\int \limits _{{\xi }}^{{b}}{g(x)dx}.$

Im Fall, dass sogar stetig differenzierbar ist, kann man $\xi \in (a,b)$ wählen. Der Beweis erfordert partielle Integration, den Fundamentalsatz der Analysis und den obigen Satz.

Siehe auch

Basierend auf einem Artikel in:

Wikipedia.de