[论文解读] Interior Hessian estimates for Sigma-2 equations in dimension three

Guohuan Qiu|arXiv (Cornell University)|Nov 2, 2017

Nonlinear Partial Differential Equations参考文献 3被引用 10

一句话总结

本文建立了三维空间中 $σ_2$ Hessian 方程解的先验内部 $C^2$ 估计，推广了 Warren-Yuan 的结果。通过引入一种针对具有有界平均曲率的黎曼子流形的新平均值不等式，并结合最大值原理方法，作者证明了 Hessian 范数受 $\|f\|_{C^2}$、$\|1/f\|_{L^\infty}$ 和 $\|u\|_{C^1}$ 控制，从而解决了三维空间中长期存在的正则性问题。

ABSTRACT

We prove a priori interior C2 estimate for σ_2 = f in R3, which generalizes Warren-Yuan's result.

研究动机与目标

• 建立三维空间中 $σ_2$ Hessian 方程的先验内部 $C^2$ 估计，此前因缺乏凸性而使已有方法失效。
• 将 Warren-Yuan 对 $\sigma_2(D^2u) = 1$ 的 $C^2$ 估计推广至一般情形 $\sigma_2(D^2u) = f$，其中 $f > 0$ 且 $f \in C^2$。
• 通过为具有有界平均曲率的子流形引入新的平均值不等式，消除早期工作中存在的凸性约束。
• 提出一种新证明策略，通过结合改进的最大值原理与几何子流形分析，避免使用 Sobolev 不等式。

提出的方法

• 构建一个几何框架，将图 $(x, Du)$ 视为配备共形度量 $f dx^2 + dy^2$ 的 $\mathbb{R}^3 \times \mathbb{R}^3$ 中的子流形。
• 基于 Hoffman-Spruck 的工作，为具有有界平均曲率的黎曼子流形建立新的平均值不等式，以替代先前结果中使用的 Michael-Simon 不等式。
• 在 $B_5$ 中构造测试函数 $\varphi(x) = 4\log\rho(x) + h(|Du|^2/2) + \log\log\{ \cdots \}$，其中 $\rho(x) = 25 - |x|^2$，以应用最大值原理。
• 在 $\varphi$ 上使用最大值原理，推导出涉及 $\sigma_2^{ij}\varphi_{ij}$ 的微分不等式，再通过曲率和 Hessian 项进行估计。
• 通过精心选择 $h(t) = -\frac{1}{2}\log(1 - t/(2\|Du\|_{L^\infty}^2))$ 确保 $h'' - 2(h')^2 \geq 0$，从而控制二阶项。
• 将所得不等式与对 $f_i$、$f_{ij}$ 的估计以及 $\sigma_2^{ij}$ 的结构相结合，导出 $\sigma_1 f - \sigma_3$ 的有界性，从而控制 $\Delta u$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^3$ 中，$\sigma_2(D^2u) = f$ 的内部 $C^2$ 估计是否在无凸性假设下成立？
• RQ2 能否将最小曲面的平均值不等式推广至具有有界平均曲率的子流形，以避免使用 Sobolev 不等式？
• RQ3 是否可以将 Warren-Yuan 对 $\sigma_2(D^2u) = 1$ 的结果推广至一般 $f \in C^2$ 的情形 $\sigma_2(D^2u) = f$？
• RQ4 能否使用最大值原理方法，绕过 Hessian 估计中对 Sobolev 不等式的依赖？

主要发现

• 本文证明了 $\sup_{B_{1/2}} |D^2u| \leq C$，其中 $C$ 仅依赖于 $\|f\|_{C^2}$、$\|1/f\|_{L^\infty}$ 和 $\|u\|_{C^1}$，从而在 $\mathbb{R}^3$ 中确立了先验 $C^2$ 正则性。
• 在 $B_4$ 中导出了关键估计 $\sigma_1 f - \sigma_3 \leq C \log^{1/2} M_5$，该估计控制了 Hessian 跟的增长。
• 为具有有界平均曲率的子流形引入的新平均值不等式，使得可消除早期工作中存在的凸性假设。
• 该方法通过使用带有对数项的改进最大值原理与曲率控制，成功避免了 Sobolev 不等式。
• 该结果将 Warren-Yuan 对 $\sigma_2(D^2u) = 1$ 的 $C^2$ 估计推广至三维空间中完全非线性的情形 $\sigma_2(D^2u) = f$。
• 证明表明，在共形度量下，图 $(x, Du)$ 具有有界平均曲率，从而实现了对 Hessian 的几何控制。