|
然后通过引理3.10,An=[φ(Xxt)- \'\'vn(h,Xxt)]+(eρh- 1) vn(高,Xxt)≤bm(h)+c(1+Xxt)ρh。因此,对于任何t∈ [0,T- h] ,x≥ 0,Ex[An{θx≥t} ]≤ (bm(h)+cρh)P(θx≥ t) +cρh Ex[Xxt{θx≥t} 】。(3.11)步骤4。我们现在为Bn建立一个模界。由于Vn是连续的,~mn(h):=支持∈[0,T-h] ,x∈[0,ζ*]vn(t,x)-vn(t+h,x)是n的模量≥ 1.然后,对于n>1,考虑到边界条件(3.8),Bn≤ supζ∈[0,ζ*]越南-1(t-θx,ζ)- 越南-1(t+h- θx,ζ)≤ mn-1(h)。我们证明了▄mn由一个模一致有界。首先,存在*>0取决于ζ*这样,对于所有∈[0,T-h] andx∈[0, ζ*] 我们有[Xxt{θx≥t} ]≤ c*P(θx≥ t) 。因此,Ex[An{θx≥t} ]≤ [bm(h)+c(1+c*)ρh]P(θx≥ t) ,则,t型∈ [0,T- h] ,x∈ [0, ζ*].(3.10)和上述两个估计值的组合意味着mn(h)≤ [bm(h)+c(1+c*)ρh]P(θx≥ t) +锰-1(h)(1-P(θx≥ t) ()≤ supλ∈[0,1][bm(h)+c(1+c*)ρh]λ+~mn-1(h)(1-λ) )=最大{bm(h)+c(1+c*)ρh,~mn-1(h)},n>1。通过归纳,我们得出结论BN≤ mn(h)≤ 最大{bm(h)+c(1+c*)ρh,~m(h)}=:mB(h),n≥ 1.(3.12)(3.11)ExXxt{θx≥t}≤ cxx公司≥x个≥ 0,Ex[An{θx≥t} ]≤ (bm(h)+cρh)P(θx≥ t) +cρhEx[Xxt{θx≥t} ]≤ (bm(h)+cρh)+cρh[c(1+x)]≤ (bm(h)+c(1+c)ρh)(1+x)=:mA(h)(1+x)。(3.13)将(3.12)和(3.13)插入(3.10),从而产生vn(t,x)-vn(t+h,x)≤ mA(h)(1+x)+mB(h)。现在我们可以完成定理3.6的证明。定理3.6的证明。根据他们的定义,v(t,0)≥0=v(t,0)和v(t,·)=v(t,·)=φvv(3.4)v≥ vv型≥ vQthat vn≥ 越南-1对于某些n≥ 那么,vn+1(t,0)=I(vn(t,·))(0)+≥ I(vn-1(t,·))(0)+=vn(t,0),t∈ [0,T]。vvn+1≥ vnQvnn{vn}非线性连续。然后,{vn}n局部一致收敛到v∈ C(Q)。As{vn}所有(3.4)vv∈ C∞Q{vn}nv∈ CQ公司∩ CTAvnt,x≥ Ivn公司-1t、·xt、x∈ Qvt,x≥ Ivt、·xv以及(3.4)和边界条件允许我们通过标准验证参数证明值函数。
|