我们得出结论,Y是[0,τ′]上的Eg,i-鞅,因此等式Kτ′=0。(四)=> (iii)。根据假设,Yτ′=Xτ′,Kτ′=0,因此反射的BSDE(19)在[0,τ′](dYt=-g(t,Yt,Zt)dt+ZtdSt+dAt,Yτ′=Xτ′。对于t,上述BSDE也可以用正向方式表示∈ [0,τ′,dYt=-g(t,Yt,Zt)dt+ZtdSt+dAt,其中给出了初始值和过程Z。类似地,财富过程V:=V(x+pi,ν′)=V(Y,Z)求解以下SDE,对于t∈ [0,T],dVt=-g(t,Vt,Zt)dt+ZtdSt+dAt,初始条件V=Y。从上述SDE的解的唯一性,我们推断t的Vt=yt∈ [0, τ′]. 特别是Vτ′(x+pi,ν′)=Yτ′=xτ′,如所需。(四)=> (v) 。从[0,τ′)上Y的i-鞅性质出发,我们得到了Eg,i0,τ′(Yτ′)=Y。根据假设3.3,我们得到了Y=vi(Ca),因此等式Eg,i0,τ′(Xτ′)=vi(Ca)=bvi(Ca),这意味着τ′是发行人最优停止问题的解。(五)=> (四)。根据条件(v)和假设3.3,我们得到等式Y=Eg,i0,τ′(Xτ′)。现在,我们将使用与隐含证明(iii)中类似的论点=> (四)。首先,过程'Xs:=例如,is,t(Xτ′)解出以下BSDE(d'Xs=-g(s,’Xs,’Zs)ds+’ZsdSs+dAs,’Xτ′=Xτ′,并且它也满足‘X=Y。其次,如果(Y,Z,K)解出反射的BSDE(19),则对(eY,eZ)=(Y,Z)是BSDE的唯一解(deYs=-g(s、eYs、eZs)ds+eZsdSs+dAs- dKs,eYτ′=Yτ′≥ Xτ′,美式期权的非线性定价21,其中K是一个预先确定的递增过程,显然,eY=Y。BSDE解的扩展比较性质产生不等式Eg,it,τ′(Yτ′)≤ Ytfor all t公司∈ [0, τ′]. 因此,ifYτ′≥ Xτ′和Yτ′6=Xτ′,则Eg、igivesY的严格比较性质≥ Eg,i0,τ′(Yτ′)>Eg,i0,τ′(Xτ′)=Y,这是一个矛盾。这表明Yτ′=Xτ′。
|