|
我们模仿[13,定理4.1]中的p。首先,我们需要定义一个(u.s.c.)粘度下解,其l.s.c.包络满足边界条件(4.1b),以及一个(l.s.c.)粘度上解,其u。s、 c.包络线满足边界条件(4.1b)。显然,我们应该针对那些从下面和上面约束鲁棒值函数的函数,我们有两个自然的候选者:ψ和p。事实上,F(w,ψ,ψ′,ψ′)=λψ- infπσε(ψ′)+ ψ′′π+ (u - r) ψ′π+(rw)- c) ψ′= λψ+R(ψ′)ε(ψ′)+(ψ′)- (rw)- c) ψ′≤ λψ+R(ψ′)ψ′- (rw)- c) ψ′=0,我们也可以使用ψ∞作为上限。14 ERHAN BAYRAKTAR和YUCHONG Zhang,其中在第二等式中,我们在(b,ws)中使用ψ′>0,并且f(w,p,p′,p′)=λp- infπσε(p′)+p′π+ (u - r) p′π+(rw)- c) p′= λp≥ 0.备注4.1。如果没有这些自然的候选者,我们可以从constantsubsolution u开始≡ 0(分别为上解v≡ 1) ,并通过类似于[13]第25页的构造,在rui n水平附近对其进行修改(分别为安全水平),以满足边界条件。命题4.2(Perron方法)。Dirichletproblem(4.1)存在一个连续的粘性解,它取[0,1]中的值。更准确地说,它从下到ψ,从上到p.Proof是有界的。设u=ψ和v=p都是[0,1]值的连续函数。defineu(w):=sup{u(w):u≤ U≤ v和u是F=0}的u.s.c.子解。(4.7)对于任何函数u,用u表示*你呢*它的u.s.c.信封和l.s.c.信封分别是。我们有你*≤ U*≤ U≤ U*≤ 五、*= v、 由于u和v在边界上一致,我们知道u在边界上是连续的,并且满足边界条件(4.1b)。自从你*≤ v<∞, 引理4.1意味着*是F=0的粘度子溶液。
|