Moser-Trudinger inequality for the complex Monge-Ampère equation (Q2204356)

Let \(\Omega\subset \mathbb C^n\) be a bounded and smooth pseudoconvex domain. For a plurisubharmonic function smooth up to boundary and vanishing on the boundary \(u\in \mathcal {PSH}_0(\Omega)\cap \mathcal C^{\infty}(\overline \Omega)\) define the following Monge-Ampère energy \[ \mathcal E(u)=\frac {1}{n+1}\int_{\Omega}(-u)(dd^cu)^n. \] The purpose of this article is to prove a Moser-Trudinger-type inequality for the complex Monge-Ampère equation. There exist positive constants \(\alpha\), \(C\) depending only on \(n\) and \(\operatorname{diam}(\Omega)\) such that for all \(u\in \mathcal {PSH}_0(\Omega)\cap \mathcal C^{\infty}(\overline \Omega)\), \(u<0\) the following inequality holds \[ \int_{\Omega} e^{\alpha\left(-u\mathcal E(u)^{-\frac {1}{n+1}}\right)^{\frac {n+1}{n}}} \leq C. \] The constant \(\frac {n+1}{n}\) in this Moser-Trudinger inequality is optimal. The following Sobolev inequality for the complex Monge-Ampère equation is also proved in the paper. For \(p>1\) and for all \(u\in \mathcal {PSH}_0(\Omega)\cap \mathcal C^{\infty}(\overline \Omega)\) holds \[ \Vert u\Vert_{L^p}\leq D \mathcal E(u)^{\frac {1}{n+1}}, \] where the constant \(D\) depends only on \(n\), \(p\) and \(\operatorname{diam}(\Omega)\). The proofs of the Moser-Trudinger and Sobolev-type inequalities is based on classical PDE techniques, and the gradient flow method is used.