Vous êtes sur la page 1sur 9

1

MA201 La mthode des lments finis.


Corrig du contrle continu du 13 novembre 2009.

Problme : Autour de la diffusion

Partie 1 Diffusion neutronique (10 pts)


1. (a) (0,5Z pt) On cherche une solution u du problme (1) dans L2 () qui
vrifie |u|2 d < . u devra donc tre dans H 1 (). Dautre part,

on impose une condition aux limites de Dirichlet homogne (condition
essentielle). Par consquent, on va poser la formulation variationnelle
associe ce problme dans H01 ().

(b) (1 pt) Donnons deux mthodes pour traiter cette question.


Puisque u est dans H01 (), u est un lment de L2 ()2 et par
consquent Du galement. Ceci prouve que Du est un lment
de H(div; ) = {w L2 () | div w L2 ()}. La Proposition 1.17.
page 29 du polycopi indique alors que si v est dans H01 (), on a la
formule dintgration par parties de type Stokes
Z Z
div(Du)v d = Du v d.

Ceci permet de montrer que la formulation variationnelle associe


(1) est
Trouver
Z u H01 () Ztel que
(FV1)
Du v d = f v d v H01 ().

Une autre faon de procder consiste faire lintgration par parties
au sens des distributions. Si v est dans D(), on peut crire
Z Z
f v d = div(Du)v d = hdiv(Du), viD0 (), D()

= hDu,
Z viD0 ()2 , D()2
= Du v d.

On aboutit (FV1) en utilisant la densitZde D() dans H01 ().


(c) (0,5 pt) Si u est solution de (FV1) alors |u|2 d < et u = 0

sur car u est dans H01 ().
2

Dautre part, en raisonnant au sens des distributions, pour v D(),


on peut crire
Z
hf, viD0 (), D() = f v d
Z
= Du v d

= hDu, viD0 ()2 , D()2

= hdiv(Du), viD0 (), D()


Ainsi, div(Du) = f dans D0 (). Et, puisque f L2 (), on a
div(Du) = f presque partout dans .
2. (a) (1pt) Vrifions les hypothses du thorme de Lax-Milgram :
H01 () muni de norme k.kH 1 () = k.kL2 ()2 est un espace de Hilbert.
Z 0

l(v) = f v d est une forme bilinaire continue sur H01 (). En effet,

on a
|l(v)| kf kL2 () kvkL2 ()

CP kf kL2 () kvkH 1 ()
0

o CP dsigne
Z la constante de Poincar.
a(u, v) = Du v d est une forme bilinaire, continue et coer-

cive sur H01 ()2 . En effet, dune part on a
|a(u, v)| max(D1 , D2 ) kukH 1 () kvkH 1 () .
0 0

Dautre part, on peut crire


|a(u, u)| min(D1 , D2 ) kuk2H 1 () .
0

Le thorme de Lax-Milgram (polycopi page 39) permet de conclure


que la formulation variationnelle est bien pose.
(b) (1pt) Daprs la question 1. (c), la solution u de (FV1) vrifie
Di u = f presque partout dans i , i = 1, 2.

Soit v D()( H01 ()) une fonction test dans (FV1).


Z Z
f v d = Du v d
Z
X
= Di u v d
i=1, 2 i
* +
u
X Z
= Di uv d + ,v
i=1, 2 i ni 1 1
H 2 (i ), H 2 (i )
3

Daprs les galits Di u = f presque partout dans i , il reste


* +
X u
Di ,v .
i=1, 2
ni 1 1
H 2 (i ), H 2 (i )

Par ailleurs, puisque v|i = 0 et n1 = n2 , on conclut que


* +
u u
D1 D2 ,v = 0.
n1 n1 1 1
H 2 (), H 2 ()

En dautres termes,
u u
D1 = D2 sur linterface .
n1 n1
3. (a) (1,25pt) Tout dabord, par symtrie du domaine, lorsque (x, y)
dcrit 1 (respectivement 2 , , ), (x, y) dcrit Z1 (respectivement
2 , , ). Observons ensuite que usym L2 () et |usym |2 d <

. En effet, pour presque tout (x, y) , on a ux sym
|(x,y) = u |
x (x,y)
usym u 1
et y |(x,y) = y |(x,y) . On a donc usym H (). De plus, si (x, y)
, (x, y) et donc usym = 0 presque partout sur . Enfin,
pour presque tout (x, y) , on a
   
div(Dusym )(x, y) = x
D ux
sym
(x, y) y
D uy
sym
(x, y)
   
= x
D(x, y) uxsym
|(x,y) y
D(x, y) uysym
|(x,y)
 

D(x, y) u u

= x |
x (x,y)
y
D(x, y) |
y (x,y)
 
0 u 0 u

= x0 D(x , y) x0 |(x ,y) y D(x , y) y |(x ,y)
0 0

= f (x0 , y) = f (x, y) = f (x, y).


Ainsi, usym vrifie (1). Daprs lunicit de la solution (question 2 (a)),
on dduit usym = u. Ceci prouve que u est symtrique par rapport
laxe (Ox). De la mme faon, on montre que u est symtrique par
rapport laxe (Oy). En conclusion, u est symtrique par rapport aux
axes (Ox) et (Oy).

(b) (1,25pt) Bien sr, u|xy H 1 (xy ), u = 0 presque partout sur


xy et div(Du) = f presque partout dans xy . De plus, on
remarque que, dune part
usym u
|(x,y) = |(x,y)
x x
4

(car usym (x, y) = u(x, y)). Dautre part,


usym u
|(x,y) = |(x,y) .
y y
u u
Ainsi, lorsque x = 0, |
x (0,y)
= 0 et donc n
= 0 sur (Oy).

u u
De mme, |
x (x,0)
= 0 et donc n
= 0 sur (Ox).

On en conclut que V = {v H 1 (xy ) tel que v = 0 sur xy }


puisquon a une condition aux limites essentielles sur la partie de la
frontire xy .

(c) (0,5pt) Ceci permet de rduire par quatre la dimension du pro-


blme rsoudre.
4. (a) (1pt) Llment fini de Lagrange Q1 est dfini par (Kl , l , Pl ) :
Kl = carr
l = 4 sommets du carr
Pl = {a + bx + cy + dxy, (x, y) Kl }

Si on choisit un maillage de xy form de carrs (Kl )1ln et si on


note {Mi }1iN0 les sommets de ces carrs nappartenant pas , on
construit donc
Vh = vh C 0 (xy )|vh = 0 sur xy et vh |Kl Pl , 1 l L


NB. Une base est donne par (wi )1iN0 : wi Vh , wi (Mj ) = ij ,


1 j N0 .

Le problme variationnel en discret est alors :


Trouver
Z uh Vh tel queZ
Duh vh d = f vh d, vh Vh (FV2D)
xy xy

(b) (0,5pt) On choisit vh = wi dans (FV2D), i =P 1..N0 , et on exprime


uh dans la base des (wj )j , cest--dire : uh = j j wj , avec j =
uh (Mj ) :
Z Z
P
Fi = f wi d = j j Dwj wi d
xy xy Z
P
= j Kij j , avec Kij = Dwj wi d.
xy
5

~ RN0 de composantes j est solution de


On dduit que

~ RN0 tel que


Trouver
= F~ dans RN0 ,
K~

avec K RN0 N0 de coefficients Kij et F~ RN0 de composantes Fi .

NB. Si on choisit le maillage de sorte que tous les carrs soient ou


bien dans 1 ou bien dans 2 , alors on a
Z XZ X Z
Dwj wi d =
Dwj wi d = D| wj wi d,
Kl
xy l Kl l K

ce qui simplifie les calculs.


5. (c) (1pt) K est symtrique, dfinie-positive, donc inversible. Dautre
part, K est creuse (voir chapitre 3 du polycopi). En effet, si Kij 6= 0
alors supp (wi ) supp (wj ) contient au moins un carr. En dautres
termes, Mi et Mj sont sommets dun mme carr. Ceci autorise au plus
neuf coefficients non-nuls par ligne de la matrice K.
6. (d) (0,5pt) On a P 1 Pl mais P 2 6 Pl . Daprs les estimations
derreur (Thorme 2.4 page 88 du polycopi), si u H t (xy ), avec
t 2, on aura

ku uh kH 1 (xy ) C h |u|H 2 (xy ) ,

avec C indpendante de u et de h.

Partie 2 Convection-Diffusion (4 pts)


1. (1,5pt) On recherche H 1 (). Dautre part, comme on impose la
condition aux limites essentielle = 0 sur , on va se placer dans
H01 ().

Puisque, f v L2 (), = {w H 1 (), w L2 ()}.


On peut donc intgrer par parties avec la formule de Green classique
(Proposition 1.16. du polycopi). Pour H01 (), on a
Z Z Z
f d = d + v d
Z Z
I.P.P.
= d + v d.

Ainsi, est bien solution de la formulation variationnelle (FV3).


6

Rciproquement, si est solution


R de (FV3), H01 () et donc = 0
2
presque partout sur et || d < . En raisonnant au sens des
distributions, on trouve, pour D(),
Z
hf, iD0 (), D() = f d

Z Z
= d + v d


Z
P3
= i=1 d + h v, iD0 (), D()
* xi x+i
P3
= i=1 , + h v, iD0 (), D()
xi xi 0
* D (), D()
+
2

= 3i=1
P
, + h v, iD0 (), D()
2 xi 0
D (), D()

= h + v, iD0 (), D() ,

o lon a driv au sens des distributions.

Ainsi, f = + v dans D0 (). Comme f L2 (), on a cette


galit dans L2 () et donc presque partout dans .
2. (1pt) Vrifions les hypothses du thorme de Lax-Milgram :
H01 () muni de norme k.kH 1 () = k.kL2 ()2 est un espace de Hilbert.
Z 0

l() = f d est une forme bilinaire continue sur H01 () (voir



Partie 1, question
Z 2 (a)). Z
a(, ) = d + v d est une forme bilinaire

et continue sur H01 ()2 . En effet, on a
|a(, )| kkL2 ()3 kkL2 ()3 + k vkL2 () kkL2 ()

kkL2 ()3 kkL2 ()3 + CP kvkL ()3 kkL2 ()3 kkL2 ()

(1 + CP kvkL ()3 ) kkL2 ()3 kkL2 ()3 ,
o CP dsigne la constante de Poincar.

Peut-on montrer que a est coercive sur H01 ()2 ?

Z Z
a(, ) = d + v d

7

Il faut pouvoir traiter le second terme.


3. (1,5 pt) Pour conclure, il faut comparer les deux termes de a(, ).
Or, nous savons que

Z
CP kvkL ()3 kk2L2 ()3 .

v d

Ainsi,
a(, ) (1 CP kvkL ()3 ) kk2L2 ()3 .

On aura donc la coercivit de a si (1 CP kvkL ()3 ) > 0, ce qui
correspond bien la condition de lnonc.

Exercice : Formules de quadrature et estimations derreur (7pts)


1. (2 pts) Cas l() remplac par lh () :

Notons (respectivement M ) la constante


de coercivit
(respective-
l(wh ) lh (wh )

ment de continuit) de a et L = sup .
wh Vh kwh kV
Soit vh Vh . Comme indiqu dans lnonc, commenons par majo-
rer le terme ku0h vh kV en utilisant la coercivit de a(, ).

kvh u0h k2V a(vh u0h , vh u0h )


= a(vh , vh u0h ) a(u0h , vh u0h )
= a(vh , vh u0h ) lh (vh u0h )
= a(vh , vh u0h ) l(vh u0h ) (lh l)(vh u0h )
= a(vh u, vh u0h ) (lh l)(vh u0h )
M kvh ukV kvh u0h kV + L kvh u0h kV .

Ainsi donc, on a
M L
kvh u0h kV kvh ukV + .

On peut alors crire

M L
ku u0h kV ku vh kV + kvh u0h kV (1 + ) kvh ukV + .

Puisque que ceci est vrai pour tout vh Vh , on obtient le rsultat de
lnonc en prenant C 0 = max (1 + M , L ).

8

2. (2,5 pts) Cas l() et a(, ) remplacs par lh () et a


h (, ) :

|a(vh , zh ) a
h (vh , zh )|
Notons
la constante de coercivit de a
h et Z(vh ) = sup .
zh Vh kzh kV
Soit vh Vh . Suivons de nouveau lnonc et majorons le terme ku00h vh kV
h (, ).
en utilisant la coercivit de a

kvh u00h k2V


h (vh u00h , vh u00h )
a
= h (vh , vh u00h ) a
a h (u00h , vh u00h )
= h (vh , vh u00h ) lh (vh u00h )
a
= ah a)(vh , vh u00h ) + a(vh , vh u00h ) l(vh u00h )
(
(lh l)(vh u00h )
ah a)(vh , vh u00h ) + a(vh u, vh u00h )
= (
(lh l)(vh u00h )
Z(vh ) kvh u00h kV + M kvh ukV kvh u00h kV
+L kvh u00h kV .

Ceci implique

Z(vh ) M L
kvh u00h kV + kvh ukV + .




On peut alors crire

Z(vh ) M L
ku u00h kV ku vh kV +kvh u00h kV +( +1) kvh ukV + .




Puisque ceci est valable pour tout vh Vh , on obtient le rsultat de
lnonc avec C 00 = max ( 1 , (1 + M


), L ).
3. (1 pt) En plus de lerreur dapproximabilit inf ku vh kV , on doit
vh Vh
tenir compte des erreurs de quadrature. Il faut notamment calculer
chacun des deux membres avec suffisamment de prcision pour ne pas
dtriorer lordre de convergence de la mthode.
4. (1,5 pt) Dans ouvert polygonal (born) inclus dans R2 , avec ll-
ment fini de Lagrange P k (k 1) sur des maillages triangulaires :
si on rsout "trouver u H01 () tel que u = 1 dans , alors il
ny a pas besoin de quadrature.
si on rsout "trouver u H01 () tel que u = f dans avec
f C 0 (), alors on raisonne par interpolation du second membre.
On peut alors utiliser la question 1 pour prouver que la mthode
converge.
9

si on rsout "trouver u H01 () tel que div(u) = f dans


avec f C 0 () et L (), alors on raisonne par interpolation
du premier et du second membre. On peut alors utiliser la question
2 pour prouver que la mthode converge.

Vous aimerez peut-être aussi