[論文レビュー] Strong Law of Large Numbers for branching diffusions

János Engländer, Simon C. Harris+1 more|ArXiv.org|Sep 3, 2007

Stochastic processes and statistical mechanics参考文献 10被引用数 4

ひとこと要約

本稿では、生成子 $L + \beta - \lambda_c$ にスペクトル的条件が課されたもとで、$t \to \infty$ のとき、スケーリングされた測度 $\exp\{-\lambda_c t\}X_t$ が曖昧位相でほとんど確実に収束することを示すことにより、分岐diffusion過程における強大数法則を確立する。この結果は、現代のスプライン分解およびマルティンゲール技法を用いて、アスムーセンとヘリングの古典的結果を拡張するものである。

ABSTRACT

Let $X$ be the branching particle diffusion corresponding to the operator $Lu+β(u^{2}-u)$ on $D\subseteq \mathbb{R}^{d}$ (where $β\geq 0$ and $β ot\equiv 0$). Let $λ_{c}$ denote the generalized principal eigenvalue for the operator $L+β$ on $D$ and assume that it is finite. When $λ_{c}>0$ and $L+β-λ_{c}$ satisfies certain spectral theoretical conditions, we prove that the random measure $\exp \{-λ_{c}t\}X_{t}$ converges almost surely in the vague topology as $t$ tends to infinity. This result is motivated by a cluster of articles due to Asmussen and Hering dating from the mid-seventies as well as the more recent work concerning analogous results for superdiffusions of \cite{ET,EW}. We extend significantly the results in \cite{AH76,AH77} and include some key examples of the branching process literature. As far as the proofs are concerned, we appeal to modern techniques concerning martingales and `spine' decompositions or `immortal particle pictures'.

研究の動機と目的

• 空間的に非一様な分岐率 $\beta$ を持つ分岐diffusion過程への強大数法則の拡張を図ること。
• スケーリングされた経験測度 $\exp\{-\lambda_c t\}X_t$ が曖昧位相でほとんど確実に収束することを確立すること。
• 1970年代のアスムーセンとヘリングの先行研究を、$\beta$ が有界でない場合および $\lambda_c < \infty$ の場合に一般化すること。
• 測度値分岐過程の解析に、スプライン分解や $h$-変換といった現代的手法を統合すること。
• 臨界条件の下での空間的分岐diffusion過程の長期的挙動に対する厳密な基礎を提供すること。

提案手法

• $L + \beta$ に付随する一般化された主固有値 $\lambda_c$ の使用（領域 $D \subseteq \mathbb{R}^d$ 上）。
• スプライン分解技術の適用により、マルティンゲール構造を持つ不滅粒子を用いた分岐過程の表現。
• $h$-変換の使用により、正の調和関数 $h$ が $(L + \beta - \lambda_c)h = 0$ を満たすように過程を再重み付け。
• スプライン測度を用いて構成されたマルティンゲール $W^\phi_t$ が、ほとんど確実に有限極限 $W^\phi_\infty$ に収束すること。
• 多くの1対1の恒等式を用いて、分岐過程の関数への期待値をスプライン測度下の期待値に結びつける。
• エルゴード性を仮定したもとで、$\epsilon$-$\delta$ 論法および劣微分収束定理を用いて、確率的収束およびほとんど確実収束の両方を証明する。

実験結果

リサーチクエスチョン

• RQ1 スケーリングされた測度 $\exp\{-\lambda_c t\}X_t$ が曖昧位相でほとんど確実に収束する条件は何か？
• RQ2 有界でない分岐率 $\beta$ を持つ場合に、分岐過程に対する古典的強大数法則をどのように拡張できるか？
• RQ3 一般化された主固有値 $\lambda_c$ は、分岐diffusion過程の長期的挙動を特徴付ける上で果たす役割は何か？
• RQ4 スプライン分解および $h$-変換技法を用いて、測度値分岐過程におけるほとんど確実収束を証明できるか？
• RQ5 マルティンゲール $W^\phi_t$ の収束は、スケーリングされた経験測度 $\exp\{-\lambda_c t\}X_t$ の収束とどのように関係するか？

主な発見

• 条件 $\lambda_c > 0$ および $L + \beta - \lambda_c$ が特定のスペクトル的条件を満たす限り、$t \to \infty$ のときスケーリングされた測度 $\exp\{-\lambda_c t\}X_t$ が曖昧位相でほとんど確実に収束する。
• スケーリングされた測度の極限は、不変測度 $\widetilde{\phi}$ の定数倍として特徴づけられ、その定数は初期状態と関数 $\phi$ に依存する。
• 収束は、関連するマルティンゲール $W^\phi_t$ がほとんど確実に有限極限 $W^\phi_\infty$ に収束することによって確立される。
• 証明は、スプライン過程のエルゴード性および関数 $h_s(x) = \mathbb{E}_x^\phi[g(\xi_s)]$ の一様有界性に依存する。
• アスムーセンとヘリング（1976, 1977年）の古典的結果は、$\beta$ が有界でない場合およびより一般の領域に対しても拡張される。
• $h$-変換の使用により、全質量過程がスーパーマルティンゲールの性質を保ち、$\beta$ が有界でない場合でも有限時間での爆発を防ぐ。