Académique Documents
Professionnel Documents
Culture Documents
On rappelle que l’étude sur la méthode des différences finies pour résoudre des équations
aux dérivées partielles se décompose en trois articles :
— [AF 500] Méthode des différences finies pour les EDP stationnaires ;
— [AF 501] Méthode des différences finies pour les EDP d’évolution ;
— [AF 502] Algorithmes numériques pour la résolution des grands systèmes.
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Sciences fondamentales AF 501 − 1
MÉTHODE DES DIFFÉRENCES FINIES _______________________________________________________________________________________________________
1. Problèmes du premier Dans la suite de cet article, on supposera pour simplifier que
ordre en temps. C = 1, K = a (constante positive) ; on ne considérera de plus que
les conditions aux limites de Dirichlet homogènes, ce qui
Équation de la chaleur conduira à la formulation du problème modèle suivant :
∂u ( x, t ) ∂ 2u ( x , t )
------------------------- - = f ( x , t ) , x ∈ ]0, 1[, t ∈ ]0, T ]
– a ---------------------------
∂t ∂x 2
1.1 Position du problème
u ( 0, t ) = u ( 1, t ) = 0, t ∈ [0, T ]
On considère une barre métallique de longueur unité ; on sup-
pose que cette barre est soumise à un apport de chaleur f (x, t ) par u ( x , 0 ) = u 0 (x ) , x ∈ [0, 1]
unité de longueur et de temps et que, de plus, la température
u (x, t ) de la barre est maintenue à zéro à chacune de ses extrémi-
tés. On désigne par C la capacité thermique et par K le coefficient
de diffusion de chaleur ; rappelons que le coefficient de diffusion
de chaleur exprime qu’en tous les points de la barre les tempéra-
tures ont tendance à s’uniformiser. En supposant que la dimension
1.2 Schémas numériques de discrétisation
transversale de la barre est négligeable par rapport à sa dimension par différences finies
longitudinale, la modélisation de ce problème conduit à déterminer
u (x, t ) en chaque point x ∈ [0, 1] et pour tout instant t ∈ [0, T ], T Pour discrétiser le problème modèle, on procède de manière
représentant l’horizon d’intégration, solution de l’équation de la analogue à la démarche utilisée pour le problème stationnaire étu-
chaleur : dié dans l’article [AF 500] ; on divise donc :
1
— l’intervalle [0, 1] en (n + 1) intervalles de longueur h = --------------- ;
∂u ( x, t )
C ------------------------- ∂2 u ( x , t ) n+1
- = f ( x , t ) , x ∈ ]0, 1[, t ∈ ]0, T ]
– K ---------------------------
∂t ∂x 2 — l’intervalle [0, T ] en M intervalles de temps k, tels que T = Mk.
u ( 0, t ) = u ( 1, t ) = 0, t ∈ [0, T ] On pose x i = ih, pour i ∈ {1, 2, ..., n }, tm = mk pour
m ∈ {0, 1, ..., M } ; on écrit le problème modèle au point (x i , tm )
u ( x , 0 ) = u 0 (x ) , x ∈ [0, 1] avec 1 i n et m 0 :
∂u ∂ 2u
-------- ∂x 2 i m
- – a ----------- ( x , t ) = f ( xi , tm )
avec u0 (x ) température initiale de la barre. ∂t
Remarque ∂u ( x i , tm ) ∂ 2u ( x i , t m )
On remplace ------------------------------- et ---------------------------------
- par des quotients dif-
Les conditions aux limites de type Dirichlet homogènes ∂t ∂ x2
u (0, t ) = u (1, t ) = 0 correspondent, évidemment, au fait que les férentiels faisant intervenir les valeurs de u aux points x i ,
extrémités de la barre sont maintenues à une température nulle. 0 i n + 1 , et aux instants t m , m 0 .
On rencontre aussi des conditions aux limites de type Neumann
représentées par des équations du type : Exemple : on écrira :
∂ 2u ( x i , t m ) u ( x i + 1 , t m ) – 2u ( x i , t m ) + u ( x i – 1 , t m )
∂u ( x, t ) ∂2 u ( x , t ) -------------------------------- - + O(h 2 )
- = ---------------------------------------------------------------------------------------------------------
C ------------------------- - = f ( x , t ) , x ∈ ]0,1[, t ∈ ]0, T ]
– K --------------------------- ∂x 2 h2
∂ t ∂x 2
∂u ( x i , t m ) u ( xi , tm + 1 ) – u ( xi , tm )
∂u ( 0, t ) ∂u ( 1, t ) ---------------------------- = ---------------------------------------------------------------- + O(k )
K ------------------------- = ϕ ( t ) , K ------------------------- = ψ ( t ) , t ∈ [0, T ] ∂t k
∂x ∂x
u ( x ,0 ) = u 0 ( x ) , x ∈ [0, 1] et on obtient ainsi :
u (x , t
m + 1 ) – u ( xi , tm )
----------------------------------------------------------------
i
ces conditions exprimant que le flux de chaleur en chaque extré-
mité de la barre est fixé. Bien entendu, on peut aussi rencontrer, en k
fonction de la réalité physique, d’autres types de conditions aux u ( x i + 1 , t m ) – 2u ( x i , t m ) + u ( x i – 1 , t m )
limites, comme température fixée à une extrémité de la barre et – a --------------------------------------------------------------------------------------------------------- + O ( h 2, k )
h2
flux de chaleur fixé à l’autre par exemple, ce qui correspond à des ≡ f ( x i , tm ) , 1 i n , m 0
conditions aux limites de type mêlées Dirichlet-Neumann.
Remarque
u ( x 0 , tm ) = u ( x n + 1 , t m ) = 0
Dans le cas d’un matériel non homogène, le problème précédent
est remplacé par :
u ( xi , 0 ) = u 0 ( xi )
∂u ( x, t ) ∂ ∂u (x, t )
∂t
∂x ∂x
C (x ) ------------------------- – -------- K (x ) -------------------------
Cette écriture permet de définir les schémas numériques définis-
sant u i ≈ u ( x i , tm ), en traitant de manière particulière le terme
m
= f ( x , t ) , x ∈ ]0, 1[, t ∈ ]0, T ]
temporel. La façon la plus générale de définir les schémas aux dif-
férences finies est de considérer une combinaison convexe de
u ( 0, t ) = u ( 1, t ) = 0, t ∈ [0, T ] l’équation de la chaleur aux instants t m et t m + 1 ; plus précisément,
u ( x , 0 ) = u 0 (x ) , x ∈ [0, 1] soit θ ∈ [0, 1] un nombre réel ; écrivons l’approximation de (1 – θ )
fois le problème modèle considéré à l’instant tm et de θ le même
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
AF 501 − 2 © Techniques de l’Ingénieur, traité Sciences fondamentales
______________________________________________________________________________________________________ MÉTHODE DES DIFFÉRENCES FINIES
problème à l’instant t m + 1 , ce qui permet de définir le - schéma ainsi pour θ = 1, on obtient le schéma purement implicite qui
suivant : s’écrit matriciellement :
(I + α B ) U m + 1 = F m + 1 + U m
m+1 m
ui –ui
alors que pour θ = 0,5, on obtient le schéma implicite de
------------------------------
k
-
Crank-Nicolson :
m m m m+1 m+1 m+1
u i + 1 – 2u i + u i – 1 u i + 1 – 2u i + ui–1 α α
I + ----2- B U m + 1 = ----2- F m + F m + 1 + I – ----2- B U m
– a ( 1 – θ ) ----------------------------------------------------
- + θ ----------------------------------------------------------------
- 1
h2 h2
= (1 – θ) f i + θf i
m m+1
, 1 i n, m 0 Remarque
Il existe d’autres types de schémas numériques pour résoudre le
p p problème modèle, par exemple le schéma saute-mouton défini
u 0 = u n + 1 = 0, p = m et p = m + 1 par :
0
u i = u 0 ( ih ) m+1 m m m m
ui – ui u i + 1 – 2u i + u i – 1 m
- – a ----------------------------------------------------
--------------------------------- 2
= f i , 1 i n, m 0
p 2k h
avec f i = f ( x i , t p ), pour p = m ou p = m + 1. m m
u0 = un+1 = 0
Pour θ = 0, le schéma précédent définit un schéma explicite, 0
m u i = u 0 (ih )
c’est-à-dire que les valeurs u i étant connues (par la condition ini-
tiale lorsque m = 0, et pour m > 0 par le calcul de l’itéré en temps
m+1 C’est un schéma à trois niveaux explicite qui, bien que plus
précédent), les valeurs u i sont déterminées par la récurrence : précis que les schémas précédents, n’est pas intéressant sur le plan
numérique car il est instable, c’est-à-dire sensible à la propagation
des erreurs systématiques d’approximation, de chute ou de tron-
u m + 1 = k f m + u m + α u m – 2u m + u m ) , 1 i n , m 0
i i i ( i+1 i i–1 cature. Citons également le schéma explicite à trois niveaux pro-
posé par Du Fort et Frankel :
m m
u0 = un+1 = 0
um+1 – um–1 m m+1 m–1 m
0
---------------------------------------
ui+1 – ui –ui + ui – 1
u i = u 0 ( ih ) i i
- – a ----------------------------------------------------------------------------
-
2k h2
m
= f i , 1 i n, m 0
ak
avec α = -------2- . m m+1
h u0 = un+1 = 0
Si l’on définit les vecteurs de dimension n par : 0
u i = u 0 (ih )
m m t
F m = ( k f 1 ,..., k f n ) ainsi que le schéma rétrograde implicite, également à trois
m m t
U m = (u 1 ,..., u n ) niveaux, suivant :
k 2
---- ----- u i m 1 m–1
– 2u i + ----- u i
2
– a ------------------------------------------------------------------
h 2
-
2 –1
m
= f i , 1 i n, m 0
–1 2 –1
u0
m+1 m+1
= un+1 = 0
. . .
. . .
B = 0
. . . u i = u 0 (ih )
. . .
–1 2 –1
–1 2 1.3 Erreur de troncature, consistance
le schéma explicite s’écrit matriciellement : et ordre d’un schéma
U m + 1 = F m + ( I – αB ) U m Pour chacun des schémas précédents, on remplace dans le
Pour θ ≠ 0, le schéma précédent définit un schéma implicite,
m
schéma le terme u i par u (xi, tm ) et l’on définit l’erreur de tronca-
c’est-à-dire qu’à chaque pas de temps, en supposant connu le m
ture, notée E i , comme la différence entre le premier et le second
vecteur U m (toujours par la condition initiale lorsque m = 0 et pour
membre de ces quantités. Ainsi pour le θ - schéma considéré au
m > 0 par le calcul de l’itéré en temps précédent), le vecteur U m + 1
paragraphe précédent, on a l’expression suivante de l’erreur de
est obtenu en résolvant le système linéaire suivant :
troncature :
(I + αθ B ) U m + 1 = (1 – θ ) F m + θ F m + 1 + (I – α (1 – θ ) B ) U m u ( xi , tm + 1 ) – u ( xi , tm )
m
E i = ------------------------------------------------------------------ -
Notons immédiatement que, grâce aux résultats du paragraphe k
4 de l’article [AF 500] pour θ ∈]0, 1], la matrice (I + αθ B ) est u ( x i + 1 , t m ) – 2u ( x i , t m ) + u ( x i – 1 , t m )
inversible ; dans le cas du problème monodimensionnel en espace,
– a ( 1 – θ ) -------------------------------------------------------------------------------------------------------------
h2
-
la résolution de ce système s’effectue par une simple adaptation de
u ( x i + 1 , t m + 1 ) – 2u ( x i , t m + 1 ) + u ( x i – 1 , t m + 1 )
la méthode de Gauss (cf. [1] pour l’adaptation de cet algorithme au
cas des matrices tridiagonales). Pour des valeurs particulières du h2
+ θ ---------------------------------------------------------------------------------------------------------------------------------
-
paramètre θ, on retrouve des schémas numériques particuliers ; – ( 1 – θ ) f ( x i , t m ) – θf ( x i , t m + 1 )
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Sciences fondamentales AF 501 − 3
MÉTHODE DES DIFFÉRENCES FINIES _______________________________________________________________________________________________________
i, m
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
AF 501 − 4 © Techniques de l’Ingénieur, traité Sciences fondamentales
______________________________________________________________________________________________________ MÉTHODE DES DIFFÉRENCES FINIES
1 – α ( 1 – θ ) λ k (B )
µ k ( P ) = --------------------------------------------------- , ∀ k ∈ { 1, ..., n } u^ m + 1 (ξ ) = c (ξ ) u^ m (ξ )
1 + αθλ k (B )
où c (ξ ) est le coefficient d’amplification défini par :
avec λk (B ) valeurs propres de la matrice B données par le résultat
du lemme 5 de l’article [AF 500] ; on vérifie alors que la condition ξh
– 1 µ k ( P ) 1, ∀ k ∈ { 1,..., n }, se traduit par la condition 1 + 2α ( 1 – θ ) ( cos ( ξ h ) – 1 )
1 – 4 α ( 1 – θ ) sin 2 --------- 2
suivante : c (ξ ) = ----------------------------------------------------------------------------- = -----------------------------------------------------------------
1 – 2 αθ ( cos ( ξ h ) – 1 ) ξh
ak 1
- ---------------------------, θ ∈ [ 0, 1 ]
α = --------
1 + 4 αθ sin --------- 2
2
h2 2 (1 – 2θ)
ξh
qui représente donc la condition de stabilité. On peut résumer 4 α sin2 ---------
2
l’étude précédente par le théorème suivant : = 1 – --------------------------------------------------
ξh
1 + 4 αθ sin --------- 2
2
Théorème 2. Le θ - schéma est inconditionnellement stable
s i θ 0,5 ; s i θ < 0 , 5 , c e s c h é m a e s t s t a b l e s i Comme précédemment, une condition suffisante de stabilité est
ak 1 donnée par – 1 c (ξ ) 1 ; or on a évidemment c (ξ ) < 1 ; la véri-
α = --------
- --------------------------- . fication de la seconde inégalité conduit à la condition suivante :
h2 2 (1 – 2θ)
ak 1
α = -------2- ---------------------------, θ ∈ [ 0, 1 ]
Corollaire 1. Le schéma purement implicite (θ = 1) et le schéma h 2 (1 – 2θ)
de Crank-Nicolson (θ = 0,5) sont inconditionnellement stables.
Le schéma purement explicite (θ = 0) est stable à condition que qui correspond à la condition obtenue par la méthode matricielle ;
ak 1 on retrouve donc les résultats obtenus et énoncés dans le
α = --------
- ------ . théorème 2 et le corollaire 1.
h2 2
Remarque
1.5 Convergence des schémas
Le schéma saute-mouton est instable ; le schéma de Du Fort et
Frankel et le schéma rétrograde sont inconditionnellement stables.
Soit e m, le vecteur erreur au temps discret m et défini par :
■ La méthode matricielle présentée ci-dessus est applicable dans le
m t
cas où la matrice B est symétrique. Or il existe des situations où e m = e 1 ,..., e i ,..., e n
m m
cette matrice ne vérifie pas cette condition ; c’est le cas par exemple
du problème de convection-diffusion d’évolution. Dans ce cas, le
avec :
calcul du coefficient d’amplification permet de s’affranchir de cette
m m
contrainte et fournit une méthode d’analyse plus générale de la e i = u i – u ( xi , tm ) , 1 i n , m 0
stabilité. La définition de la stabilité étant inchangée, considérons
toujours le θ - schéma homogène :
Définition 5. Un schéma numérique est convergent si :
– u i – α ( 1 – θ ) u i + 1 – 2u i + u i – 1
m+1 m m m m
ui
m
u i – u ( x i , t m ) → 0 lorsque h → 0, k → 0, ∀ i ∈ { 1,..., n } , ∀m 0
+ θ u i + 1 – 2u i
m+1 m+1 m+1
+ ui–1 = 0, 1 i n , m 0
Considérons le θ - schéma ; en considérant d’une part l’écriture
que l’on peut encore formellement écrire en repassant à la variable du schéma et d’autre part celle de l’erreur de troncature et en sous-
d’espace continue x et en mettant dans le premier membre les ter- trayant membre à membre, on vérifie aisément que les
mes à l’instant discret (m + 1) et dans le second membre ceux à composantes de l’erreur satisfont le schéma numérique, avec un
l’instant discret m : m
second membre égal à – E i , soit :
u m + 1 (x ) – α θ u ( x + h ) – 2u m + 1 (x ) + u m + 1 ( x – h )
m+1
m+1 m m m m
ei –ei e i + 1 – 2e i + e i – 1
= u m (x ) + α ( 1 – θ ) u
m
( x + h ) – 2u m (x ) + u m ( x – h ) , m 0 -------------------------------
k
- – a ( 1 – θ ) ---------------------------------------------------
h 2
-
m+1 m+1 m+1
e i + 1 – 2e i + ei – 1
Considérons la transformée de Fourier du schéma ainsi écrit ; on
rappelle que cette transformation est définie par :
+ θ ---------------------------------------------------------------
h 2 m
- = – E i , 1 i n, m 0
∞ p p
1 e 0 = e n + 1 = 0, p = m et p = m + 1
u^ (ξ ) = -------------- u (x ) exp ( – j ξ x ) dx, j 2 = – 1
2π – ∞ 0
ei = 0
On vérifie aisément par un calcul direct que :
∞ soit matriciellement :
1
-------------- u (x ± h ) exp ( – j ξ x ) dx = u^ ( ξ ) exp ( ± j ξ h )
2π – ∞ (I +αθ B ) e m + 1 = E m + (I – α (1 – θ) B ) e m
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Sciences fondamentales AF 501 − 5
MÉTHODE DES DIFFÉRENCES FINIES _______________________________________________________________________________________________________
où les composantes du vecteur E m sont égales à l’erreur de tron- Exemple : à titre illustratif, on considère l’équation suivante :
cature, au signe près ; en multipliant scalairement par e m + 1, il
vient : ∂u ( x, t ) ∂ 2 u ( x , t )
------------------------- – ---------------------------- = 0, 0 < x < 1, t > 0
∂t ∂x 2
< ( I + αθB ) e m + 1 , e m + 1 > = < E m , e m + 1 >
+ < ( I – α ( 1 – θ ) B ) e m , e m + 1 >, ∀ m 0 u ( 0, t ) = u ( 1, t ) = 0, t 0
Or, la matrice (I + αθB ) étant symétrique définie positive, on peut u ( x , 0 ) = sin ( π x ) , 0 x 1
minorer le second membre conformément aux résultats de la pro-
position 2 de l’article [AF 500] ; si, de plus, on note par ρ, la norme
matricielle de (I – α (1 – θ ) B ), on obtient finalement : dont la solution exacte est donnée par :
avec β inverse de la plus petite valeur propre de la matrice On a étudié expérimentalement la stabilité et la précision du θ -
(I + αθB). schéma, pour θ = 0, θ = 0,5 et θ = 1 ; les résultats des simulations
sont représentés sur les figures 1, 2, 3, 4 et 5 où, sur ces dernières,
En posant ε m = e m 2 , ∀ m 0 , on obtient finalement : chaque courbe représente la valeur de u (x, t), pour 0 x 1 et à un
instant t m = m k donné. Dans la mesure où le terme source de
l’équation de la chaleur [c’est-à-dire le second membre f (x, t )] à inté-
ε m + 1 β Em 2 + ρ εm, ∀m 0 grer est nul, la solution u ( x , t ) tend vers zéro lorsque t tend vers
l’infini, ce que l’on vérifie expérimentalement. De plus, la donnée ini-
Supposons, de plus, que le schéma vérifie la condition de sta- tiale u 0 (x ), pour 0 x 1, correspond à la courbe ayant la plus
bilité, ce qui a pour conséquence que la quantité grande amplitude. La figure 1 représente la solution exacte, les
ε m = e m 2 , ∀ m 0, est bornée. Pour pouvoir obtenir une majo- figures 2 et 3 représentent la solution obtenue en mettant en œuvre le
ration de la norme de l’erreur, on utilise le lemme suivant dont le schéma explicite respectivement dans le cas où la condition de stabi-
résultat s’obtient par récurrence : lité est vérifiée et dans celui où elle n’est pas vérifiée, les figures 4 et 5
respectivement dans le cas de l’utilisation du schéma de Crank-Nicol-
son et du schéma implicite. On constate expérimentalement que l’utili-
Lemme 1. Si l’on a une suite qui vérifie la relation de sation du schéma explicite nécessite le choix de pas de discrétisation
récurrence : en temps relativement petit (cf. figure 2 où m = 900) pour satisfaire la
condition de stabilité ; dans le cas où m = 500 (cf. figure 3), cette con-
ε m + 1 ρ ε m + δ , ε m 0, ∀m 0, ρ ≠1 dition de stabilité n’est pas vérifiée, ce qui se traduit par des oscilla-
tions de forte amplitude. Par contre, l’utilisation de schémas implicites
alors : inconditionnellement stables permet le choix de pas de temps k
ρm – 1 beaucoup plus grands (m = 500 dans les figures 4 et 5). On peut ainsi
ε m ρ m ε 0 + δ -------------------, ∀ m 0
ρ–1 visualiser l’effet des instabilités lorsque celles-ci se produisent et
constater que le schéma de Crank- Nicolson est le plus précis,
conformément au résultat du théorème 1.
En appliquant ce résultat à notre situation, compte tenu du fait
que ε 0 = 0, on obtient :
ρm – 1
ε m = em β ------------------- E m 2, ∀m 0
2 ρ–1
θ = 0 n = 20 m = 900
Si, de plus, le schéma numérique est consistant, l’inégalité pré- 1
u
cédente nous permet de vérifier qu’il est convergent. On peut donc
énoncer le résultat suivant : 0,9
0,8
Théorème 3. Si le θ - schéma est stable et consistant alors il est
0,7
convergent.
0,6
Le résultat précédent exprime que la stabilité et la consistance
0,5
constituent une condition suffisante pour la convergence. En fait le
théorème de Lax, que nous admettrons [2], nous donne le résultat 0,4
suivant :
0,3
Théorème 4. La stabilité est une condition nécessaire et suffi- 0,2
sante pour qu’un schéma numérique soit convergent vers la
solution du problème, si ce dernier est discrétisé par un schéma 0,1
consistant.
0
0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1
Remarque x
Par application du théorème de Lax, on obtient un résultat de
convergence pour le schéma de Du Fort et Frankel et pour le
schéma rétrograde. Figure 1 – Solution exacte
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
AF 501 − 6 © Techniques de l’Ingénieur, traité Sciences fondamentales
______________________________________________________________________________________________________ MÉTHODE DES DIFFÉRENCES FINIES
0,8 0,8
0,7 0,7
0,6 0,6
0,5 0,5
0,4 0,4
0,3 0,3
0,2 0,2
0,1 0,1
0 0
0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1 0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1
x x
θ = 0 n = 20 m = 500 θ = 1 n = 20 m = 500
1 1
u u
0,9 0,9
0,8 0,8
0,7 0,7
0,6 0,6
0,5 0,5
0,4 0,4
0,3 0,3
0,2 0,2
0,1 0,1
0 0
0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1 0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1
x x
2. Problèmes du second ordre problèmes paraboliques. C’est pourquoi, dans le présent para-
graphe, nous nous limiterons à la présentation des principaux
en temps. Équation des ondes résultats nécessaires à la résolution numérique de l’équation des
ondes.
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Sciences fondamentales AF 501 − 7
MÉTHODE DES DIFFÉRENCES FINIES _______________________________________________________________________________________________________
u ( xi , tm + 1 ) – 2 u ( xi , tm ) + u ( xi , tm – 1 )
-------------------------------------------------------------------------------------------------------------
-
k2 Théorème 6. Le schéma implicite non centré est précis à
u ( x i + 1 , t m ) – 2u ( x i , t m ) + u ( x i – 1 , t m ) l’ordre 2 en temps et à l’ordre 1 en espace.
- + O(h 2, k 2)
– a 2 -------------------------------------------------------------------------------------------------------------
h2
≡ f ( xi , tm ) , 1 i n , m 0 Remarque
∂u ( x, 0 )
Cependant, la discrétisation de -------------------------- implique que, dans les
À partir de cette écriture, on définit deux grandes classes de ∂t
schémas : le schéma centré et le schéma implicite non centré. deux cas précédents, on a un schéma précis à l’ordre 1 en temps.
1 Remarque
■ Soit θ ∈ 0, ----- , un nombre réel donné ; pour 1 i n, m 0, on
2
définit le schéma centré comme suit : Le schéma centré est invariant si l’on inverse le sens du temps,
ce qui est conforme aux propriétés de l’équation des ondes, inva-
m+1 m m–1 m+1 m+1 m+1 riante par changement du sens du temps ; cela n’est plus vrai pour
ui u i + 1 – 2u i + ui–1
– 2u i + u i
---------------------------------------------------------- – a 2 θ ------------------------------------------------------------------- le schéma implicite non centré, qui, dans la pratique, n’est pas très
k2 h2 utilisé dans la mesure où il n’est pas physiquement adapté.
m –
u i + 1 – 2u i
1 m – 1
+ ui–1
m – 1 m
u i + 1 – 2u i + u i – 1
m m
+ θ -----------------------------------------------------------------
h2
- + ( 1 – 2 θ )
----------------------------------------------------
h2
-
m+1 m–1 m
= θf i + θf i + (1 – 2θ) f i 2.3 Stabilité des schémas numériques
p p
u 0 = u n + 1 = 0, p = m, p = m ± 1
On remarque que les schémas numériques définis au
paragraphe 2.2 font intervenir les valeurs de la solution approchée
0 aux niveaux de temps m – 1, m et m + 1 : on a défini un schéma à
u i = u 0 ( ih ), 0 i n + 1
trois niveaux. Pour étudier la stabilité des schémas, on utilise la
1
ui –ui
0 méthode de Fourier ; cependant, compte tenu du fait que les sché-
- = u 1 ( ih ), 0 i n + 1
--------------------- mas sont à trois niveaux, on va définir non plus un coefficient
k d’amplification, mais une matrice d’amplification.
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
AF 501 − 8 © Techniques de l’Ingénieur, traité Sciences fondamentales
______________________________________________________________________________________________________ MÉTHODE DES DIFFÉRENCES FINIES
ak ξh ξh
Théorème 9. Le schéma implicite décentré est inconditionnel-
avec : σ ( ξ ) = 2 -------- sin --------- = 2 α sin ---------
h 2 2 lement stable.
On a évidemment u ^m
(ξ ) = u^ m (ξ ) ; compte tenu de cette der- En effet, les valeurs propres λ de la matrice d’amplification asso-
nière relation, on peut écrire l’égalité issue de la transformation de ciée au schéma implicite décentré sont solutions de l’équation du
Fourier sous forme d’un schéma à deux niveaux : second degré :
^m 0 1 u^ m – 1 (1 + σ 2) λ 2 – 2λ + 1 = 0
u =
u^ m + 1 –1 2 – σ 2 (1 – 2θ) ^ m 1 ± jσ 1
----------------------------------------
1+σ θ 2 u Elles valent λ ± = ------------------ et leur module vaut λ ± = ------------------------,
1 + σ2 1 + σ2
Remarque qui est strictement inférieur à 1 dès que σ ≠ 1.
La matrice 2 × 2 qui intervient dans l’écriture du schéma vectoriel Exemple : à titre illustratif, on considère l’équation suivante :
à deux niveaux est une matrice d’amplification.
∂ 2 u ( x, t ) ∂ 2 u ( x , t )
On admettra le résultat suivant qui constitue une extension de --------------------------- - = 0, 0 < x < 1 , t > 0
- – ---------------------------
∂t 2 ∂x 2
l’analyse de la stabilité vue au paragraphe 1 dans le cas scalaire :
u ( 0, t ) = u ( 1, t ) = 0 , t 0
Théorème 7. Un schéma numérique à trois niveaux est stable
si le rayon spectral de la matrice d’amplification est inférieur ou u ( x , 0 ) = sin ( π x ) , 0 x 1
égal à l’unité.
∂u (x, 0)
------------------------------ = 0 , 0 x 1
∂t
Théorème 8. Le schéma centré est inconditionnellement
1 1 1 dont la solution exacte est donnée par :
stable si ----- θ ----- ; il est stable si 0 θ < ----- à condition que
4 2 4 u (x, t ) = sin (πx ) cos (πt )
ak 1
α = -------- ------------------------ ; en particulier, le schéma explicite centré Comme au paragraphe précédent, on a étudié expérimentalement la
h 1 – 4θ
correspondant à la valeur de θ nulle est stable à condition que stabilité et la précision du schéma centré, pour θ = 0, θ = 0,25 et
ak θ = 0,5 ainsi que pour le schéma implicite non centré ; les résultats des
α = -------- 1. simulations sont représentés sur les figures 6, 7, 8, 9, 10 et 11. De
h
façon analogue au cas de l’équation parabolique, les courbes représen-
En effet, les valeurs propres λ de la matrice d’amplification asso- tées sur ces figures visualisent la solution u (x, t), pour 0 x 1, de
ciée au schéma centré sont solutions de l’équation du second l’équation des ondes homogènes, à des instants tm = m k fixés.
degré : Comme précédemment et dans la mesure où l’on considère l’équation
homogène, la limite de u (x, t) est nulle lorsque la variable t tend vers
2 – σ 2 (1 – 2θ)
λ 2 – ---------------------------------------- λ+1 l’infini. La figure 6 représente la solution exacte, les figures 7 et 8
1 + σ 2θ représentent la solution obtenue en mettant en œuvre le schéma expli-
Leur produit est égal à 1 et elles seront toutes deux de module cite respectivement dans le cas où la condition de stabilité est vérifiée
inférieur ou égal à l’unité si et seulement si elles sont complexes et dans celle où elle n’est pas vérifiée, les figures 9 et 10 respective-
conjuguées, auquel cas elles seront de module unité ; on doit donc ment dans le cas où θ = 0,25 et θ = 0,5. La figure 11 représente le
vérifier la condition suivante : résultat de la simulation pour l’utilisation du schéma implicite non
2
centré. On constate ici aussi que, pour satisfaire les conditions de sta-
2 – σ 2 (1 – 2θ) – 4 ( 1 + σ 2 θ )2 0 bilité, le schéma explicite nécessite l’utilisation de pas de temps k rela-
tivement petits, alors que les schémas implicites, inconditionnellement
soit encore : stables, permettent le choix de pas de temps relativement plus impor-
ξh ξh tants. Enfin on remarque, sur la figure 11, que les solutions obtenues
4 ak
1 – 4θ h
σ 2 ------------------ , σ = σ ( ξ ) = 2 -------- sin --------- = 2 α sin ---------
2 2 par le schéma implicite décentré ne sont pas symétriques par rapport
à l’axe horizontal, contrairement aux autres solutions numériques et à
On remarque immédiatement que cette inégalité est vérifiée quel la solution exacte ; cette observation illustre le fait que le schéma impli-
1 1 cite décentré est inadapté dans la mesure où il ne respecte pas la phy-
que soit ξ , si θ ----- , sans restriction sur le paramètre k ; si θ < ----- ,
4 4 sique. On peut ainsi visualiser l’effet des instabilités lorsque celles-ci
ak 1 se produisent et observer la précision des différents schémas,
la condition α = -------- ------------------------ doit être vérifiée.
h 1 – 4θ conformément aux résultats des théorèmes 5 et 6.
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Sciences fondamentales AF 501 − 9
MÉTHODE DES DIFFÉRENCES FINIES _______________________________________________________________________________________________________
0,5
θ = 0 n = 30 m = 23
1
u 0
0,8
0,6 – 0,5
0,4
–1
0,2
0
– 1,5
– 0,2
– 0,4 –2
0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1
– 0,6 x
– 0,8
θ = 0,25 n = 30 m = 23
θ = 0 n = 30 m = 32 1
1 u
u 0,8
0,8
0,6
0,6
0,4
0,4
0,2
0,2
0
0
– 0,2
– 0,2
– 0,4
– 0,4
– 0,6
– 0,6
– 0,8
– 0,8
–1
–1 0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1
0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1 x
x
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
AF 501 − 10 © Techniques de l’Ingénieur, traité Sciences fondamentales
______________________________________________________________________________________________________ MÉTHODE DES DIFFÉRENCES FINIES
θ = 0,5 n = 30 m = 23 n = 30 m = 23
1 1
u u
0,8 0,8
0,6 0,6
0,4 0,4
0,2 0,2
0 0
– 0,2 – 0,2
– 0,4 – 0,4
– 0,6 – 0,6
– 0,8 – 0,8
–1 –1
0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1 0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1
x x
Références bibliographiques
[1] LASCAUX (P.) et THEODOR (R.). – Analyse sique, de la mécanique et des sciences de [8] SIBONY (M.) et MARDON (J.C.). – Approxi-
numérique matricielle appliquée à l’art de l’ingénieur. Masson (1988). mations et équations différentielles. Hermann
l’ingénieur. Tomes 1 et 2, Masson (1986). (1982).
[5] LE POURHIET (A.). – Résolution numérique
[2] RICHTMYER (R.D.) et MORTON (K.W.). – Diffe- des équations aux dérivées partielles : une [9] SAINSAULIEU (L.). – Calcul scientifique. Mas-
rence methods for initial value problems. première approche. Cépadues Édition (1988). son (1996).
John Wiley and Sons (1967).
[3] CUVELIER (C.), DESCLOUX (J.) et RAPPAZ [6] MITCHELL (A.R.). – Computational methods
in partial differential equations. John Wiley Dans ce traité des Techniques
(J.). – Éléments d’équations aux dérivées par-
and Sons (1977). de l’Ingénieur
tielles pour ingénieurs. Tomes 1 et 2, Presses
Polytechniques Romandes (1988). [7] RAPPAZ (J.) et PICASSO (M.). – Introduction à [10] DEBEAUMARCHÉ (G.). – Introduction aux
[4] EUVRARD (D.). – Résolution numérique des l’analyse numérique. Presses polytechniques équations aux dérivées partielles linéaires.
équations aux dérivées partielles de la phy- et universitaires romandes (1998). AF 162 p. 1-21 (1999).
Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Sciences fondamentales AF 501 − 11