 Research
 Open Access
 Published:
On a class of difference equations with interlacing indices
Advances in Difference Equations volume 2021, Article number: 297 (2021)
Abstract
Some results on the longterm behavior of solutions to a class of difference equations, which includes numerous nonlinear difference equations of various orders that attracted some attention in the last 15 years, are presented. We also present a natural connection among these difference equations, compare some results on the equations with some other ones in the literature, and give a list of a considerable number of difference equations which can be treated in a similar way.
Introduction
Notation and some general facts
By \({\mathbb{N}}\) and \({\mathbb{Z}}\) we denote the sets of natural and whole numbers, respectively. If \(k\in {\mathbb{Z}}\), then by \({\mathbb{N}}_{k}\) we denote the set of all \(n\in {\mathbb{Z}}\) such that \(k\le n\). If \(l,m\in {\mathbb{Z}}\), then \(j=\overline{l,m}\), denotes the set of all \(j\in {\mathbb{Z}}\) such that \(l\le j\le m\). If \(l,m\in {\mathbb{N}}\), then \(\gcd (l,m)\) denotes the greatest common divisor of numbers l and m.
During the last 30 years there has been a huge interest in investigating solutions to concrete difference equations and systems of difference equations (see, e.g., [1–36]).
On an influential result
The following difference equation is one of the concrete ones which attracted some attention:
A difficult problem on the existence of a positive solution to Eq. (1) converging to zero had been open for some time (the problem was posed for another difference equation which is equivalent to the equation).
Note that the linearization of Eq. (1) is
and that the zeros of the associated characteristic polynomial
to the equation are \(\lambda _{1,2}=\pm 1\).
The difference equations and systems whose linearizations have some zeros with modulus equal to one are of some interest and have been studied a lot (see, e.g., [2, 7–9, 13, 15, 16, 26, 28]).
The abovementioned problem was solved in [26] by considering a more general equation, for which it was shown, in a quite complex way, the existence of a positive solution converging to zero, from which the same result follows for Eq. (1) as a special case of the general equation. During the course of a long solution of the problem there have been proved several interesting formulas which are satisfied by solutions to the difference equation. Some other solutions to the problem were given in [2] and [13].
The next theorem, among other ones, was proved in [26].
Theorem 1
For each positive solution to (1) the following claims are true.

(a)
\((x_{2n})_{n\in {\mathbb{N}}_{0}}\) and \((x_{2n+1})_{n\ge 1}\) are decreasing and \(x_{2n}\to a\) and \(x_{2n+1}\to b\), as \(n\to +\infty \).

(b)
The sequence \(\widetilde{x}_{2n1}=b\), \(\widetilde{x}_{2n}=a\), \(n\in {\mathbb{N}}_{0}\), is a solution to (1) with period two.

(c)
\(ab=0\).

(d)
If \(x_{n}\geq x_{n+1}\) for all \(n\ge n_{1}\) and some \(n_{1}\in {\mathbb{N}}\), then \(\lim_{n\to \infty }x_{n}=0\).

(e)
We have
$$\begin{aligned}& x_{2n}= x_{0} \Biggl(1x_{1}\sum _{j=1}^{n}\prod_{i=1}^{2j1} \frac{1}{1+x_{i}} \Biggr),\quad n\in {\mathbb{N}}_{0}, \end{aligned}$$(2)$$\begin{aligned}& x_{2n+1}= x_{1} \Biggl(1\frac{x_{0}}{1+x_{0}}\sum _{j=0}^{n}\prod_{i=1}^{2j} \frac{1}{1+x_{i}} \Biggr),\quad n\ge 1. \end{aligned}$$(3) 
(f)
If \(x_{0}+x_{0}^{2}\leq x_{1}\), then \(\lim_{n\to +\infty }x_{2n}\ne 0\) or \(\lim_{n\to +\infty }x_{2n+1}\ne 0\).

(g)
Each solution to (1) converging to zero decreases.
Remark 1
The formulation of Theorem 1(f) in [26] is, in fact, slightly different, but what was proved therein is stated above. An improvement of Theorem 1(f) has been recently presented in [34]. Namely, the following result was proved therein.
Theorem 2
Let \((x_{n})_{n\ge 1}\) be a positive solution to (1) such that \(x_{0}+x_{0}^{2}\leq x_{1}\). Then \(x_{2n}\to 0\) and \(x_{2n+1}\to b\neq 0\), as \(n\to \infty \).
A generalization of Eq. (1) and some important investigations
A natural generalization of Eq. (1) is
where \(k\ge 2\).
In order to generalize some results obtained in [26], Stević in [28] and [31], and somewhat later Berg and Stević in [9] studied the existence of a positive solution to Eq. (4) which converges to zero. It is not easy to develop the method in [26] for the case of Eq. (4), since it is basically connected to second order difference equations, that is, to the case \(k=2\). In [2–6], Berg employed some asymptotic methods for solving similar problems. For more information on asymptotic methods see, for example, [37]. Stević developed Berg’s ideas and applied them successfully in solving some related problems, for example, in [10, 27–30, 32] (see also [14]). Stević in [28] solved the problem by using asymptotic methods. The existence problem for the case \(k=3\) was further treated by Berg in [7], whereas the general case was further treated in Berg–Stević’s paper [9].
Although cited in [9] as reference [14] therein and circulated among some experts on difference equations, preprint [31] has never been published. One of the reasons for this was to avoid publishing two papers on the same problem.
Some equations influenced by [26]
In [25] has been recently studied the following difference equation:
It is said therein that some of these authors and their collaborators studied also the following difference equations:
They also studied some other equations not mentioned in [25] such as
and the following quite recently studied equations:
At first sight the difference equations in (5)–(18) form a large collection of various equations of different orders, and one can expect that these investigations of the equations produced many different results. It should be also said that a detailed inspection of the results and their proofs shows that the main motivation for all these studies has been the proof of Theorem 1 in Stević’s paper [26].
The aim of the paper
We show that the results on all the difference equations in (5)–(18) in the above quoted papers follow from the results on only one of the equations, namely on the results on Eq. (13) only, and that they are essentially obtained by some slight modifications of the results in Theorem 1 from [26]. This fact has been noticed long time ago in [31] for the case of few of these equations. The problem was essentially noticed also in [7]. Few of the results in [31] were mentioned in [9]. We present one of the main results in [31] in its original form (some of the statements are more general than the corresponding ones in many published papers on the difference equations of this type).
Equations with interlacing indices and some examples
In this section we explain the notion of difference equations with interlacing indices, present some examples of such equations which can be found in the literature, and give some comments on the equations.
Equations with interlacing indices
From a difference equation or system it is always possible to construct a sequence of difference equations or systems by using a simple method.
The general equation
where \(l\in {\mathbb{N}}\) and \(k\in {\mathbb{N}}_{0}\), is a difference equation with interlacing indices (for some details and examples see [35, 36]).
Let \({\mathcal{A}}_{j}^{l}:=\{(ml)(k+1)+1+j:m\in {\mathbb{N}}_{0}\}\), \(j=\overline{0,k}\). Then \({\mathcal{A}}_{i}^{l}\cap {\mathcal{A}}_{j}^{l}=\emptyset \), \(i\ne j\), and \(\bigcup_{j=0}^{k}{\mathcal{A}}_{j}^{l}={\mathbb{N}}_{l(k+1)+1}\). If we use the notation
where \(j=\overline{0,k}\), then Eq. (19) becomes
for \(j=\overline{0,k}\).
So \((x_{m}^{(j)})_{m\gel}\), \(j=\overline{0,k}\), are the \(k+1\) solutions to the equation
with the initial values \(x_{t}^{(j)}\), \(t=\overline{1,l}\), for \(j=\overline{0,k}\), respectively.
If we go back from Eq. (20), in this way we obtain Eq. (19), which consists of \(k+1\) nonrelated samples of Eq. (20). Thus, if we know some results about solutions to Eq. (20), then the results are almost trivially transferred to the solutions to Eq. (19). So, there is no essential need to publish the corresponding results on Eq. (19).
Some examples of difference equations with interlacing indices
Here we show that some of Eqs. (5)–(18) are also examples of difference equations with interlacing indices, and to each of such equations we determine the corresponding difference equation with noninterlacing indices, and give a list of several equations with interlacing indices belonging to the same class.
Example 1
Equation (6) is a difference equation with interlacing indices. Indeed, from (6) we see that \(x_{n+1}\) is presented in terms of \(x_{n1}\), \(x_{n3}\) and \(x_{n5}\), and that the indices of the subsequent members form an arithmetic progression with the difference equal to 2, since \(n+1(n1)=n1(n3)=n3(n5)=2\). This means the set of indices \({\mathbb{N}}_{5}:=\{n\in {\mathbb{Z}}: n\ge 5\}\) is partitioned into two disjoint subsets. The set of even and odd indices belonging to \({\mathbb{N}}_{5}\). Hence, the subsequences \((x_{2m})_{m\ge 2}\) and \((x_{2m1})_{m\ge 2}\) are two solutions to the following difference equation with noninterlacing indices:
By using the method described above, from (21) is obtained the following “general” equation with interlacing indices:
where \(k\in {\mathbb{N}}_{0}\).
Equation (22), beside Eq. (6), which is obtained for \(k=1\), contains, for example, the following special cases, which are obtained for \(k=2,3,4,5,6\), respectively:
Example 2
Equation (8) is also another example of a difference equation with interlacing indices. Indeed, from Eq. (8) we see that \(x_{n+1}\) is presented in terms of the following four members: \(x_{n3}\), \(x_{n7}\), \(x_{n11}\) and \(x_{n15}\), and also note that their indices form an arithmetic progression with the difference equal to four (simply note that the following sequence of equalities holds: \(n+1(n3)=n3(n7)=n7(n11)=n11(n15)=4\)). This means that the set of indices \({\mathbb{N}}_{15}\) is partitioned into four disjoint subsets. Hence, the subsequences \((x_{4m+j})_{m\ge 4}\), \(j=\overline{1,4}\), are four solutions to the following difference equation with noninterlacing indices:
By using the method described above, from (28) is obtained the following sequence of equations with interlacing indices:
where \(k\in {\mathbb{N}}_{0}\).
Equation (29), beside Eq. (8), which is obtained for \(k=3\), contains, for example, the following special cases, which are obtained for \(k=2,4,5,6,7\), respectively:
Remark 2
Note that such obtained Eq. (30), is in fact Eq. (9), whereas Eq. (32) is, in fact, Eq. (14). Thus the above analysis given in Example 2 shows that Eqs. (8), (9) and (14) are obtained from the same difference equation, that is, from Eq. (29), by using the method described above. Note also that Eq. (12) is nothing but Eq. (29), which is also obtained from Eq. (28) by the method described above. Finally, note that Eq. (7) is, in fact, Eq. (28).
Example 3
Equation (15) is also another difference equation with interlacing indices. Indeed, from the relation in (15) we see that the member \(x_{n+1}\) is presented in terms of the following ones: \(x_{n2}\), \(x_{n5}\), \(x_{n8}\), \(x_{n11}\) and \(x_{n14}\), and that the indices of the subsequent ones form an arithmetic progression with the difference equal to three, since \(n+1(n2)=n2(n5)=n5(n8)=n8(n11)=n11(n14)=3\). This means that the set of indices \({\mathbb{N}}_{14}\) is partitioned into three disjoint subsets. Hence, the subsequences \((x_{3m+j})_{m\ge 5}\), \(j=\overline{1,3}\), are three solutions to the following difference equation with noninterlacing indices:
By using the method described above, from (35) is obtained the following equation with interlacing indices:
where \(k\in {\mathbb{N}}_{0}\).
Equation (36), beside Eq. (15), which is obtained for \(k=2\), contains, for example, the following special cases, which are obtained for \(k=3,4,5,6,7\), respectively:
Example 4
Equation (10) is also a difference equation with interlacing indices. Indeed, from (10) we see that the member \(x_{n+1}\) is presented in terms of the following ones: \(x_{n1}\), \(x_{n3}\), \(x_{n5}\), \(x_{n7}\), \(x_{n9}\) and \(x_{n11}\), and that the indices of the subsequent members form an arithmetic progression with the difference equal to two. This means that the set of indices \({\mathbb{N}}_{11}\) is partitioned into two disjoint subsets. Hence, the subsequences \((x_{2m+j})_{m\ge 6}\), \(j=\overline{1,2}\), are two solutions to the following difference equation with noninterlacing indices:
By using the method described above, from (42) is obtained the following equation with interlacing indices:
where \(k\in {\mathbb{N}}_{0}\).
Equation (43), beside Eq. (10), which is obtained for \(k=1\), contains, for example, the following special cases, which are obtained for \(k=2,3,4,5,6\), respectively:
Example 5
Equation (16) is also a difference equation with interlacing indices. Indeed, from (16) we see that \(x_{n+1}\) is presented in terms of \(x_{n2}\), \(x_{n5}\), \(x_{n8}\), \(x_{n11}\), \(x_{n14}\), \(x_{n17}\) and \(x_{n20}\), and that their indices form an arithmetic progression with the difference equal to three. This means that the set of indices \({\mathbb{N}}_{20}\) is partitioned into three disjoint subsets. Hence, the subsequences \((x_{3m+j})_{m\ge 7}\), \(j=\overline{1,3}\), are three solutions to the following difference equation with noninterlacing indices:
By using the method described above, from (49) is obtained the following equation with interlacing indices:
where \(k\in {\mathbb{N}}_{0}\).
Equation (50), beside Eq. (16), which is obtained for \(k=2\), contains, for example, the following special cases, which are obtained for \(k=1,3,4,5,6\), respectively:
Remark 3
Note that such obtained Eq. (51) is, in fact, Eq. (17). Thus the analysis in Example 5 shows that both, Eq. (16) and Eq. (17) are obtained from the same equation, that is, from Eq. (50), by using the method described above.
Example 6
Equation (11) is also a difference equation with interlacing indices. Indeed, from (11) we see that \(x_{n+1}\) is presented in terms of the \(k+2\) members \(x_{n(5j+4)}\), \(j=\overline{0,k+1}\), and that the indices of the subsequent members form an arithmetic progression with the difference equal to five, since \(n(5(j1)+4)(n(5j+4))=5\), \(j=\overline{1,k+1}\). This means that the set of indices \({\mathbb{N}}_{(5k+9)}\) is partitioned into five disjoint subsets. Hence, the subsequences \((x_{5m+j})_{m\ge (k+2)}\), \(j=\overline{1,5}\), are five solutions to the following difference equation with noninterlacing indices:
By using the method described above, from (56) is obtained the following equation with interlacing indices:
where \(k\in {\mathbb{N}}_{0}\). Note that if we choose \(k=p2\) and \(s=l1\) Eq. (57) becomes Eq. (18).
Equation (57), beside Eq. (11), which is obtained for \(s=4\), contains, for example, the following special cases, which are obtained for \(s=2,3,5,6,7\), respectively:
Remark 4
To the best of our knowledge the following difference equations have not been studied separately yet:
But the above quite detailed explanation shows that they really do not deserve separate investigations if they only consider the corresponding statements listed in Theorem 1.
Remark 5
Now note that the main equations in Examples 1–5, that is, Eqs. (21), (28), (35), (42) and (49) are special cases of the main equation in Example 6, that is, of Eq. (56), and that all other equations including (23)–(27), (30)–(34), (37)–(41), (44)–(48), (51)–(55), (58)–(62), are obtained by the method described above for forming difference equations with interlacing indices. The same observation holds for Eqs. (63)–(69).
Some comments and a theorem
The observations given in Remark 5 shows that the only difference equation which deserved to be studied is Eq. (56), since the corresponding results for the other difference equations with interlacing indices easily follow from obtained results on the equation. Note also that Eq. (56) with \(k=0\) reduces to Eq. (1), which, as we have already mentioned, was studied in [26].
Far the most difficult problem concerning solutions to Eq. (56), out of the studied ones, was the problem of the existence of a positive solution to Eq. (56) converging to zero. Recall that the problem was solved in [28] by using asymptotic methods, more precisely, by finding a finite asymptotic expansion of a suitably chosen solution to the equation.
Later in [9] were found some other solutions, and it was also shown that some of the corresponding statements in Theorem 1 also hold (see [9, p.583] for the corresponding statements (a)–(c)). The properties corresponding to the statements (d) and (e) of the theorem were proved in [31], but are not explicitly mentioned in [9] (recall that [31] was cited as reference [14] in [9] and as reference [7] in [7]). One of the reasons for not including these two statements in [9] was the fact that they are not used in the proofs of the main results in [9].
As we have already mentioned, preprint [31] has never been published, and although it circulated among a number of experts its content has not become widely known. Beside this, our impression was that the statements are proved by some arguments similar to the corresponding ones in the proof of Theorem 1 in [26], so that the results might not be much interesting, especially since in [28] the main problem had already been solved. However, the number of papers devoted to the investigation of the class of difference equations shows that the impression of ours was wrong. These facts, among other things, motivate us to present here the statements and their proofs.
Now we formulate and prove the generalization of Theorem 1 presented in [31]. Shorter versions of the proofs of the first two statements in the generalization of Theorem 1 are given in [9]. We present here also detailed proofs of these statements for the completeness and the benefit of the reader.
Theorem 3
Consider Eq. (4). Let
Then for every solution \((x_{n})_{n\ge k}\) to Eq. (4) satisfying condition (70), the following statements hold.

(a)
The subsequences \((x_{km+r})_{m\ge 1}\), \(r=\overline{0,k1}\), are decreasing and bounded.

(b)
Let
$$\begin{aligned} p_{r}=\lim_{m\to \infty }x_{km+r},\quad r= \overline{0,k1}. \end{aligned}$$(71)Then the sequence defined by
$$\begin{aligned} \widehat{x}_{km+r}:=p_{r},\quad m\ge 1, r= \overline{0,k1} , \end{aligned}$$(72)is a nonnegative periodic solution to Eq. (4), such that
$$\begin{aligned} \prod_{i=0}^{k1}p_{i}=0. \end{aligned}$$(73) 
(c)
Assume that \(l\in \{1,2,\ldots ,k1\}\), \(\gcd (k,l)=1\) and there is \(n_{0}\in {\mathbb{N}}\) such that the following condition holds:
$$\begin{aligned} x_{n}\leq x_{nl},\quad n\geq n_{0}. \end{aligned}$$(74)Then
$$\begin{aligned} \lim_{n\to +\infty }x_{n}=0. \end{aligned}$$(75) 
(d)
The following formula holds:
$$\begin{aligned} x_{mk+r}=x_{rk} \Biggl(1 \frac{x_{r1}\cdots x_{r(k1)}}{1+x_{r1}\cdots x_{r(k1)}} \sum _{l=0}^{m} \prod_{i=0}^{lk1} \frac{1}{1+\prod_{j=0}^{k2}x_{lk+r1ij}} \Biggr) \end{aligned}$$for each \(r\in \{0,1,\ldots ,k1\}\).
Proof
(a) Let \((x_{n})_{n\ge k}\) be such a solution to Eq. (4). Then from (4) and (70), we have
from which it follows that the subsequences \((x_{km+r})_{m\ge1}\), \(r=\overline{0,k1}\), are decreasing and bounded, as claimed.
(b) First note that in view of (a) and a wellknown theorem, it follows that the limits
\(r=\overline{0,k1}\), are finite numbers. That (72) is a nonnegative sequence is clear. To prove that it is a periodic solution to Eq. (4) easily follows by taking the limits in the following relations obtained from (4):
where j can be any nonnegative integer.
If we assume that some of the numbers \(p_{0},p_{1},\ldots , p_{k1}\) are equal to zero, then clearly Eq. (73) follows. Now assume that there is \(i_{0}\in \{0,1,\ldots ,k1\}\) such that \(p_{i_{0}}\neq 0\). Then by letting \(m\to +\infty \) in the following consequence of Eq. (4):
it follows that
and consequently
from which together with the periodicity of the sequence defined in (72), or simply by using the convention \(p_{l}=p_{s}\) if \(l=s\ (\mathrm{mod}\ k)\), Eq. (73) follows.
(c) From (74) it follows that the subsequences \((x_{ml+s})\), \(s=\overline{0,l1}\), are convergent. Let
Then clearly the sequence defined by
for \(m\in {\mathbb{Z}}\) and \(s=\overline{0,l1}\) such that \(ml+s\ge k\), is an lperiodic nonnegative solution to Eq. (4).
Let \((L_{i})_{i\in {\mathbb{Z}}}\) be a full limiting sequence [11, 12] of the solution \((x_{n})_{n\ge k}\). Employing the statement in (b) we see that \((L_{i})_{i\in {\mathbb{Z}}}\) is a kperiodic solution to Eq. (4) and from the abovementioned fact it follows that \((L_{i})_{i\in {\mathbb{Z}}}\) is an lperiodic solution to Eq. (4). From this we see that \((L_{i})_{i\in {\mathbb{Z}}}\) is periodic by periods k and l, and consequently it is periodic by period \(\gcd (k,l)=1\) (see, for example, [38]). Hence, the solution \((x_{n})_{n\ge k}\) is convergent, from which it follows that \(\lim_{n\to \infty }x_{n}=0\).
(d) From (4) we have
Further, from (4) and by using the Eq. (76) where n is replaced by \(n1\), it follows that
for \(n\in {\mathbb{N}}\), which implies that
for each \(r\in \{0,1\ldots ,k1\}\).
Setting \(n=jk+r\) for \(j=\overline{0,m}\), in (77) and summing such obtained equalities we obtain
finishing the proof of the theorem. □
Remark 6
Equation (56), which is equivalent to Eq. (4) (the delay k in Eq. (4) corresponds to the delay \(k+2\) in Eq. (56)), was also studied in [24], where it was noticed that some slight modifications of the proofs of the statements in Theorem 1 in [26], prove some of the corresponding results for the statements.
Remark 7
Our statement (c) in Theorem 3 is more general than the corresponding ones in [24, 25], as well as statements in other papers dealing with Eqs. (6)–(18). Here we give two examples from [24] and [25].
Case of Eq. (13). The essential delay of Eq. (5) studied in [25], that is, the delay of the corresponding noninterlacing difference equation, is equal to three, so \(k=3\), whereas from the assumption \(x_{n+1}\le x_{n11}\), \(n\ge n_{0}\), posed in Theorem 2.1 (d) therein, it follows that the corresponding noninterlacing assumption is \(x_{n}\le x_{n2}\), which means that \(l=2\). Since \(\gcd (3,2)=1\), their statement follows from our Theorem 3(d).
Case of Eq. (5). The delay of Eq. (13) studied in [24] is equal to \(k+2\), whereas from the assumption
posed in Theorem 1(d) therein, we see that \(l=k+1\). Since
their statement follows from our Theorem 3(d).
In the case of the difference equations in (6)–(12), (14)–(18), the situation with the corresponding statements is similar. Namely, in all these cases to the corresponding delay, which we denote by k, the delay l in the corresponding assumption is equal to \(k1\), and since
all the results follow from our Theorem 3(d).
Remark 8
Regarding the statements corresponding to Theorem 1 (f) in [26], which appear in [24, 25], as well as in other papers dealing with the Eqs. (6)–(12), (14)–(18), it should be said that they are true, but they trivially follow from the statements corresponding to Theorem 1(c) appearing in the papers, so the proofs given there are not necessary. Moreover, the proofs do not prove what the statements claim. Now we explain it for the case of the equations treated in [24] and [25].
Case of Eq. (13). Theorem 1 (f) in [24] states that, if
for \(j=\overline{1,k+1}\), then
However, in Theorem 1 (c) therein, it was proved that
But, if the assumptions in (78) hold, then from this and (80) the reation (79) is directly obtained.
Case of Eq. (5). Theorem 2.1 (f) in [25] states that, if
for \(j=\overline{1,6}\), then
for \(j=\overline{1,6}\).
On the other hand, in Theorem 2.1 (c) therein, it was proved that
However, if the relations in (81) hold, then from this and (83) Eq. (82) is directly obtained.
On the other hand, the proofs of these two statements given in [24] and [25], respectively, seem wrongly use the argument in the proof of Theorem 1 (f) in [26]. Namely, to prove Theorem 1 (f) in [24] it is started with the assumption: “Suppose that \(a_{1}=a_{2}=\cdots =a_{k+2}=0\)” and there is obtained a contradiction. However, since \(k\ge 3\) the assumption is not the negation of the assumptions in (78). Similarly, to prove Theorem 2.1 (f) in [25] they started with the assumption: “Suppose that \(a_{k+1}=a_{k+7}=a_{k+13}=0\) for \(k=\overline{0,5}\)” and there is obtained a contradiction. However, the assumption is not the negation of the assumptions in (81). The same situation holds for the proofs of the corresponding statements in the papers dealing with the Eqs. (6)–(12), (14)–(18).
Availability of data and materials
Not applicable.
References
 1.
Berezansky, L., Braverman, E.: On impulsive Beverton–Holt difference equations and their applications. J. Differ. Equ. Appl. 10(9), 851–868 (2004)
 2.
Berg, L.: On the asymptotics of nonlinear difference equations. Z. Anal. Anwend. 21(4), 1061–1074 (2002)
 3.
Berg, L.: Inclusion theorems for nonlinear difference equations with applications. J. Differ. Equ. Appl. 10(4), 399–408 (2004)
 4.
Berg, L.: Oscillating solutions of rational difference equations. Rostock. Math. Kolloqu. 58, 31–35 (2004)
 5.
Berg, L.: Corrections to “Inclusion theorems for nonlinear difference equations with applications,”. J. Differ. Equ. Appl. 11(2), 181–182 (2005)
 6.
Berg, L.: On the difference equation \(x_{n+1}=(\beta x_{n}+\gamma x_{n1})/(\gamma x_{n}+\beta x_{n1})\). Rostock. Math. Kolloqu. 61, 3–11 (2006)
 7.
Berg, L.: On the asymptotics of difference equation \(x_{n3}=x_{n}(1+x_{n1}x_{n2})\). J. Differ. Equ. Appl. 14(1), 105–108 (2008)
 8.
Berg, L., Stević, S.: On some systems of difference equations. Appl. Math. Comput. 218, 1713–1718 (2011)
 9.
Berg, L., Stević, S.: On the asymptotics of the difference equation \(y_{n}(1+y_{n1}\cdots y_{nk+1})=y_{nk}\). J. Differ. Equ. Appl. 17(4), 577–586 (2011)
 10.
Gutnik, L., Stević, S.: On the behaviour of the solutions of a second order difference equation. Discrete Dyn. Nat. Soc. 2007, Article ID 27562 (2007)
 11.
Karakostas, G.L.: Convergence of a difference equation via the full limiting sequences method. Differ. Equ. Dyn. Syst. 1(4), 289–294 (1993)
 12.
Karakostas, G.L.: Asymptotic 2periodic difference equations with diagonally selfinvertible responces. J. Differ. Equ. Appl. 6, 329–335 (2000)
 13.
Kent, C.M.: Convergence of solutions in a nonhyperbolic case. Nonlinear Anal. 47, 4651–4665 (2001)
 14.
Kent, C.M., Kosmala, W., Stević, S.: On the difference equation \(x_{n+1}=x_{n}x_{n2}1\). Abstr. Appl. Anal. 2011, Article ID 815285 (2011)
 15.
Mylona, C., Papaschinopoulos, G., Schinas, C.J.: Stability and flip bifurcation of a threedimensional exponential system of difference equations. Math. Methods Appl. Sci. 44(6), 4316–4329 (2021)
 16.
Mylona, C., Psarros, N., Papaschinopoulos, G., Schinas, C.J.: Stability of two \(3 \times 3\) closetocyclic systems of exponential difference equations. Math. Methods Appl. Sci. 41, 7636–7948 (2018)
 17.
Papaschinopoulos, G., Schinas, C.J.: On a system of two nonlinear difference equations. J. Math. Anal. Appl. 219(2), 415–426 (1998)
 18.
Papaschinopoulos, G., Schinas, C.J.: On the behavior of the solutions of a system of two nonlinear difference equations. Commun. Appl. Nonlinear Anal. 5(2), 47–59 (1998)
 19.
Papaschinopoulos, G., Schinas, C.J.: Invariants for systems of two nonlinear difference equations. Differ. Equ. Dyn. Syst. 7, 181–196 (1999)
 20.
Papaschinopoulos, G., Schinas, C.J., Stefanidou, G.: On a korder system of Lynesstype difference equations. Adv. Differ. Equ. 2007, Article ID 31272 (2007)
 21.
Papaschinopoulos, G., Schinas, C.J., Stefanidou, G.: On the nonautonomous difference equation \(x_{n+1}=A_{n}+(x^{p}_{n1}/x^{q}_{n})\). Appl. Math. Comput. 217, 5573–5580 (2011)
 22.
Papaschinopoulos, G., Stefanidou, G.: Asymptotic behavior of the solutions of a class of rational difference equations. Int. J. Difference Equ. 5(2), 233–249 (2010)
 23.
Schinas, C.: Invariants for difference equations and systems of difference equations of rational form. J. Math. Anal. Appl. 216, 164–179 (1997)
 24.
Simsek, D., Abdullayev, F.G.: On the recursive sequence \(x_{n+1}=\frac{x_{n(k+1)}}{1+x_{n}x_{n1}\cdots x_{nk}}\). Ukr. Mat. Visn. 14(4), 564–574 (2017)
 25.
Simsek, D., Ogul, B., Cinar, C.: Solution of the rational difference equation \(x_{n+1}=\frac{x_{n17}}{1+x_{n5}x_{n11}}\). Filomat 33(5), 1353–1359 (2019)
 26.
Stević, S.: On the recursive sequence \(x_{n+1}=x_{n1}/g(x_{n})\). Taiwan. J. Math. 6(3), 405–414 (2002)
 27.
Stević, S.: On monotone solutions of some classes of difference equations. Discrete Dyn. Nat. Soc. 2006, Article ID 53890 (2006)
 28.
Stević, S.: On positive solutions of a \((k+1)\)th order difference equation. Appl. Math. Lett. 19(5), 427–431 (2006)
 29.
Stević, S.: Asymptotics of some classes of higher order difference equations. Discrete Dyn. Nat. Soc. 2007, Article ID 56813 (2007)
 30.
Stević, S.: Existence of nontrivial solutions of a rational difference equation. Appl. Math. Lett. 20, 28–31 (2007)
 31.
Stević, S.: On the recursive sequence \(x_{n}=x_{nk}/(1+x_{n1}\cdots x_{n(k1)})\) (2007). Preprint
 32.
Stević, S.: Nontrivial solutions of a higherorder rational difference equation. Math. Notes 84(5–6), 718–724 (2008)
 33.
Stević, S.: New class of practically solvable systems of difference equations of hyperboliccotangenttype. Electron. J. Qual. Theory Differ. Equ. 2020, Article ID 89 (2020)
 34.
Stević, S., ElSayed Ahmed, A., Kosmala, W., Šmarda, Z.: Note on a difference equation and some of its relatives. Math. Methods Appl. Sci., 1–9 (2021, in press). https://doi.org/10.1002/mma.7389
 35.
Stević, S., Diblik, J., Iričanin, B., Šmarda, Z.: On some solvable difference equations and systems of difference equations. Abstr. Appl. Anal. 2012, Article ID 541761 (2012)
 36.
Stević, S., Iričanin, B., Kosmala, W., Šmarda, Z.: Note on the bilinear difference equation with a delay. Math. Methods Appl. Sci. 41, 9349–9360 (2018)
 37.
Berg, L.: Asymptotische Darstellungen und Entwicklungen. Dt. Verlag Wiss., Berlin (1968) (in German)
 38.
Niven, I., Zuckerman, H.S.: An Introduction to the Theory of Numbers, 2nd edn. Wiley, New York (1991)
Acknowledgements
The work of Zdeněk Šmarda was supported by the project FEKTS206225 of Brno University of Technology. A. ElSayed Ahmed would like to thank Taif University Researchers supporting Project number (TURSP2020/159), Taif University  Saudi Arabia.
Funding
Brno University of Technology, project FEKTS206225. Taif University  Saudi Arabia, project TURSP2020/159.
Author information
Affiliations
Contributions
The authors have contributed equally to the writing of this paper. They read and approved the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Stević, S., Ahmed, A.ES., Kosmala, W. et al. On a class of difference equations with interlacing indices. Adv Differ Equ 2021, 297 (2021). https://doi.org/10.1186/s13662021034523
Received:
Accepted:
Published:
MSC
 39A10
Keywords
 Difference equations
 Equations with interlacing indices
 Positive solutions