Volume 2014, Issue 1 982378

Research Article

Open Access

On the Periodicity of Some Classes of Systems of Nonlinear Difference Equations

Stevo Stević,

Corresponding Author

Stevo Stević

[email protected]

Mathematical Institute of the Serbian Academy of Sciences, Knez Mihailova 36/III, 11000 Beograd, Serbia sanu.ac.rs

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author

Mohammed A. Alghamdi,

Mohammed A. Alghamdi

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author

Dalal A. Maturi,

Dalal A. Maturi

Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 42641, Jeddah 21551, Saudi Arabia kau.edu.sa

Search for more papers by this author

Naseer Shahzad,

Naseer Shahzad

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author

Stevo Stević,

Corresponding Author

Stevo Stević

[email protected]

Mathematical Institute of the Serbian Academy of Sciences, Knez Mihailova 36/III, 11000 Beograd, Serbia sanu.ac.rs

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author

Mohammed A. Alghamdi,

Mohammed A. Alghamdi

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author

Dalal A. Maturi,

Dalal A. Maturi

Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 42641, Jeddah 21551, Saudi Arabia kau.edu.sa

Search for more papers by this author

Naseer Shahzad,

Naseer Shahzad

Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia kau.edu.sa

Search for more papers by this author

First published: 23 January 2014

https://doi.org/10.1155/2014/982378

Citations: 3

Academic Editor: Josef Diblik

Share a link

Email
Wechat
Bluesky

Abstract

Some classes of systems of difference equations whose all well-defined solutions are periodic are presented in this note.

1. Introduction

There has been a great recent interest in studying difference equations and systems of difference equations which do not stem from differential ones (see, e.g., [1–19] and the references therein). For some results on concrete systems of nonlinear difference equations, see, for example, [1, 3–5, 9–12, 18, 19]. Some classical results in the topic can be found, for example, in book [20].

Solution

, of the system of difference equations

(1)

where n ∈ ℕ₀ and k = max⁡{k₁, …, k_l}, is called eventually periodic with period p, if there is an n₁ ≥ −k such that

(2)

for every

, and n ≥ n₁. It is periodic with period p if n₁ = −k. Period p is prime if there is no

, which is a period. If all well-defined solutions of an equation or a system of difference equations are eventually periodic with the same period, then such an equation or system is called periodic. For some results on the periodicity, asymptotic periodicity and periodic equations or systems of difference equations see, for example, [1–10, 12–14, 16–19] and the related references therein.

In recent paper [19], the authors formulated four results which claim that the following systems of difference equations are periodic with period ten:

(3)

(4)

(5)

(6)

First, we show that all the results in [19] follow from known ones in the literature and also present some extensions of these results in the spirit of systems (3)–(6). To do this, we will use a system of difference equations related to the following, so called, Lyness difference equation:

(7)

It is easy to see that every well-defined solution of (7) is periodic with period five. The equation arises in frieze patterns (for the original sources, see [21–23]).

Studying max-type equations and systems of difference equations is another topic of a recent interest (see, e.g, [2, 3, 5–7, 10, 11, 15–19]).

Some special cases of the following max-type difference equation:

(8)

where s, k ∈ ℕ, and

, have been studied, for example, in [2, 16]. Positive solutions of (8) are periodic in many cases. However, if

is not a positive sequence, it was shown in [2] that (8) can have unbounded solutions.

In [5], it was shown that all solutions of the following max-type system of difference equations:

(9)

where x₀, x₋₁, y₀, y₋₁∈(0, +∞) and

are positive two-periodic sequences, are eventually periodic with, not necessarily prime, period two. This was done by direct calculation.

By using direct calculation, it can be easily shown that positive solutions of the following max-type system of difference equations:

(10)

where

and

are positive two-periodic sequences, are also periodic.

Here, we give a noncalculatory explanation of the fact by proving that positive solutions of the following max-type system of difference equations:

(11)

where s, k ∈ ℕ, and

are positive periodic sequences of a certain period, are also periodic. We also present another extension of the result.

2. Some Extensions of Systems (3)–(6)

In this section, we present some periodic systems of difference equations in the spirit of systems (3)–(6).

Theorem 1. Consider the following system of difference equations

(12)

where k ∈ ℕ∖{1}, and functions f_j,

, are continuous on their domains; map the set ℝ∖{0} onto itself and, for each fixed j ∈ {1, …, k}, f_j is simultaneously increasing or decreasing on the intervals (−∞, 0) and (0, +∞).

Then the following statements hold.

(a)
If k≢0(mod⁡ 5), then every well-defined solution of system (12) is periodic with period 5k.
(b)
If k ≡ 0(mod⁡ 5), then every well-defined solution of system (12) is periodic with period k.

Proof. From the conditions of the theorem, it follows that for each j ∈ {1, …, k}, there is which continuously map the set ℝ∖{0} onto itself. Using the change of variables

(13)

system (12) is easily transformed into the next one

(14)

for k = 2,

(15)

for k = 3, and

(16)

for k ≥ 4. In [4], it was proved that, if k≢ (mod⁡ 5), then every well-defined solution of systems (14)–(16) is periodic with period 5k, and, if k ≡ 0(mod⁡ 5), then every well-defined solution of systems (14)–(16) is periodic with period k. Using this along with the fact

(17)

following from (13), the results in (a) and (b) follow.

The following theorem is proved in a similar way. Therefore, the proof will be omitted.

Theorem 2. Consider the following system of difference equations

(18)

where k ∈ ℕ∖{1}, and functions f_j,

, are continuous on their domains; map the set ℝ∖{0} onto itself and, for each fixed j ∈ {1, …, k}, f_j is simultaneously increasing or decreasing on the intervals (−∞, 0) and (0, +∞).

Then the following statements hold.

(a)
If k≢0(mod⁡ 5), then every well-defined solution of system (18) is periodic with period 5k.
(b)
If k ≡ 0(mod⁡ 5), then every well-defined solution of system (18) is periodic with period k.

Now, we show that all the results on the periodicity of the solutions of systems (3)–(6) in [19] follow from Theorems 1 and 2.

Corollary 3. Systems of difference equations (3)–(6) are all periodic with period ten.

Proof. For the systems of difference equations (3)–(6), we use the following changes of variables, respectively:

(19)

By using them, systems (3)–(6) are transformed into system (14). By applying Theorem 1(a), ten-periodicity of all well-defined solutions of system (14) follows, from which ten-periodicity of all well-defined solutions of systems (3)–(6) follows.

The following four examples are natural extensions of systems (3)–(6).

Example 4. If we use the following functions:

(20)

where l and m are odd integers, we see that all the conditions in Theorem 1 are applied with k = 2, so by using the theorem we obtain that the system of difference equations

(21)

n ∈ ℕ₀, is also periodic with period ten.

Example 5. For

(22)

where l and m are also odd integers, all the conditions of Theorem 1 are again satisfied with k = 2. Using the theorem, it follows that the system

(23)

n ∈ ℕ₀, is ten-periodic.

Example 6. For

(24)

where l and m are odd integers, all the conditions of Theorem 1 are also satisfied with k = 2. Applying the theorem, it follows that the system

(25)

n ∈ ℕ₀, is ten-periodic.

Example 7. Finally, for

(26)

where l and m are odd integers and applying Theorem 1 with k = 2, we get that the system

(27)

n ∈ ℕ₀, is ten-periodic.

The main results in [4] can be relatively easily extended to a very general situation, which have been noticed by Iričanin and Stević soon after publishing [4], and later also proved by several other authors. Namely, the following result holds (see, e.g., [1]).

Theorem 8. Assume that the following difference equation

(28)

is periodic with period p.

Then the following system of difference equations

(29)

where σ(i) = i + 1, for 1 ≤ i ≤ l − 1, σ(l) = 1 and σ^[j](i) = σ(σ^[j−1](i)),

, and σ^[0](i) = i,

, is periodic with period lcm (p, l) (the least common multiple of numbers p and l).

Theorem 8 can be used in constructing numerous periodic cyclic systems of difference equations based on scalar periodic difference equations, which, with some changes of variables, give some other periodic cyclic systems of difference equations.

3. Periodicity of Positive Solutions of System (11)

In this section, we study positive solutions of system (11). By gcd(s, k), we denote the greatest common divisor of natural numbers s and k.

Theorem 9. Consider system (11). Assume that s, k ∈ ℕ, and and are positive k gcd (s, k)-periodic sequences. Then every positive solution of system (11) is periodic with, not necessarily prime, period

(30)

Proof. Let r = gcd(s, k). Then we have that s = rs₁ and k = rk₁ for some s₁, k₁ ∈ ℕ such that

(31)

Since every n ∈ ℕ₀ can be written as n = mr + i, for some m ∈ ℕ₀ and , system (11) becomes

(32)

for every m ∈ ℕ₀ and

Using the next change of variables

(33)

where t ≥ −max⁡{s₁, k₁},

, in (32), we have that

, are r independent solutions of the next systems

(34)

which are systems of the form in (11) with s₁ and k₁ instead of s and k, and where the sequences

and

, are k-periodic.

Hence, it is enough to prove the theorem when gcd(s, k) = 1 and the sequences , and are positive k-periodic.

Now note that from the equations in (11), we have that

(35)

Further, by using the equations in (11), we also get

(36)

for n ≥ k.

Using relations (36), we get

(37)

for n ≥ 3k.

Now, note that, from the inequalities in (35), we have that

(38)

Using (38) and k-periodicity of the sequences A_n and B_n, we obtain

(39)

Employing (39) into (37), we get

(40)

from which it follows that in this case the solutions of system (11) are 2k-periodic. From all the above, the theorem follows.

By a slight modification of the proof of Theorem 9, the next result can be proved. We omit the proof.

Theorem 10. Consider the following system of difference equations

(41)

where s, k ∈ ℕ, and

, and

are positive k gcd (s, k)-periodic sequences. Then, every positive solution of system (41) is periodic with, not necessarily prime, period

(42)

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, under Grant no. (11-130/1433 HiCi). The authors, therefore, acknowledge technical and financial support of KAU.

References

1 Bastien G. and Rogalski M., Global behaviour of solutions of cyclic systems of q order 2 or 3 generalized Lyness′ difference equations and of other more general equations of higher order, Journal of Difference Equations and Applications. (2011) 17, no. 11, 1651–1672, https://doi.org/10.1080/10236191003730555, MR2846506, ZBL1247.37037.
10.1080/10236191003730555
Web of Science® Google Scholar
2 Elsayed E. M., Iričanin B., and Stević S., On the max-type equation x_n+1 = max{A_n/x_n, x_n−1}, Ars Combinatoria. (2010) 95, 187–192, MR2656259, ZBL1249.39011.
Web of Science® Google Scholar
3 Grove E. A. and Ladas G., Periodicities in Nonlinear Difference Equations, 2005, 4, Chapman & Hall, CRC Press, Boca Raton, Fla, USA, Advances in Discrete Mathematics and Applications, MR2193366.
Google Scholar
4 Iričanin B. D. and Stević S., Some systems of nonlinear difference equations of higher order with periodic solutions, Dynamics of Continuous, Discrete & Impulsive Systems A. (2006) 13, no. 3-4, 499–507, MR2220850, ZBL1098.39003.
Web of Science® Google Scholar
5 Iričanin B. D. and Touafek N., On a second-order max-type system of difference equations, Indian Journal of Mathematics. (2012) 54, no. 1, 119–142, MR2976779, ZBL1262.39014.
Google Scholar
6 Kent C. M., Kustesky M., Nguyen A. Q., and Nguyen B. V., Eventually periodic solutions of x_n+1 = max{A_n/x_n, B_n/x_n−1} when the parameters are two cycles, Dynamics of Continuous, Discrete & Impulsive Systems A. (2003) 10, no. 1–3, 33–49, MR1974229, ZBL1038.39006.
Google Scholar
7 Kent C. M. and Radin M. A., On the boundedness nature of positive solutions of the difference equation x_n+1 = max{A_n/x_n, B_n/x_n−1} with periodic parameters, Dynamics of Continuous, Discrete & Impulsive Systems B. (2003) no. supplement, 11–15, MR2015782.
Google Scholar
8 Kosmala W., A period 5 difference equation, International Journal of Nonlinear Analysis and Applications. (2011) 2, no. 1, 82–84.
Google Scholar
9 Papaschinopoulos G. and Schinas C. J., On the behavior of the solutions of a system of two nonlinear difference equations, Communications on Applied Nonlinear Analysis. (1998) 5, no. 2, 47–59, MR1621223, ZBL1110.39301.
Google Scholar
10 Papaschinopoulos G. and Schinas C. J., Invariants for systems of two nonlinear difference equations, Differential Equations and Dynamical Systems. (1999) 7, no. 2, 181–196, MR1860787, ZBL0978.39014.
Google Scholar
11 Papaschinopoulos G., Schinas J., and Hatzifilippidis V., Global behavior of the solutions of a max-equation and of a system of two max-equations, Journal of Computational Analysis and Applications. (2003) 5, no. 2, 237–254, https://doi.org/10.1023/A:1022833112788, MR1980394, ZBL1034.39008.
10.1023/A:1022833112788
Google Scholar
12 Stević S., A global convergence results with applications to periodic solutions, Indian Journal of Pure and Applied Mathematics. (2002) 33, no. 1, 45–53, MR1879782.
Web of Science® Google Scholar
13 Stević S., On the recursive sequence x_n+1 = α_n + x_n−1/x_n II, Dynamics of Continuous, Discrete & Impulsive Systems A. (2003) 10, no. 6, 911–916, MR2008754.
Google Scholar
14 Stević S., A short proof of the Cushing-Henson conjecture, Discrete Dynamics in Nature and Society. (2006) 2006, 5, 37264, https://doi.org/10.1155/DDNS/2006/37264, MR2272408, ZBL1149.39300.
10.1155/DDNS/2006/37264
Web of Science® Google Scholar
15 Stević S., Global stability of a difference equation with maximum, Applied Mathematics and Computation. (2009) 210, no. 2, 525–529, https://doi.org/10.1016/j.amc.2009.01.050, MR2509928, ZBL1167.39007.
10.1016/j.amc.2009.01.050
Web of Science® Google Scholar
16 Stević S., Periodicity of max difference equations, Utilitas Mathematica. (2010) 83, 69–71, MR2742275, ZBL1236.39018.
Web of Science® Google Scholar
17 Stević S., Periodicity of a class of nonautonomous max-type difference equations, Applied Mathematics and Computation. (2011) 217, no. 23, 9562–9566, https://doi.org/10.1016/j.amc.2011.04.022, MR2811231, ZBL1225.39018.
10.1016/j.amc.2011.04.022
Web of Science® Google Scholar
18 Stević S., On some periodic systems of max-type difference equations, Applied Mathematics and Computation. (2012) 218, no. 23, 11483–11487, https://doi.org/10.1016/j.amc.2012.04.077, MR2943993, ZBL06242149.
10.1016/j.amc.2012.04.077
Web of Science® Google Scholar
19 Touafek N. and Elsayed E. M., On the periodicity of some systems of nonlinear difference equations, Bulletin Mathématique de la Société des Sciences Mathématiques de Roumanie. Nouvelle Série. (2012) 55, no. 2, 217–224, MR3075336, ZBL1274.39032.
Web of Science® Google Scholar
20 Levy H. and Lessman F., Finite Difference Equations, 1961, Macmillan, New York, NY, USA, MR0118984.
10.1063/1.3057516
Google Scholar
21 Lyness R. C., Notes 1581, The Mathematical Gazette. (1942) 26.
Google Scholar
22 Lyness R. C., Notes 1847, The Mathematical Gazette. (1945) 29.
Google Scholar
23 Lyness R. C., Notes 2952, The Mathematical Gazette. (1961) 45.
Google Scholar

Citing Literature

All articles

On the Periodicity of Some Classes of Systems of Nonlinear Difference Equations

Abstract

1. Introduction

2. Some Extensions of Systems (3)–(6)

3. Periodicity of Positive Solutions of System (11)

Conflict of Interests

Acknowledgments

References

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

On the Periodicity of Some Classes of Systems of Nonlinear Difference Equations

Abstract

1. Introduction

2. Some Extensions of Systems (3)–(6)

3. Periodicity of Positive Solutions of System (11)

Conflict of Interests

Acknowledgments

References

Citing Literature

References

Related

Information