- Research Article
- Open access
- Published:
Oscillatory Criteria for the Two-Dimensional Difference Systems
Journal of Inequalities and Applications volume 2010, Article number: 209309 (2010)
Abstract
We establish some necessary and sufficient conditions for oscillation of the solutions of the following two-dimensional difference system: , , where and are strongly superlinear or sublinear functions.
1. Introduction
We consider the following two-dimensional nonlinear difference system as follows:
where , , and are strongly superlinear or sublinear functions.
Now we pose some conditions on functions and :
(H1): and for ;
(H2): and are continuous real-valued functions, and nondecreasing with respect to ;
(H3): it is
for each .
Definition 1.1.
Suppose that are real-valued functions. and are the quotients of positive odd numbers.
() and are said to be strongly superlinear if there exist constants and with , such that and are nondecreasing with respect to for each fixed .
() and are said to be strongly sublinear if there exist constants and with , such that and are nonincreasing with respect to for each fixed .
The solutions of (1.1) are said to be nonoscillatory if or is eventually positive or negative. Otherwise the solutions are called oscillatory.
Some oscillation results for the difference system (1.1) in the case of with have been established by many authors. In particular, if and , then the difference system (1.1) is reduced to the well-known second-order nonlinear difference equation:
Also, if , then (1.3) becomes
Furthermore, if and is a ratio of odd positive integers, then (1.1) reduces to the well-known quasilinear difference equation:
For (1.4), the following well-known Theorem A was established by Hooker and Patula [1, 2].
Theorem A.
For (1.4), the following statements are true.
() If , then every solution of (1.4) oscillates if and only if
() If , then every solution of (1.4) oscillates if and only if
For (1.3), if one denotes
and assumes that
then the following theorem is proved in [3].
Theorem B.
If (1.9) holds, then the following statements are true.
() If , then every solution of (1.3) oscillates if and only if
() If , then every solution of (1.3) oscillates if and only if
The problem of oscillation of second-order nonlinear difference equations has attracted the attention of many mathematicians because of its physical applications [2, 4]. For some results regarding the growth of solutions of some equations related to the above mentioned see book [5], as well as the following papers [6–8]. It is an interesting problem to extend oscillation criteria for second-order nonlinear difference equations to the case of nonlinear two-dimensional difference systems since such systems include, in particular, the second-order nonlinear, half-linear, and quasilinear difference equations that are the special cases of the nonlinear two-dimensional difference systems [5, 9, 10].
The main purpose of this paper is to establish some necessary and sufficient conditions for oscillation of the nonlinear two-dimensional difference systems.
2. Main Results
In order to establish our main results, we need the following lemma.
Lemma 2.1.
Suppose that conditions are satisfied. If and are nonoscillatory solutions of (1.1) for , then
Proof.
Without loss of generality, we assume that is eventually positive; that is, for . From (1.1), we clearly see that , then we know that either or eventually holds.
If for , then we have
summing up from to , and by (1.2) of , we get
This contradiction completes the proof of the lemma.
Theorem 2.2.
If and are strongly sublinear (i.e., ), then a necessary and sufficient condition for (1.1) to oscillate is that
for every , where .
Proof.
Sufficiency. If (1.1) has a nonoscillatory solution , then without loss of generality, we assume that is eventually positive. Then, by Lemma 2.1, for sufficiently large,
Since is decreasing, hence there exists such that
Summing up
from to , we obtain
and so
Therefore
Since
we have
and let , we have
From
we get
which leads to a contradiction.
Necessity. If
for some , then there exist and , such that
Let be the Banach space of all the real-valued sequences with the norm
let be the subset of defined by
and let be the operator defined by
Then the mapping satisfies the assumptions of Knaster's fixed-point theorem (see [11, page 8]): maps into itself and is increasing. The latter statement is easy to see, and the former statement follows from
for any . From Knaster's fixed-point theorem, we know that there exists such that . Let
then and . On the other hand, we have
Then by (1.2) and the continuity of function , we have that and which leads to a contradiction and the proof of Theorem 2.2 is completed.
Example 2.3.
Considering the difference system,
Here , , and and are strongly sublinear. It is easy to verify that the conditions of Theorem 2.2 are satisfied and hence all solutions are oscillatory. In fact, we clearly see that the sequence is such a solution for the difference system.
Example 2.4.
Considering the difference system,
Here , , and and are strong sublinear. We clearly see that the conditions of Theorem 2.2 are not satisfied and hence there exists a nonoscillatory solution. In fact, the sequence is such a solution.
Theorem 2.5.
If and are strongly superlinear (i.e., ), then a necessary and sufficient condition for (1.1) to oscillate is that
for every .
Proof.
Sufficiency. If (1.1) has a nonoscillatory solution , then without loss of generality, we may assume that is eventually positive. Then by Lemma 2.1, we have for sufficiently large,
Since is increasing, hence there exists such that
Summing up
from to , we have
Therefore
From and , we get
But
Therefore
which leads to a contradiction.
Necessity. If
for some , then there exists large enough, such that
Let be the set of all bounded and real-valued sequences with the norm
and be the subset of defined by
then is a bounded, convex, and closed subset of . Let be the operator defined by
Then maps into . In fact, if , then
Next, we show that is continuous. Let be a convergent sequence in such that , then from that is closed () and the definition of , we have
Since , now from the continuity of and together with the well-known Lebesgue's dominated convergence theorem (see [11, page 263]), we know that for .
Finally, we show that is precompact. Let , , then for large enough we have
for any . From Schauder's fixed-point theorem (see [11]), we know that there exists such that .
Let
then and . On the other hand, we have
Therefore, and which leads to a contradiction. The proof of Theorem 2.5 is completed.
Example 2.6.
Considering the difference system,
Here , , and and are strongly suplinear. We clearly see that the conditions of Theorem 2.5 are satisfied and hence all solutions are oscillatory. In fact, the sequence is such a solution.
Example 2.7.
Considering the difference system,
Here , , and and are strong sublinear. However, it is easy to see that the conditions of Theorem 2.5 are not satisfied and hence there exists a nonoscillatory solution. In fact, the sequence is such a solution.
If we set , then the difference system (1.1) is reduced to (1.5). From Theorems 2.2 and 2.5, we get the following results for (1.5).
Corollary 2.8.
If , then every solution of (1.5) oscillation if and only if
where .
Corollary 2.9.
If , then every solution of (1.5) oscillation if and only if
Remark 2.10.
It is easy to see that Theorems A and B are the special cases of our Corollaries 2.8 and 2.9, respectively.
References
Hooker JW, Patula WT: A second-order nonlinear difference equation: oscillation and asymptotic behavior. Journal of Mathematical Analysis and Applications 1983, 91(1):9–29. 10.1016/0022-247X(83)90088-4
Kocić VL, Ladas G: Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, Mathematics and Its Applications. Volume 256. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1993:xii+228.
Cheng J, Chu Y: Oscillation theorem for second-order difference equations. Taiwanese Journal of Mathematics 2008, 12(3):623–633.
Potts RB: Exact solution of a difference approximation to Duffing's equation. Journal of the Australian Mathematical Society. Series B 1981, 23(1):64–77. 10.1017/S0334270000000060
Agarwal RP: Difference Equations and Inequalities: Theory, Methods, and Applications, Monographs and Textbooks in Pure and Applied Mathematics. Volume 155. Marcel Dekker, New York, NY, USA; 1992:xiv+777.
Stević S: Growth theorems for homogeneous second-order difference equations. The ANZIAM Journal 2002, 43(4):559–566.
Stević S: Asymptotic behaviour of second-order difference equations. The ANZIAM Journal 2004, 46(1):157–170. 10.1017/S1446181100013742
Stević S: Growth estimates for solutions of nonlinear second-order difference equations. The ANZIAM Journal 2005, 46(3):439–448. 10.1017/S1446181100008361
Agarwal RP, Wong PJY: Advanced Topics in Difference Equations, Mathematics and Its Applications. Volume 404. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997:viii+507.
Graef JR, Thandapani E: Oscillation of two-dimensional difference systems. Computers & Mathematics with Applications 1999, 38(7–8):157–165. 10.1016/S0898-1221(99)00246-1
Agarwal RP, Bohner M, Li W-T: Nonoscillation and Oscillation: Theory for Functional Differential Equations, Monographs and Textbooks in Pure and Applied Mathematics. Volume 267. Marcel Dekker, New York, NY, USA; 2004:viii+376.
Acknowledgment
The authors wish to thank the anonymous referees for their very careful reading of the paper and fruitful 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
Cheng, JF., Chu, YM. Oscillatory Criteria for the Two-Dimensional Difference Systems. J Inequal Appl 2010, 209309 (2010). https://doi.org/10.1155/2010/209309
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/209309