Semilinear perturbation of powers of the mizohata operators (Q4237902)

The author considers semilinear partial differential equations in \(\mathbb{R}^2\) of the form \[ (D_x+ ix^{2h}D_y)^mu+ F(x,y,u,D^j_x D^k_y u)_{j+ k\leq m-1}= 0, \] where \(h\) is a positive integer and the nonlinearity \(F\) is an analytic function in its arguments. In the case when \(F\) is linear, it was proved by \textit{L. Cattabriga}, \textit{L. Rodino} and \textit{L. Zanghirati} [Commun. Partial Differ. Equations 15, No. 1, 81-96 (1990; Zbl 0704.35035)] that the equation is analytic hypoelliptic, i.e. every distribution solution is actually an analytic function. The author gives a version of this result for the semilinear case; in particular, analyticity is here obtained under suitable assumptions on the structure of \(F\), and by assuming from the beginning \(u\in C^\infty\). The interesting proof is based on an explicit fundamental solution and the use of a Green's formula for the linear part.