 Research
 Open access
 Published:
Bounded and periodic solutions to the linear firstorder difference equation on the integer domain
Advances in Difference Equations volume 2017, Article number: 283 (2017)
Abstract
The existence of bounded solutions to the linear firstorder difference equation on the set of all integers is studied. Some sufficient conditions for the existence of solutions converging to zero when \(n\to \infty\), as well as when \(n\to+\infty\), are also given. For the case when the coefficients of the equation are periodic, the longterm behavior of nonperiodic solutions is studied.
1 Introduction
Many classes of difference equations have been studied for a long time (see, for example, [1–23] and the references therein). The following difference equation:
where the coefficients \((q_{n})_{n\in {\mathbb {N}}_{0}}\) and \((f_{n})_{n\in {\mathbb {N}}_{0}}\) and the initial value \(x_{0}\) are given numbers, is called the linear firstorder difference equation, which is one of the most important and useful solvable equations. The general solution to equation (1) is given by
If, as usual, the conventions \(\prod_{j=k}^{k1}a_{j}=1\) and \(\sum_{j=k}^{k1}a_{j}=0\), \(k\in {\mathbb {Z}}\) are used, then (2) also holds for \(n=0\), that is, the formula holds for every \(n\in {\mathbb {N}}_{0}\). How formula (2) is obtained can be found, for example, in [1, 6, 14] (the case when sequences \(q_{n}\) and \(f_{n}\) are constant can be also found in [11] and many other books dealing completely or partly with difference equations).
Many nonlinear difference equations of interest are closely related to equation (1). For example, some of the nonlinear equations in [17, 19–21] and systems in [19, 22] have been solved by transforming them to some special equations of the form in (1), which shows its importance (some of the equations and systems, such as the one in [22], are transformed into special cases of the delayed version of equation (1), which is obviously also solvable; see also [19] and the comments on scaling indices of difference equations and systems). A deeper analysis can show that even the solvability of some producttype equations and systems is essentially influenced by the solvability of equation (1) (see, e.g., [23] and the references therein).
Usefulness of (1) has also been recently shown in [18], where, among others, a small but nice result on convergence of its solutions was proved by using formula (2), partially extending the result in the following problem in [7] (in the eight edition of the Russian version of the problem book from 1972 it is Problem 637.2).
Problem 1
Let a sequence \((y_{n})_{n\in {\mathbb {N}}_{0}}\) be defined by a sequence \((x_{n})_{n\in {\mathbb {N}}_{0}}\) as follows:
where \(\vert \alpha \vert <1\). If \(\lim_{n\to\infty}y_{n}=0\), find \(\lim_{n\to \infty}x_{n}\).
For some other solvable equations, their applications, as well as invariants for some classes of equations, see, for example, [1–6, 9, 11–16].
Note that the domain of the above defined sequences \(x_{n}\) is \({\mathbb {N}}_{0}\), and it is difficult to find papers which consider equation (1) on \({\mathbb {Z}}\)the set of all integers, in the literature on difference equations. One of our aims is to fulfill the possible gap in the study of the equation. Motivated also by our recent paper [18], here, among others, we study bounded solutions to equation (1), but also on the whole \({\mathbb {Z}}\). We also present some sufficient conditions for the existence of solutions to (1) converging to zero when \(n\to\infty\) as well as when \(n\to +\infty\). Some of the results presented in the next section could be folklore, but we could not locate them in the literature.
A solution \(x_{n}\) to (1) is said to be (eventually) periodic with period \(T\in {\mathbb {N}}\) if there is \(n_{0}\in {\mathbb {N}}_{0}\) such that
If \(T=1\), then such a solution is called eventually constant [8].
Periodic solutions to (1) on \({\mathbb {N}}\) were studied in [2], which was another motivation for this paper. Our main result on periodicity is a nice complement to that in [2]. Namely, for the case when the coefficients of equation (1) are periodic, we describe the longterm behavior of its nonperiodic solutions when \(n\to\infty\) as well as when \(n\to+\infty\).
Assume that \(S\subset {\mathbb {Z}}\) is an unbounded set and that \(f:=(f_{n})_{n\in S}\) is a sequence defined on S. Then, if
we say that the sequence f is bounded on S. It is easy to see that the quantity defined in (3) is a norm on the space of all bounded sequences on S. From now on the set S will not be of special importance, so we will simply use the notation \(\Vert f \Vert _{\infty}\) instead of \(\Vert f \Vert _{\infty, S}\) for any unbounded set S which appears as a domain.
2 Bounded solutions to equation (1) on \({\mathbb {Z}}\)
In this section we study the existence of bounded solutions to equation (1). The cases when the domains are \({\mathbb {N}}_{0}\) and \({\mathbb {Z}}\setminus {\mathbb {N}}\) are treated separately, while the results in the case when the domain is \({\mathbb {Z}}\) are obtained as some consequences of the considerations on the domains \({\mathbb {N}}_{0}\) and \({\mathbb {Z}}\setminus {\mathbb {N}}\).
Our first result is, among others, an extension of the result in Problem 1, so it could be folklore.
Theorem 1
Assume that
and that \((f_{n})_{n\in {\mathbb {N}}_{0}}\) is a bounded sequence. Then the following statements are true.

(a)
Every solution to equation (1) is bounded.

(b)
If \(\lim_{n\to+\infty}f_{n}=0\), then every solution to equation (1) converges to zero.
Proof
(a) Since (4) holds, we have that there is \(n_{1}\in {\mathbb {N}}\) such that
Let
Using (5) and (6) in (2), as well as some standard estimates and sums, we have
for \(n\ge n_{1}\), from which the boundedness of \((x_{n})_{n\in {\mathbb {N}}_{0}}\) follows.
(b) Since \(f_{n}\) converges to zero, we have that for each \(\varepsilon >0\), there is \(n_{2}\in {\mathbb {N}}\) such that
Let \(n_{3}=\max\{n_{1},n_{2}\}\), where \(n_{1}\) is from (5), and
Using (5), (9) and (10) in (2), as well as some standard estimates and sums, we have
for \(n\ge n_{3}\).
Letting \(n\to+\infty\) in (11), we get
From this, and since ε is an arbitrary positive number, the result follows. □
Remark 1
Theorem 1 is optimal in the sense that condition (4) cannot be replaced by the following one: there is \(n_{4}\in {\mathbb {N}}_{0}\) such that
Indeed, assume that \(q_{n}\in(0,1)\), \(n\in {\mathbb {N}}_{0}\), is an increasing sequence such that the sequence
converges to \(Q\in(0,1)\) as \(n\to+\infty\), and that there are some numbers l and L such that
Then, by using (2) and the fact \(Q\le Q_{n}\le1\), \(n\in {\mathbb {N}}_{0}\), we have
as \(n\to+\infty\), from which it follows that not only there are unbounded solutions to equation (1) in this case, but that even none of the solutions to the equation in the case is bounded.
For example, let
and
Then
for \(n\in {\mathbb {N}}_{0}\), from which it follows that \(\lim_{n\to+\infty}Q_{n}=1/2\),
and along with (2) that
Using (15), the following obvious estimate
and the triangle inequality in (16), we get
from which it follows that each solution to equation (1) in this case is unbounded indeed.
If we assume that \(f_{n}\) is a positive sequence such that \(\lim_{n\to +\infty}f_{n}=0\) and \(\sum_{j=0}^{\infty}f_{j}=+\infty\) (for example, \(f_{n}=1/(n+1)\), \(n\in {\mathbb {N}}_{0}\)), and that \(q_{n}\) is chosen as above, then from (2) and the fact \(Q\le Q_{n}\le1\), \(n\in {\mathbb {N}}_{0}\), we have
as \(n\to+\infty\), from which it follows that none of the solutions to equation (1) in this case converges to zero. Specially, every solution to the difference equation
is unbounded.
Now we consider the case \(\liminf_{n\to+\infty} \vert q_{n} \vert >1\). In this case, we may assume that \(q_{n}\ne0\), \(n\in {\mathbb {N}}_{0}\), otherwise we can consider (1) for sufficiently large n for which, due to the condition \(\liminf_{n\to+\infty} \vert q_{n} \vert >1\), will hold \(q_{n}\ne 0\).
Theorem 2
Assume that \((q_{n})_{n\in {\mathbb {N}}_{0}}\subset {\mathbb {C}}\setminus\{0\}\) is a sequence satisfying the following condition:
and that \((f_{n})_{n\in {\mathbb {N}}_{0}}\) is a bounded sequence of complex numbers. Then the following statements are true.

(a)
There is a unique bounded solution to equation (1).

(b)
If \(f_{n}\to0\) as \(n\to+\infty\), then the bounded solution also converges to zero as \(n\to+\infty\).
Proof
(a) From (18), we have
Thus, from (2) and (19) we see that for a bounded solution to (1) it must be
and that the sum on the righthand side of (20) is finite (see [18]).
Using (20) in (2), it follows that
Condition (18) implies that there is \(n_{5}\in {\mathbb {N}}\) such that
Let
Note that \(M_{3}>0\) due to the assumption \(q_{n}\ne0\), \(n\in {\mathbb {N}}_{0}\).
Hence, by using (22) and (23), we have
from which it follows that \(x_{0}\) defined in (20) is finite.
for \(n\ge n_{5}\), from which the boundedness of the sequence in (21) follows. It is directly verified that the sequence satisfies equation (1), from which along with the unique choice of \(x_{0}\) in (20) it follows that it is a unique bounded solution to the equation.
(b) Since \(f_{n}\) tends to zero as \(n\to+\infty\), it follows that (9) holds for, say, \(n\ge n_{6}\). Using (9) and (22) in (21), we have
for \(n\ge\max\{n_{5},n_{6}\}\).
Letting \(n\to+\infty\) in (25) the following is obtained:
From this and by using the fact that ε is an arbitrary positive number, we obtain that \(x_{n}\to0\) as \(n\to+\infty\), as desired. □
Remark 2
Theorem 2 is optimal in the sense that condition (18) cannot be replaced by the following one: there is \(n_{7}\in {\mathbb {N}}_{0}\) such that
Indeed, assume that \(q_{n}>1\), \(n\in {\mathbb {N}}_{0}\), is an decreasing sequence such that the sequence
converges to \(Q>1\) as \(n\to+\infty\), and that there are some numbers l and L such that (13) holds. Then, by using (2) and the fact \(Q\ge Q_{n}\ge1\), \(n\in {\mathbb {N}}_{0}\), we have
as \(n\to+\infty\), from which it follows that all the solutions to equation (1) are unbounded in the case, so, it does not have bounded solutions.
For example, let
and
Then
for \(n\in {\mathbb {N}}_{0}\), from which it follows that \(\lim_{n\to+\infty}Q_{n}=2\),
and along with (2) that
Using (28), the following obvious estimate
and the triangle inequality in (29), we get
from which it follows that each solution to equation (1) in this case is unbounded.
If we assume that \(f_{n}\) is a positive sequence such that \(\lim_{n\to +\infty}f_{n}=0\) and \(\sum_{j=0}^{\infty}f_{j}=+\infty\) (for example, \(f_{n}=1/\ln(n+2)\), \(n\in {\mathbb {N}}_{0}\)), and that \(q_{n}\) is chosen as above, then from (2) and the fact \(1\le Q_{n}\le Q\), \(n\in {\mathbb {N}}_{0}\), we have
as \(n\to+\infty\), from which it follows that none of the solutions to equation (1) in this case converges to zero. Specially, every solution to the difference equation
is unbounded.
Now we consider the case when \(n\in {\mathbb {Z}}\setminus {\mathbb {N}}\). If in (1) is \(q_{n}\ne0\) for every \(n\in {\mathbb {Z}}\setminus {\mathbb {N}}_{0}\), then the sequence \(x_{n}\) is not only welldefined on the set \({\mathbb {N}}_{0}\), but also for every \(n\in {\mathbb {Z}}\). Indeed, if \(n\le0\), then from (1) we have
Using one of the methods for solving equation (1), from (31) the following is obtained:
for \(n\in {\mathbb {N}}\).
Closed form formulas (2) and (32) together present the general solution to equation (1) on \({\mathbb {Z}}\), when \(q_{n}\ne0\), for \(n\in {\mathbb {Z}}\setminus {\mathbb {N}}_{0}\).
Now we formulate and prove the corresponding results to Theorems 1 and 2 concerning bounded solutions to equation (31). The results are dual to Theorems 1 and 2 and are essentially obtained from them by using the change of variables \(y_{n}=x_{n}\). However, there are some different details which are used later in the text. Because of this and for the completeness, we will sketch their proofs.
First, we consider equation (31) for the case
Theorem 3
Assume that \((q_{n})_{n\in {\mathbb {N}}}\subset {\mathbb {C}}\setminus\{0\}\) is a sequence satisfying condition (33), and that \((f_{n})_{n\in {\mathbb {N}}}\) is a bounded sequence of complex numbers. Then the following statements are true.

(a)
Every solution to (31) is bounded.

(b)
If \(\lim_{n\to+\infty}f_{n}=0\), then every solution to (31) converges to zero as \(n\to+\infty\).
Proof
(a) From (33) it follows that there is \(n_{8}\in {\mathbb {N}}\) such that
Let
Using (34) and (35) in (32), as well as some standard estimates and sums, we have
for \(n\ge n_{8}\), from which the boundedness of \((x_{n})_{n\in {\mathbb {N}}_{0}}\) follows.
(b) Since \(f_{n}\) converges to zero as \(n\to+\infty\), we have that for every \(\varepsilon >0\), there is \(n_{9}\in {\mathbb {N}}\) such that
Let \(n_{10}=\max\{n_{8},n_{9}\}\), where \(n_{8}\) is from (34), and
Using (34), (37) and (38) in (36), as well as some standard estimates and sums, we have
for \(n\ge n_{10}\).
Letting \(n\to+\infty\) in (39) and using the fact that ε is an arbitrary positive number, the result follows. □
Now we consider the case \(\limsup_{n\to+\infty} \vert q_{n} \vert <1\). If so, then a bounded solution \((x_{n})_{n\in {\mathbb {N}}}\) to (31) is obtained only if
and for such chosen \(x_{0}\), it is obtained
for \(n\in {\mathbb {N}}\).
Theorem 4
Assume that \((q_{n})_{n\in {\mathbb {N}}}\subset {\mathbb {C}}\setminus\{0\}\) is a sequence such that
and that \((f_{n})_{n\in {\mathbb {N}}}\) is a bounded sequence of complex numbers. Then the following statements are true.

(a)
There is a unique bounded solution to (31).

(b)
If \(\lim_{n\to+\infty}f_{n}=0\), then the bounded solution \(x_{n}\) also converges to zero as \(n\to+\infty\).
Proof
(a) From (42) we have that there is \(n_{11}\in {\mathbb {N}}\) such that
By using (43) and some simple estimates in (41), we have
for \(n\ge n_{11}\), from which the boundedness of sequence (41) easily follows. A simple calculation shows that the sequence satisfies equation (31). Since \(x_{0}\) is uniquely determined by the convergent series in (40), it follows that the sequence is a unique bounded solution to (31).
(b) Since \(\lim_{n\to+\infty}f_{n}=0\), we have that for every \(\varepsilon >0\), there is \(n_{12}\in {\mathbb {N}}\) such that (37) holds for \(n\ge n_{12}\).
From this, (41) and (43), we have that
for \(n\ge\max\{n_{11},n_{12}\}\). Letting \(n\to+\infty\) in (45) and since ε is an arbitrary positive number, we obtain \(\lim_{n\to+\infty}x_{n}=0\), as desired. □
From Theorems 14 the following four interesting corollaries are obtained.
From Theorems 1 and 3 we obtain the following corollary.
Corollary 1
Consider equation (1) for \(n\in {\mathbb {Z}}\). Assume that \((q_{n})_{n\in {\mathbb {Z}}}\) and \((f_{n})_{n\in {\mathbb {Z}}}\) are sequences of complex numbers such that \(q_{n}\ne0\), \(n\in {\mathbb {N}}\), \(\limsup_{n\to+\infty} \vert q_{n} \vert <1\) and \(\liminf_{n\to+\infty} \vert q_{n} \vert >1\), and
Then the following statements are true.

(a)
Every solution to (1) is bounded on \({\mathbb {Z}}\).

(b)
If
$$\begin{aligned} \lim_{n\to\pm\infty}f_{n}=0, \end{aligned}$$(47)then, for every solution \((x_{n})_{n\in {\mathbb {Z}}}\) to (1), we have \(\lim_{n\to\pm\infty}x_{n}=0\).
From Theorems 1 and 4 we obtain the following corollary.
Corollary 2
Consider equation (1) for \(n\in {\mathbb {Z}}\). Assume that \((q_{n})_{n\in {\mathbb {Z}}}\) and \((f_{n})_{n\in {\mathbb {Z}}}\) are sequences of complex numbers such that \(q_{n}\ne0\), \(n\in {\mathbb {N}}\), \(\limsup_{n\to+\infty} \vert q_{n} \vert <1\) and \(\limsup_{n\to+\infty} \vert q_{n} \vert <1\), and that (46) holds. Then the following statements are true.

(a)
There is a unique bounded solution to (1) on \({\mathbb {Z}}\).

(b)
If (47) holds, then, for the bounded solution \((x_{n})_{n\in {\mathbb {Z}}}\), we have \(\lim_{n\to\pm\infty}x_{n}=0\).
From Theorems 2 and 3 we obtain the following corollary.
Corollary 3
Consider equation (1) for \(n\in {\mathbb {Z}}\). Assume that \((q_{n})_{n\in {\mathbb {Z}}}\) and \((f_{n})_{n\in {\mathbb {Z}}}\) are sequences of complex numbers such that \(q_{n}\ne0\), \(n\in {\mathbb {N}}\), \(\liminf_{n\to+\infty} \vert q_{n} \vert >1\) and \(\liminf_{n\to+\infty} \vert q_{n} \vert >1\), and that (46) holds. Then the following statements are true.

(a)
There is a unique bounded solution to (1) on \({\mathbb {Z}}\).

(b)
If (47) holds, then, for the bounded solution \((x_{n})_{n\in {\mathbb {Z}}}\), we have \(\lim_{n\to\pm\infty}x_{n}=0\).
From Theorems 2 and 4 we obtain the following corollary.
Corollary 4
Consider equation (1) for \(n\in {\mathbb {Z}}\). Assume that \((q_{n})_{n\in {\mathbb {Z}}}\) and \((f_{n})_{n\in {\mathbb {Z}}}\) are sequences of complex numbers such that \(q_{n}\ne0\), \(n\in {\mathbb {N}}\), \(\liminf_{n\to+\infty} \vert q_{n} \vert >1\) and \(\limsup_{n\to+\infty} \vert q_{n} \vert <1\), and that (46) holds. Then the following statements are true.

(a)
There is a unique bounded solution to (1) on \({\mathbb {Z}}\) if and only if
$$x_{0}=\sum_{j=1}^{\infty}f_{j}\prod_{l=1}^{j1}q_{l}= \sum_{i=0}^{\infty}\frac{f_{i}}{\prod_{j=0}^{i}q_{j}}. $$ 
(b)
If (47) holds, then, for the bounded solution \((x_{n})_{n\in {\mathbb {Z}}}\), we have \(\lim_{n\to\pm\infty}x_{n}=0\).
3 Periodic solutions to equation (1)
In this section we study equation (1) in the case when the sequences \(q_{n}\) and \(f_{n}\) are periodic with the same period T. Note that if sequence \(q_{n}\) is periodic with period \(T_{1}\) and sequence \(f_{n}\) is periodic with period \(T_{2}\), where \(T_{1}\ne T_{2}\), then \(T:={\mathrm{lcm}}(T_{1}, T_{2})\) (the least common multiple of integers \(T_{1}\) and \(T_{2}\)) is a common period of these two sequences, since \(T=k_{1}T_{1}=k_{2}T_{2}\) for some integers \(k_{1}\) and \(k_{2}\). Hence, the case leads to the investigation of equation (1) whose coefficients are periodic with the same period.
Periodic solutions to equation (1) have been studied in [2]. Among others, the authors of [2] quote, in an equivalent form, the following basic result, which is certainly folklore.
Theorem 5
Assume that \((q_{n})_{n\in {\mathbb {N}}_{0}}\) and \((f_{n})_{n\in {\mathbb {N}}_{0}}\) are two periodic sequences with period T. Then the following statements are true.

(a)
If
$$\begin{aligned} \lambda :=\prod_{j=0}^{T1}q_{j} \ne1, \end{aligned}$$(48)then (1) has a unique Tperiodic solution given by the initial condition
$$\begin{aligned} x_{0}=\frac{\sum_{i=0}^{T1}f_{i}\prod_{j=i+1}^{T1}q_{j}}{1\lambda }. \end{aligned}$$(49) 
(b)
If
$$\begin{aligned} \lambda =1\quad\textit{and}\quad\sum_{i=0}^{T1}f_{i} \prod_{j=i+1}^{T1}q_{j}=0, \end{aligned}$$(50)then (1) has a oneparameter family of Tperiodic solutions.

(c)
If
$$\begin{aligned} \lambda =1\quad\textit{and}\quad\sum_{i=0}^{T1}f_{i} \prod_{j=i+1}^{T1}q_{j}\ne 0, \end{aligned}$$(51)then (1) has no Tperiodic solutions.
The case in (a) is interesting for guaranteeing the uniqueness of a Tperiodic solution to equation (1). Note that, due to the Tperiodicity of sequences \(q_{n}\) and \(f_{n}\), from (2) we see that a solution to equation (1) will be periodic with period T if and only if
from which, if (48) holds, it follows that \(x_{0}\) must be given by (49). However, the authors of [2] did not consider there the relationship between the periodic and other solutions to equation (1). We prove a nice result which gives an answer to the natural problem. Before this, we formulate and prove a closely related result to Theorem 5.
Theorem 6
Assume that \((q_{n})_{n\in {\mathbb {N}}}\) and \((f_{n})_{n\in {\mathbb {N}}}\) are two periodic sequences with period T such that \(q_{n}\ne0\), \(n=\overline {1,T}\). Then the following statements are true.

(a)
If
$$\begin{aligned} \hat{\lambda }:=\prod_{j=1}^{T}q_{j} \ne1, \end{aligned}$$(52)then (31) has a unique Tperiodic solution given by the initial condition
$$\begin{aligned} \hat{x}_{0}=\frac{\sum_{j=1}^{T}f_{j}\prod_{l=1}^{j1}q_{l}}{1\hat{\lambda }}. \end{aligned}$$(53) 
(b)
If
$$\begin{aligned} \hat{\lambda }=1\quad\textit{and}\quad\sum_{j=1}^{T}f_{j} \prod_{l=1}^{j1}q_{l}=0, \end{aligned}$$(54)then all the solutions to (31) are Tperiodic.

(c)
If
$$\begin{aligned} \hat{\lambda }=1\quad\textit{and}\quad\sum_{j=1}^{T}f_{j} \prod_{l=1}^{j1}q_{l}\ne 0, \end{aligned}$$(55)then (31) has no Tperiodic solutions.
Proof
(a)(c) Since \(q_{n}\) and \(f_{n}\) are periodic, by using (32) we see that a solution to (31) will be Tperiodic if and only if
from which, if \(\hat{\lambda }\ne1\), (53) follows. If \(\hat{\lambda }=1\), then from the second equality in (56), we see that if (54) holds we have \(\hat{x}_{T}=\hat{x}_{0}\), so all the solutions are Tperiodic, while if (55) holds, such \(\hat{x}_{0}\) does not exist, so there are no Tperiodic solutions in this case, which completes the proof. □
Now we formulate and prove the main result in this section. The result deals with the asymptotic behavior of solutions to equation (1) in the case when the quantity in (48) is different from 0 and 1.
Theorem 7
Assume that \((q_{n})_{n\in {\mathbb {Z}}}\) and \((f_{n})_{n\in {\mathbb {Z}}}\) are two periodic sequences with period T and that the quantity in (48) is different from 0 and 1. Then equation (1) has a unique Tperiodic solution, say, \((\hat{x}_{n})_{n\in {\mathbb {Z}}}\), and the following statements are true.

(a)
If \(\vert \lambda \vert <1\), then all the solutions to (1) converge geometrically to the periodic one as \(n\to+\infty\), while they are getting away geometrically from the periodic one as \(n\to\infty\).

(b)
If \(\vert \lambda \vert >1\), then all the solutions to (1) converge geometrically to the periodic one as \(n\to\infty\), while they are getting away geometrically from the periodic one as \(n\to+\infty\).
Proof
Unique existence of a Tperiodic solution \((\hat{x}_{n})_{n\in {\mathbb {Z}}}\) to (1) follows from Theorem 6(a). Assume that \((x_{n})_{n\in {\mathbb {Z}}}\) is an arbitrary solution to (1). Then, due to the Tperiodicity of \(q_{n}\), we have
for every \(n\in {\mathbb {Z}}\) (note that due to an assumption we have \(\lambda \ne 0\)), from which along with (2), we obtain
where
Using again the periodicity of \(p_{n}\) and \(q_{n}\), we have
which means that the sequence \(d_{n}\) is Tperiodic.
From (58) we see that if \(\hat{x}_{n}\) is the periodic solution to (1), it must be
Also, we have
Hence, since \(\lambda \ne1\), we have
for every \(m,l\in {\mathbb {N}}_{0}\).
Let
Note that since \(\lambda \notin\{0,1\}\), the quantity is well defined.
Then from (62) it follows that
If \(\vert \lambda \vert <1\), then from (63) it follows that all the solutions to equation (1) converge geometrically to the periodic solution to the equation as \(n\to+\infty\). Now note that if \(x_{n_{0}}=\hat{x}_{n_{0}}\) for some \(n_{0}\in {\mathbb {N}}\), then it will be \(x_{n}=\hat{x}_{n}\) for \(n\ge n_{0}\). Moreover, since due to the condition \(\lambda \ne0\), we have \(q_{n}\ne0\), \(n\in {\mathbb {N}}_{0}\), it follows that \(x_{n}=\hat{x}_{n}\) for every \(n\in {\mathbb {N}}_{0}\). So, for an arbitrary solution \(x_{n}\) different from \(\hat{x}_{n}\), it must be \(x_{n}\ne\hat{x}_{n}\) for every \(n\in {\mathbb {N}}_{0}\). Hence, if \(\vert \lambda \vert >1\), then from (62) it follows that
that is, every solution \(x_{n}\) different from \(\hat{x}_{n}\) gets away geometrically from the periodic solution as \(n\to+\infty\).
Now we are going to consider the case \(n\le0\). From Theorem 6(a) we see that equation (31) has a unique Tperiodic solution if (52) holds with \(\hat{x}_{0}\) given in (53).
From (57) we see that \(\hat{\lambda }=\lambda \). Using this fact along with the periodicity of \(q_{n}\) and \(f_{n}\), we obtain
From (49) and (64) we see that \(\hat{x}_{0}=x_{0}\), so, there is only one ‘initial value’ for which a Tperiodic solution to (1) on \({\mathbb {Z}}\) is obtained.
Using (32), we obtain
for \(n\in {\mathbb {N}}_{0}\), where
Since
we see that \(c_{n}\) is a Tperiodic sequence for \(n\in {\mathbb {N}}\).
From (65) we see that if \(\tilde{x}_{n}\) is the periodic solution to equation (31), then it must be
Also, we have
for \(m\in {\mathbb {N}}\).
Hence, since \(\lambda \ne1\), we have
for every \(m,l\in {\mathbb {N}}_{0}\).
Let
Then from (69) it follows that
If \(\vert \lambda \vert >1\), then from (70) it follows that all the solutions to equation (31) converge geometrically to the periodic solution to the equation as \(n\to+\infty\). Now note that if \(x_{n_{0}}=\tilde{x}_{n_{0}}\) for some \(n_{0}\in {\mathbb {N}}\), then it will be \(x_{n}=\tilde{x}_{n}\) for \(n\ge n_{0}\). Moreover, since \(q_{n}\ne0\), \(n\in {\mathbb {N}}_{0}\), then we have \(x_{n}=\tilde{x}_{n}\) for every \(n\in {\mathbb {N}}_{0}\). So, for an arbitrary solution \(x_{n}\) different from \(\tilde{x}_{n}\), it must be \(x_{n}\ne\tilde{x}_{n}\) for every \(n\in {\mathbb {N}}_{0}\). Hence, if \(0< \vert \lambda \vert <1\), then from (69) it follows that
and consequently, every solution \(x_{n}\) different from \(\tilde{x}_{n}\) gets away geometrically from the periodic solution as \(n\to+\infty\), which finishes the proof of the theorem. □
References
Agarwal, RP: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Dekker, New York (2000)
Agarwal, RP, Popenda, J: Periodic solutions of first order linear difference equations. Math. Comput. Model. 22(1), 1119 (1995)
AndruchSobilo, A, Migda, M: Further properties of the rational recursive sequence \(x_{n+1}=ax_{n1}/(b+cx_{n}x_{n1})\). Opusc. Math. 26(3), 387394 (2006)
Berezansky, L, Braverman, E: On impulsive BevertonHolt difference equations and their applications. J. Differ. Equ. Appl. 10(9), 851868 (2004)
Brand, L: A sequence defined by a difference equation. Am. Math. Mon. 62(7), 489492 (1955)
Brand, L: Differential and Difference Equations. Wiley, New York (1966)
Demidovich, B: Problems in Mathematical Analysis. Mir, Moscow (1989)
Iričanin, B, Stević, S: Eventually constant solutions of a rational difference equation. Appl. Math. Comput. 215, 854856 (2009)
Jordan, C: Calculus of Finite Differences. Chelsea, New York (1956)
Karakostas, G: Convergence of a difference equation via the full limiting sequences method. Differ. Equ. Dyn. Syst. 1(4), 289294 (1993)
Krechmar, VA: A Problem Book in Algebra. Mir, Moscow (1974)
Levy, H, Lessman, F: Finite Difference Equations. Dover, New York (1992)
Mitrinović, DS, Adamović, DD: Sequences and Series. Naučna Knjiga, Beograd (1980) (in Serbian)
Mitrinović, DS, Kečkić, JD: Methods for Calculating Finite Sums. Naučna Knjiga, Beograd (1984) (in Serbian)
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, Stefanidou, G: Asymptotic behavior of the solutions of a class of rational difference equations. Int. J. Difference Equ. 5(2), 233249 (2010)
Stević, S: Existence of a unique bounded solution to a linear second order difference equation and the linear first order difference equation. Adv. Differ. Equ. 2017, Article ID 169 (2017)
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)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On the difference equation \(x_{n}=a_{n}x_{nk}/(b_{n}+c_{n}x_{n1}\cdots x_{nk})\). Abstr. Appl. Anal. 2012, Article ID 409237 (2012)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On the difference equation \(x_{n+1}=x_{n}x_{nk}/(x_{nk+1}(a+bx_{n}x_{nk}))\). Abstr. Appl. Anal. 2012, Article ID 108047 (2012)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On a solvable system of rational difference equations. J. Differ. Equ. Appl. 20(56), 811825 (2014)
Stević, S, Iričanin, B, Šmarda, Z: Twodimensional producttype system of difference equations solvable in closed form. Adv. Differ. Equ. 2016, Article ID 253 (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Authors’ contributions
The author has contributed solely to the writing of this paper. He read and approved the manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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. Bounded and periodic solutions to the linear firstorder difference equation on the integer domain. Adv Differ Equ 2017, 283 (2017). https://doi.org/10.1186/s1366201713508
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201713508