我们从最相关的案例开始,其中limx→x(lx+λc)<ρ(I)- k) <limx→x(lx+λc)。正如我们已经讨论过的ed,从x 7开始→ lx+λc在增加,我们期望最优切换规则为τ的形式*= inf{t≥ 0:Xxt≥ 十、*}, 为了一些x*∈ 我被找到了。该猜测得出(B.1)bU(x)给出的候选值函数bU:=(我- K-bV(x)*)Ex公司E-rτ*, 对于x<x*,我- K-bV(x)代表x≥ 十、*.利用Ex的概率表示E-rτ*和(A.8)一样,我们可以写(B.2)bU(x)=(我- K-bV(x)*)ψρ(x)ψρ(x)*), 对于x<x*,我- K-bV(x)代表x≥ 十、*.注意bu在x处已经是连续的*通过建设。为了确定acandidate的阈值x*, 我们认为BU是Cat x=x*; i、 e.bU′(x)*-) =bU′(x)*+), 这反过来又会导致-我- K-bV(x)*)ψ′ρ(x)*) +我- K-bV′(十)*) ψρ(x)*) = 0.将后者除以S′(x)(参见(A.1))我们得出(B.3)我- K-bV′(十)*) ψρ(x)*)S′(x)*)-我- K-bV(x)*)ψ′ρ(x)*)S′(x)*)= 0.让A:我→ R为(B.4)A(x):=ψρ(x)我- K-bV′(十)-我- K-bV(x)ψ′ρ(x)S′(x)我们知道(B.3)等价于A(x)*) = 利用S′解(LXS′)(x)=0和ψρ解(A.3)的事实,一些代数表明A′(x)=ψρ(x)m′(x)(LX)- ρ)我- K-bV(x) 。多亏了(2.13),我们才有了这个极限→xA(x)=0;根据微积分的基本理论,对于任何x∈ 一、 我们有(B.5)A(x)=Zxxψρ(y)m′(y)(LX)- ρ)我- K-bV(y) dy.电动汽车的最佳采用21(LX)- ρ) bV(x)=-(lx+λc),我们可以从(B.5)(B.6)A(x)=Zxxψρ(y)m′(y)写出(-ρ(I)- k) +ly+λc)dy,x∈ 因为它必须是A(x)*) = 然后我们得到x的方程*(B.7)Zx*xψρ(y)m′(y)(-ρ(I)- k) +ly+λc)dy=0。第二步。我们现在证明存在一个唯一的x*解(B.7),使x*> ^x与^x:=l(ρ(I)- (k)- λc)。参考(B.6),观察A(^x)<0,因为y 7→ (-ρ(I)- k) +lx+λc)是递增的,在^x中为空。