[论文解读] Occupation time fluctuations of Poisson and equilibrium finite variance branching systems

Piotr Miłoś|arXiv (Cornell University)|Dec 17, 2005

Stochastic processes and statistical mechanics被引用 9

一句话总结

该论文为在 $\dd$ 中具有对称 $\alpha$-稳定运动的临界有限方差分支粒子系统在中间维度 $\alpha < d < 2\alpha$ 下的重标度占据时间波动建立了功能中心极限定理。当系统从泊松随机场开始时，极限过程为子分数布朗运动；当系统从平衡态开始时，极限过程为分数布朗运动，其显式协方差结构通过拉普拉斯泛函收敛推导得出。

ABSTRACT

Functional limit theorems are presented for the rescaled occupation time fluctuations process of a critical finite variance branching particle system in $R^d$ with symmetric a-stable motion starting off from either a standard Poisson random field or from the equilibrium distribution for intermediate dimensions a

研究动机与目标

• 将先前关于分支粒子系统占据时间波动的功能极限定理扩展至超出二元分裂的有限方差分支律情形。
• 研究当系统从平衡分布开始而非泊松场时的时间标度极限。
• 建立重标度占据时间波动过程收敛到具有特定协方差结构的高斯过程。
• 阐明极限过程（子分数布朗运动与分数布朗运动）在初始条件（泊松场与平衡态）不同时的差异。

提出的方法

• 系统建模为 $\rdd$ 中的临界有限方差分支粒子系统，粒子通过对称 $\alpha$-稳定 Lévy 过程运动，分支遵循矩生成函数 $F$，满足 $F'(1)=1$ 且 $F''(1)<\infty$。
• 重标度占据时间波动过程定义为 $X_T(t) = \frac{1}{F_T} \int_0^{Tt} (N_s - \mathbb{E}N_s)\,ds$，其中 $F_T$ 用于归一化波动。
• 利用拉普拉斯泛函收敛来表征当 $T \to \infty$ 时过程 $X_T$ 的弱极限，借助平衡分布的拉普拉斯泛函（公式 (1.1) 给出）。
• 分析依赖于 $\alpha$-稳定过程的半群 $\mathcal{T}_t$ 及其傅里叶变换 $\widehat{\mathcal{T}_t}\varphi(z) = e^{-t|z|^\alpha}\widehat{\varphi}(z)$。
• 关键技术工具包括函数 $j(x,l)$ 的积分方程，以及渐近展开与控制收敛定理，用于处理拉普拉斯泛函的极限。
• 通过分析涉及 $u_1^h + u_2^h - \frac{1}{2}((u_1+u_2)^h + |u_1 - u_2|^h)$ 的积分的渐近行为，推导出极限协方差，该表达式对应于子分数布朗运动的协方差；而 $\frac{1}{2}(s^h + t^h - |s-t|^h)$ 对应于分数布朗运动的协方差。

实验结果

研究问题

• RQ1 当系统从强度测度为 $\lambda$ 的泊松随机场开始时，重标度占据时间波动过程的功能极限是什么？
• RQ2 当系统从平衡分布开始时，其功能极限是什么？与泊松情形有何不同？
• RQ3 极限过程的时序相关结构——子分数布朗运动与分数布朗运动——如何由初始条件决定？
• RQ4 维度 $d$ 在决定极限过程中的作用是什么，特别是在 $\alpha < d < 2\alpha$ 的范围内？
• RQ5 极限过程的拉普拉斯泛函能否显式计算，并与极限高斯过程的协方差结构关联？

主要发现

• 当系统从泊松随机场开始时，重标度占据时间波动过程弱收敛于均值为零的高斯过程，其协方差函数为 $C_h(s,t) = s^h + t^h - \frac{1}{2}[(s+t)^h + |s-t|^h]$，对应于参数 $h = 3 - d/\alpha$ 的子分数布朗运动。
• 当系统从平衡分布开始时，极限过程为均值为零的高斯过程，其协方差为 $c_h(s,t) = \frac{1}{2}(s^h + t^h - |s-t|^h)$，对应于相同参数 $h = 3 - d/\alpha$ 的分数布朗运动。
• 平衡态情形的极限过程由拉普拉斯泛函 $\exp\left\{ \frac{MK}{2}\langle\lambda,\varphi\rangle^2 \int_0^1\int_0^1 c_h(u_1,u_2)\psi(u_1)\psi(u_2)\,du_1 du_2 \right\}$ 表征，其中 $K$ 为依赖于 $\alpha$、$d$ 和 $V$ 的常数，$M = F''(1)$。
• 通过拉普拉斯泛函方法建立收敛性，表明有限维分布的特征函数收敛到极限高斯过程的特征函数。
• 技术附录确认了涉及 $|y_1|^{-\alpha}$、$|y_2|^{-\alpha}$ 和 $|y_1 + y_2|^{-\alpha}$ 项的关键积分的有限性，确保了渐近分析的有效性。
• 结果证实了文献 [3] 中的猜想：平衡态情形导致分数布朗运动，而泊松情形导致子分数布朗运动，凸显了时间依赖结构的根本差异。