Dirences nies pour lquation de la chaleur.

e e On sintresse au probl`me de Cauchy pour lquation de la chaleur, paramtr e e e e e par un coecient de diusion constant > 0, une fonction source f () dune variable relle et une condition initiale u0 () : e 2u u 2 = f (x) , x IR , t > 0 (1) t x u(x, 0) = u0 (x) , x IR . On se donne un pas despace h > 0 et un pas de temps t > 0, les points de discrtisation xj = j h (j Z en espace et tn = n t (n IN) en temps e Z) qui dnissent un maillage uniforme. On approche la solution, suppose rguli`re e e e e n n u(x, t) du probl`me (1) au point de la grille (xj , t ) par le nombre uj . On sait e que le schma de discrtisation explicite classique ` deux pas de temps dni par e e a e la relation 1 (un+1 un ) 2 (un 2 un + un ) = f (xj ) , j Z , n IN Z (2) j j+1 j j1 j t h est dordre deux en espace mais seulement dordre un en temps. On se propose dans cet exercice de dnir un schma aux dirences ` deux pas de temps qui e e e a soit stable et dordre deux ` la fois en espace et en temps. a On suppose f 0 et on pose n (3) Uj u(xj , tn ) , j Z , n IN . Z 1) Dmontrer que pour u(, ) solution de (1), on a e 1 u 2 t 4 u n+1 n (4) (Uj Uj ) = (xj , tn ) + (xj , tn ) + O(t2 ) . 4 t t 2 x 2) Proposer une approximation ` cinq points et prcise dordre deux de la drive a e e e 4u partielle x4 dordre quatre en espace. 3) On suppose toujours f 0. Dduire des questions prcdentes un schma e e e e aux dirences nies explicite ` deux niveaux de temps et cinq points en espace e a dont lerreur de troncature, dont on rappellera la dnition, est dordre deux en e espace et en temps, i.e. peut se dvelopper sous la forme O(t2 ) + O(h2 ) + e 2 O(t h ) . 4) Dans les conditions analogues ` la question prcdente, montrer que le schma a e e e obtenu est stable au sens de Von Neumann sous une condition entre le coecient de diusion , le pas despace h et le pas de temps t quon prcisera. Pour e cela, on injecte dans le schma de la question 3) une onde de la forme e n (5) uj = exp(i j ) , j Z , i2 = 1 , Z 1

paramtre par le nombre rel , on montre que le passage du temps discret e e e n+1 conduit ` une valeur de uj a de la forme
n+1 (6) uj = g(, ) un j o` est le param`tre rel ` prciser et on exprime enn que les param`tres du u e e a e e schma sont tels quaucune onde nest amplie. e e 5) Trouver une condition susante pour que le schma propos ` la question 3) e ea vrie le principe du maximum, cest ` dire ici la condition : e a (7) ( un , k Z = ( un+1 , j Z . Z Z k j

6) Comment faut-il modier le schma propos ` la question 3) pour garder e e a lordre deux de prcision en espace et en temps lorsque le second membre f () du e probl`me (1) nest pas identiquement nul ? e Frdric Nataf et FD, juin 2002. e e

Dirences nies pour lquation de la chaleur. e e Proposition de corrig. e 1) On remarque dabord quon a :

2 u 2u 4u u 2u 2 2u = = 2 = 2 = 2 2 = 2 4 t2 t t t x x t x x x et il sut ensuite dappliquer la formule de Taylor pour tablir la relation (4). e 2) On part de la relation classique 2u 1 (S1) (xj ) = 2 (uj+1 2 uj + uj1 ) + O(h2 ) x2 h 4u et on lit`re pour approcher e : x4 2 2u 2u 2u 1 2u 4u (xj ) = (xj+1 ) 2 2 (xj ) + 2 2 (xj1 ) (xj ) 2 x4 x2 x2 h x2 x x 1 4 (uj+2 2 uj+1 + uj ) 2 (uj+1 2 uj + uj1 ) + (uj 2 uj1 + uj2 ) h ce qui conduit au schma numrique suivant : e e 4u 1 (S2) (xj ) 4 uj+2 4 uj+1 + 6 uj 4 uj1 + uj2 . x4 h Il reste ` vrier que ce schma est eectivement dordre deux, ce qui est un a e e exercice lmentaire dutilisation de la formule de Taylor, laiss au lecteur. ee e 3) Compte tenu des relations (4), (2) et (S2), le schma aux dirences scrit : e e e 1 (un+1 un ) (un 2 un + un ) j j j1 t j h2 j+1 j Z , n IN . Z (S3) 2 t n n n n n uj+2 4 uj+1 + 6 uj 4 uj1 + uj2 = 0 2 h4 Lerreur de troncature Tjn est par dnition gale ` lexpression obtenue au meme e a bre de gauche de la relation (S3), en remplaant partout lapproximation up par c k p la valeur interpole Uk dnie ` la relation (2). La proprit pour le schma (S3) e e a ee e davoir une erreur de troncature de la forme O(t2 ) + O(h2 ) + O(t h2 ) , donc dtre dordre deux en espace et en temps, est alors une consquence directe de e e la formule de Taylor (4) et de la prcision dordre deux en espace des schmas e e proposs aux relations (S1) et (S2). e 4) (S4) On pose = t h2 et on tire de (S3), (5) et (6) : 3

 t2 2 (2 cos 2) + (2 cos(2 ) 8 cos + 6) h2 2 h4 = 1 + 2 (1 cos) + 2 (2 cos2 1 4 cos + 3) = 1 4 sin2 + 2 2 (1 cos)2 2 = 1 4 sin2 + 8 2 sin4 , 2 2 donc 1 2 + 4 sin2 (S5) g( , ) = 1 4 sin2 . 2 2 2 La condition de stabilit e (S6) | g( , ) | 1 , IR conduit ` tudier pour quelles valeurs de la variable y 4 sin2 (/2) le polynome ae 1 2 e e a 1y + 2 y prend des valeurs infrieures ou gales ` 1 en valeur absolue. On trouve sans dicult 0 y 2 et compte tenu de la relation (S6) et de la positivit des e e constantes , h et t, cette condition scrit e 1 (S7) . 2 5) Il sut dexprimer que le schma (S3) dnit la nouvelle valeur un+1 comme e e j n combinaison convexe des variables uk pour k Z Or on a : Z. 2 n n+1 2 n 2 n n (uj+2 + un ) . uj = (1 2 + 3 ) uj + ( 2 ) (uj+1 + uj1 ) + j2 2 On vrie aisment que la somme des coecients de la relation prcdente est gale e e e e e 2 a ` 1, donc la condition (7) est implique par les deux ingalits 1 2 + 3 0 e e e 2 et 2 0. On en dduit que sous la condition (S7), le schma (S3) est e e monotone. 6) La relation (4) doit tre modie. En eet, si le second membre f est non e e nul, on a 2u u 2u 2 u 2 2u = = 2 +f = 2 = 2 2 +f t2 t t t x x t x x 4u 2f = 2 4 + 2 . x x Il sut donc de modier le schma (S3) en utilisant la relation (S1) ` partir du e a calcul prcdent. On en dduit : e e e 1 (un+1 un ) 2 (un 2 un + un ) j j+1 j j1 t j h 2 t n (S8) uj+2 4 un + 6 un 4 un + un = j+1 j j1 j2 4 2h = f (x ) + t f (x ) 2 f (x ) + f (x ) , j Z , n IN . Z j+1 j j1 j 2 h2 FD, juillet 2002. g = 1 + t 4