|
|
Line 1: |
Line 1: |
| {{General relativity}}
| | The author is recognized by the name of Numbers Lint. California is where I've always been residing and I adore every day residing right here. The thing she adores most is physique developing and now she is trying to earn cash with it. For many years I've been working as a payroll clerk.<br><br>Also visit my webpage; [http://Chauhanz.Hostei.com//dietfooddelivery78594 weight loss food programs] |
| In [[differential geometry]], the '''Einstein tensor''' (also '''trace-reversed Ricci tensor'''), named after [[Albert Einstein]], is used to express the [[curvature]] of a [[Riemannian manifold]]. In [[general relativity]], the Einstein tensor occurs in the [[Einstein field equations]] for [[gravitation]] describing [[spacetime]] curvature in a manner consistent with energy considerations.
| |
| | |
| == Definition ==
| |
| The Einstein tensor <math>\mathbf{G}</math> is a rank 2 [[tensor]] defined over [[Riemannian manifold]]s. In index-free notation it is defined as
| |
| | |
| ::<math>\mathbf{G}=\mathbf{R}-\frac{1}{2}\mathbf{g}R,</math>
| |
| | |
| where <math>\mathbf{R}</math> is the [[Ricci tensor]], <math>\mathbf{g}</math> is the [[metric tensor]] and <math>R</math> is the [[scalar curvature]]. In component form, the previous equation reads as | |
| | |
| ::<math>G_{\mu\nu} = R_{\mu\nu} - {1\over2} g_{\mu\nu}R.</math>
| |
| | |
| The Einstein tensor is symmetric | |
| ::<math>G_{\mu\nu} = G_{\nu\mu}\,</math>
| |
| | |
| and, like the [[stress–energy tensor]], divergenceless | |
| ::<math>G^{\mu\nu}{}_{; \nu} = 0\,.</math>
| |
| | |
| == Explicit form ==
| |
| The [[Ricci tensor]] depends only on the [[metric tensor]], so the Einstein tensor can be defined directly with just the metric tensor. However, this expression is complex and rarely quoted in textbooks. The complexity of this expression can be shown using the formula for the Ricci tensor in terms of [[Christoffel symbols]]:
| |
| | |
| ::<math>
| |
| \begin{align}
| |
| G_{\alpha\beta} &= R_{\alpha\beta} - \frac{1}{2} g_{\alpha\beta} R \\
| |
| &= R_{\alpha\beta} - \frac{1}{2} g_{\alpha\beta} g^{\gamma\zeta} R_{\gamma\zeta} \\
| |
| &= (\delta^\gamma_\alpha \delta^\zeta_\beta - \frac{1}{2} g_{\alpha\beta}g^{\gamma\zeta}) R_{\gamma\zeta} \\
| |
| &= (\delta^\gamma_\alpha \delta^\zeta_\beta - \frac{1}{2} g_{\alpha\beta}g^{\gamma\zeta})(\Gamma^\epsilon_{\gamma\zeta,\epsilon} - \Gamma^\epsilon_{\gamma\epsilon,\zeta} + \Gamma^\epsilon_{\epsilon\sigma} \Gamma^\sigma_{\gamma\zeta} - \Gamma^\epsilon_{\zeta\sigma} \Gamma^\sigma_{\epsilon\gamma}),
| |
| \end{align}
| |
| </math>
| |
| | |
| where <math>\delta^\alpha_\beta</math> is the [[Kronecker tensor]] and the Christoffel symbol <math>\Gamma^\alpha_{\beta\gamma}</math> is defined as
| |
| | |
| ::<math>\Gamma^\alpha_{\beta\gamma} = \frac{1}{2} g^{\alpha\epsilon}(g_{\beta\epsilon,\gamma} + g_{\gamma\epsilon,\beta} - g_{\beta\gamma,\epsilon}).</math>
| |
| | |
| Before cancellations, this formula results in <math>2 \times (6+6+9+9) = 60</math> individual terms. Cancellations bring this number down somewhat. <!-- exactly how much? -->
| |
| | |
| In the special case of a locally [[inertial reference frame]] near a point, the first derivatives of the metric tensor vanish and the component form of the Einstein tensor is considerably simplified:
| |
| | |
| :: <math>\begin{align}G_{\alpha\beta} & = g^{\gamma\mu}\bigl[ g_{\gamma[\beta,\mu]\alpha} + g_{\alpha[\mu,\beta]\gamma} - \frac{1}{2} g_{\alpha\beta} g^{\epsilon\sigma} (g_{\epsilon[\mu,\sigma]\gamma} + g_{\gamma[\sigma,\mu]\epsilon})\bigr] \\ & = g^{\gamma\mu} (\delta^\epsilon_\alpha \delta^\sigma_\beta - \frac{1}{2} g^{\epsilon\sigma}g_{\alpha\beta})(g_{\epsilon[\mu,\sigma]\gamma} + g_{\gamma[\sigma,\mu]\epsilon}),\end{align}</math>
| |
| | |
| where square brackets conventionally denote [[Antisymmetric tensor|antisymmetrization]] over bracketed indices, i.e.
| |
| | |
| :: <math>g_{\alpha[\beta,\gamma]\epsilon} \, = \frac{1}{2} (g_{\alpha\beta,\gamma\epsilon} - g_{\alpha\gamma,\beta\epsilon}).</math>
| |
| | |
| == Trace ==
| |
| The [[trace (linear algebra)|trace]] of the Einstein tensor can be computed by [[Tensor contraction|contract]]ing the equation in the [[#Definition|definition]] with the [[metric tensor]] <math>g^{\mu\nu}</math>. In <math>n</math> dimensions (of arbitrary signature):
| |
| | |
| ::<math>\begin{align}g^{\mu\nu}G_{\mu\nu} &= g^{\mu\nu}R_{\mu\nu} - {1\over2} g^{\mu\nu}g_{\mu\nu}R \\ G &= R - {1\over2} (nR) \\ G &= {{2-n}\over2}R\end{align}</math>
| |
| | |
| The special case of 4 dimensions in physics (3 space, 1 time) gives <math>G\,</math>, the trace of the Einstein tensor, as the negative of <math>R\,</math>, the [[Ricci tensor]]'s trace. Thus another name for the Einstein tensor is the ''trace-reversed Ricci tensor''.
| |
| | |
| == Use in general relativity ==
| |
| | |
| The Einstein tensor allows the [[Einstein field equations]] (without a [[cosmological constant]]) to be written in the concise form:
| |
| ::<math>G_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}.</math>
| |
| | |
| which becomes in [[geometrized units]],
| |
| ::<math>G_{\mu\nu} = 8 \pi \, T_{\mu\nu}.</math>
| |
| | |
| From the [[#Explicit form|explicit form of the Einstein tensor]], the Einstein tensor is a [[nonlinear]] function of the metric tensor, but is linear in the second [[partial derivative]]s of the metric. As a symmetric 2nd rank tensor, the Einstein tensor has 10 independent components in a 4-dimensional space. It follows that the Einstein field equations are a set of 10 [[Types of differential equations|quasilinear]] second-order partial differential equations for the metric tensor.
| |
| | |
| The [[Bianchi identities]] can also be easily expressed with the aid of the Einstein tensor:
| |
| ::<math> \nabla_{\mu} G^{\mu\nu} = 0.</math>
| |
| | |
| The Bianchi identities automatically ensure the covariant conservation of the [[stress–energy tensor]] in curved spacetimes:
| |
| ::<math>\nabla_{\mu} T^{\mu\nu} = 0.</math>
| |
| | |
| The geometric significance of the Einstein tensor is highlighted by this identity. In coordinate frames respecting the gauge condition
| |
| ::<math>\Gamma^{\rho}_{\mu\nu} G^{\mu\nu} = 0</math>
| |
| an ordinary conservation law for the stress tensor density can be stated:
| |
| ::<math>\partial_{\mu}(\sqrt{g} T^{\mu\nu}) = 0</math>.
| |
| The Einstein tensor plays the role of distinguishing these frames.
| |
| | |
| ==Uniqueness==
| |
| David Lovelock has shown that, in a four dimensional [[differentiable manifold]], the Einstein tensor is the only [[tensor]]ial and [[divergence]]-free function of the <math>g_{\mu\nu}</math> and at most their first and second partial derivatives.<ref>{{Cite journal
| |
| |last=Lovelock |first=D.
| |
| |title=The Einstein Tensor and Its Generalizations
| |
| |journal=Journal of Mathematical Physics
| |
| |year=1971 |volume=12 |issue=3 |pages=498–502
| |
| |url=http://jmp.aip.org/resource/1/jmapaq/v12/i3/p498_s1?isAuthorized=nof
| |
| |ref=
| |
| |bibcode = 1971JMP....12..498L |doi = 10.1063/1.1665613 }}</ref>
| |
| <ref>{{Cite journal
| |
| |last=Lovelock |first=D.
| |
| |title=The uniqueness of the Einstein field equations in a four-dimensional space
| |
| |journal=Archive for Rational Mechanics and Analysis
| |
| |year=1969 |volume=33 |issue=1 |pages=54–70
| |
| |url=http://link.springer.com/article/10.1007%2FBF00248156?LI=true
| |
| |ref=
| |
| |bibcode = 1969ArRMA..33...54L |doi = 10.1007/BF00248156 }}</ref>
| |
| <ref>{{Cite journal
| |
| |last=Farhoudi |first=M.
| |
| |title=Lovelock Tensor as Generalized Einstein Tensor
| |
| |journal=General Relativity and Gravitation
| |
| |year=2009 |volume=41 |issue=1 |pages=17–29
| |
| |url=http://arxiv.org/abs/gr-qc/9510060
| |
| |ref=
| |
| }}</ref>
| |
| <ref>{{Cite book
| |
| | author=[[Wolfgang Rindler|Rindler, Wolfgang]]
| |
| | title=Relativity: Special, General, and Cosmological
| |
| | publisher=Oxford University Press
| |
| | year=2001
| |
| | isbn=0-19-850836-0
| |
| | page = 299
| |
| }}</ref> We also note that the [[Einstein field equation]] is not the only equation which satisfies the three conditions:<ref>{{Cite book
| |
| | author=[[Bernard Schutz|Schutz, Bernard]]
| |
| | title=A First Course in General Relativity
| |
| | publisher=Cambridge University Press
| |
| | edition=2
| |
| | date=May 31, 2009
| |
| | isbn=0-521-88705-4
| |
| | page = 185
| |
| }}</ref>
| |
| # Resemble but generalize [[Gauss's law for gravity|Newton-Poisson gravitational equation]]
| |
| # Applied to all coordinate systems, and
| |
| # Guarantee local covariant conservation of energy–momentum for any metric tensor.
| |
| | |
| Many alternatives theory have been proposed, like [[Einstein–Cartan theory]], etc... that also satisfies the above conditions.
| |
| | |
| == See also ==
| |
| {{Portal|Physics}}
| |
| * [[Mathematics of general relativity]]
| |
| * [[General relativity resources]]
| |
| | |
| ==References==
| |
| {{reflist}}
| |
| *{{cite book
| |
| | last = Ohanian
| |
| | first = Hans C.
| |
| | coauthors = Remo Ruffini
| |
| | title = Gravitation and Spacetime
| |
| | edition = Second edition
| |
| | publisher = [[W. W. Norton & Company]]
| |
| | year = 1994
| |
| | isbn = 0-393-96501-5
| |
| }}
| |
| *{{cite book
| |
| | last = Martin
| |
| | first = John Legat
| |
| | title = General Relativity: A First Course for Physicists
| |
| | edition = Revised edition
| |
| | series = Prentice Hall International Series in Physics and Applied Physics
| |
| | year = 1995
| |
| | publisher = [[Prentice Hall]]
| |
| | isbn = 0-13-291196-5
| |
| }}
| |
| | |
| {{tensors}}
| |
| | |
| [[Category:Tensors in general relativity]]
| |
| [[Category:Albert Einstein|Tensor]]
| |