Existence of local sufficiently smooth solutions to the complex Monge-Ampère equation (Q4813804)

The author considers the local solution of the complex Monge-Ampère equation \[ \det (u_{j\overline k})=f(\Re z,\Im z,u,\nabla u) \] for \(z\in \mathbb{C}^n\), where \(f\geq 0\) is \(C^\infty\) smooth in a neighborhood of \(Z_0=(z_0,u_0,p_0)\), and \(f(Z_0)=0\). First the author using the Nash-Moser's technique to prove that for \(s>n+3\), there is a pluriharmonic real valued solution \(u\in H^s\) in a neighborhood of \(z_0\). In case \(f\) has all partial derivatives up to order \(k-1\) vanish at \(Z_0\) but one of the partial derivatives of order \(k\) is nonzero at \(Z_0\), by the result of \textit{C. J. Xu} and \textit{C. Zuily} [Trans. Am. Math. Soc. 308, 243--257 (1988; Zbl 0669.35019)], the solution is \(C^\infty\) smooth.