Impact Factor 0.335

Open Access

Oscillation Criteria for Second-Order Forced Dynamic Equations with Mixed Nonlinearities

DOI: 10.1155/2009/938706

Accepted: 19 April 2009

Published: 2 June 2009

Abstract

We obtain new oscillation criteria for second-order forced dynamic equations on time scales containing mixed nonlinearities of the form , with , , where is a time scale interval with , the functions are right-dense continuous with , is the forward jump operator, , and . All results obtained are new even for and . In the special case when and our theorems reduce to (Y. G. Sun and J. S. W. Wong, Journal of Mathematical Analysis and Applications. 337 (2007), 549–560). Therefore, our results in particular extend most of the related existing literature from the continuous case to arbitrary time scale.

1. Introduction

Let be a time scale which is unbounded above and a fixed point. For some basic facts on time scale calculus and dynamic equations on time scales, one may consult the excellent texts by Bohner and Peterson [1, 2].

We consider the second-order forced nonlinear dynamic equations containing mixed nonlinearities of the form
(11)
with
(12)
where denotes a time scale interval, the functions are right-dense continuous with , is the forward jump operator, , and
(13)

By a proper solution of (1.1) on we mean a function which is defined and nontrivial in any neighborhood of infinity and which satisfies (1.1) for all , where denotes the set of right-dense continuously differentiable functions from to . As usual, such a solution of (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative. The equation is called oscillatory if every proper solution is oscillatory.

In a special case, (1.1) becomes
(14)
which is called half-linear for , super-half-linear for , and sub-half-linear for . If , (1.4) takes the form
(15)
The oscillation of (1.5) has been studied by many authors, the interested reader is referred to the seminal books by Došlý and Řehák [3] and Agarwal et al. [4, 5], where in addition to mainly oscillation theory, the existence, uniqueness, and continuation of solutions are also discussed. In [3], one may also find several results related to the oscillation of (1.4) when , that is, for
(16)

where is the forward difference operator.

There are several methods in the literature for finding sufficient condition for oscillation of solutions in terms of the functions appearing in the corresponding equation, and almost all such conditions involve integrals or sums on infinite intervals [319]. The interval oscillation method is different in a sense that the conditions make use of the information of the functions on a union of intervals rather than on an infinite interval. Following El-Sayed [20], many authors have employed this technique in various works [2030]. For instance, Sun et al. [26], Wong [28], and Nasr [25] have studied (1.5) when and , while the case and is taken into account by Sun and Wong in [16]. The results in [25, 28] have been extended by Sun [27] to superlinear delay differential equations of the form
(17)

Further extensions of these results can be found in [30, 31], where the authors have studied some related super-half-linear differential equations with delay and advance arguments.

Recently, there have been also numerous papers on second-order forced dynamic equations on time scales, unifying particularly the discrete and continuous cases and handling many other possibilities. For a sampling of the work done we refer in particular to [6, 8, 9, 12, 13, 22, 32, 33] and the references cited therein. In [22] Anderson and Zafer have extended the above mentioned interval oscillation criteria to second-order forced super-half-linear dynamic equations with delay and advance arguments including
(18)
Our motivation in this study stems from the work contained in [34], where the authors have derived interval criteria for oscillation of second-order differential equations with mixed nonlinearities of the form
(19)
with
(110)
by using a Riccati substitution and an inequality of geometric-arithmetic mean type. As it is indicated in [34], further research on the oscillation of equations of mixed type is necessary as such equations arise in mathematical modeling, for example, in the growth of bacteria population with competitive species. We aim to make a contribution in this direction for a class of more general equations on time scales of the form (1.1) by combining the techniques used in [22, 34]. Notice that when , , and , (1.1) coincides with (1.9), and therefore our results provide new interval oscillation criteria even for when . Moreover, for the special case we obtain interval oscillation criteria for difference equations with mixed nonlinearities of the form
(111)

for which almost nothing is available in the literature.

2. Lemmas

We need the following preparatory lemmas. The first two lemmas are given by Wong and Sun as a single lemma [34, Lemma ] for . The proof for the case is exactly the same, in fact one only needs to replace the exponents by in their proof. Lemma 2.3 is the well-known Young inequality.

Lemma 2.1.

For any given -tuple satisfying
(21)
there corresponds an -tuple such that
(22)
If and (cf. [34] for the case ) one may take
(23)

where is any positive number with

Lemma 2.2.

For any given -tuple satisfying
(24)
there corresponds an -tuple such that
(25)
If and , it turns out that
(26)

Lemma 2.3 (Young's Inequality).

If and are conjugate numbers , then
(27)

and equality holds if and only if .

Let . Put , , and . It follows from Lemma 2.3 that
(28)
for all . Rewriting the above inequality we also have
(29)

for all and .

3. The Main Results

Following [21, 22, 30], denote for with the admissible set
(31)

The main results of this paper are contained in the following three theorems. The arguments used in the proofs have common features with the ones developed in [22, 30, 34].

Theorem 3.1.

Suppose that for any given there exist subintervals and of such that
(32)
Let be an -tuple satisfying (2.2) in Lemma 2.1. If there exists a function , , such that
(33)
for , where
(34)

then (1.1) is oscillatory.

Proof.

To arrive at a contradiction, let us suppose that is a nonoscillatory solution of (1.1). First, we assume that is positive for all , for some .

Let , where is sufficiently large. Define
(35)
It follows that
(36)
and hence
(37)
By our assumptions (3.2) we have and for . Set
(38)
Then (3.7) becomes
(39)
In view of the arithmetic-geometric mean inequality, see [35],
(310)
and equality (3.9) we obtain
(311)
Multiplying both sides of inequality (3.11) by and then using the identity
(312)
result in
(313)
where
(314)
As demonstrated in [7, 12], we know that , and that if and only if
(315)

where stands for the inverse function. In our case, since , dynamic equation (3.15) has a unique solution satisfying . Clearly, the unique solution is . Therefore, on .

For the benefit of the reader we sketch a proof of the fact that . Note that if is a right-dense point, then we may write
(316)
Applying Young's inequality (Lemma 2.3) with
(317)
we easily see that holds. If is a right-scattered point, then can be written as a function of and as
(318)

Using differential calculus, see [7], the result follows.

Now integrating the inequality (3.13) from to and using on we obtain
(319)

which of course contradicts (3.3). This completes the proof when is eventually positive. The proof when is eventually negative is analogous by repeating the arguments on the interval instead of .

A close look at the proof of Theorem 3.1 reveals that one cannot take . The following theorem is a substitute in that case.

Theorem 3.2.

Suppose that for any given there exists a subinterval of such that
(320)
Let be an -tuple satisfying (2.5) in Lemma 2.2. If there exists a function such that
(321)
where
(322)

then (1.1) with is oscillatory.

Proof.

We proceed as in the proof of Theorem 3.1 to arrive at (3.7) with , that is,
(323)
Setting
(324)
and using again the arithmetic-geometric mean inequality
(325)
we have
(326)

The remainder of the proof is the same as that of Theorem 3.1.

As it is shown in [34] for the sublinear terms case, we can also remove the sign condition imposed on the coefficients of the sub-half-linear terms to obtain interval criterion which is applicable for the case when some or all of the functions , , are nonpositive. We should note that the sign condition on the coefficients of super-half-linear terms cannot be removed alternatively by the same approach. Furthermore, the function cannot take the value zero on intervals of interest in this case. We have the following theorem.

Theorem 3.3.

Suppose that for any given there exist subintervals and of such that
(327)
If there exist a function , , and positive numbers and with
(328)
such that
(329)
for , where
(330)
with
(331)

then (1.1) is oscillatory.

Proof.

Suppose that (1.1) has a nonoscillatory solution. We may assume that is eventually positive on when is sufficiently large. If is eventually negative, then one can repeat the proof on the interval . Rewrite (1.1) as follows:
(332)
with
(333)
Clearly,
(334)
where
(335)
Applying (2.8) and (2.9) to each summation on the right side with
(336)
we see that
(337)
where
(338)
From (3.32) and inequality (3.37) we obtain
(339)
where
(340)
Set
(341)
In view of inequality (3.39) it follows that
(342)

The remainder of the proof is the same as that of Theorem 3.1, hence it is omitted.

4. Applications

To illustrate the usefulness of the results we state the corresponding theorems for the special cases , , and . One can easily provide similar results for other specific time scales of interest.

4.1. Differential Equations

Let , then we have , , and
(41)

where are continuous functions with , and . Let

Theorem 4.1.

Suppose that for any given there exist subintervals and of such that
(42)
Let be an -tuple satisfying (2.2) in Lemma 2.1. If there exists a function , , such that
(43)
for , where
(44)

then (4.1) is oscillatory.

Theorem 4.2.

Suppose that for any given there exists a subinterval of such that
(45)
Let be an -tuple satisfying (2.5) in Lemma 2.2. If there exists a function such that
(46)
where
(47)

then (4.1) with is oscillatory.

Theorem 4.3.

Suppose that for any given there exist subintervals and of such that
(48)
If there exist a function , , and positive numbers and with
(49)
such that
(410)
for , where
(411)
with
(412)

then (4.1) is oscillatory.

4.2. Difference Equations

Let , then we have , , and
(413)

where , with , and . Let , and

Theorem 4.4.

Suppose that for any given there exist subintervals and of such that
(414)
Let be an -tuple satisfying (2.2) in Lemma 2.1. If there exists a function , , such that
(415)
for , where
(416)

then (4.13) is oscillatory.

Theorem 4.5.

Suppose that for any given there exists a subinterval of such that
(417)
Let be an -tuple satisfying (2.5) in Lemma 2.2. If there exists a function such that
(418)
where
(419)

then (4.13) with is oscillatory.

Theorem 4.6.

Suppose that for any given there exist subintervals and of such that
(420)
If there exist a function , , and positive numbers and with
(421)
such that
(422)
for , where
(423)
with
(424)

then (4.13) is oscillatory.

4.3. -Difference Equations

Let with , then we have , and
(425)

where with , with , and . Let with , and

Theorem 4.7.

Suppose that for any given there exist subintervals and of such that
(426)
Let be an -tuple satisfying (2.2) in Lemma 2.1. If there exists a function , , such that
(427)
for , where
(428)

then (4.25) is oscillatory.

Theorem 4.8.

Suppose that for any given there exists a subinterval of such that
(429)
Let be an -tuple satisfying (2.5) in Lemma 2.2. If there exists a function such that
(430)
where
(431)

then (4.25) with is oscillatory.

Theorem 4.9.

Suppose that for any given there exist subintervals and of such that
(432)
If there exist a function , , and positive numbers and with
(433)
such that
(434)
for , where
(435)
with
(436)

then (4.25) is oscillatory.

5. Examples

We give three simple examples to illustrate the importance of our results. For clarity, we have taken and . Then,
(51)

Example 5.1.

Consider the constant coefficient differential equation
(52)

where and are real numbers.

Let , and , is arbitrarily large. Applying Theorem 4.2 we see that every solution of (5.2) is oscillatory if
(53)

Example 5.2.

Consider the constant coefficient difference equation
(54)

where and are real numbers.

Let , and and , is arbitrarily large. It follows from Theorem 4.5 that every solution of (5.4) is oscillatory if
(55)

Example 5.3.

Consider the constant coefficient -difference equation
(56)

where ,  and are real numbers.

Let , and and , is arbitrarily large. In view of Theorem 4.8, we see that every solution of (5.6) is oscillatory if
(57)

6. Remarks

1. (1)

Literature

Equation (1.1) has been studied by Sun and Wong [34] for the case and . Our results in Section 4.1 coincide with theirs when , and therefore the results can be considered as an extension from to . Since the results in [34] are linked to many well-known oscillation criteria in the literature, the interval oscillation criteria we have obtained provide further extensions of these to time scales.

The results in Sections 4.2 and 4.3 are all new for all values of the parameters. Although there are some results for difference equations in the special case , there is hardly any interval oscillation criteria for the -difference equations case.

Moreover, since our main results in Section 4 are valid for arbitrary time scales, similar interval oscillation criteria can be obtained by considering other particular time scales.
1. (2)

Generalization

The results obtained in this paper remain valid for more general equations of the form
(61)
provided that are continuous and satisfy the growth conditions
(62)
To see this, we note that if is eventually positive, then taking into account the intervals where and are nonnegative, the above inequalities result in
(63)
1. (3)

Forms Related to (1.1)

Related to (1.1) are the dynamic equations with mixed delta and nabla derivatives
(64)
(65)
(66)
where denotes the backward jump operator and
(67)

It is not difficult to see that time scale modifications of the previous arguments give rise to completely parallel results for the above dynamic equations. For an illustrative example we provide below the version of Theorem 3.1 for (6.4). The other theorems for (6.4), (6.5), and (6.6) can be easily obtained by employing arguments developed for (1.1) in this paper.

Theorem 6.1.

Suppose that for any given there exist subintervals and of such that
(68)
Let be an -tuple satisfying (2.2) in Lemma 2.1. If there exists a function , , such that
(69)
for , where
(610)
then (6.4) is oscillatory.
1. (4)

An Open Problem

It is of theoretical and practical interest to obtain interval oscillation criteria when there are only sub-half-linear terms in (1.1), that is, when holds for all . Also, the open problems stated in [34] for the special case with naturally carry over for (1.1).

Authors’ Affiliations

(1)
Department of Mathematical Sciences, Florida Institute of Technology
(2)
Department of Mathematics, Middle East Technical University

References

1. Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston, Mass, USA; 2001:x+358.
2. Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.
3. Došlý O, Řehák P: Half-Linear Differential Equations, North-Holland Mathematics Studies. Volume 202. Elsevier; North-Holland, Amsterdam, The Netherlands; 2005:xiv+517.Google Scholar
4. Agarwal RP, Grace SR: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2002.Google Scholar
5. Agarwal RP, Grace SR, O'Regan D: Oscillation Theory for Second Order Linear, Half-Linear, Superlinear and Sublinear Dynamic Equations. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2002:xiv+672.
6. 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
7. Došlý O, Marek D: Half-linear dynamic equations with mixed derivatives. Electronic Journal of Differential Equations 2005,2005(90):1-18.Google Scholar
8. Erbe L, Peterson A, Saker SH: Hille-Kneser-type criteria for second-order linear dynamic equations. Advances in Difference Equations 2006, 2006:-18.Google Scholar
9. 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
10. Kartsatos AG: Maintenance of oscillations under the effect of a periodic forcing term. Proceedings of the American Mathematical Society 1972, 33: 377-383. 10.1090/S0002-9939-1972-0330622-0
11. Manojlović JV: Oscillation criteria for second-order half-linear differential equations. Mathematical and Computer Modelling 1999,30(5-6):109-119. 10.1016/S0895-7177(99)00151-X
12. Řehák P: Half-linear dynamic equations on time scales: IVP and oscillatory properties. Nonlinear Functional Analysis and Applications 2002,7(3):361-403.
13. Saker SH: Oscillation criteria of second-order half-linear dynamic equations on time scales. Journal of Computational and Applied Mathematics 2005,177(2):375-387. 10.1016/j.cam.2004.09.028
14. Sun YG, Agarwal RP:Forced oscillation of th-order nonlinear differential equations. Functional Differential Equations 2004,11(3-4):587-596.
15. Sun YG, Saker SH: Forced oscillation of higher-order nonlinear differential equations. Applied Mathematics and Computation 2006,173(2):1219-1226. 10.1016/j.amc.2005.04.065
16. Sun YG, Wong JSW:Note on forced oscillation of th-order sublinear differential equations. Journal of Mathematical Analysis and Applications 2004,298(1):114-119. 10.1016/j.jmaa.2004.03.076
17. Teufel H Jr.: Forced second order nonlinear oscillation. Journal of Mathematical Analysis and Applications 1972, 40: 148-152. 10.1016/0022-247X(72)90037-6
18. Wang Q-R, Yang Q-G: Interval criteria for oscillation of second-order half-linear differential equations. Journal of Mathematical Analysis and Applications 2004,291(1):224-236. 10.1016/j.jmaa.2003.10.028
19. Wong JSW: Second order nonlinear forced oscillations. SIAM Journal on Mathematical Analysis 1988,19(3):667-675. 10.1137/0519047
20. 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.
21. 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
22. 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 ApplicationsGoogle Scholar
23. Li W-T: Interval oscillation of second-order half-linear functional differential equations. Applied Mathematics and Computation 2004,155(2):451-468. 10.1016/S0096-3003(03)00790-2
24. Li W-T, Cheng SS: An oscillation criterion for nonhomogenous half-linear differential equations. Applied Mathematics Letters 2002,15(3):259-263. 10.1016/S0893-9659(01)00127-6
25. Nasr AH: Sufficient conditions for the oscillation of forced super-linear second order differential equations with oscillatory potential. Proceedings of the American Mathematical Society 1998,126(1):123-125. 10.1090/S0002-9939-98-04354-8
26. Sun YG, Ou CH, Wong JSW: Interval oscillation theorems for a second-order linear differential equation. Computers & Mathematics with Applications 2004,48(10-11):1693-1699. 10.1016/j.camwa.2003.08.012
27. Sun YG: A note Nasr's and Wong's papers. Journal of Mathematical Analysis and Applications 2003,286(1):363-367. 10.1016/S0022-247X(03)00460-8
28. Wong JSW: Oscillation criteria for a forced second-order linear differential equation. Journal of Mathematical Analysis and Applications 1999,231(1):235-240. 10.1006/jmaa.1998.6259
29. Yang Q: Interval oscillation criteria for a forced second order nonlinear ordinary differential equations with oscillatory potential. Applied Mathematics and Computation 2003,135(1):49-64. 10.1016/S0096-3003(01)00307-1
30. Zafer A: Interval oscillation criteria for second order super-half-linear functional differential equations with delay and advanced arguments. to appear in Mathematische NachrichtenGoogle Scholar
31. 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
32. Řehák P: Hardy inequality on time scales and its applications to half-linear dynamic equations. Journal of Inequalities and Applications 2005,2005(7):495-507.
33. Ř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
34. 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
35. Beckenbach EF, Bellman R: Inequalities, Ergebnisse der Mathematik und ihrer Grenzgebiete, N. F.. Volume 30. Springer, Berlin, Germany; 1961:xii+198.Google Scholar