cole Nationale Suprieure de Gologie

Cours de premire anne

Outils Mathmatiques pour

lIngnieur
Analyse Complexe

Benot Marx, Matre de Confrences lUniversit de Lorraine

Table des matires

1 Fonctions dune variable complexe
1.1 Rappels sur les nombres complexes . . . . . . . . .
1.2 Fonction dune variable complexe . . . . . . . . . .
1.3 Fonctions multivalentes . . . . . . . . . . . . . . . .
1.4 Limite dune fonction de la variable complexe . . .
1.5 Drivabilit dune fonction de la variable complexe .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

1
1
2
4
5
6

2 Intgration des fonctions de la variable complexe

2.1 Prliminaires . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Ingalit fondamentale . . . . . . . . . . . . . . . . . . .
2.3 Intgration indpendante du chemin . . . . . . . . . . . .
2.4 Intgrales de Cauchy . . . . . . . . . . . . . . . . . . . .
2.4.1 Intgrale de fonctions sans singularit . . . . . . .
2.4.2 Intgrale de fonctions ayant des singularits . . .
2.5 Quelques exemples dapplication . . . . . . . . . . . . . .

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

9
9
10
13
14
15
16
19

3 Sries entires et rsidus

3.1 Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . .
3.2 Sries de Laurent . . . . . . . . . . . . . . . . . . . . . .
3.3 Thorme des rsidus . . . . . . . . . . . . . . . . . . . .
3.4 Quelques applications du calcul de rsidus . . . . . . . .
3.4.1 Calcul dintgrales de fractions rationnelles . . . .
3.4.2 Calcul dintgrales de fonctions trigonomtriques .
3.4.3 Calcul de sommes de sries . . . . . . . . . . . . .
3.4.4 Calcul dintgrales relles sur un axe . . . . . . .
3.4.5 Calcul dintgrales de fonctions multivalentes . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

21
21
23
26
28
28
29
30
32
32

4 Sujets de travaux dirigs

TD1. Limite, Drivation et Intgrales de Cauchy . . . . . . . . . . . . . . . . . .
TD2. Intgrales de Cauchy (suite) et Rsidus . . . . . . . . . . . . . . . . . . . .
TD3. Rsidus, Sries de Laurent et de Taylor . . . . . . . . . . . . . . . . . . .

35
37
38
39

iii

.
.
.
.
.

.
.
.
.
.

Chapitre 1
Fonctions dune variable complexe
1.1

Rappels sur les nombres complexes

Toute lalgbre des nombres complexes est fonde sur lexistence dun nombre i ayant
la proprit suivante
i2 = 1
Tout nombre z du corps des complexes C se dfinit comme une combinaison linaire du
couple (1, i)
z C, z = x + iy, x, y R
(1.1)
les rels x et y sont respectivement appels parties relle et imaginaire du nombre complexe z, notes x = <(z) et y = =(z). Cette reprsentation dun nombre complexe est
dite cartsienne. On peut galement reprsenter un nombre complexe en utilisant les
coordonnes polaires, dans ce cas on a :
z = rei = r(cos + i sin ), r R+ , R

(1.2)

Le module, not r = |z|, est la distance entre z et lorigine. Largument, not = Arg(z),
est langle entre le vecteur port par la droite des rels et le vecteur form par z. Un
point du plan complexe peut avoir une infinit de coordonnes, car largument est dfini
modulo 2. On appelle reprsentation principale dun point celle dont largument vrifie
0 < 2.
Im

Im
z

Im(z)
|z|
Re
0

arg(z)
Re

Re(z)

Figure 1.1 ( gauche) reprsentation cartsienne dun complexe ; ( droite) reprsentation polaire dun complexe

On peut passer dune reprsentation lautre par :

p
x2 + y 2
y
= arctan
x

x = r cos

r=

y = r sin

(1.3)
(1.4)

CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

On appelle conjugu de z = x + iy le nombre complexe, not z, dfini par :

z = x iy

(1.5)

On retiendra les proprits suivantes (quon peut dmontrer titre dexercice) :

z z = |z|2
|z1 + z2 | |z1 | + |z2 |
 N 
N
X  X


zj 
|zj |



j=1

(1.6)
(1.7)
(1.8)

j=1

||z1 | |z2 || |z1 z2 |

(1.9)

La deuxime relation correspond lingalit triangulaire bien connue, gnralise par la

troisime relation.
Les nombres 1 et i jouent le mme rle que les deux vecteurs orthonormaliss du
plan rel, autrement dit C va pouvoir tre muni dune structure despace vectoriel deux
dimensions sur le corps des rels. On dit alors que C et R2 sont isomorphes, et un complexe
z peut tre reprsent dans le plan par un point de coordonnes (x, y).
Les oprations usuelles daddition et de multiplication sont dfinies et sont commutatives. La soustraction ainsi que la division par un complexe non nul sont galement
dfinies. On remarque facilement que laddition et la soustraction sexpriment aisment
en coordonnes cartsiennes, tandis que la multiplication ou la division sexplicitent sans
peine en reprsentation polaire. De mme, les puissances entires (ou les racines ni`emes )
scrivent commodment en coordonnes polaires.
z n = rn ein

(1.10)

Cette relation permet de retrouver la formule de Moivre :

(cos + i sin )n = cos n + i sin n

1.2

(1.11)

Fonction dune variable complexe

La notion de fonction relle de la variable relle stend celle de fonction complexe de

la variable complexe. Autrement dit, un complexe z, la fonction f associe un 1 complexe
f (z). Limage de z = x + iy par la fonction f tant un nombre complexe, on sparera
souvent ses parties imaginaire et relle, afin de lcrire sous la forme :
f (z) = u(x, y) + iv(x, y), avec u, v : R R R
o u et v sont des fonctions relles des variables relles x et y. La donne dune fonction de
la variable complexe est donc quivalente la donne de deux fonctions valeurs relles.
On crira la dpendance des fonctions, indiffremment en la variable complexe z, ou
en ses parties relle et imaginaire car une fonction en x et y, est une fonction en z et z,
et rciproquement, en effet on a :
z + z
2
z z
y=
2i

x=

1. ou plusieurs, on verra cela par la suite ...

z = x + iy

(1.12)

z = x iy

(1.13)

CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

Contrairement aux fonctions de la variable relle, on ne peut pas tracer de graphe car la
fonction est une application plan sur plan : chaque point du plan antcdent la fonction
fait correspondre un 2 point image dans le plan. Une autre distinction trs importante est
la notion de chemin. Il nexiste quune faon pour passer continment dun rel a un
rel b : dcrire le compact [a b]. En revanche, pour aller continment dun complexe z1
un autre complexe z2 , il existe une infinit de chemins. Cette diffrence est lorigine de
certaines proprits des fonctions de la variable complexe : la valeur dune fonction en un
point dpend-elle du chemin parcouru pour arriver en ce point ? la valeur de lintgrale
dune fonction entre deux points dpend-elle du chemin emprunt pour les relier ? . . .
Pour la suite du cours nous aurons besoin des quelques dfinitions qui suivent.
Dfinition 1.1 (domaine). On dit que D, inclus dans C, est un domaine si tout point de
D est le centre dun cercle (suffisamment petit) contenu dans D.
Dfinition 1.2 (chemin). Un chemin de z1 z2 , dans un domaine D, est dfini par une
application continue (t) : [0 1] D, avec (0) = z1 et (1) = z2 .
Dfinition 1.3 (circuit). Un circuit est un chemin dont les deux extrmits sont confondues et est dfini par une application continue (t) : [0 1] D, avec (0) = (1).
Dfinition 1.4 (circuits homotopes). Soient deux circuits 1 et 2 , respectivement paramtrs par les applications continues 1 (t) et 2 (t) : [0 1] D. Les deux circuits sont
dits homotopes dans un domaine D si on peut passer de lun lautre par une dformation continue sans sortir du domaine. Autrement dit, sil existe une application continue
(t, u) : [0 1] [0 1] D avec (0, u) = (1, u), (t, 0) = 1 (t) et (t, 1) = 2 (t)
Dfinition 1.5 (circuit homotope zro). Un circuit est homotope zro dans le domaine
D, si on peut le ramener un point par une dformation continue, et sans sortir du
domaine D (on prend 2 (t) = z D dans la dfinition prcdente).
Dfinition 1.6 (domaine simplement connexe). Un domaine est simplement connexe si
tout circuit du domaine est homotope zro dans ce domaine (en langage courant : le
domaine est sans trou).
Dfinition 1.7 (domaine connexe). Un domaine D est connexe si deux points quelconques
de D peuvent tre relis par un chemin dans D.
Im

Im

Re

Re

Figure 1.2 ( gauche) circuits homotopes dans un domaine simplement connexe ; (

droite) circuits non homotopes dans un domaine multiplement connexe

2. mme remarque...

CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

1.3

Fonctions multivalentes

Nous avons crit plus haut qu un antcdent, une fonction associe une image, cest
incomplet, comme en tmoigne le cas des fonctions multivalentes, dfinies ci-dessous.
Dfinition 1.8 (fonction multivalente). Une fonction multivalente est une fonction qui,
une valeur de la variable, fait correspondre plusieurs valeurs (parfois une infinit).

Pour illustrer cette notion, tudions la fonction racine f (z) = z. Cette fonction
est dfinie par :

f (z) = rei/2
(1.14)
Largument de z tant
dfini 2 prs (arg(z) = + 2k), limage f (z) peut tre :
soit : f (z) = rei/2 ;
soit : f (z) = rei(/2+) .
Le point z = 0 a un rle particulier : cest un point de branchement.
Dfinition 1.9 (Point de branchement). Le complexe z0 est un point de branchement de
la fonction f sil existe un circuit entourant z0 dont limage par f nest pas un circuit.
Ce phnomne met en vidence la multivalence de la fonction. Pour la rendre univalente, on peut raliser une coupure de Riemann.
Im

Im
z

q
r

Re

q/2
Re

p+q/2

Figure 1.3 Fonction racine carre, ( gauche) un point z ; ( droite) ses racines dans C

Dfinition 1.10 (coupure de Riemann). On appelle coupure de Riemann pour la fonction

f , une ligne du plan complexe telle que limage par f de tout circuit ne coupant pas la
coupure de Riemann est un circuit.
Pour illustrer la notion de coupure de Riemann, revenons la fonction racine. Lorsque
le point daffixe z = rei fait un tour
de lorigine
il devient z 0 = rei(+2) . De ce

autour
fait le point image passe de f (z) = rei/2 f (z 0 ) = rei(/2+) . Autrement dit, on passe
dune valeur lautre de la fonction. Pour empcher ce "saut" on dcide dinterdire de
franchir laxe des rels positifs (en fait nimporte quelle ligne ayant son origine en zro).
Dans ce cas, largument de z vrifie 0 arg(z) < 2 et chaque point na quune image.
La fonction racine dfinie sur ce domaine particulier devient univalente.
La fonction logarithmique, note ln(z), fournit un autre exemple intressant de
fonction multivalente. On peut la dfinir comme la fonction inverse de lexponentielle,
autrement dit :
Z C, z = eZ Z = ln(z)
(1.15)
En utilisant la proprit de lexponentielle ex+y = ex .ey , on a ln(xy) = ln(x) + ln(y). La
reprsentation polaire de z permet alors dobtenir :
ln(z) = ln(r) + ln(ei )

(1.16)

CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

Im

z(r,q)
z(r,q+2p)

Im

z(r,q)
z(r,q)

Re
0

Re
0

Figure 1.4 ( gauche) Lorsque z parcourt le cercle largument volue de 2 ; ( droite)

La coupure en gras empche de passer dune ralisation de z une autre.

Largument de z tant dfini 2 prs, on a finalement

ln(z) = ln(|z|) + i( + 2k)

(1.17)

Le complexe z a alors une infinit dimages, correspondant chaque valeur possible de

k Z. La dtermination principale est donne par k = 0. Si z dcrit un circuit entourant
le point zro, alors en parcourant ce circuit largument volue de 2. En revanche, si le
circuit nentoure pas le point zro alors largument de z aprs avoir parcouru le circuit
reste inchang. Le point z = 0 est donc un point de branchement. Pour rendre univalente
la fonction, il faut crer une coupure interdisant de contourner lorigine. Nimporte quelle
ligne issue de z = 0 et allant vers linfini est alors une coupure de Riemann, par exemple
le demi-axe rel positif.

Exemple 1.1. Quelles sont les coupures rendant la fonction f (z) = z 2 9 univalente ?
Rponse : le but tant dempcher z de faire le tour de lun ou lautre des deux points de
branchement z = 3 et z = 3. On peut soit choisir une ligne reliant les deux points, soit
choisir deux lignes, issues chacune dun des deux points.

1.4

Limite dune fonction de la variable complexe

Dans le cas des fonctions relles la notion de limite est dfinie comme suit. On dit
que la fonction f (x) a une limite en x0 si et seulement si il existe un nombre f0 tel que :
> 0, > 0 : |x x0 | < |f (x) f0 | <

(1.18)

et dans ce cas, on crit : limxx0 f (x) = f0 . De plus si f0 = f (x0 ) on dit que la fonction est
continue. Si la fonction nest pas continue en un point, alors la limite en ce point nexiste
pas. En revanche, des limites gauche et droite peuvent exister et tre diffrentes. Par
exemple, pour la fonction chelon dfinie par :
(
0, x < 0
f (x) =
(1.19)
1, x > 0
la limite par valeurs infrieures est 0, tandis que la limite par valeurs suprieures est 1. Il
existe donc deux limites distinctes.
Dans le cas des fonctions complexes, il existe une infinit de chemins possibles pour
faire tendre z vers z0 (le point volue dans un plan et non plus sur une droite). La dfinition

CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

de limite stend de manire immdiate par lexistence de f0 tel que :

> 0, > 0 : |z z0 | < |f (z) f0 | <

(1.20)

et dans ce cas, on crit : limzz0 f (z) = f0 . Pour que la limite existe, la valeur de f (z0 ) ne
doit pas dpendre du chemin suivi pour arriver en z0 . Autrement dit, la limite doit tre
identique pour tous les chemins possibles.
Lexistence de la limite de f (z) est quivalente lexistence des limites de u(x, y) et
de v(x, y). La limite de f (z) en z0 existe si et seulement si les limites suivantes existent 3 :
lim

xx0 , yy0

u(x, y) = u0

lim

xx0 , yy0

v(x, y) = v0

(1.21)

La continuit dune fonction de la variable complexe est alors une extension de la

continuit dune fonction de la variable relle
Dfinition 1.11 (continuit). Une fonction est dite continue en z0 si cette fonction est
dfinie au voisinage de z0 , et si sa limite en z0 existe.
Exemple 1.2. Soit la fonction dfinie par : f (z) = zz . Cette fonction est-elle continue en
z = 0?
Rponse : en passant en coordonnes polaires, il vient : f (z) = ei2 . Autrement dit, si z
tend vers 0 selon laxe des rels positifs f (z) = 1, mais si z tend vers 0 selon laxe (O, i),
f (z) = 1. On peut conclure que la fonction f (z) na pas de limite en z = 0. La fonction
est bien dfinie au voisinage de z = 0 par f (z) = ei2 , en revanche la limite nexistant
pas, elle nest pas continue en z = 0.

1.5

Drivabilit dune fonction de la variable complexe

La notion de drive dune fonction de la variable complexe est lextension du cas rel,
partir de la limite du taux de variation.
Dfinition 1.12 (drivabilit). La fonction f (z) est drivable en z0 si la limite suivante
existe :
f (z0 ) f (z)
(1.22)
f 0 (z0 ) = lim
zz0
z0 z
Compte tenu de la dfinition de la limite, la valeur de (1.22) ne doit pas dpendre
du chemin suivi. Une fonction drivable en tout point du domaine est dite continment
drivable (ou diffrentiable).
Dfinition 1.13 (holomorphe). Une fonction drivable 4 en tout point dun domaine D
est dite holomorphe dans ce domaine.
La somme et le produit de deux fonctions holomorphes sont des fonctions holomorphes.
De mme le rapport f (z)/g(z) o f et g sont holomorphes, est une fonction holomorphe
partout o g(z) 6= 0. Par consquent il est immdiat que les polynmes, les fractions
rationnelles hors les ples, les exponentielles sont des fonctions holomorphes.
Pour viter de revenir la dfinition de la drive et de la limite, on va expliciter des
conditions ncessaires et suffisantes de drivabilit, connues sous le nom de conditions de
Cauchy 5 ou conditions de Cauchy-Riemann (CCR).
3. comprendre : si elles existent et si elles sont uniques
4. donc continue, univalente, dfinie
5. propos des noms de rsultats scientifiques, rappelons la loi de Stigler : une dcouverte scientifique
ne porte jamais le nom de son auteur. Notons que la loi de Stigler est due ... R.K. Merton.

CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

Thorme 1.1 (conditions de Cauchy-Riemann). La fonction f (z) = u(x, y) + iv(x, y)

est drivable en z0 si et seulement si :
 
 
 
 
v
u
v
u
=
et
=
(1.23)
x (x0 ,y0 )
y (x0 ,y0 )
y (x0 ,y0 )
x (x0 ,y0 )
Dmonstration. Pour montrer la ncessit des conditions de Cauchy-Riemann, on suppose
que f (z) est drivable, la limite (1.22) existe. Dans un premier temps, supposons que z
tend vers z0 par un chemin parallle laxe des rels, donc z z0 = h R, on a donc :
v(x0 + h, y0 ) v(x0 , y0 )
u(x0 + h, y0 ) u(x0 , y0 )
+i
f 0 (z0 ) = lim
h0
h 
h


u
v
=
+i
x (x0 ,y0 )
x (x0 ,y0 )

(1.24)
(1.25)

Dans un second temps, supposons que z tend vers z0 par un chemin parallle laxe des
imaginaires purs, donc z z0 = ik, k R, on a donc :
v(x0 , y0 + k) v(x0 , y0 )
u(x0 , y0 + k) u(x0 , y0 )
+i
f 0 (z0 ) = lim
k0
ik  
ik
 
u
v
= i
+
y (x0 ,y0 )
y (x0 ,y0 )

(1.26)
(1.27)

Par identification des parties relles et imaginaires de (1.25) et (1.27), on obtient (1.23).
Pour dmontrer la suffisance des CCR, on suppose quelles sont vrifies. Les fonctions
u et v tant diffrentiables, on peut les dvelopper au voisinage de z0 . Posons z z0 =
= h + ik, on a alors :
 
 
u
u
+k
+ ()||
(1.28)
u(x0 + h, y0 + k) u(x0 , y0 ) = h
x (x0 ,y0 )
y (x0 ,y0 )
 
 
v
v
v(x0 + h, y0 + k) v(x0 , y0 ) = h
+k
+ ()||
(1.29)
x (x0 ,y0 )
y (x0 ,y0 )
o () et () tendent vers 0 lorsque || 0. On peut alors crire :
"  
# "  
#
 
 
u
u
v
v
f (z0 +)f (z0 ) = h
+k
+i h
+k
+()||
x (x0 ,y0 )
y (x0 ,y0 )
x (x0 ,y0 )
y (x0 ,y0 )
(1.30)
o () = () + i(). En tenant compte des conditions de Cauchy-Riemann, il vient :
" 
  #
u
v
f (z0 + ) f (z0 ) =
+i
(h + ik) + ||
(1.31)
x (x0 ,y0 )
x (z0 )
= A + ()||

(1.32)

u et v tant diffrentiables, la quantit A est dfinie et borne, et tend vers zro lorsque
0. Autrement dit, il en rsulte :
f (z0 + ) f (z0 )
||
= A + ()

(1.33)

Le rapport ||/ est de module gal 1, () tend vers 0 lorsque 0, et A est dfini et
(z0 )
born, donc la limite du rapport f (z0 +)f
, lorsque 0, existe. La fonction f (z) est

0
donc drivable en z0 , et f (z0 ) = A.

CHAPITRE 1. FONCTIONS DUNE VARIABLE COMPLEXE

Exemple 1.3. Montrer que la fonction ln(z) est drivable sur le plan complexe, pour
arg(z) < , et que sa drive est f 0 (z) = 1/z.
La fonction est dfinie par :
y


1
2
2
(1.34)
ln(z) = ln(|z|) + i.arg(z) = ln x + y + i.atan
2
x
Les drives partielles des fonctions u et v sont donc :
u
2x
x
=
=
x
2 (x2 + y 2 )
x2 + y 2

xy
v
y
=
=
2
x
x2 + y 2
1 + xy 2

(1.35)

2y
y
u
=
= 2
2
2
y
2 (x + y )
x + y2

1
v
x
x
=
2 =
2
y
y
x + y2
1 + x2

(1.36)

Les CCR sont donc vrifies. Comme on la vu, la drive dune fonction holomorphe est
donne, par exemple, par :
u
v
df (z)
=
+i
(1.37)
dz
x
x
Il vient donc :
x iy
1
1
dln(z)
= 2
=
=
(1.38)
2
dz
x +y
x + iy
z
Autrement dit, on a gnralis au logarithme nprien complexe la formule de drivation
connue pour le logarithme rel.
En coordonnes polaires, les conditions de Cauchy-Riemann, de la fonction f (z) =
U (r, ) + iV (r, ), o U et V sont deux fonctions valeurs dans R, scrivent :








1 V
V
1 U
U
=
et
=
(1.39)
r r0 ,0
r r0 ,0
r r0 ,0
r r0 ,0
La dmonstration peut tre faite titre dexercice.
Les CCR ont de nombreuses consquences, on en citera deux sous la forme de proprits
(non dmontres ici).
Proprit 1.1. Toute fonction holomorphe est infiniment drivable.
Proprit 1.2. Une fonction holomorphe est fonction de la variable z uniquement, et
non des variables z et z

Chapitre 2
Intgration des fonctions de la variable
complexe
Dans ce chapitre on sintressera lintgration des fonctions dune variable complexe.
En particulier on commencera par donner une majoration fondamentale dune intgrale
complexe. Puis on tudiera linfluence du chemin suivi lors de lintgration sur le rsultat
final avant de prsenter le rsultat principal de ce chapitre : lintgrale de Cauchy et ses
diffrentes applications.

2.1

Prliminaires

La notion dintgrale se gnralise au cas complexe en utilisant les intgrales de Riemann. En effet dans le cas des fonctions relles, lintgrale de f (x) sur lintervalle [a b] se
dfinit en dcomposant laire que quantifie lintgrale en N rectangles lmentaires, dont
laire est le produit de la largeur du rectangle par la valeur de la fonction en ce point.
Autrement dit on a :
N
1
X
SN =
f (xj )(xj+1 xj )
(2.1)
j=0

j (donc x0 = a et xN = b). Si la somme converge lorsque N , alors

o xj = a + (ba)
N
la limite de la somme est appele intgrale, et est note :
Z b
lim SN =
f (x)dx
(2.2)
N

Dans le cas complexe, on considre un chemin orient, constitu darcs de courbe

continment diffrentiables, paramtr par : [0 1] C. On dcompose le chemin,

not
k
C, dextrmits et , en arcs lmentaires dlimits par les complexes zj = N (donc
z0 = et zN = ). On peut alors dfinir la somme de Riemann suivante :
SN =

N
1
X

f (zj )(zj+1 zj )

(2.3)

j=0

Lintgrale est alors dfinie par :

Z
lim SN =

f (z)dz
C

(2.4)

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE10

dz dsigne alors une variation infinitsimale de z autour de la valeur z. La limite existe
lorsque f est une fonction borne continue (ou continue par morceaux). En posant f (z) =
u(x, y) + iv(x, y) et z = x + iy, lintgrale devient :
Z
Z
Z
Z
f (z)dz =
(u(x, y) + iv(x, y)) (dx + idy) = (udx vdy) + i (udy + vdx) (2.5)
C

De cette manire lintgrale complexe peut sexprimer comme deux intgrales relles. Les
variables x et y pouvant sinterprter comme les coordonnes cartsiennes de z dans le
plan complexe, on parle parfois dintgrale curviligne.
Les proprits usuelles des intgrales stendent au cas des intgrales complexes :
Proprit 2.1 (linarit).
Z
Z
Z
(f (z) + g(z))dz = f (z)dz +
g(z)dz
C

(2.6)

o et sont des constantes (complexes).

Proprit 2.2 (addition des chemins).
Z
Z
f (z)dz =
C1 C2

Z
f (z)dz +

f (z)dz

C1

(2.7)

C2

o C1 et C2 dsignent deux chemins dun domaine o f est continue.

Proprit 2.3 (influence du sens de parcours).
Z
Z
f (z)dz = f (z)dz
C

(2.8)

o C dsigne le chemin C parcouru en sens inverse.

2.2

Ingalit fondamentale

Dans un premier temps, on cherche majorer le module de lintgrale, sur un chemin

C, de longueur L. tant donn que lintgrale se dfinit par la limite dune somme de
Riemann, en utilisant lingalit triangulaire, il vient :
Z
 Z
Z


 f (z)dz 
|f (z)dz| =
|f (z)||dz|
(2.9)


C

La fonction tant intgrable, elle est borne, autrement dit, il existe un rel M tel que
|f (z)| M, z C

(2.10)

Il est donc possible dcrire

Z
 Z
Z
Z


 f (z)dz 
|f (z)dz| =
|f (z)||dz| M
|dz|


C

(2.11)

La quantit |dz| dfinit la longueur de larc que parcourt z lors dune variation lmentaire.
Lintgrale donne donc :
Z
|dz| = L
C

On a donc finalement la proprit suivante.

(2.12)

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE11

Proprit 2.4. Lintgrale dune fonction continue et borne en module par un rel positif
M sur un contour C de longeur L, vrifie lingalit suivante :
Z



 f (z)dz  M L



(2.13)

Cette proprit est utilise pour majorer des intgrales simplement, comme le dmontrent les exemples suivants. En particulier, si on arrive montrer que le module
dune intgrale est major par une quantit qui tend vers 0, on montre que lintgrale
elle-mme tend vers 0.
Im
a

Re
0

Figure 2.1 Chemin dintgration dfini par z(t) = R + it, avec 0 t a

Exemple 2.1. On considre le segment S = [R R + ia] parallle laxe des imaginaires

purs, dfini par z(t) = R + it, avec 0 t a, reprsent la figure 2.2. Montrer que :
Z
2
lim
ez dz = 0
(2.14)
R

La longeur de larc est videmment : L = a. Il convient de trouver le majorant de la

fonction sur C






2
2
2 
2
2
 2

sup ez  = sup e(R+it)  = sup eR +t ei2Rt  = eR +a
(2.15)
zS

t[0 a]

On a donc :

t[0 a]

Z



2
z
 e dz  aeR2 +a2



(2.16)

Labscisse a tant finie, la limite, lorsque R , est :


Z


2
2
2
z
lim  e dz  lim aeR +a = 0
R

Exemple 2.2. Montrer que la valeur de lintgrale suivante est :

Z
dz
lim
=0
R C(0,R) 1 + z 2

(2.17)

(2.18)

o C(0, R) dsigne le cercle centr en lorigine, de rayon R, avec R > 1.

La longueur de la courbe est L = 2R. La majoration de la fonction, pour z dcrivant
le cercle C, donne :


 1 
1
1
=
sup 
= 2
(2.19)

2
2
inf zC |z + 1|
R 1
zC 1 + z

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE12

Lingalit fondamentale permet alors dcrire :
Z



dz

 2R

 R2 1
2
C(0,R) 1 + z

(2.20)

Finalement, en passant la limite, il vient :

Z



dz
 lim 2R = 0
lim 
 R R2 1
2
R
C(0,R) 1 + z

(2.21)

Im
R
Re
0

Figure 2.2 Chemin dintgration dfini par le demi-cercle gauche ouvert, de centre
c R+ , de rayon R, avec R > c.
Exemple 2.3. Montrer que :
Z
lim

ezt
dz = 0
z n+1

(2.22)

o t R+ et n N, et o C dsigne le demi-cercle gauche ouvert, de centre c R+ , de

rayon R, avec R > c, reprsent la figure 2.2 .
La longueur de larc C est L = R. Larc peut tre paramtr par z = c + Rei o
/2 < < 3/2. Calculons un majorant du module de la fonction intgre.



 zt 
 e 
sup[/2 3/2] et(c+R cos )  eitR sin 
ect
=
(2.23)
sup  n+1 
(R c)n+1
inf [/2 3/2] |c + R cos + iR sin |n+1
zC z
En effet, on a : sup[/2
inf

3/2]

cos = 0, et

|c + R cos + iR sin | =

[/2 3/2]

inf
[/2 3/2]

inf
[/2 3/2]



(c + R cos )2 + (R sin )2 1/2

(2.24)

 2

c + R2 + 2cR cos 1/2

(2.25)

= c2 + R2 2cR

1/2

=Rc

(2.26)

Finalement il vient :
Z



ezt
ect R

 lim
lim 
dz
 R (R c)n+1 = 0
n+1
R
C z
La limite cherche est donc nulle.

(2.27)

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE13

2.3

Intgration indpendante du chemin

Rt
Dans le cas des fonctions de la variable relle, le chemin dintgration de t12 f (t)dt
est unique : il sagit du segment [t1 t2 ]. Dans le cas des fonctions de la variable complexe,
il existe une infinit de chemins pour aller de z1 z2 . Dans le cas gnral, la valeur de
lintgrale dpend du chemin. Nonobstant, il est naturel de se demander sil est possible
de caractriser la classe des fonctions pour lesquelles la valeur de lintgrale ne dpend
que des extrmits et non du chemin suivi entre ces extrmits z1 et z2
Avant de rechercher un rsultat gnral, tudions deux exemples.
Exemple 2.4. Considrons la fonction f (z) = =(z) intgrer entre z = 0 et z = 1 + i,
selon deux chemins diffrents : C1 = {[0 i] [i 1 + i]} et C2 = {[0 1] [1 1 + i]}. On peut
montrer Rque pour f (z) = =(z) Rlintgrale dpend du chemin dintgration, en effet on
trouve : C1 =(z)dz = 1 + i/2 et C2 =(z)dz = i/2.
Exemple 2.5. Considrons la fonction f (z) = z 2 , intgrer entre z = 0 et z = a + ib, sur
diffrents chemins S3 et {S1 S2 }, reprsents la figure 2.3.
Im
a+ib
S3
S2
0

Re

S1

Figure 2.3 Exemple de chemins dintgration de la fonction f (z) = z 2 , entre 0 et a + ib.

R a+ib 2
3
On peut montrer que pour ces deux chemins, lintgrale vaut : 0
z dz = (a+ib)
.
3
On pourrait aussi vrifier que lintgrale a la mme valeur si on la calcule sur les
segments [0 ib] et [ib a + ib].
On constate sur ces deux exemples que lintgrale peut dpendre du chemin suivi.
Par la suite, on caractrise plus rigoureusement les fonctions telles que lintgrale est
indpendante du chemin suivi.
On considre lintgrale de la fonction f sur une chemin C dextrmits z1 et z2 . En
sparant parties relles et imaginaires de f (z) et de dz, lintgrale peut scrire :
Z

Z

Z
f (z)dz =
u(x, y)dx v(x, y)dy + i
u(x, y)dy + v(x, y)dx
(2.28)
C

Pour que lintgrale soit indpendante du chemin suivi, il faut quil existe une fonction
F (z) telle que
Z
Z z2
f (z)dz =
dF (z) = F (z1 ) F (z2 )
C

z1

En sparant partie relle et imaginaire de F , on peut crire F (z) = U (x, y) + iV (x, y) et

lintgrale devient

Z

Z
Z
Z
U
U
V
V
dx +
dy + i
dx +
dy
f (z)dz =
dU (x, y) + idV (x, y) =
y
y
C x
C
C
C x
Par identification avec (2.28), on a tabli le rsultat suivant.

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE14

Rz
Thorme 2.1. La valeur de z12 f (z)dz est indpendante du chemin suivi sil existe deux
fonctions U (x, y) et V (x, y) vrifiant les relations :
u=

V
U
=
x
y

et v =

V
U
=
x
y

Dans ce cas, la valeur de lintgrale est donne par

Z
f (z)dz = F (z2 ) F (z1 ) = (U (z2 ) + iV (z2 )) (U (z1 ) + iV (z1 ))

(2.29)

(2.30)

Daprs le thorme de Schwarz, si les drives partielles dordre 2 de U (x, y) et V (x, y)

existent et sont continues, lordre de drivation ninflue pas sur le rsultat. Les conditions
(2.29) donnent donc
( 2
( 2
v
V
U
= x
= u
v
v
u
u
xy
xy
x
=
et
=
(2.31)

2V
2U
u

v
y
x
x
y
= y
= y
yx
yx
On retrouve donc les conditions de Cauchy-Riemann portant sur la fonction f (z). Autrement dit, on peut noncer le rsultat prcdent sous une forme plus simple (mais ne
permettant pas de trouver la primitive de f (z)).
ThormeR 2.2. Si f (z) est holomorphe dans un domaine simplement connexe D, alors
lintgrale C f (z)dz prend la mme valeur sur tous les chemins C de D ayant les mmes
extrmits.
Illustrons ces rsultats avec la poursuite de lexemple prcdent.
Exemple 2.6. Montrer que lintgrale de f (z) = z 2 est indpendante du chemin suivi
(constate sur deux chemins, mais non justifie de manire gnrale) et montrer que
F (z) = 2z.
3
On trouve les fonctions vrifiant les relations (2.29) : U (x, y) = x3 xy 2 et V (x, y) =
3
3
x2 y y3 et on en dduit F (z) = z3 .
Exemple 2.7. Montrer que lintgrale de f (z) = 1/z sur un chemin C, allant de z1 z2 ,
et ne passant pas par lorigine est indpendante du chemin choisi et est donne par
Z
dz
= ln(z2 ) ln(z1 )
(2.32)
C z
p

On peut vrifier que les fonctions U (x, y) = ln
x2 + y 2 = ln(|z|) et V (x, y) =


atan xy = arg(z) vrifient les conditions dindpendance du chemin. On dduit alors la
primitive F (z) = ln(z).

2.4

Intgrales de Cauchy

Dans cette partie, sont exposs diffrents rsultats permettant de calculer lintgrale
dune fonction sur un circuit ferm. Diffrents cas seront tudis selon le nombre et la
nature des singularits de la fonction, comprises dans le circuit dintgration. Pour cela il
est dabord ncessaire de dfinir ce quest une singularit.

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE15

Dfinition 2.1 (Singularit). La fonction f (z) admet une singularit dordre n en z0 si
f (z) nest pas dfinie en z0 , mais peut scrire sous la forme
f (z) =

fh (z)
(z z0 )n

o fh (z) est une fonction holomorphe au voisinage de z0 .

2.4.1

Intgrale de fonctions sans singularit

Considrons une fonction f (z) holomorphe sur un domaine D simplement connexe.

On a vu dans la section prcdente que lintgrale de cette fonction entre deux points ne
dpend pas du chemin suivi. Considrons deux arcs dun circuit C, nots C1 et C2 , ayant
les mmes extrmits, comme le montre la figure 2.4.
z2

z2

C1

C2

z1

z1

Figure 2.4 Un circuit C ( gauche), dcompos en deux circuits C1 et C2 de mmes

extrmits ( droite).
Daprs le rsultat prcdent, on a :
Z
Z
f (z)dz =
C1

f (z)dz

De plus on a C = C1 C2 , donc il vient :

Z
Z
Z
f (z)dz =
f (z)dz +
C

(2.33)

C2

C1

f (z)dz = 0

(2.34)

C2

On a donc dmontr le rsultat suivant :

Thorme 2.3 (thorme de Cauchy). Si une fonction f (z) est holomorphe sur un domaine D simplement connexe, son intgrale sur tout circuit C de D est nulle :
Z
(2.35)
f (z)dz = 0
C

Le domaine D est simplement connexe si tous les circuits ferms contenus dans D sont
homotopes zros (peuvent se rduire zro par une dformation continue, sans sortir
de D).
titre dexercice, on peut montrer que lintgrale suivante ne dpend pas de la
constante relle a :
Z
2
e(x+ia) dx
(2.36)

Pour cela, on peut considrer le contour homotope zro, constitu par le rectangle de
sommets : R, R, R + ia et R + ia, parcouru dans le sens positif 1 .
1. le sens positif correspond au sens anti-horaire. On peut aussi dire quun circuit est parcouru dans
le sens positif si un bonhomme le parcourant dans ce sens garde lintrieur du domaine sa gauche

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE16

2.4.2

Intgrale de fonctions ayant des singularits

r
z2 x
g
z1

Figure 2.5 Un circuit dcompos autour dun point .

Considrons prsent une fonction f (z) holomorphe dans un domaine D simplement
connexe except
en la singularit . Soit un circuit de D entourant . Lobjectif est
R
inclus dans un domaine D

de calculer f (z)dz. Il est possible de dfinir un circuit

nentoure
simplement connexe o la fonction f (z) est holomorphe. Il suffit pour cela que
pas le point . Soit le cercle de centre et de rayon r, soit z1 un point de et z2 un
reprsent par la figure 2.5 et dfini par :
point de . Le circuit ,
= [z1 z2 ] [z2 z1 ]

est homotope zro dans D. On notera que si le contour est parcouru dans le sens
est inclus dans un
positif, alors le contour lest dans le sens ngatif. Par ailleurs,

domaine simplement connexe de frontire , o f (z) est holomorphe. On a donc :

Z z2
Z z1
Z
Z
f (z)dz +
f (z)dz f (z)dz +
f (z)dz = 0
(2.37)

z1

z2

Le segment [z1 z2 ] tant parcouru dans les deux sens, il vient :

Z
Z
f (z)dz = f (z)dz

(2.38)

Le rsultat se gnralise trs simplement au cas o f (z) est holomorphe sauf en un

nombre fini de points i . En effet, comme lillustre la figure 2.6, on peut dfinir le contour
, simplement connexe, par :
= [z1 z10 ] 1 [z10 z1 ] [z2 z20 ] 2 [z20 z2 ] [z3 z30 ] 3 [z30 z3 ] . . . (2.39)
Dans ce cas, le thorme de Cauchy donne :
Z
Z z10
Z
Z
f (z)dz +
f (z)dz
f (z)dz +

z1

Z
f (z)dz +

z30

z20

z20

f (z)dz

f (z)dz +
z2

Z
f (z)dz

f (z)dz +

z10

z2

z1

z3

f (z)dz +

z3

f (z)dz = 0

(2.40)

z30

Autrement dit on a dmontr le rsultat suivant :

Lemme 2.1. Soit f (z) une fonction holomorphe sur D sauf en certains points 1 , i =
1, . . . , N . Lintgrale de f (z) sur un circuit C de D entourant les points i est donne
par :
Z
N Z
X
f (z)dz =
f (z)dz
(2.41)
C

i=1

o les contours i entourent respectivement les points i .

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE17

z1

z1
x1 g1

g3
x3

z3
z3

x2 g2
z2
z2

Figure 2.6 Un circuit dcompos autour de trois points i .

Reste alors calculer les intgrales de f (z) autour de chacune des singularits.
2.4.2.1

Intgrale dune fonction autour dune singularit simple

Une fonction f (z) ayant une singularit simple en sur D peut scrire sous la forme :
f (z) =

fh (z)
z

(2.42)

o la fonction fh (z) est holomorphe sur D. Pour calculer lintgrale

la singularit on dfinit la fonction g(z) par :
(
fh (z)fh ()
si z 6=
z
g(z) =
fh0 ()
si z =

R
C

f (z)dz o C entoure

(2.43)

La fonction g(z) ainsi dfinie est holomorphe sur D car fh est holomorphe donc drivable.
Daprs (2.38), on a :
Z
g(z)dz = 0

(2.44)

Il vient donc :

Z
C

fh (z)
dz =
z

Z
C

fh ()
dz =
z

fh ()
dz
z

(2.45)

o est le cercle de centre et de rayon r (se souvenir de la figure 2.5). On peut donc
poser le changement de variable : z = + rei , il vient dz = riei d, donc :
Z
Z
fh (z)
riei
dz = fh ()
d = 2ifh ()
(2.46)
i
C z
re
On a donc dmontr le rsultat, connu sous le nom de formule de Cauchy.
Thorme 2.4 (formule de Cauchy). Soit fh une fonction holomorphe dans un domaine
D simplement connexe, alors pour tout D, et pour tout contour entourant , on a
Z

fh (z)
dz = 2ifh ()
z

(2.47)

Une forme particulire de ce rsultat est connu sous le nom de la formule de moyenne.

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE18

Thorme 2.5 (formule de la moyenne). Soit fh une fonction holomorphe dans D, et
un point de D. On a, pour r > 0 :
Z

fh + rei d = 2fh ()

(2.48)

Dmonstration. Pour obtenir ce rsultat, il suffit dutiliser la formule de Cauchy sur =

C(, r).
2.4.2.2

Intgrale dune fonction autour dune singularit multiple

Une fonction f (z) ayant une singularit dordre n + 1 en sur D peut scrire sous la
forme :
fh (z)
f (z) =
(2.49)
(z )n+1
R
o la fonction fh (z) est holomorphe sur D. Pour calculer lintgrale C f (z)dz o C entoure
la singularit on est amen gnraliser le rsultat prcdent.
Thorme 2.6 (formule de Cauchy lordre n). Soit fh une fonction holomorphe dans
un domaine D simplement connexe, alors pour tout D et tout circuit de D entourant
, on a
Z
fh (z)
2i (n)
dz =
f ()
(2.50)
n+1
n! h
(z )
Dmonstration. Pour n = 0 on retrouve le rsultat prcdent. Ensuite la preuve est faite
par rcurrence en admettant le rsultat pour n 1 et en montrant que cela limplique
pour n. Pour cela, crivons la dfinition de la drive de fh (z) lordre n :
(n1)

(n)
fh ()

= lim

h0

fh

(n1)

( + h) fh
h

()

(2.51)

En supposant vrai le rsultat lordre n 1, et en lappliquant aux termes de droite, il

vient :
Z

Z
(n 1)!
fh (z)
fh (z)
(n)
dz
dz
(2.52)
fh () = lim
n
n
h0 2ih
(z )
(z h)
Z
fh (z) [(z )n (z h)n ]
(n 1)!
= lim
dz
(2.53)
h0 2ih
(z h)n (z )n

Z
(n 1)!
fh (z) [(z )n (z )n + nh(z )n1 h2 . . . ]
= lim
dz (2.54)
h0 2ih
(z h)n (z )n

Z
(n 1)!
fh (z) [nh(z )n1 h2 . . . ]
= lim
dz
(2.55)
h0 2ih
(z h)n (z )n

Lorsque h 0, la quantit 1/(z h)n (z )n converge uniformment vers (z )2n ,

on a donc :
Z
n!
fh (z)
(n)
fh () =
dz
(2.56)
2i (z )n+1
On a donc tabli la proprit (2.50) lordre n, en supposant quelle est vrifie lordre
n 1. lordre n = 0 on obtient la formule de Cauchy qui a dj t prouve. Il apparat
donc, par rcurrence, que la proprit est prouve pour tout ordre n.

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE19

2.5

Quelques exemples dapplication

Exemple 2.8. On considre lintgrale :

Z
C

cos(z)
dz
z(z 1)

(2.57)

o le circuit C peut prendre trois formes (voir figure 2.7) :

1. C est le cercle de centre 1, de rayon R1 , avec R1 < 1
2. C est le cercle de centre 1, de rayon R2 , avec 1 < R2 < 2
3. C est le cercle de centre 1, de rayon R3 , avec 2 < R3
Im

Im

-1 0 1

Im

-1 0 1
Re

-1 0 1
Re

Re

Figure 2.7 Circuit C dfini par le cercle de centre 1, de rayon R avec ( gauche)
R1 < 1 ; (au milieu) 1 < R2 < 2 ; ( droite) R3 > 2.
La fonction f (z) = cos(z)/(z(z 1)) est holomorphe sur C sauf en 0 et en 1.
Dans le premier cas, aucune singularit nest dans C, on a donc :
Z
cos(z)
dz = 0
(2.58)
C(1,R1 ) z(z 1)
Dans le second cas, seule la singularit en z = 0 est intrieure au cercle C(1, R2 ), on a
alors :
Z
cos(z)
cos(0)
dz = 2i
= 2i
(2.59)
1
C(1,R2 ) z(z 1)
Dans le troisime cas, les singularits en z = 0 et z = 1 sont intrieures au cercle
C(1, R2 ), on a alors :


Z
cos(z)
cos(0) cos()
dz = 2i
+
= 4i
(2.60)
1
1
C(1,R3 ) z(z 1)
Exemple 2.9. Montrer que :
Z
C(0,2)

ez
dz = 2i
z(z 1)2

(2.61)

CHAPITRE 2. INTGRATION DES FONCTIONS DE LA VARIABLE COMPLEXE20

Chapitre 3
Sries entires et rsidus
Dans les deux premires parties de ce chapitre nous tudierons deux mthodes pour
reprsenter une fonction par des sries entires, cest dire une somme de polynmes ou
de fractions rationnelles de la variable complexe : le dveloppement en srie de Taylor,
et le dveloppement en srie de Laurent. Ensuite, on dtaillera le rsultat principal de ce
chapitre, savoir : le thorme des rsidus, avant de donner quelques applications de ce
rsultat.

3.1

Sries de Taylor

Lintrt des sries de Taylor est de pouvoir exprimer la valeur dune fonction en
un point, comme une somme de polynmes en z. Ce dveloppement est valide dans un
domaine simplement connexe o la fonction f est holomorphe. On sappuie sur les galits
suivantes (pour x 6= 1) :
1
1
= 1 + x + x 2 + x3 + + xn +
xn+1
1x
1 x



1
1
1
1

 
=
=
z
( a) (z a)
a
1 za
a

(3.1)
(3.2)

En utilisant (3.1), (3.2) devient



 
2
n

n+1
za
1
1
1
za
za
za

 
=
1+
+
+ +
+
za
z
a
a
a
a

a
1 a
=

1
za
(z a)2
(z a)n
(z a)n+1
+
+
+

+
+
a ( a)2 ( a)3
( a)n+1 ( z)( a)n+1

(3.3)

Soit une fonction f (z) holomorphe sur un domaine D contenant z et a, et soit C un

contour inclus dans ce domaine. Daprs la formule de Cauchy on a :
Z
1
f ()
f (z) =
d
(3.4)
2i C z
En multipliant (3.3) par f ()/(2i), et en intgrant par rapport , sur C on a :


Z
1
f ()
za
(z a)n
(z a)n+1
f (z) =
1+
+ +
+
d
2i C a
a
( a)n ( z)( a)n
21

(3.5)

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

22

Cette quation scrit sous la forme :


Z
Z
N 
1 X
f ()
f ()
(z a)N +1
n
f (z) =
(z a)
d +
d (3.6)
n+1
N +1
2i n=0
2i
C ( a)
C ( z)( a)
En se souvenant de la formule de Cauchy au rang n :
Z
f ()
n!
(n)
f (a) =
d
2i C ( a)n+1

(3.7)

lquation (3.6) devient :

Z
N
X
(z a)N +1
1
f ()
n (n)
(z a) f (a) +
f (z) =
d
N +1
n!
2i
C ( z)( a)
n=0
{z
}
|

(3.8)

RN

Montrons prsent que le terme RN sannule quand N . La variable dcrit le

contour C = C(a, R) le cercle de centre a et de rayon R, et la variable z est intrieure
C. Autrement dit, on a : |z a| < R, et il existe un rel 0 < k < 1 tel que |z a| = kR.
De plus on a | z| (1 k)R, comme on peut le constater sur la figure 3.1.

x
R
kR a
z

Figure 3.1 Positions de z, a, et

La fonction f (z) est holomorphe dans C qui est un compact, donc il existe un majorant
M tel que, pour tout z de C, on a |f (z)| M . En utilisant lingalit fondamentale, il
vient :


Z

 (z a)N +1
f
()

d
(3.9)
|RN | = 

N +1
2i
C ( z)( a)
(kR)N +1
supzC |f (z)|

2R
(3.10)
2
infzC | z|| a|N +1
(kR)N +1
M

2R
(3.11)
2
(1 k)RRN +1
k N +1 M

0 pour N
(3.12)
1k
Autrement dit, on a tabli que limN RN = 0, ce qui nous permet de conclure par le
rsultat suivant.

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

23

Thorme 3.1 (dveloppement en srie de Taylor). La fonction f (z) peut tre reprsente
par sa srie de Taylor (3.13) dans tout disque ouvert de centre a dans lequel elle est
holomorphe. Dans tout domaine ferm inclus dans ce disque, la srie (3.13) converge
uniformment vers f (z)

X
1
(z a)n f (n) (a)
f (z) =
(3.13)
n!
n=0
Exemple 3.1. titre dexemple, on peut retrouver le dveloppement en srie entire de la
fonction exponentielle partir de sa srie de Taylor. Le dveloppement de Taylor centr
en a = 0 donne :

X
X
zn
1 n (n)
z f (0) =
(3.14)
ez =
n!
n!
n=0
n=0
La fonction exponentielle tant holomorphe pour tout z inC, le rayon de convergence du
dveloppement est infini et le dveloppement est valable pour tout complexe. Le dveloppement de la fonction exponentielle permet de retrouver les dveloppements des fonctions
sinus et cosinus complexes
cos(z) =

X
(1)n z n
n=0

3.2

n!

sin(z) =

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

(2n + 1)!

(3.15)

Sries de Laurent

Le dveloppement de Taylor dune fonction permet dexprimer la valeur de la fonction

sur un domaine simplement connexe (un disque) o la fonction est holomorphe. Nanmoins
il serait intressant dobtenir un rsultat analogue lorsque le domaine nest pas simplement
connexe. Dans ce cas il deviendrait possible de reprsenter une fonction mme au voisinage
dun domaine (ou dun point) o elle nest pas holomorphe. On va montrer que les sries
de Laurent permettent cela.
B
B
K

A
A

R
a
r

Figure 3.2 Positions de z, a, et

Soit une fonction f (z) holomorphe dans D sauf au voisinage dune singularit a.
Dfinissons une couronne comprise entre les cercles intrieur = C(a, r) et extrieur
= C(a, R). Soit A et A0 deux points de , et B et B 0 deux points de . On peut alors
dfinir un domaine simplement connexe intrieur au circuit dfini par :
= [A B] [B 0 A0 ]

(3.16)

La fonction f (z) est donc holomorphe sur la surface intrieure au contour . Les deux
segments [A B] et [A0 B 0 ] sont infiniment proches, de ce fait le domaine concide avec la

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

24

couronne. La formule de Cauchy nous permet dcrire :

!
f ()
d
A0

A
z

(3.17)
Les deux segments tant confondus la fonction prend les mmes valeurs, comme ils sont
parcourus en sens contraires lun de lautre, les deux intgrales sannulent, il vient alors :

1
f (z) =
2i

f ()
1
d =
z
2i

1
f (z) =
2i

f ()
d +
z

1
f ()
d =
z
2i

f ()
d
z

B0

f ()
d
z

Z
Z f ()
f ()

d +
d

z
z
| {z } | {z
}
f1 (z)

(3.18)

f2 (z)

Explicitons maintenant chaque terme de lintgrale.

Le premier terme, not f1 (z), peut se dvelopper en suivant le mme raisonnement
que pour la srie de Taylor, grce lgalit :
1
za
1
(z a)2
(z a)n
(z a)n+1
=
+
+
+

+
+
z
a ( a)2 ( a)3
( a)n+1 ( z)( a)n+1

(3.19)

En multipliant par f ()/(2i) et en intgrant sur , on obtient la somme infinie suivante

(la convergence vers 0 du reste est prouve de manire identique au paragraphe prcdent) :
f1 (z) =

X
n=0

cn (a)(z a) ,

1
o`
u cn (a) =
2i

f ()
d
( a)n+1

(3.20)

Attention : cette somme ne fait pas apparatre de drive ni`eme de f (z) car f est holomorphe dans la couronne, mais pas ncessairement en a, il se peut donc que les drives
nexistent pas.
Un raisonnement analogue permet de calculer le second terme f2 (z). Pour cela, il suffit
de remarquer que |z a| > | a|, autrement dit on peut dvelopper 1/( z) par :
!
1
1
1
=
(3.21)
a
z
z a 1 za

 
2

n

n+1 !
a
1
a
a
1
a
1+
=
+
+ +
+
a
za
za
za
za
za
1 za
(3.22)


2
n
n+1
( a)
( a)
( a)
1
a
=
+
+
+ +
+
(3.23)
2
3
n+1
z a (z a)
(z a)
(z a)
(z )(z a)n
Il vient donc :

f ()
f ()( a) f ()( a)2
f ()( a)N
+
+
+ +
d + RN
(z a)2
(z a)3
(z a)N +1
z a
(3.24)
est dfini par :
Z
1
f ()( a)N +1
RN =
d
(3.25)
2i (z )(z a)N

1
f2 (z) =
2i
o RN

Z 

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

25

La variable dcrit le cercle = C(a, r), donc on a : | a| = r, |z a| = Kr, avec

K > 1, et |z | (K 1)r. De plus f est born dans la couronne, donc il existe un
M , tel que |f (z)| M pour tout z de la couronne. Lingalit fondamentale permet alors
deffectuer la majoration suivante :
|RN |

M rN +1
Mr
1
2r N N
= N
2
K r (K 1)r
K (K 1)

Autrement dit RN 0 lorsque N . On peut donc crire :

Z

X
f ()
n 1
f2 (z) =
(z a)
d
2i ( a)n+1
n=1
Z
1
X
f ()
n 1
=
(z a)
d
n+1
2i
(

a)

n=

(3.26)

(3.27)
(3.28)

On peut alors regrouper les termes f1 (z) et f2 (z) pour finalement obtenir le rsultat
suivant, connu sous le nom de srie de Laurent.
Thorme 3.2 (dveloppement en srie de Laurent). Dans toute couronne D centre en
a, dfinie par r < |z a| < R, une fonction holomorphe en D peut tre reprsente par
sa srie de Laurent (3.29), uniformment convergente sur tout domaine ferm de D.
f (z) =

(z a) cn ,

n=

o`
u

1
cn =
2i

f ()
d
( a)n+1

(3.29)

Dans le cas, o la couronne est centre en lorigine, la srie de Laurent sexprime plus
simplement par
Z

X
1
f ()
n
z cn , o`
u cn =
d
f (z) =
(3.30)
2i n+1
n=
o est un cercle de rayon compris entre r et R, ou plus gnralement nimporte quel
cycle homotope dans D.
On peut noter que si f (z) est holomorphe dans tout lespace dlimit par le cercle
intrieur , alors la fonction f (z)(z a)n est holomorphe. De ce fait lintgrale de f (z)(z
a)n sur , soit f2 (z), est nulle. Dans ce cas, tous les termes cn avec n < 0 sont nuls et la
srie de Laurent se rduit la srie de Taylor.
La prsence de p termes en puissance ngative de (z a) indique que la fonction
nest pas borne pour z = a, autrement dit indique la prsence dune singularit en a. Le
nombre de termes en puissance ngative permet de donner lordre de la singularit. On
dit ainsi que le ple (ou la singularit) en a est dordre p.
Dans le cas dune somme infinie de termes en puissance ngative de (z a), on parle
de singularit essentielle.
On peut remarquer que pour n = 1, le coefficient de la srie de Laurent donne
lintgrale de la fonction, ainsi pour un circuit C entourant lorigine on a :
Z
f (z)dz = 2ic1
(3.31)
C

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

26

Exemple 3.2. Dveloppons en srie de Laurent la fonction f (z) ci-dessous, dans la couronne
centre en lorigine dfinie par a < |z| < b.
f (z) =

1
(z a)(z b)

o a et b sont des rels, tels que a < b.

On peut 1 crire f (z) sous la forme :



1
1
1
1
1 1
f (z) =

=
ab za zb
ab z1

(3.32)

a
z

1 1
+
b1


z
b

(3.33)

Comme |z/b| < 1 et |a/z| < 1, il vient :

1
f (z) =
ab

1 X z n 1 X an
+
b n=0 bn z n=0 z n

X
an1 n X bn1 n
=
z +
z
(a b)
(a b)
n=
n=0

on a donc obtenu la srie de Laurent avec les coefficients cn :

( n1
a
n<0
cn = b(ab)
n1
n0
(ab)

3.3

(3.34)

(3.35)

Thorme des rsidus

Les rsidus dune fonction en un point permettent grce au thorme du mme nom de
calculer simplement des intgrales sur un contour, en ne considrant que les singularits
contenues dans ce contour.
Dfinition 3.1 (rsidu). Soit une fonction f (z) holomorphe, ayant un point singulier
isol z0 . Le rsidu de f en z0 , not Res(f, z0 ) est dfini par :
Z
1
Res(f, z0 ) =
f (z)dz
(3.36)
2i
o est un circuit entourant z0 , et nentourant pas dautres singularits ventuelles de
f (z)
Daprs le thorme de Cauchy, la taille et la forme du contour nimportent pas tant
que la seule singularit prsente dans soit z0 . De plus, on reconnat immdiatement le
coefficient c1 du dveloppement en srie de Laurent de la fonction f (z) au voisinage de
z0 . On a donc :
Res(f, z0 ) = c1
(3.37)
Toujours daprs le thorme de Cauchy, lintgrale dune fonction f (z) sur un circuit
C entourant les singularits z1 , . . .zN est donne par
Z
f (z)dz =
C

N Z
X
k=1

f (z)dz

o k est un circuit entourant la singularit zk . Chacune de ces intgrales peut tre dfinie
partir du rsidus de f (z) en la singularit zk . On trouve alors le rsultat suivant.
1. par dcomposition en lments simples (voir annexe)

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

27

Thorme 3.3 (thorme des rsidus). Soit f (z) une fonction continue sur la frontire
C dun domaine D et holomorphe dans le domaine D sauf en un nombre fini de points
z1 , z2 , . . ., zN . Alors :
Z
N
X
f (z)dz = 2i
Res(f, zn )
(3.38)
C

n=1

o la frontire C est parcourue dans le sens positif 2 .

Ce rsultat est vrai quelle que soit la nature des singularits intrieures au contour,
seule change la manire de calculer chaque rsidu suivant le type de singularit. Il existe
plusieurs recettes pour calculer le rsidu dune fonction en un point singulier. On peut en
particulier donner des mthodes de calcul pour les trois cas suivants.
Cas dun ple simple.
Si z0 est un ple simple de la fonction f (z), alors son dveloppement en srie de
Laurent est de la forme :
c1
+ c0 + (z z0 )c1 + (z z0 )2 c2 + . . .
(3.39)
f (z) =
z z0
Dans ce cas, il est facile dobtenir c1 , il suffit de multiplier par (z z0 ) et de prendre
la valeur en z0 . Autrement dit, il vient :
Res(f, z0 ) = lim (z z0 )f (z)
zz0

(3.40)

Cas dun ple dordre n.

Si z0 est un ple simple de la fonction f (z), alors son dveloppement en srie de
Laurent est de la forme :
cn+1
c1
cn
+
+ +
+ c0 + (z z0 )c1 + . . .
(3.41)
f (z) =
n
n1
(z z0 )
(z z0 )
z z0
Dans ce cas, on peut multiplier cette galit par (z z0 )n , pour obtenir :
(z z0 )n f (z) = cn + cn+1 (z z0 ) + + c1 (z z0 )n1 + c0 (z z0 )n + . . . (3.42)
En drivant (n 1) fois on a :
dn1
n!
(n + 1)!
(z z0 )n f (z) = (n 1)!c1 + c0 (z z0 ) + +
c1 (z z0 )2 + . . . (3.43)
n1
dz
1!
2!
En faisant tendre z vers z0 , on obtient c1 . Autrement dit, on obtient le rsidu par :
Res(f, z0 ) = lim

zz0

1
dn1
[(z z0 )n f (z)]
n1
(n 1)! dz

(3.44)

Cas dune fonction de la forme f (z) = (z)/(z) o (z) a un zro simple en

z0 , et o (z) est holomorphe en z0 .
On a alors :




(z)
(z)
Res(f, z0 ) = lim (z z0 )
= lim (z z0 )
(3.45)
zz0
zz0
(z)
(z) (z0 )
On voit appratre au dnominateur la drive de en z0 , il vient donc :
Res(f, z0 ) = lim

zz0

2. de sorte que le domaine soit gauche de la frontire

(z)
0 (z)

(3.46)

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

28

e
Exemple 3.3. Calculer les rsidus de f (z) = z(za)
3 , en z = 0 et en z = a.
Le calcul du rsidu en z = 0 est immdiat avec (3.40) :

Res(f, 0) = lim z
z0

ez
1
ez
=
lim
=
z(z a)3 z0 (z a)3
a3

(3.47)

Le ple en z = a est un ple triple, donc le calcul du rsidu en z = a se fait en appliquant

(3.44) :
"
"  #
(2) #
(2)
1
ez
1
ez
3
Res(f, a) = lim
(z a)
= lim
(3.48)
2! za
z(z a)3
2 za
z
=

1
ez (z 2 2z + 2)
ea (a2 2a + 2)
lim
=
2 za
z3
2a3

(3.49)

1
Exemple 3.4. Calculer les rsidus de f (z) = z2 +a
2 en ses singularits : z = ia et z = ia.
2
2
En posant (z) = 1, et (z) = z + a , on vrifie tre dans le cadre du troisime cas,
avec 0 (z) = 2z, il vient alors :

Res(f, ia) =
Exemple 3.5. Montrer que :
Z
C(0,2a)

3.4

1
2ia

et Res(f, ia) =

1
2ia

ez
2 + ea (a2 2a + 2)
dz
=
2i
z(z a)3
2a3

(3.50)

(3.51)

Quelques applications du calcul de rsidus

Dans cette section on dtaille quelques exemples de calculs dintgrales effectus en

utilisant le thorme des rsidus. On se bornera des exemples, limportant tant de voir
les diffrentes techniques (voire recettes) mises en uvre.

3.4.1

Calcul dintgrales de fractions rationnelles

Im

R
Re
-R

Figure 3.3 Contour dintgration

Le but est de calculer lintgrale suivante :
Z +
1
dx
4
1 + x

(3.52)

Pour pouvoir appliquer les thormes de Cauchy et des rsidus, il faut fermer le contour
dintgration. On peut, par exemple, choisir le demi-cercle suprieur centr en 0 et de

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

29

rayon R (voir figure 3.4.1). Lintgration sur le diamtre du cercle donnera le rsultat
cherch.
Les ples de la fonction (z 4 + 1)1 sont les racines quatrimes de 1, autrement
dit
i(/4+k/2)
les complexes zk = e
, avec k = 0, 1, 2, 3. Seules les racines z0 = (1 + i)/ 2 et
z1 = (1 + i)/ 2 sont dans le contour dintgration. Le thorme des rsidus donne :
Z
1
dx = 2i ((Res(f, z0 ) + Res(f, z1 ))
(3.53)
4
C 1+x
La rgle de calcul des rsidus (3.46) donne : Res(f, z) = 1/(4z 3 ), donc :


Z
1

1 i 1 i
+
=
dx = 2i
4
4 2
4 2
2
C 1+x

(3.54)

Reste maintenant dterminer la contribution du demi cercle ouvert dans lintgrale.

On peut se douter quen faisant tendre le rayon vers linfini, la fonction se comporte en
1/x4 sur un contour de longueur R, ce qui devrait se traduire par une contribution
nulle. tablissons-le plus rigoureusement en utilisant lingalit fondamentale. Pour cela
trouvons un majorant de f (z) sur le demi cercle ouvert C 0 . Sur le demi cercle, z est dfini
par z = Rei , on a donc :
inf |R4 ei4 + 1| = inf 0 |R4 cos(4) + iR4 sin(4) + 1|

zC 0

(3.55)

zC

= inf 0 (R4 cos(4) + 1)2 + R8 sin2 (4)

zC

1/2
= inf 0 R8 + 2R4 cos(4) + 1
zC


= R4 1 = R4 1
On a donc la majoration suivante

Z

R
dz 

 0 z 4 + 1  R4 1 0,
C

1/2

pour R

On avait tabli prcdemment :

Z +R
Z
Z
dz
dz

dz
=
+
=
4
4
4
2
C z +1
R z + 1
C0 z + 1

(3.56)
(3.57)
(3.58)

(3.59)

(3.60)

En passant la limite : R , la contribution de la deuxime intgrale sannule, et on

obtient :
Z +
dz

=
(3.61)
4
2
z + 1

3.4.2

Calcul dintgrales de fonctions trigonomtriques

Il sagit des intgrales du type :

Z

R(cos , sin )d

(3.62)

o la fonction R est une fraction rationnelle. Dans ce cas, il est souvent judicieux de poser
le changement de variable : z = ei et dz = iei d = izd, en effet les fonctions cosinus
et sinus sont les parties relle et imaginaire de z (avec z = z 1 ) et on a alors :


Z
z + z 1 z z 1 1
R
,
dz
(3.63)
2
2i
iz
C(0,1)

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

30

il est alors possible de transformer lexpression en une fraction de polynmes en puissance

positives de z et de se ramener au cas prcdent. Seules les racines du dnominateur
lintrieur du cercle unit sont prendre en compte pour le calcul de rsidu.
Exemple 3.6. Prouver lgalit suivante :
Z 2
0

2
d
=
2 + cos
3

(3.64)

On opre le changement de variable z = ei et dz = izd, lintgrale devient alors :

Z 2
Z
Z
d
dz
1
2
dz
=
=
(3.65)
1
2+1
z+z
2 + cos
iz
i
4z
+
z
0
C(0,R) 2 +
C(0,R)
2

Les racines du polynme du dnominateur sont z1 = 2 3 et z2 = 2 + 3. Seule z2

est dans C(0, 1), donc :


Z 2
2
1
1
2
d
= 2iRes
, z2 = 4
=
(3.66)
2
1 + 2 cos
i
4z + z + 1
4 + 2z2
3
0

3.4.3

Calcul de sommes de sries

Pour calculer la somme de la srie un , on cherche exprimer cette somme comme

tant la somme des rsidus dune fonction en diffrents points. Pour chaque entier n, on
cherchera exprimer le terme un comme tant le rsidu en z = n dune fonction lie un .
Pour cela on utilise la fonction cotg(z)f (z) o f (z) est dfinie comme un en remplaant
la variable entire n par la variable complexe z (f (n) = un ). Cette mthode peut paratre
parachute 3 mais son intrt repose sur le fait que les singularits de la fonction sont tous
les entiers relatifs n Z (car sin(n) = 0), et sur la proprit suivante :


cos(n)f (n)
cos(z)
f (z), n =
= f (n) = un (3.67)
Res (cotg(z)f (z), n) = Res
sin(z)
cos(n)
De ce fait, la somme des rsidus est gale la somme de la srie un . Reste alors dfinir
un contour englobant tous les points z = n, et calculer la valeur de lintgrale.
Exemple 3.7. Calculer la somme suivante :

X
n=1

1
1 + n2

Pour calculer cette somme, on considre lintgrale suivante :

Z
cos(z)
dz
2
C sin(z)(1 + z )

(3.68)

(3.69)

o le contour C est le carr de sommets (N + 1/2) i(N + 1/2). Les ples de la fonction
f (z) =
3. dailleurs elle lest

cos(z)
sin(z)(1 + z 2 )

(3.70)

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

31

sont tous les entiers n tels que N n N , et les racines carres de 1, soit i et i. Le
thorme des rsidus nous permet de calculer lintgrale par :
!
Z
N
X
cos(z)
dz = 2i
Res(f, n) + Res(f, i) + Res(f, i)
(3.71)
2
C sin(z)(1 + z )
n=N
Les diffrents rsidus sont donns par :
cos(n)
1
=
cos(n)(1 + n2 ) + sin(n)2n
1 + n2



e +e
cos(i)
=
Res(f, i) =
2i sin(i)
2 e e


cos(i)
e + e
Res(f, i) =
=
2i sin(i)
2 e e
Res(f, n) =

(3.72)
(3.73)
(3.74)

On a donc :
Z
C

X 1
cos(z)
e + e
dz
=
2i
2
+
1
+

sin(z)(1 + z 2 )
1 + n2
e e
n=1

!
(3.75)

Reste calculer lintgrale, pour cela on tente dutiliser lingalit fondamentale sur le
carr C de sommets (N + 1/2) i(N + 1/2), o N est un entier. Ce contour, parcouru
dans le sens positif entoure les points z = n, pour N n N . On admet lgalit
suivante :


 cos(z) 2 cosh(2y) + cos(2x)


(3.76)
 sin(z)  = cosh(2y) cos(2x)
Sur les cots verticaux du carr, nots V et V+ , on a x = (N + 1/2), autrement dit il
vient : cos(2x) = 1, et :


 cos(z) 2 cosh(2y) 1


(3.77)
 sin(z)  = cosh(2y) + 1 < 1
De plus on a la majoration suivante :


 1 
1


 1 + z 2  < (N 1/2)2
En utilisant lingalit fondamentale, il vient :
Z




cos(z)
2N + 1

dz 
0, pour N

2
sin(z)(1 + z )
(N 1/2)2

(3.78)

(3.79)

Sur les cots horizontaux du carr, nots H+ et H , on a y = (N + 1/2). On a donc :



 cos(z) 2 cosh(2y) + cos(2x)
cosh(2N + ) + 1


 sin(z)  = cosh(2y) cos(2x) cosh(2N + ) 1 = K(N ) 1, pour N
(3.80)
En utilisant lingalit fondamentale, on a :
Z


 (2N + 1)K(N )
cos(z)

dz 
0, pour N
(3.81)

2
N2
H sin(z)(1 + z )
R
On a donc tabli que lintgrale de C f (z)cotan(z)dz 0, lorsque N , ce qui
permet de conclure pour la somme recherche par :



X
1
e + e
1
=

(3.82)
2

1
+
n
2
e

e
2
n=1

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

3.4.4

32

Calcul dintgrales relles sur un axe

On utilise les intgrale de fonctions complexes pour calculer certaines intgrales relles,
sur laxe rel (ou un demi axe rel). Pour cela on dfinit un contour longeant laxe rel,
ferm par un contour, par exemple un demi cercle dont le rayon tend vers linfini. Le thorme des rsidus permet de calculer lintgrale sur le contour ferm en tudiant les rsidus
correspondant aux ples intrieurs au contour. Soit lingalit fondamentale permet de
majorer la contribution de larc infini par un terme nul, soit ce terme peut se calculer
explicitement (par un changement de variable par exemple). On peut alors conclure sur
la valeur de lintgrale sur laxe rel.
Dans le cas du calcul sur le demi axe rel rel, deux cas de figure se prsentent gnralement. Si la fonction est paire, on est ramen au cas prcdent car lintgrale sur R
est gale 2 fois lintgrale sur R+ . Dans le cas dune fonction impaire ou quelconque, il
faudra choisir un autre contour, par exemple un quart de cercle dont le rayon tend vers
linfini, un carr, etc.
Im
G
i
-R

Re

Figure 3.4 Contour dintgration C

Exemple 3.8. Montrer que :

Z

eix
dx
=
1 + x2
e

(3.83)

dfini par le demi-cercle ferm suprieur centr en

On considre un contour ferm
z = 0 et de rayon R > 1. La seule singularit prsente
dans le contour dintgration est
R
z1 = i et le thorme des rsidus permet dobtenir f (z)dz = e . Lingalit fondamentale
permet de majorer le module de lintgrale sur le demi cercle ouvert par RR
2 1 . En faisant
tendre R vers + on montre que lintgrale sur le demi cercle ouvert sannule et on
obtient le rsultat demand.

3.4.5

Calcul dintgrales de fonctions multivalentes

La difficult dans le cas des fonctions multivalentes rside dans la possibilit quont
ces fonctions de sauter dune branche lautre, suivant le parcours effectu. Par exemple
si la variable z dcrit un cercle C(0, R) dans le sens positif, son argument augmente de
2 et la fonction change de branche. De ce fait elle change de valeur et les deux intgrales
le long de parcours infiniment proches ne se compenseront pas forcment, comme nous
allons le constater dans lexemple suivant.
Exemple 3.9. Calculer lintgrale suivante :
Z
x
dx pour
1+x
0

1<<0

(3.84)

La fonction x est clairement multivalente car :

z = rei(+2k)

z = r ei(+2k)

(3.85)

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

33

Im
G
R
r

-1 g

B Re

Figure 3.5 Contour dintgration

Donc z na pas la mme valeur suivant la ralisation de z (cest dire suivant k). Pour
rendre cette fonction univalente, on peut choisir la coupure de Riemann dfinie par le
demi axe rel positif. Dans ce cas on choisit un contour dintgration longeant le demi axe
rel sur lequel on cherche calculer lintgrale. Pour fermer le contour on parcourt dans
le sens horaire le cercle = C(0, R), avec R > 1, puis le demi axe rel positif parcouru
dans le sens dcroissant et, dans le sens anti-horaire le cercle = C(0, r), avec r < 1. Ce
contour est reprsent par la figure 3.4.5. On note C = [A B] [A0 B 0 ] .
La fonction intgre a deux ples en z = 0 et en z = 1. Seul le ple en z = 1 est
dans le contour dintgration. Le thorme des rsidus donne donc :
Z
z
dz = 2iRes(f, 1) = 2iei
(3.86)
1
+
z
C
Sur le segment [A B], on a z = x et dz = dx. Sur le segment [A0 B 0 ], on a z = xei2 et
dz = dx. On a donc :
Z
Z R
Z
Z R i2
Z
x
x
x
x e
x
dx =
dx +
dx
dx
dx
(3.87)
1+x
C 1+x
r 1+x
1+x
r
1+x
Z
Z
Z

R x
x
x
2i
dx +
dx
dx
(3.88)
= 1e
r 1+x
1+x
1+x
On cherche alors valuer la contribution des deux cercles, pour cela on utilise lingalit
fondamentale pour majorer ces intgrales.
Sur le cercle = C(0, r), on a :
 i 


 r e
 r

(3.89)
 1 + rei  1 r
Lingalit fondamentale donne donc :
Z


 2r+1
x


dx
0 pour r 0


1
+
x
1r
C(0,r)
Autrement dit, lintgrale sur est nulle lorsque r tend vers 0.
Sur le cercle = C(0, R), on a :
 i 

 R e


 R
 1 + Rei  R 1

(3.90)

(3.91)

CHAPITRE 3. SRIES ENTIRES ET RSIDUS

Lingalit fondamentale donne donc :

Z
 2R+1

x


dx
0 pour R


1
+
x
R1
C(0,R)

34

(3.92)

Autrement dit, lintgrale sur est nulle lorsque R tend vers .

Finalement, en passant aux limites : r 0 et R , lintgrale sur C devient :
Z
Z

R x
x
2i
dx = 1 e
dx = 2iei
(3.93)
r 1+x
C 1+x
Ce qui donne le rsultat final :
Z
x
2iei
2i

dx =
= i
=
2i
i
1+x
1e
e
e
sin()
0

(3.94)

Chapitre 4
Sujets de travaux dirigs
On trouvera dans ce chapitre les diffrents sujets des sances de TD. Les TD ont
respectivement trait :
sance 1. Limite, Drivation, Intgrales de Cauchy.
sance 2. Intgrales de Cauchy (suite) et Rsidus.
sance 3. Rsidus, Sries de Laurent et de Taylor.

35

37
Travaux dirigs de mathmatiques
Sance 1
Limite, Drivation et Intgrales de Cauchy

1. Les fonctions suivantes ont-elles une limite lorsque z 0

3
(a) f (z) = x2z+y4
xy
(b) f (z) = x+iy
2. Dterminer, et reprsenter dans le plan complexe les racines cubiques de z = 1 + i.
En dduire le point de branchement de f (z) = z 1/3 ainsi quune coupure de Riemann.
1/2

3. On considre la fonction f (z) = (z 2 + 1)

(a) Montrer que z = i sont des points de branchement de f (z).
(b) Montrer quun tour complet autour des deux points de branchement la fois
nentrane pas de changement de branche de f (z).
(c) Dterminer des coupures de Riemann rendant la fonction f (z) univalente.
4. Montrer que, en coordonnes polaires, les quations de Cauchy-Riemann prennent
la forme :
u
1 v
v
1 u
=
et
=
r
r
r
r
En dduire que la drive scrit


df (z)
u(r, )
v(r, )
i
=e
+i
dz
r
r
En dduire la drive de la fonction f (z) = z , pour Z
R
5. valuer C zdz, de z1 = 0, z2 = 4 + 2i, le long de la courbe C, si :
(a) C est dfinie par z = t2 + it.
(b) C est forme des segments [0 2i], et [2i 4 + 2i].
R
6. valuer C |z|dz, de z1 = R, z2 = R, le long de la courbe C, si :
(a) C est dfinie par le demi cercle suprieur.
(b) C est dfinie par le demi cercle infrieur.
(c) C est dfinie par le [R R].
7. On considre une fonction f (z) holomorphe sur le disque D(0, R), avec R > 1. Soient
deux nombres complexes a et b distincts appartenant au disque D.
R
f (z)
(b)
1
(a) Montrer que 2i
dz = f (a)f
ab
C(0,1) (za)(zb)
(b) Que se passe t-il lorsque a b ?
R
z
i
8. Montrer que C(0,R) cos
dz = 12
z5
R
ez
9. Calculer C z(1z)
3 dz, o C est un cercle de centre z0 = 1, et de rayon R :
(a) avec R < 1
(b) avec 1 < R < 2
(c) avec 2 < R
R eiz
10. Calculer C 1+z
2 dz, o C est le cercle de centre 0, et de rayon R > 1
R eiz
11. Calculer 1+z2 dz, o est le demi-cercle ferm suprieur de rayon R > 1, et de
R +
R + sin(x)
centre 0. En dduire cos(x)
dx
et
dx.
2
1+x
1+x2

38
Travaux dirigs de mathmatiques
Sance 2
Intgrales de Cauchy (suite) et Rsidus

1. valuer

R
C

sin(z 2 )+cos(z 2 )
dz,
(z1)(z2)

R +

et

e2z
dz,
C (z+1)4

o C est le cercle dfini par |z| = 3.

, pour 0 < < 1.

2. Montrer que : 0 x1+x dx = sin()
R + sin(x)
3. Montrer que 0
dx = 2 . Ce rsultat sera tabli en calculant lintgrale de la
x
iz
fonction complexe f (z) = ez , sur un contour dterminer.

4. On considre la fonction de la variable complexe f (z) =

zln(z)
.
(1+z)2

(a) Dterminer la coupure de Riemann telle que f (z) soit univalente.

(b) Dfinir un contour C ne franchissant pas cette coupure, et calculer
R + xln(x)
(c) En dduire la valeur de 0
dx.
(1+x)2

zln(z)
dz.
C (1+z)2

5. Effet Magnus sur un ballon (Extrait de la colle 2009-2010)

On modlise en 2D lcoulement de lair autour dun ballon de football (ou autre)
de rayon R centr en 0, autour duquel un fluide (lair) scoule avec une vitesse
v = vx + ivy . On note f le potentiel complexe du champ de vitesse dfini par :
df (z)
= vx ivy
dz
On peut montrer que la force F = Fx + iFy exerce sur le ballon est donne par :
= Fx iFy = i
F
2

Z 
C

df (z)
dz

2
dz

o C est le contour du ballon.

(a) Si le ballon ne tourne pas sur lui mme et que lcoulement de lair est uniforme,
alors le potentiel f (z) est donn par :


R2
f (z) = V z +
z
Montrer que dans ce cas, la force exerce par le fluide sur le ballon est nulle
(on na pas pris en compte la viscosit du fluide).
(b) Dans le cas o le ballon tourne sur lui mme , le potentiel est donn par :


R2
i
f (z) = V z +

ln(z)
z
2
o est la circulation de lair autour du ballon (suppose tre une fonction
connue de la vitesse de rotation du ballon). Montrer que le ballon subit une
force selon laxe vertical et donner son expression en fonction de , et V .

39
Travaux dirigs de mathmatiques
Sance 3
Rsidus, Sries de Laurent et de Taylor

1. valuer
rentes :

ez
dz,
C (z 2 + 2 )2

o C est le cercle dfini par |z| = 4, de deux manires diff-

(a) par un calcul dintgrales de Cauchy,

(b) par un calcul de rsidus
2. Dvelopper en srie de Taylor les fonctions suivantes en z0
(a) f (z) = ln(z), en z0 = 1
(b) f (z) = z , en z0 = 1.
3. Dvelopper en sries de Laurent les fonctions f (z) suivantes en z0 en prcisant leur
domaine de convergence et en dduire les rsidus Res(f, z0 ).
(a) f (z) =

e2z
,
(z1)3

(c) f (z) =
(d) f (z) =

zsin(z)
, en z0 = 0
z3
z
, en z0 =
(z+1)(z+2)

(e) f (z) =

1
,
z(z1)

(f) f (z) =

1
, pour z0 = 1
z(z1)
R + dx
, aprs avoir
x6 +1
0

en z0 = 1


1
(b) f (z) = (z 3)sin z+2
, en z0 = 2
2

pour z0 = 0

choisi un contour dintgration pour la fonction

4. valuer I =
complexe correspondante (pour cela observer si la fonction intgre est univalente
ou multivalente, si elle est paire ou impaire, si le point z = 0 pose problme ou non,
. . .).
5. Montrer que :
R 2 cos(3)

(a) 0 54cos
d = 12
R 2
1
5
(b) 0 (53sin)
2 d = 32

R 2 sin(7)
7
(c) 0 2+sin()
d = 2(332)

Ce support de cours est destination exclusive des tudiants inscrits lENSG-INPL.

La reproduction des fins pdagogiques hors ENSG en est interdite
Toute demande devra tre adresse lENSG, qui transmettra lauteur