Functional Differential and Difference Equations with Applications 2013View this Special Issue
Research Article | Open Access
Oscillation of Half-Linear Differential Equations with Delay
We study the half-linear delay differential equation , , We establish a new a priori bound for the nonoscillatory solution of this equation and utilize this bound to derive new oscillation criteria for this equation in terms of oscillation criteria for an ordinary half-linear differential equation. The presented results extend and improve previous results of other authors. An extension to neutral equations is also provided.
In this paper we study oscillatory properties of the delay second-order half-linear differential equation
We suppose that , , are continuous functions defined on such that , for large , for all , and . By we denote the conjugate number to the number , that is, .
The solution of (1) is said to be oscillatory if it has infinitely many zeros tending to infinity. Equation (1) is said to be oscillatory if all its solutions are oscillatory. In the opposite case, that is, if there exists an eventually positive solution of (1), (1) is said to be nonoscillatory.
It is well known that the behavior of delay differential equations is very different from the behavior of ordinary differential equations. Among others, the Sturm theory fails and oscillatory solutions may coexist with nonoscillatory solutions.
In certain special cases, it is possible to compare asymptotics of (1) with some other simpler equation. One of the typical objects for this comparison is the first order delay differential equation; see, for example, [1–3] for results on comparing (1) or its extension in the form of neutral differential equation with the first order delay differential inequality. Another simpler object than (1) suitable for comparison with (1) is the half-linear second-order ordinary differential equation see, for example, [4–7]. Note that some of these papers deal with a slightly more general equation However, if this more general equation is considered, conditions imposed on the nonlinearity usually state that (3) is a kind of majorant of (1) (in the sense used in the Sturmian theory of ordinary differential equations) and allow to extend the results readily from (1) to (3). An example of such conditions is for some (positive) function and all positive numbers , . Note also that some of the above cited papers deal more generally with neutral differential equations and (or) dynamic equations on time scales.
In this paper we compare (1) with the ordinary half-linear equation of the form (2). To make our paper more readable we restrict our attention to differential equations rather than equations on time scales. An extension of our results to neutral differential equations is provided at the end of this paper.
Let us recall the Riccati technique, which is one of the methods frequently used in oscillation theory of both (1) and (2) (it is easy to see that if , then (1) reduces to (2)). Suppose that (1) is nonoscillatory and let be its eventually positive solution. Then the function satisfies the Riccati type equation
The following lemma plays a crucial role in the qualitative theory of half-linear second order ordinary differential equations.
Lemma 1 (see [8, Theorem 2.2.1]). Denote and . The following statements are equivalent: (i)(2) is nonoscillatory, (ii)there is and a continuously differentiable function such that (iii)there is and a continuously differentiable function such that (iv)there is and a positive function with continuously differentiable such that
As we show below, the assumptions used in the paper ensure that the positive solutions are eventually increasing and concave down. The main step when we compare the ordinary half-linear differential equation and its delay counterpart (1) is to reduce (5) to the Riccati inequality of the form (7). The usual approach on how to remove the term from (5) is the following lemma, originally proved in  and then used in many subsequent papers.
Lemma 2. Suppose that is a function defined for some such that , , , and for . Then, for each there exists such that
Note that the proof of Lemma 2 does not exploit the fact that is a solution of (1) and the lemma holds for any positive increasing concave down function. The proof of (9) can be based on the fact that if on and , then is decreasing with respect to on (see [10, Theorem 128]). Thus where . Removing the dependence on may be implemented by using of a constant . The presence of one of the constants or in the estimates (9) and (10) is an important attribute of these estimates. As a consequence, the resulting integral oscillation citeria have to be formulated either with the constant , or as interval-type or Kamenev-type criteria, where the dependence on is usually not disturbing. A typical result looks like the following Theorem A.
As another particular example of a criterion which suffers from the presence of the constants see [12, Theorem 2.1].
The above mentioned disadvantage has been removed for the linear delay equation under the condition Opluštil and Šremr utilized in recent papers [13, 14] (12) to derive a sharper estimate than the estimate from Lemma 2. Note that imposing (13) on does not yield any restriction in oscillation criteria for (12) since (12) is already known to be nonoscillatory if (13) fails. The same approach has been used for linear dynamic equations on time scales by Erbe, Peterson and Saker in .
The aim of this paper is to derive a result analogical to the estimate from [13, 14] and make it available also for delay half-linear differential equation. The nonlinearity of the equation causes, that the method from [13, 14] does not extend to (1) directly and we have to use an indirect approach which originates in the fact that the half-linear extension does not yield (13) as its special case, but includes the term instead of . This estimate suggests a new tool which can be used to improve some oscillation criteria for (1).
The proof of the following statement can be found in .
Lemma 3. Let be an eventually positive solution of (1). If , then for large . Moreover, if , then for large .
Proof. Conditions (14) and Lemma 3 imply that there exists such that , , for .
We show that for large . Since , it is sufficient to show that (17) holds for some . Suppose, by contradiction, that for all . Solving this inequality we get for , where . Hence, there exists such that Since is a solution of (1), we have Integrating the last inequality from to we obtain and from the fact that is positive we get the following finite upper bound for the integral of : for . However the condition (15) ensures that the left hand side of this inequality is unbounded. This contradiction proves (17) for large .
Hence there exists such that (17) holds for . This inequality together with the computation shows that the function is decreasing on . This fact and the fact that reveal that there exists such that which is equivalent to (16).
3. Oscillation of Delay Differential Equation
Proof. Suppose, by contradiction, that (1) is nonoscillatory and (24) is oscillatory. Let be an eventually positive solution of (1). Using Lemma 4 we see that satisfies the inequality and hence, using equivalence between parts (i) and (iv) of Lemma 1, we see that (24) is nonoscillatory which contradicts our assumptions.
Remark 6. The oscillation criterion from Theorem 5 is general in the sense that the oscillation is given in terms of oscillation of a certain half-linear differential equation rather than in terms of explicit conditions on the coefficients of the equation. Most of the related papers continue the proofs by utilizing techniques used in the theory of half-linear ordinary differential equations (often simply copy of the proofs of known oscillation citeria) to reach effective conditions for oscillation. However, we feel our approach as an advantage, since it allows to utilize arbitrary from large family of oscillation criteria for half-linear oscillation equations to detect oscillation of delay equation. See also  for a comprehensive survey on oscillation criteria known up to 2005.
Remark 7. Note that a similar result like Theorem 5 can be proved also without Lemma 4 and using Lemma 2 instead. This results in a comparison of (1) with the equation where is a real parameter which satisfies . (Note that for we get Theorem A.) Equation (24) can be viewed in a certain sense as a continuation of (26) with respect to to the border value . Note that the problems related to oscillation of equation of the type (26) and dependence of oscillatory properties on the parameter are referred to as conditional oscillation. In general, oscillation of (26) implies oscillation of (24), but the opposite implication need not be true in general, see the paper  which (based on the results from ) suggests a method on how to construct a pair of equations of the type (24) and (26) with (24) oscillatory and (26) nonoscillatory.
Example 9. Consider the perturbed Euler type half-linear delay differential equation
where is real constant. According to Theorem 5, (27) is oscillatory if
is oscillatory. Following [8, Theorem 5.2.2] (see also ) we treat (28) as a perturbation of the nonoscillatory equation
with principal solution . A simple computation shows
hence (28) is oscillatory by [8, Theorem 5.2.2]. Consequently, (27) is oscillatory for every .
We claim that the oscillation of (27) cannot be proved with Theorem A. Really, in our example (11) becomes where . This equation is nonoscillatory for every by Kneser type nonoscillation criterion [8, Theorem 1.4.5], and thus Theorem A fails to apply.
4. Oscillation of Neutral Differential Equation
In this section we use a slight modification of the estimates from the first part of the paper to derive similar results for the second order neutral differential equation where , , , , , .
Similarly like for the delay equation, the positive solution is increasing and concave down. More precisely, the following lemma holds. For linear version of this lemma see [2, Lemma 1] and for see [1, Lemma 2.1].
Lemma 10. Let be an eventually nonoscillatory solution of (32). If , then the corresponding function satisfies eventually. Moreover, if , then for large .
Proof. The proof is essentially the same as the proof of [1, Lemma 2.1]. We just relax the restriction on .
Without loss of generality we can suppose that is eventually positive solution of (32). There exists such that , and are positive on and for . Hence, is decreasing and either for large .
Suppose that there exists such that for . There exists a positive constant such that for . Integrating this inequality over the interval we get Letting we have a negative upper bound for the function and large . However, the positivity of both and implies positivity of . This contradiction proves that and eventually.
If , then and hence .
The following lemma is an alternative to Lemma 4 for neutral differential equations.
Proof. Similarly like in Lemma 4 we find the derivative
It is sufficient to show that eventually. Lemma 10 implies that there exists such that on . This shows that is decreasing on . As a consequence, if for some , then on .
Suppose by contradiction that there exists such that on . Solving this inequality we get Now integrating (32) from to and using (41) we get Taking sufficiently large and using (45) we obtain a negative upper bound for a positive function . This contradiction proves the lemma.
Now we can formulate the comparison theorem which relates neutral differential equations to ordinary second-order half-linear differential equations.
Proof. Having proved important estimates in the preceding two lemmas, the proof of the theorem is a modification of the proof of Theorem 5. If is an eventually positive solution of (32), then the function defined by satisfies (34). Using Lemmas 11 and 12 we see that Hence (49) is nonoscillatory by Lemma 1.
Remark 14. A version of Theorem 13 has been used implicitly in the proof of [20, Theorem 2.2] for dynamic equations. A closer estimation of the proof shows that one of the important steps is an application of inequality which in the continuous case reads as (10). However, Lemma 12 allows the estimate which appears to be sharper, since and the annoying dependence of the left-hand side on usually necessitates to replace it by a constant which may appear in the resulting oscillation criterion.
This research is supported by the Grant P201/10/1032 of the Czech Science Foundation.
- B. Baculíková, T. Li, and J. Džurina, “Oscillation theorems for second-order superlinear neutral differential equations,” Mathematica Slovaca, vol. 63, no. 1, pp. 123–134, 2013.
- B. Baculíková and J. Džurina, “Oscillation theorems for second order neutral differential equations,” Computers & Mathematics with Applications, vol. 61, no. 1, pp. 94–99, 2011.
- B. Baculíková and J. Džurina, “Oscillation theorems for second-order nonlinear neutral differential equations,” Computers & Mathematics with Applications, vol. 62, no. 12, pp. 4472–4478, 2011.
- 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.
- D. R. Anderson and A. Zafer, “Nonlinear oscillation of second-order dynamic equations on time scales,” Applied Mathematics Letters, vol. 22, no. 10, pp. 1591–1597, 2009.
- A. Tiryaki, Y. Başci, and I. Güleç, “Interval criteria for oscillation of second-order functional differential equations,” Computers & Mathematics with Applications, vol. 50, no. 8-9, pp. 1487–1498, 2005.
- 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.
- O. Došlý and P. Řehák, Half-Linear Differential Equations, vol. 202 of North-Holland Mathematics Studies, Elsevier, San Diego, Calif, USA, 2005.
- J. Ohriska, “Oscillation of second order delay and ordinary differential equation,” Czechoslovak Mathematical Journal, vol. 34, no. 1, pp. 107–112, 1984.
- G. H. Hardy, J. E. Littlewood, and G. Polya, Inequalities, Cambridge University Press, Cambridge, UK, 1999.
- R. P. Agarwal, S.-L. Shieh, and C.-C. Yeh, “Oscillation criteria for second-order retarded differential equations,” Mathematical and Computer Modelling, vol. 26, no. 4, pp. 1–11, 1997.
- R. Xu and F. Meng, “New Kamenev-type oscillation criteria for second order neutral nonlinear differential equations,” Applied Mathematics and Computation, vol. 188, no. 2, pp. 1364–1370, 2007.
- Z. Opluštil and J. Šremr, “Some oscillation criteria for the second-order linear delay differential equation,” Mathematica Bohemica, vol. 136, no. 2, pp. 195–204, 2011.
- Z. Opluštil and J. Šremr, “On oscillations of solutions to second-order linear delay differential equations,” Georgian Mathematical Journal, vol. 20, no. 1, pp. 65–94, 2013.
- L. Erbe, A. Peterson, and S. H. Saker, “Kamenev-type oscillation criteria for second-order linear delay dynamic equations,” Dynamic Systems and Applications, vol. 15, no. 1, pp. 65–78, 2006.
- J. Džurina and I. P. Stavroulakis, “Oscillation criteria for second-order delay differential equations,” Applied Mathematics and Computation, vol. 140, no. 2-3, pp. 445–453, 2003.
- P. Hasil and M. Veselý, “Oscillation of half-linear differential equations with asymptotically almost periodic coefficients,” Advances in Difference Equations, vol. 2013, article 122, 15 pages, 2013.
- M. Veselý, “Construction of almost periodic functions with given properties,” Electronic Journal of Differential Equations, no. 29, pp. 1–25, 2011.
- Á. Elbert, “Oscillation and nonoscillation theorems for some non-linear ordinary differential equations,” in Ordinary and Partial Differential Equations, vol. 964 of Lecture Notes in Mathematics, pp. 187–212, 1982.
- S. H. Saker and D. O'Regan, “New oscillation criteria for second-order neutral functional dynamic equations via the generalized Riccati substitution,” Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 1, pp. 423–434, 2011.
Copyright © 2013 Simona Fišnarová and Robert Mařík. 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.