Holomorphic maps with large images (Q490760): Difference between revisions

Let \(\Omega\subset\mathbb C^n\) be a domain. The authors study the problem of existence of holomorphic mappings \(F:\Omega\longrightarrow\mathbb C^m\) with restricted growth such that each point of \(\partial\Omega\) is a Casorati-Weierstrass (resp.~Picard) point. We say that a point \(p\in\partial\Omega\) is a \textit{Casorati-Weierstrass point} of \(F\) if \[ \bigcap_{r>0}\overline{F(\Omega\cap B(p,r))}=(\mathbb C_\infty)^m, \] where \(B(p,r):=\{z\in\mathbb C^n: |z-p|<r\}\); if \(\Omega\) is unbounded, then we assume that \(\infty\in\partial\Omega\) and \(B(\infty,p):=\{z\in\mathbb C^n: |z|>r\}\). For \(\alpha>0\) let \(CW_\alpha(\Omega,\mathbb C^m)\) be the set of all holomorphic mappings \(F:\Omega\longrightarrow\mathbb C^m\) such that each point \(p\in\partial\Omega\) is a Casorati-Weierstrass point of \(F\) and there exist \(C_1, C_2>0\) such that \(|F(z)|\leq C_1\exp(C_2\widehat\delta^{-\alpha}(z))\) for all \(z\in\Omega\), where \(\widehat\delta(z):=\min\big\{\text{dist}(z,\Omega^c), (1+|z|^2)^{-1/2}\big\}\). We say that a point \(p\in\partial\Omega\) is a \textit{Picard point} of a holomorphic function \(f:\Omega\longrightarrow\mathbb C\) if \(f\) assumes infinitely often in any neighborhood of \(p\) all complex values with at most one exception. Let \(P_\alpha(\Omega)\) be the set of all holomorphic functions \(f:\Omega\longrightarrow\mathbb C\) such that each point \(p\in\partial\Omega\) is a Picard point of \(f\) and there exist \(C_1, C_2>0\) such that \(|f(z)|\leq C_1\exp(C_2\widehat\delta^{-\alpha}(z))\) for all \(z\in\Omega\). The authors prove that if \(\Omega\) is pseudoconvex, then: - \(CW_6(\Omega,\mathbb C^m)\neq\emptyset\), - if \(\Omega\) is bounded, then \(CW_2(\Omega,\mathbb C^m)\neq\emptyset\), - \(P_\alpha(\Omega)\neq\emptyset\) for all \(\alpha>6\), - if \(\Omega\) is bounded, then \(P_\alpha(\Omega)\neq\emptyset\) for all \(\alpha>2\).