From Wikipedia, the free encyclopedia

Solutions of the Einstein field equations are spacetimes that result from solving the Einstein field equations (EFE) of general relativity. The solutions are Lorentz metrics. Solutions are broadly classed as exact or non-exact.

The Einstein field equations are

or more generally

where κ is a constant, and the Einstein tensor on the left side of the equation is equated to the stress-energy tensor representing the energy and momentum present in the spacetime. The Einstein tensor is built up from the metric tensor and it's partial derivatives; thus, the EFE are a system of ten partial differential equations to be solved for the metric.

Contents 1 Solving the equations 2 Exact solutions 3 Non-exact solutions 4 Applications

It is important to realize that the Einstein field equations alone are not enough to determine the evolution of a gravitational system in many cases. They depend on the stress-energy tensor, which in turn depends on the (unknown) metric. If we're only interested in the weak field limit of the theory, we can compute the dynamics of matter using special relativity methods and/or Newtonian laws of gravity and then plug in the resulting stress-energy tensor into the Einstein field equations. But if we want to obtain the exact solution or to deal with strong fields, we need to solve for the evolution of the metric and the stress-energy tensor at the same time.

We start with two sets of equations:

The Einstein field equations (to determine evolution of the metric):

The continuity equation (to determine evolution of the stress-energy tensor):

This is clearly not enough, because we only have 14 equations (10 from the Einstein's equations and 4 from the continuity equation) for 20 unknowns (10 components of the metric and 10 components of the stress-energy tensor). We're missing equations of state. It's easy to see that, in the most general case, we need at least 6 more equations, possibly more if there are internal degrees of freedom (such as temperature) which may vary throughout space-time.

In practice, it is usually possible to simplify the problem by replacing the full set of equations of state with a simple approximation. Some common approximations are:

• Vacuum:

• Perfect fluid:

where

Here ρ is the mass-energy density measured in a momentary co-moving frame, u_α is the fluid's 4-velocity vector field, and p is the pressure.

• Non-interacting dust ( a special case of perfect fluid ):

For a perfect fluid, we need to add one more equation of state that relates density ρ and pressure p. This equation will often depend on temperature, so we also need to include a heat transfer equation or to postulate that heat transfer can be neglected.

Next, notice that only 10 of our original 14 equations are independent, because the continuity equation is a consequence of the Einstein's equations. This reflects the fact that our system is gauge invariant and we need to perform "gauge fixing", i.e. impose 4 constraints on the system, in order to obtain unequivocal results.

A popular choice of gauge is the so-called "De Donder gauge", also known as harmonic gauge or Lorentz gauge.

In numerical relativity, the preferred gauge is the so-called "3+1 decomposition", based on the ADM formalism. In this decomposition, metric is written in the form

, where

N and Nⁱ can be chosen arbitrarily. The remaining physical degrees of freedom are contained in γ_ij, which represents the Riemannian metric on 3-hypersurfaces t = const.

Once equations of state are chosen and the gauge is fixed, we can try to solve the complete set of equations. Unfortunately, even in the simplest case of gravitational field in the vacuum ( vanishing stress-energy tensor ), the problem turns out too complex to be exactly solvable. To get physical results, we can either turn to numerical methods; try to find exact solutions by imposing symmetries; or try middle-ground approaches such as perturbation methods or linear approximations of the Einstein tensor.

Main article: Exact solutions

Exact solutions are Lorentz metrics that are conformable to a physically realistic stress-energy tensor and which are obtained by solving the EFE exactly in closed form.

Main article: Non-exact solutions in general relativity

Those solutions that are not exact are called non-exact solutions. Such solutions mainly arise due to the difficulty of solving the EFE in closed form and often take the form of approximations to ideal systems. Many non-exact solutions may be devoid of physical content, but serve as useful counterexamples to theoretical conjectures.

There are practical as well as theoretical reasons for studying solutions of the Einstein field equations.

From a purely mathematical viewpoint, it is interesting to know the set of solutions of the Einstein field equations. Some of these solutions are parametrised by one or more parameters.