[論文レビュー] Quasi-stationary distribution for the Langevin process in cylindrical domains, part I: existence, uniqueness and long-time convergence

Tony Lelièvre, Mouad Ramil+1 more|arXiv (Cornell University)|Jan 28, 2021

Diffusion and Search Dynamics参考文献 44被引用数 20

ひとこと要約

本稿は、$D = \mathcal{O} \times \mathbb{R}^d$ という円柱型領域におけるランジュバン過程の準定常分布（QSD）の存在、一意性、および指数的収束を確立する。ここで $\mathcal{O}$ は有界な $\mathcal{C}^2$ 領域である。吸収された半群のコンパクト性を証明し、クレイン＝ルトマンの定理を適用することで、QSDが、ディリクレ境界条件を満たす無限小生成作用素の主固有関数として生じることを示し、条件付き過程の長時間収束が指数的速率で保証される。

ABSTRACT

Consider the Langevin process, described by a vector (position,momentum) in $\\mathbb{R}^{d}\ imes\\mathbb{R}^d$. Let $\\mathcal O$ be a $\\mathcal{C}^2$ open bounded and connected set of $\\mathbb{R}^d$. We prove the compactness of the semigroup of the Langevin process absorbed at the boundary of the domain $D:=\\mathcal{O}\ imes\\mathbb{R}^d$. We then obtain the existence of a unique quasi-stationary distribution (QSD) for the Langevin process on $D$. We also provide a spectral interpretation of this QSD and obtain an exponential convergence of the Langevin process conditioned on non-absorption towards the QSD.

研究の動機と目的

• 有界な円柱型領域 $D = \mathcal{O} \times \mathbb{R}^d$ におけるランジュバン過程の準定常分布（QSD）の存在と一意性を確立すること。
• 楕型でない、かつ運動量空間が有界でないヒポエルリプティックなランジュバンダイナミクスに対する結果の不足を補うこと。
• 吸収されない条件付き過程の長時間挙動が、指数的収束によりQSDに近づくこと、すなわちメタ安定状態内での統計的安定性を保証すること。
• 吸収境界条件を伴う無限小生成作用素の主固有値と固有関数を用いたQSDのスペクトル的特徴付けを提供すること。

提案手法

• 先行研究による遷移密度の評価を用いて、領域 $D$ 上での吸収されたランジュバン過程に付随する半群のコンパクト性を証明する。
• 吸収過程の無限小生成作用素にクレイン＝ルトマンの定理を適用し、主固有値と正の固有関数の存在を確立する。
• QSDを主固有値に対応する正規化された固有関数として特徴づけ、一意性とスペクトルギャップの保証を行う。
• スペクトル分解を用いて、条件付き過程がQSDに向けて指数的収束するレートを導出する。
• 確率的カップリングと半群の性質を活用して、条件付き分布とQSDとの全変動距離を評価する。
• スペクトルギャップ $\lambda_0$ とパラメータ $\alpha \in [0, \alpha^*)$ を用いた推定を用いて収束レートを検証する。

実験結果

リサーチクエスチョン

• RQ1 有界な $\mathcal{C}^2$ 領域 $\mathcal{O}$ を持つ円柱型領域 $D = \mathcal{O} \times \mathbb{R}^d$ におけるランジュバン過程に対して、一意な準定常分布が存在するか？
• RQ2 吸収されない条件付きランジュバン過程の長時間挙動は、一意な極限分布によって特徴づけられるか？
• RQ3 吸収されたランジュバン過程の無限小生成作用素のスペクトル構造は何か？ そして、QSDとはどのように関係するか？
• RQ4 条件付き過程のQSDへの収束は指数的速さで行われるか？ そのレートはスペクトルデータを用いてどのように記述できるか？
• RQ5 ランジュバンダイナミクスのヒポエルリプティック性は、QSDの存在と性質にどのような影響を及ぼすか？ これは楕型拡散過程と比べてどう異なるか？

主な発見

• 領域 $D$ 上での吸収ランジュバン過程の半群はコンパクトであり、スペクトル解析への重要な一歩である。
• ランジュアン過程のQSD $\mu$ は、主固有値 $\lambda_0$ に対応する無限小生成作用素の正規化された固有関数として一意に特徴づけられる。
• QSDは、任意の初期分布に対して指数的収束により吸引され、収束レートは $\lambda_0 + \alpha$（任意の $\alpha \in [0, \alpha^*)$）で制御される。
• 時間 $t$ における条件付き分布とQSDとの全変動距離は、$C_{\alpha} \|f\|_{\infty} \mathrm{e}^{-\alpha t}$ で上から抑えられ、$C_{\alpha}$ は初期測度とスペクトルギャップに依存する。
• QSDは、境界 $\partial D$ でディリクレ境界条件を満たす無限小生成作用素に関する固有値問題の唯一の解である。
• 収束結果は初期確率測度のクラス全体に一様に成り立ち、ペロン＝フロベニウス固有関数 $\phi$ の初期質量に明示的な依存関係を示す。