[論文レビュー] Spine proofs for Lp-convergence of branching-diffusion martingales

Robert J. Hardy, Simon C. Harris|ArXiv.org|Nov 2, 2006

Stochastic processes and statistical mechanics参考文献 26被引用数 5

ひとこと要約

本稿では、変化測度技術を用いて、3つの分岐拡散モデル—分岐 Browm運動、多型分岐 Browm運動、連続型 Ornstein-Uhlenbeck 分岐拡散—における加法的 martingale の L^p 収束について、スパインに基づく証明を提示する。L^p 有界性および収束の必要十分条件を確立する。主な結果として、収束が成立するのは、特定のモーメントまたはスペクトル条件が満たされる場合に限ることが示された。

ABSTRACT

Using the foundations laid down in Hardy and Harris (2006) ["A new formulation of the spine approach in branching diffusions", arXiv:math.PR/0611054], we present new spine proofs of the L^p-convergence p>=1) of some key `additive' martingales for three distinct models of branching diffusions, including new results for a multi-type branching Brownian motion and discussion of left-most particle speeds. The spine techniques we develop give clear and simple arguments in the spirit of the conceptual spine proofs found in Kyprianou (2004) ["Travelling wave solutions to the KPP equation, Ann. Inst. H. Poincare Probab. Statist. 40, no.1, pp53-72] and Lyons et al (1997) ["A conceptual proof of the Kesten-Stigum theorem for multi-type branching processes", Classical and modern branching processes, IMA Vol. Math. Appl., vol.84, Springer, New York, pp181-185], and they should also extend to more general classes of branching diffusions. Importantly, the techniques in this paper also pave the way for the path large-deviation results for branching diffusions found in Hardy and Harris (2006) ["A conceptual approach to a path result for branching Brownian motion", Stochastic Processes and their Applications, doi:10.1016/j.spa.2006.05.010].

研究の動機と目的

• 加法的 martingale の L^p 収束基準を、スパイン技法を用いて厳密かつ概念的に明確に確立すること。
• Kyprianou の L^1 収束結果を、多型および連続型分岐拡散過程へ L^p に拡張すること。
• 単一のスパインに基づく枠組みを用いて、異なる分岐拡散モデル間で古典的な martingale 収束結果を統一的かつ一般化すること。
• パスワイズの大偏差理論の基盤を築くために、強固なスパインに基づく分析ツールを開発すること。
• スペクトル的およびモーメント的条件を用いて、加法的 martingale の L^p 有界性およびほとんど確実収束の必要十分条件を特定すること。

提案手法

• 加法的 martingale $ Z_{\theta} $ を用いた測度変更を適用し、新たな測度下での祖先系列を追跡するスパイン過程を定義する。
• スパイン分解を用いて、全分岐集団上の計算を単一のスパイン経路に沿った期待値に簡略化する。
• 歪められた測度下でのスパインの動的性質を活用し、スパイン過程の p 階モーメントを分析することで、L^p 有界性を確立する。
• 生成子および主固有関数 $ v_{p\theta} $ を含む積分の収性を検討することで、L^p 収束の必要十分条件を導出する。
• Doob の L^p 最大不等式および下位 martingale の性質を用い、スパイン寄与項による martingale の p 階モーメントの上界を評価する。
• 測度論的議論（例：Kyprianou の手法）を適用し、歪められた測度下でのスパインの長期的挙動を分析することで、ほとんど確実な収束または発散を特定する。

実験結果

リサーチクエスチョン

• RQ1 ランダムな家族サイズを伴う分岐 Browm 運動における加法的 martingale の L^p 収束のための必要十分条件は何か？
• RQ2 スパイン技法をどのように拡張すれば、タイプ依存の分裂および拡散を伴う多型分岐 Browm 運動における L^p 収束を証明できるか？
• RQ3 粒子タイプが Ornstein-Uhlenbeck 運動に従う連続型分岐拡散過程において、加法的 martingale の L^p 有界性および収束を保証する条件は何か？
• RQ4 生成子のスペクトル的性質および主固有関数 $ v_{p\theta} $ の挙動が L^p 収束にどのように寄与するか？
• RQ5 どのような条件下で martingale はほとんど確実に 0 に収束し、またどのような条件下で L^p で無限大に発散するか？

主な発見

• 3 つのモデルすべてにおいて、$ Z_{\theta} $ が $ L^p $ で収束するための必要十分条件は、$ \bigl{\rangle}v_{\theta}^p, v_{p\theta} \bigr{\rangle}_{\pi} < \infty $ および $ pE_{\theta} - E_{p\theta} > 0 $ が成り立つことである。ここで $ E_{\theta} $ は指数的モーメント率を表す。
• $ pE_{\theta} - E_{p\theta} < 0 $ の場合、martingale は $ L^p $ で無限大に発散するため、$ L^p $ 収束は成立しない。
• $ p=1 $ の場合、子孫分布における $ L\log L $ 型の条件が $ L^1 $ 収束の必要十分条件であり、古典的結果と整合的である。
• 連続型モデルでは、$ \tilde{\mathbb{Q}}_{\theta} $ 下でのスパイン過程は再帰的タイプ過程であり、$ \liminf \{ \xi_t + c_\theta t \} = -\infty $ を満たす。これは、$ \theta = \tilde{\lambda}(\theta) $ のとき、歪められた測度下で a.s. に $ \limsup Z_\theta(t) = \infty $ となることを意味する。
• $ Z_\theta $ の $ L^p $ 有界性は、$ \bigl{\langle} 2R v_\theta^p, v_{p\theta} \bigr{\rangle}_{\pi} $ の有限性と同値であり、これはスパインに沿う分裂寄与項を制御する。
• $ \mathbb{E}^{x,y}[Z_\theta(t)^p] $ の上界が $ t $ に依存せず一様に有界であり、かつ $ L^1(\tilde{\pi}_{p\theta}) $ に属することを示した。これにより、$ L^p $ 有界性が確認され、したがって収束が保証された。