C. R. Acad. Sci. Paris, t.

328, Analyse num&iquelNumerical

Sbrie I, p. 935-938, Analysis

1999

Une formulation mixte de Stokes tridimensionnel

Mohamed AMARA, HClltne BARUCQ,

convergente
Muriel DULOUI?

pour

le sys&me

Laboratoire de mathBmatiques appliq&es, Universitk de Pau, 64000 Pau, France Courriel : {mohamed.amara,helene.barucy,muriel.duloue}~univ-pau.fr (ReGu le 9 novembre 1998, accepti? al)& &vision le 8 mars 1999)

RCsumC.

On considere le problbme de Stokes tridimensionnel formulC en tourbillon-fonction courant, posC dans un domaine borni, polyCdrique, de front&e simplement connexe. On prCsente une formulation mixte Cquivalente, reposant sur une d&composition du vecteur tourbillon en une partie r6guli&re et une partie harmonique. On propose ensuite une formulation disc&e fondCe sur les ClCments finis de NCdClec. La partie r6gulikre est traitCe de faGon classique. En revanche, la formulation standard associCe B la partie harmonique est perturbCe par pCnalisation de faGon consistante. On obtient ainsi une mCthode inconditionnellement convergente. On explicite lordre de convergence lorsque la solution est rCgulibre. 0 Academic des SciencesMsevier, Paris A mixed Stokes convergent equations formulation for the three-dimensional

Abstract.

We consider the three-dimensional Stokes problem in the vorticity-stream function formulation. The computational domain is bounded, polyhedral with a simply connected boundary. A mixed variational formulation based on a splitting of the vorticity into a regular part and a harmonic one is given. We describe the associate discrete formulation built on the finite elements designed by Nedelec. The approach is classical for the regular part, but the harmonic one is treated thanks to a consistent perturbation by penalization of the standard formulation. It leads to an unconditional convergent method. The convergence order is given when the solution is regular. 0 AcadCmie des Sciences/Elsevier, Paris

1. Introduction
RCsoudre de -AU le problbme de Stokes revient 2 trouver un couple (u,p) E (Hi(R))
x

L;(R)

solution

+ Vp = f dans (H-(R))3

et divu

= 0 dans 0. Ici, 0 est un domaine

born&,

polyCdrique

de R3 de front&e I? simplement connexe et f est donnCe dans (H-1(R))3. Sous ces hypothkses, Iexistence et lunicitg de la solution ont Ct6 ttablies (v&r [3]). Une autre approche consiste 2 prendre comme inconnues les vecteurs tourbillon et fonction courant. Par dkfinition, le vecteur tourbillon est w = curlu = t(d~~s - &,uz,&~~ - &u~,&?Lz - 82~1). De plus, on sait, daprks [2], quil existe 9 E (L2(r2))3 tel que u = curl K# avec div \k = 0 dans R et 9 A n = 0 sur I, n designant le vecteur unitaire normal a la front&e I, dir&C vers 1extCrieur de R. Le vecteur k est appelC fonction courant.
Note p&entCe par Olivier

PIRONNEAU.
des Sciences/Elsevier. Paris

0764.4442/99/03280935

0 Acadhie

935

M.

Amara

et al.

On suppose que f E (L2(s2))3. On note H(curl,R) = {p E (L2(R))3; curlcp E (L2(62))3} et on curl, a) ; cp A n = 0 sur I}, X = X n {p E (L2(R))3 ; div cp = 0 dans n}, definit X = {p E H( curl curl 0 E X} puis lespace produit 2 = Y x HA(R). Chacun de ces espaces Y = {e E (L2(R))3; est muni de la norme hilbertienne du graphe. Du fait de linclusion curl (L2(R)) 3 C X, il est nature1 de chercher w dans Y. Quant a la fonction courant, elle appartient a 2. Le cadre fonctionnel d&tit, on se propose detendre au cas tridimensionnel les resultats de [l].

2. Formulations

variationnelles
courant (w, ID) skrit sous la forme :

Le probleme de Stokes formule en tourbillon-fonction w E (L2(r2))3 et !@ E H(curl,R), div w = 0,

curl curl w = curl f, w . 72= 0 p.p. sur I?,

w = curl curl !P,

div K@ 0, =

(1)

!I! A R. = 0 p.p. sur I? et curl !L! A n = 0 p.p. sur r.

On decompose w sous la forme w = w + w* et le systeme (1) est equivalent aux systbmes :

w Ex,
curlcurlw

w* E Y et !P E X, = curlf dans (H-(R)): et

w,+

w* = -A!P

p.p. dans R, p.p. sur

div \k = 0 p.p. dans 0, (wO+w*),n=O

curl curl w* = 0 p.p. dans R: div w = divw* Les formulations (trouver (w, = 0 p.p. dans fit,

r,

(2)

curl * A n = 0 p.p. sur :

r.

mixtes associees a ces systemes (2) sont alors respectivement A) E X x Hi(R), + solution de :

J J J
R n

curl w . curlcpdz

n+A7Xdx=

J
R

f .curlcpdz,

VP E X,

(3)

w. Vpdx = 0, VP E H;(R), R trouver ((w, A*), !I!) E 2 x X, solution de : w* .6 dx - (curl curl 8, !&),y,,,y +

- (curl curl w*, cp)~,,~ +

J J
n

Kk.Vpdx=$2 cp.VX*dx=O,

.R /

w.@dx, VCPEX.

v (0; PCL) z, E

(4)

Les formulations de BabuSka-Brezzi.

(3) et (4) admettent chacune une unique solution comme condquence du thCori?me De plus, elles sont Cquivalentes aux systemes (2) et on a X0 = X* = 0.

3. Formulations

disc&es

Soient Yh et Lh deux sous-espaces de dimension finie de H(curl,n) et H1(fi) respectivement. On a Yh c Y et on dkfinit les quatre espaces discrets suivants Xh = Yh II X, LE = Lh fl HA(R), 21~ = { 7rn E XI, ; s, Th Vp~h drc = 0, vp~k E Li} et Zt& = Yh x Li. Les formulations disc&es associkes aux problkmes con&us (3) et (4) sont :

936

Une

formulation

mixte

convergente

pour

le syst&me

de Stokes

tridimensionnel

I
.I n I
R

trouver (WE, A,) E Xh x Li, curl wi . Curl w;.Vphdx

(Ph

solution de : (Ph.VX;dx=
R

dx +

J
n
R

f.CUrl$7hdX,

v$$E&,

(5)

= 0,

V/clh E L;, solution de : qh.vA;dx= vPhE&.

trOUVer ((WE, A;), @h) E Zj, x Xh, W;f&dX-

IJ -

1J
R

curl w: . curl ph + nPh.VX;dx=O,

eh *h . Jcurlcurl+J J
cl

J
n

Wf,

. oh

dX,

wh&h)

E zhJt6)

La formulation (5) est classique.Elle a CtCproposke par NCdClecdans [5]. 11en est de mCmepour la formulation (6). Cependant,elle prksente linconvhient de ne pas conduire B une condition dellipticitk uniforme, ce qui se traduit par un dCfaut de convergence, i.e. non-convergence pour les ClCments finis de plus bas degrt5et perte dun ordre de convergence dans les autres cas. On introduit alors une forme bilinkaire Ah suppoke positive sur Zh,, i.e. V (&, ph) E Zh, A&&, CQ~), ph)) 2 0 et on remplace (oh, (6) par la formulation ptnaliske suivante (avec ,# pour paramktre de pknalisation) :

curl w: . curl (Ph + (Ph.v,$dx = 0, VpPhE xh. R R La formulation (7) correspond B une perturbation de la formulation classique(6) que lon retrouve pour p = 0. 11 vient alors :
THEORCME 1. - Pour tout fl > 0, les problkmes discrets (5) et (7) admettent une unique solution respectivementdans Xh x Lg et Zh x Xh. De plus, Xz = Xf, = 0 p.p. dans R.

. Jw; 1J
R

trouver ((wi, Ai), qh) E Zh x Xh, eh dx + =

b&((W;, A;), (oh,

solution de :
ph)) / curl 6$,

.R

. Curl

*h

.h

*h

. VA;

dx, (7)

J
R

WE.

&,dx,

wh,Ph)

E &

On dkfinit la forme bilirkaire Ah indkpendammentde 1tlCment ,~h et on introduit les notations :

lleh1112 eh

lllallll , e;I = supf+sEXt, lbrliphllO,R. = sw,,E~; llhlll On obtient les estimations derreur suivantes :
X TH~ORBME

&(eh,wL~&$

EL,

w;

{r]h

c Yh;

vqh

c xh,

JoCUlvh

.CUrlphdz

o},

2. - I1 existe C > 0 indkpendantede h et de p telle que lon ait :

IIw* - PhllO,fl

+ Ji?lbhllI

+ (1+ fieE)llcurlcurlphll~~

+ llwO- wiill,n + $ .iE.f-,, Ilcurl(~ - qh)ljo,n.

937

M.

Amara

et al.

Dans le cadre dune approche elements finis, on recouvre 0 par une decomposition reguliere ?;, composee de tetraedres K de diametre hK. On note h,i,, = minKEl, hlc et on utilise 1ClCment fini 56 defini par J.-C. NCdClec dans [4] et[5]. On prend Yh = (0, E H(cur1, R) ; Onlri E 9?, V K E Th} et L: = {a 6 H1(W qhlK E $1, VK E G} P uis on definit la forme bilineaire Ah par :
~((XhiXh)r(~hib&)) E zh
x 2,

Ah((Xh,Xh),(eh,~/L))=

c FEFh

fW/)Ur1Xh

An].

[curloh

AnIda,

oti Fh designe lensemble des faces intemes F de lh et [ .] le saut a travers la face inteme F consideree. On rappelle le resultat suivant, demontre dans [2] : il existe wz reel s E ]1/2,1[ On obtient alors :
PROPOSITION.

tel que linjection

de X n H(div, 12) duns (H(Q))3

soit continue.

Desormais, tels que :

de h telle que ei 5 c et eh 5 $&. nil on suppose quil existe un reel n E IO, l[ et une constante Co > 0 independante de h

- II existe c > 0 indipendunte

h llll

> -

Co

h2-2a

, i.e. hmin est de lordre de h2-2a.

(8)

11sagit dune condition de maillage non restrictive. Afin dassurer la convergence de la methode, on choisit le parametre ,B tel que : i et C2 > 0 sont deux constantes> 0 independantes h. de On a alors le resultat suivant :
THEOREME

(9)

3. - On a /ili~ ljw - w$,~[[~Y= 0. De plus, sousles hypothbses(8) et (9),

limh+O( IIW* w&lto,n + ~~~b~h

111+ Il=l(*

*h)llO,Q)

= 0.

THGOREME

4. - Si XP,u et w* uppartiennent b lespuce (H(R))

3, on a, sousles hypothtses (8) et (9),

11~ - w:lls = O(h), IIw* - w;lllo,~ + dBIlwf,III + Ilcurl(* - *h)jlO,Q = O(h). La convergence est assureepour les elements de NCdClecdordre 1. Le resultat est encore vrai pour les elements dordre k > 1. De plus, lorsque le couple solution (w + w*, Xl?)est dans lespace produit (H1(R))3 x (H(fl))3 ( ceci est vrai en particulier lorsque U est convexe), on peut utiliser une methode delements finis de classeCo plutbt quune methode delements finis H(cur1, R). Lerreur est alors en O(h) pour un choix de ,6 de lordre de 1.

R&f&ences bibliograpbiques
[I] Amara M., El Dabaghi F., Une methode optimale delements finis de classe C dapproximation du bilaplacien : analyse theorique et resultats numeriques, Rapport INRIA 3068, 1996 (soumis a Numer. Math.). [2] Amrouche C., Bernardi C., Dauge M., Girault V., Vector potentials in three-dimensional nonsmooth domains, Math. Meth. Appl. Sci. (1998) 823-864. [3] Girauh V., Raviart P.-A., Finite Elements Methods for Navier-Stokes Equations, Theory and Algorithms, Springer-Verlag, 1986. [4] NCdCIec J.-C., Mixed Finite Elements in iw , Numer. Math. 35 (1980) 315-341. [5] Ntdelec J.-C., Elements finis mixtes incompressibles pour ltquation de Stokes dans R, Numer. Math. 39 (1982) 97-l 12.

938