arXiv論文メモ
新着一覧
math.NA / cs.NA / math.PR · 査読状況未確認

非線形確率偏微分方程式を解く数値法の安定性と誤差

High-Moment Stability and Error Analysis of a Fully Discrete LDG-IMEX Method for High Dimensional Nonlinear Stochastic Convection-Diffusion Equations

Yiming Chen, Yunzhang Li, Yulong Xing

この論文をやさしく読む

ひとことで言うと

非線形性とランダムな揺らぎを持つ方程式をコンピューターで解くとき、解が安定に計算でき、刻みを細かくするとどの速さで誤差が減るかを調べています。

何に役立つ?

確率的な対流・拡散モデルの数値計算で、離散化の選択や誤差評価を支える理論になります。拡散は陰的に、それ以外の項は陽的に計算する方法を扱います。

この研究の面白いところ

すべてのランダムな経路を一様に制御する代わりに、数値解に応じた部分集合を作り、その確率が1へ近づくことを使って解析します。そこから経路ごとの誤差評価へつないでいます。

どこまで分かった?

安定性と収束の証明には確率的放物性や細分化に関する条件があります。収束次数は空間r+1、時間1/2そのものではなく、それぞれに任意に近い次数と記載されています。検証は数値実験です。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

乗法的なQ-Wiener雑音で駆動される、高次元の非線形確率対流拡散方程式の一群に対し、局所不連続ガラーキン(LDG)法と陰的・陽的混合(IMEX)オイラー時間離散化を組み合わせた完全離散法を提示し、解析する。このモデルは、非線形の最高階係数、非線形対流項、散逸的な生成項、勾配に依存する雑音を許容する。拡散作用素はLDG定式化を通じて陰的に扱い、非線形対流、低次のドリフト項、確率項は陽的に評価する。 主な貢献は、この完全離散法に対する高次モーメントの安定性と誤差の解析である。中心となる難しさは、非線形項によって経路ごとの増大因子が生じ、標本空間全体で一様に制御できないことである。安定性と誤差の評価を得るため、数値解に応じて再帰的に定義される入れ子状の部分集合を導入する。所定の確率的放物性条件と細分化条件の下で、これらの部分集合の確率が1に収束することを証明する。その部分集合上では数値解が高次モーメントの安定性を満たし、完全離散誤差は、空間についてr+1、時間について1/2に任意に近い次数で収束する。 さらに、高次モーメントの誤差上界と離散的なKolmogorovの議論を組み合わせ、経路ごとの誤差評価も導く。確率Burgers方程式と確率Allen–Cahn方程式の数値実験により、理論的な収束次数を確認し、非線形確率モデルに対する提案法の頑健性を示す。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-18(UTC)
最新改訂
2026-09-18 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

A fully discrete local discontinuous Galerkin (LDG) method coupled with an implicit-explicit (IMEX) Euler time discretization is presented and analyzed for a class of high dimensional nonlinear stochastic convection-diffusion equations driven by multiplicative $\mathcal Q$-Wiener noise. The model allows nonlinear leading coefficients, nonlinear convection terms, dissipative source terms, and gradient-dependent noise. The diffusion operator is treated implicitly through the LDG formulation, while the nonlinear convection, lower-order drift, and stochastic terms are evaluated explicitly. The main contribution is a high-moment stability and error analysis for the fully discrete scheme. A central difficulty is that the nonlinear terms lead to pathwise growth factors that cannot be controlled uniformly on the full sample space. To provide the stability and error estimate, we introduce recursively defined nested subsets adapted to the numerical solution. Under the stated stochastic parabolicity and refinement conditions, we prove that these subsets have probabilities converging to one. On these subsets, the numerical solution satisfies high-moment stability, and the fully discrete error converges with order arbitrarily close to $r+1$ in space and $1/2$ in time. We also derive a pathwise error estimate by combining the high-moment error bound with a discrete Kolmogorov argument. Numerical experiments for stochastic Burgers' and Allen-Cahn equations confirm the theoretical rates and demonstrate the robustness of the proposed method for nonlinear stochastic models.

arXiv ID: 2609.21920 / 要約の誤りについて