Domain of holomorphy characterization

141 Views Asked by At

Let $U\subset\mathbb{C}^n$ be a domain of holomorphy.

The following proposition is true?

There is a holomorphic function $f\in H(U)$ such that for all $a\in\partial U$, $\lim_{z\to a}f(z)=\infty$ $(z\in U)$.

Any hint would be appreciated.

1

There are 1 best solutions below

3
On

This can't even be done in $\mathbb {C}^1.$ Take the open unit disc $\mathbb {D}.$ Then there is no $f\in H(\mathbb {D})$ such that the radial limit of $f$ is $\infty$ at every point of the boundary, or even at every point of an open arc on the boundary. This is a consequence of Baire's theorem: If there were such an $f,$ then by Baire the radial limit of $\infty$ would have to occur on some open arc at a uniform rate. Then nearby that arc, $1/f$ would be holomorphic and extend continuously to the arc, with boundary values $0$ on the arc. That can't happen, contradiction.

Now you could ask for a holomorphic $f$ that is unbounded in $U\cap B(a,r)$ for each $a \in \partial U$ and each $r>0.$ This can be done in one complex variable. Not sure about several variables.