AAAAbstract and Applied Analysis1687-04091085-3375Hindawi Publishing Corporation56920110.1155/2012/569201569201Research ArticleOscillation of Third-Order Neutral Delay Differential EquationsLiTongxing1,2ZhangChenghui1XingGuojing1WongP. J. Y.1School of Control Science and EngineeringShandong UniversityJinan, Shandong 250061Chinasdu.edu.cn2School of Mathematical ScienceUniversity of JinanShandong 250022Chinaujn.edu.cn201221201220120807201129102011011120112012Copyright © 2012 Tongxing Li et al.This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

The purpose of this paper is to examine oscillatory properties of the third-order neutral delay differential equation [a(t)(b(t)(x(t)+p(t)x(σ(t))))]+q(t)x(τ(t))=0. Some oscillatory and asymptotic criteria are presented. These criteria improve and complement those results in the literature. Moreover, some examples are given to illustrate the main results.

1. Introduction

This paper is concerned with the oscillation and asymptotic behavior of the third-order neutral differential equation[a(t)(b(t)(x(t)+p(t)x(σ(t))))]+q(t)x(τ(t))=0. We always assume that

a(t),b(t),p(t),q(t)C([t0,)),a(t)>0,b(t)>0,q(t)>0,

τ(t),σ(t)C([t0,)),τ(t)t,σ(t)t,limtτ(t)=limtσ(t)=.

We set z(t):=x(t)+p(t)x(σ(t)). By a solution of (E), we mean a nontrivial function x(t)C([Tx,)),Txt0, which has the properties z(t)C1([Tx,)), b(t)z(t)C1([Tx,)), a(t)(b(t)z(t))C1([Tx,)) and satisfies (E) on [Tx,). We consider only those solutions x(t) of (E) which satisfy sup{|x(t)|:tT}>0 for all TTx. We assume that (E) possesses such a solution. A solution of (E) is called oscillatory if it has arbitrarily large zeros on [Tx,); otherwise, it is called nonoscillatory. Equation (E) is said to be almost oscillatory if all its solutions are oscillatory or convergent to zero asymptotically.

Recently, great attention has been devoted to the oscillation of differential equations; see, for example, the papers . Hartman and Wintner , Hanan , and Erbe  studied a particular case of (E), namely, the third-order differential equation x(t)+q(t)x(t)=0. Equation (E) with p(t)=0 plays an important role in the study of the oscillation of third-order trinomial delay differential equation x(t)+p(t)x(t)+g(t)x(τ(t))=0, see [6, 12, 27]. Baculíková and Džurina [21, 22], Candan and Dahiya , Grace et al. , and Saker and Džurina  examined the oscillation behavior of (E) with p(t)=0. It seems that there are few results on the oscillation of (E) with a neutral term. Baculíková and Džurina [23, 24] and Thandapani and Li  investigated the oscillation of (E) under the assumption b(t)=1,t01a(t)dt=,a(t)0. Graef et al.  and Candan and Dahiya  considered the oscillation of [a(t)(b(t)(x(t)+p1x(t-σ)))]+q(t)x(t-τ)=0,0p1<1.

In this paper, we shall further the investigation of the oscillations of (E) and E1. Three cases:t01a(t)dt=,t01b(t)dt=,t01a(t)dt<,t01b(t)dt=,t01a(t)dt<,t01b(t)dt<, are studied.

In the following, all functional inequalities considered in this paper are assumed to hold eventually, that is, they are satisfied for all t large enough. Without loss of generality, we can deal only with the positive solutions of (E).

2. Main Results

In this section, we will give the main results.

Theorem 2.1.

Assume that (1.4) holds, 0p(t)p1<1. If for some function ρC1([t0,),(0,)), for all sufficiently large t1t0 and for t3>t2>t1, one has limsuptt3t(ρ(s)q(s)(1-p(τ(s)))t2τ(s)(t1v(1/a(u))du/b(v))dvt1s(1/a(u))du-a(s)(ρ(s))24ρ(s))ds=,t01b(v)v1a(u)uq(s)dsdudv=, then (E) is almost oscillatory.

Proof.

Assume that x is a positive solution of (E). Based on the condition (1.4), there exist two possible cases:

z(t)>0,z(t)>0,  (b(t)z(t))>0,[a(t)(b(t)z(t))]<0,

z(t)>0,z(t)<0,(b(t)z(t))>0,[a(t)(b(t)z(t))]<0 for tt1, t1 is large enough.

Assume that case (1) holds. We define the function ω by ω(t)=ρ(t)a(t)(b(t)z(t))b(t)z(t),tt1. Then, ω(t)>0 for tt1. Using z(t)>0, we have x(t)(1-p(t))z(t). Since b(t)z(t)t1ta(s)(b(s)z(s))a(s)a(t)(b(t)z(t))t1t1a(s)ds, we have that (b(t)z(t)t1t(1/a(s))ds)0. Thus, we get z(t)=z(t2)+t2tb(s)z(s)t1s(1/a(u))dut1s(1/a(u))dub(s)dsb(t)z(t)t1t(1/a(u))dut2tt1s(1/a(u))dub(s)ds, for tt2>t1. Differentiating (2.3), we obtain ω(t)=ρ(t)a(t)(b(t)z(t))b(t)z(t)+ρ(t)(a(t)(b(t)z(t)))b(t)z(t)-ρ(t)a(t)(b(t)z(t))(b(t)z(t))(b(t)z(t))2. It follows from (E), (2.3), and (2.4) that ω(t)ρ(t)ρ(t)ω(t)-ρ(t)q(t)(1-p(τ(t)))z(τ(t))b(t)z(t)-ω2(t)ρ(t)a(t), that is, ω(t)ρ(t)ρ(t)ω(t)-ρ(t)q(t)(1-p(τ(t)))z(τ(t))b(τ(t))z(τ(t))b(τ(t))z(τ(t))b(t)z(t)-ω2(t)ρ(t)a(t), which follows from (2.6) and (2.7) that ω(t)ρ(t)ρ(t)ω(t)-ρ(t)q(t)(1-p(τ(t)))t2τ(t)(t1s(1/a(u))du/b(s))dst1τ(t)(1/a(u))dut1τ(t)(1/a(u))dut1t(1/a(u))du-ω2(t)ρ(t)a(t)=ρ(t)ρ(t)ω(t)-ρ(t)q(t)(1-p(τ(t)))t2τ(t)(t1s(1/a(u))du/b(s))dst1t(1/a(u))du-ω2(t)ρ(t)a(t). Hence, we have ω(t)-ρ(t)q(t)(1-p(τ(t)))t2τ(t)(t1s(1/a(u))du/b(s))dst1t(1/a(u))du+a(t)(ρ(t))24ρ(t). Integrating the last inequality from t3(>t2) to t, we get t3t(ρ(s)q(s)(1-p(τ(s)))t2τ(s)(t1v(1/a(u))du/b(v))dvt1s(1/a(u))du-a(s)(ρ(s))24ρ(s))dsω(t3), which contradicts (2.1).

Assume that case (2) holds. Using the similar proof of [23, Lemma 2], we can get limtx(t)=0 due to condition (2.2). This completes the proof.

Theorem 2.2.

Assume that (1.5) holds, 0p(t)p1<1. Further, assume that for some function ρC1([t0,),(0,)), for all sufficiently large t1t0 and for t3>t2>t1, one has (2.1) and (2.2). If limsuptt2t(δ(s)q(s)(1-p(τ(s)))t1τ(s)dvb(v)-14δ(s)a(s))ds=, where δ(t):=t1a(s)ds, then (E) is almost oscillatory.

Proof.

Assume that x is a positive solution of (E). Based on the condition (1.5), there exist three possible cases (1), (2) (as those of Theorem 2.1), and

z(t)>0,  z(t)>0,  (b(t)z(t))<0,[a(t)(b(t)z(t))]<0, for tt1, t1 is large enough.

Assume that case (1) and case (2) hold, respectively. We can obtain the conclusion of Theorem 2.2 by applying the proof of Theorem 2.1.

Assume that case (3) holds. From [a(t)(b(t)z(t))]<0, a(t)(b(t)z(t)) is decreasing. Thus, we get a(s)(b(s)z(s))a(t)(b(t)z(t)),stt1. Dividing the above inequality by a(s) and integrating it from t to l, we obtain b(l)z(l)b(t)z(t)+a(t)(b(t)z(t))tldsa(s). Letting l, we have 0b(t)z(t)+a(t)(b(t)z(t))tdsa(s), that is, -tdsa(s)a(t)(b(t)z(t))b(t)z(t)1. Define function ϕ by ϕ(t):=a(t)(b(t)z(t))b(t)z(t),tt1. Then, ϕ(t)<0 for tt1. Hence, by (2.19) and (2.20), we get -δ(t)ϕ(t)1. Differentiating (2.20), we obtain ϕ(t)=(a(t)(b(t)z(t)))b(t)z(t)-a(t)(b(t)z(t))(b(t)z(t))(b(t)z(t))2. Using z(t)>0, we have (2.4). From (E) and (2.4), we have ϕ(t)-q(t)(1-p(τ(t)))z(τ(t))b(t)z(t)-a(t)(b(t)z(t))(b(t)z(t))(b(t)z(t))2. In view of (3), we see that z(t)b(t)t1tdsb(s)z(t). Hence, (z(t)t1t(ds/b(s)))0, which implies that z(τ(t))z(t)t1τ(t)(ds/b(s))t1t(ds/b(s)). By (2.20) and (2.23), (2.24), and (2.26), we obtain ϕ(t)-q(t)(1-p(τ(t)))t1τ(t)dsb(s)-ϕ2(t)a(t). Multiplying the last inequality by δ(t) and integrating it from t2(>t1) to t, we have ϕ(t)δ(t)-ϕ(t2)δ(t2)+t2tδ(s)q(s)(1-p(τ(s)))t1τ(s)dvb(v)ds+t2tϕ2(s)δ(s)a(s)ds+t2tϕ(s)a(s)ds0, which follows that t2t(δ(s)q(s)(1-p(τ(s)))t1τ(s)dvb(v)-14δ(s)a(s))ds1+ϕ(t2)δ(t2) due to (2.21), which contradicts (2.14). This completes the proof.

Theorem 2.3.

Assume that (1.6) holds, 0p(t)p1<1. Further, assume that for some function ρC1([t0,),(0,)), for all sufficiently large t1t0 and for t3>t2>t1, one has (2.1), (2.2), and (2.14). If t11b(v)t1v1a(u)t1uη(s)q(s)ξ(τ(s))dsdudv=, where η(t):=1-p(τ(t))ξ(σ(τ(t)))ξ(τ(t))>0,ξ(t):=t1b(s)ds, then (E) is almost oscillatory.

Proof.

Assume that x is a positive solution of (E). Based on the condition (1.6), there exist four possible cases (1), (2), (3) (as those of Theorem 2.2), and

z(t)>0,  z(t)<0,  (b(t)z(t))<0,[a(t)(b(t)z(t))]<0,

for tt1, t1 is large enough.

Assume that case (1), case (2), and case (3) hold, respectively. We can obtain the conclusion of Theorem 2.3 by using the proof of Theorem 2.2.

Assume that case (4) holds. Since (b(t)z(t))<0, we get z(s)b(t)z(t)b(s),st, which implies that z(t)-ξ(t)b(t)z(t)Lξ(t) for some constant L>0. By (2.33), we obtain (z(t)ξ(t))0. Using (2.34), we see that x(t)=z(t)-p(t)x(σ(t))z(t)-p(t)z(σ(t))(1-p(t)ξ(σ(t))ξ(t))z(t). From (E), (2.33), and (2.35), we have [a(t)(b(t)z(t))]+Lq(t)(1-p(τ(t))ξ(σ(τ(t)))ξ(τ(t)))ξ(τ(t))0. Integrating the last inequality from t1 to t, we get a(t)(b(t)z(t))+Lt1tq(s)(1-p(τ(s))ξ(σ(τ(s)))ξ(τ(s)))ξ(τ(s))ds0. Integrating again, we have b(t)z(t)+Lt1t1a(u)t1uq(s)(1-p(τ(s))ξ(σ(τ(s)))ξ(τ(s)))ξ(τ(s))dsdu0. Integrating again, we obtain z(t1)Lt1t1b(v)t1v1a(u)t1uq(s)(1-p(τ(s))ξ(σ(τ(s)))ξ(τ(s)))ξ(τ(s))dsdudv+z(t), which contradicts (2.30). This completes the proof.

Theorem 2.4.

Assume that (1.6) holds, 0p(t)p1<1. Further, assume that for some function ρC1([t0,),(0,)), for all sufficiently large t1t0 and for t3>t2>t1, one has (2.1), (2.2) and (2.14). If t11b(v)t1v1a(u)t1uq(s)dsdudv=, then (E) is almost oscillatory.

Proof.

Assume that x is a positive solution of (E). Based on the condition (1.6), there exist four possible cases (1), (2), (3), and (4) (as those of Theorem 2.3).

Assume that case (1), case (2), and case (3) hold, respectively. We can obtain the conclusion of Theorem 2.4 by using the proof of Theorem 2.2.

Assume that case (4) holds. Then, limtz(t)=l0(l    is  finite). Assume that l>0. Then, from the proof of [23, Lemma 2], we see that there exists a constant k>0 such that x(t)kl. The rest of the proof is similar to that of Theorem 2.3 and hence is omitted.

3. Examples

In this section, we will present some examples to illustrate the main results.

Example 3.1.

Consider the third-order neutral delay differential equation (t(x(t)+p1x(t2))′′)+λt2x(t)=0,λ>0,  t1, where p1[0,1).

Let ρ(t)=t. It follows from Theorem 2.1 that every solution x of (3.1) is either oscillatory or limtx(t)=0, if λ>1/(4k(1-p1)) for some k(1/4,1).

Note that (3.1) is almost oscillatory, if λ>2/(1-p1) due to [23, Corollary 3].

Example 3.2.

Consider the third-order neutral delay differential equation (1t(t1/2(x(t)+12x(t-π))))+(t-1/22+38t-5/2)x(t-7π2)=0,t1.

Let ρ(t)=1. It follows from Theorem 2.1 that every solution x of (3.2) is almost oscillatory. One such solution is x(t)=sint.

Example 3.3.

Consider the third-order neutral delay differential equation (t4/3(x(t)+p1x(t2))′′)+λt5/3x(t)=0,λ>0,  t1, where p1[0,1).

Let ρ(t)=1. It follows from Theorem 2.2 that every solution x of (3.3) is either oscillatory or limtx(t)=0, if λ>1/(36k(1-p1)) for some k(1/4,1).

Note that [22, Theorem 1] cannot be applied to (3.3) when p1=0.

Example 3.4.

Consider the third-order neutral delay differential equation (t2(t2(x(t)+13x(t2))))+λt2x(t)=0,λ>0,t1.

Let ρ(t)=1. It follows from Theorem 2.3 that every solution x of (3.4) is either oscillatory or limtx(t)=0, if λ>0.

4. RemarksRemark 4.1.

In , Agarwal et al. established a well-known result; see [4, Lemma 6.1]. Using [4, Lemma 6.1] and defining the function ω as in Theorem 2.1 with ρ(t)=1, we can replace condition (2.1) with (a(t)y(t))+q(t)(1-p(τ(t)))t2τ(t)(t1s(1/a(u))du/b(s))dst1t(1/a(u))duy(t)=0 that is oscillatory. Similarly, we can replace condition (2.14) by (a(t)y(t))+q(t)(1-p(τ(t)))t1τ(t)dsb(s)y(t)=0 that is oscillatory.

Remark 4.2.

The results for (E) can be extended to the nonlinear differential equations.

Remark 4.3.

It is interesting to find a method to study (E) for the case when t01a(t)dt=,t01b(t)dt<.

Remark 4.4.

It is interesting to find other methods to present some sufficient conditions which guarantee that every solution of (E) is oscillatory.

Acknowledgments

The authors would like to thank the referees and Professor P. J. Y. Wong for the comments which helped to improve the paper. This research is supported by NNSF of PR China (Grant nos. 61034007, 60874016, and 50977054). The second author would like to express his gratitude to Professors Ravi P. Agarwal and Martin Bohner for their selfless guidance.

AgarwalR. P.GraceS. R.O'ReganD.Oscillation Theory for Difference and Functional Differential Equations2000Dordrecht, The NetherlandsKluwer Academic PublishersAgarwalR. P.BohnerM.LiW.-T.Nonoscillation and Oscillation: Theory for Functional Differential Equations2004267New York, NY, USAMarcel Dekkerviii+376Monographs and Textbooks in Pure and Applied Mathematics2084730AgarwalR. P.ShiehS.-L.YehC.-C.Oscillation criteria for second-order retarded differential equationsMathematical and Computer Modelling199726411110.1016/S0895-7177(97)00141-61480601ZBL0902.34061AgarwalR. P.GraceS. R.O'ReganD.The oscillation of certain higher-order functional differential equationsMathematical and Computer Modelling2003377-8705728198123710.1016/S0895-7177(03)00079-7ZBL1070.34083AgarwalR. P.GraceS. R.O'ReganD.Oscillation criteria for certain nth order differential equations with deviating argumentsJournal of Mathematical Analysis and Applications20012622601622185932710.1006/jmaa.2001.7571ZBL0997.34060AgarwalR. P.AktasM. F.TiryakiA.On oscillation criteria for third order nonlinear delay differential equationsArchivum Mathematicum20094511182591657ZBL1212.34189ErbeL. H.KongQ.ZhangB. G.Oscillation Theory for Functional-Differential Equations1995190New York, NY, USAMarcel Dekkerviii+482Monographs and Textbooks in Pure and Applied Mathematics1309905ErbeL.Existence of oscillatory solutions and asymptotic behavior for a class of third order linear differential equationsPacific Journal of Mathematics19766423693850435508ZBL0339.34030HartmanP.WintnerA.Linear differential and difference equations with monotone solutionsAmerican Journal of Mathematics195375731743005740410.2307/2372548ZBL0051.07105HananM.Oscillation criteria for third-order linear differential equationsPacific Journal of Mathematics1961119199440145160ZBL0104.30901DžurinaJ.Asymptotic properties of the third order delay differential equationsNonlinear Analysis: Theory, Methods & Applications1996261333910.1016/0362-546X(94)00239-E1354789ZBL0840.34076DžurinaJ.KotorováR.Properties of the third order trinomial differential equations with delay argumentNonlinear Analysis: Theory, Methods & Applications2009715-61995200210.1016/j.na.2009.01.0702524414ZBL1173.34348GraefJ. R.SavithriR.ThandapaniE.Oscillatory properties of third order neutral delay differential equationsDiscrete and Continuous Dynamical Systems A20033423502018134ZBL1060.34036HassanT. S.Oscillation of third order nonlinear delay dynamic equations on time scalesMathematical and Computer Modelling2009497-815731586250836710.1016/j.mcm.2008.12.011ZBL1175.34086LiT.litongx2007@163.comHanZ.hanzhenlai@163.comSunS.sshrong@163.comZhaoY.zhaoeager@126.comOscillation results for third order nonlinear delay dynamic equations on time scalesBulletin of the Malaysian Mathematical Sciences Society2011343639648LiT.ThandapaniE.Oscillation of solutions to odd-order nonlinear neutral functional differential equationsElectronic Journal of Differential Equations2011No. 23, 122781058ZBL1211.34080ThandapaniE.LiT.On the oscillation of third-order quasi-linear neutral functional differential equationsArchivum Mathematicum201147181199ZhangC.LiT.SunB.ThandapaniE.On the oscillation of higher-order half-linear delay differential equationsApplied Mathematics Letters201124916181621280372110.1016/j.aml.2011.04.015ZBL1223.34095AgarwalR. P.agarwal@fit.eduBaculíkováB.blanka.baculikova@tuke.skDžurinaJ.jozef.dzurina@tuke.skLiT.litongx2007@163.comOscillation of third-order nonlinear functional differential equations with mixed argumentsto appear in Acta Mathematica Hungarica10.1007/s10474-011-0120-4BaculíkováB.ElabbasyE. M.SakerS. H.DžurinaJ.Oscillation criteria for third-order nonlinear differential equationsMathematica Slovaca2008582201220239121410.2478/s12175-008-0068-1ZBL1174.34052BaculíkováB.DžurinaJ.Oscillation of third-order nonlinear differential equationsApplied Mathematics Letters2011244466470274972810.1016/j.aml.2010.10.043ZBL1209.34042BaculíkováB.blanka.baculikova@tuke.skDžurinaJ.jozef.dzurina@tuke.skOscillation of third-order functional differential equationsElectronic Journal of Qualitative Theory of Differential Equations201043110BaculíkováB.DžurinaJ.Oscillation of third-order neutral differential equationsMathematical and Computer Modelling2010521-2215226264593310.1016/j.mcm.2010.02.011ZBL1201.34097BaculíkováB.DžurinaJ.On the asymptotic behavior of a class of third order nonlinear neutral differential equationsCentral European Journal of Mathematics20108610911103273690810.2478/s11533-010-0072-xZBL1221.34173CandanT.DahiyaR. S.Oscillation of third order functional differential equations with delay10Proceedings of the Fifth Mississippi State Conference on Differential Equations and Computational Simulations (Mississippi State, MS, 2001)2003San Marcos, Tex, USASouthwest Texas State Univ.7988Electron. J. Differ. Equ. Conf.1983096CandanT.DahiyaR. S.Functional differential equations of third orderElectronic Journal of Differential Equations, Conference2005124756TiryakiA.AktaşM. F.Oscillation criteria of a certain class of third order nonlinear delay differential equations with dampingJournal of Mathematical Analysis and Applications200732515468227302810.1016/j.jmaa.2006.01.001ZBL1110.34048GraceS. R.AgarwalR. P.PavaniR.ThandapaniE.On the oscillation of certain third order nonlinear functional differential equationsApplied Mathematics and Computation20082021102112243714010.1016/j.amc.2008.01.025ZBL1154.34368SakerS. H.Oscillation criteria of third-order nonlinear delay differential equationsMathematica Slovaca20065644334502267765ZBL1141.34040SakerS. H.DžurinaJ.On the oscillation of certain class of third-order nonlinear delay differential equationsMathematica Bohemica201013532252372683636