Regularity estimates of solutions to complex Monge-Ampère equations on Hermitian manifolds (Q630797)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Regularity estimates of solutions to complex Monge-Ampère equations on Hermitian manifolds
scientific article

    Statements

    Regularity estimates of solutions to complex Monge-Ampère equations on Hermitian manifolds (English)
    0 references
    0 references
    0 references
    21 March 2011
    0 references
    The authors obtain the Bedford-Taylor interior \(C^2\) estimate and local Calabi \(C^3\) estimate for the solutions to complex Monge-Ampére equations on Hermitian manifolds. Let \({\mathbb B}\) be the unit ball in \({\mathbb C}^n\) and \(\omega\) be a smooth positive \((1,1)\)-form (not necessarily closed) on \(\overline{\mathbb B}\). Assume that \(u\in C({\overline{\mathbb B}})\cap PSH(\omega, {\mathbb B})\cap C^2({\mathbb B})\) satisfies \((\omega + \sqrt{-1}\partial \bar\partial u) = f \omega^n\) in \({\mathbb B}\) and \(u = \phi\) on \(\partial{\mathbb B}\) for a function \(0 \leq f^{\frac{1}{n}} \in C^{1,1}({\mathbb B})\) and a function \(\phi \in C^{1,1}(\partial {\mathbb B})\). With these assumptions, the authors prove that, for any compact subset \(B'\Subset {\mathbb B}\), there exists a constant \(C\) depending only on \(\omega\) and \(\text{dist}(B', \partial {\mathbb B})\) such that \[ \| u\|_{C^{1,1}(B')} \leq C \|\phi\|_{C^{1,1}(\partial {\mathbb B})} + C \| f^{\frac{1}{n}}\|_{C^{1,1}({\mathbb B})}. \] Here, \(PSH(\omega, {\mathbb B})\) denotes the space of all integrable, upper semicontinuous functions \(u\) satisfying \((\omega + \sqrt{-1}\partial \bar \partial u) \geq 0\). On the other hand, the authors also show a local version of the \(C^3\)-estimate of the complex Monge-Ampére equation on Hermitian manifolds. They prove that, if \((M, g)\) is a Hermitian manifold with the Hermitian form \(\omega\) and \(u \in PSH(\omega, M) \cap C^4(M)\) is a solution of the equation \((\omega+\sqrt{-1}\partial \bar \partial u)^n = e^f \omega^n\) such that \(\| \partial\bar\partial u\|_{\omega}\) is bounded by a constant \(K\), where \(f \in C^\infty(M)\), then, for any \(\Omega' \Subset \Omega \subset M\), the third derivative \(|\nabla_\omega \partial \bar\partial u|\) is bounded on \(\Omega'\) by a positive constant depending only on \(K\), \(\| d\omega\|\), \(\text{dist}(\Omega', \partial \Omega)\), \(\| \nabla^s f\|\) with \(s=0,1,2,3\), and torsion tensor and curvature form and their derivatives with respect to the Chern connection.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    complex Monge-Ampere equation
    0 references
    Hermitian manifold
    0 references
    regularity estimates
    0 references
    0 references
    0 references