TD MA201 Calcul Scientique

Seance n
o
8
Approximation des equations paraboliques
2 Novembre 2004
Exercice 1. Analyse de stabilite L
2
du -schema (1)
On sinteresse ` a la resolution du probl`eme devolution :
(1)
_

_
u
t


2
u
x
2
= 0, x IR, t > 0,
u(x, 0) = u
0
(x) x IR, (u
0
(x) L
2
(IR)).
On consid`ere le schema aux dierences nies qui secrit, avec les notations habituelles :
(2)
u
n+1
j
u
n
j
t

u
n+1
j+1
2u
n+1
j
+u
n+1
j1
h
2
(1 )
u
n
j+1
2u
n
j
+u
n
j1
h
2
= 0
designant un param`etre reel entre 0 et 1.
1) Discuter lordre et le caract`ere explicite du schema en fonction de .
De fa con evidente, le schema est dordre 1 en temps et dordre 2 en espce sauf pour = 1/2
pour lequel il est dordre 2 en espace et en temps. Par ailleurs, le schema est implicite sauf
pour = 0.
2) Etudier par Fourier la stabilite L
2
du schema suivant les valeurs de .
On cherche les soluions de la forme :
u
n
j
= u
n
e
ikx
j
, k IR.
On obtient alors aisement :
u
n+1
= G
h
(k, t) u
n
,
1
TD MA201 Calcul Scientique
o` u le coecient damplication G
h
(k, t) est reel et donne par :
G
h
(k, t) =
1 4(1 ) sin
2
(
kh
2
)
1 + 4 sin
2
(
kh
2
)
,
o` u on a pose = t/h
2
. Linegalite 1 G
h
(k, t) 1 se reecrit :
1 4 sin
2
(
kh
2
) 1 4(1 ) sin
2
(
kh
2
) 1 + 4 sin
2
(
kh
2
).
Linegalite de droite est toujours satisfaite pour > 0. Lautre se reecrit :
(3) (1 2) sin
2
(
kh
2
)
1
2
.
Il faut alors distinguer deux cas :
1/2. Dans ce cas, le membre de gauche de (3) etant toujours negatif, (3) est
donc toujours satisfaite et le schema est inconditionnellement stable.
< 1/2. Dans ce cas, le membre de gauche de (3) est positif et atteint son maximum
(par rapport ` a k) pour sin
2
(
kh
2
) = 1. (3) est donc equivalent ` a
(1 2)
1
2
,
cest ` a dire la condition de stabilite
t
h
2

1
2(1 2)
.
Exercice 2. Analyse de stabilite L
2
du -schema (2)
Dans ce qui suit, designe un ouvert polygonal de IR
2
, a(x) et q(x) deux fonctions denies
sur ` a valeurs reelles positives, bornees avec en outre
0 < a

a(x), p. p. x .
On sinteresse ` a la resolution du probl`eme devolution
(4)
_

_
u
t
div(a(x)u) +q(x) u = 0, x , t > 0,
u(x, 0) = u
0
(x), x , (u
0
(x) L
2
()),
u
n
= 0, sur = .
2
TD MA201 Calcul Scientique
1) Ecrire une formulation variationnelle en espace du probl`eme sous la forme :
(5)
_

_
Trouver u(t) : IR
+
V tel que :
d
dt
(u(t), v) +a(u(t), v) = 0
o` u on precisera lespace de Hilbert V , le produit scalaire (, ) (celui qui intervient dans (5)
et non pas celui de V ) et la forme bilineaire a(, ).
If faut travailler avec V = H
1
(). Par ailleurs :
_

_
a(u, v) =
_

(au v +q u v) dx
(u, v) =
_

u v dx, (le produit scalaire L

2
).
2) On approche (4) par elements nis en espace (V
h
designe ci-dessous une famille de
sous-espaces de dimension nie de V ) et par un -schema en temps :
(6)
_

_
Trouver u
n
h
V
h
, n 1 tel que :
(
u
n+1
h
u
n
h
t
, v
h
) +a( u
n+1
h
+ (1 ) u
n
h
, v
h
) = 0, v
h
V
h
.
Demontrer lexistence et lunicite de la suite u
n
h
, etant donne u
0
h
, une approximation conve-
nable de u
0
dans V
h
.
Par recurrence, il sut de montrer que lon peut calculer u
n+1
h
` a partir de u
n
h
. Or, lorsque
u
n
h
est connu, le probl`eme ` a resoudre pour calculer u
n+1
h
secrit :
(7)
_
_
_
Trouver u
n
h
V
h
, tel que :
(u
n+1
h
, v
h
) + t a(u
n+1
h
, v
h
) = (u
n
h
, v
h
) (1 ) t a(u
n
h
, v
h
).
Pour conclure, soit on invoque Lax-Milgram (dans V
h
) soit on remarque que ce probl`eme
equivaut ` a resoudre un syst`eme lineaire symetrique deni positif. Cest ` a ce niveau quin-
terviennent les hypoth`eses sur les fonctions a(x) et q(x).
3) On suppose que 1/2. Montrer que, designant la norme associee ` a (, ) :
(8) u
n+1
h
u
n
h
.
Indication : on prendra v
h
= u
n+1
h
+ (1 )u
n
h
.
En deduire que le schema est inconditionnellement L
2
stable.
3
TD MA201 Calcul Scientique
Remarquons que :
v
h
= u
n+1
h
+ (1 ) u
n
h
=
u
n+1
h
+u
n
h
2
+ (
1
2
)(u
n+1
h
u
n
h
).
Par consequent, pour ce v
h
, il vient :
(
u
n+1
h
u
n
h
t
, v
h
) =
1
2t
_
u
n+1
h

2
u
n
h

2
_
+ (
1
2
) t
u
n+1
h
u
n
h
t

2
.
Par ailleurs, si on pose u
n+
h
= u
n+1
h
+ (1 )u
n
h
, il vient :
a( u
n+1
h
+ (1 )u
n
h
, v
h
) = a(u
n+
h
, u
n+
h
).
Nous obtenons donc lidentite :
(9)
1
2t
_
u
n+1
h

2
u
n
h

2
_
+ (
1
2
) t
u
n+1
h
u
n
h
t

2
+a(u
n+
h
, u
n+
h
) = 0.
Pour 1/2, comme a(, ) est une forme bilineaire positive, on en deduit u
n+1
h
u
n
h
,
soit de proche en proche :
u
n
h
u
0
h
,
ce qui correspond bien ` a un resultat de stabilite inconditionnelle dans L
2
.
4) On suppose que < 1/2 et on introduit :
a
h
= sup
v
h
V
h
a(v
h
, v
h
)
v
h

2
.
Montrer que linegalite (8) reste vraie si
t a
h

1
1 2
.
Conclure.
Dapr`es (9), le resultat reste vrai si on arrive ` a demontrer que
a(u
n+
h
, u
n+
h
) (
1
2
) t
u
n+1
h
u
n
h
t

2
0.
Or, en choisissant maintenant v
h
=
u
n+1
h
u
n
h
t
, nous obtenons :

u
n+1
h
u
n
h
t

2
= a(u
n+
h
,
u
n+1
h
u
n
h
t
).
4
TD MA201 Calcul Scientique
En utilisant linegalite de Cauchy-Schwartz (valable pour a(, ) est une forme bilineaire
symetrique et positive) puis la denition de a
h
, il vient :

u
n+1
h
u
n
h
t

2
a(u
n+
h
, u
n+
h
)
1
2
a(
u
n+1
h
u
n
h
t
,
u
n+1
h
u
n
h
t
)
1
2
a
h

1
2

u
n+1
h
u
n
h
t
a(u
n+
h
, u
n+
h
)
1
2
Par consequent :

u
n+1
h
u
n
h
t

2
a
h
a(u
n+
h
, u
n+
h
).
Nous en deduisons
a(u
n+
h
, u
n+
h
) (
1
2
) t
u
n+1
h
u
n
h
t

2

_
1 (
1
2
) a
h

_
a(u
n+
h
, u
n+
h
)
qui est bien positif si on a la condition de stabilite :
_
1
2

_
a
h
1
qui est bien linegalite annoncee.
5) Facultatif. Montrer que le calcul de a
h
equivaut ` a la recherche de la plus grande va-
leur propre dun probl`eme de valeur propres generalise. Eectuer le calcul de a
h
lorsque :
Louvert est un carre et les fonctions a(x) et q(x) sont constantes.
Le carre est discretise ` a laide dun maillage carre regulier de cote h.
On utilise les elements nis P
1
sur le maillage obtenu en decoupant
chaque petit carre en deux triangles rectangles.
Si A
h
et M
h
designent respectivement les matrices de masse et de rigidite, a
h
nest autre
que la plus grande valeur propre du probl`eme de valeurs propres :
A
h
U
h
= M
h
U
h
.
Le reste est essentiellement calculatoire. On commence par reecrire lequation aux valeurs
propres precedent sous la forme dun schema aux dierences nies dinconnues u
ij
, 0
i, j N si le carre a ete divise en N
2
petits carres. On cherche les solutions ` a variables
separees sous la forme :
u
ij
= f
i
g
j
.
On obtient pour chacune des suites f
i
et g
j
une relation de recurrence (la meme) ` a 3
niveaux et ` a coecients constants. Je nai pas le courage de faire les calculs. Cest long
mais pas trop dicile.
5
TD MA201 Calcul Scientique
Exercice 3. Analyse L

du schema explicite
Pour approcher la solution de (1), on consid`ere le schema numerique suivant :
(10)
u
n+1
j
u
n
j
t

u
n
j+1
2u
n
j
+u
n
j1
h
2
= 0
complete par la condition initiale :
u
0
j
= u
0
(x
j
).
1) Donner lalgorithme de calcul de la solution (on introduira =
t
h
2
)). Expliquer pour-
quoi la solution numerique u
n
j
se propage ` a vitesse nie.
En resolvant par rapport ` a u
n+1
j
, on obtient :
u
n+1
j
= u
n
j
+ (u
n
j+1
2u
n
j
+u
n
j1
).
Il est clair que en un pas de temps, le support de la solution numerique ne peut progresser
que dune maille vers la droite o` u vers la gauche. en dautres termes la vitesse de propa-
gation numerique est bornee par h/t.
2) Dans la suite on adoptera la notation :
u
h
= (u
j
), u
h

= sup
j
|u
j
|
Si =
t
h
2

1
2
, demontrer le principe du maximum discret :
a u
j
b a u
n
j
b.
En particulier u
n
h

u
0
h

( on dit que le schema est donc L

stable).
La formule denissant u
n+1
j
peut se reecrire sous la forme :
u
n+1
j
= u
n
j+1
+ (1 2) u
n
j
+ u
n
j1
.
Autrement dit, si
1
2
, u
n+1
j
apparat comme une combinaison lineaire convexe de u
n
j+1
, u
n
j
et u
n
j1
. On en deduit le resultat demande de fa con immediate.
Remarque ; en utilisant la convexite de la fonction x
p
pour p 1 , on obtient la decroissance
de toutes les normes l
p
de la solution.
3) On denit lerreur de troncature

n+
1
2
j
=
U
n+1
j
U
n
j
t

U
n
j+1
2U
n
j
+U
n
j1
h
2
6
TD MA201 Calcul Scientique
o` u par denition U
n
j
= u(x
j
, t
n
). On suppose que u est de classe C
2
en temps et C
4
en espace
et que ses derivees sont uniformement bornees sur IR[0, T]. A laide dun developpement
de Taylor, montrer que, pour tout entier n tel que (n + 1) t T, on a lestimation :

n+
1
2
h

C ( t

2
u
t
2

L
+h
2

4
u
x
4

L
)
o` u par denition :
f
L
= sup
(x,t) IR[0,T]
|f(x, t)|.
Il sut de remarquer que, par Taylor :

U
n+1
j
U
n
j
t
=
u
t
(x
j
, t
n
) +
t
2

2
u
t
2
(x
j
, t

), t

[t
n
, t
n+1
]
U
n
j+1
2U
n
j
+U
n
j1
h
2
=

2
u
x
2
(x
j
, t
n
) +
h
2
12

4
u
x
4
(x

, t
n
), x

[x
j1
, x
j1
].
4) On introduit lerreur sur la solution :
e
n
j
= U
n
j
u
n
j
(erreur commise).
Ecrire les equations qui relient e
n
h
et
n+
1
2
h
. Demontrer lestimation derreur
sup
(n+1)tT
e
n
h

C T ( t

2
u
t
2

L
+h
2

4
u
t
4

L
).
On obtient de fa con evidente :
(11)
e
n+1
j
e
n
j
t

e
n
j+1
2e
n
j
+e
n
j1
h
2
=
n+
1
2
j
,
avec en outre e
0
j
= 0 pour tout j. Nous avons donc :
e
n+1
j
= e
n
j+1
+ (1 2) e
n
j
+ e
n
j1
+ t
n+
1
2
j
En passant aux valeurs absolues et au supremum sur j, il vient :
e
n+1
h

e
n
h

+ t
n+
1
2
h

De proche en proche :
e
n
h

t
n1

k=0

n+
1
2
h

cest ` a dire, compte tenu de lestimation obtenue pour

n+
1
2
h

:
e
n
h

C t
n
( t

2
u
t
2

L
+h
2

4
u
t
4

L
),
ce qui permet de conclure.
7
TD MA201 Calcul Scientique
Exercice 4. Schema dEuler implicite et principe du
maximum
1) Question preliminaire. On dit quune matrice carree M (dordre N) est une M-matrice
si et seulement si :
(12)
_

_
M
ii
> 0, 1 i N, M
ij
0, pour i = j.
inf
1iN
_
M
ii

j=i
|M
ij
|
_
> 0.
Montrer quune telle matrice est necessairement inversible et que, si b est un vecteur dont
toutes les composantes sont positives, la solution x du syst`emr Mx = b a toutes ses com-
posantes positives (Indication : regarder l` a o` u x
i
est minimum).
Soit x = 0 dans le noyau de M et x
i
tel que |x
i
| = max |x
j
|. Lequation n
o
i de Mx = 0
secrit :
x
i
=
1
M
ii

j=i
M
ij
x
j
Par consequent
|x
i
|
1
M
ii

j=i
|M
ij
| |x
j
|
1
M
ii

j=i
|M
ij
| |x
i
| < |x
i
|,
ce qui est impossible.
Soit x solution de Mx = b et x
i
tel que x
i
= min x
j
, nous avons
x
i
= b
i

1
M
ii

j=i
M
ij
x
j
Linegalite x
j
x
i
jointe ` a M
ij
0 (pour i = j) entraine M
ij
x
j
M
ij
x
i
et par
consequent :
x
i
b
i

_
1
M
ii

j=i
M
ij
_
x
i
,
ce qui se reecrit
x
i
_
1
_
1
M
ii

j=i
|M
ij
|
__
b
i
.
Finalement b
i
> 0 entraine x
i
> 0 et donc x
j
> 0 pour tout j.
8
TD MA201 Calcul Scientique
On sinteresse ` a la resolution du probl`eme devolution
(13)
_

_
u
t
u = 0, x , t > 0,
u(x, 0) = u
0
(x), x , (u
0
(x) L
2
()),
u
n
= 0, sur = .
2) Montrer que si u
0
est positive alors
t 0, u(x, t) 0, p.p. x .
Indication : multiplier lequation par u

= inf(u, 0).
Il est facile de voir que si u H
1
( [0, T], alors u

H
1
( [0, T] avec en outre :
(14)
_

_
u

t
=
u0
u
t
,
u

=
u0
u.
Nous avons donc :
_

u
t
dx
_
u

u dx = 0.
En utilisant (14) on voit que :
_

_
_

u
t
dx =
1
2
d
dt
_

|u

|
2
dx,

_
u

u dx =
_

|u

|
2
dx.
Par consequent, on a lidentite :
1
2
d
dt
_

|u

|
2
dx +
_

|u

|
2
dx. = 0
En particulier, pour tout t > 0 :
_

|u

(x, t)|
2
dx
_

|u

(x, 0)|
2
dx = 0
puisque, u
0
etant positive, u

0
= 0. Par consequent, u

= 0, cest ` a dire u 0.
3) On discretise (13) en espace par elements nis P
1
(on appelle V
h
lespace dapproxi-
mation correspondant). Si on calcule les integrales exactement, on aboutit au syst`eme
9
TD MA201 Calcul Scientique
lineaire de dimension N
h
(U
h
designe ci-dessous le vecteur des degres de libertes habituels
de u
h
) :
(15) M
h
dU
h
dt
+A
h
U
h
= 0.
Montrer que la matrice de rigidite A
h
verie :
1 i N
h
,
M
h

j=1
A
ij
= 0.
Montrer que, si tous les angles du maillage triangulaire de sont strictement inferieurs ` a
/2,
i = j, A
ij
< 0.
Designons par w
i
la base canonique habituelle de V
h
. Nous avons
N
h

j=1
A
ij
=
N
h

j=1
_

w
i
w
j
dx =
_

w
i

_
N
h

j=1
w
j
_
dx = 0,
puisque
N
h

j=1
w
j
= 1. Par ailleurs, pour i = j,
A
ij
=

KT
h
_
K
w
i
w
j
dx.
Or, sur chaque triangle K, les vecteurs w
i
et w
i
sont constants. Soient ils sont nuls
(lorsque K nadmet pas le noeud i somme sommet) soient ils sont diriges selon les nor-
males exterieures aux aretes qui sont opposees respectivement aux noeuds i et j dans K.
Si tous les angles de sont strictement inferieurs ` a /2, langle entre ces deux normales est
strictement superieur ` a /2 et le produit scalaire w
i
w
j
est donc strictement negatif.
On conclut aisement.
4) Au lieu de calculer les integrales sur de fa con exacte, on les calcule de fa con ap-
prochee par la formule :
_

f(x) dx =

KT
h
I
K
(f), I
K
(f) =
mes(K)
3
3

j=1
f(S
j
(K)).
o` u les S
j
(K) sont les sommets du triangle K. On obtient alors le syst`eme dierentiel :
(16)

M
h
dU
h
dt
+

A
h
U
h
= 0.
10
TD MA201 Calcul Scientique
Montrer que I
K
(f) =
_
K
f(x) dx pour tout f P
1
(K).
En deduire que

A
h
= A
h
. Montrer que

M
h
est la matrice diagonale denie par (cest
ce quon appelle la condensation de masse) :

M
ii
=
N
h

j=1
M
ij
Le fait que la formule de quadrature soit exacte pour les polyn omes de degre 1 se verie
aisement par le calcul sur le triangle de reference. Pour le cas general, il sut de passer
par la transformation qui envoie le triangle de reference dans le triangle courant.
Le fait que

A
h
= A
h
resulte alors du fait que les produits w
i
w
j
sont constants dans les
triangles et du fait que la formule de quadrature est en particulier exacte pour les constantes.
Pour i = j, nous avons :

M
ij
=

KT
h
I
K
(w
i
w
j
).
Or, pour chaque K, I
K
(w
i
w
j
) = 0 puisque chaque fonction w
i
netant non nulle quen un
sommet du maillage, pour i = j, le produit w
i
w
j
sannule sur tous les sommets. Enn

M
ii
=

KT
h
I
K
(w
2
i
).
Comme w
i
(S
l
(K)) = 0 ou 1, w
i
(S
l
(K))
2
= w
i
(S
l
(K)). Par consequent :
I
K
(w
2
i
) = mes(K)
3

=1
w
i
(S
l
(K))
2
= mes(K)
3

=1
w
i
(S
l
(K)) =
_
K
w
i
dx
puisque w
i
appartient ` a P
1
et la formule de quadrature est exacte pour les polyn omes de
degre 1. Par suite :

M
ii
=

KT
h
_
K
w
i
dx =
_

w
i
dx.
Comme
N
h

j=1
w
j
= 1, cette derni`ere egalite se reecrit

M
ii
=
_

w
i
_
N
h

j=1
w
j
_
dx =
N
h

j=1
_

w
i
w
j
dx =
N
h

j=1
M
ij
,
ce que nous voulions demontrer.
11
TD MA201 Calcul Scientique
5) On approche (16) en temps ` a laide du schema dEuler implicite. On designe par u
n
h
V
h
lapproximation de la solution au temps t
n
= nt. Montrer que, si tous les angles du
maillage triangulaire de sont strictement inferieurs ` a /2, on a le principe du maximum
discret :
u
0
h
(x) 0 u
n
h
(x) 0, n 1.
Le schema dEuler implicite secrit, sous forme matricielle :

M
h
U
n+1
h
U
n
h
t
+A
h
U
n+1
h
= 0,
soit encore
(

M
h
+ t A
h
) U
n+1
h
= U
n
h
Comme nous travaillons avec les elements nis P
1
, montrer que u
n
h
(x) 0 equivaut ` a
montrer que toutes les composantes du vecteur U
n
h
sont positives, ce que nous ecrirons
U
n
h
0. De proche en proche, nous allons montrer que :
U
n
h
0 =U
n+1
h
0.
Dapr`es la question 1), if sut de verier que la matrice :
B =

M
h
+ t A
h
,
que lon inverse pour passer de U
n
h
` a U
n+1
h
, est une M matrice. Or, pour i = j,
B
ij
= t A
ij
0 (dapr`es la question 3) ).
De toute evidence B
ii
> 0 et, dapr`es la question 3),
B
ii

j=i
|B
ij
| = B
ii
+

j=i
B
ij
=

M
ii
+
N
h

j=1
A
ij
=

M
ii
> 0,
ce qui ach`eve la demonstration.
6) Montrer que, si on ne fait pas la condensation de masse, on recup`ere le principe du
maximum discret ` a condition que le pas de temps soit assez petit.
Je nentre pas dans les details. La matrice B ` a inverser ` a chaque pas de temps est cette
fois B = M
h
+ t A
h
. Le seul point non evident est que B
ij
soit negatif pour i = j. En
eet, une fois ce point acquis, on a :
B
ii

j=i
|B
ij
| = B
ii
+

j=i
B
ij
=
N
h

j=1
M
ij
+
N
h

j=1
A
ij
=

M
ii
> 0,
12
TD MA201 Calcul Scientique
Pour que B
ij
soit negatif, il sut que, pout tout couple (i, j) et tout triangle K :
t
_
K
w
i
w
j
dx
_
K
w
i
w
j
dx
ce qui sera surement verie sous une contrainte du type :
t
h
2
C
o` u la constante C est liee au plus petit angle du maillage.
7) Les raisonnements precedents fonctionnent-t-ils avec un schema quelconque ?
Non car cette fois, meme si on fait la condensation de masse, le passage de n ` a n + 1
se fait par lintermediaire du syst`eme :
(

M
h
+t A
h
) U
n+1
h
= (

M
h
(1 )t A
h
)U
n
h
.
Il est facile de verier que

M
h
+ t A
h
reste une M-matrice. En revanche, U
n
h
0
nimplique plus a priori (

M
h
(1 )t A
h
) U
n
h
0. Ceci ne sera vrai que si la matrice

M
h
(1)t A
h
est ` a coecients positifs. Un tel resultat sera obtenu sous une contrainte
du type :
(1 )
t
h
2
C
o` u la constante C est liee au plus petit angle du maillage.
Exercice 5. Schemas de Richardson et de DuFort-Frankel.
On sinteresse ` a lequation de la chaleur en dimension 1 :
(17)
u
t


2
u
x
2
= 0 x IR, t > 0
que lon approche ` a laide du schema de Richardson :
(18)
u
n+1
j
u
n1
j
2t

u
n
j+1
2u
n
j
+u
n
j1
h
2
= 0
1) Quel est a priori linconvenient pratique de ce schema ? Montrer quil sagit dun schema
du second ordre en espace et en temps mais inconditionnellement instable.
Le schema etant compl`etement centre est au moins dordre 2. Le calcul le conrme. Lin-
convenient pratique de ce schema est quil sagit dun schema ` a trois pas de temnps qui
necessite donc un schema de demarrage. Pour etudier sa stabilite, etudions les solutions
13
TD MA201 Calcul Scientique
particuli`eres de la forme : u
n
j
= u
n
e
ikx
j
, k IR. Nous aboutissons ` a la relation de
recurrence ` a deux niveaux (posons = t/h
2
) :
u
n+1
+ 2 sin
2
(
kh
2
) u
n
+ u
n1
= 0
dont la solution generale est donnee par :
u
n
= A r
n
1
+B r
n
2
,
o` u r
1
et r
2
sont les deux racines de lequation caracteristique :
r
2
+ 2 sin
2
(
kh
2
) r 1 = 0
Le produit des deux racines de cette equation est egal ` a 1. Le discriminant reduit, donne
par :
= 1 +
2
sin
4
(
kh
2
)
etant strictement positif, les deux racines sont reelles dictinctes. Lune dentre elles est
donc en module strictement superieure ` a 1, do` u linstabilite inconditionnelle du schema.
2) Dans (18), on remplace u
n
j
par
u
n+1
j
+u
n1
j
2
. On obtient ainsi le schema de DuFort-Frankel.
Montrer que ce schema est explicite et inconditionnellement stable.
Le schema reste bien explicite comme le montre la formule :
u
n+1
j
=
1
1 +
u
n1
j
+

1 +
_
u
n
j+1
+u
n
j1
_
.
Pour la stabilite on proc`ede comme ` a la question precedente. Lequation caracteristique
devient :
P(r) (1 +) r
2
2 cos kh r (1 ) = 0.
Le produit des racines, egal ` a (1)/(1+), est en valeur absolue strictement plus petit
que 1. Par ailleurs, on observe que :
P(cos kh) = sin
2
kh > 0, P(1) = 2 (1 cos kh) > 0.
Le polyn ome P etant positif ` a linni, si ses deux racines sont reelles, elles sont donc
comprises entre 1 et cos kh, donc de module plus petit que 1. Sinon, ces deux racines
sont complexes conjuguees et donc toutes de de module strictement inferieur ` a 1 puisque
le module de leur produit lest.
Le schema est bien inconditionnellement stable.
3) Analyser lerreur de troncature du schema de DuFort-Frankel et conclure (le schema
14
TD MA201 Calcul Scientique
nest consistant que si t/h tend vers 0). Ce resultat etait-il previsible ?
On peut reecrire le schema de DuFort-Frankel comme une perturbation du schema de Ri-
chardson sous la forme :
u
n+1
j
u
n1
j
2t

u
n
j+1
2u
n
j
+u
n
j1
h
2
+
t
2
h
2
u
n+1
j
2u
n
j
+u
n1
j
t
2
= 0
Par consequent si (
n
j
)
R
et (
n
j
)
DF
designent respectivement les erreurs de trancature as-
sociees aux schemas de Richardson et DuFort-Frankel, on voit que :
(
n
j
)
DF
= (
n
j
)
R
+
t
2
h
2

2
u
t
2
(x
j
, t
n
) +O(
t
4
h
2
).
Autrement dit, pour que le schema de DuFort-Frankel soit consistant, il faut que t/h
tende vers 0 et pour quil soit dordre 2, on retombe sur une condition du type t < C h
2
.
Un tel resultat etait previsible. En eet, ` a cause du caract`ere explicite du schema la solu-
tion numerique se propage ` a vitesse nie, egale en loccurrence ` a h/t. Comme la solution
exacte se propage ` a vitesse innie, pour esperer avoir convergence du schema il faut que
cette vitesse tende vers linni, cest ` a dire que t/h tende vers 0.
15