Abstract:In this paper, we 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.
What problem does this paper attempt to address?
This paper aims to solve the problem of regularity estimates for solutions of the complex Monge - Ampère equation on Hermitian manifolds. Specifically, the authors mainly focus on two aspects of problems:
1. **Interior \(C^2\) estimates**:
- Using the Bedford - Taylor method, the authors study the interior \(C^2\) estimates for the Dirichlet problem of the complex Monge - Ampère equation in the unit ball. They consider the following equation:
\[
\begin{cases}
(\omega+\sqrt{- 1}\partial\bar{\partial}u)^n = f\omega^n & \text{in }B, \\
u=\varphi & \text{on }\partial B,
\end{cases}
\]
where \(0\leq f\in C^{1,1}(B)\) and \(\omega\) is a smooth positive - definite \((1,1)\)-form (not necessarily closed). Through this method, they obtain the interior \(C^2\) estimates of the solution \(u\), and prove that for any compact subset \(B'\subset\subset B\), there exists a constant \(C\) depending only on \(\omega\) and \(\text{dist}(B',\partial B)\) such that
\[
\|u\|_{C^{1,1}(B')}\leq C\|\varphi\|_{C^{1,1}(\partial B)}+C\|f^{1 / n}\|_{C^{1,1}(B)}.
\]
2. **Local Calabi \(C^3\) estimates**:
- The authors also study the local Calabi \(C^3\) estimates for the complex Monge - Ampère equation on Hermitian manifolds. They consider the following equation:
\[
(\omega+\sqrt{- 1}\partial\bar{\partial}\varphi)^n = e^f\omega^n,
\]
where \(0\leq f(z)\in C^\infty(M)\) and \(\omega\) is the Hermitian form associated with the metric \(g\). Suppose the solution \(\varphi(z)\) satisfies
\[
|d\varphi|_\omega+|\partial\bar{\partial}\varphi|_\omega\leq K,
\]
then for any compact subset \(\Omega'\subset\subset\Omega\subset M\), the mixed - type third - order derivatives can be estimated as
\[
|\nabla_\omega\partial\bar{\partial}\varphi|_\omega\leq C\quad\text{for }z\in\Omega',
\]
where \(C\) is a constant depending on \(K\), \(|d\omega|_\omega\), \(|R|_\omega\), \(|\nabla R|_\omega\), \(|T|_\omega\), \(|\nabla T|_\omega\), \(\text{dist}(\Omega',\partial\Omega)\) and \(|\nabla^s f|_\omega\) (\(s = 0,1,2,3\)).
These estimates are important in complex geometry problems.