|
考虑f函数^Д(r,x)=Д(r,x)+ηxλ(x- x) +ηλ(r- r) ,(4.34)然后我们可以注意到^И(r,x)=Д(r,x),^Дx(r,x)=Дx(r,x),^Дr(r,x)=Дr(r,x),^Дrr(r,x)=Дrr(r,x),和λZx^- y) dG(y)=λZx^1(r,x- y) +ηxλydG(y)≤ λZxД(r,x- y) dG(y)+η。我们可以g etL(r,x)≤ -η < 0.由于^^是非负且连续可区分的,我们可以找到h∈ (0,x)使得l(r,x)≤ -η<0(4.35)(r,x)∈ [r]- 2h,r+2h]×[x- 2小时,x+2小时]。设ψ为n个偶数且非负连续可微函数,其支集包含在(-1, 1) × (-1,1)这样-1R级-1ψ(r,y)drdy=1。我们定义νn:(-∞, ∞) × [0, ∞) → R为卷积νn(R,y)=nZ Z√|y-x |+| r-s |<nψ(n(r- s) ,n(y- x) ()V(s,x)+ηh2λx+ηh2λdsdx。(4.36)由于V未在R×R上定义-在这个积分中,我们可以将V扩展为V(r,y)=V(r,0)+yfor(r,y)∈ R×R-. 通过标准技术(例如,见Wheeden和Zygmund[19]),我们得到了νnis是一个smoot h函数,并且νnConverge到V+ηh2λx+ηh2λ在[r-2h,r+2h]×[0,x+h]。然后,我们可以找到足够大的v(r,y)+ηhλx+ηhλ≥ νn(r,y)≥ V(r,y)+ηh4λx+ηh4λ。(4.37)设χ为连续可微函数,满足以下条件(1)0≤ χ ≤ 1,(2)χ(r,y)=1表示(r,y)∈ [r]- h、 r+h]×[x- h、 x+h],(3)χ(r,y)=0表示(r,y)/∈ [r]- 2h,r+2h]×[x- 2小时,x+2小时]。定义函数Д(r,y)=χ(r,y)Д(r,y)+(1- χ(r,y))νn(r,y)。(4.38)取ε=minnη2(r+h),ηhλ,ηh4λxo,从(4.34),(4.37),(4.38)我们可以看到函数Д(r,y)满足[V- ^1](r,y)≤ -ε(4.39){r- h} ×[x- h、 x+h]∪ {r+h}×[x- h、 x+h]∪ [r]- h、 r+h]×[0,x- h]∪[r]- h、 r+h]×{x+h}。从(4.35)中,我们得到了l[Д](r,y)≤ -rε(4.40)开[r- h、 r+h]×[x- h、 x+h]。对于任何策略,L={lt}t≥0,表示?τ=inft>0:XLt≥ x+h或rt/∈ [r]- h、 r+h],τ=inft>0:XLt≤ x个- h或rt/∈ [r]- h、 r+h].取τ=(R)τ∧ τ.
|