# On the Solutions of Systems of Difference Equations

- 1.1k Downloads
- 11 Citations

## Abstract

We show that every solution of the following system of difference equations Open image in new window , Open image in new window as well as of the system Open image in new window , Open image in new window is periodic with period 2 Open image in new window if Open image in new window ( Open image in new window 2), and with period Open image in new window if Open image in new window ( Open image in new window 2) where the initial values are nonzero real numbers for Open image in new window .

## Keywords

Differential Equation Qualitative Analysis Partial Differential Equation Ordinary Differential Equation Functional Analysis## 1. Introduction

Difference equations appear naturally as discrete analogues and as numerical solutions of differential and delay differential equations having applications in biology, ecology, economy, physics, and so on [1]. So, recently there has been an increasing interest in the study of qualitative analysis of rational difference equations and systems of difference equations. Although difference equations are very simple in form, it is extremely difficult to understand thoroughly the behaviors of their solutions. (see [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] and the references cited therein).

where Open image in new window are positive constants and the initial values Open image in new window are positive.

where the initial values Open image in new window Open image in new window are positive numbers and Open image in new window is a positive integer.

where the initial values Open image in new window are positive real numbers.

where Open image in new window is a nonnegative integer, Open image in new window is a positive integer, and the initial values Open image in new window are positive real numbers.

where Open image in new window fixed.

where Open image in new window (for Open image in new window are positive constants, Open image in new window is an integer, and the initial values Open image in new window (for Open image in new window are positive real numbers.

which can be considered as a natural generalizations of (1.8).

In order to prove main results of the paper we need an auxiliary result which is contained in the following simple lemma from number theory. Let Open image in new window denote the greatest common divisor of the integers Open image in new window and Open image in new window

Lemma 1.1.

Proof.

Suppose the contrary, then we have Open image in new window for some Open image in new window

Since Open image in new window it follows that Open image in new window is a divisor of Open image in new window On the other hand, since Open image in new window we have Open image in new window which is a contradiction.

Remark 1.2.

From Lemma 1.1 we see that the rests Open image in new window for Open image in new window of the numbers Open image in new window for Open image in new window obtained by dividing the numbers Open image in new window by Open image in new window , are mutually different, they are contained in the set Open image in new window , make a permutation of the ordered set Open image in new window , and finally Open image in new window is the first number of the form Open image in new window such that Open image in new window

## 2. The Main Results

In this section, we formulate and prove the main results in this paper.

Theorem 2.1.

Consider (1.9) where Open image in new window Then the following statements are true:

(a)if Open image in new window , then every solution of (1.9) is periodic with period 2*k*,

(b)if Open image in new window , then every solution of (1.9) is periodic with period k.

Proof.

First note that the system is cyclic. Hence it is enough to prove that the sequence Open image in new window satisfies conditions (a) and (b) in the corresponding cases.

From this and since by Lemma 1.1 the numbers Open image in new window are pairwise different, the result follows in this case.

which yields the result.

Remark 2.2.

In order to make the proof of Theorem 2.1 clear to the reader, we explain what happens in the cases Open image in new window and Open image in new window .

that is, the sequence Open image in new window is periodic with period 6.

Remark 2.3.

Similarly to Theorem 2.1, using Lemma 1.1 with Open image in new window for Open image in new window the following theorem can be proved.

Theorem 2.4.

Consider (1.10) where Open image in new window Then the following statements are true:

(a)if Open image in new window , then every solution of (1.10) is periodic with period 2k,

(b)if Open image in new window , then every solution of (1.10) is periodic with period k.

Proof.

First note that the system is cyclic. Hence, it is enough to prove that the sequence Open image in new window satisfies conditions (a) and (b) in the corresponding cases.

From this and since by Lemma 1.1 the numbers Open image in new window are pairwise different, the result follows in this case.

which yields the result.

Corollary 2.5.

then all solutions of (1.9) are positive.

Proof.

for Open image in new window and Open image in new window .

for Open image in new window and Open image in new window .

From (2.16) and (2.17), all solutions of (1.9) are positive.

Corollary 2.6.

then Open image in new window are positive, Open image in new window are negative for all Open image in new window

Proof.

From (2.16), (2.17), and (2.18), the proof is clear.

Corollary 2.7.

then Open image in new window are negative, Open image in new window are positive for all Open image in new window

Proof.

From (2.16), (2.17), and (2.19), the proof is clear.

Corollary 2.8.

Let Open image in new window be solutions of (1.9) with the initial values Open image in new window , then the following statements are true (for all Open image in new window and Open image in new window

(i)if Open image in new window then Open image in new window and Open image in new window ,

(ii)if Open image in new window then Open image in new window and Open image in new window

(iii)if Open image in new window then Open image in new window and Open image in new window

(iv)if Open image in new window then Open image in new window and Open image in new window ,

(v)if Open image in new window then Open image in new window and Open image in new window ,

(vi)if Open image in new window then Open image in new window and Open image in new window .

Proof.

From (2.16) and (2.17), the proof is clear.

Corollary 2.9.

then all solutions of (1.10) are positive.

Proof.

for Open image in new window and Open image in new window .

for Open image in new window and Open image in new window .

From (2.21) and (2.22), all solutions of (1.10) are positive.

Corollary 2.10.

then Open image in new window are positive, Open image in new window are negative for all Open image in new window

Proof.

From (2.21), (2.22) and (2.23), the proof is clear.

Corollary 2.11.

then Open image in new window are negative, Open image in new window are positive for all Open image in new window

Proof.

From (2.21), (2.22) and (2.24), the proof is clear.

Corollary 2.12.

Let Open image in new window be solutions of (1.10) with the initial values Open image in new window , then following statements are true (for all Open image in new window and Open image in new window

(i)if Open image in new window then Open image in new window and Open image in new window ,

(ii)if Open image in new window then Open image in new window and Open image in new window

(iii)if Open image in new window then Open image in new window and Open image in new window

(iv)if Open image in new window then Open image in new window and Open image in new window

(v)if Open image in new window then Open image in new window and Open image in new window

(vi)if Open image in new window then Open image in new window and Open image in new window

Proof.

From (2.21), (2.22), and (2.24), the proof is clear.

Example 2.13.

Let Open image in new window . Then the solutions of (1.9), with the initial values Open image in new window and Open image in new window in its invertal of periodicity can be represented by Table 1.

Table 1

| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
---|---|---|---|---|---|---|---|---|---|---|---|---|

| | | | | | |||||||

| | | | | | |||||||

| | | | | |

## Notes

### Acknowledgment

The authors are grateful to the anonymous referees for their valuable suggestions that improved the quality of this study.

## References

- 1.Papaschinopoulos G, Schinas CJ: On a system of two nonlinear difference equations.
*Journal of Mathematical Analysis and Applications*1998, 219(2):415–426. 10.1006/jmaa.1997.5829MATHMathSciNetCrossRefGoogle Scholar - 2.Camouzis E, Papaschinopoulos G: Global asymptotic behavior of positive solutions on the system of rational difference equations Open image in new window, Open image in new window.
*Applied Mathematics Letters*2004, 17(6):733–737. 10.1016/S0893-9659(04)90113-9MATHMathSciNetCrossRefGoogle Scholar - 3.Çinar C: On the positive solutions of the difference equation system Open image in new window, Open image in new window
*Applied Mathematics and Computation*2004, 158(2):303–305. 10.1016/j.amc.2003.08.073MATHMathSciNetCrossRefGoogle Scholar - 4.Çinar C, Yalçinkaya İ: On the positive solutions of difference equation system Open image in new window, Open image in new window, Open image in new window
*International Mathematical Journal*2004, 5(5):521–524.MATHMathSciNetGoogle Scholar - 5.Clark D, Kulenović MRS: A coupled system of rational difference equations.
*Computers & Mathematics with Applications*2002, 43(6–7):849–867. 10.1016/S0898-1221(01)00326-1MATHMathSciNetCrossRefGoogle Scholar - 6.Grove EA, Ladas G, McGrath LC, Teixeira CT: Existence and behavior of solutions of a rational system.
*Communications on Applied Nonlinear Analysis*2001, 8(1):1–25.MATHMathSciNetGoogle Scholar - 7.Özban AY: On the positive solutions of the system of rational difference equations Open image in new window, Open image in new window
*Journal of Mathematical Analysis and Applications*2006, 323(1):26–32. 10.1016/j.jmaa.2005.10.031MATHMathSciNetCrossRefGoogle Scholar - 8.Özban AY: On the system of rational difference equations Open image in new window, Open image in new window
*Applied Mathematics and Computation*2007, 188(1):833–837. 10.1016/j.amc.2006.10.034MATHMathSciNetCrossRefGoogle Scholar - 9.Papaschinopoulos G, Schinas CJ: On the behavior of the solutions of a system of two nonlinear difference equations.
*Communications on Applied Nonlinear Analysis*1998, 5(2):47–59.MATHMathSciNetGoogle Scholar - 10.Papaschinopoulos G, Schinas CJ: Invariants for systems of two nonlinear difference equations.
*Differential Equations and Dynamical Systems*1999, 7(2):181–196.MATHMathSciNetGoogle Scholar - 11.Papaschinopoulos G, Schinas CJ, Stefanidou G: On a Open image in new window-order system of lyness-type difference equations.
*Advances in Difference Equations*2007, 2007:-13.Google Scholar - 12.Irićanin B, Stević S: Some systems of nonlinear difference equations of higher order with periodic solutions.
*Dynamics of Continuous, Discrete and Impulsive Systems, Series A Mathematical Analysis*2006, 13: 499–507.MATHMathSciNetGoogle Scholar

## Copyright information

This article is published under license to BioMed Central Ltd. 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.