HOME

TheInfoList



Click Here for Items Related To - Anosov System
OR:
Anosov System on:   [Wikipedia]   [Google]   [Amazon]

In mathematics, more particularly in the fields of
dynamical systems In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in an ambient space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water in ...
and
geometric topology In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another. History Geometric topology as an area distinct from algebraic topology may be said to have originat ...
, an Anosov map on a
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a ...
''M'' is a certain type of mapping, from ''M'' to itself, with rather clearly marked local directions of "expansion" and "contraction". Anosov systems are a special case of
Axiom A In mathematics, Smale's axiom A defines a class of dynamical systems which have been extensively studied and whose dynamics is relatively well understood. A prominent example is the Smale horseshoe map. The term "axiom A" originates with Stephen S ...
systems. Anosov diffeomorphisms were introduced by Dmitri Victorovich Anosov, who proved that their behaviour was in an appropriate sense ''generic'' (when they exist at all). Dmitri V. Anosov, ''Geodesic flows on closed Riemannian manifolds with negative curvature'', (1967) Proc. Steklov Inst. Mathematics. 90.


Overview

Three closely related definitions must be distinguished: * If a differentiable map ''f'' on ''M'' has a hyperbolic structure on the
tangent bundle In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and ...
, then it is called an Anosov map. Examples include the
Bernoulli map The dyadic transformation (also known as the dyadic map, bit shift map, 2''x'' mod 1 map, Bernoulli map, doubling map or sawtooth map) is the mapping (i.e., recurrence relation) : T: , 1) \to , 1)^\infty : x \mapsto (x_0, x_1, x_2, ...
, and [
Arnold's cat map">, 1)^\infty : x \mapsto (x_0, x_1, x_2, ...
, and Arnold's cat map. * If the map is a diffeomorphism, then it is called an Anosov diffeomorphism. * If a flow (mathematics)">flow Flow may refer to: Science and technology * Fluid flow, the motion of a gas or liquid * Flow (geomorphology), a type of mass wasting or slope movement in geomorphology * Flow (mathematics), a group action of the real numbers on a set * Flow (psyc ...
on a manifold splits the tangent bundle into three invariant
subbundle In mathematics, a subbundle U of a vector bundle V on a topological space X is a collection of linear subspaces U_xof the fibers V_x of V at x in X, that make up a vector bundle in their own right. In connection with foliation theory, a subbundl ...
s, with one subbundle that is exponentially contracting, and one that is exponentially expanding, and a third, non-expanding, non-contracting one-dimensional sub-bundle (spanned by the flow direction), then the flow is called an Anosov flow. A classical example of Anosov diffeomorphism is the
Arnold's cat map In mathematics, Arnold's cat map is a chaotic map from the torus into itself, named after Vladimir Arnold, who demonstrated its effects in the 1960s using an image of a cat, hence the name. Thinking of the torus \mathbb^2 as the quotient space ...
. Anosov proved that Anosov diffeomorphisms are
structurally stable In mathematics, structural stability is a fundamental property of a dynamical system which means that the qualitative behavior of the trajectories is unaffected by small perturbations (to be exact ''C''1-small perturbations). Examples of such ...
and form an open subset of mappings (flows) with the ''C''1 topology. Not every manifold admits an Anosov diffeomorphism; for example, there are no such diffeomorphisms on the
sphere A sphere () is a Geometry, geometrical object that is a solid geometry, three-dimensional analogue to a two-dimensional circle. A sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
. The simplest examples of compact manifolds admitting them are the tori: they admit the so-called linear Anosov diffeomorphisms, which are isomorphisms having no eigenvalue of modulus 1. It was proved that any other Anosov diffeomorphism on a torus is topologically conjugate to one of this kind. The problem of classifying manifolds that admit Anosov diffeomorphisms turned out to be very difficult, and still has no answer. The only known examples are
infranil manifold This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology. The following articles may also be useful; they either contain specialised vocabulary or provid ...
s, and it is conjectured that they are the only ones. A sufficient condition for transitivity is that all points are nonwandering: \Omega(f)=M . Also, it is unknown if every C^1 volume-preserving Anosov diffeomorphism is ergodic. Anosov proved it under a C^2 assumption. It is also true for C^ volume-preserving Anosov diffeomorphisms. For C^2 transitive Anosov diffeomorphism f\colon M\to M there exists a unique SRB measure (the acronym stands for Sinai, Ruelle and Bowen) \mu_f supported on M such that its basin B(\mu_f) is of full volume, where : B(\mu_f)= \left \.


Anosov flow on (tangent bundles of) Riemann surfaces

As an example, this section develops the case of the Anosov flow on the
tangent bundle In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and ...
of a
Riemann surface In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed ve ...
of negative
curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the can ...
. This flow can be understood in terms of the flow on the tangent bundle of the
Poincaré half-plane model In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H = \, together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry. Equivalently the Poincaré ...
of hyperbolic geometry. Riemann surfaces of negative curvature may be defined as
Fuchsian model In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in mod ...
s, that is, as the quotients of the
upper half-plane In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to ...
and a
Fuchsian group In mathematics, a Fuchsian group is a discrete subgroup of PSL(2,R). The group PSL(2,R) can be regarded equivalently as a group of isometries of the hyperbolic plane, or conformal transformations of the unit disc, or conformal transformations ...
. For the following, let ''H'' be the upper half-plane; let Γ be a Fuchsian group; let ''M'' = ''H''/Γ be a Riemann surface of negative curvature as the quotient of "M" by the action of the group Γ, and let T^1 M be the tangent bundle of unit-length vectors on the manifold ''M'', and let T^1 H be the tangent bundle of unit-length vectors on ''H''. Note that a bundle of unit-length vectors on a surface is the
principal bundle In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equ ...
of a complex
line bundle In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organisin ...
.


Lie vector fields

One starts by noting that T^1 H is isomorphic to the
Lie group In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the addit ...
PSL(2,R). This group is the group of orientation-preserving
isometries In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' mea ...
of the upper half-plane. The
Lie algebra In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi iden ...
of PSL(2,R) is sl(2,R), and is represented by the matrices :J=\begin 1/2 &0\\ 0&-1/2\\ \end \qquad X=\begin0&1\\ 0&0\\ \end \qquad Y=\begin0&0\\ 1&0 \end which have the algebra : ,XX \qquad ,Y= -Y \qquad ,Y= 2J The exponential maps :g_t = \exp(tJ)= \begine^&0\\ 0&e^\\ \end \qquad h^*_t = \exp(tX)=\begin1&t\\ 0&1\\ \end \qquad h_t = \exp(tY)= \begin1&0\\ t&1\\ \end define right-invariant
flow Flow may refer to: Science and technology * Fluid flow, the motion of a gas or liquid * Flow (geomorphology), a type of mass wasting or slope movement in geomorphology * Flow (mathematics), a group action of the real numbers on a set * Flow (psyc ...
s on the manifold of T^1 H = \operatorname(2,\R), and likewise on T^1M. Defining P=T^1H and Q=T^1M, these flows define vector fields on ''P'' and ''Q'', whose vectors lie in ''TP'' and ''TQ''. These are just the standard, ordinary Lie vector fields on the manifold of a Lie group, and the presentation above is a standard exposition of a Lie vector field.


Anosov flow

The connection to the Anosov flow comes from the realization that g_t is the
geodesic flow In geometry, a geodesic () is a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...
on ''P'' and ''Q''. Lie vector fields being (by definition) left invariant under the action of a group element, one has that these fields are left invariant under the specific elements g_t of the geodesic flow. In other words, the spaces ''TP'' and ''TQ'' are split into three one-dimensional spaces, or
subbundle In mathematics, a subbundle U of a vector bundle V on a topological space X is a collection of linear subspaces U_xof the fibers V_x of V at x in X, that make up a vector bundle in their own right. In connection with foliation theory, a subbundl ...
s, each of which are invariant under the geodesic flow. The final step is to notice that vector fields in one subbundle expand (and expand exponentially), those in another are unchanged, and those in a third shrink (and do so exponentially). More precisely, the tangent bundle ''TQ'' may be written as the
direct sum The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a mo ...
:TQ = E^+ \oplus E^0 \oplus E^- or, at a point g \cdot e = q \in Q, the direct sum :T_qQ = E_q^+ \oplus E_q^0 \oplus E_q^- corresponding to the Lie algebra generators ''Y'', ''J'' and ''X'', respectively, carried, by the left action of group element ''g'', from the origin ''e'' to the point ''q''. That is, one has E_e^+=Y, E_e^0=J and E_e^-=X. These spaces are each
subbundle In mathematics, a subbundle U of a vector bundle V on a topological space X is a collection of linear subspaces U_xof the fibers V_x of V at x in X, that make up a vector bundle in their own right. In connection with foliation theory, a subbundl ...
s, and are preserved (are invariant) under the action of the
geodesic flow In geometry, a geodesic () is a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...
; that is, under the action of group elements g=g_t. To compare the lengths of vectors in T_qQ at different points ''q'', one needs a metric. Any
inner product In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often ...
at T_eP=sl(2,\R) extends to a left-invariant
Riemannian metric In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent spac ...
on ''P'', and thus to a Riemannian metric on ''Q''. The length of a vector v \in E^+_q expands exponentially as exp(t) under the action of g_t. The length of a vector v \in E^-_q shrinks exponentially as exp(-t) under the action of g_t. Vectors in E^0_q are unchanged. This may be seen by examining how the group elements commute. The geodesic flow is invariant, :g_sg_t=g_tg_s=g_ but the other two shrink and expand: :g_sh^*_t = h^*_g_s and :g_sh_t = h_g_s where we recall that a tangent vector in E^+_q is given by the
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. ...
, with respect to ''t'', of the
curve In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
h_t, the setting t=0.


Geometric interpretation of the Anosov flow

When acting on the point z=i of the upper half-plane, g_t corresponds to a
geodesic In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...
on the upper half plane, passing through the point z=i. The action is the standard
Möbius transformation In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form f(z) = \frac of one complex variable ''z''; here the coefficients ''a'', ''b'', ''c'', ''d'' are complex numbers satisfying ''ad' ...
action of SL(2,R) on the upper half-plane, so that :g_t \cdot i = \begin \exp(t/2) & 0 \\ 0 & \exp(-t/2) \end \cdot i = i\exp(t) A general geodesic is given by :\begin a & b \\ c & d \end \cdot i\exp(t) = \frac with ''a'', ''b'', ''c'' and ''d'' real, with ad-bc=1. The curves h^*_t and h_t are called
horocycle In hyperbolic geometry, a horocycle (), sometimes called an oricycle, oricircle, or limit circle, is a curve whose normal or perpendicular geodesics all converge asymptotically in the same direction. It is the two-dimensional case of a horosphe ...
s. Horocycles correspond to the motion of the normal vectors of a
horosphere In hyperbolic geometry, a horosphere (or parasphere) is a specific hypersurface in hyperbolic ''n''-space. It is the boundary of a horoball, the limit of a sequence of increasing balls sharing (on one side) a tangent hyperplane and its point of ...
on the upper half-plane.


See also

*
Ergodic flow In mathematics, ergodic flows occur in geometry, through the geodesic and horocycle flows of closed hyperbolic surfaces. Both of these examples have been understood in terms of the theory of unitary representations of locally compact groups: if Γ ...
* Morse–Smale system *
Pseudo-Anosov map In mathematics, specifically in topology, a pseudo-Anosov map is a type of a diffeomorphism or homeomorphism of a surface. It is a generalization of a linear Anosov diffeomorphism In mathematics, more particularly in the fields of dynamical sy ...


Notes


References

* * Anthony Manning, ''Dynamics of geodesic and horocycle flows on surfaces of constant negative curvature'', (1991), appearing as Chapter 3 in ''Ergodic Theory, Symbolic Dynamics and Hyperbolic Spaces'', Tim Bedford, Michael Keane and Caroline Series, Eds. Oxford University Press, Oxford (1991). ''(Provides an expository introduction to the Anosov flow on'' SL(2,R).) * *
Toshikazu Sunada is a Japanese mathematician and author of many books and essays on mathematics and mathematical sciences. He is professor emeritus of both Meiji University and Tohoku University. He is also distinguished professor of emeritus at Meiji in recogni ...
, ''Magnetic flows on a Riemann surface'', Proc. KAIST Math. Workshop (1993), 93–108. {{Chaos theory Diffeomorphisms Dynamical systems Hyperbolic geometry