Universit Joseph Fourier, Grenoble

Maths en Ligne

Fonctions holomorphes
Christine Laurent-Thibaut
Ceci est le second volet de ltude des fonctions dune variable complexe, faisant suite au chapitre sur les fonctions analytiques. Vous aurez besoin de connaissances de base sur la topologie du plan complexe, ainsi que des outils classiques de calcul direntiel et dintgration.

Table des matires

1 Cours 1.1 Fonctions holomorphes . . . . . . . . . . . . . . . 1.2 Thorie de Cauchy locale . . . . . . . . . . . . . . 1.3 Proprits lmentaires des fonctions holomorphes 1.4 Thorie de Cauchy pour les domaines toils . . . 1.5 Fonctions mromorphes . . . . . . . . . . . . . . . 1.6 Thorie de Cauchy globale . . . . . . . . . . . . . 1.7 Topologie de H(U ) et reprsentation conforme . . 2 Entranement 2.1 Vrai ou faux . . . 2.2 Exercices . . . . . 2.3 QCM . . . . . . . 2.4 Devoir . . . . . . 2.5 Corrig du devoir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 5 11 18 25 34 41 48 48 51 66 68 71 80 80 83 85 88 89 90

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

3 Complments 3.1 Dillustres inconnus . . . . . . . . . . . . 3.2 Le calcul des rsidus . . . . . . . . . . . 3.3 La mmoire des Mmoires . . . . . . . . 3.4 Le rossignol et les chenilles . . . . . . . . 3.5 La reconnaissance posthume de Laurent 3.6 Fonction zta et nombres premiers . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

1er dcembre 2011

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

1
1.1

Cours
Fonctions holomorphes

Aprs quelques rappels sur la direntiabilit des fonctions de deux variables relles, nous introduisons dans cette section la notion de drivation au sens complexe pour les fonctions dune variable complexe. Rappels Soit U un ouvert de R2 , z0 = (x0 , y0 ) U et f : U R2 une application, f = (P, Q). Lapplication f est direntiable en (x0 , y0 ) sil existe une application R-linaire L de R2 dans R2 telle que f (x, y) = f (x0 , y0 ) + L(x x0 , y y0 ) + (x x0 , y y0 ) (x x0 , y y0 ) o (h, k) (0, 0) si (h, k) 0. Lapplication L est note df (x0 , y0 ) et sa matrice dans la base canonique de R2 est
P (x0 , y0 ) x Q (x0 , y0 ) x P (x0 , y0 ) y Q (x0 , y0 ) y

Lidentication naturelle de R2 et C dnie par (x, y) = x + iy est un isomorphisme de R-espace vectoriel, de plus (a, b)(x, y) = (ax by, bx + ay). Lemme 1. Soit u une application de C dans C. Les conditions suivantes sont quivalentes (i) lapplication u est C-linaire ; (ii) il existe C telle que u(z) = z pour tout z C ; (iii) lapplication u = 1 u de R2 dans R2 est R-linaire et sa matrice dans la base canonique de R2 est de la forme a b b a a, b R, i.e. u est une similitude. Dmonstration : Supposons que u est C-linaire alors pour tout z C, u(z) = u(1)z, il sut donc de poser = u(1). Supposons maintenant que, pour tout z C, u(z) = z avec = a + ib, alors pour tout (x, y) R2 u(x, y) = 1 ((x, y)) = (ax by, bx ay) = a b b a 1 x y .

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Finalement supposons que u est une similitude de matrice a b b a alors pour tout z C u(z) = u 1 (z) = (ax by, bx ay) = (a, b)z = z avec = (a, b), de plus lapplication z z est clairement C-linaire. Fonctions holomorphes Dnition 1. Une fonction f valeurs complexes dnie au voisinage dun point z0 (z de C est dite C-drivable en z0 si la limite de f (z)f0 0 ) existe quand z tend vers z0 avec zz z = z0 . Cette limite, note f (z0 ) est la drive (complexe) de f en z0 . Comme pour les fonctions dune variable relle on a les proprites suivantes : Proposition 1. 1) Les fonctions dnies au voisinage de z0 et C-drivables en z0 forment une algbre. 2) Soient f une fonction dnie au voisinage de z0 et C-drivable en z0 et g une fonction dnie au voisinage de f (z0 ) et C-drivable en f (z0 ), alors gf est C-drivable en z0 et sa drive en z0 vaut g (f (z0 ))f (z0 ). 1 3) Si f est C-drivable en z0 et si f (z0 ) = 0, f est dnie au voisinage de z0 ,
f (z 1 C-drivable en z0 et ( f ) (z0 ) = (f (z00 )2 . ))

Proposition 2. Soit f une fonction dnie au voisinage de z0 = x0 +iy0 . Les assertions suivantes sont quivalentes (i) la fonction f (z) est C-drivable en z0 ; (ii) la fonction f (x, y) est R2 -direntiable en (x0 , y0 ) et elle satisfait lquation de Cauchy-Riemann f f (x0 , y0 ) + i (x0 , y0 ) = 0 x y ou encore, si f (x, y) = P (x, y) + iQ(x, y), les quations de Cauchy-Riemann P Q (x0 , y0 ) = (x0 , y0 ) et x y P Q (x0 , y0 ) = (x0 , y0 ); y x

(iii) la fonction f (x, y) est R2 -direntiable en (x0 , y0 ) et sa direntielle et Clinaire.

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : (i) (iii) Si f est C-drivable en z0 , il existe une fonction 1 () dnie au voisinage de 0 telle que f (z0 + ) = f (z0 ) + f (z0 ) + 1 () et 1 () 0 quand 0. En identiant C R2 on obtient f (x0 + h, y0 + k) = f (x0 , y0 ) + f (z0 )h + if (z0 )k + (h, k) (h, k)
h+ik si = h+ik avec 2 (h, k) = |h+ik| 1 (h+ik). Par consquent f (x, y) est R2 -direntiable en (x0 , y0 ) et sa direntielle df (x0 , y0 ) vrie

df (x0 , y0 )(h, k) = f (z0 )(h + ik), elle est donc C-linaire. (iii) (ii) Daprs le Lemme 1, lapplication df (x0 , y0 ) est C-linaire si et seulement si il existe a, b R tels que sa matrice relativement la base canonique de R2 est de la forme a b b a ce qui quivaut Q P (x0 , y0 ) = (x0 , y0 ) et x y ou encore
f (x0 , y0 ) x

P Q (x0 , y0 ) = (x0 , y0 ) y x

+ i f (x0 , y0 ) = 0. y f f (x0 , y0 ) = i (x0 , y0 ). x y

Remarque. Si f est C-drivable en z0 , alors f (z0 ) =

Dnition 2. Soit U un ouvert de C et f une fonction dnie sur U valeurs dans C. On dit que f est holomorphe sur U si f est C-drivable en tout point de U et si lapplication z f (z) est continue sur U . Remarque. On verra plus tard que lexistence de lapplication z f (z) implique automatiquement sa continuit. On note H(U ) lensemble des fonctions holomorphes sur U . Proprits : 1) Lensemble H(U ) est une sous-algbre de C(U ) ; 1 2) Si f H(U ) ne sannule pas sur U , f H(U ) ; 3) Si U et V sont deux ouverts de C, f : U V et g : V C deux fonctions holomorphes, g f est holomorphe sur U . 3

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Exemples : 1) Lapplication identique z z est holomorphe sur C ; 2) Lapplication z z nest pas holomorphe sur C ; 3)Lapplication polynme n ak z k est holomorphe sur C ; k=0 P (z) 4) La fraction rationnelle Q(z) , o P et Q sont des polynmes, est holomorphe sur C priv des zros de Q ; 5) La somme dune srie entire dnit une fonction holomorphe sur le disque ouvert de convergence de la srie entire ; 6) Les fonctions analytiques sur U sont holomorphes sur U (la rciproque est vraie nous la montrerons dans la section 1.2). Thorme 1 (dinversion locale). Soient U un ouvert de C, z0 U et f : U C une fonction holomorphe sur U telle que f (z0 ) = 0. Alors il existe un voisinage ouvert U0 de z0 et un voisinage ouvert V0 de f (z0 ) tel que f : U0 V0 soit bijective, f 1 holomorphe et 1 pour tout z U0 . (f 1 ) (f (z)) = f (z) Dmonstration : Aprs identication de C avec R2 , le dterminant jacobien de f est donn par J(f )(z) = det
P (z) x Q (z) x P (z) y Q (z) y

=(

P Q (z))2 + ( (z))2 = |f (z)|2 x x

grce aux quations de Cauchy-Riemann et donc J(f )(z0 ) = 0. Le thorme dinversion locale dans R2 arme alors quil existe un voisinage ouvert U0 de z0 et un voisinage ouvert V0 de f (z0 ) tel que f : U0 V0 soit bijective, f 1 est direntiable et de classe C 1 sur V0 et d(f 1 )(f (z)) = (df (z))1 , mais puisque lapplication inverse dune similitude est encore une similitude, lapplication f 1 est holomorphe sa drive vaut 1 f (z) = f 1 . |f (z)|2 (z)

U U0 z0

| U0

V0 f ( z 0)

( f| U0 )

Figure 1 Inversion locale.

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

1.2

Thorie de Cauchy locale

Le but de cette section est de prouver une premire version de la formule de Cauchy, qui est un des lments cl de la thorie des fonctions holomorphes. Nous en dduirons lquivalence entre drivabilit complexe et analyticit pour les fonctions dune variable complexe. Cette quivalence est spcique au domaine complexe, en eet toute fonction analytique dune variable relle est bien sr drivable, mais il existe des fonctions drivables dune variable relle et mme de classe C qui ne sont pas analytiques 1 comme par exemple la fonction dnie sur R par f (x) = e x2 pour x = 0 et f (0) = 0. Intgrales curvilignes Dnition 3. Soit U un ouvert de R2 , on appelle chemin de classe C 1 ( ou arc paramtr de classe C 1 ) de U une application : [a, b] U de classe C 1 . On supposera toujours que a < b, lorigine de est le point (a), lextrmit de est le point (b), le chemin est ferm si (a) = (b). Limage de (cest--dire lensemble des points (t), t [a, b]) sera note .

( b)

( a)
Figure 2 Chemin de classe C 1 . Exemples 1) Lapplication : [0, 2] C dnie par (t) = eit est un chemin ferm et = {z C | |z| = 1} 2) Lapplication : [0, 3] C dnie par (t) = eit nest pas un chemin ferm, son origine est 1 et son extrmit est 1, et = mais = . Dnition 4. Deux chemins ([a, b], ) et ([c, d], ) sont dits quivalents sil existe une application : [a, b] [c, d] vriant les conditions suivantes : i) est bijective, croissante et de classe C 1 ainsi que 1 ii) = . Dnition 5. Soit ([a, b], ) un chemin de classe C 1 et f une fonction continue sur . Lintgrale de f sur , note f (z) dz, est dnie par
b

f (z) dz =
a

f ((t)) (t) dt. 5

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Proposition 3. Si ([a, b], ) et ([c, d], ) sont deux chemins quivalents et si f est une fonction continue sur , on a f (z) dz =

f (z) dz.

Dmonstration : La formule du changement de variable dans les intgrales donne

d b

f (z) dz =
c b

f ((t)) (t) dt =
a

f ( (s)) ((s)) (s) ds f (z) dz.

=
a

f ((s)) (s) ds =

Remarque. Si ([a, b], ) est un chemin de classe C 1 , la longueur L de est par dnition, si (t) = (x(t), y(t)),
b a

x 2 (t) + y 2 (t) dt =

| (t)| dt.
a

Si f est une fonction continue sur , alors

b

f (z) dz|
a

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

M L,

o L est la longueur de et M = supz |f (z)|. Dnition 6. Soit U un ouvert de R2 , un chemin sera dit de classe C 1 par morceaux dans U sil existe une subdivision de [a, b] par des points a0 = a < a1 < < aj < < ak = b telle que les restrictions j de chaque intervalle [aj1 , aj ], j = 1, . . . , k, soient de classe C 1 et vrient j (aj ) = j+1 (aj ), j = 0, . . . , k 1 ( est constitu de k chemins de classe C 1 mis bout bout). Si f est une fonction continue sur , on pose
k

f (z) dz =
j=1 j

f (z) dz.

Exemples Si ([a, b], ) est un chemin de classe C 1 par morceaux dans U et f une fonction continue sur U telle que f = F , o F est une fonction holomorphe sur U , on a
b

f (z) dz =
a

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

en particulier si est un chemin ferm f (z) dz = 0. Par exemple pour n Z \ {1}, f (z) = (z )n avec vrie f = F pour / 1 n+1 n F (z) = n+1 (z ) et par consquent (z ) dz = 0 pour tout chemin ferm tel que . / 6

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Figure 3 Chemin ferm, de classe C 1 par morceaux. Soient : [0, 2] C dni par (t) = eit et C tel que || < 1, on pose ieit 1 f (z) = z . Nous allons calculer la valeur de f (z) dz = 02 eit dt. Posons it it g(s) = 02 eitie dt, s [0, 1]. La fonction (s, t) = eitie est continue sur [0, 1][0, 2]. s s ieit La fonction (s, t) = (eit s)2 est aussi continue sur [0, 1] [0, 2]. La thorie des s intgrales dpendant dun paramtre implique, puisque nous intgrons sur un segment, que g est une fonction de classe C 1 sur [0, 1]. De plus g(0) = 2i et g(1) = f (z) dz, mais
2

g (s) =
0

ieit dt = (eit s)2

( it ) dt = (0) (2) = 0, t (e s)
(t)

donc g est constante sur [0, 1] et g(1) = g(0), soit f (z) dz = dz = 2i. z

Dnition 7. Si est un chemin ferm de classe C 1 par morceaux et z un point du complmentaire de limage de , on appelle indice du chemin par rapport z le nombre 1 1 Ind (z) = dw. 2i w z Proposition 4. Soit [a, b], un chemin ferm de classe C 1 par morceaux. Lindice du chemin par rapport un point dnit une fonction Ind sur C \ valeurs dans Z, constante sur chaque composante connexe de C \ et nulle sur la composante connexe non borne de C \ . 7

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

+1 0 +2

2 0 1

Figure 4 Indice dun chemin ferm. Dmonstration : Sans perte de gnralit on peut supposer que le chemin est de classe C 1 . Pour z C \ on considre la fonction dnie sur [a, b] par
s

(s) = exp
a

(t) dt . (t) z

(s) Nous allons montrer que la fonction (s) = (s)z est constante sur lintervalle [a, b]. Puisque le chemin est de classe C 1 , la fonction est aussi de classe C 1 sur lintervalle [a, b] et il sut donc de prouver que (s) = 0 pour tout s [a, b]. Mais

(s) =

(s)((s) z) (s) (s) . ((s) z)2

(s) et (s) = (s)z (s), par consquent (s) = 0. Nous obtenons donc (a) = (b) et, puisque (a) = (b) (le chemin est ferm), cela donne (b) = (a) = 1, soit Ind (z) Z par dnition de . b (t) 1 La fonction Ind (z) = 2i a (t)z dt est dnie comme une intgrale sur le segment (t) [a, b] dpendant du paramtre z. La fonction (t, z) (t)z est continue sur [a, b]C\ donc Ind est continue, de plus elle est valeurs entires et par consquent constante sur chaque composante connexe de C \ . Soit R0 tel que soit contenu dans le disque D(0, R0 ). Si |z| > R0 + r, alors |(t) z| > r pour tout t [a, b] et

|Ind (z)|

1 2

s a

| (t)| M dt < , |(t) z| r

avec M = ba supt[a,b] | (t)|. On en dduit que lim|z| |Ind (z)| = 0 et, puisque 2 Ind (z) est valeurs entires, Ind (z) = 0 sur la composante connexe non borne de C \ . Formule de Cauchy pour les disques Nous prsentons ici un cas particulier de la formule gnrale de Cauchy. Ce cas particulier est susant pour prouver les proprits lmentaires des fonctions holomorphes qui seront dveloppes dans la section 1.3. 8

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Thorme 2 (Formule de Cauchy). Soient U un ouvert de C, a un point de U et r > 0 tel que le disque ouvert D(a, r) de centre a et de rayon r soit contenu dans U . On note le chemin (t) = a + reit , t [0, 2]. Si f est une fonction holomorphe sur U alors pour tout z D(a, r) on a f (z) = 1 2i

f (w) dw. wz

(1)

Dmonstration : Quitte translater et dilater, i.e. remplacer f par f (z) = f (a + rz), on peut se ramener au cas o a = 0 et r = 1. On doit montrer que f (z) = 1 2
it

2 0

f (eit )eit dt si |z| < 1. eit z

it

(2)

z))e 1 Posons g(s) = 2 02 f (z+s(ez dt pour s [0, 1]. On a |z + s(eit z)| = eit |z(1 s) + seit | < 1 s + s = 1, donc f (z + s(eit z)) est bien dnie si 0 s 1. De plus g(1) coincide avec le second membre de (2) et

g(0) =
f (z+s(eit z))eit eit z

1 2

2 0

f (z)eit f (z) dt = eit z 2i

dw = f (z) si |z| < 1. wz

On va prouver que la fonction g est constante sur [0, 1]. La fonction (s, t) = est continue sur [0, 1] [0, 2]. La fonction (s, t) = f (z + s(eit z))eit s est aussi continue sur [0, 1] [0, 2]. De plus 1 (s, t) = f (z + s(eit z)) = (t). s t is t La thorie des intgrales dpendant dun paramtre implique, puisque nous intgrons sur un segment, que g est une fonction de classe C 1 sur [0, 1] et que 1 1 2 (t) dt = ((2) (0)) = 0, 2 0 t 2 donc la fonction g est constante sur [0, 1] et g(1) = g(0) = f (z), soit g (s) = f (z) = 1 2
2 0

f (eit )eit dt. eit z

Corollaire 1 (Analyticit des fonctions holomorphes). Soit U un ouvert de C. Toute fonction holomorphe dans U est analytique dans U . Si a U et si d(a, C \ U ) dsigne la distance de a au complmentaire de U , le rayon de convergence de la srie de Taylor de f au point a est suprieur ou gal d(a, C \ U ). De plus si le disque ferm D(a, r) est contenu dans U , on a f (n) (a) = n! 2i
C(a,r)

f (w) dw, (w a)n+1

(3)

o C(a, r) dsigne le chemin dni sur [0, 2] par t a + reit . 9

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : Soit a U et D = D(a, d(a, C \ U )), D est le plus grand disque de centre a contenu dans U . Soit r tel que 0 < r < d(a, C \ U ) et z D(a, r), alors la formule de Cauchy nous donne f (z) = 1 2i f (w) dw. wz

C(a,r)

Si z D(a, r) et si w vrie |w a| = r, on a |z a| < |w a| et 1 1 1 1 = = za wz (w a) (z a) w a 1 wa = do

(z a)n 1 , w a n=0 (w a)n

(z a)n f (w) f (w) = . w z n=0 (w a)n+1

Cette srie de fonctions de w est normalement convergente donc uniformment convergente sur C(a, r) (on utilise ici la mme notation pour le chemin et son image) puisque son terme gnral est major par M r |z a| r
n

avec M = sup |f (w)|.

wC(a,r)

On peut donc intgrer terme terme et on trouve

f (z) =
n=0

an (z a)n

avec an =

1 2i

C(a,r)

f (w) dw. (w a)n+1

La fonction f est donc analytique dans U et la srie de Taylor en a de f concide avec f au moins sur le plus grand disque ouvert de centre a contenu dans U puisque, si z est dans ce disque, on peut intercaler r entre |z a| et d(a, C \ U ). Remarque. Remarquons que dans le cas des fonctions analytiques relles le disque de convergence de la srie de Taylor en un point nest pas ncessairement le plus grand disque contenu dans le domaine de dnition de la fonction. Il sut de considrer la 1 fonction f (x) = 1+x2 qui est analytique sur R et dont le rayon de convergence de la srie de Taylor en 0 vaut 1. Corollaire 2. Soit U un ouvert de C. Si f H(U ) alors f H(U ) et f est indniment drivable. Dmonstration : Daprs le Corollaire 1, la fonction f est analytique et donc de classe C et sa drive est aussi analytique et par consquent holomorphe. 10

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Proprits. Les fonctions holomorphes tant analytiques elles vrient : le principe du prolongement analytique ; le principe des zros isols. Rsum. f holomorphe sur U Sries entires (rien de nouveau)

f analytique sur U

Formule de Cauchy (ide nouvelle)

1.3

Proprits lmentaires des fonctions holomorphes

Nous dcrivons ici les proprits des fonctions holomorphes qui sont des consquences directes de la formule de Cauchy pour les disques. Ingalits de Cauchy Le thorme suivant montre que, si f est une fonction holomorphe, toutes les drives de f en un point sont contrles par les valeurs de f au voisinage de ce point. Thorme 3. Si f est une fonction holomorphe dans le disque de centre 0 et de rayon R, pour tout r < R et n 0 on a, si f (z) = an z n , n=0 |an | = o M (r) = sup|z|=r |f (z)|. Dmonstration : Daprs le Corollaire 1, la fonction f tant holomorphe dans le disque D(0, R), elle est dveloppable en srie entire dans ce disque et on a pour tout r tel que 0 < r < R, an = 1 (n) 1 f (0) = n! 2i 1 = 2 f (w) dw wn+1 1 (n) |f (0)| n! M (r) , rn

C(0,r) 2 0

f (reit )rn eint dt 0 M (r) . rn

Si on pose M (r) = sup|z|=r |f (z)|, on a alors pour n |an | = 1 (n) |f (0)| n! 1 2

2 0

|f (reit )|rn dt

Corollaire 3 (Thorme de Liouville). Si f est une fonction holomophe dans C tout entier (on dit alors que f est une fonction entire) et si f est borne, alors f est constante. 11

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : Puisque f est holomorphe dans C, il rsulte du Corollaire 1 que f est dveloppable en srie entire, soit f (z) = an z n pour tout z C. De plus il existe n=0 M > 0 tel que |f (z)| M pour tout z C, puisque f est borne. Les ingalits de M Cauchy donnent alors |an | rn pour tout r > 0 et tout n 0, ce qui implique an = 0, si n 1. Corollaire 4 (Thorme de dAlembert). Tout polynme coecients complexes non constant possde au moins une racine. Dmonstration : Raisonnons par labsurde. Soit P C[X] un polynme de degr strictement suprieur 1, supposons que P nadmet pas de racine dans C. La fonction 1 1 est alors entire et borne puisque P (z) 0 quand |z| , elle est donc constante P (z) par le Thorme de Liouville, do la contradiction. Suites et sries de fonctions holomorphes Nous allons voir comment les ingalits de Cauchy simplient ltude des suites et sries de fonctions dans le cas des fonctions holomorphes dune variable complexe par rapport au cas des fonctions de classe C 1 dune ou plusieurs variables relles. Dnition 8. Soit (fn )nN une suite de fonctions sur un ouvert U de Rn . On dit que la suite (fn )nN converge uniformment sur tout compact de U vers la fonction f , si pour tout > 0 et pour tout compact K de U , il existe un entier N = N (K, ) tel que pour tout n N on a sup |fn (z) f (z)| < .
zK

Rappels 1) Si une suite (fn )nN de fonctions continues sur U converge uniformment sur tout compact de U vers une fonction f , alors la fonction f est continue sur U . 2) Soient U un ouvert convexe de Rn , (fn )nN une suite dapplications de classe C 1 de U dans Rp et x0 un point de U . Si la suite (fn (x0 ))nN converge et si la suite (dfn )nN converge uniformment sur tout compact de U vers G : U L(Rn , Rp ), alors la suite (fn )nN converge uniformment sur tout compact de U vers une application f de classe C 1 telle que df = G. Thorme 4 (de Weierstra). Soit (fn )nN une suite de fonctions holomorphes sur un ouvert U de C qui converge uniformment sur tout compact de U vers une fonction f , (j) alors f est holomorphe sur U et les suites (fn )nN convergent uniformment sur tout (j) compact de U vers f . Dmonstration : Montrons tout dabord la seconde assertion du thorme. Soit K un 1 compact de U et r = 2 d(K, C \ U ) si U = C et r = 1 si U = C, alors pour tout z K le disque ferm D(z, r) U . 12

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Soit L = zK D(z, r) = { u | d(z, K r)}, L est une partie compacte de U . Les ingalits de Cauchy appliques la fonction fp fn impliquent que pour tout z K
(j) (j) |fp (z) fn (z)|

j! sup |fp () fn ()|. rj L

Puisque la suite (fn )nN converge uniformment sur L, on en dduit que les suites (j) (fn )nN sont uniformment de Cauchy sur K et par consquent convergent uniformment sur K. Il sut alors dappliquer la suite (fn )nN lassertion 2) du rappel au voisinage de chaque point de U , car dfn = fn dz. Thorme 5. Soit U un ouvert de C et fn une srie de fonctions holomorphes sur U qui converge uniformment sur tout compact de U . Soit f la somme de cette srie, alors (i) La fonction f est holomorphe sur U et la srie fn converge uniformment sur tout compact de U vers f ; (ii) Si la srie fn est normalement convergente sur tout compact de U , il en est de mme de la srie fn . Dmonstration : Lassertion (i) rsulte du Thorme 4 en considrant la suite des sommes partielles de la srie fn . Montrons lassertion (ii). Soit K un compact de U et L dni comme dans la preuve du Thorme 4. Les ingalits de Cauchy donnent alors |fn (z)| 1 supL |fn ()| pour r tout z K, soit supK |fn ()| 1 supL |fn ()|, ce qui prouve (ii). r Intgrales dpendant dun paramtre Soient I un intervalle de R, la mesure de Lebesgue sur I et U un ouvert de C. On considre une fonction f dnie sur U I et valeurs dans C. On suppose que, pour tout z U , lapplication t f (z, t) est -intgrable. Soit alors F la fonction dnie sur U par F (z) =
I

f (z, t) d(t).

Thorme 6. On suppose que pour tout t I, la fonction z f (z, t) est holomorphe dans U et que, pour tout compact de U , il existe une fonction numrique gK , -intgrable telle que |f (z, t)| gK (t) pour tout z K et tout t I. Alors la fonction F dnie par F (z) =
I

f (z, t) d(t)

est holomorphe dans U et on peut driver sous le signe , cest--dire F (n) (z) =
I

nf (z, t) d(t) z n

pour tout n N. 13

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Remarque. Lexistence de la fonction majorante gK est trivialement vrie si f est continue sur U I et si I est compact (il sut alors de prendre pour gK une fonction constante, la fonction f tant borne sur le compact K I).
f Dmonstration : Montrons tout dabord que n (z, t) vrie des majorations analogues z celles vries par f (z, t). Le compact K de U tant x, on considre le compact L de U dni par L = {z U | d(z, K) r}, 1 o r = 2 d(K, C \ U ) si U = C et r = 1 si U = C. Les ingalits de Cauchy donnent
n

sup |
zK

nf (z, t)| z n

n!rn sup |f (z, t)|,

zL

soit encore sup |

zK

nf (z, t)| z n

n!rn gL (t)

(4)

pour tout z K et tout t I. Par ailleurs on a pour tout z U f 1 (z, t) = lim k[f (z + , t) f (z, t)], k z k la fonction t f (z, t) est donc -mesurable comme limite simple dune suite de z nf fonctions -mesurables. Par rcurrence sur n, on montre que t n (z, t) est galement z nf -mesurable. La majoration (4) prouve alors que t n (z, t) est -intgrable, on peut z donc considrer la fonction sur U dnie par z
I

nf (z, t) d(t). z n

Montrons maintenant que F est holomorphe sur U . Soit z0 U x et r > 0 tel que le disque ferm D(z0 , r) soit contenu dans U . Posons K = D(z0 , r). Pour h C tel que 0 < |h| r on a F (z0 + h) F (z0 ) = h f (z0 + h, t) f (z0 , t) d(t). h
f (z0 +h,t)f (z0 ,t) h

Si h tend vers 0 en restant non nul, la fonction t t f (z, t). Dautre part z f (z0 + h, t) f (z0 , t) =

tend vers la fonction

[z0 ,z0 +h]

f (, t) d, z

14

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

do f (z0 + h, t) f (z0 , t) h sup

zK

f (z, t) z

1 gL (t), r qui est une fonction -intgrable indpendante de h, daprs(4). On dduit alors du thorme convergence domine de Lebesgue que F (z) = limh0 F (z0 +h)F (z0 ) existe et h que F (z) = I f (z, t) d(t). Une rcurrence lmentaire termine la dmonstration du z thorme. Exemple : On considre la fonction (z) dnie par lintgrale

(z) =
0

tz1 et dt

pour Re z > 0. Soient et R deux rels strictement positifs, sur lensemble des z C tels que 0 < Re z R, la fonction tz1 et possde une fonction majorante intgrable indpendante de z car |tz1 et | |tz1 et | t1 et tR1 et si t [0, 1] si t ]1, [.

La fonction est donc holomorphe dans le demi-plan Re z > 0 et dans ce demi-plan on a (z) = tz1 ln t et dt.
0

Proprit de la moyenne et principe du maximum Dnition 9. On dit quune fonction f dnie et continue sur louvert U de C possde la proprit de la moyenne si pour tout disque D(a, r) ferm inclus dans U , la valeur de f en a est gale la moyenne de f sur le cercle de centre a et de rayon r, i.e. 1 2 f (a + reit ) dt. f (a) = 2 0 Remarque. Si f possde la proprit de la moyenne, il en est de mme de Ref et Imf . Proposition 5. Si f est holomorphe dans U , f a la proprit de la moyenne dans U . Dmonstration : Si dsigne le cercle de centre a et de rayon r orint dans le sens positif, la formule de Cauchy donne f (a) = 1 2i

f (w) 1 dw = wa 2

2 0

f (a + reit ) dt.

15

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dnition 10. Soient U un ouvert de C, a U et f une fonction continue sur U . On dit que f admet un maximum relatif en a ou par abus de langage que a est un maximum relatif, sil existe un voisinage V de a tel que |f (z)| |f (a)| pour tout z V . On dira que f vrie le principe du maximum dans U si pour tout maximum relatif a de f , f est constante au voisinage de a. Thorme 7. Une fonction f dnie et continue sur un ouvert U de C, qui possde la proprit de la moyenne, vrie le principe du maximum. Dmonstration : Soit a un maximum relatif de f et > 0 tel que |f (z)| |f (a)| pour tout z D(a, ). Si f (a) = 0, le thorme est vident, en eet f 0 dans D(a, ). f (a) Si f (a) = 0, quitte multiplier f par une constante convenable ( |f (a)| par exemple) on peut supposer que f (a) = |f (a)| > 0. Pour tout r < , la proprit de la moyenne scrit 1 2 |f (a)| = f (a) = f (a + reit ) dt, 2 0 do 1 2 [|f (a)| f (a + reit )] dt = 0. 2 0 En particulier en prenant la partie relle 1 2
2 0

[|f (a)| Ref (a + reit )] dt = 0.

(5)

Mais puisque a est un maximum relatif de f , la fonction continue |f (a)| Ref (a + reit ) est positive ou nulle. La nullit de (5) implique pour tout t et tout r < que |f (a)| Ref (a + reit ) = 0. Or |f (a)| |f (a + reit )| donc Imf (a + reit ) = 0 et f (a) = Ref (a + reit ) = f (a + reit ) pour tout t et tout r < . Corollaire 5. Si U est un ouvert connexe et f une fonction holomorphe non constante sur U , f nadmet pas de maximum relatif dans U . Dmonstration : Raisonnons par labsurde, supposons que f possde un maximum relatif en a U . Puisque f est holomorphe, elle satisfait la proprit de la moyenne et daprs le Thorme 7 elle est donc constante au voisinage de a. Lanalyticit de f et la connexit de U impliquent alors que f est constante, ce qui contredit lhypothse.

16

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Corollaire 6. Si U est un ouvert connexe et f une fonction holomorphe non constante sur U telle que |f | admet un minimum local dans U , alors ce minimum est ncessairement nul. En particulier f sannule au moins une fois dans U . Dmonstration : Soit z0 U un minimum local pour |f |. Supposons que |f (z0 )| = 0, 1 alors f est dnie et holomorphe au voisinage de z0 et possde un maximum local en z0 , donc f est constante daprs le principe du maximum (Corollaire 5, ce qui contredit lhypothse. Nous donnons maintenant une formulation plus globale du principe du maximum. Proposition 6. Soit D un domaine (i.e. ouvert connexe) born de C et f une fonction continue sur D et holomorphe sur D. Soit M = supzD\D |f (z)|, alors |f (z)| M pour tout z D. De plus, sil existe a D tel que |f (a)| = M , alors f est constante sur D. Dmonstration : Soit M = supzD |f (z)|, comme f est continue sur D, qui est compact, cette borne suprieure est atteinte en au moins un point de D. Si elle est atteint en un point a D, alors f est constante au voisinage de a et donc constante sur louvert connexe D par prolongement analytique. Sinon M = M car la borne suprieure est alors atteinte sur D \ D et pour tout z D on a |f (z)| M . Thorme 8 (Lemme de Schwarz). Soit f une fonction holomorphe dans le disque unit D(0, 1) de C vriant : f (0) = 0 |f (z)| 1 Alors pour tout z D(0, 1), on a |f (z)| |z| et |f (0)| 1.

pour tout z D(0, 1).

De plus, ces ingalits sont strictes sauf sil existe C tel que || = 1 et f (z) = z pour tout z D(0, 1). Dmonstration : Dans D(0, 1) la fonction f concide avec sa srie de Taylor en 0, i.e. f (z) = a0 + a1 z + + an z n + . . . . Or par hypothse a0 = 0 car f (0) = 0 et par consquent la fonction g dnie par

f (z) si z = 0 z g(0) = f (0) g(z) = est holomorphe sur le disque D(0, 1). 17

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Puisque |f (z)| < 1, on a |g(z)| < 1 si |z| = r < 1. Cette ingalit est encore valable r pour |z| r, daprs la variante du principe du maximum, par consquent en faisant tendre r vers 1 on a |g(z)| < 1, soit |f (z)| |z| pour tout z D(0, 1). De plus sil existe z0 D(0, 1) tel que g(z0 )| = 1 alors , daprs la Proposition 6, la fonction g est constante gale , o || = 1 et f (z) = z pour tout z D(0, 1). Terminons cette section en prouvant le thorme de lapplication ouverte pour les fonctions holomorphes laide du principe du maximum. Thorme 9 (de lapplication ouverte). Soit U un ouvert connexe de C. Si f de U dans C est une fonction holomorphe non constante, alors f est une application ouverte,i.e. pour tout ouvert V U , f (V ) est un ouvert de C. Dmonstration : Soient V un ouvert de U et a V , nous devons prouver que f (V ) est un voisinage de b = f (a). Comme f nest pas constante, on peut trouver daprs le principe des zros isols un disque ouvert D centr en a tel que D V et f (z) b ne sannule pas sur D \ {a}. Soit > 0 tel que |f (z) b| sur D ( un tel existe par compacit de D. On va montrer que D(b, /2) f (D) f (V ). Fixons w D(b, /2) et considrons la fonction fw de D dans C dnie par fw (z) = f (z) w. La fonction fw est continue donc la fonction |fw | atteint sa borne infrieure sur le compact D. Par ailleurs |fw (z)| et ||f (z) b| |b w|| > 2 si z D

|fw (a)| = |b w| < . 2 On en dduit que la borne infrieure de fw est atteinte en point de D. Comme fw nest pas constante dans dans D, puisque f ne lest pas, la fonction fw (z) = f (z) w sannule au moins une fois dans D daprs le Corollaire 6, ce qui signie que w f (D).

1.4

Thorie de Cauchy pour les domaines toils

Existence de primitives Lobjet de cette section est de donner des conditions sur un ouvert de C qui permettent dassurer lexistence de primitives pour les fonctions continues dnies sur cet ouvert. Dnition 11. Soit f une fonction continue dun ouvert U de C valeurs complexes. On appelle primitive de f toute fonction F dnie sur U telle que F = f .

18

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Thorme 10. Soit f : U C une fonction continue sur louvert U de C. Pour que f admette une primitive dans U il faut et il sut que pour tout chemin ferm de classe C 1 par morceaux dans U on ait f (z) dz = 0.

Dmonstration : La ncessit de la condition a t prouve dans le premier exemple de la section 1.2. Supposons la condition satisfaite, nous devons construire une primitive F de f sur chaque composante connexe de U . Sans perte de gnralit nous pouvons supposer que U est connexe. Pour tout couple de points z0 , z de U , il existe donc un chemin de classe C 1 contenu dans U joignant z0 z. Si ([a, b], ) est un tel chemin, on dnit le chemin ([a, b], par t (a + b t) et on a f (z) dz =

f (z) dz.

Montrons que f (z) dz = 0 ne dpend pas du choix du chemin contenu dans U joignant z0 z. Si 1 et 2 sont deux chemins de classe C 1 contenus dans U joignant z0 z. Notons le chemin obtenu en juxtaposant le chemin 1 et le chemin 2 , cest un chemin ferm de classe C 1 par morceaux dans U (gure 5).

z
2

z z+u z
0

Figure 5 Chemins ferms de classe C 1 par morceaux, concatnations de chemins de mmes extrmits. Par hypothse on a donc f (z) dz =
1

f (z) dz
2

f (z) dz = 0,

soit f (z) dz =
1 2

f (z) dz.

Fixons z0 U , on peut alors dnir pour z U

z

F (z) =
z0

f (w) dw, 19

Maths en Ligne
z z0

Fonctions holomorphes

UJF Grenoble

signie , tant un chemin quelconque contenu dans U joignant z0 z1 . Il reste prouver que F est une primitive de f sur U . Pour u C assez petit pour que le segment u dextrmits z et z + u soit contenu dans U on a
z+u z

F (z + u) F (z) =
z0

f (w) dw
z0 u

f (w) dw =
u

f (w) dw

= uf (z) +

(f (w) f (z)) dw.

La dernire intgrale est majore en module par |u| (u) avec (u) = supu |f (w) f (z)| et, la fonction f tant continue, (u) tend vers 0 quand u tend vers 0, par consquent F (z + u) F (z) f (z) = (u) u0 0, u cest--dire F (z) = f (z). Remarque. On a vu dans la section 1.2 que dz = 2i, z

C(0,1)

la fonction

1 z

nadmet donc pas de primitive dans C \ {0}.

Dnition 12. Un ouvert U de C est dit toil sil existe un point z0 U tel que pour tout z U le segment joignant z0 z est contenu dans U , cest--dire que pour tout t [0, 1] le point w = z0 + t(z z0 ) appartient U .

z+u z

Figure 6 Ouvert toil. Exemple. Un ouvert convexe U est toil par rapport chacun de ses points. Si est un triangle ferm de C, on dsigne par le chemin de classe C 1 par morceaux constitu du bord du triangle parcouru une fois dans le sens direct. 20

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Thorme 11. Soit f une fonction continue sur un ouvert toil U de C telle que f (z) dz = 0

pour tout triangle contenu dans U , alors f admet une primitive dans U . Dmonstration : Soit z0 un point de U par rapport auquel U est toil, alors pour tout z U le segment [z0 , z]joignant z0 z est contenu dans U . On pose F (z) =
[z0 ,z]

f (w) dw.

Puisque U est un ouvert de C, il existe r > 0 tel que le disque D(z, r) soit contenu dans U et par consquent si |u| < r le segment [z, z + u] est contenu dans U . Louvert U tant toil par rapport z0 , le triangle de sommets z0 , z et z + u est contenu dans U . Puisque f (z) dz = 0, il rsulte de la dnition de F que F (z + u) F (z) =
[z,z+u]

f (w) dw

et on conclut comme dans la preuve du Thorme 10. Rsum. Soit f est une fonction continue dans un ouvert U de C.

f (z) dz = 0 pour tout chemin ferm de U

f (z) dz = 0 pour tout triangle U

U toil

f admet une primitive dans U

Thormes de Cauchy Nous dveloppons ici la thorie de Cauchy pour les domaines convexes ou toils. Thorme 12. Soit f une fonction C-drivable dans un ouvert U de C. Pour tout triangle contenu dans U on a f (z) dz = 0.

Dmonstration : Nous utilisons la mthode de Goursat. Soient a, b, c les somments du triangle et a , b , c les milieux des segments [b, c], [a, c] et [a, b]. On considre les quatre nouveaux triangles j , 1 j 4, associs aux triplets (a, c , b ), (b, a , c ), (c, b , a ) et (a , b , c ). 21

Maths en Ligne

Fonctions holomorphes
a

UJF Grenoble

b a

Figure 7 Mthode de Goursat. Posons J = f (z) dz = 4 j f (z) dz. La valeur absolue dune au moins j=1 des quatre intgrales j f (z) dz est suprieure ou gale 1 |J|. Soit 1 le triangle 4 correspondant une telle intgrale. En appliquant 1 le raisonnement fait pour , on construit un triangle 2 tel que 1 f (z) dz . f (z) dz 4 1 2 On construit ainsi une suite de triangles embots ferms 0 = 1 n n+1 . . . tels que, pour tout n 1, f (z) dz
n

1 4

f (z) dz .
n1

On en dduit f (z) dz
n = 21 l(). n

1 |J|. 4n

(6)

De plus par construction l(n ) La famille (n )nN est une suite dcroissante de compacts dont le diamtre tend vers 0, donc nN n = {z0 }. En eet nN n = car sinon il existerait une sous famille nie dintersection vide, ce qui contredirait la dcroissance de la famille ; elle est rduite un point car le diamtre des n tend vers 0. Comme z0 U , f est C-drivable en z0 par hypothse. Par consquent > 0 tant donn, il existe r > 0 tel que pour |z z0 | r on ait |f (z) f (z0 ) (z z0 )f (z0 )| |z z0 |. Prenons n assez grand pour que n D(z0 , r). Puisque la fonction polynomiale f (z0 )+ (z z0 )f (z0 ) admet des primitives dans C, son intgrale sur tout chemin ferm est nulle donc f (z) dz =
n n

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

sup |z z0 | l(n )
zn

(l(n ))2 22

(l())2 . 4n

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

On dduit alors de 6 que soit |J| 1 |J| (l())2 , n 4 4n (l())2 ; tant arbitraire on a J = 0.

Remarque. Le rsultat du thorme prcdent reste vrai si on suppose que f est continue dans U et C-drivable dans U priv dun point . Dmonstration : [de la remarque] Il ny a traiter que le cas o , lautre cas rsultant directement du Thorme 12. Si est un sommet de , par exemple = a. Daprs le Thorme 12, si b [a, b] et c [a, c], f (z) dz =
(abc) (ab c )

f (z) dz

car les intgrales sur les autres triangles sont nulles, nappartient pas ces triangles. Si b a et c a, lintgrale (ab c ) f (z) dz 0 cause de la continuit de f . Si est sur un ct de , on se ramne au cas prcdent en dcomposant en deux triangles en joignant au sommet oppos. De mme si est lintrieur de , on dcompose en trois triangles en joignant chacun des sommets de (gure 8).
a= a a

b c b c b c

Figure 8 Dcoupage de triangles. Cette extension nous sera utile ultrieurement. Mais en fait elle nest quapparente car on verra que si f est continue sur U et C-drivable dans U priv dun point elle est C-drivable dans U . Corollaire 7. Soient U un ouvert convexe ou toil de C et f une fonction C-drivable dans U . Alors f admet une primitive dans U et pour tout chemin ferm de classe C 1 par morceaux dans U on a f (z) dz = 0.

Dmonstration : Cest une consquence directe des Thormes 12, 11 et 10. Thorme 13. Soit f une fonction C-drivable dans un ouvert U convexe ou toil de C et soit un chemin ferm de classe C 1 par morceaux contenu dans U , dimage . Pour tout z U \ on a f (z)Ind (z) = 1 2i 23

f (w) dw. wz

(7)

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : Soit z un point de U , la fonction g dnie dans U par g(w) = f (w)f (z) wz g(z) = f (z) si w = z

est continue dans U et C-drivable dans U \ {z}. Puisque U est toil, il rsulte de la remarque suivant le thorme 12 et du Thorme 11 que g admet une primitive dans U et par consquent que son intgrale sur tout chemin ferm de classe C 1 par morceaux contenu dans U est nulle. On a donc, si z , / g(w) dw =

f (w) f (z) dw = 0, wz

do

1 f (w) dw = dw wz wz et le rsultat par dnition de lindice dun chemin par rapport un point. f (z) Corollaire 8. Soit U un ouvert de C, toute fonction C-drivable dans U est analytique dans U et en particulier indniment drivable. Dmonstration : Pour tout z U il sut dappliquer la formule de Cauchy en prnant comme chemin le cercle de centre z et de rayon r > 0 assez petit pour que D(z, r) U et de rpter la dmonstration du Corollaire 1. Remarque. Le Corollaire 8 implique en particulier lquivalence entre la C-drivabilit et lholomorphie. Lhypothse f de classe C 1 que nous avions faite dans la dnition des fonctions holomorphes au paragraphe Fonctions holomorphes est donc superue. Elle nous a permis dobtenir trs rapidement les principales proprits des fonctions holomorphes en vitant la thorie des primitives. Corollaire 9 (Thorme de Morera). Soit f une fonction continue dans un ouvert U de C. Les proprits suivantes sont quivalentes : 1) La fonction f est C-drivable dans U 2) La fonction f est holomorphe dans U 3) La fonction f est analytique dans U 4) La fonction f admet localement une primitive dans U 5) Pour tout triangle contenu dans U , on a f (z) dz = 0. Dmonstration : Nous venons de prouver que 1) implique 5) et que 1), 2) et 3) sont quivalentes. Il rsulte du paragraphe Existence de primitives que 4) est quivalent 5). Il reste donc prouver que 4) implique 1). Soient z0 un point de U et F une primitive de f sur un voisinage Vz0 de z0 . La fonction F est C-drivable sur Vz0 et F = f , mais daprs le Corollaire 8 F est indniment drivable et en particulier f est C-drivable sur Vz0 . Ceci tant valable pour tout z0 U , f est C-drivable sur U . Rsum. Soit f est une fonction continue dans un ouvert U de C. 24

Maths en Ligne

Fonctions holomorphes f (z) dz = 0 pour tout chemin ferm de U U toil

UJF Grenoble

f admet une primitive dans U

f admet localement une primitive dans U

f holomorphe dans U

1.5

Fonctions mromorphes

Classication des singularits isoles Soient a C et r > 0. On note D (a, r) = D(a, r) \ {a} = {z C | 0 < |z a| < r} et on dit que D (a, r) est le disque point de centre a et de rayon r. Dnition 13. Soient U un ouvert de C, a un point de U et f une fonction holomorphe sur U \ {a}. On dit alors que f a une singularit isole en a. Si la fonction f se prolonge en une fonction holomorphe sur U (le prolongement est alors unique par le principe du prolongement analytique), on dit que la singularit de f en a est illusoire ou liminable ou encore que a est une fausse singularit ou un point rgulier de f . Proposition 7. Soient U un ouvert de C, a U et f une fonction holomorphe sur U \ {a}. On suppose quil existe r > 0 tel que f soit borne sur U D (a, r), alors a est un point rgulier de f . Dmonstration : On dnit la fonction g sur U par g(z) = (z a)f (z) si z U \ {a} g(a) = 0 Puisque f est holomorphe sur U \ {a} et borne au voisinage de a, la fonction g est holomorphe sur U \ {a} et continue sur U donc holomorphe sur U . Mais si r est assez petit pour que D(a, r) U , g est dveloppable en srie entire sur D(a, r)

g(z) =
n=0

n (z a)n

pour |z a| < r.
n=0

Mais 0 = 0 puisque g(a) = 0 et par suite la fonction z f au voisinage de a.

n+1 (z a)n prolonge

25

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Thorme 14. Soient U un ouvert de C, a U et f une fonction holomorphe sur U \ {a}. La fonction f vrie une et une seule des proprits suivantes : (i) La fonction f a une singularit illusoire en a. (ii) Il existe un entier m 1, un rel r > 0 tel que D(a, r) U et une fonction g(z) g holomorphe sur le disque D(a, r) vriant g(a) = 0 et f (z) = (za)m pour tout z D (a, r). On dit alors que f a un ple dordre m en a. (iii) Pour tout r > 0 tel que D(a, r) U , lensemble f (D (a, r)) est dense dans C. On dit alors que f a une singularit essentielle en a. Dmonstration : Supposons que la proprit (iii) nest pas satisfaite par f . Il existe alors b C, r et strictement positifs tels que D(a, r) U et f (D (a, r))D(b, ) = , 1 cest--dire |f (z) b| pour tout z D (a, r). la fonction z f (z)b est alors holomorphe dans D (a, r) et majore en module par 1 . Daprs la Proposition 7 elle se prolonge en une fonction h holomorphe sur D(a, r). 1 Si h(a) = 0, f (z) = b + h(z) a une fausse singularit en a et (i) est vrie. Si h(a) = 0, notons m la multiplicit du zro a de h. Il existe alors une fonction k holomorphe sur D(a, r) vriant k(a) = 0 et telle que h(z) = (z a)m k(z) si z D(a, r). On peut supposer r assez petit pour que k(z) = 0 si z D(a, r). Alors l = fonction holomorphe dans D(a, r) et l(a) = 0. On a alors pour z D (a, r) f (z) = b + l(z) + b(z a)m l(z) = , (z a)m (z a)m
1 k

est une

cest la condition (ii) avec g(z) = l(z) + b(z a)m . Fonctions mromorphes Dnition 14. Soit U un ouvert de C. Une fonction f est dite mromorphe dans U sil existe une partie localement nie A de U telle que f soit holomorphe sur U \ A et tout point de A soit un ple de f . On note M(U ) lensemble des fonctions mromorphes dans U . Soient U un ouvert connexe de C et g et h deux fonctions holomorphes sur U non identiquement nulles. Daprs le principe des zros isols, lensemble A des zros de h g est une partie localement nie de U . Considrons la fonction f = h , elle est holomorphe sur U \ A. Soient a A et m la multiplicit du zro a de h. Au voisinage de a on a h(z) = (z a)m h1 (z), o h1 est une fonction holomorphe sur U telle que h1 (a) = 0. 26

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Si g(a) = 0, alors a est un ple de f . Si g(a) = 0, on peut crire g(z) = (z a) g1 (z) avec p N et g1 holomorphe sur U telle que g1 (a) = 0 puisque g nest pas identiquement nulle. Ainsi f (z) = (z a)pm f1 (z), o f1 est une fonction holomorphe au voisinage de a. Si p m, f a une singularit illusoire en a et si p < m, a est un ple dordre m p de f . Dans tous les cas f est une fonction mromorphe sur U . Remarque. En fait si U est connexe, on peut prouver que toute fonction f mromorphe g sur U scrit f = h avec g et h holomorphes dans U et h non identiquement nulle sur U.
p

Proprits. Si U est un ouvert de C, la runion de deux parties localement nies de U est encore une partie localement nie. On en dduit que la somme et le produit de deux fonction mromorphes dans U est encore une fonction mromorphe dans U et que M(U ) a une structure naturelle de C-algbre unitaire. Proposition 8. Si louvert U est connexe, lensemble M(U ) est un corps. Dmonstration : Soit f M(U ) \ {0}, notons A lensemble de ses ples. Lensemble Z des zros de f est une partie localement nie de U car U est connexe (sinon f pourrait tre identiquement nulle sur une composante connexe de U ). Par suite A Z est une 1 partie localement nie de U et g = f est holomorphe sur U \ (A Z). Il est immdiat que si a est un zro dordre m de f alors a est un ple dordre m de g et si a est un ple de f , alors a est une singularit illusoire de g, donc g M(U ). Proposition 9. Soient U un ouvert de C et f une fonction mromorphe sur U , alors (i) La drive f de f est mromorphe sur U et f et f ont les mmes ples. Si a est un ple dordre m de f , cest un ple dordre m + 1 de f . (ii) Supposons U connexe et f non identiquement nulle sur U . La fonction g = f f est mromorphe sur u et les ples de g sont simples. Dmonstration : Cela rsulte immdiatement de la dnition des ples. Thorme des rsidus Dnition 15. Soient U un ouvert de C, f une fonction mromorphe sur U et a U un ple dordre m de f . Au voisinage de a, f scrit f scrit f = g + P avec g holomorphe au voisinage de a et P (z) = ak . k k=1 (z a)
m

La fonction p est la partie principale de f en a et on dit que a1 est le rsidu de f en a, on le note a1 = Res(f, a).

27

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Lemme 2. Si est un chemin ferm de classe C 1 par morceaux de U dimage et si a U \ , on a 1 P (z) dz = Ind (a)Res(f, a). 2i Dmonstration : Puisque primitive dans U , on a 1 2i
dz (za)k

= 0 si k = 1, car dans ce cas 1 2i

1 (za)k

possde une

P (z) dz = a1

dz = Ind (a)Res(f, a). (z a)

Thorme 15 (des rsidus). Soient U un ouvert convexe ou toil de C, a1 , . . . , an des points deux deux distincts de U et f une fonction holomorphe sur U \ {a1 , . . . , an }. On suppose que chaque ak est un ple de f . Si est un chemin ferm de classe C 1 par morceaux de U dont limage ne contient aucun des ak , on a
n

f (z) dz = 2i
k=1

Ind (ak )Res(f, ak ).

Dmonstration : Soit Pk la partie principale de f en ak , 1 k n. La fonction n f k=1 Pk a une singularit illusoire en chaque ak , elle se prolonge donc en une fonction holomorphe sur U . Le Thorme de Cauchy pour un ouvert convexe ou toil donne alors n f (z)
k=1

Pk (z)

dz = 0,

et en utilisant le Lemme 2 on obtient

n n

f (z) dz =
k=1

Pk (z) dz = 2i
k=1

Ind (ak )Res(f, ak ).

Thorme 16 (de lindice). Soient U un ouvert convexe ou toil de C, g une fonction holomorphe sur U et f une fonction mromorphe sur U . On suppose que f na quun nombre ni de zros a1 , . . . , am dans U (compts avec leur ordre de multiplicit) et quun nombre ni de ples b1 , . . . , bn dans U (compts aussi avec leur ordre de multiplicit). Soit un chemin ferm de classe C 1 par morceaux dans U dont limage ne contient aucun des ak et aucun des bk . Alors 1 2i En particulier Indf (0) = 1 2i
m n f (z) dz = Ind (ak ) Ind (bj ). f (z) j=1 k=1

g(z)

m n f (z) dz = g(ak )Ind (ak ) g(bj )Ind (bj ). f (z) j=1 k=1

28

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : Si a U est un zro dordre k de f , il existe alors une fonction h holomorphe au voisinage de a telle que f (z) = (z a)k h(z) et h(a) = 0. On en dduit que k h (z) f (z) = g(z) + g(z) . g(z) f (z) za h(z) Puisque h(a) = 0, g h est holomorphe au voisinage de a et donc si g(a) = 0, la fonction h l = g f a une singularit illusoire en a et si g(a) = 0, la fonction l = g f a un ple f f simple en a et la partie principale de l en a est kg(a) , par consquent Res(l, a) = kg(a). za De mme si a U est un ple dordre k de f , il existe alors une fonction h holoh(z) morphe au voisinage de a telle que f (z) = (za)k et h(a) = 0 et g(z) f (z) k h (z) = g(z) + g(z) . f (z) za h(z)

On est alors ramen ltude prcdente. Le Thorme des rsidus appliqu la fonction l donne alors le rsultat puisque les zros et les ples de f ont t compts avec leur ordre de multiplicit. Remarque. On peut se passer de lhypothse de nitude sur lensemble des zros et des ples de f , car on peut sy ramener facilement. En eet limage de est un compact de U donc il existe > 0 et R > 0 tels que V = B(0, R) {z C | dist(z, C \ u) > }. Alors V V U et V tant un ouvert relativement compact de U , f|V ne possde quun nombre ni de zros et de ples dans V . De plus si a V , on a Ind (a) = 0 car / a appartient alors la composante connexe non borne de C \ car U est toil. Le Thorme de lindice permet dobtenir de nouveaux rsultats sur les suites de fonctions holomorphes. Thorme 17. Soient U un ouvert connexe de C et (fn )nN une suite de fonctions holomorphes sur U qui converge uniformment sur tout compact de U vers une fonction f. (i) Si les fonctions fn ne sannulent pas sur U alors soit f est identiquement nulle sur U , soit f ne sannule pas sur U . (ii) Si les fonctions fn sont injectives sur U alors soit f est constante sur U , soit f est injective sur U . Dmonstration : On sait daprs la section 1.3 que f est holomorphe sur U . Montrons (i). Supposons que f est nest pas identiquement nulle et que a U est un zro de f . Daprs le principe des zros isols il existe r > 0 tel que D(a, r) U et f (z) = 0, si 0 < |z a| r. Soit le cercle de centre a et de rayon r parcouru dans le (z) 1 sens direct. Daprs le Thorme de lindice, il existe k N tel que 2i f (z) dz = k f et
1 2i fn (z) fn (z)

dz = 0 pour tout n N car les fn ne sannulent pas dans U .

29

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Comme f (z) = 0 si |z a| = r, il existe A > 0 tel que |f (z)| A si |z a| = r, soit 1 1 si |z a| = r. De plus daprs le Thorme de Weierstra, la suite encore |f (z)| A (fn )nN converge uniformment sur tout compact de U , en particulier sur le cercle de fn (z) centre a et de rayon r, image de , donc la suite fn (z) converge uniformment
nN (z) vers f (z) sur le cercle de centre a et de rayon r. f Par consquent

0<k=

1 2i

1 f (z) dz = lim n 2i f (z)

fn (z) dz = 0, fn (z)

ce qui est impossible. Prouvons (ii) maintenant. Supposons que f nest pas constante et quil existe des points a et b de U tels que f (a) = f (b). Soient Da et Db des disque ouverts de centre respectif a et b, contenus dans U et disjoints. Puisque f f (a) nest pas identiquement nulle sur Da , car f nest pas constante, il rsulte de (i) quil existe une suite extraite (f(n) )nN de la suite (fn )nN telle que f(n) f (a) ait un zro dans Da pour tout n N. De mme une nouvelle extraction donne lexistence dune suite extraite (f(n) )nN de la suite (fn )nN telle que f(n) f (b) ait un zro dans Db pour tout n N. Comme Da et Db sont disjoints, les fonctions f(n) ne sont donc pas injectives puisque f (a) = f (b), ce qui contredit lhypothse. Thorme 18 (de Rouch). Soient U un ouvert convexe ou toil de C, f et g des fonctions holomorphes sur U et un chemin ferm de classe C 1 par morceaux dans U dimage . On suppose que les conditions suivantes sont vries : (i) la fonction f (resp. g) na quun nombre ni a1 , . . . , am (resp. b1 , . . . , bn ) de zros dans U compts avec leur ordre de multiplicit, (ii) pour tout z , on a |f (z) g(z)| < |f (z)|, alors m Ind (ak ) = n Ind (bj ). j=1 k=1 Prouvons tout dabord le lemme suivant : Lemme 3. Soient ([, ], ) et ([, ], ) deux chemins ferms de classe C 1 par morceaux contenus dans un ouvert U de C, vriant |(t) (t)| < |(t)| pour tout t [, ]. Alors Ind (0) = Ind (0). Dmonstration : Remarquons que la condition |(t) (t)| < |(t)| pour tout t [, ] implique que 0 nappartient ni limage de ni limage de et donc que les indices Ind (0) et Ind (0) ont un sens. Posons = , alors = . Lhypothse implique |1 (t)| < 1 pour tout t [, ] et donc limage de est contenue dans le disque de centre 1 et de rayon 1. Par consquent 0 appartient la composante connexe non borne de C \ Im et donc Ind (0) = 0, do

2i Ind (0) =

(t) dt = (t)

(t) dt (t) 30

(t) dt = 2i(Ind (0) Ind (0)) = 0, (t)

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Figure 9 Deux chemins ferms tels que |(t) (t)| < |(t)|. ce qui prouve le lemme. Dmonstration : [du Thorme de Rouch] Lhypothse implique que si z , f (z) = 0 et g(z) = 0 et que si t [, ] on a |f (t) g (t)| < |f (t)|. En appliquant le lemme 3 on obtient Indf (0) = Indg (0). Mais daprs le Thorme de lindice,
m

Indf (0) =
k=1

Ind (ak )
m

et Indg (0) =

Ind (bj ),
j=1

do le rsultat. Nous en dduisons facilement le corollaire suivant : Corollaire 10. Soit U un ouvert de C, a un point de U et r un rel strictement positif tels que D(a, r) U . Soient f et g deux fonctions holomorphes sur U vriant |f (z) g(z)| < |f (z)| pour tout z tel que |z a| = r, alors f et g ont le mme nombre de zros compts avec leur ordre de multiplicit dans le disque de centre a et de rayon r. Comme application de ce corollaire nous pouvons donner une nouvelle dmonstration du Thorme de dAlembert. Soit P (z) = a0 + a1 z + + am z m , un polynme de degr m > 0. On pose f (z) = am z m et g(z) = P (z) f (z). Puisque g est polynme de degr m 1, il existe R > 0 tel 31

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

que pour |z| > R on ait |g(z)| < |f (z)|. Par consquent f et P = f + g ne sannulent pas pour |z| R et daprs le corollaire 10 f et P ont le mme nombre de zros dans le disque de centre 0 et de rayon R, soit m. Le polynme P possde donc exactement m racines dans C. tude locale des applications holomorphes Dans cette partie nous allons prciser grce au Thorme de lindice les proprits locales des fonctions holomorphes que nous avons dj dmontres comme le Thorme de lapplication ouverte et le Thorme dinversion locale. Thorme 19. Soit f une fonction holomorphe sur un voisinage dun point z0 de C et non constante. Soit k lordre de la premire drive non nulle de f en z0 (k nest autre que la multiplicit de z0 comme racine de lquation f (z) f (z0 ) = 0). Il existe alors un voisinage ouvert U de z0 et un voisinage ouvert V = f (U ) de f (z0 ) tels que pour tout w V , distinct de f (z0 ), il existe k point distincts z1 , . . . , zk dans U tels que f (zj ) = w pour tout j = 1, . . . , k. Dmonstration : Par le principe du prolongement analytique, les drives de f en z0 ne peuvent pas tre toutes nulle car f nest pas constante, il existe donc k tel que f (k) (z0 ) = 0 et f (j) (z0 ) = 0 si 0 j k 1. Comme les zros de f et de f f (z0 ) sont isols, il existe r > 0 tel que le disque ferm D(z0 , r) de centre z0 et de rayon r soit contenu dans le domaine de dnition de f et tel que f (z) = 0 et f (z) = f (z0 ) pour tout z D(z0 , r) \ {z0 }. Soit le cercle de centre z0 et de rayon r orient dans le sens direct. Daprs le Thorme de lindice on a f (z) 1 dz = Indf (f (z0 )) = k. 2i f (z) f (z0 ) Soit V la composante connexe de C \ Im f qui contient f (z0 ), cest un voisinage ouvert de f (z0 ) dans C. Soit U = D(z0 , r) f 1 (V ), cest un ouvert de cb car f est continue et de plus z0 U car f (z0 ) V . Puisque lindice w Indf (w) est constant sur la composante connexe V de C \ Im f qui contient f (z0 ), on a Indf (w) = k pour tout w V . Daprs le Thorme de lindice, lquation f (z) = w admet donc k solutions dans D(z0 , r) pour w V . Ces solutions sont distinctes pour w = f (z0 ) puisque f (z) = 0 dans D(z0 , r) \ {z0 }. On a donc f (U ) = V et le Thorme est dmontr. Corollaire 11 (Thorme de lapplication ouverte). Toute fonction holomorphe non constante dnie sur un ouvert connexe U de C est une application ouverte. Remarque.

32

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

1. Notons que lhypothse de connexit de U dans le Thorme de lapplication ouverte est ncessaire. En eet si U nest pas connexe alors U = U1 U2 , o U1 et U2 sont deux ouverts de C dintersection vide, et la fonction f dnie par f 0 sur U1 et f 1 sur U2 est holomorphe non constante sur U mais elle ne dnit pas une application ouverte. 2. Dans la section 1.3 nous avons dduit le Thorme de lapplication ouverte du principe du maximum. Remarquons ici que le principe du maximum est une consquence du Thorme de lapplication ouverte. En eet supposons que f soit une fonction holomorphe sur un ouvert connexe U de C et que |f | possde un maximum relatif en z0 U . Considrons un voisinage connexe V de z0 dans U tel que pour tout z V on ait |f (z)| < |f (z0 )|. Supposons que f ne soit pas constante sur V , alors, daprs le Thorme de lapplication ouverte, f (V ) est un ouvert de C contenu dans le disque ferm de centre 0 et de rayon |f (z0 )|, il est donc ncessairement contenu dans le disque ouvert ce qui est absurde. Par consquent f est constante sur V et U tant connexe f est constante sur U par le principe du prolongement analytique. Corollaire 12. Soient U un ouvert de C et f une fonction holomorphe sur U . Si f est injective sur U alors f (z) = 0 pour tout z U . Dmonstration : Si en un point z0 de U on a f (z0 ) = 0, la fonction f nest pas injective au voisinage de z0 daprs le Thorme 19. Remarque 1. La rciproque du corollaire 12 est fausse : la fonction exponentielle est telle que f (z) = ez = 0 pour tout z C, mais elle nest pas injective puisquelle est priodique de priode 2i 2. Le corollaire 12 est faux pour les fonctions dune variable relle : la fonction f (x) = x3 est injective sur R et pourtant f (0) = 0. Terminons en donnant une dmonstration directe (sans passer par le calcul direntiel) du Thorme dinversion locale pour les fonctions holomorphes. Thorme 20 (dinversion locale). Soient U un ouvert de C, z0 un point de U , f une fonction holomorphe sur U et w0 = f (z0 ). Si f (z0 ) = 0, il existe des voisinages ouverts V de z0 et W de w0 tels que f soit une bijection de U sur V et lapplication rciproque g = f 1 de W dans V est holomorphe. Dmonstration : Lexistence de V , W et de f 1 rsulte du Thorme 19 et f ne sannule pas sur V . La fonction g = f 1 est continue car f est ouverte. Montrons que g est C-drivable et donc holomorphe sur W . Soit w1 V x, pour tout w W on a g(w) g(w1 ) g(w) g(w1 ) = . w w1 f (g(w)) f (g(w1 )) 33

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

La continuit de g en w1 implique que si w tend vers w1 alors g est C-drivable en w1 1 et g (w1 ) = f (g(w1 )) . Grce au Thorme de lindice, sous les hypothses du Thorme 19, on peut expliciter lapplication g inverse locale de f laide dune formule intgrale. Formule dinversion locale. Considrons U et V les voisinages de z0 et de w0 = f (z0 ) du Thorme 19 et supposons que k = 1 (i.e. f (z0 ) = 0). Daprs le Thorme de lindice, la solution z = g(w) de lquation f (z) = w, pour w V est donne par g(w) = 1 2i zf (z) dz, f (z) w

o est le bord du disque de centre z0 et de rayon r introduit dans la dmonstration du Thorme 19. Plus gnralement, pour toute fonction h holomorphe sur U , on a h(g(w)) = 1 2i h(z)f (z) dz. f (z) w

La formule intgrale donnant g(w) permet galement de prouver directement que w g(w) est holomorphe sur V .

1.6

Thorie de Cauchy globale

Thorme de Cauchy global Soient 1 , . . . , n des chemin de classe C 1 par morceaux dans C dimage respectives 1 , . . . , n et = n i . On dnit la chane comme la somme formelle = 1 + i=1 + n et on pose pour toute fonction f continue sur
n

f (z) dz =
i=1 i

f (z) dz.

Si chacun des i est ferm, on dit que est un cycle. Notons quune chane peut tre reprsente de plusieurs manires comme somme de chemins : 1 + + n = 1 + + n signie que
n n

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

f (z) dz

si f est continue sur (n i ) (n i ). En particulier un cycle peut tre reprsent i=1 i=1 par une somme de chemins qui ne sont pas tous ferms, mais il possde au moins une reprsentation en somme de chemins ferms. 34

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Si est un cycle et si , on dnit lindice de par rapport par / Ind () = 1 2i dz . z

Si chacun des chemin i qui apparaissent dans une dcomposition de est ferm alors Ind () = n Indi (). i=1 Si dans la dnition de on remplace chacun des chemins i par le chemin oppos on obtient une nouvelle chane note et on a f (z) dz = f (z) dz pour toute fonction f continue sur et en particulier Ind () = Ind (). De plus si = 1 + + n et = 1 + + n sont deux chanes on dnit de manire naturelle + par + = 1 + + n + 1 + + n . On a alors f (z) dz =
+

f (z) dz +

f (z) dz.

Nous sommes maintenant en mesure dnoncer le Thorme de Cauchy sous sa forme globale : Thorme 21 (de Cauchy global). Soient U un ouvert de C et f une fonction holomorphe sur U . Si est un cycle dimage dans U qui satisfait Ind () = 0 pour tout C \ U, alors 1 (i) f (z)Ind (z) = 2i f (w) dw pour tout z U \ ; wz (ii) f (z) dz = 0 ; (iii) Si et sont deux cycles de U tels que Ind () = Ind () pour tout C\U , on a f (z) dz = f (z) dz. Remarque. Notons que contrairement la version du Thorme et de la formule de Cauchy noncs dans la section 1.4 il ny a pas dhypothse topologique sur louvert U dans le Thorme 21, elle est remplace par une hypothse sur le cycle sur lequel se font les intgrations. Par exemple dans le cas o U = C , qui ne satisfait pas les conditions topologiques de la section 1.4, le cycle = C(0, R) dnit par le cercle de centre 0 et de rayon R > 0 parcouru une fois dans le sens direct ne satisfait pas la condition du thorme pour = 0, mais le cycle = C(0, R) C(0, R/2) satisfait la condition du Thorme 21. Nous allons donner les grandes lignes de la dmonstration. Nous nutiliserons pas la thorie des intgrales dpendant dun paramtre holomorphe tudie dans la section 1.3 et qui sappuyait sur les ingalits de Cauchy, nous dmontrerons les rsultats lis cette thorie si ncessaire en utilisant le thorme de Morera. 35

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : La fonction g dnie sur U U par f (w) f (z) si w = z wz g(z, w) = f (z) si w = z

est continue sur U U . On peut donc dnir une fonction h continue sur U en posant h(z) = 1 2i g(z, w) dw.

On veut prouver que si z U \ , (i) est satisfait, cest--dire h(z) = 0. Montrons que h est holomorphe sur U . Soit un triangle contenu dans U , alors en appliquant le thorme de Fubini puisque g est continue donc intgrable sur tout compact de U U on obtient 1 g(z, w) dw dz. h(z) dz = 2i Or pour tout w U la fonction z g(z, w) est holomorphe sur U car continue et holomorphe sauf en un point, donc g(z, w) dz = 0 et par consquent h(z) dz = 0. La fonction h est donc holomorphe sur U par le Thorme de Morera. 1 De plus h(z) = 2i f (w) dw f (z)Ind (z). wz Notons U1 = {z C | Ind (z) = 0}. On pose h(z) = 1 2i f (w) dw wz

pour z U1 . Par la mme mthode que ci-dessus on peut prouver que h1 est holomorphe sur U1 puisque (z, w) f (w) est continue sur U1 et z f (w) est holomorphe sur wz wz U1 . Comme U1 contient C \ U , on dnit une fonction holomorphe sur C en posant (z) = h(z) si z U (z) = h1 (z) si z U1 puisque h(z) = h1 (z) si z U U1 . Daprs les proprits de lindice, U1 contient la composante connexe non borne du complmentaire de , donc lim|z| (z) = lim|z| h1 (z) = 0 et en appliquant le Thorme de Liouville on obtient (z) = 0 pour tout z C, do h 0 et (i) est dmontr. On dduit (ii) de (i) de la manire suivante : choisissons a U \ et posons F (z) = (z a)f (z), alors 1 2i f (z) dz =

1 2i

F (w) dw = F (a) Ind (a) = 0. wz 36

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Finalement pour prouver (iii), il sut dappliquer (ii) au cycle . Exemple. 1- Soit U un ouvert convexe ou toil, un chemin ferm de classe C 1 par morceaux dans 1 U et U . La fonction f (z) = z est holomorphe dans U et daprs le Thorme / de Cauchy pour un ouvert convexe ou toil Ind (z) = (z) dz = 0. Lhypothse du Thorme 21 est donc satisfaite pour tout cycle lorsque U est convexe ou toil.

2- Un compact K de U dintrieur non vide et tel que K = K est un compact bord si sa frontire est forme par les images 1 , . . . , k dun nombre ni de chemins 1 , . . . , k , chaque ([ai , bi ], i ) tant un chemin ferm de classe C 1 par morceaux sans point stationnaire (i.e. pour tout t ]ai , bi [ en lequel i est drivable i (t) = 0) et sans point double (i.e. si t , t [ai , bi ] vrie t = t alors i (t ) = i (t )) et les images des i tant deux deux disjointes. Lorientation des chemins i , i = 1, . . . , k, de telle sorte que lorsque lon se dplace sur i dans le sens de lorientation le compact K se situe gauche de i . Le bord orient dun compact bord K est un cycle tel que Ind () = 0 si C\K et Ind () = 1 si K. Si D0 , D1 , . . . , Dk dsignent les composantes connexes de C \ K, le cycle scrit = 0 + 1 + + k , o les chemins j dsignent respectivement les bords des composantes connexes Dj . On suppose que D0 dsigne la composante connexe non borne de C \ K. Si D0 , Indj () = 0 pour tout j = 1, . . . , k. Si Dj , j = 1, . . . , k Ind0 () = 1 Indj () = 1 Indl () = 0 si l = j car alors est dans la composante connexe non borne de Cj .

11111111 00000000 111111 11111111 000000 00000000 111111 11111111 000000 00000000 111111 11111111 000000 00000000 111111 11111111 000000 00000000 11111111 00000000 111111111111111 000000000000000 111111111111111 000000000000000 111111111111111 000000000000000 111111111111111 000000000000000 111111111111111 000000000000000 111111111111111 000000000000000 111111111111111 000000000000000 111111111111111 000000000000000

111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000 111111111111111111 000000000000000000

Figure 10 Compacts bord. Sries de Laurent Soit (an )n Z une suite de nompbres complexes indexe par Z.

37

Maths en Ligne
+ n=1

Fonctions holomorphes an z n converge dans un disque de rayon

+ 1 , R

UJF Grenoble

Le srie entire

0. La srie

an z n =
n=1 n=1

an

1 zn

converge donc absolument pour |z| > R et mme normalement sur tout compact de 0. cet ensemble. La srie entire + an z n converge dans un disque de rayon R n=0 n Si R < R , la srie de fonctions nZ an z converge absolument dans la couronne {z C | R < |z| < R } et normalement sur tout compact de cette couronne. Cette srie de fonction sappelle la srie de Laurent associe la suite (an )n Z. Thorme 22. Soit f une fonction holomorphe dans la couronne {z C | R < |z a| < R }. Il existe une unique srie de Laurent nZ an (z a)n dont la somme est gale f dans cette couronne. De plus si r est le cercle de centre a et de rayon r orient dans le sens direct, R < r < R , on a, pour tout n Z, an = 1 2i
r

f (w) dw. (w a)n+1

Dmonstration : Soient a C, R et R des rels tels que 0 R < R + et f une fonction holomorphe dans la couronne {z C | R < |z a| < R }. Si R < R1 < R1 < R , on considre la couronne compacte K = {z C | R1 < |z a| < R1 }, cest un compact bord dont le cycle constitu par son bord est not . Pour tout z K, on a f (z) = 1 2i f (w) dw wz

daprs le Thorme 21. Puisque = 1 1 , o 1 est le chemin ferm dni par le cercle de centre a et de rayon R1 orient dans le sens direct et 1 le chemin ferm dni par le cercle de centre a et de rayon R1 orient dans le sens direct, on a en fait f (z) = 1 2i f (w) 1 dw wz 2i f (w) dw. wz

En reprenant la dmonstration du Thorme danalyticit des fonctions holomorphes, on montre que la premire intgrale a pour valeur + an (z a)n avec n=0 an = 1 2i f (w) dw . (w a)n+1

Pour la seconde intgrale, on remarque que si w Im 1 , on a |w a| < |z a|. On peut donc crire 1 1 1 + w a = = wz w a (z a) z a m=0 z a 38
m

(w a)n1 . n n=1 (z a)

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

a R R1 R 1 R
1 1

Figure 11 Couronne ouverte et couronne compacte. Puisque la srie de fonctions de terme gnral f (w)(wa) (za)n Im 1 , on peut intgrer terme terme et on trouve que 1 2i
n1

converge normalement sur

+ bn f (w) dw = n wz n=1 (z a)

1 avec bn = 2i 1 f (w)(w a)n1 dw. Pour calculer an et bn on peut remplacer les chemins 1 et 1 par nimporte quel cercle r de centre a et de rayon r, R < r < R , orient dans le sens direct car si nest pas contenu dans la couronne {z C | R < |z a| < R }

Ind1 () = Ind1 () = Indr ()

f (w) et on peut appliquer le (iii) du thorme 21 aux fonctions (wa)n+1 et f (w)(w a)n1 . On en dduit que le dveloppement obtenu est valable dans toute la couronne {z C | R < |z a| < R } et en posant ak = bk on obtient f (z) = nZ an (z a)n pour f (w) 1 tout z tel que R < |z a| < R avec an = 2i r (wa)n+1 dw pour tout n Z. Terminons en montrant lunicit du dveloppement de Laurent de f . Soient et deux nombres rels tels que R < < < R , supposons que f (z) = nZ an (z a)n pour tout z tel que < |z a| < . Puisque les sries de Laurent convergent normalement sur tout compact de leur couronne de dnition, on peut changer lintgrale et f (z) la sommation lors de lintgration de la fonction (za)k+1 sur le cercle r de centre a et de rayon r, < r < . On obtient alors pour tout k Z

ak =

1 2i

f (w) dw = ak , (w a)k+1

do lunicit du dveloppement de Laurent de f .

39

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Corollaire 13. Soient f (z) = nZ an (z a)n le dveloppement de Laurent dune fonction f holomorphe dans la couronne {z C | R < |z a| < R } et, pour r ]R, R [, M (r) = sup|z|=r |f (z)|. Pour tout n Z et tout r ]R, R [, on a alors |an |rn M (r).

Dmonstration : Cela se dduit immdiatement de la formule de reprsentation intgrale des an . Singularits isoles et dveloppement de Laurent Soient a C, r > 0 et f une fonction holomorphe dans le disque point D (a, r) = D(a, r) \ {a}{z C | 0 < |z a| < r}. Elle possde un dveloppement de Laurent f (z) = nZ an (z a)n si 0 < |z a| < r. Alors (i) Si an = 0 pour tout n < 0, a est une singularit illusoire pour f et f se prolonge holomorpiquement au disque de centre a et de rayon r par la srie n 0 an (z a)n . (ii) Sil existe p > 0 tel que ap = 0 et an = 0 si n < p, a est un ple dordre p de 1 f et la partie principale de f en a est p an (za)n . n=1 (iii) Sil existe une innit dindices n strictement ngatifs tels que an = 0, la fonction f a une singularit essentielle en a. On dit encore que n<0 an (z a)n est la partie principale de f en a. Ces trois cas reprsentant lensemble des possibilits et sexcluant mutuellement on a ainsi une caractrisation des singularits isoles dune fonction holomorphe en fonction de son dveloppement de Laurent. De plus le coecient a1 du dveloppement de Laurent de f sur D (a, r) sappelle le rsidu de f en a. Thorme 23. Soient f une fonction holomorphe dans un ouvert U de C sauf en des points singuliers isols et K un compact bord contenu dans U . On suppose que le bord de K ne contient aucun point singulier de f . Alors les points singuliers de f contenus dans K sont en nombre ni et on a f (z) dz = 2i
K j

Res(f, zj ),

o K dsigne le cycle dnit par le bord orient de K et o les zj sont les points singuliers de f contenus dans K. Dmonstration : Lensemble K tant compact, si les singularit de f contenues dans K taient en nombre inni elles auraient un point daccumulation qui ne pourrait pas tre isol. Soient z1 , . . . , zk les points singuliers de f contenus dans K. Pour j = 1, . . . , k, Dj un disque ferm de centre zj et de rayon rj assez petit pour que Dj soit contenu dans K et Dj Dl = si j = l. Soit j le cercle orient dans le sens direct bord de Dj . 40

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Posons K = K \ (D1 Dk ), K est un compact bord dont le bord orient est reprsent par le cycle K = K 1 k . On peut appliquer le (ii) du Thorme 21 la fonction f et au cycle K . On obtient f (z) dz =
K K

f (z) dz
1

f (z) dz
k

f (z) dz = 0,

do f (z) dz = 2i
K

Res(f, zj )
j=1

en calculant Dj \ {zj }.

f (z) dz laide du dveloppement de Laurent de f au voisinage de

Le thorme de lindice pour les fonctions mromorphes et le thorme de Rouch stendent galement aux compacts bord. On compte alors les zros et les ples contenu lintrieur du compact.

1.7

Topologie de H(U ) et reprsentation conforme

Rappels sur les espaces vectoriels topologiques Lobjet de cette section est de rappeler les proprits basiques des espaces vectoriels topologiques, tout particulirement lorsque la topologie est dnie par une famille de semi-normes. Soit E un espace vectoriel sur K = R ou C, on dira quune partie A de E est absorbante si pour tout x E il existe > 0 tel que x A lorsque K et || < et on dira quelle est quilibre si A A pour tout K tel que || < 1. Remarquons que si une partie A de E est absorbante alors 0 A. Dnition 16. Un espace topologique E muni dune structure algbrique despace vectoriel sur K = R ou C est un espace vectoriel topologique, en abbrg evt, si les lois dnissant la structure despace vectoriel sont continues, plus prcisment si la loi de composition interne + : E E E est continue et si la loi externe K E E est elle aussi continue lorsquon munit K de sa topologie usuelle. Puisque par dnition dans un evt les translations sont des homomorphismes, une topologie devt sur un espace vectoriel E est caractrise par la donne dun systme fondamental V(0) de voisinages de 0 et pour chaque point x E un systme fondamental de voisinage V(x) est alors donn par V(x) = {x + V | V V(0)}. Les proprits de continuit des deux lois dnissant la structure algbrique despace vectoriel impliquent que lensemble V(0) des voisinages de 0 dune topologie devt satisfait lensemble de propites (V 0) suivant : (i) Si V V(0) et si W V alors W V(0) ; (ii) Si V1 , . . . , Vn V(0) alors V1 Vn V(0) ; 41

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

(iii) Si V V(0), il existe W V(0) tel que W + W V ; (iv) Si V V(0) et si K \ {0} alors V V(0) ; (v) Si V V(0), V est absorbant ; (vi) V(0) possde un systme fondamental de voisinages quilibrs. En fait cet ensemble de proprits caractrise une topologie devt sur un espace vectoriel comme lindique la proposition suivante : Proposition 10. Soit E un espace vectoriel et V(0) un ensemble de parties de E vriant les proprits (V0), il existe alors une unique topologie sur E qui fait de E un espace vectoriel topologique, admettant pour tout x A, x + V(0) comme ensemble de voisinages de x. Dnition 17. Une application p dun espace vectoriel E sur K = R ou C valeur dans R est unesemi-norme si et seulement si (1) p(x) 0 pour tout x E et p(0) = 0 ; (2) p(x) = ||p(x) pour tout x E et tout K ; (3) p(x + y) p(x) + p(y) pour tout (x, y) E E. On obtient une topologie devt sur un espace vectoriel muni dune famille de seminormes (pi )iI en dnissant un systme fondamental de voisinages 0 en posant V(0) = {Vi, E | Vi, = {x E | pi (x) < }, i I, > 0} . Topologie de H(U ) Soit U un ouvert de C, on note C(U ) le sous espace vectoriel des applications continues de U dans C. Si K est un compact de U et si f C(U ), on pose f
K

= sup |f (z)|.
zK

On munit C(U ) de la topologie dnie par la famille des semi-normes . K , o K dcrit les parties compactes de U . Un systme fondamental de voisinages de 0 est alors fourni par les ensembles V (K, ) = {f C(U ) | f
K

< }

avec > 0 et K compact de U . Si (Kn )nN est une suite exhaustive de parties compactes de U , cest--dire une suite parties compactes telles que U = nN Kn et Kn K n+1 (il sut par exemple 1 1 de prendre Kn = {z U | d(z, C \ U ) < n } D(0, n)), la famille V (Kn , n ), n N , forme clairement un systme fondamental dnombrable de voisinage de 0, la topologie dnie par les semi-normes . K , o K dcrit les parties compactes de U est donc une topologie mtrisable et si f, g C(U ) d(f, g) = 1 min 1, f g n n=1 2 42
+ Kn

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

dnit une distance compatible avec cette topologie. Cette topologie est appele topologie de la convergence uniforme sur tout compact de U . Rappelons que C(U ), munit de cette topologie est complet. Nous allons maintenant traduire les proprits des suite de fonctions holomorphes que nous avons obtenues dans le thorme de Weierstra en termes topologiques sur le sous espace vectoriel H(U ) de C(U ) constitu des fonctions holomorphes sur U . Thorme 24. Le sous espace H(U ) de C(U ) est ferm dans C(U ) et pour tout j N, lapplication f f (j) de H(U ) dans lui-mme est continue. Le thorme dAscoli donne une caractrisation des parties compactes de C(U ). Nous allons nous intresser maintenant aux parties compactes de H(U ). Rappelons quune partie P de C(U ) est borne si et seulement si pour toute partie compacte K de U , il existe une constante MK telle que pour toute f P on ait f K < MK . On dduit alors aisment des ingalits de Cauchy la proposition suivante : Proposition 11. Soit K un compact de U , r > 0 un nombre rel tel que pour tout a K le disque ferm D(a, r) soit contenu dans U et X = aK D(a, r). Alors, pour tout k N et toute f H(U ), on a 1 (k) f k!
k

1 f rk

X.

En particulier si P est une partie borne de H(U ), il en est de mme de {f (j) , f P} pour tout j N. On dit quune partie P de C(U ) est quicontinue en un point z0 de U si et seulement si pour tout > 0 il existe > 0 tel que pour toute f P et tout z U tel que |z z0 | < on a |f (z) f (z0 )| < . La partie P est quicontinue sur U si et seulement si elle est quicontinue en tout point de U . Ces dnitions tant prcises nous pouvons rappeler lnonc du Thorme dAscoli. Thorme 25 (dAscoli). Pour quune partie P de C(U ) soit relativement compacte pour la topologie de la convergence uniforme sur tout compact de U il sut que P soit quicontinue et borne. Le thorme de Montel va prouver quen raison des ingalits de Cauchy la caractrisation des parties compactes de H(U ) est plus simple que celle des parties compactes de C(U ) et comparable la situation de la dimension nie. Thorme 26 (de Montel). Pour quune partie P de H(U ) soit relativement compacte pour la topologie de la convergence uniforme sur tout compact de U il faut et il sut que P soit borne. 43

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : Montrons tout dabord la condition ncessaire. Raisonnons par labsurde et supposons que P nest pas borne. Il existe alors un compact K de U tel que, pour tout n N, il existe une fonction fn P telle que fn n et nous obtenons ainsi une suite de fonctions de P qui ne possde aucune sous suite convergeant uniformment sur K. La partie P nest donc pas relativement compacte dans H(U ). Pour la condition susante, il sut, par le Thorme dAscoli, de vrier que si P est borne elle est aussi quicontinue. Supposons que P est borne et prouvons que P est quicontinue au voisinage de tout point z0 de U . Soient D = D(z0 , R) et D = D(z0 , R + ), > 0, deux disques de centre z0 tels que D D U . Grce aux ingalits de Cauchy, pour toute f H(U ), on a f
D

1 f

Notons = supf P f D . Alors, pour toute f P, on a f |D M (D) < +, puisque P est borne. Si z et z sont deux points de D et si t [0, 1] alors tz + (1 t)z D car D est convexe. Pour f P, posons (t) = f (tz + (1 t)z ), alors est de classe C 1 sur U et (t) = (z z )f (tz + (1 t)z ), de plus par le Thorme des accroissements nis |f (z) f (z )| = |(1) (0)| |z z | f
D

M (D) .

On en dduit que f est lipschitzienne et que on remarque que la constante de Lipschitz ne dpend pas du choix de f dans P, par consquent P est quicontinue sur D. Thorme de la reprsentation conforme de Riemann Le but de cette section est de prouver que tout domaine toil de C distinct de C est biholomorphe au disque unit. Il sagit dun cas particulier du Thorme de la reprsentation conforme de Riemann qui arme que tout domaine simplement connexe de C, cest--dire sans trou ou plus prcisment tel que son complmentaire ne possde aucune composante connexe borne, distinct de C est biholomorphe au disque unit. On note D = D(0, 1) le disque de centre 0 et de rayon 1 de C. z Remarquons que C, bien quhomomorphe D (par lapplication z 1+|z| ), nest par biholomorphe D. En eet si f est une application holomorphe de C dans D, f est borne et donc constante par le Thorme de Liouville et par consquent elle ne peut pas tre injective. Commenons par dmontrer quelques proprits des applications holomorphes de za D dans D. Si a C, on pose a (z) = 1az . Notons que si a D, la fonction a est dnie et holomorphe sur D. Proposition 12. Une application de D dans D est un automorphisme de D, cest-dire une application bijective et biholomorphe de D dans lui-mme, si et seulement si il existe a D tel que = a avec || = 1. 44

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Dmonstration : Montrons tout dabord que a (D) D. Pour z = eit , t R on a |eit a| |eit a| = it = 1. a (e ) = |1 aeit | |e a|
it

Par le principe du maximum on a donc a (D) D. Remarquons que a a = Id, donc par le thorme dinversion locale a est un automorphisme de D, de plus a (a) = 0. Soit g un automorphisme de D, on se ramne au cas o g(0) = 0 en remplaant g par h = g(0) g. On peut donc appliquer le Lemme de Schwarz h et h1 , on obtient ainsi pour tout z D, |h(z)| |z| |h(z)|, soit |h(z)| = |z| et encore une fois par le Lemme de Schwarz h(z) = z avec || = 1. Si g(0) = a, on a donc a g(z) = z avec || = 1, do g(z) = a (z) = avec b = a. Lemme 4. Soit f une fonction holomorphe dans D non injective et vriant f (D) D, alors |f (0)| < 1 Dmonstration : Posons a = f (0), alors la fonction g = a f est non injective et vrie g(D) D et g(0) = 0. En appliquant le Lemme de Schwarz g on obtient |g (0)| < 1 (si on avait |g (0)| = 1, on aurait g(z) = z avec || = 1 et g serait injective), soit 1 |a (a)f (0) < 1, cest--dire 1|a|2 |f (0)| < 1 et ainsi |f (0)| < 1 |a|2 < 1. Thorme 27. Soit U un ouvert connexe de C distinct de C. On suppose que pour tout fonction f holomorphe sur U , ne sannulant pas sur U , il existe une fonction g holomorphe sur U telle que f = g 2 . Alors louvert U est biholomorphe D. Dmonstration : On dsigne par P le sous ensemble de H(U ) constitu des applications f injectives de U dans D. La dmonstration se divise en trois grandes tapes Premire tape. Montrons que P nest pas vide. Nous allons construire une application g holomorphe, injective sur U dont limage g(U ) vite un disque ferm D(c, r) de centre c et de rayon r > 0, ainsi pour tout z U nous aurons |g(z) c| > r et en r posant f (z) = g(z)c nous dnirons une fonction holomorphe sur U , injective et telle que |f (z)| < 1 pour tout z U , soit f (U ) D. Une telle fonction f sera un lment de P. Fixons a C \ U , la fonction z z a est holomorphe dans U et ne sannule pas, il existe donc une fonction g holomorphe dans U telle que (g(z))2 = z a pour tout z U . Notons que g ainsi dnie est injective puisque, si z, w U , g(z) = g(w) alors en levant au carr z a = w a, soit z = w. Notons galement que si g(z) = g(w) alors en levant au carr on obtient encore z a = w a, soit z = w. Puisque la 45 z + a z + a = = b (z) 1 + az 1 + az

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

fonction g ne sannule pas on dduit de cette dernire assertion que si x g(U ) alors x g(U ). / Par ailleurs lapplication g est holomorphe sur U , qui est connexe, et non constante donc ouverte et par consquent il existe b C et r > 0 tel que le disque ferm D(b, r) soit contenu dans g(U ). La remarque prcdente implique donc que g(U )D(b, r) = et donc c = b convient et nous avons construit la fonction g cherche.
g(U)

Figure 12 Le domaine g(U ) ne rencontre ni lorigine, ni D(b, r). Deuxime tape. Montrons que si z0 est un point de U et si f P nest pas surjective, il existe h P telle que |h (z0 )| > |f (z0 )|. Puisque f nest pas surjective, il existe a D \ f (U ) et en composant par lautomorphisme a de D nous obtenons une application a f P qui ne sannule pas sur U . Notons lapplication de C dans C dnie par (z) = z 2 . Par hypothse il existe alors une fonction g holomorphe dans U telle que = a f . Lapplication g est clairement injective et satisfait g(U ) D. Posons b = g(z0 ) et h = b g. La fonction h est clairement un lment de P et h(z0 ) = 0. Posons = a b , alors f = a g = a b b g = h et f (z0 ) = (0)h (z0 ). Lapplication est holomorphe, non injective de D dans D, car nest pas injective, donc par le Lemme 4 on a (0) < 1. De plus f tant injective, f (z0 ) = 0 et par consquent |h (z0 )| > |f (z0 )|. Troisime tape. Soit z0 un point de U , montrons quil existe f P telle que |f (z0 )| = sup{|g (z0 )|, g P} et quune telle fonction f dnit un isomorphisme de U sur D. Lensemble P est une partie borne de H(U ) puisque si f P alors f (U ) D (en eet pour tout f P et tout z U , on a |f (z)| < 1). On dduit alors des ingalits de Cauchy que M = sup{|f (z0 )|, f P} < +, de plus les lment de P tant des fonctions holomorphes, injectives on a M > 0. On peut donc considrer une suite (fn )nN dlments de P telle que la suite de nombres rels (|fn (z0 )|)nN converge vers M . Puisque P est borne, donc relativement compacte par le Thorme de Montel, quitte extraire, on peut supposer que la suite (fn )nN converge uniformment sur tout compact de U vers une fonction f holomorphe sur U et telle que |f (z0 )| = M 46

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

par le Thorme de Weierstra. Comme M = 0, la fonction f nest pas constante et le Thorme 17 implique que f est injective puisque les fn le sont. Montrons que f (U ) D, ce qui implique que f P. Par dnition des lments de P, pour tout n N, fn (U ) D et par consquent en tant que limite de la suite (fn )nN la fonction f vrie f (U ) D, mais la fonction f ntant pas constante elle est ouverte et donc f (U ) D. Puisque f P et |f (z0 )| = M , il rsulte de la seconde tape que f qui est une application holomorphes injective de U dans D est de plus surjective. Le Thorme dinversion locale prouve alors que f est un isomorphisme de U sur D. Proposition 13. Soit U un ouvert connexe de C tel que toute fonction holomorphe sur U admet une primitive U . Alors si f est une fonction holomorphe sur U qui ne sannule pas sur U , il existe une fonction g holomorphe sur U telle que eg = f. De plus pour tout k N , il existe une fonction h holomorphe sur U telle que hk = f . Dmonstration : Supposons quil existe une fonction g holomorphe sur U telle que eg = f , alors g f = f . Puisque f ne sannule pas la fonction f est holomorphe sur f U et par hypothse possde une primitive dans U . Soient z0 un point de U et w C tel que ew = f (z0 ), notons g la primitive de f qui prend la valeur w en z0 , elle vrie f eg = f . g Pour k N , la fonction h = e k est holomorphe sur U et vrie hk = f . Le Thorme 27 et la Proposition 13 donnent le rsultat suivant : Corollaire 14. Tout ouvert connexe de C sur lequel toute fonction holomorphe admet une primitive, en particulier tout ouvert convexe ou toil, distinct de C est biholomorphe au disque unit.

47

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

2
2.1

Entranement
Vrai ou faux

Vrai-Faux 1. Soit f une fonction holomorphe sur C. On note P et Q les deux applications de R2 dans R qui (x, y) R2 associent P (x, y) = Re f (x + iy) et Q(x, y) = Im f (x + iy) . Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1. 2. 3. 4. 5. 6. P et Q sont continment direntiables. P et Q sont holomorphes. Q P = x x P Q = x y Q P = y x P Q = x x

Vrai-Faux 2. Soit f une fonction holomorphe non constante sur C. Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1. 2. 3. 4. 5. 6. 7. |f |2 est holomorphe sur C f 2 est holomorphe sur C Re f + i(Re f )2 est holomorphe sur C f est holomorphe sur C
1 f2 1 f2 2

est holomorphe sur C est bijective sur C

il existe un ouvert de C sur lequel f est bijective

Vrai-Faux 3. On note 1 , 2 et 3 les chemins dnis sur [0, ] par : 1 (t) = eit , 2 (t) = eit , 3 (t) = ei(t+) .

On note 1 , 2 , 3 les images respectives de 1 , 2 , 3 . Soit f une fonction holomorphe sur C. Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1. 2. 1 et 2 sont des chemins quivalents 2 et 3 sont des chemins quivalents 48

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

3. 4. 5.

1 = 2 1 = 3 f (z) dz =
1 3

f (z) dz f (z) dz
2

6.
1

f (z) dz = f (z) dz =
1 3

7.

f (z) dz

Vrai-Faux 4. On note le chemin de [0, 2] dans C qui t associe e4it si t [0, ], et 2 e2it si t [, 2]. Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1. 2. 3. 4. 5. 6. 7. Lindice de par rapport 1 vaut 1 Lindice de par rapport 1 nest pas dni Lindice de par rapport 1 + i est nul Lindice de par rapport 2 vaut 1 Lindice de par rapport 0 vaut 1 Lindice de par rapport Lindice de par rapport
1+i 2 3i 2

vaut 2 vaut 1

Vrai-Faux 5. On note le chemin de [0, 2] dans C qui t associe e4it si t [0, ], et 2 e2it si t [, 2]. Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1 d = 2 1. 1 2. d = 4i 1 3. d = 2i 2 1 d = 0 4. +2 1 5. d = 2i 1+i 1 6. d = 0 2+i Vrai-Faux 6. Pour a C et r > 0, on note D(a, r) le disque ouvert de centre a et de rayon r : D(a, r) = {z C , |z a| < r}. On note f la fonction qui z associe 1 f (z) = z2 2z . Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 49

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

1. 2. 3. 4. 5. 6. 7.

La fonction f est holomorphe sur C La fonction f est holomorphe sur D(1, 1) La fonction f est holomorphe sur D(1 + i, 2) La fonction f est holomorphe sur D(i, 2) La fonction f est mromorphe sur C Le rsidu de f en 0 est Le rsidu de f en 2 est
1 2 1 2 1 . 2zz 2

Vrai-Faux 7. On note f la fonction qui z associe f (z) = chemins de [0, 2] dans C qui t associent 1 (t) = e2it ; 2 (t) = 2 eit ; 3 (t) =

On note 1 , 2 , 3 les

e4it si t [0, ] 2it 2e si t [, 2] .

Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1. 2. 3. 4. 5. Le rsidu de f en 0 est 1 2 Le rsidu de f en 2 est 1 2 Lintgrale de f sur 1 est 2i Lintgrale de f sur 2 est 2i Lintgrale de f sur 3 est i

Vrai-Faux 8. Soit f une fonction holomorphe sur C. Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1. 2. 3. 4. 5. 6. 7. Si |f | est borne, alors f est constante. Si Re f est borne, alors f est constante. Si Re f sannule sur le segment [0, 1], alors f est identiquement nulle. Si |f | sannule sur le segment [0, 1], alors f est identiquement nulle. Si Re f admet un maximum, alors f est identiquement nulle. Si |f | admet un maximum relatif sur le disque ouvert D(0, 1), alors f est constante. Limage par f du disque ouvert D(0, 1) est un ouvert de C.

Vrai-Faux 9. Soit f une fonction holomorphe sur C. On note D(0, 1) le disque ouvert de centre 0 et de rayon 1. Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ? 1. 2. Si pour tout t [0, 2], |f (eit )| < 1, alors f a exactement un zro dans D(0, 1). Si pour tout t [0, 2], |f (eit ) e2it | < 1, alors f a au moins deux zros distincts dans D(0, 1). 50

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

3. 4. 5.

Si pour tout t [0, 2], |f (eit ) e2it | < 1, alors f a deux zros distncts ou bien un zro double dans D(0, 1).
1 Si pour tout t [0, 2], |f (eit ) e2it 1 | < |e2it + 4 |, alors f ne sannule pas 4 dans D(0, 1).

Si pour tout t [0, 2], |f (eit ) e2it 4| < |e2it + 4|, alors f ne sannule pas dans D(0, 1).

1 Vrai-Faux 10. On note f la fonction qui z associe sin(z) . On note le chemin 1 de [ 1 , 11 ] dans C qui t associe t + i cos(t) si t [ 2 , 5 ], 5 t + i cos(t) si 2 2 2 5 11 t [ 2 , 2 ]. Parmi les armations suivantes lesquelles sont vraies, lesquelles sont fausses et pourquoi ?

1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.

La fonction f est holomorphe sur C La fonction f est holomorphe sur le demi-plan {z C , Im z > 0} La fonction f est mromorphe sur C Lensemble des ples de f est Z Pour tout n Z, le rsidu de f en n est 1 Pour tout n Z, le rsidu de f en 2n est Lindice de en 0 est 1 Lindice de en 1 est 1 Lintgrale de f sur est 3i Lintgrale de f sur est 6i
1

Pour tout n Z, lindice de en 2n est 1

2.2

Exercices

Exercice 1. Soit un nombre complexe. 1. Dterminer le rayon de convergence R (ventuellement inni) de la srie entire k k 0 (on discutera suivant les valeurs k=0 ak z o a0 = 1 et ak+1 = k+1 ak pour k de ). On note DR le disque de convergence de cette srie et, si z DR , on note

f (z) =
k=0

ak z k .

2. On suppose dans cette question que N. Dterminer f . 3. Pour z DR , comparer (1 + z)f (z) et f (z). 4. Pour z DR (C\{x R | x 1}), comparer f (z) et g(z) = exp( log(1+z)). Ici log dsigne la dtermination principale du logarithme complexe.

51

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

5. En dduire que f se prolonge de manire unique en une fonction analytique dans C \ {x R | x 1}. Calculer la valeur de cette fonction en z = 1 + i si = i. Existe-t-il des valeurs de ( N) pour lesquelles f se prolonge en une fonction / analytique dans C \ {1} ? Exercice 2. Pour chacun des couples (, f ) suivants, calculer

f (z) dz.

1. [0, ] C t eit 2. [0, 1] C t 1 + it 3. R C t 1 + it 4. R C t t + i

+

f C C 1 z z

f C C z z 2

f C C z e|z| f C C z ez

Exercice 3. Pour chacun des chemins ferms suivants : [0, 2] C t eit [0, 2] C t eit [0, 4] C t eit

[0, 4] C t 1 + i(t 1) t 3t+i i(4 t)

si si si si

0 1 2 3

t t t t

1 2 3 4

1. Dcrire limage de . 2. Donner les valeurs de Ind (z), pour tout z C \ . 3. Pour chacune des fonctions suivantes : f : Calculer

1 ; 1+i 2

f :

; 1+i 2

f :

1 ( 1+i )2 2

f () d

Exercice 4. Soit un chemin ferm dans C de classe C 1 par morceaux. Soient a et b deux points distincts de C non situs sur limage de . 52

Maths en Ligne

Fonctions holomorphes
dz (za)(zb)

UJF Grenoble

1. Calculer lintgrale rapport b.

en fonction de lindice de par rapport a et par

2. Que peut-on dire de la valeur de lintgrale lorsquil existe un chemin passant par a et b et ne rencontrant pas ? 3. En dduire la valeur de lintgrale 4. Calculer directement lintgrale
dz (za)2 . dz (za)2 .

Exercice 5. On dsigne par log la dtermination principale du logarithme. On rappelle que sa restriction R concide avec le logarithme nprien que lon notera galement + log. On considre lintgrale I=
0
2

log(cos ) d.

1. Montrer que lintgrale I est bien dnie. 2. Montrer que la fonction

log z z1

est holomorphe sur C\] , 0].

3. Soit le chemin ferm contenu dans le demi-plan P = {z C | Re z > 0} qui borde le disque de centre 1 et de rayon 1 priv du disque de centre 0 et de rayon . Calculer log z dz. z 1 4. On note la partie du chemin contenue dans le cercle de centre 0 et de rayon . Montrer que lim0 log z dz = 0. z1 5. Soit C le chemin dni par z = 1 + eit pour t [ + , ]. Calculer |1 + ei() |. En dduire que lim0 C log z dz existe et donner sa valeur. z1 6. Dduire de ce qui prcde la valeur de lintgrale I. Exercice 6. Soit R un rel strictement positif et S(R) = {z C | z = rei , 0 r R, 0 } 4

le secteur de centre 0, de rayon R et dangle , on note (R) le chemin ferm de classe 4 C 1 par morceaux dni par le bord orient du secteur S(R). 2 En intgrant la fonction eiz sur le chemin (R) montrer que
0

cos x2 dx = lim

R 0

cos x2 dx

et que
0

sin x2 dx = lim

R 0

sin x2 dx

existent et calculer leurs valeurs. 53

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Exercice 7. Soient P un polynme de degr n : P (w) = a0 wn + a1 wn1 + + an , a0 = 0, et L loprateur linaire coecients constants reproduisant ceux de P . On considre lquation direntielle : Lu = a0 u(n) + a1 u(n1) + + an u = 0. Soient D un ouvert de C et un chemin ferm de classe C 1 par morceaux contenu dans D, dont limage ne contient aucun zro de P .
f 1 1. Soit f une fonction holomorphe sur D. Montrer que u(z) = 2i P (w) ewz dw est (w) une fonction entire et exprimer Lu laide dune intgrale le long de . Calculer Lu (i) si D est toil ; (ii) si f est la restriction D dune fonction entire ; (iii) si lindice de par rapport tout point z du complmentaire de D dans C est nul.

2. Soit w0 C \ et p un entier suprieur ou gal 1. Calculer uk (z) = 1 2i ewz dw, pour k = 1, 2, . . . , p. (w w0 )k

On suppose que w0 est un zro dordre p de P . Montrer que lon obtient ainsi p solutions de lquation direntielle Lu = 0 en appliquant la question 1 des fonctions f que lon prcisera. Exercice 8. tant donn ]0, [, on note le chemin [, ] C dni par () = ei . Soit la fonction dnie sur le complmentaire de limage de par (z) = 1 2i w dw. wz

1. Montrer que est holomorphe sur C \ . 2. crire (a) le dveloppement de Laurent de (z) pour |z| > 1, (b) le dveloppement de Taylor en 0 de (z) pour |z| < 1, 3. Dterminer lim (z) et montrer que cette limite est uniforme sur tout compact qui ne rencontre pas le cecle |z| = 1. En dduire lim (z) pour |z| = 1. Cette limite est-elle uniforme sur tout compact qui ne rencontre pas le cercle |z| = 1 ?

54

Maths en Ligne

Fonctions holomorphes

UJF Grenoble cos }, dorigine ei 1} et le second dans

4. Soient et deux arcs de cercle du demi-plan {Rez et dextrmit ei , le premier trac dans {z C | |z| {z C | |z| 1}.

e i 0 ei

1 (a) Comparer (z) et 2i 1 comparer (z) et 2i

w wz dw pour |z| < 1 ; w wz dw pour |z| > 1. |z|<1

(b) En dduire lexistence de limz1, leur dirence.

(z) et limz1,

|z|>1

(z) et trouver

5. crire (z) sous la forme dune intgrale. Montrer que se prolonge C en une fraction rationnelle. Quels sont ses ples ? Expliciter le calcul pour = . 2 En dduire le rayon de convergence du dveloppement de Taylor de en un point z0 et en particulier le rayon de convergence du dveloppement obtenu / au 1.b. Exercice 9. Soit f une fonction holomorphe dans le disque point D (0, 1) = D(0, 1) \ {0} de centre 0 et de rayon 1. On suppose que f na pas de zros dans D (0, 1). 1. (a) Donner un exemple dune fonction de ce type telle que en 0.
f f

ait un ple simple

(b) Donner un autre exemple tel que f ait un ple multiple dordre m > 1 en f 0 et tel que f ait un point singulier essentiel en 0. 2. Soit N Z un entier relatif non nul. Montrer quil nexiste pas de fonction holomorphe h dans D (0, 1) telle que z N = eh dans D (0, 1).

55

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

3. On considre la fonction holomorphe f sur D (0, 1) et son dveloppement de f Laurent dans D (0, 1) : f = an z n . f nZ (a) Montrer que a1 est un entier relatif. (b) Montrer quil existe un entier N et une fonction g holomorphe dans D (0, 1) tels que f = z N eg dans D (0, 1) et que cette factorisation est unique un multiple entier de 2i prs pour g. 4. Discuter la nature de la singularit de singularit de g en 0 et de lentier N .
f f

en 0 en fonction de la nature de la

Exercice 10. On considre un ouvert connexe D de C et une fonction g holomorphe sur = D \ {a1 , a2 , , an }. On cherche les fonctions F qui vrient les conditions suivantes : (*) F holomorphe sur et pour tout z F (z) g(z)F (z) = 0. 1. est-il connexe ? (On pourra utiliser la connexit par arcs). 2. Soit F une solution de (*). (a) Montrer que si F admet un zro dans alors F est identiquement nulle dans . (b) Soit F0 une solution non identiquement nulle. Montrer que toutes les solutions de E sont de la forme F0 o C. 3. On suppose que g admet une primitive sur . Montrer que (*) admet une solution de la forme F (z) = eG(z) . Trouver explicitement toutes les solutions de (*) si g(z) = z12 et = C \ {0}. Quel type de singularit les solutions prsentent-elles en 0 ? 4. Soit une fonction holomorphe sur D ayant comme zros dans D lensemble {a1 , a2 , , an }. On suppose que g = . Donner la forme des solutions de (*). m En dduire les solutions de (*) dans le cas o g(z) = za o m Z, a C et = C \ {a}. 5. On suppose maintenant que D est un disque de C et Res(g, ak ) = mk Z pour 1 k n. On considre la fonction
n

h(z) = g(z)
1

mk . z ak

Montrer que h possde une primitive dans . En dduire la fome gnrale des solutions de (*). 56

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Exercice 11. Soient f et g deux fonctions holomorphes dans C tout entier telles que |f | |g|. Montrer quil existe une constante C telle que f = Cg. Exercice 12. On note le disque unit de C. Soit f une fonction holomorphe sur un 2 et ouvert contenant le disque unit ferm telle que, pour tout z , |f (z)| qui vrie f (0) = 1. La fonction f sannule-t-elle dans ? Exercice 13. 1. Soit U un ouvert born de C et f une fonction holomorphe sur U . Supposons quil existe une constante M telle que pour tout point z0 de la frontire de U , lim sup |f (z)|
zz0

M.

Montrer que |f (z)|

M pour tout z U .

Exercice 14. Soit f une fonction holomorphe sur le disque D(0, R) de centre 0 et de rayon R > 0 de C. On suppose que f possde un zro dordre k lorigine et que |f | est major par une contante M sur D(0, R). 1. Montrer que pour tout z D(0, R), f vrie |f | z M | |k . R

2. Que peut-on dire sil y a galit en un point z0 D(0, R) dans lingalit prcdente ? Exercice 15. Soit un ouvert connexe born de C, h une fonction holomorphe dans , continue sur , non constante, et telle que |h| est constant sur la frontire de . 1. Montrer que h admet au moins un zro dans 2. Soit f une fonction holomorphe sur D(0, 1) (disque de centre 0 de rayon 1) continue sur D(0, 1) et de module constant sur le cercle C(0, 1). Montrer avec soin que f soit est constante, soit f admet une factorisation de la forme f (z) = (z 1 )m1 . . . (z p )mp g(z) o p 1, 1 , . . . , p D(0, 1), mi > 0 et g est holomorphe et sans zros dans D.
za . Montrer 1z a mi

3. On suppose dsormais f non constante. (a) Soit a D(0, 1), et a =

p i=1

que |a (z)| = 1 si |z| = 1.

(b) Soit h(z) = f (z) i (z) . Montrer que h dnit une fonction holomorphe sur D(0, 1) satisfaisant |h(z)| = Cste si |z| = 1. 57

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

(c) En dduire f . Exercice 16. Si f est une fonction holomorphe non constante dans un ouvert U de R}, on rappelle lingalit de C contenant le disque ferm D(0, R) = {z C | |z| Borel-Carathodory 2r R+r M (r) A(R) + |f (0)|, Rr Rr o 0 < r < R, M (r) = sup|z|=r |f (z)| et A(R) = sup|z| R Re f (z). Soit w un nombre complexe x. On dnit la fonction f par f (z) = zez w pour z C. On suppose que f ne sannule pas dans C. 1. Montrer que
f f

est une fonction entire.

2. En dduire quil existe une fonction entire g telle que zez w = eg(z) pour tout z C. 3. Montrer quil existe un nombre R0 > 0 tel que pour tout z tel que |z| fonction g vrie la majoration Re g(z) 2|z|. R0 , la

4. En dduire quil existe des constantes C1 et C2 strictement positives telles que : |g(z)| C1 |z| + C2 pour |z| R0 .

5. Montrer que g est un polynme de degr infrieur ou gal 1 : g(z) = a0 z + a1 . 6. Montrer que lgalit zez w = ea0 z+a1 est impossible. Conclure. Exercice 17. Soient et deux ouverts connexes de C et f : une application holomorphe telle que pour tout compact K de , f 1 (K) soit un compact de . On dira dans ce cas que f est propre. 1. Montrer par un raisonnement purement topologique simple que f est une application ferme, cest--dire si F est un ferm de louvert , f (F ) est ferm dans . 2. Montrer que f est surjective, i.e. f () = . 3. En considrant lapplication f : C C dnie par un polynme non constant, en dduire une nouvelle dmonstration du thorme de dAlembert. Exercice 18. On pose f (z) = 1 + 2 (1)n nz e . 2 n=0 1 + n
+

pour tout z C

58

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

1. Montrer quon dnit ainsi une fonction analytique sur le demi-plan P = {z = x + iy | x > 0}, continue et borne sur P . La fonction f admet-elle une priode, et laquelle ? 2. Montrer que f est solution sur P de lquation direntielle linaire (1) z w + w = tanh( ). 2

Que peut-on dire de la dirence de deux solutions de (1) ? Alaide de la fonction f et de fonctions lmentaires, donner la solution gnrale de lquation (1) pour z P . Quelles sont les solutions de priode 2i ? Quelles sont les solutions bornes sur P ? 3. Dterminer les ples de la fonction z tanh( z ), puis le plus grand ouvert U , 2 toil par rapport 0 et ne contenant aucun de ces ples. Soient u et v deux fonctions analytiques sur U telles que z u (z) = tanh( ) sin z 2 z et v (z) = tanh( ) cos z. 2

Dire avec prcision pourquoi il existe de telles fonctions et montrer que z u(z) cos z + v(z) sin z est solution de (1) pour z U . 4. En comparant les rsultats des questions 2 et 3, montrer que f se prolonge en une fonction analytique sur U , encore note f . On a videmment f (0) = 1 + n 2 + (1)2 . Montrer quon a aussi n=0 1+n f (0) = 2 (1)n n . 2 n=0 1 + n
+

(On pourra appliquer la transformation dAbel

p

an bn + +an+p bn+p = avec an =

(1)n n 1+n2

(an + +an+q1 )(bn+q1 bn+q )+(an + +an+p )bn+p

q=1

et bn = enx .)

Exercice 19. Pour tout entier n > 0 et tout z = C \ Z on pose Sn (z) = 1 . 2 k=n (z k)
k=n

1. Montrer que la suite Sn converge uniformment sur tout compact de . En dduire que g(z) = limn+ Sn (z) dnit une fonction holomorphe sur . 2. On considre la fonction dnie sur par (z) = g(z). sin(z) Montrer que est 1-priodique (i.e. vrie (z + 1) = (z) pour tout z ). 59
2

Maths en Ligne
2

Fonctions holomorphes

UJF Grenoble

3. Montrer que

1 2 admet une limite quand z tend vers 0 et en dduire sin(z) z que se prolonge en une fonction holomorphe 1-priodique sur C.

4. On pose z = x + iy (x et y rels). Calculer | sin(z)|2 et montrer que si |y| > 1 et |x| 1 on a 2 2 + 1 |(z)| +1+2 . 2 sh() 1 (n 1/2) 5. Montrer que est borne sur C. Calculer limy+ g(iy) et limy+ | sin(iy)|. En dduire que pour tout z on a : g(z) = sin(z)
2

Exercice 20. Pour tout couple de rels 0 a < b, on note B(a, b) la bande {z C ; a < Imz < b}. Si T est un rel non nul, on dit quune fonction f holomorphe sur B(a, b) est T -priodique si, pour tout z B(a, b) on a f (z + T ) = f (z). On note aussi B(0, +) le demi-plan suprieur {z C ; Im(z) > 0}. A) Un cas particulier 1. Dmontrer que la srie
+

(1)n e(2n+1)iz
0

dnit une fonction holomorphe sur B(0, +). 2. Montrer que

1 cos z

est holomorphe sur B(0, +) et priodique de priode 2.

3. Etablir que pour tout z B(0, +) on a

+ 1 = 2 (1)n e(2n+1)iz . cos z 0

B) Gnralisation 1. Montrer que lapplication dnie sur C par (z) = exp 2iz T

dnit une application holomorphe de B(a, b) sur la couronne A(r, R) de centre 0 et de rayons r = exp 2 b et R = exp 2 a . T T 2. Si f est holomorphe et priodique de priode T sur B(a, b) pour tout u B(a, b) on pose g((u)) = f (u). Montrer que lon dnit ainsi une fonction holomorphe sur A(r, R).

60

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

3. En utilisant le dveloppement en srie de Laurent de g, en dduire que f scrit de faon unique sous la forme
+

f (z) =

an exp

2niz T

(8)

o les ai sont des complexes tels que les sries entires n 0 an z n et n 0 an z n ont des rayons de convergence suprieurs ou gaux exp 2 a et exp 2 b T T respectivement. 4. Montrer que rciproquement si une suite (an )nZ satisfait ces conditions alors (8) dnit une fonction holomorphe priodique de priode T sur la bande B(a, r). Exercice 21. 1. Montrer que lintgrale g(z) = 0+ sin t dt est convergente pour z dans C priv z+t de lensemble des rels ngatifs ou nuls et dnit une fonction holomorphe sur cet ensemble. (On pourra eectuer une intgration par parties). eiz 2. Pour x > 0 x, montrer en intgrant la fonction f (z) = x+z sur un quart de cercle de rayon R bien choisi et en faisant tendre R vers + que :
+ 0

eit dt = i x+t

+ 0

et dt. x + it

3. En dduire que pour Re z > 0, on a :

+

g(z) =
0

euz du. 1 + u2

Exercice 22. Soit la fonction dune variable complexe z dnie par

f (z) =
1

t2 (t

t1 dt. z)

1. Dans quel ouvert D du plan complexe f est-elle dnie ? 2. Montrer que f est holomorphe sur D. Calculer, en fonction de n, la drive n-ime de f en 0 et dterminer le dveloppement en srie entire de f au voisinage de 0 ; dans quel ouvert ce dveloppement est-il valable ? 3. Soit x un rel strictement infrieur 1, calculer f (x). En dduire la valeur de f (z) pour z D. z 4. Calculer f (z) + f ( z1 ) pour z D. Exercice 23. 1. Dterminer les singularits de la fonction de la variable complexe z : f (z) = eitz , (z 2 + 1)2

o t est un rel x. Calculer les rsidus de f aux points singuliers. 61

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

2. Calculer par la mthode des rsidus

+

F (t) =

eitx dx, (x2 + 1)2

o t est un nombre rel. 3. Soit G(z) = z 3

+ eix (x2 +z)2

dx,.

(a) Dans quel ouvert D de C la fonction G est-elle dnie ? Montrer que G est holomorphe sur D. (b) Montrer que F (t) = G(z) pour z = t R . + (c) En dduire la valeur de G(z) pour z D. Exercice 24. On rappelle que les racines de sin z = 0 sont relles. Soit f la fonction mromorphe dnie par cot z . f (z) = 2 (z + 1)2 1. Dterminer les points singuliers de f . 2. Calculer le rsidu de f en chacun de ses ples. 3. Pour tout entier naturel N , soit N le bord orient positivement du carr de 1 sommets (N + 2 )(1 + i), (N + 1 )(1 + i), (N + 1 )(1 i) et (N + 1 )(1 i). 2 2 2 1 1 on a | cot(z)| coth et que si |Im(z)| < 2 , alors Montrer que si Im(z) 2 2 pour tout k Z 2k + 1 cot ( + iy) tanh . 2 2 En dduire la limite quand N tend vers linni de f (z)dz.
N

4. Calculer la somme de la srie

+ 0

1 . (n2 + 1)2

Exercice 25. On note = (1 + i)

et ez . 1 + exp(2z)
2

g(z) =

1. Montrer que g est mromorphe sur C et na que des ples simples que lon dterminera. 2. Soit lensemble des ples de g. Si z montrer que g(z) g(z + ) = ez . 62
2

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

3. En intgrant g le long du paralllogramme de sommets R, R + , R + et R, en dduire la valeur de lintgrale

+

ex dx.

Exercice 26. Soit F = P/Q une fraction rationnelle sans ple rel telle que deg(Q) deg(P ) + 2. Montrer que x F (x) ln(|x|) est intgrable sur R. On note log la dtermination principale du logarithme sur C \ iR (sa partie imaginaire appartient ] /2, 3/2[). 1. Soit r un rel strictement positif, pour t [0, ] on pose r (t) = reit . Montrer que les limites suivantes existent et les calculer :
r0 r

lim

F (z) log(z)dz,

et

r+ r

lim

F (z) log(z)dz.

2. En dduire que F (x) ln(|x|) dx = 2 Imm

R ai

Res(F (z) log(z), ai )

o les ai sont les ples de F dont la partie imaginaire est strictement positive. 3. Application : calculer
R

ln |x| dx. (x2 + 1)2

Exercice 27. Soient a et b deux rels strictement positifs. On considre la fonction qui z associe : 1 . f (z) = 2 2 )(z 2 + b2 ) (z + a 1. Montrer que la fonction f est mromorphe, calculer ses 4 ples, et donner le rsidu de f en chacun de ces ples. 2. Soit R un rel positif. On note le chemin qui t [0, ] associe Reit . Dmontrer que lim f (z) dz = 0 .
R+

3. On suppose R > max{a, b}. En appliquant le thorme des rsidus, calculer

+R

f (x) dx +
R

f (z) dz .

4. Dduire de ce qui prcde que

+

f (x) dx =

. ab(a + b)

63

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Exercice 28. On considre la fonction qui z associe : f (z) = 1 . 1 + z4

1. Montrer que la fonction f est mromorphe, calculer ses 4 ples, et donner le rsidu de f en chacun de ces ples. 2. Soit R un rel positif. On note le chemin qui t [0, ] associe Reit . Dmontrer que lim f (z) dz = 0 .
R+

3. On suppose R > 1. En appliquant le thorme des rsidus, calculer

+R

f (x) dx +
R

f (z) dz .

4. Dduire de ce qui prcde que

+

2 . f (x) dx = 4

Exercice 29. Soit w un nombre complexe. 1. Montrer que si |w| < 1 , la fonction f dnie sur C par f (z) = zez w a un e zro unique dans le disque unit. On dsigne par h(w) cet unique zro de f ; la fonction h est donc dnie pour |w| < 1 . e 2. Montrer que si dsigne le cercle unit orient positivement, on a : (1) h(w) = 1 2i z(1 z)ez dz. zez w
n1 2w2 + + n n! wn + . . . 2! (+n)n1 n w pour |w| < 1 . n=1 n! e

3. En dduire que pour |w| < 1 , on a h(w) = w + e 4. Montrer que pour C, on a eh(w) = 1 + utilisera une intgrale analogue (1).

On

5. tudier les variations de la fonction x xex pour x rel positif ou nul. Montrer que la srie de fonctions de la variable relle x ( + n)n1 n nx S(x) = 1 + x e n! n=1 converge normalement pour x 0. Montrer que S(x) = ex pour 0 x 1 x et que S(x) = e pour x 1, o x est la solution appartenant [0, 1] de lquation : x ex = xex .

64

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Exercice 30. Soit C tel que Re > 1. Montrer que lquation z + ez = 0 a exactement une solution dans le demi-plan Rez 0. On pourra considrer un demi disque de centre 0 et de rayon R assez grand. Exercice 31. Soit D un ouvert connexe born de C, contenant lorigine et f une application holomorphe de D dans lui-mme telle que f (0) = 0. On va montrer que f est un automorphisme de D si et seulement si |f (0)| = 1. 1. Montrer quil existe des constantes Mp , p N, telles que pour toute fonction g holomorphe dans D vriant g(D) D, on ait : |g (p) (0)| Mp .

2. Soit f une fonction holomorphe dans D vriant f (D) D et f (0) = 0. (a) On dnit les fonctions fn par f1 = f et la relation de rcurrence fn+1 = f fn si n 1. Montrer que fn est holomorphe dans D et calculer fn (0) en fonction de f (0). (b) En dduire que |f (0)| 1. (c) Montrer que, si f est un automorphisme de D, |f (0)| = 1. 3. Montrer que, si f (0) = 1, f (z) = z pour tout z D. (On raisonnera par labsurde en supposant que le dveloppement de f en srie entire lorigine scrit :
+

f (z) = z +
k=p

ck z k ,

p tant un entier strictement suprieur 1, et on calculera le coecient de z p dans le dveloppement de fn .) 4. On suppose quil existe k N, k = 0, tel que f (0)k = 1. Montrer que f est un automorphisme de D. 5. On munit lespace H(D) des fonctions holomorphes dans D de la topologie de la convergence uniforme sur tout compact de D. (a) Montrer que lensemble des fonctions fonctions g holomorphes dans D vriant g(D) D et g(0) = 0 est une partie compacte de H(D). (b) On suppose que f (0) = , || = 1 et que lensemble {k , k N} est dense lensemble {z C | |z| = 1}. Montrer quil existe une sous-suite de la suite (fn )nN qui converge uniformment sur tout compact de D vers lidentit de D. 6. Montrer que pour toute suite (gn )nN de fonctions holomorphes sur D qui converge vers une fonction g uniformment sur tout compact de D, si g prend la valeur w et nest pas la fonction constante gale w, alors pour n assez grand la fonction gn prend la valeur w. 65

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

7. On rappelle que tout sous-groupe multiplicatif du groupe des nombres complexes de module 1 est ni ou dense. Dduire de ce qui prcde que, si |f (0)| = 1, f est une application injective et surjective de D sur lui-mme. Exercice 32. Calculer le dveloppement en srie de Laurent de f en a dans les cas suivants. 1 1. f (z) = e z en a = 0 2. f (z) =
zsin(z) z3

en a = 0
1 z+2

3. f (z) = (z 3) sin

en a = 2

2.3

QCM

Donnez-vous une heure pour rpondre ce questionnaire. Les 10 questions sont indpendantes. Pour chaque question 5 armations sont proposes, parmi lesquelles 2 sont vraies et 3 sont fausses. Pour chaque question, cochez les 2 armations que vous pensez vraies. Chaque question pour laquelle les 2 armations vraies sont coches rapporte 2 points. Question 1. Soit f une fonction holomorphe sur C. On note P et Q les deux applications de R2 dans R qui (x, y) R2 associent P (x, y) = Re f (x + iy) et Q(x, y) = Im f (x + iy) . A P et Q sont continment direntiables P Q = B y x P Q C = x y Q P D = y y P Q E = x x Question 2. Soit f une fonction holomorphe non constante sur C. A sin(f ) est holomorphe sur C B log(f ) est holomorphe sur C C f f est holomorphe sur C D f est une bijection de C dans C E z f (z) est holomorphe sur C Question 3. On note 1 , 2 et 3 les chemins dnis sur [0, ] par : 1 (t) = eit , 2 (t) = e2it , 3 (t) = e3it .

On note 1 , 2 , 3 les images respectives de 1 , 2 , 3 . 66

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

A 2 = 3 B 1 = 2 C 3 est un chemin ferm 1 D d = 2i 2 2 d = 2 d E

1 3

Question 4. On note le chemin de [0, 3] dans C qui t associe e3it si t [0, ] (t) = 2 + e2it si t [, 2] eit si t [2, 3] .

A B C D E

Lindice de par rapport 0 vaut 1 Lindice de par rapport 1 nest pas dni 2 i Lindice de par rapport 2 vaut 1 Lindice de par rapport 1 + i vaut 0 Lindice de par rapport 2 vaut 1

Question 5. On note le chemin de [0, 3] dans C qui t associe e3it si t [0, ] 2it si t [, 2] (t) = 2 + e eit si t [2, 3] .

A B C D E

1 d = 0 1 d = 2i +2 1 d = 0 +1i 1 d = 2i 1+i 1 i d = 2i +2 2

Question 6. On note f la fonction qui z C associe f (z) = z21 . +1 A La fonction f est holomorphe sur le disque {z C , |z 1| < 2}. B La fonction f est holomorphe sur le demi-plan {z C , Im z > 0}. C La fonction f est holomorphe sur le demi-plan {z C , Re z > 0}. D La fonction f est holomorphe sur le disque {z C , |z| < 2}. E La fonction f est holomorphe sur le disque {z C , |z + 1| < 2}. 67

Maths en Ligne

Fonctions holomorphes
1 . z 2 +1

UJF Grenoble

Question 7. On note f la fonction qui z C associe f (z) = A Le rsidu de f en 1 est 2. B Le rsidu de f en 0 est 1. i C Le rsidu de f en i est 2 . i D Le rsidu de f en i est 2 . E Le rsidu de f en 1 est i.

Question 8. Soit f une fonction holomorphe sur C. A Si Im f admet un maximum relatif, alors f est nulle sur C. B Si |f | est constante sur le segment [1, 1], alors f est constante sur C. C Si |f | est nulle sur le segment [1, 1], alors f est identiquement nulle. D Si |f | admet un maximum relatif sur le demi-plan {z C , Re z > 0}, alors f est constante. E Limage par f du demi-plan {z C , Re z > 0} est un demi-plan ouvert de C. Question 9. Soit f une fonction holomorphe sur C. On note D(0, 1) le disque ouvert de centre 0 et de rayon 1. A Si pour tout t [0, 2], |f (eit ) e3it | < 1, alors f a trois zros dans D(0, 1), compts avec leur ordre de multiplicit. B Si pour tout t [0, 2], |f (eit ) eit | < 1, alors f ne sannule pas dans D(0, 1). C Si pour tout t [0, 2], |f (eit ) e2it + 4| < |e2it 4|, alors f a au moins deux zros dans D(0, 1). D Si pour tout t [0, 2], |f (eit ) e2it + 2| < |e2it 2|, alors f ne sannule pas dans D(0, 1). E Si pour tout t [0, 2], |f (eit ) e3it 8| < |e3it + 8|, alors f a au moins un zro dans D(0, 1). Question 10. On note f la fonction qui z associe tan( z). 2 A La fonction f a un ple dordre 2 en chaque entier n Z. B La fonction f a une singularit essentielle en 0. 2 C Le rsidu de f en 1 est . 1 D Le rsidu de f en 0 est . E La fonction f est mromorphe sur C. Rponses : 1AB 2AC 3AE 4DE 5CE 6AC 7CD 8CD 9AD 10CE

2.4

Devoir

Essayez de bien rdiger vos rponses, sans vous reporter ni au cours, ni au corrig. Si vous souhaitez vous valuer, donnez-vous trois heures ; puis comparez vos rponses avec le corrig et comptez un point pour chaque question laquelle vous aurez correctement rpondu. 68

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Questions de cours : 1. Montrer que toute fonction holomorphe dans un ouvert U de C est analytique dans cet ouvert. 2. Soit f une fonction holomorphe dans un ouvert U de C et a un point de U . Que peut-on dire du rayon de convergence de la srie de Taylor de f en a ? 3. noncer et dmontrer les ingalits de Cauchy. 4. Quel est lintrt des ingalits de Cauchy ? 5. noncer et dmontrer le thorme de Liouville et en dduire que tout polynme non constant coecients complexes admet au moins une racine dans C. Exercice 1 : Soit a un rel strictement positif. On note I(a) lintgrale convergente suivante. + 2 eax dx . I(a) =

1. En appliquant le thorme de Cauchy sur le rectangle Rr de sommets r, r +iy, montrer que pour tout rel y,
+r r+ r

lim

ea(x+iy) dx = I(a) .

2. Montrer que eay I(a)

2

+r r

ea(x+iy) dx

+r

I(a)
r

eax dx .

En dduire que le membre de gauche de cette ingalit tend vers 0 quand r tend vers +, uniformment en y sur R. 3. Pour tous , C, on note [, ] = {z = t + (1 t) , t [0, 1]} le segment de droite dextrmits et . On pose eaz f (z) = 2iz . e 1 laide dun dveloppement en srie de lim
1 , e2iz 1
2

montrer que
+

r+ [r+i,r+i]

f (z) dz = I(a)
n=0 e2iz , 1e2iz

n2 a

4. laide dun dveloppement en srie de lim

montrer que
+

r+ [ri,ri]

f (z) dz = I(a)
n=1

n2 a

69

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

5. Pour tout n Z, calculer le rsidu de f en n. 6. En appliquant le thorme des rsidus f sur le rectangle de sommets (N + 1 )i, 2 montrer que
+ n=

ean = I(a)
n=

n2 a

.
1 . a

7. Montrer que I(1) = 1. En dduire que pour tout a R+ , I(a) = 8. Montrer que si la partie relle de z est strictement positive, 1 2 ezn = z n=
+ +

e
n=

n2 z

o z dsigne la racine carre de z, dont la partie relle est positive sur le demiplan {z C , Re z > 0}. Exercice 2 : On note D le demi plan ouvert D = {z Z , Re z > 0}. On dnit la fonction Gamma sur D par :
+

z D ,

(z) =
0

tz1 et dt .

1. Montrer que est une fonction holomorphe sur D. 2. Montrer que pour tout z D, (z + 1) = z(z). En dduire que pour tout n N, (n) = (n 1)!. 3. Montrer que pour tout z D, (1)n 1 (z) = + n! z + n n=0 4. Dmontrer que la fonction qui z associe
+ 1 + + 1

tz1 et dt

tz1 et dt

est holomorphe sur C. 5. Dduire des deux questions prcdentes que se prolonge en une fonction mromorphe sur C, dont les ples sont les entiers ngatifs ou nuls. Pour n N, quel est le rsidu de en n ? 6. Montrer que pour tout n N et pour tout z D,
n n

1
0

t n

tz1 dt =

nz n! . z(z + 1) (z + n)
t n

(on pourra utiliser le changement de variable parties). 70

u, puis une intgration par

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

7. En utilisant le thorme de convergence domine, dmontrer que, pour tout z D: n t n z1 nz n! . (z) = lim 1 t dt = lim n+ 0 n+ z(z + 1) (z + n) n (formule de Gauss).

2.5

Corrig du devoir

Questions de cours : 1. Soit f une fonction holomorphe dans U , nous devons prouver que f est dveloppable en srie entire au voisinage de tout point de U . Soit a U et r > tel que le disque D(a, r) soit contenu dans U . Soit le chemin dni pour t [0, 2] par (t) = a + reit . Pour z D(a, r), la formule de Cauchy nous donne f (z) = 1 2i f (w) dw. wz

Si z D(a, r) et si w vrie |w a| = r, on a |z a| < |w a| et 1 1 1 1 = = za wz (w a) (z a) w a 1 wa

1 (z a)n = , w a n=0 (w a)n

do

(z a)n f (w) f (w) = . w z n=0 (w a)n+1

Cette srie de fonctions de w est normalement convergente donc uniformment convergente sur le cercle C(a, r) puisque son terme gnral est major par M r |z a| r
n

avec M = sup |f (w)| ,

wC(a,r)

qui est le terme gnral dune srie numrique convergente. On peut donc intgrer terme terme et on trouve

f (z) =
n=0

an (z a)n

avec an =

1 2i

f (w) dw . (w a)n+1

La fonction f est donc dveloppable en srie entire sur le disque D(a, r) et par consquent analytique dans U .

71

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

2. Par la dmonstration prcdente f est dveloppable en srie entire sur tout disque de centre a contenu dans U . Donc la srie de Taylor en a de f concide avec f au moins sur le plus grand disque ouvert de centre a contenu dans U . Son rayon de convergence est donc suprieur ou gal la distance de a au bord de U . 3. Ingalits de Cauchy Si f est une fonction holomorphe dans le disque de centre a et de rayon R, pour tout 0 < r < R et n 0 on a, si f (z) = an (z a)n , n=0 |an | = M (r) 1 (n) |f (a)| , n! rn

o M (r) = sup|za|=r |f (z)|. Cette ingalit se dmontre ainsi. Daprs le 1) et le 2) la fonction f est dveloppable en srie entire dans le disque D(a, R) et on a pour tout r tel que 0 < r < R, an = 1 1 (n) f (a) = n! 2i 1 = 2 f (w) dw (w a)n+1

C(a,r) 2 0

f (reit )rn eint dt 0 M (r) . rn

Si on pose M (r) = sup|za|=r |f (z)|, on a alors pour n |an | = 1 (n) |f (0)| n! 1 2

2 0

|f (reit )|rn dt

4. Les ingalits de Cauchy permettent de contrler la valeur des drives en un point dune fonction holomorphe par la valeur de cette fonction au voisinage de ce point. Cela permet de simplier ltude des suites de fonctions et des intgrales dpendant dun paramtre dans le cas holomorphe dans un ouvert de C par rapport au cas C 1 dans un ouvert de R. 5. Thorme de Liouville Si f est une fonction holomorphe dans C tout entier et si f est borne, alors f est constante. Ce thorme se dmontre ainsi. Puisque f est holomorphe dans C et borne, il existe M > 0 tel que |f (z)| M pour tout z C et les ingalits de Cauchy M donnent alors |an | rn pour tout r > 0 et tout n 0, ce qui implique an = 0, si n 1. Montrons par contrapose que tout polynme coecients complexes non constant possde au moins une racine. Soit P C[X] un polynme de degr strictement suprieur 1, supposons que P nadmet pas de racine dans C. La fonction 1 1 est alors holomorphe dans C et borne puisque P (z) 0 quand |z| , P (z) elle est donc constante par le Thorme de Liouville. 72

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Exercice 1 : 2 1. La fonction f : z eaz est holomorphe dans C. Donc par le thorme de Cauchy appliqu f sur le bord du rectangle Rr ,
+r r

eax dx +
0

ea(r+it) i dx

+r r

ea(x+iy) dx =
0

ea(r+it) i dx = 0

Pour r et t rels, ea(r+it) = ea(r+it) = ear eat . Chacune des deux intgrales sur les bords verticaux du rectangle est donc majore en module par : ear
+r r+ r
2 2 2 2 2

|y| 0

eat dt ,
+r

quantit qui tend vers 0 quand r tend vers +. Donc lim ea(x+iy) dx = lim
2

r+ r

eax dx = I(a) .
2 2 2

2. Soient r et R deux rels tels que 0 < r < R. Puisque |ea(x+iy) | = eay eax , eay
r R +R
2

+R R

ea(x+iy) dx
+R +r
2

+r r

ea(x+iy) dx

eax dx + eax dx
2

eax dx eax dx .
2

+r r

=
R

En faisant tendre R vers +, on obtient lingalit cherche. Le majorant est indpendant de y et tend vers 0 quand r tend vers linni, donc la convergence vers 0 du membre de gauche est uniforme en y sur R. 3. Si z = i + t avec t R, alors |e2iz | = e2 < 1. La srie de terme gnral (e2iz )n converge donc uniformment en z, et : eaz f (z) = 2iz e 1
+
2

=
n=0 +

eaz (e2iz )n
2 +2niz

=
n=0 +

eaz

=
n=0

e 73

n2 a

ea(zi a ) .

n 2

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Cette srie de fonctions converge uniformment en z sur le segment [r + i, r + i]. Par suite,
+

f (z) dz =
[r+i,r+i] n=0 +

n2 a

ea(zi a ) dz
[r+i,r+i] +r r
n 2

n 2

=
n=0

n2 a

ea(x+ii a ) dx .

Daprs la question prcdente, ea(1 a )

n 2 n 2

+r r

ea(x+ii a ) dx

n 2

converge vers ea(1 a ) I(a), uniformment en n. crivons donc :

+

f (z) dz =
[r+i,r+i] n=0

e
+

n2 a

ea(1 a ) ea(1 a )
n 2

n 2

n 2

+r r

ea(x+ii a ) dx
n 2

n 2

= ea
n=0

e2n ea(1 a )

+r r

ea(x+ii a ) dx .

La limite quand r tend vers linni est donc :

+ r+ [r+i,r+i]

lim

f (z) dz = ea
n=0

e2n ea(1 a ) I(a)

+
n2 a

n 2

= I(a)
n=0

4. Si z = i + t avec t R, alors |e2iz | = e2 < 1. La srie de terme gnral (e2iz )n converge donc uniformment en z, et on peut crire : eaz e2iz f (z) = 1 e2iz
+
2

=
n=0 +

eaz (e2iz )n+1

2 2niz

=
n=1 +

eaz

=
n=1

e 74

n2 a

ea(z+i a ) .

n 2

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

On applique la dmarche de la question prcdente, en remplaant +i par i. On obtient :

+

f (z) dz =
[ri,ri] n=1 +

n2 a

ea(z+i a ) dz
[ri,ri] +r r
n 2

n 2

=
n=1

n2 a

ea(xi+i a ) dx .

Le rsultat de la question 3 conduit crire :

+

f (z) dz =
[ri,ri] n=1

e
+

n2 a

ea(1+ a ) ea(1+ a )
n 2

n 2

n 2

+r r

ea(xi+i a ) dx
n 2

n 2

= e

a n=1

e2n ea(1+ a )

+r r

ea(xi+i a ) dx .

La limite quand r tend vers linni est donc :

+ r+ [r+i,r+i]

lim

f (z) dz = e

a n=1

e2n ea(1+ a ) I(a)

+
n2 a

n 2

= I(a)
n=1

5. Le dnominateur de f , e2i(zn) 1 est holomorphe sur C et scrit : e2i(zn) 1 = 2i(z n) + Donc : (2i(z n))k . k! k=2
2

ean Res(f, n) = lim (z n)f (z) = . zn 2i

6. Le thorme des rsidus, appliqu f sur le rectangle de sommets (N + 1 ) i, 2 donne :

+N +N

I1 + I2 + I3 + I4 = 2i
n=N

Res(f, n) =
n=N

ean ,

o I1 = I3 =
1 1 [N 2 i,N + 2 i]

f (z) dz ,

I2 = I4 =

1 [N + 1 i,N + 2 +i] 2

f (z) dz , f (z) dz .

1 [N + 2 +i,N 1 +i] 2

f (z) dz ,

[N 1 +i,N 1 i] 2 2

75

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Daprs les questions 3 et 4, I1 + I3 converge, quand N tend vers linni, vers :

+

I(a)
n=1

n a

I(a)
n=0

n a

= I(a)
n=

n2 a

Il sut donc de dmontrer que les intgrales I2 et I4 tendent vers 0. Il est facile de vrier quelles sont gales. La majoration suivante est analogue celle de la question 1. |I2 | = f (z) dz
2

1 [N + 2 i,N + 1 +i] 2

+1

=
1

ea(N + 2 +it)
1

e2i(N + 2 +it) 1
+1 1 +1 1

dt eat
1 2

a(N + 1 )2 2

|e2i(N + 2 +it) 1| eat dt . e2t + 1

2

dt

= e

a(N + 1 )2 2

Donc I2 et I4 tendent vers 0 quand N tend vers linni. 7. En remplaant a par 1 dans lidentit de la question prcdente, on obtient :
+ n= + n= y a

en = I(1) donc I(1) = 1. Le changement de variable x

+

en , donne :

I(a) =

1 1 2 dy ey = I(1) = . a a a
2 2

8. Fixons > 0. Pour tout z tel que Re z , |ezn | en . Par consquent la 2 srie + ezn converge normalement, donc uniformment, sur le demi-plan n= {z C , Re z }. Elle dnit donc une fonction holomorphe. Comme ceci est vrai pour tout > 0, cette fonction holomorphe est dnie sur le demi-plan D = {z C , Re z > 0}. Les deux fonctions
+

ezn
n=

et

1 z

e
n=

n2 z

sont holomorphes sur D. Or daprs les questions prcdentes, elles concident sur la demi-droite {a R , a > 0}. Daprs le principe des zros isols, elles concident donc sur D, puisque D est connexe. 76

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Exercice 2 : 1. Pour tout z tel que Re z > 0, la fonction qui t associe tz1 et est intgrable sur [0, +[, donc (z) est bien dni. Pour tout t [0, +[, la fonction qui z associe tz1 et est holomorphe sur D. Pour appliquer le thorme dholomorphie sous le signe somme (intgrale dpendant dun paramtre), nous devons majorer le module de cette fonction par une fonction intgrable ne dpendant pas de z, sur tout compact de D. Soit K un compact de D. Il existe deux rels a et b tels que pour tout z K, 0 < a < Re z < b. Pour tout z K et pour tout t ]0, +[, |tz1 et | = tRe z1 et max{ta1 et , tb1 et } . Le majorant est bien une fonction intgrable sur [0, +[, do le rsultat. 2. Pour z D, intgrons par parties (z + 1).
+

(z + 1) =
0

tz et dt = tz et

+ 0

+
0

ztz1 et dt .

or pour tout z D,
t+

lim tz et = 0 et

lim tz et = 0 .
t0

Donc (z + 1) = z(z). Pour z = 1 :

+

(1) =
0

t0 et dt = et

+ 0

=1.

Par rcurrence, pour tout n N, (n) = (n 1)!. 3. Par la relation de Chasles,

1 + 1

(z) =
0

tz1 et dt +

tz1 et dt

Pour t [0, 1], t

z1 t

(1)n n+z1 t . = n! n=0

Cette srie de fonctions continues converge normalement sur [0, 1], car pour n 2: (1)n n+z1 1 t [0, 1] , t . n! n!

77

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

On peut donc intgrer terme terme :

1 0 +

tz1 et dt =
n=0 + 0

(1)n n+z1 t dt n!
1

(1)n tn+z n! n+z n=0 (1)n 1 . n! z + n n=0

+

4. Pour tout t [1, +[, la fonction z tz1 et est holomorphe sur C. Soit K un compact de C. Il existe un rel M tel que pour tout z K, Re z M , donc pour tout t [1, +[, tz1 et = tRe
z1 t

tM 1 et .

Le majorant est une fonction intgrable sur [1, +[. La fontion qui z associe
+ 1

tz1 et dt

est holomorphe sur C, par le thorme dholomorphie sous le signe somme. 5. La srie de fonctions mromorphes (1)n 1 n! z + n n=0 converge normalement, donc uniformment, sur tout compact de C \ Z . Elle dnit donc une fonction mromorphe dont les ples sont les entiers ngatifs ou nuls. Daprs les questions prcdentes, pour z D, est la somme de cette fonction et dune fonction holomorphe dans C. Elle se prolonge donc en une n fonction mromorphe dans C. Pour n N, le rsidu de en n est (1) . n! t 6. Commenons par eectuer le changement de variable n u.
n +

1
0

t n

tz1 dt = nz
0

(1 u)n uz1 du .

Posons In (z) =

1 0 (1

u)n uz1 du, et intgrons par parties. uz z

1

In (z) = (1 u)n Donc par rcurrence,

+
0

n z

1 0

(1 u)n1 uz du =

n In1 (z + 1) . z

In (z) =

n! I0 (z + n) z(z + 1) (z + n 1) 78

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Or
1

I0 (z + n) = Au bilan,
n 0

t
0

z+n1

tz+n dt = z+n
z

=
0

1 . z+n

t 1 n

z1

nz n! dt = n In = . z(z + 1) (z + n)
t n

7. Pour tout u [0, 1], 1 u eu . Donc pour tout t [0, n], 1 n t et . Pout tout t [0, +[, et pour tout z D, 1 n 1 t n
n

e n , soit

tz1 I[0,n] (t)

et tRe

z1

o I[0,n] dsigne la fonction indicatrice de lintervalle [0, n] : I[0,n] (t) = 1 si t [0, n] I[0,n] (t) = 0 sinon. Le majorant est indpendant de n, et il est intgrable sur [0, +[. De plus, pour tout t [0, +[ et pour tout z D, lim 1 t n
n

n+

tz1 = et tz1

Daprs le thorme de convergence domine,

n n+ 0

lim

t n

tz1 dt =
0

et tz1 dt = (z) .

Do le rsultat.

79

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

3
3.1

Complments
Dillustres inconnus

Cela ne vous aura pas chapp : ce chapitre est largement domin par la stature imposante dAugustin Louis Cauchy (17891857). Celui-ci nest pourtant pas linventeur des nombres complexes, issus dun long cheminement partant de la rsolution des quations algbriques. Vous en raconter certains passages nous donnera loccasion dvoquer quelques mathmaticiens beaucoup moins connus que Cauchy. Au xvie sicle, la suite de lintense bagarre pour la rsolution des quations du troisime, puis du quatrime degr, Bombelli avait os crire des rgles de calcul pour des quantits contenant piu di meno , savoir 1. Mais ces nombres, qualis d envelopps par Girard, puis d imaginaires par Descartes ntaient alors conus que comme un artice de calcul, qui sil navait pas dinterprtation tangible, permettait nanmoins de calculer parfois des solutions bien relles. Girard fut le premier oser compter toutes les solutions dune quation algbrique, vers 1600 1 . Ainsi quon peut donner trois noms aux quations, soit quil y en a qui sont plus que rien ; dautres moins que rien ; & dautres enveloppes, comme celles qui ont des , comme 3 ou autres nombres semblables. Il nonce alors ce qui deviendra le thorme fondamental de lalgbre : tout polynme de degr n a n racines. Il donne aussi lexpression des coecients en fonction des racines. En 1637, Descartes enfonce le clou : Sachez donc quen chaque quation, autant que la quantit inconnue a de dimensions, autant il peut y avoir de diverses racines, cest--dire de valeurs de cette quantit. [. . . ] Mais souvent il arrive, que quelques unes de ces racines sont fausses, ou moindres que rien. Au reste, tant les vraies racines que les fausses ne sont pas toujours relles, mais quelques fois seulement imaginaires ; cest--dire quon peut bien toujours en imaginer autant que jai dit en chaque quation ; mais quil ny a quelquefois aucune quantit, qui corresponde celles quon imagine. Pendant plus dun sicle, on allait saccomoder de la situation. peu prs en mme temps, vers 1746, Euler et dAlembert tentent de justier ce qui avait ni par devenir une vidence. Voici ce qucrit dAlembert. Soit un multinme quelconque xm + axm1 + bxm2 + + f x + g, tel quil ny ait aucune quantit relle qui tant substitue la place de x, y fasse vanouir tous les termes, je dis quil y aura toujours une quantit p + q 1 substituer la place de x, et qui rendra ce multinme gal zro. La dmonstration dEuler, comme celle de dAlembert, utilisait des arguments danalyse dont la justication rigoureuse allait attendre encore un bon sicle. Surtout, le postulat
1. O. Kouteyniko : La dmonstration par Argand du thorme fondamental de lalgbre Bull. APMEP 462, p.122137 (2005)

80

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

de lexistence des n racines restait plus ou moins explicitement admis, sans que leur statut soit explicit. Dans sa thse en 1799, le jeune Gauss ne se prive pas de critiquer ses prdcesseurs. Comme nous ne pouvons pas imaginer dautres formes de grandeurs autres que relles ou imaginaires, il nest pas entirement clair en quoi ce qui est dmontrer dire de ce qui est suppos ; mais en supposant que nous puissions penser dautres formes de grandeurs [. . . ] Comment ces grandeurs, dont nous navons aucune espce de reprsentation ces ombres dombres doivent tre ajoutes ou multiplies, cela ne peut pas tre nonc avec le degr de clart ncessaire en mathmatiques. [. . . ] Si on mne des oprations avec ces racines impossibles, comme si elles existaient, et si on dit par exemple, que la somme de toutes les racines de lquation xm + axm1 + bxm2 + = 0 est gale a mme si certaines dentre elles peuvent tre impossibles (ce qui signie rellement : mme si certaines sont non-existantes et donc manquantes), alors je ne peux que dire que je dsapprouve totalement ce genre dargument. Gauss donnera au cours de sa carrire 4 dmonstrations direntes du thorme : celle de 1799, encore incomplte, deux en 1816 et une dernire en 1849, cinquante ans aprs la premire ! Il ne fut pas le seul. Voici comment Cauchy introduit sa Seconde note sur les racines imaginaires des quations , publie au Bulletin de la Socit Philomatique en 1817. Quil soit toujours possible de dcomposer un polynme en produit de facteurs rels du premier et du second degr ; ou, en dautres termes, que toute quation, dont le premier membre est une fonction rationnelle ou entire de la variable x, puisse toujours tre vrie par des valeurs relles ou imaginaires de cette variable : cest une proposition que lon a dj prouve de plusieurs manires. MM. Lagrange, Laplace et Gauss ont dj employ diverses mthodes pour ltablir ; et jen ai moi-mme donn une dmonstration fonde sur des considrations analogues celles dont M. Gauss a fait usage. tonnamment, les 4 plus grands mathmaticiens de ce dbut de xixe sicle (Cauchy, Lagrange, Laplace, Gauss), avaient t devancs. Un amateur, n Genve et libraire Paris, tait lauteur dun pas dcisif. Jean-Robert Argand (17681822) avait publi en 1806 un Essai sur une manire de reprsenter les quantits imaginaires dans les constructions gomtriques , pass totalement inaperu. Il faut dire que non content dtre inconnu du milieu mathmatique parisien, lauteur navait pas sign. En 1813, Jacques-Frdric Franais publie Nouveaux principes de Gomtrie de position et interprtation gomtrique des symboles imaginaires . la n de larticle, il reconnat honntement avoir trouv ces ides dans une lettre de Legendre son frre dcd, citant un mmoire anonyme. Une discussion sengage dans le cadre des Annales de mathmatiques pures et appliques ; Argand se fait connatre, publie un rsum de son 81

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

mmoire de 1806, puis en 1814 Rexions sur la nouvelle thorie des imaginaires, suivies dune application la dmonstration dun thorme danalyse . Ce thorme danalyse est le thorme fondamental de lalgbre, et la dmonstration dArgand commence par interprter un polynme comme une transformation gomtrique du plan complexe ; lenjeu consiste alors montrer que cette transformation est surjective. Pour la premire fois, le thorme est nonc en toute gnralit (pour des polynmes coecients complexes), et si certaines justications laissent encore dsirer, il est tout fait possible avec les outils danalyse actuels den tirer une dmonstration rigoureuse. Linterprtation gomtrique des oprations dans C tait promise un bel avenir. La mthode est dnitivement consacre par Cauchy en 1847. Mais, aprs de nouvelles et mres rexions, le meilleur parti prendre me parat tre dabandonner entirement lusage du signe 1, et de remplacer la thorie des expressions imaginaires par la thorie des quantits que jappellerai gomtriques. Cauchy attribue Argand lide que 1 est un signe de perpendicularit . Pourtant, Argand nest toujours pas le premier. N en 1745 prs dOslo, Caspar Wessel a fait ses tudes Copenhague 2 . Ayant obtenu un emploi de lAcadmie des Sciences pour travailler sur la cartographie et le cadastre du Danemark, il y passa toute sa vie. Son frre connu comme pote, le dcrit ainsi. Il dresse des cartes en tudiant la loi Aussi travailleur que je suis paresseux, moi. Il est lauteur dun unique mmoire, prsent lAcadmie des Sciences du Danemark en 1797 : Om directionens analytiske belegning . crit en danois, ce travail navait aucune chance dtre remarqu de Gauss ou Laplace ; il fut oubli des danois et des norvgiens eux-mmes. Redcouvert et traduit un sicle plus tard, on saperut quil dcrivait tout fait clairement la vision gomtrique du plan complexe redcouverte plus tard par Argand, et abondamment utilise depuis. En publiant, lun de manire anonyme, lautre en danois, Argand et Wessel navaient pas assur leur place dans lHistoire. Mais il eut pire. Pierre-Marie-Franois Daviet de Foncenex, sujet du royaume du Pimont tait un savoyard n Thonon en 1734. En 1759 alors cadet lcole dartillerie de Turin, il publie aux commentaires de lacadmie de Turin un article philosophico-mathmatique dans lequel il crot bon de critiquer les travaux dEuler 3 . On rencontre si souvent des quantits imaginaires dans les expressions algbriques quil serait souhaiter quon se ft attach en examiner avec plus de soin la nature et lorigine.
2. V. Brun : Caspar Wessel et lintroduction gomtrique des nombres complexes, Revue dHistoire des Sciences et leurs applications 12(1) p. 1924 (1959) 3. J. Dhombres : Rhtorique et algbre au temps des lumires. La question de la nature des quantits imaginaires selon Euler, Daviet de Foncenex, et Laplace. Rend. Sem. Mat. Univ. Pol. Torino 64(3) p.273298 (2006)

82

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

[. . . ] Si on rechit sur la nature des racines imaginaires, qui comme on sait impliquent contradiction entre les donnes, on concevra videmment quelles ne doivent point avoir de construction Gomtrique possible, puisquil nest point de manire de les considrer, qui lve la contradiction qui se trouve entres les donnes immuables par elles-mmes. Voil ce qui sappelle manquer de puissance visionnaire. Aprs son dcs en 1799, le pauvre Foncenex fut accabl par la postrit. Voici le dbut de la notice qui lui est consacre dans la Biographie universelle ancienne et moderne, ouvrage entirement neuf rdig par une socit de gens de lettres et de savants , parue en 1816. FONCENET (Franois Daviet de), Gomtre, naquit en 1734 Thonon, petite ville de la Savoie, et non pas en Pimont, comme quelques auteurs lont imprim. Son pre, qui la littrature et la philosopie ntaient pas trangres, le t passer de bonne heure Turin. Il y reut des leons du clbre Lagrange ; et la manire dont il en prota, changea bientt le disciple en vritable ami du matre. Foncenet [sic] fut admis lacadmie des sciences de Turin en 1778. Il y prsenta, sur lanalyse algbrique, sur les principes gnraux de la mcanique et sur lanalyse transcendante, plusieurs savants Mmoires qui lui donnrent une place distingue parmi les gomtres. Malheureusement pour lui, sa rputation vient dtre presque entirement dtruite par quelques rvlations chappes Lagrange dans ses derniers jours. Il parat que ce grand gnie, aussi gnreux que fcond, dans lintention dobliger un ami, pre de famille, fournissait Foncenet la partie analytique de ses Mmoires, en lui laissant le soin de dvelopper les raisonnements sur lesquels portaient les formules. Ces Mmoires nont jamais paru sous le nom de Lagrange ; mais on y remarque cette marche analytique qui, depuis, a fait le caractre de ses plus belles productions. Comment aronter lHistoire avec un tel handicap ?

3.2

Le calcul des rsidus

Ne croyez pas quune thorie comme celle des fonctions dune variable complexe sorte un beau jour de la tte dun mathmaticien sous sa forme dnitive. Elle est laboutissement dun long processus de maturation, qui se nourrit le plus souvent des ttonnements et des changes de plusieurs contributeurs. De 1814 jusquaux annes 1840 o commencent merger les hypothses les plus gnrales, en passant par son monumental Mmoire de Turin de 1831, Cauchy labore quasiment seul sa thorie des fonctions dune variable complexe. Elle merge au l de nombreux Mmoires sur les intgrales dnies dont il est intressant de suivre le l tout au long des annes. Ladhsion de ses collgues est loin dtre immdiate. Voici ce qucrit Denis Poisson propos du mmoire de 1814. 83

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

[. . . ] il semble que lquation (1) et celles qui sen dduisent devraient dterminer quelques intgrales nouvelles ; mais parmi les nombreux exemples que lauteur a rassembls dans la premire partie de son Mmoire, je nai remarqu aucune intgrale qui ne ft pas dj connue, ce qui tient sans doute ce que son procd, quoique trs gnral et trs uniforme, nest pas essentiellement distinct de ceux quon a employs jusquici. [. . . ] Ce que le mmoire dont nous rendons compte contient, selon nous, de plus curieux, cest lusage que lauteur fait des intgrales quil nomme singulires, pour exprimer dautres intgrales prises entre des limites nies. Il parvient ainsi plusieurs rsultats dj connus. Cette manire indirecte de les obtenir ne doit pas tre prfre aux mthodes ordinaires, mais elle nest pas moins trs remarquable, et digne de lattention des gomtres. Le moins quon puisse dire est que Poisson ne fait pas preuve dun enthousiasme excessif pour saluer la naissance de la mthode des rsidus. Il faut dire quelle nen tait qu ses balbutiements : il ne sagissait encore pour Cauchy que dexprimer que lintgrale dune fonction sur le bord dun rectangle du plan complexe est nulle, sous des conditions encore assez peu claires, mais qui allaient saner au l des mmoires suivants. Peuttre Cauchy pensait-il au rapport mitig de Poisson, en crivant son Mmoire sur les intgrales dnies o lon donne une formule gnrale de laquelle se dduisent les valeurs de la plupart des intgrales dnies dj connues et celles dun grand nombre dautres . Il est publi aux Annales de Mathmatiques en deux parties ; la seconde, date de 1826 et consacre aux applications, contient rien moins que 190 formules intgrales obtenues par la mthode des rsidus ! tes-vous curieux de savoir quoi ressemblait la thorme des rsidus sa naissance ? Le voici nonc en 1822 dans le Mmoire sur les intgrales dnies o lon xe le nombre et la nature des constantes arbitraires que peuvent comporter les valeurs de ces mmes intgrales quand elles deviennent indtermines . Si lon dsigne par x0 , x1 , . . . , xn1 les racines de lquation 1 =0, f (x) dans lesquelles les parties relles restent comprises entre les limites x , x , et les coecients de 1 entre les limites y , y , et par f0 , f1 , . . . , fn1 les vritables valeurs des produits kf (x0 + k), kf (x1 + k), . . . , kf (xn1 + k),

84

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

correspondantes k = 0, on aura
x

f (x + y
x

1] f (x + y

1) dx

1
y

f (x + y 1] f (x + y 1) dy

2 1 (f0 + f1 + + fn1 ) . Et maintenant vous de jouer ! 1. Quelle dnition Cauchy donne-t-il des ples ? 2. Comment dniriez-vous rigoureusement les valeurs vritables des produits. . . 3. De quel thorme du cours lnonc de Cauchy est-il un cas particulier ? 4. Sur quel chemin ferm de classe C 1 par morceaux, lintgrale est-elle prise ? 5. Comment lnonc de Cauchy scrirait-il en notations modernes ?

3.3

La mmoire des Mmoires

Sept cent quatre-vingt neuf ! cest le nombre astronomique des divers mmoires, rapports ou notes lgus par Cauchy (sans compter les livres de cours et dexercices divers). En voici la rpartition par sujet, en ne comptant pas ceux qui font double emploi. Arithmtique, thorie des nombres Gomtrie Analyse Intgrales dnies. Rsidus Fonctions symtriques. Substitutions Sries Thorie des quations Fonctions priodiques inverses quations direntielles Mcanique Optique Astronomie 69 39 72 81 40 73 48 39 84 113 102 72

La masse ne pouvait quimpressionner ses contemporains et lui assurer pour la postrit une stature comparable celles de Gauss et Euler. De fait, quand C.A. Valson, professeur la Facult des Sciences de Grenoble, publie en 2 volumes La vie et les travaux du Baron Cauchy , il est souvent plus proche de lhagiographie que de la biographie scientique. Il nempche, cet ouvrage magistral souvent cit par la suite, installe dnitivement Cauchy au panthon des sciences franaises. En 1870, Joseph 85

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Bertrand rend compte de la biographie de Valson dans le Bulletin des Sciences mathmatiques et astronomiques . Son apprciation est plus nuance ; peut-tre aussi est-elle plus proche de la vrit 4 ? Cauchy, dans son premier Mmoire, montrait dminentes qualits devenues chez lui de plus en plus rares. La forme est aussi excellente que le fond, et la rigueur des raisonnements semble sallier sans eort la plus lumineuse clart. Les deux Mmoires de 1811 et de 1812, sur la thorie des polydres et les premires tudes sur le nombre des valeurs dune fonction montrent que Cauchy, en arrtant plus longtemps son esprit sur chacune de ses dcouvertes, aurait pu, sil let voulu, leur imprimer ce cachet de perfection dnitive que trop souvent depuis, il na pas eu le loisir de chercher. Cest par sa grande hte de produire que Cauchy a t si loin de mriter lloge que lui dcerne cependant M. Valson : Il ne quittait pas un sujet avant de lavoir compltement approfondi et lucid, de manire satisfaire les exigences des exprits les plus diciles. Sil est un nom illustre dans lhistoire de la science, auquel cette louange ne soit pas applicable, cest, sans contredit, celui de Cauchy, et, lorsque lon peut louer en lui tant de rares et exceptionnels mrites, cest un tort vritable envers sa mmoire de citer prcisment celui qui, de laveu de tous et videmment par sa faute, lui a compltement fait dfaut. [. . . ] Le gnie de Cauchy est digne de tous nos respects ; mais pourquoi sabstenir de rappeler que la trop grande abondance de ses travaux, en diminuant souvent leur prcision, en a plus dune fois cach la force ? La dangereuse facilit dune publicit immdiate a t pour Cauchy une tentation irrsistible et souvent un cueil. Son esprit, toujours en mouvement, apportait chaque semaine lAcadmie ses travaux peine bauchs, des projets de Mmoire et des tentatives infructueuses, et, lors mme quune brillante dcouverte devait couronner ses eorts, il forait le lecteur le suivre dans les voies souvent striles essayes et abandonnes tour tour sans que rien vnt len avertir. Prenons pour exemple la thorie des substitutions et du nombre de valeurs dune fonction. qui doit-elle ses plus grands progrs ? Cauchy sans aucun doute, et il est vritable que son nom, dans lhistoire de cette belle question, slve une grande hauteur au-dessus de tous les autres. Mais, sur cette thorie qui lui doit tant, Cauchy a compos plus de vingt Mmoires. Deux dentre eux sont des chefs-duvre. Que dire des dix-huit autres ? rien, sinon que lauteur y cherche une voie nouvelle, la suit quelque temps, entrevoit la lumire, seorce inutilement de latteindre, et quitte enn, sans marquer aucun embarras, les avenues de ldice quil renonce
4. J. Bertrand : Revue bibliographique Bulletin des sciences mathmatiques et astronomiques, tome 1, p. 103124 (1870)

86

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

construire. [. . . ] Les habitus de lAcadmie des Sciences nont pas oubli avec quelle ardeur, pendant plusieurs semaines, Cauchy, proccup de cette question et toujours plein despoir, apportait chaque sance des principes nouveaux entrevus la veille et dont il navait pu encore pntrer toutes les suites. Combien de fois, dans son empressement, lont-ils vu dposer sur le bureau le titre dun Mmoire inachev quil envoyait limprimerie la dernire heure, en achetant la chance dantidater de quelques jours une dcouverte importante par la certitude dattacher son grand nom un travail htif et imparfait ? De tels souvenirs sont caractristiques ; ils ne prouvent nullement quinfrieur lui-mme Cauchy ft quelque-fois abandonn de sa rare perspicacit : lapprciation serait trs injuste. Cauchy, pendant toute sa carrire, a conserv, avec la rapidit de la pense, la mme puissance dinvention et de pntration. Son gnie toujours prt le rendait matre en peu dinstants des plus diciles problmes. Mais toute recherche exige des ttonnements et des essais infructueux, que Lagrange, Jacobi et Gauss ont connus sans aucun doute tout autant que lui. Ce qui distingue Cauchy, dont le gnie a gal le leur, cest den avoir longuement et minutieusement inform le public. [. . . ] Ladmiration de M. Valson pour lillustre gomtre est absolue et sans rserve, et labsence, peut-tre volontaire, de toute critique, diminue mes yeux, je lavoue, le mrite considrable pourtant dun travail o sallie, une science trs exacte, un esprit mthodique et soigneux. Cauchy, dit M. Valson, tait un minent professeur ; la louange est mrite, mais, si lon veut la dvelopper, il ne faut pas, lexemple du savant auteur, numrer sans en omettre un seul, tous les mrites de mthode et de diction, quun matre plein de zle puisse unir la science la plus profonde, pour les attribuer sans distinction Cauchy. [. . . ] Tout cela est strictement vrai, il est juste et bon de le dire ; mais ces louanges sadressent au savant minent bien plus quau professeur habile, et, sil mest permis den juger par les leons que jai entendues une poque o lillustre matre avait conserv toute la vigueur de son talent, lenseignement de Cauchy, si prcieux pour les vrais gomtres, ntait nullement fait pour instruire et surtout pour dvelopper les esprits ordinaires. Lorsquen 1849, aux applaudissements de tous les amis de la science, Cauchy fut appel occuper la Facult des Sciences de Paris la chaire de Mcanique cleste, ses premires leons, il faut lavouer, tromprent compltement lespoir dun public dlite plus surpris que charm par la varit un peu confuse des sujets abords. La troisime, il men souvient, fut presque entirement 87

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

consacre lextraction de la racine carre, et, le nombre 17 tant pris pour exemple, les calculs furent pousss jusqu la dixime dcimale par des mthodes connues de tous les auditeurs, et que Cauchy croyait nouvelles parce que la veille sans doute elles avaient spontanment travers son esprit. Je ne revins plus et jeus grand tort, car les leons suivantes mauraient initi dix ans plus tt aux plus brillantes dcouvertes de lillustre matre. Me contestera-t-on le droit dajouter que je naurais pas exprimer un tel regret, si ses minentes qualits comme gomtre Cauchy avait ajout le talent et lart du professeur ?

3.4

Le rossignol et les chenilles

Mme brillant, jouissant de lestime des meilleurs mathmaticiens du moment, il nest apparemment pas vident de se considrer reconnu sa juste valeur. Voyez Joseph Liouville (18091882) 5 6 . Quand en 1859 Briot et Bouquet publient une Thorie des fonctions elliptiques , ils prennent bien soin den reconnatre Liouville la paternit. Nous devons rappeler que M. Liouville a expos, dans un cours profess au Collge de France, une thorie des fonctions elliptiques base sur la considration de la double priodicit. La programme de ce cours a t publi dans les Comptes-Rendus de 1851. Les savantes leons de lillustre gomtre, et les beaux travaux de M. Hermite sur le mme sujet, ont t le point de dpart de nos propres recherches. Malgr cet hommage, Liouville enrage de navoir pas t le premier publier sa thorie. Dans ses cahiers, il traite Biot et Bouquet de vils voleurs, mais trs dignes jsuites. lus comme voleurs par lacadmie ! ! ! ! ! ; et dajouter une citation de Voltaire : On dit quil faut quil y ait des chenilles, parce que les rossignols les mangent, pour mieux chanter . Liouville avait vcu quelques annes auparavant une exprience douloureuse, lors dune candidature au Collge de France. Guillaume Libri, meilleur communicateur que mathmaticien, avait russi mystier le milieu scientique, au point dtre prfr Cauchy et Liouville par les professeurs du Collge, en partie pour des raisons politiques. Il faut dire que la plupart ignoraient tout de son charlatanisme , et personne ne pouvait encore savoir que Libri, utilisant ses fonctions dInspecteur des bibliothques publiques, nirait par tre condamn pour vol. Je suis profondment humili, comme homme et comme gomtre, de qui sest pass hier au Collge de France enrage Liouville. Liouville a laiss dans lhistoire des mathmatiques une trace plus profonde que Libri ; par ses travaux bien sr, en particulier sur les fonctions dune variable complexe, mais
5. J. Peier : Joseph Liouville (18091882) : ses contributions la thorie des fonctions dune variable complexe. Revue dhistoire des sciences 36(3-4) p.209248 (1983) 6. B. Belhoste, J. Ltzen : Joseph Liouville et le collge de France Revue dhistoire des sciences 37(3-4) p.255304 (1984)

88

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

aussi par linuence quil a exerce sur ses tudiants. Lun deux crit : M. Liouville a t un des plus brillants professeurs quon ait jamais entendus. Ses leons ont si vivement frapp ma jeunesse, quaujourdhui encore je garde un vif souvenir de la saisissante clart qui tait son apanage. Aussi, quand plus tard jai eu le bonheur de lentendre parler lInstitut, ntaisje pas trop surpris de leet que sa parole produisait sur nos confrres, merveills davoir pu un instant pntrer, sa suite, les questions les plus diciles de la haute analyse.

3.5

La reconnaissance posthume de Laurent

Il a eectivement introduit en 1843 les sries qui portent son nom, mme sil semble que Weierstrass ait pu en avoir lide ds 1841 ; mais on trouve nalement assez peu de renseignements ables sur Pierre-Alphonse Laurent (18131854). Voici, insr dans le compte-rendu de la sance du 19 mars 1855 de lAcadmie des Sciences, le dbut du Rapport sur deux Mmoires de M. Pierre-Alphonse Laurent, chef de bataillon du gnie ; par M. Augustin Cauchy . Un homme dun mrite suprieur, M. Pierre-Alphonse Laurent, a t enlev, par une mort prmature, sa patrie quil servait avec ardeur, la science quil enrichissait de ses dcouvertes. Ds lanne 1843, il composait, sur le calcul des variations, un Mmoire que lAcadmie a jug digne dtre approuv par elle, et insr dans le Recueil des Savants trangers ; la mme anne, au mois daot, M. Laurent prsentait lAcadmie un second Mmoire quil intitulait modestement : Extension dun thorme de M. Cauchy. Mais comme il est dit dans le rapport, cette extension constitue un nouveau thorme, digne de remarque, qui peut tre utilement employ dans les recherches de haute analyse. Aussi lAcadmie a-t-elle adopt les conclusions du Rapport qui signalait ce nouveau Mmoire comme trs-digne dtre approuv par elle et insr encore dans le Recueil des Savants trangers. Depuis ce moment, M. Laurent, travailleur infatigable, a su, par de constants eorts, conserver dans lestime des savants le rang si honorable o ses premiers travaux lavaient plac, et chaque anne il a fait parvenir lAcadmie un trs-grand nombre de Mmoires sur lanalyse, sur la physique mathmatique et particulirement sur la thorie de la lumire. Enn, deux importants mmoires du mme auteur, prsents, au nom de sa veuve, lAcadmie par M. le Marchal Vaillant, ne peuvent quaugmenter les regrets des amis de la science, en leur faisant voir tout ce quon devat encore attendre dun savant distingu, dont la vie a certainement t abrge par ses nombreuses veilles.

89

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

3.6

Fonction zta et nombres premiers

La fonction zta de Riemann nous vient en fait dEuler. Il sagit de la fonction qui un exposant s associe : + 1 . (s) = s n=1 n La dtermination de (2) = 6 , puis dans la foule de (2n) pour n N est un des exploits dont Euler tait le plus er. Il ne stait pas arrt l. Il avait aussi compris le rapport des sries de ce type avec les nombres premiers. Voici la traduction du thorme 7 de Variae observationes circa series innitas paru aux commentaires de lAcadmie des Sciences de Saint-Ptersbourg en 1744 (le travail date de 1737). Thorme 7. Si nous poussons jusqu linni la continuation des fractions 2 3 5 7 11 13 17 19 1 2 4 6 10 12 16 18 dont les numrateurs sont tous les entiers premiers et les dnominateurs sont les mmes moins une unit, le rsultat est le mme que la somme de la srie 1 1 1 1 1 1 + + + + + + 2 3 4 5 6 qui est certainement innie. La dmonstration est un concentr daudace eulrienne. Dmonstration : Si nous avons x=1+ alors nous aurons 1 1 1 1 1 + + + + + , 2 3 4 5 6
2

1 1 1 1 1 x = + + + + , 2 2 4 6 8 qui soustraite de la premire nous donnera 1 1 1 1 x = 1 + + + + , 2 3 5 7 srie o aucun dnominateur nest pair. De celle-l, nous soustrayons encore la srie suivante 1 1 1 1 1 1 x= + + + + ; 2 3 3 9 15 21 et nous aurons 1 2 1 1 1 1 x=1+ + + + + , 2 3 5 7 11 13 90

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

o parmi les dnominateurs nous nen trouvons aucun divisible soit par 2 soit par 3. An dter les nombres divisibles par 5, nous soustrayons la srie suivante. 12 1 1 1 1 x= + + + 23 5 5 25 35 et nous aurons 124 1 1 1 x=1+ + + + . 235 7 11 13 Et procdant de la mme manire, soustrayant tous les termes divisibles dabord par 7, puis par 11, puis par tous les nombres premiers, nous aurons nalement 1 2 4 6 10 12 16 18 22 x=1. 2 3 5 7 11 13 17 19 23 Puisque 1 1 1 1 1 x = 1 + + + + + + , 2 3 4 5 6 nous avons 1 1 1 1 1 1 2 3 5 7 11 13 17 19 23 1 + + + + + + + = , 2 3 4 5 6 7 1 2 4 6 10 12 16 18 22 expression dont les numrateurs constituent la suite des nombres premiers et les dnominateurs sont les mmes moins une unit. Q. E. D. Dans le thorme 8 Euler gnralise avec le mme type dargument, mais cette fois ci les valeurs sont nies. Thorme 8. Lexpression forme partir de la suite des nombres premiers 2n 3n 5n 7n 11n (2n 1)(3n 1)(5n 1)(7n 1)(11n 1) a la mme valeur que la somme de la srie 1+ 1 1 1 1 1 1 + n + n + n + n + n + 2n 3 4 5 6 7

Bon, assez ri ! Vous ntes pas Euler, et vous en savez assez pour dmontrer rigoureusement le rsultat suivant. Thorme 28. Soit D = {z C , Re(z) > 1}. La fonction qui s D associe (s) = 1 s n=1 n
+

est holomorphe sur D. Soit P lensemble des entiers premiers. Pour tout s D, le produit 1 1 pP 1 ps est convergent et gal (s). 91

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Au fait, pourquoi Euler avait-il commenc dans son mmoire par le cas n = 1 ? Les corollaires de son thorme 7 montrent ce quil avait derrire la tte. Corollaire 1. Ainsi la valeur de lexpression 2 3 5 7 11 13 . . . 1 2 4 6 10 12 . . . est innie et si nous notons linnit absolue , la valeur de cette expression est l qui est le minimum parmi toutes les puissances de linni. (Euler veut parler de ln(+), vous laurez compris !) Dans la foule, il revisite le thorme dEuclide. Corollaire 2. Comme lexpression 4 9 16 25 36 49 3 8 15 24 35 48 a une valeur nie qui est 2, il sensuit que les nombres premiers sont inniment plus nombreux que les carrs dans la suite de tous les nombres. Daccord, il y a une innit de nombres premiers, mais quelle innit ? Corollaire 3. galement partir de l, il est galement vrai que les nombres premiers sont inniment moins nombreux que les nombres entiers, puisque lexpression 2 3 4 5 6 7 1 2 3 4 5 6 est innie, et que la valeur analogue pour des nombres premiers est le logarithme de cette valeur. Comparez avec son thorme 19. Thorme 19. La somme des rciproques des nombres premiers, 1 1 1 1 1 1 + + + + + + 2 3 5 7 11 13 est innie, mais elle est inniment moindre que la somme de la srie harmonique 1 1 1 1 1 + + + + + 2 3 4 5 car la premire est comme le logarithme de la seconde. Le thorme de rarfaction des nombres premiers , pressenti par Euler, na t correctement conjectur (par Gauss et Legendre) qu la n du xviiie, et dmontr rigoureusement (par Hadamard et de la Valle Poussin) qu la n du xixe. Thorme 29. Pour tout x R+ , soit (x) le cardinal de lensemble des nombres premiers infrieurs x. (x) lim =1. x x/ ln(x) 92

Maths en Ligne

Fonctions holomorphes

UJF Grenoble

Entre les deux, un petit mmoire de 8 pages, prsent par Bernhard Riemann (1826 1866) pour son admission comme correspondant lAcadmie de Berlin en 1859, avait rvolutionn la question, et donn du grain moudre aux gnrations suivantes : Sur le nombre des nombres premiers infrieurs une grandeur donne . Lide de gnie de Riemann tait davoir prolong la fonction zta en une fonction mromorphe dans tous le plan complexe, avec un ple unique en 1, et davoir donn une formule exacte reliant (x) aux zros de la fonction zta ainsi prolonge 7 . Dans le cours de sa dmonstration, il tait amen utiliser le fait que les zros de la fonction zta, autres que les entiers 1 ngatifs pairs, sont tous de partie relle gale 2 ; et Riemann dajouter incidemment : Il serait dsirer, sans doute, que lon et une dmonstration rigoureuse de cette proposition ; nanmoins jai laiss cette recherche de ct pour le moment aprs quelques rapides essais infructueux, car elle parat superue dans le but de notre tude. En 2004 Gourdon et Demichel ont calcul dix mille milliards de zros de la fonction zta ; ils sont tous de partie relle 1 . Personne ne doute vraiment que l hypothse de 2 Riemann soit exacte, mais elle nest toujours pas dmontre. Andr Weil (19061998) a dit : Quand jtais jeune, jesprais dmontrer lhypothse de Riemann. Quand je suis devenu un peu plus vieux, jai encore eu lespoir de pouvoir lire et comprendre une dmonstration de lhypothse de Riemann. Maintenant, je me contenterais bien dapprendre quil en existe une dmonstration. Le problme est inclus dans la liste des problmes du millnaire et une prime dun million de dollars est oert celui qui trouvera la solution. Alors vous qui tes jeunes. . .

7. G. Lachaud : lhypothse de Riemann, La Recherche 346, P. 2430 (2001)

93