Bounded Solutions to Nonhomogeneous Linear Second-Order Difference Equations

By using some solvability methods and the contraction mapping principle are investigated bounded, as well as periodic solutions to some classes of nonhomogeneous linear second-order difference equations on domains N0, Z \N2 and Z. The case when the coefficients of the equation are constant and the zeros of the characteristic polynomial associated to the corresponding homogeneous equation do not belong to the unit circle is described in detail.


Introduction
Let Z denote the set of all integers, N k := {n ∈ Z : n ≥ k}, k ∈ Z, and N = N 1 .Investigations of difference equations and systems of difference equations have been conducted for a long time (see, for example,  and the references therein).The solvability of the equations and systems is one of the oldest topics in the area.It is always nice to have formulas for solutions to the equations and systems for themselves, but also since they can frequently help in studying of the long-term behavior of the solutions, as is the case in [7,33,35].Many classical results, including the ones on solvability of the equations and systems, can be found in the following classical books: [8,[14][15][16]19,20].
Many of solvable difference equations and systems essentially use the solvability of the linear first-order difference equation, that is, of the following difference equation where (q n ) n∈N 0 and ( f n ) n∈N 0 are given sequences.We will mention here just a few recent examples; the interested reader can find many other examples in the list of the references of the mentioned papers.
In [33] was studied the following difference equation which is transformed to an equation of the form in (1) by using the change of variables y n = 1/(x n x n−1 • • • x n−k+1 ), while [32] studies the following difference equation , n ∈ N 0 , which is transformed to an equation of the form in (1) by using the change of variables y n = 1/(x n+1 x n−k+1 ) (for an extension of the equation see [31]).Essentially the same ideas and methods were used in [23,35], while [1] studies a special case of Equation ( 2) in another way.In fact, all the papers use our ideas and methods from a 2004 note.Paper [27] presents several related methods and can be considered as a representative one, where a comprehensive list of relevant references on solvability is given.It is also worthy to mention that some nonlinear systems of difference equations were solved by reducing them, by using some suitable changes of variables, to solvable linear ones (see, for example, [7,34], as well as the related references therein).The solvability of some product-type equations ( [27]) and systems ( [28,36,37]) has been also shown by using some solvable linear ones, although in a more complex way.In fact, some of the results in papers [28,36,37] use special cases of the following equation z n = b n z a n n−1 , n ∈ N 0 , which is a product-type analog of Equation (1).All above mentioned examples show the importance of Equation (1).Here, we will frequently use various things connected to Equation (1).Some recent applications of this and related solvable equations can be found in [5,6].Let us also mention that beside showing the solvability of difference equations and systems by finding closed-form formulas for their solutions, in the cases when it is not possible to find them, one can try to find some of their invariants which can be also useful in studying of the long-term behavior of their solutions ( [21,22]).
Motivated by the recent studies of the solvability, quite recently in [30], we have studied, among other problems, the existence of bounded solutions to the difference equation in two different ways.Applying classical method of variation of constants it is easily shown that in the case q n = q ∈ C \ {0}, Equation (3) has the general solution in the following form: where c 0 and d 0 are arbitrary complex numbers, and √ q is one of two possible roots of q.By using Formula (4), as well as another method, we have shown in [30], among other results, that the equation in the case q n = q, n ∈ N 0 , has a unique bounded solution in the case when |q| > 1, and used the obtained formula for the bounded solution as a motivation for introducing an operator which along with the contraction mapping principle ( [4]) helps in showing the existence of a unique bounded solution to Equation (3) under some conditions posed on the sequence (q n ) n∈N 0 .It is a natural problem to try to use the same ideas and methods in investigating of bounded solutions to some other classes of linear and nonlinear difference equations.One of the aims of the paper is to present some related results to those in [30] for the case of the difference equation This equation is one of the most important and widely studied difference ones, since it models many real-life quantities and processes, for example, the amplitude of oscillation of the weights on a discretely weighted vibrating string [3] (pp. [15][16][17].For some classical results and methods for studying Equation (5), see, for example, [16,26], as well as the references therein.Note also that by using the differences ∆x n = x n+1 − x n and ∆ 2 x n = x n+2 − 2x n+1 + x n the equation can be written in the following form from which it immediately follows that the equation is a discrete variant of a linear second-order differential equation.
We first investigate the case when and ( f n ) n∈N 0 is a bounded sequence, and after that the case when (p n ) n∈N 0 and (q n ) n∈N 0 are nonconstant sequences.The case when (6) holds can be regarded as a folklore one, but it is difficult to find many of the information provided here in the literature, especially at one place.The case when the zeros of the characteristic polynomial associated to the corresponding homogeneous equation do not belong to the unit circle is described in detail.It should be pointed out that when one of the zeros belongs to the circle then, as usual, very different situations appears.Recall that if in Equation ( 1) q n = 1, n ∈ N 0 , then, the bounded sequence ( f n ) n∈N 0 highly influences on the behavior of the solutions to the equation.Namely, a solution to the equation can converge, diverge to infinity, the limit set can be even a whole interval (see, for example, [19,24], as well as [2] for the case of metric spaces), or it can be even a more complicated set.
As in [30], we first use some solvability methods and then the contraction mapping principle in showing the existence of a unique bounded solution to Equation ( 5) under some conditions posed on the coefficients of the equation.For some other applications of fixed-point theorems in studying difference equations and systems, see, for example, [10][11][12]17,18,25] and the related references therein.Note that beside the contraction mapping principle, very frequent situation is application of a variant of the Schauder fixed-point theorem ( [10][11][12]17,18]), and since recently the Darbo fixed-point theorem ( [38]) which uses the notion of measure of non-compactness ( [25]).It should be noted that many of these papers essentially use a similar idea, that is, a combination of a solvability method, which is frequently hidden by some summations, and a fixed point theorem.The existence of periodic solutions in the case when (p n ) n∈N 0 and (q n ) n∈N 0 are constant sequences, while ( f n ) n∈N 0 is a periodic sequence is also studied, as well as the relationship between the periodic and non-periodic ones, which is a natural continuation of the investigations in [29].
In our recent paper [29] we have also studied bounded solutions to Equation ( 1), but on the set of all integers Z, which has motivated us to conduct a similar investigation for the case of Equation (5).Hence, beside studying bounded solutions on domain N 0 , it will be also done on domains Z \ N 2 and Z.One of the reasons, why instead of the domain Z \ N is chosen Z \ N 2 is found in the fact that the initial, that is, end values for the sets N 0 and Z \ N 2 are the same, so that the domains patch each other well.Let us mention that a part of our investigations in [29,30] are motivated by a problem from [9].
Let S ⊆ Z be an unbounded set.Then the space of bounded sequences f = ( f n ) n∈S on S with the supremum norm is Banach's, and is usually denoted by l ∞ (S).Throughout the paper we will simply use the notations f ∞ and l ∞ , no matter which set S is used, since at each point it will be clear what the set is.We will also use the standard convention ∑ l j=m a j = 0, when m, l ∈ Z are such that l < m.It is said that a sequence (x n ) n∈N k converges geometrically (exponentially) to a sequence ( xn ) n∈N k if there are M > 0 and q ∈ [0, 1), such that (5) on N 0 First, we prove an auxiliary result in a standard way, for the case when (p n ) n∈N 0 and (q n ) n∈N 0 are constant sequences.The result can be obtained from a formula for the general solution to Equation (5) when the fundamental set of solutions to the corresponding homogeneous equation is known.We will give a proof of it for the completeness, and to avoid frequent troubles with indices which lead to some minor inaccuracies related to the formula as it is the case in [20].Some consequences of the lemma, which should be folklore, are given.Lemma 1.Consider the equation

Bounded Solutions to Equation
where p ∈ C, q ∈ C \ {0}, and ( f n ) n∈N 0 is a sequence of complex numbers.Then the following statements are true.
(a) If p 2 = 4q, then the general solution to Equation (8) is given by the following formula for n ∈ N 0 , where c 0 and d 0 are arbitrary complex numbers, and (b) If p 2 = 4q, then the general solution to Equation (8) is given by the following formula for n ∈ N 0 , where c 0 and d 0 are arbitrary complex numbers, and λ = −p/2.
Proof.(a) We solve the equation by the method of variation of constants ( [8,20]).As it is well-known, the corresponding homogeneous equation, in this case, has the general solution in the following form: where λ 1,2 are the zeros of the characteristic polynomial associated to the homogeneous equation, from which (10) follows.
Hence, the general solution to (8) is searched for in the following form: where (c n ) n∈N 0 and (d n ) n∈N 0 are two (undetermined) sequences.
For each fixed n ∈ N 0 , ( 15) and ( 16) jointly can be regarded as a two-dimensional linear system in variables c n+1 − c n and d n+1 − d n .
By solving the system it is easily obtained and , n ∈ N 0 , from which it follows that and for n ∈ N 0 .Using (17) into (13) we get (9).That (9) represents the general solution to (8), follows from the fact that the sequence is a particular solution to Equation (8), which is easily verified, while is the general solution to the corresponding homogeneous equation ( [8,20]).
(b) The corresponding homogeneous equation, in this case, has the general solution in the following form: where λ is the (double) zero of polynomial (12), that is, λ = −p/2.So, the general solution to ( 8) is looked for in the following form: where (c n ) n∈N 0 and (d n ) n∈N 0 are two (undetermined) sequences.
The following condition is posed for n ∈ N 0 , that is, Employing ( 18), (19), as well as (19) where n is replaced by n + 1 in (8), and using that p = −2λ and q = λ 2 , we get For each fixed n ∈ N 0 , equalities ( 20) and ( 21) can be regarded as a two-dimensional linear system in variables c n+1 − c n and d n+1 − d n .
By solving the system it is easily obtained Using ( 22) into (18) we get (11).That (11) represents the general solution to (8), follows from the facts that the sequence is a particular solution to difference Equation (8), which is easily verified, while the sequence is the general solution to the corresponding homogeneous difference equation, as desired.
Remark 1.If q = 0, then Equation ( 8) is essentially reduced to Equation (1), when p = 0, or to a very simple equation if p = 0, which is the reason why the condition q = 0 is posed in Lemma 1.
Corollary 1.Consider Equation (8) where p ∈ C, q ∈ C \ {0}, x 0 and x 1 are complex numbers, and ( f n ) n∈N 0 is a sequence of complex numbers.Then the following statements are true.
(a) If p 2 = 4q, then the solution to Equation (8) with the initial values x 0 and x 1 is given by the following formula for n ∈ N 0 , where λ 1,2 are given by (10).
(b) If p 2 = 4q, then the solution to Equation (8) with the initial values x 0 and x 1 is given by the following formula for n ∈ N 0 , where λ = −p/2.
Proof.(a) Using Formula ( 9) with n = 0, 1, and by some calculations, we see that it must be By solving the two-dimensional linear system, we obtain Using ( 25) in ( 9) is obtained (23).
(b) From ( 11) with n = 0, 1, and some calculations, we see that it must be from which it follows that Using ( 26) in ( 11) is obtained (24).
Remark 2. Corollary 1, which essentially includes Lemma 1, can be also obtained by another standard method, the method of decomposition.We would like to point out that the method produces a slightly different formula.Namely, Equation ( 8) can be written in the following form: By using the change of variables becomes which is a special case of Equation ( 1), so it is solvable in closed-form, and its solution is , n ∈ N 0 , from which it follows that By solving Equation ( 29) and after some calculation, in the case λ 1 = λ 2 , we obtain which, on the first site, seems a bit different from the formula in (23).However, since we see that Formulas ( 23) and ( 30) are the same.
The same situation appears in the case λ 1 = λ 2 .We leave the verification of the fact as an exercise.In fact, a similar situation appears at several points, and at some different contexts, in the paper.We will not mention them, and suggest the reader to have the remark on his mind.
The following folklore result is another consequence of Lemma 1.
Corollary 2. Consider Equation (8), where the zeros λ 1,2 of polynomial (12) satisfy the condition and ( f n ) n∈N 0 is a bounded sequence of complex numbers.Then every solution to the equation is bounded.
Proof.According to Lemma 1 we know that in the case p 2 = 4q, the general solution to difference Equation ( 8) is given by Formula (9), while if p 2 = 4q, the general solution is given by (11).Assume first that p 2 = 4q.Then, by using ( 9), we have for every n ∈ N 0 , from which the result follows, in this case.Now assume that p 2 = 4q.Since in this case λ 1 = λ 2 = λ = −p/2 and |λ| = M, by using (11), we have for every n ∈ N 0 , from which along with the boundedness of the sequence (nM n ) n∈N , the result follows, in this case.
for some T ∈ N (for T = 1 is said that f n is eventually constant [13]), a natural question is if Equation (8) in this case has periodic solutions, and if so what is the relation between the periodic ones and the other solutions ( [29]).The following result gives an answer to the question.
(a) There is a unique T-periodic solution to Equation (8).
(b) All the solutions to Equation (8) converge geometrically to the periodic one.
Proof.(a) If (x n ) n∈N 0 is a T-periodic solution to Equation ( 8), then specially we have On the other hand, if (33) holds, then from ( 8) and ( 32), we have A simple inductive argument along with a use of (8) shows that for every m ∈ N and l ∈ {0, 1, . . ., T − 1}, that is, such a solution to Equation ( 8) is T-periodic.Case p 2 = 4q.From this and ( 23), we see that it is enough to show that the linear system has a unique solution in variables x 0 and x 1 .System (34) can be written in the following form: where After some standard but interesting calculation it is shown that the determinant of system ( 35) is: due to (31) and λ 1 = λ 2 .Also, we have and From ( 36) to (38), it follows that and are the initial values for which is obtained the T-periodic solution to Equation ( 8) in this case.
Case p 2 = 4q.Using (24), we see that (33) becomes the linear system System (41) can be rewritten in the following form: ( where After some calculation it is shown that the determinant of system (42) is: due to (31).Also, we have and From ( 43)-( 45), it follows that and are the initial values for which is obtained the T-periodic solution to Equation (8) in this case.(b) If ( xn ) n∈N 0 is the T-periodic solution to Equation ( 8) and (x n ) n∈N 0 is any solution to the equation, then if p 2 = 4q, from (23) we have from which along with (31) the statement follows in this case.
If p 2 = 4q, then from (24) we have for some M = M(x 0 , x 1 , x0 , x1 , λ), from which the statement follows in this case.
The following result solves the problem of existence of a unique bounded solution to Equation (5) for the case p n = p, q n = q, n ∈ N 0 , when Theorem 2. Consider Equation (8), where the zeros λ 1,2 of the polynomial (12) satisfy condition (46), and ( f n ) n∈N 0 is a bounded sequence of complex numbers.Then, there is a unique bounded solution to the equation.
Proof.According to Lemma 1 (a) we know that in the case p 2 = 4q, the general solution to ( 8) is given by ( 9), while if p 2 = 4q, the general solution is given by (11).Assume first that p 2 = 4q.If in the case there is a bounded solution to Equation ( 8), then it must be Note that sums S 1 and S 2 are finite since due to condition (46) and the boundedness of ( f n ) n∈N 0 , we have Indeed, if c 0 = S 1 and d 0 = S 2 , then from (9), we easily get If c 0 = S 1 and d 0 = S 2 , then .
From this and since we get If c 0 = S 1 and d 0 = S 2 , then .
From this and since we get Hence, in these three cases from (48)-(50) it would follow that the solutions would be unbounded, a contradiction.
By using (47) in (9), we get A direct calculation shows that sequence (x n ) n∈N 0 defined by (51) is a solution to Equation (8).On the other hand, by using the assumptions of the theorem we easily get from which the boundedness of (x n ) n∈N 0 , follows.From this and since by (47), (c 0 , d 0 ) is uniquely determined it follows that (51) is a unique bounded solution to Equation (8), in this case.Now, assume that p 2 = 4q.If in the case there is a bounded solution to (8), then it must be Note that sums S 3 and S 4 are also finite since due to condition (46) and the boundedness of Indeed, if c 0 = S 3 and d 0 = S 4 , then from (11), we easily get If c 0 = S 3 and d 0 = S 4 , then From this, since and n = o(λ n ), we get If c 0 = S 3 and d 0 = S 4 , then From this, since and n = o(nλ n ), we get Hence, in these three cases from (53)-(55) it would follow that the solutions are unbounded, a contradiction.
By using (52) in (11), we get A direct calculation shows that sequence (x n ) n∈N 0 defined by ( 56) is a solution to Equation ( 8).On the other hand, by using the assumptions of the theorem we easily get from which the boundedness of (x n ) n∈N 0 follows.From this and since by (52), (c 0 , d 0 ) is uniquely determined it follows that (56) is a unique bounded solution to Equation (8), in this case.Theorem 3. Consider Equation (8), where p ∈ C, q ∈ C \ {0}, the zeros λ 1,2 of the polynomial (12) satisfy condition (46) and ( f n ) n∈N 0 is a T-periodic sequence.Then, the unique bounded solution to Equation (8) is T-periodic.
Proof.If ( xn ) n∈N 0 is the bounded solution to Equation ( 8), then by Theorem 2 we see that it is given by (51) when p 2 = 4q and (56) if p 2 = 4q.
Theorem 4. Consider Equation (8), where p ∈ C, q ∈ C \ {0}, the zeros λ 1,2 of the polynomial (12) satisfy the following condition and ( f n ) n∈N 0 is a bounded sequence of complex numbers.Then, the following statements are true.
Proof.(a) Since |λ 1 | < 1, we have that From ( 23), (62), and since |λ 2 | > 1, it follows that the boundedness of a solution x n to Equation ( 8) implies (60).Indeed, since |λ 2 | > 1, we have that is, the last series is absolutely convergent.So, if (60) were not hold, then for the solution would be which would contradict with its boundedness.Now assume that (60) holds.Then from ( 23) and ( 60) it follows that the solution in the case must be Using ( 62) and ( 64) in (63), we have from which it follows that the solution to Equation ( 8) is bounded.(b) The proof of the statement is similar/dual to the one in (a).Hence, it is omitted.
(a) There is a unique T-periodic solution to Equation (8).
(b) All bounded solutions to Equation (8) converge geometrically to the periodic one.

Proof. (a)
We may assume that the condition holds |λ 1 | < 1 < |λ 2 |, since the other case is essentially the same and is obtained by changing some letters only.By Theorem 4, we see that a solution to Equation ( 8) is bounded if and only if (60) holds, and that bounded solutions to Equation ( 8) have the form in (63).If a solution to the equation is T-periodic, then it must be x 0 = x T , that is, from which, along with (63) and by some calculation is obtained By using equalities (60) and ( 66) in (63) and after some calculation it is shown that for such chosen x 0 is obtained a T-periodic solution to Equation (8).Since initial value x 0 is uniquely defined by (66), and consequently by (60) initial value x 1 is also uniquely defined, the T-periodic solution is unique too, as claimed.
(b) If ( xn ) n∈N 0 is the T-periodic solution to Equation ( 8) and (x n ) n∈N 0 is any bounded solution to the equation, then from ( 60) and (63) we have from which the statement follows.
Remark 3. Since the sequence ( f n ) n∈N 0 in Theorem 5 is T-periodic, then the expression for x 0 in (66) can be written in a somewhat nicer way.Namely, since the series for every m ∈ N 0 .Using (67) in (66) for m = 0 and m = 1 and after some calculation it follows that .
From this, (60) and some calculation we get .
Note that the initial values match with the ones in (39) and (40).Now we are in a position to formulate and prove the main results in this section.The results give some sufficient conditions for the unique existence of bounded solutions to Equation (5), that is, when the sequences (p n ) n∈N 0 and (q n ) n∈N 0 , in general, are not constant, and they are in the spirit of the main result in our recent paper [30].Theorem 6. Assume that (p n ) n∈N 0 and (q n ) n∈N 0 are sequences of complex numbers such that q2 := sup for some distinct numbers r 1 and r 2 , such that r m := min{|r 1 |, |r 2 |} > 1, and ( f n ) n∈N 0 is a bounded sequence of complex numbers.Then, Equation (5) has a unique bounded solution.
Proof.Write Equation ( 5) in the following form for n ∈ N 0 .
Let A be the following operator defined on the class of all sequences If u ∈ l ∞ , then from (70), by using condition (68) and some elementary estimates, it follows that which means that operator A maps the Banach space l ∞ into itself.On the other hand, for every u, v ∈ l ∞ we have from which along with condition (68) it follows that the operator A : l ∞ → l ∞ is a contraction.By the Banach fixed point theorem ( [4]) it follows that the operator has a unique fixed point, say x * = (x * n ) n∈N 0 ∈ l ∞ , that is, A(x * ) = x * , which can be written as follows for n ∈ N 0 .
A direct calculation shows that this bounded sequence satisfies difference Equation (69), that is, Equation (5) for every n ∈ N 0 , from which the theorem follows.
Theorem 7. Assume that (p n ) n∈N 0 and (q n ) n∈N 0 are sequences of complex numbers such that q := sup for some number r > 1, and ( f n ) n∈N 0 is a bounded sequence of complex numbers.Then the difference Equation (5) has a unique bounded solution.
Proof.Write Equation (5) in the following form for n ∈ N 0 .
Let A be the following operator defined on the class of all sequences If u ∈ l ∞ , then from (75) it follows that which means that operator A maps the Banach space l ∞ into itself.On the other hand, for every u, v ∈ l ∞ we have From (76) and condition (73) it follows that the operator A : l ∞ → l ∞ is a contraction.By the Banach fixed point theorem we get that the operator has a unique fixed point, say for n ∈ N 0 .
A direct calculation shows that this bounded sequence satisfies difference Equation (74), that is, Equation (5) for every n ∈ N 0 , from which the theorem follows.(5) on the Domain Z \ N 2 Now we consider Equation ( 8) on domain Z \ N 2 .Recall that the "initial" values on the domain are again x 0 and x 1 (the values, are, in a way, the end values).To deal with a real second-order difference equation it is natural to assume that q = 0 (the case q = 0, p = 0, has been recently studied in [29]).In this case, the equation can be written in the following form

Bounded Solutions to Equation
or equivalently as follows: where λ 1 and λ 2 are zeros of the polynomial in (12).
Equation ( 79) can be considered by using the change of variables y n = x −n which will transform the equation into an equation of the form in ( 8), but with shifted indices.To avoid some technical problems due to non-symmetricity of domains N 0 and Z \ N 2 , instead of this, we will use the method of decomposition mentioned in Remark 2 (see, for example, [15,20]).
If we write (79) in the form and multiply the following equation , j = 1, n, and suming up such obtained equalities, we get for n ∈ N.
Multiplying the following equality , i = 1, n, and summing up such obtained equalities, in the case λ 1 = λ 2 , that is, p 2 = 4q, we get for n ∈ N. In fact, the formula also holds for n = 0 and n = 1, which is easily verified by direct calculation and by using the convention for summations mentioned in introduction.Now assume that p 2 = 4q, then (84) holds with λ 1 = λ 2 =: λ, from which along with some calculation we get for n ∈ N.
The last formula can be also written in the following form Note that as in the previous case Formula (85) also holds for n = 0 and n = 1, which is easily verified by direct calculation and by using the convention for summations mentioned in introduction.
As a consequence of the above consideration we have that the following result holds.
Lemma 2. Consider Equation (78) where p ∈ C, q ∈ C \ {0}, x 0 and x 1 are given complex numbers, and ( f −n ) n∈N is a sequence of complex numbers.Then the following statements are true: (a) If p 2 = 4q, then the solution to Equation (78) with initial/end values x 0 and x 1 is given by where λ 1,2 are given by (10).(b) If p 2 = 4q, then the solution to Equation (78) with initial/end values x 0 and x 1 is given by x where λ = −p/2.
Remark 4. Note that Formula (86) can be written in the form with x where x h −n is the solution to the homogeneous difference equation corresponding to (79) with initial/end values x 0 and x 1 , while x −n is a particular solution to (79), in the case p 2 = 4q.Also, Formula (87) can be written in the form in (88) with x where x h −n is the solution to the homogeneous difference equation corresponding to (79) with initial/end values x 0 and x 1 , while x −n is a particular solution to (79), in the case p 2 = 4q.
From ( 23), ( 24), ( 89) and (91) it follows that the solution to Equation ( 8) with f n = 0, n ∈ Z, with initial values x 0 and x 1 is given by From ( 86) and (87) similar to Corollary 2 is proved the following result.Hence, we omit the details.
On the other hand, if (93) holds, then from (78) and since we have Using the same argument along with (78) and the method of induction it is proved that for every m ∈ N and l ∈ {−1, 0, 1, . . ., T − 2}, which shows that the solution to Equation ( 8) is T-periodic.
System (102) can be written as follows where After some calculation it is shown that the determinant of system (103) is due to (46).Also, we have for n ∈ N 0 , from which the statement follows in this case.
If p 2 = 4q, then from (87) we have Proof.If p 2 = 4q, then from ( 31) and ( 86) we see that a solution to Equation ( 79) is bounded if and only if (note that both sums are finite due to (31) and the boundedness of ( f −n ) n∈N ), from which it follows that the solution is ). (108) By direct calculation is shown that (108) is a solution to Equation (78).Since for n ∈ N, it follows that the solution is bounded.Since by (107), x 0 and x 1 are uniquely defined, the bounded solution is unique.If p 2 = 4q, then from ( 31) and (87), similar to the corresponding part of the proof of Theorem 2 is obtained that Equation (78) has a unique bounded solution if and only if (note that both sums are also finite due to (31) and the boundedness of ( f −n ) n∈N ), from which it follows that the solution is By direct calculation is shown that (110) is a solution to Equation (79).Since By the Banach fixed point theorem we get that the operator has a unique fixed point, say x * = (x * n ) n≤1 ∈ l ∞ , that is, A(x * ) = x * or equivalently for n ≥ −1.
A direct calculation shows that this bounded sequence satisfies difference Equation ( 5), from which the theorem follows.

Discussion
Motivated by some recent investigations of ours here we present how some solvability methods along with the contraction mapping principle can be employed in studying of a nonhomogeneous linear second-order difference equation, with a special attention on the existence of bounded solutions and their relationship with other solutions.Beside the study of the equation on the usual domain N 0 , it is also studied on the neglected ones Z \ N 2 and Z.A natural problem is to develop the methods and ideas in the paper so that they can be applied in the study of other related difference equations of second as well as of higher orders on all these domains, which will be one of our further directions in the investigation of difference equations and systems.

Corollary 3 .Theorem 8 .
Consider Equation (78), where the zeros λ 1,2 of polynomial (12) satisfy the condition in (46), and ( f −n ) n∈N is a bounded sequence of complex numbers.Then every solution to the equation on domain Z \ N 2 is bounded.Consider Equation (78), where the zeros λ 1,2 of polynomial (12) satisfy condition (46) and ( f −n ) n∈N is a T-periodic sequence.Then the following statements hold.(a) There is a unique T-periodic solution to Equation (79) on domain Z \ N 2 .(b) All the solutions to Equation (79) on domain Z \ N 2 , converge geometrically to the periodic one.Proof.(a) If (x n ) n≤1 is a T-periodic solution to Equation (78), then it must be x 1 = x 1−T and x 0 = x −T .