Analyse complexe

Noah Thonnart
2020

Deuxième année de bachelier en sciences physiques.

Sur base des notes de Mr. Timotéo CARLETTI

Université de Namur

1
Contents
1 Nombres complexes 4
1.1 Introduction aux nombres complexes et formule cubique . . . . . . . . . . . . . . . . . . . . . 4
1.2 Formalisation des complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Addition sur les réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Produit sur les réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.3 Nouveau produit sur les réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.4 Ensemble des complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Plan d’Argand et forme algébrique d’un nombre complexe . . . . . . . . . . . . . . . . . . . . 6
1.4 Module d’un nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.5 Forme polaire d’un nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6 Racines d’un nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6.1 Nombre complexes et exposants irrationnels . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6.2 Nombre complexes et exposants réels . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

2 Les fonctions à variables complexes 10

2.1 Définition de disque ouvert dans les complexes . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.1.1 Ensemble ouvert : définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2 Segment et arc polygonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Le domaine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4 Ensemble étoilé . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4.1 Ensemble convexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4.2 Enxemble convexe par arc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.5 fonctions à variables complexes : définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.6 Continuité d’une fonction à variables complexes . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.6.1 Continuité de u(x, y) et v(x, y) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.7 Dérivabilité d’une fonction à variables complexes . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.7.1 Dérivée seconde définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.7.2 Condition particulière de dérivabilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.8 Théorème de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

3 Suites numériques 18
3.1 Convergence de suites complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18

4 Séries numériques 19
4.1 Somme d’une Série . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.2 Critère de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.3 Convergence absolue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
4.4 Critère de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.5 Critère de D’Alembert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.5.1 Sn D’Alembert ⇒ Sn est Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

5 Séries de fonctions 23
5.1 Suite de fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.2 Convergence point par point (CP) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.3 Convergence absolue (CA) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.4 Convergence uniforme (CU) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.5 Convergence normale (CN) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.5.1 CN ⇒ CA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.5.2 CA ⇒ CP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.5.3 CN ⇒ CU . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
5.6 Séries de puissances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
5.6.1 Rayon de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
5.6.2 Disque convexe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

2
 5.7 Critère de D’Alembert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.8 Critère de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.9 Dérivabilité de la série de puissance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.10 Définition de la fonction exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
5.10.1 Périodicité de l’exponentielle complexe . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

6 Séries de Fourier 30
6.1 La période . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6.1.1 Changement de période . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6.1.2 Lemme d’intégration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6.2 Continuité et régularité des fonctions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
6.3 La série de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
6.4 Intégrales particulières sur [−π, π] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
6.5 Parité des coefficients de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
6.6 Théorème de Lejeune-Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
6.6.1 Lemme du Noyau de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
6.6.2 Lemme inégalité de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6.6.3 Preuve Théorème de Lejeune-Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
6.7 Théorème de la convergence normale des séries de Fourier . . . . . . . . . . . . . . . . . . . . 36
6.8 Egalité de Perceval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
6.9 Phénomène de Gibbs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

7 Courbes et chemins: intégrales de variable complexe 40

7.1 La courbe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
7.2 Les chemins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
7.3 Intégrale sur une courbe ou un chemin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
7.4 Lemme d’estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
7.5 Théorème fondamental du calcul intégral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
7.6 Théorème d’échange des séries et intégrales (Weierstrass) . . . . . . . . . . . . . . . . . . . . 43
7.7 Théorème de Cauchy dans un triangle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
7.8 Théorème de Cauchy dans un domaine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

8 Etude des singularités d’une fonction 47

8.1 Théorème de déformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
8.1.1 Généralisation pour un nombre fini de singularités . . . . . . . . . . . . . . . . . . . . 48
8.2 La formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
8.3 Théorème de Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
8.4 Théorème fondamental de l’algèbre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
8.5 La formule de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
8.6 Les zéros des fonctions analytiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
8.7 Théorème de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
8.8 Définitions de points régulier et singulier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
8.8.1 Pôle d’ordre m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

9 Les résidus 56
9.1 Définition des résidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
9.2 Théorème des résidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
9.3 Calcul des résidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
9.3.1 Calcul d’un pôle simple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
9.3.2 Calcul d’un pôle double . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
9.3.3 Calcul d’un pôle d’ordre m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
9.4 Calcul d’intégrales réelles par les résidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
9.4.1 Intégrale sur l’axe réelle et contour circulaire . . . . . . . . . . . . . . . . . . . . . . . 60
9.4.2 Intégrale sur un contour circulaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
9.4.3 Intégrale sur l’axe réelle et contour rectangulaire . . . . . . . . . . . . . . . . . . . . . 62

3
Chapitre 1
1 Nombres complexes
1.1 Introduction aux nombres complexes et formule cubique
Comment résoudre une équation du type : y 3 − by 2 + cy − d = 0
Posons :
y = x + 3b
Pour faire disparaitre la partie quadratique de l’équation

b b b b
(x + )3 = x3 + 3x2 + 3x( )2 + ( )3
3 3 3 3
b2 b3
= x3 + bx2 + x +
3 27
2
b 2 2 b
(x + ) = x2 + xb +
3 3 9

xb2 b3 b3
⇒ x3 + x2 b + 3 + 27 − bx2 − 32 xb2 − 9 + cx + bc
3 −d=0
2
b 2 3 bc
⇒ x3 − 3 x + cx − 27 b + 3 −d=0
pour obtenir un type d’équation plus simple posons :
2 
m = c − b3
⇒ x3 + mx = n
n = d − bc
3 +
2 3
27 b
De plus,
(a − b)3 + 3ab(a − b) = a3 − b3
Si on pose, x = a − b
x3 + 3abx = a3 − b3

m = 3ab
⇒ x3 + mx = n
n = a3 − b3
Alors,
m m
⇒b= ⇒ n = a3 − ( )3
3a 3a
m3
= a3 −
27a3
⇒ 27a n = 27(a ) − m3
3 3 2

Si on pose a3 = A alors,

0 = 27A2 − 27nA − m3
+ √
27n − 272 n2 + 4.27m3
⇒A=
27.2
+
q
3
n − n + 4m
2
27
⇒A=
2
1 m
Donc, x = a − b où, a = A 3 et b = 3a
4m3
Mais, ∃(n, m)tq : (n2 + 27 ) < 0 pour lequel, il est impossible de calculer la racine à ce moment

4
1.2 Formalisation des complexes
1.2.1 Addition sur les réels
R2 3 (a, b) = P1

⇒ (a, b) + (c, d) = (a + c, b + d)
R2 3 (c, d) = P2
(R2 , +) un groupe

P1 + P2 = P2 + P1 commutative
P1 + (0, 0) = P1 , ∀P1
∀P1 ∈ (R2 , +) \ {0} ⇒ ∃Q1 ∈ R2 tq : P1 + Q1 = (0, 0) et Q1 = −P1 = (−a, −b)

1.2.2 Produit sur les réels

(R2 , +, .) un espace vectoriel
∀P1 = (a, b) ∈ R2

Q1 = λP1 = (λa, λb)
∀λ ∈ R

1.2.3 Nouveau produit sur les réels

(R , ∗), (a, b)(c, d) ∈ R2
2

Tel que, (a, b) ∗ (c, d) = (ac − bd, ad + bc)


 (a, b) ∗ (c, d) = (c, d) ∗ (a, b)
∃ neutre tq : (a, b) ∗ (1, 0) = (a, b)
∀(a, b) ∈ R2 \ {(0, 0)}, ∃(c, d) : (a, b) ∗ (c, d) = (1, 0) de plus, (c, d) = ( a2 +b
a −b
2 , a2 +b2 )


1.2.4 Ensemble des complexes

Soit : (R2 ; +, ., ∗) un corps commutatif
a , b) ∈ R2
Nous Pouvons alors voir que : ( |{z}
les réels
Effectivement,

(a, 0) + (a0 , 0) = (a + a0 , 0)
(a, 0) ∗ (a0 , 0) = (aa0 , 0)

Donc, Nous voyons que (R2 , +, ., ∗) ⇐⇒ C , l’ensemble des complexes

(0, 1) ∗ (0, 1) = (−1, 0) = − (1, 0)

⇐⇒ 1∈R
| {z }

Donc,
∃ x : x ∗ x = x2 = −1
Nous appelons ce dernier : x = i tq : i2 = −1

5
1.3 Plan d’Argand et forme algébrique d’un nombre complexe
Soit le plan d’Argand dans lequel on pose z = (a,b) un nombre complexe
3
b z
2

1
a

−1 1 2 3 4 5
−1
Alors, on peut définir :
z = (a, 0) + (0, b)
= a(1, 0) + b(0, 1)
= a.1 + b.i
= a + ib
De plus,
(a + ib)(c + id) = (ac − bd) + i(ac − bd)
Où nous retrouvons la forme spéciale du produit défini plus tôt

1.4 Module d’un nombre complexe

Soit :
2 ∈ R la partie réelle de z
a = <(z) = z+z

z = a + ib ⇒
2 ∈ R la partie imaginaire de z
b = =(z) = z−z
Où z̄ = a − ib le complexe conjugué de z
Définissons le module de z, p
|z| = (<(z))2 + (=(z))2
Propriétés :

|z̄| = |z|
z̄¯ = z
z z̄ = |z|2
z + w = z̄ + w̄
|<(z)| ≤ |z|
|=(z)| ≤ |z|
|z| ≤ |<(z)| + |=(z)|
|z| = 0 ⇐⇒ z = 0
|zw| = |z|.|w|
|z + w| ≤ |z| + |w|
Xk k
X
| zi | ≤ |zi |
i=1  i=1
 
|z| − |w| ≤ |z − w|
 

6
1.5 Forme polaire d’un nombre complexe

p
|z| = a 2 + b2
z = |z| cos(θ) + i|z| sin(θ)
= |z|(cos θ + i sin θ)
b a + ib = z

Mais, nous avons que : eiθ = cos θ + i sin θ

z = |z|eiθ
De plus, z = |z|eiθ = |z|ei(θ+2π)
⇐⇒ z = |z|eiθ , θ ∈ [ − π, π]

Addition en forme polaire

z1 = eiθ1
z2 = eiθ2
z1 + z2 = (cos(θ1 ) + cos(θ2 )) + i(sin(θ1 ) + sin(θ2 ))
= eiλ

Produit en forme polaire

z1 z2 = eiθ1 eiθ2 = ei(θ1 +θ2 )

zx zy = |zx |.|zy |ei(θ1 +θ2 )

1.6 Racines d’un nombre complexe

Pour, z ∈ C que veut dire :
1
z n = u ⇐⇒ un = z
Nous savons que : z = |z|eiθ , u = |u|eiφ

⇒ |u|n einθ
√
|u|n = |z| ⇒ |u| = n z

⇒
nφ = θ + 2kπ ⇒ φ = nθ + 2kπ
n

7
Remarques :

∀uk ∈ C tq : un = z, k ∈ [2N ] ⊂ N, uk = |uk |eiθk

⇒∀uq , ∃ up tq : up = −uq et q, p ∈ [0, k]

Nous pouvons aussi voir géométriquement que :

∀uk ∈ C tq : un = z , k ∈ [0, n − 1], n − 1 > 2

⇒ ∃{uk }n−1
k=0 tq ∃ [u0 , u1 ], [u1 , u2 ], · · · [un−2 , un−1 ]

Ces vecteurs forment un polygone régulier à n cotés

1.6.1 Nombre complexes et exposants irrationnels

Soit : z = u ; p, g ∈ N
p
q

⇒ uq = z p
z = |z|eiθ , u = |u|eiφ , |u|q eiqφ = |z|p eipθ
|u|q = |z|p

⇒
qφ = pθ + 2kπ
 p
|u| = q |z|p
⇒
φ = pq θ + 2kπ q

1.6.2 Nombre complexes et exposants réels

Soit : z alpha
= u , α ∈ R \Q , z = |z|eiθ , u = |u|eiφ

1
⇒ uα = z
1 φ
⇒ |u| α e(i α ) = |z|eiθ
|u| = |z|α , ln pour simplifier

⇒
φ = αθ + 2kπα

Mais , ∀α ∈ R \Q, ∀k ∈ N , kα ∈
/N
Soit : j = kα

uj = |z|α eiφj

⇒
φj = αθ + 2πj

Mais dans ce cas, il existe un infinité de solution car celle ci ne se superpose pas apès avoir fait un tour de
2π

8
 Figure 1:

Représentation des solutions par surface de Riemann

Sur chaque cercle, nous retrouvons une partie des réponses, une fois le tour complet terminé (2π), la sur-
face descend pour faire un tour supplémentaire. Dans le cas d’exposant Naturel ou Rationnel, le dernier
cercle "rejoindrait" le premier. Dans le cas Réel, cette descente se fait indéfiniment.

9
Chapitre 2
2 Les fonctions à variables complexes
2.1 Définition de disque ouvert dans les complexes

Dε (z0 ) = {z ∈ C tq : |z − z0 | < ε} un disque ouvert

Cela peut être interprété de telle sorte que si :

 
z = x + iy
⇒ z − z0 = (x − x0 ) + i(y − y0 )
z0 = x0 + iy0
p
⇒ |z − z0 | = (x − x0 )2 + i(y − y0 )2 < ε

Nous pouvons aussi définir ce même disque ouvert mais sans son centre :

Dε0 (z0 ) = {z ∈ C tq : 0 < |z − z0 | < ε} un disque ouvert pointé

2.1.1 Ensemble ouvert : définition

A ⊂ C est un ensemble ouvert ⇐⇒ ∀z0 ∈ A , ∃ ε > 0 tq : Dε (z0 ) ⊂ A
De plus, B est fermé ⇐⇒ B c = {z ∈ C : z ∈
/ B} = C \B est ouvert
Remarque :
B n’est pas fermé ; B est ouvert

2.2 Segment et arc polygonal

Un segment

3
z1
z0 , Z1 ∈ C, z0 6= z1
2
⇒[z0 , z1 ] = {z ∈ C : ∃ t ∈ [0, 1] tq : Zt = tz0 + (1 − t)z1 }
z0
1

1 2 3 4

Un arc polygonal

3 Nous pouvons définir l’arc polygonale comme

l’union tout les segments qui réunis permettent de
2 z1 le construire.
n−1
S
P[z0 , z1 ] = [zj , zj+1 ]
j=0
1 z0

1 2 3 4

10
2.3 Le domaine
Un sous ensemble non vide des nombres complexes, D ⊂ C est un domaine

ce sous ensemble est ouvert
⇐⇒
∀z0 , z1 ∈ D, ∃ P[z0 , z1 ] ⊂ D

2.4 Ensemble étoilé

A est un ensemble étoilé par rapport au point z0 ∈ A

⇐⇒ ∀z1 ∈ A, ∃[z0 , z1 ] ∈ A

2.4.1 Ensemble convexe

A est convexe
⇐⇒ ∀z0 , z1 ∈ A, [z0 , z1 ] ∈ A

2.4.2 Enxemble convexe par arc

A est convexe par arc
⇐⇒ ∀z0 , z1 ∈ A, ∃ P[z0 , z1 ] ⊂ A

2.5 fonctions à variables complexes : définition

Soit : f : A ⊂ C → C, z → f (z), z = x + iy

(
f (z)+f (z)
u(x, y) = <(f (z)) =
⇒ 2
f (z)−f (z)
v(x, y) = =(f (z)) = 2

2.6 Continuité d’une fonction à variables complexes

soit f continue en z0 , f ∈ C(z0 ), z0 ∈ A

⇐⇒ ∀ε > 0, ∃ δ(ε,z0 ) > 0 : ∀|z − z0 | < δ ⇒ |f (z) − f (z0 )| < ε

Nous pouvons aussi écrire cette relation tq :

∀z ∈ Dδ (z0 ) ⇒ f (z) ∈ Dε (f (z0 ))

2.6.1 Continuité de u(x, y) et v(x, y)

Nous savons que : u(x, y) = <(f (z)) , v(x, y) = =(f (z)) , x0 = <(z0 ) , y0 = =(z0 ) alors,

 
u(x, y)
f (z) ∈ C(z0 ) ⇐⇒ ∈ C[(x0 , y0 )]
v(x, y)

11
Preuve 1) : ⇒
f continue ⇒ u, v continues

∀ε > 0, ∃ δ(ε,z0 ) > 0 : ∀|z − z0 | < δ ⇒ |f (z) − f (z0 )| < ε

p
u, v ∈ C[(x0 , y0 )], ∀ε > 0, ∃ δ(ε,z0 ) > 0 : (x − x0 )2 + (y − y0 )2 < δ ⇒ |u(x, y) − u(x0 , y0 )| < ε

Or, nous savons que,

|u(x, y) − u(x0 , y0 )| = |<(f (z)) − <(f (z))|

= |<[f (z) − f (z0 )]|
≤ |f (z) − f (z0 )| < ε

Idem pour v(x, y) mais remplacer les parties réelles par les parties imaginaires.
Preuve 2) :⇐
u, v continues ⇒ f continue
p
∀ε > 0, ∃ δ(ε,z0 ) > 0 : (x − x0 )2 + (y − y0 )2 < δ
Nous avons que :

|f (z) − f (z0 )| = |u(x, y) + iv(x, y) − u(x0 , y0 ) − iv(x0 , y0 )|

≤ |u(x, y) − u(x0 , y0 )| + i|v(x, y) − v(x0 , y0 )| < 2ε

2.7 Dérivabilité d’une fonction à variables complexes

Soit , f : D ⊂ C → C, f (z) → f (z0 )

f (z) − f (z0 )
z0 ∈ D, f dérivable en z0 ⇐⇒ lim =γ∈C
z→z0 z − z0

 
 f (z) − f (z0 ) 
∀ε > 0, ∃ δ(ε,z0 ) > 0 : ∀|z − z0 | < δ ⇒  − γ  < ε
z − z0

Propriétés :
Si f est dérivable ⇒ cette dérivée est unique et f 0 (z0 ) = df
dz
(z0 )
Preuve :
∃γ1 , γ2 ∈ C dérivées de f tq :

f (z)−f (z0 )

lim z−z0
= γ1  
f (z) − f (z0 ) f (z) − f (z0 )

z→z0
 
f (z)−f (z0 ) , |γ1 − γ2 | = γ1 − + − γ2 
lim z−z0
= γ2  z − z0 z − z0
z→z0
   
 f (z) − f (z0 )   f (z) − f (z0 ) 
≤ γ 1 −

+ − γ2  < 2ε
z − z0 z − z0
∀ε > 0, ∃ δ(ε,z0 ) > 0 : ∀|z − z0 | < δ ⇒ |γ1 − γ2 | = 0
⇒ γ1 = γ2

Remarque :
En analyse complexe, dérivable ≡ holomorphe ≡ analytique

12
2.7.1 Dérivée seconde définition
f 0 (z) − f 0 (z0 )
∃ lim = f ”(z0 ) ⇐⇒ f 0 (z0 )∃
z→z0 z − z0
Plus précisement pour des fonctions à variables complexes , Si f ∈ C 1 ⇐⇒ f ∈ C ∞

2.7.2 Condition particulière de dérivabilité

Si f = u + iv est dérivable, alors est-ce que u, v sont dérivables ?
Prenons le cas de u(x, y) similaire à celui de v(x, y),

 lim f (x,y0x−x
)−f (x0 ,y0 )
= ∂u
∂x
(x0 , y0 )
x→x0 0
f (x0 ,y)−f (x0 ,y0 ) ∂u
 lim y−y0
= ∂y
(x0 , y0 )
y→y0

∂u ∂u
u(x, y) = y(x0 ,y0 ) + (x0 , y0 )(x − x0 ) + (x0 , y0 )(y − y0 ) + reste
∂x ∂y

2.8 Théorème de Cauchy-Riemann

Soit f : D → C, z0 ∈ C , f dérivable en z0

 ∂. ∂.
 u(x, y), v(x, y) admettent leurs ,
∂x ∂y
continue en(x0 , y0 )
⇐⇒
∂u ∂u ∂u −∂v
= et =

∂x ∂y ∂y ∂x

Preuve :
f dérivable en z0 :
 
 f (z) − f (z0 ) 0

∀ε > 0, ∃δ > 0 : 
 − f (z0 ) < ε
z − z0
f (z) − f (z0 )
ou bien , lim = f 0 (z0 )
z→z0 z − z0
Prenons z = x + iy0 , nous définissons la convergence de z de manière particulière en fixant une de ses variables.

f (z) − f (z0 ) u(x, y0 ) + iv(x, y0 ) − u(x0 , y0 ) − iv(u0 , y0 )

lim = lim
x→x0 x − x0 x→x0 x − x0
u(x, y0 ) − u(x0 , y0 ) v(x, y0 ) − v(x0 , y0 )
= lim + i lim
x→x0 x − x0 x→x0 x − x0
∂u ∂v
= (x0 , y0 ) + i (x0 , y0 )
∂x ∂x
Prenons z = x0 + iy , nous définissons la convergence de z de manière particulière en fixant une de ses variables.

f (z) − f (z0 ) u(x, y0 ) + iv(x, y0 ) − u(x0 , y0 ) − iv(u0 , y0 )

lim = lim
y→y0 i(y − y0 ) y→y0 i(y − y0 )
1 u(x, y0 ) − u(x0 , y0 ) i v(x, y0 ) − v(x0 , y0 )
= lim + lim
i y→y0 y − y0 i y→y0 y − y0
∂u ∂v
= −i (x0 , y0 ) + (x0 , y0 )
∂y ∂y
Nous avons alors que :

∂u ∂v ∂u ∂v
−i + = +i
∂y ∂y ∂x ∂x

∂v ∂u ∂u ∂v
⇒ =− et =
∂x ∂y ∂x ∂y

13
Seconde preuve :

 
 f (z) − f (z0 )
− f 0 (z0 ) < ε

∀ε > 0, ∃δ > 0 : |z − z0 | < δ ⇒ 
z − z0
⇒ |f (z) − f (z0 ) − f 0 (z0 )(z − z0 )| < |z − z0 |
| {z }
∆(z)

Soit : z + x + iy et z0 = x0 + iy0

<∆ = u(x, y) − u(x0 , y0 ) − <f 0 (x − x0 ) + =f 0 (x − x0 )

=∆ = v(x, y) − v(x0 , y0 ) − <f 0 (y − y0 ) − =f 0 (x − x0 )

De plus, |<∆| ≤ |∆| et , |=∆| ≤ |∆|

⇒ |u(x, y) − u(x0 , y0 ) − <f 0 (x − x0 ) + =f 0 (x − x0 )| < |∆| < |z − z0 |

Posons : y = y0 , x = x0

|u(x, y) − u(x0 , y0 ) − <f 0 (x − x0 )| < |x − x0 |

|u(x0 , y) − u(x0 , y0 ) + =f 0 (y − y0 )| < |y − y0 |

Donc nous pouvons écrire que :

 
 u(x, y0 ) − u(x0 , y0 ) 0

∀ε > 0, ∃δ > 0 : |x − x0 | < δ ⇒  − <f  < ε
x − x0
∂u ∂v
⇒ (x0 , y0 ) = <f 0 =
∂x ∂y
 
 u(x, y0 ) − u(x0 , y0 )
− <f 0  < ε

∀ε > 0, ∃δ > 0 : |x − x0 | < δ ⇒ 
x − x0
∂u ∂v
⇒ (x0 , y0 ) = −=f 0 = −
∂y ∂x

preuve : ⇐
Les ∂u ∃ et sont continues ⇒ f 0 existe

∂u ∂u
u(x, y) = u(x0 , y0 ) + (x0 , y0 )(x − x0 ) + (x0 , y0 )(y − y0 ) + Q(|x − x0 |2 + |y − y0 |2 )
∂x ∂y
∂v ∂v
v(x, y) = v(x0 , y0 ) + (x0 , y0 )(x − x0 ) + (x0 , y0 )(y − y0 ) + Q(|x − x0 |2 + |y − y0 |2 )
∂x ∂y

14
 ∂u ∂u
f (z) − f (z0 ) = u(x0 , y0 ) + (x0 , y0 )(x − x0 ) + (x0 , y0 )(y − y0 )
∂x ∂y
∂v ∂v
+ iv(x0 , y0 ) + i (x0 , y0 )(x − x0 ) + i (x0 , y0 )(y − y0 ) + Q(|x − x0 |2 + |y − y0 |2 ) − u(x0 , y0 ) − iv(x0 , y0 )
∂x ∂y
∂u ∂u ∂u ∂u
= (x − x0 ) + (y − y0 ) + i (x − x0 ) + i (y − y0 ) + Q(|z − z0 |2 )
∂x ∂y ∂y ∂x
   
∂u ∂u ∂u ∂u
= (x − x0 ) −i + i(y − y0 ) +i + Q(|z − z0 |2 )
∂x ∂y ∂y ∂x
   
∂u ∂u ∂u ∂u
= (x − x0 ) −i + i(y − y0 ) −i + Q(|z − z0 |2 )
∂x ∂y ∂x ∂y
 
∂u ∂u
= −i [x − x0 + i(y − y0 )] + Q(|z − z0 |2 )
∂x ∂y

 
∂u ∂u
f (z) − f (z0 ) = −i (z − z0 ) + Q(|z − z0 |2 )
∂x ∂y

Q(|z − z0 |2 )
  
 f (z) − f (z0 ) ∂u ∂u 
⇒
 − −i ≤ ≤ C|z − z0 |
z − z0 ∂x ∂y  |z − z0 |
  
f (z) − f (z0 ) ∂u ∂u
⇒ lim − −i =0
z→z0 z − z0 ∂x ∂y

f (z) − f (z0 ) ∂u ∂u
⇒ lim = −i
z→z0 z − z0 ∂x ∂y
Propriétés :
1) f (z) = z = x + iy , f 0 (z)∃
  ∂u ∂v
 u(x, y) = x  ∂x
=1= ∂y
1
∈ C et
∂u ∂v
v(x, y) = y = 0 = − ∂x
 
∂y

2) f (z) = z̄

 
 u(x, y) = x 
∈ C 1 et ∂u
∂x
= 1 6= ∂v
∂y
= −1
v(x, y) = −y
 

∂f
3) f dérivable et respectant Cauchy-Riemann ⇒ ∂ z̄
=0

15
Proposition :
n
f : D → C , D est ouvert connexe par polygônes, ⇐⇒ ∃P =
S
[zj , zj+1 ] ⊂ D
j=0

f 0 (z) = 0, ∀z ∈ D ⇒ f (z) = c, c ∈ C

preuve
g : [0, 1] → R, g(t) = <f ((1 − t)z + tW )
Où, z = x + iy, W = a + ib ∈ C

⇒ (1 − t)z + tW = (1 − t)x + ta + i[(1 − t)y + tb]

⇒ g(t) = u((1 − t)x + ta, (1 − t)y + tb)

∂u ∂u ∂u ∂u
f0 = −i =0⇒ = =0
∂x ∂y ∂x ∂y

∂u ∂u
g 0 (t) = (−x + a) + (−y + b) = 0 ⇒ g(t) = cste
∂x ∂y

Donc,
 
g(1) = u(a, b) = <f (W )
⇒ ∀z, W ∈ D : <f (z) = <f (W )
g(0) = u(x, y) = <f (z)

Idem pour l’image,

⇒ ∀z, W ∈ D : =f (z) = =f (W )

⇒ f 0 (z) = 0, ∀z ∈ D ⇒ f (z) = f (W ), ∀z, W ∈ D

Remarque :

z ∈ D, ∀r > 0, ∃Dr (z) ⊂ D : ∀W ∈ Dr (z) ⇒ f (z) = f (W )

En réalité, la démo se sépare en plein de petites successions de preuves pour chaque disque.

∃λ ∈ Dr (z), Dr (q), · · · , Dr (W ) ⇒ f (z) = f (λ) = f (q) = · · · = f (W )

16
Propriétés :
4) f, g : D → C dérivables

f 0 (z) = g 0 (z), ∀z ∈ D ⇒ f (z) = g(z) + C, C ∈ C

5) h = f − g

h dérivable , h0 = f 0 − g 0 = 0 ⇒ h = cste

6) f : D → C dérivable


u = <f constante ⇒ f constante
Si
v = =f constante ⇒ f constante

7)

f : D → C dérivable , |f (z)| = c ∈ R, ∀z ∈ C ⇒ f = cste

Preuve :
f = u + iv, |f (z)|2 = u2 + v 2 = c2

c = 0 ⇒ u2 + v 2 = 0 ⇒ u = 0, v =0⇒f =0
   2 
 2u∂x u + 2v∂x v = 0   u ∂x u − uv∂y u = 0 
c 6= 0 ⇒ ⇒
2u∂y u + 2v∂y v = 0 vu∂y u + v 2 ∂x u = 0
   


∂x u = 0
L1 + L2 ⇒ (u2 + v 2 )∂x u = 0 ⇒ ⇒ u = cste
∂y u = 0

idem pour : v = cste

⇒ f = cste

f (z) = eiθ , θ ∈ R

|eiθ | = 1, ∀θ mais f 6= cste donc, eiθ n’est pas dérivable

17
Chapitre 3
3 Suites numériques
3.1 Convergence de suites complexes
Soit la suite (zn )n ⊂ C est convergente si ∃w ∈ C

lim zn = w ∈ C ⇐⇒ ∀ε > 0, ∃Nε > 0 tq : ∀n > Nε ⇒ |zn − w| < ε

n→+∞

⇐⇒ lim zn ∈ Dε (w)
n→+∞

Propriétés :
1) (zn )n ⊂ C, (xn )n et (yn )n ⊂ R et zn = xn + iyn

zn convergente ⇐⇒ xn et yn sont convergentes

Preuve : ⇒

zn convergente ⇐⇒ ∀ε > 0, ∃Nε > 0 tq : ∀n > Nε ⇒ |zn − w| < ε

|xn − x| = |<(z − w)| ≤ |zn − w| < ε ⇒ xn → x
|yn − y| = |=(z − w)| ≤ |zn − w| < ε ⇒ yn → y

Preuve : ⇐
xn et yn convergente ⇒ zn convergente

∀ε1 > 0, ∃N1 > 0 tq : ∀n > N1 ⇒ |xn − x| < ε1

∀ε2 > 0, ∃N2 > 0 tq : ∀n > N2 ⇒ |yn − y| < ε2

ε = min(ε1 , ε2 )
N = max(N1 , N2 ) p √ √
|zn − (x + iy)| = (xn − x)2 + (yn − y)2 ≤ ε2 + ε2 = ε 2, ∀n > N
2) lim zn → w
n→+∞

3) Si (zn ) est convergente ⇒ ∃ M > 0 tq : |zn | ≤ M, ∀n

Preuve :

zn → w, ∀ε > 0, ∃N > 0 tq : ∀n > N ⇒ |zn − w| < ε

|zn | = |zn − w + w| ≤ |zn − w| + |w|
|z1 | · · · |zn |, n > N, |zn | ≤ ε + |w|
| {z }
m=max|zj |

⇒M = max(ε + |w|, m)

4)Convergence d’une division

 
zn → w zn w
⇒ → ∈C
ζn → ω 6= 0 ζn ω
5) (zn )n est Cauchy

⇐⇒ ∀ε > 0, ∃N1 > 0 tq :n, m > N1 , |zn − zm | < ε

De plus, toute suite de Cauchy est convergente

18
Chapitre 4
4 Séries numériques
4.1 Somme d’une Série
Définissons la some d’une Série tel que :
n
(zn )n ∈ C, Sn =
X
zj
j=1

De plus, si (Sn )n ∈ C, Sn → S
n
X n
X ∞
X
⇒ la série zj est convergente , zj → S = zj
j=1 j=1 j=1

(zn )n ∈ C, zn = xn + iyn

n
X n
X n
X
Sn = zj = xj + i yj
j=1 j=1 j=1

= <(Sn ) + i=(Sn )

∞
 n
P P
n
X ∞
X


 xj → xj
j=1 j=1
zj → zj ⇐⇒ n
P ∞
P
j=1 j=1


 yj → yj
j=1 j=1

n
P
Si, Sn = zj est convergente ⇐⇒ Sn est Cauchy
j=1

∀ε > 0, ∃N1 > 0 tq :n, m > N1 , |zn − zm | < ε

si n = m + 1
m+1
X m
X
|zm+1 − zm | = | zj − zj |
j=1 j=1

= |zm+1 | < ε

⇒ Si Sn est convergente ⇒ |zn | → 0

4.2 Critère de Cauchy

∀ε > 0, ∃Nε > 0 tq : n, m > Nε ⇒ |Sn − S| < ε

m>n
 m
 X 

|Sn − Sm | = 
 zj  < ε
j=n+1

4.3 Convergence absolue

n
X
Sn = zj converge absolument
j=1
n
X
⇐⇒ σn = |zj | converge
j=1

19
Propriétés :
1) Soit (Sn )n ⊂ C , soit (an )n ⊂ R+ tq :

 
 ∃C > 0 tq : ∀n, |zj | ≤ an C
 
 X
P ⇒ Sn = zj est absolument convergente

 an < +∞ 
 j=0
n≥0

Preuve :

n
X n
X ∞
X
σn = |zj | ≤ C aj ≤ C aj ≤ +∞
j=0 j=0 j=0

⇒ ∀n, σn est bornée

n+1
X n
X
σn+1 = |zj | = |zj | + |zn+1 | = σn + |zn+1 | ≥ σn
j=0 j=0

⇒ σn est onvergente et, Sn est absolument convergente

n
P
2) Soit Sn = zj est AC ⇒ Sn est C
j=0

Preuve :
n
P
Soit Sn AC, σn = |zj | est C ⇒ σn est Cauchy
j=0

⇐⇒ ∀ε >, ∃Nε ∈ N0 tq :∀m, n > Nε ⇒ |σn − σm | < ε

 n m
X 
⇐⇒ ∀ε >, ∃Nε ∈ N0 tq :∀m, n > Nε ⇒ 
X 
|zj | − |zj | < ε
j=0 j=0

Sn est Cauchy

⇐⇒ ∀ε > 0, ∃N̂ ∈ N0 tq :∀m, n > N̂ ⇒ |Sn − Sm | < ε

 n m 
X X 

 zj − zj  < ε
j=0 j=0
 m 
 X 

 z j < ε

j=n+1

 n m
 X 
 X
|Sn − Sm | =  zj  ≤ |zj | < ε
j=n+1 j=n+1

4.4 Critère de Cauchy

n
P 1
Soit Sn = zk , r = limk→∞ |zk | k
k=0
Alors,

 r<1 ⇒ Sn est AC
r>1 ⇒ Sn est D
r=1 ⇒ on ne peut rien dire


On peut aussi dire que :

1
r = lim sup|zk | k
k→∞

20
Preuve :
1
1) r = lim |zk | k < 1
k→∞

 
 1  1
∀ε > 0, ∃Nε > 0 tq :K > Nε ⇒ |zk | k − r < ε ⇐⇒ r − ε < |zk | k < r + ε
1
Si, r < 1, ∃ε̄ > 0 tq :r + ε̄ < 1, Nε̄ → 0 : K > Nε̄ ⇒ |zk | k < r + ε̄ = θ < 1

⇒ |zk | = θk

n
X Nε̄
X n
X Nε̄
X n
X
σn = |zk | = |zk | + |zk | < |zk | + θk
k=0 k=0 k=Nε̄ +1 k=0 k=Nε̄ +1
| {z }
f ixe
Nε̄
X ∞
X
< |zk | + θk
k=0 k=Nε̄ +1
| {z } | {z }
f ixe f ixe
Nε̄
X 1
< |zk | + < +∞
1−θ
k=0
| {z }
f ixe

1
2) r = lim |zk | k >1
k→∞
1
∃ε̂ > 0 tq : r − ε̂ > 1 ⇒ K > Nε̂ , |zk | k > η = r − ε̂ > 1
⇒ ∀k > Nε̂ , |zk | > η k > 1
⇒ |zk | 9 0
⇒ Sn est D

4.5 Critère de D’Alembert

n
 
P |zk+1 | |zk+1 |
Sn = zk , % = lim ⇒ lim supk→∞
k=0 k→∞ |zk | |zk |


 %<1 ⇒ Sn est AC
Alors, %>1 ⇒ Sn est D
%=1 ⇒ on ne peut rien dire


Preuve :
|zk+1 |
1) % = lim |zk |
<1
k→∞

 
 |zk+1 |  |zk+1 |
∀ε > 0, ∃Nε > 0 tq : K > Nε ⇒  − % < ε ⇐⇒ % − ε < <%+ε
|zk | |zk |
Si % < 1

|zk+1 |
∃ε̄ > 0 tq :% + ε̄ = α < 1 ⇒ K > Nε̄ , <α<1
|zk |

Nous savons que :

 P
σ = |z |
 n k=0 k



|zk+1 |
. |z|zk−1
k|

 |zk+1 | = · · · |zNε̄ | < αk−Nε̄ |zNε̄ |

|zk | |

21
Dès lors nous savons que :
Nε̄ n Nε̄ n
X X X X |zNε̄ |
σn = |zk | + |zk | = |zk | + αk Nε̄
k=0 k=Nε̄ +1 k=0 k=Nε̄ +1 |α{z }
=C
Nε̄
X ∞
X
≤ |zk | + C αk
k=0 k=Nε̄ +1
Nε̄
X αNε̄
≤ |zk | + C < +∞
1−α
k=0

Nous avons donc que : σn est C ⇒ Sn est AC

|zk+1 |
2) % = lim |zk |
>1
k→∞

|zk+1 |
∃ε̂ > 0 tq :% − ε̂ > 1, ∀k > Nε̂ : > % − ε̂ > 1
|zk |
⇒ |zk+1 | > |zk |

⇒ zn 9 0 ⇒ divergent

4.5.1 Sn D’Alembert ⇒ Sn est Cauchy

|zk+1 | |zk+1 |
lim = %, ∀ε > 0, ∃Nε tq : % − ε < <%+ε
k→∞ |zk | |zk |
|zk+1 |
k > Nε , |zk+1 | = |zk |
. |z|zk−1
k|
|
· · · |zNε̄ |

⇒ (% − ε)k−Nε |zNε | < |zk+1 | < (% + ε)k−Nε |zNε |

  1   1
|zNε | k+1 k 1 |zNε | k+1 k
⇐⇒ (% − ε) k+1 < |zk+1 | k+1 < (% + ε) k+1
(% − ε)Nε (% + ε)Nε
 1  1
|zNε | k 1 |zNε | k
⇐⇒ lim (% − ε) < lim |z k | k < lim (% + ε)
k→∞ (% − ε)Nε k→∞ k→∞ (% + ε)Nε
| {z } | {z }
=1 =1

1
⇒ % − ε < lim |zk | k < % + ε
k→∞
1
⇒ lim |zk | k = % = r
k→∞

22
Chapitre 5
5 Séries de fonctions
5.1 Suite de fonctions
Soit fn : D → C, z → fn (z), n ∈ N un suite de fonctions

Convergence point par point d’une suite de fonctions

∀z0 ∈ D, fn (z0 ) ∈ C
 
 
fn (z0 ) → f (z0 ) ⇐⇒ ∀ε > 0, ∃N(ε,z0 ) > 0 tq : n > N(ε,z0 ) ⇒ fn (z0 ) − f (z0 ) < ε

Convergence uniforme d’une suite de fonctions

 
U  
fn (z0 ) → f (z0 ) ⇐⇒ ∀ε > 0, ∃Nε > 0 tq : n > Nε ⇒ sup fn (z) − f (z) < ε
z∈D

Propriétés :
1) fn converge uniformément ⇒ fn converge point par point
Preuve :
 
 
∀ε > 0, ∃Nε > 0 tq : n > Nε ⇒ sup fn (z) − f (z) < ε
z∈D

Mais, ∀z0 ∈ C,
   
   
fn (z0 ) − f (z0 ) ≤ sup fn (z) − f (z) < ε ⇒ fn (z0 ) → f (z0 )
  z∈D  

2) Soit : fn (z) sont continues et fn converge uniformément sur D ⇒ f est continue

Preuve :
∀Z ∈ D, fn est continue
 
 
∀ε > 0, ∃δ(ε,z0 ) tq :|z − z0 | < δ ⇒ fn (z) − fn (z0 ) < ε

De plus,
 
 
∀ε̂ > 0, ∃Nε̂ > 0 tq : n > Nε̂ , sup fn (z) − f (z) < ε̂
z∈D
 
 
⇒ ∀z0 ∈ D, fn (z) − f (z) < ε̂


Nous avons donc que :

   
   
f (z) − f (z0 ) = f (z) − fn (z) + fn (z) − fn (z0 ) + fn (z0 ) − f (z0 )
   
     
     
≤ f (z) − fn (z) + fn (Z) − fn (z0 ) + fn (z0 ) − f (z0 )
| {z } | {z } | {z }
<ε̂ <ε <ε̂

Si : n < Nε̂ et |z − z0 | < δ alors , ≤ 2ε̂ + ε = 3ε̄

 
 
∀ε̄ = min(ε̂, ε), ∃δε̄ tq : |z − z0 | < δ ⇒ f (z) − f (z0 ) < 3ε̄

⇒ f est continue

23
5.2 Convergence point par point (CP)

∀z0 ∈ D, ∀ε > 0, ∃N(ε,z0 ) > 0 tq : n > N(ε,z0 ) ⇒ |Sn (z0 ) − S(z0 )| < ε

5.3 Convergence absolue (CA)

P n
∀z0 ∈ D, Sn (z0 ) = lim fk (z0 ) converge absolument
k=0

n
X
⇐⇒ σn (z0 ) = |fk (z0 )| est convergente
k=0

5.4 Convergence uniforme (CU)

Sn converge uniformément ⇐⇒ ∀ε > 0, ∃Nε > 0 tq : n > Nε ⇒ sup |Sn (z) − S(z)| < ε
z∈D

5.5 Convergence normale (CN)

n
P
Sn converge normalement ⇐⇒ sup |fn (z)| converge
k=0 z∈D

5.5.1 CN ⇒ CA
n
P
∀ε > 0, ∃Nε > 0 tq : n > Nε ⇒ sup |fn (z)| converge
k=0 z∈D

Or, ∀z0 ∈ D, |fk (z0 )| < sup |fk (z)|, ∀k

z∈D

n
X n
X
⇒ |fk (z0 )| ≤ sup |fk (z)|
z∈D
k=0 k=0
X∞
≤ sup |fk (z)| < +∞
z∈D
k=0

⇒ σn (z0 ) est bornée,

σn+1 (Z0 ) = σn (z0 ) + |fn+1 (z0 )| ≥ σn ⇒ σn (z0 ) est convergente

5.5.2 CA ⇒ CP
∀z0 ∈ D,
n
P n
P
Sn (z0 ) = fk (z0 ) est absolument convergente ⇐⇒ σn (z0 ) = |fk (z0 )| est convergente
k=0 k=0

σn (z0 ) suite de Cauchy, ∀ε > 0, ∃Nε > 0 tq : n, m > Nε ⇒ |σn (z0 ) − σm (z0 )| < ε
 m   m
 X   X 

 f k (z 0 )≤ |f k (z 0 )| <ε
   
k=n+1 k=n+1

⇒ Sn est Cauchy ⇒ Sn est convergente

24
5.5.3 CN ⇒ CU
n
P ∞
P
Soit sup |fk (z)| convergente et , S(z) = lim Sn (z0 ) = fk (z)
k=0 z∈D k→∞ k=0

n
  ∞ n
  X 
∀z ∈ C, S(Z) −
 X X 
fk (z) =  fk (z) − fk (z)
k=0 k=0 k=0
 m
X n
X 
 
=  lim (
 fk (z) − fk (z))
m→∞
k=0 k=0
 m
X

 
=  lim fk (z)
m→∞
k=n+1
m
X
≤ lim |fk (z)|
m→∞
k=n+1
m
X ∞
X
≤ lim sup |fk (ζ)| = sup |fk (ζ)|
m→∞ ζ∈D ζ∈D
k=n+1 k=n+1
 n  ∞
n→∞
 X  X
⇒ S(z) −
 fk (z) ≤ sup |fk (ζ)| → 0
ζ∈D
k=0 k=n+1

Donc,
∞
X
∀ε > 0, ∃Nε > 0 tq : n > Nε ⇒ sup |fk (ζ)| < ε
ζ∈D
k=n+1
 n
X 
 
S(z) − f k (z) <ε
 
k=0
 n
X 
 
sup S(z) − fk (z) < ε
z∈D
k=0

⇒ Sn converge uniformément

5.6 Séries de puissances

Soit fn (z0 ) = an (z − z0 )n , z0 ∈ C , (an )n ⊂ C une série de puissances
n
X
⇒ Sn (z0 ) = ak (z − z0 )k
k=0

5.6.1 Rayon de convergence

 n 
R = sup z ∈ C : |z| = % et,
X k
ak z converge
%>0
k=0

5.6.2 Disque convexe

Soit le disque convexe centré en 0 étant le plus grand disque dans lequel la série converge
 
DR (0) = z ∈ C : |z| < R

De plus, si : R = +∞
⇒ la série converge toujours ⇐⇒ la série est entière
Nous avons aussi que si Sn (z) converge uniquement pour z = 0 ⇒ R = 0

25
Théorème convergence absolue:
n
X
Sn (z) = ak z k converge absolument, ∀|z| < R
k=0

Preuve : Soit : z ∈ DR (0), Z1 ∈ C tq : |z| < |z1 | ≤ R

∞
X
⇒ ak z k Convergente
k=0
k→∞
⇒ ak z k −→ 0 et donc |ak |.|z1k | → 0
⇒ ak z1k bornée

|z k |
Soit M > 0 tq : |ak |.|z1k | ≤ M, ∀k et le terme q = |z1k| < 1 tq :

|z k |
|ak z k | ≤ |ak z1k | ≤ M qk
|z1k |
Nous savons :
∞
X 1
qk =
1−q
k=0
n n
X X 1
⇒ |ak z k | ≤ M qk ≤ M
1−q
k=0 k=0

Nous avons donc que :

n
X
z ∈ DR (0), Sn (z) = ak z k est Absolument convergente sur D
k=0

Théorème convergence uniforme:

n
ak z k
P
Soit : R > 0 , Sn (Z) =
k=0

⇒ Sn converge uniformément ∀DR (0) = {z ∈ C : |z| ≤ r, 0 < r ≤ R}

Soit : 0 < r ≤ R

⇒ |ak |.|z k | ≤ |ak |rk

∞
X
|ak |rk convergente ⇒ ∀ε > 0, ∃Nε : ∀n ≥ Nε
k=0
∞
X
⇒ |SN (z) = S(z)| = | ak rk |
k=N
∞
X
≤ |ak |rk < ε
k=N

Donc, ∀ε > 0

⇒ sup |SN (z) − S(z)| < ε ⇒ Sn converge uniformément sur Dr (0)

z∈Dr (0)

De plus , nous avons que :

∞
X
Sn (z) converge uniformément ⇒ S(z) = ak z k est continue sur Dr (0)
k=0

26
5.7 Critère de D’Alembert
1 |ak+1 |
= lim , si cette limite existe
R k→∞ |ak |

|ak+1 |.|z k+1 | |ak+1 |

⇒ lim = |z| lim = |z|l
k→∞ |ak |.|z k | k→∞ |ak |

∞

ak z k converge ⇐⇒ |z| < 1
P
La série


l 
1
k=0
∞ ⇒R=
La série
P k
ak z diverge ⇐⇒ |z| > 1 
 l
l 
k=0

5.8 Critère de Cauchy

1 p
= lim k |ak | , si cette limite existe
R k→∞

1
⇒ lim |ak z k | k = |(|z)µ
k→∞

∞

ak z k converge ⇐⇒ |z| < 1
P
La série


µ 
1
k=0
∞ ⇒R=
La série
P
ak z k diverge ⇐⇒ |z| > 1 
 µ
µ 
k=0

5.9 Dérivabilité de la série de puissance

n ∞
ak z k alors, S(z) = ak z k , pour tout m est
P P
Soit R > 0 rayon de convergence de la série de puissances Sn (z) =
k=0 k=0
m-fois dérivables dans DR (0)

∞
X
S (m) (z) = k(k − 1) · · · (k − m + 1)ak z k−m
k=m

Nous pouvons donc identifier les ak grace au développement en série de Taylor

∞ ∞
X S (k) (0) k X
S(z) = z = ak z k
k!
k=0 k=0

Preuve : k = 1
n
ak z k
P
Soit R rayon de convergence de la série, Sn (z) =
k=0
Preuve :
n
ak z k
P
Soit R le rayon de convergence de la série : Sn (z) =
k=0
Construisons la série des dérives termes à termes de Sn :
n
X
gn (z) = ak kz k−1
k=1
|ak+1 |(k + 1) |ak+1 | k+1
⇒ lim = lim lim
k→∞ |ak |k k→∞ |ak | k→∞
| {z k }
=1
1
=
R
Donc, R est aussi le rayon de convergence de gn (z)

27
Nous avons donc que la série gn (z) converge vers g(z) sur DR (0) tout comme Sn (z)
De plus,

g(z) = S 0 (z)

Preuve :
Soit : |z0 | < r < R
=0 pour k=0
z }| {
∞ ∞
S(z) − S(z0 ) X ak (z k − z0k ) X
− g(z0 ) = − ak kz k−1
z − z0 z − z0
k=0 k=1
∞ 
ak (z k − z0k )
X 
= − ak kz k−1
z − z0
k=1

Or, ∀k > 1

z k − z0k = (z − z0 )(z k−1 + z k−2 z0 + · · · + z0k−2 z + z0k−1 )

∞  
S(z) − S(z0 ) X k−1 k−2 k−2 k−1 k−1
⇒ − g(z0 ) = ak (z +z z0 + · · · + z0 z + z0 ) − kz0
z − z0
k=1

Séparons cette somme en deux somme

n
X   ∞
X  
⇒ ak (z k−1 + z k−2 z0 + · · · + z0k−2 z + z0k−1 ) − kz0k−1 + ak (z k−1 + z k−2 z0 + · · · + z0k−2 z + z0k−1 ) − kz0k−1
k=1 k=n+1
| {z }
Pn (z)

Nous pouvons voir que Pn (z0 ) = 0

∀ε > 0, ∃δ(ε,z0 ) : ∀|z − z0 | < δ ⇒ |Pn (z)| < ε

Si l’on prend δ(ε,z0 ) > 0 tq : |z| < r

 ∞ ∞
 X  X
k−1 k−2 k−2 k−1 k−1 
|ak |krk


 (z + z z 0 + · · · + z 0 z + z 0 ) − kz 0 ≤2
k=n+1 k=n+1

Nous savons que gn (z) converge vers g(z) sur DR (0)

∞
X
⇒ |ak |krk converge car,r < R
k=n+1
∞
X
⇒ ∀ε > 0, ∃Nε > 0 tq : |ak |krk < ε
k=n+1

Nous avons donc,

 
 S(z) − S(z0 ) 
∀ε > 0, ∃δ : |z| < r, ∃Nε > 0 tq : ∀|z − z0 | < δ ⇒  − g(z0 ) ≤ 2ε
z − z0

⇒ g(z0 ) = S 0 (z0 )

28
5.10 Définition de la fonction exponentielle
1
Soit ak = k!
nous pouvons don construire la série de fonction
∞
X zk
ez = l’exponentielle complexe
k!
k=0

Propriétés :
1) ez est entière

1 ak+1 k!
= lim = lim =0
R k→∞ ak k→∞ (k + 1)!

1
⇒ =0⇒R=∞
R
2)(ez )0 = ez

X kz k−1 X z k−1 X zm
(ez )0 = = = = ez
k! (k − 1)! m!
k≥1 k≥1 m≥0

z1 +z2 z1 z2
3) e = e .e

Soit : f (z) = ez ew−z

⇒ f 0 (z) = ez ew−z − ez ew−z = 0
⇒ f (z) = cste
Soit : z = 0
f (z) = ez ew−z = ew
Posons, z = z1 et w − z = z2
⇒ ez1 .ez2 = ez ew−z = ew = ez1 +z2
4) ez = ex (cos(y) + i sin(y))

Soit : z1 = x , z2 = iy
⇒ ex+iy = ex eiy = ex (cos(y) + i sin(y))

5.10.1 Périodicité de l’exponentielle complexe

Soit, f : C → C, soit γ ∈ C\{0} tq :
f (z + γ) = f (z)
γ est appelée la période de la fonction f . De plus, la période fondamentale est la période γ pour laquelle il n’existe
aucun sous multiple nγ qui soit aussi une période.
Nous avons que γ = 2iπ la période de l’exponantielle complexe.
ez+2iπ = ez
proposition :
Soit : θ ∈ R alors,
f (z) = ez : {z ∈ C : θ − π < =z ≤ θ + π} → C\{0}

Ou bien,
f (z) = ez : {z ∈ C : θ − π < =z < θ + π} → C\{Nθ }
Nθ = {z ∈ C : arg(z) = θ + π}

29
Chapitre 6
6 Séries de Fourier
La Série de Fourier peut, par rapport à la série de Taylor, approximer des fonctions n’étant pas continues en cer-
tains points. Elle peut aussi approximer des fonctions non périodiques. Nous travaillerons dans les fonctions à vari-
able réelles pour simplifier légèrement les notations.

6.1 La période
Soit T la période d’une fonction f étant donc T -périodique.

T > 0 ⇐⇒ f (t + T ) = f (t) , ∀t

Nous pouvons aussi définir la période principale T et donc l’intervall principal [0, T ] :

T = min {f (t + T 0 ) = f (t), ∀t ∈ R}
0 T ∈ R
Etant donné leur périodicité, toute fonction périodique est définie sur R dès que l’on connait celle-ci sur [0, T ].
Remarque :

f définie, continue sur [a, a + T ] ; f continue sur R

6.1.1 Changement de période

Soit f une fonction T -périodique, alors, il est possible de créer g qui soit L-périodique tq:
 
T
g(t) = f t.
L
   
(t + L)T tT LT
g(t + L) = f =f + f(
L L L
   
tT T
=f + T = f t.
L L
= g(t) , ∀t

6.1.2 Lemme d’intégration

Z a+T Z T
f (t)dt = f (t)dt
a 0

Z a+T Z 0 Z T Z T +a
f (t)dt = f (t)dt + f (t)dt + f (t)dt
a a 0 T
Z T Z 0 Z a
= f (t)dt + f (t)dt + f (s + T )dt , s = t − T
0 a 0
Z T
= f (t)dt
0

30
6.2 Continuité et régularité des fonctions

Fonctions continues par morceaux

Soit continue par morceaux

f (t) continue , ∀t ∈ [a, b]\{ξi }

Mais, lim ∃
t→ξi
<
>

Fonctions régulières par morceaux

Soit f une fonctions régulières par morceaux
⇐⇒ f dérivable dans [a, b] sauf aux {ξi } où elle n’est pas continue ainsi qu’aux {ηi } où, lim 6= lim
t→ηi+ t→ηi−

Les fonctions régulières par morceaux sont intégrables.

6.3 La série de Fourier

Soit f : 2π-périodique

f : [−π, π[ → C

Alors, sa série de fourier s’écrit :

X
f (t) = Ck eikt , CK les coefficiants de Fourier
Z
k∈
 
a0 X
⇐⇒ f (t) = + ak cos(kt) + bk sin(kt)
2
k≥1

De plus, nous savons que :

Z π
Ck = f (t)e−ikt dt
−π
Z π
1
ak = f (t) cos(kt)dt
π −π
Z π
1
bk = f (t) sin(kt)dt
π −π

6.4 Intégrales particulières sur [−π, π]

   
Z π  0 , k 6= m  Z π  0 , k 6= m 
cos(kt) cos(mt)dt = π , k = m 6= 0 sin(kt) sin(mt)dt = π , k = m 6= 0
−π 
2π , k = m = 0
 −π 
0,k=m=0


Z π Z π
cos(kt) sin(mt)dt = 0 , ∀k, m eikt dt = 2πδk0
−π −π

31
6.5 Parité des coefficients de Fourier
Nous pouvons voir que :
f (t) = f (−t) , ∀t ∈ [−π, π[ ⇒ bk = 0 , ∀k
f (t) = −f (t) , ∀t ∈ [−π, π[ ⇒ ak = 0 , ∀k
Preuve :
f (t) = f (−t) ⇒ bk = 0

Z π Z 0 Z π
1 1 1
f (t) sin(kt)dt = f (t) sin(kt)dt + f (t) sin(kt)dt
π −π π −π π 0
Z 0
1 π
Z
1
= f (−s) sin(−ks)(−ds) + f (t) sin(kt)dt , s = −t
ππ π
Z π Z π 0
1 1
=− f (s) sin(ks)dt + f (t) sin(kt)dt
π 0 π 0
=0

f (t) = −f (t) ⇒ ak = 0

Z π Z 0 Z π
1 1 1
f (t) cos(kt)dt = f (t) cos(kt)dt +
f (t) cos(kt)dt
π −π π −π π 0
Z π
1 π
Z
1
= f (−s) cos(−ks)ds + f (t) cos(kt)dt , s = −t
π 0 π 0
Z π Z π
1 1
=− f (s) cos(ks)dt + f (t) cos(kt)dt
π 0 π 0
=0

6.6 Théorème de Lejeune-Dirichlet

Soit f 2π-périodique, régulière par morceaux
n  
a0 X
⇒ Sn (t) = + ak cos(kt) + bk sin(kt)
2
k=1

Cette suite de somme converge point par point vers f (t) si la fonction est continue en t. Sinon :

f (t+ ) + f (t− )
Sn (t) →
2
Où nous avons que : f (t± ) = lim f (s)
s→t±

6.6.1 Lemme du Noyau de Dirichlet

n
1 X sin[(n + 21 )t]
+ cos(kt) = , ∀n ≥ 0 ∈ N
2
k=1
2sin( 2t )

Preuve par récurrence :

Soit : n = 0
1 sin( 2t )
⇒ =
2 2sin( 2t )

32
 n
, ∀n ≥ 0 ∈ N
1
P sin[(n+ 1 )t]
Soit : ∀m ≤ n, 2
+ cos(kt) = 2
t)
2sin( 2
k=1
⇒m=n+1
n
1 X sin[(n + 21 )t]
+ cos(kt) + cos[(n + 1)t] = + cos[(n + 1)t]
2
k=1
2 sin( 2t )
sin[(n + 21 )t]
= + cos[(n + 1)t]
2 sin( 2t )
sin[(n + 1)t] cos( 2t ) − cos[(n + 1)t] sin( 2t )
= + cos[(n + 1)t]
2 sin( 2t )
sin[(n + 1)t] cos( 2t ) cos[(n + 1)t]
= +
2 sin( 2t ) 2
sin[(n + 1)t] cos( 2t ) + sin( 2t ) cos[(n + 1)t]
=
2sin( 2t )
sin[((n + 1) + 12 )t]
=
2 sin( 2t )

6.6.2 Lemme inégalité de Bessel

Soit f : 2π-périodique intégrable, alors :
Z π
a0 X 2
+ (ak + b2k ) ≤ |f (t)|2 dt
2 −π
k≥1

Or, nous savons que :

n
a0 X
Sn (t) = + ak cos(kt) + bk sin(kt)
2
k=1

Nous savons aussi que :

π 2
1 π 2
Z  Z
1
0≤ f (t) − Sn (t) dt = f (t) − 2f (t)Sn (t) + Sn2 (t)dt
π −π π −π
Z π Z π
1 1
⇐⇒ 2f (t)Sn (t) + Sn2 (t)dt ≤ f 2 (t)dt
π −π π −π

Calculons l’intégrale de gauche. 1)

Z π Z π  n 2
1 1 a0 X
Sn2 (t)dt = + ak cos(kt) + bk sin(kt) dt
π −π π −π 2
k=1
π n n
a20
Z   
1 a0 X X
= +2 am cos(mt) + bm sin(mt) + ak cos(kt) + bk sin(kt) am cos(mt) + bm sin(mt) dt
π −π 4 2 m=1
k,m=1

a2 1 π X
Z  
= 0 + ak am cos(kt) cos(mt) + ak bm cos(kt) sin(mt) + bk am sin(kt) cos(kt) +bk bm sin(kt) sin(mt) dt
2 π −π | {z } | {z } | {z } | {z }
k,m=1 =0 =0
k=m⇒=π k=m⇒=π
π n
a20
Z
1 X
Sn2 (t)dt = + (a2k + b2k )
π −π 2
k=1

33
2)
Z π Z π  n 
1 1 a0 X
f (t)Sn (t)dt = + ak cos(kt) + bk sin(kt) f (t)dt
π −π π −π 2
k=1
Z π  n 
1 a0 X
= f (t) + ak cos(kt)f (t) +bk sin(kt)f (t) dt
π −π 2 | {z } | {z }
k=1 →ak →bk
n
a20 X
= + (a2k + b2k )
2
k=1

Nous pouvons donc dire que :

1 π 1 π 2 π
Z Z Z
1
2f (t)Sn (t)dt − Sn (t)dt ≤ f 2 (t)
π −π π −π π −π
 2 X n n π
a20 X 2
   Z
a0 2 2 2 1
2 + (ak + bk ) − + (ak + bk ) ≤ f 2 (t)
2 2 π −π
k=1 k=1
n π
a20
Z
X 1
+ (a2k + b2k ) ≤ f 2 (t)
2 π −π
k=1

6.6.3 Preuve Théorème de Lejeune-Dirichlet

f (t+ ) + f (t− )
Sn (t) →
2
Nous pouvons aussi écrire :
n
a0 X
Sn (t) = + ak cos(kt) + bk sin(kt)
2
k=1
n n
1 π 1 π 1 π
Z Z Z
1 X X
= f (s) ds + f (s) cos(ks)ds cos(kt) + f (s) sin(ks)ds sin(kt)
π −π 2 π −π π −π
k=1 k=1
n
1 π
Z  
1 X
= f (s) + cos(ks) cos(kt) + sin(ks) sin(kt) ds
π −π 2 | {z }
k=1
cos[k(s−t)]
Z π  n 
1 1 X
= f (s) + cos[k(s − t)] ds
π −π 2
k=1
Z π−t  n 
1 1 X
= f (u + t) + + cos[ku] du, u = s − t
π −π−t 2
k=1

sin[(n + 12 )u]
Z π
1
Sn (t) = f (t + u) du
π −π 2sin( u2 )

Nous savons aussi que :

0 n n
1 π 1 X
Z   Z  
1 1 X 1
+ cos[ku] du = + cos[ku] du =
π −π 2 π 0 2 2
k=1 k=1

34
Nous pouvons donc dire que :

f (t+ ) + f (t− ) 1 π sin[(n + 21 )u] 1 0

1
− sin[(n + 2 )u] 1 π sin[(n + 12 )u]
Z Z Z
Sn (t) − = f (t + u) u du − f (t ) u du − f (t+ ) du
2 π −π 2sin( 2 ) π −π 2sin( 2 ) π 0 2sin( u2 )

0
sin[(n + 21 )u] π
sin[(n + 12 )u]
Z   Z  
1 1
= f (u + t) − f (t− ) du + f (u + t) − f (t+ ) du
π −π 2sin( u2 ) π 0 2sin( u2 )

Définissons une fonction : Gn (u, t) tq :


[f (u+t)−f (t− )]

 2sin( u )
, si : − π ≤ u < 0

 2



Gn (u, t) = [f (u+t)−f (t+ )]
2sin( u )
, si : 0 < u ≤ π

 2




0 , si : u = 0


Nous avons donc :

f (t+ ) + f (t− ) π
Z  
1 1
Sn (t) − = Gn (u, t) sin (n + )u du
2 π −π 2
Z π  
1 u u
= Gn (u, t) cos( ) sin(nu) + Gn (u, t) sin( ) cos(nu) du
π −π | {z 2} | {z 2}
G1 =Bn G2 =An

De plus, nous pouvons voir que :

[f (u + t) − f (t− )] 0
lim Gn (u, t) = lim =” ”
u→0+ u→0+ 2sin( u2 ) 0
[f (u + t) − f (t− )] 0
lim Gn (u, t) = lim =” ”
u→0− u→0− 2sin( u2 ) 0

Par l’hospital, nous avons que :

f (u + t) − f (t+ ) H f 0 (t + u) u→0+ 0 +
= −→ f (t )
2 sin( u2 ) 2 cos( u2 ) 12
f (u + t) − f (t− ) H f 0 (t + u) u→0+ 0 −
= −→ f (t )
2 sin( u2 ) 2 cos( u2 ) 12

Dès lors, Gn (u, t) est régulière par morceau et donc intégrable

Par l’inégalité de Bessel, nous avons donc :
∞ π
A20 X 2
Z
1
+ (Ak + Bk2 ) ≤ G2n (u, t)du
2 π −π
k=1

Nous avons donc que la série de gauche converge. tq :

1 π
 Z  
Ak → 0 u u
⇒ Gn (u, t) cos( ) sin(nu) + Gn (u, t) sin( ) cos(nu) du −→ 0
Bk → 0 π −π | 2} 2}
{z | {z
G1 =Bn G2 =An

f (t+ ) + f (t− )
⇒ Sn (t) − −→ 0
2
+ −
f (t ) + f (t )
⇒ Sn (t) −→
2

35
6.7 Théorème de la convergence normale des séries de Fourier
Soit f continue : Sn → f (t) , ∀t ∈ [−π, π[ alors,
n  
a0 X  
+ sup ak cos(kt) + bk sin(kt) converge
2 t∈[−π,π[
k=1

Nous savons par inégalité triangulaire que :

 
 
ak cos(kt) + bk sin(kt) ≤ |ak |.|cos(kt)| + |bk |.|sin(kt)|
 
≤ |ak | + |bk | , ∀t ∈ [−π, π[

Nous avons donc que, ∀n :

n   n  
a0 X   a0 X
+ sup ak cos(kt) + bk sin(kt) ≤ + |ak | + |bk |
2 t∈[−π,π[ 2
k=1 k=1

Pour étudier le membre de droite :

Définissons la fonction : F (t) = f (t) cos(kt) alors,

Z π
F 0 (t)dt = F (π) − F (−π) = f (π) cos(kπ) − f (−π) cos(−kπ)
−π
 
= cos(kπ) f (π) − f (−π) = 0

Effectivement, f est définie sur [−π, π[ et 2π-périodique donc, f (π) = f (−π)

⇒ F 0 (t) = f 0 (t) cos(kt) − f (t)k sin(kt)

Nous pouvons donc remplacer et trouver :

Z π Z π
0
f (t) cos(kt)dt − f (t)k sin(kt)dt = 0
−π −π
| {z } | {z }
=αk =kbk

Où,
n
a0 X
f (t) = + ak cos(kt) + bk sin(kt)
2
k=1
n
α0 X
f 0 (t) = + αk cos(kt) + βk sin(kt)
2
k=1

Nous avons donc :

0 = αk − kbk
αk = kbk

En suivant le même raisonnement pour H(t) = f (t) sin(kt), nous trouverions :

0 = βk − kak
βk = kak

36
Nous savons que f 0 (t) est régulière par morceaux car elle est la dérivié d’une fonction régulière par morceaux donc,
f 0 (t) est intégrable.
Par l’inégalité de Bessel nous avons donc :
∞ π
α02 X 2
Z
1
+ (αk + βk2 ) ≤ (f 0 (t))2 du
2 π −π
k=1

a2 +b2
Il est facile de montrer que : ab ≤ 2
dès lors,
   
1 1 2 2 1 1 1
|bk | = (|bk |k) ≤ bk k + 2 = αk2 + 2
k 2 k 2 k
   
1 1 2 2 1 1 1
|ak | = (|ak |k) ≤ ak k + 2 = βk2 + 2
k 2 k 2 k

Nous avons donc :

n   n  
X X 1 2
|ak | + |bk | ≤ αk2 + βk2 + 2
2 k
k=1 k=1
n n
1 X X 1
= αk2 + βk2 +
2 k2
k=1 k=1

En prenant la limite,
n   n n
X 1X 2 X 1
|ak | + |bk | ≤ αk + βk2 +
2 k2
k=1 k=1 k=1
| {z } | {z } | {z }
converge converge converge

Nous avons donc finalement que :

CN
Sn (t) −→ f (t)

6.8 Egalité de Perceval

Soit f une fonction 2π-périodique, régulière par morceaux, continue. Alors,
∞ π
a20 X 2
Z
1
+ (ak + b2k ) = (f 0 (t))2 du
2 π −π
k=1

Nous savons que :

π n
a20 X 2
Z
1
Sn2 (t)dt = + (ak + b2k )
π −π 2
k=1

CN CU
Or , Sn (t) −→ f (t) ⇒ Sn (t) −→ f (t)
Dès lors,
Z π Z π
1 1
lim Sn2 (t)dt = lim Sn2 (t)dt
n→∞ π −π π −π n→∞
∞ π
a20
Z
X 1
⇒ + (a2k + b2k ) = f 2 (t)dt
2 π −π
k=1

37
6.9 Phénomène de Gibbs
Soit f (t) continue sur [−π, π[
n  
a0 X
f (t) = + ak cos(kt) + bk sin(kt)
2
k=1

Or, Nous savons que :

−f (t) = f (−t) ⇒ ak = 0
1 π
Z
2
bk = t sin(kt)dt = (−1)k+1
π −π k

Nous avons donc que la série de Fourier de cette fonction est :

∞
X 2
f (t) = (−1)k+1 sin(kt)
k
k=1

Nous pouvons donc voir que :

n 
X 2 k+1 −→ f (t), ∀t ∈ ] − π, π[
∀t ∈ kπ, k ∈ Z
Sn (t) = (−1) sin(kt)
k −→ 0,
k=1

De plus , nous avons que :

∞
X 2
Sn (π) = (−1)k+1 sin(kπ) = 0, ∀n
k
k=1
∞
π X 2 π X 2
Sn ( ) = (−1)k+1 sin(k ) = (−1)2m+2 (−1)m
2 k 2 m=0
2m + 1 | {z }
k=1 =1
π π X 2
⇒ Sn ( ) = = , ∀n
2 2 m=0
2m +1

Etude des points de discontinuité de la fonction

CU
Soit : p ∈ [0, π[ , f (t) est continue sur [−p, p] ⇒ Sn (t) −→ f (t)
m
X 1
Sn (t) − Sm (t) = 2 (−1)k+1 sin(kt)
k
k=n+1
   m  
t X 1 t
cos Sn (t) − Sm (t) = 2 (−1)k+1 sin(kt) cos
2 k 2
k=n+1
m  
X 1 1 1
=2 (−1)k+1 sin [(k + )t] − sin [(k − )t]
k 2 2
k=n+1

m m−1
X 1 1 X 1 1
=2 (−1)k+1 sin [(k + )t] − 2 (−1)h+2 sin [(h + )t]
k 2 h+1 2
k=n+1 h=n

m−1
(−1)m+1 (−1)n+2
 
1 1 X k+1 1 1 1
=2 sin [(m + )t] + 2 sin [(n + )t] + 2 (−1) sin [(k + )t] + −
m 2 n+1 2 2 k k+1
k=n+1

38
     m−1  
 cos t 2 2
  X 1 1 
Sn (t) − Sm (t)  ≤ + + 2  −
 2  m n+1 k k + 1
k=n+1
 
2 2 1 1
= + +2 −
m n+1 n+1 m
4
=
n+1
   
 t  4
 cos Sn (t) − Sm (t)  ≤ , ∀m
 2 n+1

Si : m → ∞ ⇒ Sm (t) → f (t) , alors :

   
 cos t ≤ 4
 
S n (t) − f (t)
 2  n+1
 
Sn (t) − f (t) ≤ 4 1
 
  n + 1 |cos( 2t )|

Si p ∈ ]0, π[ alors:
 
Sn (t) − f (t) ≤ ε tq : 4 1
 
<ε
  n + 1 |cos( 2t )|

Donc si ε, p sont fixés, il faut rajouter des termes pour se rapprocher. Mais, si p → π il faudra une infinité de
terme pour respecter la deuxième inégalité. Donc, le nombre de terme diverge autant que l’on se rapproche de π
et l’approximation ne fonctionne bien pas au bornes.

39
Chapitre 7
7 Courbes et chemins: intégrales de variable complexe
7.1 La courbe
une courbe γ est une fonction continue
γ : {[a, b]} → C , avec [a, b] ∈ R
Cette courbe sera dite, fermée si :
γ(a) = γ(b)
Une courbe fermée ou ouverte peut aussi être définie comme simple si celle-ci ne s’intèrsèque jamais
⇐⇒ ∀t, s ∈ [a, b], t 6= s ⇒ γ(t) 6= γ(s)
Nous pouvons définir deux ensemble grâce à cete courbe :

 
γ = γ [a, b] = z ∈ C : z = γ(t), t ∈ [a, b]
∗

 
I (γ) = z ∈ C : z fait partie de la surface créée par γ ∗ fermée

Chacune de ces courbes peut-être suivient dans des sens différent nous allons donc définir :

−γ(a) = γ(b)
−γ(t) = γ(a + b − t) tq :
−γ(b) = γ(a)

L’union de courbes
Soient : γ1 : [a, b] → C , γ2 [c, d] → C deux courbes. Alors définissons leur union :
γ = γ1 ∪ γ2 : [a, b] ∪ [c, d] → C
Nous appellerons cette nouvelle courbe γ une courbe union ou un lacet. Celle-ci peut se généraliser tel que :
n
∃γi : [ai , bi ] → C ⇒ ∃γ =
[
γi (t)
i=1

Régularité d’une courbe

Une courbe est dite régulière si elle est dérivable dans [a, b] et les dérivées gauche (resp. droite) existe en a (resp.
en b)
γ(t + h) − γ(t)
∀t ∈ ]a, b[ , ∃ lim
h→0 h

De plus ,
γ(t + h) − γ(t)
∃ lim
h→0− h
γ(t + h) − γ(t)
∃ lim
h→0+ h

Longueur d’une courbe

Soit : lγ la longueur de la courbe γ définie par :

Z b
lγ = |γ 0 (t)|dt
a

40
7.2 Les chemins
Un chemin est l’union d’un nombre fini de courbes régulières. Aux unions un chemin peut ne pas être dérivable.
Un contour sera dit fermé si son point initial et son point final coincident.
Le chemin opposé est construit comme union des courbes opposées.

Le segment
Soit [z1 , z2 ] un segment alors,

γ ≡ [z1 , z2 ] : [0, 1] → C tq : γ(t) = z1 (1 − t) + z2 t

Le cercle
Soit z ∈ C, R > 0 ⇐⇒ C (R, z) un cercle alors,

γ ≡ C (R, z) : [0, 2π] → C tq : γ(t) = z + Reit

7.3 Intégrale sur une courbe ou un chemin

Soit γ : [a, b] → C une courbe et, f une fonction complexe contiue dans γ ∗ .
Alors, la fonction composée : f (γ(t))γ 0 (t) est régulière par morceaux et donc intégrables.
Nous définissons :
Z Z b
f (z)dz = f (γ(t))γ 0 (t)dt
γ a

Propriétés :
1)
Z Z
f (z)dz = − f (z)dz
−γ γ
Z b
= f (−γ(t))(−γ 0 (t))dt
a
Z b
= −f (−γ(a + b − t))(γ 0 (a + b − t))dt
a
Z a
=− f (−γ(s))γ 0 (s)(−ds) avec : a + b − t = s
b
Z b
=− f (−γ(s))γ 0 (s)ds
a
Z
=− f (z)dz
γ

2) Soit : γ = γ1 ∪ γ2 , et f continue sur γ ∗

Z Z Z
f (z)dz = f (z)dz + f (z)dz
γ γ1 γ2

Dès lors,
Z n Z
X
f (z)dz = f (z)dz
γ k=1 γk

41
3) Soit γ : [a, b] → C une courbe et Ψ : [â, b̂] → [a, b] une bijection croissante.
Si γ̂ = γ ◦ Ψ ⇐⇒ γ̂(t) = γ(Ψ(t)) alors,
Z Z
f (z)dz = f (z)dz
γ̂ γ

Preuve :

Z Z b̂
f (z)dz = f (γ̂(t))γ̂ 0 (t)dt
γ̂ â
Z b̂
= f {γ[Ψ(t)]}γ 0 [Ψ(t)]Ψ0 (t)dt
â

Posons,

s = Ψ(t) Ψ(â) = a Ψ(b̂) = b Ψ0 (t)dt = ds

Alors, nous trouvons en remplaçant

Z b̂ Z b
f {γ[Ψ(t)]}γ 0 [Ψ(t)]Ψ0 (t)dt = f (γ(s))γ 0 (s)ds
â a
Z
= f (z)dz
γ

7.4 Lemme d’estimation

Soit γ : [a, b] → C une courbe , f continue sur γ ∗ et lγ la longueur de la courbe.
Alors,
Z 
 
 f (z)dz  ≤ M lγ
 
γ

Preuve :
Soit M = max∗ |f (z)|
z∈γ
Z  Z 
 f (z)dz  =  f [γ(t)]γ 0 (t)dt
   
   
γ γ
Z b  
  0 
≤ f [γ(t)].γ (t)dt
   
a
Z b
≤ M |γ 0 (t)|dt
a
= M lγ

7.5 Théorème fondamental du calcul intégral

Soit γ : [a, b] → C une courbe , f continue tq f : A → C et γ ∗ ⊂ A. Alors nous avons que :
Z
f 0 (z)dz = f [γ(b)] − f [γ(a)]
γ

De plus, nous pouvons directement voir que si γ est fermée,

Z
f 0 (z)dz = 0
γ

42
7.6 Théorème d’échange des séries et intégrales (Weierstrass)
Soit γ : [a, b] → C un chemin, uk : A → C une suite de fonctions continues, A ouvert tq γ ∗ ⊂ A de tel sorte que :
CN
X
uk −→ S(z) dans γ ∗
k≥0

Alors nous avons :

XZ Z X Z
uk (z)dz = uk (z)dz = S(z)dz
k≥0 γ γ k≥0 γ

7.7 Théorème de Cauchy dans un triangle

Soit γ1 un triangle et f ∈ H(I (γ) ∪ γ ∗ )
Etan donné que γ1 est fermée nous avons que
Z
f (z)dz = 0
γ1

Preuve par contradicion :

Soit
Z 
 

 f (z)dz  = ξ > 0
γ1

Séparons notre triangle γ1 en plusieurs petit triangles en rejoignant le milieu des cotés du grand triangle.

Nous savons donc que :

lγ1
lγ1,i =
2
De plus,
Z 4 Z
X
f (z)dz = f (z)dz
γ1 i=1 γ1,i

Dès lors, il est evident que

Z 
  ξ
∃î ∈ {1, 2, 3, 4} :  f (z)dz  ≥
γ1,î 4

Définissons alors que : γ1,î = γ2

lγ2 lγ1
En suivant le même principe nous trouvons que : lγ2,i = 2
= et ,
22
Z 
  ξ ξ
∃ĩ ∈ {1, 2, 3, 4} :  f (z)dz  ≥ = 2
γ2,ĩ 16 4

43
Si l’on applique ce principe autant de fois qu’on le souhaite, nous allons trouver que :
lγ
Lγn = n1
Z  2
  ξ
 f (z)dz  ≥ n

γn 4

Le triangle γ étant fermé borné, nous avons que

\
∀n, ∃zn ∈ I (γn ) tq : zn → z0 ∈ I (γn )
n≥1

Nous savons par hypothèse que f ∈ H(I (γ1 ) ∪ γ1∗ ) il existe donc une dérivée au point z0

 
 f (z) − f (z0 ) 0

∀ε > 0, ∃δ > 0 : |z − z0 | < δ ⇒ 
 − f (z0 ) < ε
z − z0

Or, ∃n tq : si zn ∈ γn

⇒ |z − z0 | < lγn < δ

 
0
 
⇒ f (z) − f (z0 ) − f (z0 )(z − z0 ) < ε|z − z0 | < εδ


Dès lors, par le lemme d’estimation :

Z   
0 0
   

 [f (z) − f (z0 ) − f (z0 )(z − z0 )]dz  < sup f (z) − f (z0 ) − f (z0 )(z − z0 )lγn
 
γn γ n

< εlγn lγn = ε(lγn )2

Or, nous savons que

Z Z Z
f (z)dz = [f (z) − f (z0 ) − f 0 (z0 )(z − z0 )]dz + [f (z0 ) + f 0 (z0 )(z − z0 )]dz
γn γn γn

Si l’on regarde la seconde intégrale du membre de droite, on peut voir qu’il existe F (z) tq :

(z − z0 )2
F (z) = f (z0 )z + f 0 (z0 )
2
⇒ F 0 (z) = f (z0 ) + f 0 (z0 )(z − z0 )

Dès lors, étant donné que γn est fermée :

Z Z
[f (z0 ) + f 0 (z0 )(z − z0 )] = F 0 (z)dz = 0
γn γn

Nous avons donc finalement que :

Z Z
f (z)dz = [f (z) − f (z0 ) − f 0 (z0 )(z − z0 )]dz < ε(lγn )2
γn γn

Et donc,
Z  2
ξ  ≤ ε lγ 1
 
n
<  f (z)dz
4 
γn
 4n
⇒ ξ < εlγ21

Etant donné que ε est arbitraire

⇒ξ→0
Z 
 
⇒  f (z)dz  = 0
γ1

44
Remarque :
Ce théorème fonctione aussi pour une courble polygonale quelconque car cette dernière peut être découpée en un
ensemble de de triangle
Z n Z
X
⇒ f (z)dz = f (z)dz = 0
γ i=1 γi

7.8 Théorème de Cauchy dans un domaine

Soit G ⊂ C un domaine, f : G → C continue.

Z Z
Si, ∀γ ⊂ G, f (z)dz = 0 ⇒ F (z) = f (w)dw
γ [a,z]

Nous avons que F (z) ∈ H(G) ⇒ f (z) est aussi holomorphe

Soit a, z, z + h ∈ G tq : ∃r > 0 : Dr (z) ⊂ G et , |h| < r

45
Alors, nous avons que la fonction F (z) est bien définie en z + h tq :
Z Z
F (z + h) − F (z) = f (w)dw − f (w)dw
[a,z+h] [a,z]

Or, si l’on pose que γ1 est le triangle a, z, ˆz + h

Z
f (z)dz = 0
γ1

En décomposant γ1 nous trouvons que :

Z Z Z
f (w)dw + f (w)dw + f (w)dw = 0
[a,z] [z,z+h] [z+h,a]

Et donc
Z
⇒ F (z + h) − F (z) = f (w)dw
[z,z+h]

Nous pouvons facilement montrer que :

Z
1
dw = 1
h [z,z+h]

Alors, nous avons que :

Z Z
F (z + h) − F (z) 1 1
− f (z) = f (w)dw − f (z)dw
|h| h [z,z+h] h [z,z+h]
Z
1
= [f (w) − f (z)]dw
h [z,z+h]
  Z 
 F (z + h) − F (z)
= 1 
  
 − f (z) [f (w) − f (z)]dw 
 |h|  |h| [z,z+h]
 
1
≤ sup |f (w) − f (z)|.|h|
|h| [z,z+h]
= sup |f (w) − f (z)|
[z,z+h]

Soit : h → 0 alors,

|F 0 (z) − f (z)| ≤ lim sup |f (w) − f (z)| = 0

h→0 [z,z+h]

Et donc,

F 0 (z) = f (z)

Si G est un domaine convexe et γ une courbe fermée nous avons que :

Z Z
f (z)dz = F 0 (z)dz = 0
γ γ

46
Chapitre 8
8 Etude des singularités d’une fonction
Singularités
Soit f (z) régulière en z0 si, ∀r > 0 , f différentiable en Dr (z0 )
Soit f (z) régulière en z0 si, ∀r > 0 , f différentiable en Dr (z0 )\z0

Chemin orienté positivement

Soit le chemin γ(t) : [a, b], ce dernier est orienté positivment si : t → b ⇒ un point sur la courbe se déplace dans le
sens horaire.

8.1 Théorème de déformation

Soit γ : [0, 1] → C un chemin orienté positivement, a ∈ I (γ) , f ∈ H(γ ∗ ∪ I (γ)\{a})
Z Z
⇒ ∃r > 0 : f (z)dz = f (z)dz
γ ∂Dr (a)

Décomposons le domaine γ tq : γ1 ∪ γ2 = γ
Nous avons donc que :

f ∈ H(γ1 ∪ I (γ1 ))


f ∈ H(γ2 ∪ I (γ2 ))

De plus,
Z Z
f (z)dz = 0 f (z)dz = 0
γ1 γ2

En décomposant les intégrales nous pouvons voir que :

Z Z Z Z Z
f (z)dz = f (z)dz + f (z)dz + f (z)dz + f (z)dz
γ1 γ1 γ1 γ1
γ AB BC CD DA
Z Z Z Z
+ f (z)dz + f (z)dz + f (z)dz + f (z)dz
γ2 γ2 γ2 γ2
DC CB BA AD
Z Z Z Z
= f (z)dz + f (z)dz + f (z)dz + f (z)dz
γ1 γ2 γ1 γ2
| AB {z BA
} BC CB
=0
Z Z
f (z)dz = f (z)dz
γ ∂Dr (a)

47
8.1.1 Généralisation pour un nombre fini de singularités
Soit γ : [0, 1] → C un chemin orienté positivement, (ak )k∈N ⊂ I (γ) , f ∈ H(γ ∗ ∪ I (γ)\{ak })
Alors, nous avons que
Z n Z
X
f (z)dz = f (z)dz
γ k=1 ∂Dr (ak )

8.2 La formule de Cauchy

Soit γ un chemin fermé orienté positivement et f ∈ H(γ ∪ I (γ))
Alors, ∀z ∈ I (γ)
Z
1 f (w)
f (z) = dw
2πi γ w−z

Preuve :
Nous savons que :
Z Z
f (w) f (w) f (w)
∈ H(γ ∪ I (γ)\{z}) ⇒ dw = dw
w−z γ w−z ∂Dr (z) w−z

Montrons que :
Z
1 1
dw = 1
2πi γ w−z

Posons que γ̂ : [0, 2π] → C ≡ ∂Dr (z) ≡ z + reit

⇒ γ̂ 0 (t) = rieit

Et donc,
Z Z 2π
1 1 1 1
dw = rieit dw
2πi γ̂ w−z 2πi 0 reit
2πi
=
2πi
=1

48
Nous avons donc que :
Z
1 f (z)
dw = f (z)
2πi γ w−z

Soit :
 Z   Z Z 
f (z) − 1 f (w)
   1 f (z) 1 f (w) 
dw =
  dw − dw
 2πi γ w − z   2πi γ w − z 2πi γ w − z 
 Z 
 1 f (z) − f (w) 
=  dw
2πi γ w−z
1  2π f (z) − f (z + reit ) it 
Z 
= rie dt
2π  0 reit 
 
= sup f (z) − f (z + reit )
 
t∈[0,2π[

Etant donné que r est arbitraire, prenons r → 0

 
it 
 
⇒ sup f (z) − f (z + re ) = 0

t∈[0,2π[
Z
1 f (w)
⇒ f (z) = dw
2πi γ w−z

8.3 Théorème de Liouville

Soit f une fonction holomorphe et limitée sur C, Alors f est constante
Preuve :
f ∈ H(C) : ∃M > 0 tq : |f (z)| ≤ M, ∀z ∈ C
a, b ∈ C, a 6= b et, R > 0 tq :R > 2 max{|a|, |b|}
Nous savons donc par la formule de Cauchy que
Z
1 f (w)
f (a) = dw
2πi γ0 w−a
Z
1 f (w)
f (b) = dw
2πi γ0 w−b

Où, γ0 ≡ ∂DR (0)

Dès lors, nous avons que
Z  
1 1 1
f (a) − f (b) = f (w) − dw
2πi γ0 w−a w−b
Z
1 a−b
= f (w) dw
2πi γ0 (w − a)(w − b)

Par le lemme d’estimation nois avons donc

 
1  f (w)(a − b) 
|f (a) − f (b)| ≤ sup  2πR
2π W ∈γ0 (w − a)(w − b) 
 
 1 
≤ M R|a − b| sup  
W ∈γ (w − a)(w − b) 0

Or, il est facile de montrer que

   
    R
|w − a| ≥ |w| − |a| = R − |a| ≥ R − |a| ≥
2
   
    R
|w − b| ≥ |w| − |b| = R − |b| ≥ R − |b| ≥
2

49
Nous avons donc que
 
 1 
|f (a) − f (b)| ≤ M R|a − b| sup  
W ∈γ0 (w − a)(w − b)

 2
2 4M |a − b|
≤ M R|a − b| =
R R

Etant donné que R est arbitraire, prenons R → ∞

4M |a − b| R→∞
−→ 0
R

Nous avons donc que ∀a, b ∈ C

f (a) = f (b) ⇒ f (z) = cste

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

Soit p(z) un polynôme non trivial

⇒ ∃z0 ∈ C tq :p(z0 ) = 0

Preuve par contradiciton:

Soit p(z) ∈ H(C) tq : p(z) 6= 0∀z
1
Définissons f (z) = p(z) ∈ H(C)
Nous pouvons facilement voir que pour |z| → ∞, f (z) → 0 Ce qui veut dire que f est bornée.

∃R > 0 tq : |z| > R ⇒ |f (z)| < M

Or, par le Théorème de Louiville nous avons que f (z) doit être une constante et donc aussi p(z) ce qui est faux. Le
polynôme p(z) doit donc s’annuler

8.5 La formule de Taylor

Soit a ∈ C , R > 0 et f une fonction holomorphe dans DR (a) alors,
X
∃(cn )n∈N tq : ∀z ∈ DR (a), f (z) = cn (z − a)n
n≥0

PLus précisément , nous avons que

Z
1 f (w)
cn = dw
2πi γr (w − z)n+1

avec γr = {z ∈ C : z = a + re , t ∈ [0, 2π[} et , 0 < r < R

it

Nous savons que

Z
1 f (w)
f (z) = dw
2πi ∂Dr (z) w − z

Nous pouvons réecrire

 
z−a
w − z = w − a − (z − a) = (w − a) 1 −
w−a
1 1 1
⇒ = z−a
w−z w − a 1 − w−a

50
 Nous pouvons facilement voir que |z − a| < |w − a| et
donc réecrire que

1 1 X (z − a)n
z−a =
w − a 1 − w−a (w − a)n+1
n≥0

Nous avons donc que

1
Z X (z − a)n
f (z) = f (w) dw
2πi γr (w − a)n+1
n≥0

En considérant que la somme converge normalement, nous pouvons donc inverser la somme et l’intégrale de telle
sorte que
(z − a)n
Z
1 X
f (z) = f (w) dw
2πi (w − a)n+1
n≥0 γr
 Z 
X 1 1
= (z − a)n f (w) dw
2πi γr (w − a)n+1
n≥0
X
= cn (z − a)n
n≥0

Montrons que la somme en question converge normalement.

X f (w)(z − a)n
, w ∈ γr
(w − a)n+1
n≥0

Nous savons que f est continue et , ∀w ∈ γr : |f (w)| ≤ M

Alors,
n  n
 
f (w) (z − a)  ≤ M |z − a|

 (w − a) n+1  r n+1

M n z−a
= θ avec, =θ<1
r r
= Mn

Nous avons donc que ∀n

n 
 
f (w) (z − a)  ≤ Mn

 (w − a)n+1 
P
Or, Mn est convergente car θ < 1 Dès lors,
n≥0

X f (w)(z − a)n
converge normalement
(w − a)n+1
n≥0

51
8.6 Les zéros des fonctions analytiques
Soit z0 tq :f (z0 ) = 0 et f ∈ H(DR (a)) alors, z0 est isolé

∀r > 0, Dr (z0 ) ⊂ Dr (a), ∀z ∈ Dr (z0 )\{z0 } ⇒ f (z) 6= 0

Plus précisement, f (z) = (z − z0 )n g(z) où, n ∈ N est appelé l’ordre du zéro (unique) et g(z) 6= 0, ∀z ∈ Dr (z0 )\{z0 }
Preuve existence :

X
f (z) = ck (z − a)k , f (z0 ) = 0 , f 6= 0
k≥0

Soit n le plus petit entier tq

cn−1 = 0 , cn 6= 0

Posons : l = k − n
X
f (z) = cl+n (z − a)l+n
l≥0
X
= (z − z0 )n cl+n (z − a)l
l≥0
| {z }
=g(z)

cl+n (z − a)l ∈ H(DR (a)) et g(z0 ) = cn 6= 0

P
Effectivement,
l≥0

Il existe donc bien un voisinage de z dans lequel f (z) = (z − z0 )n g(z) 6= 0

Preuve unicité :
Soit m, h tq :

f (z) = (z − z0 )m h(z) , h 6= 0

Soit n > m

(z − z0 )n g(z) = (z − z0 )m h(z)
(z − z0 )n−m g(z) = h(z)

nous avons donc que


h(z0 ) 6= 0
h(z0 ) = 0.g(z0 ) = 0

Impossible donc n est unique.

52
8.7 Théorème de Laurent
Avec le théorème de Laurent nous allons généraliser le concept de série de Taylor au cas où les fonctions admettent
des singularités, c’est-à dire des points où elles ne sont pas analytiques.
Soit : 0 < R < S ≤ +∞ tq l’on peut défnir l’anneau centré en a :

AR.S (a) = {z ∈ C : R < |z − a| < S}

De telle sorte que une fonction f soit holomorphe dans cet anneau, mais puisse donc être singulière près de a :

f ∈ H(AR.S (a))

Alors,
régulière singulière
zX }| { zX }| {
∃(Cn )n∈Z ⊂ C , tq : f (z) = n
Cn (z − a) + Cn (z − a) n

n≥0 n≤−1

Où nous avons que :

Z
1 f (w)
Cn = dw
2πi γr (a) (w − a)n+1

Preuve :
Soit un point a et un anneau AR.S (a) de rayons interne R et rayon externe S. Définissons la courbe γ = γP ∪ γQ ∪
γup ∪ γdwn . Supposons le point z ∈ I (γ) ⊂ AR.S (a) et la fonction f ∈ H(AR.S (a))
Le théorème de déformation nous permet de modifier cette courbe γ de telle sorte que la contribution de γup et
γdwn s’annule. La formule de Cauchy nous dit donc que :
Z
1 f (w)
f (z) = dw
2πi γr (a) w−z

Cette représentation nous permet de voir que :

R<P <Q<S

Et nous pouvons donc trouver une décomposition de la fonction f au point z telle que :
Z Z
1 f (w) 1 f (w)
f (z) = dw − dw
2πi γQ w − z 2πi γP w − z
| {z } | {z }
=IQ =IP

53
Nous allons commencer par étudier l’intégrale IQ .
Z
1 f (w)
IQ = dw
2πi γQ w−z

nous pouvons modifier cete expresions pour faire apparaitre le point a :

1 1
=
w−z w − a − (z − a)
1 1
= z−a
w − a 1 − w−a
1 1
= , θ < 1 car : |w − a| > |z − a|
w−a1−θ
 n
1 X z−a
=
w−a w−a
n≥0

Dès lors, nous avons :

1
Z X (z − a)n
IQ = f (w) dw
2πi γQ (w − a)n+1
n≥0

Montrons que la série converge normalement et donc uniformément pour pouvoir inverser l’intégrale et la somme.
Nous pouvons facilement redéfinir les termes de notre série :

n  n
   
f (w) (z − a)  < M (z − a)  = Mn
 
 (w − a)n+1   rn+1 
z−a
Or, nous savons que : θ = r
. Dès lors,
X X M n n→∞
Mn = θ −→ 0
r
n≥0 n≥0

Nous avons donc que :

Z
1 X f (w)
IQ = (z − a)n dw
2πi (w − a) n+1
n≥0 γQ
X 1 Z f (w)
= dw(z − a)n
2πi γQ (w − a)n+1
n≥0
X
IQ = Cn (z − a)n
n≥0

Nous pouvons désormais étudier l’intégrale IP .

Z
1 f (w)
IP = − dw
2πi γP w−z

nous pouvons modifier cete expresions pour faire apparaitre le point a :

1 1
=
w−z w − a − (z − a)
1 1
=
z − a w−a
z−a
−1
1 1
=−
z − a 1 − w−a
z−a
1 1
=− , θ < 1 car : |z − a| > |w − a|
w−a1−θ
 n
1 X w−a
=−
w−a z−a
n≥0

54
Nous avons donc que :

1
Z X (w − a)n
IP = f (w) dw
2πi γP (z − a)n+1
n≥0
Z
−n=l+1 1 X 1
= f (w) (z − a)l dw
2πi γP (w − a)l+1
l≤−1
Z
n=l 1 X 1
= f (w) (z − a)n dw
2πi γP (w − a)n+1
n≤−1
Z
X 1 f (w)
= dw(z − a)n
2πi γP (w − a)n+1
n≤−1
X
= Cn (z − a)n
n≤−1

Nous retrouvons donc bel et bien que :

f (z) = IQ + IP
X X
f (z) = Cn (z − a)n + Cn (z − a)n
n≥0 n≤−1

8.8 Définitions de points régulier et singulier

a ∈ C est régulier ⇐⇒ f ∈ H(Dr (a))
a ∈ C est singulier isolé ⇐⇒ f ∈ H(Dr (a)\{a})
a ∈ C est singulier essentiel ⇐⇒ ∀r > 0, f ∈
/ H(Dr (a)) a ∈ C est une singularité apparente ⇐⇒ ∀n ≤ 1, Cn = 0

X
f (z) = Cn (z − a)n
n≥1

8.8.1 Pôle d’ordre m

a ∈ C est un pôle d’ordre m ⇐⇒ ∃m > 0 tq : Cn = 0 , ∀n < −(m + 1)

X −m
X
f (z) = Cn (z − a)n + Cn (z − a)n
n≥0 n≥−1

Nous pouvons directement voir que :

lim (z − a)m f (z) = C−m

z→a

Propriétés :
Soit f (z) ∈ H(DR (a)) tq : f (a) = 0 un zéro isolé d’ordre m.
Alors,

f (z) ∈ H(DR (a)) tq : f (a) = 0 un zéro isolé d’ordre m

1
⇐⇒ ∈ H(Dr (a)\{a}) tq : a un pôle d’ordre m
f (z)

55
Chapitre 9
9 Les résidus
9.1 Définition des résidus
Soit f ∈ H(G ⊂ C) sauf en a,

A0,S (a) = {z ∈ C : 0 < |z − a| < S} , A0,S (a) ⊂ G

Supposons que la fonction ouisse s’exprimer par la forme :

X −1
X
f (z) = Cn (z − a)n + Cn (z − a)n , m > 0
n≥0 n≥−m

Lemme 1
Alors, nous pouvons exprimer le résidus de f au point a par :
Z
1
Res(f, a) = C−1 = f (z)dz
2πi γ

Avec , A0,S ⊃ γ : [0, 1] → G\{a} orienté positivement tel que : a ∈ I (γ)

Preuve :
Soit :
X −1
X
f (z) = Cn (z − a)n + Cn (z − a)n
n≥0 n≥−m

Dès lors, nous avons :

Z X Z −1
X Z
f (z)dz = Cn (z − a)n dz + Cn (z − a)n dz
γ n≥0 γ n≥−m γ

Définissons la courbe γ par :

γ ≡ a + reit , t ∈ [0, 2π[

Dès lors,
Z Z 2π
(z − a)n dz = rn eint rieit dt
γ 0
Z 2π
= irn+1 ei(n+1)t dt
0

Z  0 si : n + 1 6= 0
(z − a)n dz =
γ 
2πi si : n + 1 = 0

Or, si n + 1 = 0 ⇐⇒ n = −1. Nous avons donc :

Z Z
1
f (z)dz = 2πiC−1 ⇐⇒ C−1 = f (z)dz
γ 2πi γ

56
9.2 Théorème des résidus
Soit une fonction f ∈ H(G ⊂ C\{ai }ki=1 ) ou les {ai }ki=1 sont des singularités isolées. Nous allons définir une courbe
contenant ces singularités :

γ : [0, 1] → G\{ai }ki=1 , tq :γ ⊂ G

Avec,

{ai }ki=1 ⊂ I (γ)

Dès lors, par le théorème des résidus nous avons que :

Z k
X
f (z)dz = 2πi Res(f, al )
γ l=1

Preuve :
Pour tout l = 1, · · · , k on peut trouver un rayon rl > 0 tel que :

a)f ∈ H(Drl (al )\{al })

b)Drl (al ) ⊂ I (γ)
c)Drl (al ) ∩ Drj (aj ) = ∅ si l 6= j

/ I (γ̂)
Construisons la courbe γ̂ = γ ∪ γ1 ∪ γ2 ∪ γ3 ∪ · · · ⇒ {ai }ki=1 ∈

Dès lors nous pouvons voir que :

Z
f ∈ H(γ̂) ⇒ f (z)dz = 0
γ̂

Or, nous pouvons aussi écrire cette intégrale comme :

Z Z k Z
X
f (z)dz = f (z)dz − f (z)dz
γ̂ γ l=1 γl

Mais, par le lemme 1, nous savons que :

Z
(l)
f (z)dz = C−1 2πi
γl

Nous avons donc directement que :

Z k
X (l)
f (z)dz = C−1 2πi
γ l=1
k
X
= 2πi Res(f, al )
l=1

57
9.3 Calcul des résidus
9.3.1 Calcul d’un pôle simple

C−1 = Res(f, a) = lim (z − a)f (z)

z→a

Avec,
Z
1 X C−1
C−1 = f (z)dz et , f (z) = Cn (z − a)n +
2πi γ z−a
n≥0

Dès lors, nous pouvons voir que :

X
(z − a)f (z) = Cn (z − a)n+1 + C−1
n≥0

Et nous avons donc directement que :

lim (z − a)f (z) = C−1

z→a

9.3.2 Calcul d’un pôle double

Supposons une fonction f complexe de la forme :
p(z)
f (z) =
q(z)
tel que :

p(a) 6= 0
q(a) = 0
q 0 (a) 6= 0

Dès lors, nous avons que le résidus vaut :

p(a)
C−1 =
q 0 (a)
Preuve :

C−1 = lim (z − a)f (z)

z→a
p(z)
= lim (z − a)
z→a q(z)
p(z)
= lim
z→a q(z)
z−a
p(z)
= lim
z→a q(z)−q(a)
z−a
p(a)
C−1 =
q 0 (a)

9.3.3 Calcul d’un pôle d’ordre m

Soit un fonction qui peut être dévelopée de la forme :
X C−n C−1
f (z) = Cn (z − a)n + + ··· + +
(z − a)n (z − a)
n≥0

Alors, nous avons que le résidus vaut :

d(m−1)
 
1 m
Res(f, a) = C−1 = lim (z − a) f (z)
z→a (m − 1)! dz (m−1)

58
9.4 Calcul d’intégrales réelles par les résidus
Commencons par montrer un lemme qui nous permettra de résoudre certaines intégrales.

Lemme 1
Soit une fonction f : R → R , ∃K > 0, C > 0, r > 1 tq :
C
|f (x)| ≤ , ∀|x| > K
|x|r
Corollaire :
Supposons deux point de l’axe réelle : A, |B| > K tq :
=cste
zZ }| {
Z A Z −K K Z A
f (x)dx = f (x)dx + f (x)dx + f (x)dx
B B −k K

Etudions la première intégrale, de B jusque −K

Nous pouvons utiliser le lemme 1 pour directement voir que :
 Z −K  Z −K
 

 f (x)dx ≤ |f (x)|dx
B B
Z −K
1
≤C
B |x|r
−K
|x|−r+1

=C
(−r + 1) B
 
C
= |−K|−r+1 − B −r+1
1−r
 
C 1 1
= −
1 − r K r−1 B r−1

La partie dépendante de K est donc une constante et la partie dépendante de B va tendre vers 0 lorsque B tend
vers l’infini.
 Z −K 
 
≤ C
 f (x)dx = T1

B
 (1 − r)K r−1

Etudions la dernière intégrale.

A A
Z  Z
 

 f (x)dx ≤ |f (x)|dx
K K
Z A
1
≤C
K |x|r
A
|x|−r+1

=C
(−r + 1) K
 
C −r+1 −r+1
= A −K
1−r
 
C 1 1
= −
1 − r Ar−1 K r−1

La partie dépendante de K est donc une constante et la partie dépendante de A va tendre vers 0 lorsque A tend
vers l’infini.
Z A 
 
 f (x)dx ≤ T2
 
K

59
Nous avons donc bien que :
A K
Z  Z 
   

 f (x)dx ≤ T1 + T2 +  f (x)dx
B −K

Nous pouvons donc directement dire que :

Z +∞
f (x)dx , existe et ne dépend pas de l’ordre des limites
−∞

Z A Z A
lim lim f (x)dx = lim lim f (x)dx
A→+∞ B→+∞ B B→+∞ A→+∞ B

Nous pouvons aussi dire que :

Z +∞ Z R
f (x)dx = lim f (x)dx
−∞ R→∞ −R

9.4.1 Intégrale sur l’axe réelle et contour circulaire

Soit une intégrale de la forme :
Z +∞
f (x)dx
−∞

Par exemple :
Z +∞
dx
−∞ (1 + x2 )(4 + x2 )

Posons :
1
f (z) = ∈ C , tq : f ∈ H(C\{±i, ±2i})
(1 + z 2 )(4 + z 2 )

60
Nous pouvons voir que notre courbe γ = [−R, R] ∪ γR
_
Si nous disons que R → +∞ alors, notre courbe γ va contenir l’entiereté de l’axe réel. De plus, nous avons que :
Z
f (z)dz = 2πi[Res(f, i) + Res(f, 2i)]
γ
Z R Z
dz
= + _ f (z)dz
−R (1 + z 2 )(4 + z 2 ) γR

Nous pouvons donc voir que :

Z R Z
dz
= 2πi[Res(f, i) + Res(f, 2i)] − _ f (z)dz
−R (1 + z 2 )(4 + z 2 ) γR
Z R Z
dz
⇒ lim = 2πi[Res(f, i) + Res(f, 2i)] − _ f (z)dz
R→∞ −R (1 + z 2 )(4 + z 2 ) γR
| {z }
→0

Nous avons donc au final que :

Z +∞
dz
= 2πi[Res(f, i) + Res(f, 2i)]
−∞ (1 + z 2 )(4 + z 2 )

Calcul du résidus en i
Nous pouvons réecrire f (z) tel que :
1
f (z) =
(−i + z)(i + z)(4 + z 2 )
Nous voyons donc que a = i est un pôle d’ordre 1. Dès lors,

C−1 = lim (z − i)f (z)

z→i
1
= lim
z→i (i + z)(4 + z 2 )
−i
=
6
Calcul du résidus en 2i
Nous pouvons réecrire f (z) tel que :
1
f (z) =
(1 + z 2 )(2i + z)(−2i + z)
Nous voyons donc que a = 2i est un pôle d’ordre 1. Dès lors,

C−1 = lim (z − 2i)f (z)

z→2i
1
= lim
z→i (1 + z 2 )(2i + z)
i
=
12
Nous avons donc :
Z +∞  
dx −i i
= 2πi +
−∞ (1 + x2 )(4 + x2 ) 6 12
 
−i
= 2πi
12
π
=
6

61
9.4.2 Intégrale sur un contour circulaire
Soit une intégrale de la forme :
R 2π 
I = 0 f (cos(x), sin(x))dx 
z + z −1 z − z −1
I  
dz
⇒I= f ,
2 2 iz
z = eix et dz = ieix dx γ


Par exemple :
3 
2π
z + z −1
Z I 
dz
I= cos3 (x)dx =
0 γ1 (0) 2 iz

Si nous développons notre expression nous aurons :

I
1 3 dz
I= (z + 3z + 3z −1 + z −3 )
γ1 (0) 8 iz
I  
1 3 1
= z 2 + 3 + 2 + 4 dz
8i γ1 (0) z z

Nou avons bel et bien que : z = 0 ∈ I (γ) un pôle simple. Dès lors,

I = 2πiRes(f, 0)

Or, notre fonction est déja exprimée sous forme d’une série de laurent. Mais, notre fonctionf (z) ne dépend pas
explicirement de terme de degré −1. Effectivement :
 
3 1
f (z) = z 2 + 3 + 2 + 4
z z
 
2 1 3 1
= z + 3 + C−1 + 2 + 4
z z z

Nous avons donc directement que :

Z 2π
C−1 = 0 ⇒ cos3 (x)dx = 0
0

9.4.3 Intégrale sur l’axe réelle et contour rectangulaire

Soit une intégrale de la forme :
+∞
eax
Z
I= dx avec , a ∈ [0, 1]
−∞ 1 + ex

Nous pouvons montrer que cette intégrale respecte bien le lemme vu précédemment :
Z +∞ ax Z ∞
e −1
x
dx ≤ eax e−x dx =
0 1 + e 0 a −1
Z 0 ax Z 0
e 1 1
x
dx ≥ eax dx =
−∞ 1 + e 2 −∞ 2a

Cette fonction est bien holomorphe sur C\{iπ + 2kπ}

Nous pouvons définir les résidus par :

p(z)
Res(f, zk ) = lim (z − zk )f (z) = = −ea(1+2k)πi
z→zk q 0 (zk )

62
Définissons la courbe γR = [−R, R] ∪ γ1 ∪ [R + 2πi, −R + 2πi] ∪ γ2

A l’intérieur de la courbe γR ne se trouve que une singularité : z0 = iπ

Z
f (z)dz = 2πiRes(f, z0 )
γR

eaiπ
= 2πi
−1
= −2πieaiπ

Nous puvons aussi écrire que :

Z R 2π −R 0
ea(R+it) it ea(t+2πi) ea(−R+it) it
Z Z Z Z
f (z)dz = f (x)dx + dt + dt + dt
γR −R 0 1 + e(R+it) R 1 + e(t+2πi) 2π 1 + e(−R+it)

Dès lors, nous avons que :

R 2π Z 0 a(−R+it)
ea(R+it) it
Z Z
e it
−2πieaiπ = (1 − e2aπi ) f (x)dx + dt + dt
−R 1 + e(R+it) 2π 1 + e
(−R+it)
|0 {z } | {z }
→0 →0

Effectivement,
2π
ea(R+it) it 
Z   a(R+it) 
  e it 
 dt ≤ l γ1 max 

0 1 + e(R+it)  t∈[0,2π]  1 + e(R+it) 

eaR R→+∞
≤ 2π −→ 0
eR −1
idem,
0
ea(−R+it) it  e−aR
Z 
 R→+∞
 dt ≤ 2π −→ 0

2π 1 + e(−R+it)  1 − e−R

Nous avons donc finalement que :

+∞
−2πieaiπ
Z
f (x)dx =
−∞ 1 − e2aπi
−2πi
= −aiπ
e − eaiπ
Z +∞ ax
e π
x
dx =
−∞ 1 + e sin(aπ)

63