Lemma fondamentale del calcolo delle variazioni
# Lemma fondamentale del calcolo delle variazioni

In matematica, in particolare nel calcolo delle variazioni, il Lemma fondamentale del calcolo delle variazioni è un lemma che consente di trasformare un problema di variazioni dalla forma debole (variazionale) alla forma forte (differenziale), al fine di poter applicare tutti gli strumenti matematici del calcolo differenziale al problema.

Un importante esempio di applicazione del lemma è la derivazione delle equazioni di Eulero-Lagrange dal principio variazionale di Hamilton.

## Enunciato

Sia $f(x)$ una funzione di classe $C^{0}$ in un intervallo $(x_{1},x_{2})$ tale che

    $\int _{x_{1}}^{x_{2}}f(x)h(x)dx=0$

per ogni funzione $h(x)\in C^{1}(x_{1},x_{2})$ ammissibile (che implica il fatto che $h(x_{1})=h(x_{2})=0$). Allora $f(x)\equiv 0$, ovvero $f$ è identicamente nulla in $(x_{1},x_{2})$.

## Dimostrazione

Supponiamo per assurdo che esista $x_{0}$ per cui $f(x_{0})>0$. Allora, essendo f continua, per il teorema di permanenza del segno esiste un intorno di $x_{0}$ in cui $f(x)>0$, ovvero esiste $\tau >0$ tale che $f(x)>0$ per ogni x tale che $|x-x_{0}|<\tau$. Sia allora

    $h(x)={\begin{cases}(x-x_{0}-\tau )^{2}(x-x_{0}+\tau )^{2}&|x-x_{0}|<\tau \\0&{\mbox{altrove}}\end{cases}}$

che è evidentemente continua e derivabile in $(x_{1},x_{2})$. Abbiamo che

    $\int _{x_{1}}^{x_{2}}f(x)h(x)dx=\int _{x_{0}-\tau }^{x_{0}+\tau }f(x)(x-x_{0}-\tau )^{2}(x-x_{0}+\tau )^{2}dx>0$

in contraddizione con l'ipotesi.

