3 Théorème Des Résidus
3 Théorème Des Résidus
3 Théorème Des Résidus
blog
spot.com
CHAPITRE 4
Thorme des Rsidus
4.1 Rsidus
Dfinition 4.1.1
n
.
o
Soit f : C C une fonction analytique au point z0 , et C = z C 0 < |z z0 | < r (Disque
trou). On appelle rsidu de f au point z0 , le cfficient a1 du dveloppement de Laurent de f
au voisinage de z0 . Ce nombre est not Res( f, z0)
Remarque :
Soit
X
an (z z0 )n = +
f (z) =
n=
a1
a2
+
+ a0 + a1 (z z0 ) + a2 (z z0 )2 +
2
(z z0 )
(z z0 )
X
(1)n X (1)n zn
2
1
1 1
z
f (z) =
=
= 2 + + 2 + . Cela ne
n+1
n+1
(z + 1)(z + 3)
z
3
z
z 3 3
n=0
n=0
signifie pas que Res( f, 0) = 1, car ce dveloppement ne se fait pas au voisinage de 0
mais dans une couronne qui nest pas un disque trou.
Par contre :
X
2
1
2 1
1
1
f (z) =
(1)n 1 n+1 zn = z +
=
=
(z + 1)(z + 3) z + 1 z + 3 n=0
3 3
3
donne Res( f, 0) = 0.
www.stsmsth.blog
spot.com
1
1
au voisinage de linfini alors se trouve au voisinage de 0. Posons t = ; on a donc
z
z
1 1
f (z) dz = 2 f
dt, do la dfinition :
t
t
Dfinition 4.2.1
n
.
o
Soit f : C C une fonction analytique au point z0 , et C = z C |z| > R, R > 0 . On
1 1
appelle rsidu de f linfini, le nombre Res( f, ) = Res(g, 0) avec g(z) = 2 f
z
z
Remarque 4.2.1
X
X a
1 1
n
n
Posons : f (z) =
an z = 2 f
=
n+2
z
z
z
nZ
Do lon tire : Res( f, ) = a1 , et donc :
Res( f, 0) + Res( f, ) = 0
1
alors ;
Remarque 4.2.2 Si f (z) se prsente sous la forme f (z) = g
z
Res( f, ) = g (0)
X
n=0
cn (z a) +
n
X
n=1
dn
.
(z a)n
24
www.stsmsth.blog
spot.com
Thorme 4.2.1
Soit un ouvert simplement connexe, et a1 , a2 , . . . , an .
Soit = / {a1 , a2 , . . . , an } et
f :
C,
analytique.
: [a, b]
alors
Z
f (z) dz = 2i
n
X
Res( f, ak ).I(ak , )
k=1
Preuve :
n
.
o
Posons Dk = z 0 < |z ak | < rk , on choisira rk aussi petit que possible de telle
manire que Dk Dk = pour k , k ; et soit Ck = Dk \ {ak } .
f tant analytique dans Ck admet donc un dveloppement de Laurent dans cet ensemble :
f (z) =
n=
cn,k (z ak ) =
n
X
n=0
n
X
cn,k (z ak ) +
n
X
n=1
X
cn,k
=
cn,k (z ak )n + uk (z).
(z ak )n n=0
uk (z) , donc :
k=1
X
Si z Ck g(z) = f (z) uk (z)
u j (z)
j=1
j,k
comme pour j , k le point ak est rgulier pour u j (z), il lest aussi pour
n
X
u j (z) ; dautre
j=1
j,k
part, par dfinition le point ak est rgulier pour f (z) uk (z) donc il lest pour g. on
peut donc prolonger g en une fonction analytique dans tout entier, comme est
simplement connexe, le thorme de Cauchy donne
Z
g(z) dz = 0,
do la formule.
4.2.2.1 Calcul pratique du rsidu dune fonction :
Soit f (z) =
n=
Lintgrale de f le long dun lacet ne dpend donc que dun cfficient dans le
dveloppement de Laurent ; qui est a1 . On va montrer que dans beaucoup de cas on
peut dterminer ce cfficient sans passer par le dveloppement de Laurent.
25
M r A N -E
www.stsmsth.blog
spot.com
(4.1)
P(z)
Q(z)
Q(z0 ) = 0
et Q(z0 ) , 0,
(4.2)
alors :
Res( f, z0) =
P(z0 )
Q (z0 )
(4.3)
Remarque 4.2.3 Si a1 = 0, la singularit est appele singularit apparente, ple apparent, ou fausse singularit.
Exemple 4.2.1
sin z
, on a lim z. f (z) = 0 ; 0 est une singularit apparente de f .
z0
z
On peut le voir immdiatement en utilisant le dveloppement de Laurent f .
z2 z4 z6
sin z 1 X (1)n z2n+1 X (1)n z2n
=
=
= 1 + +
On a, f (z) =
z
z n=0 (2n + 1)!
(2n + 1)!
3! 5! 7!
n=0
On voit bien quil ny a pas du tout de singularit.
f (z) =
Exemple 4.2.2
2
ez
; au point z0 = 1.
z3 + 1
z0 = 1 est un ple simple et f se prsente sous la forme (4.2) ; on a donc,
2
2
2
ez
ez
e(1)
e
= 2 = Res( f, 1) =
=
3
2
(z + 1)
3z
3(1)
3
2me Cas :a est un ple multiple.
Soit m lordre de la singularit de z0 . crivons :
am
am+1
a1
f (z) =
+
+ +
+ a0 + a1 (z z0 ) + =
m
m1
(z z0 )
(z z0 )
(z z0 )
(z z0 )m f (z) = am + am+1 (z z0 ) + am+2 (z z0 )2 + + a1 (z z0 )m1 + a0 (z z0 )m +
En drivant jusqu lordre m 1, on obtient :
((z z0 )m f (z))(m1) = (m 1)!a1 + a0 (m 1)!(z z0 ) + ;
do lon obtient :
Donnons le rsidu de f (z) =
Res( f, z0) =
(m1)
1
lim (z z0 )m f (z)
.
(m 1)! zz0
(4.4)
26
www.stsmsth.blog
spot.com
Remarque 4.2.4 Dans le cas o f (z) est le rapport de deux fonctions g(z) et h(z) ayant z0
comme zros, alors il nest pas facile de donner immdiatement lordre de la singularit de f .
Dans ce cas, le procd le plus sr consiste dans le remplacement des fonctions g(z) et h(z) par
un certain nombre de termes de leurs dveloppements en srie de Taylor au voisinage de z0 .
Exemple 4.2.3
1
; 0 est un ple
cos(z 1)
dordre 2 ; on a :
!
!
sin(z 1)
1
1
sin 1
2
Res( f, 0) = lim ((z f (z)) = lim
= lim
=
2
z0 cos(z 1)
z0 cos (z 1)
1! z0
cos2 1
Trouver le rsidu au point z0 = 0 de la fonction f (z) =
z2
Exemple 4.2.4
cos z
; i est un ple dordre
(z2 + 1)3
3 ; on a :
!
!
(z + i) sin z 3 cos z
1
1
cos z
1
3
Res( f, i) = lim((z i) f (z)) = lim
= lim
2! zi
2 zi (z + i)3 ! 2 zi
(z + i)4
2
2
6(z + i) sin z + (12 (z + i) ) cos z
(3 sh 1 4 ch 1) i
1
=
= lim
5
2 zi
(z + i)
16
Trouver le rsidu au point z0 = i de la fonction f (z) =
Exemple 4.2.5
Trouver le rsidu au point z0 = 0 de la fonction f (z) =
1 + z10
; 0 est un ple dordre
z6 (4 + z)
6;
Inutile de prciser quon nutilisera pas la formule (4.4). On utilisera directement le
dveloppement de Laurent.
1 + z10
1 1 + z10
1
= 6
= 6 (1+z10 )(1z/4+z2 /42 z3 /43 + +(1)n zn /4n + ).
f (z) = 6
z (4 + z) 4z (1 + z/4) 4z
Dans ce produit, seul le cfficient de z5 est utile, et qui est 1/45.
1
1
Do Res( f, 0) = 1/4 (1)/45 = 6 =
.
4
4096
Exemple 4.2.6
tg z z
; ici il nest pas facile
(1 cos z)2
de dire directement lordre de la singularit ; on va utiliser la remarque (4.2.4).
1 3
2
17 7
z + z5 +
z +
tg z z
4 1 34
1229 3
3
15
315
f (z) =
=
= + z+
z +
2
1 4
1 6
(1 cos z)
3 z 45
3780
z z +
4
24
4
0 est donc une singularit simple et on a Res( f, 0) =
3
Exemple 4.2.7
X
2n 2n
1 + cos(2/z) z
2
On a f (z) = z cos2 = z
= 1 +
z
2
2
(2n)!z2n
n=0
Trouver le rsidu au point z0 = 0 de la fonction f (z) =
27
M r A N -E
ww w.stsmsth.b
!
log
=z 1
+ 1/3
2/45
+ = z
spo t2.c+o m
z2
z4
z6
z
3z3 45z5
0 est donc une singularit essentielle, on a daprs ce dveloppement de Laurent que
Res( f, 0) = 2 .
f (x) dx
On suppose que f soit la restriction R dune fonction f , qui est analytique dans un
ensemble ouvert de la forme D = D {a1 , a2 , . . . , an } o D contient le demi plan ferm
Im z 0, et les ak sont des points du demi-plan ouvert Im z > 0.
On considre alors un lacet , juxtaposition 1 2 de deux chemins suivants :
1 : t t,
pour R t R.
2 : t R eit , pour 0 t .
O le nombre R est pris tel que R > |ak | pour tous les indices k ; il est immdiat que lon
a pour tout k, J(ak , ) = 1.
Le thorme des rsidus permet dcrire,
Z
f (x) dx +
f (z) dz =
f (z) dz = 2i
n
X
Res( f, ak ).
k=1
Si de plus,
lim
f (z) dz = 0,
f (x) dx = 2i
n
X
Res( f, ak ).
(4.5)
k=1
Premier cas :
P(z)
f (z) =
o P et Q sont des polynmes premiers entre eux. Aucun des zros de Q
Q(z)
ntant rel. Supposons en outre que lon ait,
deg Q 2 + deg P.
La formule (4.5) est valable, les ak tant les zros de Q tels que Im ak > 0.
Exemple 4.3.1 Calculer lintgrale :
I=
M r A N -E
x2 dx
(x2 + 1)(x2 + 9)
28
www
Z.stsmst
1
x dx h.blog
Remarquons que I =
(x2
1)(x2
f (z) =
+ 9)
spot.com
Posons alors,
z2
1
2 (z2 + 1)(z2 + 9)
= lim
2
2
zi 2((2z)(z + 9) + (z + 1)(2z))
2(2i)(8) 32i
Pour le ple 3i on a :
z2
z2
Res( f, 3i) = lim (z 3i) 2
=
lim
z3i
2(z + 1)(z2 + 9) z3i (2(z2 + 1)(z2 + 9))
z2
9
3
=
=
= lim
2
2
z3i 2((2z)(z + 9) + (z + 1)(2z))
2(6i)(8) 32i
Do,
1
3
I = 2i
+
=
32i 32i
8
Exemple 4.3.2 Calculer lintgrale :
Z
dx
I=
2
x + 2ix + 2 4i
1
Posons f (z) = 2
Les ples de f sont simples et on a z1 = 1 + i et
z + 2iz + 2 4i
z2 = 1 3i, Im(z2 ) < 0, est rejeter.
Les conditions sont toutes vrifies, on a alors,
Z
dx
= 2iRes( f, 1 + i).
2
x + 2ix + 2 4i
Res( f, 1+i) = lim (z1i) f (z) = lim (z1i)
Finalement,
z1+i
z1+i
1
1
1
=
lim
=
z2 + 2iz + 2 4i z1+i 2z + 2i 2 + 4i
1
2
=
+i
2 + 4i
5
5
2
(x + 2) i(2x 4)
(x2 + 2) i(4 2x) ,
1
Remarquons que, f (x) = 2
=
=
x + 2ix + 2 4i (x2 + 2)2 + (2x 4)2 x4 + 8x2 16x + 20
do lon dduit,
Z
(x2 + 2)dx
2 ,
=
4
2
5
x + 8x 16x + 20
Z
(4 2x)dx
4
2
5
x + 8x 16x + 20
I = 2i
29
M r A N -E
www.stsmsth.blog
spot.com
Deuxime cas :
P(z) imz
e , m > 0; o P et Q sont des polynmes premiers entre eux. Aucun des
f (z) =
Q(z)
zros de Q ntant rel. Supposons en outre que lon ait,
deg Q 1 + deg P.
La formule (4.5) est valable, les ak tant les zros de Q tels que Im ak > 0.
Exemple 4.3.3 calculer lintgrale
Z
I=
eiz
sin x dx
+ 2x + 2
x2
Soit f (z) = 2
, on a deux ples simples z1 = 1 + i, et z2 = 1 i ce dernier est
z + 2z + 2
rejeter.
e1i
eiz
=
Z
sin x dx
I=
= e1 sin 1,
2
x + 2x + 2
Z
cos x dx
= e1 cos 1.
J=
2
x
+
2x
+
2
R(cos , sin ) d
Soit R(x, y) une fonction rationnelle en x et en y qui na pas de ples sur le cercle
x2 + y2 = 1, alors on a :
z + z1 z z1
I=
R(cos , sin ) d =
R
,
2
2i
|z|=1
Z
Res f (z), zk ,
o la somme est tendue tous les ples de f (z) tels que |zk | < 1.
M r A N -E
30
dz
iz
(4.6)
www.stsmsth.blog
spot.com
d
,
a + b sin
et a > |b|.
Rponse :
f (z) =
1
2
= 2
1
bz + 2aiz b
zz
a+b
2i
iz
2
Les ples de 2
sont obtenus en rsolvant bz2 + 2aiz b = 0 et sont donns
bz + 2aiz b
par,
a + a2 b2
a a2 b2
z1 =
i et z2 =
i,
b
b
a + a2 b2
b
seul z1 est lintrieur du cercle, car |z1 | =
< 1, car
=
a + a2 b2
b
a < |b|. Comme z1 z2 = 1, donc ncessairement |z2 | > 1.
ce sont deux ples simples, le rsidu en z1 est donc ;
Res( f, z1 ) = lim (z z1 )
zz1
bz2
2
2
1
,
= lim
=
+ 2aiz b zz1 2bz + 2ai i a2 b2
1
do I = 2i
finalement,
i a2 b2
Z 2
d
2
=
,
a + b sin
0
a2 b2
et a > |b|.
2
0
cos n d
,
5 + 3 cos
n N.
Rponse :
zn + zn
La formule de Moivre donne cos n =
, do en substituant dans notre intgrale,
2
on a :
zn + zn
1
z2n + 1
2
=
i
f (z) =
iz
zn (3z2 + 10z + 3)
z + z1
5+3
2
Ples de f :
z0 = 0, est un ple dordre n.
1
3z2 + 10z + 3 = (3z + 1)(z + 3) = 0, deux ples simples z1 = et z2 = 3 ; seul z2 = 3 a
3
un module suprieur 1, do :
I = 2i Res f (z), 0 + Res f (z), 1/3 .
Calcul des rsidus :
Pour z1 = 1/3, il sagit dun ple simple, donc ;
31
M r A N -E
w
ww.stsmi(z
sth+ 1).blog
1) o
si(z
pot+ .c
m 1+3
= i(1)
2n
2n
= lim
2n
z (3z + 10z + 3)
(3z + 10z + 3)
z (3z + 10z + 3)
!
zn
zn
, donc Res i 2
, 0 = 0.
Comme 0 nest pas un ple de i 2
(3z + 10z +!3)
(3z + 10z + 3)
1
Do Res f (z), 0 = Res i n 2
,0 .
z (3z + 10z + 3)
1
i
i 9
1
1
1
1
On a i n 2
= n 2
= n
9
1
1
1
9 X
1 X
=
(1)n 3n zn
(1)n (z/3)n
24 1 + 3z 24 1 + z/3 24 n=0
24 n=0
1
1
1 X
(1)n 3n+2 n zn , o |z| <
=
24 n=0
3
3
Do lon tire que ;
i
1
n1
n+1
Res f (z), 0 = (1)
3 n1 .
24
3
Finalement ;
!
2n
i
1
1
+
3
(1)n
=
I = 2i
(1)n1 3n+1 n1 i(1)n
24
3
8.3n
2 3n
z1/3
I=
2
0
cos n d
(1)n
= n ,
5 + 3 cos
2
3
I=
n N.
x1Q(x) dx.
est un rel strictement positif, R une fraction rationnelle nayant pas de ple rel
positif ou nul, et telle que Q(0) , 0 et lim x |Q(x)| = 0.
x
32
www.stsmsth.blog
spot.com
I=
dx
3
x(1 + x)
Rponse :
1
1
Ici on a 1 = et donc = 2/3. On a ici Q(z) =
, un seul ple z = 1.
3
z+1
Z
dx
=
I=
Res (z)1/3 Q(z), 1 .
3
sin(2/3)
x(1 + x)
0
1
1/3 1
Res (z)
, 1 = lim (z + 1)(z)1/3
= 1,
z1
z+1
z+1
2 3
=
=
I=
sin(2/3)
2
3/2
I=
Q une fraction rationnelle nayant pas de ple rel positif ou nul, Q(0) , 0 et telle que
lim xQ(x) = 0.
do
Q(x) Log x dx 2i
Q(x) dx =
Res Q(z) Log2 z .
Posons In =
(2i)np n+1 Ip =
33
Res Q(z) Logn+1 z .
M r A N -E
www.stsmsth.blog
I=
Rponse :
spot.com
Log x dx
(x + 1)3
1
, toutes les conditions sont vrifies, do
(x + 1)3
Ici Q(x) =
Z
Log2 x
dx
(x + 1)3
ou encore,
!
(Log x + 2i)2
1
2
dx = 2iRes
Log z, 1 ,
(x + 1)3
(z + 1)3
!
4i Log x 42
1
2
dx = 2iRes
Log z, 1 .
(x + 1)3
(z + 1)3
M r A N -E
Log x dx
(x + 1)3
Z0
dx
(x + 1)3
0
34
=
=
1
2