|
由于Φ∈Cp(Rn+1),所以可以重写该问题,使Φ0(见[10,注IV.6.1])。如[10,引理IV.9.1]的证明(略有改进:假设略有改进),我们得到V(t,p+hζ,z)+V(t,p-hζ,z)-2V(t,p,z)≥-m(1+pj)h,对于(t,p,z)∈D,h>0和ζ,且ζ=1,其中m>0是常数。因此,函数V(t,·,z)是局部半凸的,一致地在(t,z)中,然后是A.E。我们现在给出满足假设3.5的两大类问题。本文讨论了U是R的紧区间,且g(s,v)=v的约束为z+rttu(s)∈[m,m]的问题。命题3.14。设a,b∈R,其中a<b。设3.1节中的假设成立,其中U=[a,b]和g(s,v)=v。此外,假设存在ζ,l>0,使得对于ζ=f,σ,下列条件成立:ζ(s,p,v)-ζ(s,p,v)≤(1+p)v-vl,±(s,p)∈[0,T]×Rn,±v,v∈U(3.31),则对假设3.5进行了证明。为了简单起见,在这个证明中,我们假定l=1(对于一般情况,在~u的认识中,用δi代替δ,其中i>1/l),设0<ρ<(m-m)/2,A是Dρs的紧子集,R>0使得B(0,R)A,ε>0。Fix(t,p,z)∈A和u∈Aadmtz,设γ>0(随后将精确修正)。由于函数L和Φ是连续的,因此存在δ=δ(ε,γ)>0,即对于每个s∈[0,T],对于每个p,p∈B(0,γ),对于每个z,z∈[m,m],对于每个z,z∈[m,m],对于每个v,v∈U,对于v-v≤δ,存在L(s,p,z,v)-L(s,p,z,v)≤ε4T,Φ(p,z)-Φ(p,z)≤ε,(3.32)。设πM={ω∈Ω:Zu(T)∈]m-ρ/2,M]}和inπmlet~u按以下方式定义:~u(s)=(u(s)-δ,如果s∈E,u(s),如果s∈[T,T]\\E,其中E=E(ω)={s∈[T,T]:u(s)-δ∈]a,b[}={s∈[T,T]:u(s)>a+δ}。设πm={ω∈Ω:Zu(T)∈[m,m+ρ/2[}和πmlet~u按以下方式定义:~u(s)=(u(s)+δ,如果s∈F,u(s),如果s∈[T,T]\\F,其中F=F(ω)={s∈[T,T]:u(s)+δ∈]a,b[}={s∈[T,T]:u(s)<b-δ}。最后,在Ω\\(πm\\πm)中设~uu,我们将证明这样一个过程~u满足了所需的性质。对于只依赖于ρ,T,R,a,b的适当函数0<η≤(m-m)/2,我们证明了Zt,Z;~u(T)∈[m+η(ε),m-η(ε)]ptpz-a.s.(3.33)。(3.34)让我们注意到z~u(T)=z+ztt~u(s)ds=z+zttu(s)ds-δμ(E)=Zu(T)-δμ(E),(3.35),其中,μ表示R中的Lebesgue测度。我们现在寻找μ(E)的估计。根据E的认识,我们有zttu(s)ds=zeu(s)ds+z[t,t]\\eu(s)ds≤bμ(E)+(a+δ)(t-t-Ω)(t-t)b-a-δ,t-t#ρ/2-δtb-a,t,(3.36),其中包含物为z+rttu(s)ds≥m-ρ/2(因为ω∈πM)和z≤m-ρ-a(t-t)(因为(t,p,z)∈dρ)。通过可能地减小δ(选择仅取决于a、b、ρ、T),我们可以假定(3.36)中的下界是正的。回忆(3.35):通过(3.34)和(3.36)我们得到z~u(T)∈M-ρ-δT,m-δρ/2-δTb-a,M+ρ,m-δρ/2-δTb-a,其中包含紧随M-ρ/2>M+ρ/2,并假设δsu cityly很小。这个估计对于每个ω∈πM都成立;通过同样的论证,对于每一个ω∈πMwegetz~u(T)∈M+δρ/2-δTb-a,m-ρ.最后,在Ω\\(πMüπM)中,我们有z~u∈[M+ρ/2,m-ρ/2]。总之,条件(3.33)在η(ε)=minρ,δ(ε,γ)ρ/2-δ(ε,γ)Tb-a下得到验证。我们仍然必须证明J(t,p,z;u)-J(t,p,z;~u)≤ε。(3.37)设πΩ为π={kPu(·)k≤γ,kp~u(·)k≤γ,kPu(·)-p~u(·)k≤δ};首先,为了简明起见,我们设置了γ(t,p,z;u,~u)=zttl(s,Pu(s),Zu(s),u(s))-l(s,p~u(s),z~u(s))ds+Φ(Pu(t),Zu(t))-Φ(p~u(t)),z~u(t)),并注意J(t,p,z;u)-J(t,p,z;~u)≤etpz[à(t,t,t,z)p,z;u,~u)π]+etpz['A(t,p,z;u,~u)πC]。
|