[論文レビュー] Global solutions of a free boundary problem via mass transport inequalities

Gioia Carinci, Anna De Masi+2 more|arXiv (Cornell University)|Feb 22, 2014

Stochastic processes and financial applications参考文献 18被引用数 3

ひとこと要約

本稿は、移動境界を伴うフィックの法則に従う1次元自由境界問題の一般化された解概念を導入し、質量輸送不等式を用いて、広範な初期データのクラスに対して解の全域的存在性と一意性を証明する。主な貢献は、質量輸送枠組みにおいて下位および上位のバリアに挟まれる唯一の極限として解を特徴づける、新たな解釈を提供することであり、これは古典的解の自然な定義域を超えて解を拡張するものである。

ABSTRACT

We study a free boundary problem which arises as the continuum version of a stochastic particles system in the context of Fourier law. Local existence and uniqueness of the classical solution are well known in the literature of free boundary problems. We introduce the notion of generalized solutions (which extends that of classical solutions when the latter exist) and prove global existence and uniqueness of generalized solutions for a large class of initial data. The proof is obtained by characterizing a generalized solution as the unique element which separates suitably defined lower and upper barriers in the sense of mass transport inequalities.

研究の動機と目的

• 古典的解が自然な定義域を超えて定義されるように、一般化された解概念を導入すること。
• 古典的解が特異性を示す場合に、解の全域的存在性と一意性を扱うこと。
• 質量輸送不等式とバリア法を用いて解を特徴づけること。
• 有界関数および可積分関数を含む広範な初期データのクラスに対して結果を確立すること。
• 自由境界問題の解析において、確率論的および輸送理論的手法を統合すること。

提案手法

• 緩和された質量制約を伴う補助問題からの古典的解の弱極限として、一般化された解概念を導入する。
• 質量輸送不等式を用いて、測度収束の意味で解を下位および上位のバリアで挟む。
• プロホロフの定理を用いて、近似解に関連する測度列の緊密性を証明する。
• 輸送作用素 $ S_t $ の半群性質を活用し、極限を $ S_t(\rho_0) $ として特徴づけ、一貫性を保証する。
• 近似誤差を制御し収束を確立するために、準解 $ S^{(\delta,\pm)}_t $ を用いる。
• 一般化された解が順序を保存し、基準の定常解 $ \rho_a $ から得られる性質を継承することを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的解が特異性を示す場合に、移動境界を伴う自由境界問題に対して、全域的かつ一意的な解が存在するか。
• RQ2 古典的解の定義域を超えて解を拡張するための一般化された解概念をどのように定義できるか。
• RQ3 質量輸送不等式が、下位および上位のバリアの間で唯一の要素として解を特徴づける役割を果たすか。
• RQ4 解が緩和された問題からの近似解の弱極限として構成可能か。
• RQ5 一般化された解は順序を保存する性質を示すか。また、その長期的性質は何か。

主な発見

• すべての $ t \geq 0 $ に対して、一般化された解の全域的かつ一意的な存在が証明された。これは、古典的解が有限時間区間でのみ定義されるのとは対照的である。
• 一般化された解は、質量輸送不等式の意味で、適切に定義された下位および上位のバリアに挟まれる唯一の極限として特徴づけられる。
• 解作用素 $ S_t $ は順序を保存し、初期データ $ \rho_0 $ を、適切な $ \bar{a}, a $ に対して $ \rho_{\bar{a}} $ と $ \rho_a $ の間で有界な解に写像する。これにより、時間の経過に伴っても有界な台が保たれる。
• 初期データ $ \rho_0 $ が $ \rho_{\bar{a}} $ と $ \rho_a $ の間にあり、かつ $ \rho_0 $ が有界である限り、解の台 $ R(\rho(\cdot,t)) $ はすべての $ t \geq 0 $ に対して $ \frac{\bar{a}}{2j} $ と $ \frac{a}{2j} $ の間で一様に有界である。
• 近似解 $ \rho^{(n)}(\cdot,t) \, dr $ の弱極限は $ S_t(\rho_0) \, dr $ に収束し、一般化された解が唯一の極限測度として特定される。
• 定常解 $ \rho_a $ は $ S_t $ に関して不変であり、すなわち $ S_t(\rho_a) = \rho_a $ が成り立ち、既知の解と整合的であることが確認された。