You are on page 1of 93

Analyse complexe

Notes de cours
Andre Giroux
Departement de mathematiques et statistique
Universite de Montreal
Juin 2004
Table des mati`eres
1 INTRODUCTION 3
2 LES NOMBRES COMPLEXES 4
2.1 Proprietes algebriques . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Proprietes topologiques . . . . . . . . . . . . . . . . . . . . . 8
2.3 Linni en analyse complexe . . . . . . . . . . . . . . . . . . . 13
2.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3 LES FONCTIONS COMPLEXES 17
3.1 Fonctions continues . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2 Polynomes et fonctions rationnelles . . . . . . . . . . . . . . . 20
3.3 La fonction exponentielle . . . . . . . . . . . . . . . . . . . . 23
3.4 Application aux series de Fourier . . . . . . . . . . . . . . . . 26
3.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
4 FONCTIONS HOLOMORPHES 29
4.1 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5 LE CALCUL INT

EGRAL 34
5.1 Proprietes des courbes . . . . . . . . . . . . . . . . . . . . . . 34
5.2 Integrales curvilignes . . . . . . . . . . . . . . . . . . . . . . . 37
5.3 Les theor`emes de Cauchy . . . . . . . . . . . . . . . . . . . . 39
5.4 Le logarithme . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
6 PROPRI

ET

ES ANALYTIQUES DES FONCTIONS HO-


LOMORPHES 49
6.1 Lanalycite . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6.2 La propriete des zeros isoles . . . . . . . . . . . . . . . . . . . 51
6.3 La propriete du module maximum . . . . . . . . . . . . . . . 52
6.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7 LE CALCUL DES R

ESIDUS 55
7.1 Singularites isolees . . . . . . . . . . . . . . . . . . . . . . . . 55
7.2 Residus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
7.3 La propriete de lapplication ouverte . . . . . . . . . . . . . . 60
7.4 Application aux transformees de Fourier . . . . . . . . . . . . 63
7.5 Application au calcul dintegrales diverses . . . . . . . . . . . 65
7.6 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
1
8 PROPRI

ET

ES G

EOM

ETRIQUES DES FONCTIONS HO-


LOMORPHES 73
8.1 Transformations conformes . . . . . . . . . . . . . . . . . . . 73
8.2 Les transformations homographiques . . . . . . . . . . . . . . 75
8.3 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
9 FONCTIONS HARMONIQUES 81
9.1 Lequation de Laplace . . . . . . . . . . . . . . . . . . . . . . 81
9.2 Proprietes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
9.3 Application aux EDP . . . . . . . . . . . . . . . . . . . . . . 84
9.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Table des gures
1 Les racines 7
i`eme
de lunite . . . . . . . . . . . . . . . . . . . . 7
2 w = z
2
, les hyperboles . . . . . . . . . . . . . . . . . . . . . . 20
3 w = z
2
, les paraboles . . . . . . . . . . . . . . . . . . . . . . . 21
4 Le sens de parcours positif . . . . . . . . . . . . . . . . . . . . 36
5 Le theor`eme de Cauchy . . . . . . . . . . . . . . . . . . . . . 39
6 La formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . 41
7 Le theor`eme de Laurent . . . . . . . . . . . . . . . . . . . . . 55
8 Une transformee de Fourier . . . . . . . . . . . . . . . . . . . 64
9 Une transformee de Fourier . . . . . . . . . . . . . . . . . . . 64
10 Un calcul dintegrale . . . . . . . . . . . . . . . . . . . . . . . 66
11 Un calcul dintegrale . . . . . . . . . . . . . . . . . . . . . . . 67
12 Un calcul dintegrale . . . . . . . . . . . . . . . . . . . . . . . 68
13 Angle entre deux courbes . . . . . . . . . . . . . . . . . . . . 73
14 Une transformation homographique . . . . . . . . . . . . . . . 76
15 Le noyau de Poisson . . . . . . . . . . . . . . . . . . . . . . . 86
16 Un probl`eme de Dirichlet . . . . . . . . . . . . . . . . . . . . 88
2
1 INTRODUCTION
Lanalyse est letude approfondie du calcul dierentiel et integral. Ce
cours porte sur le calcul dierentiel et integral des fonctions complexes
dune variable complexe. Il sagit dun premier cours sur le sujet o` u les
proprietes des nombres complexes et lextension aux variables complexes des
fonctions elementaires dune variable reelle sont tout dabord presentees. On
developpe ensuite leur calcul dierentiel et integral et on etudie les proprietes
supplementaires de ces fonctions qui en decoulent. Quelques applications aux
series et aux integrales de Fourier sont enn exposees.
Letudiant est repute etre familier avec le calcul dierentiel et integral
des fonctions dune variable reelle et bien connatre les proprietes des fonc-
tions elementaires (polynomes et fonctions rationnelles, exponentielle et lo-
garithme, fonctions trigonometriques directes et inverses).
Le cours contient des demonstrations rigoureuses et compl`etes de tous
ses theor`emes et letudiant serieux devrait fournir des solutions de meme
calibre aux exercices proposes `a la n de chaque chapitre.
3
2 LES NOMBRES COMPLEXES
Lensemble N = 1, 2, 3, . . . des entiers naturels est ferme sous laddition
m + n et la multiplication mn mais pour pouvoir resoudre pour x toute
equation du type
x + m = n , m, n N,
il faut passer aux entiers relatifs Z = 0, 1, 2, . . .. Et pour etre capable
de resoudre pour x toute equation de la forme
p x + q = 0 , p, q Z,
il faut aller aux nombres rationnels Q = p/q [ p, q Z, q ,= 0. Ce dernier
syst`eme est ferme sous les quatre operations de larithmetique mais on ne
peut y resoudre pour x toute equation du type
x
2
= a , a Q.
Les nombres reels R permettent de resoudre certaines de ces equations mais
pas toutes. Ils forment un syst`eme ferme sous les quatre operations qui est
de plus complet au sens o` u toute suite x
n

nN
qui satisfait la condition de
Cauchy
lim
m,n+
[x
m
x
n
[ = 0
y est convergente mais on ne peut par exemple y obtenir une solution de
lequation
x
2
+ 1 = 0.
Il faut pour cela construire les nombres complexes C.
2.1 Proprietes algebriques
Si (x, y), (u, v) R
2
, soient
(x, y) + (u, v) = (x + u, y + v)
et
(x, y) (u, v) = (xu yv, xv + yu).
Ces operations creent un corps commutatif, le corps C des nombres com-
plexes ; (0, 0) est lelement neutre pour laddition, (1, 0) est lelement neutre
pour la multiplication et linverse multiplicatif de (x, y) ,= (0, 0) est
_
x
x
2
+ y
2
,
y
x
2
+ y
2
_
.
4
En identiant (x, 0) R
2
avec x R et en posant i = (0, 1),
C = z [ z = x + i y avec x, y R et i
2
= 1.
On calcule donc avec les nombres complexes comme avec les nombres reels
en remplacant partout i
2
par 1.
Exemple. Si n N
0
, on a
1 + i + i
2
+ i
3
+ + i
n
=
1 i
n+1
1 i
de telle sorte que
1 + i + i
2
+ i
3
+ + i
n
=
_

_
1 si n = 0 mod 4,
1 + i si n = 1 mod 4,
i si n = 2 mod 4,
0 si n = 3 mod 4.
Le nombre reel x est la partie reelle de z, le nombre reel y sa partie
imaginaire,
x = 'z , y = z,
le nombre complexe
z = x i y
est le conjugue de z et le nombre positif
[z[ =
_
x
2
+ y
2
est son module. On remarque que
1
z
=
z
[z[
2
.
Exemple. Si a ,= 0, b et c sont reels, lequation quadratique
az
2
+ bz + c = 0
admet toujours deux racines :
z =
_

_
b

b
2
4ac
2a
si b
2
4ac > 0,
b/2a si b
2
4ac = 0,
b i

4ac b
2
2a
si b
2
4ac < 0
5
(la racine est de multiplicite deux dans le deuxi`eme cas). On remarque que
dans le troisi`eme cas, les racines sont des nombres complexes conjugues.
Exemple. La droite dequation ax + by = c dans le plan correspond `a
lensemble des nombres complexes qui satisfont la relation
a + b
2
z +
a b
2
z = c,
le cercle x
2
+ y
2
= r
2
correspond aux nombres complexes tels que
[z[ = r
et la parabole y = x
2
`a ceux qui sont lies par
z
2
+ 2zz + z
2
+ 2i z 2i z = 0.
Les nombres complexes, etant des points du plan, admettent une forme
polaire. Si z ,= 0, on peut ecrire
z = r(cos + i sin)
o` u le nombre r = [z[ =
_
x
2
+ y
2
est le module de z et langle
= arg z =
_

_
arctan
y
x
+ si x < 0 , y 0,

2
si x = 0 , y > 0,
arctan
y
x
si x > 0 ,

2
si x = 0 , y < 0,
arctan
y
x
si x < 0 , y < 0,
est son argument. Donc, par denition,
< arg z .
Les formules daddition pour les fonctions trigonometriques montrent que
lon a
z
1
z
2
= r
1
r
2
(cos(
1
+
2
) + i sin(
1
+
2
))
donc que
[z
1
z
2
[ = [z
1
[[z
2
[
6
et que
arg(z
1
z
2
) = arg z
1
+ arg z
2
mod 2.
En raisonnant par recurrence sur n N, on obtient la formule de de Moivre :
(cos + i sin)
n
= cos n + i sinn.
Exemple. Quelques soient a C et n N, lequation z
n
= a admet n
racines. Si a ,= 0, elles sont toutes distinctes :
z
k
= [a[
1/n
_
cos
_
arg a
n
+
2k
n
_
+ i sin
_
arg a
n
+
2k
n
__
o` u k = 0, 1, 2, . . . , n 1. Lorsque a = 1, le nombre

n
= cos
2
n
+ i sin
2
n
est la racine primitive n
i`eme
de lunite :
z
n
1 = (z 1)(z
n
)(z
2
n
) (z
n1
n
).

7
1
Fig. 1 Les racines 7
i`eme
de lunite
7
2.2 Proprietes topologiques
La distance entre z
1
et z
2
est
[z
1
z
2
[.
On a, quelques soient z
1
, z
2
et z
3
,
[z
1
z
2
[ [z
1
z
3
[ +[z
3
z
2
[.
Une suite z
n

nN
de nombres complexes converge vers un nombre complexe
z si
lim
n+
[z
n
z[ = 0.
En vertu des inegalites
sup['z[, [z[ [z[ ['z[ +[z[,
on a
lim
n+
z
n
= z si et seulement si lim
n+
'z
n
= 'z et lim
n+
z
n
= z.
En consequence, les r`egles de calcul concernant la limite dune somme, dune
dierence, dun produit ou dun quotient restent valables. De plus, le crit`ere
de Cauchy suivant lequel la suite z
n

nN
admet une limite si et seulement
si
lim
m,n+
[z
m
z
n
[ = 0
est encore vrai.
Exemple. Lorsque z
n
z, [z
n
[ [z[ mais il nest pas s ur que arg z
n

arg z car largument dun nombre complexe nest pas une fonction continue
de ce nombre il y a discontinuite tout le long de laxe reel negatif. Ainsi
1 i/n 1 mais arg(1 i/n) = arctan1/n alors que
arg(1) = .
Il suit du crit`ere de Cauchy quune condition susante pour la conver-
gence dune serie de nombres complexes
+

k=0
c
k
8
est sa convergence absolue (en module) :
+

k=0
[c
k
[ < +.
Dans le theor`eme suivant,
D(z
0
, r) = z [ [z z
0
[ < r
et
D(z
0
, r) = z [ [z z
0
[ r.
Theor`eme 1 Donnee une serie enti`ere `a coecients complexes a
k
,
+

k=0
a
k
z
k
,
posons
R =
1
limsup
k
[a
k
[
1/k
(donc 0 R +). Alors la serie converge absolument dans le disque
D(0, R), de facon uniforme sur tout disque D(0, r) tel que r < R, et elle
diverge si [z[ > R.
Demonstration. Si R = 0, la serie diverge pour tout z ,= 0. En eet, quel
que soit z ,= 0, il y a un nombre inni dindices k pour lesquels
[a
k
[
1/k
>
1
[z[
et la serie
+

k=0
a
k
z
k
ne peut converger puisque que son terme general ne tend pas vers 0.
Si 0 < R < +, soient 0 < r < R arbitraire et [z[ r. Pour tout k
susamment grand, on a
[a
k
[
1/k
<
2
R + r
donc
[a
k
z
k
[ <
_
2r
R + r
_
k
9
et la serie, eventuellement majoree par une serie geometrique de raison
inferieure `a 1, est absolument et uniformement convergente. Si [z[ > R par
contre, il y a un nombre inni dindices k pour lesquels
[a
k
[
1/k
>
1
[z[
et la serie diverge pour la meme raison que precedemment.
Si R = + enn, le raisonnement sur la convergence du paragraphe
precedent sapplique quelques soient les nombres R > r > 0 et la serie
converge pour tout z C. C.Q.F.D.
Exemple. La serie geometrique converge si et seulement si le module de
sa raison est strictement inferieur `a 1 :
+

k=0
z
k
=
1
1 z
si et seulement si [z[ < 1.
En y separant le reel de limaginaire, on en tire les relations
+

k=0
r
k
cos k =
1 r cos
1 2r cos + r
2
et
+

k=1
r
k
sink =
r sin
1 2r cos + r
2
.
Un ensemble E C est ferme si la limite de toute suite convergente
z
n

nN
de points de E est dans E.
Exemples. Un disque D(a, R) est ferme. Un demi-plan
z [ az + az 0
est ferme. Toute intersection, toute reunion nie densembles fermes sont
des ensembles fermes.
Un ensemble E C est ouvert si son complementaire E
c
= C E est
ferme.
10
Theor`eme 2 Soit E C. Alors E est ouvert si et seulement si `a chaque
z
0
E correspond r > 0 tel que D(z
0
, r) E.
Demonstration.
La condition est necessaire. Si elle netait pas satisfaite, on pourrait
trouver z
0
E tel que chaque disque D(z
0
, 1/n) contienne un point z
n
E
c
.
Ces points convergeraient vers z
0
et, comme E
c
est ferme, on aurait z
0
E
c
ce qui est absurde.
La condition est susante. Si z
n

nN
est une suite de points de E
c
qui
converge vers un point z, il faut que z E
c
sil etait dans E, un petit
disque centre en z ne contiendrait que des points de E et la suite donnee ne
saurait y converger. C.Q.F.D.
Exemples. Un disque D(a, R) est ouvert. Un demi-plan
z [ az + az > 0
est ouvert. Toute reunion, toute intersection nie densembles ouverts sont
des ensembles ouverts.
Un ensemble E C est borne sil existe R > 0 tel que E D(0, R).
Un ensemble E C est compact sil est `a la fois ferme et borne.
Exemples. Les ensembles
z [ ['z[ +[z[ 1
et
z [ sup['z[, [z[ 1
sont compacts.
Theor`eme 3 (Bolzano-Weierstrass) Soit E C. Alors E est compact
si et seulement si toute suite z
n

nN
de points de E contient une suite
partielle z
n
k

kN
qui converge vers un point de E.
Demonstration.
La condition est necessaire. Comme E est borne, toute suite z
n

nN
de points de E contient une suite partielle z
n
k

kN
convergente car, de
la suite donnee, on peut extraire une suite partielle dont les parties reelles
convergent et, de cette suite partielle, une autre dont les parties imaginaires
convergent aussi. Comme E est ferme, lim
k+
z
n
k
E.
11
La condition est susante. E est ferme puisque si
z = lim
n+
z
n
,
toute les suites partielles possibles de la suite z
n

nN
convergent vers z qui
doit donc appartenir `a E. E est borne. Sil ne letait pas, on pourrait trouver
des points z
n
E tels que
[z
n+1
[ > [z
n
[ + 1
et, toute suite convergente etant bornee, cette suite nadmettrait aucune
suite partielle convergente, contrairement `a lhypoth`ese. C.Q.F.D.
Theor`eme 4 (Heine-Borel-Lebesgue) Soit E C. Alors E est com-
pact si et seulement si tout recouvrement de E par des ensembles ouverts
O

A
contient un sous-recouvrement ni.
Demonstration.
La condition est necessaire. Considerons dabord le cas du carre E =
[r, r] [r, r] de cote 2r . Sil existait une famille densembles ouverts
O

A
recouvrant E mais dont aucune sous-famille nie ne recouvre E,
lun des quatre carres de cote r, [r, 0] [r, 0], [r, 0] [0, r], [0, r] [r, 0]
et [0, r] [0, r] ne pourrait pas etre recouvert par une sous-famille nie.
De ce carre, on pourrait extraire un carre de cote r/2 qui ne pourrait pas
lui non plus etre recouvert par une sous-famille nie. Ainsi de suite. On
obtiendrait de cette facon une suite de carres embotes E
n
, le n
i`eme
de cote
r/2
n
, qui ne pourraient jamais etre recouverts par une sous-famille nie.
Lintersection de tous ces carres se reduirait `a un point z E. Il existerait
donc un ouvert O
z
de la famille contenant z donc contenant tous les carres
E
n
pour n assez grand, en contradiction avec leur denition. Dans le cas
general, soit r tel que E [r, r] [r, r]. Alors les ouverts O

A
et E
c
recouvrent [r, r] [r, r]. Il existe donc un sous-recouvrement ni
de [r, r] [r, r] et les ensembles O

qui en font partie constituent bien


evidemment un recouvrement ni de E.
La condition est susante. E est ferme car si une suite z
n

nN
de
points de E convergeait vers z / E, les complementaires des ensembles
D(z, 1/n)
nN
constitueraient un recouvrement de E par des ouverts dont
on ne pourrait extraire aucun sous-recouvrement ni. E est borne car sil
ne letait pas, les ensembles D(0, n)
nN
constitueraient un recouvrement
12
de E par des ouverts dont on ne pourrait extraire aucun sous-recouvrement
ni. C.Q.F.D.
Un ensemble E C est connexe sil nest pas possible de lecrire sous
la forme
E = EO
1
+ EO
2
avec O
1
et O
2
ouverts tels que EO
1
,= et EO
2
,= (+ designe une reunion
disjointe). Un domaine D est un ensemble ouvert connexe.
Exemples. Un segment
[z
1
, z
2
] = z [ z = (1 )z
1
+ z
2
, 0 1
est connexe. Le lemniscate [z
2
1[ r est disconnexe si 0 r < 1 et connexe
si r 1. Le disque unite D(0, 1) est un domaine borne, le demi-plan droit
'z > 0 est un domaine non borne.
2.3 Linni en analyse complexe
Le plan acheve C sobtient du plan complexe C par adjonction dun
point `a linni :
C = C +.
Par denition,
z
n
si et seulement si [z
n
[ +.
Ainsi
z
n
si et seulement si
1
z
n
0,
z
n
et w
n
a impliquent z
n
+ w
n

et
z
n
et w
n
a ,= 0 impliquent z
n
w
n
.
Toute suite de points de C contient donc une suite partielle convergeant
vers un point de C .
Le plan acheve C admet pour representation geometrique une sph`ere
(la sph`ere de Riemann) via la projection stereographique. Si
S
2
= (, , ) [
2
+
2
+
2
= 1,
13
cette projection S
2
C est denie par les relations
'z =

1
et z =

1
si ,= 1, le pole nord (0, 0, 1) quant `a lui correspondant au point `a
linni lorsque ,= 1, ces relations expriment simplement que les
points (0, 0, 1), (, , ) et z C sont alignes. La transformation reciproque
C S
2
est donne par
=
2'z
[z[
2
+ 1
, =
2z
[z[
2
+ 1
et =
[z[
2
1
[z[
2
+ 1
et lon a
_

2
+
2
+ ( 1)
2
=
2
_
[z[
2
+ 1
.
Lintersection dun plan P
a + b + c = d
avec S
2
est un cercle dans lespace qui correspond dans le plan complexe
(z = x + i y) `a lensemble Q
(c d)(x
2
+ y
2
) + 2ax + 2by = c + d.
Lorsque c = d, le cercle est passe par le pole nord et Q est la droite
ax + by = c.
Lorsque c ,= d, Q est le cercle
_
x +
a
c d
_
2
+
_
y +
b
c d
_
2
=
a
2
+ b
2
+ c
2
d
2
(c d)
2
la condition pour que le plan P coupe S
2
est precisement que
[d[ <
_
a
2
+ b
2
+ c
2
.
2.4 Exercices
1. Expliquer pourquoi il est impossible de denir sur C une relation
dordre compatible avec les operations algebriques.
2. Determiner '(1 + i)
2k+1
et (1 + i)
2k+1
.
14
3. Montrer que les racines non reelles dune equation polynomiale `a coef-
cients reels se presentent par paires de nombres complexes conjugues.
4. Si z > 0, montrer que

z
1 + z
2
> 0 si et seulement si [z[ < 1.
5. Montrer que les nombres z
1
, z
2
et z
3
sont alignes si et seulement si

_
z
3
z
1
z
3
z
2
_
= 0.
6. Decrire les courbes suivantes :
[z[ = arg z
[1 + z[ = [1 z[
[1 + z[ = 2[1 z[.
7. Demontrer lidentite
[z
1
z
2
[
2
+[z
1
+ z
2
[
2
= 2([z
1
[
2
+[z
2
[
2
).
En donner une interpretation geometrique.
8. Soit z ,= 1 un nombre complexe de module unite. Determiner largu-
ment de
z 1
z + 1
.
9. Montrer que cos n peut sexprimer comme un polynome en cos ,
cos n = T
n
(cos ),
o` u T
n
est un polynome de degre n le n
i`eme
polynome de Tcheby-
chev de premi`ere esp`ece. Calculer T
0
, T
1
et T
2
.

Etablir la relation de
recurrence suivante :
T
n+2
(x) = 2xT
n+1
(x) T
n
(x).
10. Resoudre les equations (z 1)
3
1 = 0, z
4
+ 2 = 0 et z
5
1 = i.
11. Resoudre lequation (1 +z)
5
= (1 z)
5
.
12. Soient
n
la racine primitive n
i`eme
de lunite et k N. Calculer
1 +
k
n
+
2k
n
+ +
(n1)k
n
et
1
k
n
+
2k
n
+ + (1)
n1

(n1)k
n
.
15
13. Calculer les limites suivantes :
lim
n+
ni
n
n + 1
, lim
n+
n
_
1 + i
2
_
n
.
14. Calculer
'
_
+

k=n
(i y)
k
_
, [y[ < 1.
15. Determiner ceux des ensembles suivants qui sont des ensembles ou-
verts, fermes, bornes, connexes.
z [ [z 1[ < [z + 1[
z [ [z a[ +[z + a[ < 2r , (0 a < r)
z [ [z a[ 1
z [ z
7
= 1.
16. Montrer que, dans la projection stereographique, lhemisph`ere inferieur
est appliquee sur le disque D(0, 1).
17. Dans la projection stereographique, quelle relation y a-t-il entre les
images de points antipodaux ?
16
3 LES FONCTIONS COMPLEXES
Les proprietes des fonctions continues de C vers C sont analogues `a celles
des fonctions continues de R vers R. La plupart de ces derni`eres admettent
dailleurs une extension simple `a des fonctions de C vers C.
3.1 Fonctions continues
Soient E C un ensemble, z
0
E un de ses points et f : E C une
fonction. Les enonces suivants sont alors equivalents :
1. Pour toute suite z
n

nN
de points de E,
lim
n+
z
n
= z
0
implique lim
n+
f(z
n
) = f(z
0
).
2.
`
A chaque > 0 correspond > 0 tels que
z E et [z z
0
[ < impliquent [f(z) f(z
0
)[ < .
Lorsquils sont satisfaits, la fonction f est dite continue en z
0
. Elle est conti-
nue sur E si elle est continue en chaque point z
0
E. Une fonction complexe
est donc continue si et seulement si sa partie reelle et sa partie imaginaire le
sont toutes les deux. Ainsi, sommes, dierences, produits, quotients et com-
positions de fonctions continues (lorsquelles sont denies) sont continues.
De meme, toute limite uniforme de fonctions continues est continue.
Dans la denition precedente, le nombre depend `a la fois de z
0
et
de . Sil peut etre choisi independamment de z
0
E, on dit que f est
uniformement continue sur E.
Theor`eme 5 Une fonction continue sur un ensemble compact y est uni-
formement continue.
Demonstration. Soient E C un ensemble compact et f : E C une
fonction continue. Si elle netait pas uniformement continue, il existerait
> 0 tel que, quel que soit > 0, on puisse trouver z
1/
, w
1/
E tels que
[z
1/
w
1/
[ < et [f(z
1/
) f(w
/
)[ .
En choisissant successivement = 1, 1/2, 1/3, . . . on pourrait trouver deux
suites de points z
n

nN
et w
n

nN
de E tels que
[z
n
w
n
[ <
1
n
et [f(z
n
) f(w
n
)[ .
17
En extrayant si necessaire des suites partielles, on obtiendrait deux suites
z
n
k

kN
et w
n
k

kN
convergeant vers un meme point z E bien que
[f(z
n
k
) f(w
n
k
)[ ,
en contradiction avec la continuite de f en z. C.Q.F.D.
Theor`eme 6 Limage dun ensemble compact par une fonction continue est
un ensemble compact.
Demonstration. Soient E C un ensemble compact et f : E C une
fonction continue. Si w
n

nN
est une suite de points de f(E) et z
n
E est
un point tel que f(z
n
) = w
n
, la suite z
n

nN
admettra une suite partielle
convergeant vers un point z E, donc la suite w
n

nN
admettra une suite
partielle convergeant vers un point w = f(z) f(E). C.Q.F.D.
Remarque. Il suit de ce theor`eme que sur un ensemble compact, le mo-
dule, la partie reelle et la partie imaginaire dune fonction continue at-
teignent une valeur minimum et une valeur maximum.
Theor`eme 7 Limage dun domaine par une fonction continue est un en-
semble connexe.
Demonstration. Soient D C un domaine et f : D C une fonction
continue. Sil existe deux ouverts O
1
et
2
tels que
f(D) = f(D)O
1
+ f(D)O
2
avec f(D)O
1
,= et f(D)O
2
,= , on aura
D = Df
1
(O
1
) + Df
1
(O
2
)
avec Df
1
(O
1
) ,= et Df
1
(O
2
) ,= . Puisque les ensembles f
1
(O
1
) et
f
1
(O
2
) sont ouverts, D ne peut pas etre connexe, en contradiction avec
lhypoth`ese. C.Q.F.D.
Remarque. Limage dun domaine par une fonction continue nest pas
necessairement un ensemble ouvert il sut de penser `a une fonction
constante.
18
Un ensemble E C est connexe par arc si deux quelconques de ses
points, z
1
et z
2
peuvent etre joints par une courbe continue enti`erement
contenue dans E : il existe une fonction continue : [0, 1] E telle que
(0) = z
1
et (1) = z
2
. Une telle courbe etant connexe, tout ensemble
connexe par arc est connexe.
Theor`eme 8 Tout domaine est connexe par arc.
Demonstration.
Soient D un domaine et z
1
D un quelconque de ses points. Lensemble
O
1
des point de D qui peuvent etre joints `a z
1
par une courbe continue est
ouvert. Lensemble O
2
des point de D qui ne peuvent pas etre joints `a z
1
par une courbe continue est aussi ouvert. Comme O
1
nest pas vide, O
2
doit
letre. C.Q.F.D.
Remarque. La demonstration precedente montre en fait que deux points
quelconques z
1
et z
2
dun domaine D peuvent etre joints par une courbe
lineaire par morceaux, cest-`a-dire par une courbe continue : [0, 1] E
telle quil existe n 0 et
0 = t
0
< t
1
< t
2
< . . . < t
n+1
= 1
tels que la restriction /[t
k
, t
k+1
] de au sous-intervalle [t
k
, t
k+1
] est lineaire
(t) = a
k
t + b
k
.
Le domaine D est convexe si lon peut prendre n = 0 quels que soient z
1
et z
2
.
Meme si lon ne peut tracer le graphe dune fonction f : D C continue,
on peut visualiser la fonction en tracant les images de familles de courbes
appropriees sous la transformation w = f(z).
Exemple. Considerons la transformation w = z
2
( z = x + i y , w =
u + i v). On a
u = x
2
y
2
et v = 2xy.
Les images inverses des courbes u = cste et v = cste sont les hyperboles
x
2
y
2
= u et xy =
v
2
19
Fig. 2 w = z
2
, les hyperboles
respectivement. Alternativement, les images directes des courbes x = cste
et y = cste sont les paraboles
u = x
2

v
2
4x
2
et u =
v
2
4y
2
y
2
respectivement.
3.2 Polynomes et fonctions rationnelles
Theor`eme 9 (dAlembert-Gauss) Quels que soient les nombres com-
plexes a
0
, a
1
, . . . , a
n
,= 0, une equation polynomiale de degre n,
a
0
+ a
1
z + + a
n
z
n
= 0,
admet exactement n racines complexes.
Demonstration. Il sut de montrer quelle en admet au moins une. Po-
sons
p(z) = a
0
+ a
1
z + + a
n
z
n
.
Puisque
lim
z
[p(z)[ = +,
20
Fig. 3 w = z
2
, les paraboles
il existe z
0
tel que
[p(z
0
)[ [p(z)[ pour tout z C.
Montrons que p(z
0
) = 0. Supposons le contraire. On a
p(z
0
+ z) = p(z
0
) + b
m
z
m
+ q(z)
avec m 1, b
m
,= 0 et
q(z) = b
m+1
z
m+1
+ + b
n
z
n
.
Soit (,= 0) tel que

m
=
p(z
0
)
b
m
et choisissons z = , 0 < 1. Alors
p(z
0
+ z) = p(z
0
)(1
m
) + q( )
donc
[p(z
0
+ z)[ [p(z
0
)[(1
m
) + A
m+1
o` u A > 0 est une constante independante de , ce qui entrane
[p(z
0
+ z)[ < [p(z
0
)[
pour > 0 est assez petit, contredisant le choix de z
0
. C.Q.F.D.
Le theor`eme precedent, souvent appele theor`eme fondamental de
lalg`ebre, exprime que le corps des nombres complexes est algebriquement
21
clos. Dans son enonce, les racines y sont bien entendu comptees avec leur
mutiplicite, cest-`a-dire que lon a
a
0
+ a
1
z + + a
n
z
n
= a
n
(z z
1
)
n
1
(z z
2
)
n
2
(z z
k
)
n
k
avec n
1
+n
2
+ +n
k
= n. Lorsque les coecients a
k
sont reels, les racines
de lequation
a
0
+ a
1
z + + a
n
z
n
= 0
qui ne sont pas reelles se presentent par paires de nombres complexes conjugues
et la factorisation peut se mettre sous la forme
a
0
+ a
1
z + + a
n
z
n
= a
n
J

j=1
(z x
j
)
n
j
K

k=1
(z
2
2x
k
z + x
2
k
+ y
2
k
)
m
k
avec n
1
+ + n
J
+ 2m
1
+ + 2m
K
= n. En particulier, lorsque n est
impair, il y a au moins une racine reelle.
Soit
R(z) =
a
0
+ a
1
z + + a
n
z
n
b
0
+ b
1
z + + b
d
z
d
=
a
n
(z z
1
)
n
1
(z z
2
)
n
2
(z z
k
)
n
k
b
d
(z
1
)
d
1
(z
2
)
d
2
(z
j
)
d
j
une fonction rationnelle dont le numerateur est un polynome p
n
de degre n
et le denominateur est un polynome q
d
de degre d, les deux polynomes etant
sans facteur commun. On convient de considerer R comme une fonction de
C vers C en posant
R(
m
) = , 1 m j
et
R() =
_

_
si n > d,
a
n
b
d
si n = d
0 si n < d.
Alors, quel que soit w C, lequation
R(z) = w
admet exactement supn, d racines dans C (en tenant compte comme tou-
jours des multiplicites). Les points o` u R = 0 sont les zeros de R, ceux o` u
R = sont ses poles et lentier supn, d est le degre de R. La fonction
R : C C applique donc le plan acheve sur lui meme supn, d fois et de
facon continue.
22
Exemple. Lorsque supn, d = 1, il ny a que trois possibilites.
n = 1, d = 0 : car
R(z) =
a
1
z + a
0
b
0
;
n = 0, d = 1 : 0 et b
0
/b
1
car
R(z) =
a
0
b
1
z + b
0
;
n = d = 1 : a
1
/b
1
et b
0
/b
1
car
R(z) =
a
1
z + a
0
b
1
z + b
0
o` u a
1
b
0
a
0
b
1
,= 0.
3.3 La fonction exponentielle
Les fonctions e
z
, cos z, sinz, coshz et sinhz sont prolongees au plan com-
plexe `a laide de leur serie de Taylor `a lorigine. Par denition,
e
z
=
+

k=0
z
k
k!
, z C,
cos z =
+

k=0
(1)
k
z
2k
(2k)!
, z C,
sinz =
+

k=0
(1)
k
z
2k+1
(2k + 1)!
, z C,
coshz =
+

k=0
z
2k
(2k)!
, z C,
sinhz =
+

k=0
z
2k+1
(2k + 1)!
, z C.
Ces fonctions sont donc liees par les relations
cos z =
e
i z
+ e
i z
2
= coshi z , z C
23
et
sinz =
e
i z
e
i z
2i
=
1
i
sinhi z , z C.
On a ainsi
e
i z
= cos z + i sinz , z C
et, en particulier, la formule dEuler,
e
i
= cos + i sin , R,
ce qui permet decrire un nombre complexe sous forme polaire comme
z = re
i
= [z[e
i arg z
.
Theor`eme 10 Quels que soient z
1
, z
2
C,
e
z
1
+z
2
= e
z
1
e
z
2
.
Demonstration. Quelque soit n N, on
n

k=0
1
k!
(z
1
+ z
2
)
k
=
n

k=0

p+q=k
1
p! q!
z
p
1
z
q
2
=

p+qn
1
p! q!
z
p
1
z
q
2
=
n

p=0
1
p!
z
p
1
n

q=0
1
q!
z
q
2

n<p+q, p,qn
1
p! q!
z
p
1
z
q
2
.
Comme

n<p+q, p,qn
1
p! q!
z
p
1
z
q
2

n<p+q, p,qn
1
p!
1
q!
[z
1
[
p
[z
2
[
q

2n

k=n
([z
1
[ +[z
2
[)
k
k!
,
le resultat suit en laissant n + puisque, en vertu du crit`ere de Cauchy,
la derni`ere somme tend alors vers 0. C.Q.F.D.
On a donc
e
x+i y
= e
x
(cos y + i siny)
cest-`a-dire
'e
x+i y
= e
x
cos y , e
x+i y
= e
x
siny et [e
x+i y
[ = e
x
.
24
Les images directes des courbes x = cste et y = cste sous la transformation
w = e
z
sont des cercles centres `a lorigine et des rayons issus de lorigine
respectivement. On remarque que lon a encore e
z
,= 0 quel que soit z C.
Si a > 0 et z C, par denition,
a
z
= e
z ln a
.
Ce prolongement aux exposants complexes de la fonction x e
x
preserve
les trois r`egles fondamentales des exposants : quels que soient a
1
, a
2
> 0 et
z, z
1
, z
2
C,
(a
1
a
2
)
z
= a
1
z
a
2
z
a
z
1
+z
2
= a
z
1
a
z
2
a
z
1
z
2
= (a
z
1
)
z
2
.
Theor`eme 11 On a
e
z
= lim
n+
_
1 +
z
n
_
n
,
la convergence etant uniforme sur tout disque D(0, R).
Demonstration. En vertu du theor`eme du binome, on a
_
1 +
z
n
_
n
= 1 +z +
n

k=2
_
1
1
n
__
1
2
n
_

_
1
k 1
n
_
z
k
k!
.
Dautre part, pour tout 2 k n, on a, par recurrence sur k,
_
1
1
n
__
1
2
n
_

_
1
k 1
n
_
1
1 + 2 + + (k 1)
n
.
On en tire

k=0
z
k
k!

_
1 +
z
n
_
n

k=2
_
1
_
1
1
n
__
1
2
n
_

_
1
k 1
n
__
z
k
k!

k=2
_
1
_
1
1
n
__
1
2
n
_

_
1
k 1
n
__
R
k
k!

k=2
1 + 2 + + (k 1)
n
R
k
k!
=
n

k=2
(k 1)k
2n
R
k
k!
=
R
2
2n
n2

j=0
R
j
j!
<
R
2
2n
e
R
.
C.Q.F.D.
25
3.4 Application aux series de Fourier
Soit f : ] , ] C une fonction continue et (a, b) ] , ]. Par
denition
_
b
a
f(t) dt =
_
b
a
'f(t) dt + i
_
b
a
f(t) dt.
Les proprietes de linearite et dadditivite de lintegrale reelle sont evidemment
preservees par cette denition. De plus,

_
b
a
f(t) dt

_
b
a
[f(t)[ dt.
Posons en eet
_
b
a
f(t) dt =

_
b
a
f(t) dt

e
i
.
Alors

_
b
a
f(t) dt

=
_
b
a
f(t) dt e
i
=
_
b
a
f(t)e
i
dt
=
_
b
a
'
_
f(t)e
i
_
dt
_
b
a
[f(t)[ dt.
On a
_
b
a
e
i nt
dt =
e
i nb
e
i na
in
et, en particulier,
1
2
_
+

e
i nt
dt =
_
1 si n = 0,
0 si n ,= 0 , n Z.
Cette relation est la version complexe des proprietes dorthogonalite des
fonctions trigonometriques cos nt et sinnt.
La serie de Fourier de la fonction f peut secrire
+

k=
c
k
(f) e
i kt
o` u les coecients de Fourier sont donnes par les formules
c
k
(f) =
1
2
_
+

f(t) e
i kt
dt
26
et il sagit detudier la convergence des sommes partielles
n

k=n
c
k
(f) e
i kt
vers la fonction f ces sommes seront reelles si et seulement si
c
k
(f) = c
k
(f)
cest-`a-dire si et seulement si f est reelle. Le calcul du noyau de Dirichlet et
celui du noyau de Fejer sont particuli`erement simples si lon utilise les expo-
nentielles complexes plutot que les fonctions trigonometriques et lidentite
de Parseval devient
+

[c
k
(f)[
2
=
1
2
_
+

[f(t)[
2
dt.
3.5 Exercices
1. Montrer que la distance
d(E, F) = inf[z w[ [ z E, w F,
entre un ensemble compact E et un ensemble ferme F disjoints est
strictement positive.
2. Calculer u et v (z = x + i y , w = u + i v) si
w =
1
2
_
z +
1
z
_
.
Determiner limage du cercle unite par cette transformation.
3. Memes questions pour les transformations
w = z
3
w = (2z 1)/(2 z)
w = (1 +z)/(1 z).
4. Trouver toutes les solutions de lequation e
z
= a (a > 0).
5. Trouver toutes les solutions de lequation cos z = w (1 < w < 1).
6. Trouver toutes les solutions de lequation sinhz = i.
7. Si ae
is
+be
it
= ce
iu
(a, b, c > 0), exprimer c et u en terme de a, s, b et
t.
27
8. Deduire la formule
cos(z
1
+ z
2
) = cos z
1
cos z
2
sinz
1
sinz
2
de la relation
e
z
1
+z
2
= e
z
1
e
z
2
.
9. On consid`ere la transformation w = coshz. Verier que
u = coshxcos y et v = sinhxsiny.
En deduire une description geometrique.
10. Montrer que
[e
z
1[ e
|z|
1 [z[e
|z|
.
11. Soit
(z) =
+

k=1
1
k
z
, 'z > 1.
Verier que la serie converge uniformement dans tout demi-plan 'z
a > 1. En deduire que sa somme est une fonction continue dans le
demi-plan 'z > 1.
12.
`
A partir de la formule dEuler, obtenir les identites
1
2
+ cos t + cos 2t + + cos nt =
sin(2n + 1)t/2
2 sint/2
et
sint + sin3t + + sin(2n + 1)t =
sin
2
(n + 1)t
sint
.
13. Montrer quun polynome trigonometrique de degre n admet au plus
2n zeros dans tout intervalle semi-ouvert de longueur 2 (tel ] , ]).
28
4 FONCTIONS HOLOMORPHES
La derivation par rapport `a une variable complexe est formellement iden-
tique `a la derivation par rapport `a une variable reelle.
Soient E C un ensemble, z
0
E un de ses points et f : E z
0
C
une fonction. Les enonces suivants sont alors equivalents :
1. Pour toute suite z
n

nN
de points de E distincts de z
0
,
lim
n+
z
n
= z
0
implique lim
n+
f(z
n
) = L.
2.
`
A chaque > 0 correspond > 0 tels que
z E et 0 < [z z
0
[ < impliquent [f(z) L[ < .
Lorsquils sont satisfaits, on ecrit
lim
zz
0
f(z) = L.
Soient D C un domaine, z
0
D un de ses points et f : D C une
fonction. On dit que f est derivable en z
0
si
lim
zz
0
f(z) f(z
0
)
z z
0
existe. On pose alors
f

(z) =
df
dz
(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
.
La fonction est dite holomorphe dans D si elle est derivable en chaque
point de D. Une fonction est dite holomorphe en un point si elle est ho-
lomorphe dans un disque ouvert centre en ce point. Les r`egles du calcul
dierentiel concernant sommes, dierences, produits, quotients et compo-
sitions (lorsquelles sont denies) sont bien entendu encore valables et une
fonction derivable en un point y est necessairement continue.
Theor`eme 12 Soit
f(z) =
+

k=0
a
k
z
k
, [z[ < R.
29
Alors f est holomorphe dans le disque D(0, R) et
f

(z) =
+

k=1
ka
k
z
k1
, [z[ < R.
Demonstration. Le rayon de convergence de la serie derivee est le meme
que celui de la serie originelle. En particulier,
(r) =
+

k=2
(k 1)
2
[a
k
[r
k2
< +
pour tout r < R. Soient donc r < R et z, z
0
D(0, r). Alors, en vertu de
lidentite
A
k
B
k
= (AB)(A
k1
+ A
k2
B + A
k3
B
2
+ + B
k1
)
on a que
f(z) f(z
0
)
z z
0

k=1
ka
k
z
0
k1
=
+

k=2
a
k
_
z
k
z
0
k
z z
0
kz
0
k1
_
=
+

k=2
a
k
_
_
k1

p=0
z
k1p
z
p
0
kz
k1
0
_
_
=
+

k=2
a
k
_
_
k2

p=0
_
z
k1p
z
k1p
0
_
z
p
0
_
_
=
+

k=2
a
k
_
_
k2

p=0
(z z
0
)
_
_
k2p

q=0
z
k2pq
z
q
0
_
_
z
p
0
_
_
de telle sorte que

f(z) f(z
0
)
z z
0

k=1
ka
k
z
0
k1

[z z
0
[
+

k=2
[a
k
[
_
_
k2

p=0
_
_
k2p

q=0
r
k2
_
_
_
_
[z z
0
[ (r).
C.Q.F.D.
Remarque. On a en particulier
a
k
=
1
k!
f
(k)
(0)
(formule de Taylor pour les coecients dune serie enti`ere).
30
Soient D C un domaine, (x
0
, y
0
) D un de ses points et : D C
une fonction. Les derivees partielles de en (x
0
, y
0
), si elles existent, sont
les quantites denies par les relations

x
(x
0
, y
0
) = lim
xx
0
(x + x
0
, y
0
) (x
0
, y
0
)
x x
0
et

y
(x
0
, y
0
) = lim
yy
0
(x
0
, y + y
0
) (x
0
, y
0
)
y y
0
.
On derive la fonction par rapport `a lune des variables, lautre etant xee.
Les r`egles du calcul dierentiel sappliquent donc aussi au calcul des derivees
partielles.
Une fonction peut admettre des derivees partielles en un point sans meme
y etre continue, telle la fonction
(x, y) =
_
_
_
xy
x
2
+ y
2
si (x, y) ,= (0, 0),
0 sinon.
qui est discontinue en (0, 0) bien quelle y poss`ede des derivees partielles
nulles.
Cependant, si ses derivees partielles sont continues dans D, la fonction
est certainement continue dans D : en vertu du theor`eme des accroissements
nis en eet, on peut trouver
1
,
2
[0, 1] tels que
(x + x, y + y) (x, y)
= (x + x, y + y) (x + x, y) + (x + x, y) (x, y)
=

y
(x + x, y +
1
y)y +

x
(x +
2
x, y)x


x
(x, y) 0 +

x
(x, y) 0 = 0
lorsque
_
x
2
+ y
2
0.
Theor`eme 13 (Cauchy-Riemann) Soient D C un domaine f : D
C une fonction holomorphe. Alors ses parties reelles et imaginaires u et v
y admettent en tout point des derivees partielles qui satisfont les equations
de Cauchy-Riemann :
u
x
=
v
y
,
u
y
=
v
x
.
31
Demonstration. Puisque f = u+i v est holomorphe, en tout point z
0
D,
on a
f

(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
.
En choisissant z = z
0
+ x (x reel), on obtient
f

(z
0
) =
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
)
et en choisissant z = z
0
+ i y (y reel), on obtient
f

(z
0
) = i
_
u
y
(x
0
, y
0
) + i
v
y
(x
0
, y
0
)
_
cest-`a-dire
f

(z
0
) =
v
y
(x
0
, y
0
) i
u
y
(x
0
, y
0
).
C.Q.F.D.
Observons reciproquement que si la partie reelle u et la partie imaginaire
v dune fonction f : D C admettent des derivees partielles continues qui
satisfont les equations de Cauchy-Riemann
u
x
(x, y) = v
y
(x, y) , u
y
(x, y) = v
x
(x, y)
dans D, la fonction y est certainement holomorphe. En vertu du theor`eme
des accroissements nis en eet, il existe
1
,
2
,
3
,
4
[0, 1] tels que
f(z + z) f(z)
z
=
u(x + x, y + y) u(x, y) + i (v(x + x, y + y) v(x, y))
x + i y
=
u
y
(x + x, y +
1
y)y + u
x
(x +
2
x, y)x
x + i y
+i
u
x
(x + x, y +
3
y)y u
y
(x +
4
x, y)x
x + i y
32
=
(u
y
(x + x, y +
1
y) u
y
(x + x, y +
4
y))xy
x
2
+ y
2
+
u
x
(x +
2
x, y)x
2
+ u
x
(x + x, y +
3
y)y
2
x
2
+ y
2
+i
(u
x
(x + x, y +
2
y) + u
x
(x + x, y +
3
y))xy
x
2
+ y
2
+
u
y
(x +
1
x, y)x
2
u
y
(x + x, y +
4
y)y
2
x
2
+ y
2
u
x
(x, y) i u
y
(x, y)
lorsque
_
x
2
+ y
2
0.
4.1 Exercices
1. Le theor`eme des accroissements nis est-il valable pour les fonction
holomorphes ?
2. La fonction de Bessel de premi`ere esp`ece dindice 0 est denie par la
relation
J
0
(z) =
+

k=0
(1)
k
(z/2)
2k
k!
2
.
Determiner le rayon de convergence de la serie. Verier que J
0
est une
solution de lequation dierentielle
z
2
w

+ zw

+ z
2
w = 0.
3. Verier les equations de Cauchy-Riemann pour les fonctions suivantes :
w = z
3
w = (z + 1/z)/2
w = sinz.
4. Determiner les conditions sur les constantes reelles a, b, c et d qui
rendent la fonction f(z) = ax + by + i (cx + dy) holomorphe.
5. Un polygone regulier est inscrit dans le cercle unite et lun de ses
sommets est relie aux n 1 autres par des diagonales. Montrer que le
produit des longueurs de ces diagonales est n.
6. Montrer que les zeros de la derivee dun polynome sont situes dans
lenveloppe convexe des zeros du polynome (lensemble des combinai-
sons lineaires convexes de ces zeros)(theor`eme de Gauss-Lucas).
33
5 LE CALCUL INT

EGRAL
Le calcul integral des fonctions complexes est au coeur de leur theorie.
5.1 Proprietes des courbes
Une courbe dierentiable ( est denie par une fonction t z(t) dun
intervalle [a, b] R vers C admettant une derivee z

(t) = x

(t) + i y

(t)
continue et non nulle :
( = z [ z = z(t) , a t b.
On suppose de plus que z(t
1
) ,= z(t
2
) si a < t
1
< t
2
< b (courbe de Jordan)
et lorsque z(a) = z(b), on dit que la courbe est fermee. Une courbe fermee
partage le plan en deux domaines disjoints, un domaine borne, linterieur
de ( et un domaine non borne, son exterieur. La demonstration rigoureuse
de ce fait evident est trop compliquee pour etre presentee dans ce cours
(theor`eme de Jordan) consulter [3], page 267, `a ce propos. Nous suppo-
serons enn que la courbe ne coupe une droite quelconque quen un nombre
ni de points (eventuellement `a une exception pr`es les segments sont des
courbes admissibles !).
Exemple. Le cercle unite est une courbe fermee qui peut etre parametree
par
z = e
i t
, 0 t 2.
Son interieur est le disque D(0, 1).
Toute fonction s t dun intervalle [c, d] sur [a, b] admettant une derivee
continue et telle que t

(s) > 0 constitue un reparametrage admissible :


( = z [ z = z(t(s)) = z
1
(s) , c s d , t

(s) > 0.
Lorsque t

(s) < 0, on obtient une courbe denotee par ( :


( = z [ z = z(t(s)) = z
1
(s) , c s d , t

(s) < 0.
Exemples. Le cercle unite peut aussi etre parametre par
z = e
i 2s
, 0 s 1.
Il est alors parcouru `a la vitesse [z

1
(s)[ = 2[z

(t)[. Si
( = [z
1
, z
2
] = z [ z = (1 t)z
1
+ tz
2
, 0 t 1,
34
alors
( = [z
2
, z
1
] = z [ z = sz
1
+ (1 s)z
2
, 0 s 1
ici [c, d] = [a, b] = [0, 1] et t = 1 s.
Un parametrage dune courbe y induit un sens de parcours. La tan-
gente `a la courbe ( en z
0
= z(t
0
) est
T = z [ z = z(t
0
) + z

(t
0
)(t t
0
) , t R
et sa normale est
N = z [ z = z(t
0
) + i z

(t
0
)(t t
0
) , t R.
Les vecteurs z

(t
0
) et i z

(t
0
) sont toujours orthogonaux et orientes
comme les vecteurs 1 et i. Une courbe fermee est dite parcourue dans
le sens positif si le vecteur i z

(t) pointe vers son interieur. Cela signie


quau voisinage de chaque point z
0
(dans un disque D(z
0
, r) assez petit),
linterieur de ( et le vecteur i z

(t
0
) sont situes dans le meme des deux
demi-plans determines par la tangente en z
0
. Un reparametrage admissible
z

1
(s) = z

(t)t

(s) avec t

(s) > 0 preserve, bien entendu, le sens de


parcours.
Exemple. Considerons le parametrage
z = a cos t + i b sint , 0 t 2.
de lellipse dequation
x
2
a
2
+
y
2
b
2
= 1.
On a
z

(t) = a sint + i b cos t


et
i z

(t) = b cos t i a sint.


Lequation de la tangente en z
0
est
(x a cos t
0
)b cos t
0
+ (y b sint
0
)a sint
0
= 0
et son interieur est situe dans le demi-plan
(x a cos t
0
) b cos t
0
+ (y b sint
0
) a sint
0
= (t t
0
) b
2
cos
2
t
0
(t t
0
) a
2
sin
2
t
0
0.
35
z
0
z'
0
i z'
0
Fig. 4 Le sens de parcours positif
Elle est donc parcourue dans le sens positif sous ce parametrage.
La longueur de la courbe ( est
L
C
=
_
C
[dz[ =
_
b
a
[z

(t)[ dt.
Comme il se doit, elle ne depend pas du parametrage retenu :
_
b
a
[z

(t)[ dt =
_
b
a
[z

1
(s)[[s

(t)[ dt =
_
d
c
[z

1
(s)[ ds.
Remarque. En coordonnees cartesiennes,
[dz[ =
_
dx
2
+ dy
2
alors quen coordonnees polaires,
[dz[ =
_
dr
2
+ r
2
d
2
.
Une courbe dierentiable par morceaux ou un chemin est obtenu
en recollant un nombre ni de courbes dierentiables (
k
dont lextremite
z
k
(b
k
) de lune concide avec lorigine de la suivante z
k+1
(a
k+1
).
(
1
+(
2
= z [ z = z
1
(t) ou z = z
2
(t) , z
1
(b
1
) = z
2
(a
2
).
Il est toujours possible (mais rarement necessaire) de reparametrer len-
semble des courbes au moyen dun seul intervalle [a, b].
36
Exemple. Soient
(
1
= [0, 1] = z [ z = t , 0 t 1,
(
2
= [1, 1 + i] = z [ z = 1 +i t , 0 t 1,
(
3
= [1 +i, i] = z [ z = (1 t) + i , 0 t 1
et
(
4
= [i, 0] = z [ z = i (1 t) , 0 t 1.
Alors (
1
+ (
2
+ (
3
+ (
4
est le bord du carre [0, 1] [0, 1] parcouru dans le
sens positif et peut etre reparametre par
z(t) =
_

_
t si 0 t < 1,
1 + i (t 1) si 1 t < 2,
(3 t) + i si 2 t < 3,
i (4 t) si 3 t 4.
5.2 Integrales curvilignes
Soient D C un domaine, f : D C une fonction continue et ( une
courbe dierentiable contenue dans D, parametree par z = z(t) , a t b.
Par denition,
_
C
f(z) dz =
_
b
a
f(z(t))z

(t) dt.
Si z = z(t(s)) = z
1
(s) , c s d , t

(s) > 0 est un autre parametrage


admissible, on a bien s ur que
_
C
f(z) dz =
_
d
c
f(z
1
(s))z

1
(s) ds.
Si, au contraire, z = z(t(s)) = z
1
(s) , c s d , t

(s) < 0, on a
_
C
f(z) dz =
_
C
f(z) dz.
Lintegrale curviligne de f le long dun chemin (
1
+(
2
est denie par
_
C
1
+C
2
f(z) dz =
_
C
1
f(z) dz +
_
C
2
f(z) dz.
37
Lintegrale curviligne jouit donc des proprietes fondamentales de linearite :
_
C
(
1
f
1
(z) +
2
f
2
(z)) dz =
1
_
C
f
1
(z) dz +
2
_
C
f
2
(z) dz,
dadditivite _
C
1
+C
2
f(z) dz =
_
C
1
f(z) dz +
_
C
2
f(z) dz
et satisfait linegalite

_
C
f(z) dz

_
C
[f(z)[ [dz[ sup[f(z)[ [ z ( L
C
.
Considerons le cas dune fonction f admettant une primitive F holo-
morphe dans D. Pour tout chemin ( dorigine z
1
et dextremite z
2
, on a
_
C
f(z) dz =
_
b
a
f(z(t))z

(t) dt
=
_
b
a
F

(z(t))z

(t) dt = F(z(t))

b
a
= F(z
2
) F(z
1
).
Il est donc raisonnable decrire
_
z
2
z
1
f(z) dz = F(z
2
) F(z
1
)
dans ce cas. En particulier, pour tout chemin ferme (,
_
C
f(z) dz = 0.
Exemple. Pour tout n N
0
,
_
z
2
z
1
z
n
dz =
z
n+1
2
z
n+1
1
n + 1
.
Exemple. Soient
(
1
= z [ z = e
i t
, 0 t
et
(
2
= z [ z = e
i t
, 0 t .
38
Alors
_
C
1
dz
z
=
_

0
i dt = i
et
_
C
2
dz
z
=
_

0
i dt = i .
La courbe (
1
(
2
est le cercle unite parcouru dans le sens positif et lon a
_
C
1
C
2
dz
z
= 2i.
La fonction holomorphe 1/z nadmet donc pas de primitive holomorphe dans
le plan prive de lorigine.
5.3 Les theor`emes de Cauchy
C
C
1
Fig. 5 Le theor`eme de Cauchy
Theor`eme 14 (Cauchy) Soient D C un domaine, f : D C une
fonction holomorphe et ( un chemin ferme contenu ainsi que son interieur
dans D. Alors _
C
f(z) dz = 0.
Demonstration. Inscrivons le chemin ( dans un rectangle de cotes (pa-
rall`eles aux axes) a et b (gure 5, page 39), supposons ( parcouru dans le
sens positif et posons

_
C
f(z) dz

= I.
39
Comme
_
C
f(z) dz =
4

k=1
_
CR
k
f(z) dz
o` u (
k
est un chemin constitue de portions de ( et de portions du bord
dun rectangle de cotes (parall`eles aux axes) a/2 et b/2 parcouru dans le
sens positif, il existe un chemin (
1
inscrit dans un rectangle de cotes a/2 et
b/2 tel que

_
C
1
f(z) dz

I
4
.
En repetant ce raisonnement, on voit quil existe un chemin (
2
inscrit dans
un rectangle de cotes (parall`eles aux axes) a/4 et b/4 tel que

_
C
2
f(z) dz

I
16
.
Ainsi de suite. On obtient de cette facon une suite de sous-rectangles embotes
de cotes a/2
n
et b/2
n
contenant un chemin (
n
tel que

_
Cn
f(z) dz

I
4
n
.
Lintersection de tous ces sous-rectangles se reduit `a un point z
0
o` u f est
holomorphe. On a donc au voisinage de ce point
f(z) = f(z
0
) + f

(z
0
)(z z
0
) + r(z)
avec
lim
zz
0
r(z)
z z
0
= 0.
Donne > 0 arbitraire, on peut choisir r > 0 tel que
z D(z
0
, r) entrane [r(z)[ < [z z
0
[.
Alors, pour tout n susamment grand, le n
i`eme
sous-rectangle est contenu
dans D(z
0
, r) et lon a
_
Cn
f(z) dz =
_
Cn
r(z) dz.
On en tire
I
4
n

_
a
2
+ b
2
4
n
L
Cn
=

a
2
+ b
2
2(a + b)
4
n
donc
I
_
a
2
+ b
2
2(a + b)
ce qui montre que I = 0. C.Q.F.D.
40
C
C
r
z
L
Fig. 6 La formule de Cauchy
Theor`eme 15 (Cauchy) Soient D C un domaine, f : D C une
fonction holomorphe et ( un chemin ferme contenu ainsi que son interieur
dans D. Alors, pour tout z dans linterieur de (,
f(z) =
1
2i
_
C
f()
z
d,
le chemin ( etant parcouru dans le sens positif.
Demonstration. La fonction
g() =
1
2i
f()
z
etant holomorphe dans le domaine Dz, le theor`eme de Cauchy implique
(gure 6, page 41)
0 =
_
C
g() d +
_
L
g() d
_
Cr
g() d
_
L
g() d
o` u
C
r
= [ = z + re
i t
, t
de telle sorte que
1
2i
_
C
f()
z
d =
1
2i
_
Cr
f()
z
d =
1
2
_
+

f(z + re
i t
) dt.
Le premier membre de la double equation precedente est independant de r
et
lim
r0
1
2
_
+

f(z + re
i t
) dt = f(z).
C.Q.F.D.
41
Theor`eme 16 (Cauchy) Soient D C un domaine et f : D C une
fonction holomorphe. Alors sa derivee f

: D C est holomorphe. De plus,


si ( un chemin ferme contenu ainsi que son interieur dans D, pour tout z
dans linterieur de (,
f

(z) =
1
2i
_
C
f()
( z)
2
d,
le chemin ( etant parcouru dans le sens positif.
Demonstration. Soient z D, r > 0 tel que D(z, 3r) D et [h[ < r.
Alors
f(z + h) f(z)
h
=
1
2i
_
C
2r
f()
( z h)( z)
d
ce qui montre que, laissant h 0,
f

(z) =
1
2i
_
C
2r
f()
( z)
2
d.
La demonstration de la relation
1
2i
_
C
f()
( z)
2
d =
1
2i
_
C
2r
f()
( z)
2
d
se fait comme dans le theor`eme precedent. C.Q.F.D.
Remarque. Par recurrence sur n, on voit par un raisonnement semblable
que lon a pour la n
i`eme
derivee f
(n)
et sous les memes hypoth`eses, la relation
f
(n)
(z) =
n!
2i
_
C
f()
( z)
n+1
d.
Un domaine D est simplement connexe sil poss`ede la propriete sui-
vante : si ( est un chemin ferme contenu dans D, son interieur est aussi
contenu dans D.
Exemples. Un domaine convexe est simplement connexe. Le plan prive
dun rayon
R

= z = re
i
[ r 0
est simplement connexe. Le plan prive de lorigine nest pas simplement
connexe.
42
Theor`eme 17 Une fonction f holomorphe dans un domaine simplement
connexe D y admet une primitive holomorphe F :
F(z) = F(z
0
) +
_
z
z
0
f() d,
o` u z
0
D et F(z
0
) sont arbitraires.
Demonstration. Puisque lintegrale ne depend pas du chemin joignant z
0
`a z, la fonction F est bien denie. Pour verier quelle est holomorphe et
que sa derivee au point z est f(z), soit r > 0 tel que D(z, r) D et, si
[h[ < r, integrons du point z au point z + h le long du segment [z, z + h].
On aura

F(z + h) F(z)
h
f(z)

1
h
_
z+h
z
(f() f(z)) d

sup[f() f(z)[ [ [z, z + h]


ce qui tend vers 0 avec [h[. C.Q.F.D.
Exemple. La fonction arctan peut etre prolongee `a une fonction holo-
morphe dans C (] i, i] [i, +i[ ) en posant
arctanz =
_
z
0
d
1 +
2
.
Ainsi
arctan(1 +i) =
_
1
0
(1 + i) dt
1 + (1 + i)
2
t
2
=
_
1
0
1 + 2t
2
1 + 4t
4
dt + i
_
1
0
1 2t
2
1 + 4t
4
dt = 1, 017 + i 0, 402.
5.4 Le logarithme
La fonction 1/z etant holomorphe dans le domaine simplement connexe
C ] , 0], elle y admet une primitive holomorphe denotee lnz et denie
par
lnz =
_
z
1
d

.
En integrant le long du chemin [1, [z[] suivi dun arc du cercle de rayon [z[
centre `a lorigine, on obtient
lnz = ln[z[ + i arg z , z C ] , 0].
43
(Par continuite, on utilise encore cette relation pour calculer le logarithme
naturel dun nombre reel strictement negatif mais la fonction z lnz nest
holomorphe que dans C ] , 0].)
Exemples. On a
ln1 = 0 , lni = i

2
, ln(1 + i) = ln

2 + i

4
, ln(1) = i .
Observons que lon a
e
ln z
= z mais seulement ln(e
z
) = z mod 2i.
Semblablement,
lnz
1
z
2
= lnz
1
+ lnz
2
mod 2i.
Si p C et z C 0,
z
p
= e
p ln z
(mais la fonction z z
p
nest holomorphe que dans C ] , 0]).
Exemple. On a
2
i
= e
i ln 2
, i
i
= e
/2
et (1)
i
= e

.
On peut denir une fonction log z holomorphe dans tout domaine sim-
plement connexe D ne contenant pas lorigine en posant
log z = log z
0
+
_
z
z
0
d

et en choisissant z
0
D et log z
0
tels que
e
log z
0
= z
0
.
(On dit alors que lon a choisi une determination du logarithme dans D.)
Exemple. Pour obtenir un logarithme dans un domaine contenant laxe
reel negatif, on peut prendre D = C R
/4
et poser
log z =
_
z
1
d

=
_
ln[z[ + i arg z si < arg z /4
ln[z[ + i (arg z 2) si /4 < arg z .
44
Plus generalement, on peut denir le logarithme log f(z) dune fonction
f comme fonction holomorphe de z dans tout domaine simplement connexe
D o` u f est holomorphe et ne sannule pas en posant
log f(z) = log f(z
0
) +
_
z
z
0
f

()
f()
d
et en choisissant z
0
D et log f(z
0
) tels que
e
log f(z
0
)
= f(z
0
).
Exemple. Dans le domaine C (] i, i] [i, +i[ ),
log(1 +z
2
) =
_
z
0
2
1 +
2
d,
_
1 + z
2
= e
1
2
log(1+z
2
)
et
arcsinhz =
_
z
0
d
_
1 +
2
= log(z +
_
1 + z
2
).
Ainsi
log(1 + (1 +i)
2
) =
_
1
0
2(1 + i)t
1 + (1 + i)
2
t
2
(1 + i)dt = 0, 805 + i 1, 107,
_
1 + (1 + i)
2
= 1, 272 + i 0, 786
et
arcsinh(1 + i) = log(1 + i + 1, 272 + i 0, 786) = 1, 061 + i 0, 666.
5.5 Exercices
1. Soit ( une courbe parametree par z = z(t), a t b et de longueur
L
C
. Montrer que la longueur darc s, denie par
s =
_
t
a
[z

()[ d,
est un nouveau param`etre admissible relativement auquel la courbe est
parcourue `a vitesse constante. Faire les calculs explicites pour chacune
des trois courbes suivantes :
45
le segment [0, 1] ;
le cercle unite parcouru dans le sens positif ;
la parabole dequation y = x
2
, 0 x 1.
2. Calculer, pour chaque courbe ( de lexercice precedent
_
C
z dz ,
_
C
'z dz ,
_
C
[z[ dz ,
_
C
arg z dz.
3. Soient f : C R une fonction continue reelle telle que [f(z)[ 1 et (
le cercle unite parcouru dans le sens positif. Montrer que

_
C
f(z) dz

4.
4. Soient D C un domaine convexe et f : D C une fonction holo-
morphe telle que [f

(z)[ M dans D. Montrer que


[f(z
2
) f(z
1
)[ M[z
2
z
1
[ pour tout z
1
, z
2
D.
5. ( designant le cercle unite parcouru dans le sens positif, calculer
_
C
_
z +
1
z
_
2n
dz
z
, n N.
En deduire la valeur de
_
+

cos
2n
t dt et
_
+

sin
2n
t dt.
Obtenir aussi
_
+

cos
2n+1
t dt et
_
+

sin
2n+1
t dt.
6. ( designant le cercle unite parcouru dans le sens positif, calculer
_
C
dz
2z
2
5z + 2
.
7. Soient D C un domaine, f : D C une fonction holomorphe et (
un chemin ferme parcouru dans le sens positif et contenu ainsi que son
interieur dans D. Soient enn z
1
et z
2
deux points `a linterieur de (.
Calculer
_
C
f(z) dz
(z z
1
)(z z
2
)
.
Quobtient-on lorsque z
1
z
2
?
46
8. ( designant le cercle unite parcouru dans le sens positif, calculer
_
C
sin
6
z
(z /6)
2
dz.
9. Soient D C un domaine, f : D C une fonction holomorphe et (
un chemin ferme contenu ainsi que son interieur dans D. Soit z
0
un
point `a linterieur de (. Montrer que
_
C
f(z)
(z z
0
)
n+1
dz =
1
n!
_
C
f
(n)
(z)
(z z
0
)
dz , n N.
10. Soient : z [ [z[ = 1 C une fonction continue et ( le cercle unite
parcouru dans le sens positif. Montrer que
_
C
(z) dz =
_
C
(z)
dz
z
2
.
Soient D C un domaine contenant D(0, 1) et f : D C une fonction
holomorphe. Calculer
1
2i
_
C
f(z)
z z
0
dz , [z
0
[ , = 1.
11. Soient D C un domaine et f : D C une fonction continue.
Supposons que
_
C
f(z) dz = 0
pour toute chemin ferme contenu ainsi que son interieur dans D. Mon-
trer que f est holomorphe dans D (theor`eme de Morera).
12. Soient D C un domaine et f
n
: D C des fonctions holomorphes
convergeant uniformement sur toute partie compacte E D vers une
fonction f : D C. Montrer que f est holomorphe. En deduire que
la fonction
(z) =
n

k=1
1
k
z
est holomorphe dans le demi-plan 'z > 1.
13. Calculer

2
i
et i

2
.
14. Trouver lerreur : 1 =

1 =
_
(1)(1) =

1 = 1.
15. Calculer la partie reelle et la partie imaginaire de z
z
.
47
16. Montrer que lon peut determiner une fonction
_
1 z
1 + z
holomorphe dans le disque D(0, 1). Calculer au point i/2 la valeur de
celle des deux determinations possibles de la fonction qui est positive
lorsque son argument lest.
17. Determiner un domaine o` u lon puisse denir log arctanz comme fonc-
tion holomorphe.
48
6 PROPRI

ET

ES ANALYTIQUES DES FONCTIONS


HOLOMORPHES
Bien que formellement identiques, la derivation par rapport `a une va-
riable complexe et la derivation par rapport `a une variable reelle entranent
des consequences bien dierentes pour les fonctions impliquees.
6.1 Lanalycite
Theor`eme 18 (Taylor) Soient D C un domaine contenant le disque
D(z
0
, r) et f : D C une fonction holomorphe. Alors
f(z) =
+

k=0
a
k
(z z
0
)
k
, [z z
0
[ < r
o` u
a
k
=
1
k!
f
(k)
(z
0
) =
1
2i
_
Cr
f()
( z
0
)
k+1
d,
C
r
designant le cercle de centre z
0
et de rayon r parcouru dans le sens positif.
Demonstration. Soit z D(z
0
, r). En vertu de la formule de Cauchy,
f(z) =
1
2i
_
Cr
f()
z
d
=
1
2i
_
Cr
f()
z
0
+ z
0
z
d =
1
2i
_
Cr
f()
+

k=0
_
z z
0
z
0
_
k
d
z
0
=
1
2
_
+

f(z
0
+ re
i t
)
+

k=0
_
z z
0
r
_
k
e
i kt
dt.
Cette derni`ere serie, etant uniformement convergente, peut etre integree
terme `a terme ce qui donne
f(z) =
+

k=0
a
k
(z z
0
)
k
avec
a
k
=
1
2i
_
Cr
f()
( z
0
)
k+1
d.
Lexpression
a
k
=
1
k!
f
(k)
(z
0
)
49
suit de lexpression generale de Taylor pour les coecients dune serie enti`ere
ou de la formule integrale de Cauchy pour la k
i`eme
derivee dune fonction
holomorphe. C.Q.F.D.
Exemples. On peut choisir une determination holomorphe des fonctions
z log(1 +z) et z (1 +z)
p
dans C ] , 1]. Pour les determinations
qui sont reelles sur laxe reel, on a
log(1 +z) =
+

k=1
(1)
k1
k
z
k
, [z[ < 1
et
(1 + z)
p
= 1 +
+

k=1
p(p 1) (p k + 1)
k!
z
k
, [z[ < 1.
De plus, en integrant terme `a terme la serie pour (1 + z
2
)
1
, on obtient
arctanz =
+

k=0
(1)
k
2k + 1
z
2k+1
, [z[ < 1.
De facon generale, on dit dune fonction quelle est analytique si
elle peut localement sexprimer comme la somme dune serie enti`ere de son
argument (ou de ses arguments). Il peut sagir dune fonction R R , dune
fonction C C, dune fonction R
n
R etc ... Toute fonction holomorphe
dans un domaine y est donc analytique. Une fonction holomorphe dans le
plan tout entier est dite enti`ere. Une telle fonction peut secrire comme la
somme dune serie enti`ere en z convergeant pour tout z C.
Theor`eme 19 (Liouville) Une fonction enti`ere et bornee est necessairement
une constante.
Demonstration. Soit
f(z) =
+

k=0
a
k
z
k
, z C.
On a les inegalites de Cauchy pour les coecients de la serie :
[a
k
[
1
2r
k
sup[f(z)[ [ [z[ = r.
50
Puisquici [f(z)[ M pour tout z, en laissant r +, on obtient
a
k
= 0 si k 1.
C.Q.F.D.
Exemple. On a
[ cos x[ 1 pour tout x R
mais
sup[ cos z[ [ [z[ = r = coshr + lorsque r +.
6.2 La propriete des zeros isoles
Soit D C un domaine et f : D C une fonction holomorphe. La
fonction admet un zero dordre ou de multiplicite m 1 en z
0
D si son
developpement de Taylor y est de la forme
f(z) =
+

k=m
a
k
(z z
0
)
k
avec a
m
,= 0.
Theor`eme 20 Les zeros dune fonction holomorphe sont isoles.
Demonstration. Lenonce signie qu`a chaque zero z
0
de f dans D cor-
respond > 0 tel que
0 < [z z
0
[ < entrane f(z) ,= 0.
On a en eet
f(z) =
+

k=m
a
k
(z z
0
)
k
= (z z
0
)
m
g(z)
o` u
g(z) = a
m
+
+

k=m+1
a
k
(z z
0
)
k
, [z z
0
[ < r.
Puisque la fonction g est continue et ne sannule pas en z
0
, elle ne sannule
pas dans un voisinage D(z
0
, ) de z
0
. C.Q.F.D.
Le principe du prolongement analytique exprime que deux fonc-
tions holomorphes dans un meme domaine D qui concident sur un ensemble
51
de points admettant un point daccumulation dans D doivent concider par-
tout dans D. Par exemple deux fonctions enti`eres concidant sur laxe reel
concident partout.
Theor`eme 21 Soient D C un domaine symetrique par rapport `a laxe
reel et f : D C une fonction holomorphe, reelle sur laxe reel. Alors
f(z) = f(z).
Demonstration. La fonction g(z) = f(z) est holomorphe dans D :
g(z) g(z
0
)
z z
0
=
f(z) f(z
0
)
z z
0
=
f(z) f(z
0
)
z z
0
f

(z
0
)
lorsque z z
0
. Comme elle concide avec f sur laxe reel, elle concide avec
f partout dans D. C.Q.F.D.
6.3 La propriete du module maximum
Theor`eme 22 Soit D C un domaine et f : D C une fonction holo-
morphe, non constante. Alors le module [f[ de f na pas de maximum local
dans D ni de minimum local sauf aux points o` u f sannule.
Demonstration. Soient z
0
D, D(z
0
, 2r) D. On a
[f(z
0
+ re
i t
)[
2
=
+

k=0
+

j=0
a
k
a
j
r
k+j
e
i (kj)t
.
En integrant terme `a terme les series, on obtient
1
2
_
+

[f(z
0
+ re
i t
[
2
dt =
+

k=0
[a
k
[
2
r
2k
.
Si [f[ admettait un maximum local en z
0
, on aurait
+

k=0
[a
k
[
2
r
2k
[a
0
[
2
pour tout r assez petit et la fonction serait constamment egale `a a
0
dans un
voisinage de z
0
donc dans D tout entier. Le cas dun minimum se deduit de
52
celui dun maximum local en considerant la fonction 1/f sur le domaine D
ampute des points o` u f sannule. C.Q.F.D.
Exemple. Sur un ensemble compact E, une fonction holomorphe (dans
un domaine D E) non constante atteint toujours son module maximum
sur le bord de E, jamais dans son interieur.
Theor`eme 23 (Schwarz) Soit f une fonction holomorphe dans le disque
unite, telle que [f(z)[ 1 et sannulant `a lorigine. Alors
[f(z)[ [z[ , [z[ < 1
avec egalite en un point z ,= 0 si et seulement si f(z) = cz, [c[ = 1.
Demonstration. Soit 0 < r < 1 arbitraire. Si
f(z) =
+

k=1
a
k
z
k
, [z[ < 1,
soit
g(z) =
f(z)
z
=
+

k=1
a
k
z
k1
, [z[ < 1.
Linegalite
[g(z)[
1
r
ayant lieu sur le cercle [z[ = r, elle a lieu dans le disque D(0, r). Le resultat
suit en laissant r 1. Et lon naura egalite que si g est constante. C.Q.F.D.
6.4 Exercices
1. Soient

+
k=0
a
k
z
k
et

+
k=0
b
k
z
k
des series enti`eres dont les rayons de
convergence sont plus grands que ou egaux `a r. Montrer que le rayon
de convergence de la serie produit,
+

k=0
k

j=0
a
j
b
kj
z
k
,
est encore plus grand que ou egal `a r.
53
2. Calculer explicitement les trois premiers termes de la serie de Taylor
`a lorigine de la fonction
f(z) = e
z/(1z)
.
Quel est le rayon de convergence ?
3. Soit
z
e
z
1
= 1 +B
1
z +
1
2!
B
2
z
2
+
1
3!
B
3
z
3
+
Quel est le rayon de convergence de la serie ? Calculer explicitement
les trois premiers nombres de Bernoulli, B
1
, B
2
et B
3
.
4. Soient 0 < a < b, z
0
C quelconque (mais dierent de a et b) et
f(z) =
1
(z a)(z b)
.
Developper la fonction f suivant les puissances enti`eres de z z
0
. Quel
est le rayon de convergence de la serie obtenue ?
5. Soit f une fonction enti`ere satisfaisant une inegalite du type
[f(z)[ M[z[
n
, M > 0 , n N , z C.
Montrer que f est un polynome.
6. Soit f une fonction enti`ere telle quil existe trois nombres reels non
tous nuls, a, b et c tels que
a'f(z) + bf(z) c , z C.
Montrer que f est constante.
7. Deduire le theor`eme fondamental de lalg`ebre du theor`eme de Liouville
sur les fonctions enti`eres bornees.
8. Determiner lordre de tous les zeros des fonctions suivantes :
1 cos z ;
z sinz ;
(1 e
z
)(z
2
4)
3
.
9. Determiner toutes les fonctions enti`eres telles que [f(z)[ = 1 si [z[ = 1.
10. Montrer que
sup
|z|1

sinz
z

sinh1.
11. Un polygone regulier est inscrit dans le cercle unite et un point du
disque unite est joint `a ses sommets par des droites. Determiner un
point pour lequel le produit des longueurs de ces droites est maximum
et la valeur du produit maximum.
54
7 LE CALCUL DES R

ESIDUS
Letude des fonctions holomorphes aux points o` u elles cessent de letre
nous permet de leur decouvrir de nouvelles proprietes.
7.1 Singularites isolees
C
R
C
r
L
z
0
Fig. 7 Le theor`eme de Laurent
Theor`eme 24 (Laurent) Soient D C un domaine contenant la cou-
ronne z [ r [z z
0
[ R et f : D C une fonction holomorphe.
Alors
f(z) =
+

k=
a
k
(z z
0
)
k
, r < [z z
0
[ < R
o` u
a
k
=
1
2i
_
C
f()
( z
0
)
k+1
d,
C

designant le cercle de centre z


0
et de rayon (r R) parcouru dans
le sens positif.
55
Demonstration. Soit r < [z z
0
[ < R. En vertu de la formule de Cauchy
(gure 7, page 55), on a
f(z) =
1
2i
_
C
R
+LCrL
f()
z
d
=
1
2i
_
C
R
f()
z
d
1
2i
_
Cr
f()
z
d
=
1
2i
_
C
R
f()
+

k=0
_
z z
0
z
0
_
k
d
z
0
+
1
2i
_
Cr
f()
+

k=0
_
z
0
z z
0
_
k
d
z z
0
.
En integrant les series terme `a terme, on obtient
f(z) =
+

k=0
1
2i
_
C
R
f()
( z
0
)
k+1
d (z z
0
)
k
+
+

k=0
1
2i
_
Cr
f()( z
0
)
k
d
1
(z z
0
)
k+1
=
+

k=0
1
2i
_
C
R
f()
( z
0
)
k+1
d (z z
0
)
k
+

j=1
1
2i
_
Cr
f()
( z
0
)
j+1
d (z z
0
)
j
.
Finalement, la fonction

f()
( z
0
)
k+1
etant holomorphe dans la couronne r < [ z
0
[ < R, on a
1
2i
_
C
R
f()
( z
0
)
k+1
d =
1
2i
_
Cr
f()
( z
0
)
k+1
d =
1
2i
_
C
f()
( z
0
)
k+1
d.
C.Q.F.D.
Remarque. Si f est holomorphe dans une couronne centree `a lorigine
contenant le cercle unite, la restriction de la serie de Laurent de f au cercle
unite est la serie de Fourier de la restriction de la fonction f au cercle unite :
f(e
i t
) =
+

k=
1
2
_
+

f(e
i k
)e
i k
d e
i kt
.
56
Exemple. Soient 0 < a < b et
f(z) =
1
(z a)(z b)
.
Dans le disque [z[ < a, le developpement de Taylor de f est
f(z) =
1
b a
_
1
z b

1
z a
_
=
1
b a
_
1
a
1
1 z/a

1
b
1
1 z/b
_
=
+

k=0
1
b a
_
1
a
k+1

1
b
k+1
_
z
k
.
Dans la couronne a < [z[ < b, le developpement de Laurent de f est
f(z) =
1
b a
_
1
z b

1
z a
_
=
1
b a
_

1
z
1
1 a/z

1
b
1
1 z/b
_
=
1
b a
_
+

k=0
a
k
z
k+1
+
+

k=0
z
k
b
k+1
_
.
`
A lexterieur du disque [z[ < b enn, le developpement de Laurent de f est
f(z) =
1
b a
_
1
z b

1
z a
_
=
+

k=0
_
b
k
a
k
b a
_
1
z
k+1
.
Un point z
0
est une singularite isolee pour une fonction f si elle est
holomorphe dans un disque pointe z [ 0 < [z z
0
[ < R centre en z
0
.
Suivant la nature du developpement de Laurent en z
0
, on distingue trois
cas.
Une singularite isolee est apparente si le developpement de Laurent ne
contient aucun terme (z z
0
)
k
avec k < 0.
Une singularite isolee est un pole dordre m si
f(z) =
+

k=m
a
k
(z z
0
)
k
, a
m
,= 0.
Une singularite isolee est essentielle si le developpement de Laurent
contient un nombre inni de termes (z z
0
)
k
avec k < 0.
57
Au voisinage dun pole z
0
, une fonction holomorphe f(z) tend vers
lorsque z z
0
. Le comportement au voisinage dune singularite essentielle
est beaucoup plus complexe.
Exemple. La fonction e
1/z
poss`ede une singulatite essentielle `a lorigine.
On a
lim
x0+
e
1/x
= +,
lim
x0
e
1/x
= 0,
lim
y0
e
1/i y
nexiste pas.
Remarque. Le point z = 0 nest pas une singularite isolee pour la fonction
lnz. Dans la theorie des surfaces de Riemann, un tel point sappelle point
de ramication. Il en est de meme des points i pour la fonction
arctanz =
1
2i
(log(z i) log(z + i)).
Une fonction meromorphe dans un domaine D C est une fonction
f : D C qui est holomorphe `a lexception de sigularites isolees qui sont
toutes des poles pour f. En lui attribuant la valeur aux poles, on peut la
considerer comme une fonction D C continue.
Exemples. Une fonction rationnelle est meromorphe dans le plan tout
entier. Ainsi en est-il des fonctions
sinz
z
3
,
cos z
z
n
1
et tanz =
sinz
cos z
.
En soustrayant dune fonction rationnelle R(z) toutes les parties prin-
cipales (les termes avec exposants negatifs) des developpements de Laurent
aux divers poles z
k
, on obtient une fonction rationnelle sans aucun pole,
cest-`a-dire, un polynome p ; cest la decomposition en fractions partielles de
la fonction :
R(z) =
n

k=1
n
k

j=1
a
k,j
(z z
k
)
j
+ p(z).
58
7.2 Residus
Soient f une fonction holomorphe dans un disque pointe 0 < [z z
0
[ < r
et
f(z) =
+

k=
a
k
(z z
0
)
k
, 0 < [z z
0
[ < r,
son developpement de Laurent en z
0
. Le residu de f en z
0
est
Res(f, z
0
) = a
1
=
1
2i
_
C
f()
z
0
d
C

designant le cercle de centre z


0
et de rayon (0 < < r) parcouru dans
le sens positif.
Lorsque z
0
est un pole dordre m pour f, le residu peut aussi y etre
calcule par la formule
Res(f, z
0
) = lim
zz
0
1
(m1)!
d
m1
dz
m1
((z z
0
)
m
f(z)).
Exemples. On a

Res
_
sinz
z
3
, 0
_
= 0;

Res
_
cos z
z
n
1
,
k
n
_
=
1
n

k
n
cos
k
n
, 0 k n 1;

Res(e
1/z
, 0) = 1.
Theor`eme 25 Soient D C un domaine et f : D C une fonction
holomorphe dans D `a lexception de sigularites isolees. Soit ( est un che-
min ferme contenu ainsi que son interieur dans D, ne passant par aucune
des singularites de f et en contenant un nombre ni z
1
, z
2
, . . . , z
n
dans son
interieur. Alors
_
C
f(z) dz = 2i
n

k=1
Res(f, z
k
),
le chemin ( etant parcouru dans le sens positif.
59
Demonstration. La fonction etant holomorphe dans le domaine inter-
section de linterieur de ( et des exterieurs de petits disques centres aux
singularites, on voit que
_
C
f(z) dz =
n

k=1
_
C
k
f(z) dz,
C
k
designant un cercle centre en z
k
et de rayon r
k
susamment petit par-
couru dans le sens positif. En integrant terme `a terme le developpement de
Laurent en z
k
, on obtient
_
C
k
f(z) dz = 2i Res(f, z
k
).
C.Q.F.D.
Remarque. La formule de Cauchy,
f
(n)
(z
0
) =
n!
2i
_
C
f(z)
(z z
0
)
n+1
dz,
correspond au cas dun pole dordre n + 1 en z
0
.
Exemple. On a
_
C
sinz
z
3
dz = 0;
_
C
cos z
z
n
1
dz =
1
2i n

k
n
cos
k
n
la somme portant sur les k tels que
k
n
est interieur `a ( ;

_
C
e
1/z
dz =
_
1 si 0 est interieur `a (,
0 sinon.
7.3 La propriete de lapplication ouverte
Theor`eme 26 Soient D C un domaine et f : D C une fonction
meromorphe dans D. Soit ( est un chemin ferme contenu ainsi que son
interieur dans D, ne passant par aucun des zeros ni aucun des poles de f.
60
Alors, designant par Z
f
le nombre de zeros de f dans linterieur de ( et par
P
f
celui de ses poles,
1
2i
_
C
f

(z)
f(z)
dz = Z
f
P
f
,
le chemin ( etant parcouru dans le sens positif.
Demonstration. La fonction z f

(z)/f(z) est holomorphe dans D sauf


aux zeros et aux poles de f. Si
f(z) = (z z
0
)
k
g(z) , g(z
0
) ,= 0,
on a
f

(z)
f(z)
=
k
z z
0
+
g

(z)
g(z)
et, C
0
designant un cercle cente en z
0
et de rayon r
0
susamment petit
parcouru dans le sens positif,
1
2i
_
C
0
f

(z)
f(z)
dz = k.
C.Q.F.D.
Le theor`eme precedent est connu sous le nom de principe de largu-
ment pour la raison suivante : choisissons un point z
1
sur le chemin ( et
une valeur
1
telle que
f(z
1
) = [f(z
1
)[e
i
1
et parcourons ( dans le sens positif en laissant le nombre dans la representation
f(z) = [f(z)[e
i
varier contin ument. En designant par (
z
le portion de ( entre z
1
et z, on a
1
2i
_
Cz
f

()
f()
d = log [f(z)[ log [f(z
1
)[ + i (
1
)
De retour au point z
1
,
1
2i
_
C
f

(z)
f(z)
dz =
1
2i
_
Cz
1
f

()
f()
d = i
C
(
1
)
est la variation de largument de f(z
1
) le long de (.
61
Theor`eme 27 Limage dun domaine par une fonction holomorphe non
constante est un domaine.
Demonstration. Soient D C un domaine et f : D C une fonction
holomorphe dans D. Il sagit de montrer que f(D) est ouvert. Soit w
0
=
f(z
0
) f(D). Il existe un disque pointe centre en z
0
, 0 < [z z
0
[ < 2r, dans
lequel la fonction f(z) w
0
ne sannule pas. Soit
= inf[f() w
0
[ [ [ z
0
[ = r > 0
et considerons, pour [w w
0
[ < , la fonction
N(w) =
1
2i
_
Cr
f

()
f() w
d
o` u C
r
designe le cercle centre en z
0
et de rayon r parcouru dans le sens
positif. Elle est continue
N(w
1
) N(w
2
) =
1
2i
_
Cr
f

()
(f() w
1
)(f() w
2
)
d (w
1
w
2
)
et ne prend que des valeurs enti`eres. Comme N(w
0
) > 0, on doit avoir
N(w) > 0 pour tout w tel que [w w
0
[ < , cest-`a-dire que ce disque est
contenu dans f(D). C.Q.F.D.
Remarque. La demonstration precedente montre en fait que, N(w) etant
le nombre de zeros de la fonction f(z) w dans un voisinage de z
0
, lon
a N(w) = N(w
0
) pour tout w susamment pr`es de w
0
. En particulier, la
condition necessaire et susante pour que f soit inversible dans un voisinage
de z
0
est que f

(z
0
) ,= 0.
Une consequence de la propriete de lapplication ouverte est que la fonc-
tion inverse, lorsquelle existe, dune fonction holomorphe est continue, donc
holomorphe elle aussi :
lim
ww
0
f
1
(w) f
1
(w
0
)
w w
0
= lim
zz
0
1
f(z) f(z
0
)
z z
0
=
1
f

(z
0
)
.
Theor`eme 28 (Rouche) Soient D C un domaine et f, g : D C deux
fonctions holomorphes dans D. Soit ( est un chemin ferme contenu ainsi
que son interieur dans D. Si
[f(z) + g(z)[ < [f(z)[ +[g(z)[ , z (,
alors f et g ont le meme nombre de zeros dans linterieur de (.
62
Demonstration. Considerons la fonction
h(z) =
f(z)
g(z)
.
Elle est meromorphe dans D. Il suit de lhypoth`ese que, quel que soit t 0,
la fonction f(z) t na ni pole ni zero sur (. Par suite, lintegrale
N(t) =
1
2i
_
C
h

(z)
h(z) t
dz
ne depend pas de t, vaut Z
f
Z
g
lorsque t = 0 et tend vers 0 lorsque
t +. Do` u
0 = Z
f
Z
g
.
C.Q.F.D.
Exemple. Lequation
z
3
+ e
1+i z
= 0
admet exactement trois racines de module strictement plus petit que 1,
comme on le voit en appliquant le theor`eme de Rouche aux fonctions f(z) =
z
3
+ e
1+i z
et g(z) = z
3
sur le cercle [z[ = 1.
7.4 Application aux transformees de Fourier
Soit f : R C une fonction continue absolument integrable. Sa trans-
formee de Fourier est la fonction

f : R C denie par

f() = F(f)() =
_
+

f(x)e
i x
dx.
Cest un outil essentiel des mathematiques appliquees. Elle peut souvent
etre obtenue via le calcul des residus.
Soient R une fonction rationnelle integrable sur R et z
k
ses poles.
Alors
_
+

R(x)e
i x
dx =
_
2i

z
k
>0
Res(R(z)e
i z
, z
k
) si 0,
2i

z
k
<0
Res(R(z)e
i z
, z
k
) si 0.
Considerons le cas 0. Si le nombre A de la gure 8, page 64 est su-
samment grand,
_
C
A
R(z)e
i z
dz = 2i

z
k
>0
Res(R(z)e
i z
, z
k
).
63
A A
C
A
Fig. 8 Une transformee de Fourier
Lorsque A +,
_
A
A
R(x)e
i x
dx
_
+

R(x)e
i x
dx
et

_

0
R(Ae
i t
) e
Asin ti Acos t
i Ae
i t
dt

_

0
K
R
A
2
e
Asin t
Adt 0.
Exemple.
_
+

e
i x
1 + x
2
dx = 2
_
+
0
cos x
1 + x
2
dx = e
||
.
A A
C
A
Ai Ai
Fig. 9 Une transformee de Fourier
La fonction x e
x
2
/2
est sa propre transformee de Fourier, `a un
multiple pr`es :
_
+

e
x
2
/2
e
i x
dx =

2e

2
/2
.
64
Considerons le cas 0 (gure 9, page 64). On a
_
+

e
x
2
/2
e
i x
dx = e

2
/2
_
+

e
(x+i )
2
/2
dx
et, en vertu du theor`eme de Cauchy,
0 =
_
A
A
e
x
2
/2
dx+
_

0
e
(A+i t)
2
/2
i dt
_
A
A
e
(x+i )
2
/2
dx
_

0
e
(Ai t)
2
/2
i dt.
Lorsque A +,
0 =
_
+

e
x
2
/2
dx
_
+

e
(x+i )
2
/2
dx =

2
_
+

e
(x+i )
2
/2
dx
et

_

0
e
(Ai t)
2
/2
i dt

_

0
e
A
2
+t
2
dt 0.
7.5 Application au calcul dintegrales diverses
Soit R une fonction rationnelle de deux variables. Alors
1
2
_
+

R(cos , sin) d =

|z
k
|<1
Res
_
1
z
R
_
z + z
1
2
,
z z
1
2i
_
, z
k
_
.
(Les z
k
sont les poles de la fonction rationnelle
1
z
R
_
z + z
1
2
,
z z
1
2i
_
on suppose quil ny en a aucun sur le cercle unite.)
En eet, ( designant le cercle unite parcouru dans le sens positif,
_
C
1
z
R
_
z + z
1
2
,
z z
1
2i
_
dz
= i
_
+

R(cos , sin) d
= 2i

|z
k
|<1
Res
_
1
z
R
_
z + z
1
2
,
z z
1
2i
_
, z
k
_
.
65
A 0
A
n
C
A
e
in
Fig. 10 Un calcul dintegrale
Exemple.
1
2
_
+

d
a + sin
=
1

a
2
1
, a > 1.

_
+
0
dx
1 + x
n
=
/n
sin/n
, n > 1.
Si A > 1, on a (gure 10, page 66)
_
C
A
dz
1 + z
n
= 2i Res
_
1
1 + z
n
, e
i /n
_
.
Do` u
_
A
0
dx
1 + x
n
+
_
2/n
0
i Ae
it
1 + A
n
e
i nt
dt
_
A
0
e
i 2/n
1 + x
n
dt =
2i
n
e
i /n
.
Lorsque A +,
_
+
0
1 e
i 2/n
1 + x
n
dx =
2i
n
e
i /n
car

_
2/n
0
i Ae
it
1 + A
n
e
i nt
dt

_
2/n
0
A
A
n
1
dt 0.
66
C
A,a,
0
A e
i
A
a e
i
a
Fig. 11 Un calcul dintegrale
Soient R une fonction rationnelle sans pole sur laxe reel positif et qui
tend vers 0 lorsque z , z
k
ses poles et 0 < p < 1. Alors
_
+
0
R(x)
x
p
dx =
2i
1 e
2ip

z
k
Res
_
R(z)
z
p
, z
k
_
(o` u z
p
= [z[
p
e
i p
avec 0 < 2).
Choisissons la determination de z
p
dans C[0, +[ telle que z
p
= [z[
p
e
i p
avec 0 < < 2. On a, d`es que A est assez grand et est assez petit, que
(gure 11, page 67)
_
C
A,a,
R(z)
z
p
dz = 2i

z
k
Res
_
R(z)
z
p
, z
k
_
.
Parametrant,
_
2
A

A
R(Ae
i t
)
A
p
e
i pt
iAe
i t
dt
_
2a
a
R(ae
i t
)
a
p
e
i pt
iae
i t
dt
+
_
Acos
A
a cos a
R(x + i )
(x + i )
p
dx
_
Acos
A
a cos a
R(x i )
(x i )
p
dx = 2i

z
k
Res
_
R(z)
z
p
, z
k
_
.
67
Lorsque 0, on obtient
_
2
0
R(Ae
i t
)
A
p
e
i pt
iAe
i t
dt
_
2
0
R(ae
i t
)
a
p
e
i pt
iae
i t
dt
+
_
A
a
R(x)
x
p
dx
_
A
a
R(x)
x
p
e
2ip
dx = 2i

z
k
Res
_
R(z)
z
p
, z
k
_
.
Laissant enn a 0 et A +,

_
2
0
R(ae
i t
)
a
p
e
i pt
iae
i t
dt

K
R
a
1p
0,

_
2
0
R(Ae
i t
)
A
p
e
i pt
iAe
i t
dt

R
1
A
p
0
et
_
+
0
R(x)
x
p
dx (1 e
2ip
) = 2i

z
k
Res
_
R(z)
z
p
, z
k
_
.
Exemple.
_
+
0
dx
x
p
(1 + x)
=

sinp
.
C
A,a
A a
Fig. 12 Un calcul dintegrale

_
+
0
sinx
x
dx =

2
.
En vertu du theor`eme de Cauchy (gure 12, page 68),
_
C
A,a
e
i z
z
dz = 0.
68
Parametrant,
0 =
_
A
a
2i sinx
x
dx
+
_

0
e
i Acos tAsin t
Ae
i t
iAe
i t
dt
_

0
e
i a cos ta sin t
ae
i t
iae
i t
dt.
Laissant A + et a 0, on obtient

_

0
e
i Acos tAsin t
Ae
i t
iAe
i t
dt

_

0
e
Asin t
dt 0,

_

0
e
i a cos ta sin t
ae
i t
iae
i t
dt i
et
0 =
_
+
0
2i sinx
x
dx i.

_
+
0
sin
2
x
x
2
dx =

2
.
En vertu du theor`eme de Cauchy (gure 8, page 64),
_
C
A
e
i z
1 i z
z
2
dz = 0.
Parametrant,
0 =
_
A
0
e
i x
+ e
i x
2
x
2
dx +
_

0
e
i Acos ta sin t
1 i Ae
i t
Ae
i t
i dt.
Laissant A +,
_

0
e
i Acos ta sin t
1 i Ae
i t
Ae
i t
i dt
et
0 =
_
+
0
2(cos x 1)
x
2
dx + .
69
7.6 Exercices
1. Obtenir les series de Laurent au point 1 des fonctions
e
z
(z 1)
2
et
z
2
(z 1)(z 2)
.
2. Obtenir la serie de Laurent de la fonction
f(z) =
1
(z a)(z b)
, 0 < [a[ < [b[
dans le disque pointe 0 < [z a[ < [b[ [a[.
3. Les fonctions de Bessel de premi`ere esp`ece J
k
satisfont la relation
e
z
2
(w
1
w
)
=
+

k=
J
k
(z)w
k
, w ,= 0.
En deduire que
J
k
(z) =
1

_

0
cos(z sint kt) dt.
4. Classier les singularites des fonctions
1
e
z
1
,
z
(2 sinz 1)
2
et
z
3
e
1/z
1
.
5. Determiner le residu de la fonction rationnelle
f(z) =
z
(z 1)
2
(z + 1)
`a chacun de ses poles.
6. Soient f et g deux fonctions holomorphes en z
0
et h(z) = f(z)/g(z).
Supposons que g admette un zero simple en z
0
. Calculer
Res(h, z
0
).
7. Soient p un polynome et ( un chemin ferme contenant tous ses zeros
dans son interieur. Calculer
1
2i
_
C
z
p

(z)
p(z)
dz.
70
8. Soient f une fonction enti`ere, (z) = (z z
1
)(z z
2
) (z z
n
)
un polynome ayant tous ses zeros distincts et ( un chemin ferme les
contenant tous dans son interieur. Montrer que
p(z) =
1
2i
_
C
f()
()
() (z)
z
d
est un polynome de degre n 1 qui concide avec f aux zeros de .
9. Determiner toutes les fonctions holomorphes reelles.
10. Determiner toutes les fonctions holomorphes de module constant.
11. Montrer que, si a > e, lequation az
n
= e
z
admet n racines dans le
disque unite. Montrer que ce disque nen contient aucune si ae < 1.
12. Demontrer : Soient D C un domaine et H, h : D C deux fonctions
holomorphes dans D. Soit ( est un chemin ferme contenu ainsi que son
interieur dans D. Si
[h(z)[ < [H(z)[ , z (,
alors H et H + h ont le meme nombre de zeros dans linterieur de (.
13. Montrer que les zeros du polynome 1 + 3z
m
+ 5z
n
(1 < m < n) sont
tous situes dans la couronne 1/3 < [z[ < 1.
14. Utiliser le calcul des residus pour calculer la transformee de Fourier de
la fonction
f(x) =
1
(1 + x
2
)
2
.
15. Montrer par le calcul des residus que
_
2
0
sin
a + sin
d = 2
_
1
a

a
2
1
_
lorsque a > 1.
16.

Evaluer par le calcul des residus
1
2
_
+

d
a + b cos + c sin
, a
2
> b
2
+ c
2
.
17. Montrer par le calcul des residus que
_
+
0
x
1 + x
n
dx =
/n
sin2/n
, n > 2.
71
18.

Evaluer par le calcul des residus
_
+
0
dx
x
p
(1 + x
2
)
, 0 < p < 1.
19. Calculer
_
+

e
px
1 + e
x
dx , 0 < p < 1.
72
8 PROPRI

ET

ES G

EOM

ETRIQUES DES FONC-


TIONS HOLOMORPHES
Les transformations du plan eectuees `a laide de fonctions holomorphes
jouissent dune propriete remarquable.
8.1 Transformations conformes
Lorsque deux courbes dierentiables (
1
et (
2
de parametrage respectif
z = z
1
(t) et z = z
2
(t) , a t b,
se coupent en un point z
0
= z
1
(t
0
) = z
2
(t
0
) , a < t
0
< b, langle quelles
forment est, par denition, langle (compris entre 0 et ) que forment les
vecteurs z

1
(t
0
) et z

2
(t
0
) :
= arccos
'
_
z

1
(t
0
)z

2
(t
0
)
_
[z

1
(t
0
)[[z

2
(t
0
)[
.
On remarque que langle forme par les courbes (
1
et (
2
est
= .
C
2
C
1

z
1
't
0

z
2
't
0

Fig. 13 Angle entre deux courbes


Soient D C un domaine, f : D C une fonction holomorphe et z
0

D. Supposons que f

(z
0
) ,= 0. Soient (
1
et (
2
deux courbes dierentiables
73
se coupant en z
0
. Alors t f(z
1
(t)) et t f(z
2
(t)) sont deux courbes
dierentiables se coupant en w
0
= f(z
0
). Langle quelles y forment est
arccos
'
_
f

(z
0
)z

1
(t
0
)f

(z
0
)z

2
(t
0
)
_
[f

(z
0
)z

1
(t
0
)[[f

(z
0
)z

2
(t
0
)[
= arccos
'
_
z

1
(t
0
)z

2
(t
0
)
_
[z

1
(t
0
)[[z

2
(t
0
)[
.
On exprime ceci en disant que la transformation w = f(z) est conforme
aux points o` u f

(z) ,= 0. Si f

(z
0
) = f

(z
0
) = = f
(n1)
(z
0
) = 0 et
f
(n)
(z
0
) ,= 0, on a
f(z) w
0
f
(n)
(z
0
)(z z
0
)
n
si z z
0
0
et la transformation multiplie les angles par n en z
0
.
Exemple. Considerons la transformation w = z
2
(page 17). On a
u = x
2
y
2
et v = 2xy.
Les images inverses des courbes u = cste et v = cste sont les hyperboles
x
2
y
2
= u et xy =
v
2
respectivement (gure 2, page 20). Ces courbes se coupent `a angle droit :
on a
z
1
(t) = t + i
_
t
2
u et z
2
(t) = t + i
v
2t
.
Lorsque les hyperboles se coupent,
_
t
2
u =
v
2t
et
'
_
z

1
(t)z

2
(t)
_
= 1
tv
2t
2

t
2
u
= 0.
Au point 0, les images inverses des courbes u = 0 et v = 0 sont les droites
y = x , y = 0 et x = 0 qui se coupent sous un angle de /4.
Exemple. Considerons la transformation w = e
z
(page 23). On a
u = e
x
cos y et v = e
x
siny.
Les images directes des courbes x = cste et y = cste sont les cercles
u
2
+ v
2
= e
2x
74
et les droites
v = utany
respectivement. Ces courbes se coupent `a angle droit : on a
z
1
(t) = e
x+i t
et z
2
(t) = t(+i tany).
`
A lintersection,
e
x
cos t = t , e
x
sint = t tany
et
'
_
z

1
(t)z

2
(t)
_
= e
x
sint + e
x
cos t tany = 0.
8.2 Les transformations homographiques
Les fonctions homographiques
T(z) =
az + b
cz + d
, ad bc ,= 0,
forment un groupe pour le produit fonctionnel T
2
T
1
: on a
T
2
(T
1
(z)) =
a
2
a
1
z + b
1
c
1
z + d
1
+ b
2
c
2
a
1
z + b
1
c
1
z + d
1
+ d
2
=
(a
2
a
1
+ b
2
c
1
)z + (a
2
b
1
+ b
2
d
1
)
(c
2
a
1
+ d
2
c
1
)z + (c
2
b
1
+ d
2
d
1
)
avec
(a
2
a
1
+b
2
c
1
)(c
2
b
1
+d
2
d
1
)(a
2
b
1
+b
2
d
1
)(c
2
a
1
+d
2
c
1
) = (a
1
d
1
b
1
c
1
)(a
2
d
2
b
2
c
2
)
et
T
1
(z) =
dz b
cz + a
.
Ce groupe est engendre par
T
1
(z) =
1
z
, T
2
(z) = kz et T
3
(z) = z + k
puisque
T(z) =
a
c
+
b
c

a
c
d
c
z +
d
c
75
lorsque c ,= 0.
Puisque
T

(z) =
ad bc
(cz + d)
2
,
les transformations homographiques w = T(z) eectuent une representation
conforme de C d/c sur C a/c lorsque c ,= 0.
Un cercle de C est, par denition, limage par la projection stereographique
dun cercle sur S
2
(page 13). Il correspond `a lensemble des points z du plan
tels que
Czz + Az + Az = D (1)
avec
C, D R tels que CD < [A[
2
. (2)
Si w = 1/z, lequation (1) devient
Dww Aw Aw = C,
si w = kz, elle devient
C
[k[
2
ww +
A
k
w +
A
k
w = D
et si, enn, w = z + k, elle devient
Cww + (ACk)w + (ACk)w = D + Ak + Ak C[k[
2
.
Dans les trois cas, la relation (2) est preservee. Les transformations homo-
graphiques preservent donc les cercles de C et, par suite, elles preservent les
domaines circulaires, cest-`a-dire les domaines determines par les cercles
de C.
0 1 z
1
z
2
z
3
w Sz

Fig. 14 Une transformation homographique


76
Exemple. La transformation homographique appliquant trois points z
1
, z
2
et z
3
donnes sur 0, 1 et respectivement est
w = S
z
1
,z
2
,z
3
(z) =
z
2
z
3
z
2
z
1
z z
1
z z
3
.
Cette transformation applique donc le cercle de C passant par ces trois
points sur laxe reel, le sens de parcours du cercle determine par la position
des trois points correspondant au sens de parcours de `a + sur R et
les deux domaines circulaires determines par ce cercle de C etant appliques
sur les demi-plans 'w > 0 et 'w < 0.
Exemple. La transformation homographique la plus generale du demi-
plan 'z > 0 sur lui-meme est de la forme
w =
az + b
cz + d
o` u a, b, c, d R et ad bc > 0.
En eet, son zero et son pole doivent etre reels et elle doit etre croissante
sur laxe reel.
Le rapport anharmonique de quatre nombres complexes z
1
, z
2
, z
3
et
z
4
est
[z
1
, z
2
, z
3
, z
4
] =
(z
1
z
2
)(z
3
z
4
)
(z
1
z
4
)(z
3
z
2
)
.
(Cette denition est etendue par continuite pour accommoder le cas o` u lun
des points est ). Si, pour 1 j 4, w
j
= 1/z
j
, w
k
= kz
j
ou w = z
j
+ k,
on a
[w
1
, w
2
, w
3
, w
4
] = [z
1
, z
2
, z
3
, z
4
].
Les transformations homographiques preservent donc le rapport anharmo-
nique. La relation
[w
1
, w
2
, w
3
, w] = [z
1
, z
2
, z
3
, z]
fournit ainsi une facon dexprimer lunique transformation homographique
appliquant trois points donnes z
1
, z
2
, z
3
sur trois points donnes w
1
, w
2
, w
3
.
Elle permet par le fait meme dappliquer un cercle de C donne sur un cercle
de C donne ou un domaine circulaire donne sur un domaine circulaire donne.
Exemple. Pour appliquer le demi-plan x > 0 sur le demi-plan u +v > 1,
il sut dappliquer les points i, 0, i sur 1, (1 + i)/2, i, ce qui peut etre fait
`a partir de la relation
[1,
1 + i
2
, i, w] = [i, 0, i, z]
77
et qui donne
w =
1 + i
2
(z + 1).
Le symetrique z

dun point z par rapport au cercle de C passant par


z
1
, z
2
, z
3
est deni par la relation
[z
1
, z
2
, z
3
, z

] = [z
1
, z
2
, z
3
, z].
Cette denition, comme il se doit, ne depend que du cercle de C et non pas
des points z
1
, z
2
, z
3
choisis. En eet, la denition de z

peut etre reecrite


sous la forme :
z

= S
1
z
1
,z
2
,z
3
_
S
z
1
,z
2
,z
3
(z)
_
.
Si
1
,
2
,
3
sont trois autres points du cercle de C passant par z
1
, z
2
, z
3
, on
a
S
1

1
,
2
,
3
_
S

1
,
2
,
3
(z)
_
= S
1
z
1
,z
2
,z
3
_
S
z
1
,z
2
,z
3
(z)
_
si et seulement si
S

1
,
2
,
3
(z) = S

1
,
2
,
3
_
S
1
z
1
,z
2
,z
3
_
S
z
1
,z
2
,z
3
(z)
__
ou encore, en posant w = S
z
1
,z
2
,z
3
(z), si et seulement si
S

1
,
2
,
3
(S
1
z
1
,z
2
,z
3
(w)) = S

1
,
2
,
3
_
S
1
z
1
,z
2
,z
3
(w)
_
.
Cette derni`ere relation est vraie parce que la fonction
S

1
,
2
,
3
S
1
z
1
,z
2
,z
3
est reelle sur laxe reel (theor`eme 21, page 52).
Exemples. Lorsque le cercle de C est laxe reel, on retrouve
z

= z.
Lorsque le cercle de C est le cercle unite, on obtient
z

=
1
z
.
78
Puisquelles preservent la rapport anharmonique, les transformations ho-
mographiques preservent la symetrie par rapport aux cercles de C.
Exemple. La transformation homographique la plus generale du disque
D(0, 1) sur lui-meme est de la forme
w = k
z a
1 az
o` u [a[ < 1 et [k[ = 1.
En eet, si elle applique a sur 0, elle doit appliquer le symetrique 1/a de a
sur le symetrique de 0 et, si [z[ = 1, [z a[ = [1 az[.
8.3 Exercices
1. Soit w = cos z. Determiner limage des courbes x = cste et y = cste
sous cette transformation. Verier que ces images se coupent `a angle
droit lorsque z ,= k, k Z.
2. Verier que les transformations homographiques de la forme
w = k
z a
1 az
o` u [a[ < 1 , [k[ = 1,
forment un groupe.
3. Determiner limage du disque unite D(0, 1) sous la transformation ho-
mographique
w =
z
1 z
.
4. Representer conformement le disque unite D(0, 1) sur le demi-plan
w > 0 de telle sorte que trois points donnes e
i
, e
i
, e
i
o` u 0 < <
< < 2 soient appliques sur trois points 0 < a < b < c donnes.
5. Determiner une transformation homographique qui applique 1, i, 1
sur 0, 1, . Quelle est limage du disque unite D(0, 1) sous cette trans-
formation ?
6. Representer conformement le disque unite D(0, 1) sur le demi-plan
'w +w > 1.
7. Determiner le symetrique z

dun point z par rapport `a un cercle


[z z
0
[ = r.
8. Determiner la forme generale des transformations homographiques ap-
pliquant le disque D(z
0
, r) sur le disque D(0, 1).
9. Soit [z
0
[ < 1. Determiner une transformation homographique T du
disque unite sur lui-meme telle que T(z
0
) = 0 et T

(z
0
) > 0.
79
10. Montrer que la transformation homographique la plus generale qui
applique le demi-plan 'z > 0 sur le disque unite D(0, 1) est
w = k
z a
z a
o` u 'a > 0 , [k[ = 1.
Quelle est la transformation inverse ?
11. Soit f : D(0, 1) C une fonction holomorphe telle que [f(z)[ < 1.
Montrer que, quels que soient z
1
, z
2
, on a

f(z
1
) f(z
2
)
1 f(z
1
)f(z
2
)

< 1.
12. Soit f : D(0, 1) C une fonction holomorphe telle que [f(z)[ < 1.
Montrer que

f(z) f(0)
1 f(0)f(z)

[z[.
Que devient cette inegalite lorsque z 0 ?
13. Representer conformement le disque unite D(0, 1) sur le premier qua-
drant 'w > 0, w > 0.
14. Representer conformement le demi-plan z < 0 sur la bande a <
w < b.
15. Representer conformement le disque unite D(0, 1) sur C ] , 1/4].
80
9 FONCTIONS HARMONIQUES
Les fonctions holomorphes sont non seulement analytiques mais aussi
harmoniques.
9.1 Lequation de Laplace
Soit D R
n
un domaine et f : D C une fonction. Elle est harmo-
nique dans D si elle y admet des derivees partielles dordre deux continues
qui y satisfont lequation de Laplace :

2
f
x
2
1
+

2
f
x
2
2
+ +

2
f
x
2
n
= 0.
Une fonction complexe est donc harmonique si et seulement si sa partie reelle
et sa partie imaginaire le sont.
Les fonctions harmoniques jouent un role important en mathematiques
appliquees, particuli`erement en physique mathematique.
Exemple. Lorsque dans une region de lespace R
3
letat stationnaire est
atteint, la temperature T(x, y, z) y satisfait lequation de Laplace. Dans
certaines circonstances, par exemple lorsque la region en question est un
cylindre inni dans la direction de z, T ne depend que de deux variables
x et y.
Soient D C un domaine et f : D C une fonction holomorphe. Alors
f est harmonique dans D. En eet, on a
f
x
= lim
h0
f(x + h + i y) f(x + i y)
h
= f

(x + i y)
et
f
y
= lim
h0
f(x + i (y + h)) f(x + i y)
h
= if

(x + i y)
de telle sorte que

2
f
x
2
+

2
f
y
2
= f

(x + i y) f

(x + i y) = 0.
La partie reelle et la partie imaginaire dune fonction holomorphe sont donc
des fonctions harmoniques reelles on dit quelles sont des fonctions har-
moniques conjuguees. Cet enonce admet une recipoque.
81
Si D C un domaine contenant le disque D(z
0
, r) et u : D R est une
fonction harmonique reelle dans D, il existe une fonction f : D(z
0
, r) C
holomorphe dont u est la partie reelle dans D(z
0
, r) :
u = 'f dans D(z
0
, r).
Les derivees partielles u
x
et u
y
, admettant des derivees partielles continues
dans D, sont elles-meme continues dans D. Posons
v(x, y) =
_
x
x
0

u
y
(, y
0
) d +
_
y
y
0
u
x
(x, ) d
pour (x x
0
)
2
+ (y y
0
)
2
< r
2
. Alors
v(x, y + y) v(x, y)
y
=
1
y
_
y+y
y
u
x
(x, ) d
u
x
(x, y)
lorsque y 0. En vertu du theor`eme des accroissements nis, il existe
[0, 1] tel que
v(x + x, y) v(x, y)
x
=
1
x
_
x+x
x

u
y
(, y
0
) d +
1
x
_
y
y
0
_
u
x
(x + x, )
u
x
(x, )
_
d
=
1
x
_
x+x
x

u
y
(, y
0
) d +
_
y
y
0

2
u
x
2
(x + x, ) d

u
y
(x, y
0
) +
_
y
y
0

2
u
x
2
(x, ) d
=
u
y
(x, y
0
)
_
y
y
0

2
u
y
2
(x, ) d =
u
y
(x, y
0
)
u
y
(x, y) +
u
y
(x, y
0
)
=
u
y
(x, y)
lorsque x 0 en utilisant la continuite uniforme de u
xx
puis lequation de
Laplace.
La fonction
f(z) = u(x, y) + i v(x, y),
ayant dans D(z
0
, r) une partie reelle et une partie imaginaire admettant des
derivees partielles continues qui satisfont les equations de Cauchy-Riemann,
y est donc holomorphe.
82
9.2 Proprietes
Les proprietes des fonctions holomorphes ne se traduisent pas toutes par
des proprietes analogues pour les fonctions harmoniques de C vers C.
Deux fonctions harmoniques peuvent concider sur un ensemble avec
point daccumulation sans necessairement concider partout, par exemple,
u
1
(x, y) = 0 et u
2
(x, y) = y concident sur laxe reel.
Une fonction harmonique reelle u ne peut avoir ni maximum ni minimum
local car, si, au voisinage de z
0
, on a u = 'f avec f holomorphe, la fonctions
holomorphe e
f
ne peut avoir ni module maximum ni module minimum en
z
0
.
Limage, enn, dun domaine par une fonction harmonique reelle est un
intervalle ouvert donc, limage dun domaine par une fonction harmonique
complexe est un domaine.
Theor`eme 29 (Poisson) Soient D C un domaine contenant le disque
D(0, 1) et u : D R une fonction harmonique reelle dans D. Alors, on a,
pour tout r < 1,
u(re
i
) =
1
2
_
+

1 r
2
1 2r cos( t) + r
2
u(e
i t
) dt.
Demonstration. La distance entre le cercle [z[ = 1 et lensemble D
c
etant strictement positive (exercice 1, page 27), il existe R > 1 tel que
D(0, R) D. Soit f : D(0, R) C une fonction holomorphe telle que
u = 'f dans D(0, R).
Designons par C le cercle unite parcouru dans le sens positif et par z le point
re
i
. En vertu de la formule et du theor`eme de Cauchy, on a
f(z) =
1
2i
_
C
f()
z
d
et
0 =
1
2i
_
C
f()
1/z
d.
Soustrayant,
f(z) =
1
2i
_
C
z 1/z
( z)( 1/z)
f() d
et parametrant,
f(re
i
) =
1
2
_
+

1 r
2
1 2r cos( t) + r
2
f(e
i t
) dt.
Le resultat suit en prenant les parties reelles de chaque membre. C.Q.F.D.
83
9.3 Application aux EDP
Une

Equation aux Derivees Partielles est une equation dont linconnue
est une fonction de plusieurs variables et qui contient des derivees partielles
de cette fonction lexpression soppose aux

Equations Dierentielles Ordinaires
pour les fonctions dune seule variable. Les EDP les plus simples admettent
souvent des solutions exprimables au moyen des fonctions elementaires de
lanalyse en general, des methodes numeriques sont necessaires.
Exemple. Le probl`eme de Dirichlet consiste `a determiner une fonction
harmonique dans un domaine qui prenne des valeurs donnees sur le bord de
ce domaine.
La demonstration du prochain theor`eme sappuiera sur le resultat auxi-
liaire suivant.
Lemme 1 Soit : [a, b] [, ] R une fonction continue admettant une
derivee partielle par rapport `a son premier argument telle que la fonction

x
: [a, b] [, ] R soit aussi continue. Alors
d
dx
_

(x, t) dt =
_

x
(x, t) dt.
Demonstration. En vertu du theor`eme des accroissements nis, il existe
[0, 1] tel que
1
x
_

((x + x, t) (x, t)) dt


=
_

x
(x + x, t) dt
_

x
(x, t) dt
lorsque x 0, en vertu de la continuite uniforme de la fonction
x
.
C.Q.F.D.
Theor`eme 30 (Poisson) Soit U : R R une fonction continue et periodique
de periode 2. Alors la fonction u : D(0, 1) R denie par
u(re
i
) =
1
2
_
+

1 r
2
1 2r cos( t) + r
2
U(t) dt
est harmonique et, pour tout ,
lim
r1
u(re
i
) = U().
84
Demonstration. On a
u(re
i
) =
1
2
_
+

1 r
2
1 2r cos( t) + r
2
U(t) dt
=
1
2
_
+

1 r
2
1 2r cos s + r
2
U( s) ds.
La fonction u est la donc convolution de la donnee U avec le noyau de Poisson
P
r
(s) =
1 r
2
2(1 2r cos s + r
2
)
sur lintervalle [, ]. Puisque (z = re
i
, = e
i t
)
P
r
( t) =
1
1 z
+
z
1 z
,
ce noyau est une fonction harmonique dans D(0, 1) (exercice 2, page 88)
on peut dailleurs le verier directement de son expression en coordonnees
cartesienne
1 x
2
y
2
1 2xcos t 2y sint + x
2
+ y
2
.
En utilisant le lemme precedent, on voit de sa premi`ere expression que la
fonction u est harmonique dans D(0, 1). Pour calculer la limite, on utilise la
seconde expression. Comme
P
r
(s) 0 et
_
+

P
r
(s) ds = 1,
on a
[u(re
i
) U()[ =

_
+

P
r
(s)(U( s) U()) ds

_
+

P
r
(s)[U( s) U()[ ds
=
_
|s|<
P
r
(s)[U( s) U()[ ds +
_
|s|
P
r
(s)[U( s) U()[ ds
sup[U( s) U()[ [ [s[ <
+2 sup[U(t)[ [ t R
1 r
2
2(1 2r cos + r
2
)
.
85
-3 -2 -1 1 2 3
2
4
6
8
10
12
Fig. 15 Le noyau de Poisson
Donne > 0, on peut choisir > 0 pour que le premier terme soit inferieur
`a /2 et ensuite r > r
,
= r

pour que le second terme satisfasse la meme


inegalite. C.Q.F.D.
Remarque. Puisque (z = re
i
, = e
i t
)
P
r
( t) =
+

k=
r
k
e
i k(t)
,
on a
u(re
i
) =
+

k=
r
k
c
k
e
i k
o` u
c
k
=
1
2
_
+

U(t)e
i kt
dt
est le k
i`eme
coecient de Fourier de la fonction U.
Remarque. La demonstration precedente etablit en fait que
lim
r1
u(re
i
) = U()
aux points de continuite de U U peut avoir des points de discontinuite
pourvu quelle soit integrable et bornee. Considerons ainsi la fonction U
denie sur ] , ] par
U(t) =
_
1 si 0 t ,
1 si < t < 0.
86
Alors
u(re
i
) =
1
2
_

0
1 r
2
1 2r cos s + r
2
dt
1
2
_
0

1 r
2
1 2r cos s + r
2
dt
=
1
2
_

0
_
+

k=0
r
k
e
i k(t)
+
+

k=1
r
k
e
i k(t)
_
dt

1
2
_
0

_
+

k=0
r
k
e
i k(t)
+
+

k=1
r
k
e
i k(t)
_
dt
=
2
i
_
_
+

j=0
r
2j+1
e
i (2j+1)
2j + 1

+

j=0
r
2j+1
e
i (2j+1)
2j + 1
_
_
=
2
i
((z) (z)) =
4

(z)
en integrant les series terme `a terme et en posant
(z) =
+

j=0
z
2j+1
2j + 1
, [z[ < 1.
En utilisant la transformation homographique
T(z) =
1 + z
1 z
,
on peut ecrire
(z) =
_
z
0
d
1
2
=
1
2
_
z
0
T

()
T()
d =
1
2
log T(z).
Puisque 'T(z) > 0 lorsque [z[ < 1, on a
u(re
i
) =
2

arctan
T(z)
'T(z)
cest-`a-dire nalement
u(re
i
) =
2

arctan
2r sin
1 r
2
(gure 16, page 88).
87
-0.5
0
0.5
1
x
-1
-0.5
0
0.5
1
y
-1
-0.5
0
0.5
1
u
-
-
0
Fig. 16 Un probl`eme de Dirichlet
9.4 Exercices
1. Soient u : C R une fonction harmonique reelle et : R R
une fonction admettant une deuxi`eme derivee continue. Sous quelles
conditions la fonction composee u est-elle harmonique ?
2. Soient D C un domaine et f : D C une fonction holomorphe.
Montrer que la fonction
u(z) = f(z)
est harmonique dans D.
3. Sous quelles conditions le polynome
u(x, y) = ax
3
+ bx
2
y + cxy
2
+ dy
3
est-il harmonique ?
4. Determiner une fonction enti`ere dont u(x, y) = xy est la partie reelle.
5. Determiner une fonction enti`ere dont u(x, y) = x
3
3xy
2
+ 2y est la
partie reelle.
88
6. Soit f une fonction enti`ere. Verier que la fonction (z) = ln[f(z)[
satisfait lequation de Laplace.
7. Soit f une fonction enti`ere. Verier que

2
[f[
2
x
2
+

2
[f[
2
y
2
= 4[f

[
2
.
8.

Evaluer
_
2
0
dt
1 2r cos t + r
2
, 0 < r < 1.
9.

Evaluer
_
2
0
sinnt dt
R
2
2rRcos( t) + r
2
, 0 < r < R.
89
References
[1] Henri Cartan. Theorie elementaire des fonctions analytiques dune ou
plusieurs variables complexes. Hermann, Paris, 1985.
Manuel de premier cycle,
Math-Info QA 331 C37 1978.
[2] Jean Kuntzmann. Variable complexe. Hermann, Paris, 1967.
Manuel de premier cycle,
Math-Info QA 331 K86.
[3] Herbert Robbins Richard Courant. What is Mathematics ? Oxford Uni-
versity Press, Toronto, 1978.
Ouvrage classique de vulgarisation,
Math-Info QA 37 C68.
[4] Walter Rudin. Analyse reelle et complexe. Masson, Paris, 1975.
Manuel de deuxi`eme cycle,
Math-Info QA 300 R8312.
90
Index
angle entre deux courbes, 73
argument, 6
cercle de C, 76
chemin, 37
conjugue, 5
convolution, 85
corps algebriquement clos, 22
courbe continue, 19
courbe dierentiable, 34
courbe dierentiable par morceaux,
37
courbe lineaire par morceaux, 19
derivees partielles, 31
determination dune fonction mul-
tivoque, 44
degre dune fonction rationnelle, 23
domaine, 13
domaine circulaire, 76
domaine exterieur, 34
domaine interieur, 34
domaine simplement connexe, 42
ensemble borne, 11
ensemble compact, 11
ensemble connexe, 13
ensemble connexe par arc, 19
ensemble convexe, 19
ensemble ferme, 10
ensemble ouvert, 10
equation de Laplace, 81
equations de Cauchy-Riemann, 32
fonction analytique, 50
fonction continue, 17
fonction enti`ere, 50
fonction harmonique, 81
fonction holomorphe, 29
fonction homographique, 75
fonction meromorphe, 58
fonction uniformement continue, 17
forme polaire, 6
formule dEuler, 24
formule de Cauchy, 42
formule de de Moivre, 7
formule de Poisson, 83
inegalites de Cauchy, 51
integrale curviligne, 37
Jordan, 34
longueur dune courbe, 36
module, 5
multiplicite dun zero, 51
normale, 35
noyau de Poisson, 85
ordre dun zero, 51
pole, 57
pole dune fonction rationnelle, 23
param`etre admissible, 34
partie imaginaire, 5
partie reelle, 5
parties principales, 58
plan acheve, 13
point de ramication, 58
point symetrique, 78
principe de largument, 61
principe de symetrie, 78
principe du prolongement analy-
tique, 52
probl`eme de Dirichlet, 84
91
projection stereographique, 13
residu, 59
r`egles des exposants, 25
racine primitive de lunite, 7
rapport anharmonique, 77
sens de parcours positif, 35
singularite apparente, 57
singularite essentielle, 58
singularite isolee, 57
sph`ere de Riemann, 13
surfaces de Riemann, 58
tangente, 35
theor`eme fondamental de lalg`ebre,
22
transformee de Fourier, 63
transformation conforme, 74
transformation homographique, 75
92

You might also like