|
由于值函数支配Payoff函数,且两者都是非递增且凸的,因此我们得到了(3.13)xv(x,l*, u*)|x个↓u*≥xv(x,l*, u*)|x个↑u*.为了证明相反方向的不等式,我们使用了【Eisenbaum和Kyprianou(2008),第208页】中提出的变量公式的变化以及Dynkin公式-qtv(Xt,l*, u*) =Mt+v(x,l*, u*) +Zt(A- q) v(Xs,l*, u*) ds+Zt(A- q) v(Xs,l*, u*) ds+Zte-qs公司x(v)(Xs+,l*, u*) - v(Xs-, l*, u*)) dLu*s、 其中mt是局部鞅,Lu*sis当地时间X在u*, A是X和v(X,l)的微型生成器*u*) =v(x,l*, u*)|x> u型*和v(x,l*u*) = v(x,l*, u*)|x个≤u*. 请注意,通过引理3和(3.10),函数vand vare在微型生成器A的域中(见[Eisenbaum和Kyprianou(2008),Thm.2])。现在,根据最优停车的一般理论(详见【Peskir和Shiryaev(2006)】),我们知道-qtv(Xt,l*, u*)是一个超级艺术家。因此,E(x)Ztw(A- q) v(Xs,l*, u*) ds+Ztw(A- q) v(Xs,l*, u*) ds+Ztwe-qs公司x(v)(Xs+,l*, u*) - v(Xs-, l*, u*)) dLu*s≤ 0(3.14)表示任何0≤ w≤ t、 根据【Eisenbaum和Kyprianou(2008),Thm.3】,过程如下:→Ztwe公司-qs公司x(v)(Xs+,l*, u*) - v(Xs-, l*, u*)) dLu*任何有限区间上无界变化的sis与假设下的Xtis相似(3.8)。另一方面,过程t→Rt(A- q) v(Xs,l*, u*) ds和t→Rt(A- q) v(Xs,l*, u*) ds具有有界变化。因此,Taking→ 在(3.14)中,我们可以得出以下结论:u(w,t):=E(x)Ztwe-qs公司x(v)(Xs+,l*, u*) - v(Xs-, l*, u*)) dLu*s≤ 0(3.15),对于所有非常小的w和t。实际上,假设相反,对于一些w<t,我们有U(w,t)>0。作为本地时间Lu*这是不减损的,只有当工艺X进入半线(u*, ∞) 离开集合(-∞, u*), 然后,取x=u*, 从(3.13)中,我们得到U(w,t)等于其变化量,即+∞.
|