M
ethodes Math
ematiques pour la Physique

ENS de Cachan, 2002-03

1 Int
egration, Transform
ee de Fourier et Convo-

lution
1.1 Introduction
Dans toute cette section, on utilisera le mot \fonction" pour \fonction
mesurable" et le mot \ensemble" pour \ensemble mesurable". Cela n'aura
aucune consequence pratique : on peut considerer sans risque ( a moins de
s'interesser aux probl emes de logique mathematique) que toutes les fonctions
et tous les ensembles sont mesurables.
On propose ici la description d'une integrale (l'integrale de Lebesgue)
qui a un certain nombre d'avantages sur les integrales denies traditionnelle-
R
ment (celle des fonctions continues par morceaux sur un intervalle ferme
borne de , presentee en general - soit a l'aide des sommes de Darboux : on
l'appelle alors integrale de Riemann, - soit a l'aide des fonctions en escalier
et d'un theor eme de prolongement : on l'appelle alors integrale des fonctions
reglees).
Parmi ces avantages, on peut citer :
1. Le traitement unie des integrales en toutes dimensions,

R
2. La possibilite de considerer une integrale sur des sous-domaines com-
pliques, par exemple ceux du type fx 2 N
f (x)  pg (c'est surtout
utile en theorie des probabilites),
3. Des theor emes de convergence dont les hypoth eses sont souvent aise-
ment veriables.

Cette partie du cours est largement inspiree par le chapitre 2 du livre

de J.-M. Bony \Methodes mathematiques pour les sciences physiques". La
plupart des theor emes de cette partie ne seront pas demontres dans le cours :
les preuves sont souvent diciles. Certaines demonstrations sont proposees
1
en exercice. On trouvera l'ensemble des preuves tr es bien presente par ex-
emple dans l'ouvrage de W. Rudin \Real and Complex Analysis" (qui existe
aussi en version francaise).
1.2 Quelques notations et rappels
R
Lorsque A est un sous-ensemble de N , on note 1A la fonction (appelee
R R
parfois fonction indicatrice de A) denie par 1A (x) = 1 pour x 2 A et
1A (x) = 0 pour x 2 Ac (avec Ac = N ; A).

R NN
Lorsque (Ai )i2N est une suite de parties de N , on note
i2NAi = fx 2 N = 9i 2
x 2 Ai g:

R R
Une telle union (dont l'ensemble des indices est ) est dite denombrable.
On notera egalement B (x
r) pour x 2 N et r > 0 la boule ouverte de
R
centre x et de rayon r : B (x
r) = fy 2 N = jy ; xj < rg.
On rappelle que lorsque U  N , l'ensemble U est ouvert quand pour
R R
tout x 2 U , il existe r > 0 tel que B (x
r)  U .
R
Enn, on note  + = +  f+1g. On etend a cet ensemble de mani ere
R R
naturelle l'addition (par x + (+1) = +1 pour tout x 2  +), l'ordre (par
+1  x pour x 2  +) et la multiplication par des reels non nuls (par
x  (+1) = +1 pour x 2  +).
1.3 L'integrale de Lebesgue des fonctions positives
On admet sans demonstration la proposition suivante, qui caracterise

R RR
l'integrale de Lebesgue des fonctions positives :
Proposition : Soit f : N !  + une fonction. On admettra que
l'on peut construire une quantit Re de  + appelee integrale de Lebesgue (N -
R f , ou m^eme deR ff) qui
dimensionnelle) et notee RN f (x) dx (o u, s'il n'y a pas d'ambigute,
RN
R R RZ
verie les proprietes suivantes :
1. Linearite : si 
 2 +, f
g : N !  +,
Z
Z
f +g =  f +  g:

alors Z Z
R R
Cette propriete entra^ne celle de monotonie : si f
g : N !  +, f
g ,
f
g:

2
 R
2. Valeur sur un pave de N : pour a1
b1,..,aN
bN :
Z
1a1
b1 ]::aN
bN ] = (b1 ; a1 ) :: (bN ; aN ):

RR RR
3. Convergence monotone : Soit (fn )n2N une suite croissante (i.-e. telle
R
que pour tout x 2 N , p  q ) fp (x)  fq (x)) de fonctions de N
dans + (ou m^eme  +). Si pour tout x 2 N , fn (x) ! f (x) (avec
R
f (x) 2  +, limite qui existe toujours, car
R touteRsuite croissante tend
R R R R
vers une limite nie ou vers +1), alors fn ! f .
4. Theor eme de Tonelli : si x 2 P , y 2 Q, P + Q = N , et f : N ! +,
alors
Z Z
Z  Z
Z 
f= f (x
y ) dy dx = f (x
y) dx dy:
R N RP R Q RQ R
P

R
On voit donc que pour ce qui concerne les fonctions positives, on peut
toujours ecrire leur integrale sur N . De plus, pour N > 1, on peut eectuer
les integrations par rapport aux dierentes variables dans n'importe quel
ordre.

R
La denition suivante permet de calculer des integrales de fonctions
denies sur des sous-ensembles de N , si compliques soient-ils.
D
enition : On denit pour tout ensemble A  NR et f : A !  + R
l'integrale de Lebesgue (N -dimensionnelle) de f sur A par RN f~, avec f~ = f
R
sur A et f~ = 0 sur Ac .
Un des avantages de l'integrale de Lebesgue est que l'on peut utiliser
des ensembles compliques pour faire des estimations. Par exemple, on a de
mani ere instantanee des inegalites de type Bienayme-Tchebytche :
Z Z
f p 1:
fx
f (x)pg

1.4 Mesure des ensembles, ensembles negligeables

D
enition : On denit lorsque
R A R N
la mesure de Lebesgue N -
dimensionnelle de A par dx(A) = RN 1A . C'est un element de  + R
3
 R
Il est clair que la mesure est croissante par rapport a l'inclusion : si
A  B  N , on a dx(A)
dx(B). On a de plus la
Proposition : La mesure d'une union nie (ou denombrable) d'ensembles
est inferieure a la somme (eventuellement denombrable) des mesures des en-
sembles :
dx(A1  ::  An )
dx(A1) + :: + dx(An)

X
+1
dx(i2NAi)
dx(Ai):
i=1
Preuve : Si x 2 A1  ::  An , alors 9i 2 f1
::
ng
x 2 Ai. Donc
1Ai (x) = 1, et 1A1 (x) + :: + 1An (x)  1. On proc ede de la m^eme mani ere
dans le cas denombrable.
D
enition : On dit d'un ensemble A  RN
qu'il est negligeable s'il
est de mesure (N -dimensionnelle) nulle (i.-e. dx(A) = 0).
La proposition precedente implique immediatement la
Proposition : Toute union (nie ou) denombrable d'ensembles de
mesure nulle est de mesure nulle. Tout sous-ensemble d'un ensemble de
mesure nulle est de mesure nulle.
La proposition suivante permet dans la plupart des cas d'identier des
ensembles de mesure nulle.
Proposition :

R
1. Tous les sous-ensembles nis (ou plus generalement denombrables) de
sont de mesure (1-dimensionnelle) nulle.

R R R
2. Toutes les courbes de classe C 1 (c'est- a-dire les images d'un intervalle
de par une application de classe C 1 de dans 2) sont de mesure
(2-dimensionnelle) nulle (de m^eme bien s^ur que leurs unions nies ou
denombrables, et leurs sous-ensembles).

R R R
3. Toutes les surfaces reguli eres (c'est- a-dire les images d'un ouvert de
2 par une application de classe C 1 de 2 dans 3) sont de mesure
(3-dimensionnelle) nulle (de m^eme bien s^ur que leurs unions nies ou
denombrables, et leurs sous-ensembles).

4
dx(x0
x0 + 1=n]) = 1=n (propriete de la valeur sur un pave de
fait tendre n vers l'inni.
R
Preuve : Pour le premier point, on remarque simplement que dx(fx0g)

N ), et on

R R R
Pour le second point, on observe qu'on peut toujours se ramener a
l'image d'un intervalle ferme borne de (car est une union denombrable
de tels intervalles). Si l'on consid ere alors f : a
b] ! 2 de classe C 1, on
peut trouver M  0 tel que jf 0 j
M sur a
b]. On a alors

i i + 1

;1 f
f (a
b]) = ni=0a + (b ; a) n
a + (b ; a) n ]

i + 1 = 2 M (b ; a)

n ; 1
 i=0 B f (a + (b ; a)
n )
2n :
Mais ce dernier ensemble est inclus dans un carre de c^ote de longueur M (b ;
R
a)=n, il est donc de mesure au plus 4 M 2 (b ; a)2=n (propriete de la valeur
sur un pave de N ). On conclut de nouveau en faisant tendre n vers l'inni.
La demonstration du dernier point est similaire.
D
enition : On dit d'une propriete relative a R
N (o u a l'un de ses sous-
ensembles) qu'elle est veriee presque partout (en abrege p.p.) ou presque
s^urement (en abrege p.s.) si elle est veriee sauf sur un ensemble de mesure
(N -dimensionnelle) nulle.
R R
Proposition : Soit f : A ! + telle que A f = 0. Alors f = 0 p.p.
R
Preuve : On remarque que dx(fx 2 A
f (x)  1=ng)
n A f = 0.
Or fx 2 A
f (x) > 0g = n2Nfx 2 A
f (x)  1=ng, donc dx(fx 2 A
f (x) >
0g = 0.
1.5 L'integrale des fonctions
a valeurs dans R ou C
D
enition : Pour f : A  R R N ! , on note f + = f 1f 0, f ; =
;f 1f<0 . On a bien s^ur f = f + ; f ; , et jf j = f + + f ; .
Cette mani ere de decomposer f sous forme de la dierence de deux
fonctions a valeurs positives
R permet
R d'
Retendre \par linearite" l'integrale de
+
Lebesgue (en posant A f = A f ; A f ; ).R Neanmoins cette R formule n'a
de sens que si l'on n'a pas simultanement A f + = +1 et A f ; = +1.
Cette remarque motive la denition suivante :

5
 D
enition : Une fonction f : A 
est dite integrable (au sens
R de Lebesgue).
R
RR R N !
telle que A jf j < +1
On denit alors son integrale (de
R
Lebesgue) par la formule A f = A f + ; A f ; (ces deux derni eres quantites
sont nies puisque jf j = f + + f ; ).
Attention : Ce n'est (presque) jamais gr^ace a cette formule que l'on
calcule les integrales en pratique.

lineaire
R : si 
 2R et f
g : R R
L'integrale ainsi etendue aux fonctions a valeurs dans est encore
N ! verient R jf j < +1, R jg j < +1,
R
alors j f +  g j < +1 et
Z Z Z
( f +  g ) =  f + g:
Elle est egalement
R
toujours monotone : si jf j < +1, jg j < +1 et f
g ,
R
R
alors f
g .
R
Lorsque les fonctions sont a valeurs complexes, on peut les integrer en
utilisant la formule (pour f
g a valeurs reelles)
Z Z Z
(f + i g ) = f +i g:
De m^eme, pour les fonctions a valeurs vectorielles, on int egre coordonnees
par coordonnees.
Proposition : SiR f
g :RA 
et si f = g p.p., alors f = g .
R R
N! sont deux fonctions integrables,

Preuve : Supposons
R R que f = 0 p.p. Alors il en est de m^eme de f + et
f ;. Mais on a f + = A Rf + , ou A est de Rmesure nulle, et par theor eme
de convergence monotone, A f + = limn!1 fx2A
f + (x) ng et cette derni ere
integrale est nulle (car inferieure a n dx(A)). On peut alors faire le m^eme
raisonnement pour f ; . Finalement on applique ce que l'on vient de faire a
f ; g.
1.6 Les grands theor
emes d'integration

R R
Th
eoreme (convergence dominee) : Soit (fn)n2N une suite de fonctions
de A  N dans telle que pour presque tout x 2 A, fn (x) converge vers

6
 f (x). On suppose de plusR que pour presque tout x 2 AR, on a jfn (x)j
g (x),
Ravecjf g;int
f j ! 0 et
R f !A jRg(xf).j dx < +1). Alors ( A jf (x)j dx < +1,)
egrable (i.e.
A n A n A
Remarque : C'est bien de la convergence presque partout dont on a
besoin dans l'hypoth ese du theor eme et non de la convergence ponctuelle
(appelee aussi convergence simple). Le theor eme de convergence dominee
est demontre a partir du theor eme de convergence monotone en exercice.
Contre-exemple : La \fabrique de chapeaux" et la \bosse glissante"
sont typiques de la mise en defaut de la convergence de l'integrale lorsque
l'hypoth ese de domination n'est pas veriee. D'un certain point de vue, ces
deux exemples \epuisent" en fait les pathologies possibles.
Il s'agit d'une part de la suite de fonctions continues fn (x)R = (n ;
n jxj) 1fjxj 1=ng (\fabrique de chapeaux"): on a fn ! 0 p.p. mais fn = 1
d'autre part de la suite de fonctions continues fn (x) = (1R ;jx ; nj) 1fjx;nj 1g
(\bosse glissante"): on a de nouveau fn ! 0 p.p. mais fn = 1 (on a utilise
ici la notation usuelle en theorie des probabilites o u l'ensemble intervenant
dans la fonction caracteristique est sous-entendu : 1fjx;nj 1g a la place de
1fx2R
jx;nj 1g).
Exemple : On a
Z
lim
n!+1
(sin(1=x))n dx = 0:
0
On ne se preoccupe pas du point 0 o u sin(1=x) n'est pas deni, car un point
est de mesure nulle. On a (sin(1=x))n ! 0 pour presque tout x 2 0
 ], en
N
eet les seuls points o u cette limite n'a pas lieu sont les (k + =2);1, avec
k 2 , qui forment un ensemble denombrable.
De m^eme, on peut considerer l'exemple suivant, en dimension superieure :
Z

1 n
lim sin = 0:
n!+1 (x
y)20
]2 x ; sin y
De nouveau, l'ensemble des f(x
y ) 2 0
 ]2
x = sin y g est de mesure (2-
dimensionnelle) nulle. Sur cet ensemble, la fonction sin( x;sin 1 ) n'est pas
y
1 ))n ! 0
denie mais on n'a pas a s'en preoccuper. De m^eme, on a (sin( x;sin
Z
y
2
pour presque tout (x
y ) 2 0
 ] . En eet, les seuls points o u cette limite
n'a pas lieu sont les f(x
y ) 2 0
 ]2
9k 2
x ; sin y = (k + =2);1g, qui
forment une union denombrables de courbes.
7
 Enn l'exemple suivant montre que l'on peut traiter de la m^eme mani ere
des integrales sur des ensembles non bornes :
Z +1

lim
n!+1 0
1 + (sin(1=x))n e;x dx = 1:
Le theor eme de convergence dominee est souvent le bon outil pour
echanger les integrales et les series.
Exemple : On a l'egalite
Z1 X
+1 (;1)k e2k+1 ; 1 :
sin(ex ) dx =
0 k=0 (2k + 1)! 2k + 1
On developpe le sinus en serie enti ere. On remarque que l'hypoth ese de
domination est veriee car
 Xn (2k+1) x  X n
 (;1) k e 
e(2k+1) x
k=0 (2k + 1)! k=0 (2k + 1)!

sinh(ex )

et x 7! sinh(ex ) est integrable sur 0
1].
Le theor eme suivant permet de clarier la situation en ce qui concerne
les integrales multiples. C'est l'extension du theor eme de Tonelli aux fonc-

R R R R R
tions a valeurs reelles (ou complexes).
Th

R eoreme (Fubini) : Si x 2 P, y2 Q, N! ,
P + Q = N, f :
RR
et si RN jf j < +1, alors
R P
R (pour presque tout x 2 , la fonction f (x
) est
R
integrable sur Q, et R RQ f (x
) est integrable sur P , la fonction f (
y ) est
integrable sur P et P f (
y ) est integrable sur Q,)
R
Z Z
Z  Z
Z 
f= f (x
y ) dy dx = f (x
y) dx dy:
RN RP RQ RQ RP
R
En pratique, on verie l'hypoth ese RN jf j < +1 en utilisant le theor eme
de Tonelli (qui lui, n'a \pas d'hypoth ese").
Exemple : On a gr^ace a l' interversion des integrales, puis au developpe-
ment en serie enti ere du cosinus :
Z 1 Z 1 sin(y=x) +1 (;1)k
22k ; 1 
X
dxdy = 2k :
y=0 x=1=2 x2 k=1 (2k)!

8
 Th
eoreme (Changement de variable) : Soit U
V deux ouverts de
et une bijection de classe C 1 de U dans V dont la reciproque est egalement
R
N

de classe C 1 (une telle application est dite dieomorphisme de classe C 1).

R
@i ) . Alors pour
On note Jac( ) le determinant de la Rmatrice Jacobienne R( @x j ij
toute fonction f : V ! telle que V jf j < +1, on a U jfo j jJac( )j <
+1 et Z Z
f = fo jJac( )j:
V U
R
La m^eme formule est valable pour toute fonction f : V !  +, sans qu'elle
est besoin d'^etre integrable.
Remarque : On est souvent amene a utiliser ce theor eme dans des
situations o u le changement de variable n'a pas lieu entre des ouverts. On
peut le plus souvent se ramener au cas precedent en enlevant des ensembles
de mesure nulle.

R
Exemple : On consid ere le passage en coordonnees polaires : (r

) 2
]0
+1]0
2 7! (r cos

r sin
) 2 2 ; f(x
0)
x  0g est une bijection
de classe C 1 dont la reciproque est egalement de classe C 1 (il est possible
d'expliciter cette reciproque a partir de la fonction arctan par exemple).
Le determinant Jacobien de cette transformation est, comme on peut s'y
attendre : (r

) 7! r.
On en deduit la formule (pour des fonctions integrables sur 2 ou a
valeurs positives)
R
Z Z +1 Z 2
f= f (r cos

r sin
) r dr d
:
R 2 r=0 =0
Un cas particulier de cette formule permet d'obtenir l'egalite de Re; x2 dx
R 2

R r2
1=2
avec R+0
2] r e ; 2 (et donc avec (2 )1=2).

1.7 Le lien entre l'integrale de Lebesgue et l'integrale \usuelle"

Dans les exemples donnes precedemment, on a utilise sans justica-
tion des formules valables pour les integrales traditionnelles (integrale des
fonctions continues sur un intervalle borne, integrale impropre), par exemple
Z +1 2
r e; r2 dr = 1:
0
9
On donne dans ce paragraphe les resultats precis qui justient cette utilisa-
tion. Les preuves sont donnees en exercice a la n du chapitre.

R
Proposition : Si f est une fonction continue (ou continue par morceaux)
sur un intervalle a
b] (a < b) de , il y a egalite entre l'integrale de Lebesgue
de f sur cet intervalle et l'integrale \usuelle" (celle de Riemann, denie a
partir des sommes de Darboux, ou celle des fonctions reglees, denie a partir
des fonctions en escalier).
La theorie de l'integrale de Lebesgue contient par ailleurs celle des in-
tegrales impropres des fonctions positives et, plus generalement, celle des
integrales impropres absolument convergentes.

R Proposition : Soit f une fonction positive sur a
b (pour un certain

a 2 , et b > a, eventuellement inni) et continue,
R il y a convergence de
l'integrale impropre (i.-e. la quantite Rlimx!b a
x] f a une limite nie) si et
seulement si l'integrale de Lebesgue a
b f est nie. De plus on a egalite
entre l'integrale
R de f au sens de Lebesgue sur a
b et l'integrale impropre
(i.e. limx!b a
x] f ).
Soit f une fonction continue sur a
b (pour un certain a 2 , et
b > a, eventuellement inni). Il yR a convergence absolue de l'integrale
R
impropre (i.-e. la quantite limxR!b a
x] jf j a une limite nie) si et seule-
ment si l'integrale de Lebesgue a
b jf j est nie. De plus on a egalite entre
R de f au sens de Lebesgue sur a
b et l'integrale impropre (i.e.
l'integrale
limx!b a
x] f ).
Remarque : On a des theor emes exactement similaires pour des in-
tervalles bornes a
b sur lesquels on a une fonction continue non bornee au
voisinage de b.
Remarque : Les integrales semi-convergentes ne sont pas Rdes inte-
x sin t dt
grales de Lebesgue. En toute rigueur, il faudrait 
e crire lim
R +1 sin t dt. En pratique, on garde bien s^ur la notationx!+1 0 t
et non
R +1 sin t0 dt. t \contractee"
0 t

1.8 L'espace L1
L'integrale de Lebesgue d'une fonction ne changeant pas lorsque la fonc-
tion est modiee sur un ensemble de mesure nulle, il est naturel d'introduire

10
un ensemble de \fonctions" denies presque partout. C'est ce qui permet
de fabriquer une norme a partir de l'integrale.
D
enition : Soit A un sous-ensemble de
l'espace
R jf j < vectoriel
R
On appelle L1 (A)
N.
des fonctions integrables sur A, c'est- a-dire telles que
A +1, quotiente par la relation d'equivalence f  g lorsque f et
g sont egales presque partout (autrement dit, L1 est l'espace des fonctions
integrables sur A o u on a identie Rles fonctions qui sont egales p.p.). Pour
f 2 L1 (A), l'integrale de Lebesgue A f est bien denie.

R
Exemple : Les classes d'equivalence associees aux fonctions x 7!
(1 + jxj2)r=2 sont dans L1 ( 2) pour r < ;2. On le voit par passage aux
coordonnees polaires puis en utilisant l'identite entre integrales impropres
de fonctions positives et integrales de Lebesgue de fonctions positives.
Proposition : On denit une norme sur L1(A) en posant
Z
jjf jjL1(A) = jf j:
A
Preuve : L'inegalite triangulaire et la propriete relative aRla multipli-
cation par un scalaire sont evidentes. On sait par ailleurs que A jf j = 0 si
et seulement si jf j = 0 p.p.
La proposition suivante est de demonstration dicile. On l'utilisera a
R
de nombreuses reprises. On rappelle la denition d'une fonction a support
compact dans N . Il s'agit d'une fonction qui vaut 0 en dehors d'un ensemble
borne.

R R
Proposition : Les fonctions continues a support compact sont denses
dans L1( N ) pour cette norme. Autrement dit, pour tout element f de
L1 ( N ), il existe une suite (fn )n2N de fonctions continues a support compact
telle que jjfn ; f jjL1(RN ) ! 0.

fonctions deR RR R
D
enition : On note L1loc( N) l'ensemble des classes d'equivalence de
N dans dont la restriction a A appartient a L1 (A) pour tous
les A born
esinclus dans N .

d'equivalence associees aux fonctions x 7! jxjr

RR
Exemple : Toutes les fonctions bornees sont dans L1loc( N). Les classes
sont dans L1loc ( 2) pour r >
;2.

11
 Remarque : En pratique on ne parle dans la suite que de \fonctions"
de L1 . Il faut nReanmoins garder a l'esprit que pour de telles \fonctions", les
objets du type A f sont bien denis, mais pas les valeurs en un point donne
du type f (x0 ).
1.9 Integrales dependant d'un param
etre
Proposition : Soit A  R R N, U P
ouvert, et f : A  U ! telle R
que f (a
) est continue sur U pour presque tout a 2 A et telle qu'il existe
g 2 L1 (A) veriant pour presque tout a 2 A,
8x 2 U
jf (a
x)j
g (a):
R
Alors A f (a
) da est bien denie et continue sur U .
Preuve : On utilise le theor eme de convergence dominee et la carac-
R
terisation sequentielle de la continuite (c'est- a-dire le fait qu'une fonction g
(denie sur un voisinage de x 2 N ) est continue en x si et seulement si
pour toute suite xn ! x, on a g (xn ) ! g (x)).
Remarque : On peut en pratique prendre pour U n'importe quel voisi-
nage de x0 (aussi petit qu'on le souhaite) pour appliquer la proposition. On
peut aussi ne pas utiliser la proposition et verier directement la continuite
en utilisant le theor eme de convergence dominee.
Exemple : La fonction ; denie sur
Z +1
R 
+ par

;(x) = tx;1 e;t dt

0

Z
est bien denie et continue sur cet ensemble.
De m^eme, pour n 2 , la fonction de Bessel Jn denie par
Z 2
Jn (x) = ei x sin ;i n  2d

est bien denie et continue sur .R 0

Proposition : Soit A  R R N,
U  P ouvert, et f : A  U ! telle R
que f (
x) est integrable pour x 2 U , f (a
) est derivable par rapport a
la i-i eme variable (du second groupe) sur U pour presque tout a 2 A (le

12
presque partout est suppose independant de x 2 U ) de derivee @xi f (a
) et
telle qu'il existe g 2 L1(A) veriant pour presque tout a 2 A,
8x 2 U
j@xi f (a
x)j
g (a):
R
Alors A f (a
) da est derivable par rapport
R a la i-i eme variable (du second
groupe) en tout point x de U de derivee A @xi f (a
x) da.
Preuve : On la fait pour U intervalle de .
On remarque que pour toute suite hn ! 0,
R
1

Z Z  Z
hn f ( a
x + h n ) da ; f ( a
x) da ; @x f (a
x) da
A A A
Z
f (a
x + hn ) ; f (a
x) 
= ; @x f (a
x) da:
A hn
On voit alors que (pour presque tout a 2 A),
lim f (a
x + hn ) ; f (a
x) ; @ f (a
x) = 0:
n!+1 h x
n
De plus, on a  f (a
x + h ) ; f (a
x) 
 n ; @x f (a
x)
hn
 
= @x f (a
x +
(x
a
hn) hn ) ; @x f (a
x)

2 g (a)
d'apr es le theor eme des accroissements nis. On conclut alors en utilisant
le theor eme de convergence dominee.
Contre-exemple : Le theor eme des accroissements nis ne peut plus
^etre applique correctement si par exemple pour chaque x 2 U , il existe a 2 A
tel que x 7! f (a
x) n'est pas derivable. On peut le voir par exemple avec la
fonction f (a
x) = 1a x .

R R

Z
Exemple : Les fonctions ; et Jn (pour n 2 ) sont derivables (sur
+ et respectivement). Les derivees de ces fonctions sont donnees par les
formules Z +1
;0 (x) = (log t) tx;1 e;t dt

0

13
et Z 2
J 0 (x) = i
n sin
ei x sin ;i n  2d

0
= 12 (Jn;1 (x) ; Jn+1 (x)):
Remarque : Les theor emes de ce chapitre sont donnes dans un cadre
general : dimension quelconque, domaine d'integration ni ou pas. Ils per-
mettent de traiter la majorite des situations. Ils sont neanmoins impuissants
quand sont en jeu des integrales semi-convergentes. Un cas typique est celui
de la fonction d'Airy Z
Ai(x) = ei t x+i t3 =3 dt:
R
On rappelle que cette integrale n'est pas une integrale de Lebesgue.
1.10 Transformee de Fourier et convolution dans L1
R R
D
enition : Pour f 2 L1( N), on appelle transformee de Fourier de
f et on note f^ (ou F f ) la fonction denie sur N par
Z
f^() = f (x) e;i x
dx:
RN

Remarque : Il existe de nombreuses variantes pour la denition de

la transformee de Fourier (le ;i est parfois remplace par i, dx est parfois
remplace par (2dx)N=2 , etc.).
La transformee de Fourier ne depend que de la classe de fonctions ( a un
ensemble de mesure nulle pr es) et pas de la fonction elle-m^eme.

2 R 2 sin(a )
1+ 2 . Celle (toujours dans ) de x 7! 1;a
a](x) est  7! .
R
Exemple : La transformee de Fourier (dans ) de x 7! e;jxj est  7!

Fourier la fonction R
Proposition : La fonction x 2 N!
 2 N 7! (2 )N=2 e;j j =2.
R
7 2 e;jxj2 =2 a pour transformee de

x2 RPreuve : Pour N = 1, si on note g la transformee de Fourier de

N 7! e;jxj2 =2 , on a
Z +1
g() = e;x2 =2;ix dx

;1

14
donc Z +1
g 0() = (;i x) e;x2=2;ix dx

;1
Z +1 Z +1
=i (;x ; i  ) e;x2=2;ix dx ;  e;x2 =2;ix dx
;1 ;1
= ; g ( ):
De plus g (0) = (2 )1=2. Donc g ( ) = (2 )1=2 e;j j2 =2.
On peut facilement ramener le calcul en dimension N a celui en dimen-
sion 1.
R
Proposition : Pour f 2 L1( N), la transformee de Fourier de f est
une fonction continue et bornee (par jjf jjL1(RN ) ).

continue, et  
R
Preuve : La continuite est une consequence du theor eme sur les inte-
grales a param etre. En eet pour tout x 2 N , la fonction  7! e;ix
est
e f (x)
jf (x)j:
; ix

Or on a suppose que f 2 L1( N ).

Enn,  Z
R
 Z
 e f (x) dx
jf (x)j dx:
; ix

RN RN

R
Remarque : on peut aussi montrer que la transformee de Fourier de
f 2 L1 ( N ) tend vers 0 a l'inni. Ceci est fait en exercice.
R R
Proposition : Soit f 2 L1( N ) telle que xi f 2 L1( N ). Alors f^ est
derivable par rapport a la i-i eme variable et cette derivee est
@ f^( ) = ;i xdf ( ):
i

R R
@i
De m^eme, pour f 2 L1 \ C 1( N ) telle que @i f 2 L1 ( N ), on a
d
@f ^
@xi () = i i f ( ):
Preuve : La premi ere partie de la proposition est une consequence du
theor eme de derivation sous le signe somme.

15
La seconde formule s'obtient par integration par parties. Pour se ramener a
un domaine borne, on introduit une famille de fonctions n (y ) paires de
dans 0
1] de classe C 1 telle que
R
n j0
n] = 1
n jn+1
+1 = 0
j 0n j
2:

R R
Le theor eme de convergence domminee implique que pour toute fonction g
de L1 ( N ), on a la convergence dans L1 ( N ) de n g vers g et de 0n g vers
0.
On remarque alors que
Z Z
e;ix
@ f (x)
i n (xi ) dx = ; e;ix
f (x) 0n(xi ) dx
RN RN
Z
+ i i e;ix
f (x) n(xi ) dx:
RN
On conclut en faisant tendre n vers l'inni.
Exemple : En appliquant la premi ere formule a la fonction x 2 RR
N 7!
2

R
e;jxj =2, 2on voit que la transformee de Fourier
p de la fonction x 2
;xi e;jxj =2 est la fonction  2 N 7! i i 2 e;j j2 =2.
N 7!

Remarque : Ce lien entre la transformee de Fourier et les derivations

est essentiel. On voit que la transformee de Fourier \diagonalise" les deriva-
tions. Cela permettra de calculer de mani ere explicite dans de nombreuses
situations des solutions d'equations dierentielles ou aux derivees partielles.

Proposition : Pour f 2 L1( N), h 2 R R N

et  > 0, on note h f (x) =
f (x + h) et d
f (x) = f ( x) la translatee et la dilatee de f . On a
d
h f ( ) = e f^( )
i h

et
dd ;N 

f ( ) =  f^(  ):
= ;N d
;1 f^( ):
Preuve : Ces formules s'obtiennent immediatement par changement
de variable.

16
 D
enition - Proposition : Pour f
g 2 L1( N ), on pose
Z
R
(f  g )(x) = f (y ) g (x ; y ) dy:

R
y2RN

R
On denit ainsi une fonction de L1 ( N ), appelee convolee de f et g . L'operation
de convolution est commutative (i.e. pour f
g 2 L1 ( N ), f  g = g  f ).
Preuve : On voit que, gr^ace au changement de variable z = x ; y,
Z Z
jf (y )j jg (x ; y )j dydx
jjf jjL1(RN ) jjg jjL1(RN ) :

RR R
x2RN y2RN

R
Le theor eme de Fubini implique que pour presque tout x 2 N , y 2 N 7!
f (y) g(x ; y ) est une fonction de L1( N), et f  g 2 L1( N).
La commutatitivite resulte du changement de variable z = y ; x.
Exemple : La convolee de 1;a
a] et 1;b
b] pour b  a est la fonction
paire qui vaut 0 sur a + b
+1, 2a sur 0R
b ; a et x 7! a + b ; x sur
b ; a
a + b]. En eet c'est la fonction x 7! xx;+aa 1;b
b] (z ) dz .
Remarque : Beaucoup de probl emes dierentiels peuvent se resoudre
en terme de convolution. Ainsi, si g est une fonction de L1 ( ) nulle sur ;,
la solution du probl eme de Cauchy f 0 + f = g , f (0) = 0, est donnee par la
R R
formule Zt
f (t) = g (s) e;(t;s) ds

0
si bien que f = g  (t 7! e;t 1R (t)).
R
+

On note Ccp ( N ) l'ensemble des fonctions p fois contin^ument derivables

N
a support compact (c'est- a-dire nulles en dehors d'un ensemble borne). Pour
 2 N ,  = (i1
::
iN ), on note @ = @xi11 ::@xiNN .
R R
Proposition : Pour f 2 L1( N ), g 2 Ccp( N), on a f  g 2 C p( N),
et pour jj
p,
R
@ (f  g ) = f  @ g:
Preuve : C'est une consequence du theor eme de derivation sous le
signe somme (et du theor eme de \continuite" sous le signe somme). On le
detaille pour la dimension N = 1 et pour la derivee premi ere.

17
 R
On voit que pour presque tout y 2 , la fonction x 7! f (y ) g (x ; y ) est
derivable. De plus,
jf (y ) g 0(x ; y )j
jjg 0jj1 jf (y )j

et on a suppose que f est integrable.
D
enition : On appelle suite regularisante (sur
fonctions ( n )n1 denie par
R
N) une suite de

n(x) = nN (n x)

R
o u est une fonction positive, de classe C 1 , d'integrale 1, et de support
inclus dans la boule unite B (0
1) de N . On montre en exercice l'existence
d'une telle fonction .

R R R R
Proposition : Pour f 2 L1( N ), la suite regularisante f  n converge
R R
dans L1 ( N ) vers f . On en deduit la densite de C 1 ( N ) \ L1 ( N ) dans
L1 ( N ) (pour la norme de L1( N )).
Preuve : On le montre tout d'abord pour f continue ( a support com-
R
pact (par exemple inclus dans B (0
R)) pour rester dans le cadre des fonc-
tions de L1 ( N )). On voit que
Z
f  n(x) = f (x ; nz ) (z) dz:
R
R N

Or pour tout z 2 N , limn!+1 f (x ; nz ) = f (x) car f est continue, et

jf (x ; z ) (z )j
jjf jj1 j (z )j

R
n
et cette derni ere fonction est integrable, donc (pour tout x 2 N )
lim f  n (x) = f (x):
n!+1
Comme de plus
jf  n (x) ; f (x)j
2 jjf jj1 1B (0
R+1=n)

R

2 jjf jj1 1B (0
R+1=n)

on a la convergence dans L1 ( N ).

18
 R R R
On utilise ensuite la densite des fonctions continues ( a support compact)
dans L1 ( N ) (pour la norme de L1 ( N )).
Soit f 2 L1 ( N ). Il existe g continue a support compact telle que
jjf ; g jjL1(RN )
"=3. On a alors
jjf  n ; f jjL1 (RN )
jjg  n ; g jjL1(RN )
+ jj(f ; g )  n jjL1(RN ) + jjf ; g jjL1(RN)

2 "=3 + jjg  n ; g jjL1(RN) :
Mais pour n assez grand, ce dernier terme est inferieur a "=3.
R

Proposition : Pour f
g 2 L1( N ), f  g = f^g^.
Preuve : C'est une consequence du changement de variables z = x ; y.

Exemple : La convolee de deux Gaussiennes est une Gaussienne.

R
2 jx;uj
Plus precisement, si on note M
u
T (x) = (2 T)N=2 e; 2T la Gaussienne
de param etres   0, u 2 N , T > 0, en utilisant les translations et les

\
dilatations on obtient
M
u
T ( ) =  e;i u
; T2 j j2
si bien que si l'on admet l'injectivite de la transformee de Fourier (demontree
a la proposition suivante) on a la formule
M1
u1
T1  M2
u2
T2 = M1 2
u1 +u2
T1+T2 :
Remarque : Cette propriete est essentielle en theorie des probabilites :
elle signie que la somme de deux variables aleatoires Gaussiennes indepen-
dantes est encore une variable aleatoire Gaussienne. C'est egalement co-
herent avec le theor eme central-limite.
L'un des theor emes les plus importants de l'analyse de Fourier est celui
qui permet d'obtenir l'inverse de la transformee de Fourier :

R R R
Th
eoreme : Soit f 2 L1( N) telle que f^ 2 L1( N) egalement. Alors
pour presque tout x 2 N ,
Z
f (x) = (2 );N ei x
f^() d:
RN

19
 Preuve : On calcule (en utilisant le theor eme de Fubini)
Z jj2
(2 );N ei x
f^() e;" 2 d
R N
Z Z j j 2

= (2 );N f (y ) ei (x;y)
e;" 2 d dy
RN Z RN
= (2 );N=2 f (y ) e;
jx;yj2
2"
dy :
RN "N=2
On fait alors tendre " vers 0.
Gr^ace au theor eme de convergence dominee, on voit que
Z jj2
Z
lim ei x
f^( ) e;" d = ei x
f^() d
R
2
"!0 R N R N

uniformement pour x 2 N .
D'autre part, lorsque f est continue et bornee, on remarque que
Z jx;yj2 dy
(2 );N=2 f (y ) e; 2"
"N=2
ZR
N

jzj2
= (2 );N=2 f (x ; " z) e; dz:
R
2
R N
N
Mais pour tout z 2 , f (x ; " z ) ! f (x) lorsque " ! 0 car f est continue,
et jzj2 jzj2
jf (x ; " z )j e; 2
jjf jj1 e; 2

Z
R
cette derni ere fonction etant integrable, donc d'apr es le theor eme de conver-
gence dominee, pour tout x 2 N ,
jx;yj2 dy = f (x):
lim (2 );N=2 f (y ) e; 2"
"!0 R N "N=2
Comme de plus
 Z 
(2);N=2 f (y) e; j ; j dy 2 ; f (x)
2 jjf jj1

x y2
2"
R N " N=
la convergence a lieu dans L1 (B (0
R)) pour tout R > 0.
R
On conclut par un argument de densite. On sait que les fonctions de L1 ( N ) R
peuvent ^etre approchees (dans L1( N )) par des fonctions continues a sup-
port compact. On en deduit que lorsque f 2 L1 ( N ),
Z jx;yj2
R
dy = f (x)
lim (2 );N=2 f (y ) e; 2"
"!0 R N "N=2
20
dans L1 (B (0
R)) pour tout R > 0. On a donc l'egalite demandee pour
presque tout x.
Corollaire : La transformee de Fourier de x 7! (1 + x2);1 sur est la
fonction  7! e;j j .
R
Remarque : On voit que les operations qui consistent, pour une fonc-
tion f donnee, a prendre sa transformee de Fourier f^, puis a la multiplier
par une certaine fonction , et enn a en prendre la transformee de Fourier
inverse, sont en fait des convolutions.
Ainsi si ( ) = 1;a
a] ( ) (on coupe les hautes frequences), alors cela
revient a convoler par l'inverse de la transformee de Fourier de , c'est- a-dire
1 R
par la fonction x 7! sin( ax
n'est pas dans L ( ).
)
x . Attention neanmoins, cette derni ere fonction

1.11 Exercices

R R C
1. Preuve du theoreme de convergence dominee. Soit (fn)n2N une suite
de fonctions de A  N a valeurs dans (ou ) telle que pour presque tout
x 2 A, fn(x) ! f (x). OnR suppose de plus que pour presque tout x 2 A, on
a jfn (x)j
g (x), avec A g < +1.
1. Montrer que l'on peut remplacer les termes \pour presque tout x 2 A"
dans les hypoth eses precedentes par les termes \pour tout x 2 A".
Dans la suite, on se place donc dans le cadre de cette derni ere hypoth ese.

R
2. Montrer que la suite (pn )n2N de fonctions de A  N a valeurs dans +
denie par
R
pn (x) = sup jfk (x) ; f (x)j
kn
est decroissante, tend vers 0 en tout point de A et verie
8x 2 A
jpn (x)j
2 g (x):
3. Conclure en appliquant le theor eme de convergence monotone a la suite
(2 g ; pn )n2N.
2. Utilisation du theoreme de Fubini pour l'integrale semi-convergente
du sinus cardinal.

21
1. Montrer que pour A > 0, t > 0,
ZA ;tA
e;x t sin x dx = 1 ; (cos A1++t tsin
2
A) e :
0
2. Montrer que
Z +1 (cos A + t sin A) e;t A
lim
A!+1 0 1 + t2
dt = 0:
3. En deduire par utilisation du theor eme de Fubini que
Z A sin x 
lim
A!+1 0 x = 2:
3. Le calcul du volume de la boule en dimension N . On denit les
coordonnees spheriques en dimension N par les formules
x1 = r cos
1

x2 = r sin
1 cos
2
x3 = r sin
1 sin
2 cos
3
:: = ::
xN ;1 = r sin
1 sin
2 :: sin
N ;2 cos
N ;1

R
xN = r sin
1 sin
2:: sin
N ;2 sin
N ;1
o u r 2 +,
1
::

N ;2 2 0
 ] et
N ;1 2 0
2 ].
On note JN (r

1
::

N ;1) le determinant Jacobien de ce changement
de variable.
1. Montrer que JN (r

1
::

N ;1) = rN ;1 JN (1

1
::

N ;1).
R
On note jS N ;1j = 1
::N ;2 20
]
N ;120
2] JN (1

1
::

N ;1). Cette
quantite est le \volume N ;1-dimensionnel" de la sph ere N ;1-dimensionnelle.

2. Montrer que
Z
e;(x21 +:::+x2N )=2dx1::dxN = (2)N=2:
R
N

3. Montrer que
Z Z +1
e ;(x21 +:::+x2N )=2dx ::dx = jS N ;1j e;r2 =2 rN ;1 dr:
1 N
R N 0
22
4. En deduire que
2 N=2

jS N ;1j =
;(N=2)
et que le volume de la boule unite B (0
1) en dimension N est
Z  N=2
B (0
1)
1 = ;(N= 2 + 1) :
4. Solution de l'equation de transport. Donner une formule pour la
solution de l'equation de transport
@tf (t
x) + @xf (t
x) = g (t
x)
f (0
x) = f0 (x):
On pourra introduire la variable y = t + x.
5. Associativite de la convolution. Montrer que pour f
g
h 2 L1( N),
(f  g )  h = f  (g  h).
R
R
6. On denit f sur par f (x) = e;jxj.
1. Montrer que (f  f )(x) = (1 + jxj) e;jxj.
2. Calculer la transformee de Fourier de f  f . En deduire que la transformee
de Fourier de la fonction x 7! (1 + x2 );2 est la fonction  7! 2 (1 + j j) e;j j.

R 
7. Etude de la fonction ;. On rappelle que la fonction ; est denie sur
+ par Z +1
tx;1 e;t dt:
R
;(x) =
0
1. Montrer que pour tout x 2 +,
;(x + 1) = x ;(x):
2. On admet que (pour x 2]0
1)
Z +1 ;x 
0 1 +  d = sin( x) :
(cette formule sera demontree dans le chapitre consacre aux fonctions de la
variable complexe). Montrer la formule des complements :
;(x) ;(1 ; x) =  :
sin( x)
23
On observera que
Z +1 Z +1
;(x) ;(1 ; x) = e;s sx;1 e;t t;x dtds
0 0
Z +1 Z +1
= e;(+1) s ;x dds
0 0

N
gr^ace au changement de variable t =  s.
p
3. En
p (2n)! d e duire que ;(1 =2) =  , puis que (pour n 2 ), ;(1=2 + n) =
 22n n! .
4. Pour tout x
y > 0, on pose
Z1
B(x
y ) = tx;1 (1 ; t)y;1 dt:
0
Montrer que pour tout x
y > 0, on a
;(x + y ) B (x
y ) = ;(x) ;(y ):
On montrera que
Z 1 Z +1
;(x + y ) B (x
y ) = e;st (st)x;1 e;s(1;t) (s(1 ; t))y;1 s dsdt
t=0 s=0
et on utilisera le changement de variable
u = s t
v = s (1 ; t):

Z R
8. Etude des fonctions de Bessel. On rappelle que la fonction Jn (pour
n 2 ) est denie sur par
Z 2
Jn (x) = ei x sin ;i n  2d
 :
0
1. Montrer que la fonction Jn admet le developpement en serie enti ere

n X
+1 (;1)r x2r :
Jn (x) = x2 2r
r=0 r! (n + r)! 2
On utilisera le theor eme de convergence dominee pour obtenir l'egalite
+1 (ix)m Z 2
X
Jn (x) = m! 0 e;in  (sin
)m 2d

m=0

24
 X
+1 (ix)m 1 (;1)(m;n)=2 m! :
=
Z
m m+n m;n
m=0 m! (2i) ( 2 )! ( 2 )!
2. Montrer que (pour n 2 ) la fonction Jn est solution de l'equation
dierentielle 2
Jn00(x) + x1 Jn0 (x) + (1 ; nx2 ) Jn (x) = 0:
On observera que
2 Jn0 = Jn;1 ; Jn+1

puis, en utilisant une integration par partie, que
2 nx Jn = Jn;1 + Jn+1 :

R R
9. Lien entre l'integrale de Lebesgue et l'integrale des fonctions reglees.
Soit f une fonction continue sur a
b] (a
b 2 , a < b) a valeurs dans . On
rappelle qu'alors f est uniformement continue : pour " > 0, il existe  > 0
tel que jx ; y j
 ) jf (x) ; f (y )j
". P
On appelle fonctions en escalier les fonctions de la forme ki=1 i 1Ii o u
les Ii sont des intervalles disjoints dont la reunion forme l'intervalle a
b], et
o u les i sont des reels.
1. Montrer que f est limite uniforme d'une suite de fonctions en escalier
(utiliser la continuite uniforme de f ).
2. Montrer que si g est une fonction en escalier sur a
b], il y a identite entre
l'integrale de Lebesgue de g sur a
b] et l'integrale \usuelle" de g sur a
b].
3. On rappelle qu'on denit Rl'integrale \usuelle" d'une fonction continue
comme la limite des integrales ab fn (t) dt d'une suite de fonctions en escalier
(fn )n2N qui converge uniformement vers f . Montrer que cette denition
est coherente (il s'agit de montrer que si deux telles suites existent, leurs
integrales convergent toujours et vers une m^eme limite).
4. Montrer en utilisant le theor eme de convergence dominee que l'integrale
de Lebesgue de f sur a
b] est egale a l'integrale \usuelle" de f sur a
b].

R
10. Lien entre l'integrale de Lebesgue et les integrales impropres. Soit
f une fonction continue et positive sur a
+1 (pour a 2 ).
1. En utilisant le theor eme de convergence monotone, montrer R qu'il y a
convergence de l'integrale impropre (i.-e. la quantite limx!+1 a
x] f a une
25
 R
limite nie) si et seulement si l'integrale de Lebesgue a
+1 f est nie.
Montrer de plus que dans ce cas, on a egalite entre l'integrale Rde f au sens
de Lebesgue sur a
+1 et l'integrale impropre (i.e. limx!+1 a
x] f ).
2. En utilisant le theor eme de convergence dominee, montrer qu'il yR a con-
vergence absolue de l'integrale impropre (i.-e. la quantite lim xR!+1 a
x] jf j
a une limite nie) si et seulement si l'integrale de Lebesgue a
+1 jf j est
nie. Montrer de plus que dans ce cas, on a egalite entre l'integrale Rde f au
sens de Lebesgue sur a
+1 et l'integrale impropre (i.e. limx!+1 a
x] f ).

R
3. Montrer que les deux resultats precedents sont encore valables pour des
fonctions continues sur des intervalles semi-ouverts a
b (avec a
b 2
a <
b).
4. Montrer (en utilisant une integration par parties) que
Z A sin t
lim
A!+1 0 t
dt
existe mais que la fonction t 7! sint t n'est pas integrable (au sens de Lebesgue)
sur 0
+1.
11. Comportement a l'inni des transformees de Fourier. On admet

R R
le resultat de l'exercice 9 (question 1). On rappelle egalement que les fonc-
tions continues a support compact sont denses dans L1( ) pour la norme
de L1( ).

R R
1. Montrer que les fonctions en escalier a support compact sont denses dans
L1 ( ) pour la norme de L1( ).
2. Montrer que la transformee de Fourier d'une fonction en escalier tend
R
vers 0 a l'inni. En deduire que la transformee de Fourier d'une fonction de
L1 ( ) tend vers 0 a l'inni.
12. Existence de fonctions C 1 a support compact.

R R
1. Montrer que la fonction f : x 2] ; 1
17! exp(; 1;1x2 ) et qui vaut 0 sur
; fx
jxj  1g est de classe C 1 sur ; f;1
1g. Montrer que sa derivee
k-i eme est de la forme

1 
( k )
f (x) = Qk (x) exp ; 1 ; x2

26
o u Qk est une fraction rationnelle dont les seuls p^oles sont en ;1 et 1.

R R R
2. Montrer que f est en fait de classe C 1 sur et paire. Montrer que
g : N ! denie par g(x) = f (jxj) est une fonction de classe C 1 sur N R
positive, nulle en dehors de la boule B (0
1). Fabriquer une fonction ayant
les m^emes proprietes et etant de plus d'integrale 1.

Soit f 2 L1p R
13. Transformee de Fourier des fonctions radiales en dimension 2.
( 2), radiale (i.-e. ne dependant que de x2 + y 2 ). On ecrit
f (x
y) = g( x2 +py 2). Montrer que f^ est encore une fonction radiale, et
que si f^(
 ) = h(  2 +  2), alors
Z
h(s) = 2 J0 (r s) r g(r) dr
R+
pour s > 0.

27
2 L'analyse vectorielle (formes di

erentielles)
Le materiel de ce chapitre est tire des livres de H. Cartan : \Formes dif-
ferentielles", et de H. Flanders : \Dierential forms with applications to the
physical sciences". Dans ces deux livres sont exposes la theorie rigoureuse
des formes dierentielles et une preuve compl ete de la formule de Stokes
generale y est presentee.
2.1 Les operateurs classiques de derivation
D
enition : Pour f : R RR R
N! de classe C 1 sur un ouvert de N , on
pose rf = (@1f
::
@N f ). Lorsque f : N ! P , on peut encore utiliser
R
cette notation, mais rf devient alors une matrice.
R R
Exemple : Dans un &uide, on note u : 3 ! 3 le champ des vitesses.
La notation (u r)u est utilisee pour designer le terme de convection dans
les equations d'Euler
P ou de Navier-Stokes incompressibles : c'est le vecteur
de composantes 3j =1 uj @j ui .
D
enition : Pour f : R R
N! N R
de classe C 1 sur un ouvert de N , on
pose divf = r f = @1 f1 + :: + @N fN .
Exemple : Les champs qui preservent le volume sont de divergence
nulle (cela est montre en exercice) : par exemple le champ des vitesses dans
un &uide incompressible.
D
enition : Pour f : R R 3 ! 3 de classe C 1 , on pose rotf = r ^ f =
(@2 f3 ; @3f2
@3f1 ; @1 f3
@1f2 ; @2 f1 ). En anglais, on utilise le terme curl
au lieu de rot.

R N
Remarque : On denit parfois le rotationnel d'un champ de R N
comme la matrice antisymetrique de taille N de terme general (@i fj ;
dans
@j fi)ij . L'ensemble des matrices antisymetriques de taille N etant un espace
vectoriel de dimension N (N ; 1)=2, on identie le rotationnel d'un champ 2-
R
dimensionnel avec un reel @1 f2 ; @2f1 . De m^eme, on identie le rotationnel
d'un champ 3-dimensionnel avec un vecteur de 3 : c'est precisement le
rotationnel deni precedemment.

28
 N R
Remarque : L'interpretation en termes de formes dierentielles : On
appelle forme dierentielle de degre p (p 2 ) sur N une expression de la
forme X
!= ai1
::
ip dxi1 ^ :: ^ dxip

i1
::
ip
dans laquelle on impose dxi ^dxj = ;dxj ^dxi (de mani ere precise, on impose
pour toute permutation  2 Sp , dx(i1 ) ^ :: ^ dx(ip ) = "( ) dxi1 ^ :: ^ dxip ).
On peut alors ecrire
X
!= ai1
::
ip dxi1 ^ :: ^ dxip

i1 <::<ip
et on denit une forme de degre p + 1 par la formule
X
d! = dai1
::
ip ^ dxi1 ^ :: ^ dxip

i1 <::<ip
o u dai1
::
ip est donnee par la formule traditionnelle
X
N @a
i
::
i
dai1
::
ip = @xj dxj :
1 p

j =1
Par convention, les formes de degre 0 sont simplement les fonctions.
On s'interesse a la dimension 3.
On consid ere tout d'abord une forme de degre 0 (i-e. une fonction A), on a
alors
dA = @x@A dx + @A dx + @A dx

1 @x 2 @x 3
1 2 3
on retrouve ainsi les composantes du gradient de A.
On consid ere ensuite une forme de degre 1
! = A1 dx1 + A2 dx2 + A3 dx3

on a

3 @A2 
@A1 @A3 
d! = @A ;
@x2 @x3 dx 2 ^ dx 3 + @x3 ; @x1 dx3 ^ dx1

@A2 @A1 
+ @x ; @x dx1 ^ dx2

1 2

29
et les dierentes composantes sont (au signe pr es) celles du rotationnel de
A.
Enn on consid ere une forme de degre 2
! = B1 dx2 ^ dx3 + B2 dx3 ^ dx1 + B3 dx1 ^ dx2:
On a

d! = @B 1 + @B2 + @B3 dx ^ dx ^ dx

@x1 @x2 @x3 1 2 3
et l'unique composante cette fois-ci est la divergence de B .
2.2 Le lemme de Poincare
Proposition : Les champs de gradient (d'un ouvert U de RR R
3 dans 3)

R
1
de classe C (c'est- a-dire ceux de la forme r , avec : U ! de classe
RR
C 2 ) ont un rotationnel nul. Les champs de rotationnel (d'un ouvert U de 3
dans 3) de classe C 1 (c'est- a-dire ceux de la forme rotA, avec A : U ! 3
de classe C 2) sont de divergence nulle.

R R
Preuve : Les deux proprietes sont consequences du lemme de Schwarz :
pour toute fonction f de classe C 2 d'un ouvert de N a valeurs dans , et
tout i
j = 1::N , on a
@ 2f = @ 2f :
@i@j @j@i
Remarque : Ces deux proprietes sont des cas particuliers de la m^eme
formule d(d! ) = 0, valable en fait pour toute forme dierentielle ! (de classe
C 2 ).
Les dierentes versions du lemme de Poincare permettent de donner
des reciproques a la proposition precedente.
Th
eoreme : Les champs (de classe C 1) a rotationnel nul sur
les champs de gradient.
R N sont

Preuve : On suppose que u = u1(x1
x2
::
xN )
u2(x1
x2
::
xN )
::

uN (x1
x2
::
xN ) et verie pour tout i
j = 1::N
@i uj = @j ui

c'est- a-dire que son rotationnel est nul.

30
 On pose alors
Z 1

f (x1
x2
::
xN ) = x1 u1 (t x1
t x2
::t xN ) + x2 u2(t x1
t x2
::
t xN )+
0

+:: + xN uN (t x1
t x2
::
t xN ) dt:
On a
Z 1

@1 f (x1
x2
::
xN ) = u1 (t x1
t x2
::
t xN ) + t x1 @1 u1(t x1
t x2
::
t xN )
0
X
N 
+t xj @1 uj (t x1
t x2
::
t xN ) dt
j =2
Z 1

= u1 (t x1
t x2
::
t xN ) + t x1 @1 u1 (t x1
t x2
::
t xN )
0
X
N 
+t xj @j u1 (t x1
t x2
::
t xN ) dt
j =2
Z 1
 
= u1 (t x1
t x2
::
t xN ) + t dtd u1(t x1
t x2
::
t xN ) dt
0
Z 1 d 
= dt t u1 (t x1
t x2
::
t xN ) dt
0
= u1 (x1
x2
::
xN ):
On montre de la m^eme mani ere que @i f = ui pour i > 1. On en deduit que
u est le gradient de f .

R
Remarque : On voit immediatement que ce theor eme reste vrai lorsque
l'espace N est remplace par n'importe quel ouvert U veriant la propriete :
Pour tout x 2 U , le segment 0
x] est inclus dans U . Un tel ouvert est dit
etoile par rapport a 0. Une tr es leg ere modication de la demonstration
montre que le theor eme reste vrai d es que U est etoile par rapport a l'un de
ses points (notons qu'en particulier le resultat reste vrai pour tout ouvert
U convexe : en eet les ensembles convexes sont exactement ceux qui sont
R
etoiles par rapport a chacuns de leurs points). On trouvera en exercice un
contre-exemple dans le cas de 2 ; f0g.

31
 Exemple : En electrostatique, le champ electrique E est a rotationnel
nul. C'est donc un champ de gradient. Ainsi, si E (x1
x2
x3) = (2x1
x3
x2),
on a E = ;rV , et V (x1
x2
x3) = ;x21 ; x2 x3.
Th
eoreme : Les champs (de classe C 1) a divergence nulle sur
les champs de rotationnel.
R 3 sont

Preuve : On suppose que u = u1(x1
x2
x3)
u2(x1
x2
x3)
u3(x1
x2
x3)
verie
@1 u1 + @2u2 + @3 u3 = 0:
On pose alors
Z1 Z1
f1 (x1
x2
x3) = x3 t u2(t x1
t x2
t x3) dt ; x2 t u3(t x1
t x2
t x3) dt

0 0
Z1 Z1
f2 (x1
x2
x3) = x1 t u3(t x1
t x2
t x3) dt ; x3 t u1(t x1
t x2
t x3) dt

0 0
Z1 Z1
f3 (x1
x2
x3) = x2t u1(t x1
t x2
t x3) dt ; x1 t u2(t x1
t x2
t x3) dt:
0 0
On montre que r ^ f = u. Pour cela, on calcule par exemple
Z1 Z1
(@2 f3 ;@3 f2 )(x1
x2
x3) = t u1(tx1
tx2
tx3) dt+x2 t2 @2u1 (tx1
tx2
tx3) dt
0 0
Z1 Z1
;x1 t2 @2u2(tx1
tx2
tx3) dt ; x1 t2 @3u3(tx1
tx2
tx3 ) dt
Z0 1 Z 10
+ t u1 (tx1
tx2
tx3) dt + x3 t2 @3u1(tx1
tx2
tx3) dt
Z 10 0
= (2t u1 + t2 x1@1 u1 + x2 @2 u1 + x3 @3 u1])(tx1
tx2
tx3) dt
0
Z1d
2
=
0 dt t u1 (tx1
tx2
tx3)] dt
= u1(x1
x2
x3):
Exemple : En electromagnetisme, l'equation divxB = 0 implique que
B est un rotationnel : B = rotx A, o u A est par denition un potentiel-
vecteur. Ainsi, si B = (x1 x3
x2
;x3 ; 12 x23 ), on voit que l'on peut prendre
Z1 Z1
A1 = x3 t (tx2 ) dt ; x2 t (;tx3 ; 12 t2 x23 ) dt
0 0
32
 = 32 x2 x3 + 81 x2x23

Z1 1 Z1
A2 = x1 t (;tx3 ; 2 t x3) dt ; x3 t (t2 x1x3) dt
2 2
0 0
= ; 13 x1x3 ; 38 x1 x23

Z1 Z1
A3 = x2 t (t2 x1x3 ) dt ; x1 t (tx2) dt
0 0
= 1 x1 x2x3 ; 1 x1 x2 :
4 3
Remarque : Les m^emes remarques sur les ouverts sur lesquels cette
proposition reste vraie peuvent ^etre fa^tes que pour la proposition prece-
dente. Par contre, il y a une dierence essentielle, expliquee dans la propo-

R RR R
sition suivante.
Proposition : Soit f : 3 ! 3 (de classe C 1) de rotationnel nul.
Alors si 1
2 : 3 ! sont tels que r 1 = r 2 = f , il existe une

R R R R
constante C telle que 1 = 2 + C .
R R
Soit f : 3 ! 3 (de classe C 1) de divergence nulle. Alors si 1
2 :
3 ! 3 sont tels que rot 1 = rot 2 = f , il existe  : 3 ! (de classe
C 2 ) tel que 1 = 2 + r .
Preuve : Dans le premier cas, on a r( 1 ; 2) = 0. On en deduit que
1 ; 2 est constante.
Dans le second cas, on a rot( 1 ; 2 ) = 0. On en deduit que 1 ; 2
est un gradient (1 ere proposition du paragraphe).
Remarque : Les deux propositions de ce paragraphe sont deux ver-
sions d'un m^eme lemme sur les formes dierentielles, qui exprime que si une
forme dierentielle ! verie d! = 0 (sur tout l'espace), alors il existe une
autre forme dierentielle telle que ! = d . On dit que dans tout l'espace,
les formes fermees (i.-e. les ! telles que d! = 0) sont exactes (elles sont de
la forme d ).
2.3 Integrales curvilignes et de surface

R RR
D
enition : On appelle arc parametre de
intervalle I de dans N de classe C 1.
R N
une application  d'un
On appelle image de l'arc parametre
le sous-ensemble  (I ) de N .
33
 R R
Exemple : t 2 0
27! (cos t
2 sin t) denit une ellipse dans
t 2 7! (cos t
sin t
t) denit une helice dans 3.
R
2,

D
enition : On appelle changement de param etre (de classe C 1) une

bijection : J ! I de classe C 1 entre les intervalles J et I et qui verie
0 6= 0. Deux arcs parametres sont dits equivalents lorsqu'ils se deduisent
l'un de l'autre par changement de param etre.
Remarque : L'image de deux arcs equivalents est la m^eme.

R R
N!
R
D
enition : Soit  : (a
b) ! N (a < b) un arc parametre et f :
continue. On denit l'integrale curviligne de f sur  par
Z Zb
f= f ( (t)) j 0(t)j dt:
 a

Proposition : L'integrale curviligne le long de deux arcs equivalents

est identique.
Preuve : Soit  : I ! R
et : J ! I de classe C 1 un changement
N
de param etre (suppose ici croissant). Alors pour f : N ! (continue) R R
Z Z ; (b)1
f= f ((o )(u)) j(o )0(u)j du
o ;1 (a)
Z ; (b)
1

= f ( ( (u))) j0( (u))j j 0(u)j du

;1 (a)
Zb
= f ( (t)) j 0(t)j dt

a
gr^ace au changement de variable t = (u) dans l'integrale. Enn on remar-
que qu'un changement d'orientation laisse l'integrale curviligne invariante.

Remarque : On rappelle que la circulation d'un champ de vecteurs E

le long de  est denie par la formule
Z Z bX
N
E= Ei( (t)) i0(t) dt:
 a i=1

34
On voit que cette quantite n'est autre que l'integrale curviligne de E ,
o u est la tangente a  . Par changement d'orientation, on voit que est
changee en son opposee, donc la circulation est changee en son opposee.
Exemple : L'integrale curviligne de la fonction constante egale a 1

R RR R
denit l'abscisse curviligne.
D
enition : On appelle nappe parametree de 3 la donnee d'une
fonction x d'un sous-ensemble U de 2 dans 3. On appelle image de la
nappe parametree le sous-ensemble x(U ) de 3.
Exemple : L'application (t

) 2 R +  0
2 7! (t2
t cos

t sin
)
denit un parabolode de revolution. Attention, la source n'est pas un ouvert
ici.
D
enition : On appelle changement de param etre(s) (de classe C 1)
R
une bijection : V ! U de classe C 1 entre les sous-ensembles V et U
de 2 et qui verie Det(r ) 6= 0 (i.-e. le determinant Jacobien de ne
s'annulle pas). Deux nappes parametrees sont dites equivalentes lorsqu'elles
se deduisent l'une de l'autre par changement de param etre.
Remarque : L'image de deux nappes equivalentes est la m^eme.

f R RZ
: 3!
R
D
enition : Soit x = (x1
x2
x3) : U ! 3 une nappe parametree et
continue. On denit l'integrale de surface de f sur x par
Z
f= f (x(u
v)) j@1x(u
v) ^ @2x(u
v)j dudv:
x U
Proposition : L'integrale de surface de deux nappes equivalentes est
identique.
Preuve : On suppose que (pour (s
t) 2 V ),
u = 1(s
t)
v = 2 (s
t):
On a (en considerant l'addition modulo 3 pour l'indice i)
Z Z
f= f (x(u
v)) j@1x(u
v ) ^ @2x(u
v)j dudv
x U
Z
X3  @x @x @x @x
21=2
= f ((xo )(s
t)) 

i o @v o ; @u o @v o 
i+1 i +1 i
V i=1 @u
35
  @ @ @ @ 
 1 2 ; 1 2  dsdt:
@s @t @t @s
On observe alors que
 @ (x o ) @ (x o ) @ (x o ) @ (x o ) 
 i @s i+1 ; i+1 i 
@t @s @t 

@x  @
@x  @  
@x  @
@x  @ 
=  @ui o @s1 + @vi o @s2 @u
i+1 o
@t
1+ i+1 o
@v @t
2

@x  @
@x  @ 
@x  @
@x  @ 
i+1 1 i+1 2 i 1 i 2 
;
@u o @s + @v o @s @u o @t + @v o @t 

@x 
@x  @ @
@x 
@x  @ @
=  i o i+1 o 1 2+ i o i+1 o 2 1
@u @v @s @t @v @u @s @t

@xi+1 
@xi  @ 1 @ 2
@xi+1 
@xi  @ 2 @ 1 

;
@u o @v o @s @t ; @v o @u o @s @t 
 @x @x @x @x
  @ @ @ @ 
=  @u o @v o ; @u o @v o    @s1 @t2 ; @t1 @s2 :
i i +1 i +1 i

Remarque : On rappelle qu'on denit le &ux d'un champ E a travers

une surface (denie par ) x par la quantite
Z
@x @x 
 E (x(u
v )) @u ^ @v dudv:
U
C'est aussi () l'integrale de surface de E n, o u n est la normale a la surface.

Exemple : l'integrale de surface de la fonction constante egale a 1

denit l'aire de la surface.

2.4 Dierentes formules de Stokes

On commence par les formules qui interviennent dans les formulations
variationnelles des probl emes aux limites (equation de Laplace ou de la
chaleur dans des domaines bornes, etc.)
Proposition : Soit ' un ouvert de R R
2 (resp. de 3) dont la fronti ere
@ ' est un arc parametre (resp. une nappe parametree). On note n la
36
normale exterieure a ' en un point de @ '. Alors pour toute fonction f de
classe C 1 sur ', on a Z Z
@i f = f ni : (1)
 @
Attention : dans cette formule, la seconde integrale est une integrale curviligne
ou de surface.
Preuve : On la fait en dimension 2 pour i = 2 et
' = f(x
y )
x 2]x1
x2
y 2] (x)
(x)g

o u 
 sont des applications de classe C 1 .
On a Z Z x Z (x)
2
@2 f = @2f (x
y) dydx
 x1  (x)
Zx  2

= f (x
(x)) ; f (x
(x)) dx

x1
et d'autre part,
Z Zx 2
Zx 2
f n2 = f (x
(x)) 1 dx + f (x
 (x)) (;1) dx:
@ x1 x1
On la fait ensuite en dimension 3 pour i = 3 et
' = f(x1
x2
x3)= (x1
x2) 2 U
x3 2] (x1
x2)
(x1
x2)g:
En un point (x1
x2
(x1
x2)) de @ ', on a

;1=2 0 ;@1 1
n= 1 + (@1)2 + (@2)2 @ ;@2 A :
1
On a Z Z Z (x
x ) 1 2
@3 f = @3 f (x1
x2
x3) dx3dx2 dx1
 U  (x1
x2 )
Z  
= f (x1
x2
(x1
x2)) ; f (x1
x2
(x1
x2)) dx1dx2

U
et d'autre part,
Z Z
f n3 = f (x1
x2
(x1
x2)) 1 dx1dx2
@ U
37
 Z
+ f (x1
x2
(x1
x2)) (;1) dx1dx2:
U
Toutes les formules que l'on va maintenant ecrire sont des cas partic-
uliers d'une formule generale dite \de Stokes" que l'on peut ecrire sous la
forme Z Z
d! = !

 @
o u ' est de dimension N , @ ' est sa fronti ere (de dimension N ; 1) et !
est une forme dierentielle de degre N ; 1. On ne precise pas dans ce cours
R
quelle est la denition mathematique de l'integrale d'une forme dierentielle
de degre k sur un ouvert de k (et encore moins sur une variete de dimension
k). On pourra neanmoins s'en faire une idee a travers les exemples en
dimension 0, 1, 2 et 3 presentes.

1. On commence par le cas o u ! est une forme de degre 0 (i-e. une

fonction, notee f , supposee de classe C 1).
R
Lorsque ' est l'intervalle ]a
b de , on obtient simplement la formule
Zb
f 0(t) dt = f (b) ; f (a):

R R
a
Lorsque ' =  (]a
b), courbe de dimension 1 dans 2 (ou 3), on
observe que
Z b 
10 (t) @f
@1 (  ( t )) +  0 (t) @f ( (t)) dt
2 @2
a
Z b d 
=
adt f ( (t)) dt
= f ( (b)) ; f ( (a)):
Ceci se traduit en disant que la circulation du gradient d'un champ
scalaire est egale a la valeur du champs au point nal de la courbe
moins sa valeur au point initial.

R
2. On consid ere maintenant le cas o u ! est une forme de degre 1.
Lorsque ' est un ouvert de 2 dont le bord @ ' est le support d'un arc
parametre  : t 2 a
b7! (x(t)
y (t)), oriente dans le sens direct, on a
Z
@Q @P  Z b

; dxdy = 0 0
P (x(t)
y (t)) x (t)+Q(x(t)
y (t)) y (t) dt:
 @x @y a

38
 Cette formule s'obtient facilement a partir de la formule (1) en remar-
quant que n = (y 0
;x0)=j(y 0
;x0)j. Cette formule est dite de Green-
Riemann

(elle correspond
  a prendre ! = P dx + Q dy, ce qui implique
d! = @Q @P
@x ; @y dx ^ dy ).
Lorsque ' est l'image d'une nappe parametree (de normale n)
x : (u
v) 2 U 7! (x1 (u
v )
x2(u
v)
x3(u
v )) dont la fronti ere @ ' est le
support d'un arc parametre (de tangente )
 : t 2 a
b7! (x1 (u(t)
v (t))
x2(u(t)
v(t))
x3(u(t)
v(t))) oriente de
mani ere \compatible" avec n, on a
Z Z
rot A n = A :
x 
En d'autres termes, le &ux du rotationnel de A a travers ' est egal a
la circulation de A le long de @ '. La preuve de cette formule est faite
(au signe pr es) en exercice.

R
3. On consid ere nalement le cas o u ! est une forme de degre 2.
Lorsque ' est un ouvert de 3, dont la fronti ere @ ' est l'image d'une
nappe parametree x : (u
v ) 2 U 7! (x1(u
v )
x2(u
v )
x3(u
v )) (on
note n la normale exterieure a ' en un point de @ '), et lorsque A est
un champ de classe C 1,
Z Z
div A = A n:
 x
Cette formule, consequence immediate de (1), est dite d'Ostrogradsky
(elle correspond a prendre ! = A1 dy ^ dz + A2 dz ^ dx + A3 dx ^ dy ,
ce qui implique d! = (@1 A1 + @2 A2 + @3 A3 ) dx ^ dy ^ dz ). Elle permet
de calculer un &ux a travers une surface.
2.5 Exercices

R R
1. On rappelle l'equation de Navier-Stokes incompressible pour un
champ de vitesse u : 2 ! 2 et de pression p : 2 ! dependant du R R
temps t (en prenant un syst eme d'unites pour lequel la densite du &uide
vaut  = 1 et sa viscosite vaut  = 1) :
divx u = 0

39
 @t u + (u rx )u + rxp = (xu:
1. On pose ! = @1u2 ; @2 u1. Montrer que la vorticite ! verie l'equation
@t ! + (u rx)! = (x!:
2. Gra^ce a quelle equation peut-on retrouver u a partir de ! ?
2. La forme contractee des equations de Maxwell dans le vide. On se
R
place dans un syst eme d'unites o u c = 1. On se propose de construire des
formes dierentielles de degre 2 sur l'espace-temps 4 a partir des champs
electriques et magnetiques. On note x1
x2
x3
t les coordonnees de l'espace-
temps.
1. On pose
 = E1 dx1 ^ dt + E2 dx2 ^ dt + E3 dx3 ^ dt
+B1 dx2 ^ dx3 + B2 dx3 ^ dx1 + B3 dx1 ^ dx2

 = ;B1 dx1 ^ dt ; B2 dx2 ^ dt ; B3 dx3 ^ dt
+E1 dx2 ^ dx3 + E2 dx3 ^ dx1 + E3 dx1 ^ dx2:
Montrer que les equations de Maxwell dans le vide s'ecrivent
d = 0
d = 0:

R
2. On appelle operateur de Hodge l'application  des formes dierentielles
de degre 2 sur 4 vers elles-m^emes denie par
(dxi ^ dt) = dxi+1mod3] ^ dxi+2mod3]

(dxi ^ dxi+1mod3]) = ; dxi+2mod3] ^ dt:
Montrer que les equations de Maxwell dans le vide s'ecrivent
d = 0
d() = 0:

x0(t) = (x(t)), R R
3. Champs preservant le volume. On consid ere le syst eme dierentiel
o u : N ! N est supposee reguli ere (de classe C 1 ). On
denit le &ot associe a ce syst eme par le probl eme de Cauchy
d t t T 0(y ) = y:
dt T (y ) = (T (y ))

40
1. Montrer que (en denissant le premier et le troisi eme signe r comme le
gradient par rapport a y )
d t t t
dt rT (y ) = r (T (y)) rT (y ):

R
Le produit dans le membre de droite est un produit matriciel.
2. On suppose que pour tout A  N , la mesure de T t (A) ne depend pas
de t.
R R
Montrer que pour tout A  N , t 2 ,
Z
1A (y ) dtd Det(rT t )(y ) dy = 0:
RN
R R
En deduire que (pour tout t 2 , y 2 N ), dtd Det(rT t )(y ) = 0.
3. Montrer que (pour tout y 2 N )R
Det(rT t )(y) = Det(I + t r (y ) + o(t))
= 1 + t div (y ) + o(t):
En deduire que div = 0.
4. Preuve de la formule de Stokes liant le ux du rotationnel d'un
champ a travers une surface et la circulation de ce champ sur le bord de la

R R
surface
1. Soit A un champ de classe C 1 de 3 dans 3 et
x(u
v ) = (x1(u
v)
x2(u
v )
x3(u
v)) une application (de classe C 1) sur un
ouvert U denissant une surface '. Dans tout cet exercice, l'indice est a
considerer modulo 3.
Montrer que le &ux de rotA a travers ' est donne par la formule
3 Z
X
F = (@i+1 Ai+2 ; @i+2 Ai+1 )(x1(u
v )
x2(u
v )
x3(u
v ))
i=1 U

@x @x @x @x 
 i +1 i +2 ; i +2 i +1 dudv:
@u @v @u @v
2. Montrer que
3 Z
@x 
X @x @x 
F = i i +2 i +2
@v @i+2 Ai @u + @i+1 Ai @v
i=1 U

41
 @x  @x @x 
; i @i+2 Ai i+2 + @i+1 Ai i+1 dudv:
@u @v @v
En deduire que
X3 Z
@x d
F = i (A(x (u
v )
x (u
v )
x (u
v ))
i=1 U @v du 1 2 3

@x d 
; i
@u dv (A(x1(u
v )
x2(u
v )
x3(u
v )) dudv:
3. Montrer que
X3 Z
d @x d @x

F = i i
(A ) ; dv (A @u ) dudv:
i=1 U du @v
En utilisant la formule la formule de Green-Riemann, en deduire que F est
egale a  la circulation de A sur le bord @ ' de '.
5. Une forme fermee sur R R
2 ; f0g mais non exacte. Lorsque ! est

RZ
une forme dierentielle de degre 1 sur 2 ; f0g, ! = !1 dx + !2 dy , avec
!1
!2 2 C 1( 2 ; f0g), on pose
2  
L! = ; !1 (cos t
sin t) sin t + !2 (cos t
sin t) cos t dt:
0

1. On consid ere
!0(x
y) = ;yxdx + x dy
2 + y2 :
Calculer L!0 . On pourra a posteriori remarquer que \formellement", !0 =
d
, o u r

sont les coordonnees polaires habituelles.
R
2. Montrer que s'il existe f 2 C 2 ( 2 ; f0g) telle que df = ! , alors L! = 0.
Conclure.

3 Fonctions de la variable complexe

3.1 Denition

42
 C C
D
enition : Soit '  un ouvert et z0 2 '. On dit que f : ' !
est -derivable en z0 (de derivee complexe f 0 (z0))
lorsque
C
lim f (z0 + h) ; f (z0) = f 0 (z ):
0

C
h!0
(h6=0
z0 +h2) h

C
Si f est -derivable en tout point z0 de ', on dit que f est holomorphe sur
' et on note f 2 H('). Lorsque f 2 H( ), on dit que f est enti ere.
Proposition : On a les m^emes proprietes algebriques avec la derivation
C C
complexe qu'avec la derivation usuelle:

C
1. Si f
g : ' ! sont -derivables en z0 de derivees f 0 (z0) et g 0(z0 )
respectivement, alors f + g et fg sont encore -derivables en z0 , de

CC C
derivees respectives f 0 (z0 ) + g 0(z0) et f (z0 ) g 0(z0 ) + f 0 (z0) g (z0).
2. Si f : ' ! est -derivable en z0 de derivee0 f 0 (z0) et si f (z0 ) 6= 0,
alors 1=f est -derivable en z0 de derivee ; ff(z(z00)2) .
C C C
3. Soit '
'0 deux ouverts de , et f : ' ! , g : '0 ! . Soit z0 2 ' C
C C
tel que f (z0 ) 2 '0. Alors si f est -derivable en z0 de derivee f 0(z0 )
et si g est -derivable en f (z0 ) de derivee g 0(f (z0)), la composee g o f
est -derivable en z0 de derivee f 0(z0 ) g 0(f (z0 )).
Preuve : Les demonstrations sont identiques a celles des proprietes
correspondantes dans le cas reel.

C
Corollaire : Les polyn^omes et fractions rationnelles se derivent comme
d'habitude. De mani ere precise, si P 2 X ], la fonction z 7! P (z ) est

C C C
enti ere et sa derivee complexe est egale a la fonction z 7! P 0 (z ), o u P 0
est la derivee formelle de P . Si P
Q 2 X ]  X ] ; f0g, la fonction
z 7! P (z )=Q(z) est holomorphe sur ; Q;1 (f0g) et sa derivee complexe
0 (z) Q(z);P (z) Q0 (z)
est egale a la fonction z 7! P , o u P 0
Q0 sont les derivees
Q(z)2
formelles de P et Q.

C C
Preuve : Il sut d'utiliser les proprietes algebriques de la -derivation
et les fonctions z 7! c (pour c 2 donne) et z 7! z .
Proposition : Soit Pn2N an (z ; z0)n une serie enti ere de rayon de
convergence R 2]0
+1] avec z0
(an)n2N 2 . Alors
P
C
1. la serie enti ere n2N n an (z ; z0 )n;1 est encore de rayon de conver-
gence R,
43
 P
2. la fonction z 2 B (z0
R) 7! n2N an (zP; z0 )n est holomorphe sur

C
B (z0
R) et sa derivee complexe en z est n2N n an (z ; z0)(n;1) .
Elle est donc -derivable une innite de fois.
Preuve : On sait que RP an (z;z0 )n = supfr 2 0
+1
(an rn)n2N
est une suite bornee g. On en deduit que RP n an (z;z0 )n;1
RP an (z;z0 )n
d'une part, et que, pour " > 0 assez petit, RP n an (z;z0 )n;1  RP an (z;z0 )n ;
" d'autre part. En eet, on a (toujours pour " > 0 assez petit)

RP a (z;z )n ; " n
lim
n!1
n RP an (z;z0 )n ; "=2 = 0:
n 0

En appliquant l'argument prP

P
ecedent a la serie enti ere n2N n an (z ; z0 )n;1 ,
on voit que la serie enti ere +n=21 n (n ; 1) a (z ; z )n;2 a encore R pour

C
n 0
rayon de convergence.
On remarque alors que pour tout w
h 2 , on a d'apr es la formule de
Taylor avec reste integral a l'ordre 2:
Z1 2
d (w +
h)n d


(w + h)n ; wn ; n h wn;1 = (1 ;
) d
2
0
d'o u l'inegalite
 
(w + h)n ; wn ; n h wn;1
jhj2 n (n ; 1) (jwj + jhj)n;2:
On en deduit le resultat demande.
Corollaire : La fonction z 7! ez (denie par ez = P+n=0
1 zn ) est enti ere,
n!
ainsi que les fonctions trigonometriques et hyperboliques qui s'en deduisent:
iz ;iz iz ;iz
z 7! cos z = e +2 e
z 7! sin z = e ;2ie

z ;z z ;z
z 7! ch z = e +2 e
z 7! sh z = e ;2 e :

C
Remarque : Attention, les proprietes de type \egalite" de ces fonctions
(telles que cos2 z + sin2 z = 1) se conservent en general pour z 2 , mais
R C
pas le plus souvent celles de type \inegalite" (telles que j cos z j
1, valable
pour z 2 , mais pas pour z 2 ).
44
3.2 Les relations de Cauchy{Riemann
C
D
enition : Soit '  un ouvert. On note '~ l'ouvert de 2 suivant :
CR
RR
~' = f(x
y )=x + iy 2 'g. Si f est une application de ' dans , on note f~
C
l'application de '~ dans 2 denie par f~(x
y ) = (Ref (x + iy )
Imf (x + iy )).
Reciproquement, si U  2 est un ouvert, on note U   l'ouvert forme
C
par les fx + iy=(x
y ) 2 U g, et pour g = (g1
g2) application de U dans 2, R
C
on denit g  : U  ! par g (x + iy ) = g1(x
y ) + i g2(x
y ).
Proposition : Soit '  un ouvert, et z0 2 '. On a equivalence
C
entre les proprietes suivantes:
1. f est -derivable en z0 (de derivee f 0(z0 )),
2. f~ est dierentiable en (Rez0
Imz0) et
sa matrice Jacobienne est une
Ref 0(z0 ) ;Imf 0(z0 ) 
matrice de similitude directe (egale a Imf 0(z ) Ref 0 (z ) ),
0 0
3. f~ = (f~1
f~2) est dierentiable en (Rez0
Imz0) et ses derivees partielles
en ce point verient les relations de Cauchy{Riemann
@ f~1 (Rez
Imz ) = @ f~2 (Rez
Imz )

@1 0 0 @2 0 0

@ f~1 (Rez
Imz ) = ; @ f~2 (Rez
Imz )

@2 0 0 @1 0 0
(et f 0(z0 ) = @@f~11 (Rez0
Imz0) + i @@f~21 (Rez0
Imz0)).

Preuve :
f (z0 + h) ; f (z0) = f 0 (z0) h + o(jhj)
() f (Rez0 + Reh + i(Imz0 + Imh)) ; f (Rez0 + i Imz0)
= (Ref 0(z0 ) + i Imf 0(z0 )) (Reh + i Imh) + o(jhj)

f~ (Rez + Reh
Imz + Imh) ; f~ (Rez
Imz ) 
() f~1 (Rez0 + Reh
Imz0 + Imh) ; f~1 (Rez0
Imz0)

2Ref 0(0z ) ;Imf 0(0z ) 
Reh 2 0 0
= Imf 0 (z0 ) Ref 0(z )0 Imh + o(jhj):
0 0

C R R
tant que fonctions de 2 dans 2) mais pas holomorphes sur (chercher les
points de -derivabilite).
C
Exemple : Les fonctions z 7! z et z 7! jzj2 sont dierentiables (en

45
 C
Lorsque P 2 X ], on sait que x + iy 7! P (x + iy ) est holomorphe. Ce
R R
quand P1
P2 2 X ]. Ainsi, z 7! jz j2 n'est pas holomorphe sur alors que
jz j2 = x2 + y 2 pour z = x + iy , (x
y 2 ).
C
n'est par contre pas le cas en general pour x + iy 7! P1 (x
y ) + iP2(x
y ),

Exemple : La fonction log qui a x + iy 2 ;

1
CR ; associe
2 2
2 log(x + y ) + i arctan (y=x) si x > 0

1 log(x2 + y 2 ) + i  ; i arctan (x=y ) si y > 0

2 2
1 log(x2 + y 2 ) ; i  ; i arctan (x=y )
CR
2 2 si y < 0

est bien denie et holomorphe sur ; ;, on l'appelle determination prin-
R
cipale du logarithme. On voit facilement qu'elle est identique au logarithme
usuel sur +.
En coordonnees polaires, (et pour
2];
 ), sa valeur est log (r ei ) =
log r + i
.
Cette fonction ne peut pas se prolonger contin^ument sur  car C
lim log (x + iy ) = lim log(x + iy ) + 2i
R
y!0
x!x0
+ ;
y!0
x!x0
pour tout x0 2 ;.
Attention a l'utilisation des formules telles que log (ez ) = z ou
log (z1 z2 ) = log z1 + log z2 . Elles ont un domaine de validite qui ne re-

couvre pas enti erement le domaine o u chacuns des termes qui les composent
peuvent ^etre denis. En pratique, on note souvent log au lieu de log . At-
tention donc aux confusions !
par
On denit la determination principale des puissances -i emes sur ; ; CR
C C R
z  = e log z :
Ce sont encore des fonctions holomorphes sur ; ;. Elles peuvent se
Z N
prolonger en fonctions holomorphes sur  si et seulement si e2i  = 1, i.e.
si  2 . Elles peuvent se prolonger en fonctions holomorphes sur si et
seulement si  2 (ce sont alors des polyn^omes).
C
Enn, on peut voir que la fonction
Z +1
;(z ) = tz;1 e;t dt
0
C
est bien denie et holomorphe sur ' = fz 2
Rez > 0g.
46
3.3 Integrale le long d'un chemin et applications
D
enition : Soit '  C un ouvert. On appelle chemin continu et
C 1 par morceaux de ' une application  : a
b] ! ' continue et C 1 par
morceaux. Si de plus  (a) =  (b), on dit que le chemin est un lacet.
D
enition : Deux chemins 1
2 : a1
b1]
a2
b2] ! ' sont dits C 1-
equivalents lorsqu'il existe : a1
b1] ! a2
b2] bijection de classe C 1 ainsi
que sa reciproque (i.e. 0 ne s'annule pas sur a1
b1]) telle que 1 = 2 o .
Si de plus on peut choisir croissante, on dit que les chemins sont C 1-
equivalents et de m^eme orientation.
Remarque : Tout chemin est equivalent (de m^eme orientation) a un
chemin dont la source est 0
1]. Il sut de prendre une bijection ane.
C
Remarque : Soit ' un ouvert de et deux chemins
1
2 : a1
b1]
a2
b2] ! ' tels que 1(b1) = 2(a2 ). On denit 1  2
(parfois note 1 + 2): a1
b1 + b2 ; a2] ! ' par
t 7! 1(t) si t 2 a1
b1]

t 7! 2(t + a2 ; b1) si t 2 b1
b1 + b2 ; a2 ]

et ;1 : a1
b1] ! ' par
t 7! 1(b1 + a1 ; t):
On voit tout de suite que si 1
2 sont continus et C 1 par morceaux, il en
est de m^eme pour 1  2 et ;1.
C
Exemple : Si z1
z2 2 , alors t 2 0
1] 7! (1 ; t) z1 + t z2 est un
chemin de classe C 1 note z1
z2 ]. Le cas o u z1 = z2 (lacet reduit a un point)
appara^tra souvent dans la suite.
Lorsque z1 = x1 + i y1
z2 = x2 + i y1, ce chemin est equivalent a t 2
x1
x2] 7! t + i y1 . De m^eme, lorsque z1 = x1 + i y1
z2 = x1 + i y2 , ce chemin
est equivalent a t 2 y1
y2] 7! x1 + i t.
Enn, lorsque z1 = r1 ei
z2 = r2 ei (0
r1
r2), ce chemin est
equivalent a t 2 r1
r2] 7! t ei .

C deni par t 7 z0 + r eit .

!
C
Exemple : Lorsque z0 2 , r > 0 on note C (z0
r) le chemin 0
2] !
On utilise aussi souvent des arcs de cercles,
denis par la m^eme formule, mais avec un ensemble source dierent.

47
 C
D
enition : Soit ' un ouvert de , f : ' ! continue, et  : a
b]
un chemin continu et C 1 par morceaux. On note
C
Z Z ;1 Z t
nX i+1
f= f (z) dz = f ( (t))  0(t) dt

  i=0 ti
o u les a = t0 < :: < tn = b sont les points o u  n'est pas derivable.
R
Remarque : La quantite  f ne depend que de  ]or. De plus,
R un
changement d'orientation de  produit un changement de signe de  f .
Exemple : On calcule RC(a
r) dzz pour r 6= jaj. En utilisant la serie
C
enti ere associee a (1+ X );1 , on voit que l'on obtient 0 si r < jaRj, et 2i sinon.
De m^eme, pour tout triangle T de (plein), on peut voir que @T f (z ) dz = 0
pour toute fonction f ane.
3.4 Formule de Cauchy pour les chemins et lacets homotopes
Lemme (Goursat): Soit ' un ouvert de , et T  ' un triangle plein
ferme. Lorsque f 2 H(') (ou f 2 H(' ; fz0g) \ C (')), on a
C
Z
f = 0:
@T
Preuve : On suppose pour commencer que z0 2= T . On pose T0 = T et
on note T0(1)
::
T0(4) les triangles semblables a T0 de rapport 1=2
1=2
1=2
;1=2
obtenus en prenant les milieux des segments qui forment T . On a
Z 4 Z
X
f= f:
@T i=1 @T0
(i)

Donc il existe i0 2 f1
::
4g tel que

 Z  1  Z 
 f   4  f :
(i0 )
@T
0 @T

On pose alors T1 = T0(i0 ) .

On construit par recurrence des triangles Tk de la mani ere suivante :
on suppose que Tk est deni, et on consid ere Tk(1)
::
Tk(4) les triangles sem-
blables a Tk de rapport 1=2
1=2
1=2
;1=2 obtenus en prenant les milieux
48
des segments qui forment Tk . On peut alors trouver ik 2 f1
::
4g tel que
 Z  1  Z 
 (i ) f    f :
@Tk k 4 @Tk
On pose alors Tk+1 = Tk(ik ).
On note fz~g = \n2NTn (intersection de compacts embo^tes de
le diam etre tend vers 0).
C dont
On a  Z   Z 
 f 
4k  f 
 Z  @T @T k
 

4 k  f (z) ; f (~z) ; (z ; z~) f (~z ) dz 
0
@T k
 f (z) ; f (~z) 
k

4 sup ja ; bj  long (@Tk )  sup 
 ; f (~z )
0
a
b2T k jz;z~j diam(Tk ) z ; z
~
 f (z) ; f (~z) 
k ; k

2 diam(T)  2 long (@T )  sup 

 ; f (~z ):
0
z2B (~z
2 diam(T))
; k z ; z
~
On en deduit que Z
f = 0:
@T
Lorsque z0 2 T , on coupe le triangle en quatre morceaux pour se
ramener au cas o u z0 est au sommet. Dans ce dernier cas, on coupe de
nouveau en quatre morceaux le triangle, celui qui contient le sommet etant
de mesure arbitrairement petite. Comme f est bornee, le resultat s'en de-

C
duit.
D
enition : Soit '  un ouvert et 1
2 : a
b] ! ' deux chemins
continus denis sur un m^eme intervalle.
1. On dit que 1 et 2 sont homotopes (dans ') lorsqu'il existe
H : a
b]  0
1] ! ' continue (des deux variables), dite homotopie de
chemins, telle que H (
0) = 1, H (
1) = 2.
2. Si 1 et 2 ont m^emes extremites, on dit qu'ils sont homotopes stricte-
ment (dans ') lorsqu'il existe H : a
b]  0
1] ! ' continue (des deux
variables), dite homotopie stricte de chemins, telle que H (
0) = 1,
H (
1) = 2, et
H (a
) = 1(a) = 2(a)
H (b
) = 1(b) = 2(b):

49
 3. Si 1 et 2 sont des lacets, on dit qu'ils sont homotopes au sens des
lacets lorsqu'il existe H : a
b]  0
1] ! ' continue (des deux vari-
ables), dite homotopie de lacets, telle que H (
0) = 1 , H (
1) = 2,
et H (
u) est un lacet pour tout u 2 0
1].

Remarque : L'homotopie de chemin, l'homotopie stricte de chemin et

l'homotopie de lacets sont des relations d'equivalence.
Remarque : Si 1
2 : a
b] ! ' sont des chemins denis sur un
m^eme intervalle et equivalents de m^eme orientation, ils sont homotopes
strictement: si est le changement de variables (2 = 1 o ), on pose
H (t
u) = 1((1 ; u) t + u (t)).
On voit donc que l'on peut denir l'homotopie pour les classes d'equiva-
lence de chemins (avec conservation de l'orientation), en se limitant a des
changements de variable conservant l'intervalle source. Mais cela permet
aussi de justier une denition de l'homotopie (et de ses variantes) pour
des chemins n'ayant pas le m^eme intervalle source. On utilise pour cela un
changement de variable ane par exemple, qui permet de se ramener au
m^eme intervalle. Tout autre changement de variables (conservant l'orienta-

C
tion) donnerait alors le m^eme resultat.
Th
eoreme : Soit '  un ouvert et f 2 H(')(ou f 2 H(' ; fz0g) \
C (')).
1. Si 1 et 2 sont des lacets continusR et C 1R par morceaux de ' homo-
topes au sens des lacetsR, on a 1 f = 2 f . En particulier si 2 est
le lacet reduit a un point, 1 f = 0.
2. Si 1 et 2 sont deux chemins continus et C 1 par morceaux
R de
R ' ayant
m^emes extremites et etant homotopes strictement, 1 f = 2 f .

Preuve : On ne la fait que dans le cas d'un ouvert ' convexe. Dans
ce cas les hypoth eses d'homotopie sur les chemins (ou lacets) sont en fait
automatiquement veriees. Si 1 et 2 sont deuc chemins de m^emes ex-
tremites, on prend en eet comme homotopie stricte la fonction H (t
u) =
(1 ; u) 1(t) + u 2(t). R
Soit z~ 2 '. On pose F (z ) = ~z
z] f , ce qui est bien deni car ' est
convexe.
On a Z Z
F (z + h) ; F (z) = f; f
~z
z+h] ~z
z]

50
 Z
= f
z
z+h]
d'apr es le theor eme de Goursat.
On en deduit que pour tout z 2 ' (et jhj assez petit),
 F (z + h) ; F (z)   1 Z 
  
; f (z )
 
h h z
z+h] f ; f (z)
 Z 1 
=  f (z + th) dt ; f (z )

0

sup jf (z1 ) ; f (z )j
jz1 ;zj jhj
et ceci tend vers 0 par continuite de f . On voit donc que F est une primitive
(holomorphe) de f .
On utilise alors le lemme (qu'il faut par ailleurs conna^tre pour lui-
m^eme) :
C
Lemme : Soit ' un ouvert de ,  : a
b] ! ' un chemin continu et C 1
par morceaux, et F , f des fonctions holomorphes sur ' telles que F 0 = f .
Alors, Z
f = F ((b)) ; F ( (a)):

Preuve du lemme : On a
Z ;1 Z ti+1
nX
f= f ( (t)) 0(t) dt
 i=0 ti
;1 Z t
nX i+1
= (F o  )0(t) dt
i=0 ti
nX
;1
= F ((ti+1 )) ; F ( (ti ))
i=0
= F ( (b)) ; F ( (a)):
Fin de la preuve : On voit R doncR que si 1 et 2 sont des chemins de
m^emesR extremites, on a bien 1 f = 2 f . Par ailleurs si  est un lacet,
alors  f = 0.

51
3.5 Indice d'un lacet par rapport
a un point

C C
D
enition : Soit z0 2 et  un lacet continu et C 1 par morceaux de
tel que z0 2=  (a
b]). On pose alors
Z dz
Indz0 ( ) = 2 1 i z ; z0 :


Z
Proposition : On a

C
1. Indz0 ( ) 2 ,
2. Si 1 et 2 sont des lacets homotopes au sens des lacets de ; fz0g,
alors
Indz0 (1) = Indz0 (2):
3. Pour tout  > 0,
Indz0 (
2 0
2] 7! z0 +  ei n  ) = n:

C
4. La fonction z0 7! Indz0 ( ) est constante sur les composantes connexes
de ;  (a
b]) et nulle sur l'unique composante connexe non bornee
de cet ensemble.
Preuve : On suppose (sans restreindre la generalite) que a = 0
b = 1.
On commence par prouver 1. On pose
Rt 0
G(t) = e2  i
 (s) ds
;
0  (s) z0 2  i :
On a alors R t 0(s) ds
G0(t) =  (t)(;t)z e2  i 0 (s);z0 2  i

0
0
d'o u
G0(t) =  0(t) :
G(t)  (t) ; z0
On en deduit que
 
d  (t) ; z0 =  0(t) G(t) ; ( (t) ; z0 ) G0(t) = 0:
dt G(t) G(t)2
D'o u
 (1) ; z0 =  (0) ; z0

G(1) G(0)
52
et G(1) = G(0) = 1. On a donc
R1 0
e2  i
 (s) ds
;
0  (s) z0 2  i = 1

et par consequent

Indz ( ) =
0
Z 1  0(s) ds
0  (s) ; z0 2  i 2 : Z
On admet 2.
On obtient 3. par le calcul:
1
Z 2 i n  ei n 
2  i =0  ei n  d
= n:

C C Z
Pour montrer 4., on remarque que z0 7! Indz0 ( ) est une fonction con-
tinue de ;  (a
b]) a valeurs dans . Elle est donc constante sur chaque
composante connexe de ;  (a
b]). De plus,
Z dz
lim
jz0 j!+1  z ; z0 = 0

C
si bien que l'on obtient un indice par rapport a z0 nul sur la composante
connexe non bornee de ;  (a
b]).
3.6 Formules de la moyenne et application a
l'analyticite
C
Proposition : Soit ' un ouvert de , f 2 H('), et soit  un lacet
continu et de classe C 1 par morceaux de ' homotope (au sens des lacets) a
un point. Alors pour tout z0 2 ' ;  (a
b]), on a
Z
f (z0) Indz0 ( ) = zf;(zz) 2dz i :
 0
En particulier si B (z0
r)  ', on a
Z f z dz Z 2
f (z0) = z ;
(
z
)
2  i = f (z0 + r ei  ) 2d
 = V MC (z0
r)(f )

C (z0
r) 0 =0
o u V M designe la valeur moyenne.

53
 Preuve : Pour tout z0 2 ', la fonction
 f (z);f (z )
si z 6= z0
0
z! z;z0
f 0 (z0)
si z = z0
appartient a H(' ; fz0 g) \ C ('). On a donc
Z f (z) ; f (z0) dz
 z ; z0 2  i = 0

d'o u Z f (z) dz 1 dz Z
= f (z0 )
 z ; z 0 2  i  z ; z0 2  i

C
= f (z0) Indz0 ( ):
Corollaire : Soit '  un ouvert et f 2 H('). Alors f est develop-
pable en serie enti ere en tout point z0 de ' (c'est- a-dire analytique), de
C
rayon de convergence au moins egal a supfr > 0
B (z0
r)  'g. En parti-
culier la -derivee f 0 de f est dans H(') (et de m^eme toutes les -derivees
successives de f ). Enn, f~ 2 C 1 ('~ ).
C
Preuve : Soit a 2 B(z0
r), o u B(z0
r)  '. Alors
Z f (z ) dz
f (a) =
C (z0
r) z ; a 2  i
Z f (z) dz
= a ;z0 ) 2  i
C (z0
r) ( z ; z 0 ) (1 ; z;z0
Z X
+1
= (a ; z0 )k (z ;f (zz ))k+1 2dz i :
C (z0
r) k=0 0
Pour pouvoir appliquer le theor eme de convergence dominee, on remarque
que  f (z)  dz
Z X
+1
ja ; z0j 
k 
C (z0
r) k=0 (z ; z0 )k+1  2 
Z +1
ja ; z j k dz
X

jjf jjL1(B (z0
r)) 0
C (z0
r) k=0 r 2r
jjf jjL1(B (z0
r))

:
1 ; ja;rz0 j
54
Donc on obtient
X
+1 Z f (z ) dz :
f (a) = (a ; z0 )k +1
k=0 C (z0
r) (z ; z0 ) k 2i
Comme  Z f ( z ) dz
 jjf jjL1(B(z
r))
 


C (z
r) (z ; z0 )k+1 2  i 
0

0
rk
on voit que f est egale sur B (z0
r) a une serie enti ere (centree en z0 ) de rayon
de convergence au moins egal a r. On en deduit que f est analytique sur '.
De plus, on sait que f 0 est encore egale a une serie enti ere (centree en z0 ) de

C C
rayon de convergence au moins egal a r (Cf. chapitre 1), et donc f 0 2 H(')
(toujours Cf. chapitre 1). Finalement, toutes les -derivees successives de
f sont holomorphes sur , puis (comme les dierentielles successives de f~
s'expriment en fonctions de ces derni eres), on voit que f~ 2 C 1 ('~ ).

C Proposition (formule de Cauchy pour les derivees): Soit ' un ouvert

de , f 2 H('), et soit  lacet continu et de classe C 1 par morceaux de ',
homotope (au sens des lacets) a un point. Alors pour tout z0 2 ' ;  (a
b]),
f (k)(z0) Ind ( ) = Z
on a
f (z) dz :
k! z 0
(z ; z )k+1 2  i
 0
En particulier si B (z0
r)  ', on a
f (k)(z0) = Z f (z ) dz = Z 2  f (z + r ei  ) e;i k  d
:
0
k! C (z0
r) (z ; z0 )k+1 2  i =0 2 rk
Preuve : Pour tout z0 2 ', la fonction
 f (z);P k
p=0f (z )
(p)
0
(z ;z0 )p
p!
si z 6= z0

z 7! f
(z z )
; 0 k+1
(z )
(k +1)
(k+1)!
0
si z = z0
appartient a H(' ; fz0g) \ C (') (en utilisant la formule de Taylor{Young
ou l'analyticite de f ).
On en deduit que
Z f (z ) dz = X f (z0) Z (z ; z )p;k;1 dz :
k (p)
0
 (z ; z0 )k+1 2  i p=0 p!  2i

55
Mais pour p 6= k, la fonction z 7! (z ; z0)p;k;1 admet une primitive holo-
morphe sur ' ; fz0 g, donc
Z f (z) dz f (k)(z0) Z 1 dz f (k)(z0)
= k! = k! Indz0 ( ):
 (z ; z0 )k+1 2  i  z ; z0 2  i
C
Th
eoreme (principe des zeros isoles) : Soit '  un ouvert connexe
et f 2 H('). Alors f ;1 (f0g) est ' tout entier, ou bien f ;1 (f0g) n'a pas de
points d'accumulation dans ' : c'est un ensemble ferme discret.
Preuve : Soit z0 2 ' un zero de f . On a (au voisinage de z0)
X
+1
f (z ) = bi (z ; z0)i

i=k
avec bk 6= 0 (k est alors appele valuation de f en z0 et note vz0 (f )), ou bien
f est nulle sur un voisinage de z0 . Dans le premier cas, on a donc
f (z ) = (z ; z0)k (z )

o u est holomorphe sur un voisinage de z0 et ne s'annule pas (sur ce voisi-
nage). On en deduit que z0 est isole.
On a donc montre que les zeros de f sont isoles sauf si f est nulle a leur
voisinage. On conclut par un argument de connexite. Soit X l'ensemble des
points d'accumulation de zeros de f dans '. Cet ensemble est clairement
ouvert d'apr es ce qui prec ede. De plus, il est ferme car si zk 2 X et zk ! z ,
avec z 2 ', soit tous les zk sont egaux sauf un nombre ni d'entre eux, et
donc z est l'un des zk et il est dans X , soit ce n'est pas le cas et alors z est

C
encore dans X . Comme ' est connexe, X est vide ou X = '.
Corollaire (Unicite du prolongement analytique) : Soit '  un
ouvert connexe et f
g 2 H('). Si f = g sur A  ' admettant un point

CR
d'accumulation dans ', alors f = g sur '.
Exemple : La determination principale du logarithme sur ; ; est
R
le seul prolongement analytique sur cet ensemble de la fonction log denie

C Z
sur +.
Exemple : Pour prolonger la fonction ; sur ; ;, on utilise la
formule (vraie pour Rez > 0)
z + n) :
;(z ) = z (z +;(1) :: (z + n)

56
3.7 Fonctions meromorphes et theor
eme des residus
C
D
enition : Soit z0 2 , et f 2 H(' ; fz0g), o u ' est un voisinage
ouvert de z0 . Lorsque
X
m
a;i
f (z ) = (z ; z0 )i
+ oz!z0 (1)

i=0
on dit que f admet en z0 un p^ole. On appelle alors residu de f en z0 le
coecient a;1 et on le note Resz0 (f ).
D
enition : Soit '  C
un ouvert, et f 2 H(' ; S ), o u S  '
est un ensemble discret ferme (dans ') (on peut aussi dire ni sur tout
compact) tel qu'en tout point de S , f admette un p^ole. On dit alors que f
est meromorphe sur '.
Remarque : Une fonction meromorphe sur ' n'est pas a priori denie
sur ' tout entier. On introduit parfois un point a l'inni 1, valeur de f
en tous les points de S . Cela permet de denir de mani ere coherente la
sommme et le produit pour des fonctions meromorphes.
Th
eoreme (Theoreme des residus) : Soit ' un ouvert de et  un C
C
lacet continu et C 1 par morceaux de ', homotope (au sens des lacets) a un
point, f : ' ! une fonction meromorphe, S l'ensemble de ses p^oles. On
suppose que S \  (a
b]) = . Alors on a
Z X
f = 2 i Inds( ) Ress(f )

 s2 S
et cette somme ne fait intervenir qu'un nombre ni de termes non nuls.
PreuveP:m On la fait dans le cas o u S est ni. Pour s 2 S , on note
Ps (f )(z) = ;i
i=1 a;i
s (z ; s) la partie singuli ere de f en s. La fonction g
s

denie par X

g(z) = f (z ) ; Ps (f )(z)
s2S
est holomorphe sur ' (Cf. exercices). En appliquant la formule de Cauchy
a g , on trouve Z X Z
f; Ps(f ) = 0:
 s2Im(H )\S 

57
Mais Z ZX
ms
Ps (f ) = a;i
s (z ; s);i
  i=1
= 2 i Inds( ) Ress(f ):
C
En eet, z 7! (z ; s);i admet une primitive sur ; fsg pour i 6= 1.
C
Exemple : Pour P
Q 2 X ], Deg(Q)  DegP + 2, P ^ Q = 1, et Q
n'ayant pas de racines reelles, on a
Z +1 P (x) X

P (z ) :
;1 Q(x) dx = 2 i Q(z0 )=0
I m(z0 )>0 Resz0 z 7! Q (z )
R
Ainsi 0+1 1+dxx4 = 2 p 2 .

3.8 Exercices
Exercice 1 : En considerant le triangle de sommets 0
R et (1 + i) R et
la fonction Rz 7! e;z2 =2, calculer
R (et demontrer la convergence) des integrales
de Fresnel 0+1 cos(t2 ) dt et 0+1 sin(t2 ) dt.
Exercice 2 : CalculerR +la1transform ee de Fourier d'une Gaussienne cen-
tree reduite, c'est{ a{dire ;1 e;i x ;x2 =2dx .
C
Exercice 3 : Soit '  un ouvert et f 2 H('). Montrer que (f~1 =
(f~2 = 0. On dit que f~1
f~2 sont harmoniques.
Exercice 4 : Rayon de convergence de tan
C
1. Montrer que tan est une fonction holomorphe sur ; f 2 + k 
k 2 g. Z
R
2. En etudiant tan sur au voisinage de =2, en deduire le rayon de
convergence de la serie enti ere qui denit tan en 0.
Exercice 5 : Theoreme de Liouville et theoreme de D'Alembert-Gauss

1. Montrer que toute fonction enti ere (holomorphe sur ) et bornee est
constante (on utilisera la formule de Cauchy pour les derivees n-i emes).
C
58
 C
2. Montrer que tout polyn^ome a coecients complexes de degre strictement
positif admet une racine au moins dans .
Exercice 6 : En utilisant un contour en forme de demi-cercle, calculer
f : !RR
la transformee de Fourier de la fonction
:
x 7! 1+1x2

Exercice 7 : Calculer pour  2]0
1 l'integrale

R +1 dx
en util-
0 x (1+x)
isant une determination holomorphe de la fonction puissance -i eme.
Resultat : sin( ) .
Exercice 8 : Calculer
R +1 log x
0 (1+x)3 dx en utilisant une determination
holomorphe du logarithme.
Resultat : ;1=2.
C
Exercice 9 : Soit ' un ouvert de , z0 2 ' et f une fonction de
H(' ; fz0g) \ C ('). Montrer que f est en fait holomorphe sur ' tout
entier. On pourra considerer g : z 7! (z ; z0 )2 f (z ).

4 Espaces de Hilbert
4.1 Produit Hermitien

C C
D
enition : Soit H un espace vectoriel sur . On dit qu'une appli-
cation < j > de H dans est un produit Hermitien lorsqu'elle est lineaire
C
par rapport a la premi ere variable et antilineaire par rapport a la seconde
variable (i.-e. pour tout x
x1
x2
y
y1
y2 2 H , 
 2 ,
<  xjy >=  < xjy >
< xj y >=  < xjy >

< x1+x2jy >=< x1jy > + < x2jy >
< xjy1+y2 >=< xjy1 > + < xjy2 >)

a symetrie hermitienne (i.-e. pour tout x
y 2 H ,
< xjy >= < y jx >)

et denie positive (i.-e. pour tout x 2 H ,
< xjx > 0
et < xjx >= 0 () x = 0):
59
 Proposition (Inegalite de Cauchy-Schwarz) : Pour x
y 2 H , on a

C
j < xjy > j2
< xjx > < y jy > :
Preuve : On observe que pour t 2 , x
y 2 H , on a < x+t yjx+t y >
0. On en deduit que
jtj2 < y jy > +2 Re (t < xjy >)+ < xjx > 0:
On consid ere alors
t=j< xjy >

R
avec  2 . On obtient
< xjy > j

R
2 < y jy > +2  j < xjy > j+ < xjx > 0:
Puisque cette quantite ne change pas de signe lorsque  varie dans , on
en deduit que le discriminant (reduit) du trin^ome est negatif (ou nul). Ceci
fournit l'inegalite de Cauchy-Schwarz.
Proposition (Inegalite de Minkowsky) : Pour x
y 2 H , on a
p p p
< x + y jx + y >
< xjx > + < yjy >:
p
On en deduit que jjxjjH = < xjx > est une norme sur H .
Preuve : On a
< x + yjx + y >=< xjx > + < yjy > + 2 Re (< xjy >)

on obtient l'inegalite de Minkowsky en passant aux racines carrees et en
utilisant l'inegalite de Cauchy-Schwarz.
On verie alors facilement que toutes les proprietes des normes sont

ZC C
satisfaites.
Exemple : On peut considerer l2(
) = f(un)n2Z
un 2
Pn2Z junj2 <
+1g, muni du produit Hermitien
X
< (un )n2Zj(vn )n2Z>= un vn :

De m^eme,
R RC R C n2Z
L2(
) = ff : !
denies a un ensemble de mesure nulle
pr es
Rjf (x)j2 dx < +1g, muni du produit Hermitien
Z
< f jg >= f (x) g (x) dx:
R
60
 RC RC
Enn, L22;per (
) = ffR : !
denies a un ensemble de mesure nulle
pr es et 2 -periodiques, 02 jf (x)j2 dx < +1g, muni du produit Hermitien
Z 2
< f jg >= 21 f (x) g (x) dx:
0
4.2 Projection orthogonale, Bases Hilbertiennes
C
D
enition : On dit d'un espace vectoriel H sur muni d'un produit
Hermitien que c'est un espace de Hilbert lorsqu'il est complet (pour la norme
associee au produit Hermitien).
ZC R C RC
Proposition : Les espaces l2(
), L2(
) et L22;per (
) denis
RC RC
precedemment sont des espaces de Hilbert. De plus, les fonctions continues a
support compact sont denses dans L2 (
) (pour sa norme) et les fonctions
continues 2 -periodiques sont denses dans L22;per (
) (pour sa norme).
D
enition : Soit H un espace de Hilbert et P une partie de H . On
pose P ? = fx 2 H
8y 2 P
< xjy >= 0g. C'est un sous-espace vectoriel
ferme de H appele l'orthogonal de P .
Proposition : Soit H un espace de Hilbert et F un sous-espace vecto-
riel ferme de H . Il existe une unique application lineaire continue (de norme
egale a 1) p de H dans F telle que
8x 2 H
y 2 F
jjx ; p(x)jjH
jjx ; y jjH :
De plus, pour x 2 H , p(x) est caracterise par les relations :
p(x) 2 F
8y 2 F
< x ; p(x)jy >= 0:
En particulier, on a la decomposition H = F  F ? .
Corollaire : Soit H un espace de Hilbert. Si A est un sous-espace
vectoriel de H , on a
A = H () A? = f0g:
Preuve : L'implication dans le sens direct est evidente. L'implication
reciproque provient de la formule H = F  F ? appliquee a F = A.

61
 D
enition : Soit (en )n2A une famille d'elements de H . On dit que
c'est une base Hilbertienne de H lorsque
8n
p 2 A
< en jep >= np

et
V ect((en)n2A ) = H:
Proposition : Pour tout x 2 H , on a l'egalite
X
x= < xjen > en
n2A
(la convergence etant au sens de la norme de H ) et l'egalite de Parseval :
X
jjxjj2 = j < xjen > j2 :
n2A
Z
Preuve : On la fait pour A = . On note pN la projection sur le
sous-espace (ferme car de dimension nie) V ect((en )jnj N ). On verie (en
utilisant la caracterisation du projete) que
X
pN (x) = < xjen > en :
jnj N

On sait que jjx ; pN (x)jj ! 0 car V ect((en )n2A ) = H (donc pour " donne,
il existe xN 2 V ect((en )jnj N ) tel que jjx ; xN jj < ", et jjx ; pN (x)jj

jjx ; xN jj).
L'egalite de Parseval s'obtient en calculant
P la norme de x : jjxjj2 =
jjx ; pN (x)jj2 + jjpN (x)jj2, et jjpN (x)jj2 = jnj N j < xjen > j2. On conclut
en se souvenant que jjx ; pN (x)jj ! 0.

RC C
Proposition : La famille (x 2 7! einx )n2Zest une base Hilbertienne
de L22;per (
).
Preuve : La propriete d'othonormalite est evidente. Le fait que la
famille est totale est demontre en exercice.

RC
Corollaire : On retrouve les proprietes des series de Fourier (dans un
cadre un peu plus general) : pour f 2 L22;per (
), on a
Z 2
X 1
f (x) = 2 f (y ) e;i n y dy ei n x

n2Z 0

62
la convergence ayant lieu au sens de la norme de L22;per (
) (en partic- RC
ulier, attention au fait que f n'est deni que presque partout).
De plus, on a l'egalite de Parseval (toujours pour f 2 L22;per (
)) :
Z 2  Z 2 2
RC
X
2 jf (x)j2 dx =  f (y) e;i n y dy  :
0 n2Z 0

R R
Proposition : (Transformee de Fourier des fonctions de L2) Pour f 2
L1 \ L2( N ), on a f^ 2 L2( N ) et
jjf^jj2L2 (RN ) = (2 )N jjf jj2L2(RN ) :
Preuve : On la fait au niveau formel (sans se preoccuper de la validite
des calculs), et pour f a valeurs reelles.
D'apr es la formule d'inversion,
Z
(g  g )(x) = (2 );N ei x g^()2 d

R
N

si bien que Z
(g  g )(0) = (2 );N g^( )2 d:
R
N

En considerant g = f^, on obtient

Z Z
jf^( )j2 d = (2 );N f^^(y)2 dy
R N
Z
= (2 )N f (y )2 dy:
R RN
R
Comme L1 \ L2 ( N ) est dense dans L2( N ), on en deduit que la trans-
formee de Fourier se prolonge en une (quasi)-isometrie de L2( N ). R
4.3 Exemples d'operateurs
D
enition : Soit H un espace de Hilbert. On appelle operateur borne
sur H une application lineaire continue de H dans H . On appelle operateur
non-borne sur H une application lineaire de A dans H , o u A est un sous-

R R
espace dense de H (pour la norme de H ).
Exemple : Lorsque H = L2( N ), on prend souvent A = D( N).
Ainsi, les applications f 7! xi f et f 7! @xi f sont des operateurs non bornes.

63
 C
D
enition : Lorsque T est un operateur sur H (de domaine A), on dit
que u est un vecteur propre de T et  (2 ) une valeur propre de T lorsque
u 2 A ; f0g et Tu =  u.
Remarque : En dimension nie, on sait que pour une application
lineaire, l'injectivite et la surjectivite sont equivalentes. Ceci n'est plus le
cas en dimension innie, m^eme pour les operateurs bornes.
Exemple : Ainsi, on pose Td : (un)n2N 7! (un;1)n2N (avec Td(un)n2Nj0 =
0 et Tg : (un )n2N 7! (un+1 )n2N, operateurs de shift a droite et a gauche. On
voit que Ker(Td) = f0g (0 n'est donc pas valeur propre de Td ). Par contre
Im(Td) 6= H . Reciproquement, Ker(Tg ) 6= 0, mais Im(Tg ) = H .
D
enition : Soit T un operateur. On dit que T est formellement
autoadjoint si < Txjy >=< xjTy >, formellement antiautoadjoint si <
Txjy >= ; < xjTy > et formellement unitaire si < TxjTy >=< xjy >.
Exemple : L'operateur f 7! x f est formellement autoadjoint, l'operateur
f 7! f 0 est formellement antiautoadjoint, et l'operateur (2 );N=2 F est
formellement unitaire.
Proposition : Les valeurs propres d'un operateur formellement au-
toadjoint sont reelles, celles d'un operateur formellement antiautoadjoint
sont imaginaires pures, et celles d'un operateur formellement unitaire sont
de module 1. De plus, les vecteurs propres correspondant a des valeurs
propres dierentes pour de tels operateurs sont orthogonaux.

Z RC
Exemple : On consid ere l'operateur f 7! f 0 sur L22;per (
). Ses
valeurs propres sont les i n, avec n 2 . Ses vecteurs propres sont les
x 7! ei n x (connus pour former une famille orthogonale).
En fait ses vecteurs propres forment une base Hilbertienne, et cette sit-
R
uation se generalise a beaucoup de cas (mais pas toujours : il sut de con-
siderer le m^eme operateur sur L2 ( )). On peut montrer le resultat suivant :
Soit H un espace de Hilbert (separable) et T un operateur borne veriant
la propriete : T (B (0
1)) est (relativement) compact dans H . Alors si T
est formellement autoadjoint, il existe une base Hilbertienne de H formee
d'une suite de vecteurs propres de T . Les valeurs propres correspondantes
forment une suite de reels tendant vers 0. Si l'on remplace formellement au-
toadjoint par formellement antiautoadjoint, la suite de valeurs propres est
formee d'imaginaires purs. Il arrive (souvent) que T ne soit pas compact
64
 C
mais que pour un certain  2 , (T ;  Id);1 soit (bien deni et) compact.
Dans ce cas, on lui applique le theor eme.
Les crit eres de compacite dans les espaces de type L2 sont en general
compliques (en particulier il y a toujours dans ce type d'espace des fermes
R
bornes qui ne sont pas compacts, par exemple la boule unite fermee). Voici
un tel crit ere : si F est une famille bornee dans L2( N ) veriant
Z
lim sup jf (x)j2 dx = 0

R!+1 f 2F B (0
R)c
et Z
lim sup jf^( )j2 d = 0

R
R!+1 f 2F B (0
R)c

alors F est relativement compacte dans L2 ( N ).

En fait, on voit d'apr es ce crit ere qu'il faut se premunir des familles
o u \la masse part a l'inni" telles que 1jx;nj 1 et des familles \oscillantes"
telles que sin(n x) 1jxj 1.
4.4 Exercices
Exercice 1 : Le th
eoreme de projection. Soit H un espace de Hilbert,
< j > son produit Hermitien, et jj jj sa norme. On consid ere x 2 H et F
un sous-espace vectoriel ferme de H . Enn, on note d = inf y2F jjx ; y jj.
1. Montrer la \propriete de la mediane" :
 x + y 2  x ; y 2 1

8x
y 2 H
  +   = jjxjj2 + jjyjj2 :
2 2 2

N
2. On considere une suite (yn )n2N de F veriant jjx ; yn jj ! d. Montrer
que pour tout p
q 2 , on a

1 
2 2 1 2 1
jjyp ; yq jj
4 jjx ; yp jj + jjx ; yq jj ; jjx ; (yp + yq )jj : 2
2 2 2
En deduire que (yn )n2N est une suite de Cauchy de H , qui converge vers un
element de F que l'on notera pF (x), et qui verie jjx ; pF (x)jj = d.
C
3. En considerant pF (x) + " y , avec y 2 F , et " 2 , montrer que
< x ; pF (x)jy >= 0:
65
 4. Reciproquement, on suppose que z 2 F verie la propriete :
8y 2 F
< x ; zjy >= 0:
Montrer que z = pF (x).
5. Montrer que si F 6= f0g, alors pF est une application lineaire dont
la restriction a F est l'identite et qui est de norme triple egale a 1. Pour
cette derni ere propriete, on pourra remarquer que l'on a le \theor eme de
Pythagore":
8x 2 H
jjxjj2 = jjpF (x)jj2 + jj(pF ; Id)(x)jj2:

C
Exercice 2 : La famille (en : x 2 7! einx )n2Zest totale.
1. On consid ere la fonction
1 XN X n
FN (x) = N + 1 ei px :
n=0 p=;n
Montrer que
2 N +1
FN (x) = N 1+ 1 sin ( 2 2x x) :
sin ( 2 )

RC
2. Soit f : ! une fonction continue et 2 -periodique. On note
Z  sin2( N +1 y)
KN (f )(x) = N 1+ 1 2 y
2 f (x ; y ) dy:
; sin ( 2 )
Montrer que KN (f ) 2 V ect((en )jnj N ).
3. Montrer que
1 Z  sin2( N 2+1 y ) dy = 1:
N + 1 ; sin2 ( y2 )
Montrer que pour  > 0 (assez petit),
jKN (f )(x) ; f (x)j

2 jjf jj1 jf (x ; y ) ; f (x)j:

N + 1 sin2(=2) + jsup
yj 

66
En deduire que KN (f ) converge uniformement vers f lorsque N ! +1.

C RC RC
4. En utilisant la densite des fonctions continues et 2 -periodiques dans
les fonctions de L22;per (
) pour la norme de L22;per (
), montrer que
la famille (en : x 2 7! einx )n2Zest totale dans cet espace (c'est a dire que
l'espace vectoriel qu'elle engendre est dense).

5 Distributions
5.1 Necessite de deriver des fonctions non derivables
On consid ere un &uide de densite , de vitesse u = (u1
u2
u3) et de
temperature T . Chacune de ces quantites est une fonction des variables t et
x representant le temps et la position. On suppose que le &uide obeit aux
lois d'etat thermodynamiques
p = p(
T )
e = e(
T )

o u p est la pression du &uide, e son energie interne.
Les equations d'Euler des &uides compressibles s'ecrivent
@t  + divx ( u) = 0
(2)

@t ( ui) + divx( ui u) + @xi p = 0
(3)

2 
2 
@t  ju2j + e + divx ( ju2j + e + p) u = 0: (4)

R
Une version (tr es) simpliee de ces equations est le mod ele de Burgers,
dans lequel x 2 , et u  u(t
x) verie l'equation
@tu + u @xu = 0:
On ajoute la condition initiale u(0
x) = u0 (x).
Supposons que l'on dispose d'une solution u de classe C 1 (0
T ]  )
(supposee bornee) de l'equation de Burgers. On consid ere x0 denie par
R
0x0 (t) = u(t
x0 (t))
x0 (0) = x0:
Une telle fonction de C 1 (0
T ]) existe d'apr es le theor eme de Cauchy-Lipschitz
(et son extension parfois appelee theor eme des bouts).
67
 On voit que
d u(t
(t)) = @ u(t
(t)) + 0 (t) @ u(t
(t))
dt x0 t x0 x0 x x0

= @t u(t
x0 (t)) + u(t
x0 (t)) @xu(t
x0 (t))

= 0:
On en deduit que
u(t
x0 (t)) = u(0
x0 (0)) = u0(x0):
Donc
0x0 (t) = u0 (x0)

et
x0 (t) = x0 + u0(x0 ) t:
Finalement,
u(t
x0 + u0 (x0) t) = u0(x0):
Si u0 n'est pas croissante, alors on peut trouver x1 < x2 tels que u0(x1 ) >
u0(x2). Mais alors il existe t > 0 tel que x1 + u0 (x1) t = x2 + u0(x2) t. Si
t
T , on en deduit que u0(x1) = u0(x2), ce qui est absurde.
R
On en deduit que d es que u0 n'est pas croissante, alors il n'y a pas de
solution de classe C 1(0
T ]  ) (bornee) de l'equation de Burgers lorsque
T est assez grand.
Le m^eme type d'analyse est valable pour les equations d'Euler des &u-
ides compressibles. Au bout d'un temps T , sauf exception, il y a apparition
de singularites (discontinuites) dans les solutions de ce type d'equations (en
physique, on les appelle des chocs). Il faut alors pouvoir donner un sens aux
equations lorsque les inconnues ne sont pas derivables (et m^eme, en fait, pas
continues).
Finalement, on voit qu'il est necessaire de denir la derivee d'une fonc-
tion non derivable (et m^eme non continue).

68
5.2 Fonctions C 1
a support compact
R R
Soit : N ! une fonction continue. On rappelle qu'elle est a
support dans un ensemble ferme K si pour x 2 K c , (x) = 0. On dit qu'elle
R
est a support compact s'il existe R > 0 tel que pour x 2 B (0
R)c, (x) = 0
(Ac designe le complementaire de A, c'est{ a{dire N ; A). On peut verier
que cela signie bien que son support est compact !

R R R
D
enition : On note D( N ) l'ensemble des fonctions C 1 a support
compact de N dans .

R
La proposition suivante montre que l'on peut fabriquer de nombreuses
fonctions de D( N ).

R
Proposition
de L1( N ).
R R
: L'espace D( N ) est dense dans L1 ( N ) pour la norme

RPreuve R R R
: On commence par remarquer que L1c ( N ) est dense dans
1 N
R R
L ( ) pour la norme de L1 ( N ). En eet, si f 2 L1( N ), la suite
fn = f 1B(0
n) est dans L1c ( N) et converge vers f dans L1 ( N ) du fait

R R
du theor eme de convergence dominee.
R R
Il sut donc de montrer que D( N ) est dense dans L1c ( N ) pour la
norme de L1 ( N ). Pour cela, on consid ere f 2 L1c ( N ). Alors la suite
R
fn = f  n, o u n est une suite regularisante, est de classe C 1 et converge
dans L1( N ) vers f . On conclut en remarquant que le support de fn est
inclus dans B (0
R + 1) si celui de f est inclus dans B (0
R).
5.3 Denition des distributions, convergence au sens des dis-
tributions

RR R
D
enition : On appelle distribution une forme lineaire (c'est{ a{dire
une application lineaire a valeur dans ) T sur D( N ) \continue", c'est{ a{
dire telle que pour toute fonction 2 D( N ), a support dans B (0
R),
X
j < T
> j
CR sup j@  (x)j:
jj pR x2RN

R
On note D0 ( N ) l'ensemble des distributions (c'est clairement un espace
vectoriel).

69
 R
A toute classe de fonctions f 2 L1loc ( N ) est associee une distribution
notee Tf denie par
Z
< Tf
>= f (x) (x) dx:
x2RN
En eet (si est a support dans B (0
R)),
j < Tf
> j
jjf jjL1(B (0
R)) sup j (x)j:
x2RN

On peut identier f a Tf gr^ace au resultat suivant d'unicite :

R
Proposition : Soit f
g 2 L1loc( N). Alors Tf = Tg ) f = g.
Preuve : On laR fait lorsque f
g sont bornees.
R
Il montre que (f ; g ) 1f ;g0 1B (0
R) = 0. Pour cela, on approxime
1f ;g0 1B (0
R) par des fonctions de D( N ) en posant hn = 1f ;g0 1B (0
R) 
n , o u n est une suite regularisante. On sait que hn est de classe C 1,
et que d'autre part le support de R hn est inclus dans B(0
R + 1). On en
R
deduit que (puisque Tf = Tg ), (f ; g ) hn = 0. Or hn ! 1f ;g0 1B (0
R)
dans L1 ( N ), et comme f ;Rg est supposee bornee, on en deduit du fait de
la convergence dominee que (f ; g ) 1f ;g0 1B (0
R) = 0. Donc f
g (p.p.)
sur B (0
R), et en changeant le r^ole de f et g , f = g (p.p.) sur B (0
R). On
conclut en prenant R arbitrairement grand.
Attention : a deux fonctions egales presque partout correspondent la
m^eme distribution.
De nombreuses distributions existent qui ne sont pas de la forme Tf .
En particulier, la masse de Dirac 0 denie par < 0
>= (0), et ses
derivees < @ 0
>= (;1)jj @  (0). On denit egalement (pour N = 1)
les distributions
1 Z ;" (x) Z +1 (x)
< vp( )
>= lim
x "!0 ;1
dx +
x dx x
"
et
1 Z (x) ; (0) ; x 0(0)
< Pf ( )
>=
x2 dx:
x2

70
 R R
D
enition : On dit d'une suite de distributions (Tn)n2N (sur
qu'elle converge vers une distribution T lorsque 8 2 D( N ), < Tn
>!<
N)

T
>.
R R R
Exemple : Si fn ! f dans L1( N ), alors Tfn ! Tf dans D0( N).
Mais attention, une suite de fonctions peut converger dans D0 ( N ) vers
R
une distribution qui n'est pas une fonction : ainsi, les suites regularisantes

R R R
convergent vers 0 . Enn, si Tfn ! Tf dans D0 ( N ), alors on n'a pas
necessairement Tfn2 ! Tf 2 dans D0 ( N ). Ainsi, sin(nx) ! 0 dans D0 ( ),
mais sin(nx)2 ! 1=2 dans D0 ( ).
5.4 Derivation et multiplication
R
D
enition - Proposition : Pour 2 C 1( N ) et T 2 D0( N), on
note T la distribution denie par
R
< T
 >=< T
 > :
Pour montrer qu'il s'agit bien d'une distribution, on utilise les formules de
Leibnitz.
Proposition : On prolonge ainsi la multiplication des fonctions, autrement
dit Tf = T f .
Preuve : Pour toute fonction test ,
< Tf
 >=< Tf
 >
Z
= f 
=< T f
 >
Attention : on ne peut multiplier en general une fonction peu reguli ere
par une distribution, encore moins deux distributions.
Exemple : x vp( x1 ) = 1 (ou plus precisement T1), 0 = (0) 0.
R
D
enition - Proposition : Pour T 2 D0( N ), on note @ T la distri-
bution denie par
< @ T
 >= (;1)jj < T
@  > :

71
On verie immediatement qu'il s'agit d'une distribution.

R
Proposition : On prolonge ainsi la derivation (-i eme) des fonctions
de classe C jj, autrement dit pour f 2 C jj( N ), @  Tf = T@ f
Preuve : Pour toute fonction test , et f 2 C jj( N), R
< @ Tf
>= (;1)jj < Tf
@  >
Z
= (;1)jj f (x) @  (x) dx
Z
= @  f (x) (x) dx
=< T@ f
> :
On calcule la derivee au sens des distributions des fonctions d'une vari-
able ayant des discontinuites simples (parfois dites \de premi ere esp ece")

R R
gr^ace a la \formule des sauts" :
Proposition : Soit f une fonction de dans , de classe C 1 par
morceaux. On note (xi )i2I l'ensemble (ferme discret) de ses points de dis-
continuites, et fi = limx!xi f (x). Alors,
X
(Tf )0 = f 0 + (fi+ ; fi; ) xi :

R
i2I
Proposition : Dans 3, on a
;((Tx7!jxj;1 ) = 4  0 :
Preuve : On note n(x) = ; jxxj la normale exterieure a B(0
")c. Pour
une fonction test , on calcule
Z
< ;((jxj;1)
>= ; jxj;1 ( (x) dx
R 3
Z
=; jxj;1 ( (x) dx + O("2 )
B (0
")c
Z Z
= r(jxj;1) r (x) dx ; jxj;1 r (x) n(x) d (x) + O("2 )
ZB(0
") S (0
")
c
Z
= ;jxj;3 x r (x) dx + ";1 r (x) x d (x) + O("2)
B (0
")c S (0
") jxj
72
 Z Z
= r (jxj;3 x) (x) dx ; jxj;3 x n(x) (x) d (x)+ O(")
B (0
") c S (0
")
Z
= jxj;2 (x) d (x) + O(")
S (0
")
Z
= "2 ";2 (" y ) d (y ) + O(")
S (0
1)
= 4 (0) + O("):
Remarque : Le m^eme calcul montre que pour tout y 2 3, R
;((Tx7!jx;yj;1 ) = 4  y :
Ceci permet de faire le lien entre l'equation de Poisson de l'electrostatique
et le potentiel cree par une charge ponctuelle.
Proposition : La multiplication par une fonction C 1 et la derivation
sont des operations continues pour la convergence au sens des distributions.
5.5 Convolution et transformee de Fourier des distributions

T
(x ; ) >. La fonction T  est de classe

R
Proposition : Pour T 2 D0( N ) et 2 D( N ), on pose (T  )(x) =<
C1
R Rsur N et verie
@ (T  ) = T  (@  ) = (@  T )  :
R
Proposition : Pour 2 D( N ), on a 0  = , plus generalement
@ 0  = @  .
Corollaire : Pour f 2 D( 3), on a

Z
R
;(
f (y ) dy = f (x):

R
4 jx ; y j
Cette formule permet d'inverser le Laplacien sur 3. On dit que (x
y ) 7!
; 4 jx1;yj est la fonction de Green de cet operateur.
Remarque : En fait, il est possible de denir la convolee de deux dis-
tributions dans beaucoup de situations (par exemple pour deux distributions
dont l'une est a support compact), mais pas en toute generalite.

73
 Pour denir la transformee de Fourier des distributions, on se heurte
au probl eme suivant : comme
Z Z
f^( ) ( ) d = f (x) ^(x) dx

R
RN RN
on est amene a poser pour T 2 D0 ( N ),
< F T
>=< T
F > :
R R
Mais lorsque 2 D( N ), on ne peut avoir F 2 D( N ) (sauf si = 0 p.p.).
C'est en eet une des versions du principe d'incertitude de Heisenberg : on
peut s'en rendre compte en developpant x ! e;i x en serie enti ere.

C1
Pour resoudre ce probl eme, on introduit l'espace S ( N ) des fonctions
a decroissance rapide :
R
D
enition : On pose
R RC
S ( N ) = ff 2 C 1 ( N
)
8 2 N
l 2
N N
9 C
l  0
j@ f (x)j

C
l g:

RC R R
(1 + jxj2)l
Exemple : Les fonctions de D( ) sont dans S ( ). Mais les fonctions
R
de la forme x 7! P (x) e;x2 =2, o u P 2 X ], sont egalement dans S ( ), alors
qu'elles ne sont pas dans D( ).
R
L'inter^et des fonctions de S ( N ) pour la transformee de Fourier provient
de la proposition suivante :
R R
Proposition : Pour f 2 S ( N), on a f^ 2 S ( N).
R
On denit maintenant l'espace S 0( N ) des distributions temperees :

R R N
D
enition : On appelle S 0( N ) l'ensemble des formes lineaires T sur
S ( N ) veriant la propriete suivante : 9p
q 2 , C  0,
R
8 2 S ( N )
j < T
> j
C sup (1 + jxj2)q j@  (x)j:
x2RN
jj p
Exemple : Toute fonction a croissance polyn^omiale, et m^eme toute
derivee (au sens des distributions) de fonction a croissance polyn^omiale, est

74
une distribution temperee. Par contre, une fonction a croissance trop rapide,
m^eme C 1 , telle que x 7! ex , ne denit pas une distribution temperee.
R
D
enition - Proposition : Pour T 2 S 0( N ), on pose
< F T
>=< T
F > :
On denit ainsi une distribution temperee.
Remarque : Cette denition de la transformee de Fourier prolonge
R
celle de la transformee de Fourier des fonctions de L1. En d'autres termes,
pour f 2 L1 ( N ), T^f = Tf^.
Exemple : ^0 = Tx!1.
Les formules obtenues pour la transformee de Fourier dans L1 se pro-
longent pour la plupart a la la transformee de Fourier dans S 0 d es qu'elles
gardent un sens.
Ainsi,
@ ^ d d
@T ^
@i T = ;i xi T
@xi = i i T:
De m^eme, on a la formule d'inversion de Fourier :
FF T = (2 )N T (; ):
On deduit de ces formules de nombreuses transformees de Fourier.

Ainsi, en dimension 1,
b00 = Tx!ix
Tx!1 = 2 0 :
De m^eme, en dimension 3, on peut montrer (mais c'est un peu plus dicile)
que F (x 7! jxj;1) = ( 7! 4 j j;2), ce qui est une reinterpretation de la
formule donnant la solution elementaire du Laplacien. On verra au chapitre
suivant d'autres calculs de solution d'EDP a partir de la transformee de
Fourier.

75
5.6 Exercices
Exercice 1 : La convol
ee d'une distribution et d'une fonction test est
r
eguliere.

R R R
1. En utilisant la formule de Taylor avec reste integral a l'ordre 2,
montrer que si 2 D( ), alors pour tout x 2 , jhj
1, et I intervalle
borne de , la norme innie sur I de la derivee k-i eme (k 2 quelconque) N
de la fonction y 7! (x + h ; y ) ; (x ; y ) ; h 0(x ; y ) est majoree par une
constante fois jhj2.
R
2. En deduire que si T est une distribution sur , alors T  est une
fonction de classe C 1 de derivee T  0 . Montrer par recurrence que T 
est une fonction de classe C 1 .
3. Generaliser le resultat precedent en dimension N > 1.

R R
Exercice 2 : La transform
ee de Fourier envoie S ( N) dans lui-m^eme, et
S 0 ( N ) dans lui-m^eme.

que
R N N
1. Soit f 2 S ( N ),  2 N et l 2 . Montrer qu'il existe C > 0 telle
jj(1 + j j2)l @ f^jj1
C jj(Id ; ()l (i )f ]jjL1 :
2. En deduire que
X Z
jj(1 + j j2)l @  f^jj1
C jxjb j@  f (x)j dx:
jbj jj
j j 2l
3. Montrer que pour tout " > 0,
jj(1 + j j2 )l @ f^jj1
C" sup jj(1 + j j2)(N +jj)=2+" @  f jj1 :

R
j j 2l

En deduire que S ( N ) est invariant par la transformee de Fourier.

4. Montrer que si T est une distribution temperee, alors F T est egale-
ment une distribution temperee.
Exercice 3 : Montrer que vp(1=x) est une distribution (sur ). Montrer
qu'elle est limite au sens des distributions de la suite x1 1jxj1=n.
R
76
 R
Exercice 4 : Montrer que Pf (1=x2) est une distribution (sur ). Montrer
qu'elle est limite au sens des distributions de la suite x12 1jxj1=n .
R
Exercice 5 : Resoudre dans D0( ) l'equation x T = 0, puis l'equation
T 0 = 0, et enn l'equation T 0 = T .
Exercice
p 6 : Calculer la derivee au sens des distributions de la fonction
x 7! jxj, puis la derivee et la derivee seconde au sens des distributions de
la fonction x 7! log jxj.

6 Equations aux d
eriv
ees partielles

6.1 Equations d'ordre 1 : la methode des caracteristiques
Pour resoudre les equations d'ordre 1 du type
@tu + a(t
x) @xu = 0

u(0
x) = u0 (x)

R
o u l'inconnue est u  u(t
x), avec t  0
x 2 , on introduit l'equation
dierentielle dite caracteristique
0x0 (t) = a(t
x0 (t))

x0 (0) = x0:
Si a a de bonnes proprietes, alors gr^ace au theor eme de Cauchy, x0 est
bien denie pour t  0. On remarque que si x0 est une solution de cette
equation, alors
d (t 7! u(t
(t))) = 0:
dt x0
En eet,
d (t 7! u(t
(t))) = @ u(t
(t)) + 0 (t) @ u(t
(t)):
dt x0 t x0 x0 x x0
Alors u(t
x0 (t)) = u0 (x0 ) : on dit que u est constante le long des
caracteristiques.
On conclut en posant x = x0 (t) et en \resolvant" cette equation en x0 (on
remonte les caracteristiques). On obtient ainsi l'expression de x0 en fonction
de x et t : x0 = g (t
x). Ainsi, on peut exprimer:
u(t
x) = u0(g (t
x))
77
 Exemple : Si on consid ere l'equation @t u + c @x u = 0, o u c est une
constante, on retrouve la solution classique u(t
x) = u0(x ; c t).
En eet, les caracteristiques sont x0 (t) = x0 + c t. On trouve alors que
x0 = x ; c t = g(x
t) le long des caracteristiques ce qui nous donne la
solution.
Remarque : cette methode dite methode des caracteristiques fonc-
tionne aussi si l'inconnue u est fonction de plusieurs variables (en plus de t),
et que l'on a une EDP du type
X
@t u + ai @xi u = 0:
i
Les caracteristiques sont alors des courbes en dimension superieure, que l'on
\remonte" de la m^eme mani ere. Par contre, cette methode ne marche plus
quand u est a valeur vectorielle.
Strictement parlant, ce calcul est une \analyse" du probl eme, qui per-
met de trouver un unique \candidat-solution". En fait on verie qu'il s'agit
eectivement d'une solution (on peut le faire directement sur les cas pra-
tiques).
Les courbes caracteristiques s'interpr etent comme les isovaleurs (ou
courbes de niveau) de la solution de l'EDP.
Exemple : Considerons l'equation:
@t u ; y @x u(t
x
y) + x@y u(t
x
y) = 0

u(0
x) = u0(x):
Alors, par la methode des caracteristiques, on trouve comme solution pos-
sible du probl eme:
u(t
x
y ) = u0(x cos(t) + y sin(t)
y cos(t) ; x sin(t)):
On peut verier directement que c'est bien une solution au probl eme.

78
6.2 L'equation de la chaleur
On consid ere le probl eme de Cauchy suivant:
(@t ; (x )u(t
x) = 0
sur ]0
+1 N R
o u u0 est continue, bornee et dans L1( N ).R
u(0
x) = u0 (x)

On commence par l'analyse du probl eme: soit u une solution. On utilise la

transformee de Fourier partielle (en x) de u notee u~. On a :
(@t + j j2)~u(t
 ) = 0
sur ]0
+1 N R
u~(0
 ) = u^0 ():
On peut alors resoudre ce probl eme :
u~(t
 ) = u^0 () e;t j j2
jxj
2
e; 4 t ,
Or, si l'on consid ere, a t > 0 xe, la fonction Et(x) = ( 4 t)
p on peut
N
observer que sa transformee de Fourier (en x) est:
E^t ( ) = e;t j j2 :
On a donc un produit de deux transformees de Fourier, qui est egal a la
transformee de Fourier du produit de convolution (en x). Ainsi,
^
u~(t
) = u0  Et( )
On obtient donc l'egalite des fonctions presque partout:
1 Z jx;yj2
u(t
x) = p N N e; 4t u0(y ) dy
( 4 t) R
Il reste a verier que l'on a bien trouve une solution.
Proposition : Si la fonction u0 est continue, bornee et integrable, alors
la fonction u donnee par :
1 Z jx;yj2
u(t
x) = p N N e; 4t u0(y ) dy
( 4 t) R

79
 RR
est de classe C 1 dans ]0
+1 N et verie l'equation de la chaleur. De
plus u est continue sur 0
+1 N .

R
Remarque : Si on suppose juste que u0 bornee et integrable, on a
seulement que u(t
:) converge vers u0 dans L1 ( N ) quand t tend vers 0.
Enn si u0 est seulement bornee, alors on doit se contenter de la convergence
presque partout de u(t
x) vers u0(x) quand t tend vers 0.

R
Preuve : En utilisant le theor eme de derivation sous le signe somme
dans les domaines ]"
+1 N , on montre que u est bien C 1 sur ]0
+1 N . R
On en deduit aussi l'expression des derivees partielles de u (on fait ici le cal-
cul dans le cas N=1) :
Z  ;1 jx ; yj2j  jx;yj2
@tu = p + 2p e; 4t u0(y ) dy
R t 4  t 4 t 4  t
et
1 Z ;(x ; y) jx;yj2
@x u = p e; 4t u0(y ) dy

4 t R 2 t
1
Z  ;1 jx ; yj2  jx;yj2
@xxu = p + 4 t2 e; 4t u0(y ) dy:
4 t R 2 t
Ainsi (@t ; @xxR)u(t
x) = 0 sur ]0
+1 .
Enn, comme RN Et(x)dx = 1, on a :
R
Z
u(t
x) ; u0(x) = N p 1 N e; 4t (u0(x ; y ) ; u0 (x)) dy
jyj2
R ( 4 t)
Z p
p 1 N e; 2 (u0(x ; 2 t y ) ; u0 (x)) dy

jyj2
=
RN ( 2 )
et on conclut par convergence dominee, car u0 est bornee et continue.
6.3 Exercices
Exercice 1 : On consid ere l'EDP du premier ordre
@t u(t
x) + (x + t) @xu(t
x) = (1 + x + t) u(t
x)
(E )
munie de la condition initiale u(0
x) = u0 (x).
1. Calculer la fonction x0 (t) denie par l'equation dierentielle
0x0 (t) = x0 (t) + t

80
munie de la condition de Cauchy u(0
x) = u0 (x).
2. Soit u une solution (de classe C 1) de (E). On pose x0 (t) = u(t
x0 (t)).
Trouver une equation dierentielle (et une condition de Cauchy) satisfaite
par x0 . Resoudre ce probl eme de Cauchy.
3. En deduire une formule explicite pour la solution de (E). Verier
que cette formule fournit eectivement une solution.
Exercice 2 : La solution
el
ementaire de l'
equation de la chaleur
R R
1. Montrer que sur +  ,

e; j j 
x2
4t
(@t ; (x ) p = 0:

RR
4 t
2. Montrer que pour 2 D(  ),
jxj2
; 4t
< (@t ; (x )(1t>0 ep )
>
4 t
 Z e; j j +1 Z " Z e; j j
x2
4t
x2
4t
=; p dx + p (;@t ; (x ) dxdt:
R 4 t " 0 R 4 t
3. Montrer que pour 2 D(  ), RR
jxj2
; 4t
< (@t ; (x )(1t>0 ep )
>
4 t
Z e; j j py2
2
= p ("
2" y ) dy + O("):
2
R
En deduire la solution elementaire de l'equation de la chaleur.
Exercice 3 : L'
equation des ondes en dimension 1
Soit u une solution reguli ere et a decroissance susamment rapide dans
la variable x de l'equation
@ttu(t
x) ; @xxu(t
x) = 0
(O )
u(0
x) = u0 (x)

81
 @t u(0
x) = u1(x):
1. Montrer que la transformee de Fourier en x de u (notee u^) est donnee
par la formule
u^(t
) = u^ () cos(t ) + u^ ( ) sin(t ) :
0 1 
2. Calculer la transformee de Fourier des distributions 21 (t + ;t ) et
1;t
t].
3. Montrer que
Z x+t
u(t
x) = 12 (u0(x + t) + u0 (x ; t)) + 21 u1(z) dz
x;t
est \la" solution de l'equation des ondes (O).
Exercice 4 : L'
equation des ondes en dimension 3
R
Pour t > 0, on denit jxj=t comme element de D0 ( 3) a l'aide de la
formule Z
< jxj=t
>= (t ) d

R
pour 2 D( 3).
2S 2

1. Montrer que
F (jxj=t) = T !4 sinc (t j j):
2. En deduire \la" solution de l'equation des ondes en dimension 3
@tt u(t
x) ; (x u(t
x) = 0
(O3)
u(0
x) = u0 (x)

@t u(0
x) = u1(x)

en utilisant une derivee en temps pour le terme faisant intervenir u0 (on ne
cherchera pas a justier les calculs).

82