|
如果对于所有φ,有界上半连续(u.s.c.)函数v oneY是(5.4)的粘性子解∈ C(eY)和所有局部极大值eY∈v的eY- φ1 hasFψey,v(ey),φ(ey)≤ ey为0∈ inteY,最小值Fψey,v(ey),φ(ey), v(ey)- h(ey)≤ ey为0∈ eY。(5.6)有界下半连续(l.s.c.)函数u oneY是(5.4)的粘度上解,如果对于所有φ∈ C(eY)和所有局部极小值eY∈u的eY- φ1 hasFψey,u(ey),φ(ey)≥ ey为0∈ inteY,max公司Fψey,u(ey),φ(ey), u(ey)- h(ey)≥ ey为0∈ eY。(5.7)(5.4)的粘度解vψ要么是一个连续函数,它既是(5.4)的子解也是上解,要么是一个有界函数,其u.s.c.和l.s.c.包络是asub,上解是(5.4)。如果F=Fv的关系式(5.6)成立,则有界u.s.c.函数v oneY是(5.5)的粘度子解。类似地,如果(5.7)对F=Fu成立,则有界l.s.c.函数u oneY是(5.4)的粘度上解。最后,Vis是(5.5)的粘度解,如果它既是asub又是该方程的上解。请注意,定义5.2允许某些边界点Sey的vψ(ey)6=h(ey)的情况∈ eY。特别是,如果Fψey,vψ(ey),vψ(ey)= 粘度意义上的0,(5.6)和(5.7)与h(ey)的值无关。定理5.3。假设假设假设2.1和4.7成立。然后给出了(5.5)ineY连续粘度解的值函数。此外,比较原则适用于(5.5):如果v≥ 0是子分辨率,u≥ 0一个(5.5)的上解,使得v(ey)/w和u(ey)/w是有界的,并且使得v=u=h在活动边界ΓofeY上,那么v≤ u在inteY上。因此,Vis是(5.5)的唯一连续粘度溶液。证据首先,根据定理4.10,Vis连续。
|