|
(68)接下来,我们介绍映射τ7→ ((R)ζ(τ),(R)Д(τ))对于所有τ≥ 0通过?ζ(τ),s(τ-\'θ,\'θ),τ>\'θ,s(τ),θ<τ≤θ,2u/κ, 0 ≤ τ ≤ θ、 (69)带(τ,θ),u(1- D(τ))eκθλκC(τ)+κeκθ(1+e-κθ)κθ-1.-e-κθ(τ ≥ 0, θ ≥ 0),(70)s(τ),uηκτe-κτ+1+e-κτλκτ+κη(1+e-κτ)- λ(1+e)-κτ)(θ ≤ τ ≤θ、(71)和τ(τ),φsell(τ-\'θ,\'ζ(τ)e-κθ), τ >θ,φ(τ,ζ(τ)), θ < τ ≤θ,0, 0 ≤ τ ≤ θ、 (72)式中φ(τ,ζ),uτ-ζ(1+e-κτ)λτ+η(1+e-κτ)(τ ≥ 0, ζ ≥ 0). (73)我们进一步设置(τ),2uτ1+e-κτ(0 ≤ τ ≤ θ). (74)让我们提到,由于θsatifies(67),它在(70)中成立,即(τ-θ,θ) =u(1 - D(τ-(R)θ))eκPθλκC(τ-θ)+κeκθ(1- e-κθ)> 0 (τ >θ). (75)此外,直接计算表明φsell(τ-\'θ,\'ζ(τ)e-κθ) =uλ-κζ(τ)1 - e-κ′θλ(τ>’θ)(76)以及φ(τ,’ζ(τ))=uκτ- u(1+e-κτ)κλτ+κη(1+e-κτ)- λ(1+e)-κτ)(θ < τ ≤θ). (77)结果是τ7→ (τ、?ζ(τ)、?Д(τ))规定了嵌入自由边界的曲线Rbuyin状态空间S。下一个引理收集了一些关于(70),(71),(74)中分别产生的映射s,s,s的有用性质,以及这条曲线。在本文中,我们还参考了下面图5中的图示。引理5.4.1。我们有s(0)=0和s(θ)=2u/κ。此外,在区间(0,θ)上,映射τ7→ s(τ)严格递增。特别是,它认为(0,θ)上的s(τ)<2u/κ。我们有s(0,θ)=0和s(θ)=2u/κ以及s(0,θ)=s(°θ)。此外,在区间(θ,’θ)上,映射τ7→ s(0,τ)严格递增,映射τ7→ s(τ)急剧下降。特别是,它认为s(0,τ)<s(τ)(θ,’θ)上的s(τ)。3、映射τ7→ζ(τ), τ ≥ 0是连续的,在[0,θ]上浮动,在[θ]上严格递减+∞) 带limτ↑∞ζ(τ) = 0. 特别是,我们有2u/κ≥对于所有τ,ζ(τ)>0≥ 0.4. 映射τ7→ φ(τ ), τ ≥ 0是连续的,在[0,θ]上浮动,在[θ]上严格递增+∞) 带limτ↑∞φ(τ) = u/λ.
|