Anda di halaman 1dari 136

Equations aux derivees partielles.

LFSAB1103 (Mathematiques 3)
Jean-Francois Remacle Gregoire Winckelmans

Aussi base, en partie, sur les notes du cours Introduction `a la Physique Mathematique, par L. Bolle et A.
Laloux et sur le livre de reference Applied Partial Dierential Equations, par Richard Haberman. Certaines
simulations numeriques et gures associees ont ete realisees par F. Thirifay. et G. Daeninck. Les exercices resolus
ont ete rediges en partie par Richard Comblen, Ivan De Visscher, Matthieu Duponcheel, Olivier Gourgue, Olivier
Lietaer et Timothee Lonls
1
2
Contents
1 Introduction et terminologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 EDP du 1er ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.1 Probl`eme de Cauchy et methode des caracteristiques . . . . . . . . . . . . . . . 6
2.2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2.1 EDP homog`ene et non-homog`ene . . . . . . . . . . . . . . . . . . . . . . 9
2.2.2 Equation de transport . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2.3 Equation de transport sous forme conservative . . . . . . . . . . . . . . . 14
2.2.4 Equation de tranport: cas non-lineaire . . . . . . . . . . . . . . . . . . . 17
2.3 Discussion sur les conditions aux limites . . . . . . . . . . . . . . . . . . . . . . 23
3 EDP du 2`eme ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1 Probl`eme de Cauchy et methode des caracteristiques . . . . . . . . . . . . . . . 24
3.2 Exemple dEDP hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3 Exemple dEDP parabolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.4 Exemples dEDP elliptique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.5 Syst`eme dEDP du 1er ordre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.6 Equivalence entre EDP du 2`eme ordre et syst`eme de deux dEDP du 1er ordre . 41
3.7 EDP de type mixte . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4 Equation de la chaleur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
4.1 Derivation de lequation de la chaleur en une dimension . . . . . . . . . . . . . . 44
4.2 La Temperature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4.3 Conditions aux limites et conditions initiales . . . . . . . . . . . . . . . . . . . . 48
4.4 Equation de la chaleur en regime stationnaire. . . . . . . . . . . . . . . . . . . . 49
4.4.1 Temperature xee aux extremites . . . . . . . . . . . . . . . . . . . . . . 49
4.4.2 Flux de chaleur xe aux extremites . . . . . . . . . . . . . . . . . . . . . 50
4.5 Derivation de lequation de la chaleur en dimensions 2 et 3 . . . . . . . . . . . . 51
4.6 Conditions aux limites et conditions initiales . . . . . . . . . . . . . . . . . . . . 53
4.7 Equation de la chaleur stationnaire . . . . . . . . . . . . . . . . . . . . . . . . . 53
5 Coordonnees curvilignes et operateurs dierentiels . . . . . . . . . . . . . . . . . 53
5.1 Calcul du gradient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5.2 Calcul de la divergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.3 Calcul du laplacien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.4 Tenseur metrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.5 Coordonnees polaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.6 Coordonnees spheriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
6 La methode de Separation des variables . . . . . . . . . . . . . . . . . . . . . . . 59
6.1 Linearite, homogenetie et principe de superposition . . . . . . . . . . . . . . . . 59
6.2 Equation de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.2.1 Equation de Laplace en physique mathematique . . . . . . . . . . . . . . 60
6.2.2 Equation de Laplace dans un rectangle . . . . . . . . . . . . . . . . . . . 61
6.2.3 Operateurs auto adjoints . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
6.2.4 Fonctions propres et valeurs propres . . . . . . . . . . . . . . . . . . . . . 70
6.2.5 Resume des solutions possible du probl`eme X

+ k
2
X = 0. . . . . . . . . 71
6.2.6 Equation de Laplace dans un cercle . . . . . . . . . . . . . . . . . . . . . 71
3
6.2.7 Les conditions de Robin . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.3 Equation donde . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6.3.1 Probl`eme de Helmoltz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.3.2 Vibrations dune membrane rectangulaire . . . . . . . . . . . . . . . . . . 83
6.3.3 Vibrations dune membrane circulaire : Fonctions de Bessel . . . . . . . . 85
7 Exercices Resolus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.1 Separation des Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.1.1 Equation de Laplace dans un anneau . . . . . . . . . . . . . . . . . . . . 91
7.1.2 Equation de Laplace `a lexterieur dun disque. . . . . . . . . . . . . . . . 97
7.1.3 Equation de Laplace dans un cylindre . . . . . . . . . . . . . . . . . . . . 98
7.1.4 Equation de Laplace dans un cylindre. Fonctions de Bessel modiees . . 100
7.1.5 Equation de Laplace dans un cube . . . . . . . . . . . . . . . . . . . . . 102
7.1.6 Diusion thermique en milieu ni (1/3) . . . . . . . . . . . . . . . . . . . 103
7.1.7 Diusion thermique en milieu ni (2/3) . . . . . . . . . . . . . . . . . . . 107
7.1.8 Diusion thermique en milieu ni (3/3) . . . . . . . . . . . . . . . . . . . 110
7.1.9 Anti-diusion, probl`eme mal pose . . . . . . . . . . . . . . . . . . . . . . 111
7.1.10 Diusion thermique en milieu inni, profondeur de penetration . . . . . . 114
7.1.11 Vibrations amorties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
7.2 Rotation dune corde exible . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
7.3 Deux variables spatiales : vibration dune membrane rectangulaire . . . . . . . . 118
7.3.1 Deux variables spatiales : vibration dune membrane circulaire . . . . . . 121
7.3.2

Equation non homog`ene . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
7.3.3 Vibration dune membrane annulaire . . . . . . . . . . . . . . . . . . . . 123
7.3.4 Guide dondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
7.4 Methode des caracteristiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
7.4.1 Caracteristiques pour une EDP du premier ordre (1/2) . . . . . . . . . . 130
7.4.2 Caracteristiques pour une EDP du premier ordre (2/2) . . . . . . . . . . 133
LFSAB1103 - Mathematiques 3, partie EDP 4
1 Introduction et terminologie
Soit une variable u (linconnue) dependant de m variables independantes x
1
, x
2
, . . . , x
m
. (Par
exemple, pour lespace physique qui nous entoure, les variables independantes sont typiquement
les trois coordonnees de lespace, x, y, z, ainsi que le temps t.)
Toute relation entre u, x
j
(j = 1, . . . , m) et des derivees partielles de u par rapport aux x
j
,
F
_
u, x
1
, . . . ,
u
x
1
, . . . ,

2
u
x
2
1
,

2
u
x
1
x
2
, . . . ,

n
u
x
n
1
, . . .
_
= 0 , (1)
constitue une equation aux derivees partielles (en abrege: une EDP).
Une EDP est dite dordre n quand la derivee partielle dordre le plus eleve quelle contient
est dordre n.
Une EDP est dite lineaire quand elle lest par rapport `a u et ` a toutes ses derivees partielles.
Par exemple, lEDP lineaire du 2`eme ordre et `a deux variables independantes x et y a la forme
generale
A

2
u
x
2
+ B

2
u
xy
+ C

2
u
y
2
+ P
u
x
+ Q
u
y
+ Gu = F . (2)
o` u A, B, C, P, Q, G et F sont, au plus, fonctions de x et y.
Une EDP est dite quasi-lineaire quand elle lest par rapport aux derivees partielles dordre
le plus eleve en chacune des variables.
Une EDP est dite homog`ene quand elle ne contient que des termes faisant intervenir u et
ses derivees partielles. Par exemple, dans le cas lineaire, LEDP est homog`ene lorsque F = 0.
La solution generale dune EDP lineaire et non homog`ene (F ,= 0) est la somme dune
solution particuli`ere de lEDP non homog`ene et de la solution generale de lEDP homog`ene.
Les EDP quasi-lineaires sont courantes en physique, et donc importantes. Elles sont, en
fait, fort proches des EDP lineaires. En particulier:
Le concept de stabilite pour les schemas numeriques peut encore etre deni et utilise. En
eet, la stabilite des schemas est dominee par les derivees de plus haut ordre.
Pour les EDP hyperboliques (voir plus loin), le concept de caracteristiques peut encore
etre deni et utilise.
Parfois, les EDP quasi-lineaires peuvent aussi etre ecrites sous forme conservative.
La solution dune EDP, u = f(x
1
, . . . , x
m
), sappelle aussi une integrale ou encore une
surface integrale de lEDP.
1.1 Exemples

2
u
x
2
+

2
u
y
2
= 0 (3)
est une EDP dordre 2, lineaire (meme plus: ` a coecients constants) et homog`ene. Cest
lequation de Laplace (voir plus loin).
x
u
x
+ y
u
y
+
xy
l
2
u = 2 u
0
(4)
LFSAB1103 - Mathematiques 3, partie EDP 5
(avec u
0
constant et de memes dimensions que u et l une constante de longueur) est une EDP
dordre 1, lineaire et non homog`ene.
x
u
x
+ y
u
y
+
u
2
u
0
= 0 (5)
est une EDP dordre 1, non lineaire (mais quasi-lineaire) et homog`ene.
_
u
y
_
2

2
u
x
2
+
_
u
x
_
2

2
u
y
2
= 0 (6)
est une EDP dordre 2, quasi-lineaire et homog`ene.
u
y

2
u
x
2
+
1
l
_
u
x
_
2
+
u
x

2
u
y
2
= 0 (7)
est aussi une EDP dordre 2, quasi-lineaire et homog`ene.
1
l
_
u
x
_
2
+
u
x

2
u
y
2
= 0 (8)
nest pas quasi-lineaire. En eet, elle est lineaire par rapport `a sa derivee partielle de plus haut
ordre en y, mais elle nest pas lineaire par rapport ` a sa derivee partielle de plus haut ordre en
x.
c
u
x
+
u
t
= 0 (9)
avec c constant est une EDP dordre 1, lineaire (` a coecient constant) et homog`ene. Cest
lequation de transport (voir plus loin)
u
u
x
+
u
t
= 0 (10)
est une EDP dordre 1, quasi-lineaire et homog`ene. Cest lequation de Burgers (voir plus loin).
Elle peut aussi secrire sous la forme conservative:

x
_
u
2
2
_
+
u
t
= 0 . (11)
Enn,

x
_

u
x
_

u
t
= 0 (12)
avec = (u) > 0 est une EDP dordre 2, quasi-lineaire et homog`ene. Cest lequation de
diusion (voir plus loin) avec le coecient de diusivite qui, ici, depend de la valeur locale
de u. En eet, sa forme developpee est obtenue comme:


2
u
x
2
+
d
du
_
u
x
_
2

u
t
= 0 , (13)
ce qui est bien quasi-lineaire.
LFSAB1103 - Mathematiques 3, partie EDP 6
2 EDP du 1er ordre
Nous examinons ici les EDP du 1er ordre, `a deux variables independantes (par exemple x et y
ou x et t), et ce dans un cadre general. Pour la theorie qui suit, on utilise les variables x et y;
il est clair quon peut tout aussi bien utiliser x et t.
lEDP quasi-lineaire du 1er ordre et `a deux variables independantes secrit, de la facon la
plus generale, comme:
P
u
x
+ Q
u
y
= R (14)
o` u P, Q et R sont, au plus, fonctions de x, y et u. On peut toujours decomposer R sous la
forme R = F(x, y) + G(x, y, u). LEDP est dite homog`ene lorsque F = 0. Le cas R = 0 est
donc aussi homog`ene.
Quant ` a lEDP lineaire du 1er ordre, sa forme generale est:
P
u
x
+ Q
u
y
+ Gu = F (15)
o` u P, Q, G et F sont, au plus, fonctions de x et y. LEDP est homog`ene lorsque F = 0.
La forme explicite de la solution sera u = u(x, y). La forme implicite de la solution sera
une relation du type T(x, y, u) = 0. Quoi quil en soit, sa representation geometrique sera une
surface dans lespace (x, y, u): la surface integrale de lEDP.
2.1 Probl`eme de Cauchy et methode des caracteristiques
Soit u donne le long de la courbe parametrisee (x(s), y(s)) avec s le param`etre qui decrit la
courbe, voir Fig. 1: donc u(x(s), y(s)) = u(s) est une fonction donnee. La question est: peut-on
obtenir la solution u au voisinage de la courbe ? Si oui, on pourra repeter la procedure en
partant de la courbe voisine, etc., et donc obtenir (du moins en principe!) la solution u(x, y)
dans le domaine. Cest le probl`eme de Cauchy.
Puisque u(s) est connu le long de ,
du
ds
est aussi connu le long de et on peut ecrire:
u
x
dx
ds
+
u
y
dy
ds
=
du
ds
. (16)
Il en resulte quon peut former, avec lEDP elle-meme, le syst`eme suivant:
_
P Q
dx
ds
dy
ds
__
u
x
u
y
_
=
_
R
du
ds
_
. (17)
Tant que le determinant ne sannule pas, on peut resoudre ce syst`eme et donc obtenir, le
long de ,
u
x
et
u
y
. Cela permet alors de construire la solution u dans le voisinage de la courbe
. En eet, pour toute direction locale (dx, dy) hors de la courbe et au voisinage dun point
(x(s), y(s)) de la courbe, on a que
u(x + dx, y + dy) = u(x, y) + dx
u
x
(x, y) + dy
u
y
(x, y) . (18)
A noter que cette relation est exacte puisque dx et dy sont petits. On a donc obtenu u hors
de la courbe et dans son voisinage immediat. En repetant la procedure, on peut donc (du
LFSAB1103 - Mathematiques 3, partie EDP 7
0 x
y
u
s
G
c
Fig. 1: Probl`eme de Cauchy pour lEDP du 1er ordre.
moins en principe) se propager petit pas par petit pas et obtenir la solution de lEDP de plus
en plus loin de la courbe .
Ceci, bien s ur, nest pas tr`es pratique. Et ceci ne fonctionne que si le determinant ne sannule
pas. Le probl`eme de Cauchy est donc bien pose si la courbe est telle que le determinant ne
sannule en aucun de ses points.
Pour la suite, on consid`ere donc un probl`eme bien pose. Considerons cette fois les directions
(dx, dy) non parall`eles `a ; la variation du qui y correspond est liee `a dx et dy par
u
x
dx +
u
y
dy = du . (19)
Il en resulte quon peut former, avec lEDP elle-meme, le syst`eme:
_
P Q
dx dy
__
u
x
u
y
_
=
_
R
du
_
. (20)
Puisque que le probl`eme est bien pose, il y a, en tout point de , une direction locale particuli`ere
(dx, dy) telle que le determinant

P Q
dx dy

(21)
sannule. Cette direction est donc telle que dx et dy sont lies par la relation
P dy = Qdx . (22)
Cette direction est tr`es importante car, on va le voir, tr`es pratique; on lappelle la direction
caracteristique. La pente locale de la caracteristique est donc
dy
dx
=
Q
P
ou
dx
dy
=
P
Q
(choisir lun
ou lautre selon que P ou Q pourrait etre nul localement, avec la condition que P et Q ne
sannulent jamais ensemble). Pour la suite, nous considerons, sans perte de generalite, que P
LFSAB1103 - Mathematiques 3, partie EDP 8
est non nul et que Q est general (non nul ou nul). Le cas Q non nul et P general se traite de
la meme mani`ere.
Bien que le determinant du syst`eme sannule le long de cette direction particuli`ere (la
direction caracteristique), le syst`eme est neanmoins encore soluble le long de cette meme
caracteristique ` a condition que le determinant forme en remplacant une des colonnes de la
matrice par le membre de droite sannule egalement (cfr. resultats des cours dalg`ebre lineaire).
Choisissons de remplacer la deuxi`eme colonne; cela donne:

P R
dx du

= 0 (23)
et donc
P du = Rdx . (24)
Cette relation de compatibilite constitue, en fait, la relation dierentielle qui determine la vari-
ation du de la solution pour une variation dx le long de la caracteristique. Il sagit dune
equation dierentielle ordinaire (EDO) du premier ordre: LEDP de depart est donc devenue
une EDO le long de la courbe caracteristique! Ce qui constitue un probl`eme beaucoup plus
simple! Ceci forme la base de la methode des caracteristiques: construire la solution en dehors
de en integrant la relation caracteristique: lEDO valable le long de la caracteristique.
A noter que le cas R = 0 est particulier: cela donne du = 0 le long de la caracteristique;
la fonction u est donc conservee le long de la caracteristique (on appelle cela un invariant de
Riemann).
De mani`ere equivalente, on aurait pu remplacer la premi`ere colonne; ce qui donne:

R Q
du dy

= 0 (25)
et donc
Qdu = Rdy , (26)
la relation dierentielle qui determine la variation du de la solution pour une variation dy le long
de la caracteristique. Attention, ceci nest pas une autre EDO! En eet, puisque Qdx = P dy,
cette EDO est equivalente ` a la precedante, P du = Rdx. On utilisera lune EDO ou lautre
selon ce qui est la plus simple `a integrer.
Comme moyen simple de retenir les relations ci-dessus, on ecrit
dx
P
=
dy
Q
=
du
R
, (27)
ce qui correspond bien `a deux relations et non trois. Attention, ceci nest que pour memorisation!
En eet, pour les calculs, il faut vraiment utiliser les relations de base, et qui nont aucun
probl`eme lorsque P ou Q est nul: dabord integrer P dy = Qdx pour determiner les car-
acteristiques; ensuite integrer P du = Rdx ou bien Qdu = Rdy pour determiner la variation
de u le long de chaque caracteristique.
Finalement, on obtient aussi facilement (exercice) que la relation dierentielle qui determine
la variation du de la solution pour une variation dl directement le long de la caracteristique
(avec donc dl
2
= dx
2
+ dy
2
) est
_
P
2
+ Q
2
du = Rdl . (28)
LFSAB1103 - Mathematiques 3, partie EDP 9
Clairement, les EDP du 1er ordre sont toutes telles que les caracteristiques existent (on ne
consid`ere ici que les EDP avec P et Q reel; on ne consid`ere donc pas les EDP avec P ou Q
complexe). Elles sont donc toute telles quon peut utiliser la methode des caracteristiques pour
les resoudre. Comme on va le voir, la methode des caracteristique constitue dailleurs un outil
puissant pour les resoudre.
En consequence, toutes les EDP du 1er ordre sont dites ` a caract`ere hyperbolique. Nous
verrons plus loin, pour les EDP du 2`eme ordre, que ce nest pas le cas: celles-ci seront, soit ` a
caract`ere hyperbolique, soit `a caract`ere parabolique, soit `a caract`ere elliptique; certaines auront
meme plusieurs caract`eres (e.g., EDP hyperbolique et parabolique).
Il est important dinsister sur le fait que les donnees u du probl`eme de Cauchy ne peuvent
pas etre fournies le long dune caracteristique: la variation de u le long de la caracteristique est
determinee par la relation caracteristique; on ne peut donc pas limposer. Clairement, pour que
le probl`eme soit bien pose, direction caracteristique et courbe doivent, en tout point, etre non-
parall`eles. Il est clair aussi que chaque caracteristique ne peut intersecter la courbe quune
seule fois: en eet, on ne peut imposer u en deux points relies par une meme caracteristique
puisque cest la relation caracteristique qui determine la relation entre ces deux points.
2.2 Exemples
2.2.1 EDP homog`ene et non-homog`ene
On consid`ere dabord une EDP pour un probl`eme dans le plan (x, y). Soit lEDP
y
u
x
x
u
y
= R . (29)
On a donc P = y et Q = x: les caracteristiques seront donc obtenues en integrant y dy =
x dx.
On consid`ere, par exemple, un probl`eme de Cauchy avec la courbe denie par x(s) = s
(avec s > 0) et y(s) = 0. On y specie la fonction:
u(x(s), y(s)) = u(s, 0) = f(s) (30)
donne. Les caracteristiques sont alors obtenues par integration:
_
y
0
y

dy

=
_
x
s
x

dx


y
2
2
=
_
x
2
2

s
2
2
_
(31)
et donc, nalement,
x
2
+ y
2
= s
2
. (32)
Les caracteristiques sont donc des cercles de rayon s. On verie que est bien admissible: elle
est non-parall`ele, en chacun de ses points, ` a la direction caracteristique locale et elle ne coupe
chaque caracteristique quune seule fois.
Considerons dabord le cas homog`ene: R = 0. Comme du = 0 le long de chaque car-
acteristique, la function u est conservee le long de chaque caracteristique. Lintegration donne
eectivement que
_
u(x,y)
u(s,0)
du

= 0 u(x, y) u(s, 0) = 0 . (33)


LFSAB1103 - Mathematiques 3, partie EDP 10
Pour tout point (x, y) du plan, il sut de suivre la caracteristique et de retrouver le s qui lui
correspond: s =
_
x
2
+ y
2
. La solution est donc nalement, exprimee en fonction de x et de y,
u(x, y) = u(s, 0) = f(s) = f
_
_
x
2
+ y
2
_
. (34)
En particulier, on obtient que u(x, 0) = u(x, 0). On verie bien quon ne peut pas ici specier
u(s, 0) pour les s negatifs: la courbe croiserait alors deux fois la meme caracteristique, ce qui
nest pas autorise.
Considerons ensuite un cas non-homog`ene: par exemple R = u
0
xy/l
2
(avec u
0
constant et
de memes dimensions que u et l une constante de longueur). La relation caracteristique est
alors (lune ou lautre equation pouvant etre utilisee):
y du =
u
0
l
2
xy dx ou x du =
u
0
l
2
xy dy (35)
c.-` a-d.
du =
u
0
l
2
x dx ou du =
u
0
l
2
y dy , (36)
et son integration donne:
u(x, y) u(s, 0) =
u
0
l
2
_
x
s
x

dx

=
u
0
l
2
_
x
2
2

s
2
2
_
=
u
0
2
y
2
l
2
, (37)
ou bien
u(x, y) u(s, 0) =
u
0
l
2
_
y
0
y

dy

=
u
0
2
y
2
l
2
(38)
ce qui est bien la meme chose. On a donc, nalement:
u(x, y) = f
_
_
x
2
+ y
2
_

u
0
2
y
2
l
2
(39)
Considerons un autre cas non-homog`ene: R = u
0
. La relation caracteristique est alors (lune
ou lautre equation pouvant etre utilisee):
y du = u
0
dx ou x du = u
0
dy . (40)
Integrons en utilisant la premi`ere. Pour ce faire, il faut dabord exprimer y en fonction de x:
ils sont, en eet, lies puisquon est le long dune caracteristique! Cela donne y =

s
2
x
2
.
Pour le cas y > 0, on prend le signe positif. La relation caracteristique devient alors:
du = u
0
dx

s
2
x
2
. (41)
Son integration donne
u(x, y) u(s, 0) = u
0
_
x
s
dx

s
2
x
2
= u
0
_
arcsin
_
x
s
_
arcsin(1)
_
(42)
et donc, nalement:
u(x, y) = f
_
_
x
2
+ y
2
_
+ u
0
_
arcsin
_
x
_
x
2
+ y
2
_


2
_
. (43)
LFSAB1103 - Mathematiques 3, partie EDP 11
Classication des EDP 10
!5
0
5
10
0
1
2
3
4
5
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
t c/b
x/b
u/u
0
Figure 2: Cas avec c constant. La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
.
La fonction initiale est donc simplement transportee (convectee) `a vitesse constante c,
voir Fig. 2. A noter que la solution est aussi obtenue pour des temps negatifs: u(x, t) est
ici obtenu pour tous les x et pour tous les temps.
Considerons aussi le taux de variation de u pour un observateur se deplacant selon
une loi x
p
(t) donnee. Ce quil percoit comme variation de u sera
d
dt
u(x
p
(t), t) =
u
x
dx
p
dt
+
u
t
. (50)
Comparons avec lEDP: il apparat que si lobservateur se deplace exactement `a la vitesse
c, il nobservera aucun changement de u: u demeure inchange pour un observateur se
deplacant le long dune caracteristique.
Considerons lexemple dun train se deplacant `a vitesse c constante. Un observateur
qui ne se deplace pas (c
p
=
dxp
dt
= 0; par exemple, un observateur dans le pre avoisinant
la voie ferree) voit passer tout le train, et ce `a la vitesse c: si il le lme avec une camera,
il en aura toute lhistoire (depuis la locomotive jusquau dernier wagon). Par contre, un
observateur se deplacant exactement `a la vitesse du train (c
p
=
dxp
dt
= c; par exemple, une
personne dans une voiture `a vitesse c sur une route parall`ele `a la voie ferree) voit toujours
la meme partie du train: si il le lme, il aura toujours la meme image. Si lobservateur
se deplace moins vite que le train (c
p
< c), il verra deler le train `a la vitesse c c
p
: si il
le lme, il en aura toute lhistoire, mais au ralenti. Finalement, sil se deplace plus vite
que le train (c
p
> c), il verra le train deler, mais en sens inverse, `a la vitesse c c
p
< 0:
si il le lme, il en aura aussi toute lhistoire mais en sens inverse (depuis le dernier wagon
jusqu`a la locomotive). Tout ceci est evident mais neanmoins illustratif de la methode
des caracteristiques appliquee `a un tel probl`eme. On reportera utilement tous les cas de
trajectoire dobservateur consideres ci-dessus dans un diagramme (x, t) et on comprendra
encore plus clairement le concept et la methode des caract eristiques (exercice).
Fig. 2: Cas avec c constant. La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
.
Pour le cas y < 0, on prend le signe negatif:
du = u
0
dx

s
2
x
2
(44)
et donc, nalement:
u(x, y) = f
_
_
x
2
+ y
2
_
u
0
_
arcsin
_
x
_
x
2
+ y
2
_


2
_
. (45)
2.2.2 Equation de transport
On consid`ere ensuite un probl`eme unidimensionel et qui depend du temps: donc un probl`eme
(x, t). Lexemple le plus classique est lequation de transport (aussi appelee equation de convec-
tion):
c
u
x
+
u
t
= 0 (46)
c ayant la dimension physique dune vitesse. On a donc que P = c, Q = 1 et R = 0. Comme
R = 0, cette EDP conserve u le long de chaque caracteristique. La direction des caracteristiques
est ici obtenue comme dx = c dt. En toute generalite, on aura que c = c(x, t, u); dans le cas
lineaire, on aura que c = c(x, t).
On consid`ere un domaine ouvert (i.e. non borne) et le probl`eme de Cauchy deni en
condition initiale: la courbe est donc x(s) = s et t(s) = 0; elle est admissible car elle est
non-parall`ele, en chacun de ses points, ` a la direction caracteristique et elle ne coupe chaque
caracteristique quune seule fois. On y specie la fonction:
u(x(s), t(s)) = u(s, 0) = f(s) (47)
LFSAB1103 - Mathematiques 3, partie EDP 12
donne.
On consid`ere dabord le cas c constant: il correspond ` a lequation de convection ` a vitesse
constante. Dans ce cas, toutes les courbes caracteristiques sont des droites parall`eles, voir
Fig. 2. En eet, lintegration donne
_
x
s
dx

= c
_
t
0
dt

x s = c t , (48)
ce qui est bien un reseau de droites. La solution de lEDP est obtenue comme
u(x, t) = f(s) = f(x c t) . (49)
La fonction initiale est donc simplement transportee (convectee) `a vitesse constante c, voir
Fig. 2. A noter que la solution est aussi obtenue pour des temps negatifs: u(x, t) est ici obtenu
pour tous les x et pour tous les temps.
Considerons aussi le taux de variation de u pour un observateur se deplacant selon une loi
x
p
(t) donnee. Ce quil per coit comme variation de u sera
d
dt
u(x
p
(t), t) =
u
x
dx
p
dt
+
u
t
. (50)
Comparons avec lEDP: il apparat que si lobservateur se deplace exactement ` a la vitesse c, il
nobservera aucun changement de u: u demeure inchange pour un observateur se depla cant le
long dune caracteristique.
Considerons lexemple dun train se deplacant ` a vitesse c constante. Un observateur qui
ne se deplace pas (c
p
=
dx
p
dt
= 0; par exemple, un observateur dans le pre avoisinant la voie
ferree) voit passer tout le train, et ce ` a la vitesse c: si il le lme avec une camera, il en aura
toute lhistoire (depuis la locomotive jusquau dernier wagon). Par contre, un observateur se
deplacant exactement `a la vitesse du train (c
p
=
dx
p
dt
= c; par exemple, une personne dans
une voiture ` a vitesse c sur une route parall`ele `a la voie ferree) voit toujours la meme partie
du train: si il le lme, il aura toujours la meme image. Si lobservateur se deplace moins vite
que le train (c
p
< c), il verra deler le train ` a la vitesse c c
p
: si il le lme, il en aura toute
lhistoire, mais au ralenti. Finalement, sil se deplace plus vite que le train (c
p
> c), il verra
le train deler, mais en sens inverse, `a la vitesse c c
p
< 0: si il le lme, il en aura aussi
toute lhistoire mais en sens inverse (depuis le dernier wagon jusqu` a la locomotive). Tout ceci
est evident mais neanmoins illustratif de la methode des caracteristiques appliquee ` a un tel
probl`eme. On reportera utilement tous les cas de trajectoire dobservateur consideres ci-dessus
dans un diagramme (x, t) et on comprendra encore plus clairement le concept et la methode
des caracteristiques (exercice).
A noter aussi que, plutot que de considerer, comme ci-dessus, un probl`eme de Cauchy
deni en condition initiale, (x(s) = s, t(s) = 0 et u(s, 0) = f(s) donne), on peut tout aussi bien
considerer un probl`eme de Cauchy deni en condition limite: x(s) = 0, t(s) = s et u(0, s) = h(s)
donne. Eectivement, ce probl`eme est egalement bien pose puisque laxe du temps nest pas
confondu avec la direction des caracteristiques. Lequation des caracteristiques est obtenue par
integration:
_
x
0
dx

= c
_
t
s
dt

x = c(t s) (51)
et donc aussi s = t x/c. La solution de lEDP est facilement obtenue
u(x, t) = h(s) = h(t x/c) . (52)
LFSAB1103 - Mathematiques 3, partie EDP 13
Ici aussi, la solution est aussi obtenue pour des x negatifs: u(x, t) est ici obtenu pour tous les
x et pour tous les temps t.
Pour le cas c > 0, on peut aussi considerer un probl`eme de Cauchy avec condition initiale
sur un domaine borne ` a gauche: 0 s < . Il faut alors fournir la condition initiale pour tous
les points du domaine (u(s, 0) = f(s) donne pour s 0) ainsi que la condition ` a la limite, sur
le bord du domaine pour tous les temps futurs (u(0, t) = h(t) donne pour t > 0. La solution est
alors aussi obtenue en utilisant le diagramme (x, t) et la methode des caracteristiques (exercice).
Et que se passse-t-il si on consid`ere la fronti`ere x = L? linformation sort simplement du
domaine sur cette fronti`ere; on ne peut imposer aucune condition sur cette fronti`ere: u(L, t)
est compl`etement determine par ce qui vient de la gauche!
Les cas c = c(x, t) sont aussi interessants et facilement integrables. Considerons dabord le
cas c = c(x): du transport dans un milieu non-homog`ene. Les courbes caracteristiques sont
alors obtenues par integration de dx = c(x) dt. On consid`ere, de nouveau, un probl`eme de
Cauchy deni en condition initiale (x(s) = s, t(s) = 0 et u(s, 0) = f(s) donne). Denissant la
primitive
I(x) =
_
x
dx

c(x

)
, (53)
lequation des caracteristiques est alors obtenue sous la forme:
I(x) I(s) = t , (54)
ce qui constitue une relation implicite qui denit le reseau des caracteristiques.
A titre dexemple, considerons le cas c(x) = x/, avec une constante de temps. Les
caracteristiques sont alors obtenues par integration de
_
x
s
dx

=
_
t
0
dt

, (55)
ce qui donne
log
_
x
s
_
=
t

. (56)
Ce resultat est aussi facilement inversible. On obtient
x = s e
t/
. (57)
et donc lorigine s de la caracteristique passant par le point x au temps t est
s = x e
t/
. (58)
Les caracteristiques sont donc des courbes exponentielles, voir Fig. 3. La solution de lEDP
homog`ene (R = 0) pour le probl`eme deni en condition initiale est donc:
u(x, t) = f(s) = f
_
x e
t/
_
, (59)
On constate aussi que la fonction se deforme: son integrale nest pas conservee!
Considerons ensuite le cas c = c(t). Les courbes caracteristiques sont alors obtenues par
integration de dx = c(t) dt. Ce sont des courbes parall`eles: la fonction se deplace donc sans se
deformer. En eet, denissant la primitive
H(t) =
_
t
c(t

) dt

, (60)
LFSAB1103 - Mathematiques 3, partie EDP 14
Classication des EDP 12
!20
!15
!10
!5
0
5
10
15
20
0
1
2
3
4
5
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
4 t/
x/b
u/u
0
Figure 3: Cas avec c = x/. La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
.
et donc lorigine s de la caracteristique passant par le point x au temps t est
s = xe
t/
. (58)
Les caracteristiques sont donc des courbes exponentielles, voir Fig. 3. La solution de
lEDP homog`ene (R = 0) pour le probl`eme deni en condition initiale est donc:
u(x, t) = f(s) = f

xe
t/

, (59)
On constate aussi que la fonction se deforme: son integrale nest pas conservee!
Considerons ensuite le cas c = c(t). Les courbes caracteristiques sont alors obtenues
par integration de dx = c(t) dt. Ce sont des courbes parall`eles: la fonction se deplace
donc sans se deformer. En eet, denissant la primitive
H(t) =

t
c(t

) dt

, (60)
lequation des caracteristiques est obtenue sous la forme:
x s = H(t) H(0) . (61)
A titre dexemple, considerons le cas c(t) = l/(t + ). Les caracteristiques sont obtenues
par integration de

x
s
dx
l
=

t
0
dt

+
, (62)
ce qui donne
(x s)
l
= log

t +

, (63)
Fig. 3: Cas avec c = x/. La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
.
lequation des caracteristiques est obtenue sous la forme:
x s = H(t) H(0) . (61)
A titre dexemple, considerons le cas c(t) = l/(t + ). Les caracteristiques sont obtenues par
integration de
_
x
s
dx
l
=
_
t
0
dt

+
, (62)
ce qui donne
(x s)
l
= log
_
t +

_
, (63)
et donc
s = x l log(1 + t/) . (64)
La solution de lEDP homog`ene pour le probl`eme deni en condition initiale est obtenue comme
u(x, t) = f(s) = f (x l log(1 + t/)) , (65)
voir Fig. 4. On verie bien que la fonction ne se deforme pas, mais quelle se deplace ` a vitesse
non constante.
2.2.3 Equation de transport sous forme conservative
Une autre classe interessante est lequation de transport ecrite sous forme conservative:

x
(c u) +
u
t
= 0 , (66)
LFSAB1103 - Mathematiques 3, partie EDP 15
Classication des EDP 13
!5
!4
!3
!2
!1
0
1
2
3
4
5
6
7
0
1
2
3
4
5
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
t/
x/b
u/u
0
Figure 4: Cas avec c = l/(t + ). La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
et on a
aussi l/b = 1.
et donc
s = x l log(1 + t/) . (64)
La solution de lEDP homog`ene pour le probl`eme deni en condition initiale est obtenue
comme
u(x, t) = f(s) = f (x l log(1 + t/)) , (65)
voir Fig. 4. On verie bien que la fonction ne se deforme pas, mais quelle se deplace `a
vitesse non constante.
2.2.3 Equation de transport sous forme conservative
Une autre classe interessante est lequation de transport ecrite sous forme conservative:

x
(c u) +
u
t
= 0 , (66)
avec, en toute generalite, c = c(x, t, u).
Avant de proceder plus avant, remarquons que, pour les cas c constant et c = c(t), il
ny a aucune dierence avec le cas precedent,
c
u
x
+
u
t
= 0 . (67)
Il nen est cependant pas de meme pour les autres cas!
On consid`ere, de nouveau, le probl`eme de Cauchy deni en condition intiale. On
consid`ere, soit un domaine non borne (i.e., ouvert, avec u 0 lorsque x ), soit
un domaine periodique de periode L (u(x, t) = u(x + L, t)).
Fig. 4: Cas avec c = l/(t +). La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
et on a aussi l/b = 1.
avec, en toute generalite, c = c(x, t, u).
Avant de proceder plus avant, remarquons que, pour les cas c constant et c = c(t), il ny a
aucune dierence avec le cas precedent,
c
u
x
+
u
t
= 0 . (67)
Il nen est cependant pas de meme pour les autres cas!
On consid`ere, de nouveau, le probl`eme de Cauchy deni en condition intiale. On consid`ere,
soit un domaine non borne (i.e., ouvert, avec u 0 lorsque x ), soit un domaine
periodique de periode L (u(x, t) = u(x + L, t)).
Lequation sous forme conservative est telle que lintegrale de u est conservee. En eet, en
integrant lEDP et en supposant que la fonction u(x, t) demeure continue (on verra plus tard
ce quil en est pour le cas avec discontinuite), on obtient que
d
dt
__
b
a
u dx
_
=
_
b
a
u
t
dx =
_
b
a

x
(c u) dx = [c u]
b
a
= 0 (68)
o` u a = et b = pour un domaine non borne, et a = 0, b = L pour un domaine
periodique. Cest donc souvent ce type dequation quon rencontre en physique: en eet, la
plupart des phenom`enes physiques de transport sont tels que la quantite globale de u (i.e., son
integrale) est conservee.
Il est clair, par contre, que u nest plus conserve le long des caracteristiques. En eet, la
forme developpee de lEDP est:
c
u
x
+
u
t
=
c
x
u . (69)
Le long des caracteristiques (obtenues par integration de dx = c dt), la variation de u est donc
regie par du = u
c
x
dt ou, de fa con equivalente, par c du = u
c
x
dx.
LFSAB1103 - Mathematiques 3, partie EDP 16
On consid`ere le cas de transport au travers dun milieu non-homog`ene: c = c(x). Le
reseau des caracteristiques est alors obtenu par integration de
dx
c(x)
= dt: idem qu` a la section
precedente. Pour la variation de u le long de chaque caracteristique, on obtient
du
u
=
dc
dx
dx
c
=
dc
c
d(cu) = 0 . (70)
On constate donc que cest cu qui est conserve le long de chaque caracteristique! Lintegration
donne
log
_
u(x, t)
u(s, 0)
_
= log
_
c(x)
c(s)
_
c(x) u(x, t) = c(s) u(s, 0) (71)
et donc, nalement,
u(x, t) =
c(s)
c(x)
u(s, 0) =
c(s)
c(x)
f(s) . (72)
Pour terminer, il reste simplement ` a exprimer s en fonction de x et de t: pour ce faire, on
utilise lequation des caracteristiques.
Une autre facon, tout aussi simple, dobtenir ce resultat est de multiplier lEDP par c(x).
La fonction v denie par v(x, t) c(x) u(x, t) satisfait alors lEDP
c
v
x
+
v
t
= 0 . (73)
On a donc que v = cu est conserve le long des caracteristiques:
v(x, t) = v(s, 0) c(x) u(x, t) = c(s) u(s, 0) = c(s) f(s) (74)
ce qui correspond bien au meme resultat que ci-dessus.
Finalement, on note aussi que lEDP en forme conservative et avec c = c(x) ne conserve pas
lenergie (i.e., lintegrale
_
b
a
u
2
/2 dx). On obtient (exercice):
d
dt
__
b
a
u
2
2
dx
_
=
_
b
a
dc
dx
u
2
2
dx . (75)
On verie par contre (exercice) que
_
b
a
c(x) u
2
/2 dx est conserve.
A titre dexemple, considerons de nouveau le cas avec c(x) = x/. Lequation des car-
acteristiques a dej`a ete obtenue: s = x e
t/
. On obtient donc
v(x, t) =
s

f(s) =
x e
t/

f
_
x e
t/
_
(76)
et, nalement,
u(x, t) =
v(x, t)
c(x)
= e
t/
f
_
x e
t/
_
. (77)
On verie aisement que la solution conserve eectivement lintegrale de u:
_

u dx =
_

f
_
x e
t/
_
e
t/
dx =
_

f(s) ds . (78)
LFSAB1103 - Mathematiques 3, partie EDP 17
Classication des EDP 15
!20
!15
!10
!5
0
5
10
15
20
0
1
2
3
4
5
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
4 t/
x/b
u/u
0
Figure 5: Cas conservatif avec c = x/. La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
.
On verie par contre (exercice) que

b
a
c(x) u
2
/2 dx est conserve.
A titre dexemple, considerons de nouveau le cas avec c(x) = x/. Lequation des
caracteristiques a dej`a ete obtenue: s = xe
t/
. On obtient donc
v(x, t) =
s

f(s) =
xe
t/

xe
t/

(76)
et, nalement,
u(x, t) =
v(x, t)
c(x)
= e
t/
f

xe
t/

. (77)
On verie aisement que la solution conserve eectivement lintegrale de u:

u dx =

xe
t/

e
t/
dx =

f(s) ds . (78)
Un autre exemple correspond au cas dun milieu non-homog`ene avec un puit de vitesse:
c(x) = c
max

(c
max
c
min
)
(1 + x
2
/a
2
)
=
(c
min
+ c
max
x
2
/a
2
)
(1 + x
2
/a
2
)
. (79)
On obtient le reseau des caracteristiques sous la forme I(x)I(s) = t, relation (implicite,
donc `a resoudre numeriquement!) qui permet dobtenir, pour tout x et t, lorigine s
correspondante et donc de construire le reseau des caract eristiques, voir Fig. 6. Le cas
dune fonction gaussienne passant au travers du puit de vitesse et ressortant de lautre
cote est illustre `a la Fig. 7: la fonction conserve bien son integrale; de plus, elle ressort
ici inchangee.
Fig. 5: Cas conservatif avec c = x/. La condition initiale est u(s, 0) = u
0
e
s
2
/b
2
.
Un autre exemple correspond au cas dun milieu non-homog`ene avec un puit de vitesse:
c(x) = c
max

(c
max
c
min
)
(1 + x
2
/a
2
)
=
(c
min
+ c
max
x
2
/a
2
)
(1 + x
2
/a
2
)
. (79)
On obtient le reseau des caracteristiques sous la forme I(x) I(s) = t, relation (implicite, donc
` a resoudre numeriquement!) qui permet dobtenir, pour tout x et t, lorigine s correspondante
et donc de construire le reseau des caracteristiques, voir Fig. 6. Le cas dune fonction gaussienne
passant au travers du puit de vitesse et ressortant de lautre cote est illustre `a la Fig. 7: la
fonction conserve bien son integrale; de plus, elle ressort ici inchangee.
2.2.4 Equation de tranport: cas non-lineaire
Les cas non-lineaires sont ceux pour lesquels c depend de u. Une sous-classe interessante est
c = c(u). En forme non conservative, cela donne
c(u)
u
x
+
u
t
= 0 . (80)
Considerons, de nouveau, un probl`eme de Cauchy deni en condition initiale (x(s) = s, t(s) = 0,
u(s, 0) = f(s) donne). Les caracteristiques sont donc obtenues par integration de
dx = c(u(x, t)) dt (81)
Cela parat complique... Mais ca ne lest pas. En eet, puisque u est conserve le long de
chaque caracteristique (car lEDP est homog`ene), il resulte que c = c(u) est aussi conserve le
long de chaque caracteristique. Il en ressort que les caracteristiques sont des droites! Ce sont
simplement des droites dont la pente depend de la valeur de u(s, 0) = f(s) donne initialement.
LFSAB1103 - Mathematiques 3, partie EDP 18
Classication des EDP 16
!80 !60 !40 !20 0 20 40 60
0
20
40
60
80
100
120
10 c
max
t/a
10 x/a
Figure 6: Cas conservatif avec puit de vitesse. Reseau des caracteristiques pour le cas
c
min
/c
max
= 1/4.
!60
!40
!20
0
20
40
60
0
50
100
0
0.5
1
1.5
2
2.5
3
3.5
4
10 c
max
t/a
10 x/a
u/u
0
Figure 7: Cas conservatif avec puit de vitesse. La condition initiale est u(s, 0) =
u
0
e
(ssc)
2
/b
2
et on a aussi s
c
/a = 4 et b/a = 1/2.
Fig. 6: Cas conservatif avec puit de vitesse. Reseau des caracteristiques pour le cas c
min
/c
max
=
1/4.
Classication des EDP 16
!80 !60 !40 !20 0 20 40 60
0
20
40
60
80
100
120
10 c
max
t/a
10 x/a
Figure 6: Cas conservatif avec puit de vitesse. Reseau des caracteristiques pour le cas
c
min
/c
max
= 1/4.
!60
!40
!20
0
20
40
60
0
50
100
0
0.5
1
1.5
2
2.5
3
3.5
4
10 c
max
t/a
10 x/a
u/u
0
Figure 7: Cas conservatif avec puit de vitesse. La condition initiale est u(s, 0) =
u
0
e
(ssc)
2
/b
2
et on a aussi s
c
/a = 4 et b/a = 1/2.
Fig. 7: Cas conservatif avec puit de vitesse. La condition initiale est u(s, 0) = u
0
e
(ss
c
)
2
/b
2
et
on a aussi s
c
/a = 4 et b/a = 1/2.
LFSAB1103 - Mathematiques 3, partie EDP 19
Une dierence notoire avec le cas des lEDP lineaires est que le reseau des caracteristiques
depend ici de la condition initiale du probl`eme: ` a chaque u(s, 0) = f(s) donne correspondra un
reseau particulier de caracteristiques.
A noter que la forme conservative de lEDP est aussi facilement obtenue. Denissant la
primitive g(u) =
_
u
c(u

) du

, on obtient

x
(g(u)) +
u
t
= 0 . (82)
Il y a, en fait, deux types de zone: 1) Les zones dites dexpansion: ce sont les zones avec c
fonction croissante de x; elles sont donc telles que la pente de la caracteristique en x + dx est
plus grande que celle en x: les caracteristiques ne se croisent pas et la solution est reguli`ere: la
fonction subit une expansion. 2) Les zones dites de compression: ce sont les zones avec c fonction
decroissante de x; elles sont donc telles que la pente de la caracteristique en x + dx est plus
petite que celle en x: les caracteristiques se croisent. La fonction subit une compression. Apr`es
un certain temps ni, la solution deviendra discontinue: londe de compression est alors appelee
onde de discontinuite (ou onde de choc). On consultera aussi utilement, pour de plus amples
informations, le livre de R. Haberman, Elementary Applied Partiel Dierential Equations, aux
pages 546 ` a 562.
Pour la suite, on consid`ere le cas le plus classique de ce type dequation: lequation de
Burgers. Elle correspond ` a c(u) = u (la fonction u a donc ici aussi les dimensions dune vitesse!):
u
u
x
+
u
t
= 0 , (83)
ou, de fa con equivalente,

x
_
u
2
2
_
+
u
t
= 0 . (84)
On consid`ere soit un domaine non borne (a = et b = ), soit un domaine periodique
(a = 0, b = L). On consid`ere aussi un probl`eme de Cauchy deni en condition initiale:
u(s, 0) = f(s) donne.
En labsence de discontinuite, on a conservation de lintegrale de u. En eet,
d
dt
__
b
a
u dx
_
=
_
b
a
u
t
dx =
_
b
a

x
_
u
2
2
_
dx =
_
u
2
2
_
b
a
= 0 . (85)
On a aussi conservation de lenergie: lintegrale de u
2
/2. En eet, en multipliant lEDP par u,
on obtient:
u
2
u
x
+ u
u
t
= 0 , (86)
et donc

x
_
u
3
3
_
+

t
_
u
2
2
_
= 0 , (87)
et donc:
d
dt
__
b
a
u
2
2
dx
_
=
_
b
a

t
_
u
2
2
_
dx =
_
b
a

x
_
u
3
3
_
dx =
_
u
3
3
_
b
a
= 0 . (88)
Quen est-il lorsque la fonction devient discontinue? On examinera cela plus loin.
LFSAB1103 - Mathematiques 3, partie EDP 20
Classication des EDP 19
!5 !4 !3 !2 !1 0 1 2 3 4 5
0
1
2
3
4
5
6
7
8
9
10
t u
0
/b
x/b
Figure 8: Equation de Burgers. Reseau des caracteristiques pour la condition initiale
u(s, 0) = u
0
e
s
2
/b
2
. Trajectoire de la discontinuite en train epais; le temps critique est
ici t

u
0
/b =

e/2 = 1.1658 .
!5
!4
!3
!2
!1
0
1
2
3
4
5
0
2
4
6
8
10
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
t u
0
/b
x/b
u/u
0
Figure 9: Solution de lequation de Burgers.
Fig. 8: Equation de Burgers. Reseau des caracteristiques pour la condition initiale u(s, 0) =
u
0
e
s
2
/b
2
. Trajectoire de la discontinuite en train epais; le temps critique est ici t

u
0
/b =
_
e/2 = 1.1658 .
Les caracteristiques de lequation de Burgers sont obtenues `a partir de dx = u(x, t) dt. De
plus, on a que u est conserve le long de chaque caracterique: u(x, t) = u(s, 0) = f(s). Il resulte
donc que dx = f(s) dt. Lintegration donne alors le reseau des caracteristiques:
_
x
s
dx

= f(s)
_
t
0
dt

x s = f(s) t . (89)
Ce sont bien des droites.
La solution de lequation de Burgers est donc nalement obtenue: u(x, t) = f(s) avec s
correspondant ` a la caracteristique passant par (x, t) (et obtenue `a partir de x = s +f(s) t: une
relation implicite `a resoudre, soit numeriquement soit graphiquement).
On notera aussi que la solution peut secrire sous la forme: u(x, t) = f(x u(x, t) t) (une
relation implicite quil faut aussi resoudre par voie numerique). On verie eectivement, par
introduction directe dans lEDP et utilisation des derivees en chane, que cette solution satisfait
eectivement lequation de Burgers (exercice).
Le cas dun probl`eme de Cauchy correspondant initialement ` a une fonction gaussienne est
presente aux Figs. 8 et 9: reseau des caracteristiques et solution. On y constate eectivement
lapparition dune discontinuite. Le temps critique, t

, pour lapparition de la discontinuite


correspond au minimum de 1/(df/ds). En eet, lequation de la caracteristique emanant
dun point s est
x = s + f(s) t . (90)
Lequation de la caracteristique emanant du point voisin, s + ds (donc inniment proche), est
x = s + ds + f(s + ds) t = s + ds + f(s) t + ds
df
ds
(s) t . (91)
LFSAB1103 - Mathematiques 3, partie EDP 21
Classication des EDP 19
!5 !4 !3 !2 !1 0 1 2 3 4 5
0
1
2
3
4
5
6
7
8
9
10
t u
0
/b
x/b
Figure 8: Equation de Burgers. Reseau des caracteristiques pour la condition initiale
u(s, 0) = u
0
e
s
2
/b
2
. Trajectoire de la discontinuite en train epais; le temps critique est
ici t

u
0
/b =

e/2 = 1.1658 .
!5
!4
!3
!2
!1
0
1
2
3
4
5
0
2
4
6
8
10
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
t u
0
/b
x/b
u/u
0
Figure 9: Solution de lequation de Burgers.
Fig. 9: Solution de lequation de Burgers.
Dans la zone de compression, ces caracteristiques se croisent lorsque x est le meme, ce qui
donne:
s + f(s) t = s + ds + f(s) t + ds
df
ds
(s) t , (92)
et donc
0 = ds
_
1 +
df
ds
(s) t
_
. (93)
Le temps de croisement de deux caracteristiques voisines est donc ni! Il correspond `a t =
1/
df
ds
. Le temps critique pour lapparition de la discontinuite correspond simplement au plus
petit des temps de croisement possible, donc au minimum de 1/
df
ds
. Cette fonction est mini-
mum lorsque
d
2
f
ds
2
sannule. En eet,
d
ds
_

1
df
ds
_
=
1
_
df
ds
_
2
d
2
f
ds
2
. (94)
Dans le cas avec discontinuite, on denit les valeurs de u ` a gauche et ` a droite de la discon-
tinuite comme u
g
et u
d
(avec, bien s ur, u
g
> u
d
). On montre aussi (voir livre de Haberman)
que la discontinuite x
c
(t) se deplace `a la vitesse moyenne:
dx
c
dt
=
1
2
(u
g
+ u
d
). La pente de la
trajectoire de la discontinuite dans le diagramme (x, t) est donc la moyenne entre la pente de
la caracteristique de gauche,
dx
dt
= u
g
, et la pente de la caracteristique de droite,
dx
dt
= u
d
, voir
Fig. 8. Le cas u
d
= u
g
correspond au cas dune discontinuite stationnaire.
Pour examiner les lois de conservation, on doit tenir compte du fait que la fonction est
discontinue et que la discontinuite se deplace: on doit donc utiliser la r`egle de Leibnitz pour la
LFSAB1103 - Mathematiques 3, partie EDP 22
Classication des EDP 20
0 1.1658 2 4 6 8 10
0.2
0.4
0.6
0.8
1
1.2
1.4
1.6
1.8
t u
0
/b
Figure 10: Equation de Burgers: evolution de lintegrale de u et de lintegrale de u
2
/2.
et donc
0 = ds

1 +
df
ds
(s) t

. (93)
Le temps de croisement de deux caracteristiques voisines est donc ni! Il correspond `a
t = 1/
df
ds
. Le temps critique pour lapparition de la discontinuite correspond simplement
au plus petit des temps de croisement possible, donc au minimum de 1/
df
ds
. Cette
fonction est minimum lorsque
d
2
f
ds
2
sannule. En eet,
d
ds

1
df
ds

=
1

df
ds

2
d
2
f
ds
2
. (94)
Dans le cas avec discontinuite, on denit les valeurs de u `a gauche et `a droite de la
discontinuite comme u
g
et u
d
(avec, bien s ur, u
g
> u
d
). On montre aussi (voir livre de
Haberman) que la discontinuite x
c
(t) se deplace `a la vitesse moyenne:
dxc
dt
=
1
2
(u
g
+ u
d
).
La pente de la trajectoire de la discontinuite dans le diagramme (x, t) est donc la moyenne
entre la pente de la caracteristique de gauche,
dx
dt
= u
g
, et la pente de la caracteristique
de droite,
dx
dt
= u
d
, voir Fig. 8. Le cas u
d
= u
g
correspond au cas dune discontinuite
stationnaire.
Pour examiner les lois de conservation, on doit tenir compte du fait que la fonction est
discontinue et que la discontinuite se deplace: on doit donc utiliser la r`egle de Leibnitz
pour la derivation des integrales. On obtient alors, pour lintegrale de la fonction:
d
dt

xc(t)
a
u dx +

b
xc(t)
u dx

xc
a
u
t
dx + u
g
dx
c
dt
+

b
xc
u
t
dx u
d
dx
c
dt
=

xc
a

u
2
2

dx

b
xc

u
2
2

dx + (u
g
u
d
)
dx
c
dt
Fig. 10: Equation de Burgers: evolution de lintegrale de u et de lintegrale de u
2
/2.
derivation des integrales. On obtient alors, pour lintegrale de la fonction:
d
dt
_
_
x
c
(t)
a
u dx +
_
b
x
c
(t)
u dx
_
=
_
x
c
a
u
t
dx + u
g
dx
c
dt
+
_
b
x
c
u
t
dx u
d
dx
c
dt
=
_
x
c
a

x
_
u
2
2
_
dx
_
b
x
c

x
_
u
2
2
_
dx + (u
g
u
d
)
dx
c
dt
=
_
u
2
2
_
x
c
a

_
u
2
2
_
b
x
c
+ (u
g
u
d
)
(u
g
+ u
d
)
2
=
_
u
2
g
u
2
d
_
2
+
_
u
2
g
u
2
d
_
2
= 0 . (95)
Donc, meme en presence dune discontinuite, lintegrale de la fonction est conservee: on le voit
aussi sur la Fig. 10.
LFSAB1103 - Mathematiques 3, partie EDP 23
Quant `a lintegrale du carre de la fonction (i.e., lenergie), elle decrot. En eet, on obtient:
d
dt
_
_
x
c
(t)
a
u
2
2
dx +
_
b
x
c
(t)
u
2
2
dx
_
=
_
x
c
a

t
_
u
2
2
_
dx +
u
2
g
2
dx
c
dt
+
_
b
x
c

t
_
u
2
2
_
dx
u
2
d
2
dx
c
dt
=
_
x
c
a

x
_
u
3
3
_
dx
_
b
x
c

x
_
u
3
3
_
dx +
_
u
2
g
u
2
d
_
2
dx
c
dt
=
_
u
3
3
_
x
c
a

_
u
3
3
_
b
x
c
+
_
u
2
g
u
2
d
_
2
(u
g
+ u
d
)
2
=
_
u
3
g
u
3
d
_
3
+
_
u
2
g
u
2
d
_
2
(u
g
+ u
d
)
2
=
(u
g
u
d
)
3
_
u
2
g
+ u
g
u
d
+ u
2
d
_
+
(u
g
u
d
)
4
(u
g
+ u
d
)
2
=
(u
g
u
d
)
12
_
4
_
u
2
g
+ u
g
u
d
+ u
2
d
_
3
_
u
2
g
+ 2u
g
u
d
+ u
2
d
_
=
(u
g
u
d
)
12
_
u
2
g
2u
g
u
d
+ u
2
d
_
=
(u
g
u
d
)
3
12
< 0 . (96)
Donc, en presence dune discontinuite, lenergie diminue, et ce ` a un taux qui est determine par
les valeurs de u de part et dautre de la discontinuite, voir Fig. 10.
En resume: tant quil ny a pas de discontinuite, lenergie est conserve et le probl`eme de
Burgers est reversible: on peut retourner en arri`ere dans le temps! D`es quil y a discontinuite,
il y a dissipation denergie et le probl`eme nest plus reversible.
Tout ceci est profond de sens. En eet, meme si lequation de Burgers nest quune equation
non-lineaire mod`ele, elle est representative de ce qui se passe pour de vrais syst`emes physiques
non-lineaires. Par exemple, si on consid`ere la dynamique des ecoulements compressibles de u-
ides parfaits (i.e., sans viscosite et sans conductibilite thermique: ce quon appelle les equations
dEuler de la dynamique des gaz), on obtient ceci: tant quil ny a pas de discontinuite, tout est
reversible: la quantite de mouvement et lenergie sont conserves; d`es quil y a une discontinuite
(ce quon appelle une onde de choc), il a perte de reversibilite: la quantite de mouvement est
encore conservee mais lenergie decrot.
2.3 Discussion sur les conditions aux limites
Considerons ` a nouveau lequation de transport, mais sur un domaine borne `a gauche: 0
s < . Peut-on imposer la fonction u en 0? Cela depend de la pente de la caracteristique
locale. Si la caracteristique est sortante (i.e., que dx/dt < 0), linformation vient de la droite: la
fonction u se deplace de la droite vers la gauche; on ne peut donc pas limposer car sa valeur est
determinee par linterieur du domaine. Si la caracteristique est entrante (i.e., que dx/dt > 0),
linformation vient de la gauche: la fonction u se deplace de la gauche vers la droite; on doit
donc donner u(0, t) = h(t) pour t > 0. Cest eectivement ce quon a dej` a fait precedemment.
Tous les autres cas sont similaires: il sut dexaminer la direction relative de la car-
acteristique locale par rapport `a une fronti`ere pour savoir si on ne peut pas ou bien si on
doit imposer la fonction u en ce point de la fronti`ere.
LFSAB1103 - Mathematiques 3, partie EDP 24
Classication des EDP 39
x
y
0
s
(x(s), y(s))
1
2
u(s), v(s)
caracteristiques
Figure 20: Probl`eme de Cauchy pour syst`eme de deux EDP du 1er ordre.
3.5 Syst`eme dEDP du 1er ordre
On peut facilement generaliser les EDP du 1er ordre `a des syst`emes dEDP. Considerons,
par exemple, le syst`eme quasi-lineaire de deux EDP du premier ordre pour les fonctions
u et v:
M
1
u
x
+ N
1
u
y
+ P
1
v
x
+ Q
1
v
y
= R
1
,
M
2
u
x
+ N
2
u
y
+ P
2
v
x
+ Q
2
v
y
= R
2
, (173)
o` u M
1
, N
1
, P
1
, Q
1
, R
1
, M
2
, N
2
, P
2
, Q
2
, R
2
sont, au plus, fonctions de x, y, u et v. Pour
le probl`eme de Cauchy, les valeurs u(s) et v(s) sont donnees le long de la courbe , voir
Fig. 20.
Comme u(s) et v(s) sont donnes le long de , on a que
du
ds
et
dv
ds
sont aussi connus.
On peut donc ecrire:
u
x
dx
ds
+
u
y
dy
ds
=
du
ds
,
v
x
dx
ds
+
v
y
dy
ds
=
dv
ds
, (174)
ce qui, avec les deux EDP donne le syst`eme:

M
1
N
1
P
1
Q
1
M
2
N
2
P
2
Q
2
dx
ds
dy
ds
0 0
0 0
dx
ds
dy
ds

u
x
u
y
v
x
v
y

R
1
R
2
du
ds
dv
ds

. (175)
Fig. 11: Probleme de Cauchy pour lEDP du 2`eme ordre.
3 EDP du 2`eme ordre
Considerons LEDP quasi-lineaire la plus generale du 2`eme ordre et ` a deux variables independantes,
x et y. Elle est de la forme:
A

2

x
2
+ B

2

xy
+ C

2

y
2
= R (97)
o` u A, B, C et R sont, au plus, fonctions de x, y, ,

x
et

y
. Cette EDP est eectivement
quasi-lineaire puisquelle est lineaire par rapport aux derivees de plus haut ordre. On peut
toujours decomposer R sous la forme R = F + G, avec F fonction, au plus, de x et y. LEDP
est homog`ene lorsque F = 0. Le cas R = 0 est donc aussi homog`ene.
Quant `a lEDP lineaire du 2`eme ordre et ` a deux variables independantes, sa forme generale
est:
A

2

x
2
+ B

2

xy
+ C

2

y
2
+ P

x
+ Q

y
+ G = F . (98)
o` u A, B, C, P, Q, G et F sont, au plus, fonctions de x et y. LEDP est homog`ene lorsque
F = 0.
3.1 Probl`eme de Cauchy et methode des caracteristiques
Soit une EDP du 2`eme ordre, lineaire ou quasi-lineaire. Supposons que (s) et

n
(s) sont
donnes le long de la courbe parametrisee (x(s), y(s)), avec n(s) la direction normale ` a la
courbe, voir Fig. 11. Peut-on obtenir la solution u au voisinage de la courbe ? Si oui, on
pourra repeter la procedure en partant de la courbe voisine, etc., et donc obtenir (du moins en
principe) la solution (x, y) dans le domaine. Cest le probl`eme de Cauchy.
Puisque (s) est connu,

s
(s) lest aussi. Autrement dit, (s) et (s) =
_

x
(s),

y
(s)
_
sont connus le long de . Donc,
d
ds
_

x
_
et
d
ds
_

y
_
sont aussi connus le long de . On peut
LFSAB1103 - Mathematiques 3, partie EDP 25
donc ecrire:

x
_

x
_
dx
ds
+

y
_

x
_
dy
ds
=
d
ds
_

x
_
, (99)

x
_

y
_
dx
ds
+

y
_

y
_
dy
ds
=
d
ds
_

y
_
. (100)
Il en resulte, avec lEDP, et puisque

2

yx
=

2

xy
, le syst`eme:
_
_
A B C
dx
ds
dy
ds
0
0
dx
ds
dy
ds
_
_
_
_
_

x
2

xy

y
2
_
_
_
=
_
_
_
R
d
ds
_

x
_
d
ds
_

y
_
_
_
_
. (101)
Tant que le determinant ne sannule pas, on peut resoudre ce syst`eme et donc obtenir, le long
de ,

2

x
2
,

2

xy
et

2

y
2
. Cela permet dobtenir ,

x
et

y
dans le voisinage de la courbe . On
utilise, pour ce faire, les relations dierentielles:
(x + dx, y + dy) = (x, y) + dx

x
(x, y) + dy

y
(x, y) , (102)

x
(x + dx, y + dy) =

x
(x, y) + dx

x
_

x
_
(x, y) + dy

y
_

x
_
(x, y) , (103)
et

y
(x + dx, y + dy) =

y
(x, y) + dx

x
_

y
_
(x, y) + dy

y
_

y
_
(x, y) . (104)
On peut ainsi se propager hors de la courbe et donc construire la solution de lEDP.
Ceci, bien s ur, ne fonctionne que si le determinant ne sannule pas. Le probl`eme nest donc
bien pose que si la courbe est telle que le determinant ne sannule en aucun de ses points.
Pour la suite, on consid`ere donc un probl`eme bien pose. Considerons cette fois des directions
(dx, dy) non parall`eles `a . Considerant lEDP et les variations de

x
et de

y
,

x
_

x
_
dx +

y
_

x
_
dy = d
_

x
_
, (105)

x
_

y
_
dx +

y
_

y
_
dy = d
_

y
_
. (106)
on obtient le syst`eme
_
_
A B C
dx dy 0
0 dx dy
_
_
_
_
_

x
2

xy

y
2
_
_
_
=
_
_
_
R
d
_

x
_
d
_

y
_
_
_
_
. (107)
On trouve alors, en tout point de , deux directions particuli`eres (dx, dy) telles que le determinant

A B C
dx dy 0
0 dx dy

(108)
LFSAB1103 - Mathematiques 3, partie EDP 26
sannule. Ces directions caracteristiques sont donc obtenues comme les racines de
Ady
2
Bdy dx + C dx
2
= 0 , (109)
que lon ecrit aussi comme
A
_
dy
dx
_
2
B
dy
dx
+ C = 0 (110)
ou bien comme (choisir selon que A ou C serait eventuellement nul)
C
_
dx
dy
_
2
B
dx
dy
+ A = 0 . (111)
LEDP est dite hyperbolique lorsque cette quadratique a eectivement deux racines reelles dis-
tinctes: on a donc deux directions caracteristiques distinctes. La condition dhyperbolicite est
donc que B
2
4AC > 0. LEDP est dite parabolique lorsquil y a une seule racine: cas o` u
B
2
4AC = 0. Finalement, LEDP est dite elliptique lorsquil ny a pas de racine relle (les
racines sont complexes): cas o` u B
2
4AC < 0.
On consid`ere ici, pour la suite, le cas dune EDP hyperbolique. On peut alors reduire lEDP
` a deux EDO (une EDO le long de chaque caracteristique) et donc utiliser une methode des car-
acteristiques. En eet, bien que le determinant du systeme sannule le long des caracteristiques,
le syst`eme est encore soluble le long de ces caracteristiques ` a condition que le determinant
forme en remplacant une des colonnes de la matrice par le membre de droite sannule egalement
(cfr. resultats des cours dalg`ebre lineaire). Choisissons de remplacer la colonne du milieu; cela
donne:

A R C
dx d
_

x
_
0
0 d
_

y
_
dy

= 0 . (112)
Cela donne
A d
_

x
_
dy + C d
_

y
_
dx = Rdy dx . (113)
Ces relations dierentielles (il y en a une pour chaque caracteristique!) constituent les EDO qui
determinent les variations de

x
et de

y
le long des caracteristiques. On peut donc developper
une methode des caracteristiques pour construire la solution en dehors de la courbe . Le long
de la caracteristique (dx
1
, dy
1
), la relation de compatibilite est
A d
_

x
_
dy
1
+ C d
_

y
_
dx
1
= Rdy
1
dx
1
. (114)
Le long de la caracteristique (dx
2
, dy
2
), elle est
A d
_

x
_
dy
2
+ C d
_

y
_
dx
2
= Rdy
2
dx
2
. (115)
Partant de deux points distincts p
1
et p
2
(voir Fig. 12), on peut integrer ces relations et obtenir

x
et

y
en p
3
. La valeur de en p
3
est alors obtenue `a partir de la relation d =

x
dx+

y
dy.
LFSAB1103 - Mathematiques 3, partie EDP 27
Classication des EDP 26
x
y
0
s
(x(s), y(s))
1
2
p
3
p
1
p
2
Figure 12: Methode des caracteristiques pour EDP hyperbolique du 2`eme ordre.
Le long de la caracteristique (dx
2
, dy
2
), elle est
A d

dy
2
+ C d

dx
2
= Rdy
2
dx
2
. (115)
Partant de deux points distincts p
1
et p
2
(voir Fig. 12), on peut integrer ces relations
et obtenir

x
et

y
en p
3
. La valeur de en p
3
est alors obtenue `a partir de la relation
d =

x
dx +

y
dy.
3.2 Exemple dEDP hyperbolique
Lexemple le plus classique dEDP hyperbolique est lequation donde:
c
2

2

x
2


2

t
2
= 0 (116)
avec c constant (qui a les dimensions dune vitesse). Cest donc un probl`eme unidimen-
sionel et qui depend du temps: un probl`eme (x, t).
On a donc A = c
2
, B = 0 et C = 1, ce qui donne B
2
4AC = 4c
2
> 0. Les
directions caracteristiques (dx, dt) sont les solutions de dx
2
= c
2
dt
2
. Les racines sont
eectivement reelles et distinctes:
dx
dt
= c et
dx
dt
= c. LEDP est bien hyperbolique. De
plus, comme c est ici constant, les caracteristiques forment un reseau regulier de droites
, voir Fig. 13.
On consid`ere dabord le probl`eme aux conditions initiales et en domaine non borne
ou periodique. Les caracteristiques emanant dun point s de ont comme equation
xct = s et x+ct = s. Le probl`eme est bien pose puisque est non parall`ele au reseau
des caracteristiques. On doit y specier (s, 0) = f(s) et

t
(s, 0) = g(s).
Fig. 12: Methode des caracteristiques pour EDP hyperbolique du 2`eme ordre.
3.2 Exemple dEDP hyperbolique
Lexemple le plus classique dEDP hyperbolique est lequation donde:
c
2

2

x
2


2

t
2
= 0 (116)
avec c constant (qui a les dimensions dune vitesse). Cest donc un probl`eme unidimensionel et
qui depend du temps: un probl`eme (x, t).
On a donc A = c
2
, B = 0 et C = 1, ce qui donne B
2
4AC = 4c
2
> 0. Les directions
caracteristiques (dx, dt) sont les solutions de dx
2
= c
2
dt
2
. Les racines sont eectivement reelles
et distinctes:
dx
dt
= c et
dx
dt
= c. LEDP est bien hyperbolique. De plus, comme c est ici
constant, les caracteristiques forment un reseau regulier de droites , voir Fig. 13.
On consid`ere dabord le probl`eme aux conditions initiales et en domaine non borne ou
periodique. Les caracteristiques emanant dun point s de ont comme equation x ct = s et
x+ct = s. Le probl`eme est bien pose puisque est non parall`ele au reseau des caracteristiques.
On doit y specier (s, 0) = f(s) et

t
(s, 0) = g(s).
La relation dierentielle de compatibilite (relation caracteristique) est obtenue ` a partir de

c
2
0 1
dx d
_

x
_
0
0 d
_

t
_
dt

= 0 , (117)
soit
c
2
d
_

x
_
dt d
_

t
_
dx = 0; . (118)
On a donc, le long de la caracteristique
dx
dt
= c, que c d
_

x
_
d
_

t
_
= 0. Ceci peut secrire sous
la forme dune dierentielle exacte: d
_
c

x


t
_
= 0. Il en resulte que c

x


t
est conserve
LFSAB1103 - Mathematiques 3, partie EDP 28
Classication des EDP 27
x
t
0
(0, t) = h(t)
ou

x
(0, t) = h(t)
(s, 0) = f(s) et

t
(s, 0) = g(s)
p
1
p
3
p
2
Figure 13: Equation donde et methode des caracteristiques.
La relation dierentielle de compatibilite (relation caracteristique) est obtenue `a partir
de

c
2
0 1
dx d

0
0 d

dt

= 0 , (117)
soit
c
2
d

dt d

dx = 0; . (118)
On a donc, le long de la caracteristique
dx
dt
= c, que c d

= 0. Ceci peut
secrire sous la forme dune dierentielle exacte: d

c

x


t

= 0. Il en resulte que
c

x


t
est conserve le long de cette caracteristique. De la meme mani`ere, on obtient
que c

x
+

t
est conserve le long de la caracteristique
dx
dt
= c. Ce sont les invariants
de Riemann.
Comme illustration de la methode des caracteristiques, considerons la determination
de la solution au point p
3
, voir Fig. 13. On a que

x


t

p
3
=

x


t

p
1
, (119)

x
+

t

p
3
=

x
+

t

p
2
. (120)
Il en resulte que
c

p
3
=
1
2

p
2
+

p
1

p
2

p
1

, (121)
Fig. 13: Equation donde et methode des caracteristiques.
le long de cette caracteristique. De la meme mani`ere, on obtient que c

x
+

t
est conserve le
long de la caracteristique
dx
dt
= c. Ce sont les invariants de Riemann.
Comme illustration de la methode des caracteristiques, considerons la determination de la
solution au point p
3
, voir Fig. 13. On a que
_
c

x


t
_
p
3
=
_
c

x


t
_
p
1
, (119)
_
c

x
+

t
_
p
3
=
_
c

x
+

t
_
p
2
. (120)
Il en resulte que
c
_

x
_
p
3
=
1
2
_
c
_
_

x
_
p
2
+
_

x
_
p
1
_
+
_
_

t
_
p
2

t
_
p
1
__
, (121)
_

t
_
p
3
=
1
2
_
c
_
_

x
_
p
2

x
_
p
1
_
+
_
_

t
_
p
2
+
_

t
_
p
1
__
. (122)
Quen est-il des conditions fronti`eres si le domaine est borne? Considerons, par exemple,
le cas dun domaine borne ` a gauche: 0 s < , voir Fig. 13. La caracteristique
dx
dt
= c
transmet de linformation de linterieur du domaine vers la fronti`ere. Lautre caracteristique
dx
dt
= c transmet de linformation de la fronti`ere vers le domaine. On doit donc fournir une et
une seule condition limite sur la fronti`ere: soit on specie (0, t) = h(t) pour t > 0 (condition
de Dirichlet), soit on specie

x
(0, t) = h(t) (condition de Neumann). On peut aussi specier
une condition mixte: une relation du type H
_
(0, t),

x
(0, t)
_
= 0.
On constate aussi que lequation donde se factorise sous la forme
_
c

x


t
__
c

x
+

t
_
= 0 . (123)
LFSAB1103 - Mathematiques 3, partie EDP 29
Classication des EDP 29
!10
!5
0
5
10
0
1
2
3
4
5
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
t c/b
x/b
/
0
Figure 14: Equation donde (ici: c = 1). La condition initiale est (s, 0) =
0
e
s
2
/b
2
et

t
(s, 0) = 0.
Un exemple est donne `a la Fig. 13: la moitie de la fonction se deplace vers la droite `a
vitesse c et lautre moitie se deplace vers la gauche `a vitesse c.
Considerons ensuite le probl`eme periodique de conditions initiales (s, 0) =
0
sin(s/L)
(fonction periodique de periode 2L) et

t
(s, 0) = 0. Ici aussi, la solution est telle que la
moitie de la fonction se deplace vers la droite `a vitesse c et que lautre moitie se deplace
vers la gauche `a vitesse c:
(x, t) =

0
2

sin

(x ct)
L

+ sin

(x + ct)
L

. (130)
En utilisant la relation trigonometrique, sina+sin b = 2 cos((ab)/2) sin((a+b)/2), on
reecrit la solution sous la forme
(x, t) =
0
cos

ct
L

sin

x
L

. (131)
Le resultat net est donc aussi que la fonction
0
sin(x/L) ne se deplace pas et que son
amplitude uctue selon cos(t), avec = c/L = la pulsation: cest ce quon appelle
une onde stationnaire. Les noeuds de londe sont en x = nL: ce sont les points qui
restent stationnaires ((nL, t) = 0). Pour rappel, on ecrit aussi cos(t) = cos(2ft) =
cos(2 t/T) avec f la frequence et T = 1/f la periode. La periode de loscillation est
donc ici T = 2L/c.
Comme les noeuds ne bougent pas, on note que la solution obtenue ci-dessus est aussi
la solution pour le probl`eme borne sur le domaine [0, L] et avec comme conditions aux
limites: (0, t) = 0 et (L, t) = 0: penser, par exemple, `a une corde de guitare attachee
aux deux bouts et qui vibre.
Fig. 14: Equation donde (ici: c = 1). La condition initiale est (s, 0) =
0
e
s
2
/b
2
et

t
(s, 0) =
0.
Si on consid`ere le changement de variables (x, t) = x ct et (x, t) = x +ct, on obtient, pour
les relations inverses, x(, ) = ( + )/2 et ct = ( )/2, et donc

=
x

x
+
t

t
=
1
2

x

1
2c

t
=
1
2c
_
c

x


t
_
,

=
x

x
+
t

t
=
1
2

x
+
1
2c

t
=
1
2c
_
c

x
+

t
_
. (124)
Lequation donde devient alors simplement (forme canonique):

=

2

= 0 . (125)
La solution generale est, pour un domaine non borne ou periodique:
= f
1
() + f
2
() = f
1
(x ct) + f
2
(x + ct) . (126)
On a donc aussi:

t
= c f

1
(x ct) + c f

2
(x + ct) = c f

1
() + c f

2
() , (127)
avec la notation f

1
() =
df
1
d
, etc.
Par exemple, considerons le probl`eme non borne de conditions initiales (s, 0) = f(s) et

t
(s, 0) = 0. Cela donne
f
1
(s) + f
2
(s) = f(s) ,
f

1
(s) + f

2
(s) = 0 . (128)
LFSAB1103 - Mathematiques 3, partie EDP 30
La solution est f
1
= f
2
= f/2. On obtient donc, nalement:
(x, t) =
1
2
(f(x ct) + f(c + ct)) =
1
2
(f() + f()) . (129)
Un exemple est donne ` a la Fig. 13: la moitie de la fonction se deplace vers la droite ` a vitesse c
et lautre moitie se deplace vers la gauche ` a vitesse c.
Considerons ensuite le probl`eme periodique de conditions initiales (s, 0) =
0
sin(s/L)
(fonction periodique de periode 2L) et

t
(s, 0) = 0. Ici aussi, la solution est telle que la moitie
de la fonction se deplace vers la droite ` a vitesse c et que lautre moitie se deplace vers la gauche
` a vitesse c:
(x, t) =

0
2
_
sin
_

(x ct)
L
_
+ sin
_

(x + ct)
L
__
. (130)
En utilisant la relation trigonometrique, sin a+sin b = 2 cos((ab)/2) sin((a+b)/2), on reecrit
la solution sous la forme
(x, t) =
0
cos
_

ct
L
_
sin
_

x
L
_
. (131)
Le resultat net est donc aussi que la fonction
0
sin(x/L) ne se deplace pas et que son am-
plitude uctue selon cos(t), avec = c/L = la pulsation: cest ce quon appelle une onde
stationnaire. Les noeuds de londe sont en x = nL: ce sont les points qui restent station-
naires ((nL, t) = 0). Pour rappel, on ecrit aussi cos(t) = cos(2ft) = cos(2 t/T) avec f la
frequence et T = 1/f la periode. La periode de loscillation est donc ici T = 2L/c.
Comme les noeuds ne bougent pas, on note que la solution obtenue ci-dessus est aussi la
solution pour le probl`eme borne sur le domaine [0, L] et avec comme conditions aux limites:
(0, t) = 0 et (L, t) = 0: penser, par exemple, ` a une corde de guitare attachee aux deux bouts
et qui vibre.
3.3 Exemple dEDP parabolique
Lexemple le plus classique dEDP parabolique est lequation de diusion, aussi un probl`eme
(x, t):

x
_


x
_
=

t
(132)
avec > 0 la diusivite (eventuellement fonction de x et de , voire meme de t). Le cas avec
diusivite constante est:

x
2
=

t
. (133)
On note que lequation de diusion est particuli`ere: on a une derivee seconde en espace et une
derivee premi`ere en temps.
On a donc A = , B = 0 et C = 0, ce qui donne B
2
4AC = 0: lEDP est parabolique.
Les directions caracteristiques sont obtenues comme: dt
2
= 0, et donc dt
1
= dt
2
= 0. Les
racines sont reelles mais non-distinctes! Les caracteristiques sont dites degenerees car elles sont
parall`eles `a laxe des x, voir Fig. 15: on ne peut pas les utiliser; il ny a pas de methode des
caracteristiques.
Un probl`eme de diusion se resoud toujours `a partir dune condition initiale: (s, 0) = f(s)
donne. Si le domaine est borne, on doit aussi imposer une condition sur chaque fronti`ere.
Considerons, par exemple, un domaine semi-inni: 0 s < , voir Fig. 15: on doit alors
LFSAB1103 - Mathematiques 3, partie EDP 31
Classication des EDP 30
x
t
0
(0, t) = h(t)
ou

x
(0, t) = h(t)
(s, 0) = f(s)
Figure 15: Equation de diusion. A noter que les caracteristiques sont degenerees car
horizontales.
3.3 Exemple dEDP parabolique
Lexemple le plus classique dEDP parabolique est lequation de diusion, aussi un
probl`eme (x, t):

=

t
(132)
avec > 0 la diusivite (eventuellement fonction de x et de , voire meme de t). Le cas
avec diusivite constante est:

x
2
=

t
. (133)
On note que lequation de diusion est particuli`ere: on a une derivee seconde en espace
et une derivee premi`ere en temps.
On a donc A = , B = 0 et C = 0, ce qui donne B
2
4AC = 0: lEDP est
parabolique. Les directions caracteristiques sont obtenues comme: dt
2
= 0, et donc
dt
1
= dt
2
= 0. Les racines sont reelles mais non-distinctes! Les caracteristiques sont
dites degenerees car elles sont parall`eles `a laxe des x, voir Fig. 15: on ne peut pas les
utiliser; il ny a pas de methode des caracteristiques.
Un probl`eme de diusion se resoud toujours `a partir dune condition initiale: (s, 0) =
f(s) donne. Si le domaine est borne, on doit aussi imposer une condition sur chaque
fronti`ere. Considerons, par exemple, un domaine semi-inni: 0 s < , voir Fig. 15:
on doit alors donner soit la valeur (0, t) = h(t) pour t > 0 (condition de Dirich-
let), soit le ux

x
(0, t) = h(t) (condition de Neumann), soit une condition mixte
H

(0, t),

x
(0, t)

= 0.
Considerons la diusion en domaine non borne ou periodique. Lequation de diusion
Fig. 15: Equation de diusion. A noter que les caracteristiques sont degenerees car horizontales.
donner soit la valeur (0, t) = h(t) pour t > 0 (condition de Dirichlet), soit le ux

x
(0, t) = h(t)
(condition de Neumann), soit une condition mixte H
_
(0, t),

x
(0, t)
_
= 0.
Considerons la diusion en domaine non borne ou periodique. Lequation de diusion
conserve alors lintegrale de . En eet,
d
dt
__
b
a
dx
_
=
_
b
a

t
dx =
_
b
a

x
_


x
_
dx =
_


x
_
b
a
= 0 . (134)
Quant ` a lintegrale de
2
, elle diminue. En eet:
d
dt
__
b
a

2
2
dx
_
=
_
b
a

t
_

2
2
_
dx =
_
b
a


x
_


x
_
dx
=
_
b
a

x
_


x
_
dx
_
b
a

x
dx
=
_


x
_
b
a

_
b
a

x
_
2
dx
=
_
b
a

x
_
2
dx < 0 . (135)
Consid`erons dabord un probl`eme non borne et de condition initiale gaussienne: (s, 0) =

0
e
s
2
/b
2
. La solution est:
(x, t) =
0
b

b
2
+ 4t
e

x
2
b
2
+4t
. (136)
On verie en eet que cette solution satisfait lEDP. La solution est donc ici aussi une gaussi-
enne. Le graphe est donne `a la Fig. 16: la fonction diuse mais son integrale est conservee au
cours du temps. En eet:
Q =
_

(x, t) dx =
0
b
_

x
2
b
2
+4t
dx

b
2
+ 4t
=
0
b
_

e
p
2
dp =
0
b

(137)
LFSAB1103 - Mathematiques 3, partie EDP 32
Classication des EDP 32
!10
!8
!6
!4
!2
0
2
4
6
8
10
0
1
2
3
4
5
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
t /b
2
x/b
/
0
Figure 16: Equation de diusion. La condition initiale est (s, 0) =
0
e
s
2
/b
2
.
comme la somme (i.e., lintegrale) des contributions de chaque petit morceau. En eet,
la partie de la solution en (x, t) correspondant `a la contribution du petit morceau en (s
au temps t = 0 et dintensite dQ(s) = (s, 0) ds est:
1

4t
e

(xs)
2
4t
dQ(s) =
1

4t
e

(xs)
2
4t
(s, 0) ds . (140)
En sommant les contributions de toutes les parties elementaires (i.e., en integrant sur
tous les morceaux), on obtient la solution compl`ete:
(x, t) =
1

4t

(xs)
2
4t
(s, 0) ds . (141)
On dit que la fonction
F(x s, t) = F(|x s|, t) =
1

4t
e

(xs)
2
4t
(142)
est la solution elementaire (i.e., la fonction de Green) de lequation de diusion en
domaine non borne 1-D. On note quelle ne depend pas du signe de xs mais simplement
de la distance |x s|. On ecrit donc:
(x, t) =

F(|x s|, t) (s, 0) ds . (143)


Considerons ensuite un probl`eme periodique, et avec condition initiale (s, 0) =

0
sin(s/L): une fonction periodique de periode 2L. On cherche alors la solution en
ecrivant (x, t) = g(t) sin(x/L) (cest la methode de separation des variables: on la
verra en details plus tard!). Lintroduction dans lEDP donne alors:
g(t)

2
sin

x
L

=
dg
dt
(t) sin

x
L

. (144)
Fig. 16: Equation de diusion. La condition initiale est (s, 0) =
0
e
s
2
/b
2
.
ne varie pas dans le temps. On peut donc aussi ecrire:
(x, t) =
Q
_
(b
2
+ 4t)
e

x
2
b
2
+4t
. (138)
Si on consid`ere plut ot la diusion dune singularite dintegrale totale Q et placee ` a lorigine
en t = 0, la solution est alors:
(x, t) =
Q

4t
e

x
2
4t
. (139)
On verie eectivement que la solution proposee satisfait lEDP.
En fait, la condition initiale du cas avec la gaussienne considere ci-avant correspond aussi
` a une singularite dintegrale Q qui aurait diuse pendant un temps = b
2
/(4), et qui diuse
encore ensuite pendant un temps additionnel t: le temps mesure ` a partir de la condition initiale
gaussienne est t; celui mesure `a partir de la condition initiale singuli`ere est + t.
Autre application: La solution pour le cas singulier permet aussi dobtenir la solution
pour une distribution initiale (s, 0) generale. La solution est simplement obtenue comme la
somme (i.e., lintegrale) des contributions de chaque petit morceau. En eet, la partie de la
solution en (x, t) correspondant ` a la contribution du petit morceau en (s au temps t = 0 et
dintensite dQ(s) = (s, 0) ds est:
1

4t
e

(xs)
2
4t
dQ(s) =
1

4t
e

(xs)
2
4t
(s, 0) ds . (140)
En sommant les contributions de toutes les parties elementaires (i.e., en integrant sur tous les
morceaux), on obtient la solution compl`ete:
(x, t) =
1

4t
_
e

(xs)
2
4t
(s, 0) ds . (141)
LFSAB1103 - Mathematiques 3, partie EDP 33
On dit que la fonction
F(x s, t) = F([x s[, t) =
1

4t
e

(xs)
2
4t
(142)
est la solution elementaire (i.e., la fonction de Green) de lequation de diusion en domaine
non borne 1-D. On note quelle ne depend pas du signe de xs mais simplement de la distance
[x s[. On ecrit donc:
(x, t) =
_
F([x s[, t) (s, 0) ds . (143)
Considerons ensuite un probl`eme periodique, et avec condition initiale (s, 0) =
0
sin(s/L):
une fonction periodique de periode 2L. On cherche alors la solution en ecrivant (x, t) =
g(t) sin(x/L) (cest la methode de separation des variables: on la verra en details plus tard!).
Lintroduction dans lEDP donne alors:
g(t)
_

L
_
2
sin
_

x
L
_
=
dg
dt
(t) sin
_

x
L
_
. (144)
Comme ceci doit etre vrai pour tous les x, la fonction g(t) satisfait donc lEDO:
dg
dt
=
_

L
_
2
g (145)
dont la solution est
g(t) = g(0) e

L
)
2
t
. (146)
Comme g(0) =
0
, la solution de lEDP est nalement obtenue:
(x, t) =
0
e

L
)
2
t
sin
_

x
L
_
. (147)
A noter que lintegrale de la fonction sur lintervalle periodique [0, L] est conservee: elle vaut
zero.
De nouveau, on note que la solution obtenue est aussi la solution pour le probl`eme borne,
sur le domaine [0, L], et avec conditions aux limites homog`enes: (0, t) = (L, t) = 0. A noter
que lintegrale de sur ce domaine [0, L] nest pas conservee! Sa variation correspond ` a la
dierence entre le ux en x = L et le ux en x = 0:
d
dt
__
L
0
(x, t) dx
_
=
_


x
_
L
0
. (148)
Considerons ensuite un autre cas periodique, avec comme condition initiale:
(s, 0) =
0
M

k=1
a
k
sin
_
k
s
L
_
, (149)
donc une fonction representee par une serie de modes (i.e., une serie de Fourier: voir plus
tard!). La solution est obtenue comme la somme des solutions pour chacun des modes:
(x, t) =
0
M

k=1
a
k
e

(
k
L
)
2
t
sin
_
k
x
L
_
. (150)
LFSAB1103 - Mathematiques 3, partie EDP 34
On constate que les modes de grand nombre donde (k grand, c-` a-d longueur donde = 2/k
petite) decroissent beaucoup plus rapidement que les modes de petit nombre donde: le taux
de decroissance est proportionel ` a k
2
, et ce dans un facteur exponentiel! La solution perd donc
tr`es rapidement la memoire des details de sa condition initiale: elle diuse.
En particulier, un phenom`ene de diusion nest pas reversible: il nest pas possible de
remonter le temps, c-` a-d de reconstruire la solution initiale, dans tous ses details, ` a partir
de la solution en un temps ulterieur. A noter aussi que remplacer t par t dans lequation de
diusion revient ` a resoudre un probl`eme de diusion avec un coecient de diusion negatif: ce
processus est instable et est voue `a lechec.
Tel nest pas le cas pour lequation donde vue ci-avant: il est possible de remonter le
temps et dobtenir la solution initiale ` a partir dune solution ulterieure: elle est reversible.
Finalement, il convient de mentioner que lequation de diusion peut aussi avoir un terme
source:

x
_


x
_


t
= R . (151)
3.4 Exemples dEDP elliptique
Lexemple le plus classique dEDP elliptique est lequation de Laplace:

x
2
+

2

y
2
= 0 . (152)
Le cas avec terme source sappelle lequation de Poisson:

x
2
+

2

y
2
= R . (153)
En toute generalite, lEDP elliptique secrit:

x
_
A

x
_
+

y
_
C

y
_
= R (154)
avec A et C de meme signe, A, C et R etant eventuellement fonctions de x, y et .
Dans tous les cas, il ny a pas de caracteristique: en eet, puisque A et C sont de meme
signe, les solutions de Ady
2
+ C dx
2
= 0 sont imaginaires: lEDP est elliptique.
Les probl`emes elliptiques doivent etre resolus de mani`ere globale: tous les points inuencent
tous les points. Ces probl`emes sont toujours resolus sur un domaine physique . Si le domaine
est borne, il faut donner une condition en tout point de sa fronti`ere, parametrisee par s, voir
Fig. 17. On y prescrit soit (s) (condition de Dirichlet), soit

n
(s) (condition de Neumann),
soit une condition mixte.
Il faut aussi respecter la contrainte globale de compatibilite imposee par lEDP. Par exemple,
pour lequation de Poisson, on obtient:
_

Rdx dy =
_

_

x
_

x
_
+

y
_

y
__
dx dy =
_

x
n
x
+

y
n
y
_
dl =
_

n
(s) dl(s) .
(155)
On peut aussi considerer le cas de lequation de Poisson dans un domaine non-borne (do-
maine inni). On consid`ere dabord une singularite dintegrale totale Q et pla cee `a lorigine.
LFSAB1103 - Mathematiques 3, partie EDP 35
Classication des EDP 34
x
y
0
s

(s) = f(s)

n
(s) = h(s)
Figure 17: Equation elliptique sur un domaine .
3.4 Exemples dEDP elliptique
Lexemple le plus classique dEDP elliptique est lequation de Laplace:

x
2
+

2

y
2
= 0 . (152)
Le cas avec terme source sappelle lequation de Poisson:

x
2
+

2

y
2
= R . (153)
En toute generalite, lEDP elliptique secrit:

A

x

+

y

C

y

= R (154)
avec A et C de meme signe, A, C et R etant eventuellement fonctions de x, y et .
Dans tous les cas, il ny a pas de caracteristique: en eet, puisque A et C sont de
meme signe, les solutions de Ady
2
+ C dx
2
= 0 sont imaginaires: lEDP est elliptique.
Les probl`emes elliptiques doivent etre resolus de mani` ere globale: tous les points
inuencent tous les points. Ces probl`emes sont toujours r esolus sur un domaine physique
. Si le domaine est borne, il faut donner une condition en tout point de sa fronti`ere,
parametrisee par s, voir Fig. 17. On y prescrit soit (s) (condition de Dirichlet), soit

n
(s) (condition de Neumann), soit une condition mixte.
Il faut aussi respecter la contrainte globale de compatibilite imposee par lEDP. Par
exemple, pour lequation de Poisson, on obtient:

Rdxdy =

+

y

dxdy =

x
n
x
+

y
n
y

dl =

n
(s) dl(s) .
(155)
Fig. 17: Equation elliptique sur un domaine .
Il sagit donc de la solution de lequation de Poisson avec un terme source correspondant ` a cette
singularite. La solution est alors:
(x, y) = (r) =
Q
2
log
_
r
L
_
=
Q
4
log
_
r
2
L
2
_
,
d
dr
=
Q
2 r
(156)
avec L une reference de longueur arbitraire (le champ solution netant deni qu` a une constante
pr`es!). A noter que ce champ est singulier en r = 0: il est illustre ` a la Fig. 18 (champ tronque
car singulier en r = 0). On verie que ce champ satisfait eectivement lequation
2
= 0 en
tout point autre que lorigine (en eet R = 0 en tout point autre que lorigine). Pour rappel,
le Laplacien secrit, en coordonnees polaires:

2
(r, ) =
1
r

r
_
r

r
_
+
1
r
2

2
. (157)
Comme la fonction ne depend ici que de r, on a donc que
1
r
d
dr
_
r
d
dr
_
= 0 (158)
en tout point autre que lorigine. La solution proposee satisfait eectivement cela. On verie
aussi que lintegrale
_

n
(s) dl(s) sur tout domaine englobant la singularite donne eectivement
Q (e.g., considerer le cas particulier dun domaine circulaire).
On considere ensuite le cas dune quantite repartie, et dintegrale Q. Considerons par
exemple la loi de distribution algebrique
R(x, y) = R(r) =
Q

2
(r
2
+
2
)
2
, (159)
avec la taille caracteristique du noyau de repartition. On verie dabord que
_ _
R(x, y) dx dy =
_
2
0
_

0
R(r) rd dr = 2
_

0
R(r) r dr = Q . (160)
LFSAB1103 - Mathematiques 3, partie EDP 36
Classication des EDP 35
!5
!4
!3
!2
!1
0
1
2
3
4
5
!5
!4
!3
!2
!1
0
1
2
3
4
5
!0.5
!0.4
!0.3
!0.2
!0.1
0
0.1
0.2
0.3
0.4
x/L
y/L
/Q
Figure 18: Equation de Poisson en domaine inni. Solution pour une singularite (le
niveau de base est arbitraire car la solution est denie `a une constante pr`es).
On peut aussi considerer le cas de lequation de Poisson dans un domaine non-borne
(domaine inni). On consid`ere dabord une singularite dintegrale totale Q et placee
`a lorigine. Il sagit donc de la solution de lequation de Poisson avec un terme source
correspondant `a cette singularite. La solution est alors:
(x, y) = (r) =
Q
2
log

r
L

=
Q
4
log

r
2
L
2

,
d
dr
=
Q
2 r
(156)
avec L une reference de longueur arbitraire (le champ solution netant deni qu`a une
constante pr`es!). A noter que ce champ est singulier en r = 0: il est illustre `a la Fig. 18
(champ tronque car singulier en r = 0). On verie que ce champ satisfait eectivement
lequation
2
= 0 en tout point autre que lorigine (en eet R = 0 en tout point autre
que lorigine). Pour rappel, le Laplacien secrit, en coordonnees polaires:

2
(r, ) =
1
r

r

r

+
1
r
2

2
. (157)
Comme la fonction ne depend ici que de r, on a donc que
1
r
d
dr

r
d
dr

= 0 (158)
en tout point autre que lorigine. La solution proposee satisfait eectivement cela. On
verie aussi que lintegrale


n
(s) dl(s) sur tout domaine englobant la singularite donne
eectivement Q (e.g., considerer le cas particulier dun domaine circulaire).
On considere ensuite le cas dune quantite repartie, et dintegrale Q. Considerons par
exemple la loi de distribution algebrique
R(x, y) = R(r) =
Q

2
(r
2
+
2
)
2
, (159)
Fig. 18: Equation de Poisson en domaine inni. Solution pour une singularite (le niveau de
base est arbitraire car la solution est denie ` a une constante pr`es).
La solution de lequation de Poisson
1
r
d
dr
_
r
d
dr
_
= R(r) . (161)
est alors
(r) =
Q
4
log
_
r
2
+
2
L
2
_
,
d
dr
=
Q
2 r
r
2
(r
2
+
2
)
(162)
On verie en eet que la solution (r) satisfait bien lequation de Poisson. On note aussi que,
la fonction R(r) etant ici partout reguli`ere, la solution (r) est aussi partout reguli`ere. Le
cas dune singularite dintegrale Q correspond ` a la limite 0 de cette distribution reguli`ere
dintegrale Q.
Un autre exemple de repartition reguli`ere est une repartition selon une distribution gaussi-
enne:
R(r) =
Q

2
e

r
2

2
(163)
dintegrale Q (` a verier). La solution est
d
dr
=
Q
2 r
_
1 e

r
2

2
_
(164)
` a encore integrer une fois pour obtenir (r) (cest relativement complique, donc pas montre ici).
Le cas dune singularite dintegrale Q correspond aussi ` a la limite 0 de cette distribution
reguli`ere dintegrale Q. On peut donc obtenir une singularite dintegrale Q comme la limite de
nimporte quelle distribution reguli`ere dintegrale Q!
LFSAB1103 - Mathematiques 3, partie EDP 37
Finalement, on peut aussi additionner des solutions. Par exemple, si on place une singularite
dintegrale Q en x = x
0
et une singularite dintegrale Q en x = x
0
, on obtient alors le champ
induit par un dip ole:
(x, y) =
Q
4
log
_
(x x
0
)
2
+ y
2
)
L
2
_

Q
4
log
_
(x + x
0
)
2
+ y
2
)
L
2
_
=
Q
4
log
_
(x x
0
)
2
+ y
2
(x + x
0
)
2
+ y
2
_
.
(165)
A noter que ici, comme la somme des singularites vaut zero, le champ nest plus deni ` a une
constante pr`es (i.e., la longueur arbitraire L nintervient plus dans lexpression nale)! Le
graphe est donne `a la Fig. 19 (graphe tronque car est singulier ` a lendroit des singularites).
Le graphe des iso-contours de est egalement fourni.
Autre application: La solution pour le cas singulier permet aussi dobtenir la solution
pour une distribution R generale. La solution est simplement obtenue comme la somme (i.e.,
lintegrale) des contributions de chaque petit morceau. En eet, la partie de la solution en
(x, y) et correspondant ` a la contribution du petit morceau en (x

, y

) dintensite dR(x

, y

) =
R(x

, y

) dx

dy

est:
1
4
log
_
(x x

)
2
+ (y y

)
2
L
2
_
dR(x

, y

) =
1
4
log
_
(x x

)
2
+ (y y

)
2
L
2
_
R(x

, y

) dx

dy

.
(166)
En sommant les contributions de toutes les parties elementaires (i.e., en integrant), on obtient
la solution compl`ete:
(x, y) =
1
4
_ _
log
_
(x x

)
2
+ (y y

)
2
L
2
_
R(x

, y

) dx

dy

. (167)
On dit que la fonction
F(r) =
1
2
log
_
r
L
_
=
1
4
log
_
r
2
L
2
_
(168)
est la solution elementaire (i.e., la fonction de Green) de lequation de Poisson en domaine
non-borne 2-D. Et on ecrit:
(x, y) =
_ _
F
_
_
(x x

)
2
+ (y y

)
2
_
R(x

, y

) dx

dy

=
1
2
_ _
log
_
_
(x x

)
2
+ (y y

)
2
L
_
R(x

, y

) dx

dy

=
1
4
_ _
log
_
(x x

)
2
+ (y y

)
2
L
2
_
R(x

, y

) dx

dy

. (169)
Pour information complementaire, la fonction de Green pour lequation de Poisson en do-
maine non-borne 3-D

x
2
+

2

y
2
+

2

y
2
= R (170)
est:
F(r) =
1
4
1
r
. (171)
LFSAB1103 - Mathematiques 3, partie EDP 38
Classication des EDP 37
!5
!4
!3
!2
!1
0
1
2
3
4
5
!5
!4
!3
!2
!1
0
1
2
3
4
5
!0.8
!0.6
!0.4
!0.2
0
0.2
0.4
0.6
x/x
0
y/x
0
/Q
!5 !4 !3 !2 !1 0 1 2 3 4 5
!5
!4
!3
!2
!1
0
1
2
3
4
5
y/x
0
x/x
0
Figure 19: Equation de Poisson en domaine inni. Solution pour un dipole forme de
deux singularites de signes opposes.
Classication des EDP 37
!5
!4
!3
!2
!1
0
1
2
3
4
5
!5
!4
!3
!2
!1
0
1
2
3
4
5
!0.8
!0.6
!0.4
!0.2
0
0.2
0.4
0.6
x/x
0
y/x
0
/Q
!5 !4 !3 !2 !1 0 1 2 3 4 5
!5
!4
!3
!2
!1
0
1
2
3
4
5
y/x
0
x/x
0
Figure 19: Equation de Poisson en domaine inni. Solution pour un dipole forme de
deux singularites de signes opposes.
Fig. 19: Equation de Poisson en domaine inni. Solution pour un dip ole forme de deux singu-
larites de signes opposes.
LFSAB1103 - Mathematiques 3, partie EDP 39
On ecrit donc:
(x, y, z) =
_ _ _
F
_
_
(x x

)
2
+ (y y

)
2
+ (z z

)
2
_
R(x

, y

, z

) dx

dy

dz

=
1
4
_ _ _
1
_
(x x

)
2
+ (y y

)
2
+ (z z

)
2
R(x

, y

, z

) dx

dy

dz

.(172)
LFSAB1103 - Mathematiques 3, partie EDP 40
Classication des EDP 39
x
y
0
s
(x(s), y(s))
1
2
u(s), v(s)
caracteristiques
Figure 20: Probl`eme de Cauchy pour syst`eme de deux EDP du 1er ordre.
3.5 Syst`eme dEDP du 1er ordre
On peut facilement generaliser les EDP du 1er ordre `a des syst`emes dEDP. Considerons,
par exemple, le syst`eme quasi-lineaire de deux EDP du premier ordre pour les fonctions
u et v:
M
1
u
x
+ N
1
u
y
+ P
1
v
x
+ Q
1
v
y
= R
1
,
M
2
u
x
+ N
2
u
y
+ P
2
v
x
+ Q
2
v
y
= R
2
, (173)
o` u M
1
, N
1
, P
1
, Q
1
, R
1
, M
2
, N
2
, P
2
, Q
2
, R
2
sont, au plus, fonctions de x, y, u et v. Pour
le probl`eme de Cauchy, les valeurs u(s) et v(s) sont donnees le long de la courbe , voir
Fig. 20.
Comme u(s) et v(s) sont donnes le long de , on a que
du
ds
et
dv
ds
sont aussi connus.
On peut donc ecrire:
u
x
dx
ds
+
u
y
dy
ds
=
du
ds
,
v
x
dx
ds
+
v
y
dy
ds
=
dv
ds
, (174)
ce qui, avec les deux EDP donne le syst`eme:

M
1
N
1
P
1
Q
1
M
2
N
2
P
2
Q
2
dx
ds
dy
ds
0 0
0 0
dx
ds
dy
ds

u
x
u
y
v
x
v
y

R
1
R
2
du
ds
dv
ds

. (175)
Fig. 20: Probl`eme de Cauchy pour syst`eme de deux EDP du 1er ordre.
3.5 Syst`eme dEDP du 1er ordre
On peut facilement generaliser les EDP du 1er ordre `a des syst`emes dEDP. Considerons, par
exemple, le syst`eme quasi-lineaire de deux EDP du premier ordre pour les fonctions u et v:
M
1
u
x
+ N
1
u
y
+ P
1
v
x
+ Q
1
v
y
= R
1
,
M
2
u
x
+ N
2
u
y
+ P
2
v
x
+ Q
2
v
y
= R
2
, (173)
o` u M
1
, N
1
, P
1
, Q
1
, R
1
, M
2
, N
2
, P
2
, Q
2
, R
2
sont, au plus, fonctions de x, y, u et v. Pour le
probl`eme de Cauchy, les valeurs u(s) et v(s) sont donnees le long de la courbe , voir Fig. 20.
Comme u(s) et v(s) sont donnes le long de , on a que
du
ds
et
dv
ds
sont aussi connus. On peut
donc ecrire:
u
x
dx
ds
+
u
y
dy
ds
=
du
ds
,
v
x
dx
ds
+
v
y
dy
ds
=
dv
ds
, (174)
ce qui, avec les deux EDP donne le syst`eme:
_
_
_
_
M
1
N
1
P
1
Q
1
M
2
N
2
P
2
Q
2
dx
ds
dy
ds
0 0
0 0
dx
ds
dy
ds
_
_
_
_
_
_
_
_
u
x
u
y
v
x
v
y
_
_
_
_
=
_
_
_
_
R
1
R
2
du
ds
dv
ds
_
_
_
_
. (175)
Tant que le determinant ne sannule pas, on peut resoudre le syst`eme pour obtenir
u
x
,
u
y
,
v
x
,
v
y
le long de , et donc construire la solution en dehors de . En tout point de , il existe
LFSAB1103 - Mathematiques 3, partie EDP 41
aussi deux directions particuli`eres (dx, dy) telles que le determinant

M
1
N
1
P
1
Q
1
M
2
N
2
P
2
Q
2
dx dy 0 0
0 0 dx dy

(176)
sannule. Ces directions sont alors obtenues comme les racines de
Ady
2
Bdy dx + C dx
2
= 0 , (177)
avec
A = M
1
P
2
M
2
P
1
,
B = (P
2
N
1
P
1
N
2
) + (Q
2
M
1
Q
1
M
2
) ,
C = N
1
Q
2
N
2
Q
1
. (178)
Si B
2
4AC > 0, il y a deux racines reelles distinctes et le syst`eme est hyperbolique. Si
B
2
4AC = 0, les racines reelles sont confondues et le syst`eme est parabolique. Si B
2
4AC < 0,
il ny a pas de racine reelle et le syst`eme est elliptique.
Dans le cas hyperbolique, les relations caracteristiques sont aussi facilement obtenues. Par
exemple en annulant le determinant

M
1
N
1
R
1
Q
1
M
2
N
2
R
2
Q
2
dx dy du 0
0 0 dv dy

. (179)
3.6 Equivalence entre EDP du 2`eme ordre et syst`eme de deux dEDP
du 1er ordre
Il y a, en fait, equivalence entre une EDP du 2`eme ordre et un syst`eme de deux EDP du 1er
ordre. En eet, lEDP
A

2

x
2
+ B

2

xy
+ C

2

y
2
= R (180)
secrit aussi, en denissant u =

x
et v =

y
, sous la forme:
A
u
x
+
B
2
_
u
y
+
v
x
_
+ C
v
y
= R ,
u
y

v
x
= 0 , (181)
o` u la seconde equation provient de la compatibilite entre u et v:
u
y
=

2

yx
=

2

xy
=
v
x
. (182)
LFSAB1103 - Mathematiques 3, partie EDP 42
Le syt`eme equivalent du 1er ordre est donc obtenu. On obtient aussi:
_
_
_
_
A
B
2
B
2
C
0 1 1 0
dx dy 0 0
0 0 dx dy
_
_
_
_
_
_
_
_
u
x
u
y
v
x
v
y
_
_
_
_
=
_
_
_
_
R
0
du
dv
_
_
_
_
. (183)
Lannulation du determinant, an de determiner les directions caracteristiques, conduit `a
Ady
2
Bdy dx + C dx
2
= 0 , (184)
ce qui est bien le meme resultat que precedemment: hyperbolique si B
2
4AC > 0, parabolique
si B
2
4AC = 0, et elliptique si B
2
4AC < 0.
Considerons, par exemple, lequation donde. Elle peut secrire sous la forme equivalente
dun syst`eme du premier ordre `a deux inconnues. En eet, denissant u c

x
et v

t
, on
obtient
c
u
x

v
t
= 0 ,
c
v
x

u
t
= 0 . (185)
Ce syt`eme peut aussi secrire sous la forme vectorielle:

t
_
u
v
_
+
_
0 c
c 0
_

x
_
u
v
_
= 0 , (186)
et donc
s
t
+ A
s
x
= 0 , (187)
avec s le vecteur dinconnues et A la matrice:
A =
_
0 c
c 0
_
. (188)
Les valeurs propres de cette matrice (obtenues par annulation du determinant de AI) sont,
en fait, les directions caracteristiques. Eectivement, on obtient
2
c
2
= 0 et donc
1
= c et

2
= c, qui sont bien les deux directions caracteristiques.
Pour lequation de Laplace, on obtient, avec u =

x
et v =

y
, le syst`eme equivalent:
u
x
+
v
y
= 0 ,
v
x

u
y
= 0 . (189)
On obtient donc, pour la matrice A,
A =
_
0 1
1 0
_
, (190)
dont les valeurs propres sont complexes:
2
= 1 et donc
1
= i et
2
= i. Ce syst`eme est
donc elliptique. Il ny a pas de direction caracteristique.
LFSAB1103 - Mathematiques 3, partie EDP 43
3.7 EDP de type mixte
Finalement, il est important daussi realiser que certains probl`emes physiquies sont de type
mixte. Par exemple, lequation de transport avec diusion,
c
u
x
+
u
t
=

2
u
x
2
, (191)
est de type hyperbolique/parabolique: sa composante de transport lui conf`ere un caract`ere
hyperbolique tandis que sa composante de diusion lui conf`ere un caract`ere parabolique. Ce
probl`eme est toujours pose en condition initiale: u(s, 0) = f(s) donne. Il ne peut pas etre
resolu par la methode des caracteristiques, puisquil a aussi un caract`ere parabolique.
Il en est de meme pour lequation de Burgers avec diusion:
u
u
x
+
u
t
=

2
u
x
2
. (192)
Il convient de noter que la diusivite, ,= 0, guarantit la continuite de la fonction u: aussi faible
soit-il, mais non-nul, il ny a pas de possibilite de developper une discontinuite dans la solution.
Il y a, par contre, developpement de zone(s) de compression avec des gradients importants (et
dautant plus importants que est petit).
En domaine non borne ou periodique, ces deux EDP conservent lintegrale de u. Quant `a
lenergie, elle diminue:
d
dt
__
b
a
u
2
2
dx
_
=
_
b
a
_
u
x
_
2
dx < 0 . (193)
Comme autre exemple dEDP de type mixte, citons lequation des telegraphistes. Cest
lEDP qui regit la chute de potentiel, v(x, t), pour la transmission de signaux electriques sur
un long c able:

2
v
x
2
LC

2
v
t
2
= (RC + LG)
v
t
+ RGv (194)
avec R la resistance serie par unite de longueur, L linductance par unite de longueur, G la
conductance parall`ele par unite de longueur et C la capacite par unite de longueur. Cette EDP
est de type hyperbolique/parabolique.
LFSAB1103 - Mathematiques 3, partie EDP 44
A
L
x
Fig. 21: Barreau unidimensionnel
4 Equation de la chaleur
4.1 Derivation de lequation de la chaleur en une dimension
Considerons un barreau droit de longueur L, de section constante A et oriente selon laxe des
x (voir Figure 21). Lenergie thermique est lenergie cinetique dagitation microscopique dun
objet, qui est due ` a une agitation desordonnee de ses molecules et de ses atomes. Lenergie
thermique est une partie de lenergie interne dun corps. Les transferts denergie thermique
entre corps sont appeles transferts thermiques et jouent un role essentiel en thermodynamique.
Nous denissons la fonction e(x, t) [J/m
3
] comme la densite denergie thermique par unite
de volume contenue dans le barreau. On suppose que cette fonction de densite denergie
thermique est constante dans chaque section et ne varie spatialement que selon x. Notons
quil est possible dobtenir physiquement une situation de transfert de chaleur unidimensionnel
en isolant parfaitement le barreau sur ses faces laterales.
On consid`ere ensuite une portion innitesimale de barreau de longueur dx situee entre x et
x + dx. La quantite denergie thermique contenue dans cette portion de barreau est
E(x, t) = e(x, t)dxA. (195)
La quantite denergie thermique E(x, t) contenue dans notre portion de barreau change au
cours du temps: un ux de chaleur (x, t) [W/m
2
] peut entrer (ou sortir) par les deux sections
extr`emes de la portion situees en x et en x + dx. On peut aussi imaginer quil existe dans le
barreau des sources denergie thermique Q(x, t) [W].
Etant donne lhypoth`ese de parois laterales parfaitement isolees, le principe de conservation
de lenergie thermique secrit:
variation de ux net denergie thermique energie thermique
lenergie thermique = `a travers les fronti`eres + generee par unite de temps
au cours du temps par unite de temps par les sources
LFSAB1103 - Mathematiques 3, partie EDP 45
Le ux de chaleur (x, t) est la quantite denergie thermique qui secoule par unite de temps
et de surface. Ses dimensions sont donc bien des [J/m
2
/sec] ou encore des [W/m
2
]. Prenons
maintenant la convention suivante : le ux de chaleur est pris positivement sil secoule vers la
droite. Si (x, t) > 0, alors de lenergie thermique est amenee ` a la portion de barreau. Si par
contre (x +dx, t) > 0, alors de lenergie thermique quitte la portion de barreau par la droite.
Les sources de chaleur volumiques Q(x, t) ont la dimension dune energie thermique par
unite de temps et de volume. Leur dimension est donc des [J/m
3
/sec] ou encore des [W/m
3
].
On peut physiquement imaginer des sources de chaleur provenant de reactions chimiques par
exemple.
La conservation de lenergie thermique dans la petite portion de longueur dx peut donc
secrire

t
[e(x, t)dxA] (x, t)A (x + dx, t)A + Q(x, t)Adx. (196)
Les dierents termes de cette equation ont tous comme unite une puissance [J/sec] = [W].
Lequation (196) est imprecise car elle assume que les dierentes grandeurs sont constantes
dans la petite portion de barreau. Nous pretendons maintenant que cette equation devient de
plus en plus precise quand on fait decroitre dx. Nous allons par la suite faire un developpement
rigoureux de lequation de la chaleur en 3 dimensions. Avant cela, essayons tout dabord
dexpliquer simplement ce qui se passe quand dx 0 dans lequation (196).
La limite quand dx 0 de lequation (196) prise telle quelle ne donne pas dinformations
substantiellement interessantes : on trouve en fait que 0 = 0. Divisons les deux membres de
lequation par Adx on trouve
e
t

(x + dx, t) (x, t)
dx
+ Q(x, t). (197)
En passant `a la limite, et en supposant que lequation devient precise quand dx 0, on trouve
e
t
=

x
+ Q. (198)
On presente maintenant une derivation plus rigoureuse de lequation de la chaleur. Elle a
lavantage de ne pas faire intervenir un passage `a la limite. Considerons donc un segment de
barreau de longueur nie b a, i.e. qui est deni de x = a ` a x = b. On desire donc ecrire la
conservation de lenergie pour cette portion de longueur nie. La quantite denergie thermique
contenue dans cette portion est
_
b
a
e(x, t)dx. La conservation de lenergie secrit (le facteur A
ayant ete elimine comme plus haut) :
d
dt
_
b
a
e dx = (a, t) (b, t) +
_
b
a
Q(x, t)dx. (199)
Notez que, dans (199), la derivee temporelle est une derivee droite (ou ordinaire) et pas
une derivee partielle car la seule variable en jeu est le temps, les quantites spatiales ayant ete
integrees de a ` a b. Neanmoins, il doit etre bien clair que
d
dt
_
b
a
e dx
. .
f(t)
=
_
b
a

t
e(x, t) dx
LFSAB1103 - Mathematiques 3, partie EDP 46
si a et b sont des constantes et si e est susament continu.
Notons ensuite que, dans le cas o` u serait continuement derivable, on a lidentite
(a, t) (b, t) =
_
b
a

x
dx. (200)
Lequation (199) peut donc secrire
_
b
a
e
t
+

x
Qdx = 0. (201)
Cette integrale doit etre nulle pour a et b arbitraires; laire sous la courbe doit etre nulle pour
nimporte quelles limites a et b. Ceci est uniquement possible si lintegrant est identiquement
nul. Il est en fait assez simple de prouver que la seule fonction continue f(x) dont lintegrale
_
b
a
f(x)dx = 0 est nulle pour tout a et b est la fonction f(x) = 0. Imaginons que cette fonction
soit non nulle en x = x
0
. Alors, vu que f est continue, il existe un voisinage de taille 2 autour
de x
0
tel que la fonction soit de signe constant dans x
0
< x < x
0
. Sans perte de
generalite, imaginons que f(x) > 0 dans cet intervalle I = [x
0
< x < x
0
]. Prenons
a = x
0
, b = x
0
+ . On a
_
b
a
f(x)dx > (b a) inf
I
f(x) > 0
ce qui contredit lhypoth`ese
_
b
a
f(x)dx = 0.
On retrouve donc lequation (198) :
e
t
=

x
+ Q. (202)
Lequation de conservation sous forme integrale (199) est en fait plus generale que (202) car elle
necessite que les grandeurs physiques soient continues de a ` a b, ce qui nest pas necessairement
le cas en realite: on pourrait imaginer que le barreau soit fait par exemple de deux materiaux
dierents.
4.2 La Temperature
On denit la chaleur massique ou chaleur specique c dun materiau comme lenergie quil faut
fournir ` a une unite de masse (typiquement un kilo) de ce materiau pour laugmenter dune unite
de temperature (typiquement un degre). Les unites de c sont donc des [J/kg/K]. La chaleur
specique de leau est de 4186 [J/kg/K] ` a 0
o
C et ` a pression atmospherique.
Lenergie thermique contenue dans notre portion de barreau de section A et de longueur dx
est e(x, t)dxA. Nous venons de voir que cette energie pourrait etre dene comme lenergie ayant
servi ` a amener la portion de barreau dune temperature de reference u = 0 ` a sa temperature
actuelle u(x, t). Si on suppose que la chaleur specique est independante de la temperature,
la quantite denergie par unite de masse de la portion de barreau est c(x)u(x, t). Nous devons
donc maintenant introduire la notion de masse volumique (x) qui est le nombre de kilos que
p`ese un m`etre cube du materiau considere. Pour leau, ` a temperature ambiante, on a = 1000
[kg/m
3
]. La masse totale de la portion de barreau est dxA et lenergie thermique totale peut
etre ecrite comme
e(x, t)Adx = c(x)u(x, t)Adx.
LFSAB1103 - Mathematiques 3, partie EDP 47
On a donc la relation classique entre energie thermique et temperature
e(x, t) = c(x)(x)u(x, t). (203)
Lequation de la chaleur devient donc
c(x)(x)
u
t
=

x
+ Q. (204)
Cette equation contient deux inconnues u et . Il manque donc une relation entre ces deux
fonctions pour fermer le syst`eme. Cette equation devrait repondre ` a la question : comment et
pourquoi la chaleur secoule-t-elle ? Avant de donner une forme ` a la relation (loi de comporte-
ment) qui lie temperature et ux de chaleur, donnons tout dabord quelques faits bien connus
de tous qui vont guider notre reexion:
1. Si un corps est ` a temperature constante, aucune chaleur ne secoule dun point ` a lautre
de ce corps : il est ` a lequilibre thermique.
2. Sil existe des dierences de temperatures dans ce corps, alors la chaleur secoule des zones
chaudes vers les zones froides.
3. Plus la dierence de temperature est importante, plus le ux de chaleur est important.
4. Certains materiaux conduisent mieux/moins bien la chaleur que dautres : pour une
dierence de temparature constante, le ux de chaleur depend du materiau considere.
Fourier (1768-1830) a propose une loi de comportement qui resume les quatre observations
pre-citees. La loi de Fourier pour la conduction thermique secrit (en une dimension) :
(x, t) = K
0
u
x
. (205)
Le signe dans le membre de droite de (205) sexplique par lobservation 2 : la chaleur
va des temperatures chaudes au temperatures froides i.e. dans le sens oppose au gradient de
temperature. Le facteur K
0
est appele la conductivite thermique du materiau et ses unites
sont des [W/m/K]. Elle represente la quantite de chaleur transferee par unite de surface et par
une unite de temps sous un gradient de temperature de 1 degre par m`etre. La conductivite
thermique de leau est de 0.6 [W/m/K] `a temperature ambiante. Le ux de chaleur ne depend
pas explicitement de u mais de son gradient, ce qui assure qu` a temperature constante, aucun
ux nest observe.
En substituant la loi de Fourier dans (204), on obtient
c(x)(x)
u
t
=

x
_
K
0
(x)
u
x
_
+ Q. (206)
Si on suppose que tous les param`etres physiques c, et K
0
sont independants de x, on trouve
lequation simpliee
u
t
=
K
0
c

2
u
x
2
+
Q
c
. (207)
LFSAB1103 - Mathematiques 3, partie EDP 48
Notez que le facteur =
K
0
c
a necessairement les dimensions de [m
2
/sec] car
u
t
sont des [K/sec]
et

2
u
x
2
sont des [K/m
2
]. On appelle
=
K
0
c
la diusivite thermique du materiau. Si on suppose nalement quaucune source thermique
nest presente (i.e. Q = 0), on trouve lequation de diusion :
u
t
=

2
u
x
2
. (208)
Lequation de diusion (208) est une equation aux derivees partielles parabolique. Cest
en outre une equation lineaire et homog`ene. Lequation de diusion apparat dans un grand
nombre de procedes physiques. Par exemple, un polluant concentre dans une certaine region
dun sol ` a se diuser dans lespace avoisinant au cours du temps.
4.3 Conditions aux limites et conditions initiales
Lequation de diusion fait intervenir une derivee premi`ere par rapport au temps. Dans le cas
dune equation dierentielle ordinaire, une condition initiale devait etre fournie pour trouver
la solution du probl`eme avec toutes ses constantes. De meme, pour notre EDP de diusion,
la temperature initiale u
0
(x) = u(x, 0) peut etre fournie pour que le probl`eme ait une solution
unique. Une autre option est de fournir la vitesse de variation de la temperature en t = 0 :
v
0
(x) = u/t(x, 0).
Lequation de diusion fait intervenir une derivee seconde par rapport ` a la variable spatiale
x. Deux conditions aux limites doivent etre fournies pour que le probl`eme ait une solution
unique. Il existe en fait trois fa cons dimposer une condition limite pour lequation de la
chaleur qui correspondent `a des situations physiques interessantes. Dans ces 3 cas, on suppose
que lenvironnement exterieur ` a notre barreau est bien connu. Prenons pour hypoth`ese que la
fronti`ere ou lon veut imposer une condition limite soit en x = 0.
Dans certaines situations, la temperature du barreau en x = 0 peut etre imposee:
u(0, t) = u
0
(t). (209)
Quand on impose la valeur de la fonction ` a la limite, la condition limite sappelle une condition
limite de Dirichlet.
Dans dautre cas, cest le ux de chaleur qui est impose:
K
0
(0)
u
x
(0, t) =
0
(t). (210)
Le cas le plus connu est le cas du barreau parfaitement isole en x = 0. Dans ce cas,
0
= 0.
Notons que lequation (210) ne peut pas etre integree pour connatre la temperature en x = 0.
En eet, la pente de u est connue en un seul point x = 0 ce qui emp`eche de cacluler la constante
dintegration. Quand on impose la derivee de la fonction `a la limite, la condition limite sappelle
une condition limite de Neumann.
Un troisi`eme cas interessant est la condition au limite de convection. Supposons que le
barreau (un solide chaud) soit en contact avec un milieu uide (de lair froid par exemple).
LFSAB1103 - Mathematiques 3, partie EDP 49
La temperature de lair et du barreau sont identiques ` a leur point de contact. Imaginons que
la temperature de lair loin du barreau soit de u

= 20 degres. Lair en contact avec le


barreau va etre chaue et donc etre mis en mouvement car, sous laction de la gravite, un
uide chaud, plus leger, va selever laissant la place ` a un uide plus froid qui va etre chaue
` a nouveau. Clairement, les param`etres decrivant le phenom`ene de convection seront dierent
si x est la direction dans laquelle agit la gravite ou non. De meme, le sens dans lequel agit la
gravite inuencera ces parametres. Nonobstant ces remarques, il est possible de modeliser le
ux de chaleur ` a la paroi solide comme un facteur de la dierence entre la tempetature `a la
paroi (inconnue) et la temperature du uide loin de la paroi :
K
0
(0)
u
x
(0, t) = H(u(0, t) u

). (211)
Le coecient H est appele le coecient de transfert de chaleur ou coecient de convection.
Ici, il faut etre attentif au signe du coecient de proportionalite. Si le barreau est plus chaud
que le uide avoisinant, la chaleur aura tendance ` a sechapper du barreau. On a donc un ux
de chaleur negatif en x = 0, do` u le signe dans lequation (211). Par contre en x = L, le signe
devra etre change. Quand on impose une combinaison lineaire de la derivee de la fonction et
de la fonction elle-meme ` a la limite, la condition limite sappelle une condition limite mixte ou
de Robin.
Pour que le probl`eme du transfert de chaleur soit bien pose, une condition limite ( (209),
(210) ou (211)) doit etre impose sur chaque fronti`ere du domaine (nous preciserons par la suite
la notion de probl`eme bin/mal pose).
A priori, on pourrait imaginer que lon puisse donner 2 conditions aux limites au meme
point, par exemple en x = 0. On pourrait par exemple xer le ux de chaleur K
0
u/x et la
temperature u au meme point. Nous verrons par la suite que ce genre de condition aux limite
mene `a la denition dun probl`eme mal pose. En fait, sur chaque fronti`ere du domaine, cest
soit la temperature, soit le ux de chaleur qui doit etre impose.
4.4 Equation de la chaleur en regime stationnaire.
4.4.1 Temperature xee aux extremites
On consid`ere le probl`eme de lequation de la chaleur applique ` a un barreau de longueur L. La
temperature u est xee aux extremites :
u(0, t) = T
1
(t) et u(0, t) = T
2
(t).
On suppose que lequation de la chaleur peut secrire sous la forme (208) i.e. que tous les
param`etres physiques sont constants. On donne la temperature comme condition initiale :
u(x, 0) = u
0
(x).
Nous etudierons bient ot une methode pour resoudre lequation de la chaleur (208) en fonc-
tion de deux variables independantes x et t et en tenant compte des conditions limites et de
la condition initiale. Avant cela, etudions le probl`eme de lequation de la chaleur stationnaire,
i.e. quand la temperature sest installee et ne depend plus du temps (equilibre stationnaire).
Dans ce cas, lequation (208) se simplie en lequation dierentielle ordinaire suivante :
d
2
u
s
dx
2
= 0. (212)
LFSAB1103 - Mathematiques 3, partie EDP 50
La solution de (212) est simplement
u
s
(x) = a + bx.
Les deux constantes dintegration peuvent etre determinees gr ace aux conditions aux limites :
u
s
(0) = a = T
1
et u
s
(L) = a + bL = T
1
+ bL = T
2
. On trouve donc
u
s
(x) = T
1
+
T
2
T
1
L
x.
Cette solution dequilibre est unique et ne depend en rien de la condition initiale u
0
(x). Les
conditions initiales sont en fait oubliees, diluees par le phenom`ene de diusion.
4.4.2 Flux de chaleur xe aux extremites
On consid`ere le probl`eme de Neumann. On cherche u(x, t), x, t [0, L] [0, [, solution de
u
t
=

2
u
x
2
,
u(x, 0) = u
0
(x),
K
0
u
x
(0, t) =
0
,
K
0
u
x
(L, t) =
L
. (213)
Integrons maintenant lEDP
_
L
0
_
u
t

2
u
x
2
_
dx = 0.
On a
d
dt
_
L
0
cu dx = K
0
u
x
(L, t) K
0
u
x
(O, t) =
0

L
. (214)
Leventualite dune solution stationnaire depend donc ici des conditions aux limites, et cest
assez simple `a comprendre. Si le bilan des ux de chaleur imposes aux limites du domaine
nest pas nul, alors la temperature dans le barreau va, soit indeniment augmenter si le bilan
est positif, soit indeniment diminuer si ce bilan est negatif. Dans le cas
0
=
L
, la solution
stationaire est denie `a une constante pr`es :
u
s
(x) = u

0
K
0
_
x
L
2
_
avec u la temperature moyenne du barreau. Si les deux extremites sont isolees, alors la
temperature stationnaire u
s
est une constante. Il est possible de determiner cette constante en
fonction de la condition initiale u
0
. En eet, dans le cas
0
=
L
, lequation (214) se lit
d
dt
_
L
0
cu dx = 0.
Lenergie thermique est donc constante au cours du temps. Elle est donc identique en t = 0 et
en t = cest-` a-dire pour la solution stationnaire u
s
. On a donc
c uL =
_
L
0
cu
0
dx.
LFSAB1103 - Mathematiques 3, partie EDP 51
La temperature moyenne nale est donc egale `a la temperature moyenne initiale :
u =
1
L
_
L
0
u
0
dx.
Encore une fois, la structure de la solution initiale a ete oubliee. Seule la temperature moyenne
est conservee au cours du temps.
4.5 Derivation de lequation de la chaleur en dimensions 2 et 3
On consid`ere un domaine R
d
, d = 2, 3. La fronti`ere de est notee . On suppose que
est orientable et on appelle sa normale exterieure n. La conservation de lenergie thermique
proc`ede du meme principe quen dimension 1:
variation de ux net denergie energie thermique
lenergie thermique dans = thermique `a travers + generee par unite de temps
au cours du temps par unite de temps par les sources dans
Lenergie thermique contenue dans est denie en fonction de la temperature u(x, t), x, t
[0, [ :
E =
_

cu dv.
Nous allons maintenant developper une expression pour le ux de chaleur net ` a travers une
surface. En dimension 1, le ux de chaleur est deni positivement quand il entre dans le
domaine et negativement sil sort du domaine. Le ux se comporte donc comme un vecteur.
Le ux de chaleur en dimension 2 et 3 est un vecteur note

. Lamplitude de

est la quantite
denergie thermique qui secoule par unite de temps et de surface dont la normale unitaire n
est dans la direction de

. Clairement, si le ux de chaleur est parall`ele ` a une surface donnee,
alors aucun ux de chaleur ne traverse cette surface.
Considerons une surface de normale exterieure n et un vecteur ux de chaleur

(x, t).
Lenergie thermique qui secoule ` a travers par unite de temps est donnee par

n ds.
Le signe est du au fait que la normale exterieure a ete choisie, i.e. le ux est positif si de la
chaleur sechappe du domaine et inversement.
On consid`ere nalement la possibilite de sources volumiques de chaleur Q [W/m
3
]. La
quantite totale de chaleur produite par ces sources est
_

Q dv.
Lequation de la chaleur secrit donc sous forme integrale comme
_

cu dv =
_

n ds +
_

Q dv. (215)
LFSAB1103 - Mathematiques 3, partie EDP 52
On rappelle theor`eme de la divergence : il stipule que lintegrale de volume de la divergence
dune fonction `a valeur vectorielle

A continuement derivable est egale au ux de ce vecteur `a
travers la fronti`ere de ce volume:
_


A dv =
_

A n ds.
En utilisant le theor`eme de la divergence dans (215), on trouve
_

_

t
(cu) +

Q
_
dv = 0. (216)
On utilise ensuite le meme argument quen dimension 1: lequation (216) est valable pour tout
domaine . Lintegrant est donc nul:

t
(cu) =

+ Q. (217)
La loi de Fourier setend elle aussi en dimensions superieures. Les quatres observations
1. Si un corps est ` a temperature constante, aucune chaleur ne secoule dun point ` a lautre
de ce corps : il est ` a lequilibre thermique.
2. Sil existe des dierences de temperatures dans ce corps, alors la chaleur secoule des zones
chaudes vers les zones froides.
3. Plus la dierence de temperature est importante, plus le ux de chaleur est important.
4. Certains materiaux conduisent mieux/moins bien la chaleur que dautres : pour une
dierence de temparature constante, le ux de chaleur depend du materiau considere.
resetent valables. La loi de Fourier setend de la facon suivante

(x, t) = K
0
u. (218)
Dans le cas general, K
0
est un operateur lineaire, i.e. son expression generale est une matrice
d d symetrique denie positive. Dans le cas dun materiau isotrope, K
0
est une constante
positive, comme en dimension 1. Lequation de la chaleur secrit donc

t
(cu) = (K
0
u) + Q. (219)
Dans le cas o` u les param`etres physiques sont constants, on trouve lequation
u
t
=
2
u +
Q
c
. (220)
Si aucune source de chaleur nest presente dans , on trouve lequation de diusion
u
t
=
2
u. (221)
LFSAB1103 - Mathematiques 3, partie EDP 53
4.6 Conditions aux limites et conditions initiales
Lequation de diusion fait intervenir une derivee premi`ere par rapport au temps. Dans le cas
dune equation dierentielle ordinaire, une condition initiale devait etre fournie pour trouver la
solution du probl`eme avec toutes ses constantes. De meme, pour notre EDP de diusion (221),
la temperature initiale u
0
(x) = u(x, 0) peut etre fournie pour que le probl`eme ait une solution
unique.
En ce qui concerne les conditions aux limites, elles peuvent etre de 3 formes, comme en
dimension 1. On divise la fronti`ere du domaine en 3 parties: =
D

R
avec
D

N
=

D

R
=
R

N
= .
On impose la temperature sur la fronti`ere de Dirichlet
D
:
u(x, t) = u
0
(x, t) x
D
. (222)
On impose le ux de chaleur sur la fronti`ere de Neumann
N
:
K
0
u n =
0
(x, t) x
N
. (223)
On impose une condition limite mixte sur la fronti`ere de Robin
R
:
K
0
u n = H(u(x, t) u

) x
R
. (224)
4.7 Equation de la chaleur stationnaire
Si les sources et les conditions aux limites sont independantes du temps, alors il est possible que
lequation de la chaleur admette une solution stationnaire u
s
. La solution u
s
satisfait lequation
de Poisson

2
u
s
=
Q
K
0
.
Si en outre aucune source de chaleur nest presente, alors la solution stationnaire de lequation
de la chaleur satisfait lequation de Laplace

2
u
s
= 0.
Dans la suite, nous resoudrons des probl`emes de Laplace et de Poisson en utilisant diverses
techniques. Nous etudierons plus `a fond la structure des solutions de ces EDPs particuli`eres.
5 Coordonnees curvilignes et operateurs dierentiels
Lors de la discussion sur lequation de la chaleur, nous avons utilise des operateurs dierentiels
comme le gradient, la divergence ou le laplacien. Dans la suite, nous resoudrons des EDPs dans
des domaines circulaires, spheriques ou cylindriques et lutilisation de syst`emes de coordonnees
autres que le syst`eme cartesien sera necessaire.
On consid`ere ici un syst`eme de coordonnees curvilignes orthogonales qui est deni comme
suit. Soit un systeme de coordonnees
q(q
1
, q
2
, q
3
) x = (x
1
(q), x
2
(q), x
3
(q)).
LFSAB1103 - Mathematiques 3, partie EDP 54
Tout point de lespace x = (x
1
, x
2
, x
3
) est repere ` a laide de q. On denit
h
i
=
_
_
_
_
x
q
i
_
_
_
_
(225)
ainsi que les 3 vecteurs directeurs orthonormes de la base locale
e
q
i
=
x
q
i
1
h
i
. (226)
5.1 Calcul du gradient
Considerons une fonction f(x
1
, x
2
, x
3
) continuement derivable. On consd`ere la fonction com-
posee f(x
1
(q), x
2
(q), x
3
(q)) Soit
f =
3

i=1
f
x
i
e
i
le gradient exprime en coordonnees cartesiennes. On cherche ses composantes dans la base
locale i.e
f =
3

i=1
f
i
e
q
i
.
On calcule les dierentielles
dx
i
=
3

j=1
x
i
q
j
dq
j
et df =
3

i=1
f
x
i
dx
i
.
On a donc
df =
3

i=1
f
x
i
dx
i
=
3

i=1
f
x
i
3

j=1
x
i
q
j
dq
j
=
3

i=1
3

j=1
f
x
i
x
i
q
j
dq
j
=
3

j=1
f
q
j
dq
j
.
Si on pose dx = (dx
1
, dx
2
, dx
3
), on a f dx = df. Or
dx =
3

i=1
x
q
i
dq
i
=
3

i=1
h
i
dq
i
e
q
i
.
Le produit scalaire f dx = df vaut
df =
_
3

i=1
f
i
e
q
i
_

_
3

i=1
h
i
dq
i
e
q
i
_
.
On a suppose etre en presence de coordonnees orthogonales, on a donc
df =
3

i=1
f
i
h
i
dq
i
.
Or, df =

3
j=1
f
q
j
dq
j
ce qui implique que
f
q
j
= f
i
h
i
.
LFSAB1103 - Mathematiques 3, partie EDP 55
Les composantes du gradient dans la base locale sont donc
f
i
=
1
h
i
f
q
j
.
On a donc le resultat remarquable
f =
3

i=1
1
h
i
f
q
j
e
q
j
. (227)
5.2 Calcul de la divergence
Rappelons que loperateur Laplacien est la divergence du gradient. Soit un vecteur

A = A
1
e
q
1
+ A
2
e
q
2
+ A
3
e
q
3
exprime dans la base locale. On a
1


A =
3

i=1
A
i
e
q
1
+
3

i=1
A
i
e
q
1
Calculons tout dabord
e
q
1
= (e
q
2
e
q
3
)
= (h
2
h
3
q
2
q
3
)
= (h
2
h
3
) (q
2
q
3
) + h
2
h
3
(q
2
q
3
)
= (h
2
h
3
) (q
2
q
3
) + h
2
h
3
(q
2
q
3
q
2
q
3
)
= (h
2
h
3
) (q
2
q
3
). (228)
Dans (228), on a utilise lidentite
(

A

B) = (

A)

B

A (

B)
et le fait que rotationnel dun gradient est nul. On a donc
e
q
1
= (h
2
h
3
) (q
2
q
3
)
=
1
h
2
h
3
(h
2
h
3
) (e
q
2
e
q
3
)
=
1
h
2
h
3
(h
2
h
3
) e
q
1
=
1
h
2
h
3
_
3

i=1
1
h
i
(h
2
h
3
)
q
i
e
q
i
_
e
q
1
=
1
h
1
h
2
h
3
(h
2
h
3
)
q
1
1
(

Ab) = (

A)b + (b)

A.
LFSAB1103 - Mathematiques 3, partie EDP 56
et donc
(A
1
e
q
1
) = A
1
e
q
1
+A
1
e
q
1
= A
1
1
h
1
h
2
h
3
(h
2
h
3
)
q
1
+
_
3

i=1
1
h
i
A
1
q
i
e
q
i
_
e
q
1
=
1
h
1
h
2
h
3
(A
1
h
2
h
3
)
q
1
. (229)
On obtient donc la forme nale de la divergence exprimee en fonction des coordonees dans la
base locale et des facteurs h
i


A =
1
h
1
h
2
h
3
_
(A
1
h
2
h
3
)
q
1
+
(h
1
A
2
h
3
)
q
2
+
(h
1
h
1
A
3
)
q
3
_
. (230)
5.3 Calcul du laplacien
Soit f une fonction deux fois dierentiable. On trouve

2
f = f
=
_
3

i=1
1
h
i
f
q
i
e
q
i
_
=
1
h
1
h
2
h
3
_

q
1
_
h
2
h
3
h
1
f
q
1
_
+

q
2
_
h
1
h
3
h
2
f
q
2
_
+

q
3
_
h
1
h
2
h
3
f
q
3
__
.
5.4 Tenseur metrique
Cette section est plus complexe et est donnee comme complement.
5.5 Coordonnees polaires
Derivons maintenant les operateurs dierentiels deni plus haut dans divers syst`emes de coor-
donnees. Commencons par les coordonnees polaires :
x(r, ) = r cos , y(r, ) = r sin .
On calcule tout dabord la matrice jacobienne J =
x
q
avec J
ij
=
x
i
q
j
. On a
_

x

y
_
=
_
r
x

x
r
y

y
_
. .
J
_

r

_
(231)
LFSAB1103 - Mathematiques 3, partie EDP 57
Il est en general plus facile dobtenir J
1
. En eet,
_

r

_
=
_
x
r
y
r
x

_
. .
J
1
_

x

y
_
. (232)
On calcule donc
J
1
=
_
cos sin
r sin r cos
_
ce qui donne
J =
_
cos sin /r
sin cos /r
_
.
Il est donc facile de voir que
u =
_
cos
u
r

1
r
sin
u

sin
u
r
+
1
r
cos
u

_
=
u
r
_
cos
sin
_
+
1
r
u

_
sin
cos
_
. (233)
Utilisons maintenant les formules developpees plus haut. On commence par calculer les e
q
i
et les h
i
par les formules (225) et (226) :
h
1
= 1, h
2
= r, e
r
=
_
cos
sin
_
et e

=
_
sin
cos
_
La formule (227) donne
u =
u
r
e
r
+
1
r
u

. (234)
ce qui est exactement (233).
La divergence dun vecteur

A en coordonnees polaires est calculee en utilisant (230)


A =
1
r
_
(A
r
r)
r
+
A

_
.
Le laplacien en coordonnees polaires est calcule en utilisant (231) :

2
f =
1
r

r
_
r
f
r
_
+
1
r
2

2
f

2
.
5.6 Coordonnees spheriques
Les coordonnees spheriques sont donnes par :
x(r, , ) = r sin cos , y(r, , ) = r sin sin , z(r, , ) = r cos .
On a
LFSAB1103 - Mathematiques 3, partie EDP 58
h
1
= 1, h
2
= r, h
3
= r sin ,
e
r
=
_
_
sin cos
sin sin
cos
_
_
, e

=
_
_
cos cos
cos sin
sin
_
_
et e

=
_
_
sin sin
sin cos
0
_
_
.
La formule (227) donne
f =
f
r
e
r
+
1
r
f

+
1
r sin
f

. (235)
La divergence dun vecteur

A en coordonnees spheriques est calculee en utilisant (230)


A =
1
r
2
sin
_
(A
r
r
2
sin )
r
+
(r sin A

+
(rA

_
.
Le laplacien en coordonnees spheriques est calcule en utilisant (231) :

2
f =
1
r
2
sin
_

r
_
r
2
sin
f
r
_
+

_
sin
f

_
+

_
1
sin
f

__
.
LFSAB1103 - Mathematiques 3, partie EDP 59
6 La methode de Separation des variables
Il existe un grand nombre de probl`emes de lingenieur qui sont formules sous la forme dune
EDP ` a resoudre, avec des conditions initiales et des conditions limites. Assez peu de probl`emes
concrets ont une solution analytique. Cela est essentiellement du aux non-linearites qui in-
terviennent dans la plupart des probl`emes interessants (turbulence, plasticite, hysteresis) ainsi
que de la complexite geometrique des domaines concernes dans la pratique (un avion, une
voiture...).
Le but de ce chapitre est dintroduire une methode qui permet de resoudre des EDPs dans
certains cas simples. La premi`ere chose sera de bien comprendre les limitations de la methode
de separation des variables i.e. il sagit detre capables de determiner quand cette methode est
applicable.
La methode de separation des variables est en fait assez peu utile en pratique car elle
ne permet de trouver des solution que dans des cas simples et pour des geometries simples.
Neanmoins, elle est dune grande utilite pour comprendre la nature des solutions dEDPs tr`es
courantes en pratique. Cest essentiellement pour cette raison quelle sera etudiee.
6.1 Linearite, homogenetie et principe de superposition
Les operateurs dierentiels que nous que nous considerons dans le cadre de la separation des
variables sont lineaires. Un operateur dierentiel lineaire L(u) agit sur des functions u qui sont
dierentiables. Loperateur L est lineaire si, pour tout a, b R,
L(au + bv) = aL(u) + bL(v)
pour toutes fonction u et v dierentiables.
Loperateur
L =

t
K
0

2
x
2
est lineaire (meme si K
0
depend de x, veriez !)
Une EDP
L(u) = f
est lineaire si L est lineaire et f est une fonction connue. Si f = 0, alors lEDP est dite lineaire
et homog`ene. Il faut noter que u = 0 est toujours une solution triviale dune EDP homog`ene.
Cest dailleurs un moyen simple de reconnatre une EDP homog`ene, i.e. de verier si u = 0
est toujours solution de lEDP.
Une propriete fondamentale des equations lineaires homog`enes est la suivante : soit u et v
deux solutions distinctes dune EDP lineaire et homog`ene. Soit a et b deux scalaires. On a
L(au + bv) = aL(u) + bL(v) = 0
ce qui signie que toute combinaison lineaire de solutions de lEDP est elle-meme solution
de lEDP. Cest le principe de superposition.
Les concepts de linearite et dhomogeneite sappliquent aussi aux conditions aux limites. Pr
exemple, la condition de Robin
K
0
u n = H(u u

)
LFSAB1103 - Mathematiques 3, partie EDP 60
est lineaire et homog`ene. Par contre, la condition de Neumann
K
0
u n =
0
est lineaire mais pas homog`ene.
6.2 Equation de Laplace
Nous allons maintenant intropduire la methode de separation des variables en prenant pour
exemple lequation de Laplace, equation tr`es commune en physique mathematique.
6.2.1 Equation de Laplace en physique mathematique
Nous avons developpe plus haut lequation de la chaleur. Dans le cas dun regime stationnaire
(plus de variation de temperature au cours du temps), de proprietes physiques constantes et
quand aucune source de chaleur volumique nest presente dans le domaine, lequilibre thermique
est regi par une equation de Laplace : on cherche u(x), x R
d
veriant lEDP de Laplace

2
u = 0
munie de conditions limites appropries sur la fronti`ere de . Rappelons que le ux de chaleur
est donne par la loi de Fourier

= K
0
u.
Dans le cas stationnaire, le bilan du ux de chaleur ` a travers les fronti`ere est nul:
_

nds = 0
ce qui correspond ` a lintuition physique quun etat stationnaire ne peut exister que si le bilan
de ce qui entre et de ce qui sort est nul.
Lequation de Laplace sert de mod`ele `a dautres phenom`enes physiques (cette liste est loin
detre exhaustive) :
Calcul de champs electriques dans le vide (electrostatique): u est le potentiel electrique,
K
0
la permittivite electrique du vide, u est le champ electrique et

= K
O
u est le
vecteur deplacement electrique.
Calcul des ecoulements irrotationels de uides parfaits. Ici, v = u est la vitesse du
uide et u est le potentiel des vitesses. Dans le cas dun uideequation v exprime la
conservation de la masse du uide.
Calcul des ecoulements de uides dans en milieu poreux (equation de Darcy). Dans ce
cas, u est la pression du uide, K
0
u est la vitesse du uide et K
0
est la permeabilite
du milieu poreux.
LFSAB1103 - Mathematiques 3, partie EDP 61
6.2.2 Equation de Laplace dans un rectangle
On cherche u(x, y) solution de

2
u
x
2
+

2
u
y
2
= 0
avec = x, y [ 0 < x < L, 0 < y < H.
On impose des contitions aux limites lineaires et homog`enes en x = 0, en x = L et en
y = 0. On impose des contitions aux limites lineaires et non homog`enes en y = H.
Le principe de la separation des variables est de chercher la solution du probl`eme (EDP
+ conditions limites) sous une forme particuli`ere. On cherche donc une solution de la forme
suivante :
u(x, y) = X(x)Y (y). (236)
La solution produit que nous cherchons est censee verier lEDP homog`ene ainsi que
toutes les conditions aux limites homog`enes, mais pas necessairement la condition limite en
y = H. Nous verrons par la suite comment faire en sorte de construire la solution qui verie
lensemble des equations. Soyons clairs d`es maintenant : nous ne donnons aucune justication
` a ce choix dune fonction produit. En fait, largument que nous donnons ` a ce choix est des plus
basiques : si nous trouvons une solution ` a notre probl`eme et que nous pouvons prouver que
cette solution est unique, alors cest la bonne. Tr`es clairement, cette methode sera restreinte ` a
un certain nombre de cas particuliers car la solution `a toute EDP ne peut pas se mettre sous
la forme dun produit
2
.
Calculons maintenant loperateur Laplacien etant donne lhypoth`ese (236)

2
u(x, y) =
2
(X(x)Y (y)) =

2
X
x
2
Y + X

2
Y
y
2
Y.

Etant donne que X ne depend que de x on note sans ambigute


X

=
dX
dx
et X

=
d
2
X
dx
2
.
On ecrit lequation de Laplace sous la forme

2
u(x, y) = X

(x)Y (y) + Y

(y)X(x) = 0. (237)
Nous savons que la solution u = 0 est solution de lEDP et des conditions aux limites homog`enes.
Nous cherchons donc ici des fonctions X et Y qui apportent de linformation, i.e. non nulles.
Nous ne perdons donc aucune information si nous divisons (237) par XY :
X

X
+
Y

Y
= 0. (238)
Ce faisant, on noublie aucune solution interessante, car XY = 0 nest pas une solution
interessante.
2
pensons `a la methode des caracteristique ou les solutions `a lequation de transport 1D sont sous la forme
f(x ct) ,= X(x)T(t)
LFSAB1103 - Mathematiques 3, partie EDP 62
La forme (238) est remarquable :
X

X
..
f(x)
+
Y

Y
..
g(y)
= 0.
En fait, (238) stipule quune fonction f de x seulement est egale au signe pr`es `a une fonction g
de y seulement. On a separe les variables x et y. Les deux variables x et y sont independantes,
cest-` a-dire que faire varier lune ne provoque pas de variation chez lautre :
x
y
=
y
x
= 0. Deux
fonctions, lune dependante de x uniquement et lautre de y qui sont egales (au signe pr`es) ne
peuvent etre que constantes, i.e. independantes et de x et de y :

x
(f(x) + g(y)) = f

(x) = 0 f(x) = k
2
= constante.
On ecrit donc
X

X
=
Y

Y
= k
2
.
Le signe de la constate de separation k
2
est important ` a trouver : selon que lon choisira + ou
, on trouvera soit une famille de solutions interessantes, soit la solution trivialement nulle.
Lequation en x secrit
X

= k
2
X. (239)
Nous avons fait lhypoth`ese que les conditions limites en x etaient lineaires et homog`enes.
Dans un permier temps, supposons que nous avons des conditions de Dirichlet homog`enes ` a
gauche et ` a droite du domaine : u(0, y) = u(L, y) = 0, 0 < y < H. Etant donne notre
hypoth`ese (237), ces deux conditions secrivent X(0)Y (y) = X(L)Y (y) = 0. Le produit de
deux fonction est nulle quand lune des deux est nulle. Ici, on doit soit faire lhypoth`ese que,
soit X(0) = 0, 0 < y < H, soit Y (y) = 0, 0 < y < H. Faire lhypoth`ese que Y (y) est
nulle pour tout y implique que u(x, y) = X(x)Y (y) est nul, ce qui revient ` a choisir la solution
triviale. On choisit donc X(0) = X(L) = 0. Distinguons maintenant trois cas.
Premier cas, on choisit le signe + dans (239), ce qui donne
X

k
2
X = 0.
On a ici une EDO homog`ene du second ordre ` a coecients constants
3
dont la solution generale
est
X(x) = Ae
kx
+ Be
kx
.
Les deux conditions X(0) = X(L) = 0 secrivent:
A + B = 0 et Ae
kL
+ Be
kL
= 0.
Ce syst`eme de deux equations ` a deux inconnues est homog`ene, ce qui signie que la solution
A = B = 0 est la seule solution si et seulement si le determinant du syst`eme est non nul. Ce
determinant vaut e
kL
e
kL
= 2 sinh(kL) qui nest nul que si kL = 0, donc si k = 0. Aucune
3
Le polynome caracteristique est
2
k
2
= 0 dont les deux racines sont = 1.
LFSAB1103 - Mathematiques 3, partie EDP 63
solution interessante nest trouvee dans ce cas, la solution pour k = 0 correspondant en fait au
deuxi`eme cas.
Deuxi`eme cas, on choisit k = 0 dans (239), ce qui donne
X

= 0
dont la solution est
X = Ax + B.
Les deux conditions X(0) = X(L) = 0 secrivent:
B = 0 et AL + B = 0
ce qui donne clairement A = B = 0. Le cas k = 0 ne donne rien encore une fois.
Troisi`eme cas, on choisit le signe dans (239), ce qui donne
X

+ k
2
X = 0.
On a ici une EDO homog`ene du second ordre ` a coecients constants
4
dont la solution generale
est
X(x) = ae
ikx
+ be
ikx
.
Une ecriture equivalente de X fait intervenir les fonctions sinus et cosinus. On se rappelle que le
sinus et le cosinus de sont respectivement la partie reelle et la partie imaginaire de la fonction
exponentielle complexe :
e
i
= cos + i sin .
On a evidemment
e
i
= cos i sin
ce qui donne
X(x) = (a + b) cos(kx) + i(a b) sin(kx) = Acos(kx) + Bsin(kx)
vu quon nest interesse qu`a la partie reelle de X, on choisit A et B reels. Lutilisation des
sinus et cosinus a lavantage de faciliter limposition des conditions aux limites. La condition
X(0) = 0 donne A = 0
5
. La condition X(L) = 0 donne
Bsin(kL) = 0.
Le produit de deux grandeurs est nul quand lune des deux est nulle. Choisir B = 0 m`ene `a la
solution triviale u(x, y) = 0 qui est sans interet. Lavantage ici est que la fonction sinus a un
grand nombre de zeros : on rappelle que sin = 0 pour = n, n = 1, 2, . . . . On peut donc
choisir (quantier) k comme
k
n
=
n
L
.
4
Le polynome caracteristique est
2
+ k
2
= 0 dont les deux racines sont = ik.
5
En gardant les exponentielles, on aurait a + b = 0.
LFSAB1103 - Mathematiques 3, partie EDP 64
Dans ce cas, les fonctions solution de lequation homog`ene (239) sont quantiees. On ecrit
X
n
(x) = sin
nx
L
= sin k
n
x.
Lequation en Y est
Y

k
2
n
Y = 0
dont la solution est elle aussi quantiee
Y
n
(y) = ce
k
n
y
+ de
k
n
y
.
Encore une fois, lutilisation des fonctions cosinus et sinus hyperboliques pourrait simplier
limposition des conditions aux limites. Nous avons
cosh x =
e
x
+ e
x
2
et sinh x =
e
x
e
x
2
.
On a donc
e
k
n
y
= cosh k
n
y + sinh k
n
y et e
k
n
y
= cosh k
n
y sinh k
n
y
et
Y
n
(y) = (c + d) cosh k
n
y + (c d) sinh k
n
y = C cosh k
n
y + Dsinh k
n
y.
Nous avons fait lhypoth`ese que les conditions limites en y etaient lineaire et homog`ene en y = 0
et lineaires en y = H. Dans un permier temps, supposons que nous avons des conditions de
Dirichlet homog`enes en bas du domaine (u(x, 0) = 0, 0 < x < L) et une condition de Dirichlet
non homog`ene en haut du domaine (u(x, H) = f(x), 0 < x < L) Etant donne notre hypoth`ese
(237), la condition homog`ene secrit X(x)Y (0) = 0. Le produit de deux fonction est nul quand
lune des deux est nulle. Ici, on doit soit faire lhypoth`ese que, soit Y (0) = 0, 0 < x < L,
soit X(x) = 0, 0 < x < L. Faire lhypoth`ese que X(x) est nulle pour tout x implique
que u(x, y) = X(x)Y (y) est nul, ce qui revient ` a choisir la solution triviale. On choisit donc
Y (0) = 0 ce qui donne C = 0. A ce stade, on obtient
Y (y) = D
n
sinh k
n
y,
le D
n
pouvant etre diferent pour chaque sinh k
n
y. La fonction
u
n
(x, y) = D
n
X
n
(x)Y
n
(y)
est solution de lEDP (homog`ene) et verie toutes les conditions aux limites homog`enes. Toutes
ces relations sont lineaires et homog`enes et le principe de superposition sapplique. On peut
donc ecrire
u(x, y) =

n=1
u
n
(x, y) =

n=1
D
n
sin k
n
x sinh k
n
y.
La fonction u verie toutes les contraintes du probl`eme (EDP et conditions limites homog`enes),
mais pas la condition non homog`ene en y = H. Dautre part, cette fonction depend dun nombre
inni de param`etres (les D
n
) que lon peut xer arbitrairement. Utilisons cette observation pour
ecrire la condition limite non homog`ene u(x, H) = f(x) :
u(x, H) =

n=1
D
n
sin k
n
x sinh k
n
H =

n=1
D

n
sin k
n
x = f(x).
LFSAB1103 - Mathematiques 3, partie EDP 65
Le probl`eme consiste en fait ` a trouver les coecients de developpement et serie de sinus de f(x).
A priori, loperation ne semble pas evidente, car une innite de coecients sont `a calculer. Il
est en fait possible de trouver aisement les D
n
en remarquant que les fonctions sin k
n
x sont
orthogonales sot lintervalle [0, L], i.e. que, pour m ,= n,
_
L
0
sin k
n
x sin k
m
xdx =
1
k
2
n
k
2
m
(k
m
sin(k
n
x)cos(k
m
x) k
n
cos(k
n
x)sin(k
m
x)) [
L
0
= 0.
Pour m = n,
_
L
0
sin
2
k
n
xdx =
L
2
.
Nous montrerons dans la section suivante que cette propriete dorthogonalite nest pas un
hasard, mais quelle sapplique a un grand nombre de fonctions propres doperateurs dierentiels
ainsi qua tout type de condition limite homog`ene.
On utilise ensuite la propriete dorthogonalite des sinus pour calculer les D
n
:
_
L
0
sin(k
m
x)f(x)dx =
_
L
0
sin(k
m
x)
_

n=1
D
n
sin(k
n
x) sinh(k
n
H)
_
dx
=

n=1
D
n
sinh k
n
H
_
L
0
sin(k
m
x)(sin k
n
x)dx
= D
m
sinh(k
m
H)
L
2
.
On trouve donc
D
n
=
_
L
0
sin(k
n
x)f(x)dx
sinh(k
n
H)
2
L
, n = 1, 2, . . .
Dans le cas particulier f(x) = u
0
, on a
_
L
0
sin(k
m
x)u
0
dx = u
0
cos(k
m
x)
k
m

L
0
=
1
k
m
(1 cos(k
m
L)) = u
0
1
k
m
(1 (1)
m
.
Dans ce cas, la solution du probl`eme est
u(x, y) =

n=1
2u
0
n sinh(nL/H)
(1 (1)
n
) sin
nx
L
sinh
ny
L
.
La Figure 22 montre le resultat u(x, y) en utilisant 200 modes, i.e. pour la somme allant
de n = 1, . . . , 200. Notons quaux points 0, H et L, H, les conditions limites u = 0 et u = u
0
sont incompatibles et la solution oscille au voisinage de ces points. Clairement, developper une
constante en serie de sinus est en fait une assez mauvaise idee, les sin(nx/L) etant nuls en
x = 0 et x = L (voir Figure 23).
Essayons maintenant le cas particulier: f(x) = u
0
x
L
(1
x
L
) Ici, les conditions limites sont
compatibles entre elles: f(0) = f(L) = 0. On calcule donc lintegrale
_
L
0
sin(nx/L)
x
L
(1
x
L
)dx.
LFSAB1103 - Mathematiques 3, partie EDP 66
Fig. 22: Trace de la solution avec L = H = 1, f(x) = u
0
et u
0
= 1.
On utilise la formule
_
sin(a) d =
1
a
2
sin(a)

a
cos(a)
pour calculer
_
L
0
sin(nx/L)
x
L
dx =
L
n
(1)
n
.
On utilise ensuite la formule
_

2
sin(a) d =
2
a
2
sin(a) +
_
2
a
3


2
a
_
cos(a)
LFSAB1103 - Mathematiques 3, partie EDP 67
0
0.2
0.4
0.6
0.8
1
1.2
0 0.2 0.4 0.6 0.8 1
u(L, y)
y
a.dat
Fig. 23: Trace de la solution u(x, H).
pour calculer
_
L
0
sin(nx/L)
_
x
L
_
2
dx =
1
L
2
_
2L
3
n
3

3

Lx
2
n
_
cos(nx/L)

H
0
=
1
L
2
__
2L
3
n
3

3

L
3
n
_
(1)
n

2L
3
n
3

3
_
=
2L
n
3

3
(1 (1)
n
)
L
n
(1)
n
.
On trouve nalement
_
L
0
sin(nx/L)
x
L
_
1
x
L
_
dx =
2L
n
3

3
(1 (1)
n
).
Les coecients du developpement se calculent donc comme suit :
D
n
=
4
sinh(nH/L)n
3

3
(1 (1)
n
).
La solution, avec 200 termes, est representee sur la Figure 24. On remarque que, cette fois, la
solution noscille pas.
6.2.3 Operateurs auto adjoints
Dans la section precedente, nous avons resolu le probl`eme au valeur propres
X

+ k
2
X = 0
avec des conditions aux limites de Dirichlet nulles. Concentrons nous maintanant sur un
probl`eme plus general. On consid`ere le probl`eme au valeur propre suivant. Soit un operateur
dierentiel lineaire L et lEDO
L(X) + k
2
X = 0
LFSAB1103 - Mathematiques 3, partie EDP 68
Fig. 24: Trace de la solution (??) avec L = H = 1 et, f(x) = u
0
x
L
_
1
x
L
_
et u
0
= 1.
soumise `a des conditions limites homog`enes et lineaires en x = 0 et x = L,
l(X)[
0
= 0 et r(X)[
L
= 0.
Dans le cas L =
d
dx
2
, les operateurs l et r peuvent prendre les formes l = X (Dirichlet), l = X

(Neumann) ou l = aX + bX

(Robin). Soit X
n
(x) une famille de fonctions propres avec les
valeurs propres correspondantes, les k
n
. On a donc
L(X
n
) + k
2
n
X
n
= 0, n.
Soit deux fonctions propres X
n
et X
m
relatives ` a des valeurs propres distintes. On a
X
m
(L(X
n
) + k
2
n
X
n
) = 0 et X
n
(L(X
m
) + k
2
m
X
m
) = 0.
En faisant la dierence de ces deux relations, on obtient
X
m
L(X
n
) X
n
L(X
m
) = (k
2
m
k
2
n
)X
n
X
m
.
LFSAB1103 - Mathematiques 3, partie EDP 69
On int`egre ensuite cette derni`ere equation de 0 `a L :
_
L
0
(X
m
L(X
n
) X
n
L(X
m
))dx = (k
2
m
k
2
n
)
_
L
0
X
n
X
m
dx. (240)
On denit maintenant le produit scalaire de deux fonctions sur lintervalle [0, L] :
X
n
(x), X
m
(x) =
_
L
0
X
n
(x)X
m
(x)dx. (241)
Pour rappel, si E est un espace vectoriel, un produit scalaire <, > est une application de
E E R, x, y E, < x, y > R, qui a les proprietes suivantes :
bilineaire cest-` a-dire
lineaire relativement au premier argument (le second etant xe)
lineaire relativement au second argument (le premier etant xe)
symetrique : (x, y) E
2
< y, x >=< x, y >
positive : x E < x, x > R
+
0
denie : < x, x >= 0 x = 0
Lespace vectoriel dont nous parlons est un espace de fonctions. La denition du produit scalaire
(241) verie ces crit`eres. Tout produit scalaire induit une norme |x|
|X
n
|
2
[0,L]
=< X
n
(x), X
n
(x) >
qui sappelle la norme L
2
de la fonction X
n
sur lintervalle [0, L]. Lequation (240) secrit donc
X
m
, L(X
n
) X
n
, L(X
m
) = (k
2
m
k
2
n
) X
m
, X
n
. (242)
Deux fonctions sont orthogonales quand leur produit scalaire est nul. Pour que les fonctions
propres de notre operateur L soient orthogonales, on doit avoir la relation suivante
X
m
, L(X
n
) = X
n
, L(X
m
) . (243)
Cette egalite depend non seulement de la nature de loperateur, mais aussi des conditions
limites associees. Quand lequation (243) est veriee, on dit que loperateur L muni des condi-
tions aux limites donnees est auto-adjoint. Verions que loperateur L =
d
dx
2
muni de conditions
aux limites homog`enes est auto-adjoint. En utilisant lintegration par parties
6
X
m
, X

n
X
n
, X

m
= X

m
, X

n
+X

n
, X

m
+ X

n
X
m
X

m
X
n
[
L
0
(244)
= X

n
(L)X
m
(L) X

n
(L)X
m
(L) X

m
(0)X
n
(0) + X

n
(0)X
m
(0)
Utilisons les conditions limites les plus generales possibles, i.e. des conditions de Robin `a gauche
et `a droite. Imaginons que la condition de Robin homog`ene en x = 0 secrive
aX
n
(0) + bX

n
(0) = 0.
6
_
b
a
f(x)g

(x)dx =
_
b
a
f

(x)g(x)dx + f(x)g(x)[
b
a
.
LFSAB1103 - Mathematiques 3, partie EDP 70
On pose donc X

n
(0) =
a
b
X
n
(0) et X

m
(0) =
a
b
X
m
(0) dans (244) ce qui permet decrire
X

m
(0)X
n
(0) + X

n
(0)X
m
(0) =
a
b
X
m
(0)X
n
(0) +
a
b
X
n
(0)X
m
(0) = 0.
On proc`ede de meme pour x = L, ce qui permet de demontrer que loperateur X

muni de
conditions limites homog`enes est auto adjoint. Le fonctions propres relatives ` a des valeurs
propres distinctes sont donc toujours orthogonales:
X
m
, X
n
= 0, k
n
,= k
m
. (245)
6.2.4 Fonctions propres et valeurs propres
Il existe une analogie de ce qui vient detre dit a propos des operateurs auto-adjoint avec la
theorie des matrices symetriques. Les matrices sont des operateurs lineaires sur des vecteurs.
Soit A une matrice de R
N
R
N
et un vecteur x R
N
, le produit Ax = b R
N
modie x de
facon lineaire i.e. A(x + y) = Ax + Ay.
De meme, nous avons montre que les operateurs dierentiels dont nous nous occupons sont
des operateurs lineaires sur des fonctions.
Nous avons deni la notion de produit scalaire pour les fonctions, nous pouvons aussi le
denir pour les vecteurs.
Le probl`eme matriciel
Ax + x = 0
est appele probl`eme aux valeurs propres. Les vecteurs propres dune matrice symetrique sont
orthogonaux. Une matrice A est symetrique si, pour tout vecteur x et y de R
N
,
< x, Ay >=< y, Ax > .
On voit donc que la denition (243) du caract`ere auto-adjoint de L est parfaitement ana-
logue `a la denition dune matrice symetrique. Comme pour les matrices symetriques, les
vecteurs/fonctions propres sont orthogonales, nous lavons demontre. Lanalogie est plus forte
encore :
Les k
2
n
sont reels,
il existe une innite de valeurs propres k
1
< k
2
< < k
n
< k
n+1
< . . . , il existe une
plus petite valeur propre, mais pas de plus grande.
A deux valeurs propres distinctes correspondent deux fonctions propres distinctes,
Les X
n
forment un ensemble inni qui est complet, i.e. nimporte quelle fonction g(x)
peut etre representee par une serie de fonctions propres :
g(x)

n=1
A
n
X
n
(x).
Cest lanalogue de la propriete des matrices symetriques qui dit que lensemble des
vecteurs propres forment une base de R
N
. Cette propriete nest pas triviale `a montrer.
Les X
n
sont orthogonaux.
LFSAB1103 - Mathematiques 3, partie EDP 71
Tab. 1: Resume des solutions du probl`eme aux valeurs propores X

+ X = 0.
Conditions
limites
X(0) = 0
X(L) = 0
X

(0) = 0
X

(L) = 0
X(L) = X(L)
X

(L) = X

(L)
Valeurs propres
k
n
n
L
n = 1, 2, . . .
n
L
n = 0, 1, 2, . . .
n
L
n = 0, 1, 2, . . .
Fonctions propres
X
n
sin
nx
L
cos
nx
L
cos
nx
L
et sin
nx
L
Series pour
f(x)
f(x) =

i=1
A
n
sin
nx
L
f(x) =

i=1
A
n
cos
nx
L
f(x) =

i=1
A
n
cos
nx
L
+

i=1
B
n
sin
nx
L
.
Coecients A
n
=
2
L

L
0
f(x) sin
nx
L
dx
B
0
=
1
L

L
0
f(x)dx
B
n
=
2
L

L
0
f(x) cos
nx
L
dx
A
n
=
1
L

L
L
f(x) sin
nx
L
dx
B
0
=
1
2L

L
L
f(x)dx
B
n
=
1
L

L
L
f(x) cos
nx
L
dx
6.2.5 Resume des solutions possible du probl`eme X

+ k
2
X = 0.
Un grand nombre de probl`emes que nous rencontrerons necessiteront la resolution du probl`eme
aux valeurs propres
X

+ k
2
X = 0.
La table 1 resume les formules interessantes pour les valeurs propres et les fonctions propres
de cette equation en fonction des conditions aux limites. Notons que nous ne considerons
ici que des conditions de Neumann ou de Dirichlet. Les conditions de Robin menent `a des
developpement plus complexes que nous detaillerons par la suite.
6.2.6 Equation de Laplace dans un cercle
On demande de calculer le prol de temperature stationnaire u(r, ) dans un cylindre
de rayon r = a. Les conditions aux limites sont :
u(r = a, ) = f().
Le but de cette section est double. On veut dabord montrer quil est possible dutiliser la
separation des variables dans un domaine circulaire (notons que ce domaine est rectangulaire
en coordonnees polaires). Dautre part, on demontrera ici une propriete fondamentale des
solutions de lequation de Laplace. Cette propriete nous permettra de demontrer lunicite de
la solution de lequation de Laplace. Lexistence est plus dicile `a montrer.
Lequation ` a resoudre est lequation de la chaleur stationnaire :

2
u = 0,
qui secrit (on la montre plus haut) en coordonnees polaires :

2
u
r
2
+
1
r
u
r
+
1
r
2

2
u

2
= 0.
LFSAB1103 - Mathematiques 3, partie EDP 72
Il est en eet naturel dutiliser les coordonnees polaires car les conditions limites sont appliquees
sur une courbe r = a, ce qui devrait permettre dutiliser la separation des variables. On applique
donc la separation de variables suivante :
u(r, ) = R(r)(),
qui, introduite dans lEDP, m`ene `a :
R

+
1
r
R

+
1
r
2
R

= 0,

+
1
r
R

R
+
1
r
2

= 0,

r
2
R

+ rR

R
=

= +k
2
,
Lequation en est du type X

+ k
2
X = 0 dont les solutions sont disponibles dans le tableau
1. La fonction est periodique, de periode 2, ce qui implique () = (2 + ) et

() =

(2 + ). La solution est donc

n
() = Acos(n) + Bsin(n).
avec la quantication la quantication
k
n
= n, n = 0, 1, . . .
Lequation en r donne
r
2
d
2
R
dr
2
+ r
dR
dr
k
2
n
R = 0. (246)
Notons ici quil nexiste que tr`es peu dequations dierentielles ordinaires du second ordre,
lineaires, ` a coecients variables, qui ait une solution sous forme de fonctions connues (sinus,
cosinus, exponentielles, polynomes...). La solution generale dune EDO du second ordre ho-
mog`ene est une combinaison lineaire de deux fonctions lineairement independantes. Lequation
(256) fait partie dune famille dODE connues sous le nom dequations dEuler. Lequation
dEuler dordre N secrit
N

i=0
A
i
x
i
d
i
y
dx
i
= 0. (247)
Si on essaye une solution du type
y(x) = x

dans (247), on trouve


N

i=0
A
i
x
i
(( 1)( 2) . . . ( i))x
i
= x

i=0
A
i
( 1)( 2) . . . ( i) = 0 (248)
qui est le polynome caracteristique de lequation dEuler dont les N racines
i
permettent de
calculer la solution generale
y(x) =
N

i=1
B
i
x

i
.
LFSAB1103 - Mathematiques 3, partie EDP 73
Dans notre cas, le polynome secrit
( 1) + k
2
n
= 0
dont les racines sont = k
n
. La solution de lequation en r est donc
R
n
(r) = C
n
r
k
n
+ D
n
r
k
n
.
La solution etant nie en r = 0, on elimine la partie en r
k
n
. La solution du probl`eme de
lequation de Laplace dans un cercle est donc
u(r, ) = A
0
+

n=1
r
n
(A
n
cos(n) + B
n
sin(n)) .
Les coecients A
n
et B
n
se calculent en utilisant u(r = a, ) = f() ainsi que lorthogonalite
des sinus et cosinus (voir le tableau 1) :
A
0
=
1
2
_
2
0
f()d,
A
n
=
1
a
n
_
2
0
f() cos(n)d,
B
n
=
1
a
n
_
2
0
f() sin(n)d.
Theor`eme de la valeur moyenne
La solution au centre du cercle vaut
u(0, ) = A
0
=
1
2
_
2
0
f()d.
En dautre termes, la solution au centre du cercle est egale ` a la moyenne de la temperature
imposee en r = a. On peut aussi calculer
_
a
0
_
2
0
u(r, )r dr d.

Etant donne lorthogonalite des sinus et des cosinus sur [0, 2], on a
_
a
0
_
2
0
r
n
(A
n
cos(n) + B
n
sin(n)) r dr d = 0.
On trouve donc
_
a
0
_
2
0
u(r, )r dr d = 2
a
2
2
A
0
= a
2
u(0, ).
En dautre termes, la solution au centre du cercle est egale ` a la moyenne de la temperature sur
le cercle.
Soit la solution u de lequation de Laplace dans un domaine ouvert du plan xy quelconque.
Considerons le cercle B de rayon a et de centre c (x, y) compl`etement inclus dans . Le resultat
que nous venons de demontrer se generalise: la valeur u(x, y) est egale `a
LFSAB1103 - Mathematiques 3, partie EDP 74
La moyenne
1
2a
_
B
u dl
de u calculee sur la circonference de nimporte quel cercle centre en (x, y).
La moyenne
1
a
2
_
B
u ds
de u calculee sur la surface du cercle.
Cest le theor`eme de la valeur moyenne. Notez que la proposition inverse est vraie: si la valeur
de u(x, y) en un point est egale ` a la moyenne de u sur nimporte quel cercle centre en (x, y)
inclus dans , alors u est solution de lequation de Laplace.
Theor`eme du maximum
Soit u(x, y) solution de lequation de Laplace

2
u = 0.
Nous allons montrer quil nest pas possible que u(x, y) soit maximale en un point c(x, y)
interieur `a .
On demontre cette propriete par labsurde. Considerons quil existe un maximum local ` a u
en c (x, y). Il existe donc une voisinage V de c (x, y) tel que, p (X, Y ) V , u(X, Y ) < u(x, y).
On consid`ere un cercle B de rayon centre en c(x, y) et compl`etement inclus dans V . Soit U
la valeur maximale de u sur le cercle. On sait, par le theor`eme de la valeur moyenne, que
2a u(x, y) =
_
B
u dl < 2a U.
Or, u est maximal en c (x, y), ce qui implique que u > U, ce qui contredit le theor`eme de la
moyenne (qui lui, est vrai).
La valeur maximale de u est donc toujours atteinte sur la fronti`ere du domaine . Cest
le theor`eme du maximum.
Theor`eme du minimum
La valeur minimale de u est donc toujours atteinte sur la fronti`ere du domaine . Cest le
theor`eme du minimum.
Unicite de la solution de lequation de Laplace
On demontre cette propriete par labsurde. Soit u(x, y) solution de lequation de Laplace

2
u = 0 dans
soumises `a des conditions limites de Dirichlet
u = u sur .
LFSAB1103 - Mathematiques 3, partie EDP 75
Imaginons quil existe une autre fonction v(x, y) solution de lequation de Laplace

2
v = 0 dans
soumises aux memes conditions limites
v = u sur .
On demontre que la fonction u v est necessairement nulle.
LEDP de Laplace est une EDP lineaire. On a donc

2
(u v) =
2
u
2
v = 0 dans
Les conditions aux limites sont elles aussi lineaires. On a donc
(u v) = u u = 0 sur .
La fonction (u v) est donc solution de lequation de Laplace soumise `a des conditions de
Dirichlet identiquement nulles.

Etant donne le theor`eme du maximum, (u v) 0 dans .

Etant donne le theor`eme du minimum, (u v) 0 dans . On a donc (u v) = 0 partout


dans .
6.2.7 Les conditions de Robin
Dans les deux exercices que nous venons de resoudre, la quantication des valeurs propres k
n
etait simple `a trouver, car il susait de trouver les zeros dune fonction trigonometrique. Nous
allons voir quavec des conditions de Robin, les choses sont plus complexes.
On demande de resoudre lequation de Laplace en 2 dimensions. On cherche T(x, y),
0 < x < L, 0 < y < H veriant lEDP :

2
T
x
2
+

2
T
y
2
= 0,
munie des conditions limites

T(0, y)
x
=
T(x, 0)
y
= 0,
T(L, y) = T
0
et
T(x, H)
y
= h
_
T(x, H) T

_
.
Interpretation physique du probl`eme
La temperature `a lequilibre thermique dans un solide verie, en labsence de sources volumiques
de chaleur, lequation de Laplace

2
T =

2
T
x
2
+

2
T
y
2
+

2
T
z
2
= 0.
Rappelons que plusieurs types de conditions aux limites peuvent etre imposees sur les
dierentes fronti`eres du domaine. Elles correspondent ` a des situations physiques realistes:
LFSAB1103 - Mathematiques 3, partie EDP 76
On peut imposer T = T
0
sur une partie de la fronti`ere (condition limite de Dirichlet). La
temperature est maintenue par un dispositif quelconque ` a la valeur xee T
0
.
On peut imposer le ux de chaleur T n = q
0
(condition limite de Neumann)
avec q
0
(W/m
2
). Le ux de chaleur est (loi de Fourier) proportionnel au gradient de
temperature, avec (W/mK) la constante de proportionalite (conductivite thermique).
Cette condition correspond physiquement `a apporter de la chaleur de facon contr olee ` a
travers une fronti`ere, par exemple gr ace `a un radiateur. Notez que, si la fronti`ere est
parall`ele au plan yz, la normale n ` a ce plan est dans le sens des x et la derivee normale
de la temperature T n vaut simplement
T
x
.
Dans le cas o` u la fronti`ere du solide est en contact avec un uide, de lair par exemple, on
peut montrer que le ux de chaleur ` a la paroi T n est proportionnel ` a la dierence
entre la temperature `a la paroi et la temperature du uide ` a linni, T

cest `a dire
susament loi de la paroi pour que celle-ci nait plus dinuence sur le uide. La condition
limite secrit donc T n = h(T T

) avec h(W/m
2
K) la constante de proportionalite.
Cette condition limite mixte sappelle habituellement condition limite de Robin.
Changement de variable 1
On eectue dabord le changement de variable u = (T T

) qui modie les conditions limites


comme suit :
u(0, y)
x
=
u(x, 0)
y
= 0,
u(L, y) = T
0
T

et
u(x, H)
y
= h u(x, H).
Notez que la derni`ere condition limite (dite de Robin)
u(x,H)
y
= h u(x, H) est rendue ho-
mog`ene par le changement de variable.
On cherche une famille de fonctions u
n
(x, y) veriant lEDP et les conditions limites ho-
mog`enes de la forme :
u
n
(x, y) = X(x)Y (y).
En introduisant cette forme dans lEDP, on trouve
X
X
=
Y
Y
= k
2
.
Le signe de la constante de separation k
2
est choisi pour obtenir des fonctions Y (y) non
trivialement nulles.
Suivant y, on trouve :
Y (y) = Acos(ky) + Bsin(ky).
La condition
u(x,0)
y
= 0, se traduit en Y

(0) = 0, ce qui donne B = 0. La condition de Robin


donne :
Y

(H) = h Y (H),
ou encore :
k sin(kH) = hcos(kH).
LFSAB1103 - Mathematiques 3, partie EDP 77
Les valeurs propres de loperateur sont donc les racines de lequation transcendante :
k =
h

cot(kH). (249)
Appelons z
n
les valeurs de k solutions de lequation (249). On suppose n = 1, 2, . . . .
0
2
4
6
8
10
0 2 4 6 8 10
x
1./tan(x)
Fig. 25: Trace des fonctions cot x et x. Les racines de lequation transcendante (249) donnant
les valeurs propres de loperateur sont situees aux abscisses des intersections des deux
courbes.
La dependance en X se resout classiquement :
X(x) = C cosh(z
n
x).
La solution generale de lEDP + conditions limites homog`enes est donc :
u(x, y) =

n=1
A
n
cosh(z
n
x) cos(z
n
y).
On utilise ensuite lorthogonalite des cosinus pour obtenir la condition limite non homog`ene
u(L, y) = T
0
T

:
T
0
T

n=1
A
n
cosh(z
n
L) cos(z
n
y)
LFSAB1103 - Mathematiques 3, partie EDP 78
(T
0
T

)
_
H
0
cos(z
m
y)dy = A
m
cosh(z
m
L)
_
H
0
cos
2
(z
m
y)dy.
On a :
_
H
0
cos(z
m
y)dy =
1
z
m
sin(z
m
y)[
H
0
=
1
z
m
sin(z
m
H),
_
H
0
cos
2
(z
m
y)dy =
1
2
_
H
0
(1 + cos(2z
m
y))dy =
H
2
+
1
4z
m
sin(2z
m
H).
On trouve nalement :
A
m
=
2
z
m
(H +
sin(2z
m
H)
2z
m
(T
0
T

) sin(z
m
H)
cosh(z
m
L)
.
Le trace de cette fonction necessite le calcul des z
m
. A ce stade, letudiant attentif se pose
deux questions legitimes !
Les fonctions propres cos(z
n
y) sont elles orthogonales sur [0, H] ?
Pour le demontrer, on demontre que loperateur L(Y ) = Y muni de conditions limites ho-
mog`enes generales Y

(0) = Y (0), Y

(H) = Y (H) est auto adjoint. Soit deux fonctions


propres de loperateur Y
1
et Y
2
(valeurs propres
1
et
2
distinctes). On a :
_
H
0
Y
1
Y
2
dy =
_
H
0
Y

1
Y

2
dy + Y

1
Y
2
[
H
0
=
_
H
0
Y
1
Y
2
dy + (Y

1
Y
2
Y
1
Y

2
)[
H
0
.
On a bien sur, etant donne les conditions limites que :
(Y

1
Y
2
Y
1
Y

2
)[
H
0
= Y
1
(H)Y
2
(H) Y
1
(H)Y
2
(H) (Y
1
(0)Y
2
(0) Y
1
(0)Y
2
(0)) = 0.
Loperateur est donc auto adjoint :
_
H
0
L(Y
1
)Y
2
dy =
_
H
0
Y
1
L(Y
2
)dy.
Les fonctions propres des operateurs auto-adjoints sont orthogonales :
_
H
0
L(Y
1
)Y
2
L(Y
2
)Y
1
dy = 0 = (
1

2
)
_
H
0
Y
1
Y
2
dy.
Donc, nos fonctions propres SONT orthogonales :
_
H
0
cos(z
n
y) cos(z
m
y)dy = 0.
Le choix dune constante de separation du signe oppose est-il invalide ?
Non, ce choix nest pas invalide, mais il mene ` a des solutions trivialement nulles ` a lODE
homog`ene. Essayons donc :
Y k
2
Y = 0.
LFSAB1103 - Mathematiques 3, partie EDP 79
On trouve :
Y (y) = Acosh(ky) + Bsinh(ky).
La condition
u(x,0)
y
= 0 donne B = 0. La condition de Robin :
Y

(H) = h Y (H)
donne :
Ak sinh(kH) = hAcosh(kH),
ou encore :
k =
h

Acoth kH.
Cette equation na pas de solution pour k R. En eet, la cotangente hyperbolique est toujours
positive pour des arguments positifs (voir Figure 26).
-10
-5
0
5
10
0 2 4 6 8 10
cosh(x)/sinh(x)
-x
Fig. 26: Trace des fonctions coth x et x.
Changement de variable 2
Notez quil est aussi possible de faire le changement de variable u = T T
0
. La diculte se
situe ailleurs, i.e. dans la fa con dappliquer la condition limite non homog`ene (il faut calculer
la derivee de la serie!). Dans ce cas, on a :
k =
_
(2n + 1)
2L
_
, n = 0, 1, . . .
Y (y) = Acosh(ky)
LFSAB1103 - Mathematiques 3, partie EDP 80
et
X(x) = Bcos(kx).
La solution secrit :
u(x, y) =

n=0
A
n
cos(kx) cosh(ky)
u(x, y)
y
=

n=0
A
n
k cos(kx) sinh(ky)
et la condition limite en y = H secrit :
h(T
0
T

) =

n=0
A
n
cos(kx) (hcosh(kH) + k sinh(kH))
On a donc :
h(T
0
T

)
_
L
0
cos
_
(2m + 1)
2L
x
_
dx =
A
m
L
2
_
hcosh
_
(2m + 1)
2L
H
_
+
(2m + 1)
2L
sinh
_
(2m + 1)
2L
H
__
,
do` u :
_
L
0
cos
_
(2m + 1)
2L
x
_
dx =
2L
(2m + 1)
sin
_
(2m + 1)
2L
x
_

L
0
=
2L
(2m + 1)
sin
_
(2m + 1)
2
_
=
2L
(2m + 1)
(1)
m
,
ce qui donne la jolie formule :
A
m
=
2
L
h(T
0
T

)
2L
(2m+1)
(1)
m
_
hcosh
_
(2m+1)
2L
H
_
+
(2m+1)
2L
sinh
_
(2m+1)
2L
H
__ .
La Figure 27 donne une idee de la somme des 400 premiers termes de la serie.
6.3 Equation donde
Lequation donde est en fait une autre appellation pour equation hyperbolique du second ordre.
Elle secrit

2
u
t
2
= c
2

2
u.
assujetie ` a des conditions aux limites et `a des conditions initiales adequates. On a bien s ur
t > 0 et on consid`ere de fa con generale x R
d
. On ecrit parfois loperateur donde comme
u =

2
u
t
2
c
2

2
u = 0.
LFSAB1103 - Mathematiques 3, partie EDP 81
Fig. 27: Solution du probl`eme (somme des 400 premiers termes) = 0.025W/mK et h =
3.12W/m
2
K.
Lequation donde est un mod`ele pour la vibration des cordes (d = 1), des membranes
(d = 2) et des solides (d = 3).
Nous rappelons que, dans le cas d = 1, lequation donde peut secrire comme deux EDPs
du premier ordre et quon pouvait appliquer la methode des caracteristiques pour la resoudre.
Nous allons maintenant tenter de resoudre cette meme equation pour d quelconque en utilisant
la methode de separation des variables.
6.3.1 Probl`eme de Helmoltz
Soit lequation

2
u
t
2
= c
2
_

2
u
x
2
+

2
u
y
2
_
(250)
Cette equation donde decrit le deplacement vertical u(x, y, t) dune membrane soumise ` a un
deplacement initial
u(x, y, 0) = u
0
(x, y), x, y R
2
et `a une vitesse initiale
u(x, y, 0) = u
0
(x, y).
LFSAB1103 - Mathematiques 3, partie EDP 82
La membrane est xee sur son pourtour
u(x, y, t) = 0, x, y . (251)
On commence par separer espace et temps
u(x, y, t) = T(t)(x, y).
ce qui donne, apr`es un bref developpement
T
c
2
T
=

2

= k
2
. (252)
Question: pourquoi ce signe pour la constante de separation dans lequation (252) ?
Reponse : pourquoi obtenir des solutions non trivialement nulles dans lequation .
On obtient directement
T(t) = Acos(kct) + Bsin(kct)
Le probl`eme aux valeurs propres

2
+ k
2
= 0 x, y
avec des C.L. homog`enes
a
(x, y, t) = 0 x, y .
sappelle le probl`eme de Helmoltz.
a
On a ici des conditions de Dirichlet, mais tout ce qui suit sur lequation de Helmoltz reste valable
pour nimporte quel type de conditions limites homog`enes.
Proposition : Loperateur
2
sur un domaine avec ces C.L. = 0 sur la fronti`ere (normale
exterieure n) de est auto-adjoint.
Demonstration : Soit
1
(x, y) et
2
(x, y) deux fonctions sannulant sur . (Ces fonctions peu-
vent etre des fonctions propres de loperateur
2
+ C.L. homog`enes, mais pas necessairement).
On a
_

2
dv =
_

1

2
dv +
_

1
n
2
..
=0 sur
ds
=
_

2
dv
_

1
..
=0 sur

2
nds.
=
_

2
dv.
Corollaire 1:
2
avec ces C.L. homog`enes generales a + b n = 0 est auto-adjoint.
A faire, voir exercice 1 de lAPE4 en 1D et voir 7.4 dans Haberman.
LFSAB1103 - Mathematiques 3, partie EDP 83
Corollaire 2 : les fonctions propres du pb. de Helmoltz relatives `a des valeurs propres dis-
tinctes sont orthogonales.
Demonstration : Soit
1
et
2
deux fonctions propres de
2
+ C.L. nulles relatives `a des
valeurs propres distinctes k
1
et k
2
. Elles verient donc

1
+ k
2
1

1
= 0 et
2

2
+ k
2
2

2
= 0
et sont nulles sur . On a
_

(
2

1
)dv =
..
car
2
+ CLH est auto adjoint
0
=
..
par denition de
1
et
2
(k
2
2
k
2
1
)
_

2
dv.
Notons que ce resultat est valable quel que soit , en une, deux et trois dimensions, et quelle
que soit la forme du domaine .
6.3.2 Vibrations dune membrane rectangulaire
Imaginons maintenant que soit un rectange de dimensions L H. On separle les variables
de la partie spatiale en
(x, y) = X(x)Y (y).
Le probl`eme de Helmoltz
2
+ = 0 est lui aussi separable
X
X
= k
2

Y
Y
= l
2
avec 0 une nouvelle constante de separation. Le signe negatif de cette nouvelle constante
de separation est choisi en vue dassurer des solutions non triviales en x. On trouve aisement
X(x) = C cos(lx) + Dsin(lx).
Lapplication des C.L. X(0) = X(L) = 0 donne C = 0 et
l =
n
L
, n = 1, 2, . . . .
et les fonctions propres deviennent
X(x) = Dsin
_
n
L
x
_
.
On trouve ensuite que Y (y) est solution de
Y + (k
2
l
2
)Y = 0
dont la solution est
Y (y) = E cos
_

k
2
l
2
y
_
+ F sin
_

k
2
l
2
y
_
.
LFSAB1103 - Mathematiques 3, partie EDP 84
sin(x)*sin(y)
0
1
2
3
4
5
6 0
1
2
3
4
5
6
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
sin(2*x)*sin(3*y)
0
1
2
3
4
5
6 0
1
2
3
4
5
6
-1
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
Fig. 28: Modes propres
22
(x, y) et
46
(x, y)
Lapplication des C.L. Y (0) = Y (H) = 0 donne nalement, outre E = 0, que

k
2
l
2
=
m
H
, m = 1, 2, . . . .
ou encore
k
2
=
_
m
H
_
2
+
_
n
L
_
2
.
et les fonctions propres du laplacien dans un rectangle sont

nm
(x, y) = X
n
(x)Y
m
(y) = sin
_
n
L
x
_
sin
_
m
H
y
_
.
La Figure 28 montre deux modes de vibration de la membrane.
On a (ca a ete demontre) que les fonctions propres de loperateur
2
sont orthogonales sur
le rectangle. Cela secrit:
_
L
0
_
H
0

mn
(x, y)
ij
(x, y)dxdy =
HL
4

im

jn
La solution generale du probl`eme (250) soumis `a des C.L. homog`enes (251) est donc
u(x, y, t) =

m=1

n=1
sin
_
n
L
x
_
sin
_
m
H
y
_
_
A
mn
cos
_
_
_
m
H
_
2
+
_
n
L
_
2
ct
_
+ B
mn
sin
_
_
_
m
H
_
2
+
_
n
L
_
2
ct
__
Les constantes A
mn
et B
mn
sont choisies en vue de verier les conditions initiales.
Les frequences propres
mn
de la membrane peuvent etre calculees comme suit :

mn
= c
_
_
m
H
_
2
+
_
n
L
_
2
.
LFSAB1103 - Mathematiques 3, partie EDP 85
Calcul des coecients A
mn
:
u(x, y, 0) = u
0
(x, y) =

m=1

n=1
A
mn
sin
_
n
L
x
_
sin
_
m
H
y
_
On utilise lorthogonalite des fonctions propres de loperateur dHelmoltz

mn
(x, y) = sin
_
n
L
x
_
sin
_
m
H
y
_
pour calculer :
A
mn
=
4
LH
_
L
0
_
H
0
u
0
(x, y) sin
_
n
L
x
_
sin
_
m
H
y
_
dxdy.
On calcule les coecients B
mn
comme suit :
u
0
(x, y) =

m=1

n=1
B
mn
c
_
_
m
H
_
2
+
_
n
L
_
2
sin
_
n
L
x
_
sin
_
m
H
y
_
Cas dune vitesse initiale de la membrane u
0
nulle : B
mn
= 0. Sinon :
B
mn
=
4
LH
1
c
_
_
m
H
_
2
+
_
n
L
_
2
_
L
0
_
H
0
u
0
(x, y) sin
_
n
L
x
_
sin
_
m
H
y
_
dxdy.
Faire ce genre de calculs peut saverer une tache complexe. On utilise en general des procedes
numeriques pour calculer ces coecients.
6.3.3 Vibrations dune membrane circulaire : Fonctions de Bessel
Soit lequation donde en coordonnees polaires (cercle de rayon a). On cherche ` a trouver u(r, , t)
solution de

2
u
t
2
= c
2
_
1
r

r
_
r
u
r
_
+
1
r
2

2
u

2
_
avec la C.L.
u(a, , t) = 0
et les conditions initiales
u(r, , 0) = u
0
(r, )
u(r, , 0) = u
0
(r, ).
On commence par separer espace et temps
u(r, , t) = T(t)(r, ).
ce qui donne, apr`es un bref developpement
T
c
2
T
=

2

= k
2
.
Notons que cette equation est lequantion de Helmoltz et que, vu les C.L. homog`enes, les
fonctions propres seront orthogonales.
LFSAB1103 - Mathematiques 3, partie EDP 86
On obtient directement, comme pour la membrane carree
T(t) = Acos(kct) + Bsin(kct)
Decomposons
(x, y) = R(r)().
On a

2
+ =
1
r
(rR

+
1
r
2
R + k
2
R = 0.
En divisant par R/r
2
, on trouve
1
R
r(rR

+
1

+ k
2
r
2
= 0
ou encore
1
R
r(rR

+ k
2
r
2
=
1

= m
2
avec m une seconde constante de separation.
Considerons la composante en :
+ m
2
= 0
dont la solution est
() = Acos(m) + Bsin(m).
La solution en est de periode 2 :
() = ( + 2)

() =

( + 2)
ce qui implique
m = 0, 1, 2, . . .
Considerons maintenant la composante en r:
r
2
R + rR

+ (k
2
r
2
m
2
)R = 0
Cette equation nest pas `a proprement parle lequation de Bessel. Pour obtenir la forme stan-
dard de lequation de Bessel, on pose
z = kr
ce qui donne lequation dierentielle de Bessel dordre m :
z
2
R + zR

+ (z
2
m
2
)R = 0. (253)
Notez que cette equation nest PAS une equation dEuler (` a cause du m
2
).
La solution generale de toute equation dierentielle homog`ene du second ordre est une
combinaison de deux fonctions independantes:
R(z) = AJ
m
(z) + BY
m
(z).
LFSAB1103 - Mathematiques 3, partie EDP 87
-1.5
-1
-0.5
0
0.5
1
1.5
0 2 4 6 8 10
J0
J1
Y0
Y1
Fig. 29: Fonctions de Bessel de premi`ere esp`ece J
m
et de deuxi`eme esp`ece Y
m
. Sur le graphique
sont tracees les fonctions J
0
, J
1
, Y
0
et Y
1
. Notez que les fonctions Y de seconde esp`ece
sont singuli`ere ` a lorigine.
Il existe un nombre tr`es limite dEDO du second ordre lineaires `a coecients non constants
dont la solution peut secrire sous forme fermee. Quand une de ces EDOs apparat dans un
domaine de la physique, on associe en general sa solution ` a une paire de fonctions speciales.
Dans le cas de lequation (253), les deux fonctions solution sont appelees fonctions de
Bessel de premi`ere et de seconde esp`ece. Elles sont disponibles dans toutes les applications
mathematiques (Matlab, Mathematica ...) ainsi que dans tous les compilateurs. Notez qu`a
chaque valeur de m correspond deux fonctions de Bessel (Figure 29) .
Le comportement asymptotique pour z 0 de J est :
J
m
(z)
_
1 m = 0
1
2
m
m!
z
m
m > 0
Y
m
(z)
_
2

ln z m = 0
2
m
(m1)!

z
m
m > 0
Pour plus de details, voir 7.8 et suivants dans Haberman.
LFSAB1103 - Mathematiques 3, partie EDP 88
Revenons ` a notre probl`eme aux valeurs propres avec des fonctions de Bessels. Lequation
en r a donc pour solution
R
m
(z) = AJ
m
(z) + BY
m
(z).
On doit en plus imposer
R(a) = 0.
Comme nous lavons vu sur le Figure 29, les J et les Y sont des fonctions oscillantes
possedant une innite de zeros. Quelques remarques :
Labscisse du ni`eme zero de J
m
est notee z
mn
, z
01
= 2.40483, z
02
= 5.52008, z
03
=
8.65373...
Les Y sont singuli`eres ` a lorigine,
Seule J
O
est non nulle ` a lorigine.
On a donc necessairement B = 0 car la solution doit rester nie pour r = 0. Notez que,
dans le cas ou lorigine ne fait pas partie du domaine, on ne peut rejeter les Y . La condition
u(a, , 0) = 0 se traduit ici en
J
m
(ka) = 0
ce qui implique le choix suivant pour les valeurs propres k
mn
7
:
k
n
a = z
mn
.
ou encore
k
mn
=
z
mn
a
.
Le fonctions (modes) propres du probl`eme de Helmoltz circulaire avec C.L. nulles sont donc

mn
(r, ) = J
m
_
z
mn
a
r
_
(Acos(m) + Bsin(m)) .
La Figure 30 montre quelques uns de ces modes.
Lorthogonalite des

mn
(r, ) = J
m
_
z
mn
a
r
_
(Acos(m) + Bsin(m)) :
_

mn
(r, )
ij
(r, )ds = 0.
a ete demontree plus haut dans le cas general. On trouve donc
_
2
0
sin(m) sin(i)d
_
a
0
J
m
_
z
mn
a
r
_
J
i
_
z
ij
a
r
_
rdr = 0.
Les deux termes de cette egalite sont tous deux simultanement nuls. On a donc
_
a
0
J
m
_
z
mn
a
r
_
J
i
_
z
ij
a
r
_
rdr = 0.
7
les k deviennent des k
mn
, ils sont maintenant quanties en fonction de m et de n.
LFSAB1103 - Mathematiques 3, partie EDP 89
(x**2+y**2) > 2.4*2.4 ? 0:besj0(sqrt(x**2+y**2))
-2
-1.5
-1
-0.5
0
0.5
1
1.5
2
-2
-1.5
-1
-0.5
0
0.5
1
1.5
2
0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
(x**2+y**2) > 5.52*5.52 ? 0:besj0(sqrt(x**2+y**2))
-4
-2
0
2
4
-4
-2
0
2
4
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
(x**2+y**2) > 8.65*8.65 ? 0:besj0(sqrt(x**2+y**2))
-8
-6
-4
-2
0
2
4
6
8
-8
-6
-4
-2
0
2
4
6
8
-0.6
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
Fig. 30: Modes propres
01
(x, y),
02
(x, y) et
03
(x, y).
LFSAB1103 - Mathematiques 3, partie EDP 90
Pour simplier les notations, choisissons une vitesse initiale nulle. Dans ce cas, T
mn
(t) =
Acos(ck
mn
t) et la solution generale du probl`eme avec C.L. nulles est
u(r, , t) =

m=0

n=1
A
mn
J
m
_
z
mn
a
r
_
cos(m) cos
_
z
mn
a
ct
_
+

m=1

n=1
B
mn
J
m
_
z
mn
a
r
_
sin(m) cos
_
z
mn
a
ct
_
.
On utilise lorthogonalite des fonctions propres pour calculer les coecients
_
2
0
_
a
0
u
0
(r, )J
m
_
z
mn
a
r
_
cos(m) rdrd = A
mn

_
a
0
J
2
m
_
z
mn
a
r
_
rdr
Certaines integrales faisant intervenir des fonctions de Bessel sont tabulees. On a par exemple
_
x
m
J
0
(x) dx = x
m
J
1
(x) + (m1)x
m1
J
0
(x) (m1)
2
_
x
m2
J
0
(x)dx
Grace `a cette relations, il est possible de calculer la solution quand u
0
(r) est un
polyn ome.
m = 1 :
_
xJ
0
(x) dx = xJ
1
(x)
m = 2 :
_
x
2
J
0
(x) dx = x
2
J
1
(x) + xJ
0
(x)
_
J
0
(x)dx
m = 3 :
_
x
3
J
0
(x) dx = x
3
J
1
(x) + 2x
2
J
0
(x) 4xJ
1
(x)
Considerons le cas (simple) o` u u
0
est independant de . Dans ce cas, seul les termes relatifs
` a m = 0 sont non nuls et la solution est independante de .
Le cas dune vitesse initiale nulle et u
0
(r) independant de donne donc
u(r, t) =

n=1
A
n
J
0
_
z
0n
a
r
_
cos
_
z
0n
a
ct
_
.
et
A
n
=
_
a
0
u
0
(r)J
0
_
z
0n
a
r
_
rdr
_
a
0
J
2
0
_
z
0n
a
r
_
dr
.
LFSAB1103 - Mathematiques 3, partie EDP 91
7 Exercices Resolus
7.1 Separation des Variables
7.1.1 Equation de Laplace dans un anneau
On demande de calculer le prol de temperature stationnaire dans un cylindre creux
de rayon interne r = a et de rayon externe r = b.
Les conditions aux limites sont :
T(r = a, ) = T
0
,
T(r = b, ) = f().
Lequation ` a resoudre est lequation de la chaleur stationnaire :

2
T = 0,
qui secrit en coordonnees cylindriques :

2
T
r
2
+
1
r
T
r
+
1
r
2

2
T

2
= 0.
An de se limiter `a une seule condition non-homog`ene, nous choisissons le changement de
variable u(r, ) = T(r, ) T
0
, ce qui m`ene aux conditions aux limites suivantes :
u(a, ) = 0 u(b, ) = f() T
0
.
Comme le probl`eme est periodique de periode 2, on a les conditions homog`enes supplementaires
:
u(r, ) = u(r, + 2)
u(r, )

=
u(r, + 2)

.
Lequation de la chaleur est inchangee avec le changement de variables :

2
u
r
2
+
1
r
u
r
+
1
r
2

2
u

2
= 0.
Separation des variables
On applique la separation de variables suivante :
u(r, ) = R(r)(),
qui, introduite dans lEDP, m`ene `a :
R

+
1
r
R

+
1
r
2
R

= 0,

+
1
r
R

R
+
1
r
2

= 0,
LFSAB1103 - Mathematiques 3, partie EDP 92

r
2
R

+ rR

R
=

= +k
2
,
le signe + etant choisi parce quon sattend `a obtenir des solutions periodiques `a lequation
en .
1. EDO en R(r) :
On obtient lEDO suivante pour R(r) :
r
2
d
2
R
dr
2
+ r
dR
dr
k
2
R = 0.
Il sagit dune equation dEuler : une equation lineaire du 2
`eme
ordre `a coecients non-
constants. Pour la resoudre, on pose r = e
v
, cest-` a-dire v = ln r. On ecrit ensuite lEDO
en fonction de v. Pour ce faire, nous avons besoin de reexprimer les derivees de R par
rapport `a r en derivees par rapport `a v :
dR
dr
=
dR
dv
dv
dr
=
dR
dv
1
r
,
d
2
R
dr
2
=
d
dr
_
dR
dr
_
=
d
dr
_
1
r
dR
dv
_
=
1
r
2
dR
dv
+
1
r
d
dr
_
dR
dv
_
=
1
r
2
dR
dv
+
1
r
d
dv
_
dR
dv
_
dv
dr
=
1
r
2
dR
dv
+
1
r
2
d
2
R
dv
2
=
1
r
2
d
2
R
dv
2

1
r
2
dR
dv
.
En introduisant ces resultats dans lEDO, on trouve :
d
2
R
dv
2
k
2
R(v) = 0.
Pour k
2
> 0, on a une famille de solutions exponentielles :
R(v) = C
1
e
kv
+ C
2
e
kv
= R(r) = C
1
r
k
+ C
2
r
k
.
En appliquant la condition aux limites homog`ene R(a, 0) = 0, on trouve :
C
1
a
k
+ C
2
a
k
= 0,
C
2
= C
1
a
2k
,
ce qui nous donne une famille de solutions :
= R(r) = C
1
_
r
k
a
2k
r
k

.
LFSAB1103 - Mathematiques 3, partie EDP 93
Pour k = 0, lEDO devient :
d
2
R
dv
2
= 0,
et donc :
R(v) = C
01
v + C
02
R(r) = C
01
ln r + C
02
.
Lapplication de la condition aux limites R(a, 0) = 0 donne :
C
01
=
C
02
ln a
,
ce qui m`ene `a la solution :
R(r) = C
02
_
1
ln r
ln a
_
.
2. EDO en () :
d
2

d
2
+ k
2
= 0.
Pour k
2
> 0, on a une famille de solutions en sinus et cosinus :
() = D
1
cos(k) + D
2
sin(k).
Lapplication de lune ou de lautre condition aux limites (r, ) = (r, + 2) ou
d
d
(r, ) =
d
d
(r, + 2) donne la resultat suivant :
k = n n = 1, 2, ...
Pour k = 0,
() = D
01
+ D
02
,
et les conditions aux limites nous donnent :
D
01
= 0.
3. Une constante de separation negative donne la solution triviale
Si on prend une constante de signe oppose au cas etudie ci-dessus, lequation en devient:

= l
2
,
dont les solutions seraient de la forme :
() = E
1
e
l
+ E
2
e
l
.
En applicant les conditions aux limites, on obtient E
1
= E
2
= 0.
LFSAB1103 - Mathematiques 3, partie EDP 94
4. Solution du probl`eme homog`ene :
La solution la plus generale, combinaison lineaire de toutes les solutions trouvees, du
probl`eme homog`ene est donc :
u(r, ) = A
0
_
1
ln r
ln a
_
+

n=1
_
(A
n
sin(n) + B
n
cos(n))
_
r
n
a
2n
r
n
_
,
o` u les constantes A
0
, A
n
, B
n
absorbent les constantes D
02
, C
02
, D
1
, D
2
, C
1
.
5. Condition non-homog`ene :
La solution du probl`eme doit egalement satisfaire la condition non-homog`ene u(b, ) =
f() T
0
, ce qui secrit :
f() T
0
= A
0
_
1
ln b
ln a
_
+

n=1
_
(A
n
sin(n) + B
n
cos(n))
_
b
k
a
2k
b
k
_
. (254)
Ceci peut etre reecrit
f() T
0
= a
0
+

n=1
a
n
sin(n) +

n=1
b
n
cos(n),
avec
a
0
= A
0
_
1
ln b
ln a
_
,
a
n
= A
n
_
b
k
a
2k
b
k
_
,
b
n
= B
n
_
b
k
a
2k
b
k
_
.
Nous pouvons maintenant utiliser les proprietes dorthogonalite des sinus et des cosinus
pour calculer une ` a une chacune des constantes a
0
, a
n
, b
n
:
Pour calculer a
0
, on utilise
1
2
_

sin(n)d = 0
1
2
_

cos(n)d = 0 n.
On obtient :
1
2
_

(f() T
0
) d = a
0
+ 0 + 0,
ce qui nous fournit a
0
et donc A
0
.
LFSAB1103 - Mathematiques 3, partie EDP 95
Pour calculer a
n
, on utilise les relations dorthogonalite suivantes (la demonstration
des relations dorthogonalite pour des coecients des sinus et cosinus egaux ` a n se
fait de mani`ere similaire ` a lexercice 1) :
1

sin(n)d = 0 n,
1

sin(n) cos(m)d = 0 m, n,
1

sin(n) sin(m)d = 0 m ,= n,
1

sin(n) sin(m)d = 1 m = n ,= 0.
En multipliant la condition par
1

sin(m) et en lintegrant de ` a , on obtient :


1

(f() T
0
) sin(m)d = 0 + a
m
+ 0,
ce qui nous fournit a
m
et donc A
m
.
Pour calculer b
n
, on utilise les relations dorthogonalite suivantes (la demonstration
des relations dorthogonalite pour des coecients des sinus et cosinus egaux ` a n se
fait de mani`ere similaire ` a lexercice 1) :
1

cos(n)d = 0 n,
1

sin(n) cos(m)d = 0 m, n,
1

cos(n) cos(m)d = 0 m ,= n,
1

cos(n) cos(m)d = 1 m = n ,= 0.
En multipliant la condition par
1

cos(m) et en lintegrant de ` a , on obtient :


1

(f() T
0
) cos(m)d = 0 + 0 + b
m
,
ce qui nous fournit b
m
et donc B
m
.
La solution est decrite ` a lequation (254), avec ces valeurs pour les coecients A
0
, A
n
et
B
n
.
Resoudre lequation de Laplace ` a lexterieur dun disque circulaire de rayon a i.e. pour
r a. soumis `a la condition limite
u(a, ) = u
0
(ln 2 + 4 cos 3)
LFSAB1103 - Mathematiques 3, partie EDP 96
Faites lhypoth`ese que la solution u(r, ) reste nie quand t . On donne le laplacien en
coordonnees polaires

2
f =
1
r

r
_
r
f
r
_
+

2
f

2
.
Solution
On applique donc la separation de variables suivante :
u(r, ) = R(r)(),
qui, introduite dans lEDP, m`ene `a :
R

+
1
r
R

+
1
r
2
R

= 0,

+
1
r
R

R
+
1
r
2

= 0,

r
2
R

+ rR

R
=

= +k
2
,
La fonction est periodique, de periode 2, ce qui implique () = (2 + ) et

() =

(2 + ). La solution est donc

n
() = Acos(n) + Bsin(n).
avec la quantication la quantication
k
n
= n, n = 0, 1, . . .
Lequation en r donne
r
2
d
2
R
dr
2
+ r
dR
dr
k
2
n
R = 0. (255)
La solution de lequation en r est donc, soit
R
n
(r) = C
n
r
k
n
+ D
n
r
k
n
,
pour k
n
,= 0, soit
R
0
(r) = E
0
ln(r) + D
0
.
pour k
n
= 0. La solution etant nie en r , on elimine les parties en r
k
n
et en ln r. La
solution en r donne donc
R
n
(r) = D
n
r
k
n
, n = 0, 1, 2, . . .
La solution du probl`eme de lequation de Laplace ` a lexterieur dun cercle est donc
u(r, ) = A
0
+

n=1
r
n
(A
n
cos(n) + B
n
sin(n)) .
Les coecients A
n
et B
n
se calculent en utilisant
u(r = a, ) = 4 cos 3 + ln 2
ce qui donne A
0
= u
0
ln 2, A
3
= 4u
0
a
3
et tous les autres A
i
s et B
i
s nuls i.e.
u(r, ) = u
0
(ln 2 + 4a
3
r
3
cos(3)).
LFSAB1103 - Mathematiques 3, partie EDP 97
7.1.2 Equation de Laplace `a lexterieur dun disque.
Resoudre lequation de Laplace `a lexterieur dun disque circulaire de rayon a i.e. pour
r a. soumis `a la condition limite
u(a, ) = u
0
(ln 2 + 4 cos 3)
Faites lhypoth`ese que la solution u(r, ) reste nie quand r . On donne le
laplacien en coordonnees polaires

2
f =
1
r

r
_
r
f
r
_
+
1
r
2

2
f

2
.
On applique donc la separation de variables suivante :
u(r, ) = R(r)(),
qui, introduite dans lEDP, m`ene `a :
R

+
1
r
R

+
1
r
2
R

= 0,

+
1
r
R

R
+
1
r
2

= 0,

r
2
R

+ rR

R
=

= +k
2
,
La fonction est periodique, de periode 2, ce qui implique () = (2 + ) et

() =

(2 + ). La solution est donc

n
() = Acos(n) + Bsin(n).
avec la quantication la quantication
k
n
= n, n = 0, 1, . . .
Lequation en r donne
r
2
d
2
R
dr
2
+ r
dR
dr
k
2
n
R = 0. (256)
La solution de lequation en r est donc, soit
R
n
(r) = C
n
r
k
n
+ D
n
r
k
n
,
pour k
n
,= 0, soit
R
0
(r) = E
0
ln(r) + D
0
.
pour k
n
= 0. La solution etant nie en r , on elimine les parties en r
k
n
et en ln r. La
solution en r donne donc
R
n
(r) = D
n
r
k
n
, n = 0, 1, 2, . . .
LFSAB1103 - Mathematiques 3, partie EDP 98
La solution du probl`eme de lequation de Laplace ` a lexterieur dun cercle est donc
u(r, ) = A
0
+

n=1
r
n
(A
n
cos(n) + B
n
sin(n)) .
Les coecients A
n
et B
n
se calculent en utilisant
u(r = a, ) = 4 cos 3 + ln 2
ce qui donne A
0
= u
0
ln 2, A
3
= 4u
0
a
3
et tous les autres A
i
s et B
i
s nuls i.e.
u(r, ) = u
0
(ln 2 + 4a
3
r
3
cos(3)).
7.1.3 Equation de Laplace dans un cylindre
Calculez la distribution de temperature stationnaire T(r, , z) dans un cylindre de
longueur l et de rayon a en equilibre thermique i.e. resolvez

2
T = 0.
La surface laterale r = a et la surface circulaire superieure z = l sont maintenues ` a
T = 0. Un ux de chaleur constant
q =
T
z
est impose `a la base z = 0 du cylindre.
La solution du probl`eme est clairement independante de . On a donc la simplication du
Laplacien :

2
T =
1
r

r
_
r
T
r
_
+

2
T
z
2
= 0.
LEDP etant lineaire, avec une seule condition fronti`ere inhomog`ene, on peut appliquer la
methode de separation des variables.
T(r, z) = R(r)Z(z);
LEDP devient donc
1
r
d
dr
_
r
dR(r)
dr
_
Z(z) +
d
2
Z(z)
dz
2
R(r) = 0
1
rR(r)
d
dr
_
r
dR(r)
dr
_
=
1
Z(z)
d
2
Z(z)
dz
2
= k
2
Le probl`eme en Z est bien connu:
Z

= k
2
Z
la solution est:
Z(z) = Ae
kz
+ Be
kz
LFSAB1103 - Mathematiques 3, partie EDP 99
On peut le reexprimer comme
Z(z) = cosh(k(z l)) + sinh(k(z l))
La condition T(r, , z = l) = 0 induit = 0, et donc
Z(z) = sinh(k(z l))
Le probl`eme en R est dierent de ceux abordes jusqu`a present.
d
dr
_
r
dR(r)
dr
_
+ k
2
rR(r) = 0
qui est equivalent ` a:
r
2
R

+ rR

+ k
2
r
2
R = 0.
Cest un cas particulier de lequation de Bessel (p306 dans Haberman 4th edition)
r
2
R

+ rR

+ (r
2
m
2
)R = 0,
avec m = 0 et = k
2
. La solution generale de cette equation est (Haberman p309):
R = CJ
0
(kr) + DY
0
(kr),
avec J
0
la fonction de Bessel de premi`ere esp`ece dordre 0 et Y
0
la fonction de Bessel de seconde
esp`ece dordre 0. Les proprietes des fonctions de Bessel utiles ici sont:
Les Y
m
ne sont pas bornees en 0 D = 0.
J
0
est une fonction qui oscille, mais ses racines nont pas dexpression algebrique.
la derivee de J
0
en 0 est nulle.
En appliquant la condition fronti`ere T(r = a, , z) = 0 induit donc que ka est racine de J
0
, et
donc
k
i
=
z
0i
a
avec z
0i
les racines de J
0
, i > 0. Finalement, on obtient
T(r, , z) =

i=1
C
i
J
0
(k
i
r) sinh(k
i
(z l)). (257)
Reste `a appliquer la condition fronti`ere inhomog`ene en z = 0.
q =
T
z
=

i=1
C
i
J
0
(k
i
r)k
i
cosh(k
i
(z l))
Donc
_
a
0
qrJ
0
(k
j
r)dr =
_
a
0
rJ
0
(k
j
r)

i=1
C
i
J
0
(k
i
r)k
i
cosh(k
i
(z l))dr
LFSAB1103 - Mathematiques 3, partie EDP 100
_
a
0
qrJ
0
(k
j
r)dr =

i=1
C
i
k
i
cosh(k
i
(z l))
_
a
0
rJ
0
(k
j
r)J
0
(k
i
r)dr
comme on a la propriete dorthogonalite:
_
a
0
rJ
0
(k
i
r)J
0
(k
j
r)dr = 0 si i ,= j
_
a
0
qrJ
0
(k
j
r)dr = C
j
k
j
cosh(k
j
(z l))
_
a
0
r
_
J
0
(k
j
r)
_
2
dr
C
j
=
_
a
0
qrJ
0
(k
j
r)dr
k
j
cosh(k
j
(z l))
_
a
0
r
_
J
0
(k
j
r)
_
2
dr
(258)
la solution est donc celle de lequation (257) munie des coecients deni ` a lequation (258).
7.1.4 Equation de Laplace dans un cylindre. Fonctions de Bessel modiees
Calculez la distribution de temperature stationnaire T(r, , z) dans un cylindre de
longueur l et de rayon a en equilibre thermique i.e. resolvez

2
T = 0.
Les deux surfaces circulaires superieure et inferieures sont maintenues ` a T = 0. La
temperature est imposee en r = a: T(a, , z) = f(z).
La solution du probl`eme est clairement independante de . On a donc la simplication du
Laplacien :

2
T =
1
r

r
_
r
T
r
_
+

2
T
z
2
= 0.
LEDP etant lineaire, avec une seule condition fronti`ere inhomog`ene, on peut appliquer la
methode de separation des variables.
T(r, z) = R(r)Z(z);
LEDP devient donc
1
r
d
dr
_
r
dR(r)
dr
_
Z(z) +
d
2
Z(z)
dz
2
R(r) = 0
1
rR(r)
d
dr
_
r
dR(r)
dr
_
=
1
Z(z)
d
2
Z(z)
dz
2
= k
2
La constante de separation a ete choisie pour obtenir une solution oscillante en z. Le probl`eme
en Z donne :
Z

+ k
2
Z = 0
et sa solution est:
Z(z) = Acos(kz) + Bsin(kz).
LFSAB1103 - Mathematiques 3, partie EDP 101
La condition Z(0) = 0 donne A = 0. La condition Z(l) = 0 donne
k
n
=
n
l
, l = 1, 2, . . .
Le probl`eme en R est
d
dr
_
r
dR(r)
dr
_
k
2
rR(r) = 0
qui est equivalent ` a:
r
2
R

+ rR

k
2
r
2
R = 0.
On pose z = kr ce qui donne
k
2
r
2
d
2
R
dz
2
+ rk
dR
dz
k
2
r
2
R = 0.
ou encore
d
2
R
dz
2
+
1
z
dR
dz
R = 0.
Cest un cas particulier de lequation de Bessel modiee
d
2
R
dz
2
+
1
z
dR
dz

_
1 +
m
2
z
2
_
R = 0.
avec m = 0. La solution generale de cette equation est :
R(r) = CI
0
(kr) + DK
0
(kr),
avec I
0
la fonction de Bessel modiee de premi`ere esp`ece dordre 0 et K
0
la fonction de Bessel
modiee de seconde esp`ece dordre 0. Les proprietes des fonctions de Bessel modiees utiles ici
sont:
Les K
m
ne sont pas bornees en r = 0 D = 0.
I
0
est une fonction bornee en r = 0.
Finalement, on obtient
T(r, z) =

n=1
C
n
I
0
(k
n
r) sin(k
n
z). (259)
Reste `a appliquer la condition fronti`ere inhomog`ene T(a, z) = f(z):
f(z) =

n=1
C
n
I
0
(k
n
a) sin(k
n
z).
En utilisant lorthogonalite des sinus, on trouve
_
l
0
f(z) sin(k
n
z)dz = C
n
I
0
(k
n
a)
l
2
ou encore
C
n
=
2
_
l
0
f(z) sin(k
n
z)dz
lI
0
(k
n
a)
LFSAB1103 - Mathematiques 3, partie EDP 102
7.1.5 Equation de Laplace dans un cube
Soit `a resoudre lequation de Laplace ` a 3 variables spatiales. Calculez la solution
u(x, y, z) dans le pave:
P
_
_
_
0 x
0 y
0 z
en considerant un probl`eme de Dirichlet homog`ene sauf en x = o` u on impose:
u(, y, z) = g(y, z).
Nous pouvons directement appliquer la methode de separation des variables:
u(x, y, z) = X(x)Y (y)Z(z).
LEDP devient alors:
X

X
+
Y

Y
+
Z

Z
= 0 (x, y, z) P.
Comme chacun des termes de cette somme ne depend respectivement que de x, de y et de z,
on en deduit que chacun deux est constant. On a donc successivement:
X

X
= (
Y

Y
+
Z

Z
) = k
2
et
Y

Y
=
Z

Z
k
2
= m
2
.
Dapr`es les conditions aux limites homog`enes, nous obtenons donc en y:
Y (y) = sin(my) = Y
m
(y) m N
0
tandis quen z, on a:
Z

Z
= (k
2
m
2
) = n
2
Z(z) = sin(nz) = Z
n
(z) n N
0
.
En x, il reste:
X

X
= k
2
= m
2
+ n
2
.
La condition limite en x = 0 donne X(0) = 0, ce qui implique:
X(x) = Asinh(

m
2
+ n
2
x).
La solution generale de lEDP associee aux conditions homog`enes est donc:
u(x, y, z) =

(m,n)N
2
0
A
(m,n)
sinh(

m
2
+ n
2
x) sin(my) sin(nz)
LFSAB1103 - Mathematiques 3, partie EDP 103
pour laquelle on doit encore appliquer la condition non homog`ene en x = :
g(y, z) =

(m,n)N
2
0
A
(m,n)
sinh(

m
2
+ n
2
) sin(my) sin(nz).
Ceci est le developpement en termes de fonctions
m,n
(y, z) = sin(my) sin(nz) de la fonction
g(y, z), cest-`a-dire sa serie de Fourier sinus en dimenstion 2.
On peut montrer que
m,n
; m, n N
0
forme un syst`eme orthogonal complet dans L
2
(C, R),
o` u C = [0, ] [0, ]. Cest-` a-dire:
__
C

m,n

,n
= 0 si (m, n) ,= (m

, n

)
__
C
(
m,n
)
2
=

2
4
et les coecients sont donc donnes par:
A
(m,n)
=
4

2
sinh(

m
2
+ n
2
)
__
C
g
m,n
.
7.1.6 Diusion thermique en milieu ni (1/3)
Soit `a resoudre lequation de diusion 1D. On cherche u(x, t), 0 < x < L, t > 0
veriant lEDP
u
t
=

2
u
x
2
,
munie des conditions limites homog`enes (CLH)
u(0, t)
x
=
u(L, t)
x
= 0,
et de la condition initiale (CI)
u(x, 0) =
_
U si < L/2
0 si L/2
.
On cherche une famille de fonctions u
n
(x, t) veriant lEDP et les CLH de la forme
u
n
(x, t) = X(x)T(t).
En introduisant cette forme dans lEDP, on trouve
X
X
=
T

T
= k
2
.
Ici, T

=
dT
dt
est sans ambiguite car T ne depend que de t. Idem pour X =
d
2
X
dx
2
. Le signe de la
constante de separation k
2
est choisi pour obtenir des fonctions X(x) non trivialement nulles.
On trouve tout dabord une famille (` a un element) relative ` a k = 0 :
u
0
(x, t) = A
0
LFSAB1103 - Mathematiques 3, partie EDP 104
avec A
0
une constante. On trouve ensuite une famille relative `a k
2
> 0 :
u
n
(x, t) = e
k
2
t
(Acos(kx) + Bsin(kx)) .
Pour que cette famille verie a priori les CLH, on choisit B = 0 et k =
_
n
L
_
. On a donc une
quantication (n = 1, 2, 3, . . . ) des fonctions et des valeurs propres de loperateur et
u
n
(x, t) = A
n
e
(n/L)
2
t
cos(n/L x).
La solution generale de lEDP + CLH + CI secrit comme une combinaison lineaire des solutions
de lEDP + CLH :
u(x, t) = A
0
+

n=1
A
n
e
(n/L)
2
t
cos(n/L x).
On utilise lorthogonalite des cosinus pour calculer les A
n
:
u(x, 0) = A
0
+

n=1
A
n
cos(n/L x).
_
L
0
u(x, 0)dx = A
0
L.
_
L
0
u(x, 0) cos(m/L x)dx = A
m
_
L
0
cos
2
(m/L x)dx
. .
L/2
.
On trouve aisement que
A
0
= U/2
et
A
m
=
2U
L
_
L/2
0
cos(m/L x)dx =
2U
L
L
m
sin(m/L x)]
L/2
0
=
2U
m
sin(m/2).
Verier quon a bien que A
m
= 0 pour les m pairs.
On a donc
u(x, t) =
U
2
+

n=1
2U
n
sin(n/2)e
(n/L)
2
t
cos(n/L x).
La gure 31 montre une illustration du phenom`ene de Gibbs, i.e. la convergence non
monotone des series de Fourier en presence dune discontinuite (en x = L/2). La gure 32
montre levolution de la solution dans le temps. Notez que pour des temps adimensionnels
= t/L
2
1, par exemple = 1.e 4, la solution est approximee d`element avec peu de
modes (10 modes).
Noter enn que la valeur nale de u est bien la valeur moyenne de u(x, 0), ce qui est bien
conforme `a la theorie.
LFSAB1103 - Mathematiques 3, partie EDP 105
0
0.2
0.4
0.6
0.8
1
1.2
0 0.2 0.4 0.6 0.8 1
5 modes
10 modes
20 modes
100 modes
1000 modes
Fig. 31: u(x, 0) pour un nombre de modes de Fourier variable
LFSAB1103 - Mathematiques 3, partie EDP 106
0
0.2
0.4
0.6
0.8
1
1.2
0 0.2 0.4 0.6 0.8 1
Fig. 32: u(x, t) pour dierents temps
LFSAB1103 - Mathematiques 3, partie EDP 107
7.1.7 Diusion thermique en milieu ni (2/3)
On consid`ere lequation de diusion pour le champ de temperature, T(x, t), au travers
dun mur depaisseur L :
u
t
=

2
u
x
2
avec u(x, t) = T(x, t) T
0
et avec = k/( c) le coecient de diusivite. La
temperature initiale est uniforme : T(x, 0) = T
0
. Pour t > 0, on applique un ux de
chaleur constant et positif sur la face avant, et le meme ux de chaleur sur la face
arri`ere : k
T
x
(0, t) = q
0
> 0 et k
T
x
(L, t) = q
0
.
1. Esquissez levolution attendue de u(x, t) pour quelques temps dierents et en
regime.
2. Prouvez, en utilisant uniquement lEDP et les conditions aux limites, que
lenergie interne totale, c
_
L
0
T(x, t) dx, demeure conservee au cours du temps.
3. La solution est de la forme u = R + avec R la solution en regime et la
solution transitoire.
Obtenez dabord R.
Obtenez ensuite .
Note : On ne vous demande pas dobtenir compl`etement les coecients du
developpement en serie; mais decrire proprement et correctement lintegrale ` a ef-
fectuer pour les obtenir!
Pour la partie 1, on tracera la solution en dierents temps plus tard.
Soit lEDP
T
t
=

2
T
x
2
.
On int`egre cette EDP dans lespace, de 0 ` a L, et en temps, de 0 ` a
c
_
L
0
_

0
T
t
dtdx = k
_

0
_
L
0

2
T
x
2
dxdt.
Les membres de droite et de gauche de cette identite peuvent etre integres
c
_
L
0
T

0
dx =
_

0
k
T
x

L
0
dt =
_

0
(q
0
+ q
0
)dt = 0.
On a donc conservation de
c
_
L
0
Tdx = c LT
0
au cours du temps. On a donc aussi
c
_
L
0
udx = 0
LFSAB1103 - Mathematiques 3, partie EDP 108
On pose
u(x, t) = R(x) + (x, t) .
La solution du probl`eme stationnaire verie
d
2
R
dx
2
= 0
dont la solution est
R(x) = A + Bx.
Sachant que
kR

(0) = kR

(L) = kB = q
0
on trouve
B =
q
0
k
.
On sait que
c
_
L
0
Rdx = 0
ce qui implique que la moyenne de R vaut 0 :
AL
q
0
k
L
2
2
= 0
ou encore
A =
q
0
k
L
2
.
On a donc
R(x) =
q
0
k
_
L
2
x
_
On sait que
(x, t) = u(x, t) R(x) = T(x, t) T
0
R(x),
(x, 0) = R(x),
k
x
(0, t) = k
t
T(0, t) + k
t
R(0) = q
0
+ q
0
= 0,
k
x
(L, t) = k
t
T(L, t) + k
t
R(L) = q
0
+ q
0
= 0.
On pose (separation des variables)
(x, t) = X(x)T(t),
ce qui donne
XT

= TX

ou encore
T

T
=
X

X
= k
2
.
La partie en x donne
X = Acos(k x) + Bsin(k x).
LFSAB1103 - Mathematiques 3, partie EDP 109
Sachant que
X

(0) = X

(L) = 0,
on trouve
X = Acos(n/Lx), n = 0, 1 . . .
et
k =
n
L
, n = 0, 1, . . .
Ensuite, on calcule
T(t) = C exp (
_
n
L
_
2
t).
La solution du probl`eme est
(x, t) = A
0
+

n=1
A
n
exp (
_
n
L
_
2
t) cos(nx/L).
Clairement, est de moyenne nulle sur [0, L], ce qui implique A
0
= 0. On sait que
(x, 0) = R(x) =
q
0
k
_
L
2
x
_
.
On utilise lorthogonalite des cosinus pour calculer les coecients A
n
.
_
L
0
(x, 0) cos(n/Lx)dx =
L
2
A
n
=
_
L
0
R(x) cos(n/Lx)dx.
On a donc
A
n
=
2
L
_
L
0
R(x) cos(n/Lx)dx.
Donc
u(x, t) =
q
0
k
_
L
2
x
_
+

n=1
A
n
exp (
_
n
L
_
2
t) cos(nx/L)
LFSAB1103 - Mathematiques 3, partie EDP 110
7.1.8 Diusion thermique en milieu ni (3/3)
On consid`ere lequation de diusion pour u(x, t),
u
t
=

2
u
x
2
avec > 0 le coecient de diusivite. Le domaine est borne (0 x L). La
condition initiale est u(x, 0) = 0. Les condition aux limites sont : u(0, t) = U et
u(L, t) = U avec U une valeur constante.
1. Esquissez levolution attendue de u(x, t) pour quelques temps dierents.
2. La solution est de la forme u = R + o` u R est la solution en regime et est
la solution transitoire.
Obtenez R.
Obtenez ensuite .
`
A faire.
LFSAB1103 - Mathematiques 3, partie EDP 111
7.1.9 Anti-diusion, probl`eme mal pose
On consid`ere lequation de lanti-diusion pour u(x, t),
u
t
=

2
u
x
2
avec > 0 le coecient danti-diusivite. Le domaine est borne (0 x L). Les
condition aux limites sont : u(0, t) = 0 et u(L, t) = 0. Montrez que le probl`eme de
lanti diusion est mal pose.
La denition de probl`eme bien pose a ete introduite par le mathematicien francais Jacques
Salomon Hadamard (ne le 8 decembre 1865 ` a Versailles, mort le 17 octobre 1963 ` a Paris).
Un probl`eme de la physique mathematique est bien pose si
a) Une solution existe,
b) La solution est unique,
c) La solution depend de facon continue des donnees.
La signication de a) est claire. Dans b), quand nous disons unique, cela veut parfois dire
unique parmi une certaine classe de fonctions. Par exemple, un probl`eme peut avoir plusieurs
solutions, parmi lesquelles une seule est bornee. On dirait dans ce cas que le probl`eme a une
solution unique dans lensemble des fonctions `a valeurs nies.
La continuite c) dun probl`eme dEDP est une notion plus complexe.
La notion de continuite pour une EDP est assez semblable ` a la notion de continuite pour
une fonction. Une fonction est une machine qui transforme les reels en un autre reel:
R R, x f(x).
Une fonction f(x) est continue en x = x
0
si,
> 0 0 [ [x x
0
[ < = [f(x) f(x
0
)[ < .
Autrement dit, il est possible de contr oler les variations dune fonction continue f(x) en
contr olant les variations de x.
Un probl`eme de la physique mathematique ecrit sous forme dune EDP est une machine
dune autre sorte. Pour les probl`emes devolution (par exemple lEDP parabolique de diusion),
cette machine fait evoluer des conditions initiales dans le temps. Il sut donc pour comprendre
la notion de continuite de remplacer x par les conditions initiales en t = 0 et f(x) comme etant
le resultat de levolution apr`es un certain temps t
Un probl`eme dEDP est bien pose si ` a une petite variation conditions initiales, des conditions
limites ou de la geometrie du probl`eme correspond une variation controlable des conditions
nales i.e. de la solution de lEDP apr`es un certain temps. Il est donc possible de contr oler la
solution dune EDP bien posee en controlant les param`etres de cette EDP.
En dautres termes, dans un probl`eme mal pose, il est impossible de prevoir quoi que ce
soit, etant donne quune modication inme des conditions initiales implique des variations
LFSAB1103 - Mathematiques 3, partie EDP 112
incontrolables des conditions nales. Les probl`emes de la physiques sont en general bien poses,
mais pas toujours.
On considere donc le probl`eme de lanti-diusion
u
t
=

2
u
x
2
.
On pose
u(x, t) = X(x)T(t)
ce qui implique
T

X = X

T.
En divisant par XT on obtient
T

T
=
X

X
= k
2
.
Lequation en x donne, etant donne les conditions limites homog`enes u(0, t) = 0 et u(L, t) = 0,
X(x) = Asin(kx)
avec
k =
n
L
, k = 1, 2 . . .
La solution en t est
T(t) = Bexp
_
_
n
L
_
2
t
_
ce qui implique que
u(x, t) =

n=1
A
n
exp
_
_
n
L
_
2
t
_
sin
_
nx
L
_
(260)
Considerons u(x, t), solution de lEDP danti-diusion soumise ` a la perturbation initiale
u(x, 0) =
1
m
sin
_
mx
L
_
, m entier.
Pour mesurer [u(x, 0)[, on utilise la norme innie, i.e.
|u(x, 0)| = sup
x[0,L]
[u(x, 0)[ =
1
m
car le sinus est borne par 1. La solution de lEDP a la forme (260). On a donc
1
m
sin
_
mx
L
_
=

n=1
A
n
sin
_
nx
L
_
ce qui implique
u(x, t) =
1
m
exp
_
_
m
L
_
2
t
_
sin
_
mx
L
_
.
On a
|u(x, t)| =
1
m
exp
_
_
m
L
_
2
t
_
.
LFSAB1103 - Mathematiques 3, partie EDP 113
Pour que le probl`eme soit bien pose, il faut pouvoir contr oler la solution, i.e. garantir que
|u(x, t)| < et cela pour tout m. Dans ce cas, pour tout temps t, il est toujours possible de
choisir un m assez grand tel que |u(x, t)| > car
lim
m
1
m
exp
_
_
m
L
_
2
t
_
= ,
lexponentielle croissant plus vite que m. Plus on impose une perturbation haute frequence
(m ), plus rapidement la solution de lEDP diverge, et cela pour nimporte quel temps, aussi
petit que lon veut. Ce probl`eme est donc, meme intuitivement, mal pose.
Notons que le caract`ere bien pose dun probl`eme nimplique pas le caract`ere borne de la
solution. LEDO
du
dt
= t , > 0
a comme solution
u(t) = u(0) exp (t)
qui tend vers linni avec t. Ce probl`eme est bien pose sil est muni dune condition initiale
u(0). En eet, pour avoir
[u(t) u(0)[ = u(0)(exp (t) 1) <
il sut de choisir
= [u(0)[ <

exp (t) 1
.
LFSAB1103 - Mathematiques 3, partie EDP 114
7.1.10 Diusion thermique en milieu inni, profondeur de penetration
On consid`ere un sol dont la diusivite thermique est de = 4 10
7
m
2
/s. On desire
etudier les uctuations de temperatures dans ce sol. La temperature supercielle de
ce sol varie de facon periodique dans le temps
T = T
k
+ T
k
sin(
k
t)
avec T
k
la temperature moyenne sur la periode, T
k
lamplitude de variation autour
de la moyenne et t
k
= 2/
k
la periode de uctuation. On consid`ere deux constantes
de temps, lune correspondant aux uctuations journali`eres et lautre correspondant
aux uctuations annuelles.
A partir de quelle profondeur h aura-t-on une amplitude de uctuation plus petite
que 5% de la uctuation de surface ?
LFSAB1103 - Mathematiques 3, partie EDP 115
7.1.11 Vibrations amorties
On consid`ere lEDP suivante :

2
u
t
2
= c
2

2
u
x
2
k
u
t
avec k 0.
Le domaine de denition des param`etres x et t est x [0, L] et t 0. Le probl`eme
est muni des conditions limites
u(0, t) = u(L, t) = 0
et des conditions initiales
u(x, 0) = u
0
(x) et
u
t
(x, 0) = v
0
(x).
1. On suppose que la solution du probl`eme peut secrire u(x, t) = X(x)T(t). Trou-
vez les equations dierentielles ordinaires que satisfont X et T.
2. Calculez la solution du probl`eme sous forme dun developpement en serie. On
ne demande pas de calculer les constantes du developpement.
3. Donnez une br`eve interpretation physique de cette EDP (que representent k et
c, quel phenom`ene physique cette equation modelise-t-elle).
En remplacant u(x, t) = X(x)T(t) dans lEDP, on obtient
XT

= c
2
TX

kXT

.
On divise ensuite par le tout par c
2
XT pour obtenir
T

c
2
T
+
kT

c
2
T
=
X

X
= .
On a choisit la valeur propre , avec > 0 car il existe des conditions limites homog`enes en
x.
La partie en X se resoud classiquement : X

+ X = 0 donne
X(x) = sin(nx/L), n = 1, 2, 3, . . .
avec
=
_
n
L
_
2
.
La partie en T est un peu moins classique. On a
T

+ kT

+ c
2
T = 0.
Cest une EDO ` a coecients constants. On calcule le polyn ome caracteristique

2
+ k + c
2
= 0
LFSAB1103 - Mathematiques 3, partie EDP 116
qui a comme solutions

1,2
(n) =
k

k
2
4c
2

2
.
On a donc
T(t) = Aexp(
1
t) + Bexp(
2
t).
Notez ici que, pour k
2
4c
2
, cest-`a-dire
n <
kL
2c
la solution en temps est strictement decroissante. Les modes de grandes longueurs donde sont
donc amortis plus ecacement.
Pour k
2
< 4c
2
, les
1,2
sont complexes conjugues et la solution en temps est de type
oscillateur amorti.
La solution du probl`eme secrit donc
u(x, t) =

n=1
sin(nx/L) (A
n
exp(
1
(n)t) + B
n
exp(
2
(n)t)) .
Notez que, pour k = 0, on retrouve lequation de la corde vibrante avec c la vitesse de
propagation des ondes. Pour k > 0, on obtient lequation de la corde vibrante amortie. Le
facteur k, de dimension 1/sec est un coecient de friction qui modelise une force de friction
proportionnelle `a la vitesse (dashpot).
LFSAB1103 - Mathematiques 3, partie EDP 117
7.2 Rotation dune corde exible
Une corde homog`ene exible de longueur l est en rotation avec une vitesse angulaire
constante autour dun axe vertical OX auquel elle est attachee ` a lorigine x = 0.
En t = 0, le mouvement de la corde est perturbe i.e. la vitesse de la cordre
u
t
est
modie en chaque x.
Trouvez u(x, t) sachant que u obeit ` a lequation
(l
2
x
2
)

2
u
x
2
2x
u
x
=
4

2
u
t
2
,
ainsi quaux conditions aux limites
u(x, 0) = 0 et
u
t
(x, 0) = F(x).
LFSAB1103 - Mathematiques 3, partie EDP 118
7.3 Deux variables spatiales : vibration dune membrane rectangulaire
On consid`ere le probl`eme de la vibration dune membrane rectangulaire. Il sagit de
trouver la fonction u(x, y, t), L/2 x L/2, H/2 y H/2, t 0 solution de
lEDP

2
u
t
2
= c
2
_

2
u
x
2
+

2
u
y
2
_
. (261)
La fonction u(x, y, t) verie les conditions aux limites
u(L/2, y, t) = 0, u(L/2, y, t) = 0, u(x, H/2, t) = 0, u(x, H/2, t) = 0 (262)
ainsi que les conditions initiales
u(x, y, 0) = f(x, y) et
u
t
(x, y, 0) = 0. (263)
1. Donnez les dimensions et la signication physique de c. Dans le cas dune
membrane, ` a quel(s) param`etre(s) physique(s) c est-il lie.
2. Donnez un changement de variables = (x) et = (y) permettant de revenir
dans le domaine habituel 0 L et 0 H.
3. Calculez la solution du probl`eme pour
f(x, y) = u
0
cos
_
x
L
_
cos
_
y
H
_
.
4. Calculez la plus petite frequence propre de la membrane.
Aide : cos(x /2) = sin(x).
Le param`etre c est la vitesse de propagation des ondes, en m/sec. Il est lie ` a la densite du
materiau constituant la membrane ainsi qu`a la tension qui y r`egne.
On pose = x + L/2 et = y + H/2. Le probl`eme revient `a trouver u(, , t) solution de

2
u
t
2
= c
2
_

2
u

2
+

2
u

2
_
.
avec les conditions aux limites
u(0, , t) = 0, u(L, , t) = 0, u(, 0, t) = 0, u(, H, t) = 0 (264)
ainsi que les conditions initiales
u(, , 0) = f(x(), y()) et
u
t
(, , 0) = 0. (265)
On commence par separer la partie en temps
u(, , t) = T(t)(, )
LFSAB1103 - Mathematiques 3, partie EDP 119
ce qui donne
T
c
2
T
=

2

= , > 0.
On sait que ce choix permet dobtenir un probl`eme de Helmoltz en (, ) qui poss`ede des
fonctions propres oscillantes et orthogonales.
On trouve
T(t) = Acos(

ct) + Bsin(

ct).
On a B = 0 car la vitesse initiale de la membrane est nulle.
On a ensuite
(, ) = Z()E()
ce qui donne
ZE + EZ = ZE.
En divisant par ZE, on obtient
Z
Z
=
E
E
= , > 0.
On trouve
Z() = C cos(

) + Dsin(

).
La condition u(, 0, t) = 0 donne Z(0) = 0 i.e. C = 0. Lautre condition u(, L, t) = 0 donne
Z(L) = 0 ou encore

=
n
L
La partie en donne
E + ( )E = 0, > 0
qui a comme solution
E() = F cos(
_
) + Gsin(
_
)
Les conditions limites E(0) = E(H) = 0 donnent F = 0 et
_
=
m
H
on a donc
=
_
n
L
_
2
+
_
m
H
_
2
La solution du probl`eme est donc
u(, , t) =

n=1

m=1
A
mn
cos
_
_
_
n
L
_
2
+
_
m
H
_
2
ct
_
sin
_
n
L

_
sin
_
m
H

_
.
On utilise maintenant la condition initiale
u(, , 0) = f(x(), y()) =

n=1

m=1
A
mn
sin
_
n
L

_
sin
_
m
H

_
.
LFSAB1103 - Mathematiques 3, partie EDP 120
La condition initiale u(, , 0) = f(x(), y()) donne (en utilisant laide)
f(x(), y()) = u
0
sin
_

L
_
sin
_

H
_
.
ce qui correspond exactement ` a m = 1 et n = 1. On a donc A
mn
= u
0
si m = n = 1 et A
mn
= 0
sinon. La solution du probl`eme est donc
u(x, y, t) = u
0
cos
_
_
_

L
_
2
+
_

H
_
2
ct
_
sin
_

L
(x + L/2)
_
sin
_

H
(y + H/2)
_
ou encore
u(x, y, t) = u
0
cos
_
_
_

L
_
2
+
_

H
_
2
ct
_
cos
_
x
L
_
cos
_
y
H
_
.
LFSAB1103 - Mathematiques 3, partie EDP 121
7.3.1 Deux variables spatiales : vibration dune membrane circulaire
Calculez par separation des variables lamplitude de vibration u dune membrane
circulaire de rayon b attachee le long de son pourtour, de sorte que u est la solution
de lEDP suivante :
c
2

2
u =

2
u
t
2
.
La membrane est xee sur son pourtour
u(b, , t) = 0
et la deformation initiale de la membrane est donnee par
u(r, , 0) = (b r)
avec une constante sans dimensions. La vitesse initiale est nulle.
LFSAB1103 - Mathematiques 3, partie EDP 122
7.3.2

Equation non homog`ene
Determinez les vibrations dune membrane circulaire de rayon R, dont la peripherie
est xee et qui se trouve au repos en t = 0. Pour toute valeur de t > 0, cette membrane
vibre sous laction dun poids Q distribue uniformement sur la face superieure de la
membrane. Lequation `a resoudre est
c
2

2
u(r, t) +
Q

=

2
u
t
2
avec Q et donnees.
LFSAB1103 - Mathematiques 3, partie EDP 123
7.3.3 Vibration dune membrane annulaire
Calculez par separation des variables lamplitude de vibration u dune membrane
annulaire de rayon interieur a et de rayon exterieur b attachee en r = a et en r = b.
La position de la membrane en t = 0 est donnee par une fonction f(r), r etant la
distance au centre de la membrane. La vitesse initiale est nulle.
Soit lequation dondes

2
u
t
2
= c
2

2
u.
On voit tout dabord que la solution est independante de . On pose donc
u(r, t) = R(r)T(t)
ce qui donne
T

R = c
2
T
1
r
(rR

ou encore
T

c
2
T
=
1
R
1
r
(rR

= k
2
.
La solution en temps est
T(t) = Acos(kct) + Bsin(kct).
La condition de vitesse initiale nulle donne B = 0. Lequation en r donne
R

+
1
r
R

k
2
R = 0.
En posant z = kr on trouve
k
2
d
2
R
dz
2
+
k
r
dR
dz
k
2
R = 0
ou encore
d
2
R
dz
2
+
1
z
dR
dz
R = 0
dont la solution est
R(r) = AJ
0
(kr) + BY
0
(kr).
La condition homog`enes R(a) = 0 donne
AJ
0
(ka) + BY
0
(ka) = 0
ce qui permet decrire
R(r) = A
_
J
0
(k
n
r)
J
0
(k
n
a)
Y
0
(k
n
a)
Y
0
(k
n
r)
_
.
La condition R(b) = 0 ce qui donne
J
0
(kb)
J
0
(ka)
Y
0
(ka)
Y
0
(kb) = 0
Les k
n
sont donc les racines de lequantion transcendante
F(k
n
) = J
0
(bk
n
)
J
0
(k
n
a)
Y
0
(k
n
a)
Y
0
(k
n
b) = 0.
LFSAB1103 - Mathematiques 3, partie EDP 124
La Figure 33 montre F(x) pour a = 1 et b = 2. Les zeros de cette fonctions (les k
n
) peuvent
etre trouves numeriquement. La premi`ere racine vaut k
1
3.13, la deuxi`eme est k
2
6.27.
Les fonction propres R
n
(r) =
_
J
0
(k
n
r)
J
0
(k
n
a)
Y
0
(k
n
a)
Y
0
(k
n
r)
_
pour n = 1 et n = 2 sont tracees sur
la Figure 34. La solution secrit donc
u(r, t) =

n=1
A
n
_
J
0
(k
n
r)
J
0
(k
n
a)
Y
0
(k
n
a)
Y
0
(k
n
r)
_
. .
R
n
(r)
cos(k
n
ct).
Pour trouver les coecients, on calcule
_
b
a
u(r, 0)R
n
(r)rdr = A
n
_
b
a
R
2
n
(r)rdr.
car on sait que les fonctions propres sont orthogonales
_
b
a
R
n
(r)R
m
(r)rdr = 0 n ,= m.
LFSAB1103 - Mathematiques 3, partie EDP 125
-1
-0.5
0
0.5
1
0 5 10 15 20
F
(
r
)
r
Fig. 33: F(r) = J
0
(2r)
J
0
(r)
Y
0
(r)
Y
0
(2r)
-0.5
-0.4
-0.3
-0.2
-0.1
0
0.1
0.2
0.3
0.4
1 1.2 1.4 1.6 1.8 2
Fig. 34: Fonctions propres R
1
(bleu) et R
2
(vert).
LFSAB1103 - Mathematiques 3, partie EDP 126
Calculez par separation des variables lamplitude de vibration u dune membrane
circulaire de rayon b attachee le long de son pourtour en subissant un amortissement
proportionnel `a la vitesse de vibration, de sorte que u est la solution de lEDP suivante
:
c
2

2
u =

2
u
t
2
+ 2h
u
t
avec h la constante de proportionalite. La position de la membrane en t = 0 est
donnee par une fonction f(r), r etant la distance au centre de la membrane. La
vitesse initiale est nulle.
Le Laplacien en coordonnees polaires secrit

2
u =
1
r

r
_
r
u
r
_
+
1
r
2

2
u

2
.
La symetrie du probl`eme impose lindependance de la solution vis-`a-vis de . Lequation
secrit

2
u
t
2
+ 2h
u
t
=
1
r

r
_
r
u
r
_
.
Separation des Variables : u(r, t) = R(r)T(t) donne
1
T
T

+
2h
T
T

= c
2
_
1
R
R

+
1
rR
R

_
= , 0.
On a donc ` a resoudre les 2 EDOs suivantes :
T

+ 2hT

+ c
2
T = 0 , T

(0) = 0
R

+
1
r
R

+ R = 0 , R(0) < , R(b) = 0


Le probl`eme en temps est une EDO du 2`eme ordre ` a coecients constants dont la solution
general est
T(t) = Ae

1
t
+ Be

2
t
avec

1,2
= h

h
2
c
2

les solutions de lequation caracteristique

2
+ 2h + c
2
= 0.
On reecrit donc T(t) comme
T(t) = Ae
ht
cos

c
2
h
2
t
pour c
2
h
2
et
T(t) = Ae
h

h
2
c
2
t
sinon.
LFSAB1103 - Mathematiques 3, partie EDP 127
7.3.4 Guide dondes
Un guide donde est un syst`eme qui sert `a guider les ondes : ondes electromagnetiques
ou ondes acoustiques.
Le guide donde est notamment utilise en physique, en optique et en
telecommunication. Soit lequation donde en coordonnees rectangulaires.
Lequation donde consiste `a trouver u(x, y, z, t) solution de
1
c
2

2
u
t
2
=

2
u
x
2
+

2
u
y
2
+

2
u
z
2
On consid`ere ici le domaine 0 < x < L, 0 < y < H, z > 0, t > 0.
On denit le mode dun guide dondes par lorientation des champs electriques et
magnetiques, constituant londe electromagnetique, par rapport aux parois du con-
ducteur.
On peut citer les modes transverse electrique (TE) et transverse magnetique (TM),
pour lesquels le champ electrique et le champ magnetique constituant londe sont
respectivement orthogonaux ` a la direction de propagation.
La question est la suivante : un mode peut-il se propager dans le guide dondes ` a
nimporte quelle frequence ?
Notez que, pour le mode TM, on a u = 0 sur les parois laterales du guide, et, pour le mode
TE, on a
n
u = 0 sur les parois laterales du guide. (On nutilisera pas ces notions de modes
TM et TE dans la suite de lexercice)
On applique une separation des variables
u(x, y, z, t) = X(x)Y (y)Z(z)T(t)
` a lequation donde pour obtenir
X

X
+
Y
Y
+
Z

Z
=
1
c
2
T

T
=
La partie en temps
1
c
2
T

T
=
Choix 1 : + T(t) = Aexp(

ct) + Bexp(

ct).
Choix 2 : T(t) = C cos(

ct) + Dsin(

ct).
Choix 3 : 0 T(t) = Et + F
Clairement, le choix 2 parat le plus raisonnable, et cest le cas. Mais ce nest pas un
argument. Ce choix est le seul qui donnera une solution non trivialement nulle.
La frequence du mode est donc f =

c
2
.
On reprend lequation
X

X
+
Y
Y
+
Z

Z
=
LFSAB1103 - Mathematiques 3, partie EDP 128
ou encore
Y
Y
+
Z

Z
+ =
X

X
= , > 0
La partie en x donne

X
= .
On trouve
=
_
n
L
_
2
, n = 0, 1, . . .
et
X(x) = Acos((n/L)x) + Bsin((n/L)x).
On reprend lequation

_
n
L
_
2
+
Y
Y
+
Z

Z
=
ou encore

_
n
L
_
2
+
Z

Z
+ =
Y
Y
= , > 0.
La partie en y donne

Y
= .
On trouve
=
_
m
H
_
2
, m = 0, 1, . . .
et
Y (x) = C cos((m/H)y) + Dsin((m/H)y).
On reprend lequation
X

X
+
Y
Y
+
Z

Z
=
qui donne, en tenant compte de ce qui prec`ede

_
n
L
_
2

_
m
H
_
2
+
Z

Z
= .
On obtient
Z

Z
=
_
n
L
_
2
+
_
m
H
_
2
.
On se rappelle que =
_
2f
c
_
2
avec f la frequence du mode considere.
Lamplitude du mode doit rester nie. On a donc les deux cas suivants
Choix 1 :
_
n
L
_
2
+
_
m
H
_
2

_
2f
c
_
2
= k
2
> 0
Dans ce cas londe sattenue, i.e., Z(z) = Aexp(kz)
Choix 2 :
_
n
L
_
2
+
_
m
H
_
2

_
2f
c
_
2
= k
2
< 0
LFSAB1103 - Mathematiques 3, partie EDP 129
Dans ce cas londe se propage i.e. Z(z) = Acos(kz) + Bsin(kz)
Il y a donc une frequence limite inferieure, la frequence de coupure.
En pratique, imaginons un tunnel de 5m 5m de section. Une onde electromagnetique se
propage `a la vitesse de la lumi`ere, i.e. c = 3 10
8
m/sec.
La frequence de coupure est
f =
c
2
_
_
n
L
_
2
+
_
m
H
_
2
.
La frequence de coupure la plus basse est (n = m = 1)
f =
3 10
8
2
_
_

5
_
2
+
_

5
_
2
= 3

2 10
7
= 42, 4 MHz.
Les ondes AM (modulation damplitude) ont une frequence de lordre de 100 kHz. Elles ne
passent pas dans le tunnel.
Les ondes FM (modulation de frequence) ont une frequence de lordre de 100 MHz. On
capte CLASSIC 21 dans le tunnel!
LFSAB1103 - Mathematiques 3, partie EDP 130
7.4 Methode des caracteristiques
7.4.1 Caracteristiques pour une EDP du premier ordre (1/2)
On consid`ere dEDP suivante pour u(x, y):
x
u
x
y
u
y
= R.
On consid`ere le probl`eme de Cauchy avec la courbe denie par x(s) = s et y(s) = s
(avec x > 0). On y specie la fonction:
u(s, s) = f(s) donnee.
1. Obtenez le reseau des caracteristiques: equation et dessin pour la partie du plan
x > 0 et y > 0. Veriez que le probl`eme de Cauchy present est bien pose.
2. Obtenez la solution u(x, y) pour le cas R = 0.
3. Obtenez la solution u(x, y) pour le cas R = U (U constant).
4. Obtenez la solution u(x, y) pour le cas R = U
x
L
(U et L constants).
5. Obtenez la solution u(x, y) pour le cas R = U
xy
L
2
(U et L constants).
Notez que R a les memes dimensions que u. Les caracteristiques satisfont :
Qdx = Pdy ydx = xdy.
On en deduit
dx
x
=
dy
y
.
En utilisant la courbe parametrisee par x = s et y = s, on obtient :
_
x
s
dx

=
_
y
x
dy

_
log x

_
x
s
=
_
log y

_
y
s
log
_
x
s
_
= log
_
y
s
_
log
_
x
s
_
+ log
_
y
s
_
= 0
log
_
xy
s
2
_
= 0
xy
s
2
= 1
xy = s
2
, x =
s
2
y
, y =
s
2
x
, s =

xy
On a egalement les relations de compatibilite :
Qdu = Rdy et Pdu = Rdx ydu = Rdy et xdu = Rdx.
LFSAB1103 - Mathematiques 3, partie EDP 131
0 1 2
0
1
2
x
y
(s, s)
(x, y)

_
x(s) = s
y(s) = s
u(s, s) = f(s) donne
Fig. 35: Esquisse des caracteristiques
R = 0
du = 0
_
u(x,y)
u(s,s)
du

= 0 u(x, y) = u(s, s)
u est conserve le long de chaque caracteristique:
u(x, y) = u(s, s) = f(s) = f(

xy).
R = U
xdu = Udx ou ydu = Udy
du = U
dx
x
_
u(x,y)
u(s,s)
du

= U
_
x
s
dx

u(x, y) u(s, s) = U log


_
x
s
_
u(x, y) = u(s, s) + U log
_
x
s
_
= f(

xy) + U log
_
x

xy
_
LFSAB1103 - Mathematiques 3, partie EDP 132
R = U
x
L
xdu = U
x
L
dx
du =
U
L
dx
_
u(x,y)
u(s,s)
=
U
L
_
x
s
dx

u(x, y) u(s, s) = U
x s
L
u(x, y) = u(s, s) + U
x s
L
= f(

xy) + U
x

xy
L
R = U
xy
L
2
xdu = U
xy
L
2
dx
du = U
y
L
2
dx = U
s
2
L
2
dx
x
_
u(x,y)
u(s,s)
du

= U
s
2
L
2
log
_
x
s
_
u(x, y) = u(s, s) + U
s
2
L
2
log
_
x
s
_
= f(

xy) + U
xy
L
2
log
_
x

xy
_
LFSAB1103 - Mathematiques 3, partie EDP 133
7.4.2 Caracteristiques pour une EDP du premier ordre (2/2)
On consid`ere lEDP de transport pour u(x, t) :
(cu)
x
+
u
t
= 0
avec
c = c(x) = c
0
x
2
x
2
+ L
2
o` u c
0
et L sont des constantes de vitesse et de longueur (void Figure 36). On consid`ere
un probl`eme de condition initiale: la courbe est ici denie par x(s) = s avec s 0
et t(s) = 0, et on y specie la fonction :
u(s, 0) = f(s) = Ue
s/L
avec U une valeur constante.
1. Esquissez c(x) et commentez la physique du probl`eme present. En utilisant
lEDP et c(x), demontrez que lintegrale
_

0
u(x, t)dx est conservee au cours du
temps.
2. Obtenez le reseau des caracteristiques : equation et dessin pour la partie du
plane x 0 et t 0. Veriez que le probl`eme de Cauchy present est bien pose.
3. Pourquoi ne peut-on pas, dans le cas present, imposer de condition limite en
x = 0 (i.e., une condition de la forme u(0, l) = h(t)) ?
4. Obtenez la solution u(x, t).
Attention: lexpression nale de la solution ne peut plus contenir s. Veillez
donc `a aussi exprimer s en fonction de x et de t.
5. Dessinez la fonction u/U en fonction de x/L et en quelques temps c
0
t/L
dierents. Veriez que lintegrale de la fonction est eectivement conservee.
1. Voir gure 36. Il sagit dune EDP du 1
er
order (donc hyperbolique). Cest lequation de
transport ecrite sous forme conservative et avec c = c(x) (donc lineaire) correspondant ` a
un puit de vitesse. A noter que c(0) = 0: la valeur u(0, t) demeure donc inchangee.
Fig. 36: c fonction de x
LFSAB1103 - Mathematiques 3, partie EDP 134
En integrant lEDP, on obtient:
_

0
u
t
=
d
dt
__

0
udx
_
=
_

0
(cu)
x
dx =
_
cu
_

0
= 0
car c(0) = 0 et lim
x
u(x, t) = 0. Il resulte que
_

0
udx est conservee au cours du temps.
2. Equation des caracteristiques:
dx = c(x)dt avec denie par
_
x(s) = s 0
t(s) = 0
dx
c(s)
= dt
x
2
+ L
2
x
2
dx = c
0
dt
_
x
s
_
1 +
L
2
x
2
_
dx

= c
0
_
t
O
dt

` a integrer pour les cas s ,= 0


_
x

L
2
x

_
x
s
= c
0
t
_
x
L
2
x
_

_
s
L
2
s
_
= c
0
t
_
s
L
2
s
_
=
_
x
L
2
x
_
c
0
t
s
2

__
x
L
2
x
_
c
0
t
_
s L
2
= 0 cest une equation quadratique.
s =
1
2
_
_
__
x
L
2
x
_
c
0
t
_
+

__
x
L
2
x
_
c
0
t
_
2
+ 4L
2
_
_
= s(x, t)
prendre le signe + car s > 0 pour le cas s = 0: c(s) = 0
Voir gure 37. La caracteristique qui emane de s = 0 est laxe du temps:
x = 0t
Le probl`eme de Cauchy present est bien pose car nest parall`ele, en aucun de ses points,
` a la caracteristique locale et quelle nintersecte chaque caracteristique quune seule fois.
3. En general, le probl`eme de Cauchy deni avec : x(s), s 0 et t(s) = 0 requiert une
condition limite en x = 0, de la forme u(0, t) = h(t) donne. Pas ici cependant, car laxe
du temps (0, t) est confondu avec la caracteristique qui emande de s = 0, du fait que
c(0) = 0. Physiquement: la valeur u(0, t) = u(0, 0) = f(0) = U, on ne peut limposer.
LFSAB1103 - Mathematiques 3, partie EDP 135
Fig. 37: Reseau des caracteristiques
4. Equation de compatibilite valable le long de la caracteristique:
cdu =
dc
dx
udx ou du =
dc
dx
udt
cdu = udc
d(cu) = 0 le produit cu est conserve le long de la caracteristique
c(x)u(x, t) = c(s)u(s, 0) = c(s)f(s)
u(x, t) =
c(s)
c(x)
f(s)
u(x, t) =
s
2
s
2
+ L
2
x
2
+ L
2
x
2
Ue

s
L
avec s = s(x, t)
Lintegrale
_

0
udx est eectivement conservee (Figure 38).
LFSAB1103 - Mathematiques 3, partie EDP 136
Fig. 38: u/U fonction de x/L

Anda mungkin juga menyukai