A priori estimates and a Liouville theorem for complex Monge-Ampère equations (Q1059188): Difference between revisions

Consider the elliptic Monge-Amperè equations of the form \(\det (\partial^ 2u/\partial z_ i\partial \bar z_ j)=\Phi (z,u(z))\) over a domain \(\Omega \subseteq {\mathbb{C}}^ n\), with the following assumptions: (A) \(\Phi\) is defined and of class \(C^ 2\) on a neighbourhood of \(\{(z,u(z)):z\in \Omega \}\subseteq {\mathbb{C}}^ n\times {\mathbb{R}},\) and satisfies \(\Phi (z,u(z))\geq 1/a\), \(| \nabla \Phi (z,u(z))|,| \partial^ 2\Phi (...)/\partial z_ i\partial \bar z_ j|,...,| \partial^ 2\Phi (...)/\partial u^ 2| \leq b,\) \(z\in \Omega.\) (B) The solution u(z) is a strictly plurisubharmonic function of class \(C^ 4(\Omega)\), \(\sum \frac{\partial^ 2u}{\partial z_ i\partial \bar z_ j}(z)\zeta_ i{\bar \zeta}_ j>0,\) \(z\in \Omega\), \(\zeta \in {\mathbb{C}}^ n\), and \(| \frac{\partial u}{\partial z_ j}(z)|,\quad | \frac{\partial^ 2u}{\partial z_ i\partial \bar z_ j}(z)| \leq K,\) \(z\in \Omega.\) The author first proves a differential inequality on the auxiliary function \(w(z)=u_ k^{\ell_ m}(z)u^ k_{\ell_ m}(z)\), \(z\in \Omega\). By using the differential inequality the author proves estimates for the mixed third derivatives: \(| \frac{\partial^ 3u}{\partial z_ k\partial \bar z_{\ell}\partial z_ m}(z)| \leq C,\) \(z\in \Omega '\subset \subset \Omega,\) where C is a constant, depending only on n, a, b, K and \(dist (\Omega ',b\Omega).\) When \(\Phi\) \(\equiv 1\), \(\Omega ={\mathbb{C}}^ n\), the author proves that \(\partial^ 2u/\partial z_ i\partial \bar z_ j\), \(i,j=1,...,n\) are constants. Hence by the classical Liouville theorem, all second derivatives of u are constants.