You are on page 1of 5

Sur les fonctions analytiques de plusieurs variables.

IV.|Domaines d'holomorphie et domaines
rationnellement convexes.

Par
Kiyoshi Oka
(Recu le 27 Mars, 1940.)
Comme nous l'avons dit, le sujet des recherches actuelles consiste
des problemes suivants; problemes de Cousin, representer les fonctions
holomorphes et classi

que nous supposons toujours. dans les recherches actuelles. x2. considerons les domaines. univalent et sans point a l'in.1 Dans le present Memoire. xn . nous nous occuperons du dernier probleme. : : : .er les domaines.2 Dans l'espace ((x)) trace par les variables complexes x1 .

En classi.ni. pour eviter les complications d'intervenir des l'abord.

puis en simpli. d'apres la methode de M.ant les domaines ayant le type trouve par F. Cartan. Hartogs. H.

ant la classi.

ou bien si D est approximatif de l'interieur par les domaines de la classe precedente. s'il est convexe par rapport aux fonctions rationnelles qui sont holomorphes dans D.cation. Domaine pseudoconvexe. Soit E l'ensemble consistant des points de l'espace . Un domaine D sera appele rationnellement convexe. nous obtenons les types suivants : 1. Domaine d'holomorphie. Considerons un domaine borne D. Domaine rationnellement convexe. (I) ( II ) (III) (IV) Domaine cylindrique.

1936. 1926.) 2 Les 3 Memoires precedents sont les suivants : I |Domaines convexes par rapport aux fonctions rationnelles. 1937.) 1 . III|Deuxieme probleme de Cousin. II |Domaines d'holomorphie. (Journal of Science of the Hirosima University. Si. l'ensemble 1 Pour ces problemes. (Acta mathematica. Sur les familles de fonctions analytiques de plusieurs variables.ni ((x)) qui n'appartiennent pas a D. voir avant tout: G. Julia. 1939. au voisinage d'un point quelconque P sur la frontiere de D.

que nous designerons par ( ). Les 4 types fondamentaux satisfont aux relations suivantes : (I) < (II)  (III)  (IV): C'est-a-dire. les 2 dernieres distinctions ne sont que provisoires. D sera appele pseudoconvexe.E satisfait au theoreme de la continuite. si les rayons satisfont a la relation r + r0 > 1: Considerons ce cas.5 Construisons une fonction G(x. ). Un des morceaux consiste des points (x .3 et si cette propriete admet toute transformation pseudoconforme biunivoque au voisinage de P . considerons a la fois le plan caracteristique y=x 1: La portion de la caracteristique dans la dicouronne sera decompose en deux morceaux (continus). y ) tels que x ainsi que y se situent dans le demi-plan superieur. nous nous occuperons du premier. les domaines des types s'embo^tent les uns dans les autres. y . Plus generalement. (I) et (II). A l'espace des deux variables complexes x. Dans le present Memoire. ) 0 r0 < jy j < 1. nous appellerons pseudoconvexe tout domaine approximatif de l'interieur par les domaines du caractere precedent. meromorphe dans ( . 2. Voici donc 2 problemes : (II)  (III)? et (III)  (IV)? Le deuxieme sera traite plus tard. ( . admettant 0 0 0 0 0 3 Ceci signi.4 Il peut arriver qu'il n'existe que 2 types. y ). considerons la dicouronne r < jxj < 1.

 etant un rayon quelconque. n 1) corresponde au moins un point x0n dans jxn an j < r tel que le point ((x0 )) appartienne a E. nous avons cherche la methode pour (II) ! (I). jxn an j = r r . Memoire I. et dans le Memoire II. x0n 1 ) dans jxk ak j < d (k = 1. 5 C'est la con. a tout point (x01 . : : : . xn 1 = an 1 .e qu'il existe une hypersphere S de centre P . ayant le caractere suivant: Considerons dans S un point quelconque ((a)) et une circonference de la forme. 4 Dans le. x2 = a2 . on peut trouver un nombre positif d de facon que. x1 = a1 . : : : . : : : . Si cette circonference reste exterieur a E . pour (III) ! (II). sans l'^etre pour le point ((a)).

2 .guration que nous avons appliquee une fois. au deuxieme probleme de Cousin.

gr^ace au theoreme de Weil explique au No. E 3 . (A) r0 < jy j < 1. ( x) est determine uniquement. y ) existe certainement d'apres le theoreme de Cousin. par x. on peut representer la fonction G(x. 6d < 1 r0.y 1 x+1 pour p^oles sur ( ). il consiste des domaines d'holomorphie. y ) sera designe par F . fn (x. G(x. Nous appellerons A0 le domaine appartenant a A et contenant F . tracons sur le plan x. G(x. r + d  jyj  1 d. sans l'^etre a E . une circonference C autour de l'origine avec la moitie de (1 + r) pour rayon. a un point quelconque de F . et holomorphe en dehors de ( ). (x . Supposons A0 rationnellement convexe. F est un continium. s'il existe. y ). a nouveau. F est contenu dans ( . dont M est un nombre positif que nous determinerons plus tard. l'ensemble consistant de tous les (x . f2 (x. : : : . jG(x. 4 du Memoire I. Nous allons demontrer que le domaine d'holomorphie 0 0 0 0 0 0 0 0 0 0 A0 n'est pas rationnellement convexe. y ) au voisinage de F 6 comme limite d'une suite de fonctions holomorphes rationnelles. y ) un point quelconque de ( ). 6 Nous appelons que certain phenomene se presente au voisinage d'un ensemble . Choisissons un nombre positif d comme suivant. y ) est holomorphe. L'ensemble A est ouvert. sur le plan caracteristique x = x decrivons un cercle ( x0 ) de centre y et de rayon d. A contient donc F . Soit E l'ensemble de points consistant de tous les cercles ( x0 ). y)j < M. y ). pourvu que M soit suÆsamment grand. et sur le plan y la couronne r0 + d < jy j < 1 ( 0) 0 d: Soit (x . construisons l'ensemble de points de la forme. (S ) f1 (x. r < jxj < 1. y ) un point appartenant a l'ensemble. s'il en est ainsi pour un certain ensemble ouvert contenant E avec ses points d'accumulation. Soit. Alors. ). jxj = 1 +2 r . : : : . Avec cette G. y ).

y ). G(. elle est a priori holomorphe au voisinage de la circonference. Considerons l'equation 0 0 (x. y ) sur la circonference. autour de l'origine une circonference C avec la moitie de (1 + r ) pour rayon. Tracons sur le plan y . au moins une racine dans le cercle ( x0 ) du plan y . y ) = '(x. f2 (. le rayon de ( x0 ) est egale a d. x decrivant la circonference C une fois au sens positif. Soit donc. y ) ' et etant 2 polynomes sans facteur commun. alors. appartient a F . si non. le cercle ( x0 ) est donc. y ) . y ). y ) serait donc. y ). y ) etant non-nulle sur F . Car. aucune des racines de l'equation ne sort du cercle ( x0 ). mais d'ailleurs quelconque. puisque la distance entre les deux frontieres de 0 surpasse 4d. contredisant le p^ole 1=(y  + 1) au centre du cercle. fm (. x decrivant C une fois au sens positif. d'apres la m^eme raison. l'equation (x . consideree a l'espace. soit  le centre du cercle. le nombre de racines est independant de x . puisque la circonference. contenu dans 0 avec la circonference. la distance de la circonference C a la frontiere de 0 surpasse 2d. dont nous regarderons x comme variable independante. : : : . Alors. lorsqu'on fait tracer a x l'arc de C de  a x . Soit (x . dans la suite 0 0 (S ) f1 (. et. Or. En e et. toute fonction de (S ) serait holomorphe dans (  ). y ) une fonction de (S ) admettant des p^oles dans  . y ) un point jouissant de la m^eme propriete que (. Posons 0 0 0 fm (x.  existe certainement. Or. 0 on trouve toujours au moins une fonction admettant des p^oles dans (  ) du plan y .qui converge uniformement. (x. y ) = 0 possede consequemment. Soit  un point sur la circonference C tel que (  ) soit contenu dans la couronne 0 . le cercle ( x0 ) du plan y traverse C une fois de l'interieur du cercle (C ) a l'exterieur. et au contraire le rayon de (  ) est egale a d. au moment ou il traverse C.  ). x etant quelconque. (x. la suite (S ) converge uniformement vers G(. holomorphe dans le cercle. que nous designerons par . y ) = 0. fn (. C'est tres curieux. : : : .  racines de l'equation algebrique = 0 dans (C ) quitterons se 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 .

m^eme s'il est univalent (et sans poinit a l'in. Theoreme. c'est naturellement absurde. Donc.|Un domaine d'holomorphie n'est pas necessairement ratiannellement convexe.cercle. A0 n'est pas rationnellement convexe.

ni). C'est la base du theoreme I etabli au Memoire II: Nous avons af.

H.H. Cartan 7 et le theoreme MM. Le theoreme montre de plus qu'il est generalement impossible de developper les fonctions holomorphes dans un domaine d'holomorphie univalent et sans point a l'in. Thullen 8 (Hauptsatz uber die gleichzeitige Forsetzbarkeit) sont indispensables deja pour les domaines univalents.rme a la fois que la convexite de M. Cartan et P.

C'est un phenomene qui se presente a cause des points d'indetermination. 2o . On peut donc constater le theoreme au No. Pour l'eviter. en series de fonctions rationnelles (holomorphes dans le domaine ou non) qui converge uniformement a l'interieur du domaine. 4 et le theoreme I tout analogument qu'au No. La raisonnement du Memorie I est exact pour les polynomes. sans modi. Memoire I. 3o .ni. le theorme  de Runge ne subsiste plus pour les domaines univalents d'holomorphie le plus general. nous procederons comme ce qui suit : 1o .9 Autrement dit. 2) n'est pas necessairement contenu dans l'interieur de D. 5 du Memoire II dont le theoreme I du Memoire II est evident pour les fonctions rationnelles. On peut donc constater le theoreme II. L'ensemble ouvert D 0 donne a la page 249 (No. Errata.

dont U signi.er la demonstration donnee au No. Adjoindre a la proposition la condition que f ((x). 0  t  1. t) soit une fonction uniforme et continue sur ((x)) 2 U . Memoire II. Page 117. 5.

U etant consequemment suppose borne. Page 19.) 9 Nous appelons qu'un phenomene se presente a l'interieur d'un domaine D. Cartan und P. Remplacer la troisieme formule par f1 k ((x). Page. s'il en est ainsi pour tout domaine contenu avec sa frontiere dans D. Soc. t)e(1 t)('1+2ki) =  etant un nombre entier convenable dependant des domaines. Annalen.) 8 H. (Bull. (Math. Remplacer La limite  a la troisieme ligne par Toute limite. France. 1931. Memoire III.16. 5 . 7 H. Cartan: Sur les domaines d'existence des fonctions de plusieurs variables complexes.e le domaine ferme consistant de U et de sa frontiere. 1932.und Konvergenzbereiche. Thulien: Regularitats. Math.