Vous êtes sur la page 1sur 8

www.stsmsth.

blog

spot.com

www.HDstudy.do.am | Un site web spcial pour SM ; Sciences de la matire


Cours, TD, TP, Examens, Livres et plus | 1re, 2me et 3me anne

CHAPITRE 3
INTGRABILIT DANS C
Dfinition 3.0.1 Chemin :
Soit un ouvert de C. Un chemin est une application continue, dun intervalle ferm I de R
(non rduit un point) dans . est suppos tre continment drivable par morceaux, cest
dire quil est une primitive dune fonction continue par morceaux.
: I = [a, b] ,

a,b

Lorsque t dcrit [a, b], le point (t) dcrit dans le plan C, une trajectoire (I).
(a) est appel lorigine du chemin et (b) son extrmit.
Exemple 3.0.1
le chemin est un segment de droite.
:

[0, 1]
t 7

C
(t) = a(1 t) + bt

a et b deux complexes donns. Le chemin est un segment de droite ferm dorigine le point
daffixe a et dextrmit le point daffixe b.
le chemin est un cercle.
: [0, 2]
t

C
7 (t) = a + r eit

a C et r > 0. Le chemin est un cercle de centre le point daffixe a, et de rayon r. On remarque


que (0) = (2), le chemin est donc ferm.
Dfinition 3.0.2 Lacet :
Tout chemin o lorigine se confond avec lextrmit est appel un lacet.
Dfinition 3.0.3 Chemins opposs :
Etant donn un chemin de [a, b] dans C , on appelle chemin oppos , et on note 0 le
chemin :
0 : t 7 (a + b t)
On a 0 (a) = (b) et 0 (b) = (a).
0 est le chemin parcouru en sens inverse.
15

www.stsmsth.blog

spot.com

Dfinition 3.0.4 Juxtaposition de deux chemins :


Etant donns deux chemins :
1 : [a, b] C
2 : [c, d] C,
et tels que 1 (b) = 2 (c).
On appelle juxtaposition de 1 et de 2 et on note = 1 2 le chemin : : [a, b+dc] C,
tel que :

(t) = 1 (t)
pour t [a, b]
(t) = 2 (t b + c) pour t [b, b + d c]
On a (a) = 1 (a) et (b + d c) = 2 (d)
Dfinition 3.0.5 Chemins quivalents :
Soient 1 : I1 = [a, b] C et 2 : I2 = [c, d] C deux chemins. On dit que 1 et 2
sont quivalents sil existe une bijection croissante : I2 I1 , continue et continment
drivable par morceaux, ainsi que la fonction rciproque 1 , telle que 2 (t) = 1 ((t)) dans I2 .
1 (I1 ) et 2 (I2 ) sont alors les mmes. les origines et les extrmits de 1 et 2 sont les mmes.
Exemple 3.0.2 1 est un chemin donn, considrons le chemin 2 tel que :
2 : t 1 (t + ) o > 0 et rel quelconque. les chemins 1 et 2 sont quivalents.
remarquons que lorsque t parcourt le segment [a, b], alors (t + ) parcourt le segment
[a + , b + ]. Dans la pratique, il est bon de ne considrer que le chemin [0, 1].

3.1 Intgration le long dun chemin


: [a, b] C un chemin. Soit f une fonction complexe continue par morceaux :
f : ([a, b]) C, alors la fonction compose t f ((t)). (t), est continue par
morceaux dans [a, b], par suite son intgrale dans cet intervalle est dfinie.
Dfinition 3.1.1 On appelle intgrale de f le long du chemin , le nombre complexe :
Z b
Z
f ((t)). (t) dt
f (z) dz =
a

Proprits :

R
Rb
Si f est telle que | f (z)| M, pour tout z (I), alors f (z) dz M a | (t)|dt = M,
est la longueur du chemin .
Si 1 et 2 sont deux chemins quivalents alors :
Z
Z
f (z) dz =
f (z) dz
1

Si 0 et sont deux chemins opposs alors :


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

Si est la juxtaposition de deux chemins 1 et 2 alors :


Z
Z
Z
f (z) dz =
f (z) dz +
f (z) dz
=1 2

Thorme important
M r A N -E

16

www.stsmsth.blog

spot.com

Thorme 3.1.1 f : B(a, r) C C, une fonction drivable, alors pour tout lacet dans
C, on a
Z
f (z) dz = 0

Preuve
:
Z
Z

f (z) dz =

f ((t)) (t) dt =

b
f ((t)) d((t)) = f ((t)) a = f ((b)) f ((a)) = 0

Thorme 3.1.2 (A admettre) :


Pour une fonction drivable dans D C Zadmette une primitive dans D ; il faut et il suffit que
pour tout lacet contenu dans D, on ait
f (z) dz = 0.

Lorsquil en est ainsi, toute primitive F de f dans D sobtient de la faon suivante :


Z
F(z) = C +
f (u) du
(z)

o (z) est un chemin quelconque contenu dans D, dorigine un point fixe (arbitraire) z0 D
et dextrmit z. La diffrence de deux primitives de f dans D est une constante.
Exemple 3.1.1 Soit D = C {0}, et soit f (z) = 1/z qui est drivable pour z dans D. Si lon
considre le lacet : t eit dfini dans [0, 2], qui est videmment contenu dans D, on a
Z

dz
=
z

eit
dt = 2i , 0
eit

Do f na pas de primitive dans D.

3.2 Notion dhomotopie


Lide intuitive dhomotopie de deux chemins est celle dune dformation continue
faisant passer de lun lautre.
Dfinition 3.2.1 Soient D un ensemble ouvert de C, 1 : I C, 2 : I C deux
chemins contenus dans D, dfinis dans le mme intervalle I = [a, b]. On appelle homotopie de
1 2 dans D, une application continue : I J D, o J = [c, d] est un intervalle de
R, telle que (t, c) = 1 (t) et (t, d) = 2 (t) pour tout t I.
Remarque :
: On dit que 1 est homotope 2 sil existe une homotopie de 1 2 dans D.
: On dfinit de la mme manire lhomotopie de deux lacets dans D.
Soit : I J D, une homotopie de 2 1 , et en plus (a, s) = (b, s) s J.

3.2.1 Ensemble simplement connexe :


Soit D un ouvert de C, on dit que D est simplement connexe si tout lacet est homotope
un point ( un point=lacet constant).

17

M r A N -E

www.stsmsth.blog

spot.com

Thorme 3.2.1 f : C C une fonction drivable ; 1 et 2 deux lacets homotopes alors :


Z

f (z) dz =

f (z) dz

Corollaire 3.2.1 Soit D un ouvert de C simplement connexe et f une fonction complexe


drivable de D dans C. Alors un lacet dans D, on a
Z

f (z) dz = 0,

en particulier :
f admet une primitive

f (z) dz = 0, lacet.

3.2.2 indice dun point par rapport un lacet


Soit : [a, b] D un lacet, et z0 < ([a, b]), on appelle indice du point z0 par rapport
, le nombre
Z
1
dz
J(z0 , ) =
2i z z0
Proposition 3.2.1
Si 1 et 2 sont deux chemins homotopes alors, J(z0 , 1 ) = J(z0 , 2 ).
J(z0 , ) est toujours un nombre entier positif ou ngatif.
Preuve :
Montrons la deuxime assertion que J(z0 , ) Z.
Z t
Z b
(s)
(s)
Soit h(t) =
ds, et donc h(b) =
ds = 2iJ(z0 , ).
a (s) z0
a (s) z0
(t)
On a h (t) =
, posons g(t) = ((t) z0 ) eh(t) , do
(t) z0
g (t) = [h (t)((t) z0 ) + (t)] eh(t) = [ (t) + (t)] eh(t) = 0, g est donc constante. On
a donc les quivalences suivantes
g(a) = g(b) ((a) z0 ) eh(a) = ((b) z0 ) eh(b) h(a) = h(b).
a

(s)
Comme h(a) =
ds = 0, la fonction exponentielle tant priodique de
a (s) z0
priode 2i, on a alors h(b) = 2ki o k Z.
Finalement 2ki = 2i.J(z0 , ) J(z0 , ) = k Z.
Interprtation gomtrique : Le nombre J(z0 , ) dsigne le nombre de tours que fait
autour de z0 . Si k est positif, les tours se font dans le sens trigonomtrique, sinon k est
ngatif.
Z

M r A N -E

18

www.sts

msth.blogspot.com
3.3 Formule de Cauchy
Dfinition 3.3.1 fonctions analytiques :
Une fonction f : C est dite analytique au point z0 si elle est dveloppable en srie entire
au voisinage de z0 .

X
f (n) (z0 )
f (z) =
an (z z0 ) =
(z z0 )n
n!
n=0
n=0
n

Thorme 3.3.1 (De Cauchy)


Soit un ouvert simplement connexe, : [a, b] C un lacet dans . Pour toute fonction
analytique f : C et pour tout z0 < ([a, b]) on a
Z
f (z)
1
f (z0 ) I(z0 , ) =
dz
2i z z0
Preuve :
Posons :

f (z) f (z )
0

z z0
g(z) =

f (z0 )

f analytique dans ;

X
f (n) (z0 )
f (z) =
(z z0 )n =
n!
n=0

si

z , z0

si

z = z0

X f (n) (z0 )
f (z) f (z0 )
f (z0 )
g(z) =
= f (z0 ) + (z z0 )
+ =
(z z0 )n1 ;
z z0
2!
n!
n=1
Z
do g est analytique dans qui est simplement connexe, on donc
g(z) dz = 0 =

Z
Z
Z
f (z)
f (z0 )
f (z) f (z0 )
dz = 0
dz
dz = 0.
z z0
z z0
z z0

Do :

f (z)
dz =
z z0

f (z0 )
dz = f (z0 )
z z0

1
dz = 2i f (z0 ) I(z0 , )
z z0

Corollaire 3.3.1 Sous les mmes hypothses que le thorme prcdent, on a :


Z
f (z)
n!
(n)
f (z0 ) I(z0 , ) =
dz
2i (z z0 )n+1

3.4 Gnralisation de la formule de Cauchy


Dfinition 3.4.1 On appelle couronne de centre a et de rayons r1 et r2 lensemble :
C = {z C/0 < r1 < |z a| < r2 }
Proposition 3.4.1

19

M r A N -E

www.stsmsth.blog

spot.com

1. C nest pas simplement connexe.

2. Soient 1 et 2 tels que r1 < 1 < 2 < r2



1 : [0, 2] C


t 7 a + 1 eit
1 et 2 sont homotopes .

2 :

[0, 2]
t 7

C
a + 2 eit

Preuve :
1
1.) Soit f (z) =
elle est analytique dans C . Si r1 < r < r2 et (t) = a + r eit :
za
t 2
Z
Z 2
ri eit
f (z) dz =
dt = 2i , 0
r eit

2.) Soit
: [0, 2] [0, 1] C
(t, s) 7 (t, s) = (1 s)1 (t) + s2 (t)
On a bien :
(t, 0) = 1 (t)
(t, 1) = 2 (t)
(0, s) = (1 s)1 (0) + s2 (0)
= (1 s)1 (2) + s2 (2)
= (2, s)
1 et 2 sont homotopes.
Thorme 3.4.1
f : C C une fonction analytique, et C = {z C/0 < r1 < |z a| < r2 }. Alors pour tout z0
vrifiant 0 < r1 < r1 < |z0 a| < r2 < r2 , on a :
Z
Z
f (z)
f (z)
1
1
dz
dz
f (z0 ) =
2i 2 z z0
2i 1 z z0
avec : 1 (t) = a + r1 eit et 2 (t) = a + r2 eit
Preuve :
Posons

f (z) f (z )
0

z z0
g(z) =

f (z0 )

si

z , z0

si

z = z0

g est analytique,
Z
Z comme 1 etZ 2 sont homotopes,Zalors :
f (z) f (z0 )
f (z) f (z0 )
g(z) dz =
g(z) dz
dz =
dz
z z0
z z0
1
2
1
2
Z

f (z)
dz f (z0 )
z z0

1
dz =
z z0

f (z)
dz f (z0 )
z z0

1
dz est nulle puisque z0 est lextrieur de 1 .
z z0

Thorme 3.4.2
Soient C = {z C/0 < r1 < |z a| < r2 }et f : C C,
M r A N -E

20

1
dz
z z0

www
.sts
msCth.blog
: [0, 2]

et soit est le lacet

alors pour tout z C on a :

t
7 (t) = a + r eit

f (z) =

cn (z a) +
n

n=0

avec :

1
cn =
2i

n=1

f (z)
dz
(z a)n+1

Ou sous forme condens :


f (z) =

spot.com

r1 < r < r2

dn
(z a)n

1
dn =
2i

et

f (z)(z a)n1 dz

an (z a)n
nZ
Z
1
an =
f (z)(z a)n1 dz
2i

3.5 Dveloppement de Laurent


Dfinition 3.5.1
f : C est dite dveloppable en srie de Laurent au voisinage de a si
f (z) =

cn (z a) +
n

n=0

X
n=1

dn
(z a)n

n
.
o
pour tout z C = z C 0 < r1 < |z a| < r2

Remarque : X
Posons f (z) =
an (z a)n , et soit (t) = a + r eit = z r1 < r < r2
X nZ
f ((t)) =
an rn eint ; soit p Z ; on a alors :
nZ

Z 2
Z 2 X
Z 2
X

ipt
ipt
n
int
n
eit(np) dt = 2 ap rp
f ((t)) e
dt =
an r e e dt =
an r

0
0
0
nZ
nZ
Z 2
1
f ((t)) eipt dt = que les cfficients de Laurent sont uniques et par
= ap =
2rp 0
consquent, le dveloppement de Laurent dune fonction est unique.
Exemples :
1er :
2
Donner le dveloppement de Laurent de f (z) =
dans la couronne C =
(z + 1)(z + 3)
n
.
o
z C 1 < |z| < 2 .
Rponse :
2
1
1
crivons que f (z) =
=

.
(z + 1)(z + 3) z + 1 z + 3
1

|z| > 1 =
< 1, do
|z|

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

21

M r A N -E

w|z|ww.stsmsth.blog

< 1, do
3

1
zn X (1)n zn
1X
1
=
= 
(1)n n =
z
z+3
3 n=0
3
3n+1
n=0
3 1+
3
finalement pour 1 < |z| < 3 on a :

|z| < 3 =

f (z) =

X
(1)n
n=0

zn+1

M r A N -E

X
(1)n zn
n=0

3n+1

22

spot.com



X
1
zn
n
=
(1)

zn+1 3n+1
n=0

Vous aimerez peut-être aussi