这直接意味着Vu(x;a*, b*) > 所有x的0≥ 0,连同Vu(b*; 一*, b*) = 0我们得到Vu(x;a*, b*) < 所有x<b均为0*,以及Vu(b*; 一*, b*) = 1产生Vu(x;a*, b*) > 1代表所有a*≤ x<b*.此外,Vl(x;a)的第一系数*, b*) 满足以下条件:*, b*) < 0,因为我们可以使用标识a(a*, b*)雷拉*= R(φ- A(A*, b*)雷拉*- A(A*, b*)),为了从不等式Vl(a*; 一*, b*) = Vu(a*; 一*, b*) < 0表示A(A*, b*) <0、知道A(A*, b*) > 0,我们区分以下情况,即ifA(a*, b*) < 0然后Vl(x;a*, b*) < 0表示所有0≤ x个≤ 一*该属性与VL(a*; 一*, b*) = φ>1产生Vl(x;a*, b*) ≥ φ>1表示所有0≤ x个≤ 一*.如果A(A*, b*) > 0,然后是Vl(x;a*, b*) > 0表示所有0≤ x个≤ 一*, 这意味着Vl(x;a*, b*) < 0表示所有0≤ x个≤ 一*, 自Vl(a)以来*; 一*, b*) = Vu(a*; 一*, b*) < 0、现在凹度和Vl(a*; 一*, b*) = φ>1产生Vl(x;a*, b*) ≥ φ>1对于所有0≤ x个≤ 一*. 此外,我们可以推导出V(x;a*, b*) >φcδ+λ>0。这可以通过使用Vl(x;a)的方程,在引理1中已经显示出来*, b*) inx=0,利用该β(Vl(a*; 一*, b*) - Vl(0;a*, b*) - φa*) > 0,由于凹度和Vl(a*; 一*, b*) = φ.最后,如果我们插入函数V(x;a*, b*) 在HJB方程中,我们得到x的∈ [0,a*] HJB方程的第一部分为零,第二部分小于零。对于x∈ (a)*, b*] 同样的道理,因为第一部分中的上确界项为零,因为ev(x+f;a*, b*) =V(x;a)*, b*) + V(x;a)*, b*)f+V(θ;a)*, b*)f<V(x;a*, b*) + φf为真,对于aθ∈ (x,x+f),前提是f>0,否则,如果f=0,则supremupart也为零。对于x>b*我们必须证明HJB方程的第二部分为零,第一部分小于零。