|
ξ可容许性的证明*使用以下Gronwall不等式的迭代积分版本。引理5.1([4,推论11.1])。设u(t)、a(t)和b(t)是[0,t]上的非负连续函数,其中a(t)和b(t)是非减函数,假设u(t)≤ a(t)+b(t)ZtZsk(s,r)u(r)dr ds,0≤ t型≤ T、 其中k(s,r)是{0上的非负连续函数≤ r≤ s≤ T}。Thenu(t)≤ a(t)膨胀b(t)ZtZsk(s,r)dr ds, 0≤ t型≤ T、 我们现在准备验证候选最优控制ξ*确实可以接受。引理5.2。反馈控制ξ*(2.5)中给出的是可接受的。证据让我们确定初始状态(t,x,y)∈ [0,T)×R×R.状态过程的动力学(X*, Y*) 在候选最优控制ξ下*由以下公式得出:(dX)*s={-DsX公司*s+EsY*s} dsdY公司*s={-(ρs+γEs)Y*s+γDsX*s} ds。(5.1)由于D在终端时间的奇异性,尚不清楚(5.1)的解是否在终端时间得到了很好的定义;先验地,我们只知道(X*, Y*) ∈ L∞F级(Ohm; C([t,t-]; R) 。为了显示X*T=0我们首先应用T的常数变化公式≤ s<T toget:X*s=xe-RstDudu+Zste-RsrDuduErY公司*兰迪*s=ye-Rst(ρu+γEu)du+Zste-Rsr(ρu+γEu)duγDrX*rdr。
|