Bounded support points for mappings with \(g\)-parametric representation in \(\mathbb{C}^2\) (Q2360040): Difference between revisions

Denote \(\mathbb U(a,r)=\{\zeta\in\mathbb C:|\zeta-a|<r\}\), \(\mathbb U:=\mathbb U(0,1)\). Fix a holomorphic univalent function \(g\) on \(\mathbb U\) such that \(g(0)=1\), \(\text{Re}\,g(\zeta)>0\) and \(\overline{g(\zeta)}=g(\overline\zeta)\) in \(\mathbb U\), and, for all \(r\in(0,1)\), \[ \min_{|\zeta|=r}\text{Re}\,g(\zeta)=\min\{g(r),g(-r)\},\quad\max_{|\zeta|=r}\text{Re}\,g(\zeta)=\max\{g(r),g(-r)\}. \] The family of holomorphic mappings from the unit ball \(\mathbb B^n\) into \(\mathbb C^n\) is denoted by \(H(\mathbb B^n)\). A function \(f\in H(\mathbb B^n)\) is normalized if \(f(0)=0\) and \(D f(0)=I_n\). Let \(\mathcal M\) be the set of normalized functions \(h\in H(\mathbb B^n)\) for which \(\text{Re}\langle h(z),z\rangle>0\), \(z\in\mathbb B^n\setminus\{0\}\). We say that a function \(h\in H(\mathbb B^n)\) belongs to \(\mathcal M_g\) if \(h\) is normalized and \(\langle h(z),z\rangle/\|z\|^2\in g(\mathbb U)\), \(z\in\mathbb B^n\setminus\{0\}\). A normalized mapping \(f\in H(\mathbb B^n)\) is said to have a \(g\)-parametric representation (denoted by \(f\in S^0_g(\mathbb B^n)\)) if there exists \(h=h(z,t):\mathbb B^n\times[0,\infty)\to\mathbb C^n\), \(h(\cdot,t)\in\mathcal M_g\) for almost all \(t\in[0,\infty)\), \(h(z,\cdot)\) is measurable on \([0,\infty)\) for \(z\in\mathbb B^n\), and \(f(z)=\lim_{t\to\infty}e^tv(z,t)\), where \(v(z,t)=v(z,0;t)\) and \(v(z,s;t)\) is the unique locally Lipschitz continuous solution on \([0,\infty)\) of the initial value problem \[ \frac{\partial v}{\partial t}=-h(v,t)\;\;\text{a.e.}\;t\geq s,\;\;v(z,s;s)=z, \] for all \(z\in\mathbb B^n\) and \(s\geq0\). The set of all such functions \(h\) restricted in \(t\) on \([0,\log M]\), \(M>1\), is denoted by \(\mathcal C([0,\log M],\mathcal M_g)\). Let \[ \tilde{\mathcal R}_{\log M}(\text{id}_{\mathbb B^n},\mathcal M_g)=\big\{Mv(\cdot,\log M;h):h\in\mathcal C([0,\log M],\mathcal M_g)\big\}, \] \(M>1\). The main results can be summarized as follows. Theorem 1.1. Let \(g\in H(\mathbb U)\). Assume that \(\mathbb U(1,a_0)\subseteq g(\mathbb U)\), where \[ 0<a_0=\inf_{0<r<1}\left\{\frac{\min\{|g(r)-1|,|g(-r)-1|\}}{r}\right\}. \] Also, let \(f=(f_1,f_2)\in S^0_g(\mathbb B^2)\). Then \(|a^1_{0,2}|\leq3\sqrt3a_0/2\), where \(a^1_{0,2}=\frac{1}{2}\frac{\partial^2f_1}{\partial z^2_2}(0)\). This estimate is sharp. Moreover, \(F(z)=(z_1+3\sqrt3a_0z_2^2/2,z_2)\), \(z=(z_1,z_2)\in\mathbb B^2\), is a support point of \(S^0_g(\mathbb B^2)\). Theorem 1.2. Let \(g\in H(\mathbb U)\) be a convex function. Assume that \(\mathbb U(1,a_0)\subseteq g(\mathbb U)\), where \(a_0\) is given in Theorem 1.1. If \(f=(f_1,f_2)\in\tilde{\mathcal R}_{\log M}(\text{id}_{\mathbb B^2},\mathcal M_g)\), \(M>1\), then \(|a^1_{0,2}|\leq3\sqrt3a_0(1-1/M)/2\). This estimate is sharp. Moreover, \(\Phi_g^M(z)=(z_1+3\sqrt3a_0z_2^2/(1-1/M)2,z_2)\), \(z=(z_1,z_2)\in\mathbb B^2\), is a support point of \(\tilde{\mathcal R}_{\log M}(\text{id}_{\mathbb B^2},\mathcal M_g)\) but is neither support nor extreme point of \(S^0_g(\mathbb B^2)\).