Académique Documents
Professionnel Documents
Culture Documents
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é).
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
a °1 = lim (z ° z 0 ) f (z).
z!z 0
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
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)
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
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