[論文レビュー] Interior Hessian estimates for Sigma-2 equations in dimension three

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

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

ひとこと要約

本稿は、三次元における $\sigma_2$ ヒッセ方程式の解について、事前的な内部 $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.

研究の動機と目的

• 三次元における $\sigma_2$ ヒッセ方程式の事前的な内部 $C^2$ 評価を確立すること。過去の手法は凸性の欠如により失敗していた。
• Warren-Yuan の $\sigma_2(D^2u) = 1$ の $C^2$ 評価を、$f > 0$ かつ $f \in C^2$ である一般の場合 $\sigma_2(D^2u) = f$ に拡張すること。
• 凸性制約を排除するため、有界平均曲率をもつ部分多様体に対する新しい平均値不等式を導入すること。
• Sobolev 不等式を回避する新しい証明戦略を提供すること。最大原理を修正し、幾何的部分多様体解析と組み合わせる。

提案手法

• グラフ $(x, Du)$ を $\mathbb{R}^3 \times \mathbb{R}^3$ 上の部分多様体とみなす幾何的枠組みを導入。この空間には共形計量 $f dx^2 + dy^2$ が備わっている。
• 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}$ を含む微分不等式を導出。この不等式は、曲率項とヘッセ項によって推定される。
• 第二階微分項を制御できるように、$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 三次元において、凸性の仮定なしに $\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 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$ という重要な推定が得られ、ヘッセのトレースの成長が制御される。
• 有界平均曲率をもつ部分多様体に対する新しい平均値不等式のおかげで、先行研究に見られた凸性仮定が排除された。
• 対数的テスト関数と曲率制御を用いた洗練された最大原理により、Sobolev 不等式を回避する手法が成功裏に実現された。
• Warren-Yuan の $\sigma_2(D^2u) = 1$ の $C^2$ 評価は、三次元における完全非線形の場合 $\sigma_2(D^2u) = f$ に一般化された。
• 証明により、共形計量におけるグラフ $(x, Du)$ が有界平均曲率をもつことが示され、ヘッセの幾何的制御が可能になった。