将It^o-Meyer公式【38,定理21】应用于e-αtvi(XXX-我*t、 Xit,yyyy)产量-αTvi(XXX-我*T、 XiT,yyyy)]- vi(xxx,yyy)=EZTe-αtLvi公司- αvidt+EZTe-αtNXj=1vixjdBjt+NXj=1,j6=iEZ[0,T)e-αt(vixjdξj*,+t型- vixjdξj*,-t)-NXj=1,j6=iEZ[0,T)e-αtΓjvi(XXX-我*t型-, 退出-,YYYYT-)dξj*,+t+dξj*,-t型+ EZ[0,T)e-αt(vixidξi,+t- vixidξi,-t)- EZ[0,T)e-αtΓivi(XXX-我*t型-, 退出-,YYYYT-)dξi,+t+dξi,-t型+ EX0≤t<Te-αt不及物动词-NXj=1vixjXjt公司-MXk=1viykYkt公司,其中,IandJare在(3.1)中有定义。在这里vi:=vi(XXX-我*t、 Xit,YYYYT)- 六(XXX)-我*t型-, 退出-,YYYYT-), vixj:=vixj(XXX-我*t型-, 退出-,YYYYT-), viyk:=viyk(XXX-我*t型-, 退出-,YYYYT-), Xj公司*t: =Xj*t型- Xj公司*t型-, Xit:=Xit- 退出-, 和Ykt:=Ykt-Ykt公司-关于上述方程1的RHS≤ i、 j≤ N和1≤ k≤ M根据[3,定理3.2.1],条件(v)意味着it^o积分-αtPNj=1vixjdBjtis是鞅。因此EhRTe-αtPNj=1vixjdBjti=0。(iv)中的凸性条件意味着EP0≤t<Te-αt(不及物动词-PNk6=ivixkXk公司*t型-vixi公司退出-PMj=1viyjYjt)≥接下来是EZ[0,T)e-αt(vixidξi,+t- vixidξi,-t)- EZ[0,T)e-αtΓivi(XXX-我*t型-, 退出-,YYYYT-)dξi,+t+dξi,-t型= EZ[0,T)e-αtvixi(XXX-我*t型-, 退出-,YYYYT-) - Γivi(XXX-我*t型-, 退出-,YYYYT-)dξi,+t+EZ[0,t)e-αt-vixi(XXX-我*t型-, 退出-,YYYYT-) - Γivi(XXX-我*t型-, 退出-,YYYYT-)dξi,-t型≥ 由于条件(ii)和(iv),最后一个不等式成立。更准确地说,vi(xxx)满足了W中的HJB方程(3.9a)-i、 与(iv)一起,我们有以下概率1,vixi(XXX-我*t型-, 退出-,YYYYT-) - Γivi(XXX-我*t型-, 退出-,YYYYT-) ≥ 0,-vixi(XXX-我*t型-, 退出-,YYYYT-) - Γivi(XXX-我*t型-, 退出-,YYYYT-) ≥ 对于每个j 6=i,几乎可以肯定,我们有dξj*t6=0仅当(XXXt,YYYYT)∈ W-我∩ Aj。