Beweisarchiv: Analysis: Differentialrechnung: Mittelwertsatz

Beweisarchiv: Analysis

Ungleichungen: Grönwall'sche Ungleichung · Young'sche Ungleichung

Konvergenz: Herleitung des WALLIS-Produktes · Produktformel von Vieta · 1/n ist eine Nullfolge · Grundeigenschaften konvergenter Folgen

Differentialrechnung: Differentiation der Sinusfunktion · Kriterien für lokale Extrema · Satz von Rolle · Mittelwertsatz · L'Hospitalsche Regel · Taylor-Reihe mit Konvergenzradius Null · Charakterisierung konstanter Funktionen · Festlegbarkeit der Stammfunktion · Hauptsatz der Differential- und Integralrechnung

Integralrechnung: Gaußsches Integral

Konvexität und Stetigkeit

Der Mittelwertsatz der Differentialrechnung verallgemeinert den Satz von Rolle u.a. auf beliebige Sekantensteigungen. Hier wird zunächst der erweiterte Mittelwertsatz gezeigt, der den einfachen als Spezialfall bzw. Korollar enthält.

Voraussetzung

Sei $a<b$ und die Funktionen $f,g\colon [a,b]\to \mathbb {R}$ auf dem abgeschlossenen Intervall $[a,b]$ stetig sowie auf dem offenen Intervall $(a,b)$ differenzierbar.

Behauptung

Dann gibt es ein $\xi \in (a,b)$ mit

$f'(\xi )\cdot (g(b)-g(a))=g'(\xi )\cdot (f(b)-f(a)).$

Hat $g'$ in $(a,b)$ keine Nullstelle, so gilt für dieses $\xi$ auch

${\frac {f'(\xi )}{g'(\xi )}}={\frac {f(b)-f(a)}{g(b)-g(a)}}.$

Beweis

Betrachte die Funktion $h\colon [a,b]\to \mathbb {R}$ die gegeben ist durch

$h(x)=f(x)\cdot (g(b)-g(a))-g(x)\cdot (f(b)-f(a)).$

Dann ist $h$ auf $[a,b]$ stetig und auf $(a,b)$ differenzierbar mit Ableitung

$h'(x)=f'(x)\cdot (g(b)-g(a))-g'(x)\cdot (f(b)-f(a))$.

Wir berechnen

${\begin{aligned}h(a)&=f(a)\cdot (g(b)-g(a))-g(a)\cdot (f(b)-f(a))\\&=f(a)g(b)-f(a)g(a)-g(a)f(b)+g(a)f(a)\\&=f(a)g(b)-f(b)g(a)\end{aligned}}$

sowie

${\begin{aligned}h(b)&=f(b)\cdot (g(b)-g(a))-g(b)\cdot (f(b)-f(a))\\&=f(b)g(b)-f(b)g(a)-g(b)f(b)+g(b)f(a)\\&=f(a)g(b)-f(b)g(a)\end{aligned}}$

Es ist also $h(a)=h(b)$ und nach dem Satz von Rolle gibt es dann ein $\xi \in (a,b)$ mit $h'(\xi )=0$. Dies bedeutet aber auch

$f'(\xi )\cdot (g(b)-g(a))=g'(\xi )\cdot (f(b)-f(a)),$

was zu zeigen war.

Hat weiter $g'$ keine Nullstelle in $(a,b)$ so gilt wiederum wegen des Satzes von Rolle gewiss nicht $g(a)=g(b)$. Folglich können wir sowohl durch $g'(\xi )$ als auch $g(b)-g(a)$ dividieren und erhalten die Zusatzbehauptung.

Korollar

Sei $a<b$ und die Funktion $f\colon [a,b]\to \mathbb {R}$ auf dem abgeschlossenen Intervall $[a,b]$ stetig sowie auf dem offenen Intervall $(a,b)$ differenzierbar. Dann gibt es ein $\xi \in (a,b)$ mit

$f'(\xi )={\frac {f(b)-f(a)}{b-a}}.$

Bemerkung: Oft findet man auch die folgende äquivalente Formulierung (die mutatis mutandis auch für $h<0$ gilt):

Sei $f\colon [a,a+h]\to \mathbb {R}$ auf dem abgeschlossenen Intervall $[a,a+h]$ stetig sowie auf dem offenen Intervall $(a,a+h)$ differenzierbar. Dann gibt es ein $\vartheta \in (0,1)$ mit

$f'(a+\vartheta h)={\frac {f(a+h)-f(a)}{h}}.$

Beweis

Definiere $g(x)=x$ und wende den Satz an.

Wikipedia-Verweis

• Mittelwertsatz der Differentialrechnung