|
为了近似ε>0时问题的值函数θ,我们考虑θ(t,q)=∧θ(t,βq)+εη(t,q)+o(ε)形式的一阶展开式,(t,q)∈ [0,T]×Rd.通过将此表达式插入方程(2),我们正式得到0=~θt(t,βq)+εηt(t,q)+o(ε)-ψ(βq)V(βq)+εqRq+dXi=1ZR*+zHi,bθ(t,βq)-θ(t,βq+zei)z+εη(t,q)- η(t,q+zei)z+o(ε)ui,b(dz)+dXi=1ZR*+zHi,aθ(t,βq)-θ(t,βq- z▄ei)z+εη(t,q)- η(t,q- zei)z+o(ε)ui,a(dz)和|θ(T,βq)+εη(T,q)+o(ε)=-\'\'d(βq)V(βq)+εqRq.假设ψ和dare可以进行泰勒展开,我们得到0=~θt(t,βq)+εηt(t,q)-ψ(βq)V(βq)- εψ(βq)V(βq)qRq+dXi=1ZR*+zHi,bθ(t,βq)-θ(t,βq+zei)zui,b(dz)+εdXi=1ZR*+嗨,bθ(t,βq)-θ(t,βq+zei)zη(t,q)- η(t,q+zei)ui,b(dz)+dXi=1ZR*+zHi,aθ(t,βq)-θ(t,βq- z▄ei)z+ εdXi=1ZR*+嗨,aθ(t,βq)-θ(t,βq- z▄ei)zη(t,q)- η(t,q- zei)ui,a(dz)+o(ε),和¢θ(T,βq)+εη(T,q)+o(ε)=-\'\'d(βq)V(βq)- ε\'\'d(βq)V(βq)qRq+o(ε)。作为|θ检验(4),我们得到0=ηt(t,q)-ψ(βq)V(βq)qRq+dXi=1ZR*+嗨,bθ(t,βq)-θ(t,βq+zei)zη(t,q)- η(t,q+zei)ui,b(dz)+dXi=1ZR*+嗨,aθ(t,βq)-θ(t,βq- z▄ei)zη(t,q)- η(t,q- zei)ui,a(dz)。η(T,q)=-\'\'d((βq)V(βq))qRq。这个方程虽然在空间维度d中,但是线性的。因此,根据费曼-卡克表示定理,我们得到以下公式:η(t,q)=EP-ZTt?ψ(βqs)V(βqs)QSRQSD-\'\'d(βqT)V(βqT)qTRqTqt=q,其中,对于所有i,P以下∈ {1,…,d},Ji,band Ji,ahave他们各自的强度核,由¢νi,bt(dz)=-嗨,bθ(t,βqt-) -θ(t,βqt-+ z▄ei)zui,b(dz),~νi,at(dz)=-嗨,aθ(t,βqt-) -θ(t,βqt-- z▄ei))zui,a(dz)。备注4。
|