Fonctions holomorphes

Pour la Licence 3 - Mathématiques

de l’Université de Rennes
 Ce polycopié de cours est basé sur un polycopié réalisé par Anna Lenzhen. Il
s’inspire beaucoup des livres de Remmert et Ullrich, cité avant le chapitre 1.

Le template utilisé pour le rendu du polycopié est le Legrand Orange Book disponible
sur le web à l’adresse suivante :
https: // www. latextemplates. com/ template/ the-legrand-orange-book

Polycopié distribué sous la licence Creative Commons : CC-by-nc-sa

 Table des matières

1 Dérivabilité complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
I Rappel : Topologie métrique, un peu de vocabulaire pratique 9
II Dérivabilité complexe 10
1 Rappel - limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 La C-dérivabilité, c’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3 Premières propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
5 Contre-exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
III Fonctions holomorphes 13
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3 Dérivation des composées . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

2 Séries entières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
I Modes de convergence de suites et séries de fonctions 15
1 Convergence simple, uniforme, etc ... pour les fonctions . . . . . . . . . . . . . . . . . . . 15
2 Interlude : norme infinie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3 Convergence simple, uniforme, normale, etc ... pour les séries . . . . . . . . . . . . . . . 16
II C’est quoi une série entière ? 17
1 Definition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
III Rayon de convergence 18
1 Le lemme d’Abel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Le rayon de convergence, c’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3 lim inf, lim sup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4 Quelques formules de calcul du rayon de convergence . . . . . . . . . . . . . . . . . . . . . 20
5 Bilan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
IV Exemples 22
V Manipulation sur les séries entières 23
VI Holomorphie des séries entières. 24
VII Principe des zéros isolés 26

3 Exemples de fonctions holomorphes . . . . . . . . . . . . . . . . . . . . 27

I Exponentielle 27
II Les fonction trigonométriques 30
III Les fonctions logarithmes 31
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2 Propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
IV Les fonctions puissances 33

4 Applications biholomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
I C’est quoi ? 35
II Homographie ou transformation de Moëbius 36
1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2 Point de vue action de groupe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3 Exemple I : Les similitudes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4 Exemple II : : L’application de Cayley. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
III Automorphismes 39
1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2 Les automorphismes de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3 Les automorphismes de H . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
4 Les automorphismes de D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

5 La théorie de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
I Intégration d’une fonction R ⊃ I → C. 43
II Intégration d’une fonction C ⊃ U → C sur des chemins 44
1 Un chemin lisse, c’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2 Un calcul fondamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3 Un chemin, c’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
4 Indépendance de l’intégrale vis-à-vis de la paramétrisation . . . . . . . . . . . . . . . . . . 46
5 Intégrale le long d’un multi-chemin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
6 Les règles de calcul de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
7 Longueur d’un chemin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
8 L’inégalité Max-Longueur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
III Connexe, Connexe par arcs, connexe par segments, étoilé, convexe 49
IV Le théorème de Cauchy pour les dérivées 50
1 Chemin vs lacet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2 Existence de C-primitive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
V Le théorème de Cauchy pour les triangles 53
VI Le théorème de Cauchy pour les ouverts étoilés 57
VII La formule de Cauchy pour les disques 58

6 Application de la théorie de Cauchy . . . . . . . . . . . . . . . . . . . . 61

I Analycité 61
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2 Holomorphe implique analytique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3 Sur les zéros des fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4 Théorème de prolongement de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
II Définitions équivalentes de l’holomorphie 68
III Les inégalités de Cauchy pour les dérivées 69
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2 Le théorème de convergence de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3 Le théorème de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4 Théorème fondamental de l’algèbre par le Théorème de Liouville . . . . . . . . . . . . . 73
IV Le principe du maximum 74
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2 La démo par Gutzmer-Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
V Théorème de l’image ouverte 76
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2 Démo par le principe du minimum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

7 Théorie des résidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79

I Les 3 types de singularités isolées 79
1 Le lemme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
2 La définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3 Fonctions méromorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4 Développement au voisinage des pôles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
II Indice d’un point par rapport à une courbe 84
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
2 Propriétés de l’indice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
III Théorème de Cauchy (dernière version) 89
IV Résidus 91
V Quelques règles de calcul de résidus 93
VI Quelques exemples d’utilisation du théorème des résidus 94
1 Premier exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
2 Deuxième exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
3 Troisième exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95

8 Lien entre l’analyse complexe et le calcul différentiel réel

99
I Applications C-linéaires vs R-linéaires 99
II Les équations de Cauchy-Riemann 100
1 Différentiabilité - crash recall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
2 Le lien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
III Fonctions harmoniques 102
1 C’est quoi ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
IV Conformité et holomorphie 103
1 Angles entre deux vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
2 Angles entre chemins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
3 Image d’un chemin par une application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
4 Angle entre deux chemins images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
5 Application conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
V Bonus : les fonctions harmoniques sont toutes parties réelles d’une
fonction holomorphe 105
 7

Je conseille les livres suivants, les deux premiers sont des livres de "complément
de cours" (pour aider à la compréhension du cours, avoir un autre point de vue en
restant proche du contenu du cours), les deux derniers des livres "pour aller plus
loin" (voir beaucoup plus loin) :
1. Complex made simple de Ullrich (Chapitre 1 à 5).
(a) Le chapitre 1 sera vu en dernier.
(b) Un étudiant motivé peut tout lire.
2. Theory of Complex functions de Remmert (On va tout survoler)
(a) Chapitre 0 plein de révisions.
(b) Beaucoup de points historiques.
(c) Le point important du chapitre 1 sera fait en dernier.
(d) Beaucoup de rappels à chaque chapitre.
3. Analyse complexe de Amar et Matheron (Chapitre 3, 4, 8)
(a) Le chapitre 1, c’est pas mauvais de le lire.
(b) On en ferra moins à chaque fois dans chaque chapitre.
(c) Les chapitres 5, 6 et 7 sont intéressants, je conseille fortement le chapitre
5.
(d) Le livre est entièrement accessible si on est motivé.
4. Analyse réelle et complexe de Rudin (Chapitre 10, un peu de 11 et 12)
(a) Un grand classique mais beaucoup plus difficile.
 1. Dérivabilité complexe

I Rappel : Topologie métrique, un peu de vocabulaire pratique

Dans ce cours nous allons étudier des fonctions définies sur C ou sur une partie
de C, où C est l’ensemble des nombres complexes.

La fonction d ∶ C × C → R définie par d ( z, w) = ∣ z − w∣ est la métrique euclidienne

de C.

Dans tout ce cours, on utilisera des notions de topologie métrique (Cf cours TOPG
- Topologie générale ) sur l’espace métrique (C, d (⋅, ⋅)). Pour z ∈ C et r > 0, on note :

B( z, r ) = D( z, r ) = {w ∈ C, ∣ z − w∣ < r }

la boule ouverte de rayon r centrée en z et on note :

B( z, r ) = D( z, r ) = {w ∈ C, ∣ z − w∣ ⩽ r }

la boule fermée de rayon r centrée en z.

Définition 1.1 Un ensemble U ⊂ C est ouvert (dans C) si pour tout z ∈ U , il existe

r > 0 tel que la boule B( z, r ) est contenue dans U .
Un ensemble F ⊂ C est fermé (dans C) si F c = C ∖ F est ouvert.

Proposition 1.2 Un ensemble F ⊂ C est fermé si pour tout suite convergente F ∋

z n → z∞ , on a z∞ ∈ F .

∎ Exemple 1.3 Les boules ouvertes sont ouvertes. Les boules fermées sont fermées. ∎
 10 Chapitre 1. Dérivabilité complexe

Proposition 1.4
— Une union quelconque d’ouverts est ouverte.
— Une intersection finie d’ouverts est ouverte.
— Une intersection quelconque de fermés est fermée.
— Une union finie de fermés est fermée.

Corollaire 1.5 Soit A ⊂ C,

— l’intersection des fermés contenant A est un fermé, noté A , appelé adhérence
de A. C’est le plus petit fermé contenant A .
— Avec des symboles : A = ⋂ F.
F ⊃ A, F fermé

— l’union des ouverts contenu dans A est un ouvert, noté Å ou Int( A ), appelé
l’intérieur de A .
— Avec des symboles : Å = ⋃ U.
U⊂ A, U ouvert

Proposition 1.6 L’adhérence de X est l’ensemble des limites possibles des suites
de points de X . L’intérieur de X est l’ensemble des points de X qui admettent un
voisinage inclus dans X .

Démonstration. Cf cours TOPG. ∎

II Dérivabilité complexe
1 Rappel - limite
Définition 1.7 Soit f ∶ D → C une fonction définie sur un ensemble D ⊂ C et w ∈ D .
On dit que f admet ℓ ∈ C pour limite en w et on écrit :

lim f ( z) = ℓ
z→w

si pour tout ε > 0, il existe δ > 0 tel que :

∀ z ∈ D, ∣ z − w∣ < δ ⇒ ∣ f ( z) − ℓ∣ < ε.

Définition 1.8 On dit que f est continue en w si w ∈ D et f admet une limite en w.

Remarque 1.9 Si f est continue en w alors on a lim f ( z) = f (w).

z→w
∎ ∎

2 La C-dérivabilité, c’est quoi ?

Définition 1.10 — C-dérivabilité. Soit U un ouvert de C et w un point de U . On dit
 II Dérivabilité complexe 11

que f est C- dérivable en w si la fonction τ définie par

f ( z ) − f ( w)
τ( z ) = , z ∈ U ∖ { w}
z−w
admet une limite au point w. Cette limite est alors appelée dérivée de f en w et
notée f ′ (w).

Proposition 1.11 — Caractérisation de la C-dérivabilité. Soit U un ouvert de C, w ∈ U

et f ∶ U → C une application. LASSE :
1. f est C-dérivable en w,
2. il existe une application f 1 ∶ U → C continue en w telle que pour tout z ∈ U

f ( z) = f (w) + f 1 ( z)( z − w),

3. Il existe a ∈ C tel que pour tout h dans un voisinage de 0 :

f (w + h) = f (w) + ah + o( h) lorsque h → 0.

Démonstration. Si f est C-dérivable en w, la fonction f 1 ∶ U → C définie par

⎧
⎪ f ( z)− f (w)
⎪ z − w , z ∈ D ∖ { w}
f 1 ( z) = ⎨
⎪ ′
⎩ f (w), z = w
⎪

est continue en w et vérifie f ( z) = f (w) + f 1 ( z)( z − w) pour tout z ∈ U .

Réciproquement, soit f 1 ∶ U → C une fonction continue en w et telle que f ( z) =
f (w) + f 1 ( z)( z − w) pour tout z ∈ U . Alors pour z ∈ U ∖ { c},

f ( z ) − f ( w)
= f 1 ( z ),
z−w

et comme f 1 est continue en w, f est C-dérivable en w et f ′ (w) = f 1 (w).

(1) ⇔ (3), cf TD. ∎

3 Premières propriétés
Proposition 1.12
1. Une application C-dérivable en w est continue en w.
2. Une somme, un produit des applications C-dérivables en w est C-dérivable
en w. Et,

( f + g)′ (w) = f ′ (w) + g′ (w) ( f g)′ (w) = f ′ (w) g(w) + f (w) g′ (w)

3. L’inverse 1f d’une application f qui est C-dérivable en w et non-nulle en w

est aussi C-dérivable en w. Et,
 12 Chapitre 1. Dérivabilité complexe

′ ′
1 f ′ ( w) f f ( w) g ′ ( w) − f ′ ( w) g ( w)
( ) ( w) = − ( ) ( w) =
f f ( w )2 g f (w)2

Démonstration. On peut voir facilement que C-dérivabilité implique continuité, c’est

à dire, si f est dérivable en w, elle est continue en w. En effet, puisque il existe f 1
continue en w telle que f ( z) = f (w) + f 1 ( z)( z − w), on conclut que f est continue en
w.
Faire la somme au tableau.
Le produit sera fait en TD.
L’inverse :
1
f ( w+ h)
− f (1w) f ( w) − f ( w + h) f ( w + h) − f ( w) 1 f ′ ( w)
= =− Ð→ − .
h f ( w) f ( w + h) h h f ( w) f ( w + h) h →0 f ( w )2

4 Exemples
Proposition 1.13
1. Les polynômes sont C-dérivables sur C.
2. Les fractions rationnelles (i.e. les quotients de polynômes) sont C-dérivables
sur leurs domaines de définition.

Démonstration. La fonction z ↦ z est clairement C-dérivable sur C, la proposition

est donc une conséquence directe de la proposition précédente. Néanmoins, on refait
le calcul pour z ↦ z m pour le plaisir :
Soit f ∶ C → C la fonction z → z m pour m ∈ N∗ . Soit c ∈ C et z = w + h, alors

f ( w + h) − f ( w) ( w + h) m − w m
=
h h
m
m k−1 m−k
= ∑ ( )h w
k =1 k
= mw m−1 + h Polynôme(h)
Ð→ mw m−1 .
h→0

5 Contre-exemples
Proposition 1.14
1. La conjugaison, f ( z) = z̄, n’est dérivable en aucun point.
2. Les fonctions parties réelles et imaginaires z ↦ Re ( z), Im ( z) et la fonction
module z ↦ ∣ z∣ ne sont dérivables en aucun point.
 III Fonctions holomorphes 13

Démonstration. En effet, soit w ∈ C.

f ( w + h) − f ( w) h
= .
h h
f ( z)− f (w)
Si h ∈ R, alors hh = 1, mais si h ∈ i R, alors h
h = −1. On en conclut que z−w n’admet
pas de limite lorsque z → w.

Si z ↦ Re ( z) était C-dérivable en w alors comme z ↦ z est C-dérivable sur C

et Re ( z) = z+2 z alors z ↦ z serait C-dérivable en w, absurde. Idem, pour la partie
imaginaire.

Si z ↦ ∣ z∣ était C-dérivable en zéro alors la fonction usuelle valeur absolue serait

R-dérivable en zéro, ce qui n’est pas le cas. Si z ↦ ∣ z∣ est dérivable en w ≠ 0 alors
z ↦ ∣ z∣2 = zz est dérivable en w, donc z ↦ z est dérivable en w, absurde. ∎

III Fonctions holomorphes

1 C’est quoi ?
Définition 1.15 — Holomorphie. Soit U un ouvert de C et f ∶ U → C une application.
On dit que f est holomorphe sur U si f est C-dérivable en tout point de U .

Notation 1.1. Si U est un ouvert de C, on notera H(U) l’ensemble des fonctions

holomorphes sur U .

Proposition 1.16 L’ensemble H(U) est une C- algèbre unitaire.

Démonstration. Il faut montrer que H(U) est un anneau (stable par somme et
produit), un C-espace vectoriel (stable par somme et multiplication par un scalaire)
et que la fonction constante égale à 1 est toujours dans H(U). Tout a déjà été fait. ∎

∎ Remarque 1.17 On verra plus tard que H(U) est un anneau intègre. ∎

2 Exemples
1. Les polynômes sont dans H(U), pour tout ouvert U ⊂ C.
2. Les fractions rationnelles sont holomorphes sur leurs domaines de définition.

3 Dérivation des composées

Théorème 1.18 — Dérivation des fonctions composées. Soit U , V ⊂ C des ouverts et
g ∶ U → V et f ∶ V → C des fonctions holomorphes. Alors la fonction f ○ g ∶ U → C est
holomorphe et pour tout c ∈ U ,

( f ○ g)′ (w) = f ′ ( g(w)) g′ (w).

14 Chapitre 1. Dérivabilité complexe

Démonstration. Exo TD. Il existe ε1 , ε2 tel que :

g(w + h) = g(w) + ah + hε1 ( h) f ( g(w) + k) = f ( g(w)) + bk + kε2 ( k)

Ainsi,

f ○ g(w + h) = f ( g(w) + ah + hε1 ( h))

´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¶
=k
= f ○ g(w) + b(ah + hε1 (h)) + (ah + hε1 (h))ε2 (ah + hε1 (h))
=abh + hε3 (h)

Ou avec des o :

f ○ g(w + h) = f ( g(w) + ah + o( h))

´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
=k
= f ○ g(w) + b(ah + o(h)) + (ah + o(h)) o(ah + o( h))
=abh + o(h)

∎
 2. Séries entières

I Modes de convergence de suites et séries de fonctions

1 Convergence simple, uniforme, etc ... pour les fonctions
Soit X ⊂ C, f n ∶ X → C une suite de fonctions et f ∞ ∶ X → C une fonction.
1. Convergence simple.
Définition 2.1 La suite ( f n )n∈N converge simplement sur X vers f ∞ lorsque :

∀x ∈ X , f n ( x) → f ∞ ( x).

Autrement dit,

∀ϵ > 0, ∀ x ∈ X , ∃ N ∈ N, ∀n ⩾ N, ∣ f n ( x) − f ∞ ( x)∣ < ϵ.

∎ Remarque 2.2 Cette convergence ne conserve pas la continuité (Penser à

x ↦ x n sur [0, 1]). ∎

2. Convergence uniforme.
Définition 2.3 La suite ( f n )n∈N converge uniformément sur X vers f ∞ ,
lorsque
∀ϵ > 0, ∃ N ∈ N, ∀n ⩾ N, ∀ x ∈ X ∣ f n ( x) − f ∞ ( x)∣ < ϵ.
On peut aussi écrire

∀ϵ > 0, ∃ N ∈ N, ∀n ⩾ N, sup ∣ f n ( x) − f ∞ ( x)∣ < ϵ.

x∈ X

3. Convergence uniforme locale.

 16 Chapitre 2. Séries entières

Définition 2.4 La suite ( f n )n∈N converge uniformément localement sur X

vers f ∞ lorsque pour tout x ∈ X , il existe U x un voisinage de x dans X tel
que la suite ( f n ∣Ux ) converge uniformement vers f ∞ ∣Ux

On rappelle sans preuve le théorème suivant :

Théorème 2.5 Soit ( f n )n∈N une suite de fonctions continues de X dans C.
Si les f n convergent uniformément localement vers f ∞ sur X , alors f ∞ est
continue dans X .

Démonstration. Cf cours AN4. Exo le refaire. ∎

4. Convergence uniforme sur tous les compacts.

Définition 2.6 La suite ( f n )n∈N converge uniformément vers f ∞ ∶ X → C
sur tout compact de X lorsque pour tout compact K de X , la suite ( f n ∣K )
converge uniformément vers f ∞ ∣K .

∎ Remarque 2.7 Si X est localement compact 1 (p.ex X est un ouvert de C) alors la

convergence uniforme locale sur X est équivalente à la convergence uniforme sur les
compacts de X . ∎

Bien entendu, on a les implication suivantes :

cv uniforme locale
cv uniforme ⇒ ⇕ ⇒ cv simple
cv uniforme sur les compacts

2 Interlude : norme infinie

Si f ∶ X → C est une application et A ⊂ X , on note :

∥ f ∥∞,A = ∥ f ∥A = sup ∣ f ( z)∣

z∈ A

On note B( A ) le C-espace vectoriel des fonctions bornées sur A . L’application

B( A ) ∋ f ↦ ∥ f ∥ A est une norme sur B( A ) (pas sur B( X )), muni de cette norme B( A )
est un espace de Banach.
Si K est compact alors le C-espace vectoriel des fonctions continues C(K ) est un
fermé de (B(K ), ∥ ⋅ ∥K ), donc un espace de Banach.
unif
Remarque 2.8 Soit ( f n )n et f ∞ dans B( X ) alors f n Ð→ f ∞ si et seulement si
n→∞
∎

∥ f n − f ∞ ∥ X → 0. ∎

3 Convergence simple, uniforme, normale, etc ... pour les séries

Soit X ⊂ C et u n ∶ X → C une suite de fonctions.
1. Convergence simple, uniforme, etc ...
1. i.e. X est séparé et tout point admet un voisinage compact.
 II C’est quoi une série entière ? 17

Définition 2.9
La série ∑ u n converge truc sur X lorsque la suite de fonctions des sommes
N
partiels S N ( x) = ∑ u n ( x) converge truc. Avec truc = simplement, uniformé-
n =0
ment, localement uniformément ou uniformément sur les compacts.
+∞
Dans n’importe lequel de ces cas, on appelle la fonction x ↦ ∑ u n ( x) la
n=0
somme de la série.

2. Convergence normale
Définition 2.10 La série ∑ u n converge normalement sur X lorsque la somme
+∞
∑ ∥u n ∥ X < ∞. Autrement dit, si et seulement si la série ∑ u n de l’espace de
n =0
Banach B( X ) est absolument convergente.

3. Convergence normale locale

Définition 2.11 La série ∑ u n converge localement normalement sur X
lorsque pour tout x ∈ X , il existe un voisinage U x ∋ x tel que la série ∑ u n∣Ux
converge normalement (sur U x ).

4. Convergence normale sur tous les compacts

Définition 2.12 La série ∑ u n converge normalement sur tous les compacts de
X lorsque pour tout compact K ⊂ X , la série ∑ u n∣K converge normalement
(sur K ).

Théorème 2.13 Si X est un ouvert, u n ∈ C( X ) et la série ∑ u n converge normale-

ment sur les compacts de X , alors sa somme est continue.

II C’est quoi une série entière ?

1 Definition
Définition 2.14 Une série entière de la variable z est une série de terme générale
z ↦ u n z n , u n ∈ C. On la note
∑ un zn.

Définition 2.15 Une série entière est dite convergente si elle converge en au moins
un autre point que 0.

2 Exemples
1. Les polynômes donnent des séries entières convergentes sur C.
2. La série entière ∑ n!
1 n
z converge pour tout z ∈ C et définit une fonction célèbre.
3. La série entière ∑ z n converge pour tout z ∈ B(0, 1).
4. La série entière ∑ n n z n n’est pas convergente.
 18 Chapitre 2. Séries entières

Démonstration. En effet, pour que si cette série converge en z0 ∈ C, alors

la suite ( n n ( z0 )n )n est bornée, mais si ∣ n n ( z0 )n ∣ ⩽ M pour tout n ∈ N, alors
∣ z0 ∣ ⩽ Mn pour tout n entier, et donc z0 = 0. ∎
′

III Rayon de convergence

∎ Rappel 2.16 Soit ∑ u n une série numérique (i.e. u n ∈ C)
— Si ∑ u n converge alors u n → 0.
— ∑ u n est dite grossièrement divergente lorsque u n →
/ 0.
∎

1 Le lemme d’Abel
Soit ( u n )n ∈ RN
+ , on pose :

R bornée = sup{ t ⩾ 0 ∣ la suite ( u n t n )n est bornée}

R sommable = sup{ t ⩾ 0 ∣ ∑ u n t n < ∞}
n ⩾0

Lemme 2.17 — Lemme d’Abel. R bornée = R sommable .

∎ Remarque 2.18 Il est clair que les ensembles { t ∣ la suite ( u n t n )n est bornée} et
{ t ∣ ∑n⩾0 u n t n < ∞} sont des intervalles de la forme [0, R∗ [ ou [0, R∗ ]. ∎

Démonstration. On rappelle que sommable implique converge vers zéro qui implique
bornée donc R sommable ⩽ R bornée .
Supposons R sommable < R bornée . Soit r, s tels que :

R sommable < r < s < R bornée

n n
On a ∑n⩾0 u n r n = ∞ mais u n r n = u n s n ( ) ⩽ M ( rs ) , absurde.
r
s ∎
± ® ´¹¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¶
bornée <1 sommable

2 Le rayon de convergence, c’est quoi ?

Théorème 2.19 — Rayon de convergence. Soit ∑ u n z n une série entière. Soit

R = sup{ t ⩾ 0, ∣ la suite ( u n t n )n est bornée } = sup{ t ⩾ 0, ∣ ∑ ∣ u n ∣ t n < ∞}

n ⩾0

Alors
1. La série entière ∑ u n z n converge normalement sur les compacts de B(0, R ).
2. La série numérique ∑ u n z n diverge grossièrement pour tout z ∉ B(0, R ).
On appelle R ∈ R+ ∪ {+∞} le rayon de convergence de ∑ u n z n .

Démonstration.
 III Rayon de convergence 19

1. Soit K un compact de B(0, R ), il existe s < R tel que K ⊂ B(0, s). Mais

∑ ∥u n z n ∥B(0,s) = ∑ ∣ u n ∣ s n < ∞.
n ⩾0 n ⩾0

La série ∑ u n z n converge normalement sur B(0, s), donc aussi sur K .

2. Si ∣ z∣ > R . Par définition de R , sup ∣ u n z n ∣ = +∞, en particulier la suite ( u n z n )n
ne tend pas vers zéro, donc ∑ u n z n diverge grossièrement. ∎

Corollaire 2.20 Si ∑ u n z n converge en z0 ≠ 0, alors la série converge normalement

sur les compacts de B(0, ∣ z0 ∣).

Démonstration. D’après le rappel, la suite ( u n z0n )n converge vers zéro , donc est
bornée, donc R ⩽ ∣ z0 ∣. ∎

∎ Remarque 2.21 Le comportement au bord du disque n’est pas dicté par le rayon de
convergence, tout est possible.
zn zn
1. Les séries entières ∑ z n , ∑ , ∑ 2 ont un rayon de convergence égale à 1.
n ⩾0 n ⩾0 n n ⩾0 n

2. Pour tout z tq ∣ z∣ = 1, la série numérique ∑ z n diverge (grossièrement).

n ⩾0
zn
3. Pour tout z tq ∣ z∣ = 1, la série numérique ∑ 2
converge absolument.
n ⩾0 n
zn
4. Pour z = 1, la série numérique ∑ diverge. Pour tout ∣ z∣ = 1, z ≠ 1 la série
n⩾0 n
zn
numérique ∑ converge 2 (non absolument).
n⩾0 n
∎

3 lim inf, lim sup

Si ( xn )n est une suite de nombre réels, on définit :

s n = sup xk i n = inf xk
k⩾ n k⩾ n

La suite ( s n )n est décroissante et la suite ( i n )n est croissante. Donc ces deux suites
convergent dans R = R ∪ {−∞, +∞}.

Définition 2.22

lim xn = lim sup xn = lim sup xk lim xn = lim inf xn = lim inf xk
n→∞ n→∞ n→∞ k⩾ n n→∞ n→∞ n→∞ k⩾ n

2. Pour z = −1, c’est le critère des séries alternées, pour z quelconque, voir le critère/transformation
d’Abel.
 20 Chapitre 2. Séries entières

Proposition 2.23 La suite ( xn )n converge dans R si et seulement si lim inf xn =

n→∞
lim sup xn . Et dans ce cas :
n→∞

lim xn = lim inf xn = lim sup xn .

n→∞

Définition 2.24 Tout réel qui est limite d’une suite extraite de la suite ( xn )n est
une valeur d’adhérence de ( xn )n .

∎ Remarque 2.25 La liminf est la plus petite valeur d’adhérence, la limsup la plus
grande. ∎

∎ Remarque 2.26 Pour tout ε > 0,

1. Tous les termes de la suite ( xn )n sauf un nombre fini appartiennent à l’inter-
valle ] lim inf xn − ε, lim sup xn + ε[.
2. Une infinité de termes de la suite ( xn )n appartiennent à l’intervalle ] lim inf xn −
ε, lim inf xn + ε[.
3. Une infinité de termes de la suite ( xn )n appartiennent à l’intervalle ] lim sup xn −
ε, lim sup xn + ε[.
∎

4 Quelques formules de calcul du rayon de convergence

Comme on va travailler avec des quantités positives, on utilisera la convention
1
0 = +∞ et +∞
1
= 0.

Cauchy-Hadamard
Théorème 2.27 — Formule de Cauchy-Hadamard. Le rayon de convergence d’une
série
∑ un zn
est
1 1
R= √ = lim inf √ .
lim supn n ∣ u n ∣ n n
∣u n ∣

Démonstration. On note
1
L ∶= lim inf √ .
n n
∣u n ∣
1. Soit t < L = lim √ 1
, il existe n 0 tel que pour tout n ⩾ n 0 ,
n
∣u n ∣

1
t⩽ √ .
n
∣u n ∣

D’où, pour tout n ⩾ n 0 :

∣u n tn ∣ ⩽ 1
Ainsi, la suite ( u n t n )n est bornée.
 III Rayon de convergence 21
√ √
2. Soit t > L, donc 1
t < L1 = lim n ∣ u n ∣, donc il existe n k → +∞ tel que n k ∣ u n k ∣ ⩾ 1/t.
Autrement dit,
∣ u n k ∣ t n k ⩾ 1.
Donc, la série ∑ ∣ u n ∣ t n diverge.
3. Donc R = L.
∎

D’Alembert
Théorème 2.28 — Règle de d’Alembert. Soit ( u n )n∈N une suite dans C avec u n ≠ 0
pour tout n sauf un nombre fini. Soit R le rayon de convergence de la série ∑ u n z n ,
alors
∣u n ∣ ∣u n ∣
lim inf ⩽ R ⩽ lim sup .
∣ u n+1 ∣ ∣ u n+1 ∣
∣u ∣
En particulier, si ∣un+n 1∣ → ℓ ∈ [0, ∞] alors R = ℓ−1 .

∣u n ∣
Démonstration. Soit t > T = lim sup ∣u . Il existe un n 0 ∈ N tel que pour tout n ⩾ n 0 :
n+1 ∣

∣u n ∣
t⩾
∣ u n+1 ∣

Soit B ∶= ∣ u n0 ∣ t n0 > 0.

∣ u n0 +1 ∣ t n0 +1 = ∣ u n0 +1 ∣ ⋅ t ⋅ t n0 ⩾ ∣ u n0 ∣ t n0 = B.

On montre par récurrence que ∣ u n0 +k ∣ t n0 +k ⩾ B pour tout k ∈ N. Donc la série numé-

rique ∑ ∣ u n ∣ t n diverge. Donc R ⩽ t, ceci pour tout t > T , donc R ⩽ T .
∣u n ∣
Soit t < S = lim inf ∣u . À partir d’un certain n 0 , pour tout n ⩾ n 0 , on a :
n+1 ∣

∣u n ∣
t⩽ .
∣ u n +1 ∣
Alors ∣ u n0 +1 ∣ t n0 +1 = ∣ u n0 +1 ∣ t⋅ t n0 ⩽ ∣ u n0 ∣ t n0 . On montre par récurrence que ∣ u n0 +k ∣ t n0 +k ⩽
∣ u n0 ∣ t n0 , donc la suite (∣u n ∣ t n )n est bornée. On conclut que R ⩾ t, ceci pour tout t < S
donc R ⩾ S . ∎

5 Bilan
On a donc 3 méthodes pour calculer un rayon de convergence :
1. La définition : chercher R tel que :
— Pour tout t < R , ( u n t n )n est bornée,
— Pour tout t > R , ( u n t n )n n’est pas bornée.
√
2. Chercher la limite de la suite n
∣ u n ∣. Une limsup suffit !
∣u ∣
3. Chercher la limite de la suite ∣un+n 1∣ . Si pas de limite, alors on a juste des estimés
du rayon de convergence.
 22 Chapitre 2. Séries entières

IV Exemples
Quelques exemples de séries entières et leurs rayons.
1. La série géométrique ∑ z n a R = 1 pour rayon de convergence (Les 3 méthodes
s’appliquent trivialement) . Sa somme sur B(0, 1) est f ( z) = 1−1 z . En effet :

N
1 − z N +1 +∞ 1
∑ zn = ↝ passage à la limite à z fixé ↝ ∑ zn =
n =0 1− z n =0 1− z

n
2. La série ∑ nz n a R = +∞ comme rayon de convergence. (La définition et Cauchy-
Hadamard s’appliquent trivialement). La série converge donc normalement
sur tous les compacts de C.
n
3. La série exponentielle ∑ zn! a R = +∞ comme rayon de convergence. (La défi-
nition ou la règle de d’Alembert s’appliquent trivialement). La série converge
donc normalement sur tous les compacts de C.
On définit
+∞ zn
exp( z) ∶= ∑ .
n =0 n !

(−1)n
4. La série ∑ (2n)! z2n a R = +∞ comme rayon de convergence. En effet, les coéffi-
cients u n de la série satisfont l’inégalité

1
∣u n ∣ ⩽
n!
donc la série converge en tout point où la série exponentielle converge. Donc
R = +∞. On note la somme
+∞ (−1)n 2n
cos( z) ∶= ∑ z .
n=0 (2 n)!

(−1)n
5. La série ∑ (2n+1)! z2n+1 a R = +∞ comme rayon de convergence, on raisonne
comme dans le cas précédent. On note la somme

+∞ (−1)n 2n+1
sin( z) ∶= ∑ z .
n=0 (2 n + 1)!

On remarque que les fonctions exp( z), cos( z), sin( z) coïncident sur R avec les
fonctions réelles exp( x), cos( x) et sin( x).
Formule d’Euler On vérifie facilement que

+∞ (i z)n i z (i z )2 z3 z4
exp(i z) = ∑ = 1+ − − i + + . . . = cos( z) + i sin( z).
n =0 n! 1! 2! 3! 4!

(−1)n+1 z n
6. La série logarithme ∑ a un rayon de convergence R = 1 par le
n⩾1 n
 V Manipulation sur les séries entières 23

critère de d’Alembert. La somme

+∞ (−1)n+1 z n
λ( z) ∶= ∑
n =1 n

coïncide (exo, le justifier) avec ln(1 + x) quand z = x ∈] − 1, 1[.

V Manipulation sur les séries entières

Définition 2.29 (Produit de Cauchy) Si u = ( u n )n et v = (vn )n sont deux suites, le
produit de Cauchy des suites u et v est la suite p = u ∗ v définie par :
n
p n = ∑ u k v n− k
k=0

∎ Rappel 2.30 On rappelle le corollaire suivant du théorème de sommation par

paquets 3 .
— Si ∑ u n et ∑ vn sont des séries de termes ⩾ 0 alors :

∑ (u ∗ v)n = ( ∑ u n )( ∑ vn )
n ⩾0 n ⩾0 n ⩾0

— Si ∑ u n et ∑ vn sont des séries absolument convergentes alors ∑( u ∗ v)n est

absolument convergente et :

∑ (u ∗ v)n = ( ∑ u n )( ∑ vn )
n ⩾0 n ⩾0 n ⩾0

Théorème 2.31 Soit ∑ u n z n et ∑ vn z n deux séries entières de rayon de convergence

respectifs R u , R v > 0. On pose R m = min(R u , R v ). Alors, pour tout α, β ∈ C, on a :
— Le rayon de convergence R Σ de la série entière ∑(α u n + βvn ) z n vérifie :

RΣ ⩾ R m .

— Pour tout z ∈ B(0, R m ), on a :

∑ (αu n + βvn ) z n = α ∑ u n z n + β ∑ vn z n
n⩾0 n ⩾0 n ⩾0

3. Ils l’ont vu ? Soient ( u i ) i∈ I une famille de complexes et ( I i ) i une partition de I .

— Si u i sont ⩾ 0 alors ∑ i∈ I u i = ∑ i ∑ j∈ I i u j .
— Si ∑ i∈ I ∣ u i ∣ < ∞ alors ∑ i∈ I u i = ∑ i ∑ j∈ I i u j . .
Ici, I = N2 et I i = { ( p, q) ∈ N2 ∣ p + q = i }
 24 Chapitre 2. Séries entières

— Le rayon de convergence R Π de la série entière ∑( u ∗ v)n z n vérifie :

RΠ ⩾ R m .

— Pour tout z ∈ B(0, R m ), on a :

∑ (u ∗ v)n z n = ( ∑ u n z n )( ∑ vn z n )
n ⩾0 n⩾0 n ⩾0

∎ Remarque 2.32 Si R u ≠ R v alors R Σ = R m , c’est faux pour R Π , prendre f = 1 + z et

g = (1 + z)−1 . ∎

Démonstration. Pour la somme, voir la feuille de TD.

Pour le produit, soit 0 ⩽ r < R m , le rappel appliqué à la série de termes ⩾ 0 montre :

n
∑ ∑ ∣ u k ∣ r k ∣vn−k ∣ r n−k = ( ∑ ∣ u n ∣ r n )( ∑ ∣vn ∣ r n ) < ∞
n ⩾0 k =0 n ⩾0 n ⩾0

Donc, on peut donc appliquer le rappel à la série de termes complexes, on obtient :

n
∑ ∑ u k z k vn−k z n−k = ( ∑ u n z n )( ∑ vn z n )
n⩾0 k=0 n ⩾0 n ⩾0

pour tout z ∈ B(0, R m ). ∎

VI Holomorphie des séries entières.

Théorème 2.33
Si la série entière ∑ u n z n a un rayon de convergence R > 0, alors sa somme f ( z)
est holomorphe sur B(0, R ), et

f ′ ( z) = ∑ nu n z n−1 = ∑ ( n + 1) u n+1 z n .
n ⩾1 n ⩾0

Corollaire 2.34
Si la série entière ∑ u n z n a un rayon de convergence R > 0, alors :
— sa somme f ( z) est infiniment C-dérivable dans B(0, R ).
— f est holomorphe dans B(0, R ).
f (n) (0)
— Pour tout n ⩾ 0, u n = n! .
— Pour tout k ⩾ 0,
f ( k ) ( z ) = ∑ k !( ) u n z n − k .
n
n⩾ k k

Démonstration du Théorème 2.33. On commence par le lemme suivant :

VI Holomorphie des séries entières. 25

Lemme 2.35 Si la série entiére ∑ u n z n a R comme rayon de convergence, alors la

série ∑n⩾1 nu n z n−1 a R pour rayon de convergence.

Démonstration. On note R ′ , le rayon de convergence de la série ∑ nu n z n−1 :

R ′ = sup{ t ⩾ 0, sup{ n∣ u n ∣ t n−1 } < +∞}.

Si la suite ( n∣ u n ∣ t n−1 ) est bornée pour un t fixe, alors la suite (∣ u n ∣ t n ) est aussi
bornée. Donc R ⩾ R ′ .
Dans l’autre sens, soit r < R. Pour tout r < s < R , (∣ u n ∣ s n )n est une suite bornée.
Donc la suite
r n
∣ u n ∣ r n−1 n = ∣ u n ∣ s n ⋅
n
( ) ⋅
s r
rapidement →0 lentement →∞
suite bornée

est bornée. D’où R ′ ⩾ R.

∎

On pose :
+∞
g( z) ∶= ∑ nu n z n−1 .
n =1

D’après le Lemme 2.35, g est bien définie sur B(0, R ). Montrons que f est C-
dérivable sur B(0, R ) et f ′ = g.
Soit w ∈ B(0, R ).
+∞ +∞
f ( z) − f (w) = ∑ u n ( z n − w n ) = ( z − w) ∑ u n ( z n−1 + z n−2 w + . . . + zw n−2 + w n−1 )
n=1 n =1

Soit ϕn ( z) ∶= u n ( z n−1 + z n−2 w + . . . + zw n−2 + w n−1 ). Les fonctions ϕn sont continues.

On va montrer que la série ∑ ϕn converge normalement sur les compacts de B(0, R ).
Soit r tel que ∣w∣ < r < R . Alors

∥ϕn ( z)∥B(0,r) ⩽ ∣ u n ∣ nr n−1

mais ∑ ∣ u n ∣ nr n−1 converge après le Lemme 2.35, donc ∑ ϕn converge normalement

sur B(0, r ), donc converge normalement sur les compacts de B(0, R ). Le Théorème
2.13 montre que la somme ϕ( z) = ∑+∞ n=1 ϕ n est continue, et on a :
4

f ( z) = f (w) + ( z − w)ϕ( z)

donc f est C-dérivable en w et

+∞
f ′ (w) = ϕ(w) = ∑ nu n w n−1 = g(w).
n=1

∎
4. N.B. w est fixé.
 26 Chapitre 2. Séries entières

VII Principe des zéros isolés

Théorème 2.36 — Principe des zéros isolés - V1 - SE.
Soit f = ∑ u n z n une série entière convergente non identiquement nulle. Alors il
existe ϵ > 0 tel que f ne s’annule pas dans B(0, ε) ∖ {0}.

Lemme 2.37 Soit f = ∑ u n z n une série entière convergente dont l’un des coefficients
est non-nul vérifiant f (0) = 0. Il existe un entier k ⩾ 1 et une série entière g( z) =
∑ vn z n convergente telle que :
— f ( z) = z k g( z).
— g(0) ≠ 0.

Démonstration. Soit k = min{ n, u n ≠ 0}. Les séries ∑ u n+k z n et ∑ u n z n ont le même

rayon de convergence (Vérifiez ! ! !), on le note R .
+∞
Soit g( z) = ∑ u n+k z n la somme. On a bien f ( z) = z k g( z) sur B(0, R ) et g(0) =
n =0
u k ≠ 0. ∎

Démonstration. Grace au lemme, on écrit f ( z) = z k g( z) sur B(0, R ) avec g(0) ≠ 0.

Alors g est holomorphe et donc continue sur B(0, R ), il existe un ϵ > 0 tel que g ne
s’annule pas sur B(0, ε). ∎

Théorème 2.38 Soit f = ∑ u n z n et g = ∑ vn z n deux série entières convergentes. Si

f ( z) = g( z) sur un voisinage de 0 alors pour tout n ⩾ 0, u n = vn .

Démonstration. La série entière f − g s’annulle sur un voisinage de zéro donc tous

ses coefficients sont nuls. ∎
 3. Exemples de fonctions holomorphes

I Exponentielle
La fonction exp( z) ou e z est la fonction définie par
+∞ zn
z↦ ∑ ,
n=0 n!

elle a les propriétés suivantes :

1. e z est définie sur C (on a vu déja que R = ∞)
2. e z est holomorphe sur C et ( e z )′ = e z d’áprès le Théorème 2.34
3. e z+w = e z e w .

Démonstration. La série :
z k wl
∑
k,l ⩾0 k! l !

est sommable, on a donc l’égalité suivante :

⎧
⎪ zk zl
⎪
⎪
⎪ ( ∑ )( ∑ ) = e z ⋅ ew
⎪
⎪
⎪ k
⎪ k ⩾0 ! l ⩾0 l !
z k wl ⎪ n
( z + w) n
∑ = ⎨ 1 n! k n− k
= = e z+w
k,l ⩾0 k! l !
⎪
⎪ ∑ ∑ z w ∑
⎪
⎪
⎪ n ⩾0 n ! k=0 k ! ( n − k ) ! n ⩾0 n !
⎪
⎪
⎪ ´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
⎪
⎩ Newton

4. e z ne s’annule pas.
28 Chapitre 3. Exemples de fonctions holomorphes

Démonstration. e z e− z = 1. ∎

5. exp( z) = exp( z)

Démonstration. La conjugaison est continue, linéaire et z n = z n . ∎

Théorème 3.1 (Exponentiel réel, définition de e) La fonction exp restreinte à R est

une fonction continue strictement croissante qui vérifie :

lim exp = 0 lim exp = +∞ exp(0) = 1

−∞ +∞

On note e ∶= exp(1).

Démonstration. Il est clair que pour tout t ⩾ 0, exp( t) > 0, comme exp( t) exp(− t) = 1,
on en déduit que pour tout t ∈ R, exp( t) > 0. Mais exp′ = exp, donc exp est strictement
croissante.
Il est clair que exp( t) ⩾ 1 + t pour t ⩾ 0, donc lim exp = +∞, de nouveau la formule
+∞
exp( t) exp(− t) = 1 montre que lim exp = 0. ∎
−∞

Proposition 3.2 Pour tout t ∈ R, ∣ exp( it)∣ = 1.

Démonstration. En effet, ∣ exp( it)∣2 = e it e it = e it e− it = e0 = 1. ∎

On définit les fonctions cosinus et sinus, pour tout t ∈ R :

e it + e− it e it − e− it
cos( t) = Re (exp( it)) sin( t) = Im (exp( it)) cos( t) = sin( t) =
2 2i
En dérivant, l’identité d’Euler :

e it = cos( t) + i sin( t)

On obtient :
cos′ = − sin sin′ = cos
En regardant le DSE de exp, on obtient la formule, pour t ∈ R :

t2n
cos( t) = ∑ (−1)n
n ⩾0 (2 n)!

Définition 3.3 (Définition de π) La fonction cos possède un plus petit zéro stricte-
ment positif t 0 , on pose :
π ∶= 2 t 0 .
I Exponentielle 29

Démonstration. On a pour tout t > 0,

t2 t4
cos( t) < 1 − + .
2 4!

En particulier, cos(2) < −1/3. Comme cos est continue et cos(0) = 1, il existe bien un
plus petit zéro de cosinus sur l’axe réel. ∎

Théorème 3.4
1. e iπ//2 = i .
2. e z = 1 si et seulement si z/2π i ∈ Z.
3. La fonction exponentielle est périodique, de période 2π i .
4. L’application R ∋ t ↦ e it ∈ S1 est un morphisme de groupes surjectif, de noyau
2π Z .
5. L’application exp ∶ C → C∗ est un morphisme de groupes surjectif, de noyau
2π i Z.

Démonstration. 1. On a sin( t 0 ) = ±1 puisque ∣ e it0 ∣ = 1 mais sin′ ( t) = cos( t) > 0 sur

]0, t0 [ et sin(0) = 0 donc sin( t0 ) = 1 et e it0 = i .
2. On en déduit que e iπ = i 2 = −1, puis que e2iπ = 1. Soit z = x + i y tel que e z = 1.
Puisque e x = ∣ e z ∣ = 1, on a x = 0. Pour montrer que y/2π est un entier, on écrit
y = 2π N + y0 avec N ∈ Z et 0 ⩽ y0 < 2π, on obtient e i y0 = 1 ; pour conclure il suffit
donc de montrer que e i y ≠ 1 pour 0 < y < 2π.
Soit 0 < y < 2π, on écrit :
e i /4 =∶ u + iv.
y

Puisque 0 < y/4 < π/2, on a u, v > 0 mais on a aussi :

e i y = ( u + iv)4 = u4 − 6 u2 v2 + v4 + 4 iuv( u2 − v2 ).

Donc si e i y = 1 alors u2 − v2 = 0 mais u2 + v2 = ∣ e i y/4 ∣ = 1, ce qui entraîne u2 = v2 =

1/2, d’où e i y = −1 ≠ 1, absurde.

3. Clairement, exp est 2π i -périodique puisque e2π i = 1 et la formule d’addition

d’exponentiel. Et, toute période T doit vérifier e T = 1 d’où le résultat.
4. Le seul point manquant est la surjectivité. Soit w = u + iv de module 1, suppo-
sons u, v ⩾ 0, comme 0 ⩽ u ⩽ 1, il existe 0 ⩽ t ⩽ t 0 tel que cos( t) = u. Vérifions que
sin( t) = v. En effet, sin2 ( t) = 1 − cos2 ( t) = 1 − u2 = v2 donc sin( t) = ±v. Mais, sin
est croissante sur [0, t 0 ] donc sin( t) ⩾ 0, donc sin( t) = v.
Si u < 0, v ⩾ 0 alors − iw vérifie les conditions précédentes, autrement dit − iw =
e it pour un certain t ∈ R, donc w = e i( t+π/2) . On raisonne de façon similaire pour
les autres cas.
5. Le seul point manquant est la surjectivité. Soit w ∈ C∗ , on pose α = ∣w w∣
. Ainsi
∣α∣ = 1 et il existe y ∈ R tel que e i y = α. De plus, il existe x ∈ R tel que e x = ∣w∣. On
pose z = x + i y, on obtient e z = w.
 30 Chapitre 3. Exemples de fonctions holomorphes

II Les fonction trigonométriques

On pose, pour z ∈ C :

e iz + e− iz e iz − e− iz
cos( z) = sin( z) =
2 2i

Un calcul direct donne les DSE suivants :

+∞ (−1)n 2n +∞ (−1)n 2n+1

cos( z) = ∑ z sin( z) = ∑ z .
n =0 (2 n )! n=0 (2 n + 1)!

Proposition 3.5
1. cos et sin sont définies sur C,
2. sont holomorphes sur C avec cos′ = − sin et sin′ = cos.
3. cos(w + z) = cos(w) cos( z) − sin(w) sin( z)
4. sin(w + z) = sin(w) cos( z) + cos(w) sin( z).
5. cos et sin satisfont toutes les identités habituelles, par exemple :

sin2 ( z) + cos2 ( z) = 1

6. Les fonctions cos ∶ C → C et sin ∶ C → C sont surjectives.

7. En particulier, les modules de cos et de sin ne sont pas bornées.
8. Les deux fonctions sont périodiques de période T = 2π.

Démonstration. Les formules se vérifient alors en utilisant les propriétés de la

fonction exponentielle.
Vérifions que cos(C) = C. Soit w ∈ C, on cherche z ∈ C tel que cos( z) = w. Il faut
résoudre
e iz + e− iz
= w.
2
Avec la notation e iz = ζ, l’equation à resoudre est ζ2 − 2wζ − 1 = 0. Elle a deux solutions
ζ1 et ζ2 (peut être identiques) non-nuls. Comme la fonction exponentielle prend toutes
les valeurs dans C∗ , il existe z1 ∈ C tel que e iz1 = ζ1 . Alors cos( z1 ) = w. ∎

Définition 3.6 Une fonction f ∶ U → C holomorphe, est dite entière lorsque U = C.

Ex : Les polynômes, exp, cos, sin...

∎ Remarque 3.7 Le petit théorème de Picard dit que toute fonction entiere et non-
constante prend tout nombre complexe comme valeur, sauf peut-être un. ∎
 III Les fonctions logarithmes 31

III Les fonctions logarithmes

Notons ln le logarithme népérien R∗+ → R.

1 C’est quoi ?
Définition 3.8 Soit U un ouvert de C. Une détermination du logarithme sur U est
une fonction holomorphe ℓ sur U telle que

exp ○ ℓ = IdU .

2 Propriétés

Quelques propriétés des fonctions logarithmes :

1. Le fait que la fonction exponentielle ne s’annule pas implique que si ℓ est une
détermination du logarithme sur U alors 0 ∉ U .

2. Supposons que l’on cherche w ∈ C tel que e w = z pour un z ≠ 0 fixé.

Soit w = u + iv, alors e u+ iv = ∣ z∣ e iθ , où θ est un argument de z. D’où,

e u = ∣ z∣
{
v ≡ θ [2π]

Soit,
u = ln(∣ z∣)
{
v ≡ θ [2π]
Conclusion : toute fonction logarithme ℓ doit satisfaire :

Re (ℓ( z)) = ln ∣ z∣
{
Im (ℓ( z)) ≡ arg( z) [ 2π ]

Théorème 3.9 Soit U ⊂ C∗ un ouvert et f ∶ U → C une fonction continue. Si exp ○ f =

IdU , alors f est holomorphe sur U et f ′ ( z) = 1z pour tout z ∈ U .

Démonstration. Soit z ∈ U . Il suffit de montrer que f est C-dérivable en z et que

f ′ ( z) = 1z . Soit h ∈ C tel que z + h ∈ U . Notons w( h) = f ( z + h) − f ( z), cette fonction est
continue en 0 et w(0) = 0.
La fonction exponentielle est C-dérivable en 0, donc il existe une fonction ϵ
continue en 0 avec ϵ(0) = 0 telle que

e w(h) − e0 = (1 + ϵ( h))w( h).

32 Chapitre 3. Exemples de fonctions holomorphes

f ( z + h) − f ( z) =∶ w( h)
e w( h) − 1
=
1 + ϵ( h )
e f ( z + h)
e f ( z)
−1
=
1 + ϵ( h )
z+ h
−1
= z
1 + ϵ( h )
h
=
z(1 + ϵ( h))

d’où
f ( z + h) − f ( z ) 1 1
= Ð→ .
h z(1 + ϵ( h)) h →0 z
∎

∎ Remarque 3.10 Donc si f ∶ U → C est continue et vérifie exp ○ f = I d U , on peut

conclure que f est une fonction logarithme sur U . ∎

Définition 3.11 Une C-primitive d’une fonction f ∶ U → C est une fonction holo-
morphe telle que F ′ = f .

Proposition 3.12 Soit U un ouvert connexe.

1. Si ℓ ∶ U → C est une détermination du logarithme alors toute détermination
ℓ2 du logarithme sur U vérifie ℓ2 = ℓ + 2π ni , pour un certain entier n ∈ Z.
2. Si la fonction z ↦ 1/z admet une C-primitive F sur U alors il existe C ∈ C tel
que F + C est une détermination du logarithme sur U .

On va avoir besoin du résultat suivant qui sera démontré plus tard :

Théorème 3.13 Soit f ∶ U → C une fonction holomorphe sur un ouvert U connexe.

Si f ′ = 0 alors f est constante.

Démonstration. Plus tard ... ∎

Démonstration. 1. La fonction ℓ − ℓ2 est holomorphe et de dérivée nulle donc

constante sur U . Mais, pour tout z ∈ U , ℓ( z) − ℓ2 ( z) ∈ 2π i Z.
2. On a :
′
exp(F ( z)) z × F ′ ( z) exp(F ( z)) − 1 × exp(F ( z))
( ) = =0
z z2
Soit C tel que :
exp(F ( z)) = e−C z, ∀z ∈ U
 IV Les fonctions puissances 33

∎
∎ Remarque 3.14 On verra que l’existence de primitive dépend de la topologie de U . ∎

3 Exemples
1. Sur B(1, 1). La fonction holomorphe ℓDSE ∶ B(1, 1) → C définie par
+∞ (−1)n−1
ℓDSE ( z) = ∑ ( z − 1)n
n =1 n

est une détermination du logarithme sur la boule unité centrée en 1, puisque

ℓ′DSE ( z) = 1/z et f (1) = 0.
2. Sur DPE = { z ∈ C ∣ Re ( z) > 0}. La fonction

ℓarctan ∶ DPE Ð→ C
z = x + i y z→ 12 log( x2 + y2 ) + i arctan x
y

est une détermination du logarithme. Voir TD.

3. Soit α ∈ R, on note Cα/ = C ∖ R+ e iα et

argα/ ∶ Cα/ Ð→ ]α, α + 2π[

z z→ l’unique argument de z ∈]α, α + 2π[

La fonction ℓα/ définie par :

ℓα/ ∶ Cα/ Ð→ C
z z→ ln(∣ z∣) + i argα/ ( z)

est une détermination du logarithme puisqu’elle est continue et vérifie exp(ℓα/ ( z)) =
z par construction.
4. La fonction ℓπ/ s’appelle la détermination/branche principale du logarithme,
certains la notent Log.
5. Il n’y a pas de fonction logarithme définie sur C∗ . (On verra plus tard pourquoi)

6. La branche principale du logarithme coïncide avec les déterminations ℓDSE et

ℓarctan , puisque les ensembles de départ de ℓDSE et ℓarctan sont inclus dans Cπ/
et toutes ses fonctions sont égales à 0 en 1.

IV Les fonctions puissances

∎ Rappel 3.15 Sans utiliser, la fonction exponentielle, on peut définir pour :
1. n ∈ N et z ∈ C, z n = z × ⋯ × z.
´¹¹ ¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹ ¹¶
n fois
2. n ∈ Z<0 et z ∈ C∗ , zn = z−1n .
3. Pour x ∈ R∗+ et n ∈ N∗ , x n l’unique antécédent de x par t ↦ t n .
1
34 Chapitre 3. Exemples de fonctions holomorphes

4. On peut combiner, pour obtenir pour x ∈ R∗+ et α ∈ Q, une définition de xα .

5. Avec le log réel, on peut définir pour x ∈ R∗+ et α ∈ R, comme :

xα = eα ln( x) = lim xα n
αn →α,αn ∈Q

Soit α ∈ C, U ⊂ C∗ un ouvert et ℓ ∶ U → C une fonction logarithme. On définit une

fonction puissance
p α ∶ U Ð→ C
z z→ exp(αℓ( z))
Il est clair que :
1. p α est holomorphe sur U .
2. p′α ( z) = α p α−1 ( z), pour tout z ∈ U .
3. p α ( z) p β ( z) = p α+β ( z), pour tout z ∈ U .
4. Si α = n ∈ Z alors pour tout z ∈ U , on a p n ( z) = z n .
5. Cette définition contient toutes les définitions précédentes (Si U contient ce
qu’il faut).
6. Si ℓ2 est une autre détermination du logarithme alors il existe un N ∈ Z tel
que :
exp(αℓ2 ( z)) = p α ( z) e2πiN α
A U fixé, la fonction p α dépend de ℓ sauf si α ∈ Z.
7. Par exemple, si α = 1/p avec p ∈ N⩾2 alors si p1α et p2α sont deux fonctions
puissance α alors il existe ω une racine p-ième de l’unité tel que :

∀z ∈ U , p2α ( z) = ω p1α ( z)

On peut donc écrire p α ( z) = zα , si on sait ce que l’on fait !

— cette écriture est définie sur l’ouvert U .
— U ne peut-être choisi égale à C∗ , sauf quand α ∈ Z... mais dans ce cas, on ne fait
pas ça...
— Il faut aussi choisir un logarithme.
 4. Applications biholomorphes

I C’est quoi ?
Définition 4.1 Soit X , Y deux espaces topologiques. Une application f ∶ X → Y est
un homéomorphisme lorsque :
1. f est continue,
2. f est bijective,
3. l’application f −1 ∶ Y → X est continue.

Définition 4.2 Soit U , V deux ouverts de C. Une application f ∶ U → V est un

biholomorphisme si :
1. f est holomorphe,
2. f est bijective,
3. l’application f −1 ∶ V → U est holomorphe.

∎Remarque 4.3 — Pour les biholomorphismes. Nous allons voir plus tard que les
deux premières conditions impliquent la troisième. ∎

∎ Remarque 4.4 f est biholomorphe (resp. un homéomorphisme) si et seulement si

f −1est biholomorphe (resp. un homéomorphisme) . Si f est un biholomorphisme
alors f est un homéomorphisme. ∎

Notation 4.1. On note :

1. H = { z ∈ C ∣ Im ( z) > 0}, le demi-plan supérieur, appelé le demi-plan de Poincaré.
2. D = { z ∈ C ∣∣ z∣ < 1}, le disque unité, appelé le disque de Poincaré.
3. Q = { z ∈ C ∣ Re ( z), Im ( z) > 0}, le quart de plan.
 36 Chapitre 4. Applications biholomorphes

4. B = { z ∈ C, −π < Im ( z) < π}, une bande.

ϕ ∶ Q Ð→ H
Exemple 4.5 L’application est bien définie, holomorphe, bijective
z z→ z2
∎

et d’inverse aussi holomorphe puisque :

ϕ−1 ( z) = e /2Log( z) .
1

ϕ ∶ Q → H est donc un biholomorphisme. ∎

II Homographie ou transformation de Moëbius

On considère le groupe

GL(2, C) = { A ∈ M2 (C)∣ det( A ) ≠ 0}.

1 Définition
À toute matrice :

a b
A=( ) ∈ GL(2, C), a, b, c, d ∈ C, ad − bc ≠ 0.
c d

on associe une application :

az + b
h A ( z) = .
cz + d
Si c ≠ 0, alors h A est définie sur C ∖ {−d/c}. Si c = 0 (donc a, d ≠ 0), l’application h A
est définie sur C.

Notation 4.2. On note Ĉ = C ∪ {∞}. Si a ∈ C∗ , on note ∞

a
= 0 et a
0 = ∞.
Avec cette convention, l’application h A s’étend à Ĉ, via :

h A ∶ Ĉ Ð→ Ĉ
⎧ az+ b
⎪ si z ≠ −d/c, ∞
⎪ cz+d
⎪
z z→ ⎨ ∞ si z = −d/c
⎪
⎪
⎪
⎩ a/c si z=∞

Proposition 4.6 La fonction h A ainsi étendue est bien définie, bijective (et conti-
nue) a .
a. Essayer de le démontrer sur R !

−bc
Proposition 4.7 La fonction h A ∶ C ∖ {−d/c} est holomorphe et h′A ( z) = (ad
cz+ d )2
.

Démonstration.
a( cz + d ) − c(az + b) ad − cb
h′A ( z) = = .
( cz + d ) 2 ( cz + d )2
 II Homographie ou transformation de Moëbius 37

Définition 4.8 Une transformation de Moëbius, on dit aussi une homographie, est
une application de la forme h A

En général, h A est restreinte à un ouvert U ⊂ C ∖ {−d/c}.

2 Point de vue action de groupe

Proposition 4.9 L’application :

h ∶ GL2 (C) Ð→ Bij(Ĉ)

A z→ hA

est un morphisme de groupes, autrement dit :

h AB ( z) = h A ○ h B ( z) = h A ( h B ( z)),

de noyau
λ 0
Z ∶= {( ) ∣ λ ∈ C∗ } .
0 λ

On note Möb(Ĉ), l’image de ce morphisme, le groupe des transformations de

Möbius de Ĉ.

Démonstration. Exo TD. ∎

∎ Remarque 4.10 Cela signifie que pour tout A ∈ Z , h A = Id

Ĉ et aussi que pour tout
λ ≠ 0 et tout A ∈ GL2 (C), h λ A = h A . Ceci permet de renormaliser A , c’est à dire d’avoir
une forme plus sympathique, par exemple de forcer d = 1, ou de forcer det( A ) = 1,
etc... ∎

∎ Remarque 4.11 Le groupe Z est le centre de GL2 (C), c’est-à-dire :

Z = { A ∈ GL2 (C)∣ A g = gA, ∀ g ∈ GL2 (C)}

Corollaire 4.12
— L’inverse de h A est h A −1 .
— h A ∶ C ∖ {−d/c} → C ∖ {a/c} est un biholomorphisme, d’inverse h A −1 .

3 Exemple I : Les similitudes

On s’intéresse au cas particulier, c = 0, on peut donc supposer que d = 1. On a
alors :
h A ( z) = az + b
 38 Chapitre 4. Applications biholomorphes

Une telle application s’appelle une similitude (directe), les similitudes conservent
les angles orientés et multiplient les longueurs par une constante (ici ∣a∣).

4 Exemple II : : L’application de Cayley.

Proposition 4.13 Il existe une transformation de Möbius h tel que h(H) = D. En

particulier, H et D sont biholomorphes.

Démonstration. Si on trouve un h tel que :

h(i) = 0 h(∞) = 1 h(0) = −1

Missing
figure Petit dessin de H avec son bord qui s’envoie sur D avec
son bord ...

se sera un bon début ! Un tel h est unique.

z−i z−i z−i

h( z ) = ↝ = ↝ =
cz + d z+d z+i
On tente notre chance, en posant :

1 −i
C −1 =
1 i i
C=( ) ( )
1 i 2 i −1 1

Les transformations de Möbius associées sont :

z−i iz + i 1+ z
h C ( z) = h−C1 ( z) = =i .
z+i −z + 1 1 − z
Un petit calcul que l’on ferra en TD donne :

4Im ( z) 1 − ∣ z ∣2
1 − ∣ h C ( z)∣2 = Im ( h−C1 ( z)) =
∣ z + i ∣2 ∣1 − z ∣2

Par conséquent,

h C (H) ⊂ D h−C1 (D) ⊂ H ; D ⊂ h C (H)

Donc
h C (H) = D et h−C1 (D) = H
Les applications h C et h−C1 sont holomorphes donc H et D sont biholomorphes et h C
est un biholomorphisme entre H et D. ∎
 III Automorphismes 39

III Automorphismes

1 Définition

Définition 4.14 Soit U un ouvert dans C. Un automorphisme de U est un biholo-

morphisme f ∶ U → U . On note Aut(U) le groupe des automorphismes de U .

Si U est un ouvert de C, on définit :

Möb(U) = { g ∈ Möb(Ĉ)∣ g(U) = U}

Il est clair que Möb(U) ⊂ Aut(U).

∎ Remarque 4.15 On verra (en cours ou en TD, mais vers la fin !) que pour U = C, H et

D, on a en fait :
Aut(U) = Möb(U).
Dans tous les cas, la seconde inclusion est non-triviale. ∎

2 Les automorphismes de C

Pour tout a ∈ C∗ , b ∈ C, z ↦ az + b est un automorphisme de C. On note Sim(C) le

groupe des similitudes (directes) de C.

∎ Remarque 4.16 Une transformation de Möbius h A ∶ Ĉ → Ĉ vérifie h(C) = C si et

seulement si h A (∞) = h(∞) si et seulement si c = 0. Autrement dit :

Möb(C) = Sim(C)

∎ Remarque 4.17 Dans une feuille de TD ou dans le cours, on montrera :

Aut(C) = Möb(C) = Sim(C)

3 Les automorphismes de H

Notons :
SL2 (R) = { A ∈ M2 (R)∣ det( A ) = 1}

Proposition 4.18 Pour tout A ∈ SL2 (R), l’application h A est dans Aut(H).
 40 Chapitre 4. Applications biholomorphes

Démonstration. Soit A ∈ SL2 (R) et z ∈ H, on a

az + b az + b
2Im ( h A ( z)) = −
cz + d cz + d
(az + b)( cz + d ) − ( cz + d )(az + d )
=
∣ cz + d ∣2
(ad − bc)( z − z)
=
∣ cz + d ∣2
( z − z)
=
∣ cz + d ∣2
Im ( z)
Im ( h A ( z)) =
∣ cz + d ∣2

Donc Im h A ( z) > 0 d’où h A ( z) ∈ H. Donc h A (H) ⊂ H, comme A −1 ∈ SL2 (R) donc

h−A1 (H) ⊂ H, donc h A (H) = H. ∎

On en déduit un morphisme de groupes

SL2 (R) → Möb(H)

dont le noyau est {±Id}.

Théorème 4.19 Ce morphisme est surjectif.

Démonstration. Démo en TD. ∎

On verra plus tard que :

Théorème 4.20
Aut(H) = Möb(H) = PSL2 (R)

Démonstration. Plus tard. ∎

4 Les automorphismes de D

Proposition 4.21 Soit θ ∈ R et w ∈ D, l’application :

h θ,w ∶ D Ð→ D
z−w
z z→ eiθ
1 − wz
est un automorphisme de D.

Démonstration. Si θ = π d’après l’exo 8 de la feuille 1 du TD, le cas général s’en

déduit aisément. ∎
III Automorphismes 41

De plus, h θ,w la transformation de Moëbius donné par la matrice :

eiθ − e iθ w
( )
−w 1

On verra en TD, la proposition suivante :

Proposition 4.22
Möb(D) = { h θ,w ∣ θ ∈ R, w ∈ D}.

On verra plus tard que :

Théorème 4.23
Aut(D) = Möb(D)

Démonstration. On verra plus tard, ce sera une conséquence du lemme de Schwartz.

∎

Néanmoins, on a vu que le disque et de demi-plan sont équivalents d’un point de

vue holomorphe, on peut dès à présent montrer :

Proposition 4.24 Si Aut(D) = Möb(D) alors Aut(H) = Möb(H).

Démonstration. Soit f ∈ Aut(H), alors h C ○ f ○ h−C1 =∶ m ∈ Aut(D) = Möb(D). Donc :

f = h−C1 ○ m ○ h C

est une transformation de Möbius donc f ∈ Möb(H). ∎

 5. La théorie de Cauchy

I Intégration d’une fonction R ⊃ I → C.

Soit I un intervalle de R, f ∶ I → C une fonction continue et [a, b] ⊂ I . On définit :

b b b
∫a f ( t) dt ∶= ∫ Re ( f )( t) dt + i ∫ Im ( f )( t) dt.
a a

Proposition 5.1 Pour f , g ∶ I → C fonctions continues, α ∈ C et a, b, c ∈ I , on a :

b b b
1. ∫ ( f + g)( t)dt = ∫ f ( t) dt + ∫ g( t) dt ;
a a a
b b
2. ∫ α f ( t) dt = α ∫ f ( t) dt;
a a
b c c
3. ∫ f ( t) dt + ∫ f ( t) dt = ∫ f ( t) dt
a b a
b a
4. ∫ f = −∫ f
a b
b b b b
5. Re ( ∫ f ( t) dt) = ∫ Re ( f ( t)) dt, Im ( ∫ f ( t) dt) = ∫ Im ( f ( t)) dt.
a a a a
b b
6. ∣ ∫ f ( t) dt∣ ⩽ ∫ ∣ f ( t)∣ dt.
a a

Démonstration. Le dernier point n’est pas évident malgré les apparences. Soit α ∈ R
tel que :
b
eiα ∫ f ( t) dt ∈ R.
a
 44 Chapitre 5. La théorie de Cauchy

Ainsi :
b b
eiα ∫ f ( t) dt = ∫ Re ( eiα f ( t)) dt
a a
Donc :
b b
∣∫ f ( t)dt∣ = ∣∫ Re ( eiα f ( t))dt∣
a a
b
⩽∫ ∣Re ( eiα f ( t))∣ dt (The usual inequality)
a
b
⩽∫ ∣ eiα f ( t)∣ dt
a
b
⩽∫ ∣ f ( t)∣ dt
a

Définition 5.2 Soit I est un intervalle de R. Une application f ∶ I → R est dite C 1

par morceaux, ou de classe CM1 lorsque :
— f est continue et
— il existe un nombre fini de points a 1 < ⋯ < a N tels que f restreinte au
segment [a i , a i+1 ] est C 1 .
Une fonction f ∶ I → C est C 1 par morceaux (de classe CM1 ) lorsque sa partie réelle
et sa partie imaginaire le sont.

∎ Remarque 5.3 L’item 2 implique que f est continue. ∎

∎Remarque 5.4 La définition de fonctions C 1 par morceaux, n’est pas universelle.

Attention aux collisions potentiels avec d’autres cours. ∎

Les applications CM1 sont l’intégrale de leur dérivée 1 :

Proposition 5.5 — Une version du second théorème fondamental de l’analyse. Soit

f ∶ I → C de classe CM1 avec I un intervalle de R alors :
b
′
∀a, b ∈ I, ∫a f ( t)dt = f (b) − f (a).

II Intégration d’une fonction C ⊃ U → C sur des chemins

1 Un chemin lisse, c’est quoi ?
Définition 5.6 (Chemin C 1 ) Un chemin C 1 tracé dans U est une application γ, de
classe C 1 , d’un segment I = [a, b] ⊂ R (avec a ⩽ b) vers U .

∎ Rappel 5.7 Soit γ ∶ I → C, γ = u + iv un chemin C 1 . Les applications u et v sont C 1 et

1. Faut qu’elle soit continue pour cela.

 II Intégration d’une fonction C ⊃ U → C sur des chemins 45

on a :
γ′ ( t) = u′ ( t) + iv′ ( t).

Définition 5.8 (Intégrale le long d’un chemin C 1 ) Soit U ⊂ C un ouvert et f ∶ U → C

une application continue. Soit γ ∶ I → U un chemin C 1 . On définit

b
′
∫γ f ( z)dz ∶= ∫a f ○ γ( t)γ ( t)dt.

∎ Remarque 5.9 Il faut bien remarquer qu’en général :

Re ( ∫ f ( z) dz) ≠ ∫ Re ( f ( z)) dz.

γ γ

2 Un calcul fondamental
Proposition 5.10 Soit ∂D( z, R ) le cercle de rayon R centré en z ∈ C parcouru une
fois dans le sens trigonométrique. Pour tout n ∈ Z,
⎧
⎪
⎪0 n ≠ −1
∫∂D( z,R ) (ζ − z) d ζ = ⎨
n
⎪
⎩2π i n = −1
⎪

Démonstration. On paramétrise ∂D( z, R ) par γ( t) = z + R eit , 0 ⩽ t ⩽ 2π. Alors

2π 2π
∫∂D( z,R ) (ζ − z) dz = ∫0
n
(R eit )n ⋅ iR eit dt = iR n+1 ∫ ei(n+1) t dt.
0

Si n ≠ −1, t ↦ ei(n+1) est une primitive de ei(n+1) t et donc

i( n+1) t

t=2π
n +1
2π
i( n+1) t n+1 ei(n+1) t
iR ∫0 e dt = R [ ] = 0.
(n + 1) t=0

Dans le cas n = −1, on a

2π 2π
iR n+1 ∫ e i(n+1) t dt = iR 0 ∫ dt = 2π i.
0 0

3 Un chemin, c’est quoi ?

Définition 5.11 (Chemin) Un chemin tracé dans U est une application γ, de classe
CM1 , d’un segment I = [a, b] ⊂ R (avec a ⩽ b) vers U .

Notation 5.1. Si γ ∶ [a, b] → C est un chemin, on note :

— γdeb = γ(a), l’origine, le début, le départ de γ.
 46 Chapitre 5. La théorie de Cauchy

— γbut = γ( b), la fin, la destination, le but de γ.

— Un chemin est dit fermé si γdeb = γbut . On dit aussi que c’est un lacet.
— γ∗ , im(γ), ∣γ∣ (voir simplement γ) désigne l’image γ([a, b]) de γ, c’est à dire le
sous-ensemble de C parcouru par γ.

Définition 5.12 (Concaténation des chemins) Si γ1 ∶ [a, b] → C et γ2 ∶ [ c, d ] → C

1 = γ2 , la concaténation γ2 ⊙ γ1 de γ1 et γ2 est le
sont deux chemins tels que γfin but

chemin :

γ2 ⊙ γ1 ∶ [a, b + ( d − c)] Ð→ C
γ1 ( t) si a ⩽ t ⩽ b .
t z→ {
γ2 ( t + c − b) si b ⩽ t ⩽ b + d − c

∎ Remarque 5.13 Un chemin est la concaténation d’un nombre fini de chemins C 1 . ∎

Définition 5.14 (Intégrale le long d’un chemin) Soit U ⊂ C un ouvert, f ∶ U → C une

application continue et γ un chemin tracé dans U . On écrit γ = γk ⊙ γk−1 ⊙ ⋯ ⊙ γ1 ,
où les γ i sont des chemins C 1 , on pose :

∫γ f ( z)dz ∶= ∑ ∫γ f ( z)dz.
i i

Notation 5.2. Si γ est un chemin alors ←

Ð
γ (ou −γ) est le chemin opposé :
←
Ð
γ ∶ [a, b] Ð→ C
t z→ γ(b + a − t)

C’est à dire γ parcouru en sens inverse.

4 Indépendance de l’intégrale vis-à-vis de la paramétrisation

Définition 5.15 — Relation d’équivalence sur les chemins. Deux chemins γ1 ∶ I → C
et γ2 ∶ J → C sont dits équivalents lorsqu’il existe une bijection α ∶ J → I , de classe
C 1 , avec α′ strictement positive, telle que γ2 = γ1 ○ α.

Cette définition donne lieu à une relation d’équivalence.

Théorème 5.16 — Indépendance de l’intégrale vis-à-vis de la paramétrisation.

Soit f ∶ U → C continue et γ1 , γ2 deux chemins tracés dans U .
Si γ1 et γ2 sont équivalents, alors :

∫γ f ( z)dz = ∫γ f ( z)dz.
1 2

Démonstration. On a γ1 ∶ [a, b] → U , γ2 ∶ [ c, d ] → U et α ∶ [ c, d ] → [a, b] bijection C 1

avec α′ > 0 et telle que γ2 = γ1 ○ α. On a
 II Intégration d’une fonction C ⊃ U → C sur des chemins 47

d
∫γ f ( z) dz = ∫ f (γ2 ( t))γ′2 ( t) dt
2 c
d
=∫ f (γ1 ○ α( t)))(γ1 ○ α)′ ( t) dt
c
d
=∫ f (γ1 (α( t)))γ′1 (α( t)) α′ ( t) dt on pose s = α( t)
c ´¹¹ ¹ ¹ ¹ ¸¹¹ ¹ ¹ ¹ ¹¶
= ds
α( d )
=∫ f (γ1 ( s))γ′1 ( s) ds
α( c)
b
=∫ f (γ1 ( s))γ′1 ( s) ds
a

= ∫ f ( z)dz.
γ1

5 Intégrale le long d’un multi-chemin

Définition 5.17 Un multi-chemin Γ tracé dans U est une union finie de chemins
γ1 , . . . , γn tracé dans U . On le note Γ = γ1 + γ2 + ⋯ + γn .

∎ Remarque 5.18 On écrira plutôt γ1 − γ2 + γ3 que γ1 + γ2 + γ3 .

←
Ð ∎

Définition 5.19 (Intégrale le long d’un multi-chemin) Soit U ⊂ C un ouvert et

f ∶ U → C une application continue. Soit Γ = ∑ i γ i un multi-chemin tracé dans U ,
où les γ i sont des chemins. On pose :

∫Γ f ( z) dz ∶= ∑ ∫γ f ( z)dz.
i i

6 Les règles de calcul de base

Proposition 5.20 Soit Γ une chaine tracé dans U , f , g deux fonctions continues sur
U . Alors :
1. ∫ ( f + g)( z) dz = ∫ f ( z) dz + ∫ g( z) dz.
Γ Γ Γ

2. Pour tout λ ∈ C, ∫ λ f ( z) dz = λ ∫ f ( z) dz.

Γ Γ

3. ∫ f ( z) dz = ∫ f ( z) dz + ∫ f ( z) dz.
Γ+Γ′ Γ Γ′

Ð f ( z) dz = − ∫ f ( z) dz.
4. ∫←
γ γ

Démonstration. Les points (1)-(3) sont des applications directes des définitions.
Montrons (4). On peut supposer que γ est un chemin C 1 et [a, b] = [0, 1]. On note
←
Ð
φ ∶ [0, 1] → [0, 1] application définie par φ( t) = 1 − t, ainsi γ = γ ○ φ.
 48 Chapitre 5. La théorie de Cauchy

1
Ð f ( z) dz = ∫
∫← f (γ(φ( t)))γ′ (φ( t))φ′ ( t) dt
γ 0
1
=∫ f (γ(1 − t))γ′ (1 − t) × −1 dt s ∶= 1 − t
0
0
=∫ f (γ( s))γ′ ( s) ds
1
1
= −∫ f (γ( s))γ′ ( s) ds
0

= − ∫ f ( z) dz.
γ

7 Longueur d’un chemin

Définition 5.21 Soit γ ∶ [a, b] → C un chemin. Soit γ( t) = x( t) + i y( t). Alors la
quantité
b b√
L(γ) ∶= ∫ ∣γ′ ( t)∣ dt = ∫ x′ ( t)2 + y′ ( t)2 dt
a a
ne dépend pas de la paramétrisation, on l’appelle la longueur de γ.

Démonstration. Si γ1 ∶ [ c, d ] → C est un chemin équivalent à γ via γ1 = γ ○ α où

α ∶ [ c, d ] → [a, b] est une bijection C 1 avec α′ > 0, alors :

γ1 ( t) =∶ u( t) + iv( t) = x(α( t)) + i y(α( t))

d’où
u′ ( t) = x(α( t))α′ ( t) v′ ( t) = y(α( t))α′ ( t)
Ainsi
∣γ′1 ( t)∣ = ∣γ′ (α( t))∣α′ ( t)
D’où
d d b
L(γ1 ) = ∫ ∣γ′1 ( t)∣dt = ∫ ∣γ′ (α( t))∣α′ ( t)dt = ∫ ∣γ′ (s)∣ ds = L(γ).
c c a

8 L’inégalité Max-Longueur
Théorème 5.22 — Majoration standard. Soit γ ∶ I → C un chemin et f une fonction
continue sur γ. Alors
∣∫ f ( z)dz∣ ⩽ ∥ f ∥γ L(γ).
γ
 III Connexe, Connexe par arcs, connexe par segments, étoilé, convexe 49

On rappelle que, si X ⊂ C alors :

∥ f ∥ X = sup ∣ f ( z)∣.
z∈ X

Démonstration. Il suffit de montrer l’inégalité pour un chemin de classe C 1 .

b
∣∫ f ( z)dz∣ =∣∫ f (γ( t))γ′ ( t)dt∣
γ a
b
⩽∫ ∣ f (γ( t))∣ ⋅ ∣γ′ ( t)∣dt
a
b
⩽∥ f ∥γ ∫ ∣γ′ ( t)∣ dt
a
=∥ f ∥γ L(γ)

III Connexe, Connexe par arcs, connexe par segments, étoilé,

convexe
Définition 5.23 Soit z, w ∈ C, le segment [ z, w] est l’ensemble :

[ z, w] = { tz + (1 − t)w ∣ t ∈ [0, 1]}

Il est paramétré par :

γ ∶ [0, 1] Ð→ C
qui vérifie γ′ ( t) = z − w.
t z→ tz + (1 − t)w

Définition 5.24 Une partie U de C est

— connexe si pour toute paire d’ouverts O1 , O2 de U tels que U = O1 ∪ O2 , on a
O1 ou O2 = ∅.
— connexe par arcs si pour toute paire de points x, y ∈ U , il existe un "chemin"
continue tracé dans U de source x et de but y.
— connexe par segments si pour toute paire de point x, y ∈ U , il existe un chemin
γ tracé dans U de début x et de fin y ET γ est une concaténation de segments.
— étoilé s’il existe un c ∈ U tel que pour tout z ∈ U , le segment [ c, z] ⊂ U .
— convexe si pour tout z, w ∈ U , le segment [ z, w] ⊂ U .

On a les implications suivantes :

connexe connexe
connexe ⇒ par ⇒ par lignes ⇒ Étoilé ⇒ convexe
arcs polygonales
A noter que pour les ouverts :
 50 Chapitre 5. La théorie de Cauchy

connexe connexe
connexe ⇔ par ⇔ par lignes
arcs polygonales
∎ Exemple 5.25
— C, les demi-plans, les disques sont convexes.
— C ∖ D où D est une demi-droite est étoilé mais n’est pas convexe.
— Un disque épointé est connexe mais n’est pas étoilé, une couronne idem, C privé
d’un segment, etc ... Ces exemples ont un trou ! Ils ne sont pas simplement
connexe. Des exemples simplement connexe, uUn ouvert avec deux cornes
(faire un dessin) est connexe mais n’est pas étoilé. C privé d’une spirale est
connexe mais n’est pas étoilé.
∎

Proposition 5.26 Soit U un ouvert connexe et f ∶ U → C holomorphe. Si f ′ = 0 alors

f est constante.

Démonstration. Soit z, w ∈ U , comme U est un ouvert connexe, U est connexe par

lignes polygonales. Il existe donc un chemin γ tracé dans U de source z et de but w.
1 1
f (w) − f ( z) = f ○ γ(1) − f ○ γ(0) = ∫ ( f ○ γ)′ ( t)dt = ∫ ( f ′ ○ γ)( t)γ′ ( t)dt = 0.
0 0

L’application f ○ γ est :
— continue puisque f est holomorphe et γ est continue,
— dérivable sur le segment [a i , a a i+1 ], puisque γ est C 1 et f est C-dérivable
— continument dérivable puisque cette dérivée est nulle
— elle est donc C 1 sur [a i , a a i+1 ].
On peut bien appliquer le second théorème fondamental de l’analyse. ∎

IV Le théorème de Cauchy pour les dérivées

1 Chemin vs lacet
Proposition 5.27 Soit f ∶ U → C une application continue. LASSE :
1. Pour tous les chemins α et β tracés dans U avec la même source et le même
but, on a :
∫α f ( z)dz = ∫β f ( z)dz
(L’intégrale de f le long d’un chemin ne dépend que des extrémités du
chemin.)
2. Pour tout lacet γ tracé dans U ,

∫γ f ( z)dz = 0
 IV Le théorème de Cauchy pour les dérivées 51

(L’intégrale de f le long de tout lacet est nulle.)

Démonstration. 1. ⇒ 2. Soit γ ∶ [0, 1] → U un lacet, on note α la restriction de γ à

←
Ð
[0, 1/2] et δ de γ à [1/2, 1]. Ainsi, α et δ sont des chemins tracés dans U de même
source et de même but, et :

∫γ f ( z) dz = ∫α f ( z)dz + ∫δ f ( z)dz = ∫α f ( z)dz − ∫←

Ð f ( z) dz = 0
δ

2. ⇒ 1. Soit α et β deux chemins tracés dans U de même source et de même but

←
Ð
alors β ⊙ α est un lacet :

∫α f ( z)dz − ∫β f ( z)dz = ∫←
Ð
β ⊙α
f ( z) dz = 0.

2 Existence de C-primitive
Théorème 5.28 — Lien C-primitive et Intégrale sur les chemins.
Soit U ⊂ C un ouvert, f ∶ U → C une application continue et F ∶ U → C une application.
LASSE :
1. F est une C-primitive de f .
2. Pour tout z, w ∈ U et tout chemin γ tracé dans U , de source z et de but w,

∫γ f (ζ)d ζ = F (w) − F ( z).

3. Pour tout z ∈ U , il existe δ > 0, tel que D( z, δ) ⊂ U et pour tout h ∈ D(0, δ),

∫[ z,z+h] f (ζ) d ζ = F ( z + h) − F ( z).

où [ z, z + h] est le segment de z à z + h.

Démonstration. (1.) ⇒ (2.) : Soit z, w ∈ U et γ ∶ [0, 1] → U un chemin tracé dans U de

source z et de but w. En dehors d’un nombre fini de temps,

(F ○ γ)′ ( t) = F ′ (γ( t))γ′ ( t) = f (γ( t))γ′ ( t)

Le second théorème fondamental de l’analyse appliqué à F ○ γ (qui bien CM1 ) donne :

1
∫ f (ζ)d ζ = ∫ f (γ( t))γ′ ( t) dt = F ○ γ(1) − F ○ γ(0) = F (w) − F ( z).
γ 0

(2.) ⇒ (3.) : C’est clair, on demande moins.

(3.) ⇒ (1.) : Soit z ∈ U . Montrons que F est C-dérivable en z et F ′ ( z) = f ( z).
La preuve doit vous faire penser à la preuve classique d’analyse réelle, qui dit que
la dérivée d’une intégrale est la fonction de départ (premier théorème fondamental de
52 Chapitre 5. La théorie de Cauchy

l’analyse).
Pour tout h ∈ D(0, δ), on a :

F ( z + h) − F ( z ) = ∫ f (ζ ) d ζ
[ z,z+h]

On note que ∫[ z,z+h] f ( z) d ζ = h f ( z) et donc

F ( z + h) − F ( z ) − f ( z ) h = ∫ f (ζ) − f ( z) d ζ
[ z,z+ h]

Mais, l’inégalité max-longueur donne :

∣∫ f (ζ) − f ( z) d ζ∣ ⩽ ∣ h∣ sup ∣ f (ζ) − f ( z)∣

[ z,z+h] ζ∈[ z,z+ h]
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
Ð→0
h→0

On a donc montré que F est C-dérivable en z et F ′ ( z) = f ( z). ∎

Théorème 5.29 — Le théorème de Cauchy pour les dérivées.

Soit U ⊂ C un ouvert, f ∶ U → C une application continue. LASSE :
1. f admet une C-primitive.
2. Pour tout lacet γ tracé dans U ,

∫γ f ( z)dz = 0.

De plus, si U est connexe alors pour tout c ∈ U , la fonction

F ( z) ∶= ∫ f (ζ) d ζ
γz

où γ z est un chemin parametré de c à z dans U , est une primitive de f .

∎ Exemple 5.30 Deux exemples à retenir :

n+1
— Pour n ≠ −1, la fonction z ↦ zn+1 est une primitive de z ↦ z n .
— La fonction z ↦ z−1w n’a pas de primitive dans D(w, R ) car ∫∂D(w,R ) z−1w = 2π i.
— Donc pas de détermination du logarithme sur C∗ .
∎

Démonstration. Quitte à raisonner, par composante connexe, on peut supposer que

U est connexe pour toute la démonstration.
(1.) ⇒ (2.) : Si f admet une C-primitive F alors pour toute paire de chemins α, β
tracés dans U de même source z et même but w, on a :

∫α f ( z)dz = F (w) − F ( z) = ∫β f ( z)dz.

 V Le théorème de Cauchy pour les triangles 53

Ainsi, pour tout lacet γ tracé dans U ,

∫γ f ( z)dz = 0.

(2.) ⇒ (1.) : Soit c ∈ U fixé. Notons que pour tout z ∈ U on peut trouver un chemin
de c à z. On choisit un 2 tel chemin γ z pour tout z ∈ U et on pose

F ( z) ∶= ∫ f (ζ) d ζ (Indépendant, par hyp. du choix du chemin).

γz

On veut vérifier que F est C-dérivable et F ′ = f . Pour cela, on vérifie que pour tout
chemin γ tracé dans U de source z1 et de but z2 , on a :

∫γ f ( z) dz = F ( z2 ) − F ( z1 )

Le chemin ←Ð
γ z2 ⊙ γ ⊙ γ z1 est un lacet donc :

Missing
figure
Dessin du lacet

0 = ∫←Ð f ( z) dz
γ z2 ⊙γ⊙γ z1

=∫ f ( z) dz + ∫ f ( z) dz − ∫ f ( z) dz
γ z1 γ γ z2

= F ( z1 ) + ∫ f ( z)dz − F ( z2 ).
γ

V Le théorème de Cauchy pour les triangles

Définition 5.31 Soit p, q, r trois points non-alignés dans C. On appelle triangle
plein T la partie convexe fermée délimitée par le chemin ∂T = [ p, q]⊙[ q, r ]⊙[ r, p].

Lemme 5.32 — Lemme de Goursat.

Soit U un ouvert, f ∶ U → C une fonction holomorphe et T un triangle plein inclus

2. On sait que la valeur de l’intégrale ∫γ z f (ζ) d ζ ne dépend pas de ce choix.

54 Chapitre 5. La théorie de Cauchy
p

a b

q r
c

F IGURE 5.1 – Un triangle coupé en 4

dans U . Alors,
∫∂T f ( z)dz = 0.

Démonstration. Soient p, q, r les sommets de T . On remarque d’abord que

Diam(T ) ∶= max ∣w − z∣ ⩽ L(∂T ).

w,z∈T

Soient a, b et c sont les milieux des segments [ p, q], [ q, r ] et [ r, p].

— Les segments [a, b], [ b, c] et [a, c] divisent T en 4 triangles isométriques : Q 1 ,
Q 2 , Q 3 et Q 4 .
— L(∂Q k ) = 12 L(∂T ).
4
— ∫ f (ζ) d ζ = ∑ ∫ f (ζ) d ζ
∂T k =1 ∂Q k

4
— ∣∫ f (ζ) d ζ∣ ⩽ ∑ ∣∫ f (ζ) d ζ∣ ⩽ 4 max ∣∫ f (ζ) d ζ∣
∂T k =1 ∂Q k k ∂Q k

⋆ Soit k1 ∈ {1, 2, 3, 4} tel que ∣∫∂Q k f (ζ)d ζ∣ = max ∣∫ f (ζ) d ζ∣.

1 k ∂T k
On rappelle que l’on veut montrer que ∫∂Triangle f (ζ) d ζ = 0, pour tout triangle
plein.

On note T1 ∶= Q k1 . On divise T1 par ses milieux (autrement dit de la même

manière) en 4 triangles isométriques et on les note Q k1 ,l , l ∈ 1, 2, 3, 4. Soit k 2 tel que :

∣∫ f (ζ) d ζ∣ = max ∣∫ f (ζ) d ζ∣ .

∂Q k1 ,k2 l ∂Q k1 ,l

On remarque que
∣∫ f (ζ)d ζ∣ ⩽ 42 ∣∫ f (ζ) d ζ∣
∂T ∂Q k 1 ,k 2
V Le théorème de Cauchy pour les triangles 55

Q1

Q2
Q4

Q3

q r

F IGURE 5.2 – The picture of Goursat

56 Chapitre 5. La théorie de Cauchy

On continue, on obtient une suite de triangles :

Q k1 ⊃ Q k1 ,k2 ⊃ Q k1 ,k2 ,k3 ⊃ ⋯ ⊃ Q k1 ,k2 ,...,k n ⊃ ⋯

° ² ´¹¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹¶ ´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
=∶T1 =∶T2 =∶T3 =∶T n

tel que :
— Diam(T n ) = 2−n Diam(T ),
— L ( T n ) = 2− n L ( T )

— ∣∫ f (ζ) d ζ∣ ⩽ 4n ∣∫ f (ζ ) d ζ ∣ (C)
∂T ∂T n
Par le Théorème des compacts emboîtés, il existe c ∈ U tel que :

⋂ T n = { c}.
n

Soit g ∶ U → C la fonction définie par

⎧ f ( z)− f ( c)
⎪ z− c − f ′ ( c ) z ≠ c
⎪
g( z) = ⎨
⎪
⎪ z=c
⎩0
Comme f est holomorphe, g est continue sur U et on a :

f ( z) = f ( c) + f ′ ( c)( z − c) + g( z)( z − c).

On calcule l’intégrale de f le long de ∂T n :

′
∫∂T f (ζ)d ζ = ∫∂T f ( c)d ζ + ∫∂T f ( c)(ζ − c)d ζ + ∫∂T g(ζ)(ζ − c)d ζ.
n n n n
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶ ´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
=0 =0
puisque les fonctions ζ ↦ f ( c) et ζ ↦ f ′ ( c)(ζ − c) admettent des C-primitives sur C.
La majoration max-longueur donne :

∣∫ f (ζ) d ζ∣ ⩽∥ g∥∂T n ∥ζ − c∥∂T n L(∂T n )

∂T n

⩽∥ g∥∂T n Diam(T n )L(∂T n )

⩽∥ g∥∂T n L(∂T n )2
2
1
=∥ g∥∂T n ( L (∂ T ))
2n
1
= ∥ g∥∂T n L2 (∂T ),
4n

On reprend l’inégalité (C), on obtient :

1
∣∫ f (ζ)d ζ∣ ⩽ 4n n ∥ g∥∂T n L2 (∂T ) = ∥ g∥∂T n L2 (∂T ) ⩽ ∥ g∥T n L2 (∂T ) Ð→ 0
∂T 4 n→∞
 VI Le théorème de Cauchy pour les ouverts étoilés 57

puisque g est continue en c, g( c) = 0 et ⋂ T n = { c}. ∎

n∈N

VI Le théorème de Cauchy pour les ouverts étoilés

Théorème 5.33 — Théorème de Cauchy, pour les ouverts étoilés.
Soit U ⊂ C un ouvert étoilé et f ∶ U → C holomorphe. Alors, pour tout lacet γ tracé
dans U , on a :
∫γ f ( z)dz = 0.

∎Remarque 5.34 Donc f admet une C-primitive définie sur U , par "le thm de Cauchy
pour les dérivées". Et ce sera une étape de la preuve. ∎

Proposition 5.35 — Préparation à Cauchy étoilé.

Soit U ⊂ C un ouvert étoilé centré en c et f ∶ U → C continue. Supposons que pour
tout triangle plein T ⊂ U , on a :

∫∂T f ( z)dz = 0.

Alors f admet une C-primitive.

Démo de Cauchy pour les ouverts étoilés. Par le lemme de Goursat 5.32, f vérifie
que pour tout triangle plein T ⊂ U :

∫∂T f ( z)dz = 0

Donc par "la "préparation à Cauchy étoilé" 5.35, il existe F une C-primitive de f .
Donc par "le thm de Cauchy pour les dérivées" 5.29, pour tout lacet γ tracé dans U ,
on a :
∫ f ( z)dz = 0.
γ
∎

∎ Remarque 5.36 Soit f holomorphe.

— Goursat affirme que l’intégrale de f le long de tout triangle est nul.
— La préparation à Cauchy étoilé montre qu’alors f admet une C-primitive, à
savoir l’intégrale de f du centre de l’ouvert étoilé au point z.
— Le thm de Cauchy pour les dérivées conclut que l’intégrale de f le long de tout
lacet est nul.
∎

Démo de la préparation à Cauchy étoilé.

Montrons que la fonction F ∶ U → C définie par F ( z) = ∫ f (ζ) d ζ est une primitive
[ c,z]
de f . On utilise (3) ⇒ (1) de "Lien C-primitive et Intégrale sur les chemins" 5.28.
 58 Chapitre 5. La théorie de Cauchy

Soit z ∈ U , on se donne un δ > 0 tel que D( z, δ) ⊂ U . Comme l’ouvert U est étoilé, pour
tout h ∈ D(0, δ), le triangle plein [ c, z, z + h] est inclus dans U , puisque ce triangle
plein est l’union des segments [ c, ζ] pour ζ ∈ [ z, z + h].

Missing
figure
The picture !

On a donc :
∫[ c,z+h] f (ζ)d ζ + ∫[ z+h,z] f (ζ) d ζ + ∫[ z,c] f (ζ) d ζ = 0

Autrement dit,
F ( z + h) − F ( z ) = ∫ f (ζ ) d ζ
[ z,z+h]

Ce qui montre que F est C-dérivable et F ′ = f , par le Théorème 5.28. ∎

VII La formule de Cauchy pour les disques

Théorème 5.37 — Formule de Cauchy pour les disques.
Soit U un ouvert dans C et f ∶ U → C une fonction holomorphe.
Soit z0 ∈ U et r > 0 tel que D( z0 , r ) ⊂ U .

1 f (ζ)
∀ z ∈ D( z0 , r ), f ( z) = ∫ d ζ.
2πi ∂D( z0 ,r) ζ − z

Définition 5.38 Une fonction f ∶ U → C vérifie la formule de la moyenne, lorsque

pour tout z ∈ U et r > 0 tel que D( z, r ) ⊂ U , on a :

1 2π
f ( z) = ∫ f ( z + re it ) dt
2π 0

∎Remarque 5.39 Autrement dit, la valeur de f au centre du cercle est la moyenne des
valeurs de f sur le cercle. ∎

Théorème 5.40 — Formule de la moyenne. Les fonctions holomorphes, les parties

réelles, parties imaginaires de fonctions holomorphes vérifient la formule de la
moyenne.

Démonstration. Soit f holomorphe, la formule de Cauchy avec z = z0 donne avec :

VII La formule de Cauchy pour les disques 59

γ = ∂D( z, r ) donné par γ( t) = z + re it , γ′ ( t) = ire it .

1 f (ζ)
f ( z) = ∫ dζ
2π i ∂D( z,r) ζ − z
1 2π f ( z + re it )
= ∫ ire it dt.
2π i 0 z + re it − z
1 2π
= ∫ f ( z + re it ) dt.
2π 0
On applique la partie réelle à cette formule, on obtient la formule de la moyenne
pour Re ( f ), idem pour Im ( f ). ∎

Démonstration. Soit ρ > 0 tel que D( z, ρ ) ⊂ D( z0 , r ), on note γ, γρ , γ1 , γ2 et γ3 , les 5

lacets tracés dans U comme sur la figure :

Missing
figure
The picture !

Clairement, on a :
γ − γρ = γ1 + γ2 + γ3

La fonction définie sur U ∖ { z} par :

f (ζ )
g(ζ) =
ζ− z

est holomorphe sur U ∖ { z} (qui n’est pas un ouvert étoilé).

Pour k = 1, 2, 3, il existe un ouvert étoilé Vk tel que γk ⊂ Vk ⊂ U ∖ { z}. Par consé-

quent, pour tout k = 1, 2, 3, ∫ g(ζ) d ζ = 0 et donc pour tout ρ > 0 :
γk

∫γ g(ζ)d ζ = ∫γ g(ζ)d ζ.
ρ

Pour conclure, il suffit de montrer que :

lim ∫ g(ζ) d ζ = 2πi f ( z)

ρ →0 γρ
60 Chapitre 5. La théorie de Cauchy

Mais,
2π f ( z + ρ eiθ )
∫γ g(ζ)d ζ = ∫0 iρ eiθ d θ
ρ ρ eiθ
2π
= i∫ f ( z + ρ e iθ ) d θ
0
Mais (θ ↦ f ( z + ρ eiθ )) Ð→ (θ ↦ f ( z)) uniformément.
ρ →0

Ð→ 2πi f ( z).
ρ →0

Quelques exemples simples d’utilisation de la formule de Cauchy :

∎ Exemple 5.41

dz
1. On veut calculer ∫ . On a z21+1 = ( z− i)( 1z−(− i)) . Ici la fonction f ( z) =
∂D(−2i,2) z 2 + 1
1
z− i est holomorphe sur C ∖ { i } ⊃ D(−2 i, 2), et − i ∈ D(−2 i, 2). Donc

dz 2π i
∫∂D(−2i,2) z2 + 1 = 2π i f (− i ) = −2 i = −π.

sin( z)
2. Calculons ∫ dz. La fonction f ( z) = sin( z) est holomorphe sur C, le
∂D(0,2) z + i
point − i est dans D(0, 2), donc

sin( z) −1
∫∂D(0,2) z + i dz = 2π i f (− i ) = 2π i sin(− i ) = π( e − e ).
1

∎
 6. Application de la théorie de Cauchy

I Analycité
1 C’est quoi ?
Définition 6.1 Soit U ⊂ C un ouvert et f ∶ U → C une application. Soit z ∈ U . On
dit que f est développable en série entière au voisinage de z, s’il existe R > 0 avec
D(0, R ) ⊂ U , une série entière ∑ u n h n de rayon de convergence ⩾ R tels que :
∞
∀h ∈ D(0, R ), f ( z + h) = ∑ u n h n
n =0

Définition 6.2 Soit U ⊂ C un ouvert et f ∶ U → C une application. On dit que f est

analytique sur U lorsque f est développable en série entière au voisinage de tout
point de U .

∎ Remarque 6.3 — Analytique implique holomorphe (même infiniment). Si f est

analytique alors f est infiniment C-dérivable et :

∀ k ∈ N, f k ( z) = k! u k .

2 Holomorphe implique analytique

Théorème 6.4 — Développement des applications holomorphes. Soit U un ouvert
de C et f ∶ U → C une fonction holomorphe. Alors f est analytique sur U .
62 Chapitre 6. Application de la théorie de Cauchy

Plus précisement sur tout disque D( z0 , R ) inclus dans U ,

+∞
∀h ∈ D(0, R ), f ( z0 + h) = ∑ u n h n
n =0

où
1 f (ζ)
un = ∫ d ζ.
2π i ∂D( z0 ,r) (ζ − z0 )n+1
En particulier, f est infiniment C-dérivable et pour tout z ∈ U et pour tout ∈ N,

f (ζ )
f ( n) ( z 0 ) =
n!
∫ d ζ.
2π i ∂D( z0 ,R ) (ζ − z0 )n+1

Lemme 6.5 — Critère de développabilité.

Soit f ∶ ∂D( z0 , R ) → C continue. On définit F sur D( z0 , R ) par :

1 f (ζ)
F ( w) = ∫ d ζ.
2π i ∂D( z0 ,R ) ζ − w

Alors F est développable en série entière sur D( z0 , R ), plus précisément :

1 f (ζ )
F ( w) = ∑ u n ( w − z0 ) n , où un = ∫ d ζ.
n ⩾0 2π i ∂D( z0 ,R ) (ζ − z0 )n+1

Démo du lemme. On peut supposer z0 = 0, pour se simplifier la vie. On part d’un dé-
veloppement en série entière ultra-archi-classique, pour ζ ∈ ∂D(0, R ) et w ∈ D(0, R ) :

1 1 1 1 w n
= ⋅ = ⋅ ∑ ( )
ζ−w ζ 1 − wζ ζ n⩾0 ζ

On a donc :
1 f (ζ ) w n
F ( w) = ∫ ∑ ⋅ ( ) dζ
2π i ∂D(0,R ) n⩾0 ζ ζ

f (ζ ) w n
On fixe un w ∈ D(0, R ). La série de fonctions ζ ↦ ∑ ( ) converge normale-
n ⩾0 ζ ζ
ment sur ∂D(0, R ) puisque sur ce compact, on a :

f (ζ) w n ∥ f ∥∂D(0,R ) n
∣ ( ) ∣⩽ ⋅ (∣w∣/R ) ∈ ℓ1 (N)
ζ ζ R

On peut donc intervertir les symboles ∑ et ∫ et obtenir :

1 f (ζ) w n 1 f (ζ )
F ( w) = ∑∫ ⋅ ( ) dζ = ∑ ( ∫ +
d ζ) w n
2π i n⩾0 ∂D(0,R ) ζ ζ n⩾0 2π i ∂D(0,R ) ζ
n 1
 I Analycité 63

On pose, comme annoncé :

1 f (ζ)
un = ∫ dζ
2π i ∂D(0,R ) ζn+1

Ainsi,
F ( w) = ∑ u n w n , pour tout w ∈ D(0, R )
n ⩾0

Le rayon de convergence de la série entière ∑ u n w n est bien ⩾ R puisque :

∥ f ∥∂D(0,R )
∣u n ∣ ⩽ 2π R
R n+1
par la majoration max-longueur. ∎

Démo du théorème. On part de la formule de Cauchy :

1 f (ζ)
f ( z + h) = ∫ dζ
2π i ∂D( z,R ) ζ − ( z + h)

Donc
f ( z + h) = F ( z + h) = ∑ u n h n
n ⩾0

(F la fonction du lemme !) où

1 f (ζ )
un = ∫ d ζ.
2π i ∂D( z,r) (ζ − z)n+1

3 Sur les zéros des fonctions holomorphes

Un peu de vocabulaire topologique
Définition 6.6 Soit X ⊂ C un ensemble et z ∈ C. Le point z est un point d’accumu-
lation de X lorsque pour tout R > 0, D( z, R ) ∩ X contient un autre point que z.
Autrement dit, s’il existe une suite ( xn )n ∈ X N tel que :
— Les xn sont tous distincts.
— xn → z.
On note Acc( X ) l’ensemble des points d’accumulation de X .
Le point z est un point isolé de X lorsqu’il existe R > 0, D( z, R ) ∩ X = { z}. On note
Isol( X ) l’ensemble des points isolés de X .

∎Remarque 6.7 On remarquera que par définition Isol( X ) ⊂ X alors que Acc( X ) n’a
pas de raison d’être inclus dans X .
De plus, pour tout ensemble X , on a :
— X ⊂ Isol( X ) ∪ Acc( X ) et
— Isol( X ) ∩ Acc( X ) = ∅.
∎
64 Chapitre 6. Application de la théorie de Cauchy

∎ Exemple 6.8
— Si X = D alors Acc(D) = D et Isol(D) = ∅.
— Plus généralement, si U est ouvert alors Acc(U) = U et Isol(U) = ∅.
— Si X = {1/n ∣ n ⩾ 1} alors Acc( X ) = {0} et Isol( X ) = X .
— Si ( u n )n ∈ CN est une suite de points X = { u n ∣ n ⩾ 0} alors Acc( X ) est l’ensemble
des valeurs d’adhérences de ( u n )n et Isol( X ) = X ∖ Acc( X ).
— Si X = Q ⊂ C alors Acc(Q) = R et Isol(Q) = ∅.
— Si F est fermé alors Acc(F ) = F ∖ Isol( X ).
∎

Principe des zéros isolés

Théorème 6.9 — Les zéros ont un ordre – V1. (U connexe)
Soit U un ouvert connexe, f ∶ U → C une fonction holomorphe, non-nulle.
Si f (a) = 0 alors il existe un unique entier n ∈ N et une "unique" fonction holo-
morphe g ∶ D(a, R ) → C tels que :

∀ z ∈ D(a, R ), f ( z ) = ( z − a) n g ( z ) et g ( a ) ≠ 0.

L’entier n s’appelle l’ordre d’annulation de f en a.

Démonstration. Existence. Pour simplifier, on suppose a = 0. Il existe un disque

D(0, R ) sur lequel f admet un développement en série entière :

f ( z) = ∑ u k z k
k ⩾0

Par hypothèse, u 0 = 0, mais la suite ( u k )k n’est pas nulle puisque f n’est pas nulle
et U est connexe. On pose n le plus petit entier tel que u n ≠ 0 et g( z) = ∑ u k z k−n . La
k⩾ n
fonction g est holomorphe sur D(0, R ) et vérifie :

f ( z) = z n g( z) et g(0) ≠ 0.

Unicité. Soit ( m, h) un autre couple, on suppose h et g définies sur le même disque .

En faisant, le quotient, on obtient que

z n g( z)
∀ z ∈ D(0, R ) ∖ {0}, =1
z m h( z )

On note g(0), h(0) ≠ 0. Supposons n > m, alors en faisant tendre z vers zéro, on
obtient 0 = 1, absurde. De manière analoue, si m > n alors on obtient ∞ = 1, absurde.
Donc n = m.
Par conséquent, g( z) = h( z) pour z ≠ 0. Mais, g(0) = lim f ( z)/z n = h(0). Donc = h
z→0
sur D(0, R ). ∎
Notation 6.1. Si f ∶ U → C est une fonction, on note Z( f ) = {a ∈ U ∣ f (a) = 0}, l’en-
semble des zéros de f .
I Analycité 65

Si f est continue alors l’ensemble Z( f ) est un fermé de U , attention il n’y a pas de

raison que ce soit un fermé de C.
Exemple : La fonction f ( z) = sin(π/z) est holomorphe sur C∗ , Z( f ) = {1/n ∣ n ∈ Z, n ≠
0}, l’ensemble Z( f ) est un fermé de C∗ mais Z( f ) n’est pas un fermé dans C.
On remarque au passage que tous les points de Z( f ) sont isolés. Même si Acc(Z( f )) =
{0} ≠ ∅, cependant on a Acc(Z( f )) ∩ C∗ = ∅.

Corollaire 6.10 — Principe des zéros isolés – V2. (U connexe)

Soit U un ouvert connexe et f ∶ U → C une fonction holomorphe, non-nulle.
Si f s’annule en a alors il existe un voisinage V de a tel que f restreinte à V ne
s’annule qu’en a.
Autrement dit, les zéros de f sont isolés .
Autrement dit, si les zéros de f s’accumulent sur un point z ∈ C alors z ∉ U .
Autrement dit, Acc(Z( f )) ∩ U = ∅.

Démonstration. Par le théorème "les zéros ont un ordre - V1", il existe n ∈ N∗ et g

définie sur un disque D(a, R ) tel que :

f ( z) = ( z − a)n g( z), ∀ z ∈ D(a, R ) et g(a) ≠ 0.

La fonction g est continue et g(a) ≠ 0, ainsi g ne s’annule pas sur un voisinage de

zéro. Par conséquent, il va de même pour f . Ceci signifie que a est un point isolé de
Z( f ).
Si z est un point d’accumulation d’une suite de zéros distincts de f et z ∈ U alors
z est un zéro de f non-isolé, absurde. ∎
∎Exemple 6.11 La fonction f ( z) = sin(π/z) est holomorphe sur C∗ , Z( f ) = {1/n ∣ n ∈
Z, n ≠ 0}, ainsi Acc(Z( f )) = {0} et on a bien Acc(Z( f )) ∩ C∗ = ∅. ∎

Corollaire 6.12 (U connexe)

Soit f ∶ U → C une fonction holomorphe, non-nulle, sur un ouvert connexe alors :
— Pour tout compact K ⊂ U , l’intersection K ∩ Z( f ) est finie, et
— Z( f ) est au plus dénombrable.

Démo laissé en exo. Indication.

— Un compact infini possède un point d’accumulation.
— Tout ouvert de C est union dénombrable de compacts.
— Une union dénombrable d’ensemble fini est au plus dénombrable.
∎

Théorème 6.13 (U connexe) Soit U un ouvert connexe. Si deux fonctions holo-

morphes f , g ∶ U → C coïncident sur un ouvert non-vide V ⊂ U alors f = g sur U .

Démonstration. V ⊂ Z( f − g) est non-dénombrable (ou contient un point d’accumula-

tion). ∎
66 Chapitre 6. Application de la théorie de Cauchy

On note H(U) l’espace des fonctions holomorphes, c’est un C-espace vectoriel et

un anneau, autrement dit c’est une C-algèbre.

Corollaire 6.14 (U connexe)

Soit U un ouvert connexe. L’anneau H(U) des fonctions holomorphes est intègre.

Démonstration. TD. ∎

Principe du prolongement analytique

Théorème 6.15 — Principe du prolongement analytique. (U connexe)
Soit U un ouvert non-vide connexe de C et f , g ∶ U → C deux fonctions holomorphes.
Il y a équivalence entre :
(i) f = g sur U .
(ii) f = g sur V un ouvert non-vide de U .
(iii) L’ensemble S = { z ∈ U ∣ f ( z) = g( z)} a un point d’accumulation dans U .
(iv) Il existe c ∈ U tel que ∀ k ∈ N , f (k) ( c) = g(k) ( c).

Démonstration. Quitte à changer f en f − g et g en 0, on peut supposer que g = 0.

Les implications ( i ) ⇒ ( ii ) ⇒ ( iii ) et ( ii ) ⇒ ( iv) sont évidentes.
Montrons ( iii ) ⇒ ( iv). Soit c un point d’accumulation de l’ensemble S = Z( f ).
f est holomorphe et U est connexe donc par le principe des zéros isolés, f = 0, donc
∀ k ∈ N , f (k) ( c) = 0.
Montrons maintenant ( iv) ⇒ ( ii ). Soit c ∈ U tel que ∀ k ∈ N, f (k) ( c) = 0, f est
holomorphe donc DSE en c mais tous ses coeffcients sont nuls, donc f est nulle sur
un disque autour de c.
Le principe des zéros isolés montre que ( ii ) ⇒ ( i ). ∎

Corollaire 6.16 — Principe du prolongement analytique, Vprime.

Soit U un ouvert et f ∈ H(U). Soit Ω ouvert connexe contenant U , il existe au plus
une fonction holomorphe f˜ ∈ H(Ω) tel que f˜∣U = f .

Démonstration. Soit fˆ un autre prolongement de f alors on a f˜ = f = fˆ sur U donc

f˜ = f = fˆ sur Ω par le Principe du prolongement analytique (Ω est connexe). ∎

∎ Remarque 6.17 — En pratique. S’il existe V un ouvert V tel que U ∪V est connexe et
g ∈ H(V) tel que f = g sur U ∩ V , on prend f˜ définie par f˜∣U = f et f˜∣V = g. La fonction
F est bien holomorphe. Et ce prolongement est unique puisque Ω = U ∪ V ⊃ U est
connexe. On peut remarquer que les hypothèses imposent U ∩ V ≠ ∅. ∎

∎ Exemple 6.18 On a défini la fonction ζ de Rieman sur H1 = { s ∈ C ∣ Re ( s) > 1} par :

1
ζ( s ) = ∑ s
n ⩾1 n
 I Analycité 67

On a aussi défini la fonction η de Dirichlet sur H0 = { s ∈ C ∣ Re ( s) > 0} par :

(−1)n−1
η( s) = ∑
n ⩾1 ns

On a montré que :
∀ s ∈ H1 , η( s) = (1 − 21−s )ζ( s)

La fonction :
η( s)
ζ̃( s) =
1 − 21−s
est définie sur H0 ∖ Z(1 − 21−s ) et coïncide avec ζ sur H1 . On peut donc prolonger
la fonction ζ à H0 ∖ Z(1 − 21−s ) par ζ̃, puisqu’elle que soit la façon de prolonger ζ le
résultat sera le même !
Pour info, Z(1 − 21−s ) = 1 + ln2(π2i) Z et en fait on peut même prolonger ζ à C ∖ {1},
(wikipedia recense 6 façons de faire). ∎

Théorème 6.19 — Les zéros ont un ordre – 2. (U connexe)

Soit U un ouvert connexe et f ∶ U → C une fonction holomorphe, non-nulle.
Si f (a) = 0 alors il existe un unique couple ( n, g) ∈ N × H(U) tel que :

∀z ∈ U , f ( z ) = ( z − a) n g ( z ) et g ( a ) ≠ 0.

Démonstration. La première version du théorème "Les zéros ont un ordre" donne

un entier n et une fonction holomorphe g définie sur un voisinage V de 0.
On pose : ĝ( z) = f ( z)/z n . La fonction g ∈ H(V), la fonction ĝ ∈ H(U ∖ {a}) et elles
coïncident sur V∖{a}, il existe donc une fonction g̃ ∈ H(V ∪ U ∖ {a}) qui les prolongent
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
=U
par le principe du prolongement analytique, et cette fonction est unique, par le
principe du prolongement analytique. ∎

4 Théorème de prolongement de Riemann

Théorème 6.20 — Théorème de prolongement de Riemann.
Soit U un ouvert de C, z0 ∈ U , et f une fonction holomorphe sur U ∖ { z0 }.
LASSE
1. f se prolonge en une fonction holomorphe f ∶ U → C.
2. f se prolonge en une fonction continue sur U .
3. f est bornée au voisinage de z0 .
4. lim ( z − z0 ) f ( z) = 0.
z → z0

Démonstration. Les implications (1.) ⇒ (2.) ⇒ (3.) ⇒ (4.) sont évidentes. Il nous
reste à montrer que (4.) implique (1.). On suppose donc que ( z − z0 ) f ( z) → 0 lorsque
 68 Chapitre 6. Application de la théorie de Cauchy

z → z0 . On peut supposer que z0 = 0. On définit

⎧
⎪
⎪ z2 f ( z) si z ≠ 0
h( z ) = ⎨
⎪
⎪ si z = 0.
⎩0
Il est clair que h est holomorphe sur U ∖ {0}, et en z = 0 on a :

h( z) − h(0)
= z f ( z ) → 0.
z
Donc h est holomorphe sur U et donc développable en série entière au voisinage de 0.
Comme h(0) = h′ (0) = 0, on a :

h( z ) = u 2 z 2 + u 3 z 3 + . . . + u n z n + . . . .

h( z )
Soit f˜( z) = z2 . Au voisinage de 0 on a f˜( z) = a 2 + a 3 z + . . . donc f˜ est holomorphe sur
un voisinage V de 0, et f˜ = f sur V ∖ {0}. La fonction f admet donc un prolongement
holomorphe. ∎

II Définitions équivalentes de l’holomorphie

Définition 6.21 Soit U ⊂ C et f ∶ U → C une fonction continue. On dit que f est
admet localement des C-primitives si pour tout z ∈ U , il existe V z ⊂ U ouvert et
F ∶ V z → C holomorphe tel que F ′ = f ∣V z .

Théorème 6.22 Soit U ⊂ C ouvert et f ∶ U → C une fonction continue. LASSE

1. f est holomorphe sur U .
2. Pour tout triangle plein T ⊂ U , ∫∂T f ( z) dz = 0.
3. f admet localement des C-primitives.
4. Pour tout disque ouvert D( z0 , R ) tel que D( z0 , R ) ⊂ U , on a :

1 f (ζ )
∀ z ∈ D( z0 , R ), f ( z) = ∫ d ζ.
2π i ∂D( z0 ,R ) ζ − z
5. f est analytique sur U .

∎ Remarque 6.23 (2.) ⇒ (1.) s’appelle le Théorème de Morera. ∎

Démonstration. — (1) ⇒ (2) : C’est le lemme de Goursat.

— (2) ⇒ (3) ∶ Soit z ∈ U et V z = D(0, R ) ⊂ U avec R suffisament petit. L’ouvert
D(0, R ) est étoilé, donc "la préparation à Cauchy étoilé" montre que f ∣V z admet
une C-primitive.
— (3) ⇒ (1) ∶ C’est une conséquence du fait que si F est holomorphe alors F ′ est
holomorphe.
— (1) ⇒ (4) ∶ C’est la formule intégrale de Cauchy pour les disques.
 III Les inégalités de Cauchy pour les dérivées 69

— (4) ⇒ (5) ∶ C’est le lemme de développabilité.

— (5) ⇒ (1) ∶ Les séries entières sont holomorphes.
∎

III Les inégalités de Cauchy pour les dérivées

1 C’est quoi ?
Théorème 6.24 — Formule de Cauchy pour les dérivées. Soit U ⊂ C un ouvert, f
une fonction holomorphe sur un voisinage du disque D( z0 , R ). Alors :

f (ζ)
f ( k) ( z ) =
k!
∀ k ∈ N, ∀ z ∈ D( z0 , R ), ∫ dζ
2π i ∂D( z0 ,R ) (ζ − z)k+1

Démonstration. Soit ρ > 0 tel que D( z, ρ ) ⊂ D( z0 , R ), le théorème "Développement

des applications holomorphes" montre que :

f (ζ)
f ( k) ( z ) =
k!
∫ dζ
2π i ∂D( z,ρ ) (ζ − z)k+1

Le théorème est donc une conséquence du lemme suivant : ∎

Lemme 6.25 Soit deux disques emboités D( z, ρ ) ⊂ D( z0 , R ) et f une fonction holo-

morphe sur un voisinage de la couronne fermée D( z0 , R ) ∖ D( z, ρ ). Alors :

∫∂D( z f (ζ) d ζ = ∫ f (ζ ) d ζ
0 ,R ) ∂D( z,ρ )

Démonstration. On l’a déjà fait (Démo de la formule de Cauchy pour les disques) et
j’aurais du la mettre dans un lemme ...
on note γ, γρ , γ1 , γ2 et γ3 , les 5 lacets tracés dans U comme sur la figure :

Missing
figure
The picture !

Clairement, on a :
γ − γρ = γ1 + γ2 + γ3

La fonction définie sur U ∖ { z} par :

f (ζ )
g(ζ) =
ζ− z

est holomorphe sur U ∖ { z} (qui n’est pas un ouvert étoilé).

 70 Chapitre 6. Application de la théorie de Cauchy

Pour k = 1, 2, 3, il existe un ouvert étoilé (même convexe) Vk tel que γk ⊂ Vk ⊂

U ∖ { z}. Par conséquent, pour tout k = 1, 2, 3, ∫ g(ζ)d ζ = 0 et donc :
γk

∫γ g(ζ)d ζ = ∫γ g(ζ)d ζ.
ρ

Théorème 6.26 — Inégalités de Cauchy. Soit U ⊂ C un ouvert, f une fonction

holomorphe sur un voisinage du disque D( z0 , R ). Alors pour tout k ∈ N, on a :

∣ f (k) ( z0 )∣
k!
⩽ ∥ f ∥∂D( z0 ,R )( z0 ,R ) .
Rk

Démonstration. On a par le Theorème 6.4 (DSE des applications holomorphes),

f (ζ )
f ( k ) ( z0 ) =
k!
∫ dζ
2π i ∂D( z0 ,R ) (ζ − z0 )k+1

Mais
f (ζ ) ∥ f ∥∂D( z0 ,R )
∥ ∥ ⩽
(ζ − z0 )k+1 ∂D( z0 ,R ) R k+1
Donc

k! ∥ f ∥∂D( z0 ,R ) k! ∥ f ∥∂D( z0 ,R )
∣ f (k) ( z0 )∣ ⩽ Long (∂ D( z , R )) = 2πR.
R k+1 R k+1
0
2π 2π
∎

2 Le théorème de convergence de Weierstrass

Théorème 6.27 Soit U un ouvert de C et ( f n ∶ U → C)n∈N une suite de fonctions
holomorphes qui converge uniformément sur les compacts de U vers f ∞ . Alors
1. f ∞ est holomorphe sur U , et
( k) ( k)
2. pour tout k ∈ N, f n converge uniformément sur les compacts de U vers f ∞ .

Proposition 6.28
Soit U un ouvert de C.
Soit k ∈ N, K ⊂ U un compact, Ω un ouvert tel que K ⊂ Ω ⊂ Ω ⊂ U et Ω est compact.
Il existe une constante C K,Ω,k > 0 tel que :

∀ f ∈ H(U), ∥ f (k) ∥K ⩽ C K,Ω,k ∥ f ∥Ω

Notation 6.2. Si A, B ⊂ C, on note :

dist( A, B) = inf ∣ z − w ∣.
z∈ A,w∈B
III Les inégalités de Cauchy pour les dérivées 71

∎ Remarque 6.29
k!
C K,Ω,k =
dist(K, C ∖ Ω)k
∎

Lemme 6.30 Soit K ⊂ C un compact, F ⊂ C un fermé alors dist(K, F ) est atteint.

Ainsi, si K ∩ F = ∅ alors dist(K, F ) > 0.

Démonstration. Montrons qu’il existe k ∈ K, f ∈ F tel que dist(K, F ) = ∣ k − f ∣. Soit

(k n , f n ) ∈ (K × F )N une suite minimisante, c’est à dire tel que :

∣ k n − f n ∣ → dist(K, F ) =∶ R.

Comme K est compact, on peut supposer que k n → k ∞ . Pour n assez grand,

∣ f n − k ∞ ∣ ⩽ ∣ f n − k n ∣ + ∣ k n − k ∞ ∣ ⩽ (2 R + 1) + 1

En particulier, la suite ( f n )n est bornée, on peut donc supposer que f n → f ∞ ∈ C.

Mais f ∞ ∈ F puisque F est fermé. Ainsi,

dist(K, F ) = ∣ k ∞ − f ∞ ∣ > 0

puisque K ∩ F = ∅. ∎
72 Chapitre 6. Application de la théorie de Cauchy

Lemme 6.31 Soit K ⊂ C un compact et ρ > 0 alors :

K ′ ∶= ⋃ D( z, ρ )
z∈K

est compact.

Démonstration. On considère l’application continue :

σ ∶ K × D(0, ρ ) Ð→ C
(k, α) z→ k + α

Comme, l’image d’un compact par une application continue est compacte et K ′ =
σ(K × D(0, ρ )), K ′ est compacte. ∎

Démonstration. On pose R = dist(K, C ∖ Ω). Comme K ⊂ Ω, K ∩ C ∖ Ω = ∅ et on a :

dist(K, C ∖ Ω) = R > 0

par le lemme précédent. De plus, par définition du réel R = dist(K, C ∖ Ω) :

∀ z ∈ K, D( z, R ) ∩ C ∖ Ω = ∅

Autrement dit,
∀ z ∈ K, D( z, R ) ⊂ Ω
Par conséquent,
∀ z ∈ K, D( z, R ) ⊂ Ω ⊂ U
L’inégalité de Cauchy montre alors :

k!∥ f ∥∂D( z,R ) k!∥ f ∥Ω

∀ z ∈ K, ∣ f (k) ( z)∣ ⩽ ⩽
Rk Rk
∎

Démonstration.

1. La fonction f ∞ est continue sur U car les fonctions f n sont continues et la suite
( f n )n converge uniformément sur les compacts de U vers f ∞ . Soit T ⊂ U un
triangle plein. Alors

cv unif
©
∫∂T f ∞ ( z)dz = ∫∂T nlim
→∞
f n ( z) dz = lim ∫ f n ( z) dz = 0
n→∞ ∂T
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
=0

d’après le lemme de Goursat. Donc f ∞ est holomorphe (d’après la partie II de

ce chapitre "Définitions équivalentes de l’holomorphie - Thm de Morera").
 III Les inégalités de Cauchy pour les dérivées 73

2. Soit K un compact. On note :

K ′ ∶= ⋃ D( z, ρ ) ⊂ U , Ω ∶= Int(K ′ ) ⊃ K
1
ρ ∶= dist(K, C ∖ U) > 0 ,
2 z∈K

On a bien K ′ ⊂ U puisque :

∀ z ∈ K, D( z, ρ ) ∩ C ∖ U = ∅

Ainsi, Ω est un ouvert contenant K et d’adhérence compacte incluse dans U .

On a, pour tout k ⩾ 1,

( k) ( k)
∥ f n − f ∞ ∥K ⩽ C K,Ω,k ∥ f n − f ∞ ∥Ω
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¶
Ð→0

( k) ( k)
puisque Ω est compact. Donc ∥ f n − f ∞ ∥K Ð→ 0.
∎

3 Le théorème de Liouville
Rappelons-nous qu’une fonction holomorphe sur C est dite entière.

Théorème 6.32 — Liouville. Toute fonction entière bornée est constante.

Démonstration. On note M = ∥ f ∥C < ∞. Soit z ∈ C et R > 0, comme D( z, R ) ⊂ C, les

inégalités de Cauchy (avec n = 1) donne :

∣ f ′ ( z)∣ ⩽
1! M
∀ R > 0, M= Ð→ 0.
R 1 R R →∞

Donc f ′ = 0, donc f est constante. ∎

Corollaire 6.33 Il n’existe pas biholomorphisme entre C et D, (donc pas de biholo-

morphisme non plus entre C et H).

Voici une démonstration d’un théorème que vous connaissez très bien. Le Théo-
rème de Liouville donne une démonstration agréable.

4 Théorème fondamental de l’algèbre par le Théorème de Liouville

Théorème 6.34 — D’Alembert-Gauss.
Tout polynôme non constant à coefficients complexes, admet au moins une racine
complexe.

On rappelle l’énoncé suivant :

Lemme 6.35 — Croissance des polynômes.

Soit P ( z) = ∑nk=0 a k z k ∈ C[ z] un polynome de degré n. Alors il existe R > 0 tel que
 74 Chapitre 6. Application de la théorie de Cauchy

pour tout z ∈ C avec ∣ z∣ ⩾ R on a

1
∣a n ∣∣ z∣n ⩽ ∣P ( z)∣ ⩽ 2∣a n ∣∣ z∣n .
2

Démonstration.
P ( z)
Ð→ 1
a n z n z→∞
D’où le résultat. ∎

Et voici une preuve du théorème fondamental de l’algèbre.

Démonstration du Théorème 6.34, Démo 1 par Liouville.

Supposons qu’il existe un polynôme P de degré n ⩾ 1 qui n’a pas de racine dans
C. Alors la fonction f = P1 ∶ C → C est holomorphe. D’après le Lemme de croissance,
∣P ( z)∣ → ∞ lorsque ∣ z∣ → ∞. Mais alors f est bornée, et donc constante d’après le
théorème de Liouville, impossible car n ⩾ 1. ∎

IV Le principe du maximum
1 C’est quoi ?
∎ Rappel 6.36 Une fonction ϕ ∶ U → R admet un maximum local lorsque :

∃ z ∈ U , ∃ρ > 0, ∀ζ ∈ D( z, ρ ), ϕ(ζ) ⩽ ϕ( z)

Théorème 6.37 — Principe du maximum. (U connexe)

Soit U ⊂ C un ouvert connexe et f holomorphe sur U . Si ∣ f ∣ admet un maximum
local alors f est constante.
Mieux, si f n’est pas constante alors pour tout z ∈ U , pour tout ρ > 0 tel que
D( z, ρ ) ⊂ U , il existe ζ tel que ∣ f (ζ)∣ > ∣ f ( z)∣ et ∣ζ − z∣ = ρ .

2 La démo par Gutzmer-Parseval

Théorème 6.38 — Formule de Gutzmer-Parseval. Soit f la somme de la série entière
∑n u n ( z − z0 )n de rayon de convergence strictement superieur à r > 0. Alors

1 2π +∞
∫ ∣ f ( z 0 + re )∣
it 2
dt = ∑ ∣ u n ∣2 r 2n
2π 0 n =0
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
Moyenne de ∣ f ∣2 sur ∂D( z0 ,r )
IV Le principe du maximum 75

Démonstration. On peut supposer z0 = 0. On écrit z = re it Ainsi :

∣ f ( z)∣2 = f ( z) f ( z)

=( ∑ u n r n e int )( ∑ u p r p e− i pt )
n ⩾0 p⩾0

= ∑ u n u p r n+ p e i ( n− p ) t puisque ∑ ∣ u n u p ∣ r n+ p = ( ∑ ∣ u n ∣ r n ) < ∞
2

n,p⩾0 n,p⩾0 n ⩾0

La série ∑ u n u p r n+ p e i(n− p) t converge uniformément sur [0, 2π]. Par conséquent,

n,p⩾0

2π 2π
∫0 ∣ f (re it )∣2 dt = ∫ ∑ u n u p r n+ p e i(n− p)t dt
0 n,p⩾0
2π
= ∑ ∫ u n u p r n+ p e i(n− p) t dt
n,p⩾0
0
2π
= ∑ u n u p r n+ p ∫ e i(n− p) t dt
n,p⩾0 0

=2π ∑ ∣ u n ∣2 r 2n
n ⩾0

puisque :
2π 2π si k = 0,
∫0 e ikt dt = {
0 si k ≠ 0.
∎

Démo du principe du Maximum. Soit f holomorphe sur U . Supposons que ∣ f ∣ ad-

mette un maximum local en z0 ∈ U . Alors, pour tout r suffisamment petit :

1 2π 1 2π
∫ ∣ f ( z0 + re it )∣2 dt ⩽ ∫ ∣ f ( z0 )∣2 dt ⩽ ∣ f ( z0 )∣2 .
2π 0 2π 0
Mais

f (n) ( z0 ) 2n f (n) ( z0 ) 2n
2π 2 2
1
∫ ∣ f ( z 0 + re )∣
it 2
dt = ∑ ∣ ∣ r = ∣ f ( z 0 )∣ 2
+ ∑ ∣ ∣ r
2π 0 n ⩾0 n! n⩾1 n!

Donc :
∀ n ⩾ 1, f ( n ) ( z 0 ) = 0.
Donc f est constante sur un voisinage de z0 , donc f est constante sur U par le
principe du prolongement analytique (U est connexe). ∎
 76 Chapitre 6. Application de la théorie de Cauchy

Théorème 6.39 (U connexe et borné)

Soit U un ouvert connexe et borné et f ∶ U → C tel que f est non-constante, holo-
morphe sur U et continue sur U . Alors,

∀z ∈ U , ∣ f ( z)∣ < sup ∣ f (ζ)∣

ζ∈∂U

Démonstration. Comme U est borné, le fermé U est compact. La fonction ∣ f ∣ est

continue sur le compact U , elle possède donc un maximum global M .
Cas 1 : il existe z0 ∈ U tel que ∣ f ( z0 )∣ = M . Dans ce cas, ∣ f ∣ ∶ U → C admet un
maximum local, donc f est constante, absurde.
Cas 2 : il existe z1 ∈ ∂U tel que ∣ f ( z1 )∣ = M et pour tout z ∈ U , ∣ f ( z)∣ < M . Ben...
c’est ce que l’on voulait montrer... ∎

V Théorème de l’image ouverte

1 C’est quoi ?
Ici nous allons montrer que fonctions holomorphes non constantes sont des
applications ouvertes.

Définition 6.40 Une application f ∶ X → Y entre deux espaces topologiques X et Y

est dite ouverte si l’image f (U ) de tout ouvert U ⊂ X est un ouvert de Y .

Théorème 6.41 — Théorème de l’image ouverte. (U connexe)

Soit U un ouvert connexe et f ∶ U → C holomorphe. Si f n’est pas constante, alors f
est une application ouverte.

2 Démo par le principe du minimum

Théorème 6.42 — Principe du minimum. (U connexe)
Soit U ⊂ C un ouvert et f ∶ U → C holomorphe. Si ∣ f ∣ admet un minimum local alors
celui est nul. En particulier, f s’annule dans U .

Démonstration. Supposons que f admet un minimum local en z0 ∈ U . Pour tout R > 0

suffisament petit, on a alors :

∣ f ( z0 )∣ ⩽ inf ∣ f ( z)∣.
z∈∂D( z0 ,R )

Par l’absurde, supposons que f ( z0 ) ≠ 0. Comme f est continue, il existe alors ρ > 0,
tel que f ne s’annule pas sur D( z0 , ρ ).
On définit g = 1f ∶ D( z0 , ρ ) → C, elle est holomorphe. Et, on a :

∣ g( z0 )∣ ⩾ sup ∣ g( z)∣.
z∈∂D( z0 ,R )
V Théorème de l’image ouverte 77

Mais le Principe du Maximum montre,

∣ g( z0 )∣ < sup ∣ g( z)∣,

z∈∂D( z0 ,R )

absurde. Donc f ( z0 ) = 0. ∎

Démo du théorème de l’application ouverte. Soit V ⊂ U un ouvert et z0 ∈ V . Il faut

montrer que f (V) contient une boule centrée en f ( z0 ).
Comme f − f ( z0 ) n’est pas constante, d’après le principe des zéros isolés, il existe
ρ > 0, tel que D( z0 , ρ ) ⊂ V et f (ζ) ≠ f ( z0 ) pour tout ζ ∈ ∂D( z0 , ρ ). On pose :

1
δ ∶= min ∣ f (ζ) − f ( z0 )∣ > 0.
2 ζ∈∂D( z0 ,ρ )

Pour conclure, on va montrer que D( f ( z0 ), δ) ⊂ f (D( z0 , ρ )), à l’aide du principe

du minimum.
Soit w ∈ D( f ( z0 ), δ). On va montrer que la fonction g ∶= f − w a un zéro dans
D( z0 , ρ ).

min ∣ g(ζ)∣ = min ∣ f (ζ ) − w ∣ = min ∣ f (ζ ) − f ( z 0 ) + f ( z 0 ) − w ∣

ζ∈∂D( z0 ,ρ ) ζ∈∂D( z0 ,ρ ) ζ∈∂D( z0 ,ρ )

⩾ min ∣ f (ζ) − f ( z0 )∣ − ∣ f ( z0 ) − w∣
ζ∈∂D( z0 ,ρ ) ´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶ <δ
=2δ
⩾ δ

Donc
min ∣ g(ζ)∣ ⩾ δ > ∣ f ( z0 ) − w∣ = ∣ g( z0 )∣
ζ∈∂D( z0 ,ρ )

Le minimum de g est donc atteint à l’intérieur de D( z0 , ρ ). Par le principe du

minimum, g possède un zéro dans D( z0 , ρ ). ∎
 7. Théorie des résidus

Définition 7.1 Un ensemble V ⊂ C est un voisinage de l’∞, s’il contient le complé-

mentaire d’un ensemble compact.

Notation 7.1. On notera les disques épointés de la façon suivante :

∗
D∗ (a, R ) ∶= D(a, R ) ∖ {a} et D (a, R ) ∶= D(a, R ) ∖ {a}.

Définition 7.2 Soit a, ℓ ∈ Ĉ = C ∪ {∞}. Soit f une fonction définie sur un disque
épointé D∗ (a, ρ ) pour un certain ρ > 0. On dit que f ( z) → ℓ quand z → a lorsque :
— Cas a, ℓ ∈ C :

∀ε > 0, ∃ δ > 0, ∣ z − a∣ < δ ⇒ ∣ f ( z ) − ℓ∣ < ε

— Cas a ∈ C, ℓ = ∞ :

∀ M > 0, ∃ δ > 0, ∣ z − a∣ < δ ⇒ ∣ f ( z)∣ > M

— Cas a = ∞, ℓ = ∞ :

∀ M > 0, ∃R > 0, ∣ z∣ > R ⇒ ∣ f ( z)∣ > M

— Cas a = ∞, ℓ ∈ C :

∀ ε > 0, ∃R > 0, ∣ z∣ > R ⇒ ∣ f ( z ) − ℓ∣ < ε

I Les 3 types de singularités isolées

1 Le lemme
80 Chapitre 7. Théorie des résidus

Lemme 7.3 Soit f ∶ U ∖ { z0 } → C holomorphe alors l’une des trois alternatives

exclusives suivantes est vérifiées :
1. La fonction f est bornée au voisinage de z0 . Dans ce cas f se prolonge en z0
en une fonction holomorphe sur U .
2. La fonction f tend vers ∞ en z0 . Dans ce cas, il existe un unique couple
(n, g) ∈ N∗ × H(U) tel que :

∀ z ∈ U ∖ { z0 }, z n f ( z) = g( z) et g(0) ≠ 0.

3. Pour tout ρ > 0 tel que D( z0 ) ⊂ U , l’ouvert f (D∗ ( z0 , ρ )) est dense dans C.

∎ Rappel 7.4 L’ensemble f (D∗ ( z0 , ρ )) est un ouvert par le théorème de l’image

ouverte. ∎

Démonstration. Le premier point est donné par le théorème de prolongement de

Riemann.
Supposons que f n’est pas bornée et f (D∗ ( z0 , ρ )) n’est pas dense pour un certain
ρ > 0. Montrons qu’alors f vérifie le second point. Il existe a ∈ C et r > 0 tels que :

f (D∗ ( z0 , ρ )) ∩ D(a, r ) = ∅.

Autrement dit,
∀ z ∈ D∗ ( z0 , ρ ), ∣ f ( z) − a∣ > r.
Ou encore :
∀ z ∈ D∗ ( z0 , ρ ), ∣ < r −1 .
1
∣
f ( z) − a
Ainsi, la fonction ϕ définie par D∗ ( z0 , ρ ) :

1
ϕ( z) ∶=
f ( z) − a

est holomorphe D∗ ( z0 , ρ ) et bornée. Le théorème de prolongement de Riemann

montre que ϕ se prolonge en une fonction holomorphe sur D( z0 , ρ ). De plus :

∀ z ∈ D∗ ( z0 , ρ ),
1
f ( z) = a + .
ϕ( z)

Mais f n’est pas bornée au voisinage de z0 donc ϕ( z0 ) = 0. Donc :

lim f ( z) = ∞.
z → z0

(On a montré la première partie du point 2.)

Soit n l’ordre d’annulation de ϕ en z0 , il existe ψ ∈ H(D( z0 , ρ )) telle que :

∀ z ∈ D( z0 , ρ ), ϕ( z) = ( z − z0 )n ψ( z) et ψ(0) ≠ 0.
 I Les 3 types de singularités isolées 81

On a donc :

∀ z ∈ D∗ ( z0 , ρ ),
1
( z − z0 ) n f ( z ) = + a( z − z0 ) n
ψ( z )

On définit la fonction g par :

1
g( z) ∶= + a( z − z0 ) n ,
ψ( z)

la fonction g est holomorphe sur D( z0 , ρ ) et vérifie :

∀ z ∈ D ∗ ( z 0 , ρ ), g( z) = ( z − z0 )n f ( z) et g(0) ≠ 0.

La fonction g se prolonge à U par la formule g( z) = ( z − z0 )n f ( z). Exo : montrer

l’unicité du couple ( n, g). ∎

2 La définition
Définition 7.5 Soit U ⊂ C un ouvert et z0 ∈ U . Soit f ∶ U ∖ { z0 } → C holomorphe, on
dit que z0 est une singularité isolée de f .
— Une singularité isolée de f est dite effaçable (ou apparente) si f peut être
prolongée en une fonction holomorphe f˜ ∶ U → C.
— Une singularité isolée de f est un pôle si f ( z) Ð→ ∞.
z → z0
— Une singularité isolée de f qui n’est ni effaçable ni un pôle est appelée
singularité essentielle.

Le lemme précédent se résume ainsi :

Théorème 7.6 Soit U ⊂ C un ouvert et z0 ∈ U . Soit f ∶ U ∖ { z0 } → C holomorphe.

1. La singularité z0 est effaçable si et seulement si f est bornée au voisinage
de z0 .
2. La singularité z0 est un pôle si et seulement s’il existe n ∈ N∗ tel que la
fonction g = ( z − z0 )n f peut être prolongée en une fonction holomorphe g̃ ∶
U → C.
Dans ce cas, l’entier

m ∶= min{ n ∈ N ∶ ( z − z0 )n f est bornée dans un voisinage z0 } ⩾ 1.

s’appelle l’ordre du pôle z0 . Si m = 1, on dit que z0 est un pôle simple.

3. La singularité z0 est essentielle si et seulement si pour tout voisinage V de
z0 , f (V) est dense dans C.

∎ Exemple 7.7 Quelques exemples élémentaires.

sin( z)
1. La singularité 0 de z ↦ z est effaçable.
cos( z)
2. La fonction z ↦ z a un pôle simple en 0.
 82 Chapitre 7. Théorie des résidus

3. Les fonctions z ↦ exp ( 1z ), z ↦ sin ( 1z ) et z ↦ cos ( 1z ) ont une singularité essen-

tielle en 0. On justifie seulement pour e1/z . Pour x ∈ R :

∀n ∈ N, lim exp (1/x) = +∞ et lim exp (1/x) = 0.

x→0+ x→0−

Donc e1/z n’est pas bornée au voisinage de 0, et ne tend pas vers ∞ non plus.
∎

3 Fonctions méromorphes
Définition 7.8 Une partie P ⊂ C est discrète lorsque tous les points de P sont isolés,
c’est-à-dire :
∀ p ∈ P, ∃ r > 0, P ∩ D( p, r ) = { p}.

Définition 7.9 Soit U ⊂ C un ouvert. Une fonction f est dite méromorphe sur U s’il
existe un fermé discret P( f ) ⊂ U tel que f est holomorphe sur U ∖ P( f ) et f a un
pôle en tout point de P( f ).
On note M(U) l’ensemble des fonctions holomorphes sur U .

∎ Exemple 7.10 Quelques exemples :

1. Toute fonction f holomorphe sur U est aussi méromorphe sur U avec P( f ) = ∅.
2. Toute fraction rationnelle (quotient de polynômes) est méromorphe sur C.
∎

4 Développement au voisinage des pôles

Théorème 7.11 — Au voisinage des pôles.
Soit U un ouvert de C, z0 ∈ U et f ∶ U ∖ { z0 } → C holomorphe non-nulle. Si z0 est
une singularité effaçable ou un pôle alors :
1. Il existe un unique couple ( n, g) ∈ Z × H(U) tel que :

g ( z0 ) ≠ 0 et ∀ z ∈ U ∖ { z0 }, f ( z) = ( z − z0 )n g( z).

L’entier n s’appelle l’ordre de f en z0 , on le note :

ω z0 ( f ) ∶= n.

2. Il existe un unique couple (P, f˜) ∈ C[ z] × H(U) tel que :

1
P (0) = 0 et ∀ z ∈ U ∖ { z0 }, f ( z) = P ( ) + f˜( z).
z − z0

3. P = 0 si et seulement si z0 est une singularité effaçable.

4. Le degré de P est égale à l’ordre du pôle z0 .

Démonstration. Si z0 est une singularité effaçable. On a déjà tout démontré précé-

demment. Supposons que z0 est un pôle.
I Les 3 types de singularités isolées 83

Il existe un entier m (l’ordre du pôle z0 ) tel que la fonction g( z) = ( z − z0 )m f ( z)

est holomorphe sur U et g( z0 ) ≠ 0. Et,

∀ z ∈ U ∖ { z0 }, f ( z) = ( z − z0 )−m g( z).

Ce qui donne le premier point. De plus, g se développe en séries entières au

voisinage de z0 et on peut écrire, dans un disque D( z0 , R ) :
+∞
∀ z ∈ D( z0 , R ), g ( z ) = ∑ u n ( z − z0 ) n .
n=0

Alors ∀ z ∈ D∗ ( z0 , R ) ∶

g( z) u0 u1 u m−1 +∞
f ( z) = = + + . . . + + ∑ u m+ n ( z − z 0 ) n
( z − z0 )m ( z − z0 )m ( z − z0 )m−1 z − z 0 n =0

+∞
On pose f˜( z) ∶= ∑ u m+n ( z − z0 )n qui est holomorphe sur D( z0 , R ) ⊂ U et P ( z) =
n =0
u 0 z m + u 1 z m−1 + ⋯ + u m−1 .

On a bien P (0) = u 0 = g( z0 ) ≠ 0, deg(P ) = m l’ordre de z0 et pour tout z ∈

D∗ ( z0 , R ) ∶
1
f ( z) = P ( ) + f˜( z) (☆).
z − z0
On définit f˜ sur U ∖ D( z0 , R ) en utilisant l’équation (☆). Comme g est unique, les
coefficients b i et la fonction f˜ sont aussi uniques. ∎

∎ Remarque 7.12 D’après le Théorème 7.11, si f est une fonction méromorphe sur U
et z0 ∈ P( f ) est un pôle de f , alors au voisinage de z0 , f se developpe en une série de
Laurent avec un nombre fini de termes d’indices négatifs :
+∞
∗
∃ r > 0, ∀ z ∈ D ( z0 , r ), f ( z ) = ∑ b n ( z − z0 ) n .
n=− m

Corollaire 7.13 Si f , g sont méromorphes non-nulles sur U alors :

1. f + g est méromorphe sur U et

∀z ∈ U , ω z ( f + g) ⩾ min(ω z ( f ), ω z ( g)).

2. f g est méromorphe sur U et

∀z ∈ U , ω z ( f g) = ω z ( f ) + ω z ( g).

Démonstration. Exo. ∎
 84 Chapitre 7. Théorie des résidus

Proposition 7.14 L’ensemble M(U) est :

1. un C-espace vectoriel.
2. un anneau.
3. un C( z)-espace vectoriel.
4. une C-algèbre, même une C( z)-algèbre.
5. Si U est connexe alors M(U) est un corps.

Démonstration. Les 4 premiers points sont laissés en exercice. On suppose U connexe.

Soit f non-nulle méromorphe sur U . Vérifions que 1/f est aussi méromorphe sur U .

Comme f est non-nulle et U est connexe, l’ensemble Z( f ) est un fermé discret de

l’ouvert U par le principe des zéros isolés. Ainsi, l’ensemble Z( f ) ∪ P( f ) est encore
un fermé discret de U . La fonction 1/f est définie et holomorphe sur U ∖(Z( f )∪P( f ))
qui est un ouvert non-vide.

Si z0 ∈ P( f ) alors f ( z) Ð→ ∞ donc 1/f ( z) Ð→ 0, donc la singularité z0 est effa-

z → z0 z → z0
çable. Ainsi, 1/f est holomorphe sur U ∖ Z( f ).

Enfin tout zéro de f est un pôle de 1/f . C’est une conséquence du fait que si
f ( p) = 0 alors 1/f ( z) Ð→ ∞. ∎
z→ p

II Indice d’un point par rapport à une courbe

1 C’est quoi ?
Théorème 7.15 — Théorème de relèvement de l’angle.
Soit γ ∶ [a, b] → C un chemin tracé dans C∗ et θa ∈ R tel que γ(a) = ∣γ(a)∣ e iθa .
1. Il existe une unique fonction, de classe C 1 par morceaux, θ ∶ [a, b] → R tel
que :
∀ t ∈ [a, b], γ( t) = ∣γ( t)∣ e iθ( t) et θ ( a) = θ a .

2.
1 d ζ θ ( b ) − θ ( a)
∫ =
2π i γ ζ 2π
3. Si γ est un lacet alors :

1 dζ
θ ( b ) − θ ( a ) ∈ 2π Z et ∫ ∈ Z.
2π i γ ζ

Démonstration. Pour le point 1. Puisque γ est un chemin, on peut supposer γ est

γ( t)
C 1 . Quitte à appliquer le théorème à ∣γ(t)∣ , on peut supposer que pour tout t ∈
[a, b], ∣γ( t)∣ = 1. On raisonne par analyse et synthèse.
Analyse. Supposons qu’il existe une telle fonction θ , on a alors :

∀ t ∈ [a, b], γ′ ( t) = i θ ′ ( t) e iθ( t) = i θ ′ ( t)γ( t)

II Indice d’un point par rapport à une courbe 85

On doit avoir :
γ′ ( t)
∀ t ∈ [a, b], θ ′ ( t) = .
i γ( t)
γ′ ( t)
A priori, i γ( t)
∈ C∗ mais,

∀ t ∈ [a, b], ∣γ( t)∣2 = 1 = (γ( t)∣γ( t)).

où (⋅∣⋅) est le produit scalaire canonique sur le R-espace vectoriel C, donc :

∀ t ∈ [a, b], (γ′ ( t)∣γ( t)) = 0.

Donc, en fait :
γ′ ( t)
∀ t ∈ [a, b], ∈ R∗ .
i γ( t)
Fin de l’analyse. Synthèse. On pose,
t γ′ ( t)
θ ( t) = θ̂ + ∫ dt
a i γ( t)

e i θ ( t)
On vérifie aisément que la dérivée de la fonction de classe C 1 , γ( t)
est nulle. La
fonction θ est good to go si et seulement si :

γ(a) = e iθ(a) = e iθ̂

Donc, il faut et il suffit de prendre θ̂ = θa . Fin du point 1.

On écrit :
1 dζ 1 b γ′ ( t) 1
∫ = ∫ = (θ (b) − θ (a))
2π i γ ζ 2π a i γ( t) 2π
Fin du point 2.
Si γ est un lacet alors :

e iθ(b) = γ( b) = γ(a) = e iθ(a)

Donc θ ( b) − θ (a) ∈ 2πZ. ∎

Définition 7.16 Soit γ ∶ [a, b] → C un lacet et z ∈ C ∖ Image(γ). On définit l’indice

de γ par rapport à z par :

dζ θ ( b ) − θ ( a)
Ind(γ, z) ∶= ∫ =
γ ζ− z 2π

où θ est une fonction telle que :

∀ t ∈ [a, b], γ( t) − z = ∣γ( t) − z∣ e iθ( t)

 86 Chapitre 7. Théorie des résidus

2 Propriétés de l’indice

Proposition 7.17 Soit γ un lacet. Pour tout z ∈ C ∖ Image(γ) :

1. Ind(γ, z) ∈ Z.
2. Ind(Ð
→
γ , z) = − Ind(γ, z).
3. La fonction C ∖ Image(γ) ∋ z ↦ Ind(γ, z) est continue.
4. La fonction C ∖ Image(γ) ∋ z ↦ Ind(γ, z) est constante sur chaque composante
connexe de C ∖ Image(γ).

∎ Remarque 7.18 Ind(γ, z) est le nombre de tour que fait γ autour de z. ∎

Démonstration.
1. C’est la dernière conclusion du théorème de relèvement de l’angle.
2. Exo.
3. On écrit :
1 1 1 γ′ ( t)
∫γ ζ − z d ζ = 2π i ∫0 γ( t) − z dt

On pose :
γ′ ( t)
ϕ( t, z) =
γ( t) − z
et on se donne un disque fermé D( z0 , r ) ⊂ C ∖ Image(γ). On a :
(a) [0, 1] × D( z0 , r ) ∋ ( t, z) ↦ ϕ( t, z) est continue.
(b) Il existe M tel que pour tout ( t, z) ∈ [0, 1] × D( z0 , r ), ∣ϕ( z, t)∣ ⩽ M .
Le théorème de continuité des intégrales à paramètre montre que z ↦ Ind(γ, z)
est continue sur D( z0 , r ), donc continue en z0 . Mais z0 est quelconque.
4. Soit Ω une composante connexe de C ∖ Image(γ), comme la fonction z ↦
Ind(γ, z) est à valeurs dans Z. L’image de Ω par z ↦ Ind(γ, z) est un sous-
ensemble connexe inclus dans Z donc réduit à un point.
∎

Définition 7.19 Soit γ ∶ I → C un chemin parametré fermé dans C. L’intérieur de γ

est l’ensemble :
Int(γ) ∶= { z ∈ C ∖ Image(γ)∣ Indγ ( z) ≠ 0}
et l’extérieur de γ est l’ensemble

Ext(γ) ∶= { z ∈ C ∖ Image(γ)∣ Indγ ( z) = 0}.

Ainsi
C = Int(γ) ∪ Image(γ) ∪ Ext(γ).

Proposition 7.20 Si K ⊂ C est compact alors l’ouvert C ∖ K possède une unique

composante connexe non-bornée.
 II Indice d’un point par rapport à une courbe 87

Démonstration. Soit R > 0 tel que K ⊂ D(0, R ). Soit Ω1 , Ω2 deux composantes connexes
non-bornées de C ∖ K .
Soit z i ∈ Ω i tel que ∣ z i ∣ > R , il est facile de joindre z1 à z2 dans C ∖ D(0, R ), donc
dans C ∖ K . Donc Ω1 = Ω2 . ∎

Proposition 7.21 L’ensemble Ext(γ) contient la composante non bornée de C ∖

Image(γ).

Démonstration. L’intégrale
1
∫γ ζ − z d ζ zÐ→
→∞
0

et donc Indγ ( z) = 0 pour ∣ z∣ assez grand. ∎

∎Remarque 7.22 On peut avoir des composantes bornées dans l’extérieur, si γ n’est
pas un lacet simple. ∎

∎ Rappel 7.23 Un lacet est simple lorsque γ ∶ [a, b[→ C est injective. ∎

3 Exemples
Le cercle
Si γ parcourt le cercle de centre z0 et de rayon r , alors :
— Indγ ( z) = 1 si a ∈ D( z0 , r ), et

— Indγ ( z) = 0 pour tout z ∈ C ∖ D( z0 , r ).

Ainsi Int(γ) = D( z0 , r ) et Ext(γ) = C ∖ D( z0 , r ).

Le théorème de Jordan
Théorème 7.24 — Théorème de Jordan - Admis.
Soit γ un lacet simple tracé dans C alors :
1. C ∖ Image(γ) possède deux composantes connexes, une bornée, une non-
bornée.
2. Celle qui est non-bornée, c’est Ext(γ), l’indice de point par rapport à γ est
égale à 0.
3. L’autre c’est Int(γ), l’indice de point par rapport à γ est égale à 1,si γ tourne
en sens direct, et −1 si γ tourne en sens horaire.

∎Remarque 7.25 En TD et en examen, en présence d’un lacet simple dessiné, vous

avez le droit de dire : "Clairement, C ∖ Image(γ) possède deux composantes connexes,
une bornée, une non-bornée.... Clairement l’indice de bidule est égale à 1 et l’indice
de truc est égale à 0."
Bref, vous avez le droit de dire que les conclusions du théorème de Jordan sont
clairement réalisées pour le lacet simple considéré. ∎
88 Chapitre 7. Théorie des résidus

<
1 2 0

>

1 0 2 0
 III Théorème de Cauchy (dernière version) 89

Des dessins

Missing
figure
Formule

III Théorème de Cauchy (dernière version)

Théorème 7.26 — Théorème de Cauchy.
Soit U ⊂ C un ouvert connexe et γ un lacet tracé dans U tel que l’intérieur Int(γ)
de γ est inclus dans U . Alors
1. Pour tout f holomorphe sur U on a :

∫γ f (ζ)d ζ = 0

2. Pour tout f holomorphe sur U et pour tout z0 ∈ U ∖ Image(γ),

1 f (ζ )
∫ dζ = f ( z0 ) Indγ ( z0 ).
2π i γ ζ − z 0

Exercice 7.27 Montrer que si γ est un lacet quelconque tracé dans U tel que : Pour
tout f holomorphe sur U , ∫γ f (ζ) d ζ = 0 alors Int(γ) ⊂ U . ∎

Démonstration. Admise, voir Poly. ∎

Démonstration. On commence par remarquer qu’il suffit de montrer le second point.

Supposons le second vérifiée pour tout f holomorphe. Soit f holomorphe, on applique
le second point à la fonction :

g ( z ) = ( z − z0 ) f ( z )

On obtient :

1 1 g (ζ )
∫ f (ζ ) d ζ = ∫ d ζ = g( z0 ) Indγ ( z0 ) = 0.
2π i γ 2π i γ ζ − z 0

∎ Remarque 7.28 Le premier point implique aussi le second ! Exo ! ∎

Montrons maintenant le second point. Soit f ∶ U → C une fonction holomorphe.

90 Chapitre 7. Théorie des résidus

On pose
⎧
⎪ f (ζ ) − f ( z )
⎪
⎪
⎪ , (ζ , z ) ∈ U × U , ζ ≠ z
⎪
⎪ ζ− z
g(ζ, z) ∶= ⎨
⎪
⎪
⎪
⎪
⎪
⎪ ′
⎩ f ( z ), (ζ , z ) ∈ U × U , ζ = z
On souhaite montrer que pour tout z0 ∈ U ∖ Image(γ) :

∫γ g(ζ, z0 )d ζ = 0 (☆).

On admet pour l’instant le lemme suivant :

Lemme 7.29 La fonction h ∶ U → C définie par

h( z) ∶= ∫ g(ζ, z) d ζ
γ

est holomorphe sur U .

Nous allons montrer que h admet un prolongement holomorphe h̃ sur C tel que
h̃( z) → 0 quand z → ∞, et puis nous allons appliquer le Théorème de Liouville.

On définit
f (ζ )
h∗ ( z) ∶= ∫ d ζ, z ∈ Ext(γ).
γ ζ− z
Par le Corollaire ??, h∗ est holomorphe sur Ext(γ).
Soit z ∈ U ∩ Ext(γ). On a

f (ζ ) − f ( z )
d ζ = h∗ ( z ) − f ( z ) ∫ d ζ = h∗ ( z )
1
h( z ) = ∫
γ ζ− z γ ζ− z

donc h = h∗ sur U ∩ Ext(γ). Comme γ ∪ Int(γ) ⊂ U , on a C ∖ U ⊂ Ext(γ) et on peut

définir

⎧
⎪
⎪ h ( z ), z ∈ U
h̃( z) = ⎨
⎪ ∗
⎩ h ( z), z ∈ Ext(γ).
⎪
On a donc une fonction entière h̃.
La Majoration max-longueur montre :

∣ h∗ ( z)∣ ⩽ L(γ)∥ f ∥γ ∥
1
∥ Ð→ 0.
ζ− z γ z→∞

Donc h̃ → 0 lorsque z → ∞. En particulier h̃ est bornée et donc constante par Liouville.

Comme h̃ → 0 quand z → ∞, on conclut que h̃ = 0. Nous avons montré que h = 0. ∎

Pour montrer le lemme 7.29, il faut encore un lemme.

 IV Résidus 91

Lemme 7.30
— La fonction g est continue sur U × U .
— Pour tout ζ ∈ U , la fonction g ζ ( z) = g(ζ, z) est holomorphe.

Démo du lemme 7.30. Il est clair que g est continue au voisinage d’un point (ζ, z)
avec ζ ≠ z. Il est clair que g ζ est holomorphe sur U ∖ {ζ}.
Mais la fonction g ζ est continue en ζ, donc le théorème de prolongement de
Riemann montre que g ζ est holomorphe.
Il reste la continuité au voisinage d’un point ( z, z). Pour se simplifier la vie, on
suppose que z = 0. La fonction f est DSE en O (convergente dans le disque D(0, R )),
ainsi :
f (ζ ) − f ( z ) ∑ u n ( z n − w n )
n⩾0

Mais :
z n − w n = (ζ − z)(ζn−1 + ζn−2 z + ⋯ + ζ z n−2 + z n−1 )
On obtient que :

f (ζ ) − f ( z )
= ∑ u n (ζn−1 + ζn−2 z + ⋯ + ζ z n−2 + z n−1 ) = ∑ u p+ q+1 ζ p z q
ζ− z n ⩾1 p,q⩾0

qui est une série entière en deux variables convergentes sur le "bidisque" D(0, R ) ×
D(0, R ). En particulier, continue. ∎

IV Résidus
Définition 7.31 Soit U ⊂ C un ouvert, z0 ∈ U et f holomorphe sur U ∖ { z0 }.
Si D( z0 , r ) ⊂ U alors l’intégrale ∫∂D( z0 ,r) f (ζ) d ζ ne dépend pas de r .
Le résidu de f en z0 est la quantité :

1
Res z0 ( f ) = ∫ f (ζ) d ζ.
2π i ∂D( z0 ,r)

Démonstration. Montrer que cette intégrale ne dépend pas de r , exo ! ∎

Proposition 7.32 Soit U ⊂ C un ouvert, z0 ∈ U et f holomorphe sur U ∖ { z0 }.

On suppose que f a un pôle d’ordre m en z0 et on se donne le développement en
série de Laurent de f en z0 :

a −m a −(m−1) a −1
f ( z) = + −
+...+ + f˜( z).
( z − z0 ) m ( z − z0 ) m 1 z − z0

avec a i ∈ C et f˜ ∈ H(U). Alors :

Res z0 ( f ) = a −1 .
92 Chapitre 7. Théorie des résidus

Démonstration. Comme f˜ est holomorphe sur U ,

∫∂D( z f˜(ζ) d ζ = 0.
0 ,r )

Or, pour tout k ∈ Z, ∫ (ζ − z0 )k d ζ = 0 si k ≠ −1 et ∫ (ζ − z0 )−1 d ζ = 2π i .

∂D( z0 ,r ) ∂D( z 0 ,r )
Ainsi
1 1 a −1
Res z0 ( f ) = ∫ f (ζ) d ζ = ∫ d ζ = a −1 .
2π i ∂D( z0 ,r) 2π i ∂D( z0 ,r) ζ − z0
∎

Théorème 7.33 — Théorème des résidus.

Soit U un ouvert connexe, γ un lacet tracé dans U tel que Int(γ) ⊂ U .
Soit S ⊂ U ∖ Image(γ) un ensemble fini.
Soit f ∶ U ∖ S → C une fonction holomorphe. Alors

1
∫ f (ζ)d ζ
2π i γ
= ∑ Ind(γ, z0 ) Res z0 ( f ).
z0 ∈S ∩Int(γ)

Démo sous l’hypothèse supplémentaire que f n’a pas de singularité essentielle dans U .
Soit S = { z1 , z2 , . . . , z n }, on suppose que pour tout z i ∈ S , z i est un pôle ou une singu-
larité effaçable de f , et on écrit le DSL de f en z i
a i,−m i a i,−m i +1 a i,−1 ˜
f ( z) = + +...+ + f i ( z),
(z − zi )m i (z − zi ) m i −1 z − zi

où m i est l’ordre du pôle z i ( m i = 0 si z i est effaçable). Considérons les fonctions

−1
h i ∶ z ↦ ∑ a i,k ( z − z i )k .
k=− m i

n
On remarque que la fonction f − ∑ h i est holomorphe sur U ∖ S et se prolonge en une
i =1
fonction holomorphe sur U , par le théorème de prolongement de Riemann. Comme
Int(γ) ⊂ U , on a donc d’après le Théorème 7.26,
n
∫γ ( f (ζ) − ∑ h i (ζ))d ζ = 0.
i =1

Pour tout 1 ⩽ i ⩽ n, on a

−1
∫ h i (ζ)d ζ = ∑ ∫ a i,k (ζ − z i ) d ζ
k
γ k=− m i γ

Si k ≠ −1, la fonction z ↦ a i,k ( z − z i )k admet une C-primitive dans U ∖ { z i }, et alors

∫γ a i,k (ζ − z i ) d ζ = 0,
k
 V Quelques règles de calcul de résidus 93

donc

−1
∫γ h i (ζ) d ζ = ∫γ a i,−1 (ζ − z i ) d ζ = 2π ia i,−1 Indγ ( z i ) = 2π i ⋅ Indγ ( z i ) Res z i ( f ).

On obtient finalement :
n
1
∫ f (ζ ) d ζ = ∑ Indγ ( z i ) Res z i ( f ).
2π i γ i =1

V Quelques règles de calcul de résidus

Proposition 7.34 Soit f , g holomorphe sur U ∖ { z0 }.
1. Pour a, b ∈ C on a :

Res z0 (a f + b g) = a Res z0 ( f ) + b Res z0 ( g).

2. Si z0 est un pôle simple de f , alors

Res z0 ( f ) = lim f ( z)( z − z0 ).

z → z0

3. Si f = g/ h avec g( z0 ) ≠ 0, h( z0 ) = 0 et h′ ( z0 ) ≠ 0. Alors f a un pôle simple en

z0 et
g ( z0 )
Res z0 ( f ) = ′ .
h ( z0 )
4. Si z0 est un pôle d’ordre m de f , on pose :

ϕ( z) = ( z − z0 )m f ( z)

Alors
ϕ(m−1) ( z0 )
Res z0 ( f ) = a −1 =
(m − 1)!

Démonstration.
1. Linéarité de l’intégrale.
2. Comme z0 est un pôle simple, on a :
a −1
f ( z) = + f˜( z)
z − z0

où f˜ est holomorphe dans un voisinage de z0 . On a bien lim z→ z0 f ( z)( z − z0 ) =

a −1 .
3.
g( z) ( z − z0 ) g ( z0 )
lim ( z − z0 ) f ( z) = lim ( z − z0 ) = lim g( z) = ′ ≠ 0.
z → z0 z → z0 h( z ) z → z0 h( z ) h ( z0 )
 94 Chapitre 7. Théorie des résidus

ΓH iR ΓR
R

-R ΓRR 0 R

F IGURE 7.1 – Le contour ΓR .

g ( z0 )
Donc z0 est un simple pôle de f et Res z0 ( f ) = ′ .
h ( z0 )
4. Exo.
∎

VI Quelques exemples d’utilisation du théorème des résidus

1 Premier exemple
Proposition 7.35
+∞ dx
∫−∞ 1 + x2 = π.

1
Démo sans utiliser arctan. On considère la fonction f ( z) = . La fonction f est
1 + z2
méromorphe sur C avec uniquement des pôles simples en i et − i et on a :

1
Res i ( f ) = .
2i
Par le théorème des résidus, appliqués au lacet ΓR :

∀R > 1, ∫ΓR f ( z)dz + ∫ΓH f ( z) dz = 2π i Res i ( f ) = π

R R

Mais
+R +∞ dx
∫ΓR f ( z) dz = ∫ f ( x) dx Ð→ ∫ .
R
−R R →+∞ −∞ 1 + x2

1
∣∫ f ( z) dz∣ ⩽ πR Ð→ 0.
ΓH
R
R2 − 1 R →+∞

2 Deuxième exemple
 VI Quelques exemples d’utilisation du théorème des résidus 95

Proposition 7.36 Soit a ≠ 0 et b ∈ R.

+∞
e ibx π −∣ab∣
∫−∞ a2 + x2 dx = ∣a∣ e

Démonstration. On commence par supposer a, b > 0 et on considère la fonction f

méromorphe sur C donnée par :

e ibz
f ( z) = .
a2 + z 2
Elle possède deux pôles en ± ia, ils sont tous deux simples. Le résidu de f en ia se
calcule par la règle donnée plus haut :

e−ab
Res ia ( f ) =
2 ia
Par le théorème des résidus, appliqués au lacet ΓR (le même que le coup d’avant) :
On a :
π −ab
∀R > a, ∫ΓR f ( z)dz + ∫ΓH f ( z)dz = 2π i Res ia ( f ) = a e
R R

Mais
+R +∞ e ibx
∫ΓR f ( z)dz = ∫−R f ( x)dx RÐ→ ∫
→+∞ −∞ a2 + x2
dx.
R

En écrivant z = x + i y, on a :
e ibz = e−b y e ibx
Donc,
∀ z ∈ H, ∣ e ibz ∣ ⩽ e−b y ⩽ 1
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¸¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
car b>0 et z∈H

πR
∣∫ f ( z) dz∣ ⩽ Ð→ 0.
ΓH
R
R 2 − a2 R →+∞
C’est bon pour a, b > 0. Après, c’est une histoire de symétrie. On écrit e ibx = cos( bx)+
i sin( bx). Il est clair que :

+∞
e ibx +∞ cos( bx)
∫−∞ a2 + x2 dx = ∫−∞ a2 + x2 dx

qui ne dépend que de ∣a∣ et ∣ b∣. On obtient donc que : Pour tout a, b ≠ 0 :

+∞ e ibx +∞ cos( bx) π −∣ab∣

∫−∞ a2 + x2 dx = ∫−∞ a +x
2 2
dx =
∣ a∣
e

La formule est encore vraie pour b = 0. ∎

3 Troisième exemple
96 Chapitre 7. Théorie des résidus

Proposition 7.37
1 π2
ζ(2) = ∑ 2
= .
n⩾1 n 6

Démonstration. On considère la fonction méromorphe sur C :

π cot(π z) π cos(π z)
f ( z) = =
z2 z2 sin(π z)

L’ensemble des pôles de f est l’ensemble des entiers Z. Les entiers n ≠ 0 sont des
pôles simples et un calcul direct montre que :

1
Res( f , n) = .
n2
Le point 0 est un pôle triple de f . Le DSL de cot en 0 est donnée par :

1 z z3 2 z5 (−1)n 22n B2n

cot( z) = − + − −⋯ = ∑
z 3 45 945 n⩾0 (2 n)!

Où, les B2n sont les nombres de Bernoulli. Donc :

π
1 π z π3 z 3
f ( z) = −( + + ⋯)
z πz 3
2 45
1 π2 π4 z3 2π6
= 3− + + +⋯
z 3z 45 945

On considère le carré ◻ N = [− N − 1/2, N + 1/2]2 .

On applique le théorème des résidus, on obtient :

1 −N N
∫ f ( z ) dz = ∑ Res ( f , n ) + Res( f , 0 ) + ∑ Res( f , n)
2π i ∂◻N n=−1 n =1

Ainsi :
N
1 1 π2
∫ f ( z ) dz = 2 ∑ −
2π i ◻N n =1 n
2 3
Le truc, c’est que cot(π z) est bornée sur ∂◻ N , indépendamment de N . Ainsi, on
notant M une borne du module de π cot(π z) sur les ∂◻ N , on obtient :

M
∣∫ f ( z) dz∣ ⩽ (4(2 N + 1)) Ð→ 0
∂◻ N N2 N →+∞

On obtient en faisant tendre N vers +∞ :

1 π2
2∑ 2
− =0
n⩾1 n 3

∎
VI Quelques exemples d’utilisation du théorème des résidus 97

∎ Remarque 7.38 Si on se concentre, on voit qu’avec la même technique, on peut

aussi montrer :
π4 π6
ζ(4) = , ζ(6) = .
90 945
en utilisant :
π cot(π z) π cot(π z)
g( z) = puis h ( z ) = .
z4 z6
∎

Démo de cot est bornée sur ∂◻ N indépendamment de N . Pour z = ±( N + 1/2) + i y.

∣ e iπ z + e iπ z ∣
∣ cot(π z)∣ ⩽
∣ e iπ z − e iπ z ∣
∣ e2iπ z + 1∣
⩽
∣ e2iπ z − 1∣
∣ e−2π y e2( N +1/2) iπ + 1∣
⩽
∣ e−2π y e2( N +1/2) iπ − 1∣
∣ − e−2π y + 1∣
⩽
∣ − e−2π y − 1∣
1 + e−2π y
⩽
1 + e−2π y
⩽ 1

Pour z = x + ( N + 1/2) i .

∣ e2iπ z + 1∣
∣ cot(π z)∣ ⩽
∣ e2iπ z − 1∣
∣ e−2π( N +1/2) e2xiπ + 1∣
⩽
∣ e−2π( N +1/2) e2xiπ − 1∣
1 + e−2π( N +1/2)
⩽ décroissant en N
1 − e−2π( N +1/2)
⩽ 2 car 3 e−π ⩽ 1
98 Chapitre 7. Théorie des résidus

Pour z = x − ( N + 1/2) i .

∣ e2iπ z + 1∣
∣ cot(π z)∣ ⩽
∣ e2iπ z − 1∣
∣ e2π( N +1/2) e2xiπ + 1∣
⩽
∣ e2π( N +1/2) e2xiπ − 1∣
e2π( N +1/2) + 1
⩽ décroissant en N
e2π( N +1/2) − 1
⩽ 2 car eπ ⩽ 3

∎
 8. Lien entre l’analyse complexe et le cal

I Applications C-linéaires vs R-linéaires

L’espace C, est un C- espace vectoriel de dimension 1 et aussi un R-espace vectoriel
de dimension 2. L’application

C Ð→ R2
z = x + i y z→ ( x, y)

est un R-isomorphisme d’espace vectoriel, et on identifiera C et R2 via cette

application, implicitement tout le temps.

Toute matrice 2 × 2 réelle

a b
A=[ ]
c d
induit une application R-linéaire T ∶ C → C définie par

x ax + b y
T ( x + i y) = A [ ]=[ ] = ax + b y + i ( cx + d y)
y cx + d y

En particulier, T (1) = a + ic et T ( i ) = b + id .

Lemme 8.1 L’application T est C-linéaire si et seulement si :

a=d et b = − c.

Dans ce cas, T ( x + i y) = (a + ic)( x + i y), autrement dit T ( z) = (a + ic) z.

 100 Chapitre 8. Lien entre l’analyse complexe et le calcul différentiel réel

Démonstration. Si T est C-linéaire alors :

b + id = T ( i ) = iT (1) = i (a + ic)

La condition est donc nécessaire. Supposons que la condition est vérifiée, on a alors
(vérification en exo) :
T ( x + i y) = (a + ic)( x + i y)
autrement dit :
T ( z) = (a + ic) z
qui est bien C-linéaire. ∎

II Les équations de Cauchy-Riemann

Soit U un ouvert de C et z0 = x0 + i y0 ∈ U . Soit f ∶ U → C une application. On note
(pour tout le chapitre) :
f ( x + i y) = u( x, y) + iv( x, y)
Autrement dit :

u∶ U Ð→ R v∶ U Ð→ R
et
( x, y) z→ Re ( f ( x + i y)) ( x, y) z→ Im ( f ( x + i y))

1 Différentiabilité - crash recall

Définition 8.2 f ∶ U → R2 est différentiable en z0 = ( x0 , y0 ) ∈ D ⊂ R2 s’il existe une
application R-linéaire T ∶ R2 → R2 tel que :

f ( z0 + h) − f ( z0 ) − T ( h)
lim =0
h →0 h

Dans ce cas, on note T = D f z0 ∈ L(R2 , R2 ) et l’appelle la différentielle de f en z0 .

Si f est différentiable en z0 = ( x0 , y0 ) alors les dérivées partielles ∂∂ux , ∂∂uy , ∂∂vx , ∂∂vy
existent et la différentielle de f en z0 = ( x0 , y0 ) a pour matrice dans la base canonique
de R2 .
∂u ∂u
∂ x ( x0 , y0 ) ∂ y ( x0 , y0 )
[ ∂v ∂v ]
∂ x ( x0 , y0 ) ∂ y ( x0 , y0 )

2 Le lien
Théorème 8.3 Soit f ∶ U → C, z0 = x0 + i y0 ∈ D . Alors sont équivalents :
1. f est C-dérivable en z0 = x0 + i y0 .
2. f est différentiable en z0 = ( x0 , y0 ) et la différentielle D f z0 ∶ U → R2 en z0 est
C−linéaire.
3. f est différentiable en z0 = ( x0 , y0 ) et satisfait les équations de Cauchy-
 II Les équations de Cauchy-Riemann 101

Riemann :
∂u ∂v ∂u ∂v
( x0 , y0 ) = ( x0 , y0 ) et ( x0 , y0 ) = − ( x0 , y0 ).
∂x ∂y ∂y ∂x

Dans ce cas :
∂u ∂v ∂u ∂u
f ′ ( z0 ) = ( z0 ) + i ( z0 ) = ( z0 ) − i ( z0 )
∂x ∂x ∂x ∂y

Démonstration.

1. ⇒ 2. Supposons que f est C-dérivable en z0 . Par définition :

f ( z0 + h) − f ( z0 ) − f ′ ( z0 ) h
lim = 0.
h →0 h

Ainsi, :
1. f est différentiable en z0 .
2. L’application h ↦ f ′ ( z0 ) h est la différentielle de f en z0 .
3. Celle-ci est une application C-linéaire.
2. ⇒ 1. Supposons que f est différentiable en z0 = ( x0 , y0 ) et la différentielle D f z0 ∶ U →
R2 en z0 est C−linéaire.
Il existe donc T ∶ R2 → R2 R-linéaire tel que :

f ( z0 + h) − f ( z0 ) − T ( h)
lim = 0.
h→0 h

Comme T est C-linéaire, il existe w ∈ C tel que :

T ( h) = wh

Donc
f ( z0 + h) − f ( z0 ) − wh
lim = 0.
h →0 h
Donc f est C-dérivable en z0 et f ′ ( z0 ) = w.
2. ⇔ 3. La différentielle D f z0 a pour matrice dans la base canonique :

∂u ∂u
∂ x ( x0 , y0 ) ∂ y ( x0 , y0 )
[ ∂v ∂v ],
∂ x ( x0 , y0 ) ∂ y ( x0 , y0 )

Le lemme 8.1 montre l’équivalence entre le fait que cette application est
C-linéaire et les équations de Cauchy-Riemann :

∂u ∂v ∂u ∂v
( x0 , y0 ) = ( x0 , y0 ) et ( x0 , y0 ) = − ( x0 , y0 ).
∂x ∂y ∂y ∂x

a b
— On a vu que si la matrice [ ] est C-linéaire, alors elle représente la multi-
c d
 102 Chapitre 8. Lien entre l’analyse complexe et le calcul différentiel réel

plication par a + ic. Donc, dans notre cas, on obtient : D f z0 est la multiplication
par ∂∂ux ( x0 , y0 ) + i ∂∂vx ( x0 , y0 ), donc :

∂u ∂v ∂u ∂u
f ′ ( z0 ) = ( x0 , y0 ) + i ( x0 , y0 ) = ( x0 , y0 ) − i ( x0 , y0 )
∂x ∂x ∂x ∂x

Corollaire 8.4 Soit f ∶ U → C, z0 = x0 + i y0 ∈ U . Alors sont équivalents :

1. f est holomorphe.
2. f est différentiable en tout point z0 ∈ U et la différentielle D f z0 ∶ U → R2 est
C−linéaire.
3. f est différentiable en tout point z0 ∈ U et satisfait les équations de Cauchy-
Riemann.

III Fonctions harmoniques

1 C’est quoi ?
Définition 8.5 — Laplacien.
∆ ∶ C 2 (U) Ð→ C 0 (U)
L’application linéaire 2
∂ u 2 s’appelle le Laplacien.
u z→ ∂ x2
+ ∂∂ yu2

Définition 8.6 — Fonctions harmoniques. Soit U ⊂ C ouvert et u ∶ U → R une fonction

de classe C 2 sur U . On dit que u est harmonique lorsque :

∂2 u ∂2 u
∀( x0 , y0 ) ∈ U , ∆ u( x0 , y0 ) = ( x0 , y0 ) + ( x0 , y0 ) = 0
∂x 2 ∂ y2

Théorème 8.7 Soit U un ouvert de C et f ∶ U → C holomorphe. Les parties réelle et

imaginaire u = Re ( f ) et v = Im ( f ) sont harmoniques.

Démonstration. Comme f est C -dérivable sur U , f R est différentiable sur U et

satisfait les équations de Cauchy-Riemann :

∂u ∂v ∂u ∂v
= , =− .
∂x ∂y ∂y ∂x

Comme f est holomorphe, f est infiniment C-dérivable, les fonctions u et v sont

donc C ∞ .

On dérive la première équation par rapport à x :

∂2 u ∂2 v
=
∂ x2 ∂ x∂ y
 IV Conformité et holomorphie 103

puis la deuxième par rapport à y :

∂2 u ∂2 v
=− .
∂ y2 ∂ y∂ x

Comme les dérivées partielles mixtes de v sont égales par le théorème de Schwarz,
2 2
on a ∂∂ xu2 + ∂∂ yu2 = 0. L’harmonicité de v se démontre de façon identique. ∎

Théorème 8.8 — Théorème de Schwarz. Soit U un ouvert de R2 et u ∶ U → R une

application de classe C 2 . Alors

∂2 u ∂2 u
= sur U .
∂ x∂ y ∂ y∂ x

IV Conformité et holomorphie
1 Angles entre deux vecteurs
Définition 8.9 Soit u, v ∈ R2 deux vecteurs non-nuls. Il existe une unique rotation
R tel que :
v/∥v∥ = R ( u/∥ u∥)

L’angle entre u et v, noté θ ( u, v), est l’unique θ ∈ R/2πZ tel que :

cos(θ ) − sin(θ )
R=( ).
sin(θ ) cos(θ )

Définition 8.10 Un application linéaire T ∶ R2 → R2 conserve les angles (orientés de

vecteurs) lorsque T est inversible et :

∀ u, v ∈ R2 , θ (T ( u), T (v)) = θ ( u, v).

Lemme 8.11 Une application R-linéaire T ∶ C → C conserve les angles si et seule-

ment si T est C-linéaire.

Démonstration. Si T est C-linéaire et inversible, alors il existe α ∈ C∗ tel que :

∀ z ∈ C, T ( z) = α z.

Autrement dit, T est la composée de l’homothétie de rapport ∣α∣ et de la rotation

d’angle arg(α). Ainsi, T conserve les angles.

Supposons que T conserve les angles. On pose α ∶= T (1). On va montrer que :

∀ z ∈ C, T ( z) = α z.
 104 Chapitre 8. Lien entre l’analyse complexe et le calcul différentiel réel

Comme T est R-linéaire, il suffit de montrer que :

T ( i ) = α i.

L’application T conserve les angles donc :

θ (T (1), T ( i )) = θ (1, i ) = π/2.

Il existe donc λ > 0 tel que :

T ( i ) = λα i
On doit montrer que λ = 1. On a aussi :

θ (T (1 + i ), T (1 − i )) = θ (1 + i, 1 − i ) = π/2.

Mais :
T (1 + i ) = T (1) + T ( i ) = α + i λα = α(1 + i λ)
et
T (1 − i ) = T (1) − T ( i ) = α − i λα = α(1 − i λ).
Le produit scalaire (usuel) de deux complexes z, w est donné par la formule :

( z∣w) = Re ( zw)

On doit donc avoir :

0 = (T (1 + i )∣T (1 − i )) = Re (α(1 + i λ)α(1 − i λ)) = Re (∣α∣2 (1 + i λ)2 ) = ∣α∣2 (1 − λ2 ),

donc λ = 1. ∎

2 Angles entre chemins

Définition 8.12 Soit γ1 , γ2 ∶ [−1, 1] → U deux chemins tel que z0 = γ1 (0) = γ2 (0).
L’angle entre les chemins γ1 et γ2 au point z0 est :

∠ z0 (γ1 , γ2 ) ∶= θ (γ′1 (0), γ′2 (0)).

3 Image d’un chemin par une application

Proposition 8.13 Soit γ ∶ [−1, 1] un chemin tracé dans U , z0 = γ(0) et f ∶ U → R2 une

application C 1 . On a :
( f ○ γ)′ (0) = D f z0 (γ′ (0))

Démonstration. C’est la formule de différentiation des composées. ∎

4 Angle entre deux chemins images

 V Bonus : les fonctions harmoniques sont toutes parties réelles d’une fonction
holomorphe 105
Proposition 8.14 Soit γ1 , γ2 ∶ [−1, 1] un chemin tracé dans U tel z0 = γ1 (0) = γ2 (0)
et f ∶ U → R2 une application C 1 . On a :

∠ f ( z0 ) ( f ○ γ1 , f ○ γ2 ) = θ (D f z0 (γ′1 (0)), D f z0 (γ′2 (0)))

Démonstration. C’est la définition avec la proposition précédente. ∎

5 Application conforme
Définition 8.15 Une application différentiable f ∶ U → R2 est conforme lorsqu’elle
conserve les angles entre les chemins. C’est-à-dire :

∀ z0 ∈ U , ∀γ1 , γ2 ∶ [−1, 1] → U , t.q. z0 = γ1 (0) = γ2 (0) ∶

∠ f ( z0 ) ( f ○ γ1 , f ○ γ2 ) = ∠ z0 (γ1 , γ2 )

Corollaire 8.16 Soit f ∶ U → R2 différentiable. LASSE :

1. L’application f est conforme (sur U ).
2. Pour tout z0 ∈ U , l’application R-linéaire D f z0 ∶ C → C est C-linéaire et inver-
sible.
3. L’application f est holomorphe et f ′ ne s’annule pas.

Démonstration. 1. ⇔ 2. La conformité implique que D f z0 doit être inversible pour

tout z0 ∈ U . Et sous l’hypothèse d’inversibilité de D f z0 , on a :

∠ z0 (γ1 , γ2 ) = θ (γ′1 (0), γ′2 (0))

∠ f ( z0 ) ( f ○ γ1 , f ○ γ2 ) = θ (D f z0 (γ′1 (0)), D f z0 (γ′2 (0)))

L’équivalence est donc une conséquence du lemme 8.11.

2. ⇔ 3. Une application C-linéaire C → C est inversible si et seulement si elle est
non-nulle. Le reste de l’équivalence est contenue dans le Théorème 8.3. ∎

V Bonus : les fonctions harmoniques sont toutes parties réelles

d’une fonction holomorphe
Théorème 8.17 Soit U un ouvert étoilé et u ∶ U → R holomorphe. Il existe F ∶ U → C
holomorphe tel que Re (F ) = u.

Corollaire 8.18 Les fonctions harmoniques sont C ∞ , vérifient la formule de la

moyenne, le principe du maximum et pleins d’autres choses dérivées des propriétés
106 Chapitre 8. Lien entre l’analyse complexe et le calcul différentiel réel

des fonctions holomorphes (ouvrir un livre).

Démonstration du théorème. Soit f = ∂∂ux − i ∂∂uy . La fonction f est C 1 sur U et à valeurs

dans C.
Vérifions que f est holomorphe, on a :

∂Re ( f ) ∂2 u ∂2 u ∂Im ( f )
= = − =
∂x ∂2 x ® ∂2 y ∂y
∗

* car u est harmonique.

∂Re ( f ) ∂2 u ∂2 u ∂Im ( f )
= = =−
∂y ∂ y∂ x ® ∂ x∂ y ∂x
∗

* par le théorème de Schwarz car u est C 2 . La fonction f vérifie donc les équations
de Cauchy-Riemann, elle est donc holomorphe.
Comme U est étoilé, il existe F une primitive de f . On vérifie ensuite que Re (F ) =
u. Pour cela, on écrit F = U + iV , on a :

∂U ∂V ∂U ∂U ∂u ∂u
F ′ ( z) = ( z) + i ( z) = ( z) − i ( z) = f ( z) == ( z) − i ( z)
∂x ∂x ∂x ∂y ∂x ∂y

Donc :
∂U − u ∂U − u
=0 =0
∂x ∂y
Donc U − u est constante. Quitte à changer F en F + Cte, on peut supposer que
Re (F ) = U = u. ∎