Vous êtes sur la page 1sur 14

École nationale d’ingénieurs de Tunis

École nationale supérieure de techniques avancées

Compte rendu TP 2 Éléments finis

Résolution numérique de l’équation de


la chaleur

Réalisé par :
Baba Abdelhamid
Amin Henteti
Classe: 2eme année Techniques Avancées

Année universitaire 2018/2019


Résolution numérique de l’équation de la chaleur

Table des figures


1 Représentation de la solution approché uh pour σ2 =5 . . . . . 7
2 Représentation de la solution approché uh pour σ2 =σvar . . . . 8
3 Représentation de l’évolution de la température au cours du
temps. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

1
Résolution numérique de l’équation de la chaleur

Avant propos
Soit Ω un ouvert borné à frontière polygonale de R. On s’intéresse au calcul
de la température T = T (x, y) , solution de l’équation de la chaleur avec
condition aux limites de Dirichlet :
Trouver T ∈ H 1 (Ω) telle que :

αT − div(σ∇T ) = S dans Ω
T = TΓ sur ∂Ω

1 Exercice 1. Problème stationnaire avec co-


écients variables et conditions de Dirichlet
Question 1.1 :
Si on pose T (x, y) = TΓ + u(x, y) avec (x, y) parcourant Ω, la première équa-
tion dans le système si-dessus devient :
αT − div(σ∇T ) = S
⇒ αTΓ + αu − div(σ∇u) = S
⇒ αu − div(σ∇u) = S − αTΓ
Et bien sûre comme on a T = TΓ sur ∂Ω, ona u=0 sur ∂Ω
Donc en posant f = S − αTΓ , on obtient facilement le système demandé.

Question 1.2 :

On a :
Z Z Z
div(w)vdΩ = − w.∇vdΩ + w.nv dΓ
Ω Ω ∂Ω

Soit v ∈ H01 (Ω) , d’après le système de la Question 1 puis en appliquant la


formule de Green ci-dessus on a :
Z Z Z
αuvdΩ − div(σ∇u)vdΩ = f vdΩ
Ω Ω Ω
Z Z Z Z
⇒ αuvdΩ + σ∇u.∇vdΩ − σ∇u.nvdΓ = f vdΩ
Ω Ω ∂Ω Ω
Z Z Z
⇒α uvdΩ + σ∇u.∇vdΩ = f vdΩ
Ω Ω Ω

2
Résolution numérique de l’équation de la chaleur

La dernière ligne est obtenu en éliminant le troisième terme de la ligne d’avant


(puisque v ∈ H01 Ω) en premier lieu, puis en appliquant Green à la deuxième
intégrale et en appliquant le fait que u nulle sur le bord.
Question 1.3 :
On pose :
Z Z
a(u, v) = α uvdΩ + σ∇u.∇vdΩ
Ω Ω
Z
l(v) = f vdΩ

Il suffit de vérifier les hypothèses necessaires pour appliquer le théorème de


Lax-Milgram pour montrer que le problème est bien posé.
• L’espace H01 (Ω) muni de la norme euclidienne de H 1 (Ω) est un espace de
Hilbert.
• a est une forme bilinéaire, continue car :
|a(u, v)| ≤ αkukL2 (Ω) kvkL2 (Ω) + σmax k∇ukL2 (Ω) k∇vkL2 (Ω)

≤ max(α, σmax )kukH 1 (Ω) kvkH 1 (Ω)

• a est coercive car a(u, u) ≥ min(α, σmin )kukH 1 (Ω)


• Il est clair que l est une forme linéaire continue.
Par suite, le problème est bien posé d’après le théorème de Lax-Milgram.
Discrétisation
Question 1.4 :
Soit Vh l’approximation de H01 (Ω) par des éléments finis P1 suivant la trian-
gularisation τh . On note (Tl )l=1..L les triangles de τh , (Mi )i=1..N les sommets
des triangles et (wi )i=1..N la base de Vh définie par wi (Mj ) = δij , 1 ≤ i, j ≤ N.
On suivant l’énoncé, on considère Vh0 = vect(w1 , ..., wN0 ) .
On a Vh0 est une approximation de H01 (Ω) . Donc la formulation variationnelle
discrète devient :
Trouver uh ∈ Vh0 telle que :
a(uh , vh ) = l(vh )∀vh ∈ Vh0
On a de plus Th = TΓ + uh .

3
Résolution numérique de l’équation de la chaleur

Question 1.5 :
N0
X
On pose uh (x, y) = uh (Mj )wj (x, y) et on l’injecte dans la formulation
j=1
variationnelle. On obtient finalement :
N0
X Z XN0 Z Z
α uh (Mi ) wi wj dΩ + uh (Mi ) σ∇wi ∇wj dΩ = f wj dΩ ∀wj ∈ Vh0
i=1 Ω i=1 Ω Ω



Z Z
On pose par la suite U 0i = uh (Mi ), M0ij = wi wj dΩ, K0ij = σ∇wi ∇wj dΩ
Ω Ω

−0
Z
et L i = f wi dΩ

On aboutit au système suivant :



− →

A0 U 0 = L 0 avec A0 = αM0 + K0
Question 1.6 :

−0
Pour remonter de N0 à N ; on pose U Bi = uh (Mi ) ∈ RN −N0 telle que les Mi
sont des points du bord. On a :
  →
−0 !  
Id 0 UB 0

−0 = → −0
0 A0 U L
  →
−0 !  
Id 0 →
− UB →
−̃ 0
En posant : Ã = ,U = → −0 et L = → −0
0 A0 U L

− →
−̃
On trouve : Ã U = L et c’est ce qu’il fallait démontrer.
Par la méthode de la pseudo-élimination, nous avons réussi à remonter aux
espace RN ×N et RN , le système obtenu est équivalent à :
( →
− →

A0 U 0 = L 0

−0
UB =0
Géométrie et maillages
Question 1.7 :
On se propose de calculer la transformation Fl qui permet de passer du
triangle de référence au triangle Tl :
Fl∧ : R2 → R2
∀M ∈ R2 , Fl (M̂ ) = Bl M̂ + Sl , Bl ∈ M2 () , Sl ∈ R2

4
Résolution numérique de l’équation de la chaleur

On a Fl (M̂i ) = Mi
   
x1 x2
On travaille dans le triangle Tl , on pose : M1 = , M2 = , M3 =
      y 1 y2
x3 a b e
, et finalement Bl = et Sl =
y3 c d f
 
xi
On partant des 3 égalités : = Bl M̂i + Sl , on aboutit à un système de
yi
6 équations qui nous permet de retrouver Bl et Sl comme suit :
   
x2 − x1 x3 − x1 x1
Bl = et Sl =
y2 − y1 y3 − y1 y1
Question 1.8 :
D’aprés le cours on a : ŵ1 = 1 − x̂ − ŷ, ŵ2 = x̂, ŵ3 = ŷ
On déduit le calcul des matrices élémentaires :
Z
Mij = ŵi (M̂ )ŵj (M̂ )|detBl |dΩ̂

Z
Kij = ˆ ŵi (M̂ )][(BlT )−1 ∇
σ(M )[(BlT )−1 ∇ ˆ ŵj (M̂ )]|detBl |dΩ̂

avec detBl = (x2 − x1 )(y3 − y1 ) − (x3 − x1 )(y2 − y1 )


     
ˆ −1 ˆ 1 ˆ 0
∇ŵ1 (M̂ ) = , ∇ŵ2 (M̂ ) = , ∇w3 (M̂ ) =
−1 0 1
Question 1.9 :
Z
On a Kij = ˆ ŵi (M̂ )][(B T )−1 ∇
σ(M )[(BlT )−1 ∇ ˆ ŵj (M̂ )]|detBl |dΩ̂
l

Z 3
X
Par formule de quadrature à 3 points de Gauss : GdΩ = wq G(Sbq )
T̂ q=1
3
X
⇒ Kij = wq Gij (Sbq )
q=1

ˆ ŵi (Sbq )][(B T )−1 ∇w


Avec : Gij (Sbq ) = σ(Fl (Sbq ))[(BlT )−1 ∇ ˆ j (Sbq )]|detBl |dΩ̂
l

Ŝ 1 =(1/6,1/6),2 = (2/3, 1/6), Ŝ 3 =(1/6, 2/3)


1
ŵ1 = ŵ2 = ŵ3 =
6

5
Résolution numérique de l’équation de la chaleur

Question 1.10 :
Pour σ = 1 en trouve que les deux méthodes du premier TP et du deuxième
TP aboutissent au même résultat pour un triangle quelconque.
Les deux matrices de rigidité ont la même expression dans les deux TP, la
matrice de masse dans le deuxième TP a la même expression qu’au premier
TP, multipliée par un constant α .
Validation du code
Question 1.13 :
Soit (x, y) ∈ Ω :
u(x, y) = sin(πx)sin(πy)
f (x, y) = u(x, u) − σdiv(∇u)(x, y)
 
cos(πx)sin(πy)
Or ∇u = π
sin(πx)cos(πy)
Alors div(∇u) = −π 2 sin(πx)sin(πy) − π 2 sin(πx)sin(πy) = −2π 2 u
D’ou f = (1 + 2σπ 2 )u = (1 + 2σπ 2 )sin(πx)sin(πy)
Or σ = 1,⇒ f = (1 + 2π 2 )sin(πx)sin(πy)
Question 1.14 Z: On assimile u à Zson interpolée uh :
ku − uh k2L2 (Ω) = |u − uh |2 dΩ = |πh u − uh |2 dΩ
Ω Ω

− →
− → − →
− →

⇒ ku − uh k2L2 (Ω) =< M0 ( U 0 − U 0k ), U 0 − U 0k > avec U 0k un vecteur dont
les composantes sont celles de πh u dans la base (wi )i∈1,...,N0

− →
− →
− →

⇒ ku − uh k2L2 (Ω) = ( U 0 − U 0k )T M0 ( U 0 − U 0k )
Il est évident que l’erreur tend vers 0 dés que N tend vers l’infini c’est à dire
que h soit infiniment petit.
Question 1.15 :
Z
k∇u − ∇uh k2L2 (Ω) = |∇u − ∇uh |2 dΩ

Z
⇒ k∇u − ∇uh k2L2 (Ω) = |∇πh u − ∇uh |2 dΩ


− →
− → − →
− →

⇒ k∇u − ∇uh k2L2 (Ω) =< K0 ( U 0 − U 0k ), U 0 − U 0k > avec U 0k un vecteur dont
les composantes sont celles de πh u dans la base (wi )i∈1,...,N0

6
Résolution numérique de l’équation de la chaleur


− →
− →
− →

⇒ |u − uh |21 = |∇u − ∇uh k2L2 (Ω) = ( U 0 − U 0k )T K0 ( U 0 − U 0k )
Il évident que l’erreur tend vers 0 dés que N tend vers l’infini c’est à dire que
h soit infiniment petit.
Résolution numérique
Les paramètres et les données :

3 x−1 2 y−1 2
α = 1, σ1 = , σ2 = 5, S(x, y) = 600 exp−( 0.8 ) −( 0.8 ) , TΓ = 290.
2
Question 1.16 :

Figure 1 – Représentation de la solution approché uh pour σ2 =5

Le maximum de la température Th a pour valeur 310 et on observe un phé-


nomène de convection en Ω2 .
Question 1.17 :
1
Pour σ2 = σvar = (2 + sin(16πx))(2 + sin(16πy))
4

7
Résolution numérique de l’équation de la chaleur

Figure 2 – Représentation de la solution approché uh pour σ2 =σvar

8
Résolution numérique de l’équation de la chaleur

Équation de la chaleur dépendant du temps


On veut trouver maintenant T ∈ H 1 () solution de :
 ∂T
 ∂t − div(σ∇T ) = S sur Ω
T = TΓ sur ∂Ω×]0, tax[
Tt=0 = T0 dans Ω

2 Exercice 2 Equation de la chaleur station-


naire avec conditions de fourier
On s’intéresse au calcul de la température T ≡ T (x, y) , solution de l’équa-
tion de la chaleur en régime stationnaire, avec condition aux limites de Fourier
(qui modélise un climatiseur : le flux de chaleur est positif si T < Tc et négatif
si T > Tc , où Tc est la température de référence du climatiseur) :
Trouver T ∈ H 1 (Ω) telle que

αT − div(σ∇T ) = S dans Ω
(6)
σ∇T · n + λ(T − Tc ) = 0 sur ∂Ω
avec α, σ et S vérifiant les mêmes hypothèses que précédemment, λ > 0 et
Tc ∈ L2 (∂Ω)
Question 2.1 :
On multiplie la prémière équation par v ∈ H 1 (Ω) et on fait l’intérale sur Ω
pour obtenirZ: Z Z
1
∀v ∈ H (Ω) αT vdΩ − div(σ∇T )vdΩ = SvdΩ
Ω Ω Ω
Et en applicant la formule d’intégration par parties avec la divergence rap-
pelée dans l’exercice
Z 1, onZtrouve : Z Z
1
∀v ∈ H (Ω) αT vdΩ + σ∇T.∇vdΩ − σ∇T.nvdΓ = SvdΩ
Ω Ω ∂Ω Ω
Et en utilisant la condition imposé sur la frontière, on peut écrire l’égalité
précédente comme
Z : Z Z Z
1
∀v ∈ H (Ω) αT vdΩ + σ∇T.∇vdΩ + λ(T − Tc )vdΓ = SvdΩ
Ω Ω ∂Ω Ω
d’où la la formulation variationnelle :
Trouver T ∈ H 1 (Ω) telle que ∀v ∈ H 1 (Ω)
a(T, v) = l(v)
Z Z Z
avec : a(u, v) = αT vdΩ + σ∇T.∇vdΩ + λT vdΓ
Ω Ω ∂Ω

9
Résolution numérique de l’équation de la chaleur

R R
l(v) = Ω
SvdΩ + ∂Ω
λTc vdΓ
Question 2.2 : La formulation variationnelle discrète dans Vh s’écrit sous
la forme :
Trouver Th ∈ Vh telle que :
a(Th , vh ) = l(vh ) ∀vh ∈ Vh
On note (gl )l=1..L les triangles de τh , (Mi )i=1..N les sommets des triangles et
(wi )i=1..N la base de Vh définie par wi (Mj ) = δij , 1 ≤ i, j ≤ N.
On pose Th (x, y) = N
P
j=1 Th (Mj )wj (x, y) et on l’injecte dans la formulation
variationnelle. On obtient finalement :

N0
X Z XN Z N
X Z
α Th (Mi ) wi wj dΩ+ Th (Mi ) σ∇wi ∇wj dΩ+λ Th (Mi ) wi wj dΓ =
i=1 Ω i=1 Ω i=1 ∂Ω

R R

Swj dΩ + λ Ω
Tc wj dΓ ∀wj ∈ Vh



On pose par la suite U i = Th (Mi ),
Z
R R
Mij = Ω wi wj dΩ, Kij = σ∇wi ∇wj dΩ et Sij = ∂Ω wi wj dΓ

F~i = Ω Swi dΩ + λ ∂Ω Tc wi dΓ
R R

Donc on obtient la formulation variationnelle discrète sous la forme :




(K + αM + λS) U = F~
.

Question 2.3 :P Pour S ∈ CR0 (Ω) , (donnée), on peut l’approché par son
interpolé πh S = N 0
i=1 Sh (Mi ) Ω R
wi dΩ
N
F~j ' i=1 Ω S(Mi )wi wj dΩ + λ ∂Ω Tc wj dΓ
P 0
R

Question 2.4 : Ecrire le code permettant de calculer la solution discrète. On


complètera la rou- tine mat− elem− surf ace.m qui à partir des coordonnées
de 2 sommets donne la matrice élémentaire de masse surfacique.
Question 2.5 : Valider votre code et expliquer vos différentes validations.
Question 2.6 : Représenter la solution dans les 2 cas suivants

10
Résolution numérique de l’équation de la chaleur

cas i S(x, y) = sin(πx/2) sin(πy/2) et α = 1, σ = 1, λ = 0 ;


cas ii Reprendre les données de la Question 1.17 avec λ = 1 et Tc = 290.
Commenter.

3 Exercice 3. Problème complet : Equation de


la chaleur instationnaire avec des conditions
aux limites mixtes
Question 3.1 :
En faisant intervenir u tel que u(x, y, t) = T (x, y, t) − TΓ , on peut reformuler
le problème de façons à trouver u(t) ∈ H01 (Ω) cette fois qui est solution de :
Trouver u ∈ H01 (Ω) solution de :
 ∂u
 ∂t − div(σ∇u) = f sur Ω×]0, tmax [
u = 0 sur ∂Ω×]0, tmax [
ut=0 = T0 − TΓ dans Ω

Question 3.2 :
L’espace étant toujours discrétisé comme dans le problème stationnaire
(u(t) ∈ Vh0 ) , on discrétise le temps selon un pas δt et on note par tk = k∆t
tmax
avec 0 ≤ k ≤ K = .
∆t
Soit V~k le vecteur dont la I eme composante vaut VIk qui est égale à la valeur
de uh à l’instant tk et à l’I eme sommet dans la discrétisation de Ω.

PN0
On a ∀(x, y) ∈ Ω : ukh = I=1 VIk wI (x, y)
On sait de plus que u est solution de :
 ∂u
 ∂t − div(σ∇u) = f dans Ω×]0, tmax [
u = 0 sur ∂Ω×]0, tmax [
ut=0 = T0 − TΓ dans Ω

∂u(tk+1 )
− div(σ∇u(tk+1 )) = f (tk+1 )
∂t
u(tk+1 ) − u(tk )
⇒ − div(σ∇u(tk+1 )) = f (tk+1 )
∆t

11
Résolution numérique de l’équation de la chaleur

1 k+1 1 k
⇒ u − u − div(σ∇u(tk+1 )) = f (tk+1 )
∆t ∆t
V~ k+1 − V~ k
⇒ M0 + K0 V~ k+1 = F~ k+1
∆t
V~ k+1 V~ k
⇒ M0 + K0 V~ k+1 = M0 + F~ k+1
∆t ∆t
 
f(M1 , tk )
avec : F~ k = M0  ...
 

f (MN0 , tk )
M0 1
Remarquons que la matrice ( +K0 ) vaut A0 pour α = , donc sous cette
∆t ∆t
condition, le problème consiste maintenant à chercher V ~k+1 vérifiant :

A0 V~ k+1 = L
~ k+1
 
0 ~ k+1
f (M1 , tk )
~k = M V
avec L + M0  ...
 
∆t

k
f (MN0 , t )
Question 3.3 :
On choisit les valeurs suivantes pour les paramètres et données :
tmax = 1, ∆t = 0.01, α = 100, doncσ1 = σvar , σ2 = 5, TΓ = 280, T0 = 300
S(x, y, t) = 600 exp−5t exp(−( x−1
0.8
)2 − ( y−1
0.8
)2 ),

12
Résolution numérique de l’équation de la chaleur

Figure 3 – Représentation de l’évolution de la température au cours du


temps.
Question 3.4 :

13

Vous aimerez peut-être aussi