[论文解读] The $λ$-invariant measures of subcritical Bienaymé--Galton--Watson processes

Pascal Maillard|arXiv (Cornell University)|Aug 4, 2015

Stochastic processes and financial applications被引用 5

一句话总结

本文为吸收态灭绝的次临界Bienaymé–Galton–Watson过程的λ-不变测度提供了显式的积分表示，通过一个尺度不变测度Λ的生成函数公式，刻画了所有拟平稳分布。主要贡献是提出了一种新颖且初等的推导方法，识别出所有λ的最小λ-Martin进入边界，无需依赖Martin边界理论，从而扩展了Kesten–Spitzer公式。

ABSTRACT

A $λ$-invariant measure of a sub-Markov chain is a left eigenvector of its transition matrix of eigenvalue $λ$. In this article, we give an explicit integral representation of the $λ$-invariant measures of subcritical Bienaymé--Galton--Watson processes killed upon extinction, i.e.\ upon hitting the origin. In particular, this characterizes all quasi-stationary distributions of these processes. Our formula extends the Kesten--Spitzer formula for the (1-)invariant measures of such a process and can be interpreted as the identification of its minimal $λ$-Martin entrance boundary for all $λ$. In the particular case of quasi-stationary distributions, we also present an equivalent characterization in terms of semi-stable subordinators. Unlike Kesten and Spitzer's arguments, our proofs are elementary and do not rely on Martin boundary theory.

研究动机与目标

• 为吸收态灭绝的次临界Bienaymé–Galton–Watson过程的λ-不变测度提供完整且显式的刻画。
• 将经典的Kesten–Spitzer公式从1-不变测度推广至所有λ ∈ (0, m)，包括拟平稳分布。
• 通过显式积分表示，识别此类过程的最小λ-Martin进入边界。
• 提供一种避免使用Martin边界理论的初等证明，与以往依赖高级势论工具的方法形成对比。
• 以稳定子过程和(0, ∞)上尺度不变测度Λ的形式，建立拟平稳分布的新刻画。

提出的方法

• 通过公式 G(z) = ∫₀^∞ (e^(H(z)−1)x − e^−x) x^−α Λ(dx) 推导λ-不变测度生成函数G(z)的积分表示，其中H(z)是Yaglom极限ν_min的生成函数。
• 利用尺度性质Λ(A) = Λ(mA)对所有Borel可测集A ⊂ (0, ∞)成立，刻画与m^α-不变测度相关的测度Λ。
• 将测度x^−αΛ(dx)构造为重缩放经验测度μ_n(A) = m^{−αn} ν(p_n^{−1}A)的粗略极限，其中p_n = P₁(Z_n > 0)。
• 建立m^α-不变测度与Schrödinger型函数方程G(F(z)) − G(F(0)) = λG(z)的解之间的等价性，其中λ = m^α。
• 通过将积分表示解释为自相似过程的Laplace–Stieltjes变换，建立解与稳定子过程的关系。
• 从ν唯一确定Λ，并验证由积分定义的生成函数G(z)的收敛半径至少为1。

实验结果

研究问题

• RQ1 次临界Bienaymé–Galton–Watson过程在灭绝时被吸收，其所有λ-不变测度的完整集合是什么？
• RQ2 此类过程的拟平稳分布能否通过显式积分表示进行刻画？
• RQ3 是否可以显式识别所有λ ∈ (0, m)的λ-Martin进入边界？如果是，如何实现？
• RQ4 是否存在一种m^α-不变测度的表示方法，避免使用Martin边界理论并提供直接的概率解释？
• RQ5 积分公式中的尺度不变测度Λ与不变测度的尾部行为之间存在何种关系？

主要发现

• 当λ < m时，不存在非平凡的λ-不变测度，确立了存在性的严格阈值。
• 唯一的m-不变测度是Yaglom极限ν_min的标量倍数，而ν_min是唯一的m-不变概率测度。
• 对每个α ∈ (−∞, 1)，m^α-不变测度与满足Λ(A) = Λ(mA)的(0, ∞)上局部有限测度Λ之间存在一一对应关系，通过积分公式G(z) = ∫₀^∞ (e^(H(z)−1)x − e^−x) x^{−α} Λ(dx) 表示。
• 由该公式定义的生成函数G(z)的收敛半径至少为1，确保在|z| < 1上收敛。
• 对于α ∈ (0, 1)的拟平稳分布，其特征值λ = m^α，通过在额外归一化条件∫₀^∞ (1 − e^{−x}) x^{−α} Λ(dx) = 1下，与同一积分公式一致。
• 测度Λ由不变测度ν唯一确定，且该表示提供了新颖、显式且初等的刻画，避免了涉及周期函数的函数方程或非构造性变换。