In
general relativity
General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the differential geometry, geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of grav ...
and
tensor calculus
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects associated with a vector space. Tensors may map between different objects such as vectors, scalars, and even other ...
, the
Palatini identity is
:
where
denotes the variation of
Christoffel symbols
In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surface (topology), surfaces or other manifolds endowed with a metri ...
and
indicates
covariant differentiation.
The "same" identity holds for the
Lie derivative
In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector fi ...
. In fact, one has
:
where
denotes any
vector field
In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space \mathbb^n. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and dire ...
on the
spacetime
In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
.
Proof
The
Riemann curvature tensor
Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to mathematical analysis, analysis, number theory, and differential geometry. In the field of real analysis, he is mos ...
is defined in terms of 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 that preserves the ( pseudo-) Riemannian ...
as
:
.
Its variation is
:
.
While the connection
is not a tensor, the ''difference''
between two connections ''is'', so we can take its
covariant derivative
In mathematics and physics, covariance is a measure of how much two variables change together, and may refer to:
Statistics
* Covariance matrix, a matrix of covariances between a number of variables
* Covariance or cross-covariance between ...
:
.
Solving this equation for
and substituting the result in
, all the
-like terms cancel, leaving only
:
.
Finally, the variation of the
Ricci curvature tensor follows by contracting two indices, proving the identity
:
.
See also
*
Einstein–Hilbert action
The Einstein–Hilbert action in general relativity is the action that yields the Einstein field equations through the stationary-action principle. With the metric signature, the gravitational part of the action is given as
:S = \int R \sqrt ...
*
Palatini variation
*
Ricci calculus Ricci () is an Italian surname. Notable Riccis Arts and entertainment
* Antonio Ricci (painter) (c.1565–c.1635), Spanish Baroque painter of Italian origin
* Christina Ricci (born 1980), American actress
* Clara Ross Ricci (1858-1954), British ...
*
Tensor calculus
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects associated with a vector space. Tensors may map between different objects such as vectors, scalars, and even other ...
*
Christoffel symbols
In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surface (topology), surfaces or other manifolds endowed with a metri ...
*
Riemann curvature tensor
Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to mathematical analysis, analysis, number theory, and differential geometry. In the field of real analysis, he is mos ...
Notes
References
*
P. G. Bergmann and V. De Sabbata (eds.) Cosmology and Gravitation, Plenum Press, New York (1980)">Peter_Bergmann.html" ;"title="nglish translation by R. Hojman and C. Mukku in Peter Bergmann">P. G. Bergmann and V. De Sabbata (eds.) Cosmology and Gravitation, Plenum Press, New York (1980)*{{citation
, author-first=Michael
, author-last=Tsamparlis
, year=1978
, title=On the Palatini method of Variation
, journal=Journal of Mathematical Physics
, series=
, volume=19
, issue=3
, pages=555–557
, url=https://aip.scitation.org/doi/10.1063/1.523699
, doi=10.1063/1.523699
, bibcode = 1978JMP....19..555T
, jfm=
, url-access=subscription
Equations of physics
Tensors
General relativity