You are on page 1of 23

Chapitre 8

Les fon tions holomorphes
en resume
Il est possible de presenter l'essentiel de la theorie des fon tions holomorphes
de fa on extr^emement simple et ave suÆsamment de generalite pour les
appli ation qui en seront faites dans e ours.
Comme ette presentation n'est generalement pas donnee dans la litterature (est-elle trop simple ?), je la donne brievement i i.

8.1. De

nition
De

on ait jf (z +  ) f (z) w(z) j = o(j j).nition 8. Soit z = x + iy . Une fon tion holomorphe f dans O est une fon tion de O dans C qui est ontin^ument di erentiable au sens omplexe. Soit O un ouvert de C . (8. au voisinage de 0.1) On notera systematiquement w(z ) = f 0 (z ).1. e qui permet d'identi. 'est a dire qu'il existe une fon tion ontinue w(z ) de O dans C telle que pour tout z 2 O.1.

elle peut se ree rire 0 1 0 1 w  w2  A   A 7!  1 . La fon tion F de O  R 2 dans R 2 . = : x y y x 102 . w2  + w1   e qui fournit les equations de Cau hy-Riemann: si f est holomorphe. dans es onditions. O peut ^etre vu aussi omme un ouvert de R 2 . Si on pose f 0 (z ) = w1 +iw2 . puisque l'appli ation  7! f 0 (z ) est lineaire.er C et R 2 . alors F2 F1 F2 F1 = . dont la premiere omposante est la partie reelle de f (x + iy ) et la deuxieme omposante est la partie imaginaire de f (x + iy ) est alors de lasse C 1 .

THEOR EME DE CAUCHY 103 Re iproquement.  8.2. si une fon tion F de O dans R 2 est de lasse C 1 et veri.

y ) est holomorphe. Ave la de. alors la fon tion f (x + iy ) = F1 (x.e les equations de Cau hy-Riemann. y ) + iF2 (x.

8.  La fon tion z 7! ez est holomorphe sur C . b℄ dans O.  Si g est holomorphe sur O et f est holomorphe sur un ouvert O0 ontenant g (O).  Si f est holomorphe sur O et ne s'y annule pas. C'est la determination prin ipale du logarithme omplexe de z. ou on a hoisi la determination pri nipale de l'argument de z est holomorphe. alors 1=f est holomorphe sur O.nition que nous avons donnee. les assertions suivantes sont immediates:  Une somme et un produit de fon tions holomorphes sur O sont holomorphes sur O. alors f Æ g est holomorphe sur O.  Une fra tion rationnelle est holomorphe sur C prives des zeros du denominateurs de la fra tion rationnelle. plus pre isement. qu'on suppose ontinue et ontin^ument di erentiable par mor eaux. Theoreme de Cau hy Soit une appli ation de [a.  Sur C n R la fon tion z 7! lnjz j + i arg z.2. on suppose qu'il existe un nombre .

ni de points a = t0 < t1    < tn < tn+1 = b tels que soit de lasse C 1 sur ha un des intervalles ℄tj . et que 0 ait une limite a gau he en tj et a droite en tj +1 . tj +1 [. L'integrale urviligne d'une fon tion holomorphe f le long du hemin ontin^ument di erentiable par mor eaux est de.

elle hange de signe quand on e e tue un hangement de parametrage de roissant. L'integrale urviligne de f le long de ne hange pas quand on e e tue un hangement de parametrage roissant.1.nie par Z f (z ) dz = Z b a f ( (s)) 0 (s) dt: Lemme 8. .2.

Alors. Soit  une bije tion de lasse C 1 de [a1 . LES FONCTIONS HOLOMORPHES EN RESUM E Preuve. b℄. par de. b1 ℄ dans [a. et notons 1 = Æ .104   CHAPITRE 8.

2 et 8. nous etendrons la de.2) Il est possible d'a aiblir l'hypothese de regularite sur le hemin .1. Z 1 f (z ) dz = Z b1 a1 f Æ Æ (s1 ) 0 Æ (s1 ) 0 (s1 ) ds1 : Faisons dans l'integrale de droite le hangement de variable s = (s1 ). alors 1 2i Z k f (z ) dz = 2 Z 2 0  f  + rei eik d: En parti ulier k lim r #0 2 Z 2 0  f  + rei d = kf ( ): (8. 2 ℄ ! O  7!  + reik .3 permettent d'explorer ette idee.2. Les exer i es 8.2. alors Z f (z ) dz = Z b a f ( (s)) 0 (s) ds = 0: Si a est le entre d'un disque de rayon r entierement ontenu dans O et si est donne par : [0. Plus loin. alors Z 1 f (z ) dz = Z b a f Æ (s) 0 (s) ds si  est de roissante.nition. Z 1 Z b f (z ) dz = a f Æ (s) 0 (s) ds. Cal ulons quelques integrales de fon tions holomorphes le long d'un hemin: si est un hemin onstant. ave k 2 Z .2. 8. Si  est roissante. et la on lusion suit.

.nition pour englober des integrales de hemin sur des hemins ontinus. en utilisant les proprietes parti ulieres des fon tions holomorphes et un argument de densite.

2. prenant ses valeurs dans O et dont la derivee au sens des distributions est integrable sur [a. Montrer que l'integrale d'une fon tion holomorphe le long de est bien de. b℄. b℄ dans C . THEOR EME DE CAUCHY 105 Exer i e 8.  8.2. / Soit une appli ation absolument ontinue de [a.1. b℄ dans O. 'est a dire une appli ation ontinue de [a.

2. / Soit n )n2N une suite de fon tions de lasse C 1 par mor eaux sur [a. Exer i e 8. nlim n!1 asb !1 Z b . . b℄. b℄ et prenant ses valeurs dans O telle que lim max j n (s) (s)j = 0.2. et prenant leurs valeurs dans O. On suppose qu'il existe une fon tion de lasse C 1 par mor eaux sur [a.nie.

0 .

(s) .

0 (s).

Exer i e 8. ds = 0: n a Montrer que si f est une fon tion holomorphe dans tegrales de f le long des n onverge: lim Z nt o1 n f (z ) dz = Z O. Nous allons montrer que si on deforme un hemin d'integration sans hanger ses extremites. alors la suite des in- f (z ) dz: .3.2. . La substanti. et sans quitter la region O ou f est holomorphe.2 est en ore vrai si on suppose et les n absolument ontinus. alors la valeur de l'integrale urviligne de f le long de e hemin est onstante. / Montrer que le resultat de l'exer i e 8.2.

Soit w (t) = Z (.t) f (z ) dz = Z b a f ( (s.2.que moelle est le lemme 8. et a pre iser les notions de onnexite ne essaires. 1). t)  (s.2. t) ne dependent pas de t et notons 0 = (. t))  (s. t) et (b. b℄  [0.2. 0) et 1 = (.2 par densite. t)) ds: + f ( (s. t) ds. Supposons que (a. 1℄ dans O. les resultats qui le suivent ne sont qu'apparemment plus generaux. s al ulons la derivee de w par rapport a t: w_ (t) = Z b a   (s. puisqu'ils reviennent a etendre le lemme 8. Alors Z 0 Z f (z ) dz = 1 f (z ) dz: Preuve.2. t) f 0 ( (s.2. et soit f une fon tion holomorphe dans O. t)) t s st . t)  2 (s. Soit une appli ation de lasse C 2 de [a. Lemme 8.

il vient Z b  2 (s. LES FONCTIONS HOLOMORPHES EN RESUM E Si nous integrons par parties le terme omportant une derivee se onde de . t) ds st a .106   CHAPITRE 8.

t) .  (s.

.

s=b = f ( (s. t)) t .

t) ds: s t Comme (a. w_ est nul. t))  (s. t)) Z b a f 0 ( (s. t) sont independants de t.s=a f ( (s. De. t) et (b. t)  (s. le terme tout integre est nul. et la on lusion du theoreme suit.

la possiblite de deformer ontin^ument un hemin en un autre.nissons maintenant la notion d'homotopie: 'est un mot omplique qui de rit une realite simple. De.

apres un eventuel reparametrage.3. (1. Soient deux hemins ontinus 0 et 1 dans l'ouvert O de C ayant les m^emes extremites.2. Alors les integrales de f sur es deux hemins sont egales.4 (Theoreme de Cau hy). Soit f une fon tion holomorphe dans O.3) Le resultat du lemme 8. ) = 0 (0) = 1 (0). Il onvient de remarquer que l'hypothese parle seulement de deformation ontinue des hemins: pour le moment. nous ne savons pas de.2 peut ^etre generalise omme suit: Theoreme 8. 0 (1) = 1 (1): Ces deux hemins sont dits homotopes dans ontinue de [0. 1℄  [0. (.2. 1℄ dans O telle que O s'il existe une appli ation (.5.2.nition 8. qu'on suppose homotopes dans l'ouvert O. on peut supposer que 0 (0) = 0 (1). Soient 0 et 1 deux hemins de lasse C 1 par mor eaux. 1) = 1 .2. ) = 0 (1) = 1 (1): (8. Remarque 8. (0. 0) = 0 .

Par de. Preuve. pour t di erent de 0 et 1.nir l'integrale de f le long de (. t).

. si t  1. Nous etendons ette appli ation en une appli ation de R 2 dans O. si s  1. s) = 8 > 0 (s) > > > < (s) 1 > 0 (0) > > > : (0) 0 si t  0. il existe une appli ation ontinue de [0.ntion de l'homotopie. si s  0. 1℄2 dans O telle que (8. en posant (t.3) a lieu.

si "  s  1 ".2.  8. THEOR EME DE CAUCHY PSfrag repla ements 107 8 > <0 1 " " (s) = (s ")=(1 2") > : 1 1 " si 0  s  ". si 1 "  s  1. Soit alors " la fon tion de R dans lui-m^eme de.

a support in lus dans [ 1. La fon tion ~" est de. 1℄.nie par et soit une fon tion de lasse C 1 sur R . positive et d'integrale 1.

t) 2 [0. t) = (1. 1℄2 ) est a distan e stri tement positive du omplementaire de O dans C . nous voyons que Z Z " (t0 =") 0 (s0 =") 0 0 (" (s) " (s0 )) " (s. " (t)). et omme la onvergen e de " vers est uniforme quand " tend vers 0.nie sur tout R  R en posant ~" (s. t t0 ) ds0 dt0 : "2 Comme ~" (s. 0) = 0 (1): Comme l'appli ation est ontinue.1) f (z ) dz = Z 1 Le m^eme raisonnement indique que Z Z " " (s0 =") (0. 1℄2 : et la fon tion " est donnee par Z (s0 =") (t0 =") " (s. 0) 0 " (t0 =") 0 " (0. " " " et de fa on similaire " (1. 0) = dt ds " " " Z (s0 =") 0 ds . = 0 (" (s) " (s0 )) " et nous pouvons passer a la limite omme suit: lim Z "!0 " (.5) De fa on analogue. t) = ds dt = (0. (s.4) f (z ) dz: (8. si t  ". t) = 0 (s). t) = " (s s0 . 0) = 0 (0). t) = (" (s). nous voyons que pour . le ompa t ([0.0) f (z ) dz = Z 0 f (z ) dz: (8. lim Z "!0 " (.

on peut don appliquer le lemme 8. / Donner le raisonnement omplet qui permet de justi. Par onsequent. Exer i e 8. 0) est homotope dans O au hemin " (.2. LES FONCTIONS HOLOMORPHES EN RESUM E 108 tout " assez petit. Comme la fon tion " est de lasse C 1 en vertu de theoremes generaux.4.0) f (z ) dz = Z " f (z ) dz: La demonstration du theoreme se on lut en utilisant les passages a la limite (8. 1℄2 par " est in luse dans O. 1).2. d'ou il resulte que Z " (. le hemin " (.4) et (8. l'image de [0.5).  CHAPITRE 8.2.

ayant les m^emes extremites que et veri.4) et (8.6.5). Soit f une fon tion holomorphe dans O. b℄ dans O. .2. et soit une appli ation ontinue de [a. Nous avons egalement le Corollaire 8.er les passages a la limite (8. Il existe " > 0 tel que pour tous hemins 1 et 2 ontin^ument di erentiables par mor eaux.

2. /On note l'ensemble des hemins ontinus a valeurs dans O. e qu'on notera  0 s'il existe une appli ation ontinue roissante  de [0. On peut faire des operations algebriques sur les hemins. 1℄ dans lui-m^eme telle que = 0 Æ : On de. .5.6.2. On dira que deux hemins et 0 appartenant a sont equivalents.b [ alors Z 1 ℄ f (z ) dz = Z 2 f (z ) dz: Exer i e 8. 2g.2. 2 a.ant 8j 2 f1. 1℄. / Demontrer le orollaire 8. smax j (s) j (s)j  ".6. parametres par [0. qui se traduisent en operations algebriques sur les integrales de hemin: Exer i e 8.

. 1 (1) = 2 (0): Si les deux hemins 1 et 2 sont omposables.nit une operation sur une partie de deux hemins sont omposables si  omme suit: tout d'abord. alors on pose ( 1 _ 2 )(s) = ( 1 (2s) 2 (2s 1) si 0  s  1=2. si 1=2  s  1.

alors 1 _ 2  10 _ 20 . j = 1. 2.  8. Montrer que si j  j0 . Veri.2. THEOR EME DE CAUCHY 109 Dessiner le hemin 3 = 1 _ 2 .

pour des hemins 1 et 2 omposables: 1 _ 2 6 2 _ 1 . _    " _ : 3 1 (1) 2 3 (0) On de. 1℄: Montrer que pour tout 2 . et 2 et 3 d'autre part. sont omposables. Montrer que si 1 et 2 d'une part. alors 1 _ 2  _  _ _ ): Si z est un element quel onque de O. s 2 [0. on pose z (s) = s.er qu'en general.

nit pour tout hemin dans un hemin 1 par 1 (s) = (1 s): Veri.

er qu'en general _ 6 _ : Soit f une fon tion holomorphe dans O. Z 0 f (z ) dz = Z pour tout  dans pour tout 2 O. en revenant au point de depart. Les ouverts les plus simples au regard de la theorie de l'integration sur des hemins sont des ouverts \sans trous". si 1 et 2 sont omposables. f (z ) dz = Z f (z ) dz: . Z 1 Z 1 _ 2 f (z ) dz = Z 1 f (z ) dz + Z 2 f (z ) dz. f (z ) dz = 0. Qui parle de \trou" parle de la possibilite de tourner autour d'un trou. Montrer qu'on a toutes les relations suivantes si  0 . Z . Ainsi: De. 1  1 f (z ) dz .

2. Un la et : [a.nition 8. b℄ 7! C est un hemin dont l'origine et la .7.

.n on ident: (a) = (b).

LES FONCTIONS HOLOMORPHES EN RESUM E Voi i maintenant la de.110   CHAPITRE 8.

nition d'un ouvert simplement onnexe: De.

nition 8. La notion d'indi e d'un la et par rapport a un point est de. Un ouvert O de C est dit simplement onnexe si tout la et a valeurs dans O est homotope dans O a un la et onstant.2.8.

on veri.7 et 8.nie dans les exer i es 8. et dans e as. / Soit un la et ontinu dans C n fxg.8.2. Indi ation: on ommen era par supposer que est de lasse C 1 . parametre par [a.2.6) est un entier. Montrer que l'expression 1 2i Z dz z x (8.7.2. Exer i e 8. b℄.

2.6).4 que l'integrale de f le long du la et est egale a l'integrale de f le long du la et 1 .8. e la et est homotope a un la et onstant 1 . Montrer qu'il est onstant sur les omposantes onnexes de C n ([a. De fa on equivalente. x) l'entier egal a l'expression (8. / On note j ( .9. il resulte alors du theoreme 8. Montrer par densite le resultat general. En deduire que  Z s (s) = x + j (a) xj exp i a  ! (t) dt . . et on lure dans e as-la.2.2. Exer i e 8. Theoreme 8. Preuve. . pour tout hemin ontinu l'expression Z f (z ) dz ne depend que de (0) et de (1). b℄). C'est l'indi e du la et par rapport a x. Soit un la et ontinu. l'integrale de f sur tout la et ontinu est nulle.era que d (s) x ds j (s) xj est de la forme (s)i! (s)=j (s)j . . par hypothese. Nous pouvons donner la forme parti uliere du theoreme 8.4 dans un ouvert simplement onnexe. Soit O un ouvert simplement onnexe et soit f une fon tion holomorphe dans O. ave ! une fon tion ontinue reelle.2. or nous avons vu que l'integrale le long d'un hemin onstant est nulle.

1 (s) = (2(1 s)).10. don l'integrale de f le long de est nulle.  8. 0  s  1. ou. et si est un la et. Remarque 8. ave les notations de l'exer i e 8.2. Il s'ensuit immediatement que l'integrale de f le long de est nulle.  0 _ 1 . si l'integrale de f le long d'un hemin ne depend que des extremites de e hemin. 0 (1) = 1 (1). don les integrales de f le long de 0 et de 1 sont egales. Par hypothese.2. ont m^emes extremites. onstruisons un la et en posant ( 0 (2s) 1 (1 2s) (s) = si 0  s  1=2. et par onsequent. mais ette integrale est egale a la di eren e des integrales de f le long de 0 et de 1 . 0  s  1. THEOR EME DE CAUCHY 111 Si 0 et 1 sont des hemins dont les extremites on ident: 0 (0) = 1 (0). si 1=2  s  1.6. e qui montre le resultat annon e. La notion d'homotopie que avons de. on remarque que les hemins 0 (s) = (s=2). Re iproquement. est homotope a un la et onstant.2.

nie suppose les extremites du hemin .

ela veut dire qu'un point du la et est .xees pendant toute la deformation ontinue. Dans le as du la et.

xe. mais on peut tout autant de.

nir une homotopie de la ets sans .

dit point de base.xer e point. L'inter^et de ette autre de.

nition de l'homotopie est que l'integrale d'une fon tion holomorphe est la m^eme sur deux la ets homotopes dans O. m^eme quand le point de base n'est pas .

Nous allons onstruire une homotopie a point de base .xe.

Soit (s. (0. telle que pour tout t dans [0. 1℄. t) une appli ation ontinue de C dans O. t) = (1. pour prouver ette assertion.xe. t). de.

ave point de base . 0) = (. si 2=3  s  1.nissons 8 > < (0. t) = (3s 1. si 1=3  s  2=3. t) > : (1. Alors le la et Æ (. 1). 3st) Æ (s. 0) est homotope a Æ (. 3t(1 s)) si 0  s  1=3.

xe. 2s 1) si 0  s  1=2. . Soit Æ1 le la et ( Æ1 (s) = (0. si 1=2  s  1. 2s) (1.

7) pour tout r assez petit. Il resulte du theoreme 8. Mais on a vu que quand r tend vers 0.7) tend vers f (a).1) Z f (z ) dz = Æ (.4.4 que la quantite 1 2i Z f (z ) dz z a est egale a 1 2 Z 2 0  f a + rei  d (8.1.0) par ailleurs f (z ) dz = Z Æ (. un la et sera dit tourner k fois dans O autour de  (k 2 Z ) si est homotope dans O au la et [0.1) Z 1 f (z ) dz . Developpement en serie entiere des fon tions holomorphes Voi i une premiere appli ation essentielle du theoreme de Cau hy: Theoreme 8.3. Voi i le orollaire qui permet de montrer que les fon tions holomorphes sont analytiques 'est a dire qu'elles sont lo alement sommes de leur serie de Taylor: . e qui demontre le theoreme. on a Z Æ (. alors 1 2i Z f (z ) dz = f (a): a z Preuve.2.7) est independante de r pour tout r assez petit. par onsequent l'expression (8. f (z ) dz: Si  est un point d'un ouvert O de C . soit  un element de O et soit un la et tournant une fois dans le sens positif autour de  .3. Soit f une fon tion holomorphe dans un ouvert onnexe et simplement onnexe O. LES FONCTIONS HOLOMORPHES EN RESUM E alors Z Æ1 f (z ) dz = 0: En vertu du theoreme 8.2. 2 ℄ ! C  7!  + reik : 8.112   CHAPITRE 8. l'expression (8.

 8. Soit f une fon tion holomorphe dans un ouvert O de C . alors elle est in.3. SERIES ENTI`EREES 113 Corollaire 8.3.2.

8) De plus le rayon de onvergen e de ette serie est fa ile a estimer: il est immediat que . r) et pour tout z tel que jz  j = r. En parti ulier. et de plus sa serie de Taylor en  a pour rayon de onvergen e au moins la distan e de  au omplementaire de O dans C . Preuve. et don Z f (z ) 1 dz = f (w): 2i z w Mais nous pouvons developper 1=(z w) en serie entiere au voisinage de  : 1 (w  )j X 1 1  = = . z w (z  ) 1 (w  )=(z  ) (z  )j +1 j =0 pour tout  2 (0. il est possible d'integrer terme a terme la serie 1 f (z )(w  )j 1 X 2i j =0 (z  )j +1 sur . Soit r un nombre stri tement inferieur a la distan e de  a C n O. ette serie entiere onverge uniformement par rapport a w. 2 ℄ ! C  7!  + rei tourne une fois autour de b. pourvu que jw  j  r . et nous voyons que 1 X 1 f ( b) = ( w  ) 2i j =0 j Z f (z ) dz:  )j +1 (z (8. alors le la et : [0.niment di erentiable en tout point  de O. si w satisfait jw  j < r.

Z .

.

.

.

.

f ( z ) .

.

 2 max r j .

.

f ( + rei .

.

. dz .

(z  )j +1 .

j =0 . 0 2 don e rayon de onvergen e est au moins egal a r.8) est la serie de Taylor de f en  : en e et. La serie (8. si nous avons une representation d'une fon tion f sous la forme d'une serie entiere 1 X f ( b) = y j ( w  ) j .

114   CHAPITRE 8. et don f 0 (a) = y1 : Une re urren e immediate fournit f (j ) (a) = j !yj : Ce i prouve egalement que f est in. il est immediat que y0 = f (a). LES FONCTIONS HOLOMORPHES EN RESUM E de rayon de onvergen e r > 0. la serie 1 f (w ) f ( ) X = yj +1 (w  )j w  j =0 a en ore un rayon de onvergen e au moins egal a r.

Pour tout r > 0 on a j! f (0) = 2 (j ) Z 2 0  f rei d: rj eij On a don l'estimation .niment di erentiable (au sens omplexe) par rapport a  . Une fon tion entiere bornee sur C est onstante. on voit qu'en fait le rayon de onvergen e de la serie de Taylor de f en  est au moins egal a la distan e de  au omplementaire de O. 8. Comme r est stri tement inferieur a la distan e de  au omplementaire de O. Preuve.4. Fon tions entieres et thoreme de Liouville Voi i une autre appli ation du theoreme de Cau hy: une fon tion entiere est une fon tion holomorphe sur tout C . Theoreme 8.4.1 (Theoreme de Liouville).

j .

.

f (0).

4. Tout polyn^ome de degre au moins egal a 1 admet une ra ine dans C . on voit que f ( j )(0) est nulle pour tout j  1.  jf jL1 C j !r j : ( ) Comme f est arbitraire.2. Le orollaire suivant est lassique: Theoreme 8. .

MAXIMUM Preuve.3.5.1. Le theoreme 8. Preuve. et prouve le theoreme. il est lair que 1=P est bornee sur les ompa ts de C .4. e i implique que P est aussi onstante. omme de plus lim 1=P (z ) = 0. 'est un polyn^ome. Si P etait un polyn^ome n'admettant pas de ra ine dans C . Supposons qu'il existe une onstante C et un entier m tels que  jf (z)j  C 1 + jzj m: Alors.4. 1=P serait une fon tion entiere.115 8.1 admet la generalisation suivante: Theoreme 8.4. elle est don onstante d'apres le theoreme 8. Si f est une fon tion entiere sur C a roissan e au plus polyn^omiale. jzj!1 la fon tion 1=P est bornee. .

j .

.

f (0).

5. 8.  Cj !r j (1 + r)m: Il est alors evident que pour j > m. Prin ipe du maximum et ompa ti. f j (0) est nul. e qui demontre le resultat annon e.

ation Le prin ipe du maximum sera important dans la suite du ours: il est utile de de.

nir une fon tion holomorphe dans un domaine de C = C [ f1g: De.

Remarque 8. Alors f est holomorphe dans O [ 1 si elle est holomorphe dans O et si de plus z 7! f (1=z ) est holomorphe au voisinage de 0. On peut aussi de.5.2.5.nition 8.1. On suppose que O est un domaine non borne de C .

une fon tion f de F dans C est ontinue dansr F [ f1g si f est ontinue dans F et si de plus f (z ) a une limite quand z tend vers l'in.nir la ontinuite d'une fon tion sur un ferme F de C : si F est un ferme non borne de C .

z2O On remarque alors que si une fon tion est ontinue sur un domaine de F [ f1g dans le sens qui vient d'^etre de. On posera alors f (1) = lim f (z ): (8.ni dans F .9) jzj!1.

alors on peut trouver une suite (zj ) telle que jf (zj )j tende vers l'in. alors elle est bornee: en e et. supposons qu'elle ne le soit pas.ni.

ni. la suite zj ne peut que tendre vers l'in. En vertu des proprietes lassiques des fon tions ontinues sur les ompa ts.

on a ainsi une situation ou tous les fermes de C sont ompa ts: on dit qu'on a de. De la m^eme fa on.9). une fon tion ontinue sur un ferme F de C a valeurs reelles atteint son minimum et son maximum. e qui ontredit l'hypothese (8.ni en module.

ni une ompa ti.

. ation a un point de C .

Si F \ O est dense dans O. Preuve. LES FONCTIONS HOLOMORPHES EN RESUM E Exer i e 8. Alors jf j ne peut atteindre son maximum dans O que si f est onstante. Supposons que F \ O ne soit pas dense dans O. Soit M le maximum de jf j .5.116   CHAPITRE 8.3. Soit F l'ensemble des points de O ou jf j atteint e maximum. Si est le er le de entre  et de rayon r par ouru une fois dans le sens positif. [ 1 et a valeurs Theoreme 8. on peut e rire. / Montrer que toute fon tion ontinue sur F reelles atteint son minimum et son maximum sur F [ 1. alors jf j est onstant sur O. Soit f une fon tion holomorphe dans un ouvert onnexe O de C . on suppose de plus que f est ontinue sur O. Alors il existe un point  de O \ F et un nombre r > 0 tel que. . De plus. Supposons que jf j atteigne son maximum a l'interieur de O. en vertu du theoreme de Cau hy jf ( )j  .5. e er le est entierement in lus dans O.1. le er le de entre  et de rayon r interse te O n F .

Z .

1 .

.

2i .

f (z ) dz .

.

:  .

jf (z )j prend des valeurs au plus egales a M . et par onsequent. mais pas identiquement egales a M . et soit U l'ouvert forme des points de O sur lequel f n'est pas negative ou nulle. le module de f est onstant sur O. supposons que M n'est pas nulle. le theoreme est demontre. le theoreme est demontre. Si f ne prend que des valeurs negatives ou nulles. on a l'estimation jf (z)j < M. Si M est nul. Supposons que f ne prenne pas que que des valeurs negatives ou nulles. On peut don de. Par onsequent. e qui ontredit le fait que jf ( )j = M . z Sur le er le .

Mais g est imaginaire pure: on deduit alors des equations de Cau hyRiemann que g est onstante lo alement sur U . alors f est onstante sur O . 'est a dire dans O = fz : R < jz  j < R g: 1 2 Nous allons montrer que nous pouvons faire un developpement en serie de f . alors par ontinuite. Si f prend quelque part des valeurs negatives ou nulles. . 8. mais ette fois- i ave des oeÆ ients indexes par Z . et g est holomorphe sur U .nir g (z ) = ln f (z ). le logarithme omplexe de f . Developpement de Laurent Soit f une fon tion holomorphe dans un domaine annulaire.6. et le theoreme est demontre. f doit ^etre negative ou nulle partout. si f ne prend nulle part des valeurs negatives ou nulles.

6. DEVELOPPEMENT DE LAURENT PSfrag repla ements  1 117 w  1 Æ1 w Æ2 2 2 Figure 8. alors. Soit w un point de O.1: La ets utilises pour le developpement de Laurent. 8. nous allons veri.

le la et 2 est homotope au la et Æ2 et le la et 1 est homotope au la et Æ1 de la .10) En e et. si j est le er le de entre  et de rayon rj tournant une fois dans le sens positif. alors 1 f (w ) = 2i Z f (z ) dz w 2 z 1 2i Z f (z ) dz : w 1 z (8.er que pour tous r1 et r2 tels que R1 < r1 < jw  j < r2 < R2 .

Ce i demontre don l'identite (8.1.10). on a pour z dans 2 : 1 (w  )j X 1 = . On peut developper en serie entiere l'expression 1=(z w) pour z dans 1 : on a 1 (z  )j X 1 = . Mais la di eren e entre les integrales sur Æ1 et sur Æ2 est pre isement egale a une integrale de f (z )=(z w) le long d'un la et qui borde un disque entierement in lus dans O. z w (w  )j +1 j =0 et omme pour le developpement de Taylor.gure 8. . z w j =0 (z  )j +1 et don on peut e rire f (z ) = X j 2Z yj (z  )j .

118   CHAPITRE 8. LES FONCTIONS HOLOMORPHES EN RESUM E en de.

j 0 yj (z  )j 8. Theoreme des residus De. le la et est n'importe quel la et tournant une fois dans le sens positif autour de  dans O. et la serie X onverge si jz  j < R2 .7.nissant Z f (z ) dz 1 : j 2Z ed: 2ip i (z  )j +1 Dans ette derniere formule. La serie yj = X j 0 yj (z  )j onverge si jz j > R1 .

n g. On appelle residu de f en  . et soient 1 . k ): 2i k=1 Preuve. : : : .  ) le oeÆ ient de (z  ) 1 dans le developpement de Laurent de f au point . par de. Soit O0 un ouvert simplement onnexe de C . on note O = O0 n f1. La fon tion uj est entiere par rappport a la variable 1=(z j ).2 (Theoreme des residus). k )j ( . Soit uj (z ) la partie singuliere du developpement de Laurent de f au voisinage du point j .7. Theoreme 8. qui est extr^emement utile dans tous les al uls d'integrales de fon tions holomorphes. On a alors l'identite suivante: Z n X 1 f (z ) dz = Res(f . Soit f une fon tion holomorphe dans O et soit un la et dans O. n points distin ts de O0 .1.7. Soit f une fon tion holomorphe dans un disque entre en  et prive du point  . : : : . et on note Res(f . Le theoreme de Cau hy onduit au resultat suivant. n .nition 8.

alors on peut e rire dans  fj g g (z ) = f (z ) u j (z  X k6=j u k (z ): . si  est un disque de entre j et de rayon r qui ne ontient au un des k pour k 6= j .nition du developpement de Laurent au voisinage d'un point. Montrons que la fon tion g (z ) = f (z ) n X j =1 u j (z ) peut ^etre prolongee en une fon tion holomorphe dans tout O. En e et.

pour tout k 6= j . Z uj (z ) dz peut se al uler expli itement: pour tout j = 6 1. THEOR EME DES RESIDUS 119 Or la fon tion f (z ) uj (z ) admet un developpement de Laurent en j qui n'a que des termes d'indi e positif ou nul: 1 X f (z ) uj (z ) = dj. Pour e e tuer des al uls de residus. j z e qui on lut la demonstration. g est holomorphe. par onsequent Z j a une primitive. j )j ( . qui z j dz = 0: Le seul terme qui reste dans le al ul est le terme orrespondant a j = 1. on utilise souvent des ir uits dont une partie est un ar e de er le tendant vers l'in. don g est holomorphe dans O0 . Au voisinage de tout autre point de O. z est egale a z 1 j =(1 j ).   8. Le theoreme de Cau hy nous dit alors que Z g (z ) dz = 0: Par ailleurs. j ) dz = 2i Res(f. et son oeÆ ient est le residu en j : Z Res(f.m z j )m : m=0 Don f uj peut de se prolonger en une fon tion holomorphe dans tout . Par ailleurs.7. j ). uk est holomorphe dans .

3 (Lemme de Jordan).7. L'estimation des integrales de fon tions holomorphes sur un tel ar de er le est fa ilitee par le Theoreme 8.ni. Soit a un reel. et soit g une fon tion de.

nie et ontinue sur une suite d'ar s de er le Cn de.

ou la suite des Rn tend vers l'in.nis par Cn = fz 2 C : Im zn  a. jzn j = Rn g.

ni quand n tend vers l'in.

ni. Si lim maxfjg (z )j : z 2 Cn g = 0 alors. n!1 lim Z n!1 C n eiz g (z ) dz = 0: . pour tout  > 0.

 n ℄ ! C  7! Rn ei : Il nous suÆra d'evaluer l'integrale Z  +n n e . On pose n = ar sin(jaj=Rn ): Alors l'ar Cn est parametre par n : [n . LES FONCTIONS HOLOMORPHES EN RESUM E Preuve.120   CHAPITRE 8.

.

i i .

g ( R e .

n .

Rn e d: Rn sin  .

 on voit que Z =2 0 e . sin   2 . =2℄. Posons n = max maxfjg (z )j : z 2 Cn g: Comme sur [0.

.

i i .

.

g (Rn e .

Rn e d Rn sin  .

11) est garantie. 2Rn et la onvergen e vers 0 de l'integrale (8.11) Mais on peut integrer a vue l'expression i-dessus. qui vaut   1 exp( Rn ) n Rn .  Z =2 0 e 2Rn = n Rn d: (8. En e qui on erne l'integrale Z 0 n e .

.

i i .

.

g (Rn e .

Rn e d. Rn sin  .

on l'estime par Rn n exp(Rn sin n ) n qui tend vers 0 quand n tend vers l'in.

ni. par de.

e qui prouve l'estimation annon ee. .nition de n .

Theoreme 8. Soit f une fon tion holomorphe dans un ouvert onnexe O.1.8. omme le montre le resultat suivant.8.8. S'il existe une suite in. PRINCIPE DES ZEROS ISOLES 121 8. Prin ipe des zeros isoles Une fon tion holomorphe est determinee par la onnaissan e de ses valeurs sur une suite de omplexes ayant un point d'a umulation.  8.

f (z1 ) est nulle. il est de plus ferme: si z1 est un point d'a umulation de O1 . le raisonnement qui pre ede nous montre que 'est egalement un point de O1 . et soit O1 l'interieur de F . et son developpement de Taylor est donne par 1 f (j ) ( ) f (z ) X 1 (z  )j 1 . L'ensemble O1 n'est pas vide.nie de points distin ts zn de O onvergeant vers un point z1 de O tels que f (zj ) soit nulle pour tout j . Par une re urren e immediate. = 1 z j! j =1 mais la fon tion f (z )=z s'annule en ore aux points zj . alors f est identiquement nulle dans O Preuve. Soit maintenant F l'ensemble des points de O ou f est nulle. don la fon tion f (z )=z est aussi analytique. il est ouvert par onstru tion. Par de. La fon tion f a un developpement de Taylor qui onverge dans un disque  de entre z1 et de rayon r > 0: 1 f (j ) ( ) X 1 (z  )j : f (z ) = 1 j! j =0 Par ontinuite. on voit que la serie de Taylor de f est nulle dans le disque .

une partie ouverte.nition de la propriete de onnexite. 8.9. Etude de la resolvante d'un operateur lineaire en dimension . fermee et non vide d'un ensemble onnexe est tout l'ensemble onnexe. e qui montre le rfesultat annon e.

nie Nous allons appliquer es te hniques pour retrouver la forme de Jordan des operateurs lineaires en dimension .

La .nie.

n de e hapitre est presentee omme une suite d'exer i es. a.

L'inspiration se trouve bien entendu dans le livre de Kato [?℄.1. et il s'agit i i d'etudier la fon tion (z A) 1 quand A est un operateur lineaire borne dans C d .n d'exer er l'esprit du le teur.9. Exer i e 8. / Une fon tion d'un ouvert O dans C dans un espa e ve toriel V omplexe de dimension .

nie est holomorphe. Veri. si ha une de ses omposantes dans une base arbitraire de V est holomorphe.

er qu'une telle fon tion .

LES FONCTIONS HOLOMORPHES EN RESUM E admet un developpement en serie au voisinage de tout point de O. Si V est l'espa e Md (C ) des matri es d  d omplexes. veri.122   CHAPITRE 8.

/ Soit A une matri e d  d telle que lim kAn k1=n = 0: n!1 (8. Montrer que le spe tre de A ontient au plus d nombres distin ts. alors la restri tion A~ de A a Xj est inversible. /Soit A 2 Md (C ). montrer alors que si Xj n'est pas reduit a 0.12) ne peut ^etre vraie.5. . X1 = AX0 .9.3.12) Montrer alors qu'il existe un entier p  d tel que Ap = 0: Indi ation: Soit X0 = C d . Exer i e 8. . .9. alors (z . sans faire appel au polyn^ome ara teristique de A. Les in lusions suivantes sont laires: X0  X1      Xj  Xj +1  : : : Montrer que s'il existe un j tel que Xj = Xj +1 .9.er que f 1 est holomorphe dans l'ensemble O = fz 2 O : f (z) est inversibleg: 1 .9.2. Indi ation: montrer qu'il existe un R > 0 tel que: jzj  R =) k(z A) 1k  jz2j . Exer i e 8. /Le spe tre de A. : : : . Xj +1 = AXj . Exer i e 8. / Montrer que lim supkAn k1=n  maxfjz j : z 2 spe Ag: n!1 . / Montrer l'identite resolvante: si z et w n'appartiennent pas a spe A. A) 1 (w A) 1 = (z A) (w A) 1 : w z 1 . raisonner par l'absurde et appliquer le theoreme de Liouville. Exer i e 8. note spe A est l'ensemble des nombres z tels que z A n'est pas inversible.6. alors la relation (8. Exer i e 8. On pose f (z ) = z A.9. montrer que f ne peut ^etre inversible pour tout z .4.

9.9. Exer i e 8.8. L L = L L = L 0 1 1 0 2 1 1 2 2 .  8. sans perte de generalite. si est un petit er le par ouru une fois dans le sens positif autour de 0.9. . = Lm2 . Montrer en utilisant l'identite resolvante. 0  L L = L L = 0. pour tout m  1. RESOLVANTE D'OPERATEURS 123 Exer i e 8. . . et ne ontenant pas d'autre point du spe tre de A dans son interieur. en utilisant l'exer i e 8. qu'on a Lm Ln = 1 (2i )2 Z Æ (z A) (w A) z w z m 1 w n 1 dz dw: Montrer que l'on a Lm Ln = Lm+n+1 (m + n + 1) (8. On posera don .13) onverge pour 0 < jz j <  que lim kLn 2 k1=n = 0: n!1 Con lure alors que L 2 est nilpotent. . on suppose de plus que est interieur a Æ . et on aura ainsi (z A) 1 = X m2Z Lm z m : (8.  Lm = Lm pour tout m  1. on peut supposer que e point est nul. et ne ontenant dans son interieur au un autre point du spe tre de A: Z 1 Lm = 2i (z A) 1 z m 1 dz. Exer i e 8.5.9.14) ou m vaut 1 si m  0 et 0 sinon.14) pour montrer que  L'appli ation lineaire L L m 1 1 est une proje tion.13) On suppose que Æ est un autre er le par ouru une fois dans le sens positif autour de 0. / On e rit le developpement de Laurent de (z A) 1 au voisinage d'un point du spe tre de A.9.7.9. / Deduire du fait que la serie de Laurent (8. /Utiliser la relation (8.

toujours en utilisant l'identite resolvante qu'on a les relations Pj Pk = Æjk Pj .10.124   CHAPITRE 8.9. / A haque element zj (1 asso ie 1 Pj = 2i Z j  j  J ) du spe tre de A. 1 A) dz et Dj = 2i (z Z 1 j (z on A) 1 z dz: Montrer. LES FONCTIONS HOLOMORPHES EN RESUM E Exer i e 8. Pj A = APj et en integrant (z qu'on a A) 1 sur un er le dont on fait tendre le rayon vers l'in.

ni. Pj = 1d : . J X j =1 .