Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am trying to become acquainted with the notion of geodesics. When we consider a Submanifold $M\subset \mathbb{R}^n$ and a curve $c:I\rightarrow M$. Now I want to know how to check whether c is a geodesic or not.

First, I had the intuition to differentiate c twice, and then to check whether c''(t) is orthogonal to $T_{c(t)}M$. But my calculations show, that this is not true for all geodesics. Is this correct? Or did I any mistakes in my calculation?

Second, now I'm not sure how I can check a curve for beeing geodesic. Do you know the best way?

Regards

share|improve this question

1 Answer 1

up vote 1 down vote accepted

A curve $c: I\rightarrow M \subset \mathbb{R}^n$ may be defined to be a geodesic iff it is a critical point for the length functional (so you look at smooth variations $\phi:(-\varepsilon, \varepsilon) \times I \rightarrow M$ s.t. $\phi(0,t) = c(t)$ and calculate the first variation of the length, $d/dt|_{t=0} L(\phi(t,.)$ and search for $c$ such this derivative is zero for any variation). It turns out that this results in a rather unpleasant result (second order ODE for $c$) which is due to the fact that the length functional is invariant wrt to parametrizations of the curve.

It turns out that the energy functional $\frac{1}{2}\int |c'|^2 dt$ has (geometrically) the same critical points as the length functional, but a critical point of the energy functional is necessarily parametrized proportionally to arc length. For these the property you mention (the orthogonal projection of $c^{''}(t) $ onto $T_{c(t)}M$ vanishes) in fact characterizes the geodesics in $M$ for submanifolds $M$ of Euclidean space when viewed as isometrically embedded submanifolds.

The equation satisfied locally for geodesics is also well known explicitly in terms of geometric data of the embedding $i:M\rightarrow \mathbb{R}^n$ and is, e.g. in a local coordinate representation of the form $$\frac{d^2 c^k}{dt} + \sum_{ij}\Gamma^k_{ij}(c(t))c_i^'(t) c_j^'(t) = 0 \,\,\,\, (\forall k) $$ That is, it is linear in the second derivatives and quadratic in the first derivatives but with coefficients which are nonlinear in $c$ itself. Here the $\Gamma^k_{ij}$ are the so called Christoffel symbols of the Manifold $M$ which are certain combinations of the first derivatives of the metric of $M$.

Most books on differential geometry will give detailed proofs of these facts and also have formulas for the Christoffel symbols.

(So, in general, checking whether a given curve is a geodesic may become a cumbersome computation. Your criterion is often helpful, e.g. to check that an equator is a geodesic on a sphere. For this reason one searches often for other means to find out that a curve is a geodesic, e.g. by looking for certain symmetries of the manifold).

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.