Abstract:We show that convex viscosity solutions of the Lagrangian mean curvature equation are regular if the Lagrangian phase has Hölder continuous second derivatives.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the regularity of convex viscosity solutions to the Lagrangian Mean Curvature Equation. Specifically, the authors study the regularity of convex viscosity solutions when the Lagrangian phase has Hölder - continuous second - order derivatives.
### Background and Problem Description of the Paper
#### 1. Introduction
The paper discusses the Lagrangian Mean Curvature Equation:
\[ F(D^2 u)=\sum_{i = 1}^n \arctan\lambda_i=\psi(x) \]
where \(\lambda_i\) are the eigenvalues of the Hessian matrix \(D^2 u\), and \(\psi: B_1(0)\to[0, n\pi/2)\) belongs to \(C^{2,\alpha}(B_1(0))\), that is, \(\psi\) has Hölder - continuous second - order derivatives.
#### 2. Mean Curvature Vector of Lagrangian Submanifolds
In [HL82], the mean curvature vector \(\vec{H}\) of the Lagrangian submanifold \(L=(x, Du(x))\subset\mathbb{C}^n\) is represented as:
\[ \vec{H}=J\nabla_g\psi \]
where \(\nabla_g\) is the gradient operator under the metric \(g\), and \(J\) is the complex structure matrix (or the \(\frac{\pi}{2}\) rotation matrix in \(\mathbb{C}^n\)).
#### 3. Special Lagrangian Equation
When the phase \(\psi\) is a constant \(c\), the equation becomes the special Lagrangian equation:
\[ \sum_{i = 1}^n \arctan\lambda_i=c \]
or equivalently:
\[ \cos c\sum_{1\leqslant 2k + 1\leqslant n}(- 1)^k\sigma_{2k+1}-\sin c\sum_{0\leqslant 2k\leqslant n}(- 1)^k\sigma_{2k}=0 \]
where \(\sigma_k\) represents the symmetric polynomial of \(\lambda_i\).
#### 4. Importance of Regularity
The regularity problem is a fundamental problem for these geometrically and analytically important equations. The main results of the paper are as follows:
### Main Results
#### Theorem 1.1
Let \(u\) be a convex viscosity solution on \(B_1(0)\subset\mathbb{R}^n\) and \(\psi\in C^{2,\alpha}(B_1)\), then \(u\in C^{4,\alpha}(B_1)\).
#### Theorem 1.2
Let \(u\) be a \(C^{4,\alpha}\) convex solution on \(B_1(0)\subset\mathbb{R}^n\) and \(\psi\in C^{2,\alpha}(B_1)\), then \(u\) satisfies the following Hessian estimate:
\[ |D^2 u(0)|\leqslant C(n,\alpha,\text{osc}_{B_{1/2}}(u),\|\psi\|_{C^{2,\alpha}(B_{1/2})}) \]
### Applications
#### Lagrangian Mean Curvature Flow
In particular, when \(\psi(x)=\kappa\cdot x + c\), the gradient graph \((x, Du(x))\) corresponds to a translating soliton of the Lagrangian Mean Curvature Flow. If \(u(x, t)\) solves the potential equation:
\[ u_t=\sum_{i = 1}^n \arctan\lambda_i \]