|
紧接着是I(·)和E(·;τu,r)的右连续性。引理2如果^u是平衡停止规则,则J(x;τ^u)≤ Kx个∈ (0, ∞).证据如果t存在x∈ (0, ∞) 使得J(x;τ^u)>K,那么我们有lim sup→0J(x;τ^u)- J(x;τ,1)=∞,式中,^u,1由(10)给出。这与平衡停止规则的定义相矛盾。引理3如果^u i是平衡停止规则,则{x>0:f(x)<R∞rdF(r)K} C^u.证明。假设存在x∈ {x>0:f(x)<R∞rdF(r)K}∩\'S^u,则从引理2得出E[J(Xt;τ^u)| X=X]≤ K、 考虑停车时间τ,0。方程(27)和J(x;τ^u)=K的偏差给出J(x;τ,0)- J(x;τ^u)≤EZh(s)f(Xs)dsX=X+ E“Z∞e-r- 1!w(X;r)dF(r)X=X#。当w(·,r)是连续的(引理1)且w(x;r)=K时,我们有lim inf→0J(x;τ,0)- J(x;τ^u)≤ f(x)-Z∞rKdF(r)<0。这与平衡停止规则的定义相矛盾。现在我们来证明定理3。我们从效率开始。为此,必须显示V(x)≤ K、 x个∈ (0,x*) 和f(x)-R∞rdF(r)K≥ 0,x∈ (十)*, ∞).我们首先展示了Vxx≤ 0,x∈ (0,x*). 通过简单的代数,我们得到了vxx(x)=Z∞α(r)(α(r)- 1) (K)- L(x;r))(xx*)α(r)xdF(r)+Z∞Lxx(x;r)dF(r)。因为L是凹的,我们只需要校准∞α(r)(α(r)- 1) (K)- L(x;r))(xx*)α(r)dF(r)≤ 0、很容易看出(xx*)如果α(r)在r中增加且x<x,则α(r)在r中减少*. 然后再安排不等式(例如,Hardy et al.1952;Lehmann et al.196 6的第10章)yieldsZ∞α(r)(α(r)- 1) (K)- L(x;r))(xx*)α(r)dF(r)≤Z∞α(r)(α(r)- 1) (K)- L(x;r))dF(r)Z∞(二十)*)α(r)dF(r)。(30)因此,从(21)可以得出Vxx(x)≤ 0,x∈ (0,x*). 现在,Vx(x*) = 因此Vx(x)≥ 0,因此V(x)≤ Kx个∈ (0,x*), 由于V(x*) = K、 接下来,不等式f(x)-R∞rdF(r)Kx个∈ (十)*, ∞) 从f b随不等式(20)而增加得出。
|