|
根据命题5.1,存在于区间[m,c/r]上的解z在同一区间上产生FBP(5.2)的解。当然,我们对最小的m感兴趣∈ (0,c/r)存在此类解决方案。我们用m表示这个最小值*. 提案5.4也确定了*.在提供关于ODE(5.3)解存在性的主要结果之前,我们先介绍一些初步结果和定义。首先,我们引入一个函数x(m)和一个常数tbm∈ (0,c/r)。引理5.2。存在一个递增函数x:[0,c/r)→ [1, +∞) 哪种独特的溶剂铬- M1.- BB- Bx(m)B-1+B- 1B- Bx(m)B-1.=铬- αm.(5.19)证明。(5.19)的左侧随着x(m)>1而增加;当x(m)接近1+时,(5.19)的左侧接近c/r- m、 这比c/r低- αm;随着x(m)的接近∞, 左边靠近∞. 因此,(5.19)有一个独特的解决方案。关于m的差异(5.19)意味着x(m)随着m.引理5.3的增加而增加。bm有一个独特的解决方案∈铬1 +1-αB+,铬以下等式的一个例子:αB+cr(1)- α) 铬- bmB-1个=αB+cr(1)- α) 铬- bm-1.-B.(5.20)证据。定义byg(m)=αB+cr(1)- α) 铬- MB-1.-αB+cr(1)- α) 铬- M-1.-B、 为了我∈铬1 +1-αB+,铬, 注意,g随着m的增加而增加。我们需要考虑两种情况。首先,如果1- α(1 - B)≤ 0,那么g从-∞到∞ 随着m从cr增加1 +1-αB≥ 0 tocr。因此,g在这个区间内有一个唯一的零,bm>0。第二,如果1- α(1 - B) >0,那么为了证明g在(0,c/r)中有一个唯一的零,证明g(0)<0就足够了。为此,请注意g(0)<0相当于(1+x)x<1- y)-y、 其中x=α(B- 1) >0且y=α(1- B) >0。
|