MSM 1947 106 1 0

M MORIAL DES SCIENCES MATHMATIQUES
S TEFAN B ERGMANN
Sur les fonctions orthogonales de plusieurs
variables complexes avec les applications la
thorie des fonctions analytiques
Mmorial des sciences mathmatiques, fascicule 106 (1947), p. 1-63.
<http://www.numdam.org/item?id=MSM_1947__106__1_0>
Gauthier-Villars, 1947, tous droits rservs.

Laccs aux archives de la collection Mmorial des sciences math-
matiques implique laccord avec les conditions gnrales dutilisation
(http://www.numdam.org/legal.php). Toute utilisation commerciale ou im-
pression systmatique est constitutive dune infraction pnale. Toute copie
ou impression de ce fichier doit contenir la prsente mention de copyright.
Article numris dans le cadre du programme

Numrisation de documents anciens mathmatiques
http://www.numdam.org/
MMORIAL
DES
SCIENCES MATHMATIQUES
PUBLI SOUS LE PATRONAGE DE
L'ACADMIE DES SCIENCES DE PARIS,

DES ACADMIES DE BELGRADE, BRUXELLES. BUCAREST, COMBRE, CRACOVIE, KIEW,
MADRID, PRAGUE, ROME, STOCKHOLM (FONDATION MITTAG-LEFFLER),
DE LA SOCIT MATHMATIQUE DE FRANCE, AVEC LA COLLABORATION DE NOMBREUX SAVANTS.
DIRECTEUR
Henri V I L L A T
Membre de l'Institut,
Professeur la Sorbonne,
Directeur du Journal de Mathmatiques pures et .appliques .
FASCICULE CVI
Sur les fonctions orthogonales de plusieurs variables complexes

avec les applications la thorie des fonctions analytiques
PAR M. STEFAN BERGMANN
PARIS
GAUTHIER-VILLARS, IMPRIMEUR-DITEUR
LIBRAIRE DU BUREAU DES LONGITUDES, DE L'ECO LE POLYTECHNIQUE
Quai des Grands-Augustins, 55
1947
Tous droits de traduction,...de reproduction et d'adaptation
]' rservs .pour-'.tous-.pays.-.'
A LA MMOIRE
DE BRONISLAW BERGMAN
SUR
LES FONCTIONS ORTHOGONALES

DE PLUSIEURS VARIABLES COMPLEXES
AVEC LES APPLICATIONS
A LA THORIE DES FONCTIONS ANALYTIQUES
Par Stefan BERGMANN.
INTRODUCTION:
Beaucoup de mthodes de la thorie des fonctions analytiques

d'une variable complexe ne s'tendent pas au cas de fonctions analy-
tiques de plusieurs variables complexes ( 1 ). Pour traitcr^des questions
semblables celles tudies dans le cas d'une variable complexe, il
est ncessaire d'utiliser des procds nouveaux. Parmi ceux-ci nous
citons en particulier les systmes de fonctions cp(v) de n variables
complexes .orthogonales dans un domaine &. Dans nos consid-
rations ultrieures, nous nous bornerons pour plus de simplicit au
cas de n = 2 ( 2 ) .
L'utilit des systmes de fonctions orthogonales rsulte en grande
( i ) Par fonction analytique de n variables complexes rgulire dans un domaine <B2

2AI dimensions, on entend une f o n c t i o n / ( - s n . . . , zn); qui est dveloppable*autour
de chaque point} tx,..., tn] 82" en une srie de puissances des (*k *),&= I,3,...,TI,
cette srie tant uniformment convergence dans un voisinage suffisamment petit
du point { *n.'.., tn } . On dit que / est de carr sommable en &2n si l'int-
grale / | / 1 2 dxx dyx .., dxn ~dyn existe.
( 2 ) Alors que pour passer de n = .i n = 2, Ton rencontre des circonstances nou-
velles pour lesquelles on est oblig de crer des mthodes tout fait nouvelles, le
passage de ra = 2 / z > 2(/15^ 00) n'offre gnralement aucune difficult essentielle.
- MBMORIAL DES SC. MATH. N 106. 1
2 STEFAN BERGMANN.
partie des proprits suivantes que possde le noyau
2 ?(V) (*1, * l ) ? M ( ' l ! * 0
d'un tel systme de fonctions ferm pour la classe E{t) des fonctions
analytiques de carr sommable, savoir :
i Il est une fonction rgulire des variables z^ 2 , <, $, dans
chaque point intrieur, { 4 , a }'<&,{ l 4 , a} <&.
2 Il est indpendant du choix particulier du systme ferm {cp(v*}.
Nous l'appelons la FONCTION NOYAU DU.DOMAINE f et iôus le dsi-
gnerons par K#(, 7).
3 Si l'on cherche le minimum de l'intgrale
Jf(B| h \ dio,
2
dm = dxi dyr dx^ dy2, Zk = Xk -+ iyk,
h variant dans le champ des fonctions analytiques dans & et Vcarr

sommable avec | h(tA ; t2)\ = i[{t^ t^} = {t} arbitraire &], alors
ce minimum est gal -.=r et est atteint pour
K
(-'> 0
"KÛ, 7)
M*, 0
Lorsqu'on_opre avec des systmes de fonctions orthogonales de
plusieurs variables complexes, on peut, par consquent, non seule-
ment employer les mthodes fondamentales de-la thorie des fonctions
orthogonales dans le domaine rel, mais il se prsente dans ce cas
des circonstances beaucoup plus simples (eo*relation ayec les pro-
prits indiques du noyau, cf. Chap. II).
La mthode se rvle surtout trs approprie pour le traitement de
certaines questions concernant les fonctions de la classe E (<B), o
l'on demande que les fonctions satisfassent des conditions de nature
linaire (par exemple pour le problme d'interpolation). Nous
obtenons d'une fapn relativement simple des critres pour l'existence
et l'unicit de fonctions de carr; sommable dans (B satisfaisant aux
conditions indiques, des bornes suprieures pour l'ensemble de ces
fonctions, etc. (Chap. III). (Remarquons que pour beaucoup de ces
problmes il y a des systmes orthogonaux spcialement appropris.)
Particulirement importantes sont ls relations qui apparaissent
dans l'tude des transformations pseudo-conformes.
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 3
La reprsentation biunivoque d'un domaine de l'espace euclidien

2 ^-dimensions sur un autre domaine par n fonctions analytiques
de n variables complexes est appele dans le cas n > i REPRSENTATION
PSEUDO-CONFORME (*). Nous considrons en particulier le cas AI = 2.
Une reprsentation pseudo-conforme d'un domaine (9L en un
domaine 6h transforme une fonction analytique de deux variables
complexes, dfinie dans (X en une fonction analytique de deux
variables complexes dfinie dans &. Dans certains cas, ce domaine 6h
peut tre choisi de manire que l'tude des fonctions de deux variables
complexes y soit plus simple que dans le domaine primitif (9L. On
conoit ds lors que la reprsentation pseudo-conforme soit un
procd trs important pour Ptude des fonctions de deux variables
complexes.
Dans la thorie des transformations pseudo-conformes, on ren-
contre d'abord deux problmes :
I. Deux domaines sont_clits QUIVALENTS, quand on peut les repr-

senter l'un sur l'autre par une transformation pseudo-conforme. Il
s'agit de choisir, par un procd bien dtermin, dans une classe de
domaines quivalents, un certain domaine reprsentatif de la
classe considre, de classifier les domaines reprsentatifs et d'en
tudier les proprits principales. D e plus, il faut trouver effecti-
vement et tudier la transformation pseudo-conforme qui reprsente
un domaine donn de la classe sur le domaine reprsentatif ( a ) .
II. Borner les variations des grandeurs attaches la mtrique

euclidienne pour certaines catgories de reprsentations pseudo-
conformes.
( 1 ) Les domaines ne seront pas ncessairement univalents. Mais pour des raisons
de simplicit, nous nous bornerons dans la suite (sauf avis contraire) aux transfor-
mations pseudo conformes de domaines univalents.
( 2 ) Les mthodes actuellement connues ne permettant pas d'aborder ce problme
dans sa gnralit, nous considrerons dans la suite un problme plus particulier,
savoir le problme du choix d'un domaine reprsentatif dans la classe des domaines
qu'on peut transformer mutuellement par des transformations wk = wh(zl9 *,), k = 1, 2
normes en un point fixe { t } , c'est- dire pour lesquelles on a
w*('n **) = *n * = i, a, \jjjr)z - t =8*> 6 * t = I > 8 **=o> kjn.

4 STEFAN BERGMANN.
L'tude de ces problmes dans le cas des reprsentations conformes

est base essentiellement sur deux thormes fondamentaux,, savoir
le thorme de Riemann-Poincar, qui dit qu'on peut reprsenter tout
domaine simplement connexe dont le bord contient au moins deux
points sur l'intrieur d'un cercle, et le lemme de Schwarz.
Ces deux thormes fondamentaux sont de ceux dont on ne connat
pas de gnralisation immdiate. Toutefois, l'introduction de la fonc-
tion noyau, qui est un invariant intgral dans les transformations
pseudo-conformes, permet de donner des thormes susceptibles de
remplacer jusqu' un certain point les thormes indiqus : comme
on sait, le thorme de Riemann-Poincar permet de dfinir une
gomtrie l'intrieur d'un domaine simplement connexe en intro-
duisant dans le cercle la mtrique hyperbolique de Poincar (qui est
invariante par rapport aux transformations conformes du cercle en
lui-mme) et en dfinissant comme distance de deux points P1 et P 2 du
domaine envisag la distance hyperbolique de leurs images dans le
cercle unit. La thorie des fonctions orthogonales permet, Taide
de la fonction noyau, de dterminer une mtrique hermitique inva-
riante par rapport aux transformations pseudo-conformes. L'tude
plus approfondie de cette mtrique nous mettra en mesure de trouver
des coordonnes reprsentatives par rapport un point intrieur
dont l'introduction est quivalente dans le cas d'un domaine simple-
ment connexe du plan la reprsentation sur le cercle. Il rsultera de
plus, que certaines grandeurs lies cette mtrique invariante sont
en mme temps les minima (sous certaines conditions) d'intgrales
positives tendues au domaine. On dduira de ce fait que le minimum
pour un domaine Oh CZ <> est plus petit que le minimum correspondant
pour le domaine g,, et l'on en conclura qu'il en est de mme pour les
grandeurs qui nous intressent. Cette mthode de dmonstration,
que nous appellerons mthode des problmes de minimum ,
remplacera pour nous le lemme de Schwarz. (Dans le cas de trans-
formations conformes, elle conduit au lemme de Schwarz, dans la
forme qui lui a t donne par Pick^ ainsi qu'aux autres thormes
lis ce lemme.)
Il est d'ailleurs vident que le dveloppement de la thorie des
transformations pseudo-conformes demande en outre l'utilisation de
mthodes diffrentes des mthodes mentionnes plus haut. Les
mthodes suivantes paraissent tre particulirement fcondes :
l'emploi de la thorie des groupes (cf. E. Cartan, 1, H. Cartan, 3 et

d'autres travaux) ainsi que celui de la thorie des surfaces remar-
quables et des fonctions dites fonctions de classes largies (cf.
Bergmann, 7, 14?, 16, 20 et d'autres travaux), mthodes que nous
n'emploierons pas ici quelques exceptions prs.
Je mentionnerai encore que les transformations pseudo-conformes
peuvent s'appliquer au#ssi dans la thorie des quations aux drives
partielles linaires. On sait qu'une quation elliptique
AU -4- A (*, *)U,-+- B(*, z) UF-+- C(, *)U = o /us= ^ \
est transforme par une reprsentation conforme en une quation de

mme forme. De mme il existe des types d'quations aux drives
partielles de quatre variables complexes dont la forme reste invariante
par des transformations pseudo-conformes. Oii peut utiliser alors
cette proprit au moins pour certaines questions en n'tudiant
ces types d'quations que dans des classes particulires de domaines
pour lesquels l'tude se fait d'une faon plus simple que pour les
domaines gnraux, quivalents aux domaines particuliers envisags.
Dans ce fascicule nous donnerons, aprs avoir parl des tres
gomtriques qu'on rencontre dans la thorie des fonctions analy-
tiques de deux variables complexes (Chap. I), les thormes fonda-
mentaux de la thorie des fonctions orthogonales dans le domaine
complexe (Chap. II) : nous indiquerons ensuite les problmes de
minimums dj mentionns et les applications de ces mthodes
plusieurs questions de la thorie des fonctions (Chap. III), et finale-
ment nous tablirons la mtrique invariante et tudierons ses proprits
locales (Chap. IV).
Le fascicule suivant : Sur la fonction-noyau d'un domaine et ses
applications dans la thorie des transformations pseudo-conformes ,
est consacr une tude prcise du comportement de la fonction-
noyau et de la mtrique, surtout dans le voisinage de la frontire; de
plus nous y tudierons quelques autres applications de mthodes
exposes, en particulier nous traiterons des problmes indiqus sotisl
et II la page 3. *
Le but que nous nous sommes propos dans ces fascicules est de
mettre en vidence les ides essentielles des mthodes indiques et de
donner leurs applications les plus importantes; mais nous n'avons
6 STEFAN BERGMANN.
pas cit tous les rsultats obtenus. Nous ne prtendons pas dans ce
travail tre complet, mme pas en ce qui concerne la bibliographie.
Je voudrais exprimer mes vifs remerciements M. . Gartan qui a
eu la bont de revoir une partie du manuscrit et dont les indications
m'ont t particulirement prcieuses. Je remercie galement
M. N. Aronszajn qui a fait un examen critique de tout le manuscrit
et qui m'a donn des conseils trs utiles; M.*B. Fuchs, avec lequel
je me suis entretenu souvent des questions ici traites et dont j'ai
utilis plusieurs remarques, ainsi que M. W . Dblin pour ses
remarques concernant la rdaction.
1. NOTATIONS. LMENTS DB L'ESPACE, DE DEUX VARIABLES COMPLEXES.
1. Prliminaires. Pour l'dification de la thorie des reprsen-

tations pseudo-conformes que nous avons en vue dans ce qui suit, il
n'est pas ncessaire d'utiliser des thormes de la thorie des fonctions
analytiques de deux variables complexes.
De la thorie des fonctions orthogonales complexes, que nous dve-
lopperons dans le Chapitre II, on peut tirer un certain nombre de
rsultats intressants sur la reprsentation des fonctions analytiques
de deux variables complexes.
Nous supposons le lecteur familiaris avec les thormes fonda-
mentaux de la thorie des fonctions analytiques, qu'on trouve dans
tous les cours classiques sur la thorie des fonctions analytiques
d'une variable complexe. Comme nous ne supposons aucune connais-
sance particulire en plus, il nous sera utile de dire quelques mots
sur les tres gomtriques qui interviennent dans la thorie des
transformations pseudo-conformes. En mme temps, nous explique-
rons les notations que nous emploierons dans la suite.
2. Notations. Nous dsignerons les variables complexes et leurs

conjugues par
(i) * * = #*-+-*>*, zk = &kiyk (A: = 1 , 2 ) ,
&n y\, #2 y2 tant les coordonnes cartsiennes de l'espace

quatre dimensions. Pour une fonction relle ou complexe des
quatre variables relles xK, y*, # 2 y2, nous crirons gnralement
cp(^,, 2 , ^n *a) ou^plus brivement <pyz, z). Par

2 2
k=zl ' A=l
nous dfinissons les drives -r^- = A*, -== = B*, k= 1,2 et nous
QZJc zk
obtenons ainsi :
, . <te 1 / c?9 . e>cp \ <?<p 1 / ^9 . ^9 \
(2) z l
* =Jz-k = Atek- Wkr ^ = wh = -Adx-k + lWkr
(k=h 2).-
One fonction cp est appele fonction analytique (ou rgulire) lie

deux variables complexes Z\, z2 dans un domaine connexS d5, si elle
y admet des drives partielles continues et si l'on a de plus
(3) ^ = 0 , (*-!,)
(quations diffrentielles de Cauchy-Riemann}.
On peut alors montrer l'aide de la formule de Cauchy qu'en

chaque point intrieur P ( ^ , t2) du domaine 6b la fonction 9 admet
un dveloppement en srie procdant suivant les puissances des
(z/, ^ ) , / : = 1, 2, et uniformment convergent dans un voisinage
suffisamment petit de P.
Souvent on prend cette dernire proprit comme dfinition et
l'on en dduit inversement les quations (3).
Une varit dont les coordonnes sont donnes par
(4) #x=?x(wi> w2, ..'., uk), 7 X = < K ( M I , W2, . . . , uk)
[* = I , 2 , "*><W^4'>],
o cpx, ^ x sont des fonctions continues des variables relles wx, qui,
dans un voisinage suffisamment petit de chaque systme des para-
mtres wx, forment une transformation biunivoque de l'ensemble des
paramtres, sera appele pour A = i courbe, pour /:==2 surface,
pour k = 3 hypersurface.
Nous dsignerons les varits toujours par des lettres gothiques ou
rondes, o l'indice suprieur indique la dimension de la varit
considre. Toutefois les domaines quatre dimensions seront crits
8 STEFAN BERGMANN.
sans l'indice suprieur. En oprant avec des ensembles nous emploie-

rons les signes usuels S o u + (ensemble runion), (ensemble
diffrence), ^ ( p a r t i e commune), x (produit topologique de deux
domaines), 6h (fermeture de l'ensemble t13), ( ^ (inclusion), etc.
Ainsi, par exemple : l'ensemble runion d'une famille d'en-
sembles %n(a) dpendant du paramtre a, lorsque a parcourt un
ensemble %m sera dsign ('*) par S ^ " ( a ) ; une barre sur la lettre
dsignant une varit ouverte indique qu'elle doit tre prise
avec sa frontire; l'intersection d'une varit jf" par la surface
g(*\, * 2 ) = const. sera dsigne par n. [g(z{, * 2 ) = const.]. La
frontire d'une varit sera dnote gnralement par la mme lettre
que la varit, ainsi P signifie la frontire du domaine c6, b1 la
courbe frontire de 2 , etc. Par g ( ) sera dsign l'ensemble
des points dont les coordonnes satisfont aux galits ou ingalits
indiques dans la parenthse.
Remarquons enfin que si nous disons qu'une fonction est analy-
tique dans un i?", ra<^3, nous sous-entendons qu'il existe un
domaine ^ , n(Z_j o u la fonction est analytique.
3. Surfaces. L'galit f(zK.z2, zi}z2) = o, o n i l a partie relle

ni la partie imaginaire de / n'est identiquement nulle, dfinit une
surface si2 (pour / suffisamment rgulire). Si / est analytique
dans w,2 et si fZt et fZi ne s'annulent simultanment en aucun point
de # l 2 , 9V* sera appele SURFACE ANALYTIQUE (resp. morceau de surface
analytique). E ( A ^ + B ^ H - G = o) sera nomm PLAN ANALYTIQUE;.
Un plan analytique est dtermin compltement par la donne de
deux de ses points. Deux plans analytiques non parallles se coupent
toujours en un point. Dans un hyperplan passe par chaque point un
plan analytique unique (Study, 1).
Deux plans quelconques dans l'espace quatre dimensions for-
ment deux angles, dfinis par des proprits extrmales. Dans le
cas des plans analytiques, ces deux angles sont gaux, nous pouvons
parler de I'ANGLE FORM PAR DEUX PLANS ANALYTIQUES
(5) 3^1, akZi-hbkZ2=o ( = 1,2)
(l) En gnral dans ce qui suit les ff(a) constituent une famille des varits
disjointes, et par suite 8C"(a) a la dimension (/n-+-/i).
(Reinhardt, 1). En partant de la formule usuelle pour l'angle entre

les deux vecteurs OS et OT appartenant ,312 respectivement J312,
O = 3L2. 3L2, on obtient pour l'angle x de ces deux plans
DOS* r- '
(6) J V(\i\'+\i\1)i\*t\i-t-\bt\*)
. I 1 ^ 2 ci^bi I
siny = ' '
tant donns deux vecteurs OS .et OT, nous dsignons par

<\> = < (OS, OT) l'angle rel (') entre OS et OT. Maintenant, si l'on
considre les deux plans 51 2 et 2K\ analytiques qui passent (et sont
dtermins) par le vecteur OS, respectivement OT, on peut consi-
drer l'angle % que forment ces deux plans et l'appeler ANGLE
ANALYTIQUE ENTRE LES VECTEURS. Pour chaque Vecteur OT CI 312
Fig. 1.
nous pouvonss trouver une direction O S ' d 3 t 2 de sorte' que

< ( O S ' , OT) = x. Si nous posons cp = < ( O S , OS'), nous trouve-
rons la relation COS<]J= cos^coscp. L'angle cp sera appel ANGLE DE
DVIATION ( 2 ) .
( 1 ) C'est l'angle au sens habituel entre les deux vecteurs OS et OT dans l'espace
euclidien rel quatre dimensions.
( 2 ) M. Fuchs [3] a considr ces angles en les appelant premier et second angle
analytique entre deux vecteurs.
10 STEFAN BERGMANN.
Courbure (Tune surface. Soient d% l'angle que forment les

plans analytiques tangents la surface analytique 2 aux points {z}
et \z-\-dz) et ds la distance de ces deux points. Nous appelons
courbure de la surface 2 au point {z} la grandeur -^- Si l'quation
de 2 est donne par z2=g(zi), on obtient pour la courbure
I s" I
l'expression -7 (Fuchs, 3).
Remarque. On peut aussi dfinir la courbure l'aide d'une

mtrique non euclidienne, pourvu que par le transport parallle de
\z-\-dz\ en \z\ le plan analytique tangent Q&2 en \z-\-dz\ soit
transform dans un plan analytique.
i. Hyper sur face s. Une hypersurface 63 sera souvent dfinie par

une relation de la forme.
(7) * ( * i , **, I , 3 ) = O,
<& tant une fonction relle. Pour certaines questions envisages dans
la suite, il est utile d'obtenir une forme normale bien dtermine
pour certaines classes d'hypersurfaces. Supposons que l'origine Q
appartienne 3 , <&(o, 0 , 0 , 0) = 0, et que $ admette des drives
partielles du second ordre continues. G3 admet alors au point Q res-
pectivement l'hyperplan tangent et un plan analytique tangent
(8) aiZi-h aiZi-+- a 2 2-+- aZ= o et 1zi-h^zt=i o,
o
ak ak
=\jrk)z^ =\w
\zkkJ)zZx=z-$
Par la transformation orthogonale
z\ = e*0* sm 3 ^ i -+- e">* cos;?-z2
nous introduisons des variables nouvelles *, z\ que nous appellerons

COORDONNES NORMALES RELATIVES AU POINT Q DE6 3 [Bergmann, 11]. Si
B3 est la frontire d'un domaine d3, on prend Taxe des x\ de telle
faon qu' la normale intrieure corresponde la direction x\ >> o.
L'quation de l'hyperplan tangent devient maintenant
(10) * - f - * = o.
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. II
Si l'on introduit au lieu de z* les variables x\ et y\ l'quation de

l'hypersurface au voisinage de (o. o) devient
(n) ix\ = r 2 -f- iiy$bz\ bz$ +- c*.*2-f- c^-t-tf | z\ |*-+- <\>2,

o a et d sont rels et
lim iiMlikI|)=0.
Par la transformation
(12) ^ = ^ + 2 ^ ' 2 + C 3 ' 2 2 + dz\z'22, z% = z'2
l'quation devient
(i3) ix\ =ay?-+-<f\z'2 | 2 -f-....
Nous remarquons que pour chaque domaines dans lequel l'ensemble

des valeurs de z2 omet deux valeurs a i et <x2
ai (A Â 2 -*- A | b |-i) e -*arc* #

a2
tant une constante relle quelconque, on peut dterminer (12) de

faon que cette reprsentation soit dans 6h biunivoque, car en posant
d= on a dans Oh
ata2
1 -+- ibz2 -+- dz22 = d(z'2-r- 0^) ( z2 a 2 ) 5 o.
z' *
(i4) *'i = -j jj T *'2 = * 2 ,
P prend la forme
(15) 2*^tf|*5l+nr,*i,35), lim ^ ^ = o 5
que nous appelons reprsentation canonique pour 63 dans Q(o,o).

(Bergmann, 11).
Courbure d*une hypersurface, Si nous avons une hyper-

surface 63 nous pouvons caractriser sa courbure de la faon suivante.
Dans chaque point [zf de l'Hypersurface prenons trois directions
orthogonales (qui forment un tridre de coordonnes normal par
12 STEFAN BERGMANN.
3
rapport G ) : deux directions T< et T 2 se trouvant dans le plan
analytique tangent au point { z }, et la troisime direction N tant la
section de l'hyperplan tangent avec le plan analytique qui contient la
normale B3. Nous envisageons aux points {z\ et t[z-\-dz) les
directions indiques T 1 } T 2 , N et nous formons avec leur aide les six
grandeurs
(SVT/ (S/T2' (A/N' W T / \*)T,' W N '
o d% dsigne l'angle analytique, rfcp l'angle de dviation entre les

directions correspondantes, ds la distance entre { z } et { z -+- dz (
et
( d ) *a drive, P r i s e dans la direction T,.
Ces grandeurs caractrisent compltement le tenseur de courbure
de l'hypersurface, les composantes du tenseur de courbure de
l'hypersurface s'exprimant linairement l'aide des grandeurs indi-
ques [Mitrochin, 1 ] .
Pour beaucoup de questions, il importe de savoir si pour une
hypersurface 63 il y a des surfaces analytiques passant par le point Q
et qui sont situes entirement d'un mme ct de B3. L'hypersurface
O = o est dite PSEUDO-CONVEXE du ct O >> o (respectivement <& <" o)
au point Q, si toute surface analytique, qui passe par Q, possde
dans chaque voisinage suffisamment petit de Q au moins un point
situ dans <D>o (respectivement <&ô). Si <& est deux fois difleren-
tiable sur un morceau bA de la surface S3 = [?(<& = o)'contenant le
point Q alors la question de savoir si B3 est pseudo-convexe peut
tre rsolue l'aide du signe de l'expression de Levi
(16) L(4>)=- Zk ZmZ

zk ~-dzmf/zn
&z.za &zoZa
Pour la convexit de <D = o du ct O > o (respectivement <& < o)

dans un point Q sous les hypothses donnes, il est ncessaire
qu'on ait dans b3 L(<D)>o et il est suffisant qu'on ait dans b3
L ( * ) > o [ L c v i , 2].
La dmonstration de ce rsultat s'obtient* en mettant l'hypersur-

face <& = o sous la forme normale canonique. On constate que
s i g n . [ L ( * ) ] = sign. [or].
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. ]3
Le Gas o- = o dans bj sera considr plus loin.

Le cas o o* > o dans b3 l'exception d'un ensemble deux dimen-
sions de b3 o o-=o n'a gure t examin jusqu' maintenant.
Un "morceau b3 d'hypersurface qui peut tre reprsent sous la
forme
(I7) /(Zy, z2,\) = o, a<:\<b,
o f(zit 2 , A) est une fonction continue de zA, z2, A telle que pour
chaque X = A ( 0 > = const., l'intersection de b3 et E [ / ( ^ ? ^2? A')) = O]
soit un morceau d'une surface analytique, s'appelle morceau d'hyper-
surface analytique.
On peut dmontrer que pour que b j = E! [/*K^> *2J*<> *a) = 0 ] ,
o <> est deux fois continment difFrentiable, soit un morceau d'une
hypersurface analytique, il faut et il suffit qu'on ail en chaque point
L(<>) = cr = o [Levi, 1 ] .
On considre souvent des morceaux d'hypersurfaces analytiques

reprsentes sous la forme
(18) |) 3 * X = ( * ) ( Z , X), Ze = E[|Z|<i], X 0 * = E[o<;X^27r],
o A(X)(Z, X) sont des fonctions continues des variables Z, X et, pour

chaque X fixe, des fonctions analytiques d'une variable complexe Z.
211
J)3 est l'ensemble runion l ) 3 = S^ 2 ( A ) de surfaces analytiques
J*(X) = E [ * x = A ( X , ( Z )> Z 2, X const.]
d i t e s LAMELLE DE I) 3 .
2 = 3ii(X), ii(X) = E [*x = AW(Z, X), I Z | = 1, X const.]

X=o
s'appelle SURFACE LATRALE du morceau I)3 d'hypersurface analytique.

Le module d'une fonction analytique de deux variables com-
plexes Z\, z2 dans, l)3, prend son maximum dans f)3 sur la surface
latrale 2 [Bergmann, 20].
Dans chaque lamelle 32(X) la fonction
FTZ) / [ ^ ( Z , X), h&(Z, X)], Xconst.,
14 STEFAN BERGMANN.
est une fonction analytique d'une variable complexe Z et le maximum

de ) F(Z) |, lorsque *le point varie sur la lamelle J2(X) est pris sur la
frontire i 1 ( X ) C ^ 2 .
Remarquons encore qu'on a, dans le cas d'une hypersurface ana-
lytique, les relations suivantes pour les grandeurs introduites la
page 12
(*x,=m,-m- - ai'i"-
o H est la courbure moyenne de Fhypersurface.
Dans le cas d'une hypersurface = 0 quelconque, il vient
() =JH"+-L(*) [Mitrochin, 1].
5. Quelques domaines particuliers quatre dimensions. Un

domaine ^C, ayant la proprit que> son intersection avec chaque plan
analytique passant par le point 0 ( 0 ^C) est un cercle de centre O,
est appel DOMAINE CERCL [Behnke, 1, Carathodory, 2 ] . Le point O
(que nous prenons pour plus de simplicit comme origine des coor-
donnes) est appel centre du domaine cercl. Si l'on introduit les
variables angulaires s = zA z~*, alors chaque plan analytique, passant
par O, est donn par s = const. L'intersection de ce plan avec le
domaine #C est un cercle de rayon r = 9(5) o 9(5) est une fonction
relle positive de la variable complexe s. Le domaine cercl C est
dfini analytiquement par
(19) \*i [2-4- 1*2 | 2 < r * = 9
2
(5), * i * ' = s,
La frontire de tK est donne par
uii = ?(o[n-i*ir*=R(Oi = *.
On peut crire aussi | zK | < R*(), o t = z2 z\K et R* (t)=\t |- 1 R(-').
Un domaine cercl avec le centre \z*, z2) admet le groupe de
transformations
(ao)T(Sr) * - * = (**-**)*, (A = 1,2, 0^2*),
chaque cercle du centre \z\, z\) restant invariant par la transfor-
mation T(2r). Quelquefois on donne le nom de ddmaine cercl tout
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. l5
domaine qui admet la transformation T ( ) , tandis que les domaines

considrs par nous sont appels domaines cercls parfaits.
Un rle important est jou par une classe particulire de domaines
cercls, savoir par les DOMAINES CERCLS DE REINHARDT(1] que nous
dsignerons par la lettre et qui admettent le groupe de transfor-
mations
( 2 l ) T ( i , p.) z\ z\=(zk z\)e^ (ogjfc^23c, X: = i, 2).
L'quation de l'hypersurface frontire d'un C peut tre crite.sous

la forme g( \ zh z* |, \z2 z\ \ ) = o, o g est une fonction relle.
Mentionnons parmi les domaines cercls de Reinhardt le bicylindre
S=E[|**1<r*, * = i,2}
et l'hypersphre
^ = E[l*il2-H*2|2<r2].
Si l'on veut se reprsenter plus intuitivement des domaines quatre

dimensions on peut considrer une des coordonnes, par exempley 2j
comme le temps et substituer ainsi l'espace quatre dimensions un
espace mobile trois dimensions. Les diffrentes figures sont alors
des sections avec les e s p a c e s y 2 = const. [Bergmann,*13].
La figure 2 nous donne par exemple une image concrte du
bicylindre, tandis que la figure 3 reprsente l'hypersphre (1 ).
Fig. 2.
Les domaines C sont des cas particuliers des DOMAINES SEMI-CERCLS

DE HARTOGS [ 1 ] S qui admettent le groupe de transformations
(22) Zx = 3 i , z*2-r-z^ = (ziz^)ei.P ( = ? = 23U)>
( l ) L'hypersphre et le bicylindre tant des domaines symtriques, on a naturel

lement des images analogues pour les valeurs positives de yv
i6 STEFAN BERGMANN.
avec le plan invariant z2 = z\. Les domaines semi-cercls, en parti-

culier les domaines cercls de Reinhardt, apparaissent donc avec la
~Tfg. 3. .
reprsentation indique comme une suite de corps de rotation avec

l'axe de rotations x2 = o.
Les domaines cercls et semi-cercls rentrent dans la catgorie des
DOMAINES (ra 4 , m2) CERCLS DE H. GARTAN [ 3 ] , c'est--dire des
domaines borns qui admettent le groupe de transformations
(23)H V*
z
k~ zl=(zkzX)eimk9 (<>^2*)r
o mK et m2 sont deux nombres premiers entre eux, et j z\^ z\} est

un point intrieur du domaine.
Dans le Chapitre II, du fascicule suivant, nous introduirons une
nouvelle catgorie de domaines, les DOMAINES REPRSENTATIFS, en
partant de la notion de la fonction noyau . Il apparat que les
domaines (mA, m2) cercls de H. Gartan, mi-m2'>o. sont des cas
particuliers de ces domaines reprsentatifs.
Dans ce qui suit, nous allons envisager des domaines qui admettent
d'autres groupes de transformations. Parmi ces domaines nous allons
mentionner particulirement les suivants : soit 62[y> 2ft (y), 2r 2 (y)]
un domaine angulaire du plan z2 = y limit par deux demi-droites
issues du point zK = o et formant avec l'axe positif de xA les angles
2
3F { (Y), respectivement S 2 ( y ) ; soit $ un ensemble du plan des z2.
Nous dsignerons par 2T~ le domaine S ^2[y> 2N(Y)> ^ ( y ) ] . Le
domaine S"1" admet le groupe de transformations
(24) z\=*kzu zl^z2y

k tant rel. (Les points invariants de la transformation,sont sur la

frontire du domaine) [Bergmann, 11.]
Z\
(25)
I-H^R-I3
o R 7^ o et rel, S^ est transform sur un domaine que nous appel-

lerons 3. Le domaine 3
Fig. 4.
,y2=
est la runion 3 = &%2[3A(y). 2r 2 (y), R] de domaines plans
3 2 [2^(y), 3 2 ( y ) , R] situs dans z2 = f et limits par deux arcs

de cercle se coupant aux points zK = o ePzA = R et formant au
point zA = o les angles 2N(y), respectivement Sr2(y) avec l'axe rel.
Domaines avec une surface frontire remarquable [Bergmann,

7, 8, 13, 14, 20]. Si l'on tente de gnraliser quelques thormes
importants de la thorie des fonctions d'une variable, on voit que la
frontire d'un domaine de l'espace zl9 z2 ne joue pas, du point de vue
de la thorie des fonctions, le mme rle que la courbe frontire
d'un domaine plan. Indiquons par exemple que dans le cas du bicy-
lindre
S = \\zk\<rk(k = i, 2)],
dans la formule de Gauchy

i (T /(tuH)dhdh
(2 KiYJj (*i *i)(fc*0
MMORIAL DBS SC. MATH. N 106.
lg STEFAN BERGMANN.
nous intgrons le long de la surface

W=*E[\zk\ = rl] (* = i, 2),
et non le long de toute l'hypersurface frontire

E[l*i|=*i, \Z2\%z2 et lî'.^ri, l^r-j^^l.
De plus, chaque fonction f(zi} z2) rgulire d a n s attelai, le maxi-
mum de sa valeur absolue en un point de 2 . Une surface frontire
i 2 d'un domaine 3I possdant : i cette dernire proprit efc~2 telle
qu'il existe une formule intgrale, reprsentant chaque / rgulire
dans jrt l'aide des valeurs d e / sur i 2 est appele SURFACE FRONTIRE
REMARQUABLE de Jl ( 1 ).
Un cas important de ces domaines est fourni par des domaines OTi
dont la frontire est constitue par un nombre fini de morceaux
d'hypersurfaces analytiques/1), /: = 1,.2, . . . , ns L'ensemble de
leurs surfaces latrales 6? forme la surface frontire remarquable i 2
d'un tel domaine 2l. "En effet chaque fonction / rgulire dans J\
atteint le maximum de sa valeur absolue sur la frontire, c'est--dire
dans un des J)*, k= 1, 2, . . . , n par exemple, dans l). Mais d'aprs
nos rsultats prcdents, | / | doit atteindre son m a x i m u m s u r ? ( ^ i 2 .
Ainsi* i est dmontr. La dmonstration de 20 est indique dans les
travaux Math. Zeitschr., 39, 1934, p. 70-94, 6o5-6o8 et Recueil
Mathmatique, 1, (43), ig36, p. 851-862.
Quelques types de #es domaines (dans la reprsentation mention-
ne) sont considrs dans le travail de Bergmann, ( 1 3 ; i).
II. LES FONCTIONS ORTHOGONALES ET LEURS PROPRITS (2).
1. Notations. Soit Oh un domaine univalent, f et g deux

fonctions de variables complexes i 4 , z2 rgulires dans Oh. Soit
( 1 ) ^ 2 possde encore d'autres proprits importantes, analogues celles d'une

courbe frqntire; nous renvoyons le lecteur aux travaux indiqus.
Remarquons qu'on distingue deux catgories de surfaces frontires remarquables
spciales, a savoir des surfaces maxima et des surfaces de dtermination (Gomp. les
travaux cits).
( 2 ) Toutes les considrations de ce chapitre pourraient tre prsentes d'une
manire plus simple et plus intuitive si l'on voulait utiliser la notion de l'espace de
Hilbert et se servir de ses proprits.
du = dxKdyK dx2dy2 l'lment de volume (euclidien). Par
ffgdt*^ f Re(/f)rfa>-4-i f l m ( / ) f t o - J a t / ; g),
nous entendrons toujours une intgrale quadruple prise au sens de

Lebesgue. (Re = partie relle, Im = partie imaginaire.)
$a>(f. f) possde toujours une valeur finie ou infinie. Dans le
premier cas, c'est--dire si J < B ( / , / ) < OO, nous dirons que / est de
carr sommable.
Nous supposons dans ce qui suit que Oh est tel qu'il existe une suite
infinie de fonctions rgulires dans Oh, de carrs / sommables et
linairement indpendantes. Remarquons que Cci est vrai pour tout
domaine born et pour certains domaines non borns.
Remarque. On pourrait, au lieu d'une intgrale au sens de
Lebesgue, considrer l'intgrale gnralise, c'est--dire
lim
im / d<a,
o 0hm, m = 1,2, . . . est une suite de domaines embots les uns

dans les autres et tels que Oh = lim Ohm. H est facile de dmontrer
que si pour une suite Ohm
lim f |/|rfw = A,
il en est de mme pour une suite quelconque de domaines Ohm

jouissant des mmes proprits. La mme remarque est vraie pour
J * ( / ^ / 2 ) s J<6(/*>/0<> k = \.i.
Nous utiliserons dans la suite des indices doubles (mn). Nous
supposerons toujours qu'ils sont rangs comme suit : (mn) sera dit
avant (pq) si l'on a m-+-n<p-i-q ou si m-f-np-\-q, n<p.
Par (m v 7i v ), v = i, 2, . . ., nous entendrons toujours l'indice (mn)
qui se trouve la v-ime place dans l'ordre considr.
2. Systme- de fonctions orthogonales. Une suite de fonctions

rgulires dans Oh : <p(v)(*), V = T, 2, . . . , (*) = (*<,s a ), est appele
systme de fonctions orthogonales et normes si l'on a
(1) J<B[9< V) , q>W] = &vii, ^v=o, V^JA, s vv=i.
20 STEFAN BERGMANN.
Pour les domaines cercls de Reinhardt

e=E[|*2i2<s-(i*il), l*i|<R],
un systme de fonctions orthogonales et normes est form, par
exemple, par les polynmes
(a) ? M(,)=-i_i, a* = [^(rOl^rJ'-.rfCr),
car on a
/ Z^Z^Z^Z^dt
Je
\ .R p&rx) rK rm
1=1 I rv+v +1 rgv+n|i+i afr-i rfr2 / eÂnym^dyi I e'?if*vV d<p2
(3)
SI V ^ fi,
*R*
= ~7 f (^)^(^)3^^), si v = JA.
Dans le cas du bicylindre S = |T [ | zk | < rk], on obtient

rm+\ rn+\
dans le cas de l'hypersphre 2t= [ | zK |2-f- | 2 1 < r2]
flm=tr++l y (m -+- n -4- 2) !
et enfin dans le cas du domaine (3,,= E [ a | zK |^-r-|*2|<iJ)/> entier,

o < a ^ i , on a
. / p f ( / n - h i)o \\\n\
amn^ni/ ','y.M/ ^ - 77 [ B e r g m a n n , 471.
Dans le cas d'un domaine cercl JC, si l'on orthogonalise pour chaque
m les monmes zfz"1'71, n = o, 1,2, . . . , m, on obtient un systme
de polynmes {Pmn(zi, z2) j homognes, orthogonaux dans C. Ceci
rsulte de l'orthogonalit dans chaque C des expressions t\>{')=z\nvzr2v
ettyW= zv.zn^. si mv + ^ v ^ m ^ - f - ^ . Pour le dmontrer, vpMljJw
tant born dans 3C, on peut enlever de JC les points du plan z2= o
et un bicylindre \zk| < s , /r = 1, 2, e tant assez petit. Soit #C' le
domaine nouveau eUntroduisons dans JC', au lieu des variables zx, z2
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES, ai
les variables s= ^ , z2. On aura M= E [ < I * 2 j < R ( s ) , M<]? et
z* *-
(f Sn Jn* dsds ff zm,+nv+l 5JHi+i^-M dzt dz* = o,
car Zf'+n^x et i^^"*"1, mv -+- /iv 7^ m^ -h /i^., .sont orthogonaux dans

l'anneau e < \z2 | < R ( $ ) . Notre proposition en rsulte puisqu'on
peut faire aussi petit qu'on veut.
Dans le cas d'un domaine semi-cercl S = E [ | 2 | < c R ( ^ ) , \*i | < ' ]
on peut prendre comme fonctions orthogonales des fonctions de la
forme z\fvn(z\)<> o l'on a
rrrr if [R(^l)] 2V - h2 /vn(^l)/vm(^)^ 1 ^ 1 = 0.

V H
""Ia/l*ll<l
Pour le voir il suffit de tenir compte de l'galit

/ *S/vn(*l)^/|iiii(*l)rfw
= // // ^ 2 ^ dz2 dz2fvn(zi)fv.m(zl)dzl dzi.
3. Le noyau et ses proprits. L'expression 2 ? ( v , ( * ) ? ( v , ( 0

V= l
est appele noyau du systme {<p(v)(^)- Le noyau du systme de

fonctions orthogonales que nous avons indiques pour le bicylindre
est donc
oo QO
De mme dans le cas d'un domaine circulaire
2
C/>=EU|*I ^ I ^ 2 | <IJ (f>o entier, o<gi);
le noyau du systme envisag est
q / > ( l - zJ2)P "[(j>^rl)(l zJ%^^(p l)aPZi'ti]

7T 2 [(l Z2~t)P ClPZihY
Dans le cas particulier, savoir quand (^ = 2^= E [ | ^ i2 + | *2 | 2 </* 2 ]

22 STEFAN BERGMANN.
nous obtenons
(5*0 Y y (/i-4-m-4-2)!(^171)m(^272)ra 2/* 2

L l L J
7i=o m = o
[Bergmann, H , 17].
Nous voyons que les noyaux considrs sont des fonctions rgu-
lires de quatre variables complexes zK, z2, tK, t2 en chaque point
intrieur du domaine. Mais ceci est vrai aussi dans le cas gnral. On
a, en effet, le
00
THORME I. Le noyau \ * <p(v>(3)<pW (t) d'un systme ortho-

V=2
gonal et norme dans Oh des fonctions <pfv,(^), v = i, 2, . . . , rgu-
lires dans Oh est pour { z j &, {t{$0h une fonction rgulire des
quatre variables zif z2> tu t2 [Bergmann, 4].
Pour le dmontrer nous avons besoin du lemme suivant :
LEMME. Si la fonction f (z) est rgulire dans un bicylindre

ferm
= E[I**I^*, * = i,2],
on a
w , / > = 1 / ( 0 , 0 ) i 2 Js(i,i) + 1 / ; ^
La formule intgralede Cauchy conduit un dveloppement de f(z)

en srie 2 c m n < l ^ = / ( o , o ) + / ^ ( 0 , 0 ) ^ + / ^ ( 0 , 0 ) ^ . + . . . unifor-
mment convergente dans g. Comme d'aprs (3) Js[z*z^,zv,z7y\ = o
si v ;p^/A, on obtient la relation indique.
Dmonstratipn du thorme 1. Soit \z\cOh et S(zi9 z2)(^_0hJ

o S(zu z2) = E [ | * * k \ < . r k , /: = i, 2]. Alors, comme les <p(v>
sont orthogonales et normes dans S
n 2 .
yi? (i "(*)i a = f yp<v>(o?Mc d*t* f 2? (V) (0?< V K*) dit
J
1 * Tl * 'f*'.)
(v, v,
J ( W 'J) 2? (*)?< (*) dtt = dt\dt\ dtvdtz
3 2
en vertu du lemme. Gomme : J ^ ^ i , I) =TC r ri, il en rsulte
n
SIROPS ^ .
Ceci t^nt valable pour toute valeur de n nous obtenons
oo
V= l
de telle sorte que la srie est convergente et uniformment borne

dans chaque domaine partiel, W se trouvant entirement l'intrieur
de Oh. 2, ( ? ( V ) (*) C P ( V > ^)' nz=l

i 2
* - ' sont des fonctions rgulires
V = l _ _
des quatre variables complexes zu z2, tA, t2 dans (Oh x Oh).

Les expressions
(v, M
2?M(*)?(VK0 g2l9 (*)ll (OI
tant uniformment bornes d'aprs (6) et l'ingalit de Schwarz,

00
dans chaque domaine F 8 ( ^ ( ^ X (B) la fonction limite ^<p ( v ) (^)? ( v ) (0

V = l
reprsente dans (Oh x Oh) aussi une fonction rgulire.
4. Thormes de Fischer-Riesz. Le dveloppement d'une fonc-

tion suivant les fonctions orthogonales. Etant donn un systme
orthogonal et norme cp<v>(-^) dans Oh et une fonction analytique f(z)
de carr sommable, on appelle les grandeurs a v = J < B ( / , <jp(v,)>
v = = i , 2, . . . les coefficients de Fourier de / par rapport au sys-
tme {cp(v)}. On a toujours
00
(7) 2 ' a v |2 = J * ^ f* (ingalit de Bess*l).

V = l
Lorsqu'on* veut approcher la fonction f(z) dans Oh par une combi-

n
naison linaire de <p(v> de la forme 2 & v ? ( v ) ( ^ ) Ies &
v tant constants
24 STEFAN BERGMANN.
et n fixe, et si l'on veut rendre minimum l'cart quadradratique

.moyen
M
(8) = / /~2^(v,(z) d(

V = l
n n
V = l V = l
/
il faut prendre 6V = a v .
Si le systme des fonctions {cpiv>(*) j jouit de la proprit, que pour
chaque fonction f (z) d'une certaine classe F, l'cart quadratique
moyen M peut tre rendu arbitrairement petit en prenant n suffi-
samment grand, on dit que le systme {<p(v,(*)} est ferm ( ' ) p a r
rapport Oh et la classe des fonctions F.
Dans le cas des fonctions orthogonales relles on sait, d'aprs le
thorme de Fischer-Riesz que, si {<]/v)} est un systme ferm pour
les fonctions de carrs sommables, alors :
A. Chaque fonction de carr sommable peut tre reprsente
oo oo
par une expression ^ a v ^ ( v ) > 2<3vi]/v> conver

g e a n l e n m o y e n n e qua-
V==l v=i
dratique vers la fonction.
B. Pour chaque suite a v , v = i, 2, . . . , â2 il existe une fonc-
V = l
tion de carr sommable telle que ses coefficients de Fourier sont

gaux a v .
Passons au cas des fonctions de deux variables complexes : si le
systme { ^ ( z ) } est ferm par rapport la classe F des fonctions
analytiques dans Oh et de carr sommable, les proprits A et B
subsistent et mme peuvent tre renforces de la manire suivante :
A. THORME lia. Si le systme {cp(v)(s)} des fonctions rgu-
lires dans Oh est ferm par rapport Oh et F, chaque f F peut
tre reprsente dans Oh sous la forme
(9) /(-o=2? (v) (*)w, ?(v)],
( 1 ) Cette terminologie se trouve dans KAR^ZMARZ-STEINHAUS, Thorie der Ortho-

gnalreihen {Monografje Matematyczne, Warszawa, Vol. 6, 1935).
la srie ( 9 ) tant : i convergente en moyenne dans Oh vers / ,

c'est--dire
I n
= Hm !*</, /) - 2 I J^/ ?(v)l I2 = -

|2
2 0 Convergente uniformment et absolument* dans chaque

domaine partiel i de Oh se trouvant entirement l'intrieur de
Oh. [Bergmann, 4?.]
Dmonstration. i Le choix ^ = 1 ^ ( / , <p<v>), v = 1, 2 , . . .

dans (8) rend l'cart Mn minimum; il en rsulte par dfinition d'un
systme ferm la relation (10).
Remarquons qu'il suit de (10)
00
(n) J<,(/, / ) = J ) I W , ?M] I* (galit de Parseval).
2 La convergence absolue de (9) rsulte de l'ingalit de Schwarz,

de ( 11 ) et du thorme I, car
/ 00
J (V,] ! J<8 C/
(12) 2 I & * ^ ' ^ =1 / 2 I ' ^ '* ] ' ?M( ^ ) '
v=i y v=i v=i
La convergence uniforme rsulte de l'galit de Parseval et du tho-

rme l, car
2 ^ ^ ^ ^ ^ ^ c ^ i ^ i / 1 J- c/; ^ > 2 ' J * ^ *Cv,]i" j 2 , 9 ( v ) c * ) , a '

v=n V L v=i Jv=l
Il suit du lemme (voir p. 22)
/(o-2 J ^ [ ^ (v)]cp(v)(
IL v=i JI
<
JC[R(<I. 7^] 4 / J ( / . / ) - 2 ! J LA ?(v)] l2>
26 STEFAN BERGMANN.
o R ( ^ , t2) signifie la distance du point {t ) de la frontire de Oh,

car E\\*k i*\<-r* * = i , a | C ^ - {?(v)(*)} tant un systme
ferm, on a, en vertu de ( 10),
V
Hm / ( 0 - 2 I t/, ?M] M(0 - o,
d'o rsulte (9).

00
B. THORME II b. Si 2 I a v| 2 < oo, afo/\s il existe une fonction

#(*) rgulire dans Oh telle que :
L v=i v=i J
(v)
2 v=J*(^, 9 )
[Bergmann, 14; Hammerstein, 1],

e
Dmonstration. Nous poserons #(*) = 2 <*v?(v,(*)- L'existence

v=i
et la rgularit de g dans chaque (^0h rsulte de
(>3) [ 2 1 v , w 1 ] g 2 1 ^ 121 (*) 1 ^ [ R ^ , ^ 2 1 * | 2 -

L V
Lv=/i J v=zn v=i ' / J v =/i
Pour dmontrer le i il suffit de montrer que
Hm J<J 2 av ? (v) > 2 a v < ? t V ) =

'
n-\-p
La suite # 1 / , ( ^ ) = 2 ^ 9 ^ ( ^ /> = I > 2 > de

fonctions holo-
V=3/l
morphes converge uniformment dans tout # , WÔh vers
"/i(i)=2 a v< ( v , (*)- 0 n a donc

V = /l
M<?, <?*) = UmJ9(gnp, gnp)^ Mmi(A(gnp, gn ) = Y | v |

V = /l
00 00
11 en rsulte que J(gn, # i ) ^ 2 l a v l 2 et

2lflvl2 tant conver
gent>
il s'ensuit le i. Le 2 0 rsulte du i car, pour p. fixe et /i->oo, on a
71
av?w)j ni2
|J*[tf, 9 ^ 1 - ^ = J<B ^-2 ^
v=:i JI
n n
< Jd g- 2 a *<p (v, i # - 2 a ^ ( v ) J < B [ < ? H p(^l
/i n
av?(v)
= Jo5
^-2 ' ^~2av?(v) ->o.
Remarque. On dmontre de manire analogue que, si

2 | a v | 2 < o o et 2 | 6 v | 2 < o o , on peut intgrer / 2 a ' ? ( v ) > 2 * V ? V ) )
terme terme.
5. L'existence des systmes ferms. THORME III. Il existe

pour chaque Oh et pour la classe E.(Oh) des fonctions analy-
tiques f(z) de carr sommable dans Oh un systme ferm {ty(y,)(z)}
[Bergmann, 3 ; Welke, 2 ] .
Remarque. Ce thorme est un cas particulier d'un thorme
gnral concernant l'espace de Hilbert. Nous en donnons ici une
dmonstration, dont l'intrt rside surtout dans le systme ferm
construit. Ppur plus de simplicit nous nous limiterons aux
domaines Oh borns.
Dmonstration I. Soit {] = {,, t2} un point fixe intrieur
Oh. Nous dsignons par E^(Oh) l'ensemble des fonctions / de E(Oh)
pour lesquelles on a, les (mn) tant ordonns comme il a t indiqu
au paragraphe 1,
(l4) fmknk=0 pour * < V , /Wvrtv=I,
ofmn d s i g n e - ^ f f j ^ ' - La classe E^(Oh) n'est pas vide, car
elle contient (Zi~ti>mv(z*~~t*'n, . Nous nous posons maintenant le

problme variationnel : dterminer la fonction/ /^ v, (<fc), qui rend
l'intgrale J * ( / , / ) minimum. Soit hp(z), hpE^(0h),p = i, 2, ...
28 STEFAN BERGMANN.
une suite de fonctions pour laquelle lim J^(AA,, hp)=A o

p>oo
(i5) A = borne inf. J<B(/I, h).

h EW(<8)
Du lemme (cf. p. 22) il suit que dans chaque domaine %(Ôh, la

suite est uniformment borne dans son ensemble, elle forme donc
une famille normale dans Oh. On peut trouver une suite partielle hPk telle
que hpk(z) converge uniformment dans tout %(Ôh vers une fonc-
tion g(z) qui satisfait visiblement aux conditions (i4) On a donc,
(16) Jg (g, g) = lim J s (hPki hPk) g lim J^ (hPky hPk) = A,
par consquent 3&(g, # ) ^ A . D'autre part, par dfinition, on a

3<&(g, ")Â, d'o l'on dduit en vertu de (16) que 5&(g>, g)=A.
IL Vour chaque fonction l(z)} leE(Oh), qui satisfait aux condi-

tions
(17) lmknk = 0 (k^)
O
_ d+*l(tA, h)
lmn
" dl?dt% '
on a
(18) J<(#, o = -
En effet g -{- clÊ{v)(0h) pour chaque constante c. Si l'on pose
__5q(g,l)
un calcul immdiat montre quef
J<8 (g -+- ci /, # -t- et l) = A

1^(^01 1
Ja(/,0
Ceci n'est possible, d'aprs la dfinition de A, que si l'quation (18)
est vrifie [Bergmann, 11].
III. Il n'existe qu'une seule solution de notre problme. En effet,

s'il y avait deux solutions g\, et g2, (g\V2) satisferait aux condi-
tions (17) et l'on aurait d'aprs (18)
M t f - i <Ti tfa) H(g, gig2) = o,
d'o il rsulterait 3a(gx g2, gA g2) = o et par suite, d'aprs le

lemme, g\ = g%-
IV. Faisons parcourir v dans ( i 4 ) les valeurs successives i, 2,

3, . . . et dsignons les solutions des problmes d'extremum cor-
respondants par g{v)(z), v = i, 2, Comme d'aprs ( i 4 )
g{k)(z) satisfait aux conditions auxiliaires (17) qui sont poses
pour le problme correspondant v, v < / r , on a, d'aprs II
J<s(#"(v)> g{k)) = i P o u r v < * > c'est--dire les fonctions g[*] (z),
v = i, 2, . . . sont orthogonales. Nous les normons, c'est--dire
nous posons
k) (z) = "j
et nous obtenons un systme orthogonal et norme {^ (v) (*)}? nous
allons montrer qu'il est ferm par rapport E(&).

s
S o i t / E (Oh) elfs)(z) = 2 a
v^ (v, (^)- Nous
allons dterminer les a v
V = l
de telle faon qu'on ait

(19) /AU(0=/i.m(0 (v=i,2, ...,*).
Ceci est possible, car en remplaant dans les quations (19)

s
fmni1) p a r 2 a v ^ " ( 0 ' 01

obtient s quations pour dterminer les a v
V= l
(v = 1, 2, ..., s), le dterminant des coefficients des a v tant diffrent

de zro d'aprs la proprit (i4). D'autre part, si l ' o n a a v = J ( / , ty{y))
les conditions (19) sont satisfaites, car (fs)f) satisfait aux condi-
tions auxiliaires ( 17) et d'aprs II
(
J a [ / w - / > * ] = j J 2 ^ 4 ^ - / 1 + ^ \^ * = I'2' ~"'>
d'o rsulte a * = J ( / , ^ ( A ) )-
a M
Si nous posons q(z) = 2 A (zh cette srie sera
' d,a
Prs le
V = l
thorme II, uniformment convergente dans chaque domaine partiel

g intrieur Oh, g est donc une fonction analytique de *,, z2 dans
30 STEFAN BERGMANN.
Oh et l'on a lim f^(z) = q(z). Gomme pour / > v on a, d'aprs ( i 4 ) ,

+j,(0 = oTil s'ensuit que ?mvn.XO = / m L ( 0 =/m,*v(Oi c'est-
-dire
r dm*+-nvq(zi, Z2) 1 ^ r^m+w'/(*i, * 2 )1
dz^dz^ ^ n. *dz%
J 2 j t =/ t LL dz\
JZk=lk ^-. ]Sk=tk
Cette relation tant vraie pour chaque (m^n^)x c o m m e / e t q sont
des fonctions analytiques dans (B, on y a
0
V = l
c'est--dire que chaque fonction/de E(Oh) est dveloppable suivant

'les tyW(z). Le systme (^ (v) (-s)} est donc ferm.
6. Fonction noyau et fonction minimum. Dans chaque domaine

Oh il y a videmment une infinit de systmes ferms de fonctions
orthogonales, le point [t] utilis dans la construction ci-dessus tant
arbitraire. Mais, le noyau d'un systme {cp(Ar>(^)}, ferm pour E(&),
est indpendant du choix du systme, comme on le voit d'une
remarque, formule plus loin.
THORME IV. Le noyau
(20) 2?,V'(*)^r)
V= l
(v
d'un systme {<p > (z)} fer/n pour la classe E(Oh) est, pour z = t,
gal [ 5 ^ ( 0 ] - 1 \ B ( 0 est Ie minimum de $&(f, f) lorsqu'on
envisage toutes lesf(z)eE(Oh) avec f(t) = 1 [Bergmann, 11].
Dmonstration. En vertu du thorme II, {<pW (z)} tant ferm
pour E(Oh), chaque fonction/envisage est gale 2 v?(v)C^)- En
posant a v = ^ -> on peut reprsenter/ sous la forme

2l? ( v ) ('>! 2
v= i

ao
2t?w(+Av]9<v)(z)
2I? ( V , OI
SUR LES FONCTIONS ORTHOGONALES D'E PLUSIEURS VARIABLES COMPLEXES. 3l
""" oo
Vu quef(t) = i, on a2-A- v cp (vl (0 = o. D'aprs l'galit de Parseval
on a
2 1 <p,v,(o+AVi 2 ' *Mr i a * 2 ' Av |S
v=i V=l V=l
J(/,/) = ,2 ( ___ |2
(v) 2 i ? ( v ) ( 0 112
2i? (oi | 2
Le minimum sera atteint si tous les Av disparaissent. Il existe donc

une fonction unique qui rend J&(/, / ) minimum, savoir :
ce
2^K? M (-s)
<)
V=
2i (vi (oi 4
l
et le minimum X^(j) est gal 21^^(011)
Remarques. I. Les deux grandeurs2 I ? ( v l ( 0 I2 et

(2I) ne
V= l
dpendent pas du systme {cplv) (z)}, mais uniquement du domaine <

et du point auxiliaire { t } . Il en est de mme du noyau (20).
Nous appelons (20) et (21) respectivement FONCTION NOYAU DE Oh
et FONCTION MINIMUM DE. Oh CORRESPONDANT { t } et dsignons dans
la suite par K&(z, t) et M (z, t).
II. On a
(22) K<B(*, 7) = max|MOI2',

h L
o L dsigne l'ensemble des fonctions g, rgulires dans, d3 et telles

que J*(g, g)<:i.
III. Soit i 2 , $2_<& un morceau d'une surface analytique. Dsi-

gnons par f le bord de i 2 , K(z, *) prend son maximum par rap-
port J2 dans un point de ff, c'est--dire pour chaque {t} J2 on a
K^(^,)^ { ^ x t l K^(,>
32 STEFAN /BERGMANN.
En effet pour chaque { t ) la fonction
K * U , t)
h(z, t) =
y/iuU)
satisfait J^(/i, A) = i et | A ( t , r ) | 2 = K < a ( * , t). h(z, t) tant
2
dans i une fonction rgulire de zA, z2, il existe un point {()} f i
tel qu'on ait |A(*, 0 I ^ I M l 0 ) > *) D'aprs la remarque II on a
|A((), ) | a < K ( g ( 0 ) , (0) ) d'o rsulte notre affirmation.
Cette proprit a lieu mme si { 9(v> (z)} n'est pas ferm.
K(e(, 7 ) et M^(-s, ) joueront un rle fondamental pour le dve-
loppement ultrieur de la thorie.
Dans le cas d'une yseule variable et d'un domaine simplement connexe ces
fonctions sont intimement lies la fonction qui reprsente ce domaine sur le
w
cercle. En effet, si = w(z> t), \wz(t, t)\=i, z(h 0= "z Y
2 2
z = t reprsente le domaine J sur le cercle Jt , de telle sorte que { t} cor-
respond au centre du cercle, alors, d'aprs un thorme connu, wz(zy t) rendra
l'intgrale
J = f\fz(z)\*dxdy, z=x + iy,
minimum- si l'on n'envisage que les fonctions analytiques dans $ 2 avec

ft(t) | = i , ft(t) = ' j i car est gale l'aire du domaine dans lequel
$> est transform par f(z) et d'autre part le cercle il 2 est reprsent par une
2
fonction g(Z) (%--t)-*-<z(--t)*-*-..., g()? (--t),sur un domaine dont

l'aire est plus grande que celle de &2. wz(z, t) est donc dans ce cas la fonction
minimum M ^ * , t) et l'aire de &2 est --[Bergmann, 1; Bochner, 1].
KJ82\*> t)
La fonction noyau pour le cercle iH 2 = E( \z \ < r) est
r2
(23) K
*(*')-W(r._,)'
Comme l'existence de la fonction minimum est dmontre sans utilisation
du thorme de Riemann-Poincar, il se pose la question suivante : ne serait-il
pas possible, par ce moyen, de dmontrer de nouveau le thorme de Riemann-
Poincar. Dans ce but il faut montrer que le domaine Ht2 qu'on obtient par la
M$2(z, t) dz d'un domaine B2, simplement connexe,
est un cercle. Mais, ceci n'a t dmontr jusqu' maintenant que dans le cas
o Ht2 est un domaine toile [Bergmann, 10; Schiffer, 1].
En ce qui concerne la fonction noyau pour des domaines doublement

connexes du plan, voir Zarankiewicz [1, 2] et Kufareff [1].
7. Le problme de la formation effective de la fonction noyau.

Jusqu' maintenant on ne connat qu'une seule mthode pour former
effectivement la fonction noyau correspondant un domaine donn Oh,
savoir celle qui est base sur la construction d'un systme de fonc-
tions orthogonales, ferm pour la classe E(<&) des fonctions rgu-
lires de carr sommable dans Oh ( 1 ). Nous allons donc envisager cette
question pour des domaines particuliers.
Le systme (2) est ferm pour un domaine cercl de Reinhardt
comme nous allons le montrer.
Gomme il rsulte de la formule de Cauchy, toute fonction rgulire
dans un bicylindre y est dveloppante en une srie de puissances
uniformment convergente. Chaque domaine cercl et convexe C de
Reinhardt peut tre reprsent comme la runion d'une infinit de
bicylindres S/, dont les centres sont l'origine. Si / est rgulire
dans , elle est rgulire dans chaque bicylindre Sk et y est repr-
sentable sous la forme 2 a m / i * r * 2 - Comme
%
mnm \z?z$\
| A*niA~n I _^ = o '
z
les a\ntl sonl indpendants de k. D o n c / e s t reprsentable dans C sous

la forme 2?amnz"lz2 Comme d'aprs (3) le systme (2) est form
de fonctions orthogonales dans chaque (2, donc (2) constitue un

systme de fonctions orthogonales ferm pour E(C). Les fonctions
noyaux pour S, Cp et 9t sont donnes par (4), (5) resp. ( 5 a ) .
Soit C = E I z-i i < R( 5 )> s
= ~ un
domaine cercl. Le systme
de polynmes homognes Vmn(zA,z2) (introduit la page 20) ortho-
gonaux dans 3C est ferm pour E(C).
Dmonstration. Chaque fonction g(zx, z2) =zg(sz2, z2) rgu-
( 1 ) Remarquons encore qu'il y a aussi d'autres mthodes, comme celle indique

au paragraphe 5 pour montrer l'existence d'un systme ferm pour E(<&) de fonc-
tions orthogonales [p. e. Bergmann, 3]. Mais ce sont des dmonstrations d'existence
qui ne donnent aucune possibilit de construire effectivement le systme.
MEMORIAL DBS SC. MATH. N* 106. 3
34 STEFAN BERGMANN.
lire dans le voisinage du point zA=:z2 = o peut tre reprsente

dans le voisinage de ce point (c'est--dire si z2 est suffisamment
petit, s quelconque) sous la forme d'une srie,
(24) g(sz2, z2) = g(o, o)-*-zi[goi + sgio]-hzn ^#02-4- sgu -H - J2g** -+-...,'
o
Y+"g(zx,zi)~\
#^-1 zmzn }zi=z2%__
Si l'on crit alors les fonctions fmvnv indiques au paragraphe 5, on

peut les mettre dans | z% \ <C R ( s ) sous la forme
z*+n*qQ(s) + z^n*+1qi(s)-h. ..,
o la condition ( i 4 ) n'impose aucune restriction aux q^s), />I.

D'aprs un thorme de Tonneli sur les intgrales multiples de
Lebesgue, on a
J
Jc(/^v^v, //wv/iv)= / I Zifnivnv(sZ9, Zo) !9 dtZl do),
= I dls II \Ztfm^(SZt,Zt)\*dtz%
d(Zi = dx dyt, duys = du dv (s = u -+ iv).
Comme les q^(s), /JL = 1, 2, . . . ne sont assujettis aucune restric-

tion, le minimum de l'intgrale sera atteint, si l'on choisit pour J * > I
qxk(s) = o. q0(s) est un polynme de degr (m v -r-7iv) d'o suit que*
les/ m v / 7 , sont des polynmes homognes en Z\, z2 de degr ( m v + ru*).
Or on peut exprimer linairement tous les ( m v 4- AIV -4- 1 ) polynmes
fm*n*(z** z%) ^ e degr (m v + 7iv) par les polynmes P n m ( ^ , *a)
n + m = n v + m v . Chaque fonction ^ (v) (*t> ^ ) [ c / p. 20] est donc
une combinaison linaire d'un nombre fini de Vmn. Comme {4*(v) !
est ferm pour J?(0C), il en est de mme pour { P m n } .
D'une faon analogue on dmontre que si 'S est un domaine semi-
cercl, S = E[| z2 j < R(zA ) ] , il y a des systmes de fonctions ortho-
gonales Q m n ( * i , z2) ferms pour E("S) de la forme
Qmn(Zi, Zt) a *?fmn(*i)-
Remarque I. Un rle important est jou dans la suite par les

fonctions minima f(z) satisfaisant aux conditions
2- / ( 0 = o, / w ( 0 = i, / . i ( 0 = ;
(25) {S. / ( 0 = o, / . . ( 0 = o, /oi(0 =
j/-(0-[ ^ ^ ]n=j.
o { J est un point fixe, intrieur Oh.
Nous les dsignerons parMJ^s, t), M%l0(z, t),MÂ(z, t). La pre-
mire et la troisime sont les solutions des problmes de minimum
considrs par nous lorsqu'on pose dans (i4) v = i resp. v = 3. Dans
le cas d'un domaine cercl #C, on obtient ainsi
(26) Mkto 0 = 1, M ( * , O = ( * , - /,).
Une considration analogue donne
(27) M(3, 0 = ( * i - ' i )
[Bergmann, 5; Welke, 1].

Remarque II. Pour les fonctions introduites dans la remarque I,
on obtient dans le cas d'un domaine semi-cercl "S
(28) M*,(*,*) = * l ( * i - * l ) , M Q = * , ( * ! - * ! ) , M^r*^,-*.)*!^!--*!),
o gk(t) sont des fonctions d'une variable complexe convenable-

ment normes [Welke, 1 ] .
Passons maintenant au cas d'un domaine Oh simplement connexe
quelconque. En orthogonalisant les fonctions zz\, (m, n) = 1 , 2 , . . .
l'aide du procd de Schmidt, on peut construire pour chaque
domaine Oh un systme de polynmes orthogonaux P<v) (z), v = 1,2,....
Il se pose la question de savoir pour quels domaines simplement
connexes ce systme est ferm pour E(dh).
Si l'on se borne dans cette direction la classe E*(Oh) des fonctions
regulier.es dans le domaine ferm <S, alors on a le thorme suivant
que nous donnons ici sans dmonstration.
THORME V. On a pour chaque fonction f(zA,z*) rgulire

36 STEFAN BERGMANN.
dans le domaine dh
00
(29) /(*i,*0 = 2avP,v,<,,';,l)' oA av=J

<BE/. p|v)
]. M * <B,
v=i
si le domaine Oh satisfait aux conditions suivantes :
Il existe un domaine toile Si conte fiant-Oh. Soit tt1 un chemin
continu reliant les points t{{) et (,J) du plan complexe. Il existe
deux fonctions
(30) Wi=)?i(î, Z2, t), Wy=pt(Zt, Z2j t)
avec les proprits suivantes :
1. Pour chaque t fixe dans un voisinage l U 2 d e U ) 1 , ^ etp2 sont

des fonctions rgulires de zA et z2 dans 15 ; pour chaque zA, z2
fixe de J0i, pA et p2 sont des fonctions rgulires de t dans 1U ;
enfin pA et p2 sont continues en Jonction de zA, z2 et t.
2. Le point w/,=pk(zA,z2,t), /t = i, 2 se trouve dans Oh pour

tous t de tfl1 et zA, z2 de Oh.
3. pk[zA, z2, t^)] = zh k= 1, 2.
4. Il y a un R tel que i V hyper sphre \ zA | 2 -\- \ z2 \2 <C R2 est

comprise l'intrieur de Oh et 2 0 il existe un point *0) = (3>(R)
sur W1, 3) y tW tel qu'on ait pour tous les points zA, z2 de Oh et
les points t compris entre (3> et t{2) sur tu1,
\pv(zu zt, 0 l2-+" I M*u z*, 0 l2^ Rs>
[Hammerstein, 1 ] .
En partant de la thorie des domaines avec une surface frontire
remarquable, Mme Aravijskaja [ 1 ] a donn une mthode diffrente
pour construire des systmes de fonctions orthogonales, ferms
pour E*(0h). La mthode n'est applicable qu' une catgorie assez
restreinte de domaines mais qui ne sont pas ncessairement simple-
ment connexes.
( 1 ) Chaque domaine toile satisfait aux conditions indiques dans le thorme V.

On peut prendre ^ = ^ ^ = 1 , 2 , 0 ^ ^ 1 .
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 3j
8. Systmes particuliers de fonctions orthogonales complexes et

leurs applications. Remarquons que pour diffrentes applications
il est utile d'introduire diffrents systmes de fonctions orthogonales,
mais on a peu trait cette question.
Dans le chapitre prcdent nous avons introduit des domaines
possdant une surface frontire remarquable qui, comme nous l'avons
indiqu, joue du point de vue de la thorie des fonctions, un rle
analogue la courbe frontire dans le cas des fonctions d'une
variable.
11 convient de considrer des systmes de fonctions qui sont ortho-
gonales par rapport une surface frontire remarquable ( i 2 ) d'un tel
domaine.
En rapport avec ces questions on n'a considr jusqu' prsent que
des classes trs spciales de surfaces i 2 savoir celles qu'on repr-
sente sous la forme
( | * i | = R(<p, 40, ? = arcî (o<;cpg2Jc);
( ss=e'* (o^g27u),
R(cp, 40i R(<p? 4 , ) ^ c > tant une fonction priodique en cp et ^>

des priodes 27:, satisfaisant la condition de Lipschitz
| R(> j,) - R( ', f ) | g A, | - ' | -+- A.| ,|i - 4/ |.
Bien que les rsultats formuls ici puissent tre tendus aux cas o
i 2 est d'une forme beaucoup plus gnrale que (3i), nous supposons
toujours dans ce paragraphe que P possde la forme indique.
Soit 3l un domaine avec une surface remarquable i 2 . Nous dirons
qu'un systme de fonctions 0 ^ ( ^ , z2), v = i , 2, . . . , rgulires
dans 3Tt, diffrentiables dans 0Tl + i a , est un systme de fonctions
orthogonales par rapport a i 2 , si l'on a
L ^ (-Si, , 5 9 ) 0 ^ ) ( ^ 1 , ^j)fifo = 8Vjlj 8VV=I, 5yyL= o ( v 7^ H1)*
do = dy dy.
Comme dans la dmonstration du thorme I, nous montrons

co
que ^ V | f t ( v ) ( ^ , 2 ) | 2 < o pour chaque { ^ , 5 2 } 3TI. Dans ce but

3$ 'STfffAN BERGMANN.
n iitfU>e <|*e pour ** {^J, ^ } 3& il existe une constante

(s1?, z\) > o dpendant seulement de { JSJ, *J | et 3R, et telle qtfe
pawr cfc*qiie / rgulire dans m cm ait :
JTj/(^, *)ifa(Ji, *j)i/(*t, **)<.
La plupart des thormes dmontrs dans ce chapitre pour les

y<v)t(zA} z2) valables aussi pour un systme de S ( v (s f , z2). Spcia-
lement on dmontre que chaque/, rgulire dans 3t, avec
|/i*foO,
peut tre reprsente dans DR sous la forme
(32) /(*!, J) = 2 V > ( J 8 1 ' **)][/QWd0>

V = l *
(V)(-Si, ^J),V = I, 2, . . . tant un systme ferm [Bergmann, 8 ] .

Le fait que les intgrales qui figurent comme coefficients dans (82)
ne dpendent que des valeurs de / sur S2 prsente une certaine
importance pour quelques problmes. En particulier, il sert pour
dmontrer le thorme suivant :
Soit Syune surface quelconque de lu forme (3i), situe tout;

entire l'intrieur <cPun domaine & et soit f(zA, z?) une fonction
rgulire dans <& avec J<s(/, / ) < t x > . Si y est une valeur lacu-
waire de f dans <S et si \f\ <M sur S2, on a alors entre y et M
Vingalit
lYl^t+v/l'P + SH-lll] pour S > o ,
pour s = = o ;
li^Jirr
o
l = Bi/^-4- B 2 /, 2 -4- B 3 M, H = | B ^ |*+- | B 5 / ^ H - B 6 / , 3 |,
fzk=
\l)Zl=Zi=o'
Bk(k = i,2,'. . . ,G)etSne dpendant que de Oh et P [Bergmann, 8]
On utilise aussi ces fonctions dans la thorie de certaines qua-

SUR LES FONCTIONS ORTHOGONALE M PMTliBURS VARIABLES COMPLEXES. &9
tions intgrales, dans le domaine de variables complexes [Berg-

mann, 1 8 ] .
Je voudrais encore indique que l'on peut, en* utilisant k thorie
de fonctions orthogonales relles, donner des indications sur le
comportement du dveloppement (32) sur la surface frontire remar-
quable. On n*a fait jusqu'ici aucune recherche dans cette direction.
Je vais donc me borner indiquer quelques rsultats que l'on obtient
immdiatement en partant de thormes connus.
1. Il est toujours possible de ranger un systme Qi v >(* f . * 2 ) ,

v = i,2> . . . y de telle faon que, pour la suite nouvelle &Vm)(zA7 z2),
m = i, 2, . . ., chaque dveloppement
âvmtFm\zu s*), (2 | a v | 2 < a

m=t \v =i
converge dans Oh et l'expression
]
2. Pourpresque
converge chaquepartout
systmesurQP
i 2 .(zitz2)r il existe une suite partielle
kmr m = t, 2, . . . , telle que
2 2a*<v>(*i, *)
/=i v=*m_1+l
converge dans Oh et presque partout sur i 2 .
3. Si
lag2v,. je fafy) do <oc,
alors (3a) converge presque partout sur i 2 .

On obtient 1, en partant d'un thorme de Menchoff('); 2^ d*un
(1) Smr la sont ma4i*n de sries dm fimetions ort&ogejtales par tes: mthodes
linaires (en russe) {Bull. Ac. Se. U. R S, S., 19 p.- 208-229,).
40 STEFAN BERGMANN.
thorme de Marcinkiewicz (*), et 3, d'un thorme de Menchoff( 2 ).

Quant aux autres catgories de fonctions orthogonales mention-
nons les systmes de fonctions doublement orthogonales, c'est--dire
orthogonales par rapport deux domaines diffrents. On a dans ce
cas
J<s[?(v), <?W] = o et Jg[?(V), <pW] = o (V^JJL).
L'introduction de telles fonctions est utile dans l'tude d'une fonction,

donne par sa srie de Taylor [Bergmann, 3 ] .
Il s'avre utile d'introduire aussi des systmes biorthogonaux ( 3 ).
M. Aronszajn [1, 2] les a utiliss pour obtenir des invariants par
rapport aux transformations pseudo-conformes.
III. SUR QUELQUES PROBLMES DE MINIMUM.
i . La mthode des problmes de minimum. Dj dans le

chapitre prcdent nous avons vu que la considration de certains
problmes variationnels est un procd analytique important pour
l'tude de plusieurs problmes (dmonstration de la convergence du
noyau, de l'existence d'un systme ferm). Il se montre que l'tablis-
sement d'une connexion entre des problmes varationnels d'un type
particulier et certains problmes de la thorie de la reprsentation
pseudo-conforme, est trs utile pour un grand nombre de questions.
En effet, certaines grandeurs qui jouent un grand rle dans la carac-
trisation d'un domaine, sont en mme temps des extrma de J&(/, / )
lorsqu'on envisage les fonctions feE(oh) qui satisfont en un
point {Jd3 certaines conditions auxiliaires. Nous avons dj
appliqu ce procd au 6 du Chapitre II o nous avons dmontr
que la quantit [ K ( i l 7 ) ] ~ l est gale au minimum ^(t). Cette
mthode nous permettra de donner des limitations pour les diff-
rentes grandeurs tudies (cf. Chap. IV). Pour dmontrer que ces
( 1 ) Sur la convergence des sries orthogonales {Studia Mathematica, 6, 1936,

p. 39-45.
( 2 ) Sur les fonctions orthogonales (Fundamenta mathematic, 4, 1923, p. 82-
io5).
( 3 ) Deux suites-{ <pCv)} et { <|/v) } sont appeles biorthogonales et normes si
J * ( 9 M i * ( l ) = V 8w = i, 8 ^ = 0, v * |t.
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 4>
grandeurs sont gales aux valeurs minima X de J<(/,/)? le plus simple

est d?exprimer ces dernires minima l'aide de la fonction noyau,
de la fonction minima et de leurs drivs respectivement au moyen
d'un systme { yW(x) } ferm pour E(Oh)>
2. Les problmes de minimum [Bergmann, 4 , 1 1 , 1 8 ] . Nous allons

introduire des symboles pour quelques matrices. Soita^,/? = 1,2,....
q = 1, 2,..., n un systme de nombres complexes tel que V | a v | 2 <>

v=i
pour gr = 1, 2, . . ., n. Soient d'autre part X , , . . ., X n des nombres
complexes. Nous employons les symboles suivants pour = 1,
2, . . . , n :
'Laivaiv S a t v a2 V ... 2iva*v\

a
iasv^lv 2 <*2V 2V S 0C2v a/5"V
^2a/fc v aiv Sa^va2v

/S l v (p(v)(^)\
\s^v?(v)(^)/
Le symbole [D]* dsigne la matrice [D]* sans la sime colonne.

[ [ D ] j est donc une matrice de k lignes et (k 1) colonnes].
Nous allons chercher maintenant la fonction /<") (z) E(Oh) satis-
faisant la condition
(2) A 2 v a ? v = X? ( ? = i , 2, . . . , n); A v = J [ / i , M]
qui rend l'intgrale 5<s(f,f) minimum. D'aprs l'galit de Parseval

on a
W > / ) = s l A vl 2 -
( l ) La premire et la troisime de ces matrices sont des matrices une colonne

tandis que la seconde reprsente une matrice n lignes et n colonnes.
Elles sont crites pour un cas spcial d'une faon plus dveloppe la page 45 for-
mule (9).
2 dsignera partout dans ce chapitre \
4t2 STOFAN 8RGM4LNH.
D'aprs 4 du Chapitre H, pour chaque suite A^ avec 21 Av | 2 < oo,

i existe une fonction Av<pM(,, ^2); par consquent, notre pro-
blme se rduit dterminer le minimum de la forme hermitiqne 2 Av Av
sous la condition (2). Pour obtenir les valeurs de Av rendant 2AVAV
minimum, nous diffirentions l'expression
JÂVAV JM ^ * ( 2 A v a 5 V ~ " X V " ~ F J ( Zj A J g jy x * )
par rapport Av, v = 1, 2, . . . et mous obtenons

n
Av=2* J L - , a * v ( v = I > 2> )

Sz=i
En remplaant dans (2) les Av par les expressions obtenues et en

changeant l'ordre de la sommation nous avons
on obtient (pour les dtails c/. Bergmann, 4, 11 p. 94, 18) les

rsultats suivants :
I. La fonction minimale f(n)(z) cherche est (*;
I o [K^K*)]'11 I
(3) ^ ^ . ^ - ^ i l ^ ^ L ^ ^ . - Iw |[p[Di- 1
;
~JL |[D]*J r ' l[D]*->| Jl> l[D]*-*l J
( 1 ) Remarquons qu'on obtient pour fnHz) l a troisime expression de (3) si Ton

considre la deuxime expression coranwe ne forme bilinaire de variables X
eta v 9^(-8), q = r, 2,... AI et si on lui applique la transformation de Jacobi.
SUR LES FONCTION? ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 43
n
o [777]" resp. [. . .]' dsigne la matrice conjugue resp. transpose
de [ . . . ] n . La valeur minimum s'crit
(4) J^[/^/ ( w ) ]' = 2 A v A v = 2 ^

q=.t qz=l q= l
- 0 x l[Xln [Dl"
-2/ . jDi-r -
7 = l
V |[D]Î __TU+1 |[*]*M

"2 |[D]*| (-0- |[D]*-i|
Comparer les exemples plus loin o les formules sont crites de faon
plus dveloppe.
II. Il n'existe qu'une seule fonction minimale. Supposons en effet

qu'il existe encore une autre solution ZG v <p (v) ;'on aurait alors
d'aprs 2 et (2 a )
SAv(Cv "v) = (C v Sv)l ]j?7Vv U ^ ^ ^ v - v j ^ v .

\q=\ J q=z\
Gomme 2 G v a g v = 2 v a 9 v = X g , on a
S(CVAv)a7V= o ( = 1 , 2, . . n)
d'o il rsulte que 2Av(C v A v ) = o et par consquent que
S | Cv | s = 2 | Av |*-f- | Cv Av i2H- 2Re[SA v (Gv-Av )] > 2 | A^v |",
moins que tous les (C v v ) ne soient nuls.

Nous supposerons dans la suite que les ^ sont de la forme
( 1 ) Les (m^pu) sont les systmes des doubles indices ordonns suivant la conven
tion du 2, Chap. IL , ,
Dans certain problmes nous admettrons que es w sont prises pour des points
diffrents {t x (l \ tfl)},..., { t x l \ A/* }. Cf. paf exemple foaIeprtblai dftoteTpefcifTon.
44 STEFAN BERGMANN.
Alors la condition A devient

/
(5) AU) 2 ^ ^ - ^ ^ = ^ (* = ! , . . . , / ! )
JmpK*) tft'i
THORME IV. Soit \t\G.<%,(^_Oh. Soient Xg resp. \& les

minima de l'intgrale Jg(A, h) resp. ioh (A, h) avec les mmes
conditions (5). On a Vingalit
() A^X<B
[Bergmann, H ] .
Dmonstration. Dsignons les fonctions minima correspon-

dantes par f(z, t) resp. fa(z, t). f$(z, t) et / < B ( * , t) satisfaisant
aux mmes conditions ( 5 ) , on obtient
^=^1/^(^0^^^/1/^(^01^^^^1/^(^01^^=.
Gomme les X forment en mme temps les grandeurs caractristiques

pour le domaine considr par exemple i =Ka(t, t) , ce
thorme rend dans beaucoup de questions des services analogues

ceux que rend le lemme de Schwarz dans le cas des reprsentations
conformes. [Cf. le fascicule suivant.]
3. Exemples. Nous allons donner maintenant quelques exemples de

problmes varationnels qui seront importants dans la suite :
1. Si les conditions auxiliaires ont la forme
(7) AU) / ( O = X00, /io(0 = X10, . . . , ^,(0==3^,
ce qui revient
(8)A ^=^,^(0, X^X/n^ Pour jx = 1, 2, ..., x,
nous dsignerons dans ce qui suit la fonction minimale par M^0'"*"1*"* (z, t)
et le minimum correspondant par Xj00,*,Xmj,,l*(0.
Pour abrger nous poserons

K s K t ( l i ? h\ 1, h),
. __ *n+"+P+<! Kg(tu h \ 7i, h) P+9Kg(zu Z~ti,h)
Kmnpq Koop? (z, t) =
t? t% tP St\ tPA di%
XloXol
Nous obtenons alors pour M^ (s, t) et (grandeurs dont Xx3ooXloX1(0
nous aurons ultrieurement besoin plusieurs reprises) les formules
o K(*,) Koo(*r, 7) K00U, 7)
Xoo K Koo Koo
Xio Kio Kio Kto
Xoi KQI Koi KQI
(9) MXX"X"(*, O = -
K Koo Koi
-oooi
K 10 Kio K 10
Koi Koi Ko:
Xoo K K (z't) K
Xio Kiooo K Q Q I 5 ( ^ , t) Kn
X 0 OK(S, t)
K Kooio
Kio Kio"
Xoo K Kooio K (z,l) K Kio
Xio Kioo Kio K o o \ z , t) Koo Kio
XQI Koioo Kono Koov^j t) Kpi KQI

K Koo Koo
KOOIO
Kio Kio Kio
KIO
Koi Koi Koi
^X 00 X 10 X 0 i / ,\
(10)
Xoo K Koo
Xoo K Xio KJO Kio
Xio Kio X.t Koi Koi

'K1 K Kiooo K Kooio Koooi
K K Kooio
Kooio Kioio Kio Kio Kio
Kjo Kio
Koi Kono KQIOI
Remarquons que les grandeurs ) ^ ( 0 et ^Xi0(t) s'obtiennent de la fox-

mule (io) en ngligeant dans le premier cas les deux derniers termes du
membre droit de (io) et dans le second cas en ngligeant le dernier terme.
2. Considrons maintenant les conditions auxiliaires :
( n ) AW / ( 0 = > MI/IO(0 + "2/oi(0 = i>
o Ui et Ui sont deux constantes complexes arbitraires. A ces conditions
46 STEFAN BERGMANN.
correspondent les conditions A avec

| /1 = 2 , a l v = cp(v) (t), a2v= ul9\^(t) + l f t ( t ) = I,
(12)
X i = o, Xj = i
Nous n'crirons pas explicitement la formule pour la fonction minimale

dont nous n'aurons pas besoin dans la suite. Pour le minimum que nous dsi
gnous par ^ ( 0 nous obtenons
K
(i3) Xg(0 = -
K U\ Kooio -+- M^KOOOI
M1K1000-H &2K0100 n(u} M) " / j *1mn^m

mnUu
mnUn
/tt,fl = l
_s = ^ l o g K ( ^ , t%iu9 F)
A /71/1 =
H ( M , u) == | i |2KioH- ^KioTH- W2ttiK0iH- I M2 rKoi.

Nous allons encore traiter l'aide de notre m t h o d e deux autres
problmes qui n'interviennent pas dans nos considrations ultrieures,
mais prsentent nanmoins u n certain intrt. Il est d'ailleurs possible
d'tablir u n e connexion entre ces questions e t nos considrations
ultrieures.
4. Problme d'interpolation [Bergmann, 18; Minjatoff, 2]. Soit
trouver la fonction minimale/(s) E(Oh) prenant les valeurs X,,,q = 1, 2,..., /1,
aux points { tW } G Oh. Les conditions supplmentaires sont maintenant
AU) :f(tW) = X 7 , c'est--dire A avec agv = <f(vK*(?0, = 1, 2, . . . , n.
Posons x^p = Ka(tW, *(p)),
[X]* =
[K]*= K(^,W)
AK(*,*).
alors la fonction minimale /W(z) et la valeur minimum X s'criront
(14) /n,(^)=2Gv*(v)^)j x =
2 Gv
v=i v=i
(i5) . ^-^-^ itrfJ^lltrf]*!'

+w (,) = (-,)*Jli<^Ml,
V^PFMTRF
[d]^ signifie que dans la matrice [d]k ou a supprim la dernire colonne,
et [?] signifie la matrice conjugue de [?]J.
Par exemple, on a
P Xi
V/K ((1),7(0)
...., x K(*, 7(D)
V/K((D, 7(D)
Xt K( m, 7(D)
C, = -
x2 K( *(), 7(D)
(16)
K((1),7(0) K((1), 7w)
vA" ((1), (1))
K(JB,
K(0), 7(D) K((2), (2))
(1)) K ( ^ D , 7(D)
K ( * , 7W) K((1), 7(2))
tyW(z)=-
K( (1), 7(D) K ( (1), 7(2))
s/ K( (1), 7(D)
A.
K( (2), 7u)) K( (2), 7(2))
tyW(z) est une combinaison linaire "V[f ^ ( ^ , 7(^)), o les a ^ ne dpendent
pas de z. Pour v < k on a
(17) J[K(*,?v)), +((*, ^ i ) ]

xi7 XiT JtiA-i
x2v" X9 X2P
V/'|[^-Mi[^
X/fclV *H X*lA-l
car, d'aprs la dfinition de la fonction-noyau et la remarque du para-

graphe 4, Chapitre II, on a
J<B[K(S, <M), K ( S , 7 < P > ) ] = f K ( * , M ) K ( , *lp))rfto, = K(*<P, 7(v)) = Xpv.
II- en rsulte que pour v < k% J<6[^v>, Vk>] = o; le systme { $(*)(*)} e ^ rfo/ic
orthogonal. Par un calcul simple, on constate que ce systme est aussi
norme. Comme pour jx<v, < p ) ( ^ ) ) = o, (i4) reprsente simultanment
une formule d'interpolation et un dveloppement suivant les fonctions
orthogonales ^)(z). Les Cv sont en mme temps les coefficients deFourier
par rapport au systme {tyW( z )}.
Ce rsultat et tes thormes sur les fonctions orthogonales nous permettent
d oprer le passage n = oo. X tant la valeur minima, la [condition^nces-
saire et suffisante pour l'existence d'unf(z) E(G) avec f(tW) = Xa,
48 STEFAN BERGMANN.
q = i, 2, . . . est videmment
ce
(18) 2!cvis<-
V= l
Si cette condition est ralise, la fonction cherche sera donn par

00
V = l
On peut d'ailleurs montrer que la condition ncessaire et suffisante pour

l'unicit de la solution du problme d'interpolation envisag est que S^(v)(^)j
soit ferm par rapport aux fonctions de la classe E(0h). [Minjatoff, 2.]
Remarquons que par des mthodes analogues, on peut aussi traiter des
problmes d'interpolation, o les valeurs de la fonction ne sont pas donnes
en des points isols, mais sur un ensemble dnombrable de surfaces. [Berg-
mann, 18.]
5. Application la thorie des fonctions entires ou mro-

morphes. Nous allons envisager maintenant un problme de la
thorie des fonctions entires qui peut aussi tre trait l'aide des
mthodes employes plus haut.
On dit que / * est une fonction-zro de / dans un domaine Oh
si / * s'annule au moins dans un point de Oh et si ^ est rgulire dans Oh.
Supposons donne une suite {/ (v) |, v = i, a, ... de fonctions rgu-
lires dans Oh, pour lesquelles on a / (log | / ( v , | ) du <oo. Soit Ohm,
m = i, a, . . . une suite de domaines, hmCZOh,n+\. et telle que
Oh = Oh, 4- (<#2 <B4 )-+-..., et supposons que les /(v> et <ftv soient telles
q u e / f v ) s'annule au moins une fois dans (0hv d3v*.f), mais ne s'an-
nule pas dans 0hv_Â. Le problme est de savoir s'il existe une fonc-
t i o n / a v e c / (log | / | ) 2 d w < oo, pour laquelle toutes les fonctions/ (v )
soient des fonctions-zro dans Oh ( 1 ) . A l'aide de la thorie des fonc-
( 1 ) Si l'on n'exige pas que / (log | \)2 du> < oo, on voit facilement qu'on peut
<v)
trouver pour toute suite / , v = i , 2, . / . une telle fonction / ds que <Sb admet
la proprit suivante : Il existe une suite de domaines
<&mi SwC^TO+ ^ = ^ - + - ( , *!) H-...,
tels que pour chaque <bm il existe un systme de fonctions orthogonales
biharmoniques dans (B qui est ferm pour la classe des fonctions biharmoniques
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 4g
tions orthogonales, on peut montrer qu'il existe pour chaque

domaine Ohm (ou <fc) une fonction y (*) | o u x&(z)] quivalente ( 1 )
*fv)(z) dans ^m [ou Oh] ayant la proprit suivante : chaque fonc-
tion g(z) rgulire dans Oh, ne s'annulant pas dans Ohm [ou <&] et telle
q U e
X ( I o g l ^ l ) 2 r f w < 0 0 [ou A10?!;?!)2 rfw<ll satisfait
log (
X U i|- lo ^l rfa) = [ ou X IOg l X ^ 1-^1^1^ = 0 ]
Nous dirons que y^ Tou y^ "1 est une FONCTION-ZRO ORTHOGO-
WALTSE PAR RAPPORT A Ohm [ou Oh] (').
Oit dmontre que y^ (z) a la proprit extrmale suivante : Si h(z)
est quivalent y} (z) dans Ohm, alors
m
(,9)
f^Mi!L\y*>sfmfr8\kwd..
On a un rsultat analogue pour X#(*)- n a
ê thorme suivant
que nous communiquons ici sans dmonstration.
THORME Vil. Pour qu'il existe f(z) rgulire dans Oh avec
2
I (log|/|) rfw <; 00 possdant les fonctions f^(z), v = i, 2. . . .
comme fonctions-zro, il est ncessaire que
1 m i-p
[ Ipg TTtf ^ w <^

I V=l | J
et suffisant que m
I 11*
[ log T T yllM rfw < x> [Bergmann, 16].
I" | J '*
Remarquons que la seule diffrence entre la condition ncessaire
daris SJ. On appelle fonction biharmonique dans un domaine $ la partie relle

d'une fonction g(z z%) analytique, dans g.
( 1 ) Deux fonctions f(z) et g(z) rgulires dans sont dites quivalentes dans
(par rapport la division) si ^ \ et 7 sont rgulires dans .
g(z) f{z)
( 2 ) Dans le travail [Bergmann, 16] on emploie le terme norme au heu de
orthogonalise .
MMORIAL DBS SC. MATH. N 106. 4
5o STEFAN BERGMANN.
et la condition suffisante st que x l v ) (^) s o n t orthogonalises dans un

cas par rapport Oh, dans l'autre cas par rapport Ohm.
L'introduction des fonctions-zro orthogonalises permet de plus,
de donner des limitations pour des fonctions / mromorphes dans Oh
avec / (logj/|) 2 rfo) = F < oo qui possdent des fonctions-zro et
des fonctions-ple ( 3 ) donnes, limitations ne dpendant que de'F,
des fonctions-zro et des fonctions-ple. Rappelons qu'une fonc-
t i o n / s o i t dite mromorphe dans Oh, si dans un voisinage de chaque
point de Oh on peut reprsenter/ sous forme~d'un quotient de deux
fonctions rgulires dans ce voisinage.
Deux systmes des fonctions,
/M (v = i , 2 , . . . , 0 et /iv) (v = / + i , . . . , r )
sont appels systme complet de fonctions-zro et de fonctions-ple

r
JI/(v)M
v
~/+1
de / dans (B si /
n/
V = l
est une fonction rgulire dans <8 et n'y
s'annulant pas.
THORME VIII (que nous indiquons sans dmonstration).
Si f(z) est une Jonction mromorphe dans Oh avec
Alg|/|) s rfa) = F<oo
possdant un systme complet des fonctions-zro et fonctions-ple,

donnes par les fonctions orthogonalises ^ ( v , ( ^ ) , v = i, 2, ...., Z
et v = ( Z + 1 ), . . . , r, alors on a pour f(z) dans Oh la limitation
(M) J ff ^] v/ ^S^)g|/^)|^H(^)]^ F:= S^) 5

ol(z) est une fonction ne dpendant que de Oh et
S = f(lo|S|)fo>, S(JO=JS!
n xs?<*>
V=/-hl
[Bergmann, 14].
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXE?. 5l
IV. - LA MTRIQUE INVARIANTE

PAR RAPPORT AUX TRANSFORMATIONS PSEUDO-CONFORMES.
1. Introduction d'une mtrique invariante. D a n s e chapitre,

nous allons dfinir l'aide de la fonction-noyau une mtrique inva-
riante par rapport toute reprsentation pseudo-conforme. A cet
effet dmontrons d'abord le
THORME IX. Dans une reprsentation pseudo-conforme
(0 *l= gk(zi, zt), [zk=hk(z*A,zl)] (A: = 1,2)
d'un domaine Oh sur un domaine Oh*, les fonctions-noyau se trans-
forment de la manire suivante :
V(Zl, Zj)
(2) K&*(z*, zl; z\, z\) = K<a(,si, zt\ ziy zt)\
D(*,*)
[ergmann, 11.]
Dmonstration. La reprsentation tant biunivoque, les dter-
minants fonctionnels
D(z*A, z*2) ( * M D(*i, *i)
G
^^ 2 >=D(^17) (1)
' E (
^'^ ) =
DRÎ)
sont diffrents de o et oo l'intrieur de Oh resp. Oh*.
Par la correspondance
(3) /(*!, * 2 )->/*(*, z%) = / [ A i W , *3), h2(z*A, z*2)] E(*, *J),
la classe E (Oh) de fonctions analytiques de carr sommable dans Oh
devient #(<B*). De plus on * Jafjiifz) = 3* (f, f)-
En particulier, un systme des fonctions orthogonales et nor-
mes 9 ( v ) (^), ferm pour E(Oh), se transforme en un systme des
fonctions et normes dans Oh*
?*(v)(**), ?*<VK**) = <r-(v,[*i(*> *S)> h<*\> ^ ) I E W 3 *)
qui est ferm pour E(Oh*). D'aprs le thorme IV, le noyau du
systme ferm pour E(Oh*) est gal la .fonction-noyau K&*(z*, z*),
nous obtenons la relation (2).
0)
n a PW.r.^y) _ |(fiiL) I*.
D^J,^,,^) I t)(^,^2)
52 STEFAN BERGMANN.
En vertu des quations diffrentielles de Cauchy-Riemann

[c/. ( 1 . 3 ) 0 ) ] , on a
(4) _ = _ o.
Il s'ensuit que les grandeurs
(5) I m - - (i, *., zu *,) 5^3
se transforment par une reprsentation pseudo-conforme comme les

composantes d'un tenseur contrevariant, hermitique, du second
ordre. En effet, d'aprs (2), (4) et (I. 3)
2
2lo K
T(P)__ S <** _ \? ^ 2 l o g K d 3 zp zq = ' y T()^ ^.
"* dzndzZ Z zpzq z*m z*n Z Pq dz*n JS^'
p,q = l P,q = l
D'autre part on a Tmn = Tnmi K.(&(zA, z2\Z\, z2) tant hermitique

par rapport zk et zk, c'est--dire : K.&(z, t) = K<(, 5).
THORME X. La J orme diffrentielle hermitique
2
(6) <fo<B(*i, **) = J ( * i , s s ; 2 i , 2 ) V T ^ ( ^ i , zz; ~z, z{]dzmdzn,

/11,11=1
o J es w/ie grandeur quelconque positive invariante par rapport

aux transformations pseudo-conformes ( 2 ), dfinit une mtrique (3)
(?) (I. 3 ) = Chapitre I, formule (3).

(M Nous introduisons un facteur J indfini parce que, ôur diverses applications,
il nous sera utile de pouvoir le changer. Le plus souvent nous prendrons J = 1 ou
J
~ V (TlTT,-2-]TlT i)
3
( ) La gomtrie donne par la forme diffrentielle (6) est un cas particulier d'une
gomtrie riemannienne donne par une forme diffrentielle
ds* = Xga? dxn dxp a, ? = 1, 2, 7, 2
de quatre variables dx0i = dx^-+ idx\?\ dx- dxa, a = i, -2, dx^\ a = 1, 2,

* = i, 2 tant des variles relles, et ga?=gz^g^=g^ gM- #i = o etc.
(On peut chaque forme diffrentielle de quatre variables relles dx^\ a = i, 2,
Ar = i, 2 crire sous la forme indique.) On obtient dans notre cas pour les ga$
les valeurs :
* = r F = W = ~TF> *\ P = r> 2 "1 2.
Mais dans notre cas il est prfrable d'oprer avec deux variables complexes.
dfinie positive invariante par rapport aux transformations

pseudo-conformes [Bergmann, 11].
Dmonstration., Comme les T ^ se comportent comme les

composantes contrevariantes d'un tenseur du second ordre, la
forme ds%(zA,z2) est invariante. D'autre part, en vertu de (III. 13),
le minimum de l \h\2d< avec les conditions supplmentaires
(III. 12) est
O0 =
L m, =1 J
Il en rsulte, J tant suppos ;> o, que (6) est une forme dfinie
positive.
Il en rsulte en particulier que le dterminant de la forme (6)
K Koo K0o
(7) D-JtlT^T-ITil]*^ Kio K10 K10
KQI Koi Koibl
est positif, ce qu'on peut d'ailleurs aussi dmontrer directement.

(cf. Bergmann 11, p. 5.)
2. Quelques proprits locales de la mtrique G. La gomtrie

invariante dfinie par (6) avec J = i sera brivement appele G (').
La translation parallle dans G est caractrise de la faon suivante :
les symboles de Christoffel sont donns par
Les autres sont soit conjugus de ceux-ci, soit nuls. Pour les compo-
santes du tenseur de la courbure on obtient
R
<9) V = "^[AJ'
(1) En ce o;ui concerne la gomtrie (6) o J 5^ 1; cf. le travail (Bergmann, 12).

54 STEFAN BERGMANN.
Les autres composantes de ce tenseur sont soit conjugues de

celles-ci, soit nulles/
Mentionnons encore le tenseur hermitique (dre Ricci)
R
(,o) RI = 2 Krk=2 "* = ~ *rfer'
Ce tenseur est li l'invariant absolu
(II) J = ^
K = K
D^TiiTn-ITip
par la relation qu'on obtient aisment
Pour les composantes de la torsion on a

(i3) S - = o.
Si l'on prend la formule usuelle pour la courbure riemannienne

d'une mtrique donne par 1glkdxtdxk dans l'lment plan dfini
par les vecteurs { wa }, { e a }, <x = i, 2, i, 2, nous obtenons
^(gnjgik gnkgij)unVlUJVk'
(La sommation tant tendue aux indices 1, 2; 1, 2.) Si { p a } appar-

tient au mme plan analytique que {wa } (c'est--dire si pa = flai
t> = u^), nous obtenons une grandeur qui est dsigne par COURBURE
DANS LA DIRECTION ANALYTIQUE { M a }> * = I, 2
La mthode des problmes de minimum conduit au rsultat sui-

vant :
THORME XI. L'invariant J de la gomtrie G est toujours

positif et la courbure "R dans n*importe quelle direction analy-
tique est < 2 [Bergmann, 11 ; Fuchs, 5 ] .
SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 5 5
L&L dmonstration de la premire affirmation rsulte de l'galit
, K_Xoi(QXoi(0
D [-*(OP
comme on le vrifie en comparant les formules (III. 10) et (7).

Si l'on prend comme condition A(i> dans le problme de varia-
tionnel envisag au 2 du chapitre III
05) /(0=/io(0 =/oi(0 = o, ^/,0(0+2^1^/^(0+^1/00(0 = 1,
c'est--dire si Pon pose dans A
lv== T(v)(0, a 2v = p(v)(0, a 3 v = f>8>J<0,
X - X - X - n X-* / _ "+nf(tu h)
Xi-X2_X3-o, X 4 -*, /mn _ _ _ _ _ _
on obtient pour le minimum
K
' "" K( 2 B)STpHr'
et il en rsulte la seconde affirmation.
3. L'espace primitif. Ainsi nous avons appris connatre

quelques proprits locales del gomtrie G. Il se*pose maintenant
le problme d'examiner globalement la gomtrie considre et d'en
dduire les consquences pour la thorie des transformations pseudo-
conformes.
L'espace riemannien qui est dfini par la mtrique (6) dans une
classe de domaines quivalents (cf. p . 3) sera dsign comme
I'ESPACE PRIMITIF DE LA CLASSE envisage.
Dans le cas des transformations conformes et de domaines simple-
ment connexes, ayant au moins deux points frontires, la fonction
minimale M' (z, t) est la drive de la fonction (norme d'une certaine
<*) La signification de V(t), A01(O, * M 1 < 0 claire par exemple :
X( 0 = ^ ^ ^ ( 0 [cf. (III. 10)] pour X l t = o, X w = o , X01 = x.

56 STEFAN BERGMANN.
faon) qui reprsente le domaine sur le cercle et qui transforme le

point {t ) dans le centre du cercle. La forme diffrentielle -
zz
dfinit la mtrique hyperbolique du cercle d Poincar.

Dans le cas'de domaines doublement connexes, elle reprsente une
mtrique dont la courbure est ngative mais non constante.
Comme on peut reprsenter tout domaine doublement connexe sur
une couronne circulaire a < | z | < i, il suffit d'envisager une telle
couronne. La courbure *(z) ne dpend videmment que de \z\ et
ses valeurs sont distribues comme suit : x(z) dcrot de 2 jusqu'
son minimum pour | | variant de a jusqu' y/a; pour \z\ variant
de \Ja jusqu' 1, x(z) crot jusqu' 2 [Zarankiewicz, 1, 2 ;
Kufareff, 1].
L'introduction de l'espace primitif permet de considrer le pro-
blme des transformations pseudo-conformes d'une faon nouvelle :
chaque domaine Oh d'une classe de domaines quivalents peut tre
obtenu en introduisant les coordonnes zAj z2 correspondant Oh
dans l'espace prinjitif. La reprsentation de Oh sur 6b* signifie dans
celte conception que nous passons dans l'espace primitif des coor-
donnes Z\, z2 des coordonnes nouvelles z*, z\. Cette faon,
d'envisager le problme permet maintenant d'utiliser les rsultats
de la gomtrie diffrentielle dans la thorie des. reprsentations
pseudo-conformes. l i e n rsulte en particulier l'existence de certaines
grandeurs : invariants absolus, (scalaires), invariants intgraux
(densits), tenseurs, etc.j qui se transforment d'une faon bien
dtermine pendant le passage d'un domaine de la classe un autre.
Remarquons 0 pl u s q u e l a thorie des fonctions orthogonales
nous met en mesure de calculer effectivement pour certains domaines
la fonction noyau et par consquent toutes les grandeurs que nous
avons mentionnes.
/ Indiquons enfin qu'en connexion avec certaines considrations
(par exemple celles concernant les domaines minimaux, cf. chap. II,
5 du fascicule suivant) l'tude des transformations pseudo-conformes
W = { ^ ( i , *)} * = I,2, {*!,**}<&

SUR LES FONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 5j
pour lesquelles on a en chaque point de Oh
D(wu wt)
(i7)
D(*i,*)
prsente quelque intrt.

(Les transformations W laissent le volume invariant.)
L'introduction de la fonction noyau permet aussi dans ce cas
d'tablir des mtriques invariantes par rapport aux transformations "W
et diffrentes de G, par exemple' des mtriques qui sont respecti-
vement donnes par
2
(18; dsx=\dKU}) et ds?2= V **f dzmdzn.
Am OZmOZn
/n, n i
INDEX BIBLIOGRAPHIQUE.
ALMER (B.). 1. Sur quelques problmes de la thorie des fonctions analy-

tiques de deux variables complexes (Arkiv for Matematikt Astronomi och
Fysik, t. 17, 1922-1923, p. 1).
ARAYIJSKAJA (E.). 1. Ueber "ein Verfahren zur effektiven Herstellung von
vollstandigen Orthogonalfunktionensystemen zweier komplexer Vernder-
licher (Recueil Math., nouv. sr., 2 (M), 1937, p. 665-672).
ARONSZAJN (N.). 1. Sur les invariants des transformations dans le domaine
de n variables complexes (C. R. Acad. Se, Paris, t. 197, 1933, p. I 5 7 9 - I 5 8 I ) .
2. Sur les invariants des transformations dans le domaine de n variables
4
complexes (C. R. Acad. Sc.t Paris, t. 198, 1934, p. I 4 3 - I 4 ) .
BEHNKE (H.). 1. Ueber analytische Funktionen mehrerer Vernderlichen.
II : Natrliche Grenzen (Abh. a. d. math. Seminar d. Hamburgischen Univ.,
t. 5, 1927, p. 290-^15).
2. Ueber analytische Funktionen mehrerer Vernderlichen. III : Abbil-
dungen der Kreiskrper (Abh. a. d. math. Seminar d. Hamburgischen Univ.,
t. 7, 1930, p. 329-341).
BEHNKE (H.) et THULLEN (P.). (Thorie der Funktionen mehrerer komplexer
yernderlicher, Ergebnisse der Mathemalik und ihrer Grenzgebiete, vo^l. 3 ,
cahier 3, 1934).
BERGMANN (S.). 1. Ueber die Entwicklung der harmonischen Funktionen der
(1) Notons qu'il existe dans cette mtrique des courbes isotropes, c'est- dire des
courbes dont la longueur est gale 0.
58 STEFAN BERGMANN.
Ebene und des Raumes nach Orthogonalfunktionen (J&ath. Ann., t. 86,

1922, p. 237-271). (Thse/Berlin, 1921.)
2. Ueber eine Darstellung der AbbilduDgsfunktion eines Sternbereichea
(Math. ZeiL, t. 29, 1929, p. 481-486).
3. Zwei Stze ber Funktionen von zwei komplexen Vernderlichen
(Math. Ann., t. 100, 1928, p. 399-410).
4. Ueber Hennitesche unendliche Formen, die zu einem Bereich ghoren,
nebst Anwendungen auf Fragen der Abbildung durch Funktionen zweier
komplexen Vernderlichen (Berichte Berliner math. Gesell&chaft, t. 26, 1927,
p. 178-184, et Math. ZeiL, t. 29, 1929, p. 640-677).
5. Ueber jiie Existenz von Reprsentantenbereichen (Math Ann., t. 102,
1929, p. 430-446).
6. Ueber die schlichten Bereiche in der Thorie der Funktionen von zwei
komplexen Vernderlichen (Journ. reine angew. Math., 1.162, 1930, p. 262-270).
7. Ueber die ausgezeichneten Randflchen in der Thorie der1 Funktionen
von zwei komplexen Vernderlichen (Math. Ann., t. 104 I93i, P- 611-636).
8. Ueber den Wertvorrat einer Funktion von zwei komplexen Vernderlichen
(Math. ZeiL, t. 36, 1932, p. 171-183).
9. Ueber die Nullstellen einer Funktion von zwei komplexen Vernder-
lichen (Akad. Welensch. Amsterdam, Proc, t. 35, 1932, p. 1188-1194).
10. Eine Bemerkung ber schlichte Minimalabbildungen (Berichte Berliner
math. Gesellschaft, t. 30, 1932, p. n-i3).
11. Ueber die KerBrunktisn eines; Bereiches und ihr Verhalten am Rande
[Journ. reine angew. Math., t. 169, 1933, p. 1-42, et t. 172, 1934, p. 89-128).
12. Ueber eine in der Thorie der Funktionen von zwei komplexen Vernder-
lichen auftretende unitare Gomtrie (Akd. Wetensch. Amsterdam, Proc.,
t. 36, 1933, p. 3o7-313).
13. Ueber die Veranschaulichung der Kreiskrper und Bereiche mit ausge-
zeichneter Randflche (Jahresber. dtseh. Math. Ver., t. 42, 1933, p. 238-252).
14. Zwei Stze aus dem Ideenkreis des Schwarzschen Lemma bei den
Funktionen von zwei komplexen Vertaderlichen (Math. Ann., t. 109,. 1934,
p. 324-348).
15. Sur quelques proprits des transformations par un couple des lotc-
tons de deux variables complexes (Atti Acca. naz. Lincei, Rend., 6 e sr.,
t. 19, 1934, p. 474-478).
46. SUT les fonctions entires et mromorphes de deux variables complexes.
I : (Compositio Math., t. 3, r936, p. 136-173).
17. Zur Thorie von pseudokonformen Abbildungen (Recueil Math., nouv.
sr., t. 1 (43), 1936, p. 79-96).
| 8 . Zlur Thorie der lnearen Funktional- und Integrageiehuigen im
komplexen Gebiet (Bull. InsL math, et mc. Univers. Tomsk, t. 1, 1935-1987,
p. 242-257}.
19. Ueber einige bsehtzungen bei pseudokonformen Abbildungen (C. R.
Acad. Se. d. VU. R. S. S., t. 16, 1937, p* II-I4>.
20. Ueber eine Abschtzung von meromoiphen Funktionen zweier komplexer
SUR LES PONCTIONS ORTHOGONALES DE PLUSIEURS VARIABLES COMPLEXES. 59
Veranderlicher n Bereehen mit ausgezeichneter Randftache {Trav* d. Vlnst.
math. Tbilissi, t. 1, 1937, p. 187-204).
21. Ueber die Kerafunktion gewisser Reinhardtscher Kreiskorper (Revue
math, de VUnion Interbalkanique, t. 2, 1989. p. 4i-43).
BOCHNER (S.). 1. Ueber orthogonale Systme analytischer Funktionen (Math.
ZeiL, t. 14, 1922, p. 180-207). {Thse, Berlin, 1921.)
CAUATTTODOUY ^C). 1. Ueber das Schwarzsche Lemma bei analytischen
Funktionen von zwei komplexen Vernderlichen (Math. Ann., t. 97, 1927,
p. 76-98).
2. Ueber Gomtrie der analytischen Abbildungen, die durch analytische
Funktionen vermittelt werden (Abh. a. d. math. Seminar d. Hamburgischen
Univ., t. 6, 1928, p. 96-145).
CARLEMAN (F.). 1. Ueber die Approximation analytischer Funktionen durch
lineare Aggregate von vorgegebener Potenzen (Arkiv for MatemaUk, Astro-
nemi soch Fysik, t. 17, 1928, p. 1).
CARTAN (E.). 1. Sur les domaines borns homognes de* l'espace de n variables
complexes {Abh. a. d. math. Seminar d. Hamburgischen Univ., t. 11, 1935-1986.
p. 116-162).
CABTAN (H.). 1. Les fonctions de deux variables complexes et les domaines
cercls de Carathodory (C. R. Acad. Se., Paris, t. 190, 1930, p. 354-356).
2. Les transformations analytiques des domaines cercls les uns dans les
autres (C. R. Acad. Se, Paris, t. 190, 1930, p. 718-720).
3. Sur les fonctions de deux variables complexes efr le problme de la repr-
sentation analytique [Journ. Math, pures et appi., 9 e sr., t. 10 (96), 1931,
p- i - n 4 ) .
DANTZIG (D. V.) et J. A. SCHOUTEN. 1. Ueber unitare Gomtrie {Math. Ann.,
t. IOSJ, i93o, p. 319-346).
2. Ueber unitre Gomtrie konstanter Krmmung {Akad. Wetensch.
Amsterdam, Proc., t. 34, i 9 3 i , p. 1293-13o4).
FUCHS (B.). 1. Limitations pour la variation d'un angle dans le cas d'une
transformation pseudo-conforme dans l'espace de deux variables complexes
(C. R. Acad. Se, Paris, t. 900, 1935, p. 718 720).
2. Ueber vollstandige geodtische analytische Mannigfaltigkeiten einer
vierdimensionalen Riemannschen Gomtrie {Bull. Inst. math, et mc. Univ.
de Tomsk, t. i , 1935-1937, p. 169-174).
3. Ueber einige Eigenschaften der pseudokonformen Abbildungen (Recueil
Malh., nouv. sr., t. 1 (43), 1936, p. 569-574).
4. Ueber die Gruppe der pseudokonformen Abbildungen eines Bereiehes in
sich [Bull. Inst. math, et mc. Univ. de Tomsk, t. 1, 1935-1937, p. 281-28$).
5. Ueber geodtische Mannigfaltigkeiten einer bei pseudokonformen Abbil-
dungen invarianten Riemannschen Gomtrie (Recueil Math., nouv. sr.,
t. 2 (44), 1937, p. 567-5 9 4).
6. Ueber die Gruppe der analytischen Bewegungen der bei pseudokonformen
Abbildungen invarianten Gomtrie (C. R. Aca\ SS U. R. S. S., t, 16, 1937,
p. i43-i46).
6o STEFAN BERGMANN.
7. Ueber die lokalisometrischen analytischen Abbildungen (C. R. Acad. Se

U. R. S. S., nouv. sr., t. 20, 1938, p. 3-4).
8. Zur Thorie der schlichten pseudo konformen Abbildungen \BuU. Inst.
math, et mc. Univ. de Tomsk, t, 2, 1938, p. i47 i55).
9. Ueber eine Eigenschaft der bei pseudokonformen Abbildungen invarian-
ten Metrik (Recueil Math., nouv. sr., t. 5 (47), 1939, p. 497-504).
10. Sur les reprsentations pseudo-conformes d'un domaine sur lui-mme
avec un point fixe sur la frontire (C. R. Acad. Se. U. R. S. S., t. 23, 1939,
p. 865-867).
HAMMERSTEIN (A.). 1. Ueber die Approximation von Funktionen zweier
komplexer Veranderlicher durch Polynme (S.-B. d. Preuss. Akad. d. W.9
1933, p. 259-266).
HARTOGS (F.). 1. Zur Thorie der analytischen Funktionen mehrerer unab-
hngiger Veranderlicher, insbesondere uber die Darstellung derselben durch
Reihen, welche nach Potenzen einer Vernderlichen fortschreiten (Math.
Ann., t. 62, 1906, p. 1-88).
KUFAREFF (P.). 1. Ueber das zweifachzusammenhngende Minimalgebiet
(Bull. Inst. math, et mc. Univ. de Tomsk, t. 1, 1935 1937, p. 228-236).
KWIETNIEWSK (S.). 1. Ueber Flchen des vierdimensionalen R a urnes,
deren smtliche Tangentialebenen untereinander gleichwinklig sind (Thse,
Zurich, 1902 et Wiadomosci matematyczne, t. 10, 1906, p. 129-167).
JACKSON (D.). 1. Orthogonal polynomials in two complex variables (Annals
of Mathematics, t. 39, 1938, p. 262-268).
LEVI (E. E.). 1. Studii sui punti singolari essenziali dell funzioni analitiche
di due o pi variabili complesse (Ann. di mat. pura ed appl., 3 e sr., t. 17*
1910, p. 6j-io3).
2. Sulle ipersuperficie dello spazio a 4 dimensioni che possono essere frontiera
del campo di esistenza di una funzione analitico di due variabili complesse
(Ann. di mat. pura et appl., 3 e sr., t. 18, i g n , p. 69-79).
MARTIN""(W. T.). 1. Minimum problem in the theory of analytic functions
of several variables (Trans. Amer. Math. Soc, t. 48, 1940, p. 35o-358).
MINIATOFF (A.). 1. Sur une proprit des transformations dans l'espace de
deux variables complexes (C. R. Acad. Se, Paris, t. 200, 1935, p. 711-713).
2. Zum Interpolationsproblem bei Funktionen mehrerer komplexer Veran-
derlicher (C. R. Acad. Se. U. R. S. S., nouv. sr., t. 4, 1935, p. 243-245).
MITROCHIN (I.). 1. Ueber die Vernderung der KTmmung von Hyperflchen
bei pseudokonformen Abbildungen (Bull. Inst. math, et mc. Univ. de Tomsk,
t. 1, 1935-1937, p. 267-280).
REINHARDT (K.). 1. Ueber Abbildungen durch analytische Funktionen zweier
Veranderlicher (Math. Ann., t. 83, 1921, p. 211-255).
SCHIFFER (M.). 1. Sur les domaines minima dans la thorie des transfor-
mations pseudo-conformes (C> R. Acad. Se. Paris, t. 207, 1938, p. i i a - i i 5 ) .
SCHOUTEN (J. A.). Voir DANTZIG et SCHOUTEN.
SCHOUTEN (J. A.) et STRUIK (D. J.). 1. Einfhrung in die neueren Metho*
den der Differentialgeometrie, Vol. 2, io,38.
SUR LES FONCTIONS OBTHOGOÂLES DE PLUSIEURS VARIABLES COMPLEXES. 6l
STRUIK (D. J . ) . Voir SCHOUTEN et STRUIK.

STUDY (E.). 1. Sugli enti analitici (Rendic. del Circolo mat. di Palermo, t. 21,
1906, p. 345-35p).
THULLEN (P.). Voir B E H N K E et THULLEN.
WACHS (S.). 1. Sur quelques proprits des transformations pseudo-conformes
avec un point frontire invariant (C. R. Acad. Se, Paris, t. 206, 1938,
p. 1352-1354).
2. Sur quelques proprits de transformations pseudo-conformes avec un
point invariant (Bulletin de la Socit mathmatique de France, t. 68, 1940,
p. 177-198).
3. Sur les transformations pseudo-conformes admettant un point frontire
invariant (C. R. Acad. Se, Paris, t. 208, 1939, p. i385-i387).
invariant (C. R. Acad. Se, Paris> t. 208, 1939, p. 1871-1873).
invariant (Jour. Math, pures et appl., 9 e sr., t. 22, 1943, p. 25-54).
WELKE (H.). 1. Ueber die analytischen Abbildungen von Kreiskrpern und
Hartogsschen Bereichen (Math. Ann., t. 103, 1930, p. 437-449). (Thse,
Munster, 1930.)
2. Ergebnisse der Mathem. u. ihres Grenzgebiete, vol. 3, cahier 3
(H. BEHNKE et P. THULLEN, Thorie der Funktionen mehrerer komplexer
Veranderlicher, p. 106-107).
ZARANKIEWICZ (K.). 1. Sur la reprsentation conforme d'un domaine double-
ment connexe sur un anneau circulaire (C. R. Acad. Se, Paris, t. 198, 1934,
p. 1347-1349).
2. Ueber ein numerisches Verfahren zur konformen Abbildung zweifach
zusammenhngender Gebiete (ZeiL f. ang. Math. u. Mech., t. 14, 1934,
p. 97-104).
TABLE DES MATIRES.
Pages.
INTRODUCTION i
CHAPITRE I. Notations. lments de l'espace de deux variables complexes... 6

1. Prliminaires 6
2. Notations 6
3. Surfaces 8
4. Hypersurfaces io
5. Quelques domaines particuliers quatre dimensions -i 4
CHAPITRE II. Les fonctions orthogonales et leurs proprits 18

1. Notations. 18
2. Systme de fonctions orthogonales *9
3. Le noyau et ses proprits 1 21
4. Thormes de Fischer-Riesz. Le dveloppement d'une fonction
suivant les fonctions orthogonales ,- 23
5. L'existence des systmes ferms " 27
6. Fonction-noyau et fonction minimum 3o
7. Le problme de la formation effective de la fonction-noyau 33
8. Systmes spciaux de fonctions orthogonales et leurs applications, 37
CHAPITRE III. Sur quelques problmes de minimum 4o

1. La mthode des problmes de minimum 4o
2. Le problme de minimum 41
3. Exemples 44
4. Problme d'interpolation 46
5. Application la thorie des fonctions entires et mromorphes 48
CHAPITRE IV. La mtrique invariante par rapport aux transformations

pseudo-conforme 5i
%
1. introduction d'une.mtrique invariante G 5i
2. Quelques proprit locales1 de la mtrique G 53
3. L'espace primitif 55
I N D E X BIBLIOGRAPHIQUE 57

MSM 1947 106 1 0

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

MSM 1947 106 1 0

Transféré par

Droits d'auteur :

Formats disponibles

M MORIAL DES SCIENCES MATHMATIQUES

Gauthier-Villars, 1947, tous droits rservs.

Article numris dans le cadre du programme

L'ACADMIE DES SCIENCES DE PARIS,

Sur les fonctions orthogonales de plusieurs variables complexes

Quai des Grands-Augustins, 55

LES FONCTIONS ORTHOGONALES

AVEC LES APPLICATIONS

A LA THORIE DES FONCTIONS ANALYTIQUES

Par Stefan BERGMANN.

Beaucoup de mthodes de la thorie des fonctions analytiques

( i ) Par fonction analytique de n variables complexes rgulire dans un domaine <B2

partie des proprits suivantes que possde le noyau

2 ?(V) (*1, * l ) ? M ( ' l ! * 0

h variant dans le champ des fonctions analytiques dans & et Vcarr

La reprsentation biunivoque d'un domaine de l'espace euclidien

I. Deux domaines sont_clits QUIVALENTS, quand on peut les repr-

II. Borner les variations des grandeurs attaches la mtrique

w*('n **) = *n * = i, a, \jjjr)z - t =8*> 6 * t = I > 8 **=o> kjn.

L'tude de ces problmes dans le cas des reprsentations conformes

l'emploi de la thorie des groupes (cf. E. Cartan, 1, H. Cartan, 3 et

AU -4- A (*, *)U,-+- B(*, z) UF-+- C(, *)U = o /us= ^ \

est transforme par une reprsentation conforme en une quation de

1. NOTATIONS. LMENTS DB L'ESPACE, DE DEUX VARIABLES COMPLEXES.

1. Prliminaires. Pour l'dification de la thorie des reprsen-

2. Notations. Nous dsignerons les variables complexes et leurs

&n y\, #2 y2 tant les coordonnes cartsiennes de l'espace

cp(^,, 2 , ^n *a) ou^plus brivement <pyz, z). Par

k=zl ' A=l

One fonction cp est appele fonction analytique (ou rgulire) lie

(quations diffrentielles de Cauchy-Riemann}.

On peut alors montrer l'aide de la formule de Cauchy qu'en

sans l'indice suprieur. En oprant avec des ensembles nous emploie-

3. Surfaces. L'galit f(zK.z2, zi}z2) = o, o n i l a partie relle

(Reinhardt, 1). En partant de la formule usuelle pour l'angle entre

tant donns deux vecteurs OS .et OT, nous dsignons par

nous pouvonss trouver une direction O S ' d 3 t 2 de sorte' que

Courbure (Tune surface. Soient d% l'angle que forment les

Remarque. On peut aussi dfinir la courbure l'aide d'une

i. Hyper sur face s. Une hypersurface 63 sera souvent dfinie par

z\ = e*0* sm 3 ^ i -+- e">* cos;?-z2

nous introduisons des variables nouvelles *, z\ que nous appellerons

Si l'on introduit au lieu de z* les variables x\ et y\ l'quation de

(n) ix\ = r 2 -f- iiy\(bz\ bz\) +- c*.*2-f- c^-t-tf | z\ |*-+- <\>2,

Nous remarquons que pour chaque domaines dans lequel l'ensemble

ai (A ^A 2 -*- A | b |-i) e -*arc* #

tant une constante relle quelconque, on peut dterminer (12) de

(15) 2*^tf|*5l+nr,*i,35), lim ^ ^ = o 5

que nous appelons reprsentation canonique pour 63 dans Q(o,o).

Courbure d*une hypersurface, Si nous avons une hyper-

(SVT/ (S/T2' (A/N' W T / \*)T,' W N '

o d% dsigne l'angle analytique, rfcp l'angle de dviation entre les

(16) L(4>)=- Zk ZmZ

Pour la convexit de <D = o du ct O > o (respectivement <& < o)

La dmonstration de ce rsultat s'obtient* en mettant l'hypersur-

Le Gas o- = o dans bj sera considr plus loin.

On considre souvent des morceaux d'hypersurfaces analytiques

o A(X)(Z, X) sont des fonctions continues des variables Z, X et, pour

J*(X) = E [ * x = A ( X , ( Z )> Z 2, X const.]

2 = 3ii(X), ii(X) = E [*x = AW(Z, X), I Z | = 1, X const.]

s'appelle SURFACE LATRALE du morceau I)3 d'hypersurface analytique.

est une fonction analytique d'une variable complexe Z et le maximum

() =JH"+-L(*) [Mitrochin, 1].

2 ?(V) (1, l ) ? M ( ' l ! * 0

w*('n **) = n = i, a, \jjjr)z - t =8> 6 t = I > 8 **=o> kjn.

AU -4- A (, )U,-+- B(, z) UF-+- C(, )U = o /us= ^ \

z\ = e0 sm 3 ^ i -+- e">* cos;?-z2

(n) ix\ = r 2 -f- iiy\(bz\ bz\) +- c.2-f- c^-t-tf | z\ |*-+- <\>2,

ai (A ^A 2 -- A | b |-i) e -arc* #

(15) 2^tf|5l+nr,*i,35), lim ^ ^ = o 5

J(X) = E [ x = A ( X , ( Z )> Z 2, X const.]

Dans le cas particulier, savoir quand (^ = 2^= E [ | ^ i2 + | 2 | 2 </ 2 ]

(50 Y y (/i-4-m-4-2)!(^171)m(^272)ra 2/ 2