1. 引言
设
是一个连续的时间马尔可夫分支过程。假设
是在t时刻由i型单个粒子发起的N维分支过程。为了描述方便,在本文中我们考虑了二维的情况,即
,
,
,
,
,
是i型粒子的第k个个体在t时刻的后代分布情况。其中
是独立同分布的且与
有相同的分布。这些随机向量是集合
中的非负整数。在不失一般性的前提下,我们还假设
,即该种群的灭绝概率为0。
其中一个值得关注的话题是在连续时间情况下(1.1)的收敛情况。
,for
,
(1.1)
在分支过程中的研究中,大偏差扮演者重要的角色。此前对大偏差的研究主要集中在离散时间的分支过程或者一维的情况。Li,Cheng和A. G. Pakes [1] 通过分析连续时间调和矩
的渐近性,显示了
的大偏差速率。Li,Meng [2] 利用一个基于2型马尔可夫分支过程的相关母函数的微分方程找到了一条曲线,由此得到了一个正则性准则。Li,Cheng,Li [3] 讨论了
收敛到W,
在一定概率下收敛到
且两者在
(
为任意常数)在不同的力矩条件下得到了上述三种收敛速率的显式估计。结果表明,第一个速率是几何的,而另外两个速率是超几何的。Athreya [4] 研究了单个粒子分支过程的大偏差率。Chu [5] 在Athreya [4] 的基础上得到了离散时间下超临界分支过程的自归一化大偏差,证明了它的极限是存在的且是正的有限的。Athreya和Vidyashankar [6] 证明了
时
和
收敛到0的概率为1,二个序列的大偏差概率呈几何速率衰
减,在适当的条件下超几何衰减。其中,M是
的平均矩阵,
是M的最大特征值
对应的特征向量,1是所有分量都等于1的向量。本文在对Chu [4] 的研究结果上,将研究方向扩展到连续时间下的超临界多型分支过程。
文章的其余部分结构如下,在第2节中,我们介绍了一些预备知识和引理,并阐述主要定理;第3节主要是定理的详细证明过程;最后对本文进行了总结。
2. 预备知识
多型分支过程的平均矩阵是一个
矩阵,记为
,
,
这里
,且满足下面条件
.
本文在超临界情况下进行研究,因此假设它的最大特征值
,
和
是特征值所对应的两个严格正的特征向量,标准化后使得
,
。
定义
,
.
有唯一解
,其中
。此外,
是粒子
的灭绝概率,即
.
在这种情况下,我们定义以下矩阵
. (2.1)
假设存在一个常数
使得
收敛到一个非零的且有限的矩阵,这被称为Schroder情形 [7],关于多维分支过程更详细的解释可参考( [8],第五章)。
定理2.1 ( [9],定理1.1)
是独立同分布的随机向量且有
。假设对于任一
或者
,当
时,
,
其中
,
。如果
,则有
。
定理2.2 ( [6],定理2) 如果(2.1)式假设成立,并且认为
,
满足
。令
为非零向量且
,则对于任意
和
,
存在且为有限的正的。
命题2.1对于任意
,
存在且
。同时,
满足以下方程
.
当
,
,
,
,
。其中,
。此外,
还给出了以下级数展开式
. (2.2)
3. 主要定理及其证明
定理3.1定义
和
见(3.1),(3.2),则
存在且为有限的正的。
为方便描述,我们将
简写为
。
(3.1)
(3.2)
证明:为了简化描述,我们先进行以下定义
令
,在条件概率下,
对于任意的
,我们有
(3.3)
如果当
时,
和
都收敛到0,结合(2.2)则定理即得证。现对
和
进行一下分析,
(3.4)
(3.5)
我们可以得到,对于第一部分
对于足够大的整数n,
(3.6)
(3.7)
其中
,
.
相似的
对于足够大的整数n,
(3.8)
(3.9)
其中
对于足够大的整数m,
(3.10)
(3.11)
其中
对于足够大的整数m,
(3.12)
(3.13)
其中
.
定义
,同样的论证也可以来估计
。
存在
,对所有的
,
记
,选择一常数
使得
。则存在一个常数C,使得对所有
,根据(3.4)~(3.13),我们得到
,
因此有
.
此外,根据(2.2),我们有
,
因此,再次通过控制收敛定理,我们得到
.
即得证。
4. 结论
这篇文章研究了在连续时间下多维分支过程的自归一化大偏差的极限行为,由以上可知,该大偏差的极限是存在的并且是有限的、正的。
除此之外,对于连续时间下多维分支过程在迁入移民后的情形也值得进一步研究。加入移民后自归一化大偏差是否还具有相似的性质,这些都可以在今后的研究中加以思考和讨论。