[論文レビュー] Functional evolutions for homogeneous stationary death-immigration spatial dynamics

Dmitri Finkelshtein|arXiv (Cornell University)|Jul 19, 2011

Stochastic processes and statistical mechanics参考文献 25被引用数 7

ひとこと要約

本稿は、連続空間上における均一定常死・移入過程として知られるサーリャイス過程を、関数的発展の技法を用いて研究する。相関関数および生成関数型の明示的表現を導出し、ダイナミクスのエルゴード性を確立し、時間平均が一意な不変状態に収束することを証明することで、系の長期的挙動を完全に解析的に記述する。

ABSTRACT

We discover death-immigration non-equilibrium stochastic dynamics in the continuum also known as the Surgailis process. Explicit expression for the correlation functions is presented. Dynamics of states and their generating functionals are studied. Ergodic properties for the evolutions are considered.

研究の動機と目的

• 連続空間上における一定の死滅率および移入率を有する空間的系の確率的ダイナミクスを分析すること。
• 系の相関関数および生成関数型の明示的表現を導出すること。
• 状態の時間発展およびその長期的挙動、特にエルゴード的性質を研究すること。
• ダイナミクス下で時間平均が一意な不変状態に収束することを確立すること。
• 今後の研究における非均一的・非定常的死・移入過程への一般化の基盤を築くこと。

提案手法

• 系を $\mathbb{R}^d$ 上の局所的に有限な配置の空間上のマコフ過程としてモデル化し、独立した死滅および移入事象を仮定する。
• 系の統計的状態の時間発展を記述するために、相関関数および生成関数型の理論を用いる。
• 観測量の発展に対して半群理論を適用し、時間発展作用素 $\hat{T}(t)$ が関数型にどのように作用するかを導出する。
• ラプラス変換および積分表現を用いて、リゾルベント作用素 $R_z$ の明示的公式を導出する。
• 状態の発展と準観測量の発展との間の双対性を、双対半群 $\hat{T}^*(t)$ を用いて利用する。
• 優越収束定理および組合せ的恒等式を用いて、時間平均が不変状態に収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 連続空間上における均一死・移入過程の相関関数の明示的形は何か？
• RQ2 このダイナミクス下で生成関数型はどのように時間発展するか？
• RQ3 系はエルゴード的挙動を示すか。その場合、不変状態の構造はどのようなものか？
• RQ4 観測量の時間平均は一意な極限に収束するか。その収束の速度または性質は何か？
• RQ5 これらの結果は、非均一的および非定常的死滅および移入率への拡張に適用可能か？

主な発見

• サーリャイス過程の相関関数が明示的に計算され、閉じた方程式系に従って発展することが示された。
• 系の生成関数型は半群作用を介して発展し、畳み込み作用素の指数関数を含む明示的積分表現を持つ。
• ダイナミクスは一意な不変状態を有し、その強度 $\sigma/m$ を持つポアソン型の相関構造によって特徴づけられる。
• 任意の観測量の時間平均は $\mathcal{L}_C$-ノルムにおいて不変状態に関する期待値に収束し、エルゴード性が証明された。
• リゾルベント作用素 $R_z$ が明示的に計算され、今後のダイナミクス解析のための関数計算の道具が得られた。