Stečkin's theorem, transference, and spectral decompositions (Q1085416)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stečkin's theorem, transference, and spectral decompositions |
scientific article |
Statements
Stečkin's theorem, transference, and spectral decompositions (English)
0 references
1987
0 references
Let Y be a closed subspace of \(L^ p(\mu)\), where \(\mu\) is an arbitrary measure and \(1<p<\infty\). It is shown that every invertible operator V on Y such that \(\sup \{\| V^ n\|:\) \(n=0,\pm 1,\pm 2,...\}<\infty\) (in particular, every surjective isometry of Y) can be expressed in the form \(V=e^{iA}\), where A is well bounded of type (B) (i.e., A has a spectral ''diagonalization'' analogous to, though weaker than, that in the spectral theorem for self-adjoint operators). This result, which fails if Y is replaced by an arbitrary reflexive space, is obtained by a blend of the transference method of Coifman and Weiss with Stečkin's theorem and a recent result in abstract operator theory. It has the direct consequence that every uniformly bounded one-parameter group on Y is the Fourier-Stieltjes transform of a projection-valued mapping of \({\mathbb{R}}\). An additional consequence is that every hermitian-equivalent operator on Y is well bounded of type (B). In the setting of an arbitrary Banach space X, power-bounded operators with a logarithm of the form iA with A well bounded of type (B) are studied. It is shown that if U is such an operator on X, then for every function f of bounded variation on the unit circle, \(\sum^{\infty}_{n=-\infty}\hat f(n)U^ n\) converges in the strong operator topology. This result, which formally is a transference by U of Stečkin's theorem, makes it possible to calculate directly from U a (normalized) logarithm for U and the spectral projections for the logarithm.
0 references
well bounded
0 references
type (B)
0 references
diagonalization
0 references
Stečkin's theorem
0 references
uniformly bounded one-parameter group
0 references
Fourier-Stieltjes transform of a projection- valued mapping
0 references
power-bounded operators
0 references
strong operator topology
0 references