|
假设3.2保证了该模型的存在唯一性。它必须保持y<0,因为λ>0和h(y)<<=> y<0。重新排列(4.14)明确描述了边界沿线的清算时间:e-Δτ=f(y)f(y)h(y)λ(y)+h(y)+δh(y)。(4.15)τ 7→ yτθτRτyτ- hyττ函数将自由边界描述为参数曲线。微分方程(4.14)关于τ,我们得到0=f(y)h(y(τ))y(τ)- f(y(τ))y(τ)eΔτhλ+h+δ(y(τ))- δf(y(τ))eδτhλ+h+δ(y(τ))- f(y(τ))eΔτhλ+hλ+h(y(τ))y(τ)。因此,对于y=y(τ),我们得到y(τ)=δf(y)hλ+h+δ(y) f(y)h(y)e-δτ- f(y)hλ+h+δ(y)- f(y)hλ+hλ+h(y) ,(4.16)如果分母为非零。还要注意thaty(0)=-δh(y)h(y)λ(y)+hλ(y) <0(4.17)h>hλ>λ>T∞∈(0, ∞] 对于τ,y(τ)<0∈[0,T∞), 这里是双射的。调用τ(y):=y-1(y)是它的倒数,让y∞:= limτ%T∞y(τ)<y。通过(4.15),等式(4.16)简化了toy(τ)=δhλ+h+δ(y) h(y)H- hλ(y)hλ+h+δ(y)-hλ+hλ+h(y) h(y)(4.18)fory=y(τ)。根据定义∞安迪∞, 我们看到y(τ)在[0,T]上是负的∞) 和0yy∞hy∞λy∞hy∞δy∞Y∞< yθ(y)在y上∈ (y)∞, y] 通过θ(y)=ddyθ(τ(y))=θ(τ(y))τ(y))从(4.9)中获得=y(τ(y))- h(y)y(τ(y))=1-h(y)y(τ(y))=1-h(y)δh(y)H- λh(y) +h(y)hλ+h+δ(y) δhλ+h+δ(y) (4.19)θ(y)=0。我们还注意到(4.19)等于(4.1)。自由边界候选者的性质候选者边界的性质,特别是θ:(y)的双射性∞, y]→ [0, ∞).图2:状态空间的划分,对于δ=0.5,h(y)=y和λ(y)≡ 引理4.1。θ:y∞, Y→ R(4.8)Cy∞, Y∞θylimy&y∞θy∞证据h> y 7→δhλhy增加,使得(4.7)中的分母在y>y时严格为正∞. 因此,为了验证θ是否在减小,必须检查(4.7)中的分子是否为负。为此,我们将分子写成(δ+hλ)(h)+(δ+hλ)h+hh(hλ)- h(δ+hλ)h.注意,(δ+hλ)(h)+(δ+hλ)h=(δ+hλ)(δ+h+hλ)h<0,对于ally∈(y)∞, y) ,因为y<0。
|