Chapitre 4 : Fonctions de variable complexe

S ALAH -E DDINE C HORFI

École Hassania des Travaux Publics

Département de Mathématiques, Informatiques et Géomatique

2021-2022

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 1 / 31

Introduction

• L’analyse complexe est la branche de l’analyse mathématique qui étudie les

fonctions de la variable complexe.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 2 / 31

Introduction

• L’analyse complexe est la branche de l’analyse mathématique qui étudie les

fonctions de la variable complexe.

• C’est un outil puissant qui est très utile dans différentes domaines
d’applications :
• Mathématiques : théorie de nombres, maths appliquées, ...
• Physique : hydrodynamique, mécanique quantique, ...
• Ingénierie : mécanique, électrique, ...

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 2 / 31

Notations :

Dans la suite, on adopte les notations suivantes :

Pour z0 ∈ C et r > 0,
• D(z0 , r) := {z ∈ C : |z − z0 | < r}.
• D(z0 , r) := {z ∈ C : |z − z0 | ≤ r}.
• C (z0 , r) := {z ∈ C : |z − z0 | = r}.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 3 / 31

Fonctions de variable complexe
Une fonction de variable complexe à valeurs complexes est la donnée d’une
fonction
f : Ω −→ C
z 7−→ f (z)
définie sur une partie Ω ⊂ C.

Pour un nombre complexe z0 donnée, on dira que f est définie au voisinage

de z0 , s’il existe r > 0 tel que f soit définie en tout point du disque

D (z0 , r) = {z ∈ C : |z − z0 | < r} .

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 4 / 31

Fonctions de variable complexe
Une fonction de variable complexe à valeurs complexes est la donnée d’une
fonction
f : Ω −→ C
z 7−→ f (z)
définie sur une partie Ω ⊂ C.

Pour un nombre complexe z0 donnée, on dira que f est définie au voisinage

de z0 , s’il existe r > 0 tel que f soit définie en tout point du disque

D (z0 , r) = {z ∈ C : |z − z0 | < r} .

Exemple
1
La fonction f (z) = est définie sur Ω = C\{−i, i} ; en particulier elle est
z2 + 1
définie sur le disque D(0, 1), et par suite f est définie au voisinage de 0.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 4 / 31

Remarque
Une fonction f : C → C peut être considérée comme une fonction de deux
variables réelles à valeurs dans R2 ;en effet, c’est la fonction

f : R2 → R 2
(x, y) 7→ (P (x, y), Q(x, y))

avec P (x, y) = Re(f )(x + iy) et Q(x, y) = Im(f )(x + iy).

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 5 / 31

Remarque
Une fonction f : C → C peut être considérée comme une fonction de deux
variables réelles à valeurs dans R2 ;en effet, c’est la fonction

f : R2 → R 2
(x, y) 7→ (P (x, y), Q(x, y))

avec P (x, y) = Re(f )(x + iy) et Q(x, y) = Im(f )(x + iy).

Exemple
1. Si f (z) = z̄, alors P (x, y) = x et Q(x, y) = −y.
1 x y
[Link] f (z) = , alors P (x, y) = 2 et Q(x, y) = − 2 .
z x + y2 x + y2

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 5 / 31

Holomorphie

Soient U un ouvert de C, f : U → C et z0 ∈ U .

Définition
• On dit que f est C-dérivable en z0 si la limite

f (z0 + h) − f (z0 )
lim
h→0 h
existe dans C, on la note f 0 (z0 ) et l’appelle la dérivée de f en z0 .
• On dit que f est holomorphe sur U lorsqu’elle est C-dérivable en tout point
z0 ∈ U .

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 6 / 31

Exemple
• f (z) = z̄ n’est pas holomorphe.
• Pour n ∈ N∗ , la fonction P (z) = z n est holomorphe sur C et on a
P 0 (z) = nz n−1 , pour tout z ∈ C.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 7 / 31

Comme dans le cas de la variable réelle, on démontre :

Proprietés
1. Si f est holomorphe, alors f est continue.
2. Si f et g sont deux fonctions holomorphes, alors la somme f + g et le
produit f g sont des fonctions holomorphes. On a

(f + g)0 = f 0 + g 0 et (f g)0 = f 0 g + f g 0 .
1
3. Si f est holomorphe et ne s’annule pas, alors la fonction est holomorphe
f
et on a  0
1 f0
= − 2.
f f
4. Si f : U1 → C et g : U2 → C sont holomorphes avec f (U1 ) ⊂ U2 , alors g ◦ f
est holomorphe sur U1 et on a

(g ◦ f )0 = (g 0 ◦ f ) × f 0 .

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 8 / 31

Conditions de Cauchy-Riemann

Proposition
Soit f : z = x + iy 7→ f (z) = P (x, y) + iQ(x, y) une fonction complexe définie
sur un ouvert U ⊂ C. Pour que f soit holomorphe, il faut et il suffit que les
fonctions P et Q soient différentiables et qu’en plus elles satisfont les
conditions de Cauchy-Riemann :

∂P ∂Q


 = ,
∂x ∂y
∂P ∂Q

 =− .
∂y ∂x

Dans ce cas, la dérivée est donnée par f 0 (x + iy) = ∂P

∂x (x, y) − i ∂P
∂y (x, y).

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 9 / 31

Exercices

Exercice 1 :
Soit α ∈ R∗ . Soit z0 ∈ C. Étudier la C-dérivabilité en z0 de la fonction fα
définie par : fα (z) = |z|α .

Exercice 2 :
Soit f une fonction holomorphe dans un domaine (ouvert connexe) Ω de C.
1. Montrer que si Re(f ) est constante sur Ω, alors f est constante.
2. En déduire que si Im(f ) est constante sur Ω, alors f est constante.
3. Montrer que si |f | est constant sur Ω, alors f est constate.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 10 / 31

Notion de chemin

Soit U un ouvert de C.

Définition
• Un chemin sur U est une application γ : [a, b] → U continue de classe C 1
par morceaux.
• Un lacet (ou chemin fermé) est un chemin γ tel que γ(a) = γ(b).

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 11 / 31

Intégrale curviligne complexe

Définition
Soit U un ouvert de C. Si f : U → C est une fonction continue sur U et
γ : [a, b] → U un chemin, alors l’intégrale de f le long de γ est le nombre
complexe :
Z Z b
f (z)dz = f (γ(t))γ 0 (t)dt.
γ a

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 12 / 31

Définition
1. Un changement de paramètre est une bijection continue s : [a, b] → [c, d]
entre deux intervalles compacts de R.
2. On dit que deux chemins γ1 : [a, b] → U et γ2 : [c, d] → U sont :
• équivalents : s’il existe un changement de paramètre croissant
s : [a, b] → [c, d] tel que γ1 (t) = γ2 (s(t)) pour tout t ∈ [a, b],
• anti-équivalents : s’il existe un changement de paramètre décroissant tel
que γ1 (t) = γ2 (s(t)) pour tout t ∈ [a, b].

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 13 / 31

Invariance par changement de paramétrage

Proposition
Soit γ : [a, b] → C un chemin et φ : [c, d] → [a, b] un changement de
paramétrage. On a : Z Z
f (z)dz = f (z)dz
γ γ◦φ

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 14 / 31

Invariance par changement de paramétrage

Proposition
Soit γ : [a, b] → C un chemin et φ : [c, d] → [a, b] un changement de
paramétrage. On a : Z Z
f (z)dz = f (z)dz
γ γ◦φ

Définition
Soient U un ouvert du plan complexe, Γ un trajet dans U paramétré par un
chemin γ : [a, b] → U et f : U → C une application continue. On définit
l’intégrale de f le long de Γ par
Z Z
f (z)dz = f (z)dz.
Γ γ

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 14 / 31

Exemple
1
Calculons l’intégrale de f (z) = sur le cercle unité orienté C + (0, 1) :
z
Z Z 2π
1 1 it
dz = it
ie dt = 2πi.
C + (0,1) z 0 e

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 15 / 31

Longueur d’un chemin

Définition
Soit γ : [a, b] → C un chemin. La longueur de γ est le nombre réel positif :
Z b
L(γ) = |γ 0 (t)| dt.
a

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 16 / 31

Longueur d’un chemin

Définition
Soit γ : [a, b] → C un chemin. La longueur de γ est le nombre réel positif :
Z b
L(γ) = |γ 0 (t)| dt.
a

Exemple
La longueur du cercle C (0, r) est
Z 2π
L(C (0, r)) = rdt = 2πr.
0

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 16 / 31

Primitive

Définition
Soit U un ouvert de C et f : U → C une fonction continue sur U . On dira que
f admet une primitive sur U s’il existe une fonction F : U → C holomorphe sur
U telle que
F 0 (z) = f (z) ∀z ∈ U.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 17 / 31

Primitive

Définition
Soit U un ouvert de C et f : U → C une fonction continue sur U . On dira que
f admet une primitive sur U s’il existe une fonction F : U → C holomorphe sur
U telle que
F 0 (z) = f (z) ∀z ∈ U.

Exemple
1. sin est une primitive de cos sur C.
z n+1
2. Pour tout n ∈ Z \ {−1}, la fonction z 7→ est une primitive de z 7→ z n .
n+1
3. Sur C \ R− , la détermination principale du logarithme log est une primitive
1
de z 7→ .
z

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 17 / 31

Formule intégrale de Cauchy

Définition
• Un lacet Γ sera dit simple s’il est sans points doubles, cela signifie que si
γ : [a, b] → C est un paramétrage de Γ alors γ est injective sur ]a, b[.

• Un tel lacet partage le plan en deux domaines ayant Γ comme frontière : un

domaine borné qu’on appelle l’intérieur de Γ et l’autre domaine l’extérieur de
Γ.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 18 / 31

Formule intégrale de Cauchy

Définition
• Un lacet Γ sera dit simple s’il est sans points doubles, cela signifie que si
γ : [a, b] → C est un paramétrage de Γ alors γ est injective sur ]a, b[.

• Un tel lacet partage le plan en deux domaines ayant Γ comme frontière : un

domaine borné qu’on appelle l’intérieur de Γ et l’autre domaine l’extérieur de
Γ.

Théorème
Soit f une fonction holomorphe sur un ouvert contenant un lacet simple Γ et
soit λ un point intérieur à Γ. On a
Z
1 f (z)
f (λ) = dz
2iπ Γ z − λ

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 18 / 31

Analycité des fonctions holomorphes

Définition
Une fonction f : U → C est dite analytique en z0 ∈ U s’il existe un disque
D (z0 , r) ⊂ U et une suite (an )n∈N de nombres complexes tels que pour tout
z ∈ D (z0 , r) on ait
+∞
X n
f (z) = an (z − z0 ) .
n=0

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 19 / 31

Analycité des fonctions holomorphes

Définition
Une fonction f : U → C est dite analytique en z0 ∈ U s’il existe un disque
D (z0 , r) ⊂ U et une suite (an )n∈N de nombres complexes tels que pour tout
z ∈ D (z0 , r) on ait
+∞
X n
f (z) = an (z − z0 ) .
n=0

Théorème
Toute fonction holomorphe sur U est analytique.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 19 / 31

Preuve

Soit z0 ∈ U . Il existe r > 0 tel que D (z0 , r) ⊂ U . La formule de Cauchy donne

Z
1 f (ω)
f (z) = dω, |z − z0 | < r.
2πi C (z0 ,r) ω − z

Or pour z ∈ D (z0 , r), on a

+∞ n
1 1 1 X (z − z0 )
ω−z
= z−z0
ω − z0 1 − ω−z
= n+1 ,
0 n=0 (ω − z0 )

puisque |z − z0 | < r = |ω − z0 |. Ainsi, on obtient

+∞ Z !
X 1 f (ω) n
f (z) = n+1 dω (z − z0 ) .
n=0
2πi C (z0 ,r) (ω − z0 )

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 20 / 31

Principe du prolongement analytique

Soit Ω un domaine (ouvert connexe) de C.

Theorem
Soient f : Ω ⊂ C → C une fonction analytique sur un domaine Ω et z0 ∈ Ω.
Alors, les assertions suivantes sont équivalentes :
(i) ∀z ∈ Ω, f (z) = 0.
(ii) ∃r > 0, ∀z ∈ D(z0 , r), f (z) = 0.
(iii) ∀n ∈ N, f (n) (z0 ) = 0.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 21 / 31

Principe du prolongement analytique

Soit Ω un domaine (ouvert connexe) de C.

Theorem
Soient f : Ω ⊂ C → C une fonction analytique sur un domaine Ω et z0 ∈ Ω.
Alors, les assertions suivantes sont équivalentes :
(i) ∀z ∈ Ω, f (z) = 0.
(ii) ∃r > 0, ∀z ∈ D(z0 , r), f (z) = 0.
(iii) ∀n ∈ N, f (n) (z0 ) = 0.

Preuve : Les implications (i) ⇒ (ii) ⇒ (iii) sont triviale. Pour l’implication
(iii) ⇒ (i), on montre que l’ensemble non vide

A = {z ∈ Ω : ∀n ∈ N, f (n) (z) = 0},

est à la fois ouvert et fermé dans le connexe Ω.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 21 / 31

Identité de Parseval

Theorem
+∞
an (z − z0 )n une série entière de rayon de convergence R > 0.
P
Soit f (z) =
n=0
Alors, pour tout réel 0 < r < R, on a
+∞ Z 2π
X 1 f z0 + reiθ 2 dθ.
|an |2 r2n =


(1)
n=0
2π 0

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 22 / 31

Preuve

+∞ +∞
f z0 + reiθ 2 =
X X
an rn einθ am rm e−imθ


n=0 m=0
+∞ X
X +∞
= an am rn+m ei(n−m)θ (convergence absolue).
n=0 m=0

Donc
Z 2π +∞ X
+∞ Z 2π
f z0 + reiθ 2 dθ =
X
n+m
ei(n−m)θ dθ,


an am r
0 n=0 m=0 0

par la convergence normale. Or, pour n, m ∈ N, on a

Z 2π 
2π si n = m
ei(n−m)θ dθ =
0 0 si n 6= m.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 23 / 31

Preuve

D’où
Z 2π +∞
f z0 + reiθ 2 dθ = 2π
X
|an |2 r2n .


0 n=0

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 24 / 31

Principe du module maximum

Theorem
Soit f : Ω ⊂ C → C une fonction analytique sur un domaine Ω. S’il existe
z0 ∈ Ω tel que
∀z ∈ Ω : |f (z)| ≤ |f (z0 )|,
alors f est constante sur Ω.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 25 / 31

Preuve

Soit R0 > 0 tel que D(z0 , R0 ) ⊂ Ω et pour tout z ∈ D(z0 , R0 )

+∞
an (z − z0 )n . Pour tout 0 < r < R0 , par l’identité de Parseval, on a
P
f (z) =
n=0

+∞ Z 2π
X 1 f z0 + reiθ 2 dθ
|an |2 r2n =


n=0
2π 0

≤ |f (z0 )|2 = |a0 |2 .

Donc, pour tout n ∈ N∗ , |an | = 0, i.e., pour tout z ∈ D(z0 , R0 ), f (z) = a0 . Par
le principe du prolongement analytique, on conclut que pour tout z ∈ Ω,
f (z) = a0 .

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 26 / 31

Principe du module maximum

La version suivante du principe maximum est plus intuitive et est souvent utile.

Corollary
Soit Ω un domaine borné de C. Soit f : Ω → C une fonction continue sur Ω,
analytique sur Ω. Alors

max |f (z)| = max |f (z)|.

z∈Ω z∈∂Ω

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 27 / 31

Principe du module minimum

Les fonctions analytiques (en module) peuvent avoir des minimums intérieurs,
e.g., f (z) = z 2 sur D(0, 1).

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 28 / 31

Principe du module minimum

Les fonctions analytiques (en module) peuvent avoir des minimums intérieurs,
e.g., f (z) = z 2 sur D(0, 1).
Pourtant, on a la version suivante :

Corollary
Soit Ω un domaine borné de C. Soit f : Ω → C une fonction continue sur Ω,
analytique sur Ω. On suppose que f ne s’annule pas sur Ω. Alors

min |f (z)| = min |f (z)|.

z∈Ω z∈∂Ω

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 28 / 31

Principe du module minimum

Les fonctions analytiques (en module) peuvent avoir des minimums intérieurs,
e.g., f (z) = z 2 sur D(0, 1).
Pourtant, on a la version suivante :

Corollary
Soit Ω un domaine borné de C. Soit f : Ω → C une fonction continue sur Ω,
analytique sur Ω. On suppose que f ne s’annule pas sur Ω. Alors

min |f (z)| = min |f (z)|.

z∈Ω z∈∂Ω

1
Preuve : Il suffit d’appliquer le principe du module maximum à .
f

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 28 / 31

Principe du maximum sur un domaine non borné

• Le principe du module maximum n’est pas toujours vrai sur un domaine non
borné. Voici un contre-example classique :
z
n πo
f (z) = ee sur Ω = z ∈ C : |Im z| < .
2
On a |f (z)| = ex cos y = 1 sur ∂Ω, mais f|R n’est pas bornée.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 29 / 31

Principe du maximum sur un domaine non borné

• Le principe du module maximum n’est pas toujours vrai sur un domaine non
borné. Voici un contre-example classique :
z
n πo
f (z) = ee sur Ω = z ∈ C : |Im z| < .
2
On a |f (z)| = ex cos y = 1 sur ∂Ω, mais f|R n’est pas bornée.

• Le principe du maximum reste vrai sur des domaines non bornés sous
certaines restrictions. Le résultat est connu sous le nom : Principe du
Phragmen-Lindelöf.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 29 / 31

Théorème de Liouville

Théorème
Toute fonction holomorphe bornée de C dans C est constante.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 30 / 31

Théorème fondamental de l’algèbre

Théorème
Tout polynôme non constant, à coefficients complexes, admet au moins une
racine complexe.

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 31 / 31

Théorème fondamental de l’algèbre

Théorème
Tout polynôme non constant, à coefficients complexes, admet au moins une
racine complexe.

Preuve :
Soit P un polynôme à coefficients complexes tel que deg(P ) ≥ 1. On suppose
1
que P (z) 6= 0 pour tout z ∈ C. La fonction est holomorphe bornée sur C
P
1
(puisque lim |P (z)| = 0). Donc elle est constante. Ceci est absurde.
|z|→+∞

S ALAH -E DDINE C HORFI Analyse EHTP 2021-2022 31 / 31