Table of Contents Author Guidelines Submit a Manuscript
Abstract and Applied Analysis
VolumeΒ 2011, Article IDΒ 173158, 6 pages
http://dx.doi.org/10.1155/2011/173158
Research Article

On Delay-Independent Criteria for Oscillation of Higher-Order Functional Differential Equations

School of Mathematics, University of Jinan, Jinan, Shandong 250022, China

Received 20 March 2011; Accepted 8 May 2011

Academic Editor: PavelΒ DrΓ‘bek

Copyright Β© 2011 Yuangong Sun. 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.

Abstract

We investigate the oscillation of the following higher-order functional differential equation: π‘₯(𝑛)(𝑑)+π‘ž(𝑑)|π‘₯(π‘‘βˆ’πœ)|πœ†βˆ’1π‘₯(π‘‘βˆ’πœ)=𝑒(𝑑), where π‘ž(𝑑) and 𝑒(𝑑) are continuous functions on [𝑑0,∞), 1>πœ†>0 and πœβ‰ 0 are constants. Unlike most of delay-dependent oscillation results in the literature, two delay-independent oscillation criteria for the equation are established in both the case 𝜏>0 and the case 𝜏<0 under the assumption that the potentials π‘ž(𝑑) and 𝑒(𝑑) change signs on [𝑑0,∞).

1. Introduction

Consider the following 𝑛th-order forced functional differential equation of the form:π‘₯(𝑛)||||(𝑑)+π‘ž(𝑑)π‘₯(π‘‘βˆ’πœ)πœ†βˆ’1π‘₯(π‘‘βˆ’πœ)=𝑒(𝑑),(1.1) where 𝑛β‰₯1 is an integer, π‘ž(𝑑), 𝑒(𝑑)∈𝐢[𝑑0,∞), πœ†>0, and πœβ‰ 0 are constants.

We are here only concerned with the nonconstant solutions of (1.1) that are defined for all large 𝑑. The oscillatory behavior is considered in the usual sense, that is, a solution of (1.1) is said to be oscillatory if it has arbitrarily large zeros. Otherwise, it is called nonoscillatory.

The oscillatory behavior of (1.1) with 𝜏=0 has been studied by many authors. In early papers [1, 2], by assuming that 𝑒(𝑑)=β„Ž(𝑛)(𝑑), where β„Ž(𝑑) is an oscillatory function satisfying limπ‘‘β†’βˆžβ„Ž(𝑑)=0, the author proved that the forced equation would remain oscillatory if the unforced equation is oscillatory. However, the potential π‘ž(𝑑) is usually assumed to be nonnegative in [1, 2].

When π‘ž(𝑑)<0, 𝜏=0, and πœ†>1, Agarwal and Grace [3] studied the oscillation of (1.1) by using a method of general means without imposing the Kartsatos condition. Following this method, the oscillation of (1.1) with 𝜏=0 was studied in [4] for both the case π‘ž(𝑑)β‰₯0 and π‘ž(𝑑)<0 on [𝑑0,∞). When π‘ž(𝑑) changes its sign on [𝑑0,∞), 𝜏=0, and 0<πœ†<1, oscillation criteria for (1.1) were given in [5]. Sun and Saker [6], Sun and Mingarelli [7], and Yang [8] studied the oscillation for a generalized form of (1.1) with 𝜏=0. When 𝜏>0, there have been many oscillation criteria for equations of the type (1.1). For example, see [9–14] and references cited therein. We see that all these oscillation criteria depend on time delay.

To the best of our knowledge, little has been known about the oscillatory behavior of (1.1) in the case of oscillatory potentials when 𝜏<0. Particularly, little has been known about the delay-independent criteria for oscillation of (1.1). Unlike most of papers devoted on delay-dependent oscillation criteria for functional differential equations, the main purpose of this paper is to establish two delay-independent oscillation criteria for (1.1) in both the case 𝜏>0 and the case 𝜏<0, where the potential 𝑒(𝑑) is not imposed on the Kartsatos condition, and the potential π‘ž(𝑑) may change its sign. Finally, two interesting examples are worked out to illustrate the main results.

2. Main Results

Theorem 2.1. Assume that 0<πœ†<1 and 𝜏>0. If limsupπ‘‘β†’βˆž1ξ€·π‘‘βˆ’π‘‘0ξ€Έπ‘›βˆ«π‘‘π‘‘0ξ€Ί(π‘‘βˆ’π‘ )𝑛𝑒(𝑠)+𝑄(𝑑,𝑠)𝑑𝑠=+∞,(2.1)liminfπ‘‘β†’βˆž1ξ€·π‘‘βˆ’π‘‘0ξ€Έπ‘›βˆ«π‘‘π‘‘0ξ€Ί(π‘‘βˆ’π‘ )𝑛𝑒(𝑠)βˆ’π‘„(𝑑,𝑠)𝑑𝑠=βˆ’βˆž,(2.2) where 𝑄(𝑑,𝑠)=(πœ†βˆ’1)πœ†πœ†/(1βˆ’πœ†)(𝑛!)πœ†/(πœ†βˆ’1)ξ€Ί(π‘‘βˆ’π‘ )π‘›ξ€»π‘ž(𝑠)1/(1βˆ’πœ†),(2.3)π‘ž(𝑠)=max{βˆ’π‘ž(𝑠),0}, then all solutions of (1.1) are oscillatory for any 𝜏>0.

Proof. Let π‘₯(𝑑) be a nonoscillatory solution of (1.1). Without loss of generality, we may assume that π‘₯(𝑑)>0 for 𝑑β‰₯𝑑0. When π‘₯(𝑑) is eventually negative, the proof follows the same argument. Multiplying (1.1) by (π‘‘βˆ’π‘ )𝑛 and integrating it from 𝑑0 to 𝑑 yields ξ€œπ‘‘π‘‘0(π‘‘βˆ’π‘ )π‘›ξ€œπ‘’(𝑠)𝑑𝑠=𝑑𝑑0(π‘‘βˆ’π‘ )𝑛π‘₯(𝑛)(ξ€œπ‘ )𝑑𝑠+𝑑𝑑0(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)π‘₯πœ†(β‰₯ξ€œπ‘ βˆ’πœ)𝑑𝑠𝑑𝑑0(π‘‘βˆ’π‘ )𝑛π‘₯(𝑛)(ξ€œπ‘ )π‘‘π‘ βˆ’π‘‘π‘‘0(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)π‘₯πœ†(π‘ βˆ’πœ)𝑑𝑠=βˆ’π‘›βˆ’1𝑖=0π‘π‘–ξ€·π‘‘βˆ’π‘‘0ξ€Έπ‘›βˆ’π‘–π‘₯(π‘›βˆ’π‘–βˆ’1)𝑑0ξ€Έ+π‘π‘›ξ€œπ‘‘π‘‘+𝜏0+πœξ€œπ‘₯(π‘ βˆ’πœ)π‘‘π‘ βˆ’π‘‘π‘‘0(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)π‘₯πœ†(π‘ βˆ’πœ)𝑑𝑠,(2.4) where 𝑐0=0, 𝑐𝑖=𝑛(π‘›βˆ’1)β‹―(π‘›βˆ’π‘–+1), and 𝑐𝑛=𝑛!. Since 𝜏>0, ξ€œπ‘‘π‘‘0ξ€œπ‘₯(𝑠)𝑑𝑠=𝑑𝑑+𝜏0+𝜏π‘₯(π‘ βˆ’πœ)𝑑𝑠,(2.5) we have ξ€œπ‘‘π‘‘+𝜏0+πœξ€œπ‘₯(π‘ βˆ’πœ)𝑑𝑠β‰₯𝑑𝑑0+𝜏π‘₯(π‘ βˆ’πœ)𝑑𝑠.(2.6) This together with (2.4) and (2.5) yield ξ€œπ‘‘π‘‘0(π‘‘βˆ’π‘ )𝑛𝑒(𝑠)𝑑𝑠β‰₯βˆ’π‘›βˆ’1𝑖=0π‘π‘–ξ€·π‘‘βˆ’π‘‘0ξ€Έπ‘›βˆ’π‘–π‘₯(π‘›βˆ’π‘–βˆ’1)𝑑0ξ€Έβˆ’π‘π‘›ξ€œπ‘‘0𝑑+𝜏0+ξ€œπ‘₯(π‘ βˆ’πœ)𝑑𝑠𝑑𝑑0𝑐𝑛π‘₯(π‘ βˆ’πœ)βˆ’(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)π‘₯πœ†ξ€»(π‘ βˆ’πœ)𝑑𝑠.(2.7) For given 𝑑 and 𝑠(𝑑>𝑠), set 𝐹(π‘₯)=𝑐𝑛π‘₯βˆ’(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)π‘₯πœ†,π‘₯>0,0<πœ†<1.(2.8) It is not difficult to see that 𝐹(π‘₯) obtains its minimum at π‘₯=[𝑐𝑛/(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)]1/(1βˆ’πœ†) and 𝐹min=(πœ†βˆ’1)πœ†πœ†/(1βˆ’πœ†)(𝑛!)πœ†/(πœ†βˆ’1)ξ€Ί(π‘‘βˆ’π‘ )π‘›ξ€»π‘ž(𝑠)1/(1βˆ’πœ†)=𝑄(𝑑,𝑠).(2.9) It implies that 𝑐𝑛π‘₯(π‘ βˆ’πœ)βˆ’(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)π‘₯πœ†(π‘ βˆ’πœ)β‰₯𝑄(𝑑,𝑠).(2.10) Therefore, for any 𝜏>0, multiplying (2.7) by (π‘‘βˆ’π‘‘0)βˆ’π‘›, using (2.10), and taking liminf on both sides of (2.7), we get a contradiction with (2.1). This completes the proof of Theorem 2.1.

Theorem 2.2. Assume that 0<πœ†<1 and 𝜏<0. If (2.1) and (2.2) hold, then all solutions of (1.1) satisfying π‘₯(𝑑)=𝑂(𝑑𝑛) are oscillatory for any 𝜏<0.

Proof. Let π‘₯(𝑑) be a nonoscillatory solution of (1.1) satisfying π‘₯(𝑑)=𝑂(𝑑𝑛). Without loss of generality, we may assume that π‘₯(𝑑)>0 for 𝑑β‰₯𝑑0, and there exists a positive constant 𝑀>0 such that π‘₯(𝑑)≀𝑀𝑑𝑛. Similar to the corresponding computation in Theorem 2.1 and noting that 𝜏<0, we have ξ€œπ‘‘π‘‘0(π‘‘βˆ’π‘ )𝑛𝑒(𝑠)𝑑𝑠β‰₯βˆ’π‘›βˆ’1𝑖=0π‘π‘–ξ€·π‘‘βˆ’π‘‘0ξ€Έπ‘›βˆ’π‘–π‘₯(π‘›βˆ’π‘–βˆ’1)𝑑0ξ€Έ+π‘π‘›ξ€œπ‘‘0𝑑0+𝜏π‘₯(π‘ βˆ’πœ)π‘‘π‘ βˆ’π‘π‘›ξ€œπ‘‘π‘‘+πœξ€œπ‘₯(π‘ βˆ’πœ)𝑑𝑠+𝑑𝑑0𝑐𝑛π‘₯(π‘ βˆ’πœ)βˆ’(π‘‘βˆ’π‘ )π‘›π‘ž(𝑠)π‘₯πœ†ξ€»(π‘ βˆ’πœ)𝑑𝑠.(2.11) Since π‘₯(𝑑)≀𝑀𝑑𝑛, we get ξ€œπ‘‘π‘‘+πœπ‘€π‘₯(π‘ βˆ’πœ)𝑑𝑠≀(𝑛+1π‘‘βˆ’πœ)𝑛+1βˆ’π‘‘π‘›+1ξ€».(2.12) Then, for any 𝜏<0, multiplying (2.11) by (π‘‘βˆ’π‘‘0)βˆ’π‘›, using (2.10) and (2.12), and taking liminf on both sides of (2.11), we get a contradiction with (2.1). This completes the proof of Theorem 2.2.

The main results in this paper can also be extended to the case of time-varying delay. That is, we can consider the following equation: π‘₯(𝑛)||||(𝑑)+π‘ž(𝑑)π‘₯(𝜎(𝑑))πœ†βˆ’1π‘₯(𝜎(𝑑))=𝑒(𝑑),(2.13) where 𝜎(𝑑) is continuously differentiable on [𝑑0,∞), limπ‘‘β†’βˆžπœŽ(𝑑)=∞, and πœŽξ…ž(𝑑)>0 for 𝑑 sufficiently large. Without loss of generality, say πœŽξ…ž(𝑑)>0 for 𝑑β‰₯𝑑0. Similar to the analysis as before, we have the following delay-independent and derivative-dependent oscillation criteria for (2.13).

Theorem 2.3. Assume that 0<πœ†<1 and 𝜎(𝑑)≀𝑑. If limsupπ‘‘β†’βˆž1ξ€·π‘‘βˆ’π‘‘0ξ€Έπ‘›βˆ«π‘‘π‘‘0(π‘‘βˆ’π‘ )𝑛𝑒(𝑠)+𝑄(𝑑,𝑠)𝑑𝑠=+∞,liminfπ‘‘β†’βˆž1ξ€·π‘‘βˆ’π‘‘0ξ€Έπ‘›βˆ«π‘‘π‘‘0(π‘‘βˆ’π‘ )𝑛𝑒(𝑠)βˆ’π‘„(𝑑,𝑠)𝑑𝑠=βˆ’βˆž,(2.14) where 𝑄(𝑑,𝑠)=(πœ†βˆ’1)πœ†πœ†/(1βˆ’πœ†)𝑛!πœŽξ…žξ€Έ(𝑠)πœ†/(πœ†βˆ’1)ξ€Ί(π‘‘βˆ’π‘ )π‘›ξ€»π‘ž(𝑠)1/(1βˆ’πœ†),(2.15)π‘ž(𝑠)=max{βˆ’π‘ž(𝑠),0}, then all solutions of (2.13) are oscillatory.

Theorem 2.4. Assume that 0<πœ†<1 and 𝜎(𝑑)β‰₯𝑑. If (2.1) and (2.2) hold, and there exists a continuous function πœ™(𝑑)β‰₯0 on [𝑑0,∞) such that βˆ«π‘‘πœŽβˆ’1(𝑑)πœ™(𝑠)𝑑𝑠=𝑂(𝑑𝑛), where πœŽβˆ’1 is the inverse of 𝜎(𝑑), then all solutions of (2.13) satisfying π‘₯(𝑑)=𝑂(πœ™(𝑑)) are oscillatory.

3. Examples

In this section, we work out two examples to illustrate the main results.

Example 3.1. Consider the following equation: π‘₯(𝑛)(𝑑)+𝑑𝛼||||sin𝑑π‘₯(π‘‘βˆ’πœ)πœ†βˆ’1π‘₯(π‘‘βˆ’πœ)=𝑑𝛽cos𝑑,𝑑β‰₯0,(3.1) where πœβ‰ 0, 𝛼β‰₯0, 𝛽>0, and 0<πœ†<1 are constants. Note that 𝑄(𝑑,𝑠)β‰₯Ξ›(π‘‘βˆ’π‘ )𝑛/(1βˆ’πœ†)𝑠𝛼/(1βˆ’πœ†),(3.2) where Ξ›=(πœ†βˆ’1)πœ†πœ†/(1βˆ’πœ†)(𝑛!)πœ†/(πœ†βˆ’1)<0. We have ξ€œπ‘‘0ξ€œπ‘„(𝑑,𝑠)𝑑𝑠β‰₯Λ𝑑0(π‘‘βˆ’π‘ )𝑛/(1βˆ’πœ†)𝑠𝛼/(1βˆ’πœ†)𝑛𝑑𝑠=Λ𝐡,𝛼1βˆ’πœ†ξ‚π‘‘1βˆ’πœ†((𝑛+𝛼)/(1βˆ’πœ†))+1,(3.3) where the Beta function 𝐡(𝑛/(1βˆ’πœ†),𝛼/(1βˆ’πœ†)) is a positive constant. On the other hand, ξ€œπ‘‘0(π‘‘βˆ’π‘ )𝑛𝑠𝛽cos𝑠𝑑𝑠=𝑑𝑛+1+π›½ξ€œ10(1βˆ’π‘’)𝑛𝑒𝛽cos𝑑𝑒𝑑𝑒=𝑑𝑛+1+𝛽𝐼𝑛,𝛽(𝑑),(3.4) where 𝐼𝑛,𝛽(𝑑) has the asymptotic formula 𝐼𝑛,𝛽(𝑑)=βˆ’Ξ“(𝑛+1)π‘‘βˆ’π‘›βˆ’1ξ‚΅cosπ‘‘βˆ’(𝑛+1)πœ‹2𝑑+π‘œβˆ’π‘›βˆ’1ξ€Έ,(3.5) as π‘‘β†’βˆž [15, pages 49 and 50]. By Theorems 2.1 and 2.2, we have that if 𝛽>𝑛+𝛼1βˆ’πœ†+1,(3.6) then all solutions of (3.1) are oscillatory for any 𝜏>0, and all solutions of (3.1) satisfying π‘₯(𝑑)=𝑂(𝑑𝑛) are oscillatory for any 𝜏<0.

Example 3.2. Consider the following equation: π‘₯(𝑛)(𝑑)+𝑑𝛼|||π‘₯ξ‚€βˆšsin𝑑𝑑|||πœ†βˆ’1π‘₯ξ‚€βˆšπ‘‘ξ‚=𝑑𝛽cos𝑑,𝑑β‰₯0,(3.7) where 𝛼, 𝛽, and πœ† are defined as in Example 3.1. Similar to the computation in Example 3.1, we have ξ€œπ‘‘0ξ€œπ‘„(𝑑,𝑠)𝑑𝑠β‰₯Λ𝑑0(π‘‘βˆ’π‘ )𝑛/(1βˆ’πœ†)𝑠(𝛼+πœ†)/(1βˆ’πœ†)𝑛𝑑𝑠=Λ𝐡,1βˆ’πœ†π›Ό+πœ†ξ‚π‘‘1βˆ’πœ†(𝑛+𝛼+πœ†)/(1βˆ’πœ†)+1,(3.8) where Ξ›=(πœ†βˆ’1)πœ†πœ†/(1βˆ’πœ†)(𝑛!/2)πœ†/(πœ†βˆ’1). Following the same argument in Example 3.1, we have that all solutions of (3.7) are oscillatory if 𝛽>(𝑛+𝛼+πœ†)/(1βˆ’πœ†)+1.

Acknowledgment

This paper was supported by the Natural Science Foundation of Shandong Province under Grant no. ZR2010AL002.

References

  1. A. G. Kartsatos, β€œOn the maintenance of oscillation under the effect of a small forcing term,” Journal of Differential Equations, vol. 10, pp. 355–363, 1971. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  2. A. G. Kartsatos, β€œThe oscillation of a forced equation implies the oscillation of the unforced equation-small forcing,” Journal of Mathematical Analysis and Applications, vol. 76, no. 1, pp. 98–106, 1980. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  3. R. P. Agarwal and S. R. Grace, β€œForced oscillation of nth order nonlinear differential equations,” Applied Mathematics Letters, vol. 13, no. 7, pp. 53–57, 2000. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  4. C. H. Ou and J. S. W. Wong, β€œForced oscillation of nth-order functional differential equations,” Journal of Mathematical Analysis and Applications, vol. 262, no. 2, pp. 722–732, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  5. Y. G. Sun and J. S. W. Wong, β€œNote on forced oscillation of nth-order sublinear differential equations,” Journal of Mathematical Analysis and Applications, vol. 298, no. 1, pp. 114–119, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  6. Y. G. Sun and S. H. Saker, β€œForced oscillation of higher-order nonlinear differential equations,” Applied Mathematics and Computation, vol. 173, no. 2, pp. 1219–1226, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  7. Y. G. Sun and A. B. Mingarelli, β€œOscillation of higher-order forced nonlinear differential equations,” Applied Mathematics and Computation, vol. 190, no. 1, pp. 905–911, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  8. X. Yang, β€œForced oscillation of n-th nonlinear differential equations,” Applied Mathematics and Computation, vol. 134, no. 2-3, pp. 301–305, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  9. R. P. Agarwal, S. R. Grace, and D. O'Regan, Oscillation Theory For Second Order Dynamic Equations, vol. 5 of Series in Mathematical Analysis and Applications, Taylor & Francis, London, UK, 2003. View at Publisher Β· View at Google Scholar
  10. R. P. Agarwal, D. R. Anderson, and A. Zafer, β€œInterval oscillation criteria for second-order forced delay dynamic equations with mixed nonlinearities,” Computers & Mathematics with Applications, vol. 59, no. 2, pp. 977–993, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  11. D. R. Anderson and A. Zafer, β€œInterval criteria for second-order super-half-linear functional dynamic equations with delay and advance arguments,” Journal of Difference Equations and Applications, vol. 16, no. 8, pp. 917–930, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  12. L. Erbe, T. S. Hassan, and A. Peterson, β€œOscillation of second order neutral delay differential equations,” Advances in Dynamical Systems and Applications, vol. 3, no. 1, pp. 53–71, 2008. View at Google Scholar
  13. Y. G. Sun, β€œA note on Nasr's and Wong's papers,” Journal of Mathematical Analysis and Applications, vol. 286, no. 1, pp. 363–367, 2003. View at Publisher Β· View at Google Scholar
  14. A. Zafer, β€œInterval oscillation criteria for second order super-half linear functional differential equations with delay and advanced arguments,” Mathematische Nachrichten, vol. 282, no. 9, pp. 1334–1341, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  15. A. Erdelyi, Asymptotic Expansions, Dover, New York, NY, USA, 1956.