|
在Liang的工作中,u(0)和u(0)唯一地确定了溶液的第一个dγe导数,其中γ:=uf(0,u(0),u(0))>0,对于非整数γ,一旦指定了xγ的系数,解就变得唯一。因此,在Liang的情况下,所有解都会渐近偏离xγ接近0的倍数。相比之下,IVPHA是一个解的连续体,其由xαexp-β/√x个,其中α:=2-b、 β:=p8(a+b),见(Quittner,2015,定理2-5)。这些解总是以x&0的任意阶共享其幂级数渐近性。与本文相关的唯一性结果可以总结如下:命题5.1。在假设a+b>0的情况下,有一个唯一的VP解,用u表示∞令人满意的u∞∈ C[0,∞) ×C(0,∞),0≤ u∞(十)≤ x表示x>0。(5.2)解决方案u∞进一步满足u∞(0)=1,u∞(x) >0,u∞(x) <0,u∞(x) 对于所有x>0以及u>0∞(x) x为0(&0)→ ∞.证据见Brunovsk\'y等人(2013)中的命题5.1。命题5.2揭示了IVP解的某些定性特征,无论何时使用不稳定的数值格式,都可以从经验上观察到这些特征。提案5.2。(3.4)在(α,β)上的任何溶液,0≤ α < β ≤ ∞ 属于且仅属于以下类别之一:i)u是常数;ii)u在(α,β)上是严格凹的;iii)u在(α,β)上是严格凸的;iv)有x个∈ (α,β),使得u在(α,x)上严格凹,在(x,β)和u(x)上严格凸≥ 所有x的u(x)>0∈ (α, β);v) 有x个∈ (α,β),使得u在(α,x)上严格凸,在(x,β)和u(x)上严格凹≤ 所有x的u(x)<0∈ (α, β).证据Brunovsk'y等人(2013)的引理4.1得出的结论适用于方程xy=(1+(a- 2) x个- y) y+(a+b)y,(5.3),y=u,通过(3.4)的微分和重新排列获得。6.
|