Ecole Polytechnique, Promotion 2004

Analyse num
erique et optimisation (MAP 431)
Contr
ole Hors Classement du mardi 25 avril 2006
Corrig
e propos
e par G. Allaire

Diff
erences finies

1. On remplace unj par u(tn , xj ) o`

u u est une fonction reguli`ere et on definit lerreur
de troncature par


E = (t)1 u(tn+1 , xj ) c(c 1)/2u(tn , xj2 ) c(2 c)u(tn , xj1 ) (c 1)(c 2)/2u(tn , xj ) .
Remarquez le facteur (t)1 ci-dessus qui permettra davoir une erreur qui ne tendra
vers zero que si u est solution de lequation de transport (voir la Remarque 2.2.5
du cours). On fait un developpement de Taylor en x autour du point x j
u(tn , xj2 ) = u(tn , xj ) 2x
et
u(tn , xj1 ) = u(tn , xj ) x



2u
u
(tn , xj ) + 2(x)2 2 (tn , xj ) + O (x)3
x
x



1
2u
u
(tn , xj ) + (x)2 2 (tn , xj ) + O (x)3
x
2
x

qui conduit a`
E=


u(tn+1 , xj ) u(tn , xj )
c 
x u
(x)2 2 u
3
(t
,
x
)
+
+c
(tn , xj ) c2
O
(x)
.
n j
t
t x
2t x2
t

En notant que c(x)3 /t = a(x)2 et en faisant un developpement de Taylor en t,

on en deduit
E=



1 2u
u
(x)2 2 u
u
2
2
(t
,
x
)+
(t
,
x
)+O
(x)
+(t)
(tn , xj )+a (tn , xj )c2
t
.
n
j
n
j
t
x
2t x2
2
t2

Il est clair que si u nest pas solution de lequation de transport, alors lerreur de
troncature ne tend pas vers zero. Par contre, si u est solution, on a
2
2u
2 u
=
a
t2
x2

et lerreur de troncature devient



E = O (x)2 + (t)2

ce qui prouve que le schema de Beam-Warming est consistant et au moins dordre

2.

2. Pour etudier la stabilite L2 du schema on utilise lanalyse de Fourier. Avec les

notations du polycopie, pour k Z, le coefficient de Fourier u
n (k) de la solution du
schema verifie
u

n+1

(k) =

(c 1)(c 2)
c(c 1) 4ikx
u
n (k),
e
+ c(2 c)e2ikx +
2
2


ce qui est equivalent a`

u

n+1

(k) =

c(c 1)
2 cos(2kx) + c(2 c) (c 1)e2ikx e2ikx u
n (k)
2


En notant = 2kx, on obtient apr`es simplification

|
un+1 (k)|2 = |A(k)|2 |
un (k)|2
avec

2

|A(k)|2 = (c 1)2 cos + c(2 c) + (c 1)2 sin2

= (c 1)2 c(c 2) cos 2 + 2c(2 c)(c 1)2 cos + c2 (2 c)2 + (c 1)2
On remarque que
c2 (2 c)2 + (c 1)2 = 1 + (c 1)2 c(c 2),
donc
|A(k)|2 = 1 (c 1)2 c(2 c)(1 cos )2 .
Pour 0 c 2 le coefficient (c 1)2 c(2 c) est positif, et on en deduit donc que
|A(k)| 1 pour toute frequence k Z, ce qui prouve que le schema est stable en
norme L2 sous la condition CFL 0 c 2.
Lavantage du schema de Beam-Warming est quil permet de prendre des pas de
temps deux fois plus grands que les schemas decentre amont, de Lax-Friedrichs ou
de Lax-Wendroff, tout en etant explicite. Par ailleurs, un schema lineaire consistant
et stable est convergent dapr`es le theor`eme de Lax. Le schema de Beam-Warming
est donc convergent sous la condition CFL ci-dessus.

Masse ajout
ee

1. Le gradient et le Laplacien dune constante sont nuls et comme ce sont les seules
expressions de k qui apparaissent dans lequation, si k est solution, alors k + C
est aussi solution. Par ailleurs, la formule de Green sur s nous donne

~ek ~n ds =

1
dx = 0.
xk

2. Soit lespace de Hilbert (comme sous-espace ferme de H 1 (f ))

V =

v H (f ) tel que
2

v(x) dx = 0 .
f

On multiplie lequation par une fonction test v V et on utilise la condition aux

limites dans lintegration par parties pour obtenir la formulation variationnelle :
trouver k V tel que
a(k , v) = L(v) v V,
avec
a(k , v) =

k v dx

et

L(v) =

~ek ~n v ds.

Pour montrer lexistence et lunicite de la solution on applique le theor`eme de LaxMilgram dont il faut verifier les hypoth`eses. Il est clair que L est lineaire continue
(par le theor`eme de trace) et a bilineaire continue sur V muni de la norme usuelle de
H 1 (f ). Pour verifier la coercivite de a on utilise linegalite de Poincare-Wirtinger
(equation (5.28) du cours) qui affirme quil existe une constante C > 0 telle que,
pour tout v V ,
kvkL2 (f ) CkvkL2 (f )N .
On en deduit
a(v, v) =

1
|v| dx
2
2

|v|2 + C 2 |v|2 dx C 0 kvk2H 1 (f ) ,

ce qui prouve la coercivite de a. Par consequent il existe une unique solution de

cette formulation variationnelle. Pour montrer que cette solution est bien solution
du probl`eme aux limites, on proc`ede a` une integration par parties `a lenvers. En
supposant que k H 2 (f ) on utilise la formule de Green du theor`eme 4.3.30 pour
obtenir
Z
Z
Z
k
k v dx +

v ds = ~ek ~n v ds,
f n
f

qui est equivalent a`

k v dx =

k
~ek ~n
n

Z 

v ds

ext

k
v ds.
n

Lespace Cc (f ) nest pas inclus dans V a` cause de la condition de moyenne nulle

pour les fonctionsRde V . Cependant, si C c (f ), alors m() apartient a` V ,
avec m() = |1f | f dx. En remplacant v par m(), et en utilisant le fait que
= 0 sur f , on obtient

k ( m()) dx = m()

k
~ek ~n
n

Z 

ds + m(psi)

ext

k
ds.
n

En utilisant le resultat de la premi`ere question et en se rappelant que

Z

k dx =

k
ds,
n

on en deduit que tous les termes de bord seliminent et quil ne reste plus que

k dx = 0
3

Cc (f ).

Par consequent, k = 0 presque partout dans f . En utilisant cette information

on a donc

Z
Z 
k
k
v ds
v ds = 0 v V.
~ek ~n
n
ext n

On choisit alors v = m() avec C (f ) (fonction reguli`ere qui ne sannulle

pas au bord). Le meme raisonnement que precedemment montrer que les termes en
facteur de m() seliminent et quil ne reste plus que
k
~ek ~n
n

Z 

ds

ext

k
ds = 0
n

C (f ).

On en deduit donc
k
=0
n

k
= ~ek ~n p.p. sur ,
n

p.p. sur ext .

On a donc bien resolu le probl`eme aux limites, au sens faible ou presque partout.
3. Si on elimine la vitesse ~u on obtient le syst`eme suivant pour le potentiel

= 0

=0

dans f ,
sur ,

= d~
~n
n

sur .

dt

Le second membre de la condition aux limites pour ce syst`eme secrit

N
X
d~r
drk
~n =
e~k ~n,
dt
dt
k=1

o`
u rk designe la k-`eme composante du vecteur ~r. Par linearite de lequation on en
deduit
N
X
drk
(t, x) =
(t)k (x).
dt
k=1
4. On deduit de la question precedente que la pression est donnee par
p(t, x) = p0

N
X
d2 rk

k=1

dt2

(t)k (x).

En remplacant la pression par cette expression dans

lequation pour ~r et en se
R
souvenant que la premi`ere question a montre que p0~n ds = 0, on obtient

d2~r

r = f~
(mId + M ) 2 + k~

dt

d~
r

~
(0) = ~r1 ,
r (0) = ~r0 ,
dt
4

pour t > 0,

o`
u la matrice M est definie par
M~ek =

k ~n ds

5. Multiplions lequation pour j par k et integrons par parties. On obtient

Z

j k dx =

~ej ~n k ds.

On en deduit que
M~ek ~ej =

~ej ~n k ds =

j k dx.

Par consequent la matrice M est symetrique. De plus, elle est definie positive car
pour tout vecteur ~ RN non nul on a
M ~ ~ =

N
X

j,k=1

car =

PN

k=1 k k

j k

j k dx =

dx > 0

est non constant, etant solution dans V de

= 0

=0

= ~ ~n
n

dans f ,
sur ext ,
sur ,

qui ne peut pas avoir de solution constante puisque ~ 6= 0.