|
为此,请注意。ZτR,Ne-ρsXx,ξs- cdξcs+X0≤s≤τR,Ne-ρsZξsXx,ξs-- αu- c杜邦≤Z∞e-ρs | Xx,ξs | dξcs+cy+Xs≥0:ξs6=0e-ρs|Xx,ξs-|ξs+α(ξs),(3.18)和(3.18)的右侧可被(3.7)和(3.8)积分。因此,我们可以调用支配收敛定理,将极限作为R↑ ∞ an d然后作为N↑ ∞, so asto getJ(x,y,ξ)≤ w(x,y)。(3.19)自ξ起∈ A(y)是任意的,我们有v(x,y)≤ w(x,y),(3.20),产生V≤ R×(0)中(x,y)的任意性,∞).第2步。这里,我们证明V(x,y)≥ w(x,y)表示任意(x,y)∈ R×(0,∞). Letξ∈ A(y)满足(3.14)和(3.15),且设τR、 N:=inf{t≥ 0:Xx,ξt型/∈ (-R、 R)}∧ N、 对于N∈ N、 然后,通过使用与步骤1相同的参数,所有不等式都变为等式,我们得到ZτR、 东北-ρsXx,ξs- cdξ,cs+X0≤s≤τR、 东北-ρsZξsXx,ξs-- c- αu杜邦+ Ehe公司-ρτR、 Nw(Xx,ξτR、 N,YξτR、 N)i=w(x,y),其中ξ,cdenotesξ的连续部分. 如果nowlimN↑∞limR公司↑∞Ehe公司-ρτR、 Nw(Xx,ξτR、 N,YξτR、 N)i=0,(3.21),那么我们可以将极限值作为R↑ ∞ 和N↑ ∞ , 和(3.18)(ξ=ξ) 与(3.7)和(3.8)一起,我们发现J(x,y,ξ) = w(x,y)。因为V(x,y)清晰可见≥ J(x,y,ξ), 然后V(x,y)≥w(x,y)表示所有(x,y)∈ R×(0,∞). 因此,使用g(3.20),R×(0)上的V=w,∞), 因此R×[0,∞) 因为对于所有x,V(x,0)=0=w(x,0)∈ R、 为了完成证明,只剩下证明(3.21),我们在下面完成这一点。
|