|
另一方面,由于函数f的性质,对于allx∈ R+1有limr→-∞呃-ba{u(r,x)-vs(r,x)}≤ 显然,函数VS是一个上解,使用命题4中的符号。2我们还得到了u(r,x)- vs(r,x)=u(r,x)- u(r,0)+u(r,0)- sv(r,x)≤xξe-min(r)-ba,0)u(a+b)麦克斯(r)-b、 0)+∧+ v(r,0)-sv(r,0)≤xξe-min(r)-ba,0)u(a+b)麦克斯(r)-b、 0)+∧+ (1 -s) ube-麦克斯(r)-ba,0)-σ2a。首先假设≤ b和r≤ 屋宇署(r):=(s)- 1) (b+a)ubξ∧er-文学士-σ2a和A:=(r,x)∈ R+:x>d(R),R≤ B.请注意,函数d(r)是正的,并且随着r的增加而增加≤ b、 像往常一样,我们让m:=sup(r,x)∈阿尔-ba{u(r,x)- vs(r,x)}。特别是,我们知道∞ > M≥ 呃-ba{u(r,x)- vs(r,x)}>0。让(r)*, 十、*) 使M=u(r)*, 十、*) - vs(r)*, 十、*) (由于上述论点,它持有r*> -∞ 安德斯*< ∞) η>0和k的定义:=2sξu(a+b)∧H:={(r,q,x,y):d(r)<x<y,d(q)<y<∞, -∞ < R≤ b、 r<q≤ b} ,fη(r,q,x,y):=er-bau(r,x)- 情商-BAV(q,y)-η(x)- y)-kη(y)- x) +η,Mη:=sup(r,q,x,y)∈Hfη(r,q,x,y)。注意fη是连续的,这保证了(rη,qη,xη,yη)的存在∈其中H表示H的闭包,使得Mη=fη(rη,qη,xη,yη)。通过定义(r*, 十、*)它保持(r)*, R*, 十、*, 十、*) ∈因此,Mη≥ fη(r)*, R*, 十、*, 十、*) = 呃*-文学士u(r)*, 十、*) - vs(r)*, 十、*)-kη=er*-砰-kη。因此,我们可以得出结论,存在η*对于所有η>η,Mη>0*andlim infη→∞Mη≥ 呃*-砰。另外,很明显,因为VS在y中有界,所以它保持粘性→∞fη(r,q,x,y)=-∞.显然,fη在q中递减,这意味着我们可以假设rη=qη,即我们考虑(r,r,x,y)∈“H.代表(r,r,x,x)∈\'H和H>0我们有→0fη(r,r,x,x)- fη(r,r,x,x+h)h≤ sξu(a+b)∧- 因此,有一个ε>0,使得fη(r,r,x,y)>fη(r,r,x,x)表示y∈ (x,x+ε]和x∈ [d(r),∞).
|