隨机环境中随机游动上的随机分枝系统.docVIP

随机环境中随机游动上的随机分枝系统 李应求 李旭 刘全升 摘要 考虑上的一个粒子系统，其中粒子的繁衍构成一个随机环境中的分枝过程，粒子的移动遵循随机环境中的随机游动规律，研究时刻最右边粒子位置的极限性质，所得结果揭示出系统的一个临界性质。 关键词 随机环境 临界性 最右边粒子位置 随机游动 分枝过程 大偏差 1引言 离散时间的分枝随机游动是指在给定的图上，考察位于坐标上的一个粒子，经过单位时间后，该粒子依给定的分布移动到其他位置或保持不动，同时依给定的分布产生后代;任取后代中的一个粒子，则经过单位时间后，独立于其他粒子依分布移动到其他位置或保持不动，同时独立于其他粒子依分布生成后代，依次下去即为分枝随机游动模型. 将这种模型推广到随机环境时，因为位置与时间均可对粒子行为产生影响，所以从空间环境和时间环境两个角度出发。使环境的随机性分别作用于和时，将产生多种不同类型的随机环境中分枝随机游动模型.在文献[1-6]的模型中随机环境只对起作用;在Devulder[7]的模型中随机环境只对起作用;在文献[8，9]的模型中随机环境对及均起作用.以上文献中讨论的随机环境均为空间环境，因为其粒子繁衍及移动均只与所在位置有关.本文则将分枝随机游动建立在两个相互独立的空间环境和时间环境中，其中空间环境仅决定粒子的移动，而时间环境仅决定粒子的繁衍. Devulder[7]讨论了受独立同分布环境影响的分枝随机游动模型，借助于文献[10,11]中的大偏差定理，部分地得到了非灭绝情形下的上、下极限的界值，其中表示时刻最右边粒子的位置;文献[8]讨论了一般环境下，及均受影响的分枝随机游动模型，利用Lyapunov函数得到了在非灭绝情形下粒子整体对于起始点的瞬时及常返性;本文则讨论了在及环境下的分枝随机游动模型，借鉴Devulder[7]和文献[8]中的方法，讨论了非灭绝情形下的极限行为;而当为确定环境，即分枝游动只受环境影响时，我们求出了非灭绝情形下的极限值. 2 模型建立及相关知识 设,其非负部表示为.设概率空间为而为任一可测空间.令为环境变量并且相互独立，其中独立同分布且取值于(0，l)，而独立同分布且取值于.记号分别为全概率在给定环境下的条件概率. 在环境上定义一个随机游动，它满足并且对任意的和有 (1) (2) 下面我们在上述随机游动(RWRE)中建立随机分枝系统(BPRE): 1.在时刻只有一个粒子位干点; 2.在时刻该粒子以概率移动到1点，或以概率移动到点.同时以概率劝产生个后代，并且自身死亡； 3.在时刻，这个粒子相互独立的依规律(l)和(2)式移动到新的位置，到达后分别独立的依概率产生个后代，并且自身死亡; 4.依次下去就可以得到一个建立在随机环境中随机游动上的随机分枝系统. 若不考虑其运动情形，此随机分枝系统其实就是独立同分布环境中的分枝过程[12]我们用表示其第代粒的个数，令. 而对于平稳遍历的分枝过程，Athreyai[12,13]证明了如下的结果: 引理1 在上临界条件下，即且，则对于环境下的灭绝概率而言有 假设为的联合分布.我们恒设如，其中为常数.Solomonll[14证明了对上述RWRE有下述结果: 引理2 令，则当且仅当时，游动是常返的;若，则;若了，则a. 以下假设，对于的情形可以平行讨论. 在此基础上，Greven和denHollande[11]证明了对于存在一个确定的(非随机的) 速率函数使得满足一类大偏差定律(LDP). 引理3[11] 任取，那么.有 (3) (4) 当为确定环境时，该结果退化为Cranl6r[15]定理.Comets等[8]给出了速率函数的性质,在情形下，存在，它是的极限值，使得,且在上是严格单增的. 3主要结果 就像Devulder[7]在为确定环境时所注意到的一样，此模型中存在这样一种竞争，当的时候，受环境的影响，粒子具有向移动的趋势;但在分枝过程非灭绝的情形下，又增大了某些粒子跑到去的可能性.下面我们通过对最右边粒子位置的研究，证明了当时，即粒子数不是足够多时，所有粒子跑向;而在为确定环境情形，当时，即粒子数足够多时，有粒子跑向令表示时刻最右边的粒子所在的位置.以下总假定树满足上临界性质: ， (5) 定义1 如果，令是方程在上的唯一解;如果，定义. 注1 由的单调性和连续性知,是定义好的，而且当时; 当时，;当时，. 定理l对于上面定义的模型，有 注2 Devulde[7]考虑了为确定环境的情形，并在二阶矩条件下证明了类似的结果. 注3 当时，最右边