Extremal norms for fiber-bunched cocycles

Jairo Bochi; Eduardo Garibaldi

doi:10.5802/jep.109

Extremal norms for fiber-bunched cocycles
[Normes extrémales pour des cocycles à fibres resserrées]

Jairo Bochi ¹ ; Eduardo Garibaldi ²

¹ Facultad de Matemáticas, Pontificia Universidad Católica de Chile Avda. Vicuña Mackenna 4860, Macul, Chile
² IMECC, Unicamp Rua Sergio Buarque de Holanda, 651, Cidade Universitária - Barão Geraldo, 13083-859 Campinas - SP, Brazil

Journal de l’École polytechnique — Mathématiques, Tome 6 (2019), pp. 947-1004.

Résumé
Abstract

En optimisation ergodique traditionnelle, on cherche à maximiser des moyennes de Birkhoff. L’outil le plus utile dans ce domaine est le célèbre lemme de Mañé, sous ses diverses formes. Dans cet article, nous montrons un lemme de Mañé non commutatif, adapté au problème de la maximisation des exposants de Lyapunov de cocycles linéaires ou, plus généralement, des automorphismes de fibrés vectoriels. Plus précisément, nous fournissons des conditions qui garantissent l’existence d’une norme extrémale, c’est-à-dire une norme de Finsler pour laquelle aucun vecteur ne peut être dilaté en une seule itération par un facteur plus grand que le taux de croissance asymptotique maximal. Ces conditions sont essentiellement l’irréductibilité et un resserrement des fibres suffisamment fort. Nous étendons donc le concept classique de norme de Barabanov, utilisé dans l’étude du rayon spectral joint. Nous obtenons plusieurs conséquences, notamment des conditions suffisantes pour l’existence des ensembles maximisants de Lyapunov.

In traditional Ergodic Optimization, one seeks to maximize Birkhoff averages. The most useful tool in this area is the celebrated Mañé Lemma, in its various forms. In this paper, we prove a non-commutative Mañé Lemma, suited to the problem of maximization of Lyapunov exponents of linear cocycles or, more generally, vector bundle automorphisms. More precisely, we provide conditions that ensure the existence of an extremal norm, that is, a Finsler norm with respect to which no vector can be expanded in a single iterate by a factor bigger than the maximal asymptotic expansion rate. These conditions are essentially irreducibility and sufficiently strong fiber-bunching. Therefore we extend the classic concept of Barabanov norm, which is used in the study of the joint spectral radius. We obtain several consequences, including sufficient conditions for the existence of Lyapunov maximizing sets.

Reçu le : 2019-01-31
Accepté le : 2019-10-03
Publié le : 2019-10-10

DOI : 10.5802/jep.109

Classification : 37H15, 37D20, 37D30, 15A60, 93D30
Keywords: Linear cocycle, extremal norm, Lyapunov exponent, ergodic optimization, joint spectral radius
Mot clés : Cocycle linéaire, norme extrémale, exposant de Lyapunov, optimisation ergodique, rayon spectral joint

Affiliations des auteurs :

Jairo Bochi ¹ ; Eduardo Garibaldi ²

¹ Facultad de Matemáticas, Pontificia Universidad Católica de Chile Avda. Vicuña Mackenna 4860, Macul, Chile
² IMECC, Unicamp Rua Sergio Buarque de Holanda, 651, Cidade Universitária - Barão Geraldo, 13083-859 Campinas - SP, Brazil

Licence :

CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits

@article{JEP_2019__6__947_0,
     author = {Jairo Bochi and Eduardo Garibaldi},
     title = {Extremal norms for fiber-bunched cocycles},
     journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques},
     pages = {947--1004},
     publisher = {\'Ecole polytechnique},
     volume = {6},
     year = {2019},
     doi = {10.5802/jep.109},
     language = {en},
     url = {https://jep.centre-mersenne.org/articles/10.5802/jep.109/}
}

TY  - JOUR
AU  - Jairo Bochi
AU  - Eduardo Garibaldi
TI  - Extremal norms for fiber-bunched cocycles
JO  - Journal de l’École polytechnique — Mathématiques
PY  - 2019
SP  - 947
EP  - 1004
VL  - 6
PB  - École polytechnique
UR  - https://jep.centre-mersenne.org/articles/10.5802/jep.109/
DO  - 10.5802/jep.109
LA  - en
ID  - JEP_2019__6__947_0
ER  -

%0 Journal Article
%A Jairo Bochi
%A Eduardo Garibaldi
%T Extremal norms for fiber-bunched cocycles
%J Journal de l’École polytechnique — Mathématiques
%D 2019
%P 947-1004
%V 6
%I École polytechnique
%U https://jep.centre-mersenne.org/articles/10.5802/jep.109/
%R 10.5802/jep.109
%G en
%F JEP_2019__6__947_0

Jairo Bochi; Eduardo Garibaldi. Extremal norms for fiber-bunched cocycles. Journal de l’École polytechnique — Mathématiques, Tome 6 (2019), pp. 947-1004. doi : 10.5802/jep.109. https://jep.centre-mersenne.org/articles/10.5802/jep.109/

Bibliographie
Cité par

[1] E. Akin - The general topology of dynamical systems, Graduate Studies in Math., vol. 1, American Mathematical Society, Providence, RI, 1993 | MR | Zbl

[2] V. M. Alekseev & M. V. Yakobson - “Symbolic dynamics and hyperbolic dynamic systems”, Phys. Rep. 75 (1981) no. 5, p. 287-325 | DOI | MR

[3] D. V. Anosov - “Roughness of geodesic flows on compact Riemannian manifolds of negative curvature”, Dokl. Akad. Nauk SSSR 145 (1962), p. 707-709 | MR | Zbl

[4] N. Aoki & K. Hiraide - Topological theory of dynamical systems. Recent advances, North-Holland Math. Library, vol. 52, North-Holland Publishing Co., Amsterdam, 1994 | Zbl

[5] L. Arnold - Random dynamical systems, Springer Monographs in Math., Springer-Verlag, Berlin, 1998 | DOI | Zbl

[6] A. Avila & J. Bochi - “A uniform dichotomy for generic $SL (2, ℝ)$ cocycles over a minimal base”, Bull. Soc. math. France 135 (2007) no. 3, p. 407-417 | DOI | MR | Zbl

[7] A. Avila & M. Viana - “Simplicity of Lyapunov spectra: a sufficient criterion”, Portugal. Math. 64 (2007) no. 3, p. 311-376 | DOI | MR | Zbl

[8] A. Avila & M. Viana - “Extremal Lyapunov exponents: an invariance principle and applications”, Invent. Math. 181 (2010) no. 1, p. 115-189 | DOI | MR | Zbl

[9] K. Ball - “An elementary introduction to modern convex geometry”, in Flavors of geometry, Math. Sci. Res. Inst. Publ., vol. 31, Cambridge Univ. Press, Cambridge, 1997, p. 1-58 | MR | Zbl

[10] N. E. Barabanov - “On the Lyapunov exponent of discrete inclusions. I”, Avtomat. i Telemekh. (1988) no. 2, p. 40-46 | MR | Zbl

[11] M. A. Berger & Y. Wang - “Bounded semigroups of matrices”, Linear Algebra Appl. 166 (1992), p. 21-27 | DOI | MR | Zbl

[12] V. D. Blondel & J. N. Tsitsiklis - “The boundedness of all products of a pair of matrices is undecidable”, Systems Control Lett. 41 (2000) no. 2, p. 135-140 | DOI | MR | Zbl

[13] J. Bochi - “The multiplicative ergodic theorem of Oseledets”, 2008, Note available at http://www.mat.uc.cl/~jairo.bochi/docs/oseledets.pdf

[14] J. Bochi - “Ergodic optimization of Birkhoff averages and Lyapunov exponents”, in Proc. Int. Cong. of Math. (Rio de Janeiro, 2018), Vol. 2, World Scientific, 2019, p. 1821-1842

[15] J. Bochi & N. Gourmelon - “Some characterizations of domination”, Math. Z. 263 (2009) no. 1, p. 221-231 | DOI | MR | Zbl

[16] J. Bochi & I. D. Morris - “Continuity properties of the lower spectral radius”, Proc. London Math. Soc. (3) 110 (2015) no. 2, p. 477-509 | DOI | MR | Zbl

[17] J. Bochi, R. Potrie & A. Sambarino - “Anosov representations and dominated splittings”, J. Eur. Math. Soc. (JEMS) 21 (2019) no. 11, p. 3343-3414 | DOI | MR

[18] J. Bochi & M. Rams - “The entropy of Lyapunov-optimizing measures of some matrix cocycles”, J. Modern Dyn. 10 (2016), p. 255-286 | DOI | MR | Zbl

[19] C. Bonatti & M. Viana - “Lyapunov exponents with multiplicity 1 for deterministic products of matrices”, Ergodic Theory Dynam. Systems 24 (2004) no. 5, p. 1295-1330 | DOI | MR | Zbl

[20] C. Bonatti, L. J. Díaz & M. Viana - Dynamics beyond uniform hyperbolicity. A global geometric and probabilistic perspective. Mathematical Physics, III, Encyclopaedia of Math. Sciences, vol. 102, Springer-Verlag, Berlin, 2005 | Zbl

[21] C. Bonatti, X. Gómez-Mont & M. Viana - “Généricité d’exposants de Lyapunov non-nuls pour des produits déterministes de matrices”, Ann. Inst. H. Poincaré Anal. Non Linéaire 20 (2003) no. 4, p. 579-624 | DOI | Zbl

[22] T. Bousch - “La condition de Walters”, Ann. Sci. École Norm. Sup. (4) 34 (2001) no. 2, p. 287-311 | DOI | MR | Zbl

[23] T. Bousch - “Le lemme de Mañé-Conze-Guivarc’h pour les systèmes amphidynamiques rectifiables”, Ann. Fac. Sci. Toulouse Math. (6) 20 (2011) no. 1, p. 1-14 | DOI | MR | Zbl

[24] T. Bousch & O. Jenkinson - “Cohomology classes of dynamically non-negative $C^{k}$ functions”, Invent. Math. 148 (2002) no. 1, p. 207-217 | DOI | MR | Zbl

[25] T. Bousch & J. Mairesse - “Asymptotic height optimization for topical IFS, Tetris heaps, and the finiteness conjecture”, J. Amer. Math. Soc. 15 (2002) no. 1, p. 77-111 | DOI | MR | Zbl

[26] R. Bowen - “Periodic points and measures for Axiom $A$ diffeomorphisms”, Trans. Amer. Math. Soc. 154 (1971), p. 377-397 | DOI | MR | Zbl

[27] X. Bressaud & A. Quas - “Rate of approximation of minimizing measures”, Nonlinearity 20 (2007) no. 4, p. 845-853 | DOI | MR | Zbl

[28] E. Breuillard & K. Fujiwara - “On the joint spectral radius for isometries of non-positively curved spaces and uniform growth”, 2018 | arXiv

[29] M. I. Brin & J. B. Pesin - “Partially hyperbolic dynamical systems”, Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), p. 170-212 | MR | Zbl

[30] A. Cicone, N. Guglielmi & V. Y. Protasov - “Linear switched dynamical systems on graphs”, Nonlinear Anal. Hybrid Syst. 29 (2018), p. 165-186 | DOI | MR | Zbl

[31] F. Colonius & W. Kliemann - The dynamics of control, Systems & Control: Foundations & Applications, Birkhäuser Boston, Inc., Boston, MA, 2000 | DOI | Zbl

[32] G. Contreras - “Ground states are generically a periodic orbit”, Invent. Math. 205 (2016) no. 2, p. 383-412 | DOI | MR | Zbl

[33] G. Contreras, A. O. Lopes & P. Thieullen - “Lyapunov minimizing measures for expanding maps of the circle”, Ergodic Theory Dynam. Systems 21 (2001) no. 5, p. 1379-1409 | DOI | MR | Zbl

[34] J. Conze & Y. Guivarc’h - “Croissance des sommes ergodiques et principe variationnel”, circa 1993, Unpublished manuscript

[35] D. Coronel, A. Navas & M. Ponce - “On bounded cocycles of isometries over minimal dynamics”, J. Modern Dyn. 7 (2013) no. 1, p. 45-74 | DOI | MR | Zbl

[36] S. Crovisier & R. Potrie - “Introduction to partially hyperbolic dynamics”, 2015, Notes ICTP

[37] E. Garibaldi - Ergodic optimization in the expanding case. Concepts, tools and applications, SpringerBriefs in Math., Springer, Cham, 2017 | DOI | Zbl

[38] E. Garibaldi & J. T. A. Gomes - “Aubry set for asymptotically sub-additive potentials”, Stochastic Dyn. 16 (2016) no. 2, article ID 1660009, 13 pages | DOI | MR | Zbl

[39] N. Gourmelon - “Adapted metrics for dominated splittings”, Ergodic Theory Dynam. Systems 27 (2007) no. 6, p. 1839-1849 | DOI | MR | Zbl

[40] M.-R. Herman - “Une méthode pour minorer les exposants de Lyapounov et quelques exemples montrant le caractère local d’un théorème d’Arnol’d et de Moser sur le tore de dimension $2$ ”, Comment. Math. Helv. 58 (1983) no. 3, p. 453-502 | DOI | MR | Zbl

[41] M. W. Hirsch, C. C. Pugh & M. Shub - Invariant manifolds, Lect. Notes in Math., vol. 583, Springer-Verlag, Berlin-New York, 1977 | Zbl

[42] O. Jenkinson - “Ergodic optimization”, Discrete Contin. Dynam. Systems 15 (2006) no. 1, p. 197-224 | DOI | MR | Zbl

[43] O. Jenkinson - “Ergodic optimization in dynamical systems”, Ergodic Theory Dynam. Systems 39 (2019) no. 10, p. 2593-2618 | DOI | MR | Zbl

[44] R. Jungers - The joint spectral radius. Theory and applications, Lect. Notes in Control and Information Sci., vol. 385, Springer-Verlag, Berlin, 2009 | DOI | MR

[45] B. Kalinin - “Livšic theorem for matrix cocycles”, Ann. of Math. (2) 173 (2011) no. 2, p. 1025-1042 | DOI | MR | Zbl

[46] B. Kalinin & V. Sadovskaya - “Cocycles with one exponent over partially hyperbolic systems”, Geom. Dedicata 167 (2013), p. 167-188 | DOI | MR | Zbl

[47] A. Katok & B. Hasselblatt - Introduction to the modern theory of dynamical systems, Encyclopedia of Math. and its Appl., vol. 54, Cambridge University Press, Cambridge, 1995 | DOI | MR | Zbl

[48] Y. Katznelson - An introduction to harmonic analysis, Dover Publications, Inc., New York, 1976 | Zbl

[49] V. Kozyakin - “An explicit Lipschitz constant for the joint spectral radius”, Linear Algebra Appl. 433 (2010) no. 1, p. 12-18 | DOI | MR | Zbl

[50] U. Krengel - Ergodic theorems, De Gruyter Studies in Math., vol. 6, Walter de Gruyter & Co., Berlin, 1985 | DOI | MR | Zbl

[51] A. O. Lopes & P. Thieullen - “Sub-actions for Anosov diffeomorphisms”, in Geometric methods in dynamics. II, Astérisque, vol. 287, Société Mathématique de France, Paris, 2003, p. 135-146 | Zbl

[52] J. N. Mather - “Action minimizing invariant measures for positive definite Lagrangian systems”, Math. Z. 207 (1991) no. 2, p. 169-207 | DOI | MR | Zbl

[53] I. D. Morris - “A sufficient condition for the subordination principle in ergodic optimization”, Bull. London Math. Soc. 39 (2007) no. 2, p. 214-220 | DOI | MR | Zbl

[54] I. D. Morris - “A rapidly-converging lower bound for the joint spectral radius via multiplicative ergodic theory”, Adv. Math. 225 (2010) no. 6, p. 3425-3445 | DOI | MR | Zbl

[55] I. D. Morris - “Mather sets for sequences of matrices and applications to the study of joint spectral radii”, Proc. London Math. Soc. (3) 107 (2013) no. 1, p. 121-150 | DOI | MR | Zbl

[56] E. Oregón-Reyes - “A new inequality about matrix products and a Berger-Wang formula”, 2017 | arXiv

[57] Y. B. Pesin - Lectures on partial hyperbolicity and stable ergodicity, Zurich Lectures in Advanced Math., European Mathematical Society, Zürich, 2004 | DOI | MR | Zbl

[58] M. Philippe, R. Essick, G. E. Dullerud & R. M. Jungers - “Stability of discrete-time switching systems with constrained switching sequences”, Automatica J. IFAC 72 (2016), p. 242-250 | DOI | MR | Zbl

[59] A. A. Pinto & D. A. Rand - “Smoothness of holonomies for codimension 1 hyperbolic dynamics”, Bull. London Math. Soc. 34 (2002) no. 3, p. 341-352 | DOI | MR | Zbl

[60] C. Pugh, M. Shub & A. Wilkinson - “Hölder foliations”, Duke Math. J. 86 (1997) no. 3, p. 517-546 | DOI | Zbl

[61] C. Pugh, M. Shub & A. Wilkinson - “Hölder foliations, revisited”, J. Modern Dyn. 6 (2012) no. 1, p. 79-120 | DOI | Zbl

[62] C. C. Pugh - “On arbitrary sequences of isomorphisms in $R^{m} \to R^{m}$ ”, Trans. Amer. Math. Soc. 184 (1973), p. 387-400 | DOI | MR

[63] L. Qiu, Y. Zhang & C.-K. Li - “Unitarily invariant metrics on the Grassmann space”, SIAM J. Matrix Anal. Appl. 27 (2005) no. 2, p. 507-531 | DOI | MR | Zbl

[64] G.-C. Rota & G. Strang - “A note on the joint spectral radius”, Nederl. Akad. Wetensch. Indag. Math. 22 (1960), p. 379-381 | DOI | MR | Zbl

[65] D. Ruelle - Thermodynamic formalism. The mathematical structures of classical equilibrium statistical mechanics, Encyclopedia of Math. and its Appl., vol. 5, Addison-Wesley Publishing Co., Reading, Mass., 1978 | Zbl

[66] K. Sakai - “Shadowing properties of $ℒ$ -hyperbolic homeomorphisms”, Topology Appl. 112 (2001) no. 3, p. 229-243 | DOI | MR | Zbl

[67] S. V. Savchenko - “Homological inequalities for finite topological Markov chains”, Funkcional. Anal. i Priložen. 33 (1999) no. 3, p. 91-93 | DOI | MR | Zbl

[68] J. Schmeling & R. Siegmund-Schultze - “Hölder continuity of the holonomy maps for hyperbolic basic sets. I”, in Ergodic theory and related topics, III (Güstrow, 1990), Lect. Notes in Math., vol. 1514, Springer, Berlin, 1992, p. 174-191 | DOI | Zbl

[69] K. Sigmund - “On minimal centers of attraction and generic points”, J. reine angew. Math. 295 (1977), p. 72-79 | DOI | MR | Zbl

[70] S. Smale - “Differentiable dynamical systems”, Bull. Amer. Math. Soc. 73 (1967), p. 747-817 | DOI | MR | Zbl

[71] G. W. Stewart - Matrix algorithms. Vol. I. Basic decompositions, Society for Industrial and Applied Mathematics, Philadelphia, PA, 1998 | DOI | Zbl

[72] M. Viana - “Almost all cocycles over any hyperbolic system have nonvanishing Lyapunov exponents”, Ann. of Math. (2) 167 (2008) no. 2, p. 643-680 | DOI | MR | Zbl

[73] P. Walters - An introduction to ergodic theory, Graduate Texts in Math., vol. 79, Springer-Verlag, New York-Berlin, 1982 | MR | Zbl

[74] F. Wirth - “The generalized spectral radius and extremal norms”, Linear Algebra Appl. 342 (2002), p. 17-40 | DOI | MR | Zbl

Cité par Sources :