|
考虑ζo∈ D<和∈ C1,2(D<)使最大ζ∈D<(严格)(u)*(ζ,θo(ζ))- ν(ζ))=u*(ζo,θo)- θ(ζo)=0,(6.5),其中θo:=θ(ζo)。我们必须证明这一点-Lθψ(ζo)≤ a(ζo)。第一步:提供一个定位序列。通过(6.4)和连续性,存在(ζε,θε)ε>0D<×Rd,使得(ζε,θε)-→ε→0(ζo,θo),uε*(ζε, θε) -→ε→0件*(ζo,θo)和pε-→ε→00,(6.6)式中pε:=uε*(ζε, θε) - φ(ζε). (6.7)现在,一方面,引理6.2保证了ro的存在,ε>0,这样,对于Bo:=Bro(ζo)×Bro(θo),我们有b*:= sup{uε*(ζ, θ) , (ζ, θ) ∈ Bo,ε∈ (0, ε]} < ∞. 另一方面,根据假设(A1),存在α∈ (0,ro]对于哪个θ∈Bro(θo),关于Bα(ζo),(6.8),在这里和下面的粘度证明中,我们总是选择足够小的rosu,以保证相应的邻域包含在D<resp中。D.对于某些人来说,ι>0:2/ι>-二十五∧ xv>ι,在‘Bα(ζo)上。(6.9)现在,选择d>0,以便:ζ -ζ′≥ d、 对于所有(ζ,ζ′)∈\'Bα(ζo)\\Bα/2(ζo)××Bα/4(ζo)。通过连续性,我们有sup2+b*-φ(ζ) ; ζ ∈\'Bα(ζo)=: M<+∞, 我们反过来定义常数co:=M/(d)∧ (ro))。根据(6.6)、假设(A1)以及引理4.1,并在必要时减少εo>0,我们得到:|ζε- ζo|∨ |θε- θo|≤α,θε- θ(ζε)≤ 1/3co,| pε|≤ 1.和 o ξξ(ζε, θε) ≤ 1/3,所有ε∈ 然后,用Bα:=Bα(ζo)×Bro(θo),观察我们仍然有uε*(ζ, θ) ≤ B*, 对所有人(ζ,θ)∈βα和ε∈ (0,εo)。步骤2:为vε构造一个测试函数*和一系列局部内部极小值。对于每个ε∈ (0,1),定义φε:(ζ,θ)∈ D×Rd7-→ 有限公司|ζ - ζε|+θ - θ(ζ)并引入以下“Bα”子集:Bo,α:=“Bα/2(ζo)×”Br/2(θo)。回顾(6.8)、(6.10)和co的选择,得出φε(ζ,θ)≥ 2+b*-ψ(ζ),对于所有ε≤ εoand(ζ,θ)∈\'Bα\\Bo,α。(6.11)另一方面,(6.10)第一行中的最后一个估计给出:φε(ζε,θε)≤ 1/3.
|