Documente Academic
Documente Profesional
Documente Cultură
F. Golse
Octobre 2012
ii
Table des matieres
I Distributions 1
1 Fonctions C a support compact 3
1.1 Calcul differentiel : rappels et notations . . . . . . . . . . . . . . 3
1.2 Fonctions de classe C a support compact . . . . . . . . . . . . 6
1.3 Regularisation des fonctions . . . . . . . . . . . . . . . . . . . . . 11
1.3.1 Convolution des fonctions . . . . . . . . . . . . . . . . . . 11
1.3.2 Regularisation par convolution . . . . . . . . . . . . . . . 21
1.4 Partitions de lunite . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.5 Appendice : Inegalites de Holder et de Minkowski . . . . . . . . . 28
1.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 E.D.P. dordre un 35
2.1 Lequation de transport . . . . . . . . . . . . . . . . . . . . . . . 35
2.2 Equations de transport a coefficients variables . . . . . . . . . . . 38
2.3 E.D.P. non lineaires dordre un . . . . . . . . . . . . . . . . . . . 45
2.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
iii
iv TABLE DES MATIERES
6 Appendice 193
6.1 Rappels de topologie . . . . . . . . . . . . . . . . . . . . . . . . . 193
6.2 Integration sur les surfaces . . . . . . . . . . . . . . . . . . . . . . 196
6.2.1 Integrales curvilignes : rappels . . . . . . . . . . . . . . . 196
6.2.2 Element daire sur une surface ; integrale de surface . . . . 199
6.3 Integration sur une hypersurface de RN . . . . . . . . . . . . . . 204
6.3.1 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . 208
6.4 Quelques proprietes de la fonction . . . . . . . . . . . . . . . . 209
Bibliographie 393
Premiere partie
Distributions
1
Chapitre 1
Fonctions C a support
compact
3
4 CHAPITRE 1. FONCTIONS C A SUPPORT COMPACT
V : RN RN ou est un ouvert de RN ,
on note
N
X
div V (x) ou divx V (x) = xk Vk (x) .
k=1
|| = 1 + . . . + N .
|| f
f (x) ou x f (x) designe (x) ,
x
1
1
. . . x
N
N
cest-a-dire que
f (x) ou x f (x) = x11 . . . xNN f (x) .
Par analogie, pour tout x RN et tout NN , on note
x = x N
1 . . . xN .
1
si et seulement si k k pour k = 1, . . . , N .
On posera alors
!
=
( )!!
ou
! = 1 ! . . . N ! .
Avec ces notations, on peut ecrire tres simplement
(a) la formule du binome :
X
(x + y) = x y ;
1.1. CALCUL DIFFERENTIEL : RAPPELS ET NOTATIONS 5
Ainsi, f 0 est une application continue de dans lespace L(RN , Rn ) des appli-
cations lineaires de RN dans Rn . De plus, la matrice de f 0 (x) dans les bases
canoniques de RN et Rn est, pour tout x ,
pour tous a, b I ;
(b) pour une fonction f de classe C p+1 sur un ouvert RN :
X (b a)
f (b) = f (a)
!
||p
1
(b a)
X Z
+ (p + 1) (1 t)p f (a + t(b a))dt ,
! 0
||=p+1
supp() = {x X | (x) 6= 0} .
0.8 0.040
0.7 0.035
0.6 0.030
0.5 0.025
0.4 0.020
0.3 0.015
0.2 0.010
0.1 0.005
0.0 0.000
3 2 1 0 1 2 3 0.3 0.2 0.1 0.0 0.1 0.2 0.3
Il est clair que E est de classe C sur R ; dautre part, on montre que
P0 (X) = 1 ,
Pn+1 (X) = X 2 (Pn0 (X) + Pn (X)) , n 0.
On en deduit que
cest-a-dire
ba
F (x) = e (bx)(xa) si x ]a, b[ ,
F (x) = 0 si x ] , a] [b, +[ .
8 CHAPITRE 1. FONCTIONS C A SUPPORT COMPACT
0.14
0.12
0.10
0.08
0.06
0.04
0.02
0.00
2.0 1.5 1.0 0.5 0.0 0.5 1.0 1.5 2.0
H(x) = E(|x|2 1) ,
cest-a-dire
H(x) = 0 si |x| 1 ,
1
H(x) = e |x|2 1 si |x| < 1 .
Dans toute la suite, nous designerons systematiquement par |x| la norme
euclidienne de x RN , cest-a-dire
v
uN
uX
|x| = t x2k .
k=1
10
9
8
7
6
Z 5
4
3
2
1
0
2.0 2.0
1.5 1.5
1.0 1.0
0.5 0.5
0.0 0.0
0.5 0.5
1.0 1.0
Y 1.5 1.5 X
2.0 2.0
1.0
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0.0
2.0 1.5 1.0 0.5 0.0 0.5 1.0 1.5 2.0
{x} K = {x z | z K} .
Autrement dit, est une densite de probabilite sur RN voir [13], Definition
4.2.7. La formule Z
? f (x) = f (x z)(z)dz
RN
ou
O(f ) = { ouvert de RN | f = 0 p.p. sur } .
{x R | 1Q (x) 6= 0} = Q = R .
avec la notation
A + B = {a + b | a A et b B} .
Hx : y 7 f (x y)g(y)
Notons
Nf = {z RN \ supp(f ) | f (z) 6= 0} ,
Ng = {z RN \ supp(g) | g(z) 6= 0} ,
14 CHAPITRE 1. FONCTIONS C A SUPPORT COMPACT
{y RN | Hx (y) 6= 0} ({x} Nf ) Ng
qui est de mesure nulle dans RN comme reunion de deux ensembles de mesure
nulle. On vient donc de montrer que
Par consequent, la fonction f ? g definie p.p. sur RN est nulle p.p. sur louvert
RN \ supp(f ) + supp(g)
Demonstration. En effet, soit une suite (zn )n1 de points de A+B convergeant
vers z dans RN . Il sagit de montrer que z A + B.
Comme zn A + B, il existe, pour tout n 1, des points xn A et yn B
tels que zn = xn + yn . Comme A est compact dans RN , il existe une sous-suite
(xnk )k1 de la suite (xn )n1 qui converge vers une limite que lon notera x A.
1.3. REGULARISATION DES FONCTIONS 15
Alors
ynk = znk xnk z x =: y lorsque nk .
Comme B est ferme, y B. Par consequent
z = x + y avec x A et y B
dou z A + B.
On sait que le produit usuel de fonctions a valeurs reelles ou complexes herite
des proprietes de regularite de lensemble de ses facteurs. Ainsi, pour f, g
C k (), le produit f g : x 7 f (x)g(x) est de classe C k sur . Par comparaison,
le produit de convolution a ceci de remarquable quil herite de la regularite dun
seul de ses facteurs.
En voici une premiere manifestation.
on a
? f (xn ) ? f (x0 ) pour n ,
ce qui etablira la continuite de ? f en x0 .
Notons K = supp() et posons
K = {a b | |a| et b K} ;
lorsque n .
Le resultat ci-dessous va encore plus loin et permet de deviner linteret de
la notion de produit de convolution pour la regularisation des fonctions.
Proposition 1.3.8 (Regularite de la convolution Cc ? L1loc ) Pour toute fonc-
tion Cc (RN ) et tout f L1loc (RN ), le produit de convolution ? f appar-
tient a C (RN ), et on a
( ? f ) = ( ) ? f , pour tout NN .
De meme
Ccm (RN ) et f L1loc (RN ) ? f C m (RN ) .
Demonstration. Pour x0 RN et > 0, on considere la fonction mesurable
F : B(x0 , ) K 3 (x, y) 7 (x y)f (y) R ,
ou on rappelle que
K = {a b | |a| et b K} ,
avec K = supp() comme ci-dessus.
Pour presque tout y K , la fonction x 7 F (x, y) est de classe C sur
B(x0 , ), et, pour tout multi-indice NN , on a
|x F (x, y)| = | (x y)f (y)| C |f (y)|
pour tout (x, y) B(x0 , )(K \N ), ou N est un ensemble negligeable eventuel
sur lequel la fonction localement integrable f nest pas definie, et ou
C = sup | (z)| = max | (z)| < .
zRN zK
Pour une demonstration, cf. [6], chapitre IV.1.2, ou [9], chapitre VII, Theoreme 2.0.9.
1.3. REGULARISATION DES FONCTIONS 17
1 1 1
= + 1 = 0 , dou r = .
r p q
y 7 f (x y) appartient a Lp (RN ) .
lon a
Z
|f ? g(x)| =
f (x y)g(y)dy
N
ZR
|f (x y)||g(y)|dy
RN
kf (x )kLp (RN ) kgkLq (RN ) = kf kLp (RN ) kgkLq (RN ) ,
dou
kf ? gkL (RN ) kf kLp (RN ) kgkLq (RN ) .
2eme cas : supposons que p = q = 1, de sorte que r = 1 puisque
1 1 1
= + 1 = 1.
r p q
tandis que
ou on a suppose que
r 0 lorsque 0+ .
Voici comment construire un exemple de suite regularisante. On part de la
fonction H definie comme dans la section precedente. Remarquons que H 0
sur RN et que H > 0 sur B(0, 1), de sorte que
Z
H(x)dx > 0 .
RN
lorsque 0+ .
car Z
(y)dy = 1 .
RN
= sup |f (x y) f (x)| .
|y|r
1.3. REGULARISATION DES FONCTIONS 23
kf f kLp (RN ) .
Comme nous lavons rappele plus haut, lensemble des fonctions continues
sur RN a support compact est dense dans Lp (RN ) pour 1 p < . Mais pour
p = , ce nest pas le cas : Cc (RN ) nest pas dense dans L (RN ) (puisque la
limite uniforme dune suite de fonctions continues est une fonction continue).
Donc, en particulier, Cc (RN ) nest pas dense dans L (RN ).
Demonstration. Par densite de Cc (RN ) dans Lp (RN ), etant donne > 0, il
existe Cc (RN ) telle que
Or supp() est compact ; soit donc R > 0 tel que supp() B(0, R) de sorte
que
supp( ? ) B(0, R) + B(0, r ) = B(0, R + r ) ,
dapres la Proposition 1.3.4 et le Lemme 1.3.6. Alors, grace a linegalite de
Holder (voir Appendice de ce chapitre, Theoreme 1.5.1)
lorsque 0+ .
Pour demontrer le b), on choisit > 0 assez petit pour que
et on pose f = ? : ainsi
Dautre part
kf f ? kLp (RN )
kf kLp (RN ) + k ? kLp (RN ) + k ? ? f kLp (RN )
(1 + k kL1 (RN ) )kf kLp (RN ) + k ? kLp (RN )
= + k ? kLp (RN )
et comme ceci vaut pour tout > 0, il sensuit que le membre de gauche de
cette inegalite, qui est un nombre independant de , est nul, ce qui etablit le a).
K Ux1 . . . Uxn .
La fonction
n
X
f= xj
j=1
verifie
I C (R) , I 0 0 , I R = 0 , I [1,[ = 1 .
kf f kLp () < .
26 CHAPITRE 1. FONCTIONS C A SUPPORT COMPACT
qui est compact car ferme borne dans RN . Dapres le Lemme 1.4.1, pour tout
n 1, il existe n C (RN ) telle que
supp(n ) , n Kn = 1 , 0 n 1 .
Evidemment
1Kn n 1 .
Pour tout n 1, on definit Gn = n G. Par construction de Kn ,
de sorte que
Posons alors
f = Gn1 .
1.4. PARTITIONS DE LUNITE 27
K 1 . . . n .
verifiant
n
X
k = 1 sur un voisinage de K .
k=1
Demonstration.
Etape 1. Montrons quil existe K1 , . . . , Kn compacts tels que
n
[
Kj j , j = 1, . . . , n , et K Kj .
j=1
Aj = {l = 1, . . . , m | k(xl ) = j} ,
et posons [
Kj = B(xl , rxl ) j , j = 1, . . . , n .
lAj
28 CHAPITRE 1. FONCTIONS C A SUPPORT COMPACT
Alors
n
X
j > 0 sur V = V1 . . . Vn voisinage ouvert de K.
j=1
Ainsi
n
X
1+ k > 0 sur RN .
k=1
En effet
n
X n
X
1 (x) + k (x) k (x) > 0 si x V ,
k=1 k=1
Xn
1 (x) + k (x) 1 (x) = 1 si x
/V.
k=1
Posons alors
j
j = Pn , j = 1, . . . , n .
1 + k=1 k
Par construction, j C (RN ) et verifie
j 0 , et supp(j ) compact j .
Enfin, on a
n
X
j (x) = 1 en tout point ou (x) = 1
j=1
1 1
+ = 1, avec la convention 1/ = 0 .
p q
1.5. APPENDICE : INEGALITES DE HOLDER ET DE MINKOWSKI 29
tandis que
Z Z
|f (x)g(x)|dx supess |g(x)| |f (x)|dx si p = 1 et q = .
X xX X
N = h1 (]M, +]) ,
M = sup h(x) .
xX\N
Alors
Z Z
|f (x)g(x)|dx = |f (x)g(x)|dx
X X\N
Z
sup |g(x)| |f (x)|dx
xX\N X\N
Z
= sup |g(x)| |f (x)|dx = kgkL (X) kf kL1 (X) .
xX\N X
30 CHAPITRE 1. FONCTIONS C A SUPPORT COMPACT
Posons alors
|f (x)| |g(x)|
F (x) = Z 1/p et G(x) = Z 1/q .
|f (x)|p dx q
|g(x)| dx
X X
tandis que
de sorte que
Z Z Z
|f (x)+g(x)|p dx |f (x)||f (x)+g(x)|p1 dx+ |g(x)||f (x)+g(x)|p1 dx .
X X X
p
Appliquons linegalite de Holder, en notant p0 = p1 , de sorte que 1
p + 1
p0 = 1.
On a
Z
|f (x)||f (x) + g(x)|p1 dx
X
Z 1/p Z 1/p0
p (p1)p0
|f (x)| dx |f (x) + g(x)| dx
X X
Z 1/p Z 11/p
= |f (x)|p dx |f (x) + g(x)|p dx .
X X
32 CHAPITRE 1. FONCTIONS C A SUPPORT COMPACT
De meme
Z Z 1/p Z 11/p
|g(x)||f (x)+g(x)|p1 dx |g(x)|p dx |f (x) + g(x)|p dx .
X X X
Si Z
|f (x) + g(x)|p dx = 0
X
linegalite annoncee est evidemment vraie.
Sinon, on divise chaque membre de linegalite ci-dessus par
Z 11/p
p
|f (x) + g(x)| dx 6= 0
X
1.6 Exercices
Exercice 1.
Demontrer les formules du binome, du multinome et de Leibnitz.
Exercice 2.
Montrer que la fonction definie sur RN par
|x|2
1|x|2
(x) = e si |x| < 1 , (x) = 0 si |x| 1
Exercice 3.
f (x)
a) Soit f C (R) telle que f (0) = 0. Montrer que la fonction x 7 x se
prolonge en une fonction de classe C sur R.
b) Soit n 1 entier. Donner une condition necessaire et suffisante portant sur
f C (R) pour que la fonction x 7 fx(x)
n se prolonge en une fonction de classe
C sur R.
Exercice 4.
Soient f Lp (RN ) et g Lq (RN ) avec p, q [1, ] tels que p1 + 1q = 1.
Montrer que f ? g est uniformement continue et bornee sur RN . (On pourra
utiliser le fait que Cc (RN ) est dense dans Lp (RN ) pour p [1, [, et quune
fonction continue sur un compact est uniformement continue.)
Exercice 5.
Soit A RN mesurable et de mesure de Lebesgue |A| > 0. Montrer que
A A = {x y | x, y A}
est un voisinage de 0.
(Indication : on pourra considerer la fonction f ?f, ou f est la fonction indicatrice
de A et f(x) = f (x).)
Exercice 6.
Soit (an )n0 une suite quelconque de nombres reels, et soit , une fonction
de classe C sur R telle que
= 1 , supp() [2, 2] .
[1,1]
a) Montrer quil existe une suite (n )n0 de reels positifs tendant vers 0 telle
que la serie
X xn x
f (x) = an
n! n
n0
b) En deduire le
Theoreme de Borel. Pour toute suite (an )n0 de nombres reels, il existe une
fonction f C (R) telle que
Exercice 7.
Soient ouvert de RN et K compact de RN inclus dans . On notera dans
la suite de cet exercice F = RN \ .
a) On note
dist(K, F ) = inf{|x y| | x K et y F } .
Montrer que dist(K, F ) > 0.
b) Montrer que la borne inferieure du a) est atteinte, cest-a-dire quil existe
x K et y F tels que dist(K, F ) = |x y|.
c) Dans la suite de cet exercice, on notera = dist(K, F ). Pour tout > 0, on
pose
K = {x RN | dist(x, K) } .
Montrer que, pour tout ]0, [, lensemble K est un compact de RN inclus
dans .
d) Soit C (RN ) telle que
Z
0 1, supp() B(0, 1) , (x)dx = 1 .
RN
E.D.P. dordre un
t f + v x f = 0
35
36 CHAPITRE 2. E.D.P. DORDRE UN
de sorte que
N
X
v x f (t, x) = vk xk f (t, x) .
k=1
tandis que
N
X
t (f in (x tv)) = vi (xi f in )(x tv)
i=1
= v (f in )(x tv) = v x (f in (x tv)) ,
ce qui montre que la fonction f : (t, x) 7 f in (x tv) est bien une solution de
lequation de transport.
Meme si f in nest pas derivable, la formule
f (t, x) = f in (x tv)
garde un sens, et on souhaiterait pouvoir dire quelle definit encore une solution
de lequation de transport.
Exemple : pour N = 1, prendre f in en escalier, par exemple
Pour lanalyse des equations aux derivees partielles, il est donc souvent tres
naturel de devoir deriver des fonctions non derivables.
Le bon cadre pour cela, comme on le verra dans la suite de ce cours, est la
theorie des distributions.
s 7 (s, (s))
comme dans le cas ou V = Const. etudie plus haut. Pour ce faire, on aura
besoin de quelques proprietes fondamentales de ces courbes caracteristiques,
resumees dans la proposition suivante. (Dans le cas ou V = Const. ces proprietes
sont verifiees trivialement car lequation differentielle donnant les courbes ca-
racteristiques est resolue de maniere explicite.)
X(s, t, ) : x 7 X(s, t, x)
Ainsi, lorsque x > 0, la fonction X(s, t, x) nest definie que pour s < t + x1 ,
tandis que, pour x < 0, elle nest definie que pour s > t x1 . Donc lapplication
(s, x) 7 X(s, t, x) nest definie sur aucun voisinage de (t, x) de la forme [a, b]R.
Autrement dit, lhypothese (H2) sert a definir le flot X de facon globale cest-
a-dire pour tout t tel que le champ V (t, ) soit defini et de classe C 1 .
Demonstration. Soit (t, x) [0, T ] RN et soit la solution maximale du
probleme de Cauchy
d
(s) = V (s, (s)) ,
ds
(t) = x .
2.2. EQUATIONS DE TRANSPORT A COEFFICIENTS VARIABLES 41
Supposons que I 6= [0, T ] : dapres le lemme des bouts (voir [17], Proposi-
tion 4.2), on aurait
Or ceci est exclu par linegalite precedente : donc la solution maximale est
definie sur I = [0, T ].
(a) Remarquons que, pour tous t1 , t2 [0, T ] et tout x RN , les applications
Alors
(t) AeBt , pour tout t 0.
Demonstration. La fonction definie par
Z t
(t) = A + B (s)ds , pour tout t 0
0
est de classe C 1 sur R+ et a valeurs dans [A, +[ puisque est continue et positive ou nulle
sur R+ . Lhypothese faite sur secrit
0 (t) B(t)
= B, t 0.
A + B 0t (s)ds
R
(t)
pour tout (s, x) [0, T ]RN la deuxieme egalite ci-dessus etant precisement
lequation differentielle lineaire verifiee par la derivee partielle xj X.
(c) Dapres le (b), pour tous s, t [0, T ], lapplication X(s, t, ) admet des
derivees partielles par rapport a toutes les variables xj pour j = 1, . . . , N , et
ces derivees partielles sont continues en tout point x RN : donc lapplication
X(s, t, ) est de classe C 1 sur RN .
Appliquons dautre part le (a) avec t3 = t1 = s et t2 = t, puis avec t3 = t1 = t
et t2 = s : on en deduit que
Le point (b) entrane que lapplication s 7 J(s, t, x) est continue de [0, T ] dans
R ; dautre part J(t, t, x) = 1 et J(s, t, x) 6= 0 pour tout s [0, T ], car cest
2.2. EQUATIONS DE TRANSPORT A COEFFICIENTS VARIABLES 43
ou encore
N
X
t X(t3 , t2 , X(t2 , t1 , x)) + xj X(t3 , t2 , X(t2 , t1 , x))Vj (t2 , X(t2 , t1 , x)) = 0 .
j=1
garde un sens meme si f in nest pas derivable, et on aimerait pouvoir dire quelle
definit une solution en un sens generalise de lequation de transport
gaz sans pression, ou encore en tant que modele (propose par Ya. B. Zeldovich)
pour levolution a grande echelle damas de galaxies.
Lequation de Hopf, dinconnue u u(t, x) R, secrit
d
u(s, X(s, t, z)) = (t u + ux u)(s, X(s, t, z)) = 0 .
ds
La fonction s 7 u(s, X(s, t, z)) est donc constante sur [0, T [, de sorte que
de sorte que
X(s, t, z) = z + (s t)u(t, z) , 0s<T.
En particulier
X(s, 0, z) = z + su(0, z) , 0s<T.
Cette formule montre que le flot caracteristique X X(s, t, z) se prolonge a
tout R R R en une application de classe C 1 .
Ecrivant a nouveau que la solution u est constante le long des courbes ca-
racteristiques de loperateur de transport t + ux , on trouve donc que
Theoreme 2.3.1 Soit uin C 1 (R), bornee sur R ainsi que sa derivee (uin )0 .
(a) Le probleme de Cauchy pour lequation de Hopf
avec la convention 1/0 = +. Cette solution est definie par la relation implicite
s (z) pour z .
Par consequent s est une bijection croissante de R sur lui-meme pour tout
s [0, T [, de classe C 1 ainsi que sa reciproque 1
s .
Enfin, en appliquant le theoreme des fonctions implicites (voir [17], Theoreme
1.4) a lequation
F (t, z) := z + tuin (z) x = 0
dont lunique solution est z = 1
t (x), on verifie que lapplication
: (t, x) 7 (t, x) = 1
t (x)
Donc la fonction
u(t, x) = uin ((t, x))
48 CHAPITRE 2. E.D.P. DORDRE UN
de sorte que
t u(t, x) + uin ((t, x))x u(t, x) = 0 .
Comme uin ((t, x)) = u(t, x), on en deduit que u est bien solution de lequation
de Hopf (la condition initiale etant evidente, puisque (0, x) = 1 0 (x) = x.)
Lunicite provient de lapplication de la methode des caracteristiques rap-
pelee avant lenonce du theoreme. En effet, toute solution de lequation de Hopf
de classe C 1 sur [0, T [R verifie
cest-a-dire
u(t, t (z)) = uin (z) , (t, z) [0, T [R .
En faisant le changement de variables t (z) = x, cest-a-dire
z = 1
t (z) = (t, x) ,
on trouve que
u(t, x) = uin ((t, x)) , (t, z) [0, T [R .
Alors
z1 + s u(0, z1 ) = z2 + s u(0, z2 )
de sorte que
2.4 Exercices
Exercice 1. Appliquer la methode des caracteristiques pour resoudre le probleme
de Cauchy
ou a C 1 (R+ RN ).
Exercice 2. Meme question pour le probleme avec second membre
ou a et S C 1 (R+ RN ).
Exercice 3. Soient > 0, a et S C 1 (RN ). Supposons quil existe M > 0 tel
que
admet une unique solution bornee f de classe C 1 sur RN , et que cette solution
est donnee par la formule
Z + Rt
f (x) = et 0 a(xsv)ds S(x tv)dt .
0
t v + f (x v) = 0 ,
= v in ,
v t=0
ou v in C 2 (R) est bornee sur R ainsi que ses deux premieres derivees.
1) Quelle est lequation satisfaite par x v ?
2) En deduire un resultat dexistence et unicite locale pour le probleme de
Cauchy verifie par v.
52 CHAPITRE 2. E.D.P. DORDRE UN
Chapitre 3
3.1 Introduction
Comme nous lavons montre dans le chapitre precedent, il est naturel davoir
a considerer des solutions dequations aux derivees partielles en un sens suffi-
samment generalise pour netre meme pas forcement differentiables. La theorie
des distributions repond precisement a cette exigence.
Mais avant dentrer dans le vif du sujet et de developper en detail les notions
de base de cette theorie, nous allons presenter une maniere naturelle decrire
quune fonction non necessairement differentiable est solution dune equation
aux derivees partielles.
Considerons par exemple le cas de lequation de transport en dimension
N =1:
t u + cx u = 0 , x R , t > 0 ,
= uin ,
u
t=0
ou la fonction inconnue est (t, x) 7 u(t, x), et ou la vitesse est c R.
Supposons dans un premier temps que uin C 2 (R), de sorte quil existe une
unique solution u C 1 (R+ R) au probleme ci-dessus, donnee par la formule
u(t, x) = uin (x ct) , x R, t 0.
Dire que la fonction u C 1 (R+ R) verifie lequation aux derivees partielles
(A) t u + cx u = 0 sur R+ R
cest dire que la fonction (t, x) 7 t u(t, x) + cx u(t, x) verifie
ZZ
(B) (t u(t, x) + cx u(t, x)) (t, x)dtdx = 0
R
+ R
53
54 CHAPITRE 3. CALCUL DES DISTRIBUTIONS
definit un element de lespace de Hilbert L2 ([1/n, n][n, n]) qui est orthogonal
au sous-espace dense Cc (]1/n, n[]n, n[) voir Theoreme 1.4.2. Cet element
est donc nul :
sur le R- (ou C-) espace vectoriel Cc (R+ R). Ceci est evidemment a rap-
procher de la notion de derivee faible dans L2 presentee dans [1], chapitre 4.2.2
la difference essentielle etant quon ne demande pas que la forme lineaire
ci-dessus soit continue sur L2 , et donc representable par une fonction de L2
dapres le theoreme de representation de Riesz (cf. [6], Theoreme II.2.11, ou [9],
chapitre VIII, Theoreme 2.2.1 et 2.2.5)
Cette methode sapplique evidemment a toutes les equations aux derivees
partielles lineaires : lidee consiste a faire porter toutes les derivees partielles sur
la fonction test en integrant par parties autant de fois que necessaire.
La theorie des distributions consiste precisement a formaliser lidee que nous
venons de presenter sur lexemple tres simple de lequation de transport
Etape 1 : Soit x0 et r > 0 tel que B(x0 , 2r) ; montrons que f = 0 p.p.
sur B(x0 , r).
En effet, soit F L1 (RN ) definie par
hx(m)
0
, i = (1)m (m) (x0 ) , pour toute fonction test Cc (R) .
|hx(m)
0
, i| sup |(m) (x)| ,
xK
(m)
et on verifie que x0 est une distribution dordre m sur R.
et a considerer que le premier terme au membre de droite est nul car la fonction
1/x est impaire. Evidemment le calcul ci-dessus est purement formel puisque ni
x 7 (x)/x, ni x 7 1/x ne sont integrables sur [, ].
Pour tout R > 1 et toute fonction test C (R) a support dans [R, R],
on a Z 1 Z R
1 (x) (x) (x) (x)
vp , = dx + dx
x 0 x 1 x
Alors, dapres le theoreme des accroissements finis,
Z 1
(x) (x)
dx 2 sup |0 (x)| ,
0 x |x|1
tandis que Z
R (x) (x)
dx 2 ln R sup |(x)| .
x
1 |x|R
Par consequent
vp 1 , 2 sup |0 (x)| + 2 ln R sup |(x)|
x
|x|R |x|R
A partir de la, on montre sans difficulte que vp x1 est une distribution dordre 1
sur R.
Revenons sur ce que nous avons appele la propriete de continuite des
distributions. Pour pouvoir en parler precisement, il faudrait commencer par
definir la topologie de lespace Cc (). Il sagit la dune question assez delicate
sur le plan technique et qui depasse le cadre de notre cours.
En revanche il est tres facile de raisonner avec des suites convergentes de
fonctions test.
Cette notion de convergence, qui est tres forte en particulier du fait que
tous les termes de la suite (n )n1 doivent etre a support dans le meme compact
K est bien adaptee a la propriete de continuite des distributions, comme le
montre lenonce suivant.
n dans Cc () lorsque n ,
on a
hT, n i hT, i lorsque n .
On en conclut que
hT, n i hT, i lorsque n .
Comme T 0
T, sup |(y)| 0 et T, + sup |(y)| 0
yK yK
dou
|hT, i| CK sup |(y)| , avec CK = hT, i .
yK
0
Notons CK () (resp. CK ()) lensemble des fonctions continues (resp. de
0
classe C ) sur a valeurs reelles et a support dans K. Lespace vectoriel CK ()
est muni de la norme de la convergence uniforme
kf kK := sup |f (y)| ,
yK
et dapres le Theoreme 6.1.1, la restriction TK := T C () admet un seul pro-
K
() de C () dans C 0 (), note T .
longement continu a ladherence CK K K K
62 CHAPITRE 3. CALCUL DES DISTRIBUTIONS
sur , le corollaire ci-dessus montre que, dans un premier temps, une telle
distribution se prolonge par continuite de facon unique en une forme lineaire
positive sur lespace des fonctions continues a support compact.
Par exemple, si est une hypersurface de classe C de RN , dont lelement
de surface est note d, la distribution de simple couche de densite 1
Z
Cc (RN ) 3 7 h, i = (x)d(x)
est une distribution positive, qui se prolonge donc de maniere unique en une
mesure de Radon positive, cest-a-dire en une forme lineaire positive sur Cc (RN ).
Mais on peut aller plus loin : le processus de prolongement par monotonie,
utilise pour definir lintegrale de Lebesgue a partir de lintegrale de Riemann,
sapplique dans ce cas et permet de definir lespace des fonctions sommables pour
cette distribution positive, espace qui contient toutes les fonctions continues
a support compact, et dans lequel la distribution positive verifie les enonces
habituels de convergence monotone ou dominee. (Voir les chapitres III et V de
[9].)
espaces de fonctions idee qui nous avons justifiee par la Proposition 3.2.3
a de quoi surprendre du strict point de vue ensembliste, puisquelle consiste a
identifier certaines applications (ici certaines formes lineaires sur lespace des
fonctions test) avec des elements de leur ensemble source (cest-a-dire avec des
fonctions de classe C a support compact.)
Cependant, le lecteur aura deja rencontre plusieurs exemples de ce genre
didentification.
Le theoreme de representation de Riesz (voir [6], Theoreme II.2.11 ou [9],
chapitre VIII, Theoreme 2.2.1 et 2.2.5) applique a lespace de Hilbert L2 (R)
identifie toute fonction f L2 (R) a la forme lineaire continue sur L2 (R)
Z
7 f (x)(x)dx
R
est une forme lineaire continue sur Lp ([0, 1]) puisque, dapres linegalite de
Holder (Theoreme 1.5.1)
Z 1
|f ()| = f (x)(x)dx kf kLp0 ([0,1]) kkLp ([0,1]) .
0
p < q ]1, [
Z 1 Z 1 1p/q Z 1 p/q
|f (x)|p dx dx |f (x)|q dx
0 0 0
3.2. LES DISTRIBUTIONS : DEFINITIONS ET EXEMPLES 65
cest-a-dire que
p(x) en tout point x R3 , ce que lon peut mesurer est plutot une quantite du
type Z
1
p(x)dx
|A| A
pour tout cube A de lespace R3 par exemple ce que lon ecrit encore
Z
1
1A (x)p(x)dx .
|A| R3
Ceci suggere quune mesure physique fournit des quantites du type
Z
(x)p(x)dx
R3
Dautre part,
Z R Z R Z R
dx x i h x ix=+R
= 2 2
dx = i 2 2
dx = i arctan
R x + i R x + R x + x=R
= i (arctan(R/) arctan(R/)) i
On en deduit que
Z Z Z
fn (x)(x)dx = fn (x) ((x) (x0 )) dx + (x0 ) fn (x)dx
(x0 ) = hx0 , i
dou la convergence annoncee.
Nous allons terminer cette section sur des considerations plus delicates rela-
tives a la convergence des distributions et des fonctions test.
Lenonce fondamental est le
Theoreme 3.3.6 (Principe de bornitude uniforme) Soient ouvert de RN
et K compact. Soit une suite (Tn )n1 de distributions sur telle que
la suite hTn , i est convergente pour tout C () a support dans K.
Alors il existe un entier p 0 et C > 0 tels que
|hTn , i| C max sup | (x)|
||p xK
cest-a-dire que
Tn T dans D0 (RN ) lorsque n .
3.3. CONVERGENCE DES SUITES DE DISTRIBUTIONS 71
est une forme lineaire T sur Cc (). Il suffit donc de verifier que cette forme
lineaire T a la propriete de continuite des distributions.
Or, pour tout K compact, il existe, dapres le principe de bornitude
uniforme, un entier pK 0 et une constante CK > 0 tels que
|hTn , i| CK max sup | (x)| ,
||pK xK
pour toute fonction C () a support dans K.
En passant a la limite dans linegalite ci-dessus, on voit que
|hT, i| CK max sup | (x)| ,
||pK xK
pour toute fonction C () a support dans K, ce qui est la propriete de
continuite assurant que T D0 ().
Proposition 3.3.8 (Continuite sequentielle du crochet de dualite) Soient
ouvert de RN , une suite (Tn )n1 de distributions sur , et une suite (n )n1
de fonctions test appartenant a Cc (). Supposons que
Tn T dans D0 () lorsque n , et
n dans Cc () lorsque n .
Alors
hTn , n i hT, i lorsque n .
Demonstration. Comme n dans Cc (), il existe K compact tel
que supp(n ) K pour tout n 1.
Dapres le principe de bornitude uniforme (Theoreme 3.3.6), il existe un
entier p 0 et une constante C > 0 tels que
|hTn , i| C max sup | (x)|
||p xK
xj Tf = Txj f , j = 1, . . . , N .
N
Y
C(x, r) := ]xi r, xi + r[ .
i=1
3.4. OPERATIONS SUR LES DISTRIBUTIONS 73
On calcule donc
Z Z n
!
X
hxj Tf , i = f (x)xj (x)dx = f (x)xj k (x)(x) dx
k=1
n Z
X
= f (x)xj (k )(x)dx
k=1 C(xk ,)
n Z
X n Z
X
= k (x)(x)xj f (x)dx xj (k f )(x)dx .
k=1 C(xk ,) k=1 C(xk ,)
puisque
(x1 , . . . , xi1 , ai , xi+1 , . . . , xN ) = (x1 , . . . , xi1 , bi , xi+1 , . . . , xN ) = 0 ,
74 CHAPITRE 3. CALCUL DES DISTRIBUTIONS
Alors
H 0 = 0 dans D0 (R) .
T0 = 0 dans D0 (I).
Demonstration. Notons I =]a, b[. Dire quune fonction est la derivee dune
fonction test Cc (I) equivaut a dire que
Z
Cc (I) et que (x)dx = 0 .
I
En effet, soit [c, d] ]a, b[ tel que supp() [c, d]. Alors la fonction definie
par Z x
(x) = (y)dy
a
satisfait aux conditions suivantes :
Par consequent
Z
0
hT, i = hT, i + hT, i (x)dx
I
Z
= hT 0 , i + hT, i (x)dx = Ch1, i avec C = hT, i
I
xj (xk T ) = xk xj T dans D0 () .
x f (0, y) = y , et y f (x, 0) = x ,
de sorte que
2 2
yx f (0, 0) = 1 6= 1 = xy f (0, 0) .
Pourtant, on verifie sans difficulte que
2
x,y 2
f = yx f in D0 (R2 ) .
xm x0 = x(m)
0
(m)
ou x0 est la distribution dordre m definie ci-dessus par la formule
hx(m)
0
, i = (1)m hx0 , xm i = (1)m (m) (x0 )
Tn T dans D0 () lorsque n .
x Tn x T dans D0 () lorsque n .
lorsque n .
3.4. OPERATIONS SUR LES DISTRIBUTIONS 77
0 1
(ln |x|) = vp dans D0 (R) .
x
En effet, pour tout Cc (R), on a, en integrant par parties,
Z + Z
h(ln |x|)0 , i = ln |x|0 (x)dx = ln |x|(0 (x) + 0 (x))dx
0
h i Z (x) (x)
= ln |x|((x) (x)) + dx
0 0 x
1
= vp , .
x
1|x|1/n
(1|x|1/n | ln |x|)0 = ln n(1/n 1/n )
x
Alors
(a) pour tout R > 0, la restriction de f a R B(0, R) est continue en t R a
valeurs dans L1 (B(0, R)) ; et
(b) la fonction f est solution de lequation de transport
t f + v x f = 0 dans D0 (Rt RN
x ).
t fn + v x fn = 0 sur R RN ,
fn t=0 = fnin ,
Verifions que la formule ci-dessus definit bien une distribution sur , ce qui
se ramene a verifier la propriete de continuite.
Or la formule de Leibnitz montre que, pour tout compact K , on a
X
max sup | (a)(x)| = max sup a(x) (x)
||p xK ||p xK
Mp,K [a] max sup | (x)|
||p xK
avec
Mp,K [a] = 2p max sup | a(x)| .
||p xK
ax x0 pour tout NN .
Demonstration.
Unicite. Supposons quil existe deux distributions sur , T et T , verifiant
cette propriete. Alors la distribution S = T T est telle que
S = 0 pour tout i I.
i
3.4. OPERATIONS SUR LES DISTRIBUTIONS 81
Montrons que S = 0.
Soit donc Cc () et soit K = supp() compact dans . Comme (i )iI
est un recouvrement ouvert de K, il en existe un sous-recouvrement fini, cest-
a-dire i1 , . . . , in I tels que
K i1 . . . in .
Alors
n
X n
X
hS, i = S, k = S ik
, k =0
k=1 k=1
et comme ceci vaut pour toute fonction test Cc (), on en deduit que S = 0.
Existence. Soit K compact dans ; comme dans la preuve dunicite, on deduit du
fait que la famille (i )iI fournit un recouvrement ouvert du compact K lexis-
tence dun sous-recouvrement fini (i1 , . . . , in ) et dune partition de lunite sur
K notee (1 , . . . , n ) subordonnee au sous-recouvrement fini (i1 , . . . , in ).
Soit maintenant C () a support dans K ; on pose
n
X
TK () = hTik , k i .
k=1
Or
n
X n X
X m
, k 0l
hTik , k i = Tik 0
ik i
l
k=1 k=1 l=1
on conclut que
n
X n X
X m
, k 0l
hTik , k i = Tik i 0
k i
l
k=1 k=1 l=1
Xn X m m
X
, k 0l , 0l
= T
i0l = T
i0l .
ik i0
l
k=1 l=1 l=1
hTK , i = hTK 0 , i
Ceci montre que la forme lineaire T definie plus haut est une distribution sur
.
Dans le cas general ou T est une distribution, il est plus delicat, comme
on va le voir, de definir ce produit de composition, et cela necessite dailleurs
certaines hypotheses sur lapplication .
Nous allons commencer par le cas le plus simple, celui ou on suppose que
est un C -diffeomorphisme entre ouverts de RN .
Supposons donc que 1 et 2 sont deux ouverts de RN et que
: 1 2 est un diffeomorphisme de classe C .
Pour toute fonction f L1loc (2 ), on sait que la fonction f appartient a
L1loc (1 ),
et la formule du changement de variables dans les integrales entrane
que
Z Z
f (x)(x)dx = f (y)(1 (y))| det(D(1 (y)))|1 dy
1 2
Cette formule vaut en particulier lorsque A est une rotation ou une symetrie
orthogonale, ou plus generalement une matrice orthogonale A ON (R), auquel
cas A1 = AT et | det(A)| = 1.
Elle vaut encore dans le cas particulier ou A est la matrice dun homothetie :
pour R et A = I, on a
V : x 7 x + V .
Alors
hT V , i = hT, V i , Cc (RN ) .
et lon a
y hT, (, y)i = hT, y (, y)i .
et que Z Z
y f (x)(x, y)dx = f (x)y (x, y)dx .
Ce cas particulier de la proposition ci-dessus se ramene donc a un enonce de
derivation sous le signe somme.
Demonstration. Soit y0 Rn ; ecrivons la formule de Taylor a lordre 1 en y0
pour la fonction y 7 (x, y) :
n
X
(x, y0 + h) = (x, y0 ) + yi (x, y0 )hi + r(x, y0 , h)
i=1
avec
X h Z 1
r(x, y0 , h) = 2 (1 t)y (x, y0 + th)dt .
! 0
||=2
Alors
n
X
hT, (, y0 + h)i = hT, (, y0 )i + hT, yi (, y0 )ihi + hT, r(, y0 , h)i ,
i=1
et
y 7 hT, (, y)i
verifie
m 0 dans Cc () lorsque m .
Par continuite sequentielle de T (cf. Proposition 3.2.9) on conclut que
1
T, ((x, y0 + hm ) (x, y0 ) y (x, y0 ) hm ) 0
|hm |
lorsque m . Comme ceci vaut pour toute suite (hm )m0 de Rn convergeant
vers 0, il sensuit que
1
T, ((x, y0 + h) (x, y0 ) y (x, y0 ) h) 0
|h|
lorsque |h| 0.
Considerons la fonction
Z
(x, y) = (x, y) (y) (x, z)dz .
R
Dapres le theoreme de derivation sous le signe somme, il est clair que la fonction
Cc ( R) et verifie
Z
supp() K [R, R] et (x, y)dy = 0 pour tout x .
R
f g : 3 x 7 f (x)g(x) R ou C .
n (x) = n(nx)
ou C (R) verifie
Z
supp() [1, 1] , > 0 sur ] 1, 1[ , (x)dx = 1 .
R
0 = H 0 = (H 2 )0 = 2H0 = (H 3 )0 = 3H 2 0 = 3H0 ,
3.5. LA FORMULE DES SAUTS ET SES VARIANTES 89
dou on tirerait
H0 = 21 0 = 13 0 ,
ce qui est evidemment absurde.
Plus generalement, il nest pas possible de donner un sens a F (T ) pour
F : R R de classe C mais non affine et pour T distribution quelconque sur
un ouvert de RN .
En resume, la construction des distributions par dualite a partir dun espace
de fonctions indefiniment differentiables permet de deriver toute distribution
autant de fois quon le souhaite. Malheureusement, avec cette construction, on
perd le calcul non lineaire qui existe sur les fonctions continues.
cest-a-dire que
{f 0 }(x) = f 0 (x) pour tout x R \ {a1 , . . . , an } .
Demonstration. Soit Cc (R) ; calculons
Z Z a1
f (x)0 (x)dx = f (x)0 (x)dx
R
n1
X Z ak+1 Z
f (x)0 (x)dx f (x)0 (x)dx .
k=1 ak an
Par hypothese, f est de classe C 1 sur ]ak , ak+1 [ et se prolonge par continuite a
[ak , ak+1 ] pour tout k = 1, . . . , n 1. En integrant par parties, on trouve que
Z ak+1 h iak+1 Z ak+1
f (x)0 (x)dx = f (x)(x) + f 0 (x)(x)dx
ak ak a
Z akk+1
= (f (ak+1 0)(ak+1 ) f (ak + 0)(ak )) + f 0 (x)(x)dx ,
ak
tandis que
Z a1 Z a1
f (x)0 (x)dx = f (a1 0)(a1 ) + f 0 (x)(x)dx
et Z Z
f (x)0 (x)dx = f (an + 0)(an ) + f 0 (x)(x)dx .
an an
Par consequent
Z
f (x)0 (x)dx = f (a1 0)(a1 ) + f (an + 0)(an )
R
n1
X
+ (f (ak + 0)(ak ) f (ak+1 0)(ak+1 ))
k=1
Z a1 n1
X Z ak+1 Z
0 0
+ f (x)(x)dx + f (x)(x)dx + f 0 (x)(x)dx .
k=1 ak an
Exemple 3.5.2 Pour toute fonction f de classe C k+1 sur U a valeurs dans R,
sa differentielle notee df est une 1-forme differentielle de classe C k sur U . En
effet, df (x) est, pour tout x U , une application lineaire de RN dans R, cest-a-
dire une forme lineaire sur RN . En particulier, si f (x) = xi ou i = 1, . . . , N , on
a df (x) = ei (ou (e1 , . . . , eN ) est la base duale de la base canonique (e1 , . . . , eN )
de RN .)
Exemple 3.5.3 Une 1-forme differentielle sur U nest pas toujours de la forme
df , ou f est une fonction de classe C 1 sur U a valeurs reelles. Plus generalement,
si f est une fonction de classe C k+1 sur U a valeurs dans R et g une fonction
de classe C k sur U a valeurs dans R, alors gdf est une 1-forme de classe C k
sur U . Ainsi, x2 dx1 est une 1-forme differentielle sur R2 qui nest pas de la
forme df avec f de classe C 1 sur R2 .
c
K
K
c
K
Autrement dit, si
N
X
= i dxi , et (t) = (1 (t), . . . , N (t)) pour tout t [a, b] ,
i=1
on a
Z N Z
X b
= i ((t))i0 (t)dt .
i=1 a
Nous allons maintenant ecrire cette formule sous une forme legerement differente.
Pour i = 1, . . . , m, on a
Z Z Li
0 0
P (x, y)dx + Q(x, y)dy = (P ((t))i,x (t) + Q((t))i,y (t))dt .
i 0
3.5. LA FORMULE DES SAUTS ET SES VARIANTES 93
Notons 0 0
i0 (t) (i,x (t), i,y (t))
(i (t)) = 0 = q
|i (t)| 0 (t)2 + 0 (t)2
i,x i,y
est limage de (i (t)) par la rotation dangle 2 . Autrement dit, ((i (t)), (i (t))),
ou ((i (t)), i0 (t)) sont des bases orthogonales directes, de sorte que, dapres
lhypothese faite sur lorientation, (i (t)) est le vecteur unitaire normal a la
frontiere K au point i (t) dirige vers lexterieur de K.
Ainsi
0 0
P ((t))i,x (t) + Q((t))i,y (t)dt = (Q(i (t)), P (i (t))) (i (t))|i0 (t)|dt
= (Q(i (t)), P (i (t))) (i (t))ds(i (t))
ainsi que
0 = {x 0 | 0 (x) = 0} ,
0 = {x 0 | 0 (x) < 0} .
94 CHAPITRE 3. CALCUL DES DISTRIBUTIONS
Figure 3.2 (a) Exemple douvert a bord de classe C 1 dans R2 ; (b) Louvert
nest pas un ouvert a bord de classe C 1 , car sa frontiere nest pas une
courbe de classe C 1 ; (c) louvert = + nest pas un ouvert a bord de
classe C 1 bien que = + soit une (union de deux) courbe(s) de classe
C 1 dans R2 , car se trouve des deux cotes de la composante de sa frontiere.
96 CHAPITRE 3. CALCUL DES DISTRIBUTIONS
valable pour toute fonction f C 1 ([a, b]). Ici, = [a, b] de sorte que =
{a, b}. Lespace vectoriel des vecteurs tangents a en a (resp. en b) est reduit
au vecteur nul. Ainsi, le vecteur normal unitaire a en a pointant vers
lexterieur de est (a) = 1 ; de meme (b) = +1 et la formule de Green dans
ce cas tres simple se reduit bien a la formule ci-dessus.
xj (1 ) = j , j = 1, . . . , N ,
A partir de la, il est tres facile de calculer la derivee au sens des distributions
dune fonction de classe C 1 par morceaux ayant une discontinuite de premiere
espece a travers lhypersurface .
Dans cette formule, on a note {xj f } la fonction continue par morceaux sur
RN definie par la formule 5
Comme dans les enonces precedents, designe le champ des vecteurs unitaires
normaux a et pointant vers lexterieur de . Enfin, est la mesure de surface
sur , cest-a-dire la distribution de simple couche definie par
Z
h, i = d ,
et que
Z Z Z
f (x)xj (x)dx = xj (f )(x)dx + (x)xj f (x)dx
RN \ RN \ RN \
Z Z
=+ f + (x)(x)j (x)d(x) + (x)xj f (x)dx
RN \
ou lon a note
t + divx (u) = 0
t (uk ) + divx (uk u) + xk p(, ) = 0 , k = 1, 2, 3
2
1
+ divx u 12 |u|2 + w(, ) + p(, )u = 0 .
t 2 |u| + w(, )
t + x1 (u1 ) = 0
t (u1 ) + x1 (u21 + p(, )) = 0
t (uk ) + x1 (u1 uk ) = 0 , k = 2, 3 ,
1 2 1 2
t 2 |u| + w(, ) + x1 u1 2 |u| + w(, ) + p(, )u1 = 0
et ou
[f ] (t, st) = f (t, st + 0) f (t, st 0) , t R,
pour toute fonction f definie sur R2 presentant une discontinuite de premiere
espece a travers .
Dire que U est solution du systeme dEDP
t U + x F (U ) = 0 dans D0 (R+ R)
En testant cette relation sur des fonctions test nulles au voisinage de la droite
de choc , on commence par montrer que
{t U + x F (U )} = 0 dans D0 (R+ R) ,
ce qui nest rien dautre que le systeme dEDP de depart
t U + x F (U ) = 0 ecrit sur (R+ R) \ .
Par consequent, legalite
t U + x F (U ) = 0 dans D0 (R+ R)
equivaut aux deux conditions
t U + x F (U ) = 0 sur (R+ R) \ ,
[F (U ) sU ] = 0 sur .
Autrement dit, les relations de Rankine-Hugoniot expriment le fait que le
systeme dEDP
t U + x F (U ) = 0
vaut globalement au sens des distributions, y compris au voisinage des hyper-
surfaces de discontinuites correspondant aux ondes de choc.
Exemple 3.5.9 (Ondes de choc pour lequation de Hopf ) On a vu au cha-
pitre 2 que les solutions de lequation de Hopf
t u + ux u = 0 , x R , t > 0 ,
= uin ,
u t=0
developpent des singularites en temps fini (sauf si la donnee initiale uin est une
fonction de classe C 1 sur R telle que (uin )0 (x) > 0 pour tout x R.)
Ecrivons cette equation sous la forme
2
u
t u + x =0
2
de facon a pouvoir lui appliquer les considerations ci-dessus.
Alors, si u est une solution de lequation de Hopf de classe C 1 par morceaux
presentant une discontinuite de premiere espece a travers la droite dequation
x = st, on a
u2+ u2
su+ = su
2 2
en notant u les valeurs de u de part et dautre de . Comme, pour un vrai
choc, on a u+ 6= u , cette relation secrit encore
u+ + u
s= ,
2
cest-a-dire que la vitesse du choc est la moyenne arithmetique des valeurs de la
solution de part et dautre de la discontinuite .
3.5. LA FORMULE DES SAUTS ET SES VARIANTES 101
M : RN 3 x 7 x RN .
T M = T dans D0 () .
f (x) = f (x) , x .
cest que
Z R
r+N 1 dr < ce qui equivaut a > N ,
0
faute de quoi Z
|f (y)|d(y) = 0 ,
SN 1
h( 0 M ) , i = h 0 , N (/)i
= (1)|| h0 , N ((/))i
= (1)|| h0 , N || ( ) (/)i
= (1)|| N || (0) = N || h 0 , i
de sorte que
h xj T M , i = hxj T, N (/)i
= hT, N xj ((/))i
= hT, N 1 xj (/)i
= 1 hT M , xj i
= 1 h T, xj i = 1 hxj T, i , Cc () .
104 CHAPITRE 3. CALCUL DES DISTRIBUTIONS
dou
xj T M = 1 xj T .
en remplacant chacun des termes de la forme (j) () par son developpement de
Taylor a lordre k j en = 0.
Lintegrale ci-dessus se decompose donc en sa partie singuliere
[a]
X
S [] = Aj a+j
j=1
et sa partie finie Z
xa (x)dx S []
qui admet une limite pour 0+ :
Z
hpf xa+ , i = lim+ xa (x)dx S [] .
0
Cette fonction se prolonge en une fonction meromorphe sur C avec des poles
simples aux entiers negatifs, et qui verifie la relation
(z + 1) = z(z) , z C \ Z .
(n + 1) = n! pour tout n N ,
pf xa+
a+ = ;
(a + 1)
Dans la section 3.3, nous avons etudie les distributions obtenues comme
valeurs de la fonction z 7 1/z sur laxe reel vu comme bord des demi-plans
superieurs et inferieurs. Ceci suggere de considerer plus generalement lexemple
des valeurs sur laxe reel de fonctions du type z 7 z a .
xa = 0 si x 0 et xa = |x|a si x < 0,
Evidemment, cette identite ponctuelle, qui vaut pour tout x R, vaut aussi
au sens des distributions sur R.
En derivant cette identite au sens des distributions, on trouve que, pour tout
a C avec <(a) > 0
N
X
xk xk f = f , sur ,
k=1
Demonstration. Dire que T est homogene de degre sur , cest dire que,
pour toute fonction test Cc ()
hT , i = hT, R i , Cc (RN ) .
Verifions que T est une distribution homogene de degre . Pour toute fonc-
tion Cc (R) et tout > 0, on a
Or
Z Z
dr ds
R (x/) = (rx/)r+N = +N (sx)s+N = +N R (x)
0 r 0 s
dou T M = T .
Montrons enfin que ce prolongement est unique. Sil en existait un autre, di-
sons T , la difference S = T T serait alors une distribution homogene de degre
> N dans RN dont la restriction a RN \ {0} est nulle. On en deduirait,
dapres le lemme ci-dessous, que S = 0, dou lunicite du prolongement ho-
mogene.
Donc
hSi = hS, n i + hS, n i
= hS, n i + hS N R \{0}
, n i = hS, n i
puisque
n (x) = (1 (2n |x|))(x) = 0 pour |x| 2n .
Puis, comme S est homogene de degre , pour tout > 0
de sorte que
hS, i = lim hS, n i = 0 .
n
3.7 Exercices
Exercice 1.
(m)
a) Montrer que, pour tout entier m 1, la distribution 0 D0 (R) est dordre
m.
b) Montrer que la distribution vp x1 D0 (R) est dordre 1.
Exercice 2.
Montrer que les suites de distributions sur R definies par les fonctions
(i) fn (x) = sin(nx)
(ii) gn (x) = sin(nx)
x
(iii) hn (x) = n sin(nx)1R+ (x)
sont convergentes dans D0 (R), et calculer leurs limites.
Exercice 3.
(n)
Calculer, pour tous m, n entiers, la distribution xm 0 dans D0 (R).
Exercice 4.
a) Soit S D0 (R). Montrer quil existe T D0 (R) telle que xT = S.
b) Soit T D0 (R) telle que xT = 0. Montrer quil existe C R telle que
T = C0 .
c) Resoudre dans D0 (R) les equations suivantes
1
xT = 1 , xT = 0 , xT = vp .
x
Exercice 5.
Resoudre dans D0 (R) lequation xu0 + u = 0.
Exercice 6.
Montrer quil existe une infinite de fonctions R+ R 3 (t, x) 7 u(t, x) R
continues par morceaux et telles que
2
u
t u + x = 0 dans D0 (R+ R) ,
2
u(t, x) uin (x) pour tout x 6= 0 lorsque t 0+ ,
ou
uin (x) = 1 si x > 0, uin (x) = 1 si x < 0.
Exercice 7.
a) Pour tout > 0, soit E la fonction definie sur R2 par
Exercice 8.
On rencontre en electromagnetisme la situation suivante.
Soit P un plan affine de lespace euclidien E = R3 , quil separe en deux
demi-espaces ouverts E + et E . Soit j un champ de vecteurs de classe C 1 sur
P . On sinteresse au champ magnetique B cree par la nappe de courant j ; on
note B la restriction de B a E , et lon admet que B est de classe C 1 sur
E.
Labsence de charge magnetique, et la loi dAmpere dans E secrivent
div B = 0 sur E ,
rot B = 0 sur E ,
n [B]P = 0 sur P ,
n [B]P = j sur P ,
115
116 CHAPITRE 4. SUPPORT ET CONVOLUTION DES DISTRIBUTIONS
ou n o
F(T ) = F ferme de T \F = 0 .
supp() supp(T ) =
O = \ supp(S) , et O0 = \ supp(T ) .
Dapres le (a)
S O = 0 et T O0 = 0
dou en particulier
S OO0 = T OO0 = 0 .
Par consequent
(S + T ) OO0 = 0
ce qui implique que
dou le (c).
Lenonce (d) est equivalent au fait que
cest-a-dire
supp() supp(a) supp(T ) = .
Or
haT, i = hT, ai = 0 ,
dou le (d).
Lenonce (e) est equivalent au fait que, pour tout multi-indice NN ,
T \supp(T ) = 0 ,
cest-a-dire que
Or
supp( ) supp()
de sorte que
supp(x x0 ) = {x0 } .
On verra plus loin que cet exemple admet (presque) une reciproque : voir
Theoreme 4.1.7
Remarque. On prendra garde au fait suivant : pour T D0 () et Cc (),
la condition
Ceci est du au fait que = 0 sur supp(000 ) = {0}, mais pas sur un voisinage
ouvert de supp(000 ), ce qui correspondrait a la condition (b) de la Proposition
4.1.2 ci-dessus.
On definira donc
hT, i := hT, i
pour toute fonction Cc () identiquement egale a 1 sur un voisinage ouvert
de supp(T ).
pour tout C () ;
(c) soit (n )n1 une suite de fonctions de classe C sur telle que, pour tout
NN ,
n uniformement sur tout compact de lorsque n .
Alors pour tout T E 0 ()
hT, n i hT, i lorsque n .
Demonstration. Demontrons lenonce (b) qui implique evidemment les points
(a) et (c).
Soit = 21 dist(supp(T ), ) > 0. Posons
[
O= B(x, ) et K = O .
xsupp(T )
Evidemment
T = T , et supp(T ) = supp(T ) .
et X
T = a x0 .
NN
et le second terme au membre de droite de cette egalite est nul, car le support
de (1 ) est inclus dans \ B(0, ) et donc ne rencontre pas supp(T ) = {0}
cf. Proposition 4.1.2 (b).
Etape 1.
Supposons maintenant que
x 1
X Z
(x) = (p + 1 ||) (1 t)p|| (tx)dt ,
! 0
||=p+1||
de sorte que
avec X
Mp = (p + 1) sup | (y)| .
|y|
||=p+1
De plus, pour || p
avec
Np = max sup | 1 (y)| .
||p |y|
Mp Np Qp p+1|| Mp Np Qp
Ainsi
|hT, i| CMp Np Qp ,
dou on tire, puisque > 0 peut etre choisi arbitrairement petit, que
hT, i = 0
Etape 2.
Soit maintenant C () quelconque ; la fonction definie par
X
1
(x) = (x) ! (0)x
||p
Application : equation xm T = 0
(x x0 )m T = 0 , ou m N.
supp(T ) {x0 } .
(1)m k! (km)
(x x0 )m x(k) = si k m , = 0 si k < m.
0
(k m)! x0
(x x0 )m T = 0 dans D0 (I)
(En effet, dapres ce qui precede, div((xT )) est une distribution a support dans
{0} qui est de surcrot homogene de degre N : la conclusion decoule donc
du Theoreme 4.1.7 ci-dessus, ainsi que du fait que les distributions 0 sont
homogenes de degre N ||.) La constante c est appelee residu en 0 de la
distribution homogene T .
Supposons que T admette un prolongement T D0 (RN ) qui soit homogene
de degre N ; evidemment, lunicite du prolongement dans la Proposition 3.6.12
garantit que
(xk T ) = xk T , k = 1, . . . , N .
de sorte que
div(xT ) = c0 dans D0 (RN ).
Mais comme dautre part T est une distribution homogene de degre N dans
RN , elle doit, dapres la Proposition 3.6.11, verifier la relation dEuler dans RN ,
cest-a-dire que
div(xT ) = 0 dans D0 (RN ).
On vient de donc de demontrer que pour quune distribution homogene de
degre N dans RN \ {0} admette un prolongement homogene, il faut que son
residu a lorigine soit nul. En fait la reciproque est vraie :
avec A C(SN 1 ).
126 CHAPITRE 4. SUPPORT ET CONVOLUTION DES DISTRIBUTIONS
N
Soit Cc (R ) fonction test radiale de la forme (x) = (|x|) avec
[0,1] = 1. Alors
Z
hdiv(xf ), i = f (x)x (x)dx
N
ZR Z
x
= f (x)0 (|x|)x x
|x| dx = A 0 (|x|)|x|1N dx .
RN RN |x|
4.2 Convolution Cc ? D0
On a defini au chapitre 1 (section 1.3) le produit de convolution dune
fonction L1loc par une fonction de classe C a support compact. Pour tout
u L1loc (RN ) et tout Cc (RN ), rappelons que
Z
? u(x) = (x y)u(y)dy , x RN .
RN
(x) = (x)
x : y 7 x (y) = y + x ,
cest-a-dire que
Lanalogie entre cette definition et celle concernant les fonctions suggere que
la majoration habituelle du support du produit de convolution reste valable
dans ce nouveau cadre.
T ? (x) = hT, (x )i = 0 .
Par consequent,
ce qui montre que cet ouvert est inclus dans le complementaire du support de
T ? :
RN \ (supp(T ) + supp()) RN \ (supp(T ? )) .
On en deduit linclusion annoncee par passage au complementaire.
Comme dans le cas de la convolution dune fonction localement integrable
par une fonction test, on peut deriver au sens des distributions le produit de
convolution dune distribution par une fonction test en faisant porter la derivee
sur nimporte lequel des deux facteurs.
puisque
(1)|| y ((x y)) = ( ) (x y) .
Sur B(x0 , 1), cette fonction concide avec T ? ce qui montre que T ? est de
classe C sur B(x0 , 1) et que, pour tout x B(x0 , 1), lon a
et que
(S ? ) = ( S) ? = S ? ( ) .
supp(e ? ) K
ou
K = {x RN | dist(x, supp()) 1}
est compact (car ferme et borne) dans RN .
Dautre part, dapres la Proposition 4.2.3,
e ? = e ?
hTn , i = hT, f
n ? i hT, i lorsque n ,
et comme ceci vaut pour toute fonction test Cc (RN ), et toute suite n 0
lorsque n telle que n ]0, 1[ pour tout n N, on en conclut que T T
dans D0 (RN ) lorsque 0+ .
Evidemment, le theoreme de regularisation ci-dessus se localise sans difficulte
dans un ouvert de RN .
Tn T dans D0 () lorsque n .
Remarquons que
[
1 1 1
Kn + B(0, 2n )= B(x, 2n ) est ouvert, et que Kn + B(0, 2n ) K2n .
xKn
Posons
n (x) = (4n)N (4nx) .
La distribution n T est a support compact (inclus dans K2n ) dans ; on
la prolonge par 0 en dehors de , et on continue de noter par abus n T son
prolongement, qui est une distribution a support compact dans D0 (RN ). Enfin,
on pose
Tn = (n T ) ? n C (RN ) .
4.2. CONVOLUTION CC ? D0 131
Choisissons un entier n1 > 0 tel que supp() Kn1 , puis un entier n2 > n1
tel que, pour tout n > n2 , lon ait
Tn T dans D0 () lorsque n .
lorsque n .
hTn , (x )i 0 lorsque n .
Posons alors
K = B(0, R) + supp()
N
qui est compact dans R , dapres le Lemme 1.3.6. Dapres le principe de bor-
nitude uniforme (Theoreme 3.3.6), il existe C > 0 et p N tels que
Montrons que
Alors
|Tnk ? (x )| |Tnk ? (xnk )| |Tnk ? (xnk ) Tnk ? (x )|
N |x xnk | max sup |Tn ? j (y)|
1jN |y|R
N |x xnk | max C max sup | j (z)|
1jN ||p zK
0
C |x xnk | /2
4.3. OPERATIONS SUR LES DISTRIBUTIONS (SUITE) 133
avec
C 0 = N C max max sup | j (z)| ,
1jN ||p zK
mais ceci est en contradiction avec le fait que Tn ? (x) 0 pour tout x RN
lorsque n .
On en deduit que lhypothese ci-dessus relative a lexistence du reel est
fausse, cest-a-dire que
sup |Tn ? (x)| 0 lorsque n .
|x|R
hu, 1 2 i = 0
Alors u = 0.
de sorte que
|x2 x1 (x1 , x2 )|
S, hT, (x1 , )i C1 C2 max sup
||p1 ,||p2 x1 K1 ,x2 K2
et
hV, 1 2 i = T, hS, 1 2 (x2 )i = T, hS, 1 i2 = hS, 1 ihT, 2 i
de sorte que
hW, 1 2 i = 0 .
Dapres le lemme, W = 0, dou U = V ce qui implique legalite entre les deux
definitions de S T .
Demonstration du lemme. Soient K1 et K2 compacts dans 1 et 2 res-
pectivement. Dapres le Lemme 1.4.1, il existe deux fonctions 1 Cc (1 ) et
2 Cc (2 ) telles que
hv, 1 2 i = hu, (1 1 ) (2 2 )i = 0
par hypothese, pour tout 1 Cc (Rm ) ainsi que pour tout 2 Cc (Rn ).
Soient maintenant 1 C (Rm ) et 2 C (Rn ) telles que
Z
supp(1 ) B(0, 1) , 1 0 , 1 (x1 )dx1 = 1 ,
m
ZR
supp(2 ) B(0, 1) , 2 0 , 2 (x2 )dx2 = 1 .
Rn
Notons
1 x
1 1 x2
1 (x1 ) = m
1 , 2 (x2 ) = 2 .
n
Alors, pour tout > 0, on a
On en deduit que v = 0.
Dautre part, pour toute fonction test C (1 2 ) a support dans
K1 K2 ,
hu, i = hu, (1 2 )i = hv, i = 0 .
Or ceci vaut pour tous compacts K1 et K2 de 1 et 2 , de sorte que
cest-a-dire que u = 0.
x1 f (x0 ) 6= 0 , ou x0 U .
F : U RN , x 7 F (x) = (f (x), x2 , . . . , xN ) .
ou In1 est le bloc identite de taille N 1. Ainsi DF (x0 ) est une matrice
inversible. Il existe donc un voisinage ouvert Ox0 de x0 dans U tel que F induise
un C -diffeomorphisme de Ox0 sur F (Ox0 ) qui est ouvert dans V RN 1 .
4.3. OPERATIONS SUR LES DISTRIBUTIONS (SUITE) 137
Posons alors
Uk = {x U | xk f (x) 6= 0} , k = 1, . . . , N .
Evidemment chaque Uk est ouvert (comme image reciproque de louvert R par
la fonction continue xk f ) et, comme df ne sannule en aucun point de U , on a
U U1 . . . UN .
et
N
X
k = 1 sur un voisinage ouvert de K.
k=1
N
X
= k
k=1
N
X
T f = k ((1k1 T 1N k ) Fk ) sur lespace CK (U ),
k=1
ou CK (U ) designe lespace des fonctions de classe C sur U a support dans K.
On admettra que cette definition ne depend ni du choix de la partition
de lunite 1 , . . . , N , ni de celui des diffeomorphismes Fk dont lune des coor-
donnees est lapplication f donnee, et que la donnee des formes lineaires ci-dessus
pour tout compact K U definit une distribution sur U , qui concide bien avec
la definition habituelle du produit de composition lorsque T est de la forme Tu
avec u fonction localement integrable sur V . Aucune de ces verifications nest
tres difficile, mais les faire en detail alourdirait considerablement notre expose.
4.4. PRODUIT DE CONVOLUTION DES DISTRIBUTIONS 139
T := T (IdRN ) .
Observons que, sous les memes hypotheses que dans la definition ci-dessus,
cest-a-dire pour tout T D0 (RN ) et tout S E 0 (RN ) on aurait egalement pu
definir le produit de convolution S ? T par la formule
hS ? T, i = hS, T ? i .
hS, T ? i = hT, S ? i ;
alors
S?T =T ?S.
Demonstration. Verifions lenonce (a). Pour cela, soit Cc (RN ) telle que
Z
supp() B(0, 1) , 0 , (x)dx = 1 .
RN
Posons
n (x) = nN (nx) , x RN ,
ainsi que
Sn = S ? n , n 1.
Dapres les Propositions 4.2.2 et 4.2.3, Sn est une fonction de classe C sur
RN a support dans supp(S) + B(0, n1 ) qui est compact (car ferme borne dans
RN .)
Dapres le theoreme de Fubini pour le crochet de dualite (Proposition 3.4.22)
Z
hSn , T ? i = Sn (x)hT , (x )idx
N
ZR
= Sn (x)hT, (x + )idx
RN
Z
= T, Sn (x)(x + )dx
N
ZR
= T, Sn (x)(x + )dx = hT, Sn ? i
RN
142 CHAPITRE 4. SUPPORT ET CONVOLUTION DES DISTRIBUTIONS
et que
supp(Sn ) supp(S) + B(0, 1) , pour tout n 1.
Soit dune part Cc (RN ), identiquement egale a 1 sur un voisinage
ouvert du compact supp(S) + B(0, 1). Alors
lorsque n .
Dautre part
supp(Sn ? ) K pour tout n 1
avec
K = supp() + supp(S) + B(0, 1)
(dapres la Proposition 4.2.2) qui est compact dans RN car ferme (dapres le
Lemme 1.3.6) et borne. De plus, pour tout NN , on a
(Sn ? ) = Sn ? ( ) S ? ( ) = (S ? )
hT, Sn ? i hT, S ? i
Alors
Tn ? Sn T ? S dans D0 (RN ) lorsque n .
4.4. PRODUIT DE CONVOLUTION DES DISTRIBUTIONS 143
hTn ? Sn , i = hTn , Sn ? i
A B = {x y | x A et y B}
Sn ? S ? dans Cc (RN ) .
(T ? S) = ( T ) ? S = T ? ( S) .
h (T ? S), i = (1)|| hT ? S, i
= (1)|| hT, S ? i
= (1)|| hT, (S ? )i dapres la Proposition 4.2.3
= h T, S ? i = h( T ) ? S, i .
144 CHAPITRE 4. SUPPORT ET CONVOLUTION DES DISTRIBUTIONS
De meme
h (T ? S), i = (1)|| hT, S ? i
= hT, (1)|| ( S) ? i dapres la Proposition 4.2.3
^
= hT, ( S) ? i = hT ? S, i .
n (x) = nN (nx) .
Verifions que
R ? (Sn ? Tn ) = (R ? Sn ) ? Tn , n 1.
En effet
R ? (Sn ? Tn )(x) = hR, Sn ? Tn (x )i
Z
= R, Sn (x z)Tn (z)dz
RN
Z
= hR, Sn (x z)iTn (z)dz
N
ZR
= R ? Sn (x z)Tn (z)dz = (R ? Sn ) ? Tn (x) .
RN
et
Sn S , Tn T dans D0 (RN ) lorsque n .
Dapres le theoreme de continuite sequentielle du produit de convolution, on
a dune part
lorsque n .
Dautre part, on demontre de meme que
Alors
(1 ? 00 ) ? H = 10 ? H = 0 ? H = 0 ,
tandis que
1 ? (00 ? H) = 1 ? H 0 = 1 ? 0 = 1 .
4.5 Exercices
Exercice 2. Soit (an )n1 suite de nombres reels. On considere les formes
lineaires
X 1
Cc (R+ ) 3 7 T () = an ,
n
n1
et
X 1
Cc (R+ ) 3 7 S() = an (n)
.
n
n1
et
il existe l 0 tel que an = O(nl ) pour n .
c) Montrer quil y a equivalence entre
il existe v D0 (R) telle que S = v ]0,[ ,
et
il existe N 0 tel que an = 0 pour n N .
4.5. EXERCICES 147
Exercice 3. Soit f L1loc (R+ ) telle que f 0 p.p.. Montrer que f se prolonge
en une distribution sur R si et seulement si
R1
il existe l 0 tel que f (x)dx = O(l ) pour 0+ .
Exercice 5.
a) Soit u D0 (R) telle que u0 C(R). Montrer que u C 1 (R).
b) Soit u D0 (RN ) telle que j u C(RN ) pour tout j = 1, . . . , N . Soit
( )0<<1 suite regularisante, et f = u ? . Soit enfin g = f f (0). Montrer
que
(i) j f j u uniformement sur tout compact lorsque 0+ pour tout
j = 1, . . . , N ;
(ii) g converge uniformement sur tout compact lorsque 0+ .
c) Montrer que f (0) admet une limite pour 0+ .
d) Deduire de ce qui precede que u C 1 (RN ).
Transformation de Fourier
Or pour des fonctions f assez regulieres, les coefficients ck tendent vers 0 tres
rapidement lorsque |k| par exemple, si f est de classe C , on trouve
que ck = O(|k|n ) pour tout n 0.
Ceci suggere de negliger, pour L assez grand, les termes correspondant a
|k| > L2 /2 dans la serie de Fourier de f ci-dessus : ainsi
Z L/2
1 X
f (x) ' f (y)ei2k(xy)y/L dy .
L 2 L/2
|k|L /2
Maintenant, la somme discrete est une somme de Riemann, ce qui suggere que,
pour L Z Z
f (x) = f (y)ei2(xy) dyd ,
149
150 CHAPITRE 5. TRANSFORMATION DE FOURIER
de sorte que
|x ( n )(x)| |x (1 n (x)) (x)|
1 X
+ sup | (z)| sup |x (x)|
n zRN xRN
||1
C
|x (1 n (x)) (x)| + Np ()
n
152 CHAPITRE 5. TRANSFORMATION DE FOURIER
avec
C = 2p max sup | (z)| .
0<||p zRN
S ? S(RN ) .
Comme f est a croissance polynomiale ainsi que toutes ses derivees, il existe,
pour tout entier p 0, un entier np (f ) 0 et une constante Mp > 0 telle que
| f (x)| Mp 1 + |x|2np (f ) , pour tout x RN et || p.
Comme 1
2np (f ) 2n (f )
|x|2np (f ) N 2np (f )1 (x1 + . . . + xN p )
on en deduit que
Np (f ) Cf Np+2np (f ) ()
avec
X
Cf = Mp (1 + N 2np (f )1 ) sup = 2p (1 + N 2np (f )1 )Mp ,
||p
Np (S ? ) 2p1 (1 + Rp )CNp+q ()
pour tout p N.
Lapplication lineaire F est definie pour tout S(RN ), puisque, pour tout
RN , on a
|eix (x)| = |(x)|
et que L1 (RN ) dapres la Proposition 5.1.7 (c).
Voici quelques proprietes elementaires de la transformation de Fourier sur
S(RN ).
Remarque 5.2.3 Les points (a) et (b) montrent que la transformation de Fou-
rier sur S(RN ) echange derivation et multiplication par x (a un facteur i
pres).
dou le (c).
Le point (d) decoule de la definition meme de la transformation F.
Enfin, les isomorphismes F et F 1 sont continus sur S(RN ), au sens ou, pour
tout p N, il existe une constante Cp > 0 telle que pour toute fonction de
S(RN )
Np (F) , Np (F 1 ) Cp Np+N +1 () .
La demonstration de ce theoreme utilisera de maniere cruciale le calcul ex-
plicite suivant, dont nous verrons quil est dun grand interet pour letude de
certaines equations aux derivees partielles.
Lemme 5.2.6 (Transformee de Fourier des gaussiennes) Soit une matrice
A MN (R) telle que A = AT > 0. Posons
1 1 1
GA (x) = p e 2 (A x|x) , x RN .
N
(2) det(A)
5.2. LA TRANSFORMATION DE FOURIER SUR S 157
Alors GA S(RN ) et on a
1
FGA () = e 2 (A|) , RN .
F = (i)||+|| F( (x )) .
de sorte quil existe Cp > 0 tel que, pour tout S(RN ), on ait
Np (F) Cp Np+N +1 () .
egalite ci-dessus nest pas justifiee. Pour cette meme raison, lintegrale ci-dessus
censee representer la masse de Dirac na pas de sens comme integrale de Le-
besgue.
Pour rendre cette integrale convergente, on la remplace par
Z
1 2
ei(xy) 2 || (2)
d
N = G (x y)
RN
Dans
lintegrale au membre de gauche, on fait le changement de variables
z = w, de sorte que
Z Z
(x z)G (z)dz = (x w)G1 (w)dw .
RN RN
Pour tout x RN ,
(x w)G1 (w) (x)G1 (w) pour tout w RN
car est bornee sur RN puisquelle appartient a S(RN ). Donc, par convergence
dominee, pour tout x RN
Z Z
(x z)G (z)dz = (x w)G1 (w)dw
RN RN
Z
(x) G1 (w)dw = (x)
RN
5.2. LA TRANSFORMATION DE FOURIER SUR S 159
lorsque 0+ .
Dans lintegrale au membre de droite, pour tout x RN
1 2
eix e 2 || F() eix F()
car F est integrable comme element de S(RN ) (cf. Proposition 5.1.7 (c))
de sorte que, par convergence dominee
Z Z
1 2
eix e 2 || F() (2)
d
N d
eix F() (2) N
RN RN
on trouve que
Z N
!Z
Y 1 T 1
QT x 2 (1 QT x|QT x)
eix GA (x)dx = eiQ e dx
RN k=1
2ak RN
N
!Z
Y 1 1 1
= eiy e 2 ( y|y)
dy
k=1
2ak RN
N
!Z N
Y 1 Y 1 1 2
= eik yk 2 ak yk dy1 . . . dyN
k=1
2ak RN k=1
N Z
Y 1 1 2
= eik yk 2 ak yk dy
2a
k
k
k=1 R
k=1
qui appartient a L1 (RN ) pour tout RN , puisque lon a ak > 0 pour tout
k = 1, . . . , N .
Il suffit donc de savoir faire le calcul dans le cas N = 1. Pour tout a > 0,
notons
1 2
ga (x) = ex /2a , x R .
2a
Evidemment ga S(RN ), et verifie
dga x
(x) = ga (x) , x R.
dx a
Appliquons la transformation de Fourier a chaque membre de cette egalite.
Dapres la Proposition 5.2.2 (b)-(c), on a
1 d
iFga () = Fga () ,
ia d
ce qui secrit encore
d
Fga () = aFga () , R.
d
Cette equation differentielle admet pour solution generale
1 2
Fga () = Ce 2 a .
De plus Z
Fga (0) = C = ga (x)dx = 1 .
R
5.3. LES DISTRIBUTIONS TEMPEREES 161
Par consequent
N
Y 1 2 1
FGA (Q) = e 2 ak k = e 2 (|)
k=1
Demonstration. En effet
Z
(|)L2 (RN ) = (x)(x)dx
RN
Z Z
d
= F()eix (2) N (x)dx
RN RN
Z Z
= 1
(2)N
eix F()(x)dxd
RN RN
Z Z
= 1
(2)N
F() eix (x)dx d
RN RN
1
= (2)N
(F|F)L2 (RN ) ,
dune fonction continue f pour tout RN , il faut avoir des conditions limitant
la croissance de f a linfini.
Par exemple, il suffira de savoir que f L1 (RN ). Mais on ne peut pas
definir en general la transformee de Fourier dune fonction qui serait seulement
localement integrable.
162 CHAPITRE 5. TRANSFORMATION DE FOURIER
Lensemble des distributions temperees est un C-espace vectoriel, que lon note
S 0 (RN ).
Cc (RN ) 3 7 hT, i .
Cette forme lineaire est evidemment une distribution puisque, pour toute fonc-
tion test C (RN ) a support dans un compact K de RN , on a
Par consequent
S 0 (RN ) D0 (RN ) .
E 0 (RN ) S 0 (RN ) .
est temperee si la suite (ak )kZ est a croissance polynomiale, cest-a-dire sil
existe un entier p 0 tel que
avec X 1
C0 = C .
1 + k2
kZ
Cc (RN ) 3 7 hT, xj i .
Or, comme T est une distribution temperee, il existe un entier p 0 et une
constante Cp > 0 tels que
|hxj T, i| = |hT, xj i| Cp Np (xj ) Cp Np+1 ()
pour tout Cc (RN ). Par densite de Cc (RN ) dans S(RN ), la forme lineaire
xj T setend de facon unique en une forme lineaire sur S(RN ) pour laquelle
linegalite ci-dessus vaut pour tout S(RN ). Ceci signifie que xj T est une
distribution temperee. Le (a) en decoule par recurrence.
De meme, la distribution f T est la forme lineaire
Cc (RN ) 3 7 hT, f i .
Comme T est une distribution temperee, il existe un entier p 0 et une
constante Cp > 0 tels que
|hT, f i| Cp Np (f ) .
164 CHAPITRE 5. TRANSFORMATION DE FOURIER
Np (f ) Cf Np+2np (f ) ()
ce qui montre que la forme lineaire f T , qui nest definie a priori que sur
Cc (RN ), setend par densite de maniere unique a S(RN ) en une distribution
temperee, comme dans la preuve du point (a).
Demontrons le point (c). La distribution T ? S est definie comme la forme
lineaire
Cc (RN ) 3 7 hT, S ? i
ou on rappelle que S = S (IdRN ). Soit R > 0 tel que S soit a support dans
B(0, R) ; donc supp(S) B(0, R). La preuve de la Proposition 5.1.7 (d) montre
que
Np (S ? ) 2p1 (1 + Rp )Np+q ()
pour tout p N, ou q est lordre de la distribution a support compact S.
Comme la distribution T est temperee, il existe donc p N et Cp > 0 tels
que
|hT ? S, i| Cp 2p1 (Rp + 1)Np+q ()
ce qui montre comme dans le (a) que la forme lineaire T ? S, definie a priori sur
Cc (RN ), setend par densite de maniere unique a S(RN ) en une distribution
temperee.
Evidemment
x iex
ie e = ex
qui a la meme croissance a linfini que les contre-exemples ci-dessus. Mais
x d iex
iex eie = e
dx
et comme la fonction x
x 7 eie
est une fonction de classe C 1 bornee sur R, elle definit une distribution temperee
sur R.
Dautre part sa derivee au sens des distributions concide avec la distribution
definie par sa fonction derivee au sens usuel, de sorte que, dapres le (a) de la
proposition ci-dessus, cette fonction derivee
x
x 7 iex eie .
5.3. LES DISTRIBUTIONS TEMPEREES 165
Definition 5.3.6 (Convergence dans S 0 (RN )) On dit quune suite (Tn )n1
de distributions temperees converge vers T S 0 (RN ) si
Demonstration. En effet
h Tn , i h T, i = (1)|| h(Tn T ), i 0
hf Tn , i hf T, i = h(Tn T ), f i 0
(En effet
Z Z Z
F(x)(x)dx = eixy (y)dy (x)dx
RN RN N
Z ZR Z
= eixy (x)dx (y)dy = (y)F(y)dy
RN RN RN
hFT, i = hT, Fi
Alors
|f()| kf kL1 (RN ) , pour tout RN .
De plus, pour tout RN et toute suite (n )n1 convergeant vers , on verifie
par convergence dominee que
f(n ) f( ) lorsque n .
Or la fonction
(x, y) 7 f (x)(y) est integrable sur RN RN .
Le theoreme de Fubini implique donc que
Z Z Z Z
f (x) eixy (y)dy dx = (y) eixy f (x)dx dy .
RN RN RN RN
F (xk T ) = ik FT ;
F(xk T ) = ik FT ;
F(T a ) = eia FT ;
lorsque n .
Dans le cas dune distribution a support compact qui est a fortiori une
distribution temperee, on aurait pu definir la transformee de Fourier en copiant
la formule definissant la transformation de Fourier pour les fonctions de la classe
de Schwartz, cest-a-dire poser
FT () = hT, e i
e (x) = eix .
RN 3 7 hT, e i .
Remarque. Cet enonce est une nouvel exemple du fait, deja mentionne plus
haut, que la transformation de Fourier F echange decroissance a linfini et
regularite. En effet, le fait detre a support compact est la condition de conver-
gence vers 0 a linfini la plus forte possible ; que la transformee de Fourier dune
distribution a support compact soit une fonction de classe C nest donc pas
surprenant.
Demonstration. Verifions dabord que FT est bien la fonction donnee par la
formule ci-dessus. Pour cela, on observe que, par integration sous le crochet de
dualite (Proposition 3.4.22)
Z
hT, e i, = hT, e i()d
N
R Z
= T, e ()d = hT, Fi = hFT, i
RN
dou le resultat.
Que la fonction 7 hT, e i soit de classe C sur RN et que
FT () = hT, e i = hT, e i
170 CHAPITRE 5. TRANSFORMATION DE FOURIER
FT = F((ix) T )
F0 = 1 dans S 0 (RN ),
(F 0 )() = (i) , RN .
Par consequent
( + i )F (, ) = 0 pour tout (, ) R2 .
C 3 ( + i) 7 F (, )
S = S (IdRN ) ,
F(FT ) = (2)N T ,
car
F(F) = (2)N (IdRN )
dapres le theoreme dinversion de Fourier pour les fonctions de la classe de
Schwartz S(RN ) voir Theoreme 5.2.5.
F(0 ) = 1 .
Ce theoreme nest pas dune grande importance sur le plan pratique ; toute-
fois, il montre que la theorie des distributions est, en quelque sorte, lextension
minimale de la notion de fonction continue ou toute fonction generalisee peut
etre derivee indefiniment.
Demonstration. Soit T E 0 (RN ). Dapres le Theoreme 5.4.5, il existe un
entier p 0 et une constante C > 0 tels que
de sorte que
T = (I )p+N f
puisque F est un isomorphisme de S 0 (RN ) dans lui-meme.
Lune des vertus de la transformation de Fourier est de transformer le produit
de convolution en produit ponctuel.
hF(S ? T ), i = hS ? T, Fi = hS ? T, (2)N F
^ 1 i
= hT, (2)N Se ? F
^ 1 i
= (2)N hT, S ^
? F 1 i
= hT, FF S ? F 1 i = hFT, F S ? F 1 i
? F 1 S(RN ).
dapres le theoreme dinversion de Fourier applique a S ^
Dapres le cas particulier du theoreme que nous venons de demontrer, en
posant = F 1 S(RN ), on a
F(S ? F 1 ) = F(S ? ) = FS F = FS
de sorte que
hF(S ? T ), i = hFT, F S ? F 1 i
|hFfn , i| = |hfn , Fi| kfn kL2 (RN ) kFkL2 (RN ) CkkL2 (RN )
avec
C = (2)N/2 sup kfn kL2 (RN ) <
n1
Par densite de S(RN ) dans L2 (RN ), cette inegalite vaut pour tout L2 (RN ),
ce qui montre que Ff se prolonge par continuite en une forme lineaire sur
lespace de Hilbert L2 (RN ). Le theoreme de representation de Riesz implique
alors lexistence dun element f de L2 (RN ) tel que
hFf, i = f , pour tout L2 (RN ).
L2 (RN )
dou
F L2 (RN ) = L2 (RN )
Autrement dit
Fx1 T = 1
(2)N
Fx T J
tn Fx T = (i)|| Fx (x tn T ) ,
Fx (tn x T ) = i|| Fx ( tn T ) .
178 CHAPITRE 5. TRANSFORMATION DE FOURIER
a : R 3 x 7 x + a , pour tout a R.
F(T 1 ) = ei FT = FT ,
supp(FT ) 2Z .
Alors X
FT = ( 2k)FT .
kZ
5.6. TRANSFORMATION DE FOURIER ET SERIES DE FOURIER 179
Dautre part
ei 1
0 = (ei 1)( 2k)FT = ( 2k) ( 2k)FT .
2k
Ceci montre que
ei 1
( 2k)FT = Const. 2k
2k
(voir la premiere Application a la fin de la section 4.1) ou encore, de maniere
equivalente
( 2k)FT = ck 2k
ei 1
puisque 2k i lorsque 2k. On en deduit que
X
FT = ck 2k .
kZ
X Z 2 Z
= F(k) eiky dy = 2F(0) = 2 (x)dx
kZ 0 R
180 CHAPITRE 5. TRANSFORMATION DE FOURIER
T a = T
ou a designe la translation de a :
a : x 7 x + a .
Nous aurons besoin dans tout ce qui suit dune fonction appartenant a
Cc (R) telle que
X
(x + k) = 1 , pour tout x R .
kZ
0, [1,1] = 1 , supp() ] 2, 2[
de sorte que
X
(x) = (x + k) > 0 , pour tout x R .
kZ
Notons que la somme definissant (x) ne fait intervenir quun nombre fini de
termes, grace a la condition supp() ] 2, 2[. Par construction, est une
fonction periodique de periode 1, et la fonction definie par
(x)
(x) = , pour tout x R
(x)
repond a la question.
Passons maintenant a la
5.6. TRANSFORMATION DE FOURIER ET SERIES DE FOURIER 181
XZ 1
= (x + l)u(x + l)ei2k(x+l) dx
lZ 0
!
Z 1 X Z 1
= (x + l) u(x)ei2kx dx = u(x)ei2kx dx
0 lZ 0
182 CHAPITRE 5. TRANSFORMATION DE FOURIER
ou on rappelle que
converge dans L2 (R/Z) vers u voir [6], chapitre IV.3. Le point de vue des
distributions nous dit que cette meme serie converge dans S 0 (R) (ce qui est
evidemment une information plus faible.)
(a) ces espaces sont naturellement des espaces de Banach ou meme de Hilbert,
et
(b) ces espaces se comparent tres facilement aux espaces C m ().
W k,p () = {f Lp () | f Lp () pour || k} .
H k () := W k,2 () .
Par rapport aux espaces de Sobolev W k,p (), les espaces H k () possedent une
propriete supplementaire fort agreable : ce sont des espaces de Hilbert, pour le
produit scalaire
X
(f |g)H k () = ( f | g)L2 () ,
||k
ou on rappelle que Z
(|)L2 () = (x)(x)dx .
Il nest pas difficile de voir que la norme definie par ce produit scalaire est bien
equivalente a la norme k kW k,2 () definie plus haut.
Nous netudierons pas plus en detail les espaces W k,p () ou meme H k ()
lorsque est un ouvert quelconque de RN , bien que ces espaces soient dun
grand interet pour lanalyse des equations aux derivees partielles. Pour plus de
details sur ces questions, voir par exemple [1], chapitre 4.
En revanche nous allons nous restreindre au cas particulier ou louvert
est lespace RN tout entier, et montrer comment lemploi de la transformation
de Fourier permet detablir de facon tres simple les proprietes essentielles des
espaces H k (RN ).
Commencons par une remarque cruciale, bien que triviale :
5.7. ESPACES DE SOBOLEV 185
Ff L2 (RN ) .
Par consequent
f (IdRN ) L2 (RN )
ce qui implique la condition (a).
Dapres le theoreme de Plancherel et la Proposition 5.4.3 (a)
X
1
(f |g)H k (RN ) = (2) N ( Ff | Fg)L2 ()
||k
de sorte que
Z X
(f |f )H k (RN ) = 1
(2)N
2 |Ff ()|2 d
RN ||k
Z
= 1
(2)N
(1 + ||2 )k |Ff ()|2 d .
RN
et on pose
Z
(f |g)H s (RN ) = 1
(2)N
(1 + ||2 )s Ff ()Fg()d .
RN
H s (RN ) 3 f 7 Lf H s (RN )0 ,
Verifions que S(RN ) est dense dans H s (RN ). Soit donc f H s (RN ) ; on
sait que
= (1 + ||2 )s/2 Ff L2 (RN ) .
Par densite de Cc (RN ) dans L2 (RN ) cf Theoreme 1.3.14 il existe une
suite (n )n1 de fonctions de Cc (RN ) S(RN ) telle que
kfn f kH s (RN ) = 1
(2)N/2
k(1 + ||2 )s/2 (Ffn Ff )kL2 (RN )
1
= (2)N/2
kn kL2 (RN ) 0
lorsque n .
Pour ce qui est du point (d), dapres le theoreme de representation de Riesz,
lapplication anti-lineaire
H s (RN ) 3 7 H s (RN )0
Lf = T 1 f
Plus precisement, tout f H s (RN ) est egale p.p. a une fonction de C k (RN ) ;
de plus, il existe une constante CN,k,s > 0 telle que, pour tout f H s (RN ),
i||
F( f ) = i|| Ff = (1 + ||2 )s/2 Ff
(1 + ||2 )s/2
Toutefois, les espaces H s (RN ) ne se comportent pas tout a fait comme les
espaces C k (RN ). En voici un exemple frappant.
Evidemment, pour tout f C m (RN ) et pour tout hyperplan de RN , la
restriction f est une fonction de classe C m sur (on peut supposer que
est lhyperplan dequation x1 = 0, auquel cas la restriction f est lapplication
(x2 , . . . , xN ) 7 f (0, x2 , . . . , xN ) qui admet bien des derivees partielles continues
jusqua lordre m si f C m (RN ).)
5.7. ESPACES DE SOBOLEV 189
avec Z Z
dN dN
J( 0 ) = = s .
(1 + ||2 )s
2
N
R R (1 + | 0 |2 )s 1+ 1+| 0 |2
190 CHAPITRE 5. TRANSFORMATION DE FOURIER
5.8 Exercices
Exercice 1.
Calculer les transformees de Fourier des fonctions ou distributions suivantes
definies sur la droite reelle
1
(a) 1+x2
|x|
(b) e
(c) 1R+
1
(d) xi0
(e) vp x1
(f) xk 1R+ (x) pour tout entier k 0.
Exercice 2.
Soit T D0 (RN ) une distribution homogene de degre . Montrer que T est
une distribution temperee et que FT est une distribution homogene dont on
precisera le degre.
Exercice 3.
5.8. EXERCICES 191
et de la fonction .
b) Meme question pour pf(x
+ ) pour < 1 non entier.
Exercice 4.
a) Existe-t-il une fonction f S(R) telle que
Z
xk f (x)dx = 0 pour tout entier k 0 ?
R
2) En deduire que
Z Z Z 2
2 2 2 2 2
x |f (x)| dx |Ff ()| d |f (x)| dx .
R R 2 R
Supposons que Z
|f (x)|2 dx = 1 .
R
lorsque x et sont choisis comme dans la question 4), et que f decrit lensemble
des fonctions de S(R) verifiant
Z
|f (x)|2 dx = 1 .
R
Appendice
Theoreme 6.1.1 Soient (X, d) et (Y, ) deux espaces metriques, et D une par-
tie dense dans X. Soit f : D Y uniformement continue cest-a-dire que,
pour tout > 0, il existe () > 0 tel que
193
194 CHAPITRE 6. APPENDICE
d(x, F ) = 0 si et seulement si x F .
Soit x X ; evidemment, si x F , on a
Reciproquement, si
d(x, F ) = inf d(x, y) = 0
yF
1
yn F et 0 d(x, yn ) < pour tout n 1 ,
n
ce qui montre en particulier que yn x lorsque n +. Or comme yn F
pour tout n 1 et que F est ferme, il sensuit que x F .
Plus generalement, soient A, B X. On pose
d(K, F ) > 0 K F =
pour toute abscisse curviligne s sur . Comme deux abscisses curvilignes sur
different dune constante, la definition ci-dessus de la longueur de est
evidemment independante du choix de labscisse curviligne sur . Et la definition
ci-dessus de lintegrale curviligne dans le cas de la fonction constante = 1
montre que Z
long() = ds(M ) .
ou on a note ti = a+i ba
n . Autrement dit, la longueur de larc de courbe est la
limite des longueurs des lignes polygonales de sommets M (ti ) pour i = 0, . . . , n.
Si lon suppose pour simplifier que le parametrage t 7 M (t) est de classe C 2 ,
alors, dapres la formule de Taylor,
|M (ti )M (ti+1 )| = [ti+1 ti ||M (ti )| + O(|ti+1 ti |2 ) .
Donc
n1 n1 n1
X 1X 1X 1
|M (ti )M (ti+1 )| = |M (ti )| + O
i=0
n i=0 n i=0 n
de sorte que
n1
X
long() = lim |M (ti )M (ti+1 )|
n+
i=0
n1 Z b Z
1X
= lim |M (ti )| = |M (t)|dt = ds(M ) .
n+ n a
i=0
d p
s(M (x)) = |(1, f 0 (x))| = 1 + f 0 (x)2 , xI,
dx
et, pour tout C(R2 ),
Z Z p
(M )ds(M ) = (x, f (x)) 1 + f 0 (x)2 dx .
I
M(t 2 )
M(t 3 )
M(t 1 )
M(t 0 ) M(t 4 )
M(t 5 )
fonction de classe C 1 telle que F (x, y) = (x F (x, y), y F (x, y)) 6= 0 pour tout
(x, y) R2 . Soit Cc (R2 ) ; on veut definir et calculer
Z
(M )ds(M ) .
Puis
Z q
k (x, fk (x)) 1 + fk0 (x)2 dx
Z Ik
k (M )(M )ds(M ) = Z
k q
1 + gk0 (y)2 dy
k (gk (y), y)
Jk
6.2. INTEGRATION SUR LES SURFACES 199
P (U, V ) := {uU + vV | 0 u, v 1} .
V P(U,V)
!
U
de sorte que
de sorte que
m1 n1
1 XX
aire((I J)) = lim |u M (ui , vj ) v M (ui , vj )|
m,n+ mn
k=0 l=0
ZZ
= |u M (u, v) v M (u, v)|dudv .
IJ
202 CHAPITRE 6. APPENDICE
q p
d(M (u, v)) := 1 + x f (x, y)2 + y f (x, y)2 dxdy = 1 + |f (x, y)|2 dxdy
On notera lanalogie entre cette formule et celle donnant lelement de longueur
sur une courbe dequation y = f (x), rappelee dans la section precedente.
Enfin, lorsque la surface est donnee par une equation de la forme F (x, y, z) =
0, et que Cc (R3 ), on ramene le calcul de lintegrale de surface
Z
(M )d(M )
204 CHAPITRE 6. APPENDICE
a celui dune somme finie dintegrales sur des morceaux de surface donnes par
des equations de la forme z = f (x, y) ou x = g(y, z), ou encore y = h(z, x), en
appliquant le theoreme des fonctions implicites et en utilisant une partition de
lunite comme on la vu dans le cas des courbes a la fin de la section precedente.
Le lecteur est invite a rediger completement cet argument en sen inspirant.
Etant donnee et une surface dans lespace euclidien R3 definie soit par un
parametrage (u, v) 7 M (u, v), soit par une equation de la forme F (x, y, z) = 0,
et C(R3 ), la forme lineaire
Z
Cc (R3 ) 3 7 (M )(M )d(M ) R
LN (P (U1 , . . . , UN )) = det(U1 , . . . , UN ) .
6.3. INTEGRATION SUR UNE HYPERSURFACE DE RN 205
P(U,V)
! V
U
Figure 6.5 Surface du parallelogramme engendre par U et V , et volume du
parallelepipede engendre par U , V et
E 3 7 det(X1 , . . . , xN 1 , ) R .
X (1) . . . X (N 1) = (1)| | X1 . . . XN 1 ;
4) on a
X1 . . . XN 1 Vect({X1 . . . XN 1 }) ;
5) si (f1 , . . . , fN ) est une base orthonormee de E, on a
f1 . . . fN 1 = fN ,
N
X
X1 . . . XN 1 = (1)N +k k ek ,
k=1
LN 1 (P (V1 , . . . , VN 1 )) = |V1 . . . VN 1 | .
Remarquons que, si V1 , . . . , VN 1 sont lineairement independants, le seul hyper-
plan de RN contenant V1 , . . . , VN 1 est Vect(V1 , . . . , VN 1 ). Sinon, il existe plu-
sieurs hyperplans de RN contenant V1 , . . . , VN 1 , mais on a LN 1 (P (V1 , . . . , VN 1 )) =
0.
cest-a-dire
d(M (u)) := |u1 M (u) . . . uN 1 M (u)|du1 . . . duN 1 .
Supposons maintenant que lhypersurface de RN est donnee par une
equation de la forme xN = f (x1 , . . . , xN 1 ), ou f C 1 (). Cette equation
208 CHAPITRE 6. APPENDICE
ou encore
p
d(M (x0 )) = 1 + |f (x0 )|2 dx0 .
Etant donnee une hypersurface de RN et C(RN ), la forme lineaire
Z
Cc (RN ) 3 7 (M )(M )d(M ) ,
6.3.1 Exercices
1) On appelle fenetre de Viviani la courbe intersection dune sphere de R3 de
rayon r > 0 et dun cylindre circulaire de rayon r/2 dont une generatrice passe
par le centre de la sphere.
a) Donner les equations decrivant la fenetre de Viviani en coordonees cartesiennes,
en choisissant comme origine le centre de la sphere et comme axe des z la
generatrice du cylindre passant par le centre de la sphere.
b) Donner une representation parametrique de cette meme fenetre de Viviani
en coordonnees spheriques.
c) Montrer que le complementaire de la fenetre de Viviani dans la sphere est
forme de trois composantes connexes dont on calculera les aires.
d) Montrer quil est possible de realiser la quadrature de lune de ces trois
composantes connexes cest-a-dire de construire a la regle et au compas un
carre de meme aire dans le plan euclidien R2 , connaissant le centre de la sphere.
Une integration par parties montre que, pour tout z C tel que <(z) > 0
Z h it= Z
z t z t
(z + 1) = t e dt = t e +z tz1 et dt = z(z) ,
0 t=0 0
(x)(y)
B(x, y) = .
(x + y)
210 CHAPITRE 6. APPENDICE
1
en faisant le changement de variables t = 1+s , ou 0 < s < . Ainsi
Z z
s
B(z, 1 z) = ds , z ]0, 1[ .
0 1+s
Appliquons le theoreme des residus a la fonction meromorphe sur C\R+ definie
par
ez(ln(s)+i)
f (s) =
1+s
ou ln est la determination principale du logarithme qui est holomorphe dans
C \ R (cf. [6], chapitre V.3.2 ou [9], chapitre X.6.4), et au bord oriente du
disque ouvert de centre 0 et de rayon R prive du segment [0, R[ cf. Figure
3.3 :
R = {z C | |z| < R et z / [0, R[} .
Le seul pole de f dans R est s = 1 pour R > 1, et son residu vaut
ez(ln(1)+i) = eiz , de sorte que, pour tout R > 1,
Z
f (s)ds = 2ieiz .
R
Dautre part,
Z
f (s)ds = O(Rz ) 0 lorsque R + ,
|s|=R, s6=R
212 CHAPITRE 6. APPENDICE
2ieiz
(z)(1 z) = B(z, 1 z) = ,
1 e2iz
ce qui nest rien dautre que la formule des complements.
Grace a la fonction , on calcule aisement la surface de la sphere unite en
toute dimension.
Pour cela, on exprime de deux manieres lintegrale de Gauss
Z
2
gN = e|x| dx .
RN
2g12
2 = |S1 | = = 2g12 , dou g1 = .
(1)
On en deduit la
6.4. QUELQUES PROPRIETES DE LA FONCTION 213
2 N/2
|SN 1 | = .
N2
214 CHAPITRE 6. APPENDICE
Deuxieme partie
215
Chapitre 7
217
218 CHAPITRE 7. OPERATEURS DIFFERENTIELS
D ou Dx = Dx11 . . . DxNN .
Quitte a poser
b (x) = i|| a (x) ,
loperateur differentiel de la definition ci-dessus secrit sous la forme
X
P (x, Dx ) = b (x)Dx .
NN ,||n
tion dune equation aux derivees partielles. Il ny a dailleurs pas despoir quun tel resultat
existe sans avoir ete decouvert jusquici. Cest pourquoi la theorie des equations aux derivees
partielles passe par letude dexemples significatifs.
7.1. OPERATEURS DIFFERENTIELS : EXEMPLES 219
N
X
+ vk = t + v x ;
t xk
k=1
b) le laplacien sur RN :
N
X 2
= ;
x2k
k=1
N
2 X 2
2= 2 = t2 x
t x2k
k=1
N
X 2
12 = t 12 x
t x2k
k=1
introduit par Fourier pour decrire le champ des temperatures dans un corps ;
220 CHAPITRE 7. OPERATEURS DIFFERENTIELS
N
1
X 2
i + V (x) = it + 12 x V (x)
t 2 x2k
k=1
f =E?S.
0 div E = et E = V
1 1
40 |x y|
est le potentiel electrostatique cree au point x par une charge ponctuelle +1
situee au point y. Du point de vue mathematique, cela veut dire que
1
1
x 4 = y dans D0 (RN ) .
|x y|
Autrement dit la solution elementaire translatee de y represente le champ cree
par une charge ponctuelle +1 situee au point y.
Dautre part, la formule ci-dessus pour le potentiel V sinterprete comme la
superposition de tous ces potentiels electrostatiques ponderes par la densite de
charges.
222 CHAPITRE 7. OPERATEURS DIFFERENTIELS
Par densite de Cc (RN ) dans D0 (RN ) (voir Theoreme 4.2.6), la relation ci-
dessus vaut aussi pour tout f D0 (RN ), de sorte quen particulier, lorsque E
est une solution elementaire de loperateur P (Dx ), on a
verifie donc
(voir lExemple 4.4.3 pour la justification de cette derniere egalite) de sorte que
f = E ? S est une solution de lEDP P (Dx )f = S.
Ainsi, la connaissance dune solution elementaire dun operateur differentiel
a coefficients constants P (Dx ) sur RN permet-elle de calculer explicitement
une solution de lEDP
on trouve que
X
P\
(Dx )f = b f = (P )()f dans S 0 (RN ) ,
NN ,||n
P 1 = P et P AP = ,
ou est une matrice diagonale dont les coefficients sont les valeurs propres de
A comptees avec leurs multiplicites. Le systeme ci-dessus est donc equivalent a
u = P b , et v = P u ,
u = P b
est immediate.
Revenant au cas de lEDP
P (Dx )f = S
3. Une matrice A Md (C) est dite normale si AA = A A, ou on rappelle que la matrice
T
adjointe de A est A = A .
7.1. OPERATEURS DIFFERENTIELS : EXEMPLES 225
E = 0 dans D0 (RN ) .
E 00 = 0 dans D0 (RN ) .
E(x) = 12 |x| , x R.
Remarquons dune part que la masse de Dirac 0 est invariante par les
isometries lineaires :
Dautre part, pour toute fonction f C (RN ) et pour toute matrice orthogo-
nale A ON (R)
(f A) = (f ) A ,
Il est donc naturel de chercher une solution elementaire du laplacien qui soit
une fonction ou une distribution invariante par les isometries de lespace
euclidien RN , cest-a-dire radiale.
E RN \{0} = 0 .
N 1 0
(f (|x|)) = f 00 (|x|) + f (|x|) , x RN \ {0} .
|x|
E1 (x) = 21 |x| , x R,
E2 (x) = 1
2 ln |x| , x R2 \ {0} ,
1
EN (x) = 1
cN , x RN \ {0} , N 3,
|x| 2
N
avec
2 N/2 (N 2)
cN = (N 2)|SN 1 | = , N 3.
(N/2)
Alors, pour tout N N , la distribution EN est une solution elementaire du
laplacien dans RN :
EN = 0 dans D0 (RN ) .
230 CHAPITRE 7. OPERATEURS DIFFERENTIELS
on a
Z Z
x 0 1 x x 0
hE2 , i = EN (x) (|x|)dx = 2
2 |x|
(|x|)dx
R 2 |x| R 2 |x|
0 (|x|)
Z Z
1
= 2 1
dx = 2 |S1 | 0 (r)dr = (0) ,
R2 |x| 0
de sorte que
2 = x20 .
Il existe plusieurs methodes pour calculer une solution elementaire du dAlem-
bertien. Notons 2c le dAlembertien pour la propagation dondes a la vitesse
c:
2c = x20 c2 x .
Nous allons nous baser sur lobservation suivante : le laplacien concide avec le
dAlembertien correspondant a la vitesse de propagation c = i :
x0 ,x = x20 + x = 2i .
Evidemment cela na pas grand sens physique de parler dune vitesse de propa-
gation imaginaire. Mais cette remarque va nous permettre dobtenir une solution
elementaire du dAlembertien a partir de celle que lon a deja obtenue pour le
laplacien.
Considerons, pour tout z C, loperateur differentiel
P (z, DX ) = x20 + zx ,
avec la notation
X = (x0 , x1 , . . . , xN ) , et DX = i(x0 , x1 , . . . , xN ) .
dans D0 (R RN ).
232 CHAPITRE 7. OPERATEURS DIFFERENTIELS
0 A = | det A|0 .
Cette identite signifie precisement que, pour toute fonction test Cc (RN +1 ),
on a
Z
1N
(x20 + z 1 |x|2 ) 2 P (z, DX )(X)dX = (N 1)|SN |z N/2 (0) , z > 0 .
RN +1
Largument de la racine est une fonction holomorphe de z sur Cp et ne prend
des valeurs negatives que si z < 0, de sorte que la fonction z 7 x20 + z 1 |x|2
7.2. SOLUTIONS ELEMENTAIRES 233
est holomorphe sur C \ R , toujours en notant la determination principale
de la racine carree. De plus, pour z C \ R
soit |x20 + <(z 1 )|x|2 | < 21 x20 , auquel cas |<(z 1 )||x|2 21 x20 , et donc
1 2
1 =(z )
|x20 + z 1 |x|2 |2 4
4 <(z 1 )2 x0 + 21 =(z 1 )2 |x|4 .
qui est continue sur (RN +1 \ {0}) (C \ R ), ainsi quidentiquement nulle pour
X / supp() compact dans RN +1 , et holomorphe en z, verifie en outre
Z 1N
q
2
sup x20 + z 1 |x|2 (x0 + zx )(X) dX
R N +1 zK
Z
C (x20 + |x|2 )(1N )/2 dX <
supp()
234 CHAPITRE 7. OPERATEURS DIFFERENTIELS
ou
C = sup k(x20 + zx )kL (RN +1 ) sup Cz(1N )/2 .
zK zK
et
N
z 7 (N 1)|SN | z (0)
qui concident pour z R+ , concident sur louvert connexe C \ R dapres
le theoreme des zeros isoles voir [6], Theoreme V.1.16, ou [9], chapitre X,
Theoreme 6.1.3.
Posons z = ei avec ] , [, on trouve que
q 1N
i
P (e , DX ) x20 + ei |x|2 = (N 1)|SN |eiN /2 X=0 .
supp(EN ) R+ RN .
Ceci suggere de choisir la distribution EN R RN comme etant definie par une
+
fonction de la forme
1 2
(t, ) 7 C()e 2 t|| .
Et comme la distribution EN est a support dans R+ RN , il est naturel de
chercher la distribution EN comme etant globalement definie par la fonction
1 2
EN (t, ) = 1R+ (t)C()e 2 t|| , t > 0 , RN .
supp(EN ) R+ RN .
Sa transformee de Fourier partielle en la variable x est la fonction
1 2
EN (t, ) = 1R+ (t)e 2 t|| , RN .
236 CHAPITRE 7. OPERATEURS DIFFERENTIELS
(t 12 x )F = 0 dans S 0 (R RN ) ,
supp(F ) R+ RN .
Alors F = 0.
(i + 21 ||)FF = 0 dans S 0 (R RN )
aNN +1
it EN + 21 x EN = i(t,x)=(0,0) dans S 0 (R RN ) ,
238 CHAPITRE 7. OPERATEURS DIFFERENTIELS
it + 21 x en loperateur de la chaleur s 12 x .
1R (t) |x|2
EN (t, x) = + N e 2it .
2it
Cette approche souleve deux questions :
a) quelle racine carree de i doit-on choisir dans cette formule ? et
b) cette fonction definit-elle une distribution de S 0 (Rt RN ) ?
Comme on va le voir, ces deux questions sont intimement liees.
supp(EN ) R+ RN .
1R (t) |x|2
EN (t, x) = + N e 2it .
2it
donnee avant lenonce du theoreme. Manifestement, il sagit dun abus de nota-
tion, et lenonce precis figurant dans le theoreme ci-dessus indique que cest une
7.2. SOLUTIONS ELEMENTAIRES 239
On sait dautre part (voir Lemme 5.2.6) que, pour tout RN , cette fonction
concide avec la fonction
1 2
z 7 e 2 z|| egalement holomorphe sur {z C | <(z) > 0}
lorsque z decrit R+ .
On deduit du theoreme des zeros isoles (Theoreme V.1.16, de[6], ou Theoreme
6.1.3 du chapitre X dans [9]) que ces deux fonctions holomorphes concident sur
louvert connexe {z C | <(z) > 0}.
Demonstration du theoreme. Appliquons a chaque membre de lequation de
Schrodinger la transformation de Fourier partielle en la variable x on notera
240 CHAPITRE 7. OPERATEURS DIFFERENTIELS
(2 + 1)N/2
Z
|EN (t, x)|dx = 1R+ (t) .
RN N/2
Donc EN
L (R+ ; L1 (RN )) pour tout > 0, ce qui entrane en particulier
que EN S 0 (Rt RN ).
7.3. LE PROBLEME DE CAUCHY AU SENS DES DISTRIBUTIONS 241
EN EN dans S 0 (Rt RN +
x ) lorsque 0 ,
P (x, Dx )f = S pour x
f H = f in .
Dans ce probleme, le terme source S est une fonction donnee ainsi que la fonction
f in (appelee donnee de Cauchy) ; de meme H est une hypersurface de de classe
C connue ainsi que loperateur differentiel P (x, Dx ) sur .
Mais dans ce cours, nous nous interesserons uniquement a ce que lon appelle
des problemes devolution, cest-a-dire des problemes de Cauchy particuliers
de la forme suivante :
t f + A(x, Dx )f = S , pour (t, x) R+ RN ou (t, x) R RN ,
f t=0 = f in .
Cette circonstance ne modifie en rien ce que nous allons dire dans cette
section, et nous y reviendrons en detail dans notre etude de lequation des ondes.
Le lecteur est donc invite a supposer pour linstant que la fonction f inconnue
de lEDP
t f + A(x, Dx )f = S
est a valeurs scalaires.
Voici la difficulte principale quil nous faut considerer pour ce qui est du
probleme de Cauchy.
Comme nous lavons dit plus haut, il est avantageux detudier les EDP dans
le cadre des distributions autrement dit de supposer que la donnee S est une
distribution a support compact et que linconnue f est elle-meme une distribu-
tion.
Or, si la condition initiale
f t=0 = f in
a bien un sens pour une fonction continue sur Rt RN , elle nen a aucun si f
est une distribution sur Rt RN .
Cette difficulte existe deja pour f L1loc (Rt RN ), car lhyperplan dequation
t = 0 dans Rt RN est de mesure nulle.
(Rappelons en effet quun element de L1loc (Rt RN ) est une classe dequivalen-
ce de fonctions egales en dehors dun ensemble de mesure nulle. Autrement dit,
les divers representants de f peuvent prendre des valeurs arbitraires sur lhy-
perplan dequation t = 0, de sorte que la restriction f t=0 nest pas definie.)
La condition
f t=0
na donc aucun sens consideree separement lorsque f est une distribution sur
Rt RN .
Nous allons y remedier en donnant un sens aux deux conditions
t f + A(x, Dx )f = S
et
f t=0
considerees conjointement.
Lorsque S est une fonction continue sur R+ , on sait quil existe une unique
solution u C 1 (R+ ) du probleme ci-dessus, et de plus que la methode de
variation de la constante donne la formule explicite suivante pour u :
Z t
u(t) = eat uin + ea(ts) S(s)ds .
0
Ea (t) = eat , t R,
Pour ce qui est du premier terme dans cette meme formule, observons quil se
met egalement sous la forme dun produit de convolution cf. Exemple 4.4.3 :
Par consequent
R+ + R+ R+ ,
de sorte que
(1R+ Ea ) ? (uin 0 + 1R+ S) = 0 sur R .
Resumons le resultat de cette etude :
Alors
(a) la fonction localement bornee 1R+ Ea est une solution elementaire de loperateur
d
differentiel dt + a sur R ;
(b) la fonction localement bornee U verifie
U = (1R+ Ea ) ? (uin 0 + 1R+ S) dans D0 (R) ;
(c) la fonction localement bornee U definit lunique distribution sur R verifiant
U 0 + aU = 1R+ S + uin 0 ,
supp(U ) R+ .
Demonstration. Le point (b) decoule de la discussion precedent lenonce de
cette proposition.
Pour ce qui est du point (a), appliquons la formule de Leibnitz (Proposition
3.4.14) : comme Ea C (R) et Ea0 + aEa = 0, on a
(1R+ Ea )0 + a(1R+ Ea ) = Ea 0 + 1R+ Ea0 + a(1R+ Ea ) = Ea 0
= Ea (0)0 = 0 .
Passons au point (c). Comme uin 0 + 1R+ S est a support compact dans R+ ,
on deduit du Theoreme 4.4.6 que
d d
+ a (1R+ Ea ) ? (uin 0 + 1R+ S)
+a U =
dt dt
d
= + a (1R+ Ea ) ? (uin 0 + 1R+ S)
dt
= 0 ? (uin 0 + 1R+ S) = uin 0 + 1R+ S
au sens des distributions sur R, ou la derniere egalite est une consequence du
calcul traite dans lExemple 4.4.3. La condition sur le support de U definie par
le membre de droite de la formule du (b) a deja ete demontree dans la discussion
precedent lenonce de la proposition.
Terminons avec lunicite de U . Supposons quil existe une autre distribution
V D0 (R) verifiant les memes conditions que U . Alors W = U V est une
distribution qui verifie
W 0 + aW = 0 dans D0 (R) ,
supp(W ) R+ .
Z Z t
f (t, x) = eix et(A)() fin () + e(ts)(A)() S(s, )ds (2)
d
N
RN 0
Definissons alors
F (t, x) = f (t, x) pour tout t 0 et x RN ,
F (t, x) = 0 pour tout t < 0 et x RN .
On a evidemment
supp(E) R+ RN .
7.3. LE PROBLEME DE CAUCHY AU SENS DES DISTRIBUTIONS 249
elle definit donc pour tout t 0 une distribution temperee sur RN dont on
notera EA (t) la transformee de Fourier inverse partielle par rapport a ;
(b) prolongeons EA aux valeurs negatives de t en posant
A priori, cette egalite vaut dans D0 (Rt RN ), mais comme les deux membres
de cette egalite sont des distributions temperees sur Rt RN , elle a lieu dans
0 N N N
S (Rt R ) par densite de Cc (Rt R ) dans S(Rt R ).
En revenant aux variables physiques par transformation de Fourier inverse
partielle par rapport a , on trouve que
ce qui etablit le point (b), la condition de support sur EA etant triviale par
construction de EA .
On aura reconnu dans la demonstration de ce resultat la methode qui nous
a permis de calculer, dans la section precedente, les solutions elementaires des
operateurs de la chaleur et de Schrodinger, qui verifient evidemment tous les
deux la condition (H).
250 CHAPITRE 7. OPERATEURS DIFFERENTIELS
7.4 Exercices
Exercice 1.
Soit v RN \ {0}. Trouver une solution elementaire temperee dans le futur
de loperateur de transport t + v x . (Indication : on pourra commencer par
determiner une solution elementaire dans le futur de loperateur t sur Rt RN
x ,
puis y ramener loperateur de transport t +vx par un changement de variables
bien choisi.)
Exercice 2.
Soit A MN (R) une matrice symetrique reelle definie positive, de coefficients
akl , avec k, l = 1, . . . , N . Notons PA (Dx ) loperateur differentiel homogene du
second ordre defini par
N
X
PA (Dx )(x) = div(A(x)) = akl xk xl (x)
k,l=1
et ou on a note
N
X
(Bx|x) = bkl xk xl ,
k,l=1
Exercice 3.
Soit A MN (R) matrice symetrique reelle definie positive ; montrer que lopera-
teur
XN
t + 21 PA (Dx ) = t 12 akl xk xl
kl=1
Exercice 4.
Determiner une solution elementaire de loperateur differentiel
t + x3 sur R2 ' Rt Rx .
252 CHAPITRE 7. OPERATEURS DIFFERENTIELS
Chapitre 8
Equations de Laplace et de
Poisson
253
254 CHAPITRE 8. EQUATIONS DE LAPLACE ET DE POISSON
q 0 x x0
E(x) = , x R3 \ {x0 } ,
40 |x x0 |3
F = qE .
verifie Z
f (x)dx = 0 pour tout ouvert R3 a bord C 1 .
0 div E = .
8.1. ORIGINES DU MODELE 255
x (y f ) = y (x f ) sur .
0 = z (0) = z (z f ) = 14 (xx f + ix (y f ) iy (x f ) + yy f )
= 41 (xx f + yy f ) = 14 f sur .
2 N/2
Z
|SN 1 | = d =
N2
SN 1
est de classe C 2 .
Appliquant alors le theoreme de derivation sous le signe somme (voir note 3
p. 12 du chapitre 1) sur le compact [0, R] SN 1 , on trouve que :
Z Z
d
f (x0 + r)d() = f (x0 + r) d()
dr SN 1 SN 1
Z
1
= N 1 f (y) (y)dS(y) ,
r B(x0 ,r)
8.2. FONCTIONS HARMONIQUES 259
est constante sur lintervalle [0, (x0 )[ : elle est donc egale identiquement a sa
valeur en r = 0 :
Z
f (x0 + r)d() = f (x0 )(SN 1 ) pour tout 0 r < (x0 )
SN 1
Dautre part, dire que f (x) 0 lorsque |x| 0+ , cest dire que
pour tout > 0 , il existe R > 0 tel que |f (x)| < lorsque |x| > R .
1. Theoreme de Liouville. Toute fonction holomorphe sur C et bornee est constante.
Cf. [6], Corollaire V.2.11, ou [9], chapitre X, Proposition 6.1.1.
8.2. FONCTIONS HARMONIQUES 261
En particulier,
Autrement dit
Donc, pour r +
Z
1
|f (x0 )| |SN 1 |
|f (x0 + r)|d() sup |f (x0 + r)| 0 .
SN 1 ||=1
Demonstration. Posons
B(x0 , (x0 )) A .
pour tout r ]0, (x0 )[. Or, par hypothese, lintegrande dans la formule ci-dessus
est une fonction continue et positive ou nulle sur SN 1 : comme son integrale
est nulle, il sensuit que lintegrande est identiquement nul. Donc
et comme cette egalite vaut pour tout r [0, (x0 )[, on en deduit que
T = 0 dans D0 () .
T = 0 dans D0 () .
(T ) = 2 T + ()T ;
8.2. FONCTIONS HARMONIQUES 263
Alors
( ? (T )) = ? (T )
et comme T est une distribution harmonique dans B(x0 , R), on deduit de la
propriete de majoration du support dun produit de convolution (cf. Proposition
4.2.2) que
Donc
? (T ) C (RN ) est harmonique dans B(0, R ) .
Supposons dans tout ce qui suit que 0 < < 14 R, et considerons la fonction
radiale (x) = (|x|2 ) a support dans B(0, 41 R) avec C (R+ ) et
Z
(|z|2 )dz = 1 .
RN
Comme
? (T ) 1 = ? ( ? (T )) 1
B(x0 , 2 R) B(x0 , 2 R)
264 CHAPITRE 8. EQUATIONS DE LAPLACE ET DE POISSON
Comme dans le cas des distributions harmoniques, cette definition est sans
objet, grace a la remarque suivante, qui est une consequence immediate du
theoreme de regularite des distributions harmoniques (Theoreme 8.2.8.)
T = 4z z T = 0 dans D0 () .
on en deduit que T est holomorphe sur cf. [6], Remarque V.1.14 ou [9],
chapitre X, Definition, 2.3.1.
Voici un resultat egalement tres simple a demontrer, et qui va dans le meme
sens.
T = 0 dans S 0 (RN ) .
Par consequent
= (i) ,
0 = 1 et que [ 0
ou
E1 (x) = 12 |x| , x R,
E2 (x) = 1
2 ln |x| , x R2 \ {0} ,
1
EN (x) = 1
cN , x RN \ {0} , N 3,
|x|N 2
avec la notation
2 N/2 (N 2)
cN = (N 2)|SN 1 | = , N 3.
N2
T = S dans RN .
Alors
(a) T est de classe C sur RN \ supp(S) ;
(b) lunique solution du probleme
est
T = EN ? S .
Demonstration. Pour ce qui est du point (a), observons que T est une dis-
tribution harmonique dans louvert = RN \ supp(S). Dapres le Theoreme
8.2.8 sur la regularite des distributions harmoniques, T est donc une fonction
de classe C sur .
Passons a la demonstration du point (b).
Dabord, comme S est une distribution a support compact dans RN et EN
une fonction localement integrable, donc une distribution sur RN , le produit de
convolution EN ? S est bien defini et on a, dapres le Theoreme 4.4.6,
Montrons que EN ? S tend vers 0 a linfini. Notons que ceci a bien un sens
car, dapres le (a), la restriction de EN ? S a RN \ supp(S) est une fonction de
classe C .
8.3. LEQUATION DE POISSON DANS LESPACE EUCLIDIEN 267
Ainsi
T = G1 ? S dans D0 (RN \ B(0, R + 1)) .
Remarquons que G1 C (RN ) ; ainsi G1 ? S est une fonction de classe C
sur RN . La propriete de continuite de la distribution a support compact S (cf.
Proposition 4.1.5) secrit
Donc
C sup||m C
|G1 ? S(x)| , |x| > R0 .
(R0 R)N 2+m
On en deduit que
1
T (x) = G1 ? S(x) = O 0 pour |x| ,
|x|N 2+m
ou m est lordre de la distribution a support compact S.
268 CHAPITRE 8. EQUATIONS DE LAPLACE ET DE POISSON
v F (w x) = (v w)F 0 (w x) = 0 .
Posons
S1 = T et S2 = 2 T ()T ;
evidemment
Alors, comme T est nulle pour |x x0 | > 2r, le point (b) du Theoreme
8.3.1 entrane que
T = T1 + T2 , avec T1 = EN ? S1 et T2 = EN ? S2 .
Dapres le point (a) du Theoreme 8.3.1, T2 est donc une fonction de classe C
sur B(x0 , r) RN \ supp(S
2 ).
On en deduit que T B(x0 ,r) = T B(x0 ,r) est une fonction de classe C .
Comme ceci vaut pour tout x0 et tout r > 0 tel que B(x0 , 2r) , cest
donc que T est une fonction de classe C sur .
u = f , sur ,
u = g .
Linconnue est ici la fonction u, tandis que les donnees sont les fonctions f et
g. Ce probleme
porte le nom de probleme de Dirichlet pour le laplacien, et la
condition u = g au bord de sappelle condition de Dirichlet.
Le second exemple est
u = f , sur ,
u
= g,
n
270 CHAPITRE 8. EQUATIONS DE LAPLACE ET DE POISSON
ou, de nouveau, les fonctions f et g sont donnees, tandis que la fonction u est
linconnue. La notation
u
(x) designe u(x) nx
n
ou nx est le vecteur normal unitaire au point x de dirige vers lexterieur de
. Ce second probleme aux limites porte le nom de probleme de Neuman, et
u
la condition au bord n
= g sappelle condition de Neuman.
Dans le contexte de lelectrostatique ou linconnue est le potentiel electrosta-
tique cree par une densite de charges proportionnelle a f , la condition de Di-
richlet consiste a postuler que le bord de est porte a un potentiel impose
typiquement, lorsque g = Const., le bord de est une equipotentielle.
La condition de Neuman homogene exprime le fait que le champ electrique
au bord de est tangentiel a : ceci se produit dans le cas ou la surface
bordant le domaine est un conducteur parfait.
Pour ces problemes, on ne dispose pas, en general, de formule completement
explicite donnant la solution u en fonction de f et de g.
Une approche possible consiste a ramener les problemes de Dirichlet et de
Neuman a des problemes de minimisation pour des fonctionnelles appropriees
sur des espaces fonctionnels bien choisis.
Pour le probleme de Dirichlet, on suppose que lon connat une fonction
G C 2 () telle que
g = G .
En posant v = u G, le probleme de Dirichlet se reecrit sous la forme
v = f + G dans ,
v = 0 .
8.5 Exercices
Exercice 1.
a) Notons RN N N
+ le demi-espace {x R | xN > 0}. Soit f C R+ harmonique
sur RN
+ . Posons
f (x) si xN > 0 ,
F (x) =
f (x1 , . . . , xN 1 , xN ) si xN < 0 .
Exercice 2.
a) Calculer, pour tout r [0, 1[ et tout R
X
Pr () = r|n| ein ;
nZ
272 CHAPITRE 8. EQUATIONS DE LAPLACE ET DE POISSON
montrer que Pr est de signe constant, que lon precisera. (La fonction Pr sap-
pelle noyau de Poisson du disque unite.)
b) A toute fonction f L1 ([, ]), on associe la fonction F definie sur le disque
unite ouvert U de R2 par la formule
Z
F (rei ) = 2
1
Pr ( t)f (t)dt .
F = 0 dans U .
(Indication : on pourra soit effectuer un calcul direct, soit faire intervenir une
fonction holomorphe sur U bien choisie.)
c) Etudier le comportement de F (rei ) pour r 1 .
d) Meme question lorsque f est continue sur R et 2-periodique.
e) Resumer les resultats ci-dessus en un enonce portant sur la resolution du
probleme de Dirichlet dans le disque unite ouvert U de R2 :
est satisfaite.)
Exercice 3.
a) Soit (K, d), espace metrique connexe et compact. Montrer que K est bien
enchane, cest-a-dire que, pour tout r > 0, et tout couple (a, b) K K, il
existe une suite finie de points de K verifiant
x0 = a , xn = b , et d(xk1 , xk ) r pour 1 k n .
c) Deduire de ce qui precede lexistence dune constante C(U, ) > 0 telle que,
pour toute fonction harmonique f positive ou nulle sur , lon ait
(inegalite de Harnack.)
d) Soit u1 u2 . . . un . . . suite croissante de fonctions continues sur .
Supposons que la fonction
Equation de la chaleur
275
276 CHAPITRE 9. EQUATION DE LA CHALEUR
q(t, x) = x T (t, x)
t f 12 x f = S , x RN , t > 0 ,
f t=0 = f in ,
f = EN ? (t=0 f in + S) ;
t f 21 x f = t=0 f in + S , x RN , t > 0 ,
supp(f in ) R+ RN ,
= (t,x)=(0,0) ? (t=0 f in + S)
= t=0 f in + S dans D0 (Rt RN
x ),
tandis que
supp EN ? (t=0 f in + S) supp(EN ) + supp(t=0 f in + S)
(R+ RN ) + (R+ RN ) R+ RN
t h 21 x h = 0 , x RN , t > 0 ,
supp(h) R+ RN .
A vrai dire, la condition de support compact sur les donnees nest pas ab-
solument necessaire ; elle nest la que pour permettre dappliquer le Theoreme
4.4.6 et decrire que
EN ? (t=0 f in + S) = (t,x
EN ) ? (t=0 f in + S)
t,x
et
f (0, x) = f in (x) p.p. en x RN .
Observons que, lorsque f in Cc (RN ), la distribution
EN ?t,x (t=0 f in )
concide, pour t > 0, avec la fonction
(t, x) 7 EN (t, ) ?x f in (x) ,
de sorte que les formules explicites du Theoreme 9.2.1 et de la proposition ci-
dessus concident bien pour une classe de donnees initiales denses dans L2 (RN )
a savoir les fonctions continues a support compact dans RN .
A partir de la Proposition 9.2.2, on definit la notion de semi-groupe engendre
par lequation de la chaleur.
Definition 9.2.3 (Semi-groupe de la chaleur) Pour tout t 0, on definit
une application lineaire
P (t) : L2 (RN ) 3 f in 7 f (t, ) L2 (RN )
ou f est la solution du probleme de Cauchy sans second membre de donnee
initiale f in ci-dessus. La famille P (t)t0 est appelee semi-groupe de la chaleur,
et souvent notee
1
P (t) = e 2 tx .
280 CHAPITRE 9. EQUATION DE LA CHALEUR
u + Au = 0 , u(0) = uin
1
na aucun sens et ne represente donc pas e 2 tx .
Commencons par demontrer la proposition ci-dessus ; nous reviendrons ulte-
rieurement sur letude des proprietes de P (t).
Demonstration. Pour tout n 1, definissons fn comme la solution au sens des
distributions temperees du probleme de Cauchy pour lequation de la chaleur
sans second membre et avec donnee initiale fnin definie par
fn = EN ? (t=0 fnin ) .
1 2
puisque 0 e 2 t|| 1 pour tout RN et tout t 0. Dapres le theoreme de
Plancherel 5.4.12, il existe donc, pour tout t 0, une unique fonction x 7 f (t, x)
appartenant a L2 (RN ) et telle que
1 2
f(t, ) = g(t, ) = e 2 t|| fin () , p.p. en RN pour tout t > 0 .
fn f dans D0 (Rt RN
x ) pour n .
Donc
t fn t f et x fn x f dans D0 (Rt RN
x )
et comme
on en deduit que
Lunicite de cette solution sobtient comme dans le Theoreme 9.2.1 , par une
application directe du Lemme 7.2.4.
Enfin la formule
1 2
f(t, ) = e 2 t|| fin () p.p. en RN pour tout t > 0 ,
f R RN C(R+ ; L2 (RN )) .
+
p.p. en RN .
Revenons au semi-groupe de la chaleur P (t)t0 . En voici les principales pro-
prietes :
1
Proposition 9.2.4 (Proprietes de e 2 t ) Le semi groupe de la chaleur
1
P (t) = e 2 tx
P (t)P (s) = P (t + s) ;
R+ 3 t 7 P (t)f in L2 (RN )
Il existe alors une unique f C(R+ ; L2 (RN )) dont le prolongement par 0 pour
t < 0 est solution au sens des distributions temperees du probleme de Cauchy
t f 12 x f = S , x RN , t > 0 ,
f t=0 = f in .
cest-a-dire
f (t, x) = EN (t, ) ?x f in (x) + EN ?t,x 1R+ (t)S (t, x) .
Cette formule concide donc, dans le cas de fonctions continues a support com-
pact, avec la formule
f = EN ? (t=0 f in ) + EN ? S
donnee dans le Theoreme 9.2.1.
Demonstration. Pour tout entier n 1, on pose
Sn (t, x) = 1[1/n,n] (t)1B(0,n) (x)S(t, x) , p.p. en x RN et pour tout t 0 .
lorsque n .
Pour le second terme, on commence par appliquer a lintegrale en t linegalite
de Cauchy-Schwarz, en on observe, grace a la definition de Sn , que, pour tout
T > 0 et tout t [0, T ]
Z t
kSn (s, ) S(s, )kL2 (RN ) ds
1/n
!1/2
Z T Z
2
T |S(s, x)| 1RN \B(0,n) dx 0
0 RN
t gn 21 x gn = Sn dans S 0 (R RN ) ,
pour
tout s [0, T ] grace au (a) de cette meme proposition. On en conclut que
g R+ RN C(R+ ; L2 (RN )).
Definissons
t f0 21 x f0 = 0 , x RN , t > 0 ,
f0 t=0 = f in ,
et f0 R RN C(R+ ; L2 (RN )).
+
Comme lequation de la chaleur est lineaire, on deduit alors de ce qui precede
que f = f0 + g est solution au sens des distributions temperees du probleme de
Cauchy
t f 12 x f = S , x RN , t > 0 ,
= f in .
f t=0
Cest la seule, car sil en existait une autre, notee f , on deduirait du Lemme
7.2.4 que f f = 0, comme dans la preuve du Theoreme 9.2.1.
Enfin f0 + g R RN C(R+ ; L2 (RN )) puisque f0 R RN et g R RN ap-
+ + +
t f 12 x f = 0 , x RN , t > 0 ,
f t=0 = f in .
f in M ( resp. si f in m) ,
La condition
f in M (resp. f in m)
signifie que M f in (resp. f in m) est une distribution positive sur RN , cest-
a-dire que
Z Z
hf in , i M (x)dx resp. hf in , i m (x)dx
RN RN
Dautre part
EN (t, ) ?x (1B(0,R) (M f in )) 0
en tant que produit de convolution de la distribution a support compact positive
1B(0,R) (M f in ) par la fonction de classe C positive EN (t, ) C (RN ). (En
effet, rappelons que, par definition
EN (t, )?x (1B(0,R) (M f in ))(x)
= h(1B(0,R) (M f in )), EN (t, x )i 0 , x RN ,
dou le resultat.)
Par consequent,
f (t, ) EN (t, ) ?x (M 1B(0,R) ) M
pour tout t > 0, c.q.f.d..
La minoration f (t, ) m sobtient de maniere analogue.
Une autre estimation tres importante pour lequation de la chaleur est legalite
connue sous le nom degalite denergie.
Theoreme 9.3.2 (Regularisation et egalite denergie) Soit f in L2 (RN ).
Alors la solution
1
f (t, ) = e 2 tx f in C(R+ ; L2 (RN ))
du probleme de Cauchy
t f 12 x f = 0 , x RN , t > 0 ,
f t=0 = f in ,
Or Z t
2 2
1 et|| = ||2 es|| ds
0
de sorte que, dapres le theoreme de Fubini,
Z tZ 2
1 2
kf in k2L2 (RN ) kf (t, )k2L2 (RN ) = ||2 e 2 s|| fc
1
in () dds
(2)N
0 RN
Z tZ 2
= 1
||2 f\
(s, )() dds .
(2)N
0 RN
deduit que
tm x f C(R+ RN )
pour tout m N et tout NN . Par consequent, la fonction f est de classe
C sur R+ RN .
t f 21 x2 f = 0 , x R , t > 0 ,
f t=0 = f in .
tout t > 0,
f (t, ) = E1 (t, ) ?x f in ,
ou E1 est la solution elementaire temperee de loperateur de la chaleur a support
dans R+ R.
290 CHAPITRE 9. EQUATION DE LA CHALEUR
Montrons que cette integrale definit bien une fonction z 7 F (t, z) holomorphe
sur C. En effet, pour tout R > 0,
iz 1 (t)2 1 2 1 2
f (, )() = e=(z) 2 (t) |f\
(, )()| eR|| 2 (t) |f\
e 2 \ (, )()| ,
Comme lintegrande de F (t, z) est une fonction holomorphe de z pour tout t >
et tout R, et que le membre de droite de linegalite de domination ci-dessus
appartient a L1 (R), pour tout t > , la fonction
Enfin, la restriction de F (t, ) a laxe reel concide pour tout t > 0 avec
la fonction f (t, ) dapres le theoreme dinversion de Fourier (Theoreme 5.2.5)
appliquee a f (t, ) S(R) definie par
1 2
(t, ) = e 2 (t)|| f(, ) .
f\
t f + v x f = 0 sur R+ RN
f t=0 = f in
On voit precisement sur cette formule que f (t, ) a exactement la meme regularite
que la donnee initiale f in (le graphe de f (t, ) etant celui de f in translate de tv
dans la direction de lespace des abscisses.) Autrement dit, si f in est de classe
C k sur RN et pas de classe C k+1 , de meme, f (t, ) est de classe C k sur RN et
pas de classe C k+1 .
Au contraire, pour toute donnee initiale f in L2 (RN ), la solution du
probleme de Cauchy pour lequation de la chaleur
t f 21 x f = 0 sur R+ RN
f t=0 = f in
verifie
1
f (t, ) = e 2 tx f in C (RN ) , t > 0,
independamment de la regularite de la donnee initiale f in . Cette difference de
comportement entre lequation de transport, qui propage les singularites de la
donnee initiale, et lequation de la chaleur qui les efface, est dune importance
considerable dans letude theorique des EDP.
Leffet regularisant de lequation de la chaleur a de nombreuses autres conse-
quences, comme on va le voir.
9.3.3 Irreversibilite
Comparons a nouveau les comportements des solutions des problemes de
Cauchy pour lequation de transport et lequation de la chaleur.
292 CHAPITRE 9. EQUATION DE LA CHALEUR
La formule
montre que lapplication lineaire etvx definit une bijection de C k (RN ) dans
lui-meme, dinverse
1
etvx (x) = (x + tv) , x RN .
Autrement dit, la famille dapplications lineaires etvx , que nous avons definie
a priori pour t > 0, setend evidemment a tout t R avec la meme formule
de definition :
et verifie
esvx etvx = e(s+t)vx , s, t R .
Remarquons dailleurs que linversion de lapplication etvx correspond
exactement a la notion de reversibilite mecanique, bien connue en mecanique
statistique :
a) choisissons v RN ; on resout le probleme de Cauchy
t f + v x f = 0 sur R+ RN
= f in
f t=0
g in (x) = f (T, x) , x RN ;
t g v x g = 0 sur R+ RN
= g in .
g t=0
g(T, x) = f in (x) , x RN .
Il nen est pas de meme pour le cas de lequation de la chaleur. Pour T > 0,
la fonction
1
e 2 T x f in est de classe C sur RN
et il nexiste pas de transformation simple f (T, ) 7 Sf (T, ) analogue au
fait de changer v en v dans lequation de transport telle que
1
e 2 T x Sf (T, ) = f in .
9.3. PROPRIETES QUALITATIVES 293
t f 12 x f = 0 , x RN , t > 0 ,
f t=0 = f in .
ce qui secrit Z
f (t, x) = EN (t/2, x y)f (t/2, y)dy .
RN
Le membre de droite de legalite ci-dessus est lintegrale dune fonction continue
sur RN positive ou nulle rappelons en effet que f (t/2, ) C (RN ) dapres
le Theoreme 9.2.1.
Choisissons alors x0 quelconque ; la condition f (t, x0 ) = 0 entrane que
t f + v x f = 0 sur R+ RN
f t=0 = f in
Dans la section suivante, nous allons presenter une variante non lineaire de
lequation de la chaleur possedant des solutions qui ne sont meme pas de classe
C 2 , mais se propagent a vitesse finie.
ou R+ .
Pour obtenir lequation des milieux poreux, il ne reste plus qua exploiter
lequation detat du gaz.
Dans le cas dun gaz parfait, et en supposant que lecoulement du gaz a
travers le milieu poreux est isotherme, on ecrit que
k
p(t, x) = m (t, x)T
> 1.
qui est un nouvel exemple dequation des milieux poreux, cette fois avec lexpo-
sant = + 1.
en supposant que
> 1,
et cherchons les valeurs de a R et b R pour lesquelles
pour tout > 0 sachant que u est solution de cette meme equation. Comme
et
x a u(t, b x) = a+2b (x u )(t, b x) ,
a + 1 = a + 2b .
1 x
u(t, x) = U b , x RN , t > 0 ,
ta t
ou U = u(1, ). Notons y la nouvelle variable
x
y= .
tb
298 CHAPITRE 9. EQUATION DE LA CHALEUR
Alors
tandis que
x ta U (tb x) = ta2b (U )(tb x) = ta2b (U (y))y=tb x .
Supposons que
a + 1 = a + 2b ;
alors legalite ci-dessus secrit
U (y) = V (|y|) .
N 1 0
y ((|y|))) = 00 (|y|) + (|y|) , y RN .
|y|
Ainsi
00 N 1 0
(V ) (r) + (V ) (r) + brV 0 (r) + aV (r) = 0 , pour tout r > 0 .
r
Supposons que a = N b ; multipliant les deux membres de legalite ci-dessus par
rN 1 , on met legalite ci-dessus sous la forme
0 0 0
rN 1 (V ) + brN V = 0, r > 0.
On en deduit que
0
rN 1 (V ) + brN V = Const. , r>0
et, en supposant que U (y) = 0 pour tout y RN tel que |y| soit assez grand,
on trouve que la constante dintegration ci-dessus est nulle.
9.4. EQUATION DES MILIEUX POREUX 299
Lequation differentielle
0
(V ) + brV = 0 pour tout r > 0 avec lim V (r) = 0
r+
admet pour solutions non identiquement nulles toutes les fonctions de la forme
1/(1)
V (r) = (1 1 )1/(1) c 12 br2 +
, r>0
z+ = max(z, 0) , z R.
verifie
(2)/(1)
V 0 (r) = b(1 1 )1/(1) ( 1
)r+ (c 12 br2 ) dans D0 (R+ )
tandis que
0 1/(1)
(V (r) ) = b(1 1 )/(1) (1 +
1 )r+ (c 12 br2 ) dans D0 (R+ )
00 1/(1)
(V (r) ) = b(1 1 )/(1) (1 +
1 )+ (c 12 br2 )
2 (2)/(1)
+ b2 (1 1 )/(1) (1 +
1 )r + (c 21 br2 ) dans D0 (R+ ) .
N 1
a= et b = ,
N ( 1) + 2 N ( 1) + 2
la fonction
1/(1)
b|x|2
1
u(t, x) = (1 1 )1/(1) c
ta 2t2b +
est, pour tout c > 0, solution au sens des distributions de lequation des milieux
poreux
t u x (u ) = 0 dans D0 (RN ) .
0.50
0.45
0.40
0.35
0.30
0.25
0.20
0.15
0.10
0.05
0.00
6 4 2 0 2 4 6
pour > 0.
Le terme 21 x2 u ajoute au second membre de lequation de Hopf est analogue
aux termes de viscosite que lon ajoute aux equations dEuler de la mecanique
des fluides parfaits pour aboutir aux equations de Navier-Stokes des fluides
visqueux. La viscosite doit, en principe empecher lapparition dondes de choc
sous la forme de discontinuites plus exactement, les ondes de choc sont lissees
par leffet
des termes visqueux en profils dont lepaisseur caracteristique est de
lordre de .
Une autre facon de voir que lajout du terme x2 u au membre de droite de
lequation de Hopf doit en lisser la solution consiste a ecrire cette equation sous
la forme
t u (t, x) 21 x2 u (t, x) = u (t, x)x u (t, x)
et a esperer que leffet regularisant de lequation de la chaleur au membre de
gauche de cette egalite soit suffisant pour combattre la non linearite au membre
de droite qui est le terme responsable de la perte de regularite en temps fini.
Le prolongement de la solution de lequation de Hopf sera obtenu en mon-
trant
(a) que lequation de Burgers admet une solution globale en temps pour tout
> 0 ; et
(b) que la famille u ainsi obtenue converge lorsque 0 vers une solution au
sens des distributions de lequation de Hopf.
9.5. SOLUTION DE LEQUATION DE HOPF APRES LES CHOCS 303
Il se trouve que les deux points (a) et (b) ci-dessus se simplifient considerable-
ment grace a une transformation permettant de ramener la solution de lequation
de Burgers a celle dune equation de la chaleur, pour laquelle on va utiliser la
formule de representation explicite de la solution donnee au Theoreme 9.2.1.
a lequation de la chaleur
(t, x) = eU (t,x)
de sorte que
est solution de
t 12 x2 = 0
si et seulement si
1 2 1 2
t U + 2 (x U ) 2 x U = 0 .
La fonction U etant de classe C 3 sur R+ R, on trouve en derivant par rapport
a x chaque membre de legalite ci-dessus que la fonction
u = x U de classe C 2 sur R+ R
t u + 21 x u2 12 x2 u = 0
t u + u x u 12 x2 u = 0 .
304 CHAPITRE 9. EQUATION DE LA CHALEUR
t u + u x u 12 x2 u = 0 , x R , t > 0 ,
u t=0 = uin
t 21 x2 = 0 , x R , t > 0 ,
in
t=0 = eU /
x (t, x)
u (t, x) = x ( ln ) = .
(t, x)
Il suffira donc de faire voir que > 0 pour que les calculs de letape (c) soient
bien legitimes.
Le point (a) ne pose pas de probleme : U in est bien definie puisque uin est
a decroissance rapide a linfini ; de plus U in est de classe C sur R comme
primitive de uin C (R).
Pour ce qui est du point (b), on utilise la formule explicite donnant la solution
du probleme de Cauchy pour lequation de la chaleur donnee dans la Proposition
9.2.2 : quitte a changer t en t pour se ramener a lequation de la chaleur
normalisee comme dans les sections precedentes, on a
1 in
(t, ) = e 2 tx eU / , t 0,
9.5. SOLUTION DE LEQUATION DE HOPF APRES LES CHOCS 305
Ainsi, on a
U in (y) 0 quand |y|
de sorte que, pour tout > 0 fixe
in
eU (y)/
1 pour |y| .
t 21 x2 = 0 , x R , t > 0 ,
in
t=0 = eU / 1 ,
en notant que
in
eU /
1 L2 (R) puisque U in est a decroissance rapide
et que
(t, x) = (t/, x) + 1 .
On en deduit la formule ci-dessus pour , en tenant compte de ce que
Z
(xy)2
1 2t
2t
e dy = 1 , x R , t > 0 .
R
t
pour tout x K et tout y R. Comme le membre de droite de cette inegalite
est integrable sur R, on peut deriver sous le signe somme cf. Note 3 du
chapitre 1 et on trouve que
Z 2 U in (y)
1 xy (xy)
x (t, x) = 2t t e
2t dy , x R , t > 0 .
R
306 CHAPITRE 9. EQUATION DE LA CHALEUR
t u + u x u 21 x2 u = 0 , x R , t > 0 ,
u t=0 = uin .
Alors, pour tout > 0, il existe une unique solution u de classe C sur R+ R
et telle que
Z x
(t, x) 7 u (t, z)dz soit continue et bornee sur R+ RN
R
u (t, x) = Z (xy)2 U in (y)
, x R, t > 0,
e 2t dy
R
En effet
(x y)2
xy
uin (y) = y in
+ U (y)
t 2t
de sorte que
Z
xy (xy)2 U in (y)
uin (y) e 2t dy
R t
(x y)2
Z
(xy)2 U in (y)
= y + U in (y) e 2t dy
R 2t
y=+
(xy)2 U in (y)
2t
= e =0
y=
(x y)2
+ U in (y) + pour |y|
2t
pour tout x R et t > 0.
Le principe du maximum est une consequence triviale de la deuxieme formule
explicite.
Que u soit de classe C sur R+ R est immediat. En effet, la fonction
solution du probleme de Cauchy
t 21 x2 = 0 , x R, t > 0,
1 x in
Z
(0, x) = exp u (z)dz 1 ,
> 1 sur R+ R
Donc
inf F (t, x, y) est atteint,
yR
et
Jt,x = {z R | F (t, x, z) = inf F (t, x, y)} est compact,
yR
Comme le second terme dans le membre de droite est positif ou nul puisque
puisque F est continue et tend vers linfini pour |y| uniformement en (t, x)
sur tout compact de R+ R voir une demonstration dans lappendice de
cette section.
On montrerait de meme que x 7 y+ (t, x) est continue a droite, en considerant
cette fois une suite xn x.
Les fonctions x 7 y (t, x), etant croissantes sur R, ny admettent que des
discontinuites de premiere espece, et les points de discontinuites forment un
ensemble au plus denombrable. Comme y+ (t, ) est continue a droite et y (t, )
continue a gauche, on a
de sorte que
Donc, si x St , on a
Autrement dit, St est inclus dans lensemble des points de discontinuite des
fonctions monotones x 7 y (t, x), de sorte quil est au plus denombrable.
Dapres ce qui precede, pour tout t > 0 et tout x
/ St , alors
x y (t, x)
u (t, x) lorsque 0+ .
t
Demonstration. On a en effet, pour tout > 0,
Z y+ (t,x)+ Z +
x y 1 F (t,x,y) x y 1 F (t,x,y)
Z
e dy = + e dy
R t y+ (t,x)+ t
x y+ (t, x) y+ (t,x)+ 1 F (t,x,y)
Z +
x y 1 F (t,x,y)
Z
e dy + e dy
t y+ (t,x)+ t
de sorte que
+
x y 1 F (t,x,y)
Z
e dy
y+ (t,x)+ t
Z
1
0 pour 0+ ,
F (t,x,y)
e dy
R
et que
Z y+ (t,x)+ 1
e F (t,x,y) dy
Z
1
1 pour 0+ .
F (t,x,y)
e dy
R
Par consequent
x y+ (t, x)
lim u (t, x) ,
0+ t
de sorte quen faisant 0+ , on trouve que
x y+ (t, x)
lim u (t, x) ,
0+ t
x y (t, x)
lim u (t, x) ,
0+ t
de sorte que
x y+ (t, x) x y (t, x)
lim u (t, x) lim+ u (t, x) ,
t 0+ 0 t
312 CHAPITRE 9. EQUATION DE LA CHALEUR
et la fonction
(x y)2
y 7 + U in (y)
2t
est decroissante sur ] , y(t, x)[, croissante sur ]y(t, x), [ et atteint son mi-
nimum en lunique point y = y(t, x). Autrement dit
et
x y(t, x)
u(t, x) = = uin (y(t, x)) , x R , 0 t < T (uin ) .
t
Comme la definition de y(t, x) ci-dessus montre quil sagit du pied de la courbe
caracteristique passant par x a linstant t, cette derniere formule concide avec
celle obtenue au chapitre 1 par la methode des caracteristiques. Donc, la res-
triction de u a [0, T (uin )[R est la solution locale en temps de classe C 1 de
lequation de Hopf obtenue par la methode des caracteristiques.
La formule explicite pour la solution globale u de lequation de Hopf dans
lenonce du theoreme ci-dessus a ete obtenue independamment par P. Lax et O.
Oleinik.
En voici une consequence remarquable :
ou
{x y+ (t, )} = x y(t, )R\St .
atteint son minimum sur R en un point unique lidee etant que, pour t > 0
assez petit, cette fonction est proche de la fonction
(x y)2
y 7
2t
qui atteint son minimum en lunique point y = x. Lorsque t > 0 augmente, le
terme
Z y
(x y)2
uin (z)dz nest plus une petite perturbation de
2t
9.5. SOLUTION DE LEQUATION DE HOPF APRES LES CHOCS 315
peut etre atteint en plusieurs points. Les points extremes de minimum de cette
fonction, a savoir y (t, x) et y+ (t, x), determinent lamplitude du saut de u(t, )
a travers le point de choc x a linstant t.
Linegalite de Lax-Oleinik nous permet daffirmer en outre que le graphe de
la fonction x 7 u(t, x) a tendance a saplatir sur laxe reel lorsque t + :
en particulier, la force des ondes de choc diminue lorsque le temps augmente.
9.5.3 Appendice
La demonstration du Lemme 9.5.2 est basee sur largument suivant.
K 3 y 7 (x, y)
Soit (xn )n1 une suite de E arbitraire convergeant vers x ; soit dautre part une
suite (yn )n1 convergeant vers y dans K.
Par continuite de sur E K, on a
Choisissons maintenant une sous-suite (xnk )k1 de la suite (xn )n1 telle que
et comme dautre part la premiere suite extraite (xnk )k1 avait ete choisie de
facon a ce que
(xnk ) lim (xn ) lorsque k ,
n
il sensuit que
lim (xn ) = (x) .
n
Alors la fonction
: R 3 x 7 inf (x, y)
yR
est continue.
(x, y) M + 1 > (x) pour tout x [L, L] et tout y tel que |y| > R .
9.6. EXERCICES 317
9.6 Exercices
Exercice 1.
t u 12 x u = 0 sur R+ RN .
Exercice 2.
Existe-t-il une solution elementaire temperee dans le passe de loperateur de la
chaleur t 21 x , cest-a-dire E S 0 (Rt RN
x ) telle que
(t 12 x )E = (t,x)=(0,0) ,
supp(E) R RN ?
Exercice 3.
Notons E la solution elementaire temperee a support dans R+ RN de loperateur
de la chaleur t 21 x dans Rt RN x . Posons
1
B(t, x; r) = (s, y) R RN | s t et E(t s, x y) N .
r
|x y|2
ZZ
1
u(t, x) = N u(s, y) dyds .
r B(t,x;r) 2(t s)
Exercice 4.
a) Soit u C 2 (R+ R+ ) verifiant
t u 12 x2 u = 0 sur R+ R+ ,
sur R+ .
u t=0
=0
Posons
u(t, x) si x > 0 ,
U (t, x) =
u(t, x) si x < 0 .
Calculer
(t 12 x2 )U au sens des distributions sur R+ R.
t u 21 x2 u = 0 sur R+ R+ ,
ux=0 = g pour t > 0 ,
ut=0 = f pour x > 0 ,
Exercice 5.
Notons I la fonction definie sur R par I(x) = 1[0,1] (x), et, pour tout a > 0,
posons Ia (x) = a1 I( xa ). Soit (an )n1 suite de nombres strictement positifs tels
que X
an < .
n0
2k
|f (k) (t)| , t R.
a1 a2 . . . ak
c) Comment choisir une suite (an )n1 verifiant les proprietes du a) et telle que
la serie
X x2k
u(t, x) = f (k) (t)
(2k)!
k0
d) Calculer
ainsi que
u(0, x) pour tout x R .
Comparer le resultat obtenu aux enonces dunicite de la solution du probleme de
Cauchy pour lequation de la chaleur etablis plus haut comme, par exemple,
le Lemme 7.2.4.
320 CHAPITRE 9. EQUATION DE LA CHALEUR
Chapitre 10
Equation de Schrodinger
mx + V (x) = 0 .
Ce systeme dequations du second ordre se met aussi sous la forme dun systeme
dequations differentielles ordinaires dordre 1 et de dimension double :
mx = ,
= V (x) ,
1 |(t)|2
E= 2 + V (x(t)) = Const.
m
La formulation hamiltonienne de la mecanique classique consiste a partir de
lenergie ci-dessus comme fonction des variables de position x RN et dimpul-
sion RN :
||2
H(x, ) = 21 + V (x) .
m
321
322 CHAPITRE 10. EQUATION DE SCHRODINGER
ce qui signifie que |(t, x)|2 est une densite de probabilite par rapport a la
mesure de Lebesgue dx cf. [13], Definition 4.2.7.
La signification de cette densite de probabilite est la suivante : |(t, x)|2 dx
represente la probabilite (infinitesimale) de trouver le point materiel dans un
volume infinitesimal dx centre au point x RN a linstant t. Ainsi, pour tout
A RN mesurable, la probabilite de trouver le point materiel dans A a linstant
t vaut-elle Z
|(t, x)|2 dx .
A
Mais on peut calculer egalement bien dautres quantites physiques au moyen
de cette densite de probabilite. Par exemple,
Z
V (x)|(t, x)|2 dx
RN
Cette discussion nexplique pas comment calculer toutes les quantites phy-
siques naturelles pour le point materiel considere. Par exemple, il resterait
a expliquer comment on calcule, en mecanique quantique, la valeur observee
de quantites physiques faisant intervenir limpulsion comme par exemple
lenergie cinetique.
Dailleurs, on comprend bien quen passant de la fonction donde (t, x)
a valeurs complexes au carre de son module |(t, x)|2 , on a perdu beaucoup
dinformation toute celle contenue dans largument du nombre complexe
(t, x).
Voici donc comment comment calculer la valeur observee a linstant t pour
une quantite physique valant g() lorsque limpulsion du point materiel vaut .
En appliquant le theoreme de Plancherel (Theoreme 5.4.12) a la fonction
x 7 (t, x) qui appartient a L2 (RN ), on voit que
Z Z
d
|(t, x)|2 dx = |(t, ~1 )|2 (2~) N ,
RN RN
mesure de Lebesgue d, cette fois non pas dans lespace physique cest-a-dire
dans lensemble de toutes les positions possibles du point materiel mais dans
lespace de Fourier qui est lensemble de toutes les impulsions possibles du point
h
materiel considere. (La constante ~ intervenant ici est 2 , ou h est la constante
de Planck.)
Ceci suggere la meme construction que pour les quantites physiques fonctions
de la seule variable x : la valeur observee dune quantite physique dont la valeur
vaut g() lorsque limpulsion du systeme vaut est
Z
d
g()|(t, ~1 )|2 (2~)N .
RN
j (t, ~1 ) = ~ \
( ~1 )
i xj (t, x)
de sorte que
||2
Z Z
\ 2
d d
1
2 |(t, ~1 )|2 (2~)N =
1
2m ~x (t, ~1 ) (2~)N
RN m 3
ZR
1 2
= 2m |~x | (t, x)dx
R3
cest-a-dire
~2
i~t (t, x) + 2m x (t, x) = V (x)(t, x) , (t, x) R RN .
Cette equation joue, pour la mecanique quantique, le role du systeme des equations
de Hamilton
H
j = (x, ) , j = 1, . . . , N ,
xj
H
xj = + (x, ) ,
j
en mecanique classique.
Nous reviendrons sur lanalogie entre ces deux theories a la fin de ce chapitre.
it + 21 x = 0 , t > 0 , x RN ,
t=0 = in
326 CHAPITRE 10. EQUATION DE SCHRODINGER
= EN ? (t=0 in ) .
supp() R+ RN .
Par hypothese, t=0 in est a support compact, de sorte que (cf. Theoreme
4.4.6)
= (t,x)=(0,0) ? (t=0 in )
= t=0 in dans D0 (R RN ) .
10.2. PROBLEME DE CAUCHY ET EQUATION DE SCHRODINGER 327
(R+ RN ) + ({0} RN )
R+ RN .
= EN ? t=0 in
supp() R+ RN .
supp() R+ RN .
1 2
Multipliant chaque membre de legalite ci-dessus par e 2 it|| qui est une fonction
bornee dont les derivees successives sont toutes a croissance polynomiale, on
trouve que
1 2 1 2
t e 2 it|| = e 2 it|| (t + 21 i||2 ) = 0 dans S 0 (Rt RN
)
Mais comme par hypothese est a support dans le domaine des temps positifs
ou nuls,
supp() R+ RN ,
de sorte que
1 2
supp e 2 it|| R+ RN .
328 CHAPITRE 10. EQUATION DE SCHRODINGER
= 0 dans S 0 (Rt RN
).
= 1 2 = 0 dans S 0 (Rt RN
x ).
(1 + ||)s in L2 (RN
).
Alors
1 2
\
EN ? ( in
t=0 ) = 1R
+
(t)e 2 it|| in
dapres le Theoreme 5.4.11, de sorte que, pour tout t > 0, la fonction x 7 (t, x)
appartient a H s (RN ) avec
Enfin, pour s, t 0, on a
1 2 1 2
k(t, ) (s, )kH s (RN ) = k(1 + ||)s (e 2 it|| e 2 is|| ) in kL2 (RN )
1 2
= k(1 + ||)s (e 2 i(ts)|| 1) in kL2 (RN ) 0
tandis que
1 2
|(1 + ||)s (e 2 i(ts)|| 1) in |2 4(1 + ||)2s | in |2 L1 (RN
).
it + 12 x = 0 dans D0 (Rt RN
x ).
it + 21 x = 0 dans D0 (Rt RN
x )
t=0 = in ,
ou encore que
1 2
t e 2 it|| = 0 dans S 0 (Rt RN
)
La relation
b) pour tout t R, lapplication lineaire U (t) est unitaire dans H s (RN ), cest-
a-dire que
U (t) = U (t)1 = U (t) ;
c) pour tout in H s (RN ), lapplication
R 3 t 7 U (t) in H s (RN )
1 |x|2
Gc (x) = N
e 2c , x RN ,
2c
en notant la determination principale de la racine carree sur C \ R .
On sait, dapres le Theoreme 10.2.1 et la construction de la solution elementaire
de loperateur de Schrodinger dans le Theoreme 7.2.5, que
x 7 |U (t)(x)|
U (t)Gc = Gc+it .
334 CHAPITRE 10. EQUATION DE SCHRODINGER
|x|2
1 a
|Ga+ib (x)| = exp 2
(2 a2 + b2 )N/2 a + b2 2
Autrement dit
N 1 N 1 1
kGa+ib kLp (RN ) = (2) 2 p 1 (a2 +b 2
)2 p2 (ap)N/2p
tandis que
p N/2
kGa+ib kL (RN ) = 2 a2 + b2 .
y 7 (x + 12 y)(x 12 y)
336 CHAPITRE 10. EQUATION DE SCHRODINGER
Ainsi, W [] est, pour tout > 0, une fonction continue bornee sur RN RN
comme limite uniforme de fonctions continues bornees.
Voici quelques exemples de calculs de transformees de Wigner pour des
classes de fonctions remarquables.
10.4. TRANSFORMATION DE WIGNER 337
W [ ](x, ) = W [a](x, 1 k)
De plus lorsque 0, on a
lorsque 0.
lorsque 0 avec = 1.
|x + 12 y x0 |2 + |x 12 y x0 |2 = 2|x x0 |2 + 21 2 |y|2
montre que
Z
|xx0 |2 2
W [x0 ,0 , ](x, ) = e ()N/2 e|y| /4 i(0 )y
e dy
(2)N
,
RN
it 12 x = 0 .
Dautre part
(t, x + 21 y)x (t, x 12 y) = divx (t, x + 12 y)x (t, x 12 y)
de sorte que
1
2 (t, x + 12 y)x (t, x 21 y) 12 (t, x 21 y)x (t, x + 12 y)
= 12 divx (t, x + 12 y)x (t, x 21 y) (t, x 21 y)x (t, x + 12 y) .
Or
2
x (t, x 21 y) = y (t, x 12 y)
2
x (t, x + 2 y) = + y (t, x + 21 y)
1
de sorte que
1
2 (t, x + 12 y)x (t, x 21 y) 12 (t, x 12 y)x (t, x + 12 y)
= divx y (t, x + 12 y)(t, x 21 y) .
On a donc
it (t, x + 12 y)(t, x 12 y) = divx y (t, x + 21 y)(t, x 21 y) .
cest-a-dire que
= W [ in ] .
W [(t, )]
t=0
L
~m L, cest-a-dire 1 .
T
Considerons alors le cas particulier ou la fonction donde initiale est une
onde plane (cf. Exemple 10.4.3)
in (x) = a(x)eikx/
avec k 6= 0, et
Z
N 1
a Cc (R ) reelle telle que a(x)2 dx = .
RN LN
W [ (t, )] f (t, ) =k
t f (t, x) + k x f (t, x) = 0 , x RN , t R ,
f (0, x) = a(x)2 .
W [ (t, )] est solution de lequation de transport pour tout > 0. Ceci condui-
rait a une absurdite sur le plan physique : on sait que la mecanique classique
cesse de sappliquer a des objets dont laction est de lordre de ~ cest-a-dire,
dans le cas present, lorsque est de lordre de 1. Cette obstruction dorigine
physique se traduit au niveau mathematique de deux facons differentes.
(a) Seul le cas dune particule libre a ete considere ici. Dans le cas plus general
dune particule soumise a laction dun potentiel V , lequation de Schrodinger a
considerer est
~2
i~t + x = V (x) .
2m
Cette equation est adimensionnee comme ci-dessus avec la definition supplemen-
taire
T
V (x) = V (x)
~
et on montre, sous des hypotheses de regularite assez peu contraignantes sur le
potentiel V , que, dans la limite 0+ , la transformee de Wigner
W [ (t, )] f
x = ,
= x V (x) ,
it + 12 2 x = V (x) ,
t=0 = in ,
qui appartient a C(R; L2 (RN )) sous des hypotheses tres faibles portant sur le
potentiel V , la famille des transformees de Wigner W [ ] converge, a extraction
dune sous-suite pres, au sens des distributions temperees vers une distribution
positive (cest-a-dire une mesure de Radon) lorsque 0+ . Cette observation,
due a P.-L. Lions et T. Paul et, sous une forme tres semblable, a P. Gerard
remonte au debut des annees 1990, et justifie la pertinence de la transforma-
tion de Wigner pour letude de la transition de la mecanique quantique a la
mecanique classique. Peu de temps avant, L. Tartar avait egalement introduit
un objet voisin, connu sous le nom de H-mesure, et permettant, tout comme la
transformation de Wigner, detudier les oscillations a haute frequence dans les
equations aux derivees partielles.
Quoi quil en soit, les remarques ci-dessus montrent donc que le passage a
la limite pour 0+ est donc absolument necessaire y compris sur le plan
strictement mathematique pour passer du cadre quantique au cadre classique.
Alors qua priori la mecanique quantique et la mecanique classique decrivent
un meme systeme au moyen dobjets mathematiques tres differents (fonctions
donde dans le cas quantique, trajectoires dans le cas classique), la transforma-
tion de Wigner fournit un objet unique commun aux deux theories et qui permet
de formuler de facon satisfaisante la limite semi-classique de la mecanique quan-
tique.
10.5 Exercices
Exercice 1.
2 2
On pose H0 (x) = 1 et Hn (x) = (1)n ex (ex )(n) .
a) Montrer que, pour tout n 1, la fonction Hn est polynomiale de degre n, de
coefficient directeur 2n , et que
b) Montrer que
Z
2
Hm (x)Hn (x)ex dx = 0 si m < n ,
et que Z
2
Hn (x)2 ex dx = 2n n! .
R x2
(On rappelle que e dx = .)
c) Deduire du b) que, pour tout n 1, lon a
(On pourra ecrire Hn+1 comme combinaison lineaire des polynomes H0 , . . . , Hn , xHn
et appliquer le b).)
d) En utilisant les questions a) et c), montrer que
puis que
Hn00 (x) 2xHn0 (x) + 2nHn (x) = 0 , n 0, x R.
e) Posons, pour tout n N
1 2
un (x) = ex /2
Hn (x) , x R.
1/4 2n n!
Montrer que (un )n0 est une base hilbertienne de L2 (R). (On pourra par
exemple utiliser la regularisation analytique par le semi-groupe de la chaleur
Theoreme 9.3.3 pour montrer que, si f L2 (R) verifie
Z
2
f (x)ex /2 xn dx = 0 pour tout n 0
it = 21 x2 + 12 x2 , (t, x) R2 ,
= in .
t=0
Exercice 2.
On considere, pour tout > 0, lequation de Schrodinger pour loscillateur
harmonique
it = 21 2 x2 + 12 x2 ,
ou > 0 est le parametre semi-classique. On utilisera les resultats sur les po-
lynomes dHermite obtenus dans lexercice precedent.
a) Soit f S(R). Montrer que, pour tout entier k 1, on a
Z
1
f (x)un (x)dx = O lorsque n ,
nk
ou les fonctions un sont celles definies a la question e) de lExercice 1.
b) Soit in S(R) et soit, pour tout > 0, la solution du probleme de
Cauchy
it = 21 x2 + 12 x2 , (t, x) R2 ,
= in .
t=0
Verifier que la transformee de Wigner de (t, ) a lechelle , notee
Z
w (t, x, ) := eiy (t, x + 21 y)(t, x 12 y) 2
dy
Exercice 3.
Soient ain S(R) et in C (R), toutes deux a valeurs reelles. Pour tout
> 0, on pose
in
in (x) = ain (x)ei (x)/ , x R .
Notons Z
dy
win (x, ) = eiy in (x + 12 y) in (x 12 y)
2
la transformee de Wigner de in a lechelle .
a) Montrer que, lorsque 0+ , la suite win converge dans S 0 (Rx R ) vers
ain (x)2 ( (in )0 (x)).
Supposons que les fonctions (in )0 et (in )00 sont toutes deux bornees sur R,
que ain > 0 sur R, et posons
1
T = avec la convention 1/0 = + .
supxR max(0, (in )00 (x))
346 CHAPITRE 10. EQUATION DE SCHRODINGER
ft : R 3 x 7 x + t(in )0 (x) R
it + 21 x2 = 0 , x R , t > 0 ,
t=0 = in .
t + x (u) = 0 ,
t u + ux u = 0 ,
t2 u(t, x) c2 x u(t, x) = 0 ;
t2 u(t, x) c2 x u(t, x) = 0 ;
soit connue sous le nom dequation des ondes, il ne faudrait pas en deduire quelle
sert a modeliser tous les phenomenes de propagation dondes intervenant dans
la nature ce serait plutot le contraire, dailleurs, dans la mesure ou les effets
non lineaires, absents de ce modele, jouent un role de tout premier plan dans
de nombreux phenomenes de propagation.
Malgre tout, lequation des ondes intervient dans plusieurs contextes phy-
siques differents, comme par exemple
la propagation dondes acoustiques,
la propagation dondes electromagnetiques.
De meme, cest une variante de lequation des ondes faisant intervenir deux
vitesses de propagation (au lieu de la seule vitesse c) qui modelise la propagation
des ondes elastiques, par exemple en sismologie.
Nous nallons evidemment pas decrire en detail ces differents modeles ; nous
nous contenterons devoquer la maniere dont lequation des ondes intervient
dans la propagation des ondes electromagnetiques.
347
348 CHAPITRE 11. EQUATION DES ONDES
divx B = 0 .
rotx E = t B .
0 divx E = ,
rotx B = 0 j .
rotx B = 0 j + 0 0 t E .
Dans toutes ces equations, 0 est la permittivite dielectrique du vide, tandis que
0 est la permeabilite magnetique du vide. Le produit 0 0 = c12 ou 1 c '
3 108 m/s (vitesse de la lumiere dans le vide). Par consequent le terme correctif
0 0 t E est tres petit dans de nombreuses situations. Il est meme identiquement
nul dans le cas ou le champ electromagnetique est independant du temps. Dans
ce cas, les equations verifiees par E et B se decouplent, et on retrouve dune
part les equations de lelectrostatique
0 divx E = , et rotx E = 0 ,
divx B = 0 , et rotx B = 0 j .
11.1. ORIGINES DU MODELE 349
x (divx E) x E = 0 t j 0 0 t2 E ,
0 0 t2 E x E = 0 t j 1
0 x .
350 CHAPITRE 11. EQUATION DES ONDES
x (divx B) x B = 0 rotx j 0 0 t2 B .
0 0 t2 E x E = 0 t j
( 1
0 x ,
0 0 t2 B x B = 0 rotx j ,
sont des equations des ondes pour les (composantes des) champs inconnus E
et B, avec des termes sources calcules a partir des densites de charges et de
courant. Observons que ces equations peuvent etre resolues separement pour
calculer E et B, alors que le systeme des equations originales de Maxwell couple
les deux champs E et B. Comme on la dit, le produit
1
0 0 = , ou c est la vitesse de la lumiere dans le vide.
c2
divx B = 0 ,
B = rotx A .
Dans le cas electrostatique cest-a-dire pour des charges fixes on sait que
E est le gradient du potentiel electrostatique
E = x .
E = x t A .
11.1. ORIGINES DU MODELE 351
2c = 1 + t L ,
0
2c A = 0 j x L ,
de sorte que
0 (t + divx j) = 0 .
La relation
t + divx j = 0
est appelee equation de continuite ou loi de conservation locale de la charge.
Rappelons-en la signification : pour tout ouvert R3 borne a bord de classe
C 1 , la variation par unite de temps de la charge totale contenue dans est egale
au flux entrant du vecteur courant a travers la frontiere de :
Z Z
t (t, x)dx = divx j(t, x)dx
Z
= j(t, x) nx d(x) ,
1
t 0 + divx A0 = L 2c V = 0 .
c2
Cette derniere egalite verifiee par le potentiel electromagnetique (0 , A0 ) porte
le nom de condition de jauge de Lorentz.
Il faut remarquer que le potentiel electromagnetique original (, A) et le po-
tentiel electromagnetique corrige (0 , A0 ) donnent lieu au meme champ electro-
magnetique (E, B). La transformation (, A) 7 (0 , A0 ) est un exemple de
ce que lon appelle transformation de jauge en physique. Bien quun peu
plus compliquee, cette situation est analogue au fait quen electrostatique, ou
le champ electrique E = x , le potentiel electrostatique nest defini qua
une constante pres.
On voit ainsi que le systeme des equations de Maxwell, qui regit la propaga-
tion des ondes electromagnetiques dans le vide, se ramene, de plusieurs manieres
differentes, a des systemes dequations des ondes decouplees.
2t,x = t2 x
loperateur dAlembertien.
2t,x u = t2 u x u = f
ou in
u
w in
= S 0 (RN )2 et g E 0 (R+ RN )2
v in
est donc un vecteur a composantes distributions temperees W S 0 (R RN )2
tel que
(
t W + A(Dx )W = g + t=0 win dans D0 (R RN ) ,
supp(W ) R+ RN ,
ou on rappelle que g est le prolongement de g par 0 pour t < 0, defini par
hg, iE 0 (RRN ),C (RRN ) = hg, R RN iE 0 (R+ RN ),C (R+ RN )
+
Definition 11.2.1 (Probleme de Cauchy dans S 0 pour les ondes) Une so-
lution au sens des distributions temperees du probleme de Cauchy pour lequation
des ondes
2t,x u = f ,
(
x RN , t > 0 ,
u = uI ,
t=0
t u = uII ,
t=0
0 0
N
ou uI , uII S (R ) et ou f E (R+
RN ) est une distribution temperee
0 N
U S (R R ) verifiant les conditions
(
2t,x U = t=0
0
uI + t=0 uII + f dans D0 (R RN )
supp(U ) R+ RN ,
supp(E) R+ RN .
sin(t||)
E(t, ) = 1R+ (t) , (t, ) R RN ,
||
sin(t||)
cos(t||) = C(t2 ||2 ) et = S(t2 ||2 )
t||
en posant
X (1)n X (1)n
C(z) = zn et S(z) = zn .
(2n)! (2n + 1)!
n0 n0
Verifions enfin que cest la seule solution elementaire temperee dans le futur.
Sil en existait une autre, disons F , la difference G = E F verifierait
2t,x G = 0 dans D0 (R RN ) ,
(
supp(G) R+ RN .
Lemme 11.2.3 (Unicite dans le futur pour lequation des ondes) Soit G
S 0 (R RN ) telle que
2t,x G = 0 dans D0 (R RN ) ,
(
supp(G) R+ RN .
Alors G = 0.
(t + i||)(t i||)G = 0
Utilisant a nouveau le fait que G est a support pour t > 0, on en tire que cette
constante est nulle, cest-a-dire que G = 0.
Comme la transformation de Fourier partielle en x est un isomorphisme
sur lespace vectoriel des distributions temperees (voir Theoreme 5.5.2), on en
conclut que G = 0.
2t,x u = f ,
(
x RN , t > 0 ,
u = uI ,
t=0
t u = uII .
t=0
supp(U ) R+ RN .
2t,x u = f ,
(
x RN , t > 0 ,
u = uI ,
t=0
t u = uII ,
t=0
admet une unique solution au sens des distributions temperees. Cette solution
U est definie par la formule
Demonstration.
Verifions tout dabord que la formule
De meme
2t,x E ? (t=0 uI + f) = (2t,x E) ? (t=0 uI + f)
= (t,x)=(0,0) ? (t=0 uI + f) = t=0 uI + f
360 CHAPITRE 11. EQUATION DES ONDES
de sorte quen additionnant membre a membre ces deux egalites, on trouve que
2t,x U = t=0
0
uI + t=0 uI + f dans D0 (RN ) .
et de meme
supp E ? (t=0 uII + f) supp(E) + supp(t=0 uII + f)
(R+ RN ) + (R+ RN ) R+ RN ,
On trouve que
de sorte que
t E ?t (t=0 uI )R RN se prolonge par continuite en t = 0
+
sin(t||)
la fonction (t, ) 7 (1 + ||)s uII () appartient a C(R+ ; L2 (RN )) .
||
Il est pourtant utile de connatre son expression dans les variables physiques.
Toutefois, cette question est loin detre simple, car dans le cas de lequation des
ondes, lexpression de la solution elementaire temperee dans le futur ainsi
que certaines proprietes qualitatives de lequation des ondes qui en decoulent
depend fortement de la dimension de lespace, comme on va le voir.
On en deduit que
0
( 1
+ ) = + dans D0 (R) ,
identite qui permet de definir
+ , dabord pour tout C tel que <() > 2,
le membre de gauche definissant le membre de droite, puis, en iterant ce procede,
pour tout C, en posant :
+k (k)
+ = + dans D(R) pour tout k N .
Ainsi, etant donne C, pour k N assez grand, <( + k) > 1, de sorte
que le membre de droite de legalite ci-dessus est bien defini comme derivee
k-ieme au sens des distributions dune fonction localement integrable sur R. On
rappelle en particulier les formules
(k1)
(k1) k+1/2 1/2
k
+ = 0 , + = 1
2
z+ , k N .
11.3. SOLUTION ELEMENTAIRE DANS LE FUTUR 363
= 1
(N 1)|SN |( N 21 )(t,x)=(0,0) .
On peut simplifier un peu cette formule en rappelant que
2 (N +1)/2 4 (N +1)/2
|SN | = = ,
N +1
( 2 ) (N 1)( N 21 )
(cf. Appendice du chapitre 3) si bien que
(1N )/2
2t,x + (t2 |x|2 ) = 4 (N 1)/2 (t,x)=(0,0) .
Posons
(1N )/2 2
EN = 1
4 (N 1)/2 +
(t |x|2 ) ;
(1N )/2 1N
comme + est une distribution homogene de degre 2 a support dans
R+ , il sensuit que
EN est une distribution homogene de degre 1 N dans Rt RN
x ,
+
Definissons alors EN D0 (Rt RN
x ) comme lunique distribution homogene
de degre 1 N telle que :
+ +
) R+ RN et EN
supp(EN R RN
= 2EN R RN ,
+ +
ainsi que EN D0 (Rt RNx ) comme lunique distribution homogene de degre
1 N telle que :
) R RN et EN
supp(EN R RN
= 2EN R RN .
En effet, 2EN R RN est a support dans le cone positif
+
{(t, x) R+ RN | |x| t} ;
donc son prolongement par 0 en dehors de ce cone positif definit une distribution
homogene de degre 1N dans RRN \{(0, 0)}, grace au principe de recollement
(Proposition 3.4.17.)
Dapres la Proposition 3.6.12, cette distribution admet un unique prolon-
gement qui soit une distribution homogene de degre 1 N sur R RN . Ce
+
prolongement est precisement la distribution EN . On definit la distribution EN
par le meme argument.
Evidemment
+
EN = 21 (EN + EN );
dautre part, en notant s la symetrie s : (t, x) 7 (t, x), on a
+
EN = EN s.
Alors
2t,x EN = 2t,x (EN
+ +
s) = (2t,x EN )s
et comme
2t,x EN = 1
2t,x EN
+
+ 2t,x EN
2 = (t,x)=(0,0)
on en deduit que supp(2t,x EN ) = {(0, 0)}.
La distribution 2t,x EN est donc une combinaison lineaire finie de (t,x)=(0,0)
et de ses derivees partielles (cf. Theoreme 4.1.7.) Comme de plus EN est une
distribution homogene de degre 1 N , la distribution 2t,x EN est homogene de
degre N 1 sur R RN . Elle est donc de la forme
2t,x EN = c (t,x)=(0,0)
2t,x EN = (2t,x EN ) s
+
ou c est une constante reelle. On deduit de la relation
que c+ = c . Enfin, legalite 2 2t,x EN + 2t,x EN = (t,x)=(0,0) permet de
1 +
conclure que
2t,x EN
+
= 2t,x EN = (t,x)=(0,0) dans D0 (R RN ) .
11.3. SOLUTION ELEMENTAIRE DANS LE FUTUR 365
+
1R+ (t) ((N 3)/2)
EN = Q pour N > 1 impair,
2 (N 1)/2 0
1R+ (t)
N 2 1
+
EN = 2 z 2 Q pour N > 1 pair.
z +
2 N/2
Dans les formules ci-dessus, le facteur 1R+ (t) est un abus de notation signifiant
que le membre de gauche est lunique distribution homogene sur R RN nulle
sur
{(t, x) R RN | t < |x|} ,
cest-a-dire a support dans le cone donde
C = {(t, x) R RN | |x| t} ,
et dont la restriction a R+ RN cest-a-dire pour t > 0 concide avec le
membre de droite.
+
Demonstration. Que EN soit une solution elementaire du dAlembertien decoule
des calculs presentes avant lenonce de la proposition.
+ +
La condition supp(EN ) C est evidente par la construction meme de EN .
+ 0 N
La seule chose restant a verifier est donc que EN S (R R ).
Soit C (R) telle que
0 1 , [2,+[ = 1 et ],1] = 0 .
+
Par construction, la distribution EN est a support dans le cone C, de sorte
+
que la distribution (1 (t))EN verifie
+
supp((1 (t))EN ) [0, 2] B(0, 2) qui est compact.
+
En particulier, la distribution (1 (t))EN est temperee.
Dautre part, pour toute fonction test Cc (R RN ), on calcule, grace
au changement de variables
R+ RN 3 (t, x) 7 (s, x) = (t2 |x|2 , x)
+
laction de la distribution (t)EN pour N > 1 impair :
+
h(t)EN , i =
p p
Z s + |x|2 s + |x|2 , x
(1)(N 3)/2
2 (N 1)/2
s(N 3)/2 p dx .
RN s + |x|2
s=0
366 CHAPITRE 11. EQUATION DES ONDES
p p
La presence du facteur s + |x|2 entrane que s + |x|2 > 1, ce qui fournit
une estimation de la forme
+
|h(t)EN , i| CN sup |(1 + t + |x|)N +1 tm (t, x)|
t>1
0m(N 3)/2
+
garantissant le caractere tempere de la distribution (t)EN pour N > 1 impair.
La somme
+ + +
EN = (1 (t))EN + (t)EN est donc temperee sur R RN .
(t x )(t + x )u = 0 ,
puis que
Z t Z x+t
1
u(t, x) = v(x + s (t s))ds = 2 v(z)dz , x R, t > 0,
0 xt
11.3. SOLUTION ELEMENTAIRE DANS LE FUTUR 367
Q(t, x) = t2 |x|2 .
Q(t, x) = t2 |x|2 .
((|x|)) = 00 (|x|) + N 1 0
|x| (|x|) , x RN \ {0} .
11.3. SOLUTION ELEMENTAIRE DANS LE FUTUR 369
On a donc
Z
d2
Z
2 d
(r)f (r)r2 dr = f(r) 2
+ (r)r2 dr
0 0 dr r dr
Z
1 d d
= f(r) 2 r2 (r)r2 dr
0 r dr dr
Z
1 d d
= (r) 2 r2 f (r)r2 dr
0 r dr dr
Posons alors
v(t, r) = ru(t, |r|) , r R , t R+ .
Dapres la formule de Leibnitz, pour tout t, r > 0 on a
.
Par ailleurs, en derivant deux fois sous le signe somme (la fonction u etant
de classe C sur R R3 ) on trouve que
Z Z
u 1
(t, r) = 4 x u(t, r) d() x u(t, 0) d()
4 = 0
r S2 S2
370 CHAPITRE 11. EQUATION DES ONDES
lorsque r 0+ , et de meme
3 Z
2 u 1
X
(t, r) = 4 xk xl u(t, r)k l d()
r2 S2
k,l=1
3
X Z
xk xl u(t, 0) k l d() 1
4 = 3 u(t, 0) ,
k,l=1 S2
pour r 0+ .
On deduit alors du comportement asymptotique ci-dessus lorsque r 0+ et
des formules
v u
(t, r) = |r| (t, |r|) + u(t, |r|) ,
r r
2v 2 u u
2
(t, r) = r 2 (t, |r|) + 2sign(r) (t, |r|) ,
r r r
valables pour tout t > 0 et r 6= 0, que la fonction r 7 v(t, r) est de classe C 2
sur R pour tout t > 0.
Par consequent
( 2
t v r2 v = 0 , r R , t > 0 ,
v = 0 , t v
t=0
= ruII (|r|) .
t=0
de sorte que
Comme lequation des ondes est invariante par les translations en la variable
x R3 , on deduit de lunicite de la solution du probleme de Cauchy (etablie au
Theoreme 11.2.4) que
Z
t
u(t, x) = uII (x + t)d() .
4 S2
ce qui montre que E3+ est bien une distribution temperee sur R R3 .
Lunicite de la solution elementaire temperee dans le futur de loperateur
dAlembertien decoule du Lemme 11.2.3.
2t,x u = 0 , x R2 , t > 0 ,
(
u t=0
= 0 , t u = uII
t=0
ou uII Cc (R2 )
et C (R) est telle que
[1,1]
= 1, supp() [2, 2] , et 0 1 .
1
d() = p d1 d2 .
1 | 0 |2
Donc
d 0
Z
t
u(t, x0 ) = 2 uII (x0 t 0 ) p
4 | 0 |<1 1 | 0 |2
Z 0
1 dy
= uII (x0 y 0 ) p , x0 R2 , t > 0 ,
2 |y0 |t t |y 0 |2
2
puisque
d 0
Z
p = |S2 | = 2 ,
| 0 |<1 1 | 0 |2
de sorte que la distribution E2+ est bien une distribution temperee sur R R2 .
374 CHAPITRE 11. EQUATION DES ONDES
2t,x u = 0 , x RN , t > 0 ,
(
u = uI , t u
t=0
= uII . t=0
est constante :
1
Eu (t) = 2 kx uI kL2 (RN ) + kuII kL2 (RN ) , pour tout t 0 .
sin(t||)
u(t, ) = cos(t||)uI () + uII () ,
||
on en deduit que
2 N
t u et
d x u C(R+ , L (R )) .
11.4. PROPRIETES QUALITATIVES DE LEQUATION DES ONDES 375
t u et x u C(R+ , L2 (RN
x )) .
et comme la matrice
cos(t||) sin(t||)
sin(t||) cos(t||)
est celle dune rotation de R2 , elle preserve la norme hermitienne canonique de
C2 , de sorte que
|t u(t, )|2 + |
d 2 2 2
x u(t, )| = || |uI ()| + |uII ()|
2
2t,x u = 0 , x RN , t > 0 ,
(
u = uI , t u
t=0
= uII .
t=0
Alors
supp(u) {(t, x) R RN | t 0 et |x| R + t} .
376 CHAPITRE 11. EQUATION DES ONDES
Figure 11.1 Si les donnees de Cauchy sont a support dans le petit disque
hachure, la solution de lequation des ondes a linstant t0 est a support dans le
grand disque hachure.
on a
+ +
supp t EN ? (t=0 uI ) supp t EN + ({0} supp(uI ))
C + ({0} B(0, R)) ,
+ +
supp EN ? (t=0 uII ) supp EN + ({0} supp(uII ))
C + ({0} B(0, R)) .
On conclut en observant que
2t,x u = f , x RN , t > 0 ,
(
ut=0
= uI , t u = uII .
t=0
11.4. PROPRIETES QUALITATIVES DE LEQUATION DES ONDES 377
Considerons dans R+
t R
N
le (tronc de) cone de sommet (t, x)
Alors si uI et uII sont nulles sur un voisinage de B(x, t) et si f est nulle sur
un voisinage de Ct,x , la solution u est nulle au voisinage du point (t, x).
Posons
+
pour tout (s, y) R RN .
(s, y) = EN ? (s, y) ,
De plus
2s,y = dans D0 (Rs RN
y ).
Calculons alors
2t,x u = 0 , x RN , t > 0 ,
(
u = uI , t u
t=0
= uII .
t=0
Soit
C 0 = {(t, x) R+ RN | t > R + |x|} .
Alors
uC 0 = 0 .
+
Demonstration. Les formules explicites de la Proposition 11.3.1 donnant EN
montrent que
+
supp(EN ) C = {(t, x) R RN | |x| = t} ,
11.4. PROPRIETES QUALITATIVES DE LEQUATION DES ONDES 379
E2+ (t, x) > 0 pour tout (t, x) R+ R2 tel que |x| < t .
380 CHAPITRE 11. EQUATION DES ONDES
x 7 eix ,
pour 6= 0, ou 2/|| est la longueur donde et le vecteur unitaire || la direction
de propagation.
La transformation de Radon fournit une autre maniere de decomposer une
fonction en ondes planes, mais qui ne sont en general pas des ondes planes
harmoniques.
Dans ce qui suit, on supposera toujours que N 2.
Rf (l, ) = Rf (l, ) ;
Comme f S(R),
Z
sup |xn1 f (l, x2 , . . . , xN )|dx2 . . . dxN < ,
RN 1 lR
de sorte que la derivation sous le signe somme est licite (voir Note 3 du chapitre
1). Ainsi
Z
ln Rf (l, 0 ) = xn1 f (l, x2 , . . . , xN )dx2 . . . dxN , l R .
RN 1
ou x0 = (x2 , . . . , xN ). Donc
dx0
Z
(1 + |l|)m |ln Rf (l, 0 )| CN +m .
RN 1 (1 + |x0 |)N
R(1, 0, . . . , 0) = ,
on a
Z
Rf (l, ) = f (l + R(0, x0 ))dx0 = (R(f R)) (l, R1 ) .
RN 1
382 CHAPITRE 11. EQUATION DES ONDES
Remarquons dailleurs que, par convergence dominee (en utilisant le fait que
f est a decroissance rapide sur RN ), lintegrale au membre de droite de la
premiere egalite depend de maniere continue de (l, R) R ON (R), ce qui
entrane que Rf C(R SN 1 ).
Dans ce qui suit, nous allons etudier en detail le probleme de linversion de
la transformation de Radon, cest-a-dire de la reconstruction de la fonction f
connaissant sa transformee de Radon Rf .
Une premiere etape consiste a etudier le lien entre transformation de Fourier
et transformation de Radon.
Soit donc f S(RN ) ; on notera f sa transformee de Fourier, et la variable
duale de x. En decomposant lintegrale de Fourier comme somme de contribu-
tions sur la famille des hyperplans dequation x || = Const., on trouve que
Z Z
i|| || x
f() = eix f (x)dx = e f (x)dx
RN RN
Z + Z
= ei||l
f (x)dH(x) dl
x || =l
ou dH est lelement de surface sur lhyperplan dequation x || = l.
Or lintegrale interne au membre de droite de la derniere egalite ci-dessus
est la transformee de Radon de f . On en deduit donc la
Relation entre transformees de Fourier et de Radon
Z +
f() = ei||l Rf l, ||
dl .
(1)(N 1)/2
Z
f (x) = lN 1 Rf (x , )dS()
2(2)N 1 SN 1
Demonstration. Notons
Z +
(r, ) = eirl Rf (l, ) dl .
(r, ) = (r, ) , r R , SN 1 ,
et posons Z 0
I (x, ) = eirx (r, )rN 1 dr
Grace a la relation
(r, ) = (r, ) , r R , SN 1 ,
et au fait que N 1 est pair, on a
I+ (x, ) = I (x, )
en utilisant le changement de variables r 7 r dans lintegrale I (x, )
comme N 1 est pair, le terme rN 1 dans cette integrale reste inchange.
Par consequent la formule dinversion de Fourier ci-dessus secrit encore
Z
1 1
f (x) = (2)N 2 (I+ (x, ) + I (x, ))dS()
N 1
ZS
1 1
= (2)N 2 (I+ (x, ) + I (x, ))dS()
SN 1
Donc Z
f (x) = 1
2(2)N
2(i)N 1 lN 1 Rf (x , )dS()
SN 1
sin(t||)
u(t, ) = cos(t||)uI () + uII ()
||
(f R) = (f ) R sur RN .
Ainsi
Z
R(f )(l, ) = l2 (f R)(l, x2 , . . . , xN )dx2 . . . dxN = l2 Rf (l, ) .
RN 1
u(t, x) =
Z
(1)(N 1)/2
lN 1 RuI (x + t, ) + lN 1 RuI (x t, ) dS()
4(2)N 1
SN 1
Z
(1)(N 1)/2
lN 2 RuII (x + t, ) lN 2 RuII (x t, ) dS() .
+ 4(2)N 1
SN 1
Cette formule montre que la solution de lequation des ondes est une super-
position dondes planes se propageant a vitesse 1 dans toutes les directions.
xD
"
!#
xS
ou ds(x) est lelement de longueur sur le segment [xS , xD ]. (On a suppose ici
que le facteur dabsorption de lair est 0.)
En lisant les intensites mesurees par tous les detecteurs D dans toutes les
directions , on a donc acces a
Z
I(D, )
A(s + l )ds = ln , |l| < R
I
pour tout l R et tout S1 . Notons que, comme le coefficient dabsorption
de lair est nul et que le corps du patient est suppose contenu dans le cylindre
de section B(0, R)
Z
A(s + l )ds = 0 , |l| R .
388 CHAPITRE 11. EQUATION DES ONDES
11.6 Exercices.
Exercice 1.
Pour tout S2 , on note (t, x) 7 f (t, x, ) la solution de lequation de
transport (
t f + x f = 0 , x R3 , S2 , t > 0 ,
f (0, x, ) = (x) , x R3 , S2 ,
ou L2 (R3 ).
a) Quelle relation existe-t-il entre
Z
1
F (t, x) = 4 f (t, x, )d()
S2
2t,x u = 0 , x R , t > 0 ,
3
ut=0 = 0 ,
t u
t=0
= ?
b) Deduire du a) que
t F et xj F C(]0, [; L2 (R)) j = 1, 2, 3 .
Exercice 2.
Considerons le probleme de Cauchy
2t,x u = 0 , x R , t > 0 ,
N
ut=0 = g ,
t ut=0 = f ,
pour tout t 0.
a) On suppose que N = 1, et que f, g, g 0 Cc (R). Montrer quil existe T > 0
que lon precisera en fonction de f et g tel que
b) Montrer que, dans le cas general (ou on suppose que N 2, que f L2 (RN )
et que g H 1 (RN )), lon a
Exercice 3.
Considerons le probleme de Cauchy
2t,x u = 0 , x R , t > 0 ,
3
ut=0 = g ,
t u =f,
t=0
avec f, g S(R3 ).
a) Montrer que
Z
Z
Z
f (x + t)d() |f (x + s)|d()ds
2
S t S2
Exercice 4.
Soit u la solution du probleme de Cauchy
2t,x u = 0 , x R , t > 0 ,
3
ut=0 = 0 ,
t u =f ,
t=0
11.6. EXERCICES. 391
1 F (, )
u(r , r) 4 lorsque r + .
r
392 CHAPITRE 11. EQUATION DES ONDES
Bibliographie
393
394 BIBLIOGRAPHIE
395
396 INDEX