La théorie qui traite de la recherche d'extrémums (minima, maxima, points stationnaires) de fonctionnelles, typiquement des intégrales dépendant de fonctions et de leurs dérivées, et la dérivation des équations d'Euler–Lagrange et des inégalités variationnelles associées.

Principe

Transcrire un problème d'optimisation sur des fonctions en conditions différentielles : calculer la première variation pour obtenir les équations d'Euler–Lagrange, employer la seconde variation ou la convexité pour la stabilité, et utiliser des méthodes directes (semi‑continuité inférieure, coercivité) pour prouver l'existence dans des espaces de fonctions appropriés (p.ex. espaces de Sobolev).

Démonstration

Dériver l'équation d'Euler–Lagrange pour la fonctionnelle ∫_a^b L(x,u,u') dx afin d'obtenir un problème aux limites ; résoudre la brachistochrone ou le problème des surfaces minimales comme exemples classiques ; utiliser le quotient de Rayleigh min_{u≠0} (⟨Au,u⟩/⟨u,u⟩) pour caractériser les valeurs propres de façon variationnelle.

Mauvaise application

Faire varier des conditions aux limites sans imposer des variations admissibles, ou appliquer des manipulations formelles d'Euler–Lagrange alors que le minimiseur n'appartient pas à la classe lisse (nécessitant des formulations faibles et des espaces de Sobolev), conduit à des conclusions erronées sur l'existence ou les conditions nécessaires.

Conséquence

Les méthodes variationnelles adéquates fournissent l'existence de minimisateurs, dérivent des EDP comme équations d'Euler–Lagrange, établissent des critères de stabilité et fondent des schémas d'approximation numérique (éléments finis) et des principes physiques (principe de moindre action).

Inversion

Inverser vers l'optimisation point par point où l'on optimise chaque valeur indépendamment : on néglige les couplages par les dérivées et les conditions aux limites, ce qui détruit la structure variationnelle globale et échoue souvent à capturer les contraintes PDE.

Limite

Traite des fonctionnelles définies sur des espaces de fonctions, nécessitant typiquement des cadres de Sobolev ou autres pour la semi‑continuité et la compacité ; exclut les problèmes d'optimisation discrets sans structure intégrale variationnelle et la minimisation purement algébrique sans dépendance aux dérivées.

Tension sémantique

Il existe une tension entre le calcul variationnel classique lisse et les formulations faibles variationnelles : notions de variations admissibles, régularité et choix d'espaces fonctionnels peuvent entrer en conflit ; de même, les formulations d'optimisation non coercives ou non semi‑continues requièrent d'autres techniques.

Synthèse

Le calcul des variations encadre les problèmes d'extrémisation de fonctionnelles en convertissant les variations en conditions différentielles (E‑L) et en mobilisant des méthodes directes d'existence et de régularité ; il relie géométrie, EDP, mécanique et méthodes numériques en identifiant quand les fonctionnelles admettent des minimisateurs et comment ceux‑ci satisfont des contraintes différentielles.