Linear perturbations to solutions of nonlinear Einstein field equations
General relativity |
---|
![Spacetime curvature schematic](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Spacetime_lattice_analogy.svg/220px-Spacetime_lattice_analogy.svg.png) ![{\displaystyle G_{\mu \nu }+\Lambda g_{\mu \nu }={\kappa }T_{\mu \nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/124ab80fcb17e2733cc17ff6f93da5e52f355c77) |
|
- Equivalence principle
- Special relativity
- World line
- Pseudo-Riemannian manifold
|
- Kepler problem
- Gravitational lensing
- Gravitational redshift
- Gravitational time dilation
- Gravitational waves
- Frame-dragging
- Geodetic effect
- Event horizon
- Singularity
- Black hole
| Spacetime |
---|
|
|
Equations |
---|
| Formalisms |
---|
| Advanced theory |
---|
|
|
|
|
Physics portal Category
|
|
In the theory of general relativity, linearized gravity is the application of perturbation theory to the metric tensor that describes the geometry of spacetime. As a consequence, linearized gravity is an effective method for modeling the effects of gravity when the gravitational field is weak. The usage of linearized gravity is integral to the study of gravitational waves and weak-field gravitational lensing.
Weak-field approximation
The Einstein field equation (EFE) describing the geometry of spacetime is given as (using natural units)
![{\displaystyle R_{\mu \nu }-{\frac {1}{2}}Rg_{\mu \nu }=8\pi GT_{\mu \nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fe42e520769f902cd79871ce0c930aa5ca11f38)
where
is the Ricci tensor,
is the Ricci scalar,
is the energy–momentum tensor, and
is the spacetime metric tensor that represents the solutions of the equation.
Although succinct when written out using Einstein notation, hidden within the Ricci tensor and Ricci scalar are exceptionally nonlinear dependencies on the metric which render the prospect of finding exact solutions impractical in most systems. However, when describing particular systems for which the curvature of spacetime is small (meaning that terms in the EFE that are quadratic in
do not significantly contribute to the equations of motion), one can model the solution of the field equations as being the Minkowski metric[note 1]
plus a small perturbation term
. In other words:
![{\displaystyle g_{\mu \nu }=\eta _{\mu \nu }+h_{\mu \nu },\qquad |h_{\mu \nu }|\ll 1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c963ae6b47686ca858c60c784488926927ba756e)
In this regime, substituting the general metric
for this perturbative approximation results in a simplified expression for the Ricci tensor:
![{\displaystyle R_{\mu \nu }={\frac {1}{2}}(\partial _{\sigma }\partial _{\mu }h_{\nu }^{\sigma }+\partial _{\sigma }\partial _{\nu }h_{\mu }^{\sigma }-\partial _{\mu }\partial _{\nu }h-\square h_{\mu \nu }),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f783a3cbf5bdd0994e6b1dfe4bd0c9d9210de922)
where
is the trace of the perturbation,
denotes the partial derivative with respect to the
coordinate of spacetime, and
is the d'Alembert operator.
Together with the Ricci scalar,
![{\displaystyle R=\eta _{\mu \nu }R^{\mu \nu }=\partial _{\mu }\partial _{\nu }h^{\mu \nu }-\square h,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76a43a3585bd4e635eb102f4377b21c2d2a8763d)
the left side of the field equation reduces to
![{\displaystyle R_{\mu \nu }-{\frac {1}{2}}Rg_{\mu \nu }={\frac {1}{2}}(\partial _{\sigma }\partial _{\mu }h_{\nu }^{\sigma }+\partial _{\sigma }\partial _{\nu }h_{\mu }^{\sigma }-\partial _{\mu }\partial _{\nu }h-\square h_{\mu \nu }-\eta _{\mu \nu }\partial _{\rho }\partial _{\lambda }h^{\rho \lambda }+\eta _{\mu \nu }\square h).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15eef9c7a72d367b8d7a0ca4c2863accde3b1fc4)
and thus the EFE is reduced to a linear, second order partial differential equation in terms of
.
Gauge invariance
The process of decomposing the general spacetime
into the Minkowski metric plus a perturbation term is not unique. This is due to the fact that different choices for coordinates may give different forms for
. In order to capture this phenomenon, the application of gauge symmetry is introduced.
Gauge symmetries are a mathematical device for describing a system that does not change when the underlying coordinate system is "shifted" by an infinitesimal amount. So although the perturbation metric
is not consistently defined between different coordinate systems, the overall system which it describes is.
To capture this formally, the non-uniqueness of the perturbation
is represented as being a consequence of the diverse collection of diffeomorphisms on spacetime that leave
sufficiently small. Therefore to continue, it is required that
be defined in terms of a general set of diffeomorphisms then select the subset of these that preserve the small scale that is required by the weak-field approximation. One may thus define
to denote an arbitrary diffeomorphism that maps the flat Minkowski spacetime to the more general spacetime represented by the metric
. With this, the perturbation metric may be defined as the difference between the pullback of
and the Minkowski metric:
![{\displaystyle h_{\mu \nu }=(\phi ^{*}g)_{\mu \nu }-\eta _{\mu \nu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ca3198ee2f666a8678d228b24d4397858cf868b)
The diffeomorphisms
may thus be chosen such that
.
Given then a vector field
defined on the flat, background spacetime, an additional family of diffeomorphisms
may be defined as those generated by
and parameterized by
. These new diffeomorphisms will be used to represent the coordinate transformations for "infinitesimal shifts" as discussed above. Together with
, a family of perturbations is given by
![{\displaystyle {\begin{aligned}h_{\mu \nu }^{(\epsilon )}&=[(\phi \circ \psi _{\epsilon })^{*}g]_{\mu \nu }-\eta _{\mu \nu }\\&=[\psi _{\epsilon }^{*}(\phi ^{*}g)]_{\mu \nu }-\eta _{\mu \nu }\\&=\psi _{\epsilon }^{*}(h+\eta )_{\mu \nu }-\eta _{\mu \nu }\\&=(\psi _{\epsilon }^{*}h)_{\mu \nu }+\epsilon \left[{\frac {(\psi _{\epsilon }^{*}\eta )_{\mu \nu }-\eta _{\mu \nu }}{\epsilon }}\right].\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a05873bdab89d32bee0adeb30afde6baad0a2bbb)
Therefore, in the limit
,
![{\displaystyle h_{\mu \nu }^{(\epsilon )}=h_{\mu \nu }+\epsilon {\mathcal {L}}_{\xi }\eta _{\mu \nu }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38bce789dca329da5ead2d60820ac7fe2e05a069)
where
is the Lie derivative along the vector field
.
The Lie derivative works out to yield the final gauge transformation of the perturbation metric
:
![{\displaystyle h_{\mu \nu }^{(\epsilon )}=h_{\mu \nu }+\epsilon (\partial _{\mu }\xi _{\nu }+\partial _{\nu }\xi _{\mu }),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc5b826b4611dfec0064358d676743f79bb3d9f6)
which precisely define the set of perturbation metrics that describe the same physical system. In other words, it characterizes the gauge symmetry of the linearized field equations.
Choice of gauge
By exploiting gauge invariance, certain properties of the perturbation metric can be guaranteed by choosing a suitable vector field
.
Transverse gauge
To study how the perturbation
distorts measurements of length, it is useful to define the following spatial tensor:
![{\displaystyle s_{ij}=h_{ij}-{\frac {1}{3}}\delta ^{kl}h_{kl}\delta _{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb922f8ad8efc8fb77640f94e052ffc2ffa14a32)
(Note that the indices span only spatial components:
). Thus, by using
, the spatial components of the perturbation can be decomposed as
![{\displaystyle h_{ij}=s_{ij}-\Psi \delta _{ij}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8fb904554c04b6f935ee907f41d88000fc7fb92)
where
.
The tensor
is, by construction, traceless and is referred to as the strain since it represents the amount by which the perturbation stretches and contracts measurements of space. In the context of studying gravitational radiation, the strain is particularly useful when utilized with the transverse gauge. This gauge is defined by choosing the spatial components of
to satisfy the relation
![{\displaystyle \nabla ^{2}\xi ^{j}+{\frac {1}{3}}\partial _{j}\partial _{i}\xi ^{i}=-\partial _{i}s^{ij},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f6256460b136d8197c07e8a0f657327eed7cf47)
then choosing the time component
to satisfy
![{\displaystyle \nabla ^{2}\xi ^{0}=\partial _{i}h_{0i}+\partial _{0}\partial _{i}\xi ^{i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f21665edb53ddad4325c9fafe2d35e8f4e78e591)
After performing the gauge transformation using the formula in the previous section, the strain becomes spatially transverse:
![{\displaystyle \partial _{i}s_{(\epsilon )}^{ij}=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff1e007194941becd894e3859ea5a9e7f64dd0c5)
with the additional property:
![{\displaystyle \partial _{i}h_{(\epsilon )}^{0i}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5f8f98f6e852566ab0e4a22fd828fbd8b99037b)
Synchronous gauge
The synchronous gauge simplifies the perturbation metric by requiring that the metric not distort measurements of time. More precisely, the synchronous gauge is chosen such that the non-spatial components of
are zero, namely
![{\displaystyle h_{0\nu }^{(\epsilon )}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0d6649b19266b58195bfc4e1d7f405deb9cd7cf)
This can be achieved by requiring the time component of
to satisfy
![{\displaystyle \partial _{0}\xi ^{0}=-h_{00}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd0fadabdd15edb9d24858a81c751b632785993e)
and requiring the spatial components to satisfy
![{\displaystyle \partial _{0}\xi ^{i}=\partial _{i}\xi ^{0}-h_{0i}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72afb8cea553eaf527545f2bd666b62d5441038f)
Harmonic gauge
The harmonic gauge (also referred to as the Lorenz gauge[note 2]) is selected whenever it is necessary to reduce the linearized field equations as much as possible. This can be done if the condition
![{\displaystyle \partial _{\mu }h_{\nu }^{\mu }={\frac {1}{2}}\partial _{\nu }h}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fd147b67cd4411188fa2e1a903c964a866293c2)
is true. To achieve this,
is required to satisfy the relation
![{\displaystyle \square \xi _{\mu }=-\partial _{\nu }h_{\mu }^{\nu }+{\frac {1}{2}}\partial _{\mu }h.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11a709b50cb146c2d480ba520ed2f35832f2aba1)
Consequently, by using the harmonic gauge, the Einstein tensor
reduces to
![{\displaystyle G_{\mu \nu }=-{\frac {1}{2}}\square \left(h_{\mu \nu }^{(\epsilon )}-{\frac {1}{2}}h^{(\epsilon )}\eta _{\mu \nu }\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1cfb3b1bbe4cc8b0317bb3fe725f8291e5ae1fa)
Therefore, by writing it in terms of a "trace-reversed" metric,
, the linearized field equations reduce to
![{\displaystyle \square {\bar {h}}_{\mu \nu }^{(\epsilon )}=-16\pi GT_{\mu \nu }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fcc512fd2d66f082c0f5624a760df29bd8d035d)
Which can be solved exactly using the wave solutions that define gravitational radiation.
See also
Notes
- ^ This is assuming that the background spacetime is flat. Perturbation theory applied in spacetime that is already curved can work just as well by replacing this term with the metric representing the curved background.
- ^ Not to be confused with Lorentz.
Further reading
- Sean M. Carroll (2003). Spacetime and Geometry, an Introduction to General Relativity. Pearson. ISBN 978-0805387322.
|
---|
Standard | |
---|
Alternatives to general relativity | Paradigms | |
---|
Classical | |
---|
Quantum-mechanical | |
---|
Unified-field-theoric | |
---|
Unified-field-theoric and quantum-mechanical | |
---|
Generalisations / extensions of GR | |
---|
|
---|
Pre-Newtonian theories and toy models | |
---|
Related topics | |
---|
|
---|
Special relativity | Background | |
---|
Fundamental concepts | |
---|
Formulation | |
---|
Phenomena | |
---|
Spacetime | |
---|
|
---|
General relativity | Background | |
---|
Fundamental concepts | |
---|
Formulation | |
---|
Phenomena | |
---|
Advanced theories | |
---|
Solutions | |
---|
|
---|
Scientists | |
---|
![](//upload.wikimedia.org/wikipedia/en/thumb/9/96/Symbol_category_class.svg/16px-Symbol_category_class.svg.png) Category |