Vous êtes sur la page 1sur 38

19 Fonctions holomorphes

Dans ce chapitre nous allons gnraliser la notion de drivation rencontre pour les fonctions dune variable relle au cas des fonctions dune variable complexe.

19.1

La reprsentation de R2 dans C

Le corps C des nombres complexes est identi R2 par lisomorphisme de R-espace vectoriels : : C R2 z = x + iy (x, y) Si uC est une application R-linaire de C dans C, sa reprsentation dans R2 est donne par le schma suivant : uC C C 1 uR 2 R R2 cest donc lapplication uR = uC 1 et uC est R-linaire si, et seulement si, uR est R-linaire. Les applications C-linaires de C dans C sont les applications z z o = a + ib est un nombre complexe avec a, b rels. La reprsentation R-linaire dune telle application est lapplication uR dnie par : uR (x, y) = ( (x + iy)) = ((ax by) + i (ay + bx)) = (ax by, bx + ay) et sa matrice dans la base canonique de R2 est A = a b . b a Rciproquement si uC est une application de C dans C telle que uR = uC 1 soit une a b application R-linaire de matrice A = , alors uC est lapplication C-linaire z z b a o = a + ib.

Remarque 19.1 Ce rsultat est la base des conditions de Cauchy-Riemann que nous verrons un peu plus loin (paragraphe 19.6). En utilisant, pour C , la forme polaire = ei = (cos () + i sin ()) avec R+, et R, lapplication uR a pour matrice dans la base canonique de R2 : A= cos () sin () sin () cos () 457

458

Fonctions holomorphes

et uR = r est la compose de la rotation r dangle = arg () (modulo 2) et de lhomothtie h de rapport = || > 0. Cest une similitude directe. Remarque 19.2 Une similitude directe conserve les angles orients et les cercles. Cette remarque est la base de la notion de reprsentation conforme que nous verrons plus loin. Exercice 19.1 Soit = a + ib un nombre complexe et uC lapplication de C dans C dnie par uC (z) = z pour tout z C, o z est le conjugu de z. Montrer que uC est R-linaire et donner sa matrice dans la base canonique de R2 . Solution 19.1 La reprsentation R-linaire de uC est lapplication uR dnie par : uR (x, y) = ( (x iy)) = ((ax + by) + i (bx ay)) = (ax + by, bx ay) a b . b a En utilisant, pour non nul, la forme polaire = ei = (cos () + i sin ()) lapplication uR a pour matrice : cos () sin () A= sin () cos () et sa matrice dans la base canonique de R2 est A = et uR = est la compose de la symtrie orthogonale par rapport la droite D faisant arg () langle = avec laxe des x et de lhomothtie h de rapport = || . Cest une simili2 2 tude indirecte. sin 2 cos 2 , lorthogonale D est dirige par v = La droite D est dirige par u = sin 2 cos 2 et on a : (u ) = = = cos () sin () sin () cos () cos () cos sin () cos cos sin
2 2 2 2

cos sin

+ sin () sin cos () sin = u

2 2 2 2

(v ) = = =

cos () sin () sin () cos () sin () cos sin () sin sin


2 2 2 2

sin cos

2 2 2 2

cos () sin cos () cos = v

cos

donc est bien la symtrie orthogonale par rapport la droite D . Exercice 19.2 Montrer quune application u : C C est R-linaire si, et seulement si, il existe deux nombres complexes et tels que u (z) = z + z pour tout z C.

Fonctions continues sur un ouvert de C

459

Solution 19.2 Il est clair quune telle application est R-linaire. Rciproquement si u est R-linaire, il sut de connatre u (1) et u (i) pour connatre u (puisque (1, i) est une base du R-espace vectoriel C). On dnit alors les nombres complexes et comme les solutions du systme linaire : + = u (1) i i = u (i) soit (, ) = 1 (u (1) i u (i) , u (1) + i u (i)) et on a pour tout z = x + iy C : 2 u (z) = xu (1) + yu (i) = x ( + ) + y (i i) = (x + iy) + (x iy) = z + z.

19.2

Fonctions continues sur un ouvert de C

Nous dcrivons tout dabord quelques notions topologiques de base sur C. Toutes ces notions seront tudies en dtails dans le chapitre sur les espaces mtriques avec le cas particulier des espaces vectoriels norms de dimension nie. Dnition 19.1 tant donns un nombre complexe et un nombre rel positif ou nul R, le disque ouvert de centre et de rayon R est la partie de C dnie par : D (, R) = {z C | |z | < R} et le disque ferm de centre et de rayon R est la partie de C dnie par : D (, R) = {z C | |z | R} Pour R = 0, on a D (, R) = et D (, R) = {} . En dsignant par le point de R2 daxe , un tel disque (ouvert ou ferm) est identi au disque (ouvert ou ferm) de R2 de centre et de rayon R. Le bord dun tel disque est le cercle de centre et de rayon R dni par : C (, R) = {z C | |z | = R} . Une paramtrisation de ce cercle est aussi donne par : (z C (, R)) t ], ] | z = + R eit Dnition 19.2 On dit quune partie V de C est un voisinage de z0 C si elle contient une boule ouverte centre en z0 de rayon strictement positif. Dnition 19.3 On dit quune partie O de C est ouverte (ou que cest un ouvert de C) si elle est vide ou si elle est non vide et pour tout z O il existe un rel r > 0 tel que D (z, r) O. Lensemble vide et C sont des ouverts. Il est quivalent de dire quun ensemble non vide est un ouvert si, et seulement si, cest un voisinage de chacun de ses points. Exercice 19.3 Montrer quun disque ouvert de C est un ouvert. Quen est-il dun disque ferm ?

460

Fonctions holomorphes

|t | = |(t z) + (z )| |t z| + |z | < + |z | < R

(gure 19.1) ce qui signie que t D (, R) . On a donc D (z, ) D (, R) et D (, R) est un

Fig. 19.1

ouvert. Un disque ferm nest pas ouvert. En eet pour z = + R ei D (, R) et tout > 0, le point t = z + ei est dans D (z, ) et pas dans D (, R) puisque : 2 i |t | = + R + e = R + > R. 2 2 Exercice 19.4 Montrer quune runion quelconque douverts de C est un ouvert. Solution 19.4 Soit (Oi )iI une famille douverts quon peut supposer non vides. Si z O = Oi , il existe un indice i I tel que z Oi et comme Oi est ouvert non vide, il existe un rel ri > 0 tel que D (z, ri ) Oi O. Lensemble O est donc ouvert.
iI

Exercice 19.5 Montrer quune intersection nie douverts de C est un ouvert. Que dire dune intersection innie douverts de C ? Solution 19.5 Soit (Oi )1in une famille nie douverts quon peut supposer non vides. Si
n

z O=

Oi , comme chaque Oi est ouvert, il existe des rel ri > 0 tels que D (z, ri ) Oi
i=1 1in

pour tout i compris entre 1 et n et en notant r = min ri , on a r > 0 et D (z, r) O. Lensemble

O est donc ouvert. Dans le cas dune intersection innie, on peut avoir r = inf ri = 0. Par exemple pour R 0 et
iI +

C, le disque ferm

D , R +
k=1

1 k

= D (, R) nest pas ouvert.


t z

Solution 19.3 Soit D (, R) un disque ouvert. Si R = 0, on a alors D (, R) = et cest un ouvert. Sinon, pour z D (, R) , on a R|z | > 0 et pour 0 < < R|z | , en utilisant lingalit triangulaire, on voit que pour tout t D (z, ) , on a :

Fonctions continues sur un ouvert de C

461

Dnition 19.4 On dit quune partie F de C est ferme (ou que cest un ferm de C) si son complmentaire dans C, C \ F, est un ouvert de C. Lensemble vide et C sont la fois ouverts et ferms. Exercice 19.6 Montrer quune intersection quelconque de ferms de C est un ferm. Solution 19.6 Rsulte de : C\
iI

Fi =
iI

(C \ Fi )

Exercice 19.7 Montrer quune runion nie de ferms de C est un ferm. Que dire dune runion innie de ferms de C ? Solution 19.7 Rsulte de : C\
n n

Fi =
i=1 i=1

(C \ Fi )

Une runion innie de ferms de C nest pas ncessairement ferm. Par exemple pour R > 0 + 1 et C, le disque ouvert = D (, R) nest pas ouvert. k=1 D , R 1 k k> R Exercice 19.8 Montrer quun disque ferm de C est un ferm. Solution 19.8 Laisse au lecteur. Le rsultat suivant nous fournit une caractrisation squentielle de la notion de ferm. Thorme 19.1 Une partie non vide F de C est ferme si, et seulement si, pour toute suite (zn )nN de F qui est convergente, la limite z = lim zn est dans F.
n+

Si O est un ouvert non vide de C, on peut lidentier un ouvert de R2 et toute application f : O C peut tre identie lapplication de dans R2 dnie par (x, y) = (P (x, y) , Q (x, y)) o P est la partie relle de f et Q sa partie imaginaire. On connat dj les notions de limite, de continuit et de drivabilit pour les fonctions relles P et Q. Nous allons dnir ces notions pour les fonctions dune variable complexe et tudier le lien avec les notions relles. Pour la notion de limite, on se contente du cas particulier dune fonction dnie sur un voisinage dun point priv de ce point. Dnition 19.5 Soient V un voisinage dun point z0 de C et une application f : V \ {z0 } C. On dit que f admet une limite en z0 , si il existe un nombre complexe tel que pour tout rel > 0, il existe un rel > 0 tel que si z V et 0 < |z z0 | < alors |f (z) | < . Comme dans le cas rel, on dduit de lingalit triangulaire pour le module que si une fonction f admet une limite en un point, cette dernire est alors unique et on peut noter = zz f (z) . En pratique, on note = lim f (z) tant entendu que z tend vers z0 avec z = z0 . lim On a donc : = lim f (z)
zz0 z=z0
0

zz0

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


zz0

lim |f (z) | = 0

(on peut toujours trouver > 0 tel que D (z0 , ) V).

462

Fonctions holomorphes

Dnition 19.6 Soient O un ouvert non vide de C et une application f : O C. On dit que f est continue en z0 O si lim f (z) = f (z0 ) . On dit que f est continue sur O, si elle est continue en tout point de O. La continuit de f en z0 se traduit donc par : > 0, > 0 | z O et |z z0 | < |f (z) f (z0 )| < Exemple 19.1 Une fonction constante est continue en tout point de C. Exercice 19.9 Montrer que la fonction z |z| est continue en tout point de C. Solution 19.9 Rsulte de ||z| |z0 || < |z z0 | . Exercice 19.10 Montrer que pour tout entier naturel n, la fonction z z n est continue en tout point de C. Solution 19.10 Pour n = 0, il sagit de la fonction constante gale 1 et pour n 1, z0 C, on peut trouver un rel R > 0 tel que z0 D (0, R) et pour tout z D (0, R) , on a :
n1 n |z n z0 | = |z z0 | k=0 k z n1k z0 nRn1 |z z0 | 0. xz0 zz0

Exercice 19.11 Montrer que pour tout entier naturel n, la fonction z z n est continue en tout point de C. Solution 19.11 Rsulte de :
n |z n z0 n | = |z n z0 | 0. xz0

Une dnition quivalente de la continuit en un point est donne par le rsultat suivant. Thorme 19.2 Une fonction f : O C est continue en a O si, et seulement si, pour toute suite (zn )nN de points de O qui converge vers a, la suite (f (zn ))nN converge vers f (a) . Dmonstration. On copie la dmonstration du cas rel. Dans ce qui suit, O est un ouvert non vide de C et f une application de O dans C. Thorme 19.3 Si f : O C est continue en z0 O, elle est alors borne au voisinage de ce point, cest--dire quil existe un rel r > 0 et une constante M > 0 tels que D (z0 , r) O et : z D (z0 , r) , |f (z)| M. Dmonstration. On copie la dmonstration du cas rel. Une dnition topologique de la notion de continuit est donne par le rsultat suivant. Thorme 19.4 Une fonction f : O C est continue sur O si, et seulement si, limage rciproque par f de tout ouvert [resp. ferm] de C est un ouvert [resp. ferm] de O (i. e. f 1 (O) = O O [resp. f 1 (O) = O F ]o O [resp. F ]est un ouvert [resp. ferm] de C).

Fonctions continues sur un ouvert de C

463

Dmonstration. Supposons f continue et soit O1 un ouvert de C. Pour tout z0 f 1 (O1 ) , f (z0 ) est dans louvert O1 , il existe donc un rel > 0 tel que le disque ouvert D (f (z0 ) , ) soit contenue dans O1 et avec la continuit de f, on peut trouver un rel > 0 tel que pour tout z D (z0 , ) O on ait f (z) D (f (z0 ) , ) O1 . On a donc D (z0 , ) O f 1 (O1 ) et en posant O = D (z0 , ) , on dnit un ouvert de C tel que f 1 (O1 ) = C O , ce qui
z0 f 1 (O1 )

prouve que f (O1 ) est ouvert dans C. Rciproquement, supposons que limage rciproque par f de tout ouvert de C est un ouvert de O. Pour z0 C et > 0, f 1 (D (f (z0 ) , )) est un ouvert de O, il existe donc un rel > 0 tel que D (z0 , ) O f 1 (D (f (z0 ) , )) , ce qui signie que |f (z) f (z0 )| pour tout z B (z0 , ) O. La fonction f est donc continue en tout point de O. Pour ce qui est de limage rciproque des ferms, on utilise le fait quun ferm est le complmentaire dun ouvert et limage rciproque du complmentaire est le complmentaire de limage rciproque. Pour ce qui est des oprations lmentaires, on a le rsultat suivant. Thorme 19.5 Soient f, g deux fonctions dnies sur O, valeurs complexes et continues en z0 O. Les fonctions f , |f | , f + g et f g sont continues en z0 . Si f (z0 ) = 0, il existe alors un voisinage ouvert V de z0 dans O tel que f (z) = 0 pour tout 1 z V et la fonction qui est dnie sur V est continue en z0 . f Dmonstration. Pour f cest clair et pour les autres fonctions, on copie la dmonstration du cas rel. Exercice 19.12 Montrer que les fonctions z de C. Solution 19.12 Rsulte de (z) = 1 (z + z) et 2 (z) et z (z) sont continues en tout point

(z) =

1 (z z) . 2i

De la continuit des applications z z n pour tout entier naturel n, on dduit que les fonctions polynomiales sont continue sur C et que les fonctions rationnelles sont continue sur leurs domaines de dnition. Pour la composition des applications, on a le rsultat suivant. Thorme 19.6 Si f : O C est continue en z0 O, O est un ouvert de C contenant f (O) et g : O C est continue en f (z0 ) , alors g f est continue en z0 . Exercice 19.13 Montrer que si : R+ C est une fonction continue et f : O C une fonction continue, alors la fonction z (|f (z)|) est continue sur O. Solution 19.13 Soient > 0 et z0 O. Comme est continue en |f (z0 )| , il existe > 0 tel que | (t) (|f (z0 )|)| < pour tout rel t > 0 tel que |t |f (z0 )|| < . En dsignant par > 0 un rel tel que ||f (z)| |f (z0 )|| < pour tout z O tel que |z z0 | < , on a | (|f (z)|) (|f (z0 )|)| < pour tout z O tel que |z z0 | < . La fonction z (|f (z)|) est donc continue en z0 .

464

Fonctions holomorphes

19.3

Intgrales curvilignes

Dnition 19.7 Un chemin dans C est une application : [a, b] C continue et de classe C 1 par morceaux, o [a, b] est un segment rel non rduit un point (on a donc a < b). Si (a) = (b) , on dit que ce chemin est ferm ou que cest un lacet. Si lapplication est injective, on dit alors que le chemin est sans points doubles. On rappelle quune fonction : [a, b] C est dite de classe C 1 par morceaux, sil existe une subdivision a0 = a < a1 < < ap < ap+1 = b telle que la fonction f se prolonge par continuit en une fonction de classe C 1 sur chacun des intervalle [ak , ak+1 ] (0 k p). Si : [a, b] C est un chemin, son image Im () = ([a, b]) est le chemin gomtrique quil dnit et est une paramtrisation de Im () . Si , sont deux nombres complexes, on dit quun chemin : [a, b] C relie et , si (a) = et (b) = . On dit alors, dans ce cas, que est lorigine et lextrmit du chemin gomtrique Im () . Exemple 19.2 Le cercle de centre et de rayon R > 0 parcouru une fois dans le sens direct peut tre paramtr par : ,R : [0, 2] C t + Reit Ce lacet sera not plus simplement : |z | = r. Exemple 19.3 Pour , dans C, le segment [, ] reliant et peut tre paramtr par : : [0, 1] C t (1 t) + t Si O est un ouvert non vide de C, f : O C une fonction continue et : [a, b] O un chemin valeurs dans O, on peut dnir lintgrale de f le long de ce chemin en sinspirant de la dnition de lintgrale de Riemann dune fonction dnie sur un segment rel et valeurs complexes. Pour ce faire, on dcoupe, pour tout entier naturel n 1, lintervalle [a, b] en n ba intervalles de mme longueur en utilisant la subdivision (tn,k )0kn dnie par tk = a + k n pour 0 k n et on associe ces subdivisions la suite (In )n1 dnie par :
n1

n 1, In =
k=0

f (zn,k ) (zn,k+1 zn,k )

o zn,k = (tn,k ) . En crivant que : zn,k+1 zn,k = (tn,k+1 ) (tn,k ) = (tn,k+1 tn,k ) (tn,k ) + o ( (tn,k ) = lim 1 n

(tn,k + h) (tn,k ) quivaut (tn,k + h) (tn,k ) = h (tn,k ) + o (h) et ici h0 h ba ), on a : h = tn,k+1 tn,k = n
n1

In
k=0

f (zn,k ) (tn,k+1 tn,k ) (tn,k )

et il est naturel de donner la dnition suivante.

Intgrales curvilignes

465

Dnition 19.8 Si O est un ouvert non vide de C, f : O C une fonction continue et : [a, b] O un chemin valeurs dans O, alors lintgrale curviligne de f le long de est le nombre complexe :
b

f (z) dz =
a

f ( (t)) (t) dt.

En notant : a0 = a < a1 < < ap < ap+1 = b une subdivision telle que soit de classe C 1 sur chaque [ak , ak+1 ] (0 k p), on a prcisment :
p ak+1

f (z) dz =
k=0 ak

f ( (t)) (t) dt

Pratiquement cette intgrale curviligne se calcule en posant z = (t) et dz = (t) dt avec t parcourant [a, b] pour z parcourant ([a, b]) . Exercice 19.14 Soient un nombre complexe et R un rel strictement positif. Calculer : In =
|z|=R

(z )n dz

pour tout entier relatif n. Solution 19.14 On a :


2 2 0

In =
0

Rn eint iReit dt = iRn+1

ei(n+1)t dt

0 si n = 1 2i si n = 1

Exercice 19.15 Donner une paramtrisation du bord du rectangle R dni par : R = {z C | a (z) a, b

(z) b}

o a, b sont des rels strictement positifs. Calculer

z n dz pour tout entier relatif n.

Solution 19.15 Une paramtrisation du bord de R est donne par : : [0, 4] C (2t 1) a ib si 0 t 1 a + ib (2t 3) si 1 t 2 t (5 2t) a + ib si 2 t 3 a + i (7 2t) b si 3 t 4 et pour f continue sur C , on a :
1

f (z) dz = 2a
0 2

f ((2t 1) a ib) dt f (a + ib (2t 3)) dt


1 3

+ 2ib 2a
2 4

f ((5 2t) a + ib) dt f (a + i (7 2t) b) dt


3

2ib

466

Fonctions holomorphes

ce qui scrit en utilisant les changement de variables respectifs x = 2t1, y = 2t3, z = 2t5, u = 2t 7 :
1 1

f (z) dz = a
1 1

f (xa ib) dx + ib
1

f (a + iby) dy
1

a
1

f (za + ib) dz ib
1

f (a iub) du

Pour f paire, cela donne

f (z) dz = 0 et pour f impaire, on a :


1 1

f (z) dz = 2a
1

f (xa ib) dx + 2ib


1

f (a + ibx) dx

Pour f (z) = z 2n+1 avec n entier relatif dirent de 1, on a :


1

f (z) dz = 2a
1

(xa ib)2n+1 dx + 2ib

1 1

(a + ibx)2n+1 dx

1 1 1 1 = (xa ib)2(n+1) + (a + ibx)2(n+1) n+1 n+1 1 1 2(n+1) 2(n+1) 2(n+1) (a ib) (a ib) (a + ib) (a ib)2(n+1) = + n+1 n+1 =0

1 et pour f (z) = , on a : z dz = 2a z
1 1 1

dt + 2ib xa ib

1 1

dx a + ibx

1 xa + ib a ibx = 2a dt + 2ib dx 2 a2 + b2 2 2 2 1 x 1 a + x b 1 1 dt dt = 4iab + 4iab 2 a2 + b2 2 + t2 b2 0 t 0 a 1 1 a dt b dt = 4i + 4i 2 b b 0 t2 a2 + 1 a 0 1 + t2 a2 2 b


a dt dt = 4i + 4i 2+1 2 0 x 0 1+x a b = 4i arctan + arctan b a = 4i = 2i. 2 a b b

Nous verrons plus loin que ces rsultats ne sont pas tonnant. Exercice 19.16 Calculer dz . [1,2+i] z

Solution 19.16 Si [, ] est un segment dans C paramtr par : : t [0, 1] (1 t) + t

Intgrales curvilignes on a, dans la cas o 0 nest pas sur le segment [, ] : dz = [,] z


1 0

467

dt = (1 t) + t

1 0

dt ( ) t +

ce qui donne pour = 1 et = 2 + i : dz = (1 + i) [1,2+i] z = (1 + i)


1 0

dt = (1 + i) (1 + i) t + 1
1 1

1 0

1 + t it dt 2t2 + 2t + 1

1+t t dt i dt 2 + 2t + 1 + 2t + 1 0 0 2t ln (5) arctan (3) ln (5) arctan (3) = (1 + i) + i + 4 2 8 4 2 8 ln (5) = + i arctan (3) 2 4 2t2 Exercice 19.17 Calculer
|z|=1

f (z) dz pour les fonctions suivantes :

1. f (z) = |z|n pour z C , o n est un entier relatif. 2. f (z) = (z n ) (z n ) pour z C , o n est un entier relatif. Solution 19.17 Une paramtrisation du cercle de centre 0 et de rayon 1 parcouru une fois dans le sens direct est donn par lapplication dnie par : t [0, 2], (t) = eit .
2

et on a
|z|=1

f (z) dz =
n

f (z) dz =
0

f (eit ) ieit dt.

1. Pour f (z) = |z| , on a :


2

f (z) dz =
0

it n

ie dt =
0

it

ieit dt = 0.

2. Pour f (z) = f (z) dz =

(z n )
2

(z n ) , on a :

(cos (nt) sin (nt)) (i cos (t) sin (t)) dt


0 2 2

=i
0 2

(cos (nt) sin (nt)) cos (t) dt


0 2

(cos (nt) sin (nt)) sin (t) dt

=i
0 2

cos (nt) cos (t) dt


0

sin (nt) sin (t) dt


2

puisque
2 0

cos (nt) sin (mt) dt = 0 pour tous n, m dans Z. Et avec


2 0 2

cos (nt) cos (mt) dt = sin2 (nt) dt = pour

0,
0

sin (nt) sin (mt) dt = 0 pour n = m et


0

cos2 (nt) dt =
0

n = 0, on dduit que : f (z) dz =

0 si n = 1 (1 + i) si n = 1

468

Fonctions holomorphes f (z) dz pour les

Exercice 19.18 Soit f dnie par f (z) = z 2 1 pour tout z C. Calculer chemins suivants : 1. : t [0, 1] t + it2 . 2. : t [0, 2] et+it . 3. : t [0, 2] cos (t) + i sin (2t) . Solution 19.18 On a : 1.
1

f (z) dz =
0 1

t + it2 t + it2
3 2

1 (1 + 2it) dt
1

=
0

(1 + 2it) dt
0 1

(1 + 2it) dt

(t + it2 ) = t + it2 3 5 1 = i. 3 3 2.
2

(1 + i)3 = (1 + i) 3

f (z) dz =
0 2

e2t+2it 1 (1 + i) et+it dt e3(1+i)t (1 + i) dt


2 2 0 6

=
0

(1 + i) e(1+i)t dt

= 3.
2

3(1+i)t

e(1+i)t
0

e 2 e2 + 3 3

f (z) dz =
0 2

(cos (t) + i sin (2t))2 1 ( sin (t) + 2i cos (2t)) dt (cos (t) + i sin (2t))2 ( sin (t) + 2i cos (2t)) dt ( sin (t) + 2i cos (2t)) dt

=
0 2

(cos (t) + i sin (2t))3 = (cos (t) + i sin (2t)) 3

=0
0

Exercice 19.19 Pour r > 0, on dsigne par r le demi-cercle dni par : r : t , reit . 2 2 Calculer lim
r+

ez dz. 2 r z

Intgrales curvilignes Solution 19.19 On a, pour r > 0 : ez dz = 2 r z et : 1 ez dz 2 r r z


r+

469

ere i ireit dt = 2 2it r r e 2


2

it

ere eit dt r

it

2
2

r cos(t)

1 dt r

dt =

r+

et en consquence lim

ez dz = 0. 2 r z

En utilisant les subdivisions prcdentes de lintervalle [a, b] , des approximations de la longueur du chemin sont donnes par :
n1 n n1

=
k=0

|zn,k+1 zn,k |
k=0

(tn,k+1 tn,k ) | (tn,k )|

et il est naturel de dnir la longueur de comme suit. Dnition 19.9 Si : [a, b] C est un chemin, sa longueur est le rel positif :
b

() =
a

| (t)| dt.

Exercice 19.20 Calculer la longueur dun cercle de centre z0 C et de rayon r > 0 parcouru une fois dans le sens direct et la longueur dun segment reliant deux nombres complexes et . Solution 19.20 Pour le cercle paramtr par z0 ,r , on a :
2

(z0 ,r ) = et pour un segment [, ] : () =


0 1

ireit dt = 2r

| a| dt = | a| .

Thorme 19.7 Si O est un ouvert non vide de C, f : O C une fonction continue et : [a, b] O un chemin valeurs dans O, on a alors : f (z) dz () sup |f (z)| .
zIm()

Dmonstration. Comme est continue, Im () est compact dans C comme image du compact [a, b] par lapplication continue et la fonction f qui est continue est borne sur le compact Im () , ce qui valide lexistence de sup |f (z)| .
zIm()

On a alors, par dnitions :


b b

f (z) dz =
a

f ( (t)) (t) dt
a b

|f ( (t))| | (t)| dt

sup |f (z)|
zIm() a

| (t)| dt = () sup |f (z)| .


zIm()

La notion douvert connexe dans C peut se dnir en utilisant les chemins.

470

Fonctions holomorphes

Dnition 19.10 On dit quun ouvert O de C est connexe si deux points quelconques de O peuvent tre joints par un chemin dans O (i. e. pour , dans O, il existe un chemin : [0, 1] O tel que (0) = et (1b) = ). En ralit, on dit usuellement quune partie C de C est connexe sil nest pas possible de lcrire comme runion disjointe de deux ouverts non vides de C (un ouvert de C tant un ensemble C O, o O est un ouvert de C) et on montre quun ouvert non vide de C est connexe si, et seulement si, il est connexe par arcs, cest--dire que deux points quelconques de C peuvent tre relis par un chemin dans C. La dnition douvert connexe que nous avons donn nous sura.

19.4

Fonctions analytiques

Pour ce paragraphe, O est un ouvert non vide de C, f une application de O dans C et z0 un point de O. Dnition 19.11 On dit que f est analytique en z0 sil existe un rel r > 0 (dpendant de z0 ) tel que D (z0 , r) O et une suite (an )nN de nombres complexes tels que :
+

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

an (z z0 )n

On dit aussi que f est analytique en z0 si elle est dveloppable en srie entire au voisinage de z0 . On peut remarquer que a0 = f (z0 ) . Avec les notations de la dnition prcdente la srie entire an tn a un rayon de convergence R0 r. Dire que f est analytique en z0 quivaut dire que la fonction fz0 : t f (z0 + t) , qui est dnie sur le disque ouvert D (0, r) , est dveloppable en srie entire au voisinage de 0. Dnition 19.12 On dit que f est analytique sur O si elle est analytique en tout point de O. Du thorme 14.11 sur la continuit des fonctions dveloppables en srie entire au voisinage de 0, on dduit le suivant. Thorme 19.8 Toute fonction analytique sur O est continue sur cet ouvert. Dmonstration. Pour z0 O la fonction fz0 : t f (z0 + t) =
+ n=0

an tn , qui est dnie

dans un voisinage de 0, est continue en 0, ce qui revient dire que f est continue en z0 . De cette continuit, on dduit que le dveloppement en srie entire au voisinage de z0 est unique. Exercice 19.21 Montrer que toute fonction polynomiale est analytique sur C. Solution 19.21 Comme pour tout nombre complexe z0 la famille
n

(z z0 )k

base de Cn [z] , toute fonction polynomiale P Cn [z] scrit de manire unique P (z) = ak (z z0 )k et en consquence est analytique en z0 (on a an+k = 0 pour tout k 0).
k=0

0kn

est une

Fonctions analytiques Exercice 19.22 Montrer que la fonction f : z 1 est analytique sur D (0, 1) . 1z

471

Solution 19.22 On sait dj que cette fonction est dveloppable en srie entire en 0 avec, pour tout z D (0, 1) , f (z) =
+ n=0

zn.

Pour z0 D (0, 1) et z D (z0 , 1 |z0 |) D (0, 1) (faire un dessin), on a : f (z) = et f est analytique en z0 . Au paragraphe 15.2 nous avons dni la fonction exponentielle complexe par ez = pour tout nombre complexe z. On note aussi exp (z) pour ez . Exercice 19.23 Montrer que la fonction exponentielle complexe est analytique sur C. Solution 19.23 En utilisant lquation fonctionnelle vrie par la fonction exponentielle (thorme 15.2), on a pour tout z0 C :
+ + z n n=0 n!

1 1 = 0 1 z0 1 zz0 1z

n=0

(z z0 )n (1 z0 )n+1

e =e e et f est analytique en z0 .

z0 zz0

=e

z0 n=0

(z z0 )n n!

Nous verrons un peu plus loin que si f est une fonction dveloppable en srie entire sur un disque ouvert D (0, R) de centre 0 et de rayon R > 0, elle est alors analytique sur ce disque. En utilisant les rsultats relatifs aux oprations sur les fonctions dveloppables en srie entire au voisinage de 0 (thormes 14.8 et 14.9), on dduit le suivant. Thorme 19.9 La somme et le produit de deux fonctions analytiques sur O est analytique sur O. Plus prcisment si f (z) = on a alors f (z) + g (z) =
n k=0 +

an (z z0 )n et g (z) =
n

bn (z z0 )n pour z D (z0 , r) O,
+ n=0

n=0 + n=0

n=0

(an + bn ) (z z0 ) et f (z) g (z) =

cn (z z0 )n avec cn =

ak bnk .

Exercice 19.24 Montrer que les fonctions f : z cos (z) , z sin (z) , z ch (z) et z sh (z) sont analytiques sur C. Solution 19.24 Ce sont des combinaisons linaires de la fonction exponentielle. Exercice 19.25 Montrer quune fonction rationnelle est analytique sur son domaine de dnition.

472

Fonctions holomorphes

Solution 19.25 Sachant quune fonction polynomiale est analytique et en utilisant le thorme de dcomposition en lments simples, il sut de montrer le rsultat pour les fonctions ration1 o a est un nombre complexe et m un entier naturel non nul. nelles de la forme z (z a)m Pour z0 C \ {a} et z D (z0 , |z0 a|) C \ {a} , on a : 1 1 m = (z a) (z z0 + z0 a)m = 1 1 m (z0 a) 1 zz0 az0
m

1 (z0 a)m

an (z z0 )n
n=0

1 est dveloppable en srie entire sur D (0, 1) . (1 t)m Si maintenant f est une fonction rationnelle, le thorme de dcomposition en lment simples p 1 nous dit quelle scrit f = P + k o P est une fonction polynomiale, les k sont (z ak )mk k=1 des nombres complexes et les mk des entiers naturels non nuls. La fonction P tant analytique 1 analytiques sur C\{ak } , on en dduit que f est analytique sur C et les fonctions z (z ak )mk sur lintersection de ces ensembles, soit sur C \ {a1 , , ap } qui est le domaine de dnition de f. sachant que la fonction t Remarque 19.3 Montrer que le quotient ou la compose de deux fonctions analytiques est analytique sur son domaine de dnition est assez dlicat. Nous obtiendrons ces rsultats comme consquences dun rsultat lmentaire relatif au quotient ou la compose de deux fonctions C-drivables aprs avoir dni cette notion et montr quelle est quivalente lanalyticit.

19.5

La drivation complexe. Fonctions holomorphes

Pour ce paragraphe, O est un ouvert non vide de C, f une application de O dans C et z0 un point de O. La notion de drivabilit pour une fonction dune variable complexe et valeurs complexes se dni comme dans le cas rel. Dnition 19.13 On dit que f est drivable en z0 si la fonction z sur O \ {z0 } admet une limite en z0 . f (z) f (z0 ) dnie z z0

Quand cette limite existe, elle est unique, on la note f (z0 ) et on dit que cest le nombre driv de f en z0 . De manire quivalente, on peut dire que f est drivable en z0 si, et seulement si, elle admet le dveloppement limit dordre 1 en z0 : f (z) = f (z0 ) + f (z0 ) (z z0 ) + |z z0 | (z) o lim (z) = 0.
zz0

(19.1)

Dnition 19.14 On dit que f est holomorphe (ou C-drivable) sur O si elle est drivable en tout point de O.

La drivation complexe. Fonctions holomorphes

473

Si f est une fonction holomorphe sur O, la fonction z f (z) est la fonction drive de f. Si f est holomorphe sur O avec f galement holomorphe, la drive de f est note f . Par rcurrence, on peut dnir les drives dordre n notes f (n) comme dans le cas rel. Nous verrons plus loin quune fonction holomorphe est en fait toujours indniment drivable (ce qui est faux pour les fonctions dune variable relle). Exemple 19.4 Il est facile de vrier quune fonction constante sur O est holomorphe de drive nulle en tout point. Exercice 19.26 Les fonctions z z, z holomorphes sur C ? (z) , z (z) , z |z|2 , z |z| sont-elles

Solution 19.26 Pour z = z0 , on a en utilisant la reprsentation polaire z z0 = ei avec > 0 et [0, 2[ : z z0 z z0 = = e2i e2i 0 z z0 z z0 z z0 et en consquence na pas de limite quand z tend vers z0 dans C (par exemple, pour z z0 = 0 et = , on a deux limites direntes, ce qui nest pas possible). 2 Ltude des autres fonctions sont laisses au lecteur. Remarque 19.4 Les fonctions z z, z (z) , z (z) , z |z|2 nous fournissent des exemples de fonctions indniment drivables vues comme fonctions de R2 dans R2 et non drivables au sens complexe. La fonction z |z|2 est uniquement drivable en 0 avec une |z|2 drive nulle ( = z 0). z0 z Exercice 19.27 Montrer que pour tout entier naturel n, la fonction f : z z n est holomorphe sur C avec f (z) = nz n1 pour tout n 1 et tout z C. Solution 19.27 Pour n = 0, f est constante gale 1 et elle holomorphe de drive nulle. f (z) f (z0 ) Pour n = 1, de = 1, on dduit que f est holomorphe sur C avec f (z0 ) = 1 pour z z0 tout z0 . Pour n 2, de : n1 n f (z) f (z0 ) z n z0 k n1 z n1k z0 nz0 = = zz0 z z0 z z0 k=0 (continuit sur C des fonctions z z p pour tout entier naturel p), on dduit que f est holon1 morphe sur C avec f (z0 ) = nz0 pour tout z0 C. 1 Exercice 19.28 Montrer que pour tout entier naturel non nul n, la fonction f : z n est z n holomorphe sur C avec f (z) = n+1 pour tout z C . z Solution 19.28 De :
n k f (z) f (z0 ) z0 z n z n1k z0 = n n = n z z0 z z0 (z z0 ) z n z0 k=0 n1 n1

=
k=0

n 1 n+1 nk zz 0 z0 z k+1 z0

474 (continuit sur C des fonctions z

Fonctions holomorphes

1 pour tout entier naturel non nul p), on dduit que f zp n est holomorphe sur C avec f (z0 ) = n+1 pour tout z0 C . z0 De la dnition du nombre driv on dduit facilement le rsultat suivant.

Thorme 19.10 Si f est drivable en z0 elle est alors continue en ce point. Dmonstration. Se dduit immdiatement de (19.1) . La rciproque de ce rsultat est fausse comme le montre lexemple de la fonction z z. Le rsultat de lexercice qui suit nous sera utile pour montrer quune fonction de drive nulle sur un ouvert connexe est constante. Exercice 19.29 Soient f : O C holomorphe, [a, b] un segment rel non rduit un point et : [a, b] O une fonction drivable. Montrer que la fonction f est drivable sur [a, b] avec (f ) (t) = f ( (t)) (t) . Solution 19.29 Pour t = t0 dans [a, b] , on a : (f ) (t) (f ) (t0 ) f ( (t)) f ( (t0 )) = t t0 t t0 f ( (t0 )) ( (t) (t0 )) + | (t) (t0 )| ( (t)) = t t0 (t) (t0 ) = f ( (t0 )) + (t) t t0 avec (t) (t0 ) (t0 ) et : tt0 t t0 | (t)| = | (t) (t0 )| | ( (t))| | (t0 )| 0 = 0 tt0 |t t0 |
tt0 tt0

( qui est drivable est continue, donc lim (t) = (t0 ) et lim ( (t))). Dans le cas des fonctions dune variable relle, on sait quune fonction dnie sur un intervalle et valeurs relles ou complexes est constante si, et seulement si, elle est drivable de drive nulle. Dans le cas complexe, on vrie facilement quune fonction constante est holomorphe de drive nulle et pour la rciproque, on a le rsultat suivant. Thorme 19.11 Soient O un ouvert connexe de C et f : O C une fonction holomorphe. Si f = 0, alors f est constante. Dmonstration. Soient a, b dans O. Comme O est un ouvert connexe, il existe un arc ane par morceaux et continu : [0, 1] O qui joint a et b. Un tel chemin est dni par une subdivision t0 = 0 < t1 < < tp < tp+1 = 1 et pour 0 k p, t [tk , tk+1 ] : (t) = t tk tk+1 t ak + ak+1 tk+1 tk tk+1 tk

o les ak = (tk ) sont dans O avec a0 = a, ap+1 = b.

La drivation complexe. Fonctions holomorphes Les fonctions k : t f ( (t)) sont alors drivables sur [tk , tk+1 ] avec : k (t) = f ( (t)) (t) = 0

475

et en consquence k est constante sur [tk , tk+1 ] . On a donc f (ak ) = f (ak+1 ) pour tout k compris entre 0 et p et f (a) = f (b) . La fonction f est donc constante. De manire plus gnrale si f = 0 pour f : O C holomorphe, la fonction f est constante sur chaque composante connexe de louvert O. Comme dans le cas des fonctions dune variable relle, on a les rsultats suivants relatifs aux oprations algbriques sur les fonctions holomorphes, les dmonstrations tant analogues. Thorme 19.12 Soient f, g deux fonctions holomorphes sur O. 1. Pour tous nombres complexes , la fonction f + g est holomorphe sur O avec : (f + g) = f + g . 2. La fonction f g est holomorphe sur O avec : (f g) = f g + f g (formule de Leibniz). 3. Si g (z0 ) = 0, alors la fonction g ne sannule pas dans un voisinage de z0 , les fonctions et f qui sont dnies dans un tel voisinage sont drivables en z0 avec : g 1 g (z0 ) = g (z0 ) , g 2 (z0 ) f g (z0 ) = g (z0 ) f (z0 ) f (z0 ) g (z0 ) . g 2 (z0 ) 1 g

Dmonstration. On copie la dmonstration du cas rel. La formule de Leibniz se gnralise, par rcurrence sur n 2 en : (f1 f2 fn ) = f1 f2 fn + f1 f2 f3 fn + + f1 fn1 fn les fk , pour k compris entre 1 et n tant des fonctions holomorphes sur O. Dans le cas o toutes les fk sont gales une mme fonction f, on a : (f n ) = nf n1 f . Exercice 19.30 Montrer quune fonction polynomiale est holomorphe sur C et quune fonction P rationnelle f = , o P et Q sont des polynmes avec Q non nul, est holomorphe sur C \ Q {z C | Q (z) = 0} . Solution 19.30 Cest clair puisque les fonctions z 1 et z z sont holomorphe sur C. Pour la composition des applications, on a le rsultat suivant. Thorme 19.13 Si f : O C est holomorphe sur O, O est un ouvert de C contenant f (O) et g : O C est holomorphe sur O , alors g f est holomorphe sur O avec (g f ) = (g f ) f . Dmonstration. On copie la dmonstration du cas rel.

476

Fonctions holomorphes

Dnition 19.15 On appelle fonction entire, toute fonction qui est holomorphe sur C. Exercice 19.31 Montrer que la fonction exponentielle complexe est une fonction entire avec exp (z) = exp (z) pour tout z C. Solution 19.31 Pour z = z0 , on a :
zz0 1 ez ez0 z0 e z0 e =e = ez0 z z0 z z0 + +

n=1

(z z0 )n1 ez0 n!

= ez0
n=2

(z z0 ) n!

n1

et : ez ez0 ez0 = |ez0 | |z z0 | z z0 |ez0 | |z z0 |


n=2 +

n=2 +

(z z0 )n2 n! |z z0 |n2 = |ez0 | |z z0 | e|zz0 | (n 2)!

et lim =
zz0

ez ez0 ez0 = 0, ce qui signie que exp est drivable en z0 avec exp (z0 ) = exp (z0 ) . z z0

De cet exercice, on dduit que les fonctions cos, sin, ch et sh sont des fonctions entires avec pour tout z C : cos (z) = sin (z) , sin (z) = cos (z) , ch (z) = sh (z) et sh (z) = ch (z) . 1 + k | k Z avec tan (z) = = 1+ La fonction tan est holomorphe sur C \ 2 (z) 2 cos 1 tan2 (z) et la fonction th est holomorphe sur C \ k + i | k Z avec th (z) = 2 = 2 ch (z) 1 th2 (z) .

19.6

Les conditions de Cauchy-Riemann

O dsigne encore un ouvert non vide de C et f une application de O dans C. On rappelle que si est un ouvert non vide de R2 , on dit quune fonction : R2 est direntiable en (x0 , y0 ) sil existe un application linaire d (x0 , y0 ) de R2 dans R2 telle que pour tout (x, y) on ait : (x, y) = (x0 , y0 ) + d (x0 , y0 ) (x x0 , y y0 ) + (x x0 , y y0 ) (x, y) o
(x,y)(x0 ,y0 )

(19.2)

lim

(x, y) = 0. Si = (P, Q) , o P et Q sont valeurs relles, alors la matrice de

lapplication linaire d (x0 , y0 ) (la direntielle de en (x0 , y0 )) est : J (x0 , y0 ) =


P x Q x

(x0 , y0 ) (x0 , y0 )

P y Q y

(x0 , y0 ) (x0 , y0 )

(matrice jacobienne de en (x0 , y0 )). En notant respectivement P et Q la partie relle et la partie imaginaire de f, on a le rsultat suivant, o : (x, y) (P (x, y) , Q (x, y)) est la reprsentation relle de f.

Les conditions de Cauchy-Riemann

477

Thorme 19.14 La fonction f est holomorphe sur O si, et seulement si, la fonction est direntiable (au sens rel) sur avec pour tout (x, y) :
P x P y

(x, y) =

Q y

(x, y)

(x, y) = Q (x, y) x

(conditions de Cauchy-Riemann). Dmonstration. Supposons f holomorphe sur O. Pour z0 O, on note f (z0 ) = a + ib avec a, b rels. De (19.1) , on dduit avec les notations qui prcdent que : (x, y) = (x0 , y0 ) + (a (x x0 ) b (y y0 ) , a (y y0 ) + b (x x0 )) + (x x0 , y y0 ) (x, y) ce qui signie que est direntiable en (x0 , y0 ) de matrice jacobienne : J (x0 , y0 ) =
P x Q x

(x0 , y0 ) (x0 , y0 )

P y Q y

(x0 , y0 ) (x0 , y0 )

a b b a

et on a les conditions de Cauchy-Riemann. Rciproquement si est direntiable en (x0 , y0 ) , les conditions de Cauchy-Riemann tant remplies, lexpression complexe de (19.2) est : f (z) = f (z0 ) + et : P Q (x0 , y0 ) + i (x0 , y0 ) (z z0 ) + |z z0 | (z) x x

f (z) f (z0 ) P Q = (x0 , y0 ) + i (x0 , y0 ) zz0 z z0 x x ce qui signie que f est holomorphe en z0 de drive : lim f (z0 ) = Q P (x0 , y0 ) + i (x0 , y0 ) x x

Remarque 19.5 Les conditions de Cauchy-Riemann se traduisent en disant que pour f holomorphe, la direntielle d est C-linaire. f P Q f P Q = +i et = +i , nous avons vu avec la x x x y y y f dmonstration prcdente que f (z) = (z) et les conditions de Cauchy-Riemann se traduisent x par : Remarque 19.6 En notant f P Q Q P (z) = f (z) = (x, y) + i (x, y) = (x, y) i (x, y) x x x y y Q P f +i (z) = i = i y y y ou encore par : f f (z) = i (z) = f (z) . x y

478

Fonctions holomorphes

Exercice 19.32 En utilisant les conditions de Cauchy-Riemann, montrer que les fonctions z z, z (z) , z (z) , z |z|2 , z |z| , z ez ne sont pas holomorphes sur C. Solution 19.32 Pour f : z z, on a f = P + iQ avec P (x, y) = x, Q (x, y) = y et P Q (x, y) = 1 = (x, y) = 1. Cette fonction f nest donc pas holomorphe. On montre de x y manire analogue que les autres fonctions ne sont pas holomorphes. Exercice 19.33 La fonction f dnie sur C par f (z) = f (x + iy) = x2 y + iy est-elle holomorphe ? Solution 19.33 On a f = P + iQ avec P (x, y) = x2 y et Q (x, y) = y. Comme : P Q (x, y) = 2xy = (x, y) = 1 x y pour z dans C priv de lhyperbole H dquation 2xy = 1 et : P Q (x, y) = x2 = (x, y) = 0 y x pour les points de H, la fonction nest pas holomorphe sur C. Exercice 19.34 Montrer que si f est une fonction holomorphe sur un ouvert connexe O de C et valeurs relles, elle est alors ncessairement constante. Solution 19.34 En gardant la notation f = P + iQ avec P, Q valeurs relles, on a Q = 0 P P pour f valeurs relles et des conditions de Cauchy Riemann, on dduit que = = 0 sur x y f et en consquence f (z) = (z) = 0 ce qui quivaut dire que f est constante sur louvert x connexe O. Exercice 19.35 Soit f = P + iQ une fonction holomorphe sur un ouvert connexe O de C, o P et Q sont respectivement la partie relle et la partie imaginaire de f. Montrer que sil existe des rel a, b tels que P + aQ + b = 0 sur O, alors f est constante. Solution 19.35 Si a = 0, P est constante et on a , P Q P = 0, = = 0, soit f (z) = x x y

f (z) = 0 et f est constante sur louvert connexe O. x P Q P Q On suppose maintenant que a = 0. De P +aQ+b = 0, on dduit que +a = +a =0 x x y y P Q P P Q P P P et donc = a = a , = a = a , ce qui donne = a2 , soit x x y y y x x x P P Q 1 P f (1 + a2 ) = 0, donc = 0 et = = 0, ce qui entrane f (z) = (z) = 0 et f x x x a x x est constante sur louvert connexe O. Exercice 19.36 Connaissant les fonctions de la variable relle exp, sin et cos, on peut dnir la fonction x eix = cos (x) + i sin (x) sur R et la fonction exponentielle complexe par z = x+iy exp (z) = ex eiy sur C. Montrer, avec cette dnition, que cette fonction est holomorphe sur C avec exp = exp .

Les conditions de Cauchy-Riemann

479

Solution 19.36 On a exp (z) = P (z) + iQ (z) avec P (z) = ex cos (y) et Q (z) = ex sin (y) . Les fonctions P et Q sont direntiables sur R2 et on a :
P x P y

(x, y) = ex cos (y) =

Q y

(x, y)

(x, y) = ex sin (y) = Q (x, y) x

et donc exp est holomorphe sur C. Et pour tout complexe z, on a : exp (z) = exp P Q (x, y) = (x, y) + i (x, y) x x x = ex cos (y) + iex sin (y) = exp (z) .

Exercice 19.37 On a dni la dtermination principale du logarithme complexe par : ln : C \ R C


y x+|z|

z = x + iy ln (|z|) + i arg (z) = ln (|z|) + 2i arctan

(paragraphe 15.8). Montrer que cette fonction est holomorphe sur C \ R avec ln (z) = tout z C \ R .

1 pour z

Solution 19.37 On rappelle que si est la dtermination de arg (z) dans ], [ , on a x = |z| cos () = |z| 2 cos2 1 , y = |z| sin () = |z| 2 cos sin et 2 2 2 tan avec 2 y = 2 |z| cos
2 |z| cos 2 y = x + |z| x + |z|

, . 2 2 2 En notant z = x + iy, on a f (z) = P (z) + iQ (z) avec P (z) = ln 2 arctan


x+

x2 + y 2

et Q (z) =

x2 +y 2

. Les fonctions P et Q sont direntiables sur R2 et on a : P x P y (x, y) = 2 , (x, y) = 2 2 x x + y y x + y2

et :
x+

x2 +y 2 y

Q (x, y) = 2 y

x+

x2 +y 2

y x2 +y 2 2

=2

x2 + y 2 + x2 + y 2 y 2 x+ x2 + y 2
2

1+

x+

x2 +y 2

x2 + y 2

+ y2

x2 + y 2 + x2 x2 + y 2 = x P = (x, y) 2 +y x

x2 + y 2 x2 + y 2 + x x (x2 + y 2 ) x2 + y 2 + x x2 + y 2 + x

x2

480
y 1+
x x2 +y 2 2

Fonctions holomorphes

Q (x, y) = 2 x

x+

x2 +y 2

= 2

y x2 + y 2

x2 + y 2 + x x+ x2 + y 2
2

1+

x+

y y

x2 +y 2

+ y2

x2 + y 2 + x x2 + y 2 = y P = (x, y) x2 + y 2 y

x2 + y 2 x2 + y 2 + x y (x2 + y 2 ) x2 + y 2 + x x2 + y 2 + x

Les conditions de Cauchy-Riemann tant satisfaites, la fonction ln est holomorphe sur C \ R avec : ln (z) = ln P Q (x, y) = (x, y) + i (x, y) x x x x y z 1 = 2 i 2 = 2 = . 2 2 x +y x +y z |z|

Exercice 19.38 Soient O un ouvert de C et f = P + iQ : O C o P et Q sont valeurs relles. En utilisant lcriture polaire des nombres complexes, z = reit , on peut crire P (z) = P (r, t) et Q (z) = Q (r, t) . Montrer que f est holomorphe sur O si, et seulement si, les P 1 Q Q 1 P fonctions P et Q sont direntiables avec = et = (expression polaire des r r t r r t conditions de Cauchy-Riemann). Solution 19.38 Lcriture z = reit se traduit par x = r cos (t) , y = r sin (t) . Si f est holomorphe sur O, les fonctions P et Q sont direntiables sur et on a : P P x P y P P = + = cos (t) + sin (t) r x r y r x y Q Q 1 Q y Q x = cos (t) sin (t) = + y x r y t x t 1 Q = r t et : Q Q Q = cos (t) + sin (t) r x y P P 1 = cos (t) + sin (t) = y x r 1 P = r t

P y P x + y t x t

P 1 Q Q 1 P Rciproquement si les fonctions P et Q sont direntiables avec = et = , r r t r r t de : P = cos (t) P + sin (t) P r x y
P t

= r sin (t) P + r cos (t) P x y

Les conditions de Cauchy-Riemann on dduit que :


P x P y

481

= cos (t) P r = sin (t) P + r

sin(t) P r t cos(t) P r t

et :

P cos (t) Q Q Q = + sin (t) = x r t r y

P sin (t) Q Q Q = cos (t) = y r t r x ce qui signie que f est holomorphe sur O. Exercice 19.39 Soit P : C R dnie par P (z) = P (x + iy) = x . Dterminer, si elles |z|2 existent, toutes les fonctions Q : C R telles que f = P + iQ soit holomorphe sur C . x2

x est direntiable sur C identi R2 \ + y2 {(0, 0)} . Si f = P + iQ est holomorphe sur C , la fonction Q est alors direntiable sur C avec : y 2 x2 Q y (x, y) = P (x, y) = 2 x (x + y 2 )2 Q 2xy x (x, y) = P (x, y) = y (x2 + y 2 )2 y De la deuxime quation, on dduit que Q (x, y) = 2 + (y) , o est direntiable sur x + y2 y y R et avec la premire, on dduit que (y) = 0. On a donc Q (x, y) = 2 + c = 2 + c, 2 x +y |z| x iy 1 o c est une constante relle et f (z) = 2 + ic = + ic. x + y2 z Solution 19.39 La fonction P : (x, y) Exercice 19.40 Soit Q : C R dnie par Q (z) = P (x + iy) = cos (x) sh (y) . Dterminer, si elles existent, toutes les fonctions P : C R telles que f = P + iQ soit holomorphe sur C. Solution 19.40 La fonction Q : (x, y) cos (x) sh (y) est direntiable sur C identi R2 . Si f = P + iQ est holomorphe sur C, la fonction P est alors direntiable sur C avec :
P x P y

(x, y) =

Q y

(x, y) = cos (x) ch (y)

(x, y) = Q (x, y) = sin (x) sh (y) x

De la premire quation, on dduit que P (x, y) = sin (x) ch (y) + (y) , o est direntiable sur R et avec la deuxime, on dduit que (y) = 0. On a donc P (x, y) = sin (x) ch (y) + c, o c est une constante relle et : f (z) = sin (x) ch (y) + i cos (x) sh (y) + c = sin (x) cos (iy) cos (x) sin (iy) + c = sin (x + iy) + c = sin (z) + c. Exercice 19.41 Soit P : C R dnie par P (z) = P (x + iy) = |z|2 . Montrer quil nest pas possible de trouver Q : C R telle que f = P + iQ soit holomorphe sur C (il nexiste pas de fonction holomorphe sur C de partie relle |z|2 ).

482 Solution 19.41 Les conditions de Cauchy-Riemann scrivent :


Q y Q x

Fonctions holomorphes

(x, y) =

P x

(x, y) = 2x

(x, y) = P (x, y) = 2y y

ce qui donne Q (x, y) = 2xy + (y) et 2x + (y) = 2x, donc (y) = 4x, ce qui est impossible (sans quoi, pour y x, (y) prend une innit de valeurs).

19.7

Fonctions harmoniques

Dnition 19.16 Soit un ouvert non vide de R2 . On dit quune fonction : R est harmonique sur si elle est de classe C 2 sur avec : 2 2 (x, y) + 2 (x, y) = 0 x2 y pour tout (x, y) . Loprateur direntiel 2 2 + 2 est not et appel laplacien. x2 y

Thorme 19.15 Si f = P + iQ est une fonction holomorphe sur louvert O avec P et Q de classe C 2 et valeurs relles, alors les fonctions P et Q sont harmoniques sur O. Dmonstration. En utilisant les conditions de Cauchy-Riemann et le thorme de Schwarz pour les fonctions de classe C 2 , on a : 2P 2P P P + = + 2 2 x y x x y y 2 2 Q Q = =0 xy yx = x Q y y Q x

et P est harmonique sur O. De manire analogue, on vrie que Q est harmonique sur O. Remarque 19.7 Nous verrons plus loin quune fonction holomorphe est en fait indniment drivable et lhypothse P et Q de classe C 2 est automatiquement vrie. Exemple 19.5 La fonction P : (x, y) x2 + y 2 ntant pas harmonique (P = 4 = 0), il ne peut pas exister de fonction holomorphe sur C de partie relle x2 + y 2 = |z|2 . Exercice 19.42 Soit f = P + iQ une fonction holomorphe sur louvert O ne sannulant pas, o P et Q sont de classe C 2 et valeurs relles. Montrer que la fonction ln (|f |) est harmonique. Solution 19.42 On a = ln (|f |) = 1 ln (P 2 + Q2 ) et : 2 P P + Q Q x = x 2 + Q2 x P

Fonctions harmoniques (P 2 + Q2 ) 2 = x2 = = (P 2 + Q2 )
P 2 x
2

483
P 2 x

+P P + x2 +P P + x2
2
2 2

Q 2 x

+ Q Q 2 P P + Q Q x2 x x + Q Q 2 P P + Q Q x2 x x P P + Q Q x x P 2 + Q2
2
2

(P 2 + Q2 )2
P 2 x Q 2 x 2

(P 2 + Q2 )2 + P P + Q x2 x P 2 + Q2 + Q Q x2 2

2 Utilisant une formule analogue pour , on obtient : y 2 = 2


P 2 x

P y

+ P P +
2

Q 2 x

Q y 2

+ QQ

P 2 + Q2 P P + Q Q x x P 2 + Q2
P 2 x

2
2

P P + Q Q y y P 2 + Q2
2

=2

P y

P 2 + Q2
P 2 x

2
2

P P Q P x y P2
P 2 x

+ P P + Q P y x
P y 2

(P 2 + Q2 )2 + Q2 + P2
2 P y 2

=2

P y

P 2 + Q2
P 2 x

2
2

+ Q2

P 2 x

(P 2 + Q2 )2 (P 2 + Q2 )
P 2 x

=2

P y

P y

P 2 + Q2

(P 2 + Q2 )2

= 0.

Remarque 19.8 Lexercice prcdant peut se rsoudre facilement en remarquant que lhypothse f (z) = 0 pour tout z O permet de dnir localement des dterminations holomorphes de ln (f ) et ln (|f |) est harmonique comme partie relle dune telle dtermination. Le thorme prcdent admet une rciproque qui peut snoncer comme suit, en prenant pour linstant, comme dnition intuitive dun ouvert simplement connexe, un ouvert non vide, connexe et sans trous . Thorme 19.16 Si O est un ouvert simplement connexe et P : O R une fonction harmonique, il existe alors des fonctions holomorphes sur O de partie relle P. Dmonstration. Admis. De telles fonctions scrivent f = P + iQ, o Q : O R sobtient en rsolvant le systme dni par les conditions de Cauchy-Riemann. Exercice 19.43 Soit P : C R dnie par P (z) = x2 y 2 2xy 2x + 3y. Dterminer toutes les fonctions Q : C R telles que f = P + iQ soit holomorphe sur C. Solution 19.43 On a P = 0, donc P est harmonique et on peut trouver Q. Les conditions de Cauchy-Riemann donnent :
Q y Q x

(x, y) =

P x

(x, y) = 2x 2y 2

(x, y) = P (x, y) = 2y + 2x 3 y

484

Fonctions holomorphes

De la deuxime quation, on dduit que Q (x, y) = 2xy + x2 3x + (y) , o est direntiable sur R et avec la premire, on dduit que (y) = 2y 2. On a donc Q (x, y) = 2xy + x2 3x y 2 2y + c, o c est une constante relle et : f (z) = x2 y 2 2xy 2x + 3y + i 2xy + x2 3x y 2 2y + ic = (x + iy)2 + i (x + iy)2 2 (x + iy) 3i (x + iy) + ic = (1 + i) z 2 (2 + 3i) z + ic Exercice 19.44 Montrer que si P : O R est une fonction harmonique de classe C 3 , alors P P la fonction = x +y est aussi harmonique. x y Solution 19.44 On a : P 2P 2P = +x 2 +y x x x xy 2P x2 +y y +y y 2P x2 2P x2

2P 2P 2 = + +x 2 2 2 x x x x 2 P 2P =2 2 +x x x x2

2P P 2P =x + +y 2 y xy y y 2 2P =2 2 +x 2 y y x et : = 2P + x ce qui signie que est harmonique. Remarque 19.9 Si dans lexercice prcdant, O est un ouvert simplement connexe, alors P est la partie relle dune fonction holomorphe et en consquence, elle est de classe C . Dans ce cas , lhypothse P de classe C 3 est superue. En remarquant que : P Q P P f = +i = i f = x x x x y et : P P P P P P zf = (x + iy) i +y +i y x =x x y x y x y P P P P +y et y x sont harmoniques comme partie relle et imaginaire x y x y de la fonction holomorphe zf . on dduit que x 2P y 2 +y y 2P y 2

(P ) + y (P ) = 0 x y

Equivalence entre analyticit et holomorphie

485

19.8

Equivalence entre analyticit et holomorphie

Nous avons vu quune fonction de la variable relle dveloppable en srie entire au voisinage de 0 est indniment drivable (corollaire 14.6). Maintenant que nous avons donn un sens la notion de drivation complexe nous allons montrer que ce rsultat est encore valable pour les fonctions dune variable complexe. Le fait quune fonction analytique en z0 est holomorphe en ce point est lmentaire. Thorme 19.17 Une fonction analytique sur un ouvert non vide O de C est holomorphe sur cet ouvert. Dmonstration. Pour z0 O, il existe r > 0 tel que f (z) = D (z0 , r) O et pour z = z0 dans D (z0 , r) , on a : f (z) f (z0 ) = z z0
zz0 + + n=0

an (z z0 )n pour z

an+1 (z z0 )n = g (z)
n=0

avec lim g (z) = g (z0 ) = a1 puisque la fonction g est continue en z0 (la srie entire

an+1 tn

qui a mme rayon de convergence que an tn est continue sur D (0, r) , donc en 0). La fonction f est donc drivable en z0 de drive f (z0 ) = a1 . De manire, plus prcise, on peut montrer que la drive dune fonction analytique sur O est elle mme analytique sur cet ouvert et donc holomorphe. Aprs avoir montr lquivalence entre analyticit et holomorphie, on dduira quune fonction C-drivable est indniment C-drivable (ce rsultat tant faux pour les fonctions dune variable relle). Thorme 19.18 Si f une est fonction analytique sur un ouvert non vide O de C, elle est alors holomorphe de drive f analytique. Si f (z) = on a alors f (z) =
+ n=1 + n=0

an (z z0 )n pour z D (z0 , r) O,

nan (z z0 )

n1

pour tout z D (z0 , r) .

Dmonstration. Sachant quune srie et sa srie drive ont mme rayon de convergence, on peut dnir la fonction g sur D (z0 , r) par :
+

z D (z0 , r) , g (z) =
n=1

nan (z z0 )n1 .

Soient z D (z0 , r) , > 0 tel que |z z0 | < < r et h D (0, |z z0 |) \ {0} (gure 19.2). On a |z + h z0 | |z z0 | + |h| < |z z0 | + |z z0 | < et : f (z + h) f (z) g (z) = h =
n=1

(z + h z0 )n (z z0 )n an nan (z z0 )n1 h n=0 n=1


+

an Pn (z, h)

o on a pos pour n 1 : (z + h z0 )n (z z0 )n n (z z0 )n1 Pn (z, h) = h


n1

=
k=0

(z + h z0 )n1k (z z0 )k n (z z0 )n1

486

z0

Fig. 19.2 On a alors :


n1

|Pn (z, h)|


k=0 n1

|z + h z0 |n1k |z z0 |k + n |z z0 |n1 n1k k + nn1 = 2nn1


k=0

la srie nan1 n1 tant convergente. Pour > 0 donn, on peut donc trouver un entier naturel n 1 tel que :
+

n n ,

k=n+1

et un rel 1 ]0, |z z0 |[ tel que pour |h| < 1 , on ait :


n

ak Pk (z, h) <
k=1

(on a lim

h0 k=1

ak Pk (z, h) = 0), ce qui donne pour |h| < 1 :

f (z + h) f (z) g (z) < 3 h On a donc ainsi montr que lim


zz0

drivable en z de drive g (z) . La fonction f est donc holomorphe sur O de drive f analytique sur cet ouvert, donc galement holomorphe. On a aussi montr avec ce thorme quune fonction dveloppable en srie entire au voisinage dun point z0 est holomorphe dans ce voisinage. Par rcurrence, on dduit le rsultat suivant.

f (z + h) f (z) = g (z) , ce qui signie que f est Ch


Fonctions holomorphes
z+h z

kak1 k1 <

Equivalence entre analyticit et holomorphie

487

Corollaire 19.1 Si f est une fonction analytique sur un ouvert non vide O de C, elle est alors indniment C-drivable sur O et si f (z) =
+ + n=0

an (z z0 )n pour z D (z0 , r) O, on a pour

n! tout entier p 1, f (p) (z) = an (z z0 )np pour tout z D (z0 , r) . (n p)! n=p Avec les notations du corollaire, on a f (p) (z0 ) = p!ap , soit ap = f (p) (z0 ) pour tout p 0. p!

Exemple 19.6 En utilisant ce thorme, on voit que la fonction exponentielle complexe est holomorphe sur C avec, pour tout z C :
+

exp (z) = =
n=0

n=0 + n

zn n!

=
n=0

nz n1 = n!

n=1

z n1 (n 1)!

z = exp (z) n!

Exercice 19.45 En utilisant le fait que la fonction exp est holomorphe avec exp = exp, montrer que exp (a + b) = exp (a) exp (b) pour tous nombres complexes a et b. Solution 19.45 On dnit la fonction f par f (z) = ez ez+c , o c est une constante complexe. Cette fonction est holomorphe sur C comme produit de deux fonctions holomorphes avec f (z) = ez ez+c + ez ez+c = 0, elle est donc constante gale f (0) = ec . Prenant z = a et c = a + b, on en dduit que ea+b = ea eb . Le thorme de Cauchy qui suit nous dit que rciproquement toute fonction holomorphe sur O est analytique sur cet ouvert. Pour montrer ce thorme, on admet temporairement le rsultat suivant. Thorme 19.19 Si f est une fonction holomorphe sur un ouvert non vide O de C, sa drive f est alors une fonction continue sur O. Thorme 19.20 (Cauchy) Soient f une fonction holomorphe sur un ouvert non vide O de C, z0 un point de O et R > 0 le plus grand rel (ventuellement gal +) tel que D (z0 , R) O. Pour tout entier naturel n, le nombre complexe : an = 1 2i f (u) 1 n+1 du = 2rn (u z0 )
+ 2 0

f z0 + reit eint dt

|uz0 |=r

est indpendant du rel r ]0, R[ et pour tout z D (z0 , R) , on a : f (z) =


n=0

an (z z0 )n

Dmonstration. Soient z D (z0 , R) et r > 0 tel que |z z0 | < r < R. On associe ces quantits la fonction dnie sur [0, 1] par : () =
|uz0 |=r 2

f ((1 ) z + u) du uz

=
0

f ((1 ) z + (z0 + reit )) it ire dt z0 + reit z

488

Fonctions holomorphes

(pour u = z0 + reit sur le cercle de centre z0 et de rayon r, le point (1 ) z + u est sur le segment [z, u] D (z0 , R)). La fonction intgre est continment direntiable en (, t) [0, 1] [0, 2] puisque f est continment direntiable (vue comme une application dun ouvert de R2 dans R2 ) et en consquence est continue sur [0, 1] , drivable sur ]0, 1[ avec :
2

() =
0

f (1 ) z + z0 + reit

ireit dt
t=2

1 f (1 ) z + z0 + reit

=0
t=0

par 2-priodicit de la fonction t f ((1 ) z + (z0 + reit )) . La fonction est donc constante sur ]0, 1[ et sur [0, 1] par continuit. On a donc :
2

(1) =
0

f (z0 + reit ) it ire dt = (0) = f (z) z0 + reit z reit dt = z0 + reit z f (z)


|uz0 |=r 2 0

2 0

ireit dt z0 + reit z

soit : f (z)
0

f z0 + reit

reit dt z0 + reit z (19.3)

ou encore :

du = uz

|uz0 |=r

f (u) du. uz

Tenant compte de |z z0 | < r = |reit | , on peut crire que : reit 1 = = it z z0 + re 1 zz0 reit
+

n=0

(z z0 )n rn eint

la convergence tant uniforme quand t dcrit [0, 2] , ce qui donne :


2 0

reit dt = z0 + reit z

n=0

(z z0 )n rn

2 0

eint dt = 2.

Comme la fonction t f (z0 + reit ) est borne sur [0, 2] (puisque continue), on peut aussi crire :
2

f z0 + re
0

it

reit dt = z0 + reit z

n=0

(z z0 )n rn

2 0

f z0 + reit eint dt

et on a en dnitive :
+

2f (z) =
n=0 + n=0

(z z0 )n rn

2 0

f z0 + reit eint dt

soit f (z) =

an (z z0 )n avec : 1 2rn
2 0

an =

f z0 + reit eint dt =

1 2i

|uz0 |=r

f (u) du. (u z0 )n+1

Equivalence entre analyticit et holomorphie

489

Il reste vrier que ces coecients an sont indpendants du rel r ]0, R[ . En eet pour r, r dans ]0, R[ , on peut trouver z D (z0 , R) tel que |z z0 | < r et |z z0 | < r et on a alors deux dveloppements en srie entire f (z) =
+

an (z z0 )n et f (z) =

1 f (u) 1 f (u) an = du, et un tel dveloppement n+1 du et an = 2i |uz0 |=r (u z0 ) 2i |uz0 |=r (u z0 )n+1 est unique, on a ncessairement an = an pour tout n 0. Le thorme prcdent nous dit quune fonction holomorphe est analytique et on a ainsi montr lquivalence entre les deux notions. Avec ce thorme, on a aussi montr le rsultat suivant. Thorme 19.21 (Cauchy) Soient f une fonction holomorphe sur un ouvert non vide O de C, z0 un point de O et R > 0 le plus grand rel (ventuellement gal +) tel que D (z0 , R) O. Pour 0 < r < R et z D (z0 , r) , on a : f (z) = (formule de Cauchy). Dmonstration. Tenant compte de du = uz
2 0

n=0

n=0

an (z z0 )n avec

1 2i

|uz0 |=r

f (u) du uz

|uz0 |=r

ireit dt = 2i, z0 + reit z

la formule (19.3) nous donne : f (z) = 1 2i f (u) du uz

|uz0 |=r

Remarque 19.10 Le corollaire 19.1 nous dit que les coecients an du dveloppement en srie f (n) (z0 ) entire au voisinage de z0 sont donns par an = et avec lexpression intgrale de ces n! coecients an ,, on dduit que : n N, f (n) (z0 ) = n! 2i f (u) n+1 du |uz0 |=r (u z0 )

En dnitives la connaissance de f sur le disque de centre z0 et de rayon r ]0, R[ sut pour dterminer f (z) pour tout z D (z0 , r) et toutes les drives f (n) (z0 ) . Remarque 19.11 Comme la compose de deux fonctions holomorphes est holomorphe, on dduit que la compose de deux fonctions analytiques est analytique. Exercice 19.46 Soit f une fonction dveloppable en srie entire sur un disque D (0, R) o 0 < R + (R = + signie que D (0, R) = C) avec f (z) =
+ n=0

an z n pour tout z D (0, R) .

Montrer que la fonction g dnie par g (z) = f (z) est holomorphe sur D (0, R) .

490 Solution 19.46 On a g (z) =


+ n=0

Fonctions holomorphes an z n pour tout z D (0, R) et g est holomorphe sur D (0, R)

puisque dveloppable en srie entire sur D (0, R) . Exercice 19.47 On dsigne par ln la dtermination principale du logarithme complexe sur C \ R . Montrer que :
+

z D (0, 1) , ln (1 + z) =
n=1

(1)n1 n z n (1)n1 n z vaut 1 (thorme n

Solution 19.47 Le rayon de convergence de la srie entire


+

(1)n+1 n z sur D (0, 1) est analytique de dAlembert), donc la fonction f dnie par f (z) = n n=1
+

1 . Mais la fonction z 1+z n=1 ln (1 + z) est galement holomorphe sur D (0, 1) (compose de fonctions holomorphes) avec 1 ln (1 + z) = , il en rsulte que f (z) = ln (1 + z) + c, o c est une constante (le disque 1+z ouvert D (0, 1) est connexe). Faisant z = 0, on a c = 0 et f (z) = ln (1 + z) . et en consquence holomorphe avec f (z) = (1)n+1 z n1 = Corollaire 19.2 (Ingalits de Cauchy) En gardant les hypothses et notations du thorme 19.20, on a pour tout n N : f (n) (z0 ) = Dmonstration. On a : f (n) (z0 ) = = n! 2i f (z) dz (z z0 )n+1 n! rn sup |f (z)| .
|zz0 |=r

n! 2rn n! 2rn

|zz0 |=r 2 0 2 0

f z0 + reit eint dt f z0 + reit dt n! rn sup |f (z)| .


|zz0 |=r

Remarque 19.12 En remarquant que la fonction t f (z0 + reit ) est 2-priodique et de classe C 1 sur R avec des coecients de Fourier donns par : 1 n Z, cn (f ) = 2 la formule de Parseval nous donne :
+ 2 0

f z0 + reit eint dt

1 |cn (f )| = 2
2

2 0

f z0 + reit

dt

Primitives des fonctions holomorphes En crivant que


+

491

f z0 + re

it

=
m=0

am z0 + re z0

it

f (m) (z0 ) m imt r e m! m=0

la srie tant uniformment convergente en t [0, 2] , on a pour n Z : + (m) 0 si n < 0 2 1 f (z0 ) m cn (f ) = r ei(mn)t dt = f (n) (z0 ) n 2 m=0 m! r si n 0 0 n! et la formule de Parseval scrit alors :
+

n=0

f (n) (z0 ) 2n 1 r = n! 2

2 0

f z0 + reit

dt

Il en rsulte que :
+

n=0

f (n) (z0 ) 2n r sup |f (z)|2 = n! |zz0 |=r

sup |f (z)|
|zz0 |=r

et on retrouve les ingalits de Cauchy : f (n) (z0 ) n r sup |f (z)| . n! |zz0 |=r Remarque 19.13 En gardant toujours les mme notations, la fonction g : z (z z0 ) f (z) est holomorphe sur O et : 0 = g (z0 ) = et donc
|zz0 |=r

1 2i

|zz0 |=r

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

f (z) dz
|zz0 |=r

f (z) dz = 0 pour tout z0 O et r > 0 tel que D (z0 , r) O.

19.9

Primitives des fonctions holomorphes

O dsigne toujours un ouvert non vide de C et f une application de O dans C. Dnition 19.17 Soit f une fonction holomorphe de O dans C. On appelle primitive de f, tout fonction F holomorphe de O dans C telle que F = f. Du thorme 19.11, on dduit que si louvert O est connexe et si f : O C est holomorphe et admet des primitives, alors deux primitives de f sur O dirent dune constante. Thorme 19.22 Si F est une primitive de la fonction holomorphe f : O C, on a alors pour tout chemin : [a, b] O : f (z) dz = F ( (b)) F ( (a))

492 Dmonstration. On a :
b

Fonctions holomorphes

f (z) dz =

F (z) dz =
a b

F ( (t)) (t) dt

=
a

(F ) (t) dt = F ( (b)) F ( (a))

Dans le cas particulier, o est un lacet, on a

f (z) dz = 0, si f admet des primitives sur O.

Lexercice 19.18 se rsout trs simplement en remarquant que la fonction f dnie sur C par z3 f (z) = z 2 1 admet pour primitive la fonction F dnie par F (z) = z. Ce qui donne : 3 2 pour : t [0, 1] t + it : f (z) dz = F ( (1)) F ( (0)) =

(1 + i)3 5 1 (1 + i) = i 3 3 3

pour : t [0, 2] et+it : f (z) dz = F ( (2)) F ( (0)) =

e6 e2 3

1 1 3

pour : t [0, 2] cos (t) + i sin (2t) : f (z) dz = F ( (2)) F ( (0)) = 0.

Remarque 19.14 Comme

dz 1 = 2i = 0, on dduit que la fonction z nadmet z |z|=1 z pas de primitive sur C . Il nest donc pas possible de dnir une fonction logarithme comme 1 primitive de z sur C . z

Dnition 19.18 On dit que louvert O est toil par rapport lun de ses points, sil existe a O tel que pour tout z O, le segment [a, z] est tout entier contenu dans O. Remarque 19.15 Un ouvert toil par rapport lun de ses points est connexe. Exemple 19.7 C nest pas toil. Exercice 19.48 Montrer quun disque ouvert D (z0 , R) est toil par rapport tous ses points. Solution 19.48 Laisse au lecteur. Exercice 19.49 Montrer que louvert C \ R est toil par rapport tous les points de R+, . Solution 19.49 Laisse au lecteur. Thorme 19.23 Si O est un ouvert toil par rapport lun de ses points, alors toute fonction holomorphe f : O C admet des primitives sur O.

Primitives des fonctions holomorphes

493

Dmonstration. Supposons louvert O toil par rapport a O. Si f : O C admet une primitive F sur O, on a alors pour tout z O : f (u) du =
[a,z] [a,z]

F (u) du = F (z) F (a) .

On dnit donc naturellement la fonction F par :


1

z O, F (z) =
[a,z]

f (u) du = (z a)
0

f (a + t (z a)) dt.

Comme f est holomorphe, elle est indniment direntiable O, vue comme une fonction de deux variables relles et il en est de mme de la fonction F avec : F (z) = x =
0 1 1 1

f (a + t (z a)) dt + (z a)
0 1 0

f (a + t (z a)) tdt

(f (a + t (z a)) + t (z a) f (a + t (z a))) dt

(t f (a + t (z a))) dt 0 t = [t f (a + t (z a))]t=1 = f (z) t=0 = et : F (z) = i y =i


0 1 1 1

f (a + t (z a)) dt + (z a)
0 1 0

f (a + t (z a)) itdt

(f (a + t (z a)) + t (z a) f (a + t (z a))) dt

(t f (a + t (z a))) dt 0 t = i [t f (a + t (z a))]t=1 = if (z) t=0 =i F F (z) = f (z) = i (z) et F est holomorphe sur O de drive f (conditions x y de Cauchy-Riemann). On a donc 1 admet des primitives sur C \ R , une telle primitive est Exemple 19.8 La fonction z z donne par : du F (z) = [1,z] u Comme F (1) = 0 = ln (1) , o ln est la dtermination principale du logarithme, on a : du = ln (z) = ln (|z|) + i arg (z) u

[1,z]

avec < arg (z) < pour z C \ R . Corollaire 19.3 Si O est un ouvert toil par rapport lun de ses points, alors toute fonction holomorphe f : O C et tout lacet chemin : [a, b] O, on a

f (z) dz = 0.

494

Fonctions holomorphes

Remarque 19.16 Les ouverts toil sont des cas particuliers douverts simplement connexes. Exemple 19.9 On a z z dz = 0 car z est holomorphe sur D (0, 1) et le 2 1 + z2 |z|= 1 1 + z 2 1 cercle de centre 0 et de rayon est contenu dans ce disque. 2