What’s new

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao

# Tag Archive

You are currently browsing the tag archive for the ‘geodesic flow’ tag.

## The Euler-Arnold equation

7 June, 2010 in expository, math.AP, math.DG, math.DS | Tags: Euler equation, Euler-Arnold equation, geodesic flow, Lax pair, Vladimir Arnold | by Terence Tao | 18 comments

A (smooth) Riemannian manifold is a smooth manifold ${M}$ without boundary, equipped with a Riemannian metric ${{\rm g}}$, which assigns a length ${|v|_{{\rm g}(x)} \in {\bf R}^+}$ to every tangent vector ${v \in T_x M}$ at a point ${x \in M}$, and more generally assigns an inner product

$\displaystyle \langle v, w \rangle_{{\rm g}(x)} \in {\bf R}$

to every pair of tangent vectors ${v, w \in T_x M}$ at a point ${x \in M}$. (We use Roman font for ${g}$ here, as we will need to use ${g}$ to denote group elements later in this post.) This inner product is assumed to symmetric, positive definite, and smoothly varying in ${x}$, and the length is then given in terms of the inner product by the formula

$\displaystyle |v|_{{\rm g}(x)}^2 := \langle v, v \rangle_{{\rm g}(x)}.$

In coordinates (and also using abstract index notation), the metric ${{\rm g}}$ can be viewed as an invertible symmetric rank ${(0,2)}$ tensor ${{\rm g}_{ij}(x)}$, with

$\displaystyle \langle v, w \rangle_{{\rm g}(x)} = {\rm g}_{ij}(x) v^i w^j.$

One can also view the Riemannian metric as providing a (self-adjoint) identification between the tangent bundle ${TM}$ of the manifold and the cotangent bundle ${T^* M}$; indeed, every tangent vector ${v \in T_x M}$ is then identified with the cotangent vector ${\iota_{TM \rightarrow T^* M}(v) \in T_x^* M}$, defined by the formula

$\displaystyle \iota_{TM \rightarrow T^* M}(v)(w) := \langle v, w \rangle_{{\rm g}(x)}.$

In coordinates, ${\iota_{TM \rightarrow T^* M}(v)_i = {\rm g}_{ij} v^j}$.

A fundamental dynamical system on the tangent bundle (or equivalently, the cotangent bundle, using the above identification) of a Riemannian manifold is that of geodesic flow. Recall that geodesics are smooth curves ${\gamma: [a,b] \rightarrow M}$ that minimise the length

$\displaystyle |\gamma| := \int_a^b |\gamma'(t)|_{{\rm g}(\gamma(t))}\ dt.$

There is some degeneracy in this definition, because one can reparameterise the curve ${\gamma}$ without affecting the length. In order to fix this degeneracy (and also because the square of the speed is a more tractable quantity analytically than the speed itself), it is better if one replaces the length with the energy

$\displaystyle E(\gamma) := \frac{1}{2} \int_a^b |\gamma'(t)|_{{\rm g}(\gamma(t))}^2\ dt.$

Minimising the energy of a parameterised curve ${\gamma}$ turns out to be the same as minimising the length, together with an additional requirement that the speed ${|\gamma'(t)|_{{\rm g}(\gamma(t))}}$ stay constant in time. Minimisers (and more generally, critical points) of the energy functional (holding the endpoints fixed) are known as geodesic flows. From a physical perspective, geodesic flow governs the motion of a particle that is subject to no external forces and thus moves freely, save for the constraint that it must always lie on the manifold ${M}$.

One can also view geodesic flows as a dynamical system on the tangent bundle (with the state at any time ${t}$ given by the position ${\gamma(t) \in M}$ and the velocity ${\gamma'(t) \in T_{\gamma(t)} M}$) or on the cotangent bundle (with the state then given by the position ${\gamma(t) \in M}$ and the momentum ${\iota_{TM \rightarrow T^* M}( \gamma'(t) ) \in T_{\gamma(t)}^* M}$). With the latter perspective (sometimes referred to as cogeodesic flow), geodesic flow becomes a Hamiltonian flow, with Hamiltonian ${H: T^* M \rightarrow {\bf R}}$ given as

$\displaystyle H( x, p ) := \frac{1}{2} \langle p, p \rangle_{{\rm g}(x)^{-1}} = \frac{1}{2} {\rm g}^{ij}(x) p_i p_j$

where ${\langle ,\rangle_{{\rm g}(x)^{-1}}: T^*_x M \times T^*_x M \rightarrow {\bf R}}$ is the inverse inner product to ${\langle, \rangle_{{\rm g}(x)}: T_x M \times T_x M \rightarrow {\bf R}}$, which can be defined for instance by the formula

$\displaystyle \langle p_1, p_2 \rangle_{{\rm g}(x)^{-1}} = \langle \iota_{TM \rightarrow T^* M}^{-1}(p_1), \iota_{TM \rightarrow T^* M}^{-1}(p_2)\rangle_{{\rm g}(x)}.$

In coordinates, geodesic flow is given by Hamilton’s equations of motion

$\displaystyle \frac{d}{dt} x^i = {\rm g}^{ij} p_j; \quad \frac{d}{dt} p_i = - \frac{1}{2} (\partial_i {\rm g}^{jk}(x)) p_j p_k.$

In terms of the velocity ${v^i := \frac{d}{dt} x^i = {\rm g}^{ij} p_j}$, we can rewrite these equations as the geodesic equation

$\displaystyle \frac{d}{dt} v^i = - \Gamma^i_{jk} v^j v^k$

where

$\displaystyle \Gamma^i_{jk} = \frac{1}{2} {\rm g}^{im} (\partial_k {\rm g}_{mj} + \partial_j {\rm g}_{mk} - \partial_m {\rm g}_{jk} )$

are the Christoffel symbols; using the Levi-Civita connection ${\nabla}$, this can be written more succinctly as

$\displaystyle (\gamma^* \nabla)_t v = 0.$

If the manifold ${M}$ is an embedded submanifold of a larger Euclidean space ${R^n}$, with the metric ${{\rm g}}$ on ${M}$ being induced from the standard metric on ${{\bf R}^n}$, then the geodesic flow equation can be rewritten in the equivalent form

$\displaystyle \gamma''(t) \perp T_{\gamma(t)} M,$

where ${\gamma}$ is now viewed as taking values in ${{\bf R}^n}$, and ${T_{\gamma(t)} M}$ is similarly viewed as a subspace of ${{\bf R}^n}$. This is intuitively obvious from the geometric interpretation of geodesics: if the curvature of a curve ${\gamma}$ contains components that are transverse to the manifold rather than normal to it, then it is geometrically clear that one should be able to shorten the curve by shifting it along the indicated transverse direction. It is an instructive exercise to rigorously formulate the above intuitive argument. This fact also conforms well with one’s physical intuition of geodesic flow as the motion of a free particle constrained to be in ${M}$; the normal quantity ${\gamma''(t)}$ then corresponds to the centripetal force necessary to keep the particle lying in ${M}$ (otherwise it would fly off along a tangent line to ${M}$, as per Newton’s first law). The precise value of the normal vector ${\gamma''(t)}$ can be computed via the second fundamental form as ${\gamma''(t) = \Pi_{\gamma(t)}( \gamma'(t), \gamma'(t) )}$, but we will not need this formula here.

In a beautiful paper from 1966, Vladimir Arnold (who, sadly, passed away last week), observed that many basic equations in physics, including the Euler equations of motion of a rigid body, and also (by which is a priori a remarkable coincidence) the Euler equations of fluid dynamics of an inviscid incompressible fluid, can be viewed (formally, at least) as geodesic flows on a (finite or infinite dimensional) Riemannian manifold. And not just any Riemannian manifold: the manifold is a Lie group (or, to be truly pedantic, a torsor of that group), equipped with a right-invariant (or left-invariant, depending on one’s conventions) metric. In the context of rigid bodies, the Lie group is the group ${SE(3) = {\bf R}^3 \rtimes SO(3)}$ of rigid motions; in the context of incompressible fluids, it is the group ${Sdiff({\bf R}^3}$) of measure-preserving diffeomorphisms. The right-invariance makes the Hamiltonian mechanics of geodesic flow in this context (where it is sometimes known as the Euler-Arnold equation or the Euler-Poisson equation) quite special; it becomes (formally, at least) completely integrable, and also indicates (in principle, at least) a way to reformulate these equations in a Lax pair formulation. And indeed, many further completely integrable equations, such as the Korteweg-de Vries equation, have since been reinterpreted as Euler-Arnold flows.

From a physical perspective, this all fits well with the interpretation of geodesic flow as the free motion of a system subject only to a physical constraint, such as rigidity or incompressibility. (I do not know, though, of a similarly intuitive explanation as to why the Korteweg de Vries equation is a geodesic flow.)

One consequence of being a completely integrable system is that one has a large number of conserved quantities. In the case of the Euler equations of motion of a rigid body, the conserved quantities are the linear and angular momentum (as observed in an external reference frame, rather than the frame of the object). In the case of the two-dimensional Euler equations, the conserved quantities are the pointwise values of the vorticity (as viewed in Lagrangian coordinates, rather than Eulerian coordinates). In higher dimensions, the conserved quantity is now the (Hodge star of) the vorticity, again viewed in Lagrangian coordinates. The vorticity itself then evolves by the vorticity equation, and is subject to vortex stretching as the diffeomorphism between the initial and final state becomes increasingly sheared.

The elegant Euler-Arnold formalism is reasonably well-known in some circles (particularly in Lagrangian and symplectic dynamics, where it can be viewed as a special case of the Euler-Poincaré formalism or Lie-Poisson formalism respectively), but not in others; I for instance was only vaguely aware of it until recently, and I think that even in fluid mechanics this perspective to the subject is not always emphasised. Given the circumstances, I thought it would therefore be appropriate to present Arnold’s original 1966 paper here. (For a more modern treatment of these topics, see the books of Arnold-Khesin and Marsden-Ratiu.)

In order to avoid technical issues, I will work formally, ignoring questions of regularity or integrability, and pretending that infinite-dimensional manifolds behave in exactly the same way as their finite-dimensional counterparts. In the finite-dimensional setting, it is not difficult to make all of the formal discussion below rigorous; but the situation in infinite dimensions is substantially more delicate. (Indeed, it is a notorious open problem whether the Euler equations for incompressible fluids even forms a global continuous flow in a reasonable topology in the first place!) However, I do not want to discuss these analytic issues here; see this paper of Ebin and Marsden for a treatment of these topics.

Read the rest of this entry »

### Recent Comments

Sandeep Murthy on An elementary non-commutative…
Luqing Ye on 245A, Notes 2: The Lebesgue…
Frank on Soft analysis, hard analysis,…
andrescaicedo on Soft analysis, hard analysis,…
Richard Palais on Pythagoras’ theorem
The Coffee Stains in… on Does one have to be a genius t…
Benoît Régent-Kloeck… on (Ingrid Daubechies) Planning f…
Luqing Ye on 245B, Notes 7: Well-ordered se…
Luqing Ye on 245B, Notes 7: Well-ordered se…
Arjun Jain on 245B, Notes 7: Well-ordered se…
%anchor_text% on Books
Luqing Ye on 245B, Notes 7: Well-ordered se…
Arjun Jain on 245B, Notes 7: Well-ordered se…
Luqing Ye on 245A, Notes 2: The Lebesgue…
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 64, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9093711376190186, "perplexity_flag": "head"}