Équation d'euler-lagrange

Équation d'euler-lagrange

Équation d'Euler-Lagrange

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, tel 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.

Sommaire

Notations

Ici, f désigne une fonction d'un ouvert de R3 à valeurs dans R, et x une fonction d'intervalle de R contentant t0 et t1 dans R. Les fonctions x et f sont deux fois différentiables. La variable utilisée pour x est notée t. Si l'on note α, β et γ les trois variables de f, (e1, e2, e3) la base canonique de R3 et (dα, dβ, dγ) la base duale de la base canonique, on obtient.

\forall (\alpha, \beta, \gamma) \in \mathbb R^3 \quad Df = \frac{\partial f}{\partial \alpha} \mathrm d\alpha + \frac{\partial f}{\partial \beta} \mathrm d\beta + \frac{\partial f}{\partial \gamma} \mathrm d\gamma

L'application différentielle Df associe à un vecteur de R3 une application linéaire de R3 dans R, c'est à dire un élément du dual de R3. On identifie souvent R3 et son dual à l'aide du produit scalaire canonique. La différentielle est alors équivalent au gradient :

grad \;f = \frac{\partial f}{\partial \alpha} e_1 + \frac{\partial f}{\partial \beta} e_2 + \frac{\partial f}{\partial \gamma}e_3

Ici, la fonction f est appliquée au triplet (t, x(t), x'(t)). Comme la fonction x(t) est une fonction d'une unique variable, t, sa dérivée x'(t) est bien à valeur dans R. Pour indiquer que cette dérivée s'applique à une fonction de la variable t, on note sa dérivée à l'aide d'un point, surmontant la lettre x et, au lieu d'utiliser les symboles α, β et γ, peu parlant, on les remplace par les suivants :

grad \;f = \frac{\partial f}{\partial t} e_1 + \frac{\partial f}{\partial x} e_2 + \frac{\partial f}{\partial \dot x}e_3

Une dérivée partielle de f est une fonction de R3 dans R. Si elle est composée avec la fonction de R dans R3, qui à t associe le triplet (t, x(t), x'(t)), on obtient une fonction de R dans R, dérivable, ce qui permet de donner un sens à la fonction de R dans R suivante :

\frac{\mathrm d}{ \mathrm dt}\left( \frac{\partial f}{\partial \dot x} \right)

Enoncés

Premier énoncé

Enoncé —  Soit J la fonctionnelle définie par, pour toute fonction x :

J = \int_{t_0}^{t_1} f \left( t , x \left(t \right), \dot x\left(t\right) \right) \, \mathrm dt = \int_{t_0}^{t_1} f \left( t , x \left(t \right), \frac{\mathrm d x}{\mathrm d t} \left(t\right)\right) \, \mathrm dt

Une condition nécessaire pour que J soit stationnaire est que l'on ait :

\frac{\partial f}{\partial x}-\frac{\mathrm d}{ \mathrm dt}\left( \frac{\partial f}{\partial \dot x} \right) = 0.

Autres formulations

La fonction x peut être considérée comme à valeurs dans un espace euclidien E. La fonction f est alors définie sur un ouvert de RxE2. La dérivée partielle de f par rapport à la deuxième variable notée par abus x, est une application du dual de E, qui s'identifie avec E, il en est de même avec la troisième dérivée partielle. L'équation suivante se lit alors un peu différemment, elle correspond à la somme de deux vecteurs de E qui s'annule.

\frac{\partial f}{\partial x}-\frac{\mathrm d}{ \mathrm dt}\left( \frac{\partial f}{\partial \dot x} \right) = 0

Un cas particulier fréquent est celui où la fonction f est définie sur E2, ce qui revient à dire que l'expression de f est indépendante de t, l'équation d'Euler-Lagrange prend la forme suivante, appelée identité de Beltrami :

f-{\dot x}\frac{\partial f}{\partial \dot x}=C

La deuxième différentielle partielle de f est ici identifiée à son gradient, c'est à dire à un vecteur de E. La lettre C désigne une constante réelle.

Pour s'en rendre compte, dérivons l'identité de Beltrami :

\frac{\mathrm d}{ \mathrm dt}\left(f-\frac{\partial f}{\partial \dot x}{\dot x}\right) = \frac{\partial f}{\partial x} \dot x + \frac{\partial f}{\partial \dot x} \ddot x - \frac{\mathrm d}{ \mathrm dt}\left( \frac{\partial f}{\partial \dot x} \right)\dot x - \frac{\partial f}{\partial \dot x} \ddot x = \left(\frac{\partial f}{\partial x} - \frac{\mathrm d}{ \mathrm dt}\left( \frac{\partial f}{\partial \dot x} \right)\right)\dot x = 0

Exemples

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.

L'exemple choisi ici est extrait de l'article sur le 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é du théorème. Le rayon lumineux traverse le vide, à l'exception de la zone correspondant aux valeurs de x situées entre -1 et 1. Sur cette bande, l'indice nt n'est plus égal à 1 mais à 1/|x|. Entre les deux bandes, le chemin optique est d'une longueur L égale à :

L = \int_{-1}^1 f(t) \mathrm dt \quad \text{avec}\quad f(t,x,\dot x) = n_t\sqrt {1 + \dot x^2} = \frac {\sqrt {1 + \dot x^2}}{|t|}

L'équation d'Euler-Lagrange stipule que la dérivée partielle de f par rapport à la 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 :

\frac {\partial f}{\partial \dot x} = \frac {\dot x}{|t|\sqrt {1 + \dot x^2}} = C \quad\text{et}\quad \dot x^2 = C^2t^2(1 + \dot x^2)

Ce résultat s'écrit encore, si u = Ct:

\dot x = \frac {u}{\sqrt {1 - u^2}}

On reconnait l'équation d'une portion de cercle.

Démonstration

Il s'agit d'une très célèbre démonstration en mathématiques.[réf. nécessaire] Elle repose sur le lemme fondamental du calcul des variations.

Nous cherchons une fonction x rendant extrémale la fonctionnelle et satisfaisant les conditions aux bords :

  • f\left(a\right) = c et
  • f\left(b\right) = d.

On a ainsi :

J = \int_{t_0}^{t_1} f\left(t,x\left(t\right),\dot x\left(t\right)\right) \, \mathrm dt

Supposons que les dérivées premières de f soient continues.

Si x rend extrémale J, alors une perturbation infinitésimale de x préservera les conditions aux bords et augmentera J (si x est un minimum) ou diminuera J (si x est un maximum).

Soit x_\epsilon\left(t\right)=x\left(t\right)+\epsilon\eta\left(t\right) une perturbation de x, où \eta\left(t\right) est une fonction différentiable vérifiant \eta\left(t_0\right)=\eta\left(t_1\right)=0. Définissons :

J\left(\epsilon\right) = \int_{t_0}^{t_1} f\left(t,x_\epsilon\left(t\right), \dot x_\epsilon\left(t\right) \right) \, \mathrm dt

Calculons alors la dérivée de J par rapport à ε. Pour cela on note g désigne la fonction, qui à (t, ε) associe f(t, xε, dxε/dt ) :

 \frac{\mathrm dJ}{\mathrm d \epsilon} = \int_{t_0}^{t_1} \frac{\partial g}{\partial \epsilon} \left(t,x_\epsilon\left(t\right), \dot x_\epsilon\left(t\right) \right) \, \mathrm dt

Le développement du calcul donne, si

\frac{\partial g}{\partial \epsilon} = \frac{\partial f}{\partial x}\frac{\partial x_{\epsilon}}{\partial \epsilon} + \frac{\partial f}{\partial {\dot x}}\frac{\partial \dot x_{\epsilon}}{\partial \epsilon} = \eta\left(t\right) \frac{\partial f}{\partial x} + \dot\eta\left(t\right) \frac{\partial f}{\partial \dot x}

Donc :

 \frac{\mathrm dJ}{\mathrm d\epsilon} = \int_{t_0}^{t_1} \left( \eta\left(t\right) \frac{\partial f}{\partial x} + \dot\eta\left(t\right) \frac{\partial f}{\partial \dot x} \right) \, \mathrm dt

Que la fonctionnelle J soit stationnaire en x signifie que J'(0) = 0, soit encore :

 J'\left(0\right) = \int_{t_0}^{t_1}{\left( \eta\left(t\right) \frac{\partial f}{\partial x} + \dot \eta\left(t\right) \frac{\partial f}{\partial \dot x}\right) \, \mathrm dt} = \int_{t_0}^{t_1}{ \eta\left(t\right) \frac{\partial f}{\partial x} \, \mathrm dt} + \int_{t_0}^{t_1}{ \dot \eta\left(t\right) \frac{\partial f}{\partial \dot x} \, \mathrm dt}

Par intégration par parties :

0 = \int_{t_0}^{t_1} { \eta\left(t\right) \frac{\partial f}{\partial x} \, \mathrm dt} + \left[ \eta\left(t\right) \frac{\partial f}{\partial \dot x} \right]_{t_0}^{t_1} - \int_{t_0}^{t_1} { \eta\left(t\right) \frac{\mathrm d}{\mathrm dt} \frac{\partial f}{\partial \dot x} \, \mathrm dt} = \int_{t_0}^{t_1} {\left( \frac{\partial f}{\partial x} - \frac{\mathrm d}{\mathrm dt} \frac{\partial f}{\partial \dot x} \right) \eta\left(t\right) \, \mathrm dt} + \left[ \eta\left(t\right) \frac{\partial f}{\partial \dot x} \right]_{t_0}^{t_1}

Avec les conditions aux bords η(t0) = η(t1) = 0, on a :

0 = \int_{t_0}^{t_1} {\left( \frac{\partial f}{\partial x} - \frac{\mathrm d}{\mathrm dt} \frac{\partial f}{\partial \dot x} \right) \eta\left(t\right)\, \mathrm dt}

En appliquant le lemme fondamental du calcul des variations avec η(t0) = η(t1) = 0, on obtient :

0 = \frac{\partial f}{\partial x} - \frac{\mathrm d}{\mathrm dt} \frac{\partial f}{\partial \dot x}
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « %C3%89quation d%27Euler-Lagrange ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Équation d'euler-lagrange de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Equation d'Euler-Lagrange — Équation d Euler Lagrange 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 …   Wikipédia en Français

  • Équation d'Euler-Lagrange — 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… …   Wikipédia en Français

  • Équations d'Euler-Lagrange — Équation d Euler Lagrange 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 …   Wikipédia en Français

  • Euler–Lagrange equation — In calculus of variations, the Euler–Lagrange equation, or Lagrange s equation is a differential equation whose solutions are the functions for which a given functional is stationary. It was developed by Swiss mathematician Leonhard Euler and… …   Wikipedia

  • Euler — Leonhard Euler « Euler » redirige ici. Pour les autres significations, voir Euler (homonymie). Leonhard Euler …   Wikipédia en Français

  • Multiplicateur De Lagrange — Pour les articles homonymes, voir Théorème de Lagrange. La méthode des multiplicateurs de Lagrange permet de trouver un optimum, sur la figure le point le …   Wikipédia en Français

  • Multiplicateur de Lagrange — Pour les articles homonymes, voir Théorème de Lagrange. La méthode des multiplicateurs de Lagrange permet de trouver un optimum, sur la figure le point le plus élevé possible, tout en satisfaisant une contrainte, sur la figure un …   Wikipédia en Français

  • Multiplicateur de lagrange — Pour les articles homonymes, voir Théorème de Lagrange. La méthode des multiplicateurs de Lagrange permet de trouver un optimum, sur la figure le point le …   Wikipédia en Français

  • Equation diophantienne — Équation diophantienne Édition de 1670 des Arithmétiques de Diophante d Alexandrie. Une équation diophantienne, en mathématiques, est une équation dont les coefficients sont des nombres entiers et dont les solutions recherchées sont également… …   Wikipédia en Français

  • LAGRANGE (J. L.) — Au crépuscule du XVIIIe siècle, le mathématicien Lagrange a donné au calcul des variations sa formulation générale en l’abordant de manière purement analytique; il appliquera ses méthodes à la mécanique dont il donne un exposé systématique qui… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”