|
因此,考虑到假设(A1),vand及其梯度的连续性,Dθβ(0)=0和|Dθχδ|≤ c在不考虑δ的情况下,在发送第一个δ后得到以下极限:→ 0然后η→ 0:lim infδ,η→0(v)(η,δ)- (v) (θ)≤ 0.因为θ7-→ (v) (θ)是下半连续的,它跟在(v+v)(v)后面- v) (θ)≤ 0,Asv+v<0,因为v,v∈ C-M、 这与(6.58)相矛盾,从而证明了这一论断。现在,为了所有人(ζ,θ)∈ D×Rd,定义映射“u”*,“u”*,~u*,~u*: D×D→ R如下所示:\'u*(ζ, θ) = -E-“u”*(ζ,θ)u*(ζ,θ)=-E-(‘u’*(ζ,θ(ζ))+ξξ(ζ,θ)k(ζ)ξ(ζ,θ)),u*(ζ,θ)=-E-“u”*(ζ,θ)u*(ζ, θ) = -E-(‘u’*(ζ,θ(ζ))+ξξ(ζ,θ)k(ζ)ξ(ζ,θ))。我们可以很容易地证明,变量的这种变化产生了引理6.10中Eikonalequation的有界解,对于引理6.10:引理6.11,比较原理适用于有界函数类。假设假设满足假设3.3、(A1)和(A2)。那么,对于所有ζo∈ D、 映射“u”*(ζo,·),~u*(ζo,·),\'u*(ζo,·),和*(ζo,·)分别是Hζo(·u)的粘度溶液、经典溶液、粘度上溶液和经典溶液*, Dθu*) ≤ 0,Hζo(·u)*, Dθu*) = 0,关于OζO*,Hζo(·u)*, Dθu*) ≥ 0和Hζo(·u)*, Dθu*) = 0.关于OζO*.此外,“u”*=~u*关于(OζO)*)坎德·u*=~u*关于(OζO)*)c、 综合前面的所有结果,我们现在可以证明命题6.6:命题6.6的证明。首先从(4.1)、(4.2)和“u”的定义中观察*还有“你”*那个-1.≤“u”*≤“u”*< 0,所以“u”*,“u”*∈ C-. Lemmata 6.10和6.11依次得出,对于任何(ζ,θ)∈ D×Rd:~u*(ζ, θ) ≤“u”*(ζ,θ)和“u”*(ζ, θ) ≤~u*(ζ, θ).作为“u”*≤“u”*根据定义,这会产生“u”*(ζ, θ(ζ)) + ξξ(ζ,θ)k(ζ)ξ(ζ,θ)≤ “u”*(ζ, θ) ≤ “u”*(ζ, θ) ≤ “u”*(ζ, θ(ζ)) + ξξ(ζ,θ)k(ζ)ξ(ζ,θ)。提案6.6现在来自美国的定义*你呢*在(6.3)中。
|