Méthodes numériques II
François Cuvelier
Laboratoire d’Analyse Géométrie et Applications Institut Galilée
Université Paris XIII.
2019/02/19
2019/02/19 1 / 85
Partie IV
Résolution numérique des E.D.P.
2019/02/19 2 / 85
1
Exemples d’E.D.P.
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies
4
Méthode des différences finies 1D
5
Problème modèle évolutif
2019/02/19 3 / 85
Plan
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Exemples d’E.D.P. 2019/02/19 4 / 85
Equation de Laplace et équation de Poisson
Pierre-Simon Laplace 1749-1827, mathématicien, astronome, physicien et homme politique français
Siméon Denis Poisson 1781-1840, mathématicien, géomètre et physicien français
´ ∆u “ f , dans Ω Ă R n (4.1)
où ∆ est l’opérateur laplacien : ∆u “
BBx2u
21
` . . . `
BBx2u
2 n. Equation de Laplace si f “ 0, sinon équation de Poisson.
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 5 / 85
Conditions aux limites
´ ∆u “ f , dans Ω Ă R n
‚ Dirichlet si on impose, sur une partie de BΩ,
u “ g , sur Γ D Ă BΩ. (4.2)
‚ Neumann si on impose sur une partie de BΩ, Bu
Bn “ g , sur Γ N Ă BΩ. (4.3) où
BuBn“ x grad grad grad u, n n ny avec n n n normale exterieure unitaire à Ω
‚ Robin si on impose sur une partie de BΩ Bu
Bn ` αu “ g , sur Γ R Ă BΩ. (4.4)
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 6 / 85
Find u : Ω ÝÑ R such that
´ ∆u “ 0 in Ω Ă R
2, u “ 0 on Γ
10, u “ ´1 on Γ
2Y Γ3, u “ 1 on Γ
1Y Γ4, Problème de condensateur en 2D
!1 !2
!3 !4
!10
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 7 / 85
Find u : Ω ÝÑ R such that
´ ∆u “ 0 in Ω Ă R
2, u “ 0 on Γ
10, u “ ´1 on Γ
2Y Γ3, u “ 1 on Γ
1Y Γ4, Problème de condensateur en 2D
!1 !2
!3 !4
!10
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 7 / 85
Find u : Ω ÝÑ R such that
´ ∆u “ 0 in Ω Ă R
2, u “ 0 on Γ
10, u “ ´1 on Γ
2Y Γ3, u “ 1 on Γ
1Y Γ4, Problème de condensateur en 2D
!1 !2
!3 !4
!10
-0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 7 / 85
Trouver
u: ΩÝÑRtel que
´∆u “
0 dans
ΩĂR2, u “ ´1 surΓ2YΓ3, u “1 sur
Γ1YΓ4, BuBn “
0 sur
Γ10.Champ de vitesses en 2D :V V V “ ∇ ∇ ∇ u
!1 !
2
!3 !
4
!10
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 8 / 85
Trouver
u: ΩÝÑRtel que
´∆u “
0 dans
ΩĂR2, u “ ´1 surΓ2YΓ3, u “1 sur
Γ1YΓ4, BuBn “
0 sur
Γ10.Champ de vitesses en 2D :V V V “ ∇ ∇ ∇ u
!1 !
2
!3 !
4
!10
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 8 / 85
Trouver
u: ΩÝÑRtel que
´∆u “
0 dans
ΩĂR2, u “ ´1 surΓ2YΓ3, u “1 sur
Γ1YΓ4, BuBn “
0 sur
Γ10.Champ de vitesses en 2D :V V V “ ∇ ∇ ∇ u
!1 !
2
!3 !
4
!10
-0.8 -0.6 -0.4 -0.2 0 0.2 0.4 0.6 0.8
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 8 / 85
Problème mal posé
Find u : Ω ÝÑ R such that
´∆u “ f in Ω Ă R n , Bu
Bn “ g sur BΩ.
Problème en dimension n
où Ω est un domaine borné de R n .
Ce problème est mal posé : non unicité de la solution.
u solution ñ u ` constante solution
Exemples d’E.D.P. Equation de Laplace/Poisson 2019/02/19 9 / 85
Equation de la chaleur
Bu
Bt pt, xxxq ´ D∆u pt, xxxq “ f pt, xxx q
ρc , @xxx P Ω, @t P r0, T s (4.5)
‚ Ω Ă R d de frontière BΩ
‚ D, coefficient de diffusivité thermique (en m
2{s),
‚ f , production volumique de chaleur (en W {m
3),
‚ ρ, masse volumique du matériau (en kg {m
3),
‚ c , chaleur spécifique massique du matériau (en J{kg {K ),
‚ ∆u laplacien (en espace) : ∆u “
BBx2u
21
` . . . `
BBx2u
2 dProblème bien posé ?
Exemples d’E.D.P. Equation de la chaleur 2019/02/19 10 / 85
Equation de la chaleur
Bu
Bt pt, xxxq ´ D∆u pt, xxxq “ f pt, xxx q
ρc , @xxx P Ω, @t P r 0, T s (4.5) Problème bien posé :
‚ condition initiale
@xxx P Ω, u p0, xxxq “ u
0pxxx q (4.6)
‚ conditions aux limites sur BΩ
§ Dirichlet :
@xxx P Γ
DĂ BΩ, @t P r0, T s upt , xxxq “ g
Dpt, xxxq
§ Neumann :
@xxx P Γ
NĂ BΩ, @t P r0, T s D Bu
Bn pt, xxxq “ g
Npt, xxxq
§ Robin :
@xxx P Γ
RĂ BΩ, @t P r0, T s D Bu
Bn pt, xxxq ` αupt, xxxq “ g
Npt, xxxq
Exemples d’E.D.P. Equation de la chaleur 2019/02/19 10 / 85
Find u : Ω Ă R
2ÝÑ R such that B u
Bt ´ D∆u “ 0 in r0,T s ˆ Ω, up0,xxx q “ 20 @xxx P Ω,
Bu
B n “ 0 on Γ
10, u “ g
1on Γ
2Y Γ3, u “ g
2on Γ
1Y Γ4, Problème de chaleur en 2D
où Ω (cotés de 20cm)
‚ D “ 98.8 ˆ 10
´6(aluminium) ou D “ 23.9 ˆ 10
´6(plomb),
‚ @xxx P Γ
2Y Γ3,
g
1pt, xxxq “ p20 ` 40tq si t ă“ 1 et g
1pt, xxxq “ 60 sinon,
‚ @xxx P Γ
1Y Γ4,
g
2pt, xxxq “ p 20 ` 80tq si t ă“ 1 et g
2pt, xxxq “ 100 sinon.
!1 !2
!3 !4
!10
Exemples d’E.D.P. Equation de la chaleur 2019/02/19 11 / 85
Equation des ondes
B
2u
Bt
2pt, xxx q ´ c
2∆u pt, xxxq “ 0, @xxx P Ω, @t P r 0, T s (4.7)
‚ Ω Ă R d de frontière BΩ
‚ c ą 0 vitesse de propagation de l’onde, Problème bien posé ?
Exemples d’E.D.P. Equation des ondes 2019/02/19 12 / 85
B
2u
Bt
2pt, xxx q ´ c
2∆u pt, xxxq “ 0, @xxx P Ω, @t P r0, T s
‚ conditions initiales
up 0,xxx q “ u
0pxxx q, @xxx P Ω [position initiale] (4.8) Bu
Bt p0,xxx q “ v
0pxxx q, @xxx P Ω [vitesse initiale] (4.9)
‚ conditions aux limites sur BΩ
§ Dirichlet :
@xxx P Γ
DĂ BΩ, @t P r0, T s, upt , xxxq “ g
Dpt , xxxq
§ Neumann :
@xxx P Γ
NĂ BΩ, @t P r0, T s, c
2Bu
Bn pt , xxxq “ g
Npt, xxxq
§ Robin :
@xxx P Γ
RĂ BΩ, @t P r0, T s, c
2Bu
Bn pt , xxxq ` αupt , xxxq “ g
Npt , xxxq
Exemples d’E.D.P. Equation des ondes 2019/02/19 13 / 85
Plan
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Méthodes de résolution numérique
d’EDP 2019/02/19 14 / 85
Résolution numérique d’EDP
Méthodes déterministes :
‚ méthode des différences finies
‚ méthode des éléments finis
‚ méthode des volumes finis
Méthodes de résolution numérique
d’EDP 2019/02/19 15 / 85
Plan
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Opérateurs aux différences finies 2019/02/19 16 / 85
Opérateurs aux différences finies
Soient ϕ : R ÝÑ R suffisament régulière, h ą 0 et x P R pD h
`ϕqpxq “ 1
h pϕpx ` hq ´ ϕpxqq (4.12)
pD h
´ϕqpxq “ 1
h pϕpxq ´ ϕpx ´ hqq (4.13) pD h
0ϕqpxq “ 1
2h pϕpx ` hq ´ ϕpx ´ hqq (4.14)
‚ D h
`opérateur progressif/décentré avancé
‚ D h
´opérateur rétrograde/décentré retardé
‚ D h
0opérateur centré
Opérateurs aux différences finies Dimension 1 2019/02/19 17 / 85
Definition 4.1
Soit h ą 0. On dit qu’un opérateur aux différences finies D
hest une approxi- mation consistante d’ordre p de
ddxkϕksi pour tout ϕ : ra, bs ÝÑ R suffisament régulière on a
max
xPra,bs
ˇ ˇ ˇ ˇ
pD
hϕqpxq ´ d
kϕ dx
kpxq
ˇ ˇ ˇ
ˇ ď Ch
p, (4.15)
où C est une constante indépendante de h.
Proposition 4.2
Si ϕ : R ÝÑ R est suffisament régulière, les opérateurs D
h`et D
h´appliqués à ϕ sont des approximations consistantes d’ordre 1 de
dϕdxet l’opérateur D
h0appliqué à ϕ est une approximation consistante d’ordre 2 de
dϕdx.
Opérateurs aux différences finies Dimension 1 2019/02/19 18 / 85
Exercice 1
Soient
hąet les trois opérateurs aux différences finies suivant
pDh`ϕqpxq “1
hpϕpx`hq ´ϕpxqq pDh´ϕqpxq “
1
hpϕpxq ´ϕpx´hqq pD0hϕqpxq “
1
2h
pϕpx`hq ´ϕpx´hqqQ.1
Montrer que ces trois opérateurs sont linéaires (i.e.
@pλ, µq PR2,@ϕ: RÝÑ R,@ψ:RÝÑR,Dhpλϕ`µψq “λDhϕ`µDhψ.)
Q.2
On suppose que
ϕPCkpra,bs;Rqavec
kě2. Montrer que les opérateurs
Dh`et
Dh´sont des approximations consistantes d’ordre 1 de
dϕdx.Q.3
On suppose que
ϕPCkpra,bs;Rqavec
k ě3. Montrer que l’opérateur
Dh0est une approximation consistante d’ordre 2 de
dϕdx.Opérateurs aux différences finies Dimension 1 2019/02/19 19 / 85
Proposition 4.3
Soient ϕ P C
4pra, bs; Rq. On note D
h2l’opérateur défini, pour tout x Psa, br et h ą 0 tels que x ˘ h P ra, bs, par
pD
h2ϕqpxq
def“ 1
h
2rϕpx ` hq ´ 2ϕpxq ` ϕpx ´ hqs . (4.16) Alors D
h2ϕ appliqué à ϕ est une approximation consistante d’ordre 2 de
ddx2ϕ2. De plus on a
D
h2ϕ “ D
0h 2pD
0h 2ϕq “ D
h`pD
h´ϕq “ D
h´pD
h`ϕq (4.17) est une approximation consistante d’ordre 2 de
ddx2ϕ2.
Démonstration en exercice
Opérateurs aux différences finies Dimension 1 2019/02/19 20 / 85
Dimension n ą 1
Proposition 4.4: (admis)
Soit U un ouvert non vide de R n et f une application f : U Ă R n ÝÑ R avec f P C r pUq. Soient xxx P U, i P v 1, nw, et @h P R
˚vérifiant
@t P r0, 1s, xxx ` theee
risoù eee
risest le i -ème vecteur de la base canonique de R n .
Alors il existe θ Ps 0, 1 r tel quel f pxxx ` heee
risq “ f pxxxq `
r´1
ÿ
k“1
h k k!
B k f
Bx i k pxxx q ` h r r !
B r f
Bx i r pxxx ` θheee
risq (4.18) où eee
risest le i-ème vecteur de la base canonique de R n .
Opérateurs aux différences finies Dimensionną1 2019/02/19 21 / 85
Opérateurs aux différences finies en dimension n ą 1
Soient ϕ : U Ă R n ÝÑ R suffisament régulière, h ą 0 et i P v1, nw pD h,i
`ϕqpxxx q “ 1
h
´
ϕpxxx ` heee
risq ´ ϕpxxx q
¯
(4.19) pD h,i
´ϕqpxxx q “ 1
h
´
ϕpxxxq ´ ϕpxxx ´ heee
risq
¯
(4.20) pD h,i
0ϕqpxxx q “ 1
2h
´
ϕpxxx ` heee
risq ´ ϕpxxx ´ heee
risq
¯
(4.21)
Opérateurs aux différences finies Dimensionną1 2019/02/19 22 / 85
Exercice 2
Soientϕ:UĂR2ÝÑRune fonction suffisament régulière,hą0 et les trois opérateurs aux différences finies suivant définis pouriP v1,2w
pDh,i`ϕqpxxxq “ 1 h
´
ϕpxxx`heeerisq ´ϕpxxxq¯ pDh,i´ϕqpxxxq “ 1
h
´
ϕpxxxq ´ϕpxxx´heeerisq
¯
pDh,i0ϕqpxxxq “ 1 2h
´
ϕpxxx`heeerisq ´ϕpxxx´heeerisq
¯
aveceeer1s“ ˆ1
0
˙ eteeer2s“
ˆ0 1
˙ .
Q.1 Monter que ces trois opérateurs sont linéaires (i.e. @pλ, µq P R2,@ϕ: UĂR2 ÝÑR,@ψ : UĂR2ÝÑR,Dh,ipλϕ`µψq “λDh,iϕ`µDh,iψ.)
Q.2 On suppose queϕPCkpUĂR2;Rqaveckě2.Montrer que les opérateursDh,i` etDh,i´ appliqués à ϕsont des approximations consistantes d’ordre 1 deBxBϕi.
Q.3 On suppose queϕPCkpUĂR2;Rqaveckě3.Montrer que l’opérateurDh,i0 appliqué àϕest une approximation consistante d’ordre 2 deBxBϕ
i.
Opérateurs aux différences finies Dimensionną1 2019/02/19 23 / 85
Proposition 4.5
Si ϕ : U Ă R
nÝÑ R est suffisament régulière, les opérateurs D
h,i`et D
h,i´appliqués à ϕ sont des approximations consistantes d’ordre 1 de
BxBϕi
et l’opérateur D
h,i0appliqué à ϕ est une approximation consistante d’ordre 2 de
BxBϕi
.
Proposition 4.6
Soient i P v1, nw, ϕ P C
4pU Ă R
n; Rq. On note D
h,i2l’opérateur défini, pour tout xxx P U et h ą 0 vérifiant xxx ˘ heee
risP U, par
pD
h,i2ϕqpxxxq
def“ 1 h
2”
ϕpxxx ` heee
risq ´ 2ϕpxxx q ` ϕpxxx ´ heee
risq ı
(4.22)
Alors D
h,i2ϕ est approximation consistante d’ordre 2 de
BBx2ϕ2 i. De plus, on a
D
h,i2ϕ “ D
0h 2,ipD
0h2,i
ϕq “ D
h,i`pD
h,i´ϕq “ D
h,i´pD
h,i`ϕq. (4.23)
Opérateurs aux différences finies Dimensionną1 2019/02/19 24 / 85
Plan
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Méthode des différences finies 1D 2019/02/19 25 / 85
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 26 / 85
Soient a ă b, c ą 0, α P R , β P R , et f : ra, bs ÝÑ R donnés.
Trouver u : ra, bs ÝÑ R telle que
´u
2` cu “ f in sa, br, upaq “ α,
upbq “ β.
EDP modèle stationnaire 1D
ou
Trouver upxq P R , @x P ra, bs telle que
´u
2pxq ` cupxq “ f pxq @x Psa, br, upaq “ α,
upbq “ β.
EDP modèle stationnaire 1D : formulation aux points
Chercher u ou upxq, @x P ra, bs (infinité de points!)
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 27 / 85
Trouver upxq P R , @x P ra, bs telle que
´u
2pxq ` cupxq “ f pxq @x Psa, br, upaq “ α,
upbq “ β.
EDP modèle stationnaire 1D : formulation aux points
x i “ a ` ih, @i P v 0, Nw, avec h “ b ´ a N .
Trouver upx
iq P R , @i P v0, N w tels que
´u
2px
iq ` cupx
iq “ f px
iq @i Pw0, Nv, (4.24)
upx
0q “ α, (4.25)
upx
Nq “ β. (4.26)
EDP modèle stationnaire1D : formulation aux points de dis- crétisation
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 28 / 85
Trouver upx
iq P R , @i P v0, Nw tels que
´u
2px
iq ` cupx
iq “ f px
iq @i Pw0, Nv, upx
0q “ α,
upx
Nq “ β.
EDP modèle stationnaire1D : formulation aux points de discrétisa- tion
u
2px
iq “ pD h
2uqpx i q ` Oph
2q “ upx i`1 q ´ 2upx i q ` upx i
´1q
h
2` Oph
2q.
Trouver upx
iq P R , @i P v0, Nw tels que
´ upx
i`1q ´ 2upx
iq ` upx
i´1q
h
2´ Oph
2q ` cupx
iq “ f px
iq @i Pw0, Nv,(4.27)
upx
0q “ α, (4.28)
upx
Nq “ β. (4.29)
EDP modèle stationnaire en dimension 1 : formulation aux points de discrétisation (bis)
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 29 / 85
Trouver upx
iq P R , @i P v0, Nw tels que
´u
2px
iq ` cupx
iq “ f px
iq @i Pw0, Nv, upx
0q “ α,
upx
Nq “ β.
EDP modèle stationnaire1D : formulation aux points de discrétisa- tion
u
2px
iq “ pD h
2uqpx i q ` Oph
2q “ upx i`1 q ´ 2upx i q ` upx i
´1q
h
2` Oph
2q.
Trouver upx
iq P R , @i P v0, Nw tels que
´ upx
i`1q ´ 2upx
iq ` upx
i´1q
h
2´ Oph
2q ` cupx
iq “ f px
iq @i Pw0, Nv,(4.27)
upx
0q “ α, (4.28)
upx
Nq “ β. (4.29)
EDP modèle stationnaire en dimension 1 : formulation aux points de discrétisation (bis)
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 29 / 85
Trouver upx
iq P R , @i P v 0, N w tels que
´ upx
i`1q ´ 2upx
iq ` upx
i´1q
h
2´ Oph
2q ` cupx
iq “ f px
iq @i Pw0, N v, upx
0q “ α,
upx
Nq “ β.
EDP modèle stationnaire en dimension 1 : formulation aux points de discrétisation (bis)
On oublie le Oph
2q et on pose u
i« upx
iq.
Trouver u
iP R , @i P v0, N w tels que
´ u
i`1´ 2u
i` u
i´1h
2` cu
i“ f px
iq @i Pw0, N v, (4.30)
u
0“ α, (4.31)
u
N“ β. (4.32)
EDP modèle stationnaire 1D : schéma aux différences finies
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 30 / 85
Trouver upx
iq P R , @i P v 0, N w tels que
´ upx
i`1q ´ 2upx
iq ` upx
i´1q
h
2´ Oph
2q ` cupx
iq “ f px
iq @i Pw0, N v, upx
0q “ α,
upx
Nq “ β.
EDP modèle stationnaire en dimension 1 : formulation aux points de discrétisation (bis)
On oublie le Oph
2q et on pose u
i« upx
iq.
Trouver u
iP R , @i P v0, N w tels que
´ u
i`1´ 2u
i` u
i´1h
2` cu
i“ f px
iq @i Pw 0, N v, (4.30)
u
0“ α, (4.31)
u
N“ β. (4.32)
EDP modèle stationnaire 1D : schéma aux différences finies
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 30 / 85
Trouver u i P R , @i P v0, Nw tels que
´ u i
`1´ 2u i ` u i´1
h
2` cu i “ f px i q @i Pw0, Nv, (4.30)
u
0“ α, (4.31)
u N “ β. (4.32)
EDP modèle stationnaire 1D : schéma aux différences finies
système linéaire de N ` 1 équations à N ` 1 inconnues !
$
’ ’
’ ’
’ &
’ ’
’ ’
’ %
u
0“ α Ð eq. en x
0´u
2` µu
1´ u
0“ h
2f px
1q Ð eq. en x
1.. .
´u N ` µu N´1 ´ u N´2 “ h
2f px N´1 q Ð eq. en x
N´1u N “ β Ð eq. en x
Navec µ “ 2 ` ch
2.
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 31 / 85
$
’ ’
’ ’
’ ’
’ ’
’ &
’ ’
’ ’
’ ’
’ ’
’ %
u
0“ α Ð eq. en x
0´u
2` µu
1´ u
0“ f px
1q Ð eq. en x
1´u
3` µu
2´ u
1“ f px
2q Ð eq. en x
2.. .
´u N´1 ` µu N´2 ´ u N´3 “ f px N´2 q Ð eq. en x
N´2´u N ` µu N´1 ´ u N´2 “ f px N´1 q Ð eq. en x
N´1u N “ β Ð eq. en x
NAU U U
def“
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝
1 0 . . . . . . . . . . . . 0 0
´1 µ ´1 0 . . . . . . 0 0
0 ´1 µ ´1 0 . . . 0 0
0 0 . .. ... ... ... .. . .. . .. . .. . . .. ... ... ... 0 .. .
.. . 0 . . . 0 1 µ ´1 0
0 0 . . . . . . 0 ´1 µ ´1
0 . . . . . . . . . . . . . . . 0 1
˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝ u
0u
1u
2.. . .. . u
N´2u
N´1u
N˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
“
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝ α h
2f px
1q h
2f px
2q
.. . .. . h
2f px
N´2q h
2f px
N´1q
β
˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
def
“ B B B (4.33)
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 32 / 85
Proposition 4.1: admis
Le schéma aux différences finies (4.30)-(4.32) est consistant à l’ordre 2 avec l’EDP (4.24)-(4.24) et on a
iPv0,Nw max |u px i q ´ u i | “ Oph
2q. (4.34)
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 33 / 85
Exercice 3: (schéma étudié en cours)
Q.1 Ecrire la fonctionAssembleMat1D retournant la matriceMPMdpRqdéfinie par
M“
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝
γ 0 0 . . . 0
β α β . .. ...
0 . .. ... ... ... ... ... . .. ... ... ... ... ...
... . .. ... ... ... 0
... . .. β α β
0 . . . 0 0 γ
˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
(4.35)
oùα, βetγsont des réels donnés.
On souhaite résoudre par un schéma aux différences finies l’EDP suivante
´u2`cu “ f insa,br, upaq “ α, upbq “ β.
Q.2 En prenant le jeu de donnéesa“0,b“2π,c“1, α“1, β“ ´1 etf:xÞÑcospx2q,écrire un programme permettant de résoudre l’EDP précédente. On pourra utiliser la fonctionXXXÐSolvepA,BBBqretournant la solution du système linéaireAXXX“BBB.
Q.3 En choisissant judicieusement un jeu de données écrire un programme permettant de vérifier l’ordre du schéma utilisé à l’aide de la formule (4.34).
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 34 / 85
1e-3 1e-2 1e-1 1e-6
1e-5 1e-4 1e-3 1e-2 1e-1
h
Error(h) O(h) O(h^2)
Figure: Représentation en échelle logarithmique
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 35 / 85
1 f u n c t i o nM=A s s e m b l e M a t 1 D(d,alpha,beta,g a m m a)
2 M=s p a r s e(d,d) ;
3 M(1 ,1) =g a m m a;M(d,d) =g a m m a;
4 for i=2:d-1
5 M(i,i) =a l p h a;
6 M(i,i-1) =b e t a;M(i,i+1) =b e t a;
7 end
8 end
Listing 1:fonction Matlab/OctaveAssembleMat1D
1 f u n c t i o n[x,U]=s o l v e E D P 1(a,b,c,alpha,beta,f,N)
2 h=(b-a) /N;
3 x=a:h:b;
4 A=A s s e m b l e M a t 1 D(N+1 ,2+c*h*h, -1 ,h*h) ;
5 B=z e r o s(N+1 ,1) ;
6 B(1) =a l p h a;B(N+1) =b e t a;
7 for i=2:N
8 B(i) =f(x(i) ) ;
9 end
10 B=h*h*B;
11 U=A\B;
12 end
Listing 2:fonction Matlab/OctavesolveEDP1
1 c l e a r all
2 c l o s e all
3 % I n i t i a l i s a t i o n des d o n n e e s
4 uex=@(x) sin(x. ^2 ) ;
5 c=1;
6 f=@(x) 4*x^2*sin(x^2) - 2*cos(x^2) +c*sin(x^2) ;
7 a=0;b=2*pi;
8 % C a l c u l des e r r e u r s
9 LN= [ 1 0 0 , 2 0 0 , 4 0 0 , 8 0 0 , 1 6 0 0 , 3 2 0 0 ] ;
10 k=1;
11 for N=LN
12 [x,U]=s o l v e E D P 1(a,b,c,uex(a) ,uex(b) ,f,N) ;
13 H(k) =(b-a) /N;
14 E(k) =max(abs(uex(x) ’ -U) ) ;
15 k=k+1;
16 end
17 % R e p r e s e n t a t i o n g r a p h i q u e
18 l o g l o g(H,E, ’r < - ’ , ’ L i n e W i d t h ’ ,2)
19 h o l don
20 l o g l o g(H,H, ’ kd : ’ , ’ L i n e W i d t h ’ ,2)
21 l o g l o g(H,H.^2 , ’ k *: ’ , ’ L i n e W i d t h ’ ,2)
22 l e g e n d( ’ E r r o r ( h ) ’ , ’ O ( h ) ’ , ’ O ( h ^2) ’ )
23 x l a b e l( ’ h ’ )
Listing 3:Script Matlab/Octave pour la représentation de l’ordre
Méthode des différences finies 1D EDP stationnaire 1D + Dirichlet 2019/02/19 36 / 85
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 37 / 85
EDP stationnaire + CL mixtes
Trouver u : ra, bs ÝÑ R telle que
´u
2` cu “ f in sa, br, (4.36)
upaq “ α, (4.37)
u
1pbq “ β. (4.38)
EDP modèle stationnaire 1D avec condition de Dirichlet à droite et Neumann à gauche
Seule la dernière ligne du système linéaire est à modifier! Remplacer par ???
u
1px N q “ pD h
`uqpx N q ` Ophq “ upx N q ´ upx N´1 q
h ` Ophq “ β. u
N´ u
N´1h “ β. (4.39)
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 38 / 85
EDP stationnaire + CL mixtes
Trouver u : ra, bs ÝÑ R telle que
´u
2` cu “ f in sa, br, (4.36)
upaq “ α, (4.37)
u
1pbq “ β. (4.38)
EDP modèle stationnaire 1D avec condition de Dirichlet à droite et Neumann à gauche
Seule la dernière ligne du système linéaire est à modifier! Remplacer par ???
u
1px N q “ pD h
`uqpx N q ` Ophq “ upx N q ´ upx N´1 q
h ` Ophq “ β.
u
N´ u
N´1h “ β. (4.39)
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 38 / 85
EDP stationnaire + CL mixtes
Trouver u : ra, bs ÝÑ R telle que
´u
2` cu “ f in sa, br, (4.36)
upaq “ α, (4.37)
u
1pbq “ β. (4.38)
EDP modèle stationnaire 1D avec condition de Dirichlet à droite et Neumann à gauche
Seule la dernière ligne du système linéaire est à modifier! Remplacer par ???
u
1px N q “ pD h
`uqpx N q ` Ophq “ upx N q ´ upx N´1 q
h ` Ophq “ β.
u
N´ u
N´1h “ β. (4.39)
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 38 / 85
$
’ ’
’ ’
’ ’
’ ’
’ &
’ ’
’ ’
’ ’
’ ’
’ %
u
0“ α Ð eq. en x
0´u
2` µu
1´ u
0“ h
2f px
1q Ð eq. en x
1´u
3` µu
2´ u
1“ h
2f px
2q Ð eq. en x
2.. .
´u N´1 ` µu N´2 ´ u N´3 “ h
2f px N´2 q Ð eq. en x
N´2´u N ` µu N´1 ´ u N´2 “ h
2f px N´1 q Ð eq. en x
N´1u
N´ u
N´1“ hβ Ð eq. en x
NAU U U
def“
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝
1 0 . . . . . . . . . . . . 0 0
´1 µ ´1 0 . . . . . . 0 0
0 ´1 µ ´1 0 . . . 0 0
0 0 . .. ... ... ... .. . .. . .. . .. . . .. ... ... ... 0 .. .
.. . 0 . . . 0 1 µ ´1 0
0 0 . . . . . . 0 ´1 µ ´1
0 . . . . . . . . . . . . . . . ´1 1
˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝ u
0u
1u
2.. . .. . u
N´2u
N´1u
N˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
“
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝ α h
2f px
1q h
2f px
2q
.. . .. . h
2f px
N´2q h
2f px
N´1q
hβ
˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
def
“ B B B (4.40)
Mais ...
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 39 / 85
Schéma d’ordre 1 !!!
1e-4 1e-3 1e-2 1e-1
1e-7 1e-6 1e-5 1e-4 1e-3 1e-2 1e-1 1e+0 1e+1
h
Error(h) O(h) O(h^2)
(a) Représentation en échelle logarithmique de l’ordre du schéma
0 1 2 3 4 5 6 7
0 0.05 0.1 0.15 0.2 0.25 0.3 0.35
x
error(x)
Error for N=1600
(b) Représentation de l’erreur en fonction de x pour N “ 1600
Ecrire un schéma d’ordre 2 pour Neumann
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 40 / 85
TD
Exercice 4
Soit ϕ une fonction suffisament régulière et h ą 0 Q.1 Montrer que
d ϕ
dx pxq “ ´3ϕpxq ` 4ϕpx ` hq ´ ϕpx ` 2hq
2h ` Oph
2q (4.41)
Q.2 Montrer que d ϕ
dx pxq “ 3ϕpxq ´ 4ϕpx ´ hq ` ϕpx ´ 2hq
2h ` Oph
2q (4.42)
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 41 / 85
$
’ ’
’ ’
’ ’
’ ’
’ &
’ ’
’ ’
’ ’
’ ’
’ %
u
0“ α Ð eq. en x
0´u
2` µu
1´ u
0“ f px
1q Ð eq. en x
1´u
3` µu
2´ u
1“ f px
2q Ð eq. en x
2.. .
´u N´1 ` µu N´2 ´ u N´3 “ f px N´2 q Ð eq. en x
N´2´u N ` µu N´1 ´ u N´2 “ f px N´1 q Ð eq. en x
N´13u
N´ 4u
N´1` u
N´2“ 2hβ Ð eq. en x
NAU U U
def“
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝
1 0 . . . . . . . . . . . . 0 0
´1 µ ´1 0 . . . . . . 0 0
0 ´1 µ ´1 0 . . . 0 0
0 0 . .. ... ... ... .. . .. . .. . .. . . .. ... ... ... 0 .. .
.. . 0 . . . 0 1 µ ´1 0
0 0 . . . . . . 0 ´1 µ ´1
0 . . . . . . . . . . . . 1 ´4 3
˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝ u
0u
1u
2.. . .. . u
N´2u
N´1u
N˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
“
¨
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˚
˝ α h
2f px
1q h
2f px
2q
.. . .. . h
2f px
N´2q h
2f px
N´1q
2hβ
˛
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‹
‚
def
“ B B B (4.54)
et ...
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 42 / 85
Schéma d’ordre 2
1e-4 1e-3 1e-2 1e-1
1e-7 1e-6 1e-5 1e-4 1e-3 1e-2 1e-1
h
Error(h) O(h) O(h^2)
(a) Représentation en échelle logarithmique de l’ordre du schéma
0 1 2 3 4 5 6 7
0 0.0005 0.001 0.0015 0.002
x
error(x)
Error for N=1600
(b) Représentation de l’erreur en fonction de x pour N “ 1600
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 43 / 85
Exercice 5
Soit le problème suivant
´u2pxq `cpxqupxq “ fpxq,@xPsa;br, (4.55)
u1paq “ α, (4.56)
upbq “ β. (4.57)
oùcest une fonction positive.
Q.1
1 Quelles sont les données du problème (4.55)-(4.57)? (préciser le type de chaque donnée : réel, entier, fonction, vecteur, ...)
2 Quelles sont les inconnues du problème (4.55)-(4.57)? (préciser le type)
3 Quelles sont les conditions initiales?
4 Quelles sont les conditions aux limites?
Q.2 Construire une discrétisation régulière dera;bsavecNpas de discrétisation en espace.
On notexi,iP v0,Nwcette discrétisation. On souhaite résoudre (4.55) à l’aide du schéma numérique
´ui`1´2ui`ui´1
∆x2 `ciui“fi. (4.58)
Q.3
1 Expliquer comment le schéma (4.58) a été obtenu à partir de (4.55) et préciser ce que représente les termesui,fi,ciet
∆x?
2 Donner l’ensembleEdes valeurs que peut prendreidans le schéma (4.55).
3 Construire une discrétisation des conditions aux limites d’ordre 2 au moins.
4 Le schéma global est de quel ordre? Justifiez.
On noteVVVle vecteur de dimensionN`1,de composantesVVVi“ui´1,@iP v1,N`1w.
Q.4 Montrer que le vecteurVVVest solution du système linéaire
AVVV“FFF (4.59)
en explicitant la matriceAet le vecteurFFF(préciser les dimensions).
Q.5 Ecrire un algorithme complet de résolution du problème (4.55) à (4.57) basé sur (4.59). (Utiliserau maximumles fonctions). On pourra utiliser la fonctionXXXÐSolvepA,BBBqretournant la solution du système linéaireAXXX“BBB.
Méthode des différences finies 1D EDP stationnaire + CL mixtes 2019/02/19 44 / 85
Plan
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Problème modèle évolutif 2019/02/19 45 / 85
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Problème modèle évolutif 2019/02/19 46 / 85
Trouver u : r0, T s ˆ ra, bs ÝÑ R telle que Bu
Bt pt, xq ´ D B
2u
Bx
2pt , xq “ f pt, xq, @pt, xq Ps0, T sˆsa, br, (4.76) up0, xq “ u
0pxq, @x P ra, bs (4.77)
´D Bu
Bx pt , aq “ αptq, @t P r 0, T s (4.78)
upt, bq “ βptq, @t P r0, T s (4.79)
EDP modèle instationnaire en dimension 1 : équation de la chaleur
où a ă b, D ą 0 (coefficient de diffusivité), α : r0, T s ÝÑ R ,
β : r 0, T s ÝÑ R , u
0: ra, bs ÝÑ R et f : r 0, T s ˆ ra, bs ÝÑ R donnés.
condition de compatibilité :
u
0pbq “ βp 0 q. (4.80)
Problème modèle évolutif 2019/02/19 47 / 85
x i “ a ` i ∆ x , @i P v 0, N x w, avec ∆ x “ pb ´ aq{N x
t n “ n∆ t , @n P v0, N t w, avec ∆ t “ T {N t . Objectif: Trouver u u u n i « upt n , x i q, @n P v 0, N t w, @i P v 0, N x w
x t
x0 x1 x2 x3 x4 x5 x6 x7 x8 x9
t0 t1 t2 t3 t4 t5 t6 t7
Figure: Représentation d’une grille espace-temps avec N
t“ 7 et N
x“ 9. Les noeuds de la grille sont les points bleus.
Problème modèle évolutif 2019/02/19 48 / 85
Trouver upt n , x i q P R , @n P v 0, N t w, @i P v 0, N x w, tels que Bu
Bt pt n , x i q ´ D B
2u
Bx
2pt n , x i q “ f pt n , x i q, (4.81) upt
0, x i q “ u
0px i q, @i P v0, N x w, (4.82)
´D Bu
Bx pt n , x
0q “ αpt n q, @n P v 0, N t w (4.83) upt n , x N
xq “ βpt n q, @n P v0, N t w (4.84) EDP modèle d’évolution en dimension 1 : équation de la chaleur, formulation aux points de discrétisation
ùñ il nous faut maintenant discrétiser les opérateurs de dérivation Bu
Bt , B
2u Bx
2et Bu
Bx
Problème modèle évolutif 2019/02/19 49 / 85
On déduit des développements de Taylor : B
2u
Bx
2pt, xq “ upt, x ` hq ´ 2upt, xq ` upt , x ´ hq
h
2` Oph
2q
Avec h “ ∆ x on obtient B
2u
Bx
2pt n , x i q “ upt n , x i`1 q ´ 2upt n , x i q ` u pt n , x i
´1q
∆
2x ` Op∆
2x q (4.85)
Problème modèle évolutif 2019/02/19 50 / 85
On déduit des développements de Taylor : Bu
Bt pt, xq “ upt ` h, xq ´ upt, xq
h ` Ophq
Bu
Bt pt, xq “ upt, xq ´ upt ´ h, xq
h ` Ophq.
Avec h “ ∆ t on obtient Bu
Bt pt n , x i q “ upt n`1 , x i q ´ u pt n , x i q
∆ t
` Op∆ t q (4.86) Bu
Bt pt n , x i q “ upt n , x i q ´ upt n´1 , x i q
∆ t ` Op∆ t q. (4.87)
Problème modèle évolutif 2019/02/19 51 / 85
On déduit des développements de Taylor : Bu
Bx pt, xq “ upt , x ` hq ´ upt , xq
h ` Ophq
Bu
Bx pt, xq “ upt , xq ´ upt, x ´ hq
h ` Ophq
Bu
Bx pt, xq “ upt , x ` hq ´ upt , x ´ hq
2h ` Oph
2q
Bu
Bx pt, xq “ ´ 3upt, xq ` 4upt, x ` hq ´ upt, x ` 2hq
2h ` Oph
2q
Bu
Bx pt, xq “ 3upt, xq ´ 4u pt, x ´ hq ` u pt, x ´ 2hq
2h ` Oph
2q
On veut approcher
BuBxpt n , x
0q à l’ordre 2! ñ 4ème approximation.
Avec h “ ∆ x on obtient Bu
Bx pt n , x
0q “ ´3upt n , x
0q ` 4upt n , x
1q ´ u pt n , x
2q
2∆ x ` Op∆
2x q (4.88)
Problème modèle évolutif 2019/02/19 52 / 85
1
Exemples d’E.D.P.
Equation de Laplace/Poisson Equation de la chaleur Equation des ondes
2
Méthodes de résolution numérique d’EDP
3
Opérateurs aux différences finies Dimension 1
Dimension n ą 1
4
Méthode des différences finies 1D EDP stationnaire 1D +
Dirichlet
EDP stationnaire + CL mixtes
5
Problème modèle évolutif Schéma explicite Schéma implicite
Problème modèle évolutif Schéma explicite 2019/02/19 53 / 85
Schéma explicite en temps pour l’EDP (54) à (4.84)
On rappelle (54) Bu
Bt pt
n, x
iq ´ D B
2u
Bx
2pt
n, x
iq “ f pt n , x i q, @n Pw 0, N t w, @i Pw 0, N x v, qui devient avec (4.86) et (4.85)
upt
n`1, x
iq ´ upt
n, x
iq
∆
t` Op∆
tq
´D u pt
n, x
i`1q ´ 2upt
n, x
iq ` upt
n, x
i´1q
∆
2x` Op∆
2xq “f pt n , x i q (4.94) avec n P v 0, N t v et i Pw 0, N x v.
En utilisant (4.87) en lieu et place de (4.86) on obtient un schéma implicite...
Problème modèle évolutif Schéma explicite 2019/02/19 54 / 85
Schéma explicite en temps pour l’EDP (54) à (4.84)
Un schéma numérique d’ordre 1 en temps et d’ordre 2 en espace pour (54):
@n P v 0, N t v, @i Pw 0, N x v u u
u n`1 i ´ u u u n i
∆ t
´ D u u u n i`1 ´ 2u u u n i ` u u u n i´1
∆
2x “ fff n i (4.95) avec fff n i “ f pt n , x i q et (en espérant) u u u n i « u pt n , x i q.
(4.95) est équivalent à
u u u n`1 i “ u u u n i ` D ∆ t
∆
2x
` u u u n i`1 ´ 2u u u n i ` u u u n i´1 ˘
` ∆ t fff n i (4.96) Et (4.82), (4.83), (4.84)?
Problème modèle évolutif Schéma explicite 2019/02/19 55 / 85
Schéma explicite en temps pour l’EDP (54) à (4.84)
On rappelle respectivement (4.82) et (4.84):
upt
0, x i q “ u
0px i q, @i P v0, N x w upt n , x N
xq “ βpt n q, @n P v0, N t w qui donne immédiatement (sans approximation)
u u
u
0i “ u
0px i q, @i P v 0, N x w
u u u n N
x“ β pt n q, @n P v 0, N t w (4.97) Et (4.83)?
Problème modèle évolutif Schéma explicite 2019/02/19 56 / 85
Schéma explicite en temps pour l’EDP (54) à (4.84)
On rappelle (4.83) @n P v0, N t w
´D Bu
Bx pt n , x
0q “ αpt n q qui donne avec (4.88)
´D ´3upt n , x
0q ` 4upt n , x
1q ´ upt n , x
2q
2∆ x ` Op∆
2x q “ αpt n q Un schéma numérique d’ordre 2 en espace pour (4.83):
´D ´ 3u u u n
0` 4u u u n
1´ u u u n
2∆ x “ αpt n q ou encore
u u u n
0“ 1
3 ˆ 2∆ x
D αpt n q ` 4u u u n
1´ u u u n
2˙
. (4.105)
Problème modèle évolutif Schéma explicite 2019/02/19 57 / 85
Schéma explicite en temps pour l’EDP (54) à (4.84)
En résumé, avec E “ D
∆∆2tx
et C “ 1 ´ 2E
u u u n`1 i “ Cu u u n i ` E pu u u n i`1 ` u u u n i
´1q ` ∆ t fff n i ,
"
@n P v 0, N t v,
@i Pw 0, N x v (4.96) u u u
0i “ u
0px i q, @i P v 0, N x w (4.106) u u
u n
0“ 1 3
ˆ 2∆ x
D αpt n q ` 4u u u n
1´ u u u n
2˙
, @n P v0, N t w (4.105) u u u n N
x“ βpt n q, @n P v0, N t w (4.97) Peut-on calculer pu u u
n`1iq
Ni“0xconnaissant pu u u
niq
Ni“0x?
u u u n`1 i “
Cu u u n i ` Epu u u n i`1 ` u u u n i´1 q ` ∆ t fff n i , @i Pw 0, N x v,
(4.107) u u u n`1 N
x
“
βpt n`1 q,
(4.108) u
u u n`1
0“
1 3
ˆ 2∆ x
D αpt n`1 q ` 4u u u n`1
1´ u u u n`1
2˙ .
(4.109)
Problème modèle évolutif Schéma explicite 2019/02/19 58 / 85
Schéma explicite en temps pour l’EDP (54) à (4.84)
En résumé, avec E “ D
∆∆2tx
et C “ 1 ´ 2E
u u u n`1 i “ Cu u u n i ` E pu u u n i`1 ` u u u n i
´1q ` ∆ t fff n i ,
"
@n P v 0, N t v,
@i Pw 0, N x v (4.96) u u u
0i “ u
0px i q, @i P v 0, N x w (4.106) u u
u n
0“ 1 3
ˆ 2∆ x
D αpt n q ` 4u u u n
1´ u u u n
2˙
, @n P v0, N t w (4.105) u u u n N
x“ βpt n q, @n P v0, N t w (4.97) Peut-on calculer pu u u
n`1iq
Ni“0xconnaissant pu u u
niq
Ni“0x?
u
u u n`1 i “ Cu u u n i ` Epu u u n i`1 ` u u u n i´1 q ` ∆ t fff n i , @i Pw0, N x v, (4.107) u u u n`1 N
x
“
βpt n`1 q,
(4.108) u
u u n`1
0“
1 3
ˆ 2∆ x
D αpt n`1 q ` 4u u u n`1
1´ u u u n`1
2˙ .
(4.109)
Problème modèle évolutif Schéma explicite 2019/02/19 58 / 85