Journal of Function Spaces
Volume 2017 (2017), Article ID 2095805, 4 pages
https://doi.org/10.1155/2017/2095805

Research Article

Periodicities of a System of Difference Equations

Weizhen Quan, Miaoqiao Pan, and Xiaopei Li

Basic Education School, Lingnan Normal University, Zhanjiang, Guangdong 524037, China

Correspondence should be addressed to Xiaopei Li; lixp27333@sina.com

Received 2 May 2017; Revised 3 August 2017; Accepted 1 October 2017; Published 24 December 2017

Academic Editor: Yong H. Wu

Copyright © 2017 Weizhen Quan et al. 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.

Abstract.

We study the periodicities of a system of difference equations , where initial values . We show that if are two periodic sequences, then every solution of the above system is eventually periodic with period 2. If is even, there must be one in and converges to period two solution.

1. Introduction

Difference equations are powerful tool that describe the law of nature. Recently, the theory of difference equations has received extensive attention because it can be applied to many areas of science and technology, such as the fields of information and e-science. Moreover, people pay more attention to the dynamics of max-type difference equations; they are concerned about the research of the period character of solutions and the convergence of positive solutions. Please refer to [1–7].

Szalkai [8] studied the max-type difference equation

where , and at least one of them is nonzero. The initial values are nonzero real numbers, so every solution of this equation is periodic solution. Chen [9] studied the dynamics of max-type difference equation

where is a two-cycle sequence, . The initial values , are nonzero real numbers; then every positive solution of this equation is bounded and persists, and for all . Furthermore, every solution of this equation is periodic with period 4. Yang [10] studied the max-type difference equation

where , ; then every solution of this equation tends to be or is eventually periodic with period 4. Sun et al. [11] studied the dynamics of max-type difference equation

where is a -cycle sequence with . The initial values , are positive real numbers. Let ; if there exist infinitely many such that and , then is eventually equal to 1. every positive solution of this equation is eventually periodic with period 2 provided .

Motivated by the work of above max-type difference equations, the aim of this paper is to investigate the periodicities of a system of max-type difference equations

where initial values ,  , and   are positive sequences. More precisely, we will prove that if are two periodic sequences, then every solution of (5) is eventually periodic with period 2. if is even, then one of and converges to a period two solution.

2. Main Results

Before proceeding with the proof of our main results in this section, we shall need the following lemmas.

Lemma 1. Let be a solution of system (5); then , , and ,   for all .

Proof. By system (5), we have

for all . Hence , , and , . This completes the proof of the lemma.

Lemma 2. Let be a solution of system (5). If , then

Proof. By Lemma 1 and , we obtain that, for any ,

Similarly, we also obtain that, for any ,

This completes the proof of the lemma.

Theorem 3. Let be a solution of system (5) and . Then

(1) is eventually monotonically decreasing. Moreover, if , then ;(2).

Proof. By Lemma 2, if , we have

Similarly, we obtain . Hence

so is eventually monotonically decreasing. On the other hand, by Lemma 1, we know , , so . Hence .
It is easy to know that there are infinitely many such that or , so , or . On the other hand, and . Hence and . Thus

This completes the proof of the theorem.

Lemma 4. Let and . Then there exists such that

for all .

Proof. Let . By Theorem 3, there exists such that :

Then . By Lemma 2, it follows that

Similarly, we obtain . This completes the proof of the lemma.

Lemma 5. There exists a positive integer such that, for all , (if  ), or (if  ).

Proof. Let and be as Lemma 4. By Theorem 3, if , then there exists a monotonically increasing sequence such that . On the other hand, there exists a subsequence of such that . Without loss of generality, we may assume that , (for all ). By Lemma 4, we get

Write . Then for all .
Similarly, we obtain that if , then . This completes the proof of the Lemma.

Lemma 6. (1) If , then there exists an integer such that both the number sequences and are monotonically decreasing, and , for all .
(2) If , then there exists an integer such that both the number sequences and are monotonically decreasing, and , for all .

Proof. Here, we only prove . By Lemma 5, if and , then there exists such that for all . So is monotonically decreasing for all . There exists a constant such that . Hence,

This implies . Without loss of generality, we assume , so

Hence, , and is monotonically decreasing for all . This completes the proof of the Lemma.

Theorem 7. Let be a solution of system (5). If is even, then one of the and is eventually periodic with period 2.

Proof. By Lemma 6, if , then there exists such that both and are monotonically decreasing. We can easily get and for all .
We will prove that is eventually periodic with period 2. Otherwise, there will be infinitely many such that

We take a subsequence and assume , . Since is even, . Take the limit on both sides of the inequality ; hence . Since , , we have , so . This is a contradiction. Therefore is eventually periodic with period 2.
Similarly, we obtain that if , then is eventually periodic with period 2. This completes the proof of the theorem.

Theorem 8. If both and are periodic sequences, then the solution of system (5) converges to a period two solution.

Proof. We will only prove the case of . By Lemma 6, we know that if , then there exists such that both and are monotonically decreasing. We can get and for all easily. So both and are monotonically increasing.
Now, we prove that is eventually periodic with period 2. Assume that is not eventually periodic with period 2; then is not an eventual constant, and there exist infinitely many such that

Therefore

By Lemma 6, we know that is monotonically increasing, not an eventual constant, so is monotonically increasing, not an eventual constant. This is a contradiction. So is eventually periodic with period 2.
Similarly, we obtain that is eventually periodic with period 2. So converges to a period two solution. This completes the proof of the theorem.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

All the authors read and approved the final manuscript.

References

W. J. Briden, E. A. Grove, and G. Ladas, “On the Nonautonomous Equation ,” in Taiwan: Proceedings of the Third International Conference on Difference Equations, pp. 49–73, September 1997.

E. A. Grove, C. M. Kent, and G. Ladas, “On with a period-3 parameter,” Fields Institute Communications, vol. 29, pp. 133–139, 2001.

V. L. Kocic and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Application, Kluwer Academic, Dordrecht, The Netherlands, 1993.

M. R. S. Kulenovic and G. Ladas, Dynamics of The Second Rational Difference Equations with Open Problems and Conjectures, Chapman and Hall, CRC, New York, NY, USA, 2002.

G. Ladas, “Open problems and conjectures,” Journal of Difference Equations and Applications, vol. 2, no. 3, pp. 339–341, 1996.

D. g. Simsek, B. Demir, and C. Cinar, “On the solutions of the system of difference equations , ,” Discrete Dynamics in Nature and Society, vol. 2009, Article ID 325296, 11 pages, 2009.

S. Stevic, “On the recursive sequence ,” Applied Mathematics Letters, vol. 21, no. 8, pp. 791–796, 2008.

I. Szalkai, “On the periodicity of the sequence ,” Journal of Difference Equations and Applications, vol. 5, no. 1, pp. 25–29, 1999.

Y. Chen, “Eventual periodicity of with periodic coefficients,” Journal of Difference Equations and Applications, vol. 11, no. 15, pp. 1289–1294, 2005.

X. Yang, X. Liao, and C. Li, “On a difference equation wtih maximum,” Applied Mathematics and Computation, vol. 181, no. 1, pp. 1–5, 2006.

T. Sun, B. Qin, H. Xi, and C. Han, “Global behavior of the max-type difference equation ,” Abstract and Applied Analysis, vol. 2009, Article ID 152964, 10 pages, 2009.