Invariant Subspaces of Collectively Compact Sets of Linear Operators

In this paper, we first give some invariant subspace results for collectively compact sets of operators in connection with the joint spectral radius of these sets. We then prove that any collectively compact set M in algΓ satisfies Berger-Wang formula, where Γ is a complete chain of subspaces of X.      

Product numerical range in a space with tensor product structure

We study operators acting on a tensor product Hilbert space and investigate their product numerical range, product numerical radius and separable numerical range. Concrete bounds for the product numerical range for Hermitian operators are derived. Product numerical range of a non-Hermitian operator forms a subset of the standard numerical range containing the barycenter of the spectrum. While the latter set is convex, the product range needs not to be convex nor simply connected. The product numerical range of a tensor product is equal to the Minkowski product of numerical ranges of individual factors.     

Generalized joint spectral radius and stability of switching systems

This paper extends the notion of generalized joint spectral radius with exponents, originally defined for a finite set of matrices, to probability distributions. We show that, under a certain invariance condition, the radius is calculated as the spectral radius of a matrix that can be easily computed, extending the classical counterpart. Using this result we investigate the mean stability of switching systems. In particular we establish the equivalence of mean square stability, simultaneous contractibility in square mean, and the existence of a quadratic Lyapunov function. Also the stabilization of positive switching systems is studied. Numerical examples are given to illustrate the results.     

Criteria for the stability of the finiteness property and for the uniqueness of Barabanov norms

A set of matrices is said to have the finiteness property if the maximal rate of exponential growth of long products of matrices drawn from that set is realised by a periodic product. The extent to which the finiteness property is prevalent among finite sets of matrices is the subject of ongoing research. In this article, we give a condition on a finite irreducible set of matrices which guarantees that the finiteness property holds not only for that set, but also for all sufficiently nearby sets of equal cardinality. We also prove a theorem giving conditions under which the Barabanov norm associated to a finite irreducible set of matrices is unique up to multiplication by a scalar, and show that in certain cases these conditions are also persistent under small perturbations.     

An explicit Lipschitz constant for the joint spectral radius

In 2002, Wirth has proved that the joint spectral radius of irreducible compact sets of matrices is locally Lipschitz continuous as a function of the matrix set. In the paper, an explicit formula for the related Lipschitz constant is obtained.     

A rapidly-converging lower bound for the joint spectral radius via multiplicative ergodic theory

We use ergodic theory to prove a quantitative version of a theorem of M.A. Berger and Y. Wang, which relates the joint spectral radius of a set of matrices to the spectral radii of finite products of those matrices. The proof rests on a structure theorem for continuous matrix cocycles over minimal homeomorphisms having the property that all forward products are uniformly bounded.     

Operators that are points of spectral continuity

In this paper a characterization is obtained of those bounded operators on a Hilbert space at which the spectrum is continuous, where the spectrum is considered as a function whose domain is the set of all operators with the norm topology and whose range is the set of compact subsets of the plane with the Hausdorff metric. Similar characterizations of the points of continuity of the Weyl spectrum, the spectral radius, and the essential spectral radius are also obtained.The first author was supported by National Science Foundation Grant MCS 77-28396.     

The eigenvalue problem for linear and affine iterated function systems

The eigenvalue problem for a linear function L centers on solving the eigen-equation . This paper generalizes the eigenvalue problem from a single linear function to an iterated function system F consisting of possibly an infinite number of linear or affine functions. The eigen-equation becomes F(X)=λX, where λ>0 is real, X is a compact set, and F(X)=?_f∈Ff(X). The main result is that an irreducible, linear iterated function system F has a unique eigenvalue λ equal to the joint spectral radius of the functions in F and a corresponding eigenset S that is centrally symmetric, star-shaped, and full dimensional. Results of Barabanov and of Dranisnikov-Konyagin-Protasov on the joint spectral radius follow as corollaries.     

On existence of finite universal Korovkin sets in Segal algebras

We prove that there exists a finite universal Korovkin set w.r.t positive operators for the centre of a Segal algebra on a compact groupG if and only ifG is metrizable. As a consequence it follows that a Segal algebra on a compact abelian group admits a finite universal Korovkin set w.r.t. positive operators iff the group is metrizable.     

Lie algebras of infinitesimal norm isometries

Given a norm on a finite dimensional vector space V, we may consider the group of all linear automorphisms which preserve it. The Lie algebra of this group is a Lie subalgebra of the endomorphism algebra of V having two properties: (1) it is the Lie algebra of a compact subgroup, and (2) it is “saturated” in a sence made precise below. We show that any Lie subalgebra satisfying these conditions is the Lie algebra of the group of linear automorphisms preserving some norm. There is an appendix on elementary Lie group theory.     

The generalised Berger–Wang formula and the spectral radius of linear cocycles

Using ergodic theory we prove two formulae describing the relationships between different notions of joint spectral radius for sets of bounded linear operators acting on a Banach space. The first formula was previously obtained by V.S. Shulman and Yu.V. Turovski? using operator-theoretic ideas. The second formula shows that the joint spectral radii corresponding to several standard measures of noncompactness share a common value when applied to a given precompact set of operators. This result may be seen as an extension of classical formulae for the essential spectral radius given by R. Nussbaum, A. Lebow and M. Schechter. Both results are obtained as a consequence of a more general theorem concerned with continuous operator cocycles defined over a compact dynamical system. As a byproduct of our method we answer a question of J.E. Cohen on the limiting behaviour of the spectral radius of a measurable matrix cocycle.     

ω-Hyponormal operators

The class of -hyponormal operators is introduced. This class contains allp-hyponormal operators. Certain properties of this class of operators are obtained. Among other things, it is shown that ifT is -hyponormal, then its spectral radius and norm are identical, and the nonzero points of its joint point spectrum and point spectrum are identical. Conditions under which a -hyponormal operator becomes normal, self-adjoint and unitary are given.     

An algorithm for finding extremal polytope norms of matrix families

In this paper the problem of the computation of the joint spectral radius of a finite set of matrices is considered. We present an algorithm which, under some suitable assumptions, is able to check if a certain product in the multiplicative semigroup is spectrum maximizing. The algorithm proceeds by attempting to construct a suitable extremal norm for the family, namely a complex polytope norm. As examples for testing our technique, we first consider the set of two 2-dimensional matrices recently analyzed by Blondel, Nesterov and Theys to disprove the finiteness conjecture, and then a set of 3-dimensional matrices arising in the zero-stability analysis of the 4-step BDF formula for ordinary differential equations.     

A max version of the generalized spectral radius theorem

Let Ψ be a bounded set of n × n nonnegative matrices in max algebra. In this paper we propose the notions of the max algebra version of the generalized spectral radius μ(Ψ) of Ψ, and the max algebra version of the joint spectral radius η(Ψ) of Ψ. The max algebra version of the generalized spectral radius theorem μ(Ψ) = η(Ψ) is established. We propose the relationship between the generalized spectral radius ρ(Ψ) of Ψ (in the sense of Daubechies and Lagarias) and its max algebra version μ(Ψ). Moreover, a generalization of Elsner and van den Driessche’s lemma is presented as well.     

A sharp version of Bauer–Fike’s theorem

In this paper, we present a sharp version of Bauer–Fike’s theorem. We replace the matrix norm with its spectral radius or sign-complex spectral radius for diagonalizable matrices; 1-norm and ∞$\infty$-norm for non-diagonalizable matrices. We also give the applications to the pole placement problem and the singular system.     

Finiteness conjecture and subdivision

The finiteness conjecture by J.C. Lagarias and Y. Wang states that the joint spectral radius of a finite set of square matrices is attained on some finite product of such matrices. This conjecture is known to be false in general. Nevertheless, we show that this conjecture is true for a big class of finite sets of square matrices used for the smoothness analysis of scalar univariate subdivision schemes with finite masks.     

Bounds on eigenvalues of the Hadamard product and the Fan product of matrices

We prove an upper bound for the spectral radius of the Hadamard product of nonnegative matrices and a lower bound for the minimum eigenvalue of the Fan product of M-matrices. These improve two existing results.