Approximation of univalent mappings by automorphisms and quasiconformal diffeomorphismsin \(\mathbb{C}^n\) (Q666635)

Let $\mathbb{C}^n$ be the space of $n$, $n\geq2$, complex variables with the Euclidean inner product $\langle \cdot, \cdot\rangle$ and the Euclidean norm $\|\cdot\|=\langle \cdot, \cdot\rangle^{1/2}$. $\mathbb{B}$ is the unit ball in $\mathbb{C}^n$. Let $L(\mathbb{C}^n)$ be the space of linear operators from $\mathbb{C}^n$ into $\mathbb{C}^n$ with the standard operator norm, $I_n$ is the identity in $L(\mathbb{C}^n)$. For $A\in L(\mathbb{C}^n)$, $m(A):=\min\{\Re\langle A(z), z\rangle: \|z\|=1\}$. For a domain $G\subseteq\mathbb{C}^n$, $H(G)$ is the family of holomorphic mappings from $G$ into $\mathbb{C}^n$ with the standard topology of locally uniform convergence. $S(G)$ is the subset of $H(G)$ consisting of all normalized univalent (biholomorphic) mappings on $G$, i.e., if $G$ contains the origin, then $f\in S(G)$ if and only if $f(0)=0$ and $Df(0)=I_n$. \par In this paper, a variational result for $A$-normalized univalent subordination chains is used, to deduce that every normalized univalent mapping which has an $A$-parametric representation on $\mathbb{B}^n$ can be approximated locally uniformly on $\mathbb{B}^n$ by mappings which have an $A$-parametric representation on $\mathbb{B}^n$ and admit extensions, on the one hand, to automorphisms of $\mathbb{C}^n$ and, on the other hand, to quasiconformal diffeomorphisms of class $C^\infty$ from $\mathbb{C}^n$ onto $\mathbb{C}^n$, which are equal to the identity mapping in a neighborhood of $\infty$. In particular, if $m(A)>0$ then \[ S^0(\mathbb{B}^n)=\overline{S^0(\mathbb{B}^n)\cap\tilde{S}^0(\mathbb{B}^n)}=\overline{S^0(\mathbb{B}^n)\cap \mathcal{I}^\infty(\mathbb{B}^n)}= \overline{S^0(\mathbb{B}^n)\cap Q^\infty(\mathbb{B}^n)}. \] Approximation results of $A$-spiral-like, star-like, and convex mappings by automorphisms of $\mathbb{C}^n$ and quasiconformal diffeomorphisms of class $C^\infty$ from $\mathbb{C}^n$ onto itself, which are equal to the identity mapping in a neighborhood of $\infty$, whose restrictions to $\mathbb{B}^n$ have the same geometric property, are obtained.