|
设置“Ys=Ys”- Ys;\'\'Zs=Zs- Zs;(R)Ks=Ks- Ks,我们有-d?Ys=hsds-(R)ZsdWs-(R)KSDM;\'Ys=ξ- ξ、 其中hs:=g(s,Ys,Zs,Ks)- g(s、Ys、Zs、Ks)。设置δs:=(g(s,Ys-, Zs、Ks)- g(s,Ys)-, Zs,Ks))/“Ysif”Ys6=0,否则为0。设置βs:=(g(s,Ys-, Zs、Ks)- g(s,Ys)-, Zs,Ks))/“Zsif”Zs6=0,否则为0。通过经典线性化技术,我们得到hs=δs'Ys+βs'Zs+g(s,Ys,Zs,Ks)- g(s,Ys,Zs,Ks)+Дs,其中Дs:=g(s,Ys-, Zs、Ks)- g(s,Ys)-, Zs,Ks)。使用假设(2.22),我们得到≥ δs'Ys+βs'Zs+γs'Ksλs+Дsds 数据处理- a、 s.(2.24)由于满足条件(2.3),可预测过程δ和βar有界。修复t∈[0,T]。让我来看看,。流程由(2.16)定义。因为δ、β和γ√λ有界,根据备注2.15,Γt,。∈ S、 同样,由于γS≥ -1、我们有,。≥ 根据It^o公式和定理2.1 4证明中的类似计算,我们得出-d(\'YsΓt,s)=Γt,s(hs- δs?Ys- βs?Zs- γs'Ksλs)ds- dms,其中m是鞅(因为Γt,。∈ S、 是的∈ S、 \'\'Z∈ IH,(R)K∈ IHλ和β,γ√λ有界)。利用不等式(2.24)得到Γ的非负性,从而得到-d(\'YsΓt,s)≥ Γt,sΓsds-d ms.通过对t和t进行积分,并采用条件预测,我们得到了“Yt”≥ E[Γt,t(ξ- ξ) +ZTtΓt,s|sds | Gt),0≤ t型≤ T、 a.s.(2.25)根据假设(2.23),Дs≥ 0和ξ- ξ≥ 0,这与t的非负性Y,t一起表示Y=Y- Y≥ 因此,断言(i)如下。假设γt>-通过注释2.15,Γt,t>0 a.s.因此,断言(ii)来自(2.2 5)。我们在这里给出了一些反例,这些反例与带有缺省j ump的BSDE的比较定理有关。备注2.18。
|