Math 2.0

Dynamical systems and ergodic theory Smooth and hyperbolic dynamics Example

Geodesic flow

Builds on GeodesicRiemannian manifoldTangent bundleSectional curvature

Example

Let MM be a complete Riemannian manifold with tangent bundle TMTM. Let SMSM be its unit tangent bundle, the set of tangent vectors of length 11. For v∈SMv \in SM let γv\gamma_v be the geodesic with γv(0)\gamma_v(0) the base point of vv and γv′(0)=v\gamma_v'(0) = v. The geodesic flow is φt(v)=γv′(t)\varphi_t(v) = \gamma_v'(t) for t∈ℝt \in \R. It is defined for all tt because MM is complete, and φs+t=φs∘φt\varphi_{s+t} = \varphi_s \circ \varphi_t because t↦γv(s+t)t \mapsto \gamma_v(s + t) is the geodesic with initial vector γv′(s)\gamma_v'(s). So it is a smooth dynamical system in continuous time on SMSM.

Check on the flat torus M=ℝ2/ℤ2M = \R^2/\Z^2: geodesics are straight lines, so SM=M×S1SM = M \times S^1 and φt(x,v)=(x+tv,v)\varphi_t(x, v) = (x + t v, v). For a direction vv of irrational slope, the orbit of (x,v)(x, v) is dense in the torus M×{v}M \times \set{v}. For a direction of rational slope, every orbit is periodic.

Remarks

The geodesic flow preserves the Liouville measure on SMSM, the product of the Riemannian volume and the uniform measure on each unit sphere. If MM is compact and its sectional curvature is negative everywhere, the geodesic flow is an Anosov flow, as Anosov proved, and it is ergodic for the Liouville measure. For a surface of constant curvature −1-1 it can be written as a homogeneous flow, see geodesic flow on a locally symmetric space. Identify TMTM with the cotangent bundle T∗MT^*M by the metric. Then the geodesic flow is the Hamiltonian flow of the kinetic energy H(v)=12∥v∥2H(v) = \frac12\norm{v}^2, restricted to an energy level.

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Geodesic concept
  2. Riemannian metric concept
  3. Sectional curvature concept
  4. Smooth function concept
  5. Smooth manifold concept
  6. Riemannian manifold definition
  7. Tangent bundle definition
  8. Geodesic flow example

Where this leads

2 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Geodesic
About this page
TagVF43FTDA1H
URIm2://VF43FTDA1H
Kindexample
WritingW0 stub
MSC37D40, 53D25
Instance ofSmooth dynamical system
UsesGeodesic, Riemannian manifold, Tangent bundle, Sectional curvature

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by