Search arXivSearch

arXiv · 2501.02769

Spectral decomposition of power-bounded operators: The finite spectrum case

Abstract

In this paper, we investigate power-bounded operators, including surjective isometries, on Banach spaces. Koehler and Rosenthal asserted that an isolated point in the spectrum of a surjective isometry on a Banach space lies in the point spectrum, with the corresponding eigenspace having an invariant complement. However, they did not provide a detailed proof of this claim, at least as understood by the authors of this manuscript. Here, by applications of a theorem of Gelfand and the Riesz projections, we demonstrate that the theorem of Koehler and Rosenthal holds for any power-bounded operator on a Banach space. This not only furnishes a detailed proof of the theorem but also slightly generalizes its scope. As a result, we establish that if $T: X \to X$ is a power-bounded operator on a Banach space $X$ whose spectrum consists of finitely many points ${λ_1, λ_2, \dots, λ_m}$, then for every $1 \leq i, j \leq m$, there exist projections $P_j$ on $X$ such that $P_iP_j=δ_{ij}P_i$, $\sum_{j=1}^mP_j=I$, and $T=Σ_{j=1}^m λ_j P_j$. It follows that such an operator $T$ is an algebraic operator.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shiho Oi, Jyamira Oppekepenguin. 2025-01-06. Spectral decomposition of power-bounded operators: The finite spectrum case. https://arxiv.org/abs/2501.02769

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Metric Poincaré type inequalities and lower bounds on the infimum of the spectrum for graphs

We study metric Poincaré type inequalities on general graphs. We characterize graphs satisfying such inequalities and then turn to the best constants in these inequalities. Invoking suitable metrics we can interpret these constants geometrically as diameters and inradii. Moreover, we can relate them to spectral theory of Laplacians once a probability measure on the graph is chosen. More specifically, we obtain a variational characterization of these constants as infimum over spectral gaps of all Laplacians on the graphs associated to probability measures

math.FA

Natural methods of unsupervised topological alignment

In this paper, we consider methods for the diagonal multi-omics integration of heterogeneous datasets. Several approaches to the nature of biological heterogeneity are analyzed and developed to comprehend more clearly the generated differences. Specifically, the extremal trace problems for the coupled Laplacian on sets homeomorphic to the Stiefel manifold embedded in the complex Euclidean space are investigated. The gradient ascent method for the maximization problem is elaborated in the classical terms of functional analysis, which is of significant interest in itself. On this basis, we introduce a novel characteristic of dataset heterogeneity by employing the norm of the difference between the maximum and minimum points.

math.FA

On Toeplitz operators on compact Abelian groups and discrete Wiener--Hopf operators

This paper introduces the concept of a rotation number for a continuous, non-degenerate two-dimensional vector field (a zero-free complex-valued function) on a compact connected Abelian group. This concept generalizes the notion of a finite rotation number for such groups, previously introduced by the author. Using this concept, a Gohberg-Krein index formula is derived for semi-Fredholm Toeplitz operators with continuous symbols defined on such groups. Criteria for these operators to be semi-Fredholm are established, and their essential spectra are described. As a by-product for the continuous symbol case, conditions for Fredholmness and semi-Fredholmness are established, and the Fredholm index of Wiener-Hopf operators over a linearly ordered discrete Abelian group is calculated in terms of their symbols. Spectral properties-including the spectra and essential spectra-of the Wiener-Hopf operators under consideration are also described.

math.FA