|
为每个人∈ M、 我们想展示(s、x、y、i、V*(s,x,y,i),DsΦ(s,x,y),DxΦ(s,x,y),DyΦ(s,x,y),DxxΦ(s,x,y))≤ 0,对于任何测试功能Φ∈ C1,2,1([0,T]×R×R+)使得(s,x,y,i)是v的严格局部最大值*(s、x、y、i)- Φ(s,x,y)。在不丧失一般性的情况下,我们可以假设V*(s,x,y,i)=Φ(s,x,y),由于我们方案的稳定性,我们也可以假设Φ≥ 球外的supk,h,lkVk,h,lk((s,x,y),r),其中r>0表示V*(s、x、y、i)- Φ(s、x、y)≤ 0=V*(s、x、y、i)- B((s,x,y),r)中的Φ(s,x,y)。这意味着存在序列kn>0,hn>0,ln>0和(θn,ηn,ζn)∈ [0,T]×R×R+例如n→ ∞ 我们已经知道了→ 0,hn→ 0,ln→ 0,θ→ s、 ηn→ x、 ζn→ y、 Vkn,hn,ln(θn,ηn,ζn,i)→ 五、*(s,x,y,i)和(θn,ηn,ζn)是Vkn,hn,ln的全局最大值- Φ。标志n=Vkn,hn,ln(θn,ηn,ζn,i)- Φ(θn,ηn,ζn)。明显地N→ 0和VkN、hn、ln(s、x、y、i)≤ Φ(s,x,y)+对于所有(s、x、y)∈ [0,T]×R×R+。(4.6)我们知道,对于所有ξ∈ (0,1),S(ξ,kn,hn,ln,θn,ηn,ζn,i,Vkn,hn,ln(θn,ηn,ζn,i),Vkn,hn,ln)=0。S和(4.6)的单调性意味着S(ξ,kn,hn,ln,θn,ηn,ζn,i,Φ(θn,ηn,ζn)+n、 Φ+n)≤ S(ξ,kn,hn,ln,θn,ηn,ζn,i,Vkn,hn,ln(θn,ηn,ζn,i),Vkn,hn,ln)=0。(4.7)因此,limξ↓0limn→∞S(ξ,kn,hn,ln,θn,ηn,ζn,i,Φ(θn,ηn,ζn)+n、 Φ+n)≤ 0,soH(s,x,y,i,V*(s,x,y,i),DsΦ(s,x,y),DxΦ(s,x,y),DyΦ(s,x,y),DxxΦ(s,x,y))≤ 这证明了V*是一个粘性亚解,同样,我们可以证明*是粘度上解。因此,利用粘度解的唯一性,我们可以看到V=V*= 五、*. 因此,我们得出结论,序列(Vh,k,l)h,k,l根据需要局部均匀地收敛到V。
|