12.02.2015 Views

Équations aux dérivées partielles, solutions classiques. Différences ...

Équations aux dérivées partielles, solutions classiques. Différences ...

Équations aux dérivées partielles, solutions classiques. Différences ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

ÉQUATIONS AUX DÉRIVÉES PARTIELLES,<br />

SOLUTIONS CLASSIQUES.<br />

DIFFÉRENCES FINIES.<br />

Alexandre Popier<br />

Université du Maine, Le Mans<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 1 / 52


PLAN DU COURS<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 2 / 52


PETIT LEXIQUE.<br />

DÉFINITION<br />

Une équation <strong>aux</strong> dérivées <strong>partielles</strong> (EDP en abrégé) est une<br />

équation faisant intervenir une fonction inconnue de plusieurs<br />

variables ainsi que certaines de ses dérivées <strong>partielles</strong>.<br />

On appelle ordre d’une EDP l’ordre de la plus grande dérivée présente<br />

dans l’équation.<br />

Une EDP est linéaire si l’équation est linéaire par rapport <strong>aux</strong> dérivées<br />

<strong>partielles</strong> de la fonction inconnue.<br />

EXEMPLE<br />

L’équation de Black-Scholes<br />

∂v(t, x)<br />

∂t<br />

est une EDP linéaire d’ordre 2.<br />

+ 1 2 σ2 x 2 ∂2 v(t, x) ∂v(t, x)<br />

∂x 2 + rx − rv(t, x) = 0,<br />

∂x<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 3 / 52


CLASSIFICATION SOMMAIRE.<br />

EDP d’ordre 2, linéaire, à deux variables :<br />

DÉFINITION<br />

a ∂2 u<br />

∂x 2 + b ∂2 u<br />

∂x∂y + c ∂2 u<br />

∂y 2 + d ∂u<br />

∂x + e ∂u + fu = g.<br />

∂y<br />

L’équation est elliptique si b 2 − 4ac < 0, parabolique si b 2 − 4ac = 0 et<br />

hyperbolique si b 2 − 4ac > 0.<br />

EXEMPLE<br />

L’EDP de Black-Scholes ou l’équation de la chaleur sont paraboliques.<br />

L’équation de Laplace<br />

∆u =<br />

d∑<br />

i=1<br />

∂ 2 u<br />

∂x 2<br />

i<br />

= 0<br />

sur un ouvert Ω ∈ R d , est elliptique.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 4 / 52


CONDITIONS AUX LIMITES.<br />

DÉFINITION<br />

On appelle problème <strong>aux</strong> limites une équation <strong>aux</strong> dérivées <strong>partielles</strong><br />

munie de conditions <strong>aux</strong> limites sur la totalité de la frontière du<br />

domaine sur lequel elle est posée.<br />

DÉFINITION<br />

Le problème est bien posé si pour toute donnée (second membre,<br />

domaine, données au bord, etc .), il admet une solution unique et si<br />

cette solution dépend continuement de la donnée.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 5 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 6 / 52


NORMALE À UN OUVERT.<br />

Soit Ω ouvert de R n de classe C k , avec<br />

ρ ∈ C k (R d ),<br />

Ω = {x ∈ R n , ρ(x) < 0},<br />

∂Ω = {x ∈ R n , ρ(x) = 0},<br />

grad ρ(x) = ∇ρ(x) ≠ 0 pour x ∈ ∂Ω.<br />

DÉFINITION<br />

1<br />

La fonction ν : x ∈ ∂Ω ↦→<br />

grad ρ(x) est appelée normale<br />

‖grad ρ(x)‖<br />

unitaire orientée vers l’extérieur de Ω.<br />

DÉFINITION<br />

Si u ∈ C 1 (¯Ω), on note ∂u<br />

∂ν<br />

de ∂Ω.<br />

= ν.grad u la dérivée normale de u le long<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 7 / 52


THÉORÈME DE GAUSS-GREEN.<br />

DONNÉES :<br />

Ω ouvert de R d de classe (au moins) C 1 ;<br />

ν = (ν 1 , . . . , ν d ) : normale extérieure à ∂Ω ;<br />

dσ : mesure superficielle du bord ∂Ω.<br />

THÉORÈME DE GAUSS-GREEN<br />

Si f ∈ C 1 (Ω), alors<br />

FORMULE DE STOKES<br />

∫<br />

∫ d∑<br />

divU(x)dx =<br />

Ω<br />

Ω<br />

i=1<br />

∫<br />

Ω<br />

∫<br />

∂f<br />

(x)dx = (f ν i )(σ)dσ.<br />

∂x i ∂Ω<br />

∫<br />

∂U i<br />

(x)dx = (U.ν)(σ)dσ.<br />

∂x i ∂Ω<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 8 / 52


FORMULES DE GREEN.<br />

INTÉGRATION PAR PARTIES<br />

Si f et g sont dans C 1 (Ω), pour tout i ∈ {1, . . . , d} :<br />

∫<br />

∫<br />

∂f<br />

(x)g(x)dx = − f (x) ∂g ∫<br />

(x)dx + f (σ)g(σ)ν i (σ)dσ.<br />

∂x i ∂x i<br />

Ω<br />

Ω<br />

∂Ω<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 9 / 52


FORMULES DE GREEN.<br />

FORMULES DE GREEN<br />

1 Si f ∈ C 2 (Ω) et g ∈ C 1 (Ω), on a :<br />

∫<br />

∫<br />

∫<br />

∂f<br />

∆f (x)g(x)dx = − ∇f (x).∇g(x)dx +<br />

Ω<br />

Ω<br />

∂Ω ∂ν (σ)g(σ)dσ.<br />

2 Si f et g sont dans C 2 (Ω), alors :<br />

∫<br />

∫<br />

∆f (x)g(x)dx = f (x)∆g(x)dx<br />

Ω<br />

Ω<br />

∫ [ ]<br />

∂f<br />

∂g<br />

+ (σ)g(σ) −<br />

∂ν ∂ν (σ)f (σ) dσ.<br />

∂Ω<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 9 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 10 / 52


DÉFINITIONS.<br />

◮ ÉQUATION DE LAPLACE : ∆u(x) = 0 pour tout x ∈ Ω ⊂ R d .<br />

◮ ÉQUATION DE POISSON : −∆u(x) = f (x) pour tout x ∈ Ω.<br />

DÉFINITION<br />

Une fonction u de classe C 2 sur Ω satisfaisant l’équation de Laplace<br />

est dite harmonique.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 11 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 12 / 52


SOLUTION INVARIANTE PAR ROTATION.<br />

DOMAINE : Ω = R d ⇒ invariance par rotation, d’où u(x) = v(r) avec<br />

r = ‖x‖.<br />

LEMME<br />

∂u<br />

∂x i<br />

= v ′ (r) x i<br />

r ,<br />

∂ 2 u<br />

∂x 2<br />

i<br />

( )<br />

= v ′′ (r) x i<br />

2<br />

r 2 + v ′ 1<br />

(r)<br />

r − x i<br />

2<br />

r 3<br />

∆u = 0 ⇔ v ′′ + d − 1 v ′ = 0.<br />

r<br />

{<br />

α ln(r) + β, d = 2;<br />

v(r) = α<br />

r d−2 + β, d ≥ 3; (α, β) ∈ R 2 .<br />

.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 13 / 52


SOLUTION FONDAMENTALE.<br />

DÉFINITION<br />

La fonction<br />

⎧<br />

⎪⎨<br />

Φ(x) =<br />

⎪⎩<br />

− 1 ln(‖x‖), d = 2;<br />

2π<br />

pour x ∈ R d , x ≠ 0,<br />

1 1<br />

d(d − 2)κ(d) ‖x‖ d−2 , d ≥ 3;<br />

est la solution fondamentale de l’équation de Laplace.<br />

NOTATION<br />

κ(d) =<br />

πd/2<br />

Γ( d 2 + 1) est le volume de la boule unité de Rd .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 14 / 52


ÉQUATION DE POISSON SUR R d .<br />

THÉORÈME<br />

Soit f ∈ Cc 2 (R d ). Alors u = Φ ∗ f :<br />

⎧<br />

− 1 ∫<br />

ln(‖x − y‖)f (y)dy, d = 2;<br />

⎪⎨ 2π R 2<br />

u(x) =<br />

∫<br />

1<br />

f (y)<br />

⎪⎩<br />

dy, d ≥ 3;<br />

d(d − 2)κ(d) ‖x − y‖ d−2<br />

est correctement définie et vérifie :<br />

1 u ∈ C 2 (R d ),<br />

2 −∆u = f sur R d .<br />

R 3<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 15 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 16 / 52


PRINCIPE DU MAXIMUM, UNICITÉ.<br />

THÉORÈME<br />

Soit u ∈ C 2 (Ω) ∩ C(Ω) harmonique sur Ω ouvert borné.<br />

1 Alors max u = max u.<br />

Ω ∂Ω<br />

2 De plus si Ω est connexe et s’il existe x 0 ∈ Ω t.q. u(x 0 ) = max u,<br />

alors u est constante sur Ω.<br />

REMARQUE<br />

Avec −u à la place de u, on a les mêmes assertions pour le min.<br />

Ω<br />

COROLLAIRE<br />

Si u ∈ C 2 (Ω) ∩ C(Ω) est harmonique sur Ω et vérifie u = g sur ∂Ω<br />

avec g ≥ 0, u est strictement positive partout sur Ω pourvu que g soit<br />

strictement positive en au moins un point du bord.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 17 / 52


PRINCIPE DU MAXIMUM, UNICITÉ.<br />

THÉORÈME (UNICITÉ)<br />

Soit g ∈ C(∂Ω), f ∈ C(Ω). Alors il existe au plus une solution<br />

u ∈ C 2 (Ω) ∩ C(Ω) au problème suivant :<br />

⎧<br />

⎨ −∆u = f sur Ω,<br />

⎩<br />

u = g<br />

sur ∂Ω.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 17 / 52


RÉGULARISATION ET REPRÉSENTATION.<br />

THÉORÈME<br />

Si u ∈ C(Ω) est harmonique, alors u ∈ C ∞ (Ω).<br />

REMARQUE<br />

Attention : u n’est pas nécessairement régulière, ni même continue sur<br />

le bord ∂Ω.<br />

THÉORÈME<br />

Soit f ∈ Cc 2 (R d ) avec d ≥ 3. Toute solution bornée de −∆u = f sur R d<br />

est de la forme<br />

∫<br />

u(x) = Φ(x − y)f (y)dy + C, avec C constante.<br />

R d<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 18 / 52


FONCTION DE GREEN.<br />

HYPOTHÈSE : Ω est un ouvert borné de classe C 1 .<br />

DÉFINITION<br />

Pour tout x ∈ Ω,<br />

Fonction correctrice : φ x solution de<br />

⎧<br />

⎨ ∆Φ x = 0 sur Ω,<br />

⎩<br />

Fonction de Green de Ω :<br />

φ x = Φ(y − x)<br />

sur ∂Ω.<br />

G(x, y) = Φ(y − x) − φ x (y), (x, y) ∈ Ω 2 , x ≠ y.<br />

PROPOSITION<br />

Pour tout (x, y) ∈ Ω 2 , x ≠ y, G(x, y) = G(y, x).<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 19 / 52


FONCTION DE GREEN.<br />

HYPOTHÈSE : Ω est un ouvert borné de classe C 1 .<br />

THÉORÈME<br />

Si u ∈ C 2 (Ω) est solution de<br />

⎧<br />

⎨ −∆u = f sur Ω,<br />

alors pour tout x ∈ Ω :<br />

∫<br />

u(x) = −<br />

∂Ω<br />

⎩<br />

u = g<br />

sur ∂Ω,<br />

g(σ) ∂G<br />

∂ν<br />

∫Ω<br />

(x, σ)dσ + f (y)G(x, y)dy.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 19 / 52


FONCTION DE GREEN POUR LE DEMI-ESPACE.<br />

DOMAINE : Ω = R d + = {x = (x 1 , . . . , x d ) ∈ R d |x d > 0}.<br />

NOYAU DE POISSON POUR R d + :<br />

K (x, y) =<br />

2x d 1<br />

dκ(d) ‖x − y‖ d , x ∈ Rd +, y ∈ ∂R d +.<br />

THÉORÈME<br />

Soit g ∈ C(R d−1 ) ∩ L ∞ (R d−1 ) et u définie par<br />

∫<br />

∀x ∈ R d +, u(x) = g(y)K (x, y)dy.<br />

Alors u ∈ C ∞ (R d +) ∩ L ∞ (R d +) et<br />

1 ∆u = 0 sur R d +,<br />

∂R d +<br />

2 lim u(x) = g(x 0 ) pour tout x 0 ∈ ∂R d +.<br />

x→x 0 ,x∈R d +<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 20 / 52


FONCTION DE GREEN POUR UNE BOULE.<br />

DOMAINE : Ω = B(0, r) avec r > 0.<br />

NOYAU DE POISSON POUR B(0, r) :<br />

K (x, y) = r 2 − ‖x‖ 2<br />

dκ(d)r<br />

1<br />

‖x − y‖ d ,<br />

x ∈ B(0, r), y ∈ ∂B(0, r).<br />

THÉORÈME<br />

Soit g ∈ C(∂B(0, r)) et u définie par<br />

∫<br />

∀x ∈ B(0, r), u(x) =<br />

Alors u ∈ C ∞ (B(0, r)) et<br />

1 ∆u = 0 sur B(0, r),<br />

∂B(0,r)<br />

g(y)K (x, y)dy.<br />

2 lim<br />

x→x 0 ,x∈B(0,r) u(x) = g(x 0) pour tout x 0 ∈ ∂B(0, r).<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 21 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 22 / 52


DÉFINITION.<br />

ÉQUATION HOMOGÈNE : ∂u<br />

∂t<br />

− ∆u = 0.<br />

ÉQUATION INHOMOGÈNE : ∂u<br />

∂t − ∆u = f .<br />

DONNÉES<br />

initiales et de bord à préciser !<br />

f : R ∗ + × Ω → R, Ω ⊂ R d ouvert.<br />

INCONNUE : u : R ∗ + × Ω → R.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 23 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 24 / 52


SOLUTION FONDAMENTALE.<br />

DÉFINITION<br />

La fonction<br />

⎧<br />

⎪⎨<br />

Φ(t, x) =<br />

⎪⎩<br />

( )<br />

1<br />

(4πt) d/2 exp − ‖x‖2<br />

4t<br />

t > 0, x ∈ R d ,<br />

0 t < 0, x ∈ R d<br />

est appelée solution fondamentale de l’équation de la chaleur<br />

(homogène).<br />

LEMME<br />

∫<br />

Pour tout t > 0, Φ(t, x)dx = 1.<br />

R d<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 25 / 52


PROBLÈME DE CAUCHY.<br />

À RÉSOUDRE :<br />

∂u<br />

∂t − ∆u = 0, t > 0, x ∈ Rd , et u(0, .) = g.<br />

THÉORÈME<br />

Soit g ∈ C(R d ) ∩ L ∞ (R d ). Soit<br />

∫<br />

u(t, x) = Φ(t, .) ∗ g = Φ(t, x − y)g(y)dy, t > 0, x ∈ R d .<br />

R d<br />

Alors u ∈ C ∞ (R ∗ + × R d ) et<br />

1 u t (t, x) − ∆u(t, x) = 0 pour (t, x) ∈]0, +∞[×R d ,<br />

2 lim<br />

(t,x)→(0,x 0 ),t>0 u(t, x) = g(x 0) pour x 0 ∈ R d .<br />

3 Si g ≥ 0, avec g ≠ 0, alors pour tout t > 0 et tout x ∈ R d ,<br />

u(t, x) > 0.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 26 / 52


PROBLÈME NON HOMOGÈNE.<br />

À RÉSOUDRE :<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

∂u<br />

∂t − ∆u = f , t > 0, x ∈ Rd ,<br />

u = 0 t = 0, x ∈ R d .<br />

THÉORÈME<br />

Soit f ∈ C 1,2<br />

0 (R + × R d ). Soit<br />

u(t, x) =<br />

∫ t<br />

Alors u ∈ C 1,2 (R ∗ + × R d ) et<br />

0<br />

∫<br />

R d Φ(t − s, x − y)f (s, y)dsdy, t > 0, x ∈ R d .<br />

1 u t (t, x) − ∆u(t, x) = f (t, x) pour (t, x) ∈]0, +∞[×R d ,<br />

2 lim<br />

(t,x)→(0,x 0 ),t>0 u(t, x) = 0 pour tout x 0 ∈ R d .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 27 / 52


PROBLÈME NON HOMOGÈNE.<br />

PROPOSITION<br />

EN COMBINANT LES DEUX THÉORÈMES :<br />

∫<br />

∫ t<br />

u(t, x) =<br />

est solution de<br />

R d Φ(t, x − y)g(y)dy +<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

∂u<br />

∂t − ∆u = f , t > 0, x ∈ Rd ,<br />

u = g t = 0, x ∈ R d .<br />

0<br />

∫<br />

R d Φ(t − s, x − y)f (s, y)dsdy<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 27 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 28 / 52


PRINCIPE DU MAXIMUM, UNICITÉ.<br />

DÉFINITION<br />

Soit Ω ouvert borné de R d et T > 0.<br />

Cylindre parabolique : Ω T =]0, T ] × Ω.<br />

Bord parabolique de Ω T : Γ T = Ω T \ Ω T = {0} × Ω ∪ [0, T ] × ∂Ω.<br />

THÉORÈME<br />

Soit u ∈ C 1,2 (Ω T ) × C(Ω T ) solution de l’équation de la chaleur sur Ω T .<br />

1 Alors max u = max u.<br />

Ω T<br />

Γ T<br />

2 Si Ω est connexe et s’il existe (t 0 , x 0 ) ∈ Ω T t.q. u(t 0 , x 0 ) = max<br />

Ω T<br />

u,<br />

alors u est constante sur Ω t0 .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 29 / 52


PRINCIPE DU MAXIMUM, UNICITÉ.<br />

DÉFINITION<br />

Soit Ω ouvert borné de R d et T > 0.<br />

Cylindre parabolique : Ω T =]0, T ] × Ω.<br />

Bord parabolique de Ω T : Γ T = Ω T \ Ω T = {0} × Ω ∪ [0, T ] × ∂Ω.<br />

THÉORÈME<br />

Soit g ∈ C(Γ T ) et f ∈ C(Ω T ). Il existe au plus une solution<br />

u ∈ C 1,2 (Ω T ) × C(Ω T ) au problème :<br />

⎧<br />

⎨ u t − ∆u = f dans Ω T ,<br />

⎩<br />

u = g sur Γ T .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 29 / 52


PROBLÈME DE CAUCHY.<br />

THÉORÈME (PRINCIPE DU MAXIMUM)<br />

Soit u ∈ C 1,2 (]0, T ] × R d ) × C([0, T ] × R d ) solution de<br />

⎧<br />

⎨ u t − ∆u = 0 sur ]0, T [×R d ,<br />

⎩<br />

u = g sur {0} × R d ,<br />

et satisfaisant |u(t, x)| ≤ Ae a|x|2 (avec A, a constantes). Alors<br />

sup u = sup g.<br />

[0,T ]×R d R d<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 30 / 52


PROBLÈME DE CAUCHY.<br />

THÉORÈME (UNICITÉ)<br />

Soit g ∈ C(R d ) et f ∈ C([0, T ] × R d ). Il existe au plus une solution<br />

u ∈ C 1,2 (]0, T ] × R d ) × C([0, T ] × R d ) au problème :<br />

⎧<br />

⎨ u t − ∆u = f sur ]0, T [×R d ,<br />

⎩<br />

u = g sur {0} × R d ,<br />

satisfaisant |u(t, x)| ≤ Ae a|x|2 (avec A, a constantes).<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 30 / 52


REMARQUES.<br />

REMARQUE SUR LES BORNES<br />

Il existe une infinité de <strong>solutions</strong> pour<br />

⎧<br />

⎨ u t − ∆u = 0 sur ]0, T [×R d ,<br />

⎩<br />

u = 0 sur {0} × R d ,<br />

THÉORÈME (RÉGULARITÉ)<br />

Si u ∈ C 1,2 (Ω T ) satisfait l’équation de la chaleur sur Ω T , alors<br />

u ∈ C ∞ (Ω T ).<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 31 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 32 / 52


PRINCIPALES MÉTHODES DE DISCRÉTISATION.<br />

DIFFÉRENCES FINIES (ou volumes finis) : discrétisation du domaine Ω et<br />

remplacement de l’opérateur différentiel par un quotient différentiel.<br />

ÉLÉMENTS FINIS : trés liée à la formulation variationnelle des EDP.<br />

Principe : remplacer un espace de Hilbert H par un sous-espace de<br />

dimension finie H N .<br />

MÉTHODES SPECTRALES : chercher une solution approchée sous forme<br />

d’un développement sur une certaine famille de fonctions (Fourier,<br />

polynômes, splines, etc.) :<br />

u =<br />

N∑<br />

α i (u)p i ,<br />

i=1<br />

(voir exercices de TD).<br />

Méthodes souvent coûteuses, mais précises.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 33 / 52


PRINCIPE.<br />

DÉRIVÉE :<br />

du u(x + h) − u(x)<br />

(x) = lim<br />

≈<br />

dx h→0 h<br />

u(x + h) − u(x)<br />

, si h est assez petit.<br />

h<br />

LEMME (EN EXERCICE)<br />

Si u est de classe C 2 au voisinage de x, alors<br />

(<br />

du u(x + h) − u(x)<br />

∣ (x) − dx h ∣ ≤<br />

sup<br />

y∈[x,x+h 0 [<br />

)<br />

|u ′′ (y)|<br />

h.<br />

2<br />

DÉFINITION<br />

Une approximation est consistante d’ordre p s’il existe une constante<br />

C positive indépendante de h, t.q. cette erreur soit majorée par Ch p .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 34 / 52


PRINCIPE.<br />

DÉRIVÉE :<br />

du u(x + h) − u(x − h)<br />

(x) = lim<br />

≈<br />

dx h→0 2h<br />

u(x + h) − u(x − h)<br />

.<br />

2h<br />

LEMME (EN EXERCICE)<br />

Si u est de classe C 3 au voisinage de x, alors<br />

(<br />

du u(x + h) − u(x − h)<br />

∣ (x) − dx 2h ∣ ≤<br />

sup<br />

y∈]x−h 0 ,x+h 0 [<br />

)<br />

|u (3) (y)|<br />

h 2 .<br />

6<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 34 / 52


PRINCIPE.<br />

DÉRIVÉE D’ORDRE 2 :<br />

PROPOSITION<br />

Si u est de classe C 4 au voisinage de x, alors<br />

d 2 ∣ (<br />

u u(x + h) − 2u(x) + u(x − h) ∣∣∣<br />

∣ (x) −<br />

dx 2 h 2<br />

≤<br />

sup<br />

y∈[x,x+h 0 [<br />

)<br />

|u (4) (y)|<br />

h 2 .<br />

2<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 34 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 35 / 52


PROBLÈME.<br />

Soit u : [0, 1] → R solution de<br />

⎧<br />

⎪⎨ − d 2 u<br />

(x) + c(x)u(x) = f (x) pour 0 < x < 1,<br />

dx 2<br />

⎪⎩<br />

u(0) = g 0 , u(1) = g 1 .<br />

HYPOTHÈSES : f ∈ C([0, 1]), c ∈ C([0, 1]), c ≥ 0.<br />

RÉSULTAT :<br />

il existe une unique solution u ∈ C 2 ([0, 1]).<br />

Mais pas de forme explicite de la solution si c ≠ 0.<br />

DISCRÉTISATION DU DOMAINE : pour tout entier N,<br />

x 0 = 0 < x 1 < . . . < x N < x N+1 = 1.<br />

DISCRÉTISATION RÉGULIÈRE : x i = ih avec h = 1/(N + 1) et<br />

i = 0, . . . , N + 1.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 36 / 52


SCHÉMA DE DIFFÉRENCES FINIES.<br />

BUT : chercher en tout point x i une valeur u i t.q. u i ≈ u(x i ). Donc<br />

u 0 = g 0 , u N+1 = g 1 ,<br />

U = (u 1 , . . . , u N ) ∈ R N .<br />

APPROXIMATION : en chacun des sommets internes x i :<br />

− d 2 u<br />

dx 2 (x i) + c(x i )u(x i ) = f (x i );<br />

− u(x i + h) − 2u(x i ) + u(x i − h)<br />

h 2 + c(x i )u(x i ) ≈ f (x i );<br />

− u i+1 − 2u i + u i−1<br />

h 2 + c(x i )u i ≈ f (x i ), i ∈ {1, . . . , N}.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 37 / 52


ÉCRITURE MATRICIELLE.<br />

A h U = b h , avec A h ∈ R N×N et b h ∈ R N :<br />

⎛<br />

⎞<br />

2 −1 0 . . . 0 ⎛<br />

c(x A h = 1 −1 2 −1 0 .<br />

1 ) 0 . . . 0<br />

h 2 . 0 .. . .. . .. 0<br />

+<br />

0 c(x 2 ) 0 .<br />

⎜<br />

⎜<br />

⎟ ⎝<br />

.<br />

. .. . .. . ..<br />

⎝ . 0 −1 2 −1 ⎠<br />

0 . . . 0 c(x N )<br />

0 . . . 0 −1 2<br />

⎛<br />

b h =<br />

⎜<br />

⎝<br />

f (x 1 ) + g 0<br />

h 2<br />

f (x 2 )<br />

.<br />

f (x N−1 )<br />

f (x N ) + g 1<br />

h 2<br />

⎞<br />

⎟<br />

⎠<br />

ATTENTION AUX BORDS !<br />

⎞<br />

⎟<br />

⎠<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 38 / 52


PROPRIÉTÉS DE A h .<br />

PROPOSITION<br />

Si c ≥ 0, A h est symétrique et définie positive.<br />

CONSÉQUENCE : U existe et est unique.<br />

INÉGALITÉ DE STABILITÉ<br />

∥<br />

∥<br />

Si c ≥ 0, ∥(A h ) −1 ∥∥∞<br />

≤ 1 8 .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 39 / 52


ERREUR DE CONSISTANCE.<br />

DÉFINITION<br />

On appelle erreur de consistance du schéma la quantité obtenue en<br />

remplaçant l’inconnue par la solution exacte dans le schéma<br />

numérique :<br />

⎛ ⎞<br />

ε h (u) = A h π h (u) − b h , π h (u) =<br />

Le schéma est consistant si lim<br />

h→0<br />

‖ε h (u)‖ = 0.<br />

⎜<br />

⎝<br />

u(x 1 )<br />

.<br />

u(x N )<br />

⎟<br />

⎠ .<br />

Le schéma est consistant d’ordre p s’il existe C > 0 et h 0 > 0 t.q. pour<br />

tout 0 < h < h 0 , ‖ε h (u)‖ ≤ Ch p .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 40 / 52


ERREUR DE CONSISTANCE.<br />

PROPOSITION<br />

Supposons la solution u de classe C 4 sur [0, 1]. Alors le schéma est<br />

consistant d’ordre 2 pour la norme infinie :<br />

‖ε h (u)‖ ∞ ≤ h2<br />

12 sup |u (4) (y)|.<br />

y∈[0,1]<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 41 / 52


CONVERGENCE DU SCHÉMA.<br />

THÉORÈME<br />

Soit u : [0, 1] → R solution exacte de<br />

⎧<br />

⎪⎨ − d 2 u<br />

(x) + c(x)u(x) = f (x) pour 0 < x < 1,<br />

dx 2<br />

⎪⎩<br />

u(0) = g 0 , u(1) = g 1 .<br />

On suppose u ∈ C 4 ([0, 1]). Soit U ∈ R N la solution du schéma. Alors<br />

l’erreur de discrétisation, i.e. la différence π h (u) − U, vérifie :<br />

‖π h (u) − U‖ ∞ ≤ h2<br />

96 sup |u (4) (y)|.<br />

y∈[0,1]<br />

REPOSE SUR<br />

π h (u) − U = −(A h ) −1 ε h (u).<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 42 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 43 / 52


UN PROBLÈME DE GÉOMÉTRIQUE.<br />

Problème de Laplace inhomogène :<br />

⎧<br />

⎨ −∆u(x) = f (x) pour x ∈ Ω,<br />

⎩<br />

u = 0<br />

sur ∂Ω.<br />

DISCRÉTISATION : points alignés dans les directions x et y.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 44 / 52


APPROXIMATION.<br />

EN UN POINT RÉGULIER :<br />

∆u(P 1 ) ≈ u(P 2) + u(P 3 ) − 2u(P 1 )<br />

h 2 1<br />

+ u(P 5) + u(P 4 ) − 2u(P 1 )<br />

h2<br />

2 .<br />

Si u de classe C 4 , approximation d’ordre 2.<br />

EXEMPLE : si Ω est un rectangle, tous les points sont réguliers.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 45 / 52


APPROXIMATION.<br />

EN UN POINT SINGULIER :<br />

CORRECTION : ∂2 u<br />

∂x 2 (P 1) + O(h) = αu(˜P 2 ) + βu(˜P 1 ) + γu(P 3 ).<br />

Formule de Taylor :<br />

α + β + γ = 0, −αh + γh ′ = 0, αh 2 /2 + γh ′2 /2 = 1.<br />

Erreur de consistance en O(h) et matrice du système linéaire non<br />

symétrique.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 45 / 52


PLAN<br />

1 FORMULES DE GREEN<br />

2 ÉQUATION DE LAPLACE<br />

Domaine R d tout entier<br />

Domaine borné<br />

3 ÉQUATION DE LA CHALEUR<br />

Domaine R d tout entier<br />

Domaine borné<br />

4 MÉTHODE DES DIFFÉRENCES FINIES<br />

Étude d’un exemple en dimension 1<br />

Remarques en dimension supérieure à 2<br />

Équation de la chaleur<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 46 / 52


SCHÉMAS D’EULER POUR EDO.<br />

À résoudre EDO : u ′ = f (u) sur ]0, 1[ avec u(0) = u 0 .<br />

SCHÉMAS D’EULER :<br />

EXPLICITE : u ′ (x) ≈<br />

u(x + h) − u(x)<br />

, d’où<br />

h<br />

u(x + h) = u(x) + hf (u(x)).<br />

IMPLICITE : u ′ (x) ≈<br />

u(x) − u(x − h)<br />

, d’où<br />

h<br />

u(x + h) − hf (u(x + h)) = u(x) ⇔ u(x + h) = (Id − hf ) −1 (u(x)).<br />

θ-SCHÉMA (θ ∈ [0, 1]) :<br />

u(x + h) − (1 − θ)hf (u(x + h)) = u(x) + θhf (u(x)).<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 47 / 52


ÉQUATION DE LA CHALEUR.<br />

Soit u solution de<br />

⎧<br />

∂u<br />

⎪⎨ ∂t (t, x) − ∂2 u<br />

(t, x) = 0 pour x ∈]0, 1[, t ∈]0, T [<br />

∂x 2<br />

⎪⎩<br />

u(0, x) = u 0 (x) ∀x ∈]0, 1[,<br />

u(t, 0) = u(t, 1) = 0 pour t ∈]0, T [.<br />

THÉORÈME<br />

Si u 0 ∈ C(]0, 1[), il existe une unique solution<br />

u ∈ C 2 (]0, T [×]0, 1[) ∩ C([0, T ] × [0, 1]). De plus<br />

u ∈ C ∞ (]0, T [×]0, 1[).<br />

Si u 0 ≥ 0, u(t, .) ≥ 0 pour tout t ≥ 0.<br />

Si u ∈ L ∞ (]0, 1[), alors u ∈ L ∞ (]0, T [×]0, 1[) et ‖u‖ ∞ ≤ ‖u 0 ‖ ∞ .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 48 / 52


DISCRÉTISATION PAR EULER EXPLICITE EN TEMPS.<br />

DISCRÉTISATION :<br />

[0, T ] divisé en t n = nk, n = 0, . . . , M, pas k = T /M,<br />

[0, 1] divisé en x i = ih, i = 0, . . . , N + 1, pas h = 1/(N + 1).<br />

En chaque point (t n , x i ) :<br />

∂u<br />

∂t (t n, x i ) ≈ u(t n+1, x i ) − u(t n , x i )<br />

k<br />

− ∂2 u<br />

∂x 2 (t n, x i ) ≈ 2u(t n, x i ) − u(t n , x i+1 ) − u(t n , x i−1 )<br />

h 2 .<br />

APPROXIMATION u (n)<br />

i<br />

de u(t n , x i ), i = 1, . . . , N et n = 1, . . . , M.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 49 / 52


DISCRÉTISATION PAR EULER EXPLICITE EN TEMPS.<br />

DISCRÉTISATION :<br />

[0, T ] divisé en t n = nk, n = 0, . . . , M, pas k = T /M,<br />

[0, 1] divisé en x i = ih, i = 0, . . . , N + 1, pas h = 1/(N + 1).<br />

SCHÉMA : pour tout i = 1, . . . , N et tout n = 1, . . . , M<br />

⎧<br />

u (n+1)<br />

i<br />

− u (n)<br />

i<br />

+ 2u(n) i<br />

− u (n)<br />

i+1 − u(n) i−1<br />

⎪⎨ k<br />

h 2 (t, x) = 0,<br />

⎪⎩<br />

u (0)<br />

i<br />

= u 0 (x i ),<br />

u (n)<br />

0<br />

= u (n)<br />

N+1 = 0.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 49 / 52


DISCRÉTISATION PAR EULER EXPLICITE EN TEMPS.<br />

DISCRÉTISATION :<br />

[0, T ] divisé en t n = nk, n = 0, . . . , M, pas k = T /M,<br />

[0, 1] divisé en x i = ih, i = 0, . . . , N + 1, pas h = 1/(N + 1).<br />

SCHÉMA EXPLCITE car u (n+1)<br />

i<br />

u (n+1)<br />

i<br />

= u (n)<br />

i<br />

explicite en fonction de (u (n)<br />

i<br />

) i=1,...,N :<br />

− k h 2 (2u(n) i<br />

− u (n)<br />

i−1 − u(n) i+1 ).<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 49 / 52


PROPRIÉTÉS.<br />

PROPOSITION<br />

Le schéma est consistant d’ordre 1 en temps et d’ordre 2 en espace :<br />

∂u<br />

∣ ∂t (t n, x i ) − u(t n+1, x i ) − u(t n , x i )<br />

k ∣ ≤ Ck,<br />

u<br />

∣ −∂2 ∂x 2 (t n, x i ) − 2u(t ∣<br />

n, x i ) − u(t n , x i+1 ) − u(t n , x i−1 ) ∣∣∣<br />

h 2 ≤ Ch 2 .<br />

DÉFINITION<br />

Un schéma est L ∞ -stable si la solution approchée est bornée dans L ∞<br />

indépendamment du pas du maillage.<br />

PROPOSITION<br />

Si<br />

k<br />

h 2<br />

≤ 1/2, alors le schéma est stable : sup i,n |u (n)<br />

i<br />

| ≤ ‖u 0 ‖ ∞ .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 50 / 52


PROPRIÉTÉS.<br />

THÉORÈME<br />

Si la condition de stabilité est satisfaite, alors il existe C ≥ 0 t.q. pour<br />

tout n = 1, . . . , M :<br />

∣<br />

sup ∣u(t n , x i ) − u (n)<br />

∣<br />

∣ ≤ sup ∣u(0, x i ) − u (0)<br />

∣ + TC(k + h 2 ).<br />

i=1,...,N<br />

i<br />

i=1,...,N<br />

i<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 50 / 52


ÉCRITURE MATRICIELLE.<br />

NOTATIONS :<br />

λ = k/h 2 .<br />

Pour n = 1, . . . , M, U n = (u (n)<br />

i<br />

) i=1,...,N .<br />

U 0 = (u 0 (x i )) i=1,...,N .<br />

SYSTÈME LINÉAIRE : U n = AU n−1 avec<br />

⎛<br />

⎞<br />

1 − 2λ −λ 0 . . . 0<br />

−λ 1 − 2λ −λ 0 .<br />

A =<br />

. 0 .. . .. . .. 0<br />

⎜<br />

⎟<br />

⎝ . 0 −λ 2 −λ ⎠<br />

0 . . . 0 −λ 1 − 2λ<br />

REMARQUE : attention <strong>aux</strong> conditions de bord en x = 0 et x = 1.<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 51 / 52


θ-SCHÉMAS.<br />

Pour θ ∈ [0, 1]<br />

u (n+1)<br />

i<br />

− u (n)<br />

i<br />

k<br />

= 1 − θ (<br />

)<br />

h 2 −2u (n)<br />

i<br />

+ u (n)<br />

i+1 + u(n) i−1<br />

+ θ (<br />

h 2 −2u (n+1)<br />

i<br />

+ u (n+1)<br />

i+1<br />

+ u (n+1)<br />

i−1<br />

)<br />

.<br />

PROPRIÉTÉS.<br />

Euler implicite si θ = 1, Crank-Nicholson si θ = 1/2.<br />

D’ordre 2 en espace. D’ordre 2 en temps si θ = 1/2, d’ordre 1<br />

sinon.<br />

Inconditionnellement stable si θ ≥ 1/2. Sinon stable si<br />

k<br />

h 2 ≤ 1<br />

2(1 − 2θ) .<br />

A. Popier (Le Mans) EDP, <strong>solutions</strong> <strong>classiques</strong>. 52 / 52

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!