Mittelwertsatz der Integralrechnung
# 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

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

Sei $f\colon [a,b]\to \mathbb {R}$ eine stetige Funktion, sowie $g\colon [a,b]\to \mathbb {R}$ integrierbar und entweder $g\geq 0$ oder $g\leq 0$ (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 $a$ und $b$ ist gleich dem Inhalt eines Rechtecks mittlerer Höhe.

## Beweis

Sei $g(x)\geq 0$ auf dem Intervall $[a,b]$. Der andere Fall kann durch Übergang zu $-g$ auf diesen zurückgeführt werden.

Wegen Stetigkeit nimmt $f$ in $[a,b]$ nach dem Satz vom Minimum und Maximum ein Minimum $k$ und ein Maximum $K$ an. Mit $k\leq f(x)\leq K$ und $g(x)\geq 0$ ist

    $kg(x)\leq f(x)g(x)\leq Kg(x)$;

mit Monotonie und Linearität des Riemann-Integrals weiter

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

Mit $I:=\int \limits _{a}^{b}{g(x)\,{\rm {d}}x}$ gilt somit

    $kI\leq \int \limits _{a}^{b}{f(x)g(x)\,{\rm {d}}x}\leq KI$ (1).

Es gilt nun folgende Fälle zu unterscheiden:

Fall I: $I\neq 0$. - Dann hat die Behauptung die äquivalente Form

    $f(\xi )={\frac {1}{I}}\cdot \int \limits _{a}^{b}{f(x)g(x)\,{\rm {d}}x}$;

die rechte Seite dieser Gleichung ist eine Zahl, und zu zeigen ist, dass $f$ für ein $\xi \in [a,b]$ diese Zahl als Wert annimmt (2).

Wegen $g(x)\geq 0$ ist $I>0$, und (1) hat nach Division durch $I$ die Form

    $k\leq {\frac {1}{I}}\cdot \int \limits _{a}^{b}{f(x)g(x)\,{\rm {d}}x}\leq K$;

hieraus folgt (2) mit dem Zwischenwertsatz für stetige Funktionen, q. e. d.

Fall II: $I=0$. - Dann folgt aus (1):

    $\int \limits _{a}^{b}{f(x)g(x)\,{\rm {d}}x}=0$,

und die Behauptung gewinnt die für jedes $\xi \in [a,b]$ gültige Form

    $f(\xi )\cdot 0=0$, q. e. d.

## Bedingung an g

Die Bedingung, dass $g\geq 0$ oder $-g\geq 0$ gilt, ist wichtig. In der Tat gilt der Mittelwertsatz für Funktionen $g$ ohne diese Bedingung im Allgemeinen nicht, wie das folgende Beispiel zeigt: Für $[a,b]=[-1,1]$ und $f(x)=g(x)=x$ ist

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

jedoch

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

## Zweiter Mittelwertsatz der Integralrechnung

Seien $f,g\colon [a,b]\to \mathbb {R}$ Funktionen, $f$ monoton und $g$ 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 $f$ 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.

