Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et...

57
MØthodes numØriques II (cours 1 et 2) Franois Cuvelier Laboratoire d’Analyse GØomØtrie et Applications Institut GalilØe UniversitØ Paris XIII. 2016/01/11 2016/01/11 1 / 52

Transcript of Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et...

Page 1: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Méthodes numériques II (cours 1 et 2)

François Cuvelier

Laboratoire d'Analyse Géométrie et Applications

Institut Galilée

Université Paris XIII.

2016/01/11

2016/01/11 1 / 52

Page 2: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Part III

Résolution numérique des E.D.O.

2016/01/11 2 / 52

Page 3: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correction

2016/01/11 3 / 52

Page 4: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.Chimie : réaction BZMétéorologie : modèle de Lorentz (1963)Mécanique : le pendule pesant

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correction

Exemples d'E.D.O. 2016/01/11 4 / 52

Page 5: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Réaction BZ (Belousov-Zhabotinsky)

(a) Boris PavlovichBelousov 1893-1970,Chimiste et biophysicienrusse

(b) Anatol Zhabotinsky1938-2008, Chimisterusse

(c) Ilya Prigogine

1917-2003, Physicien etchimiste belge (originerusse). Prix Nobel dechimie en 1977

Exemples d'E.D.O. Chimie : réaction BZ 2016/01/11 5 / 52

Page 6: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Modèle du Brusselator (1970)

Une solution de bromate de potassium et d'acide sulfurique mélangée à unesolution d'acide manolique et de bromure de sodium peut entrainer, souscertaines conditions, une oscillation de la couleur de la solution mélange durouge au bleue avec une période de 7 secondes.Le modéle associé est nommé modèle du brusselator. Sous certaineshypothèses, le modèle simpli�é peut s'écrire :

"

X 1ptq “ 1` αX 2ptqY ptq ´ pβ ` 1qX ptqY 1ptq “ ´αX 2ptqY ptq ` βX ptq

(1)

Exemples d'E.D.O. Chimie : réaction BZ 2016/01/11 6 / 52

Page 7: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Modèle du Brusselator

Avec α “ 1, β “ 3.5 et les C.I. X p0q “ 3 et Y p0q “ 2 :

0 10 20 30 40 50 600

0.5

1

1.5

2

2.5

3

3.5

4

4.5

t

Brusselator simplifie − Concentrations

X(t)Y(t)

Exemples d'E.D.O. Chimie : réaction BZ 2016/01/11 7 / 52

Page 8: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Modèle du Bruxelator

Avec α “ 1, β “ 3.5 et les C.I. X p0q “ 3 et Y p0q “ 2 :

0 0.5 1 1.5 2 2.5 3 3.50

0.5

1

1.5

2

2.5

3

3.5

4

4.5

X(t)

Y(t

)

Brusselator simplifie

X(0)

Y(0)

Exemples d'E.D.O. Chimie : réaction BZ 2016/01/11 8 / 52

Page 9: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Modèle du Brusselator

Avec α “ 1, β “ 3.5 et les C.I. X p0q “ 3 et Y p0q “ 2 :

0 1 2 3 4 5 6 7 80

1

2

3

4

5

6

7

8

X(t)

Y(t

)

Brusselator simplifie

Exemples d'E.D.O. Chimie : réaction BZ 2016/01/11 9 / 52

Page 10: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Modèle de Lorentz

(a) Edward Norton Lorenz

1917-2008, Mathématicienet météorologisteaméricain

Le couplage Océan-Atmosphère estdécrit par un système d'E.D.P. cou-plées de Navier-Stokes de la mé-canique des �uides.Le modèle de Lorentz est une ver-sion très simpli�ée de ces équationspour l'étude du phénomène de convec-tion de Rayleigh-Bénard :

$

&

%

x 1ptq “ ´σxptq ` σyptqy 1ptq “ ´xptqyptq ` ρxptq ´ yptq

z 1ptq “ xptqyptq ´ βzptq

‚ xptq : proportionnel à l'intensité du mouvement de convection,

‚ yptq : proportionnel à la di�érence de température entre les courantsascendants et descendants,

‚ zptq :proportionnel à une variation de température

Exemples d'E.D.O. Météorologie : modèle de Lorentz (1963) 2016/01/11 10 / 52

Page 11: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Modèle de Lorentz

Avec σ “ 10, ρ “ 28, β “ 8{3 et les données initialesxp0q “ ´8, yp0q “ 8, zp0q “ 27 (courbe bleue) et des données initialesperturbées xp0q “ ´8` 1e ´ 4, yp0q “ 8, zp0q “ 27 (courbe rouge)

0 10 20 30 40 50 60 70 80 90 100−20

−15

−10

−5

0

5

10

15

20

x(t)

t

Modele de Lorentz

0 10 20 30 40 50 60 70 80 90 100−30

−20

−10

0

10

20

30

y(t)

t

0 10 20 30 40 50 60 70 80 90 1000

10

20

30

40

50

z(t)

t

Exemples d'E.D.O. Météorologie : modèle de Lorentz (1963) 2016/01/11 11 / 52

Page 12: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Modèle de Lorentz : papillon

En représentant la courbe paramétré pxptq, yptq, zptqq dans l'espace, onobtient l'attracteur étrange de Lorenz en forme d'aile de papillon

−20 −15 −10 −5 0 5 10 15 20−50

0

50

0

5

10

15

20

25

30

35

40

45

50

y(t)

x(t)

Modele de Lorentz

z(t)

Exemples d'E.D.O. Météorologie : modèle de Lorentz (1963) 2016/01/11 12 / 52

Page 13: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Pendule pesant sans viscosité

Le pendule pesant : objet pesant accroché à une tige de masse négligeable,l'autre extrémité de la tige est l'axe de rotation du pendule.

θ2ptq `g

Lsinpθptqq “ 0. (2)

où θptq est l'angle que fait, à l'instant t, le pendule par rapport à l'axevertical, L la longueur de la tige.

θ

L

M

Exemples d'E.D.O. Mécanique : le pendule pesant 2016/01/11 13 / 52

Page 14: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Pendule pesant sans viscosité

Avec gL“ 3 et les C.I. θ0 “

5π6, θ10 “ 0 :

0 2 4 6 8 10 12 14 16 18 20−3

−2

−1

0

1

2

3

t

θ(t)

Pendule pesant − valeur angulaire

0 2 4 6 8 10 12 14 16 18 20−4

−2

0

2

4

t

θ’(t

)

Pendule pesant − vitesse angulaire

Exemples d'E.D.O. Mécanique : le pendule pesant 2016/01/11 14 / 52

Page 15: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Pendule pesant sans viscosité

Avec gL“ 3 et les C.I. θ0 “

5π6, θ10 “ 0 :

−3 −2 −1 0 1 2 3−4

−3

−2

−1

0

1

2

3

4

θ(t)

θ’(t

)Pendule pesant

Exemples d'E.D.O. Mécanique : le pendule pesant 2016/01/11 15 / 52

Page 16: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Pendule pesant sans viscosité

Avec gL“ 3 :

0 5 10 15 20

−8

−6

−4

−2

0

2

4

6

8

AB

C

θ

θ’Représentation des courbes paramétrées (θ(t),θ’(t))

Exemples d'E.D.O. Mécanique : le pendule pesant 2016/01/11 16 / 52

Page 17: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correctionDé�nitions et résultats 2016/01/11 17 / 52

Page 18: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Soit yyy : I Ă R ÝÑ Rm de classeCp (continûment dérivable d'ordre p). On note yyy ppq la dérivée d'ordre p de yyy .

De�nition 2.1

On appelle équation di�érentielle ordinaire (E.D.O.) d'ordre p une équation dela forme :

Fpt,yyyptq,yyy p1qptq,yyy p2qptq, . . . ,yyy ppqptqq “ 0.

De�nition 2.2

On appelle forme canonique d'une E.D.O. une expression du type :

yyy ppqptq “ GGGpt,yyyptq,yyy p1qptq,yyy p2qptq, . . . ,yyy pp´1qptqq. (3)

Proposition 2.3

Toute équation di�érentielle d'ordre p sous forme canonique peut s'écrire comme unsystème de p équations di�érentielles d'ordre 1.

Dé�nitions et résultats 2016/01/11 18 / 52

Page 19: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correctionProblème de Cauchy 2016/01/11 19 / 52

Page 20: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

De�nition 3.1: problème de Cauchy

Soit fff l'application continue dé�nie par

fff : rt0, t0 ` T s ˆRm ÝÑ Rm

pt,yyyq ÞÝÑ fff pt,yyyq

avec T Ps0,`8s. Le problème de Cauchy revient à chercher unefonction yyy dé�nie par

yyy : rt0, t0 ` T s ÝÑ Rm

t ÞÝÑ yyyptq

continue et dérivable, telle que

yyy 1ptq “ fff pt,yyyptqq, @t P rt0, t0 ` T s (4)

yyypt0q “ yyy r0s P Rm. (5)

Problème de Cauchy 2016/01/11 20 / 52

Page 21: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

pCq"

yyy 1ptq “ fff pt,yyyptqq, @t P rt0, t0 ` T s

yyypt0q “ yyy r0s P Rm.

Exercise 3.1

Quelles sont les données du problème de Cauchy?

‚ t0 P R, T P R`˚, m P N˚

‚ la fonction fff

‚ le vecteur yyy r0s P Rm

Problème de Cauchy 2016/01/11 21 / 52

Page 22: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

pCq"

yyy 1ptq “ fff pt,yyyptqq, @t P rt0, t0 ` T s

yyypt0q “ yyy r0s P Rm.

Exercise 3.2

Quelles sont les données du problème de Cauchy?

‚ t0 P R, T P R`˚, m P N˚

‚ la fonction fff

‚ le vecteur yyy r0s P Rm

Problème de Cauchy 2016/01/11 21 / 52

Page 23: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

TD

Exercise 3.3

Pour chacune des E.D.O. suivantes écrire le problème de Cauchy associé

paq

"

x2ptq ` αx 1ptq ` β cospxptqq “ sinptq, t Ps0, 2πsxp0q “ 0, x 1p0q “ 1.

pbq

$

&

%

LCv2ptq `

ˆ

L

R2` R1C

˙

v 1ptq `

ˆ

R1

R2` 1

˙

vptq “ e, t Ps0, 100s

vp0q “ 0, v 1p0q “ 0.

pcq

"

x2ptq “ µp1´ x2ptqqx 1ptq ´ xptq, t Ps0, 10sxp0q “ 1, x 1p0q “ 1.

pdq

#

y p3qptq ´ cosptqy p2qptq ` 2 sinptqy p1qptq ´ yptq “ 0, t Ps0,T s

yp0q “ u0, y p1qp0q “ v0, y p2qp0q “ w0.

Problème de Cauchy 2016/01/11 22 / 52

Page 24: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Exercise 3.4

Déterminer le problème de Cauchy associé au modèle du Brusselator simpli�é:

pBq"

X 1ptq “ 1` αX 2ptqY ptq ´ pβ ` 1qX ptqY 1ptq “ ´αX 2ptqY ptq ` βX ptq

avec C.I. X p0q “ X0 et Y p0q “ Y0.

Exercise 3.5

Déterminer le problème de Cauchy associé au modèle du pendule pesant sim-pli�é :

pPq θp2qptq `g

Lsinpθptqq “ 0.

avec C.I. θp0q “ θ0 et θ1p0q “ θ10.

Problème de Cauchy 2016/01/11 23 / 52

Page 25: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

‚ Problème de Cauchy linéaire :

"

y 1ptq “ 3yptq ´ 3t, si t ą 0yp0q “ 1

On a f pt, vq “ 3v ´ 3t et une solution yptq “ p1´ 1{3qe3t ` t ` 1{3.

‚ Problème non-linéaire :"

y 1ptq “ 3a

yptq, si t ą 0yp0q “ 0

On a f pt, vq “ 3?v et trois solutions yptq “ 0, yptq “

a

8t3{27 etyptq “ ´

a

8t3{27.

Problème de Cauchy 2016/01/11 24 / 52

Page 26: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

‚ Problème de Cauchy linéaire :

"

y 1ptq “ 3yptq ´ 3t, si t ą 0yp0q “ 1

On a f pt, vq “ 3v ´ 3t et une solution yptq “ p1´ 1{3qe3t ` t ` 1{3.

‚ Problème non-linéaire :"

y 1ptq “ 3a

yptq, si t ą 0yp0q “ 0

On a f pt, vq “ 3?v et trois solutions yptq “ 0, yptq “

a

8t3{27 etyptq “ ´

a

8t3{27.

Problème de Cauchy 2016/01/11 24 / 52

Page 27: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

pPCq"

yyy 1ptq “ fff pt,yyyptqqyyypt0q “ yyy0 P R

m.

avec fff : U ÝÑ Rm, U un ouvert de RˆRm et pt0,yyy r0sq P U.

Theorem 1: Cauchy-Lipschitz

On suppose que la fonction fff est continue sur U et quelle est localementlipschitzienne en yyy : @pt,yyyq P U, DW voisinage ttt, DV voisinage yyy , DL ą 0 telsque

@s PW, @puuu,vvvq P V2, }fff ps,uuuq ´ fff ps,vvvq} ď L }uuu ´ vvv} (6)

Sous ces hypothèses le problème de Cauchy pPCq admet une unique solution.

Proposition 3.2

SiBfff

Byyypt,yyyq est continue et bornée, alors fff satisfait (6).

Problème de Cauchy 2016/01/11 25 / 52

Page 28: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correctionDi�érences �nies m “ 1 2016/01/11 26 / 52

Page 29: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

On veut résoudre le problème de Cauchy :

pPCq"

y 1ptq “ f pt, yptqq, @t P rt0, t0 ` T s

ypt0q “ y0 P R.

D'après la formule de Taylor-Lagrange :

yptn ` hq “ yptnq ` hy 1ptnq `Oph2q

La méthode d'Euler progressive est alors donnée par le schéma

"

y rn`1s “ y rns ` hf ptn, y rnsq, @n P v0,N ´ 1w

y r0s “ ypt0q(7)

Ce schéma est explicite, car il permet le calcul direct de y rn`1s en fonctionde y rns.

Di�érences �nies m “ 1 2016/01/11 27 / 52

Page 30: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

On veut résoudre le problème de Cauchy :

pPCq"

y 1ptq “ f pt, yptqq, @t P rt0, t0 ` T s

ypt0q “ y0 P R.

D'après la formule de Taylor-Lagrange :

yptn`1 ´ hq “ yptn`1q ´ hy 1ptn`1q `Oph2q

La méthode d'Euler régressive est donnée par le schéma

"

y rn`1s “ y rns ` hf ptn`1, y rn`1sq, @n P v0,N ´ 1w

y r0s “ ypt0q(8)

Ce schéma est implicite, car y rn`1s est dé�nit implicitement en fonction dey rns. Il faut donc résoudre à chaque pas de temps une équation non-linéaireen utilisant des méthodes de point �xe par exemple.

Di�érences �nies m “ 1 2016/01/11 28 / 52

Page 31: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

TD

Exercise 4.1

On veut résoudre numériquement le problème pPq suivant : trouver y telle que

pPq"

y 1ptq “ cosptq ` 1, @t P r0, 4πsyp0q “ 0.

dont la solution exacte est yptq “ sinptq ` t.On rappelle le schéma d'Euler progressif pour la résolution d'un problème de Cauchy

pSq"

y pn`1q “ y pnq`hf ptn, y pnqq,y p0q donné.

Q.1 Expliquer en détail comment utiliser le schéma d'Euler progressif pour résoudre le

problème pPq en précisant entre autres les données, les inconnues, les dimensions des variables,

lien entre y pnq et la fonction y , ...Q.2 Soit a, b, a ă b deux réels. Ecrire une fonction DisReg retournant une discrétisation de

l'intervalle ra; bs avec N pas (constant) de discrétisation.

Q.3 Ecrire une fonction REDEP retournant l'ensemble des couples ptn, y pnqq calculés par le

schéma d'Euler progressif.

Q.4 Ecrire un algorithme complet de résolution de pPq par le schéma d'Euler progressif.

Di�érences �nies m “ 1 2016/01/11 29 / 52

Page 32: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Exemple

Soit l'E.D.O. suivante"

y 1ptq “ yptq ` t2y2ptq, pour t P r0, 5s,yp0q “ ´1

de solution exacte yptq “ 1{pe´t ´ t2 ` 2t ´ 2q.

0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5−2

−1.8

−1.6

−1.4

−1.2

−1

−0.8

−0.6

−0.4

−0.2

0

t

y’(t)=y(t)+t2 y2(t) avec y(0)=−1 et N=10

exacte

Euler Progressive

Euler Regressive

Di�érences �nies m “ 1 2016/01/11 30 / 52

Page 33: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Exemple

Soit l'E.D.O. suivante"

y 1ptq “ yptq ` t2y2ptq, pour t P r0, 5s,yp0q “ ´1

de solution exacte yptq “ 1{pe´t ´ t2 ` 2t ´ 2q.

0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 5−1.8

−1.6

−1.4

−1.2

−1

−0.8

−0.6

−0.4

−0.2

0

t

y’(t)=y(t)+t2 y2(t) avec y(0)=−1 et N=50

exacte

Euler Progressive

Euler Regressive

Di�érences �nies m “ 1 2016/01/11 31 / 52

Page 34: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correctionDi�érences �nies m ą 1 2016/01/11 32 / 52

Page 35: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

On veut résoudre le problème de Cauchy :

pPCq"

yyy 1ptq “ fff pt,yyyptqq, @t P rt0, t0 ` T s

yyypt0q “ yyy0 P Rm.

La méthode d'Euler progressive est donnée par le schéma

"

yyy rn`1s “ yyy rns ` hfff ptn,yyy rnsq, @n P v0,N ´ 1w

yyy r0s “ yyypt0q(9)

Ce schéma est explicite, car il permet le calcul direct de yyy rn`1s en fonctionde yyy rns.

Di�érences �nies m ą 1 2016/01/11 33 / 52

Page 36: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

On veut résoudre le problème de Cauchy :

pPCq"

yyy 1ptq “ fff pt,yyyptqq, @t P rt0, t0 ` T s

yyypt0q “ yyy0 P Rm.

La méthode d'Euler régressive est donnée par le schéma

"

yyy rn`1s “ yyy rns ` hfff ptn`1,yyy rn`1sq, @n P v0,N ´ 1w

yyy r0s “ yyypt0q(10)

Ce schéma est implicite, car yyy rn`1s est dé�nit implicitement en fonction deyyy rns.

Di�érences �nies m ą 1 2016/01/11 34 / 52

Page 37: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pasMéthodes de Runge-Kutta

7 Méthodes à pas multiples

8 Méthodes de prédiction-correctionMéthodes à un pas 2016/01/11 35 / 52

Page 38: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Soit yyy la solution d'un problème de Cauchy et ptnqNn“0 la discrétisationrégulière de l'intervalle rt0, t0 ` T s.

De�nition 6.1: Méthodes à un pas

Les méthodes à un pas utilisent la formule générale:

yyy rn`1s “ yyy rns ` hΦΦΦptn,yyy rns, hq (11)

Le schéma (11) converge sur l'intervalle rt0, t0`T s si, pour la suite desyyy rns calculés, l'écart maximum avec la solution exacte diminue quandle pas h diminue:

limh“T

NÑ0

maxnPt0,...,Nu

›yyy rns ´ yyyptnq

›“ 0

Pour la méthode d'Euler progressif ΦΦΦpt,yyy , hq “ fff pt,yyyq.

Méthodes à un pas 2016/01/11 36 / 52

Page 39: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

De�nition 6.2: Consistance

Le schéma de calcul (11) est consistant avec le problème de Cauchy(4)-(5) si

limh“T

NÑ0

maxn

yyyptn`1q ´ yyyptnq

h´ΦΦΦptn,yyyptnq, hq

“ 0

Cela signi�e que le schéma doit être une approximation vraisemblable,bien construite.

Theorem 2

Le schéma (11) est consistantavec le problème de Cauchy (4)-(5) siΦpt,yyy , 0q “ f pt,yyyq.

Méthodes à un pas 2016/01/11 37 / 52

Page 40: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

De�nition 6.3: Stabilité

La méthode est stable si une petite perturbation sur yyy r0s ou ΦΦΦ n'entraînequ'une petite perturbation sur la solution approchée, et cela quel quesoit le pas h.

Theorem 3

Si ΦΦΦpt,yyy , hq véri�e la condition de Lipschitz en yyy alors la méthode eststable.

Theorem 4

Si la méthode est stable et consistante, alors elle converge pourn'importe quelle valeur initiale.

Méthodes à un pas 2016/01/11 38 / 52

Page 41: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

De�nition 6.4: Ordre d'un schéma

Le schéma (11) est d'ordre p si la solution yyy du problème de Cauchy(4)-(5) véri�e

maxn

yyyptn`1q ´ yyyptnq

h´ΦΦΦptn,yyyptnq, hq

“ Ophpq

Lemma 6.5

Soient yyy la solution du problème de Cauchy (4)-(5). et pyyy rnsqnPv0,Nw donnés

par un schéma à un pas (11) d'ordre p avec yyy r0s “ yyypt0q. On a alors

maxnPv0,Nw

›yyyptnq ´ yyy rns

›“ Ophpq (12)

Méthodes à un pas 2016/01/11 39 / 52

Page 42: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Proposition 6.6

Le schéma d'Euler progressif est une méthode à un pas d'ordre 1.

y 1ptq “ cosptq ` 1, t P r0, 4πs avec yp0q “ 0 psol .ex .yptq “ sinptq ` tq

0 2 4 6 8 10 12 14

t

0

0.2

0.4

0.6

0.8E

rrorErreur avec h = 2/(20× T), N=20

0 2 4 6 8 10 12 14

t

0

0.02

0.04

0.06

0.08

Err

or

Erreur avec h = 2/(200× T), N=200

Figure : Méthode d'Euler progressive : véri�cation numérique de l'ordreMéthodes à un pas 2016/01/11 40 / 52

Page 43: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Proposition 6.6

Le schéma d'Euler progressif est une méthode à un pas d'ordre 1.

y 1ptq “ cosptq ` 1, t P r0, 4πs avec yp0q “ 0 psol .ex .yptq “ sinptq ` tq

0 0.02 0.04 0.06 0.08 0.1 0.12 0.14

h

0

0.02

0.04

0.06

0.08

0.1

0.12

0.14E

(h)

Figure : Méthode d'Euler progressive : véri�cation numérique de l'ordre

Méthodes à un pas 2016/01/11 40 / 52

Page 44: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Méthodes de Runge-Kutta

(a) Carle Runge 1856-1927,mathématicien et physicienallemand

(b) Martin Wilhelm Kutta

1867-1944, Mathématicienallemand

(c) John C. Butcher 1933,Mathématicien appliquénéozélandais

L'idée fondamentale des méthodes de Runge-Kutta est d'intégrer l'équationyyy 1ptq “ fff pt,yyyptqq sur rtn, tn`1s et de calculer:

yyyptn`1q “ yyyptnq `

ż tn`1

tnfff pt,yyyptqqdt,

en utilisant une formule d'intégration numérique à q points intermédiairestn,i`1 “ tn ` ih pour calculer l'intégrale.

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 41 / 52

Page 45: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Méthodes de Runge-Kutta

Ce sont des méthodes à un pas :

yyy rn`1s “ yyy rns ` hΦΦΦptn,yyy rns, hq

avec

ΦΦΦpt,yyy , hq “qÿ

i“1

cikkkrispt,yyy , hq

et

kkk rispt,yyy , hq “ fff

˜

t ` hai , y ` h

qÿ

j“1

bi ,jkkkrjspt,yyy , hq

¸

, 1 ď i ď q

que l'on peut représenter sous la forme d'un tableau dit tableau deButcher :

aaa Bccct

(13)

avec B “ pbi ,jqi ,jPv1,qw PMq, qpRq, aaa “ pai qiPv1,qw P Rq et

ccc “ pci qiPv1,qw P Rq

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 42 / 52

Page 46: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Proposition 6.7

‚ Les méthodes de Runge-Kutta explicites sont stables si f est contractante en y . ‚Une méthode de Runge-Kutta est d'ordre 0 si

ai “

qÿ

j“1

bij .

‚ Une méthode de Runge-Kutta est d'ordre 1 (et donc consistante) si elle est d'ordre0 et si

qÿ

i“1

ci “ 1.

‚ Une méthode de Runge-Kutta est d'ordre 2 si elle est d'ordre 1 et si

qÿ

i“1

ciai “ 1{2.

‚ Une méthode de Runge-Kutta est explicite si la matrice B est triangulaire inférieureà diagonale nulle :

@pi , jq P v1, qw, j ě i , bij “ 0.

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 43 / 52

Page 47: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Runge-Kutta d'ordre 2

0 0 012α

12α 0

1´ α α

(14)

ΦΦΦpt,yyy , hq “ p1´ αqfff pt,yyyq ` αfff pt `h

2α,yyy `

h

2αfff pt,yyyqq

‚ α “ 12, méthode de Heun :

yyy rn`1s “ yyy rns `h

2fff ptn,yyy rnsq `

h

2fff´

tn`1,yyy rns ` hfff ptn,yyy rnsq¯

.

‚ α “ 1, méthode d'Euler modi�ée ou méthode du point milieu:

yyy rn`1s “ yyy rns ` hfff

ˆ

tn `h

2,yyy rns `

h

2fff ptn,yyy rnsq

˙

.

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 44 / 52

Page 48: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Exercise 6.1

la méthode de Heun est donnée par

yyy rn`1s “ yyy rns `h

2fff ptn,yyy rnsq `

h

2fff´

tn`1,yyy rns ` hfff ptn,yyy rnsq¯

.

Q.1 Ecrire la fonction algorithmique REDHeunVec permettant de

résoudre un problème de Cauchy (vectoriel par la méthode de Heun en

utilisant au plus 2N évaluation de fff .Q.2 Ecrire un programme algorithmique permettant de retrouver

numériquement l'ordre de cette méthode.

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 45 / 52

Page 49: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Application

y 1ptq “ cosptq ` 1, t P r0, 4πs avec yp0q “ 0 psol .ex .yptq “ sinptq ` tq

10 -2 10 -1 10 0

h

10 -6

10 -5

10 -4

10 -3

10 -2E

(h)

Heun (ordre 1.999)O(h)

O(h 2)

Figure : Méthode dde Heun : véri�cation numérique de l'ordre

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 46 / 52

Page 50: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Runge-Kutta d'ordre 4

La méthode explicite la plus utilisée est donnée par le tableau de Buchlersuivant

0 0 0 0 01{2 1{2 0 0 01{2 0 1{2 0 01 0 0 1 0

1{6 2{6 2{6 1{6

(15)

Ce qui donne le schéma explicite de Runge-Kutta d'ordre 4 :

kkkrns1 “ fff ptn,yyy rnsq

kkkrns2 “ fff ptn ` h

2,yyy rns ` h

2kkkrns1 q

kkkrns3 “ fff ptn ` h

2,yyy rns ` h

2kkkrns2 q

kkkrns4 “ fff ptn ` h,yyy rns ` hkkk

rns3 q

yyy rn`1s “ yyy rns ` h6pkkkrns1 ` 2kkk

rns2 ` 2kkk

rns3 ` kkk

rns4 q.

(16)

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 47 / 52

Page 51: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

TD

Exercise 6.2

la méthode de Runge-Kutta d'ordre 4 est donnée par

kkkrns1 “ fff ptn,yyy rnsq

kkkrns2 “ fff ptn ` h

2,yyy rns ` h

2kkkrns1 q

kkkrns3 “ fff ptn ` h

2,yyy rns ` h

2kkkrns2 q

kkkrns4 “ fff ptn ` h,yyy rns ` hkkk

rns3 q

yyy rn`1s “ yyy rns ` h6pkkkrns1 ` 2kkk

rns2 ` 2kkk

rns3 ` kkk

rns4 q.

yyy rn`1s “ yyy rns `h

2fff ptn,yyy rnsq `

h

2fff´

tn`1,yyy rns ` hfff ptn,yyy rnsq¯

.

Q.1 Ecrire la fonction algorithmique REDRK4Vec permettant de résoudre un

problème de Cauchy (vectoriel par la méthode de Runge-Kutta d'ordre 4.

Q.2 Ecrire un programme algorithmique permettant de retrouver numérique-

ment l'ordre de cette méthode.

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 48 / 52

Page 52: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

y 1ptq “ cosptq ` 1, t P r0, 4πs avec yp0q “ 0 psol .ex .yptq “ sinptq ` tq

10 -2 10 -1 10 0

h

10 -12

10 -11

10 -10

10 -9

10 -8

10 -7

10 -6

10 -5

10 -4

10 -3

10 -2

E(h

)

Heun (ordre 1.999)RK4 (ordre 3.998)

O(h 2)

O(h 3)

O(h 4)

Figure : Méthode RK4 : véri�cation numérique de l'ordre

mais ...Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 49 / 52

Page 53: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

y 1ptq “ cosptq ` 1, t P r0, 4πs avec yp0q “ 0 psol .ex .yptq “ sinptq ` tq

10 -3 10 -2 10 -1

h

10 -14

10 -12

10 -10

10 -8

10 -6

10 -4

10 -2

E(h

)

Heun (ordre 2.000)RK4 (ordre 2.908)

O(h 2)

O(h 3)

O(h 4)

Figure : Méthode RK4 progressive : véri�cation numérique de l'ordre

Méthodes à un pas Méthodes de Runge-Kutta 2016/01/11 49 / 52

Page 54: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correctionMéthodes à pas multiples 2016/01/11 50 / 52

Page 55: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

1 Exemples d'E.D.O.

2 Dé�nitions et résultats

3 Problème de Cauchy

4 Di�érences �nies m “ 1

5 Di�érences �nies m ą 1

6 Méthodes à un pas

7 Méthodes à pas multiples

8 Méthodes de prédiction-correctionMéthodes de prédiction-correction 2016/01/11 51 / 52

Page 56: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Part IV

Résolution numérique des E.D.P.

2016/01/11 52 / 52

Page 57: Méthodes numériques II (cours 1 et 2)cuvelier/docs/... · 1 Exemples d'E.D.O. 2 Dé nitions et résultats 3 Problème de Cauchy 4 Di érences nies m 1 5 Di érences nies m ¡1 6

Plan

9 ...

... 2016/01/11 53 / 52