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

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.