|
如图10所示,И立即进入象限X中的一个-:= (τ, ∞) × (-∞, ξ) 或X+:=(τ,∞) × (ξ, ∞), 如^1-和图10中的ν+分别。如果Д立即进入X+,则边界ξ≤ ^1(t)≤ 随后,使用定理2.8的证明,强制执行引理2.6中的ν(t),并严格增加。现在我们只需要证明这样一条线Xc,(τ,ξ)阻止立即进入X-.根据定义,Xc线上的f(t,x)>0,(τ,ξ),在整个区域X中也是如此→c(τ,ξ):={(t,ξ)- x) :x∈ (0, ), t型≥ τ+cx} (τ, ∞) × (ξ, ξ - ) (3.5)3溶液空间和出口时间限制或Xc右侧,(τ,ξ),假设每个f(·,x)严格递增。但Д(τ)=f(τ,ξ)=0,因此Д不能立即输入X-不输入X→c(τ, ξ). 但现在这显然是不可能的,因为f(t,x)>0在x中→c(τ, ξ). 因此,任何本地解决方案,如∈ Ivp x=f(T,x),x(τ)=ξ的C([τ,T),R)反而严格增加,因此证明是完整的。考虑到我们对波动性的关注,我们现在可以对之前对问题1.2的IVP的初始值(τ,ξ)的描述给出正确的含义,如自然、物理意义等√φ.定义3.2(自然初始值)。对于f∈ F、 初始值(τ,ξ)∈ 如果相应的TVP允许严格递增的溶液,则IVPx=f(t,x),x(τ)=ξ将被称为自然∈ C((T,τ),R)对于某些T∈ [-∞, τ) ,因此p(t)≥ 0除以(T,τ)。考虑到图11中严格递增的TVP解,很明显,点(0,0)是自然的,与图10不同,尽管在这两种情况下f(0,0)=0。自然初始值当然定义了定理3.1所涵盖的一个子集。要看到这一点,请采用严格递增的TVP解决方案∈ C((T,τ),R),则具有f(T,ν(T))≥ t为0∈ (T,τ)确保x的f(τ,x)>0∈ (Д(T),ξ)。
|