|
(33)将(33)中的鞅部分相等,我们得到等式(28)和(29)。因为Ceev(t,y)是两倍可微的andeV′(t,y)=-V′(t,-eV′(t,y)),(34)我们有eа(s,y)和eа⊥(s,y)也是可区分的,且,-eV′(s,y))eV′(t,y)=~n′(s,-eV′(s,y))V′(t,-eV′(s,y)),uhMia。e、 ,(35)eа′⊥(s,y)=~n′⊥(s),-eV′(s,y))eV′(t,y)=~n′⊥(s),-eV′(s,y))V′(t,-eV′(s,y)),uhM⊥伊莉亚。e、 (36)因此,-eV′(s,y))e~n′(s,y))=V′(s,-eV′(s,y))(e~n′(s,y)),uhMia。e、 ,~n′⊥(s),-eV′(s,y))e~n′⊥(s,y)=V′s,-eV′(s,y))(e~n′⊥(s,y)),uhM⊥伊莉亚。e、 将(33)中的有限变量部分相等,我们推断等式(30)成立。现在让我们展示EV(t,y)满足BSPDE(31)。由(13)可知,a(s,x)=(λsV′(s,x)+~n′(s,x))V′(s,x)。因此,使用等式V′s,-eV′(s,y))=y,(34)和(35)Zta(s,-eV′(s,y))dhMis=Zt(yλs+~n′(s,-eV′(s,y)))V′(s-,eV′(s,y))dhMis==Ztyλse~n′(s,y)-yλseV′(s,y)dhMis+Zt(φ′s,-V′(s,y)))V′(s,-eV′(s,y))dhMis。这(和(30)一起)意味着ea(t,y)=Ztyλse~n′(s,y)-yλseV′(s,y)dhMis+Zt(ν′)⊥(s,y)eV′(s,y)dhM⊥是(37)现在,(25)和(37)意味着EV(t,y)满足(31)。评论由(25)、(30)和(34)可知,EV(t,y)满足[4]中导出的前向SPDE,在这种情况下,采用以下形式EV(t,y)=Zta(s,-eV′(s,y))dhMis+Zt(~n′(s,-eV′(s,y))eV′(s,y)dhMis+Zt(ν′)⊥(s),-eV′(s,y))eV′(s,y)dhM⊥is++Zte~n,-eV′(s,y))dMs+中兴通讯⊥(s),-eV′(s,y))dM⊥s4根据建议1得出的最佳财富倒流的微分方程,如果过滤F是连续的,且假设1-3满足,则适用的逆X-存在最优财富过程的1t(x)。
|