Namespaces
Variants
Actions

Difference between revisions of "Geodesic coordinates"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
''at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440601.png" /> of a space with an affine connection with connection coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440602.png" />''
+
<!--
 +
g0440601.png
 +
$#A+1 = 27 n = 0
 +
$#C+1 = 27 : ~/encyclopedia/old_files/data/G044/G.0404060 Geodesic coordinates
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
Any system of coordinates in which all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440603.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440604.png" />. If the equality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440605.png" /> is satisfied at all points of a given curve, one speaks of geodesic coordinates along the curve ([[Fermi coordinates|Fermi coordinates]]). In a Riemannian space with metric tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440606.png" />, geodesic coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440607.png" /> are often defined by the conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440608.png" />, which in this case are equivalent to the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g0440609.png" />. For a symmetric connection, in particular, a Riemannian connection, geodesic coordinates exist at any point and along any regular arc without self-intersections. For a surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406010.png" /> in Euclidean space, geodesic coordinates are given by rectangular Cartesian coordinates of the tangent plane of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406011.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406012.png" />; if the projection is effected onto the developable surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406013.png" />, enveloped by the planes tangent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406014.png" /> along a curve, then the intrinsic Cartesian coordinates on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406015.png" /> will be Fermi coordinates on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406016.png" />.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
In geodesic coordinates the components at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406017.png" /> of the covariant derivatives of a tensor field at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406018.png" /> are equal to the ordinary derivatives of the tensor components. This may be taken as the definition of a covariant derivative, following E. Cartan's idea on the transfer of geometric objects or the operations of Euclidean geometry into more general spaces using special coordinate systems in which the effects of their non-Euclidean nature are eliminated to the greatest extent. This idea also forms the base of the use of geodesic coordinates in general relativity theory, where they are connected with locally inertial reference systems in space-time; the study of such systems plays an important role in the physical interpretation of the theory.
+
''at a point $  P $
 +
of a space with an affine connection with connection coefficients  $  \Gamma _ {ij}  ^ {k} $''
  
Geometric conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406019.png" /> mean that there is a correspondence between the straight lines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406020.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406022.png" /> is a parameter) in the domain where the coordinates are defined and curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406023.png" /> in the space under consideration with initial at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406024.png" />,
+
Any system of coordinates in which all  $  \Gamma _ {ij}  ^ {k} = 0 $
 +
at  $  P $.
 +
If the equality  $  \Gamma _ {ij}  ^ {k} = 0 $
 +
is satisfied at all points of a given curve, one speaks of geodesic coordinates along the curve ([[Fermi coordinates|Fermi coordinates]]). In a Riemannian space with metric tensor  $  g _ {ij} $,
 +
geodesic coordinates  $  x  ^ {k} $
 +
are often defined by the conditions  $  \partial  g _ {ij} / \partial  x  ^ {k} = 0 $,  
 +
which in this case are equivalent to the condition  $  \Gamma _ {ij}  ^ {k} = 0 $.  
 +
For a symmetric connection, in particular, a Riemannian connection, geodesic coordinates exist at any point and along any regular arc without self-intersections. For a surface  $  F $
 +
in Euclidean space, geodesic coordinates are given by rectangular Cartesian coordinates of the tangent plane of  $  F $
 +
at $  P $;
 +
if the projection is effected onto the developable surface  $  Q $,
 +
enveloped by the planes tangent to  $  F $
 +
along a curve, then the intrinsic Cartesian coordinates on  $  Q $
 +
will be Fermi coordinates on  $  F $.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406025.png" /></td> </tr></table>
+
In geodesic coordinates the components at a point  $  P $
 +
of the covariant derivatives of a tensor field at  $  P $
 +
are equal to the ordinary derivatives of the tensor components. This may be taken as the definition of a covariant derivative, following E. Cartan's idea on the transfer of geometric objects or the operations of Euclidean geometry into more general spaces using special coordinate systems in which the effects of their non-Euclidean nature are eliminated to the greatest extent. This idea also forms the base of the use of geodesic coordinates in general relativity theory, where they are connected with locally inertial reference systems in space-time; the study of such systems plays an important role in the physical interpretation of the theory.
  
If the geodesic coordinates are such that to the straight lines issuing from a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406026.png" /> in all directions there correspond geodesics on which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044060/g04406027.png" />, then they are called Riemannian coordinates.
+
Geometric conditions  $  \Gamma _ {ij}  ^ {k} = 0 $
 +
mean that there is a correspondence between the straight lines $  x  ^ {i} = \xi  ^ {i} t $(
 +
$  \xi  ^ {i} = \textrm{ const } $,
 +
$  t $
 +
is a parameter) in the domain where the coordinates are defined and curves  $  \gamma ( t) $
 +
in the space under consideration with initial at a point  $  P $,
  
 +
$$
  
 +
\frac{D}{dt }
 +
\left (
 +
 +
\frac{d \gamma }{dt }
 +
 +
\right )  =  \left \{
 +
 +
\frac{d  ^ {2} x  ^ {i} }{dt  ^ {2} }
 +
+
 +
\Gamma _ {jk}  ^ {i}
 +
 +
\frac{dx  ^ {j} }{dt }
 +
 +
\frac{dx  ^ {k} }{dt }
 +
 +
\right \} .
 +
$$
 +
 +
If the geodesic coordinates are such that to the straight lines issuing from a point  $  P $
 +
in all directions there correspond geodesics on which  $  ( D / d t ) ( d \gamma / d t ) = 0 $,
 +
then they are called Riemannian coordinates.
  
 
====Comments====
 
====Comments====

Latest revision as of 19:41, 5 June 2020


at a point $ P $ of a space with an affine connection with connection coefficients $ \Gamma _ {ij} ^ {k} $

Any system of coordinates in which all $ \Gamma _ {ij} ^ {k} = 0 $ at $ P $. If the equality $ \Gamma _ {ij} ^ {k} = 0 $ is satisfied at all points of a given curve, one speaks of geodesic coordinates along the curve (Fermi coordinates). In a Riemannian space with metric tensor $ g _ {ij} $, geodesic coordinates $ x ^ {k} $ are often defined by the conditions $ \partial g _ {ij} / \partial x ^ {k} = 0 $, which in this case are equivalent to the condition $ \Gamma _ {ij} ^ {k} = 0 $. For a symmetric connection, in particular, a Riemannian connection, geodesic coordinates exist at any point and along any regular arc without self-intersections. For a surface $ F $ in Euclidean space, geodesic coordinates are given by rectangular Cartesian coordinates of the tangent plane of $ F $ at $ P $; if the projection is effected onto the developable surface $ Q $, enveloped by the planes tangent to $ F $ along a curve, then the intrinsic Cartesian coordinates on $ Q $ will be Fermi coordinates on $ F $.

In geodesic coordinates the components at a point $ P $ of the covariant derivatives of a tensor field at $ P $ are equal to the ordinary derivatives of the tensor components. This may be taken as the definition of a covariant derivative, following E. Cartan's idea on the transfer of geometric objects or the operations of Euclidean geometry into more general spaces using special coordinate systems in which the effects of their non-Euclidean nature are eliminated to the greatest extent. This idea also forms the base of the use of geodesic coordinates in general relativity theory, where they are connected with locally inertial reference systems in space-time; the study of such systems plays an important role in the physical interpretation of the theory.

Geometric conditions $ \Gamma _ {ij} ^ {k} = 0 $ mean that there is a correspondence between the straight lines $ x ^ {i} = \xi ^ {i} t $( $ \xi ^ {i} = \textrm{ const } $, $ t $ is a parameter) in the domain where the coordinates are defined and curves $ \gamma ( t) $ in the space under consideration with initial at a point $ P $,

$$ \frac{D}{dt } \left ( \frac{d \gamma }{dt } \right ) = \left \{ \frac{d ^ {2} x ^ {i} }{dt ^ {2} } + \Gamma _ {jk} ^ {i} \frac{dx ^ {j} }{dt } \frac{dx ^ {k} }{dt } \right \} . $$

If the geodesic coordinates are such that to the straight lines issuing from a point $ P $ in all directions there correspond geodesics on which $ ( D / d t ) ( d \gamma / d t ) = 0 $, then they are called Riemannian coordinates.

Comments

Riemannian coordinates are better known as normal coordinates or geodesic polar coordinates in the West.

References

[a1] M. Berger, B. Gostiaux, "Differential geometry: manifolds, curves, and surfaces" , Springer (1988) (Translated from French)
[a2] S. Sternberg, "Lectures on differential geometry" , Prentice-Hall (1964)
[a3] W. Klingenberg, "Riemannian geometry" , de Gruyter (1982) (Translated from German)
How to Cite This Entry:
Geodesic coordinates. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Geodesic_coordinates&oldid=13261
This article was adapted from an original article by Yu.A. Volkov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article