The generalized spectral radius and extremal norms

Abstract

The generalized spectral radius, also known under the name of joint spectral radius, or (after taking logarithms) maximal Lyapunov exponent of a discrete inclusion is examined. We present a new proof for a result of Barabanov, which states that for irreducible sets of matrices an extremal norm always exists. This approach lends itself easily to the analysis of further properties of the generalized spectral radius. We prove that the generalized spectral radius is locally Lipschitz continuous on the space of compact irreducible sets of matrices and show a strict monotonicity property of the generalized spectral radius. Sufficient conditions for the existence of extremal norms are obtained.