Approximations on Spirallike domains of $\mathbb{C}^{n}$
Abstract
In this paper, we first show that any domain $\Om$ in $\cn(n \geq 2)$, which is spirallike with respect to a complete holomorphic globally asymptotic stable vector field $F$, is a Runge domain. Next, we prove an Andersén-Lempert type approximation theorem: any biholomorphism $\Phi\colon \Om \to \Phi(\Om)$, with $\Phi(\Om)$ is Runge, can be approximated by automorphisms of $\mathbb{C}^{n}$ uniformly on compacts, in the following two cases. \begin{itemize} \item [(i)] The domain $\Om\subset\cn$ is a spirallike with respect to a linear vector field $A$, where $2\max\{\rl\lambda:\lambda\in\sigma(A)\}<\min\{\rl\lambda:\lambda\in\sigma(A)\}$. \item [(ii)] The domain $\Om$ is spirallike with respect to complete globally exponentially stable vector field $F$, with a certain rate of the convergence of the flow of the vector field $F$ in $\Om $ \end{itemize} We further show that, if $J(\Phi) \equiv 1$ (and $div(F)$ is constant in the situation (ii)) then the biholomorphism $\Phi\colon \Om \to \Phi(\Om)$ can be approximated by volume preserving automorphism of $\cn$ in both the cases mentioned above. As an application of our approximation results, we show that any Loewner PDE in a complete hyperbolic domain $\Om$ which satisfies (i) or (ii) mentioned above admits an essentially unique univalent solution with values in $\cn$. We also provide an example of a Hartogs domain in $\mathbb{C}^{2}$ which spirallike with respect to a complete holomorphic vector field $F(z_{1},z_{2})=(-2z_{1},-3z_{2}+z_{1}z_{2})$, but the domain is not spirallike with respect to any linear vector field. Some more examples are provided at the end of this paper.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2022
- DOI:
- arXiv:
- arXiv:2208.11107
- Bibcode:
- 2022arXiv220811107C
- Keywords:
-
- Mathematics - Complex Variables;
- Mathematics - Classical Analysis and ODEs;
- Mathematics - Dynamical Systems;
- 32M17;
- 32E30;
- 30C45
- E-Print:
- 39 page, comments are welcome