|
从表达式(3.9)中可以清楚地看出h的非正性,因为,对于任何起点(t,x)∈ [0,T)×(0,∞), 第一次停止的策略^Xt,xhits 0给出的值严格大于1。为了证明h从下面有界,假设一个矛盾{0}×(-∞, ∞) C.因此,根据(3.4)中的定义ξ,我们知道(-, 0]×R Cξ,其中Cξ表示从时间开始的最优销售问题的延续区域- < 0和之前的ξ。用vξ表示销售问题的马尔可夫值函数-, 允许-T∈ (-, 设a<0,使得vξ(-t、 a)<e-在现在,让x∈ (-∞, a) ,并观察vξ(-t、 十)≤ eatvξ(-t、 a)Psup0≤U≤t^X-t、 x-t+u<a+ ξv(-t、 a)Psup0≤U≤t^X-t、 x-t+u≥ A.→ eatvξ(-t、 a)<1as x&-∞. 这就产生了一个矛盾,因为vξ≥ 1.定义。因此,我们可以得出结论h(t)∈ (-∞, 0]∈ [0,T]。对于h的连续性,请注意,v的连续性和时间衰减意味着h是左极限的右连续。假设一个矛盾,h(t-) < h(t)表示一些t∈ (0,T)。用h(t)取点x,x-) < x<x<h(t),letx=(x+x)/2,考虑矩形R=(t- δ、 t)×(x,x) 对于某些δ>0的情况,为C。对于t∈ (t)- δ、 t),v(t,x)=EQheRτR^Xt,Xt+uduv(t+τR,^Xt,Xt+τR)i(3.17)≤ Q(τR<t)- t) v(t)- δ、 x)+ex(t-t) 。现在,对于带漂移的布朗运动,用R的离开时间来估计τRabove(比较命题3.8的证明),很容易检查q(τR<t- t) =o(t)- t) 。由于x<0,(3.17)因此意味着v(t,x)<1表示tclose to t,这与(3.10)相矛盾。上述论点也证明了h(T-) = 0.5. (3.12)的证明是沿着标准线进行的(例如,参见第2章中的[15,定理7.7]),所以我们这里不包括它。接下来,让我们建立平滑属性。
|