No label defined (Q4486069)

Let \(B^n\) be the unit ball in \(\mathbb{C}^n\). A family \(\mathcal F\) of normalized (i.e. \(f(0)=0, J_f(0)=I_n\)) biholomorphic maps from \(B^n\) into \(\mathbb{C}^n\) is called a linear invariant family if for any \(f\in \mathcal F\) and \(\phi \in\Aut(B^n)\), the normalization \(T_{\phi}[f]\) of \(f\circ \phi\) is also in \(\mathcal F\). The main results of this paper are the higher dimensional versions of the one variable theorems. First the author defines the rank of a linear invariant family \(\mathcal F\) by \[ \alpha= \sup_{f\in \mathcal F}\sup_{w\in \partial B^n}\left[\frac 1 2 \text{tr}\left(\sum _{k=1}^n \frac {\partial ^2 f_i}{\partial z_j\partial w_k}(0)w_k\right)\right]. \] The author establishes the distortion estimates \[ \frac {(1-|z|)^{\alpha-\frac {n+1}{2}}}{(1+|z|)^{\alpha +\frac {n+1}2}} \leq |\det J_f(z)|\leq \frac {(1+|z|)^{\alpha -\frac {n+1}2}} {(1-|z|)^{\alpha +\frac {n+1}2}} \] and its generalization \[ \bigl|\Re[e^{i\lambda}\log (1-|z|^2)^{\frac {n+1} 2} \det J_f(z)]\bigr|\leq 2\alpha E(|z|,\frac {n+1}{2\alpha}\sin \lambda), \] where \(E(x,q)= \int_0^\infty \sqrt {\frac {1-q^2\xi^2}{1-\xi^2}}d\xi .\) Suppose that \(\mathcal F\) is a compact linear invariant family (i.e. every infinite sequence \(\{f_n\}\) in \(\mathcal F\) contains a subsequence which converges uniformly on every compact subset to a \(f\in \mathcal F\)). Let \(r_0(\mathcal F)=\max_{f\in \mathcal F}\{r:f(z)\neq 0, 0<|z|<r\}\) be the nonvanishing radius of \(\mathcal F\) and \(r_1(\mathcal F)=\max_{f\in \mathcal F}\{r:f(z)\neq f(z'), |z|,|z'|<r\), be the univalent radius of \(\mathcal F\). The author proves that \[ r_1=\frac {r_0}{1+\sqrt {1-r_0^2}},\;\;\;\;\;r_0=\frac {2r_1}{1+r_1^2}. \] A mapping \(f\) in a linear invariant family \(\mathcal F\) is called an extreme mapping if \[ \alpha= \sup_{w\in \partial B^n}\left[\frac 1 2\text{tr}\left(\sum _{k=1}^n \frac {\partial ^2 f_i}{\partial z_j\partial w_k}(0)w_k\right)\right]. \] An extreme mapping always exists in a compact invariant family. In the last section of the paper the author derives the relations among the coefficients of the second order terms and the third order terms. Let \[ f(z)= z+\sum_{i,j=1}^nd_{ij}z_iz_j+\sum_{i,j,k=1}^nd_{ijk}z_iz_jz_k +\cdots, \] where \(d_{ij}\) and \(d_{ijk}\) are \(n\times 1\) matrices symmetric with respect to all subscripts, be an extreme mapping. The author proves the following equations \[ \sum_{i=1}^nd^i_{bic}=\frac 2 3\sum_{j,k=1}^nd^j_{bk}d^k_{jc}, \;\;\;b\neq c; \] \[ \left|\sum^n_{i=1}d^i_{bic}-\frac 2 3\sum_{j,k=1}^nd^j_{bk}d^k_{jc}\right|=\frac {n+1} 6, \;\;b=c. \]