About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
VolumeΒ 2011Β (2011), Article IDΒ 458275, 11 pages
doi:10.1155/2011/458275
Research Article

Oscillation of Second-Order Sublinear Impulsive Differential Equations

Department of Mathematics, Middle East Technical University, 06800 Ankara, Turkey

Received 25 January 2011; Accepted 27 February 2011

Academic Editor: JosefΒ Diblík

Copyright Β© 2011 A. Zafer. 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

Oscillation criteria obtained by Kusano and Onose (1973) and by Belohorec (1969) are extended to second-order sublinear impulsive differential equations of Emden-Fowler type: π‘₯ β€² β€² ( 𝑑 ) + 𝑝 ( 𝑑 ) | π‘₯ ( 𝜏 ( 𝑑 ) ) | 𝛼 βˆ’ 1 π‘₯ ( 𝜏 ( 𝑑 ) ) = 0 , 𝑑 β‰  πœƒ π‘˜ ; Ξ” π‘₯ β€² ( 𝑑 ) | 𝑑 = πœƒ π‘˜ + π‘ž π‘˜ | π‘₯ ( 𝜏 ( πœƒ π‘˜ ) ) | 𝛼 βˆ’ 1 π‘₯ ( 𝜏 ( πœƒ π‘˜ ) ) = 0 ; Ξ” π‘₯ ( 𝑑 ) | 𝑑 = πœƒ π‘˜ = 0 , ( 0 < 𝛼 < 1 ) by considering the cases 𝜏 ( 𝑑 ) ≀ 𝑑 and 𝜏 ( 𝑑 ) = 𝑑 , respectively. Examples are inserted to show how impulsive perturbations greatly affect the oscillation behavior of the solutions.

1. Introduction

We deal with second-order sublinear impulsive differential equations of the form π‘₯ ξ…ž ξ…ž | | | | ( 𝑑 ) + 𝑝 ( 𝑑 ) π‘₯ ( 𝜏 ( 𝑑 ) ) 𝛼 βˆ’ 1 π‘₯ ( 𝜏 ( 𝑑 ) ) = 0 , 𝑑 β‰  πœƒ π‘˜ , Ξ” π‘₯ ξ…ž | | ( 𝑑 ) 𝑑 = πœƒ π‘˜ + π‘ž π‘˜ | | π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ | | ξ€Έ ξ€Έ 𝛼 βˆ’ 1 π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ | | ξ€Έ ξ€Έ = 0 , Ξ” π‘₯ ( 𝑑 ) 𝑑 = πœƒ π‘˜ = 0 , ( 1 . 1 ) where 0 < 𝛼 < 1 , 𝑑 β‰₯ 𝑑 0 , and π‘˜ β‰₯ π‘˜ 0 for some 𝑑 0 ∈ ℝ + and π‘˜ 0 ∈ β„• , { πœƒ π‘˜ } is a strictly increasing unbounded sequence of positive real numbers, | | Ξ” 𝑧 ( 𝑑 ) 𝑑 = πœƒ ξ€· πœƒ ∢ = 𝑧 + ξ€Έ βˆ’ 𝑧 ( πœƒ βˆ’ ξ€· πœƒ ) , 𝑧 βˆ“ ξ€Έ ∢ = l i m 𝑑 β†’ πœƒ βˆ“ 𝑧 ( 𝑑 ) . ( 1 . 2 )

Let P L C ( 𝐽 , 𝑅 ) denote the set of all real-valued functions 𝑒 defined on 𝐽 such that 𝑒 is continuous for all 𝑑 ∈ 𝐽 except possibly at 𝑑 = πœƒ π‘˜ where 𝑒 ( πœƒ Β± π‘˜ ) exists and 𝑒 ( πœƒ π‘˜ ) ∢ = 𝑒 ( πœƒ βˆ’ π‘˜ ) .

We assume in the sequel that (a) 𝑝 ∈ P L C ( [ 𝑑 0 , ∞ ) , ℝ ) , (b) { π‘ž π‘˜ } is a sequence of real numbers, (c) 𝜏 ∈ 𝐢 ( [ 𝑑 0 , ∞ ) , ℝ + ) , 𝜏 ( 𝑑 ) ≀ 𝑑 , l i m 𝑑 β†’ ∞ 𝜏 ( 𝑑 ) = ∞ .

By a solution of (1.1) on an interval 𝐽 βŠ‚ [ 𝑑 0 , ∞ ) , we mean a function π‘₯ ( 𝑑 ) which is defined on 𝐽 such that π‘₯ , π‘₯ ξ…ž , π‘₯ ξ…ž ξ…ž ∈ P L C ( 𝐽 ) and which satisfies (1.1). Because of the requirement Ξ” π‘₯ ( 𝑑 ) | 𝑑 = πœƒ π‘˜ = 0 every solution of (1.1) is necessarily continuous.

As usual we assume that (1.1) has solutions which are nontrivial for all large 𝑑 . Such a solution of (1.1) is called oscillatory if it has no last zero and nonoscillatory otherwise.

In case there is no impulse, (1.1) reduces to Emden-Fowler equation with delay π‘₯ ξ…ž ξ…ž | | | | ( 𝑑 ) + 𝑝 ( 𝑑 ) π‘₯ ( 𝜏 ( 𝑑 ) ) 𝛼 βˆ’ 1 π‘₯ ( 𝜏 ( 𝑑 ) ) = 0 , 0 < 𝛼 < 1 , ( 1 . 3 ) and without delay π‘₯ ξ…ž ξ…ž + 𝑝 ( 𝑑 ) | π‘₯ | 𝛼 βˆ’ 1 π‘₯ = 0 , 0 < 𝛼 < 1 . ( 1 . 4 )

The problem of oscillation of solutions of (1.3) and (1.4) has been considered by many authors. Kusano and Onose [1] see also [2, 3] proved the following necessary and sufficient condition for oscillation of (1.3).

Theorem 1.1. If 𝑝 ( 𝑑 ) β‰₯ 0 , then a necessary and sufficient condition for every solution of (1.3) to be oscillatory is that ξ€œ ∞ [ ] 𝜏 ( 𝑑 ) 𝛼 𝑝 ( 𝑑 ) 𝑑 𝑑 = ∞ . ( 1 . 5 )

The condition 𝑝 ( 𝑑 ) β‰₯ 0 is required only for the sufficiency part, and no similar criteria is available for 𝑝 ( 𝑑 ) changing sign, except in the case 𝜏 ( 𝑑 ) = 𝑑 . Without imposing a sign condition on 𝑝 ( 𝑑 ) , Belohorec [4] obtained the following sufficient condition for oscillation of (1.4).

Theorem 1.2. If ξ€œ ∞ 𝑑 𝛽 𝑝 ( 𝑑 ) 𝑑 𝑑 = ∞ ( 1 . 6 ) for some 𝛽 ∈ [ 0 , 𝛼 ] , then every solution of (1.4) is oscillatory.

Compared to the large body of papers on oscillation of differential equations, there is only little known about the oscillation of impulsive differential equations; see [57] for equations with delay and [813] for equations without delay. For some applications of such equations, we may refer to [1418]. The books [19, 20] are good sources for a general theory of impulsive differential equations.

The object of this paper is to extend Theorems 1.1 and 1.2 to impulsive differential equations of the form (1.1). The results show that the impulsive perturbations may greatly change the oscillatory behavior of the solutions. A nonoscillatory solution of (1.3) or (1.4) may become oscillatory under impulsive perturbations.

The following two lemmas are crucial in the proof of our main theorems. The first lemma is contained in [21] and the second one is extracted from [22].

Lemma 1.3. If each 𝐴 𝑖 is continuous on [ π‘Ž , 𝑏 ] , then ξ€œ 𝑏 π‘Ž  𝑠 ≀ πœƒ 𝑖 < 𝑏 𝐴 𝑖  ( 𝑠 ) 𝑑 𝑠 = π‘Ž ≀ πœƒ 𝑖 < 𝑏 ξ€œ πœƒ 𝑖 π‘Ž 𝐴 𝑖 ( 𝑠 ) 𝑑 𝑠 . ( 1 . 7 )

Lemma 1.4. F i x 𝐽 = [ π‘Ž , 𝑏 ] , let 𝑒 , πœ† ∈ 𝐢 ( 𝐽 , ℝ + ) , β„Ž ∈ 𝐢 ( ℝ + , ℝ + ) , and 𝑐 ∈ ℝ + , and let { πœ† π‘˜ } a sequence of positive real numbers. If 𝑒 ( 𝐽 ) βŠ‚ 𝐼 βŠ‚ ℝ + and ξ€œ 𝑒 ( 𝑑 ) ≀ 𝑐 + 𝑑 π‘Ž  πœ† ( 𝑠 ) β„Ž ( 𝑒 ( 𝑠 ) ) 𝑑 𝑠 + π‘Ž < πœƒ π‘˜ < 𝑑 πœ† π‘˜ β„Ž ξ€· 𝑒 ξ€· πœƒ π‘˜ ξ€Έ ξ€Έ , 𝑑 ∈ 𝐽 , ( 1 . 8 ) then 𝑒 ( 𝑑 ) ≀ 𝐺 βˆ’ 1 ⎧ βŽͺ ⎨ βŽͺ ⎩ ξ€œ 𝐺 ( 𝑐 ) + 𝑑 π‘Ž  πœ† ( 𝑠 ) 𝑑 𝑠 + π‘Ž < πœƒ π‘˜ < 𝑑 πœ† π‘˜ ⎫ βŽͺ ⎬ βŽͺ ⎭ [ , 𝑑 ∈ π‘Ž , 𝛽 ) , ( 1 . 9 ) where ξ€œ 𝐺 ( 𝑒 ) = 𝑒 𝑒 0 𝑑 π‘₯ β„Ž ( π‘₯ ) , 𝑒 , 𝑒 0 ⎧ βŽͺ ⎨ βŽͺ ⎩ ξ€œ ∈ 𝐼 , 𝛽 = s u p 𝜈 ∈ 𝐽 ∢ 𝐺 ( 𝑐 ) + 𝑑 π‘Ž  πœ† ( 𝑠 ) 𝑑 𝑠 + π‘Ž < πœƒ π‘˜ < 𝑑 πœ† π‘˜ ⎫ βŽͺ ⎬ βŽͺ ⎭ . ∈ 𝐺 ( 𝐼 ) , π‘Ž ≀ 𝑑 ≀ 𝜈 ( 1 . 1 0 )

2. The Main Results

We first establish a necessary and sufficient condition for oscillation of solutions of (1.1) when 𝜏 ( 𝑑 ) ≀ 𝑑 .

Theorem 2.1. If ξ€œ ∞ [ ] 𝜏 ( 𝑑 ) 𝛼 | | | | 𝑝 ( 𝑑 ) 𝑑 𝑑 + ∞  ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 | | π‘ž π‘˜ | | < ∞ , ( 2 . 1 ) then (1.1) has a solution π‘₯ ( 𝑑 ) satisfying l i m 𝑑 β†’ ∞ π‘₯ ( 𝑑 ) 𝑑 = π‘Ž β‰  0 . ( 2 . 2 )

Proof. Choose 𝑑 1 β‰₯ m a x { 1 , 𝑑 0 } . In view of Lemma 1.3 by integrating (1.1) twice from 𝑑 0 to 𝑑 , we obtain ξ€· 𝑑 π‘₯ ( 𝑑 ) = π‘₯ 1 ξ€Έ βˆ’ π‘₯ ξ…ž ξ€· 𝑑 1 ξ€Έ ξ€· 𝑑 βˆ’ 𝑑 1 ξ€Έ βˆ’  𝑑 1 ≀ πœƒ π‘˜ < 𝑑 π‘ž π‘˜ | | π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ | | ξ€Έ ξ€Έ 𝛼 βˆ’ 1 π‘₯ 𝜏 ξ€· πœƒ ξ€· ξ€· π‘˜ ξ€Έ ξ€Έ ξ€Έ ξ€· 𝑑 βˆ’ πœƒ π‘˜ ξ€Έ βˆ’ ξ€œ 𝑑 𝑑 1 | | | | ( 𝑑 βˆ’ 𝑠 ) 𝑝 ( 𝑠 ) π‘₯ ( 𝜏 ( 𝑠 ) ) 𝛼 βˆ’ 1 π‘₯ ( ( 𝜏 ( 𝑠 ) ) ) 𝑑 𝑠 , 𝑑 β‰₯ 𝑑 1 . ( 2 . 3 ) Set  𝑒 ( 𝑑 ) = 𝑐 + 𝑑 1 ≀ πœƒ π‘˜ < 𝑑 | | π‘ž π‘˜ | | | | π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ | | ξ€Έ ξ€Έ 𝛼 + ξ€œ 𝑑 𝑑 1 | | | | | | | | 𝑝 ( 𝑠 ) π‘₯ ( 𝜏 ( 𝑠 ) ) 𝛼 𝑑 𝑠 , 𝑑 β‰₯ 𝑑 1 , ( 2 . 4 ) where 𝑐 = | π‘₯ ( 𝑑 1 ) | + | π‘₯ ξ…ž ( 𝑑 1 ) | . Then | | | | π‘₯ ( 𝑑 ) ≀ 𝑑 𝑒 ( 𝑑 ) , 𝑑 β‰₯ 𝑑 1 . ( 2 . 5 ) Let 𝑑 2 β‰₯ 𝑑 1 be such that 𝜏 ( 𝑑 ) β‰₯ 𝑑 1 for all 𝑑 β‰₯ 𝑑 2 . Replacing 𝑑 by 𝜏 ( 𝑑 ) in (2.5) and using the increasing character of 𝑒 ( 𝑑 ) , we see that | | | | π‘₯ ( 𝜏 ( 𝑑 ) ) ≀ 𝜏 ( 𝑑 ) 𝑒 ( 𝑑 ) , 𝑑 β‰₯ 𝑑 2 . ( 2 . 6 ) From (2.4), we also see that 𝑒 ξ…ž | | | | | | | | ( 𝑑 ) = 𝑝 ( 𝑑 ) π‘₯ ( 𝜏 ( 𝑑 ) ) 𝛼 , 𝑑 β‰  πœƒ π‘˜ , | | ( 2 . 7 ) Ξ” 𝑒 ( 𝑑 ) 𝑑 = πœƒ π‘˜ = | | π‘ž π‘˜ | | | | π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ | | ξ€Έ ξ€Έ 𝛼 ( 2 . 8 ) for 𝑑 β‰₯ 𝑑 2 and πœƒ π‘˜ β‰₯ 𝑑 2 . Now, in view of (2.6) and (2.8), an integration of (2.7) from 𝑑 2 to 𝑑 leads to ξ€œ 𝑒 ( 𝑑 ) ≀ 𝑐 + 𝑑 𝑑 2 | | | | [ ] 𝑝 ( 𝑠 ) 𝜏 ( 𝑠 ) 𝛼 [ ] 𝑒 ( 𝑠 ) 𝛼  𝑑 𝑠 + 𝑑 2 ≀ πœƒ π‘˜ < 𝑑 | | π‘ž π‘˜ | | ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 ξ€Ί 𝑒 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 . ( 2 . 9 ) Applying Lemma 1.4 with β„Ž ( π‘₯ ) = π‘₯ 𝛼 | | | | [ ] , πœ† ( 𝑠 ) = 𝑝 ( 𝑠 ) 𝜏 ( 𝑠 ) 𝛼 , πœ† π‘˜ = | | π‘ž π‘˜ | | ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 , ( 2 . 1 0 ) we easily see that 𝑒 ( 𝑑 ) ≀ 𝐺 βˆ’ 1 ⎧ βŽͺ ⎨ βŽͺ ⎩ ξ€œ 𝐺 ( 𝑐 ) + 𝑑 𝑑 2 | | | | [ ] 𝑝 ( 𝑠 ) 𝜏 ( 𝑠 ) 𝛼  𝑑 𝑠 + 𝑑 2 ≀ πœƒ π‘˜ < 𝑑 | | π‘ž π‘˜ | | ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 ⎫ βŽͺ ⎬ βŽͺ ⎭ . ( 2 . 1 1 ) Since 𝑒 𝐺 ( 𝑒 ) = 1 βˆ’ 𝛼 βˆ’ 𝑒 1 βˆ’ 𝛼 0 1 βˆ’ 𝛼 1 βˆ’ 𝛼 , 𝐺 βˆ’ 1 ξ€Ί ( 𝑒 ) = ( 1 βˆ’ 𝛼 ) 𝑒 + 𝑒 0 1 βˆ’ 𝛼 ξ€» 1 / ( 1 βˆ’ 𝛼 ) , ( 2 . 1 2 ) the inequality (2.11) becomes ⎑ ⎒ ⎒ ⎣ 𝑐 𝑒 ( 𝑑 ) ≀ 1 βˆ’ 𝛼 ξ€œ + ( 1 βˆ’ 𝛼 ) 𝑑 𝑑 1 | | | | [ ] 𝑝 ( 𝑠 ) 𝜏 ( 𝑠 ) 𝛼  𝑑 𝑠 + ( 1 βˆ’ 𝛼 ) 𝑑 1 ≀ πœƒ π‘˜ < 𝑑 | | π‘ž π‘˜ | | ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 ⎀ βŽ₯ βŽ₯ ⎦ 1 / ( 1 βˆ’ 𝛼 ) , ( 2 . 1 3 ) from which, on using (2.1), we have 𝑒 ( 𝑑 ) ≀ 𝑐 1 , 𝑑 β‰₯ 𝑑 2 , ( 2 . 1 4 ) where 𝑐 1 = ⎑ ⎒ ⎒ ⎣ 𝑐 1 βˆ’ 𝛼 ξ€œ + ( 1 βˆ’ 𝛼 ) ∞ 𝑑 1 | | | | [ ] 𝑝 ( 𝑠 ) 𝜏 ( 𝑠 ) 𝛼  𝑑 𝑠 + ( 1 βˆ’ 𝛼 ) 𝑑 1 ≀ πœƒ π‘˜ < ∞ | | π‘ž π‘˜ | | ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 ⎀ βŽ₯ βŽ₯ ⎦ 1 / ( 1 βˆ’ 𝛼 ) . ( 2 . 1 5 ) In view of (2.5), (2.6), and (2.14) we see that | | | | π‘₯ ( 𝑑 ) ≀ 𝑐 1 | | | | 𝑑 , π‘₯ ( 𝜏 ( 𝑑 ) ) ≀ 𝑐 1 𝜏 ( 𝑑 ) , 𝑑 β‰₯ 𝑑 2 . ( 2 . 1 6 )
To complete the proof it suffices to show that π‘₯ ξ…ž ( 𝑑 ) approaches a nonzero limit as 𝑑 tends to ∞ . To see this we integrate (1.1) from 𝑑 2 to 𝑑 to get π‘₯ ξ…ž ( 𝑑 ) = π‘₯ ξ…ž ξ€· 𝑑 1 ξ€Έ βˆ’ ξ€œ 𝑑 𝑑 2 | | | | 𝑝 ( 𝑠 ) π‘₯ ( 𝜏 ( 𝑠 ) ) 𝛼 βˆ’ 1  π‘₯ ( 𝜏 ( 𝑠 ) ) 𝑑 𝑠 βˆ’ 𝑑 2 ≀ πœƒ π‘˜ < 𝑑 π‘ž π‘˜ | | π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ | | ξ€Έ ξ€Έ 𝛼 βˆ’ 1 π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ . ξ€Έ ξ€Έ ( 2 . 1 7 ) Employing (2.16) we have ξ€œ ∞ 𝑑 2 | | | | 𝑝 ( 𝑠 ) π‘₯ ( 𝜏 ( 𝑠 ) ) 𝛼 𝑑 𝑠 ≀ 𝑐 𝛼 1 ξ€œ ∞ 𝑑 2 | | | | [ ] 𝑝 ( 𝑠 ) 𝜏 ( 𝑠 ) 𝛼  𝑑 𝑠 < ∞ , 𝑑 2 ≀ πœƒ π‘˜ < ∞ | | π‘ž π‘˜ π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ | | ξ€Έ ξ€Έ 𝛼 ≀ 𝑐 𝛼 1  𝑑 2 ≀ πœƒ π‘˜ < ∞ | | π‘ž π‘˜ | | ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 < ∞ . ( 2 . 1 8 ) Therefore, l i m 𝑑 β†’ ∞ π‘₯ ξ…ž ( 𝑑 ) = 𝐿 exists. Clearly, we can make 𝐿 β‰  0 by requiring that π‘₯ ξ…ž ξ€· 𝑑 2 ξ€Έ > 𝑐 𝛼 1 ⎑ ⎒ ⎒ ⎣ ξ€œ ∞ 𝑑 2 | | | | [ ] 𝑝 ( 𝑠 ) 𝜏 ( 𝑠 ) 𝛼  𝑑 𝑠 + 𝑑 2 ≀ πœƒ π‘˜ < ∞ | | π‘ž π‘˜ | | ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 ⎀ βŽ₯ βŽ₯ ⎦ , ( 2 . 1 9 ) which is always possible by arranging 𝑑 2 .

Theorem 2.2. Suppose that 𝑝 and { π‘ž π‘˜ } are nonnegative. Then every solution of (1.1) is oscillatory if and only if ξ€œ ∞ [ ] 𝜏 ( 𝑑 ) 𝛼 𝑝 ( 𝑑 ) 𝑑 𝑑 + ∞  ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 π‘ž π‘˜ = ∞ . ( 2 . 2 0 )

Proof. Let (2.20) fail to hold. Then, by Theorem 2.1 we see that there is a solution π‘₯ ( 𝑑 ) which satisfies (2.2). Clearly, such a solution is nonoscillatory. This proves the necessity.
To show the sufficiency, suppose that (2.20) is valid but there is a nonoscillatory solution π‘₯ ( 𝑑 ) of (1.1). We may assume that π‘₯ ( 𝑑 ) is eventually positive; the case π‘₯ ( 𝑑 ) being eventually negative is similar. Clearly, there exists 𝑑 1 β‰₯ 𝑑 0 such that π‘₯ ( 𝜏 ( 𝑑 ) ) > 0 for all 𝑑 β‰₯ 𝑑 1 . From (1.1), we have that π‘₯ ξ…ž ξ…ž ( 𝑑 ) ≀ 0 f o r 𝑑 β‰₯ 𝑑 1 , 𝑑 β‰  πœƒ π‘˜ . ( 2 . 2 1 ) Thus, π‘₯ ξ…ž ( 𝑑 ) is decreasing on every interval not containing 𝑑 = πœƒ π‘˜ . From the impulse conditions in (1.1), we also have Ξ” π‘₯ ξ…ž ( πœƒ π‘˜ ) ≀ 0 . Therefore, we deduce that π‘₯ ξ…ž ( 𝑑 ) is nondecreasing on [ 𝑑 1 , ∞ ) .
We may claim that π‘₯ ξ…ž ( 𝑑 ) is eventually positive. Because if π‘₯ ξ…ž ( 𝑑 ) < 0 eventually, then π‘₯ ( 𝑑 ) becomes negative for large values of 𝑑 . This is a contradiction.
It is now easy to show that π‘₯ ξ€· ( 𝑑 ) β‰₯ 𝑑 βˆ’ 𝑑 1 ξ€Έ π‘₯ ξ…ž ( 𝑑 ) , 𝑑 β‰₯ 𝑑 1 . ( 2 . 2 2 ) Therefore, 𝑑 π‘₯ ( 𝑑 ) β‰₯ 2 π‘₯ ξ…ž ( 𝑑 ) , 𝑑 β‰₯ 𝑑 2 = 2 𝑑 1 . ( 2 . 2 3 ) Let 𝑑 3 β‰₯ 𝑑 2 be such that 𝜏 ( 𝑑 ) β‰₯ 𝑑 2 for 𝑑 β‰₯ 𝑑 3 . Using (2.23) and the nonincreasing character of π‘₯ ξ…ž ( 𝑑 ) , we have π‘₯ ( 𝜏 ( 𝑑 ) ) β‰₯ 𝜏 ( 𝑑 ) 2 π‘₯ ξ…ž ( 𝑑 ) , 𝑑 β‰₯ 𝑑 3 , ( 2 . 2 4 ) and so, by (1.1), π‘₯ ξ…ž ξ…ž ( 𝑑 ) + 2 βˆ’ 𝛼 [ ] 𝑝 ( 𝑑 ) 𝜏 ( 𝑑 ) 𝛼 ξ€Ί π‘₯ ξ…ž ξ€» ( 𝑑 ) 𝛼 ≀ 0 , 𝑑 β‰  πœƒ π‘˜ . ( 2 . 2 5 ) Dividing (2.25) by [ π‘₯ ξ…ž ( 𝑑 ) ] 𝛼 and integrating from 𝑑 3 to 𝑑 , we obtain  𝑑 3 ≀ πœƒ π‘˜ < 𝑑  ξ€Ί π‘₯ ξ…ž ξ€· πœƒ π‘˜ ξ€Έ ξ€» 1 βˆ’ 𝛼 βˆ’ ξ€Ί π‘₯ ξ…ž ξ€· πœƒ π‘˜ ξ€Έ βˆ’ π‘ž π‘˜ ξ€Ί π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€Έ ξ€» 𝛼 ξ€» 1 βˆ’ 𝛼  + ξ€Ί π‘₯ ξ…ž ξ€» ( 𝑑 ) 1 βˆ’ 𝛼 βˆ’ ξ€Ί π‘₯ ξ…ž ξ€· 𝑑 3 ξ€Έ ξ€» 1 βˆ’ 𝛼 + ( 1 βˆ’ 𝛼 ) 2 βˆ’ 𝛼 ξ€œ 𝑑 𝑑 3 [ ] 𝜏 ( 𝑑 ) 𝛼 𝑝 ( 𝑠 ) 𝑑 𝑠 ≀ 0 ( 2 . 2 6 ) which clearly implies that  𝑑 3 ≀ πœƒ π‘˜ < 𝑑 π‘Ž π‘˜ + ( 1 βˆ’ 𝛼 ) 2 βˆ’ 𝛼 ξ€œ 𝑑 𝑑 3 [ ] 𝜏 ( 𝑑 ) 𝛼 ξ€Ί π‘₯ 𝑝 ( 𝑠 ) 𝑑 𝑠 ≀ ξ…ž ξ€· 𝑑 3 ξ€Έ ξ€» 1 βˆ’ 𝛼 , ( 2 . 2 7 ) where π‘Ž π‘˜ = ξ€Ί π‘₯ ξ…ž ξ€· πœƒ π‘˜ ξ€Έ ξ€» 1 βˆ’ 𝛼   π‘ž 1 βˆ’ 1 βˆ’ π‘˜ ξ€Ί π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€Έ ξ€» 𝛼 π‘₯ ξ…ž ξ€· πœƒ π‘˜ ξ€Έ ξƒͺ ξƒ­ 1 βˆ’ 𝛼 . ( 2 . 2 8 ) Since 1 βˆ’ ( 1 βˆ’ 𝑒 ) 1 βˆ’ 𝛼 β‰₯ ( 1 βˆ’ 𝛼 ) 𝑒 for 𝑒 ∈ ( 0 , ∞ ) and 0 < 𝛼 < 1 , by taking π‘ž 𝑒 = π‘˜ ξ€Ί π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€Έ ξ€» 𝛼 π‘₯ ξ…ž ξ€· πœƒ π‘˜ ξ€Έ , ( 2 . 2 9 ) we see from (2.28) that π‘Ž π‘˜ π‘ž β‰₯ ( 1 βˆ’ 𝛼 ) π‘˜ ξ€Ί π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€Έ ξ€» 𝛼 ξ€Ί π‘₯ ξ…ž ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 . ( 2 . 3 0 ) But, (2.24) gives π‘₯ ξ€· 𝜏 ξ€· πœƒ π‘˜ β‰₯ 𝜏 ξ€· πœƒ ξ€Έ ξ€Έ π‘˜ ξ€Έ 2 π‘₯ ξ…ž ξ€· 𝜏 ξ€· πœƒ π‘˜ β‰₯ 𝜏 ξ€· πœƒ ξ€Έ ξ€Έ π‘˜ ξ€Έ 2 π‘₯ ξ…ž ξ€· πœƒ π‘˜ ξ€Έ , ( 2 . 3 1 ) and hence π‘Ž π‘˜ β‰₯ ( 1 βˆ’ 𝛼 ) 2 βˆ’ 𝛼 ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 π‘ž π‘˜ . ( 2 . 3 2 )
Finally, (2.27) and (2.32) result in ξ€œ ∞ 𝑑 3 [ ] 𝜏 ( 𝑑 ) 𝛼  𝑝 ( 𝑑 ) 𝑑 𝑑 + 𝑑 3 < πœƒ π‘˜ < ∞ ξ€Ί 𝜏 ξ€· πœƒ π‘˜ ξ€Έ ξ€» 𝛼 π‘ž π‘˜ < ∞ , ( 2 . 3 3 ) which contradicts (2.20). The proof is complete.

Example 2.3. Consider the impulsive delay differential equation π‘₯ ξ…ž ξ…ž ( 𝑑 ) + ( 𝑑 βˆ’ 1 ) βˆ’ 2 | | | | π‘₯ ( 𝑑 βˆ’ 1 ) βˆ’ 1 / 2 π‘₯ ( 𝑑 βˆ’ 1 ) = 0 , 𝑑 β‰  π‘˜ , Ξ” π‘₯ ξ…ž | | ( 𝑑 ) 𝑑 = π‘˜ + ( π‘˜ βˆ’ 1 ) βˆ’ 1 | | | | π‘₯ ( π‘˜ βˆ’ 1 ) βˆ’ 1 / 2 | | π‘₯ ( π‘˜ βˆ’ 1 ) = 0 , Ξ” π‘₯ ( 𝑑 ) 𝑑 = π‘˜ = 0 , ( 2 . 3 4 ) where 𝑑 β‰₯ 2 and 𝑖 β‰₯ 2 .
We see that 𝜏 ( 𝑑 ) = 𝑑 βˆ’ 1 , 𝛼 = 1 / 2 , 𝑝 ( 𝑑 ) = ( 𝑑 βˆ’ 1 ) βˆ’ 2 , and π‘ž π‘˜ = ( π‘˜ βˆ’ 1 ) βˆ’ 1 , πœƒ π‘˜ = π‘˜ . Since ξ€œ ∞ ( 𝑑 βˆ’ 1 ) βˆ’ 3 / 2 𝑑 𝑑 + ∞  ( π‘˜ βˆ’ 1 ) βˆ’ 1 / 2 = ∞ , ( 2 . 3 5 ) applying Theorem 2.2 we conclude that every solution of (2.34) is oscillatory.
We note that if the equation is not subject to any impulse condition, then, since ξ€œ ∞ ( 𝑑 βˆ’ 1 ) βˆ’ 5 / 2 𝑑 𝑑 < ∞ , ( 2 . 3 6 ) the equation π‘₯ ξ…ž ξ…ž ( 𝑑 ) + ( 𝑑 βˆ’ 1 ) βˆ’ 2 | | | | π‘₯ ( 𝑑 βˆ’ 1 ) βˆ’ 1 / 2 π‘₯ ( 𝑑 βˆ’ 1 ) = 0 ( 2 . 3 7 ) has a nonoscillatory solution by Theorem 1.1.

Let us now consider (1.1) when 𝜏 ( 𝑑 ) = 𝑑 . That is, π‘₯ ξ…ž ξ…ž + 𝑝 ( 𝑑 ) | π‘₯ | 𝛼 βˆ’ 1 π‘₯ = 0 , 𝑑 β‰  πœƒ π‘˜ , Ξ” π‘₯ ξ…ž | | 𝑑 = πœƒ π‘˜ + π‘ž π‘˜ | π‘₯ | 𝛼 βˆ’ 1 | | π‘₯ = 0 , Ξ” π‘₯ 𝑑 = πœƒ π‘˜ = 0 , ( 2 . 3 8 ) where 0 < 𝛼 < 1 and 𝑝 π‘ž π‘˜ are given by (a) and (b).

The following theorem is an extension of Theorem 1.2. Note that no sign condition is imposed on 𝑝 ( 𝑑 ) and { π‘ž π‘˜ } .

Theorem 2.4. If ξ€œ ∞ 𝑑 𝛽 𝑝 ( 𝑑 ) 𝑑 𝑑 + ∞  πœƒ 𝛽 π‘˜ π‘ž π‘˜ = ∞ ( 2 . 3 9 ) for some 𝛽 ∈ [ 0 , 𝛼 ] , then every solution of (2.38) is oscillatory.

Proof. Assume on the contrary that (2.38) has a nonoscillatory solution π‘₯ ( 𝑑 ) such that π‘₯ ( 𝑑 ) > 0 for all 𝑑 β‰₯ 𝑑 0 for some 𝑑 0 β‰₯ 0 . The proof is similar when π‘₯ ( 𝑑 ) is eventually negative. We set ξ€· 𝑑 𝑀 ( 𝑑 ) = βˆ’ 1 ξ€Έ π‘₯ ( 𝑑 ) 1 βˆ’ 𝛼 , 𝑑 β‰₯ 𝑑 0 . ( 2 . 4 0 ) It is not difficult to see that 𝑀 ξ…ž ( 𝑑 ) = ( 𝛼 βˆ’ 1 ) 𝑑 𝛼 βˆ’ 2 [ ] π‘₯ ( 𝑑 ) 1 βˆ’ 𝛼 + ( 1 βˆ’ 𝛼 ) 𝑑 𝛼 βˆ’ 1 [ ] π‘₯ ( 𝑑 ) βˆ’ 𝛼 π‘₯ ξ…ž ( 𝑑 ) , 𝑑 β‰  πœƒ π‘˜ , ( 2 . 4 1 ) and hence | | Ξ” 𝑀 β€² 𝑑 = πœƒ π‘˜ = ( 1 βˆ’ 𝛼 ) π‘ž π‘˜ πœƒ π‘˜ 𝛼 βˆ’ 1 . ( 2 . 4 2 ) From (2.41), we have 𝑑 𝛽 βˆ’ 1 βˆ’ 𝛼 ξ€· 𝑑 2 𝑀 ξ…ž ( ξ€Έ 𝑑 ) ξ…ž = ( 1 βˆ’ 𝛼 ) 𝑑 𝛽 π‘₯ ξ…ž ξ…ž ( 𝑑 ) π‘₯ βˆ’ 𝛼 ( 𝑑 ) βˆ’ 𝛼 ( 1 βˆ’ 𝛼 ) 𝑑 𝛽 βˆ’ 2 π‘₯ βˆ’ 𝛼 βˆ’ 1 ( ξ€Ί 𝑑 ) 𝑑 π‘₯ ξ…ž ( ξ€» 𝑑 ) βˆ’ π‘₯ ( 𝑑 ) 2 , ( 2 . 4 3 ) and so 𝑑 𝛽 βˆ’ 1 βˆ’ 𝛼 ξ€· 𝑑 2 𝑀 ξ…ž ( ξ€Έ 𝑑 ) ξ…ž ≀ ( 1 βˆ’ 𝛼 ) 𝑑 𝛽 𝑝 ( 𝑑 ) , 𝑑 β‰  πœƒ π‘˜ . ( 2 . 4 4 ) In view of (2.42), by a straightforward integration of (2.44), we have ξ€œ 𝑑 𝑑 0 𝑠 𝛽 βˆ’ 1 βˆ’ 𝛼 ξ€· 𝑠 2 𝑀 ξ…ž ( ξ€Έ 𝑠 ) ξ…ž 𝑑 𝑠 = 𝑠 𝛽 βˆ’ 1 βˆ’ 𝛼 𝑠 2 𝑀 ξ…ž | | ( 𝑠 ) 𝑑 𝑑 0 βˆ’  𝑑 0 ≀ πœƒ π‘˜ < 𝑑 Ξ” ξ€· 𝑑 𝛽 βˆ’ 𝛼 + 1 𝑀 ξ…ž ( ξ€Έ | | 𝑑 ) 𝑑 = πœƒ π‘˜ βˆ’ ξ€œ 𝑑 𝑑 0 ( 𝛽 βˆ’ 1 βˆ’ 𝛼 ) 𝑠 𝛽 βˆ’ 𝛼 𝑀 ξ…ž ( 𝑠 ) 𝑑 𝑠 = 𝑑 𝛽 βˆ’ 𝛼 + 1 𝑀 ξ…ž ( 𝑑 ) βˆ’ 𝑑 0 𝛽 βˆ’ 𝛼 + 1 𝑀 ξ…ž ξ€· 𝑑 0 ξ€Έ βˆ’  𝑑 0 ≀ πœƒ π‘˜ < 𝑑 ( 1 βˆ’ 𝛼 ) π‘ž π‘˜ πœƒ 𝛽 π‘˜ βˆ’ ξ€Ί 𝑠 ( 𝛽 βˆ’ 𝛼 βˆ’ 1 ) 𝛽 βˆ’ 𝛼 𝑀 ξ€» | | ( 𝑠 ) 𝑑 𝑑 0 ξ€œ + ( 𝛽 βˆ’ 𝛼 ) ( 𝛽 βˆ’ 𝛼 βˆ’ 1 ) 𝑑 𝑑 0 𝑠 𝛽 βˆ’ 1 βˆ’ 𝛼 𝑀 ( 𝑠 ) 𝑑 𝑠 , ( 2 . 4 5 ) which combined with (2.44) leads to 𝑑 𝛽 βˆ’ 𝛼 + 1 𝑀 β€² ( 𝑑 ) ≀ 𝑑 0 𝛽 βˆ’ 𝛼 + 1 ξ€· 𝑑 𝑀 β€² 0 ξ€Έ βˆ’ ( 𝛽 βˆ’ 𝛼 + 1 ) 𝑑 0 𝛽 βˆ’ 𝛼 𝑀 ξ€· 𝑑 0 ξ€Έ ⎑ ⎒ ⎒ ⎣  + ( 1 βˆ’ 𝛼 ) 𝑑 0 ≀ πœƒ π‘˜ < 𝑑 πœƒ 𝛽 π‘˜ π‘ž π‘˜ + ξ€œ 𝑑 𝑑 0 𝑠 𝛽 ⎀ βŽ₯ βŽ₯ ⎦ . 𝑝 ( 𝑠 ) 𝑑 𝑠 ( 2 . 4 6 ) Finally, by using (2.39) in the last inequality, we see that there is a 𝑑 1 > 𝑑 0 such that 𝑀 β€² ( 𝑑 ) ≀ βˆ’ 𝑑 𝛼 βˆ’ 𝛽 βˆ’ 1 , 𝑑 β‰₯ 𝑑 1 , ( 2 . 4 7 ) which, however, implies that 𝑀 ( 𝑑 ) β†’ βˆ’ ∞ as 𝑑 β†’ ∞ , a contradiction with π‘₯ ( 𝑑 ) > 0 . The proof is complete.

Example 2.5. Consider the impulsive differential equation π‘₯ ξ…ž ξ…ž + 𝑑 βˆ’ 7 / 3 | π‘₯ | βˆ’ 1 / 2 π‘₯ = 0 , 𝑑 β‰  π‘˜ , Ξ” π‘₯ ξ…ž | | 𝑑 = π‘˜ + π‘˜ βˆ’ 1 / 6 | π‘₯ | βˆ’ 1 / 2 | | π‘₯ = 0 , Ξ” π‘₯ 𝑑 = π‘˜ = 0 , ( 2 . 4 8 ) where 𝑑 β‰₯ 1 and 𝑖 β‰₯ 1 .
We have that 𝑝 ( 𝑑 ) = 𝑑 7 / 3 , 𝛼 = 1 / 2 , and π‘ž π‘˜ = π‘˜ βˆ’ 1 / 6 , πœƒ π‘˜ = π‘˜ . Taking 𝛽 = 1 / 3 we see from (2.38) that ξ€œ ∞ 𝑑 βˆ’ 2 𝑑 𝑑 + ∞  π‘˜ βˆ’ 1 / 3 = ∞ . ( 2 . 4 9 ) Since the conditions of Theorem 2.4 are satisfied, every solution of (2.48) is oscillatory.
Note that if the impulses are absent, then, since ξ€œ ∞ 𝑑 βˆ’ 2 𝑑 𝑑 < ∞ , ( 2 . 5 0 ) the equation π‘₯ ξ…ž ξ…ž + 𝑑 βˆ’ 7 / 3 | π‘₯ | βˆ’ 1 / 2 π‘₯ = 0 ( 2 . 5 1 ) is oscillatory by Theorem 1.2.

Acknowledgment

This work was partially supported by METU-B AP (project no: 01-01-2011-003).

References

  1. T. Kusano and H. Onose, β€œNonlinear oscillation of a sublinear delay equation of arbitrary order,” Proceedings of the American Mathematical Society, vol. 40, pp. 219–224, 1973. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  2. H. E. Gollwitzer, β€œOn nonlinear oscillations for a second order delay equation,” Journal of Mathematical Analysis and Applications, vol. 26, pp. 385–389, 1969. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  3. V. N. Sevelo and O. N. Odaric, β€œCertain questions on the theory of the oscillation (non-oscillation) of the solutions of second order differential equations with retarded argument,” Ukrainskii Matematicheskii Zhurnal, vol. 23, pp. 508–516, 1971 (Russian).
  4. S. Belohorec, β€œTwo remarks on the properties of solutions of a nonlinear differential equation,” Acta Facultatis Rerum Naturalium Universitatis Comenianae/Mathematica, vol. 22, pp. 19–26, 1969.
  5. D. D. Bainov, Yu. I. Domshlak, and P. S. Simeonov, β€œSturmian comparison theory for impulsive differential inequalities and equations,” Archiv der Mathematik, vol. 67, no. 1, pp. 35–49, 1996. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  6. K. Gopalsamy and B. G. Zhang, β€œOn delay differential equations with impulses,” Journal of Mathematical Analysis and Applications, vol. 139, no. 1, pp. 110–122, 1989. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  7. J. Yan, β€œOscillation properties of a second-order impulsive delay differential equation,” Computers & Mathematics with Applications, vol. 47, no. 2-3, pp. 253–258, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  8. C. Yong-shao and F. Wei-zhen, β€œOscillations of second order nonlinear ODE with impulses,” Journal of Mathematical Analysis and Applications, vol. 210, no. 1, pp. 150–169, 1997. View at Publisher Β· View at Google Scholar Β· View at MathSciNet
  9. Z. He and W. Ge, β€œOscillations of second-order nonlinear impulsive ordinary differential equations,” Journal of Computational and Applied Mathematics, vol. 158, no. 2, pp. 397–406, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  10. C. Huang, β€œOscillation and nonoscillation for second order linear impulsive differential equations,” Journal of Mathematical Analysis and Applications, vol. 214, no. 2, pp. 378–394, 1997. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  11. J. Luo, β€œSecond-order quasilinear oscillation with impulses,” Computers & Mathematics with Applications, vol. 46, no. 2-3, pp. 279–291, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  12. A. Özbekler and A. Zafer, β€œSturmian comparison theory for linear and half-linear impulsive differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 63, no. 5–7, pp. e289–e297, 2005. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  13. A. Özbekler and A. Zafer, β€œPicone's formula for linear non-selfadjoint impulsive differential equations,” Journal of Mathematical Analysis and Applications, vol. 319, no. 2, pp. 410–423, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  14. G. Ballinger and X. Liu, β€œPermanence of population growth models with impulsive effects,” Mathematical and Computer Modelling, vol. 26, no. 12, pp. 59–72, 1997. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  15. Z. Lu, X. Chi, and L. Chen, β€œImpulsive control strategies in biological control of pesticide,” Theoretical Population Biology, vol. 64, no. 1, pp. 39–47, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  16. J. Sun, F. Qiao, and Q. Wu, β€œImpulsive control of a financial model,” Physics Letters A, vol. 335, no. 4, pp. 282–288, 2005. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH
  17. S. Tang and L. Chen, β€œGlobal attractivity in a “food-limited” population model with impulsive effects,” Journal of Mathematical Analysis and Applications, vol. 292, no. 1, pp. 211–221, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  18. S. Tang, Y. Xiao, and D. Clancy, β€œNew modelling approach concerning integrated disease control and cost-effectivity,” Nonlinear Analysis: Theory, Methods & Applications, vol. 63, no. 3, pp. 439–471, 2005. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  19. V. Lakshmikantham, D. D. Baĭnov, and P. S. Simeonov, Theory of Impulsive Differential Equations, vol. 6 of Series in Modern Applied Mathematics, World Scientific, Teaneck, NJ, USA, 1989.
  20. A. M. Samoĭlenko and N. A. Perestyuk, Impulsive Differential Equations, vol. 14 of World Scientific Series on Nonlinear Science. Series A: Monographs and Treatises, World Scientific, River Edge, NJ, USA, 1995. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  21. M. Akhmetov and R. Sejilova, β€œThe control of the boundary value problem for linear impulsive integro-differential systems,” Journal of Mathematical Analysis and Applications, vol. 236, no. 2, pp. 312–326, 1999. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  22. D. Bainov and V. Covachev, Impulsive Differential Equations with a Small Parameter, vol. 24 of Series on Advances in Mathematics for Applied Sciences, World Scientific, River Edge, NJ, USA, 1994.