|
从现在起0< ≤ o在哪儿o如(2.5)所示。在命题2.7中选择了参数K,δ>0。固定(t,x)∈ (0,T)×R和δ∈ (0,t∧ ). 将(X,Y,V)定义为(1.6)(1.2)-(1.7)中的(X,x-v,K、 δ′γ(t,x),\'v,K、 δ′γ(t,x)- x-v,K、 δ′γ(t,x)x)作为t的初始条件,对于马尔可夫控制,α=σxx’v,K、 δ′γ1- Fxx’v,K、 δ′γ!(·,X)^b=tx-v,K、 δ′γ+xx’v,K、 δ′γ(u+^aσf)+xxx’v,K、 δ′γ(σ+^af)1- Fxx’v,K、 δ′γ!(·,X)。通过定义F,(1.13)和(1.1),上述定义是明确的,因为分母总是大于inf Fι>0。所有涉及的函数都有界,见命题2.7,很容易检查相应随机微分方程的解是否存在,以及(^a,^b)∈ A.o. 直接计算表明Y=x-v,K、 δ′γ(·X)。此外,事实上,K、 δ′γ是在[t,t]×R上F[~n]=0的上解,确保伽马约束(1.12)在某些K中保持不变≥ 1,还有-电视,K、 δ′γ(·X)-σ(X)^a≥ [t,t]上的0。最后一个不等式加上^a的定义意味着f(X)^a≥ 电视,K、 δ′γ(·X)+(σ(X)+f(X)^a)^a=电视,K、 δ′γ(·X)+(σ^aX(X))xx’v,K、 [t,t]上的δ′γ(·X)。因此,VT=\'v,K、 δ′γ(t,x)+ZTtf(Xu)^audu+ZTtx-v,K、 δ′γ(u,Xu)dXu≥ \'v,K、 δ′γ(t,x)+ZTtd′v,K、 δ′γ(u,Xu)=v,K、 δ′γ(T,XT)≥ g(XT),其中最后一个不等式再次来自命题2.7。它仍需达到极限δ, → 0.根据命题2.4,“v”,K′γ是连续的,所以,K、 δ′γ逐点收敛到‘v,K′γasδ→ 0.根据命题2.5,“v”,K′γ在点方向上收敛到v′γas → 0和K→ ∞. 鉴于上述情况,这意味着所需的结果:\'v\'γ≥ v′γ。备注2.9。
|