Approximations on Spirallike domains of \mathbb{C}^{n}

Abstract: In this paper, we first show that any domain

O m

in

c n (n g e q 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'{e}n-Lempert type approximation theorem: any biholomorphism

P h i c o l o n O m o P h i (O m)

, with

P h i (O m)

is Runge, can be approximated by automorphisms of

m a t h b b C^{n}

uniformly on compacts, in the following two cases. �egin{itemize} item [(i)] The domain

O m s u b s e t c n

is a spirallike with respect to a linear vector field

A

, where

2 m a x l l a m b d a : l a m b d a i n s i g m a (A) < m i n l l a m b d a : l a m b d a i n s i g m a (A)

. item [(ii)] The domain

O m

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

O m

end{itemize} We further show that, if

J (P h i) e q u i v 1

(and

d i v (F)

is constant in the situation (ii)) then the biholomorphism

P h i c o l o n O m o P h i (O m)

can be approximated by volume preserving automorphism of

c n

in both the cases mentioned above. As an application of our approximation results, we show that any Loewner PDE in a complete hyperbolic domain

O m

which satisfies (i) or (ii) mentioned above admits an essentially unique univalent solution with values in

c n

. We also provide an example of a Hartogs domain in

m a t h b b C^{2}

which spirallike with respect to a complete holomorphic vector field

F (z_{1}, z_{2}) = (- 2 z_{1}, - 3 z_{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.

This page was built for publication: Approximations on Spirallike domains of $\mathbb{C}^{n}$