Professional Documents
Culture Documents
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.
(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 ,
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
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)
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.
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
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