Slides I
Slides I
Slides I
Calcul Scientifique
Maher Moakher
Ecole Polytechnique de Tunisie
Janvier, 2024
Introduction EDP et leur classification Conditions aux limites
Introduction
Définition
Une équation aux dérivées partielles (EDP) est une relation faisant
intervenir :
une fonction u : Ω ⊂ Rn → R (variable dépendante)
xi , i = 1, . . ., n (variables indépendantes)
∂i u, ∂ij2 u, . . ., 1 ≤ i, j ≤ n (dérivées partielles)
2 2 2 2
F(x1 , . . . xn , u, ∂1 u, . . . , ∂n u, ∂11 u, . . . , ∂nn u, ∂12 u, . . . , ∂n−1,n u, . . .) = 0.
Ordre et linéarité
Une EDP non linéaire est dite quasi-linéaire si elle est linéaire par
rapport aux dérivées partielles d’ordre le plus élevé.
Introduction EDP et leur classification Conditions aux limites
Exemples
Plan du cours
Plan de la Séance
Cette méthode peut aussi être adaptée au cas des EDP linéaires du
premier ordre à plus de deux variables indépendantes.
Introduction EDP et leur classification Conditions aux limites
Courbes paramétrées
Nous allons rappeler brièvement la notion de courbe paramétrée dans le
plan.
Dans ce cas, le vecteur γ ′ (s) = (x′ (s), y′ (s)) est un vecteur tangent à la
courbe C au point (x(s), y(s)).
Introduction EDP et leur classification Conditions aux limites
Courbes caractéristiques
Nous définissons le flux du champ de vecteurs v comme étant la famille
des courbes paramétrées {(x(s), y(s)), s ∈ I} satisfaisant
dx dy
= a(x, y), = b(x, y),
ds ds
où I est un intervalle de R.
Puisque (a(x, y), b(x, y)) ̸= (0, 0), il y aura une ligne de flux passant par
chaque point de R2 .
Introduction EDP et leur classification Conditions aux limites
Courbes caractéristiques
Exemple
Nous allons illustrer la méthode des caractéristiques pour l’EDP linéaire
d’ordre un et à coefficients constants
∂u ∂u
− − (x − t)u = 0. (4)
∂t ∂x
t(s) = s + t0 , x(s) = −s + x0 .
Exemple
Le long de ces droites, (4) devient l’EDO linéaire
dũ
= (2s + t0 − x0 )ũ(s),
ds
dont la solution est obtenue par séparation des variables
2 +s(t
0 −x0 )
ũ(s) = ũ0 es .
On pourra choisir t0 = 0 et la valeur initiale ũ0 peut être donnée par une
courbe de valeurs initiales: ũ0 = f (x0 ) avec f une fonction arbitraire.
u(t, x) = f (t + x)e−tx .
Introduction EDP et leur classification Conditions aux limites
φ : Ω → Ω̃
(x, y) 7→ φ(x, y) = (ξ(x, y), η(x, y)),
J(x, y) = ξx ηy − ξy ηx ,
y η=2
η=1
η=0
η = −1
ξ=1
ξ=0
ξ = −1
ux = vξ ξx + vη ηx ,
u y = v ξ ξy + v η η y ,
EDP hyperbolique
EDPs hyperboliques
Définition
On dit que l’EDP (5) est hyperbolique dans un domaine D si b2 − ac > 0 pour
tout (x, y) ∈ D.
EDP hyperbolique
EDPs hyperboliques
où
D E F G
D̃ = − , Ẽ = − , F̃ = − , G̃ = .
2B 2B 2B 2B
En utilisant les coordonnées X = ξ + η et Y = ξ − η, et la nouvelle
variable dépendante V définie par V(X, Y) = v(ξ, η), l’EDP (7) se
transforme sous la forme canonique
où
D̂ = D̃ + Ẽ, Ê = D̃ − Ẽ, F̂ = F̃, Ĝ = G̃.
Introduction EDP et leur classification Conditions aux limites
EDP parabolique
EDPs paraboliques
Définition
On dit que l’EDP (5) est parabolique dans un domaine D si b2 − ac = 0
pour tout (x, y) ∈ D.
EDP parabolique
EDPs paraboliques
où
D E F G
D̃ = − , Ẽ = − , F̃ = − , G̃ = .
C C C C
Introduction EDP et leur classification Conditions aux limites
EDP elliptique
EDPs elliptiques
Définition
On dit que l’EDP (5) est elliptique dans un domaine D si b2 − ac < 0 pour tout
(x, y) ∈ D.
EDP elliptique
EDPs elliptiques
Les parties réelles et imaginaires de cette dernière équation donnent
bηx + cηy aηx + bηy
ξx = √ , ξy = − √ . (10)
ac − b 2 ac − b2
Par élimination de ξ on obtient l’équation de Beltrami,
aηx + bηy bηx + cηy
√ + √ = 0.
ac − b2 x ac − b2 y
En général, la résolution de l’équation de Beltrami n’est pas plus simple que la
résolution du sysème (10). Cependant, il est possible de construire la solution de
(10) en trouvant les courbes caractéristiques dans le plan complèxe définies par
√
dy b − i ac − b2
= .
dx a
Avec ce choix de système de coordonnées, l’EDP (5) se réduit à
vξξ + vηη = D̃vξ + Ẽvη + F̃v + G̃, (11)
où
D E F G
D̃ = − , Ẽ = − , F̃ = − , G̃ = .
A A A A
Introduction EDP et leur classification Conditions aux limites
EDP elliptique
Considérons la transformation
ξ cos θ sin θ x
= ,
η − sin θ cos θ y
EDP elliptique
EDP elliptique
où
EDP elliptique
Pour avoir une forme simple de l’EDP, on cherche θ tel que B = 0, c-à-d
a−c
(c − a) cos sin θ + b(cos2 θ − sin2 θ) = 0 ⇔ sin 2θ = b cos 2θ.
2
Donc 1 2b kπ
arctan
+ , k ∈ Z si a ̸= c,
2 a−c 2
θ= (14)
π + kπ , k ∈ Z
si a = c.
4 2
Introduction EDP et leur classification Conditions aux limites
EDP elliptique
EDPs hyperboliques
Dans le cas où (12) est hyperbolique c-à-d b2 − ac > 0, et pour θ donnée
par (14) on a B = 0 et A et C sont de signes contraires.
EDP elliptique
EDPs paraboliques
Dans le cas où (12) est parabolique c-à-d b2 − ac = 0, et pour θ donnée
par (14) on a B = 0 et ou bien A = 0 ou C = 0.
EDP elliptique
EDPs elliptiques
Dans le cas où (12) est elliptique c-à-d b2 − ac < 0, et pour θ donnée par
(14) on a B = 0 et A et C sont de même signe.
Les autres types de conditions aux limites sont des analogues, aux
dimensions supérieures, des conditions que nous imposons à une EDO
aux deux extrémités de l’intervalle.
Chaque classe d’EDP nécessite des conditions aux limites du bon type
afin d’avoir une solution unique.
i) Les EDPs elliptiques nécessitent des conditions aux limites de
Dirichlet ou de Neumann sur la frontière entourant la région
d’intérêt.
ii) Les EDPs hyperboliques nécessitent des conditions aux limites de
Cauchy sur une surface ouverte.
iii) Les EDPs paraboliques nécessitent des conditions aux limites de
Dirichlet ou Neumann sur une surface.
Introduction EDP et leur classification Conditions aux limites
Définition
On dit qu’un problème mathématique est bien posé au sens de
Hadamard s’il vérifie les trois propriétés suivantes :
Existence : Il existe au moins une solution au problème ;
Unicité : Il y a au plus une solution ;
Stabilité : La solution unique dépend d’une manière continue sur
les données du problème. Un petit changement dans les données
conduit à un petit changement dans la solution.
Le problème est dit mal posé si l’une de ces trois propriétés n’est pas
satisfaite.