|
(i) 给定(r,ρ)∈ 用户界面((-f) #)和j=i,n、 k=j,n、 定义j(k,r,ρ)=EjΓj,k(-R-ρ) Sk+k-1Xl=jΓj,l(-R-ρ)(-f) #(l,rl,ρl)l1+rlL然后,选择采样定理产生每个停止时间τ∈“s和每个鞅∈ MYi(τ,r,ρ)=Ei“Γi,τ(-R-ρ) Sτ+τ-1Xl=iΓj,l(-R-ρ)(-f) #(l,rl,ρl)l1+rlL- (Mτ)- (密歇根州)#≤ Ei[θupi(r,ρ,M)]。与定理3.5的证明的第一部分相同的论点现在由凹度thatYi(τ,r,ρ)表示≥ 易。因此,Ei[θupi(r,ρ,M)]≥ 易。现在我们表示YjΓi,j的Doob鞅(-R*, -ρ*) 到了M0,*对于j=i,n、 选择apair(r*, ρ*) ∈ 用户界面((-f) #)满足(19)。这样的一对通过引理3.4再次存在。定义θ*j:=θupj(r)*, ρ*, M0,*), j=i,n、 我们通过对j=n的归纳来说明,i、 那Yj=θ*j、 首先注意Yn=Sn=θ*n、 为了证实j=i的索赔,N- 1我们首先观察到,*K- M0,*j=k-1Xl=j(Yl+1Γi,l+1(-R*, -ρ*) - El[Yl+1Γi,l+1(-R*, -ρ*)])=K-1Xl=jΓi,lYl+1- El[Yl+1]- (ρ*l)(βl+1Yl+1)- El[βl+1Yl+1])l1+r*L对于k=j,n、 因此,θ*j=maxk=j,。。。,nΓj,k(-R*, -ρ*)Sk+k-1Xl=jΓj,l(-R*, -ρ*)((-f) #(左,右)*l、 ρ*l) +(ρ)*l)(βl+1Yl+1)- El[βl+1Yl+1])L- Yl+1+El[Yl+1]1+r*Ll!=麦克斯{Sj,θ*j+1- Yj+1+Ej[Yj+1]+(-R*jθ*J- (ρ*j)βj+1θ*j+1+(-f)#(j,r)*j、 ρ*j) +(ρ)*j)(βj+1Yj+1)- Ej[βj+1Yj+1]))j} 。通过归纳假设和(19)我们得到θ*j=max{Sj,Ej[Yj+1]+(f(j,Yj,Ej[βj+1Yj+1])+r*j(Yj)- θ*j) )j} 。由于Yjis是这个方程的唯一解,我们得出结论θ*j=Yj。(ii)固定(M,M)∈ M1+Dandτ∈“是的。然后,通过f的凹性,我们在Ej[θlowj(τ,M,M)],i处观察到类似于定理3.1的结果≤ J≤ τ、 是无反射BSDE的子解,具有生成器f和终端时间τ。后者的解用y(τ)jin命题2.2表示。
|