Higher order difference equations with homogeneous governing functions nonincreasing in each variable with unbounded solutions

By using a comparison method and some diﬀerence inequalities we show that the following higher order diﬀerence equation where k ∈ N , f : [0,+ ∞ ) k → [0,+ ∞ ) is a homogeneous function of order strictly bigger than one, which is nondecreasing in each variable and satisﬁes some additional conditions, has unbounded solutions, presenting a large class of such equations. The class can be used as a useful counterexample in dealing with the boundedness character of solutions to some diﬀerence equations. Some analyses related to such equations and a global convergence result are also given. MSC: 39A10; 39A22


Introduction
Let N, Z, R, C be the sets of natural, whole, real, and complex numbers respectively, N 0 = N ∪ {0} and R + = (0, +∞). If s, t ∈ Z, then we use the notation r = s, t instead of s ≤ r ≤ t, r ∈ Z.
Difference equations have been attracting attention of scientists for centuries. Since the time of de Moivre, many equations have been investigated so far. For some classical results see, e.g., [3,5,[10][11][12]14] and the related references therein. has been investigated for a long time, and nowadays many results on the equation and its special cases are known.
Here we recall some very basic facts on the behavior of solutions to equation (1) when the function f is monotone. If the function f is a self-map of an interval I ⊆ R, then the case when f is monotone is one of the basic ones. If f is nondecreasing and x 0 ≤ x 1 = f (x 0 ), then the sequence (x n ) n∈N 0 is nondecreasing, whereas if x 0 ≥ x 1 = f (x 0 ) then the sequence (x n ) n∈N 0 is nonincreasing. If f is additionally bounded, then the sequence is convergent (see, e.g., [1,Problem 9.34]). If the function f is nonincreasing, then the sequences (x 2n ) n∈N 0 and (x 2n+1 ) n∈N 0 are monotone, one of them is nondecreasing and the other is nonincreasing. If x 0 does not belong to the interval with the endpoints x 1 and x 2 , then the sequences (x 2n ) n∈N 0 and (x 2n+1 ) n∈N 0 are convergent (see, e.g., [1,Problem 9.35]). These results are some of the basic ones, and along with the additional condition on the continuity of the function f they are frequently used in determining convergence of the solutions to equation (1). Many examples can be found, e.g., in [1] and [11].
We prove the statement related to the case when the function f is nonincreasing, for completeness and benefit of the reader, and as a good motivation and a suggestion for part of the arguments in the rest of the paper. If then from (1), (2), and the monotonicity of f , we have There are two cases to be considered.
for some n ∈ N. Then using the monotonicity of f , (1), (3), and x 0 ≤ x 2 , we obtain from which by another application of the same procedure it follows that From this and by induction we have proved that (3) holds for every n ∈ N 0 .
Using the monotonicity of f , (1), (2), the fact that x 2 ≤ x 0 , and the method of induction, we get The case when, instead of (2), it is assumed that x 1 ≤ x 0 is treated similarly. From this and the monotonicity of f , we have Case 3. If x 1 ≤ x 2 ≤ x 0 , then as above we obtain Case 4. If x 1 ≤ x 0 ≤ x 2 , then as above we obtain This simple and well-known analysis shows that for each solution (x n ) n∈N 0 to equation (1) its subsequences (x 2n ) n∈N 0 and (x 2n+1 ) n∈N 0 are monotone, as claimed. In the first and the third case from a well-known theorem it follows that the subsequences are convergent. Recall also that in this case g = f • f is a nondecreasing function, from which the monotonicity and convergence results can be concluded from the ones in the case when f is nondecreasing by noting that x 2n+2 = g(x 2n ) and x 2n+3 = g(x 2n+1 ), n ∈ N 0 .
To say more about the long-term behavior of solutions to equation (1), some additional conditions on function f should be posed.

A previous claim
Recent literature shows frequent applications of known global convergence results. The following statement was formulated in [13].
Theorem 1 Assume that f has nonpositive partial derivatives and is homogeneous with degree s. Then the equation has a unique positive equilibrium x * , and every solution to equation (4) converges to x * .
To prove the statement in Theorem 1, paper [13] quotes Theorem 1.4.7 in [9] which deals with equation (4), but only when k = 0 and m = 1, which means that the result cannot be applied for other values of k and m. Beside this, the proof of the theorem only checks the fact that from the associated two-dimensional algebraic system it follows that l = L. But since under the conditions in Theorem 1 system (5) is it is immediately obtained l = L, when f (1, 1) = 0. It is claimed therein that this finishes the proof of Theorem 1. Quite recently in [28] we have shown that the claim in Theorem 1 is not correct by presenting a counterexample in the class of difference equations with interlacing indices. The class of equations seems quite suitable for providing some counterexamples in the theory of difference equations (see, e.g., recent paper [4]).

Our aim
We show that there is a related global convergence result which can be applied for all values of k, m ∈ N 0 , but under some additional conditions. We also show that there is a large class of governing functions f satisfying the conditions in the formulation of Theorem 1, such that the corresponding difference equations have solutions which are unbounded, showing that the statement in Theorem 1 is not correct for the large class of equations.

Preliminary analysis
In this section we conduct some analyses of difference equations whose governing functions are homogeneous and nonincreasing in all variables.

An instructive example, a product-type difference equation
Now we give a simple, but instructive, example which contains some ideas which are useful for the study.
Example 1 Consider the following difference equation: where a, α ∈ R + .
First note that in this case f (x) = a x α , which is a continuous and decreasing function on R + and maps it onto itself.
Note also that by using the change of variables x n = a 1 α+1 y n , n ∈ N 0 , equation (6) is transformed to the following one: Hence, we may assume that a = 1.
Case α = 1. Assume that α = 1. Then equation (6) becomes Let x 0 ∈ R + . Then, by using (7) and a simple inductive argument, we have So, this situation corresponds to Case 3, and also Case 4 above. Moreover, if x 0 ∈ (1, ∞), then the subsequences (x 2n ) n∈N 0 and (x 2n+1 ) n∈N 0 are convergent, but the whole sequence is not. If x 0 = 1, then x n = 1 for every n ∈ N 0 , and then the sequence is convergent.
If x 0 ∈ (0, 1], then we have x 2 = x 0 ≤ 1 x 0 = x 1 . So, this situation corresponds to Case 1 and also Case 2 above. Moreover, if x 0 ∈ (0, 1), then the subsequences (x 2n ) n∈N 0 and (x 2n+1 ) n∈N 0 are convergent, but the sequence (x n ) n∈N 0 is not. Now note that by using (6) with a = 1 twice, we obtain From (8) it is easily obtained There are two cases to be considered. Case α ∈ (0, 1). In this case the sequences α 2n and α 2n+1 decreasingly converge to zero, and consequently Moreover, if x 0 ∈ (0, 1), then x 2n increases to one, whereas x 2n+1 decreases to one. Since in this case x 0 < x 2 = x α 2 0 < x 1 = 1 x α 0 , it corresponds to Case 1 above. If x 0 > 1, then x 2n decreases to one, whereas x 2n+1 increases to one. Since in this case x 1 = 1 we have the situation as in Case 3 above.
Case α ∈ (1, ∞). In this case the sequences α 2n and α 2n+1 increasingly tend to +∞, and consequently, if x 0 ∈ (0, 1), by letting n → +∞ in (9)  x 2n is increasing and x 2n+1 is decreasing. Since x 1 = 1 we have the situation in Case 4. (6) is one of the simplest product-type difference equations which is solvable in closed form. The solvability is essentially what enables the simple analysis given in Example 1. For some more complex solvable product-type difference equations and systems see, for example, [24,29] and the related references therein. Some classical results on solvability can be found, e.g., in [1,3,5,8,[10][11][12]14], whereas some other recent ones can be found, e.g., in [2,20,23,25] (see also the related references therein).

Remark 1 Equation
Remark 2 Note that the function f (x) = 1 x α in Example 1 is homogeneous with degree -α. Recall also that it is decreasing. But, as we have seen in the analysis in the example, if α > 1, then there are unbounded solutions to equation (6) This homogeneous function of one variable strikingly suggests that similar situation should appear also in the case of homogeneous functions of several variables. This example along with the construction of difference equations with interlacing indices (for some examples of the equations see, e.g. [26,27]) was used for constructing the counterexample in [28].
Note that if (20)- (22) were true, then by using assumption (12), i.e., ε 3 √ 2 ∈ (0, 1), in (20)- (22), it would follow that which would show that the solution to equation (10) satisfying (11) is unbounded. The heuristic proof suggests that another method should be employed. Since we do not have exact applicable formulas, one of the ideas is to compare some of the solutions to the equation with solutions to another equation for which it is possible to find the solutions in closed form. This idea will be used in the next section.
Remark 3 If x 1 = x 2 = 0, then the solution to equation (10) is not well defined. If x 1 = 0 or x 2 = 0, then x 3 > 0, and a simple inductive argument shows that x n > 0 for every n ∈ N 0 . Hence, all solutions except the one obtained for x 1 = x 2 = 0 are well defined.
Remark 4 The only real equilibrium of equation (10) is x * = 1. Hence, the equation has a bounded solution which is, of course, convergent. The solution is obtained for x 1 = x 2 = 1.
Assume that x n 0 +1 = x n 0 +2 = 1 for some n 0 ≥ 3. Then we have from which it follows that x n 0 = 1 (by Remark 3, x n > 0, n ≥ 3 for each solution to equation (10)). By a simple inductive argument, we get x n = 1 for 3 ≤ n ≤ n 0 + 2. If x 3 = x 4 = 1, then x 2 2 = 1 is similarly obtained, that is, |x 2 | = 1, from which in the same way |x 1 | = 1 is obtained. Hence there are four solutions which are eventually equal to one, namely those satisfying the conditions

Main results
Here we prove the main results in this paper, which give some answers to the questions posed in the introduction and show that the statement in Theorem 1 is not true by presenting a large class of difference equations possessing unbounded solutions.
The following result on global convergence of solutions to a difference equation is folklore and one of many existing in the literature (see, e.g., [6,7,9,15,16,18,21]). The proof is standard and essentially given in [9,Theorem A.0.8]. We present it for the completeness and the benefit of the reader.
where l, L ∈ [a, b], it follows that l = L. Then the following difference equation has a unique equilibrium x * ∈ [a, b] and every solution to (24) converges to x * . a and g(b) ≤ b, the continuity of g implies that there is x * ∈ [a, b] such that g(x * ) = 0. Assume that there is y * ∈ [a, b], x * = y * such that g(y * ) = 0. We may assume that x * > y * , since the other case is dual. Then from the relation f (x * , . . . , x * )f (y * , . . . , y * ) = x *y * and monotonicity of f in each variable we have which is a contradiction. Hence, it must be x * = y * , proving the uniqueness. Let l 1 = a, L 1 = b, L n+1 = f (l n , . . . , l n ) and l n+1 = f (L n , . . . , L n ), n ∈ N.
From (26)  Remark 5 Theorem 2 is the result which can be applied in the case when the function f is nonincreasing in each variable, whether or not the function f (t 1 , . . . , t k ) depends on all the variables. It could have been applied in the proof of Theorem 3.3 in [13], but only if all its conditions are verified, which was not the case therein.
The following theorem is the main result in the paper. It shows that there is a large class of functions satisfying the conditions in Theorem 1, such that the corresponding difference equations have solutions which are unbounded, showing that the claim in Theorem 1 is not correct. In the proof of the theorem we use a comparison argument. For some related comparison arguments see, e.g., [17,19,22].
The relation in (44) shows that each solution with such chosen initial values is unbounded, finishing the proof of the theorem.