CHAPITRE 1

Fonctions analytiques
Les principaux rsultats retenir : soit




est

analytique

sur

un ouvert de

si et seulement si

et

f : U C.

est dveloppable en srie entire

au voisinage de chaque point de U .

Thorme des zros isols : les zros d'une fonction analytique f sur un
domaine U sont isols ou bien la fonction f est nulle.
Thorme du prolongement analytique : deux fonctions analytiques qui concident sur un sous-ensemble non discret (suite convergente, segment, voisinage d'un point...) d'un

domaine U

sont gales sur

U.

 Toute srie entire est analytique dans son disque de convergence.

 Toute fonction analytique sur

est localement la somme de sa srie de Taylor.

1.1. Sries entires, rappels

1.1.1. Disque de convergence.
P
soit S (z) = n0 an z n une srie entire. Il existe un rel
S 0, appel rayon de convergence de la srie, et vriant
 S est absolument convergente dans le disque DS
 S diverge (non borne) en dehors du disque ferm DS
 On ne peut rien dire sur le cercle CS .
 Si S > 0, alors pour tout rel 0 r < s la srie entire S converge
normalement sur Dr .
Proposition 1.1.1.

(Hadamard ) le rayon de convergence d'une srie entire S (z) =

n
a
z
est
donn
par :
n0 n
Theorem 1.1.2.

1
S

lim sup |an | n

Souvent plus commode, on a la rgle de d'Alembert :

Theorem 1.1.3.

limite existe, alors

(d'Alembert) Soit une srie entire S (z) =

S

lim

n0 an

0pn

de

B,

et

ap bnp

B =

n0 bn .

soient les sries

, et en cas de convergence absolue de

AB

AB

numriques
cn =

an

bn

n0

n0

A et de convergence simple

et on a :

X
n0

an z n . Si la

Le terme gnral de la srie produit est

la srie produit converge vers le produit

(1.1.1)

n0

an
an+1

1.1.2.
sur les sries entires.
P Oprations P

A =
P

0pn
1

ap bnp

1. FONCTIONS ANALYTIQUES

Theorem 1.1.4. Soient S et T deux sries entires de rayons de convergence

S et T . Alors :
 la srie entire S + T a un rayon de convergence S+T min (S , T )
 la srie entire S T a un rayon de convergence ST min (S , T )
 Si S > 0 et T > 0, et si T (0) = 0, alors la srie entire S T existe et a
un rayon de convergence ST > 0.

Dmonstration. Voir [ ], th. 13.13, page 139, th. 13.14, page 141 et th.13.61

page 173
Proposition 1.1.5.

soit f (z) =

n0

an z n une srie entire de rayon de

convergence f .
La fonction f est continue sur son disque de convergence.
La fonction f est C-drivable sur Df et f 0 est la somme de la srie drive
qui a mme rayon de convergence f que f
f 0 (z)

nan z n1

n1
Corollary 1.1.6.

disque de convergence.

La somme d'une srie entire est de classe C sur son

Dmonstration. La continuit de la somme de la srie entire est une cons-

quence immdiate de sa convergence

normale.

Le rayon de convergence de la srie drive est donn par le thorme d'Hadamard.

Pour la

Cdrivabilit

: soient

r < , z Dr

Soit

f (z + h)

h D .

 > 0

et

tel que

|z| +  < r.

Alors

an (z + h)

n0

X
n0

an

Cnk hk z nk

0kn

an z n + nhz n1 +

n0

= f (z) + h

Cnk hk z nk

2kn

nan z

n1

n0

X
n0

an

Cnk hk z nk

2kn

donc

f (z + h) f (z) X

nan z n1
h
n0

X
n0

an Pn (z, h)

1.2. FONCTIONS ANALYTIQUES

k k1 nk
z
. On a utilis la convergence absolue des sries
2kn Cn h
pour distribuer les sommations.
avec

Pn (z, h) =

Majorons habilement

Pn (z, h)

|h|

(sortir un

dont on aura besoin plus loin) :





 X

|Pn (z, h)| = |h| 
Cnk hk2 z nk 
2kn

X
nk
|h|
Cnk k2 (r )
2kn

|h| X
nk
Cnk k (r )
2

|h| n
r
2

0kn

et on obtient nalement :





 f (z + h) f (z) X

n1 


nan z


h


n0
P
r < f la srie A = n0 |an | rn
tendre h vers 0 ( est x).

Puisque
faisant

|h| X
|an | rn
2
n0

est convergente et le rsultat s'ensuit en

P
f (z) = n>0 z n a pour disque de convergence D1 , on sait
P
1
z D1 , on a f (z) = 1z
. On en dduit que la srie n>1 nz n1 a
1
0
.
convergence = 1 et que sa somme est f (x) =
(1z)2

Example 1.1.7.

que pour tout

pour rayon de

1.2. Fonctions analytiques

1.2.1. dnition, exemples.
U un ouvert de C, z0 U et une fonction f : U C.
dveloppable en srie entire P
(DSE) ou analytique en z0 si et seulen
ment si il existe une srie entire S (z) =
n0 an z , de rayon R > 0 telle que
f (z) = S (z z0 ) sur U (z0 + DR ) soit encore :
Definition 1.2.1. Soit

est dite

f (z)

an (z z0 )

n0

f est analytique sur U si

z = z0 + h et l'quation

pose

elle est analytique en chaque point de

U.

Parfois, on

ci dessus devient

f (z0 + h)

an hn

n0
Example 1.2.2.

(1) tout polynme est localement la somme de son dveloppement de Taylor :

P (z)

n0

P (n) (z0 )
n
(z z0 )
n!

1. FONCTIONS ANALYTIQUES

(2)

f (z) = z1 est analytique

Z
pour 
z0  < 1
f (z)

=
=

sur

C \ {0}

car pour

z0 6= 0, Z = z z0 ,

on a,

1
Z + z0
1


Z
z0 z0 + 1

n
1 X Z
z0
z0
n0

X (1)n
n
=
n+1 (z z0 )
z
n0 0
avec un rayon de convergence

= |z0 |

Proposition 1.2.3. l'ensemble des fonctions analytiques sur un ouvert U C

est une algbre sur C.
La compose de deux fonctions analytiques sur U est analytique sur U .

Dmonstration. Cf exo

1.2.2. Zros isols, prolongement analytique.

Principe des zros isols.
Soit f une fonction analytique, non identiquement nulle sur un domaine U de
C. Alors les zros de f sont des points isols dans Z (f ).
Autrement dit, Z (f ) est un ensemble discret.
Theorem 1.2.4.

Lemma. Si f est analytique sur U , si Z (f ) admet un point d'accumulation

u U , alors f est nulle au voisinage de u.

u Z (f ). Supposons que f n'est pas nulle

u. Alors f admet un DSE non nul au voisinage de u : il existe r > 0,
P
k
tel que pour z u + Dr ,f (z) =
k0 ak (z u) . Soit p le plus petit entier tel que
P
k
p
ap 6= 0. Alors f (z) = kp ak (z u) = (z u) g (z) o g est continue (somme
d'une srie entire), et g (u) = ap 6= 0. Donc il existe un voisinage de u dans lequel
g ne s'annule pas, f non plus, donc u est isol dans Z (f ).

Dmonstration. (du lemme) Soit

au voisinage de

Dmonstration. (du thorme) Supposons maintenant que

point d'accumulation

a,

A
et montrons que

Z (f )

admet un

et soit

= {z U, f 0

au voisinage de

est non vide, ouvert et ferm. Comme

z}
est connexe,

A=U

et

le thorme s'en dduira.

A est non vide car a A d'aprs le lemme.

A est ouvert, car si b A alors il existe r > 0 tel que b + Dr A.
A est ferm : soit u A \ A. Il existe donc une suite (un ) A qui converge
vers u. Comme f est continue, 0 = lim f (un ) = f (u), donc u Z (f ). La fonction
f tant analytique en u, le lemme permet de conclure : u A.

Corollary 1.2.5. Soit f une fonction analytique sur un domaine U . Alors :
le dveloppement en srie entire de f au voisinage de chaque point de U est
unique,
si f n'est pas nulle, tout sous ensemble compact de U contient au plus un
nombre ni de zros de f .

1.3. DRIVATION, ANALYCIT DES SRIES ENTIRES

Dmonstration. Si f admet deux dveloppements en srie au voisinage de

P
P
n
n
z0 U , alors f (z) = n>0 an (z z0 ) = n>0 bn (z z0 ) pour tout z z0 +Dr .
P
n
Donc
n>0 (an bn ) (z z0 ) = 0 pour tout z z0 + Dr , le thorme 1.3.2 du
paragraphe suivant nous permettra de conclure : an bn = 0 pour tout n 0 .
Si un sous ensemble compact K de U contient un nombre inni de zros de f ,
de cet ensemble on peut extraire une suite convergente vers a K et f (a) = 0 par
continuit. Donc Z (f ) admet un point d'accumulation donc f est nulle sur U .

Proposition 1.2.6. (prolongement analytique) Soit U un domaine de C et f
et g deux fonctions analytiques sur U . Si f et g concident sur une partie U et
si admet un point d'accumulation dans U , alors f = g dans U . En particulier si
f et g concident au voisinage d'un point z0 U alors f = g sur U .
Dmonstration. On applique le principe des zros isols

h = f g

U.

dans

V ouvert non vide de U , si f est une

prolongement analytique de f sur U toute
fonction analytique dnie sur U , qui concide avec f sur V . Si un tel prolongement
Definition 1.2.7. soit

fonction analytique sur

V,

un domaine,

on appelle

existe, il est unique.

Remark 1.2.8. le thorme du prolongement analytique est vrai pour les fonc-

faux pour les fonctions qui

1
f (x) = 0 si x 0, f (x) = e x2

tions analytiques mais

sont seulement

R C . Par

classe C
sur

exemple la fonction
si x 0 est de
R mais elle n'est pas analytique. Si c'tait le cas, comme R Z (f ) (qui admet de
nombreux points d'accumulation !) , f serait nulle partout, ce qui n'est pas le cas.

Le thorme du prolongement analytique peut tre interprt comme une extension aux fonctions analytiques, du thorme sur les polynmes : deux polynmes
de degr

n qui concident en n+1 points distincts sont gaux. Mais aussi deux poly-

nmes qui concident pour un nombre inni de valeurs distinctes sont gaux. Pour
les fonctions analytiques, on a besoin d'un nombre inni de valeurs mais contenant
en plus un point d'accumulation.
Dans la pratique, nous ferons souvent usage du principe du prolongement analytique. Par exemple, pour dmontrer que deux expressions (fonctions analytiques
de

z)

sont gales, il sura de prouver l'galit pour

z [0, 1].

rel ou bien

1.3. Drivation, analycit des sries entires

 Une fonction analytique sur un ouvert

y est de classe

(corollaire de la

proposition (1.1.5))
 La rciproque est fausse (f
nulle, de classe

sur

(x) = 0

si

x0

et

f (x) = e x2

si

et admet des zros non isols dans

x 0 est non
Z (f ). Donc f

ne peut pas tre analytique)

Proposition 1.3.1. si f et une fonction analytique sur un ouvert U , alors f
est C-drivable sur U (ou, de manire quivalente, f H (U), ou encore, f est
holomorphe sur U ) et f 0 est analytique (ainsi que ses drives successives)

f tant
U
, au voisinage de tout point a U , f admet un DSE f (z) =
P
n
0
driver. Donc f existe et admet elle aussi un DSE
n0 an (z a) , que l'on peut
P
n
0
au voisinage de a : f (z) =

n0 (n + 1) an+1 (z a)
Dmonstration. C'est une consquence du thorme (1.1.5). En eet,

analytique sur

1. FONCTIONS ANALYTIQUES

P
n
Soit f (z) =
n0 an (z z0 ) le DSE d'une fonction
analytique en z0 . Alors n N
X (n + p)!
p
an+p (z z0 )
f (n) (z) =
p!
p0
Proposition 1.3.2.

f (n) (z0 )

= n!an

Dmonstration. Par rcurrence sur

n.

C'est un corollaire de la proposition

(1.1.5)

Theorem 1.3.3. la somme d'une srie entire est analytique l'intrieur de

son disque de convergence.
et plus prcisment :
Soit
X
f (z) =
an z n

n0

une srie de rayon de convergence > 0. Soit z0 D , alors sur le disque ouvert
z0 + D|z0 | , f (z) est la somme de sa srie de Taylor :
X f (n) (z0 )
n
f (z) =
(z z0 )
n!
n0

et cette srie a un rayon de convergence r |z0 |.

Dmonstration. en plusieurs tapes :

(1) Rayon de convergence de la srie

tout d'abord (faire

z0 = 0

f (p) (z)

(1.3.1)

T (w) =

n0

f (n) (z0 ) n
w : on vrie
n!

dans 1.3.2) que

X (p + q)!
q0

q!

ap+q z q

r0 = |z0 |on a la majoration :



X (p + q)!

 (p)
|ap+q | r0q
f (z0 ) 6
q!

et donc en posant

q0

Soit r tel que r0 r < . valuons le rayon de

w Drr0


X f (p) (z0 )
p
|T (w)|
(r r0 )
p!

convergence de

T.

Pour

p0

X (p + q)!
p
|ap+q | r0q (r r0 )
p!q!

p,q0

dans cette dernire somme double, les termes sont tous positifs, on peut

n=p+q :
n!
p
rnp (r r0 )
p! (n p)! 0

donc la sommer par paquets, on pose

|T (w)|

X
n0

|an |

X
p0

|an | (r0 + r r0 )

n0

|an | rn < +

car

r<

n0

r < , le rayon de convergence de la srie T

T r0 = |z0 |.

Donc pour tout

donc

est

T r r0

1.3. DRIVATION, ANALYCIT DES SRIES ENTIRES

Fig. 1.3.1. rayons

Fig. 1.3.2. parcours de

(2)

f (z)

Z2

est gal la somme de sa srie de Taylor. Pour

la srie

T (z z0 )

|z z0 | < r0 ,

est absolument convergente, on peut donc sommer ses

termes par paquets en utilisant (1.3.1) :

T (z z0 )

X f (p) (z0 )
p!

p0

(z z0 )

X (p + q)!
p
ap+q z0q (z z0 )
p!q!
p,q0
X
n
=
an (z0 + z z0 )

n0

an z n

n0

= f (z)

1. FONCTIONS ANALYTIQUES

1.4. Exemples de fonctions analytiques

1.4.1. Fractions rationnelles.
soit une fraction rationnelle mise sous forme irrductible
f (z) =
Soit Z (Q) = {zi , 1 i k}. Alors f est analytique sur = C\Z (Q)
et pour tout z0 , le rayon de convergence de la srie de Taylor de f en z0 est
inf {|z0 zj | , 1 j k}.
Theorem 1.4.1.

P (z)
Q(z) .

Dmonstration. utiliser la dcomposition en lments simples de

1
1+t

n0

(t) ,

si

Example 1.4.2. -Dvelopper

note tout d'abord que

1
(z1)2

1
(z 1)

f (z) =
0

1
1z

et

1
1z

de

z0 = 0 .

On

(n + 1) z n , |z| < 1

1 1
3 1 z3
1 X  z n
=
|z| < 3
3
3 n0
=

1
z1 au voisinage de

g (z)

1
+ z3
au voisinage
P
= n0 z n

1
(z1)2

n0

1
z3

g (z) =

-Dvelopper

puis

1
z z0 + z0 zj


1
1
.
=
0
z0 zj
1 + zzz
0 zj



0 
|t| =  zzz
 < 1. Ce qui donne le rayon de convergence.
0 zj


1
z zj

puis

f,

z0 = 1 + i

1
z z0 + z0 1
1
1
=
i z1i
+1
i

n
X
1
z1i
n
(1)
=
i
i
n0
X
n
=
in+1 (z (i + 1)) , |z (i + 1)| < 1
=

n0

1.4.2. Exponentielle.
Definition 1.4.3. la fonction exponentielle est dnie par la srie

exp

: CC
X zn
z 7
n!
n0

Elle a un rayon de convergence inni.

Theorem 1.4.4.

(1)

la fonction exponentielle vrie

exp est un morphisme surjectif de (C, +) dans (C , ), en particulier,

pour tout couple a, b C2 on a exp (a + b) = exp (a) exp (b). On adopte la
notation exp (z) = ez , z C.

1.4. EXEMPLES DE FONCTIONS ANALYTIQUES

(2)
(3)

(4)

exp0 = exp
exp|R est valeurs dans R+ , strictement croissante et lim exp = + et
lim exp = 0+


il existe un rel strictement positif, not , tel que exp i 2 = i et ez =
1 z 2iZ

(5)

exp est 2ipriodique.

(6)

t 7 eit est un morphisme surjectif de (R, +) sur (U, ), de noyau 2Z

Dmonstration.

P |z0 |
n! et
n! convergent donc les sries exp sont absolument
convergentes et la srie produit converge et on a (voir [1.1.1]) :

 Les sries

P |z|n

X z p z 0np

exp (z) exp (z 0 ) =

p! (n p)!
n0 0pn

X 1
X
n!

z p z 0np
=
n!
p! (n p)!
X

n0

0pn

X 1
n
(z + z 0 )
n!

n0

exp (z + z 0 )

 Autre dmonstration : en drivant la srie dnissant

exp.

exp et on obtient exp0 =

Ainsi,

n
z0 C ,
z C

Pour

N, exp(n) = exp

quelconque, dveloppons

exp (z)

exp

au voisinage de

z0 .

Il vient :

X exp(n) (z0 )
n
(z z0 )
n!

n0

exp (z0 )

n0

(z z0 )
n!

X (z z0 )n
n!

exp (z0 )

exp (z0 ) exp (z z0 )

n0

exp est surjective car G = exp (C) C est un ouvert car loexp est un diomorphisme donc une application ouverte. Donc
pour chaque point z de C, (pour r assez petit) l'image de la boule ouverte
z + Dr par exp est un ouvert Bz,r de C et G = zC Bz,r est une runion

d'ouverts, c'est donc un ouvert. De plus, G est un sous groupe de (C , )

donc C \ G = aC \G aG. On en dduit que C \ G est un ouvert de C .

Or G est connexe car c'est l'image continue du connexe C, donc C \ G est

 La fonction
calement,

vide.


1

On fait l'hypothse que

G = exp (C) C ,

ce qui n'est pas vident dmontrer, sauf

supposer connue l'exponentielle et la trigonomtrie relles. Mais dans ce cas, pour dmontrer la
surjectivit, on rsoud simplement

exp (x + iy) = a + ib C

10

1. FONCTIONS ANALYTIQUES

Fig. 1.4.1. fonction

z 7 cos (z)

80
60
40
20
0
-20
-40
-60
-80

-6
-4
-2
x
0

fonction z |--> cos(z)

2
4
6 -6
-4
-2
0
4

Re(cos(z))
Im(cos(z))

2
6

1.4.3. Trigonomtrie complexe.

 On a dnit les fonctions
(puisque

sin

et

cos

sur

R.

Par prolongement analytique,

admet un certain nombre de points d'accumulation), on peut

les prolonger en fonctions analytiques, de manire unique,

puisque les sries suivantes sont convergentes pour

cos (z)

(1)

n0

sin (z)

X
n0

(1)

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

zC

tout entier

1.4. EXEMPLES DE FONCTIONS ANALYTIQUES

11

 De manire analogue on dnit les fonctions hyperboliques par leurs sries,

convergentes sur

tout entier :

cosh (z)

X z 2n
(2n)!

n0

sinh (z)

n0
 La plupart des

galits

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

trigonomtriques tablies sur

prolongement analytique. Par exemple, la fonction

analytique sur

R s'tendent C par
f (x) = cos2 x + sin2 x est

R donc elle admet un unique prolongement analytique, donn

par son dveloppement en srie entire, qui ici est particulirement simple,
puisqu'il s'agit de la srie constante

1.

Donc

z C

cos z + sin2 z = 1

z C

cosh2 iz sinh2 iz = 1

De mme, on a

z C
cos z
i sin z

= cosh iz
= sinh iz

ainsi que les formules d'Euler, de Moivre...

 Les proprits de type

pas

en passant

C.

ingalit

1.4.4. Logarithme complexe.

exp, on est amen
x = log |z| et y arg (z) soit
la fonction

Si l'on cherche, comme dans

R,
exp (u) = ex+iy = z 6= 0 :

rsoudre

exp (u) = z

R, par contre, ne se conservent

t R , cos it = cosh (t) > 1

valables dans

Par exemple pour

inverser
on trouve

u log |z| + iarg (z)

arg z est un ensemble de la forme

+ 2Z.
f = {z C, = (z) < + 2} la bande horizontale de largeur
Soit R et B
f sur C .
2 . On vrie sans dicult que exp|Bf est une bijection de B
Malheureusement la bijection rciproque que nous notons provisoirement
Il n'y a pas d'unicit de la solution puisque

n'est pas continue : on a d'une part

(exp (i))
et d'autre part, pour

= i

f arg (i ( )),
 assez petit, et puisque (exp (i ( ))) B

on a :

(exp (i ( )))

= i (  + 2)

donc

lim (exp (it))

= i ( + 2) 6= (exp (i))

Ainsi, pour obtenir une fonction inverse de

s'interdire les valeurs

telles que

=z =

exp

qui soit continue, on est amen

et dnir la bande ouverte

= {z C, < = (z) < + 2}

exp|B est alors une bijection bi-continue de B sur C \ o la demi-droite =

 i

e , 0 est appele une coupure du plan complexe. La bijection rciproque
est continue, et appele une dtermination du logarithme associe au plan coup

C \ .

12

1. FONCTIONS ANALYTIQUES

Fig. 1.4.2. Coupure

Definition 1.4.5. on appelle

U C

toute fonction

f continue

dtermination
U vriant

du logarithme dans un domaine

sur

exp f

= Id|U

Diverses dterminations

du logarithme
 Pour R soit = ei , 0 la coupure correspondante. Alors la
fonction
Theorem 1.4.6.

log : C \

B = {z C, < = (z) < + 2}

log (z) = ln (|z|) + i arg (z)

o < arg (z) < + 2

1.4. EXEMPLES DE FONCTIONS ANALYTIQUES

est une dtermination du logarithme.

 Pour = on parle de la dtermination
galement dnie par
log : C \

z = x + iy

principale

13

du logarithme qui est

B = {z C, < = (z) < }

si x > 0
arctan x

si y > 0
ln |z| + i 2 arctan xy

arctan x si y < 0
2
y

log = T log R est la comT : z 7 z + i ( + ), de la fonction log et de la rotation

R : z 7 zei(+) . Pour tablir que log , (qui est la bijection rciproque de exp|B )
est continue sur B , il sut donc de montrer que la fonction, log est continue sur
B et est bien la bijection rciproque de exp|B . Ce qui rsulte trs simplement des

deux proprits lmentaires de la fonction arctan : w R,

2 < arctan w < 2


et w R , arctan w + arctan
w = 2.
Dmonstration. Remarquons tout d'abord que

pose d'une translation

On peut tablir de manire rigoureuse ce qui nous est apparu intuitivement en

introduction de ce paragraphe :
Proposition 1.4.7. si f est une dtermination du logarithme sur un domaine
U C , alors les autres dterminations du logarithme dans ce mme ouvert sont
f + 2ik, k Z. Il n'existe pas de dtermination (continue) du logarithme sur C .
Dmonstration. Le point 1 est une consquence immdiate de la dnition :

si

et

sont deux dterminations (continues) du logarithme sur

est continue de

connexe, valeurs dans

Z,

discret, donc

alors

h=

f g
2i

est constante.

C . La fonction u =
= (f ) est alors
une dtermination continue de l'argument sur C . Donc v : R
7
v () = u ei R est continue et 2priodique. De plus v () arg ei =
+ 2Z. Donc v () = + 2n (). Or la fonction n est continue sur R connexe,
valeur dans Z, discret, donc elle est constante, n () = n0 . Donc v () = + 2n0 .
Mais v est galement priodique : v () = + 2n0 = v ( + 2) = + 2 (n0 + 1)
ce qui est impossible.

Soit

une dtermination (continue) du logarithme sur

Proposition 1.4.8.

La somme de la srie
n
X
n1 (z 1)
f (z) =
(1)
n
n>0

est une dtermination du logarithme sur le disque 1 + D1 .

Dmonstration. Le rayon de convergence de

la srie

converge pour

|z 1| < 1.
f 0 (z)

On a

f (1) = 0

S (w) = f (w + 1)

est 1. Donc

et

(1) (z 1)

n0

=
donc

f (t) = ln t

sur

]0, 2[.

Donc

1
z

exp f

est analytique sur

1 + D1 (la

compose de

deux fonctions analytiques est analytique) et concide avec l'identit sur

sur

1 + D1

(thorme du prolongement analytique).

]0, 2[

donc

14

1. FONCTIONS ANALYTIQUES

Proposition 1.4.9. Sur tout disque ne contenant pas l'origine, il existe une
dtermination du logarithme. Plus prcisment : soit z0 C et 0 arg (z0 ). Alors
la srie suivante
X (1)n1  z z0 n
g (z) = ln |z0 | + i0 +
n
z0
n1

dnit une dtermination du logarithme sur le disque z0 + D|z0 | .


n
n1
P



 zz0 
 z0  < 1,
 
 
z
z
vers f
z0 (proposition prcdente). Donc exp g (z) = |z0 | exp (i0 ) exp f z0 =
z0 zz0 = z

Dmonstration. La srie

(1)
n

n1

zz0
z0

converge, pour

ln xy = ln x + ln y , usuelle dans R+ ne peut

2
4i
2i
2i
3 . Si
plus tre applique dans C. Par exemple, pour z = e 3 , on a z = e 3 = e

2
l'on choisit la dtermination principale du logarithme, alors log z = 2i
3 et log z =

2i 3 6= 2 log z
Note 1.4.10. Attention : l'galit,

Proposition 1.4.11.

maine U , alors

si f est une dtermination du logarithme dans un doz

U, f 0 (z) =

1
z

z0 et z dans U . Posons Z = f (z) et Z0 = f (z0 ),

exp f = Id|U , on a exp Z = z et exp Z0 = z0 . Le rapport
(z)
Z0 Z
s'crit t (z0 , z) =
t (z0 , z) = f (zz00)f
z
exp Z0 exp Z et connaissant la drive de
1
1
l'exponentielle, limzz0 t (z0 , z) =

exp Z0 = z0
Dmonstration. soient

et compte tenu de

Example 1.4.12. calculer les diverses valeurs possibles de

et

log (1 + i)





log (2) , log (i) , log (1 + i)

{log (2)} = ln 2 + i
(2Z + 1)

{log (i)} = i 2Z + 21


{log (1 + i)} o
= ln22 + i 2Z + 14
n
2

log (1 + i)

= ln 2 + i 2Z +

1.4.5. Fonctions puissance.

tion puissance- par

1
2

dans R et x dans R+ on dnit la foncx > 0, x = exp ( log x). On tend cette dnition C :
Pour

Definition 1.4.13. soit

et

un domaine ne contenant pas l'origine.

Pour chaque dtermination du logarithme dans

U,

on peut dnir une fonction

puissance- associe par

:U
z

C
z = exp ( log z)

Proposition 1.4.14. une dtermination du logarithme tant choisie sur U , la

fonction puissance associe est continue et drivable sur U avec

z U, (z )

= z 1

Dmonstration. lmentaire, la fonction puissance tant la compose de

fonctions continues et

Cdrivables.

y
y

3.5

2.5

1.5

-1

0.5

2.5

ReLog(t), ImLog(t)
x(t), y(t)

ReLog(t), ImLog(t)
x(t), y(t)

1.5

4
3.5
3
2.5
2
1.5
1

0.5

-0.5
-1

1
x

ReLog(t), ImLog(t)
x(t), y(t)

(c) Image de la demi-droite y=x+1>0

4

y
y

1
0.5
0
-0.5

1.5

0.5

-0.5

-1

-1.5

-2
-0.5

4
2
0
-2

-40

-4

2.5

1.5

0.5

-0.5

-1
-2

-35

-30

-1

-25

-20

-15
x

1
x

-10

-5

ReLog(t), ImLog(t)
x(t), y(t)

ReLog(t), ImLog(t)
x(t), y(t)

10

(e) images du cercle |z-2|=2

(d) images du cercle |z-2-i|=2

(b) Image de la droite y=1

(a) Image de la droite x=1

z 7 log z
Fig. 1.4.3. Fonction

y =x+1>0
et de la demi droite

x = 1, y = 1
image des droites

15
1.4. EXEMPLES DE FONCTIONS ANALYTIQUES

16

1. FONCTIONS ANALYTIQUES

Fig. 1.4.4. Fonction z 7 log z :

f (r, t) = (r cos t, r sin t, t) pour t [2, 4]

la surface paramtre

et

r [0.2, 0.3]

4
3
2
1
0
-1
-2
-3
-4

10

-5

-3

-0.3

-2

-0.2
-1

-0.1

0
1

0.1
2

0.2
3

0.3 -0.3

-0.2

r*cos(t), r*sin(t), ImLog(t)

-0.1

-1
-2

0.2

r.exp(it),t

0.1

-3

0.3

Example 1.4.15. Pour la dtermination principale du logarithme, la fonction

z 7 z i

est dnie par

z C \ R
z

ainsi, on calcule par exemple

et

exp (i log z)

=
=

exp (i ln |z| arg z)

exp (i ln |z|) exp ( arg z)

ii = e 2

Remark 1.4.16. comme pour le logarithme, il faut tre extrmement vigilant

z + = z z

avant d'utiliser des formules comme

ou

(zz 0 ) = z z 0

etc...

Exercices
Exercise 1.5. Trouver les rayons de convergence de la srie

an z n

dans les

cas suivants :
(1)

an est

(2)

an = 1

la somme des carrs des diviseurs de

si

est premier,

an = 0

n.

sinon.

Exercise 1.6. Calcul d'un dveloppement en srie entire : mthode de l'qua-

tion direntielle. cf [ ], pp. 672-673

Exercise 1.7. Soit

(1) Si

une fonction holomorphe sur un ouvert connexe

U,

que peut-on dire de

f?

z U, f (z) f (z) = 0,

que peut-on dire de

f?

est identiquement nulle sur

(2) Si pour tout

de

C.

EXERCICES

Exercise 1.8. Soit

tiques sur

C.

17

un ouvert de C et A (U) l'ensemble des fonctions analyA (U) muni de l'addition des fonctions (+), la multipli(.), et le produit des fonctions () est une algbre sur C

Etablir que

cation par un complexe

c'est dire :
(1)

(A (U) , +, .)

est un espace vectoriel,

(2)

(A (U) , +, )

a une structure d'anneau,

C,
g = f (.g).

(3) pour tout

et pour tout couple

(f, g) A (U), . (f g) = (.f )

(4) Etablir de plus que la compose de deux fonctions analytiques est analytique. Donner auparavent un nonc prcis de cette proprit.

Exercise 1.9. Soit

f : U C

un ouvert de

R2 .

On appelle laplacien de

l'application

dnie par

f
(1) Montrer que

f H (U)si

2f
2f
+
x2
y 2

et seulement si

f = 0

et

(zf ) = 0

Exercise 1.10. La fonction exponentielle est surjective de

G = exp (C).
(C , ).

(1) Soit

(2) Montrer que

point

z C,

exp

Montrer que

sur

est un sous groupe multiplicatif de

est un diomorphisme local, c'est dire, que pour tout

il existe un voisinage de

phisme. En dduire que

(3) Montrer que

sur lequel

exp

est un diomor-

est un ouvert.

C \ G = aC \G aG

et en dduire que

C \ G

est ouvert.

(4) Utiliser un argument de connexit pour dduire de ce qui prcde que

C \ G

est vide.