Ma201 Cours 01

Un exemple de problme rsoudre.
Introduction au calcul scientifique pour les EDP

de la physique.
Exemple: la conduction de la chaleur. Soit un domaine de

RN (N = 1, 2, 3) de frontire = = 0 1 . On sintresse
la distribution de temprature dans et ses fluctuations dans
le temps sachant que:
Patrick Joly
Une temprature ` est impose sur la partie 0 .

INRIA-Rocquencourt
Un flux de chaleur q ` est impos sur la partie 1 .

On connait la distribution de temprature initiale 0 .
`
q`
Introduction au calcul scientifique pour les EDP de la physique. p.2/27
La dmarche de lingnieur mathmaticien

1. Modlisation / mise en quations.
Construction du problme continu (systme dEDP).
La mise en quations
Les donnes du problme:
2. Analyse mathmatique du problme pos.

COURS-TD
Questions dexistence, unicit. Proprits des solutions.
La gomtrie du problme (, 0 , 1 )
3. Conception dune mthode numrique.

Construction dun problme discrtis.
La conductivit du milieu : (x) > 0, x .
COURS-TD
COURS-TD
4. Analyse numrique.
Questions de stabilit, convergence, prcision.
5. Algorithmique.
ADMIS
Choix de mthodes de rsolution en dimension finie.
6. Mise en oeuvre sur ordinateur.
PROJETS
Relve de la programmation et de linformatique
7. Pre et Post Traitement (maillages / visualisation).
Outils de la CAO.
Les fonctions: 0 (x), x , ` (x, t), x 0 , q ` (x, t), x 1 .
Les inconnues du problme:

La temprature :
(x, t),
x , t > 0.
Le flux de chaleur:
~q (x, t),
x , t > 0.
Les lois de la physique:

Loi de conservation :
Loi de conduction :
+ div ~q = 0.
t
~q = .
La mise en quation
Loi de conservation :
Loi de conduction :
Nature du problme
+ div ~q = 0.
t
~q = .
Si on limine ~q le problme rsoudre scrit:
Trouver (x, t) : ]0, T [ R tel que:
x , t > 0,
div ) = 0,
x 1 , t > 0,
= q ` , (~q n = q ` )
x 0 , t > 0,
= ` ,
(x, 0) = (x),
x .
0
div ) = 0,
= q`,
= ` ,
(x, 0) = (x),
0
Nature du problme
x 1 , t > 0,
x 0 , t > 0,
x .
Le temps faisant partie explicitement des variables du

problme, on a affaire un problme dvolution.
Tant mathmatiquement que numriquement,
les variables x et t jouent un rle diffrent.
div ) = 0,
= q`,
= ` ,
(x, 0) = (x),
0
x , t > 0,
Les difficults de lanalyse mathmatique.

Vu de trs loin, le problme peut tre mis sous la forme:
x , t > 0,
x 1 , t > 0,
x 0 , t > 0,
x .
Lquation de la chaleur est le prototype des quations

paraboliques qui modlisent les phnomnes de diffusion.
Elles interviennent aussi en mcanique des fluides (milieux
poreux, diffusion de polluants), ou en finance (Black-Scholes).
Ces quations seront abordes au cours 8.
Trouver u V tel que A u = d

o V est un espace vectoriel (espace de fonctions), A est un
oprateur linaire, le vecteur u est la fonction inconnue et d
reprsente les donnes (0 , ` , q ` ).
Cela ressemble un systme linaire.
Les diffrences majeures, sources de difficults, sont:
Lespace fonctionnel V est de dimension infinie.
Loprateur A est un oprateur diffrentiel (non continu
dans des topologies classiques).
De ce fait, les questions dexistence et dunicit de la solution
sont trs dlicates.
Notion de problme bien pos.

Soit (S, k kS ) et (D, k kD ) deux espaces vectoriels norms et
F une application (non ncessairement linaire) de S dans D
ouvert de D. On dira que le problme:
(P )
Trouver u S tel que F (u) = d
est bien pos au sens de Hadamard si:

Pour tout d dans D, (P ) admet une solution et une seule.
Cette solution dpend continument de la donne d:
Notion de problme bien pos.

Attention, la notion de problme bien pos nest pas
intrinsque. Elle est lie au choix des espaces S et D
et surtout au choix des normes k kS et k kD .
On dit aussi que le problme est stable en norme k kS
par rapport la norme k kD .
La notion de stabilit du problme continu est un pr-requis
quasiment indispensable en vue de lapproximation numrique.
dn d dans D = un u dans S
Dans le cas F linaire , D = D et la condition de continuit se
traduit par lexistence dune constante C telle que:
kukS C kdkD .
Stabilit L2 du problme de Cauchy.

On admet ici le rsultat dexistence et unicit pour notre
problme modle et on va sintresser un rsultat de stabilit.
On va se restreindre ` = q ` = 0 auquel cas la seule donne
est 0 (problme de Cauchy).
On va tablir le rsultat de stabilit:
t > 0,
k(t)kL2 () k0 kL2 () .
Le rsultat va apparatre comme une estimation a priori, cest

dire une estimation quon est capable dobtenir sans connatre
explicitement la solution.
Lestimation a priori.
On multiplie lquation par et on intgre sur :
Z
Z
dx div ) dx = 0
t
On remarque que:
Z
Z
Z
2
1d
dx =
2 dx.
dx =
2
2 dt
t
t
On utilise la formule de Green (intgration par parties):
Z
Z
Z
div ) dx =
||2 dx
d
n
( sannule sur 0 ,
sur 1 .)
n
On multiplie lquation par et on intgre sur :

Z
Z
dx div ) dx = 0
On obtient par consquent lidentit:

Z
Z
1d
2 dx + ||2 dx = 0.
2 dt
On remarque que:
Z
Z
Z
2
1d
dx =
2 dx.
dx =
t
t
2
2
dt
Compte tenu de la positivit de il vient:

Z
1d
2 dx 0,
2 dt
On utilise la formule de Green (intgration par parties):

Z
Z
div ) dx =
||2 dx
dont on dduit:
( sannule sur 0 ,
sur 1 .)
n
On va se placer en dimension 1:
0 = {0},
(x, t) dx
Approximation numrique.
=]0, L[,
t > 0,
1 = {L}.
Le problme rsoudre scrit:
Trouver u(x, t) :]0, L[]0, T [ IR tel que:
u
u
) = 0,
x x
t
u
(L, t) = q ` (t),
u(0,
t) = ` (t),
u(x, 0) = u (x),
0
0 (x)2 dx
Mthode des diffrences finies: le principe.

Lide est de calculer (une approximation de) la solution aux
points dune grille de calcul suffisamment fine.
Pour cela, on se donne un pas de discrtisation en espace
x = L/(J + 1) > 0 et un pas de discrtisation en temps
t > 0 et on va chercher calculer:
unj u(xj , tn ),
xj = jx,
tn = nt.
x ]0, L[, t > 0,

t > 0,
t > 0,
x ]0, L[.
Lespoir est que, lorsque x et t tendront vers 0, lerreur

commise
enj = unj u(xj , tn ).
tendra (en un sens prciser) vers 0.
Mthode des diffrences finies: le principe.
Mthode des diffrences finies.

Points de calcul: xj = j x, 0 j J + 1,
tn = nt, n 0.
Pour produire les quations dfinissant les inconnues

discrtes, lide est dcrire (de faon approche) lEDP
rsoudre en chaque point intrieur de la grille de calcul.
Pour cela il faut dfinir des approximations doprateurs
diffrentiels ne faisant appel quaux valeurs discrtes:
ce sont les oprateurs aux diffrences.
unj
tn
Les quations manquantes sont fournies par la prise en

compte des conditions initiales et des conditions aux limites.
Aprs discrtisation, on est ramen la rsolution dun
problme pos en dimension finie, traitable sur ordinateur.
L
x
xj
Construction doprateurs aux diffrences.

Lide de base est de revenir la dfinition dune drive
f 0 (x) = lim
h0
Approximation de
f (x + h) f (x)
f (x + h) f (x h)
, = lim
, ...
h0
h
2h
u
(xj , tn ).
t
unj
un+1
u
j
(xj , tn )
t
t
Cest une approximation dcentre droite, dordre 1 car

lerreur de troncature
u(xj , tn+1 ) u(xj , tn ) u
(xj , tn )
t
t
t 2 u
=
(xj , tn ) + O(t2 )
2 t2
nj =
(Taylor)

Approximation de
u
(xj , tn ).
x x

Supposons connu v nj+ 1 = v(xj+ 1 , tn ),
2
v=
u
.
x
On ralise alors une approximation centre, dordre 2 avec:

v nj+ 1 v nj 1
u
v
2
2
(xj , tn ) =
(xj , tn )
x x
x
x
On fait alors lapproximation (centre):
unj+1 unj
2
x
v nj+ 1 j+ 1
2
pour aboutir :
unj+1 unj
unj unj1
u
1
(xj , tn )
j+ 1 (
) j 1 (
)
2
2
x x
x
x
x

Lorsque est constant on a fait lapproximation:
unj+1 2unj + unj1

2u
n
(x
,
t
)
j
x2
x2
qui est une approximation dordre 2 ainsi que le montre

lestimation de lerreur de troncature:

n
n
n
2
n
j = u(xj+1 , t ) 2u(xj , t ) + u(xj1 , t ) u (xj , tn )

2
x
x2

2 4
x u

(xj , tn ) + O(x4 )
=

12 x4
Le schma numrique
Pour n 0 et 1 j J 1:
unj
un+1
unj+1 unj
unj unj1
1
j
j+ 1 (
) j 1 (
) = 0.
2
2
t
x
x
x
Pour 1 j J 1:
Pour n 0:
Pour n 0:
u0j = u0,j .
un0 = un` .
unJ unJ1
= q n` .
x
Le schma numrique
Mise en oeuvre du schma numrique.
Pour n 0 et 1 j J 1:
On construit la grille de calcul.

t
n
n
n
n
1 (u
1 (u u
)
= 0.
j
j
j1
j 2
x2 j+ 2 j+1
un+1
= unj +
j
Pour 1 j J 1:
Pour n 0:
Pour n 0:
u0j = u0,j .
t
un0 = un` .
unJ = unJ1 + x q n` .
Il sagit dun schma explicite.

x

Supposons la solution calcule jusqu linstant tn .
On prend en compte les condition initiale et de Dirichlet.

tn+1
tn
x
Application du schma intrieur.

tn+1
tn
tn

Application de la condition de Neumann.

tn+1

"
#

,*
- *
.*
/*
0*
* 2
3*
4*
5*
&
('
'
'
'
'
'
'
'
tn+1
tn
'
'
'
tn+1
tn
Lanalyse numrique.
Cest une branche des mathmatiques qui sest dveloppe
avec lavnement des ordinateurs.
Lanalyse numrique des quations aux drives partielles est
lart de matriser le passage du continu au discret.
Montrer que le problme approch est bien pos:
existence et unicit de uh .
Montrer la convergence : uh u quand h 0.
La stabilit : borne uniforme du type kuh k C.
La consistance : approximation des quations.
Un exemple de schma instable.

Revenons notre problme modle. Pour amliorer la
prcision de notre mthode on peut penser utiliser une
approximation centre de la drive en temps.
un+1
ujn1
unj+1 unj
unj unj1
1
j
j+ 1 (
) j 1 (
) = 0.
2
2
2t
x
x
x
Un tel schma se rvle inconditionnellement instable.
Obtenir des estimations derreur: ku uh k ? .

En principe : stabilit + consistance = convergence.
Autres exemples.
Problmes stationnaires elliptiques.
Autres exemples.
Nous faisons lhypothse que quand t +:
` (x, t)
` (x) x 0
q (x, t) q (x) x
1
`
`
On peut dmontrer la convergence vers un tat stationnaire

(x, t) (x),
t +,
o : R est solution du problme aux limites:
On peut dmontrer la convergence vers un tat stationnaire

(x, t) (x),
t +,
o : R est solution du problme aux limites:

div = 0, dans ,

sur 0 ,
= ` ,
= q ,
sur 0 .
`
n
Autres exemples.
Autres exemples.
Problmes hyperboliques linaires. (Cours 9 et 10)
div = 0, dans ,

= ` ,
sur 0 ,
= q ,
sur 0 .
`
n
La propagation du son dans un fluide est rgie par lquation

des ondes acoustiques:

1 2p
1
div
p = f ,
2
2
0 c0 t
0
o linconnue p dsigne la (variation de) pression, 0 dsigne la
densit du fluide, c0 la clrit du son et f un terme source.
Ce problme est le prototype des problmes elliptiques quon

recontre aussi en mcanique des solides et des fluides
(phnomnes dequilibre), en lectrostatique,...
Au mme titre que lquation de transport, lquation des

ondes est le prototype de lquation hyperbolique linaire
qui dcrit des phnomnes de propagation.
Seront tudis dans les cours 2,3,4,5.
On rencontre aussi ce type dquation en lectromagntisme

(Maxwell) ou en mcanique du solide (lastodynamique).
Autres exemples.
Autres exemples.
Problmes de type Fredholm.
Problmes hyperboliques non linaires.
Si le terme source est harmonique en temps:
Ces modles interviennent pour la description des

phnomnes de propagation non linaire, surtout en
mcanique des fluides (propagation des chocs, ondes
de dtente,...) mais aussi pour la modlisation du traffic
routier (modlisation des bouchons).
f (x, t) = f (x) exp it

o la pulsation > 0 est donne, on aura le comportement en
temps long:
p(x, t) p (x) exp it,
t +.
En dimension 1, lquation modle est (f : R R):

u
+
f (u) = 0,
t
x
o p est solution de lquation de Helmholtz:

div

1
2
p
p = f (x).
0
0 c20
Cest le prototype du problme elliptique non coercif mais de

type Fredholm, trait dans les cours 6 et 7.
f (u) = au
x R, t > 0.
: quation de transport.
f (u) = u2 /2 : quation de Burgers.

Cette quation sera traite aux cours 11 et 12.

Ma201 Cours 01

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Ma201 Cours 01

Transféré par

Droits d'auteur :

Formats disponibles

Un exemple de problme rsoudre.

Introduction au calcul scientifique pour les EDP

Exemple: la conduction de la chaleur. Soit un domaine de

Une temprature ` est impose sur la partie 0 .

Un flux de chaleur q ` est impos sur la partie 1 .

Introduction au calcul scientifique pour les EDP de la physique. p.2/27

Introduction au calcul scientifique pour les EDP de la physique. p.1/27

La dmarche de lingnieur mathmaticien

2. Analyse mathmatique du problme pos.

3. Conception dune mthode numrique.

La conductivit du milieu : (x) > 0, x .

Introduction au calcul scientifique pour les EDP de la physique. p.3/27

Les fonctions: 0 (x), x , ` (x, t), x 0 , q ` (x, t), x 1 .

Les inconnues du problme:

Les lois de la physique:

Si on limine ~q le problme rsoudre scrit:

Trouver (x, t) : ]0, T [ R tel que:

Trouver (x, t) : ]0, T [ R tel que:

Le temps faisant partie explicitement des variables du

Introduction au calcul scientifique pour les EDP de la physique. p.6/27

Introduction au calcul scientifique pour les EDP de la physique. p.5/27

Trouver (x, t) : ]0, T [ R tel que:

Les difficults de lanalyse mathmatique.

Lquation de la chaleur est le prototype des quations

Trouver u V tel que A u = d

Notion de problme bien pos.

Trouver u S tel que F (u) = d

est bien pos au sens de Hadamard si:

Notion de problme bien pos.

Stabilit L2 du problme de Cauchy.

Le rsultat va apparatre comme une estimation a priori, cest

Introduction au calcul scientifique pour les EDP de la physique. p.10/27

Introduction au calcul scientifique pour les EDP de la physique. p.9/27

Introduction au calcul scientifique pour les EDP de la physique. p.11/27

On multiplie lquation par et on intgre sur :

On obtient par consquent lidentit:

Compte tenu de la positivit de il vient:

On utilise la formule de Green (intgration par parties):

Introduction au calcul scientifique pour les EDP de la physique. p.11/27

Le problme rsoudre scrit:

Trouver u(x, t) :]0, L[]0, T [ IR tel que:

Introduction au calcul scientifique pour les EDP de la physique. p.12/27

Mthode des diffrences finies: le principe.

x ]0, L[, t > 0,

Introduction au calcul scientifique pour les EDP de la physique. p.13/27

Lespoir est que, lorsque x et t tendront vers 0, lerreur

Introduction au calcul scientifique pour les EDP de la physique. p.14/27

Mthode des diffrences finies: le principe.

Mthode des diffrences finies.

Pour produire les quations dfinissant les inconnues

Les quations manquantes sont fournies par la prise en

Introduction au calcul scientifique pour les EDP de la physique. p.15/27

Construction doprateurs aux diffrences.

Construction doprateurs aux diffrences.

Cest une approximation dcentre droite, dordre 1 car

Introduction au calcul scientifique pour les EDP de la physique. p.17/27

Introduction au calcul scientifique pour les EDP de la physique. p.17/27

Construction doprateurs aux diffrences.

Construction doprateurs aux diffrences.

On ralise alors une approximation centre, dordre 2 avec:

Introduction au calcul scientifique pour les EDP de la physique. p.18/27

Construction doprateurs aux diffrences.

unj+1 2unj + unj1