|
(5.11)另一方面,假设(3.11)和(2.12)yieldsf(t,s,y;ψ*) ≥2K((R)σ(t,s)- ψ*). (5.12)合并(5.11)–(5.12)和重新排列条款\'σ(t,s)- ψ*≤4KKU(yu)ψ;(5.13)注意,如果σ(t,s)=ψ,则该不等式非常正确*, 所以除以|(R)σ(t,s)- ψ*| 在最后一步中进行了调整。现在,由于根据假设(3.9),σ(t,s)均匀地位于[0,K]的内部,因此从(5.13)可以得出ψ∈ (0,1)使得对于每个(t,s,y)∈ D、 eθ∈ [-五十、 L]和ψ∈ (0,ψ),我们有ψ*(t,s,y,eθ)∈ (0,K)。这意味着ψ*满足一阶条件(5.8)或等效条件(通过乘以ψ>0),U(y)f(t,s,y;ψ*) - s’Vss(t,s)ψ*wψy(t,s,y)ψ+ψ*swψss(t,s,y)+2eθψwψsy(t,s,y)+(eθψ)wψyy(t,s,y)ψ=0。(5.14)有待证明(5.9)。对于每个λ=(t,s,y,eθ)∈ D×[-五十、 L],我们定义了函数fλ:(-ψ、 ψ)×[0,K]→ R、 (ψ,)7→ Fλ(ψ,),由(5.14)的左侧加上ψ*替换为。当Fλ是ψ中的多项式且F是Cin时,Fλ是C。Fixλ=(t,s,y,eθ)。通过构造,Fλ(ψ,ψ*) = 0,ψ∈ (0,ψ)。(5.15)现在,我们想调用隐函数定理来证明ψ7→ ψ*可通过(5.15)扩展到上的C功能(-ψ、 ψ)(必要时选择ψ较小)。为此,必须表明Fλ≥ ε对于某些ε>0。使用(3.11)和(5.10),我们得到所有λ=(t,s,y,eθ)∈D×[-五十、 L]和ψ∈ (-ψ、 ψ),Fλ(ψ,)=U(y)f(t,s,y;)- s'Vss(t,s)wψy(t,s,y)ψ+swψss(t,s,y)+2eθψwψsy(t,s,y)+(eθψ)wψyy(t,s,y)ψ≥U(yu)K- 2K |ψ|。因此,如果必要,选择ψ较小,ε>0使得Fλ(ψ,)≥ ε、 λ∈ D×[-五十、 L],ψ∈ (-ψ、 ψ),∈ [0,K],(5.16)和隐函数定理表明,对于每个固定的λ,ψ7→ ψ*可通过(5.15)扩展至(-ψ、 ψ)且为C。
|