TD2

Analyse Numrique et Optimisation Dirences nies

O. Pantz

Exercice I. quation de convection-diusion On considre lquation de convection-diusion u 2u u +V 2 = 0 pour x R, t > 0, t x x avec u(x, 0) = u0 (x), u(, t) et u0 priodiques de priode 1. 1. Schma dcentr amont. On considre le schma
+1 un un j j

+V

n n n un un j uj 1 j +1 2uj + uj 1 = 0. x (x)2

a. Montrer que ce schma est au moins dordre un en temps et en espace. b. Donner des conditions susantes de stabilit L du schma lorsque V > 0 et V < 0. Montrer que ces conditions sont ncessaires dans le cas V > 0 (cest galement vrai pour V < 0, mais plus dlicat tablir). Pouvait-on prvoir ce rsultat ? c. Montrer que le schma est convergent sous la condition CFL introduite prcdemment. 2. Schma centr. Pour la mme quation, on considre le schma
+1 un un j j

+V

n un j +1 uj 1 2x 2

+1 n+1 +1 + un un j 1 j +1 2uj

(x)2

n n un j +1 2uj + uj 1 (x)2

= 0.

a. tudier la stabilit L2 du schma. Que se passe-t-il lorsque 0 ? b. Montrer que le schma est consistant, dterminer son ordre. c. tablir un rsultat de convergence. Exercice II. -schma. On considre lquation de la chaleur avec conditions aux bords priodiques sur lintervalle [0, 1]. u 2 u 2 = 0, x R, t > 0, t x u(x, 0) = u0 , u et u0 tant priodiques de priode 1. 1. On tudie le -schma dni par
+1 un un j j

+1 n+1 +1 un + un j +1 2uj j 1

(x)2 1

(1 )

n n un j +1 2uj + uj 1 = 0, (x)2

 dsignant un rel entre 0 et 1. a. Montrer que le schma est au moins dordre 1 en temps et deux en espace. b. On note u (k, t) la transforme de Fourier de la solution u de lquation de la chaleur, u(x, t) =
k Z

e2ikx u (k, t).

Dterminer lquation direntielle vrie par u (k, t). c. Appliquer la transformation de Fourier au -schma. Vrier que lorsque x converge vers zro, on retrouve lquation obtenue la question prcdente. tudier la stabilit L2 du schma. d. tudier la convergence du schma. 2. On considre dornavant lquation de convection-diusion avec coecients variables (on suppose que 0 < (x) et 0 a(x)), i.e. (x) u t x a(x) u x = 0 avec x R et t > 0.

On se propose de gnraliser le schma qui prcde en introduisant le nouveau schma j

+1 un un j j

+1 n+1 +1 aj un + aj 1 un j +1 (aj + aj 1 )uj j 1

(x)2 (1 )
n n aj un j +1 (aj + aj 1 )uj + aj 1 uj 1 = 0, (x)2

o j = (j x) et aj = a(j x). a. Montrer que pour toute fonction v priodique de priode un,
1

(x)
0

u (x, t)v (x)dx + t

a(x)
0

u v (x, t) (x)dx = 0. x x

N +1 muni de la norme b. Pour tout N , x = 1/(N + 1), on note L2 x (0, 1) lespace R N

=
j =0

|uj |2 x.

Montrer que si u dsigne la solution du schma numrique, on a alors pour tout v L2 x (0, 1), un+1 un ,v t + ah un+1 + (1 )un , v

= 0,

o (, ) et ah (, ) sont des formes bilinaires symtriques positives de L2 x (0, 1). c. Montrer que la solution u de lquation est telle que
1 1

(x)|u(x, t)|2 dx
0 0

(x)|u(x, 0)|2 dx.

d. En sinspirant de la proprit de dcroissance tablie la question prcdente dans le cas continu, montrer que le schma est L2 -stable pour 1/2. e. Montrer que le schma est au moins dordre 1 en espace et 2 en temps. En dduire la convergence du schma pour 1/2 ainsi que son ordre de convergence. 2