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

状態に応じて高速に切り替わる確率微分方程式の数値解法

Numerical approximation for stochastic differential equations with state-dependent fast switching

Xiaobin Sun, Mingkun Ye, Zuozheng Zhang

この論文をやさしく読む

ひとことで言うと

状態が非常に速く切り替わる確率モデルを、細かな変化をすべて直接追う負担を抑えて計算する研究です。平均的な動きと、切り替えの短時間計算を組み合わせます。

何に役立つ?

状態依存の高速切り替えを含む確率微分方程式を数値計算する際、状態数に応じて方法を選ぶ助けになります。有限状態での線形方程式の費用と、可算無限状態への対応を分けて扱っています。

この研究の面白いところ

第1の方法では不変測度を直接解き、第2では離散的な遷移、第3では連続時間の滞在時間を使って平均を求めます。計算方式だけでなく、p≥2の強いLᵖ収束と収束率も理論的に示しています。

どこまで分かった?

第1、第2の方法は有限状態に限定され、第3だけが可算無限状態を扱います。要旨には理論の詳細な仮定や具体的収束率の式はありません。連鎖の厳密生成は、確率微分方程式全体を誤差なしで解くことを意味しません。

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

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

本論文は、状態に依存する高速切り替え過程を持つ一群の確率微分方程式に対して、効率的な数値近似を開発することを目的とする。スケーリングパラメータが小さいと、直接のEuler–Maruyama(EM)法はうまく機能しない。引用文献e2005analysisの異種混合マルチスケール法に基づき、3つのアルゴリズムを提案し、任意のp≥2について、明示的な収束率を伴う強いLᵖ収束を証明する。 第1のアルゴリズムでは、平均化原理と平均化方程式に対するEM法を組み合わせる。ここでは、マルコフ連鎖の不変測度を線形方程式系を解くことで明示的に得られる。しかし、この不変測度の計算費用は、切り替え状態数の増加に対して3乗で増える。大きな線形方程式系を解くのを避けるため、不変測度そのものを近似する。そこで第2、第3のアルゴリズムは、修正された平均化方程式の巨視的EM法と、平均化されたドリフトを推定する微視的ソルバーを組み合わせる。 具体的には、第2のアルゴリズムは微視的な時間刻みで離散時間マルコフ連鎖をシミュレートし、有限回の微視的遷移の平均によって平均化ドリフトを求める。ただし、第1、第2のアルゴリズムはいずれも、切り替え過程が有限状態の場合にしか使えない。このため、可算無限個の状態を持つ切り替え過程にも対応する第3のアルゴリズムを導入する。ここではGillespieアルゴリズムによって連続時間マルコフ連鎖を厳密に生成し、指定区間の厳密な時間平均によって平均化ドリフトを計算する。数値実験によって理論的結果を検証し、3つのアルゴリズムの計算上の利点を示す。

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

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

更新履歴

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

原文の要旨

This paper aims to develop efficient numerical approximations for a class of stochastic differential equations with state-dependent fast switching processes. The direct Euler--Maruyama (EM) scheme fails when the scaling parameter is small. Based on the heterogeneous multiscale method of \cite{e2005analysis}, we propose three algorithms and prove their strong $L^p$-convergence with explicit rates for any $p\geq 2$. In the first algorithm, we combine the averaging principle with an EM scheme for the averaged equation, where the invariant measure of the Markov chain can be explicitly obtained by solving a linear system. However, computing this invariant measure incurs cubic cost as the number of switching states increases. To avoid solving large linear systems, we approximate the invariant measure instead. Thus the second and third algorithms both combine a macroscopic EM scheme for a modified averaged equation with micro-solvers that estimate the averaged drift. More precisely, in the second algorithm, a discrete-time Markov chain is simulated with a micro time step, and the averaged drift is obtained by averaging over finitely many micro transitions. However, both the first and second algorithms only work when the switching process has finite states. Therefore, we introduce a third algorithm that allows for switching processes with countably infinite states, in which exact continuous-time Markov chain is generated via the Gillespie algorithm, and the averaged drift is computed by exact time averaging over a specified interval. Numerical experiments verify the theoretical results and demonstrate the computational advantages of these three algorithms.

著者のコメント

31 pages, 11 figures

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