Support points and extreme points for mappings with \(A\)-parametric representation in \(\mathbb C^n\) (Q282835): Difference between revisions

Let \(n\) be a positive integer, and \({\mathcal A}=\{A\in L(\mathbb {C}^n):k_{+}(A)<2m(A)\}\) the class of all linear operators \(A\) with the upper exponential index \(k_+(A)\), \(m(A\)) being the minimum of the real part of the inner product \(\langle A(z),z\rangle\) if the norm \(||z||=1\). The paper continues a previous work on so-called ``A-normalized univalent subordination chains on the Euclidean unit ball \(\mathbb B^n\) in \(\mathbb C^n\)''. The authors make use of a variational method to construct A-normalized univalent subordination chains (denoted by \(f(z,t)\)) on \(\mathbb B^n\times[0,\infty)\), with some additional regularity assumptions on \(\mathbb B^n\times[0,T],\,T>0\). The following result is an important one in the article: Theorem 4.1. Let \(A\in\mathcal A\) and let \(f(z,t):\mathbb B^n\times[0,\infty)\to\mathbb C^n\) be an A-normalized univalent subordination chain such that \(\{e^{-tA}f(\cdot,t)\}_{t\geq 0}\) is a normal family on \(\mathbb B^n\). Let \(h(z,t)\) be the associated generating vector field of \(f(z,t)\). Assume that there exist some constants \(a\geq 1\), \(b\geq||A||\) and \(c\in(0,1]\) such that the following conditions hold: (i) \(||[Df(z,t)]^{-1}||\leq a\), for all \(z\in\mathbb B^n\) and \(t\in[0,\infty)\). (ii) \(||h(z,t||\leq b\), for a.e. \(t\in[0,\infty)\) and all \(z\in\mathbb B^n\). (iii) \(\mathcal R\langle h(z,t),z\rangle\geq c\mathcal R\langle A(z),z\rangle\), for a.e. \(t\in[0,\infty)\) and all \(z\in\mathbb B^n\). Then \(L(z,t)=f(z,t)+\epsilon g(z)\) is an A-normalized univalent subordination chain such that \(\{e^{-tA}L(\cdot,t)\}_{t\geq 0}\) is a normal family on \(\mathbb B^n\), for all \(\epsilon\in\mathbb C\) satisfying \[ |\epsilon|\leq\frac{m(A)c}{a(b+m(A)c)}, \] and for every mapping \(g\in H(\mathbb B^n)\) with \[ g(0)=0,\quad Dg(0)={\mathbf 0}_n,\quad \sup_{z\in\mathbb B^n}||g(z)||\leq 1\quad\text{and}\quad \sup_{z\in\mathbb B^n}||Dg(z)||\leq 1. \] In the next section, some examples of normalized biholomorphic mappings on \(\mathbb B^n\) are given that are not extreme/support points for a compact family \(S^0_A(\mathbb B^n)\) of mappings with A-parametric representation. The last part of the paper deals with support points associated with a compact family of normalized bounded biholomorphic mappings on \(\mathbb B^n\) with A-parametric representation. Support points for the family \(\widetilde{\mathcal R}_{\log M}(\mathrm{id}_{\mathbb B^n},\mathcal N_A)\) (``the normalized time-log \(M\)-reachable family generated by the Carathéodory mappings on \(\mathbb B^n\times[0,\log M]\)'', \(A\in\mathcal A,\,M\in (1,\infty)\)) are also studied.