Fundamentallemma der Variationsrechnung

In der Variationsrechnung spielt das sogenannte Fundamentallemma der Variationsrechnung oder Hauptlemma der Variationsrechnung (Vorlage:EnS) 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.

In seiner einfachsten Version macht das Fundamentallemma die folgende Aussage:

Sei $I=[a,b]\subset ℝ$ ein kompaktes reelles Intervall und sei $g:I\to ℝ$ eine stetige Funktion.

Es gelte für jede stetig differenzierbare Funktion $h:I\to ℝ$ mit $h(a)=h(b)=0$:

$\underset{a}{\overset{b}{\int }}g(t)h(t)\mathrm{d}t=0$

Dann ist $g$ die Nullfunktion.

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

Sei $\mathrm{\Omega }$ eine offene Teilmenge des ${ℝ}^N(N\in \mathbb{N})$ und sei $g:\mathrm{\Omega }\to ℝ$ eine lokal integrierbare Funktion.

Es gelte für jede unendlich oft differenzierbare Funktion $h:\mathrm{\Omega }\to ℝ$ mit kompaktem Träger:

$\underset{\mathrm{\Omega }}{\int }g(x)h(x)\mathrm{d}x=0$

Dann gilt $g=0$ fast überall.

Für eine unmittelbare Anwendung beachte, dass eine lokal integrierbare Funktion $g:\mathrm{\Omega }\to ℝ$ durch die Formel

$T_g(h):=\underset{\mathrm{\Omega }}{\int }g(x)h(x)\mathrm{d}x$

eine Distribution $T_g$ auf $\mathrm{\Omega }$ definiert. Nach obigem Lemma sind zwei solche Distributionen $T_{g_1}$ und $T_{g_2}$ genau dann gleich, wenn $g_1$ und $g_2$ fast überall übereinstimmen (zum Beweis betrachte man $g_1-g_2$).