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).