Bounded support points for mappings with g-parametric representation in C^2

Special classes of univalent and multivalent functions of one complex variable (starlike, convex, bounded rotation, etc.) (30C45) Other generalizations of function theory of one complex variable (32A30)

Review text

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)\).

Recommendations

Cites work

Cited in

(25)

This page was built for publication: Bounded support points for mappings with \(g\)-parametric representation in \(\mathbb{C}^2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2360040)