\documentclass[12pt,titlepage]{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}
%----Macros----------
%
% Unresolved issues:
%
% \righttoleftarrow
% \lefttorightarrow
%
% \color{} with HTML colorspec
% \bgcolor
% \array with options (without options, it's equivalent to the matrix environment)
% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}
% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.
% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother
% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
\ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
\else \append@sup#2 \@suptrue \fi%
\expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
\reset@sup\mk@scripts#3_/}
\makeatother
% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
\@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
\copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother
% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
% http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}
% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}
% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}
% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}
% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
<-6> MnSymbolE5
<6-7> MnSymbolE6
<7-8> MnSymbolE7
<8-9> MnSymbolE8
<9-10> MnSymbolE9
<10-12> MnSymbolE10
<12-> MnSymbolE12}{}
% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
\let#1=\undefined
\DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother
% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
\if\relax\noexpand#1%
\let#1\undefined
\fi
\DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother
% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
\setbox\z@\hbox{\m@th$#1#2$}%
\setbox\tw@\hbox{\m@th$#1%
\widehat{%
\vrule\@width\z@\@height\ht\z@
\vrule\@height\z@\@width\wd\z@}$}%
\dp\tw@-\ht\z@
\@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
\setbox\tw@\hbox{%
\raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
{\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother
% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter
% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother
%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}
%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}
% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}
%-------------------------------------------------------------------
\begin{document}
%-------------------------------------------------------------------
\section*{Blog - fluid flows and infinite dimensional manifolds (part 1)}
[[!redirects Blog - fluid flows and infinite-dimensional manifolds (part 1)]] [[!redirects Blog - fluid flows and infinite-dimensional manifolds I]]
This page is a [[Blog articles in progress|blog article in progress]], written by [[Tim van Beek]]. To see discussions of this article while it was being written, visit the \href{http://forum.azimuthproject.org/discussion/909/blog-fluid-flows-and-infinitedimensional-manifolds-i/?Focus=6138#Comment_6138}{Azimuth Forum}. For the final polished article, go to the \href{http://johncarlosbaez.wordpress.com/2012/03/12/fluid-flows-and-infinite-dimensional-manifolds/}{Azimuth Blog}.
Water waves can do a lot of things that light waves cannot, like ``breaking'':
In mathematical models this difference shows up through the kind of partial differential equation (PDE) that models the waves:
$\bullet$ light waves are modelled by equations while
$\bullet$ water waves are modelled by equations.
Physicists like to point out that linear equations model things that do not interact, while nonlinear equations model things that interact with each other. In quantum field theory, people speak of ``free fields'' versus ``interacting fields''.
Some nonlinear PDE that describe fluid flows turn out to also describe geodesics on infinite-dimensional Riemannian manifolds. This fascinating observation is due to the Russian mathematician . In this blog post I would like to talk a little bit about the concepts involved and show you a little toy example.
The Euler viewpoint on fluids is that a fluid is made of tiny ``packages'' or ``particles''. The fluid flow is described by specifying where each package or particle is at a given time $t$. When we start at some time $t_0$ on a given manifold $M$, the flow of every fluid package is described by a path on $M$ parametrized by time, and for every time $t \gt t_0$ there is a $g^t : M \to M$ defined by the requirement that it maps the initial position $x$ of each fluid package to its position $g^t(x)$ at time $t$:
This picture is taken from the book
$\bullet$ V.I. Arnold and B.A. Khesin, , Springer, Berlin, 1998. (.)
We will take as a model of the domain of the fluid flow a $M$. A fluid flow, as pictured above, is then a path in the $\mathrm{Diff}(M)$. In order to apply geometric concepts in this situation, we will have to turn $\mathrm{Diff}(M)$ or some closed subgroup of it into a manifold, which will be infinite dimensional.
The curvature of such a manifold can provide a great deal about the stability of fluid flows: On a manifold with negative curvature geodesics will diverge from each other. If we can model fluid flows as geodesics in a Riemannian manifold and calculate the curvature, we could try to infer a bound on weather forecasts (in fact, that is what Vladimir Arnold did!): The solution that you calculate is one geodesic. But if you take into account errors with determining your starting point (involving the measurement of the state of the flow at the given start time), what you are actually looking at is a bunch of geodesics starting in a neighborhood of your starting point. If they diverge fast, that means that measurement errors make your result unreliable fast.
If you never thought about manifolds in infinite dimensions, you may feel a little bit insecure as to how the concepts that you know from differential geometry can be generalized from finite dimensions. At least I felt this way when I first read about it. But it turns out that the part of the theory one needs to know in order to understand Arnold's insight is not that scary, so I will talk a little bit about it next.
The basic strategy when handling finite-dimensional, smooth, real manifolds is that you have a complicated manifold $M$, but also locally for every point $p \in M$ a neighborhood $U$ and an isomorphism (a ``chart'') of $U$ to an open subset of the vastly simpler space $\mathbb{R}^n$, the ``model space''. These isomorphisms can be used to transport concepts from $\mathbb{R}^n$ to $M$. In infinite dimensions it is however not that clear what kind of model space $E$ should be taken in place of $\mathbb{R}^n$. What structure should $E$ have?
Since we would like to differentiate, we should for example be able to define the derivative of a curve in $E$:
\begin{displaymath}
\gamma: \mathbb{R} \to E
\end{displaymath}
If we write down the usual formula for a derivative``
\begin{displaymath}
\gamma'(t_0) \coloneqq \lim_{t \to 0} \frac{1}{t} (\gamma(t_0 +t) - \gamma(t_0))
\end{displaymath}
we see that to make sense of this we need to be able to add elements, have a scalar multiplication, and a topology such that the algebraic operations are continuous. Sets $E$ with this structure are called .
A curve that has a first derivative, second derivative, third derivative\ldots{} and so on at every point is called a , just as in the finite dimensional case.
So $E$ should at least be a topological vector space. We can, of course, put more structure on $E$ to make it ``more similar'' to $\mathbb{R}^n$, and choose as model space in ascending order of generality:
1) A , which has an inner product,
2) a that does not have a inner product, but a norm,
3) a that does not have a norm, but a metric,
4) a general that need not be metrizable.
People talk accordingly of Hilbert, Banach and Fréchet manifolds. Since the space of smooth maps $C^{\infinity}(\mathbb{R}^n)$ of $\mathbb{R}^n \to \mathbb{R}$, for example, is not a Banach space but a Fréchet space, we should not expect that we can model diffeomorphism groups on Banach spaces, but on Fréchet spaces. So we will use the concept of .
But if you are interested in a more general theory using locally convex topological vector spaces as model spaces, you can look it up here:
$\bullet$ Andreas Kriegl and Peter W. Michor,
Note that Kriegl and Michor use a different definition of ``smooth function of Fréchet spaces'' than we will below.
If you learn functional analysis, you will most likely start with operators on Hilbert spaces. One could say that the theory of topological vector spaces is about abstracting away as much structure from a Hilbert space and look what structure you need for important theorems to still hold true, like the open mapping/closed graph theorem. If you would like to learn more about this, my favorite book is this one:
$\bullet$ Francois Treves, , Dover Publications, 2006.
Since we replace the model space $\mathbb{R}^n$ with a Fréchet space $E$, there will be certain things that won't work out as easily as for the finite dimensional $\mathbb{R}^n$, or not at all.
It is nevertheless possible to define both integrals and differentials that behave much in the expected way. You can find a nice exposition of how this can be done in this paper:
$\bullet$ Richard S. Hamilton, The inverse function theorem of Nash and Moser, (1982), pages 65-222.
The story starts with the definition of the directional derivative that can be done just as in finite dimensions:
Let $F$ and $G$ be Fréchet spaces, $U \subseteq F$ open and $P: U \to G$ a continuous map. The derivative of $P$ at the point $f \in U$ in the direction $h \in F$ is the map
\begin{displaymath}
D P: U \times F \to G
\end{displaymath}
\begin{displaymath}
D P(f) h = \lim_{t \to 0} \frac{1}{t} ( P(f + t h) - P(f))
\end{displaymath}
A simple, but nontrivial example is the operator
\begin{displaymath}
P: C^{\infty}[a, b] \to C^{\infty}[a, b]
\end{displaymath}
\begin{displaymath}
P(f) \coloneqq f f'
\end{displaymath}
with the derivative
\begin{displaymath}
D P(f) h = f'h + f h'
\end{displaymath}
It is possible to define higher derivatives and also prove that the chain rule holds, so that we can define that a function between Fréchet spaces is if it has derivatives at every point of all orders. The definition of a smooth Fréchet manifold is then straightforward: you can copy the usual definition of a smooth manifold word for word, replacing $\mathbb{R}^n$ by some Fréchet space.
With tangent vectors, you may remember that there are several different ways to define them in the finite dimensional case, which turn out to be equivalent. Since there are situations in infinite dimensions where these definitions turn out to be equivalent, I will be explicit and define tangent vectors in the ``kinematic way'':
The (kinematic) $T_p M$ of a Fréchet manifold $M$ at a point $p$ consists of all pairs $(p, c'(0))$ where $c$ is a smooth curve
\begin{displaymath}
c: \mathbb{R} \to M \; \text{with} \; c(0) = p
\end{displaymath}
With this definition, the set of pairs $(p, c'(0)), p \in M$ forms a Fréchet manifold, the tangent bundle $T M$, just as in finite dimensions.
The first serious (more or less) problem we encounter is the definition of the : $\mathbb{R}^n$ is isomorphic to its dual vector space. This is still true for every Hilbert space (this is known as the ). It fails already for Banach spaces: The dual space will still be a Banach space, but a Banach space does not need to be isomorphic to its dual, or even the dual of its dual (though the latter situation happens quite often, and such Banach spaces are called ).
With Fréchet spaces things are even a little bit worse, because the dual of a Fréchet space (which is not a Banach space) is not even a Fréchet space! Since I did not know that and could not find a reference, I asked about this on mathoverflow and promptly got an answer. Mathoverflow is a really amazing platform for this kind of question!
So, if we naively define the cotangent space as in finite dimensions by taking the dual space of every tangent space, then the cotangent bundle won't be a Fréchet manifold.
We will therefore have to be careful with the definition of differential forms for Fréchet manifolds and define it explicitly:
A (a one form) $\alpha$ is a smooth map
\begin{displaymath}
\alpha: T M \to \mathbb{R}
\end{displaymath}
where $T M$ is the tangent bundle, such that $\alpha$ restricts to a linear map on every tangent space $T_p M$.
Another pitfall is that theorems from multivariable calculus may fail in Fréchet spaces, like the existence and uniqueness for ordinary differential equations. Things are much easier in Banach spaces: If you take a closer look at multivariable calculus, you will notice that a lot of definitions and theorems actually make use of the Banach space structure of $\mathbb{R}^n$ only, so that a lot generalizes straight forward to infinite dimensional Banach spaces. But that is less so for Fréchet spaces.
By now you should feel reasonably comfortable with the notion of a Fréchet manifold, so let us talk about the kind of gadget that Arnold used to describe fluid flows: diffeomorphism groups that are both infinite-dimensional Riemannian manifolds and Lie groups.
If $M$ is both a Riemannian manifold and a Lie group, it is possible to define the concept of . A left or right invariant metric $d$ on $M$ is one that does not change if we multiply the arguments with a group element:
A metric $d$ is left invariant iff for all $g, h_1, h_2 \in G$:
\begin{displaymath}
d (h_1, h_2) = d(g h_1, g h_2)
\end{displaymath}
Similarly, $d$ is right invariant iff:
\begin{displaymath}
d (h_1, h_2) = d(h_1 g, h_2 g)
\end{displaymath}
How does one get a one-sided invariant metric?
Here is one possibility: If you take a Lie group $M$ off the shelf, you get two automorphisms for free, namely the left and right multiplication by a group element $g$:
\begin{displaymath}
L_g, R_g: M \to M
\end{displaymath}
\begin{displaymath}
L_g(h) \coloneqq g h
\end{displaymath}
\begin{displaymath}
R_g(h) \coloneqq h g
\end{displaymath}
Pictorially speaking, you can use the differentials of these to transport vectors from the Lie algebra $\mathfrak{m}$ of $M$ - which is the tangential space at the group identity $T_{id}M$ - to any other tangent space $T_g M$. If you can define a scalar product on the Lie algebra, you can use this trick to transport the scalar product to all the other tangential spaces by left or right multiplication, which will get you a left or right invariant metric.
To be more precise, for every tangent vectors $U, V$ of a tangent space $T_{g} M$ there are unique vectors $X, Y$ that are mapped to $U, V$ by the differential of the right multiplication $R_g$, that is
\begin{displaymath}
d R_g X = U \; \text{and} \; d R_g Y = V
\end{displaymath}
and we can define the scalar product of $U$ and $V$ to have the value of that of $X$ and $Y$:
\begin{displaymath}
\langle U, V \rangle \coloneqq \langle X, Y \rangle
\end{displaymath}
This works for the left multiplication $L_g$, too, of course.
For a one-sided invariant metric, the geodesic equation looks somewhat simpler than for general metrics. Let us take a look at that:
On a Riemannian manifold $M$ with tangential bundle $T M$ there is a unique connection, the \href{http://en.wikipedia.org/wiki/Levi-Civita_connection}{Levi-Civita connection}, with the following properties for vector fields $X, Y, Z \in T M$:
\begin{displaymath}
Z \langle X, Y \rangle = \langle \nabla_Z X, Y \rangle + \langle X, \nabla_Z Y \rangle \; \text{(compatibility with the metric)}
\end{displaymath}
\begin{displaymath}
\nabla_X Y - \nabla_Y X = [X, Y] \; \text{(torsion freeness)}
\end{displaymath}
If we combine both formulas we get
\begin{displaymath}
2 \langle \nabla_X Y, Z \rangle = X \langle Y, Z \rangle + Y \langle Z, X \rangle - Z \langle X, Y \rangle + \langle [X, Y], Z \rangle - \langle [Y, Z], X \rangle + \langle [Z, X], Y \rangle
\end{displaymath}
If the scalar products are constant along every flow, i.e. the metric is (left or right) invariant, then the first three terms on the right hand side vanish, so that we get
\begin{displaymath}
2 \langle \nabla_X Y, Z \rangle = \langle [X, Y], Z \rangle - \langle [Y, Z], X \rangle + \langle [Z, X], Y \rangle
\end{displaymath}
This latter formula can be written in a more succinct way if we introduce the . Remeber the adjoint operator defined to be
\begin{displaymath}
ad_X Z = [X, Z]
\end{displaymath}
With the help of the scalar product we can define the adjoint of the adjoint operator:
\begin{displaymath}
\langle ad^*_X Y, Z \rangle \coloneqq \langle Y, ad_X Z \rangle = \langle Y, [X, Z] \rangle
\end{displaymath}
Beware! We're using the word `adjoint' in two completely different ways here, both of which are very common in math. way is to use `adjoint' for the operation of taking a Lie bracket: $ad_X Z = [X,Z]$. is to use `adjoint' for the linear map $T: W^* \to V^*$ coming from a linear map $T: V \to W$ by $(T^* f)(v) = f(Tv)$. Please don't blame me for this terminology.
Then the formula above for the covariant derivative can be written as
\begin{displaymath}
2 \langle \nabla_X Y, Z \rangle = \langle ad_X Y, Z \rangle - \langle ad^*_Y X, Z \rangle - \langle ad^*_X Y, Z \rangle
\end{displaymath}
Since the inner product is nondegenerate, we can eliminate $Z$ and get
\begin{displaymath}
2 \nabla_X Y = ad_X Y - ad^*_X Y - ad^*_Y X
\end{displaymath}
A geodesic curve is one whose tangent vector $X$ is transported parallel to itself, that is we have
\begin{displaymath}
\nabla_X X = 0
\end{displaymath}
Using the formula for the covariant derivative for an invariant metric above we get
\begin{displaymath}
\nabla_X X = - ad^*_X X = 0
\end{displaymath}
as a reformulation of the geodesic equation.
For time dependent dynamical systems, we have the time axis as an additional dimension and every vector field has $\partial_t$ as an additional summand. So, in this case we get as geodesic equation (again: for an invariant metric)
\begin{displaymath}
\nabla_X X = \partial_t X - ad^*_X X = 0
\end{displaymath}
As a simple example we will look at the circle $S^1$ and its diffeomorphism group $D S^1$. The Lie algebra $Vec(S^1)$ of $D S^1$ can be identified with the space of all vector fields on $S^1$. If we sloppily identify $S^1$ with $\mathbb{R}/\mathbb{Z}$ with coordinate $x$, then we can write for vector fields $X = u(x) \partial_x$ and $Y = v(x) \partial_x$ the commutator
\begin{displaymath}
[X, Y] = (u v_x - u_x v) \partial_x
\end{displaymath}
where $u_x$ is short for the derivative:
\begin{displaymath}
u_x \coloneqq \frac{d u}{d x}
\end{displaymath}
And of course we have a scalar product via
\begin{displaymath}
\langle X, Y \rangle = \int_{S^1} u(x) v(x) d x
\end{displaymath}
which we can use to define either a left or a right invariant metric on $D S^1$, by transporting it via left or right multiplication to every tangent space.
Let us evaluate the geodesic equation for this example. We have to calculate the effect of the coadjoint operator:
\begin{displaymath}
\langle ad^*_X Y, Z \rangle \coloneqq \langle Y, ad_X Z \rangle = \langle Y, [X, Z] \rangle
\end{displaymath}
If we write for the vector fields $X = u(x) \partial_x$, $Y = v(x) \partial_x$ and $Z = w(x) \partial_x$, this results in
\begin{displaymath}
\langle ad^*_X Y, Z \rangle = \int_{S^1} v (u w_x - u_x w) d x = - \int_{S^1} (u v_x + 2 u_x v) w d x
\end{displaymath}
where the last step employs integration by parts and uses the periodic boundary condition $f(x + 1) = f(x)$ for the involved functions.
So we get for the coadjoint operator
\begin{displaymath}
ad^*_X Y = - (u v_x + 2 u_x v) \partial_x
\end{displaymath}
Finally, the geodesic equation
\begin{displaymath}
\partial_t X + \nabla_X X = 0
\end{displaymath}
turns out to be
\begin{displaymath}
u_t + 3 u u_x = 0
\end{displaymath}
A similar equation,
\begin{displaymath}
u_t + u u_x = 0
\end{displaymath}
is known as Hopf or . It looks simple, but its solutions can produce behaviour that looks like turbulence, so it is interesting in its own right.
If we take a somewhat more sophisticated diffeomorphism group, we can get slightly more complicated and therefore more interesting partial differential equations like the . But since this post is quite long already, that topic will have to wait for another post.
[[!redirects The shortest path through infinity]] [[!redirects Blog - the shortest path through infinity]] [[!redirects Blog - the shortest path trough infinity]] [[!redirects Blog - fluid flows and infinite-dimensional manifolds]]
category: blog, climate
\end{document}