[論文レビュー] 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

ひとこと要約

本稿は、次元3における$σ_2$方程式に対して、内挿的事前ヘッセ推定を確立する。具体的には、特殊ラグランジュ方程式$σ_2(D^2u) = 1$、あるいは同値な$∑\arctan\lambda_i = \pi/2$について、最小ラグランジュ的グラフ上の幾何的解析と、$b = \ln\sqrt{1 + \lambda_{\max}^2}$に対するジャコビ型不等式を用いる。これにより、$D^2u(0)$の大きさがより大きな球上での$Du$の$L^\infty$ノルムの関数として評価され、リウヴィル型結果および粘性解の正則性が得られる。

ABSTRACT

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

研究の動機と目的

• 次元3における$\sigma_2$方程式$\sigma_2(D^2u) = 1$の内挿的事前ヘッセ推定を確立すること。
• 3次元における特殊ラグランジュ方程式$\sum \arctan \lambda_i = \pi/2$の$C^0$粘性解の正則性問題に取り組むこと。
• 2次元から3次元へのヘンツ型ヘッセバインディングの拡張を図り、高次元の余次元におけるポゴレロフ型推定の失敗を克服すること。
• 得られたヘッセ推定を用いて、二次的成長を示すグローバル解が二次多項式でなければならないことを証明すること。
• 3次元$\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}$を定義し、最小曲面上でジャコビ不等式を満たすことを証明する。これにより、積分推定が可能になる。
• 最小曲面上でマイケル＝シモンの平均値不等式を適用し、誘導計量$g$に関する$L^2$ノルムを用いて、点における$b$の大きさを評価する。体積要素の発散形を活用する。
• 計量$g$とヘッセ固有値$\lambda_i$との間の等角恒等式を用い、$|\nabla_g \varphi|^2 dv_g$を$\Delta u$と$\lambda_i$の関数として表現し、積分を制御する。
• 切り上げ関数と最小曲面上のソボレフ不等式を用い、体積要素$dv_g$を拡大する球上での$\|Du\|_{L^\infty}$の関数として評価する。
• トゥリディンガーの勾配推定と$b$の積分バインディングを組み合わせ、原点における最終的な指数的ヘッセバインディングを導出する。

実験結果

リサーチクエスチョン

• RQ1 ポゴレロフの反例が失敗する次元3における$\sigma_2$方程式に対して、事前ヘッセ推定を確立できるか？
• RQ2 3次元$\mathbb{R}^3$における特殊ラグランジュ方程式$\sum \arctan \lambda_i = \pi/2$は、最小曲面上の幾何的解析を用いて内挿的ヘッセバインディングを有するか？
• RQ3 3次元における$\sigma_2 = 1$方程式の$C^0$粘性解がヘッセ推定を用いて解析的であることを示せるか？
• RQ4 ヘッセバインディングの内部における解の勾配依存性の鋭い依存関係は何か？
• RQ5 原点における$|D^2u(0)|$の指数的バインディングは、二次的成長を示すグローバル解に対してリウヴィル型定理を示唆するか？

主な発見

• 本稿は、$\mathbb{R}^3$内での$\sigma_2(D^2u) = 1$の解に対して、内挿的事前ヘッセ推定$|D^2u(0)| \leq C(3) \exp\left[C(3) \max_{B_R(0)} |Du|^3 / R^3\right]$を確立する。
• トゥリディンガーの勾配推定と組み合わせることで、バインディングは$|D^2u(0)| \leq C(3) \exp\left[C(3) \max_{B_{2R}(0)} |u|^3 / R^6\right]$に精錬され、ヘッセが解の大きさと関連づけられる。
• ヘッセ推定はリウヴィル型結果を示唆する：任意の二次的成長を示すグローバル解は、二次多項式でなければならない。
• 著者らは、$\mathbb{R}^3$における$\sigma_2 = 1$方程式の$C^0$粘性解が実解析的であることを証明し、正則性の問題を解決した。
• 本手法は、$b = \ln \sqrt{1 + \lambda_{\max}^2}$に対するジャコビ不等式に依存しており、これはサブハーモニックであり、マイケル＝シモンの平均値不等式を用いて積分的制御が可能である。
• 最小ラグランジュ的グラフ上の体積要素$dv_g$は、等角恒等式とソボレフ不等式を用いて制御され、最終的にヘッセが$\|Du\|_{L^\infty}$の関数として評価される。