An elementary proof of the cross theorem in the Reinhardt case (Q1958007): Difference between revisions

The following separate holomorphicity extension theorem is well known. Let \(D_j\subset\mathbb C^{n_j}\) be a domain of holomorphy and \(\emptyset\neq A_j\subset D_j\) be a locally pluriregular set for \(j=1,\dots,N\), \(N\geq2\). Let \[ X=\bigcup_{j=1}^N (A_1\times \cdots\times A_{j-1}\times D_j\times A_{j+1}\times\cdots\times A_N) \] be a cross. Let \(f:X\to \mathbb C\) be separately holomorphic in each variable. Then \(f\) extends holomorphically to a unique function \(\hat f'':\hat X\to\mathbb C\) on the domain of holomorphy \[ \hat X = \left\{(z_1,\dots,z_N)\in D_1\times\cdots\times D_n\, \left|\, \sum_{j=1}^n h_{A_j,D_j}^*(z_j)<1\right.\right\}, \] where \(h_{A_j,D_j}^*\) is the upper regularization of the relative extremal function \[ h_{A_j,D_j}=\sup\left\{u\in\mathcal{PSH}(D_j)\,\left|\,u\leq1,\,u_{|_{A_j}}\leq0\right.\right\}\,. \] In this paper, an elementary proof of it is given in the case each \(D_j\) is a Reinhardt domain and each \(A_j\) is a Reinhardt open set. The proof is based on elementary facts about convex domains in \(\mathbb R^n\) and on logarithmic convex domains and Reinhardt domains. Moreover, the proof of the theorem leads as a by-product to a sort of ``convex cross theorem'': Let \(D_j\subset\mathbb R^{n_j}\) be a convex domain and \(A_j\subset D_j\) a set with non-empty interior, for \(j=1,\dots,N\), \(N\geq2\). Let \[ X=\bigcup_{j=1}^N (A_1\times \cdots\times A_{j-1}\times D_j\times A_{j+1}\times\cdots\times A_N) \] be a cross. Then the convex hull of \(X\) is \[ \text{conv}\, X\, =\, \left\{(x_1,\dots,x_N)\in D_1\times\cdots\times D_n\, \left|\, \sum_{j=1}^n \Phi_{A_j,D_j}(x_j)<1\right.\right\}, \] where \(\Phi_{A_j,D_j}\) is the extremum of the convex functions: \[ \Phi_{A_j,D_j}=\sup\left\{u\in\mathcal{CVX}(D_j)\,\left|\,u\leq1,\,u_{|_{A_j}}\leq0\right.\right\}\,. \]