[論文レビュー] Convergence of the Finite Volume Method for scalar conservation laws with multiplicative noise: an approach by kinetic formulation

Sylvain Dotti, Julien Vovelle|arXiv (Cornell University)|Nov 3, 2016

Gas Dynamics and Kinetic Theory参考文献 24被引用数 4

ひとこと要約

本稿では、乗法的で緊密に台を持つノイズを伴うスカラー保存則に対して、時刻に明示的な有限体積法と単調なフラックスを用いた数値解法の収束を確立する。運動論的定式化とエネルギー推定を用いることで、スキームの安定性および一致性の適切な条件とノイズ構造のもとで、数値スキームの弱収束が確率的保存則の一意なエントロピー解に一致することを証明する。

ABSTRACT

We prove the convergence of the explicit-in-time Finite Volume method with monotone fluxes for the approximation of scalar first-order conservation laws with multiplicative, compactly supported noise.

研究の動機と目的

• 乗法的で緊密に台を持つノイズによって駆動されるスカラー保存則に対して、時刻に明示的でフラックスが単調な有限体積スキームの収束を確立すること。
• 数値スキームの運動論的定式化を構築し、収束解析のためのエネルギー推定とタイトネスの議論を可能にする。
• 外部の存在証明を用いずに、数値スキームの収束を通じて、確率的保存則の解の存在と一意性を直接証明すること。
• ノイズ係数の緊密な台と正則性の仮定を活用して、保存則における確率性と非線形性の課題に対処すること。
• 運動論に基づく解析を用いて、決定的手法を確率的設定に拡張する統一的な枠組みを提供すること。

提案手法

• トーラス上に乗法的ノイズを伴う確率的保存則を定式化し、解空間における緊密な台とフラックスおよびノイズ係数の多項式成長バウンドを仮定する。
• カーテシアングリッド上に単調フラックス（例：ゴドノフ型）を有する有限体積スキームを構築し、一貫性および保存的対称性を保証する。
• 離散スキームの運動論的定式化を導出し、数値解を運動論関数 $ f_{ u} $ を用いて表現することで、運動論に基づくエネルギー推定の利用を可能にする。
• ノイズ係数の緊密な台と有界性を用いて、離散運動論測度 $ u^{ u} $ に対する一様エネルギー推定および散逸バウンドを確立する。
• モーメントバウンドと確率的推定を用いて、離散運動論測度 $ ( u^{ u}) $ および離散解 $ (m_{ u}) $ が適切な関数空間でタイトであることを証明する。
• 確率的バージョンの運動論的定式化とコンパクトネスの議論を適用し、極限に移行することで、数値解が連続問題のエントロピー解に弱収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 単調フラックスを有する有限体積法は、乗法的で緊密に台を持つノイズを伴うスカラー保存則の、一意なエントロピー解に収束するか？
• RQ2 運動論的定式化は、確率的有限体積スキームのエネルギー推定と収束証明に効果的に用いられるか？
• RQ3 乗法的ノイズの下で、スキームが安定かつ収束するためのノイズおよびフラックス関数に関する条件は何か？
• RQ4 数値スキームの収束を通じて、確率的保存則の解の存在と一意性を直接確立できるか？
• RQ5 ノイズの緊密な台と有界性は、収束解析および得られる誤差推定にどのように影響するか？

主な発見

• 単調フラックスを有する有限体積スキームは、乗法的で緊密に台を持つノイズを伴う確率的保存則の、一意なエントロピー解に弱収束する。
• 有限体積スキームの運動論的定式化により、コンパクトネスの議論に不可欠な一様エネルギー推定および散逸バウンドの導出が可能になる。
• 緊密な台の仮定と有界なノイズ係数のもとで、離散運動論測度 $ ( u^{ u}) $ および離散解 $ (m_{ u}) $ のタイトネスが確立される。
• 収束結果はすべての $ p eq 2 $ に対して成り立ち、補間および一様バウンドを用いて $ p eq 2 $ における $ L^p $-ノルム収束が得られ、$ L^2 $ での強い収束が保証される。
• スキームは CFL 型の条件 $ riangle t = rac{1}{2} rac{ ho_N^2}{2L_A} h_m $ において安定であり、ここで $ ho_N = 2^{-N} $ である。この条件により一貫性および安定性が保証される。
• 連続問題の解 $ u $ がほとんど確実に $ C([0,T]; L^p(T^N)) $ に属することを示し、極限の正則性を確認する。