Beweisarchiv: Analysis: Ungleichungen: Young'sche Ungleichung
- 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 Young'sche Ungleichung gehört zu den fundamentalen Ungleichungen der Analysis. Sie hat viele Anwendungen in der Theorie der partiellen Differentialgleichungen, aber auch bei den gewöhnlichen Differentialgleichungen und wird beispielsweise auch für den standardmäßigen Beweis der Hölder-Ungleichung verwendet.
Allgemeine Fassung
BearbeitenAussage
BearbeitenSei eine stetige, streng monoton wachsende und unbeschränkte Funktion mit . Insbesondere existiert ihre Umkehrfunktion , welche ebenfalls stetig, streng monoton wachsend und unbeschränkt ist. Dann gilt für alle die Young'sche Ungleichung
Die Gleichheit gilt genau dann, wenn ist.
Beweis
BearbeitenSei eine Folge von stetig differenzierbaren Funktionen, welche monoton wachsend und gleichmäßig gegen konvergiert. Dann gilt mit der Substitution und anschließender partieller Integration
- .
Durch Grenzübergang folgt
- ,
also
Im Fall ist dieser Ausdruck gleich . Für ist , da der Integrand auf strikt größer als ist. Für verwende man analog .
Spezialfall
BearbeitenAussage
BearbeitenSind mit und , so gilt
mit Gleichheit genau dann, wenn .
Beweise
Bearbeitenaus der allgemeinen Fassung
BearbeitenSetze . Die Umkehrfunktion lautet dann . Die Gleichheitsbedingung ist äquivalent zu .
unmittelbar
BearbeitenOhne Einschränkung seien . Wegen
ist die Exponentialfunktion strikt konvex. Da und , folgt
Gleichheit gilt wegen der strikten Konvexität genau dann, wenn .
als Spezialfall der Ungleichung vom gewichteten arithmetischen und geometrischen Mittel
BearbeitenSetze für die Summanden und und die Gewichte und . Die Gleichheitsbedingung der arithmetisch-geometrischen Ungleichung überträgt sich unmittelbar.
Skalierte Version des Spezialfalls
BearbeitenAussage
BearbeitenFür alle mit gilt
Beweis
BearbeitenSetze im vorigen Spezialfall für und .