Advances in Difference Equations

, 2015:315 | Cite as

Boundedness character of a fourth-order system of difference equations

  • Stevo Stević
  • Bratislav Iričanin
  • Zdeněk Šmarda
Open Access
Research

Abstract

The boundedness character of positive solutions of the following system of difference equations: \(x_{n+1}=A+\frac{y^{p}_{n}}{x_{n-3}^{r}}\), \(y_{n+1}=A+\frac {x^{p}_{n}}{y_{n-3}^{r}}\), \(n\in{\mathbb{N}}_{0}\), when \(\min\{A,r\}>0\) and \(p\ge0\), is studied.

Keywords

system of difference equations bounded solutions unbounded solutions positive solutions 

MSC

39A10 39A20 

1 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, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 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 mid-1990s, have attracted a considerable interest (see, for example, [4, 7, 8, 9, 10, 11, 13, 14, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 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:
$$x_{n+1}=A+\frac{y_{n}}{x_{n-p}},\qquad y_{n+1}=A+ \frac{x_{n}}{y_{n-q}},\quad n\in{\mathbb{N}}_{0}, $$
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:
$$x_{n}=f(x_{n-k},y_{n-l}),\qquad y_{n}=f(y_{n-k},x_{n-l}), \quad n\in{\mathbb{N}}_{0}, $$
for some \(k,l\in{\mathbb{N}}\).
On the other hand, a systematic study of positive solutions of nonlinear difference equations containing non-integer 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:
$$ x_{n+1}=\alpha +\frac{x_{n-1}^{p}}{x_{n}^{p}}, \quad n\in{\mathbb {N}}_{0}, $$
(1)
where \(\min\{\alpha ,p\}>0\).
A good prototype including (1) is the following difference equation:
$$ x_{n}=\alpha +\frac{x_{n-k}^{p}}{x_{n-l}^{r}},\quad n\in{\mathbb{N}}_{0}, $$
(2)
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 max-type difference equation or related equations has been studied considerably (see, for example, [1, 2, 5, 12, 16, 17, 18, 19, 20, 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
$$ x_{n+1}=A+\frac{y^{p}_{n}}{x_{n-3}^{r}},\qquad y_{n+1}=A+ \frac{x^{p}_{n}}{y_{n-3}^{r}},\quad n\in{\mathbb{N}}_{0}, $$
(3)
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
$$\min\{x_{n},y_{n}\}>0,\quad n\ge-3, $$
which means that positive initial values generate positive solutions of system (3). Moreover, we have
$$ \min\{x_{n},y_{n}\}>A,\quad n\in{\mathbb{N}}. $$
(4)
The case \(p=0\) is simple. Namely, in this case by using (4) into (3) is obtained
$$\max\{x_{n+1},y_{n+1}\}< A+\frac{1}{A^{r}}, \quad n\ge4, $$
which means that all positive solutions of system (3) in this case are bounded. In fact, since
$$A< \min\{x_{n},y_{n}\}\le\max\{x_{n},y_{n} \}< A+\frac{1}{A^{r}}, \quad n\ge5, $$
they are persistent.
For a solution \((x_{n},y_{n})_{n\ge-3}\) of system (3) it is said that it is unbounded if
$$\sup_{n\ge-3}\bigl\Vert (x_{n},y_{n})\bigr\Vert _{{\mathbb{R}}^{2}}=\sup_{n\ge -3}\sqrt{x_{n}^{2}+y_{n}^{2}}=+ \infty. $$
Otherwise, the solution is bounded, that is, if there is a nonnegative constant M such that
$$\sup_{n\ge-3}\bigl\Vert (x_{n},y_{n})\bigr\Vert _{{\mathbb{R}}^{2}}\le M< +\infty. $$

2 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
$$\begin{aligned} x_{n+1} =&A+\frac{y^{p}_{n}}{x_{n-3}^{r}} \\ =&A+ \biggl(\frac{y_{n}}{x_{n-3}^{\frac{r}{p}}} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\frac{x_{n-1}^{p}}{x_{n-3}^{\frac{r}{p}}y_{n-4}^{r}} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{x_{n-1}}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}} \biggr)^{p} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \frac{y_{n-2}^{p}}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}x_{n-5}^{r}} \biggr)^{p} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl( \frac{y_{n-2}}{x_{n-3}^{\frac{r}{p^{3}}}y_{n-4}^{\frac{r}{p^{2}}}x_{n-5}^{\frac{r}{p}}} \biggr)^{p} \biggr)^{p} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl( \frac{A}{x_{n-3}^{\frac{r}{p^{3}}}y_{n-4}^{\frac{r}{p^{2}}}x_{n-5}^{\frac{r}{p}}}+ \frac{x_{n-3}^{p-\frac{r}{p^{3}}}}{y_{n-4}^{\frac{r}{p^{2}}}x_{n-5}^{\frac{r}{p}}y_{n-6}^{r}} \biggr)^{p} \biggr)^{p} \biggr)^{p} \end{aligned}$$
(5)
$$\begin{aligned} =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl( \frac{A}{x_{n-3}^{\frac{r}{p^{3}}}y_{n-4}^{\frac{r}{p^{2}}}x_{n-5}^{\frac{r}{p}}} \\ &{}+ \biggl(\frac{x_{n-3}}{y_{n-4}^{\frac{r}{p^{2}}/(p-\frac{r}{p^{3}})}x_{n-5}^{\frac{r}{p}/(p-\frac{r}{p^{3}})}y_{n-6}^{r/(p-\frac{r}{p^{3}})}} \biggr)^{p-\frac{r}{p^{3}}} \biggr)^{p} \biggr)^{p} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl( \frac{A}{x_{n-3}^{\frac{r}{p^{3}}}y_{n-4}^{\frac{r}{p^{2}}}x_{n-5}^{\frac{r}{p}}} + \biggl(\frac{x_{n-3}}{y_{n-4}^{a_{1}}x_{n-5}^{b_{1}}y_{n-6}^{c_{1}}} \biggr)^{p-\frac{r}{p^{3}}} \biggr)^{p} \biggr)^{p} \biggr)^{p}, \end{aligned}$$
(6)
where
$$a_{1}:=\frac{r}{p^{2}} \Big/ \biggl(p-\frac{r}{p^{3}} \biggr),\qquad b_{1}=\frac{r}{p} \Big/ \biggl(p-\frac{r}{p^{3}} \biggr),\qquad c_{1}:=r \big/ \biggl(p-\frac{r}{p^{3}} \biggr). $$
Now using the first equation in (3) in (6) we get
$$\begin{aligned} x_{n+1} =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl(\cdots+ \biggl(\frac{A}{y_{n-4}^{a_{1}}x_{n-5}^{b_{1}}y_{n-6}^{c_{1}}}+\frac {y_{n-4}^{p-a_{1}}}{x_{n-5}^{b_{1}}y_{n-6}^{c_{1}}x_{n-7}^{r}} \biggr)^{p-\frac{r}{p^{3}}} \biggr)^{p} \biggr)^{p} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl(\cdots+ \biggl(\frac{A}{y_{n-4}^{a_{1}}x_{n-5}^{b_{1}}y_{n-6}^{c_{1}}} \\ &{}+ \biggl(\frac{y_{n-4}}{x_{n-5}^{\frac{b_{1}}{p-a_{1}}}y_{n-6}^{\frac {c_{1}}{p-a_{1}}}x_{n-7}^{\frac{r}{p-a_{1}}}} \biggr)^{p-a_{1}} \biggr)^{p-\frac{r}{p^{3}}} \biggr)^{p} \biggr)^{p} \biggr)^{p} \\ =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl(\cdots+ \biggl(\frac{A}{y_{n-4}^{a_{1}}x_{n-5}^{b_{1}}y_{n-6}^{c_{1}}} \\ &{}+ \biggl(\frac{y_{n-4}}{x_{n-5}^{a_{2}}y_{n-6}^{b_{2}}x_{n-7}^{c_{2}}} \biggr)^{p-a_{1}} \biggr)^{p-\frac{r}{p^{3}}} \biggr)^{p} \biggr)^{p} \biggr)^{p}, \end{aligned}$$
(7)
where
$$a_{2}:=\frac{b_{1}}{p-a_{1}}, \qquad b_{2}=\frac{c_{1}}{p-a_{1}}, \qquad c_{2}:=\frac {r}{p-a_{1}}. $$
Assume that for some \(k\ge2\) we have proved that the following equalities hold:
$$\begin{aligned} x_{n+1} =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl( \frac {x_{n-2k+1}}{y_{n-2k}^{a_{2k-3}}x_{n-2k-1}^{b_{2k-3}}y_{n-2k-2}^{c_{2k-3}}} \biggr)^{p-a_{2k-4}} \cdots \biggr)^{p} \end{aligned}$$
(8)
$$\begin{aligned} =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac {y_{n-2k}}{x_{n-2k-1}^{a_{2k-2}}y_{n-2k-2}^{b_{2k-2}}x_{n-2k-3}^{c_{2k-2}}} \biggr)^{p-a_{2k-3}} \cdots \biggr)^{p}, \end{aligned}$$
(9)
where the sequences \(a_{k}\), \(b_{k}\), and \(c_{k}\) are defined by
$$ a_{k+1}=\frac {b_{k}}{p-a_{k}}, \qquad b_{k+1}=\frac{c_{k}}{p-a_{k}}, \qquad c_{k+1}=\frac{r}{p-a_{k}}, $$
(10)
with
$$a_{0}=\frac{r}{p^{3}},\qquad b_{0}=\frac{r}{p^{2}}, \qquad c_{0}=\frac{r}{p}. $$
Using again the equations in (3) and the recurrent relations in (10), we have
$$\begin{aligned}& x_{n+1}=A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac {y_{n-2k}}{x_{n-2k-1}^{a_{2k-2}}y_{n-2k-2}^{b_{2k-2}}x_{n-2k-3}^{c_{2k-2}}} \biggr)^{p-a_{2k-3}} \cdots \biggr)^{p} \\& \hphantom{x_{n+1}}=A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac {A}{x_{n-2k-1}^{a_{2k-2}}y_{n-2k-2}^{b_{2k-2}}x_{n-2k-3}^{c_{2k-2}}} \\& \hphantom{x_{n+1}={}}{}+ \frac {x_{n-2k-1}^{p-a_{2k-2}}}{y_{n-2k-2}^{b_{2k-2}}x_{n-2k-3}^{c_{2k-2}}y_{n-2k-4}^{r}} \biggr)^{p-a_{2k-3}} \cdots \biggr)^{p} \end{aligned}$$
(11)
$$\begin{aligned}& \hphantom{x_{n+1}}=A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac {A}{x_{n-2k-1}^{a_{2k-2}}y_{n-2k-2}^{b_{2k-2}}x_{n-2k-3}^{c_{2k-2}}} \\& \hphantom{x_{n+1}={}}{}+ \biggl(\frac{x_{n-2k-1}}{y_{n-2k-2}^{\frac {b_{2k-2}}{p-a_{2k-2}}}x_{n-2k-3}^{\frac {c_{2k-2}}{p-a_{2k-2}}}y_{n-2k-4}^{\frac{r}{p-a_{2k-2}}}} \biggr)^{p-a_{2k-2}} \biggr)^{p-a_{2k-3}} \cdots \biggr)^{p} \\& \hphantom{x_{n+1}}=A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac {A}{x_{n-2k-1}^{a_{2k-2}}y_{n-2k-2}^{b_{2k-2}}x_{n-2k-3}^{c_{2k-2}}} \\& \hphantom{x_{n+1}={}}{}+ \biggl(\frac {x_{n-2k-1}}{y_{n-2k-2}^{a_{2k-1}}x_{n-2k-3}^{b_{2k-1}}y_{n-2k-4}^{c_{2k-1}}} \biggr)^{p-a_{2k-2}} \biggr)^{p-a_{2k-3}} \cdots \biggr)^{p}, \end{aligned}$$
(12)
$$\begin{aligned}& x_{n+1}=A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac {A}{y_{n-2k-2}^{a_{2k-1}}x_{n-2k-3}^{b_{2k-1}}y_{n-2k-4}^{c_{2k-1}}} \\& \hphantom{x_{n+1}={}}{}+ \frac {y_{n-2k-2}^{p-a_{2k-1}}}{x_{n-2k-3}^{b_{2k-1}}y_{n-2k-4}^{c_{2k-1}}x_{n-2k-5}^{r}} \biggr)^{p-a_{2k-2}} \cdots \biggr)^{p} \end{aligned}$$
(13)
$$\begin{aligned}& \hphantom{x_{n+1}}=A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac{y_{n-2k-2}}{x_{n-2k-3}^{\frac {b_{2k-1}}{p-a_{2k-1}}}y_{n-2k-4}^{\frac {c_{2k-1}}{p-a_{2k-1}}}x_{n-2k-5}^{\frac{r}{p-a_{2k-1}}}} \biggr)^{p-a_{2k-1}} \cdots \biggr)^{p} \\& \hphantom{x_{n+1}}=A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl(\frac {y_{n-2k-2}}{x_{n-2k-3}^{a_{2k}}y_{n-2k-4}^{b_{2k}}x_{n-2k-5}^{c_{2k}}} \biggr)^{p-a_{2k-1}} \cdots \biggr)^{p}. \end{aligned}$$
(14)
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
$$\begin{aligned}& a_{0} =\frac{r}{p^{3}}< \frac{r}{p^{2}} \Big/ \biggl(p- \frac{r}{p^{3}} \biggr)=a_{1}, \\& b_{0} =r/{p^{2}}< \frac{r}{p} \Big/ \biggl(p- \frac{r}{p^{3}} \biggr)=b_{1}, \\& c_{0} =r/p< r \big/ \biggl(p-\frac{r}{p^{3}} \biggr)=c_{1}. \end{aligned}$$
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
$$a_{k+1}=\frac{r}{(p-a_{k})(p-a_{k-1})(p-a_{k-2})}, \quad k\ge2. $$
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
$$f(x)=x(p-x)^{3}-r=0. $$
We have \(f(0)=f(p)=-r\) and \(f'(x)=(x-p)^{2}(p-4x)\). Hence \(\max_{x\in[0,p]}f(x)=f(p/4)\). Since by a condition of the theorem
$$f(p/4)=\frac{27p^{4}}{256}-r< 0, $$
we arrive at a contradiction.
This guarantees the existence of the smallest \(l\in{\mathbb{N}}\) such that \(a_{l-1}< p\) and \(a_{l}\geq p\). This, along with (13) with \(l=2k_{0}-1\), implies that
$$\begin{aligned} x_{n+1} =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl( \frac {A}{y_{n-2k_{0}-2}^{a_{2k_{0}-1}}x_{n-2k_{0}-3}^{b_{2k_{0}-1}}y_{n-2k_{0}-4}^{c_{2k_{0}-1}}} \\ &{}+ \frac {y_{n-2k_{0}-2}^{p-a_{2k_{0}-1}}}{x_{n-2k_{0}-3}^{b_{2k_{0}-1}}y_{n-2k_{0}-4}^{c_{2k_{0}-1}}x_{n-2k_{0}-5}^{r}} \biggr)^{p-a_{2k_{0}-2}} \cdots \biggr)^{p} \\ \leq& A+ \biggl(\frac{1}{A^{\frac{r}{p}-1}}+\cdots \biggl(\frac{1}{A^{a_{2k_{0}-1}+b_{2k_{0}-1}+c_{2k_{0}-1}-1}} \\ &{}+ \frac{1}{A^{a_{2k_{0}-1}+b_{2k_{0}-1}+c_{2k_{0}-1}+r-p}} \biggr)^{p-a_{2k_{0}-2}}\cdots \biggr)^{p}, \end{aligned}$$
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
$$\begin{aligned} x_{n+1} =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} +\cdots \biggl( \frac {A}{x_{n-2k_{0}-1}^{a_{2k_{0}-2}}y_{n-2k_{0}-2}^{b_{2k_{0}-2}}x_{n-2k_{0}-3}^{c_{2k_{0}-2}}} \\ &{}+ \frac {x_{n-2k_{0}-1}^{p-a_{2k_{0}-2}}}{y_{n-2k_{0}-2}^{b_{2k_{0}-2}}x_{n-2k_{0}-3}^{c_{2k_{0}-2}}y_{n-2k_{0}-4}^{r}} \biggr)^{p-a_{2k_{0}-3}} \cdots \biggr)^{p} \\ \leq& A+ \biggl(\frac{1}{A^{\frac{r}{p}-1}}+\cdots \biggl(\frac{1}{A^{a_{2k_{0}-2}+b_{2k_{0}-2}+c_{2k_{0}-2}-1}} \\ &{}+ \frac{1}{A^{a_{2k_{0}-2}+b_{2k_{0}-2}+c_{2k_{0}-2}+r-p}} \biggr)^{p-a_{2k_{0}-3}}\cdots \biggr)^{p}, \end{aligned}$$
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
$$ y_{n+1} \leq A+ \biggl(\frac{1}{A^{\frac{r}{p}-1}}+\cdots \biggl( \frac{1}{A^{a_{2k_{0}-2}+b_{2k_{0}-2}+c_{2k_{0}-2}-1}}+\frac{1}{A^{a_{2k_{0}-2}+b_{2k_{0}-2}+c_{2k_{0}-2}+r-p}} \biggr)^{p-a_{2k_{0}-3}}\cdots \biggr)^{p}, $$
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
$$\begin{aligned} x_{n+1} =&A+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p}}} + \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{2}}}y_{n-4}^{\frac{r}{p}}}+ \biggl(\frac{A}{x_{n-3}^{\frac{r}{p^{3}}}y_{n-4}^{\frac{r}{p^{2}}}x_{n-5}^{\frac{r}{p}}}+ \frac{x_{n-3}^{p-\frac{r}{p^{3}}}}{y_{n-4}^{\frac{r}{p^{2}}}x_{n-5}^{\frac{r}{p}}y_{n-6}^{r}} \biggr)^{p} \biggr)^{p} \biggr)^{p} \\ \leq& A+ \biggl(\frac{1}{A^{\frac{r}{p}-1}} + \biggl(\frac{1}{A^{\frac{r}{p^{2}}+\frac{r}{p}-1}}+ \biggl( \frac{1}{A^{\frac{r}{p^{3}}+\frac{r}{p^{2}}+\frac{r}{p}-1}}+ \frac{1}{A^{\frac{r}{p^{3}}+\frac{r}{p^{2}}+\frac{r}{p}+r-p}} \biggr)^{p} \biggr)^{p} \biggr)^{p}, \end{aligned}$$
for \(n\geq7\), from which the boundedness follows in the case.
Due to the symmetry of system (3) we see that the inequality
$$ y_{n+1} \leq A+ \biggl(\frac{1}{A^{\frac{r}{p}-1}} + \biggl(\frac{1}{A^{\frac{r}{p^{2}}+\frac{r}{p}-1}}+ \biggl(\frac{1}{A^{\frac{r}{p^{3}}+\frac{r}{p^{2}}+\frac{r}{p}-1}}+ \frac{1}{A^{\frac{r}{p^{3}}+\frac{r}{p^{2}}+\frac{r}{p}+r-p}} \biggr)^{p} \biggr)^{p} \biggr)^{p}, $$
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< p-1<1/3\). Then system (3) has positive unbounded solutions.

Proof

Assume that \((x_{n},y_{n})_{n\ge-3}\) is a positive solution of (3). Then we have
$$\begin{aligned}& x_{n+1} \geq\frac{y^{p}_{n}}{x_{n-3}^{r}}, \end{aligned}$$
(15)
$$\begin{aligned}& y_{n+1} \geq\frac{x^{p}_{n}}{y_{n-3}^{r}}, \end{aligned}$$
(16)
for \(n\in{\mathbb{N}}_{0}\).
Let
$$z_{n}=\ln(x_{n}y_{n}), \quad n\ge-3. $$
Taking the logarithm of the both sides in (15), (16), then summing such obtained inequalities, it follows that
$$ z_{n+1}-pz_{n}+rz_{n-3}\geq 0, \quad n\in{ \mathbb{N}}_{0}. $$
(17)
Let
$$ P(\lambda)=\lambda^{4}-p\lambda^{3}+r. $$
(18)
Then \(P(0)=r\) and
$$P'(\lambda)=\lambda^{2}(4\lambda-3p), $$
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
$$ P(3p/4)=-27p^{4}/256+r\leq0. $$
(19)
If \(p>4/3\), then \(3p/4>1\). From this, (19) and since
$$ \lim_{\lambda\to+\infty}P(\lambda)=+\infty, $$
(20)
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< p-1<1/3\). Then \(P(1)=1-p+r<0\) and since (20) holds, we again see that there is \(\lambda_{1}>1\) such that \(P(\lambda_{1})=0\).

Let
$$P_{2}(\lambda)=P(\lambda)/(\lambda-\lambda_{1})= \lambda^{3}+a\lambda ^{2}+b\lambda+c $$
and
$$u_{n}=z_{n}+az_{n-1}+bz_{n-2}+cz_{n-3}. $$
Then inequality (17) can be written in the following form:
$$ u_{n+1}-\lambda_{1}u_{n}\geq0. $$
(21)
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
$$x_{0}y_{0}>|a||x_{-1}y_{-1}|+|b||x_{-2}y_{-2}|+|c||x_{-3}y_{-3}|. $$
From this and (21) it follows that
$$ u_{n}\geq \lambda_{1}^{n}u_{0}. $$
(22)
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
$$\sqrt{x_{n}^{2}+y_{n}^{2}} \ge2x_{n}y_{n}=2e^{z}_{n}, \quad n\in{ \mathbb{N}}_{0}, $$
we have
$$\sup_{n\ge-3}\sqrt{x_{n}^{2}+y_{n}^{2}}=+ \infty, $$
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
$$ x_{0}y_{0}>x_{-1}y_{-1}>x_{-2}y_{-2}>x_{-3}y_{-3}>0. $$
(23)
Since \(p=r+1\), system (3) is
$$ x_{n+1}=A+\frac{y_{n}^{r+1}}{x^{r}_{n-3}},\qquad y_{n+1}=A+ \frac{x_{n}^{r+1}}{y^{r}_{n-3}},\quad n\in{\mathbb{N}}_{0}. $$
(24)
Multiplying these two equations we easily obtain
$$ \frac{x_{n+1}y_{n+1}}{x_{n}y_{n}}> \biggl(\frac{x_{n}y_{n}}{x_{n-3}y_{n-3}} \biggr)^{r}, $$
(25)
from which with \(n=0\), it follows that
$$\frac{x_{1}y_{1}}{x_{0}y_{0}}> \biggl(\frac{x_{0}y_{0}}{x_{-3}y_{-3}} \biggr)^{r}>1. $$
Assume that we have proved
$$ x_{k}y_{k}>x_{k-1}y_{k-1},\quad \mbox{for }{-}2\le k\le n. $$
(26)
Then from (25) and (26) we have
$$ \frac{x_{n+1}y_{n+1}}{x_{n}y_{n}}> \biggl(\frac {x_{n}y_{n}}{x_{n-3}y_{n-3}} \biggr)^{r}>1, \quad n \in{\mathbb{N}}_{0}. $$
(27)
Hence
$$x_{n+1}y_{n+1}>x_{n}y_{n}, $$
for every \(n\ge-3\). 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
$$x_{n+1}\leq A+\frac{y_{n}^{p}}{A^{r}}, \qquad y_{n+1}\leq A+ \frac{x_{n}^{p}}{A^{r}}, $$
for \(n\ge4\), where \((x_{n},y_{n})_{n\ge-3}\) is an arbitrary positive solution of system (3).
Hence
$$ x_{n+1}+y_{n+1}\leq 2A+\frac{2(x_{n}+y_{n})^{p}}{A^{r}}, $$
(28)
for \(n\ge4\).
Let \((z_{n})_{n\ge4}\) be the solution of the equation
$$ z_{n+1}=2A+\frac{2z_{n}^{p}}{A^{r}},\quad n\ge4, $$
(29)
such that \(z_{4}=x_{4}+y_{4}\).
Since
$$f(x)=2A+\frac{2x^{p}}{A^{r}} $$
is increasing on \({\mathbb{R}}_{+}\), a simple inductive argument shows that
$$ x_{n}+y_{n}\leq z_{n},\quad \mbox{for }n\geq 4. $$
(30)
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
$$ \bigl(f(x)-x\bigr) \bigl(x-x^{*}\bigr)< 0,\quad x\in (0,\infty)\setminus\bigl\{ x^{*} \bigr\} , $$
(31)
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, 26, 27, 28, 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\ge-3}\) of system (3) satisfies (28) with \(p=1\).

Let \((z_{n})_{n\ge4}\) be the solution of the equation
$$ z_{n+1}=2A+\frac{2z_{n}}{A^{r}},\quad n\ge4, $$
(32)
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
$$\lim_{n\to\infty}z_{n}=\frac{2A^{r+1}}{A^{r}-2}, $$
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:
  1. (a)

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

     
  2. (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.

Notes

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 FEKT-S-14-2200 of Brno University of Technology.

References

  1. 1.
    Berenhaut, K, Foley, J, Stević, S: The global attractivity of the rational difference equation \(y_{n}=1+(y_{n-k}/y_{n-m})\). Proc. Am. Math. Soc. 135(1), 1133-1140 (2007) MATHCrossRefGoogle Scholar
  2. 2.
    Berenhaut, K, Stević, S: The behaviour of the positive solutions of the difference equation \(x_{n}=A+({x_{n-2}}/{x_{n-1}})^{p}\). J. Differ. Equ. Appl. 12(9), 909-918 (2006) MATHCrossRefGoogle Scholar
  3. 3.
    Berezansky, L, Braverman, E: On impulsive Beverton-Holt difference equations and their applications. J. Differ. Equ. Appl. 10(9), 851-868 (2004) MATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    Berg, L, Stević, S: On some systems of difference equations. Appl. Math. Comput. 218, 1713-1718 (2011) MATHMathSciNetCrossRefGoogle Scholar
  5. 5.
    Iričanin, B, Stević, S: On a class of third-order nonlinear difference equations. Appl. Math. Comput. 213, 479-483 (2009) MATHMathSciNetCrossRefGoogle Scholar
  6. 6.
    Karakostas, GL: Asymptotic 2-periodic difference equations with diagonally self-invertible responses. J. Differ. Equ. Appl. 6, 329-335 (2000) MATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    Papaschinopoulos, G, Schinas, CJ: On a system of two nonlinear difference equations. J. Math. Anal. Appl. 219(2), 415-426 (1998) MATHMathSciNetCrossRefGoogle Scholar
  8. 8.
    Papaschinopoulos, G, Schinas, CJ: On the behavior of the solutions of a system of two nonlinear difference equations. Commun. Appl. Nonlinear Anal. 5(2), 47-59 (1998) MATHMathSciNetGoogle Scholar
  9. 9.
    Papaschinopoulos, G, Schinas, CJ: Invariants for systems of two nonlinear difference equations. Differ. Equ. Dyn. Syst. 7(2), 181-196 (1999) MATHMathSciNetGoogle Scholar
  10. 10.
    Papaschinopoulos, G, Schinas, CJ: Invariants and oscillation for systems of two nonlinear difference equations. Nonlinear Anal. TMA 46(7), 967-978 (2001) MATHMathSciNetCrossRefGoogle Scholar
  11. 11.
    Papaschinopoulos, G, Schinas, CJ: On the dynamics of two exponential type systems of difference equations. Comput. Math. Appl. 64(7), 2326-2334 (2012) MATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Papaschinopoulos, G, Schinas, CJ, Stefanidou, G: On the nonautonomous difference equation \(x_{n+1}=A_{n}+(x_{n-1}^{p}/x_{n}^{q})\). Appl. Math. Comput. 217, 5573-5580 (2011) MATHMathSciNetCrossRefGoogle Scholar
  13. 13.
    Stefanidou, G, Papaschinopoulos, G, Schinas, C: On a system of max difference equations. Dyn. Contin. Discrete Impuls. Syst., Ser. A 14(6), 885-903 (2007) MATHMathSciNetGoogle Scholar
  14. 14.
    Stefanidou, G, Papaschinopoulos, G, Schinas, C: On a system of two exponential type difference equations. Commun. Appl. Nonlinear Anal. 17(2), 1-13 (2010) MATHMathSciNetGoogle Scholar
  15. 15.
    Stević, S: On the recursive sequence \(x_{n+1}=\alpha +({x_{n-1}^{p}}/{x_{n}^{p}})\). J. Appl. Math. Comput. 18(1-2), 229-234 (2005) MATHMathSciNetCrossRefGoogle Scholar
  16. 16.
    Stević, S: On the recursive sequence \(x_{n+1}=A+({x_{n}^{p}}/{x_{n-1}^{r}})\). Discrete Dyn. Nat. Soc. 2007, Article ID 40963 (2007) Google Scholar
  17. 17.
    Stević, S: On the recursive sequence \(x_{n+1}=\max\{c, {x^{p}_{n}}/{x_{n-1}^{p}}\}\). Appl. Math. Lett. 21(8), 791-796 (2008) MATHMathSciNetCrossRefGoogle Scholar
  18. 18.
    Stević, S: Boundedness character of a class of difference equations. Nonlinear Anal. TMA 70, 839-848 (2009) MATHCrossRefGoogle Scholar
  19. 19.
    Stević, S: Boundedness character of a fourth order nonlinear difference equation. Chaos Solitons Fractals 40, 2364-2369 (2009) MATHMathSciNetCrossRefGoogle Scholar
  20. 20.
    Stević, S: On a generalized max-type difference equation from automatic control theory. Nonlinear Anal. TMA 72, 1841-1849 (2010) MATHCrossRefGoogle Scholar
  21. 21.
    Stević, S: On a nonlinear generalized max-type difference equation. J. Math. Anal. Appl. 376, 317-328 (2011) MATHMathSciNetCrossRefGoogle Scholar
  22. 22.
    Stević, S: On a solvable rational system of difference equations. Appl. Math. Comput. 219, 2896-2908 (2012) MATHMathSciNetCrossRefGoogle Scholar
  23. 23.
    Stević, S: On a third-order system of difference equations. Appl. Math. Comput. 218, 7649-7654 (2012) MATHMathSciNetCrossRefGoogle Scholar
  24. 24.
    Stević, S: On some periodic systems of max-type difference equations. Appl. Math. Comput. 218, 11483-11487 (2012) MATHMathSciNetCrossRefGoogle Scholar
  25. 25.
    Stević, S: Solutions of a max-type system of difference equations. Appl. Math. Comput. 218, 9825-9830 (2012) MATHMathSciNetCrossRefGoogle Scholar
  26. 26.
    Stević, S: Domains of undefinable solutions of some equations and systems of difference equations. Appl. Math. Comput. 219, 11206-11213 (2013) MATHMathSciNetCrossRefGoogle Scholar
  27. 27.
    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) CrossRefGoogle Scholar
  28. 28.
    Stević, S, Alghamdi, MA, Alotaibi, A, Elsayed, EM: Solvable product-type system of difference equations of second order. Electron. J. Differ. Equ. 2015, Article No. 169 (2015) CrossRefGoogle Scholar
  29. 29.
    Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: On a higher-order system of difference equations. Electron. J. Qual. Theory Differ. Equ. 2013, Article No. 47 (2013) CrossRefGoogle Scholar
  30. 30.
    Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: On a nonlinear second order system of difference equations. Appl. Math. Comput. 219, 11388-11394 (2013) MATHMathSciNetCrossRefGoogle Scholar
  31. 31.
    Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: Long-term behavior of positive solutions of a system of max-type difference equations. Appl. Math. Comput. 235, 567-574 (2014) MathSciNetCrossRefGoogle Scholar
  32. 32.
    Stević, S, Alghamdi, MA, Alotaibi, A, Shahzad, N: Boundedness character of a max-type system of difference equations of second order. Electron. J. Qual. Theory Differ. Equ. 2014, Article No. 45 (2014) CrossRefGoogle Scholar
  33. 33.
    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) CrossRefGoogle Scholar

Copyright information

© Stević et al. 2015

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.

Authors and Affiliations

  • Stevo Stević
    • 1
    • 2
  • Bratislav Iričanin
    • 3
  • Zdeněk Šmarda
    • 4
    • 5
  1. 1.Mathematical Institute of the Serbian Academy of SciencesBeogradSerbia
  2. 2.Operator Theory and Applications Research Group, Department of MathematicsKing Abdulaziz UniversityJeddahSaudi Arabia
  3. 3.Faculty of Electrical EngineeringBelgrade UniversityBeogradSerbia
  4. 4.CEITEC - Central European Institute of TechnologyBrno University of TechnologyBrnoCzech Republic
  5. 5.Department of Mathematics, FEEC - Faculty of Electrical Engineering and CommunicationBrno University of TechnologyBrnoCzech Republic

Personalised recommendations