Abstract
For an element a of a Banach algebra (scaled to spectral radius 1) we prove that the spectral radius is contained in the spectrum, if the sequence of powers \((a^k)\) is asymptotically not too far from a normal cone.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we give sufficient conditions for the property \(r(a)\in \sigma (a)\) where a is an element of a Banach algebra \(\mathcal{A}\) with spectrum \(\sigma (a)\) and spectral radius r(a). That the spectral radius belongs to the spectrum is an aspect of what is usually subsumed under the term “Perron–Frobenius theory”, classically for positive matrices on \(\mathbb {R}^n\) or positive linear operators on Banach lattices. More general, we consider here elements of a Banach algebra that is ordered by a cone. We fix the relevant notation.
Let \(\mathcal{A}\) be a complex Banach algebra with unit \(\textbf{1}\). A set \(\emptyset \not = K \subseteq \mathcal{A}\) is called a cone if K is closed, \(K+K \subseteq K\), \(\lambda K \subseteq K\) \((\lambda \ge 0)\) and \(K \cap (-K) = \{0\}\). By setting \(a \le b\) \(:\Leftrightarrow \) \(b-a \in K\) we obtain a partial order on \(\mathcal{A}\).
In the following we always assume that K is a normal cone, that is
and we fix a \(\gamma \) with this property.
Following the notation in Raubenheimer and Rode [10] we call K an algebra cone if K satisfies in addition \(\textbf{1} \in K\) and
In contrast to the usual definition of ordered Banach algebras we do not assume in general that K is an algebra cone, that is in our setting \(\mathcal{A}\) is a Banach algebra and \(\mathcal{A}\) is an ordered Banach space.
The problem of developing a Perron–Frobenius theory in Banach algebras ordered by a cone that is not fully invariant under multiplication was also addressed by Mouton and Muzundu in [7, 9]: In a Commutatively Ordered Banach Algebra (COBA) one only assumes that \(\textbf{1} \in K\) and that
This includes the important special case of a \(C^*\)-algebra ordered by the cone of positive semidefinite self-adjoint elements.
Let \(\sigma (a)\), \(\rho (a)\) and r(a) denote the spectrum, resolvent set and spectral radius of \(a \in \mathcal{A}\), respectively. For \(r(a)>0\), the property \(r(a)\in \sigma (a)\) is invariant under scaling and we can always resort to \(r(a)=1\) by considering a/r(a). Following the notation in [4] also in our setting, we call \(a \in \mathcal{A}\) asymptotically positive if \(r(a)> 0\) and
Let us call a condition C(a) a Perron–Frobenius condition if C(a) implies \(r(a)\in \sigma (a)\) for all \(a \in \mathcal{A}\) with \(r(a)>0\). Note that \(C(a)=\)[\(a \in K\) for a normal cone K] is not a Perron–Frobenius condition, as can be seen by the trivial example \(\mathcal{A}=\mathbb {C}\), \(K=\{\lambda i: \lambda \ge 0\}\) and \(a=i\).
There are many known Perron–Frobenius conditions in matrix algebras, operator algebras and Banach algebras. Without claiming completeness we refer to
-
1.
\(C(a)=[a\ge 0]\), i.e. a is positive, for general Banach algebras ordered by an algebra cone, see Raubenheimer and Rode [10, Theorem 5.2],
-
2.
\(C(a)=[\exists k_0 \forall k \ge k_0: a^k \ge 0]\), i.e. a is eventually positive, for matrix algebras ordered by the cone of matrices with nonnegative entries, see Chaysri and Noutsos [2, Theorem 2.5],
-
3.
\(C(a)=[\lim _{k \rightarrow \infty } d_k(a)= 0]\), i.e. a is asymptotically positive, for operator algebras on ordered Banach lattices, see Glück [4, Theorem 4.1],
-
4.
\(C(a)=[\lim _{k \rightarrow \infty } \sqrt{k}d_k(a)= 0]\), i.e. a is asymptotically positive with a rate of convergence, for general Banach algebras ordered by an algebra cone, see [5],
and the references given in the cited literature. Note that the setting in [5] comprises the one in [4].
For a survey on spectral theory in ordered Banach algebras we refer to the paper of Mouton and Raubenheimer [8].
Our main result generalizes the above mentioned results from [4] and [5] in two ways. First, we relax the condition that K is an algebra cone, which already gives a new result for the matrix case. Second, we relax the condition of asymptotic positivity by showing that \(C(a)=[\limsup _{k \rightarrow \infty } d_k(a)\) is “sufficiently small”] is a Perron–Frobenius condition in our setting.
2 Results
Theorem 1
Let \(a \in \mathcal {A}\) with \(r(a)>0\) such that
Then \(r(a)\in \sigma (a)\).
Remark 1
An inspection of the proofFootnote 1 shows, that the weaker but less manageable condition on Abel means of the sequence \((d_k(a))_{k \in \mathbb {N}_0}\),
is still sufficient for \(r(a) \in \sigma (a)\). This condition is weaker by Lemma 3.
Aiming at optimality of the constant in Remark 1 we can define \(\tau (\mathcal{A})\) as the maximum of all \(\tau >0\) such that
Remark 1 shows \(\tau (\mathcal{A}) \ge (\pi \gamma +1)^{-1}\). For \(a= -\textbf{1}\) we have \(1=r(a) \notin \sigma (a)=\{-1\}\) and, for any cone K, we have \(\text{ dist }(\pm \textbf{1},K)\le 1\), hence \(AM(-\textbf{1}) \le 1\). This gives the trivial bound \(\tau (\mathcal{A}) \le 1\). If either \(\textbf{1} \in K\) or \(-\textbf{1} \in K\), then
is alternatingly 0 and \(\le 1\). Thus \(AM(-\textbf{1}) \le 1/2\) and we have \(\tau (\mathcal{A}) \le 1/2\).
As an introductory example consider the matrix-algebra \(\mathcal{A}=\mathbb {C}^{m \times m}\) endowed with the row-sum norm \(\Vert \cdot \Vert _\infty \) and ordered by the algebra cone \(K:= [0,\infty )^{m \times m}\) of all matrices with nonnegative entries. Here \(\gamma =1\). Thus, for \(A \in \mathbb {C}^{m \times m}\), Theorem 1 reads
and we have
For the matrix
we have \(\sigma (A)=\{-1,0\}\) and \(d_k(A)=1/2\) \((k \in \mathbb {N})\). Hence
In case \(m=1\) we have for \(a \in \mathbb {C}\) that \(r(a)=1\) if and only if \(a=e^{it}\) for some \(t \in [0,2\pi )\). For \(t \in (0,2\pi )\) one can check that
In particular \(\tau (\mathbb {C})=1/2\).
The matrix
is an example where, in this setting, A is not asymptotically positive but Theorem 1 applies. We have
thus
and \(1 \in \sigma (A)\).
3 Proof
We will use the following lemmas. For Lemma 1 see, e.g., [1, Theorem 3.3.5.]. A result related to Lemma 2, though with the worse constant \(4\gamma \), can be found in the preprint [6, Lemma 4.6] by Huang, Jaffe, Liu, and Wu.
Lemma 1
Let \(a \in \mathcal {A}\). Then
Lemma 2
Let \((a_k)_{k \in \mathbb {N}_0}\) and \((\lambda _k)_{k \in \mathbb {N}_0}\) be sequences in K and \(\mathbb {C}\), respectively, such that the series
is absolutely convergent. Then we have
Proof
W.l.o.g. we may first assume \(\lambda _k \not =0\) \((k \in \mathbb {N}_0)\) and then \(|\lambda _k| =1\) \((k \in \mathbb {N}_0)\) since the modulus of \(\lambda _k\) can be absorbed into the vector \(a_k\). Set \(S^1:= \{z \in \mathbb {C}:|z|=1\}\) and let \(h: S^1 \rightarrow \mathbb {R}\) be defined as
First note that
Thus, for \(l \ge 0\),
Now \(l \rightarrow \infty \) proves the desired inequality. \(\square \)
Lemma 3
Let \((t_n)_{n \in \mathbb {N}}\) be a sequence in \((1,\infty )\) with limit 1, and let \((\beta _k)_{k \in \mathbb {N}_0}\) be a bounded sequence in \([0, \infty )\) and \(s:=\limsup _{k \rightarrow \infty } \beta _k\). Then
Proof
Let \(\varepsilon > 0\). Then we find \(k_0 \in \mathbb {N}_0\) such that \(\beta _k < s + \varepsilon \) \((k > k_0)\). Thus, for \(n \in \mathbb {N}\),
We obtain
and \(\varepsilon \rightarrow 0+\) proves the assertion. \(\square \)
Proof of Theorem 1
We may assume \(r(a)=1\). Let \(\lambda _0 \in \sigma (a)\) with \(|\lambda _0|=1\). By assumption there is a sequence \((b_k)_{k \in \mathbb {N}_0}\) in \(\mathcal {A}\) such that \(a^k+b_k \ge 0\) \((k \in \mathbb {N}_0)\) and
For \(|\lambda | > 1\) we have
We choose a sequence \((t_n)\) in \((1,\infty )\) with limit 1. Now Lemma 2 yields
By Lemma 3 with \(\beta _k:= \Vert b_k\Vert \) \((k \in \mathbb {N}_0)\) we have
Moreover, by Lemma 1,
If we now assume that \(1 \notin \sigma (a)\) we obtain
a contradiction. \(\square \)
4 Applications
1. Let \(\mathcal{A}\) be a Banach algebra and let \(\phi :\mathcal{A} \rightarrow \mathbb {C}\) be a continuous linear functional on \(\mathcal{A}\) (with \(\Vert \phi \Vert \ge 1\) to avoid the trivial case). Then
is a normal cone with \(\gamma =\Vert \phi \Vert \). By application of Theorem 1 we get the following corollaries.
Corollary 1
Let \(a \in \mathcal{A}\) with \(r(a)=1\). If there exists a sequence \((c_k)\) in \(\mathcal{A}\) and \(k_0 \in \mathbb {N}\) with
then \(1 \in \sigma (a)\).
A special case of the situation in Corollary 1 is that \((a^k)\) is eventually in K. Then we can eventually choose \(c_k=a^k\), and obtain:
Corollary 2
Let \(a \in \mathcal{A}\) with \(r(a)=1\). If
then \(1 \in \sigma (a)\).
2. Let \(\mathcal{A}\) be a \(C^*\)-algebra and let
Then K is a normal cone with \(\gamma =1\) [3, 1.6.9] and we have the following.
Corollary 3
Let \(a \in \mathcal{A}\) with \(r(a)=1\). If
then \(\sigma (a) \cap \{-1,1\} \not = \emptyset \).
Proof
Since \((b+b^*)^2 \ge 0\) for each \(b \in \mathcal{A}\) we have
Application of Theorem 1 to \(a^2\) yields \(1 \in \sigma (a^2)\), hence \(\sigma (a) \cap \{-1,1\} \not = \emptyset \). \(\square \)
Remark 2
Of course, other quite natural assumptions are possible, such as
or
However, numerical experiments with random matrices indicate that the assumption in Corollary 3 is fulfilled more easily.
3. Let \(a \in \mathcal{A}\) with \(r(a)=1\). Assume that \(\{a^k:k \in \mathbb {N}\}\) is relatively compact, and that the sequence \((a^k)\) has a finite number of accumulation points \(b_1,\dots , b_m\) which are linearly independent. To apply Theorem 1 set
Then K is a cone since \(b_1,\dots , b_m\) are linearly independent, and K is normal since it is contained in a finite dimensional subspace of \(\mathcal{A}\). Now a is asymptotically positive with respect to this cone, hence \(1 \in \sigma (a)\). Without the assumption of linear independence this is trivially wrong as can be seen by considering \(a=-\textbf{1}\).
Data availability
No datasets were generated or analysed during the current study.
Notes
Look at the very end of the proof.
References
Aupetit, B.: A Primer on Spectral Theory. Universitext. Springer-Verlag, New York (1991)
Chaysri, T., Noutsos, D.: On the Perron–Frobenius theory of \(M_v\)-matrices and equivalent properties to eventually exponentially nonnegative matrices. Electron. J. Linear Algebra 35, 424–440 (2019)
Dixmier J.: \(C^\ast \)-algebras. North-Holland Math. Library, Vol. 15 North-Holland Publishing Co., Amsterdam-New York-Oxford, (1977)
Glück, J.: Towards a Perron–Frobenius theory for eventually positive operators. J. Math. Anal. Appl. 453, 317–337 (2017)
Herzog, G., Kunstmann, P.: Eventually positive elements in ordered Banach algebras. Comment. Math. Univ. Carolin. 64, 321–330 (2023)
Huang L., Jaffe A., Liu Z., Wu J.: The Quantum Perron–Frobenius Space. https://arxiv.org/abs/2305.18971v2
Mouton, S., Muzundu, K.: Commutatively ordered Banach algebras. Quaest. Math. 36, 559–587 (2013)
Mouton, S., Raubenheimer, H.: Spectral theory in ordered Banach algebras. Positivity 21, 755–786 (2017)
Muzundu K.: Spectral Theory in Commutatively Ordered Banach Algebras. PhD Thesis, Stellenbosch University (2012)
Raubenheimer, H., Rode, S.: Cones in Banach algebras. Indag. Math. 7, 489–502 (1996)
Acknowledgements
The authors thank Sebastian Ohrem for an improvement of the constant in the inequality in Lemma 2, and the unknown reviewers for careful reading of the manuscript and useful comments that helped to improve the paper.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
G.H. and P.K. contributed equally to this work.
Corresponding authors
Ethics declarations
Conflict of interest
The authors declare no competing interests.
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
Herzog, G., Kunstmann, P. A Perron–Frobenius type result in Banach algebras via asymptotic closeness to a cone. Positivity 28, 45 (2024). https://doi.org/10.1007/s11117-024-01062-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11117-024-01062-3