on the limit products of a family of matrices in this paper we direct attention at bounded families of complex n n matrices in order to study their asymptotic behaviour we recall from linear algebra appl 322 2001 162 the concept of limit spectrum maximizing product and show that nondefective families always admit such limit products then we consider defective families in loc cite we proved that for finite families of 2 2 matrices defectivity is equivalent to the existence of defective such limit products this result led us to conjecture the validity of this property also for higher dimensions n 3 here instead by making use of the results obtained by bousch and mairesse j am math soc 15 2002 77 that disproved the well known finiteness conjecture we find some counterexamples to our conjecture in loc cite for all n 3 2002 elsevier science inc all rights reserved

on the asymptotic regularity of a family of matrices abstract in this paper we consider bounded families f of complex n n matrices we give sufficient conditions under which the sequence k f 1 k k 1 where k f is the supremum of the spectral radii of all possible products of k matrices chosen in f is convergent to its supremum f the so called generalized spectral radius of f we also illustrate a possible practical application

inequalities for numerical invariants of sets of matrices we prove three inequalities relating some invariants of sets of matrices such as the joint spectral radius one of the inequalities in which proof we use geometric invariant theory has the generalized spectral radius theorem of berger and wang as an immediate corollary

on the asymptotic properties of a family of matrices in this paper we consider bounded families f of complex n n matrices after introducing the concept of asymptotic order we investigate how the norm of products of matrices behaves as the number of factors goes to infinity in the case of defective families f u sing the asymptotic order allows us to get a deeper knowledge of the asymptotic behaviour than just considering the so called generalized spectral radius with reference to the well known finiteness conjecture for finite families we also introduce the concepts of spectrum maximizing product and limit spectrum maximizing product showing that for finite families of 2 2matrices defectivity is equivalent to the existence of defective such limit products 2001 elsevier science inc all rights reserved

extremal and barabanov semi norms of a semigroup generated by a bounded family of matrices abstract let s s i i i be an arbitrary family of complex n by n matrices where 1 n let s denote the joint spectral radius of s defined as s lim sup l sup i 1 i l i l s i 1 s i l 1 l which is independent of the norm used here a semi norm on c n is called extremal of s if it satisfies x 0 and x s i s x x x 1 x n c n and i i in this paper using an elementary analytical approach we show that if s is bounded in c n n then there always exists for s an extremal semi norm on c n if additionally s is compact in c n n this extremal semi norm has the barabanov type property i e to any x c n one can find an infinite sequence i n i with x s i 1 s i k s k x for each k 1 as a common starting point this directly implies the fundamental results barabanov s norm theorem berger wang s formula and elsner s reduction theorem

a gel fand type spectral radius formula and stability of linear constrained switching systems abstract using ergodic theory in this paper we present a gel fand type spectral radius formula which states that the joint spectral radius is equal to the generalized spectral radius for a matrix multiplicative semigroup s restricted to a subset that need not carry the algebraic structure of s this generalizes the berger wang formula using it as a tool we study the absolute exponential stability of a linear switched system driven by a compact subshift of the one sided markov shift associated to s

the finite step realizability of the joint spectral radius of a pair of d d matrices one of which being rank one abstract we study the finite step realizability of the joint generalized spectral radius of a pair of real square matrices s 1 and s 2 one of which has rank 1 where 2 d let a denote the spectral radius of a square matrix a then we prove that there always exists a finite length word i 1 i m 1 2 m for some finite m 1 such that s i 1 s i m m sup n 1 max i 1 i n 1 2 n s i 1 s i n n in other words there holds the spectral finiteness property for s 1 s 2 explicit formula for computation of the joint spectral radius is derived this implies that the stability of the switched system induced by s 1 s 2 is algorithmically decidable in this case

an inequality for the spectral radius of an interval matrix abstract for an n n interval matrix a aij we say that a is majorized by the point matrix a a ij if aij aij when the jth column of a has the property that there exists a power a m containing in the same jth column at least one interval not degenerated to a point interval and aij aij otherwise denoting the generalized spectral radius in the sense of daubechies and lagarias of a by a and the usual spectral radius of a by a it is proved that if a is majorized by a then a a this inequality sheds light on the asymptotic stability theory of discrete time linear interval systems

the normed finiteness property of compact contraction operators we study the joint spectral radius given by a finite set of compact operators on a hilbert space it is shown that the normed finiteness property holds in this case that is if all the compact operators are contractions and the joint spectral radius is equal to 1 then there exists a finite product that has a spectral radius equal to 1 we prove an additional statement in that the requirement that the joint spectral radius be equal to 1 can be relaxed to the asking that the maximum norm of finite products of a length norm is equal to 1 the length of this product is related to the dimension of the subspace on which the set of operators is norm preserving

continuity of the generalized spectral radius in max algebra abstract let be an induced matrix norm associated with a monotone norm on r n and be the collection of all nonempty closed and bounded subsets of n n nonnegative matrices under this matrix norm for the hausdorff metric h between and is given by h max sup a inf b a b sup b inf a a b the max algebra system consists of the set of nonnegative numbers with sum a b max a b and the standard product ab for a b 0 for n n nonnegative matrices a b their product is denoted by a b where a b ij max 1 k n a ik b kj for each the max algebra version of the generalized spectral radius of is limsup m sup a m a 1 m where m a 1 a 2 a m a i here a is the maximum circuit geometric mean in this paper we prove that the max algebra version of the generalized spectral radius is continuous on the hausdorff metric space h the notion of the max algebra version of simultaneous nilpotence of matrices is also proposed necessary and sufficient conditions for the max algebra version of simultaneous nilpotence of matrices are presented as well

smooth approximation of mather sets of monotone twist mappings in the theory of monotone twist mappings of a cylinder one constructs for every rotation number invariant minimal sets m in this paper an approximation of these mather sets by smooth invariant curves mv is devised which for v 0 converge to m almost everywhere the main point of the construction is that the approximating curves mv form for v 0 a smooth foliation the approximation is achieved with the help of a regularized version of the percival variational problem 1994 john wiley sons inc

simultaneous schur stability let be a set of n n complex matrices denote by the multiplicative semi group generated by for an n n complex matrix a the spectrum of a and spectral radius of a are denoted by a and r a respectively motivated by a phenomenon in the closed unit disc of the complex plane we give a rigorous definition of simultaneous schur stability as follows is said to be simultaneously schur stable if r a 1 a and 1 a a is said to be asymptotically stable if there exists a norm on cn such that sup a a e 1 it is proved that for a bounded set of n n complex matrices is asymptotically stable if and only if it is simultaneously schur stable by way of simultaneous schur stability some applications are illustrated especially an analytic combinatorial proof of a recent result of considerable depth generalized gelfand spectral radius formula

contractibility of compact contractions in hilbert space for a finite set of compact contractions in a complex hilbert space h it is shown that r a 1 for all a in the multiplicative semigroup generated by if and only if there exists a positive integer n such that a 1 for all a in the multiplicative semigroup generated by with length greater than n here r a denotes the spectral radius of a as an application an answer is given to an infinite dimensional case of the finiteness conjecture for the generalized spectral radius attributed to j c lagarias and y wang linear algebra appl 214 1995 17

sets of matrices all infinite products of which converge an infinite product iit lmi of matrices converges on the right if limi m mi exists a set z ai i l of n x n matrices is called an rcp set rightconvergent product set if all infinite products with each element drawn from z converge such sets of matrices arise in constructing self similar objects like von koch s snowflake curve in various interpolation schemes in constructing wavelets of compact support and in studying nonhomogeneous markov chains this paper gives necessary conditions and also some sufficient conditions for a set x to be an rcp set these are conditions on the eigenvalues and left eigenspaces of matrices in 2 and finite products of these matrices necessary and sufficient conditions are given for a finite set z to be an rcp set having a limit function m d rit lad where d d d which is a continuous function on the space of all sequences d with the sequence topology finite rcp sets of column stochastic matrices are completely characterized some results are given on the problem of algorithmically deciding if a given set x is an rcp set

a herglotz wavefunction method for solving the inverse cauchy problem connected with the helmholtz equation this paper is concerned with the cauchy problem connected with the helmholtz equation on the basis of the denseness of herglotz wavefunctions we propose a numerical method for obtaining an approximate solution to the problem we analyze the convergence and stability with a suitable choice of regularization method numerical experiments are also presented to show the effectiveness of our method

sufficient conditions for the stability of linear takagi sugeno free fuzzy systems in this paper we will study the stability issues of the linear takagi sugeno t s free fuzzy systems based on matrix norm we propose a new sufficient condition for the linear t s free fuzzy system to be globally asymptotically stable we then study the stability analysis in the case of systems with consequent parameter uncertainty based on mayer s convergent theorem we propose a sufficient condition which is easily implemented for the systems with consequent parameter uncertainty to be globally asymptotically stable

finiteness property of pairs of 2 2 sign matrices via real extremal polytope norms this paper deals with the joint spectral radius of a finite set of matrices we s ay that a set of matrices has the finiteness property if the maximal rate of growth in the multiplicative semigroup it generates is given by the powers of a finite product here we address the problem of establishing the finiteness properties of p airs of 2 2 sign matrices such problem is related to the conjecture that pairs of sign ma trices fulfil the finiteness property for any dimension this would imply by a recent result by j ungers and blondel that finite sets of rational matrices fulfil the finiteness property wh ich would be very important property in terms of the computation of the joint spectral radius the finiteness property of n n sign matrices remains open but the knowledge of its validity in the 2 2 case gives the hope to solve it by using some induction argument on the dimension as a main tool of our proof we make use of a procedure to compute a so called real polytope extremal norm for the set in particular we present an algorithm which under some suitable assumptions is able to check if a certain product in the multiplicative semig roup is spectrum maximizing for pairs of sign matrices we develop the computations exactly and hence are able to prove analytically the finiteness property on the other hand the algorithm c an be used in a floating point arithmetic and provide a general tool for approximating the join t spectral radius of a set of matrices

brief paper periodically switched stability induces exponential stability of discrete time linear switched systems in the sense of markovian probabilities the conjecture that periodically switched stability implies absolute asymptotic stability of random infinite products of a finite set of square matrices has recently been disproved under the guise of the finiteness conjecture in this paper we show that this conjecture holds in terms of markovian probabilities more specifically let s k c n x n 1 k k be arbitrarily given k matrices and s k k j j 1 1 k j k for each j 1 where n k 2 then we study the exponential stability of the following discrete time switched dynamics s x j s k j s k 1x 0 j 1 and x 0 c n where k j j 1 s k can be an arbitrary switching sequence for a probability row vector p p 1 p k r k and an irreducible markov transition matrix p r k x k with pp p we denote by m p p the markovian probability on s k corresponding to p p by using symbolic dynamics and ergodic theoretic approaches we show that if s possesses the periodically switched stability then i it is exponentially stable m p p almost surely ii the set of stable switching sequences k j j 1 s k has the same hausdorff dimension as s k thus the periodically switched stability of a discrete time linear switched dynamics implies that the system is exponentially stable for almost all switching sequences

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

the generalized spectral radius and extremal norms 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

a max version of the generalized spectral radius theorem abstract 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

the berger wang formula for the markovian joint spectral radius abstract the berger wang formula establishes equality between the joint and generalized spectral radii of a set of matrices for matrix products whose multipliers are applied not arbitrarily but in accordance with some markovian law there are also known analogs of the joint and generalized spectral radii however the known proofs of the berger wang formula hardly can be directly applied in the case of markovian products of matrices since they essentially rely on the arbitrariness of appearance of different matrices in the related matrix products nevertheless as has been shown by x dai 1 the berger wang formula is valid for the case of markovian analogs of the joint and the generalized spectral radii too although the proof in this case heavily exploits the more involved techniques of multiplicative ergodic theory in the paper we propose a matrix theory construction allowing to deduce the markovian analog of the berger wang formula from the classical berger wang formula

the finiteness conjecture for the generalized spectral radius of a set of matrices the generalized spectral radius g9 of a set of n n matrices is g9 lim supk g9k 1k where g9k sup a1a2 ak each ai the joint spectral radius g9 is g9 lim supk g9k 1k where g9k sup a1 ak each ai it is known that g9 g9 holds for any finite set of n n matrices the finiteness conjecture asserts that for any finite set of real n n matrices there exists a finite k such that g9 g9 g9k 1k the normed finiteness conjecture for a given operator norm asserts that for any finite set a1 am having all ai op 1 either g9 1 or g9 g9 g9k 1k 1 for some finite k it is shown that the finiteness conjecture is true if and only if the normed finiteness conjecture is true for all operator norms the normed finiteness conjecture is proved for a large class of operator norms extending results of gurvits in particular for polytope norms and for the euclidean norm explicit upper bounds are given for the least k having g9 g9k 1k these results imply upper bounds for generalized critical exponents for these norms

on the stability of takagi sugeno fuzzy systems with time varying uncertainties this paper studies the problems of stability analysis of takagi sugeno free fuzzy systems with time varying uncertainties in our prior study we represented the time varying uncertainty incurred in characteristic interval matrices in terms of the stability of takagi sugeno free fuzzy systems with consequent parameter uncertainties based on mayer s convergent theorem for powers of single interval matrix and its generalization we further proposed some sufficient conditions for the takagi sugeno free fuzzy system with time varying uncertainties to be globally asymptotically stable in this paper we propose the notion of simultaneously nilpotent interval matrices to investigate the takagi sugeno free fuzzy system with time varying uncertainties to be strongly stable within steps where relates to the dimension of interval matrices moreover a unique situation for the deterministic takagi sugeno free fuzzy system to be strongly stable within steps is derived as well where relates to the dimension of characteristic matrices for the deterministic takagi sugeno free fuzzy system

the generalized spectral radius theorem an analytic geometric proof abstract let be a bounded set of complex matrices m a 1 a m a i the generalized spectral radius theorem states that where and are defined as follows lim sup m 1 m where m sup a a m with a the spectral radius lim sup m 1 m where m sup a a m with any matrix norm we give an elementary proof based on analytic and geometric tools which is in some ways simpler than the first proof by berger and wang

approximation of the joint spectral radius using sum of squares we provide an asymptotically tight computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares sos programming the approach is based on a search for an sos polynomial that proves simultaneous contractibility of a finite set of matrices we provide a bound on the quality of the approximation that unifies several earlier results and is independent of the number of matrices additionally we present a comparison between our approximation scheme and earlier techniques including the use of common quadratic lyapunov functions and a method based on matrix liftings theoretical results and numerical investigations show that our approach yields tighter approximations

a note on a gap result for norms of semigroups of matrices abstract let be a matrix norm and be a bounded set of n n complex matrices for each m 1 2 let m sup a a m where m a1a2 am ai bell proved that there is a gap in the possible growth of m if consists of finitely many n n complex matrices in this note based on a lemma by elsner we give an elementary proof of bell s theorem in bounded case

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

bounded semigroups of matrices in this note are proved two conjectures of daubechies and lagarias the first asserts that if z is a bounded set of matrices such that all left infinite products converge then 8 generates a bounded semigroup the second asserts the equality of two differently defined joint spectral radii for a bounded set of matrices one definition involves the conventional spectral radius and one involves the operator norm

asymptotic stability and generalized gelfand spectral radius formula let be a set of n n complex matrices for m 1 2 let m be the set of all products of matrices in of length m denote by the multiplicative semigroup generated by is said to be asymptotically stable in the sense of dynamical systems if there is 0 1 such that there are bounded neighborhoods u v cn of the origin for which av mu for all a m m 1 2 for a bounded set of n n complex matrices it is shown that the following conditions are mutually equivalent i is asymptotically stable ii g9 lim supm supa m a 1 m 1 iii lim supm supa m a 1 m 1 where a stands for the spectral radius of a and iv there exists a positive number such that a 1 for all a this fact answers an open question raised by brayton and tong the generalized gelfand spectral radius formula that is g9 conjectured by daubechies and lagarias and proved by berger and wang using advanced tools from ring theory and then by elsner using analytic geometric tools follows immediately form the above asymptotic stability theorem

matrix products with constraints on the sliding block relative frequencies of different factors abstract one of fundamental results of the theory of joint generalized spectral radius the berger wang theorem establishes equal ity between the joint and generalized spectral radii of a set of matrices generalization of this theorem on products of matrices whose factors are applied not arbitrarily but are subjected to some constraints is connected with essential difficulties since known proofs of the berger wang theorem rely on the arbitrariness of appearance of different matrices in the related matrix products recently x dai 1 proved an analog of the berger wang theorem for the case when factors in matrix products are formed by some markov law we extend the concepts of joint and generalized spectral radii to products of matrices with constraints on the sliding block relative frequencies of occurrences of different factors and prove an analog of the berger wang theorem for this case