然后我们有| E[GT]-G |=θEγZT^H(t,Xνt,Qνt,Sνt,Uνt;θc,θγ)×Xi=3θiMi(t,Qνt,Uνt)+V(t,Qνt,Uνt;θ)dt公司≤ γ θθCT E[EθγC(1+MW+MZ)]+V(θ)θT E[EθγC(1+MW+MZ)].因此,limθ↓0θHν(0,x,q,S,U)-^H(0,x,q,S,U)= 0,当与定理6结合时,证明了所需的结果。附录C—P3、4、5、6、M3、4、5和V6.7。P3,4,5,6的完整表达式下列表达式给出了函数P3,4,5,6(t,q,U),它们出现在第6项的证明中。这些表达式是通过显式计算(66)中的上确界和θ的分组幂得到的。回想一下,每个h0,1,2,3,4,5相对于q都是二次的。然后,通过检查,我们看到,Pand Pare三次多项式相对于q,Pand Pare四次多项式相对于q,这些多项式的系数是t和U的一致有界函数。此外,通过引理5,系数对于有界导数的U是连续可微的。P=(γqh+c(qh+(Uh))(cqh+cγqh+γqh)2 k-γη((cUh+γUh)+2Uh(cUh+cγUh+γUh))+c(cUh+cγUh+γ呃)(qh+bq)2 k+c(γqh+c(qh+(Uh))(cUh+γUh)2 k- γρσηq(cUh+cγUh+γUh),(89a)P=(c(cUh+γUh)+cqh+cγqh+γqh)4 k+c(cUh+cγUh+γUh)(cUh+cqh+γqh)2 k- γη(cUh+γUh)(cUh+cγUh+γUh),(89b)P=c(cUh+cγUh+γUh)(cUh+γUh)2 k+c(cUh+cγUh+γUh)(cqh+cγqh+γqh)2 k-γη(cUh+cγUh+γUh),(89c)P=c(cUh+cγUh+γUh)4 k.(89d)6.8。M3,4,5的完整表达式下面的表达式给出了函数M3,4,5(t,q,U),它们出现在第7项和命题8的证明中。将(33)中的反馈控制^ν代入(t+L^ν)^H(t,x,q,S,U;θc,θγ)和θ的分组幂。回想一下,每个h0,1,2,3,4,5相对于q都是二次的。
|