"Synthetic" proof of geodesic flow equation? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T03:21:55Z http://mathoverflow.net/feeds/question/32051 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/32051/synthetic-proof-of-geodesic-flow-equation "Synthetic" proof of geodesic flow equation? Mikola 2010-07-15T18:52:06Z 2010-07-16T01:51:00Z <p>First, let me explain what I mean by "synthetic" in the title, which is a proof that reasons purely axiomatically and does not explicitly invoke local coordinate charts (either via concrete expansions or Penrose-style abstract tensor notation). For example in Euclidean geometry, one can either prove statements using Euclid's postulates or via vector arithmetic/Cartesian geometry. Euclidean proofs tend to be shorter and more elegant, but the arithmetical proofs tend to be easier to discover.</p> <p>To better illustrate in the context of geodesic flow, this I shall now sketch out a basic non-synthetic (arithmetical) derivation for the geodesic equation. Given a compact, path-connected Riemannian manifold (M, g) and a pair of designated points A, B, find a path $\gamma : [0, 1] \to M$ to</p> <p>Minimize: $\int \limits_0^1 g_{\gamma(t)}( \dot{\gamma}(t), \dot{\gamma}(t) ) dt$</p> <p>Subject to: $\gamma(0) = A, \gamma(1) = B$</p> <p>Now we construct a variation, $\gamma' : (-\epsilon, \epsilon) \times [0,1] \to M$ such that for all s, t, $\gamma'(0, t) = \gamma(t)$, $\gamma(s,0) = A$ and $\gamma(s, 1) = B$. So, a path $\gamma$ is an extremal if for all variations $\gamma'$,</p> <p>$\left. \frac{d}{d s} \right|_{s = 0} \int \limits_0^1 g_{\gamma(s, t)}( \frac{d}{d t}\gamma(s, t), \frac{d}{d t}\gamma(s, t) ) dt = 0$</p> <p>So far so good. Now at this point, the usual strategy is to fix a subinterval $(a, b) \subset [0,1]$ such that for all t in (a,b), $\gamma (t)$ is contained within a single coordinate chart, then expand the functional in terms of this basis and apply the Euler-Lagrange equations. If you do this, then lo-and-behold differentiating the metric gives you a second order term and the Christoffel symbols, which corresponds to the Levi-Civita connection. To extend this to a global result requires showing that the Euler-Lagrange equations agree across a boundary and that the metric is locally convex.</p> <p>Now my question is can we do this last part synthetically? In other words, just using the basic properties of connections can we prove that this has to be an extremum of the length functional? I really would hope so, otherwise why go through all the trouble of defining connections axiomatically, just pick coordinates and Christoffel symbols and be done with it!</p> http://mathoverflow.net/questions/32051/synthetic-proof-of-geodesic-flow-equation/32101#32101 Answer by Deane Yang for "Synthetic" proof of geodesic flow equation? Deane Yang 2010-07-16T01:51:00Z 2010-07-16T01:51:00Z <p>If $(s,t) \mapsto \Gamma(s,t)$ is a family of curves in Riemannian manifold $M$, where $s \in [0,1]$ is the curve parameter and $t \in (-\delta,\delta)$ is the variation parameter, let $S = \partial_s\Gamma, T = \partial_t\Gamma \in T_{\Gamma(s,t)}M$. Note that $[S,T] = 0$. Then the derivative of the energy functional can be computed as follows:</p> <p>If we assume that the two endpoints are fixed, then $T(0) = T(1) = 0$. Therefore,</p> <p>$$\frac{d}{dt}\int_0^1 |S|^2\,ds = \int_0^1 \frac{d}{dt}(S\cdot S)\,ds$$ $$= 2\int_0^1 S\cdot\nabla_TS\,ds$$ $$= 2\int_0^1 S\cdot\nabla_ST\,ds$$ $$= 2\int_0^1 \partial_s(S,T) - T\cdot\nabla_S S\,ds$$ $$= -2\int_0^1 T\cdot\nabla_S S\,ds.$$</p> <p>The second variation formula can be derived using a similar calculation.</p> <p>This calculation, however, makes no sense on the manifold itself, since the two vector "fields" $S$ and $T$ are defined only on the image of $\Gamma$, which is a possibly degenerate surface. What you need to do is to pull back the tangent bundle of $M$ to a rank $n$ vector bundle over $[0,1]\times(-\delta,\delta)$ and pull back the Riemannian metric and Levi-Civita connection back to an inner product and connection on the vector bundle and view the calculation above as being on that vector bundle. The easiest way to check that this works is, well, write everything with respect to local co-ordinates. Still, I do prefer this approach to doing calculations. Christoffel symbols are to be avoided as much as possible.</p>