|
此外,BYLEMA 3.3有一个C,这样,对于所有(t,z,R)∈ [0,T]×E×(0,∞), uRzsatis是不等式| uRz(t,z)|≤ C(1+| y |)。因此对于给定的c≥ 0,存在R的正恒量依赖,因此| rR(t,z)|≤ C (t,z)∈ [0,T]×E使得| y |≤ c、 因此,对于R≥ C、 我们有hr(t,z,uR(t,z))=sup∈\'BE(0,R)-\'r\'uR(t,z)- L(t,z,r)= 副手∈E-\'r\'uR(t,z)- L(t,z,r)= H(t,z,uR(t,z)),(3.45)表示所有(t,z)∈ [0,T]×E使得| y |≤ c、 由于c可以选择任意大,这意味着Uri是一个满足(3.10)的C1,2解to(3.4)-(3.5)。4随机最优控制问题经典解的存在性本节致力于证明本文的主要结果,定理2.4,这是以下命题4.1和定理3.1中经典解的存在性的一个平凡推论(未正式陈述)。在命题4.1中,使用Girsanov变换的基本性质(参见[15])证明了一个验证结果,该结果将半线性方程(3.4)和终端条件(3.5)的解与原始随机控制问题(2.21)联系起来。提议4.1。如果你∈ C1,2是半线性偏微分方程(3.4)的解,如果满足假设(2.5)和(2.4),并且如果[0,T]×E,则具有终止条件(3.5) (t,z)=(t,(x,y))7→ |M(t,z)-1/2u(t,z)|(1+| y |)-1是一个有界函数(4.1),那么(2.21)的v值函数由v(t,w,z)=waae给出-u(t,z),for(t,w,z)∈ [0,T]×(0,∞ ) 存在唯一的最优控制过程^π∈ A、 ^πt=π(t,Zt,uz(t,Zt)),其中π由(3.7)定义。证据:1。我们首先证明^π∈ A.
|