[論文レビュー] An Illustrated Guide of the Modern Approaches of Hamilton-Jacobi Equations and Control Problems with Discontinuities

Guy Barles, Emmanuel Chasseigne|arXiv (Cornell University)|Dec 21, 2018

Stochastic processes and financial applications参考文献 91被引用数 10

ひとこと要約

この図解ガイドは、不連続性を伴うハミルトン＝ヤコビ方程式および制御問題に対する現代的手法を提示し、可視化解、比較原理、および局所的フレームワークを用いた不連続ハミルトニアンの取り扱いに焦点を当てる。1次元およびそれ以上の不連続性、境界条件、接合問題の技術を統合し、簡略化された証明と概念的明確さを備えた体系的で教育的な取り扱いを提供する。

ABSTRACT

This version is the last version of our book project on Hamilton-Jacobi Equations and Control Problems with discontinuities. Compared to the third version (online in december 2022), we have improved Part V (Stratified solutions for state-constraints problems) and Part VI on the applications but also the stability results for stratified solutions; we have rewritten a large part of the introduction and added guidelines for the reader. As in the previous versions, we have incorporated new results and examples, changed some points-of-view, detailed some proofs and corrected several mistakes. Version 3 had 550 pages, this one 630.As the third version, it is composed of six parts: Part I is still a toolbox with key results which are used in all the other parts. The study of the simplest case, i.e. the case of a co-dimension 1 discontinuity, is now split in two parts: in Part II, we only consider control problems and the associated Bellman Equations are treated by using only the classical notion of viscosity solutions. In this part, the methods are a combinations of control and pdes techniques. On the contrary, Part III describes purely pdes approaches which are inspired by the literature on Hamilton Jacobi Equations on networks and which can handle the case of non-convex Hamiltonians. In this part, we present two notions of solutions, namely flux-limited and junction viscosity solutions, and we study in detail their properties by providing comparison and stability results. We also show that they are ``almost'' equivalent when both make sense, i.e. for quasi-convex Hamiltonians. Part IV concerns stratified problems in $\R^N$, i.e. problems with discontinuities of any co-dimensions: the main change compared to the previous version is the introduction of a notion of ``weak'' stratified (sub)solution. In Part V, we address the case of stratified problems in bounded or unbounded domains with state-constraints, allowing very surprising applications as well as singular boundary conditions. Finally, in Part VI we describe some applications to KPP (Kolmogorov-Petrovsky-Piskunov) type problems and we discuss possible extensions to problems with jumps and to ``stratified networks''.Even if we consider this version as being the final one, all comments are welcome!

研究の動機と目的

• 不連続ハミルトニアンを伴うハミルトン＝ヤコビ方程式に対する現代的手法を統合的かつ明確に整理し、特に制御問題の文脈において。
• 1次元およびそれ以上の不連続性を伴う問題における比較原理および可視化解技法を簡略化し、体系化する。
• ネットワークベースのアプローチを多次元および階層的設定に拡張し、境界および状態制約付き問題を含む。
• 明確な解説と概念的洞察を通じて、既存の文献を上回る自己完結的で進化を続ける参考書を提供する。
• 階層的フレームワークが、複雑な境界値問題、特にキルホフ型条件を伴う問題をいかに強固に処理できるかを示す。

提案手法

• 読者の背景と目的に応じて、本の最初から読む必要がないように、『生き残りキット』的戦略を採用する。
• 複数のフレームワークに共通する技術的ツール（比較原理、バリア構成など）を集約した『基本的結果』を専用の第I部として導入する。
• 消滅粘性法を用いて、特にフラックス制限解や接合解において、解の正当化を図る。
• 階層的フレームワークを用いて、ユークリッド空間内での任意の余次元の不連続性を扱い、ネットワークモデルを一般化する。
• 超平面における不連続性を扱うためのイシイ型解を導入・分析し、古典的可視化解の手法の限界を克服する。
• リヨン＝シュジニスフレームワークを接合問題に適用し、多次元領域および境界付着型構成へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 可視化解理論は、ハミルトン＝ヤコビ方程式における不連続ハミルトニアンをどのように扱えるか？
• RQ2 超曲面や階層的多様体に沿った不連続性を伴うHJB方程式に対して、比較原理が成立する最小限の条件は何か？
• RQ3 HJB方程式に対するネットワークベースのアプローチは、一般化を失うことなく、多次元の不連続構造へと拡張可能か？
• RQ4 境界条件および伝達条件は、不連続係数を伴うHJB方程式の適切な定式化にどのように影響するか？
• RQ5 階層的フレームワークは、接合問題、状態制約付き問題、特異境界条件を伴う問題の取り扱いをどの程度統合的に可能にするか？

主な発見

• 著者らは、異なる不連続性タイプにわたる比較原理の統一的取り扱いを通じて、不連続性を伴う文脈における可視化解の体系的フレームワークを確立した。
• 本稿は、イムベールとモヌーのより技術的な証明に比べ、簡略化された比較論証によりフラックス制限解が導けることを示した。
• 階層的アプローチは、接合問題を多次元の不連続性集合へと一般化し、ユークリッド空間内での任意の余次元の問題を扱えるようにした。
• フレームワークは自然に境界条件およびキルホフ型伝達条件を扱えることが示され、タンカー問題および関連拡張例によって裏付けられた。
• イシイの解概念の使用により、超平面に沿った不連続性が生じる際の古典的可視化解アプローチの問題点が解消された。
• 本のオンライン形式の進化的性質により、証明、概念、提示の継続的改善が可能となり、時間の経過とともに明確性と正確性が向上した。