HOME

TheInfoList



OR:

In the theory of
general relativity General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics ...
, and
differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
more generally, Schild's ladder is a
first-order In mathematics and other formal sciences, first-order or first order most often means either: * "linear" (a polynomial of degree at most one), as in first-order approximation and other calculus uses, where it is contrasted with "polynomials of high ...
method for ''approximating''
parallel transport In geometry, parallel transport (or parallel translation) is a way of transporting geometrical data along smooth curves in a manifold. If the manifold is equipped with an affine connection (a covariant derivative or connection (vector bundle), c ...
of a vector along a curve using only affinely parametrized
geodesic In geometry, a geodesic () is a curve representing in some sense the shortest path ( arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. ...
s. The method is named for
Alfred Schild Alfred Schild (September 7, 1921 – May 24, 1977) was a leading Austrian American physicist, well known for his contributions to the Golden age of general relativity (1960–1975). Biography Schild was born in Istanbul on September 7, 1921. His p ...
, who introduced the method during lectures at
Princeton University Princeton University is a private university, private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth, New Jersey, Elizabeth as the College of New Jersey, Princeton is the List of Colonial Colleges, fourth-oldest ins ...
.


Construction

The idea is to identify a tangent vector ''x'' at a point A_0 with a geodesic segment of unit length A_0X_0, and to construct an approximate parallelogram with approximately parallel sides A_0X_0 and A_1X_1 as an approximation of the
Levi-Civita parallelogramoid In the mathematical field of differential geometry, the Levi-Civita parallelogramoid is a quadrilateral in a curved space whose construction generalizes that of a parallelogram in the Euclidean plane. It is named for its discoverer, Tullio Levi ...
; the new segment A_1X_1 thus corresponds to an approximately parallel translated tangent vector at A_1. Formally, consider a curve γ through a point ''A''0 in a
Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ...
''M'', and let ''x'' be a
tangent vector In mathematics, a tangent vector is a vector that is tangent to a curve or surface at a given point. Tangent vectors are described in the differential geometry of curves in the context of curves in R''n''. More generally, tangent vectors are eleme ...
at ''A''0. Then ''x'' can be identified with a geodesic segment ''A''0''X''0 via the exponential map. This geodesic σ satisfies :\sigma(0)=A_0\, :\sigma'(0) = x.\, The steps of the Schild's ladder construction are: * Let ''X''0 = σ(1), so the geodesic segment A_0X_0 has unit length. * Now let ''A''1 be a point on γ close to ''A''0, and construct the geodesic ''X''0''A''1. * Let ''P''1 be the midpoint of ''X''0''A''1 in the sense that the segments ''X''0''P''1 and ''P''1''A''1 take an equal affine parameter to traverse. * Construct the geodesic ''A''0''P''1, and extend it to a point ''X''1 so that the parameter length of ''A''0''X''1 is double that of ''A''0''P''1. * Finally construct the geodesic ''A''1''X''1. The tangent to this geodesic ''x''1 is then the parallel transport of ''X''0 to ''A''1, at least to first order.


Approximation

This is a discrete approximation of the continuous process of parallel transport. If the ambient space is flat, this is exactly parallel transport, and the steps define
parallelograms In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equa ...
, which agree with the
Levi-Civita parallelogramoid In the mathematical field of differential geometry, the Levi-Civita parallelogramoid is a quadrilateral in a curved space whose construction generalizes that of a parallelogram in the Euclidean plane. It is named for its discoverer, Tullio Levi ...
. In a curved space, the error is given by
holonomy In differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus ...
around the triangle A_1A_0X_0, which is equal to the integral of the
curvature In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane. For curves, the canonic ...
over the interior of the triangle, by the
Ambrose-Singer theorem In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geom ...
; this is a form of
Green's theorem In vector calculus, Green's theorem relates a line integral around a simple closed curve to a double integral over the plane region bounded by . It is the two-dimensional special case of Stokes' theorem. Theorem Let be a positively orient ...
(integral around a curve related to integral over interior), and in the case of Levi-Civita connections on surfaces, of
Gauss–Bonnet theorem In the mathematical field of differential geometry, the Gauss–Bonnet theorem (or Gauss–Bonnet formula) is a fundamental formula which links the curvature of a surface to its underlying topology. In the simplest application, the case of a ...
.


Notes

# Schild's ladder requires not only geodesics but also relative distance along geodesics. Relative distance may be provided by affine parametrization of geodesics, from which the required midpoints may be determined. # The parallel transport which is constructed by Schild's ladder is necessarily
torsion Torsion may refer to: Science * Torsion (mechanics), the twisting of an object due to an applied torque * Torsion of spacetime, the field used in Einstein–Cartan theory and ** Alternatives to general relativity * Torsion angle, in chemistry Bio ...
-free. # A Riemannian metric is not required to generate the geodesics. But if the geodesics are generated from a Riemannian metric, the parallel transport which is constructed in the limit by Schild's ladder is the same as the
Levi-Civita connection In Riemannian or pseudo Riemannian geometry (in particular the Lorentzian geometry of general relativity), the Levi-Civita connection is the unique affine connection on the tangent bundle of a manifold (i.e. affine connection) that preserves th ...
because this connection is defined to be torsion-free.


References

*. * {{Citation , first1=Charles W. , last1=Misner , authorlink1=Charles W. Misner , first2=Kip S. , last2=Thorne , authorlink2=Kip S. Thorne , first3=John A. , last3=Wheeler , authorlink3=John Archibald Wheeler , title=Gravitation , publisher= W. H. Freeman , year=1973 , isbn=0-7167-0344-0 Connection (mathematics) First order methods