Chap 7 CS 23 24
Chap 7 CS 23 24
Chap 7 CS 23 24
Z. ANKHILI
ENSA de Marrakech
2023/2024
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 1/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différe
Définitions
∂mu
∂u ∂u
F u, , ..., , ..., m = f
∂x1 ∂xd ∂xd
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 2/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différe
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 3/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différe
Pour que le problème soit bien posé, c-à-d, l’EDP puisse avoir
une solution unique, il est impératif d’avoir des informations
supplémentaires sur la frontière ou une partie de la frontière du
domaine de l’EDP. Dans le cadre de ce cours on va considérer
des conditions aux limites de type :
1 u = g sur ∂Ω c’est une condition de type Dirichlet;
∂u
2 = g sur ∂Ω c’est une condition de type Neumann;
∂n
∂u
3 u = g1 sur Γ1 et = g2 sur Γ2 avec ∂Ω = Γ1 ∪ Γ2 ce sont
∂n
des conditions mixtes.
∂u
on rappelle que = ∇u.→
−n (x) où →
−
n (x) désigne la normale
∂n
exterieure à ∂Ω au point x.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 4/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différen
∂u
− △u = f pour (t, x) ∈ R+
∗ ×Ω
∂t
u(t, x) = 0 +
pour (t, x) ∈ R∗ × ∂Ω
u(0, x) = u0 (x) pour x ∈ Ω
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 5/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 6/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 7/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 8/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différen
Au = f ,
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 10/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différen
∂u ∂2u
Si on remplace dans (∗), u par 1, par zi et par zi zj où
∂xi ∂xi ∂xj
z est un vecteur de Rd . Ceci donne lieu à la relation suivante :
zT Cz + bz + a = f , (∗∗)
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 11/56
Problèmes aux limites et aux valeurs initiales Modélisation avec les EDPs Classification des EDPs Approximation par les différen
où ∂Ω dénote la frontière de Ω
Remarque
En deux dimensions d’espace (ou plus), le problème (EDP) n’a
en général pas de solution explicite.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 13/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
=⇒
u(xi−1 ) − 2u(xi ) + u(xi+1 )
− ≈ f (xi ), ∀i = 1, ..., N
h2
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 15/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
U0 = UN+1 = 0.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 16/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 17/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 18/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 19/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Remarque
Pour la résolution numérique de système linéaire
ci-dessus, on peut utiliser par exemple la factorisation LU
pour la matrice du système.
Il est claire que la matrice tridiagonale A est symétrique.
On peut montrer aisément qu’elle est définie positive.
La matrice A est donc inversible, par suite le système
tridiagonal admet une solution unique.
Dans les expressions précédentes, on a tenu compte des
conditions aux limites. Cependant on peut les inclure dans
le système comme des équations.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 20/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Remarque
=0
U0
U0 − 2U1 + U2
− = f (x1 )
h2
U1 − 2U2 + U3
− = f (x2 )
h2
··· ··· pour i = 1, ..., N
UN−1 − 2UN + UN+1
− = f (xN )
h2
UN+1 =0
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 21/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 22/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Consistance
Soit p ≥ 1. Le schéma est dit consistant d’ordre p, s’il existe
C ≥ 0 , tel que
Stabilité
Le schéma aux différences finies est stable au sens de la
norme ∥.∥∞ si pout tout N donné, il existe une unique solution
(Uj )1≤j≤N du système AU = F qui satisfait,
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 23/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Proposition
Si u ∈ C 4 ([0, 1]), alors le schéma numérique (DF1) est un
schéma consistant d’ordre 2 : ∀ 1 ≤ i ≤ N,
Proposition
On suppose que u ∈ C 4 ([0, 1]). On a alors la majoration
h2
max |u(xi ) − Ui | ≤ max |u(4) (x)|
1≤i≤N 96 [0,1]
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 24/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 25/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
u(x + h) − u(x)
u′ (x) ≈ .
h
−u(x − h) + u(x)
u′ (x) ≈ .
h
On obtient
U1 − U0 UN+1 − UN
0 = u′ (0) = et 0 = u′ (1) = .
h h
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 26/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 27/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
BU = F
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 28/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 29/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
et les vecteurs U , F:
U0 0
U f (x )
1 1
U2 f (x2 )
. ..
..
U= , F= .
UN−1 f (xN−1 )
UN f (xN )
UN+1 0
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 30/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
∂2u ∂2u
−△u(x, y) = − (x, y) − (x, y) = f (x, y), u(x, y) = 0 sur ∂Ω
∂x2 ∂y2
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 31/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Ui,j ≈ u(xi , yj )
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 32/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
∂2u
Une approximation à l’ordre 2 de , à y fixé, est donnée par
∂x2
De même,
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 33/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
UM FM
où
U1,j F1,j
Uj = ... , Fj = ... , 1≤j≤M
UN,j FN,j
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 34/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 35/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
2 2
h2x
+ h2y
− h12 0 ··· ··· 0
x
.. ..
− h12 2
+ 2
− h12 . .
h2x h2y
x x
.. .. .. .. ..
0 . . . . .
B= ..
.. .. .. ..
. . . . . 0
..
.. .. ..
− h12
. . . .
x
0 ··· ··· 0 − h12 2
h2 + 2
h2
x x y
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 36/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
et
− h12
0 ··· 0
y
.. .. ..
0 . . .
C=
.. .. ..
. . . 0
0 ··· 0 − h12
y
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 37/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Proposition 2
On a l’estimation suivante
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 38/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
∀j ∈ Z, ∀n ≥ 0; un (ξ)eiξxj
un,j = b
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 39/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
g(0) = a et g(1) = b
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 40/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
T
∆t =
M+1
On notera par
ti = i∆t, 0≤i≤M+1
xj = jh, 0≤j≤N+1
et ui,j désignera l’approximation de u(ti , xj ).
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 41/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 42/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 43/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
On pose
ui,0
ui,1 fi,1 + h2
ui,2
fi,2
Ui = .. ..
et Fi =
. .
ui,N−1 fi,N−1
ui,N+1
ui,N fi,N + h2
on aura
1
(Ui+1 − Ui ) + AUi = Fi (1)
∆t
et ceci pour i = 0, ..., M.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 44/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Proposition
On considère le schéma :
ui+1,j − ui,j ui,j−1 − 2ui,j + ui,j+1
− = f (ti , xj ), 0 ≤ i ≤ M et 1 ≤ j ≤ N
∆t h2
avec
ui,0 = a i = 0, ..., M + 1
ui,N+1 = b i = 0, ..., M + 1
u0,j = g(xj ) j = 0, ..., N + 1
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 46/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 47/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
T
∆t =
M+1
On notera par
ti = i∆t, 0≤i≤M+1
xj = jh, 0≤j≤N+1
et ui,j désignera l’approximation de u(ti , xj ).
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 48/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 49/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 50/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
On pose
ui,0
ui,1 fi,1 + h2
ui,2
fi,2
Ui = .. ..
et Fi =
. .
ui,N−1 fi,N−1
ui,N+1
ui,N fi,N + h2
on aura
1
{Ui+1 − 2Ui + Ui−1 } + AUi = Fi (2)
∆t2
et ceci pour i = 1, ..., M.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 51/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 52/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
Remarques
Il est clair que le schéma obtenu est un schéma à deux
pas, car Ui+1 est exprimé en fonction de Ui−1 et Ui
Les valeurs de démarrage sont U0 et U1 avec
U0 = (u0 (xj ))1≤j≤N .
U1 = U0 + ∆t.(u1 (xj ))1≤j≤N .
Exercice
1 Quel est l’ordre de ce schéma?
2 Etudier sa stabilité par Von Neumann.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 53/56
Problèmes aux limites et aux valeurs initiales Modélisation avec lesLes
EDPs
différences
Classification
finies pour
des les
EDPs
problèmes
Approximation
elliptiquesparLes
les différen
différen
∆t2 ξh
r2 − 2 1 − 2 2 sin2 r+1=0
h 2
Le schéma st stable si et seulement si max(|r1 (ξ)|, |r2 (ξ)|) ≤ 1
ξ
Les deux racines du polynôme caractéristique vérifient
r1 r2 = 1
∆t2 2 ξh
r1 + r2 = 2 1 − 2 sin
h2 2
∆t2 2 ξh
Posons α = 2 2 sin . On a
h 2
∆′ = (1 − α)2 − 1 = α(α − 2)
∆t2
∃ ξ tel que α > 2 i.e. > 1. Le polynôme admet deux
h2
racines réels distincts. Or r1 .r2 = 1, alors si |r1 | ≤ 1 on a
|r2 | > 1. Par conséquent le schéma est instable
∆t2
Si 2 ≤ 1. Dans ce cas les deux racines sont soit
h
complexes conjuguées soit réelles identiques. Dans les
deux cas on a |r1 | = |r2 | = 1.
Par conséquent le schéma est stable.
Zakia ANKHILI Chapitre 7 Résolution des EDPs ENSA (Marrakech) 2023/2024 56/56