Dirichlet's Problem When the Data is an Entire Function (Q4024873)

The main objective of this paper is to prove the following Theorem. Let \(\Omega:= \{x\in \mathbb{R}^ n\): \(\sum_{i=1}^ n a_ j^{- 2} x_ j^ 2<1\}\), where \(a_ j>0\). If \(f\) is entire on \(\mathbb{C}^ n\), the solution of the Dirichlet problem \[ \Delta u=0 \quad \text{in} \quad \Omega, \qquad u=f \quad \text{on} \quad \partial\Omega \] extends to a harmonic function on \(\mathbb{R}^ n\). The special case \(a_ 1= \dots= a_ n= 1\) is stated in [\textit{H. S. Shapiro}, Bull. Lond. Math. Soc. 21, No. 6, 513-537 (1989; Zbl 0706.35034)]. Unfortunately, the proof offered there is incorrect.