On symmetry of the pluricomplex Green function for ellipsoids (Q4359152)

Let \(E=\{z\mid |z|<1\} \subset\mathbb{C}\), \(m(\lambda_1, \lambda_2): =|{\lambda_1-\lambda_2 \over 1- \overline\lambda_1 \lambda_2}|\), \(\lambda_1\), \(\lambda_2 \in E\), and \(D\) be a domain in \(\mathbb{C}^n\). Let \(PSH(D)\) be the set of plurisubharmonic functions on \(D\) and \(O(E,D)\) be the set of holomorphic functions from \(E\) to \(D\). Next, we define the pluricomplex Green function \[ g_D(w,z): =\sup\{u(z): \log u\in PSH (D),\;0\leq u<1 \text{ and there are } M,\;R>0 \] \[ \text{such that } u(\zeta) \leq M|\zeta-w|\text{ for } |\zeta -w|<R\}; \] the Lempert function \[ \widetilde k^*_D: =\inf \bigl\{m (\lambda_1, \lambda_2): \text{ there is } \varphi\in O(E,D) \text{ with } \varphi (\lambda_1)=w, \varphi(\lambda_2) =z\bigr\}, \] \(w,z\in D\); and for \(n>1\) the complex ellipsoids \[ E(p): = \bigl\{z \in\mathbb{C}^n: |z_1 |^{2p_1} +\cdots +|z_n |^{2p_n} <1 \bigr\}, \] where \(p=(p_1, \dots, p_n)\), \(p_j>0\) for \(1\leq j\leq n\). Now we can state the author's result. Theorem. For a complex ellipsoid \(E(p)\) the following conditions are equivalent: (i) \(\widetilde k^*_{E(D)} (\lambda_1b, \lambda_2b) =m(\lambda_1, \lambda_2)\) for any \(b\in \partial E(p)\) and \( \lambda_1, \lambda_2\in E\), (ii) \(g_{E(p)} (\lambda b,0)= g_{E(p)} (0,\lambda b)\) for any \(b \in\partial E(p)\) and \(\lambda\in E\), (iii) \(g_{E(p)}\) is symmetric, (iv) \(E(p)\) is convex.