|
根据命题A.4的断言(i),我们推导出,对于任何F∈ N和0≤ s<t,thatP[Xt=F | FXs∨ FYt]=XEF{Xs=E}P[Xs=E,Xt=F | FYt]P[Xs=E | FYt]=XEF{Xs=E}·G(s,t;E,F),证明了(3.2)。要显示(3.3),请注意,对于任何有界FYt可测ξ,Eh{Xt=F}ξFXs公司∨ FYsi=EhEh{Xt=F}ξFXs公司∨ FYti公司FXs公司∨ FYsi=XEF{Xs=E}EhξG(s,t;E,F)FXs公司∨ FYsi=XEF{Xs=E}EhξG(s,t;E,F)1{Xs=E}FYsiP[Xs=E | FYs]=XEF{Xs=E}EhξG(s,t;E,F)G(0,s;, E)FYsiG(0,s;, E) =XEF{Xs=E}EhξG(s,t;E,F)FYsi。这就结束了定理3.5的证明。推论3.9的证明依赖于以下引理。引理B.1。设z(·)是定义在R+上的非负函数,z(·,·)是由z(s,t):=Rtsz(h)dh给出的R+×R+上的非负函数。设l,l,···,Ln为n+1实数,其中n为正整数。对于任何0≤ s<t,确定序列(Hm)m=0,1,···,nbyHm(s,t;l,···,lm)=Ztse-lmZ(u,t)·Hm-1(s,u;l,···,lm-1) dZ(s,u),m=1,2,···,n和H(s,t;l)=e-lZ(s,t)。然后,hm可以减少到hm(s,t;l,···,lm)=mXi=0α(m)i(l,···,lm)e-liZ(s,t),(B.1),其中(α(m)i)s在(3.10)中定义。证据我们用归纳法证明了这个引理。k=0的基本情况很简单。接下来假设(B.1)对k=0,1,···,m成立,其中m<n。关于Hm+1,我们有Hm+1(s,t;l,···,lm+1)=Ztse-lm+1Z(u,t)Hm(s,u;l,···,lm)dZ(s,u)=mXi=0α(m)i(l,···,lm)Ztse-lm+1Z(u,t)e-liZ(s,u)dZ(s,u)=mXi=0α(m)i(l,···,lm)e-lm+1Z(s,t)Ztse-(李-lm+1)Z(s,u)dZ(s,u)=mXi=0α(m)i(l,···,lm)e-lm+1Z(s,t)lm+1- 李e-(李-lm+1)Z(s,t)- 1.=mXi=0lm+1- liα(m)i(l,···,lm)e-liZ(s,t)-mXi=0lm+1- liα(m)i(l,···,lm)e-lm+1Z(s,t)=mXi=0α(m+1)i(l,···,lm,lm+1)e-liZ(s,t)-mXi=0α(m+1)i(l,···,lm+1)e-lm+1Z(s,t)=m+1Xi=0α(m+1)i(l,···,lm,lm+1)e-liZ(s,t),其中在最后一个等式中,我们使用了方程α(m+1)m+1:=-Pmi=0α(m+1)i(l,···,lm+1)in(3.10)。
|