You are on page 1of 4

1

MA201 La m ethode des el


ements finis.
Contr
ole continu du 13 novembre 2009.
Dur
ee : 3 heures.
Documents autorises : polycopi e MA201 (partie 1 et partie 2),

enonc
es/corrig
es TD MA201, enonc
es TP MA201.
Toute r
eponse doit
etre justifi
ee.

Probl`
eme : Autour de la diffusion
Les deux parties de ce probl`eme sont totalement independantes et peuvent donc etre traitees separement.

Partie 1 Diffusion neutronique


Certains mod`eles neutroniques1 conduisent `a considerer le probl`eme suivant : trouver u L2 ()
definie sur telle que Z


|u|2 d < ,

div(Du) = f dans , (1)



u=0 sur .

Ci-dessus, le domaine de calcul est un ouvert borne connexe de R2 , de fronti`ere suffisamment


reguli`ere, D L () est un coefficient de diffusion (pouvant dependre de la position) caracterisant
les materiaux presents dans le cur du reacteur, et f L2 () est la donnee.

1. Obtention de la formulation variationnelle :

(a) Dans quel espace faut-il poser la formulation variationnelle associee `a (1) ?

(b) Ecrire la formulation variationnelle associee `a (1) : on la notera (FV1) dans la suite.
(c) Verifier que la solution de (FV1) est egalement solution de (1).

2. On se place maintenant dans le cas de la figure 1 (qui est censee representer une geometrie tr`es
simplifiee de cur de reacteur nucleaire). Le coefficient de diffusion D est defini par :

D = D1 dans 1 , D = D2 dans 2 ,

avec D1 et D2 deux constantes strictement positives.

(a) Montrer que (FV1) est bien posee.


(b) Quelle est la condition verifiee par la solution sur linterface = 1 2 ?
1
La neutronique est letude du deplacement des neutrons et de leurs interactions avec la mati`ere `a linterieur dun
cur de reacteur nucleaire.
2

3. On suppose maintenant que la donnee f est symetrique par rapport aux axes Ox et Oy.
(a) Soit u la solution du probl`eme. On definit usym comme :
pour presque tout (x, y) , usym (x, y) = u(x, y).
En considerant les symetries de la geometrie de la figure 1, montrer que usym est aussi
solution de (1). En deduire que u est symetrique par rapport `a laxe (Oy).
(b) On definit xy = R2+ . Quel est le probl`eme direct (2) verifie par u = u|xy ? On admet
que la formulation variationnelle associee `a ce nouveau probl`eme est :

Trouver u V telle que
Z Z

Du v d = f v d, v V. (FV2)
xy xy

Dans quel espace V est posee (FV2) ?


(c) Quel interet les questions 3(a) et 3(b) peuvent-elle avoir en pratique ?
4. (a) Proposer une discretisation de (FV2), basee sur lelement fini de Lagrange Q1 structure,
cest-`a-dire avec un maillage constitue de carres.
(b) Comment construire le syst`eme lineaire equivalent a` la formulation variationnelle discr`ete ?
Pour la matrice, on sarretera `a lexpression de ses coefficients, sans calculer explicitement
leur valeur.
(c) Rappeler les proprietes principales de la matrice de ce syst`eme lineaire. En particulier,
combien y a-t-il au plus delements non-nuls par ligne ?
(d) Quelle vitesse de convergence peut-on esperer obtenir ?

Partie 2 Convection-diffusion
Soit un domaine regulier borne de R3 de fronti`ere suffisamment reguli`ere, v (L ())3 un
champ de vecteurs de convection, et f L2 (). On recherche L2 () telle que
Z


||2 d < ,

+ v = f dans , (3)



=0 sur .

3
NB. Si (L2 ()) et v (L ())3 , alors v L2 () et ||v||L2() ||v||(L ())3 ||||(L2 ())3 .
1. Montrer que la formulation variationnelle associee `a (3) est :

Trouver H 1() telle que
Z 0 Z Z
(FV3)
H01 ().


d + v d = f d,

3

y
(5, 5)
1 (3, 3)
2
x
O

(3, 3)

(5, 5)

Figure 1: geometrie (tr`es) simplifiee dun cur de reacteur.

2. Verifier les hypoth`eses du theor`eme de Lax-Milgram pour (FV3). Parmi ces hypoth`eses, quelle
est celle qui pose probl`eme ?

3. Etablir lexistence et lunicite dune solution de (FV3) sous la condition
s
1
||v||(L ())3 < ,
Cp

o`
u Cp designe la constante de Poincare.

Exercice : Formules de quadrature et estimations derreur


Soit `a resoudre le probl`eme variationnel abstrait

Trouver u V telle que

a(u, v) = `(v), v V,

avec V un espace de Hilbert, a(, ) bilineaire, continue et coercive sur V , `() lineaire et continue sur
V . On definit (Vh )h une suite de sous-espaces vectoriels de V , de dimension finie, et on resout les
probl`emes approches
Trouver uh Vh telle que

a(uh , vh ) = `(vh ), vh Vh .
Pour accelerer la construction de ces probl`emes, on choisit dutiliser des formules de quadrature pour
evaluer le second membre et/ou le premier membre. On doit alors modifier lestimation derreur
classique du lemme de Cea.
4

h ), les (`h )h etant continues sur Vh . On resout alors


1. Supposons que lon remplace `(vh ) par `(v
Trouver u0h Vh telle que

a(u0 , vh ) = `h (vh ), vh Vh .

h

Montrer quil existe C 0 > 0 telle que, pour tout h :


( )
|`(wh ) `h (wh )|
ku u0h kV C 0 inf ku vh kV + sup .
vh Vh wh Vh kwh kV

Indication : choisir vh Vh quelconque et majorer ku0h vh kV `a laide de la coercivite de a(, ).

2. Supposons que lon remplace le second membre comme `a la question precedente, et a(yh , vh ) par
h (yh , vh ) (pour yh , vh Vh ), les (
a ah )h etant continues et coercives sur Vh , avec une constante
de coercivite (strictement positive) independante de h. On resout cette fois
Trouver u00h Vh telle que

h (u00h , vh ) = `h (vh ), vh Vh .

a

Montrer quil existe C 00 > 0 telle que, pour tout h :


( )

|a(v ,
h hz )
a (v ,
h h h z )|

|`(w h )
` h (w h )|
kuu00h kV C 00 inf ku vh kV + sup + sup .
vh Vh zh Vh kz k
h V wh Vh kw k
h V

Indication : choisir vh Vh quelconque et majorer ku00h vh kV `a laide de la coercivite de a


h (, ).

3. Commenter les deux estimations derreur precedentes.

4. Proposer trois exemples, pour lesquels on doit utiliser respectivement :

lestimation derreur classique fournie par le lemme de Cea ;


lestimation derreur de la question 2 ;
lestimation derreur de la question 3.

You might also like