5

Chapitre 1

Fonctions Analytiques

1.1 Le plan complexe

1.1.1 Rappels
Soit z C, alors ! (x,y) IR2 tel que z
= x + i y.
On dnit le module de z comme |z| = x2 + y 2 .
y
On peut aussi reprer z par des coordonnes polaires, en posant : z = ei , avec tan = et = |z|.
x
On a :
si z = 0, alors nest pas dni,
si z = 0, alors est dni 2k prs.

1.1.2 Topologie dans le plan complexe

On dnit une distance dans le plan complexe par :
(z1 ,z2 ) C2 , d(z1 ,z2 ) = |z1 z2 |

Dnition :
On appelle disque ouvert de centre z0 et de rayon r > 0 lensemble :
D(z0 ,r) = {z C/|z z0 | < r}
Im

z0
r0
Re
On appelle voisinage dun point z0 un disque ouvert quelconque de centre z0 .
Un sous-ensemble U est un ouvert de U si chaque z de U possde un voisinage entirement inclus dans U .
Le complmentaire par rapport C dun sous-ensemble ouvert est dit ferm.
On dnit le disque ferm de centre z0 et de rayon r, D(z0 ,r) = {z C/|z z0 |
r}.

Dnition : Connexe
Un sous-ensemble U de C est connexe si deux points quelconques de U peuvent tre rejoints par une ligne polygonale
incluse dans U.
Si de plus U est ouvert alors il est appel domaine.
6 CHAPITRE 1. FONCTIONS ANALYTIQUES

U est simplement U est doublement U nest pas

connexe connexe connexe

1.2 Fonctions dune variable complexe

1.2.1 Premires dnitions

Dnition :
Soit U une partie de C. On appelle fonction dune variable complexe une application : f : U C. On a f (x + i y) =
u(x,y) + i v(x,y), o u et v sont deux fonctions relles de deux variables relles.

Exemples
f: C C
x + iy  x2 y 2 + 2i x y
z  z2

f: C C
x + iy  x i y
z  z
f: C C
x + iy  ex cos y + i ex sin y
z  ez (exponentielle complexe)
f: C C
ey + ey ey ey eiz + eiz
x + iy  cos x + i sin x =
2 2 2
z  cos z (cosinus complexe)

1.2.2 Limites et continuit

Limites

Dans la suite du paragraphe, on utilisera f : U C.

Dnition :
Soit z0 U . On dit que f tend vers une limite l quand z z0 si :
> 0, () tel que |z z0 | < |f (z) l| <
1.2. FONCTIONS DUNE VARIABLE COMPLEXE 7

Im Im

z
f(z)
z0 l
()
Re Re

Remarque
Daprs la dnition, f a une limite si elle tend vers la mme valeur suivant toutes les directions du plan. Pour
prouver que f nadmet pas de limite en un point il sut de trouver deux directions dapproche de ce point telles
que la fonction ne tende pas vers la mme valeur suivant lune ou lautre.

Exemple
f : C \ {0} C
x2 y 2 2xy
x + iy  2 2
+i 2
x +y x + y2
z
z 

z

Pour x R :
lim f (x) = 1
x0

Pour y iR :
lim f (i y) = 1
y0

Im Im

Re Re

f na donc pas de limite en 0.

Dnition :
On dit que f admet une limite l quand |z| tend vers + si : > 0, A() IR+ tel que |z| > A |f (z) l| <

Continuit

Dnition :
Soit z0 C, et f dnie sur un voisinage de z0 . On dit que f est continue en z0 si :
f admet une limite nie en z0
lim f (z) concide avec f (z0 )
zz0

Proposition
f est continue si et seulement si les fonctions u(x,y) et v(x,y) dnies prcdemment sont continues.
8 CHAPITRE 1. FONCTIONS ANALYTIQUES
Drive dune fonction dune variable complexe

Dnition :
Soit z0 C, et soit f dnie et continue sur un voisinage de z0 . On dit que f est drivable en z0 si lexpression :
f (z) f (z0 )
z z0
admet une limite quand z tend vers z0 .
On note alors cette limite f  (z0 ).

Exemple
Considrons la fonction f dnie et continue sur C, et telle que
f (z) = |z|2 . f est-elle drivable?
On a :
f (z0 + z) f (z0 ) z
= z0 + z0 + z
z z
Si z0 = 0, alors f  (z0 ) = 0, f est donc drivable en 0.
Si z0 = 0, alors on se ramne lexemple prcdent.
Donc f nest pas drivable en dehors de 0.

Proposition
Soient C et f,g : C C drivables. On a :

( f ) = f
(f + g) = f  + g
(f g) = f  g + f g
 
f gf  f g 
= , avec g(z) = 0
g g2
(f g) = g  (f  g)

Conditions de Cauchy-Riemann

Proposition
Soit f = u + i v une fonction dnie et continue sur un voisinage de z0 . Si f est drivable en z0 = x0 + i y0 ,
alors u et v admettent en (x0 ,y0 ) des drives partielles premires par rapport chacune de leurs variables, et
on a :
u v u v
= et =
x y y x

Dmonstration
Par hypothse f est drivable en z0 , donc f  (z0 ) existe.
Pour dmontrer Cauchy-Riemann, on va
considrer deux directions
f (z0 + z) f (z0 )
direntes pour aller vers z0 et on va utiliser le fait que la limite de en z0 est la mme
z z0
suivant toutes les directions.
approche suivant laxe rel (y = 0) :

f (z0 + z) f (z0 ) u(x0 + x,y0 ) u(x0 ,y0 )

lim = lim
z0 z x0 x
v(x0 + x,y0 ) v(x0 ,y0 )
+ i lim
x0 x
u v
= (x0 ,y0 ) + i (x0 ,y0 )
x x
1.2. FONCTIONS DUNE VARIABLE COMPLEXE 9
lapproche suivant laxe imaginaire donne :

f (z0 + z) f (z0 ) v u
lim = (x0 ,y0 ) i (x0 ,y0 )
z0 z y y

On obtient la condition de Cauchy-Riemann en galant les deux rsultats.

Remarque
Cette proposition nadmet pas de rciproque si on ne suppose rien dautre sur les fonctions coordonnes u et v
de f , car on ne considre que deux directions dapproche particulires de z0 .

Exemple
Soit la fonction f dnie sur C par
3 3 3 3
x y + i x + y si z = 0
2
f (z) = x + y 2 x + y2
2

0 si z = 0

f est continue en tout point de C et vrie les relations de Cauchy-Riemann en 0. Cependant on voit que :
f (z)
suivant laxe rel : lim =1+i
z0 z

f (z) 1+i
suivant la premire bissectrice : lim =
z0 z 2
La fonction f nest donc pas drivable en 0, malgr le fait quelle vrie les relations de Cauchy-Riemann.

Proposition
Si les fonctions u et v admettent des drives partielles premires continues sur un voisinage de z0 et si ces
drives satisfont aux relations de Cauchy-Riemann en z = z0 , alors f est drivable en z0 .

Proposition


En pratique,pour calculer lexpression de f (z) quand f est donne partir de u et v, on utilise lune des formules
dduites de la dmonstration des relations de Cauchy-Riemann :

u v v u u u v v
f  (z) = +i (= i = i = +i )
x x y y x y x y

Fonctions analytiques (ou holomorphes)

Dnition :
On dit dune fonction f quelle est analytique dans un ouvert U du plan complexe si et seulement si elle est drivable
en tout point de U .

Proposition
Soit f analytique sur un domaine . Si u et v sont de classe C 2 sur , alors u et v satisfont lquation de
Laplace dans : 2 2

u + u = 0
2
x y 2
2 2

v + v = 0
2
x y 2

Dmonstration
On utilise Cauchy-Riemann et le thorme de Schwartz dinterversion des drives partielles pour une fonction
de classe C 2 de deux variables.
10 CHAPITRE 1. FONCTIONS ANALYTIQUES
Fonctions entires

Dnition :
On appelle fonction entire une fonction analytique sur tout C.

Exemples
f (z) = exp z et f (z) = z 2 sont des fonctions entires.

1.3 Intgration dans le plan complexe

1.3.1 Introduction

Dnition :
Soit : J = [ta ,tb ] C, avec [ta ,tb ] IR, tel que :
peut tre dcrite par (t) = x(t) + i y(t) o x et y sont continues sur J et x et y  continues par morceaux sur J
est injectif, sauf peut-tre aux extrmits (pas de points multiples, sauf ventuellement a=b).
Alors est appel chemin.
Si de plus a = b, est appel contour.
(N.B. : Cette dnition assez restrictive dun chemin ne correspond pas la dnition plus gnrale que lon trouve
dans les ouvrages de rfrences, mais sera nanmoins susante dans le cadre du cours)
Im B Im


A=B

A
Re Re
Chemin Contour
Im Im
A=B
A B
Re Re
Pas chemin Pas contour

1.3.2 Intgration le long dun chemin

Soit un chemin et soit f dnie en tout point de ce chemin. Soit {z0 ,...,zn } une subdivision de , avec z0 = a et
zn = b. Soient de plus 1 ,...,n tels que i [1,n], i ]zi1 ,zi [. On dnit la suite :
n

In = f (k )(zk zk1 ).
k=1

Im

b
z2 z n-1
z1
2 n

1
A
Re
1.3. INTGRATION DANS LE PLAN COMPLEXE 11

Dnition :
Si, quand n de manire ce que |zk zk1 | 0 pour tout k de [1,n], la somme In tend vers une limite
indpendante du choix des zk et des k , alors cette limite est appele intgrale de f le long de et est note :

f (z) dz

Proprit
Si f est continue sur , alors son intgrale le long de existe.
Si on spare la partie relle et la partie imaginaire, on a :
n


In = u(k ) (xk xk1 ) v(k ) (yk yk1 )
k=1

n


+i v(k ) (xk xk1 ) + u(k ) (yk yk1 )
k=1

donc dans les mmes conditions que tout lheure, en faisant tendre n vers linni, on a :
 
I = (udx vdy) + i (vdx + udy)

Les deux intgrales curvilignes qui apparaissent dans lexpression de I

peuvent tre rduites des intgrales ordinaires en utilisant le paramtrage de : z(t) = x(t) + i y(t). On obtient
alors :
 tb

I= f z(t) z  (t) dt
ta

Exemples
1. On considre f (z) = z, intgr sur paramtr par z(t) = R e2it .
Alors :
si t [0, 14 ], on a :
 14
I= R e2it R 2ie2it dt = R2
0

si t [0,1], on a I = 0
1
2. On considre f (z) = , intgr sur : z(t) = R e2it , t [0,1].
z
 1
2iR e2it
I= dt = 2i
0 R e2it
NB : le rsultat est indpendant de R.

Cas particulier
Soit f admettant une primitive, i.e. F telle que F  = f sur un domaine de C.
On intgre f sur un chemin contenu dans , et on a :

I= f (z) dz = F (b) F (a)

si a et b sont les extrmits du chemin considr.

Exemple
Reprenons lexemple prcdent : f (z) = z et : t [0, 14 ]  R e2it .
  iR
1 2
f (z) dz = z = R2
2 R
12 CHAPITRE 1. FONCTIONS ANALYTIQUES
1.3.3 Ingalit de Darboux

Proposition
Soit f intgrable sur un chemin de longueur curviligne L.
Soit M = sup (|f |) (on suppose que M est ni).
Alors on a :
|I|
M L

Dmonstration
En utilisant lingalit triangulaire sur un lment de la suite In , et en utilisant le fait que |f |
M , et que
n
|zk zk1 |
L, on a le rsultat de la proposition.
k=1

Im
z2
zn

z n-1
z1
z0
Re
Jusqu maintenant, on na fait aucune hypothse particulire sur les fonctions considres, on ne sest intress
quaux fonctions continues sur .

1.4 Intgration de fonctions analytiques

1.4.1 Thorme de Cauchy et consquences

Thorme de Cauchy
Soit un domaine simplement connexe, soit f analytique sur , et soit un contour quelconque contenu dans
.
Alors

f (z) dz = 0

Proposition
Soit f analytique sur un domaine simplement connexe, soit A et B deux points de ce domaine et soit 1 et 2
deux chemins contenus dans et ayant pour extrmits A et B, alors on a :
 
f (z) dz = f (z) dz
1 2

1
B
A
2

Dmonstration
On intgre f sur le contour = 1 + (2 ), o 2 correspond au chemin 2 parcouru en sens inverse, et on
utilise la linarit de lintgrale.
1.4. INTGRATION DE FONCTIONS ANALYTIQUES 13
Remarque
Si le domaine nest pas simplement connexe, le thorme
ne
 sapplique pas : 
f (z) dz = 0 mais en gnral f (z) dz = 0.
1 2

2
1

Dnition :
Soit 1 et 2 deux contours dun domaine . On dit que ces deux contours sont homotopes si on peut passer de
lun lautre par une dformation continue en restant dans .

2
1 2 homotopes
1 3

2 3 non homotopes

Un contour est dit homotope un contour ponctuel dans sil est homotope un contour rduit un point
appartenant .
Un domaine est simplement connexe si tout contour de est homotope un contour ponctuel.
Un domaine multiplement connexe est un domaine simplement connexe dont on a retir un ou plusieurs
domaines simplements connexes.

Proposition
Soient f une fonction analytique dans un domaine pouvant tre non simplement connexe et deux contours 1
et 2 de homotopes dans , alors on a, en prenant la mme orientation pour les deux contours :
 
f = f
1 2

Exemple
En reprenant la gure prcdente :
  
f (z) dz = 0 et f (z) dz = f (z) dz
3 1 2

Dmonstration
On considre un contour = 1 +  + (2 ) +  homotope a un point. Les contributions de  et  se
compensant, on a :   
f =0= f f
1 2

,
,,

Proposition
Soit f analytique sur un domaine simplement connexe , alors f admet une primitive sur .
14 CHAPITRE 1. FONCTIONS ANALYTIQUES
1.4.2 Formule intgrale de Cauchy

Proposition
Soit f analytique sur un domaine simplement connexe, et z . Alors on a, pour tout contour de orient
positivement et entourant z :

1 f (z  ) 
f (z) = dz
2i z  z

Dmonstration
f est analytique donc continue sur . On a donc :

> 0,r > 0, |z  z|
r |f (z  ) f (z)|

Considrons le cercle  de centre z et de rayon r.

 
 f (z  ) f (z) 
z   ,  

 r
z z

Le thorme de Darboux donne donc :

 
 f (z  ) f (z)  

 z z
dz 
2 r r

En faisant tendre vers 0, on trouve :

 
f (z  )  f (z)
dz = dz 

z z 

z z

dz 
= f (z) 

z z
= f (z) 2i (cf 1.3.2)

1.4.3 Drivabilit n-ime des fonctions analytiques

Proposition
Soit f analytique sur un domaine , alors f est de classe C sur .
Si de plus est simplement connexe, pour tout contour entourant z
on a :

n! f (z  )
f (n) (z) = dz 
2i (z z)n+1


1.4.4 Thorme du maximum

Dnition :
Soit g une fonction de la variable complexe. On dit que |g| admet un maximum local relatif en z = z0 sil existe un
voisinage U de z0 tel que :
z U, |g(z)|
|g(z0 )|
Si lingalit est stricte, i.e. :
z U/{z0 }, |g(z)| < |g(z0 )|
alors le maximum local est dit strict.

Thorme
Soit f une fonction analytique sur un domaine . Le module |f | ne peut prsenter de maximum local strict en
un point z0 .
1.4. INTGRATION DE FONCTIONS ANALYTIQUES 15
Dmonstration
Supposons quil y ait un maximum strict en z0 , alors on peut trouver un voisinage V de z0 tel que z V,
|f (z)| < |f (z0 )|.
Considrons le chemin dni comme le cercle de centre z0 et de rayon r > 0. On a :

: (t) = z0 + r e2it , t [0,1]

Daprs les thormes prcdents, on a :

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

Daprs le thorme de Darboux, on a une majoration :

 
1  f (z) 
|f (z0 )|
sup   2 r = sup |f (z)|
2 z z z0  z

Donc il existe z tel que |f (z)|  |f (z0 )| et z0 nest pas maximum strict.

Proposition
Soit f analytique sur un domaine . Si en un point z0 , |f | prsente un maximum local relatif, alors f est
constante sur .

1.4.5 Thorme de Morera

Thorme (Morera)
Soit f une fonction continue dans un domaine simplement connexe. Si pour tout contour C on a

f (z) dz = 0

alors f est analytique sur .

1.4.6 Thorme de Liouville

Thorme (Liouville)
Soit f une fonction entire.
Si f est borne (i.e. M IR+ tel que z C |f (z)|
M ), alors f est constante.

Dmonstration
f est entire. Soit z0 un point de C et soit le cercle de centre z0 et de rayon R.

1 f (z)
f  (z0 ) = dz
2i (z z0 )2
  
f (z0 )
1 M 2 R = M
2 R2 R

En faisant tendre R vers + on montre que |f  | = 0 donc que f est constante.

Remarques
Attention bien vrier que le module de f est born :
ce nest pas le cas de z  sin z par exemple
Le thorme de Liouville permet de dmontrer facilement le thorme de DAlembert-Gauss
16 CHAPITRE 1. FONCTIONS ANALYTIQUES

1.5 Sries de fonctions dune variable complexe

1.5.1 Gnralits

Dnition :

Soit une suite de fonctions gn (z) nN . On appelle srie de terme gnral gn (z) la suite :
n

Sn (z) = gn (z)
k=0

Dnition : Convergence simple

On dit que (Sn )nN converge simplement dans un sous-ensemble U de C et que sa somme est S(z) si et seulement
si :
z U, > 0, N = N (z,), n > N |S(z) Sn (z)| <

Dnition : Convergence uniforme

On dit que la srie (Sn )nIN converge uniformment vers S si et seulement si, les deux propositions tant quiva-
lentes :
> 0, N = N (), n > N = |S(z) Sn (z)| < ,z U
> 0, N = N (), n > N = sup |S(z) Sn (z)| <
zU

ATTENTION ! 
La convergence uniforme demande des hypothses beaucoup plus fortes que la convergence simple, les z ntant
pas choisis au dbut de la dnition. La convergence uniforme implique de manire vidente la
convergence simple.

Proprits des sries uniformment convergentes

1. Si (Sn ) converge uniformment dans U C et si n IN, gn est continue en un point z0 U alors la somme
de la srie des gn est continue en z0 .
2. Si (Sn ) converge uniformment le long dun chemin et si n IN, gn est continue, alors
 

  
gn (z) dz = gn (z) dz
n=0 n=0

3. Si quel que soit n IN, gn (z) est analytique dans un domaine et si (Sn ) converge uniformment dans
tout disque ferm contenu dans , alors la somme S est analytique dans et :


S  (z) = gn (z)
n=0

Proposition (Critre de Weierstrass)

Si n IN, on a :
|gn (z)|
an z U

avec an terme gnral dune srie numrique convergente, alors la srie gn converge uniformment sur U .

Dnition : Convergence absolue


On dit que (Sn )nN converge absolument si et seulement si la srie |gn | converge.
1.5. SRIES DE FONCTIONS DUNE VARIABLE COMPLEXE 17
1.5.2 Sries entires

Dnition :
On appelle srie entire de centre z0 et de coecient an la srie de terme gnral gn (z) = an (z z0 )n .

Proposition
R > 0 tel que :

1. la srie entire an (z z0 )n converge absolument dans le disque de convergence D(z0 ,R) = {z C/|z z0 | < R}
2. la srie entire diverge en tout point z tel que |z z0 | > R
R est appel rayon de convergence de la srie.

Im
Divergence

Convergence
absolue
Re
R


Si  gn (z) ne converge que pour z = z0 , alors R = 0.
Si gn (z) converge dans tout le plan complexe, alors R = +.

Exemple
n
Etudier la srie entire de terme gnral gn (z) = z .
n
On tudie la srie relle termes positifs |z | en utilisant le critre de dAlembert. Pour tout z appartenant
C, on a :
|gn+1 (z)|
= |z|
|gn (z)|
donc : 
|gn (z)| converge si |z| < 1

|gn (z)| diverge si |z| > 1
 n
 n si |z| = 1 la srie
De manire vidente, |z | diverge.
La srie entire z converge donc absolument sur le disque ouvert unit.

Proposition

Soit an (z z0 )n de rayon de convergence R. Dans tout disque ferm D(z0 ,r) avec r < R, la srie entire
converge uniformment.

Thorme (Drivation) 
Soit la srie entire an (z z0 )n de rayon de convergence R. On a :

1. Le rayon de convergence de la srie n an (z z0 )n1 est gal R.

2. La somme S(z) de la srie an (z z0 )n est analytique dans D(z0 ,R) et sa drive S  (z) en z D(z0 ,R) est :


S  (z) = n an (z z0 )n1
n=0

3. Par itration de la proposition prcdente, on a :

S (k) (z0 ) = k! ak , k  0

do :

S (n) (z0 )
z D(z0 ,R), S(z) = (z z0 )n
n=0
n!
18 CHAPITRE 1. FONCTIONS ANALYTIQUES

1.6 Sries de Taylor

1.6.1 Srie de Taylor dune fonction analytique

Dnition :
Soit f analytique sur le disque ouvert D(z0 ,r), avec r > 0.
z D(z0 ,r) on a :

f (z) = cn (z z0 )n

n=o
1 f (z  )
avec cn = dz 
2i (z z0 )n+1


et avec un contour dans D(z0 ,r) orient positivement entourant z0 .

Ce dveloppement (qui est unique) est appel dveloppement de Taylor de f autour de z0 .
D(z0,r)

r

z z0

NB : na pas besoin dentourer z.

Remarque

f (n) (z0 )
cn =
n!
Dmonstration
Soit e (t) = z0 + r e2it , 0
t
1, avec |z z0 | < r < r.
Daprs le thorme de Cauchy, on a : 
1 f ()
f (z) = d
2i e z
Or
1 1 1
= zz0
z z0 1 z0
 
 zz0 
et e donc  wz 0
 < 1 donc en dveloppant le deuxime terme de lexpression en srie entire, on a :


1 (z z0 )n
=
z n=0 ( z0 )n+1
et  
1 f ()(z z0 )n
f (z) = n+1
d
2i e n=0 ( z0 )

Montrons alors que la srie de fonctions lintrieur de lintgrale est uniformment convergente sur e . Par
majoration du terme gnral de la srie, on a :
   
 f ()(z z0 )n  supe |f ()|  z z0 n
 
 
 (w z0 )n+1  r  r 
 n
Or  zz
r
0
est le terme gnral dune srie gomtrique convergente, sa raison tant infrieure a 1.
Donc par Weierstrass on a convergence uniforme de la srie et on peut inverser les signes somme et intgrale,
ce qui donne :
 
1 f ()
f (z) = (z z0 )n d
n=0
2i e ( z0 )n+1
1.6. SRIES DE TAYLOR 19
Or f est analytique donc lintgration est indpendante du chemin entourant z0 . Par unicit du dveloppement
en srie entire de f , en identiant les coecients, on a le rsultat voulu.

Exemple

1
f (z) = , z C\{0}
z2

f a une singularit en z = 0.
On cherche le dveloppement de Taylor de f en 1.
On considre le disque ouvert D(z0 = 1,r = 1). f est bien analytique sur ce disque. z D(1,1) on a :

+

f (z) = cn (z z0 )n
n=0

Pour calculer cn :
Mthode 1 :

f (n) (z0 )
cn =
n!
(1)n (n + 1)!
f (n) =
z n+2
n
cn = (1) (n + 1)

Mthode 2 :

1 1
= avec : z = 1 + Z
z2 (1 + Z)2
2 (2)(2 1) 2
= 1+ Z+ Z + ... (|Z| < 1)
1! 2!
= 1 2 (z 1) + 3 (z 1)2 + ...

Remarque

1
Cest la prsence
 dune singularit lorigine pour f (z) = z2 qui limite le rayon de convergence de la
srie entire (1)n (n + 1) (z 1)n 1.

Proposition
Soit f (z) une fonction analytique dans un domaine , et soit z0 .Pour tout z  appartenant au plus grand

disque ouvert de centre z0 contenu dans , la srie de Taylor S(z ) = cn (z  z0 )n est convergente et a pour

somme f (z ).

Proposition
Si f est entire, alors la srie de Taylor de f de centre z0 C

f (n) (z0 )
(z z0 )n est convergente et a pour somme f (z) pour tout z de C.
n=0
n!
20 CHAPITRE 1. FONCTIONS ANALYTIQUES
1.6.2 Zro dune fonction analytique

Dnition :
Soit f une fonction analytique dans un domaine et non identiquement nulle sur .
Sil existe z0 tel que f (z0 ) = 0, alors z0 est un zro de f . De plus, on dit que z0 est un zro dordre m IN
si : i
m 1, f (i) (z0 ) = 0 et f (m) (z0 ) = 0

Remarque
Si z0 est un zro dordre m, alors on peut mettre f sous la forme
f (z) = (z z0 )m h(z), avec :

 f (m+k) (z0 )
h(z) = (z z0 )k
(m + k)!
k=0

La fonction h ainsi dnie est analytique dans et drivable donc continue en z0 et ne sannule pas sur un
voisinage de z0 .

Dnition : Points isols

Soit z et z deux lments de C. On dit que ces deux points sont isols si il existe V et V  respectivement voisinages


de z et z  , tels que V V  = .

Thorme (thorme des zros isols)

Les zros dune fonction analytique non identiquement nulle sont isols.

Consquence : prolongement analytique

Soit f1 et f2 deux fonctions analytiques sur et soit U un ouvert non vide de .
Si z U , f1 (z) = f2 (z) alors f1 = f2 pout tout z .
Cas particulier : si une fonction f analytique est nulle sur U alors elle est nulle sur .

Remarque
Cette proposition reste vraie si U est un arc de courbe non rduit a un point.

1.7 Sries de Laurent et rsidus

1.7.1 Srie de Laurent

Dnition :
On dnit la couronne ouverte de centre z0 , de rayon R1 et R2 par :
C(z0 ,R1 ,R2 ) = {z C / 0
R1 < |z z0 | < R2 }

z0
R2 R1

Remarque
Si R1 = 0, on note C(z0 ,0,R2 ) = D(z0 ,R2 ), quon appelle disque point.
1.7. SRIES DE LAURENT ET RSIDUS 21
Proposition
Soit f analytique sur C(z0 ,R1 ,R2 ), alors :
+

z C(z0 ,R1 ,R2 ), f (z) = cn (z z0 )n
n=

avec :

1 f (z  )
cn = dz  n Z\{1}
2i (z z0 )n+1


1
c1 = f (z  ) dz 
2i

et un contour quelconque orient positivement, inclus dans la couronne et entourant z0 .

Ce dveloppement est appel dveloppement en srie de Laurent et il est unique.

Dmonstration
est homotope un contour proche de 2 1 et entourant z.

z
z0
1 2


1 f (w)
f (z) = dw
2i wz
  
1 f (w) f (w)
= dw dw
2i 2 wz 1 wz

On fait le dvelopement de Taylor de f sur 2 , ce qui donne les cn pour n  0.

Pour 1 on a |w z0 | < |z z0 |. Il faut donc refaire le mme raisonnement que pour Taylor mais en considrant :
1 1 1
=
wz z z0 1 wz0
zz0

1 (w z0 )n
=
z z0 n=0 (z z0 )n

(w z0 )n1
=
n=1
(z z0 )n

On obtient ainsi les cn pour n
0.

Remarque
Si f est analytique sur D(z0 ,R2 ) alors les coecients cn sont nuls pour n
0.

Exemple
1
f (z) = a R+
za
f possde une singularit en a. On cherche le dveloppement en srie de Laurent de f autour de z0 = 0.
Cas 1 : |z| < a, f est analytique sur D(0,R) avec |z| < R < a
1 1
f (z) = z
a 1 a
1 z z2
= 2 3 ...
a a a
22 CHAPITRE 1. FONCTIONS ANALYTIQUES
Cas 2 : |z| > a
f est analytique sur C(0,R1 ,R2 ), avec a < R1 < |z| < R2 .
1 1 1
f (z) = = a
za z 1 z
1 a a2
= + 2 + 3 + ...
z z z

cas 2
z
R z
R1
cas 1
a
R2

1.7.2 Points singuliers

Dnition :
Soit z0 un point au voisinage duquel f nest pas analytique. On dit que z0 est un point singulier de f .
Soit z0 un point singulier de f . Sil existe un disque ouvert point (i.e. priv de z0 ) de centre z0 et de rayon
r > 0 dans lequel f est analytique, alors on dit que z0 est un point singulier isol.

Exemples
1
1. f : z  , le point z0 = 2 est un point singulier isol.
z2
1
2. f : z  , le point z0 = 0 est un point singulier non isol.
sin z1
N.B. : Dans tout ce qui suit, on supposera les points singuliers isols.

Dans le cadre de cette hypothse, si on prend f admettant un point singulier z0 , et que lon considre sa srie de
Laurent associe autour de z0 , on a, en notant bn = cn et an = cn :

 
bn
f (z) = n
+ an (z z0 )n
n=1
(z z 0 ) n=0
  
partie singulire

Dnition :
(1) Si tous les bn sont nuls, la fonction est analytique dans D(z0 ,r) et on dit que z0 est une singularit apparente.
(2) Si les bn sont non tous nuls, i.e. sil existe un bm non nul tel que bn = 0 pour tout n > m, alors z0 est un
bm bm1
ple dordre m et : z D(z0 ,r), f (z) = m
+ + . Si m = 1, on dit quon a un ple simple.
(z z0 ) (z z0 )m1
(3) Sil existe une innit de bn non nuls, la singularit est dite essentielle

Exemples
1.7. SRIES DE LAURENT ET RSIDUS 23
sin z
1. z  : z0 = 0 est une singularit.
z
Les bn sont tous nuls et on a : 
(1)n/2
(n+1)! si n est paire
an =
0 si n est impaire
 sin z
 0
z=
z  z est analytique et z0 est une singularit apparente.
0 z=0
1
2. z  z2 : z0 = 2 est une singularit.
Cest un ple dordre 1.
3. z  e1/z : z0 = 0 est une singularit.

1 1 1
e1/z = 1+ + ... + + ...
z n! z n
a0 = 1
an = 0 n > 0
1
bn = n > 0
n!
z0 est un singularit essentielle.

Dnition : Mromorphe
Une fonction ne possdant pas dautres singularits que des ples dans un domaine est dite mromorphe dans .

1.7.3 Rsidu en un point singulier isol

Dnition :
Soit z0 un point singulier isol de f . Soit D(z0 ,r) un disque point ne contenant pas de point singulier de f .
 
bn
z D(z0 ,r) f (z) = n
+ an (z z0 )n
n=1
(z z 0 ) n=0
Le coecient b1 est appel rsidu de f en z0 et est not Res (f,z0 ).

1
On a donc : Res (f,z0 ) = f (z) dz o est un contour orient positivement inclus dans D(z0 ,r) et en-
2i

tourant z0 .

Remarque
Si z0 est une singularit apparente de f alors Res (f,z0 ) = 0.

Calcul pratique de rsidus

1. Si z0 est un ple simple
b1
f (z) = + g(z)
z z0
o g(z) = a0 + a1 (z z0 ) + ... est une fonction analytique au voisinage de z0 et nulle en z0 . On a donc :

lim (z z0 )f (z) = b1
zz0

do :
Res (f,z0 ) = lim (z z0 )f (z)
zz0
24 CHAPITRE 1. FONCTIONS ANALYTIQUES
2. Si z0 est un ple dordre m

1 dm1
Res (f,z0 ) = lim [(z z0 )m f (z)]
zz0 (m 1)! dz m1

En pratique il vaut mieux calculer directement le dveloppement pour des ples dordres levs.

Proposition
g(z)
Soit f (z) = avec g une fonction analytique au voisinage de z0 et telle que g(z0 ) = 0.
z z0
On a :
Res (f,z0 ) = g(z0 )

Proposition
g(z)
Soit f (z) = avec g et h deux fonctions analytiques au voisinage de z0 et telles que g(z0 ) = 0 et z0 est un
h(z)
zro simple de h.
On a alors :
g(z0 )
Res (f,z0 ) = 
h (z0 )

Dmonstration

g(z) z z0 g(z0 )
Res (f,z0 ) = lim (z z0 ) = g(z0 ) lim = 
zz0 h(z) zz0 h(z) h(z0 ) h (z0 )

1.7.4 Thorme des rsidus

Thorme des rsidus

Soit un domaine simplement connexe de C et soit (z1 ,...,zn ) un nombre ni de points de isols et distincts.
Soit de plus f analytique dans \{z1 ,...,zn }. Si on prend un contour contenu dans et entourant les zi ,i
[1,n], sans rencontrer ces points, et orient positivement, alors :

 n

f (z) dz = 2i Res (f,zk )
k=1

Dmonstration

3
n
2
1

  n 

f (z) dz = 0 = f (z) dz + f (z) dz
k=1 k

or 
f (z) dz = 2i Res (f,zk )
k

do le rsultat.
1.7. SRIES DE LAURENT ET RSIDUS 25
1.7.5 Application des rsidus au calcul dintgrales

Exemple  +
dx
Calcul de I =
1 + x2
1
Considrons pour cela f (z) = sur C\{+i, i}.
1 + z2
i et i sont des ples simples.

Im
2
i

Re
-R 1 R
-i
(R) = 1 (R) + 2 (R) avec :

1 (R) : t  (2t 1) R
t [0,1],R > 1
2 (R) : t  R eit


1
f (z) dz = 2i Res (f,i) = 2i =
(R) 2i
 +R 
dx
= + f (z) dz
R 1 + x2 2 (R)

Or

z 2 (R) |1 + z 2 |  R2 1
 
 1  1
 
 1 + z 2 
R2 1
 
 
  R
 f (z) dz 

 2 (R)  R2 1

  +R
dx
On en dduit que lim f (z) dz = 0 (ce rsultat est immdiat avec les lemmes de Jordan), puis que lim =
R 2 R R 1 + x2
I = .

Remarque
Pour certains calculs dintgrales, il faut utiliser les valeurs principales de Cauchy qui sont dcrites dans le
chapitre 5.

sin x
Calcul de x 
x
 +
sin x
Soit I = dx . Riemann gnralise semi- convergente.
0 x
1 + sin x
= dx
2 x

eiz
On passe alors en complexe : on tudie f (z) = (sur C\{0})
z
Rs (f,0) = 1.
26 CHAPITRE 1. FONCTIONS ANALYTIQUES
2

3 1

On dnit le contour = 1 + 2 + 3 + 4 , tels que :

1 : axe rel de +r +R.
2 : demi-cercle de centre 0, de rayon R (demi-plan suprieur).
3 : axe rel de R r.
4 : demi-cercle de centre 0, de rayon r (demi-plan suprieur).
Ainsi, 
f (z)dz = 0

 R  r  
eix eix eiz eiz
dx + dx + dz + dz
r x R x 2 z 3 z
 iz
e
lim dz = 0 Second Lemme de Jordan.
R+ 2 z
 
eiz 1
lim dz = lim
r0 4 z r0 4 z
 r
1
= lim reit (i)dt.
r0 0 (reit )
= i 3me de Jordan

   
+ r R
eix eix eix
Vp dx = lim dx + dx = i
x r0
R+ R x r x

Donc,
 +  +
sin x cos x
Vp dx = Vp dx = 0
x x

1.8 Lemmes de Jordan

Lemme 1
Soit f une fonction holomorphe dans un secteur

0
1

2
2

( dsignant largument de z) , sauf ventuellement en certains points (en nombre ni) qui sont des singularits
isoles. Si
lim zf (z) = 0 (resp. lim zf (z) = 0), pour 1
arg(z)
2
|z| |z|0

alors lintgrale

f (z) dz (o est un arc de cercle de rayon R contenu dans le secteur 1

2 )

tend vers zro quand R tend vers linni (resp. vers 0).
1.9. FONCTIONS MULTIFORMES : LA FONCTION LN 27
Lemme 2
Soit f une fonction holomorphe dans un secteur
1

2
du demi-plan suprieur (resp. du demi-plan infrieur), sauf ventuellement en certains points (en nombre
ni) qui sont des singularits isoles. Si

lim f (z) = 0 pour 1
arg(z)
2

|z|

alors, pour k > 0 (resp. k < 0), lintgrale 

f (z) eikz dz

tendue un arc de cercle de rayon R contenu dans le secteur 1

2 , tend vers zro quand R tend vers
linni. Ce lemme est trs souvent utilis lors du calcul de transformes de Fourier par la mthode des rsidus .

Lemme 3
Si f est une fonction possdant un ple simple lorigine on a :

lim f (z) dz = i Res (f,0)
r0

it
o r est positif et : t  r e , t [0,1].

1.9 Fonctions multiformes : la fonction Ln

Rappels
Soit x IR+ et X IR.
On a : X = ln(x) x = eX .

Soit z C\{0}. On cherche Z = X + i Y tel que z = eZ .


X = ln |z|
z = |z| ei = eX ei Y =
Y = + 2 k,k Z
Z = ln |z| + i (arg(z) + 2 k)
Il existe donc une innit de Z tel que z = eZ , do le nom de fonction multiforme (ou dtermination multiple).
On peut alors dnir une coupure dans le plan complexe (demi-droite partant de lorigine), et un ensemble Ccoup (C
priv de la coupure) dans lequel il ny a plus de contour entourant lorigine :
on choisit [0,2[ et par convention on impose arg(z) ] 2 + ,[.
Les arguments sont ainsi dtermins de faon unique.
Im
coupure

Re

(En pratique on prend souvent = 0 pour ne pas se priver de laxe rel)

On a alors, Z = ln |z| + i arg(z) = Ln(z) , z Ccoup
Le rsultat de la fonction Ln dpend du choix de la coupure.
d 1
Dans Ccoup , Ln est analytique et Ln(z) = .
dz z
Cas particulier
On appelle dtermination principale du logarithme la fonction Ln avec pour coupure = .
On a alors arg(z) ] ,[ et Ccoup = C\IR .
28 CHAPITRE 1. FONCTIONS ANALYTIQUES