Math 6

Cours de Math ematiques pour la Licence
Analyse Complexe
Sylvie Benzoni et Francis Filbet
7 mai 2007
2
Table des mati` eres
1 Rappels sur les nombres complexes 5
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2

Ecriture cart esienne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.1 Conjugaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Module . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Inversion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4 Exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
5 Nombres complexes de module 1 . . . . . . . . . . . . . . . . . . . . . . 10
6 Racines n-i` emes de lunit e . . . . . . . . . . . . . . . . . . . . . . . . . 12
7

Ecriture trigonom etrique . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2 Transformation de Fourier 15
1 Introduction ` a lanalyse de Fourier . . . . . . . . . . . . . . . . . . . . . 15
2 S eries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.1 Th eorie Hilbertienne des s eries de Fourier. . . . . . . . . . . . . 18
2.2 Convergence ponctuelle des s eries de Fourier. . . . . . . . . . . . 19
3 Transformation de Fourier des fonctions int egrables . . . . . . . . . . . . 21
4 Exemples de Transform ees de Fourier . . . . . . . . . . . . . . . . . . . 27
5 Transformation de Fourier de fonctions L
2
. . . . . . . . . . . . . . . . . 28
. . . . . . . . . . . . . . . . 30
3 Fonctions de variable complexe 33
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3 Transformations conformes . . . . . . . . . . . . . . . . . . . . . . . . . 39
4 Int egration le long de chemins dans C . . . . . . . . . . . . . . . . . . . 41
4.1 Th eor` eme de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 43
4.2 R eciproque du Th eor` eme de Cauchy. . . . . . . . . . . . . . . . 47
5 Fonctions analytiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
6 M ethodes des r esidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.1 Notion dindice . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
6.2 Formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . 52
3
TABLE DES MATI
`
ERES TABLE DES MATI
`
ERES
7 Z eros et singularit es des fonctions holomorphes . . . . . . . . . . . . . . 54
8 Fonctions holomorphes el ementaires . . . . . . . . . . . . . . . . . . . . 61
8.1 Fonctions homographiques . . . . . . . . . . . . . . . . . . . . . 62
8.2 La fonction exponentielle et ses acolytes . . . . . . . . . . . . . . 63
8.3 Les fonctions logarithme et les fonctions puissance . . . . . . . . 63
9 Th eor` emes g en eraux . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
9.1 Principe des z eros isol es. . . . . . . . . . . . . . . . . . . . . . . 65
9.2 Principe du prolongement analytique. . . . . . . . . . . . . . . . 65
9.3 Principe du maximum. . . . . . . . . . . . . . . . . . . . . . . . 65
10 La fonction Gamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
11 R eciproques de fonctions holomorphes . . . . . . . . . . . . . . . . . . . 72
12 Retour sur les singularit es isol ees . . . . . . . . . . . . . . . . . . . . . . 75
4 Transformation de Laplace 79
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
2 Transform ees de Laplace el ementaires . . . . . . . . . . . . . . . . . . . 83
3 R` egles de calcul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
4 Transformation de Laplace inverse . . . . . . . . . . . . . . . . . . . . . 85
5 Applications de la transformation de Laplace . . . . . . . . . . . . . . . 92
A Appendice : compl ements de calcul diff erentiel et int egral . . . . . . . . 94
4
Chapitre 1
Rappels sur les nombres complexes
1 Introduction
Un nombre complexe est avant tout un couple de nombres r eels z = (x, y) R
2
. En
particulier, la somme de deux nombres complexes z = (x, y) et z
= (x
, y
) est z + z
=
(x + x
, y + y
), tandis que pour tout R et tout z = (x, y) C, z = (x, y) .

On notera simplement z = (1) z . Lensemble des nombres complexes, not e C, est
de plus dot e dune multiplication (interne) .
D enition 1.1 Quels que soient z = (x, y) et z
= (x
, y
) dans C, le produit z z
est le
nombre complexe z
= (x
, y
) tel que
x
= x x
y y
, y
= x y
+ x
y .
Le produit z z est aussi not e z
2
. On v erie sans peine que 1 = (1, 0) est el ement neutre
pour la multiplication dans C, et que C muni de cette multiplication et de laddition (+)
est un corps. On identie tout nombre complexe de la forme z = (x, 0) = x 1 avec le
nombre r eel x , la multiplication par z = (x, 0) dans C concidant avec la multiplication
par x :
x R, z
= (x
, y
) C, (x, 0) z
= (x x
, x y
) = x (x
, y
) .
Dautre part, on note i = (0, 1) . Ce nombre complexe v erie la propri et e remarquable :
i
2
= 1.
Autrement dit, i admet pour inverse
1
i
= i .
Interpr etation g eom etrique . On peut repr esenter C comme le plan (xOy) muni dune
base orthonorm ee o` u 1 est le premier vecteur de base (cest-` a-dire dirigeant laxe (Ox))
et i est le second vecteur de base (cest-` a-dire dirigeant laxe (Oy)) .
5
Ecriture cart esienne Rappels sur les nombres complexes

`
A chaque nombre complexe z = (x, y) on peut associer le point M de coordonn ees
(x, y) . On dit alors que z est lafxe du point M . On remarque en particulier que la
multiplication par i correspond ` a la rotation dangle /2 et de centre O . En effet, si
z = (x, y) on a i z = (y, x) . Donc si M est le point dafxe z et M
le point dafxe
i z, on a
|
OM
| = |
OM| ,

OM
OM = 0 , d et(
OM,
OM
) = x
2
+ y
2
> 0 .
2

Ecriture cart esienne
Avec les notations introduites pr ec edemment, on a pour tout nombre complexe z =
(x, y) :
z = x 1 + y i ,
que lon ecrit plus simplement :
z = x + i y .
Cest ce quon appelle l ecriture cart esienne de z . Le nombre r eel x, qui est aussi labs-
cisse du point dafxe z, est appel e partie r eelle de z et le nombre r eel y, qui est aussi
lordonn ee du point dafxe z, est appel e partie imaginaire de z . On note g eneralement :
x = Rez et y = Imz .
On appelle nombre imaginaire pur un nombre complexe de partie r eelle nulle.
2.1 Conjugaison
D enition 2.1 Quel que soit le nombre complexe z = x + i y avec x et y r eels, on
appelle conjugu e de z le nombre complexe
z = x i y .
Interpr etation g eom etrique . Le point dafxe z est sym etrique du point dafxe z par
rapport ` a laxe (0x) .
On a les formules evidentes mais bien utiles :
Rez =
z + z
2
et Imz =
z z
2 i
.
Donc en particulier :
Un nombre complexe z est r eel si et seulement si z = z.
Un nombre complexe z est imaginaire pur si et seulement si z = z.
6

Ecriture cart esienne
Proposition 2.1 Pour tous nombres complexes z
1
et z
2
,
z
1
+ z
2
= z
1
+ z
2
et z
1
z
2
= z
1
z
2
.
D emonstration. Le cas de la somme est imm ediat. Le cas du produit est un calcul
facile : si z
1
= x
1
+ i y
1
et z
2
= x
2
+ i y
2
, z
1
z
2
= x
1
x
2
y
1
y
2
+ i (x
2
y
1
+ x
1
y
2
)
donc
z
1
z
2
= x
1
x
2
y
1
y
2
i (x
2
y
1
+ x
1
y
2
) = (x
1
i y
1
) (x
2
i y
2
) = z
1
z
2
.
2
On remarque que pout tout z = x + i y (avec x et y r eels), le produit z z est un
nombre r eel positif . En effet,
z z = (x + i y) (x i y) = x
2
+ y
2
.
2.2 Module
D enition 2.2 Pour tout nombre complexe z, on appelle module de z le nombre r eel
positif
[z[ =
z z .
Autrement dit, si z = x + i y avec x et y r eels, [z[ =
_
x
2
+y
2
. En particulier, si
z = x est r eel, son module [z[ est egal ` a la valeur absolue [x[ de x . Les notations sont
coh erentes ! De facon plus g en erale, on a les in egalit es :
[Rez[ [z[ et [Imz[ [z[ .
Noter que [z[ = 0 equivaut ` a z = 0.
Interpr etation g eom etrique . Si M est le point dafxe z, on a
[z[ = |
OM| .
Un corollaire imm ediat de la d enition du module et de la proposition 2.1 est que pour
tous nombres complexes z
1
et z
2
,
[ z
1
z
2
[ = [z
1
[ [z
2
[ .
Attention ! En g en eral,
[ z
1
+ z
2
[ ,= [z
1
[ + [z
2
[ .
On a seulement lin egalit e
[ z
1
+ z
2
[ [z
1
[ + [z
2
[ ,
avec egalit e si et seulement si z
2
est un multiple r eel de z
1
(ce qui signie g eom etriquement,
pour les points M
1,2
dafxe z
1,2
, que les vecteurs
OM
1
et
OM
2
sont colin eaires).
7
Inversion Rappels sur les nombres complexes
Proposition 2.2 Deux nombres complexes sont egaux si et seulement sils ont m eme mo-
dule, m eme partie r eelle et leurs parties imaginaires ont le m eme signe .
D emonstration. La partie directe est evidente : si z = z
alors [z[ = [z
[, Rez = Rez
et Imz = Imz
sont de m eme signe . R eciproquement, supposons [z[ = [z
[, Rez = Rez
.
Alors
(Imz)
2
= [z[
2
(Rez)
2
= [z
[
2
(Rez
)
2
= (Imz
)
2
.
Si de plus Imz et Imz
sont de m eme signe alors n ecessairement Imz = Imz
. 2
Cette proposition dapparence anodine est tr` es utile pour rechercher les racines carr ees
dun nombre complexe Z, cest-` a-dire les nombres z tels que z
2
= Z . En effet, dapr` es
cette proposition on a z
2
= Z si et seulement si
[z
2
[ = Z , Re(z
2
) = ReZ et Im(z
2
) ImZ 0 .
En utilisant la propri et e [z
2
[ = [z[
2
, ceci se traduit sur x = Rez et y = Imz par
_
_
_
x
2
+ y
2
= [Z[ ,
x
2
y
2
= ReZ ,
x y ImZ 0 ,
et ce syst` eme est equivalent ` a
_
_
_
2 x
2
= [Z[ + ReZ ,
2 y
2
= [Z[ ReZ ,
x y ImZ 0 .
On trouve ainsi exactement deux racines carr ees de Z (si Z est non nul) .
Si par exemple ImZ est positif, z
2
= Z equivaut ` a z = z
1
ou z = z
2
avec :
z
1
=
_
[Z[ + ReZ
2
+ i
_
[Z[ ReZ
2
,
z
2
=
_
[Z[ + ReZ
2
i
_
[Z[ ReZ
2
.
Il nest pas indispensable de retenir ces formules, il vaut mieux savoir les retrouver en
pratique !
3 Inversion
Si z = x + i y (avec x et y r eels) est un nombre complexe non nul, il admet pour
inverse
1
z
=
z
z z
=
x
x
2
+ y
2
i
y
x
2
+ y
2
.
8
Rappels sur les nombres complexes Exponentielle
Plus g en eralement, on verra que les homographies, cest-` a-dire les applications de C dans
C de la forme :
z
az +b
cz +d
(avec ad bc ,= 0), ont des propri et es g eom etriques et analytiques tr` es importantes.
4 Exponentielle
Avant de pr esenter la fonction exponentielle, nous rappelons les crit` eres de cnvergence
dune s erie.
D esignons par S
n
(z) =
n
k=0
u
k
(z) la s erie partielle de terme g en eral u
k
(z), pour
z C. On a alors
D enition 4.1 (convergence ponctuelle) La s erie S
n
(z) converge ponstuellement (on parle
aussi de convergence simple) dans D vers S(z) lorsque pour tout z D et > 0,
N(z, ) N, n > N(z, ), [S
n
(z) S(z)[ < .
D enition 4.2 (convergence uniforme) La s erie S
n
(z) converge uniform ement dans D
vers S(z) lorsque pour tout > 0,
N() N, n > N(), sup
zD
[S
n
(z) S(z)[ < .
D enition 4.3 (convergence absolue) La s erie S
n
(z) est absolument convergente dans
D vers S(z) lorsque la s erie de terme g en eral [u
k
(z)[ converge ponctuellement dans D.
Th eor` eme 4.1 (crit` eres de convergence des s erie num erique) La s erie numerique
nN
u
n
est convergente lorsque
_
_
max
nN
_
u
n+1
u
n
_
= L < 1, crit` ere dAbel
max
nN
(u
n
)
1/n
= L < 1, crit` ere de Cauchy
Notons que lorsque L = 1 on ne peut pas conclure.
Pour tout nombre complexe z, la s erie
n0
z
n
n!
est absolument convergente. (Cest
m eme une s erie de fonctions uniform emement convergente sur tout compact de C.) On
d enit
e
z
=
+
n=0
z
n
n!
.
9
Nombres complexes de module 1 Rappels sur les nombres complexes
On a de facon evidente e
0
= 1, et pour tout z C,
e
z
= e
z
.
Dautre part, on a comme dans R la propri et e fondamentale
e
z +z
= e
z
e
z
.
(Pour la d emonstration, utiliser la formule du bin ome.) Par suite,
[e
z
[
2
= e
z
e
z
= e
z
e
z
= e
z+z
,
do` u
[e
z
[ = e
Rez
.
Outre son int er et pratique, cette formule montre, puisque la fonction exponentielle ne
sannule pas sur R, quelle ne sannule pas plus sur C.
5 Nombres complexes de module 1
On notera U lensemble des nombres complexes de module egal ` a 1, qui sidentie
g eom etriquement avec le cercle unit e centr e en O . Les nombres complexes 1 et i appar-
tiennent bien s ur ` a U . Une remarque evidente mais souvent utile est l equivalence
[z[ = 1
1
z
= z
Description analytique de U :
U = z = e
i
tel que R .
En effet,
z = e
i
tel que R U,
car dapr` es la d enition et la propri et e fondamentale de lexponentielle, on a
e
i
= e
i
=
1
e
i
pour tout R. Dautre part, si on d enit
Re(e
i
) = cos , Im(e
i
) = sin
pour tout R, les fonctions cos et sin sont continues (comme limites uniformes de
suites de fonctions continues), et comme e
0
= 1, on a cos 0 = 1 et sin 0 = 0.
10
Rappels sur les nombres complexes Nombres complexes de module 1
De plus, ces fonctions admettent des d eveloppements en s erie enti` ere :
cos = Re
_
+
n=0
(i )
n
n!
_
=
+
k=0
(1)
k
2k
(2k)!
, sin =
+
k=0
(1)
k
2k+1
(2k + 1)!
.
On voit notamment que
cos 2 1 2
2
/2 + 2
4
/4! = 1/3 < 0 .
Donc, dapr` es le th eor` eme des valeurs interm ediaires, il existe un nombre ]0, 2[ o` u cos
sannule. On appelle /2 le plus petit. De plus, sin est d erivable, de d eriv ee cos, qui
est positif sur [0, /2]. Donc sin(/2), qui est de carr e egal ` a 1, est positif. Par suite,
sin(/2) = 1. Ainsi, le nombre est le plus petit r eel positif tel que
e
i /2
= i U.
On remarque aussi que cos est paire et sin impaire. Pour tout z U,
[Rez[ [z[ = 1 .
Supposons Rez 0. Dapr` es le th eor` eme des valeurs interm ediaires, il existe donc
[0, /2] tel que Rez = cos . De plus, on a
(Imz)
2
= [z[
2
(Rez)
2
= 1 cos
2
= sin
2
.
Donc Imz = sin ou Imz = sin(). Ainsi, dans le premier cas on a z = cos +
i sin et dans le second cas on a z = cos() + i sin(). Enn, si z U et Rez 0,
alors z U et Re(z) 0, donc dapr` es ce qui pr ec` ede il existe [0, /2] tel que
z = e
i
. Or
1 = (i)
2
=
_
e
i /2
_
2
= e
i
.
Donc z = e
i (+)
. Ceci prouve que
U = z = e
i
tel que R .
Remarques :
G eom etriquement, la multiplication par e
i
correspond ` a la rotation dangle et de
centre O.
lensemble U est un groupe multiplicatif. Pour tout n N, on a
e
i n
=
_
e
i
_
n
(formule de Moivre)
En particulier,
e
2 i
= i
4
= 1 ,
do` u
e
i
= e
i
2Z.
11
Racines n-i` emes de lunit e Rappels sur les nombres complexes
6 Racines n-i` emes de lunit e
Proposition 6.1 Pour tout n N
, il existe exactement n solutions de l equation

z
n
= 1 ,
appel ees racines n-i` emes de lunit e. Elles s ecrivent
k
n
pour k 0, . . . , n 1, o` u
n
= e
2 i
n
.
De plus, elles v erient la propri et e :
n1
k=0
k
n
= 0 .
D emonstration. On a pour tout z C, [z
n
[ = [z[
n
. Donc une solution de z
n
= 1
est n ecessairement de module 1 . De plus,
(z = e
i
, z
n
= 1) = i n 2 Z.
Donc les solutions sont toutes de la forme
e
2 i k
n
, k Z.
Or, pour k k
[n],
e
2 i k
n
= e
2 i k

n
.
Donc il y a seulement n solutions distinctes, comme enonc e . La propri et e concernant leur
somme se d eduit de lidentit e remarquable :
z
n
1 = (z 1) ( z
n1
+ + z + 1 ) .
2
Exemples : Les racines carr ees de lunit e sont 1 et 1 = e
i
. Les racines quatri` emes
de lunit e sont 1, i, 1 et i . Cest loccasion de remarquer l egalit e :
i = e
i
2
.
Dautre part, les racines cubiques de lunit e sont 1, j et j
2
, o` u
j
d ef
= e
2 i
3
=
1
2
+ i
3
2
.
Cest une notation quil vaut mieux connatre
1
, ainsi que la formule :
1 + j + j
2
= 0 .
1
Attention cependant, j d esigne parfois i en physique !
12

Ecriture trigonom etrique
7

Ecriture trigonom etrique
Si z est un nombre complexe non nul, alors z/[z[ est un nombre complexe de module
1, s ecrivant donc e
i
pour R . Il est dusage de noter r = [z[ R
+
, si bien que
z = r e
i
.
Cest ce quon appelle l ecriture trigonom etrique de z .
Proposition 7.1 Soient
1
et
2
dans R, r
1
et r
2
dans R
+
. On a
r
1
e
i
1
= r
2
e
i
2
r
1
= r
2
et
1

2
2Z.
En particulier, l ecriture trigonom etrique r e
i
dun nombre complexe non nul est unique
si lon impose r R
+
et [0, 2[ .
Interpr etation g eom etrique . Si M est le point dafxe z = r e
i
avec r R
+
et
[0, 2[, on a
r = |
OM|
et est langle entre le vecteur de base 1 de laxe (Ox) et le vecteur
OM . La multiplica-
tion par r e
i
revient ` a composer la rotation dangle et de centre O avec lhomoth etie de
centre O et de rapport r.
13
Ecriture trigonom etrique Rappels sur les nombres complexes

14
Chapitre 2
Transformation de Fourier
1 Introduction ` a lanalyse de Fourier
Historiquement, cest l etude des oscillateurs qui a x e la terminologie et th eorie spec-
trale. Pour commencer par un exemple simple, on consid` ere un syst` eme de n billes de
masse identique reli ees entre elles par des ressorts identiques et au repos. Pour etudier
les mouvements possibles de ces billes, on note u
1
, u
2
, . . ., u
n
la position de chaque bille
relative a la position d equilibre. Les equations du mouvement sont alors donn ees par
m
d
2
u
i
dt
2
= k (u
i+1
2 u
i
+u
i1
)
o` u i = 1, . . . , n et u
0
= u
n+1
= 0 et m est la masse dune bille et k la constante de rappel
des ressorts. On pose alors u = (u
1
, . . . , u
n
)
T
, ces equations s ecrivent alors
d
2
u
dt
2
= Au
avec
A =
k
m
_
_
_
_
_
_
2 1 0 . . . 0
1 2 1 . . . 0
0 . . . 1 2 1
0 . . . 0 1 2
_
_
_
_
_
_
On constate que la matrice A est sym etrique d enie n egative (x
T
Ax 0, pour tout
x R
n
et x
T
Ax = 0 implique que x = 0). On peut donc diagonaliser la matrice A en
l ecrivant sous la forme D = R
1
AR avec D = diag(
2
i
), on obtient pour v = R
1
u
d
2
v
i
dt
2
=
2
i
v
i
, i = 1, . . . , n.
Ces equations peuvent etre r esolues de mani` ere explicites pour v
i
v
i
(t) = [
i
cos(
i
t) +
i
sin(
i
t)] v
0
i
15
Introduction ` a lanalyse de Fourier Transformation de Fourier
ou encore
v
i
(t) = [
i
cos(
i
t +
i
)] v
0
i
.
Ainsi le mouvement g en eral des billes sobtient en superposant des mouvements particu-
liers, cest-` a-dire que lon d ecompose la donn ee initiale dans la base des vecteurs propres
de la matrice A.
Maintenant, en laisant tendre le nombre de billes vers linni, on obtient une mod` ele
pour d ecrire des petites variations dune barre x ee aux extr emit es. Cette fois-ci, on etudie
les variations dune fonction ` a deux variables u(t, x) o` u t repr esente toujours le temps
et x [0, l] la variable despace. A la limite, le terme Au tend vers

2
u
x
2
et on obtient
l equation des ondes
1
c
2
2
u
t
2
=

2
u
x
2
avec les conditions aux limites u(t, 0) = u(t, l) = 0. Pour r esoudre ce probl` eme, on se
ram` ene comme dans le cas de la dimension nie ` a la r esolution dun probl` eme aux valeurs
propres. On cherche (v, ) o` u v est une fonction de x et R telles que
d
2
v
dx
2
= v
Compte tenu des onditions aux limites, les solutions non triviales (non nulles) s ecrivent
n
=
_
n
l
_
2
, n N
et v
n
(x) = sin(n x/l).
A chaque vecteur propre v
n
, on cherche la solution u(t, x) de l equation des ondes
u(t, x) = h
n
(t) v
n
(x),
ce qui donne
h
n
(t) = A cos
_
c n t
l
_
+ B sin
_
c n t
l
_
,
cest-` a-dire les vibrations ont la fr equence propre n/2l.
On sattend alors par analogie avec la dimension nie que le mouvement g en eral
de la barre s ecrit comme la superposition des mouvements propres , cest-` a-dire en
d ecomposant nimporte quelle donn ee initiale u
0
(x) comme
u
0
(x) =
nN
b
n
v
n
(x).
ou dans le cas de onctions p eriodiques pour l =
u
0
(x) =
nN
a
n
cos(nx) + b
n
sin(nx).
16
Transformation de Fourier S eries de Fourier
Pour plus de commodit e, nous utilisons des fonctions ` a variables complexes
n=
c
n
e
i nx
Ce sont des s eries de Fourier.
La transformation de Fourier est une op eration qui associe ` a une fonction f de x R
(ou plus g en eralement de x R
d
) une fonction

f de R (ou R
d
), o` u est
homog` ene ` a 1/x. Lorsque x = t est un temps (penser ` a f comme ` a un signal sonore),
est donc homog` ene ` a une fr equence. Par abus de langage, on parlera des fr equences
m eme si la variable de d epart x nest pas un temps. Toutes les fonctions consid er ees
seront ` a valeurs dans C, le cas des fonctions ` a valeurs r eelles etant un cas particulier.
Avant d etudier la transformation de Fourier proprement dite, commencons par la notion
de s erie de Fourier.
2 S eries de Fourier
Pour une fonction f p eriodique de p eriode T, on peut se contenter de consid erer len-
semble discret de fr equences T/n o` u n est un entier relatif (le cas n = 0 correspondant
` a une fr equence innie cest-` a-dire ` a une p eriode nulle) et associer ` a f un coefcient c
n
pour chacune de ces fr equences. Pour simplier la pr esentation, on suppose d esormais
T = 1.
Si f est une fonction 1-p eriodique et int egrable
1
sur tout intervalle de longueur 1, on
d enit, pour tout n Z,
c
n
:=
_
1
0
f(x) e
2 i nx
dx .
Les nombres complexes c
n
sont appel es coefcients de Fourier de f.
Exemple. Si f est pr ecis ement une fonction sinusodale f
k
(x) = e
2 i k x
, on voit
imm ediatement que c
k
= 1, et pour tout n ,= k, c
n
= 0. Plus g en eralement, si f est
une superposition de fonctions sinusodales
2
f(x) =
k
2
k=k
1
a
k
e
2 i k x
,
ses coefcients de Fourier sont nuls pour n , k
1
, . . . , k
2
, et c
n
= a
n
pour n
k
1
, . . . , k
2
.
1
au sens de Lebesgue, quil nest pas indispensable de connatre pour la suite ; il nous sufra de supposer
la fonction continue par morceaux.
2
on dit alors que f est un polyn ome trigonom etrique.
17
S eries de Fourier Transformation de Fourier
Une fois d enis les coefcients de Fourier dune fonction 1-p eriodique, on lui associe
la s erie de Fourier

n
c
n
e
2 i nx
.
Attention, cette s erie nest pas n ecessairement convergente. Il faut faire quelques hy-
poth` eses sur f pour cela (voir plus loin le th eor` eme de Dirichlet). Cest pourquoi il plus
prudent de consid erer les sommes partielles de la s erie de Fourier de f :
S
N
(f) =
N
n=N
c
n
e
2 i nx
.
Remarque. Dapr` es lexemple vu ci-dessus, si f est un polyn ome trigonom etrique, il
existe N
0
tel que pour tout N N
0
, S
N
(f) = f.
2.1 Th eorie Hilbertienne des s eries de Fourier.
Pour p N
, on note L
p
(T) lespace des fonctions 1-p eriodiques (au sens o` u f(x +
1) = f(x) pour presque tout
3
x R) et de puissance p-i` eme int egrable sur [0, 1], que
lon munit de la norme
4
naturelle
|f|
L
p
(T)
=
_
_
1
0
[f(x)[
p
dx
_
1/p
.
Remarque. Si f L
2
(T), alors f L
1
(T) car
|f|
L
1
(T)
|f|
L
2
(T)
.
En effet, dapr` es lin egalit e de Cauchy-Schwarz :
|f|
L
1
(T)
=
_
1
0
[f(x)[ dx
_
_
1
0
[f(x)[
2
dx
_
1/2
_
_
1
0
1 dx
_
1/2
= |f|
L
2
(T)
.
Par ailleurs, L
2
(T) est un espace de Hilbert pour le produit scalaire hermitien
5
f , g) =
_
1
0
f(x) g(x) dx
3
lexpression presque tout veut dire ` a lexception de points contenus dans un ensemble de mesure nulle
pour la mesure de Lebesgue ; pour une fonction continue par morceaux, cela signie que sa valeur aux
points de discontinuit e importe peu.
4
une norme | | sur un C-espace vectoriel est par d enition une application ` a valeurs dans R
+
telle
que : 1) (|u| = 0 u = 0) ; 2) |u| = [[ |u| pour tout scalaire C et tout vecteur u; 3)
|u +v| |u| + |v| pour tous vecteurs u et v.
5
cette notion g en eralise celle de produit scalaire euclidien aux C-espaces vectoriels. Un produit scalaire
hermitien , ) doit par d enition etre tel que u, u) R
+
pour tout vecteur u, et 1) u, v) = v, u) ; 2)
u + w, v) = u, v) + w, v) ; 3) u, v + w) = u, v) + u, w) pour tous vecteurs u, v, w et
tout scalaire C, et enn (u, v) = 0 v) u = 0.
18
Transformation de Fourier S eries de Fourier
naturellement associ e ` a la norme | |
L
2
(T)
:
|f|
L
2
(T)
= f , f)
1/2
.
On observe alors que la famille (f
n
: x e
2 i nx
)
nZ
est orthonormale dans L
2
(T), ce
qui signie
|f
n
|
L
2
(T)
= 1 et f
n
, f
k
) = 0 quels que soient n et k avec n ,= k .
En utilisant de facon essentielle cette propri et e, on peut montrer le
Th eor` eme 2.1 Pour tout f L
2
(T), on a :
(In egalit e de Bessel) |S
N
(f)|
L
2
(T)
|f|
L
2
(T)
quel que soit N N.
lim
N+
|S
N
(f) f|
L
2
(T)
= 0 .
(Identit e de Parseval) Les coefcients de Fourier c
n
de f forment une famille de
carr e sommable et

nZ
[c
n
[
2
= |f|
2
L
2
(T)
.
Remarque. Inversement, toute suite (c
n
)
nZ
de carr e sommable est la suite des coef-
cients de Fourier dune application f L
2
(T) : on montre en effet que les sommes
partielles
N
n=N
c
n
e
2 i nx
forment une suite convergente dans L
2
(T), et la limite f est
telle que
f, e
2 i k x
) = lim
N+
n=N
c
n
e
2 i nx
, e
2 i k x
) = c
k
quel que soit k Z.
2.2 Convergence ponctuelle des s eries de Fourier.
La th eorie pr ec edente peut etre rafn ee en montrant que, sous certaines conditions, la
s erie de Fourier dune fonction converge point par point vers cette fonction.
Th eor` eme 2.2 Si la s erie
n
c
n
des coefcients de Fourier dune fonction f L
1
(T) est
absolument convergente, alors sa s erie de Fourier est uniform ement convergente et
lim
N+
sup
[0,1]
[S
N
(f) f[ = 0 .
En particulier, la fonction f est n ecessairement continue, comme limite uniforme dune
suite de fonctions continues.
Th eor` eme 2.3 (Dirichlet) Si f L
1
(T) admet une d eriv ee ` a gauche et une d eriv ee ` a
droite en tout point, alors pour tout x
lim
N+
S
N
(f)(x) =
1
2
(f(x + 0) + f(x 0)) ,
19
S eries de Fourier Transformation de Fourier
o` u
f(x + 0) = lim
>
0
f(x +) , f(x 0) = lim
>
0
f(x ) .
D emonstration. On a par d enition
S
N
(f)(x) =
|n|N
_
1
0
f(y) e
2 i n(xy)
dy =
_
1
0
f(x y)
|n|N
e
2 i ny
dy .
Notons
K
N
(y) :=
|n|N
e
2 i ny
.
On montre facilement que
K
N
(y) =
sin( (2N + 1) y )
sin( y)
et
_
1/2
0
K
N
(y) dy =
_
0
1/2
K
N
(y) dy =
1
2
.
Do` u
S
N
(f)(x)
f(x + 0) + f(x 0)
2
=
_
1/2
0
( f(x y) f(x 0) ) K
N
(y) dy
+
_
0
1/2
( f(x y) f(x + 0) ) K
N
(y) dy
=
_
1/2
0
x
(y) K
N
(y) dy ,
o` u
x
(y) := f(x y) f(x 0) + f(x +y) f(x + 0) v erie lim
y
>
0
x
(y) = 0 .
Mais attention,
lim
y
>
0
K
N
(y) = (2N + 1) ,
ce qui tend vers +avec N ! Cest pourquoi on a besoin de faire apparatre la d eriv ee de
f. Consid erons par exemple le premier morceau :
_
1/2
0
( f(x y) f(x 0) ) K
N
(y) dy = =
_
1/2
0
_
_
y
0
f
(x u) du
_
K
N
(y) dy =
_
1/2
0
_
_
1/2
u
K
N
(y) dy
_
f
(x u) du.
20
Transformation de Fourier Transformation de Fourier des fonctions int egrables
On montre que
_
1/2
u
K
N
(y) dy est born ee ind ependamment de N, et tend vers 0 lorsque
N tend vers + d` es que u est strictement positif (et inf erieur ` a 1/2). Donc on peut
appliquer le th eor` eme de convergence domin ee : cela prouve que la double int egrale tend
vers 0 lorsque N tend vers +. Lautre morceau se traite de la m eme facon. 2
Attention cependant, aux points de discontinuit e, lapproximation dune fonction par
les sommes partielles de sa s erie de Fourier nest pas tr` es bonne : cest ce quon appelle
le ph enom` ene de Gibbs.
Th eor` eme 2.4 (Ph enom` ene de Gibbs) Soit
C :=
_
1
0
sin(x)
x
dx 0.58948987 . . .
Si f L
1
(T) admet une d eriv ee ` a gauche et une d eriv ee ` a droite en tout point, alors pour
tout x
lim
N+
_
S
N
(f) f
_
[
x+
1
2N+1
= (C
1
2
) (f(x + 0) f(x 0)) ,
lim
N+
_
S
N
(f) f
_
[
x
1
2N+1
= (C
1
2
) (f(x + 0) f(x 0)) .
3 Transformation de Fourier des fonctions int egrables
Les coefcients de Fourier dune fonction de p eriode T sont naturellement d enis
comme ceux de la fonction 1-p eriodique
f : x :

f(x/T) .
Ainsi
c
n
:=
1
T
_
T
0
f(x) e
2 i nx/T
dx =
1
T
_
T/2
T/2
f(x) e
2 i nx/T
dx .
La repr esentation de f ` a laide de sa s erie de Fourier s ecrit ainsi formellement
f(x) =
1
T
nZ
e
2 i xn/T
F(n/T) , o` u F() :=
_
T/2
T/2
f(y) e
2 i y
dy .
On peut interpr eter la somme comme lapproximation dune int egrale, autrement dit :
f(x)
_

e
2 i x
F() d , o` u F()
_

f(y) e
2 i y
dy
(en faisant, toujours formellement, tendre T vers +.) On observe une sym etrie dans
ces formules. La seconde est celle qui d enit la transformation de Fourier dune fonction
int egrable. La premi` ere est celle de la transformation r eciproque, lorsquelle a un sens.
On verra en effet que la transformation de Fourier et sa r eciproque sont, pour certaines
classes de fonctions, conjugu ees lune de lautre.
21
Transformation de Fourier des fonctions int egrables Transformation de Fourier
D enition 3.1 Pour toute fonction int egrable f : R C, on d enit T(f) =

f la
transform ee de Fourier de f par
f() =
_
f(x) e
2 i x
dx .
Une application imm ediate du th eor` eme de Lebesgue montre la
Proposition 3.1 La transform ee de Fourier dune fonction int egrable est une application
continue, born ee par
[
f()[ |f|
L
1
(R)
:=
_
R
[f(x)[ dx, R.
De plus,

f() tend vers z ero lorsque [[ tend vers linni.
D emonstration. Lin egalit e sur les normes est evidente puisque
[
f()[
_
R
[f(x)[ dx, R.
Le fait que la fonction

f soit continue r esulte du th eor` eme de continuit e de Lebesgue pour
les int egrales d ependant dun param` etre ; ici la fonction [f[ elle-m eme joue le r ole de ma-
jorant int egrable. Enn il sagit de voir si une suite (
n
)
n
tend vers linni, alors (
f(
n
))
n
tend vers z ero. Or cette propri et e se montre facilement pour la fonction caract eristique
1
[a,b]
dun intervalle [a, b] donn e puisque
_

1
[a,b]
(x) e
2 i x
dx =
_
b
a
e
2 i x
dx =
1
2i
[e
2 i b
e
2 i a
]
de sorte que, dans ce cas
f() = O(1/[[).
Par lin earit e la propri et e s etend aux fonctions en escalier, lesquelles sont denses dans
lespace L
1
(R) des fonctions int egrables.
Si nous d esignons par T
n
lop erateur lin eaire qui ` a une fonction de L
1
(R) associe le
nombre complexe f(
n
), nous savons donc que T
n
(f) tend vers z ero pour toute fonction
f dans une partie dense de L
1
et dautre part que |T
n
| 1 puisque [T
n
(f)[ |f|
L
1.
Cela sufra pour conclure en appliquant le lemme suivant
Lemme 3.1 Soient E, F des espaces norm es et (T
n
)
n
une suite dop erateurs lin eaires de
E dans F pour laquelle, il existe C > 0 telle que |T
n
| C ; si T
n
(f) tend vers z ero pour
tout el ement f dune partie dense de E alors il en est de m eme pour tout f dans E.
22
Soient en effet f un el ement de E et > 0 ; il existe un el ement g de E telle que T
n
(g)
tende vers z ero et que |f g| /2C. Or
|T
n
(f)| |T
n
(g)| +|T
n
(f g)| |T
n
(g)| +/2
pour n assez grand on aura bien |T
n
(f)| . 2
Dautre part, le comportement ` a linni de la transform ee de Fourier dune fontion est
li e ` a sa r egularit e.
Proposition 3.2 La transform ee de Fourier dune fonction int egrable tend vers 0 ` a lin-
ni. De plus, si f est p fois d erivable avec toutes ses d eriv ees int egrables, alors sa trans-
form ee de Fourier tend vers 0 ` a linni comme 1/[[
p
.
D emonstration. Commencons par montrer la seconde assertion. En int egrant p fois
par parties, on voit que
f() =
1
(2 i )
p
_
f
(p)
(x) e
2 i x
dx
pour tout ,= 0. (Les termes de bord sont tous nuls car une fonction int egrable dont la
d eriv ee est int egrable tend n ecessairement vers 0 ` a linni.) On a donc la majoration :
[
f()[
1
(2 [[)
p
|f
(p)
|
L
1
(R)
.
Ceci prouve le comportement asymptotique enonc e. Dautre part, on admettra que toute
fonction continue peut etre approch ee, dans lespace L
1
(R) (et plus g en eralement dans
tout espace L
p
(R) avec p N
) par une fonction de classe (
` a support compact : cela

signie une fonction inniment d erivable et nulle en dehors dun intervalle born e. Gr ace
` a ce r esultat, pour > 0 donn e, il existe une fonction d erivable et int egrable (puisqu` a
support compact) g telle que
| f g |
L
1
(R)

2
.
Dapr` es ce qui pr ec` ede, pour [[ assez grand, [ g()[

2
. Par suite (en utilisant la propo-
sition 3.1),
[
f()[ | f g |
L
1
(R)
+ [ g()[

2
+

2
= .
Ceci prouve la premi` ere assertion. 2
Voici maintenant une formule remarquable qui fait le lien, de facon rigoureuse, avec
les s eries de Fourier.
Th eor` eme 3.1 (Formule sommatoire de Poisson) Si f L
1
(R) est telle que, pour tout
intervalle born e [a, b],
n
max
x[a,b]
[f(x +n)[ < +
23
et si
n
[
f(n)[ < +, alors
nZ
f(x +n) =
nZ
f(n) e
2 i nx
pour tout x R.
En particulier
nZ
f(n) =
nZ

f(n).
D emonstration. Dapr` es les hypoth` eses, la fonction
x F(x) =
nZ
f(x +n)
est d enie et continue en tout point x de R, et elle est evidemment 1-p eriodique. Ses
coefcients de Fourier sont
C
m
=
_
1
0
nZ
f(x +n) e
2 i mx
dx
=
_
1
0
nZ
f(x +n) e
2 i m(x+n)
dx
=
nZ
_
1
0
f(x +n) e
2 i m(x+n)
dx ,
cest-` a-dire par changement de variable,
C
m
=
nZ
_
n+1
n
f(y) e
2 i my
dy =
_
+
f(y) e
2 i my
dy =

f(m) .
Lhypoth` ese sur la s erie
f(n) assure que F est somme de sa s erie de Fourier (par le

th eor` eme 2.2), do` u le r esultat. 2
La formule de Poisson permet, entre autres, de donner une d emonstration rapide du
th eor` eme fondamental suivant.
Th eor` eme 3.2 Si f est int egrable et continue, et si pour tout intervalle born e [a, b],
n
max
x[a,b]
[f(x +n)[ < +,
n
max
[a,b]
[
f( +n)[ < +,
alors
(formule dinversion)
f(x) =
_
R
f() e
2 i x
d
pour tout x R.
24
(formule de Plancherel)
_
R
[f(x)[
2
dx =
_
R
[
f()[
2
d .
D emonstration. On commence par remarquer la formule el ementaire :
T
_
f e
2 i
_
=

f( +) .
En appliquant la formule sommatoire de Poisson ` a la fonction x f(x) e
2 i x
, on
en d eduit donc :
nZ
f(x +n) e
2 i (x+n)
=
nZ
f(n +) e
2 i nx
,
ou encore
nZ
f(x +n) e
2 i n
=
nZ
f(n +) e
2 i (n+) x
.
Le membre de gauche est une s erie de Fourier par rapport ` a la variable , dont les co-
efcients c
n
= (f(x n))
nZ
forment une s erie absolument convergente (` a x x e). En
particulier, le coefcient c
0
= f(x) est donn e par :
c
0
=
_
1
0
nZ
f(x +n) e
2 i n
d
=
_
1
0
nZ
f(n +) e
2 i (n+) x
d
=
nZ
_
n+1
n
f() e
2 i x
d
=
_
R
f() e
2 i x
d .
Ceci montre la formule dinversion. Dautre part, dapr` es lidentit e de Parseval, on a
nZ
[f(x +n)[
2
=
nZ
[c
n
[
2
=
_
1
0
nZ
f(n +) e
2 i (n+) x
2
d
=
_
1
0
nZ
f(n +) e
2 i nx
2
d ,
25
f(x) f(x) f
(p)
(x) f(x +a) f(a x)
f()

f() (2 i )
p

f() e
2 i a

f
_
_
1
|a|
f
_
a
_
TAB. 2.1 Formulaire de base (on obtient des formules analogues en echangeant les r oles
de f et

f gr ace ` a la formule dinversion) .
do` u
_
R
[f(x)[
2
dx =
_
1
0
nZ
[f(x +n)[
2
dx
=
_
1
0
_
1
0
nZ
f(n +) e
2 i nx
2
d dx .
Gr ace au th eor` eme de Fubini, on peut intervertir lordre dint egration, et comme
_
1
0
nZ
f(n +) e
2 i nx
2
dx =
nZ
[
f(n +)[
2
par la formule de Parseval, on obtient nalement
_
R
[f(x)[
2
dx =
_
1
0
nZ
[
f(n +)[
2
d =
_
R
[
f()[
2
d .
2
Remarque 3.1 En particulier, dapr` es la proposition 3.2, les fonctions de classe (
2
` a
support compact satisfont les hypoth` eses des th eor` emes 3.1 et 3.2.
On montre facilement quelques formules utiles, dont certaines ont d ej` a et e rencontr ees,
voir le tableau 2.1.
Une autre formule importante concerne la convolution de deux fonctions.
D enition 3.2 (Convolution) Pour deux fonctions f et g, dont lune au moins est int egrable
et lautre born ee, on d enit f g par
(f g)(x) =
_
f(x y) g(y) dy = (g f)(x) .
Remarque 3.2 On peut aussi donner un sens ` a la convolution dune fonction int egrable
f par une fonction g L
p
(R) quel que soit p N
. On montre de plus que f g L

p
(R)
avec
| f g |
L
p
(R)
| f |
L
1
(R)
| g |
L
p
(R)
.
26
Transformation de Fourier Exemples de Transform ees de Fourier
On montre facilement que, si les deux fonctions f et g sont int egrables (avec lune
born ee),
f g() =

f() g() .
On en d eduit gr ace ` a la formule dinversion :
f g =

f g
d` es que les deux membres de l egalit e ont un sens (cest le cas par exemple si f, g, f g et
f sont int egrables).

4 Exemples de Transform ees de Fourier
On calcule facilement la transform ee de Fourier de la fonction cr eneau :
f = 1
|x|R
=

f() =
sin(2 R)

.
On a inversement :
f(x) =
sin(2 Rx)
x
=

f() = 1
||R
.
Pour a > 0, la fonction f, : x R e
a |x|
a pour transform ee de Fourier
f() =
2 a
a
2
+ 4
2
2
.
(Calcul sans difcult e, laiss e en exercice.)
Pour une Gaussienne :
f(x) = e
a x
2
,
avec a > 0, le calcul de la transform ee de Fourier nest pas aussi imm ediat. On a par
d enition (la fonction f etant evidemment int egrable) :
f() =
_
R
e
a x
2
e
2 i x
dx .
Plusieurs m ethodes sont possibles pour obtenir une formule sans signe
_
. On peut faire
appel ` a la th eorie des fonctions de variable complexe (formule de Cauchy). Un calcul plus
el ementaire consiste ` a remarquer :
() = 2 i
_
R
x e
a x
2
e
2 i x
dx =
2
2
a

f()
par int egration par parties. Do` u, en r esolvant ` a vue l equation diff erentielle satisfaite par
f :
f() =

f(0) e
2
a
.
27
Transformation de Fourier de fonctions L
2
Il reste ` a calculer, et cest vrai quelle que soit lapproche choisie, lint egrale
_
R
e
a x
2
dx =

f(0) .
Par un changement de variable evident on a :
_
R
e
a x
2
dx =
1
a
_
R
e
y
2
dy .
Il y a une astuce bien connue pour calculer
I :=
_
R
e
y
2
dy .
On remarque que
_
R
2
e
x
2
dx = I
2
(par le th eor` eme de Fubini) et on calcule lint egrale sur R
2
en passant en coordonn ees
polaires :
_
R
2
e
x
2
dx = 2
_
+
0
r e
r
2
dr = .
Do` u nalement
_
R
e
a x
2
dx =
_
a
et

f() =
_
a
e
2
a
.
En particulier, pour a = , on voit que la la fonction
f(x) = e
x
2
est invariante par transformation de Fourier.
2
Toutes les fonctions ne sont pas int egrables, loin sen faut. Pourtant on peut d enir la
transform ee de Fourier de certaines fonctions non int egrables, et m eme dobjets qui ne
sont pas des fonctions. . .
Commencons par les fonctions de carr e int egrable.
28
Transformation de Fourier Transformation de Fourier de fonctions L
2
Exemple : la fonction x
1
1+|x|
nest pas int egrable, mais elle est de carr e int egrable.
Attention, il existe aussi des fonctions int egrables qui ne sont pas de carr e int egrable
(par exemple, x
1
x
e
x
2
) !
On note L
2
(R) lespace des fonctions de carr e int egrable sur R, muni de la norme
|f|
L
2
(R)
:=
_
_
R
[f[
2
dx
_
1/2
.
On admettra que toute fonction de carr e int egrable peut etre approch ee aussi pr` es
quon veut dans L
2
(R) par une fonction de classe (
` a support compact. Gr ace ` a ce

r esultat et au th eor` eme 3.2, on peut etendre par densit e la transformation de Fourier T ` a
L
2
(R). En effet, si f L
2
(R), il existe une suite f
de fonctions (
` a support compact
convergeant vers f dans L
2
(R) lorsque tend vers 0. La suite (T(f
))
>0
est de Cauchy
dans L
2
(R), puisque
|T(f
) T(f
)|
L
2
(R)
= |f
|
L
2
(R)
donc elle converge
6
vers une fonction F L
2
(R). Cette limite ne d epend pas de la suite.
Car si g
en est une autre, de limite G, on a

|T(f
) T(g
)|
L
2
(R)
= |f
|
L
2
(R)
,
do` u en passant ` a la limite
|F G|
L
2
(R)
= |f g|
L
2
(R)
= 0 .
Cette limite est par d enition la transform ee de Fourier de f, not ee

f. De plus, en passant
` a la limite dans lidentit e :
|T(f
)|
L
2
(R)
= |f
|
L
2
(R)
,
on obtient
|
f|
L
2
(R)
= |f|
L
2
(R)
.
Quant ` a la formule dinversion, dapr` es la remarque 3.1, elle est satisfaite au moins sur
le sous-ensemble dense constitu e des fonctions de classe (
2
` a support compact. On peut
ecrire en abr eg e la formule dinversion :
T T = Id .
Cette identit e est vraie sur L
2
tout entier par passage ` a la limite. En revanche, la formule
dinversion telle quelle est ecrite dans le th eor` eme 3.2 suppose

f int egrable, ce qui nest
pas automatique.
6
On utilise ici le fait que L
2
est un espace complet.
29
Voyons maintenant comment d enir la transform ee de Fourier de fonctions dont on

suppose seulement quelles sont born ees. On note L
(R) lensemble des fonctions (me-

surables et essentiellement) born ees
7
, muni de la norme
|f|
L
(R)
:= sup
xR
[f(x)[ .
Malheureusement, le r esultat dapproximation utilis e pr ec edemment dans L
2
est faux
dans L
. Toutefois, on peut proc eder par dualit e. En effet, ` a toute fonction f L
(R)
on peut associer une forme lin eaire continue sur L
1
, d enie par :
T
f
: L
1
(R) f , ) :=
_
+
f(x) (x) dx .
Inversement, toute forme lin eaire continue sur L
1
admet une repr esentation de la forme
ci-dessus, cest un r esultat connu sous le nom de th eor` eme de Riesz. Cest pourquoi on
identie souvent T
f
avec f.
Proposition 6.1 Si f et sont int egrables et de carr e int egrable, alors on a
_
+
f(y) (y) dy =
_
+
f()

() d .
D emonstration. Cest un simple calcul avec interversion de lordre dint egration. No-
ter que lhypoth` ese assure que les transform ees de Fourier

f et

sont d enies par la
formule int egrale standard, et que les fonctions

f et f

sont int egrables. 2
Ce r esultat sugg` ere de d enir la transform ee de Fourier dune fonction f plus g en erale
par la formule :

f , ) = f ,

) .
Pour donner un sens ` a cette formule, il faut que
f ,

)
soit une forme lin eaire continue sur un espace raisonnable, et

f appartient alors par
d enition au dual de cet espace. Il se peut que lespace en question soit encore L
1
, dont le
dual sidentie avec L
comme on la dit plus haut : cest le cas par exemple lorsquon

cherche la transform ee de Fourier de la fonction
f : x f(x) = e
i a x
2
7
On peut ne pas connatre le sens des termes entre parenth` eses, mesurable et essentiellement born ee : il
suft de se limiter, par exemple, ` a des fonctions continues par morceaux et born ees.
30
Transformation de Fourier Transformation de Fourier de fonctions L
avec a > 0. On montrera plus loin, en utilisant la th eorie des fonctions de variable com-
plexe, que sa transform ee de Fourier est en effet la fonction born ee
f :
_
a
_
d/2
e
i d /4
e
i
2
2
/a
.
Pour dautres fonctions born ees, comme par exemple la fonction de Heaviside
H : x
_
0 si x < 0 ,
1 si x > 0 ,
cest un peu plus d elicat. Il est possible didentier la transform ee de Fourier de H avec
la fonction

1
2 i
,
qui nest pr ecis ement pas born ee. Pour obtenir ce r esultat, il y a divers moyens plus ou
moins d etourn es. Le plus el ementaire consiste en un passage ` a la limite formel, en remar-
quant que la fonction int egrable
x H(x) e
a x
,
converge ponctuellement vers H lorsque a tend vers 0 par valeurs positives. Or sa trans-
form ee de Fourier se calcule ais ement : elle vaut
1
a + 2 i
,
ce qui tend bien vers 1/(2 i ) lorsque a tend vers 0. Un autre moyen, plus rigoureux,
consiste ` a calculer dabord la transform ee de Fourier de la masse de Dirac, dont H est
la d eriv ee au sens des distributions. On sort l` a du cadre de ce cours. Limportance de la
masse de Dirac dans diverses applications n ecessite pourtant quelques explications. On se
reportera pour cela ` a la s eance de TD n
2.
31
32
Chapitre 3
Fonctions de variable complexe
1 Introduction
Le but de ce chapitre est dintroduire les notions fondamentales concernant les fonc-
tions d ependant non plus dune variable r eelle mais dune variable complexe (et ` a va-
leurs complexes). Lint er et de passer en complexe apparatra clairement dans le calcul
dint egrales par la m ethode des r esidus ; la th eorie des fonctions de variable complexe
est aussi utile pour la transformation de Fourier (calcul de transform ees de Fourier) et de
Laplace (formule dinversion). . .
D enition 1.1 Une fonction f : C ` a valeurs dans C est d enie par
z = x +iy , f(x +iy) = u(x, y) +iv(x, y).
o` u u(x, y) est dite la partie r eelle de f(z) et v(x, y) est dite la partie imaginaire de f(z).
D enition 1.2 Une fonction f : C ` a valeurs dans C est dite uniforme ou univoque
si chaque z ne correspond quune image f(z).
Exemples :
la fonction f(z) = z
2
est univoque
la fonction g(z) = e
z
:= e
x
cos(y)+ie
x
sin(y), avec z = x + i y est aussi univoque.
Posons alors h(z) = ln(z) pour tout z C et z ,= 0, cest-` a-dire w = h(z)
e
w
= z.
Nous posons
w = U(x, y) + i V (x, y)
avec z = x + i y et e
w
= z. Nous avons alors
e
U(x,y) +i V (x,y)
= z = r e
i
.
33
Fonctions holomorphes Fonctions de variable complexe
Par cons equent
e
U(x,y)
= r
et
e
iV (x,y)
= e
i
.
et donc
ln(z) = ln(r) + i ( + 2 k ), k Z.
Dans tout ce qui suit, d esignera un ouvert non vide du plan complexe C et on le
supposera connexe, cest-` a-dire que deux points quelconques de sont reli es par un arc
de courbe compl` etement inclus dans . (Lorsque le segment de droite entre deux points
quelconques est inclus dans , cest que est convexe.)
Exemples. Le plan complexe priv e de lorigine, C0, est connexe, mais pas convexe.
Le plan complexe priv e de laxe imaginaire pur, C(i R), nest pas connexe. Il est constitu e
de deux composantes connexes, z ; Rez > 0 et z ; Rez <, 0 , qui sont convexes.
D enition 1.3 On dit que le domaine est simplement connexe si son bord dans C est
connexe ; on pourrait dire aussi que le domaine est sans trou.
On dit aussi que toute courbe ferm ee incluse dans peut etre continument d eform ee
jusqu` a devenir un point tout en restant dans .
Exemples. Le plan complexe priv e de lorigine, C0, nest pas simplement connexe.
Le plan complexe priv e dune demi-droite est simplement connexe.
2 Fonctions holomorphes
Introduisons la premi` ere notion fondamentamentale concernant les fonctions de va-
riable complexe.
D enition 2.1 Une fonction f : C est dite holomorphe si, en chaque point z
0
de
, le taux daccroissement
f(z) f(z
0
)
z z
0
admet une limite lorsque z tend vers z
0
. Dans ce cas, on note f
(z
0
) cette limite. Lorsque
= C, la fonction est dite enti` ere.
34
Fonctions de variable complexe Fonctions holomorphes
3
D
D
D
1
2
FIG. 3.1 Exemple dun ensemble simplement connexe.
Exemples : La fonction f(z) = Re(z) = x est bien R-diff erentiable (diff erentiable par
rapport ` a x = Re(z) et y = Im(z)) mais nest pas holomorphe. En effet,
f(z
0
+ z) f(z
0
)
z
=
x
x +iy
Dune part si lon prend z = y, on a
lim
z0
f(z
0
+ z) f(z
0
)
z
=
x
x
= 1.
Dautre par le choix z = y donne
lim
z0
f(z
0
+ z) f(z
0
)
z
= 0.
Remarque 2.1 Le fait que soit ouvert assure, par d enition, que pour tout z assez
proche de z
0
, disons [z z
0
[ pour xer les id ees, z appartient n ecessairement
` a (ce qui permet de consid erer f(z)).
Remarque 2.2 Une fonction holomorphe est n ecessairement continue.
Remarque 2.3 La d enition de f
(z
0
) est analogue ` a la d enition de la d eriv ee dune
fonction de variable r eelle. Cependant, on verra que les fonctions holomorphes ont des
propri et es beaucoup plus fortes que les fonctions d erivables de variable r eelle.
35
Exemples. Les fonctions polyn omiales sont holomorphes sur C, cest-` a-dire enti` eres.
Leur d eriv ees se calculent comme les fonctions polyn omiales de variable r eelle :
f(z) =
N
n=0
a
n
z
n
= f
(z) =
N
n=1
n a
n
z
n1
z C.
Une autre fonction enti` ere, fondamentale, est la fonction exponentielle, qui est sa propre
d eriv ee :
f(z) = e
z
= f
(z) = e
z
z C.
Proposition 2.1 Si f et g sont deux fonctions holomorphes sur alors, quels que soient
et C,
la fonction f + g est holomorphe sur , de d eriv ee f
+ g
;
la fonction f g est aussi holomorphe, de d eriv ee f
g + f g
;
si de plus g ne sannule pas sur , alors la fonction f/g est holomorphe sur , de
d eriv ee (f
g f g
)/g
2
;
si f() U et h est holomorphe sur U alors h f est holomorphe sur , de
d eriv ee h
f f
.
Exemples. Les fonctions rationnelles sont holomorphes sur tout domaine o` u leur d enominateur
ne sannule pas.
Ces premi` eres observations pourraient laisser croire que tout marche comme avec les
fonctions de variable r eelle. Attention cependant, certaines fonctions dallure tr` es rai-
sonnable ne sont pas holomorphes, par exemple,
z Rez , ou z [z[
2
,
et plus g en eralement toute fonction ` a valeurs r eelles (non constante) nest pas holo-
morphe ! Ceci d ecoule de la caract erisation suivante.
Proposition 2.2 (Conditions de Cauchy-Riemann) Soit f une fonction de z = x +
i y . Pour tout (x, y) tel que x + i y , on note u(x, y) = Ref(x + i y) et
v(x, y) = Imf(x +i y). Alors f est holomorphe si et seulement u et v sont diff erentiables
comme fonctions de deux variables r eelles, et v erient de plus les relations suivantes, dites
equations de Cauchy-Riemann :
_
_
u
x
=
v
y
,
u
y
=
v
x
.
Dans ce cas, on a
f
(x + i y) =
u
x
+ i
v
x
= i
u
y
+
v
y
.
36
Fonctions de variable complexe Fonctions holomorphes
D emonstration. Dabord, supposons que f est une fonction holomorphe. En prenant
z = x +i0, nous avons en ecrivant pour z = x +iy
f(z) = u(x, y) +iv(x, y),
et donc pour z
0

f
(z
0
) = lim
x0
f(z
0
+ x) f(z
0
)
x
=
_
u
x
+i
v
x
_
(z
0
)
Dautre part en prenant t z = 0 +iy,
f
(z
0
) = lim
y0
f(z
0
+iy) f(z
0
)
iy
=
_
i
u
y

v
y
_
(z
0
).
Ainsi par egalit e de deux nombres complexes, nous en d eduisons les conditions de Cauchy-
Riemann.
Ensuite, supposons que les conditions de Cauchy-Riemann sont satisfaites, on a alors
puisque u et v (consid er ees comme des fonctions ` a deux variables) sont diff erentiables,
on a
du(x, y) =
u
x
dx +
u
y
dy +
1
(dx, dy) dx +
2
(dx, dy) dy.
avec
1
(dx, dy) et
2
(dx, dy) qui tendent vers z ero lorsque (dx, dy) tend vers z ero et
dv(x, y) =
v
x
dx +
v
y
dy +
3
(dx, dy) dx +
4
(dx, dy) dy
avec
3
(dx, dy) et
4
(dx, dy) qui tendent vers z ero lorsque (dx, dy) tend vers z ero. Soit
df = du +idv, on a alors
df(x, y) =
_
u
x
+i
v
x
_
dx +
_
u
y
+i
v
y
_
dy +(dx, dy).
`
A laide des conditions de Cauchy-Riemann, on a alors pour dz = dx +idy
f
(z
0
) = lim
dz0
df
dz
(z
0
) =
u
x
(z
0
) +i
v
x
(z
0
).
2
D enition 2.2 On dit que la fonction u de deux variables r eelles et ` a valeur r eelle est
harmonique si elle fonction v erie
u = 0 , o` u =

2
x
2
+

2
y
2
(op erateur Laplacien) .
37
Corollaire 2.1 [Relation entre fonctions holomorphes et harmoniques] Si f = u + i v
est holomorphe, alors les fonctions de deux variables r eelles et ` a valeurs r eelles, u et v
sont harmoniques, cest-` a-dire telles que
u = 0 , v = 0 , o` u =

2
x
2
+

2
y
2
(op erateur Laplacien) .
D enition 2.3 On dit que deux fonctions u et v ` a valeurs r eelles sont harmoniques conjugu ees
si la fonction
f : z = x + i y u(x, y) + i v(x, y)
est holomorphe.
Un exemple concret de fonctions harmoniques conjugu ees est celui du potentiel et de
la fonction de courant dun ecoulement bidimensionnel incompressible et irrotationnel.
En effet, le champ de vitesses v dun ecoulement plan de uide parfait incompressible et
irrotationnel v erie par d enition
divv = 0 , rot v = 0 ,
cest-` a-dire si v a pour composantes (v
1
, v
2
) :
v
1
x
+
v
2
y
= 0 et
v
1
y

v
2
x
= 0 .
Si le domaine d ecoulement est simplement connexe, cela implique (on ladmet) lexis-
tence de fonctions scalaires (potentiel) et (fonction de courant) telles que
v =
_
_
_
_
_
x
_
_
_
_
_
=
_
_
_
_
_
y
_
_
_
_
_
.
Alors la fonction
f : z = x + i y (x, y) + i (x, y)
v erie les equations de Cauchy-Riemann, elle est donc holomorphe, et lon a
f
(z) =

x
+ i

x
=

y
i

x
= v
en identiant v au nombre complexe v
1
+ i v
2
. La fonction f est appel ee potentiel com-
plexe du champ v.
38
Fonctions de variable complexe Transformations conformes
Remarque 2.4 Dapr` es les equations de Cauchy-Riemann, les lignes de niveau
1
de fonc-
tions harmoniques conjugu ees sont orthogonales les unes aux autres. En particulier, cest
le cas pour les lignes de courant (lignes de niveau de la fonction de courant) et les lignes
equipotentielles (lignes de niveau du potentiel) de lhydrodynamique !
Remarque 2.5 On peut reformuler la proposition 2.2 gr ace ` a la notation concentr ee
=
1
2
_

x
i

y
_
, =
1
2
_

x
+ i

y
_
.
Une fonction f est holomorphe si et seulement si
f 0 .
Et dans ce cas, sa d eriv ee au sens complexe est f
= f.
On voit ainsi tr` es facilement que la fonction z z nest pas holomorphe.
3 Transformations conformes
D enition 3.1 Soit f : R
2
R
2
une fonction diff erentiable au sens des fonctions de
deux variables r eelles, et non constante au voisinage dun point (x
0
, y
0
). On dit que f
pr eserve les angles au point (x
0
, y
0
) si quels que soient les arcs de courbes
1
et
2
passant par (x
0
, y
0
), les vecteurs tangents ` a ces courbes au point (x
0
, y
0
) font le m eme
angle orient e que les vecteurs tangents aux courbes f(
1
) et f(
2
) au point f(x
0
, y
0
).
Autrement dit, si
1
et
2
sont param etr ees respectivement par t
1
(t) et t
2
(t), avec
1,2
(0) = (x
0
, y
0
), les vecteurs
1
(0) et
2
(0) doivent faire le m eme angle
que df(x
0
, y
0
)
1
(0) et df(x
0
, y
0
)
2
(0). Ceci revient donc ` a dire que lapplication
lin eaire df(x
0
, y
0
) pr eserve les angles. De ce point de vue, on montre facilement que
cest le cas pour les fonctions holomorphes ` a d eriv ee non nulle. On identie bien s ur R
2
` a C.
Proposition 3.1 Soit f une fonction holomorphe au voisinage dun point z
0
C et telle
que f
(z
0
) ,= 0. Alors f pr eserve les angles au point z
0
.
D emonstration. Il suft de faire le lien entre f
(x
0
+iy
0
) et df(x
0
, y
0
). Comme on la
vu tout au d ebut du chapitre, si u = Ref et v = Imf, f
(x
0
+iy
0
) est le nombre complexe
f
(x
0
+ i y
0
) =
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
) = i
u
y
(x
0
, y
0
) +
v
y
(x
0
, y
0
) .
1
Une ligne de niveau dune fonction u : R R R est un ensemble de la forme L
a
=
(x, y) ; u(x, y) = a avec a R.
39
Transformations conformes Fonctions de variable complexe
!
z0
f(z0)
C1
f(C1)
C2
f(C2) !
FIG. 3.2 Exemple dune transformation conforme.
Par ailleurs, la diff erentielle df(x
0
, y
0
) est d enie comme lapplication lin eaire de ma-
trice, appel ee Jacobienne
_
u
x
(x
0
, y
0
)
u
y
(x
0
, y
0
)
v
x
(x
0
, y
0
)
v
y
(x
0
, y
0
)
_
.
Cette application lin eaire nest donc en fait rien dautre que la multiplication par f
(x
0
+
i y
0
). G eom etriquement, la multiplication par un nombre complexe non nul correspond ` a
une similitude, cest-` a-dire ` a la compos ee dune homoth etie et dune rotation, et cest donc
une transformation qui pr eserve les angles. Par cons equent, puisque f
(x
0
+ i y
0
) ,= 0
par hypoth` ese
2
df(x
0
, y
0
) pr eserve effectivement les angles. 2
D enition 3.2 Une fonction f : R
2
R
2
diff erentiable et qui pr eserve les angles
en tout point de louvert, suppos e connexe, est appel ee transformation conforme. Len-
semble image f() est appel e repr esentation conforme de louvert .
Une cons equence imm ediate de la proposition 3.1 est le
Corollaire 3.1 Toute fonction f holomorphe sur dont la d eriv ee ne sannule pas est
une transformation conforme.
2
Observer que f
(x
0
+ i y
0
) ,= 0 equivaut ` a d et df(x
0
, y
0
) ,= 0 !
40
Fonctions de variable complexe Int egration le long de chemins dans C
Si f est une telle fonction, les ouverts et f() sont dits conformes lun ` a lautre.
Attention, il ne faut pas pour autant croire quils se ressemblent. Il existe par exemple
une grande vari et e douverts conformes ` a un demi-plan, par exemple les disques, les demi-
disques, les secteurs angulaires innis, les secteurs circulaires, les bandes innies ou semi-
innies, les lunes, les polygones (plus pr ecis ement leur int erieur), etc !
Interpr etation Les fonctions holomorphes sont les seules fonctions complexes qui
conservent les angles entre les courbes, en tout point dintersection o` u leurs d eriv ees sont
non nulles.
4 Int egration le long de chemins dans C
D enition 4.1 Une courbe est une application de classe (
1
, dun intervalle [a, b] dans
C. On note la graphe param etr e par la courbe : t [a, b] (
x
(t)),
y
(t) qui
d enissent les coordonn ees du pont courant d ecrivant .
D enition 4.2 Un chemin dans C est une courbes form ee darcs simples contin ument
diff erentiables, tels que pour deux arcs simples cons ecutifs
n1
et
n
lextr emit e de
n1
concide avec lorigine de
n
. Un tel chemin est appel e r eunion de courbes
i
et not e
N
i=1
i
.
D enition 4.3 On appelle contour ou lacet un chemin ferm e cest-` a-dire que le param etrage
v erie
(a) = (b).
Soit un arc de courbe dans C, d eni comme Cette courbe est dite orient ee de A =
(a) vers B = (b). On repr esente souvent cette orientation par une ` eche. Si f est une
fonction continue sur un ouvert contenant , on d enit
_
f(z) dz =
_
b
a
f((t))
(t) dt .
Cette d enition ne d epend pas du choix du param etrage, cest-` a-dire que si est un
diff eomorphisme de [, ] sur [a, b], alors est un autre param etrage de , et on a
bien
_

f( ()) ( )
() d =
_
b
a
f((t))
(t) dt .
De plus, si
d esigne larc oppos e, cest-` a-dire orient e de Avers B, il admet par exemple
comme param etrage
: [a, b] C
t
(t) = (a +b t) ,
41
Int egration le long de chemins dans C Fonctions de variable complexe
4
!
!
!
!
1
2
3
8
!
!
!
!
1
2
3
4
!
!
!
5
6
!
7
FIG. 3.3 Exemples de chemin et de contour.
et on a evidemment
_
f(z) dz =
_
f(z) dz .
Lorsque (a) = (b) on dit que larc est ferm e, et dans ce cas on ajoute parfois un sur
le signe
_
:
_
f =
_
b
a
f((t))
(t) dt .
Si f est une fonction continue sur un ouvert contenant un chemin =
1
. . .
k
,
on d enit simplement
_
f =
_
1
f + . . . +
_
k
f .
Exemples. Lorsque est un arc de cercle de rayon r, il admet un param etrage de la
forme
(t) = z
0
+ r e
i t
, t [a, b],
avec [b a[ 2 , et pour toute fonction f on a
_
f(z) dz = i r
_
b
a
f(z
0
+ r e
i t
) e
i t
dt .
Remarque 4.1 La longueur dun arc , param etr e par sur [a, b] etant d enie par
L =
_
b
a
[
(t)[ dt ,
on a pour toute fonction continue sur
f(z) dz
L max
z
[f(z)[ .
42
4.1 Th eor` eme de Cauchy
Un premier r esultat, facile ` a d emontrer, est le suivant.
Th eor` eme 4.1 (Cauchy n
o
1) Si f est une fonction continue sur un ouvert contenant
un chemin ferm e et si f est la d eriv ee dune fonction holomorphe F dans , alors
_
f(z) dz = 0 .
D emonstration. Pour simplier on suppose que est un arc ferm e, admettant un
param etrage sur un intervalle [a, b] avec (a) = (b). Si f = F
(d eriv ee au sens
complexe), , alors (f )
est la d eriv ee, au sens des fonctions de la variable r elle

t [a, b], de F . Par suite,
_
b
a
f((t))
(t) dt = [ F((t)) ]
b
a
= F((b)) F((a)) = 0
puisque est ferm e ((b) = (a)). 2
Ce th eor` eme sapplique en particulier aux fonctions polyn omiales.
Corollaire 4.1 Pour tout entier n et tout chemin ferm e ,
_
z
n
dz = 0 .
On a m eme :
Corollaire 4.2 Pour tout entier n ,= 1 et tout chemin ferm e ne contenant pas 0,
_
1
z
n
dz = 0 .
Attention, ce r esultat est faux pour n = 1. On verra plus loin ce quil advient de
_
dz
z
.
Une version plus subtile du th eor` eme de Cauchy est la suivante :
o
2) Supposons que soit un ouvert convexe, un chemin
ferm e dans , et f une fonction continue sur et holomorphe (sauf peut- etre en un
point p), alors
_
f(z) dz = 0 .
43
Id ees de la d emonstration. Il sagit de construire une fonction holomorphe F dont f
soit la d eriv ee (on appliquera alors le th eor` eme 4.1). Par analogie avec les fonctions de
variable r eelle, cette fonction F sera de la forme
F(z) =
_
[a,z]
f() d ,
o` u a est un point quelconque de et [a, z] d esigne le segment de droite compris entre a et
z, orient e de a vers z. On remarque de suite limportance de la convexit e de dans cette
approche, puisquelle assure linclusion [a, z] pour tout z . Tout le probl` eme est
de montrer que F r epond ` a nos attentes, cest-` a-dire quelle est holomorphe et de d eriv ee
f. Attention, cest loin d etre evident !
En fait, cela demande de connatre le th eor` eme que lon cherche ` a d emontrer dans
le cas particulier o` u est le bord dun triangle. La d emonstration de ce r esultat utilise
astucieusement le corollaire 4.1. Nous ladmettrons.
La n de la d emonstration fonctionne alors comme pour les fonctions de variable
r eelle. Soient en effet z et z
0
dans , et le triangle de sommets a, z et z
0
. De l egalit e
(admise)
_
f() d = 0 ,
on d eduit que, par d enition de F,
F(z) F(z
0
) =
_
[z
0
,z]
f() d ,
do` u
F(z) F(z
0
)
z z
0
f(z
0
) =
1
z z
0
_
[z
0
,z]
( f() f(z
0
) ) d .
Comme f est continue, pour tout > 0 il existe > 0 tel que si [ z
0
[ , alors
[f() f(z
0
)[ . Par suite, en utilisant la remarque 4.1 (dans le cas tr` es simple du
segment de droite [z
0
, z] !), on obtient
F(z) F(z
0
)
z z
0
f(z
0
)

pour [z z
0
[ . 2
Enn, signalons la version d enitive du th eor` eme de Cauchy, que nous admettrons.
o
3) Si est un ouvert simplement connexe, si est un chemin
ferm e dans , et si f est une fonction holomorphe dans , alors
_
f(z) dz = 0 .
44
Lhypoth` ese de simple connexit e est fondamentale dans ce r esultat. On peut m eme
enoncer une sorte de r eciproque : si
_
f(z) dz = 0 pour toute fonction holomorphe

dans et pour tout chemin ferm e , alors est simplement connexe. Dautre part,
une cons equence importante du th eor` eme de Cauchy est la :
Proposition 4.1 Toute fonction holomorphe f sur un ouvert connexe et simplement
connexe admet une primitive au sens des fonctions de variable complexe, cest-` a-dire
quil existe une fonction F holomorphe dont la d eriv ee est f.
D emonstration. On la clairement vu dans les id ees de d emonstration du th eor` eme
4.2 concernant les ouverts convexes. Si est convexe, il suft en effet de choisir un point
z
0
et d enir
F(z) =
_
[z
0
,z]
f() d ,
o` u [z
0
, z] est le segment de droite orient e entre z
0
et z. Si lon suppose seulement
simplement connexe, cest un peu plus subtil. Fixons aussi z
0
. Par connexit e de ,
on sait que pour tout z il existe un chemin
z
reliant z
0
` a z. De plus, dapr` es le
th eor` eme de Cauchy,
_
z
f() d
ne d epend pas du chemin choisi ! En effet, si
z
est un autre chemin, alors
z
z
, o` u
z
est le chemin oppos e ` a
z
, est un chemin ferm e inclus dans , donc
0 =
_
z
f() d +
_
e
z
f() d =
_
z
f() d
_
e
z
f() d .
Donc on peut d enir lapplication
z F(z) :=
_
z
f() d .
Comme est ouvert, il existe r > 0 tel que D(z
0
; r) . En appliquant une nouvelle
fois le th eor` eme de Cauchy, au chemin ferm e
w
[w, z]
z
, on voit que
F(z) F(w) =
_
[w,z]
f() d
pour tous z et w D(z
0
; r). On montre alors comme dans le th eor` eme 4.2 que F
= f.
2
On aura besoin ici dun r esultat dont le th eor` eme de Cauchy n
o
3 peut etre vu comme
un cas particulier.
Donnons dabord la
45
!
1
!
2 2
!
1
!
(1) (2)
FIG. 3.4 Exemple de chemins homotope (1) et non homotope (2).
D enition 4.4 Deux chemins ferm es
0
et
1
dans un ouvert C sont dits homotopes
sil existe une application continue sur [a, b] [0, 1] et ` a valeurs dans telle que
0
= z = (t, 0) ; t [a, b] ,
1
= z = (t, 1) ; t [a, b] ,
et
(a, s) = (b, s) s [0, 1] .
Noter que cette d enition permet de caract eriser pr ecis ement les ouverts simplements
connexes : ce sont ceux pour lesquel tout chemin ferm e est homotope ` a un singleton.
Th eor` eme 4.4 Si f est une fonction holomorphe dans un ouvert connexe non vide et si
0
et
1
sont des chemins ferm es homotopes dans , alors
_
0
f(z) dz =
_
1
f(z) dz .
D emonstration.
On cr ee le circuit
0

1
sur lequel lint egrale de f(z) est nulle, do` u
_
0
f(z)dz +
_
1
f(z)dz = 0
et donc
_
0
f(z)dz =
_
1
f(z)dz.
2
46
!
!
1
!
2
M
2
M
1
FIG. 3.5 Exemple de chemin reliant deux circuits homotopes.
4.2 R eciproque du Th eor` eme de Cauchy.
Voyons maintenant dans quel cas nous puvons formuler une r eciproque du Th eor` eme
de Cauchy.
Outre les equations de Cauchy-Riemann, il existe un crit` ere parfois plus commode
pour montrer quune fonction est holomorphe.
Th eor` eme 4.5 (de Morera) Si une fonction continue sur un ouvert C est telle que
_
f(z) dz = 0
pour tout triangle , alors f est holomorphe dans .
D emonstration. Les ingr edients de la d emonstration ont d ej` a et e vus. Soit D un
disque ouvert inclus dans . En reprenant la d emonstration du th eor` eme 4.2 (voir aussi la
proposition 4.1), on voit que lhypoth` ese assure lexistence dune fonction F holomorphe
dans D telle que F
= f. Donc f est aussi holomorphe dans D (puisquune fonction

holomorphe est inniment d erivable). 2
Comme cons equence, on peut donner une version simpli ee du corollaire A.3 de lap-
pendice concernant les fonctions holomorphes d enies par des int egrales.
Th eor` eme 4.6 Soit f une fonction de (z, t) I, o` u est un ouvert de C et I
un intervalle de R. On suppose que z f(z, t) est holomorphe et t f(z, t) est
47
Fonctions analytiques Fonctions de variable complexe
int egrable sur I pour tout z . On suppose de plus que pour tout compact K il
existe une fonction g
K
int egrable sur I telle que
[f(z, t)[ g
K
(t) z K .
Alors lapplication
F : z
_
I
f(z, t) dt
est holomorphe dans .
D emonstration. En effet, soit un triangle inclus dans , et soit g = g
une fonc-
tion int egrable sur I et majorant [f[ sur I. Alors
_
F(z) dz =
_
_
I
f(z, t) dt dz .
Or sur chaque c ot e [A, B] du triangle on a
_
[A,B]
F(z) dz = (B A)
_
1
0
F(A + s (B A)) ds
= (B A)
_
1
0
_
I
f(A + s (B A), t) dt ds
et
_
1
0
_
I
[f(A + s (B A), t)[ dt ds
_
I
g(t) dt < +.
Donc on peut inverser lordre dint egration gr ace au th eor` eme de Fubini. Par suite,
_
F(z) dz =
_
I
_
_
f(z, t) dz
_
dt = 0
en appliquant le th eor` eme de Cauchy (version n
o
2) ` a f(, t) dans un ouvert convexe
contenant et inclus dans . Ceci montre, gr ace au th eor` eme de Morera, que F est
holomorphe dans . 2
5 Fonctions analytiques
Voici la seconde notion fondamentale, dont on verra quelle concide en fait avec la
premi` ere.
D enition 5.1 On dit quune fonction f est analytique dans si elle d eveloppable en
s erie enti` ere en tout point de , cest-` a-dire si pour tout z
0
il existe une suite
(a
n
)
nN
C
N
et un nombre r > 0 tels que, pour tout z satisfaisant [z z
0
[ r,
f(z) =
+
n=0
a
n
(z z
0
)
n
.
48
Fonctions de variable complexe Fonctions analytiques
Avant daller plus loin, rappelons la
D enition 5.2 Pour une s erie enti` ere
+
n=0
a
n
(z z
0
)
n
on d enit le rayon de conver-
gence comme le nombre R [0, +] tel que
+
n=0
[a
n
[ r
n
< + r < R
et la s erie
+
n=0
a
n
(z z
0
)
n
diverge pour [z z
0
[ > R.
On appelle disque de convergence le disque de centre z
0
et de rayon R.
On trouve en g en eral le rayon de convergence gr ace ` a la
Proposition 5.1 (Crit` ere de Cauchy) Le rayon de convergence dune s erie enti` ere est
donn ee par
1
R
= limsup
n+
[a
n
[
1/n
.
Remarque 5.1 La somme dune s erie enti` ere est d eveloppable en s erie enti` ere en tout
point de son disque de convergence. En effet, consid erons la s erie enti` ere
+
n=0
a
n
(z
z
0
)
n
. Soit R son rayon de convergence et z
1
appartenant au disque de convergence. Alors
+
n=0
a
n
(z z
0
)
n
=
+
n=0
a
n
(z z
1
+z
1
z
0
)
n
=
+
n=0
a
n
n
p=0
C
p
n
(z z
1
)
p
(z
1
z
0
)
np
=
+
p=0
(z z
1
)
p
+
n=p
a
n
C
p
n
(z
1
z
0
)
np
pour [z z
1
[ < R [z
1
z
0
[.
Exemples. La fonction exponentielle est enti` ere, de m eme que les fonctions trigonom etriques
et hyperboliques d enies pour tout z C par
sin z =
e
i z
e
i z
2 i
, cos z =
e
i z
+ e
i z
2
,
shz =
e
z
e
z
2
, chz =
e
z
+ e
z
2
.
(
Ecrire ` a titre dexercice les d eveloppements en s eries enti` eres de ces fonctions au point
z
0
= 0.)
49
Fonctions analytiques Fonctions de variable complexe
Th eor` eme 5.1 Toute fonction analytique est holomorphe. De plus, on a
f(z) =
+
n=0
a
n
(z z
0
)
n
z ; [z z
0
[ r = f
(z) =
+
n=1
n a
n
(z z
0
)
n1
.
D emonstration. (Th eor` eme 5.1) Supposons que la s erie enti` ere
+
n=0
a
n
(z z
0
)
n
ait pour rayon de convergence R. Alors dapr` es le crit` ere de Cauchy, la s erie enti` ere
+
n=1
n a
n
(z z
0
)
n1
a le m eme rayon de convergence. Notons provisoirement
g(z) =
+
n=1
n a
n
(z z
0
)
n1
.
Pour simplier on suppose z
0
= 0. Soit w tel que [w[ < r < R. On veut montrer
que
lim
zw
f(z) f(w)
z w
= g(w) .
Or
z
n
w
n
z w
nw
n1
= (z w)
n1
k=1
k w
k1
z
nk1
si n 2. Do` u
f(z) f(w)
z w
g(w)
[z w[
+
n=0
[a
n
[
n(n 1)
2
r
n2
si [z[ r. Dapr` es le crit` ere de Cauchy, cette derni` ere s erie converge, do` u le r esultat. 2
Corollaire 5.1 Toute fonction analytique f est inniment d erivable au sens des fonctions
de variable complexe. Son d eveloppement en s erie enti` ere en un point z
0
est donn e par sa
s erie de Taylor
+
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
.
D emonstration. Montrons par r ecurrence sur n que toute fonction analytique f est au
moins n fois d erivable au sens complexe, et que
f(z) =
+
n=0
a
n
(zz
0
)
n
z ; [zz
0
[ r = f
(n)
(z) =
+
p=n
p !
(p n) !
a
p
(zz
0
)
pn
.
Dapr` es le th eor` eme 5.1, ceci est vrai pour n = 1. Supposons cette propri et e vraie pour
n 1. Alors f
(n1)
est analytique, puisque somme dune s erie enti` ere au point z
0
, donc
on peut lui appliquer le th eor` eme 5.1. On en d eduit la propri et e ` a lordre n. De plus, la
formule pour f
(n)
(z) montre que f
(n)
(z
0
) = n! a
n
. 2
Notre objectif est maintenant de montrer que toute fonction holomorphe est analy-
tique, et donc inniment d erivable ! Pour cela nous allons utiliser des int egrales curvi-
lignes dans le plan complexe C.
50
Fonctions de variable complexe M ethodes des r esidus
6 M ethodes des r esidus
6.1 Notion dindice
Nous allons introduire un ingr edient fondamental de la th eorie des r esidus, qui avant
tout va nous servir ` a d emontrer quune fonction holomorphe est analytique.
Th eor` eme 6.1 Soit un chemin ferm e dans le plan complexe et soit = C (cest un
ouvert car est compact donc ferm e). Pour tout z , on d enit
Ind
(z) :=
1
2 i
_
d
z
.
Alors Ind
(z) est un entier relatif. De plus, la fonction Ind
est constante sur chaque

composante connexe de , et en particulier elle est nulle sur la composante connexe non
born ee de .
D emonstration. Supposons l` a encore pour simplier que est un arc de courbe,
param etr e par sur [a, b]. Soit z . On a par d enition
Ind
(z) =
1
2 i
_
b
a
(t)
(t) z
dt .
Notons
(s) := exp
_
_
s
a
(t)
(t) z
dt
_
.
Le nombre Ind
(z) est un entier si et seulement si (b) = 1. Par d erivation, on a
(s)
(s)
=

(t)
(t) z
.
Donc la fonction /( z) a sa d eriv ee nulle. Comme (a) = 1, on en d eduit
(s) =
(t) z
(a) z
.
Or, puisque est ferm e, (b) = (a), do` u (b) = 1. Le fait que Ind
soit constante
sur chaque composante connexe de d ecoule de sa continuit e (ce qui ne pose pas de
probl` eme car on int` egre sur un compact), et du fait quelle ne prend que des valeurs
enti` eres. On remarque que a bien une seule composante connexe non born ee (contenant
CD(0, r) si D(0, r)). Comme lim
|z|+
Ind
(z) = 0, on en d eduit que Ind
est
identiquement nulle sur cette composante non born ee. 2
D enition 6.1 Pour tout z C, on appelle indice de z par rapport ` a le nombre
Ind
(z).
51
M ethodes des r esidus Fonctions de variable complexe
FIG. 3.6 Exemple de valeurs de lindice pour un chemin compliqu e.
Exemple. Si est le cercle de centre z
0
et de rayon r, orient e dans le sens trigo-
nom etrique, on a
Ind
(z) = 1 si [z z
0
[ < r et Ind
(z) = 0 si [z z
0
[ > r .
En effet, pour [z z
0
[ < r,
Ind
(z) = Ind
(z
0
) =
r
2
_
2
0
1
r e
i t
e
i t
dt = 1 .
On voit en particulier que
_
dz
z
= 1
pour tout cercle orient e dans le sens trigonom etrique et contenant 0, ` a la diff erence des
int egrales
_
z
n
dz, qui sont nulles pour tout n Z1 ! Maintenant, si est le chemin
constitu e de N tours sur le cercle pr ec edent, il est clair que
Ind
(z) = N si [z z
0
[ < r .
Voir un autre exemple sur la gure 3.6.
6.2 Formule de Cauchy
Connaissant lindice dun chemin et le th eor` eme de Cauchy, on en d eduit facilement
une formule essentielle.
Th eor` eme 6.2 (Formule de Cauchy) Si est un ouvert simplement connexe, si est un
chemin ferm e dans , et si f est une fonction holomorphe dans , alors pour tout z / ,
1
2 i
_
f()
z
d = f(z) Ind
(z) .
D emonstration. Donnons la preuve dans le cas el ementaire o` u est convexe, si bien
que lon peut appliquer la version n
o
2 du th eor` eme de Cauchy. La fonction
g :
_
_
f() f(z)
z
si ,= z ,
f
(z) si = z ,
est en effet continue sur , et holomorphe dans z. Donc, dapr` es le th eor` eme 4.2,
_
g() d = 0 .
En substituant g par sa valeur en fonction de f et en utilisant la d enition de lindice on
trouve la formule annonc ee. 2
52
Fonctions de variable complexe M ethodes des r esidus
Corollaire 6.1 Pour tout ouvert , toute fonction holomorphe dans est analytique dans
.
D emonstration. Soit z
0
et r
0
> 0 tel que D(z
0
, r
0
), le disque de centre z
0
et
de rayon r
0
soit inclus dans . Dapr` es le th eor` eme 6.2, appliqu e dans louvert convexe
D(z
0
, r
0
) au chemin ferm e constitu e du cercle centr e z
0
de rayon r < r
0
, on a
f(z) =
1
2 i
_
f()
z
d
quel que soit z D(z
0
, r). Or,
1
z
=
1
z
0
1
1
z z
0
z
0
=
1
z
0
+
n=0
_
z z
0
z
0
_
n
,
et cette s erie est absolument convergente, uniform ement sur , pour tout z D(z
0
, r).
Do` u
f(z) =
+
n=0
a
n
(z z
0
)
n
avec a
n
:=
1
2 i
_
f()
( z
0
)
n+1
d .
2
Remarque 6.1 Le calcul ci-dessus et lexpression des coefcients a
n
` a laide des d eriv ees
de f (vue au corollaire 5.1) montre en particulier une extension de la formule de Cauchy
aux d eriv ees de f :
f
(n)
(z
0
) =
n !
2 i
_
f()
( z
0
)
n+1
d (formule de Cauchy dordre n) .
Lanalyticit e des fonctions holomorphes est une propri et e tr` es forte, qui a de nom-
breuses cons equences. La premi` ere dentre elles est que, dapr` es le corollaire 5.1, toute
fonction holomorphe est inniment d erivable.
Corollaire 6.2 Toute fonction holomorphe est inniment d erivable.
Nous allons voir dautres propri et es importantes des fonctions holomorphes, notam-
ment ` a propos de leurs singularit es.
53
Z eros et singularit es des fonctions holomorphes Fonctions de variable complexe
7 Z eros et singularit es des fonctions holomorphes
Th eor` eme 7.1 Soit un ouvert connexe non vide, et f une fonction holomorphe dans ,
non identiquement nulle. Alors lensemble des z eros de f, cest-` a-dire
Z
f
:= z ; f(z) = 0
intersecte chaque sous-ensemble compact de en au plus un nombre ni de points (on dit
quil est au plus d enombrable). De plus, pour tout z ero z
0
de f, il existe un unique entier
positif m et une fonction g holomorphe dans , ne sannulant pas en z
0
, telle que
f(z) = (z z
0
)
m
g(z) z .
D emonstration. Le premier point d ecoule dun argument de connexit e que nous
omettrons. Soit z
0
Z
f
. Dapr` es le corollaire 6.1, il existe r > 0 tel que, pour tout
z D(z
0
; r),
f(z) =
+
n=1
a
n
(z z
0
)
n
.
Les coefcients a
n
ne peuvent pas etre tous nuls, sinon Z
f
contiendrait tout le disque
D(z
0
; r) et cela contredirait le premier point. Soit donc m le plus petit entier tel que
a
m
,= 0. Alors on a
f(z) = (z z
0
)
m
g(z) g(z) :=
+
p=0
a
p
(z z
0
)
p
.
La fonction g est holomorphe puisque somme dune s erie enti` ere, et g(z
0
) = c
m
,= 0
par d enition de m. 2
D enition 7.1 On appelle lentier m du th eor` eme 7.1 lordre du z ero z
0
.
Une cons equence imm ediate mais tr` es importante de la premi` ere partie du th eor` eme
est le
Corollaire 7.1 Si deux fonctions holomorphes sur un ouvert connexe non vide concident
sur un ensemble inni non d enombrable (par exemple un segment de droite), elles sont
egales.
D emonstration. Appliquer le th eor` eme 7.1 ` a leur diff erence. 2
Nous reviendrons plus loin sur le moyen de compter le nombre de z eros dune fonc-
tion holomorphe dans un compact donn e. Pour cela nos avons besoin de propri et es des
fonctions holomorphes sauf en un point.
54
Fonctions de variable complexe Z eros et singularit es des fonctions holomorphes
D enition 7.2 Si une fonction f est holomorphe dans z
0
, o` u est un ouvert et
z
0
, on dit que f a une singularit e isol ee au point z
0
. Si on peut en fait prolonger
f ` a z
0
de sorte que son prolongement soit holomorphe, on dit quelle a une singularit e
articielle en z
0
.
Proposition 7.1 Si une fonction f est holomorphe dans z
0
et born ee dans un disque
epoint e D(z
0
; r)z
0
, alors elle a une singularit e articielle en z
0
.
D emonstration. La fonction
h : z h(z) = (z z
0
)
2
f(z)
est holomorphe dans z
0
, et on montre facilement quelle lest aussi en z
0
, avec
h
(z
0
) = 0. Dapr` es le corollaire 6.1, elle est donc d eveloppable en s erie enti` ere au point
z
0
. Et comme h(z
0
) = h
(z
0
) = 0, les deux premiers coefcients de la s erie enti` ere sont
nuls, cest-` a-dire quil existe une suite (a
n
)
nN
telle que
h(z) =
+
n=2
a
n
(z z
0
)
n
pour tout z D(z
0
; r
), 0 < r
< r. On en d eduit que

f(z) =
+
n=0
a
n+2
(z z
0
)
n
pour tout z D(z
0
; r
)z
0
. En prolongeant f par f(z
0
) = a
2
, on voit que f est
analytique dans D(z
0
; r
), et en particulier holomorphe au point z

0
.
2
Th eor` eme 7.2 Si une fonction f est holomorphe dans z
0
, o` u est un ouvert et
z
0
, trois cas seulement peuvent se produire :
i). soit f a une singularit e articielle en z
0
,
ii). soit il existe un entier p et des nombres complexes c
1
, . . . , c
p
tels que
z f(z)
p
k=1
c
k
(z z
0
)
k
a une singularit e articielle en z
0
,
iii). soit f a ce quon appelle une singularit e essentielle en z
0
, ce qui se traduit par
le fait que, pour tout r tel que D(z
0
; r) , limage par f du disque epoint e
D(z
0
; r)z
0
est dense dans C (quel que soit w C, il existe une suite z
n

D(z
0
; r)z
0
telle que f(z
n
) tend vers w lorsque n +).
55
D emonstration. Nous admettrons ce r esultat, bien quil ne soit pas tr` es difcile ` a
d emontrer, en utilisant le th eor` eme 7.1 et la proposition 7.1. 2
Nous reviendrons plus loin sur le cas iii), dont un exemple est fourni par la fonction
z e
1/z
,
qui a une singularit e essentielle en z = 0. Dans limm ediat, nous allons nous int eresser
plus particuli` erement au cas ii).
D enition 7.3 Si une fonction f est holomorphe dans z
0
, et si la fonction
z f(z)
p
k=1
c
k
(z z
0
)
k
a une singularit e articielle en z
0
, on dit que z
0
est un p ole de f et, si c
p
,= 0, lentier p
est appel e ordre de ce p ole. Le coefcient c
1
joue un r ole particulier : il est appel e r esidu
de f au point z
0
, que lon notera dans la suite R es (f; z
0
). La fonction
z
p
k=1
c
k
(z z
0
)
k
est appel ee partie principale de f.
Dapr` es les formules des corollaires 4.1 et 4.2 et la d enition de lindice, on remarque
que pour tout chemin ferm e ne passant pas par z
0
,
_
k=1
c
k
(z z
0
)
k
dz = c
1
Ind
(z
0
) .
Par suite, dapr` es la d enition 7.3 et le th eor` eme de Cauchy appliqu e ` a f moins sa partie
principale, on a le
Th eor` eme 7.3 Si une fonction f est holomorphe dans z
0
, o` u est un ouvert sim-
plement connexe et z
0
, et si f a un p ole au point z
0
, alors pour tout chemin ferm e
z
0
,
1
2 i
_
f(z) dz = R es (f; z
0
) Ind
(z
0
) .
ou plus g en eralement :
Th eor` eme 7.4 (des r esidus) Si une fonction f est holomorphe dans z
0
, . . . , z
n
avec
simplement connexe, si f a un p ole aux points z
0
, . . . , z
n
, alors pour tout chemin ferm e
z
0
, . . . , z
n
,
1
2 i
_
f(z) dz =
n
k=0
R es (f; z
k
) Ind
(z
k
) .
56
Ce th eor` eme dapparence abstraite est dune grande utilit e dans certains probl` emes
pratiques. En particulier, il permet de calculer toutes sortes dint egrales de fonctions de
variable r eelle dont on ne connat pas de primitives. Ce genre de calculs n ecessite un
peu dexp erience, pour choisir le chemin dabord (et calculer les indices, ce qui nest
pas difcile), et pour calculer les r esidus ensuite. Le premier point nest pas vraiment
syst ematique, on donnera de nombreux exemples en TD. En revanche, le calcul de r esidus
demande essentiellement de savoir le r esultat suivant.
Th eor` eme 7.5 Si f = g/h avec g et h holomorphes dans , h ayant un z ero dordre m
en z
0
et g ne sannulant pas en z
0
, alors f a un p ole dordre m en z
0
et
R es (f; z
0
) =
1
(m1) !
d
m1
dz
m1
_
(z z
0
)
m
f(z)
_
|z=z
0
.
D emonstration. Dapr` es le th eor` eme 7.1, il existe une fonction holomorphe telle
que
h(z) = (z z
0
)
m
(z) et (z
0
) ,= 0 .
La fonction g/ est donc holomorphe, et par suite analytique, cest-` a-dire quil existe une
suite (a
n
) C
N
et un r eel r > 0 tels que
g(z)
(z)
=
+
n=0
a
n
(z z
0
)
n
z D(z
0
; r) .
De plus, comme g(z
0
) ,= 0, a
0
,= 0. On en d eduit
f(z) =
+
k=0
a
k+m
(z z
0
)
k
+
m
k=1
a
mk
(z z
0
)
k
,
ce qui prouve quon est dans le cas ii) du th eor` eme 7.2 : f a bien un p ole dordre m
puisque a
0
,= 0. Et lon a
R es (f; z
0
) = a
m1
=
1
(m1) !
d
m1
dz
m1
_
g(z)
(z)
_
|z=z
0
dapr` es la formule vue au corollaire 5.1. 2
La formule de ce th eor` eme nest pas toujours le moyen le plus rapide de calculer un
r esidu (si lordre du p ole est elev e). Dans le cas o` u g et h sont des fonction polyn omiales, il
peut etre pr ef erable de calculer un d eveloppement en el ements simples (dont en fait seule-
ment les termes dordre 1 nous int eressent !). Rappelons en effet le r esultat suivant :
Th eor` eme 7.6 Si g et h sont deux fonctions polyn omiales, h admettant comme z eros
z
0
, . . . , z
n
C, de multiplicit es respectives m
0
, . . . , m
n
, il existe une fonction polyn omiale
p et des nombres complexes c
k,j
tels que
g(z)
h(z)
= p(z) +
n
k=0
m
k
j=0
c
k,j
(z z
k
)
j
.
57
Cette d ecomposition, dite en el ements simples (sur C), est de plus unique. On a alors pour
tout k 0, . . . , n,
R es
_
g
h
; z
k
_
= c
k,1
.
Dans le cas dun p ole simple, il est beaucoup plus facile de calculer le r esidu. Dabord
la formule du th eor` eme 7.5 se r eduit ` a
R es (f; z
0
) = lim
zz
0
_
(z z
0
) f(z)
_
.
Une autre formule utile est donn ee par :
Proposition 7.2 Si f = g/h avec g et h holomorphes dans , h ayant un z ero simple en
z
0
et g ne sannulant pas en z
0
, alors
R es (f; z
0
) =
g(z
0
)
h
(z
0
)
.
D emonstration. Il existe une fonction r, holomorphe dans telle que (cas particulier
du th eor` eme 7.5) :
f(z) =
g(z)
h(z)
= r(z) +
R es (f; z
0
)
z z
0
.
Multiplions cette egalit e par h(z) (z z
0
). On obtient
g(z) (z z
0
) = r(z) h(z) (z z
0
) + R es (f; z
0
) h(z) .
En d erivant une fois, il reste seulement, au point z = z
0
:
g(z
0
) = R es (f; z
0
) h
(z
0
) .
2
On verra donc en TD comment utiliser le th eor` eme des r esidus pour calculer des
int egrales. En outre, ce th eor` eme est riche de cons equences concernant les z eros des fonc-
tions holomorphes (la boucle est boucl ee !). Commencons en effet par le
Th eor` eme 7.7 Pour une fonction holomorphe f ayant un z ero dordre m en z
0
, la fonc-
tion f
/f a un p ole simple en z
0
, et lon a
R es (f
/f; z
0
) = m.
D emonstration. Dapr` es le th eor` eme 7.1, il existe une fonction holomorphe g ne san-
nulant pas en z
0
telle que
f(z) = (z z
0
)
m
g(z) ,
do` u
f
(z) = m(z z
0
)
m1
g(z) + (z z
0
)
m
g
(z) et
f
(z)
f(z)
=
m
z z
0
+
g
(z)
g(z)
.
Comme g(z
0
) ,= 0, la fonction g
/g est holomorphe au voisinage de z

0
, donc m/(z z
0
)
est bien la partie principale de f. 2
58
Corollaire 7.2 Soit f une fonction holomorphe dans un ouvert non vide , et soit un
cercle inclus dans , orient e dans le sens trigonom etrique, et tel que f ne sannule par
sur . Alors, le nombre de z eros de f, compt es avec leurs ordres de multiplicit e, contenus
` a lint erieur de , est egal ` a Ind
f()
(0).
D emonstration. Dapr` es le th eor` eme 7.7, le nombre M de z eros de f lint erieur de
est egal ` a la somme des r esidus de f
/f dans le disque ouvert D de bord . De plus,

pour chacun de ces z eros, lindice par rapport ` a vaut 1. Donc, dapr` es le th eor` eme des
r esidus appliqu e ` a f
/f,
M =
1
2 i
_
(z)
f(z)
dz .
Si t [ 0, 2 ] (t) est un param etrage de , alors := f est evidemment un
param etrage de f(), et lon a :
_
(z)
f(z)
dz =
_
2
0
f
((t))
f((t))

(t) dt
=
_
2
0
(t)
(t)
dt
=
_
f()
dw
w
= 2 i Ind
f()
(0) .
2
Une cons equence importante de ce r esultat est le th eor` eme de Rouch e, enonc e pr ecis ement
et d emontr e ci-apr` es, qui dit que le nombre de z eros dune fonction holomorphe ` a lint erieur
dun cercle donn e ne change pas si lon perturbe l eg` erement (contin ument) cette fonc-
tion.
Th eor` eme 7.8 Si f et g sont deux fonctions holomorphes dans un ouvert , si z
0
et
le disque ferm e D(z
0
; r) est inclus dans , et si
[ f(z) g(z) [ < [ f(z) [ z ; [ z z
0
[ = r ,
alors f et g ont exactement le m eme nombre de z eros, compt es avec leurs ordres multipli-
cit e dans le disque ouvert D(z
0
; r).
D emonstration. Soit
:= z = (t) := z
0
+ r e
i t
; t [ 0 , 2 ] .
Soient M et N les nombres de z eros de f et de g respectivement, ` a lint erieur de .
Dapr` es le corollaire 7.2, on a
M = Ind
f()
(0) , N = Ind
g()
(0) .
59
Pour montrer que ces nombres sont egaux, consid erons le chemin
:=
_
z = (t) :=
g((t))
f((t))
; t [ 0 , 2 ]
_
.
Dapr` es lhypoth` ese, f ne sannule pas sur , ce qui fait que est bien d enie, et g ne
sannule pas non plus sur , ce qui fait que ne sannule pas sur . Par construction,
le chemin est ferm e puisque lest. De plus, dapr` es lhypoth` ese, est inclus dans
le disque ouvert de centre 1 et de rayon 1. Donc 0 appartient ` a la composante connexe
non born ee de C. Dapr` es le th eor` eme 6.1, on sait donc que Ind
(0) = 0. Or, par

application de la d enition de lindice, on voit que
Ind
(0) =
_
dz
z
=
_
2
0
(t)
(t)
dt
=
_
2
0
(f )
(t)
(f )(t)

(g )
(t)
(g )(t)
dt
= Ind
f()
(0) Ind
g()
(0) .
2
Le th eor` eme de Rouch e peut etre utile lorsquon cherche les z eros dune fonction ho-
lomorphe d ependant dun petit param` etre. Une cons equence imm ediate de ce th eor` eme
est en effet le
Corollaire 7.3 Soit une fonction
f : R
n
C,
(z, ) f(z, ) .
On suppose f continue, et holomorphe par rapport ` a z dans . Pour
0
R
n
donn e,
on suppose que f(,
0
) ne sannule pas sur le bord dun un disque ouvert D . Soit
alors M le nombre de z eros de f(,
0
), compt es avec leurs ordres multiplicit e, dans D.
Il existe > 0 tel que pour tout satisfaisant
|
0
| ,
la fonction f(, ) a exactement M z eros dans D.
D emonstration. Puisque f(,
0
) est continue et ne sannule pas sur D, il existe
> 0 tel que
< min
zD
[ f(z,
0
) [ .
60
Fonctions de variable complexe Fonctions holomorphes el ementaires
De plus, par continuit e de f, uniforme sur le compact D
0
, il existe > 0 tel que
pour tout z D
|
0
| = [ f(z, ) f(z,
0
) [ .
Ainsi,
z D, |
0
| = [ f(z, ) f(z,
0
) [ < [ f(z,
0
) [ .
Donc le th eor` eme de Rouch e sapplique ` a f(z,
0
) et f(z, ). 2
Une autre cons equence du th eor` eme de Rouch e est un th eor` eme alg ebrique c el` ebre.
Th eor` eme 7.9 (de dAlembert) Quels que soient les nombres complexes a
0
, . . . , a
n1
,
la fonction polyn omiale
g : z z
n
+ a
n1
z
n1
+ + a
1
z + a
0
a exactement n z eros dans C, compt es avec leurs ordres de multiplicit e.
D emonstration. Pour r assez grand, g na pas de z eros ` a lext erieur du cercle de
centre 0 et de rayon r, puisque
lim
r+
[g(z)[ = +.
Soit donc un tel r, que lon suppose aussi strictement sup erieur ` a 1 et ` a [a
n1
[ + [a
1
[ +
[a
0
[. Soit f(z) = z
n
. Pour [z[ = r,
[ f(z) g(z) [ =
n1
k=0
a
k
z
k
r
n1
n1
k=0
[a
k
[ < r
n
= [ f(z) [ .
Donc f et g ont le m eme de z eros, cest-` a-dire n, ` a lint erieur du disque de centre 0 et de
rayon r. 2
On verra encore une autre cons equence du th eor` eme de Rouch e au 9.
8 Fonctions holomorphes el ementaires
Comme on la d ej` a dit, les fonctions polyn omiales sont des fonctions enti` eres, et les
fonctions rationnelles sont holomorphes en dehors de leurs p oles. Parmi ces fonctions
rationnelles, les fonction homographiques jouent un r ole particulier.
61
Fonctions holomorphes el ementaires Fonctions de variable complexe
8.1 Fonctions homographiques
Si a, b, c et d sont quatre nombres complexes tels que a d b c ,= 0, la fonction
f : z
a z + b
c z + d
est appel ee homographie. (Si a d b c = 0, f d eg en` ere en la fonction constante egale ` a
a/c = b/d.) Si de plus c ,= 0, cette fonction admet un p ole simple en z
0
= d/c, et
R es (f; z
0
) =
b c a d
c
2
.
Cette fonction a la propri et e remarquable de transformer tout cercle ou droite en un cercle
ou une droite. Plus pr ecis ement, on a le
Th eor` eme 8.1 Si a d b c ,= 0, et f(z) =
a z +b
c z +d
pour tout z ,= z
0
:= d/c, alors
limage par f dun cercle ne passant pas par z
0
est un cercle,
limage par f dune droite ne passant pas par z
0
est un cercle,
si C est un cercle passant par z
0
, f(Cz
0
) est une droite,
si D est une droite passant par z
0
, f(Cz
0
) est une droite.
D emonstration. La d emonstration de ce r esultat est un petit exercice dalg` ebre-g eom etrie.
En effet, les applications de la forme z a z + b correspondent g eom etriquement ` a des
compos ees de translations, rotations et homoth eties, qui transforment toutes les droites
en droites et les cercles en cercles. Le th eor` eme repose donc sur le fait que linversion
3
z 1/z transforme tout cercle ou droite en un cercle ou une droite, et plus pr ecis ement,
tout cercle ou droite ne passant pas par 0 en un cercle, et tout cercle ou droite passant par
0 en une droite (plus un point ` a linni).
Pour sen convaincre, il suft de remarquer que nimporte quel cercle ou droite admet
une equation cart esienne de la forme
z z + z + z + = 0,
avec R, R, C tel que [[
2
> , le cas = 0 correspondant aux droites,
le cas = 0 correspondant aux cercles ou droites passant par 0. Le r esultat est alors
evident, puisque limage par linversion z 1/z de lensemble
z ; z z + z + z + = 0
est lensemble
z ; + z + z + z z = 0 .
2
3
En fait, en g eom etrie on appelle inversion lapplication conjugu ee z 1/z, de sorte que lapplication
z 1/z est la compos ee dune inversion et de la sym etrie par rapport ` a laxe 0x.
62
Fonctions de variable complexe Fonctions holomorphes el ementaires
Ce r esultat permet de transformer facilement des disques ou ext erieurs de disques en
demi-plans, et inversement, la r eciproque dune homographie etant aussi une homogra-
phie. En outre, les homographies pr eservent les angles, puisque cest le cas des transla-
tions, rotations, homoth eties, inversions et sym etries orthogonales. Ce sont des cas parti-
culiers de ce quon appelle des transformations conformes.
8.2 La fonction exponentielle et ses acolytes
La fonction holomorphe fondamentale est la fonction exponentielle. Rappelons quelle
est d enie par :
exp : C C
z e
z
=
+
n=0
z
n
n!
.
Elle est enti` ere, cest-` a-dire holomorphe dans tout le plan complexe. Elle est sa propre
d eriv ee. Elle ne sannule pas sur C. Comme on la d ej` a signal e, elle permet de d enir
dautres fonctions enti` eres, que sont
sin z =
e
i z
e
i z
2 i
, cos z =
e
i z
+ e
i z
2
,
et
shz =
e
z
e
z
2
, chz =
e
z
+ e
z
2
.
Les d eriv ees de ces fonctions sont
sin
= cos , cos
= sin , sh
= ch , ch
= sh .
Les ensembles de z eros de sin et cos sont respectivement Z et

2
+ Z. Comme
i sin z = sh(i z) et cos z = ch(i z), on en d eduit que les ensembles de z eros de sh
et ch sont respectivement i Z et i

2
+ i Z. Ces z eros sont tous simples.
8.3 Les fonctions logarithme et les fonctions puissance
Quil soit bien clair quon ne peut pas d enir une fonction logarithme de facon uni-
voque dans tout le plan complexe C, ni m eme dans C0. En revanche, on peut le faire
dans tout domaine simplement connexe, et en particulier dans tout plan fendu, de la
forme
= CD
, D
:= z = t e
i
; t 0
pour ] , [. Car, gr ace au th eor` eme de Cauchy (voir la proposition 4.1), la fonction
z 1/z admet une primitive, au sens des fonctions de variable complexe, dans tout
ouvert connexe et simplement connexe ne contenant pas 0. Lorsque louvert en question
63
Fonctions holomorphes el ementaires Fonctions de variable complexe
est
, on notera Log
la primitive qui sannule en 1. Pour z
, si on note
(z) larc
de cercle joignant [z[ ` a z et ne passant pas par D
, on a par construction :
Log
(z) =
_
[ 1 , |z| ]
d
+
_
(z)
d
.
Cette expression nest pas vraiment commode en pratique ! Voyons comment obtenir une
formule plus explicite. Si z
, il existe un unique ] , + [ tel que

z = [z[ e
i
. Par suite,
_
(z)
d
= i
_

0
d = i ,
do` u la formule
Log
(z) = ln([z[) + i pour z = [z[ e

i
; ] , + [ .
En particulier, pour tout z = x R
+
,
Log
(x) = ln(x) , et donc e

Log
(x)
= x .
Les deux fonctions exp Log
et z z etant holomorphes dans
, qui contient R
+
,
cela suft (voir le corollaire 7.1) pour en d eduire
e
Log
(z)
= z z
.
Autrement dit, la fonction Log
ainsi construite est une fonction r eciproque de exp dans

le domaine simplement connexe
.
La fonction exp nadmet pas de r eciproque dans C tout entier.
Par construction, la fonction Log
a pour d eriv ee z
1
z
. on en d eduit facilement son
d eveloppement en s erie enti` ere au point 1 :
[[ < 1 =
1
1 +
=
+
n=0
(1)
n
n
Log
(1 + ) =
+
n=1
(1)
n1

n
n
,
soit encore, pour [ z 1 [ < 1,
Log
(z) =
+
n=1
(1)
n1
(z 1)
n
n
.
Une fois d enie une fonction logarithme, il est naturel de lui associer des fonctions
puissance
p
r
: z e
r Log
(z)
,
quel que soit le r eel r. Ce sont des fonctions holomorphes dans , dont les d eriv ees sont
donn ees par
dp
r
dz
= r
p
r
(z)
z
= r p
r1
(z) .
64
Fonctions de variable complexe Th eor` emes g en eraux
9 Th eor` emes g en eraux
Revenons ` a la th eorie des fonctions de variable complexe pour insister sur quelques
th eor` emes, importants en eux-m eme ou par leurs cons equences.
9.1 Principe des z eros isol es.
Dapr` es le th eor` eme 7.1, les z eros dune fonction holomorphe non identiquement nulle
sont isol es, cest-` a-dire que si f , 0 est holomorphe dans un ouvert z
0
et si f(z
0
) =
0, il existe r > 0 tel que f(z) ,= 0 pour tout z D(z
0
; r)z
0
.
Attention, il en va tout ` a fait diff eremment pour les points singuliers, qui ne sont pas
forc ement isol es (voir lexemple des fonctions Log
).
9.2 Principe du prolongement analytique.
Comme on la vu au corollaire 7.1, si deux fonctions holomorphes sur un ouvert
connexe non vide concident sur un arc de courbe, elles sont egales dans .
9.3 Principe du maximum.
Th eor` eme 9.1 Si une fonction f, holomorphe dans un ouvert connexe non vide est telle
que [f[ atteigne un maximum local, elle est constante.
D emonstration. Une d emonstration astucieuse utilise la th eorie Hilbertienne des s eries
de Fourier ! Raisonnons par labsurde. Supposons quil existe z
0
et r
0
> 0 tels que
[f(z)[ [f(z
0
)[ pour tout z D(z
0
; r
0
). Puisque f est holomorphe donc analytique, il
existe R > 0 et des nombres a
n
tels que
f(z) =
n=0
a
n
(z z
0
)
n
pour tout z D(z
0
; R). Autrement dit, pour tout r ]0, R[, et pour tout [0, 1],
f(z
0
+ r e
2 i
) =
n=0
a
n
r
n
e
2 i n
,
cette s erie etant uniform emement convergente par rapport ` a . Donc les nombres c
n
=
a
n
r
n
sont les coefcients de Fourier de la fonction f(z
0
+ r e
2 i
). Dapr` es la
formule de Parseval, on a donc
_
1
0
[f(z
0
+ r e
2 i
) [
2
d =
nN
[c
n
[
2
=
nN
[a
n
[
2
r
2n
.
65
Th eor` emes g en eraux Fonctions de variable complexe
Par suite, dapr` es lhypoth` ese de d epart,
nN
[a
n
[
2
r
2n
[f(z
0
)[
2
= [a
0
[
2
pour tout r ]0, min(R, r
0
)[. Donc tous les coefcients a
n
pour n 1 sont nuls. Cela si-
gnie que f est constante dans tout disque D(z
0
; R). Dapr` es le principe du prolongement
analytique, cest donc que f est constante dans . 2
En prime cette d emonstration montre la
Proposition 9.1 (Estimations de Cauchy) Si f est holomorphe dans un disque ouvert
D(z
0
; R), et [f[ est major e par M dans ce disque, alors les d eriv ees de f admettent la
majoration :
[ f
(n)
(z
0
) [
n ! M
R
n
.
D emonstration. En effet, ecrivons comme pr ec edemment
nN
[a
n
[
2
r
2n
=
_
1
0
[f(z
0
+ r e
2 i
) [
2
M
2
,
do` u le r esultat en majorant grossi` erement chaque terme de la somme par le membre de
droite et en se rappelant que
f
(n)
(z
0
) = n ! a
n
.
2
En fait, ces estimations sont aussi une cons equence de la formule de Cauchy dordre
n (voir la remarque 6.1).
Dautre part, la d emonstration du th eor` eme 9.1 montre aussi le
Th eor` eme 9.2 (Liouville) Toute fonction enti` ere born ee est constante.
D emonstration. En effet, ecrivons ` a nouveau
f(z) =
n=0
a
n
(z z
0
)
n
=
nN
[a
n
[
2
r
2n
=
_
1
0
[f(z
0
+ r e
2 i
) [
2
M
2
si [f[ M, avec cette fois r ]0, +[. En faisant tendre r vers +, on voit que
n ecessairement tous les coefcients a
n
pour n 1 sont nuls et donc que f est constante.
2
Une autre propri et e remarquable des fonctions holomorphes est le
Th eor` eme 9.3 (de la moyenne) Si f est holomorphe dans D(z; R), alors pour tout r
]0, R[,
f(z) =
1
2
_
2
0
f(z + r e
i
) d .
66
Fonctions de variable complexe La fonction Gamma
D emonstration. Cest une application imm ediate de la formule de Cauchy sur , le
cercle de centre z et de rayon r :
f(z) =
1
2 i
_
f()
z
d =
1
2
_
2
0
f(z + r e
i
)
r e
i
r e
i
d .
2
En particulier, les fonctions harmoniques h eritent de cette propri et e
4
.
10 La fonction Gamma
Nous allons maintenant etudier une fonction holomorphe connue sous le nom de fonc-
tion , et qui est justement d enie par une int egrale. Pour tout z C, la fonction
t t
z1
e
t
= e
t +(z1) ln t
est continue sur R+, et pour tout t R
+
, la fonction
z t
z1
e
t
= e
t +(z1) ln t
est holomorphe sur C. De plus, on a
[ t
z1
e
t
[ = [ e
t +(z1) ln t
[ = e
t +(Rez1) ln t
= t
Rez1
e
t
.
Ainsi, pour 0 < Rez M, on a
[ t
z1
e
t
[ g
,M
(t) :=
_
t
M1
e
t
, si t 1 ,
t
1
e
t
, si 0 < t < 1 .
Comme g
,M
est int egrable sur R+ et que tout compact du demi-plan ouvert P =
z ; Re > 0 peut etre inclus dans une bande verticale de la forme z ; Rez
M, la fonction
f : (z, t) t
z1
e
t
remplit les hypoth` eses du th eor` eme 4.6 dans le domaine P.
D enition 10.1 Pour tout z tel que Rez > 0, on d enit
(z) =
_
+
0
t
z1
e
t
dt .
Proposition 10.1 La fonction est holomorphe dans P := z ; Re > 0 et v erie les
propri et es suivantes :
4
on peut montrer que toute fonction harmonique est localement la partie r eelle dune fonction holo-
morphe.
67
La fonction Gamma Fonctions de variable complexe
pour tout z P, (z + 1) = z (z),
(1) = 1, (1/2) =

,
pour tout entier naturel n, (n + 1) = n ! , (n + 3/2) =
(2n + 1) !
2
2n+1
n !
,
(x + 1)
2 x x
x
e
x
, x + [formule de Stirling]
D emonstration. La premi` ere propri et e d ecoule dune simple int egration par parties,
en remarquant que
d
dt
(t
z
) =
d
dt
(e
z ln t
) =
z
t
e
z ln t
= z t
z1
(cest-` a-dire que la formule connue pour des exposants r eels est vraie avec des exposants
complexes). On a ainsi par int egration par parties
(z + 1) =
_
+
0
t
z
e
t
dt
=
_
+
0
z t
z1
(e
t
) dt +
_
t
z
(e
t
)
+
0
= z
_
+
0
t
z1
e
t
dt
pour Rez > 0.
Le calcul de (1) est imm ediat :
(1) =
_
+
0
z e
t
dt +
_
e
t
+
0
= 1 .
Le calcul de (1/2) demande un petit changement de variables : en posant t = u
2
, do` u
dt = 2 udu = 2
t du, on obtient
(1/2) =
_
+
0
t
1/2
e
t
dt = 2
_
+
0
e
u
2
du =
(on avait d ej` a calcul e cette derni` ere int egrale au chapitre 2).
Le calcul de (n) et (n + 3/2) utilise les valeurs de (1) et (1/2) ainsi que la
formule (z + 1) = z (z). Ainsi
(n + 1) = n(n) = n(n 1) . . . (n k) (n k)
tant que n k 1, do` u
(n + 1) = n! (1) = n!
en prenant k = n 1. De facon analogue,
(n + 3/2) = (n + 1/2) (n + 1/2)
= (n + 1/2) (n 1/2) . . . (n 1/2 k) (n 1/2 k)
68
tant que n 1/2 k > 0. Do` u, en prenant k = n 1,
(n + 3/2) = (n + 1/2) (n 1/2) . . . (1/2) (1/2)
=
k=0
(n + 1/2 k) .
Pour obtenir la formule annonc ee, on r e ecrit
n
k=0
(n + 1/2 k) =
1
2
n+1
n
k=0
(2(n k) + 1)
=
1
2
n+1
n
k=0
(2k + 1)
=
1
2
n+1
(2n + 1) !
n
k=1
(2k)
=
1
2
2n+1
(2n + 1) !
n !
.
La formule de Stirling est plus d elicate ` a d emontrer. On commence par faire un chan-
gement de variables (t = x u) :
(x + 1) =
_
+
0
t
x
e
t
dt
=
_
+
0
(x u)
x
e
xu
x du
= x
x+1
_
+
0
u
x
e
xu
du
= x
x+1
e
x
_
+
0
e
x( u1 ln u)
du
pour x R
+
. La formule de Stirling exprime donc que
_
+
0
e
x( u1 ln u)
du
_
2
x
lorsque x +. D emontrer ce comportement asymptotique demande une d ecomposition
de lint egrale. En effet, comme la fonction
f : u R
+
u 1 ln u
est ` a valeurs positives ou nulles, et sannule en u = 1 seulement, lint egrande exp(x f(u))
tend vers 0 (exponentiellement vite) lorsque x +, sauf pour u = 1. Soit donc
69
La fonction Gamma Fonctions de variable complexe
]0, 1[ (que lon choisira plus loin en fonction de x, petit mais pas trop !). On a bien
s ur :
_
+
0
e
xf(u)
du =
_
1
0
e
xf(u)
du +
_
1+
1
e
xf(u)
du +
_
+
1+
e
xf(u)
du.
Le cur de la d emonstration consiste ` a ` a montrer que, pour bien choisi, la premi` ere et
la derni` ere int egrale sont n egligeables devant celle du milieu, et ` a trouver un equivalent
de cette derni` ere.
Commencons par examiner
_
1+
1
e
xf(u)
du.
En faisant un d eveloppement de Taylor de f au point u = 1, on trouve, puisque f(1) = 0,
f
(1) = 0, que
f(u) =
1
2
(u 1)
2
+ (u 1)
3
(u) ,
o` u lapplication est born ee sur lintervalle compact [1/2, 3/2]. Par suite, si ]0, 1/2],
on a pour tout u [1 , 1 +],
e
xf(u)
= e
x
2
(u1)
2
e
x(u1)
3
(u)
avec
e
x
3
M
e
x(u1)
3
(u)
e
x
3
M
.
Si de plus est choisi de sorte que x
3
tend vers 0 lorsque x tend vers +, on aura
e
x(u1)
3
(u)
= 1 + O(x
3
) ,
de sorte que
_
1+
1
e
xf(u)
du = (1 + O(x
3
)
_
1
1
e
x
2
(u1)
2
du
= ( 1 + O(x
3
) )
_
2
x
_

x/2
x/2
e
v
2
dv
par changement de variables (v = (u 1)
_
x/2). Si de surcrot, x
2
tend vers +
lorsque x tend vers + (ce qui nest pas incompatible avec la premi` ere hypoth` ese sur
!),
_

x/2
x/2
e
v
2
dv =

_
2v
2
>x
2
e
v
2
dv =
( 1 + O(e
x
2
/4
) ) .
70
En r esum e, sous les hypoth` eses x
3
0 et x
2
+lorsque x +,
_
1+
1
e
xf(u)
du =
_
2
x
( 1 + O(x
3
) ) ( 1 + O(e
x
2
/4
) ) .
On peut remarquer que = x
2/5
v erie les hypoth` eses en question.
Il reste ` a v erier que les int egrales sur ]0, 1 [ et ]1 + , +[ sont n egligeables
devant celle sur [1 , 1 + ]. En dehors dun voisinage de 1 on ne peut pas utiliser le
d eveloppement de Taylor de f au point 1. Cependant, on peut obtenir une minoration
grossi` ere de f par des moyens el ementaires. Par exemple, pour u ]0, 1 ],
f(u) f(1 ) =
_
1
1
(
1
v
1) dv
_
1
1
(1 v) dv =
1
2

2
tandis que pour u [1 +, 4],
f(u) f(1 +) =
_
1+
1
(1
1
v
) dv
1
4
_
1+
1
(v 1) dv =
1
8

2
.
On en d eduit d ej` a
_
1
0
e
xf(u)
du +
_
4
1+
e
xf(u)
du 4 e
x
2
/8
.
Enn, pour u 4,
f(u)
3
4
u ln u >
1
4
u
puisque la fonction u u/2 ln u est croissante sur [4, +[ et vaut 2 ln 2
0.614 . . . en u = 4. Donc
_
+
4
e
xf(u)
du
_
+
4
e
xu/4
du =
4
x
e
x
< e
x
2
/8
a fortiori (d` es que < 2
2 !). Par cons equent,

_
1
0
e
xf(u)
du +
_
+
1+
e
xf(u)
du 5 e
x
2
/8
,
ce qui est bien n egligeable devant 1/
x.
2
Corollaire 10.1 La fonction admet un unique prolongement analytique ` a C(N) tel
que
(z + 1) = z (z) z C(N) .
71
R eciproques de fonctions holomorphes Fonctions de variable complexe
D emonstration. Pour 1 < Rez 0 et z ,= 0, on doit avoir
(z) =
(z + 1)
z
.
Puis, par r ecurrence sur n, pour n < Rez n + 1 et z ,= n + 1,
(z) =
(z + 1)
z
=
(z +n)
z (z + 1) . . . (z +n 1)
.
Ceci d enit de mani` ere unique sur C(N). Par construction, on a bien
(z + 1) = z (z) z C(N) .
En effet, si n 1 < Rez n,
(z) =
(z + (n + 1))
z (z + 1) . . . (z + (n + 1) 1)
=
1
z
((z + 1) +n))
(z + 1) . . . ((z + 1) +n 1)
=
(z + 1)
z
puisque n < Re(z + 1) n + 1. 2
Bien dautres propri et es encore sont connues pour cette fonction. En particulier, on a
(0) = , o` u est la constante dEuler :

= lim
n+
n
k=1
1
k
ln n.
Citons aussi la formule des compl ements :
(z) (1 z) =

sin z
.
11 R eciproques de fonctions holomorphes
Th eor` eme 11.1 Soit f une fonction holomorphe dans un ouvert . Si z
0
est tel que
f
(z
0
) ,= 0, alors il existe r > 0 et > 0 tels que f soit une bijection de D(z
0
; r)
sur D(f(z
0
); ). De plus, lapplication r eciproque f
1
est holomorphe dans D(z
0
; r) et
v erie
(f
1
)
=
1
f
f
1
.
72
Fonctions de variable complexe R eciproques de fonctions holomorphes
D emonstration. Il sagit de r esoudre l equation w = f(z), que lon va r e ecrire ` a
laide de z
0
et w
0
= f(z
0
). Pour tout > 0, il existe r > 0 tel que
f(z) w
0
z z
0
f
(z
0
)

pour [ z z
0
[ r. En particulier, cest vrai pour =
1
2
[f
(z
0
)[ (qui est strictement
positif dapr` es lhypoth` ese f
(z
0
) ,= 0 !). On en d eduit, par lin egalit e triangulaire
[ f(z) w
0
[
1
2
[ f
(z
0
) [ [ z z
0
[
pour tout z D(z
0
; r
0
). Donc la fonction
g : z
_
_
z z
0
f(z) f(z
0
)
si z ,= z
0
,
1
f
(z
0
)
si z = z
0
est holomorphe dans D(z
0
; r
0
) et major ee par M := 2/[f
(z
0
)[. L equation w = f(z)
equivaut ` a
z z
0
(w w
0
) g(z) = 0 .
Et pour [ w w
0
[ < r/M et [ z z
0
[ = r < r
0
, on a
[ (w w
0
) g(z) [ < [ z z
0
[ .
Donc, dapr` es le th eor` eme de Rouch e, les fonctions z z z
0
et z z z
0

(w w
0
) g(z) ont le m eme nombre de z eros, cest-` a-dire un seul z ero, dans D(z
0
; r).
Do` u la premi` ere assertion du th eor` eme : f est une bijection de D(z
0
; r) sur D(w
0
; r/M).
Le fait que sa r eciproque h soit holomorphe utilise le th eor` eme de limage ouverte enonc e
ci-apr` es, et montrant que h est continue. En admettant ce point, on a
lim
ww
0
h(w) = h(w
0
) = z
0
.
Comme par d enition de h,
h(w) h(w
0
)
w w
0
=
z z
0
f(z) f(z
0
)
,
on en d eduit par passage ` a la limite la formule annonc ee
h
(w
0
) =
1
f
(z
0
)
.
2
73
R eciproques de fonctions holomorphes Fonctions de variable complexe
Th eor` eme 11.2 (de limage ouverte) Limage dun ouvert par une fonction holomorphe
non constante est un ouvert.
Le r esultat 11.1 est un th eor` eme dinversion locale. Voyons maintenant un r esultat
global.
Th eor` eme 11.3 Si une fonction f est holomorphe sur un ouvert connexe non vide et
injective, alors
= f() est ouvert,
f
ne sannule pas sur ,

il existe une unique fonction g, holomorphe sur , telle que f g = id,
la d eriv ee de g est donn ee par
g
=
1
f
g
.
D emonstration. Le premier point est une reformulation du th eor` eme de limage ou-
verte (noter quune fonction injective sur un ouvert non vide ne peut etre constante !). Le
second point d ecoulera de l etude de l equation w = f(z).
Soit z
0
. Dapr` es le th eor` eme 7.1, il existe un entier m 1 et une fonction
holomorphe g ne sannulant pas en z
0
tels que
f(z) f(z
0
) = ( z z
0
)
m
g(z)
pour tout z . Par continuit e de g, il existe r > 0 tel que pour [z z
0
[ r,
g(z) g(z
0
)
g(z
0
)

1
2
,
do` u
[ g(z) [
1
2
[ g(z
0
) [ .
Donc l equation w = f(z) equivaut pour z D(z
0
; r) ` a
( z z
0
)
m
w w
0
g(z)
= 0 .
Soit < r
m
[ g(z
0
) [/2. Alors pour [ w w
0
[ < , le th eor` eme de Rouch e dit que la
fonction z ( z z
0
)
m
ww
0
g(z)
a exactement m z eros dans D(z
0
; r). Comme m 1,
on a au moins une valeur de z D(z
0
; r) telle que f(z) = w.
Puisque f est injective, on sait que w a au plus un ant ec edent, mais celui-ci pourrait
etre compt e plusieurs fois : cest pourquoi il nest pas imm ediat que m = 1. Pour le
d emontrer, on raisonnons par labsurde. Supposons m 2. Ceci est equivalent au fait que
f
(z
0
) soit nul. Comme f
nest pas identiquement nulle (sinon f serait constante, et donc

non injective), le principe des z eros isol es dit que f
(z) ,= 0 pour 0 < [ z z

0
[ < r
74
Fonctions de variable complexe Retour sur les singularit es isol ees
(quitte ` a diminuer r). Or, pour [ w w
0
[ < , on a vu que l equation f(z) = w avait
exactement m solutions dans D(z
0
; r), et elles sont distinctes de z
0
pour [ w w
0
[ > 0.
Comme f
ne sannule pas dans le disque epoint e, ces solutions sont simples et donc
distinctes. Ceci contredit linjectivit e de f.
En conclusion, m = 1 et donc f
(z
0
) ,= 0. La n de la d emonstration est une
cons equence du th eor` eme 11.1. 2
Attention, le th eor` eme dinversion est faux pour les fonctions non injectives : les fonc-
tions exp et z z
2
par exemple, nadmettent pas de r eciproque dans C tout entier.
12 Retour sur les singularit es isol ees
Corollaire 12.1 Si f est une fonction holomorphe dans z
0
, pour tout r > 0 on note
r
le cercle de centre z
0
et de rayon r, orient e dans le sens trigonom etrique. On suppose
que le disque epoint e D(z
0
; R)z
0
est inclus dans . Alors quels que soient r
0
et r
1
,
0 < r
0
< r
1
, pour tout z tel que r
0
< [ z z
0
[ < r
1
, on a
f(z) =
1
2 i
_
r
1
f()
z
d
1
2 i
_
r
0
f()
z
d .
D emonstration. Pour z x e, appliquer le th eor` eme 4.4 ` a la fonction g telle que f()
f(z) = ( z) g(), et aux chemins
0
=
r
0
,
1
=
r
1
, evidemment homotopes
dans D(z
0
; R)z
0
et donc dans z
0
. 2
La formule obtenue ici est en quelque sorte une g en eralisation de la formule de Cauchy
aux ouverts non simplement connexes (de la forme z
0
).
Corollaire 12.2 Si f est une fonction holomorphe dans z
0
, alors il existe R > 0,
des coefcients (a
n
)
nN
et des coefcients (c
k
)
kN
tels que
f(z) =
nN
a
n
( z z
0
)
n
+
kN
c
k
( z z
0
)
k
pour 0 < [ z z
0
[ < R.
D emonstration. On proc` ede comme pour la preuve du corollaire 6.1 donnant le d eveloppement
en s erie enti` ere dans le cas sans singularit e. Soit z
0
et R > 0 tel que le disque epoint e
D(z
0
; R)z
0
soit inclus dans z
0
. Soient r
0
et r
1
, 0 < r
0
< r
1
< R. Dapr` es le
corollaire 12.1, on a pour r
0
< [ z z
0
[ < r
1
,
f(z) =
1
2 i
_
r
1
f()
z
d
1
2 i
_
r
0
f()
z
d .
En d eveloppant
1
z
=
1
z
0
1
1
z z
0
z
0
=
1
z
0
+
n=0
_
z z
0
z
0
_
n
75
Retour sur les singularit es isol ees Fonctions de variable complexe
pour
r
1
et
1
z
=
1
z z
0
+
n=0
_
z
0
z z
0
_
n
=
+
n=0
( z
0
)
n
(z z
0
)
n+1
pour
r
0
, on en d eduit le d eveloppement annonc e avec
a
n
:=
1
2 i
_
r
1
f()
( z
0
)
n+1
d et c
n
:=
1
2 i
_
r
0
f() ( z
0
)
n1
d
En utilisant ` a nouveau le th eor` eme 4.4 on voit que ces coefcients ne d ependent pas de r
0
et r
1
. 2
Le d eveloppement ainsi obtenu sappelle d eveloppement en s erie de Laurent. Il est
uniform ement convergent dans toute couronne z C; 0 < r
0
[z z
0
[ r
1
. La
partie singuli` ere de f au point z
0
est
f
s
(z) =
kN
c
k
( z z
0
)
k
.
On peut remarquer que la fonction
z f
s
(z
0
+
1
z
) =
kN
c
k
z
k
a une singularit e articielle en z = 0.
Si f a une singularit e articielle en z
0
tous les coefcients c
n
sont nuls, si f a un p ole
en z
0
les coefcients c
n
sont nuls ` a partir dun certain rang (lordre du p ole +1). Dans le
cas contraire, cest que f a une singularit e essentielle en z
0
. Le coefcient c
1
de sa partie
singuli` ere joue encore un r ole particulier et est appel e r esidu de f au point z
0
.
Exemple. Le d eveloppement en s erie de Laurent dans les couronnes centr ees en z
0
= 0
de la fonction z e
1/z
est
e
1/z
= 1 +
+
n=1
1
n ! z
n
, z ,= 0 .
Le th eor` eme des r esidus est encore valable en pr esence de singularit es essentielles :
Th eor` eme 12.1 (des r esidus) Si une fonction f est holomorphe dans z
0
, . . . , z
n
avec simplement connexe, alors pour tout chemin ferm e z

0
, . . . , z
n
,
1
2 i
_
f(z) dz =
n
k=0
R es (f; z
k
) Ind
(z
k
) .
76
Fonctions de variable complexe Retour sur les singularit es isol ees
Enn, une version du th eor` eme des r esidus dans le m eme esprit que le th eor` eme 4.4
est le
Th eor` eme 12.2 (des r esidus, encore) Si une fonction f est holomorphe dans z
0
, . . . , z
n
,
avec un ouvert connexe non vide, et si
0
et
1
sont des chemins ferm es simples orient es
dans le sens trigonom etrique et homotopes dans tels que tous les points z
k
appar-
tiennent ` a la couronne de bord
0

1
, alors
_
1
f(z) dz
_
0
f(z) dz = 2 i
n
k=0
R es (f; z
k
) .
77
Retour sur les singularit es isol ees Fonctions de variable complexe
78
Chapitre 4
Transformation de Laplace
1 Introduction
On a vu que la transformation de Fourier etait une op eration associant ` a un signal,
ou fonction dune variable (spatiale ou temporelle ou autre) x R ayant un bon com-
portement ` a linni (rendant la fonction int egrable ou au moins de carr e int egrable), une
fonction de R ( etant homog` ene ` a 1/x). On a egalement observ e que plus le si-
gnal tendait rapidement vers 0 ` a linni, plus sa transform ee de Fourier etait r eguli` ere.
En fait, dans le cas extr eme o` u ce signal est ` a support compact, sa transform ee de Fou-
rier est carr ement analytique. Apr` es avoir etudi e les fonctions de variable complexe, nous
sommes plus pr ecis ement en mesure de d emontrer le th eor` eme suivant, qui caract erise les
transform ees de Fourier de fonctions r eguli` eres ` a support dans un compact donn e.
Th eor` eme 1.1 (Paley-Wiener) Soit R > 0.
Si f est une fonction localement int egrable et nulle en dehors de lintervalle ]
R, R[, alors sa transform ee de Fourier

f se prolonge en une fonction enti` ere F. Si
de plus f est de classe (
k
, k 0, alors pour tout m k il existe C
m
> 0 tel que
[F(z)[
C
m
(1 + [z[
m
)
e
2 R|Imz|
, z C.
Si F est une fonction enti` ere telle que pour tout m N il existe C
m
> 0 tel que
[F(z)[
C
m
(1 + [z[
m
)
e
2 R|Imz|
, z C,
alors il existe une fonction f de classe (
et ` a support dans [R, R] telle que
f() = F() pour tout R.

D emonstration. La partie directe est facile ` a etablir. Reprenons tout dabord la d enition
de

f. Par hypoth` ese f est evidemment int egrable et donc

f est d enie par la formule
f() =
_
R
f(x) e
2 i x
dx =
_
R
R
f(x) e
2 i x
dx .
79
Introduction Transformation de Laplace
Soit alors
F(z) =
_
R
R
f(x) e
2 i z x
dx .
On a bien s ur F() =

f() pour tout R. De plus, la fonction z e
2 i z x
etant
enti` ere (cest-` a-dire holomorphe sur C tout entier) et puisquon int` egre sur un compact, le
th eor` eme 4.6 montre que F est enti` ere. Enn, en int egrant successivement par parties (les
termes de bord sont nuls car f est ` a support compact strictement inclus dans ] R, R[ par
hypoth` ese), on a
(2 i z)
m
F(z) =
_
R
R
f
(m)
(x) e
2 i z x
dx
pour tout z ,= 0. On en d eduit lin egalit e
[2 z[
m
[F(z)[ 2 R max
|x|R
[f
(k)
(x)[ e
2 R|Im(z)|
pour tout z C. En additionnant avec lin egalit e
[F(z)[ 2 R max
|x|R
[f(x)[ e
2 R|Im(z)|
,
on obtient lin egalit e annonc ee avec
C
m
= 2 R( max
|x|R
[f(x)[ + max
|x|R
[f
(k)
(x)[/(2 )
m
) .
Cest la partie r eciproque qui n ecessite vraiment de lanalyse complexe. Le fait davoir
une estimation de la forme
[F()[
C
m
(1 + [[
m
)
, R,
` a tout ordre montre exprime que la restriction de F ` a R est ` a d ecroissance rapide. Cette
restriction est de plus de classe (
puisquanalytique. On admettra que cela implique que

F[
R
est la transform ee de Fourier dune fonction f egalement de classe (
` a d ecroissance
rapide, et cette fonction f est d enie par
f(x) =
_
R
F() e
2 i x
d .
Montrons alors que f est en fait ` a support compact inclus dans [R, R]. Soient x R,
> 0, M > 0, et C le contour rectangulaire de sommets M et M + i. Dapr` es le
th eor` eme de Cauchy,
_
C
F(z) e
2 i z x
dz = 0 .
Or dapr` es les in egalit es de lhypoth` ese, les termes correspondant aux int egrales sur les
bords verticaux tendent vers 0 lorsque M tend vers +. On en d eduit ` a la limite
_
R
F() e
2 i x
d =
_
R
F( +i ) e
2 i ( +i ) x
d ,
80
Transformation de Laplace Introduction
cest-` a-dire
f(x) = e
2 x
_
R
F( +i ) e
2 i x
d .
En utilisant une fois de plus les in egalit es de lhypoth` ese, on obtient
[f(x)[ C
2
e
2 (Rx)
_
R
d
1 +
2
.
Ceci est vrai quel que soit > 0. Si x > R, en faisant tendre vers +, le membre
de droite tend vers 0 : cest donc que f(x) = 0 ! Le cas de x < R est analogue, en
choisissant un contour avec < 0. 2
La transformation de Fourier joue un r ole fondamental en analyse math ematique et
permet, entre autres, de r esoudre certaines equations aux d eriv ees partielles ( equation
de la chaleur, equation de Schr odinger libre, etc.). La transformation de Laplace est une
op eration de m eme nature, mais agissant sur des signaux d enis sur une demi-droite seule-
ment, et pouvant etre non born es ` a linni : typiquement des signaux temporels, d ependant
dune variable t R
+
.
D enition 1.1 Une fonction f : R
+
C est dite de type exponentiel a R sil existe
C > 0 tel que
[f(t)[ C e
a t
, t R
+
.
La transform ee de Laplace dune fonction localement int egrable et de type exponentiel
est naturellement une fonction de variable complexe, gr ace ` a lobservation suivante (petite
extension de la partie directe du th eor` eme 1.1).
Proposition 1.1 Soit f : R
+
C une fonction localement int egrable et de type expo-
nentiel a. Alors la fonction t R
+
f(t) e
t
est int egrable pour tout > a, et la
fonction
s
_
+
0
f(t) e
s t
dt
est holomorphe dans le demi-plan complexe s C; Res > a .
D emonstration. Cest une application imm ediate du th eor` eme 4.6. En effet, la fonc-
tion s f(t) e
s t
est enti` ere, et pour t R
+
, s = + i avec
0
> a,
[f(t) e
s t
[ C e
(a
0
) t
.
Cette derni` ere fonction etant int egrable, on en d eduit que la fonction
s
_
+
0
f(t) e
s t
dt
est holomorphe dans le demi-plan complexe s C; Res
0
, et ceci est vrai quel
que soit
0
> a. 2
81
Introduction Transformation de Laplace
D enition 1.2 Soit f : R
+
C une fonction localement int egrable et de type exponen-
tiel a. Sa transform ee de Laplace est la fonction
L[f] : s C; Res > a C
s L[f](s) =
_
+
0
f(t) e
s t
dt .
Remarque 1.1 On peut aussi d enir la transform ee de Laplace dune fonction qui nest
pas n ecessairement dordre exponentiel, pourvu que la fonction t e
t
f(t) soit
int egrable sur R
+
. Cest le cas notamment pour f L
2
(R
+
) et > 0, puisque dapr` es
lin egalit e de Cauchy-Schwarz :
_
+
0
[ f(t) e
t
[ dt
_
_
+
0
[ f(t) [
2
dt
_ _
_
+
0
e
2 t
dt
_
=
1
2
|f|
2
L
2 .
Remarque 1.2 La transformation de Laplace sexprime au moyen de la transformation
de Fourier ` a travers la relation
L[f]( + i ) =

(f g) (
1
2
) ,
o` u la fonction g est le produit de la fonction de Heaviside (valant 1 sur R
+
et 0 sur
] , 0[) et de la fonction t e
t
.
Remarque 1.3 Le comportement dune fonction lorsque t 0, respectivement t
+, est li e ` a celui de sa transform ee de Laplace lorsque [z[ , respectivement z 0.
Attention, ceci d epend tout de m eme de quelques hypoth` eses !
Proposition 1.2 Soit f une fonction localement int egrable sur R
+
.
Si f est born ee (cest-` a-dire ` a dire de type exponentiel 0 !) alors sa transform ee de
Laplace tend vers 0 ` a linni :
lim
|s|
Res>0
+
L[f](s) = 0 .
Si de plus f est de classe (
1
par morceaux et sa d eriv ee est de type exponentiel,
alors
lim
|s|
Res>0
+
s L[f](s) = lim
t 0
f(t) .
Si f admet une d eriv ee int egrable sur R
+
, alors
lim
z
Res>0
0
s L[f](s) = lim
t+
f(t) .
82
Transformation de Laplace Transform ees de Laplace el ementaires
D emonstration. Le premier point est tout ` a fait el ementaire : si [f(t)[ M pour tout
t > 0 alors
[ L[f](z) [ M
_
+
0
e
Res t
dt =
M
Res
0
lorsque Res +. Le second point passe une int egration par parties :
L[f](s) =
1
s
_
+
0
f
(t) e
s t
dt
1
s
_
f(t) e
s t
t=+
t=0
=
1
s
L[f
](s) +
1
s
lim
t 0
f(t)
pour Res > 0. Or dapr` es le premier point, L[f
](s) tend vers 0 lorsque Res +.

Donc
s L[f](s) lim
t 0
f(t)
lorsque Res +. Quant au dernier point, on reprend la formule ci-dessus, valable
pour Res > 0 :
s L[f](s) =
_
+
0
f
(t) e
s t
dt + f(0) .
On peut appliquer le th eor` eme de convergence domin ee de Lebesgue ` a lint egrale lorsque
Res 0, puisque [ f
(t) e
s t
[ [f
(t)[ et f
est int egrable par hypoth` ese. On en d eduit :

lim
Res0
_
+
0
f
(t) e
s t
dt =
_
+
0
f
(t) dt = lim
t+
f(t) f(0) .
(Le fait que la limite de f en +existe r esulte de lhypoth` ese faite sur f
.) Finalement,
le terme f(0) se simplie et il reste
lim
Res0
s L[f](s) = lim
t+
f(t) .
2
La transformation de Laplace est en particulier tr` es utile pour la r esolution d equations
diff erentielles lin eaires. Pour la mettre en uvre on a besoin de connatre quelques trans-
form ees classiques et r` egles de calcul.
2 Transform ees de Laplace el ementaires
Commencons par la fonction la plus simple qui soit : la fonction constante egale ` a
1. (Rappelons que la transform ee de Fourier nest m eme pas une fonction !). Cest une
fonction de type exponentiel 0. Par d enition, sa transform ee de Laplace au point s, de
partie r eelle strictement positive, vaut
_
+
0
e
s t
dt =
1
s
.
83
Transform ees de Laplace el ementaires Transformation de Laplace
De facon plus g en erale, on peut calculer la transform ee de Laplace de la fonction polyno-
miale p
n
: t t
n
, pour n N, qui est une fonction de type exponentiel > 0, quel que
soit > 0. On a
L[p
n
](s) =
_
+
0
t
n
e
s t
dt =
n !
s
n+1
apr` es int egrations par parties successives.
Voyons la fonction e
a
: t e
a t
, qui est evidemment de type exponentiel a. On a
par d enition
L[e
a
](s) =
_
+
0
e
(a s) t
dt =
1
s a
pour Res > a. Par lin earit e, on en d eduit imm ediatement les transform ees des fonctions
ch
a
: t ch(a t) et sh
a
: t sh(a t) :
L[ch
a
](s) =
1
2
( L[e
a
](s) + L[e
a
](s) ) =
s
s
2
a
2
et
L[sh
a
](s) =
1
2
( L[e
a
](s) L[e
a
](s) ) =
a
s
2
a
2
pour Res > [a[.
De facon analogue, la fonction t e
i a t
(de type exponentiel 0), a pour trans-
form ee de Laplace s 1/(s i a) pour Res > 0, et par lin earit e, les transform ees des
fonctions c
a
: t cos(a t) et s
a
: t sin(a t) sont :
L[c
a
](s) =
s
s
2
+ a
2
et L[s
a
](s) =
a
s
2
+ a
2
pour Res > 0.
La fonction g : t e
t
2
est de type exponentiel arbitrairement petit, donc sa
transform ee de Laplace est une fonction enti` ere. Elle est d enie par
_
+
0
e
t
2
e
s t
dt = e
s
2
/4
_
+
0
e
(t+s/2)
2
dt = e
s
2
/4
_
+
s/2
e
u
2
du
si s est r eel. En introduisant la fonction (dite error function)
s erf(s) :=
2
_
s
0
e
u
2
du,
et en se rappelant que
_
+
0
e
u
2
du =
2
,
on peut r e ecrire
L[g](s) =
2
e
s
2
/4
( 1 erf(s/2) )
pour tout s R.
84
Transformation de Laplace R` egles de calcul
Op eration Chang.
t
d echelle D erivation Int egration
Fonction (a > 0)
` a transformer f(t) f(a t) f
(t)
_
t
0
f() d
Transform ee
de Laplace F(s)
1
a
F
_
s
a
_
s F(s) f(0) F(s)/s
Op eration Translation Produit par . . . Produit par . . .
Fonction e
a t
t
n
, n N
` a transformer f(t) f(t t
0
) 1
tt
0
e
a t
f(t) t
n
f(t)
Transform ee
de Laplace F(s) e
t
0
s
F(s) F(s a) (1)
n d
n
F
ds
n
(s)
TAB. 4.1 Formulaire de base pour la transform ee de Laplace.
3 R` egles de calcul
On d emontre de facon el ementaire les formules rassembl ees dans le tableau 3, en
faisant les hypoth` eses n ecessaires pour que ces formules aient un sens.
4 Transformation de Laplace inverse
La remarque 1.2 et la formule dinversion de Fourier permettent de deviner quelle doit
etre la formule pour la transformation de Laplace inverse. En effet, supposons f locale-
ment int egrable et de type exponentiel a et F = L[f] int egrable sur la droite verticale
z ; Rez = avec > a. Alors dapr` es le th eor` eme 3.2, pour t 0,
f(t) e
t
=
_
+
F( + 2 i ) e
2 i t
d ,
soit encore
f(t) =
1
2
_
+
F( + i ) e
( +i ) t
d =
1
2 i
_
Res=
F(s) e
s t
ds .
Remarque 4.1 Si lon sait de plus que F(s) tend vers 0 lorsque Ims tend vers linni,
alors le th eor` eme de Cauchy (version n
o
1 !) montre que lint egrale ci-dessus ne d epend
pas de > a. En effet, consid` erons un contour rectangulaire inclus dans le demi-plan
s ; Res > a de sommets
0
i Ret
1
i R. Les int egrales sur les bords horizontaux
tendent vers 0 lorsque R tend vers +car :
_

1
0
F( i R) e
( i R) t
ds
(
1
0
) e
1
t
max
[
0
,
1
]
[ F( i R) [ .
85
Transformation de Laplace inverse Transformation de Laplace
En utilisant cette approche et en traitant plus nement les int egrales sur les bords
horizontaux, on d emontre le r esultat suivant, qui assure lexistence dune transform ee de
Laplace inverse pour une classe bien pr ecise de fonctions holomorphes.
Th eor` eme 4.1 (Paley-Wiener) Soit F une fonction holomorphe dans le demi-plan s ; Res >
0 . On suppose F de carr e int egrable sur toute droite verticale et que
sup
>0
1
2
_
+
[ F( + i ) [
2
d =: C < .
Alors il existe f L
2
(R
+
) telle que F = L[f]. De plus, |f|
2
L
2
= C .
D emonstration. On va bien entendu utiliser la remarque 1.2 et ce quon sait de la
transformation de Fourier. En particulier, puisque R F( + 2 i ) est de carr e
int egrable pour tout > 0, il existe une fonction h
L
2
(R) telle que
() = F( + 2 i )
pour tout R. Il sagit de d emontrer quen fait h
(x) e
x
ne d epend pas de et que
cest une fonction de x ` a support dans R
+
.
Or, dapr` es la formule de Plancherel
_
+
[ h
(x) [
2
dx =
_
+
() [
2
d =
_
+
[ F( + 2 i ) [
2
d = C .
Si lon montre queffectivement f(x) := h
(x) e
x
ne d epend pas de , alors lestima-
tion
_
+
e
2 x
[ f(x) [
2
dx C <
impliquera n ecessairement f
|R
= 0 : il suft de faire tendre vers + pour obtenir
une contradiction au cas o` u f prendrait des valeurs non nulles sur un intervalle inclus dans
[R
.
Le gros du travail est donc de montrer que h
(x) e
x
ne d epend pas de . Ceci est
compliqu e par le fait que nos hypoth` eses ne nous permettent pas dutiliser la formule
dinversion de Fourier pour calculer h
(x) (la fonction R F( + 2 i ) est

seulement suppos ee de carr e int egrable).
Fixons x R et consid erons un contour rectangulaire
R
inclus dans le demi-plan
s ; Res > 0 de sommets
0
i R et
1
i R avec
0
<
1
. On a dapr` es le
th eor` eme de Cauchy
_
R
F(s) e
s x
ds = 0 .
Les int egrales sur les bords horizontaux sont de m eme nature et valent
I(R) =
_

1
0
F( i R) e
( i R) x
d .
86
Transformation de Laplace Transformation de Laplace inverse
Dapr` es lin egalit e de Cauchy-Schwarz :
[I(r)[
2
_
_

1
0
[ F( + i r) [
2
d
_ _
_

1
0
e
2 x
d
_
.
De plus, dapr` es le th eor` eme de Fubini
_
+
_

1
0
[ F( + i r) [
2
d dr =
_

1
0
_
+
[ F( + i r) [
2
dr d
2 C (
1
0
) < .
Ceci implique lexistence dune suite strictement croissante (R
n
) tendant vers + telle
que
lim
n+
_

1
0
[ F( i R
n
) [
2
d = 0 .
En effet, avant de construire (R
n
), on commence par prouver que pour tout > 0 et pour
tout M > 0 il existe R M tel que
_

1
0
[ F( i R) [
2
d .
(sil existait
0
> 0 et M
0
> 0 tels que pour tout R M
0
lint egrale soit sup erieure ` a ,
alors lint egrale double ci-dessus en (r, ) serait innie). Il est alors facile de construire
par r ecurrence une suite strictement croissante (R
n
) tendant vers +telle que
_

1
0
[ F( i R
n
) [
2
d
1
n + 1
par exemple.
Do` u aussi lim
n+
I(R
n
) = 0. Il reste donc ` a la limite dans l egalit e fournie par
le th eor` eme de Cauchy sur les contours
Rn
les seules int egrales sur les droites verticales :
lim
n+
_
Rn
Rn
F(
1
+ i ) e
(
1
+i ) x
d
_
Rn
Rn
F(
0
+ i ) e
(
0
+i ) x
d = 0 .
Si lon sait que R F(
0
+ ) et R F(
1
+ i ) sont int egrables, on en
d eduit directement par la formule dinversion de Fourier que h
1
(x) e
1
x
= h
1
(x) e
0
x
.
Sinon on utilise le fait que, quel que soit la suite de fonctions (G
n
: 1
||Rn
F( +
i ))
nN
converge dans L
2
vers F( + i )). Ceci implique que la transform ee de
Fourier inverse de G
n
(qui est donn ee par la formule dinversion puisque G
n
est ` a support
compact) convergent dans L
2
vers la transform ee de Fourier inverse de F( + i ))
cest-` a-dire h
par d enition. Or la convergence dans L

2
implique, au prix de lextraction
dune sous-suite, la convergence presque partout. Donc pour presque tout x,
lim
n
+
_
R
n
R
n
F(
1
+ i ) e
i ) x
d = h
(x) .
87
Par suite
h
1
(x) e
1
x
= h
1
(x) e
0
x
pour presque tout x. 2
Remarque 4.2 Pour une fonction F holomorphe dans le demi-plan s ; Res > a avec
a un nombre r eel non n ecessairement nul, et
sup
>a
1
2
_
+
[ F( + i ) [
2
d < ,
on obtient aussi une transform ee de Laplace inverse f, qui nest pas dans L
2
(si a > 0)
mais telle que t e
a t
f(t) soit dans L
2
. On utilise pour cela le fait que s F(s +a)
satisfait les hypoth` eses du th eor` eme 4.1 et lobservation pr esente dans le tableau 3
L[t e
a t
f(t)](s) = L[f](s +a) .
Ainsi donc, sous les hypoth` eses du th` eor` eme 4.1 et lhypoth` ese suppl ementaire
R F( + i ) int egrable, on a bien la formule attendue pour la transform ee de
Laplace inverse f de F
f(t) =
1
2
_
+
F( + i ) e
( +i ) t
d =
1
2 i
_
Res=
F(s) e
s t
ds .
On peut utiliser cette formule et la th eorie des r esidus pour calculer f. La m ethode
consiste alors ` a consid erer un contour constitu e du segment [ i M , + i M] ferm e ` a
gauche par un arc de cercle.
Th eor` eme 4.2 Supposons que F soit une fonction holomorphe dans Cz
0
, . . . , z
n
. Soit
> max(0, Rez
0
, . . . , Rez
n
). On suppose de plus quil existe C > 0 et m > 0 tels que
pour tout z, Rez ,
[F(z)[
C
[z[
m
.
Alors on a pour tout t > 0,
1
2 i
_
Res=
F(s) e
s t
ds =
n
k=0
R es
_
F e
t
; z
k
_
,
o` u lint egrale est semi-convergente si m ]0, 1] et absolument convergente si m > 1. Si de
plus les points z
0
, . . . , z
n
sont des p oles de F alors la fonction f : t
1
2 i
_
Res=
F(s) e
s t
ds
est de type exponentiel et L[f] = F.
88
D emonstration. On xe une fois pour toutes > max(0, Rez
0
, . . . , Rez
n
). Le fait
que lint egrale
_
Res=
F(s) e
s t
ds soit semi-convergente d ecoule classiquement dint egrations
par parties.
Soit R > 0. Il existe un unique ]0, /2[ tel que R cos = . On note M = sin
et on consid` ere le contour
R
= z ; Rez = et Imz [M, M] z = Re
i
; [, 2 ]
orient e dans le sens trigonom etrique. Si R > max([z
0
[, . . . , [z
n
[), tous les points z
0
,. . . ,z
n
sont ` a lint erieur de
R
et le th eor` eme des r esidus montre donc que
_
R
F(z) e
z t
dz = 2 i
n
k=0
R es
_
F e
t
; z
k
_
.
Tout le travail consiste ` a montrer que lint egrale sur larc de cercle
C
R
:= z = Re
i
; [, 2 ]
tend vers 0 lorsque R tend vers +. Car alors, on en d eduira que lint egrale sur le seg-
ment z ; Rez = et Imz [M, M] a une limite lorsque R (et donc M) tend vers
+, ce qui signie que lint egrale
_
Res=
F(s) e
s t
ds est semi-convergente, et quen
plus elle vaut 2 i
n
k=0
R es (F e
t
; z
k
) comme annonc e.
Or
_
C
R
F(z) e
z t
dz
_
2
F(Re
i
) e
Rt e
i
i Re
i
d

C
R
m1
_
2
e
Rt cos
d .
La cl e de la d emonstration r eside dans la d ependance de par rapport ` a R : rappelons que
R cos = . On d ecompose :
_
2
e
Rt cos
d =
_
/2
e
Rt cos
d +
_
3/2
/2
e
Rt cos
d +
_
2
3/2
e
Rt cos
d .
Lint egrale du milieu se traite de facon classique. Pour tout t > 0 on a :
_
3/2
/2
e
Rt cos
d =
_

0
e
Rt sin
d
= 2
_
/2
0
e
Rt sin
d
2
_
/2
0
e
Rt /(2)
d
4
Rt
.
89
Dautre part,
_
/2
e
Rt cos
d
_
/2
e
Rt cos
d = (/2 ) e
t
.
Or
sin(/2 ) = cos =

R
,
donc (/2 )

R
lorsque R tend vers +. La derni` ere int egrale se traite de facon
analogue. On en d eduit lexistence de K = K(t; ) > 0 tel que
_
2
e
Rt cos
d
K
R
,
ce qui suft, avec m > 0, pour montrer que
_
C
R
F(z) e
z t
dz tend vers 0.
Ceci prouve donc la formule
1
2 i
_
Res=
F(s) e
s t
ds =
n
k=0
R es
_
F e
t
; z
k
_
.
Si les points z
0
, . . . , z
n
sont des p oles, alors on montre facilement que les r esidus sont des
fonctions de t de type exponentiel. En effet, ` a un p ole z
k
correspond une suite (c
k
j
)
j=1..p
telle que
z F(z)
p
j=1
c
k
j
(z z
k
)
j
ait une singularit e articielle en z
k
. Par suite,
R es
_
F e
t
; z
k
_
=
p
j=1
c
k
j
R es
_
z
e
t z
(z z
k
)
j
; z
k
_
=
p
j=1
c
k
j
t
j1
(j 1)!
e
t z
k
.
Pour nir, on v erie sans peine que la transform ee de Laplace de t
t
j1
(j1)!
e
t z
k
est
s
1
(sz
k
)
j
. Comme la fonction
z F(z)
n
k=0
p
j=1
c
k
j
(z z
k
)
j
est enti` ere et dapr` es lhypoth` ese sur F, major ee en module par une constante sur [z[
m
,
m > 0, cette fonction est identiquement nulle gr ace au th eor` eme 9.2 (Liouville). Ceci
prouve que L[f] = F.
2
90
Exemple. La fonction z F(z) =
1
za
satisfait les hypoth` eses du th eor` eme avec
m = 1. Et on a imm ediatement
R es
_
F e
t
; a
_
= e
t a
.
On retrouve le r esultat connu.
Dans le cas dune simple fonction rationnelle, on peut aussi bien utiliser sa d ecomposition
en el ements simples et obtenir de facon el ementaire sa transform ee de Laplace inverse
comme combinaison de fonctions trigonom etriques et hyperboliques.
Mais pour des fonctions plus compliqu ees, la th eorie des r esidus sav` ere utile.
Une autre approche pour calculer une transform ee de Laplace inverse consiste ` a d ecomposer
la fonction donn ee en produits de fonctions dont on connat les transform ees inverses et
` a utiliser le r esultat g en eral suivant. Pour cela, rappelons que la transform ee de Fourier
change les produits en produits de convolution : si h et k sont deux fonctions int egrables,
alors la fonction h h, d enie par
(h k)(x) =
_
h(x y) k(y) dy
a pour transform ee de Fourier le produit
k. Appliquons ce r esultat ` a h(t) = 1

t0
(t) e
t
f(t)
et k(t) = 1
t0
(t) e
t
g(t). On a alors
(h k)(t) = 1
t0
(t) e
t
_
t
0
f(t y) g(y) dy .
An d eviter les confusions, notons f g la fonction d enie par :
(f g)(t) =
_
t
0
f(t y) g(y) dy .
Lop eration est aussi appel ee produit de convolution.
Proposition 4.1 Si f et g sont deux fonctions localement int egrables sur R
+
et de type
exponentiel a et b respectivement, alors la fonction
t 0 (f g)(t) =
_
t
0
f(t y) g(y) dy
est aussi localement int egrable et de type exponentiel c = max(a, b).
D emonstration. On remarque comme dans le cas de la convolution sur R que est
sym etrique (faire le changement de variables u = t y). Supposons a b. Alors il existe
une constante C telle que
[(f g)(t)[ C
_
t
0
e
b (ty)
e
a y
dy = C e
b t
1
b a
(1 e
(ab) t
)
C
b a
e
b t
.
91
Applications de la transformation de Laplace Transformation de Laplace
2
Ainsi
L[f g]( + i ) =

(h k)(
1
2
) = (
h

k)(
1
2
) = L[f]( + i ) L[g]( + i ) .
Autrement dit, la transform ee de Laplace inverse dun produit, si elle existe, est le produit
de convolution des transform ees de Laplace inverses de chaque terme du produit. On peut
aussi voir cette formule directement.
Proposition 4.2 Si f et g sont deux fonctions localement int egrables sur R
+
et de type
exponentiel alors
L[f g] = L[f] L[g] .
D emonstration. Par d enition,
L[f g](s) =
_
+
0
_
t
0
f(t y) g(y) dy e
s t
dt
=
_
+
0
_
+
t
f(t y) e
s (ty)
g(y) e
s y
dt dy
=
_
+
0
_
+
0
f(u) e
s u
g(y) e
s y
dt du
= L[f](s) L[g](s) .
2
Cette propri et e, la th eorie des r esidus et le tableau 3 permettent de calculer bon nombre
de transform ees de Laplace inverses. On va voir que cest utile par exemple pour r esoudre
des equations diff erentielles ou aux d eriv ees partielles.
5 Applications de la transformation de Laplace
La transformation de Laplace est pr ecieuse pour r esoudre des probl` emes d evolution
sous forme d equations diff erentielles lin eaires. De facon g en erale, soit ` a r esoudre le
syst` eme d equations diff erentielles lin eaires
du
dt
= Au + f ,
o` u linconnue u est ` a valeurs dans R
d
, Aest une matrice dd ` a coefcients r eels, et f est
une fonction donn ee (correspondant ` a un forcage, souvent appel e terme source). Si A est
ind ependante de t, lexponentielle complexe fournit la solution explicite ` a ce probl` eme,
sous la forme :
u(t) = e
t A
u(0) +
_
t
0
e
(t) A
f() d .
92
Transformation de Laplace Applications de la transformation de Laplace
Cependant, cette expression a linconv enient de n ecessiter le calcul de e
A
, qui nest pas
toujours ais e (il faut en principe r eduire Adans une base de vecteurs propres, eventuellement
g en eralis es si A nest pas diagonalisable). De plus, cette expression est r eserv ee aux
syst` emes ` a coefcients constants, cest-` a-dire A ind ependant de t. On va voir que la
transformation de Laplace permet de r esoudre plus facilement le probl` eme ` a coefcients
constants, et aussi de r esoudre certains probl` emes ` a coefcients variables.
Commencons par le cas dun syst` eme ` a coefcients constants et appliquons lui la
transformation de Laplace. En d esignant U = L[u], F = L[f] et u
0
= u(0) on doit
avoir
s U(s) u
0
= AU(s) + F(s) .
Si
Res > a := max Re; d et (A I) = 0
on en d eduit de facon equivalente :
U(s) = ( sI A)
1
( u
0
+ F(s) )
et donc, au moins formellement :
u(t) =
1
2 i
_
Res=
e
s t
( sI A)
1
( u
0
+ F(s) ) ds
pour > a et t > 0. Cette formule abstraite est fort utile dans lanalyse math ematique
de probl` emes d evolution. Plus concr` etement, le calcul de la transform ee de Laplace in-
verse de s ( sI A)
1
( u
0
+ F(s) ) permet de calculer la solution explicite du
syst` eme d equations diff erentielles pour une quelconque donn ee initiale u
0
. En pratique,
ceci n ecessite seulement linversion de la matrice ( sI A) (en fait, un pivot de Gauss)
et non la r eduction compl` ete de A.
La transform ee de Laplace est aussi utile pour la r esolution de certains probl` emes ` a
coefcients variables. Plus pr ecis ement, si une equation scalaire dordre n
y
(n)
+ a
n1
y
(n1)
+ + a
0
y = f
(qui peut toujours s ecrire sous forme dun syst` eme en condis erant linconnue vectorielle
u de composantes (y, y
, . . . , y
(n1)
)) a des coefcients polynomiaux de degr e m stricte-
ment inf erieur ` a n, la transformation de Laplace change cette equation en une equation
dordre m (donc en principe plus facile ` a r esoudre que l equation de d epart).
93
Appendice : compl ements de calcul diff erentiel et int egral Transformation de Laplace
A Appendice : compl ements de calcul diff erentiel et int egral
Un th eor` eme fondamental pour les passages ` a la limite sous le signe
_
est le
Th eor` eme A.1 (de convergence domin ee de Lebesgue) Soit (f
n
)
nN
une suite de fonc-
tions int egrables sur un intervalle I (pas n ecessairement born e) de R (ce qui signie f
n
mesurable, et
_
I
[f
n
(t)[ dt < +quel que soit n). On suppose que
f
n
(t)
n+
f(t) pour presque tout t I ,
et il existe une fonction int egrable g telle que
[f
n
(t)[ g(t) pour presque tout t I , n N,
alors on a
lim
n+
_
I
f
n
(t) dt =
_
I
f
n
(t) dt .
`
A lorigine de ce th eor` eme se trouve un lemme parfois utile en soi.
Lemme A.1 (Fatou) Soit (f
n
)
nN
une suite de fonctions ` a valeurs dans R
+
. Alors
_
liminf
n+
f
n
(t) dt liminf
n+
_
f
n
(t) dt .
On d eduit du th eor` eme de Lebesgue des r esultats de continuit e et de d erivabilit e sous
le signe
_
:
Corollaire A.1 Soit f une fonction de (x, t) R
n
R telle que t f(x, t) soit
int egrable sur un intervalle I pour tout x un ouvert de R
n
, et x f(x, t) soit
continue au point x
0
pour presque tout t I. Sil existe une fonction int egrable g
telle que
[f(x, t)[ g(t) pour presque tout t I et pour tout x ,
alors lapplication
F : x
_
I
f(x, t) dt
est continue au point x
0
.
Corollaire A.2 Soit f une fonction de (x, t) R
n
R telle que t f(x, t) soit
int egrable sur un intervalle I pour tout x un ouvert de R
n
, et x f(x, t) soit
diff erentiable au point x
0
pour presque tout t I. Sil existe une fonction int egrable
g telle que
[df(x, t)[ g(t) pour presque tout t I et pour tout x ,
94
Transformation de Laplace Appendice : compl ements de calcul diff erentiel et int egral
alors lapplication
F : x
_
I
f(x, t) dt
est diff erentiable au point x
0
et ses d eriv ees partielles sont donn ees par
x
j
F(x) =
_
I
x
j
f(x, t) dt .
En utilisant les equations de Cauchy-Riemann, on en d eduit un r esultat analogue pour
les fonctions holomorphes :
Corollaire A.3 Soit f une fonction de (z, t) CRtelle que t f(z, t) soit int egrable
sur un intervalle I pour tout z un ouvert de C, et z f(z, t) soit holomorphe au
point z
0
pour presque tout t I. Sil existe une fonction int egrable g telle que
[
z
f(z, t)[ g(t) pour presque tout t I et pour tout z ,
alors lapplication
F : z
_
I
f(z, t) dt
est holomorphe au point z
0
et sa d eriv ee est donn ee par
z
F(z) =
_
I
z
f(z, t) dt .
Une autre r esultat fondamental du calcul int egral est le
Th eor` eme A.2 (de Fubini) Si f est une fonction de deux variables r eelles et ` a valeurs
dans C, mesurable et int egrable sur X Y , cest-` a-dire telle que
_
XY
[f(x, y)[ dx dy < +,
alors f(, y) est int egrable sur X pour presque tout y Y , de m eme que f(x, ) est
int egrable sur Y pour presque tout x X, et
_
X
_
_
Y
f(x, y) dy
_
dx =
_
Y
_
_
X
f(x, y) dx
_
dy .
95

Math 6

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Math 6

Transféré par

Droits d'auteur :

Formats disponibles

Cours de Math ematiques pour la Licence

), tandis que pour tout R et tout z = (x, y) C, z = (x, y) .

Ecriture cart esienne Rappels sur les nombres complexes

sont de m eme signe . R eciproquement, supposons [z[ = [z

sont de m eme signe alors n ecessairement Imz = Imz

, il existe exactement n solutions de l equation

Ecriture trigonom etrique Rappels sur les nombres complexes

) par une fonction de classe (

` a support compact : cela

f(n)[ < +, alors

f(n) assure que F est somme de sa s erie de Fourier (par le

. On montre de plus que f g L

f sont int egrables).

` a support compact. Gr ace ` a ce

en est une autre, de limite G, on a

Voyons maintenant comment d enir la transform ee de Fourier de fonctions dont on

(R) lensemble des fonctions (me-

. Toutefois, on peut proc eder par dualit e. En effet, ` a toute fonction f L

comme on la dit plus haut : cest le cas par exemple lorsquon

est la d eriv ee, au sens des fonctions de la variable r elle

f(z) dz = 0 pour toute fonction holomorphe

= f. Donc f est aussi holomorphe dans D (puisquune fonction

(z) est un entier relatif. De plus, la fonction Ind

est constante sur chaque

(z) est un entier si et seulement si (b) = 1. Par d erivation, on a

(z) = 0, on en d eduit que Ind

< r. On en d eduit que

), et en particulier holomorphe au point z

/g est holomorphe au voisinage de z

/f dans le disque ouvert D de bord . De plus,

(0) = 0. Or, par

la primitive qui sannule en 1. Pour z

, il existe un unique ] , + [ tel que

(z) = ln([z[) + i pour z = [z[ e

(x) = ln(x) , et donc e

et z z etant holomorphes dans

ainsi construite est une fonction r eciproque de exp dans

2 !). Par cons equent,

(0) = , o` u est la constante dEuler :

ne sannule pas sur ,

nest pas identiquement nulle (sinon f serait constante, et donc

(z) ,= 0 pour 0 < [ z z

avec simplement connexe, alors pour tout chemin ferm e z

et ` a support dans [R, R] telle que

f() = F() pour tout R.

puisquanalytique. On admettra que cela implique que

](s) tend vers 0 lorsque Res +.

est int egrable par hypoth` ese. On en d eduit :

(x) (la fonction R F( + 2 i ) est

par d enition. Or la convergence dans L

k. Appliquons ce r esultat ` a h(t) = 1

Vous aimerez peut-être aussi