Soit un champ de vitesse 2D , dans un carré unité , vérifiant les contraintes suivantes:
On veut déterminer parmi tous les champs de vitesse vérifiant les conditions aux limites précédentes et à divergence nulle, celui qui minimise la fonctionnelle suivante:
On écrit donc que les gradients (par rapport à ) de et de la contrainte sont parallèles:
soit
Ce sont les conditions de minimisation par rapport à de la fonctionnelle de et suivante:
La minimisation par rapport à s'écrit:
qui est bien équivalent à la condition de divergence nulle
Attention, ce problème de minimisation n'admet pas une solution unique, car le multiplicateur est définie à une constante arbitraire près. En effet pour un couple solution des équations 8.4 et 8.6, tout couple , , est aussi solution de 8.4, car :
puisque s'annulle sur le bord (condition de Dirichlet sur ), et de 8.6 car:
Il faut donc imposer une contrainte sur , par exemple la valeur en .
En terme d'approximation, si la solution est un polynôme de degré , la contrainte est un polynôme de degré , et donc l'interpolation pour doit être de degré .
Ce multiplicateur de Lagrange s'interpréte comme la pression du problème de Stokes suivant :
dont la formulation faible s'écrit:
En intégrant par partie le terme de droite, et en tenant compte des conditions aux limites sur , il vient:
qui est exactement l'équation (8.4) avec et .
La condition d'incompressibilité s'interpréte donc comme une contrainte sur le champ de vitesse, et la pression comme le multiplicateur de Lagrange associé à cette contrainte: i.e. la force à exercée sur l'écoulement pour maintenir la densité constante.
On remarque aussi que pour ce problème de Stokes, la pression est définie à une constante arbiraire près.
Avec FEMLAB, on introduit 3 variables, et solution d'une equation de Laplace avec les conditions aux limites sur la vitesse, et un multiplicateur de Lagrange (forme faible sous domaine) . On introduit la forme faible des équations
On introduit le point avec une contrainte pour fixer le niveau de la pression. La solution est de la forme suivante:
description du modele FEMLAB (version HTML)