Criteria on boundedness in terms of two measures for discrete systems (Q847373)

The article deals with some stability properties for discrete systems of type \[ x_{n+1} = f(n,x_n) \qquad (f: \;\;{\mathbb Z}_+ \times {\mathbb R}^d \to {\mathbb R}^d). \tag{1} \] System (1) is called \textit{\((h_0,h)\) uniformly bounded} if for each \(\alpha > 0\) there exists a \(\beta\) such that the inequality \(h_0(0,x_0) < \alpha\) implies the inequality \(h(n,x_n) < \beta\) for all \(n \geq 0\), and \textit{\((h_0,h)\) uniformly ultimately bounded} if the previous is true and there is a positive number \(B\) and for each \(\alpha > 0\) there exists a \(T > 0\) such that the inequality \(h_0(0,x_0) < \alpha\) implies the inequality \(h(n,x_n) < B\) for all \(n \geq T\). In these definitions, the functionals \(h_0, h: \;{\mathbb Z}_+ \times {\mathbb R}^d \to {\mathbb R}_+\) (measures) are continuous in \(x\) and satisfy the conditions \(\inf_{x \in {\mathbb R}^d} \;h_0(n,x) = \inf_{x \in {\mathbb R}^d} \;h_0(n,x) = 0\) and \(h(n,x) \leq \phi(h_0(n,x))\) (\(\phi: \;{\mathbb R}_+ \to {\mathbb R}_+\) is strictly increasing in \(u\) and \(\phi(0) = 0\)). The main results are sufficient conditions of \((h_0,h)\) uniformly boundedness and \((h_0,h)\) uniformly ultimately boundedness in terms of the ``simplified'' system \[ y_{n+1} = g(n,y_n) \qquad (g: \;\;{\mathbb Z}_+ \times {\mathbb R}^q \to {\mathbb R}^q), \tag{2} \] where \(q \leq d\) and \(g(n,y)\) is upper quasi-monotone in \(y\). The functions (1) and (2) are supposed to be connected with the inequalities \[ V(n + 1,x_{n+1}) \leq g(n,V(n,x_n)), \] where \(V: \;{\mathbb Z}_+ \times {\mathbb R}^2 \to {\mathbb R}^q_+\) is continuous in \(x\). Some examples are considered.