|
最优策略^π=^u,^Γ,^ξ= πν=uν,Γν,ξνQVI控制是否与^u(t)定义的^u有关=如果t=i和Xt,则为0∈ [0,bi),如果t=i和Xt∈ [bi,bi],代表t∈ [0,^Θ),且^u(t)=0表示t∈ [^Θ, ∞).考虑˙Aj,eAj,j=1,2,3,4,^Aj,Aj,j=1,2不满足条件(4.56)的情况。相反,假设条件(4.66)满足,并假设Cj,j=1,2,3,4和^Dj,eDj,j=1,2是系统E.q.(4.65)的解。之前定义了Dj,j=1,2,3,4和Fj,j=1,2,U(x),\'U(x)。然后由ν(x,1)给出的函数=Ceθ(x)-B) +Ceθ(x)-B) +Ceθ(x)-B) +Ceθ(x)-B) +F,如果x∈ [0,B),x- K、 如果x∈ [B],∞),和ν(x,2)=Deθ(x)-B) +Deθ(x)-B) +Deθ(x)-B) +Deθ(x)-B) +F,如果x∈ [0,B),eDeeθ(x-b) +eDeeθ(x)-b) +U(x),如果x∈ [B,B),^De^θ(x-B) +^De^θ(x)-B) +U(x),如果x∈ [b,b),^De^θ(b)-B) +^De^θ(B)-B) +U(B)+x- B- K、 如果x∈ [B],∞)是值函数。最优策略^π=^u,^Γ,^ξ= πν=uν,Γν,ξνQVI控制是否与^u(t)定义的^u有关=L如果t=1,如果t=2和Xt∈ [0,b),如果t=2和Xt∈ [b,b],代表t∈ [0,^Θ),且^u(t)=0表示t∈ [^Θ, ∞).证据为了证明上面定义的函数是值函数,我们只需证明它满足定理3.3的条件。显然,我们有ν(x,1)∈ C([0,∞)/{b,b,b})和ν(x,2)∈C([0,∞)/{b,b,b,b})。从s mooth fit条件,我们可以看到ν(0,i)=0,i∈ {1,2},和ν(0,i),i∈ {1,2}是连续可微函数。另一方面,很明显,ν(x,i)在[Bi]上是线性的,∞), i={1,2}。下面,如果我们能证明ν(x,i),i∈ {1,2}满足qvi,然后我们就可以完成证明。首先,我们考虑了系数为˙Aj,eAj,j=1,2,3,4,Aj,^Aj,j=1,2的情况,它们满足条件(4.56),即对于i∈ {1, 2}.
|