$M$ will denote a smooth manifold and $\nabla$ an affine connection on it. A smooth curve $\gamma\colon I \to M$ will be called a geodesic if it is $\nabla$-parallel along itself, that is $\nabla_{\dot{\gamma}(t)}\dot{\gamma}=0$ for every $t \in I$. A geodesic will be said to be maximal if every proper extension of it is not a geodesic.

It is easy to find examples of maximal geodesics which do not self-intersect, like lines in Euclidean plane, or that intersect in infinitely many points, like great circles on the sphere. On the contrary I cannot find examples of geodesics which self-intersect at finitely many points, like the curve below:

self-intersecting curve - taken from Warner's book

Question Is it possible to determine $M$ and $\nabla$ in such a way that one of the resulting maximal geodesics intersects at finitely many points?

Thank you.


Take a quadrant of the plane and roll it up into a cone by gluing the two edges.

enter image description here enter image description here

Shown above are the unfolding and the glued manifold, with a single geodesic shown in black; the "seam" runs down the right side of the cone in the right image. In fact, every geodesic that does not pass through the apex intersects itself exactly once.

For a smooth manifold, just round off the top.

  • $\begingroup$ Great example and very nice pictures, too. Thank you! $\endgroup$ – Giuseppe Negro Jun 10 '12 at 12:59

I would like to give an answer with a certain mechanical flavor.
Let us consider the Lagrangian $L=K-V$ where $K=\dfrac{x'^2+y'^2}{2}$ and $V=\dfrac{x^2+ a^2y^2}{2},$ with $a\in\mathbb{R}_+,$ which describe a particle in the plane acted upon by a anisotropic spring.
The equations of motion are elementarly solved obtaining $$x=A\cos(t+\phi),\ y(t)=B\sin(at+\psi),$$ with $A,B,\phi,\psi$ arbitrary constants of integrations.

The trajectories of motion are the well-known Lissajous curves; if $a\in\mathbb{Q}$ then they are closed with multiple self-intersctions (see the figure below), otherwise they fill densely a domain of the plane.
enter image description here

Why does this argument answer you question?
By Maupertius' principle, for any $e>0,$ in the invariant submanifold $\Omega:=\{(x,y):V(x,y)<e\},$ the trajectories of motion coincide up to a reparametrization with the the geodesics for the Jacobi metric $g=(e-V)K$ on $\Omega.$

  • $\begingroup$ I like very much the mechanical flavour of your example but unfortunately I cannot understand the last paragraph: what does "projection on the base" mean? Thank you. $\endgroup$ – Giuseppe Negro Jun 10 '12 at 21:07
  • $\begingroup$ Excuse me, you are right the geodesics are already the projections on the base $M$ of the integral curve of the geodesic spray on $TM.$ I have fixed the error. $\endgroup$ – agtortorella Jun 10 '12 at 21:38
  • $\begingroup$ No problem. So every Lissajous figure is a geodesic relative to some Riemannian metric in the plane. This is very nice since now we have examples of geodesic whose self-intersections form a dense subset! Grazie! $\endgroup$ – Giuseppe Negro Jun 10 '12 at 21:53
  • $\begingroup$ Choosing the answer to accept was very hard. In the end I chose the other but this one has been very enlightening too. $\endgroup$ – Giuseppe Negro Jun 11 '12 at 10:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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