Global real analyticity of solutions to the \({\bar \partial}\)-Neumann problem (Q1093057)

We prove the following. Suppose that D is a smooth bounded circular pseudoconvex domain in \({\mathbb{C}}^ 2\) with real analytic defining function r such that \(r(e^{i\theta}z,e^{i\theta}w)=r(z,w)\), \(\theta\) \(\in [0,2\pi]\), and \(z\partial r/\partial z + w\partial r/\partial w \neq 0\) for all points near the boundary. Then the operator \(\square ={\bar \partial}{\bar \partial}^ *+{\bar \partial}^ *{\bar \partial}\) is analytically hypoelliptic. Some partial results for higher dimensions are also obtained.