Einstein–Hilbert action

The Einstein–Hilbert action (also referred to as 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 \, \mathrm^4x,$

where $g=\det(g_)$ is the determinant of the metric tensor matrix, $R$ is the Ricci scalar, and $\kappa = 8\pi Gc^$ is the Einstein gravitational constant ($G$ is the gravitational constant and $c$ is the speed of light in vacuum). If it converges, the integral is taken over the whole spacetime. If it does not converge, $S$ is no longer well-defined, but a modified definition where one integrates over arbitrarily large, relatively compact domains, still yields the Einstein equation as the Euler–Lagrange equation of the Einstein–Hilbert action.

The action was first proposed by David Hilbert in 1915.

Discussion

Deriving equations of motion from an action has several advantages. First, it allows for easy unification of general relativity with other classical field theories (such as Maxwell theory), which are also formulated in terms of an action. In the process, the derivation identifies a natural candidate for the source term coupling the metric to matter fields. Moreover, symmetries of the action allow for easy identification of conserved quantities through Noether's theorem.

In general relativity, the action is usually assumed to be a functional of the metric (and matter fields), and the connection is given by the Levi-Civita connection. The Palatini formulation of general relativity assumes the metric and connection to be independent, and varies with respect to both independently, which makes it possible to include fermionic matter fields with non-integer spin.

The Einstein equations in the presence of matter are given by adding the matter action to the Einstein–Hilbert action.

Derivation of Einstein field equations

Suppose that the full action of the theory is given by the Einstein–Hilbert term plus a term $\mathcal_\mathrm$ describing any matter fields appearing in the theory.

The action principle then tells us that to recover a physical law, we must demand that the variation of this action with respect to the inverse metric be zero, yielding

:\begin
0 &= \delta S \\
&= \int \left \frac \frac + \frac
\right\delta g^ \, \mathrm^4x \\
&= \int \left \frac \left( \frac + \frac \frac
\right) + \frac \frac \right\delta g^ \sqrt\, \mathrm^4x
\end.

Since this equation should hold for any variation $\delta g^$, it implies that

is the equation of motion for the metric field. The right hand side of this equation is (by definition) proportional to the stress–energy tensor,

:$T_ := \frac\frac = -2 \frac + g_ \mathcal_\mathrm$.

To calculate the left hand side of the equation we need the variations of the Ricci scalar $R$ and the determinant of the metric. These can be obtained by standard textbook calculations such as the one given below, which is strongly based on the one given in .

Variation of the Riemann tensor, the Ricci tensor, and the Ricci scalar

To calculate the variation of the Ricci scalar we calculate first the variation of the Riemann curvature tensor, and then the variation of the Ricci tensor. So, the Riemann curvature tensor is defined as

:$_ = \partial_\mu\Gamma^\rho_ - \partial_\nu\Gamma^\rho_ + \Gamma^\rho_ \Gamma^\lambda_ - \Gamma^\rho_\Gamma^\lambda_$.

Since the Riemann curvature depends only on the Levi-Civita connection $\Gamma^\lambda_$, the variation of the Riemann tensor can be calculated as

:$\delta_ = \partial_\mu \delta\Gamma^\rho_ - \partial_\nu \delta\Gamma^\rho_ + \delta\Gamma^\rho_ \Gamma^\lambda_ + \Gamma^\rho_ \delta\Gamma^\lambda_ - \delta\Gamma^\rho_ \Gamma^\lambda_ - \Gamma^\rho_ \delta\Gamma^\lambda_$.

Now, since $\delta\Gamma^\rho_$ is the difference of two connections, it is a tensor and we can thus calculate its covariant derivative,

:$\nabla_\mu \left( \delta \Gamma^\rho_ \right) = \partial_\mu \left(\delta \Gamma^\rho_\right) + \Gamma^\rho_ \delta \Gamma^\lambda_ - \Gamma^\lambda_ \delta \Gamma^\rho_ - \Gamma^\lambda_ \delta \Gamma^\rho_$.

We can now observe that the expression for the variation of Riemann curvature tensor above is equal to the difference of two such terms,

:$\delta_ = \nabla_\mu \left( \delta\Gamma^\rho_ \right) - \nabla_\nu \left( \delta\Gamma^\rho_ \right)$.

We may now obtain the variation of the Ricci curvature tensor simply by contracting two indices of the variation of the Riemann tensor, and get the Palatini identity:

:$\delta R_ \equiv \delta _ = \nabla_\rho \left( \delta \Gamma^\rho_ \right) - \nabla_\nu \left( \delta \Gamma^\rho_ \right)$.

The Ricci scalar is defined as

:$R = g^ R_$.

Therefore, its variation with respect to the inverse metric $g^$ is given by

:$\begin \delta R &= R_ \delta g^ + g^ \delta R_\\ &= R_ \delta g^ + \nabla_\rho \left( g^ \delta\Gamma^\rho_ - g^ \delta \Gamma^\mu_ \right) \end$

In the second line we used the metric compatibility of the covariant derivative, $\nabla_\sigma g^ = 0$, and the previously obtained result for the variation of the Ricci curvature (in the second term, renaming the dummy indices $\rho$ and $\nu$ to $\mu$ and $\rho$ respectively).

The last term,
:$\nabla_\rho \left( g^ \delta\Gamma^\rho_ - g^\delta\Gamma^\mu_ \right)$, i.e. $\nabla_\rho A^\rho \equiv A^\lambda_$ with $A^\rho = g^ \delta\Gamma^\rho_ - g^\delta\Gamma^\mu_$,

multiplied by $\sqrt$, becomes a total derivative, since for any vector $A^\lambda$ and any tensor density $\sqrt\,A^\lambda$ we have:

:$\sqrt \, A^\lambda_ = \left(\sqrt \, A^\lambda\right)_ = \left(\sqrt \, A^\lambda\right)_$ or $\sqrt \, \nabla_\mu A^\mu = \nabla_\mu\left(\sqrt \, A^\mu\right) = \partial_\mu\left(\sqrt \, A^\mu\right)$

and thus by Stokes' theorem only yields a boundary term when integrated. The boundary term is in general non-zero, because the integrand depends not only on $\delta g^,$ but also on its partial derivatives $\partial_\lambda\, \delta g^ \equiv \delta\, \partial_\lambda g^$; see the article Gibbons–Hawking–York boundary term for details. However when the variation of the metric $\delta g^$ vanishes in a neighbourhood of the boundary or when there is no boundary, this term does not contribute to the variation of the action. And we thus obtain

at events not in the closure of the boundary.

Variation of the determinant

Jacobi's formula, the rule for differentiating a determinant, gives:

:$\delta g = \delta \det(g_) = g g^ \delta g_$,

or one could transform to a coordinate system where $g_$ is diagonal and then apply the product rule to differentiate the product of factors on the main diagonal. Using this we get

:$\delta \sqrt = -\frac\delta g = \frac \sqrt \left( g^ \delta g_ \right) = -\frac \sqrt \left( g_ \delta g^ \right)$

In the last equality we used the fact that

:$g_\delta g^ = -g^ \delta g_$

which follows from the rule for differentiating the inverse of a matrix

:$\delta g^ = - g^ \left( \delta g_ \right) g^$.

Thus we conclude that

Equation of motion

Now that we have all the necessary variations at our disposal, we can insert () and () into the equation of motion () for the metric field to obtain

which is the Einstein field equations, and

:$\kappa = \frac$

has been chosen such that the non-relativistic limit yields the usual form of Newton's gravity law, where $G$ is the gravitational constant (see here for details).

Cosmological constant

When a cosmological constant Λ is included in the Lagrangian, the action:

:S = \int \left \frac (R-2 \Lambda ) + \mathcal_\mathrm \right\sqrt \, \mathrm^4 x

Taking variations with respect to the inverse metric:

:\begin
\delta S
&= \int \left \frac \frac + \frac \frac - \frac \frac + \sqrt\frac + \mathcal_\mathrm \frac \right\delta g^ \mathrm^4 x \\
&= \int \left \frac \frac + \frac \frac \frac - \frac \frac \frac + \frac + \frac \frac \right\delta g^ \sqrt \, \mathrm^4 x
\end

Using the action principle:
:$0 = \delta S = \frac \frac + \frac \frac \frac - \frac \frac \frac + \frac + \frac \frac$

Combining this expression with the results obtained before:

:$\begin \frac &= R_ \\ \frac \frac &= \frac \\ T_ &= \mathcal_\mathrm g_ - 2 \frac \end$

We can obtain:

:$\begin \frac R_ + \frac \frac - \frac \frac + \left(\frac + \mathcal_\mathrm\frac \right) &= 0 \\ R_ - \frac g_ + \Lambda g_ + \kappa \left(2 \frac - \mathcal_\mathrmg_ \right) &= 0 \\ R_ - \frac g_ + \Lambda g_ - \kappa T_ &= 0 \end$

With $\kappa = \frac$, the expression becomes the field equations with a cosmological constant:

:$R_ - \frac g_ R + \Lambda g_ = \frac T_.$

See also

* Belinfante–Rosenfeld tensor
* Brans–Dicke theory (in which the constant ''k'' is replaced by a scalar field).
*Einstein–Cartan theory
*f(R) gravity (in which the Ricci scalar is replaced by a function of the Ricci curvature)
* Gibbons–Hawking–York boundary term
* Kaluza–Klein theory
* Komar superpotential
*Palatini action
*Teleparallelism
* Tetradic Palatini action
*Variational methods in general relativity
* Vermeil's theorem

Notes

Bibliography

*
*
*
* Hilbert, D. (1915
Die Grundlagen der Physik'' (German original for free)(English translation for $25)
Konigl. Gesell. d. Wiss. Göttingen, Nachr. Math.-Phys. Kl. 395-407
*
*
*Christopher M. Hirat
Lecture 33: Lagrangian formulation of GR
(27 April 2012).

{{DEFAULTSORT:Einstein-Hilbert action
Variational formalism of general relativity
General relativity
Albert Einstein
Gravity
David Hilbert