Devoir - M9 - Volumes Finis

Amal MACHTALAY

1
Master MHACS - Department CSEHS - Um6p

1. TD3 : VF pour l’équation des ondes

On étudie l’équation des ondes à une dimension d’espace (x ∈ R), paramétrée par la
vitesse du son c0 > 0.
∂ 2p 2
2∂ p
− c 0 =0 (1)
∂t2 ∂x2

1)- On pose !
1 ∂p ∂p u
u= , v= , W =
c0 ∂t ∂x v
On a :
1 ∂ 2p
 
∂u ∂ 1 ∂p
= =
∂t ∂t c0 ∂t c0 ∂t2
d’aprés (1) on a :
∂ 2p 2
2∂ p
= c 0
∂t2 ∂x2
Donc :
∂u 1 ∂ 2p ∂ 2p ∂v
= c20 2 = c0 2 = c0
∂t c0 ∂x ∂x ∂x
Alors
∂u ∂v
− c0 =0 (2)
∂t ∂x
On a aussi :
1 ∂ 2p
 
∂u ∂ 1 ∂p
= =
∂x ∂x c0 ∂t c0 ∂x∂t
et
∂ 2p
 
∂v ∂ ∂p ∂u
= = = c0
∂t ∂t ∂x ∂x∂t ∂x
Alors
∂v ∂u
− c0 =0 (3)
∂t ∂x
D’aprés (2) et (3) :
! ! ! ! ! !
∂u ∂u
∂t
0 −c0 ∂x ∂ u 0 −c0 ∂ u
∂v
+ ∂v
=0⇒ +
−c0 0 ∂t v −c0 0 ∂x v
∂t ∂x

Soit A une matrice tel que : !

0 1
A = −c0
1 0
M9 - Volumes Finis Amal MACHTALAY

On montre danc que si la pression p est solution de l’équation (1), on a la relation :

∂W ∂W
+A =0 (4)
∂t ∂x

2)- On cherche les vecteurs propres de A.

On cherche les deux solutions λk de l’équation det(A − λ.Id) = 0 , i.e. de l’équation
λ2 − c20 = 0. On a donc λ1 = − c0 et
λ2 = +c0
√ ! √ !
1/ 2 −1/ 2
On montre que les vecteurs r1 = √ et r2 = √ sont vecteurs propres
1/ 2 1/ 2
des valeurs λ1 et λ2
! ! !
0 −c0 √1 √1
2 2
A · r1 = 1
= −c0 1
= λ1 r1
−c0 0 √
2
√
2
! ! !
0 −c0 − 12
√ − 12
√
A · r2 = = c0 = λ2 r2
−c0 0 √1 √1
2 2

C’est bien le cas.

3)- On développe le vecteur inconnu W dans la base précédente des vecteurs propres rk :

2
! !
X √1 − √12
k 1 2 1 2 2
W = ϕ rk = ϕ r1 + ϕ r2 = ϕ +ϕ
√1 √1
k=1 2 2

Donc : (
u= √1 ϕ1 − √1 ϕ2
2 2
v= √1 ϕ1 + √1 ϕ2
2 2

Les équations satisfaites par ϕ1 et ϕ2 sont :

(
ϕ1 = √1 u + √1 v
2 2
(5)
ϕ2 = − √12 u + √12 v

4)- On cherche à approcher l’équation (4) par la méthode des volumes finis.
n+1/2
Un volume Vj+1/2 d’éspace-temps (j ∈ Z, n ∈ N) est défini par :
i
n+1/2
Vj+1/2 = xj , xj+1 [×]tn , tn + ∆t[

ou ∆x > 0 et ∆t > 0 sont des pas d’éspace et de temps fixés et xj = j∆x, tn = n∆t
On intégre l’équation (4) entre xj et xj+1 en espace, et entre tn et tn + ∆t en temps.

tn+∆t
! Z tn +∆t !
Z xj+1 Z Z xj+1
∂W ∂W
dt dx + A dx dt = 0
xj tn ∂t tn xj ∂x

2
M9 - Volumes Finis Amal MACHTALAY

Z xj+1 Z tn +∆t
n n
(W (x, t + ∆t) − W (x, t )) dx + A (W (xj+1 , t) − W (xj , t)) dt = 0
xj tn

1
On multiplie l’équation par . 1
∆t ∆x

h R xj+1 R xj+1 i
1 1 1
∆t ∆x xj
W (x, tn + ∆t) dx − ∆x xj
W (x, tn ) dx
h R tn +∆t n
i
1 1 1
R t +∆t
+ ∆x ∆t tn
AW (xj+1 , t) dt − ∆t tn
AW (xj , t) dt = 0

On pose : Z xj+1
n 1
Wj+1/2 = W (x, tn ) dx
∆x xj
Z tn +∆t
n+1/2 1
fj = AW (xj , t) dt
∆t tn

Avec W (•, •) solutions de l’équation (4).

On obtient l’approximation de (4) en volumes finis :

1 h n+1 n
i 1 h n+1/2 n+1/2
i
Wj+1/2 − Wj+1/2 + fj+1 − fj =0 (6)
∆t ∆x

5)- Pour définir un schéma numérique qui approche l’équation (4), on pose à l’instant initial t=0
Z xj+1
0 1
Wj+1/2 = W (x, 0)dx
∆x xj

n n+1 n+1/2
et on passe de Wj+1/2 à Wj+1/2 à l’aide de la relation (6). On calcule le flux fj grace à un
schéma numérique Φ(•, •) :

n+1/2 n n


fj = Φ Wj−1/2 , Wj+1/2 (7)

Le schéma suivant semble le plus adapté à la résolution de l’équation (4) :

n n
= λ1 ϕ1,n 2,n


Φ2 Wj−1/2 , Wj+1/2 j+1/2 r1 + λ2 ϕj−1/2 r2

Car λ1 < 0 est la vitesse de ϕ1,n , qui doit correspondre à l’information venant de xj+1/2 . Et
λ2 > 0 est la vitesse de ϕ2,n , qui doit correspondre à l’information venant de xj−1/2 .

6)- En calculant les variables caractéristiques ϕ1,n 2,n n n

j+1/2 et ϕj+1/2 en fonction de uj+1/2 et vj+1/2 .
D’aprés (5) on a :   
 ϕ1,n1 = √1 unj+ 1 + vj+
n
1
j+ 2 2  2 2 
 ϕ2,n1 = √1 −unj+ 1 + n
vj+ 1
j+ 2 2 2 2

3
M9 - Volumes Finis Amal MACHTALAY

On explicite le schéma (7) sous la forme d’une relation permettant le calcul explicite de un+1
j+1/2
n+1
et vj+1/2 en fonction de unj+1/2 , n
vj+1/2 , unj−1/2 , n
vj−1/2 , unj+3/2 et n
vj+3/2 .
On a :
n+ 21
fj = λ1 ϕ1,n r + λ2 ϕ2,n
j+ 1 1
r
j− 1 2
2 2
! !
n+ 1 1   √1 1   − √12
fj 2 = −c0 √ unj+ 1 + vj+
n
1
2
+ c0 √ −unj− 1 + vj−
n
1
2 2 2 √1 2 2 2 √1
2 2

Donc :  
n+ 12 c0  unj+ 1 + vj+
n
1 − u
n
j− 1
n
+ vj− 1
fj =− 2 2 2 2 
2 unj+ 1 + vj+
n
1 + un
− v n
2
j− 1 j− 12 2 2

et ! !
n+ 12 1   √1 1   − √12
fj+1 n
= −c0 √ unj+ 3 + vj+ 3
1
2 n
+ c0 √ −unj+ 1 + vj+ 1
2 2 2 √ 2 2 2 √1
2 2

Donc  
n+ 1 c0  unj+ 3 + n
vj+ 3 − unj+ 1 + n
vj+ 1
fj+12 = − 2 2 2 2 
2 unj+ 3 + n
vj+ 3 + unj+ 1 − n
vj+ 1
2 2 2 2

et
! !  
1  n  √1 1   − √12 unj+ 1
n
Wj+ 1 = ϕ1,n r
j+ 12 1
+ϕ2,n
r
j+ 12 2
= √ u 1 + v n
1
2 n
+ √ −unj+ 1 + vj+ 1 = 2 
2 2 j+ 2 j+ 2
√1
2
2 2 2 √1
2
n
vj+ 1
2

et  
un+1
j+ 1
n+1
Wj+ 1 =

n+1
2 
2 vj+ 1
2

On remplace dans (6) :

 h    i
 un+11 = un 1 − − C20 unj+ 3 + vj+
∆t n
3 − u n
+ v n
+ C0
u n
+ v n
− u n
+ v n
j+ 2
j+ 2 h ∆x
 2 2
j+ 12 j+ 21 2
 j+ 2
1
j+ 12 j− 12 j− 21i
 v n+11 n
= vj+ ∆t
1 − ∆x − 2
C0
unj+ 3 + vj+
n
3 + u
n n
− vj+ + C20 unj+ 1 + vj+
n
1 + u
n n
− vj−
j+ 2 2
j+ 1 2
1
2 2
j− 1 2
1
2 2 2 2

On trouve le schéma explicite suivant :

 h i
 un+11 = un 1 − C0 ∆t
−unj+ 3 − vj+
n
3 + 2u n
− u n
+ v n
j+ j+ 2∆x j+ 12 j− 12 j− 21i
2 2 h 2 2
(8)
 v n+11 n
= vj+ C0 ∆t
1 − 2∆x −unj+ 3 − vj+
n
3 + 2v
n
+ unj− 1 − vj−n
j+ 2 2
j+ 1 2
1
2 2 2 2

C0 ∆t
Si on pose δ = 2∆x
. (8) devient :
  !  !  ! 
un+1
j+ 1 δ −δ unj− 1 1 − 2δ 0 unj+ 1 δ δ unj+ 3
 2 =  2 +  2 +  2 
n+1 n n n
vj+ 1 −δ δ vj− 1 0 1 − 2δ vj+ 1 δ δ vj+ 3
2 2 2 2

4
M9 - Volumes Finis Amal MACHTALAY

! ! !
δ −δ 1 − 2δ 0 δ δ
Soit B = C= D=
−δ δ 0 1 − 2δ δ δ
On a alors :
       
un+1
j+ 1 unj− 1 unj+ 1 unj+ 3
 2 =B 2 +C 2 +D 2 
n+1 n
vj+ 1 vj− 1 vj+ 1 vj+ 3
2 2 2 2

Le schéma :
n+1 n n n
Wj+ 1 = BWj− 1 + CWj+ 1 + DWj+ 3 (9)
2 2 2 2

7)- Condition
n reliant ∆t, ∆xo et c0 pour que le schéma (9) soit stable au sens suivant : si la
suite u0j+1/2 , vj+1/2
0
, j ∈ Z est bornée, il en est de meme pour tous les instants ultérieurs :
n o
n
l’ensemble de valeurs unj+1/2 , vj+1/2 , j ∈ Z, n ∈ N est bornée.
Cela veut dire qu’il existe une constante K > 0 indépendante de ∆x et ∆t (lorsque ces valeurs
tendent vers
zéro) telle que :
n
Wj+1/2 ≤ K pour tout n ≥ 0

On a :

n+1 n n n n n n
k Wj+ 1 k = kBW + CWj+ 1 + DW k ≤ kBkkWj− 1 k + kCkkW k + kDkkWj+ 3k
2
j− 1 2
j+ 3 2
j+ 1
2 2 2 2

Donc dans L∞ on a :

n+1
W ≤ kBk∞ kW n k + kCk∞ kW n k + kDk∞ kW n k
∞ ∞ ∞ ∞

n+1
W ≤ (kBk∞ + kCk∞ + kDk∞ ) kW n k
∞ ∞

Avec la norme matricielle : kM k∞ = maxni=1 (maxpj=1 |Mij |)

Donc kBk∞ = kDk∞ = δ et kCk∞ = |1 − 2δ|

n+1
W ≤ (2δ + |1 − 2δ|) kW n k
∞ ∞

C0 ∆t
Sous la condition (CFL) 2δ + |1 − 2δ| ≤ 1 ⇒ δ ≤ 1/2 ⇒ ∆x
≤1
On a de nouveau :
n+1
W ≤ W 0 ≤ k
∞ ∞

C0 ∆t
Le schéma (9) est stable sous la condition (CFL) : ∆x
≤1

8)- Ordre du schéma (9) :

n+1
-En temps : Le DL de Wj+ 1 donne :
2

n+1 n ∂W
+ O (∆t)2


Wj+1/2 = Wj+1/2 + ∆t
∂t

5
M9 - Volumes Finis Amal MACHTALAY

n n
-En espace : Les DL de Wj− 1 et W
j+ 3
donnent :
2 2

n n ∂W
+ O (∆x)2


Wj−1/2 = Wj+1/2 − ∆x
∂x

n n ∂W
+ O (∆x)2


Wj+3/2 = Wj+1/2 + ∆x
∂x
On remplace dans (9) :

n+1 n n n n ∂W ∂W
n
+O (∆t)2 −BWj+1/2 +O (∆x)2



Wj+ 1 −BWj− 1 −CWj+ 1 −DWj+ 3 = Wj+1/2 +∆t +B∆x
2 2 2 2 ∂t ∂x

n n ∂W
+ O (∆x)2


−CWj+1/2 − DWj+1/2 − D∆x
∂x
Alors :

n+1 n n n n ∂W
+ O (∆t)2


Wj+ 1 − BWj− 1 − CWj+ 1 − DWj+ 3 = (I − B − C − D)Wj+1/2 + ∆t
2 2 2 2 ∂t

∂W
+ O (∆x)2


+(B − D)∆x
∂x
!
0 1 ∆t
On a I − B − C − D = 0 et B − D = −2δ = ∆x
A
1 0
On remplace dans l’equation précedente :

n+1 n n n ∂W ∂W
+ O (∆t)2 + ∆tA + O (∆x)2



Wj+ 1 − BWj− 1 − CWj+ 1 − DWj+ 3 = ∆t
2 2 2 2 ∂t ∂x

On à :
∂W ∂W 1
ET = [ +A ]− [W n+11 − BWj−
n
1 − CW
n
j+ 21
n
− DWj+ 3]
∂t ∂x ∆t j+ 2 2 2

∂W ∂W 1 ∂W ∂W
+ O (∆t)2 + ∆tA + O (∆x)2 ]



ET = [ +A ]− [∆t
∂t ∂x ∆t ∂t ∂x
1
O (∆x)2


ET = O (∆t) +
∆t
L’erreur de troncature du schéma (9) :
 
1 2
ET = O ∆t + (∆x)
∆t

1
On voit que l’erreur de troncature en temps est en O (∆t) et celle en espace est en ∆t
O ((∆x)2 ).
Nous avons donc un schéma d’ordre 1 en temps et d’ordre 2 en espace.

Fin