[論文レビュー] Stochastic transport equation in bounded domains

Wladimir Neves, Christian Olivera|arXiv (Cornell University)|Jun 14, 2014

Stochastic processes and financial applications参考文献 21被引用数 5

ひとこと要約

本稿では、有界領域における非滑らか係数をもつ確率的線形輸送方程式に対して、強い確率的トレースとストラトノビッチからイトへの変換を用いて、弱解のグローバルな存在および一意性を確立する。主な貢献は、ドリフトの発散が下から有界であることを仮定しないでも一意性を証明できることであり、これはより滑らかでない設定への正規性結果の拡張である。

ABSTRACT

This paper is concerned with the initial-boundary value problem \; for stochastic transport equations in bounded domains. For a given stochastic perturbation of the drift vector field, we prove existence and uniqueness of weak solutions with non-regular coefficients. The existence of weak solutions relies strongly on the existence of strong stochastic trace, and also on the passage from the Stratonovich into Itô's formulation for bounded domains.Moreover, the uniqueness of weak solutions is obtained under suitable conditions.

研究の動機と目的

• 有界領域における非滑らか係数をもつ確率的線形輸送方程式（SLTE）の初期境界値問題の適切性を確立すること。
• 解が十分な正則性を持たない場合に境界条件を扱うための強い確率的トレースの理論を構築すること。
• ドリフトベクトル場の発散が下から有界であることを仮定しないでも、弱解の一意性を証明すること。
• ディ・プレーナ＝リオンズおよびアンブロシオの枠組みを、有界 variation（BV）正則性と滑らかでない係数をもつ確率的設定に拡張すること。
• 測度に基づくトレース理論を用いて、可測かつ有界な解の境界トレースを定義する課題に取り組むこと。

提案手法

• 空間的正則性が欠如する状況において、弱解の境界条件を定義するための主要な道具として、強い確率的トレースを導入する。
• ストラトノビッチからイトへの変換公式を適用して、確率的輸送方程式をイト形式に変換し、イト微積分の道具を用いることを可能にする。
• BV関数の理論とトレース定理を用いて、ドリフトおよび解を境界 $\Gamma$ 上に制限することを定義する。
• フナキにインspiredされた時間反転過程のアプローチを用いて、事前推定および存在結果を導出する。
• 局所 $L^1$ 解を $C^\infty$ 空間に近似するためのグローバル近似法として、滑らか化子と法線拡張を用いる。
• 領域および境界の正則化近似を構成するための、許容的変形に関連するレベル集合関数 $h$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 有界領域における非滑らか係数をもつ確率的線形輸送方程式に対して、弱解が存在可能か？
• RQ2 解が十分な正則性を持たない場合、境界条件をどのように厳密に定義できるか？
• RQ3 ドリフトの発散が下から有界であることを仮定しないでも、解の一意性は可能か？
• RQ4 強い確率的トレースは、確率的設定において境界挙動を適切に保証するために果たす役割は何か？
• RQ5 ストラトノビッチからイトへの変換は、初期境界値問題の適切性にどのように影響するか？

主な発見

• 強い確率的トレースの存在および一意性が厳密に証明され、弱解の境界条件の定義が可能になった。
• ドリフトが $L^q((0,T);BV_{\text{loc}}(\mathbb{R}^d;\mathbb{R}^d))$ であり $q>2$、発散が $L^1_{\text{loc}}$ である場合に、弱解が存在することが示された。
• ドリフトの発散が下から有界であることを仮定しないでも、弱解の一意性が確立された。これは決定的結果に対する顕著な改善である。
• 境界条件は測度 $d\mu = (b\cdot\mathbf{n})\,dr\,dt$ を用いて適切に定義され、確率的トレース条件のもとで、トレース $\gamma u$ は $\Gamma_T$ 上 almost surely に消える。
• ストラトノビッチからイトへの変換は、正しいイト積分表現を導出し、トレース条件 $\gamma u = 0$ a.s. を証明するために不可欠である。
• 時間反転過程の手法とグローバルな滑らか化により、近似解の $L^1_{\text{loc}}$ での収束が保証され、弱解フレームワークの妥当性が裏付けられた。