|
然而,为了自我包容,我们提供了第一原则证明。假设α>αs,我们必须显示状态X(v*, k) 对于k的一些值,关于零的等速振荡和d是负的。通过引理3.1,我们有x(v*, k) =X√θλk-1+g++λk-1.-g级-对于k≥ 2、当α>αs时,很容易证明θ<0,这意味着两个特征值λ±是复共轭s。因此,这些特征值可以写成极性形式λ+=rejω和λ-= 重新-jω,其中r=|λ±>0,ω=tan-1(p |θ|)∈ (0, π/ 2).接下来,将λ±的极性形式代入X(v*, k) 上面,一个冗长而直接的计算表明x(v*, k) =Brk-1cos((k- 1) ω+Д),其中B和Д是常数,B>0。自ω∈ (0,π/2),很容易找到k值,使余弦的参数位于(π/2,3π/2),从而使余弦为负。这就完成了(a)部分的证明。为了验证第(b)部分,我们首先考虑α=αs的情况。然后使用公式(v*, k)=-kX(k(1- vmax+2vmin+1+vmax)1+Vmin对于引理3.1中的单数情况,当vmax>1+2vmin且k足够大时,X(v*, k) <0。接下来,对于案例α*< α<αs,我们再次假设vmax>1+2vmin。因为λ+>λ-, 状态X(v*, k) 对于足够大的k,如果我们可以证明g+=√θ+q<0 wh ereq=2α(vmax+1)vmin+1。为了证明这一点,因为α∈ (α*, αs),我们有0<θ<4α*vmin(1+vmin)+1=(vmax- 2V分钟- 1) (1+vmax)。由于平方根是一个递增函数,上述不等式θ意味着√θ<vmax- 2V分钟- 11+V最大值。此外,我们还有q<2α*(1+vmax)vmin+1=1- vmax+2vmin1+vmax。因此,它紧随其后+=√θ+q<vmax- 2V分钟- 11+V最大值+1- vmax+2vmin1+vmax=0。因此,第(b)部分的证明是完整的。为了证明第(c)部分,我们首先注意到k=0,1时所需的正性。
|