|
结合[A2]和(A.2),我们得到ZT公司∧τRtxsvsds+E\'Jλ(T∧ τR,XT∧τR,vT∧τR)≥\'Jλ(t,X,v)。(A.4)它从引理1起成立→∞τR≥ 因此,(a.4)左侧的第一项收敛于脚趾ZTt(xs/vs)ds作为R→ ∞ 利用单调收敛定理。至于第二学期,我们观察到\'Jλ(T∧ τR,XT∧τR,vT∧τR)= λEXTvT;τR≥ T+E\'Jλ(τR,XτR,vτR);τR<T,那是XTvT;τR≥ T-→EXTvT公司, R→ ∞而那0≤E\'Jλ(τR,XτR,vτR);τR<T≤ XCλE1+支持≤s≤Tvmλs+支持≤s≤电视-mλs{τR<T}-→ 0,R→ 利用引理1和支配收敛定理。将这些与(A.4)相结合,我们得到ZTtxsvsds+λXTvt≥\'Jλ(t,X,v)。由于x是任意的,我们得到了断言。提案2。Jλ(t,X,v)≤\'Jλ(t,X,v)。证据Setxλs=X exp-ZstvrWλ(r,vr)drvsWλ(s,vs)。那么xλ=(xλs)t≤s≤Tis(Fs)t≤s≤T-自适应,非负,andXλs:=X-Zstxλrdr=X exp-ZstvrWλ(r,vr)dr≤ 十、 t型≤ s≤ T、 因此xλ∈A(t,X)保持不变。我们观察到X'Jλ(s,Xλs,vs)=XλsvsWλ(s,vs)=Xλsto到达(Xλs)vs- xλsX'Jλ(s,Xλs,vs)=-vs(XλsWλ(s,vs))。(A.5)通过与命题1证明中相同的计算,将(A.3)替换为(A.5),我们看到jλ(t,X,v)≤EZTt(xλs)vsds+λvtXλs=\'Jλ(t,X,v)。从Pro位置1和2,我们得到(4.5),我们看到xλ∈由(4.3)定义的A(0,X)是Jλ(X)的优化器。根据定义,我们可以看到每个(t,v)∈ [0,T)×(0,∞), 函数族swλ(t,v)=Jλ(t,1,v),λ>0,是非负的,且单t 1相对于λ增加。此外,它认为supλWλ(t,v)<∞. 实际上,设置x=(xs)t≤s≤T∈ A(t,1)asxs=1/(t- t) ,我们看到jλ(t,1,v)≤E“ZTXSVSD+λvt1.-ZTXSDS#≤T- tE公司sup0≤s≤电视-1秒≤CT- t由于引理1。因此,极限W∞(t,v)=limλ→∞Wλ(t,v)对于每个(t,v)都存在∈[0,T)×(0,∞).
|