Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Manifest covariance

From Wikipedia, the free encyclopedia
(Redirected fromManifestly covariant)
Equation in which all expressions are tensors
General relativity
Spacetime curvature schematic

Ingeneral relativity, amanifestly covariant equation is one in which all expressions aretensors. The operations of addition,tensor multiplication,tensor contraction,raising and lowering indices, andcovariant differentiation may appear in the equation. Forbidden terms include but are not restricted topartial derivatives.Tensor densities, especially integrands and variables of integration, may be allowed in manifestly covariant equations if they are clearly weighted by the appropriate power of thedeterminant of the metric.

Writing an equation in manifestly covariant form is useful because it guaranteesgeneral covariance upon quick inspection. If an equation is manifestly covariant, and if it reduces to a correct, corresponding equation inspecial relativity when evaluated instantaneously in alocal inertial frame, then it is usually the correct generalization of the special relativistic equation in general relativity.

Example

[edit]

An equation may beLorentz covariant even if it is not manifestly covariant. Consider theelectromagnetic field tensor

Fab=aAbbAa{\displaystyle F_{ab}\,=\,\partial _{a}A_{b}\,-\,\partial _{b}A_{a}\,}

whereAa{\displaystyle A_{a}} is theelectromagnetic four-potential in theLorenz gauge. The equation above contains partial derivatives and is therefore not manifestly covariant. Note that the partial derivatives may be written in terms of covariant derivatives andChristoffel symbols as

aAb=aAb+ΓabcAc{\displaystyle \partial _{a}A_{b}=\nabla _{a}A_{b}+\Gamma _{ab}^{c}A_{c}}
bAa=bAa+ΓbacAc{\displaystyle \partial _{b}A_{a}=\nabla _{b}A_{a}+\Gamma _{ba}^{c}A_{c}}

For atorsion-free metric assumed in general relativity, we may appeal to the symmetry of the Christoffel symbols

ΓabcΓbac=0,{\displaystyle \Gamma _{ab}^{c}-\Gamma _{ba}^{c}=0,}

which allows the field tensor to be written in manifestly covariant form

Fab=aAbbAa.{\displaystyle F_{ab}\,=\,\nabla _{a}A_{b}\,-\,\nabla _{b}A_{a}.}

See also

[edit]

References

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Manifest_covariance&oldid=1313537496"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp