 Research
 Open Access
 Published:
Existence of a unique bounded solution to a linear secondorder difference equation and the linear firstorder difference equation
Advances in Difference Equations volume 2017, Article number: 169 (2017)
Abstract
We present some interesting facts connected with the following secondorder difference equation:
where \((q_{n})_{n\in\mathbb{N}_{0}}\) and \((f_{n})_{n\in\mathbb {N}_{0}}\) are given sequences of numbers. We give some sufficient conditions for the existence of a unique bounded solution to the difference equation and present an elegant proof based on a combination of theory of linear difference equations and the Banach fixed point theorem. We also deal with the equation by using theory of solvability of difference equations. A global convergence result of solutions to a linear firstorder difference equation is given. Some comments on an abstract version of the linear firstorder difference equation are also given.
1 Introduction
Difference equations and systems of difference equations have been of a great interest in the last several decades. For some classical results in the research area, see, for example, [1–8], whereas some recent results can be found, for example, in [9–22] (see also the references therein). Book [23] contains a lot of results obtained up to 2,000.
It is a frequent situation that during some investigations in various areas of mathematics and science naturally appeared special cases of the following nonhomogeneous linear secondorder difference equation:
where \((q_{n})_{n\in\mathbb{N}_{0}}\) and \((f_{n})_{n\in\mathbb {N}_{0}}\) are sequences of real or complex numbers. Recall that equations of type (1) with \(f_{n}=0\), \(n\in\mathbb{N}_{0}\), appeared in many problem books on classical analysis ([7, 24]), especially in those dealing with sequences and integrals (by using the integration in parts an integral \(I_{n}\) is frequently presented in terms of a linear function of \(I_{n2}\)). However, this case is very simple, so the case \(f_{n}\not\equiv0\), is more interesting.
Although equation (1) is of second order and resembles the following differential equation:
it is not the one that corresponds quite well to it. The following secondorder difference equation:
where \(\Delta x_{n}=x_{n+1}x_{n}\) is the forward difference, is one of the discrete cousins of equation (2), and is much more interesting for investigation than equation (1). Nevertheless, equation (1) has some nice properties which seem are not so known and will be presented here.
As a further motivation, recall that if q is a positive number, then the difference equation
where \(x_{0}\), \(x_{1}\) are given numbers, is easily solved and it has the following general solution:
where \(\hat{c}_{1}\) and \(\hat{c}_{2}\) are arbitrary constants ([3, 6, 8, 23]).
By using equation (4) it is immediately seen that the following three statements hold.

(a)
If \(q\in(0,1)\), then all the solutions to equation (3) converge to zero.

(b)
If \(q=1\) then all the solutions to equation (3) are bounded.

(c)
If \(q>1\), then all the solutions to equation (3) are unbounded, except the trivial solution
$$x_{n}=0,\quad n\in\mathbb{N}_{0}, $$which is obtained for the initial conditions \(x_{0}=x_{1}=0\).
In terms of the boundedness these statements claim that all the solutions to equation (3) are bounded if and only if \(q\in(0,1]\), while for the case \(q>1\) there is only one bounded solution to the equation.
It is a classical problem to see how bounded perturbations of the righthand side of equation (3), as well as of coefficient q influence on the boundedness character of the solutions of such obtained equations. We will present two interesting ways how the problem of the existence of a unique bounded solution can be solved for the case of the difference equation (1), where \((q_{n})_{n\in\mathbb{N}_{0}}\) and \((f_{n})_{n\in\mathbb{N}_{0}}\) are two given bounded sequences.
By \(l^{\infty}\) we will denote the space consisting of all bounded sequences \(u=(u_{n})_{n\in\mathbb{N}_{0}}\) with the supremum norm
It is well known that \(l^{\infty}\) with norm (5) is a Banach space.
The paper is partially based on several comments and ideas presented by the author at several international conferences and invited talks during the last several years, which has not been published so far. Some of the results could be known, but we could not find specific references for them.
The paper is organized as follows. First, we consider the case when \(q_{n}=q\ne0\) for every \(n\in\mathbb{N}_{0}\) and \((f_{n})_{n\in \mathbb{N}_{0}}\) is a bounded sequence. Then we consider the case when the sequences \((q_{n})_{n\in\mathbb{N}_{0}}\) and \((f_{n})_{n\in\mathbb{N}_{0}}\) are bounded. By a nice combination of the theory of linear difference equations and the Banach fixed point theorem we present some sufficient conditions for the existence of a unique bounded solution to equation (1). In the third section we will present another way for dealing with the unique existence problem by using only the theory of linear difference equations. We finish the paper by giving some comments on the form of general solution to an abstract version of the linear firstorder difference equation.
2 Fixed point approach in dealing with equation (1)
In this section we deal with the problem of the existence of a unique bounded solution to the difference equation (1). To do this we use fixed point theory. First we deal with the case when \(q_{n}=q \ne0\) for every \(n\in\mathbb{N}_{0}\) and \((f_{n})_{n\in\mathbb {N}_{0}}\) is a bounded sequence.
Before we formulate and prove the main result in the section we need an auxiliary result which is incorporated into the following lemma. The lemma is essentially folklore, but we will give a proof of it for completeness, for the benefit of the reader and also as a good motivation and better understanding of some ideas appearing in the proof of the main result.
Lemma 1
Consider the difference equation
where \(q\in\mathbb{C}\setminus\{0\}\), \(x_{0}\) and \(x_{1}\) are given complex numbers, and \((f_{n})_{n\in\mathbb{N}_{0}}\) is a given sequence of complex numbers. Then the general solution to equation (6) is given by the following formula:
where \(c_{0}\) and \(d_{0}\) are arbitrary numbers, and \(\sqrt{q}\) is one of two possible roots of q.
Proof
The difference equation (6) can be solved. We will demonstrate it by using the method of variation of constants ([8, 23]). Namely, based on the form of the general solution to the homogeneous equation (3) given in (4), we seek the general solution to equation (6) in the form
where \((c_{n})_{n\in\mathbb{N}_{0}}\) and \((d_{n})_{n\in\mathbb {N}_{0}}\) are two (undetermined) sequences.
Further, we pose the following condition:
for \(n\in\mathbb{N}_{0}\), that is,
for \(n\in\mathbb{N}_{0}\).
Using (9) with \(n\to n+1\) along with (8) into equation (6) is obtained
that is,
for \(n\in\mathbb{N}_{0}\).
For each fixed \(n\in\mathbb{N}_{0}\), equalities (10) and (11) can be regarded as a twodimensional linear system in the variables \(c_{n+1}c_{n}\) and \(d_{n+1}d_{n}\).
By solving the system the following is easily obtained:
from which it follows that
and
for \(n\in\mathbb{N}_{0}\).
Using (12) and (13) into (8) we get equation (7). That (7) represents the general solution to (6) follows from the facts that the sequence
is a particular solution to equation (6), which is easily verified, while
is the general solution to the corresponding homogeneous equation ([8, 23]). □
The following result solves the problem of existence of a unique bounded solution to equation (1) for the case \(q_{n}=q\), \(n\in\mathbb{N} _{0}\), when \(\vert q\vert >1\).
Theorem 1
Consider the difference equation (6), where q is a complex number such that \(\vert q\vert >1\) and \(f:=(f_{n})_{n\in\mathbb{N} _{0}}\) is a given bounded sequence of complex numbers. Then there is a unique bounded solution to the difference equation.
Proof
By Lemma 1 we know that the general solution to the difference equation (6) is given by equation (7). By using equation (7) for even and odd indices it follows that
and
for every \(n\in\mathbb{N}_{0}\).
Now note that from the assumptions of the theorem we have
and
so that these two series are absolutely convergent.
Using this fact, (14), (15) and the assumption \(\vert q\vert >1\) we see that for a bounded solution \((x_{n})_{n\in\mathbb {N}_{0}}\) to equation (6) we must have
and
(at the moment we do not know if a bounded solution to (6) exists, but if it does, then its subsequences \((x_{2n})\) and \((x_{2n+1})\) will be bounded, which will imply that (16) and (17) must hold).
From (16) and (17) it follows that
and
If we use (18) and (19) in (7), we get
for \(n\in\mathbb{N}_{0}\).
A direct calculation shows that sequence \((x_{n})_{n\in\mathbb{N}_{0}}\) defined by (20) is a solution to equation (6). On the other hand, by using the assumptions of the theorem we easily get
from which the boundedness of \((x_{n})_{n\in\mathbb{N}_{0}}\), follows. From this and since \((c_{0}, d_{0})\) is a unique solution to the linear system (16)(17), \((x_{n})_{n\in\mathbb{N}_{0}}\) defined by (20) is a unique bounded solution to equation (6). □
Now we are in a position to formulate and prove the main result in the section in an elegant way.
Theorem 2
Consider the difference equation (1), where
or
for some positive numbers a and b, and \((f_{n})_{n\in\mathbb {N}_{0}}\) is a bounded sequence of complex numbers. Then equation (1) has a unique bounded solution.
Proof
We will prove the theorem under condition (21). The proof when (22) holds is similar/dual so is omitted.
Let q be a positive number such that
Write equation (1) in the following form:
for \(n\in\mathbb{N}_{0}\).
Let A be the following operator defined on the class of all sequences:
If \(u\in l^{\infty}\), then from (25) it follows that
which means that the operator A maps the Banach space \(l^{\infty}\) into itself.
On the other hand, for every \(u,v\in l^{\infty}\) we have
Since \(a>1\) we have \(qa< q1\). On the other hand, from (23) we see that \(0< bq< q1\). From this and (26), we have
for every \(u,v\in l^{\infty}\), and for
that is, \(A:l^{\infty}\to l^{\infty}\) is a contraction.
By the Banach fixed point theorem we see that the operator has a unique fixed point, say \(x^{*}=(x_{n}^{*})_{n\in\mathbb{N}_{0}}\in l^{\infty}\), that is, \(A(x^{*})=x^{*}\) or equivalently
for \(n\in\mathbb{N}_{0}\).
A direct calculation shows that this bounded sequence satisfies the difference equation (1) for every \(n\in\mathbb{N}_{0}\), from which the theorem follows. □
Remark 1
Beside the choice of operator (25), which is naturally imposed, a crucial point in the proof of Theorem 2 is the choice of constant q in (23) to get the contractivity of the operator. It is also expected that a modification of the above arguments can be applied to some other related difference equations.
3 Equation (1) versus the linear firstorder difference equation
Another approach in dealing with equation (1) is to note that it is obtained from a linear firstorder difference equation by scaling the indices. The linear firstorder difference equation is of the form
where \((q_{n})_{n\in\mathbb{N}_{0}}\) and \((f_{n})_{n\in\mathbb {N}_{0}}\) are arbitrary real (or complex) sequences and \(x_{0}\in\mathbb{R}\) (or \(x_{0}\in\mathbb{C}\)). The main feature of the equation is that it is solvable. How equation (29) is solved can be found, for example, in [2, 8, 23]. On periodic solutions to equation (29) see [9]. If \(q_{n}\ne0\) for every \(n\in\mathbb{N} _{0}\), then general solution to equation (29) can be obtained, for example, as follows. Dividing both sides of (29) by \(\prod_{j=0}^{n}q_{j}\), we obtain
Summing the equalities in (30) from 0 to \(n1\), we easily get the following formula for a general solution to equation (29):
It is important to note that many nonlinear difference equations and systems can be reduced to some special cases of equation (29), which means that they are solvable too. Some interest in the area has been renewed recently. For some recent classes of solvable difference equations see, for example, [11, 13, 14, 16, 17, 19, 25], while some related systems of difference equations can be found in [10, 12, 16, 18]. For some recent results on solvable producttype systems of difference equations, see [15, 20–22] and the references therein. For some classical equations and systems which can be reduced to (29) or solved by some other methods; see, for example, [3, 5, 6, 8, 23].
How useful and powerful equation (31) is shows the following small but nice result, which is an old result by the author which has never been published so far but has been presented at several talks.
Theorem 3
Consider equation (29). Assume that \(0< q_{n}\le p<1\), for \(n\in\mathbb{N}_{0}\), \((f_{n})_{n\in\mathbb {N}_{0}}\) is a sequence of real numbers, and that there is a finite
Then every real solution \((x_{n})_{n\in\mathbb{N}_{0}}\) to the equation is convergent.
Proof
Let the limit in (32) be equal to l. Since \(q_{n}\ne0\) for every \(n\in\mathbb{N}_{0}\) we see that every solution to equation (29) can be written in the form as in (31). Since
it follows that the sequence
increasingly tends to +∞ as \(n\to\infty\).
Using the Stoltz theorem ([7, 24]) and condition (32) we have
which implies that \(\lim_{n\to\infty}x_{n}=l\), for every solution to equation (29), from which the theorem follows. □
Remark 2
Special cases of Theorem 3 frequently appear at problem books or students’ competitions (see, for example, [24]), but in all the cases that we have met so far the existence of the limit \(\lim_{n\to\infty}f_{n}\) is assumed. However, if (32) holds, then the limit need not exist. For example, if we assume that sequences \((q_{n})_{n\in\mathbb{N}_{0}}\) and \((f_{n})_{n\in\mathbb{N}_{0}}\) are defined as follows:
where the following conditions are satisfied:
\(f_{1}\ne0\ne f_{0}\ne f_{1}\) and \(q_{1},q_{2}\in(0,1)\), then it is clear that
but there is no \(\lim_{n\to\infty}f_{n}\).
If we assume that
then
(we can assume here also \(\liminf_{n\to\infty} \vert q_{n}\vert >1\)). Hence, in this case a solution to equation (29) will be bounded, only if
and using (34) in (31), we see that it will be given by the following formula:
In order that (35) holds the convergence of the series in (34) is necessary, which will be so, for example, if \((f_{n})_{n\in\mathbb{N}_{0}}\) is a bounded sequence.
Now note that if \((x_{n})_{n\in\mathbb{N}_{0}}\) is a solution to equation (1), then its subsequences \((x_{2n})_{n\in\mathbb{N}_{0}}\) and \((x_{2n+1})_{n\in\mathbb{N}_{0}}\) are solutions to the equations
and
respectively, which are nothing but two difference equations of the form in (29), and consequently they are solvable.
By applying the arguments from (33) to (35), it is easy to see that the following result holds.
Theorem 4
Consider equation (1), where condition (33) holds and \((f_{n})_{n\in\mathbb{N}_{0}}\) is a bounded sequence. Then the equation has a unique bounded solution given by the formulas
for every \(n\in\mathbb{N}_{0}\).
Remark 3
Theorem 4 also shows that equation (1) has a unique bounded solution if (33) holds and \((f_{n})_{n\in\mathbb{N} _{0}}\) is a bounded sequence, and gives it explicitly, although in not so nice way. Moreover, the conditions in Theorem 4 are somewhat weaker so that its result is somewhat stronger than the one in Theorem 2, which again shows the importance and usefulness of equation (31). Nevertheless, both approaches in dealing with equation (1) are interesting, each of them in its own way.
3.1 An abstract form of equation (29)
Equation (29) is not only ‘solvable’ for the case of real or complex initial values and coefficients. Namely, let S be a set equipped with two binary operations ⊙ and ⊕ (two maps which send elements of the Cartesian product \(S\times S\) to S), or in terminology of abstract algebra, let \((S,\odot)\) and \((S,\oplus)\) be two groupoids/magmas, such that operation ⊙ is leftdistributive over ⊕, that is,
for every \(x, y, z\in S\). Then the ‘difference’ equation
where \(x_{0}\in S\), \(a_{n},b_{n}\in S\), \(n\in\mathbb{N}_{0}\), is solvable.
Indeed, for \(n=1\), we get \(x_{1}=(a_{0}\odot x_{0})\oplus b_{0}\). From equality (39) with \(n=2\) along with (38), is obtained
An inductive argument shows that
for every \(n\in\mathbb{N}\), which means that (40) is a formula for general solution to equation (39) under the posed conditions.
If operation ⊙ has precedence over ⊕, that is, if
for every \(x, y, z\in S\), then equation (40) can be written in the following form:
If further \((S,\odot)\) is a semigroup; a groupoid where operation ⊙ is associative, that is,
for every \(x, y, z\in S\), then from the well known fact that in this case for every set \(d_{1},d_{2},\ldots, d_{k}\) of elements from S the product
is unambiguous, that is, the same element is obtained regardless of how parentheses are inserted in product (41), equation (40) can be written in the following form:
where if \(d_{1},d_{2},\ldots, d_{k}\in S\), then
Note that in (41) and (42) the order of elements is important, since we do not assume commutativity of these operations on S.
If further the operation ⊙ is commutative, that is,
for every \(x,y\in S\), then equation (40) can be written in the following form:
from which if \(S=\mathbb{R}\) or \(S=\mathbb{C}\) and ⊙ and ⊕ are multiplication and addition in \(\mathbb{R}\) or \(\mathbb{C}\), respectively, is obtained equation (30).
References
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)
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)
Agarwal, RP, Popenda, J: Periodic solutions of first order linear difference equations. Math. Comput. Model. 22(1), 1119 (1995)
Berg, L, Stević, S: On some systems of difference equations. Appl. Math. Comput. 218, 17131718 (2011)
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: On a thirdorder system of difference equations. Appl. Math. Comput. 218, 76497654 (2012)
Stević, S: On the difference equation \(x_{n}=x_{nk}/(b+cx_{n1} \cdots x_{nk})\). Appl. Math. Comput. 218, 62916296 (2012)
Stević, S: Solvable subclasses of a class of nonlinear secondorder difference equations. Adv. Nonlinear Anal. 5(2), 147165 (2016)
Stević, S: Solvable producttype system of difference equations whose associated polynomial is of the fourth order. Electron. J. Qual. Theory Differ. Equ. 2017, Article ID 13 (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 a solvable system of rational difference equations. J. Differ. Equ. Appl. 20(56), 811825 (2014)
Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: Solvability of nonlinear difference equations of fourth order. Electron. J. Differ. Equ. 2014, Article ID 264 (2014)
Stević, S, Iričanin, B, Šmarda, Z: On a producttype system of difference equations of second order solvable in closed form. J. Inequal. Appl. 2015, Article ID 327 (2015)
Stević, S, Iričanin, B, Šmarda, Z: Solvability of a close to symmetric system of difference equations. Electron. J. Differ. Equ. 2016, Article ID 159 (2016)
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)
Agarwal, RP: Difference Equations and Inequalities: Theory, Methods, and Applications, 2nd edn. Dekker, New York (2000)
Demidovich, B: Problems in Mathematical Analysis. Mir, Moscow (1989)
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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s 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. Existence of a unique bounded solution to a linear secondorder difference equation and the linear firstorder difference equation. Adv Differ Equ 2017, 169 (2017). https://doi.org/10.1186/s136620171227x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136620171227x
MSC
 39A06
 39A45
Keywords
 secondorder difference equation
 unique bounded solutions
 fixed point theorem
 linear firstorder difference equation