在区间(x+,ξI)中,f(·)从f(x+)>0下降到f(ξI),因此存在一些y∈ (x+,ξI),其中f′(y)<0。因为f′(ξI)=0,所以有一些z∈ (y,ξI),其中f′(z)>0。通过引理9,f′(ξI)>0。因此,等式(31)得到满足。引理7、8、11和12证明命题4。附录B命题2的证明:(i)从等式(6)可以直接得到以下不等式:ψ(ν)(σ)=-ν-ασ+ ν√ν+ 2ασσ√ν+ 2ασ< 0 ,φ(ν)(σ)=ν+ ασ+ ν√ν+ 2ασσ√ν+ 2ασ> 0 ,ψ(ν)ν=ν -√ν+ 2ασσ√ν+ 2ασ< 0 ,φ(ν)ν=-ν -√ν+ 2ασσ√ν+ 2ασ< 0ψ(ν)α=√ν+ 2ασ> 0 ,φ(ν)α= -√ν+ 2ασ< 0 .(ii)我们首先认识到ξ(ν)=-1/ψ(ν). 使用微分链法则(ξ(ν)z=ψ(ν)ψ(ν)zf对于任何模型参数z),我们可以从上述ψ(ν)的比较静力学中获得ξ(ν)的比较静力学。(iii)对于x>ξ(ν),我们可以表示v(x;ν)=xα+να-αφ(ν)exp[φ(ν)(x-ξ(ν))] .因此V(x;ν)σ=αφ(ν)exp[φ(ν)(x-ξ(ν))]×[φ(ν)σ-φ(ν)φ(ν)σ(x-ξ(ν))-φ(ν)ψ(ν)·ψ(ν)σ] .根据φ(ν)<0,x>ξ(ν),ψ(ν)σ<0,和φ(ν)σ=ν+ ασ+ ν√ν+ 2ασσ√ν+2ασ>0,我们得出结论V(x;ν)σ> 0.比较静力学V(x;ν)ν> 从等式(2)中的目标函数中更容易看出0,该函数随固定τ的增加而增加ν。或者,V(x;ν)ν> 0可以用代数直接表示。引理1的证明:设xθ=θx+(1-θ) xwhereθ∈ (0,1),x6=x,设τ*表示以X=Xθ为条件的最佳停止时间。