Vous êtes sur la page 1sur 6

TD2

Analyse Numrique et Optimisation CORRECTION

O.Pantz

Exercice I. quation de convection-diusion 1.a. Soit u la solution de lquation de convection-diusion. On pose


n Uj = u(j x, nt).

Lerreur de troncature du schma est n j =


n+1 n n n n n n Uj Uj Uj Uj Uj 1 +1 2Uj + Uj 1 +V t x (x)2

En eectuant des dveloppement de Taylor en (x, t) = (nx, j t), on montre que


n+1 n Uj Uj u(x, t + t) u(x, t) = t t u (t) 2 u (x, t) + O((t)2 ), + = t 2 t2 n n Uj Uj u(x, t) u(x x, t) 1 = x x u x 2 u (x, t) + O((x)2 ), = x 2 x2 n n n Uj u(x + x, t) 2u(x, t) + u(x x, t) +1 2Uj + Uj 1 = (x)2 (x)2 2 4 2 u (x) u + + O((x)4 ). = x2 12 x4 En rassemblant ces rsultats, on en dduit que

n j =

u u 2u +V 2 t x x x 2 u u 2 u (t) 2 u u ( x, t ) ( x ) V (x, t) + O(t + x) +V 2 + = t x x 2 t2 2 x2 (t) 2 u x 2 u = (x, t) V (x, t) + O((t)2 + (x)2 ) 2 2 t 2 x2

Ainsi, le schma est dordre au moins un en temps et en espace. Cependant, lexpression de lerreur de troncature obtenue dpend la fois des drives partielles de u en temps et en espace. Les termes de drivation de u en temps et en espace tant lies (u est solution de lquation de convection-diusion), ils pourraient se compenser. Lordre du schma serait alors plus leve que prvu. Dans ce cas particulier, ce nest pas le cas : On peut sen convaincre en exprimant la drive seconde de u par rapport au temps en fonction des drives partielles de u par rapport x. On a
2 4 2u 3u 2 u 2 u = V 2 V + t2 x2 x3 x4

Ainsi, n j = 2u (x, t) V 2 (t) V (x) /2 V (t) x2 2 (t) 4 u 3u (x, t) + (x, t) + O((t)2 + (x)2 ). 3 x 2 x3 b. Le schma propos est explicite : on peut exprimer directement un+1 en fonction de un sans rsoudre de systme. On a +1 n n un = un j +1 + uj + uj 1 . j 1

o t (x)2 2 t V t =1 x (x)2 t V t . + = x (x)2 =


+1 On constate que 1 = + + . Ainsi, si , et sont des coecients positifs, un est une combinaison j n n n convexe de uj +1 , uj et uj 1 . On en dduit dans ce cas que le schma est stable, en eet, +1 n n n n |un | |un j +1 | + |uj | + |uj 1 | ( + + ) sup |uk | = sup |uk |, j k k

et

+1 sup |un | sup |u0 j |. j j j

j Si < 0, le schma nest pas stable en norme L . En eet, si u0 j = (1) , on a n j un j = (2 1) (1)

et |un j | + lorsque n +. Dans le cas V > 0, on en dduit que le schma est stable si et seulement si V t 2 t 1. + x (x)2 (1)

Dans le cas V < 0, on en dduit que le schma est instable en norme L si (1) nest pas vri et stable si (1) est vri et |V |x. Il est dicile dtablir une condition ncessaire et susante de stabilit L dans le cas V < 0. c. Si les conditions CFL introduites prcdemment sont vries, le schma est stable. Comme il est consistant, on en dduit quil est convergent daprs le Thorme de Lax. 2. Schma centr. Le schma centr propos peut scrire sous la forme
+1 un j

t +1 +1 (un+1 2un + un j j 1 ) = 2(x)2 j +1 un j V t n t n (un 2un (uj +1 un j + u j 1 ) j 1 ) + 2x 2(x)2 j +1

Par transformation de Fourier, on en dduit que 1+ 2t n+1 (k ) = sin(k x)2 u (x)2 1 Ainsi, u n+1 (k ) = A(k ) un (k ) avec A(k ) = (x)2 2t sin(k x)2 iV tx sin(2k x) . (x)2 + 2t sin(k x)2 2t V t sin(k x)2 i sin(2k x) u n . (x)2 x

La condition de stabilit est |A(k )| 1. On a |A(k )|2 = 1 + 4s(k )(x)2 (t) 2 (t)V 2 (1 s(k )) 2 ((x)2 + 2ts(k ))
2

o s(k ) = sin2 (k x). Le schma est donc stable en norme L2 si et seulement si V 2 t(1 s) 2 0 pour tout s, 0 < s < 1, cest--dire si et seulement si t 2/V 2 . Lorsque 0, le schma devient instable, quelque soit le pas de temps t x. Ce rsultat na rien dtonnant, en eet, pour = 0, le schma centr est instable pour lquation dadvection (cf. cours). n b. On procde comme lors de la question 1.a.. Soit Uj = u(j x, j t), lerreur de troncature est n j
n+1 n n n Uj Uj Uj +1 Uj 1 +V = t 2x 2 n+1 n+1 n+1 n n n Uj + Uj Uj +1 2Uj 1 +1 2Uj + Uj 1 + (x)2 (x)2

u 2 u t 2 u (x)2 3 u u +V 2 + + + O((x)4 + (t)2 ). t x x 2 t2 6 x3 Le schma est donc au moins dordre 2 en espace et un en temps. De plus, quitte a remplacer la drive seconde de u en temps par son expression en fonction des drives partielles de u suivant x, on peut montrer que cest lordre optimal. c. Pour t assez petit, la condition de stabilit est automatiquement vrie, on en dduit (daprs le thorme de Lax) que le schma est convergent et que pour t assez petit, il existe une constante K tel que en 2 KT C ((t) + (x)2 ) n j = o en = un U n . Exercice II. -schma. Par dveloppement de Taylor, on montre que u(tn+1 , xj ) u(tn , xj ) u(tn , xj 1 ) + 2u(tn , xj ) u(tn , xj +1 ) + t (x)2 t 2 u (t)2 3 u (x)2 4 u = + 2 t2 6 t3 12 x4 4 6 (x) u (tn , xj ) + O((x)6 + (t)3 ) 360 x6 (x)2 4 u (x)4 6 u (t)2 3 t 2 + (tn , xj ) = 4 2 12 x 6 360 x6 + O((x)6 + (t)3 ) et u(tn+1 , xj ) u(tn , xj ) t u(tn+1 , xj 1 ) + 2u(tn+1 , xj ) u(tn+1 , xj +1 ) + (x)2 t 2 u (t)2 3 u (x)2 4 u = 2 t2 3 t3 12 x4 5 2 (x)2 (t)2 6 u (x)4 6 u (x) t u (tn , xj ) 12 tx4 24 t2 x4 360 x6 3 6 4 + O((t) + (x) + (x) (t)) = (x)2 4 u (t)2 2 5 u t 2 + + 2 12 x4 2 x5 (t)2 3 t(x)2 2 (x)4 6 u + + 3 12 360 x6 (t)2 (x)2 3 8 u + O((t)3 + (x)6 + (x)4 (t)). 24 x8 3

Par combinaison linaire, on obtient que u(tn+1 , xj ) u(tn , xj ) u(tn+1 , xj 1 ) + 2u(tn+1 , xj ) u(tn+1 , xj +1 ) + t (x)2 u(tn , xj 1 ) + 2u(tn , xj ) u(tn , xj +1 ) + (1 ) (x)2 2 (x) 4u 1 2 2 t = 2 12 x4 2 2 5 (t) u + 2 x5 2 3 6u (x)4 (x)2 1 (t) (t)2 3 + + 6 360 2 12(t) x6 (t)2 (x)2 3 8 u 24 x8 3 +O((t) + (x)6 + (x)4 (t)). Pour = 1/2, le -schma est dordre 1 en temps et 2 en espace. Pour = 1/2 (schma de CrankNicholson), le schma est dordre 2 en espace et en temps. Pour = 1/2 (x)2 /12 t, le schma est dordre 4 est espace et 2 en temps. En eet, u(tn+1 , xj ) u(tn , xj ) u(tn+1 , xj 1 ) + 2u(tn+1 , xj ) u(tn+1 , xj +1 ) + t (x)2 u(tn , xj 1 ) + 2u(tn , xj ) u(tn , xj +1 ) + (1 ) (x)2 (x)2 (x)2 4 u = 12 12 x4 1 (x)2 (t)2 2 5 u + 2 12 t 2 x5 2 3 4 6u (t) 3(x) + 720 6 x6 2 2 (x) (t)2 (x)2 3 8 u (x) 12 12 24 x8 + O((t)3 + (x)6 + (x)4 (t)). (Ouf !) b. Par transformation de Fourier, on montre que (x)2 t(e2ikx 2 + e2ikx ) u n+1 (k ) = (x)2 + (1 )t(e2ikx 2 + e2ikx ) u n (k ), puis que u n+1 (k ) = A(k ) un (k ) avec A(k ) = 1 4 sin(k x)2 t . (x)2 + 4t sin(k x)2

La condition de stabilit est |A(k )| 1, cest dire 1 pour tout s [0, 1], ou encore 2t(1 2) (x)2 . 4 (2) 4st 1, (x)2 + 4ts

En particulier, si 1/2, le schma est inconditionnellement stable. c. Sous la condition CFL (2), le schma est stable et donc convergent daprs le thorme de Lax (il est consistant daprs la question 1). 2. On discrtise tout dabord les fonctions et a en posant i = (ix) et ai = a(ix). On propose de gnraliser le -schma laide du schma j
+1 n+1 +1 +1 aj u n + aj 1 u n un un j j +1 (aj + aj 1 )uj j 1 j t (x)2

(1 )

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

2 b. Soit un j dnit par le schma propos, on a pour tout v Lx (0, 1), N +1 n+1 +1 +1 aj u n + aj 1 u n un un j j +1 (aj + aj 1 )uj j 1 j vj vj t (x)2 j =0 N

N j =0 j

(1 )
j =0

n n aj u n j +1 (aj + aj 1 )uj + aj 1 uj 1 vj = 0 (x)2

(avec la convention vk+p(N +1) = vk pour tout k {0, , N } et p Z). On


N +1 n+1 +1 aj u n + aj 1 u n j +1 (aj + aj 1 )uj j 1 vj (x)2

j =0 N

=
j =0 N

aj aj 1 n +1 n1 un+1 un uj +1 uj vj vj j x j +1 x j =0 aj +1 un+1 un (vj +1 vj ) . j x j +1

(3)

=
j =0

Ainsi, en posant
N

(u, v ) =
j =0

j uj vj (x)

et ah (u, v ) =

aj
j =0

uj +1 uj vj +1 vj (x), x x

on dduit de (3) que un+1 un ,v t + ah un+1 + (1 )un , v = 0.

(4)

c. On applique la formule (4) vh = un+1 + (1 )un . On en dduit que 1 n 2 n+1 |un+1 |2 un |2 |u | + (2 1)|u 2 + ah (un+1 + (1 )un ), un+1 + (1 )un )) = 0,
2 o |v |2 = (v, v ) . Or pour tout v Lx (0, 1), on a ah (v, v ) 0. Ainsi, si 1/2, on a n 2 |un+1 |2 |u | . 0 2 Ainsi, |un |2 |u | , et

un

0 2 0 2 |un |2 . |u | u

Le schma est donc stable en norme L2 . n d. On pose Uj = u(j x, nt). Par dveloppement de Taylor, on montre que
n n 2 a(x) aj U j +1 (aj + aj 1 )Uj + aj 1 Uj 1 = (x)

2u u + a (x) x2 x

+ O((x)4 ).

On a aisment que le schma est dau moins dordre 1 en temps et en espace (en poussant le dveloppement, on peut montrer que cest lordre optimal). Daprs le thorme de Lax, on en dduit que le schma est convergent pour 1/2, et converge en O(t + (x)2 ). En dautres termes, il existe une constante C telle que U n un
L2

C (t + (x)2 ).