我们的结果基本上使用了Philos和Staikos(参见[7]和[8])。
引理A
让.假设在.如果,此外,,,和,那么对于每个存在这样的话
(2.1)
等待.
以下有用的结果将在后面用于证明我们的主要结果。
引理1
假设,,,最后.然后,用于任意,
(2.2)
最后.
证明
它源于那个
那就是,
(2.3)
另一方面,因为作为,那么对于任何存在足够大以至于
或同等标准,
(2.4)
使用(2.4)英寸(2.3),我们获得
证据是完整的。 □
积极的解决方案(1.1)具有以下结构。
引理2
如果是一个积极的解决方案(1.1),然后正在减少,所有衍生产品,,具有恒定的符号,和满足任一条件
(2.5)
或
(2.6)
证明
自是一个积极的解决方案(1.1),然后它从(1.1)那个
因此,正在减少,这意味着或.但是这个案子暗示。来自到t吨产量
但鉴于(1.2)对于重复此过程,我们得到这是一个矛盾,我们的结论是此外,意味着要么或但第一种情况导致对于重复这些考虑,我们验证满足任一条件(2.5)或(2.6).
另一方面,因为,然后使用在里面
我们的结论是。证据完整。 □
现在,我们为所有非振动解的某些渐近行为提供了一些判据。为了进一步参考,我们设置
和
定理1
假设
(2.7)
和
(2.8)
那么每个非振荡解属于(1.1)满足.
证明
假设是最终的积极解决方案(1.1)。首先假设满足(2.5)。由(2.7),很容易看出存在一些这样的话
(2.9)
我们把,然后设置(2.2)到(1.1),我们得到
我们定义
(2.10)
差异化,一个得到
(2.11)
另一方面,引理A暗示
将最后一个不等式设置为(2.11),我们获得
积分最后一个不等式t吨到∞,我们有
(2.12)
或
最后,让我们说。自,然后
因此,
(2.13)
发件人(2.9),我们发现存在一些积极的因素η这样的话
(2.14)
组合(2.13)与(2.14),我们有
因此,
或同等标准,
这与函数
对所有人来说都是非负的我们的结论是无法满足(2.5).
现在我们假设满足(2.6)。那么存在一个有限的。我们声称.假设.集成(1.1)来自t吨到∞,我们得到
这意味着
将最后一个不等式积分两次t吨到∞,我们得到
重复这个过程,我们到达
现在,从到∞,我们看到了
这与之相矛盾(2.8),所以我们已经验证了. □
示例1
考虑奇数顺序()非线性微分方程
(2.15)
在这里和,所以
因此,
即, (2.8)持有;此外(2.7)减少到
根据定理1,它保证了(2.15)在无穷远处趋于零。
让是定义如下的连续函数序列,
和
(2.16)
然后我们得到以下结果。
定理2
假设(2.8)保持,并且存在一些这样的话
(2.17)
对一些人来说.那么每个非振荡解属于(1.1)满足.
证明
假设是最终的积极解决方案(1.1)。根据引理2,满足任一条件(2.5)或(2.6)。根据定理1的证明,如果满足(2.6),然后(2.8)确保它在无穷远处趋于零。
假设满足(2.5)。根据定理1的证明(2.12)为每个保留.
通过归纳,使用(2.12),很容易看出不会减少并且因此,序列收敛到.通过Lebesgue单调收敛定理英寸(2.16),我们得到
鉴于暗示
最后,让我们说因此,
集成自到t吨产量
出租,我们得到了一个矛盾。证据是完整的。 □
定理3
假设(2.8)持有并且存在一些和这样的话
(2.18)
那么每个非振荡解属于(1.1)满足.
证明
假设是最终的积极解决方案(1.1)令人满意的(2.5)。从引理A可以得出
最终,在哪里与中的相同.然后
或同等标准,
这与之相矛盾(2.18). □
出租在定理3中,我们得到了以下结果。
推论1
假设(2.8)持有和
(2.19)
那么每个非振荡解属于(1.1)满足.
证明
它源自(2.19)存在一些这样的话
相当于
这个断言现在遵循定理3。 □
示例2
考虑三阶非线性微分方程
(2.20)
一个简单的计算得出
然后(2.8)持有和(2.19)减少到
因此,根据推论1,每个非振荡解第页,共页(2.20)趋向于零.
我们的结果基于引理1,即,我们基本上利用了估算值(2.2)。很容易看出这一点和,估计(2.2)不成立,也就是说
(2.21)
关系(2.2)失败,因此我们的结果无法应用于n个甚至。因此,如何获得相应的结果仍然是一个悬而未决的问题n个甚至。