# What does it mean “being geodesic” is not invariant?

We know that "being geodesic" is not invariant under re-parametrization. Only affine re-parametrization preserves the property of being a geodesic. Also, a geodesic is locally distance minimizer.

## My question is

Let $\alpha(s)$ be a geodesic on a manifold $M$, if we parametrize it to be $\beta(t)$ where $t=t(s)$ is not affine. The curve $\beta$ is not a geodesic and hence is not minimizer!!!

Geometrically they represent the same curve on $M$ and the metric is the same, why one of them is minimizer and the second is not. I know the proofs and the properties, I want to interpret it geometrically and imagine why the same curve and the same metric gives a minimizer one time and a non-minimizer second time I am really confused.

-
Its still distance minimizing right? The length doesn't change. I think maybe when people talk about geodesics being (locally) distance minimizing, they are "moding out by parametrization." – Tim kinsella Feb 5 '14 at 22:47
if it is a distance minimizing, then it is a geodesic!! – Sameh Shenawy Feb 5 '14 at 22:49
No I mean: if you reparametrize the geodesic so that it varies in speed, the length will stay the same. So its still locally distance minimizing even though its not a geodesic any more. – Tim kinsella Feb 5 '14 at 22:51
Every distance minimizing is a geodesic but the converse is not generally true – Sameh Shenawy Feb 5 '14 at 22:53
yes, up to reparametrization. Or you could say it "every distance minimizing constant speed curve is a geodesic" (then you don't have to say anything about parametrization.) – Tim kinsella Feb 5 '14 at 22:54

The question is - a minimizer of what? There are two different important notions involved - the length and the energy of a smooth curve. The length of a curve $\gamma \colon [a,b] \rightarrow (M,g)$ in a Riemannian manifold is defined as $$L(\gamma) := \int_a^b ||\dot{\gamma}(t)||_{\gamma(t)} \, dt$$ while the energy of a curve is defined as $$E(\gamma) := \frac{1}{2} \int_a^b ||\dot{\gamma}(t)||_{\gamma(t)}^2 \, dt.$$

The length functional is invariant under reparametrization and hence if you have one minimizer, you have infinitely many - a minimizer of length does not come with a "preferred" parametrization. The energy functional is not invariant under reparametrization. For example, if $\gamma_1 \colon [0,1] \rightarrow \mathbb{R}^2$ is given by $\gamma_1(t) = (t,0)$ while $\gamma_2 \colon [0,1] \rightarrow \mathbb{R}^2$ is given by $\gamma_2(t) = (t^2, 0)$, then $\gamma_2$ is a reparametrization of $\gamma_1$, they have the same trace and length, but $E(\gamma_1) = \frac{1}{2}$ while $E(\gamma_2) = \frac{2}{3}$. (Strictly speaking, this is usually not considered a legal reparametrization, but it's not really relevant for this discussion).

You can think of $E(\gamma)$ as a measure of the "total kinetic energy" of a particle traveling along $\gamma$ with the speed $||\dot{\gamma}(t)||$. The particle traveling along $\gamma_1$ travelled with constant speed while the particle traveling along $\gamma_2$ started from rest (zero velocity) and experienced acceleration ("force") in order to travel the same distance during the same time resulting in a higher total kinetic energy.

A geodesic is a curve that satisfies $\nabla_{\dot{\gamma}(t)} \dot{\gamma}(t) = 0$, that is, a curve with zero acceleration. Note that this condition is not invariant under arbitrary reparametrization. By replacing $\gamma$ with $\gamma(\varphi(t))$, you change the acceleration of the curve. With this definition, one shows that a geodesic must be a curve with constant speed and that it locally minimizes length. Hence, not all the curves that minimize length satisfy the geodesic equation - they must also have constant speed parametrization.

However, one can show that a curve with a minimal "total kinetic energy" among all curves connecting two points must in fact be length minimizing geodesic and in particular a constant speed curve. On the other hand, a geodesic is locally energy minimizing. Hence, geodesics are precisely the curves that locally minimize energy, not length. The curve $\gamma_1$ from the discussion above is a geodesic because it minimizes the energy, while $\gamma_2$ is not geodesic because it doesn't minimize the energy (even locally) nor it has zero acceleration. For details and proofs, see Chapter 5 of Petersen's Riemannian Geometry.

There are many reasons why one prefers to think about geodesics as constant speed parametrized curves and not as curves that locally minimize length with an arbitrary parametrization. For one, the statement that a geodesic is determined by a starting point and a velocity vector obviously holds only if the geodesic has a constant speed parametrization.

-
Your answer is notable – Sameh Shenawy Feb 6 '14 at 23:13
The problem is that i read in Do Carmo's book "Riemannian geometry" and in many other books concerning convex sets in riemannian that any curve joining two points with minimum length is a geodesic and is the converse is not generally true. After I read your answer I have revised this books again. This fact is true if the parameter is proportional to arc length. So I have an answer thanks to your appreciated efforts. – Sameh Shenawy Feb 6 '14 at 23:31