Académique Documents
Professionnel Documents
Culture Documents
Ma201 Td03corr
Ma201 Td03corr
Séance no3
Eléments finis en dimension 1 et 2
Corrigé
2 Octobre 2006
et wj1
(x − xj )(xj+1 − x) si x ∈ [xj , xj+1 ],
wj1 (x) = (x1j − xj )(xj+1 − x1j )
0 sinon
On vérifie que wj , wj1 ıP2 et satisfont wj (xi ) = δij , wj (x1i ) = 0, wj1 (x1i ) = δij et wj1 (xi ) = 0.
1.2 - wj1 ∈ C 1 (]a, b[), supp(wj1 ) = [xj , xj + 1] et wj ∈ C 0 (]a, b[), supp(wj1 ) = [xj−1 , xj + 1].
1
TD MA201 Cours Eléments Finis
wj wj1
2
TD MA201 Cours Eléments Finis
(λ1 , λ2 , λ3 ) ∈ (P1 )3 , c’est aussi une famille libre. Comme dim P1 = 3, (λ1 , λ2 , λ3 ) est une
base de P1 .
2.3 - Par définition, sur chaque triangle Tl la fonction WI est une fonction P1 prenenant
trois valeurs données aux sommets du triangle Tl . Or une fonction P1 est entiérement
déterminée par les valeurs qu’elle prend en trois points non alignés. Comme par hypothèse
sur le maillage les triangles Tl sont d’intérieur non vide on en déduit que WI est définie
d’une manière unique. on notera également que WI est continue sur Ω̄ car la restriction
de WI sur une arête définit une fonction affine le long de l’arête prenenat deux valeurs
données et toute fonction affine d’une variable est entièrement déterminée par les valeurs
qu’elle prend en deux points distincts.
MI
3
TD MA201 Cours Eléments Finis
uh (MJ ) = 0 ∀ 1 ≤ J ≤ N.
d’où uh = 0.
2.5 - soit vh ∈ Vh2 montrons que vh ∈ H 1 (Ω). Par définition de Vh2 on a vh |Tl ∈ P2 ∀ l =
1, L, ceci implique que vh |Tl ∈ H 1 (Tl ). vh est supposé continue sur Ω̄. Par conséquent vh
est dans H 1 (Ω) (cf TD2).
1
2.6 - Par définition, sur chaque triangle Tl les fonctions WI et WJK sont des fonction
P2 prenenant six valeurs données aux sommets du triangle Tl et aux mileux des arètes.
Or une fonction P2 est entièrement déterminée par les valeurs qu’elle prend en six points
disctincts. Comme par hypothèse sur le maillage les triangles Tl sont d’intérieur non vide
1
on en déduit que WI et WJK sont définies d’une manière unique. on notera également que
1 1
WI et WJK sont continues sur Ω̄ car la restriction de WI et WJK sur une arête définit un
polynôme de degré 2 le long de l’arête prenenat trois valeurs données et tout polynôme
de degré 2 en une variable est entièrement déterminée par les valeurs qu’il prend en trois
points distincts.
On considère
τIl = WI |Tl et τJ1l Kl = WJK 1
|Tl
avec Il , Jl , Kl les indices locaux de sommets MI , MJ et MK dans le triangle Tl . Notre but
est de calculer l’expression des τIl et des τJ1l Kl en coordonnées barycentriques.
Or les fonctions de bases sont des polynômes de degré 2 en chacune des variables, donc
elles sont de la forme,
Tenant compte du fait que λ1 + λ2 + λ3 = 1, on peut éliminer l’une des trois coordonnées
dans l’expression ci-dessus. D’autre part en utilisant la définition des τIl et τJ1l Kl , on obtient
un système de six équations à six inconnues.
D’où les expressions suivantes :
τIl = 2λ2Il − λIl ,
τJ1l Kl = 4λJl λKl .
1
2.7 - La famille {(WI )1≤I≤N , (WJK )∀[J,K] arète } est libre car
1
P P
I λI W I + [J,K] αJK WJK = 0.
On a alors :
4
TD MA201 Cours Eléments Finis
P
PI λI WI (MJ 1) = 0 ⇒ λJ = 0 ∀J = 1, N.
[J,K] αJK WJK (MIL ) = 0 ⇒ αIL = 0 ∀[I, L] arète.
1
La famille {(WI )1≤I≤N , (WJK )∀[J,K] arète } est génératrice car :
X X
1
∀ vh ∈ Vh , vh (M ) = vh (MI ) WI (M ) + vh (MJK ) WJK (M )
I [J,K]
1
P P
En effet, en posant uh = vh − I vh (MI ) WI − [J,K] vh (MJK ) WJK , on a :
uh (MJ ) = 0 ∀ 1 ≤ J ≤ N.
uh (MIL ) = 0 ∀[I, L]arète.
d’où uh = 0
S4 S3
h h
h h
S1 S2
5
TD MA201 Cours Eléments Finis
S 34
S4 S3
h h h
S 1234
S 14 h h h S 23
h h h
S1 S 12 S2
3.2 - 3.2.1 on demande aux µ̂I d’avoir une trace d’ordre ≤ 2 sur le bord supérieur et
d’ordre ≤ 1 sur les autres, réalisant ainsi l’unisolvance sur les bords et par là même la
continuité du raccord avec les éléments adjacents.
3.2.2 Il est clair que
µ̂1 = p̂1 , et µ̂2 = p̂2 .
Les fonctions de base µ̂3 et µ̂4 étant de degré 2 sur le bord supérieur et ≤ 1 sur les
autres, on recherche alors τ3 et τ4 de degré 1 tels que µ̂3 = p̂3 τ3 (x) et µ̂4 = p̂4 τ4 (x). On
aura en fait τ3 (1/2) = τ4 (1/2) = 0, τ3 (1) = 1 et τ4 (0) = 1, par conséquent τ3 (x) = 2x − 1
et τ4 = −2x + 1. On en déduit que
µ̂3 = xy(2x − 1)
µ̂4 = (1 − x)y(−2x + 1)
Reste à étudier µ̂5 , elle sera de la forme αx(1 − x)y et comme µ̂5 (1/2, 1) = 1, on en
déduit que α = 4 et
µ̂5 = 4x(1 − x)y
.
6
TD MA201 Cours Eléments Finis
On s’intéresse au problème :
− d (a(x) du (x)) = f (x) x ∈]0, 1[
dx
dx
(1)
u(0) = u(1) = 0,
4.1 - On multiplite la première équation du système (1) par une fonction test v ∈
H01 (]0, 1[), et on effectue une intégration par parties :
Z 1 Z 1 Z 1
du dv du du
b dx + b u v dx − b(1) (1) v(1) + p(0) (0) v(0) = f v.
0 dx dx 0 dx dx 0
7
TD MA201 Cours Eléments Finis
on obtient :
|a(u, v)| ≤ bmax kukH 1 kvkH 1 .
D’autre part : Z 1 Z 1
du du 2
a(u, u) ≥ b | |2 dx ≥ bmin | | dx.
0 dx 0 dx
Comme on est dans H01 (]0, 1[), l’inégalité de Poincaré donne :
du
Il existe C > 0, tel que kukL2 ≤ Ck kL2 .
dx
Par suite
bmin
kuk2H 1 .
a(u, u) ≥
1+C
Le théorème de Lax-Milgram peut donc s’appliquer, on a existence et unicité de la
solution.
où Z 1
0 0
Aij = a(φj , φi ) = b(x)φj (x)φi (x)dx
0
et Z xi+1
Fi = l(φi ) = f (x)φi (x)dx.
xi−1
Rx
On note b̄i j = xij b(x)dx.
On remarque que
0 1/h si x ∈ ]xi−1 , xi [
φi (x) =
−1/h si x ∈ ]xi , xi+1 [
8
TD MA201 Cours Eléments Finis
Donc si i = j, on a que
Z 1
0 1 2
Aii = b(x)(φi (x))2 dx = b̄i−1 i+1 2h 2
= b̄i−1 i+1 .
0 h h
Si j = i + 1, on a
Z 1
0 0 1 1
Ai i+1 = b(x)φi (x)φi+1 (x)dx = −b̄i i+1 h 2
= −b̄i i+1 .
0 h h
Si j = i − 1, on a
Z 1
0 0 1 1
Ai i−1 = b(x)φi (x)φi−1 (x)dx = −b̄i−1 i h = −b̄ i−1 i .
0 h2 h
Pour calculer Fi on procède à une intégration numérique, avec la formule des trapèzes
par exemple, on a :
Z xi Z xi+1
Fi = f (x)φi (x)dx + f (x)φi (x)dx = hf (xi ).
xi−1 xi