Abstract
We prove new characterisations of exponential stability for positive linear discretetime systems in ordered Banach spaces, in terms of smallgain conditions. Such conditions have played an important role in the finitedimensional systems theory, but are relatively unexplored in the infinitedimensional setting, yet. Our results are applicable to discretetime systems in ordered Banach spaces that have a normal and generating positive cone. Moreover, we show that our stability criteria can be considerably simplified if the cone has nonempty interior or if the operator under consideration is quasicompact. To place our results into context we include an overview of known stability criteria for linear (and not necessarily positive) operators and provide full proofs for several folklore characterizations from this domain.
Introduction
Positive systems occur frequently in the modeling, analysis and control of dynamical systems, for instance, in chemical engineering, compartmental systems and ecological systems [17]. Besides being interesting in their own right, positive systems have been instrumental in establishing stability properties of control systems, which are not positive per se. In particular, within the smallgain approach [11, 12], the stability criteria for largescale (discrete or continuous time) interconnected systems are given in terms of stability of certain discretetime monotone systems. The guiding lights for these results are the wellknown characterizations of exponential stability of finitedimensional linear discretetime systems in terms of “smallgain” and “noincrease” conditions, which are summarized, e.g., in [46, Lemma 2.0.1]. A decisive tool for the proof of such criteria is the celebrated Perron–Frobenius theorem.
For infinitedimensional systems, set in the realm of ordered Banach spaces, the situation is more complex. Stability of positive and nonpositive linear operators and semigroups has already been studied for many decades, as is documented for instance in the monographs [14, 15, 53], as well as in the chapters about the asymptotic behaviour of \(C_0\)semigroups in [6, 16, 43]. Yet, many stability criteria that turned out to be useful guidelines in the finitedimensional path from the linear to the nonlinear case—in particular, socalled smallgain criteria and nonincreasing conditions—have only been partially explored in the infinitedimensional setting so far (although see [35, Theorem 3.13 on p. 120 and Theorem 4.6 on p. 130], where noincrease conditions have been used for the study of fixed points of monotone operators). This has several reasons. On the one hand, the Krein–Rutman theorem, which is a (partial) infinitedimensional extension of the Perron–Frobenius theorem, requires the operator under assumption to be quasicompact, which is a rather strong assumption. On the other hand, many finitedimensional stability notions exhibit—due to the compactness of the closed unit ball—some kind of intrinsic uniformity, which is essential to characterize properties such as exponential stability. Lack of this uniformity in the infinitedimensional setting breaks most of the known finitedimensional criteria.
Contribution
In this paper, we study discretetime systems, playing a prominent role in the modeling, analysis, control and numerics of dynamical systems [1, 36]. In Sect. 3.1, we introduce several novel stability properties, most notably the uniform smallgain condition, and characterize the exponential stability of positive linear discretetime systems in terms of such properties (Theorem 3.1). Our assumptions on the ordered Banach space are not particularly restrictive; we merely assume that the cone is normal and generating, which is satisfied for many important classes of spaces. Some, though not all, of the equivalences in Theorem 3.1 have been shown in [39] to hold even in the nonlinear case; these results are related to the inputtostate stability of control systems with inputs and to socalled smallgain theorems.
In Sect. 3.2 we devote special attention to ordered Banach spaces whose cone has nonempty interior. Subeigenvectors of operators inducing discretetime positive exponentially stable systems are a key to the construction of Lyapunov functions for networks of stable systems, see [12] for the case of finite networks. Our results in Sect. 3.2 pave the way to extending these results to infinite networks; some results of this type have already been used in [33].
In Sect. 3.3 we treat systems given by quasicompact operators. By using the Krein–Rutman theorem for these operators, we show that the assumption of quasicompactness allows us to extend most of finitedimensional results to the infinitedimensional setting.
To provide our results on positive systems with sufficient context, we include a small survey part in this article which is given in Sect. 4. There we discuss several results on uniform stability of (nonpositive) linear systems which are scattered throughout the literature; we also include various references which point the reader to further related results. Of particular importance is Theorem 4.8 which collects several characterizations of uniform stability which are probably known to experts in operator theory or in infinitedimensional system theory, but which we could not find in an explicit form in the literature.
This paper is intended both for functional analysts working in the field of positive operators and systems, as well as for experts in dynamical systems and control theory. To make the paper easier accessible for all interested readers we discuss all relevant notions and properties from the theory of ordered Banach spaces in Sect. 2.
Moreover, to give those readers who are unfamiliar with the details of ordered Banach spaces a good intuition for the various concepts that we use, we discuss of several important examples of ordered Banach spaces.
We concentrate ourselves solely on linear systems. For a survey on the theory of nonlinear monotone discretetime infinitedimensional systems we refer to Hirsch and Smith [27] and [28, Section 5]. Some early results have been presented in [24, Chapter 1].
Nonlinear versions of smallgain type conditions studied in this paper have been applied for the analysis of nonlinear systems in [39]. In [22] characterizations for the negativity of the spectral bound of resolvent positive operators have been studied, which are continuoustime counterparts of the results studied in this paper. Some of the results in Sect. 3.2 have been extended to the case of homogeneous and subadditive operators in [40] and applied for the construction of ISS Lyapunov functions for infinite networks of inputtostate stable systems with homogeneous and subadditive gain operators. Nevertheless, in the nonlinear case many problems remain open.
Notation
We use the conventions \(\mathbb {N}= \{1,2,3,\dots \}\) and \(\mathbb {Z}_+ = \{0,1,2,\dots \}\).
If X is a Banach space, we denote the space of bounded linear operators on X by \(\mathcal {L}(X)\) and we denote the dual space—i.e., the space of bounded linear functionals on X—by \(X'\). For \(x' \in X'\) and \(x \in X\) we use the common notation \(\langle x', x \rangle := x'(x)\). The identity operator on a Banach space will be denoted by \({{\,\mathrm{id}\,}}\) (if the space is clear from the context).
If the underlying scalar field of the Banach space X is complex, we denote the spectrum an operator \(T \in \mathcal {L}(X)\) by \(\sigma (T)\). The spectral radius of T is denoted by
If \(\lambda \in \mathbb {C}\) is located in the complement of the spectrum (i.e., in the socalled resolvent set of T), the operator \((\lambda {{\,\mathrm{id}\,}} T)^{1}\) is called the resolvent of T at \(\lambda \).
For bounded linear operators on real Banach spaces, spectral properties are defined by means of complexification; for details, we refer to the subsection on complexifications at the end of Sect. 2.
Setting the stage: ordered Banach spaces and positive operators
In this section, we recall some background information on ordered Banach spaces that will be needed throughout the article.
Ordered Banach spaces
By an ordered Banach space we mean a pair \((X,X^+)\) where X is a real Banach space, and \(X^+ \subseteq X\) is a nonempty closed set such that \(\alpha X^+ + \beta X^+ \subseteq X^+\) for all scalars \(\alpha , \beta \ge 0\) and such that \(X^+ \cap (X^+) = \{0\}\). The set \(X^+\) is called the positive cone in X.
The positive cone of an ordered Banach space \((X,X^+)\) induces a partial order \(\le \) on X which is given by \(x \le y\) if and only if \(yx \in X^+\). In particular, \(x \ge 0\) if and only if \(x \in X^+\). The partial order \(\le \) is compatible with addition and with multiplication by scalars \(\alpha \ge 0\).
For any two vectors x, z in an ordered Banach space we call the set \([x,z] := \{y \in X: \, x \le y \le z\}\) the order interval between x and z; this order interval is nonempty if and only if \(x \le z\).
Generating and normal cones
Let \((X,X^+)\) be an ordered Banach space. The cone \(X^+\) is called total (or spatial) if the vector subspace \(X^+  X^+ = \{xy:x,y\in X^+\}\) of X is dense in X. The cone is called generating (or the space X is called directed) if we even have \(X^+  X^+ = X\). In other words, the cone is generating if and only if each vector \(x \in X\) can be decomposed as \(x = yz\) for two vectors \(y,z \in X^+\). In fact, this decomposition can always be done in a way that controls the norms of y and z:
If the cone \(X^+\) is generating, then there exists a number \(M > 0\) with the following property: for each \(x \in X\) there exist \(y,z \in X^+\) such that
see for instance [2, Theorem 2.37(1) and (3)]. The cone \(X^+\) is called normal if there exists a number \(C > 0\) such that we have
in X. The cone is normal if and only if there exists an equivalent norm \(\Vert \mathord {\,\cdot \,} \Vert '\) on X which is monotone in the sense that \(\Vert x \Vert ' \le \Vert y \Vert '\) whenever \(0 \le x \le y\); see for instance [2, Theorem 2.38(1) and (2)].
Finally, for each set \(S\subset X\) denote by \(\mathrm{int}\,(S)\) the topological interior of S. If \(\mathrm{int}\,(X^+)\ne \emptyset \), then we say that the cone \(X^+\) has a nonempty interior. We shall have more to say about cones with nonempty interior in Sect. 3.2, in particular in Proposition 3.9. Here we only mention that a cone with nonempty interior is automatically generating (Proposition 3.9(i), (iii).
Banach lattices
A particularly wellbehaved class of ordered Banach spaces is the class of socalled Banach lattices [37, 49]. An ordered Banach space \((X,X^+)\) is said to be latticeordered if each two elements \(x,y \in X\) have a smallest upper bound—i.e., a socalled supremum—in X, which we then denote by \(x \vee y\). This allows us to define the positive part, the negative part and the modulus of a vector \(x \in X\) by means of the formulae
The cone in a latticeordered Banach space is always generating since we have \(x = x^+  x^\) for each \(x \in X\).
A Banach lattice is a latticeordered Banach space which satisfies an additional compatibility assumption between norm and lattice operations, namely
for all \(x,y \in X\). This implies, in particular, that the cone in a Banach lattice is always normal.
The distance to the cone
For a subset S and a vector x in a Banach space X, we denote by
the distance from x to S. If \((X,X^+)\) is an ordered Banach space, we will often need the distance of points to the positive cone \(X^+\). Due to the specific properties of cones, the distance function \({{\,\mathrm{dist}\,}}(\mathord {\,\cdot \,},X^+)\) is quite nicely behaved; in particular, it is not difficult to see that we have for all \(x,y \in X\) and all \(\alpha \in [0,\infty )\)
Examples of ordered Banach spaces
Here we recall a few examples of ordered Banach spaces for the convenience of readers that are not too familiar with this concept. Classical sequence and function spaces constitute several important classes of ordered Banach spaces, as explained in the following three examples.
Examples 2.1
(Sequence spaces)

(a)
Let \(X = \ell _p := \{x \in \mathbb {R}^{\mathbb {N}}: \, \Vert x\Vert _{\ell _p} <\infty \}\) for \(p \in [1,\infty ]\), with the norms \(x = (x_n)_{n \in \mathbb {N}}\mapsto \Vert x\Vert _{\ell _p} := \Big (\sum _{n=1}^\infty x_n^p\Big )^{1/p}\) for \(p<\infty \) and \(x\mapsto \Vert x\Vert _{\ell _\infty }:=\sup _{n=1}^\infty x_n\). We endow \(\ell _p\) spaces with the cone
$$\begin{aligned} \ell _p^+ := \{(x_n)_{n \in \mathbb {Z}_+} \in \ell _p: \, x_n \ge 0 \text { for all } n \in \mathbb {N}\}. \end{aligned}$$Then \((\ell _p,\ell _p^+)\) is an ordered Banach space, and in fact even a Banach lattice (where the lattice operations can be performed entrywise); in particular, the cone \(\ell _p^+\) is generating and normal. If \(p = \infty \), then the cone has nonempty interior, whereas \(\mathrm{int}\,(\ell _p^+)=\emptyset \) for \(p \in [1,\infty )\).

(b)
Let \(X = c\) (the space of convergent real sequences) or \(X = c_0\) (the space of real sequences that converge to 0), endowed with the supremum norm and with the cone \(X^+\) which is defined in the same way as in Example (a). Then \((X,X^+)\) is an ordered Banach space and even a Banach lattice (with entrywise lattice operations) and thus, the cone \(X^+\) is generating and normal. The interior of the cone is nonempty if \(X = c\) and empty if \(X = c_0\).
Example 2.2
(Spaces of integrable functions) If \((\Omega ,\mu )\) is an arbitrary measure space and \(p \in [1,\infty ]\), then the space \(L^p(\Omega ,\mu )\) over \(\mathbb {R}\), endowed with the pnorm and the cone of all functions that are \(\ge 0\) almost everywhere, is an ordered Banach space and actually even a Banach lattice (where the lattice operations are computed pointwise almost everywhere); hence, the cone is generating and normal.
The interior of the cone is nonempty if \(p=\infty \) or if \(L^p(\Omega ,\mu )\) is finitedimensional; in all other cases, it is empty.
Example 2.3
(Spaces of continuous functions) Here are two more examples of Banach lattices (and thus, in particular, of ordered Banach spaces with generating and normal cone).
If \(\Omega \) is a topological space, then the space \(C_b(\Omega )\) of all realvalued and bounded continuous functions is Banach lattice when endowed with the supremum norm and the cone of all those functions in \(C_b(\Omega )\) that are \(\ge 0\) everywhere on \(\Omega \). The cone in this space has nonempty interior.
Similarly, if L is a locally compact Hausdorff space and \(C_0(L)\) denotes that closed subspace of \(C_b(L)\) consisting of functions that vanish at infinity, then \(C_0(L)\) is a Banach lattice with respect to the norm and cone inherited from \(C_b(L)\). The interior of the cone in \(C_0(L)\) is nonempty if and only if L is compact (in which we have \(C_0(L) = C_b(L) = C(L)\), where C(L) denote the space of all continuous realvalued functions on L).
A classical example of an ordered Banach space that is not a Banach lattice is the selfadjoint part of a noncommutative \(C^*\)algebra (see for instance [21, Examples 2.15 and 2.16] for some additional information about the order structure of such spaces). Nonnormal cones can, for example, be found in various spaces of continuously differentiable functions and in Sobolev spaces; see, e.g., [21, Examples 2.17 and 2.18].
Finally, we give a simple example, taken from Krasnosel’skii et al. [34, pp. 35–36], of an ordered Banach space with total but nongenerating cone:
Examples 2.4
(A space with nongenerating cone) We consider again the sequence space \(c_0\) with the supremum norm, but in contrast to Example 2.1(b) we now set
Note that the series on the right might be infinite, in which case the inequality is not satisfied. The cone \(c_0^+\) is closed in \(c_0\) by Fatou’s lemma. The span of the cone is equal to \(\ell _2\), so the cone is total but not generating in \(c_0\). Moreover, it is not difficult to show that the cone is normal.
In contrast to the situation described above, the space \(\ell _2\) with the same cone—which can also be written as
and which is sometimes called the Lorentzian cone—is an ordered Banach space whose cone has nonempty interior since, for instance, the vector \((1,0,0,\ldots )\) is an interior point.
Positive operators
Let \((X,X^+)\) and \((Y,Y^+)\) be ordered Banach spaces. A linear mapping \(A: X \rightarrow Y\) is called positive, which we denote as \(A \ge 0\), if \(AX^+ \subseteq Y^+\). A linear mapping A is positive if and only if it respects the order relation (i.e. \(Ax_1 \le Ax_2\) whenever \(x_1 \le x_2\)).
We are particularly interested in bounded linear operators. Interestingly though, this assumption is often redundant: if the cone \(X^+\) is generating, then every positive linear operator \(A: X \rightarrow Y\) is automatically bounded [2, Theorem 2.32].
Duality of ordered Banach spaces
Let \((X, X^+)\) be an ordered Banach space. The subset
of the dual space \(X'\) is called the dual wedge of \(X^+\). The elements of \((X')^+\) are called the positive functionals on X.
The dual wedge is also closed (even weak\({}^*\)closed), convex and invariant with respect to multiplication by nonnegative scalars. The dual wedge \((X')^+\) is a cone—i.e., its intersection with \((X')^+\) is \(\{0\}\)—if and only if the cone \(X^+\) is total in X.
Let \((X,X^+)\) be an ordered Banach space with total cone \(X^+\); as explained in the previous paragraph, the dual space \((X', (X')^+)\) is then an ordered Banach space, too. The properties of \(X^+\) and \((X')^+\) are closely related. For instance, \(X^+\) is generating if and only if \((X')^+\) is normal [34, Theorem 4.6]; and conversely, \(X^+\) is normal if and only if \((X')^+\) is generating [34, Theorem 4.5].
Complexifications
Since we are going to use the spectral theory of positive operators, a word on complexifications is in order. The underlying scalar field of an ordered Banach space \((X,X^+)\) is real; but every real Banach space X has a (in general, nonunique) complexification \(X_\mathbb {C}\), which is a Banach space over \(\mathbb {C}\), and each bounded linear operator T between real Banach spaces X and Y can be uniquely extended to a bounded \(\mathbb {C}\)linear operator \(T_\mathbb {C}: X_\mathbb {C}\rightarrow Y_\mathbb {C}\); moreover, this extension always satisfies the norm estimate \(\Vert T \Vert \le \Vert T_\mathbb {C} \Vert \le 2 \Vert T \Vert \). Whenever we talk about spectral properties of T, we tacitly mean the corresponding spectral properties of the complex extension \(T_\mathbb {C}\). For an overview of complexifications of Banach spaces, we refer for instance to Muñoz et al. [41] and Glück [20, Appendix C].
Stability for positive systems
After a brief description of ordered Banach spaces and positivity, we now focus on the stability analysis of positive linear discretetime evolution equations.
For a Banach space X and an operator \(T \in \mathcal {L}(X)\), consider the discretetime system induced by T,
We are interested in the question whether the solutions to this system converge uniformly to 0 as \(k \rightarrow \infty \); this is made precise in the following definition.
Definition 3.1
For a Banach space X and an operator \(T \in \mathcal {L}(X)\), the system (3.1) is called

(a)
uniformly asymptotically stable, if there is a sequence of real numbers \(0 \le a_k \rightarrow 0\) such that
$$\begin{aligned} \Vert T^k x \Vert \le a_k \Vert x \Vert \quad \text {for all } x \in X,\ k\in \mathbb {Z}_+; \end{aligned}$$ 
(b)
uniformly exponentially stable (or uniformly power stable), if there exist real numbers \(a \in [0,1)\) and \(M>0\) such that
$$\begin{aligned} \Vert T^k x \Vert \le M a^{k} \Vert x \Vert \quad \text {for all } x \in X \text { and all } k\in \mathbb {Z}_+; \end{aligned}$$ 
(c)
uniformly weakly attractive if, for each \(r>0\) and each \(\varepsilon >0\), there is a time \(\tau \) with the following property: for each \(x \in X\) of norm \(\Vert x \Vert \le r\) there is \(k\le \tau \) such that \(\Vert T^k x \Vert \le \varepsilon \).
The stability notions (a) and (b) from the previous definition can be expressed in terms of operator norms. Indeed, the system (3.1) is uniformly asymptotically stable if and only if \(\Vert T^k \Vert \rightarrow 0\) as \(k \rightarrow \infty \); and the system (3.1) is uniformly exponentially stable if and only if there exist numbers \(M > 0\) and \(a \in [0,1)\) such that \(\Vert T^k \Vert \le M a^k\) holds for all \(k \in \mathbb {Z}_+\).
The notion of uniform weak attractivity was introduced in [38], motivated by the classical notion of weak attractivity [7, 8]. We stress that in some works “ weak ” stability concepts have another meaning, namely convergence properties in the weak topology on X, see, e.g., [14].
For a Banach space X and an operator \(T\in \mathcal {L}(X)\) we denote the spectral radius of (the complexification of) T by \(r(T)\). A wellknown result in the stability theory of discretetime systems (3.1) is the following:
Proposition 3.2
Let X be a Banach space and \(T \in \mathcal {L}(X)\). The following assertions are equivalent:

(i)
We have \(r(T) < 1\).

(ii)
The system (3.1) is uniformly asymptotically stable.

(iii)
The system (3.1) is uniformly exponentially stable.

(iv)
The system (3.1) is uniformly weakly attractive.
Proof
For (i) \(\Leftrightarrow \) (ii) \(\Leftrightarrow \) (iii) see, e.g., [45, Lemma 2.1 and Theorem 2.2] and for (ii) \(\Leftrightarrow \) (iv) see [38, Proposition 5.1] (shown for continuoustime systems, but easily transferable to the discretetime case). \(\square \)
General stability criteria for positive systems
From now on we focus in this section on the positive case, i.e., we study linear operators on ordered Banach spaces and we assume that the operators are positive in the sense that they leave the positive cone invariant.
Positivity of the operator T does not simplify the criteria for uniform exponential stability considered in Proposition 3.2. On the other hand though, positivity allows to show diverse characterizations of a very different nature, which are typically referred to as smallgain type conditions. We proceed to our main result for discretetime positive linear systems, which contains several such criteria.
Theorem 3.3
Let \((X,X^+)\) be an ordered Banach space with generating and normal cone and let \(T \in \mathcal {L}(X)\) be positive. Then the following assertions are equivalent:

(i)
Uniform exponential stability: the system (3.1) satisfies the equivalent criteria of Proposition 3.2, i.e., we have \(r(T) < 1\).

(ii)
Positivity of the resolvent at 1: the operator \({{\,\mathrm{id}\,}} T: X \rightarrow X\) is bijective and its inverse \(({{\,\mathrm{id}\,}} T)^{1}\) is positive.^{Footnote 1}

(iii)
Monotone bounded invertibility property: there exists a number \(c \ge 0\) such that
$$\begin{aligned} ({{\,\mathrm{id}\,}} T)x \le y \Rightarrow \Vert x \Vert \le c \Vert y \Vert \end{aligned}$$holds for all \(x,y \in X^+\).

(iv)
Uniform smallgain condition: there is a number \(\eta > 0\) such that
$$\begin{aligned} {{\,\mathrm{dist}\,}}\big ((T{{\,\mathrm{id}\,}})x,X^+\big ) \ge \eta \Vert x \Vert \end{aligned}$$for each \(x \in X^+\).

(v)
Robust smallgain condition: There exists a number \(\varepsilon > 0\) such that
$$\begin{aligned} (T+P)x \not \ge x \end{aligned}$$(3.2)for every \(0 \not = x \in X^+\) and for every positive operator \(P \in \mathcal {L}(X)\) of norm \(\Vert P \Vert \le \varepsilon \).

(vi)
Rank1 robust smallgain condition: there exists a number \(\varepsilon > 0\) such that
$$\begin{aligned} (T+P)x \not \ge x \end{aligned}$$for every \(0 \not = x \in X^+\) and for every positive operator \(P \in \mathcal {L}(X)\) of rank 1 and of norm \(\Vert P \Vert \le \varepsilon \).
Remarks 3.4

(a)
The terminology “ smallgain condition ” stems from the study of interconnected systems in systems and control theory. In this context, the gain describes the response of the system on the applied input. As an example, consider two systems \(\Sigma _1\) and \(\Sigma _2\). If \(\gamma _{12}>0\) is the gain describing the influence of the system \(\Sigma _2\) on the system \(\Sigma _1\), and \(\gamma _{21}>0\) is the gain describing the influence of the system \(\Sigma _1\) on the \(\Sigma _2\), then the condition \(\gamma _{12}\cdot \gamma _{21}<1\) guarantees in a proper context the stability of the feedback interconnection of \(\Sigma _1\) and \(\Sigma _2\) and is referred to as a “ smallgain condition ”. At the same time, one has the equivalence
$$\begin{aligned} \quad \gamma _{12}\cdot \gamma _{21}<1 \; \quad \Leftrightarrow \quad \; \begin{pmatrix} 0 &{}\quad \gamma _{12} \\ \gamma _{21} &{}\quad 0 \end{pmatrix} \begin{pmatrix} s_1\\ s_2 \end{pmatrix} \not \ge \begin{pmatrix} s_1\\ s_2 \end{pmatrix} \; \text { for all } (s_1,s_2) \in \mathbb {R}^2_+\backslash \{0\} \end{aligned}$$(for the implication “ \(\Leftarrow \) ”, just take \(s_1:=1\), \(s_2:=\gamma _{21}\)). This explains the use of the term “ smallgain condition ” for conditions like (3.2).

(b)
In view of Theorem 3.3(iv) we point out that, in the important case where X is a Banach lattice, the distance to the positive cone can be computed by means of the formula
$$\begin{aligned} {{\,\mathrm{dist}\,}}(Txx,X^+) = \Vert \left( Txx\right) ^ \Vert \end{aligned}$$for each vector x. This follows easily from standard properties of Banach lattices; the argument can be found in detail in [39, Remark 7.3].

(c)
In assertion (v) of the theorem, it does not suffice to consider only a single nonzero operator P as a perturbation. As a counterexample, let \(p \in [1,\infty ]\) and let \(T: \ell _p \rightarrow \ell _p\) denote the right shift operator given by
$$\begin{aligned} T: (x_1, x_2, \dots ) \mapsto (0, x_1, x_2, \dots ). \end{aligned}$$Moreover, let \(P = \frac{1}{2}{{\,\mathrm{id}\,}}: \ell _p \rightarrow \ell _p\) denote half the identity operator. Then it is easy to check that \((T + P)x \not \ge x\) for each nonzero vector \(x \ge 0\). Yet, T has spectral radius 1.
A related observation is made in Example 3.17.

(d)
We note that all the equivalent conditions in Theorem 3.3 can also be formulated in terms of the dual operator \(T'\), since the dual operator is positive, too, and since \(r(T') = r(T)\).
A couple of results that are loosely related to the smallgain type conditions above can be found in Sections 6 and 7 of the classical paper [31]. For the proof of Theorem 3.3 we need two lemmas. The first one is about socalled approximate eigenvectors. A number \(\lambda \) is called an approximate eigenvalue of the operator T if there exists a sequence of vectors \((x_n)_{n\in \mathbb {N}}\) (in the complexification of X) such that \(\Vert x_n \Vert = 1\) for each n and such that \(\lambda x_n  Tx_n \rightarrow 0\); in this case, the sequence \((x_n)_{n\in \mathbb {N}}\) is called an approximate eigenvector that corresponds to the approximate eigenvalue \(\lambda \). It is easy to see that every approximate eigenvalue of T is a spectral value of T (i.e., belongs to the spectrum \(\sigma (T)\)).
Lemma 3.5
Let \((X,X^+)\) be an ordered Banach space with generating and normal cone and let \(T \in \mathcal {L}(X)\) be positive. Then \(r(T)\) is an approximate eigenvalue of T, and there exists an associated approximate eigenvector \((x_n)_{n\in \mathbb {N}}\) that consists of positive vectors in X.
The proof of the lemma is a simple variation of a standard argument in operator theory. For the convenience of the reader and in order to be more selfcontained, we include the details.
Proof of Lemma 3.5
Since \(X^+\) is generating and normal, the positivity of T implies that \(r(T)\) is a spectral value of T (see for instance [50, paragraph 2.2 on p. 311]). Thus, we have \(\Vert (r{{\,\mathrm{id}\,}}T)^{1} \Vert \rightarrow \infty \) as \(r \downarrow r(T)\). By the uniform boundedness theorem, we can find a vector \(u \in X\) and a sequence \((r_n)_{n\in \mathbb {N}}\) in \( (r(T),\infty )\) that converges to \(r(T)\) such that \(\Vert (r_n{{\,\mathrm{id}\,}}T)^{1}u \Vert \rightarrow \infty \) as \(n\rightarrow \infty \). As the cone \(X^+\) is generating, we can write u as \(u = vw\) for vector \(v,w \in X^+\); consequently, at least one of the sequences \(\big ((r_n{{\,\mathrm{id}\,}} T)^{1}v\big )_{n \in \mathbb {N}}\) and \(\big ((r_n{{\,\mathrm{id}\,}} T)^{1}w\big )_{n \in \mathbb {N}}\) is unbounded. Thus, by choosing a subsequence of \((r_n)_{n \in \mathbb {N}}\) and by interchanging v and w if necessary, we may assume that \(\alpha _n := \Vert (r_n{{\,\mathrm{id}\,}}T)^{1}v \Vert \rightarrow \infty \).
Now define \(x_n := \frac{1}{\alpha _n} (r_n{{\,\mathrm{id}\,}} T)^{1}v\) for each \(n \in \mathbb {N}\). Clearly, \(\Vert x_n \Vert = 1\). Moreover, the resolvent \((r_n{{\,\mathrm{id}\,}} T)^{1}\) is positive for each n due to the Neumann series representation formula; thus, all vectors \(x_n\) are positive. It only remains to show that \((r(T){{\,\mathrm{id}\,}} T)x_n \rightarrow 0\). And indeed, we have
since \(\alpha _n \rightarrow \infty \) as \(n \rightarrow \infty \). \(\square \)
The second lemma that we need for the proof of Theorem 3.3 is the following simple observation.
Lemma 3.6
Let \((X,X^+)\) be an ordered Banach space with total and normal cone (such that the dual cone \((X')^+\) is generating in \(X'\)) and let \(M' \ge 0\) be a real number such that the decomposition property (2.1) holds in the dual space \(X'\) for \(M'\).
For each vector \(x \in X^+\) of norm 1 there exists a functional \(z' \in (X')^+\) of norm at most \(M'\) such that
Proof
Take any \(x\in X^+\) with \(\Vert x \Vert =1\). Due to the Hahn–Banach extension theorem, there exists a functional \(x' \in X'\) of norm 1 such that \(\langle x', x\rangle = 1\) (see, e.g., [9, p. 636]). We can decompose \(x'\) as
where \(z'\) and \(y'\) are elements of \((X')^+\) of norm at most \(M'\). Then we have
which is the assertion. \(\square \)
Proof of Theorem 3.3
(i) \(\Rightarrow \) (ii) If the \(r(T) < 1\), then \({{\,\mathrm{id}\,}}T\) is clearly invertible, and it follows from the Neumann series representation of the resolvent that
the inequality at the end follows by applying the operator series to vectors \(x \in X^+\) and using that \(X^+\) is closed.
(ii) \(\Rightarrow \) (iii) Let \(C \in [0,\infty )\) be the normality constant from inequality (2.2). If \(x,y \in X^+\) and \(({{\,\mathrm{id}\,}}T)x \le y\) we obtain from the positivity of the resolvent \(({{\,\mathrm{id}\,}}T)^{1}\) that \(x \le ({{\,\mathrm{id}\,}}T)^{1}y\), and hence
This proves the monotone bounded invertibility property with \(c = C \Vert ({{\,\mathrm{id}\,}}T)^{1} \Vert \).
(iii) \(\Rightarrow \) (iv) Let \(c>0\) be as in (iii). Since the cone \(X^+\) is assumed to be generating, we can find a constant \(M >0\) as in the decomposition property (2.1).
Now fix \(x \in X^+\) and let \(\varepsilon > 0\) be arbitrary; we are going to show that
For convenience, denote \(a := (T{{\,\mathrm{id}\,}})x\). By the definition of the distance, we can find a vector \(z \in X^+\) such that \(\Vert az \Vert \le {{\,\mathrm{dist}\,}}(a,X^+) + \varepsilon \), and we set \(y := az\). Now we decompose the vector y as
where u, v are in \(X^+\) and satisfy the norm estimate
For the vector \(({{\,\mathrm{id}\,}}T)x\) we have the estimate
so the monotone bounded invertibility property from (iii) implies that
So we have indeed shown the claimed inequality (3.3). Since \(\varepsilon \) was arbitrary, this gives us the uniform smallgain condition with \(\eta = \frac{1}{cM}\).
(iv) \(\Rightarrow \) (v) Choose \(\varepsilon = \eta /2\), where \(\eta \) is the number from (iv). Now, let x be a nonzero element of \(X^+\) and let \(P \in \mathcal {L}(X)\) be a positive linear operator of norm at most \(\varepsilon \). We have to show that \(Tx + Px \not \ge x\), and to this end we may—and will, in order to simplify the notation—assume that x has norm 1.
For each vector \(z \in X^+\), we know from the uniform smallgain condition that \(Txx\) has distance at least \(\eta \) from z. Since \(\Vert Px \Vert \le \eta /2\), it follows that \(Tx+Pxx\) still has distance at least \(\eta /2\) from z, so
In particular, \(Tx+Pxx\) is not in the cone, so \(Tx+Px \not \ge x\).
(v) \(\Rightarrow \) (vi) This implication is obvious.
(vi) \(\Rightarrow \) (i) Let \(\varepsilon >0\) be as in (vi). We argue by contraposition: assume that \(r(T) \ge 1\).
By Lemma 3.5, \(r(T)\) is an approximate eigenvalue of T and there exists a corresponding approximate eigenvector \((x_n)_{n \in \mathbb {N}}\) in \(X^+\); more precisely, this means that each vector \(x_n\) has norm 1 and that
Since the cone in our space is generating, we can choose a number \(M \in [0,\infty )\) as in the decomposition property (2.1). Since the dual cone \((X')^+\) in \(X'\) is generating, too (due to the normality of \(X^+\)), there also exists a constant \(M' \in [0,\infty )\) with the same property for the dual cone \((X')^+\).
For each index n we can decompose the vector \((T  r(T){{\,\mathrm{id}\,}})x_n\) as
where \(y_n,z_n\) are vectors in \(X^+\) of norm at most \(M \Vert (Tr(T){{\,\mathrm{id}\,}})x_n \Vert \). If we choose a sufficiently large number \(n_0 \in \mathbb {N}\), we thus have \(M'\Vert z_{n_0} \Vert \le \varepsilon \).
We now choose a functional \(z' \in (X')^+\) of norm at most \(M'\) such that \(\langle z', x_{n_0}\rangle \ge 1\); such a functional \(z'\) exists, as shown in Lemma 3.6. The rank1 operator \(P \in \mathcal {L}(X)\) that is defined by the formula
is positive and has norm
On the other hand, we have
since \(\langle z', x_{n_0} \rangle \ge 1\). Hence, we have \(Tx + Px \ge x\) for \(x := x_{n_0}\). \(\square \)
Remark 3.7
(Nonlinearization of smallgain conditions) In [39] another definition of the uniform smallgain condition was used, namely that a nonlinear operator \(T: X^+ \rightarrow X^+\) satisfies the uniform smallgain condition if there is a homeomorphism \(\eta : \mathbb {R}_+ \rightarrow \mathbb {R}_+\) (i.e., \(\eta (0)=0\), \(\eta \) is continuous and strictly increasing to infinity) such that
For linear operators this definition coincides with our definition since the preceding inequality implies
for each \(x \in X^+ {\setminus } \{0\}\).
Similarly, one can “ nonlinearize ” the monotone bounded invertibility property. Furthermore, one can show the equivalence of the nonlinear uniform smallgain condition and a nonlinear version of the monotone bounded invertibility property also for the case of nonlinear monotone operators, even if the cone \(X^+\) is not normal, see [39, Proposition 7.1]. As a consequence, we could obtain the equivalence of items (iii) and (iv) in Theorem 3.3 from [39, Proposition 7.1]. However, we preferred to give a direct and selfcontained proof. \(\square \)
Remark 3.8
The motivation for characterizing uniform exponential stability of a positive system as in items (v) and (vi) of Theorem 3.3 is the robust strong smallgain condition introduced in [10] for the smallgain analysis of infinite networks.
Cones with interior points
In this section we consider the special case where the cone \(X^+\) in an ordered Banach space contains an interior point. To this end it is worthwhile to recall a few characterisations of interior points in the cone:
Proposition 3.9
Let \((X,X^+)\) be an ordered Banach space and let \(z \in X^+\). The following assertions are equivalent:

(i)
The vector z is an element of the topological interior of \(X^+\).

(ii)
The vector z is an order unit, i.e., for each \(y \in X\) there exists \(\varepsilon > 0\) such that \(z \ge \varepsilon y\).

(iii)
The cone \(X^+\) is generating, and for each \(y \in X^+\) there exists \(\varepsilon > 0\) such that \(z \ge \varepsilon y\).

(iv)
The socalled principal ideal \(\bigcup _{n \in \mathbb {N}} [nz,nz]\) equals X.

(v)
There exists \(\varepsilon > 0\) such that \(z \ge y\) for every \(y \in X\) of norm \(\Vert y \Vert \le \varepsilon \).
Proof
These equivalences are standard results in the theory of ordered Banach spaces; see for instance [21, Proposition 2.11] for a reference where all these equivalences are proved in one place. \(\square \)
We point out that we do not a priori assume the cone \(X^+\) to have nonempty interior in Proposition 3.9.
If \((X, X^+)\) is an ordered Banach space and the cone \(X^+\) has nonempty interior, we will write \(x \ll y\) (or, synonymously, \(y \gg x\)) if \(yx \in \mathrm{int}\,(X^+)\). We will need the following simple estimate for the spectral radius of a positive operator.
Proposition 3.10
Let \((X,X^+)\) be an ordered Banach space and let \(T \in \mathcal {L}(X)\) be positive. Further assume that \(\mathrm{int}\,\, X^+ \ne \emptyset \). Then
Proof
Let \(\lambda > r(T)\), and take an arbitrary point \(y \in \mathrm{int}\,(X^+)\). Then the vector \(z = z(y):= (\lambda {{\,\mathrm{id}\,}} T)^{1}y\) is also in \(\mathrm{int}\,(X^+)\). Indeed, it follows from the Neumann series representation of the resolvent and from the positivity of T that
hence, \(z \in \mathrm{int}\,(X^+)\) as \(y \in \mathrm{int}\,(X^+)\). Now, we estimate Tz as
which implies the claim. \(\square \)
A result closely related to Proposition 3.10, but for continuoustime systems, can be found in [5, formula (5.2) in Theorem 5.3]. A nonempty interior of the cone yields further powerful criteria for stability of positive systems; this is the content of the next theorem.
Theorem 3.11
Let \((X,X^+)\) be an ordered Banach space with normal cone and suppose that the cone has nonempty interior. For every positive operator \(T \in \mathcal {L}(X)\), the following assertions are equivalent:

(i)
Uniform exponential stability: the system (3.1) satisfies the equivalent criteria of Proposition 3.2, i.e., we have \(r(T) < 1\).

(ii)
Dual smallgain condition: for each \(0 \not = x' \in (X')^+\) we have
$$\begin{aligned} T'x' \not \ge x'. \end{aligned}$$ 
(iii)
Interior point smallgain condition, first version: for every interior point z of \(X^+\) there is a number \(\eta > 0\) such that
$$\begin{aligned} Tx \not \ge x  \eta \Vert x \Vert z \quad \text {for all } x \in X^+ {\setminus } \{0\}. \end{aligned}$$ 
(iv)
Interior point smallgain condition, second version: there exists an interior point z of \(X^+\) and a number \(\eta > 0\) such that
$$\begin{aligned} Tx \not \ge x  \eta \Vert x \Vert z \qquad \text {for all } x \in X^+ {\setminus } \{0\}. \end{aligned}$$ 
(v)
Strong decreasing property, first version: there exists an interior point z of \(X^+\) such that \(Tz \ll z\).

(vi)
Strong decreasing property, second version: there exists an interior point z of \(X^+\) and \(\lambda \in (0,1)\) such that
$$\begin{aligned} {Tz \le \lambda z}. \end{aligned}$$(3.5) 
(vii)
Strong stability: the system (3.1) is strongly stable in the sense of Definition 4.1.

(viii)
Weak attractivity in the cone: for each \(x \in X^+\) we have \(\inf _{k\ge 0}\Vert T^kx \Vert = 0\).
Proof
(i) \(\Rightarrow \) (ii) If \(x' \in (X')^+\) is nonzero and \(T'x' \ge x'\), then we can iterate this inequality and obtain \((T')^kx' \ge x'\) for each \(k \in \mathbb {Z}_+\). Hence, the sequence \(\left( (T')^kx'\right) _{k \in \mathbb {Z}_+}\) does not converge to 0, so \(r(T) = r(T') \ge 1\).
(ii) \(\Rightarrow \) (i) Assume that \(r(T) \ge 1\). Since the cone \(X^+\) is normal and has nonempty interior, it follows that \(r(T') = r(T)\) is an eigenvalue of the dual operator \(T'\) with an eigenvector \(x' \in (X')^+\) [50, Corollary on p. 315]. Hence, \(T'x' = r(T)x' \ge x'\).
(i) \(\Rightarrow \) (iii) By Theorem 3.3 the condition \(r(T)<1\) is equivalent to the uniform smallgain condition Theorem 3.3(iv), which is equivalent (for any fixed interior point z) due to [39, Proposition 7.4] to the nonlinear version of the interior point smallgain condition, which reduces thanks to the linearity of T to the condition (iii), using the argumentation as in Remark 3.7.
(iii) \(\Rightarrow \) (iv) This is clear.
(iv) \(\Rightarrow \) (i) The argument for this implication is similar as in the proof of (i) \(\Rightarrow \) (iii).
(i) \(\Rightarrow \) (v) If \(r(T)<1\), from Proposition 3.10 it follows that there is \(\lambda \in (0,1]\) and \(z\in \mathrm{int}\,(X^+)\) such that \(Tz \ll \lambda z \le z\).
(v) \(\Rightarrow \) (vi) Let \(z\in \mathrm{int}\,(X^+)\) be such that \(z  Tz \in \mathrm{int}\,(X^+)\). Then, according to Lemma 3.9(ii), there exists a number \(\delta \in (0,1)\) such that \(\delta z \le z  Tz\); hence, \(0 \le Tz \le (1\delta ) z\).
(vi) \(\Rightarrow \) (vii) By iterating the inequality \(Tz \le \lambda z\) we obtain the inequality \(0 \le T^n z \le \lambda ^n z\) for each integer \(n \in \mathbb {Z}_+\). For \(x \in [0,z]\), this yields \(0 \le T^n x \le \lambda ^n z\) for each \(n \in \mathbb {Z}_+\), so due to the normality of the cone we conclude that \(T^n x \rightarrow 0\) as \(n \rightarrow \infty \).
But as z is an interior point, the span of the order interval [0, z] equals X [Proposition 3.9(iv)], so \(T^n x \rightarrow 0\) for each \(x \in X\).
(vii) \(\Rightarrow \) (viii) This is clear.
(viii) \(\Rightarrow \) (i) Since the cone \(X^+\) is normal, there exists a constant \(C \ge 0\) such that \(\Vert x \Vert \le C \Vert y \Vert \) for all \(x \in X\) and \(y \in X^+\) that satisfy \(x \in [y,y]\) [2, Theorem 2.38(1) and (3)]. Moreover, it follows from Proposition 3.9(v) that we can find an interior point z of \(X^+\) such that the order interval \([z,z]\) contains the unit ball in X.
According to property (viii) we can find a time \(k \in \mathbb {Z}_+\) such that \(C \Vert T^k z \Vert \le 1/2\). For this k, and for each \(x \in X\) of norm at most 1, we have
so \(\Vert T^k x \Vert \le C \Vert T^k z \Vert \le 1/2\) for each x in the unit ball of X. Hence, \(\Vert T^k \Vert \le 1/2\), which implies (i). \(\square \)
It is particularly worthwhile to point out that condition (ii) in Theorem 3.11 is formulated in a nonuniform way [as opposed to the uniform smallgain condition in Theorem 3.3(iv)]. As can be seen in the proof, this is because, on spaces whose cone is normal and has nonempty interior, the spectral radius of a positive operator is always an eigenvalue of the dual operator with a positive eigenvector. The implication (ii) \(\Rightarrow \) (i) in the theorem is also implicitly contained in [31, Theorem 19 and Lemma 5].
Example 3.12
Under the assumptions of Theorem 3.11 the condition \(r(T)<1\) does not imply that \(Tz \ll z\) for all interior points of \(X^+\) (while, according to assertion (v) in the theorem, this is true for at least one interior point). For example, consider the operator
on \(\mathbb {R}^2\). We endow \(\mathbb {R}^2\) with its standard cone, so T is positive.
Clearly, \(r(T)=\frac{1}{2}\) and it is easy to construct, in accordance with Theorem 3.11(v), a strictly decaying vector; for instance, we have \(T(6, 2)^T = (5, 1)^T \ll (6, 2)^T\).
But at the same time the vector \((2, 2)^T\)—which is an interior point the cone—satisfies \(T(2, 2)^T = (3,1)^T \not \ll (2,2)^T\).
Remarks 3.13
(Computation of points of strict decay)

(a)
In some applications, in particular in Lyapunovbased smallgain theorems [40], it is of interest to explicitly compute the number \(\lambda \) and the corresponding vector z as in (3.5), also called a point of strict decay. Proposition 3.10 shows that one may pick any \(\lambda \in (r(T),1)\), and \(z := (\lambda {{\,\mathrm{id}\,}} T)^{1}y\) for any \(y\in \mathrm{int}\,(X^+)\), see (3.4).
As \((\lambda {{\,\mathrm{id}\,}} T)^{1}\) is bijective from X to X, it is an open map due to the open mapping theorem, i.e., \((\lambda {{\,\mathrm{id}\,}} T)^{1}\) maps open sets to open sets. This is a very nice property from the computational point of view, as even if we cannot compute \(z = (\lambda {{\,\mathrm{id}\,}} T)^{1}y\) exactly for some \(y\in \mathrm{int}\,(X^+)\), we nevertheless know that any sufficiently good approximation will also be a point of strict decay for the operator T.

(b)
If the operator T is compact and strongly positive in the sense that it maps \(X^+ {\setminus } \{0\}\) into the interior of \(X^+\), then the vector z in (3.5) can be chosen to be an eigenvector of T for the eigenvalue \(r(T) < 1\). This follows from the Krein–Rutman theorem for strongly positive operators (see for instance [13, Theorem 19.3(a)]).
The quasicompact case
The characterisation of stability becomes considerably easier when the operator T under consideration is compact or, more generally quasicompact. Here we call a bounded linear operator T on a Banach space X quasicompact if there exists an integer \(n_0 \in \mathbb {N}\) and a compact operator K on X such that \(\Vert T^{n_0}K \Vert < 1\) (alternatively, if there exists \(n_1\) and a compact operator K such that \(r(T^{n_1}K) < 1\)). This is equivalent to saying that the equivalence class of T in the Calkin algebra \(\mathcal {L}(X) / \mathcal {K}(X)\)—where \(\mathcal {K}(X)\) denotes the ideal of compact operators on X—has spectral radius strictly less than 1. The latter spectral radius is known to coincide with the socalled essential spectral radius \(r_{{\text {ess}}}(T)\) of T. Hence, T is quasicompact if and only if \(r_{{\text {ess}}}(T) < 1\), and the latter condition means that on the unit circle, and outside of it, all spectral values of T (if there exist any at all) are poles of the resolvent \((\mathord {\,\cdot \,} T)^{1}\) with a finitedimensional spectral space. Clearly, every compact operator and every power compact operator is quasicompact.
Our next theorem gives additional stability criteria for positive linear operators in case that they are quasicompact. In contrast to Theorem 3.3 we do not need the cone to be normal now, and moreover it suffices if the cone is total rather than generating. In case that the cone is normal and generating, though, the following criteria are complemented by those in Theorem 3.3, of course.
Theorem 3.14
Let \((X,X^+)\) be an ordered Banach space with total cone and let \(T \in \mathcal {L}(X)\) be positive. If T is quasicompact, then the following assertions are equivalent:

(i)
Uniform exponential stability: the system (3.1) satisfies the equivalent criteria of Proposition 3.2, i.e., we have \(r(T) < 1\).

(ii)
Positivity of the resolvent at 1: the operator \({{\,\mathrm{id}\,}}T: X \rightarrow X\) is bijective and \(({{\,\mathrm{id}\,}}T)^{1}\) is positive.

(iii)
All subfixed vectors of T are positive: if \(x \in X\) satisfies
$$\begin{aligned} Tx \le x, \end{aligned}$$then \(x \ge 0\).

(iv)
Smallgain condition: for each \(0 \not = x \in X^+\) we have
$$\begin{aligned} Tx \not \ge x. \end{aligned}$$ 
(v)
Attractivity on the cone: for each \(x\in X^+\) we have \(T^kx \rightarrow 0\) as \(k\rightarrow \infty \).

(vi)
Weak attractivity on the cone: for each \(x\in X^+\) we have \(\inf _{k\ge 0}\Vert T^kx \Vert = 0\).
For finitedimensional discretetime systems the equivalence “(i) \(\Leftrightarrow \) (iv)” of Theorem 3.14 and the equivalence “(i) \(\Leftrightarrow \) (vi)” of Theorem 3.11 can be found in [46, Lemma 2.0.1] and [47, Lemma 1.1]. In the finitedimensional continuoustime case, an analogue of “(i) \(\Leftrightarrow \) (iv)” can be found in [51, Theorem 1.4].
Proof of Theorem 3.14
(i) \(\Rightarrow \) (ii) The argument is the same as in the proof of Theorem 3.3.
(ii) \(\Rightarrow \) (iii) If \(Tx \le x\), then \(({{\,\mathrm{id}\,}}T)x \ge 0\) and hence \(x \ge 0\) by the positivity of \(({{\,\mathrm{id}\,}}T)^{1}\).
(iii) \(\Rightarrow \) (iv) Assume that (iv) fails, i.e., there is a nonzero vector \(x \in X^+\) such that \(Tx \ge x\). Then \(T(x) \le x\). But as x is nonzero, the vector \(x\) is not positive; this contradicts (iii).
(iv) \(\Rightarrow \) (i) Assume that \(r(T) \ge 1\). Then we have, in particular, \(r(T) > r_{{\text {ess}}}(T)\). By the Krein–Rutman theorem—or more precisely, by the version of this theorem for operators that satisfy \(r(T) > r_{{\text {ess}}}(T)\), see for instance [44, Corollary 2.2]—it follows that \(r(T)\) is an eigenvalue of T with an eigenvector \(x \in X^+ {\setminus } \{0\}\). Hence,
which contradicts (iv).
(i) \(\Rightarrow \) (v) This is clear.
(v) \(\Rightarrow \) (vi) This is clear.
(vi) \(\Rightarrow \) (iv) Assume that there is \(x \in X^+\) such that \(x\ne 0\) and \(Tx \ge x\). By monotonicity of T we have that \(T^k x \ge x\) for all \(k \in \mathbb {Z}_+\). In view of weak attractivity, there is an unbounded monotone sequence \((n_k)_{k\in \mathbb {N}}\) such that \(T^{n_k}x\rightarrow 0\) as \(k\rightarrow \infty \). Hence \(0 = \lim _{k\rightarrow \infty }T^{n_k}x \ge x\), which implies that \(x = 0\), a contradiction. \(\square \)
Again, we note that all conditions in Theorem 3.14 can also be replaced with analogous conditions for the dual operator; this is due to the simple fact that an operator T is quasicompact if and only if its dual operator \(T'\) is quasicompact.
Remark 3.15
The equivalence of items (ii) and (iii) in Theorem 3.14 holds for the quasicompact operators T also without the assumption of the totality of the cone. The proof of the implication (ii) \(\Rightarrow \) (iii) is the same as in the proof of Theorem 3.14, so let us show the converse implication (iii) \(\Rightarrow \) (ii):
Assertion (iii) can be rephrased by saying that the operator \({{\,\mathrm{id}\,}} T\) is “inversely positive” in the sense that \(({{\,\mathrm{id}\,}}T)x \ge 0\) implies \(x \ge 0\). Let \(x \in X\) be such that \(({{\,\mathrm{id}\,}}T)x = 0\). By inverse positivity we have \(x \ge 0\). But also \(({{\,\mathrm{id}\,}}T)(x) = 0\), and thus \(x\ge 0\); so \(x = 0\), which means that \({{\,\mathrm{id}\,}} T\) is injective.
Since T is quasicompact, the operator \({{\,\mathrm{id}\,}}T\) is a Fredholm operator of index 0 (this follows, for instance, from [23, Theorem XI.5.2] and from the fact that the Fredholm index is constant on connected sets [23, Theorem XI.4.1]). Hence, \({{\,\mathrm{id}\,}}T\) is actually bijective. Since \(({{\,\mathrm{id}\,}}T)x \ge 0\) implies \(x \ge 0\), the inverse \(({{\,\mathrm{id}\,}}T)^{1}\) is positive. \(\square \)
Without the assumption \(r_{{\text {ess}}}(T) < 1\), none of the conditions (iii) or (iv) in Theorem 3.14 is sufficient to ensure that \(r(T) < 1\). Here are simple counterexamples:
Example 3.16
Let X denote the Banach lattice \(C_b([0,+\infty ))\) of bounded continuous functions with pointwise order (compare Example 2.3), and let \(T: X \rightarrow X\) be given for each \(f \in X\) by
Then T is positive, has spectrum [0, 1] and hence spectral radius 1; but T satisfies condition (iii), as well as the property \((T(x))(s) < x(s)\) for all \(x\in X^+\) and \(s\ge 0\), which is a stronger property than the smallgain condition (iv) in Theorem 3.14.
The theorem is not applicable since the essential spectral radius of T is equal to 1. Also note that \(Tx \not \ll x\) for all \(x\in X^+\).
Example 3.17
Consider the Banach lattice \(X:=\ell _\infty \), ordered by its usual cone [see Example 2.1(a)]. Recall that the cone \(X^+\) is normal (as it is in every Banach lattice) and has nonempty interior. We consider the system
where R is the right shift on X, i.e., R acts on \(x=(x_0,x_1,x_2,\ldots ) \in \ell _\infty \) as \(Rx:=(0,x_0,x_1,x_2,\ldots )\). Clearly, R is a positive operator in \(\mathcal {L}(X)\).
Consider an arbitrary strictly positive diagonal operator \(D \in \mathcal {L}(X)\), defined for \(x := (x_i)_{i\in \mathbb {Z}_+} \in X\) by \(Dx:=(d_i x_i)_{i\in \mathbb {Z}_+}\), where \((d_i)_{i\in \mathbb {Z}_+}\) is a sequence of a real numbers that satisfy \(0 < d_i \le M\) for a fixed constant \(M > 0\) and all indices \(i\in \mathbb {Z}_+\).
Let \(x=(x_1,x_2,\ldots ) \in X^+ {\setminus } \{0\}\) and let i be the index of the first nonzero component of x (which is welldefined and finite as \(x\in X^+\) and \(x\ne 0\)). Then the components of \(2R(I+D)x\) with indices \(j=0,\ldots ,i\) are equal to 0. This shows that
which implies socalled strong smallgain condition for the operator 2R used in e.g. [12, p. 11], [10, 39]; in particular, this implies the smallgain condition for \(T:=2R\) in Theorem 3.14(iv).
The strong smallgain condition says that there are positive perturbations of the operator, under which the operator still satisfies the smallgain condition in Theorem 3.14(iv). In this way it resembles the robust smallgain condition in Theorem 3.3(v), but note that while in the robust smallgain condition the operator is being disturbed by arbitrary additive small enough perturbations, in the strong smallgain condition above the operator is disturbed by multiplicative perturbations of a specific form.
However, R is not quasicompact, and thus Theorem 3.14 is not applicable. In fact, R is an isometry as \(\Vert Rx \Vert = \Vert x \Vert \) for each \(x \in X\). Thus, also \(\Vert (2R)^kx \Vert = 2^k\Vert x \Vert \rightarrow \infty \) as \(k\rightarrow \infty \) provided that \(x\ne 0\). This also shows that the robust smallgain condition is much stronger than the strong smallgain condition.
Finally, note (see e.g. [29, Example B.7]) that \(\sigma (2R) = \overline{B(0,2)}\), where B(0, 2) is the open ball of radius 2 with the center at 0 in the complex plane; at the same time the point spectrum of 2R is empty (which already implies that the claim of Krein–Rutman theorem does not hold for 2R).
Stability for discretetime linear systems: a brief tour
In this section, we give a brief overview of various known criteria for uniform exponential stability of discretetime linear systems without any positivity assumptions. Besides comprising many important uniform stability criteria, which are currently scattered throughout the research papers, this section aims to present sufficient context for the novel results of the previous section. We refer to Eisner [14] for many results about stability properties which are weaker than uniform exponential stability, such as Lyapunov stability (or power boundedness), strong stability, weak stability, almost weak stability, etc.
Strong and weak convergence with rates
Let us briefly remark that there are also weaker stability properties of the system (3.1) than those listed in Proposition 3.2. One of these properties is made precise in the following definition:
Definition 4.1
Let X be a Banach space and let \(T \in \mathcal {L}(X)\). The system (3.1) is called strongly stable if \(T^k x \rightarrow 0\) as \(k \rightarrow \infty \) for each \(x \in X\).
It is easy to find examples of systems (3.1) which are strongly stable but not uniformly exponentially stable. For instance, this happens if we set \(X = \ell _2\) and define \(T \in \mathcal {L}(X)\) by
for each \(f =(f_n)_n \in \ell _2\), where \((\alpha _n)_{n \in \mathbb {Z}_+}\) is a sequence in [0, 1) converging to 1.
On the other hand, if the convergence of \(T^kx\) to 0 is subject to a certain rate, this already implies uniform stability, as explained in the following proposition.
Proposition 4.2
Let X be a Banach space and let \(T \in \mathcal {L}(X)\). The following assertions are equivalent:

(i)
The system (3.1) satisfies the equivalent criteria of Proposition 3.2, i.e., we have \(r(T) < 1\).

(ii)
There exists a sequence of real numbers \(0 \le a_k \rightarrow 0\) with the following property: for each \(x \in X\) we can find a real number \(c \ge 0\) such that
$$\begin{aligned} \Vert T^k x \Vert \le c a_k \quad \text {for all } k \in \mathbb {Z}_+. \end{aligned}$$ 
(iii)
There exists an integrability index \(p \in [1,\infty )\) such that \(\sum _{k=0}^\infty \Vert T^k x \Vert ^p < \infty \) for each \(x \in X\).

(iv)
There exists a nondecreasing function \(\alpha : \mathbb {R}_+ \rightarrow \mathbb {R}_+\) which is strictly positive on \((0,\infty )\) such that
$$\begin{aligned} \sum _{k=0}^\infty \alpha (\Vert T^k x \Vert ) < \infty \end{aligned}$$(4.1)for each \(x \in X\) of norm at most 1.
Proof
(i) \(\Rightarrow \) (ii) This is obvious; just take \(a_k = \Vert T^k \Vert \).
(ii) \(\Rightarrow \) (i) We may assume that \(a_k \not = 0\) for each k. Then the sequence \((T^k/a_k)_{k \in \mathbb {Z}_+}\) is bounded in operator norm due to the uniform boundedness principle, and hence the sequence \((T^k)_{k \in \mathbb {Z}_+}\) converges to 0 with respect to the operator norm.
(i) \(\Rightarrow \) (iii) This follows immediately from the uniform exponential stability of T.
(iii) \(\Rightarrow \) (iv) This implication is obvious.
(iv) \(\Rightarrow \) (i) This result can be found—under even weaker assumptions—in [52, Theorem 0.1(i)]. \(\square \)
The equivalence between items (i) and (iii) in Proposition 4.2 is known as DatkoPazy lemma.
The conditions for uniform stability in Proposition 4.2 can actually be further weakened: it suffices if we replace either the strong convergence that takes place with respect to a rate in assertion (ii), the pintegrability of the orbits in assertion (iii), or the summability condition in assertion (iv), with corresponding weak properties—where weak means that we test against functionals. Results of this type can, for instance, be found in [19, 42, 52]. Thus, one also obtains a characterisation of \(r(T) < 1\) in terms of certain weak stability properties of the operator T.
We finally note that, if \((X,X^+)\) is an ordered Banach space with a generating cone, then assertions (ii) and (iii) in Proposition 4.2 are clearly equivalent to the same conditions for vectors \(x \in X^+\) only.
Lyapunov functions
Lyapunov functions are an important tool for stability analysis. For their discussion, it is convenient to introduce the following classes of comparison functions. We say that \(\alpha :\mathbb {R}_+\rightarrow \mathbb {R}_+\) belongs to \(\mathcal {K}\) if \(\alpha (0)=0\), \(\alpha \) is strictly increasing and continuous. We say that \(\alpha \in \mathcal {K_\infty }\) if \(\alpha \in \mathcal {K}\) and \(\alpha (r)\rightarrow \infty \) as \(r\rightarrow \infty \) (i.e., \(\alpha \) is a homeomorphism on \(\mathbb {R}_+\)).
Definition 4.3
Let X be a Banach space and let \(T \in \mathcal {L}(X)\). A function \(V:X \rightarrow \mathbb {R}_+\) is called a Lyapunov function for the system (3.1) if there are \(\psi _1, \psi _2 \in \mathcal {K_\infty }\), and \(\alpha \in \mathcal {K}\) such that the inequalities
hold for each \(x \in X\).
Lyapunov functions can be used to characterize uniform stability. For linear discretetime systems, even a weaker version of a Lyapunov function suffices for this purposes, as the following proposition shows:
Proposition 4.4
Let X be a Banach space and \(T\in \mathcal {L}(X)\). The following assertions are equivalent:

(i)
The system (3.1) satisfies the equivalent criteria of Proposition 3.2, i.e., we have \(r(T) < 1\).

(ii)
There is an equivalent norm \(\Vert \mathord {\,\cdot \,} \Vert _{{\text {equ}}}\) on X such that T is a strict contraction with respect to \(\Vert \mathord {\,\cdot \,} \Vert _{{\text {equ}}}\), i.e., there is a number \(a\in [0,1)\) such that
$$\begin{aligned} \Vert Tx \Vert _{{\text {equ}}} \le a \Vert x \Vert _{{\text {equ}}} \end{aligned}$$for all \(x \in X\).

(iii)
There is a Lyapunov function for the system (3.1).

(iv)
There is a function \(V: X \rightarrow \mathbb {R}_+\) and a function \(\alpha \in \mathcal {K}\) such that
$$\begin{aligned} V(Tx)  V(x) \le \alpha (\Vert x \Vert ) \end{aligned}$$for each \(x \in X\).
Note that, in case that condition (ii) in the above proposition is satisfied, then the norm \(\Vert \mathord {\,\cdot \,} \Vert _{{\text {equ}}}\) is actually a Lyapunov function for the system (3.1).
Proof of Proposition 4.4
(i) \(\Rightarrow \) (ii) This is a wellknown argument: choose a real number \(s > 1\) such that the operator sT still satisfies the equivalent conditions of Proposition 3.2. Then we can define the desired equivalent norm on X by
for each \(x \in X\). Indeed, the operator sT has operator norm at most 1 with respect to this new norm, so T is a strict contraction.
(ii) \(\Rightarrow \) (iii) This is clear since the equivalent norm \(\Vert \mathord {\,\cdot \,} \Vert _{{\text {equ}}}\) in (ii) is itself a Lyapunov function.
(iii) \(\Rightarrow \) (iv) This is obvious.
(iv) \(\Rightarrow \) (i) For each \(n \in \mathbb {N}\) and each \(x \in X\) we obtain from (iv)
and hence,
Thus, we have \(\sum _{k=0}^\infty \alpha (\Vert T^k x \Vert ) < \infty \) for each \(x \in X\). By Proposition 4.2, this implies that \(r(T) < 1\). \(\square \)
The following remark sheds some additional light on the proof of the implication (iv) \(\Rightarrow \) (i) in the previous proposition.
Remark 4.5
If \(\alpha \in \mathcal {K}\) is such that \(\sum _{k=0}^\infty \alpha (\Vert T^k x \Vert ) < \infty \) holds for all \(x \in X\) (as in the above proof) then, conversely, a function \(V:X\rightarrow \mathbb {R}_+\) as in Proposition 4.4(iv) can in fact be constructed by means of the formula
For this function V one even has \(V(Tx)  V(x) = \alpha (\Vert x \Vert )\) for all \(x\in X\).
We note that condition (iii) implies Proposition 3.2(ii) even for nonlinear systems; it can be extended also to nonlinear systems with inputs within the inputtostate stability approach, see, e.g., [30] for the finitedimensional argument, which is however absolutely analogous for infinitedimensional systems.
If X is a Hilbert space, Lyapunov functions can be constructed by solving the Lyapunov equation:
Proposition 4.6
Let X be a Hilbert space. Then \(r(T)<1\) if and only if there exists a positive semidefinite operator \(Q \in \mathcal {L}(X)\) satisfying the Lyapunov equation
In this case, \(V:x \mapsto \left\langle Qx, x \right\rangle \) is a quadratic Lyapunov function for (3.1).
Proof
The proof of the equivalence can be found for instance in [14, Theorem 6.1].
Furthermore, due to the Lyapunov equation (4.2) we have
for each \(x \in X\). The dissipation inequality is easy to check, too: we have
Hence, V is indeed a Lyapunov function. \(\square \)
Since the main purpose of our paper is to study stability of positive systems, we find it worthwhile to point out that, if the underlying space is a Banach lattice and the operator T is positive, then the new norm in the Lyapunovtype condition in Proposition 4.4(ii) can be chosen such that the Banach lattice structure is preserved:
Proposition 4.7
Let \((X,X^+)\) be a Banach lattice and \(T\in \mathcal {L}(X)\) be a positive operator. The following assertions are equivalent:

(i)
The system (3.1) satisfies the equivalent criteria of Proposition 3.2, i.e., we have \(r(T) < 1\).

(ii)
There is an equivalent norm \(\Vert \mathord {\,\cdot \,} \Vert _{{\text {equ}}}\) on X with respect to which \((X,X^+)\) is again a Banach lattice and with respect to which T is a strict contraction.
Proof
(ii) \(\Rightarrow \) (i). Again, this is obvious.
(i) \(\Rightarrow \) (ii). The argument is very similar to the proof of the implication from (i) to (ii) in Proposition 4.4: We choose \(s > 1\) in the same way, but we now define
for each \(x \in X\) (note the modulus around x). It follows from the positivity of T that \(\leftTy \right \le T\lefty \right\) for each \(y \in X\); this implies that T is a strict contraction with respect to this new norm. The positivity of T also implies that \((X,X^+)\) is still a Banach lattice with respect to \(\Vert \mathord {\,\cdot \,} \Vert _{{\text {equ}}}\). \(\square \)
Systems with inputs
In this subsection we add an additive input to the discretetime system (3.1). So for a Banach space X, an operator \(T \in \mathcal {L}(X)\) and a mapping \(u: \mathbb {Z}_+ \rightarrow X\), we consider the system
We are now interested in the question how the exponential stability of undisturbed system (3.1) is related to the response of the system (4.3) on the inputs from certain function classes.
In the subsequent theorem we use the following notation: for a Banach space X and \(p \in [1,\infty ]\) we denote by \(\ell _p(\mathbb {Z}_+;X)\) the space of sequences \(x = (x_n)_{n \in \mathbb {Z}_+}\) in X for which the norm
is finite. Similarly, we use the symbol \(c_0(\mathbb {Z}_+; X)\) to denote the space of all sequences in X that converge to 0; this space is a closed subspace of \(\ell _\infty (\mathbb {Z}_+;X)\) and will thus also be endowed with the norm \(\Vert \mathord {\,\cdot \,} \Vert _\infty \).
Theorem 4.8
Let X be a Banach space and let \(T \in \mathcal {L}(X)\). Fix \(p \in [1,\infty )\). The following assertions are equivalent:

(i)
Uniform exponential stability for the system without input: the system (3.1) satisfies the equivalent criteria of Proposition 3.2, i.e., we have \(r(T) < 1\).

(ii)
Integrable input \(\Rightarrow \) integrable state: for each initial value \(x(0) \in X\) and each input \(u \in \ell _p(\mathbb {Z}_+; X)\) the solution x to the system (4.3) is also in \(\ell _p(\mathbb {Z}_+; X)\).

(iii)
Integrable input \(\Rightarrow \) integrable state for initial value 0: for each input \(u \in \ell _p(\mathbb {Z}_+; X)\) the solution x to the system (4.3) with initial value 0 is also in \(\ell _p(\mathbb {Z}_+; X)\).

(iv)
Bounded input \(\Rightarrow \) bounded state: for each initial value \(x(0) \in X\) and each input \(u \in \ell _\infty (\mathbb {Z}_+; X)\) the solution x to the system (4.3) is also in \(\ell _\infty (\mathbb {Z}_+; X)\).

(v)
Bounded input \(\Rightarrow \)bounded state for initial value 0: for each input \(u \in \ell _\infty (\mathbb {Z}_+; X)\) the solution x to the system (4.3) with initial value 0 is also in \(\ell _\infty (\mathbb {Z}_+; X)\).

(vi)
Convergent input \(\Rightarrow \) convergent state: for each initial value \(x(0) \in X\) and each input \(u \in c_0(\mathbb {Z}_+; X)\) the solution x to the system (4.3) is also in \(c_0(\mathbb {Z}_+; X)\).

(vii)
Convergent input \(\Rightarrow \) convergent state for initial value 0: For each input \(u \in c_0(\mathbb {Z}_+; X)\) the solution x to the system (4.3) with initial value 0 is also in \(c_0(\mathbb {Z}_+; X)\).

(viii)
Asymptotic gain property: there is \(C>0\) such that for each initial value \(x(0) \in X\), each input \(u \in \ell _\infty (\mathbb {Z}_+; X)\) and each number \(\varepsilon > 0\) there exists a time \(T>0\) such that the solution x to the system (4.3) satisfies
$$\begin{aligned} \Vert x(k) \Vert \le \varepsilon + C \Vert u \Vert _\infty \quad \text {for all } k\ge T. \end{aligned}$$ 
(ix)
Exponential inputtostate stability: there are numbers \(M>0\), \(a\in (0,1)\) and \(C>0\) with the following property: for each initial value \(x(0) \in X\), each input \(u \in \ell _\infty (\mathbb {Z}_+; X)\) and each \(k\in \mathbb {Z}_+\) the solution x to the system (4.3) satisfies
$$\begin{aligned} \Vert x(k) \Vert \le Ma^k\Vert x(0) \Vert + C\Vert u \Vert _\infty . \end{aligned}$$
Theorem 4.8 shows in particular that the question whether assertions (ii) and (iii) hold does not depend on the choice of p.
Some of the implications in Theorem 4.8 are known, while others seem to be folklore knowledge at best. For instance, the equivalence of (i), (iii), (v) and (vii) can be found for continuoustime systems (i.e., for \(C_0\)semigroups) in [4, Theorem 5.1.2], but we do not know any reference where this is stated (and proved) for the discretetime case. Thus, both for the sake of completeness and for the convenience of the reader, we give a complete proof of Theorem 4.8. Several of the subsequent arguments are close to those in the proof of [4, Theorem 5.1.2]. The equivalence of a “ nonlinear monotone version ” of the asymptotic gain property and the inputtostate stability was shown in [48, Theorem 1] for finitedimensional nonlinear monotone discretetime systems with a continuous righthand side.
Proof of Theorem 4.8
Throughout the proof we use the abbreviation \(\mathcal {T}:= (T^k)_{k \in \mathbb {Z}_+}\), and for each sequence \(u: \mathbb {Z}_+ \rightarrow X\) we define the convolution \(\mathcal {T}* u: \mathbb {Z}_+ \rightarrow X\) by the formula
Then the solution x to the system (4.3) with input u and initial value x(0) is given by the formula
Now we can prove the claimed equivalences: we are going to show

first “(i) \(\Rightarrow \) (ii) \(\Rightarrow \) (iii) \(\Rightarrow \) (i)”,

then “(i) \(\Rightarrow \) (iv) \(\Rightarrow \) (v)”,

then “(i) \(\Rightarrow \) (vi) \(\Rightarrow \) (vii)”,

then “(v) or (vii) \(\Rightarrow \) (i)”,

and finally “(i) \(\Rightarrow \) (ix) \(\Rightarrow \) (viii) \(\Rightarrow \) (vii)”.
(i) \(\Rightarrow \) (ii) Let \(u \in \ell _p(\mathbb {Z}_+;X)\). Since \(\Vert T^k \Vert \) decays exponentially, the first summand in the solution formula (4.4) is in \(\ell _p(\mathbb {Z}_+;X)\).
As \(\left( \Vert T^k \Vert \right) _{k \in \mathbb {Z}_+} \in \ell _1\), it follows from Young’s inequality for convolutions of scalarvalued sequences (see [4, Proposition 1.3.2] for an analogous result for measurable functions) that
which implies that \(\mathcal {T}* u \in \ell _p(\mathbb {Z}_+; X)\) .
(ii) \(\Rightarrow \) (iii) This implication is obvious.
(iii) \(\Rightarrow \) (i) Fix \(y \in X\). We are going to show that the orbit \((T^k y)_{k \in \mathbb {Z}_+}\) is in \(\ell _p(\mathbb {Z}_+; X)\), which implies assertion (i) according to Proposition 4.2(iii).
To this end, set \(u := (y,0,0,\dots ) \in \ell _p(\mathbb {Z}_+; X)\). Assertion (iii) implies that \(\mathcal {T}* u \in \ell _p(\mathbb {Z}_+; X)\), too. However, for each time \(k \in \mathbb {Z}_+\), we have
so \((T^k y)_{k \in \mathbb {Z}_+}\) is indeed in \(\ell _p(\mathbb {Z}_+; X)\).
(i) \(\Rightarrow \) (iv) This implication follows easily from the solution formula (4.4) and from the exponential decay of \(\Vert T^k \Vert \).
(iv) \(\Rightarrow \) (v) This implication is obvious.
(i) \(\Rightarrow \) (vi) This implication follows from the solution formula (4.4), the exponential decay of \(\Vert T^k \Vert \) and the fact that the convolution of a scalarvalued \(\ell _1\)sequence with a scalarvalued \(c_0\)sequence is again in \(c_0\).
(vi) \(\Rightarrow \) (vii) This implication is obvious.
“(v) or (vii) \(\Rightarrow \) (i)” Assume that property (v) or (vii) holds; we set \(E := \ell _\infty (\mathbb {Z}_+;X)\) in the former case, and \(E = c_0(\mathbb {Z}_+;X)\) in the latter. Then the linear mapping \(S: E \rightarrow E\), \(u \mapsto \mathcal {T}* u\) is welldefined, and it is bounded due to the closed graph theorem.
This has two consequences: as a first consequence, we obtain the estimate \(\Vert T^k \Vert \le \Vert S \Vert \) for each \(k \in \mathbb {Z}_+\); this follows by applying the inequality \(\Vert Su \Vert _\infty \le \Vert S \Vert \Vert u \Vert _\infty \) to all sequences of the form \(u = (y,0,0,\dots ) \in E\) (where \(y \in X\)). In particular, T is powerbounded.
The second consequence of the boundedness of S is as follows. Let us fix an integer \(k \in \mathbb {Z}_+\). Then each mapping \(v: \{0,1,\dots ,k\} \rightarrow X\) can be extended by zeros to a sequence in E, and hence obeys the estimate
For any fixed vector \(y \in X\), we apply this estimate to the mapping \(v: \{0,1,\dots , k\} \ni j \mapsto T^j y \in X\), and thus obtain
Since \(y \in X\) and \(k \in \mathbb {Z}_+\) were arbitrary, this shows that
But we already know that T is powerbounded, so it follows from the last inequality that \(\Vert T^k \Vert \rightarrow 0\) as \(k \rightarrow \infty \).
(i)\(\Rightarrow \)(ix) This follows readily from the exponential decay of \(\Vert T^k \Vert \) and the solution formula (4.4); just set \(C := \sum _{k=0}^\infty \Vert T^k \Vert \).
(ix) \(\Rightarrow \) (viii) This is clear.
(viii) \(\Rightarrow \) (vii) To indicate the dependence of the solution of (4.3) on the initial value and the input, we denote the solution at time k by \(\phi _k^u (x_0)\), where \(x_0\) is the initial value and u is the input.
Now, fix \(u \in c_0(\mathbb {Z}_+; X)\). We have to show that the sequence \(k \mapsto \phi _k^u(0)\) is in \(c_0(\mathbb {Z}_+; X)\), and in order to do so, let \(\varepsilon > 0\).
Since \(u \in c_0(\mathbb {Z}_+; X)\), there exists a time \(k_0 \in Z_0\) such that \(C \Vert u(\mathord {\,\cdot \,}+ k_0) \Vert _\infty \le \varepsilon \). For all times \(j \in \mathbb {Z}_+\) we obtain, by the cocycle property,
Due to the asymptotic gain property, the term on the right hand is, for all sufficiently large j, dominated by
Hence, the sequence \(k \mapsto \phi _k^u(0)\) is indeed in \(c_0(\mathbb {Z}_+; X)\). \(\square \)
Remark 4.9
The equivalence between \(r(T)<1\) and exponential inputtostate stability of (4.3) holds also if we substitute u by Bu, where B is a bounded linear operator from a Banach space U to X, and \(u: \mathbb {Z}_+\rightarrow U\).
But this is not the case for the other equivalences. For instance, for \(B=0\) the property (vii) reduces to the fact that 0 is an equilibrium point of the undisturbed system, which always holds for linear systems. The asymptotic gain property (viii) reduces for \(B=0\) to strong stability.
Stability radii
Having a system with inputs, one can consider the robustness of the stability with respect to structured disturbances of the dynamics of the system. A prominent role in this respect was played by the concepts of complex, real and positive stability radii [25]. A simple formula in terms of transfer functions for the computation of the complex stability radius for linear infinitedimensional discretetime systems was shown in [54, Corollary 4.5]. If the system and the structured perturbations are positive, this formula simplifies even further [18, Theorem 3.10], and moreover, for positive systems with positive structured disturbances complex, real and positive stability radii coincide [18, Theorem 3.6]. The results in [18] have been extended to socalled multiperturbations in [3]. In [32] the characterizations of spectral value sets and stability radii are obtained for linear systems with structured perturbations. These characterizations have been applied to study socalled connective stability for largescale systems. As a general reference for linear uncertain systems we refer to [26, Chapter 5].
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Note that as \({{\,\mathrm{id}\,}} T\) is invertible and bounded, then \(({{\,\mathrm{id}\,}} T)^{1}\) is closed, and since T is surjective, \(({{\,\mathrm{id}\,}} T)^{1}\) is bounded by a closed graph theorem. Thus, \(1 \in \rho (T)\) and \(({{\,\mathrm{id}\,}} T)^{1}\) is indeed a resolvent.
References
Agarwal, R.P.: Difference Equations and Inequalities: Theory, Methods, and Applications. CRC Press (2000)
Aliprantis, C.D., Tourky, R.: Cones and Duality, vol. 84. American Mathematical Society, Providence (2007)
Anh, B.T., Son, N.K.: Stability radii of positive linear systems under affine parameter perturbations in infinite dimensional spaces. Positivity 12(4), 677–690 (2008)
Arendt, W., Batty, C.J.K., Hieber, M., Neubrander, F.: VectorValued Laplace Transforms and Cauchy Problems, vol. 96, 2nd edn. Birkhäuser, Basel (2011)
Arendt, W., Chernoff, P.R., Kato, T.: A generalization of dissipativity and positive semigroups. J. Oper. Theory 8, 167–180 (1982)
Bátkai, A., Kramar Fijavž, M., Rhandi, A.: Positive Operator Semigroups. From Finite to Infinite Dimensions, vol. 257. Birkhäuser/Springer, Basel (2017)
Bhatia, N.P.: Weak attractors in dynamical systems. Bol. Sot. Mat. Mex. 11, 56–64 (1966)
Bhatia, N.P., Szegö, G.P.: Stability Theory of Dynamical Systems. Springer (2002)
Curtain, R., Zwart, H.: Introduction to InfiniteDimensional Systems Theory: A StateSpace Approach. Springer (2020)
Dashkovskiy, S., Mironchenko, A., Schmid, J., Wirth, F.: Stability of infinitely many interconnected systems. In: Proc. of the 11th IFAC Symposium on Nonlinear Control Systems (NOLCOS 2019), pp. 937–942 (2019)
Dashkovskiy, S., Rüffer, B., Wirth, F.: An ISS small gain theorem for general networks. Math. Control, Signals, Syst. 19(2), 93–122 (2007)
Dashkovskiy, S., Rüffer, B., Wirth, F.: Small gain theorems for large scale systems and construction of ISS Lyapunov functions. SIAM J. Control Optim. 48(6), 4089–4118 (2010)
Deimling, K.: Nonlinear Functional Analysis. Springer (1985)
Eisner, T.: Stability of Operators and Operator Semigroups. Birkhäuser, Basel (2010)
Emel’yanov, E.Y.: NonSpectral Asymptotic Analysis of OneParameter Operator Semigroups. Birkhäuser, Basel (2007)
Engel, K.J., Nagel, R.: OneParameter Semigroups for Linear Evolution Equations. Springer, Berlin (2000)
Farina, L., Rinaldi, S.: Positive Linear Systems: Theory and Applications, vol. 50. John, New York (2000)
Fischer, A.: Stability radii of infinitedimensional positive systems. Math. Control, Signals Syst. 10(3), 223–236 (1997)
Glück, J.: On weak decay rates and uniform stability of bounded linear operators. Arch. Math. 104(4), 347–356 (2015)
Glück, J.: Invariant sets and long time behaviour of operator semigroups. PhD Thesis, Universität Ulm (2016)
Glück, J., Weber, M.R.: Almost interior points in ordered Banach spaces and the longterm behaviour of strongly positive operator semigroups. Stud. Math. 254(3), 237–263 (2020)
Glück, J., Mironchenko, A.: Stability criteria for positive linear systems—the continuoustime case. In: Preparation (2021)
Gohberg, I., Goldberg, S., Kaashoek, M.A.: Classes of Linear Operators, Vol. I, vol. 49. Birkhäuser, Basel (1990)
Hess, P.: PeriodicParabolic Boundary Value Problems and Positivity. Longman (1991)
Hinrichsen, D., Pritchard, A.J.: Real and complex stability radii: a survey. In: Control of Uncertain Systems, pp. 119–162. Springer (1990)
Hinrichsen, D., Pritchard, A.J.: Mathematical Systems Theory I: Modelling, State Space Analysis, Stability and Robustness, Volume 48 of Texts in Applied Mathematics. Springer (2011)
Hirsch, M.W., Smith, H.: Monotone maps: a review. J. Differ. Equ. Appl. 11(4–5), 379–398 (2005)
Hirsch, M.W., Smith, H.: Monotone dynamical systems. In: Handbook of Differential Equations: Ordinary Differential Equations, vol. 2, pp. 239–357. Elsevier (2006)
Hundertmark, D., Meyries, M., Machinek, L., Schnaubelt, R.: Operator semigroups and dispersive equations. In: 16th Internet Seminar on Evolution Equations (2013)
Jiang, Z.P., Wang, Y.: Inputtostate stability for discretetime nonlinear systems. Automatica 37(6), 857–869 (2001)
Karlin, S.: Positive operators. J. Math. Mech. 8, 907–937 (1959)
Karow, M., Hinrichsen, D., Pritchard, A.J.: Interconnected systems with uncertain couplings: explicit formulae for \(\mu \)values, spectral value sets, and stability radii. SIAM J. Control Optim. 45(3), 856–884 (2006)
Kawan, C., Mironchenko, A., Swikir, A., Noroozi, N., Zamani, M.: A Lyapunovbased ISS smallgain theorem for infinite networks. Appeared Online in IEEE Transactions on Automatic Control. https://ieeexplore.ieee.org/document/9280418 (2020)
Krasnosel’skii, M.A., Lifshits, E.A., Sobolev, A.V.: Positive Linear Systems—The Method of Positive Operators—Transl. from the Russian by Jürgen Appell. Heldermann, Berlin (1989)
Krasnoselskiy, M.A.: Positive Solutions of Operator Equations. P. Noordhoff Ltd., Groningen (1964)
LaSalle, J.P.: The Stability and Control of Discrete Processes, vol. 62. Springer, New York (2012)
MeyerNieberg, P.: Banach Lattices. Springer, Berlin (1991)
Mironchenko, A.: Uniform weak attractivity and criteria for practical global asymptotic stability. Syst. Control Lett. 105, 92–99 (2017)
Mironchenko, A., Kawan, C., Glück, J.: Nonlinear smallgain theorems for inputtostate stability of infinite interconnections. Submitted (2020). arXiv:2007.05705
Mironchenko, A., Kawan, C., Noroozi, N., Zamani, M.: ISS smallgain criteria for infinite networks with linear gain functions. Submitted (2021)
Muñoz, G.A., Sarantopoulos, Y., Tonge, A.: Complexifications of real Banach spaces, polynomials and multilinear maps. Stud. Math. 134(1), 1–33 (1999)
Müller, V.: Orbits, weak orbits and local capacity of operators. Integral Equ. Oper. Theory 41(2), 230–253 (2001)
Nagel, R. (ed.): Oneparameter Semigroups of Positive Operators. Springer, Cham (1986)
Nussbaum, R.D.: Eigenvectors of nonlinear positive operators and the linear Krein–Rutman theorem. In: Fixed Point Theory, Proc. Conf., Sherbrooke/Can. 1980, Lect. Notes Math. vol. 886, pp. 309330 (1981)
Przyluski, K.M.: Stability of linear infinitedimensional systems revisited. Int. J. Control 48(2), 513–523 (1988)
Rüffer, B.: Monotone dynamical systems, graphs, and stability of largescale interconnected systems. PhD Thesis, Fachbereich 3 (Mathematik & Informatik) der Universität Bremen (2007)
Rüffer, B.S.: Monotone inequalities, dynamical systems, and paths in the positive orthant of Euclidean \(n\)space. Positivity 14(2), 257–283 (2010)
Rüffer, B.S., Sailer, R.: Inputtostate stability for discretetime monotone systems. In: Proc. 21st Int. Symp. Mathematical Theory of Networks and Systems (MTNS), pp. 96–102 (2014)
Schaefer, H.H.: Banach Lattices and Positive Operators, vol. 215. Springer, Berlin (1974)
Schaefer, H.H., Wolff, M.P.: Topological Vector Spaces, 2nd edn. Springer, New York (1999)
Stern, R.J.: A note on positively invariant cones. Appl. Math. Optim. 9, 67–72 (1982)
van Neerven, J.: Exponential stability of operators and operator semigroups. J. Funct. Anal. 130(2), 293–309 (1995)
van Neerven, J.: The Asymptotic Behaviour of Semigroups of Linear Operators, vol. 88. Birkhäuser, Basel (1996)
Wirth, F., Hinrichsen, D.: On stability radii of infinitedimensional timevarying discretetime systems. IMA J. Math. Control Inf. 11(3), 253–276 (1994)
Acknowledgements
A. Mironchenko is supported by the German Research Foundation (DFG) via the Grant MI 1886/21.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
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 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
Glück, J., Mironchenko, A. Stability criteria for positive linear discretetime systems. Positivity 25, 2029–2059 (2021). https://doi.org/10.1007/s11117021008532
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117021008532
Keywords
 Positive systems
 Discretetime systems
 Stability
 Smallgain condition
 Linear systems
Mathematics Subject Classification
 47B65
 39A06
 39A30
 93C55
 93D05