|
那么对于所有u,v∈ R-,E经验值uYt+vZtYsds= 经验值yψu,v(t)+aZtψu,v(s)ds, t型∈ R+,其中函数ψu,v:R+→ R-是微分方程ψ′u,v(t)=σψu,v(t)+Δαα的唯一局部有界解(-ψu,v(t))α- bψu,v(t)+v,t∈ R+,ψu,v(0)=u.(3.1),如果(u,v)6=(0,0),则ψu,v(t)∈ R--, t型∈ R++,如果(u,v)=(0,0),则ψu,v(t)=0,t∈ R+。证据根据Keller-Ressel【22】中的定理4.10,Yt,RtYsdst型∈R+是一个具有分支机制的二维CBI进程eR(z,z)=(eR(z,z),eR(z,z)),z,z∈ R+,威瑟尔(z,z)=R(z)-z、 eR(z,z)=0,z,z∈ R+,且具有移民机制F(z,z)=F(z),z,z∈ R+,其中R和F在位置2.1中给出。因此,根据Du ffe等人[12]的定理2.7(另见Barczy等人[5,定理2.4]),我们得到经验值uYt+vZtYsds= 经验值yψu,v(t)-ZteF公司(-ψu,v(s),-^1u,v(s))ds= 经验值yψu,v(t)+aZtψu,v(s)ds, t型∈ R+,其中函数(ψu,v,Дu,v):R+→ R-是微分方程组的唯一局部有界解(ψ′u,v(t)=eR(-ψu,v(t),-νu,v(t))=σψu,v(t)+Δα(-ψu,v(t))α- bψu,v(t)+Дu,v(t),t∈ R+,Д′u,v(t)=eR(-ψu,v(t),-νu,v(t))=0,t∈ R+,初始值ψu,v(0)=u,Дu,v(0)=v。显然,Дu,v(t)=v,t∈ R+,因此我们得到ψ′u,v(t)=σψu,v(t)+Δα(-ψu,v(t))α- bψu,v(t)+v,t∈ R+,ψu,v(0)=u,根据需要。如果(u,v)=(0,0),那么,由于同零函数是(3.1)的(局部有界)解,通过该解的唯一性,我们得到ψ0,0(t)=0,t∈ R+。如果(u,v)6=(0,0),那么相反,让我们假设存在一个t∈ R++使得ψu,v(t)=0。利特*:= inf{t∈ R++:ψu,v(t)=0}。然后t*< ∞, ψu,v(t)<0表示所有t∈ [0,t*), 和ψu,v(t*) = 0、如果t*= 0,则0=ψu,v(t*) = ψu,v(0)=u,因此v∈ R--.
|