Abstract
By using a comparison method and some difference inequalities we show that the following higher order difference equation
where \(k\in{\mathbb{N}}\), \(f:[0,+\infty )^{k}\to [0,+\infty )\) is a homogeneous function of order strictly bigger than one, which is nondecreasing in each variable and satisfies 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 difference equations. Some analyses related to such equations and a global convergence result are also given.
Similar content being viewed by others
1 Introduction
Let \({\mathbb{N}}\), \({\mathbb{Z}}\), \({\mathbb{R}}\), \({\mathbb{C}}\) be the sets of natural, whole, real, and complex numbers respectively, \({\mathbb{N}}_{0}={\mathbb{N}}\cup \{0\}\) and \({\mathbb{R}}_{+}=(0,+\infty )\). If \(s,t\in {\mathbb{Z}}\), then we use the notation \(r=\overline{s,t}\) instead of \(s\le r\le t\), \(r\in {\mathbb{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–12, 14] and the related references therein.
1.1 First order difference equation, monotonicity, and some known facts
The general first order difference equation
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\subseteq {\mathbb{R}}\), then the case when f is monotone is one of the basic ones. If f is nondecreasing and \(x_{0}\le x_{1}=f(x_{0})\), then the sequence \((x_{n})_{n\in {\mathbb{N}}_{0}}\) is nondecreasing, whereas if \(x_{0}\ge x_{1}=f(x_{0})\) then the sequence \((x_{n})_{n\in {\mathbb{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\in {\mathbb{N}}_{0}}\) and \((x_{2n+1})_{n\in {\mathbb{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\in {\mathbb{N}}_{0}}\) and \((x_{2n+1})_{n\in {\mathbb{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 \(x_{2}=f(x_{1})\le f(x_{0})=x_{1}\).
There are two cases to be considered.
Case 1. If \(x_{0}\le x_{2}=f(f(x_{0}))\), then since in this case \(x_{0}\le x_{2}\le x_{1}\), the monotonicity of f implies \(f(x_{1})\le f(x_{2})\le f(x_{0})\), from which along with \(x_{0}\le x_{2}\) it follows that \(x_{0}\le x_{2}\le x_{3}\le x_{1}\). Assume that we have proved
for some \(n\in {\mathbb{N}}\). Then using the monotonicity of f, (1), (3), and \(x_{0}\le 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\in {\mathbb{N}}_{0}\).
Case 2. If \(x_{2}\le x_{0}\), then since \(x_{2}\le x_{0}\le x_{1}\), the monotonicity of f implies \(f(x_{1})\le f(x_{0})\le f(x_{2})\), from which we have \(x_{2}\le x_{0}\le x_{1}\le x_{3}\). Using the monotonicity of f, (1), (2), the fact that \(x_{2}\le x_{0}\), and the method of induction, we get
The case when, instead of (2), it is assumed that \(x_{1}\le x_{0}\) is treated similarly. From this and the monotonicity of f, we have \(x_{1}=f(x_{0})\le f(x_{1})=x_{2}\).
Case 3. If \(x_{1}\le x_{2}\le x_{0}\), then as above we obtain
Case 4. If \(x_{1}\le x_{0}\le x_{2}\), then as above we obtain
This simple and well-known analysis shows that for each solution \((x_{n})_{n\in {\mathbb{N}}_{0}}\) to equation (1) its subsequences \((x_{2n})_{n\in {\mathbb{N}}_{0}}\) and \((x_{2n+1})_{n\in {\mathbb{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\circ 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\in {\mathbb{N}}_{0}\).
To say more about the long-term behavior of solutions to equation (1), some additional conditions on function f should be posed.
1.2 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)\ne 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]).
1.3 Our aim
We show that there is a related global convergence result which can be applied for all values of \(k,m\in {\mathbb{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.
2 Preliminary analysis
In this section we conduct some analyses of difference equations whose governing functions are homogeneous and nonincreasing in all variables.
2.1 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, \alpha \in {\mathbb{R}}_{+}\).
First note that in this case \(f(x)=\frac{a}{x^{\alpha }}\), which is a continuous and decreasing function on \({\mathbb{R}}_{+}\) and maps it onto itself.
Note also that by using the change of variables \(x_{n}=a^{\frac{1}{\alpha +1}} y_{n}\), \(n\in {\mathbb{N}}_{0}\), equation (6) is transformed to the following one:
Hence, we may assume that \(a=1\).
Case \(\alpha =1\). Assume that \(\alpha =1\). Then equation (6) becomes
Let \(x_{0}\in {\mathbb{R}}_{+}\). Then, by using (7) and a simple inductive argument, we have
If \(x_{0}\in [1,\infty )\), then we have \(x_{1}=\frac{1}{x_{0}}\le x_{0}=x_{2}\). So, this situation corresponds to Case 3, and also Case 4 above. Moreover, if \(x_{0}\in (1,\infty )\), then the subsequences \((x_{2n})_{n\in {\mathbb{N}}_{0}}\) and \((x_{2n+1})_{n\in {\mathbb{N}}_{0}}\) are convergent, but the whole sequence is not. If \(x_{0}=1\), then \(x_{n}=1\) for every \(n\in {\mathbb{N}}_{0}\), and then the sequence is convergent.
If \(x_{0}\in (0,1]\), then we have \(x_{2}=x_{0}\le \frac{1}{x_{0}}=x_{1}\). So, this situation corresponds to Case 1 and also Case 2 above. Moreover, if \(x_{0}\in (0,1)\), then the subsequences \((x_{2n})_{n\in {\mathbb{N}}_{0}}\) and \((x_{2n+1})_{n\in {\mathbb{N}}_{0}}\) are convergent, but the sequence \((x_{n})_{n\in {\mathbb{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 \(\alpha \in (0,1)\). In this case the sequences \(\alpha ^{2n}\) and \(\alpha ^{2n+1}\) decreasingly converge to zero, and consequently
Moreover, if \(x_{0}\in (0,1)\), then \(x_{2n}\) increases to one, whereas \(x_{2n+1}\) decreases to one. Since in this case \(x_{0}< x_{2}=x_{0}^{\alpha ^{2}}< x_{1}=\frac{1}{x_{0}^{\alpha }}\), 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}=\frac{1}{x_{0}^{\alpha }}< x_{2}=x_{0}^{\alpha ^{2}}< x_{0}\), we have the situation as in Case 3 above.
Case \(\alpha \in (1,\infty )\). In this case the sequences \(\alpha ^{2n}\) and \(\alpha ^{2n+1}\) increasingly tend to +∞, and consequently, if \(x_{0}\in (0,1)\), by letting \(n\to +\infty \) in (9) we get
\(x_{2n}\) is decreasing and \(x_{2n+1}\) is increasing. Since \(x_{2}=x_{0}^{\alpha ^{2}}< x_{0}<\frac{1}{x_{0}^{\alpha }}=x_{1}\), we have the situation in Case 2. If \(x_{0}>1\), then
\(x_{2n}\) is increasing and \(x_{2n+1}\) is decreasing. Since \(x_{1}=\frac{1}{x_{0}^{\alpha }}< x_{0}< x_{0}^{\alpha ^{2}}=x_{2}\), we have the situation in Case 4.
Remark 1
Equation (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–12, 14], whereas some other recent ones can be found, e.g., in [2, 20, 23, 25] (see also the related references therein).
Remark 2
Note that the function \(f(x)=\frac{1}{x^{\alpha }}\) 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 \(\alpha >1\), then there are unbounded solutions to equation (6), although
implies \(l=L\) in this case.
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].
2.2 An example with a heuristic asymptotic approach
Here we consider a difference equation heuristically. The first higher order difference equation with non-interlacing indices, such that the governing function satisfies the conditions in the formulation of Theorem 1 and is related to the one-dimensional equation (6) with \(a=1\) that came to our mind, is the following second order one:
with \(x_{1},x_{2}\in {\mathbb{R}}_{+}\).
Consider the equation with
where
is very small.
From (10), (11), (13) and by the Taylor formula with Peano’s remainder, we have
From (10), (13), (14) and by the Taylor formula with Peano’s remainder, we have
From (10), (14), (15) as above, we have
From (10), (15), (16), we have
From (10), (16), (17), we have
From (10), (17), (18), we have
Formulas (13)–(19) suggest that the following relations hold:
for \(n \le n_{0}\) for some large but fixed \(n_{0}\).
However, since the calculation errors are accumulated from one step to another, we will not conduct further our analysis in the direction nor try to prove (20)–(22), but will simply leave it as a heuristic asymptotic analysis.
Note that if (20)–(22) were true, then by using assumption (12), i.e., \(\varepsilon \sqrt[3]{2}\in (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}\ne 0\) or \(x_{2}\ne 0\), then \(x_{3}>0\), and a simple inductive argument shows that \(x_{n}>0\) for every \(n\in {\mathbb{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}\ge 3\). Then we have
from which it follows that \(x_{n_{0}}=1\) (by Remark 3, \(x_{n}>0\), \(n\ge 3\) for each solution to equation (10)). By a simple inductive argument, we get \(x_{n}=1\) for \(3\le n\le 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
3 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.
Theorem 2
Let \(k\in {\mathbb{N}}\) and \(f:[a, b]^{k}\to [a, b]\) be a continuous function which is nonincreasing in each variable, and such that from
where \(l,L\in [a,b]\), it follows that \(l=L\).
Then the following difference equation
has a unique equilibrium \(x^{*}\in [a, b]\) and every solution to (24) converges to \(x^{*}\).
Proof
Let \(g(x)=f(x,\ldots ,x)-x\). Since \(g(a)\ge a\) and \(g(b)\le b\), the continuity of g implies that there is \(x^{*}\in [a, b]\) such that \(g(x^{*})=0\). Assume that there is \(y^{*}\in [a,b]\), \(x^{*}\ne y^{*}\) such that \(g(y^{*})=0\). We may assume that \(x^{*}>y^{*}\), since the other case is dual. Then from the relation \(f(x^{*},\ldots ,x^{*})-f(y^{*},\ldots ,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\),
Then from (25) and by using induction it is routinely obtained
for every \(n\in {\mathbb{N}}\), and for each solution \((x_{n})_{n\in {\mathbb{N}}}\) to (24) we have
From (26) we have
for some \(\widehat{l}, \widehat{L}\in [a,b]\). By letting \(n\to +\infty \) in (25) we get (23) with \(l=\widehat{l}\) and \(L=\widehat{L}\), which implies \(\widehat{l}=\widehat{L}\). From this and by letting \(n\to +\infty \) in (27) we get
finishing the proof. □
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},\ldots ,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].
Theorem 3
Consider the difference equation
with \(x_{j}\in {\mathbb{R}}_{+}\), \(j=\overline{1,k}\), where the function \(f:[0,+\infty )^{k}\to [0,+\infty )\) is homogeneous of order \(\alpha >1\), that is, \(f(\lambda t_{1},\ldots ,\lambda t_{k})=\lambda ^{\alpha }f(t_{1}, \ldots ,t_{k})\) for every \(\lambda \in [0,+\infty )\), nondecreasing in each variable, \(f(1,\ldots ,1)=1\), and that
Then every solution to equation (28) such that
is unbounded.
Remark 6
If \(f(1,\ldots ,1)\ne 1\), then by using the change of variables
the sequence \((y_{n})_{n\in {\mathbb{N}}}\) satisfies the equation
and the function
satisfies the condition \(\widetilde{f}(1,\ldots ,1)=1\). Hence, we may assume \(f(1,\ldots ,1)=1\).
Proof of Theorem 3
Let
Then, from (28) and the conditions of the theorem, we have
Let
Then, from (28), (30), and the conditions of the theorem, we have
Let
Then, from (28), (32), and the conditions of the theorem, we have
Let \((M_{n})_{n\in {\mathbb{N}}}\) and \((m_{n})_{n\in {\mathbb{N}}_{0}}\) be sequences defined as follows:
Assume that for some \(l\in {\mathbb{N}}\) we have proved that
Then from (28), (35), and the conditions of the theorem we have
Then from (28), (36), and the conditions of the theorem we have
From this and by induction, we see that the inequalities in (34) and (35) hold for every \(l\in {\mathbb{N}}_{0}\).
From the equations in (33) we have
Iterating equation (38) yields
By a simple inductive argument we have
from which it follows that
From (39) together with (31) we have
Employing (40) in the second equation in (33) we get
Let \(m_{0}\in (0,q^{\frac{1}{\alpha ^{2}-1}})\). Letting \(n\to +\infty \) in (40) and (41) and using the fact \(q^{\frac{1}{\alpha ^{2}-1}}/m_{0}>1\) and the assumption \(\alpha >1\), we obtain
and
From (34), (35), (42), and (43), we see that for each solution to equation (28) satisfying condition (29) we have
and
The relation in (44) shows that each solution with such chosen initial values is unbounded, finishing the proof of the theorem. □
Availability of data and materials
Not applicable.
References
Bashmakov, M.I., Bekker, B.M., Gol’hovoi, V.M.: Zadachi po Matematike. Algebra and Analiz. Nauka, Moskva (1982) (in Russian)
Berg, L., Stević, S.: On some systems of difference equations. Appl. Math. Comput. 218, 1713–1718 (2011)
Fort, T.: Finite Differences and Difference Equations in the Real Domain. Oxford University Press, London (1948)
Jekl, J.: Special cases of critical linear difference equations. Electron. J. Qual. Theory Differ. Equ. 2021, Article ID 79 (2021)
Jordan, C.: Calculus of Finite Differences. Chelsea, New York (1956)
Kent, C.M.: Convergence of solutions in a nonhyperbolic case. Nonlinear Anal. 47(7), 4651–4665 (2001)
Kosmala, W.A., Teixeira, C.: More on the difference equation \(y_{n+1}=(p+y_{n-1})/(qy_{n}+y_{n-1})\). Appl. Anal. 81(1), 143–151 (2002)
Krechmar, V.A.: A Problem Book in Algebra. Mir, Moscow (1974)
Kulenovic, M.R.S., Ladas, G.: Dynamics of Second Order Rational Difference Equations. Chapman & Hall, Boca Raton (2002)
Milne-Thomson, L.M.: The Calculus of Finite Differences. Macmillan & Co., London (1933)
Mitrinović, D.S., Adamović, D.D.: Nizovi i Redovi/Sequences and Series. Naučna Knjiga, Beograd (1980) (in Serbian)
Mitrinović, D.S., Kečkić, J.D.: Metodi Izračunavanja Konačnih Zbirova/Methods for Calculating Finite Sums. Naučna Knjiga, Beograd (1984) (in Serbian)
Moaaz, O.: Dynamics of difference equation \(x_{n+1}=f(x_{n-l}, x_{n-k})\). Adv. Differ. Equ. 2018, Article ID 447 (2018)
Nörlund, N.E.: Vorlesungen über Differenzenrechnung. Springer, Berlin (1924) (in German)
Papaschinopoulos, G., Schinas, C.J.: On a system of two nonlinear difference equations. J. Math. Anal. Appl. 219(2), 415–426 (1998)
Papaschinopoulos, G., Schinas, C.J.: Oscillation and asymptotic stability of two systems of difference equations of rational form. J. Differ. Equ. Appl. 7, 601–617 (2001)
Papaschinopoulos, G., Schinas, C.J.: On a \((k+1)\)-th order difference equation with a coefficient of period \(k+1\). J. Differ. Equ. Appl. 11(3), 215–225 (2005)
Papaschinopoulos, G., Schinas, C.J., Stefanidou, G.: Two modifications of the Beverton–Holt equation. Int. J. Difference Equ. 4(1), 115–136 (2009)
Papaschinopoulos, G., Stefanidou, G.: Trichotomy of a system of two difference equations. J. Math. Anal. Appl. 289, 216–230 (2004)
Papaschinopoulos, G., Stefanidou, G.: Asymptotic behavior of the solutions of a class of rational difference equations. Int. J. Difference Equ. 5(2), 233–249 (2010)
Stević, S.: A global convergence results with applications to periodic solutions. Indian J. Pure Appl. Math. 33(1), 45–53 (2002)
Stević, S.: On the recursive sequence \(x_{n+1}=(\alpha +\beta x_{n-1})/(1+g(x_{n}))\). Indian J. Pure Appl. Math. 33(12), 1767–1774 (2002)
Stević, S.: Solvable subclasses of a class of nonlinear second-order difference equations. Adv. Nonlinear Anal. 5(2), 147–165 (2016)
Stević, S.: Solvable product-type 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.: New class of practically solvable systems of difference equations of hyperbolic-cotangent-type. Electron. J. Qual. Theory Differ. Equ. 2020, Article ID 89 (2020)
Stević, S., Ahmed, A.E., Kosmala, W., Šmarda, Z.: Note on a difference equation and some of its relatives. Math. Methods Appl. Sci. 44, 10053–10061 (2021)
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., Iričanin, B., Kosmala, W., Šmarda, Z.: Note on difference equations with the right-hand side function nonincreasing in each variable. J. Inequal. Appl. 2022, Article ID 25 (2022)
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)
Acknowledgements
The paper was made during the investigation supported by the Ministry of Education, Science, and Technological Development of Serbia, contract no. 451-03-68/2022-14/200103. A. El-Sayed Ahmed would like to thank Taif University Researchers supporting Project number (TURSP-2020/159), Taif University – Saudi Arabia.
Funding
Taif University, project TURSP-2020/159.
Author information
Authors and Affiliations
Contributions
SS initiated the investigation, proposed some preliminary ideas, and conducted some detailed investigations. AEA, BI, and WK analyzed the proposed ideas, made some calculations, and gave many comments. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Stević, S., El-Sayed Ahmed, A., Iričanin, B. et al. Higher order difference equations with homogeneous governing functions nonincreasing in each variable with unbounded solutions. J Inequal Appl 2022, 81 (2022). https://doi.org/10.1186/s13660-022-02811-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02811-2