Complex geodesics in convex tube domains. II (Q343493)

The paper under review extends previous work of the author [Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 14, No. 4, 1337--1361 (2015; Zbl 1338.32011)]. Let \(D=\varOmega+i\mathbb R^n\subset\mathbb C^n\) be a convex tube domain containing no complex affine lines. Define \(W_D:=\{v\in\mathbb R^n: \sup_{x\in\varOmega}\langle x,v\rangle<+\infty\}\), \(S_D:=\{y\in\mathbb R^n: \forall v \in W_D: \langle y,v\rangle\leq0\}\), \(P_D(v):=\{p\in \overline\varOmega\): \(\forall x \in \varOmega: \langle x-p,v\rangle<0\}\). Let \(\varphi:\mathbb D\longrightarrow\mathbb C^n\) be a holomorphic mapping that admits a boundary measure, i.e., there exists a real Borel measure \(\mu\) on \(\mathbb T:=\partial\mathbb D\) such that \(\varphi(\lambda)=\frac1{2\pi}\int_{\mathbb T}\frac{\zeta+\lambda}{\zeta-\lambda}d\mu(\zeta)+i\text{Im}\varphi(0)\), \(\lambda\in\mathbb D\). Let \(\mu=gd\mathcal L^{\mathbb T}+\varrho d\nu\) be the decomposition of \(\mu\) such that \(g=(g_1,\dots,g_n):\mathbb T\longrightarrow\mathbb R^n\), \(\varrho:\mathbb T\longrightarrow\partial\mathbb B_n\) is Borel measurable, \(g_1,\dots,g_n\in L^1(\mathbb T,\mathcal L^{\mathbb T})\), and \(\nu\) is a finite positive Borel measure on \(\mathbb T\) being singular to \(\mathcal L^{\mathbb T}\), where \(\mathcal L^{\mathbb T}\) is the Lebesgue measure on \(\mathbb T\) and \(\mathbb B_n\) is the unit Euclidean ball in \(\mathbb R^n\). The main result of the paper states that \(\varphi(\mathbb D)\subset D\) and \(\varphi\) is a complex geodesic (i.e., there exists a holomorphic mapping \(f:D\longrightarrow\mathbb D\) such that \(f\circ\varphi\) is the identity) iff there exist \(a\in\mathbb C^n\) and \(b\in\mathbb R^n\) such that for \(h(\lambda):=\overline a\lambda^2+b\lambda+a\) we have: (i) \(g(\lambda)\in P_D(\overline\lambda h(\lambda))\) for \(\mathcal L^{\mathbb T}\)-a.e.~\(\lambda\in\mathbb T\), (ii) \(\langle\overline\lambda h(\lambda),\varrho(\lambda)\rangle\geq0\) for \(\nu\)-a.e.~\(\lambda\in\mathbb T\), (iii) \(\varrho(\lambda)\in S_D\) for \(\nu\)-a.e.~\(\lambda\in\mathbb T\), (iv) \(\text{Re}\varphi(0)\in\Omega\). Moreover, if \(\varphi(\mathbb D)\subset D\) and \(\varphi\) is a complex geodesic, then additionally: (v) \(\varrho(\lambda)\in S_D\cap\{\overline\lambda h(\lambda)\}^\perp\) for \(\nu\)-a.e.~\(\lambda\in\mathbb T\), (vi) \(\nu(\{\lambda\in\mathbb T: \overline\lambda h(\lambda)\in\text{int}W_D\})=0\). (vii) \(\overline\lambda h(\lambda)\in\overline{W_D}\) for all \(\lambda\in\mathbb T\). The results are illustrated with various examples.