No label defined (Q4694584)

[For the entire collection see Zbl 0759.00008.] \(\Omega\) étant un domaine borné à frontière lisse dans \(\mathbb{C}\), à tout \(\lambda\in\partial\Omega\) on associe un disque fermé \(D_ \lambda\) de centre \(c(\lambda)\), rayon \(\exp u(\lambda)\), où \(c\) et \(u\) sont de classe \({\mathcal C}^{k+\alpha}\), \(k\geq 2\), \(0<\alpha<1\). Si l'application \(\partial\Omega\ni\lambda\mapsto D_ \lambda\) se prolonge à \(\overline\Omega\), avec la même régularité, de manière que l'on ait \(\bigcup_{\lambda\in\Omega}\{\lambda\}\times(\mathbb{C}\backslash D_ \lambda)\) strictement pseudo-convexe, elle se prolonge aussi à \(\overline\Omega\), avec la même régularité, de manière que l'on ait à la fois (1) \(\bigcup_{\lambda\in\Omega}\{\lambda\}\times(\mathbb{C}\backslash D_ \lambda)\) pseudo-convexe et (2) \(\bigcup_{\lambda\in\Omega}\{\lambda\}\times(\text{Int} D_ \lambda)\) pseudo-convexe de sorte que la surface \(\bigcup_{\lambda\in\Omega}\{\lambda\}\times\partial D_ \lambda\) est ``pseudo-plane''; en outre, \(\bigcup_{\lambda\in\overline\Omega}\{\lambda\}\times D_ \lambda\) est l'enveloppe convexe du compact \(\bigcup_{\lambda\in\overline\Omega}\{\lambda\}\times\partial D_ \lambda\) relativement aux fonctions holmorphes sur \(\overline\Omega\times\mathbb{C}\). Pour les démonstrations, on traduit la condition (1) par \(u_{\lambda\overline\lambda}\geq| c_{\overline\lambda}|^ 2e^{-2u}+| c_{\lambda\overline\lambda}-2u_ \lambda c_{\overline\lambda}| e^{-u}\) et la condition (2) par \(u_{\lambda\overline\lambda}\leq| c_{\overline\lambda}|^ 2e^{-2u}-| c_{\lambda\overline\lambda}-2u_ \lambda c_{\overline\lambda}| e^{-u}\).