Fonction de Green pluricomplexe et lemmes de Schwarz dans les espaces de Banach. (Pluricomplex Green functions and Schwarzian lemmata in Banach spaces) (Q1096057)

Pour f(z) holomorphe dans un domaine \(\Omega\) \(\subset {\mathbb{C}}\), vérifiant \(| f(z)| \leq M\), s'annulant aux points \(a_ i\) avec les multiplicités \(\nu _ i\), le lemme de Schwarz donne une majoration \(\log | f(z)| \leq \log M +\sum _{i}\nu _ ig_{\Omega}(z,a_ i)\) à partir de la fonction de Green \(g_{\Omega}\). On établit dans tout espace de Banach complexe E, l'existence d'une fonction de Green \(g_{\Omega}(z,a)\) pour les domaines \(\Omega\) bornés et hyperconvexes: PSH(\(\Omega)\) notant la classe des fonctions plurisousharmoniques de \(\Omega\), l'hyperconvexité équivaut à l'existence de \(\phi\leq 0\), \(\phi\leq PSH(\Omega)\), \(\lim _{z\to \partial \Omega}\phi (z)=0,\) uniformément avec la distance d(z,\(\partial \Omega)\) au bord. Pour \({\mathbb{C}}^ n\), cf. \textit{M. Klimek}, Bull. Soc. Math. Fr. 113, 231-240 (1985; Zbl 0584.32037) et \textit{J.-P. Demailly}, Math. Z. 194, 519-564 (1987; Zbl 0595.32006). La construction est faite dans l'espace de Banach E directement pour en ensemble fini \(A=(a_ i,\nu _ i)\) de points affectés de coefficients \(\nu _ i>0\) et procède sans référence aux opérateurs différentiels, la construction donne \(g_{\Omega}\) comme enveloppe supérieure d'une famille \({\mathcal F}\subset PSH(\Omega)\) et permet l'étude de la continuité de \(g_{\Omega}(z,A)\) par rapport au couple (z,A); on notera que même en dimension finie on a en général \(g_{\Omega}(z,A)\geq \sum _{i}\nu _ ig_{\Omega}(z,a_ i),\) \(a_ i\in A\), au lieu de l'égalité due dans \({\mathbb{C}}\) à la linéarité du laplacien. De \(g_{\Omega}\) on déduit des lemmes de Schwarz pour \(v\in PSH(\Omega)\), ainsi que pour les applications holomorphes F dans les trois cas \(E_ 1\to E_ 2,\quad E\to {\mathbb{C}}^ n,\quad {\mathbb{C}}^ n\to {\mathbb{C}}^ n.\) En dimension infinie on utilise \(\nu (a)=\lim (\log r)^{-1} M_ v(a,r)\) [cf. l'A., Lect. Notes Math. 919, 167-176 (1982; Zbl 0477.32017)] où \(M_ v(a,r)=\sup _{\| y\| \leq r}\nu (a+y)\) et \(v=(2\pi)^{-1} \log \| F\|:\) on dit que F a en a un zéro de multiplicité régulière \(\nu\) (a) si \(\nu (a)=\lim _{y\to 0}(\log \| y\|)^{-1} v(a+y).\) Le lemme de Schwarz énoncé au début est alors établi pour les applications \(F: E_ 1\to E_ 2\) quand la fibre \(F^{-1}(0)\) a dans \(\Omega\) des points isolés \((a_ i,\nu _ i)\) de multiplicités \(\nu _ i\) régulières, puis étendu à une classe plus générale. Pour les applications \({\mathbb{C}}^ n\to {\mathbb{C}}^ n\) il suffit que les \(a_ i\) soient isolés dans \(F^{- 1}(0)\) \(\{\) pour le cas \({\mathbb{C}}^ n\to {\mathbb{C}}\) le résultat est évanescent pour \(n\to \infty\), cf. l'A. et \textit{L. Gruman}, Entire functions of several complex variables (1986; Zbl 0583.32001), p. 160]. Pour \(F: {\mathbb{C}}^ n\to {\mathbb{C}}^ n\), il y a égalité entre (1) l'indice de Kronecker au zéro isolé a, (2) la masse \(\mu\) (a) de la mesure \((2\pi)^{-n}(dd^ a \log \| F\|)^ n\) en a, (3) la multiplicité dans la représentation intégrale de Bochner-Martinelli \(\mu (a)f(a)=\int _{\partial \Omega}f(\zeta)K_{BM}(\zeta,a)\) pour f holomorphe sur \({\bar \Omega}\) et \(F^{-1}(0)\cap {\bar \Omega}=\{a\}\) et l'on a \(\mu (a)\geq [\nu (a)]^ n\) avec égalité si la multiplicité est régulière.