首先,时间间隔上策略的最优性[τbuy(τ,ζ)+θ,τ]遵循(113)和步骤1中的^Xτ,ζ,ν的构造。接下来,我们必须检查[τbuy(τ,ζ),τbuy(τ,ζ)+θ]上的出售和购买次梯度。观察到,根据该间隔上的^Xτ,ζ,Д的构造,由于以下事实:↓τbuy(τ,ζ)+θJτ(^Xτ,ζ,Д)=↓Jτ*-\'θ(^Xτ)*-θ,ζ*e-κθ,φ*) = 0,(114)我们用引理5.9 1获得。)对于所有t∈ [τbuy(τ,ζ),τbuy(τ,ζ)+θ]表达式↑,↓tJτ(^Xτ,ζ,Д)=↑,↓t型-τbuy(τ,ζ)Jτ*(^Xτ*,ζ*,φ*)= ↑,↓Jτ-t(^Xτ-t、 ζ*e-κ(t-τbuy(τ,ζ)),Д*)= g级↑,↓(τ买(τ,ζ)+θ- t;τ*-θ, ζ*e-κθ, φ*)= ±(λφ*- u)(τbuy(τ,ζ)+θ- t) +ζ*e-κτ*(eκ(τbuy(τ,ζ)+θ-t) ±1)+κ(e-κ(τbuy(τ,ζ)+θ-t) ±1)(-λφ*+ u +κζ*e-κ′θ),(115),其中我们使用了z[0,τ*-\'θ]e-κud^Xτ*-θ,ζ*e-κθ,φ*,↓u=ηκ(-λφ*+ u +κζ*e-κθ).注意,(114)表示g↓(0; τ*-θ, ζ*e-κθ, φ*) = 此外,可以很容易地检查θg↓(θ; τ*-θ, ζ*e-κθ, φ*)|θ=0= 0. 因此,由于s 7的严格凸性→ g级↓(θ-sτ*-θ, ζ*e-κθ, φ*) 在[0,θ]上,我们可以推断↓[τbuy(τ,ζ),τbuy(τ,ζ)+θ]上的tJτ(^Xτ,ζ,Д)>0。类似地,关于buysubgradient,(114)意味着↑(0; τ*-θ, ζ*e-κθ, φ*) > 引理4.8导致0。此外,简单的代数运算表明,恒等式*=φ(τ*) (通过使用(76)中的表示)实际上意味着g↑(θ; τ*-θ, ζ*e-κθ, φ*) = 0和θg↑(θ; τ*-θ, ζ*e-κθ, φ*)|θ=θ= 0. 因此,利用s 7→ g级↑(θ - sτ*-θ, ζ*e-κθ, φ*) 在[0,\'θ]上是严格凸的,我们可以推断↑对于所有t,tJτ(^Xτ,ζ,Д)>0∈ (τbuy(τ,ζ),τbuy(τ,ζ)+θ)。为了完成策略^Xτ,ζ,Д的最优性验证,我们需要检查↑对于所有t,tJτ(^Xτ,ζ,Д)=0∈ [0,τ购买(τ,ζ)]。事实上,再一次简单而繁琐的代数运算表明这是正确的。