Conjugate points

In differential geometry, conjugate points or focal points[1] are, roughly, points that can almost be joined by a 1-parameter family of geodesics. For example, on a sphere, the north-pole and south-pole are connected by any meridian. Another viewpoint is that conjugate points tell when the geodesics fail to be length-minimizing. All geodesics are locally length-minimizing, but, for example, on a sphere, any geodesic passing through the north-pole can be extended to reach the south-pole, and hence any geodesic segment connecting the poles is not (uniquely) globally length minimizing. This tells us that any pair of antipodal points on the standard 2-sphere are conjugate points.[2]

Definition

Suppose p and q are points on a Riemannian manifold, and is a geodesic that connects p and q. Then p and q are conjugate points along if there exists a non-zero Jacobi field along that vanishes at p and q.

Recall that any Jacobi field can be written as the derivative of a geodesic variation (see the article on Jacobi fields). Therefore, if p and q are conjugate along , one can construct a family of geodesics that start at p and almost end at q. In particular, if is the family of geodesics whose derivative in s at generates the Jacobi field J, then the end point of the variation, namely , is the point q only up to first order in s. Therefore, if two points are conjugate, it is not necessary that there exist two distinct geodesics joining them.

Examples

  • On the sphere , antipodal points are conjugate.
  • On , there are no conjugate points.
  • On Riemannian manifolds with non-positive sectional curvature, there are no conjugate points.
gollark: Which is why asm.js does `| 0` a lot to indicate that something is an int.
gollark: It's defined on them as integers.
gollark: WASM can use 64-bit ints, though.
gollark: Technically, IEEE 754 double precision floats, I think the spec specifies that with that specificity.
gollark: Unless JITs are doing some magic to treat them as integers if they're pretty sure they're only going to be used that way.

See also

References

  1. Bishop, Richard L. and Crittenden, Richard J. Geometry of Manifolds. AMS Chelsea Publishing, 2001, pp.224-225.
  2. Cheeger, Ebin. Comparison Theorems in Riemannian Geometry. North-Holland Publishing Company, 1975, pp. 17-18.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.