[論文レビュー] Degenerate processes killed at the boundary of a domain

Michel Benaı̈m, Nicolas Champagnat+2 more|arXiv (Cornell University)|Mar 15, 2021

Mathematical Dynamics and Fractals参考文献 17被引用数 8

ひとこと要約

本稿は、有界領域の外に出た際に消滅する退化Feller過程における非定常分布（QSD）の存在、一意性、指数的収束に関する一般条件を確立する。リャプノフ関数と最小化条件を用いて、強Fellerまたは楕円型でない非楕円型および超楕円型SDEに対しても指数的混合性を証明し、従来の強いFellerまたは楕円型仮定を超えて結果を拡張する。

ABSTRACT

We investigate certain properties of degenerate Feller processes that are killed when exiting a relatively compact set. Our main result provides general conditions ensuring that such a process possesses a (possibly non unique) quasi stationary distribution. Conditions ensuring uniqueness and exponential convergence are discussed. The results are applied to nonelliptic and hypoelliptic stochastic differential equations.

研究の動機と目的

• 相対的にコンパクトな領域を出た際に消滅する退化Feller過程における非定常分布（QSD）の存在の十分条件を確立すること。
• QSDの一意性を保証する基準を提供し、吸収されない条件付き分布が全 Variation で指数的収束することを保証すること。
• スペクトル的および確率的手法が失敗する非楕円型および超楕円型SDEへと結果を拡張すること。
• 生成子およびサポート構造に関する一般条件を通じて、非楕円型および超楕円型確率微分方程式への適用可能性を示すこと。
• 区分的決定的マコフ過程（PDMP）の例を分析し、拡散過程にとどまらないフレームワークの適用可能性を示すこと。

提案手法

• 爆発時間の制御と領域からの出口時間の期待値が有限であることを保証するため、リャプノフ関数条件を用いる。
• 消滅過程の遷移核に最小化条件を適用し、小さな集合上で遷移密度に一様な下界を保証する。
• ストロックとヴァラドハンのサポート定理を用い、過程のサポートを決定的制御系による到達可能集合と関連付ける。
• 消滅過程の生成子とそのリゾルベントを用いた関数解析的枠組みを導入し、固有関数を用いてQSDを特徴付ける。
• Feller過程の理論とポテンシャル論を用いて、境界付近での過程の挙動および非定常測度の存在を分析する。
• 最小化とリャプノフ関数に基づくカップリング論法を用いて、QSDへの全 Variation での指数的収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 退化Feller過程が領域の境界で消滅する場合、少なくとも1つの非定常分布が存在するための条件は何か？
• RQ2 このような過程における非定常分布の一意性は、どのような条件下で成立するか？
• RQ3 非吸収の条件下での過程の条件付き分布が非定常分布に指数的収束するための条件は何か？
• RQ4 スペクトル的手法が失敗する非楕円型および超楕円型SDEへと、これらの結果を拡張可能か？
• RQ5 本フレームワークは、区分的決定的マコフ過程（PDMP）のような非拡散過程へも適用可能か？

主な発見

• 仮定(H1)のもとでは、領域の閉包の補集合が、領域の任意の点から到達可能であるため、過程は確率的に有限時間内に領域から脱出する。
• 仮定(H2)のもとでは、境界の各点が出口時間に関して正則であるため、過程は境界で明確な脱出挙動を示す。
• 正の関数 $ h \neq 0 $ が存在し、$ D $ 上で $ Lh = -\rho h $ を満たし、$ \bar{D}^c $ 上で $ h $ が消え、境界で $ h \to 0 $ となるならば、非定常分布の存在が保証される。
• 生成子が厳密なリャプノフ条件を満たし、小さな集合上で最小化条件が一様に成り立つ場合、QSDの一意性が確立される。
• リャプノフ関数と最小化条件が同時に成り立つ場合、全 Variation でのQSDへの指数的収束が証明され、収束速度 $ \rho $ は正の定数で下から抑えられる。
• 特に $ D = [0,1] \times \{0\} $ 上のPDMPの具体例について、明示的なQSDを構成し、ジャンプ時とユニフォーマリゼーションに基づくカップリング論法を用いて、収束速度 $ \rho = \frac{1}{2} $ での指数的収束を証明する。