注意,应用^o公式可以得到e(x,i)E-∧τn∧σ∧twf,i(Xπτn)∧σ∧t、 ξτn∧σ∧(t)- wf,i(Xπ,ξ)= I+I+I+E(x,I)X0<s≤τn∧σ∧te-∧swf,i(Xπs)-, ξs)- wf,i(Xπs)-, ξs-), (A-4)式中I=E(x,I)Rτn∧σ∧te-∧sBwf,i(Xπs)-, ξs-) - lsw′f,i(Xπs)-, ξs-)ds,I=E(x,I)Rτn∧σ∧te-∧sσ(Xπs)-, ξs-)w′f,i(Xπs)-, ξs-)dWsandI=E(x,i)P0<s≤τn∧σ∧te-∧swf,i(Xπs,ξs)-) - wf,i(Xπs)-, ξs-)+Rτn∧σ∧te-∧sw′f,i(Xπs)-, ξs-)dCs.注意,随机过程-∧sσ(Xπs)-, ξs-)w′f,i(Xπs)-, ξs-)德桑德特-∧sqiwf,i(Xπs)-, ξs-) -Pj6=iqijwf,i(Xπs)-, j)ds+P0<s≤te-∧swf,i(Xπs)-, πs)- wf,i(Xπs)-, ξs-)是P(x,i)-局部鞅。因此,我们总是可以用limn找到一个正的停止时间序列{τn;n=1,2,···}→∞τn=∞ 这两个都是∧τne-∧sσ(Xπs)-, ξs-)w′f,i(Xπs)-, ξs-)德桑德特∧τne-∧sqiwf,i(Xπs)-, ξs-) -Pj6=iqijwf,i(Xπs)-, j)ds+P0<s≤T∧τne-∧swf,i(Xπs)-, ξs)- wf,i(Xπs)-, ξs-)是P(x,i)-鞅。然后是可选停止定理,即i=E(x,i)Zt∧τn∧σe-∧sσ(Xπs)-, ξs-)w′f,i(Xπs)-, ξs-)dWs= 0,(A-5)E(x,i)Zt∧τn∧σe-∧sqiwf,i(Xπs)-, ξs-) -Xj6=iqijwf,i(Xπs)-, j) !!ds+X0<s≤T∧τnσe-∧swf,i(Xπs)-, ξs)- wf,i(Xπs)-, ξs-)= 0.(A-6)注意到Xπs- Xπs-= 铯- 铯-≥ 0,ξs-= i、 a和wf,i(Xπs)-, ξs-) = wf,i(Xπs)-, i) 福斯≤ σ给定ξ=i,函数wf,i(·,i)满足(3.9)和(3.10),并且wf,i(·,j)=fi(·,j),如果j 6=i,我们得到s≤ τn∧ σ、 Bwf,i(Xπs)-, ξs-) = qiwf,i(Xπs)-, ξs-) +l(w′f,i(Xπs)-, ξs-) -1+d)I{Xπs-≥ b}-Pj6=iqijwf,i(Xπs)-, j) ,它与(A-4)、(A-5)、(A-6)和E(x,i)结合在一起wf,i(Xπ,ξ)= wf,i(x,i)表示最终结果。