我们需要以下辅助引理。
引理2.1 假设(1.2)感到满意并让 最终成为(1.1).然后存在一个足够大的 这样的话,为所有人 ,
(2.1)
证明让是(1.1)的最终正解。然后存在一个这样的话和为所有人.根据(1.1),
因此,
(2.2)
这意味着函数
正在减少因此,最终不改变符号,即存在一个这样或为所有人.
我们声称为所有人。否则,应该存在这样的话
而且,对于所有人来说,
(2.3)
哪里
不等式(2.3)产生
将此不等式与到t吨,,我们得出结论
传递到极限并且使用(1.2),我们推断
它是从不平等中得出的和那个,这与我们的假设相矛盾最后,在表格中填写(2.2)
这意味着这就完成了证明。 □
引理2.2(阿加瓦尔等。[三])
假设 , 不是-对所有大的都是积极的 t吨 且不等于零 .如果 ,那么对于每个 ,存在一个 这样的话
等待 .
引理2.3(阿加瓦尔等。[4])
方程式
哪里 是奇数自然数的商,,和 不是-振荡当且仅当存在一个数 和一个函数 这样的话,为所有人 ,
为了简洁地展示我们的结果,我们引入了以下符号:
定理2.4
假设
(2.4)
然后每个解决方案 属于(1.1)要么振荡,要么满足
前提是
-
(i)
(1.2)持有或
-
(ii)
(1.4)感到满意并且,对一些人来说 ,
(2.6)
证明假设(1.1)有一个非振荡解这最终是积极的,因此
案例(i)通过引理2.1,我们得出结论(2.1)适用于所有,其中足够大。从引理2.2可以得出
对于每个对于所有足够大的t吨.让
根据(1.1),我们得出如下结论:是微分不等式的正解
然而,这是根据Werbowski的结果得出的[[15],推论1],后一个不等式在假设(2.4)下没有正解,这是一个矛盾。第(i)部分的证明是完整的。
情形(ii)与引理2.1中的分析类似,得出结论:具有性质(2.7)的非振荡正解满足条件(2.1)或
(2.8)
哪里足够大。首先假设(2.1)成立。正如在第(i)部分的证明中,人们得出了与条件(2.4)相矛盾的结论。假设(2.8)成立。对于,定义新函数通过
(2.9)
然后对于.自
我们推断该函数正在减少。因此,对于,
(2.10)
将(2.10)的两侧除以并将所得不等式与t吨到T型,我们获得
出租并考虑到这一点和,我们得出的结论是
因此,
这就产生了
因此,通过(2.9),我们得出结论:
(2.11)
(2.9)产量差异
由(1.1)和(2.9)可知
另一方面,从引理2.2可以得出
对于每个对于所有足够大的t吨因此,(2.11)收益率
(2.12)
将(2.12)乘以并将所得不等式与到t吨,我们有
让和。利用以下事实和不平等
(见张和王[[19],引理2.3]了解详细信息)和φ,我们从(2.11)中得出
这与(2.6)相矛盾。这就完成了对第(ii)部分的证明。 □
备注2.5有关与定理2.4第(i)部分中建立的结果类似的结果,另请参见Zhang等。[[16],定理5.3]。
备注2.6对于,定理2.4包括定理1.1。
在本节的其余部分中,我们使用不同的方法得出定理2.4的结论。首先,我们使用积分平均技术将假设(2.6)替换为Philos-type条件。
为此,让。我们说一个函数属于该类如果
和H(H)具有非正连续偏导数关于满足条件的第二个变量
对于某些功能.
定理2.7 让 如定理所示2.4假设是这样(1.4)和(2.4)持有.假设存在一个函数 这样的话
(2.13)
为所有人 还有一些 .然后是定理的结论2.4保持完整.
证明假设是满足(2.7)的(1.1)的最终正解,如定理2.4的证明一样,我们得出了对所有人都成立的不等式(2.12将(2.12)乘以并将所得不等式与到t吨,我们获得
让
和
使用不等式
我们获得
这与假设(2.13)相矛盾。这就完成了证明。 □
最后,我们还给出了(1.1)的比较结果,从而得出定理2.4的结论。
定理2.8 让 如上所述,并假设(1.4)和(2.4)持有.如果有一秒钟-订购一半-线性常微分方程
(2.14)
对某些人来说是振荡的 ,然后是定理的结论2.4保持完好.
证明再次假设是满足(2.7)的(1.1)的最终正解,按照定理2.4的证明,我们得到了(2.12),它适用于所有情况.通过引理2.3,我们得出结论:(2.14)是非振荡的,这是一个矛盾。证据是完整的。 □