 Research
 Open Access
 Published:
Boundedness character of a fourthorder system of difference equations
Advances in Difference Equations volume 2015, Article number: 315 (2015)
Abstract
The boundedness character of positive solutions of the following system of difference equations: \(x_{n+1}=A+\frac{y^{p}_{n}}{x_{n3}^{r}}\), \(y_{n+1}=A+\frac {x^{p}_{n}}{y_{n3}^{r}}\), \(n\in{\mathbb{N}}_{0}\), when \(\min\{A,r\}>0\) and \(p\ge0\), is studied.
Introduction
Concrete nonlinear difference equations and systems, especially those which are not closely related to differential ones, have attracted a lot of attention recently (see, for example, [1–33] and the references therein). Among them, symmetric and close to symmetric systems of difference equations, whose study was essentially initiated by Papaschinopoulos and Schinas in the mid1990s, have attracted a considerable interest (see, for example, [4, 7–11, 13, 14, 22–32]). For example, in [7] Papaschinopoulos and Schinas studied the oscillatory behavior, the boundedness character, and the global stability of positive solutions of the following close to symmetric system of difference equations:
where \(A>0\) and \(p,q\in{\mathbb{N}}\). It should be noted that the system is rational. On the other hand, for the case \(p=q\) the system obviously becomes symmetric, that is, it is of the following form:
for some \(k,l\in{\mathbb{N}}\).
On the other hand, a systematic study of positive solutions of nonlinear difference equations containing noninteger powers of their dependent variables began by Stević et al., approximately since the publication of [15], where the first nontrivial results related to the following difference equation were given:
where \(\min\{\alpha ,p\}>0\).
A good prototype including (1) is the following difference equation:
where \(k,l\in{\mathbb{N}}\), \(k\ne l\), \(\min\{\alpha ,r\}>0\), and \(p\ge0\), which was proposed for studying by Stević at numerous talks. Some special cases of this, the corresponding maxtype difference equation or related equations has been studied considerably (see, for example, [1, 2, 5, 12, 16–21, 30, 31] and the references therein).
Motivated by these two lines of investigations Stević has proposed recently studying symmetric and close to symmetric systems of difference equations which, among others, stem from special cases of (2).
Motivated by all above mentioned work, and especially by [19], here we investigate the boundedness character of the solutions of the next system of difference equations
when \(\min\{A,r\}>0\), \(p\ge0\), and \(x_{i},y_{i}>0\), \(i\in\{0,1,2,3\}\). Our results extend and complement some results in [19].
By using the induction and the equations in (3) we see that if \(x_{i},y_{i}>0\), \(i\in\{0,1,2,3\}\), then
which means that positive initial values generate positive solutions of system (3). Moreover, we have
The case \(p=0\) is simple. Namely, in this case by using (4) into (3) is obtained
which means that all positive solutions of system (3) in this case are bounded. In fact, since
they are persistent.
For a solution \((x_{n},y_{n})_{n\ge3}\) of system (3) it is said that it is unbounded if
Otherwise, the solution is bounded, that is, if there is a nonnegative constant M such that
Main results
In this section we prove the main results in this paper, all of which are related to the boundedness character, that is, the boundedness of all positive solutions of system (3) or the existence of an unbounded solution of the system depending on the values of parameters A, p, and r.
Theorem 1
Assume that \(\min\{A, p, r\}>0\) and \(27p^{4}<256r\). Then all positive solutions of system (3) are bounded.
Proof
Using the equations in (3), we have
where
Now using the first equation in (3) in (6) we get
where
Assume that for some \(k\ge2\) we have proved that the following equalities hold:
where the sequences \(a_{k}\), \(b_{k}\), and \(c_{k}\) are defined by
with
Using again the equations in (3) and the recurrent relations in (10), we have
From (6), (7), (12), (14), and the method of induction it follows that (8) and (9) hold for every \(k\ge2\), and for every \(n\geq2k\).
If \(p^{4}>r\), then
From this and by using recurrent relations (10), it follows that \(a_{k}\), \(b_{k}\), and \(c_{k}\) increase, as far as \(a_{k}< p\). On the other hand, (10) implies
Hence, if \(a_{k}< p\) for every \(k\in{\mathbb{N}}\) we see that there is a finite limit \(\lim_{k\to\infty}a_{k}=x^{*}\in(0,p]\), and that \(x^{*}\) is a solution of the equation
We have \(f(0)=f(p)=r\) and \(f'(x)=(xp)^{2}(p4x)\). Hence \(\max_{x\in[0,p]}f(x)=f(p/4)\). Since by a condition of the theorem
we arrive at a contradiction.
This guarantees the existence of the smallest \(l\in{\mathbb{N}}\) such that \(a_{l1}< p\) and \(a_{l}\geq p\). This, along with (13) with \(l=2k_{0}1\), implies that
for \(n\geq2k_{0}+6\), which implies the boundedness of \(x_{n}\) in this case. Due to the symmetry of system (3) the boundedness of \(y_{n}\) follows and consequently the boundedness of the solution. If \(l=2k_{0}2\), then from (11) it follows that
for \(n\geq2k_{0}+5\), which implies the boundedness of \(x_{n}\) in this case.
Due to the symmetry of system (3) we also have
for \(n\geq2k_{0}+5\), which along with the previous inequality implies the boundedness of the solution.
If \(p^{4}\leq r\), then using (4) in (5) we get
for \(n\geq7\), from which the boundedness follows in the case.
Due to the symmetry of system (3) we see that the inequality
holds for \(n\ge7\), from which along with the previous inequality the boundedness of the solution follows. □
Remark 1
Note that if \(a_{k}=p\) for some \(k\in{\mathbb{N}}\), then \(a_{k+1}\), \(b_{k+1}\), and \(c_{k+1}\) are not defined. However, if this happens then above mentioned index l is chosen to be this k. For such chosen l is obtained an upper bound for positive solutions of system (3) in the way described in the proof of Theorem 1.
Theorem 2
Assume that \(\min\{A, p, r\}>0\), \(27p^{4}\ge256r\), and \(p\geq4/3\) (where at least one of these two inequalities is strict), or \(r< p1<1/3\). Then system (3) has positive unbounded solutions.
Proof
Assume that \((x_{n},y_{n})_{n\ge3}\) is a positive solution of (3). Then we have
for \(n\in{\mathbb{N}}_{0}\).
Let
Taking the logarithm of the both sides in (15), (16), then summing such obtained inequalities, it follows that
Let
Then \(P(0)=r\) and
from which it follows that the polynomial \(P(\lambda)\) has a local minimum at \(\lambda=3p/4\), and according to the conditions of the theorem
If \(p>4/3\), then \(3p/4>1\). From this, (19) and since
it follows that there is \(\lambda_{1}>1\) such that \(P(\lambda_{1})=0\). If \(p=4/3\), inequality (19) is strict, \(3p/4=1\), and since (20) holds, we also see that there is \(\lambda_{1}>1\) such that \(P(\lambda_{1})=0\).
Now assume that \(r< p1<1/3\). Then \(P(1)=1p+r<0\) and since (20) holds, we again see that there is \(\lambda_{1}>1\) such that \(P(\lambda_{1})=0\).
Let
and
Then inequality (17) can be written in the following form:
Choose \(x_{i}\), \(y_{i}\), \(i\in\{0,1,2,3\}\), such that \(u_{0}>0\). For example, to get \(u_{0}>0\), it is enough to choose \(x_{i}\), \(y_{i}\), \(i\in\{0,1,2,3\}\), such that
From this and (21) it follows that
Since \(u_{0}>0\) and \(\lambda_{1}>1\), by letting \(n\to\infty\) in (22) we obtain \(u_{n}\to+\infty\) as \(n\to\infty\). If \(z_{n}\) were bounded then \(u_{n}\) would be also bounded, which would be a contradiction. Hence \(z_{n}\) is unbounded. From this and since
we have
that is, the solution of system (3) is unbounded, completing the proof of the theorem. □
Theorem 3
Assume that \(\min\{A, p, r\}>0\) and \(p=r+1\). Then system (3) has positive unbounded solutions.
Proof
Let
Since \(p=r+1\), system (3) is
Multiplying these two equations we easily obtain
from which with \(n=0\), it follows that
Assume that we have proved
Then from (25) and (26) we have
Hence
for every \(n\ge3\). If \(x_{n}y_{n}\) was bounded, then there would be a finite positive \(\lim_{n\to\infty}x_{n}y_{n}=c\). Letting \(n\to\infty\) in the product of equations in (24) we would obtain \(c\ge A^{2}+c\), which would be a contradiction. Hence, all the solutions of (24) satisfying (23) are unbounded. □
Theorem 4
Assume that \(\min\{A, r\}>0\) and \(p\in(0,1)\). Then every positive solution of system (3) is bounded.
Proof
Since \(x_{n}>A\), \(n\in{\mathbb{N}}\), we have
for \(n\ge4\), where \((x_{n},y_{n})_{n\ge3}\) is an arbitrary positive solution of system (3).
Hence
for \(n\ge4\).
Let \((z_{n})_{n\ge4}\) be the solution of the equation
such that \(z_{4}=x_{4}+y_{4}\).
Since
is increasing on \({\mathbb{R}}_{+}\), a simple inductive argument shows that
Since \(p\in(0,1)\) function f is concave, which implies that there is a unique fixed point \(x^{*}\) of f and that the next condition
holds.
If \(z_{4}\in(0,x^{*}]\) condition (31) implies that \((z_{n})_{n\geq4}\) is nondecreasing and bounded above by \(x^{*}\), and if \(z_{4}\geq x^{*}\) that it is nonincreasing and bounded below by \(x^{*}\). Hence \((z_{n})_{n\geq4}\) is bounded, which along with (30) implies the boundedness of \((x_{n})_{n\geq4}\) and \((y_{n})_{n\geq4}\), from which the result easily follows. □
In the next theorem we use the fact that the comparison equation is a linear first order difference equation, which is solvable in closed form. For recent application of this and related equations see, for example, [4, 22, 23, 25–29, 33].
Theorem 5
Assume that \(p=1\), \(r>0\), and \(A>\sqrt[r]{2}\). Then every positive solution of system (3) is bounded.
Proof
From the proof of Theorem 4 we see that any positive solution \((x_{n},y_{n})_{n\ge3}\) of system (3) satisfies (28) with \(p=1\).
Let \((z_{n})_{n\ge4}\) be the solution of the equation
such that \(z_{4}=x_{4}+y_{4}\). Then clearly (30) also holds.
It is well known that (32) is solvable. Using its solution in closed form is easily proved that
from which the boundedness of \((z_{n})_{n\geq4}\) follows. This fact along with (30) implies the boundedness of \((x_{n})_{n\geq4}\) and \((y_{n})_{n\geq4}\), from which the result easily follows. □
Remark 2
The boundedness character of positive solutions of system (3) in the following two cases:

(a)
\(r\leq27p^{4}/256\), \(1< p< r+1\), \(r<1/3\);

(b)
\(r\leq27p^{4}/256\), \(p=1\), \(A\in(0,\sqrt[r]{2}]\),
is not known to us. Hence, we leave the cases to the interested reader.
References
Berenhaut, K, Foley, J, Stević, S: The global attractivity of the rational difference equation \(y_{n}=1+(y_{nk}/y_{nm})\). Proc. Am. Math. Soc. 135(1), 11331140 (2007)
Berenhaut, K, Stević, S: The behaviour of the positive solutions of the difference equation \(x_{n}=A+({x_{n2}}/{x_{n1}})^{p}\). J. Differ. Equ. Appl. 12(9), 909918 (2006)
Berezansky, L, Braverman, E: On impulsive BevertonHolt difference equations and their applications. J. Differ. Equ. Appl. 10(9), 851868 (2004)
Berg, L, Stević, S: On some systems of difference equations. Appl. Math. Comput. 218, 17131718 (2011)
Iričanin, B, Stević, S: On a class of thirdorder nonlinear difference equations. Appl. Math. Comput. 213, 479483 (2009)
Karakostas, GL: Asymptotic 2periodic difference equations with diagonally selfinvertible responses. J. Differ. Equ. Appl. 6, 329335 (2000)
Papaschinopoulos, G, Schinas, CJ: On a system of two nonlinear difference equations. J. Math. Anal. Appl. 219(2), 415426 (1998)
Papaschinopoulos, G, Schinas, CJ: On the behavior of the solutions of a system of two nonlinear difference equations. Commun. Appl. Nonlinear Anal. 5(2), 4759 (1998)
Papaschinopoulos, G, Schinas, CJ: Invariants for systems of two nonlinear difference equations. Differ. Equ. Dyn. Syst. 7(2), 181196 (1999)
Papaschinopoulos, G, Schinas, CJ: Invariants and oscillation for systems of two nonlinear difference equations. Nonlinear Anal. TMA 46(7), 967978 (2001)
Papaschinopoulos, G, Schinas, CJ: On the dynamics of two exponential type systems of difference equations. Comput. Math. Appl. 64(7), 23262334 (2012)
Papaschinopoulos, G, Schinas, CJ, Stefanidou, G: On the nonautonomous difference equation \(x_{n+1}=A_{n}+(x_{n1}^{p}/x_{n}^{q})\). Appl. Math. Comput. 217, 55735580 (2011)
Stefanidou, G, Papaschinopoulos, G, Schinas, C: On a system of max difference equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A 14(6), 885903 (2007)
Stefanidou, G, Papaschinopoulos, G, Schinas, C: On a system of two exponential type difference equations. Commun. Appl. Nonlinear Anal. 17(2), 113 (2010)
Stević, S: On the recursive sequence \(x_{n+1}=\alpha +({x_{n1}^{p}}/{x_{n}^{p}})\). J. Appl. Math. Comput. 18(12), 229234 (2005)
Stević, S: On the recursive sequence \(x_{n+1}=A+({x_{n}^{p}}/{x_{n1}^{r}})\). Discrete Dyn. Nat. Soc. 2007, Article ID 40963 (2007)
Stević, S: On the recursive sequence \(x_{n+1}=\max\{c, {x^{p}_{n}}/{x_{n1}^{p}}\}\). Appl. Math. Lett. 21(8), 791796 (2008)
Stević, S: Boundedness character of a class of difference equations. Nonlinear Anal. TMA 70, 839848 (2009)
Stević, S: Boundedness character of a fourth order nonlinear difference equation. Chaos Solitons Fractals 40, 23642369 (2009)
Stević, S: On a generalized maxtype difference equation from automatic control theory. Nonlinear Anal. TMA 72, 18411849 (2010)
Stević, S: On a nonlinear generalized maxtype difference equation. J. Math. Anal. Appl. 376, 317328 (2011)
Stević, S: On a solvable rational system of difference equations. Appl. Math. Comput. 219, 28962908 (2012)
Stević, S: On a thirdorder system of difference equations. Appl. Math. Comput. 218, 76497654 (2012)
Stević, S: On some periodic systems of maxtype difference equations. Appl. Math. Comput. 218, 1148311487 (2012)
Stević, S: Solutions of a maxtype system of difference equations. Appl. Math. Comput. 218, 98259830 (2012)
Stević, S: Domains of undefinable solutions of some equations and systems of difference equations. Appl. Math. Comput. 219, 1120611213 (2013)
Stević, S: Representation of solutions of bilinear difference equations in terms of generalized Fibonacci sequences. Electron. J. Qual. Theory Differ. Equ. 2014, Article No. 67 (2014)
Stević, S, Alghamdi, MA, Alotaibi, A, Elsayed, EM: Solvable producttype system of difference equations of second order. Electron. J. Differ. Equ. 2015, Article No. 169 (2015)
Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: On a higherorder system of difference equations. Electron. J. Qual. Theory Differ. Equ. 2013, Article No. 47 (2013)
Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: On a nonlinear second order system of difference equations. Appl. Math. Comput. 219, 1138811394 (2013)
Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: Longterm behavior of positive solutions of a system of maxtype difference equations. Appl. Math. Comput. 235, 567574 (2014)
Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: Boundedness character of a maxtype system of difference equations of second order. Electron. J. Qual. Theory Differ. Equ. 2014, Article No. 45 (2014)
Stević, S, Diblík, J, Iričanin, B, Šmarda, Z: Solvability of nonlinear difference equations of fourth order. Electron. J. Differ. Equ. 2014, Article No. 264 (2014)
Acknowledgements
The work of Stevo Stević is supported by the Serbian Ministry of Education and Science projects III 41025 and III 44006. The work of Bratislav Iričanin is supported by the Serbian Ministry of Education and Science projects III 41025 and OI 171007. The work of Zdeněk Šmarda was realized in CEITEC  Central European Institute of Technology with research infrastructure supported by the project CZ.1.05/1.1.00/02.0068 financed from European Regional Development Fund. He was also supported by the project FEKTS142200 of Brno University of Technology.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Stević, S., Iričanin, B. & Šmarda, Z. Boundedness character of a fourthorder system of difference equations. Adv Differ Equ 2015, 315 (2015). https://doi.org/10.1186/s136620150644y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620150644y
MSC
 39A10
 39A20
Keywords
 system of difference equations
 bounded solutions
 unbounded solutions
 positive solutions