准确地说,这需要计算依赖于X轨迹的过程的条件期望。为了应用经典方法,我们将τ的F-生存过程作为一个附加状态过程,由p(τ>t | Ft)=1给出- Ft=e-Rtγ(u,Xu)du,对于每个t∈ [0,T],并用Yt表示。y的动力学={Yt,t∈ [0,T]},由dyt=-γ(t,Xt)Ytdt,Y=1。备注5.6。通过对三元组(S,X,Y)执行引理5.1的相同计算,可以很容易地验证向量过程(S,X,Y)是一个(F,bP)-马尔可夫过程,其生成器为ls,X,Ygiven bybLS,X,Yf(t,S,X,Y)=Ft型+b(t,x)- ρu(t,s,x)a(t,x)σ(t,s)F十、- yγ(t,x)Fy+a(t,x)Fx+ρa(t,x)σ(t,s)sF十、s+σ(t,s)sFs、 22 C.CECI、K.COLANERI和A.Cretarola针对每个函数f∈ C1,2,2,1b([0,T]×R+×R×R+)。因此,过程{f(t,St,Xt,Yt),t∈[0,T]}具有以下se半鞅分解f(T,St,Xt,Yt)=f(0,s,x,1)+ZtbLS,x,Yf(u,Su,Xu,Yu)du+Mft,T∈ [0,T],其中Mf={Mft,T∈ [0,T]}是dmft给出的(F,bP)-鞅=Fxa(t,Xt)hρdcWt+p1- ρdBti+Fsσ(t,St)StdcWt。对于每个可测函数f(t,s,x,y),其为[| f(t,St,Xt,Yt)|]<∞, 对于每个t∈ [0,T],我们定义了滤波器π(f)={πT(f),T∈ [0,T]}关于tobP,通过设置πT(f):=bEf(t,St,Xt,Yt)| FSt, T∈ [0,T]。众所周知,π是一个概率测度值过程,具有cádlág轨迹(参见,例如Kurtz和Ocone[31]),并提供了