CHAPITRE 4

Thorme des Rsidus

4.1 Rsidus
Dnition 4.1.1
Soit f : C Cune fonction analytique au point z
0
, et C =
_
z C
_
0 < |z z
0
| < r
_
(Disque
trou). On appelle rsidu de f au point z
0
, le ccient a
1
du dveloppement de Laurent de f
au voisinage de z
0
. Ce nombre est not Res( f, z
0
)
Remarque :
Soit
f (z) =

n=
a
n
(z z
0
)
n
= +
a
2
(z z
0
)
2
+
a
1
(z z
0
)
+ a
0
+ a
1
(z z
0
) + a
2
(z z
0
)
2
+
le dveloppement de Laurent de f au voisinage de z
0
, comme ce dveloppement existe
toujours pour les fonctions analytiques au voisinage de z
0
, donc a
1
existe toujours et
est FINI.
Trs important :
Dans lexemple prcdent on a trouv que
f (z) =
2
(z + 1)(z + 3)
=

n=0
(1)
n
z
n+1

n=0
(1)
n
z
n
3
n+1
=
1
z
2
+
1
z

1
3
+
z
3
2
+ . Cela ne
signie 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 :
f (z) =
2
(z + 1)(z + 3)
=
1
z + 1

1
z + 3
=

n=0
(1)
n
_
1
1
3
n+1
_
z
n
=
2
3

1
3
z +
donne Res( f, 0) = 0.
4.2 Rsidu linni
Si f admet un dveloppement de Laurent pour z trs grand, alors on peut toujours
dnir le rsidu de f au voisinage de linni. Considrons lexpression f (z) dz, si z est
23
au voisinage de linni alors
1
z
se trouve au voisinage de 0. Posons t =
1
z
; on a donc
f (z) dz =
1
t
2
f
_
1
t
_
dt, do la dnition :
Dnition 4.2.1
Soit f : C C une fonction analytique au point z
0
, et C =
_
z C
_
|z| > R, R > 0
_
. On
appelle rsidu de f linni, le nombre Res( f, ) = Res(g, 0) avec g(z) =
1
z
2
f
_
1
z
_
Remarque 4.2.1
Posons : f (z) =

a
n
z
n
=
1
z
2
f
_
1
z
_
=

nZ
a
n
z
n+2
Do lon tire : Res( f, ) = a
1
, et donc :
Res( f, 0) + Res( f, ) = 0
Remarque 4.2.2 Si f (z) se prsente sous la forme f (z) = g
_
1
z
_
alors ;
Res( f, ) = g

(0)
4.2.1 Points singuliers des fonctions analytiques
Soit f une fonction analytique dans un ensemble ouvert connexe :
=
_
z C
_
|z z
0
| < r r > 0
_
C; soit a un point frontire de , cest dire |a z
0
| = r.
Si f peut tre prolonger en une fonction analytique en a, on dira qualors que le point a
est un point rgulier, f est donc borne auvoisinage de a ; sinon cest un point singulier.
4.2.1.1 types de singularits
Soit le dveloppement de Laurent dune fonction f au voisinage de a.
f (z) =

n=0
c
n
(z a)
n
+

n=1
d
n
(z a)
n
.
Trois cas se prsentent alors :
1
er
Cas :
Tous les d
n
sont nuls. f est donc analytique en z = a. Le dveloppement de Laurent
concide avec la srie de Taylor au voisinage de a.
2
me
Cas :
Unnombre ni de d
n
nest pas nul. Soit alors mle plus grandentier positif tel que d
m
0.
Alors (za)
m
f (z) est analytique aupoint a. Ondira alors que a est une singularit dordre
m, ou ple dordre m; (ple simple, double, triple, . . . pour m = 1, 2, 3, . . . ).
3
me
Cas :
Un nombre inni de termes d
n
nest pas nul. a est appel singularit essentielle de f .
Pour tout entier positif m; (z a)
m
f (z) nest pas born au voisinage de a.
M
r
A N -E 24
4.2.2 Thorme des rsidus
Thorme 4.2.1
Soit un ouvert simplement connexe, et a
1
, a
2
, . . . , a
n
.
Soit

= / {a
1
, a
2
, . . . , a
n
} et
f :

C, analytique.
: [a, b]

, un lacet quelconque dans

.
alors
_

f (z) dz = 2i
n

k=1
Res( f, a
k
).I(a
k
, )
Preuve :
Posons D
k
=
_
z
_
0 < |z a
k
| < r
k
_
, on choisira r
k
aussi petit que possible de telle
manire que D
k
D
k
= pour k k

; et soit C
k
= D
k
\ {a
k
} .
f tant analytique dans C
k
admet donc un dveloppement de Laurent dans cet en-
semble :
f (z) =

n=
c
n,k
(z a
k
)
n
=

n=0
c
n,k
(z a
k
)
n
+

n=1
c
n,k
(z a
k
)
n
=

n=0
c
n,k
(z a
k
)
n
+ u
k
(z).
Posons alors g(z) = f (z)
n

k=1
u
k
(z) , donc :
g est analytique dans

.
Si z C
k
g(z) =
_
f (z) u
k
(z)
_

j = 1
j k
u
j
(z)
comme pour j k le point a
k
est rgulier pour u
j
(z), il lest aussi pour
n

j = 1
j k
u
j
(z) ; dautre
part, par dnition le point a
k
est rgulier pour f (z) u
k
(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
_

g(z) dz = 0,
do la formule.
4.2.2.1 Calcul pratique du rsidu dune fonction :
Soit f (z) =

n=
a
n
(z z
0
)
n
le dveloppement de Laurent de f au voisinage de z
0
.
Lintgrale de f le long dun lacet ne dpend donc que dun ccient dans le
dveloppement de Laurent ; qui est a
1
. On va montrer que dans beaucoup de cas on
peut dterminer ce ccient sans passer par le dveloppement de Laurent.
25 M
r
A N -E
On va distinguer deux cas.
1
er
Cas :z
0
est un ple simple.
Soit alors f (z) =
a
1
z z
0
+ a
0
+ a
1
(z z
0
) +
(z z
0
) f (z) = a
1
+ (z z
0
)a
0
+ a
1
(z z
0
)
2
+ = Res( f, z
o
) + (z z
0
)a
0
+ a
1
(z z
0
)
2
+
et par passage la limite, on obtient :
Res( f, z
o
) = lim
zz
0
(z z
0
) f (z). (4.1)
Si f (z) se prsente sous la forme,
f (z) =
P(z)
Q(z)
o Q(z
0
) = 0 et Q

(z
0
) 0, (4.2)
alors :
Res( f, z
0
) =
P(z
0
)
Q

(z
0
)
(4.3)
Remarque 4.2.3 Si a
1
= 0, la singularit est appele singularit apparente, ple appa-
rent, ou fausse singularit.
Exemple 4.2.1
f (z) =
sinz
z
, on a lim
z0
z. f (z) = 0 ; 0 est une singularit apparente de f .
On peut le voir immdiatement en utilisant le dveloppement de Laurent f .
On a, f (z) =
sinz
z
=
1
z

n=0
(1)
n
z
2n+1
(2n + 1)!
=

n=0
(1)
n
z
2n
(2n + 1)!
= 1
z
2
3!
+
z
4
5!

z
6
7!
+
On voit bien quil ny a pas du tout de singularit.
Exemple 4.2.2
Donnons le rsidu de f (z) =
e
z
2
z
3
+ 1
; au point z
0
= 1.
z
0
= 1 est un ple simple et f se prsente sous la forme (4.2) ; on a donc,
e
z
2
(z
3
+ 1)

=
e
z
2
3z
2
=Res( f, 1) =
e
(1)
2
3(1)
2
=
e
3

2
me
Cas :a est un ple multiple.
Soit m lordre de la singularit de z
0
. crivons :
f (z) =
a
m
(z z
0
)
m
+
a
m+1
(z z
0
)
m1
+ +
a
1
(z z
0
)
+ a
0
+ a
1
(z z
0
) + =
(z z
0
)
m
f (z) = a
m
+ a
m+1
(z z
0
) + a
m+2
(z z
0
)
2
+ + a
1
(z z
0
)
m1
+ a
0
(z z
0
)
m
+
En drivant jusqu lordre m 1, on obtient :
((z z
0
)
m
f (z))
(m1)
= (m 1)!a
1
+ a
0
(m 1)!(z z
0
) + ;
do lon obtient :
Res( f, z
0
) =
1
(m 1)!
lim
zz
0
_
(z z
0
)
m
f (z)
_
(m1)
. (4.4)
Cette formule est intressante seulement quand lordre est 2 ou 3 la limite. Si
lordre est grand 4 ou plus, mieux faut utiliser le dveloppement de Laurent.
M
r
A N -E 26
Remarque 4.2.4 Dans le cas o f (z) est le rapport de deux fonctions g(z) et h(z) ayant z
0
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 z
0
.
Exemple 4.2.3
Trouver le rsidu au point z
0
= 0 de la fonction f (z) =
1
z
2
cos(z 1)
; 0 est un ple
dordre 2 ; on a :
Res( f, 0) =
1
1!
lim
z0
((z
2
f (z))

= lim
z0
_
1
cos(z 1)
_

= lim
z0
_
sin(z 1)
cos
2
(z 1)
_
=
sin1
cos
2
1

Exemple 4.2.4
Trouver le rsidu au point z
0
= i de la fonction f (z) =
cos z
(z
2
+ 1)
3
; i est un ple dordre
3 ; on a :
Res( f, i) =
1
2!
lim
zi
((z i)
3
f (z))

=
1
2
lim
zi
_
cos z
(z + i)
3
_

=
1
2
lim
zi
_
(z + i) sinz 3 cos z
(z + i)
4
_

=
1
2
lim
zi
_
6(z + i)
2
sinz + (12 (z + i)
2
) cos z
(z + i)
5
_
=
(3 sh1 4 ch1) i
16

Exemple 4.2.5
Trouver le rsidu au point z
0
= 0 de la fonction f (z) =
1 + z
10
z
6
(4 + z)
; 0 est un ple dordre
6 ;
Inutile de prciser quon nutilisera pas la formule (4.4). On utilisera directement le
dveloppement de Laurent.
f (z) =
1 + z
10
z
6
(4 + z)
=
1
4z
6

1 + z
10
(1 + z/4)
=
1
4z
6
(1+z
10
)(1z/4+z
2
/4
2
z
3
/4
3
+ +(1)
n
z
n
/4
n
+ ).
Dans ce produit, seul le ccient de z
5
est utile, et qui est 1/4
5
.
Do Res( f, 0) = 1/4 (1)/4
5
=
1
4
6
=
1
4096
.
Exemple 4.2.6
Trouver le rsidu au point z
0
= 0 de la fonction f (z) =
tgz z
(1 cos z)
2
; ici il nest pas facile
de dire directement lordre de la singularit ; on va utiliser la remarque (4.2.4).
f (z) =
tgz z
(1 cos z)
2
=
1
3
z
3
+
2
15
z
5
+
17
315
z
7
+
1
4
z
4

1
24
z
6
+
=
4
3

1
z
+
34
45
z +
1229
3780
z
3
+
0 est donc une singularit simple et on a Res( f, 0) =
4
3

Exemple 4.2.7
Trouver le rsidu au point z
0
= 0 de la fonction f (z) = z cos
2

z
.
On a f (z) = z cos
2

z
= z
1 + cos(2/z)
2
=
z
2
_

_
1 +

n=0
2
2n

2n
(2n)!z
2n
_

_
27 M
r
A N -E
= z
_
1

2
z
2
+ 1/3

4
z
4
2/45

6
z
6
+
_
= z

2
z
+

4
3z
3

2
6
45z
5
+
0 est donc une singularit essentielle, on a daprs ce dveloppement de Laurent que
Res( f, 0) =
2
.
4.3 Application du thorme des rsidus des calculs
dintgrales
4.3.1 Intgrale du type I =
_

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 {a
1
, a
2
, . . . , a
n
} o D contient le demi plan ferm
Imz 0, et les a
k
sont des points du demi-plan ouvert Imz > 0.
On considre alors un lacet , juxtaposition
1

2
de deux chemins suivants :

1
: t t, pour R t R.

2
: t Re
it
, pour 0 t .
O le nombre R est pris tel que R > |a
k
| pour tous les indices k ; il est immdiat que lon
a pour tout k, J(a
k
, ) = 1.
Le thorme des rsidus permet dcrire,
_
R
R
f (x) dx +
_

2
f (z) dz =
_

f (z) dz = 2i
n

k=1
Res( f, a
k
).
Si de plus,
lim
R
_

2
f (z) dz = 0,
par passage la limite on a donc :
_

f (x) dx = 2i
n

k=1
Res( f, a
k
). (4.5)
Premier cas :
f (z) =
P(z)
Q(z)
o P et Q sont des polynmes premiers entre eux. Aucun des zros de Q
ntant rel. Supposons en outre que lon ait,
deg Q 2 + deg P.
La formule (4.5) est valable, les a
k
tant les zros de Q tels que Ima
k
> 0.
Exemple 4.3.1 Calculer lintgrale :
I =
_

0
x
2
dx
(x
2
+ 1)(x
2
+ 9)

M
r
A N -E 28
Remarquons que I =
1
2
_

x
2
dx
(x
2
+ 1)(x
2
+ 9)
Posons alors,
f (z) =
1
2
z
2
(z
2
+ 1)(z
2
+ 9)

Ici on a P(z) = z
2
et Q(z) = 2(z
2
+ 1)(z
2
+ 9), et deg Q = 4 2 + deg P = 2 + 2 = 4.
les racines de Q(z) sont i, i, 3i et 3i, donc aucune nest relle, la formule (4.5) est donc
applicable.
Seuls i et 3i ont des parties imaginaires strictement positifs, do
I =
1
2
_

z
2
dz
(z
2
+ 1)(z
2
+ 9)
= 2i
_
Res( f, i) + Res( f, 2i)
_
i et 2i tant deux ples simples de f , appliquons la formule (4.3).
Pour le ple i on a :
Res( f, i) = lim
zi
(z i)
z
2
2(z
2
+ 1)(z
2
+ 9)
= lim
zi
z
2
(2(z
2
+ 1)(z
2
+ 9))

= lim
zi
z
2
2((2z)(z
2
+ 9) + (z
2
+ 1)(2z))
=
1
2(2i)(8)
=
1
32i

Pour le ple 3i on a :
Res( f, 3i) = lim
z3i
(z 3i)
z
2
2(z
2
+ 1)(z
2
+ 9)
= lim
z3i
z
2
(2(z
2
+ 1)(z
2
+ 9))

= lim
z3i
z
2
2((2z)(z
2
+ 9) + (z
2
+ 1)(2z))
=
9
2(6i)(8)
=
3
32i

Do,
I = 2i
_
1
32i
+
3
32i
_
=

8

Exemple 4.3.2 Calculer lintgrale :

I =
_

dx
x
2
+ 2ix + 2 4i

Posons f (z) =
1
z
2
+ 2iz + 2 4i
Les ples de f sont simples et on a z
1
= 1 + i et
z
2
= 1 3i, Im(z
2
) < 0, est rejeter.
Les conditions sont toutes vries, on a alors,
_

dx
x
2
+ 2ix + 2 4i
= 2iRes( f, 1 + i).
Res( f, 1+i) = lim
z1+i
(z1i) f (z) = lim
z1+i
(z1i)
1
z
2
+ 2iz + 2 4i
= lim
z1+i
1
2z + 2i
=
1
2 + 4i

Finalement,
I = 2i
1
2 + 4i
=
2
5
+ i

Remarquons que, f (x) =

1
x
2
+ 2ix + 2 4i
=
(x
2
+ 2) i(2x 4)
(x
2
+ 2)
2
+ (2x 4)
2
=
(x
2
+ 2) i(4 2x)
x
4
+ 8x
2
16x + 20
,
do lon dduit,
_

(x
2
+ 2)dx
x
4
+ 8x
2
16x + 20
=
2
5
,
_

(4 2x)dx
x
4
+ 8x
2
16x + 20
=

5

29 M
r
A N -E
Deuxime cas :
f (z) =
P(z)
Q(z)
e
imz
, m > 0; o P et Q sont des polynmes premiers entre eux. Aucun des
zros de Q ntant rel. Supposons en outre que lon ait,
deg Q 1 + deg P.
La formule (4.5) est valable, les a
k
tant les zros de Q tels que Ima
k
> 0.
Exemple 4.3.3 calculer lintgrale
I =
_

sinx dx
x
2
+ 2x + 2

Soit f (z) =
e
iz
z
2
+ 2z + 2
, on a deux ples simples z
1
= 1 + i, et z
2
= 1 i ce dernier est
rejeter.
On a donc Res( f, 1 + i) = lim
z1+i
(z + 1 i) f (z) = lim
z1+i
(z + 1 i)
e
iz
z
2
+ 2z + 2
=
e
1i
2i

Finalement,
_

e
ix
dx
x
2
+ 2x + 2
= 2i
e
1i
2i
= e
1i
= e
1
(cos 1i sin1) do lon dduit,
I =
_

sinx dx
x
2
+ 2x + 2
= e
1
sin1,
J =
_

cos x dx
x
2
+ 2x + 2
= e
1
cos 1.
4.3.2 Intgrale du type I =
_

R(cos , sin) d
Soit R(x, y) une fonction rationnelle en x et en y qui na pas de ples sur le cercle
x
2
+ y
2
= 1, alors on a :
I =
_

R(cos , sin) d =
_
|z|=1
R
_
z + z
1
2
,
z z
1
2i
_
dz
iz
(4.6)
Lgalit (4.6) est justie par le changement de variables suivant :
z = e
i
= cos + i sin = z
1
= e
i
= cos i sin
do lon tire
cos =
z + z
1
2
, sin =
z z
1
2i
et dz = i e
i
d d =
dz
iz

Posons : f (z) =
1
iz
R
_
z + z
1
2
,
z z
1
2i
_
, on a alors :
I = 2i

Res
_
f (z), z
k
_
,
o la somme est tendue tous les ples de f (z) tels que |z
k
| < 1.
M
r
A N -E 30
Exemple 4.3.4 Calculer lintgrale
I =
_
2
0
d
a + b sin
, et a > |b|.
Rponse :
f (z) =
1
iz

1
a + b
z z
1
2i
=
2
bz
2
+ 2aiz b

Les ples de
2
bz
2
+ 2aiz b
sont obtenus en rsolvant bz
2
+ 2aiz b = 0 et sont donns
par,
z
1
=
a +

a
2
b
2
b
i et z
2
=
a

a
2
b
2
b
i,
seul z
1
est lintrieur du cercle, car |z
1
| =

a +

a
2
b
2
b

b
a +

a
2
b
2

< 1, car
a < |b|. Comme z
1
z
2
= 1, donc ncessairement |z
2
| > 1.
ce sont deux ples simples, le rsidu en z
1
est donc ;
Res( f, z
1
) = lim
zz
1
(z z
1
)
2
bz
2
+ 2aiz b
= lim
zz
1
2
2bz + 2ai
=
1
i

a
2
b
2
,
do I = 2i
1
i

a
2
b
2
nalement,
_
2
0
d
a + b sin
=
2

a
2
b
2
, et a > |b|.
Exemple 4.3.5 Calculer :
I =
_
2
0
cos n d
5 + 3 cos
, n N.
Rponse :
La formule de Moivre donne cos n =
z
n
+ z
n
2
, doensubstituant dans notre intgrale,
on a :
f (z) =
1
iz

z
n
+ z
n
2
5 + 3
z + z
1
2
= i
z
2n
+ 1
z
n
(3z
2
+ 10z + 3)

Ples de f :
z
0
= 0, est un ple dordre n.
3z
2
+10z +3 = (3z +1)(z +3) = 0, deux ples simples z
1
=
1
3
et z
2
= 3 ; seul z
2
= 3 a
un module suprieur 1, do :
I = 2i
_
Res
_
f (z), 0
_
+ Res
_
f (z), 1/3
__
.
Calcul des rsidus :
Pour z
1
= 1/3, il sagit dun ple simple, donc ;
31 M
r
A N -E
Res
_
f (z), 1/3
_
= lim
z1/3
(z+1/3)
i(z
2n
+ 1)
z
n
(3z + 1)(z + 3)
= lim
z1/3
i(z
2n
+ 1)
3z
n
(z + 3)
= i(1)
n
1 + 3
2n
8.3
n

Pour z
0
= 0, qui est un ple dordre n, il est prfrable de faire le dveloppement de
Laurent de f au voisinage de 0.
Remarquant que f (z) = i
z
2n
+ 1
z
n
(3z
2
+ 10z + 3)
= i
z
n
(3z
2
+ 10z + 3)
i
1
z
n
(3z
2
+ 10z + 3)

Comme 0 nest pas un ple de i

z
n
(3z
2
+ 10z + 3)
, donc Res
_
i
z
n
(3z
2
+ 10z + 3)
, 0
_
= 0.
Do Res
_
f (z), 0
_
= Res
_
i
1
z
n
(3z
2
+ 10z + 3)
, 0
_
.
On a i
1
z
n
(3z
2
+ 10z + 3)
=
1
z
n
i
3z
2
+ 10z + 3
=
i
z
n
_
9
24

1
1 + 3z

1
24

1
1 + z/3
_
. Un dve-
loppement en srie entire au voisinage de zro donne :
9
24

1
1 + 3z

1
24

1
1 + z/3
=
9
24

n=0
(1)
n
3
n
z
n

1
24

n=0
(1)
n
(z/3)
n
=
1
24

n=0
(1)
n
_
3
n+2

1
3
n
_
z
n
, o |z| <
1
3

Do lon tire que ;

Res
_
f (z), 0
_
=
i
24
(1)
n1
_
3
n+1

1
3
n1
_
.
Finalement ;
I = 2i
_
i
24
(1)
n1
_
3
n+1

1
3
n1
_
i(1)
n
1 + 3
2n
8.3
n
_
=

2
(1)
n
3
n

I =
_
2
0
cos n d
5 + 3 cos
=

2

(1)
n
3
n
, n N.
4.3.3 Intgrale du type I =
_

0
x
1
Q(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
x

|Q(x)| = 0.
Si Q = P/S ou P et S sont deux polynmes, on a deg P < deg S .
On va considrer cette fois la fonction
f (z) = (z)
1
Q(z)
(z)
1
= e
(1) Log(z)
ou Arg(Log(z)) ] , [.
On considre le lacet , juxtaposition
1

2

3

4
de quatre chemins

1
(t) = e
it
pour r t R

2
(t) = Re
it
pour t 2

3
(t) = e
it
pour R t r

4
(t) = r e
i(2t)
pour t 2 .
I =
_

0
x
1
Q(x) dx =

sin

Res
_
(z)
1
Q(z), z
k
_
o la somme est tendue tous les ples de la fraction R(z).
M
r
A N -E 32
Exemple 4.3.6 Calculer lintgrale
I =
_

0
dx
3

x(1 + x)

Rponse :
Ici on a 1 =
1
3
et donc = 2/3. On a ici Q(z) =
1
z + 1
, un seul ple z = 1.
I =
_

0
dx
3

x(1 + x)
=

sin(2/3)
Res
_
(z)
1/3
Q(z), 1
_
.
Res
_
(z)
1/3
1
z + 1
, 1
_
= lim
z1
(z + 1)(z)
1/3
1
z + 1
= 1,
I =

sin(2/3)
=

3/2
=
2

3
2

4.3.4 Intgrale du type I =
_

0
Q(x) Logx dx.
Q une fraction rationnelle nayant pas de ple rel positif ou nul, Q(0) 0 et telle que
lim
x
xQ(x) = 0.
En gardant le lacet prcdent et en considrant le fonction f (z) = Q(z) Log
2
z.
Les intgrales sur
2
et
4
tendent vers zro lorsque r 0 et R .
Et la limite quand 0, logz = Logx sur
1
, et Log z = Logx + 2i sur
3
.
On obtient ainsi la relation,
_

0
Q(x) Log
2
x dx
_

0
Q(x)(Logx + 2i)
2
dx = 2i

Res
_
Q(z) Log
2
z
_
,
do
2
_

0
Q(x) Logx dx 2i
_

0
Q(x) dx =

Res
_
Q(z) Log
2
z
_
.
La somme est tendue tous les ples de la fraction Q(z).
Dans le cas o, Q est une fonction relle, on obtient deux intgrales.
_

0
Q(x) Logx dx =
1
2
Re
_

Res
_
Q(z) Log
2
z
_ _
,
_

0
Q(x) dx =
1
2
Im
_

Res
_
Q(z) Log
2
z
_ _
.
Remarque 4.3.1 En intgrant la fonction Q(z) Logz, on obtiendrait de la mme manire la
formule
_

0
Q(x) dx =

Res
_
Q(z) Logz
_
.
Posons I
n
=
_

0
Q(x) Log
n
x dx, en intgrant la fonction Q(z) Log
n+1
z, on obtiendrait une
relation de rcurrence entre I
n
, I
n1
, , I
1
, et I
0
.
n

p=0
(2i)
np

p
n+1
I
p
=

Res
_
Q(z) Log
n+1
z
_
.
33 M
r
A N -E
Exemple 4.3.7 Calculer :
I =
_

0
Logx dx
(x + 1)
3

Rponse :
Ici Q(x) =
1
(x + 1)
3
, toutes les conditions sont vries, do
_

0
Log
2
x
(x + 1)
3
dx
_

0
(Log x + 2i)
2
(x + 1)
3
dx = 2iRes
_
1
(z + 1)
3
Log
2
z, 1
_
,
ou encore,

_

0
4i Logx 4
2
(x + 1)
3
dx = 2iRes
_
1
(z + 1)
3
Log
2
z, 1
_
.
Comme 1 est un ple triple, pour le rsidu on a donc,
Res
_
1
(z + 1)
3
Log
2
z, 1
_
=
1
2!
lim
z1
_
(z + 1)
3
_
1
(z + 1)
3
Log
2
z
__

=
1
2!
lim
z1
_
Log
2
z
_

= lim
z1
1 Log z
z
2
=
1 Log(1)
(1)
2
=
1 (0 + i)
1
= 1 i.
Finalement,
4i
_

0
Logx
(x + 1)
3
dx + 4
2
_

0
dx
(x + 1)
3
= 2i(1 i) = 2i + 2
2
.
Conclusion,
_

0
Logx dx
(x + 1)
3
=
1
2
_

0
dx
(x + 1)
3
=
1
2

M
r
A N -E 34