此外,林→+∞(|x)- Y|+ |K- L|)2.→ 0(51)应用Crandall-Ishii Lions[6]中的定理3.2,我们得到了大小为2mε,Nε的对称方阵的存在性,使得:(pε,Mε)∈ J2,+u(xε,kε),(qε,Nε)∈ J2,-wλ(yε,lε),和Mε0-Nε≤ Dφε(xε,kε,y, L) + ε(Dφ)(xε,kε,y), L)), (52)式中pε=Dx,kφ(十), K, Y, L) =(十)- Y)+ (十)- x) ,(k)- L)+ (k)- (k),qε=-Dy,lφ(十), K, Y, L) =(十)- Y),(k)- L).和dφε(xε,kε,y, L) =我-我-二、+3(x)- x) 0 00 3(k- k) 00 00 00 00 00(53)soDφε(xε,kε,y, L) + ε(Dφ)(xε,yε,k), L))=我-我-二、M+9(x)- x) (1+(十)- x) )0 00 9(k- k) (1+(k)- k) )00 00 00 00 00 00等式(52)表示σβ(k))M-σβ(l))N≤3σ2(β(k))- β(l)))+9σβ(k))(十)- x) (1+(十)- x) (54)因为u和wλ分别是次解和严格上解,所以我们得到了minh-β(k)u - α((k)- 十、)+)十、- Y+ (十)- 十)- tr(σβ(k))M) + ru(x), K),十、- Y+ (十)- 十)- 1,γ十、- Y+ (十)- 十)-K- L+ (k)- (k),γ十、- Y+ (十)- 十)+K- L+ (k)- (k)我≤ 0(55)分-β(l))u - α((l)- Y)+)十、- Y- tr(σβ(l))N) + rwλ(y, L),十、- Y- 1,γx- Y-K- L, γx- Y+K- L≥ λ.(56)然后我们区分以下四种情况:o情况1。Ifx-Y+ (十)- 十)- 1.≤ 然后我们从(56)得到λ+(x)- 十)≤ 当 转到0案例2。如果γ十、-Y+ (十)- 十)-K-L+ (k)- (k)≤ 然后我们从(56)λ+γ得到(十)- 十)- (k)- (k)≤ 0当 转到0案例3。如果γ十、-Y+ (十)- 十)+K-L+ (k)- (k)≤ 0,那么我们从(56)λ+γ得到(十)- x) +(k)- (k)≤ 0当 转到0案例4。