Vous êtes sur la page 1sur 10

Chapitre 8

Calcul des résidus

Le théorème des résidus en analyse complexe est un outil puissant pour éva-
luer des intégrales curvilignes de fonctions analytiques sur des courbes fermées ;
il peut aussi bien être utilisé pour calculer des intégrales de fonctions réelles ainsi
que la somme de certaines séries. Il généralise le théorème intégral de Cauchy et
la formule intégrale de Cauchy.

Soit f (z) une fonction analytique au voisinage de z 0 , sauf pour z = z 0 que l’on
suppose une singularité isolée. Nous avons la série de Laurent :
1
X
f (z) = a n (z ° z 0 )n 0 < |z ° z 0 | < R.
n=°1
a °2 a °1
= ···+ 2
+ + a 0 + a 1 (z ° z 0 ) + · · ·
(z ° z 0 ) (z ° z 0 )1

1 f (z)

où an = dz
2º i (z ° z 0 )n+1
C
Ici C est une courbe fermée, contenant z 0 à l’intérieur du voisinage (et ne contenant
aucune autre singularité).

Dans le cas particulier où n = °1, le coefficients a°1 s’appelle le résidu de


f (z) au point z 0 et on écrit

déf.
a °1 = Rés ( f (z) ; z = z 0 ).

Nous avons
1

déf.
Rés ( f (z) ; z = z 0 ) = a °1 = f (z) d z
2ºi
C

81
Par conséquent, nous avons, pour une seule singularité z 0 :

f (z) d z = 2 º i · a °1 = 2 º i · Rés ( f (z) ; z = z 0 )
C

Le calcul se fait différemment selon que la singularité z 0 est un pôle ou une singu-
larité essentielle.

82
8.1 Calcul du résidu pour un pôle
Théorème 8.1. Si z 0 est un pôle d’ordre m alors

1 d m°1
a °1 = lim (z ° z 0 )m f (z)
(m ° 1) ! z!z0 d z m°1

Notons que si z 0 est un pôle d’ordre m = 1 alors

a °1 = lim (z ° z 0 ) f (z).
z!z 0

Preuve. Puisque z 0 est un pôle d’ordre m alors la série de Laurent devient


a °m a °m+1 a °1
f (z) = m
+ m°1
+···+ + a 0 + a 1 (z ° z 0 ) + · · ·
(z ° z 0 ) (z ° z 0 ) (z ° z 0 )
(z ° z 0 )m f (z) = a °m + a °m+1 (z ° z 0 ) + · · · a °2 (z ° z 0 )m°2 + a °1 (z ° z 0 )m°1 + a 0 (z ° z 0 )m
+a 1 (z ° z 0 )m+1 + · · ·

Ainsi en dérivant de façon successive, nous avons :


µ ∂
d1 m
(z ° z 0 ) f (z) = a °m+1 + · · · (m ° 2)a °2 (z ° z 0 )m°3 + (m ° 1)a °1 (z ° z 0 )m°2
d z1
+m a 0 (z ° z 0 )m°1 + (m + 1)a 1 (z ° z 0 )m + · · ·
µ ∂
d2
(z ° z 0 )m f (z) = · · · (m ° 2)(m ° 3)a °2 (z ° z 0 )m°4 + (m ° 1)(m ° 2)a °1 (z ° z 0 )m°3
d z2
+m(m ° 1) a 0 (z ° z 0 )m°2 + (m + 1)ma 1 (z ° z 0 )m°1 + · · ·
µ ∂
d3
(z ° z 0 )m f (z) = · · · + (m ° 2)(m ° 3)(m ° 4)a °2 (z ° z 0 )m°5
d z3
+(m ° 1)(m ° 2)(m ° 3)a °1 (z ° z 0 )m°4
+m(m ° 1)(m ° 2) a 0 (z ° z 0 )m°3 + (m + 1)m(m ° 1)a 1 (z ° z 0 )m°2 + · · ·
..
.
µ ∂
d m°1 m
(z ° z 0 ) f (z) = (m ° 1)! a °1 + m! a 0 (z ° z 0 ) + · · ·
d z m°1

Par conséquent
µ ∂
d m°1 m
lim (z ° z 0 ) f (z) = (m ° 1)! a °1
z!z 0 d z m°1

83
D’où
µ ∂
1 d m°1 m
a °1 = lim (z ° z 0 ) f (z)
(m ° 1)! z!z0 d z m°1

84
z
Exemple 8.1. La fonction f (z) = possède deux singularités en z 0 =
(z ° 1)(z + 1)2
1 et z 1 = °1 qui sont respectivement des pôles d’ordre 1 et 2. Ainsi le résidu pour
chacune des singularités est :
• Pour z 0 = 1

1 d 1°1 ≥ 1 z 1
Rés( f (z), z = 1) = lim (z ° 1) =
(1 ° 1)! z!1 d z 1°1 (z ° 1)(z + 1)2 4
• Pour z 1 = °1
∏ ∏
1 d h 2 z d h z 1
Rés( f (z), z = °1) = lim (z+1) 2
= lim =°
(2 ° 1)! z!°1 d z (z ° 1)(z + 1) z!°1 d z z ° 1 4

85
8.2 Calcul d’un résidu à l’aide de la série de Laurent
La technique consiste à développer la fonction f (z) en série de Laurent et de
déduire la valeur du coefficient a°1 . Cette technique est valable autant pour un pôle
que pour une singularité essentielle.

Exemples
1
1. Le résidu la fonction f (z) = z e z , au point z 0 = 0 (singularité essentielle),
1
est car
2
1 1
z e 1/z = z + 1 + + +··· , 0 < |z| < 1
2 z 3! z 2
Donc
1
1 1

= z e z dz
2 2ºi
|z|=1

sin(z)
2. Le résidu la fonction f (z) = , au point z 0 = 0 (pôle d’ordre 2), est 0
z3
car
sin(z) 1 X 1 (°1)n z 2 n+1 X1 (°1)n z 2 n°2
= =
z3 z 3 n=0 (2 n + 1)! n=0 (2 n + 1)!
1 1
= + +···
z2 6

(z 3 + z 2 + 2 z + 1) cos(º z)
3. Le résidu la fonction f (z) = , au point z 0 = 1
(z ° 1)(z ° 2)
(pôle d’ordre 1), est 5 car

1 d 1°1 h (z 3 + z 2 + 2 z + 1) cos(º z) i
a °1 = lim 1°1 (z ° 1)1 =5
(1 ° 1)! z!1 d (z ° 1)(z ° 2)

Théorème 8.2. Théorème des résidus
Supposons que f (z) soit analytique à l’intérieur et sur une courbe fermée C , sauf
aux points z 1 , z 2 , z 3 , . . . , z n qui sont des singularités isolées. Alors
n
X

f (z) d z = 2 º i · Rés ( f (z) ; z = z i )
i =1
C

Preuve. Soit

86
° = C [C 1 [C 2 · · · [ C n

z2 •

C2 zn •
z1 •
Cn
C1

Considérons le domaine à l’intérieur de C pour lequel on enlève tous les do-


maines entourant les singularités. Par conséquent la fonction f (z) est analytique à
l’intérieur de ° et sur la frontière de °. Ainsi nous avons par le théorème de Cauchy

0 = f (z) d z
°
n
X
‰ ‰
= f (z) d z ° f (z) d z
k=1
C Ck
Xn

= f (z) d z ° 2 º i Rés( f (z); z = z k ).
k=1
C
n
X

donc f (z) d z = 2ºi · Rés( f (z); z = z k ).
k=1
C

1

Exemple 8.2. Évaluez I = d z, où C est le cercle :
z (z ° 1)(z ° 3)
C
a) |z| = 2
b) |z| = 4.
Solution
Les singularités de la fonction

1
f (z) =
z (z ° 1)(z ° 3)

sont :z 0 = 0, z 1 = 1, z 2 = 3 ( tous des pôles d’ordre 1)

87
a) Pour le cercle |z| = 2, il y a seulement z 0 et z 1 qui sont à l’intérieur du
cercle. Donc
h 1 1 i º
2 º i · Rés( ; z 0 = 0) + Rés( ; z1 = 1 = ° i
z (z ° 1)(z ° 3) z (z ° 1)(z ° 3) 3
| {z } | {z }
(z°0)1
1 (z°1)1
1
1
= (1°1)! limz!0 z (z°1)(z°3) = 1
= (1°1)! limz!1 z (z°1)(z°3) =°
3 2
b) Pour |z| = 4, la singularité z 2 = 3 vient s’ajouter. Donc
h1 °1 1 i
I = 2ºi · +( ) + Rés( ; z2 = 3 = 0
3 2 z (z ° 1)(z ° 3)
| {z }
1 (z°3) 1 1
= (1°1)! limz!3 z (z°1)(z°3) =
6
tan(z)

Exemple 8.3. Évaluez I = d z.
z (z ° 3)
|z|=2
Solution
La singularité z 0 = 0 est à rejeter car c’est une singularité apparente puisque
tan(z)
lim =1 existe.
z!0 z
Ainsi nous n’avons que la singularité z 1 = 3 qui est un pôle d’ordre 1.
Par contre, comme
tan(z) sin(z)
f (z) = = ,
z (z ° 3) cos(z) z (z ° 3)
Les singularités sont
º
z 2 = 3, et ± + 2 k º, k 2 Z
2
En retenant que les singularités à l’intérieur du cercle |z| = 2, nous n’avons que
º º
z0 = , z1 = °
2 2
Ces singularité sont tous des pôles d’ordre 1 car
• Pour z 0 = º2
" º 1
#
1 d 1°1 (z ° 2 ) tan(z)
Rés( f (z) : z = z 0 ) = lim
(1 ° 1)! z! º2 d z 1°1 z(z ° 3)
º h i
(z ° 2 ) 1 1 º 1 º
= limº ° º + (z + ) + (z + )3 + · · ·
z! 2 z(z ° 3) (z ° 2 ) 3 2 45 2
°4
= 2
º ° 6º

88
• Pour z 1 = ° º2
" º 1
#
º 1 d 1°1 (z ° 2 ) tan(z)
Rés( f (z) : z = ° ) = lim
2 (1 ° 1)! z! °º
2
d z 1°1 z(z ° 3)
º h i
(z ° 2 ) 1 1 º 1 º 3
= limº ° + (z ° ) + (z ° ) + · · ·
z!° 2 z(z ° 3) (z ° º2 ) 3 2 45 2
°4
=
º2 + 6º
(z + º2 )1 tan(z) (z + º2 ) h 1 1 º 1 º i °4
limº = limº ° º + (z+ )+ (z+ )3 +· · · = 2 6= 0
z!° 2 z(z ° 3) z! 2 z(z ° 3) (z + 2 ) 3 2 45 2 º + 6º
Par conséquent
h °4 °4 i 16º i
I = 2ºi 2
+ 2
=
º ° 6º º + 6º °º2 + 36

La notion de résidus permet également de calculer la valeur de certaines inté-


grales.
Exemple 8.4. Par la méthode des résidus, nous savons que
1

dz = ºi
(z 2 ° 1)
|z°1|=1

En paramétrisant le cercle, nous avons


z(µ) = 1 + 1 · e i µ
dz = i ei µ d µ
z2 = (1 + e i µ )2 = 1 + 2 e i µ + e i 2 µ
z 2 ° 1 = e i µ (2 + e i µ )

Ainsi nous avons


2º 2º
i ei µ i (2 + e °i µ )
‰ ‰
ºi = dµ = dµ
0 e i µ (2 + e i µ ) 0 (2 + e i µ ) (2 + e °i µ )

2 + cos(µ) ° i sin(µ)

= i dµ
0 5 + 4 cos(µ)
2º 2º
2 + cos(µ) sin(µ)
‰ ‰
ºi = i dµ + dµ
0 5 + 4 cos(µ) 0 5 + 4 cos(µ)

89
Par comparaison des parties réelles et imaginaires, nous obtenons
‰ 2º ‰ 2º
2 + cos(µ) sin(µ)
dµ = º et dµ = 0
0 5 + 4 cos(µ) 0 5 + 4 cos(µ)

90

Vous aimerez peut-être aussi