[論文レビュー] Uniqueness of viscosity solutions of a geometric fully nonlinear parabolic equation

Jingyi Chen, Chao Pang|ArXiv.org|May 24, 2009

Nonlinear Partial Differential Equations参考文献 2被引用数 4

ひとこと要約

本稿は、バーレス＝ビトゥン＝レイの比較原理を用いて、ラグランジュ平均曲率フローに由来する幾何的完全非線形放物型方程式の粘性解の一意性を確立する。演算子 $ F(X) = \sum \arctan \lambda_j(X) $ について構造的仮定 (H1) および (H2) を検証することで、粘性下解および上解が比較原理を満たし、$ \mathbb{R}^n \times [0,\infty) $ 上で任意の連続初期データに対して一意な連続粘性解が存在することを証明する。

ABSTRACT

We observe that the comparison result of Barles-Biton-Ley for viscosity solutions of a class of nonlinear parabolic equations can be applied to a geometric fully nonlinear parabolic equation which arises from the graphic solutions for the Lagrangian mean curvature flow.

研究の動機と目的

• ラグランジュ平均曲率フローに由来する幾何的完全非線形放物型方程式の粘性解の一意性を確立すること。
• バーレス＝ビトゥン＝レイの枠組みで必要な構造的仮定 (H1) および (H2) が、演算子 $ F(X) = \sum \arctan \lambda_j(X) $ に対して満たされることを検証すること。
• 一次元から一般の次元 $ n \geq 1 $ に対して、連続初期データに対する一意性結果を拡張すること。
• 有界領域における初期境界値問題（ゼロ境界条件）に対して、比較原理の有効性を確認すること。

提案手法

• 行列 $ D^2u $ の対角化を用いて、$ F(X) = -\frac{i}{2} \log \frac{\det(I + iX)}{\det(I - iX)} $ が $ \sum \arctan \lambda_j(X) $ に等しいことを定義する。
• 関数 $ f_{XY}(t) = F(tX + (1-t)Y) $ が区間 $[0,1]$ 上で単調増加であることを示すことにより (H1) を検証する。
• $ f_{XY}(t) = -\frac{i}{2} \operatorname{tr}(\log A - \log B) $ を微分し、$ C^{-1} $ の正定値性から導関数 $ f_{XY}'(t) \geq 0 $ を示す。
• 積分表現と固有値の比較を用いて、$ 0 < \alpha < 1 $ に対して $ F(X) - F(Y) \leq \operatorname{tr}((X-Y)^+)^\alpha $ を示し、(H2) を確立する。
• バーレス＝ビトゥン＝レイの定理 2.1 を適用し、$ \mathbb{R}^n \times [0,\infty) $ 上で比較原理および粘性解の一意性を結論づける。
• 文献 [3] の定理 8.2 を用いて、有界領域への結果の拡張を行い、ゼロ境界データを伴う初期境界値問題に対して一意性が成り立つことを確認する。

実験結果

リサーチクエスチョン

• RQ1 幾何的完全非線形放物型方程式 $ u_t = \sum \arctan \lambda_j(D^2u) $ は、$ \mathbb{R}^n $ 上の連続初期データに対して一意な粘性解をもつか？
• RQ2 バーレス＝ビトゥン＝レイの比較原理を、構造的仮定 (H1) および (H2) の検証により、この幾何的方程式に適用可能か？
• RQ3 演算子 $ F(X) = \sum \arctan \lambda_j(X) $ は行列順序に関して単調か、すなわち $ X \geq Y $ ならば $ F(X) \geq F(Y) $ か？
• RQ4 初期境界値問題（ゼロ境界条件）の有界領域 $ \Omega \subset \mathbb{R}^n $ に対しても、一意性結果は拡張可能か？
• RQ5 差 $ F(X) - F(Y) $ と $ X - Y $ の正の部分 $ (X-Y)^+ $ の間の定量的関係は何か？

主な発見

• 演算子 $ F(X) = \sum \arctan \lambda_j(X) $ は (H1) を満たす。$ X \geq Y $ ならば $ F(X) \geq F(Y) $ であることが、関数 $ f_{XY}(t) = F(tX + (1-t)Y) $ の単調性により証明される。
• 定数 $ K_1 > 0 $、$ K_2 = n\pi $、任意の $ \alpha \in (0,1) $ に対して (H2) が成り立つ。実際、$ F(X) - F(Y) \leq n\pi \cdot \left( \operatorname{tr}((X-Y)^+) \right)^\alpha $ が成り立つ。
• 比較原理が適用可能である：上半連続な粘性下解 $ u $ と下半月連続な粘性上解 $ v $ が $ u(\cdot,0) \leq v(\cdot,0) $ を満たすならば、$ \mathbb{R}^n \times [0,T) $ 上で $ u \leq v $ が成り立つ。
• 任意の連続初期データ $ u_0 \in C(\mathbb{R}^n) $ に対して、方程式の $ \mathbb{R}^n \times [0,\infty) $ 上に一意な連続粘性解が存在する。
• 初期境界値問題（ゼロ境界条件）の有界領域 $ \Omega \subset \mathbb{R}^n $ に対しても、一意性結果が拡張可能である。このとき、解は $ \partial\Omega \times [0,T) $ で $ u = 0 $ を満たし、初期値 $ u(0,\cdot) = \psi \in C(\overline{\Omega}) $ を満たす。
• 証明の根拠は、$ F(X) - F(Y) \leq \operatorname{tr}((X-Y)^+) $ であり、$ \arctan x \in (-\pi/2, \pi/2) $ であることから、差は $ n\pi $ で有界である。これにより、(H2) における $ \alpha $-ホルダー型の評価が可能になる。