[論文レビュー] Global Propagation of Singularities for Time Dependent Hamilton-Jacobi Equations

Piermarco Cannarsa, Marco Mazzola+1 more|arXiv (Cornell University)|Aug 24, 2014

Geometric Analysis and Curvature Flows参考文献 23被引用数 16

ひとこと要約

この論文は、2次ハミルトニアンを伴う時刻依存のハミルトン＝ジャコビ方程式の可視解における特異点が有限時間内に消えることはないことを確立し、一般化された特異点の特徴に沿った特異点のグローバルな伝播を証明する。エネルギー推定と特異曲線に沿った散逸的挙動の解析を用いて、ハミルトニアンおよび初期データに適切な凸性と正則性条件が満たされれば、特異点は無期限に存続するか、あるいは領域の境界に達するまで存続することを示している。

ABSTRACT

We investigate the properties of the set of singularities of semiconcave solutions of Hamilton-Jacobi equations of the form \\begin{equation*} u_t(t,x)+H(\ abla u(t,x))=0, \\qquad\ ext{a.e. }(t,x)\\in (0,+\\infty)\ imes\\Omega\\subset\\mathbb{R}^{n+1}\\,. \\end{equation*} It is well known that the singularities of such solutions propagate locally along generalized characteristics. Special generalized characteristics, satisfying an energy condition, can be constructed, under some assumptions on the structure of the Hamiltonian $H$. In this paper, we provide estimates of the dissipative behavior of the energy along such curves. As an application, we prove that the singularities of any viscosity solution of the above equation cannot vanish in a finite time.

研究の動機と目的

• 時刻依存のハミルトン＝ジャコビ方程式の可視解における特異点が有限時間内に消えるかどうかという未解決問題を解消すること。
• 一般化された特徴に沿って生じる局所的特異点伝播が、すべての時間にわたるグローバルな結果に拡張されることを示すこと。
• 特異特徴に沿ったエネルギーの散逸的挙動を分析し、特異点の長期的持続性を確立すること。
• 2次ハミルトニアンの場合、グローバルな凹性がなくても、可視解の特異点が消えないことを証明すること。
• 特にホモトピー性および正則性の性質に特異点の持続性が影響を与える文脈において、最適制御および幾何的解析に適用可能な枠組みを提供すること。

提案手法

• 可視解の理論と擬凸関数を用いて、解の正則性および特異構造を特徴付ける。
• 特異点が時間の経過とともに前方に伝播するリプシッツ連続曲線として一般化された特徴を構築する。
• 一般化された特徴に沿ってエネルギー条件を課し、これらの曲線に沿ったエネルギーの進化を記述する微分不等式を導出する。
• 擬凸関数の部分微分に関する超微分計算および推定を適用し、勾配および特異点の成長を制御する。
• 差分商と右微分推定を含む極限的議論を用いて、エネルギー関数に対する微分不等式を導出する。
• エネルギーと時間シフトを含むリャプノフ型関数との比較議論を用いて、エネルギーの単調減少を証明し、特異点の持続性を保証する。

実験結果

リサーチクエスチョン

• RQ1 時刻依存のハミルトン＝ジャコビ方程式の可視解における特異点は有限時間内に消えることができるか？
• RQ2 一般化された特徴に特異点を運ぶものが、有限時間内に終了しない条件は何か？
• RQ3 特異特徴に沿ったエネルギーの挙動はいかなるものか？ その挙動はグローバル伝播を証明するために利用可能か？
• RQ4 ハミルトニアンの2次構造が特異点の持続性をどの程度保証するか？
• RQ5 解が僅かに擬凸である場合でも、特異点集合がすべての時間にわたり空でないことを示せるか？

主な発見

• 2次ハミルトニアン $ H(p) = \frac{1}{2}Ap \cdot p $ を伴う時刻依存のハミルトン＝ジャコビ方程式の可視解における特異点は、有限時間内に消えることはない。
• 一般化された特徴に沿ったエネルギーは非増加的であり、爆発や消滅を防ぐ微分不等式を満たす。
• 解の特異点集合は、$ \gamma(t) $ を $ [t_0, t_0 + T) $ 上で定義されたリプシッツ曲線に沿ってグローバルに伝播する。ここで $ T = +\infty $ または $ \gamma(t) $ が $ \Omega $ の境界に達するまでである。
• エネルギー関数 $ F(\tau(t), p(t)) $ は推定式 $ F(\tau(s), p(s)) \leq \left(\frac{t_0 - \bar{t}}{s - \bar{t}}\right)^2 F(\tau(t_0), p(t_0)) $ を満たし、これは減少を示唆し、特異点の持続性を保証する。
• ハミルトニアン $ H $ が正定値な2次形式であり、初期データがリプシッツ連続であるという仮定のもとで、この結果は成り立つ。これにより、エネルギー挙動が制御された一般化された特徴の存在が保証される。
• 解析により、特異点集合がすべての $ t > t_0 $ に対して空でないことが確認され、ハミルトン＝ジャコビ方程式の力学において、ある種の不可逆性が確立された。