View source for Y-system

{{TEX|done}}
''$U$-system, $C$-system''

A smooth dynamical system (a [[Flow (continuous-time dynamical system)|flow (continuous-time dynamical system)]] or [[Cascade|cascade]]) with a compact phase manifold, which is a [[Hyperbolic set|hyperbolic set]]. A diffeomorphism generating a $Y$-cascade is called a $Y$-diffeomorphism. $Y$-systems were introduced by D.V. Anosov (see , [[#References|[2]]]), and they are often called Anosov systems.

$Y$-systems are structurally stable (cf. [[Rough system|Rough system]]), and a small (in the sense of $C^1$) perturbation of a $Y$-system is again a $Y$-system. The number of periodic trajectories of a $Y$-system of period at most $T$ increases exponentially with $T$. $Y$-systems possess strong ergodic properties with respect to the wide class of so-called "Gibbs" invariant measures (see [[#References|[4]]]–[[#References|[6]]]). In particular, if a $Y$-system has a finite invariant measure "compatible with the smoothness", that is, defined in terms of local coordinates by a positive density (in the early papers, only measures of this type were considered: see –[[#References|[3]]]), then it must be a Gibbs measure. Thus, if a $Y$-diffeomorphism does not have wandering points (cf. [[Wandering point|Wandering point]]), then it is metrically isomorphic to a [[Bernoulli automorphism|Bernoulli automorphism]]: under broad assumptions the convergence of the time averages to the space average is subject to the central limit theorem, and the rate of intermixing is exponential ("exponential decay of correlations").

In the investigation of $Y$-systems, frequent use is made of [[Symbolic dynamics|symbolic dynamics]], which became possible due to the Markov partitions introduced in [[#References|[7]]], [[#References|[8]]] (the definitive version is in [[#References|[5]]], cf. also [[Symbolic dynamics|Symbolic dynamics]]). A number of results about $Y$-systems have been proved to hold also for certain other types of hyperbolic sets. There are also less direct generalizations, in which the conditions of hyperbolicity are weakened slightly (see [[#References|[6]]], ).

Hyperbolic automorphisms of tori and geodesic flows (cf. [[Geodesic flow|Geodesic flow]]) on closed manifolds of negative curvature are $Y$-systems. There are also other examples of a related algebraic-geometric nature. In these examples, the $Y$-system has an invariant measure compatible with the smoothness. By a small perturbation, such a measure can disappear, but in view of the structural stability all points remain non-wandering. Examples of $Y$-systems with wandering points (see [[#References|[9]]]) are of a fundamentally different character.

The existence of a $Y$-system on a manifold imposes restrictions on the topological properties of the manifold. Little is known about this in general (see [[#References|[10]]], [[#References|[11]]]), but the case when the stable or unstable manifold (see [[Hyperbolic set|Hyperbolic set]]) is one-dimensional has been investigated thoroughly (see [[#References|[9]]], , [[#References|[13]]], [[#References|[15]]]).

====References====
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  D.V. Anosov,   "Roughness of geodesic flows on compact Riemannian manifolds of negative curvature"  ''Soviet Math. Dokl.'' , '''3'''  (1962)  pp. 1068–1069  ''Dokl. Akad. Nauk SSSR'' , '''145''' :  4  (1962)  pp. 707–709</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  D.V. Anosov,   "Ergodic properties of geodesic flows on closed Riemannian manifolds of negative curvature"  ''Soviet Math. Dokl.'' , '''4'''  (1963)  pp. 1153–1156  ''Dokl. Akad. Nauk SSSR'' , '''151''' :  6  (1963)  pp. 1250–1252</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D.V. Anosov,   "Geodesic flows on closed Riemann manifolds of negative curvature"  ''Proc. Steklov Inst. Math.'' , '''90'''  (1969)  ''Trudy Mat. Inst. Steklov.'' , '''90'''  (1967)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  D.V. Anosov,   "Some smooth ergodic systems"  ''Russian Math. Surveys'' , '''22''' :  5  (1967)  pp. 103–167  ''Uspekhi Mat. Nauk.'' , '''22''' :  5  (1967)  pp. 107–172</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  Ya.G. Sinai,   "Gibbs measures in ergodic theory"  ''Russian Math. Surveys'' , '''27''' :  4  (1972)  pp. 21–64  ''Uspekhi Mat. Nauk.''</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  R. Bowen,   "Equilibrium states and the ergodic theory of Anosov diffeomorphisms" , ''Lect. notes in math.'' , '''470''' , Springer  (1975)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  A.B. Katok,   Ya.G. Sinai,   A.M. Stepin,   "Theory of dynamical systems and general transformation groups with invariant measure"  ''J. Soviet Math.'' , '''7'''  (1977)  pp. 974–1065  ''Itogi Nauk. i Tekhn. Mat. Anal.'' , '''13'''  (1975)  pp. 129–262</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  R.L. Adler,   B. Weiss,   "Similarity of automorphisms of the torus"  ''Mem. Amer. Math. Soc.'' , '''98'''  (1970)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  Ya.G. Sinai,   "Construction of Markov partitions"  ''Funct. Anal. Appl.'' , '''2'''  (1968)  pp. 70–80  ''Funkts. Anal. i Prilozh.'' , '''2'''  (1968)  pp. 64–89</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  J.M. Franks,   B. Williams,   "Anomalous Anosov flows"  Z. Nitecki (ed.)  C. Robinson (ed.) , ''Global theory of dynamical systems (Proc. Evanston, 1969)'' , ''Lect. notes in math.'' , '''819''' , Springer  (1980)  pp. 158–174</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  M.W. Hirsch,   "Anosov maps, polycyclic groups and homology"  ''Topology'' , '''10''' :  3  (1971)  pp. 177–183</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  K. Shiraiwa,   "Manifolds which do not admit Anosov diffeomorphisms"  ''Nagoya Math. J.'' , '''49'''  (1973)  pp. 111–115</TD></TR><TR><TD valign="top">[12a]</TD> <TD valign="top">  J.M. Franks,   "Anosov diffeomorphisms"  S.-S. Chern (ed.)  S. Smale (ed.) , ''Global analysis'' , ''Proc. Symp. Pure Math.'' , '''14''' , Amer. Math. Soc.  (1970)  pp. 61–93</TD></TR><TR><TD valign="top">[12b]</TD> <TD valign="top">  S.E. Newhouse,   "On codimension one Anosov diffeomorphisms"  ''Amer. J. Math.'' , '''92'''  (1970)  pp. 761–770</TD></TR><TR><TD valign="top">[12c]</TD> <TD valign="top">  A. Manning,   "There are no new Anosov diffeomorphisms on tori"  ''Amer. J. Math.'' , '''96'''  (1974)  pp. 422–429</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  A. Verjovsky,   "Codimension one Anosov flows"  ''Bolet. Soc. Mat. Mexicana'' , '''19''' :  2  (1974)  pp. 49–77</TD></TR><TR><TD valign="top">[14a]</TD> <TD valign="top">  A. Fahti,   F. Laudenbach,   "Les feuilletages mesurés"  ''Astérisque'' , '''66–67'''  (1979)  pp. 71–126</TD></TR><TR><TD valign="top">[14b]</TD> <TD valign="top">  A. Fahti,   F. Laudenbach,   "Comment Thurston compactifie l'espace de Teichmüller"  ''Astérisque'' , '''66–67'''  (1979)  pp. 139–158</TD></TR><TR><TD valign="top">[14c]</TD> <TD valign="top">  A. Fahti,   V. Poénaru,   "Theorème d'unicité des difféomorphismes pseudo-Anosov"  ''Astérisque'' , '''66–67'''  (1979)  pp. 225–242</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  V.V. Solodov,   "Topological questions in the theory of dynamical systems"  ''Russian Math. Surveys'' , '''46''' :  4  (1991)  pp. 107–130  ''Uspekhi Mat. Nauk'' , '''46''' :  4  (1991)  pp. 91–114</TD></TR></table>

====Comments====
In Western literature the term Anosov system (-flow, -diffeomorphism) is consistently used. Anosov flows are particular cases of Axiom-$A$ flows, i.e., flows on compact manifolds in which the set of non-wandering points (cf. [[Non-wandering point|Non-wandering point]]) is a [[Hyperbolic set|hyperbolic set]] in which the periodic points (cf. [[Periodic point|Periodic point]]) are dense. Axiom-$A$ flows were introduced by S. Smale. Much information about Anosov systems can be found in [[#References|[a2]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T. Adachi,   "Distribution of closed orbits with a pre-assigned homology class in a negatively curved manifold"  ''Nagoya Math. J.'' , '''110'''  (1988)  pp. 1–14</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  R. Bowen,   "On Axiom $A$ diffeomorphisms" , Amer. Math. Soc.  (1978)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  P. Eberlein,   "When is a geodesic flow Anosov type?"  ''J. Differential Geom.'' , '''8'''  (1973)  pp. 437–463</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  J.F. Plante,   "Homology of closed orbits of Anosov flows"  ''Proc. Amer. Math. Soc.'' , '''37'''  (1973)  pp. 297–300</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  M. Shub,   "Global stability of dynamical systems" , Springer  (1986)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  W. De Melo,   "Geometric theory of dynamical systems" , Springer  (1982)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  S. Smale,   "Differentiable dynamical systems"  ''Bull. Amer. Math. Soc.'' , '''73'''  (1967)  pp. 747–817</TD></TR></table>