|
自相矛盾地假设∈\'O[u(y,i)- v(y,i)]>0。(20) 然后对于c>0足够小且λ∈ (γ,1),sup(x,t)∈\'O[u(y,i)- v(y,i)- c(x+t)λ]>0。(19)中的条件以及v从下方有界的事实,意味着达到了上述上确界,supy∈\'O[u(y,i)- v(y,i)- c(x+t)λ]=u((R)y,i)- v(y,i)- c(\'x+\'t)λ>0。接下来,应用变量加倍的思想,对于δ>0 small和η∈ R、 定义函数φ:(R)O→ R、 对于y=(x,t),z=(x′,t′),乘以φ(y,z):=u(y,i)- v(z,i)-z- yδ- 4η- c(x+t)λ。在发送δ时,按照[11]和[25]中的proo f,使用此符号↓ 0,c↓ 0和η↓ (0,0),可以看出(20)是矛盾的。如果w是O上(11)的约束粘度解,则粘度亚解和上解的标准比较结果得出V≤ w在O×M中。此外,如果w与V,V具有相同的边界条件≤ w在O×M上。现在进一步假设w在x上是凹的,那么上述命题以及值函数的正则性性质得出w≤ V在O×M上,下面的推论是直接的。推论4.6。(5)中的值函数V是x中凹函数类中的HJB方程(11)在O×M上的唯一约束粘度解,x的终端条件V(x,T,i)=U(x∈ [0, ∞).提案4.7。(5)中的变量函数V是C类中唯一的函数([0,∞)×【0,T】)∩C2,1((0,∞)×[0,T])相对于参数(x,T)和凹面x,满足HJB方程supθ∈RLθV(x,t,i)=0,(21),对于x,终端条件V(x,t,i)=U(x)∈ [0, ∞).证明遵循定理5.1,f=+∞ 在【25】和我们现在陈述的一些自然适当的修改中。我们需要考虑时间参数。
|