|
假设我们的候选最优值函数,由三分法S1-S3给出,并用v表示,满足属性P1-P3,则它是最优的。这是标准的,请参见附录中的证明。所以我们试图证明,在v处,th具有p性质P1-P3。证明P3:注意,每个vii在[0,M]上都是连续的,因此有界,并且通常由Ex,f[e]给出-rτ^mM)Sτ^mM],因此^τ=τ^mM。为了证明P 1:由于V是有界的,因此它不属于D类。由于L严格小于H,根据it^o-Tanaka公式,我们有dVt=1(t<τ[M,∞))e-rt公司-rv(St,Ft;^m)+L+v(St,+)1(Ft=+)+L-v(St,+)1(Ft=-)dt+dMt+vx(^m,-; ^m)-vx(^m-, -; ^m)dl^mt, (3.8)当M是连续局部鞅时,l^mis是S在^M的局部时间,如果C3是吸收的或不可访问的,则最后一项消失。现在既然v(x,-; ^m)=x forx≤ ^m和sin ce(在C1和C2的情况下),我们在vx(^m,-; ^m)=1我们看到(3.8)中的本地时间项消失了。然后,由于(2.17)和d(2.18),当Ft=+和Ft=- 和St≥ ^m,所以我们剩下DVT=1(t<τ[m,∞))e-rt公司(u-(St)- rSt)1(英尺=-,St<^m)dt+dMt, (3.9)因此V是局部上鞅(因为u-(十)≤ rx)。然后,由于v是有界的,因此v是所需的上鞅。最后,要建立P2:我们需要证明v≥ x、 附录A中的ISLEMA A.1。3.2对数正态情况在这一部分中,我们假设冰的动力学在每个状态下都是对数正态的,因此σ+(x)=σ+x;σ-(x) =σ-x;u+(x)=u+x;u-(x) =u-x、 (3.10)σ+>0;σ-> 0; 和u-< r<u+。(2.17)和(2.18)的相应基本解由xα+、xβ+和xα给出-, xβ-其中α+和β+分别是h+(t)def=σ+t+(u)的根+-σ++t- r=0和α-和β-是h的根-(t) def=σ-t+(u--σ-)t型- r=0,按β±<α±的顺序排列。引理3.4。
|