Beweisarchiv: Analysis: Ungleichungen: Grönwall'sche Ungleichung

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

Die Gronwall'sche Ungleichung erlaubt es, Lösungen einer Integralgleichung abzuschätzen. Sie ist ein wichtiges Hilfsmittel in der Theorie der Differentialgleichungen, da sie es erlaubt, aus implizit gegebener Information explizite Schranken herzuleiten.

Gronwall'sche Ungleichung in integraler Form

Gegeben seien ein Intervall $I:=[a,b]$ sowie stetige Funktionen $u,\alpha :I\to ℝ$ und $\beta :I\to [0,\mathrm{\infty })$. Weiter gelte die Integralungleichung

$u(t)\le \alpha (t)+{\int }_a^t\beta (s)u(s)\mathrm{d}s$

für alle $t\in I$. Dann gilt die gronwallsche Ungleichung

$u(t)\le \alpha (t)+{\int }_a^t\alpha (s)\beta (s)e^{{\int }_s^t\beta (\sigma )\mathrm{d}\sigma }\mathrm{d}s$

für alle $t\in I$.

Beweis

Setze $y(t):=e^{-{\int }_a^t\beta (\sigma )\mathrm{d}\sigma }\cdot {\int }_a^t\beta (s)u(s)\mathrm{d}s$. Es folgt dann

$y^{\prime }(t)=\beta (t)e^{-{\int }_a^t\beta (\sigma )\mathrm{d}\sigma }[u(t)-{\int }_a^t\beta (s)u(s)\mathrm{d}s]\le \alpha (t)\beta (t)e^{-{\int }_a^t\beta (\sigma )\mathrm{d}\sigma }.$

Mittels Integration erhält man daraus

${\int }_a^t\alpha (s)\beta (s)e^{-{\int }_a^s\beta (\sigma )\mathrm{d}\sigma }\mathrm{d}s\ge y(t)-y(a)=y(t)=e^{-{\int }_a^t\beta (\sigma )\mathrm{d}\sigma }{\int }_a^t\beta (s)u(s)\mathrm{d}s,$

also

${\int }_a^t\beta (s)u(s)\mathrm{d}s\le e^{{\int }_a^t\beta (\sigma )\mathrm{d}\sigma }{\int }_a^t\alpha (s)\beta (s)e^{-{\int }_a^s\beta (\sigma )\mathrm{d}\sigma }\mathrm{d}s={\int }_a^t\alpha (s)\beta (s)e^{{\int }_s^t\beta (\sigma )\mathrm{d}\sigma }\mathrm{d}s.$

Aus $u(t)-\alpha (t)\le {\int }_a^t\beta (s)u(s)\mathrm{d}s$ folgt die grönwallsche Ungleichung.

$◻$

Siehe auch

• Eindeutigkeitssatz bei lokaler Lipschitz-Stetigkeit

Wikipedia-Verweis

• Grönwall'sche Ungleichung