|
定义u(τ,x)=liminf(t,x)→(0,0)(t,y)→(τ,x)u(t,x) (t,y)andu(τ,x)=lim sup(t,x)→(0,0)(t,y)→(τ,x)u(t,x) (t,y)。(48)该证明的目的在于显示以下等式u(τ,x)=u(τ,x)=u(τ,x)。在显示这个等式之前,需要一些预备结果。我们首先给出(35)的等价表达式。u(τn,xi)=F[u(τn- t、 )](xi),n=1。。。,M,i∈ 0,..., N、 u(0,xi)=H(Sexi),i∈ 0,..., N、 (49)u(τN,xi))=0,N=0,。。。,M/∈ 0,...,N、 可以通过以下定义定义4确定49 b的支持和基础解决方案。函数w是49 ifw(τn,xi)的上解≥ F[w(τn- t、 )](xi),n=1。。。,M,i∈ 0,..., N、 w(0,xi)≥ H(Sexi),i∈ 0,..., N、 (50)w(τN,xi))≥ 0,n=0,。。。,M/∈ 0,...,N、 函数z是49 ifz(τN,xi)的子解≤ F[z(τn- t、 )](xi),n=1,。。。,M、 我∈ 0, ...,N、 z(0,xi)≤ H(Sexi),i∈ 0,..., N、 (51)z(τN,xi))≤ 0,n=0,。。。,M、 我/∈ 0,...,N、 为了避免(48)中u和u定义可能不适用的一致连续性和光滑性问题,可以方便地根据9的d亚解和49的super和subsolutions考虑光滑su,并导出与u和u的链接。以下结果将比较原则扩展到super和subsolutions。引理4.9。对于49的任何上解w和下解z,我们有z≤ u≤ w、 证明。对于(i/∈ 0, ...,N) 或(N=0和i∈ 0,...,N) 定义满足了上述不平等。对于n=1。。。,M、 我∈ 0,..., N来自格式的单调性,我们有z(τN,xi)≤ F[z(τn- t、 )](xi)≤ F[u(τn- t、 )](xi)=u(τn,xi)=F[u(τn- t、 )](xi)≤ F[w(τn- t、 )](xi)≤ w(τn,xi)。引理4.1 0。设w和z分别是9的光滑上解和下解。那么对于所有ε,存在 > 0,以便t,x,≤ , n≥ 0, 我∈ Z、 Z(τn,xi)-ε<u(τn,xi)<w(τn,xi)+ε证明。
|