La prise en compte de contraintes supplémentaires est un point essentiel dans les applications. Dans la méthode des éléments finis, cette prise en compte se fait à l'aide de multiplicateurs de Lagrange.
On pourra consulter l'introduction suivante sur le multiplicateurs de Lagrange www.slimy.com/˜steuard/tutorials/Lagrange.html
D'un point de vue mécanique, ces multiplicateurs s'interprètent comme des forces supplémentaires appliquées au système.
Un laitier doit se rendre d'un point (la laiterie) à un point
(la ferme) pour chercher le lait. Il doit cependant s'arrêter
près de la rivière, qui est la courbe
. Quel est le trajet
le plus court pour aller de
à
en passant par un point de
la courbe
?
Ce qui est équivalent à déterminer le point de la courbe
tel que la distance
soit la plus petite possible. Soit, mathématiquement:
Trouvez le point tel que
soit minimum sous la contrainte
Ce problème admet une solution graphique: on trace les ellipses de
foyers et
. Chaque ellipse correspond à une courbe
(la distance d'un point d'une ellipse aux foyers est constance puisqu'on
trace une ellipse avec une corde et 2 piquets). Le point
recherché
correspond à l'intersection de la plus petite ellipse tangente à la
courbe
.
Mathématiquement, cela consiste à écrire qu'en la tangente à
l'ellipse
est parallèle à la tangente à la courbe
.
Ces deux vecteurs sont parallèles si:
où est une facteur multiplicateur, appelé multiplicateur
de Lagrange.
Les 2 équations 8.1 et la contrainte forment un
système de 3 inconnues
que l'on résout pour avoir
la solution. Par exemple, pour
,
et
,
la solution (obtenue avec Maple) s'écrit:
et correspond à l'ellipse
De façon générale, la condition de minimisation d'une fonction
sous contrainte
impose que le gradient de la fonction à minimiser
soit parallèle au gradient de la contrainte
:
La relation 8.2 et l'équation de la contrainte peut aussi
s'interpréter comme la condition de minimisation de la fonctionnelle
de
et
suivante:
dont le gradient vaut:
La condition de minimisation de équivaut donc aux
équations (8.2).