Abstract
In 1995 J.C. Lagarias and Y. Wang conjectured that the generalized spectral radius of a finite set of square matrices can be attained on a finite product of matrices. The first counterexample to this Finiteness Conjecture was given in 2002 by T. Bousch and J. Mairesse and their proof was based on measure-theoretical ideas. In 2003 V.D. Blondel, J. Theys and A.A. Vladimirov proposed another proof of a counterexample to the Finiteness Conjecture which extensively exploited combinatorial properties of permutations of products of positive matrices.
In the control theory, so as in the general theory of dynamical systems, the notion of generalized spectral radius is used basically to describe the rate of growth or decrease of the trajectories generated by matrix products. In this context, the above mentioned methods are not enough satisfactory (from the point of view of the author, of course) since they give no description of the structure of the trajectories with the maximal growing rate (or minimal decreasing rate).
In connection with this, in 2005 the author presented one more proof of the counterexample to the Finiteness Conjecture fulfilled in the spirit of the theory of dynamical systems. Unfortunately, the developed approach did not cover the class of matrices considered by Blondel, Theys and Vladimirov. The goal of the present paper is to compensate for this deficiency in the previous approach.
Similar content being viewed by others
References
Barabanov, N.E., Lyapunov Indicator of Discrete Inclusions. I–III, Autom. Remote Control, 1988, vol. 49, no. 2, pp. 152–157; vol. 49, no. 3, pp. 283–287; vol. 49, no. 5, pp. 558–565.
Berger, M.A. and Wang, Y., Bounded Semigroups of Matrices, Lin. Algebra Appl., 1992, vol. 166, pp. 21–27.
Blondel, V.D., Theys, J., and Vladimirov, A.A., Switched Systems That Are periodically Stable May Be Unstable, in Proc. of the Symposium MTNS, Notre-Dame, USA, 2002.
Blondel, V.D., Theys, J., and Vladimirov, A.A., An Elementary Counterexample to the Finiteness Conjecture, SIAM J. Matrix Analysis, 2003, vol. 24, no. 4, pp. 963–970.
Bousch, T. and Mairesse, J., Asymptotic Height Optimization for Topical IFS, Tetris Heaps, and the Finiteness Conjecture, J. Am. Math. Soc., 2002, vol. 15, no. 1, pp. 77–111.
Brette, R., Rotation Numbers of Discontinuous Orientation-preserving Circle Maps, Set-Valued Analysis, 2003, vol. 11, no. 4, pp. 359–371.
Heil, C. and Strang, G., Continuity of the Joint Spectral Radius: Application to Wavelets, in Linear Algebra for Signal Processing, Bojanczyk, A. and Cybenko G., Eds., Minneapolis: IMA, 1992.
Kozyakin, V.S., Algebraic Unsolvability of Problem of Absolute Stability of Desynchronized Systems, Autom. Remote Control, 1990, vol. 51, no. 6, pp. 754–759.
Kozyakin, V.S., Sturmian Sequences Generated by Order Preserving Circle Maps, Preprint of Boole Centre for Research in Informatics, University College Cork, National University of Ireland, Cork, 2003, no. 11.
Kozyakin, V.S., Discontinuous Order Preserving Circle Maps Versus Circle Homeomorphisms, Preprint of Boole Centre for Research in Informatics, University College Cork, National University of Ireland, Cork, 2003, no. 12.
Kozyakin, V.S., Extremal Norms, Discontinuous Circle Maps and a Counterexample to the Finiteness Conjecture, Information Processes, 2005, vol. 5, no. 4, pp. 301–335.
Kozyakin, V.S., Proof of a Counterexample to the Finiteness Conjecture in the Spirit of the Theory of Dynamical Systems, Preprint of Weierstraß-Institut für Angewandte Analysis und Stochastik, Berlin, 2005, no. 105.
Kozyakin, V.S. and Pokrovskii, A.V., The Role of Controllability-type Properties in the Study of the Stability of Desynchronized Dynamical Systems, Soviet Phys. Dokl., 1992, vol. 37, no. 5, pp. 213–215.
Kozyakin, V.S. and Pokrovskii, A.V., Estimates of Amplitudes of Transient Regimes in Quasi-controllable Discrete Systems, CADSEM Report 96-005, Deakin University, Geelong, Australia, 1996.
Kozyakin, V.S. and Pokrovskii, A.V., Quasi-controllability and Estimation of the Amplitudes of Transient Regimes in Discrete Systems, Trans. Russ. Acad. Natural Sci., ser. MMMIC, 1997, vol. 1, no. 3, pp. 128–150.
Kuratowski, K, Topology, New York: Academic, 1966, vol. 1.
Lagarias, J.C. and Wang, Y., The Finiteness Conjecture for the Generalized Spectral Radius of a Set of Matrices, Lin. Algebra Appl., 1995, vol. 214, pp. 17–42.
Miloslavljevich, C., General Conditions for the Existence of Quasisliding Mode on the Switching Hyperplane in Discrete Variable Structure Systems, Autom. Remote Control, 1985, vol. 46, no. 3, pp. 307–314.
Misawa, E.A., Discrete-time Sliding Mode Control: The Linear Case, ASME J. Dynamical Syst., Measur., Control, 1997, vol. 119, no. 4, pp. 819–821.
Wirth, F., The Generalized Spectral Radius and Extremal Norms, Lin. Algebra Appl., 2002, vol. 342, pp. 17–40.
Wirth, F., On the Structure of the Set of Extremal Norms of a Linear Inclusion, in Proc. of the 44th IEEE Conf. on Decision and Control, and the Eur. Control Conf., Seville, Spain, 2005, pp. 3019–3024.
Author information
Authors and Affiliations
Additional information
Original Russian Text © V.S. Kozyakin, 2006, published in Informatsionnye Protsessy, 2006, No. 4, pp. 327–363.
This work was supported by the Russian Foundation for Basic Research, projects nos. 04-01-00330, 06-01-00256 and 06-01-72552-NCNIL-a.
Rights and permissions
About this article
Cite this article
Kozyakin, V.S. Structure of extremal trajectories of discrete linear systems and the finiteness conjecture. Autom Remote Control 68, 174–209 (2007). https://doi.org/10.1134/S0005117906040171
Received:
Issue Date:
DOI: https://doi.org/10.1134/S0005117906040171