- 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

- 1.
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 - 2.
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. - 3.
Cheng J, Chu Y: Oscillation theorem for second-order difference equations.

*Taiwanese Journal of Mathematics*2008, 12(3):623–633. - 4.
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 - 5.
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. - 6.
Stević S: Growth theorems for homogeneous second-order difference equations.

*The ANZIAM Journal*2002, 43(4):559–566. - 7.
Stević S: Asymptotic behaviour of second-order difference equations.

*The ANZIAM Journal*2004, 46(1):157–170. 10.1017/S1446181100013742 - 8.
Stević S: Growth estimates for solutions of nonlinear second-order difference equations.

*The ANZIAM Journal*2005, 46(3):439–448. 10.1017/S1446181100008361 - 9.
Agarwal RP, Wong PJY:

*Advanced Topics in Difference Equations, Mathematics and Its Applications*.*Volume 404*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997:viii+507. - 10.
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 - 11.
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

## 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, J., Chu, Y. 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:

### Keywords

- Banach Space
- Positive Integer
- Physical Application
- Difference Equation
- Difference System