|
此外,对于任何给定的x,我们通过定义知道yp(x)是满意度=tθf(tp,x,y,zp(x))+h(tp,x)。注意,符号^ypwas由方程式(3.8)定义。利用上述符号,并给出f是Lipschitz关于Z的额外信息,我们可以导出函数y的一步近似误差:|^y,Ip(x)- yp(x)|≤ |^y,Ip(x)- ^yp(x)|+| yp(x)- yp(x)|≤εP ic ardp+tθ| f(tp,x,^yp(x),^zp(x))- f(tp,x,yp(x),zp(x))|+| h(tp,x)- h(tp,x)|≤εP ic ardp+ξ|^yp(x)- yp(x)|+ξ|^zp(x)- zp(x)|+| h(tp,x)-h(tp,x)|≤(1+ξ)εP ic ardp+ξ| y,Ip(x)- yp(x)|+ξ|^zp(x)- zp(x)|+| h(tp,x)- h(tp,x)|。术语εP ic ardp:=|^y,Ip(x)- ^yp(x)|是应用Picard迭代的错误,它取决于t和f相对于y的Lipschitz系数,如本节前面所述。constantM与立定假设(A3)中f的Lipschitz系数有关,ξ:=Mtθ≤ 最后一个不等式是由| y一词的伸缩参数引起的p(x)-yp(x)|。重新排列这些项可以得到以下误差范围:| y,Ip(x)- yp(x)|≤1+ξ1- ξεP ic ardp+1- ξ(ξ|^zp(x)- zp(x)|+| h(tp,x)- h(tp,x)|)。(4.5)4.4 FBSDE递归模式的误差对于FBSDE系统、时间分割和离散化模式,我们可以应用第4.2节的结果,推导出相关预期的局部近似误差。当我们用函数y逼近期望值时p+1和zp+1在BSDE格式中,近似向量由(ρy)给出p+1={y,Ip+1(2-mr)}r=1-JJρzp+1={^zp+1(2-mr)}r=1-JJ、 对于p=0,P- 2、在终端时间tP=T时,它们定义为(ρyP={YT | XT=2-mr}r=1-JJρzP={ZT | XT=2-mr}r=1-JJ、 或(ρyP={<YT、 ^1J,r>}r=1-JJρzP={<ZT、 ^1J,r>}r=1-JJ、 取决于我们使用的方案。
|