- Research Article
- Open access
- Published:
Oscillation of Second-Order Mixed-Nonlinear Delay Dynamic Equations
Advances in Difference Equations volume 2010, Article number: 389109 (2010)
Abstract
New oscillation criteria are established for second-order mixed-nonlinear delay dynamic equations on time scales by utilizing an interval averaging technique. No restriction is imposed on the coefficient functions and the forcing term to be nonnegative.
1. Introduction
In this paper we are concerned with oscillatory behavior of the second-order nonlinear delay dynamic equation of the form
on an arbitrary time scale , where
the functions , , : are right-dense continuous with nondecreasing; the delay functions are nondecreasing right-dense continuous and satisfy for with as .
We assume that the time scale is unbounded above, that is, and define the time scale interval by . It is also assumed that the reader is already familiar with the time scale calculus. A comprehensive treatment of calculus on time scales can be found in [1–3].
By a solution of (1.1) we mean a nontrivial real valued function such that and for all with , and that satisfies (1.1). A function is called an oscillatory solution of (1.1) if is neither eventually positive nor eventually negative, otherwise it is nonoscillatory. Equation (1.1) is said to be oscillatory if and only if every solution of (1.1) is oscillatory.
Notice that when , (1.1) is reduced to the second-order nonlinear delay differential equation
while when , it becomes a delay difference equation
Another useful time scale is and is a real number, which leads to the quantum calculus. In this case, (1.1) is the -difference equation
where , , and .
Interval oscillation criteria are more natural in view of the Sturm comparison theory since it is stated on an interval rather than on infinite rays and hence it is necessary to establish more interval oscillation criteria for equations on arbitrary time scales as in . As far as we know when , an interval oscillation criterion for forced second-order linear differential equations was first established by El-Sayed [4]. In 2003, Sun [5] demonstrated nicely how the interval criteria method can be applied to delay differential equations of the form
where the potential and the forcing term may oscillate. Some of these interval oscillation criteria were recently extended to second-order dynamic equations in [6–10]. Further results on oscillatory and nonoscillatory behavior of the second order nonlinear dynamic equations on time scales can be found in [11–23], and the references cited therein.
Therefore, motivated by Sun and Meng's paper [24], using similar techniques introduced in [17] by Kong and an arithmetic-geometric mean inequality, we give oscillation criteria for second-order nonlinear delay dynamic equations of the form (1.1). Examples are considered to illustrate the results.
2. Main Results
We need the following lemmas in proving our results. The first two lemmas can be found in [25, Lemma ].
Lemma 2.1.
Let , be the tuple satisfying . Then, there exists an tuple satisfying
Lemma 2.2.
Let , be the tuple satisfying . Then there exists an tuple satisfying
The next two lemmas are quite elementary via differential calculus; see [23, 25].
Lemma 2.3.
Let , and be nonnegative real numbers. Then
Lemma 2.4.
Let , and be nonnegative real numbers. Then
The last important lemma that we need is a special case of the one given in [6]. For completeness, we provide a proof.
Lemma 2.5.
Let be a nondecreasing right-dense continuous function with , and with . If is a positive function such that is nonincreasing on with nondecreasing, then
Proof.
By the Mean Value Theorem [2, Theorem ]
for some , for any . Since is nonincreasing and is nondecreasing, we have
and so , . Now
Define
It follows from (2.8) that for and . Thus, we have
which completes the proof.
In what follows we say that a function belongs to if and only if is right-dense continuous function on having continuous -partial derivatives on , with for all and for all . Note that in case , the -partial derivatives become the usual partial derivatives of . The partial derivatives for the cases and will be explicitly given later.
Denoting the -partial derivatives and of with respect to and by and , respectively, the theorems below extend the results obtained in [5] to nonlinear delay dynamic equation on arbitrary time scales and coincide with them when is replaced by . Indeed, if we set , then it follows that
When , they become
as in [5]. However, we prefer using instead of for simplicity.
Theorem 2.6.
Suppose that for any given (arbitrarily large) there exist subintervals and of , where and such that
where
hold. Let be an tuple satisfying (2.1) of Lemma 2.1. If there exist a function and numbers such that
for , where
then (1.1) is oscillatory.
Proof.
Suppose on the contrary that is a nonoscillatory solution of (1.1). First assume that and are positive for all for some . Choose sufficiently large so that . Let .
Define
Using the delta quotient rule, we have
Notice that
which implies
Hence, we obtain
Substituting (2.21) into (1.1) yields
By assumption, we can choose such that () and for all , where is defined as in (2.14). Clearly, the conditions of Lemma 2.5 are satisfied when, replaced with for each fixed . Therefore, from (2.5), we have
and taking into account (2.22) yields
Denote
From (2.24), we have
Now recall the well-known arithmetic-geometric mean inequality, see [26],
where and , . Setting
in (2.26) yields
From (2.29) and taking into account (2.27), we get
and hence,
which yields
where
Multiplying both sides of (2.32) by and integrating both sides of the resulting inequality from to yield
Fix and note that
from which we obtain
Therefore,
Notice that
since and hence, we obtain from (2.34) that
On the other hand,
Taking into account that , we have
Using this inequality in (2.39), we have
Similarly, by following the above calculation step by step, that is, multiplying both sides of (2.32) this time by after taking into account that
one can easily obtain
Adding up (2.42) and (2.44), we obtain
This contradiction completes the proof when is eventually positive. The proof when is eventually negative is analogous by repeating the above arguments on the interval instead of .
Corollary 2.7.
Suppose that for any given (arbitrarily large) there exist subintervals and of such that
where holds. Let be an tuple satisfying (2.1) of Lemma 2.1. If there exist a function and numbers such that
for , where
then (1.3) is oscillatory.
Corollary 2.8.
Suppose that for any given (arbitrarily large) there exist with and such that for each ,
where holds. Let be an tuple satisfying (2.1) of Lemma 2.1. If there exist a function and numbers such that
for , where
then (1.4) is oscillatory.
Corollary 2.9.
Suppose that for any given (arbitrarily large) there exist with and such that for each ,
where holds. Let be an tuple satisfying (2.1) of Lemma 2.1. If there exist a function and numbers such that
for , where
then (1.5) is oscillatory.
Notice that Theorem 2.6 does not apply if there is no forcing term, that is, . In this case we have the following theorem.
Theorem 2.10.
Suppose that for any given (arbitrarily large) there exists a subinterval of , where such that
where holds. Let be an tuple satisfying (2.2) in Lemma 2.2. If there exist a function and a number such that
where
then (1.1) with is oscillatory.
Proof.
We will just highlight the proof since it is the same as the proof of Theorem 2.6. We should remark here that taking and in proof of Theorem 2.6, we arrive at
The arithmetic-geometric mean inequality we now need is
where and , are as in Lemma 2.2.
Corollary 2.11.
Suppose that for any given (arbitrarily large) there exists a subinterval of , where with such that
where holds. Let be an tuple satisfying (2.2) in Lemma 2.2. If there exist a function and a number such that
where
then (1.3) with is oscillatory.
Corollary 2.12.
Suppose that for any given (arbitrarily large) there exists with such that
where holds. Let be an tuple satisfying (2.2) in Lemma 2.2. If there exist a function and a number such that
where
then (1.4) with is oscillatory.
Corollary 2.13.
Suppose that for any given (arbitrarily large) there exist with such that
where holds. Let be an tuple satisfying (2.2) in Lemma 2.2. If there exist a function and a number such that
where
then (1.5) with is oscillatory.
It is obvious that Theorem 2.6 is not applicable if the functions are nonpositive for . In this case the theorem below is valid.
Theorem 2.14.
Suppose that for any given (arbitrarily large) there exist subintervals and of , where and such that
where holds. If there exist a function , positive numbers and satisfying
and numbers such that
for where
with
then (1.1) is oscillatory.
Proof.
Suppose that (1.1) has a nonoscillatory solution. Without losss of generality, we may assume that and are eventually positive on when is sufficiently large. If is eventually negative, one may repeat the same proof step by step on the interval
Rewriting (1.1) for as
and applying Lemma 2.3 to each term in the first sum, we obtain
where for . Setting
yields
Substituting the above last equality into (2.75), we have
It follows from (2.5) that
Notice that the second sum in (2.78) can be written as
and hence applying the Lemma 2.4 yields
where and for Using (2.79), (2.80), and (2.78) into (2.78), we obtain
Setting
we have
The rest of the proof is the same as that of Theorem 2.6 and hence it is omitted.
Corollary 2.15.
Suppose that for any given (arbitrarily large) there exist subintervals and of , where and such that
where holds. If there exist a function , positive numbers and satisfying
and numbers such that
for where
with
then (1.3) is oscillatory.
Corollary 2.16.
Suppose that for any given (arbitrarily large) there exist with and such that for each ,
where holds. If there exist a function , positive numbers and satisfying
and numbers such that
for , where
with
then (1.4) is oscillatory.
Corollary 2.17.
Suppose that for any given (arbitrarily large) there exist with and such that for each ,
where holds. If there exist a function , positive numbers and satisfying
and numbers such that
for , where
with
then (1.5) is oscillatory.
3. Examples
In this section we give three examples when , and , in (1.1). That is, we consider
For simplicity we take , thus . Note that and by Lemma 2.2.
Example 3.1.
Let and be constants. Consider the differential equation
Let , , and , .
We calculate
and see that (2.61) holds if
Since all conditions of Corollary 2.11 are satisfied, we conclude that (3.2) is oscillatory when (3.4) holds.
Example 3.2.
Let and be constants. Define , , and for , , ; otherwise, the functions are defined arbitrarily. Consider the difference equation
Let , , and . We derive
and see that positivity in (2.64) satisfies if
Since all conditions of Corollary 2.12 are satisfied, we conclude that (3.5) is oscillatory if (3.7) holds.
Example 3.3.
Let and be constants. Define , and for , , ; otherwise, the functions are defined arbitrarily. Consider the -difference equation, (),
Let , , and . We have
We see that (2.67) holds for all and . Since all conditions of Corollary 2.12 are satisfied, we conclude that (3.8) is oscillatory if and are positive.
References
Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston, Mass, USA; 2001:x+358.
Bohner M, Peterson A (Eds): Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.
Lakshmikantham V, Sivasundaram S, Kaymakçalan B: Dynamic Systems on Measure Chains, Mathematics and Its Applications. Volume 370. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1996:x+285.
El-Sayed MA: An oscillation criterion for a forced second order linear differential equation. Proceedings of the American Mathematical Society 1993,118(3):813-817.
Sun YG: A note on Nasr's and Wong's papers. Journal of Mathematical Analysis and Applications 2003,286(1):363-367. 10.1016/S0022-247X(03)00460-8
Agarwal RP, Anderson DR, Zafer A: Interval oscillation criteria for second-order forced delay dynamic equations with mixed nonlinearities. Computers and Mathematics with Applications 2010,59(2):977-993. 10.1016/j.camwa.2009.09.010
Agarwal RP, Zafer A: Oscillation criteria for second-order forced dynamic equations with mixed nonlinearities. Advances in Difference Equations 2009, 2009:-20.
Anderson DR: Oscillation of second-order forced functional dynamic equations with oscillatory potentials. Journal of Difference Equations and Applications 2007,13(5):407-421. 10.1080/10236190601116209
Anderson DR, Zafer A: Interval criteria for second-order super-half-linear functional dynamic equations with delay and advanced arguments. to appear in Journal of Difference Equations and Applications
Güvenilir AF, Zafer A: Second-order oscillation of forced functional differential equations with oscillatory potentials. Computers & Mathematics with Applications 2006,51(9-10):1395-1404. 10.1016/j.camwa.2006.02.002
Bohner M, Tisdell CC: Oscillation and nonoscillation of forced second order dynamic equations. Pacific Journal of Mathematics 2007,230(1):59-71. 10.2140/pjm.2007.230.59
Bohner M, Saker SH: Oscillation of second order nonlinear dynamic equations on time scales. The Rocky Mountain Journal of Mathematics 2004,34(4):1239-1254. 10.1216/rmjm/1181069797
Došlý O, Hilger S: A necessary and sufficient condition for oscillation of the Sturm-Liouville dynamic equation on time scales. Journal of Computational and Applied Mathematics 2002,141(1-2):147-158. 10.1016/S0377-0427(01)00442-3
Erbe L, Peterson A, Saker SH: Oscillation criteria for second-order nonlinear delay dynamic equations. Journal of Mathematical Analysis and Applications 2007,333(1):505-522. 10.1016/j.jmaa.2006.10.055
Erbe L, Hassan TS, Peterson A: Oscillation of second order neutral delay differential equations. Advances in Dynamical Systems and Applications 2008,3(1):53-71.
Huang M, Feng W: Oscillation for forced second-order nonlinear dynamic equations on time scales. Electronic Journal of Differential Equations 2006, (145):1-8. 10.1016/j.jde.2006.02.002
Kong Q: Interval criteria for oscillation of second-order linear ordinary differential equations. Journal of Mathematical Analysis and Applications 1999,229(1):258-270. 10.1006/jmaa.1998.6159
Del Medico A, Kong Q: Kamenev-type and interval oscillation criteria for second-order linear differential equations on a measure chain. Journal of Mathematical Analysis and Applications 2004,294(2):621-643. 10.1016/j.jmaa.2004.02.040
Del Medico A, Kong Q: New Kamenev-type oscillation criteria for second-order differential equations on a measure chain. Computers & Mathematics with Applications 2005,50(8-9):1211-1230. 10.1016/j.camwa.2005.07.002
Řehák P: On certain comparison theorems for half-linear dynamic equations on time scales. Abstract and Applied Analysis 2004,2004(7):551-565. 10.1155/S1085337504306251
Şahiner Y: Oscillation of second-order delay differential equations on time scales. Nonlinear Analysis: Theory, Methods & Applications 2005,63(5–7):e1073-e1080.
Saker SH: Oscillation of nonlinear dynamic equations on time scales. Applied Mathematics and Computation 2004,148(1):81-91. 10.1016/S0096-3003(02)00829-9
Zafer A: Interval oscillation criteria for second order super-half linear functional differential equations with delay and advanced arguments. Mathematische Nachrichten 2009,282(9):1334-1341. 10.1002/mana.200610801
Sun YG, Meng FW: Interval criteria for oscillation of second-order differential equations with mixed nonlinearities. Applied Mathematics and Computation 2008,198(1):375-381. 10.1016/j.amc.2007.08.042
Sun YG, Wong JSW: Oscillation criteria for second order forced ordinary differential equations with mixed nonlinearities. Journal of Mathematical Analysis and Applications 2007,334(1):549-560. 10.1016/j.jmaa.2006.07.109
Beckenbach EF, Bellman R: Inequalities, Ergebnisse der Mathematik und ihrer Grenzgebiete, 30. Springer, Berlin, Germany; 1961:xii+198.
Acknowledgments
The paper is supported in part by the Scientific and Research Council of Turkey (TUBITAK) under Contract 108T688. The authors would like to thank the referees for their valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ünal, M., Zafer, A. Oscillation of Second-Order Mixed-Nonlinear Delay Dynamic Equations. Adv Differ Equ 2010, 389109 (2010). https://doi.org/10.1155/2010/389109
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/389109