1. 引言
近几十年来,对生物种群和物质物理形成过程的数学模型的研究越来越广泛和深入。1986年,Coppersmith和Diaconi [1] 提出了一类边缘(顶点)自交互随机游走模型。该模型指出,一种物质的未来状态与它的过去状态密切相关,许多基于这一概念的物理模型也被引入数学领域进行了讨论。在1992年,Durrrett和Rogers [2] 提出了如下的一类随机微分方程
(1.1)
该方程描述了一种增长聚合物,且
就代表了聚合物在时刻t的位置,其中
是
上的布朗运动且
是Lipschitz连续的。当
,
时,
就是由Diaconis和Pemantle [3] 所提出的过程的一个连续类似物。设
是解过程X的局部时。则有
其中
。该方程清楚地展现了X是如何与它的占位测度相互作用的。在函数f不作任何假设的情况下,随机微分方程(1.1)定义了一个自交互扩散,自交互扩散在研究自组织和学习行为方面是非常有用的。如果对所有的
均有
(或
),则称这个解为自吸引(或自排斥)扩散。对f的不同限制导致了X的不同性质。在1995年,Cranston和Le Jan [4] 考虑了线性与常自交互情形,并建立了在长时间范围下的渐近行为(也参看文献 [5] )。在2002年,Benaïm等人在文献 [6] 从另外角度研究了这类过程,他们考虑的模型是如下依赖于(卷积)经验测度的自交互扩散
其中W是一个交互位势函数。该自交互扩散与布朗聚合物之间的一个很大的区别是其漂移项除以了t。值得注意的是,在许多情形下的W,其相互作用势具有足够的吸引力,使得自交互扩散可以近似等同为O-U过程,这使得其遍历行为是有可能存在的,这使得研究其遍历行为是必要的。更多的研究参见Benaïm 等人 [7] [8] [9],Cranston-Mountford [10],Chambeu和Kurtzmann [11],Gauthier [12],Herrmann-Roynette [13],Herrmann-Scheutzow [14],Mountford-Tarr [15],Kleptsyny-Kurtzmann [16],Kurtzmann-Zhi [17],Sun-Yan [18] [19],以及文内的其余参考文献。
但上述所有情形都是由布朗运动驱动的自交互扩散,现实生活中的问题要复杂得多,因此有必要研究不同过程驱动的自交互扩散。但是目前此类研究很少。部分由
-稳定过程驱动的自交互扩散的问题已有研究,例如线性自交互扩散,强大数定律,以及参数估计。最近Gan-Yan [20] 研究了由分数布朗运动驱动的线性自排斥扩散的最小二乘估计。受Y. Hu-H. Long [21] 和Cranston-Le Jan [4] 的启发,我们考虑了如下自交互扩散
(1.2)
其中
为一维
-稳定过程且
的。当
时,(1.2)是自吸引扩散。实际上,从(1.2)的微分形式可以看出,(1.2)是由改变Gan-Yan [20] 中的分数布朗运动所得到。因此,我们可以用与文献 [21] 相同方法得到(1.2)的两个参数
和v的最小二乘估计。此外,Sun-Yan [18] 已指出(1.2)的解是几乎处处收敛的。记
则方程(1.2)可以化简成
现在,我们用Y来表示X,旨在将参数的最小二乘估计的研究转换为对Y的研究。若能得到Y的显式解,我们就能进一步得到关于参数估计量的一些结论,幸运的是这样的显式解是存在的。得益于显式解,我们能进一步研究
与
的相合性以及
与v的相合性。
与
的渐近分布则需要结合解的具体形式进一步讨论。由于布朗运动是
-稳定过程的一种特殊情形,Durrett等人的研究 [2] 可以进一步推广。用
替换(1.1)中的
,在f满足一定条件的情况下,如下方程
(1.3)
存在一些有用的结论。我们将在另一篇文章中对(1.3)进行讨论。事实上,若f是Lipschitz连续的,则(1.3)有一个唯一的强解(可参看文献 [22] )。
本文第二节回顾了一些与
-稳定过程相关的定义、性质以及公式定理。第三节研究了参数的最小二乘估计。第四节研究了参数估计量的渐近分布。第五节做了一些技术总结与前瞻。
2. 预备知识
在这一部分,我们给出
-稳定过程相关的定义与性质。
定义2.1 (
-稳定随机变量)
设参数
满足
并且记
其中
且
。我们称一个变量
具有稳定分布(记为
)是指其具有特征函数形如
当
时,我们称
是严格
-稳定的。此外,若
,则称
是对称
-稳定的。
定义2.2 (
-稳定过程)
设
且
是一个
-适应过程。如果对任意
有
则称
是一个
的
-稳定过程。
不失一般性的,我们假定(1.2)中的
满足
,
,即是
,
,
。除非特别说明,在下文中,我们都默认
,并将
简写为
。
3. θ与v的最小二乘估计量及相合性
方便起见,我们将角标
省略不写。假设X在某些离散时间
是可观测的,记
则有
其中
。可以得到X在相邻观测时间的差分如
(3.1)
其中
。根据文献 [21] 的原理,
和v的最小二乘估计量可以由以下比较函数的最小值求出:
利用(3.1),我们可以得到
的最小二乘估计量
(3.2)
同理可得v的最小二乘估计量
(3.3)
记
(3.4)
我们知道
与
同分布(可参见文献 [23] ),其中
试注意到在t渐近于无穷时,
这表明
在t渐近于无穷时与
同分布。根据常数变易法可以得到
(3.5)
在已知上述条件下,我们要证明
,
几乎必然成立。
引理3.1 当
时,我们有如下几乎必然成立
(3.6)
其中
。
证明:根据(3.1)可以得到
其中
。故有
也就是说
显然有
由于
,
的解存在,且在
时是几乎必然收敛的。事实上当
时
其中
,故
命题3.1 假定当
时
,
。如下的强相合性成立
当
证明:设
,显然
(3.7)
设
,则有
(3.8)
根据(3.2)可得
(3.9)
若
,则
是遍历的,且
时
。因此由遍历定理得
显而易见
这说明
。同理可得
注意到
。文献 [24] 的结论3.1说明
(3.10)
由Hölder不等式,引理3.1以及
可得
(3.11)
且再次由遍历定理得
因此(3.11)右端等于0,由两边夹原理其极限几乎必然为0。进一步的,由引理3.1以及
,当
我们有
(3.12)
在
时几乎必然收敛于0。综上,命题3.1成立。
命题3.2 假定当
时
,
。如下的强相合性成立
当
证明:由
,(3.3)以及引理3.1,该命题显然成立。
4.
与
的渐近分布
由
-稳定过程驱动的O-U过程的参数估计的渐近分布 [21],我们自然地考虑到有类似的结果。
注1 为了得到最小二乘估计量的渐近分布,我们需要做一些技术性假定。(A1):当
时,
,
,且
,
,
。本节无特殊说明均默认该假定满足。
定理4.1 当
时,我们有依分布收敛如下
其中
、
为两个相互独立的稳定随机变量。
注意到
设
,由
-稳定随机积分的内部时性质可知
与
同分布,其中
设
,由稳定分布的收缩性质可知
是独立同分布的随机变量且具有稳定分布
。设
,则
(
简写为
)可以表示为
可以表示为
。
注2 参照文献 [25],我们知道对称稳定随机变量
满足
所以,
的尾部分布渐近等价于一个Pareto,即
。参照文献 [26],我们设
利用
的Pareto尾分布可以取到
注意到
。下面这个引理是 [26] 中定理3.3的特殊情况。
引理4.1 设
是一列独立同分布的且具有分布
的随机变量,则依据上述定义的
及
,对所有
,我们有如下依分布收敛
其中
为独立的稳定随机变量。
是正
-稳定的且具有分布
,
是对称
-稳定的且具有分布
,文献 [21] 中给出了
与
的精确值。
设
(4.1)
命题4.1 在条件(A1)满足的情况下,有依概率收敛如下,
证明:做分解
(4.2)
显然,在条件(A1)下,当
时
。由引理3.1知,当
时
。根据马尔可夫不等式知,在满足(A1)的情形下,当
时
(4.3)
右端收敛于0。(4.2)第一项可分为两部分:
(4.4)
根据马尔可夫不等式,我们设
(4.5)
令
。由切比雪夫不等式知,
(4.6)
我们现在考虑(4.6)右端的期望值,其分为两种不同情形:(1)所有的指数
均不相同,(2)
之一与
之一相同。显而易见,在情形(1)下,所有该项的期望值都等于0,故只需考虑情形(2)。方便起见,令
。注意到
,我们仅考虑情形(2)下的子情形之一,即
(其余三种子情形的期望均与其相等),有
(4.7)
由Karamata定理知
,因此在满足(A1)的情形下,当
时,(4.7)右端收敛于0。再者,由马尔科夫不等式可得,
(4.8)
由Karamata定理知
,故在满足(A1)的情形下,当
时,(4.8)右端收敛于0。结合(4.2)到(4.8),即可得证命题4.1。
命题4.2 在条件(A1)满足的情况下,有依分布收敛如下,
证明:我们做分解如下
(4.9)
取
,由马尔可夫不等式可知,
(4.10)
在满足(A1)的情形下,当
时,(4.10)右端收敛到0,故
在该条件也下收敛于0。再次由马尔可夫不等式,
(4.11)
在满足(A1)的情形下,当
时,(4.11)右端收敛到0,故
在该条件下也收敛于0。设
,故有
,且
(4.12)
由马尔可夫不等式可得,在
时,
(4.13)
右端收敛于0,且
(4.14)
右端收敛于0。结合(4.10)到(4.14),利用引理4.1,命题4.2即可得证。
命题4.3 在条件(A1)满足的情况下,我们有依概率收敛如下,
证明:记
为
,可作分解
(4.15)
根据马尔可夫不等式,在
时,
(4.16)
右端收敛于0。我们作分解如
(4.17)
由马尔可夫不等式可知,在
时,
(4.18)
右端收敛到0,且
(4.19)
右端收敛于0,同时
(4.20)
右端收敛于0。结合(4.15)到(4.20),即可得证命题4.3。
命题4.4在条件(A1) 满足的情况下,有依分布收敛如下,
证明:在命题4.3中我们已设
(4.21)
事实上,
且
(4.22)
由引理4.1可知,
综合(4.21)及(4.22),则可证命题4.4。
现在证明定理4.1。在满足条件(A1)的情况下,利用引理4.1,在
时,有
(4.23)
右端收敛于0。结合命题4.1到命题4.4,以及(4.23),即可得到定理4.1。
定理4.2 在条件(A1)满足的情况下,我们有如下依分布收敛
证明:已知
(4.24)
结合定理4.1及引理3.1,立刻得证定理4.2。
5. 总结
目前已研究的自交互扩散大多是由布朗运动驱动的,然而随着真实经济模型复杂度的增加和随机过程研究的深入,这一类自交互扩散已经不能满足实际需求。本文虽研究了由
-稳定过程驱动的线性自吸引扩散的参数估计问题,但是注意线性模型只是一类基本模型。得益于Y的显式解,渐近分布得以有具体的形式,但这也带来一些计算上的麻烦。若引理4.1能进一步拓展,渐近分布的推导可能有更好的解决方式。事实上,布朗运动是
-稳定过程和分数布朗运动的特殊情形,而
-稳定过程是Lévy过程的特殊情形。由其它过程所驱动的自交互扩散的一些问题都还尚待研究,同时参数也存在许多优劣不同的估计量,且其离散观测情形下的渐近分布也相应有所不同,希望未来在该领域有更多的研究。
基金项目
国家自然科学基金资助项目(No. 11971101)。