[論文レビュー] Generalized Continuous-Time Random Walks (CTRW), Subordination by Hitting Times and Fractional Dynamics

Vassili N. Kolokoltsov|arXiv (Cornell University)|Jun 13, 2007

Fractional Differential Equations Solutions参考文献 17被引用数 11

ひとこと要約

本稿は、位置に依存する待ち時間およびジャンプサイズを伴う連続時間ランダムウォーク（CTRW）の一般化された極限定理を確立し、Lévy過程の到達時を用いた劣性（subordination）によって分数マクロダイナミクスを導出する。分数進化方程式の一般化に対する厳密な確率的基礎を提供し、有限差分近似および安定型過程を用いて、非マルコフ的かつ状態依存的な設定に古典的な異常拡散モデルを拡張する。

ABSTRACT

Functional limit theorem for continuous-time random walks (CTRW) are found in general case of dependent waiting times and jump sizes that are also position dependent. The limiting anomalous diffusion is described in terms of fractional dynamics. Probabilistic interpretation of generalized fractional evolution is given in terms of the random time change (subordination) by means of hitting times processes.

研究の動機と目的

• 従来のCTRW極限定理を、依存的かつ位置に依存する待ち時間およびジャンプサイズのケースへ拡張すること。
• Lévy過程の到達時による劣性を用いて、分数進化方程式の厳密な確率的解釈を提供すること。
• 一般化CTRWの文脈において、異常拡散および分数ダイナミクスに関する既存の結果を統合・一般化すること。
• 離散時間CTRW近似が分布において連続時間劣性プロセスに収束することを確立すること。

提案手法

• 連続時間作用素半群の有限差分近似を用いて、極限プロセスの生成作用素を分析する。
• 先行研究から得られた安定型過程の結果を用い、位置に依存するジャンプ分布を扱う。
• Lévy過程の到達時を用いた劣性機構を定義し、極限の異常拡散プロセスを構成する。
• 基礎となるLévy過程の到達時密度および遷移核を用いて、劣性プロセスの同時密度を導出する。
• 弱収束の議論およびスコロホド空間におけるコンパクトネスを用いて、有限次元分布の収束を確立する。
• Lévy過程の無限活性性に対処するための切断スキーム（Z_K^τ）を導入し、収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 CTRWの極限定理は、依存的かつ位置に依存する待ち時間およびジャンプサイズのケースへどのように一般化可能か？
• RQ2 分数進化方程式の確率的解釈は、確率的時間変更の観点からどのように得られるか？
• RQ3 Lévy過程の到達時による劣性は、極限においてどのように異常拡散をもたらすか？
• RQ4 離散CTRW近似が連続時間劣性プロセスに厳密に収束するかをどのように確立できるか？
• RQ5 極限プロセスが一般化された分数Fokker-Planck方程式を満たす条件は何か？

主な発見

• CTRWの極限プロセスは、安定的劣性子の到達時を用いた劣性Lévy過程として特徴づけられ、分数ダイナミクスの確率的解釈が得られる。
• すべての $ t $ についてコンパクト区間内で、$ Y^\tau(Z^\tau(t)/\tau) $ から $ Y(Z(t)) $ への収束が分布において成立し、$ t $ に関して一様に成り立つ。
• $ (Y(s), Z(t)) $ の同時密度は $ g_{Y(s),Z(t)}(y,u) = \frac{\partial}{\partial u} \int_t^\infty \phi(s,u;y,v) \, dv $ で明示的に与えられ、劣性分布の明示的計算が可能になる。
• ジャンプおよび待ち時間分布が空間に依存しない場合、極限プロセスは命題4.3に従い、一般化された分数進化方程式を満たす。
• 本結果は、[14]、[7]、[11]の先行研究を回復・一般化し、安定的Lévy劣性子および対称安定ジャンプのケースを含む。
• 本手法は[19]における形式的計算に対する厳密な正当化を提供し、依存成分を伴うCTRWにおける極限プロセスの同定問題を解決する。