|
因此,Vσ′∧τ′(x+ph(x),Д′)≥ Yσ′∧τ′≥ Xlτ′{τ′<σ′}+Xuσ′{σ′<τ′}+Xmσ′{σ′=τ′}=Jh(σ′,τ′)。(28)来自(iii),Vσ′∧τ′(x+ph(x),Д′)=Yσ′∧τ′=Jh(σ′,τ′),即Vσ′∧τ′(Y,Д′)=Yσ′∧通过回忆ph(x)=Y,τ′=Jh(σ′,τ′)- x、 此外,由于过程V=V(Y,Д′)满足SDE(21),很容易看出过程V(Y,Д′)是一个Eg,h-鞅。因此我们有Eg,h0,σ′∧τ′(Yσ′)∧τ′)=Eg,h0,σ′∧τ′Vσ′∧τ′(Y,Д′)= Y、 (29)22 E.Kim、T.Nie和M.Rutkowski进程Y求解DRBSDE(20),该DRBSDE可以写在0上≤ r≤ t型≤ σ′如下(回想一下,Uσ′=0)dYr=-g(r,Yr,Zr)dr+ZrdSr+dAt- dLr,Yt=Yt,Xlr≤ 年≤ Xur,Rt(年- Xlr)dLcr=0,Ld=-(Y)- A) 1{Y-=Xl码-}.使用假设3.5,我们得到Eg,hs∧σ′,t∧σ′(Yt∧σ′) ≤ Ys公司∧σ′对于所有0≤ s≤ t型≤ 所以Y是随机区间[0,σ′]上的anEg,h-上鞅。我们现在声称,对于所有0≤ s≤ τ′,Eg,hs∧σ′,τ′∧σ′(Yτ′)∧σ′)=Ys∧σ′. (30)相反,假设等式(30)不能成立。在这种情况下,dger的g-评估的严格比较性质将为yieldEg,h0,τ′∧σ′(Yτ′)∧σ′)=Eg,h0,s∧σ′(例如,hs∧σ′,τ′∧σ′(Yτ′)∧σ′)<例如,h0,s∧σ′(Ys∧σ′) ≤ Y、 这显然与(29)相矛盾。接下来,我们声明Eg,hs∧σ′,t∧σ′(Yt∧σ′)=Ys∧σ′表示0≤ s≤ t型≤ 这意味着Y是[0,τ′上的Eg,h-鞅∧ σ′)和Lτ′∧σ′= 0. 为了确定这一性质,我们注意到(30)给出了Eg,ht∧σ′,τ′∧σ′(Yτ′)∧σ′)=Yt∧σ′,因此,对于所有0≤ s≤ t型≤ T,Eg,hs∧σ′,t∧σ′(Yt∧σ′)=例如,hs∧σ′,t∧σ′(例如,ht∧σ′,τ′∧σ′(Yτ′)∧σ′)=例如,hs∧σ′,τ′∧σ′(Yτ′)∧σ′)=Ys∧σ′,最后一个等式来自(30)。(四)=> (iii)。
|