Académique Documents
Professionnel Documents
Culture Documents
Cartan H.-Theorie Elementaire Des Fonctions Analytiques D'une Ou Plusieurs Variables Complexes (1997)
Cartan H.-Theorie Elementaire Des Fonctions Analytiques D'une Ou Plusieurs Variables Complexes (1997)
i@1tftffi~ m~~1!l~
'lID'B
!)'!1
Henri Cartan
b11,.;trd'JtD T~lHIID][;nr.:IDWn:l~:r
H ER M A N N
1J:m~
fW:TI C];;)
Henri Cartan
fonctions analytiques
d'une ou plusieurs variables complexes
HERMANN
ISBN 270565215 9
1961, Hermann, diteurs des sciences et des arts, 293 rue Lecourbe, 75015 Paris
Toute reproduction ou reprsentation de cet ouvrage. intgrale ou partielle. serait illicite sans
l'autorisation de l'diteur et constituerait une contrefaon.
Les cas strictement limits usage priv ou de citation. sont rgis par la loi du Il mars 1957.
9
9
36
Exercices ..............................................
43
49
49
66
Exercices ..............................................
76
1.
1.
2.
16
28
2.
3.
4.
5.
6.
Exercices
CHAPITRE
IV. FONCTIONS
80
80
82
84
85
90
100
109
ANALYTIQUES
DE
PLUSIEURS
VARIABLES;
FONCTIONS HARMONIQUES .
120
120
134
Exercices ..............................................
140
I.
123
124
129
160
165
Exercices ..............................................
1 71
175
Gnralits; exemples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Reprsentation conforme; automorphismes du plan, de la
sphre de Riemann, du disque ouvert ....................
3. Thorme fondamental de la reprsentation conforme ......
4. Notion d'espace analytique; intgration des fonres diffrentielles ............................................
5. Surfaces de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
175
191
199
Exercices ..............................................
2 10
1.
144150
181
187
.........
214-
220
Exercices ..............................................
223
226
227
231
I.
144-
.....................
214-
222
Avant-propos
Avant-propos
est appel ici espace analytique n'est pas autre chose que ce qui tait
auparavant et est encore souvent dsign sous le nom de surface de
Riemann ; nous avoDs prfr rserver le nom de surface de Riemann
la double donne d'un espace analytique et d'une application holomorphe
de cet espace dans le plan complexe (ou, plus gnralement, dans un autre
espace analytique). Ainsi se trouve tablie, avec toute la nettet dsirable,
une distinction entre deux notions que la terminologie classique rendait
impossible.
Sur un sujet aussi classique que la thorie des fonctions analytiques d'une
variable complexe, auquel tant de traits ont t consacrs et sont encore
consacrs dans tous les pays, il ne pouvait tre question de prtendre
l'originalit. Si le prsent trait se distingue de ceux qui l'ont prcd en
France, c'est peut-tre parce qu'on s'y conforme un usage rcent, et qui
tend se rpandre de plus en plus: un texte mathmatique doit contenir
des noncs prcis de propositions ou de thormes, noncs qui se suffisent
eux-mmes et auxquels il soit possible tout instant de se rfrer. A
quelques rares exceptions prs, qui sont expressment signales, il est donn
des dmonstrations compltes de tous les noncs du texte.
Les questions un peu dlicates de Topologie plane, en relation avec
l'intgrale de Cauchy et la considration des fonctions multiformes ,
ont t abordes franchement au chapitre II. Ici encore, on a pens que
quelques noncs prcis taient prfrables de vagues intuitions et des
ides floues. Sur ces questions de Topologie plane, je me suis inspir du
livre excellent de L. Ahlfors (Complex Analysis), sans toutefois me conformer
entirement aux points de vue qui y sont dvelopps. Quant aux notions
de base de la Topologie gnrale, elles sont supposes connues du lecteur
et utilises en maints endroits de ce livre; en effet, ce cours s'adresse aux
tudiants de Mathmatiques II , qui sont censs avoir dj tudi le
programme de Mathmatiques 1 .
J'exprime mes vifs remerciements Monsieur Reiji Takahashi qui, fort
de l'exprience qu'il a acquise en dirigeant les travaux pratiques des tudiants, a bien voulu complter les divers chapitres de ce livre par des
noncs d'exercices et de problmes. Nous souhaitons que le lecteur ait
ainsi la possibilit de s'assurer qu'il a compris et assimil les notions thoriques exposes dans le texte.
HENRI CARTAN
CHAPITRE 1
des coefficients an, tous sont nuls sauf un nombre fini. La table de
multiplication
dfinit une multiplication dans K [X]; le produit
est ~ cnXn, o
ft
(1.1)
CA
~
1'+'1
apbq
:Il
1)
l,
an
pour
n~O
( ~ anXn)
n~O
(~ bnxn) = ~ c"Xn,
n~O
n~O
,,~o
l,
an
=0
pour
Ti
>
O.
L'algbre K [X] s'identifie une sous-algbre de K [[X]], savoir la sousalgbre des sries formelles dont les coefficients sont tous nuls sauf un
nombre fini.
3.
Soit 8(X)
srie est un entier qui n'est dfini que si 8 oF 0 : c'est le plus petit n tel que
a" oF o. On dit qu'une srie formelle 8 est d'ordre;> k si elle est 0 ou si
00(8) ;> k. Par abus de langage, on crit Il)(8) ;> k mme lorsque 8 = 0,
bien que Il)(8) ne soit pas dfini dans ce cas.
10.
Remarque. On pourrait convenir que (1)(0) = + Xl. Les S telles que oo(S) ~ k
(k entier donn) sont simplement les sries ~ a.X tdles que a. = 0 pour
.~o
SI(X) = ~ a.,IX
.~o
est la srie
S(X)
~ a.X,
.~o
les a.,h pour n donn, sont nuls sauf pour un nombre fini de valeurs de i.
L'opration d'addition des sries formelles, lorsqu'elles forment une
famille sommable, gnralise l'addition finie, dduite de la structure vectorielle de K[[X]]. Cette addition gnralise est commutative et associative
dans un sens que le lecteur prcisera;
La notation formelle ~ a.X peut alors se justifier a posteriori. En effet,
.~o
que a. =
monmes
pour n =F
~o
n'est autre que la somme de la famille sommable, forme de tous les produits
d'un monme de la premire srie par un monme de la seconde srie.
3. 1. L'anneau K[[X]] est un anneau d'intgrit (ceci signifie que
et T =F 0 entranent ST =F 0).
PROPOSITION
S =F
Il
= ~bqXq
non nulles.
~c.X;
IJ)(ST)
+ IJ)(T)
IJ)(S)
pour
S~
0,
o.
~ a.X,
T(Y) = ~ bpYP.
.~o
p~O
>
(SI
+ S2)
?(SIS2)
T = SI 0 T + SI 0 T
(SI 0 T) (SI 0 T),
loT
1.
Mais on se gardera de croire que S 0 (TI + TI) soit gal SoT 1 + SoT .
Les relations (4. 2) expriment que, pour un T donn (d'ordre> 1),
l'application S -+ SoT est un homomorphisme de l'anneau K[[X]] dans
l'anneau "K[[Y]], qui transforme l'lment unit 1 dans 1.
12
Remarque. Si on substitue
n~O
~ l,
la
a.,iX;
on a
d'o
( ~1 Si)
T = ~ (~a"i) (T(Y);n,
.~o
tandis que
Pour prouver l'galit des seconds membres de (4.4) et (4. 5), on observe
que, dans chacun d'eux, le coefficient d'une puissance donne yP ne fait
intervenir qu'un nombre fini de coefficients a.,1 et on applique l'associativit de l'addition (finie) dans le corps K.
PROPOSITION
4.
1.
On a la relation
(S 0 T)
~ l,
w(U)
~ 1
S 0 (T 0 U)
(associativit de la substitution).
SoT = ~ a.T,
n~O
(S 0 T)
U = ~ a.(T 0 U),
R~O
13
U)n = S
(T 0 V).
C.Q.F.D.
n~O
5.
(s. 1)
(1 -
Y) (1
+ Y + ... + yn + ... ) =
l,
1 -
Y a un inverse
5.
1.
S(X)T(X)
l,
1 -
V(X),
(o)(V)
> 1;
on peLlt donc substituer V(X) Y dans la relation (5. 1), et par suite
1 ~ V (X) a un inverse.
C.Q.F.D.
Soit S(X) =
la formule
(6. 1)
= L, nanXn-,.
n~O
On crit aussi
;~,
ou encore
d~ S,
d
dS
dX (ST) = dX T
(6. 2)
dT
+ S dX'
d
dX
(63)
(1)
1dS
S = -S2dX'
= n! an
On a donc
(64)
en notant S(n)( 0) le rsultat de la substitution de la srie 0 la lettre X
dans S(n)(X).
7. SRIES RCIPROQ.UES
La srie I(X) dfinie par I(X) = X est un lment neutre pour la composition
des sries formelles :
SoI = S = loS.
PROPOSITION 7. 1. Soit donne une srie formelle S; pour qu'il existe une srie
formelle T telle que
(7. 1)
T(o)
0,
SoT
= I,
S(o)
0,
S'(o) =1= o.
R~1
S(T(Y))
= Y,
l'identification donne
ao =
0,
0,
SI
I.
On a
SI
1 0 SI
(S 0 T)
SI
S 0 (T 0 SI)
Q
Sol
S.
S(X),
T(Y)
+ ~' = z + z',
~~'
zz'.
-+
Z est involutive,
:Il =
Iz + z'l <; Izi + Iz'l,
lzz'l = 141z'l,
Izl est toujours;;> 0 et n'est nulle que si Z = o.
1.
La norme
Cette norme
permet de dfinir une distance dans le corps C : la distance de Z z' est
Iz - z'l; ce n'est pas autre chose que l distance euclidienne dans le plan
R2. Pour cette distance, C est un espace complet, ce qui signifie que le
critre de Cauchy est valable : pour qu'une suite de points Zn e C ait une
limite, il faut et il suffit que l'on ait
lim
m~oo
IZm-znl
=;
o.
n+oo
1.Iuni < +
00,
alors
= ~ (z + Z)
2
et
Im(z)
= -.!-;(z-z)
2&
z e C.
(En ce qui concerne les notions qui interviennent ici, le lecteur pourra se
reporter au Cours de Mathmatiques 1 de]. Dixmier : Cours de l'A.C.E.S.,
Topologie, chapitre VI, g.)
Considrons des fonctions dfinies sur un ensemble E, valeurs relles
ou complexes (on pourrait, plus gnralement, considrer des fonctions
valeurs dans un espace vectoriel norm complet; cf. loc. cit). Pour
chaque fonction u on notera
lIuli = sup
lu(x)l,
",eE
pour tout sC3laire j., lorsque lIuli < + x; autrement dit, sur l'espace
vectoriel des fonctions u telles que lIuli <
00, lIuli est une norme.
On dit qu'une srie de fonction u" est normalement convergente si la srie
des normes ~ lIu,,1I est une srie convergente termes positifs; autrement dit,
"
si ~ lIunli <
00. Cela implique que, pour chaque xe E, la srie !.lu,,(x)1
"
,.
"
li~llv - unll = o.
p+oo
n=O
Un
convergent
n=O
uniformment vers v quand p tend vers l'infini. Ainsi, toute srie normalement
convergente est uniformment convergente.
Si A est un sous-ensemble de E, on dit que la srie de terme gnral u,.
converge normalement pour x e A si la srie des fonctions
Il~
unlA
(restriction de Un A)
Rappelons que la limite d'une suite uniformment convergente de fonctions continues (sur un espace topologique E) est continue. En particulier,
la somme "-'une srie normalement convergente de fonctions continues est continue.
On en dduit notamment ceci :
PROPOSITION
1.,2.
valeur de cette limite. Alors si la srie ~ Un est normalement convergente, la srie}: a,.
n
n
est convergente, et on a
~ an = lim (~Un(X))
ft
%+%0
ft
3.
?(lxl
I~I =
Ixl1yl,
= 0) 4=> (x = 0),
-=1= 0
avec Ixl
-=1=
1.
n~O
0,
et consi-
dite srie associe la srie S(X). Sa somme est un nombre> 0 bien dtermin, ventuellement infini. L'ensemble des r> 0 pour lesquels
"9
3.
a) pour tout r
<
1.
-< r; en parti-
< p;
b) la srie ~ a,.zn diverge pour Iz! > p (on n'affirme rien pour Izl
n~u
= p).
Dmonstration. La proposition 3.
LEMME D'ABEL.
un nombre fini M
va rsulter du
>
< r<ro.
S'il existe
<
< r.
<
< p;
terme gnral est major par un nombre fixe M, et le lemme d'Abel assure
la convergence normale de ~ a.z" pour Izi
,,~o
tion b) : si Iz! > p, il existe des entiers n tels que 1a.z 1 soit arbitrairement
grand, sinon en vertu du lemme d'Abel, la srie] la.lr' serait convergente
.~o
pour un r' tel que p < r' < 14 ce qui contredirait la dfinition de p.
Expression du rayon de convergence (Hadamard) : on va dmontr~r la formule
I/p = lim supla.!I/ .
(3 1)
11+:)0
u. =
lim (sup
P+QO
Il~p
u,,).
'YJ,
"+:)0
l,
ft+QO
ft
00
Il
r(lim sup
R+QO
la~II/.),
n+oo
donc la srie ~ la.lr converge pour I/r> lim sup la.I*, et diverge pour
I/r < lim sup la.I I/ . Ceci prouve (3. 1).
u+:X)
20
Qjlelques exemples. -
n~O
4.
S(X) = A(X)
B(X)
+ B(X)
et
P(X)
A(X) . B(X)
+ B(z),
A(z)
P(z)
A(z) B(z).
Dmonstration. Soient
A(X)
= }: a.X,
B(X)
= }: b.X,
n~O
S(X)
= }: c.X,
P(X)
= }: d.X.
"~o
A~O
n~O
Posons
On a
donc
p, les sries}:
la.lr et
.~o
Ic.lr et
}:
Ib.lr convergent,
}:
.~o
tout
r< p est
au plus
n~O
on pose
4.
2.
.~o
w.
= }:
'
UpV._ p,
O~p::::;n
21
~ up )
( Jl?':-O
Posons en effet (Xl'
~ vq ).
q?-O
= ~ lu.l, ~q = ~ Iv"l;
n~p
on a
Il~q
est major par une somme de termes ,Iupl.lvql pour chacun desquels l'un
au moins des entiers p et q est > n; donc cette somme est majore par
(Xo~. + 1 ~o(X. + l, et elle tend vers 0 quand n tend vers l'infini. Donc ~ Wk tend
vers le produit des sommes infinies ~ u. et ~ v..
Ii';;'m
n~O
5.
n;;:::'O
5.
1.
= 0; on a,
p(S)
n?-I
le rayon de convergence de U est;> r, et, pour tout Z tel que Izl <; r, on a
IT(z)1 <
p(S)
et
(5. 1)
S(T(z))
U (z).
!b.I"
~ Ib,,!,'-'
n~t
22
tel que
est fini. Or ceci est une srie ~ "(nrn, et si on pose U(X)= ~ cnX", on a
n~O
n~O
< "(".
videmment Icnl
Ainsi ~ Icnlr est fini, et le rayon de convergence
de U est> r.
.~o
Il reste prouver la relation (5. 1). Posons 8,,(X) = ~ akXk, et soit
Sil 0 T = Un_ Pour lz!
r, on a
O~I.'~n
-<
= lim 8 n(T(z)).
8(T(z))
0
0
quand n -+
quand n -+
00.
n~:lO
Iz!-<r,
6.
il existe une srie formelle T(X) et une seule telle que le produit 8(X)T(X)
soit gal 1.
PROPOSITION 6. 1. Si le rayon de convergence de 8 est =1=
rayon de convergence de la srie T telle que 8T = 1.
0,
il en est de mme du
+ ~ Y";
1,
n>o
donc '#
7.
0;
la proposition 6.
J.
PROPOSITION
7.
1.
Soit S(X)
,,~o
S'(X) = ~ na"X"-t
,,~o
la srie drive (cf. 1, nO 6). Les sries S et S'ont le m;me rayon de convergence.
De plus si ce raYQn de convergence pest '# 0, on a, pour 1.e:1 < p,
S' (.e:) = lim S(.e:
h
+ h) -
S(.e:)
J.
Posons la,,1
les rayons de convergence des sries S et S'. Si r < p', la srie ~ not"r"- 1
converge, donc
n~O
n~t
ft~O
00,
-<
et par suite r
p. Inversement, soit r un nombre
tel que r < r' < p; on a
not"r
,,-t -7
_ (ot"r'ft ).n ( 7 )"-t .'
1
< p;
prenons un r'
< p,
puisque r'
d'o
et comme la srie
~ n (-; ) n -
n~1
<
converge, la srie
r /
<M
~ n.nrn- t
n~1
<
pour tout n,
converge; donc
<
r
p'. Ainsi tout nombre < p' est
p, et tout nombre < pest
p'; d'o
p = p'.
n reste prouver la relation (7. 1). Fixons ~ de manire que I~I < p,
choisissons un r tel que I~I < r < p, et supposons dsormais
o "#
Alors
S(~
Ihl
<r-
+ h) est dfini et on a
S(~ + h)h - S(~) _
I~!.
S'( ~ ) -- k.J
~
Un~,
n~t
h) ,
o l'on a pos
Puisque
I~I
et
I~
on a ~ n.nr n-1
+ hl sont < r, on a
<+
CXI;
Iu.(~,
h) 1
> 0, il
existe un entier
no
n~1
tel que
~ 2n..rn- 1
n>n
< Ef2.
Ayant ainsi choisi no, la somme finie ~ un(~, h) est un polynme en h, nul
pour h
!.
1 n':::;n
0; donc ds que
Il~"
convenable, on a
<"'l,
on
<
hl- S(~)
vers
8.
Soit S(X) une srie entire formelle dont le rayon de convergence soit
=1= o. Soit S(z) la somme de la srie ~ a"zn pour Izl
<
n~O
tion qui admet pour drive la fonction S'(z) = ~ nanzn- I A la srie S'
n~O
Et ainsi de suite. Par rcurrence on voit que S(z) est une fonction indfiniment drivable pour Izl < p; sa drive d'ordre n est
S<n)(z)
o T n est une srie d'ordre;>
(8. 1)
l,
an
= n! an + Tn(z),
autrement dit Tn(o) = o. D'o:
= 11
n.
S<n)(o).
soit =1=
0,
~ a.z n pour
!z!
assez petit.
n~O
9.
Rfrons-nous la proposition 7.
PROPOSITION
9.
1.
Soit
du 1.
0,
S'(o) =1=
0,
0,
SoT=I.
Voici nanmoins, pour le lecteur curieux, une 4monstration directe qui se situe
dans le cadre de la thorie des sries entires. Elle fait appel la notion de srie
majorante (cf. Chap. vu). Reprenons les notations de la dmonstration de la
proposition 7. 1 du 1, et considrons les relations (7. 5) de ce paragraphe, qui
permettent de calculer les coefficients inconnus bn de la srie cherche T(X). A ct
de la srie S(X), considrons une srie majorante , c'est--dire une srie
S(X)
~ AnX
AIX -
n;;:"!
coefficients An > 0 tels que lanl '" An pour tout n; nous supposerons de plus que
Al = 1aIl A la srie S la proposition 7. 1 du 1 associe une srie
T(Y) = ~ Bnyn
n~1
(g. 1)
analogues (7. 5) du 1. On en dduit, par rcurrence sur n :
(g.2)
Il s'ensuit que le rayon de convergence de la srie T est au moins gal celui de
la srie T. On va montrer que ce dernier est > 0, ce qui dmontrera la proposition g. 1.
Pour cela, nous choisissons la srie S comme suit: soit r > 0 un nombre strictement infrieur au rayon de convergence de la srie S (par hypothse, ce rayon de
convergence est =1= 0); le terme gnral de la srie ~ 1ail Ir' est donc major
par un nombre fini M > 0, et si l'on pose
n~1
Aft
(93)
M/r"
pour n
>- 2,
on obtient les coefficients d'une srie majorante de S; sa somme S(x) est gale
S(x) =
AIX -
xi/rI
I-x!r
M ---
pour
IX < r.
Cherchons une fonction T(y), dfinie pour les valeurs assez petites de)', nulle pour
y == 0, et telle que S (T(y) = y identiquement; T(y) doit tre solution de l'quation du second degr
(Al/r
+ M/rl)TI -
(Al
Al
+ y/r)T + y
= 0,
0) :
2Al y/r -
+ M/rl)
4M)'/rl + yi/ri.
Lorsque Iyl est lissez petit, le radical est de la forme Al v'r+u, avec !ul < l, donc
T(y) admet un dveloppement en srie entire en y, qui converge pour IYI assez
petit. Ainsi le rayon de convergence de cette srie est =1= 0, ce qu'il fallait dmontrer.
FONCTION EXPONENTIELLE
(1. r)
d'aprs la proposition 7. r du 2.
D'autre part, en appliquant la proposition 4.2 du 2 aux deux sries
de terme gnral
1 ft
uft=,z,
n.
ft
-~z'ft
-nt
'
on obtient
Par consquent
(1. 2)
e'+"
= r.r'
(r3)
Posons
z=x
r,
donc
pour tout
z.
+ V (x et y rels); on a
e"'+iy = e"'.eir,
et tout revient tudier les deux fonctions e'" et eir, o x et y sont des variables
relles. On a
d
die
-(e"') = e'"
'
0;
mieux: e'"
(e"'/2) 2 > o.
+ x + -x22 + ...
+x
Donc
lim et"
Z~+QO
en changeant x en -
= +
00;
x on trouve
lim et" = o.
Ainsi et" est une fonction de la variable relle x qui crot strictement
de 0
00. La transformation t = e'" possde donc une transformation
rciproque, dfinie pour t > 0; on la note
log t.
C'est une fonction strictement croissante qui crot de relation fonctionnelle de et" se traduit par
log (tt')
log t
00
00.
La
+ log t',
et en particulier log 1 = o.
D'autre part, le thorme sur la drive d'une fonction rciproque
donne:
d
dt (log t) = 1ft.
Remplaons t par 1
+ u (u > -
-1- =
I+U
1-
+ u)
1); log (1
lui <
(2. 3)
l,
u2
un
log (1 + u) = u - - + ... + (- I)n-I - + ...
2
n
U(u)
= S(T(u));
29
+ u),
or T(u) = log (1
U(u) =
S(x)
= es' -
elflgO+Il)_ 1
1, donc
(1
+ u) -
= u.
Ceci prouve que la srie formelle U n'est autre que 1, en vertu de l'unicit
d'un dveloppement d'une fonction en srie entire (cf. 2, nO 8). Ainsi
les sries S et T sont rciproques l'une de l'autre.
3.
(y
REL)
= cosy
+ i siny,
Ces fonctions sont dveloppables en sries entires dont le rayon de convergence est infini :
(3. 1)
cos y
1 _
~ (cosy) = -
~ (siny)
siny,
= cosy.
Pour y = 0, cos y est gal 1; puisque cos y est une fonction continue, il
existe un Yo > 0 tel que cos y > 0 pour 0
y Yo' Donc sin y, qui a pour
drive cos y, est strictement croissant dans l'intervalle [0, Yo]' Posons
sin Yo = a > o. On va montrer que cos y s'annule pour une certaine
valeur> 0 de y. En effet, supposons que cos y> 0 pour Yo <y <YI;
on a
< <
COSYl-
cosYo
=-
iY'Sinydy .
Or siny > a, puisque siny est croissant dans l'intervalle [YO,Yl] o sa drive est> 0; donc
YI - yo ....... aCosyo.
Ceci prouve que cos Y s'annule dans l'intervalle [YO,YO
+ -; cos Yo
0,
1;
0, : ].
Appe-
donc l'application y
--+
e iy
applique
+v
parti~
du
> 0, v > o.
eiy prend une fois et une seule toute valeur complexe de module
<
l'abscisse est
0 et l'ordonne> o.
Conclusions analogues pour les intervalles [
'lt,
3~
et [3;,
2'lt
dont
Ainsi, pour
31
<
o y < 2'lt, ei ] prend une fois et une seule toute valeur co~plexe de
module I, tandis que e2i' l t = I. Ainsi la fonction ei.v est priodique de
priode 2'lt, et l'application y ~ ei ] applique R sur U. Le thorme est
dmontr.
4.
0,
dfi-
Itle,illl'gi
III = lall;n,
arg t
-arg a.
n
z tels que e' = t. Il n'en existe que si t =1= o. Dans ce cas, la relation
montre que les z cherchs sont les nombres complexes de la forme
(5 1)
log
Itl
+ i arg t.
(5. 2)
log t
= log 1t 1 + i arg t.
(5 3)
log (tt')
33
est une fonction continue dans D et ne prend que des valeurs entires;
puisque D a t suppos connexe, une telle fonction est ncessairement
constante. En effet, l'ensemble des points te D tels que h(t) soit gal un
entier donn n, est Ouvert et ferm. Donc cet ensemble est vide ou gal
D. La constante est forcment un entier. Quej(t)
2k'lti soit une dtermination de log t pour tout entier k est vident.
On dfinirait de mme ce qu'il faut entendre par une dtermination
de arg t dans un ouvert connexe D ne contenant pas l'origine. D'ailleurs
toute dtermination de arg t dfinit une dtermination, de log t, et viceversa.
On va montrer que Arg t est une Jonction continue, et que par suite
log 1t 1
+ i Arg t
+;
l;
la fonction u
C.Q.F.D.
6.
PROPOSITION
6.
34
1.
lui <
+ u).
j'(t) = 1ft.
En dret pour k complexe #=
l(t
lorsque k tend vers
+ k) -
0,
et assez petit, on a
z-zt;i.-
pour z' tendant vers z = j(t); la limite cherche est donc l'Inverse de la
valeur de la drive de eZ. pour z =j(t); elle est donc gale rI(/)= 1/1.
et
IX,
on pose
elZ.logl.
Rlvision. Ici le lecteur est pri de revoir, le cas chant, les dveloppements
en srie des fonctions usuelles: arc tg x, arc sin x, etc. D'autre part,
pour tout exposant complexe IX, on considre, pour x complexe tel qu~
Ixl< l,
(I
(1+'1;)
35
pour lx -
Cette dfinition s'applique aussi bien dans le cas o x est une variable
relle que dans le cas d'une variable complexe. La srie S(X), si elle existe,
est unique d'aprs le nO 8 du 2.
Sif(x) est dveloppable en srie entire au point xo, la fonctionf est indfiniment drivable dans un voisinage de xo, puisqu'il en est ainsi de la
la somme d'une srie entire. Si le produit fg de deux fonctions f et g
dveloppables en srie entire au point Xo est identiquement nul dans un
voisinage de xo, alors l'une au moins des fonctions f et g est identiquement
nulle au voisinage de X o; en effet cela rsulte du fait que l'anneau des sries
formelles est un anneau d'intgrit ( 1, proposition 3. 1). Sifest dveloppable en srie entire au point xo, il existe une fonction g, dveloppable
en srie entire au point Xo et ayant une drive g' = f dans un voisinage
de Xo; une telle fonction g est unique l'addition prs d'une constante;
il suffit, pour le voir, de considrer la srie des primitives des termes du
dveloppement en srie entire de la fonction j.
Nous considrerons dsormais un ensemble ouvert D de la droite relle R
ou du plan complexe C. Si D est un ouvert de R, D est une runion d'intervalles ouverts, et si de plus D est connexe, D est un intervalle ouvert.
Dsignons par x une variable relle ou complexe, qui varie dans l'ensemble
ouvertD.
Exemples de fonctions analytiques. Les polynmes en x sont des fonctions analytiques sur toute la droite relle (resp. dans le plan complexe); une fonction rationnelle P(x) fQ(x) est analytique dans le complmentaire del'ensemble des points Xo tels que Q(xl)') = o. Il va rsulter de la proposition 2. 1 que la fonction eO: est analy~que. La fonction arc tg x est analy+1_2 est analytique.
tique pour tout x rel, puisque sa eJrive _
1
2. CRITRES D'ANALYTICIT
sa somme pour Ixl < p. Alors S(x) est une fonction analytique dans le disque Ixl < p.
Ce rsultat n'est nullement vident. Il sera une consquence immdiate
du .suivant, plus prcis:
PROPOSITION 2. 2.
2. l,
a un rayon de convergence
- 37
Dmo1J,Stration de la proposition
Pour r 0
2. 2.
< r < p, on a
>-
p, q
q) ! a (x )q(x - x )p
p'+
q'
p+q 0
0
(p
converge absolument, d'aprs (2. 3)' Pour calculer sa somme on peut donc
grouper les termes d'une manire arbitraire. Nous allons calculer cette
somme de deux faons diffrentes. Un premier groupement de termes
donne:
p~o
~ (x -,xo)PS(P)(xo)'
p.
p~o
1.
1 -IX
--=
I-ix
1 ( .I-ix
x-x )-1 =
I-ixo
I-Z~
in
~
n~o(I-ixo)n+l
(x-xo)n'
Remarque
2.
+ (XO) 2,
et VI
Posons
A(r) = ~ lanlr"
pour
,,~o
r< p.
<;
A(r)
(r - ro)p
pour
Ixl <; ro
< r < p.
THORME.
>- o.
Dmonstration abrg. On montre que la condition est ncessaire en utilisant l'ingalit (2.4). On montre qu'elle est suffisante en crivant ledveloppement limit de Taylor de la fonction f(x) et en majorant le reste de
Lagrange grce (2.5).
3.
39
:o.
4.
son dveloppement t'n srie entire pour tx - xol assez petit. Supposons
f(x o) = 0, et supposons que f(x) ne soit pas identiquement nulle au voisinage
de x o
xo) n-k
n~k
converge pour lx :- xol assez petit, et sa somme g(x) est une fonction analytique au voisinage de Xo et telle que g(xo) =1= o. Ainsi, pour x voisin de
xo, on a
J(x)
(x -
XO)kg(X),
>
J(x) =1=
pour
o<lx-xol<E
(E
>0
assez petit).
5.
FONCTIONS
MROMORPHES
o k et k' sont entiers, k;> 0, k' > O,Jl et gl sont analytiques au voisinage
de XO,JI(XO) # 0, gl(XO) # 0; donc, pour x # Xo et voisin de Xo,
L~ = (x-x
g(x)
)k-I<'
0
~L
gl(X)
On a k
On dit dans ce cas que Xo est un ple pour la fonctionJlg; l'entier k' - k
s'appelle l'ordre de multiplicit de ce ple. Lorsque x tend vers xO'
1~(x)2l.
x '
tend vers + 00. On peut convenir de prolonger la fonctionJ/g en lUI donnant la valeur infini au point xO. On reviendra plus tard sur l'introduction de cet unique nombre infini not 00.
SiJ(x) est analytique et admet Xo pour zro d'ordre k> 0, il est clair que
IIf(x) admet Xo pour ple d'ordre k.
jg
Exercices
En effet, f' est dfinie et analytique en tout point de D qui n'est pas un
ple de f. Il reste montrer que si Xo est un ple de J, Xo est aussi un ple
def'. Or on a, pour x voisin de xo,
,
1
f(x) = (x _ XO)kg(X),
g(x) tant analytique, avec g(xo) oF
et comme gl(XO) =F
0, Xo
0,
k> o.
+ 1.
Exercices
1. Soient K un corps commutatif, X une indtermine, et E = K[[X]]
l'algbre des sries entires formelles coefficients dans K. Pour S, T dans
E, posons
d(S T) _ ~ 0
,
~e-k
si
si
S = T,
SoFT,
et
w(S-T) =k.
Sl(X) =
>:-
1.
+ X + XI + ... + X + .. "
et posons
a) Montrer, par rcurrence sur n, la relation
(1)
(P". !J .. (p+n),
n!
43
,,~o
G)
(P + n1) X",
n
1].
7. l, 1, pour n
rciproque de
a)
,,~o
~ nPz"
b)
(p entier> 0),
,,~o
c)
~ a"z",
avec
a 2n +l = a2n +1,
,,~o
a, h rels et
< a, h < 1.
~ aIlX",
et
T(X) = ~ hIlXII,
(h. =1= 0)
.~o
,,~o
et posons
U(X)
~ (a.)PX,
V(X) = ~ a.h.X,
,,~o
W(X) = ~ (a./h.)Xn
.~o
.~o
p(S) . p(T),
0,
p(W)
44
p(V)
< p(S)/p(T).
Exercices
+ a(a +
7. Soit S(X)
Posons
S(~),
pour
I~I
<
1) XR + ...
+ (c- (a + h +
1)~)S'-ahS
o.
1.
<
I,
.~o
et
V(X) = ~ taXR.
U(X) = ~ SaXR,
R~O
8. Soit S(X)
R~O
p(V)
l,
et que: (ii)
poUl"
tout
I~i
o ,
i~
,1/2
~~II)S(~) =~,
I~I
< p(S),
S(~)
pour
:~I
<
?(S),
== u.
on a
~
1 _~_~~1
+ X -
En atilisant la
45
~ cos (px
O~p~n
+ y)
= cos
~ 0,
x =F 2k... (k entier), on a
) .(n-x+y).n+I/.x
sm--XSln- .
~.(
~
sm px+y =sm
O~p~n
+ y) + i sin (px + y)
ei(P."+Y)
= eir(ei"')P.)
10.
II.
~ l,
et tout z complexe
e' = lim
n+oo
12.
(1 + ~)ft.
n
+ e- I ( resp. sm. Z =
2
+ z') =
+ z') =
cosz
+ sin 2 z =
-x
'lt
/'
< smx
~ x
pour x rel,
0 ~
~ 'lt/2.
Exercices
14. Soit
z = x + ry,
+ ry) 12 =
+ ry)12 =
Isin (x
Icos (x
sin 2 x
cos 2 x
+ sh 2 y,
+ sh 2y;
'It
< a<
pour
'It,
a est
un nombre
+ -21 + V',
TI
et
a(n + ~)
l'
1
ch
,SIn az /'
1-.-- 1 """
;sm 'ltzl sh'lt
(n + ~)
pour
= cos (iz), sh z = -
i sin (iz).)
15, Soit l un intervalle de la droite relle R. Montrer que, sif(x) est une
fonction (d'une variable relle, et valeurs complexes) analytique dans I,
on peut la prolonger en une fonction analytique dans un ouvert connexe
D du plan complexe, contenant 1.
16. (i) Soient (ocn ), (~n) deux suites de nombres ayant les proprits suivantes:
a) il existe une constante M > 0 telle que
IIXI
>-
(Introduire s. = IXI
+ ... + IX.,
n>-
et ~l
pour tout
n>-
l,
(ii) Soit S(X) = ~ allX' une srie entire formelle coefficients complexes,
n~O
l,
de R, et en conclure que
47
A~I
ouvert Izl < 1 et du disque ouvert Iz constante a telle que l'on ait
S(z)
+ S(I -
z)
a -log Z log(1 -
z)
pour ze D,
~ (log dog (1 _ z
d<.
= log (1
z) _ log z
I-Z
pour zeD).
a-
(log
2)2
~ I/n"2n-l.
n~l
(Cf. Chapitre v, 2,
9.,
application de la proposition
2.
1).
du
CHAPITRE II
1. Intgrales curvilignes
1. GNRALITS
Rappelons quelques notions lmentaires relatives aux intgrales curvilignes dans le plan RI.
On notera x et y les fonctions coordonnes dans RI.
On appelle chemin diffrentiable une application
(1. 1)
~ "(t)
du segment [a, b] dans le plan RI, telle que les coordonnes x(t) ety(t) du
point "(t) soient des fonctions continment diffrentiables. On supposera
toujours a < b. L'origine de "( est le point "(a), l'extrmit de "( est le
point "(b). Si D est un ouvert du plan, on dit que "( est un chemin
diffrentiable de l'ouvert D si la fonction "( prend ses valeurs dans D.
Une forme diffrentielle dans un ouvert D est une expression
0>
Pdx
+ Q4Y
dont les coefficients Pet Qsont des fonctions ( valeurs relles ou complexes)
continues dans D.
Si "( est un chemin diffrentiable de D, et 0> une forme diffrentielle
1:
1: = l"
0>
par la formule
0>
"(*(0,
f(t)
lb
00
par le change-
f(t) dt.
u ~ y(t(u)).
(1. 2)
f(t(u))t'(u) du,
en vertu de la formule donnant la drive d'une fonction compose. La
formule du hangement de variable dans les intgrales simples donne la
relation
1 Jr
1
00=
w.
Tt
00
remplace le chemin diffrentiable Y pa/ un autre, dduit de Y par changement de paramtre. On pourra donc ventuellement dsigner par la mme
lettre des chemins qui se dduisent les uns des autres par changement
du paramtre.
Prenons maintenant une fonction t = t(u) continment drivable pour
al <; u <; hl> mais telle que t'(u) < 0, t(a l ) = h, t(h l ) = a (le sens de
[w.
[tl> t.:J,
on suppose a < t l < t s < ... < tn- l < tn < h. Soit yi la restriction de
l'application Y au i-ime de ces intervalles; il est clair que
1. Intgrales curvilignes
x = a 2,
bl <,J<,b 2,
y = b2 ,
al
al'
y = bl ,
X
<,
<,
a 2,
bl <,y<,b 2,
al <, x <, a 2.
Ir
III
l'origine de y, car elle est de toute faon gale la somme des intgrales
le long des quatre cts, chacun tant parcouru dans le sens qu'on vient
d'indiquer.
2. PRIMITIVE n'UNE FORME DIFFRENTIELLE
LEMME. Soit D un ouvert connexe du plan. Quels que soient les points a e D et
b e D, il existe un chemin diffrentiable par morceaux, contenu dans D, ayant a
51
F(a).
~F - P
(2. 2)
~~ = Q.
<lx - ,
<ly
Une telle fonction F, si elle existe, s'appelle une primitive de la forme 11).
Dans ce cas, toute autre primitive G s'obtient en ajoutant F une constante,
puisque d(F - G) = o.
PROPOSITION 2. 1.
10
II)
II)
r, diffrentiable
= dF, la relation
a et l'extrmit Il
'
52
1. Intgr~es curvilignes
{11)
L
l'intgrale de
11)
11)
11)
+ h, y)
F(x, y)
+ h, y) -
F(x, y) =
i:<+ p(e,
h
y)de,
0,
()F
-=P(x,y).
()x
.i
(1)
pour que la
.i
11)
est le b6rd d'un rectangle contenu dans D et dont les cts sont parallles aux axes,
alors (,) admet une primitive dans D.
53
Y.t
(Xo.y)
(x,y
yzllYl
U--1
(xo,Yo)
Figure
1.
(x,Yo)
3.
00
T,
00.
r.
FORMULE DE GREEN-RIEMANN
1. Intgrales curviligna
Explicitons:
t
r.
= Q(a 2, y)
-;;- dx
atOQ
at
uX
~peut se calculer
~x
rapport y, on trouve
lr
Qdy.
C.Q.F.D.
La formule de Green-Riemann est valable pour des domaines plus gnraux qu'un rectangle; mais nous laisserons pour le moment cette question
de ct.
3.
1.
Soit
0)
P dx
oP
oy
oQ
ox
-=-
J=
w
J:
(1)
r est le bord
d'un rectangle A contenu dans D et dont les cts sont parallles aux axes,
on a
rr (i'oylP _ i'il'lQ)
x dx dy =
JJA
pour tout tel rectangle A. Or ceci entrane la relation (3. 2). En effet, si
la fonction continue
9R
oy -
55
0,
dx dy
lJ~r(i'lP
i'ly -~)
(Ix
A
4.
4.
1.
[11)
11)
d'un petit rectangle contenu (ainsi que son intrieur) dans D, et ayant ses cts parallles aux axes. Si on suppose en outre que P et Q ont des drives partielles du premier
ordre continues, alors la condition (3. 2) est ncessaire et suffisante pour que 11) soit
ferme.
D'aprs la proposition 2. 2, toute forme ferme dans un disque ouvert y admet
une primitive. On va maintenant donner l'exemple d'un ouvert connexe D
et d'une forme ferme 11) dans D qui n'admet pas de primitive dans D.
PROPOSITION 4.2. Soit D l'ouvert form de tous les points z oF 0 du plan
complexe C. La forme 11) = dz/z est ferme dans D mais ny admet pas de primitive.
En effet, au voisinage de chaque point .tu oF 0, il existe une dtermination
de log z et cette dtermination est, au voisinage de zo, une primitive de
dz/z. Donc 11) est ferme. Pour montrer que 11) n'admet cependant pas de
primitive dans D, il suffit de trouver un chemin ferm "f contenu dans D
et tel que
dz = iei/dt,
et par suite
eU,
t variant de 0 271:;
~ = i dt,
j _.dZ = fn27:.z dt =
i
2Z'It
oF o.
C.Q.F.D.
1. Intgrales curvilignes
dx + i 4"
x + !Y
(0)
= x d>.' + y
x2
dy
+ ),2
+ i x dy - y dx,
X 2 + y2
la forme diffrentielle
__x.....dy"::-~y::-d_x
-
tiJ-
Xl
+ yI
est ferme dans le plan prive de l'origine. Elle n'admet pas de primitive,
car d'aprs (4. 1) on a
- y dx =
j ' x dyXll+y.
2,.
lU
est la diff-
rentielle de arc tg 2'._, qui est une fonction multiforme (c'est--dire avec plux
sieurs dterminations) dans le plan priv de l'origine.
5.
Soit (0) une forme ferme dfinie dans un ouvert connexe D. Bien que III
n'ait pas ncessairement de primitive (uniforme) dans D, on va dfinir
ce qu'on entend par primitive de III le long d'un chemin y de D. Un tel chemin
est dfini par une application continue d'un segment 1 = [aj b] dans D;
on ne fait ici aucune hypothse de diffrentiabilit.
Dfinition.! Soit y : [a, b] -+- D un chemin contenu dans un ouvert D, et
soit (0) une forme diffrentielle ferme dans D. On appelle primitive de III
le long de y une fonction continuef(t) (t parcourant [a, b]) qui satisfait
la condition suivante :
(P) quel que soit '1' e [a, b], il existe au voisinage du point y ('1') e
une primitive
F de (0) telle que l'on ait
F(y(t)) =f(t)
(5. 1)
flour t asse?;, voisin de 'l'.
THORME I.
d'une constante.
Dmonstration. Tout d'abord, sifl etfll sont deux telles primitives, la diffrence fl(t) - fll(t) est, d'aprs (5. 1), au voisinage de chaque 'l'e [a, b),
de la forme Fl(y(t) - FII(y(t))j comme la diffrence Fl ~F2 des deux
57
a = to
tn+ 1 = b,
de faon que, pour chaque entier i tel que 0 <'( i <'( n, , applique le segment [t" t l + 1] dans un disque ouvert VI dans lequel existe une primitive Fi
de oo. L'intersection VI n V I + I contient ,(ti+l)' donc n'est pas vide; elle
est connexe, donc FI+ I - FI est constante dans VI n Vi+!' On peut
.donc, en ajoutant chaque FI une constante convenable, faire en sorte,
de proche en proche, que F j + 1 concide avec F j dans VI n Vi+!' Soit alors
f(t) la fonction dfinie par
pour
Il est vident que f(t) est continue et satisfait la condition (P) : c'est
clair pour une valeur 't" diffrente des ti; le lecteur le vrifiera lorsque 't"
est gal l'un des ti
0)
d'o en ajoutant
00
=f(b) - f(a).
Ceci conduit dfinir foo mme pour un chemin continu" sans hypothse
1. Intgrales curvilignes
de diffrentiabilit relative y: on prend la relation (5. 2) comme dfinition, ce qui est licite car le second membre ne dpend pas du choix de
la primitive f le long de y.
PROPOSITION 5.
est un entier.
1.
2'ltt
Dmonstration. w
= tk
Z
r Z
..!.-fX
d~ + y/x est un entier (le mme que prcdemment).
r x
y
2'lt
La quantit
lX d~ +Y
T
du point z = x
ferm ou non).
6.
+~
HOMOTOPIE
1 ---r D
et
YI: 1 ---r D
(6. 1)
~ 0 (t, 0) = "'(o(t),
?0(0, u) = "'(0(0) = Y1(0),
o(t,
1) = Y1(t),
0(1, u) = Yo(l) == Y1(1).
\o(t, 0) = Yo(t),
~ 0(0, u) == 0(1, u)
o(t, 1) = Y1(t),
quel que soit Il,
59
Si
ro
et
r1
on a
(1)
"rI
dans D.
J yo
(.)=
j'y.
(d
(63)
dans l'ouvert D; et soit (1) une forme ferme dans D. On appelle primitive de
(1) suivant l'application 8 une fonctionf(t, u) continue dans le rectangle, et satisfaisant la condition suivante :
(Pl) quel que soit le point (T, u) du rectangle, il existe au voisinage de 8(T, u) une
primitive F de (1) telle que l'on ait
F(8(t, u) = f(t, u)
en lout point (t, u) asse;;; voisin de (T, u).
Une telle primitive existe tOr9ours et est unique l'addition prs d'une constante.
Ce lemme est en quelque sorte une extension du thorme 1. On va le
dmontrer d'une manire analogue. En utilisant la compacit du rectangle,
on peut en faire un quadrillage en subdivisant l'intervalle de variation
de 1 par des points t i et l'intervalle de variation de u par des points Ujo
de faon que, quels que soient i et j, le petit rectangle, produit des segments [tlt EI+ 1] et [uj) Uj+ 1], soit appliqu par 8 dans un disque ouvert U I, J
dans lequel existe une primitive Fi,} de (1).
Fixonsj; comme l'intersection Ui,i n Ui+I,J n'est pas vide (et est connexe),
on peut ajouter chaque FI,} (j fixe, i variable) une constante de manire
LEMME.
60
1. Intgrales curvilignes
que FI,J et FI+1,J concident dans VI,} n VI+1,J; on obtient alors, pour
[Ui> UJ+I], une fonctionjj(t, u) telle que, pour tout i, on ait
UE
lorsque
f(t, u) =jj(t, u)
lorsque
C'est une fonction continue qui satisfait la condition (P'), donc c'est
bien une primitive de II) suivant l'application S. Le lemme est ainsi dmontr.
et comme
J10
II)
J1
II)
7.
Dfinition. On dit qu'un ouvert D est simplement connexe s'il est connexe et
si en outre tout chemin ferm contenu dans D est homotope Un point dans
D.
3. Toute forme diffrentielleferme
D possde une primitive dans D.
THORME
II)
bis, on a ;; II) =
61
< 1 dans D;
8.
l,
1. Intgrales curvilignes
< <
PROPRITS DE L'INDICE
1) Le point a tant fix, l'indice I(y, a) reste constant lorsque le chemin ferm y
se dforme contin6ment sans passer par a. En effet, l'intgrale (8. 1) varie continment, et sa valeur est chaque instant un entier; donc elle reste constante.
2) Le ckeminferm y tant fix, l'indice I(y, a) est unefonction localement constante
de a lorsque a varie dans le complmentaire de l'image de y. Mme dmonstration
que pour 1). Il s'ensuit que I(y, a) est une fonction de a qui est constante
dans chaque composante connexe du complmentaire de l'image de y.
3) Si l'image de y est contenue dans un ouvert simplement connexe D ne contenant pas
le point a, l'indice I(y, a) est nul. En effet, le chemin ferm y peut se dformer
en un point en restant contenu dans D, donc sans jamais passer par a; et
il suffit d'appliquer 1).
4) si y est un cercle parcouru dans le sens direct, l'indice I(y, a) est gal 0 si a
est extrieur au cercle, et est gal 1 si a est intrieur au cercle.
Le cas o a est extrieur au cercle est justiciable de 3) ; lorsque a est intrieur
au cercle, il suffit d'examiner le cas o a est le centre du cercle, en vertu de
2); et alors on applique la relation (4. 1).
<
l'intgrale
1~
TZ- a
I(y
+ YI' 0) =
I(y, 0).
+ Yl(t) =
y(t)
le chemin ferm t -
+ ~(~ti
y(t)
(1 + ;wn;
+ YI
et de rayon
et en appliquant la proposition 8.
9.
2,
on obtient la proposition 8. 3.
1.
Ainsi
+ lI,
.,
'
=1= 0,
1. Intgrales curvilignes
y(t);
v
b
figure
li
CARTAN
mit du segment de dfinition. De plus les images des divers l', sont deux
deux disjointes et leur runion constitue la frontire de K;
(BO 2) si"( est un arc diffrentiable de l'un quelconque des l'" la drive
"('(t) est partout # 0; de plus, si to est intrieur l'intervalle de dfinition
de "(, et si l'ouvert V du lemme prcdent a t choisi assez petit, alors
V- ne rencontre pas K tandis que V+ est contenu dans l'intrieur de K.
D'une manire imagine, la condition (BO 2) s'exprime en disant que
lorsqu'on parcourt y dans le sens des t croissants, on a constamment sa
gauche les points de l'intrieur de K, tandis qu' sa droite on a des points
qui sont dans le corilplmentaire de K.
ExemPle. Prenons pour K un rectangle (ferm) dont les cts sont parallles
aux axes; alors le primtre de ce rectangle, tel qu'il a t dfini la fin
du nO l, est bien le bord orient de K.
Nous admettrons sans dmonstration que la formule de Green-Riemann
s'applique au bord orient l' d'un compact K. D'une faon prcise, si
II) =
P dx + Q dy est une forme diffrentielle coefficients continment
diffrentiables dans un ouvert contenant le compact K, on a l'galit
(g. 1)
(la notation
Ir
dsigne
~ j;/
En particulier, si la forme
II)
r}
(g.2)
f(x o + h, Yo
+ k) -f(xo,yo) =
ah
+ bk + a.yhl + kl,
Vh 2 + k2 tend
2. CONDITION D'HOLOMORPHIE
+ u) -
f(.<:.o)
'<:'0 e
D si
existe
u;O
f(.<:.o
+ u) -
f(.<:.o) = cu
+ IX(U) lui,
(2.3)
f(x o + h,yo
+ k) -f(xo,yo)
= c(h
Ceci montre que j, considre comme fonction des deux variables relles
x et y, est diffrentiable, et que
a = e,
b = ie,
fl1 + /d
=
i'Jy
o.
i'Jx
"P _"Q
---,
"X
"y
3.
df = "f dx + "!.d.y.
"x
tk = dx
"y
+ ry et Z =
x-
ry
+ idy,
dz = dx-idy;
+ dz),
dy
on a donc inversement
dx
= .!... (tk
2
=~
(tk 2Z
dz).
+ ~(~
+ i~1) dz.
2"X"Y
68
U=o.
bz
(3. 6)
Autrement dit, pour que f soit holomorphe il faut et il suffit que, dans
l'expression (3. 5) de la diffrentielle r:lf, le coefficient de dz soit nul. Ou
encore : df doit tre proportionnelle dz; le coefficient de proportionnalit
est alors simplement la drive f' (z).
Comme application, dmontrons le rsultat suivant : Soit f une fonction
holomorphe dans un ouvert connexe D; si la partie relle de f est constante, f est
constante.
En effet, la partie relle Re (f) n'est autre que ~ (f 1); par hypothse
on a, dans D, d(f
J) = 0, ce qui s'crit
2
= o.
Or une expression a dz
~{ =
Ai
nsl, on a :
+ i argf(z).
Plaons-nous au voisinage d'un point Zo o nous choisissons une dtermination de l'argument; g est holomorphe et sa partie relle (ou sa partie
imaginaire) est constante. Donc g est constante au voisinage de ZOo Ainsi
f = e~ est localement constante dans D, et par suite est constante puisque
D est connexe.
69
4.
THORME DE CAUCHY
THORME 1.
(ly
(If =i(lf.
(Ix
(lY
ne ncessite aucune hypothse supplmentaire, mais elle exige un raisonnement plus subtil. Pour montrer quef(z) dz est ferme, nous devons prouver
que l'intgrale lf(z) dz est nulle le long du bord y de n'importe quel rectangle R contenu dans D (y compris son intrieur). Pour cela posons a
Priori :
ff(z) dz
= oc(R).
--
ft
H
--
Figure 3
l, 2,
I )TCR(k) f(z)
dzl:>~
IIX(R)I
4
Iim !(z)
o.
:~:o
On en dduit
Dans le second membre de (4. 3), les deux premires intgrales SOnt nulles
et la troisime est ngligeable devant l'aire du rectangle R(k) lorsque k
augmente indfiniment; elle est donc ngligeable devant~. En comparant
4
avec (4. 2), on voit qu'on a ncessairement IX(R) = 0; par suite, d'aprs
la dfinition mme de IX(R), on a 1f(z) dz
tration.
1
71
u + ie,
u + a + ie,
+ +
u + ib,
0,
u+a
+ ib,
f(;:,) d;:,
= o. Enfin,
si
la droite rencontre le rectangle R sans porter l'un de ses cts horizontaux, la droite partage R en deux rectangles R' et Rif, l'intgrale
f
f
f(;:,) tk
tendue au bord de chacun des rectangles R' et R" est nulle, d'aprs ce
qui prcde; or la somme de ces intgrales est gale l'intgrale
tendue au bord de R. Ceci achve la dmonstration.
5.
f(;:,) tk
(5. 1)
1
(;:,)rk = I(y, a)f(a),
f-.
1 ;:, a
2'1t1
ou 1(
l,
n O 8).
Dmonstration. Soit
g(~)
g(~)
=f'(a)
pour
=F a,
pour
a;
~-a
tk = S2'1tif(a)
1T1(~)
~- a
?0
6.
THORME
'I~O
S(~)
'
I~I
< p.
f(~) = ~lf(t) dt
27t1
La fonction
_1t-~
t-
pour
I~I
<: T.
I~I
prcise on a
73
par suite
-<
-<
(6. I)
an -
-.
j"
2'1tl III
= ru
(t)dt
t
n+l .
DE
MORERA
74
8.
J/(z) dz
= 0;
rf(z)
~= 2'1tif(a) ..
z-a
Jr
K -
S et la fonction
r f(z) fk = 1f (z) dz
Jr
z-a
z-a
g.
g(z) =f(z).
Cette fonction est continue dans D", et on vrifie aussitt qu'elle est holomorphe en tout point de D n , non situ sur l'axe rel. La fonction h(z) gale
75
f(z) dans D' et g(z) dans DR est continue dans D et holomorphe en tout
point de D non situ sur l'axe rel. Elle est donc holomorphe en tout point
de D sans exception.
On observera que la fonction h prend des valeurs imaginaires conjugues
(c'est--dire symtriques par rapport l'axe rel) en deux points de D symtrique l'axe rel. C'est pourquoi l'on donne la construction prcdente
le nom de principe de symtrie .
Exercices
1. a) Soit y un chemin diffrentiable par morceaux, et soit r son image
par l'application z ~ ~ (symtrie par rapport l'axe rel). Montrer
que, sif (z) est une fonction continue sur y, la fonction z ~ f (~) est continue
sur y, et on a
Ir
f(z) dz
= hf(~) dt.
l aw al w,
01
si
Wu
j~' 00,
w.,
00
voir Remarque, 1, nO
5.)
Exercice!.'
Cette formule reste-t-elle vraie mme dans le cas o y n'est plus ncessairement diffrentiable?
-< -<
-<
t
2'1t,
4. Soient y le chemin (diffrentiable): t - y(t) = Tei', 0
et Yn le chemin: t _ Yn(t) = (1 - l/n)Tei' , t variant dans le mme intervalle. Montrer que si f (.~) est continue dans le disque ferm Izl T,
on a
Izi -< T,
holo-
~orphe
f (z)
r ru dt
2'1tIJ 111=r t - Z
pour tout
Izl < T,
1tJ:!..,
T
et dduire de l
+ iv(x, y)
au (x, y)
+ bv(x, y)
= c dans D,
a, b et c tant constantes relles non toutes nulles, alors f(z) est constante
dans D.
9. Soit D un ouvert convexe dans le plan, et soit f (z) une fonction holomorphe dans D. Montrer que, pour tout couple de points a, b e D, on
77
peut trouver deux points c et d sur le segment joignant a et b, tels que l'on
ait
= (a - b) (Re(f'(c)) + i Im(f'(d))).
f(a) - f(b)
F(t) =f(b
(a - b)t)/(a - b),
et appliquer le thorme des accroissements finis aux parties relle et imaginaire de F(t).)
10. Soit D un ouvert connexe, symtrique par rapport l'axe rel, ayant
une intersection non vide 1 avec ce dernier. Toute fonction f (z) holomorphe dans D peut se mettre, d'une faon et d'une seule, sous la forme :
(z)
g(z)
+ ih(z)
g(z), h(z)
h(z) et f(z)
g(z) -
lim an
= a,
aeD,
an #- a
pour tout n,
f' (an) =
f(a n)
g' (an)
g(an)
pour tout n,
= cg(z) dans D.
12. Soit cp(z) une fonction continue sur le bord orient r d'un compact K.
Soit D l'ouvert complmentaire de r dans C, et posons, pour zeD,
f(z) =
<
er
r~d~.
)r~-z
~, pour ~ e r
.. -z
et Iz - al
r, avec 0 < r < p, peut se dvelopper en srie entire normalement convergente suivant les puissances de (z - a); en dduire que
f (z) est analytique au voisinage de chaque a e D. (Cf. la dmonstration du
thorme 3, 2.)
Exercices
f<n>(a) = n!
pour tout entier n;>
l,
lim f(z
h~O
+ h) h
1Z 1< r.
<
d~,
III,
1).
+ h) -
< r<
p, on a
f(z) =f'(z)
O<lhl<p-r
f(z
If' (~)
-a)n+l
uniformment pour
Jr(~
( crire en u tilisan t
f(z) _ f'(z)
12
= ~1
27ti
f(t) dt
,
Itl=r(t-z-h)(t-z)2
o r' = (p
r)/2, Ihl < (r' - r)/2 = (p dduire que, si M = SUpttl=rlf(t)l, on a
14. Si deux courbes fermes de C - {o} ont mme indice par rapport 0,
elles sont homotopes dans C - {o}.
79
CHAPITRE III
an{,n
Il~O
Les coefficients
an
<
f(re i9 )
~ anr"e in ?
n;;::'O
80
dans le second membre, toutes les intgrales sont nulles sauf celle qui
correspond p = n, et l'on obtient la formule fondamentale
11
anr n = -
2"11:
2,.
(1. 3)
2. THORME DE LIOUVIO..E
THORME.
Une fonction f (z) holomorphe dans tout le plan et borne est constante.
si grand que soit r. Comme le second membre de cette ingalit tend vers 0
quand r tend vers l'infini (n tant;> 1), on voit que an = 0 pour n ;> 1;
-ainsi f(z) = a o est constante.
an '*
0,
8r
tend vers l'infini quand 1.e:1 tend vers l'infini, donc il existe un disque compact
en dehors duquel 1P(.e:) 1 est born; d'autre part 1P(.e:) 1 est born sur ce
disque compact puisque c'est une fonction continue. Ainsi, P(.e:) est borne
dans tout le plan, donc constante d'aprs le thorme de Liouville. Il
s'ensuit que P(.e:) ellt une constante, contrairement l'hypothse.
2'1t
ou encore
(1.2)
1
1
2
'"f(re18 )
= o.
do,
27-
f(o) = - 1
2'1t
Il
f(rei 8) do.
<
+ reit )!.
Pour r :> 0 assez petit, on a M(r) <:'f{a) par hypothse. De plus, d'aprs
la proprit de moyenne, on a
(2. 1)
+ reie) de,
d'o f (a) <:, M(r), et par suite f (a) = M(r). Il s'ensuit que la fonction
g(z)
= Re(f(a) - f(z
Iz-al = r
est nulle; comme g est continue :> 0, ceci exige que g soit identiquement
nulle sur ce cercle, et par suite on a f(z) =f(a) lorsque Iz - al = r
assez petit.
C.Q.F.D.
COROLLAIRE. Soit D un ouvert born et connexe du plan C. Soit f une fonction
( valeurs complexes) dfinie et continue dans l'adhrence TI et possdant dans D la
proprit de moyenne; soit M la borne suprieure de 1f (z) 1 quand z parcourt la
frontire de D. Alors:
(i)
(ii)
<
3. Lemme de Schwarz
THORME (lemme de Schwarz). Soit fez) une fonction holomorphe dans le
disque Izi < I. Supposons
f(o) =
0,
If(z) 1 <
pour
Izi
<
1.
f(z)
= Z,
Izl = r.
< l, on a
<
4. Dveloppement de Laurent
4. Dveloppement de Laurent
1. SRIES DE LAURENT
fl(~)
(I. 1)
= ~ aR~
pour
f2(~) = ~ a.~
pour
n~O
(I. 2)
n<O
Montrons que
fonction
f2(~)
lu! <
~.
Posons
= IJU; la
f~(~) = -~gl(IJ~)
~2
f2(~)
~ na.~n-l.
.<0
>
P2' Supposons
(13)
est holomorphe dans la couronne circulaire P2 < I~I < Pl' et sa drive
l' (~) est la somme de la srie ~ na.~n-l obtenue en drivant terme terme.
La srie ~ a.~ prend le nom de srie de Laurent dans la couronne P2 < I~I < Pl'
Dans tout ce qui prcde on n'exclut pas le cas o P2 = 0, ni le cas o
Pl = + 00. La convergence de la srie (1. 3) est normale dans toute
1~1
ri quels que soient '1 et '2 tels que
couronne '2
-< -<
P2
<
r 2 <;: ri
<
Pl'
est dveloppable en srie de Laurent dans cette couronne, s'il existe une srie
de Laurent ~ an.e n qui converge dans cette couronne et dont la somme
n
< <
P.
f (re le )
anrnei/l 2
-oo<n<,+oo
n entier;>
ou
< o.
THORME.
<
<
r~
86
~. Dveloppement de Laurent
< <
t - ot
ot"
,,*,ot"+1
-1.
2""
_1-
iJ!l!!! --""a",t,
~ "
T.
t - ot
"*'o
en posant
n~o.
Itl
=,~
et
d'o
(25)
en posant
(2.6)
a" --Il~
-.
+1 ' n < o.
2"" T. t"
3.
3.
1.
Cette dcomposition est unique si on astreint la fonction fa tendre vers 0 quand 1;; 1
tend vers 00.
En effet, soit f(;;) =
~
a,,;;" le dveloppement de Laurent de j.
Posons
-00<"<+00
La relation (4. 1) est videmment satisfaite, et Ifa(;;) 1tend vers 0 quand 1;;1
tend vers 00. Supposons que l'on ait une autre dcomposition
fI -
4.
ISOL
ou
< o.
88
4. Dveloppement de Laurent
-oo<n<+,.
lanl <-n
r
si petit que soit r, et pour n < 0 ceci entrane an = o. Donc le dveloppement de Laurent defse rduit une srie de Taylor, et celle-ci dfinit le
prolongement cherch de f(~).
(~)
est mro-
2 e cas: il existe une infinit d'entiers n < 0 tels que an =1= o. Dans ce cas
la fonction f (~) n'est pas mromorphe au voisinage de l'origine.
Dfinition. Dans le premier cas on dit que le point 0 est un p6le de la fonction
f; dans le second cas on dit que 0 est un point singulier essentiel de la fonctionf.
THORME (Weierstrass). Si 0 est un point singulier essentiel isol d'unefonction
holomorphe dans un disque point 0 < Izi < p, alors, pour tout s > 0,
l'image du disque point 0 < I~I < s par f est dense dans le plan C.
f(~)
pour
La fonction g(~) =
point
E.
4.
1,
Izi <
c, fonction note
+ g_(1)z
suivant laquelle
Izl < 5,
et
THORME DE PICARD.
-;...!...
est holomorphe dans
ZR
R~On.
Z =1= 0,
le plan point
zn
5. Introduction du point
1. SPHRE DE RIEMANN
x2
+ y2 + ul =
I.
(I. I)
z=x+~,
I-U
x-iy
=--.
1 + u
z,z' =
1.
est le dvdoppement de Laurent def(z) pour 1;:./ > r, une condition nces
saire et suffisante pour que le point l'infini soit un ple def est que an = 0
pour tous les entiers n ;;;::.:. 0 sauf un nombre fini d'entre eux; la condition
pour que le point l'infini soit un point singulier essentid est qu'il existe
une infinit d'entiers n ;;;::.:. 0 td!l que an oF o.
91
RSIDUS
~lf(;:,)
(2. 1)
2'1tZ
d;:,
= I(y, 0) a_Il
0,
et
a_ 1
est
Dmonstration. On a
f(;:,) = fLl/;:,
+ g(z),
g(z) =
an;:,n
n#-I
~;:,n+l
+1
(cf. 4, nO 1).
On a donc la relation
Or
Ir
g(;:,) d;:,
soitf(~)
-+Zf(~)
au point ~' = o. Donc si }:an~n est le dvelop
~
~
.n
pement de Laurent
l'infini est -
def(~)
a-l.
o Res (j, ~k) dsigne le rsidu de lafonctionf au point ~/,; la sommation est tendue
tous les points singuliers ~k e A, y compris ventuellement le point l'irifini.
Dmonstration. Distinguons deux cas, suivant que le point l'infini appartient ou non A.
93
assez petits pour que ces disques soient deux deux disjoints. Soit rit le
bord du disque Sil parcouru dans le sens direct.
Soit A' le compact obtenu en enlevant de A les intrieurs des disques
prcdents; le bord orient de A' est la diffrence de r (bord orient de A)
et des cercles r". Puisque f est holomorphe au voisinage de A', on a
(Cf. chapitre II, 2, nO 8, thorme 5)
rf(~) rk = ~k
Jr
r f(~) rk
JTh
~It),
>
Figure 5
N. B. La partie hachure reprsente la complmentaire de A.
f(~) rk +
f(~) rk
Jr
J1:1=r
~It),
94
contenus dans A et autres que le point l'irifini. D'autre part, d'aprs la dfinition du rsidu l'infini, on a
J1_1=r
21ti
ce qui n'est pas autre chose que la relation (2. 4) dmontrer lorsque le
point l'infini est l'un des points Zlr'
Par exemple, la somme des rsidus d'une fraction rationnelle (y compris le rsidu
l'infini) est nulle.
3.
Zo
_ 1-
Z-Zo
g(z),
g(z) = ~ an (z - zo)"
,,~Q
le dveloppement
d~
Zo;
on voit que,
_1_
Z -
est gal
Zo
zo) f(z).
:~_-u
:;:.
Sif est donne sous la forme d'un quotient P /Q, P et Q tant holomorphes
au voisinage de zo, et Zo tant un zro simple de Q avec P(zo) '=1= 0, on a
(3.
2)
ei~
+ 1;
gal
2Z
_2-.
2e
Cas d'urt ple multiple. Soit f (z) ~ (z ~ ZO)kg(Z), o g(z) est holomorphe
double
(II
eiZ
zz +
i. On a ici
Z =
.'
eiz
g(i) = z(z + i) II
Posons Z = i
Taylor de
h(t)
= (i + t)
(2i
+ t)2
= e-1(I
+ it'+ ... ),
D'o
96
0;
l'entier k est;>
si f est
4.
l' (.t) tk =
27ti)rj(.t)-a
_1
z_
P,
97
que f' (.~) soit =1= 0 en tout point du disque autre que le centre ZOo Considrons l'intgrale
1
27tZ
f'(Z) dz
if(z)-b'
On sait que (4. 2) reste constant lorsque b varie dans une composante.
connexe du complmentaire de l'image de y par f (Cf. chapitre II, 1,
nO 8). Donc, pour tout b assez voisin de a, on a
_1
27ti
f'(z) dz
rf(z)-b
_1
27ti
j'if(z)-a
f'ez) dz = k,
5.
(5. 1)
quels que soient les entiers nI et n 2 Pour cela il faut et il suffit que l'on ait
(5. 2)
Soit Zo un nombre complexe quelconque. Considrons le paralllogramme
(ferm) ayant pour sommets zo, Zo + el> Zo + e2 , Zo + el + e2 Il se
compose de tous les points de la forme Zo + tle l + t 2e2, oU 0
tl
l,
o
t2
Un tel paralllogramme s'appelle un paralllogramme de
priodes ayant pour premier sommet ZOo Soit maintenantf(z) une fonction
mromorphe dans tout le plan et admettant le groupe Q comme groupe
de priodes. Choisissons Zo de faon quef(z) n'ait pas de ple sur le bord y
du paralllogramme de priodes ayant pour premier sommet ZOo On
I.
J:
priodicit; en effet
1f(;:,) d;:, =
1
27tZ
l,
Z -a
27tZ
1.
;:,-a
valeurs des nombres entiers. D'autre part, l'intgrale (5. 3) est gale la
somme ~s rsidus de" la fonction ;:,1'(;:,)/(1(;:,) -a). Calculons ces rsidus.
Les ples sont tout au plus les ples de f (z) et les zros de f (z) - a. Si
~i est un ple, le rsidu pour ce ple est gal - k~i' k dsignant son ordre
de multiplicit. De mme le rsidu d'un zro Xi de f(z) - a est gal
k:Xi' k dsignant son ordre de multiplicit.
En rsum, on obtient :
PROPOSITION 5.2. Soit f (;:,) une fonction mromorphe dans tout le plan, non
constante, et admettant le groupe () comme groupe de Priodes. Pour tout nombre
complexe a, on a
mod./J,
99
o les (Xi dsignent les racines de l'quation f(z) = a (chacune d'elles tant compte
autant de fois que l'exige son ordre de multiplicit) et les ~I dsignent les pOles (chacun
tant compt avec son ordre de multiplicit), contenus dans un paralllogramme de
priodes.
En particulier, la somme ~ Xi prise modulo il est indpendante de a.
1=
r" a+smt
dt. o a dsigne un nombre rel>
Jo
1=
Le seul ple
Zo
100
2i
Res a +.
2'QZ- 1
+ ta = VI,
ail - 1
~
2'1t ~
d'o 1
al -
On a
Zo = -
= V 2'1t
1.
ia
+ i Vail -
1;
2"
+00
1=
-00
R(x) dx,
o R est une fonction rationnelle n'ayant pas de ple rel. On doit supposer
en outre qlle l'intgrale est convergente; pour cela il faut et il suffit que la
partie pri~cipale de R(x) l'infini soit de la forme~, l'entier n tant;;;::' 2.
Une condition quivalente est la suivante
x
lim xR(x) = o.
(2. 1)
1"'1+ 00
Figure 6
J,'
holomorphe sur le bord '( et l'intgrale R(z) th:. est gale la somme des
rsidus des ples de R contenus l'intrie~r de '(. On a donc
+r
-r
R(x) dx
R(z) th:. =
&(r)
2'lti
~~ Res (R(z),
(2. 3)
la somme tant tendue tous les ples de R situs dans le demi-plan
suprieur y > o. On verrait de mme que
11)1
la somme tant tendue cette fois tous les ples du demi-plan infrieur
y<o.
8( ..
+ 00.
r et
a dsignant
le module et l'argument de z. Si
lim zf(z)
Izl~oo
= 0 (al
et de rayon r contenu
;;c.
If('~) 1
al
r et
z~o
alors l'intgrale
tend vers
(+00 dx
1= Jo I+Xs'
La fonction
_1-6
1
+z
e
f02
{3l
5i~
6
1+
00
_00
~. D'o
-the- = - '1';
- (1"'e 6 +e 1"'-1 +e SI"'-)
6
1
xl'
6
= -'1' ( 2
6.
-'1'
Sln
1)
'1' .
=3
+00
1=
_00
f(x) e""dx,
1.
Si Hm f (z) =
pour y ;>
0,
alors
l'I+-oo
(3. 1)
-r
2'1';
~Res (f(z)
e'),
la sommation tant tendue aux points singuliers de f(z) contenus dans le demi-plan
suprieur y > o.
+00
_00
-00
L'intgrale i:oof(x) e'" the peut aussi tre convergente sans tre absolument convergente; par exemple il est bien connu que si la fonctionf(x) est
relle et monotone pour x> 0, et tend vers 0 quand x tend vers
00, l'int
13
grale
(HO
Jo f
<
aHon!! montrer que l'intgrale ( f(;;)e " tk tend vers 0 lorsque r tend vers
+ 00.
1.
J~(r)
La
l'I+-oo
relat~on (3. 1) est donc dmontre dans ce cas. Par exemple, considrons
l'intgrale
1+00
o
cos
X
-lI--
dx = - 1 Re
Res
-.,
21
d'o
1 00
+
cos x dx = ..!...
x2
2e
Pour prouver que ( f (;;) e" tk tend vers 0 sous la seule hypothse de l'nonc
J~(r)
de la proposition 3.
LEMME
l,
Si limf(z) =
~ o.
1:1 "-
rayon r contenu dans le secteur tend vers 0 lorsque r tend vers + cr...
Posons en effet z = re", et soit M(r) la borne suprieure de If(rell)jlorsque
a varie, le point rell . restant dans le secteur. On a
Iff (;;)
On va montrer que
1"
el' tkl
1,
o . e-r11n'r do = 2
12
'It
e-rs1n'r da
< 'Ir.
Dmonstration de (3. 4) : on a
2 ./ sin 0./
pour
-~--~I
'It
0<0<2:..,
2
d'o
--r.
!.
r.
rdO <
J.+'" e
--r8
2
r.
'It
rdO = - .
2
olt,o)
(r,o)
Figure 7
LEMME
4. Si z =
(3. 5)
lim
,+0
g(.e:) d.e:
0),
T('}
l'origine. L'intgrale
l'intgrale
1 ~.e: tk
lorsque
tend vers
0,
et
T('}
Il+aosinx
1 = { + aosin
- dx x = --dx= ----;hm
1. 0
_00
2Z 1+0
~ _00 X
+1
1.
----;l1m
'It
(el:)
'It
= -Res
-,0 =-.
15
l _aoaof
+
Remarque
impo:~ante:
si, au lieu de
Lao
l'intgrale
f (x) ri., tlx, il et fallu intgrer dans le demi-pla iriflrieur
au lieu du demi-plan suprieur; en effet, c'est dans le demi-plan infrieur
y
0 que la fonction Irl:1 est borne et c'est dans ce demi-plan que le
lemme 3 est valable (mutatis mutandis). Plus gnralement, une intgrale
<
<
on exprimera toujours les fonctions trigonomtriques l'aide de l'exponentielle complexe, de faon pouvoir appliquer la mthode prcdente.
4 type. Considrons les intgrales de la forme
1=
+ .. ~
X'"
tlx,
o Cl dsigne un nombre rel tel que 0 < Cl < l, et R dsigne une fonction
rationnelle sans ple sur le demi-axe rel x ;> o. Il est clair qu'une telle
intgrale converge pour la limite d'intgration 0; pour qu'elle converge
pour la limite d'intgration + IX), il faut et il suffit que la partie principale
de R(x) l'infini soit de la forme 2....
avec n ;> 1; autrement dit il faut et
xn
il suffit que
lim R(x)
z~+ao
o.
z"
106
est gale la somme des rsidus des ples de R(z) contenus dans D, si r
car, lorsque l'argument de Z est gal 2'/t, on a z" = e2r.i"lzl ". Puisque l'argument de Z reste born, zf(z) tend vers 0 quand Z tend vers 0 ou quand Izl
Figure 8
tend vers l'infini; donc les intgrales le long de y(r) et de y(e) tendent vers
o quand r tend vers J.. et quand! tend vers 0 (lemmes 1 et 2). A la limite,
on obtient donc
Jf'+"
. (dx
o x 1 +
I+Z
). (0
X
< oc <
1). On a ici
Rf,.,
1; le rsidu de ~ en ce ple
z,
qui
1+"
>
de l'intgrale.
+ 2'1ti,
logz = log x
x dsignant le module de
z.
d'o
(5. 1)
2'1ti 1+ ao
R(x) tA =
En principe, ceci donne seulement une relation entre les deux intgrales
ao
ao
Jor+ R(x) dx et Jor+ R(x) log x dx. Toutefois, supposons que la fonction
rationnelle R soit relle (c'est--dire prenne des valeurs relles pour x
rel); en sparant le rel de l'imaginaire dans la relation (5. 1), on obtient
les deux relations
(5.
2)
(5 3)
Jo
gOzl;a au ple z =
+ log (1 -
2dans le
Exercices
Figure 9
rayon (fig. 9). Le lecteur dmontrera que lorsque la fonction R est relle,
on a la relation
(5.5)
r+"'R(x) log x dx
Jo
'Jt2
Re (Res (R,
x
_ 'Jtll
~dx--.
Xll- 1
4
+'" 10D'
Exercices
1. Soitf(z) holomorphe dans Izl
diffrentes les intgrales
<
R, R>
1.
'II:
Jo
Jo
2f(0) -1'(0).
<
L >-2'11:RI1'(0)1.
Montrer, dans les mmes conditions, que l'aire A de l'image du disque
ferm Izi
R, par la mme application, est donne par:
<
A=j"r
11'(x + b)llIdxdy;
J'Z,";;R
en dduire l'ingalit suivante:
A >- 'll:R2 11'(0)1 2.
4:. fo2"
1
< r< R,
<_1_
r2"I1'(rei8)llIlJals"da =
4'11: 2Jo
0
2'11: Jo
3. Montrer que, sif (z) est holomorphe dans un ouvert contenant le disque
ferm Izl
l, on a
<
~
f(z) dz = ~f(o) s~< l,
2r.z k,=tz - a
(f(o) - f(l/"a) si lai>
l'intgrale tant prise dans le sens direct. (Utiliser l'Exerc.
et la formule intgrale de Cauchy.)
1.
l,
b) du chapitre II
. Izl >- R.
Exercices
5. Soit f une fonction holomorphe non constante dans un ouvert connexe
D, et soit D' un ouvert connexe tel que son adhrence 1)' soit compacte
et contenue dans D. Montrer que, si If (z) 1 est constant sur la frontire de
D', il existe au moins un zro def (z) dans D'. (Dmonstration par l'absurde,
en considrant IJf(z).)
<
M(r) = sup
l'I=r
Izl <R,
et posons
a) M(r) est une fonction continue et croissante (au sens large) de r dans
0< r<R;
b)
rI
(0
< M(r
< r < r
10,r-lo(r,
101rl-10,r
l ) 10gr,-lo,r,.
< <
pour rI
r
r . (Appliquer le principe du ..maximum la fonction
zP( (f (z) )q, avec p, q entiers et q> 0; choisir ensuite ct rel tel que
ri M(r l )= riM(ra), et une suite de couples d'entiers (Pno q.) telle que
lim p.Jq. = ct.) Vrifier que l'ingalit (1) exprime que log M(r) est une
n~"
2
"
2'ICJ o
< r < r.
1z1 <
R, et posons
If (rei t ) 12 dll,
pour
< r < R.
z=
I.(r) = ~
la,,1 2r;
.~o
en dduire que, si
< r < R,
III
(i) 12(r) est une fonction continue croissante de r (au sens large);
(ii) on a If(o)l2
(iii) log 12(r) est une fonction convexe de log r, dans le cas ofn'est pasidentiquement nulle (montrer que, si on pose
s
logr,
J(s)
~ la n I2e2 /1',
= 12 (e') =
(1
on a
og
n~O
J)" = J"J -
(J/)2.
Ji'
>
10. Soit f une fonction holomorphe dans le disque Izi < l, telle que
If(z) 1 < 1 dans ce disque; s'il existe deux points a, b distincts dans le
disque tels que f(a) = a, f(b) = b, alors on a f(z) = z dans le disque.
0,
'b-a)
g ( ~b
1 -
b-a et
---b'
1 -
+ az
Ig(z)1 <
dans le
Izl -<
-< -<
A(r)
sup Re(f(rei8
O~8~2"
(i) Montrer que A(r) est une fonction continue croissante (au sens large)
de r (remarquer que eRef(:) = lef)I).
(ii) Montrer que, si on a de plusf(o) =
M(r)
-< R 2r_
0,
on a, pour
r A(R ) .
-< r < R,
~ R 2 r r A(R) + ~ + ~1f(0)1
-< r < R,
Exercices
l'origine
z=
0,
o<lzl<+
pour
00,
avec
110"
an = -
e"'C08t
cos nt dt,
pour n ~ o.
'It
(x(Z-~)/2), le
Z
avec
bn
Il''
= -
(Remarquer que, si
'It
z' = - I/Z,
(Z2
I)m
zm+n+l
>- o.
>- o.
pour
+ (0).
( I)p(n + 2p)!
p! (n + P)!'
dz _
on a
pour
SI'
m = n + 2P, avec p
entier
0,
dans les autres cas,
>-
f'(z)
f(z) -
a la forme suivante :
_.2... +
Ul
pour ;;,eP+.
f (;;,)
ane21ti/~1
-oo<n<+ao
avec
f(;;,)
ane21tin!
n~-no
pour
n~ l,
(2n
+ I)!
Exercices
l,
f,..(;;,) =
Il
(1
z"e'-I
).
Soit T'" le primtre du carr ayant pour sommets les points d'affixes
+ 1)'2t + (2m + 1)'2ti. Montrer que l'on a
+ (2m
si
p~l
I/pll. =
(2'2t)BnB.
2(2n)!
pour
n ~ 1;
en dduire qu'il existe ye d(yo, &0) et une suite (cn).;;>o de points de D telle.
que
f(C II ) = y pour tout n, lim cn = c;
donc f n'est univalente dans aucun disque point
petit que soit r > o.
<
Iz - cl <
r, aUSSI
P sur C.
z.
115
(ii) Montrer que si C est un cercle de SI' qui ne passe pas par P, tp(C)
et un cercle dans le plan C, et que si C passe par P, tp(C - P) est une droite
dans C.
(iii) Soient ~l> ~I e C; pour que tp-l(~l)'
faut et il suffit que l'on ait ~1.ZI= - 1.
tp-I(~2)
soient antipodaux, il
~2
18. Montrer qu'une fonction mromorphe partout sur la sphre de Riemann est ncessairement rationnelle. (Montrer d'abord qu'une telle
fonction n'a qu'un nombre fini de ples.)
19. Thorme de Rouch : soient f(~), g(~) deux fonctions holomorphes
dans un ouvert D, et soit r = (r,),el le bord orient d'un compact K
contenu dans D. Si on a
If(~)1
>
Ig(~)1
sur
r,
montrer que le nombre de zros de f(~) + g(~) dans K est gal au nombre
de zros de f (~) dans K. (Considrer les chemins ferms for " i e l, et
appliquer la proposition 4. 1 du 5, et la proposition 8.3 du chapitre II, 1).
dx
1+ cos 2ax - cos 2bx
( b 2) (a, b > 0), (ii)
2
dx (a, b rels),
a+x"
'0
x
"')1+oox2-a2sinxdx ( > ) (') t"
cosntt/t
A I..J.. )(' t
(III
0
Xl + a2 x
a
0 , IV Jo 1 _ 2a COli t + ail ~ a .,... 1 10 grer
(i)
00
la fonction
21.
00
.t"/(~
a)(~
u6
'/t
arg
Exercices
r.. .
'!t
dx
(x 2
ll )
+ aS'
r'"
cos vx dx
'!t sin va
+ ch a = sh '!tv sh a'
)0 ch x
+ ch a) le long
+ R + 2'!ti.
>- 2.
r"'~_
.10
du primtre du rec-
+ x" -
'!t/n
sin ('!t/n) ,
>-
< <
< <
Jo
+ > o.
IX
x~dx
1
+x,,'
>-
25. (i) Montrer que la fonction 7t cotg 7tZ est mromorphe dans tout le
plan complexe, qu'elle a comme ples simples les points z = n, n entier..
et que son rsidu au ple z = n est gal 1 quel que soit n. Soit
f(z) = P(z)/Q(z)
une fraction rationnelle telle que deg Q > deg P + l, et soient al> a2 , ,
ses ples simples, bl , b2 , , bm les rsidus correspondants. On suppose
de plus que les ag ne sont pas entiers, pour 1 ~ q ~ m. Dsignons par 1n
am
(n + --;) (n + --; ) i,
n entier positif. Montrer qu'il existe deux nombres rels positifs Ml' K,
qui ne dpendent pas de n, tels que l'on ait
a)
b)
et que
(1)
Hm
At "'.00
-1l~p::;R'
+ bn 2 ),
~ nB/en'
n~1
+ a4 )
-,.,t,.-;.,.f(P)')
(a, b rels positifs).
_1_.
n+oo _n~p~nX-p
1lm...-
J(p)
IL n.(i#C-n~p~n'
et en dduire la valeur de
!. ~2'
p?>t X - p
(iii) Soit IX un nombre rel tel que - 'It < IX < 'it. Montrer que :
c) il existe un nombre rel positif M2' qui ne dpend pas de n, tel que
l'on ait
ei'" 1 ..... 2
--~M
lsin'ltz
d)
. lei'"
hm
.
dz
T"Z sin 'ltZ
. . . 00
118
sur
"(n,
o.
Exercices
Iyl < n + ~
(resp. Z
=x+
+ 2...+
V,
2
14) du chapitre 1.) En dduire enfin que, si f (z) est une fraction rationnelle
satisfaisant aux conditions de (ii), on a
lim
R-)ooOD
-"~p~,,
(- I)P f(p)ei&P
~
pour x =1=
0,
l,
=-
L:
i~q~m
= I/(X - z),
bq .ei&aQ
sIn
'JtQq
et montrer que, si -
<
ex
<~,
n~1 (
1 n
2, ...
119
CHAPITRE
IV
K[[X, Y]]
a p, qXpYq
# o.
p+q=.
On montre que l'ordre du produit de deux sries non nulles est gal la
somme des ordres de ces sries; en particulier, K[[X, Y]] est un anneau
d'intgrit.
Nous ne dvelopperons pas la thorie de la substitution de sries entires
120
formelles aux lettres X, Y, thorie qui ne prsente du reste aucune difficult particulire. Les sries que l'on substitue doivent tre d'ordre ~ I.
A titre d'exercice, le lecteur pourra dmontrer une proposition analogue
la proposition 5. 1 du 1 du chapitre 1.
2. DOMAINE DE CONVERGENCE D'UNE SRIE ENTIRE MULTIPLE
q~O
q~O
p, q
Pour que (r1' r2) e~, il faut et il suffit qu'il existe ri> r1,
r~)er.
+ 00.
121
-<
LEMME. Si lap.ql(rOl!(r~)'1
-< M
-<
<
ri,
-<
-<
Par abus de langage, on appelle aussi domaine de convergence l'ensemble des couples (otl' Z2) tels que (Iotll, ~otzD appartienne au domaine de
convergence t::.. De mme, pour une seule variable complexe Z, le domaine
de convergence est le disque ouvert loti < p, p dsignant le rayon de convergence.
3. OPRATIONS SUR LES SRIES ENTIRES CONVERGENTES.
PROPOSITION 3. 1 (addition et multiplication des sries entires). Soit un ouvert
D contenu dans le domaine de convergence de la srie A(X, Y) et dans celui de la srie
B(X, Y). Alors D est contenu dans le domaine de co,nvergence de chacune des sries.
S(X, Y) = A(X, Y)
+ B(X, Y),
P(X, Y)
B(zl' Z2),
S(ZI' Z2) = A(Zl' Z2)
La dmonstration est analogue celle donne dans le cas des sries
une variable.
On dfinit d'une manire vidente les drives partielles d'une srie
entire S(X, Y) = ~aJ" '1XPY'I :
P. q
PROPOSITION 3.
2.
, )X
()S a meme
uomazne
J
J
,. S.
L a sene
ue
convergence que l a sene
Lorsque (IZll, IZ21) est dans ce domaine, lafonction ~i (Zl' zz) est la drive partielle
(par rapport la variable relle ou complexe Zl) de laJonction S(Zl> Z2)'
,122
2. Fonctions analytiques
a
p.q
=_1_ P+ 9 S (0, 0)
p! q!
b~f
04
2. Fonctions analytiques
On considre ici des fonctions de plusieurs variables relles ou complexes,
dfinies dans un ensemble ouvert D. Pour simplifier on' raisonnera sur le
cas des fonctions de deux variables.
1. FONCTION DVELOPPABLE
EN SRIE ENTIRE
Dfinition. On dit qu'une fonction f(x, y), dfinie au voisinage d'un point
(xo, Yo), est dveloppable en srie entire au point (xo, Yo) s'il existe une srie
entire formelle S(X, Y) dont le domaine de convergence ne soit pas vide
et telle que l'on ait:
f(x, y)
= S(x - x o, y - Yo)
ANALYTIQ.UES;
OPRATIONS
SUR
CES
FONCT,IONS
dans D, et si gl(U, v), gt(u, v), ga(u, v) sont analytiques dans un ouvert D'
et prennent leurs valeurs dans D, alors la fonction compose f(gl(U, v),
g2(U, v), ga(u, v)) est analytique dans D'.
PROPOSITION 2. I. La somme d' wze srie entire multiple est une fonction analytique
des variables dans le domaine de convergence.
La dmonstration serait analogue celle de la proposition 2. 1 du 4
du chapitre I. Le lecteur noncera une proposition analogue la proposition
2. 2 du mme paragraphe.
3.
D,
et
est
COROLLAIRE 2 (principe du prolongement analytique). Si deuxfonctions analytiques f et g dans un ouvert connexe D concident au voisinage d'un point de D,
elles sont identiques dans D.
1)
()2f ()2f
()x2 +
= o.
()r
.e = x
On a
o~
+ Y et la variable conju~e:e = x -
(1. 2)
(13)
La relation (1. 3) exprime donc quef est une fonction harmonique.
Remarque. Les fonctions f considres peuvent prendre des valeurs complexes ou des valeurs relles. Pour qu'une fonction valeurs complexes
f = P + iQ (P et Q tant valeurs relles) soit harmonique, ilfaut et il
suffit, d'aprs (1. 1), que P et Q 'soient harmoniques. Nous dsignerons
souvent P par la notation Re (1) et Q par lm (f).
2. FONCTIONS
HARMONIQ.UES
PROPOSITION 2. 1.
En effet, si
on a ! =
~
0,
ET
FONCTIONS
HOLOMORPHES
~g~ =
~ (I.e
0,
et par consquent
(2. 1)
Cette relation prouve quefest holomorphe. Passons l'imaginaire conjugu
dans la relation (2. 1); on obtient
dJ = 2~~dz,
puisque, la fonction g tant relle, les fonctions i)g et I\~sont imaginaires
i)z
/)z
conjugues. En ajoutant (2. 1) et (2. 2) on obtient
.!....d(f + J)
2
= dg;
/)fd'Y
()z '"
.
. i)f
ce qlU eXIge - =
OZ
+ "J...d~
=
i)z '"
9.L_ = o.
0,
C.Q.F.D.
OZ
3.
II,
LA PROPRIT
DE MOYENNE
4.
par x
+~,
et considrons la srie
comme une srie entire deux variables x et y, tant entendu que, dans
(4. 2), (x + ~)n est remplac par son dveloppement
(4. 3)
(x
+ ~)n =
P+'/=II
n!
P(.)9
x V'
p'-I
q.
+ /y/<
Il appartiennent au domaine de
convergence de la srie double (4. 2). En effet, pour un tel (x, y), il existe
rI > Ixl et r 2 > Iyl tels que
rI
et l'on a
+ r = r < p,
2
Ixl<.L,
2
Soit
J(z) =
'po
a.z"
lyl<L.
2
a.
+ l(x -
~).
Pour la mme raison que ci-dessus, la fonction J(x -~) est analytique
dans l'ouvert (4. 4). Donc g(x, y) est une fonction analytique dans cet
ouvert. Ainsi la fonction g est analytique au voisinage du cent de tout
disque ouvert dans lequel elle est harmonique. On en dduit la proposition
4. 1.
5.
DONNE
On a vu (proposition 2. 2) que toute fonction relle harmonique g est localement la partie relle d'une fonction holomorphe j, que l'on obtient
par une intgration. On va voir maintenant que lorsque g (qui est analytique) est donne par un dveloppement en srie entire, on peut obtenir
f sans intgration.
Supposons de nouveau g(x,y) harmonique dans le disque ouvert Xl +yI < p!,
et reprenons les notations du nO 4.
Considrons les deux sries entires formelles deux variables X et Y:
f (X
+ ,y)
~ a.(X
A~O
+ 'Y)',
(5. 1)
128
z)
1 Z
2gl-.
~ =f(z)
\ 2
2'
+ J(o).
z par
0; on obtient:
2g(0, 0) =f(o)
+ J(o).
2g
('.i., ~) -g(o,
2
2t
0) =f(z)
+ ~-(J(o)
-f(o).
2
La fonction cherchef(z) est donc gale, l'addition prs d'une constante imaginaire pure, la fonction connue
(5 3)
<.
z) =
2g ( - , --:
2 2t
2sin~cos~
cos2~-sin2-~
2
tg Z,
et par consquent
f(z) = tg Z.
On peut vrifier que g est bien la partie relle de tg Z; donc la fonction
donne g est bien harmonique; c'est la partie relle de tg Z.
DANS UN
DISQ,UE
+ y2 <
pz;
f(z) = ~ anz n,
n~O
12 9
IV.
I<'onction~
+ anr in"),
n-I
an
-1
2'1':
~
'1':
"
r27"'g(rcos a, rsin a) da
Jo
pour
n>- 1.
(reil)n
Remplaons, dans le second membre de (1. 1), les coefficients an par leurs
valeurs tires de (1. 3) et (1. 4). On obtient, pour Izl < r,
(1. 5)
f(z) = -1
2'1':
2
",g(rcos
a,
rsin a) [~
1
2 ~
n-I
( lZ )
re'
n] da,
f(z) = -1
(1. 6)
2'1':
2"
g(rcos a, rsm
Z
a) -reil' 6+
-da,
re' -z
g(x, y) = -1
2'1':
2"
g(r cos 6, r sm
a) lr '0-lzl212 da
re' - Z
(avec Z = x
~).
Cette formule est valable dans le disque ouvert x 2 y2 < r2 , quelle que
soit la fonction g harmonique relle dans le disque x 2 y2 < p2 (avec
r < p). En fait la formule (1. 7) est aussi valable pour une fonction harmonique g valeurs complexes, comme on le voit en sparant le rel de l'imaginaire. La relation (1. 7) porte le nom de formule de Poisson, et la fonction
(,-;-IZI
~2 qui figure sous le signe
re' - Z
+z
reil
-,../-1--
2'1t
12nr2-lz12 d6 =
0 Irel' - zl2
3.
<
F(reil ) =j(6).
En d'autres termes, il s'agit de prolonger la fonction continue donne sur le
cercle, en une fonction continue dans le disque ferm et harmonique dans
le disque ouvert.
On se bornera considrer le cas o les fonctions donne j et inconnue F
sont valeurs relles; le cas des fonctions valeurs complexes s'y ram~ne
en sparant le rel et l'imaginaire.
THORME.
Posons, pour
Izl < r,
1
F(z) = -
2'1t
r 2 -lzl 2
27.
1(6) 1"8
re' - z 12d6.
1(6 0 )
lim F(z).
Z'.:;.riGo
l'I<r
Donc la fonction F, prolonge par 1 sur le bord du disque, est une solution
du problme de Dirichlet, ce qui achvera d'tablir le thorme du nO 3.
La fonction F dfinie dans l'intrieur du disque par la relation (4. 1)
est videmment la partie relle de
<
LEMME. -
L'intgrale
-
2,;
le-e.I>~
r 2 -lzl 12 d8
Ire ! l
ZI!
< r.
pei~. Si
z=
on a
pour tout 8 satisfaisant 18-8 0 1> 'rj. Donc, sous le signe d'intgration
on a
reil -
zl
1
(r 2 r 2sin 221..
21
,;
JI&-eol~~
+ 2,;
-1
(1(8) -1(80)
le-eol>..
(1(8)
Ir;;-IZI~2
d8
,., - Z
2
2
-1(8 0 1 r ie-1.e1 12d6
re -.e
-<...:.....
2
1),
-<...:.....
2
On a alors
5.
THORME.
D,
ayant la
propri~
de
D'UNE
FONCTION
HOLOMORPHE
Fixons toutes les variables saufla variable Zk; pour que la fonction partielle
soit une fonction holomorphe de Zk, il faut et il suffit que ~ = o. S'il en
()Zk
est ainsi pour chacune des variables Zk, la diffrentielle tif est combinaison
linaire des tkk' Rciproquement, si tif est combinaison linaire des tkkt
la fonctionf est holomorphe sparment par rapport chaque variable Zk'
Dfinition. Une fonctionf (Zl> . , Zn) dfinie dans un ouvert D de l'espace C"
des n variables Zk> est dite holomorphe dans D si elle est continment diffrentiable et si en outre sa diffrentielle tif est gale
Il. est clair qu'une fonction analytique des variables complexes Z" est
holomorphe.
Une fonction continue dans un ouvert D, holomorphe sParment par
rapport chaque variable complexe Zk, est holomorphe dans D et mme ana?1tique
dans D.
La dmonstration de ce thorme va faire l'objet des deux numros suivants. Ce thorme entranera notamment que toute fonction continue,
holomorphe sparment par rapport chaque variable Zk, est continment
diffrentiable et mme indfiniment diffrentiable. Il entranera d'autre
part l'quivalence <;les notions d'holomorphie et d'analyticit pour les
fonctions de plusieurs variables complexes.
THORME.
PROPOSITION 2. 1.
(2. 1)
IZkl <rk<pk
(2. 2)
f(
) _ _1_
(k = 1,2),
rI et Ital
ra, chacun
Fixons maintenant t l tel que Itll = Tl. La fonction f(t u z.) est holomorphe en Z. pour IZal
P. On a donc de mme
<
f(t l , z.)
=....!.~
2~Z JI~.I=r.
Remarque (due Hartogs). Soitf (.~11 z.) une fonction dfinie et continue
dans la runion des deux ouverts (o i > 0 est trs petit) :
(A)
(B)
IZII
Pl -
i,
Supposons que, dans (A), f soit une fonction holomorphe de ZlI et que,
dam (B), f soit une fonction holomorphe de Z Alors f se prolonge en une
fonction holomorphe des variables Zl et Za dans l'ouvert (2. 1), et cette
fonction prolonge satisfait la formule intgrale (2.2).
3.
l,
lafonctionf
(3. 1)
ri
<
Ph
de trouver une srie entire double qui converge nonnalement versf(Zl' z.)
dans le produit des disques
<
< ri,
=
(~1
Ph r~
Izii
< r2 <
PI; et appliquons la
< r~. On a
~.
(ZI)P(Z.)9 ,
P.9~O (~1)p+l(~1)9+1
<
)I(~
) par sa valeur tire de (3. 2). En vertu de la converZI - z.
gence nonnale on peut intgrer tenne terme, et l'on obtient prcisment
(3. 1), o les coefficients ap ,9 sont donns par la fonnule intgrale
(
~1 -
Comme dans le cas d'une variable, les coefficients ap , 9 peuvent tre exprims
par des intgrales portant sur la fonction f. Il suffit pour cela, dans la relation
(3. 1), de remplacer Zl par r 1e/' et Z2 par rsei"; en intgrant tenne tenne
on obtient:
5.
COMPosmoN
PROPosmON
5.
DES
FONCTIONS
HOLOMORPHES
1.
de Cn. Soient
des fonctions holomorphes dans un ouvert D' de Cp. telles que leurs valeurs en chaque
point de D' soient les coordonnes d'un point de D.
(t l ,
, t p ) -
gn(t1 ,
, t p
kl<
= }=t
~~
dt}.
ut}
6.
THORME
DES
FONCTIONS
IMPLICITES
fonctionnel clet ()
()xj'
(6. 1)
l, ,
n)
peuvent se rlsoudre lorsque les Xj sont assez voisins des ai> les Z/r sont assez voisins
des Ch et les yj sont assez voisins des bj = Jj(ah ... , an; Ch ... , cp), deZa manire
suivante:
(6. 2)
... ,
bn;
Ch ... ,
Cp).
+ ixj,
yj =yj
+ Vi,
(dxj
+ idxj) 1\ (dxj -
idxj) = -
2idx~ /\ dxj.
Ainsi on a
Zp,
on a
xr, ...,
qui est =1= 0 au point (ah"" an; Ch"" Cp) par hypothse. Appliquons le
thorme des fonctions implicites : xi, x~, ... , x~ s'expriment (localement)
comme fonctions continment diffrcmtiables de yi, y~, ... ,y~ et des parties
relles et imaginaires de Zh , Zp' Or le systme d'quations linaires
montre que les dxj sont des combinaisons linaires des dYj et des tkk' Donc
Xn sont, en fait, des fonctions holomorphes des YI et des Z/r.
Xh ,
C.Q.F.D.
139
Exercices
I. Montrer que, si fez) est holomorphe dans un ouvert D, on a, pour tout
zeD,
~!f(z)12
Ci)
~log(1
(ii)
~
+ If(z)/2)
= 4 I/'(z) 12 ,
= 41/,(z) 12/(1
+ l1(z)12)3,
2. (i) Soit g(z) une fonction holomorphe dans le disque Iz/ < R. Montrer
que, si 0
r < R, et si g(z) n'a pas de zro dans le disque ferm Izi
r,
on a la relation suivante :
<
<
10glg(0)1
= ~ r210glg(reiG) Ide.
2'ltJ o
existe et que sa valeur est gale 2'lt log r (r, t rels, r > 0).
En dduire que, sif (z) est une fonction mromorphe et ==/= 0 dans le disque
[zr < R, et si
1
2
'1t
(iii) Soient al' a2 , , ar les zros et bl' b 2 , , bq les ples de la fonctionf (z)
considre dans (ii), contenus dans le disque point 0 < Izi
r (chacun
.d'eux tant compt autant de fois que l'exige son ordre de multiplicit),
et soit
<
(Considrer la fonction
et montrer qu'elle est holomorphe et n'a pas de zro dans un ouvert contenant le disque ferm Izi
r, et que Ig(z)1 = If(z)1 si Izl = r.)
<
Exercices
>- 0
partout
-f(a)
3
<J(z)
<; 3f(a)
>-
quels que soient Zl' Zg dans K. (Montrer qu'il existe un nombre fini de
disques ferms D. satisfaisant aux conditions suivantes:
D:::lUD.:::lK,
Il
et, pour deux quelconques d'entre eux, soient Dp et Dq, il existe une suite
D , ... , Dnk telle que DR. = Dp, D.k = Dq, et DRj_ 1 n Dili =1= ~ pour
j = 2, 3, ... , k. Appliquer (ii) chacun de ces disques.)
(iv) Soit If. (z)! une suite de fonctions harmoniques dans un ouvert
connexe D, monotone croissante (au sens large) :
f.
If.(a) 1 <
00,
l, 2, ...
>
assez petit.
(ii) Si j.(z), v = I,2, .. , n, sont sous-harmoniques dans D, alors les fonctions suivantes sont aussi sous-harmoniques dans D :
ft
~ a.j.(z),
av
.,.=1
>- 0;
sup f,,(z).
l~v~n
(a)f(z)
<.
(vu ["r
JK
uv) dxdy =
r ('u /)y/)v -
Jr
v/)u) dx
/)y
+ (v/)u
/)x
u /)v)dy .
/)x
/)x
que, si f(z) est une fonction dfinie dans D, ayant des drives secondes
continues, et si a e D, on a
(f)(z)
J~r
J'-a~r
dxdy =
r2.,~ (a
Jo /)r
+ rell) rde,
Exercices
pour r> 0 assez petit. (Prendre dans l'galit ci-dessus, u =J, v = 1.)
En dduire que
.!..1
2'1t
"j(a
+ peie ) do =
f(a)
+ (' dr 1~ r
(~f)(z)dxdy
Jo 2'1tr J z-al":;r
pour p> 0 assez petit, et montrer que !1f(z) ;;;;;,. 0, pour zeD, est une
condition ncessaire et suffisante pour qu'une fonction f (z) ayant des
drives secondes continues soit sous-harmonique dans D.
5. Soitf (z) une fonction sous-harmonique dans le disque Izl < R. Montrer
que, si 0 < rI < R, et si g (z) est la solution du problme de Dirichlet dans
le disque Izl
r 1> telle que g(r 1ei&) = f (r 1eiO ) , on a
<
pour
<r<
ri'
m(r) =
11
~
2'1t
2'1t
f(re'8)dO
>
< r < R.
< R,
ex rel
< r < R.
~43
CHAPITRE V
UNIFORME
SUR
TOUT
COMPACT
ment sur tout compact de D, si, pour tout compact K c D, la srie des restric-
144
1f(~) tk
est le bord d'un rectangle contenu dans D (cf. chapitre II, 1, proposition
4. 1). Or sur le bord du rectangle, f est limite uniforme de la suite des fn,
et on a donc
0,
1.
COROLLAIRE. La somme d'une srie de fonctions holomorpkes qui converge normalement sur tout compact de D, est unefonction holomorphe dans D.
THORME 2. Si une suite de fonctions f,. El ~(D) converge vers f El ~(D) uniformment sur tout compact, alors la suite des drives f~ converge vers la
drive f' uniformment JUT tuut compat.
m~romorphes
dans D. Ainsi les f" sont holomorphes pour l.el < ro + e (! > 0 et assez
ro'
petit) et convergent vers f uniformment pour l.el
Montrons que les drivesf~ convergent uniformment versf' pour l.el r.
Cela va rsulter aussitt du lemme suivant :
<
<
(2. 1)
Ig'(.e) 1
< M (ro-r
ro )2
l.el
pour
l.el
pour
n~O
< (M)
r
la,,1
< ro.
Il
g'(.e) = ~ na".en-
n;;'O
Donc, pour
l.el
Ig (.e)1
Calculons la somme de la srie
M
< -r
o
~n
Il;;'0
(r0),,-1'
";;'0
(.!..-)"-I
;nt n- I est la drive det", donc
ro
_1_,
1 -
nrn -
"
,(.j
et par suite
Ig')1 ..;; M,
ro 11-.!..\
ro
)"
r1(t)
dt
t-.e
2'1tlJ"'f
en
f'(Z)
=.2...,
r(t_Z)B
I(e) dt .
~.,;,JT
On a donc
_1 [IA(t) dt = 1 f'()
l '( Z) = 1lm.
(
)2
lm Z
2.,;, T t-z
A
ft
jf'(Z) dz
I(z) ,
2.,;i T
rI~(z) dz
2.,;iJ T
J,.(z)
147
2. l,
in prend la valeur a dans SI et dans S2' pour n assez grand, ce qui contredit
l'univalence de in.
3.
TOPOLOGIE DE L'ESPACE
e(D)
On a dj dfini ce que l'on entend par suite de fonctions J,. e e(D) qui
converge uniformment sur tout compact. On va maintenant, d'une faon plus
prcise, dfinir une topologie sur l'espace vectoriel e(D). Sur le sous-espace
vectoriel ~(D) on considrera la topologie induite.
Pour tout couple (K, E) form d'un compact K cD et d'un nombre l > 0,
considrons le sous-ensemble V(K, E) de e(D) dfini par
(3. 1)
ieV(K, !)
li(x)1
<
pour xeK.
un ensemble dnombrable, que l'on peut ranger en une suite Dl' Dz,. ,1.,
Dn, ... Posons
et montrons que les compacts Ki forment une suite exhaustive. Les intdrieurs des disques Dn forment un recouvrement ouvert de D, et par consquent tout compact K contenu dans D est contenu dans un KiSupposons dsormais choisie une suite exhaustive de compacts Ki, et
posons, pour chaquefee(D),
Mi(f)
sup If(z)\,
:EK/
d(f)
~ 2- i inf(l, Mi(f.
/~I
d(f) est fini, parce que la srie du second membre est majore par la srie
gomtrique ~ 2- i. On va prouver que d(f) possde les proprits
suivantes: i~1
d(f)
d(f
~';.
+ g)
o~f= 0,
-< d(f)
+ d(g),
6)
Prouvons (3. 4). Il est clair que, sif est identiquement nulle, d (f) = 0;
rciproquement d(f) = 0 entrane, d'aprs (3. 3), Mi(f) = 0 quel que
soit i, donc la restriction de f ehaque compact Ki est nulle et par suite
f est identiquement nulle.
Prouvons (3. 5) : il est vident que
M/(f + g) -< MI (f)
+ M/(g),
+ g
-<inf (r,Mi(f
+ inf(l, Mi(g,
>-
149
pour j
:< i,
d'o (3.6).
Pour achever la dmonstration de la proposition (3. 1), il reste prouver
que les ensembles V(K, ,) formeI/-t un systme fondamental de voisinages
de 0 dans la topologie dfinie par la distancA::i-dessus.
1) tout ensemble V(K, e) est un voisinage de 0 : en effet, K et e tant
donns, avec E < l, soit i tel que K c KI' Alors la relation d (f) :< 2- IE
entrane fe V(K, ,), cause de la premire ingalit (3. 6).
faon que
2- 1
l'ES
SRIES
DE
FONCTIONS
MROMORPHES
de lui enlever un nombre fini de termes de faon que les termes f. restants
n'aient pas de ple sur A et forment une srie normalement convergente
sur A.
Il est clair que toute srie normalement convergente sur A est uniformment
convergente sur A. Dans ce qui suit, on considrera des sries de fonctions
mromorphes dans D qui convergent uniformment (resp. normalement) sur tout
compact K contenu dans D. On dfinit la somme d'une telle srie: sur tout
ouvert U relativement compact de D, c'est la fonction mromorphe
(1. 1)
f.
converge uniformment
n>n
sur l'adhrence U. Dans (1. 1) le premier ter:ne est une fonction mromorphe dans U, somme d'un nombre fini de fonction mromorphes;
le second terme est une fonction holomorphe dans U, puisque c'est la
somme d'une srie uniformment convergente de fonctions holomorphes
dans U. Il est facile devoir que, dans U, la fonction mromorphe (1. 1)
ne dpend pas du choix de l'entier no.
THORME.
Soit une srie ~ J,. de fonctions J,. mromorphes dans D. Si cette srie
ft
D.
Soit donn un ouvert U relativement compact, et choisissons no comme dans
(1. 1); dans U on a
(1. 2)
Or on peut driver terme terme la srie ~
f. de fonctions holomorphes
n>"o
d'aprs le thorme
uniformment vers ( ~
du 1, nO
2,
R>
.>RO
"
sur tout compact
contenu dans U. Cela est vrai pour tout ouvert relativement compact U; il s'ensuit que ~ f~ converge uniformment vers f'
R
ft
du 1.
Remarque. Il est vident que l'ensemble P(f) des ples de f est contenu
dans la runion des ensembles P(fR)' P(j.) dsignant l'ensemble des ples de
j.. De plus la relation (1. 1) montre que si les ensembles P(j.) sont deux
deux disjoints, l'ensemble P(f) est gal la runion des ensembles P(j.);
de faon plus prcise, si Zo est un ple d'ordre k dej., c'est un ple d'ordre k
def.
Considrons la srie
(2. 1)
la sommation ~nt tendue tous les entiers n. Montrons que cette srie
converge normalement sur tout compact du plan C. Un tel compact est
contenu dans une bande de la forme X o x
Xl (on a pos Z = X + ry).
Il suffit donc de montrer que la srie (2. 1) converge normalement dans
toute bande de la forme ci-dessus. Une telle bande ne contient qu'un nombre
< <
R<". z-n
f(z
+ 1) =f(z);
en effet
}: _ _
1 ____
ft
(.c+
=}:
_n)2
(.c-n')2
ft'
en posant
n-I =
n'.
Les ples de f sont les points entiers .c = n; ce sont des ples doubles.
Le rsidu en un tel ple est nul, puisqu'au voisinage du point .c = n on a
f(.c) = (
)2 + g(.c) ,
.c-n
PROPOSITION 2. I.
g holomorphe.
(2. 1)
111++'"
<
< <
dit, pour tout ,> 0, il existe a tel que JyJ ~ a entrane Jf(.c) J i.
En effet, supposons d'abord que .c reste dans une bande Xo
X
Xl et
que sa partie imaginaire y satisfasse JyJ ~ a, a tant> 0; dans ce
domaine la srie (2. 1) est une srie normalement convergente de fonctions
holomorphes; lorsque JyJ- + 00, chaque terme de la srie tend vers 0
uniformment vis--vis de X dans la bande. Donc la somme de cette srie
(qui est normalement convergente) tend vers 0 quand JyJ- + cx>, uniformment vis--vis de x dans la bande. Maisf(.c) possde la priode l,
et si on applique la proprit prcdente une bande de largeur au moins
-gale l, on voit quef(.c) tend vers 0 quand JyJ- + cx>, uniformment
vis--vis de x.
1
La fonction g(.c) = (~-) possde les mmes proprits quef(.c):
sm '!t.c
10
20
ses ples sont les points entiers .c = n, ce sont des ples doubles avec
1;
partie principale (
1 )2;
z-n
~z12 = sin2~x
+ shl~y,
qui montre que Isin ~zl tend vers l'infini quand Iyl tend vers l'infini (Wliformment vis--vis de x).
Nous pouvons maintenant dmontrer la proposition 2.1 : la fonction
j (z) - g(z) est holomorphe dans C, puisque j et g ont les mmes ples
avec les mmes parties principales. Montrons que j - g est borne :
dans une bande Xo < x < Xl elle est borne pour Iyl < a (car une fonction
continue sur un compact y est borne) et elle est borne pour Iyl a,
puisqu'elle tend vers 0 quand Iyl tend vers l'infini; tant borne dans
chaque bande, la fonctionj - g est borne dans tout le plan en vertu de la
priodicit. D'aprs le thorme de Liouville (chapitre III, 1, nO 2),
la fonctionj - g est constante; puisqu'elle tend vers 0 quand Iyl tend vers
l'infini, cette constante est nulle. La proposition 2. 1 est ainsi dmontre.
>
Application. On a
( _~ )2_~_
sin~z
4 On a donc
n~on
. [(sin
1]
-~)2
- -Zl
hm
;+0
~z
~
=2"-1-'
R~I ni
due Euler.
3.
Considrons la srie
(3. 1)
nz-n
les entiers Z = n; ce sont des ples simples dont le rsidu est gal 1. D'aprs
le thorme du nO l, la drive F' (.e;) est la somme de la srie des drives,
c'est--dire
Il en rsulte que F(z) - ~ est une constante. Or on voit sur (3. 1) que
tg'/tz
.
F(- z) = - F(z); donc la fonction F(z) - ~ est une fonction impaire
tg '/tZ
de z, et comme c'est une constante, cette constante est nulle.
Dans la srie (3. 1) on peut grouper les deux termes relativement l'entier
n et l'entier - n :
4.
AUTRE EXEMPLE
En procdant comme au nO
~
-ao<R<+ao
2,
on dmontre
J=...!.t. _
(z -
'/ta
_.
n)2 - (sin '/tz)(tg '/tz) ,
5. LA
FONOTION
DE WEIERSTRASS
5.
1.
la srie
(5. 1)
X'
1
-1-13 est convergente .
.. en, .. ;O
.:..
(t)
>-
Figure
ID
>-
>
I~P
-<
Nous pouvons maintenant prouver que, sur tout disque compact Izl
r,
la srie (5. 1) converge normalement. On a 10)1
2r pour tous les (t) sauf
>-
un nombre fini; on a donc, pour tous les termes de la srie (5. 1) sauf un
nombre fini,
00
. ~
lor
3
- 1001'31 1 - ~ Il'' ' ' 0130,
.1- -1001
lorsque
1~I<r.
00
<
V(~)
=(
~-oo
)1 + g(~),
g holomorphe.
+ 00)
= V'(~)
pour tout
00
e 0,
V(~
puisque la drive
V'(~
+ el) -
V(~) = constante,
+ ei) -V'(~) = o.
~ la valeur -~, ce qui est possible puisque ~ et _!J.. ne sont pas des
2 2 2
15.7
ples de :p; on voit que la constante du second membre de (5. 3) est gale
2 "
z-w
)2
:p(z) = 2
~'r
)2-2)'
(t)
(.)
(:p'(Z))2 =
--_ 8a 2 _
Z6
Z2
r6a,
+ ....'
d'o
(5. 8)
est holomorphe au voisinage de l'origine, et s'annule l'origine. Or cette
fonction admet 0 Lomme groupe de priodes; elle est donc holomorphe
au voisinage de tout point de 0 et nulle en tout point de O. Comme cette
fonction n'a pas de ples en dehors de 0, il s'ensuit qu'elle est holomorphe
dans tout le plan; tant borne sur tout compact, elle est borne dans C en
vertu de la priodicit; et puisqu'elle est nulle l'origine, elle est identiquement nulle d'aprs le thorme de Liouville. On a finalement l'identit
est prise une seule fois dans chaque paralllogramme de priodes, et que ces trois
valeurs sont distinctes. En vertu de (S 9), ce sont les trois racines de l'quation
(S.
12)
v'(z) =y.
On verra (Cf. chapitre VI, 5, nO 3) qu'inversement, tant donn arbitrairement une relation de la forme (5. 10) dont le second membre a trois
159
on a lim f,.(z) =
que, pour n assez grand, fn - 1 est de module < 1 sur K, et par consquent
log fn est une fonction dfinie sur K (on prend la dtermination principale
du logarithme);
2 la srie de terme gnral log fn (qui est dfinie pour n assez grand)
converge normalement sur K.
~ Un
Dfinition. On dit que le produit infini IIf,. converge normalement sur tout comn
pact de l'ouvert D si, quel que soit le compact K contenu dans D, ce produit
converge normalement sur K.
Une condition ncessaire et suffisante est que si l'on pose fn = 1 + Un,
la srie ~ Un converge normalement sur tout compact contenu dans D.
S'il en es; ainsi, lorsque no augmente indfiniment, les produits finis II f,.
1l~1l
THORME 1.
n
dans D. On a de Plus
(2.1)
THORME 2.
n
Or
f' =~f:',
f
fn
m~omorphes
3.
EXEMPLE : D~LOPPEMENT DE
sin 'It~
EN PRODUIT INFINI
f(~)
(3. 1)
n (1 - .~:).
n
n~1
numrique ~ .:. est convergente. Donc f(~) est une fonction holomorphe
dans tout le plan, et ses zros sont toutes les valeurs entires de ~. Ils sont
simples.
D'aprs le thorme 2, on peut diffrentier logarithmiquement terme
terme; on obtient la srie de fonctions mromorphes, iiormalement convergente sur tout compact du plan,
~=~,
tg'lt~
en posant
g(~)
g(~)
il (1 _ z:).
sin 'ltZ =
'It~
4. LA
FONCTION
n~1
(4
1)
gn(~)
n;;;a. l,
=Z(I
=z(~
I)(~
On a, pour
n:> 2,
gn(~)
gn-I (~)
<,
(1 + ~)(I
_~)' =j..(~).
n
n
<,
Si I~I
et si 1
< n, on peut considrer la dtermination principale
de log fn(~), et l'on a
Ilogfn(~)1
t's,a
,1
< 2 ( -1
+ -.
+ ... ) < 2"""2
!2ln
3n
n
si ~ est assez petit. Donc la srie ~ log J,.(~) converge normalement sur
n
tout compact du plan, et par suite le produit infini gl'
~. converge
rr
ft
n~1
gn-I
normalement sur tout compact du plan. Sa valeur est une fonction holomorphe g(~), limite Uniforme sur tout compact des fonctions
(4.5)
".00
+ft 1 =
1.
.
<
(4. 6)
r(~
+ 1) = ~r(~),
r(I) = 1,
qui rsultent videmment de (4. 4) et (4. 5). De (4. 6) on dduit, par rcurrence sur l'entier n :> 0,
r(n
+ 1) =
n!
+ 1 n
~ . .t.
rr
n
k=1
r(~).r(I
1 -
.tLIl )
/Ii
'
~).
On a
'ltz.
'It
r(z).r(1 - z) =~.
sm
'ltZ
=-.!...,
2
r(f)=V;
Produit itifini de Weierstrass. En utilisant (4. 1), on peut videmment crire
L'exposant
z(
+ ... + ~
-log
g(z)
= zee.
fl ((1 + ~) r'lk) ,
r'ez) = _...!.._ C
r(z)
z
+~
.~I
(~ __
I _).
n
Z + n
d'o en particulier
Enfin, on peut driver terme terme la relation (4. 12) (cf. 2, nO 1),
et on obtient
~(~) _ ~
d;:. r(z) - n~O(Z
+ n)B
B (
( ~)
sm 'ltZ
(4. 14) est videmment positif. Donc log r(z) est une fonction convexe de z
pour Z rel > o.
~.
4. Sous-ensembles compacts de
~(D)
~(D),
Dfinition. Un sous-ensemble A c:J(~(D) est born si, quel que soit le voisinage
V(K, s) de 0, il existe un nombre fini positif tel que Ac: V(K, a); on
a not V(K, a) l'homothtique de V(K, s) par rapport l'origine 0
dans le rapport . La relation Ac: V(K, a) exprime que l'on a I!f(z)! -<a
pour Z e K, quelle que soit la fonction f e A. Donc, pour qu'un ensemble A
de fonctions holomorphes dans D soit born, il faut il suffit que, pour tout compact
Kc:D, il existe un nombre fini M(K) tel que l'on ait
(1. 1)
if (z)!
-< M(K)
toute feA.
v.
-+suplf(z)1
:eK
de l'espace 36(D) dans R; il est immdiat que c'est une application continue,
donc l'ensemble des valeurs qu'elle prend sur l'ensemble compact des
f e A est born. Ceci exprime que les f e A sont uniformment bornes
sur le compact K. Ce rsultat vaut pour tout compact K contenu dans D,
et par suite l'ensemble A est bien un sous-ensemble born de l'espace
vectoriel :ffi(D).
Remarque. La proposition 2. 1 est nonce pour l'espace J.G(D), mais eile est
aussi bien valable pour l'espace e(D) des fonctions continues dans D.
En revanche, la rciproque de la proposition 2. l, que l'on va noncer
maintenant, est valable exclusivement pour les sous-ensembles de l'espace
:ffi(D) des fonctions holomorphes dans D.
THORME FONDAMENTAL. Tout sous-ensemble de J.G(D) qui est born et
ferm est compact.
COROLLAIRE. Pour qu'une partie A de ;r.G(D) soit compacte, ilfaut et il sziffit qu'elle
soit borne et ferine.
La dmonstration du thorme fondamental occupera les numros 3, 4 et 5.
Une forme quivalente du' thorme fondamental est la suivante:
Toute partie borne de .1tI(D) est relativement compacte. La rciproque est d'ailleurs
vraie.
<
b) pour tout , > 0, . A peut tre recouvert par un nombre fini de bO\J.les
B(xn , ,). Il est clair que la conjonction de a) et b) entranera qu'il existe
un nombre fini d'ouverts VI qui recouvrent A.
On dmontre b) en raisonnant nouveau par i'absurde: on aurait une suite
infinie de points X n e A dont les distances mutuelles seraient > '; or on
peut, par hypothse, extraire de cette suite une suite convergente, ce qui
conduit videmment une contradiction. La dmonstration du lemme 1
est ainsi acheve.
4. VN
LEMME
>
Iflz} 1 -< M
pour
Puisque
'/'0 < l,
~M ~
n>p
un nombre
>0
donn arbitrairement
~.
5.
(5. 1)
(i,
nf.-.
kEN'
m;>
1.
kEN'
La suite des !L2(fk) , pour keN l' est borne; donc il existe un sous-ensemble
infini NIe NI tel que
pour chaque entier m;> l, le m-ime terme de la suite N' est le m-ime
terme de la suite N m La suite N' est une suite strictement croissante, et il
est clair que, partir du m-ime, tous les entiers de la srute N' appartiennent
N m Ceci vaut pour tout m, et par consquent la suite N' vrifie la condition
(5. 3), ce qui achve enfin la dmonstration.
Ainsi le thorme fondamental du 2 est entirement tabli.
6.
On utilisera souvent le principe suivant: Soit A un ensemble born de fonctions holomorphes dans D; si une suite de fonctions f,. e A n'a qu'une seule fonction
adhrente (au sens de la topologie de la convergence uniforme sur tout compact)..
cette suite est convergente (au sens de cette topologie).
Cela rsulte d'un thorme classique de topologie sur les espaces compacts.
Comme application de ce principe, considrons d'abord le cas o l'ouvert
D est connexe et o la suite des fonctions f,. converge simplement en chaque
point d'un ouvert non vide D' contenu dans D (la convergence signifie que
pour chaque -teD' la suite des nombresf,.(:t) a une limite). S'il en est ainsi
et si les f,. appartiennent un ensemble born, la suite ffe converge uniformment sur tout compact de D. En effet, sif et g sont deux fonctions holomorphes dans D, toutes deux adhrentes la suite desf,., on a videmment
f(l;,) = g (1;,) en tout point 1;, e D', ce qui entrane quef et g sont identiques
dans D (en vertu du principe du prolongement analytique).
Considrons maintenant le cas d'une suite borne de. fonctions holomorphes
f,. satisfaisant la condition C(l;,o) du lemme 2; 1;,0 dsigne ici un point de
D. Alors, si D est connexe, la suite f,. converge uniformment sur tout
compact de D. En effet, si f et g sont deux fonctions holomorphes adhrentes la suite (f,.), on a f<") (1;,0) = ''')(1;,0) pour tout entier n;> 0, et par
consquent f et g sont identiques en vertu du principe du prolongement
analytique.
On peut aussi considrer le cas d'une suite borne de fonctions holomorphes
f,. dans D, qui converge simplement en chaque point d'un sous-ensemble
E non discret de D, D tant toujours suppos connexe. Une telle suite converge
uniformment sur tout compact de D, car si f et g sont deux fonctions
holomorphes adhrentes la suite (f,.), la diffrence f (1;,) - g(l;,) s'annule
en tout point de E, donc est identiquement nulle puisque l'ensemble des
zros d'une fonction holomorphe dans D (connexe) et non identiquement
nulle est un ensemble discret.
ExerciCes
Exercices
1. Soitf(z) une fonction holomorphe dans le disque Izi < l, et suppospns q\le f (0) = o. Montrer que la srie ~ f (zn) converge uniformment
n~t
S'lr tout compact dans ce disque. (tant donn 0 < r < l, utiliser le
lemme de Schwarz (dans le disque Izi < r) pour majorer If (zn) 1 par un
multiple constant de Izln pour Izl <; r).
2', Soit D un ouvert connexe du plan C, et soit Ifn (z) 1une suite de fonctions
holomorphes dans D, suppose uniformment convergente sur tout compact
de.p vers une fonction non identiquement nulle f(z). Soit de plus l' le
bord orient d'un compact K dans D, tel que f (z) =1= 0 sur 1'. Montrer
qu'il existe un entier positif N tel que, pour n ~ N, on aitfn (z) =1= 0 sur 1',
et que fn et f admettent le mme nombre de zros dans K. (Si M est la
borne infrieure de If(z)1 sur 1', et si on choisit N de telle manire que
1fn (z) ',- f (z) 1 < M pour n ~ N et Z e 1', on peut appliquer le thorme
de Rouch (exercice Igdu chapitre III) aux fonctionsf(z) etfn (z) - f(z).)
En dduire que, si a est un zro def(z), il existe une suite (an) de points
de D telle que
liman = a,
n
Montrer que les fonctions .9'o(u), .9'1(U) ne sont pas identiquement nulles.
(Montrer, par exemple, que
Montrer que les nombres complexes m + n"C', avec m, n entiers" sont des
zros de la fonction .3'1(U) , et que les nombres
(1
1)
1ti sh 21ta
~
. ( + al
' )Sln1t,c-al
'
(
') - _",<n<+",,c
~
+ n-al. - ,c+n+al. ,
SID1t,c
et en dduire que
~.
sh 21ta
=
~
cos 21t,c _'" <n<+,. (,c
a ch 21ta -
1.
+ n)1 + al
):1
cos 1t,c
()
Dduire de (i) que l'on a
1t
1
1
1
-=1--+---+,,'
(iv)
-n( _ 2n4oC
cos~-sin 1t,c II (1 + (-I)",c).
4
4
2n1I
COS'ltZ-
,,~I
)11 )
,,~I
H]2
+ sin t.)
cos t
Exercices
+ ;)""" r(z +P
pl).
<
sin~sin~""" sin P . l
P
P
~
'Ir
p12 p -
P~
(pour
l'intgrale~.
10"" ,-'t"'-1 dt
converge uniformment sur tout
en dduire que l'intgrale
1'"
intervall~
< x < b,
< a < bj
(1)
1"(
et n entier
(2)
1-
-t
1;
\". t- I dt =
on)
n"'n'.
pour x rel > 0,
x(x + 1) " " " (x + n)
.
<
li~
1" (
1 -
+)"
t"'-l dt
1""
et que
G(z) = r(z) pour Re(z)
e- 1t"'-1 dt,
>
o.
n, Il. =" 0,
I, 2, .....
173
9. Montrer que, si
1
~(Z) = B
Z
(1)
possde trois zros dans P, et que leur somme est gale une priode
(utiliser les propositions 5. 1 et 5. 2. du chapitre III, 5). En dduire que,
si u, v sont deux nombres complexes tels que u + v :;; 0 (mod. 0), on
peut trouver IX, ~ de telle sorte que la fonction (1) admette u, v et - u - v
comme zros; en dduire que, si u + v + W = 0, on a
~(u)
det
~(v)
~(w)
~'(U)
~'(v)
~,(W)
=0.
II
n;?>!
CHAPITRE VI
Transformations holomorphes
1. Gnralits; exemples
1. TUDE LOCALE D'UNE TRANSFORMATION HOLOMORPHE W =
l' (zo)
(z)
Q.UAND
=1= 0
g'(w) =
1'(z)'
1)
W=cZ.
W=cZ.
En effet, si T est une telle transformation, il existe une similitude directe
8 telle que la compose 8- 1 0 T laisse fixe le point de coordonnes relles
(l, 0). Puisque 8- 1 0 T conserve les angles, le point (0, 1) est transform
en (0, a), a rel #- O. Alors (l, 1) est transform en (l, a); donc les
vecteurs (l, 1) et (l, a) font avec (1,0) des angles gaux, d'o a = + 1.
8i a = l, 8-1 0 T est l'identit, et T = 8 a la forme (1. 1). 8i a = - l,
8- 1 0 T = U est la symtrie par rapport l'axe rel, et T = 8 0 U a la
forme (1.2).
C.Q.F.D.
Dans le cas (1.1), la transformation linaire conserve l'orientation;
dans le cas (1. 2), elle change l'orientation. Considrons alors une transformation w = f (z) dfinie dans un ouvert connexe D du plan de la variable
complexe Z = x
~; supposons-la continment diffrentiable avec un
jacobien #- 0 en tout point de D; si cette transformation conserve les
angles (autrement dit, si la transformation linaire tangente en chaque
point de D est de l'un des types (1. 1) ou (1. 2), on a en chaque point de D
l'une des relations
?Jf =
?Jz
O.
?Jz
?Jz
d'elles est nulle est ferm dans D; D est runion de ces deux ensembles
ferms disjoints, et par suite l'un de ces deux ensembles est vide puisque D
~{ =
?Jz
en tout point de D (et alors f est une fonction holomorphe de z). Dans ce
dernier cas nous dirons que la transformation est antiholomorphe. En rsum :
PROPOSITION 1. 2. Pour qu'une transformation contintlment diffrentiable jacobien
partout #- 0 dans un ouvert connexe D du plan conserve les angles, il faut et il suffit
qu'elle soit holomorPhe ou antiholomorPhe. -Dans le premier cas, elle conserve l'orien
tation des angles; dans le second cas, elle change l'orientation des angles.
1. Gnralits; exemples
f'(;:,o) =
= f(;:,)
QUAND
(2. 1)
w=;:,P,
o p dsigne un entier;>
transformation rciproque
2.
;:, =
W 11p
CIIP(I
+ f1)'IP;
Posons
1. Gnralits; exemples
4.
EXEMPLES
DE
TRANSFORMATIONS
HOLOMORPHES
MULTIVALENTES
Mme lorsque la drive J'(;;) est partout 01= 0, la fonction J peut tre
multivalente (c'est--dire .non univalente). L'exemple le plus simple est
celui de la transformation
qui est priodique de priode 2'1ti. 'Une bande a< lm ;; < b est transforme
dans l'ensemble des points w tels que
a
b.
~ 2'1t.
cos;; = ~ (e':
.
+. ri').
et
el'
W= -
(t
+ 1ft).
second degr
t" -
2wt
+1=
0,
chy cos x,
v= -
sh j sin x.
u"
v"
--+--=1
ch" y
sh" y
(il la dcrit une fois si x varie dans un intervalle d'amplitude 2'1t). Si on
fixe x, le point (u, v), lorsquey varie, dcrit une fois l'une des deux branches
de l'hyperbole
ull
VII
-----=1.
cos x sin li x
179
(D)
y>o.
o<x<'lt,
lorsque,
M
X
........
........ ,'
,t ...
o r- - :- i' - -
eo" x.!
+.lt;--------x~
",
\
-;---
: 2.
,
----~
Figure
II
2. Reprsentation conforme
croissant de 0
ex), le point w dcrit une fois et une seule une demibranche d'hyperbole ayant
1 et 1 pour foyers, situe dans le demiplan v < 0, ayant pour axes Icos xol et sin Xo.
La bande 0 < x < 'It (y variant de - ex) + ex)) est applique homormorphiquement sur le plan priv des deux demi-droites (portes par l'axe
rel) u;;;:':' + 1 et u
1.
En ce qui concerne les angles, on observera que la transformation w = cos Z
double les angles en chacun des points z = 0 et Z = 'It (les angles droits du
bord de D sont transforms en angles plats); ceci correspond au fait que la
drive - sin z de cos z possde un zro simple en chacun de ces points.
A l'intrieur de D, la transformation conserve les angles; elle transforme
les parallles aux axes de coordonnes du plan (z) en des ellipses et hyperboles homofocales, comme on l'a vu.
<-
2. Reprsentation conforme
1.
POSITION DU PROBLME
AUTOMORPHISMES DE D
Supposons qu'il existe au moins un isomorphisme f de D sur D', et cherchons alors dterminer tous les isomorPhismes g de D sur D'. La transformation S = f-t 0 g est un isomorphisme de D sur lui-mme, autrement
dit est un automorphisme de D; on a
(2. 1)
g =fo S.
181
3.
AUTOMORPfllSMES DU PLAN
COMPLEXE
On prend ici pour D le plan C tout entier. Soit z - f (z) un automorphisme de C; la fonction f(z) est holomorphe dans C; donc deux cas
seulement sont possibles a priori :
1
linaires
(3. 1)
z -az + b,
a# o.
b
z=---
I-a
On observera que les transformations (3. 1) forment un groupe transitif
dans le plan C : autrement dit, tant donns deux points quelconques
Zl et Z2' il existe au moins une transformation du groupe qui transform~
Zl en Z2' Le sous-groupe d'isotroPie d'un point zo, c'est--dire le sous-groupe
182
2. Reprsentation conforme
az+b
w=
--,
cz+d
ad- bc #= o.
dw-b
z= -cw+a
,
ce qui montre que chaque transformation homographique (4. 1) est un
homomorphisme de S2 sur S2.
Les transformations (4. 1) forment ainsi un groupe G d'automorphismes
de la sphre de Riemann S2. On se propose de dmontrer:
3. La sPhre de Riemann S2 ne possde pas d'autre automorphisme que
les homographies (4. 1).
THORME
TUDE
GOMTRIQ.UE
DU
QROUPE
DES
HOMOGRAPHIES;
Q.UIVALENCE
DU DEMI-PLAN ET DU DISQ.UE
(5. 1)
(avec k = be
Cl
Zs
a
+-,
e
culier. Ainsi toute transformation homographique est compose de translations, d'homothties de rapport # 0, et d'inversions-symtries (en appelant inversion-symtrie une transformation de la forme z' = I/z; cette
transformation est en effet compose d'une symtrie par rapport l'axe rel
et d'une inversion de ple 0 et de puissance 1). Le rsultat prcdent a t
tabli pour les transformations (4. 1) telles que e :F 0; lorsque e = 0 il
est encore vrai, d'une manire vidente. 0:1 en ddUit que toute transformation homographique transforme un cercle ou une droite dans un
cercle ou une droite (les droites tant considres comme les cercles passant
par le point l'infini). D'autre part, les transformations homographiques
sont conformes, puisque ce sont des applications holomorphes de 8 2 dans
S2; en particulier elles transforment des cercles (ou droites) orthogonaux
en cercles (ou droites) orthogonaux.
tant donns arbitrairement deux cercles (ou droites), il existe toujours
une homographie transformant l'un dans l'autre. En particulier il existe
une homographie transformant l'axe rel y = 0 dans le cercle-unit:
il suffit de prendre par exemple la transformation
w
-i
=z
-------;.
Z
+z
2.
Reprsentation conforme
6.
AUTOMORPHISMES
DU
DEMI-PLAN
ET
DU
DISQ.UE-UNIT
(6. 1)
az b
z-+---d'
cz+
ad -
bc =F
0,
o les coefficients a, b, c, d, sont rels. En effet, il est vident que si les coefficients sont rels, les transformations (6. 1) transforment l'axe rel en luimme; rciproquement, si l'axe rel est transform en lui-mme, les coefficients a, b, c, d, sont dtermins, un facteur prs, par un systme d'quations linaires coefficients rels, que l'on obtient en considrant trois
points distincts Zl' Z2' Z3 de l'axe rel et en crivant que les transforms
de ces points sont rels.
Comme les coefficients de (6. 1) ne sont dfinis qu' un facteur rel =F 0
prs, on peut, dans (6. 1), supposer que ad - bc = + I. On voit facilement que, parmi les transformations (6. 1), celles qui transforment
le demi-plan suprieur y > 0 en lui-mme sont celles pour lesquelles
Lorsque ce thorme sera dmontr, il en rsultera que chaque automorphisme du demi-plan P se prolonge en un automorphisme de la sphre de
Riemann, ce qui n'est nullement vident a priori.
Pour dmontrer que G = r(p), on observe d'abord que le groupe G
est transitif dans le demi-plan P. En effet, le point i peut tre transform
en un point arbitraire a
ib (b > 0) du demi-plan par une transformation
convenable de G; c'est immdiat. Si nous montrons que le groupe d'isotropie d'un point du demi-plan (par exemple le point z = i) est contenu
dans G, le thorme 4 sera dmontr grce au lemme du nO 4. Tout revient
donc montrer que le groupe d'isotropie du point i est form de transformations homographiques.
La transformation (5. 2) dfinit un isomorphisme de ce groupe d'isotropie
sur le sous-groupe de r(B) form des automorphismes du disque lw/ < 1
qui laissent fixe le centre o. Il suffira alors de dmontrer :
PROPOSITION
une rotation
6.
_
1.
<
laisse fixe
0,
c'est
~ei',
I!(z)/
< /z/
pour tout ~ tel que jz/ < I. Mais en appliquant le lemme de Schwarz la
transformation rciproque on trouve aussi
/z/
< /!(z) /.
z + tg.!.
2
<:------"01
-ztg2
o.
az-+-b
z, =
c~
=0
+d
en le cercle z''1.' -
= 0, et tram-
+ b) (a~ + 0) =
de module
l,
1 -
~'Z'
>
o ..
+ d) (c~ + a)
(cz
ce qui implique
ca
aD =
(6. 2)
et
aa - cc =
On a alors
1 -
~Z
>
bD.
1 -~'z'
et pour que
dl -
entrane
da -
z'z' >
1 -
bD
>
0,
o.
CO,
- = - =A,
0,
d =ft
0;
d'aprs
avec
D'o:
a~
cz
+ b_
~
d
lai = Idl
Z+~
. a = eie ~
+1 (fz
a
<
+ 2:.0 ,
+ z~
1.
(65)
~'=eie~+5{),
1 +~~
6 rel,
FONDAMENTAL
VI. Transformations
holomorph~s
1)
> o.
188
est holomorphe, univalente et borne dansD. Elle dfinit donc un isomorphisme de l'ouvert D sur un ouvert born du plan C, et la proposition 2. 1
est dmontre.
Dsormais, nous supposerons D born; au moyen d'une translation et
d'une homothtie, nous pourrons supposer que Zo = 0, et que D est contenu
dans le disque Izl < 1. Ces hypothses seront constamment faites dsormais.
3.
(3. 1)
f(o)
0,
If(z)1
<
pour
zeD.
Pour que l'image D' de f soit exactement le disque-unit, il faut et il suffit que 1f' (0) 1
soit maximum parmi l'ensemble des valeurs qu'il peut prendre lorsque f parcourt A.
Dmonstration.
10 La condition est ncessaire; soitfeA et soit D' son image; soit g un
isomorphisme de D sur le disque-unit tel que g(o) = O. On af = h 0 g, o
h est une application holomorphe du disque-unit sur D', avec h(o) = O.
On a Ih'(o)1 ~ 1 d'aprs l'ingalit de Cauchy, d'o
If'(o)1 ~ Ig'(o)l
Ig'(o)1
> If'(o)l
F(z)
log f(z) -a ;
af(z)
1 -
elle est holomorphe et univalente dans D. Les valeurs de f(z) sont dans
le disque-unit; donc les valeurs de
(z)
I-a
f( Za)
sition 6. 2), et par consquent la fonction F(z) a sa partie relle < o. Bien
entendu, on a choisi pour F(z) une dtermination du logarithme, ce qui
est possible puisque D est simplement connexe. Considrons la fonction
l,
Iv -
,
(3 4)
F'(o)
F(o)'
g (0) - F(o)
F'(o) =
avec
(a--;-)f'(O).
On a donc
Ig'(o)1 _
\f'(o)I -
-aa
21al 10gl~ l'
1
pour
0< t< 1.
o<t<1.
<
4.
1.
>-
Il
<
Soit X un espace topologique spar. Nous supposons que l'on s'est donn
un recouvrement ouvert (VI)leI, et, pour chaque Vi, une fonction ZI
valeurs complexes dfinie dans VI, et qui ralise un homomorPhisme de VI
sur un ouvert AI du plan C. On impose ces fonctions la condition de
cohrence suivante :
(I. 1) Quels que soient i e 1 et je 1 tels que Vin V j =1= p, l'application
flj = ZIO (Zj) -1 de l'image Zj(V I n V j) cAj sur l'image Zi(Vi n V j) cAl est
une transformation holomorphe dont la drive est partot =1= o. En d'autres
.termes, on a Zi = flj(zj) dans Vi n Vj,jij tant holomorphe ( drive =1= 0)
dans l'ouvert Zj(VI n Vi) de C.
Par dfinition, la donne du recouvrement ouvert et des fonctions Zi satisfaisant la condi!ion (1. 1), dfinit sur X une structure d'espace analYtique.
La fonction Zi s'appelle la coordonne locale dans l'ouvert Vi. Si un point de
X appartient plusieurs ouverts l..J h on a plusieurs coordonnes locales
au voisinage de ce point (une pour chaque ouvert); le passage d'une coordonne locale Zj une autre Zi s'effectue par une transformation holomorphe fi}, cause de la condition de cohrence (1. 1).
Par exemple, c'est au moyen d'une telle donne qu'on a dj dfini la
sPk're de Riemann (Chapitre III, 5, nO 1). Dans ce cas, X tait la sphreunit de l'espace R3, et le recouvrement tait form de deux ouverts, chacun
d'eux tant le complmentaire de l'un des ples de la sphre.
2. ApPLICATIONS
HOLOMORPHES;
STRUCTURE
INDUITE
EXEMPLES
D'ESPACES
ANALYTIQ.UES
D ne sont pas autre chose que ce que nous avons toujours appel fonctions
holomorphes dans D.
Comme second exemple d'espace analytique, nous avons la sphre de
Riemann dj mentionne (chapitre III, 5, nO 1).
Considrons maintenant l'espace-quotient C/Z du plan C par le sousgroupe additif Z des points rels coordonnes entires. Un point de C/Z
est donc une classe d'quivalence forme de points dont les diffrences
mutuelles sont des nombres entiers. Conformment aux dfinitions gnrales
de la topologie, on munie C/Z de la topologie-quotient de la topologie de C :
un ensemble de C/Z est ouvert si son image rciproque dans C (pour l'application canonique C --+ C/Z) est un ouvert de C. n revient au mme de dire
que les ouverts de C/Z sont les images des ouverts de C par l'application
canonique C _ C/Z.
n est bien facile de montrer que la topologie de C/Z est spare. Pour
dfinir une structure d'espace analytique sur X = C/Z, considrons
les ouverts V de C assez petits pour que la restriction V de l'application
canonique p : C _ X soit injective (par exemple, les ouverts V de diamtre
< 1). En dsignant par ~ la coordonne dans le plan C, considrons le
couple form de l'ouvert U = p(V) de X et de la fonction ~ 0 p-I dfinie
dans cet ouvert; on va montrer que ces couples dfinissent sur X une
structure d'espace analytique.
n suffit de vrifier la condition de cohrence. Soient donc V 1 et V 2 deux
ouverts assez petits de C, tels que leurs images U 1 = p(V 1) et U 2 = p(V 2)
se rencontrent; nommons Pi la restriction de p VI (pour i = l, 2), et posons
(i=I,2).
La condition de cohrence exprime que l'application lu = PI- I 0 P2 de
V~ sur V; est holomorphe et que sa drive est =1= o. Or il en est ,bien
ainsi, car si ~ e V~,I\2(~) et ~ ont mme image dans C/Z, donc, au voisinage
de chaque point de V~, II2(~) - Z est une constante entire.
Nous aurons un nouvel exemple d'espace analytique en considrant comme
au chapitre v, 2, nO 5, un sous-groupe discret a de C ayant pour base
un systme de deux vecteurs ei et es dont le rapport n'est pas rel. Soit X
le quotient CIO muni de la topologie-quotient de la topologie de C;
les ouverts de X sont les images des ouverts de C par l'application canonique p : C - CIO. La topologie de X est spare, et sa structure d'espace
analytique est dfinie exactement comme dans l'exemple prcdent. Mais
ici,J'espace X = CIO est compact: en effet, considrons un paralllogramme
ferm de priodes, soit P; P est un sous-ensemble compact de C, donc son
image par p est un sous-ensemble compact de X; or cette image est X
tout entier, et par suite X est compact. Nous avons ainsi un exemple
d'espace analytique compact, autre que l'exemple dj connu de la sphre
de Riemann.
4.
PRINCIPE
DU PROLONGEMENT ANALYTIQ.UE;
PRINCIPE DU MAXIMUM
En effet, IJI est une fonction continue sur un espace compact, donc atteint
sa borne suprieure; d'aprs la proposition 4. 2, la fonction f est donc
constante sur X.
195
INDICE DE
7.
THORME
FONDAMENTAL
DE
LA REPRSENTATION
CONFORME
8.
(8.2)
Nous allons indiquer rapidement, sans dmonstration, comment la
thorie des formes diffrentielles holomorphes dans un ouvert du plan C se
gnralise au cas envisag ici des formes diffrentielles holomorphes sur un
espace analytique.
Soit III une forme diffrentielle holomorphe sur un espace analytique X;
au voisinage de chaque point de X, il existe une primitive de Ill, c'est--dire
une fonction holomorphe g telle que dg = Ill. Vne telle primitive e!lt dtermine l'addition prs d'une constante. L'existence globale d'une primitive de III n'est pas assure; toutefois, si l'espace X est simplement connexe,
toute forme diffrentielle holomorphe sur X possde une primitive. Dans
le cas gnral o X n'est pas simplement connexe, l'intgrale de III le long
d'un chemin ferm de X n'est pas toujours nulle; cette intgrale a la mme
valeur pour deux chemins ferms homotopes (au sens du chapitre II, 1,
nO 6). La valeur de l'intgrale le long d'un tel chemin ferm s'appelle
alors une priode de l'intgrale
Ill.
Ig8
5. Surfaces de Riemann
ll)l
rk,
(83)
III
1111
+ (~+ C2 + .. ')rk'
;;;;2
de
5. Surfaces de Riemann
1. DFINITIONS
Le plus souvent, on considre le cas o y est le plan C de la variable complexe, ou la sphre de Riemann f 2' Autrement dit, il s'agit de surfaces de
Riemann tales au-dessus du plan ou tales au-dessus de la sphre.
On vu au 't, nO 6 quelle est l'allure de l'application Cf au voisinage d'un
point quelconque a EX: si l'indice de ramification de 9 est gal 1 au.
point a, 9 dfinit un homomorphisl1\le d'un voisinage de a sur un voisinage
de 1'(a); si l'indice de ramification de 9 au point Il est gal un entier p > l,
l'image par 9 d'un petit voisinage de a recouvrep fois un voisinage de 9(a).
Les points de ramification de 9 (points o l'indice de ramification est> 1)
sont des points isols de X. Dans tous les cas, l'application (Il est une application ouverte, et l'image rciproque d'un point' de Y est ~n sous-ensemble
discret de X.
Bien entendu, mme lorsqu'il n'y a pas de points de ramification, l'application 9 n'est pas ncessairement injective; de plus, lorsqu'il y a des points
de ramification, l'image par 9 de l'ensemble (discret) des points de ramification n'est pas ncessairement un sous-ensemble discret de Y; il se pourrait mme qu'une infinit de points de ramification distincts de X aient la
mme image dans Y.
5. Surfaces de Riemann
THORME.
DIFFRENTIELLES
HOLOMORPHES
(1 -
Xa)I/\
201
5. Surfaces de Riemann
Mais ces 3 points se confondent en un seul si x est l'un des points 'l, j, JI
de C.
On va dfinir, sur l'espace analytique prcdent X, une forme diffrentielle
holomorphe 00, comme suit: au voisinage d'un point (xo,Yo) tel que Yo -:/: 0,
on prend
dx
00=-'
(Si Xo -:/:
et Yo -:/:
0,
(2.1),
ydy
---.;'
la relation
x 2 dx
consquence de
+ y 2dy =
0,
00
Figure 12
11
3f3'
Revenons la relation (2. 1). Elle va nous conduire dfinir une surface
de Riemann au-dessus non plus de C, mais de la sphre de Riemann S2.
Considrons pour cela le plan projectif complexe P2(C), quotient de
C-
jo,
0,
ol
3.
UNE
COURBE ELLIPTIQ.UE
(3. 1)
(on utilise dessein les mmes notations qu'au chapitre v, 2, nO 5). On suppose
a2 et a4 choisis de faon que le polynme du second membre de (3. 1) ait trois racines
distinctes. Dsignons ce polynme par P(x); alors PI(X) =1= 0 pour toute valeur
de x telle que P(x) = 0, en notant P' le polynme driv de P.
On va associer la courbe elliptique (3. 1) une surface de Riemann (X, cp)
au-dessus de C. Comme espace topologique, X est le sous-espace de C x C form
des couples (x,y) satisfaisant (3. 1). Sur cet espace X, on dfinit une structure
d'espace analytique, comme suit: en un point (xo' Yo) e X tel que Yo =1= 0, on prend
x comme coordonne locale ; en un point (xo,Yu) tels queyo = 0, on a P'(xo) =1= 0,
donc, d'aprs le thorme des fonctions implicites, la relation (3. 1) quivaut, au
voisinage de (xo, 0) une relation de la forme x = f(y), o f est holomorphe au
voisinage de 0, avecf(o) = Xo. On prendra y comme coordonne locale au voisinage d'un tel point (x o' 0).
L'application f: X -+ C qui, au couple (x, y), associe xeC, est videmment holomorphe. Donc (X, f) est une surface de Ri!!mann au-dessus de C; elle a deux
5. Surfaces de Riemann
0,
dx =ydz.
= ~ dx;
dz
(3 3)
X' est un espace topologique spar; si chaque point (x, y) e X on associe le point
de X' de coordonnes homognes (x,y, 1), on identifie X un sous-espace de X';
le complmentaire X' - X se compose d'un seul point l'infini , le point de
coordonnes homognes (0, l ,0). Au voisinage de ce point, not 00, on peut prendre
xfy = x' comme coordonne locale, car x' dfinit un homomorphisme d'un voisinage du point 00 sur un voisinage de 0 dans C (en effet, posons tfy = t ' ; la relation
(3. 3) quivaut
t ' = 4X /3 - 20 a2x lt '2 - 28 ai'S;
au voisinage de x' = 0, t' = 0, le thorme des fonctions implicites donne t ' comme
fonction holomorphe de x' :
t ' = 4X /3
+ ... ).
c'est une fonction multiforme sur X', et qui sert de coordonne locale au voisinage
de chaque point X'.
Supposons maintenant que les constantes al et
soient dduites d'un groupe discret a par les relations (5. 5) du chapitre V, 2. Alors la proposition 5. 2 du mme
paragraphe montre que la transformation mromorphe
a,
y = ~\'(Z)
dfinit un isomorphisme de l'espace analytique CIO. sur l'espace analytique X'. Par
l'isomorphisme rciproque, z est une fonction holomorphe multiforme sur X',
dont les dterminations (locales) se dduisent les unes des autres par l'addition
d'une constante appartenant o.. On a dx = Y dz cause de (3. S), et par consquent dz (qui est une forme diffrentielle bien dfinie sur X') n'est autre que la
forme ,., dfinie ci-dessus (ce qui justifie la notation z).
Abandonnons maintenant l'hypothse suivant laquelle a. et a, proviennent d'un
groupe discret a par les formules (S. S) du chapitre v, 2. La fonction multiforme z dfinie sur X' par la condition que dz = west encore dfinie; une analyse
plus pousse de la topologie de l'espace X' permettrait de montrer que les diverses
dterminations de z se dduisent les unes des autres par l'addition de constantes
qui forment un sous-groupe discret a du groupe additif C, a tant engendr par
deux lments el et e. linairement indpendants sur le corps rel R. On Deut
achever de fixer la fonction multiforme z en lui imposant d'tre nulle (mod. a)
au point 00 de X'. Introduisons alors la courbe algbrique
yi =
20byc -
28b"
4.
5. Surfaces de Riemann
h oj' =j,
h = f'.
Avant d'aller plus loin, faisons une observation: dans la condition (ii),
la fonction holomorphe g qui prolonge f est unique, en vertu du principe du prolongement analytique (cf. 4, nO 4). De plus, dans (iii),
appelons g' l'unique fonction holomorphe dans X' telle, que g' o}' = f;
alors on a ncessairement
go h
= g';
/fI'
-+
Xl
Zo e V et o S est Ja srie entire ~ a.X telle que ~ a.(z -zo) soit le dveloppe-
.po
n~O
ment en srie entire de F au voismage de ZOo Par dfinition, les ensembles W(V, F)
forment une base d'ouverts pour la topologie que l'on veut dfinir sur Z : tout ouvert
de Z est une runion d'ensembles de la forme W(V, F), et rciproquement toute
runion d'ensembles de la forme W(V, F) est un ouvert. On dmontre facilement
que l'intersection de deux ouverts est un ouvert; on a donc bien dfini une topologie
sur Z. Cette topologie est spare; que deux poin~ distincts (zo, S) et (zb, S') aient
des voisinages ouverts disjoints est vident si Zo =1= zb; et si Zo = zb etS =1= S',
l'ensemble des points (assez voisins de zo) au voisinage desquels les fonctions holomorphes dfinies par les sries entires distinctes S et S' concident est vide, cause
du principe du prolongement analytique .
A chaque couple (zo, S) associons le point Zo e C; on dfinit ainsi une application p :
Z-+ C, qui est localement un homomorphisme (i.e: tout point de Z possde un voisinage
tel que la restriction de p ce voisinage soit un homomorphisme sur son image) :
cela rsulte aussitt de la dfinition de la topologie de Z. En utilisant p comme
coordonne locale au voisinage de chaque point de l'espace Z, on dfinit sur Z une
structure d'espace ana~tique. Pour cette structure, l'application p est holomorphe;
donc (Z, P) serait une surface de Riemann au-dessus de C si Z tait connexe (on
verra que ce n'est pas le cas).
Dfinissons une fonction G dans l'espace Z comme suit: la valeur de G en un
point (zo, S) e Z est, par dfinition, le terme constant de la srie entire S = ~ a.X;
n~O
c'est aussi la valeur, au point zo, de la fonction holomorphe ~ a,,(z - zo) dfinie
n~O
5. Surfaces de Riemann
~
.c..
a"Xn
~o
n;;:'O
Jusqu' prsent, on n'a pas encore utilis la donne de l'ouvert non vide et connexe
V, et de la fonctionfholomorphe dans V. On va maintenant s'en servir. Considrons W(V, f) : c'est, par dfinition, un ouvert (non vide et connexe) de l'espace
analytique Z; et la restriction de l'application p : Z -- C cet ouvert W(V, f)
est un isomorphisme de W (V, f) sur l'ouvert V c: C. Soit j l'isomorphisme rciproque. L'application compose G 0 j n'est autre que f. Soit X la composante
connexe de Z qui contient l'ouvertj(V); et soit f la restriction de p X; soit enfin
g la restriction de G X.
Puisque p est localement un homomorphisme, il en est de mme de ~; donc (X, f)
est bien une surface de Riemann non ramifiJe au-dessus de C. Pour montrer que
(X, f) et l'isomorphismej satisfont aux conditions du problme, il reste vrifier
qu'ils satisfont aux conditions (i), (ii) et (iii). La condition (i) rsulte trivialement
de la dfinition dej. La condition (ii) est vraie, parce que g est la restriction de G
X, et que G 0 j = f, comme on l'a vu. Montrons (iii) : soient (X', y') et j' comme
dans (iii), avec une fonction g' holomorphe dans X' et telle que g' <'j' = f dans V;
dfinissons une application k de X' dans Z, en associant tout point x~eX' le
couple (f'(x~), S), o S dsigne la srie entire ~ anXn telle que ~ a,,(z-zo(
n~O
n~O
29
Figure 13
La thorie prcdente du prolongement analytique admet diverses gnralisations. Par exemple, au lieu de prolonger sur une surface de Riemann
non ramifie au-dessus de C, on peut prolonger sur une surface de Riemann
non ramifie au-dessus de la sphre de Riemann ; les raisonnements sont analogues. On pourrait aussi considrer des surfaces de Riemann non astreintes
tre non ramifies, en leur imposant des conditions analogues (i), (ii),
et (iii); on peut alors montrer que le problme ainsi pos possde encore
une solution, unique un isomorphisme prs .
Exercices
1. Soit D un ouvert simplement connexe du plan C, distinct de C, et soit
a e D. t&flt donns un nombre complexe b tel que 1b1 < l, et un nombre
210
Exercices
rel , montrer qu'il existe une seule fonction holomorphe f(z) qui dfinisse un isomorphisme de D sur le disque unit et satisfasse
(i) f(a)
2.
h,
Cl> C 2 sans point commun, tels que Cl soit contenu dans l'intrieur de C 2
< [).
< r < [.
si Izii ~ IZ21 -# o. Pour la seconde question, montrer qu'il existe un automorphisme:;. de B tel que 9(E) = Br> avec 0 < r < l, et considrer la fonctionfo cp-1).
4. Soit w = f (z) une fonction holomorphe et univalente dans le disque
unit Izi < l, et soit r l'image parfdu cercle Iz! = r,o < r < [. Montrer
que le rayon de courbure? de r en un point f(a), !al = r, est donn par
la formule suivante:
2.. = Re(af"(a)/f'(a)
p
+[
jaf'(a)1
211
= u(6)
u'v" - u"v'
+ iV(6), on a
(u" + iv") ,
U' + iv'.
-~-...,.,-~Im
U'2
V'2
:xl ~ pl.
(iii)
(iv)
applique Co dans
D~
~+;
r o'
Montrer que, sous ces hypothses,fpeut tre prolonge, d'une seule faon,
en une fonction l? holomorphe dans D, qui applique D_ dans ~_.. (Se
ramener, en utilisant l'exercide 5, au cas o Co (resp. 1'0) est contenu dans
l'axe rel, et utiliser le principe de symtrie de Schwarz, Chapitre II,
2, nO 9)).
On remplace maintenant les hypothses (iii) et (iv) par les hypothses
plus restrictives:
(iii')
f
f
~+;
(iv')
applique Co sur r.
Montrer alors que le prolongement li est un isomorphisme de D sur l'.
(On devra notamment montrer que f est univalente, et pour cela que f
prend des valeurs distinctes en des points distincts de Co; ceci se prouvera
par l'absurde, en utilisant la proposition 4.2 du Chap. III, 5\
212
Exercices
> a>
a,
<
<
a2 1 < r2 , Re(z)
>
0,
Iwl <
l,
Re(w)
>
0,
prenant des valeurs relles sur l'axe rel, et appliquant le segment iy,
Y2 <::; r 2 - a2 , du plan z sur le segment iv, ;vl
l, du plan w. Pour cela,
considrer d'abord la transformation ~ = Z2, puis une transformation
homographique Z = C(~ + ~ transformant le cercle 1~ - a 2 1 = r 2 dans
'(~
+ ()
"
<
o k est une constante relle telle que 0 < k < 1; on prend la dtermination uniforme du radical gale 1 pour t = o. Montrer que] (z) peut se
prolonger en une fonction continue dans le demi-plan ferm lm(z) ;;:. o.
Posons
i
dt
(t rel).
K = 0 (1 - t 2 ) (1 - k 2t 2 ) ,
\l
CHAPITRE VII
< i < k.
Ces fonctions sont supposes holomorPhes au voisinage d'un point (a, bl> ... , bk ).
On considre le systme diffrentiel
~=j,(x, Yh
(1. 1)
''', Yk),
cpf(x)
(1. 2)
THORME 1.
2.
CAS k =
1:
PARTIE
FORMELLE
~1.=f(x,
dx
y).
f(x, y) est une fonction Jonne, holomorphe au voisinage du point (a, b).
Pour simplifier, nous supposerons dsormais a = 0, b = 0; on peut toujours se ramener ce cas au moyen d'une translation. Soit
f(x, y)
= !,
P,
Cp,qXPf
q~1)
PROPOSITION 2. I.
(2. 2),
On va maintenant dmontrer cette proposition; on se proccupera seulement plus tard de la question de savoir si la srie (2. 3) ainsi obtenue est
effectivement convergente au voisinage de o.
Identifions les sries formelles en x des deux membres de (2. 4); en galant
les coefficients de xn dans les deux membres on obtient :
>-
>-
nombre fini de ces variables). Il importe de bien observer que les polynmes Q" sont dfinis une fois pour toutes. Les premiers polynmes Q 11
sont les sui\'ants :
QI = Co.o,
F(x,y) =
(3. 1)
p, q;;:>O
est une srie majorante de la srie (2.2), si les coefficients Cp,q sont:;> 0
et satisfont aux ingalits
I)(x)
(3. 2)
~ A.x'
n~t
dy_
dx
-
(3 3)
Alors
1)
F(x, y).
1)
A. = Q.(Cp, q);
216
<
puisque les polynmes Qn ont leurs coefficients;;;:" 0, les ingalits ICp,ql Cp,q,
et les ingalits classiques relatives la valeur absolue d'une somme ou
d'un produit, montrent aussitt que lanl
An. Ceci prouve la proposition.
<
Ixl <r,
jyl <r,
o r est un nombre> o. Soit M la borne suprieure de If(x,y)1 sur l'ensemble (3. 5). D'aprs les ingalits de Cauchy (chapitre IV, 5, formule
(4. 2)), on a
M
Icp,q I~-'
"" rP+'l
Posons
M'
C p,q - rP+'1'
les Cp,q sont les coefficients d'une srie entire F(x,y) qui est une srie
majorante def(x, y). On calcule immdiatement la somme de la srie F,
qui est une srie gomtrique double :
(3. 8)
F(x,y)
= ( 1 -x-) ( I-L)
r
pour
Ixl
Ixl
<r,
217
y = r
(1 - VI + 2M log ( 1- ; )),
La dmonstration du thorme
4.
CAS O
1.
EST Q.UELCONQ.UE
ipl(X)
~ a~l)x"
n~1
~
n
+ I)a(i)
n+1
xn
~ c(i)
xP ():
a(t)x r ,) q, . . .
P.q . qk
... r,
r.
a(i) n -
O(i)(c(j)
':.(,..n
P. qh "', qk
>-
1. Thorme d'existence et
d'unicit~
par (4. 3) ont un rayon de convergence non nul. Pour cela, on va remplacer
chaque sriefi par une srie majorante F/. Soit (cII l , , cII k ) l'unique solution
formelle du systme majorant
Alors, pour chaque i, cIIi est une majorante de Cjl/ (dmonstration analogue
celle de la proposition 3. 1). Il reste dterminer explicitement les Fi
~t les cII/.
Par hypothse, les fi sont holomorphes dans un voisinage du polydisque
ferm
Ixl
<r,
Iyd
<r
pour
<i<k,
et leurs valeurs absolues lfil sont majores par un nombre M sur ce polydisque. On en dduit que les
dy/_
MIll
/=I~
dx---x-
1--
I-
( I_L)kdy=~.
r
dx
x
1--
Il est clair que si l'on pose yi = cII(x) pour tout i, on obtient bien une solution
formelle de (4. 7); ceci dmontre l'assertion.
En dfinitive, tout revient prouver que la srie formelley = cII(x), solution
de l'quation (4. 8), admet un rayon de convergence non nul. Or l'quation diffrentielle (4. 8) s'intgre par quadrature : la solution qui s'annule
pour x = 0 est donne par
Ji(x, YI,
... , Yk;
+ +
holomorphes de k j
1 variables complexes au voisinage de l'origine.
Pour chaque systme (/}> ... , tj) suffisamment voisin de-(o, ... ,0) le systme
diffrentiel
(1. 1)
admet une s6lution holomorphe et une seule YI = cpl(X), nulle pour x = o.
Les fonctions cpl(X) dpendent bien entendu des valeurs donnes tl' ... , IJ'
Nous noterons
(1. 2)
la solution de (1.
1)
telle que
(jli(O;
tl ,
tj)
pour i
l, , A.
THORME 2.
(13)
o les coefficients Cp,q(t) sont eux-mmes des sries entires en t :
220.
~~ =f(x,y; t)
(1. 5)
= cp(x,
t)
Ixl
(1. 7)
< T,
Iyl
< T,
Itl
F(x, y, t) =
, M
(1- :)(1--;-)(1-+)
diffrentielle majorante
(1.9)
$(x; t) =
Or il est clair que le second membre de (1. 9) est une fonction holomorphe
des variables x et t au voisinage de l'origine x = 0, t = o. Ceci achve la
dmonstration du thorme 2.
2. DPENDANCE
DES
CONDITIONS
INITIALES
qui ne dpend d'aucun paramtre. Les fonctions donnes .fi(x, Yu ... , Yk)
221
bl = 0, ... , bl, = o.
Autrement dit, la solution du systme diffrentiel (2.1) dpend holomorphiq!tement des valeurs initiales bi des fonctions inconnues Yi'
Dmonstration. Prenons
comme
nouvelles
Zi =Yi -
fonctions
inconnues
bi'
~; = fi(~',
Zl
+ bl'
... , Z"
+b
k ),
avecles valeurs initiales ZI(O) = o. Les seconds membres des quations (2. 3)
dpendent holomorphiquement des paramtres bl , ... , bk au voisinage de
l'origine. D'aprs le thorme 2, l'unique solution de (2. 3) qui s'annule
pour x = 0 est une fonction holomorphe Zi = ',Hx; bl , ... , bk ). La solution
de (2. 1) telle que Yi = bi pour x = 0 est donne par
... ,
bk au voisinage de l'origine.
\3. [)
dky _
,
(1'-1)
dx k -f(x, y, y, ... , Y
).
Exercices .
bl> ... ,
de a,
b~h
, -!!..!f.
Y -dx""'Y<
k-t) _ dk-trp
-dxk-t'
dy
,
-;h=y,
~-"
dx -Y',
(3.2)
................. ,
dyk-2) _
.lk-t)
dx -.r
,
dY"'-t)
,
. ~ =J(x, y, y, ... , Yk-t.
On applique au systme (2) le thorme 1 du 1, ce qui dmontre le prsent thorme 4.
Exercices
Soit donne une quation diffrentielle linaire de la forme suivante :
(aoX + bo)Y) + (alx + bl)Y-I)
(a.x
b.)y = o.
Montrer que, si U(z) est une fonction continue dans un ouvert D, et r
un chemin diffrentiable par morceaux dans D, ayant son origine en zo,
son extr~mit en Zl' la fonction J (x) dfinie par l'intgrale
1.
+ ... +
(1)
J(x)
Ir
e''''U(z) dz
est partout holomorphe dans le plan de la variable x. Pour que J(x) soit
une solution de (1), il suffit que l'on ait
(i)
(ii)
[e""A(z)U(z)]~: = 0,
d
dz(A(z)U(z
= B(z)U(z),
si on pose
A(z) = aoZ"
+ ... + a",
B(z)
"oZ"
+ ... + b".
Supposons que A(z) possde n zros C}> ... , CIl deux deux distincts. Montrer
que l'on peut crire
B(z)=IX+~+"'+~'
A(z)
Z-
Cl
Z-
CIl
o IX, IX}> ... , IX" sont des constantes complexes, et en dduire, que si
'0 (j = l, ... , n) dsigne un chemin diffrentiable ferm dans D, o
D = C - Ic}> ... , c"l, partant d'un point fixe Zoe D et contournant une
fois le point C}o et si "fj, k( 1 <,j, k <, n) dsigne le contour dfini en parcourant
successivement "fj dans le sens direct, "fk dans le sens direct, puis "fj dans le
sens indirect, et finalement "fk dans le sens indirect, et si on prend la fonction
pour zeD,
fonction en gnral multiforme, l'intgrale (2), o on prend "( = "fj,k
(donc Zo ='Zl) dfinit une solution de (1). Montrer que l'on pbtient
ainsi au plus n - 1 solutions (qui sont holomorphes dans le plan).
2. Dmonstration du thorme des fonctions implicites (proposition 6. 1
du chapitre IV, 5, nO 6) par la mthode des sries majorantes (on suivra
les notations de l'nonc de la proposition cite) : montrer d'abord que
l'on peut se ramener au cas o aj =0; bj'= c" = o,j = l, ... , n; k = l, .. . ,p,
et que l'on a
(1)
fi (Xl'
Cjl(Z) Xl
+ ... + Cjn(Z)X"
+
/1++'t'i~:!
X~n,
224
Exercices
XJ =
t~J'~n
YJJ'; x .. xpYJ,zf'
Zh ... ,
Zp,
z~p
x ...... xp~o
+ v'+'+vn~
~
YJ;v .... vA:x .... x,xl x~nZf . zJp, j= l, , , n,
x ...... xp~o
XJ =
dJ; " ...... "A: <l'.. ... ,(7pYf ... Y!:'nZr' ... zJp,
J=
l, ... ,
n,
ap.
o M, R sont deux constantes relles positives (remarquer que le dveloppement en srie. entire de - - - - -.. ~_._---.- est major par celui de
(1 -Tt) ... (1 - Tn )
(
1
T) ) ,et que par suite, en faisant Xl = X g = ... = X n = X,
1 - T 1 + .. +
on obtient une majorante des sries (4), en rsolvant l'quation du second.
degr en'X:
ft
du chapitre
l,
2, nO 9).
4. a) infini, b)
6.
J 4.
l,
c) iar ( : '
+ 4/7"bib 2 +- Qsbi.
1-).
1.
CHAPITRE
III
_ 2Im(.z)
17 (i)
y -(7t(2n -
20. (i)
(iv)
23 (ii)
+ 1.:1 2 '
2) !)/(22n-l[(n -
7t(l bl -lai),
'It(r" - 1/2)',
'ltan/(I-ai)
(ii)
(Hi)
si
lal<l.
1) !J2an-l/2b l/2),
'It/a"(a 2 -1)
SI
lal>r.
+ r)'It/n).
25 (i)
(ii)
CHAPITRE
8.
(- r)"/n!
g.
CHAPITRE
7. w =
VI
z rel.
Index terminologique
Les chiffres de rfnmce indiquent successivement
le chapitre,
le paragraphe
et le numro (ou, ventuellement, l'exercice).
Algbre des polynmes ...........................
Algbre des sries formelles , . . . . . . . . . . . . . . . . . . . . . ..
Analytique (esp;ice) .. . . . . . . . . . . . . . . . . . . . . . . . . . . ..
Analytique (fonction) ............................
Antiholomorphe {transformation) ..................
Argument . -. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Automorphisme (d'un ouvert) .....................
Automorphisme (de la sphre de Riemann) .........
Bord orient d'un compact. . . . . . . . . . . . . . . . . . . . . . ..
Born (sous-ensemble de ;,f,(D)). . . . . . . . . . . . . . . . . . ..
Carte. . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
Cauchy (ingalits de) . . . . . . . . . . . . . . . . . . . . . . . . . . ..
1
VI
~1
~IV
VI
VI
4
9
II
V
III
III
III
II
IV
VI
IV
II
4 4
5 42
5
5 2
2
4
II
II
II
II
VI
VI
VI
V
V
VI
III
2
III
III
5
2
3
4
4
4
6
7
5
2
227
Tnd(:'JC
II
IV
IV
VI
VI
II
4
4
Famille normale
Fonction l' .................................... .
Fonction V de Weierstrass ....................... .
Forme diffrentielle ferme ...................... .
Forme diffrentielle holomorphe sur un espace analytique ....................................... .
v
v
v
4
3
3 et 9
2
3
5 5
IV
VI
VI
3
4
II
II
4-
III
IV
IV
II
III
1
2
4
5
4
III
II
7
3
3
3
VI
6
3
2
3
exerc.8
3
5 2
2
6
6
4
2
2
8
6
6
5
5
3
III
3
4
III
IV
Index
3 5
III
VI
4 5
5
4 5
VI
2
Il
VI
4 6
VI
5
2
2
IV
1,2
3
IV
1
4 4
II
VI
III
5 5
VI
III
4 4
III
VI
III
III
4 4
IV
IV
4 1,2
4 5
4 4.
~:II
III
.)~:
IV
8
5
: :
exerc.4
229
\:v
v
III
J.............
VI
VI
III
VI
VI
III
VI
III
III
III
III
IV
VII
Il
VI
IV
III
VI
VI
1
V
VI
pl
~VI
Il
III
~ VI
~ VI
1
Index
Univalente (application) ..........................
II
v
III
2 5
4 4
3
1
T ...........................................
R ..............................................
C ..............................................
:t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ..
2
2
1
1
II
1,5
I(y. a) .........................................
II
-,
-= ..........................................
()~ /)~
II
M(r) ...........................................
III
S2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
III
80
I~I,
II>
()
()
V ..................... v
r ..............................................
.5'o, .5- 1
... . . . . . . . . . . ... .. . . . . .. .
v
v
VI
r(p) ...........................................
VI
r(B) ...........................................
VI
5 2
3
3
2 5
3 4
exerc. 3.
1
1
2
2
2
6
6
II
Henri Cartan
"l'lb~~ ~~COOl~ !l~ ~~'b1~ ~1:1''!l~
:!l.\!Illl(j iD'!! ~(y~ ~~ ~
Ce livre contient J'essentiel de la thone classique des fonctions d'un e variable complexe
et prsente, de faon sommaire, les notions d'analyticit et d'holomorphie des fonctions
de plusieurs variables.
Le cas des fonction s ana lytiques de plu sieurs variables . relles ou complexes , est
envisag pour permett re de considrer les fonctions hannoniques de deux variables
relles comme des fonctions an alytiques cl de traiter du th or me d'existe nce des
solutions d'un syst me diffrenti el dan s le cas o les donnes sont a na lytiques , en
utilisant la "mthode des majorantes",
Dans son mode d'exposition de ce sujet classique , J'auteu r lraite notamment de la
theorie des snes entires formelles et de la notion d'"espace analytiqu e" abstraite . dite
us uellement "surface de Riemann", Les questions de topologie plane, indispensa bles
lors du traItement de l'Intgrale de Cauchy, sont abordes selon un point de vue un peu
diffrent de celui d'Ahlfors,
A d'infimes exceptions prs, des dmonstrations compltes sont donnes de tous les
noncs du texte, traits de manire d tatlle.
L'ouvrage comprend les chapitres suivants : snes entires une variable - fonctions
holomorphes, Intgrale de Cauchy - dveloppements de Taylor et de Laurent. points
singuliers , rsidu s - fonctions analytiques de plusieurs variab les, fonctions harmoniqu es - convergence des suites de fonctions holomorphes ou mromorphes , s ries.
pro duits in fin is, familles normales - tra nsfonnations holomorphes - systmes
diffrentiels holomorphes,
Chaqu e cha pitre est complt par de nombreux exercices et problmes quI. choisis par
Reiji Takahash l. permettent a u lecteur de vnfier s'il a bien assimil les questions
theoriques .
15B7\2056 52 15 9
HERMANN