Fundamentallemma der Variationsrechnung

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

In der Variationsrechnung spielt das sogenannte Fundamentallemma der Variationsrechnung oder Hauptlemma der Variationsrechnung (englisch Fundamental lemma of calculus of variations oder Dubois-Reymond lemma) eine zentrale Rolle. Es wird manchmal ebenfalls mit Fundamentalsatz der Variationsrechnung benannt, fällt jedoch nicht mit diesem zusammen. Es handelt sich um ein bedeutendes Lemma, welches dem deutschen Mathematiker Paul Dubois-Reymond zugerechnet wird.[1][2][3][4]

In seiner einfachsten Version macht das Fundamentallemma die folgende Aussage:[1]

Sei ein kompaktes reelles Intervall und sei eine stetige Funktion.
Es gelte für jede stetig differenzierbare Funktion mit :
Dann ist die Nullfunktion.

Eine andere, aber insgesamt etwas weiter reichende Version des Fundamentallemmas, welche auch mehrdimensionale Integration einbezieht, lautet wie folgt:[5][6]

Sei eine offene Teilmenge des und sei eine lokal integrierbare Funktion.
Es gelte für jede unendlich oft differenzierbare Funktion mit kompaktem Träger:
Dann gilt fast überall.

Für eine unmittelbare Anwendung beachte, dass eine lokal integrierbare Funktion durch die Formel

eine Distribution auf definiert. Nach obigem Lemma sind zwei solche Distributionen und genau dann gleich, wenn und fast überall übereinstimmen (zum Beweis betrachte man ).

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. a b Philippe Blanchard, Erwin Brüning: Direkte Methoden der Variationsrechnung: Ein Lehrbuch. 1982, S. 78 ff.
  2. George Leitmann: The Calculus of Variations and Optimal Control : An Introduction. Plenum Press, New York (u. a.) 1981, S. 14 ff.
  3. Dubois-Reymond, Erläuterungen zu den Anfangsgründen der Variationsrechnung, Mathematische Annalen, Band 15, 1879, S. 283–314, hier S. 297, 300
  4. Oskar Bolza, Vorlesungen über Variationsrechnung, Teubner 1909, S. 26. Nach Bolza stammt der älteste Beweis von Friedrich Stegmann, Lehrbuch der Variationsrechnung, Kassel 1854, dort werden aber einschränkendere Annahmen gemacht.
  5. Philippe G. Ciarlet: Linear and Nonlinear Functional Analysis with Applications . 2013, S. 314.
  6. Über weitere Versionen gibt der entsprechende Artikel Fundamental lemma of calculus of variations im englischsprachigen Wikipedia Auskunft.