|
此外,当L是退化椭圆且Hessiangfullkis在(53)的非线性中不存在,(53)的唯一解也是粘度解(见[CIL92])。因此,χK(t)=GfullK(t,Y(t))是粘度解,是值函数χfullK(t)=1+(1-γ) ×supπ∈阿富尔克“ZT∧τKt∧τKfY(u),π(u),GfullK(u,Y(u)),σYGfullK(u,Y(u))杜邦英尺#。此截断值函数可用于显示(32)的解的唯一性。证明基于以下两个命题,即命题C.1。假设存在(χ,ψ)∈ ST(Pfull)×HT(Pfullq)是(32)的解,特别是∈[0,T]|χ(T)|<∞. 然后支持>0E支持∈[0,T]|χK(T)|≤ E支持∈[0,T]|χ(T)|<∞ ,式中(χK,ψK)∈ ST(Pfull)×HT(Pfullq)是(52)的解决方案。证据从γ开始∈ (0, 1). 对于任何(t、y、g、p)∈ [0,T]×Rq×R+×Rq,FK(y,g,p)≤F(y,g,p)。因此,0≤χK(t)=χK(t∧ τK)≤χ(t∧ τK)通过比较原则(见[Kob00]中的命题2.9),SUPk>0E supt∈[0,T]|χK(T)|≤ 支持>0E支持∈[0,T]|χ(T∧ τK)|≤ E支持∈[0,T]|χ(T)|<∞ ,因为支持∈[0,T]|χ(T∧ τK)|≤ 支持∈[0,T]|χ(T)|。对于γ>1,通过查看0进行比较≥ (1 - γ) FK(y、g、p)≥ (1 - γ) F(y,g,p),表示1≥χK(t)=χK(t∧ τK)≥χ(t∧ τK)。对方块的期望Yieldsupk>0E支持∈[0,T]|χK(T)|≤ E支持∈[0,T]|χ(T∧ τK)|∨ 1.≤ E支持∈[0,T]|χ(T)|∨ 1 < ∞ .提案C.2。存在的上限(χ,ψ)∈ ST(Pfull)×HT(Pfullq)为(32)的溶液。然后(χ(t)-χK(t))1[τK≥T]=0几乎可以肯定为所有T∈ [0,T],其中(χK,ψK)∈ ST(Pfull)×HT(Pfullq)是(52)的解决方案。证据这个证明是通过矛盾和(类似于命题A.2)。设O={ω∈Ohm s、 tτK≥ T}。假设某些ω的(χ,ψ)6=(χK,ψK)∈ O、 (19)还有另一个解,(|χK,|ψK)=ω的(χ,ψ)∈ ω的O(χK,ψK)/∈ O,其中(△χK,△ψK)6=(χK,ψK),但(52)的解是唯一的。
|