You are on page 1of 63

Exercices resolus sur les equations aux derivees

partielles.
Cours de FSAB1103 (Mathematiques)
Richard Comblen Ivan De Visscher Matthieu Duponcheel
Olivier Gourgue Olivier Lietaer Timothee Lonls
Jean-Francois Remacle Gregoire Winckelmans
1
2
Contents
1 Formulaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1 Equation dierentielle ordinaire du second ordre ` a coecients constants . . . . . 3
1.2 Equation dEuler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Fonctions de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Fonctions de Bessel modiees . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Polyn omes de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.6 Quelques primitives utiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 Probl`emes elliptiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.1 Deux variables spatiales : Laplace dans un rectangle . . . . . . . . . . . . . . . . 6
2.2 Deux variables spatiales : Laplace dans un carre . . . . . . . . . . . . . . . . . . 11
2.3 Deux variables spatiales : Laplace dans un cercle . . . . . . . . . . . . . . . . . 17
2.4 Equation de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.5 Deux variables spatiales : Laplace dans un anneau . . . . . . . . . . . . . . . . . 21
2.6 Trois variables spatiales : Laplace dans un cylindre . . . . . . . . . . . . . . . . 26
2.7 Trois variables spatiales : Laplace dans un cylindre. Fonctions Bessel modiees . 28
2.8 Trois variables spatiales : Laplace dans un cube . . . . . . . . . . . . . . . . . . 30
3 Probl`emes Paraboliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.1 Une variable spatiale : diusion thermique en milieu ni (1/3) . . . . . . . . . . 32
3.2 Une variable spatiale : diusion thermique en milieu ni (2/3) . . . . . . . . . . 35
3.3 Une variable spatiale : diusion thermique en milieu ni (3/3) . . . . . . . . . . 38
3.4 Une variable spatiale : anti-diusion, probl`eme mal pose . . . . . . . . . . . . . 39
3.5 Une variable spatiale: diusion thermique en milieu inni, profondeur de penetration 42
4 Probl`emes Hyperboliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.1 Une variable spatiale : vibrations amorties . . . . . . . . . . . . . . . . . . . . . 43
4.2 Une variable spatiale : rotation dune corde exible . . . . . . . . . . . . . . . . 45
4.3 Deux variables spatiales : vibration dune membrane rectangulaire . . . . . . . . 46
4.4 Deux variables spatiales : vibration dune membrane circulaire . . . . . . . . . . 49
4.5 Deux variables spatiales : vibration dune membrane annulaire . . . . . . . . . . 50
4.6 Trois variables spatiales : guide dondes . . . . . . . . . . . . . . . . . . . . . . . 54
5 Methode des caracteristiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
5.1 Caracteristiques pour une EDP du premier ordre (1/2) . . . . . . . . . . . . . . 57
5.2 Caracteristiques pour une EDP du premier ordre (2/2) . . . . . . . . . . . . . . 60
FSAb1103 - Mathematiques 3, partie EDP 3
1 Formulaire
1.1 Equation dierentielle ordinaire du second ordre `a coecients
constants
Soit lEDO du deuxi`eme ordre ` a coecients constants: trouver y(x) solution de
1
2
y

+ by

+ cy = 0. (1)
avec b, c R des constantes.
Lensemble S des solutions dune EDO du second ordre forme un espace vectoriel de di-
mension 2. Si nous trouvons deux fonctions y
1
(x) et y
2
(x) solution de lequation de depart et
lineairement independantes, nous obtenons une base de S. La solution generale de lequation
dierentielle secrit alors
y(x) = Ay
1
(x) + By
2
(x), A, B R.
Pour trouver la solution y(x) de (1) on calcule le polyn ome caracteristique
P =
1
2

2
+ b + c = 0
dont les racines sont

1,2
= b

b
2
2c = b

.
Cas 1: < 0
y(x) = exp (bx)
_
Acos(

x) + Bsin(

x)
_
.
Cas 1: = 0
y(x) = Aexp (bx) + Bx exp (bx).
Cas 1: > 0
y(x) = exp (bx)
_
Acosh (

x) + Bsinh (

x)
_
.
1.2 Equation dEuler
Soit lEDO du deuxi`eme ordre ` a coecients constants: trouver y(x) solution de
x
2
y

+ xy

k
2
y = 0, k R.
Solution pour k ,= 0
On essaye des solutions de la forme
y = x

,
ce qui donne
x
2
( 1)x
2
+ xx
1
k
2
x

= 0
ou encore

2
k
2
= 0
FSAb1103 - Mathematiques 3, partie EDP 4
ce qui donne

1,2
= k.
La solution generale de lequation dEuler est donc
y(x) = Ax
k
+ Bx
k
.
Solution pour k = 0
LEDO devient
x
2
y

+ xy

= 0.
On pose
y

= v,
ce qui donne
v

=
v
x
ou encore
v =
1
x
On trouve donc
y = Aln(x) + B.
1.3 Fonctions de Bessel
Soit lequation dierentielle (equation de Bessel) :
d
2
y
dx
2
+
1
x
dy
dx
+
_
1
n
2
x
2
_
y = 0
avec n un nombre reel ou complexe. Le cas le plus commun est quand n est un nombre naturel,
et il est alors nomme lordre de la fonction.
La solution de lequation de Bessel (qui est une EDO lineaire du second ordre), est
y(x) = AJ
n
(x) + BY
n
(x)
avec
J
n
(x) la fonction de Bessel de premi`ere esp`ece,
Y
n
(x) la fonctions de Bessel de seconde esp`ece.
1.4 Fonctions de Bessel modiees
Soit lequation dierentielle (equation de Bessel modiee) :
d
2
y
dx
2
+
1
x
dy
dx
+
_
1
n
2
x
2
_
y = 0
avec n un nombre reel ou complexe. Le cas le plus commun est quand n est un nombre naturel,
et il est alors nomme lordre de la fonction.
FSAb1103 - Mathematiques 3, partie EDP 5
La solution de lequation de Bessel (qui est une EDO lineaire du second ordre), est
y(x) = AI
n
(x) + BK
n
(x)
avec
I
n
(x) la fonction de Bessel modiee de premi`ere esp`ece,
K
n
(x) la fonctions de Bessel modiee de seconde esp`ece.
1.5 Polynomes de Legendre
Soit lequation dierentielle (equation de Legendre) :
(1 x
2
)
d
2
y
dx
2
2x
dy
dx
+ n(n + 1)y = 0
avec n un nombre reel ou complexe. Les fonctions solution de cette EDO sont appelees fonctions
de Legendre. Le cas le plus commun est quand n est un nombre naturel. Dans ce cas, lune des
deux familles de solutions sont des polynomes, appeles polyn omes de Legendre. On se limite
en general `a ce seul cas.
La solution de lequation de Legendre (qui est une EDO lineaire du second ordre), est
y(x) = AP
n
(x) + BQ
n
(x)
avec
P
n
(x) le polyn ome de Legendre dordre de premi`ere esp`ece,
Q
n
(x) le polyn ome de Legendre dordre de seconde esp`ece, habituellement `a rejeter car
singulier en x = 1.
Les premiers polyn omes de Legendre secrivent
P
0
(x) = 1, P
1
(x) = x, P
2
(x) =
1
2
(3x
2
1), P
3
(x) =
1
2
(5x
3
3x), . . .
Q
0
(x) =
_
1
2
ln
1+x
1x
si [x[ < 1
1
2
ln
x+1
x1
si [x[ > 1
, Q
1
(x) = Q
0
(x)P
1
(x) 1, Q
2
(x) = Q
0
(x)P
2
(x)
3
2
x, . . .
1.6 Quelques primitives utiles
_
sin(a) d =
1
a
2
sin(a)

a
cos(a) (2)
_
cos(a) d =
1
a
2
cos(a) +

a
sin(a). (3)
_

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


2
a
_
cos(a) (4)
_

2
cos(a) d =
2
a
2
cos(a) +
_

2
a

2
a
3
_
sin(a) (5)
_

3
cos(a) d =
_
3
2
a
2

6
a
4
_
cos(a) +
_

3
a

6
a
3
_
sin(a) (6)
FSAb1103 - Mathematiques 3, partie EDP 6
2 Probl`emes elliptiques
2.1 Deux variables spatiales : Laplace dans un rectangle
Considerons la deformation permanente dune membrane rectangulaire de sommets
O,A,B,C, xee le long de OA, AB et BC et deformee le long de OC. La deformation
statique est telle que si u(x, y) est la valeur de la deformee de la membrane, alors

2
u = 0
est lequation qui regit lequilibre statique de la membrane. Determinez u(x, y).
Lequation de Laplace et ses interpretations
Resolution du probl`eme
On choisit lorigine des axes en O, le point A de coordonnees L, 0, le point B de coordonnees
L, H et le point C de coordonnees 0, H. On a donc les conditions aux limites
u(x, 0) = 0, u(x, H) = 0, u(0, y) = f(y), u(L, y) = 0.
On pose
u(x, y) = X(x)Y (y)
ce qui modie lequation de Laplace en
X

Y + XY

= 0
et les conditions limites homog`enes en
Y (0) = 0 , Y (H) = 0, X(L) = 0.
En divisant le tout par XY , on obtient
X

X
=
Y

Y
= k
2
.
On a choisit ce signe pour la constante de separation car on desire des solutions oscillantes le
long de y.
Lequation en y donne donc
Y

+ k
2
Y = 0
dont la solution est
Y (y) = Acos(ky) + Bsin(ky).
La condition Y (0) = 0 donne A = 0. La condition Y (H) = 0 donne
k =
n
H
, n = 1, 2, . . .
Lequation en x donne donc
X

k
2
X = 0
FSAb1103 - Mathematiques 3, partie EDP 7
dont la solution est
X(x) = C cosh(kx) + Dsinh(kx).
La condition X(L) = 0 donne C cosh(kL) + Dsinh(kL) = 0 ou encore
X(x) =
C
sinh(kL)
(cosh(kx) sinh(kL) cosh(kL) sinh(kx)) .
En utilisant la formule
sinh(b a) = sinh(a) cosh(b) sinh(b) cosh(a)
on obtient
X(x) = C

sinh(k(L x)).
La solution du probl`eme secrit donc
u(x, y) =

n=1
A
n
sin(ny/H) sinh(n(L x)/H) (7)
La condition u(0, y) = f(y) secrit
f(y) =

n=1
A
n
sin(ny/H) sinh(nL/H).
En utilisant lorthogonalite des sinus, on obtient
_
H
0
f(y) sin(ny/H)dy = A
n
sinh(nL/H)
H
2
.
On trouve nalement
A
n
=
2
H sinh(nL/H)
_
H
0
f(y) sin(ny/H)dy.
Cas particulier: f(y) = u
0
On consid`ere le cas dune deformation constante u
0
. On trouve aisement
A
n
=
2
sinh(nL/H)
u
0
n
(1 (1)
n
).
La Figure 1 montre le resultat u(x, y) avec 200 modes, i.e. pour la somme allant de n =
1, . . . , 200. Notons quaux points L, 0 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(ny/H) etant nuls en
y = 0 et y = H (voir Figure 2).
FSAb1103 - Mathematiques 3, partie EDP 8
Fig. 1: Trace de la solution (7) avec L = H = 1, f(x) = u
0
et u
0
= 1.
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. 2: Trace de la solution u(L, y).
Cas particulier: f(y) = u
0
y
H
(1
y
H
)
Ici, les conditions limites sont compatibles entre elles: f(0) = f(H) = 0. On calcule donc
lintegrale
_
H
0
sin(ny/H)
y
H
(1
y
H
)dy.
FSAb1103 - Mathematiques 3, partie EDP 9
On utilise la formule (2) pour calculer
_
H
0
sin(ny/H)
y
H
dy =
H
n
(1)
n
.
On utilise ensuite la formule (4) pour calculer
_
H
0
sin(ny/H)
_
y
H
_
2
dy =
1
H
2
_
2H
3
n
3

3

Hy
2
n
_
cos(ny/H)

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

3

H
3
n
_
(1)
n

2H
3
n
3

3
_
=
2H
n
3

3
(1 (1)
n
)
H
n
(1)
n
.
On trouve nalement
_
H
0
sin(ny/H)
y
H
_
1
y
H
_
dy =
2H
n
3

3
(1 (1)
n
).
Les coecients du developpement se calculent donc comme suit :
A
n
=
4
sinh(nL/H)n
3

3
(1 (1)
n
).
La solution, avec 200 termes, est representee sur la Figure 3. On remarque que, cette fois, la
solution noscille pas.
FSAb1103 - Mathematiques 3, partie EDP 10
Fig. 3: Trace de la solution (7) avec L = H = 1 et, f(x) = u
0
y
H
_
1
y
H
_
et u
0
= 1.
FSAb1103 - Mathematiques 3, partie EDP 11
2.2 Deux variables spatiales : Laplace dans un carre
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.
Plusieurs types de conditions aux limites peuvent etre imposees sur les dierentes fronti`eres
du domaine. Elles correspondent ` a des situations physiques realistes:
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,
FSAb1103 - Mathematiques 3, partie EDP 12
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).
Les valeurs propres de loperateur sont donc les racines de lequation transcendante :
k =
h

cot(kH). (8)
Appelons z
n
les valeurs de k solutions de lequation (8). On suppose n = 1, 2, . . . .
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)
(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),
FSAb1103 - Mathematiques 3, partie EDP 13
0
2
4
6
8
10
0 2 4 6 8 10
x
1./tan(x)
Fig. 4: Trace des fonctions cot x et x. Les racines de lequation transcendante (8) donnant
les valeurs propres de loperateur sont situees aux abscisses des intersections des deux
courbes.
_
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.
FSAb1103 - Mathematiques 3, partie EDP 14
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 dun 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.
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 5).
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)
et
X(x) = Bcos(kx).
FSAb1103 - Mathematiques 3, partie EDP 15
-10
-5
0
5
10
0 2 4 6 8 10
cosh(x)/sinh(x)
-x
Fig. 5: Trace des fonctions coth x et x.
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
,
FSAb1103 - Mathematiques 3, partie EDP 16
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 6 donne une idee de la somme des 400 premiers termes de la serie.
Fig. 6: Solution du probl`eme (somme des 400 premiers termes) = 0.025W/mK et h =
3.12W/m
2
K.
FSAb1103 - Mathematiques 3, partie EDP 17
2.3 Deux variables spatiales : Laplace dans un cercle
On demande de calculer le prol de temperature stationnaire dans un cylindre de
rayon r = a.
Les conditions aux limites sont :
T(r = a, ) = 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.
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,

r
2
R

+ rR

R
=

= +k
2
,
Lequation en donne
() = Acos(k) + Bsin(k).
La fonction est periodique, de periode 2, ce qui implique la quantication
k = n, n = 0, 1, . . .
Lequation en r donne
r
2
d
2
R
dr
2
+ r
dR
dr
k
2
R = 0.
qui est clairement une EDO de type equation dEuler (voir 1.2). La solution est
R(r) = Cr
k
+ Dr
k
.
La solution etant nie en r = 0, on elimine la partie en r
k
. La solution du probl`eme est donc
T(r, ) = A
0
+

n=1
r
n
(A
n
cos(n) + B
n
sin(n)) .
FSAb1103 - Mathematiques 3, partie EDP 18
Les coecients A
n
et B
n
se calculent en utilisant T(r = a, ) = f() aisi que lorthogonalite
des sinus et cosinus :
A
0
=
1
2
_
2
0
f()d,
A
n
=
a
n

_
2
0
f() cos(n)d,
B
n
=
a
n

_
2
0
f() sin(n)d.
Theor`eme de la valeur moyenne
La solution au centre du cercle vaut
T(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
T(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
T(r, )r dr d = 2
a
2
2
A
0
= a
2
T(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 incus dans . Le resultat
que nous venons de demontrer se generalise: la valeur u(x, y) est egale `a
La moyenne
1
2a
_
B
u dl
de u calculee sur la circonference de nimporte quel cercle centre en c.
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 c(x, y)
inclus dans , alors u est solution de lequation de Laplace.
FSAb1103 - Mathematiques 3, partie EDP 19
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 .
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 .
FSAb1103 - Mathematiques 3, partie EDP 20
2.4 Equation de Poisson
On demande de demontrer que lequation de Poisson

2
u = g(x, y) dans
soumise `a des conditions limites de Dirichlet
u = u sur
poss`ede une solution unique.
Aide : utiliser le th`eor`eme du maximum pour lequation de Laplace.
FSAb1103 - Mathematiques 3, partie EDP 21
2.5 Deux variables spatiales : 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,

r
2
R

+ rR

R
=

= +k
2
,
le signe + etant choisi parce quon sattend `a obtenir des solutions periodiques `a lequation
en .
FSAb1103 - Mathematiques 3, partie EDP 22
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

.
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
,
FSAb1103 - Mathematiques 3, partie EDP 23
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.
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
.
FSAb1103 - Mathematiques 3, partie EDP 24
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
_
. (9)
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
.
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.
FSAb1103 - Mathematiques 3, partie EDP 25
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 (9), avec ces valeurs pour les coecients A
0
, A
n
et
B
n
.
FSAb1103 - Mathematiques 3, partie EDP 26
2.6 Trois variables spatiales : 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
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
FSAb1103 - Mathematiques 3, partie EDP 27
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)). (10)
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
_
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
(11)
la solution est donc celle de lequation (10) munie des coecients deni `a lequation (11).
FSAb1103 - Mathematiques 3, partie EDP 28
2.7 Trois variables spatiales : Laplace dans un cylindre. Fonctions
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).
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.
FSAb1103 - Mathematiques 3, partie EDP 29
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). (12)
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)
FSAb1103 - Mathematiques 3, partie EDP 30
2.8 Trois variables spatiales : 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)
FSAb1103 - Mathematiques 3, partie EDP 31
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
.
FSAb1103 - Mathematiques 3, partie EDP 32
3 Probl`emes Paraboliques
3.1 Une variable spatiale : 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
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).
FSAb1103 - Mathematiques 3, partie EDP 33
_
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).
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. 7: u(x, 0) pour un nombre de modes de Fourier variable
La gure 7 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 8
montre levolution de la solution dans le temps. Notez que pour des temps adimensionnels
FSAb1103 - Mathematiques 3, partie EDP 34
0
0.2
0.4
0.6
0.8
1
1.2
0 0.2 0.4 0.6 0.8 1
Fig. 8: u(x, t) pour dierents temps
= 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.
FSAb1103 - Mathematiques 3, partie EDP 35
3.2 Une variable spatiale : 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
FSAb1103 - Mathematiques 3, partie EDP 36
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).
FSAb1103 - Mathematiques 3, partie EDP 37
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)
FSAb1103 - Mathematiques 3, partie EDP 38
3.3 Une variable spatiale : 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.
FSAb1103 - Mathematiques 3, partie EDP 39
3.4 Une variable spatiale : 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
FSAb1103 - Mathematiques 3, partie EDP 40
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
_
(13)
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 (13). 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
_
.
FSAb1103 - Mathematiques 3, partie EDP 41
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
.
FSAb1103 - Mathematiques 3, partie EDP 42
3.5 Une variable spatiale: 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 ?
FSAb1103 - Mathematiques 3, partie EDP 43
4 Probl`emes Hyperboliques
4.1 Une variable spatiale : 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.
FSAb1103 - Mathematiques 3, partie EDP 44
Cest une EDO ` a coecients constants. On calcule le polyn ome caracteristique

2
+ k + c
2
= 0
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).
FSAb1103 - Mathematiques 3, partie EDP 45
4.2 Une variable spatiale : 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).
FSAb1103 - Mathematiques 3, partie EDP 46
4.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
_
. (14)
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 (15)
ainsi que les conditions initiales
u(x, y, 0) = f(x, y) et
u
t
(x, y, 0) = 0. (16)
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 (17)
ainsi que les conditions initiales
u(, , 0) = f(x(), y()) et
u
t
(, , 0) = 0. (18)
On commence par separer la partie en temps
u(, , t) = T(t)(, )
FSAb1103 - Mathematiques 3, partie EDP 47
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

_
.
FSAb1103 - Mathematiques 3, partie EDP 48
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
_
.
FSAb1103 - Mathematiques 3, partie EDP 49
4.4 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.
FSAb1103 - Mathematiques 3, partie EDP 50
4.5 Deux variables spatiales : 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.
FSAb1103 - Mathematiques 3, partie EDP 51
La Figure 9 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 10. 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.
FSAb1103 - Mathematiques 3, partie EDP 52
-1
-0.5
0
0.5
1
0 5 10 15 20
F
(
r
)
r
Fig. 9: 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. 10: Fonctions propres R
1
(bleu) et R
2
(vert).
FSAb1103 - Mathematiques 3, partie EDP 53
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.
FSAb1103 - Mathematiques 3, partie EDP 54
4.6 Trois variables spatiales : 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
=
FSAb1103 - Mathematiques 3, partie EDP 55
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
FSAb1103 - Mathematiques 3, partie EDP 56
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!
FSAb1103 - Mathematiques 3, partie EDP 57
5 Methode des caracteristiques
5.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.
FSAb1103 - Mathematiques 3, partie EDP 58
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. 11: 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
_
FSAb1103 - Mathematiques 3, partie EDP 59
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
_
FSAb1103 - Mathematiques 3, partie EDP 60
5.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 12). 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 12. 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. 12: c fonction de x
FSAb1103 - Mathematiques 3, partie EDP 61
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 13. 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.
FSAb1103 - Mathematiques 3, partie EDP 62
Fig. 13: Reseau des caracteristiques
4. Equation de compatibilite valable le long de la caracteristique:
cdu =
dc
dx
udx ou cdu =
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 14).
FSAb1103 - Mathematiques 3, partie EDP 63
Fig. 14: u/U fonction de x/L

You might also like