Namespaces
Variants
Actions

Difference between revisions of "Covariant differentiation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
c0268701.png
 +
$#A+1 = 169 n = 0
 +
$#C+1 = 169 : ~/encyclopedia/old_files/data/C026/C.0206870 Covariant differentiation,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''absolute differentiation''
 
''absolute differentiation''
  
 
An operation that defines in an invariant way the notions of a derivative and a differential for fields of geometric objects on manifolds, such as vectors, tensors, forms, etc. The basic concepts of the theory of covariant differentiation were given (under the name of absolute differential calculus) at the end of the 19th century in papers by G. Ricci, and in its most complete form in 1901 by him in collaboration with T. Levi-Civita (see [[#References|[1]]]). At first, the theory of covariant differentiation was constructed on Riemannian manifolds and was intended in the first instance for the investigation of the invariants of differential forms. The definition and properties of covariant differentiation subsequently proved to be related in a natural way with the notions of [[Connection|connection]] and [[Parallel displacement(2)|parallel displacement]] on manifolds, which were introduced later. Nowadays the theory of covariant differentiation is developed within the general framework of the theory of connections. As a device of tensor analysis, covariant differentiation is widely used in theoretical physics, particularly in the general theory of relativity.
 
An operation that defines in an invariant way the notions of a derivative and a differential for fields of geometric objects on manifolds, such as vectors, tensors, forms, etc. The basic concepts of the theory of covariant differentiation were given (under the name of absolute differential calculus) at the end of the 19th century in papers by G. Ricci, and in its most complete form in 1901 by him in collaboration with T. Levi-Civita (see [[#References|[1]]]). At first, the theory of covariant differentiation was constructed on Riemannian manifolds and was intended in the first instance for the investigation of the invariants of differential forms. The definition and properties of covariant differentiation subsequently proved to be related in a natural way with the notions of [[Connection|connection]] and [[Parallel displacement(2)|parallel displacement]] on manifolds, which were introduced later. Nowadays the theory of covariant differentiation is developed within the general framework of the theory of connections. As a device of tensor analysis, covariant differentiation is widely used in theoretical physics, particularly in the general theory of relativity.
  
Let an affine connection be given on an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268701.png" />-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268702.png" /> as well as the parallel displacement of vectors and, more generally, tensors, associated with it. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268703.png" /> be a smooth vector field, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268704.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268705.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268706.png" /> be a tensor field of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268707.png" />, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268708.png" /> times contravariant and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c0268709.png" /> times covariant; by the covariant derivative (with respect to the given connection) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687010.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687011.png" /> along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687012.png" /> one means the tensor (of the same type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687013.png" />)
+
Let an affine connection be given on an $  n $-
 +
dimensional manifold $  M $
 +
as well as the parallel displacement of vectors and, more generally, tensors, associated with it. Let $  X $
 +
be a smooth vector field, $  X _ {p} \neq 0 $,  
 +
$  p \in M $,  
 +
and let $  U $
 +
be a tensor field of type $  ( r, s) $,  
 +
that is, $  r $
 +
times contravariant and $  s $
 +
times covariant; by the covariant derivative (with respect to the given connection) of $  U $
 +
at $  p \in M $
 +
along $  X $
 +
one means the tensor (of the same type $  ( r, s) $)
 +
 
 +
$$
 +
( \nabla _ {X} U) _ {p}  = \
 +
\lim\limits _ {t \rightarrow 0 } \
 +
 
 +
\frac{\tau _ {t}  ^ {-} 1 ( U _ {x ( t) }  ) - U _ {p} }{t}
 +
,
 +
$$
  
<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/c/c026/c026870/c02687014.png" /></td> </tr></table>
+
where  $  x ( t) $
 +
is the point on the integral curve  $  \gamma _ {X} $
 +
of the vector field  $  X $
 +
with initial condition  $  x ( 0) = p $,
 +
$  U _ {p} $
 +
and  $  U _ {x ( t) }  $
 +
are, respectively, the localizations (values) of  $  U $
 +
at  $  p $
 +
and  $  x ( t) $,
 +
and  $  \tau _ {t}  ^ {-} 1 ( U _ {x ( t) }  ) $
 +
is the result of the parallel displacement of  $  U _ {x ( t) }  $
 +
along  $  \gamma _ {X} $
 +
from  $  x ( t) $
 +
to  $  p $.
 +
Thus the basic idea behind the definition of the covariant derivative of a tensor field  $  U $
 +
along a vector field  $  X $
 +
is that, in view of the absence of a natural relation between  $  U _ {p} $
 +
and  $  U _ {x ( t) }  $,
 +
as they belong to different fibres of the tensor bundle over  $  M $,
 +
that is, they are in tensor spaces  $  T _ {s}  ^ {r} $
 +
over different tangent spaces  $  T _ {p} M $
 +
and  $  T _ {x ( t) }  M $
 +
to  $  M $,
 +
the difference between  $  U _ {p} \in T _ {s}  ^ {r} ( T _ {p} M) $
 +
and the image of  $  U _ {x ( t) }  \in T _ {s}  ^ {r} ( T _ {x ( t) }  M) $
 +
under the parallel displacement along  $  \gamma _ {X} $
 +
to  $  T _ {s}  ^ {r} ( T _ {p} M) $
 +
serves as the  "increment" of  $  U $;  
 +
one then takes the limit of the ratio of this  "increment" to the increment of the argument  $  t $
 +
in the usual way. If, in particular, for points  $  x ( t) $
 +
near to  $  p $
 +
the field  $  U $
 +
is obtained by parallel displacement of the tensor  $  U _ {p} $
 +
along  $  \gamma _ {X }  $,
 +
then  $  ( \nabla _ {X} U) _ {p} = 0 $,
 +
and therefore, in general, the covariant derivative of  $  U $
 +
at  $  p $
 +
along  $  X $
 +
defines the initial rate of the difference of  $  U $
 +
along  $  \gamma _ {X} $
 +
from the result of the parallel displacement of  $  U _ {p} $
 +
along  $  \gamma _ {X} $.  
 +
For tensor fields of zero valency, that is, for functions  $  f $
 +
in the ring  $  {\mathcal T} $
 +
of differentiable functions on  $  M $,
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687015.png" /> is the point on the integral curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687016.png" /> of the vector field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687017.png" /> with initial condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687019.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687020.png" /> are, respectively, the localizations (values) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687021.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687022.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687023.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687024.png" /> is the result of the parallel displacement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687025.png" /> along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687026.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687027.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687028.png" />. Thus the basic idea behind the definition of the covariant derivative of a tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687029.png" /> along a vector field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687030.png" /> is that, in view of the absence of a natural relation between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687031.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687032.png" />, as they belong to different fibres of the tensor bundle over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687033.png" />, that is, they are in tensor spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687034.png" /> over different tangent spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687035.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687036.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687037.png" />, the difference between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687038.png" /> and the image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687039.png" /> under the parallel displacement along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687040.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687041.png" /> serves as the "increment"  of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687042.png" />; one then takes the limit of the ratio of this  "increment"  to the increment of the argument <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687043.png" /> in the usual way. If, in particular, for points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687044.png" /> near to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687045.png" /> the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687046.png" /> is obtained by parallel displacement of the tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687047.png" /> along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687048.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687049.png" />, and therefore, in general, the covariant derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687050.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687051.png" /> along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687052.png" /> defines the initial rate of the difference of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687053.png" /> along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687054.png" /> from the result of the parallel displacement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687055.png" /> along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687056.png" />. For tensor fields of zero valency, that is, for functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687057.png" /> in the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687058.png" /> of differentiable functions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687059.png" />,
+
$$
 +
( \nabla _ {X} f) _ {p} = \
 +
\lim\limits _ {t \rightarrow 0 } \
  
<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/c/c026/c026870/c02687060.png" /></td> </tr></table>
+
\frac{f ( x ( t)) - f ( p) }{t}
 +
,
 +
$$
  
which leads to the identification of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687061.png" /> with the derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687062.png" /> along the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687063.png" />, that is, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687064.png" />. When <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687065.png" /> one has, by definition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687066.png" /> for any tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687067.png" />.
+
which leads to the identification of $  ( \nabla _ {X} f) _ {p} $
 +
with the derivative of $  f $
 +
along the vector $  X _ {p} $,  
 +
that is, with $  X _ {p} f $.  
 +
When $  X _ {p} = 0 $
 +
one has, by definition, $  ( \nabla _ {X} U) _ {p} = 0 $
 +
for any tensor field $  U $.
  
The introduction of a covariant derivative enables one to define the covariant differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687068.png" /> of a tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687069.png" /> along a smooth curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687070.png" /> as
+
The introduction of a covariant derivative enables one to define the covariant differential $  DU $
 +
of a tensor field $  U $
 +
along a smooth curve $  \gamma ( t) $
 +
as
  
<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/c/c026/c026870/c02687071.png" /></td> </tr></table>
+
$$
 +
( DU) _ {\gamma ( 0) }  = \
 +
\left (
 +
\nabla _ {\dot \gamma  ( t) }  U
 +
\right ) _ {\gamma ( 0) }  dt,
 +
$$
  
which can be regarded as the principal linear part of the  "increment"  of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687072.png" /> (in the sense described above) under the displacement along <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687073.png" /> of the point by an infinitesimal segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687074.png" />.
+
which can be regarded as the principal linear part of the  "increment"  of $  U $(
 +
in the sense described above) under the displacement along $  \gamma $
 +
of the point by an infinitesimal segment $  d \gamma = \dot \gamma  ( 0)  dt $.
  
The knowledge of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687075.png" /> for a tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687076.png" /> of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687077.png" /> at each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687078.png" /> along each vector field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687079.png" /> enables one to introduce for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687080.png" />: 1) the covariant differential field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687081.png" /> as a tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687082.png" />-form with values in the module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687083.png" />, defined on the vectors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687084.png" /> by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687085.png" />; 2) the covariant derivative field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687086.png" /> as a tensor field of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687087.png" />, corresponding canonically to the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687088.png" /> and acting on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687089.png" />-forms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687090.png" /> and vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687091.png" /> according to the formula
+
The knowledge of $  \nabla _ {X} U $
 +
for a tensor field $  U $
 +
of type $  ( r, s) $
 +
at each point $  p \in M $
 +
along each vector field $  X $
 +
enables one to introduce for $  U $:  
 +
1) the covariant differential field $  DU $
 +
as a tensor $  1 $-
 +
form with values in the module $  T _ {s}  ^ {r} ( M) $,  
 +
defined on the vectors of $  X $
 +
by the formula $  ( DU) ( X) = \nabla _ {X} U $;  
 +
2) the covariant derivative field $  \nabla U $
 +
as a tensor field of type $  ( r, s + 1) $,  
 +
corresponding canonically to the form $  DU $
 +
and acting on $  1 $-
 +
forms $  \omega  ^ {i} $
 +
and vectors $  X _ {i} $
 +
according to the formula
  
<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/c/c026/c026870/c02687092.png" /></td> </tr></table>
+
$$
 +
( \nabla U) ( \omega  ^ {1} \dots \omega  ^ {r} ; \
 +
X _ {1} \dots X _ {s} , X) =
 +
$$
  
<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/c/c026/c026870/c02687093.png" /></td> </tr></table>
+
$$
 +
= \
 +
( \nabla _ {X} U) ( \omega  ^ {1} \dots \omega  ^ {r} ; X _ {1} \dots X _ {s} ).
 +
$$
  
By the covariant differential one usually means not the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687094.png" />-form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687095.png" /> itself but its values at the vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687096.png" />, and in this interpretation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687097.png" /> is also converted into a tensor field of type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687098.png" /> the localization of which, in particular, when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c02687099.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870100.png" />, is the same as the covariant differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870101.png" /> along the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870102.png" />, introduced above. The covariant derivative <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870103.png" /> is sometimes called the gradient of the tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870104.png" /> and the derivative, the covariant differential.
+
By the covariant differential one usually means not the $  1 $-
 +
form $  DU $
 +
itself but its values at the vectors $  X $,  
 +
and in this interpretation $  ( DU) X $
 +
is also converted into a tensor field of type $  ( r, s) $
 +
the localization of which, in particular, when $  p = \gamma ( 0) $
 +
and $  X = \dot \gamma  $,  
 +
is the same as the covariant differential $  ( DU) _ {\gamma ( 0) }  $
 +
along the curve $  \gamma ( t) $,  
 +
introduced above. The covariant derivative $  \nabla U $
 +
is sometimes called the gradient of the tensor $  U $
 +
and the derivative, the covariant differential.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870105.png" /> are local coordinates, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870106.png" /> denotes the corresponding basis of the space of vector fields, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870107.png" /> denotes the dual basis for the space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870108.png" />-forms, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870109.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870110.png" /> are the coordinates of vector and tensor fields in these bases, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870111.png" /> are the coefficients of an affine connection introduced on the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870112.png" /> (cf. [[Linear connection|Linear connection]]), then, denoting by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870113.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870114.png" /> the components of the tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870115.png" />, one obtains the following expressions (as an example, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870116.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870117.png" /> have been chosen):
+
If $  x  ^ {i} $
 +
are local coordinates, $  e _ {i} = \partial  / \partial  x  ^ {i} \mid  _ {p} $
 +
denotes the corresponding basis of the space of vector fields, $  e  ^ {i} $
 +
denotes the dual basis for the space of $  1 $-
 +
forms, $  X  ^ {i} $
 +
and $  U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } $
 +
are the coordinates of vector and tensor fields in these bases, and $  \Gamma _ {ij} $
 +
are the coefficients of an affine connection introduced on the manifold $  M $(
 +
cf. [[Linear connection|Linear connection]]), then, denoting by $  \nabla _ {k} U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } $
 +
or $  U _ {j _ {1}  \dots j _ {s} , k } ^ {i _ {1} \dots i _ {r} } $
 +
the components of the tensor field $  \nabla U $,  
 +
one obtains the following expressions (as an example, $  r = 2 $,  
 +
$  s = 1 $
 +
have been chosen):
  
<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/c/c026/c026870/c026870118.png" /></td> </tr></table>
+
$$
 +
( \nabla _ {X} U) _ {j} ^ {i _ {1} i _ {2} } =
 +
$$
  
<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/c/c026/c026870/c026870119.png" /></td> </tr></table>
+
$$
 +
= \
 +
\left (
 +
\frac{\partial  U _ {j} ^ {i _ {1} i _ {2} } }{\partial  x _ {k} }
 +
+ \Gamma _ {km} ^ {i _ {1} } U _ {j} ^ {mi _ {2} } + \Gamma _ {km} ^ {i _ {2} }
 +
U _ {j} ^ {i _ {1} m } - \Gamma _ {kj}  ^ {m} U _ {m} ^ {i _ {1} i _ {2} } \right ) X  ^ {k\ } \equiv
 +
$$
  
<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/c/c026/c026870/c026870120.png" /></td> </tr></table>
+
$$
 +
\equiv \
 +
\nabla _ {k} U _ {j} ^ {i _ {1} i _ {2} } X  ^ {k} ;
 +
$$
  
<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/c/c026/c026870/c026870121.png" /></td> </tr></table>
+
$$
 +
( DU _ {\gamma ( t) }  ) _ {j} ^ {i _ {1} i _ {2} }
 +
= \nabla _ {k} U _ {j} ^ {i _ {1} i _ {2} }  dx  ^ {k} ,
 +
$$
  
<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/c/c026/c026870/c026870122.png" /></td> </tr></table>
+
$$
 +
dx  ^ {k}  = \dot{x}  ^ {k}  dt,\  \gamma ( t)  = \{ x  ^ {k} ( t) \} ,
 +
$$
  
<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/c/c026/c026870/c026870123.png" /></td> </tr></table>
+
$$
 +
DU  = ( U _ {j,k} ^ {i _ {1} i _ {2} } e _ {i _ {1}  } \otimes e _ {i _ {2}  } \otimes e  ^ {j} ) e  ^ {k} ,
 +
$$
  
<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/c/c026/c026870/c026870124.png" /></td> </tr></table>
+
$$
 +
\nabla U  = U _ {j,k} ^ {i _ {1} i _ {2} } e _ {i _ {1}  } \otimes e _ {i _ {2}  } \otimes e  ^ {j} \otimes e  ^ {k} ,
 +
$$
  
<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/c/c026/c026870/c026870125.png" /></td> </tr></table>
+
$$
 +
\nabla _ {X} U  = ( DU) ( X)  = U _ {j,k} ^ {i _ {1} i _ {2} } X  ^ {k} e _ {i _ {1}  } \otimes e _ {i _ {2}  } \otimes e  ^ {j}  = C _ {2} ^ { 3 } ( \nabla U \otimes X),
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870126.png" /> is the operation of contraction (cf. [[Contraction of a tensor|Contraction of a tensor]]) with respect to the third contravariant and second covariant indices.
+
where $  C _ {2} ^ { 3 } $
 +
is the operation of contraction (cf. [[Contraction of a tensor|Contraction of a tensor]]) with respect to the third contravariant and second covariant indices.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870127.png" /> is an affine space and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870128.png" /> are affine coordinates, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870129.png" /> is the ordinary derivative of the tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870130.png" /> along the vector field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870131.png" />, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870132.png" /> are the partial derivatives of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870133.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870134.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870135.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870136.png" /> is the ordinary differential of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870137.png" /> along the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870138.png" />. Thus the covariant derivative emerges as a generalization of ordinary differentiation for which the well-known relationships between the first-order partial derivatives and differentials remain valid.
+
If $  M $
 +
is an affine space and $  x  ^ {i} $
 +
are affine coordinates, then $  ( \nabla _ {X} U) _ {p} $
 +
is the ordinary derivative of the tensor field $  U $
 +
along the vector field $  X $,  
 +
the $  ( \nabla _ {k} U) _ {p} $
 +
are the partial derivatives of $  U $
 +
at $  p $
 +
with respect to $  x  ^ {k} $,  
 +
and $  ( DU) _ {\gamma ( t) }  $
 +
is the ordinary differential of $  U $
 +
along the curve $  \gamma ( t) $.  
 +
Thus the covariant derivative emerges as a generalization of ordinary differentiation for which the well-known relationships between the first-order partial derivatives and differentials remain valid.
  
The value of covariant differentiation is that it provides a convenient analytic apparatus for the study and description of the properties of geometric objects and operations in invariant form. For example, the condition for parallel displacement of a tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870139.png" /> along a curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870140.png" /> is given by the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870141.png" />, the equation of a geodesic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870142.png" /> is written in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870143.png" />, the integrability condition for a system of equations in covariant derivatives of the first order is reduced to an equation for the alternating difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870144.png" />; exterior differentiation of forms on a manifold and in bundles over it can also be expressed in terms of covariant differentiation; and there are other examples.
+
The value of covariant differentiation is that it provides a convenient analytic apparatus for the study and description of the properties of geometric objects and operations in invariant form. For example, the condition for parallel displacement of a tensor $  U $
 +
along a curve $  \gamma $
 +
is given by the equation $  \nabla _ {\dot \gamma  }  U = 0 $,  
 +
the equation of a geodesic $  \gamma $
 +
is written in the form $  \nabla _ {\dot \gamma  }  \dot \gamma  $,  
 +
the integrability condition for a system of equations in covariant derivatives of the first order is reduced to an equation for the alternating difference $  \nabla _  \lambda  \nabla _  \mu  U - \nabla _  \mu  \nabla _  \lambda  U $;  
 +
exterior differentiation of forms on a manifold and in bundles over it can also be expressed in terms of covariant differentiation; and there are other examples.
  
The definition of higher covariant derivatives is given inductively: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870145.png" />. Generally speaking, the tensor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870146.png" /> obtained in this way is not symmetric in the last covariant indices; higher covariant derivatives along different vector fields also depend on the order of differentiation. The alternating differences of the covariant derivatives of higher orders are expressed in terms of the [[Curvature tensor|curvature tensor]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870147.png" /> and [[Torsion tensor|torsion tensor]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870148.png" />, which together characterize the difference between the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870149.png" /> and affine space. For example,
+
The definition of higher covariant derivatives is given inductively: $  \nabla  ^ {m} U = \nabla ( \nabla ^ {m - 1 } U) $.  
 +
Generally speaking, the tensor $  \nabla  ^ {m} U $
 +
obtained in this way is not symmetric in the last covariant indices; higher covariant derivatives along different vector fields also depend on the order of differentiation. The alternating differences of the covariant derivatives of higher orders are expressed in terms of the [[Curvature tensor|curvature tensor]] $  R _ {jkl} ^ { i } $
 +
and [[Torsion tensor|torsion tensor]] $  S _ {jk} ^ { i } $,  
 +
which together characterize the difference between the manifold $  M $
 +
and affine space. For example,
  
<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/c/c026/c026870/c026870150.png" /></td> </tr></table>
+
$$
 +
\nabla _  \lambda  \nabla _  \mu  U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } -
 +
\nabla _  \mu  \nabla _  \lambda  U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } =
 +
$$
  
<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/c/c026/c026870/c026870151.png" /></td> </tr></table>
+
$$
 +
= \
 +
\sum _ {k = 1 } ^ { r }  R _ {j \lambda \mu }  ^
 +
{ i _ {k} } U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots
 +
i _ {k - 1 }  ji _ {k + 1 }  \dots i _ {r} } -
 +
$$
  
<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/c/c026/c026870/c026870152.png" /></td> </tr></table>
+
$$
 +
-
 +
\sum _ {k = 1 } ^ { s }  R _ {j _ {k}  \lambda \mu
 +
} ^ { i } U _ {j _ {1}  \dots j _ {k - 1 }  ij _ {k
 +
+ 1 }  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } - S _ {\lambda \mu }  ^ { k } \nabla _ {k} U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} }
 +
$$
  
 
(the Ricci identity);
 
(the Ricci identity);
  
<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/c/c026/c026870/c026870153.png" /></td> </tr></table>
+
$$
 +
\nabla _ {X} \nabla _ {Y} U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } -
 +
\nabla _ {Y} \nabla _ {X} U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } =
 +
$$
  
<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/c/c026/c026870/c026870154.png" /></td> </tr></table>
+
$$
 +
= \
 +
\left ( \sum _ {k = 1 } ^ { r }  R _ {j \lambda \mu }  ^ { i _ {k} } U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {k - 1 }  ji _ {k + 1 }  \dots i _ {r} }\right . -
 +
$$
  
<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/c/c026/c026870/c026870155.png" /></td> </tr></table>
+
$$
 +
- \left .
 +
\sum _ {k = 1 } ^ { s }  R _ {j _ {k}  \lambda
 +
\mu } ^ { i } U _ {j _ {1}  \dots j _ {k - 1 }  ij _ {k + 1 }  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } \right ) X  ^  \lambda  X  ^  \mu  +
 +
$$
  
<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/c/c026/c026870/c026870156.png" /></td> </tr></table>
+
$$
 +
+
 +
\nabla _ {[ X, Y] }  U _ {j _ {1}  \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870157.png" /> is the commutator of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870158.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870159.png" />, and
+
where $  [ X, Y] $
 +
is the commutator of $  X $
 +
and $  Y $,  
 +
and
  
<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/c/c026/c026870/c026870160.png" /></td> </tr></table>
+
$$
 +
R _ {jkl} ^ { i }  = \
 +
{
 +
\frac \partial {\partial  x  ^ {k} }
 +
}
 +
\Gamma _ {lj}  ^ {i} -
 +
{
 +
\frac \partial {\partial  x  ^ {l} }
 +
}
 +
\Gamma _ {kj}  ^ {i} +
 +
\Gamma _ {kp}  ^ {i}
 +
\Gamma _ {lj}  ^ {p} -
 +
\Gamma _ {kj}  ^ {p}
 +
\Gamma _ {lp}  ^ {i} ,
 +
$$
  
<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/c/c026/c026870/c026870161.png" /></td> </tr></table>
+
$$
 +
S _ {jk} ^ { i }  = \Gamma _ {jk}  ^ {i} - \Gamma _ {kj}  ^ {i} .
 +
$$
  
The definition of covariant differentiation remains valid in the more general case when instead of a cross section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870162.png" /> of the tensor bundle with an affine connection one considers a cross section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870163.png" /> of an arbitrary (real or complex) [[Vector bundle|vector bundle]] associated with some [[Principal fibre bundle|principal fibre bundle]] with [[Connection|connection]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870164.png" /> and with a structure group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870165.png" /> which acts on the fibre by means of a representation in the group of non-singular matrices. There exist definitions of covariant differentiation in the more general situation when the bundle is not necessarily a vector bundle. The common part of these definitions [[#References|[9]]] consists in the analytic expression for the parallel displacement of an object or in the condition of being parallel of a cross section which is defined by the requirement that its covariant differential be zero. There are also similar approaches for infinite-dimensional manifolds.
+
The definition of covariant differentiation remains valid in the more general case when instead of a cross section $  U $
 +
of the tensor bundle with an affine connection one considers a cross section $  \phi $
 +
of an arbitrary (real or complex) [[Vector bundle|vector bundle]] associated with some [[Principal fibre bundle|principal fibre bundle]] with [[Connection|connection]] $  \Gamma $
 +
and with a structure group $  G $
 +
which acts on the fibre by means of a representation in the group of non-singular matrices. There exist definitions of covariant differentiation in the more general situation when the bundle is not necessarily a vector bundle. The common part of these definitions [[#References|[9]]] consists in the analytic expression for the parallel displacement of an object or in the condition of being parallel of a cross section which is defined by the requirement that its covariant differential be zero. There are also similar approaches for infinite-dimensional manifolds.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Ricci,  T. Levi-Civita,  "Méthodes de calcul différentiel absolu et leurs applications"  ''Math. Ann.'' , '''54'''  (1901)  pp. 125–201</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,  "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.P. Norden,  "Spaces with an affine connection" , Nauka , Moscow-Leningrad  (1976)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A. Lichnerowicz,  "Global theory of connections and holonomy groups" , Noordhoff  (1955)  (Translated from French)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  S. Helgason,  "Differential geometry and symmetric spaces" , Acad. Press  (1962)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  R.L. Bishop,  R.J. Crittenden,  "Geometry of manifolds" , Acad. Press  (1964)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  D. Gromoll,  W. Klingenberg,  W. Meyer,  "Riemannsche Geometrie im Grossen" , Springer  (1968)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  S. Kobayashi,  K. Nomizu,  "Foundations of differential geometry" , '''1–2''' , Interscience  (1963–1969)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  Ü. Lumiste,  "Connection theory in bundle spaces"  ''J. Soviet Math.'' , '''1'''  (1973)  pp. 363–390  ''Itogi Nauk. Algebra. Topol. Geom. 1969''  (1971)  pp. 123–168</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  R. Sulanke,  P. Wintgen,  "Differentialgeometrie und Faserbündel" , Deutsch. Verlag Wissenschaft.  (1972)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  M. Spivak,  "A comprehensive introduction to differential geometry" , '''1979''' , Publish or Perish  (1970–1975)  pp. 1–5</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Ricci,  T. Levi-Civita,  "Méthodes de calcul différentiel absolu et leurs applications"  ''Math. Ann.'' , '''54'''  (1901)  pp. 125–201</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P.K. [P.K. Rashevskii] Rashewski,  "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft.  (1959)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A.P. Norden,  "Spaces with an affine connection" , Nauka , Moscow-Leningrad  (1976)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  A. Lichnerowicz,  "Global theory of connections and holonomy groups" , Noordhoff  (1955)  (Translated from French)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  S. Helgason,  "Differential geometry and symmetric spaces" , Acad. Press  (1962)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  R.L. Bishop,  R.J. Crittenden,  "Geometry of manifolds" , Acad. Press  (1964)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  D. Gromoll,  W. Klingenberg,  W. Meyer,  "Riemannsche Geometrie im Grossen" , Springer  (1968)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  S. Kobayashi,  K. Nomizu,  "Foundations of differential geometry" , '''1–2''' , Interscience  (1963–1969)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  Ü. Lumiste,  "Connection theory in bundle spaces"  ''J. Soviet Math.'' , '''1'''  (1973)  pp. 363–390  ''Itogi Nauk. Algebra. Topol. Geom. 1969''  (1971)  pp. 123–168</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  R. Sulanke,  P. Wintgen,  "Differentialgeometrie und Faserbündel" , Deutsch. Verlag Wissenschaft.  (1972)</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  M. Spivak,  "A comprehensive introduction to differential geometry" , '''1979''' , Publish or Perish  (1970–1975)  pp. 1–5</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
The phrase  "covariant differential"  is more commonly used for the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870166.png" /> tensor field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870167.png" /> (instead of  "covariant derivative"  as in the article above); that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870168.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c026/c026870/c026870169.png" /> are more or less identified.
+
The phrase  "covariant differential"  is more commonly used for the $  ( r, s + 1) $
 +
tensor field $  \nabla U $(
 +
instead of  "covariant derivative"  as in the article above); that is, $  DU $
 +
and $  \nabla U $
 +
are more or less identified.

Latest revision as of 17:31, 5 June 2020


absolute differentiation

An operation that defines in an invariant way the notions of a derivative and a differential for fields of geometric objects on manifolds, such as vectors, tensors, forms, etc. The basic concepts of the theory of covariant differentiation were given (under the name of absolute differential calculus) at the end of the 19th century in papers by G. Ricci, and in its most complete form in 1901 by him in collaboration with T. Levi-Civita (see [1]). At first, the theory of covariant differentiation was constructed on Riemannian manifolds and was intended in the first instance for the investigation of the invariants of differential forms. The definition and properties of covariant differentiation subsequently proved to be related in a natural way with the notions of connection and parallel displacement on manifolds, which were introduced later. Nowadays the theory of covariant differentiation is developed within the general framework of the theory of connections. As a device of tensor analysis, covariant differentiation is widely used in theoretical physics, particularly in the general theory of relativity.

Let an affine connection be given on an $ n $- dimensional manifold $ M $ as well as the parallel displacement of vectors and, more generally, tensors, associated with it. Let $ X $ be a smooth vector field, $ X _ {p} \neq 0 $, $ p \in M $, and let $ U $ be a tensor field of type $ ( r, s) $, that is, $ r $ times contravariant and $ s $ times covariant; by the covariant derivative (with respect to the given connection) of $ U $ at $ p \in M $ along $ X $ one means the tensor (of the same type $ ( r, s) $)

$$ ( \nabla _ {X} U) _ {p} = \ \lim\limits _ {t \rightarrow 0 } \ \frac{\tau _ {t} ^ {-} 1 ( U _ {x ( t) } ) - U _ {p} }{t} , $$

where $ x ( t) $ is the point on the integral curve $ \gamma _ {X} $ of the vector field $ X $ with initial condition $ x ( 0) = p $, $ U _ {p} $ and $ U _ {x ( t) } $ are, respectively, the localizations (values) of $ U $ at $ p $ and $ x ( t) $, and $ \tau _ {t} ^ {-} 1 ( U _ {x ( t) } ) $ is the result of the parallel displacement of $ U _ {x ( t) } $ along $ \gamma _ {X} $ from $ x ( t) $ to $ p $. Thus the basic idea behind the definition of the covariant derivative of a tensor field $ U $ along a vector field $ X $ is that, in view of the absence of a natural relation between $ U _ {p} $ and $ U _ {x ( t) } $, as they belong to different fibres of the tensor bundle over $ M $, that is, they are in tensor spaces $ T _ {s} ^ {r} $ over different tangent spaces $ T _ {p} M $ and $ T _ {x ( t) } M $ to $ M $, the difference between $ U _ {p} \in T _ {s} ^ {r} ( T _ {p} M) $ and the image of $ U _ {x ( t) } \in T _ {s} ^ {r} ( T _ {x ( t) } M) $ under the parallel displacement along $ \gamma _ {X} $ to $ T _ {s} ^ {r} ( T _ {p} M) $ serves as the "increment" of $ U $; one then takes the limit of the ratio of this "increment" to the increment of the argument $ t $ in the usual way. If, in particular, for points $ x ( t) $ near to $ p $ the field $ U $ is obtained by parallel displacement of the tensor $ U _ {p} $ along $ \gamma _ {X } $, then $ ( \nabla _ {X} U) _ {p} = 0 $, and therefore, in general, the covariant derivative of $ U $ at $ p $ along $ X $ defines the initial rate of the difference of $ U $ along $ \gamma _ {X} $ from the result of the parallel displacement of $ U _ {p} $ along $ \gamma _ {X} $. For tensor fields of zero valency, that is, for functions $ f $ in the ring $ {\mathcal T} $ of differentiable functions on $ M $,

$$ ( \nabla _ {X} f) _ {p} = \ \lim\limits _ {t \rightarrow 0 } \ \frac{f ( x ( t)) - f ( p) }{t} , $$

which leads to the identification of $ ( \nabla _ {X} f) _ {p} $ with the derivative of $ f $ along the vector $ X _ {p} $, that is, with $ X _ {p} f $. When $ X _ {p} = 0 $ one has, by definition, $ ( \nabla _ {X} U) _ {p} = 0 $ for any tensor field $ U $.

The introduction of a covariant derivative enables one to define the covariant differential $ DU $ of a tensor field $ U $ along a smooth curve $ \gamma ( t) $ as

$$ ( DU) _ {\gamma ( 0) } = \ \left ( \nabla _ {\dot \gamma ( t) } U \right ) _ {\gamma ( 0) } dt, $$

which can be regarded as the principal linear part of the "increment" of $ U $( in the sense described above) under the displacement along $ \gamma $ of the point by an infinitesimal segment $ d \gamma = \dot \gamma ( 0) dt $.

The knowledge of $ \nabla _ {X} U $ for a tensor field $ U $ of type $ ( r, s) $ at each point $ p \in M $ along each vector field $ X $ enables one to introduce for $ U $: 1) the covariant differential field $ DU $ as a tensor $ 1 $- form with values in the module $ T _ {s} ^ {r} ( M) $, defined on the vectors of $ X $ by the formula $ ( DU) ( X) = \nabla _ {X} U $; 2) the covariant derivative field $ \nabla U $ as a tensor field of type $ ( r, s + 1) $, corresponding canonically to the form $ DU $ and acting on $ 1 $- forms $ \omega ^ {i} $ and vectors $ X _ {i} $ according to the formula

$$ ( \nabla U) ( \omega ^ {1} \dots \omega ^ {r} ; \ X _ {1} \dots X _ {s} , X) = $$

$$ = \ ( \nabla _ {X} U) ( \omega ^ {1} \dots \omega ^ {r} ; X _ {1} \dots X _ {s} ). $$

By the covariant differential one usually means not the $ 1 $- form $ DU $ itself but its values at the vectors $ X $, and in this interpretation $ ( DU) X $ is also converted into a tensor field of type $ ( r, s) $ the localization of which, in particular, when $ p = \gamma ( 0) $ and $ X = \dot \gamma $, is the same as the covariant differential $ ( DU) _ {\gamma ( 0) } $ along the curve $ \gamma ( t) $, introduced above. The covariant derivative $ \nabla U $ is sometimes called the gradient of the tensor $ U $ and the derivative, the covariant differential.

If $ x ^ {i} $ are local coordinates, $ e _ {i} = \partial / \partial x ^ {i} \mid _ {p} $ denotes the corresponding basis of the space of vector fields, $ e ^ {i} $ denotes the dual basis for the space of $ 1 $- forms, $ X ^ {i} $ and $ U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } $ are the coordinates of vector and tensor fields in these bases, and $ \Gamma _ {ij} $ are the coefficients of an affine connection introduced on the manifold $ M $( cf. Linear connection), then, denoting by $ \nabla _ {k} U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } $ or $ U _ {j _ {1} \dots j _ {s} , k } ^ {i _ {1} \dots i _ {r} } $ the components of the tensor field $ \nabla U $, one obtains the following expressions (as an example, $ r = 2 $, $ s = 1 $ have been chosen):

$$ ( \nabla _ {X} U) _ {j} ^ {i _ {1} i _ {2} } = $$

$$ = \ \left ( \frac{\partial U _ {j} ^ {i _ {1} i _ {2} } }{\partial x _ {k} } + \Gamma _ {km} ^ {i _ {1} } U _ {j} ^ {mi _ {2} } + \Gamma _ {km} ^ {i _ {2} } U _ {j} ^ {i _ {1} m } - \Gamma _ {kj} ^ {m} U _ {m} ^ {i _ {1} i _ {2} } \right ) X ^ {k\ } \equiv $$

$$ \equiv \ \nabla _ {k} U _ {j} ^ {i _ {1} i _ {2} } X ^ {k} ; $$

$$ ( DU _ {\gamma ( t) } ) _ {j} ^ {i _ {1} i _ {2} } = \nabla _ {k} U _ {j} ^ {i _ {1} i _ {2} } dx ^ {k} , $$

$$ dx ^ {k} = \dot{x} ^ {k} dt,\ \gamma ( t) = \{ x ^ {k} ( t) \} , $$

$$ DU = ( U _ {j,k} ^ {i _ {1} i _ {2} } e _ {i _ {1} } \otimes e _ {i _ {2} } \otimes e ^ {j} ) e ^ {k} , $$

$$ \nabla U = U _ {j,k} ^ {i _ {1} i _ {2} } e _ {i _ {1} } \otimes e _ {i _ {2} } \otimes e ^ {j} \otimes e ^ {k} , $$

$$ \nabla _ {X} U = ( DU) ( X) = U _ {j,k} ^ {i _ {1} i _ {2} } X ^ {k} e _ {i _ {1} } \otimes e _ {i _ {2} } \otimes e ^ {j} = C _ {2} ^ { 3 } ( \nabla U \otimes X), $$

where $ C _ {2} ^ { 3 } $ is the operation of contraction (cf. Contraction of a tensor) with respect to the third contravariant and second covariant indices.

If $ M $ is an affine space and $ x ^ {i} $ are affine coordinates, then $ ( \nabla _ {X} U) _ {p} $ is the ordinary derivative of the tensor field $ U $ along the vector field $ X $, the $ ( \nabla _ {k} U) _ {p} $ are the partial derivatives of $ U $ at $ p $ with respect to $ x ^ {k} $, and $ ( DU) _ {\gamma ( t) } $ is the ordinary differential of $ U $ along the curve $ \gamma ( t) $. Thus the covariant derivative emerges as a generalization of ordinary differentiation for which the well-known relationships between the first-order partial derivatives and differentials remain valid.

The value of covariant differentiation is that it provides a convenient analytic apparatus for the study and description of the properties of geometric objects and operations in invariant form. For example, the condition for parallel displacement of a tensor $ U $ along a curve $ \gamma $ is given by the equation $ \nabla _ {\dot \gamma } U = 0 $, the equation of a geodesic $ \gamma $ is written in the form $ \nabla _ {\dot \gamma } \dot \gamma $, the integrability condition for a system of equations in covariant derivatives of the first order is reduced to an equation for the alternating difference $ \nabla _ \lambda \nabla _ \mu U - \nabla _ \mu \nabla _ \lambda U $; exterior differentiation of forms on a manifold and in bundles over it can also be expressed in terms of covariant differentiation; and there are other examples.

The definition of higher covariant derivatives is given inductively: $ \nabla ^ {m} U = \nabla ( \nabla ^ {m - 1 } U) $. Generally speaking, the tensor $ \nabla ^ {m} U $ obtained in this way is not symmetric in the last covariant indices; higher covariant derivatives along different vector fields also depend on the order of differentiation. The alternating differences of the covariant derivatives of higher orders are expressed in terms of the curvature tensor $ R _ {jkl} ^ { i } $ and torsion tensor $ S _ {jk} ^ { i } $, which together characterize the difference between the manifold $ M $ and affine space. For example,

$$ \nabla _ \lambda \nabla _ \mu U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } - \nabla _ \mu \nabla _ \lambda U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } = $$

$$ = \ \sum _ {k = 1 } ^ { r } R _ {j \lambda \mu } ^ { i _ {k} } U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {k - 1 } ji _ {k + 1 } \dots i _ {r} } - $$

$$ - \sum _ {k = 1 } ^ { s } R _ {j _ {k} \lambda \mu } ^ { i } U _ {j _ {1} \dots j _ {k - 1 } ij _ {k + 1 } \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } - S _ {\lambda \mu } ^ { k } \nabla _ {k} U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } $$

(the Ricci identity);

$$ \nabla _ {X} \nabla _ {Y} U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } - \nabla _ {Y} \nabla _ {X} U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } = $$

$$ = \ \left ( \sum _ {k = 1 } ^ { r } R _ {j \lambda \mu } ^ { i _ {k} } U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {k - 1 } ji _ {k + 1 } \dots i _ {r} }\right . - $$

$$ - \left . \sum _ {k = 1 } ^ { s } R _ {j _ {k} \lambda \mu } ^ { i } U _ {j _ {1} \dots j _ {k - 1 } ij _ {k + 1 } \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } \right ) X ^ \lambda X ^ \mu + $$

$$ + \nabla _ {[ X, Y] } U _ {j _ {1} \dots j _ {s} } ^ {i _ {1} \dots i _ {r} } , $$

where $ [ X, Y] $ is the commutator of $ X $ and $ Y $, and

$$ R _ {jkl} ^ { i } = \ { \frac \partial {\partial x ^ {k} } } \Gamma _ {lj} ^ {i} - { \frac \partial {\partial x ^ {l} } } \Gamma _ {kj} ^ {i} + \Gamma _ {kp} ^ {i} \Gamma _ {lj} ^ {p} - \Gamma _ {kj} ^ {p} \Gamma _ {lp} ^ {i} , $$

$$ S _ {jk} ^ { i } = \Gamma _ {jk} ^ {i} - \Gamma _ {kj} ^ {i} . $$

The definition of covariant differentiation remains valid in the more general case when instead of a cross section $ U $ of the tensor bundle with an affine connection one considers a cross section $ \phi $ of an arbitrary (real or complex) vector bundle associated with some principal fibre bundle with connection $ \Gamma $ and with a structure group $ G $ which acts on the fibre by means of a representation in the group of non-singular matrices. There exist definitions of covariant differentiation in the more general situation when the bundle is not necessarily a vector bundle. The common part of these definitions [9] consists in the analytic expression for the parallel displacement of an object or in the condition of being parallel of a cross section which is defined by the requirement that its covariant differential be zero. There are also similar approaches for infinite-dimensional manifolds.

References

[1] G. Ricci, T. Levi-Civita, "Méthodes de calcul différentiel absolu et leurs applications" Math. Ann. , 54 (1901) pp. 125–201
[2] P.K. [P.K. Rashevskii] Rashewski, "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian)
[3] A.P. Norden, "Spaces with an affine connection" , Nauka , Moscow-Leningrad (1976) (In Russian)
[4] A. Lichnerowicz, "Global theory of connections and holonomy groups" , Noordhoff (1955) (Translated from French)
[5] S. Helgason, "Differential geometry and symmetric spaces" , Acad. Press (1962)
[6] R.L. Bishop, R.J. Crittenden, "Geometry of manifolds" , Acad. Press (1964)
[7] D. Gromoll, W. Klingenberg, W. Meyer, "Riemannsche Geometrie im Grossen" , Springer (1968)
[8] S. Kobayashi, K. Nomizu, "Foundations of differential geometry" , 1–2 , Interscience (1963–1969)
[9] Ü. Lumiste, "Connection theory in bundle spaces" J. Soviet Math. , 1 (1973) pp. 363–390 Itogi Nauk. Algebra. Topol. Geom. 1969 (1971) pp. 123–168
[10] R. Sulanke, P. Wintgen, "Differentialgeometrie und Faserbündel" , Deutsch. Verlag Wissenschaft. (1972)
[11] M. Spivak, "A comprehensive introduction to differential geometry" , 1979 , Publish or Perish (1970–1975) pp. 1–5

Comments

The phrase "covariant differential" is more commonly used for the $ ( r, s + 1) $ tensor field $ \nabla U $( instead of "covariant derivative" as in the article above); that is, $ DU $ and $ \nabla U $ are more or less identified.

How to Cite This Entry:
Covariant differentiation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Covariant_differentiation&oldid=46544
This article was adapted from an original article by I.Kh. Sabitov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article