Você está na página 1de 54

INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE

RESOLUTION NUMERIQUE DES


EQUATIONS D'EULER
MONODIMENSIONNELLES

Eric Goncalvs - avril 2004

Table des matires


1 RAPPEL - CLASSIFICATION DES EDP
1.1
1.2
1.3

Equations elliptiques . . . . . . . . . . . . . . .
Equations paraboliques . . . . . . . . . . . . . .
Equations hyperboliques . . . . . . . . . . . . .
1.3.1 Origine physique . . . . . . . . . . . . .
1.3.2 Equations types . . . . . . . . . . . . . .
1.3.3 Caractristiques . . . . . . . . . . . . . .
1.3.4 Domaines de dpendance et d'inuence .
1.3.5 Forme conservative et non-conservative .
1.3.6 Discontinuit - relation de saut . . . . .

3
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

. 3
. 4
. 4
. 4
. 4
. 5
. 8
. 9
. 10

2 LES EQUATIONS D'EULER QUASI 1D


2.1
2.2
2.3

Variable conservative . . . . . . . . . . . . . . . . . . .
Variable primitive . . . . . . . . . . . . . . . . . . . . .
Proprits - Hyperbolicit - Courbes caractristiques .
2.3.1 Courbes caractristiques des quations d'Euler
2.3.2 Relations de compatibilit . . . . . . . . . . . .

11
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

11
12
12
13
15

3 LE PROBLEME DE RIEMANN

16

4 RESOLUTION NUMERIQUE

18

4.1
4.2

4.3
4.4
4.5

4.6

4.7

Proprits - thorme de Lax-Wendro . . . . . . . . . . . . . . . .


Diusion et dispersion numrique . . . . . . . . . . . . . . . . . . .
4.2.1 Equation modie . . . . . . . . . . . . . . . . . . . . . . .
4.2.2 Diusion numrique . . . . . . . . . . . . . . . . . . . . . .
4.2.3 Dispersion numrique . . . . . . . . . . . . . . . . . . . . .
Discrtisation spatiale des quations d'Euler quasi 1D . . . . . . .
Intgration temporelle - Pas de temps local . . . . . . . . . . . . .
Les schmas de type Lax-Wendro . . . . . . . . . . . . . . . . . .
4.5.1 Formulation de base . . . . . . . . . . . . . . . . . . . . . .
4.5.2 Schma de Richtmeyer . . . . . . . . . . . . . . . . . . . . .
4.5.3 Schma de MacCormack . . . . . . . . . . . . . . . . . . . .
Les schmas centrs . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6.1 Formulation de base . . . . . . . . . . . . . . . . . . . . . .
4.6.2 Schma centr avec dissipation de Jameson-Schmidt-Turkel
Schma dcomposition de ux ou FVS (Flux Vector Splitting) . .
4.7.1 Prliminaire - schma dcentr amont . . . . . . . . . . . .
4.7.2 Gnralisation aux lois de conservation . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

18
19
20
20
21
22
23
23
23
24
24
25
25
25
26
26
27

4.7.3 Schma FVS de Steger et Warming . . . . . . . . . . . . . .


4.7.4 Schma FVS de Van Leer . . . . . . . . . . . . . . . . . . .
4.8 Solveurs de Riemann, schmas FDS . . . . . . . . . . . . . . . . . .
4.8.1 Schma FDS de Godunov . . . . . . . . . . . . . . . . . . .
4.8.2 Schma FDS de Roe . . . . . . . . . . . . . . . . . . . . . .
4.9 Schma AUSM de Liou et Steen . . . . . . . . . . . . . . . . . . .
4.9.1 Formulation de base . . . . . . . . . . . . . . . . . . . . . .
4.9.2 Schma AUSM+ de Liou . . . . . . . . . . . . . . . . . . .
4.10 Schmas ENO et WENO . . . . . . . . . . . . . . . . . . . . . . . .
4.10.1 La reconstruction ENO pour une loi de conservation scalaire
4.10.2 Extension aux systmes de lois de conservation . . . . . . .
4.10.3 Schmas WENO . . . . . . . . . . . . . . . . . . . . . . . .
4.11 Extension au second ordre, proprit TVD et limiteurs . . . . . . .
4.11.1 La reconstruction MUSCL . . . . . . . . . . . . . . . . . . .
4.11.2 Schmas TVD et limiteurs . . . . . . . . . . . . . . . . . . .
4.12 Phase implicite . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.12.1 Description du schma implicite de base . . . . . . . . . . .
4.12.2 Description d'un traitement implicite sans matrice . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

5 LES CONDITIONS AUX LIMITES ET INITIALES


5.1
5.2
5.3

28
28
29
29
31
32
32
33
34
34
36
37
38
38
40
42
42
43

45

Les conditions aux limites - Mthode des caractristiques . . . . . . . . . . . 45


Discrtisation des relations de compatibilit . . . . . . . . . . . . . . . . . . 45
Les conditions initiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

Rfrences

47

6 LE CODE DE CALCUL

49

6.1
6.2
6.3
6.4
6.5

Adimensionnement des quations


Structure du code . . . . . . . . .
Le terme source . . . . . . . . . .
Les conditions aux limites . . . .
Exercices . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

49
49
51
51
52

1 RAPPEL - CLASSIFICATION DES EDP


Considrons une EDP du second ordre ayant la forme suivante :

2u
2u
2u
u
2u
+
b
+
c
+
d
+
e
+ fu = g
x2
xy
y 2
x
y 2

(1)

dans laquelle u est une fonction de deux variables x et y .


On dit que l'quation (1) est :
hyperbolique ssi b2 4ac > 0

parabolique ssi b2 4ac = 0


elliptique ssi b2 4ac > 0
Remarque 1 : la terminologie utilise dans cette dnition est base sur la classication
des coniques du plan. On rappelle que la conique d'quation :

ax2 + bxy + cy 2 + dx + ey + f = 0
est une hyperbole (resp. une parabole, une ellipse) ssi b2 4ac est positif (resp. nul, ngatif).
Remarque 2 : Si les coecients a, b, ..., g dpendent des variables x et y , le type de
l'quation (5) est local. L'quation est hyperbolique au point (x0 , y0 ) ssi b(x0 , y0 )2
4a(x0 , y0 )c(x0 , y0 ) > 0, etc.
Remarque 3 : le type de l'EDP est invariant par changement de base.

1.1 Equations elliptiques


Les quations elliptiques rgissent les problmes stationnaires, d'quilibre, gnralement
dnis sur un domaine spatial born de frontire sur laquelle l'inconnue est soumise
des conditions aux limites, le plus souvent de type Dirichlet ou Neumann.
Le problme elliptique type est celui fourni par l'quation de Laplace (ou de Poisson)
soumise des conditions aux limites, par exemple de Dirichlet :

u = f dans

sur

u = u0

Exemples : Equation de la chaleur en stationnaire, quation de Laplace pour le potentiel des


vitesses dans le cas d'un coulement plan, permanent, d'un uide parfait incompressible.

1.2 Equations paraboliques


Les quations paraboliques rgissent les problmes d'volution ou instationnaires dans lesquels intervient le mcanisme de diusion ou de dissipation. Ces problmes sont gnralement dnis sur un domaine spatial born de frontire sur laquelle l'inconnue est
soumise des conditions aux limites du mme type qu'en elliptique (quelquefois ellesmmes instationnaires), ainsi qu' des conditions initiales.
Le problme elliptique type est celui fourni par l'quation de la chaleur soumise des
conditions aux limites, par exemple de Dirichlet, ainsi qu' des conditions initiales :

T
2T

dans
=

x2
t

T = T0
sur

T (x, 0) = f (x) dans

1.3 Equations hyperboliques


1.3.1 Origine physique
Les quations hyperboliques modlisent la propagation d'ondes sans dissipation.
En linaire, c'est par exemple la propagation du son dans un milieu homogne. En lectromagntisme, les quations de Maxwell sont hyperboliques et linaires.
En non linaire, les quations hyperboliques sont l'expression de lois de conservation. Par
exemple, les quations d'Euler expriment la conservation de la masse, de la quantit de
mouvement et de l'nergie totale dans un uide parfait compressible.

1.3.2 Equations types


Pour une grandeur w(x, t) on distingue deux grands types d'quation hyperbolique :
Le premier type d'quation du cas hyperbolique est l'quation des ondes homognes :
2
2w
2 w

c
= 0
t2
x2

Le deuxime type du cas hyperbolique conduit la dnition suivante :


Soit A une matrice n n. Le systme (linaire ou non) du premier ordre
w
w
+ A(w)
= 0
t
x
est hyperbolique ssi la matrice A est diagonalisable valeurs propres relles, pour tout w.

Dans le cas scalaire (n = 1), le systme se ramne l'quation de convection pure :

w
w
+c
= 0
t
x

1.3.3 Caractristiques
a) Caractristiques pour les quations du premier type
Considrons l'quation hyperbolique suivante :

2u
2u
2u
+
b
+
c
= 0 avec b2 4ac > 0
x2
xy
y 2

Cette quation peut s'crire dans un autre jeu de coordonnes (X, Y ) :

2u
2u
2u
u
2u
+
B
+
C
+
D
+
E
= 0
X 2
XY
y 2
X
Y 2

o A, B , C , D et E sont fonctions de a, b, c et des drives de X ,Y par rapport x, y .


Dans le but de dterminer une forme canonique de l'EDP, nous pouvons chercher s'il existe
des coordonnes (X, Y ) telle que A = 0 ou C = 0, ce qui revient rsoudre l'quation
suivante :
2

dy
dy
a
+c = 0
b
dx
dx
Nous obtenons ainsi deux quations direntielles ordinaires (EDO) :

dy
b+
=
dx

b2 4ac
2a

et

dy
b
=
dx

b2 4ac
2a

Celles-ci sont appeles les quations caractristiques. En rsolvant ces deux quations
nous obtenons les courbes caractristiques. Et les nouvelles coordonnes (X(x, y), Y (x, y))
sont les coordonnes caractristiques. Aprs ce changement de coordonnes, nous aurons
une EDP de la forme :
2u
u
u
+K
+ K0
= 0
XY
X
Y
Remarque : Dans le cas o les coecients a, b et c sont constants, les caractristiques sont
des droites.
2
2u
2 u
x
= 0. Les quations caractristiques sont :
x2
y 2
p
p
dy
4x2 y 2
x
dy
4x2 y 2
x
=
=
et
=
=
2
dx
2y
y
dx
2y2
y

Exemple : Considrons l'quation y 2

Nous obtenons ainsi l'quations des deux courbes caractristiques :

y 2 x2
= cte
2

et

Les coordonnes caractristiques sont : X(x, y) =


Et la nouvelle expression de l'EDP :

y 2 + x2
= cte
2
y 2 x2
y 2 + x2
et Y (x, y) =
2
2

u
u
2u
Y
X
=

2
2
2
2
XY
2(X Y ) X
2(X Y ) Y

b) Caractristiques pour l'quation de convection


Considrons l'quation de convection d'une grandeur w(x, t) une vitesse c constante ou
non :
w
w
+c
= 0
t
x

Drive le long d'une courbe


On introduit la notion de drive de la grandeur w par rapport au temps le long d'une
courbe C du plan (x, t). On se limite au cas des courbes dcrites par une quation dy type
x = X(t). Cette notion de drive est facile saisir intuitivement : on regarde la variation
de w en suivant la courbe C et on drive par rapport au temps.
On dnit la drive de la grandeur w(x, t) par rapport au temps le long de la courbe C
d'quation x = X(t) par :


dw
dw
w w dx
=
(X(t), t) =
+
dt C
dt
t
x dt C

Construction des solutions avec une famille de courbes

dx
dt

A partir de la dnition ci-dessus, on constate que si le long de la courbe C ,



dw
w
w
alors la drive de w le long de la courbe est nulle :
=
+c
= 0.
dt C
t
x

=c
C

On montre ainsi que la rsolution de l'EDP de dpart se ramne la rsolution d'un


systme d'EDO. Ce systme dnit une famille de courbes que l'on nomme courbes caractristiques. Cette mthode peut aussi s'interprter comme un changement de variable.
Sa validit cesse lorsque les courbes caractristiques se coupent. Ce cas correspond l'apparition de singularits dans la solution de l'quation de convection (ondes de choc par
exemple).

La mthode des caractristiques consiste donc remplacer la rsolution de l'EDP par la


recherche d'une famille de courbes C d'quation x = X(t) et d'une famille de fonctions wC
solutions du systme d'quations direntielles ordinaires couples :

dx

= c
dt
C

dw

= 0
dt C

w
w
+ c0
= 0 avec la condition
Exemple : Rsolution de l'quation de convection
t
x
initiale w(x, 0) = w0 (x) et une vitesse c0 constante. Le systme d'EDO rsoudre est :
(
x = c0
w = 0
avec les conditions initales [x(0), w(0)] = [a, w0 (a)]. On en dduit alors :

x = X(t) = a + c0 t

et

wC = w0 (a) = w0 (x c0 t)

Les courbes caractristiques sont donc des droites parallles de pente 1/c0 dans le plan (x, t)
et la grandeur w est invariante le long de ces droites. On en dduit que w(x, t) = w0 (xc0 t).
La grandeur w est dans ce cas appele un invariant de Riemann.

c) Caractristiques pour un systme de lois de conservation


Considrons un systme de lois de conservation d'ordre n sous la forme non-conservative :

w
w
+ A(w)
= 0
t
x
o la matrice A est diagonalisable valeurs propres relles k (w).
Ce systme d'EDP peut se transformer en un systme d'EDO faisant intervenir la drivation des solutions le long de courbes caractristiques dont le trac dpend lui-mme des
solutions. Cette transformation permet une interprtation gomtrique des solutions dans
le plan (x, t) et conduit souvent des rsolutions analytiques ou numriques.
Cette mthode des caractristiques n'est plus valide lorsque les courbes caractristiques se
coupent. C'est le cas lorsque des discontinuits existent (ondes de choc en Euler). Dans ce
cas, il n'y a pas unicit de la solution.
On introduit un vecteur propre gauche Lk de la matrice A (ie Lk A = k Lk ). On multiplie
le systme d'EDP par ce vecteur propre. Il vient :

w
w
w
w
Lk
+ A(w)
= Lk
+ k (w)
= 0
(2)
t
x
t
x

Pour k x, on introduit une famille de courbes C k dnies par l'EDO ;

dx
= k (w)
dt
L'quation (2) peut alors se rcrire :


dw
w
w dx
= Lk
= 0
Lk
+
t
x dt C k
dt C k
Ou plus simplement :

Lk

dw
= 0
dt

sur la courbe C k

(3)

Les courbes C k constituent une famille de courbes caractristiques. Si w est continue


alors il passe une courbe caractristique et une seule en chaque point du plan (x, t).
En considrant n vecteurs propres linairement indpendants, on peut former n quations
scalaires de la forme (3), linairement indpendantes, et remplacer le systme de n EDP
par un systme de n EDO. Cette simplication du problme s'opre toutefois au prix d'un
couplage entre les quations dnissant les courbes caractristiques et les quations (3)
valables sur ces courbes, puisque les valeurs propres k (w) dpendent de l'inconnue w.
Remarque : Une mthode importante permettant de traiter le problme de l'absence d'unicit des solutions dans le cas o apparaissent des discontinuits consiste introduire un
terme de viscosit. Le systme considrer s'crit :

w
w
+ A(w)
= w
t
x
o est un petit paramtre de viscosit que l'on appelle articiel (car non physique).
On constate alors que les solutions de ce systme sont rgulires, les discontinuits ont
disparu.

1.3.4 Domaines de dpendance et d'inuence


Une proprit fondamentale des problmes hyperboliques est l'existence de domaines de
dpendance et d'inuence.
Dans le plan (x, t), pour un point M x, il existe un domaine DM qui inuence la solution
au point M . Ce domaine, appel domaine de dpendance du point M , est dlimit par les
courbes caractristiques qui passent par M .

Dans le plan (x, t), pour un point P x sur l'axe des abscisses, il existe un domaine DP
inuenc par la solution au point P . Ce domaine, appel domaine d'inuence du point P ,
est dlimit par les courbes caractristiques qui partent de P .
t

domaine dinfluence

domaine de
dependance
x

P
Fig. 1  Domaine de dpendance et d'inuence

1.3.5 Forme conservative et non-conservative


Considrons un systme de lois de conservation d'ordre n crit pour un vecteur w(x, t) :

w
f (w)
+
= 0
t
x

avec w(x, 0) = w0 (x)

(4)

o f est une fonction non linaire dite fonction de ux. Le systme (4) est dit sous
forme conservative ou forme divergence.
Exemple : L'quation de Burgers monodimensionnelle :

+
t
x

u2
2

avec u(x, 0) = u0 (x)

= 0

Si w(, x, t) est une solution rgulire variant le systme (4), on peut valuer le terme de
drive de la fonction ux en introduisant la matrice jacobienne de f par rapport w. On
obtient alos le systme sous forme non-conservative :

w
w
+ A(w)
= 0
t
x

avec w(x, 0) = w0 (x)

o la matrice A(w) = f 0 (w) est la jacobienne de f : Aij =

A est diagonalisable pour tout w valeurs propres relles.

fi (w)
.
wj

Exemple : La forme non-conservative de l'quation de Burgers est :

u
u
+u
= 0
t
x

avec u(x, 0) = u0 (x)

1.3.6 Discontinuit - relation de saut


Mme dans le cas o la fonction de ux f et la solution initale sont rgulires, il peut apparatre des discontinuits et des solutions non rgulires (formation de chocs). Les solutions
du systme ne sont pas ncessairement de classe C 1 , on parle alors de solutions faibles
du systme.
Pour une solution faible (discontinue), on peut introduire des relations de saut au travers de la discontinuit (par exemple les relations de Rankine-Hugoniot en uide parfait
compressible).
Supposons qu'une solution faible w soit discontinue le long d'une courbe rgulire dans
le plan (x, t). Cette courbe spare le plan en deux rgions 1 et 2 . On note w1 et w2
les restrictions de w 1 et 2 que l'on suppose rgulires. On dsigne par ~n la normale
dirige vers l'extrieur de 1 de composante (nx , nt ). La relation de saut de l'inconnue
w et de la fonction de ux au travers de la courbe s'crit :

(w1 w2 )nt + (f (w1 ) f (w2 )) nx = 0

1
2
n
x

0
Fig. 2  Solution discontinue le long d'une courbe

10

2 LES EQUATIONS D'EULER QUASI 1D


Considrons un uide parfait s'coulant dans une conduite monodimensionnelle, de
direction x et de section non constante A(x). Notons la masse volumique, u la vitesse
et E l'nergie totale du uide (somme de l'nergie interne e et de l'nergie cintique 21 u2 ).
On note H l'enthalpie totale du uide H = E + p/. On suppose que le uide est un gaz
parfait avec = 1, 4 et r = 287kJ/kg.K . La pression est donne par la loi d'tat :

1
p = rT = ( 1)(E u2 )
2
Cet coulement est rgi par les quations d'Euler quasiment monodimensionnelle.

A(x)

Fig. 3  Ecoulement quasi 1D

2.1 Variable conservative


Le systme des quations d'Euler quasi 1D s'crit sous forme conservative :

w F (w)
+
= S(w)
t
x
o w dsigne le vecteur des variables conservatives :

w = uA
EA

F (w) est le vecteur ux :

uA

F (w) =
(u2 + p)A

(E + p)uA = HuA

11

(5)

S(w) est le vecteur terme source :

0
dA

S(w) =
p dx
0

2.2 Variable primitive


Le systme des quations d'Euler quasi 1D s'crit en variables primitives , u, p :

u
+u
+
t
x
x
u
u 1 p
+u
+
t
x x
p
p
u
+u
+ c2
t
x
x

u dA
A dx

= 0
=

uc2 dA
A dx

o c dsigne la clrit du son (c2 = rT ).

2.3 Proprits - Hyperbolicit - Courbes caractristiques


Notons A la matrice jacobienne du ux F par rapport aux variables conservatives. L'expression de la matrice A est :

0
1
0

3 2
F

u
(3 )u
1
A=
=

2
w

3
2
2
u ( 1)u E E ( 1)u
u
2

Le systme d'quations (5) peut donc s'crire :

w
w
+A
= S(w)
t
x

(6)

On peut montrer que la matrice A est diagonalisable et possde trois valeurs propres relles
distinctes i . Il en rsulte que le systme des quations d'Euler est de type hyperbolique.
On diagonalise A sous la forme A = RR1 . Les expressions des matrices sont :

uc
R=

H uc

uc 0
0

0
u
0
0
0 u+c

12

1
u
u2
2

u+c

H + uc

1
1
( 1)u2 + 2uc [( 1)u + c]
4
2
2
1
u2
2
= 2
c ( 1)
( 1)u
( 1)
c
2

1
1
1
( 1)u2 2uc [( 1)u c]
4
2
2

Le systme devient alors :

W
W
+
= R1 S
t
x

avec W = R1 w

(7)

Le systme des quations d'Euler constitue un systme d'quations hyperboliques non linaires. Une proprit importante d'un tel systme est le fait que, mme avec des conditions
initiales et aux limites parfaitement rgulires, il peut apparatre au bout d'un temps ni
des solutions discontinues (apparition d'une onde de choc). La solution n'tant plus direntiable en tous points, l'quations (5) n'a plus de sens sur la discontinuit. Cependant
la forme intgrale des quations bilan reste videmment valable. On peut l'crire sur un
domaine de frontire et de normale extrieure n :
Z
I
Z

w d +
F.n d =
S d
(8)
t

En prsence d'une discontinuit, les relations de saut entre les tats amont et aval sont
appeles relations de Rankine-Hugoniot. On appelle alors solution faible de l'quation
(5), une solution continment direntiable par morceaux de l'quation (5), compose localement de discontinuits vriant les relations de saut.

2.3.1 Courbes caractristiques des quations d'Euler


Les valeurs propres i de la matrice jacobienne A du ux sont :

1 = u c

2 = u

3 = u + c

Notons Lk les vecteurs propres gauche de la matrice A (vecteurs-lignes de la matrice R1


vriant Lk A = k Lk ) :

2
uc
c
u
+
, u
,1
L1 =
2
1
1

2
c2
u

, u , 1
L2 =
2
1
2

u
uc
c
L3 =

, u +
,1
2
1
1

13

Le systme hyperbolique possde trois familles de courbes caractristiques k dnies par :

x
= k
t

k :

(9)

A chaque famille k , on peut associer une quation sous forme caractristique qui s'crit :

Lk

w
= 0 sur k
t

(10)

Les trois quations sous forme caractristiques forment un systme d'quations direntielles quivalent au systme de dpart pour les solutions rgulires. La dicult qui subsiste
dans la rsolution de l'quation (10) valable sur les courbes k rside dans son couplage
avec l'quation (9) dnissant les courbes k . Autrement dit on ne peut pas, en gnral,
trouver d'abord les courbes k et rsoudre ensuite les quations sur ces courbes.
Dans certains cas, l'quation sous forme caractristique peut tre intgre exactement sous
la forme : Ik = cte sur k . La quantit Ik est alors appel un invariant. Poincar a dmontr
que tout systme hyperbolique ne comportant que deux quations possde deux invariants
I1 et I2 .
L'expression des quations sous forme caractristique pour Euler 1D est :

dp
du
c
dt
dt

= 0

sur 1 :

dx
=uc
dt

ds
dt

= 0

sur 2 :

dx
=u
dt

du
dp
+ c
dt
dt

= 0

sur 3 :

dx
=u+c
dt

On constate que l'entropie s est un invariant sur les trajectoires des particules uides.
L'coulement est dit isentropique. Dans le cas particulier, assez frquent, o l'coulement
est homentropique (s est constante partout), le problme peut tre dcrit avec deux inconnues seulement. On sait qu'un systme hyperbolique de deux quations possde ncessairement deux invariants. Ces deux invariants R+ et R sont appels invariants de
Riemann. Ils se conservent lorsqu'on se dplace la clrit du son, dans un sens ou dans
l'autre, par rapport un repre li une particule uide.
Les quations intgres sous forme caractristique sont :

R = u

2c
1

= cte

sur 1 :

dx
=uc
dt

R+ = u +

2c
1

= cte

sur 3 :

dx
=u+c
dt

14

Ceci peut tre mis sous la forme quivalente suivante (en incluant le terme source) :

2c

2c
uc dA
u
+ (u c)
u
=
t
1
x
1
A dx

s
s
+u
= 0
t
x

2c

2c
uc dA
u+
+ (u + c)
u+
=
t
1
x
1
A dx

2.3.2 Relations de compatibilit


Elles sont obtenues partir du systme (7) dont on rappelle l'expression :

W
W
+
= R1 S
t
x

avec W = R1 w

Elles s'expriment sous la forme :

u
1 p

+ (u c)
t
c t

1 p
2
+u
t
c t
u
1 p
+
+ (u + c)
t
c t

u
1 p

x c x

1 p
2
x c x
u
1 p
+
x c x

15

uc dA
A dx

= 0

uc dA
A dx

3 LE PROBLEME DE RIEMANN
On appelle problme de Riemann pour les quations d'Euler monodimensionnelles le problme consistant chercher une solution des quations avec la condition initiale suivante :

wL si x < 0
w(x, 0) = w0 (x) =
(11)

wR si x > 0

W
WR
WL
x

Fig. 4  Condition initale du problme de Riemann

La solution possde une proprit d'auto-similitude car elle ne dpend que du rapport x/t.
On montre que la solution est constitue par au plus quatre zones dans lesquelles w est
constant, spares par des ondes centres c'est--dire des zones o w est fonction de x/t.
Eventuellement le nombre de rgions peut tre rduit trois auquel cas la rgion centrale
est une zone de vide note (V).
Ces ondes centres peuvent tre de trois types :
Des faisceaux de dtente isentropique nots (D) dans lesquels w(x, t) est continue.
Des discontinuits de contact travers lesquelles la pression et la vitesse sont continues et seule la densit est discontinue. On appelle ces discontinuits lignes de glissement notes (L).
Des discontinuits de type ondes de choc notes (C) travers lesquelles w(x, t) est
discontinue.

pL
et de la dirence de vitesse uL uR , il existe cinq
pR
congurations possibles notes (de gauche droite) DLC, CLC, CLD, DLD et DVD.
Suivant les valeurs du rapport

Certains schmas numriques reposent sur la rsolution d'un problme de Riemann


chaque interface de calcul, c'est--dire la dtermination de la solution chaque interface

16

de calcul partir des tats gauche et droit.

Fig. 5  Les dirents cas de solution du problme de Riemann

17

4 RESOLUTION NUMERIQUE
4.1 Proprits - thorme de Lax-Wendro
Un certain nombre de notion est ncessaire lors de la rsolution d'quations aux drives
partielles (EDP) au moyen de leurs quivalents discrtiss. Les trois principales sont la
convergence, la stabilit et la consistance. Ces trois proprits permettent de relier la
solution exacte des quations continues la solution exacte des quations discrtises et
la solution numrique obtenue. Ces dirents liens, rsums sur la gure 6, sont :

la stabilit est la proprit qui assure que la dirence entre la solution numrique
obtenue et la solution exacte des quations discrtises est borne.
la consistance est la proprit qui assure que la solution exacte des quations discrtises tende vers la solution exacte des quations continues lorsque le pas de discrtisation (t et x) tendent vers zro.
la convergence est la proprit qui assure que la solution numrique tende vers la (ou
une) solution exacte des quations continues. C'est videmment la proprit la plus
recherche !

Fig. 6  Solutions exacte, numrique et discrte

18

Ces proprits sont lies les unes aux autres par des thormes :

Le thorme de Lax
Dans un problme bien pos, et avec un schma numrique consistant, la stabilit est une
condition ncessaire et susante pour la convergence.

Le thorme de Lax-Wendro
Si un schma numrique consistant et conservatif converge lorsqu'on rane les pas de
temps et d'espace, c'est--dire lorsque t 0 et x 0, alors il converge vers une
solution faible des quations.
Remarques importantes sur le thorme de Lax-Wendro :
Le thorme ne garantit pas la convergence et le schma peut tre instable.
Le thorme ne garantit pas l'unicit de la solution.
Si le schma converge, le thorme ne garantit pas qu'il converge vers une solution
entropique.
En cas de discontinuit, l'unicit des solutions n'est pas garantie. On doit alors vrier que
les solutions obtenues sont entropiques c'est--dire que l'entropie doit augmenter la traverse de la discontinuit. Certains schmas peuvent gnrer des solutions non entropiques
(le schma de Roe par exemple).

4.2 Diusion et dispersion numrique


An d'introduire les notions d'quation modie, de diusion numrique et de dispersion
numrique, nous considrons le cas d'une quation scalaire de convection d'une grandeur
w(x, t) la vitesse constante u :
w
w
+u
=0
(12)
t
x
On se place sur un maillage uniforme du plan (x, t) dni par des pas d'espace x et
de temps t constants. On utilise une formulation aux dirences nies pour discrtiser
l'quation et on note win = w(ix, nt). La drive temporelle est approxime par un
schma dcentr d'ordre 1 et la drive d'espace par un schma centr d'ordre 2. L'quation
de convection s'crit alors :

win+1 win
u n
n
=
wi+1 wi1
t
2x
Ce qui peut s'crire sous la forme :

win+1 = win
O = u

n
n
wi+1 wi1
2

t
est appel nombre de Courant-Friedrichs-Lewy ou nombre de CFL.
x
19

(13)

4.2.1 Equation modie


A cause des erreurs de discrtisation, la solution exacte de l'quation discrtise (13) ne
satisfait pas exactement l'quation continue de dpart (12) pour des valeurs nies de x et
t. En revanche, la solution de l'quation discrtise satisfait une quation quivalente appele quation modie. L'quation modie dire de l'quation direntielle de dpart
par le terme d'erreur de troncature, dirence entre l'quation initiale (12) et l'quation
discrtise (13).
Par des dveloppements de Taylor, on peut valuer l'erreur de troncature :

n+1
n
wn wi1
wi win
w
w n
=
+u

+ u i+1
t
x
t
2x
2 n i

t w
x2 3 w
=
u
+ O t2 , x4
2
3
2
t i
6
x i
Puisque w est solution de l'quation (12), ce terme peut se rcrire sous la forme :
2 n

w
2 t
= u
+ O t2 , x2
2
2
x i
Notons w
in la solution exacte de l'quation discrtise (13), on a :

t 2 w
w
n

2
= = u2
+u
+
O
t
,
x
t
x i
2
x2 i
Ce qui montre que la solution exacte de l'quation discrtise ne satisfait pas exactement
l'quation direntielle initiale pour des valeurs nies de t et x.
Ainsi, pour le schma numrique dni par l'quation (13), l'quation modie prend la
forme :
2 n

w
w
w
2 t
+u
= u
+ O t2 , x2
2
t
x
2
x i

Le schma a pour quation modie une quation de convection-diusion avec un coecient


de viscosit = u2 t
2 ngatif (il est donc instable ; les gradients, au lieu d'tre amortis,
sont amplis jusqu' divergence du calcul).

4.2.2 Diusion numrique


La notion de diusion ou diusivit numrique est lie aux schmas prcis au premier ordre
pour lesquels l'quation modie est une quation de convection-diusion de la forme :

w
w
2w
+u
=D 2
t
x
x
20

o D reprsente un coecient de diusion ou de viscosit.


Par exemple, considrons le schma aux dirences nies dcentr amont :

win+1 = win

n
n
wi wi1
2

L'quation modie s'crit :

w
w
x
2w
+u
=u
(1 ) 2
t
x
2
x
x
Le coecient de viscosit est donc D =
(1 ).
2
A mme condition de calculs, plus le terme de diusion D est grand pour un schma, plus
ce schma est dit diusif. En particulier, les discontinuits seront plus tales.
Cette notion peut s'tendre des schmas d'ordre plus lev en considrant que le coecient
de diusion est le coecient du plus grand terme de l'erreur de troncature.

4.2.3 Dispersion numrique


La notion de dispersion numrique est lie aux schmas prcis au second ordre, pour lesquels
l'quation modie est de la forme :

w
3w
w
+u
= 3
t
x
x

(14)

L'quation (14) est appele quation dispersive. Considrons la transforme de Fourier


de w(x, t) sous la forme :
Z +
w(x, t) =
w(x,
t)eikx dx

Puisque l'quation (14) est linaire, on s'intresse individuellement chaque mode de Fourier associ au nombre d'onde k et recherchons une solution de (14) sous la forme ei(kxt) .
On obtient alors une relation appele relation de dispersion : = uk + k 3 .
Cette relation indique que la vitesse de propagation du mode de Fourier caractris par
le nombre d'onde k se propage la clrit cp = u + k 2 qui est fonction de k . Ainsi, les
modes de Fourier avec dirents nombres d'onde k se propagent des clrits direntes
et sont donc disperss au cours du temps. On observe que lorsque tend vers zro, la
vitesse de propagation des ondes tend vers une valeur commune qui est la vitesse u.
Par exemple, pour le schma de Lax-Wendro, la clrit cp < u, cela signie que les
ondes se propagent moins vite que les discontinuits. On observe en pratique la prsence
d'oscillations de la solution numrique en aval des chocs pour ce schma.

21

4.3 Discrtisation spatiale des quations d'Euler quasi 1D


Nous utilisons une formulation aux Volumes Finis. Le domaine de calcul est discrtis en N
noeuds xi rgulirement espacs avec un pas x et le temps est discrtis en intervalles de
pas t. Le principe de la mthode est d'intgrer sur une maille lmentaire [xi1/2 ,xi1/2 ]
les lois de conservation. Dans chaque maille, le vecteur des variables conservatives est
suppos constant. L'intgration au temps t = nt s'crit :
Z xi+1/2
Z xi+1/2
Z xi+1/2

F (w)
dx =
w dx +
S dx
t xi1/2
x
xi1/2
xi1/2
n

Notons Gi la valeur moyenne d'une grandeur G(x, t) sur la maille [xi1/2 ,xi+1/2 ], au temps
t = nt, dnie par :
Z xi+1/2
1
n
Gi =
G(x, t) dx
x xi1/2
Et dsignons par win une valeur approche de la valeur moyenne wni sur la maille [xi1/2 ,xi+1/2 ],
au temps t = nt. Le systme de lois de conservation peut s'intgrer selon :

win
n
n
n
+ Fi+1/2
Fi1/2
= xS i
t

La quantit Fi+1/2 est une approximation du ux physique F (w) sur l'interface xi+1/2 ,
c'est le ux numrique sur l'interface considre, fonction des tats voisins de l'intern
n
n ). Dans le cas le plus simple, le ux numrique l'interface
face : (wiq+1
, wiq+2
, ....., wi+q
xi+1/2 ne dpend que des tats directement voisins : wi et wi+1 . La manire dont on
approche les ux numriques en fonction de l'inconnue discrte dtermine le schma numrique.
Nous

prsentons dans la suite plusieurs familles de schmas numriques :


Les schmas de type Lax-Wendro
Les schmas centrs (Jameson...)
Les schmas dcomposition de ux (Steger et Warming, Van Leer...)
Les schmas de type solveur de Riemann (Godunov, Roe...)
Les schmas hybrides AUSM
Les schmas non oscillants ENO et WENO

La discrtisation spatiale revient donc calculer le bilan des ux sur une maille lmentaire. Ce bilan comprend la somme des contributions values sur chaque interface de la
maille. Si le mme algorithme utilis pour valuer le ux numrique l'interface xi+1/2 est
utilis pour les autres interfaces, le schma est dit conservatif.

22

La condition de consistance d'un schma numrique s'exprime de la faon suivante :


n
Fi+1/2
(w, w, ...., w) = F (w)

4.4 Intgration temporelle - Pas de temps local


La drive temporelle est value par un schma de type Euler explicite (schma du premier
ordre en temps) :
wn+1 win
win
= i
t
t
An d'acclrer la convergence des calculs, le pas de temps t utilis pour intgrer les
quations est un pas de temps local. Il est dtermin partir d'une tude de stabilit sur
une quation de convection intgre sur une grille uniforme. L'tude de stabilit conduit
une condition de type critre de Courant-Friedrichs-Levy (CFL). La formulation, pour
chaque point du maillage xj , est :

(t)maille j = CF L

x
(Aj )

o (Aj ) est le rayon spectral de la matrice jacobienne Aj du ux, soit (Aj ) =| u + c |j .


Le nombre de CFL, x par l'utilisateur, doit tre infrieur au CFL limite de la zone de
stabilit du schma numrique considr.
Soulignons que la solution perd tout son sens physique tant que la convergence vers une
solution stationnaire n'est pas compltement atteinte. Pour les calculs instationnaires il
faut utiliser un pas de temps global (ie le mme pas de temps pour toutes les mailles du
domaine de calcul) ou la mthode du pas de temps dual.
Finalement, sur la maille [xi1/2 ,xi+1/2 ], au temps t = nt, le systme s'crit :
n
n
Fi+1/2
Fi1/2
win+1 win
n
+
= Si
t
x

(15)

4.5 Les schmas de type Lax-Wendro


4.5.1 Formulation de base
Le schma de Lax-Wendro (1960) est bas sur un dveloppement de Taylor en temps
jusqu' l'ordre 3. L'expression du ux numrique est :

F (wi ) + F (wi+1 ) t2
F (wi+1 ) F (wi )
Fi+1/2 =

A
2
2 i+1/2
x

23

Ce schma est consistant, prcis l'ordre 2 en temps et en espace, et stable sous condition
(| u | +c)t
1.
CFL :
x
Ce schma peut aussi se formuler de la faon suivante :

win+1 = win

n ) F (w n )
F (wi+1
i1
2x

)
( n
n
n
n
n
n
t2 Ai+1/2 F (wi+1 ) F (wi ) Ai1/2 F (wi ) F (wi1 )

x2

L'inconvnient de cette approche est qu'elle requiert le calcul de la matrice jacobienne A


l'interface xi+1/2 . On peut envisager deux calculs :

Ai+1/2 = A

wi + wi+1
2

ou

Ai+1/2 =

A(wi ) + A(wi+1 )
2

4.5.2 Schma de Richtmeyer


Pour viter le calcul de la matrice jacobienne aux interfaces, Richtmeyer propose en 1967
une variante 2 pas du schma de Lax-Wendro. Ce calcul comporte deux tapes :
- le premier pas, dit prdicteur, fournit une estimation de la solution l'interface
xi+1/2 , un instant intermdiaire (n + 1/2)t, l'aide du schma de Lax-Friedrichs.
- le second pas, dit correcteur, est la discrtisation conservative de l'quation de dpart.
Ce schma s'crit :
n+1/2

wi+1/2

win+1

n
n ) F (w n )
win + wi+1
t F (wi+1
i

2
2
x

n+1/2
n+1/2
F (wi+1/2 ) F (wi1/2 )

= win t
x

4.5.3 Schma de MacCormack


Le schma de Richtmeyer est le prototype d'un schma trs utilis dans les annes 70 : le
schma de MacCormack (1969). L'ide originale de MacCormack est d'alterner entre les
deux pas (prdicteur-correcteur) un dcentrement amont et aval :

n ) F (w n )
F (wi+1
i
wi = win t
x
)
win + wi t F (wi ) F (wi1
win+1 =

2
2
x
En pratique, ce schma produit des oscillations au voisinage des discontinuits.

24

4.6 Les schmas centrs


4.6.1 Formulation de base
Considrons le schma appel schma centr ou FTCS (Forward Time Centered Space).
Le ux numrique est :

1
Fi+1/2 = (F (wi ) + F (wi+1 ))
2
L'utilisation d'un tel schma entrane une erreur de troncature d'ordre 2 en espace. Ce
schma est consistant mais instable et ncessite l'introduction d'une dissipation articielle
pour le stabiliser.

4.6.2 Schma centr avec dissipation de Jameson-Schmidt-Turkel


An de stabiliser le schma centr, un terme de dissipation articielle D(w) est ajout. Le
ux numrique devient alors :

1
Fi+1/2 = (F (wi ) + F (wi+1 )) Di+1/2 (wi+1 wi )
2
Le coecient D(w) doit tre positif pour obtenir un schma stable et doit permettre de
maintenir la prcision l'ordre 2.
Un exemple est le schma de Jameson-Schmidt-Turkel (1983) qui consiste ajouter un
terme en drive premire du vecteur w avec un coecient (2) et un terme en drive
troisime du vecteur w avec un coecient (4) . Ces deux termes sont 'pilots' respectivement par deux coecients k2 et k4 que l'utilisateur peut ajuster pour sa simulation.
On note (A) le rayon spectral de la matrice A, le ux numrique du schma s'crit :

1
Fi+1/2 = (F (wi ) + F (wi+1 ))
2

(2)

i+1/2 (Ai+1/2 )(wi+1 wi )

i+1/2 (Ai+1/2 )(wi+2 3wi+1 + 3wi wi1 )

(4)

Le coecient (2) est active au voisinage des ondes de choc et se dnit par :
(2)

i+1/2 = k2 max (i , i+1 )


i =

| pi+1 2pi + pi1 |


pi+1 + 2pi + pi1

Ce terme devient trs faible dans les zones de faibles variations de pression. Le paramtre
k2 est compris entre 0 et 1 (il est pris nul lorsque l'coulement ne prsente aucun choc).

25

Le terme en drive troisime a pour but d'amortir les oscillations de faibles amplitudes
qui empchent la solution de converger de faon satisfaisante vers un tat stationnaires.
Ce terme n'est activ que loin des chocs en dnissant son coecient (4) par :
h
i
(4)
(2)
i+1/2 = max 0, k4 i+1/2
Le coecient k4 varie entre 0,008 et 0,064. Plus il est grand, plus le schma est diusif. Il
est conseill de le diminuer au cours du calcul pour rduire son inuence le plus possible.
Remarques :
- Lorsque la discrtisation est centre, les schmas ne respectent pas la rgle d'inuence
pour un coulement supersonique.
- L'utilisation de viscosit articielle impose une condition de stabilit plus svre sur
le pas de temps.
- Pour les chocs de forte intensit, les schmas dissipation articielle ont tendance
tre trop diusifs et taler les chocs sur un grand nombre de mailles.
- Le schma prsente l'inconvnient de contenir deux 'tournevis' numriques, les coefcients k2 et k4 .

4.7 Schma dcomposition de ux ou FVS (Flux Vector Splitting)


4.7.1 Prliminaire - schma dcentr amont
Considrons le cas d'une quation scalaire de convection la vitesse constante u :

w
w
+u
=0
t
x
L'expression du ux numrique pour le schma dcentr amont est :

Fi+1/2 = (uw)i
Ce schma est consistant, prcis l'ordre 1 et stable sous condition CFL :

ut
1.
x

Pour une vitesse u ngative, on utilise le schma dcentr dans l'autre direction :

Fi+1/2 = (uw)i+1
Pour obtenir un schma tenant compte du sens de propagation des informations, le schma
dcentr du premier ordre peut s'crire sous la forme suivante, adapte la fois aux valeurs
de u positives ou ngatives :
n
n wn
win+1 win
u + |u| win wi1
u |u| wi+1
i
+
+
= 0
t
2
x
2
x

26

En posant :

u + |u|
u |u|
et
u =
2
2

= u+ wi
et
Fi+1/2
= u wi+1

u+ =
+
Fi+1/2

On peut crire le schma sous la forme :


+
+

Fi+1/2
Fi1/2
Fi+1/2
Fi1/2
win+1 win
+
+
= 0
t
x
x

Soit encore :

n
n
Fi1/2
Fi+1/2
win+1 win
+
= 0
t
x

Le ux numrique est ainsi dcompos en une partie F + et une partie F selon le signe
de la vitesse u, il s'crit :

1
+

n
n
Fi+1/2
= Fi+1/2
Fi + Fi+1 |u|(wi+1
win )
+ Fi+1/2
=
2

4.7.2 Gnralisation aux lois de conservation


La gnralisation du ux numrique au cas d'un systme hyperbolique est simple. On crit
le systme pour les variables caractristiques :

W
W
+
=0
t
x

avec W = R1 w

Le schma est alors dcentr selon le signe des valeurs propres k qui constituent la diagonale de la matrice , ce qui donne :
n
W n Wi1
W n Win
Win+1 Win
+ + i
+ i+1
= 0
t
x
x

Avec :

+ =

+ ||
2

et

||
2

En posant A+ = R+ R1 et A = R R1 , le ux numrique, dcompos selon le signe


des valeurs propres, est obtenu par multiplication par la matrice R :

+
n
= A+ wi + A wi+1
+ Fi+1/2
Fi+1/2
= Fi+1/2

27

4.7.3 Schma FVS de Steger et Warming


La dcomposition du ux prcdente est utilise avec comme ux numrique :
n
Fi+1/2
= F (wi , wi+1 ) = F + (wi ) + F (wi+1 ) = A+ wi + A wi+1

L'expression des quantits F + et F est :

M 1

F+ = F

F = 0

0M <1

F+ = F F

= (u+c)
u + c F = F F+
2
H + uc
=0
F = F

1 < M < 0 F +
M 1

F+

= (uc)
uc
2
H uc

Ce schma est consistant, prcis l'ordre un et stable sous condition

(|u| + c)t
1.
x

Remarques :
La dcomposition de la matrice diagonale en deux matrices + et valeurs
propres respectivement positives et ngatives n'est pas unique.
Le dcentrement dpend de l'tat local en (i, n) indpendamment de l'tat en (i+1, n)
et vice-versa. Ce qui conduit des erreurs pour certains cas du problme de Riemann
(gnration de choc de dtente).
F +
F
Attention : A+ 6=
et A 6=
w
w
F +
F
Les matrices jacobiennes
et
ne sont pas continument direntiables (prow
w
blme aux points soniques).

4.7.4 Schma FVS de Van Leer


Van Leer a propos en 1982 une amlioration du schma de Steger et Warming en modiant
l'expression des ux de faon respecter les contraintes suivantes :
Consistance : F (w, w) = F + (w) + F (w) = F (w)
F +
F
Les valeurs propres des matrices
et
sont respectivement relles positives
w
w
et ngatives.
Dcentrement pour les coulements supersoniques : F + = F si le nombre de Mach
M 1 et F = F si M 1.
Respect des symtries ou antisymtries de chaque composante du ux par rapport
au nombre de Mach.

28

F
F +
Continuit des matrices jacobiennes
et
.
w
w

F (M ) est un polynme de degr minimum.


On obtient ainsi :

M 1

F+ = F

1 M < 1 F +

F
M 1

F = 0

1 + 1
M

2
2
2c
1 + 1
2
2 M
1

2c 1 1 M

c
2
= 4 (M 1)

2
1
2c
1 2 M
2 1

2
= c
(M
+
1)

2c

F+ = 0

F = F

Le schma est du premier ordre et est stable sous la condition :

(|u| + c)t

1
si |M | 1

(|u| + c)t
+ |M |(3 )

si |M | < 1
x
+3
Ce schma est robuste et permet de calculer des chocs forts ou des dtentes fortes sans
oscillations. Mais il est trop diusif pour l'intgration des quations de Navier-Stokes.

4.8 Solveurs de Riemann, schmas FDS


4.8.1 Schma FDS de Godunov
Le schma de Godunov (1959) est bas sur la rsolution du problme de Riemann. Le
principe du schma consiste :
approcher la solution par une fonction constante par morceaux sur chaque intervalle
[xi1/2 , xi+1/2 ]
rsoudre chaque interface xi+1/2 le problme de Riemann correspondant la discontinuit introduite entre la valeur gauche prise sur la maille [xi1/2 , xi+1/2 ] et la
valeur droite prise sur la maille voisine [xi+1/2 , xi+3/2 ]. On calcule alors la valeur
du ux numrique Fi+1/2 .
Faire voluer la solution en crivant :
i
t h
win+1 = win
Fi+1/2 Fi1/2
x

29

La terminologie anglo-saxone de ce type de schma est FDS pour "Flux Dierence Splitting".
Considrons le problme de Riemann sous la forme :

wL si x < 0
w(x, 0) =

wR sinon

(16)

L'quation hyperbolique rsoudre :

w
w
+A
=0
t
x
o la matrice jacobienne des ux A est diagonalisable valeurs propres relles k . On
appelle R la matrice des vecteurs propres droites et Rk le vecteur propre (vecteur colonne)
associ la valeur propre k . Soit le vecteur W = R1 w de composante wk . Les solutions
sont de la forme :
3
X
wk (x k t, 0)Rk
w(x, t) =
k=1

Les droites x k t = cte sont les courbes caractristiques. On constate que la solution
s'exprime dans la base constitue par les vecteurs propres droite et les valeurs wk (x, t)
sont simplement les composantes de la solution sur cette base. En dcomposant la condition
initale sur cette base, on crit :

wL =

3
X

k Rk

et

wR =

3
X

k Rk

k=1

k=1

La solution s'exprime alors sous la forme :

w(x, t) = wL +

(k k )Rk = wR

k <x/t

(k k )Rk

k >x/t

Et le ux numrique sur l'interface x = 0 est :

1
F (wL , wR ) = [FR + FL | A | (wR wL )]
2
Le schma de Godunov satisfait la condition d'entropie et prserve la positivit des variables. L'inconvnient majeur de ce schma est son cot prohibitif li la necessit de
rsoudre le problme de Riemann sur chaque interface chaque pas de temps.
Ce schma est du premier ordre et est stable sous la condition CFL :

30

(|u| + c)t
1.
x

4.8.2 Schma FDS de Roe


L'ide du schma de Roe (1981) est de remplacer le problme de Riemann exact non linaire
par un problme approch linaris :

w
L , wR ) w = 0
+ A(w
t
x

(17)

o la matrice A ne dpend que des tats droite et gauche wR , wL et sera considr


comme ge entre nt et (n + 1)t.
Roe dnit la matrice A de faon respecter les contraintes suivantes :
L , wR )(wR wL ) = F (wR ) F (wL )
conservativit de la mthode : A(w
A doit tre diagonalisable valeurs propres relles

consistance : A(w,
w) = A(w)
Finalement, on montre que la matrice A est identique la matrice A(w)
calcule pour un
tat moyen w
appel moyenne de Roe et dni par :
r
R
a =
L
= aL
uL + auR
u
=
1+a
H
+ aHR
L
=
H
1+a
L'expression du ux numrique lorsque les tats gauche et droit sont les tats xi et xi+1
est nalement :

i
1h
Fi+1/2 =
F (wi ) + F (wi+1 ) | Ai+1/2 | (wi+1 wi )
2

(18)

(|u| + c)t
Ce schma est du premier ordre et est stable sous la condition
1. Il rsout
x
de faon exacte les chocs et les lignes de glissement. Cependant, il autorise la cration de
choc de dtente et n'est donc pas entropique. Une correction d'entropie peut tre ajoute
pour corriger cette pathologie.
Harten propose de remplacer le module des valeurs propres lorsqu'elles se rapprochent de
zro par une fonction parabolique non nulle. Ainsi, pour chaque valeur propre i , on utilise
le module dni par :

| i | si i <

i
| i |Harten =
0.5
+

si i

| i | si i >

31

Le coecient est un paramtre qui doit tre ajust en fonction des conditions d'coulement. Cette dissipation supplmentaire nuit la prcision des rsultats, il est donc souhaitable de rduire le plus possible ce paramtre. Avec correction d'entropie de Harten, le
ux numrique devient :

i
1h
| |Harten R
1 (wi+1 wi )
Fi+1/2 =
F (wi ) + F (wi+1 ) R
2

4.9 Schma AUSM de Liou et Steen


Les schmas FVS sont trs robustes et permettent de bien capturer de fortes discontinuits
de l'coulement (choc et dtente) mais sont trop diusifs pour des applications visqueuses.
D'autre part, les schmas FDS permettent de bien calculer les couches limites mais prsentent souvent des problmes de stabilit et peuvent gnrer des solutions non entropiques.
Les mthodes AUSM reposent sur l'ide de combiner les qualits respectives des deux familles c'est--dire de conserver la robustesse des schmas dcomposition de ux tout en
garantissant la prcision des solveurs de Riemann.

4.9.1 Formulation de base


Le principe de base du schma AUSM (Advection Upstream Splitting Method) propos
par Liou et Steen (1993) est de remarquer que les ondes acoustiques et la convection du
uide sont deux processus physiques de natures direntes. Le ux des quations d'Euler
peut s'crire :

u
u
0

2
2
F = u + p = u + p
(19)

Hu

Hu
{z }

0
| {z }

convection Fc

pression p

Le ux de convection Fc peut s'exprimer sous la forme : Fc = u = M c. Le ux numrique


devient alors :

Fi+1/2 = Mi+1/2 ci+1/2 i+1/2 + pi+1/2


Le terme i+1/2 est valu en appliquant un dcentrement suivant le signe du nombre
de Mach Mi+1/2 . Ce dernier terme est obtenu comme somme des contributions des tats
voisins i et i + 1 :

Mi+1/2 = Mi+ + Mi+1

32

Pour dnir M , Liou propose un polynme qui satisfait plusieurs conditions (consistance,
polynmes croissants de M continment direntiables, symtrie). Il aboutit :

|M | > 1
(M |M |) si
2

M =

1 (M 1)2 sinon
4
La vitesse du son est simplement dnie par :

si
ci
ci+1/2 =

ci+1 sinon

Mi+1/2 > 0

Enn pour dnir le terme de pression, Liou propose d'crire la pression sous la forme :

pi+1/2 = Pi+ pi + Pi+1


pi+1

o P est une fonction du nombre de Mach qui vrie plusieurs conditions (consistance,
positivit de la pression, fonction monotone de M continment direntiables, symtrie).
On a alors :

si
|M | 1
(1 sgn (M ))
2

P =

1 (M 1)2 (2 M ) sinon
4
Ce schma est du premier ordre et rsout exactement les surfaces de glissement stationnaires.

4.9.2 Schma AUSM+ de Liou


An d'unier plusieurs variantes du schma AUSM, Liou propose le schma AUSM+ qui
utilise une dnition supplmentaire de la vitesse du son l'interface ci+1/2 an de calculer
les nombres de Mach de part et d'autre de l'interface :

ci+1/2 =

ci ci+1

De plus, les fonctions P et M sont modies. On pose :

1
M1 = (M |M |)
2

1
M2 = (M 1)2
4

Les fonctions P sont dnies par :

M1
M
P =

M2 (2 M 3M M2 )
33

si
sinon

|M | 1

Et les fonctions M :
1

2 (M |M |)

M =

1
1

(M 1)2 1 + (M 1)2
4
2

si

|M | > 1

sinon

4.10 Schmas ENO et WENO


Les schmas numriques ENO (Essentielly Non-Oscillatory) ont t introduits par Harten,
Osher, Engquist et Chakravarthy en 1987. Le but de ces schmas est de conserver un ordre
de prcision lev mme au voisinage des discontinuits et d'viter l'apparition d'oscillations de la solution. La reconstruction des ux l'interface s'eectue par interpolation
polynomiale avec une approche hirarchique, c'est--dire en choississant parmi plusieurs
stencils celui sur lequel la fonction est la plus rgulire. Ceci est dsign sous le terme
anglo-saxon de 'moving stencil' ou 'adaptive stencil'. Dans la formulation initiale, l'interpolation polynomiale est base sur des polynmes de Newton et des dirences divises. La
construction du polynme d'interpolation s'eectue en ajoutant successivement des points
soit gauche, soit droite, selon la plus petite dirence divise, jusqu' ce qu'un nombre
de points et par consquent un ordre de prcision prdtermin soit atteint. Au voisinage
des discontinuits, le polynme ainsi dtermin sera le seul qui donnera des rsultats corrects.
Nous choississons ici de prsenter la formulation propose par Jiang et Shu en 1996 qui
consiste reconstruire le ux numrique aux interfaces au moyen du polynme d'interpolation de plus haut degr permettant d'obtenir un ordre de prcision prdtermin.

4.10.1 La reconstruction ENO pour une loi de conservation scalaire


Considrons une loi de conservation scalaire monodimensionnelle :

w F
+
=0
t
x
La drive du ux peut tre estime par un schma centr d'ordre 2 :

Z x+ x
2
F (x)
1
x
x

1
2
+ O(x ) =
F (x +
) F (x
) =
F () d
x
x
2
2
x x x x
2

Pour augmenter l'ordre du schma, on cherche l'oprateur P tel que :

F (x)
1
x
x
q
+ O(x ) =
P (F (x +
)) P (F (x
))
x
x
2
2

34

o q est l'ordre du schma en espace, q 2. Soit, de manire quivalente :

!
Z x+ x
2
1
F (x) = P
F () d + O(xq )
x x x
2

En appelant Q l'oprateur de moyenne locale, on obtient :

F (x) = P oQ(F (x))

avec

1
Q(F (x)) =
x

x+ x
2

x x
2

F () d

P est donc l'oprateur de convolution inverse de l'oprateur de moyenne locale Q. On


montre que P est un polynme de degr 2m dni par :
P2m+1 = I +

m
X

x2p a2p

p=1

2p
+ O(x2m+1 )
x2p

Le polynme P2m+1 est de degr 2m et peut donc tre approch en utilisant r = 2m + 1


points. On appelle r l'ordre de la reconstruction ENO. Le ux numrique Fi+1/2 l'interface
xi+1/2 est calcul partir de la reconstruction ENO comme une combinaison linaire de r
ux voisins pris aux points entiers :

Fi+1/2 = P2m+1 (F (wi+1/2 )) =

r1
X

crl F (wl )

(20)

l=0

Les coecients crl sont dtermins partir d'un dveloppement de Taylor des ux F (wl )
au point xi+1/2 .
Il se pose alors la question du choix du stencil avec lequel on calcule le ux numrique partir de la reconstruction ENO. Pour permettre la capture des forts gradients en minimisant
l'apparition d'oscillations parasites, la reconstruction ENO est eectue en slectionnant
parmi les r + 1 stencils possibles celui sur lequel la fonction est la plus rgulire. Il est
noter que l'ordre de l'erreur ne dpend pas du stencil de reconstruction, ce qui assure que
l'ordre du schma reste constant, mme en prsence de forts gradients.

Choix su stencil
Le critre de rgularit pour le choix du stencil repose sur la comparaison des normes des
drives des ux d'ordre infrieur r. Pour cela, on construit la table des dirences non
divises des drives des ux estimes aux points entiers voisins et values par dirences
nies. On note g[j, p] la dirence non divise de la drive p-ime du ux value au point
xj . Les r + 1 stencil candidats pour la reconstruction du ux l'ordre r l'interface xi+1/2
sont nots :
Sk = (xi+kr+1 , xi+kr+2 , ..., xi+k )
pour k = 0, 1, ..., r

35

L'indice ig = i + k r + 1 dsigne le point le plus gauche du stencil Sk . Pour assurer la


stabilit du schma, il convient de choisir un stencil dcentr amont. Soit s (s varie de 1
3) une des trois valeurs propres de la matrice jacobienne Ai+1/2 . Si s > 0, on initalise
l'indice ig i et dans le cas contraire ig = i + 1. Le stencil adaptatif est dtermin par le
choix de l'indice ig . Pour valuer ce dernier, on applique la procdure rcursive suivante :
si | g[i, k] |>| g[i 1, k] | alors ig = ig 1 pour k variant de 1 r 1
L'indice k du stencil est donne par : k = ig + r 1. Le choix du stencil est eectu pour
chaque valeur propre s . L'quation (20) devient ainsi :

Fi+1/2 =

r1
X

crk,l F (wir+1+k+l )

l=0

Les coecients crk,l , pour un maillage rgulier, sont donns par la relation :
Pr
Qr
r
X
(k q + 1)
n=0,n6=m
r
Qr q=0,q6=m,n
ck,l =
n=0,n6=m (m n)
m=l+1

4.10.2 Extension aux systmes de lois de conservation


L'application au cas des quations d'Euler est ralis en utilisant les variables caractristiques. La procdure consiste reconstruire les ux correspondants aux variables caractristiques partir d'un changement de base. Le ux numrique Fi+1/2 l'interface xi+1/2
est valu en trois tapes :
calcul des ux associs aux variables caractristiques en multipliant le vecteur ux F
par les vecteurs propres gauche de la matrice jacobienne Ai+1/2 . L'tat en xi+1/2
est valu partir des tats voisins i et i + 1 grce la moyenne de Roe.
application de la procdure de reconstruction ENO scalaire chaque composante des
ux locaux.
retour dans la repre principal en multipliant les ux ENO associs aux variables
caractristiques par les vecteurs propres droite de Ai+1/2 .
Le ux numrique Fi+1/2 l'interface xi+1/2 s'crit donc, en notant Lk et Rk les k-ime
vecteurs propres respectivement gauche et droite :

Fi+1/2 =

r1
3
X
X
s=1

!
s
crs,l Lsi+1/2 F (wl ) Ri+1/2

l=0

Le choix du stencil se fait de faon identique au cas d'une quation scalaire en considrant
les dirences non divises des ux associs aux variables caractristiques.

36

4.10.3 Schmas WENO


Les schmas WENO (Weighted Essentielly Non-Oscillatory), version pondre des schmas
ENO, ont t introduits par Liu, Osher et Chan en 1994 puis amliors par Jiang et Shu
en 1996. L'ide la base est d'utiliser tous les stencils candidats de la reconstruction ENO
et d'attribuer un poids chacun de ceux-ci fonction du degr de rgularit de la solution.
Les poids sont tels que dans les rgions o la solution est rgulire l'ordre de la reconstruction WENO est 2r 1. Par contre, prs des chocs, les stencils contenant une discontinuit
sont aects de poids trs faibles, ce qui conduit la dnition d'un schma ENO standard.
Le ux WENO est une combinaison linaire des ux ENO rk valus sur tous les stencils
Sk . Les points utiliss sont fonction du signe des valeurs propres de la matrice jacobienne
Ai+1/2 . Ainsi, on a :

Fi+1/2 =

r1
X

k rk

pour des valeurs propres positives

k=0

Fi+1/2 =

r1
X

k rk+1

pour des valeurs propres ngatives

k=0

o k sont les coecients de pondration vriant

k = 1 pour assurer la consistance

k=0

du schma. Ils sont dnis par :

k =

r1
X

k
0 + ... + r1

avec

k =

Ckr
( + ISk )2

Le nombre est introduit pour viter que le dnominateur ne s'annule, en pratique on le


xe 106 . Les quantits ISk sont une mesure de la rgularit du ux du k-ime stencil
candidat, ils sont calculs selon l'expression suivante :

ISk =

r1 Z
X

xi+1/2

2m1

(x)

m=1 xi1/2

m rk
xm

2
dx

Les coecients Ckr sont les poids optimaux calculs pour augmenter l'ordre du schma, ils
sont solution du systme :
r1
X
2r1
=
Ckr rk
r1
k=0

37

4.11 Extension au second ordre, proprit TVD et limiteurs


Les schmas du premier ordre sont simples mettre en oeuvre et ils possdent des proprits intressantes telles que la monotonie ou la variation totale dcroissante (TVD en
anglais pour Total Variation Diminishing). Par contre, leur prcision est en gnral insufsante pour la plupart des applications pratiques. Il est alors ncessaire d'introduire des
schmas d'ordre suprieur, au moins d'ordre deux, an de pallier ces faiblesses que l'on
retrouve principalement au niveau des discontinuits et des lignes de glissement.
Mais le remplacement direct par des dveloppements au second ordre dans les schmas
du premier ordre conduisent l'apparition d'oscillations autour des discontinuits, comparables celles rencontres dans les schmas centrs. D'ailleurs, il a t montr qu'un schma
linaire dcentr prcis l'ordre deux gnre toujours des oscillations. On en dduit que la
seule faon d'viter ces oscillations dans un schma d'ordre lev est d'introduire des non
linarits.
La formulation gnrale d'un schma reposant sur une discrtisation en Volumes nis
s'crit :
n
n
Fi+1/2
Fi1/2
win+1 win
+
= 0
t
x
o le ux numrique Fi+1/2 est fonction des tats voisins gauche et droite de l'interface
L
R
xi+1/2 . Notons wi+1/2
et wi+1/2
les valeurs du vecteur d'tat respectivement gauche et
droite de l'interface i + 1/2. Au premier ordre, on a :
L
wi+1/2
= wi

et

R
wi+1/2
= wi+1

Les extensions un ordre suprieur peuvent s'exprimer de deux faons, soit par l'intermdiaire d'un dveloppement du ux, soit par l'intermdiaire d'un dveloppement des
variables conservatives qui permettent de calculer le ux. C'est cette deuxime approche,
appele reconstruction MUSCL, que nous dtaillons ici.

4.11.1 La reconstruction MUSCL


La reconstruction MUSCL (Monotonic Upstream-centered Scheme for Conservation Law)
a t propose par Van Leer en 1977. Cette mthode consiste supposer que les variables
d'tat w ne sont plus constantes dans chaque cellule mais varient linairement dans la
cellule. Le problme est ainsi de reconstruire des valeurs l'interface xi+1/2 en partant
des valeurs moyennes discrtes win . On utilise pour cela un dveloppement au second ordre
des variables pour avoir la pente de ses variations. Deux types d'valuations sont alors
envisageables (voir gure 7).

38

a) Evaluation dcentre :

wi wi1
2
wi+2 wi+1
= wi
2

L
wi+1/2
= wi +
R
wi+1/2

b) Evaluation centre :

wi+1 wi
2
wi+1 wi
= wi+1
2

L
wi+1/2
= wi +
R
wi+1/2

Fig. 7  Schma de l'valuation dcentre et centre

On propose alors de combiner ces deux valuations par l'intermdiaire d'un paramtre
pondrateur . On obtient ainsi :

1
1+
(wi wi1 ) +
(wi+1 wi )
4
4
1+
1
= wi
(wi+1 wi )
(wi+2 wi+1 )
4
4

L
wi+1/2
= wi +
R
wi+1/2

Cette valuation est :


dcentre si = 1
centre si = 1
du troisime ordre si = 1/3
Remarque : cette reconstruction peut aussi tre eectue sur les variables primitives ou sur
les variables caractristiques.

39

4.11.2 Schmas TVD et limiteurs


La reconstruction MUSCL peut conduire l'apparition d'oscillations parasites de la solution au niveau des discontinuits et des lignes de glissement. Plutt que d'introduire une
viscosit articielle et arbitraire, comme le cas des schmas centrs, qui amortissent les
oscillations, un autre mcanisme est propos. Harten a introduit en 1983 le concept de
schma variation totale dcroissante ou TVD (Total Variation Diminishing) pour
viter l'apparition d'oscillations. Cette notion est valable pour les quations non linaires
scalaires. Cependant, dans la pratique elle est applique au cas des systmes non linaires
tels que les quations d'Euler. Il faut donc garder en tte que les proprits assures dans
le cas scalaire ne sont plus garanties dans le cas des systmes.
Pour une loi de conservation scalaire, la variation totale dcroissante de la solution w(x, t)
au temps , note T V (w, ), est dnie par :

T V [w, ] = lim

| w(x + , ) w(x, ) | dx

Si w est direntiable partout (en l'absence de discontinuits), on a galement :

T V [w, ] =

w
(x, ) | dx
x

La solution w(x, t) vrie la proprit TVD si pour deux instants t2 t1 on a :

T V [w, t2 )] T V [w, t1 ]

On dnit de mme une variation totale dcroissante pour la solution discrte win au temps
t = nt, note T V (wn ) :
+
X
n
T V [wn ] =
| wi+1
win |
i=

La solution discrte vrie la proprit TVD si pour deux instants (n + 1) et nt on a :

T V [wn+1 ] T V [wn ]

Un schma numrique est dit TVD si la solution numrique obtenue vrie la proprit
TVD. Dans ce cas, le schma prserve la monotonie de la solution.
Cette proprit entrane que l'augmentation locale d'un gradient dans la solution au cours
de l'intgration en temps sera compense par la diminution (plus importante) d'un gradient

40

un endroit dirent du domaine. En particulier, l'apparition d'oscillations au voisinage


des discontinuits n'est pas compatible avec une mthode TVD.
Pour un cas bidimensionnel, la variation totale dcroissante est dnie par :

T V [wn ] =

+
X

+
X
n

n
n
n
| wi+1,j wi,j
| + | wi,j+1
wi,j
|

i= j=

L'application de ce concept la reconstruction MUSCL conduit introduire des non linarits sous la forme de limiteurs de pente. Ces limiteurs limitent les pentes de variation
des variables lors de l'extrapolation en les comparant aux pentes des cellules voisines. Le
rle du limiteur de pente est de faire repasser localement le schma au premier ordre an
d'viter l'apparition d'oscillations non physiques. Le limiteur prend la forme d'une fonction
(r) o r dsigne la pente de la variable.
La reconstruction MUSCL devient alors :

L
wi+1/2
R
wi+1/2


1
1+
1
L
= wi +
(r )(wi wi1 ) +
L (wi+1 wi )
4
4
r

1
1
1+
R
(r )(wi+1 wi )
R (wi+2 wi+1 )
= wi
4
4
r

o les quantits rL et rR dsignent les pentes gauche et droite dnies par :


wi+1 wi
wi+1 wi
et
rR =
rL =
wi wi1
wi+2 wi+1
Il existe de nombreux limiteurs, par exemple :

M inmod

(r) = max (0, min (1, r))

V anLeer

(r) =

V anAlbada

r+r
(r) = max (0, 1+r
2)

Superbee

(r) = max (0, min (1, 2r), min (2, r))

Chakravarthy

(r) = max (0, min (, r)) ;

r+|r|
1+r
2

12

Tous les limiteurs doivent tre compris entre le limiteur Minmod et le limiteur Superbee.
La version la plus robuste (mais la plus dissipative) est le Minmod. Le Superbee permet
d'obtenir des chocs front raide au dtriment de la robustesse.

41

4.12 Phase implicite


La phase implicite prserve les proprits conservatives et la prcision de la solution explicite, tout en acclrant la convergence du calcul. Son emploi permet d'augmenter le nombre
de CFL sans perte de stabilit. Nous utilisons ici une mthode sans matrice, le systme
apparaissant la linarisation des ux est rsolu par une mthode itrative de type Jacobi.

4.12.1 Description du schma implicite de base


Considrons les quations d'Euler 2D sous forme conservative :

w F
G
+
+
=0
t
x
y

(21)

o w = w(x, y, t) est le vecteur d'tat, F = F (w) et G = G(w) sont les vecteurs ux, de
F
G
matrices jacobiennes A =
et B =
.
w
w
Soit vj,k une fonction de maillage dnie sur un maillage cartsien uniforme de pas d'espace
x et y . On dnit les oprateurs de dirence et de moyenne sur une maille dans une
direction de maillage donne comme suit :

(1 v)j+ 1 ,k = vj+1,k vj,k


2

(1 v)j+ 1 ,k =
2

1
2 (vj+1,k

(2 v)j,k+ 1 = vj,k+1 vj,k


2

(2 v)j,k+ 1 = 12 (vj,k+1 + vj,k )

+ vj,k )

Nous supposons que les quations (21) sont rsolues de faon approche l'aide du schma
AUSM+ dont nous ne dtaillons pas la forme ici ; nous crivons simplement :
n+1
n
wi,j
wi,j

+(

1 h1i,j
2 h2i,j n
+
) = 0
x
y

ou encore :

wexpl = (1 1 h1i,j + 2 2 h2i,j )n

(22)

avec 1 = t/x, 2 = t/y et la notation wexpl indique que l'incrment temporel du


vecteur d'tat w est calcul de faon explicite partir des tats connus l'instant n. On
suppose que les ux numriques du schma AUSM+ peuvent s'crire sous la forme :
(
h1 = 1 F D1 (w)1 w
(23)
h2 = 2 G D2 (w)2 w
Dans l'expression (23) les termes 1 F et 2 G correspondent des discrtisations centres
simples et D1 , D2 sont les coecients matriciels de dissipation numrique.

42

La version implicite du schma (22) s'appuie sur une valuation des ux numriques au
temps (n + 1)t et une linarisation du bilan de ux ; on crit typiquement :

(1 h1 )n+1 = (1 1 F )n+1 (1 D1 1 w)n+1


1 (An 1 wn ) 1 (D1n 1 wn ) + (1 h1 )n
o wn = wn+1 wn . On procde similairement pour (2 h2 )n+1 et on en dduit la forme
implicite du schma AUSM+ :
n
wi,j

+1 1 (An 1 wn )i,j 1 1 (D1n 1 wn )i,j


expl
+2 2 (B n 2 wn )i,j 2 2 (D2n 2 wn )i,j = wi,j

(24)

expl
o wi,j
dsigne l'incrment explicite calcul par (22).

4.12.2 Description d'un traitement implicite sans matrice


La phase implicite (24) est clairement une phase implicite par blocs puisqu'elle fait intervenir les matrices jacobiennes A et B des ux F et G ainsi que les matrices de dissipation
numrique D1 et D2 . Ces matrices peuvent s'avrer dlicates dterminer dans le cas du
schma AUSM+ puisque la linarisation du ux numrique suppose la linarisation de
multiples fonctions de dcentrement (sur le ux de masse, sur la pression...). Cependant
la nature dcentre du schma AUSM+ peut conduire assimiler, dans la phase implicite et uniquement dans la phase implicite, ces coecients matriciels aux valeurs absolues
des matrices jacobiennes A et B ou plus prcisment : D1 12 |A|, D2 12 |B|. Ce choix
correspond en fait l'implicitation du schma de Roe. Dans le cas de la recherche d'une solution stationnaire, cette linarisation inconsistente de la phase explicite AUSM+ est sans
consquence sur la prcision de la solution l'tat stationnaire ; dans le cas d'un calcul instationnaire il en est de mme si une approche de type pas de temps dual est mise en oeuvre.
Une fois la substitution ci-dessus eectue, on peut simplier la phase implicite (24) en en
faisant disparatre les blocs ; ceci peut se faire en utilisant :
le fait que An 1 wn = 1 F n , B n 2 wn = 2 Gn , o on a introduit la notation
F n = F n+1 F n et similairement pour Gn .
le fait que |An | (respectivement |B n |), matrice dnie positive, peut tre remplace
par son rayon spectral (A) (resp. (B)).
On obtient ainsi la phase implicite sans matrices ou MF (Matrix Free) :
n
wi,j

+1 1 1 (F n )i,j 12 1 1 ((A)1 wn )i,j


expl
+2 2 2 (Gn )i,j 2 2 ((B)2 wn )i,j = wi,j

43

Pour rsoudre cette phase implicite, on choisit tout d'abord de relaxer les inconnues du
type "incrment de ux" :
(l+1)

wi,j

21 1 1 ((A)1 w(l+1) )i,j 2 2 ((B)2 w(l+1) )i,j


expl
= wi,j
1 1 1 (F (l) )i,j 2 2 2 (G(l) )i,j

(25)

On peut aussi rcrire (25) sous la forme :


(l+1)

C0 wi,j

(l+1)

(l+1)

(l+1)

(l+1)

+C1 wi1,j + C1+ wi+1,j + C2 wi,j1 + C2+ wi,j+1


expl
= wi,j
1 1 1 (F (l) )i,j 2 2 2 (G(l) )i,j

avec des coecients dnis comme suit :

C1 = 21 1 (A)i 1 ,j

+
1

C
=

(A)
1
i+ 12 ,j
2 1

C2 = 12 2 (B)i,j 1
2

+
1

C
=

(B)

2
i,j+ 12
2 2

C0 = 1 C1 C1+ C2 C2+
On utilise alors une simple approche de type Jacobi par point qui a l'avantage de pouvoir
s'appliquer de faon trs naturelle dans un maillage non-structur. On crit :
(l+1)

wi,j

1
expl
[wi,j
1 1 1 (F (l) )i,j 2 2 2 (G(l) )i,j
C0
(l)
(l)
(l)
(l)
C1 wi1,j C1+ wi+1,j C2 wi,j1 C2+ wi,j+1 ]

Avec cette formulation, le calcul de l'incrment implicite ne requiert plus aucune inversion
de systme.

44

5 LES CONDITIONS AUX LIMITES ET INITIALES


5.1 Les conditions aux limites - Mthode des caractristiques
Le traitement des conditions aux limites repose sur l'utilisation des courbes caractristiques
associes aux quations d'Euler. Les caractristiques sont utilises uniquement dans le cas
o l'information se propage depuis l'intrieur du domaine de calcul vers l'extrieur de manire complter les conditions aux limites physiques. On peut montrer que le nombre de
caractristiques entrantes xe le nombre de valeurs indpendantes imposer.
Dans le cas monodimensionnel, les valeurs propres de la matrice jacobienne des ux sont :
u c, u, u c. Plusieurs cas apparaissent selon le sens et le rgime de l'coulement. On
distingue quatre situations :
entre subsonique
Il y a alors deux caractristiques entrantes, il faut donc imposer deux variables, par
exemple, les pression et temprature d'arrt. Et on utilise la caractristique sortante
ou la relation de compatibilit correspondant.

sortie subsonique
Il n'y a qu'une seule caractristique entrante donc une seule variable imposer sur
la frontire. On choisit usuellement la pression statique. Et on utilise les deux caractristiques sortantes ou les deux relations de compatibilit correspondant.
entre supersonique
Toutes les caractristiques sont entrantes, il faut donc imposer compltement le vecteur d'tat w.
sortie supersonique
Aucune caractristique n'est entrante et aucune condition aux limites ne doit tre
prescrite.

5.2 Discrtisation des relations de compatibilit


Les relations de compatibilit sont dnies par (voir prcedemment) :

u
1 p
u
1 p
uc dA

+ (u c)

=
t
c t
x c x
A dx

1 p

1 p
2
+u

= 0
t
c t
x c2 x

u
1 p
u
1 p
uc dA
+
+ (u + c)
+
=
t
c t
x c x
A dx

45

Pour discrtiser une relation, il est commode de passer par un tat intermdiaire que nous
noterons "s" du vecteur d'tat w . La valeur ws obtenue ne vrie pas les conditions aux
limites et n'a donc pas de sens physique. Les drives en temps sont crites :

w
ws wn
=
t
t
Les variables et le terme source sont valus au pas de temps courant n.
L'obtention des relations de compatibilit discrtises s'obtient par soustraction des relations crites l'tat intermdiaire "s" avec celles crites au temps (n + 1)t. En notant
JwK = wn+1 ws , on obtient :

JpK cJuK = 0

JpK c2 JK = 0

JpK + cJuK = 0

5.3 Les conditions initiales


Pour un calcul stationnaire, les conditions initales n'ont aucune inuence sur la solution.
Le champ est initialis avec un tat uniforme correspondant au champ amont.

46

Rfrences
[1] T. Alziary de Roquefort. Mthodes numriques. Cours de l'ENSMA, 1998.
[2] C. Corre, K. Khalfallah, and A. Lerat. Line-relaxation methods for a class of centred
schemes. Computational Fluid Dynamic Journal, 5 :213, 1996.
[3] S.K. Godunov. A nite dierence method for the numerical computation of discontinuous solutions of the equations of uid dynamics. Math. Sbornik, 47 :273295,
1959.
[4] A. Harten. High resolution schemes for hyperbolic conservation laws. Journal of
Computational Physics, 49 :357393, 1983.
[5] A. Harten. On a class of high resolution total variation stable nite dierence schemes.
SIAM Journal Numerical Analysis, 21 :123, 1984.
[6] A. Harten, B. Engquist, S. Osher, and S. Chakravarthy. Uniformly high order essentially non-oscillatory schemes. Journal of Computational Physics, 71 :231303, 1987.
[7] C. Hirsch. Numerical computation of internal and external ows, volume II. John
Wiley & Sons, Chichester, New York, 1990.
[8] A. Jameson, W. Schmidt, and E. Turkel. Numerical solution of the Euler equations
by nite volume methods using Runge-Kutta time stepping schemes. In AIAA Paper
811259, June 1981.
[9] A. Jameson and T. Baker. Solution of the Euler equations for complex congurations.
In AIAA 6th Computational Fluid Dynamics Conference, July 1983.
[10] A. Jameson. Positive schemes and shock modelling for compressible ows. International Journal for Numerical Methods in Fluids, 20 :743776, 1995.
[11] G.S. Jiang and C.W. Shu. Ecient implementation of weighted eno schemes. Journal
of Computational Physics, 126 :202228, 1996.
[12] P. Lax. Weak solutions of non linear hyperbolic equations and their numerical computation. Communications in Pure and Applied Mathematics, 7 :159193, 1954.
[13] P. Lax and B. Wendro. Systems of conservation laws. Communications in Pure and
Applied Mathematics, 13 :217237, 1960.
[14] A. Lerat. Ecoulements compressibles instationnaires. Cours de l'ENSAM, 2001.
[15] M.S. Liou and C.J. Steen. A new ux splitting scheme. Journal of Computational
Physics, 107 :2339, 1993.
[16] M.S. Liou. Ten years in the making AUSM-family. In AIAA 20012521, 15th AIAA
Computational Fluid Dynamics Conference  Anaheim, California, June 11-14 2001.

47

[17] H. Luo, J.D. Baum, and R. Lohner. A fast, matrix-free implicit method for compressible ows on unstructured grids. Journal of Computational Physics, 146 :664690,
1998.
[18] R.W. MacCormack. The eect of viscosity in hypervelocity impact cratering. In AIAA
Paper 69354, 1969.
[19] J.M. Moschetta. Introduction la rsolution numrique des quations d'Euler. Cours
de SupAero, 1997.
[20] P.L. Roe. Approximate Riemann solvers, parameters vectors, and dierence schemes.
Journal of Computational Physics, 43 :357372, 1981.
[21] J.L. Steger and R.F. Warming. Flux vector splitting for the inviscid gas dynamic
equations with applications to nite dierence methods. Journal of Computational
Physics, 40 :263293, 1981.
[22] R.C. Swanson and E. Turkel. Aspects of high-resolution scheme for the Navier-Stokes
equations. In AIAA Paper 933372, 1993.
[23] B. Van Leer. Towards the ultimate conservative dierence scheme II. Monotinicity and
conservation combined in a second order scheme. Journal of Computational Physics,
14 :361370, 1974.
[24] B. Van Leer. Towards the ultimate conservative dierence scheme III. Ustreamcentered nite dierence schemes for ideal compressible ow. Journal of Computational
Physics, 23 :263275, 1977.
[25] B. Van Leer. Flux vector splitting for the Euler equations. In Proceedings of the
8th International Conference on Numerical Methods in Fluid Dynamics, Berlin, pages
507512, 1982.
[26] B. Van Leer, J.L. Thomas, and P.L. Roe. A comparison of numerical ux formulas
for the Euler and Navier-Stokes equations. In AIAA Paper 871104, 1987.

48

6 LE CODE DE CALCUL
6.1 Adimensionnement des quations
Les variables sont adimensionnes en utilisant les grandeurs d'arrt :
u
u =
ci
p

p =
pi

=
i
E
p
1
E =
=
+ u2
pi
1 2
H
= E + p
H =
pi
T
P
T =
=
Ti

P
s
=
s =
si

c
c =
= T
ci
u
u
M ach =
= = M ach

c
c

6.2 Structure du code


Le code en C est structur de la faon suivante :
euler1d.c
C'est le programme principal dans lequel est eectu la boucle temporelle, le calcul
du pas de temps, l'application des conditions aux limites et l'ajout du terme source.
schema.c
Application du schma numrique explicite (jameson, roe...).
impli.c
Application de la phase implicite.
Pour l'exploitation des rsultats, il est possible de sortir les champs de densit, vitesse,
pression, nombre de Mach, entropie et temprature en fonction de l'abscisse x dans dirents chiers. Chaque chier contient deux colonnes, l'une pour l'abcisse x et l'autre pour la
grandeur tudier. Le logiciel xgraphic permet de tracer l'volution des grandeurs en fonction de l'abscisse ('xgraphic toto' permet de tracer la grandeur stocke dans le chier toto).

49

Le chier 'donnee.txt' permet d'entrer les dirents paramtres de calcul :


le nombre de Mach amont, la pression d'arrt pi (en bar) et la temprature d'arrt
Ti (en Kelvin)

le nombre de CFL, cf l
le nombre d'itrations souhaite, nmax
le nombre de noeuds de la gomtrie, imax
la gomtrie traite, indice par icas :
icas = 1 correspond un tube droit pour lequel la section A est constante
icas = 2 correspond un divergent de 1m pour lequel la section varie selon :
A(x) = 1.398 + 0.347 tanh (8x 4)
icas = 3 correspond une tuyre longue de 20m pour lequel la section varie selon :
A(x) = 0.536572 0.198086 exp ( ln (2)(x/0.6)2 ), pour 0 < x < 10
A(x) = 1. 0.661514 exp ( ln (2)(x/0.6)2 ), pour 10 < x < 0
icas = 4 correspond une tuyre de Laval de 1m pour lequel la section varie selon :
A(x) = 1 + 6(x 0.5)2 , pour 0 < x < 0.5
A(x) = 1 + 2(x 0.5)2 , pour 0.5 < x < 1
icas = 5 correspond une souerie double col de 3m avec le 2me col ferm
A(x) = 0.093 + 3.628(x 0.5)2 , pour 0 < x < 1
A(x) = 1,
pour 1 < x < 2
2
A(x) = 1 + 4(x 2) ,
pour 2 < x < 3
icas = 6 correspond une souerie double col de 3m avec le 2me col ouvert
A(x) = 0.093 + 3.628(x 0.5)2 , pour 0 < x < 1
A(x) = 1,
pour 1 < x < 1.5
2
A(x) = 0.1023 + 3.5908(x 2) , pour 1.5 < x < 2
A(x) = 0.1023 + 4.8977(x 2)2 , pour 2 < x < 3
le schma numrique, indic par ischema :
ischema = 1 correspond au schma de Jameson (avec coecients k2 et k4
ischema = 2 correspond au schma de Roe (avec coecients MUSCL)
ischema = 3 correspond au schma non oscillant WENO3
la condition la limite d'entre, indice par iclg :
iclg = 1 correspond une condition d'entre supersonique
iclg = 2 correspond une condition d'entre subsonique
la condition la limite de sortie, indice par icld :
icld = 1 correspond une condition de sortie supersonique
icld = 2 correspond une sortie subsonique de type pression impose (en bar)

50

les coecients Cf et h ainsi que la temprature de paroi Tp (en Kelvin)


l'activation de l'implicitation, par l'entier kimp :
kimp = 0 correspond un calcul tout explicite
kimp = 1 correspond un calcul avec implicitation
la frquence de sortie des rsidus, par l'entier kres :
le type d'initialisation, par l'entier kinit :
kinit = 0 correspond un dmarrage de calcul
kinit = 1 correspond une reprise d'un calcul partir d'un calcul existant.

6.3 Le terme source


Le terme source est constitu de trois lments :
A
un terme de variation de surface dans le cas d'une volution quasi-1D : p
x
1
un terme de frottement Cf autour de la conduite suppose cylindrique : Cf u2 d
2

o d dsigne un lment de surface autour de la conduite gale 2 A dx

un terme de transfert de chaleur par convection : h(T Tp )d


o h dsigne le coecient de convection et Tp la temprature de paroi.
Le systme d'quations s'crit alors :

A
uA
+
t
x
uA
(u2 + p)A
+
t
x
EA
(E + p)uA
+
t
x

h(T Tp ) d

A
1
u2 Cf d
x
2

En pratique, on prendra Cf ' 102 pour une tuyre longue.


Et pour le coecient de convection h ' 100. La temprature de paroi Tp pouvant varier.

6.4 Les conditions aux limites


Quatre conditions aux limites sont implantes dans le code :

Entre supersonique Les grandeurs conservatives au bord sont prises gales celles
de l'coulement initial.

51

entre subsonique Une relation de compatibilit discrtise est utilise :


JpK cJuK = 0
rsolue au moyen d'une mthode Newton.

sortie supersonique Les grandeurs conservatives au bord sont values par extrapolation des grandeurs conservatives de la section prcdente.

sortie subsonique Deux relations de compatibilit discrtises sont utilises :


JpK c2 JK

JpK + cJuK

6.5 Exercices
Divergent
Prise en main du code.
1) Faire un calcul avec une vitesse amont subsonique (Mach=0,5).
2) Faire un calcul avec une vitesse supersonique (Mach=2) :
2.1) sans onde de choc
2.2) avec onde de choc en x = 0.5

Tuyre de Laval
Prendre les donnes suivantes : vitesse amont nulle, pression d'arrt Pi = 2 bars et temprature d'arrt Ti = 300K.
1) Faire varier la pression de la condition de sortie jusqu' obtenir un col sonique.
2) Diminuer encore la pression pour voir l'onde de choc se dplacer vers la sortie.
Peut-on avoir l'onde de choc juste la section de sortie ?
3) Regarder l'inuence du schma numrique (schmas de Roe, de Jameson et WENO) sur
la position du choc dans la tuyre.
Que pensez-vous des oscillations qui apparaissent parfois avec le schma de Roe ?
4) Regarder l'inuence du maillage sur l'paisseur du choc.
5) Regarder l'inuence de l'implicitation sur le temps de convergence.
6) Regarder l'inuence du frottement (avec la tuyre longue, prendre un Mach amont non
nul).
7) Regarder l'inuence du ux de chaleur par rapport au cas adiabatique.
Regarder l'inuence d'un refroidissement (Tp < Ti ) puis d'un rechauement de la paroi
(Tp > Ti ) sur la position du choc.
Tracer les prols de temprature et regarder la zone d'coulement transsonique.

52

Souerie deux cols


Utilisation du TD5 et 6 sur la souerie deux cols.
1) Le deuxime col est eac (TD5).
On souhaite avoir un choc dans le 2me divergent en x = 2, 5m. Quelle est la pression en
sortie ? Retrouver ce rsultat par la simulation numrique.
Quelle est la pression maximum en sortie pour avoir un choc dans le 2me divergent ?
Comparer avec la simulation numrique.
2) Le deuxime col est ouvert (TD6).
2.1) On souhaite avoir un choc dans le 2me divergent en x = 2, 5m. Quelle est la pression
de sortie ? Retrouver ce rsultat par la simulation numrique (utiliser un calcul prcdent).
2.2) On souhaite avoir un choc prs du 2me col en x = 2, 01m. Quelle est la pression
de sortie ? Retrouver ce rsultat par la simulation numrique. Peut-on avoir le 2me col
sonique ? Conclure.

53