[論文レビュー] Generalized junction conditions for degenerate parabolic equations

Cyril Imbert, Vinh Duc Nguyen|arXiv (Cornell University)|Jan 8, 2016

Advanced Mathematical Modeling in Engineering参考文献 8被引用数 7

ひとこと要約

本稿では、不連続係数を伴う劣化放物型方程式に対して、制御理論から導かれるフラックス制限条件と頂点テスト関数を用いて、比較原理を確立する一般化された接続条件を提案する。この手法により、多次元設定および定常解への応用が可能となり、ネットワーク上におけるハミルトン＝ジャコビ方程式の可視性消失極限に関する未解決問題が解決され、大偏差原理のPDEによる証明がなされる。

ABSTRACT

In this paper, we study degenerate parabolic equations in non-divergence form whose coefficients are discontinuous along interfaces. At these discontinuities, the imposed conditions are compatible with the maximum principle but they do not rely on any compatibility of coefficients across interfaces. An important and simple example is when the equation is posed in the Euclidian space and when coefficients are smooth on either side of a hyperplane. There are also some motivations for solving such partial differential equations on networks, and in particular on junctions, that are the networks made of one vertex and a finite number of infinite edges. We explain here that the approach proposed by the first author and Monneau (2014) for Hamilton-Jacobi equations can be further developed to handle generalized junction conditions (such as the generalized Kirchoff ones) and second order terms. We first prove that generalized junction conditions reduce to flux-limited ones, which are of control-type. We then use the vertex test function (Imbert, Monneau – 2014) to prove a comparison principle. These results extend naturally to the multi-dimensional setting and to stationary solutions. We apply our results to two different multi-dimensional problems. On the one hand, we give a complete answer to an open question about these equations: we determine the vanishing viscosity limit associated with Hamilton-Jacobi equations posed on multi-domains and networks. In the two-domain and convex case, the maximal Ishii solution identified by Barles, Briani and Chasseigne (2012) is selected. On the other hand, we give a short and simple PDE proof of a large deviation results of Boue, Dupuis and Ellis (2000).

研究の動機と目的

• 界面を越えて係数が不連続となる劣化放物型方程式に対して、界面における係数の整合性を仮定しない一般化された接続条件を定式化すること。
• ImbertとMonneau（2014）がハミルトン＝ジャコビ方程式に対して提案した手法を、非発散型および不連続係数を伴う2階PDEに拡張すること。
• 頂点テスト関数とフラックス制限条件を用いて、これらの方程式に対する比較原理を証明すること。
• 多領域およびネットワーク上におけるハミルトン＝ジャコビ方程式の可視性消失極限に関する未解決問題を解消すること。
• ボエ、デュプア、エリス（2000）が確率的手法によって既に確立した大偏差原理に対して、PDEに基づく証明を与えること。

提案手法

• フラックス制限条件に帰着させることで、一般化された接続条件を導出する。これらは制御理論的性質を有し、最大原理と整合的である。
• ImbertとMonneau（2014）が導入した頂点テスト関数技法を応用し、不連続係数を伴う劣化放物型方程式に対して比較原理を確立する。
• 非発散型の式構造を活用して界面における挙動を分析し、特に多次元および定常設定において有効であることを示す。
• 一般化された接続条件とフラックス制限条件との等価性を確立し、バナディティ解法の適用を可能にする。
• 2つの異なる問題にこの枠組みを適用する：多領域における可視性消失極限とネットワーク上の大偏差原理。
• 比較原理を活用して、2領域および凸の場合に、最大のイシイ解が可視性消失極限として選ばれることを特定する。

実験結果

リサーチクエスチョン

• RQ1 劣化放物型方程式に対して、不連続係数を伴う場合に最大原理と整合的となる一般化された接続条件は何か？
• RQ2 フラックス制限条件を用いることで、係数が不連続となる界面における解の定義と解析はどのように可能か？
• RQ3 多領域およびネットワーク上に定義されたハミルトン＝ジャコビ方程式の可視性消失極限は何か？ どの解が選ばれるか？
• RQ4 ボエ、デュプア、エリス（2000）が確率的手法で示した大偏差原理に対して、バナディティ解法を用いたPDEベースの証明は可能か？
• RQ5 一般化された接続条件は、どのようにして多次元的および定常的設定に自然に拡張可能か？

主な発見

• 劣化放物型方程式に対する一般化された接続条件は、制御理論的性質を有するフラックス制限条件に還元可能であり、最大原理と整合的であることが保証される。
• 頂点テスト関数技法を用いることで、不連続係数を伴う界面を越える劣化放物型方程式に対し、比較原理が成功裏に確立された。
• 2領域および凸の場合に、Barles, Briani, および Chasseigne（2012）が特定した最大のイシイ解が、可視性消失極限として選ばれる。
• ボエ、デュプア、エリス（2000）が確率的手法で示した大偏差原理に対して、完全かつ簡潔なPDEによる証明が提供された。
• この枠組みは、多次元的および定常的設定に自然に拡張可能であり、ネットワークや接続部への広範な応用を可能にする。
• ハミルトン＝ジャコビ方程式のネットワーク上における可視性消失極限における解の選択問題は、本研究により解決された。