[论文解读] Hessian estimates for the sigma-2 equation in dimension three

Micah Warren, Yu Yuan|ArXiv.org|Dec 1, 2007

Advanced Mathematical Modeling in Engineering参考文献 11被引用 7

一句话总结

本文在三维空间中建立了 $\sigma_2$ 方程的内部先验 Hessian 估计，具体为特殊拉格朗日子方程 $\sigma_2(D^2u) = 1$ 或等价地 $\sum\arctan\lambda_i = \pi/2$。通过在极小拉格朗日子图上使用几何分析，并利用 $b = \ln\sqrt{1 + \lambda_{\max}^2}$ 的 Jacobi 型不等式，作者导出了以更大球体内 $Du$ 的 $L^\infty$ 范数表示的 $|D^2u(0)|$ 的有界性，从而得到一个 Liouville 型结果，并证明了黏性解的正则性。

ABSTRACT

We derive a priori interior Hessian estimates for the special Lagrangian equation $σ_{2}=1$ in dimension three.

研究动机与目标

• 建立三维空间中 $\sigma_2$ 方程 $\sigma_2(D^2u) = 1$ 的内部先验 Hessian 估计。
• 解决三维空间中特殊拉格朗日子方程 $\sum \arctan \lambda_i = \pi/2$ 的 $C^0$ 黏性解的正则性问题。
• 将二维空间中的 Heinz 型 Hessian 估计推广至三维空间，克服高余维下 Pogorelov 型估计的失效。
• 通过所导出的 Hessian 估计证明：具有二次增长的全局解必为二次多项式。
• 证明 $\mathbb{R}^3$ 中 $\sigma_2 = 1$ 方程的 $C^0$ 黏性解为实解析函数，解决正则性问题。

提出的方法

• 将 $\sigma_2 = 1$ 方程的几何表述为 $\mathbb{R}^3 \times \mathbb{R}^3$ 中的极小拉格朗日子图，其中相位条件 $\sum \arctan \lambda_i = \pi/2$ 暗示极小性。
• 定义 $b = \ln \sqrt{1 + \lambda_{\max}^2}$，并证明其在极小曲面上满足 Jacobi 不等式，从而实现积分估计。
• 在极小曲面上应用 Michael-Simon 的平均值不等式，通过诱导度量 $g$ 下的 $L^2$-范数控制 $b$ 在某一点的值，利用体积元的散度形式。
• 利用度量 $g$ 与 Hessian 特征值 $\lambda_i$ 之间的共形恒等式，将 $|\nabla_g \varphi|^2 dv_g$ 表示为 $\Delta u$ 和 $\lambda_i$ 的形式，以控制积分。
• 在极小曲面上使用截断函数与 Sobolev 不等式，将体积元 $dv_g$ 控制在 $\|Du\|_{L^\infty}$ 的范围内，适用于不断扩大的球体。
• 结合 Trudinger 的梯度估计与 $b$ 的积分界，最终在原点处导出指数型 Hessian 估计。

实验结果

研究问题

• RQ1 能否在三维空间中为 $\sigma_2$ 方程建立先验 Hessian 估计，其中 Pogorelov 的反例不再适用？
• RQ2 通过在极小曲面上的几何分析，能否证明 $\mathbb{R}^3$ 中特殊拉格朗日子方程 $\sum \arctan \lambda_i = \pi/2$ 具有内部 Hessian 估计？
• RQ3 能否利用 Hessian 估计证明三维空间中 $\sigma_2 = 1$ 方程的 $C^0$ 黏性解为实解析函数？
• RQ4 Hessian 估计对解的梯度在内部的依赖关系的最优形式为何？
• RQ5 对 $|D^2u(0)|$ 的指数型有界性是否意味着具有二次增长的全局解满足 Liouville 型定理？

主要发现

• 本文建立了 $\sigma_2(D^2u) = 1$ 在 $\mathbb{R}^3$ 中解的内部先验 Hessian 估计：$|D^2u(0)| \leq C(3) \exp\left[C(3) \max_{B_R(0)} |Du|^3 / R^3\right]$。
• 结合 Trudinger 的梯度估计，该界被改进为 $|D^2u(0)| \leq C(3) \exp\left[C(3) \max_{B_{2R}(0)} |u|^3 / R^6\right]$，将 Hessian 与解的大小联系起来。
• Hessian 估计蕴含一个 Liouville 型结果：任何具有二次增长的全局解必为二次多项式。
• 作者证明了 $\mathbb{R}^3$ 中 $\sigma_2 = 1$ 方程的 $C^0$ 黏性解为实解析函数，解决了正则性问题。
• 该方法依赖于 $b = \ln \sqrt{1 + \lambda_{\max}^2}$ 的 Jacobi 不等式，其为次调和函数，允许通过 Michael-Simon 的平均值不等式实现积分控制。
• 极小拉格朗日子图上的体积元 $dv_g$ 通过共形恒等式与 Sobolev 不等式实现控制，最终将 Hessian 控制在 $\|Du\|_{L^\infty}$ 的范围内。