Équation d'Euler-Lagrange

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Page d'aide sur l'homonymie Pour les articles homonymes, voir Lagrange.

L’équation d'Euler-Lagrange est un résultat mathématique qui joue un rôle fondamental dans le calcul des variations. On retrouve cette équation dans de nombreux problèmes réels de minimisation de longueur d'arc, tels que le problème brachistochrone ou bien encore les problèmes géodésiques. Elle est nommée d'après Leonhard Euler et Joseph-Louis Lagrange.

Notations[modifier | modifier le code]

désignera un espace vectoriel normé, un intervalle réel, et l'espace affine des fonctions de classe C1 telles que , où sont deux vecteurs fixés de .

Le vecteur dérivé d'une fonction en un point est noté .

On se donne par ailleurs une fonction de classe C1.

Ses trois variables étant notées (ce qui risque de prêter à confusion avec la notation précédente mais est d'un usage courant), ses trois applications différentielles partielles sont notées

  • (de dans ) et
  • (de dans , le dual de ).

Lorsqu'on les compose par la fonction pour une fonction donnée , on obtient trois fonctions définies sur (encore à valeurs respectivement dans , et ), que l'on note usuellement de la même façon (bien que, à nouveau, cela prête à confusion), ce qui donne en particulier un sens aux deux fonctions

.

Énoncé[modifier | modifier le code]

Soit la fonctionnelle définie sur par :

.

Pour toute fonction stationnaire pour , est dérivable et

.

Exemple[modifier | modifier le code]

Un exemple est une application du principe de Fermat. L'objectif est de déterminer un chemin optique plan, dont les coordonnées sont notées horizontalement t et verticalement x, pour respecter les notations de l'énoncé ci-dessus. Le rayon lumineux traverse le vide, à l'exception de la zone correspondant aux valeurs de t situées entre –1 et 1. Sur cette bande, on suppose que l'indice nt n'est plus égal à 1 mais à 1/|t|. Entre les deux bandes, le chemin optique a pour longueur :

.

Puisqu'ici , l'équation d'Euler-Lagrange stipule que la dérivée partielle de ƒ par rapport à sa troisième variable est une constante, notée ici C, si elle est appliquée aux variables t, x et sa dérivée. On obtient :

.

Ce résultat s'écrit encore, en posant u = C|t| :

.

On reconnait l'équation d'une portion de cycloïde.

Identité de Beltrami[modifier | modifier le code]

Article détaillé : Idéntité de Beltrami (en).

Un cas particulier fréquent est celui où la fonction est indépendante de t. Un corollaire de l'équation d'Euler-Lagrange est alors l'identité de Beltrami :

.

La lettre C désigne une constante réelle, qui est aussi la transformée de Legendre de la fonction ƒ par rapport à la variable .

Un exemple historique célèbre est la courbe brachistochrone. La question posée revient à trouver la courbe reliant un point A à un point B, situé à une altitude plus faible, tel qu'un point matériel partant du point A sans vitesse initiale et glissant sans frottement sur la courbe rejoigne le plus rapidement possible le point B.

Lorsque est une fonction homogène de la variable , le théorème d'Euler appliqué à l'identité de Beltrami implique .