在本节中,我们将建立方程的一些新的振动定理(1.1).为了方便起见,(f)
-1表示的反函数(f),我们让z(z)(t吨) :=x个(t吨) +第页(t吨)x个(τ(t吨))、和问(t吨):=最小值{q个(σ
-1(t吨)),q个(σ
-1(τ(t吨)))}.
引理2.1. (尼瑟定理)[[2],引理2.2.1]让(f) ∈C类n个([t吨
0, ∞),ℝ)及其衍生物(n个-1)经常登录[t吨
0, ∞). 如果(f)
(n个)符号不变,在[t吨
0,∞),然后,存在米 ∈ ℤ和t吨
1 ∈[t吨
0,∞)使0≤米≤n个-1和(-1)n个+米
ff(关闭)
(n个)≥ 0,
和
等一下[t吨
1, ∞).
引理2.2. [[2],引理2.2.3]让(f)是Kneser定理中的函数(f)
(n个)(t吨) ≤ 0. 如果lim
t吨→∞
(f)(t吨)≠0,则每λ ∈(0,1),存在t吨
λ
∈[t吨
1,∞),以便
等待[t吨
λ
, ∞).
为了证明我们的定理,我们将使用以下不等式。
引理2.3. [23]假设0<γ≤ 1,x个
1,x个
2 ∈[0,∞)。然后,
(2.1)
以下引理在主要结果的证明中非常有用。
引理2.4. 假设第页'(t吨)≥0且
(2.2)
如果x个是(1.1)的正解,则z(z)满足
最终。
证明。由于第页'(t吨)≥0,证明简单,故省略。□
引理2.5. 假设(2.2)成立,n个是均匀的,并且第页'(t吨) ≥ 0. 如果x个是(1.1)的正解,则z(z)满足
最终。
证明。由于第页'(t吨)≥0和引理2.1,证明很容易,因此省略。
现在,我们给出结果。首先,我们建立了(1.1)振动的一些比较定理。
定理2.6.让n为奇数, 0 ≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0和τ'(t吨) ≥τ
0> 0.假设(2.2)持有。如果一阶中立型微分不等式
(2.3)
对于某些λ没有正解
0 ∈(0, 1),然后每个解决方案(1.1)振荡或趋向于零作为t→ ∞.
证明.让x个是(1.1)和lim的非振动解
t吨→∞
x个(t吨) ≠ 0. 然后是lim
t吨→∞
z(z)(t吨) ≠ 0. 由(1.1)可知
(2.4)
因此,对于所有足够大的t吨,我们有
(2.5)
请注意
(2.6)
由于(2.1)和z(z)和问根据(2.5)和(2.6)
(2.7)
鉴于(σ
-1(t吨))' ≥σ
0>0和τ'(t吨) ≥τ
0>0,我们得到
(2.8)
另一方面,根据引理2.2和引理2.4,我们有
(2.9)
因此,设置第页(t吨)(z(z)
(n个-1)(t吨))γ=年(t吨)在(2.8)和(2.9)中,我们可以看到年是(2.3)的正解。这与我们的假设相矛盾,证明是完整的。
应用关于(2.3)系数的附加条件,我们可以从定理2.6推导出(1.1)的各种振动准则。
定理2.7.让n为奇数, 0 ≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0, τ'(t吨) ≥τ
0> 0和τ(t吨) ≤t.假设(2.2)持有。如果一阶微分不等式
(2.10)
对于某些λ没有正解
0 ∈(0, 1),然后的每一个解决方案(1.1)振荡或趋向于零作为t→ ∞.
证明。我们假设x个是(1.1)和lim的正解
t吨→∞
x个(t吨) ≠ 0. 那么引理2.4和定理2.6的证明意味着年(t吨) =第页(t吨)(z(z)
(n个-1)(t吨))γ>0是非递增的,它满足(2.3)。让我们表示
它源自τ(t吨) ≤t吨那个
将这些术语替换为(2.3),我们得到w个是(2.10)的正解。这个矛盾完成了证明。
推论2.8. 让n个奇数,0≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0,τ'(t吨) ≥τ
0>0和τ(t吨) ≤t吨假设(2.2)成立。如果τ
-1(σ(t吨)) <t吨和
(2.11)
则(1.1)的每个解都是振荡的或趋于零t吨→ ∞.
证明.根据[[10]定理2.1.1],条件(2.11)保证(2.10)没有正解。推论的证明是完整的。
定理2.9.让n为奇数, 0 ≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0, τ'(t吨) ≥τ
0> 0和τ(t吨) ≤t吨.假设(2.2)持有。如果一阶微分不等式
(2.12)
对于某些λ没有正解
0 ∈(0, 1),然后每个解决方案(1.1)振荡或趋向于零作为t→ ∞.
证明。我们假设x个是(1.1)和lim的正解
t吨→∞
x个(t吨) ≠ 0. 那么引理2.4和定理2.6的证明意味着年(t吨) =第页(t吨)(z(z)
(n个-1)(t吨))γ>0是非递增的,它满足(2.3)。我们表示
鉴于τ(t吨) ≥t吨,我们获得
将这些术语代入(2.3),我们得到w个是(2.12)的正解。这是一个矛盾,证明是完整的。
推论2.10. 让n个奇数,0≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0,τ'(t吨) ≥τ
0>0和τ(t吨) ≤t吨假设(2.2)成立。如果σ(t吨) <t吨和
(2.13)
则(1.1)的每个解都是振荡的或趋于零t吨→ ∞.
证明.推论的证明与推论2.8的证明相似,因此省略。
例子2.11. 考虑奇阶中立型微分方程
(2.14)
使用的结果[[9],例1],(2.14)的每个解都是振荡的或趋于零t吨→ ∞, 如果
应用推论2.8,我们得到(2.14)的每个解都是振荡的或趋于零t吨→ ∞, 什么时候
很容易看出,我们的结果提高了[9].
从上述关于奇阶微分方程振动性的结果和引理2.5,我们可以很容易地得到关于偶数阶中立型微分方程振动的以下结果。
定理2.12.让n保持平衡, 0 ≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0和τ'(t吨) ≥τ
0> 0.假设(2.2)持有。如果一阶中立型微分不等式(2.3)对于某些λ没有正解
0 ∈(0, 1),然后每个解决方案(1.1)是振荡的.
定理2.13.让n保持平衡, 0 ≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0, τ'(t吨) ≥τ
0> 0和τ(t吨) ≤t吨.假设(2.2)持有。如果一阶微分不等式(2.10)对于某些λ没有正解
0 ∈(0, 1),然后每个解决方案(1.1)是振荡的.
推论2.14. 让n个偶数,0≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0,τ'(t吨) ≥τ
0>0和τ(t吨) ≤t吨假设(2.2)成立。如果(2.11)成立,并且τ
-1(σ(t吨)) <t吨,则(1.1)的每个解都是振荡的。
定理2.15.让n为偶数, 0 ≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0, τ'(t吨) ≥τ
0> 0和τ(t吨) ≤t吨.假设(2.2)持有。如果一阶微分不等式(2.12)对于某些λ没有正解
0 ∈(0, 1),然后每个解决方案(1.1)是振荡的.
推论2.16. 让n个偶数,0≤第页(t吨) ≤第页
0< ∞, (σ
-1(t吨))' ≥σ
0> 0, τ'(t吨) ≥τ
0>0和τ(t吨) ≤t吨假设(2.2)成立。如果(2.13)成立,并且σ(t吨) <t吨,则(1.1)的每个解都是振荡的。
例子2.17. 考虑偶数阶中立型微分方程
(2.15)
使用的结果[[9],实施例1][[21,22],推论1],我们发现(2.15)的每个解都是振荡的,如果
使用[[19],定理2],我们可以得到(2.15)是振荡的,当
应用本文中的推论2.14,我们发现(2.15)在
因此,我们可以看到我们的结果比[9,19,21,22].