Vous êtes sur la page 1sur 28

Definitions

Classification

Methodes de
resolution -
Methodes numeriques
Differences finies
Equations elliptiques Equations aux derivees partielles (EDP)
Equations
hyperboliques
Equations
paraboliques

Informations Resp. : Jean-Christophe Robinet


complementaires
Nombre de variables
independantes
superieur a 2 Laboratoire DynFluid
Solutions
discontinues
Arts & Metiers ParisTech
Autres methodes
Jean-Christophe.Robinet@ensam.eu
Xavier.Merle@ensam.eu

Janvier 2011

Resp. : Jean-Christophe Robinet Methodes numeriques 1/28


Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 2/28


Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 3/28


Generalites
Definitions

Classification Definition 1.1 (EDP)


Methodes de
resolution - Une equation aux derivees partielles fait intervenir plusieurs variables
Differences finies
Equations elliptiques
independantes (temps, espace...), ainsi que les derivees partielles de la
Equations
hyperboliques
variable dependante par rapport a ces variables independantes. Par
Equations
paraboliques
exemple, lequation :
Informations
complementaires C C
Nombre de variables +u = 0 (Equation dadvection)
independantes
superieur a 2
t x
Solutions
discontinues
est une EDP. La variable dependante est C , les variables independantes
Autres methodes
sont t et x . u peut etre fonction de t , x et C .

Definition 1.2 (Ordre dune EDP)


Lordre dune EDP est lordre le plus eleve parmi les derivees partielles
apparaissant dans lEDP.
Remarque : dans ce cours, on se limitera aux EDP dordre 2.
Resp. : Jean-Christophe Robinet Methodes numeriques 4/28
Generalites
Definitions

Classification Definition 1.3 (Problemes lineaires/quasi-lineaires/non-lineaires)


Methodes de
resolution - On dit quune EDP est lineaire si elle ne fait intervenir que des
Differences finies
Equations elliptiques
combinaisons lineaires des derivees partielles de la variable dependante.
Equations
hyperboliques
On dit quune EDP est quasi-lineaire si elle est lineaire par rapport aux
Equations
paraboliques
derivees dordre le plus eleve. Ainsi, lEDP :
Informations
complementaires u u
Nombre de variables a +b =c
independantes
superieur a 2
x y
Solutions
discontinues
Autres methodes
est quasi-lineaire si a, b et c sont des fonctions reelles de x , y et u. Elle
serait lineaire si a, b et c ne dependaient que de x et y, et a coefficients
constants si a, b et c ne dependaient plus de x , y et u. De meme,
lEDP :
2u 2u 2u
a 2 +b +c 2 =d
x x y y
u
est quasi-lineaire si a, b, c et d sont des fonctions reelles de x , y, u, x
et u
y . En dehors de ces criteres, lEDP est non-lineaire.
Resp. : Jean-Christophe Robinet Methodes numeriques 5/28
Generalites
Definitions

Classification Remarque : dans le cadre de ce cours, on se limitera aux EDP quasi-


Methodes de
resolution -
lineaires.
Differences finies
Equations elliptiques Conditions initiales (CI), conditions aux limites (CL) : contrairement
Equations
hyperboliques aux EDO, les CI ne suffisent pas a assurer lunite de la solution. Il faut
Equations
paraboliques egalement fournir des CL. Dans certains cas, la notion de CI na meme
Informations
complementaires
pas de sens. On distingue les deux types de condition de la maniere
Nombre de variables suivante :
independantes
superieur a 2
Solutions
une CI sapplique pour une valeur donnee dune variable
discontinues
Autres methodes
independante. A partir de la connaissance de cette CI, on peut
ensuite reconstruire la solution pour toute les autres valeurs de
la variable independante.
une CL sapplique en tout point de la frontiere du domaine sur
lequel on cherche a resoudre lEDP. Cest a partir de cette
condition sur le frontiere que lon va pouvoir determiner la valeur
de la variable dependante a linterieur du domaine.

Resp. : Jean-Christophe Robinet Methodes numeriques 6/28


Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 7/28


Classification des EDP du second ordre
Definitions

Classification Soit une EDP quasi-lineaire du second ordre :


Methodes de
resolution -
Differences finies
2u 2u 2u
a 2
+b + c 2 = d,
Equations elliptiques
Equations
x x y y
hyperboliques

ou a, b, c et d sont des fonctions reelles de x , y, u, u u


Equations

x et y .
paraboliques

Informations
complementaires On pose = b 2 4ac le discriminant associe a cette EDP. On dira
Nombre de variables
independantes
que lEDP est :
superieur a 2
Solutions hyperbolique, si > 0. Par exemple :
discontinues
Autres methodes

2u 2u
2
2 2 = 0
x y
parabolique, si = 0. Par exemple

u 2u
2 = 0, >o
x y

Resp. : Jean-Christophe Robinet Methodes numeriques 8/28


Classification des EDP du second ordre
Definitions Soit une EDP quasi-lineaire du second ordre :
Classification

Methodes de 2u 2u 2u
resolution - a + b + c = d,
Differences finies x 2 x y y 2
Equations elliptiques
Equations
hyperboliques
Equations
ou a, b, c et d sont des fonctions reelles de x , y, u, u u
x et y .
paraboliques

Informations
On pose = b 2 4ac le discriminant associe a cette EDP. On dira
complementaires que lEDP est :
Nombre de variables
independantes
superieur a 2 elliptique, si < 0. Par exemple :
Solutions
discontinues
Autres methodes 2u 2u
2
+ =G
x y 2

Remarque : les termes hyperbolique , parabolique et ellip-


tique viennent du fait quon obtient lequation dune conique lorsque
n u n u
lon remplace par x n
et par y n (n = 1 ou 2) et le 2nd
x n y n
membre par une constante.
Resp. : Jean-Christophe Robinet Methodes numeriques 9/28
Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 10/28


Probleme modele
Probleme de Laplace avec CL de type Dirichlet

Definitions

Classification Equation de la chaleur stationnaire en deux dimensions


Methodes de
resolution -
On cherche a determiner la repartition de temperature sur un
Differences finies domaine limite par une frontiere :
Equations elliptiques
Equations 2
hyperboliques
T 2T
Equations + = Q (x , y) sur
paraboliques
x 2 y 2 (1)
Informations
T = Text sur

complementaires
Nombre de variables
independantes
superieur a 2 Discretisation : on note Tij et Qij les valeurs discretes de T et Q
Solutions
discontinues aux points de maillage (xi )0iNx et (yj )0j Ny , cartesien
Autres methodes
regulier. La discretisation a lordre 2 des derivees partielles de T
donne ainsi :
 2 
T Ti+1,j 2Tij + Ti1,j


x 2 =
x 2
 2 ij
T Ti,j +1 2Tij + Ti,j 1
=


y 2 ij y 2

Resp. : Jean-Christophe Robinet Methodes numeriques 11/28


Probleme modele
Probleme de Laplace avec CL de type Dirichlet

Definitions

Classification Le systeme discretise (1) prend la forme :


Methodes de
resolution -

Differences finies Ti+1,j 2Tij + Ti1,j Ti,j +1 2Tij + Ti,j 1
+ = Qij
Equations elliptiques
Equations
x 2 y 2
hyperboliques
+ Conditions limites
Equations
paraboliques

Informations
complementaires
cest-a-dire
Nombre de variables  
independantes
Ti+1,j Ti1,j 1 1 Ti,j +1 Ti,j 1
superieur a 2
+ 2 + Tij + + = Qij
Solutions
discontinues
x 2 x 2 x 2 y 2 y 2 y 2
+ Conditions limites
Autres methodes

qui est equivalent au systeme lineaire

A.T = Q

et qui peut se resoudre a laide des nombreuses methodes vues dans le


cours de resolution de systemes lineaires.
Resp. : Jean-Christophe Robinet Methodes numeriques 12/28
Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 13/28


Probleme modele
Equation dadvection

Definitions

Classification
On cherche a resoudre lequation dadvection dune quantite q a la
Methodes de
vitesse a > 0, constante dans cet exemple, sur un domaine limite par
resolution -
Differences finies
une frontiere :
q q
(
Equations elliptiques
+a =0
Equations
hyperboliques t x (2)
Equations q(0, .) = q0 et CL
paraboliques

Informations
complementaires
Nombre de variables
Schema decentre amont explicite : on discretise la quantite q par
independantes
superieur a 2
qin dans le plan des variables independantes (xi )0iN (x
Solutions
discontinues
constant) et t n . On choisit une discretisation spatiale dordre 1 :
Autres methodes

q n qi1
n
 
q
= i
x i x

Le choix des indices i et i 1 pour cette discretisation se justifie


par le fait que la vitesse dadvection a est positive. Linformation
vient donc de lamont, dou le nom du schema. Pour une vitesse
dadvection negative on utilserait qin et qi+1
n
.
Resp. : Jean-Christophe Robinet Methodes numeriques 14/28
Probleme modele
Equation dadvection

Definitions

Classification
Ainsi, le systeme (2) secrit :
Methodes de
q n qi1
n
 
resolution - q
= a i , 1i N
Differences finies


t i x

Equations elliptiques
n
q0 = f
Equations
hyperboliques
Equations
q(0, .) = q0 et CL

paraboliques

Informations
complementaires
Nombre de variables
qui prend la forme dun probleme de Cauchy :
independantes
superieur a 2 
Solutions q (t ) = g(t , y(t ))
discontinues
Autres methodes q(0) = q0

que lon peut resoudre a laide des methodes presentees pour la


resolution des EDO. Dans le cas du schema decentre amont, il sagit
dune methode dEuler classique :
t n
qin+1 = qin a n
(q qi1 )
x i
Resp. : Jean-Christophe Robinet Methodes numeriques 15/28
Probleme modele
Equation dadvection

Definitions

Classification

Methodes de
resolution -
Differences finies ATTENTION : a la difference dune EDO, le succes du calcul dans
Equations elliptiques t
Equations le cas dune EDP est conditionne a la valeur du rapport a , appele
hyperboliques
x
Equations
paraboliques nombre de Courant ou nombre CFL. Pour le schema decentre amont,
Informations cette condition est :
complementaires
Nombre de variables
independantes t
superieur a 2 CFL = |a| 1, a R
Solutions
discontinues
x
Autres methodes
La vitesse a et le pas despace x etant generalement contraints, le
critere CFL limite donc le pas de temps t . Ainsi, selon les valeurs de
a et x , il faudra plus ou moins diterations en temps pour atteindre
un temps final t . Ceci est lie a la notion de stabilite du schema.

Resp. : Jean-Christophe Robinet Methodes numeriques 16/28


Probleme modele
Equation dadvection

Definitions

Classification
schema decentre amont implicite : dans ce cas, toujours pour
Methodes de
resolution - a > 0, la discretisation spatiale au temps n fait intervenir des
Differences finies
Equations elliptiques
quantites qi au temps n + 1
Equations
hyperboliques
qin+1 qi1
n+1
 
Equations q
paraboliques =
Informations x i x
complementaires
Nombre de variables
independantes
superieur a 2
et le schema correspondant est de la forme
Solutions
discontinues
t n+1
Autres methodes
qin+1 = qin a (q n+1
qi1 )
x i
soit
t n+1 t n+1
(1 + a )qi a q = qin
x x i1
ce qui est equivalent au systeme A.q n+1 = q n quil faut inverser a
chaque iteration.

Resp. : Jean-Christophe Robinet Methodes numeriques 17/28


Probleme modele
Equation dadvection

Definitions

Classification
Le schema decentre amont implicite coute plus cher a chaque iteration
Methodes de
resolution - du fait de linversion du systeme (par un algorithme de Thomas par
Differences finies
Equations elliptiques
exemple). En revanche, ce schema est inconditionnellement stable, ce
Equations
hyperboliques
qui signifie quil ny a pas de restriction sur t . On peut donc prendre
Equations
paraboliques
des pas de temps plus grands et converger plus vite vers la solution au
Informations temps t . En pratique, limplicitation fonctionne bien quand on cherche
complementaires
Nombre de variables
a converger vers une solution stationnaire dun probleme. Quand ce
independantes
superieur a 2 nest pas le cas, limplicitation seule ne fonctionne plus. Qui plus est,
Solutions
discontinues limplicitation pose un certain nombre de difficulte, par exemple lorsque
Autres methodes
la fonction possede plus de deux variables independantes.

Conclusion
Le schema decentre amont est sans doute le schema le plus simple pour
resoudre une EDP hyperbolique. Neanmoins, il en existe bien dautres.
On citera par exemple les schemas de Roe ou de Crank-Nicholson.

Resp. : Jean-Christophe Robinet Methodes numeriques 18/28


Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 19/28


Probleme modele
Equation de diffusion

Definitions

Classification
On cherche a resoudre un probleme de diffusion de la quantite q sur un
Methodes de
domaine borne par :
resolution -
Differences finies q 2q
Equations elliptiques 2 = 0, 0 (3)
Equations
hyperboliques
t x
Equations
q(0, .) = q0 et CL
paraboliques

Informations La resolution se fait ensuite comme pour une EDP hyperbolique. On


complementaires
Nombre de variables discretise q par qin aux (xi )0iN points de maillage et au temps t n . La
independantes
superieur a 2 discretisation de la derivee spatiale se fait de maniere classique par :
Solutions
n
discontinues
2qin + qi1
n
 2 
Autres methodes q qi+1
=
x 2 i x 2
En injectant cette discretisation dans (3) on obtient alors une EDO que
lon peut resoudre par les methodes classiques. Ainsi, pour une methode
dEuler, on obtient le schema :
t n
qin+1 = qin + (q 2qin + qi1
n
)
x 2 i+1
Resp. : Jean-Christophe Robinet Methodes numeriques 20/28
Probleme modele
Equation de diffusion

Definitions

Classification De maniere analogue aux EDP hyperboliques, ce schema est stable


Methodes de sous la condition :
resolution - t 1
Differences finies
0 2

Equations elliptiques
x 2
Equations
hyperboliques
Equations
quon appelle nombre de Fourier.
paraboliques

Informations
complementaires Comme pour les EDP hyperboliques, une implicitation de ce schema
Nombre de variables
independantes
est possible avec les memes avantages et les memes inconvenients.
superieur a 2
Solutions
discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 21/28


Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 22/28


Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 23/28


Definitions

Classification Les problemes modeles presentes dans ce cours sont generalement en


Methodes de une dimension despace. Dans la realite, les problemes sont plus souvent
resolution -
Differences finies 2D voire 3D, ce afin de prendre en compte les effets de la geometrie
Equations elliptiques
Equations
du systeme. Le premier choix qui simpose dans ce cas est de definir la
hyperboliques
Equations
facon dont on va representer cette geometrie complexe. Il existe deux
paraboliques
possibilites :
Informations
complementaires les maillages structures, simples a mettre en place mais
Nombre de variables
independantes
superieur a 2
generalement limite dans leurs possibilites
Solutions
discontinues
les maillages non structures, plus compliques a utiliser mais qui
Autres methodes
peuvent representer nimporte quelle geometrie.
Ce choix etant fait, il faut ensuite inclure les nouvelles variables des-
pace dans la discretisation. Si cette extension se fait naturellement pour
des schemas explicites, elle est beaucoup moins evidente pour des sche-
mas implicites. Dans ce cas, plutot quune prise en compte formelle des
directions despace, on utilise une methode dite des directions alter-
nes ou lon va successivement considerer une direction puis lautre
avec des resultats de calcul intermediaires entre les deux.
Resp. : Jean-Christophe Robinet Methodes numeriques 24/28
Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 25/28


Definitions

Classification Pour certaines EDP, levolution de la solution au cours du temps fait


Methodes de apparatre des solutions discontinues (chocs). Dans ces circonstances,
resolution -
Differences finies les methodes classiques ne fonctionnent plus et il est necessaire de les
Equations elliptiques
Equations
modifier ou den changer. Cest le cas par exemple de lequation de
hyperboliques
Equations
Burgers :
paraboliques q q
+q =0
Informations
complementaires
t x
Nombre de variables
independantes
superieur a 2
Solutions
discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 26/28


Definitions

Classification

Methodes de
resolution -
1 Definitions
Differences finies
Equations elliptiques
Equations
hyperboliques
2 Classification
Equations
paraboliques

Informations 3 Methodes de resolution - Differences finies


complementaires
Nombre de variables Equations elliptiques
independantes
superieur a 2 Equations hyperboliques
Solutions
discontinues Equations paraboliques
Autres methodes

4 Informations complementaires
Nombre de variables independantes superieur a 2
Solutions discontinues
Autres methodes

Resp. : Jean-Christophe Robinet Methodes numeriques 27/28


Definitions

Classification

Methodes de
resolution -
Differences finies
Les differences finies sont des methodes simples qui ont lavantage de se
Equations elliptiques coder facilement. Si pour des problemes simples elles sont
Equations
hyperboliques relativement efficaces, des lors quapparaissent certaines singularites
Equations
paraboliques elles deviennent compliquees a gerer. En revanche, dautres methodes
Informations
complementaires
plus complexes a matriser mais plus efficaces dans ces cas particuliers
Nombre de variables existent ; on notera entre autres :
independantes
superieur a 2
Solutions
les volumes finis
discontinues
Autres methodes les elements finis
les volumes spectraux
les elements spectraux
...

Resp. : Jean-Christophe Robinet Methodes numeriques 28/28