{"entities":{"Q815036":{"pageid":816884,"ns":120,"title":"Item:Q815036","lastrevid":57176694,"modified":"2026-03-26T22:12:28Z","type":"item","id":"Q815036","labels":{"en":{"language":"en","value":"The Lyapunov exponents of generic volume-preserving and symplectic maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004655"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815036$40FF6302-753A-4958-9AC7-3490837E25DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"424f5a37abf444b312bdf22743be7277b8f8f9c3","datavalue":{"value":{"text":"The Lyapunov exponents of generic volume-preserving and symplectic maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q815036$2DD43E4B-ADE5-4CDF-9408-DA74885CE445","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51d59ce09e7dc8e5c5bdd3ad86b2a744dbf7ec73","datavalue":{"value":"1101.37039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$F9ABD5F2-86DB-4606-90FF-91922A1DE5BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5af7f680b5c9081e67d9e2f20577e35d3954b090","datavalue":{"value":{"entity-type":"item","numeric-id":251723,"id":"Q251723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815036$4A91DBA3-D61B-4570-A4EF-C9326F41BE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32e7832f9a1aa0a6e5829b8d2c840f48993f9390","datavalue":{"value":{"entity-type":"item","numeric-id":166170,"id":"Q166170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815036$4C9FFDDC-F561-4BD8-807C-AFF527C6E71E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815036$2E9D2D0D-2525-4C57-8238-E2EBFE665C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q815036$755453EC-0D75-45D5-B36E-5FAC795C33D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7004be35934b03536f2254b3a7ddcf6b37b35419","datavalue":{"value":"https://arxiv.org/abs/math/0206189","type":"string"},"datatype":"url"},"type":"statement","id":"Q815036$6B76F2FA-A403-4233-A155-6B7B2ABC0127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"52a8dd10421881df2eb0f176659b4515a413fda0","datavalue":{"value":"https://projecteuclid.org/euclid.annm/1127852660","type":"string"},"datatype":"url"},"type":"statement","id":"Q815036$422016BB-477C-4308-B8A2-D63C1335859B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"21ed5666feac334c16fa7638adcbcd2470630788","datavalue":{"value":"The authors show that for a residual (dense \\(G_\\delta\\)) subset of all volume-preserving or symplectic \\(C^1\\) diffeomorphisms, either all the Lyapunov exponents are zero for almost every orbit, or the diffeomorphism exhibits a large amount of hyperbolicity. The way of achieving this result is to analyze the continuous dependence of Lyapunov exponents on the dynamical system.   For a precise formulation, we need to recall some definitions. Let \\(M\\) be a compact Riemannian manifold of dimension \\(d\\geq 2\\), and \\(\\mu\\) be the measure induced by some volume form. \\(\\text{Diff}^1_\\mu(M)\\) denotes the space of all \\(\\mu\\)-preserving \\(C^1\\) diffeomorphisms. Let \\(f\\in \\text{Diff}^1_\\mu(M)\\). By the theorem of Oseledets, for \\(\\mu\\)-a.e.~point \\(x\\in M\\), there exist \\(k(x)\\in \\mathbb N\\) real numbers \\(\\widehat \\lambda_1(f,x)> \\dots \\widehat \\lambda_{k(x)}(f,x)\\), called Lyapunov exponents, and a splitting \\(T_xM =E^1_x \\oplus \\dots \\oplus E^{k(x)}_x\\) of the tangent space at \\(x\\), called Oseledets splitting, all depending measurably on the point \\(x\\) such that   \\[  \\lim_{n\\to \\pm \\infty} \\frac{1}{n} \\log \\|Df_x^n(v)\\|= \\widehat \\lambda_j(f,x) \\quad \\text{for all } v\\in E^j_x\\setminus 0.  \\]  The Oseledets splitting is said to be trivial if all Lyapunov exponents vanish.   Let \\(\\Gamma\\) be an \\(f\\)-invariant set, and suppose that for each \\(x\\in \\Gamma\\) there are \\(Df\\)-invariant subspaces \\(E^1_x\\) and \\(E^2_x\\) of constant dimension such that \\(T_x M=E^1_x \\oplus E^2_x \\). Given \\(m\\in \\mathbb N\\), we say that \\(T_{\\Gamma} M=E^1 \\oplus E^2\\) is an \\(m\\)-dominated splitting if for every \\(x\\in \\Gamma\\)   \\[  \\|Df_x^m\\mid_{E^2_x}\\|\\;\\|(Df_x^m\\mid_{E^1_x})^{-1}\\| <1/2.  \\]   The Oseledets splitting is said to be dominated if the above condition with appropriate \\(m\\) holds for every two Lyapunov subspaces. Domination is a very strong property. In particular, it implies that the angles between Oseledets subspaces are bounded away from zero, and the Oseledets splitting extends to a continuous splitting on the closure.   Theorem 1. There exists a residual set \\(R \\subset\\text{Diff}^1_\\mu(M)\\) such that for every \\(f\\in R\\) and \\(\\mu\\)-almost every \\(x\\in M\\), the Oseledets splitting is either trivial or dominated at \\(x\\).  Let \\(\\lambda_1(f,x)\\geq \\dots \\geq \\lambda_d(f,x)\\) be the Lyapunov exponents. For \\(0\\leq j\\leq d-1\\) define   \\[  \\text{LE}_j(f)=\\int_M [\\lambda_1(f,x)+ \\dots + \\lambda_j(f,x)] d\\mu(x).  \\]   It is known that the mapping \\(f\\in \\text{Diff}^1_\\mu \\mapsto \\text{LE}_j(f)\\) is upper semi-continuous. The following theorem indicates that lower semi-continuity is much more delicate,   Theorem 2. If the map \\(f\\in \\text{Diff}^1_\\mu \\mapsto (\\text{LE}_1(f),\\dots, \\text{LE}_{d-1}(f))\\in \\mathbb R^d\\) is continuous at \\(f=f_0\\), then for \\(\\mu\\)-almost every \\(x\\in M\\), the Oseledets splitting of \\(f_0\\) is either trivial or dominated.  It is not known if the necessary condition above is also sufficient for continuity.   Theorem 1 is a direct consequence of Theorem 2 due to the following fact: the set of continuity points of a semi-continuous function on a Baire space is always a residual subset of the space.   The corresponding results for symplectic diffeomorphisms are the following. Let \\((M^{2q},\\omega)\\) be a compact symplectic manifold without boundary, endowed by a Riemannian metric, and let \\(\\mu\\) be the volume measure corresponding to \\(\\omega\\). Let \\(\\text{Sympl}^1_\\omega(M)\\) be the space of \\(C^1\\) symplectic diffeomorphisms on \\(M\\). Consider the splitting \\(T_x M=E^+_x \\oplus E^0_x \\oplus E^-_x \\), and let \\(E^+\\), \\(E^-\\), \\(E^0\\) be the sums of Oseledets spaces, associated to positive, negative and zero Lyapunov exponents. Recall that the Lyapunov exponents of \\(f\\in \\text{Sympl}^1_\\omega(M)\\) have a symmetry property: \\(\\lambda_j(f,x)=-\\lambda_{2q-j+1}(f,x)\\). Therefore, \\(\\dim (E_x^+)=\\dim (E_x^-)\\), and \\(\\dim (E_x^0)\\) is even.   Theorem 3. If the map \\(f\\in \\text{Sympl}^1_\\mu \\mapsto {LE}_q(f)\\) is continuous at \\(f=f_0\\), then for \\(\\mu\\)-almost every \\(x\\in M\\) either dim\\(E^0_x\\geq 2\\), or the splitting \\(E^+_x \\oplus E^-_x\\) is hyperbolic along the orbit of \\(x\\).  As in the volume-preserving case, the function \\(f \\mapsto {LE}_q(f)\\) is continuous on a residual subset \\(R_1\\) of \\(\\text{Sympl}^1_\\mu\\). On a slightly smaller residual set \\(R_2\\) the following is true,   Theorem 4. There exists a residual set \\(R_2\\subset\\text{Sympl}^1_\\mu\\) such that every \\(f\\in R_2\\) either is Anosov or has at least two zero Lyapunov exponents at almost every point.  For \\(d=2\\) this theorem was announced by \\textit{R. Ma\u00f1\u00e9} [Proc. Int. Congr. Math., Warszawa 1983, Vol. 2, 1269--1276 (1984; Zbl 0584.58007); Fran\u00e7ois Ledrappier (ed.) et al., 1st international conference on dynamical systems, Montevideo, Uruguay, 1995 -- a tribute to Ricardo Ma\u00f1\u00e9. Proceedings. Harlow: Longman. Pitman Res. Notes Math. Ser. 362, 110--119 (1996; Zbl 0870.58083)] and proved by \\textit{J. Bochi} [Ergodic Theory Dyn. Syst. 22, 1667--1696 (2002; Zbl 1023.37006)].   The results above extend to linear cocycles, which are defined as follows. Let \\(M\\) be a compact Hausdorff space, \\(\\mu\\) a Borel probability measure, and \\(f:M\\to M\\) a homeomorphism that preserves \\(\\mu\\). Given a continuous map \\(A:M\\to \\text{GL}(d,\\mathbb R)\\), one associates a linear cocycle   \\[  F_A:M\\times \\mathbb R^d \\to M\\times \\mathbb R^d, \\quad F_A(x,v)=(f(x), A(x)v).  \\]   All the main results, along with the context, numerous examples and open problems are very well explained in the introduction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q815036$BCA076C9-7AF7-41A9-BD17-4AFA1784263E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59b2055c1ac9e8e01c1c9acc23d41421f8b0d198","datavalue":{"value":{"entity-type":"item","numeric-id":623585,"id":"Q623585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815036$57A5AD8B-5130-48F8-9CB0-B23ADAFBFCA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c83d592e82033b21d34c936b6dc7da699df4d41","datavalue":{"value":"37J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$E9D7A193-E955-416A-A833-9490E5871CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f065ada9426fe1453f6e03a3bb1081b808e12f5f","datavalue":{"value":"37A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$0F0BADC6-FD47-4CC0-A05B-5D9B17C15E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"510cc5925490b40347cb7dcf554023f13d6959b9","datavalue":{"value":"37A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$C3A3DFFA-F0D0-41DF-94EA-1D86BB1FFCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35fe8acb6583b435a561ac9794e1601f5e5d161a","datavalue":{"value":"37D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$A2DC528E-F23A-4BC5-BC5D-3A8F8F671821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de61db4b904636605644de6aac004e01d71267d","datavalue":{"value":"37C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$2A42040A-FBCE-4972-BF7C-6817AD1622D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"822055537e80a8da2b1659b47615bcf6d07ed27a","datavalue":{"value":"5004655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$2E3C6834-3A21-4718-A180-4F782FC7FD14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855e715d7edae81e2257f08f64d3b5183410e7e3","datavalue":{"value":"Oseledets splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q815036$1DA56C3D-D88F-489E-BA64-9ADA59CA931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e118932560fed85aef36f1e9b7fe37f15a05a9","datavalue":{"value":"Lyapunov exponents","type":"string"},"datatype":"string"},"type":"statement","id":"Q815036$B9C7E213-6142-47F1-BC38-C9A883AC2289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af1f2017f0aea2fa12d2598c1b25d8fc09500015","datavalue":{"value":"continuity of Lyapunov exponents","type":"string"},"datatype":"string"},"type":"statement","id":"Q815036$FD118352-D243-422B-8697-89274CB0B083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6beaf9212ec06731a3b19829c463246e56e89d20","datavalue":{"value":"volume-preserving diffeomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q815036$488D9B1E-0644-45EB-8874-1ED2D79F9018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d8421bd0036b2af984c1fefdc3db6411e144092","datavalue":{"value":"symplectic diffeomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q815036$084CF28C-4879-457F-B60A-C287ADE58887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a51741f28bf85e81b7d8a33c2c4dde45fc3c34","datavalue":{"value":"cocycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q815036$082EDACB-8B7C-44A0-A9B3-E8D243824693","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815036$351903EE-994A-4C25-9EEF-F5DE092BE187","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fce5c877d3c005cae611ee19b9ce4bd18a62c6c","datavalue":{"value":"W2060287224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$B0F1FD3A-A55C-49BA-8D15-DF41D65BD7DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f3a529854a5174ee34ea8d221e274f4d7df3e29","datavalue":{"value":"10.4007/ANNALS.2005.161.1423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815036$38CDF81C-DD01-4E65-B977-083D353798E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c935fc9f3ade4ba25f0b9a17d1ee1449cfe9952","datavalue":{"value":{"entity-type":"item","numeric-id":1611401,"id":"Q1611401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc64753eec4c370cd06b41c553d816cdc6791d81","datavalue":{"value":{"amount":"+0.8989118933677673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q815036$C99D790C-EA76-4D7C-9D93-2A726EB47E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b2173793b31334f8378605f727b8b0f0da5d9d0","datavalue":{"value":{"entity-type":"item","numeric-id":2884390,"id":"Q2884390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8efd88f6f541df69ef3b66da8bb9fc318e9bd607","datavalue":{"value":{"amount":"+0.8559538722038269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q815036$6EB6F7CD-C5D3-44B7-A1F0-53DD218D23BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6492df5be76d3271294c80091bf736f9f13246","datavalue":{"value":{"entity-type":"item","numeric-id":4332751,"id":"Q4332751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a372ab97a07ce49ac5095d9611b4d589ee2fa4c","datavalue":{"value":{"amount":"+0.8320688009262085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q815036$6DA28A0A-48AB-4DE6-A7F6-AC86B2C78508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a270f9fb3df4f677c38971800442e210478f6bd2","datavalue":{"value":{"entity-type":"item","numeric-id":4806358,"id":"Q4806358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d48afa340bd892c75e119ff4efae632ed4e60e2","datavalue":{"value":{"amount":"+0.8205351233482361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q815036$0E112619-6624-4B2F-82D5-085F7A2EF701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8546d9cbbce37f69bed4bf20895f61277fd8d306","datavalue":{"value":{"entity-type":"item","numeric-id":1669645,"id":"Q1669645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867f3463619f641a9be554dad3c3dd90be0b3dcb","datavalue":{"value":{"amount":"+0.8172799348831177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q815036$252FBAA2-E75B-43F3-AC23-CF385A8ECCD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:815036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:815036"}}}}}