确定流程= (eZt) 0个≤T≤特比耶兹t: =eZt1+eZt,注意EZt<1/ 每t∈ [0,T]。现在我们开始计算f(Y)。注意[eZ, Y]t=0,每t∈ [0,T],因为R和Y没有公共跳跃。因此,我们从It^o的产品规则中得到简单tf(Yt)=简单T-hQf、Ytidt+eZT-dMft公司- f(Yt-)简单T-ZRβ(t,Yt-, νt-, z) 1+eZt公司-ηQt(dz)dt+f(Yt-)简单T-ZRβ(t,Yt-, ν、 z)1+eZt公司-(1+β(t,Yt-, νt-, z) )uR(dt,dz)。(A.1)接下来,我们展示了RteZ公司s-dMfs | FSt= 0.根据条件期望的定义,这等于赫特斯s-dMfs= 0表示每个有界、FSt可测量的随机变量H.define an(FS,Q)-鞅由Hu=EQH | FSu, 0≤ U≤ T≤ T,注意H=Ht。通过随机测度的鞅表示定理,如[30,Ch.III,Theorem4.37]或[11,Ch.VIII,定理T8],我们得到有界FS可预测随机函数φ,使得ht=H+ZtZRφ(s,z)(uR(ds,dz)- ηQ(dz)ds),0≤ T≤ T现在,应用It^oproduct规则,并对每个t使用[Mf,H]t=[Y,R]t=0∈ [0,T],我们得到了Htztezs-dMfs=ZtHs-简单s-dMfs+ZtZRZseZ公司U-dMfuφ(s,z)uR(ds,dz)- ηQ(dz)ds.上述表达式右侧的两个积分都是鞅。这源于马尔可夫链Y的有限状态性质和z的有界性因此,取期望值,我们得到EQ赫特斯s-dMfs= 声明为0。现在请注意,对于t∈ [0,T]和一个广义可积Ft可测随机变量U it holdsthatEQU | FSt= 均衡器U | FST; (A.2)这可以用类似于[5,命题3.15]的论点来证明。根据(A.1)中的条件期望,应用(A.2)和富比尼定理,我们得到了每个t∈ [0,T],等式简单tf(Yt)| FSt=π(f)1++ZtEQ公司简单s-hQf,Ysi | FSTds+ZtZREQf(Ys-)简单s-β(s,Ys-, νs-, z) 1+eZs公司-(1+β(s,Ys-, ν、 z))| FST!uR(ds,dz)-ZtZREQ公司f(Ys-)简单s-β(s,Ys-, νs-, z) 1+eZs公司-| FST公司ηQs(dz)ds。