[論文レビュー] Uniqueness of solutions to Hamilton-Jacobi equations arising in the Calculus of Variations

Gianni Dal Maso, Hélène Frankowska|ArXiv.org|Jun 2, 2000

Optimization and Variational Analysis参考文献 6被引用数 8

ひとこと要約

本稿では、ラグランジアンが連続で、速度変数に関して凸であり、超線形な強制力条件を満たすという最小限の仮定の下で、変分法に現れるハミルトニアン・ジャコビ方程式の粘性解の一意性を確立する。主な貢献は、値関数が弱い接続微分条件と初期条件を満たす連続な粘性解として一意に定まることの証明であり、これは古典的または局所リプシッツ連続な解に限らない、より広い下半連続関数のクラスへ一意性を拡張するものである。

ABSTRACT

We prove the uniqueness of the viscosity solution to the Hamilton-Jacobi equation associated with a Bolza problem of the Calculus of Variations, assuming that the Lagrangian is autonomous, continuous, superlinear, and satisfies the usual convexity hypothesis. Under the same assumptions we prove also the uniqueness, in a class of lower semicontinuous functions, of a slightly different notion of solution, where classical derivatives are replaced only by subdifferentials. These results follow from a new comparison theorem for lower semicontinuous viscosity supersolutions of the Hamilton-Jacobi equation, that is proved in the general case of lower semicontinuous Lagrangians.

研究の動機と目的

• 変分法におけるボルツァ問題から導かれるハミルトニアン・ジャコビ方程式の粘性解の一意性を確立すること。
• 局所リプシッツ連続または有界な解に限らない、より広い連続関数のクラスへの一意性結果の拡張。
• 特定の接続微分条件と初期条件を満たす下半連続関数のクラスにおける一意性の証明。
• 下半連続ラグランジアンの状況において、既存の粘性上位解に関する比較定理を一般化すること。
• 解の正則性仮定を最小限に抑えた状況でも一意性を保証する新しい比較原理の提供。

提案手法

• 下半連続な粘性上位解に対して、新たな比較定理を導入する。
• 古典的微分を置き換えるために、接続方向微分を用いて解の弱い正則性条件を特徴付ける。
• 存続理論とクラークの接続錐を用いて、解関数の下包図を分析する。
• 分離定理および接続錐の閉凸包の性質を用いて、ハミルトニアンを含む不等式を導出する。
• 近似軌道の列を構成し、ラグランジアンの連続性を用いて積分推定値における極限に移行する。
• 下包図における軌道の存続性に関する定理2.2を適用し、解が値関数を支配する微分不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 解関数に対して最小限の条件下で、値関数がハミルトニアン・ジャコビ方程式の唯一の粘性解となるのはどのような条件か？
• RQ2 局所リプシッツ連続でないが、弱い接続微分条件を満たす連続な粘性解に対しても一意性が保証されるか？
• RQ3 解のクラスを特定の接続微分制約を満たす下半連続関数に拡張した場合、値関数は依然として唯一の解であるか？
• RQ4 ハミルトニアン・ジャコビ方程式の文脈において、下半連続な粘性上位解に対して、どのように比較原理を定式化し証明できるか？
• RQ5 接続微分条件 (1.9) および (1.10) は、完全な正則性を要さずに一意性を保証するために果たす役割は何か？

主な発見

• 値関数 $ V $ は、接続微分条件 (1.9) および (1.10) と初期条件 (1.7) を満たす関数の中で、ハミルトニアン・ジャコビ方程式 (1.3) の唯一の連続な粘性解である。
• 一意性結果は、ラグランジアン $ L $ が連続で、速度変数に関して凸であり、超線形な強制力条件を満たすという仮定のもとで成り立つ。
• 下半連続な粘性上位解に対して有効である、新たな下半連続な粘性上位解に関する比較定理が確立された。この定理は、ラグランジアンが僅かに下半連続であっても成立する。
• 証明により、$ W \neq V $ であると仮定すると、$ W $ の下包図における存続性の議論によって矛盾が生じるため、$ W \neq V $ は成立しない。
• この結果は、解の局所リプシッツ連続性や有界性を要する従来の一意性定理を拡張するものである。
• 接続微分条件 (1.9) および (1.10) が、一般化された意味で解が粘性解としての性質を示すのに十分であることが示された。これにより、比較原理が適用可能になる。