Vous êtes sur la page 1sur 70

Mthodes Mathmatiques

E.S.P.C.I
Premire anne
Elie Raphal
Polycopi des lves rdig partir du cours
2012 2013

2
Ce polycopi a t rdig sous LATEX 2 par Jacques Fattaccioli, lve de la 117e promotion, et retouch par Cllia
Canuel, Laure Mntrier, Thomas Pellegrini, et Faustine Vanhulle de la 118e, Aude Maguer, Nicolas Champavert
et Arnaud Spinelli-Audouin de la 119e, ainsi que Pierre Goudard de la 120e. La table des matires et lindex ont
t rajouts par Olivier Crauste de la 121e. Polycopi maintenu jour depuis 2005 par lquipe enseignante de
Mathmatiques. Sur la version lectronique du document, la table des matires et lindex renvoient directement par
lien hyertexte aux parties correspondantes.

Bibliographie
L. Schwartz
Mthodes Mathmathiques pour la Physique Hermann, 1961.
R. Petit
Loutil Mathmathique Dunod, 1998.
G. Auliac, J. Avignant, E. Azoulay
Technique Mathmathiques pour la Physique Ellipse, 2000.
N. Boccara
Fonctions Analytiques Ellipses, 1996 ;
Intgration Ellipses, 1995 ;
Distributions Ellipses, 1995.
F. Roddier
Distributions et transformations de Fourier Ediscience, 1971.
K. Riley, M. Hobson, S. Bence
Mathematical Methods for Physics and Engineering Cambridge Univ. Press, 1998.
P. Morse and H. Feshbach
Methods of Theoretical Physics Mc Graw Hill, 1953.

Table des matires


1 Fonctions Analytiques
1.1 Le plan complexe . . . . . . . . . . . . . . . . . . . .
1.1.1 Rappels . . . . . . . . . . . . . . . . . . . . .
1.1.2 Topologie dans le plan complexe . . . . . . .
1.2 Fonctions dune variable complexe . . . . . . . . . .
1.2.1 Premires dfinitions . . . . . . . . . . . . . .
1.2.2 Limites et continuit . . . . . . . . . . . . . .
1.3 Intgration dans le plan complexe . . . . . . . . . . .
1.3.1 Introduction . . . . . . . . . . . . . . . . . .
1.3.2 Intgration le long dun chemin . . . . . . . .
1.3.3 Ingalit de Darboux . . . . . . . . . . . . . .
1.4 Intgration de fonctions analytiques . . . . . . . . .
1.4.1 Thorme de Cauchy et consquences . . . .
1.4.2 Formule intgrale de Cauchy . . . . . . . . .
1.4.3 Drivabilit n-ime des fonctions analytiques
1.4.4 Thorme du maximum . . . . . . . . . . . .
1.4.5 Thorme de Morera . . . . . . . . . . . . . .
1.4.6 Thorme de Liouville . . . . . . . . . . . . .
1.5 Sries de fonctions dune variable complexe . . . . .
1.5.1 Gnralits . . . . . . . . . . . . . . . . . . .
1.5.2 Sries entires . . . . . . . . . . . . . . . . . .
1.6 Sries de Taylor . . . . . . . . . . . . . . . . . . . . .
1.6.1 Srie de Taylor dune fonction analytique . .
1.6.2 Zro dune fonction analytique . . . . . . . .
1.7 Sries de Laurent et rsidus . . . . . . . . . . . . . .
1.7.1 Srie de Laurent . . . . . . . . . . . . . . . .
1.7.2 Points singuliers . . . . . . . . . . . . . . . .
1.7.3 Rsidu en un point singulier isol . . . . . . .
1.7.4 Thorme des rsidus . . . . . . . . . . . . .
1.7.5 Application des rsidus au calcul dintgrales
1.8 Lemmes de Jordan . . . . . . . . . . . . . . . . . . .
1.9 Fonctions multiformes : la fonction Ln . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

5
5
5
5
6
6
6
10
10
10
12
12
12
14
14
14
15
15
16
16
17
18
18
20
20
20
22
23
24
25
26
27

2 Intgrale de Lebesgue
2.1 Rappels sur lintgrale de Riemann . . . . . . . . . . .
2.2 Notion de mesure (mesure de Lebesgue) . . . . . . . .
2.3 Fonctions Lebesgue-mesurables . . . . . . . . . . . . .
2.4 Fonctions tages . . . . . . . . . . . . . . . . . . . . .
2.5 Intgrale de Lebesgue dune fonction tage positive .
2.6 Intgrale de Lebesgue dune fonction relle positive . .
2.7 Intgrale de Lebesgue dune fonction relle . . . . . . .
2.8 Intgrale de Lebesgue dune fonction valeurs dans C
2.9 Proprits de lintgrale de Lebesgue . . . . . . . . . .
2.10 Lien Riemann-Lebesgue . . . . . . . . . . . . . . . . .
2.11 Thorme de convergence domine . . . . . . . . . . .
2.12 Fonctions dfinies par des intgrales . . . . . . . . . .
2.13 Espaces fonctionnels L1 et L2 . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

29
29
29
31
31
32
33
33
34
34
35
36
36
37

TABLE DES MATIRES

2.14 Intgrale de Lebesgue dans IR2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

38

3 Transformation de Fourier
3.1 Dfinition et premires proprits . . . . . . . . . . . . . . . . . . . .
3.1.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.2 Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 Formules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.1 Transforme de Fourier de la drive . . . . . . . . . . . . . .
3.2.2 Transforme de Fourier de x 7 xf (x) . . . . . . . . . . . . .
3.2.3 Produit de convolution . . . . . . . . . . . . . . . . . . . . . .
3.2.4 Inversion de Fourier . . . . . . . . . . . . . . . . . . . . . . .
3.2.5 Application la rsolution dune quation intgrale . . . . . .
3.2.6 Fonctions sommables, de carr sommable . . . . . . . . . . .
3.2.7 Transforme de Fourier dune fonction de plusieurs variables .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

41
41
41
42
42
42
43
43
44
44
45
45

4 Transformation de Laplace
4.1 Dfinition . . . . . . . . . . . . . . . . . . .
4.2 Abscisse de sommabilit . . . . . . . . . . .
4.3 Proprits de la transforme de Laplace . .
4.3.1 Premires proprits . . . . . . . . .
4.3.2 Transforme de Laplace de la drive
4.4 Produit de convolution . . . . . . . . . . . .
4.5 Analycit de la transforme de Laplace . . .
4.6 Lien avec la transforme de Fourier . . . . .
4.7 Inversion de la transforme de Laplace . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

5 Distributions
5.1 Espace fonctionnel . . . . . . . . . . . . . . . . . . . . . . .
5.1.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . .
5.1.2 Fonctionnelle . . . . . . . . . . . . . . . . . . . . . .
5.1.3 Dual dun espace fonctionnel topologique . . . . . .
5.1.4 Espace fonctionnel D . . . . . . . . . . . . . . . . . .
5.1.5 Convergence dans D . . . . . . . . . . . . . . . . . .
5.2 Distributions . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . .
5.2.2 Distributions rgulires . . . . . . . . . . . . . . . .
5.2.3 Distribution de Dirac . . . . . . . . . . . . . . . . .
5.2.4 Valeur principale de Cauchy . . . . . . . . . . . . . .
1
5.2.5 Distribution Pf
. . . . . . . . . . . . . . . . . . .
x
5.3 Transforme dune distribution . . . . . . . . . . . . . . . .
5.3.1 Translation . . . . . . . . . . . . . . . . . . . . . . .
5.3.2 Dilatation . . . . . . . . . . . . . . . . . . . . . . . .
5.4 Support dune distribution . . . . . . . . . . . . . . . . . . .
5.5 Convergence dans D . . . . . . . . . . . . . . . . . . . . . .
5.5.1 Choix de la topologie . . . . . . . . . . . . . . . . . .
5.5.2 Suites de Dirac . . . . . . . . . . . . . . . . . . . . .
5.6 Drive dune distribution . . . . . . . . . . . . . . . . . . .
5.7 Convergence de la suite des distributions drives . . . . . .
5.8 Utilisation des distributions en mcanique . . . . . . . . . .
5.9 Produit de convolution . . . . . . . . . . . . . . . . . . . . .
5.10 Transforme de Fourier des distributions . . . . . . . . . . .
5.10.1 Introduction . . . . . . . . . . . . . . . . . . . . . .
5.10.2 Espace fonctionnel S . . . . . . . . . . . . . . . . . .
5.10.3 Transforme de Fourier dune distribution tempre
5.10.4 Transforme de Fourier du produit de convolution .
5.11 Distribution dans IR3 . . . . . . . . . . . . . . . . . . . . . .
5.11.1 Drives partielles . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

47
47
48
48
48
49
49
49
49
49

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

53
53
53
53
54
55
55
55
55
56
56
57

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

58
58
58
58
59
60
60
60
61
62
62
63
65
65
65
66
67
67
68

Chapitre 1

Fonctions Analytiques
1.1
1.1.1

Le plan complexe
Rappels

Soit z C, alors ! (x, y) IR2 tel que p


z = x + i y.
On dfinit le module de z comme |z| = x2 + y 2 .
y
On peut aussi reprer z par des coordonnes polaires, en posant : z = ei , avec tan = et = |z|.
x
On a :
si z = 0, alors nest pas dfini,
si z 6= 0, alors est dfini 2k prs.

1.1.2

Topologie dans le plan complexe

On dfinit une distance dans le plan complexe par :


(z1 , z2 ) C2 , d(z1 , z2 ) = |z1 z2 |
Dfinition :
On appelle disque ouvert de centre z0 et de rayon r > 0 lensemble :
D(z0 , r) = {z C/|z z0 | < r}
Im

z0
r0
Re
On appelle voisinage dun point z0 un disque ouvert quelconque de centre z0 .
Un sous-ensemble U est un ouvert de U si chaque z de U possde un voisinage entirement inclus dans U .
Le complmentaire par rapport C dun sous-ensemble ouvert est dit ferm.
On dfinit le disque ferm de centre z0 et de rayon r, D(z0 , r) = {z C/|z z0 | 6 r}.

Dfinition : Connexe
Un sous-ensemble U de C est connexe si deux points quelconques de U peuvent tre rejoints par une ligne polygonale
incluse dans U.
Si de plus U est ouvert alors il est appel domaine.

CHAPITRE 1. FONCTIONS ANALYTIQUES

U est simplement
connexe

1.2

U est doublement
connexe

U nest pas
connexe

Fonctions dune variable complexe

1.2.1

Premires dfinitions
Dfinition :

Soit U une partie de C. On appelle fonction dune variable complexe une application : f : U C. On a f (x + i y) =
u(x, y) + i v(x, y), o u et v sont deux fonctions relles de deux variables relles.

Exemples
f: C
x+iy
z
f: C
x+iy
z

f: C
x+iy
z

f: C
x+iy
z

1.2.2

C
7 x2 y 2 + 2i x y

7 z 2
C

7 x i y
7 z
C

7 ex cos y + i ex sin y
7 ez
(exponentielle complexe)

C
ey ey
eiz + eiz
ey + ey
cos x + i
sin x =
7
2
2
2
7 cos z
(cosinus complexe)

Limites et continuit

Limites
Dans la suite du paragraphe, on utilisera f : U C.

Dfinition :
Soit z0 U . On dit que f tend vers une limite l quand z z0 si :
> 0, () tel que |z z0 | < |f (z) l| <

1.2. FONCTIONS DUNE VARIABLE COMPLEXE

Im

Im
z

f(z)

z0
()

Re

Re

Remarque
Daprs la dfinition, f a une limite si elle tend vers la mme valeur suivant toutes les directions du plan. Pour
prouver que f nadmet pas de limite en un point il suffit de trouver deux directions dapproche de ce point telles
que la fonction ne tende pas vers la mme valeur suivant lune ou lautre.
Exemple
f : C \ {0}
x+iy
z
Pour x R :

C
2xy
x2 y 2
+i 2
7
x2 + y 2
x + y2
z
7

z
lim f (x) = 1

x0

Pour y iR :

lim f (i y) = 1

y0

Im

Im

Re

Re

f na donc pas de limite en 0.


Dfinition :
On dit que f admet une limite l quand |z| tend vers + si : > 0, A() IR+ tel que |z| > A |f (z) l| <

Continuit

Dfinition :
Soit z0 C, et f dfinie sur un voisinage de z0 . On dit que f est continue en z0 si :
f admet une limite finie en z0
lim f (z) concide avec f (z0 )
zz0

Proposition
f est continue si et seulement si les fonctions u(x, y) et v(x, y) dfinies prcdemment sont continues.

CHAPITRE 1. FONCTIONS ANALYTIQUES

8
Drive dune fonction dune variable complexe
Dfinition :

Soit z0 C, et soit f dfinie et continue sur un voisinage de z0 . On dit que f est drivable en z0 si lexpression :
f (z) f (z0 )
z z0
admet une limite quand z tend vers z0 .
On note alors cette limite f (z0 ).

Exemple
Considrons
la
fonction
f (z) = |z|2 . f est-elle drivable ?
On a :

dfinie

et

continue

sur

C,

et

telle

que

z
f (z0 + z) f (z0 )
= z0
+ z0 + z
z
z
Si z0 = 0, alors f (z0 ) = 0, f est donc drivable en 0.
Si z0 6= 0, alors on se ramne lexemple prcdent.
Donc f nest pas drivable en dehors de 0.
Proposition
Soient C et f, g : C C drivables. On a :
( f )

=
=

f + g
f g + f g

(f + g)
(f g)
 
f
g
(f g)

=
=

gf f g
, avec g(z) 6= 0
g2
g (f g)

Conditions de Cauchy-Riemann
Proposition
Soit f = u + i v une fonction dfinie et continue sur un voisinage de z0 . Si f est drivable en z0 = x0 + i y0 ,
alors u et v admettent en (x0 , y0 ) des drives partielles premires par rapport chacune de leurs variables, et
on a :
v
u
v
u
=
et
=
x
y
y
x
Dmonstration
Par hypothse f est drivable en z0 , donc f (z0 ) existe.
Pour
dmontrer
Cauchy-Riemann,
on

considrer
deux
directions
f (z0 + z) f (z0 )
en z0 est la mme
diffrentes pour aller vers z0 et on va utiliser le fait que la limite de
z z0
suivant toutes les directions.
approche suivant laxe rel (y = 0) :
lim

z0

f (z0 + z) f (z0 )
z

va

u(x0 + x, y0 ) u(x0 , y0 )
x
v(x0 + x, y0 ) v(x0 , y0 )
+ i lim
x0
x
u
v
(x0 , y0 ) + i
(x0 , y0 )
x
x
lim

x0

1.2. FONCTIONS DUNE VARIABLE COMPLEXE

lapproche suivant laxe imaginaire donne :


lim

z0

v
u
f (z0 + z) f (z0 )
=
(x0 , y0 ) i
(x0 , y0 )
z
y
y

On obtient la condition de Cauchy-Riemann en galant les deux rsultats.


Remarque
Cette proposition nadmet pas de rciproque si on ne suppose rien dautre sur les fonctions coordonnes u et v
de f , car on ne considre que deux directions dapproche particulires de z0 .
Exemple
Soit la fonction f dfinie sur C par
3
3
3
3
x y + i x + y
2
2
2
f (z) = x + y
x + y2

si z 6= 0
si z = 0

f est continue en tout point de C et vrifie les relations de Cauchy-Riemann en 0. Cependant on voit que :
f (z)
suivant laxe rel : lim
=1+i
z0 z
f (z)
1+i
suivant la premire bissectrice : lim
=
z0 z
2
La fonction f nest donc pas drivable en 0, malgr le fait quelle vrifie les relations de Cauchy-Riemann.
Proposition
Si les fonctions u et v admettent des drives partielles premires continues sur un voisinage de z0 et si ces
drives satisfont aux relations de Cauchy-Riemann en z = z0 , alors f est drivable en z0 .
Proposition

En pratique,pour calculer lexpression de f (z) quand f est donne partir de u et v, on utilise lune des formules
dduites de la dmonstration des relations de Cauchy-Riemann :
f (z) =

u
v
v
u
u
u
v
v
+i
(=
i
=
i
=
+i
)
x
x
y
y
x
y
x
y

Fonctions analytiques (ou holomorphes)

Dfinition :
On dit dune fonction f quelle est analytique dans un ouvert U du plan complexe si et seulement si elle est drivable
en tout point de U .

Proposition
Soit f analytique sur un domaine . Si u et v sont de classe C 2 sur , alors u et v satisfont lquation de
Laplace dans :
2
u 2u

2 + 2 =0
x
y
2v
2v

2 + 2 =0
x
y

Dmonstration
On utilise Cauchy-Riemann et le thorme de Schwartz dinterversion des drives partielles pour une fonction
de classe C 2 de deux variables.

CHAPITRE 1. FONCTIONS ANALYTIQUES

10
Fonctions entires
Dfinition :
On appelle fonction entire une fonction analytique sur tout C.

Exemples
f (z) = exp z et f (z) = z 2 sont des fonctions entires.

1.3
1.3.1

Intgration dans le plan complexe


Introduction
Dfinition :

Soit : J = [ta , tb ] C, avec [ta , tb ] IR, tel que :


peut tre dcrite par (t) = x(t) + i y(t) o x et y sont continues sur J et x et y continues par morceaux sur J
est injectif, sauf peut-tre aux extrmits (pas de points multiples, sauf ventuellement a=b).
Alors est appel chemin.
Si de plus a = b, est appel contour.
(N.B. : Cette dfinition assez restrictive dun chemin ne correspond pas la dfinition plus gnrale que lon trouve
dans les ouvrages de rfrences, mais sera nanmoins suffisante dans le cadre du cours)
Im
Im
B

A=B

Re

Re

Chemin

Contour

Im

Im

A=B

B
Re
Pas chemin

1.3.2

Re
Pas contour

Intgration le long dun chemin

Soit un chemin et soit f dfinie en tout point de ce chemin. Soit {z0 , ..., zn } une subdivision de , avec z0 = a et
zn = b. Soient de plus 1 , ..., n tels que i [1, n], i ]zi1 , zi [. On dfinit la suite :
In =

n
X

k=1

f (k )(zk zk1 ).

Im

z1

z2
2

z n-1
n

1
A
Re

1.3. INTGRATION DANS LE PLAN COMPLEXE

11

Dfinition :
Si, quand n de manire ce que |zk zk1 | 0 pour tout k de [1, n], la somme In tend vers une limite
indpendante du choix des zk et Rdes k , alors cette limite est appele intgrale de f le long de et est note :
f (z) dz

Proprit
Si f est continue sur , alors son intgrale le long de existe.
Si on spare la partie relle et la partie imaginaire, on a :
In =

n
X


k=1

+i


u(k ) (xk xk1 ) v(k ) (yk yk1 )

n
X

k=1


v(k ) (xk xk1 ) + u(k ) (yk yk1 )

donc dans les mmes conditions que tout lheure, en faisant tendre n vers linfini, on a :
Z
Z
I = (udx vdy) + i (vdx + udy)

Les
deux
intgrales
curvilignes
qui
apparaissent
dans
lexpression
de
I
peuvent tre rduites des intgrales ordinaires en utilisant le paramtrage de : z(t) = x(t) + i y(t). On obtient
alors :
Z tb

f z(t) z (t) dt
I=
ta

Exemples
1. On considre f (z) = z, intgr sur paramtr par z(t) = R e2it .
Alors :
si t [0, 14 ], on a :
Z 41
R e2it R 2ie2it dt = R2
I=
0

si t [0, 1], on a I = 0
1
2. On considre f (z) = , intgr sur : z(t) = R e2it , t [0, 1].
z
Z 1
2iR e2it
dt = 2i
I=
R e2it
0
NB : le rsultat est indpendant de R.

Cas particulier
Soit f admettant une primitive, i.e. F telle que F = f sur un domaine de C.
On intgre f sur un chemin contenu dans , et on a :
Z
f (z) dz = F (b) F (a)
I=

si a et b sont les extrmits du chemin considr.


Exemple
Reprenons lexemple prcdent : f (z) = z et : t [0, 41 ] 7 R e2it .
Z

f (z) dz =

1 2
z
2

iR
R

= R2

CHAPITRE 1. FONCTIONS ANALYTIQUES

12

1.3.3

Ingalit de Darboux

Proposition
Soit f intgrable sur un chemin de longueur curviligne L.
Soit M = sup (|f |) (on suppose que M est fini).
Alors on a :
|I| 6 M L
Dmonstration
En utilisant lingalit triangulaire sur un lment de la suite In , et en utilisant le fait que |f | 6 M , et que
n
P
|zk zk1 | 6 L, on a le rsultat de la proposition.
k=1

Im
z2
zn
z n-1
z1
z0
Re
Jusqu maintenant, on na fait aucune hypothse particulire sur les fonctions considres, on ne sest intress
quaux fonctions continues sur .

1.4
1.4.1

Intgration de fonctions analytiques


Thorme de Cauchy et consquences

Thorme de Cauchy
Soit un domaine simplement connexe, soit f analytique sur , et soit un contour quelconque contenu dans
.
Alors
Z
f (z) dz = 0

Proposition
Soit f analytique sur un domaine simplement connexe, soit A et B deux points de ce domaine et soit 1 et 2
deux chemins contenus dans et ayant pour extrmits A et B, alors on a :
Z
Z
f (z) dz
f (z) dz =
2

1
A

B
2

Dmonstration
On intgre f sur le contour = 1 + (2 ), o 2 correspond au chemin 2 parcouru en sens inverse, et on
utilise la linarit de lintgrale.

1.4. INTGRATION DE FONCTIONS ANALYTIQUES


Remarque
Si
le
domaine
ne
sapplique
pas
:
Z

f (z) dz = 0 mais en gnral

nest
Z

13

pas

simplement

connexe,

le thorme

f (z) dz 6= 0.

2
1

Dfinition :
Soit 1 et 2 deux contours dun domaine . On dit que ces deux contours sont homotopes si on peut passer de
lun lautre par une dformation continue en restant dans .

2
1 2 homotopes
3
1

2 3

non homotopes

Un contour est dit homotope un contour ponctuel dans sil est homotope un contour rduit un point
appartenant .
Un domaine est simplement connexe si tout contour de est homotope un contour ponctuel.
Un domaine multiplement connexe est un domaine simplement connexe dont on a retir un ou plusieurs
domaines simplements connexes.

Proposition
Soient f une fonction analytique dans un domaine pouvant tre non simplement connexe et deux contours 1
et 2 de homotopes dans , alors on a, en prenant la mme orientation pour les deux contours :
Z
Z
f
f =
2

Exemple
En reprenant la figure prcdente :
Z

f (z) dz = 0 et

f (z) dz =

f (z) dz

Dmonstration
On considre un contour = 1 + + (2 ) + homotope a un point. Les contributions de et se
compensant, on a :
Z
Z
Z
f f
f =0=
1

1
,
,,

Proposition
Soit f analytique sur un domaine simplement connexe , alors f admet une primitive sur .

CHAPITRE 1. FONCTIONS ANALYTIQUES

14

1.4.2

Formule intgrale de Cauchy

Proposition
Soit f analytique sur un domaine simplement connexe, et z . Alors on a, pour tout contour de orient
positivement et entourant z :
Z
1
f (z )
f (z) =
dz
2i z z
Dmonstration
f est analytique donc continue sur . On a donc :
> 0, r > 0, |z z| 6 r |f (z ) f (z)| 6
Considrons le cercle de centre z et de rayon r.

Le thorme de Darboux donne donc :

En faisant tendre vers 0, on trouve :


Z



f (z ) f (z)
6
z ,
r
z z
Z


f (z ) f (z)
dz 6 2 r
z z
r

f (z )
dz
z z

=
=
=

1.4.3

f (z)
dz
z
z

Z
dz
f (z)

z z

f (z) 2i

(cf 1.3.2)

Drivabilit n-ime des fonctions analytiques

Proposition
Soit f analytique sur un domaine , alors f est de classe C sur .
Si de plus est simplement connexe, pour tout contour entourant z
on a :
Z
n!
f (z )
f (n) (z) =
dz

2i (z z)n+1

1.4.4

Thorme du maximum
Dfinition :

Soit g une fonction de la variable complexe. On dit que |g| admet un maximum local relatif en z = z0 sil existe un
voisinage U de z0 tel que :
z U, |g(z)| 6 |g(z0 )|
Si lingalit est stricte, i.e. :
z U/{z0 }, |g(z)| < |g(z0 )|
alors le maximum local est dit strict.

Thorme
Soit f une fonction analytique sur un domaine . Le module |f | ne peut prsenter de maximum local strict en
un point z0 .

1.4. INTGRATION DE FONCTIONS ANALYTIQUES

15

Dmonstration
Supposons quil y ait un maximum strict en z0 , alors on peut trouver un voisinage V de z0 tel que z V,
|f (z)| < |f (z0 )|.
Considrons le chemin dfini comme le cercle de centre z0 et de rayon r > 0. On a :
: (t) = z0 + r e2it , t [0, 1]
Daprs les thormes prcdents, on a :
f (z0 ) =

1
2i

f (z)
dz
z z0

Daprs le thorme de Darboux, on a une majoration :


|f (z0 )| 6



f (z)
1
2 r = sup |f (z)|
sup
2 z z z0
z

Donc il existe z tel que |f (z)| > |f (z0 )| et z0 nest pas maximum strict.

Proposition
Soit f analytique sur un domaine . Si en un point z0 , |f | prsente un maximum local relatif, alors f est
constante sur .

1.4.5

Thorme de Morera

Thorme (Morera)
Soit f une fonction continue dans un domaine simplement connexe. Si pour tout contour C on a
Z

f (z) dz = 0

alors f est analytique sur .

1.4.6

Thorme de Liouville

Thorme (Liouville)
Soit f une fonction entire.
Si f est borne (i.e. M IR+ tel que z C |f (z)| 6 M ), alors f est constante.
Dmonstration
f est entire. Soit z0 un point de C et soit le cercle de centre z0 et de rayon R.
Z
1
f (z)
f (z0 ) =
dz
2i (z z0 )2


f (z0 ) 6 1 M 2 R = M
2 R2
R

En faisant tendre R vers + on montre que |f | = 0 donc que f est constante.


Remarques
Attention bien vrifier que le module de f est born :
ce nest pas le cas de z 7 sin z par exemple
Le thorme de Liouville permet de dmontrer facilement le thorme de DAlembert-Gauss

CHAPITRE 1. FONCTIONS ANALYTIQUES

16

1.5
1.5.1

Sries de fonctions dune variable complexe


Gnralits
Dfinition :


Soit une suite de fonctions gn (z) nN . On appelle srie de terme gnral gn (z) la suite :
n
X
Sn (z) =
gn (z)
k=0

Dfinition : Convergence simple


On dit que (Sn )nN converge simplement dans un sous-ensemble U de C et que sa somme est S(z) si et seulement
si :
z U, > 0, N = N (z, ), n > N |S(z) Sn (z)| <

Dfinition : Convergence uniforme


On dit que la srie (Sn )nIN converge uniformment vers S si et seulement si, les deux propositions tant quivalentes :
> 0, N = N (), n > N = |S(z) Sn (z)| < , z U
> 0, N = N (), n > N = sup |S(z) Sn (z)| <
zU

ATTENTION !
La convergence uniforme demande des hypothses beaucoup plus fortes que la convergence simple, les z ntant
pas choisis au dbut de la dfinition. La convergence uniforme implique de manire vidente la
convergence simple.
Proprits des sries uniformment convergentes
1. Si (Sn ) converge uniformment dans U C et si n IN, gn est continue en un point z0 U alors la somme
de la srie des gn est continue en z0 .
2. Si (Sn ) converge uniformment le long dun chemin et si n IN, gn est continue, alors
!

Z

Z
X
X
gn (z) dz
gn (z) dz =

n=0

n=0

3. Si quel que soit n IN, gn (z) est analytique dans un domaine et si (Sn ) converge uniformment dans
tout disque ferm contenu dans , alors la somme S est analytique dans et :
S (z) =

gn (z)

n=0

Proposition (Critre de Weierstrass)


Si n IN, on a :

|gn (z)| 6 an

z U

avec an terme gnral dune srie numrique convergente, alors la srie


Dfinition : Convergence absolue
On dit que (Sn )nN converge absolument si et seulement si la srie

gn converge uniformment sur U .

|gn | converge.

1.5. SRIES DE FONCTIONS DUNE VARIABLE COMPLEXE

1.5.2

17

Sries entires
Dfinition :

On appelle srie entire de centre z0 et de coefficient an la srie de terme gnral gn (z) = an (z z0 )n .

Proposition
R > 0 tel que :
P
1. la srie entire
an (z z0 )n converge absolument dans le disque de convergence D(z0 , R) = {z C/|z z0 | < R}
2. la srie entire diverge en tout point z tel que |z z0 | > R
R est appel rayon de convergence de la srie.

Im

Divergence

Convergence
absolue

Re

P
Si P gn (z) ne converge que pour z = z0 , alors R = 0.
Si
gn (z) converge dans tout le plan complexe, alors R = +.

Exemple
n
Etudier la srie entire de terme gnral gP
n (z) = z .
n
On tudie la srie relle termes positifs
|z | en utilisant le critre de dAlembert. Pour tout z appartenant
C, on a :
|gn+1 (z)|
= |z|
|gn (z)|
donc :

(P

|gn (z)| converge si |z| < 1


|gn (z)| diverge si |z| > 1

P n
De manire vidente,
|z | diverge.
P n si |z| = 1 la srie
La srie entire
z converge donc absolument sur le disque ouvert unit.

Proposition
P
Soit
an (z z0 )n de rayon de convergence R. Dans tout disque ferm D(z0 , r) avec r < R, la srie entire
converge uniformment.
Thorme (Drivation)
P
Soit la srie entire
an (z z0 )n de rayon de convergence R. On a :
P
1. Le rayon de convergence de la srie
n an (z z0 )n1 est gal R.
P
2. La somme S(z) de la srie
an (z z0 )n est analytique dans D(z0 , R) et sa drive S (z) en z D(z0 , R) est :
S (z) =

n=0

n an (z z0 )n1

3. Par itration de la proposition prcdente, on a :


S (k) (z0 ) = k! ak , k > 0
do :
z D(z0 , R), S(z) =

X
S (n) (z0 )
(z z0 )n
n!
n=0

CHAPITRE 1. FONCTIONS ANALYTIQUES

18

1.6
1.6.1

Sries de Taylor
Srie de Taylor dune fonction analytique
Dfinition :

Soit f analytique sur le disque ouvert D(z0 , r), avec r > 0.


z D(z0 , r) on a :

X
f (z) =
cn (z z0 )n
n=o
Z
1
f (z )
avec
cn =
dz
2i (z z0 )n+1
et avec un contour dans D(z0 , r) orient positivement entourant z0 .
Ce dveloppement (qui est unique) est appel dveloppement de Taylor de f autour de z0 .
D(z0,r)

r
z

z0

NB : na pas besoin dentourer z.

Remarque
cn =

f (n) (z0 )
n!

Dmonstration
Soit e (t) = z0 + r e2it , 0 6 t 6 1, avec |z z0 | < r < r.
Daprs le thorme de Cauchy, on a :
Z
1
f ()
f (z) =
d
2i e z
Or

1
1
1

=
zz0
z
z0
1 z
0



zz0
et e donc wz
< 1 donc en dveloppant le deuxime terme de lexpression en srie entire, on a :
0
et

X
1
(z z0 )n
=
z n=0 ( z0 )n+1

1
f (z) =
2i

X
f ()(z z0 )n
d
n+1
e n=0 ( z0 )

Montrons alors que la srie de fonctions lintrieur de lintgrale est uniformment convergente sur e . Par
majoration du terme gnral de la srie, on a :




f ()(z z0 )n supe |f ()| z z0 n


6

r
(w z0 )n+1
r

n
0
Or zz
est le terme gnral dune srie gomtrique convergente, sa raison tant infrieure a 1.
r
Donc par Weierstrass on a convergence uniforme de la srie et on peut inverser les signes somme et intgrale,
ce qui donne :
Z

X
f ()
1
d
f (z) =
(z z0 )n
2i e ( z0 )n+1
n=0

1.6. SRIES DE TAYLOR

19

Or f est analytique donc lintgration est indpendante du chemin entourant z0 . Par unicit du dveloppement
en srie entire de f , en identifiant les coefficients, on a le rsultat voulu.

Exemple

f (z) =

1
,
z2

z C\{0}

f a une singularit en z = 0.
On cherche le dveloppement de Taylor de f en 1.
On considre le disque ouvert D(z0 = 1, r = 1). f est bien analytique sur ce disque. z D(1, 1) on a :
f (z) =

+
X

n=0

cn (z z0 )n

Pour calculer cn :
Mthode 1 :

cn
f (n)
cn

f (n) (z0 )
n!
(1)n (n + 1)!
=
z n+2
n
= (1) (n + 1)
=

Mthode 2 :
1
z2

=
=
=

1
avec : z = 1 + Z
(1 + Z)2
(2)(2 1) 2
2
Z+
Z + ... (|Z| < 1)
1+
1!
2!
1 2 (z 1) + 3 (z 1)2 + ...

Remarque

Cest la prsence
P dune singularit lorigine pour f (z) =
srie entire (1)n (n + 1) (z 1)n 1.

1
z2

qui limite le rayon de convergence de la

Proposition
Soit f (z) une fonction analytique dans un domaine , et soit z0 .P
Pour tout z appartenant au plus grand

disque ouvert de centre z0 contenu dans , la srie de Taylor S(z ) = cn (z z0 )n est convergente et a pour
somme f (z ).

Proposition
Si
f
est
entire,
alors
la
srie
de
Taylor
de
f
de

X
f (n) (z0 )
(z z0 )n est convergente et a pour somme f (z) pour tout z de C.
n!
n=0

centre

z0

CHAPITRE 1. FONCTIONS ANALYTIQUES

20

1.6.2

Zro dune fonction analytique


Dfinition :

Soit f une fonction analytique dans un domaine et non identiquement nulle sur .
Sil existe z0 tel que f (z0 ) = 0, alors z0 est un zro de f . De plus, on dit que z0 est un zro dordre m IN
si :
i 6 m 1, f (i) (z0 ) = 0 et f (m) (z0 ) 6= 0

Remarque
Si
z0
est
un
zro
f (z) = (z z0 )m h(z), avec :

dordre

alors

m,
h(z) =

k=0

on

(z z0 )k

peut

mettre

sous

la

forme

f (m+k) (z0 )
(m + k)!

La fonction h ainsi dfinie est analytique dans et drivable donc continue en z0 et ne sannule pas sur un
voisinage de z0 .
Dfinition : Points isols
Soit z et z deux lments de C. On dit que ces deux points sont isols si il existe V et V respectivement voisinages
de z et z , tels que V V = .

Thorme (thorme des zros isols)


Les zros dune fonction analytique non identiquement nulle sont isols.
Consquence : prolongement analytique
Soit f1 et f2 deux fonctions analytiques sur et soit U un ouvert non vide de .
Si z U , f1 (z) = f2 (z) alors f1 = f2 pout tout z .
Cas particulier : si une fonction f analytique est nulle sur U alors elle est nulle sur .
Remarque
Cette proposition reste vraie si U est un arc de courbe non rduit a un point.

1.7
1.7.1

Sries de Laurent et rsidus


Srie de Laurent
Dfinition :

On dfinit la couronne ouverte de centre z0 , de rayon R1 et R2 par :


C(z0 , R1 , R2 ) = {z C / 0 6 R1 < |z z0 | < R2 }

z0
R2

R1

Remarque
0 , R2 ), quon appelle disque point.
Si R1 = 0, on note C(z0 , 0, R2 ) = D(z

1.7. SRIES DE LAURENT ET RSIDUS

21

Proposition
Soit f analytique sur C(z0 , R1 , R2 ), alors :
z C(z0 , R1 , R2 ), f (z) =

+
X

n=

cn (z z0 )n

avec :
cn

c1

Z
1
f (z )
dz
2i (z z0 )n+1
Z
1
f (z ) dz
2i

n Z\{1}

et un contour quelconque orient positivement, inclus dans la couronne et entourant z0 .


Ce dveloppement est appel dveloppement en srie de Laurent et il est unique.
Dmonstration
est homotope un contour proche de 2 1 et entourant z.

z
z0

f (z) =

1
2i

1
2i

Z

f (w)
dw
wz

f (w)
dw
wz

f (w)
dw
wz

On fait le dvelopement de Taylor de f sur 2 , ce qui donne les cn pour n > 0.


Pour 1 on a |w z0 | < |z z0 |. Il faut donc refaire le mme raisonnement que pour Taylor mais en considrant :
1
wz

1
1
0
z z0 1 wz
zz0

X
1
(w z0 )n
z z0 n=0 (z z0 )n

X
(w z0 )n1
(z z0 )n
n=1

On obtient ainsi les cn pour n 6 0.


Remarque
Si f est analytique sur D(z0 , R2 ) alors les coefficients cn sont nuls pour n 6 0.
Exemple
1
a R+
za
f possde une singularit en a. On cherche le dveloppement en srie de Laurent de f autour de z0 = 0.
Cas 1 : |z| < a, f est analytique sur D(0, R) avec |z| < R < a
f (z) =

f (z) =

1 1
a 1

z
a

1
z2
z
= 2 3 ...
a a
a

CHAPITRE 1. FONCTIONS ANALYTIQUES

22
Cas 2 : |z| > a
f est analytique sur C(0, R1 , R2 ), avec a < R1 < |z| < R2 .

1 1
1
=
za
z 1

f (z) =

a
z

a2
a
1
+ 2 + 3 + ...
z
z
z

cas 2
z
R1

z
cas 1
a

R2

1.7.2

Points singuliers
Dfinition :

Soit z0 un point au voisinage duquel f nest pas analytique. On dit que z0 est un point singulier de f .
Soit z0 un point singulier de f . Sil existe un disque ouvert point (i.e. priv de z0 ) de centre z0 et de rayon
r > 0 dans lequel f est analytique, alors on dit que z0 est un point singulier isol.

Exemples
1
, le point z0 = 2 est un point singulier isol.
z2
1
, le point z0 = 0 est un point singulier non isol.
2. f : z 7
sin 1z

1. f : z 7

N.B. : Dans tout ce qui suit, on supposera les points singuliers isols.
Dans le cadre de cette hypothse, si on prend f admettant un point singulier z0 , et que lon considre sa srie de
Laurent associe autour de z0 , on a, en notant bn = cn et an = cn :
f (z) =

X
bn
an (z z0 )n
+
n
(z

z
)
0
n=0
n=1
{z
}
|

partie singulire

Dfinition :
(1) Si tous les bn sont nuls, la fonction est analytique dans D(z0 , r) et on dit que z0 est une singularit apparente.
(2) Si les bn sont non tous nuls, i.e. sil existe un bm non nul tel que bn = 0 pour tout n > m, alors z0 est un
bm1
bm
0 , r), f (z) =
+
+ . Si m = 1, on dit quon a un ple simple.
ple dordre m et : z D(z
m
(z z0 )
(z z0 )m1
(3) Sil existe une infinit de bn non nuls, la singularit est dite essentielle

Exemples

1.7. SRIES DE LAURENT ET RSIDUS

23

1. z 7 sinz z : z0 = 0 est une singularit.


Les bn sont tous nuls et on a :
an =
z 7

 sin z
0

(1)n/2
(n+1)!

si n est paire
si n est impaire

z=
6 0
est analytique et z0 est une singularit apparente.
z=0

1
2. z 7 z2
: z0 = 2 est une singularit.
Cest un ple dordre 1.

3. z 7 e1/z : z0 = 0 est une singularit.


e1/z

1+

a0

an

bn

0
1
n!

1
1 1
+ ...
+ ... +
z
n! z n
n > 0
n > 0

z0 est un singularit essentielle.


Dfinition : Mromorphe
Une fonction ne possdant pas dautres singularits que des ples dans un domaine est dite mromorphe dans .

1.7.3

Rsidu en un point singulier isol


Dfinition :

0 , r) un disque point ne contenant pas de point singulier de f .


Soit z0 un point singulier isol de f . Soit D(z

X
X
bn
0 , r) f (z) =
z D(z
+
an (z z0 )n
n
(z

z
)
0
n=1
n=0
Le coefficient b1 est appel rsidu de f en z0 et est not Res (f, z0 ).
On a donc :

Res (f, z0 ) =

1
2i

f (z) dz

0 , r) et
o est un contour orient positivement inclus dans D(z

entourant z0 .

Remarque
Si z0 est une singularit apparente de f alors Res (f, z0 ) = 0.
Calcul pratique de rsidus
1. Si z0 est un ple simple
f (z) =
o g(z) = a0 + a1 (z z0 ) + ...

b1
+ g(z)
z z0

est une fonction analytique au voisinage de z0 et nulle en z0 . On a donc :


lim (z z0 )f (z) = b1

zz0

do :
Res (f, z0 ) = lim (z z0 )f (z)
zz0

CHAPITRE 1. FONCTIONS ANALYTIQUES

24
2. Si z0 est un ple dordre m
Res (f, z0 ) = lim

zz0

1
dm1
[(z z0 )m f (z)]
(m 1)! dz m1

En pratique il vaut mieux calculer directement le dveloppement pour des ples dordres levs.
Proposition
Soit f (z) =
On a :

g(z)
avec g une fonction analytique au voisinage de z0 et telle que g(z0 ) 6= 0.
z z0
Res (f, z0 ) = g(z0 )

Proposition
g(z)
avec g et h deux fonctions analytiques au voisinage de z0 et telles que g(z0 ) 6= 0 et z0 est un
h(z)
zro simple de h.
On a alors :
g(z0 )
Res (f, z0 ) =
h (z0 )

Soit f (z) =

Dmonstration
Res (f, z0 ) = lim (z z0 )
zz0

1.7.4

g(z)
z z0
g(z0 )
= g(z0 ) lim
=
zz0 h(z) h(z0 )
h(z)
h (z0 )

Thorme des rsidus

Thorme des rsidus


Soit un domaine simplement connexe de C et soit (z1 , ..., zn ) un nombre fini de points de isols et distincts.
Soit de plus f analytique dans \{z1 , ..., zn }. Si on prend un contour contenu dans et entourant les zi , i
[1, n], sans rencontrer ces points, et orient positivement, alors :
Z

f (z) dz = 2i

n
X

Res (f, zk )

k=1

Dmonstration

3
n

f (z) dz = 0 =

or

f (z) dz +

n Z
X
k=1

f (z) dz

f (z) dz = 2i Res (f, zk )

do le rsultat.

1.7. SRIES DE LAURENT ET RSIDUS

1.7.5

25

Application des rsidus au calcul dintgrales

Exemple
Calcul de I =

dx
1 + x2

Considrons pour cela f (z) =


i et i sont des ples simples.

1
sur C\{+i, i}.
1 + z2

Im
2
i
1

-R

Re

-i
(R) = 1 (R) + 2 (R) avec :


1 (R)
2 (R)
Z

: t
: t

f (z) dz

7 (2t 1) R
t [0, 1], R > 1
7 R eit
=

2i Res (f, i) = 2i

1
=
2i

f (z) dz

(R)
+R

dx
+
1 + x2

2 (R)

Or
|1 + z 2 | >


1


1 + z2 6
Z





f (z) dz 6

2 (R)

z 2 (R)

On en dduit que lim

I = .

R2 1
1
R2 1
R
R2 1

f (z) dz = 0 (ce rsultat est immdiat avec les lemmes de Jordan), puis que lim

+R

dx
=
1 + x2

Remarque
Pour certains calculs dintgrales, il faut utiliser les valeurs principales de Cauchy qui sont dcrites dans le
chapitre 5.
sin x
Calcul de x 7
x
Z +
sin x
dx . Riemann gnralise semi- convergente.
Soit I =
x
0Z
1 + sin x
=
dx
2 x

On passe alors en complexe : on tudie f (z) =


Rs (f, 0) = 1.

eiz
z

(sur C\{0})

CHAPITRE 1. FONCTIONS ANALYTIQUES

26
2
4
1

On dfinit le contour = 1 + 2 + 3 + 4 , tels que :


1 : axe rel de +r +R.
2 : demi-cercle de centre 0, de rayon R (demi-plan suprieur).
3 : axe rel de R r.
4 : demi-cercle de centre 0, de rayon r (demi-plan suprieur).
Ainsi,
Z
f (z)dz = 0

lim

R+

eix
dx +
x

r
R

eix
dx +
x

eiz
dz +
z

eiz
dz
z

iz

e
dz = 0
z

Second Lemme de Jordan.

lim

r0

eiz
dz
z

=
=
=

Vp

lim

r0

lim

r0

eix
dx = lim
r0
x
R+

4
r

1
z
1
reit (i)dt.
(reit )
3me de Jordan

eix
dx +
x

!
eix
dx = i
x

Donc,
Vp

1.8

sin x
dx =
x

Vp

cos x
dx = 0
x

Lemmes de Jordan

Lemme 1
Soit f une fonction holomorphe dans un secteur
0 6 1 6 6 2 6 2
( dsignant largument de z) , sauf ventuellement en certains points (en nombre fini) qui sont des singularits
isoles. Si
lim zf (z) = 0 (resp. lim zf (z) = 0), pour 1 6 arg(z) 6 2
|z|

|z|0

alors lintgrale
Z
f (z) dz (o est un arc de cercle de rayon R contenu dans le secteur 1 6 6 2 )

tend vers zro quand R tend vers linfini (resp. vers 0).

1.9. FONCTIONS MULTIFORMES : LA FONCTION LN

27

Lemme 2
Soit f une fonction holomorphe dans un secteur
1 6 6 2
du demi-plan suprieur (resp. du demi-plan infrieur), sauf ventuellement en certains points (en nombre
fini) qui sont des singularits isoles. Si
pour 1 6 arg(z) 6 2

lim f (z) = 0

|z|

alors, pour k > 0 (resp. k < 0), lintgrale

f (z) eikz dz

tendue un arc de cercle de rayon R contenu dans le secteur 1 6 6 2 , tend vers zro quand R tend vers
linfini. Ce lemme est trs souvent utilis lors du calcul de transformes de Fourier par la mthode des rsidus .
Lemme 3
Si f est une fonction possdant un ple simple lorigine on a :
Z
lim
f (z) dz = i Res (f, 0)
r0

o r est positif et : t 7 r e

1.9

it

, t [0, 1].

Fonctions multiformes : la fonction Ln

Rappels
Soit x IR+ et X IR.
On a : X = ln(x) x = eX .
Soit z C\{0}. On cherche Z = X + i Y tel que z = eZ .
z = |z| e

=e e

iY

X
Y

= ln |z|
= + 2 k, k Z

Z = ln |z| + i (arg(z) + 2 k)

Il existe donc une infinit de Z tel que z = eZ , do le nom de fonction multiforme (ou dtermination multiple).
On peut alors dfinir une coupure dans le plan complexe (demi-droite partant de lorigine), et un ensemble Ccoup (C
priv de la coupure) dans lequel il ny a plus de contour entourant lorigine :
on choisit [0, 2[ et par convention on impose arg(z) ] 2 + , [.
Les arguments sont ainsi dtermins de faon unique.

Im
coupure

Re

(En pratique on prend souvent 6= 0 pour ne pas se priver de laxe rel)


On a alors, Z = ln |z| + i arg(z) = Ln(z) , z Ccoup
Le rsultat de la fonction Ln dpend du choix de la coupure.
d
1
Dans Ccoup , Ln est analytique et
Ln(z) = .
dz
z
Cas particulier
On appelle dtermination principale du logarithme la fonction Ln avec pour coupure = .
On a alors arg(z) ] , [ et Ccoup = C\IR .

28

CHAPITRE 1. FONCTIONS ANALYTIQUES

Chapitre 2

Intgrale de Lebesgue
2.1

Rappels sur lintgrale de Riemann

Soit f borne sur un intervalle [a, b] fini de IR, et soit x1 , ..., xn un ensemble fini de points de [a, b] tels que
a = x0 < x1 < ... < xn < b = xn+1 . On considre alors un ensemble de k , k = 1, ..., n + 1 tel que pour tout
k [1, n + 1], on ait
xk1 < k < xk

a x1 x2
2

On peut donc dfinir une somme Sn telle que :


Sn =

n+1
X
k=1

f (k )(xk xk1 )

Dfinition :
Si, quand n de manire ce que |xk xk1 | 0 pour tout k de [1, n], la somme Sn tend vers une limite
indpendante du choix des xk et des k , alors cette limite est appele intgrale de f au sens de Riemann sur le
Z b
f (x) dx
segment [a, b] et est note :
a

2.2

Notion de mesure (mesure de Lebesgue)

Soit E un sous-espace de IR, et soit (Ij )jJ un recouvrement de E par un ensemble fini ou infini dnombrable
dintervalles ouverts de E.
Rappels
E est dnombrable sil existe une bijection entre E et une partie de IN (ou IN lui-mme).
Exemple : les rationnels de [0, 1] forment un ensemble dnombrable (on peut les dnombrer en considrant la
suite : 0, 1, 21 , 31 , 23 , 14 , 43 , 15 , ...).
Lensemble des irrationnels de [0, 1] est indnombrable.
soit F une famille dintervalles de IR. On dit que F est un recouvrement de E si tout point de E appartient
au moins un lment de F .
29

CHAPITRE 2. INTGRALE DE LEBESGUE

30
Dfinition : Mesure extrieure de E
On appelle mesure extrieure de E la quantit Mext (E) = inf

(Ij )jJ

l(Ij ) avec l(Ij ) la longueur de lintervalle Ij .

jJ

Remarque
1. Mext () = 0.

2. Mext (E) > 0.

3. Si A B, alors Mext (A) 6 Mext (B).

4. Mext (E) peut tre finie ou infinie.

Dfinition : Mesure intrieure de E


Soit E un sous-espace de IR tel que sa mesure extrieure soit finie. Soit F (E) lensemble de toutes les parties
fermes de E. On appelle mesure intrieure de E,
Mint (E) = sup Mext (K)
KF (E)

Remarque
On a toujours Mint (E) 6 Mext (E).
Dfinition : Notion despace mesurable
Si Mint (E) = Mext (E), on dit que E est mesurable au sens de Lebesgue.
On pose alors (E) = Mint (E) = Mext (E).

Dfinition : Mesurabilit dun ensemble de mesure extrieure infinie


Soit E un sous espace de la droite relle, de mesure extrieure infinie. On dit que E est mesurable au sens de
Lebesgue si E est lunion dune infinit dnombrable densembles mesurables au sens de Lebesgue et de mesure
extrieure finie, deux deux disjoints. Alors, on dit que la mesure de E est infinie, (E) = +.
Remarque
Soit A et B deux ensembles disjoints et mesurables, on a
(A B) = (A) + (B).
Proposition
Tout intervalle born est mesurable. De plus, si b > a, (a, b) IR2 alors :
([a, b]) = (]a, b[) = ([a, b[) = (]a, b]) = b a
Proposition
Tout ensemble dnombrable de points est de mesure nulle.
Dmonstration
Si E est fini, alors on peut crire E = {x1 , ..., xn } avec n IN fini.

Soit > 0. On dfinit la suite dintervalles Ij () =]xj 2n


, xj + 2n
[, j = 1...n. Lensemble des Ij () forme un
recouvrement de E et :
n
X
l(Ij ()) =
Mext (E) =
j=1

On a donc Mext (E) = 0 et par suite (E) = 0.

2.3. FONCTIONS LEBESGUE-MESURABLES

31

Si E est un ensemble infini dnombrable, alors il est en bijection avec IN. Il suffit donc de montrer que la mesure
de N est nulle.

Pour > 0 on recouvre E par lensemble infini dnombrable dintervalles ouverts Ij () =]j 2j+1
, j + 2j+1
[. On
se ramne a la somme dune srie gomtrique de raison infrieure 1, donc convergente :
N
X

l(Ij ()) =

j=1

N
X

=
2n
j=1

On a donc Mext (E) = Mext (N) = 0 et par suite (E) = (IN) = 0.


Remarque
La rciproque est fausse : il existe des sous ensembles de IR indnombrables mais de mesure nulle (par exemple
lensemble triadique de Cantor).
Exemples
1. E = Q [0, 1]. On a (E) = 0 car cest un ensemble dnombrable.

2. E = (IR\Q) [0, 1]. On a (E ) = 1 car E E = [O, 1] et que E et E sont disjoints.


Dfinition :
Une proprit est dite vraie presque partout si lensemble des points o elle nest pas vrifie est de mesure nulle.

Exemple
La fonction caractristique des irrationnels inclus dans [0, 1] (ou fonction de Dirichlet) est gale 1 presque
partout sur [0, 1].
(

1 si x IR\Q [0, 1]
fD (x) =
0 si x Q [0, 1]

2.3

Fonctions Lebesgue-mesurables

Soit f une fonction dfinie sur un sous-espace E de IR mesurable.


Dfinition :
La fonction f est dite Lebesgue-mesurable si, a IR, lensemble {x E / f (x) < a} est un ensemble mesurable.

2.4

Fonctions tages

Soit E un sous-espace mesurable de IR. On notera E la fonction caractristique de E, cest dire la fonction qui
prend la valeur 1 sur tout lment de E et 0 sinon.
Dfinition :

On appelle fonction tage toute fonction de la forme :

f (x) =

n
X
i=1

n IN (n < )
les yi des rels
les Ei des ensembles mesurables deux deux disjoints.

yi Ei (x)

, avec :

CHAPITRE 2. INTGRALE DE LEBESGUE

32
Remarque
f ne prend quun nombre fini de valeurs diffrentes.
Si les Ei sont des intervalles alors f est dite en escalier.

Exemples
(

1
2

si x [0, 1]
0 sinon
la fonction de Dirichlet est relle tage.
f (x) =

2.5

Intgrale de Lebesgue dune fonction tage positive


Dfinition :

Soit f une fonction tage positive (i.e. yi IR+ ). On appelle intgrale de Lebesgue le nombre :
Z
n
X
yi (Ei )
f d =
i=1

avec les prcisions suivantes :


Zsi yi = 0 et si la mesure de Ei est infinie, alors yi (Ei ) = 0,

f d > 0 (mais peut tre infinie).

Proposition

Lintgrale de Lebesgue dune fonction positive tage est finie si et seulement si {x/f (x) 6= 0} est finie.
Dfinition :
Soit A un sous-ensemble mesurable de IR, on dfinit lintgrale de f sur A :
Z
Z
n
X
yi (Ei A)
f d = f A d =
A

i=1

Exemple
On considre fD la fonction de Dirichlet. On peut crire, pour tout x IR :
fD (x) = 0 Q[0,1] + 1 (IR\Q)[0,1]
Si on prend A = [0, 1] alors :
Z

fD d = 0 (Q [0, 1] A) + 1 ((IR\Q) [0, 1] A)

do
Z

fD d = 1

2.6. INTGRALE DE LEBESGUE DUNE FONCTION RELLE POSITIVE

2.6

33

Intgrale de Lebesgue dune fonction relle positive

Soit f une fonction Lebesgue-mesurable positive, on dfinit (f ) lensemble des fonctions tages positives infrieures ou gales f .

Dfinition :

On appelle intgrale de Lebesgue de f le nombre, ventuellement infini, tel que :

f d = sup
e(f )

Jk k
a

b
d

Dfinition :
La fonction est dite sommable au sens de Lebesgue si

2.7

f d est finie.

Intgrale de Lebesgue dune fonction relle

Soit f une fonction valeurs relles. On peut dfinir deux fonctions auxiliaires f + etf par :

f (x)
f (x)

On a alors f = f + f .

f (x)
0

f (x) si f (x) 6 0
0
sinon

si f (x) > 0
sinon

e d

CHAPITRE 2. INTGRALE DE LEBESGUE

34
Dfinition :

Une fonction valeurs relles f est sommable si et seulement si les deux fonctions f + et f sont sommables, et on
pose alors :
Z
Z
Z
f d = f + d f d

Remarques
Z
Z
Z
+

si f d = + et f d = + alors f d nexiste pas.


Z
Z
+

si
f d
=
+
(resp.
f )
et
f d
Z
f d = + (resp. ).
Z
Z
f d = f A d

est

finie

(resp.

f +)

alors

2.8

Intgrale de Lebesgue dune fonction valeurs dans C

Daprs ce qui a t crit prcdemment, parler de lintgrale de Lebesgue de la partie relle de f et de la partie
imaginaire de f a un sens, puisque ces deux fonctions sont des fonctions valeurs dans IR. Dans le cas o Re(f ) et
Im(f ) sont sommables, on dfinit lintgrale de f comme :
Z
Z
Z
f d = Re(f ) d + i Im(f ) d

2.9

Proprits de lintgrale de Lebesgue

Proposition
1. Lensemble des fonctions sommables sur un sous-ensemble A de IR, not L1 (A), est un espace fonctionnel (i.e.
un espace vectoriel dont les vecteurs sont de fonctions).
Lintgrale de Lebesgue est une fonctionnelle linaire sur L1 (A).

2. Si E est un sous-espace de mesure nulle, alors lintgrale dune fonction f sur E est nulle.
3. Si f est nulle presque partout sur A, alors lintgrale de f sur A est nulle.

4. Si deux fonctions sont presque partout gales sur un sous-espace A, alors leurs intgrales sont gales sur A.
On raisonne donc parmi des classes dquivalence de fonctions presque partout gales sur un espace donn, et
L1 (A) est lespace vectoriel form de ces classes.
5. Soit f une fonction mesurable positive sur A.
Si son intgrale est nulle sur A, alors la fonction f est nulle presque partout sur A.
6. Soit f et g deux fonctions sommables, telles que f > g presque partout sur A, alors
Z
Z
f d > g d
A

7. Si f est sommable sur A IR, alors f est presque partout finie sur A.

8. Une fonction est sommable sur A si et seulement si son module est sommable sur A.

9. Si f est sommable sur A, alors on a :

Z
Z


f d 6 |f | d


A

10. Si g est positive et sommable sur A, et si |f | 6 g presque partout sur A, alors f est sommable sur A et
Z
Z


f d 6 g d


A

2.10. LIEN RIEMANN-LEBESGUE

2.10

35

Lien Riemann-Lebesgue

Considrons tout dabord lintgrale de Riemann au sens strict (on verra plus bas le cas des intgrales impropres).
Proposition
Soit f une fonction borne dfinie sur un intervalle born [a, b] (avec b > a). Si f est intgrable au sens de
Riemann (pour cela il faut et il suffit que f soit presque partout continue), alors f est sommable et son intgrale
de Lebesgue est gale son intgrale de Riemann :
Z
Z b
f (x) d(x) =
f (x) dx
[a,b]
a
|
{z }
|
{z
}
Lebesgue

Riemann

Proposition (changement de variable)


Si f est continue sur [a, b] et si est monotone, continuement drivable sur un domaine de dfinition dont
limage contient [a, b] alors :
Z

f (x) d(x) =

(1) ([a,b])

[a,b]


f (t) | (t)| d(t)

Considrons maintenant les cas des intgrales impropres. On va tudier le cas dune fonction borne sur un intervalle
infini (le cas dune fonction non borne sur un intervalle fini se traite de la mme faon).
Proposition
Soit f (x) une fonction continue sur tout intervalle ferm born [a, A] (avec a donn, et A > a).
Z +
1. Si lintgrale impropre de Riemann
f (x) dx est absolument convergente, alors la fonction f (x) est sommable
a

au sens de Lebesgue sur le sous-ensemble E = {x R / x > a} et on a :


Z +
Z
f (x) dx
f (x) d(x) =
} | a {z
}
| E {z
Lebesgue

2. Si lintgrale impropre de Riemann


mable sur E.
Exemple
La fonction x 7

La fonction x 7

Riemann

f (x) dx nest que semi-convergente, alors la fonction f (x) nest pas som-

sin x
nest pas absolument convergente au sens
x
Z A
sin x
dx =
lim
A 0
x

Z A
sin x

dx =
lim
A 0 x

de Riemann :

2
+

sin x
nest donc pas sommable sur R+ au sens de Lebesgue.
x

Intgrables au sens strict


et intgrales impropres
absolument convergentes
au sens de Riemann
Intgrables au sens de Lebesgue

Intgrales impropres
semi-convergentes
au sens de Riemann

CHAPITRE 2. INTGRALE DE LEBESGUE

36

2.11

Thorme de convergence domine

Thorme de convergence domine


Soit A un sous ensemble mesurable de IR. Soit f1 (x), f2 (x), ..., fn (x), ... une suite de fonctions convergeant
presque partout sur A vers une fonction f (x). Sil existe une fonction g(x) > 0, sommable sur A, telle que :
n IN ,

|fn (x)| 6 g(x)

pour presque tout x A, alors la fonction f est sommable sur A et on a :


Z
Z
fn (x) d(x)
f (x) d(x) = lim
n

Exemple 
Soit fn nIN dfinie sur [0, 1] par :

fn (x) =

n3/2 x
1 + n2 x2


La suite fn converge vers 0 de faon non uniforme :

f5
f10
f30

Lintgration selon Riemann ne permet pas de conclure.


On a :
33/4
n3/2 x

6
1 + n2 x2
4 x
(pour obtenir ce rsultat il faut driver par rapport n et trouver le maximum)
La fonction majorante est sommable selon Lebesgue (intgrale impropre selon Riemann qui converge absolument), et on a :
Z 1
Z 1
lim fn (x) d(x) = 0
fn (x) dx =
lim
n

2.12

0 n

Fonctions dfinies par des intgrales

Soit f (x, t) une fonction valeur dans C dfinie sur le produit cartsien A I o A est un sous-ensemble mesurable
de IR et I =]a, b[ est un intervalle ouvert de IR. Considrons la fonction de I dans C dfinie par une intgrale :
Z
t 7 f (x, t) d(x)
A

Les thormes suivants concernent la continuit et la drivabilit de la fonction ainsi dfinie.


Thorme de continuit
Si la fonction f (x, t) est telle que
1. pour tout t I, la fonction x 7 f (x, t) est mesurable

2. pour presque tout x A, la fonction t 7 f (x, t) est continue au point t0

3. il existe une fonction g(x) > 0, sommable sur A, telle que :

|f (x, t)| 6 g(x)


pour tout t I et pour presque tout x A

2.13. ESPACES FONCTIONNELS L1 ET L2

37

alors la fonction x 7 f (x, t) est sommable sur A et la fonction


Z
t 7 f (x, t) d(x)
A

est continue au point t0 , i.e. :


lim

tt0

f (x, t) d(x) =

f (x, t0 ) d(x)

Thorme de drivabilit
Si la fonction f (x, t) est telle que
1. pour tout t I, la fonction x 7 f (x, t) est sommable sur A

2. pour presque tout x A, la fonction t 7 f (x, t) est drivable sur ]a, b[


3. il existe une fonction g(x) > 0, sommable sur A, telle que :




f (x, t) 6 g(x)
t

pour tout t I et pour presque tout x A

alors la fonction

t 7

f (x, t) d(x)

est drivable sur I.

En outre, pour tout t I, la fonction x 7 f (x, t) est sommable sur A et on a :


t
Z
Z
d

f (x, t) d(x)
f (x, t) d(x) =
dt A
t
A
(drivation sous le signe somme)

2.13

Espaces fonctionnels L1 et L2

Rappel
Soit R la relation dquivalence dfinie par :
f Rg f = g presque partout sur A
Alors : L1 (A) = L1 (A)/R
o L1 (A) est lensemble des fonctions dfinies sur A et valeur dans C sommables.
On appelle donc L1 (IR) lensemble des fonctions f valeurs dans C sommables, i.e. :
Z
|f (x)| d(x) <
deux fonctions gales presque partout sur IR tant considres comme identiques.
Dfinition :
On appelle L2 (IR) lensemble des fonctions
Z f valeurs dans C dont le carr du module est sommable, i.e. :
2
|f (x)| d(x) <

On dfinit alors L2 (IR) = L2 (IR)/R (deux fonctions gales presque partout sur IR sont considres comme identiques
pour L2 (IR)).

CHAPITRE 2. INTGRALE DE LEBESGUE

38

Remarque
Il nexiste pas de relation dinclusion entre L1 (IR) et L2 (IR). Par exemple :
2

ex
x 7 p
|x|
1
x 7
1 + x2
x 7 ex

L1 (IR), 6 L2 (IR)
L2 (IR), 6 L1 (IR)
L1 (IR), L2 (IR)

Proposition
Les espaces fonctionnels L1 (IR) et L2 (IR) sont des espaces vectoriels (sur le corps des complexes) de dimension
infinie.
On peut munir L1 (IR) de la norme suivante :
Z
1
f L (IR) 7 kf kL1 (IR) = |f (x)| d(x)
De mme, on peut munir L2 (IR) de la norme suivante :

f L2 (IR) 7 kf kL2(IR) =

sZ

|f (x)|2 d(x)

Thorme de Fisher-Riesz
Les espaces L1 (IR) et L2 (IR) munis de leurs normes sont des espaces de Banach (i.e. des espaces vectoriels
norms complets).
Remarque
La norme dfinie sur L2 (IR) drive dun produit scalaire :
Z
< f, g >= f g d
A

Lespace L (IR) forme ainsi un espace de Hilbert.

2.14

Intgrale de Lebesgue dans IR2

Soient A et B deux sous-ensembles mesurables de IR. Soit f (x, y) une fonction mesurable dfinie sur le produit
cartsien A B. Si elle existe, lintgrale de Lebesgue de f sur A B sera note :
Z
f (x, y) d(x) d(y)
AB

(pour la construction de lintgrale de Lebesgue dans IR2 , voir par exemple N. Boccara, Intgration, Eyrolles 1995 ;
cette construction requiert la dfinition dune mesure de Lebesgue pour un sous ensemble de IR2 ).
La fonction f est dite sommable sur A B si :
Z




f (x, y) d(x) d(y) <

AB

On montre que f est sommable si et seulement si son module |f | est sommable et on a alors :
Z
Z



<
f
(x,
y)
d(x)
d(y)
|f (x, y)| d(x) d(y)


AB

Thorme de Fubini
Si f (x, y) est sommable sur A B, alors :
Z
f (x, y) d(x) d(y)

AB

AB

Z Z


f (x, y) d(y) d(x)
A
B

Z Z
f (x, y) d(x) d(y)
B

Remarques

2.14. INTGRALE DE LEBESGUE DANS IR2

39

1. Lnonc du thorme de Fubini renferme laffirmation que la fonction x 7


est dfinie pour presque tout x A (resp. y B).

f (x, y) d(y) (resp. y 7

A f (x, y) d(x))

2. Si f (x, y) nest pas sommable, il peut arriver que lune des deux expressions


Z Z
Z Z
f (x, y) d(y) d(x),
f (x, y) d(x) d(y)
A

ait un sens sans que lautre en ait un. Il peut mme arriver que chacune ait un sens mais que les valeurs soient
distinctes.
3. Il suffit que lune des deux expressions


Z Z
Z Z
|f (x, y)| d(y) d(x),
|f (x, y)| d(x) d(y)
A

soit finie pour que la fonction f (x, y) soit sommable sur A B.

4. Soit f (x, y) une fonction de la forme

f (x, y) = f1 (x) f2 (y)


(produit de fonctions dpendant dune seule variable et dont aucune nest presque partout nulle). Pour que f
soit sommable il faut et il suffit que chacune des fonctions fi (i = 1, 2) soit sommable. On a alors :
Z
 Z

Z
f (x, y) d(x) d(y) =
f1 (x) d(x)
f2 (y) d(y)
AB

Exemple
A = B = [0, 1]
f (x, y) =

x2 y 2
(x2 + y 2 )2

si (x, y) 6= (0, 0)

Pour f (0, 0) on peut prendre nimporte quelle valeur car cest un point de mesure nulle qui nintervient pas
dans lintgrale.

Z Z

f (x, y) d(y) d(x) =


4
B
A

Z Z

f (x, y) d(x) d(y) =


4
B
A
La fonction f nest donc pas sommable sur [0, 1] [0, 1].

40

CHAPITRE 2. INTGRALE DE LEBESGUE

Chapitre 3

Transformation de Fourier
3.1

Dfinition et premires proprits

3.1.1

Dfinition
Dfinition :

Soit f une fonction de L1 (IR). On appelle transforme de Fourier de f la fonction de la variable k IR, note F
ou F [f ], telle que :
1
F [f ](k) = F (k) =
2

f (x) eikx d(x)

Cette dfinition peut diffrer dune constante dans certains ouvrages.

Remarques
Pour que cette expression ait un sens il faut que f (x) eikx soit sommable, ce qui est assur par le fait que
f L1 (IR)
Si f et g sont deux fonctions de L1 (IR) telles que f = g presque partout sur IR alors F [f ] = F [g]
Proposition
Soit f L1 (IR), on a :
1. F [f ] est borne
2. F [f ] est continue
3. lim F [f ] = 0
|k|+

Exemples
On considre la fonction f dfinie par :
f=

1
0

si x ] a, a[
sinon

a>0

Sa transforme de Fourier est dfinie pour tout k rel comme :


Z
1

F [f ](k) =
f (x) eikx d(x)
2
Z a
1
eikx dx
=
2 a
r
2 sin ka
=
a

ka
Remarque : la transforme de Fourier nappartient pas L1 (IR).
41

CHAPITRE 3. TRANSFORMATION DE FOURIER

42

1
F

-a

 2

2
a

On considre la fonction gaussienne dfinie sur IR par f (x) = eax , avec a IR+ . La transforme de Fourier de
f est aussi une gaussienne, et sexprime comme :
k2
1
F (k) = e 4a
2a

Si on considre la largeur du pic 1/e du maximum, on trouve que le produit xk est constant (cf principe
dincertitude dHeisenberg en mcanique quantique).
Remarque : pour calculer la transforme de Fourier de f , on utilise souvent le thorme des rsidus.

3.1.2

Proprits

Linarit
La transforme de Fourier est une application linaire de L1 (IR) dans lespace des fonctions :
(f1 , f2 ) L1 (IR), (b1 , b2 ) C

F [b1 f1 + b2 f2 ] = b1 F [f1 ] + b2 F [f2 ]

Parit et ralit
On a les rsultats suivants :
f
paire
impaire
relle
imaginaire pure

F [f ]
paire
impaire
symtrie hermitique : F (k) = F (k)
symtrie anti-hermitique : F (k) = F (k)

Changement dchelle et translation


Thorme de changement dchelle
Soit f sommable, et a IR , alors on a :
F [f (ax)](k) =

1
F [f ]
|a|

 
k
a

Thorme de translation
Soit f sommable, et b IR, alors on a :
F [f (x + b)](k) = eikb F [f ](k)
On dit que la transforme de Fourier a subit un dphasage.

3.2
3.2.1

Formules
Transforme de Fourier de la drive

Thorme
Soit f une fonction sommable et partout continue, drivable presque partout et telle que f soit sommable. Alors
on a :
F [f ](k) = ik F [f ](k)

3.2. FORMULES

43

Thorme : gnralisation
Soit f telle que ses m 1 drives existent et soient sommables, partout continues, et telle que la drive dordre
m de f existe presque partout et soit sommable. Alors :
i
h
F f (m) (k) = (ik)m F [f ](k)

De ces deux thormes, ont peut dduire un rsultat concernant la vitesse de dcroissance vers zro de la transforme
de Fourier de f en fonction de lordre maximal de drivation de f . En effet, si f est telle que f (m) soit sommable et
dfinie presque partout, alors sa transforme de Fourier est borne :
M > 0, k IR, |(ik)m F [f ](k)| 6 M
Donc , si k 6= 0, on a :

M
|k|m

|F [f ](k)| 6

On voit donc que si f est indfiniment drivable, et que toutes ses drives sont sommables, la transforme de
1
Fourier de f dcrot linfini plus vite que nimporte quelle puissance de |k|
, ce qui se vrifie aisment en prenant
lexemple dune fonction gaussienne.

3.2.2

Transforme de Fourier de x 7 xf (x)

Thorme
Soit f une fonction sommable sur IR telle que la fonction dfinie par x 7 xf (x), avec x rel, soit sommable sur
IR. Alors F [f (x)](k) est drivable sur IR et lon a :
F [x f (x)](k) = i

d
F [f ](k)
dk

Thorme : gnralisation
Soit f sommable sur IR, telle que la fonction x 7 xm f (x) soit sommable sur IR. Alors la transforme de Fourier
de f est m fois drivable sur IR et on a :
F [xm f (x)] (k) = im

3.2.3

dm
F [f ](k)
dk m

Produit de convolution

Dfinition du produit de convolution


Soient f et Zg deux fonctions sommables sur IR.
Lintgrale f (x x ) g(x ) d(x ) existe pour presque tout x, et dfinit une fonction L1 (IR) appele produit
de convolution de f et g et note f g :


f g (x) =

f (x x ) g(x ) d(x )

Proposition
Le produit de convolution est commutatif
f g =gf
Thorme
Soit f et g deux fonctions sommables sur IR. On a :
F [f g] =

2 F [f ] F [g]

CHAPITRE 3. TRANSFORMATION DE FOURIER

44
Dmonstration

2 F [f ](k) F [g](k) =
=

=
=
=
=

3.2.4

Z
Z

f (X) eikX d(X) g(X ) eikX d(X )


2
ZZ

f (X) eikX g(X ) eikX d(X) d(X )


2
(en posant x = X + X et x = X )
Z Z
1

f (x x ) g(x ) eikx d(x) d(x )


2

Z Z
1

f (x x ) g(x ) d(x ) eikx d(x)


2
Z

1

f g (x) eikx d(x)


2
F [f g](k)

Inversion de Fourier

Thorme dinversion
Soit f L1 (IR), et soit F sa transforme de Fourier. Si F est sommable alors on a presque partout :
1
f (x) =
2

F (k) e+ikx d(k)

Dfinition :

Soit g L1 (IR). On dfinit loprateur inverse


par :
R F +ikx
1

d(k)
F [g](x) = 2 g(k) e

Proposition
Soit f une fonction sommable sur IR. Si sa transforme de Fourier F est sommable sur IR, alors presque partout
on a :


f (x) = F F [f ] (x)

3.2.5

Application la rsolution dune quation intgrale

On considre lquation intgrale de type Fredholm, o f est une fonction sommable sur IR :
Z
1
f (x x ) f (x ) d(x ) = 2
x +1
On reconnat lexpression du produit de convolution de f par elle mme, donc on a :

2
2 F [f ](k) = F


Z + ikx
1
1
e
1
(k) =
dx = e|k|
2
x2 + 1
1
+
x
2
2

On a donc :
1
F [f ](k) = e|k|/2
2
On applique maintenant loprateur inverse, et on obtient finalement :
1
2
f (x) =
4x2 + 1

3.2. FORMULES

3.2.6

45

Fonctions sommables, de carr sommable

Thorme de Plancherel
Soit f une fonction sommable et de carr sommable sur IR. Alors sa transforme de Fourier F est de carr
sommable et on a la relation :
Z
Z
2
|f (x)| d(x) = |F (k)|2 d(k)

3.2.7

Transforme de Fourier dune fonction de plusieurs variables

Soient les vecteurs de IRn


x = (x1 , ..., xn ) et k = (k1 , ..., kn ). On dfinit un produit scalaire et une norme :
v
u n
n
X
uX

xi ki
k
xk =t
x k =
x2i
i=1

i=1

Dfinition :
Avec ces notations, on considre f une fonction sommable de IRn dans C. On dfinit la transforme de Fourier de
f par :
Z



1

F k =
f (
x ) ei k x d(
x)
n/2
(2)

avec : d(
x ) = d(x1 ) ... d(xn )

Remarque
Soit f (x1 , x2 ) L1 (IR2 ). Si x1 f (x1 , x2 ) L1 (IR2 ) alors :




F f (x1 , x2 ) (k1 , k2 ) = i F x1 f (x1 , x2 ) (k1 , k2 )
k1

Proposition

Si f est radiale, cest dire ne dpend que de la norme du vecteur


x , alors sa transforme est radiale.
Exemple
Le potentiel de Yukawa est donn par :

f (
x)=
e k x k , > 0

kxk

Cest une fonction radiale. Sa transforme de Fourier est dfinie pour tout k par :
Z

1
1 k
x k i k
x
F k =
e
e
dx1 dx2 dx3

3/2
kxk
(2)

suivant
Pour k donn on passe en coordonnes sphriques avec le vecteur
x
k.
3
Z +Z Z 2

1 r i k
1
k k r cos 2
F k
=
e
e
r sin dr d d
3/2
r
(2)
0
0 0
Z

Z +

1
r
i k k k r cos
r
e
e
sin

d
dr
2
=
(2)3/2
0
0
r
2
1
=

k k k2 + 2
F est bien une fonction radiale.

46

CHAPITRE 3. TRANSFORMATION DE FOURIER

Chapitre 4

Transformation de Laplace
On rappelle quune fonction f : IR C est localement sommable si elle est sommable sur tout sous ensemble E
de IR de mesure finie.

4.1

Dfinition
Dfinition :

Soit f localement sommable , nulle pour


t < 0. On appelle transforme de Laplace lapplication dfinie par :
IR C
Z
L[f ] :
s 7 L[f ](s) = f (t) est d(t)
Cette
application
t 7 f (t) est .

existe

sous

rserve

de

sommabilit

de

la

fonction

Exemples
transforme de Laplace de lchelon de Heaviside.

H(t) =

1 si t > 0

0 sinon

H(t) est d(t) =

est dt

Cest une intgrale impropre de Riemann divergente pour s 6 0 et convergente pour s > 0. La transforme de
Laplace de H nest dfinie que pour s > 0 et dans ce cas :
L(H)(s) =

1
s

1
la transforme de Laplace de lchelon de Heaviside H translat de a > 0 est L(Ha )(s) = esa , s > 0
s
Soit la fonction :
 (a+ib) t
e
t>0
f (t) =
a, b IR
0
t<0
L[f ](s) =

1
s (a + ib)
47

pour s > a

CHAPITRE 4. TRANSFORMATION DE LAPLACE

48

4.2

Abscisse de sommabilit
Dfinition :

Soit f une application sommable et nulle pour t < 0.


On peut montrer quil existe s0 IR, appele abscisse de sommabilit de la transforme de Laplace de f , telle que :
s > s0 la fonction t 7 f (t) est est sommable (et donc la transforme de Laplace de f existe)
s < s0 la fonction t 7 f (t) est nest pas sommable Pour s = s0 il peut ou non y avoir sommabilit.

Remarque
si s0 = , la transforme de Laplace de f est dfinie sur tout IR
si s0 = +, f nadmet pas de transforme de Laplace.
Proposition
Si f L1 (IR) et f = 0 sur IR alors s0 6 0.
Proposition
Si, pour tout t suffisamment grand,
|f (t)| 6 A ekt ,

A IR+ , k IR

alors
s0 6 k

4.3

Proprits de la transforme de Laplace

4.3.1

Premires proprits

Proprits
1. La transforme de Laplace est une application linaire
2. Soit f localement sommable, nulle pour t < 0. Soit a IR+ . On a :
L[f (at)](s) =

s
1
L[f (t)]
a
a

s > as0

3. Avec les mmes hypothses et a IR+ , on a :


L[f (t a)](s) = eas L[f (t)](s)

s > s0

4. Avec les mmes hypothses et b IR, on a :


L[ebt f (t)](s) = L[f (t)](s b)
5.

s > s0 + b

lim L[f ](s) = 0

s+

Thorme de la valeur initiale


Si quand t tend vers 0 f admet une limite droite note f (0+ ) alors :
lim s L[f ](s) = f (0+ )

s+

Thorme de la valeur finale


Si f admet une limite en +, note f (+), alors s0 6 0 et :
lim s L[f ](s) = f (+)

s0

4.4. PRODUIT DE CONVOLUTION

4.3.2

49

Transforme de Laplace de la drive

Proposition
Soit f localement sommable, nulle pour t < 0, possdant sur IR+ une drive continue (ou continue par morceaux), localement sommable. De plus on suppose que pour t assez grand,
|f (t)| 6 A ekt , (A, k) IR+ IR
Alors :
L[f ](s) = s L[f ](s) f (0+ )

4.4

s>k

Produit de convolution

Proposition
Soient f1 , f2 deux fonctions localement sommables, nulles pour t < 0, dabscisses de sommabilit respectives s01
et s02 .
On a alors, pour s > s0 = max(s01 , s02 )
L[f1 f2 ] = L[f1 ] L[f2 ]

4.5

Analycit de la transforme de Laplace

On considre maintenant la transforme de Laplace comme une fonction de la variable complexe :

C C
Z
L[f ] :
{z C/Re(z) > s0 }
z

L[f
](z)
=
f (t) ezt d(t)

Im

Re
s0

Thorme
La transforme de Laplace est analytique sur le domaine de sommabilit {z C/Re(z) > s0 } et on a la formule :
(n)


L[f (t)](z)
= L (t)n f (t) (z)

4.6

Lien avec la transforme de Fourier

Proposition
Soit f localement sommable, nulle pour t < 0. On a, sur le domaine de sommabilit, en posant z = x + iy, et
en raisonnant x > s0 fix :
Z



L[f ](z) = f (t) ext eiyt d(t) = 2 F f (t) ext (y)

4.7

Inversion de la transforme de Laplace

Proposition : formule de Bromvitch


On suppose que pour x > s0 , la fonction y 7 L[f ](x + iy) est une fonction sommable. Daprs les rsultats sur
la transforme de Fourier, on a, pour presque tout t :
Z

1
2 f (t) ext =
L[f ](z) eiyt d(y)
x > s0
2

CHAPITRE 4. TRANSFORMATION DE LAPLACE

50

On a donc, presque partout, avec Vx = {z C/Re(z) > s0 } :

f (t) =

1
2i

Vx

L[f ](z) ezt dz =

1
2i

L[f ](x + iy) e(x+iy)t id(y)

Exemple

f (t) =

cos 2t
0

si t > 0
sinon

f est nulle pour t < 0 et localement sommable. On a :

L[f ](s) =
Z

1
Transforme de Laplace inverse :
2i

Res

z2

vx

z
ezt , 2i
z2 + 4

s
s2 + 4

s > s0 = 0

z
ezt dz possde deux singularits en 2i, avec :
+4

e2it
2

Res

z
ezt , 2i
z2 + 4

Im
2
2i
R
1

Re

-2i
Vx

1 +2

z2


z
ezt dz = i e2it + e2it
+4

Puis, en utilisant les lemmes de Jordan :


1
2i

vx

z
ezt dz = cos 2t
z2 + 4

e2it
2

4.7. INVERSION DE LA TRANSFORME DE LAPLACE

51

Transformes de Laplace usuelles (avec f (t) = 0 pour t < 0 et t0 > 0)


f (t) (t > 0)

c
c tn
sin bt
cos bt
eat
tn eat
sinh at
cosh at
eat sin bt
eat cos bt
t1/2
t1/2
(t t0 )
H(t t0 )

L[f ](s)
c
s
c n!
sn+1
b
s2 + b 2
s
2
s + b2
1
sa
n!
(s a)n+1
a
s2 a2
s
s2 a2
a
(s a)2 + b2
sa
(s a)2 + b2
1  1/2
2 s3
 1/2
s
est0
est0
s

s0
0
0
0
0
a
a
|a|
|a|
a
a
0
0
0
0

52

CHAPITRE 4. TRANSFORMATION DE LAPLACE

Chapitre 5

Distributions
5.1

Espace fonctionnel

5.1.1

Dfinition
Dfinition :

On appelle espace fonctionnel un ensemble F de fonctions ayant une structure despace vectoriel.
Exemple
L1 (IR) et L1 (IR) forment des espaces fonctionnels.
L1 (A) est la classe de fonctions Lebesguesintgrables sur A.
Si on convient didentifier les fonctions de L1 (A) gales presque partout, on obtient un nouvel espace L1 (A)
1
1
(f p.p.
= g dans L (A) est quivalent f = g dans L (A)).

5.1.2

Fonctionnelle
Dfinition :

On appelle fonctionnelle T sur un espace fonctionnel


F une application linaire de F dans C. On note :

F C
T :
f 7 < T, f >

Exemple
T :

Dfinition :

L1 (IR) C

7 < T, f >=

f (x) d(x)

Lespace fonctionnel F est dit topologique si on a donn un sens lexpression la suite n (x) de fonctions de F
converge pour n + vers la fonction (x) F .

Remarque
Si F est norm, on peut donner lexpression la suite n (x) de fonctions de F converge pour n + vers
la fonction (x) F le sens suivant :
N = N () tel que

n > N = kn k 6

Ce choix de convergence est appel convergence en norme.


53

CHAPITRE 5. DISTRIBUTIONS

54
Dfinition :

La fonctionnelle T sur un espace fonctionnel topologique F est continue si pour toute suite de fonctions (n )n de
F convergeant vers F , la suite numrique (< T, n >)n converge vers < T, >.
Elle est linaire si pour tous complexes 1 et 2 et toutes fonctions 1 et 2 de F on a
< T, 1 1 + 2 2 >= 1 < T, 1 > +2 < T, 2 >.

Dfinition :
Soit F et G deux espaces fonctionnels topologiques, chacun muni de sa propre notion de convergence. On dit que
F G :
si F , G
si une suite de F converge dans F au sens de la norme de F , alors elle converge aussi dans G au sens de la
norme de G.

Exemple

On prend F = C 0 [0, 1], IR , muni de la topologie de la convergence uniforme et G lensemble des fonctions
bornes de [0, 1] dans IR, muni de la topologie de la convergence simple. On a F G.
Dfinition : Densit
Soit F et G tels que F G. On dit que F est dense dans G si toute fonction de G est la limite au sens de la
convergence de G dune suite dlments de F .

Rappels
On appelle support dune fonction : IR C le plus petit ferm contenant {x IR/(x) 6= 0}.
On peut normer lespace vectoriel L1 (IR) des classes dquivalences de L1 (IR), pour la classe dquivalence
"presque partout gale ", par :

k kL1 (IR) :

L1 (IR)

IR
kf kL1 (IR) =

|f (x)| d(x)

Notation
On note Cc0 {IR} lensemble des fonctions continues et support born.
Proposition
Lespace fonctionnel Cc0 {IR} est dense dans L1 (IR).

5.1.3

Dual dun espace fonctionnel topologique


Dfinition :

Le dual F dun espace fonctionnel topologique F est lensemble des fonctionnelles linaires et continues sur F .

Proposition
Soient F et G deux espaces fonctionnels topologiques. Si F G et si F est dense dans G, alors G F .

5.2. DISTRIBUTIONS

5.1.4

55

Espace fonctionnel D
Dfinition :

Lensemble des fonctions : IR C infiniment drivables et supports borns forme un espace fonctionnel not
D et appel espace fonctionnel de Schwartz.
Les lments de D sont appels fonctions dessai.

Exemple
La fonction de Schwartz dfinie par :

IR

IR (
1
e x2 1
:

x 7
0

si |x| < 1
si |x| > 1

Cest une fonction de classe C ayant pour support [1, 1].

-1
D et on a :

n N

(n) (1) = (n) (1) = 0

Proposition

Soit D et soit f sommable support born, alors le produit de convolution f (x) =

x ) f (x ) d(x ) appartient D.

5.1.5

(x

Convergence dans D
Dfinition :

On dit quune suite de fonctions (n )n D converge vers D au sens de D quand n tend vers linfini si :
les supports de tous les n sont contenus dans un mme ensemble born
pour p N donn, la suite (p)
converge uniformment vers (p)
n
nN

5.2
5.2.1

Distributions
Dfinition
Dfinition :

On appelle distribution toute fonctionnelle linaire et continue sur D. Lensemble des distributions est not D .

Remarque
Une distribution est une fonctionnelle, et non une fonction.

CHAPITRE 5. DISTRIBUTIONS

56
Proprit
Lespace D est un espace vectoriel avec les lois suivantes :
C

< T1 + T2 , >
< T, >

= < T1 , > + < T2 , >


= < T, >

Remarques
T est dite nulle si et seulement si D, < T, >= 0
T1 = T2 si D, < T1 , >=< T2 , >

5.2.2

Distributions rgulires
Dfinition :

Soit f de IR dans C, localement sommable. Lapplication


Z de D dans C dfinie par :
Tf : 7< Tf , >= f (x) (x) d(x)

est une distribution dite rgulire. Toute distribution qui ne peut pas scrire sous cette forme est dite singulire.

Remarque
En physique on note souvent f la distribution rgulire Tf .
Proposition
Soient f et g deux fonctions localement sommables. On a :
Tf = Tg f = g presque partout
Exemple
La fonction de Heaviside est localement sommable et on peut lui associer une distribution rgulire note TH :
D

< TH , >=

H(x) (x) d(x) =

(x) dx

Cest la distribution de Heaviside.

5.2.3

Distribution de Dirac

Dfinition : Distribution de Dirac


On dfinit une distribution , appele
 distribution de Dirac, telle que :
D C
:
7 < , >= (0)
est une distribution singulire
: il nexiste pas de fonction localement sommable telle que
Z
(x) (x) d(x) = (0) D

Remarque
De manire gnrale, le produit de deux distributions nest pas dfini.

5.2. DISTRIBUTIONS

57

Proposition (cas particulier)


Soit : IR C de classe C (pas forcment support born).
Soit T la distribution rgulire associe . Le produit T T dune distribution quelconque T D par T est
dfini par :
D

< T T, >=< T, >

Distributions singulires dcoulant de


soit a IR
(a) :
(a) est note (x a) en physique.
soit IR
( x) :

5.2.4

C
(a)

C
1
7
(0)
||

Valeur principale de Cauchy

1. Soit f une fonction valeurs relles dfinie en tout point dun intervalle fini [a, b], lexception dun point
c ]a, b[ au voisinage duquel elle nest pas borne. Il se peut que lintgrale impropre de Riemann
Z

d
ef

f (x) dx =

lim

1 0+

c1

f (x) dx + lim

2 0+

f (x) dx

c+2

soit infinie, mais que la limite suivante :


lim

0+

f (x) dx +

f (x) dx

c+

soit finie. Dans ce cas, cette limite est appele valeur principale de Cauchy de f et on note
Z b
d
ef
vp f (x) dx = lim

0+

f (x) dx +

f (x) dx

c+

2. Soit f une fonction valeurs relles dont lintgrale de Riemann est finie sur tout intervalle fini de la forme [a, b].
Il se peut que lintgrale impropre
Z

d
ef

f (x) dx =

lim

lim

a b+

f (x) dx

soit infinie, mais que la limite suivante :


lim

b+

f (x) dx

soit finie. Dans ce cas, la deuxime intgrale est appele valeur principale de Cauchy de f sur IR, et on note :
Z
vp

d
ef

f (x) dx =

lim

b+

f (x) dx

CHAPITRE 5. DISTRIBUTIONS

58

5.2.5

Distribution Pf

La fonction x 7

1
x

1
nest pas localement sommable. Cependant, lexpression
x
lim

Z

(x)
dx +
x


Z +
(x)
(x)
dx = vp
dx
x
x

a un sens quelle que soit dans D. En effet, par un changement de variable lmentaire, on a :
Z
vp

(x)
dx = lim
0
x

(x) (x)
dx
x

Or au voisinage de lorigine, la fonction dans la deuxime intgrale est borne car elle est lexpression du taux de
variation de au voisinage de lorigine.
(x) (0) (x) (0)
(x) (x)
=
+
2 (0)
x0
x
x
x
Donc
Z +
(x)
1
dx
< Pf , >= vp
x
x

Cette distribution est une distribution singulire.

Proposition

1
Dans D , on a x Pf
= 1, o x est la distribution associe la fonction identit de D, et 1 la distribution
x
associe la fonction unit de D.

5.3
5.3.1

Transforme dune distribution


Translation

On dfinit la fonction translation a : x 7 x a, a IR. A partir de cette dfinition, on peut dfinir la translate
dune distribution T, not T a .
Dfinition :
< T a , >=< T, a1 >

5.3.2

Dilatation
Dfinition :

On dfinit la fonction dilatation d : x 7 x, IR . A partir de cette dfinition, on peut dfinir la "dilate"


dune distribution T, note T d :
1
< T, d1
D
< T d , >= ||
>

5.4. SUPPORT DUNE DISTRIBUTION

59

On peut considrer le cas particulier o = 1, dont on peut tirer deux dfinitions :


1. T est dite paire si T d1 = T ,
2. T est dite impaire si T d1 = T .
Exemples
1. La distribution de Dirac est paire.
2. La distribution Pf

5.4

1
x

est impaire.

Support dune distribution


Dfinition :

1. On dit quun distribution T est nulle sur un ouvert U de IR si < T, >= 0 pour toute fonction D dont le
support est contenu dans U .
2. On appelle support dune distribution T le plus petit ferm de IR tel que T soit nul dans son complmentaire.

Proposition
Soit f localement sommable. Soit Tf sa distribution associe.
Le support de Tf concide avec celui de f .
Exemple
On considre la fonction chelon de Heaviside H, ainsi que sa distribution TH associe. Pour tout D, on a :
< TH , >=

H(x) (x) d(x) =

(x) dx

IR

On a donc Supp(TH ) = IR+ .


De mme, Supp() = {0}.
Dfinition :
Le support dune distribution est dit limit gauche (respectivement droite) si il est inclus dans IR+ (resp. si il
est inclus dans IR ).

Lensemble des distributions support limit gauche (resp. droite) est not D+
(resp. D
).

Dfinition :
On appelle E lensemble des distributions support born.

E
D

CHAPITRE 5. DISTRIBUTIONS

60

Convergence dans D

5.5
5.5.1

Choix de la topologie
Dfinition :

Soit une suite (Tn )n de distributions. On dit que (Tn )n converge vers T D si la suite numrique
converge vers < T, > quelle que soit la fonction prise dans D.

< Tn , >

Notation
On note : l.i.m Tn = T .
n

Remarque


Soit T , une famille de distributions dpendant dun paramtre .
On dit que {T } converge vers T0 quand tend vers 0 si lexpression < T , > tend vers < T0 , > pour
tout de D.
On note alors :
l.i.m T = T0
0

5.5.2

Suites de Dirac
Dfinition :

Soit f sommable telle que


Soit x 7 fn (x) = n f (nx).

f d = 1.

Pour tout n entier naturel, la fonction fn est sommable et


rgulire associe fn .
Soit Tfn la distribution

La suite Tfn n est appele suite de Dirac associe f .

fn d = 1.

Proposition
La suite de Dirac associe f converge vers la distribution de Dirac :
l.i.m Tfn =

Exemples
1. Reprenons la fonction de Schwartz :
:
Soit (x) = Z

(x)
+

e x2 1
0

si |x| < 1
sinon

(fonction dont laire est normalise 1).

(u) du

Soit (n ) la suite de Dirac associe :


n (x) = n (nx)


La suite Tn converge vers :

soit encore, de faon quivalente :

lim

n n (nx) (x) d(x) = (0)


l.i.m Tn =

5.6. DRIVE DUNE DISTRIBUTION

61
3

2
1

-1
2. La suite de Dirac associe x 7

5.6

-1/2
0
1/2
-1/3
1/3

1
converge vers
(1 + x2 )

Drive dune distribution


Dfinition :

Soit T D . On appelle drive de T , note T , la distribution dfinie par :


< T , >= < T, > D

Proposition
Toute distribution est indfiniment drivable, et
< T (n) , >= (1)n < T, (n) >
Exemple
On considre la distribution de Heaviside TH . On a pour toute fonction appartenant D :
Z +

, >= < TH , >=


< TH
(x) dx = (0) =< , >
0

Donc la drive de TH est la distribution de Dirac.


Proposition
Soit f drivable sur IR, sauf en x = a o elle admet une discontinuit de premire espce.
En notant = f (a+ ) f (a ) (amplitude du saut en a), et en supposant f (a+ ) et f (a ) finis, on a :
Tf = Tf + (a)

a
Exemple
Cas de la distribution de Heaviside :

TH
= TH + =

(TH = 0 car H est nulle presque partout et = 1)

CHAPITRE 5. DISTRIBUTIONS

62
Proposition
Soit C . Soit T la distribution associe .
La drive du produit T T , avec T quelconque donne :
(T T ) = T T + T T

5.7

Convergence de la suite des distributions drives

Proposition
Soit (Tn )n une suite de distributions et soit T appartenant D .
Si l.i.m Tn = T , alors :
n

l.i.m Tn = T

Exemple

2
1
Soit la fonction f dfinie par x 7 f (x) = ex /2 .
Z +2

f est sommable, de classe C et on a


f (x) dx = 1.

On considre la suite dfinie par : n N, fn (x) = n f (nx).


Daprs le rsultat prcdent, on a, avec les notations usuelles :

l.i.m Tfn =
n

soit encore :

l.i.m (Tfn ) =

car fn est drivable sur tout IR.


On en dduit :
Z
lim
n+

n 2 x2
n3 x
e 2 (x) dx = (0)
2

f5

f2

5.8

@
R
@
@
R
@ @
R
@
f3

Utilisation des distributions en mcanique

Nous allons appliquer la thorie des distributions la dynamique du point matriel. En effet, les distributions
sont recommandes par exemple dans les problmes traitant des chocs de deux particules, car linteraction est alors
ponctuelle dans le temps, discontinue et non drivable vis--vis des fonctions comme limpulsion.
Soit une particule ponctuelle de masse m se dplaant sur laxe des x :
x(t) = v |t t0 |,
Au temps t = t0 la particule heurte lorigine. On a donc :
(
mv
p(x) =
mv

v > 0, t0 IR

si t < t0 ,
si t > t0 ,

5.9. PRODUIT DE CONVOLUTION

63

dp
= 0 presque partout.
dt
On considre Tp la distribution associe limpulsion p. On a Tp = 2mv (t0 ) . Daprs le principe fondamental de la
dynamique la force sexerant sur la particule durant le choc est donc une distribution singulire. En physique, on
note : F = 2mv (t t0 )
Au sens des fonctions,

t0

trajectoire :

t < t0

x impulsion :

t > t0
mv

t0
-mv

t0

Remarque
(t0 ) a pour dimension linverse dun temps :

(t) dt

= 1

(t) (t) dt

= (0)

5.9

Produit de convolution

Soit S D et D. Alors < Sy , (x + y) > est une fonction de IR dans C de x, la notation Sy signifiant que la
distribution ne sapplique qu la variable y. On gardera ces notations tout au long de cette partie.
Dfinition :
Soient T et S deux distributions. On appelle produit de convolution de T et S, not T S, la distribution dfinie,
si elle existe, par :

D C
T S :
7 < Tx , < Sy , (x + y) >>

Remarque
S T nexiste pas toujours : il faut que < Sy , (x + y) > appartienne D ce qui nest pas assur dans le cas
gnral.
Proposition
Si T S existe , alors on a T S = S T .
Proposition : conditions suffisantes dexistence du produit
Soient T et S D .
1. a) si T ou S est dans E , alors T S est dfini
b) si T et S sont dans E , alors T S est dfini et T S E

2. a) si T et S sont dans D+
, alors T S est dfini et T S D+

b) si T et S sont dans D , alors T S est dfini et T S D

Proposition
Soit T D . On a :
1. T = T

2. T = T

CHAPITRE 5. DISTRIBUTIONS

64
Dmonstration
Soit D .
< T, >

< T, >

= < x , < Ty , (x + y) >>


= < Tx , < y , (x + y) >>
= < Tx , (x) >
= < T, >
= < Tx , < y , >>
= < Tx , (x) >
= < T, >
= < T , >

Proposition
Si on considre la fonction translation dfinie par :
(a) =
Alors T D , on a :

IR IR
x 7 x a

(a) T = T (a)

Cas particulier
Soient a et b deux rels.
(a) (b) = (a+b)
Proposition
Soit T et S D . Si T S existe, alors on a :
(T S) = T S = T S
Remarque
Cette proposition peut tre gnralis lordre n :
(T S)(n) = T S (n) = T (n) S
Preuve
Par dfinition, on peut crire pour toute fonction D
D

E
(S T )(n) ,

=
=
=
=
=

E
D
(1)n S T (n)
D
D
EE
(1)n S(x), T (y), (n) (x + y)
D
EE
D
S(x), (1)n T (y), (n) (x + y)
D
D
EE
S(x), T (n) (y), (x + y)
D
E
S T (n) ,

Remarque
Le produit de convolution nest en gnral pas associatif :
(TH ) 1 = 1 = 1

TH ( 1) = TH 0 = 0

5.10. TRANSFORME DE FOURIER DES DISTRIBUTIONS

5.10
5.10.1

65

Transforme de Fourier des distributions


Introduction

Le but de cette partie est que lon puisse arriver quelque chose du type :
< F [Tf ], >=< Tf , F [] >
Z
1
Avec F [] =
eikx (x) d(x).
2
Pour cela il faut que F [] D, ce qui nest pas assur : si D, F [] nest pas a support born (sauf pour la fonction
nulle).
On introduit donc un espace fonctionnel S tel que :
S F [] S

5.10.2

Espace fonctionnel S
Dfinition :

On appelle S lensemble des fonctions de IR dans C indfiniment drivables et telles que :


p, q N sup |xp (q) (x)| < +
xIR

Cet ensemble est appel espace des fonctions de classe C dcroissance rapide (les fonctions de cet espace
dcroissent plus vite que nimporte quelle loi de puissance en x).

Exemple
2
La fonction x 7 x3 ex vrifie les conditions nonces prcdemment. Elle est donc dans S mais elle nest pas
dans D (elle nest pas support born).
Proposition
1. S = S

2. S = xp q (x) est sommable

3. S = F [] et F [] existent


dans S.
 et sont

De plus on a : F F [] = F F []
Dfinition : Choix de convergence
Soit (n ) une suite de fonctions de S et soit S. On dit que (n ) converge vers si et seulement si pour tout
(q) 
couple (p, q) dentiers naturels, la suite xp n n converge vers xp (q) de manire uniforme.

Proposition
D est dense dans S pour ce choix de convergence.
Dfinition :

On appelle S le dual de S et on le nomme ensemble des distributions tempres.


Lensemble des distributions tempres est inclus strictement dans D .

CHAPITRE 5. DISTRIBUTIONS

66

5.10.3

Transforme de Fourier dune distribution tempre


Dfinition :

Soit T S , pour tout S, on a :


< F [T ], >=< T, F [] >

Proposition
Si T S , alors F [T ] S .
Remarque
Les rsultats prsents ici sont les mmes si on considre la transforme inverse F .
Exemple
On vrifie facilement que S . En crivant la dfinition de la transforme de Fourier de , on trouve sans
aucun problme : Soit S.
< F [], >

= < , F [] >
Z
1
= < ,
eikx (x) d(x) >
2
Z
1
(x)d(x)
=
2

On a donc :
1
F [] =
2
1
1
o
est la distribution rgulire associe la fonction x 7 .
2
2
De mme, on a :
F [(a) ] =


1
F
=
2
F [] =
F [ ] =


ix
F
=
2
Remarque
En physique :

1
eiak
2

a IR

2
ik


Z +
Z +
1
1
1
1 ikx

=
F
e
dx =
eikx dx
2
2
2
2


On a donc :
(k) =

1
2

eikx dx

Cette expression na pas de sens au niveau mathmatique car la fonction x 7 eikx nest pas sommable.
Proposition
Soit (Tn ) une suite de distributions de S , et soit T S .
Si l.i.m Tn = T , alors l.i.m F [Tn ] = F [T ].
n

5.11. DISTRIBUTION DANS IR3

67

Proposition
On a :
E S D
(toute distribution support born est tempre).
Proposition
Soit T E . On montre que F [T ] est rgulire et est associe la fonction de classe C :


5.10.4

IR
k

C
7 12 < Tx , eikx >

Transforme de Fourier du produit de convolution

Proposition
Soient S S et T E . On a :

F [T S] =

2 F [T ] F [S]

(ce qui comprend lexistence des deux termes)

5.11

Distribution dans IR3

Soit
x = (xp
1 , x2 , x3 )

r = ||
x || = x21 + x22 + x23 .
On dfinit :

D IR3 , lensemble des fonctions
Exemple
Soit S : IR3

C
(

0
1
e 1r2

[t]IR3 C
, C support born.
(x1 , x2 , x3 ) 7 (x1 , x2 , x3 )

si r > 1
si r < 1

D IR3



D IR3 , le dual de D IR3 .



Soit T D IR3 , linaire et continue. T :
D IR3
C

7 < T, >

Exemple
La distribution de Dirac :

3d D IR3
:


D IR3

(
x)

7 ( 0 ) = (x1 = 0, x2 = 0, x3 = 0)

Remarque
Les physiciens dfinissent une fonction telle que : 3d = (x1 )(x2 )(x3 ).
Z

(
x )3d (
x )d3 x = ( 0 ).

CHAPITRE 5. DISTRIBUTIONS

68

5.11.1

Drives partielles


Soit T D IR3 .




T

, = T,
xi
xi

D IR3

Exercice
(

IR3
C
(x1 , x2 , x3 ) 7 r1 =

1
x21 +x22 +x23

Cette fonction est


 radiale (elle ne dpend que de || x ||).
1
Calculons r (pour tudier la distribution de charge lorigine) dans IR3 \{0}.
   2
 
1

2
2
1

=
=0
+ 2+ 2
2
r
x1
x2
x3
r

Ainsi, les fonctions IR3 C radiales, vrifient : f = 0.


A
d2 f
2 df
A, Bctes.
Comme f = 2 +
, alors : f = + B
dr
r dr
r
Soit la fonction
IR3
IR
.
1
(x1 , x2 , x3 ) 7 1r = ||

x ||

1
r

est localement sommable dans IR3 , on peut lui associer une distribution rgulire.
 Z


1
1
, =
(
x ) d3 x
D IR3 .
r
r


r1 dans D (IR3 ).
    

1
1

, =
,
r
Zr
1
d3 x
=
r Z
3
= lim
d x
+
0
Espace \S(0, ) r
{z
}
|
I

1
r 
 

Z
Z
1
1
1
3
d x
+
d
=
+

r
r r
r r
r>
r=
|
{z
}

I =

d3 x

Th de Green

avec d = sin dd.

=0

 
1
= 4
r

dans D IR3

Index
A
analytique (fonction). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9

tage (fonction). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .31


exponentielle complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6

drivabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
intgration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10, 12
zro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 Fisher-Riesz (thorme de) . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
fonction dune variable complexe
continuit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
drive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Cauchy
limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
valeur principale de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57 fonctionnelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Cauchy
Fourier (transformation de) . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
formule intgrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
thorme de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12
linarit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Cauchy-Riemann (condition de) . . . . . . . . . . . . . . . . . . . . . . . . 8
parit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
chemin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
plusieurs variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .45
connexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5, 13
ralit. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .42
continuit (thorme de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
transformation inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
contour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
homotope . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Fredholm (intgrale de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
convergence domine (thorme de) . . . . . . . . . . . . . . . . . . . 36 Fubini (thorme de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
convolution (produit de) . . . . . . . . . . . . . . . . . . . . . . . . . . 43, 63
transform de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
cosinus complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
coupure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 gaussienne (fonction) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

H
D
holomorphe (fonction) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
drivabilit (thorme de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . .37
Darboux (ingalit de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
densit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Dirac
distribution de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
suites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
drive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
rgulire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
singulire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
transforme
dilatation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
transforme de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

homotope. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13

Iimpropre (intgrale) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
JJordan (lemmes de). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .26
L
L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1

L2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Laurent (srie de). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .20
Lebesgue (intgrale de) . . . . . . . . . . . . . . . . . . . . . . . . . . . 29, 38
Lebesgue (mesure de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Liouville
(thorme de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

E
entires (fonction) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 M
espace fonctionnel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 mromorphe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Schwartz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 maximum
69

70
local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
strict. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .14
thorme du . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
mesure
extrieure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
intrieure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
Morera (thorme de). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .15
multiforme (fonction) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

P
Plancherel (thorme de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
point isol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

R
radiale (fonction) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
rayon de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
rsidu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
application au calcul dintgrales . . . . . . . . . . . . . . . . . 25
thorme des . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Riemann (intgrales de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Riemann-Lebesgue (lien). . . . . . . . . . . . . . . . . . . . . . . . . . . . . .35

S
Schwartz (espace fonctionnel) . . . . . . . . . . . . . . . . . . . . . . . . . 55
srie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
convergence absolue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
convergence simple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
convergence uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
entire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
drivation (thorme de) . . . . . . . . . . . . . . . . . . . . . . . 17
Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
singulier (point) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
sommable (fonction) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
de carr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

T
Taylor (srie de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
topologie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
topologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

V
valeur principale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
W
Weierstrass (critre de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Y
Yukawa (potentiel de) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

INDEX