Abstract:By developing an integral approach, we present a new method for the interior regularity of strictly convex solution of the Monge-Ampère equation $\det D^2 u = 1$.
What problem does this paper attempt to address?
This paper aims to solve the interior regularity problem of the Monge - Ampère equation \( \det D^2u = 1 \). Specifically, the author proposes a new integral method to derive the interior \( C^2 \) estimates of strictly convex solutions in general dimensions. This estimate is of great significance for understanding the smooth properties of the solutions of the equation.
### Background of the Paper
The Monge - Ampère equation \( \det D^2u = 1 \) has wide applications in geometry and applied mathematics, such as the Weyl problem, the Minkowski problem and the optimal transport problem. Since the last century, significant progress has been made in the study of this equation. Recently, Shankar and Yuan gave a new proof of the interior regularity of this equation through the doubling argument of the extrinsic distance function on the maximal Lagrangian submanifold.
### Main Results
By introducing an auxiliary function \( w \), and under certain conditions, the author obtains an important inequality:
\[ (w - u)^{(2n+1)} |D^2u| \leq C(n, \|u\|_{C^{0,1}(\Omega)}, \|w\|_{C^{0,1}(\Omega)}) \]
When \( w = 0 \), the above condition is naturally satisfied, and thus the familiar Pogorelov - type estimate is obtained:
\[ (-u) C(n) |D^2u| \leq C(n, \|u\|_{C^{0,1}(\Omega)}) \]
Further assuming that the region \( \Omega \) is normalized, that is, \( B_r(0) \subset \Omega \subset B_R(0) \), then the interior estimate can be obtained:
\[ \|D^2u\|_{\Omega_\epsilon} \leq C(n, \epsilon, r, R, \|u\|_{C^{0,1}(\Omega)}) \]
where \( \epsilon > 0 \) and \( \Omega_\epsilon=\{x \in \Omega: \text{dist}(x, \partial \Omega)> \epsilon \}\).
### Corollary
If \( u \) is a strictly convex solution defined on \( \Omega \subset \mathbb{R}^n \), then \( u \) is smooth in the interior of \( \Omega \).
### Proof Ideas
The author's proof ideas are as follows:
1. **Boundary Jacobi Inequality**: By considering the Lagrangian graph \( M_a = \{(x, Du(x))\} \subset (\mathbb{R}^n\times \mathbb{R}^n, dx dy) \) and the induced metric \( g = [g_{ij}]_{n\times n}=D^2u \), using the Jacobi inequality \( \Delta_g b \geq (1 + \frac{1}{2n}) |\nabla_g b|^2 b^{-1} \), where \( b=\det(I + D^2u) \), the boundary Jacobi inequality is derived.
2. **Pogorelov - type \( W^{2, p} \) Estimate**: Using the boundary Jacobi inequality, through the iterative method, the boundedness of the \( L^{n + 1} \) norm is proved.
3. **From \( W^{2, p} \) Estimate to \( W^{2, \infty} \) Estimate**: Through the Moser iteration technique, the control of the \( L^\infty \) norm is proved, and thus the main conclusion is drawn.
### Conclusion
This paper successfully solves the interior regularity problem of the Monge - Ampère equation \( \det D^2u = 1 \) through a new integral method and provides a strict mathematical proof. This result not only deepens...