5

Chapitre 1
Fonctions Analytiques
1.1 Le plan complexe
1.1.1 Rappels
Soit z C, alors ! (x,y) IR
2
tel que z = x + i y.
On dnit le module de z comme [z[ =
_
x
2
+ y
2
.
On peut aussi reprer z par des coordonnes polaires, en posant : z = e
i
, avec tan =
y
x
et = [z[.
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 :
(z
1
,z
2
) C
2
, d(z
1
,z
2
) = [z
1
z
2
[
On appelle disque ouvert de centre z
0
et de rayon r > 0 lensemble :
D(z
0
,r) = z C/[z z
0
[ < r
Im
Re
z0
r0
On appelle voisinage dun point z
0
un disque ouvert quelconque de centre z
0
.
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 z
0
et de rayon r, D(z
0
,r) = z C/[z z
0
[ r.
Dnition :
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.
Dnition : Connexe
6 CHAPITRE 1. FONCTIONS ANALYTIQUES
U est simplement
connexe
U nest pas
connexe
U est doublement
connexe
1.2 Fonctions dune variable complexe
1.2.1 Premires dnitions
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.
Dnition :
Exemples
f : C C
x + i y x
2
y
2
+ 2i xy
z z
2
f : C C
x + i y x i y
z z
f : C C
x + i y e
x
cos y + i e
x
sin y
z e
z
(exponentielle complexe)
f : C C
x + i y
e
y
+ e
y
2
cos x + i
e
y
e
y
2
sin x =
e
iz
+ e
iz
2
z cos z (cosinus complexe)
1.2.2 Limites et continuit
Limites
Dans la suite du paragraphe, on utilisera f : U C.
Soit z
0
U. On dit que f tend vers une limite l quand z z
0
si :
> 0, () tel que [z z
0
[ < [f(z) l[ <
Dnition :
1.2. FONCTIONS DUNE VARIABLE COMPLEXE 7
Im
Re
z
z0
Im
Re
f(z)
l
()
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
x + i y
x
2
y
2
x
2
+ y
2
+ i
2 xy
x
2
+ y
2
z
z
z
Pour x R:
lim
x0
f(x) = 1
Pour y iR:
lim
y0
f(i y) = 1
Im
Re
Im
Re
f na donc pas de limite en 0.
On dit que f admet une limite l quand [z[ tend vers + si : > 0, A() IR
+
tel que [z[ > A [f(z) l[ <
Dnition :
Continuit
Soit z
0
C, et f dnie sur un voisinage de z
0
. On dit que f est continue en z
0
si :
f admet une limite nie en z
0
lim
zz0
f(z) concide avec f(z
0
)
Dnition :
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
Soit z
0
C, et soit f dnie et continue sur un voisinage de z
0
. On dit que f est drivable en z
0
si lexpression:
f(z) f(z
0
)
z z
0
admet une limite quand z tend vers z
0
.
On note alors cette limite f

(z
0
).
Dnition :
Exemple
Considrons la fonction f dnie et continue sur C, et telle que
f(z) = [z[
2
. f est-elle drivable?
On a :
f(z
0
+ z) f(z
0
)
z
= z
0
z
z
+ z
0
+ z
Si z
0
= 0, alors f

(z
0
) = 0, f est donc drivable en 0.
Si z
0
,= 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
g
_

=
gf

fg

g
2
, avec g(z) ,= 0
(f g)

= g

(f

g)
Conditions de Cauchy-Riemann
Proposition
Soit f = u + i v une fonction dnie et continue sur un voisinage de z
0
. Si f est drivable en z
0
= x
0
+ i y
0
,
alors u et v admettent en (x
0
,y
0
) des drives partielles premires par rapport chacune de leurs variables, et
on a :
u
x
=
v
y
et
u
y
=
v
x
Dmonstration
Par hypothse f est drivable en z
0
, donc f

(z
0
) existe.
Pour dmontrer Cauchy-Riemann, on va considrer deux directions
direntes pour aller vers z
0
et on va utiliser le fait que la limite de
f(z
0
+ z) f(z
0
)
z z
0
en z
0
est la mme
suivant toutes les directions.
approche suivant laxe rel (y = 0) :
lim
z0
f(z
0
+ z) f(z
0
)
z
= lim
x0
u(x
0
+ x,y
0
) u(x
0
,y
0
)
x
+i lim
x0
v(x
0
+ x,y
0
) v(x
0
,y
0
)
x
=
u
x
(x
0
,y
0
) + i
v
x
(x
0
,y
0
)
1.2. FONCTIONS DUNE VARIABLE COMPLEXE 9
lapproche suivant laxe imaginaire donne :
lim
z0
f(z
0
+ z) f(z
0
)
z
=
v
y
(x
0
,y
0
) i
u
y
(x
0
,y
0
)
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 z
0
.
Exemple
Soit la fonction f dnie sur C par
f(z) =

x
3
y
3
x
2
+ y
2
+ i
x
3
+ y
3
x
2
+ y
2
si z ,= 0
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 :
suivant laxe rel : lim
z0
f(z)
z
= 1 + i
suivant la premire bissectrice : lim
z0
f(z)
z
=
1 + i
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 z
0
et si ces
drives satisfont aux relations de Cauchy-Riemann en z = z
0
, alors f est drivable en z
0
.
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 :
f

(z) =
u
x
+ i
v
x
(=
v
y
i
u
y
=
u
x
i
u
y
=
v
x
+ i
v
y
)
Fonctions analytiques (ou holomorphes)
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.
Dnition :
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
u
x
2
+

2
u
y
2
= 0

2
v
x
2
+

2
v
y
2
= 0
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
On appelle fonction entire une fonction analytique sur tout C.
Dnition :
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
Soit : J = [t
a
,t
b
] C, avec [t
a
,t
b
] 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
Re
Im
Re
A
B

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

Dnition :
1.3.2 Intgration le long dun chemin
Soit un chemin et soit f dnie en tout point de ce chemin. Soit z
0
,...,z
n
une subdivision de , avec z
0
= a et
z
n
= b. Soient de plus
1
,...,
n
tels que i [1,n],
i
]z
i1
,z
i
[. On dnit la suite :
I
n
=
n

k=1
f(
k
)(z
k
z
k1
).
Im
Re
A
1
2
n
b
z n-1
z2
z1
1.3. INTGRATION DANS LE PLAN COMPLEXE 11
Si, quand n de manire ce que [z
k
z
k1
[ 0 pour tout k de [1,n], la somme I
n
tend vers une limite
indpendante du choix des z
k
et des
k
, alors cette limite est appele intgrale de f le long de et est note :
_

f(z) dz
Dnition :
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 :
I
n
=
n

k=1
_
u(
k
) (x
k
x
k1
) v(
k
) (y
k
y
k1
)

+ i
n

k=1
_
v(
k
) (x
k
x
k1
) + u(
k
) (y
k
y
k1
)

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 :
I =
_
t
b
ta
f
_
z(t)
_
z

(t) dt
Exemples
1. On considre f(z) = z, intgr sur paramtr par z(t) = Re
2it
.
Alors :
si t [0,
1
4
], on a :
I =
_ 1
4
0
Re
2it
R2ie
2it
dt = R
2
si t [0,1], on a I = 0
2. On considre f(z) =
1
z
, intgr sur : z(t) = Re
2it
, t [0,1].
I =
_
1
0
2iRe
2it
Re
2it
dt = 2i
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,
1
4
] Re
2it
.
_

f(z) dz =
_
1
2
z
2
_
iR
R
= R
2
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 I
n
, et en utilisant le fait que [f[ M, et que
n

k=1
[z
k
z
k1
[ L, on a le rsultat de la proposition.
Im
Re
z0
z1
z2
z n-1
z n
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 :
_
1
f(z) dz =
_
2
f(z) dz
A
B
1
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 :
_
1
f(z) dz = 0 mais en gnral
_
2
f(z) dz ,= 0.

1
2
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 .

1 2
2 3
homotopes
non homotopes
1
2
3
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.
Dnition :
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 :
_
1
f =
_
2
f
Exemple
En reprenant la gure prcdente :
_
3
f(z) dz = 0 et
_
1
f(z) dz =
_
2
f(z) dz
Dmonstration
On considre un contour =
1
+

+ (
2
) +

homotope a un point. Les contributions de

et

se
compensant, on a :
_

f = 0 =
_
1
f
_
2
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 :
f(z) =
1
2i
_

f(z

)
z

z
dz

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.
z

f(z

) f(z)
z

r
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

)
z

z
dz

=
_

f(z)
z

z
dz

= f(z)
_

dz

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 :
f
(n)
(z) =
n!
2i
_

f(z

)
(z

z)
n+1
dz

1.4.4 Thorme du maximum

Soit g une fonction de la variable complexe. On dit que [g[ admet un maximum local relatif en z = z
0
sil existe un
voisinage U de z
0
tel que :
z U, [g(z)[ [g(z
0
)[
Si lingalit est stricte, i.e. :
z U/z
0
, [g(z)[ < [g(z
0
)[
alors le maximum local est dit strict.
Dnition :
Thorme
Soit f une fonction analytique sur un domaine . Le module [f[ ne peut prsenter de maximum local strict en
un point z
0
.
1.4. INTGRATION DE FONCTIONS ANALYTIQUES 15
Dmonstration
Supposons quil y ait un maximum strict en z
0
, alors on peut trouver un voisinage 1 de z
0
tel que z 1,
[f(z)[ < [f(z
0
)[.
Considrons le chemin dni comme le cercle de centre z
0
et de rayon r > 0. On a :
: (t) = z
0
+ r e
2it
, t [0,1]
Daprs les thormes prcdents, on a :
f(z
0
) =
1
2i
_

f(z)
z z
0
dz
Daprs le thorme de Darboux, on a une majoration:
[f(z
0
)[
1
2
sup
z

f(z)
z z
0

2 r = sup
z
[f(z)[
Donc il existe z tel que [f(z)[ [f(z
0
)[ et z
0
nest pas maximum strict.
Proposition
Soit f analytique sur un domaine . Si en un point z
0
, [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 z
0
un point de C et soit le cercle de centre z
0
et de rayon R.
f

(z
0
) =
1
2i
_

f(z)
(z z
0
)
2
dz

(z
0
)

1
2
M
R
2
2 R =
M
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
Soit une suite de fonctions
_
g
n
(z)
_
nN
. On appelle srie de terme gnral g
n
(z) la suite :
S
n
(z) =
n

k=0
g
n
(z)
Dnition :
On dit que (S
n
)
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) S
n
(z)[ <
Dnition : Convergence simple
On dit que la srie (S
n
)
nIN
converge uniformment vers S si et seulement si, les deux propositions tant quiva-
lentes :
> 0, N = N(), n > N = [S(z) S
n
(z)[ < ,z U
> 0, N = N(), n > N = sup
z U
[S(z) S
n
(z)[ <
Dnition : Convergence uniforme
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 (S
n
) converge uniformment dans U C et si n IN, g
n
est continue en un point z
0
U alors la somme
de la srie des g
n
est continue en z
0
.
2. Si (S
n
) converge uniformment le long dun chemin et si n IN, g
n
est continue, alors
_

n=0
g
n
(z)
_
dz =

n=0
__

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

(z) =

n=0
g

n
(z)
Proposition (Critre de Weierstrass)
Si n IN, on a :
[g
n
(z)[ a
n
z U
avec a
n
terme gnral dune srie numrique convergente, alors la srie

g
n
converge uniformment sur U.
On dit que (S
n
)
nN
converge absolument si et seulement si la srie

[g
n
[ converge.
Dnition : Convergence absolue
1.5. SRIES DE FONCTIONS DUNE VARIABLE COMPLEXE 17
1.5.2 Sries entires
On appelle srie entire de centre z
0
et de coecient a
n
la srie de terme gnral g
n
(z) = a
n
(z z
0
)
n
.
Dnition :
Proposition
R > 0 tel que :
1. la srie entire

a
n
(zz
0
)
n
converge absolument dans le disque de convergence D(z
0
,R) = z C/[zz
0
[ < R
2. la srie entire diverge en tout point z tel que [z z
0
[ > R
R est appel rayon de convergence de la srie.
Im
Re
R
Convergence
absolue
Divergence
Si

g
n
(z) ne converge que pour z = z
0
, alors R = 0.
Si

g
n
(z) converge dans tout le plan complexe, alors R = +.
Exemple
Etudier la srie entire de terme gnral g
n
(z) = z
n
.
On tudie la srie relle termes positifs

[z
n
[ en utilisant le critre de dAlembert. Pour tout z appartenant
C, on a :
[g
n+1
(z)[
[g
n
(z)[
= [z[
donc :
_

[g
n
(z)[ converge si [z[ < 1

[g
n
(z)[ diverge si [z[ > 1
De manire vidente, si [z[ = 1 la srie

[z
n
[ diverge.
La srie entire

z
n
converge donc absolument sur le disque ouvert unit.
Proposition
Soit

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

a
n
(z z
0
)
n
de rayon de convergence R. On a :
1. Le rayon de convergence de la srie

na
n
(z z
0
)
n1
est gal R.
2. La somme S(z) de la srie

a
n
(z z
0
)
n
est analytique dans D(z
0
,R) et sa drive S

(z) en z D(z
0
,R) est :
S

(z) =

n=0
na
n
(z z
0
)
n1
3. Par itration de la proposition prcdente, on a :
S
(k)
(z
0
) = k! a
k
, k 0
do :
z D(z
0
,R), S(z) =

n=0
S
(n)
(z
0
)
n!
(z z
0
)
n
18 CHAPITRE 1. FONCTIONS ANALYTIQUES
1.6 Sries de Taylor
1.6.1 Srie de Taylor dune fonction analytique
Soit f analytique sur le disque ouvert D(z
0
,r), avec r > 0.
z D(z
0
,r) on a :
f(z) =

n=o
c
n
(z z
0
)
n
avec c
n
=
1
2i
_

f(z

)
(z

z
0
)
n+1
dz

et avec un contour dans D(z

0
,r) orient positivement entourant z
0
.
Ce dveloppement (qui est unique) est appel dveloppement de Taylor de f autour de z
0
.
z0
r

z
D(z0,r)
NB: na pas besoin dentourer z.
Dnition :
Remarque
c
n
=
f
(n)
(z
0
)
n!
Dmonstration
Soit
e
(t) = z
0
+ r e
2it
, 0 t 1, avec [z z
0
[ < r < r.
Daprs le thorme de Cauchy, on a :
f(z) =
1
2i
_
e
f()
z
d
Or
1
z
=
1
z
0

1
1
zz0
z0
et
e
donc

zz0
wz0

< 1 donc en dveloppant le deuxime terme de lexpression en srie entire, on a :

1
z
=

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

n=0
f()(z z
0
)
n
( z
0
)
n+1
d
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 z
0
)
n
(w z
0
)
n+1

sup
e
[f()[
r

z z
0
r

n
Or

zz0
r

n
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 :
f(z) =

n=0
(z z
0
)
n
1
2i
_
e
f()
( z
0
)
n+1
d
1.6. SRIES DE TAYLOR 19
Or f est analytique donc lintgration est indpendante du chemin entourant z
0
. Par unicit du dveloppement
en srie entire de f, en identiant les coecients, on a le rsultat voulu.
Exemple
f(z) =
1
z
2
, z C0
f a une singularit en z = 0.
On cherche le dveloppement de Taylor de f en 1.
On considre le disque ouvert D(z
0
= 1,r = 1). f est bien analytique sur ce disque. z D(1,1) on a :
f(z) =
+

n=0
c
n
(z z
0
)
n
Pour calculer c
n
:
Mthode 1 :
c
n
=
f
(n)
(z
0
)
n!
f
(n)
=
(1)
n
(n + 1)!
z
n+2
c
n
= (1)
n
(n + 1)
Mthode 2 :
1
z
2
=
1
(1 + Z)
2
avec : z = 1 + Z
= 1 +
2
1!
Z +
(2)(2 1)
2!
Z
2
+ ... ([Z[ < 1)
= 1 2 (z 1) + 3 (z 1)
2
+ ...
Remarque
Cest la prsence dune singularit lorigine pour f(z) =
1
z
2
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 z
0
. Pour tout z

appartenant au plus grand

disque ouvert de centre z
0
contenu dans , la srie de Taylor S(z

) =

c
n
(z

z
0
)
n
est convergente et a pour
somme f(z

).
Proposition
Si f est entire, alors la srie de Taylor de f de centre z
0
C

n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
est convergente et a pour somme f(z) pour tout z de C.
20 CHAPITRE 1. FONCTIONS ANALYTIQUES
1.6.2 Zro dune fonction analytique
Soit f une fonction analytique dans un domaine et non identiquement nulle sur .
Sil existe z
0
tel que f(z
0
) = 0, alors z
0
est un zro de f. De plus, on dit que z
0
est un zro dordre m IN

si : i m1, f
(i)
(z
0
) = 0 et f
(m)
(z
0
) ,= 0
Dnition :
Remarque
Si z
0
est un zro dordre m, alors on peut mettre f sous la forme
f(z) = (z z
0
)
m
h(z), avec :
h(z) =

k=0
(z z
0
)
k
f
(m+k)
(z
0
)
(m + k)!
La fonction h ainsi dnie est analytique dans et drivable donc continue en z
0
et ne sannule pas sur un
voisinage de z
0
.
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

= .
Dnition : Points isols
Thorme (thorme des zros isols)
Les zros dune fonction analytique non identiquement nulle sont isols.
Consquence : prolongement analytique
Soit f
1
et f
2
deux fonctions analytiques sur et soit U un ouvert non vide de .
Si z U, f
1
(z) = f
2
(z) alors f
1
= f
2
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
On dnit la couronne ouverte de centre z
0
, de rayon R
1
et R
2
par :
C(z
0
,R
1
,R
2
) = z C / 0 R
1
< [z z
0
[ < R
2

z0
R1 R2
Dnition :
Remarque
Si R
1
= 0, on note C(z
0
,0,R
2
) =

D(z
0
,R
2
), quon appelle disque point.
1.7. SRIES DE LAURENT ET RSIDUS 21
Proposition
Soit f analytique sur C(z
0
,R
1
,R
2
), alors :
z C(z
0
,R
1
,R
2
), f(z) =
+

n=
c
n
(z z
0
)
n
avec :
c
n
=
1
2i
_

f(z

)
(z

z
0
)
n+1
dz

n Z1
c
1
=
1
2i
_

f(z

) dz

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

0
.
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.
z0
1 2

z
f(z) =
1
2i
_

f(w)
w z
dw
=
1
2i
__
2
f(w)
w z
dw
_
1
f(w)
w z
dw
_
On fait le dvelopement de Taylor de f sur
2
, ce qui donne les c
n
pour n 0.
Pour
1
on a [wz
0
[ < [z z
0
[. Il faut donc refaire le mme raisonnement que pour Taylor mais en considrant :
1
w z
=
1
z z
0
1
1
wz0
zz0
=
1
z z
0

n=0
(w z
0
)
n
(z z
0
)
n
=

n=1
(w z
0
)
n1
(z z
0
)
n
On obtient ainsi les c
n
pour n 0.
Remarque
Si f est analytique sur D(z
0
,R
2
) alors les coecients c
n
sont nuls pour n 0.
Exemple
f(z) =
1
z a
a R

+
f possde une singularit en a. On cherche le dveloppement en srie de Laurent de f autour de z
0
= 0.
Cas 1 : [z[ < a, f est analytique sur D(0,R) avec [z[ < R < a
f(z) =
1
a
1
1
z
a
=
1
a

z
a
2

z
2
a
3
...
22 CHAPITRE 1. FONCTIONS ANALYTIQUES
Cas 2 : [z[ > a
f est analytique sur C(0,R
1
,R
2
), avec a < R
1
< [z[ < R
2
.
f(z) =
1
z a
=
1
z
1
1
a
z
=
1
z
+
a
z
2
+
a
2
z
3
+ ...
z
z
cas 1
cas 2
a
R
R1
R2
1.7.2 Points singuliers
Soit z
0
un point au voisinage duquel f nest pas analytique. On dit que z
0
est un point singulier de f.
Soit z
0
un point singulier de f. Sil existe un disque ouvert point (i.e. priv de z
0
) de centre z
0
et de rayon
r > 0 dans lequel f est analytique, alors on dit que z
0
est un point singulier isol.
Dnition :
Exemples
1. f : z
1
z 2
, le point z
0
= 2 est un point singulier isol.
2. f : z
1
sin
1
z
, le point z
0
= 0 est un point singulier non isol.
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 z
0
, et que lon considre sa srie de
Laurent associe autour de z
0
, on a, en notant b
n
= c
n
et a
n
= c
n
:
f(z) =

n=1
b
n
(z z
0
)
n
. .
partie singulire
+

n=0
a
n
(z z
0
)
n
(1) Si tous les b
n
sont nuls, la fonction est analytique dans D(z
0
,r) et on dit que z
0
est une singularit apparente.
(2) Si les b
n
sont non tous nuls, i.e. sil existe un b
m
non nul tel que b
n
= 0 pour tout n > m, alors z
0
est un
ple dordre m et : z

D(z
0
,r), f(z) =
b
m
(z z
0
)
m
+
b
m1
(z z
0
)
m1
+ . Si m = 1, on dit quon a un ple simple.
(3) Sil existe une innit de b
n
non nuls, la singularit est dite essentielle
Dnition :
Exemples
1.7. SRIES DE LAURENT ET RSIDUS 23
1. z
sin z
z
: z
0
= 0 est une singularit.
Les b
n
sont tous nuls et on a :
a
n
=
_
(1)
n/2
(n+1)!
si n est paire
0 si n est impaire
z
_
sin z
z
z ,= 0
0 z = 0
est analytique et z
0
est une singularit apparente.
2. z
1
z2
: z
0
= 2 est une singularit.
Cest un ple dordre 1.
3. z e
1/z
: z
0
= 0 est une singularit.
e
1/z
= 1 +
1
z
+ ... +
1
n!
1
z
n
+ ...
a
0
= 1
a
n
= 0 n > 0
b
n
=
1
n!
n > 0
z
0
est un singularit essentielle.
Une fonction ne possdant pas dautres singularits que des ples dans un domaine est dite mromorphe dans .
Dnition : Mromorphe
1.7.3 Rsidu en un point singulier isol
Soit z
0
un point singulier isol de f. Soit

D(z
0
,r) un disque point ne contenant pas de point singulier de f.
z

D(z
0
,r) f(z) =

n=1
b
n
(z z
0
)
n
+

n=0
a
n
(z z
0
)
n
Le coecient b
1
est appel rsidu de f en z
0
et est not Res (f,z
0
).
On a donc : Res (f,z
0
) =
1
2i
_

f(z) dz o est un contour orient positivement inclus dans

D(z
0
,r) et en-
tourant z
0
.
Dnition :
Remarque
Si z
0
est une singularit apparente de f alors Res (f,z
0
) = 0.
Calcul pratique de rsidus
1. Si z
0
est un ple simple
f(z) =
b
1
z z
0
+ g(z)
o g(z) = a
0
+ a
1
(z z
0
) + ... est une fonction analytique au voisinage de z
0
et nulle en z
0
. On a donc :
lim
zz0
(z z
0
)f(z) = b
1
do:
Res (f,z
0
) = lim
zz0
(z z
0
)f(z)
24 CHAPITRE 1. FONCTIONS ANALYTIQUES
2. Si z
0
est un ple dordre m
Res (f,z
0
) = lim
zz0
1
(m1)!
d
m1
dz
m1
[(z z
0
)
m
f(z)]
En pratique il vaut mieux calculer directement le dveloppement pour des ples dordres levs.
Proposition
Soit f(z) =
g(z)
z z
0
avec g une fonction analytique au voisinage de z
0
et telle que g(z
0
) ,= 0.
On a :
Res (f,z
0
) = g(z
0
)
Proposition
Soit f(z) =
g(z)
h(z)
avec g et h deux fonctions analytiques au voisinage de z
0
et telles que g(z
0
) ,= 0 et z
0
est un
zro simple de h.
On a alors :
Res (f,z
0
) =
g(z
0
)
h

(z
0
)
Dmonstration
Res (f,z
0
) = lim
zz0
(z z
0
)
g(z)
h(z)
= g(z
0
) lim
zz0
z z
0
h(z) h(z
0
)
=
g(z
0
)
h

(z
0
)
1.7.4 Thorme des rsidus
Thorme des rsidus
Soit un domaine simplement connexe de C et soit (z
1
,...,z
n
) un nombre ni de points de isols et distincts.
Soit de plus f analytique dans z
1
,...,z
n
. Si on prend un contour contenu dans et entourant les z
i
,i
[1,n], sans rencontrer ces points, et orient positivement, alors :
_

f(z) dz = 2i
n

k=1
Res (f,z
k
)
Dmonstration

3
1
2
n
_

f(z) dz = 0 =
_

f(z) dz +
n

k=1
_

k
f(z) dz
or
_

k
f(z) dz = 2i Res (f,z
k
)
do le rsultat.
1.7. SRIES DE LAURENT ET RSIDUS 25
1.7.5 Application des rsidus au calcul dintgrales
Exemple
Calcul de I =
_
+

dx
1 + x
2
Considrons pour cela f(z) =
1
1 + z
2
sur C+i, i.
i et i sont des ples simples.
Im
Re
i
-i
1
-R R
2
(R) =
1
(R) +
2
(R) avec :
_

1
(R) : t (2t 1) R

2
(R) : t Re
it
t [0,1],R > 1
_
(R)
f(z) dz = 2i Res (f,i) = 2i
1
2i
=
=
_
+R
R
dx
1 + x
2
+
_
2(R)
f(z) dz
Or
z
2
(R) [1 + z
2
[ R
2
1

1
1 + z
2

1
R
2
1

_
2(R)
f(z) dz

R
R
2
1
On en dduit que lim
R
_
2
f(z) dz = 0 (ce rsultat est immdiat avec les lemmes de Jordan), puis que lim
R
_
+R
R
dx
1 + x
2
=
I = .
Remarque
Pour certains calculs dintgrales, il faut utiliser les valeurs principales de Cauchy qui sont dcrites dans le
chapitre 5.
Calcul de x
sin x
x
Soit I =
_
+
0
sin x
x
dx
=
1
2
_
+

sin x
x
dx
. Riemann gnralise semi- convergente.
On passe alors en complexe : on tudie f(z) =
e
iz
z
(sur C0)
Rs (f,0) = 1.
26 CHAPITRE 1. FONCTIONS ANALYTIQUES

4
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
e
ix
x
dx +
_
r
R
e
ix
x
dx +
_
2
e
iz
z
dz +
_
3
e
iz
z
dz
lim
R+
_
2
e
iz
z
dz = 0 Second Lemme de Jordan.
lim
r0
_
4
e
iz
z
dz = lim
r0
_
4
1
z
= lim
r0
_
r
0
1
(re
it
)
re
it
(i)dt.
= i 3
me
de Jordan
Vp
_
+

e
ix
x
dx = lim
r0
R+
_
_
r
R
e
ix
x
dx +
_
R
r
e
ix
x
dx
_
= i
Donc,
Vp
_
+

sin x
x
dx = Vp
_
+

cos x
x
dx = 0
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
|z|
zf(z) = 0 (resp. lim
|z|0
zf(z) = 0), pour
1
arg(z)
2
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
|z|
f(z) = 0 pour
1
arg(z)
2
alors, pour k > 0 (resp. k < 0), lintgrale
_

f(z) e
ikz
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
r0
_

f(z) dz = i Res (f,0)

o r est positif et : t r e
it
, t [0,1].
1.9 Fonctions multiformes : la fonction Ln
Rappels
Soit x IR

+
et X IR.
On a : X = ln(x) x = e
X
.
Soit z C0. On cherche Z = X + i Y tel que z = e
Z
.
z = [z[ e
i
= e
X
e
i Y
=
_
X = ln [z[
Y = + 2 k,k Z
Z = ln [z[ + i (arg(z) + 2 k)
Il existe donc une innit de Z tel que z = e
Z
, 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 C
coup
(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
Re

coupure
(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 C
coup
Le rsultat de la fonction Ln dpend du choix de la coupure.
Dans C
coup
, Ln est analytique et
d
dz
Ln(z) =
1
z
.
Cas particulier
On appelle dtermination principale du logarithme la fonction Ln avec pour coupure = .
On a alors arg(z) ] ,[ et C
coup
= CIR

.
28 CHAPITRE 1. FONCTIONS ANALYTIQUES