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)