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.
Sia
una funzione di classe
in un intervallo
tale che
![{\displaystyle \int _{x_{1}}^{x_{2}}f(x)h(x)dx=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1badc0490986ba4eefa45c799928ca3f22189c48)
per ogni funzione
ammissibile (che implica il fatto che
). Allora
, ovvero
è identicamente nulla in
.
Supponiamo per assurdo che esista
per cui
. Allora, essendo f continua, per il teorema di permanenza del segno esiste un intorno di
in cui
, ovvero esiste
tale che
per ogni x tale che
. Sia allora
![{\displaystyle h(x)={\begin{cases}(x-x_{0}-\tau )^{2}(x-x_{0}+\tau )^{2}&|x-x_{0}|<\tau \\0&{\mbox{altrove}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd8f68be9aee13222b3984d91a2ae85ebb87e450)
che è evidentemente continua e derivabile in
. Abbiamo che
![{\displaystyle \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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a11dc33f4d3bdff21e81fa6380663b2bc7faf47d)
in contraddizione con l'ipotesi.