[論文レビュー] A comparison among various notions of viscosity solutions for Hamilton-Jacobi equations on networks

Fabio Camilli, Claudio Marchi|arXiv (Cornell University)|Jan 2, 2013

Mathematical and Theoretical Epidemiology and Ecology Models被引用数 7

ひとこと要約

本稿は、[1]、[4]、および[6]でそれぞれ独自に提唱された、ネットワーク上におけるハミルトニアン・ジャコビ方程式の3つの異なるバージョンの粘性解の概念の等価性を、共通の枠組みと最小限の仮定の下で示すことにより確立する。主な貢献は、頂点における条件の取り扱いやテスト関数の要件が異なるにもかかわらず、ACCT、IMZ、およびCSの定義が等価であることを証明することであり、これによりネットワーク領域におけるこのような方程式の理論的基盤が統一される。

ABSTRACT

Three definitions of viscosity solutions for Hamilton-Jacobi equations on networks recently appeared in literature ([1,4,6]). Being motivated by various applications, they appear to be considerably different. Aim of this note is to establish their equivalence.

研究の動機と目的

• ハミルトニアン・ジャコビ方程式のネットワーク上における粘性解の定義に生じる不整合を解消すること。これは、異なる応用分野から生じた3つの異なる概念に起因する。
• [1]、[4]、および[6]の定義を比較すること。これらは、解の存在性と一意性を保証しているものの、頂点における条件やテスト関数の要件が異なっている。
• 共通の枠組みと最小限の仮定の下で、3つの定義が等価であることを確立することにより、ネットワーク上におけるこのような方程式の理論的基盤を統一すること。
• 頂点における遷移条件の役割を明確にし、キルホフの法則のような古典的条件が不十分であり、頂点に基づく定義が不可欠であることを示すこと。

提案手法

• 星型ネットワーク（中心頂点と複数の辺を有する）を定義し、各辺に沿った関数および微分をパラメータ表示を用いて表現する。
• 3つの粘性解の定義を導入する：ACCT（[1] からのもの）、IMZ（[4] からのもの）、およびCS（[6] からのもの）。特に頂点における差異に注目する。
• ACCTおよびIMZの定義は片側の上・下微分を用い、各辺に沿った異なる微分を許容する。一方、CSの定義は、互いに逆の微分を持つ辺のペアに沿ってテスト関数が微分可能であることを要求する。
• 超微分およびハミルトニアンの頂点における振る舞いの性質を用いて、ある定義を満たす解が他の定義も満たすことを示すことにより、等価性を証明する。
• 証明は、(ACCT)-下位解 ⇔ (CS)-下位解 および (ACCT)-上位解 ⇔ (CS)-上位解 を示すことで進行し、鍵となるステップはハミルトニアンの強制性および連続性の利用である。
• 解析は、解がリプシッツ連続であることと、ハミルトニアンの下方連続包の構造を用いることで、定義を関連付けることに依存する。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク上におけるハミルトニアン・ジャコビ方程式の3つの異なる粘性解定義（[1]、[4]、[6] からのもの）が、共通の枠組みの下で等価であるか。
• RQ2 テスト関数の要件の違い（例えば、1つまたは2つの辺に沿った微分可能性）が、ネットワークの頂点における解の概念にどのように影響するか。
• RQ3 ハミルトニアンおよびテスト関数に関する仮定が異なるにもかかわらず、IMZおよびCSの定義をどのように統合できるか。
• RQ4 頂点における遷移条件が粘性解を定義する上で果たす役割は何か。なぜキルホフの法則のような古典的条件では不十分なのか。
• RQ5 元の仮定（例えば、強い凸性）を弱めた場合に、これらの定義の等価性を保つために必要な最小限の仮定は何か。

主な発見

• 共通の枠組みに再定式化された場合、ネットワーク上ではACCT、IMZ、およびCSの3つの粘性解定義が等価である。これは、テスト関数の要件や頂点における条件の違いにもかかわらず成立する。
• 等価性は、ハミルトニアンの連続性および勾配変数における強制性という最小限の仮定のもとで成立し、元の研究よりも弱い仮定で成立する。
• 関数が(CS)-上位解であるための必要十分条件は、それが(IMZ)-上位解であることである。この証明は、(CS)-適切なテスト関数の存在およびハミルトニアンの下包の構造に依存する。
• 頂点において(CS)-適切なテスト関数が存在しない場合、解は超微分を含む特定のハミルトニアン条件を満たす必要があり、これはIMZの定義と整合する。
• 証明により、(ACCT)-下位解条件が(CS)-下位解条件と等価であることが示され、同様に上位解についても同様の等価性が成立する。これは、適切なテスト関数の構成と、超微分が定義する区間におけるハミルトニアンの振る舞いの性質を用いる。
• この結果により、制御、交通流、距離関数の応用分野におけるネットワーク上での粘性解の3つの異なるアプローチが統一され、共通の理論的基盤が提供される。