|
此外,(ψ′θ,’β(t),ψ′θ,’β(t),ψ′θ,’β(t))-→θα(1 - β) +Z∞{κL(ψ′θ,\'-β(t)+θ)- κL(θ)}ds,0,0, T→ ∞,安德特-1日志(ψ′θ,β(t),ψ′θ,β(t))→ γ、 t→ ∞,式中γ=-α(1 - β) 或γ=-ρ(1 - β) 。证据首先,回想一下备注5.5,即定理5中颂歌系统的存在性和唯一性。3可以简化为一维非自治方程(5.7)的存在性和唯一性。我们必须研究与时间相关的向量场∧θ,β(t,u),-ρu+e-2α(1-β) t+ρβκL(θ)(κL(u+θ)- κL(θ)),β∈ (0, 1),θ ∈“DL。考虑d(∧θ,\'-β),int({u∈ R:△θ,β(t,u)<∞}) = int({u∈ R:κL(u+θ)<∞}) = (-∞, ΘL- θ) ,以及定义的int(\\\'\'β∈(0,1)],θ∈\'DLD(∧θ,\'β))=(-∞, ΘL- ΘL/2)=(-∞, ΘL/2)。另一方面,对于u,v∈ D(∧∧θ,\'β),有一个∧θ,β(t,u)-∧θ,β(t,v)≤ ρ| u- v |+ρβκL(θ)Z∞|尤兹- evz | zeθz`(dz),and z∞|尤兹- evz | zeθz`(dz)≤ |U- v|Z∞e(u)∨v+θ)zz`(dz),此外,注意int({u∈ R:Z∞ze(u+θ)z`(dz)<∞}) = (-∞, ΘL- θ) =D(∧∧θ,β)。20 BENTH和ORTIZ Latorrence,向量场∧∧θ,β(t,u),θ∈\'DL,\'β∈ [0,1]定义明确(即定义明确),局部为Lipschitzin D(∧)。然后,根据Picard-Lindel¨of定理(见Hale[16]第18页定理3.1),我们得到了ψ′θ,′β(t)的局部存在性和唯一性,其中ψ′θ,′β(0)=0∈ D(∧∧)。让我们考虑自治向量场∧∧θ,β(u),-ρu++ρβκL(θ)(κL(u+θ)- κL(θ)),β∈ (0, 1), θ∈ DL。那么,作为∧∧θ,β(u)-∧θ,β(t,u)=(1)- E-2α(t)≥ 0,为你≥ 0,使用一个比较定理,我们得到与∧θ,β(t,u)相关联的常微分方程的解,从0开始,由与∧θ,β(u)相关联的常微分方程的对应解所限定,我们将用∧θ,β(t)表示。通过外稃5。6,如果(θ,β)∈ Db(1/2)存在唯一的2/ρ<u1/2(θ,β)≤ μm(θ,β),使得∧∧θ,β(u)>0,对于u∈ (0,u1/2(θ,β))和^∧θ,β(u1/2(θ,β))=0。
|