Some Sharp Norm Estimates in the Subspace Perturbation Problem

We discuss the spectral subspace perturbation problem for a self-adjoint operator. Assuming that the convex hull of a part of its spectrum does not intersect the remainder of the spectrum, we establish an a priori sharp bound on variation of the corresponding spectral subspace under off-diagonal perturbations. This bound represents a new, a priori, tan Θ Theorem. We also extend the Davis–Kahan tan 2Θ Theorem to the case of some unbounded perturbations.     

Browder’s Theorems through Localized SVEP

A bounded linear operator T ∈ L(X) on aBanach space X is said to satisfy “Browder’s theorem” if the Browder spectrum coincides with the Weyl spectrum. T ∈ L(X) is said to satisfy “a-Browder’s theorem” if the upper semi-Browder spectrum coincides with the approximate point Weyl spectrum. In this note we give several characterizations of operators satisfying these theorems. Most of these characterizations are obtained by using a localized version of the single-valued extension property of T. In the last part we shall give some characterizations of operators for which “Weyl’s theorem” holds.     

Weyl’s Theorems for Some Classes of Operators

We introduce the class of operators on Banach spaces having property (H) and study Weyl’s theorems, and related results for operators which satisfy this property. We show that a- Weyl’s theorem holds for every decomposable operator having property (H). We also show that a-Weyl’s theorem holds for every multiplier T of a commutative semi-simple regular Tauberian Banach algebra. In particular every convolution operator T_μ of a group algebra L¹(G), G a locally compact abelian group, satisfies a-Weyl’s theorem. Similar results are given for multipliers of other important commutative Banach algebras.     

On a Theorem of Godefroy and Shapiro

G. Godefroy and J. H. Shapiro have shown that every operator on , that commutes with all translation operators , and that is not a scalar multiple of the identity is hypercyclic. We show that they are even frequently hypercyclic. In addition, we obtain growth conditions that may be satisfied by corresponding frequently hypercyclic entire functions.     

On the essential approximate point spectrum of operators

If belongs to the essential approximate point spectrum of a Banach space operatorTB(X) and is a sequence of positive numbers with lim ^j a _j =0, then there existsxX such that for every polynomialp. This result is the best possible — if for some constantc>0 thenT has already a non-trivial invariant subspace, which is not true in general.     

The spectral picture and the closure of the similarity orbit of strongly irreducible operators

An operator on a complex, separable, infinite dimensional Hilbert space is strongly irreducible if it does not commute with any nontrivial idempotent. This article answers the following questions of D. A. Herrero: (i) Given an operatorT with connected spectrum, can we find a strongly irreducible operatorL such that they have same spectral picture? (ii) When we use a sequence of irreducible operators to approximateT, can the approximation be the “most economic”? i.e., does there exist a strongly irreducible operatorL such thatT ∈S(L) ^? (the closure of the similarity orbit ofL)? It is shown that the answer for the two questions is yes.     

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain where denotes the unit disk and denotes the closed disk centered at with radius r _j for j = 1, . . . , n. We show that if T is a bounded linear operator on a Banach space X whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded, then there exists a nontrivial common invariant subspace for T ^* and (T − λ _j I)^*-1.     

On the Existence of Solutions to the Operator Riccati Equation and the tan Θ Theorem

Let A and C be self-adjoint operators such that the spectrum of A lies in a gap of the spectrum of C and let d > 0 be the distance between the spectra of A and C. Under these assumptions we prove that the best possible value of the constant c in the condition guaranteeing the existence of a (bounded) solution to the operator Riccati equation XA–CX+XBX = B* is equal to We also prove an extension of the Davis-Kahan tan theorem and provide a sharp estimate for the norm of the solution to the Riccati equation. If C is bounded, we prove, in addition, that the solution X is a strict contraction if B satisfies the condition and that this condition is optimal.     

Eigenfunctions of the hyperbolic composition operator

Letu inH ² be zero at one of the fixed points of a hyperbolic Möbius transform of the unit diskD. We will show, under some additional conditions onu, that the doubly cyclic subspaceS _u =V _n=– C ⁿ u contains nonconstant eigenfunctions of the composition operatorC . This implies that the cyclic subspace generated byu is not minimal. If there is an infinite dimensional minimal invariant subspace ofC (which is equivalent to the existance of an operator with only trivial invariant subspaces), then it is generated by a function with singularities at the fixed points of .     

Sesquitransitive and Localizing Operator Algebras

An algebra of operators on a Banach space X is said to be transitive if X has no nontrivial closed subspaces invariant under every member of the algebra. In this paper we investigate a number of conditions which guarantee that a transitive algebra of operators is “large” in various senses. Among these are the conditions of algebras being localizing or sesquitransitive. An algebra is localizing if there exists a closed ball B ∌ 0 such that for every sequence (x _n ) in B there exists a subsequence and a bounded sequence (A _k ) in the algebra such that converges to a non-zero vector. An algebra is sesquitransitive if for every non-zero z ∈ X there exists C > 0 such that for every x linearly independent of z, for every non-zero y ∈ X, and every there exists A in the algebra such that and ||Az|| ≤ C||z||. We give an algebraic version of this definition as well, and extend Jacobson’s density theorem to algebraically sesquitransitive rings. The second and the third authors were supported by NSERC.     

On the Range of the Aluthge Transform

Let be the algebra of all bounded linear operators on a complex separable Hilbert space For an operator let be the Aluthge transform of T and we define for all where T = U|T| is a polar decomposition of T. In this short note, we consider an elementary property of the range of Δ. We prove that R(Δ) is neither closed nor dense in However R(Δ) is strongly dense if is infinite dimensional. An erratum to this article is available at .     

Hypercyclic Pairs of Coanalytic Toeplitz Operators

A pair of commuting operators, (A,B), on a Hilbert space is said to be hypercyclic if there exists a vector such that {A ⁿ B ^k x : n, k ≥ 0} is dense in . If f, g ∈H ^∞(G) where G is an open set with finitely many components in the complex plane, then we show that the pair (M ^* _f , M ^* _g ) of adjoints of multiplcation operators on a Hilbert space of analytic functions on G is hypercyclic if and only if the semigroup they generate contains a hypercyclic operator. However, if G has infinitely many components, then we show that there exists f, g ∈H ^∞(G) such that the pair (M ^* _f , M ^* _g ) is hypercyclic but the semigroup they generate does not contain a hypercyclic operator. We also consider hypercyclic n-tuples.     

Pathological hypercyclic operators

We exhibit a hypercyclic operator whose square is not hypercyclic. Our operator is necessarily unbounded since a result of S. Ansari asserts that powers of a hypercyclic bounded operator are also hypercyclic. We also exhibit an unbounded Hilbert space operator whose non-zero vectors are hypercyclic. Received: 19 March 2005; revised: 18 July 2005     

Eigenvalue extensions of Bohr’s inequality

We present a weak majorization inequality and apply it to prove eigenvalue and unitarily invariant norm extensions of a version of the Bohr’s inequality due to Vasi? and Ke?ki?.     

An irreducible semigroup of non-negative square-zero operators

We construct an irreducible multiplicative semigroup of non-negative square-zero operators acting onL ^p [0,1), for 1p<.The main idea for this paper was developed at the 2nd Linear Algebra Workshop at Bled, Slovenia, in June 1999.The work of the three Slovenian authors was supported by the Research Ministry of Slovenia.This author's work was supported by a Division grant from Colby College.     

Normal boundary dilations and rationally invariant subspaces

The first named author was supported by grants from the National Science Foundation.     

Infinite analogues of block toeplitz matrices and related orthogonal functions

This paper concerns a class of infinite block matrices that are analogous to finite block Toeplitz matrices. Also studied are corresponding matrix-valued functions that are orthogonal for a matrixvalued inner product. An appendix presents basic results on orthogonalization in a Hilbert module.     

Fredholm Properties of the Difference of Orthogonal Projections in a Hilbert Space

Buckholtz (Proc. Amer. Math. Soc. 128 (2000), 1415–1418) gave necessary and sufficient conditions for the invertibility of the difference of two orthogonal projections in a Hilbert space. We generalize this result by investigating when the difference of such projections is a Fredholm operator, and give an explicit formula for its Fredholm inverse.     

Majorization and some operator monotone functions

Let h(t) be a non-decreasing function on I and k(t) an increasing function on J. Then h is said to be majorized by k if k(A)≦k(B) implies h(A)≦h(B). f(t) is operator monotone, by definition, if f(t) is majorized by t. By making use of this majorization we will show that is operator monotone on [0,∞) for 0≦a,b<∞ and for 0≦r≦1; the special case of a=b=1 is the theorem due to Petz-Hasegawa.