Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Weyl tensor

From Wikipedia, the free encyclopedia
Measure of the curvature of a pseudo-Riemannian manifold

Indifferential geometry, theWeyl curvature tensor, named afterHermann Weyl,[1] is a measure of thecurvature ofspacetime or, more generally, apseudo-Riemannian manifold. Like theRiemann curvature tensor, the Weyl tensor expresses thetidal force that a body feels when moving along ageodesic. The Weyl tensor differs from the Riemann curvature tensor in that it does not convey information on how the volume of the body changes, but rather only how the shape of the body is distorted by the tidal force. TheRicci curvature, ortrace component of the Riemann tensor contains precisely the information about how volumes change in the presence of tidal forces, so the Weyl tensor is thetraceless component of the Riemann tensor. Thistensor has the same symmetries as the Riemann tensor, but satisfies the extra condition that it is trace-free:metric contraction on any pair of indices yields zero. It is obtained from the Riemann tensor by subtracting a tensor that is a linear expression in the Ricci tensor.

Ingeneral relativity, the Weyl curvature is the only part of the curvature that exists in free space—a solution of thevacuum Einstein equation—and it governs the propagation ofgravitational waves through regions of space devoid of matter.[2] More generally, the Weyl curvature is the only component of curvature forRicci-flat manifolds and always governs thecharacteristics of the field equations of anEinstein manifold.[2]

In dimensions 2 and 3 the Weyl curvature tensor vanishes identically. In dimensions ≥ 4, the Weyl curvature is generally nonzero. If the Weyl tensor vanishes in dimension ≥ 4, then the metric is locallyconformally flat: there exists alocal coordinate system in which the metric tensor is proportional to a constant tensor. This fact was a key component ofNordström's theory of gravitation, which was a precursor ofgeneral relativity.

Definition

[edit]
See also:Ricci decomposition

The Weyl tensor can be obtained from the full curvature tensor by subtracting out various traces. This is most easily done by writing the Riemann tensor as a (0,4) valence tensor (by contracting with the metric). The (0,4) valence Weyl tensor is then (Petersen 2006, p. 92)

C=R1n2(Ricsng)  gs2n(n1)g  g{\displaystyle C=R-{\frac {1}{n-2}}\left(\mathrm {Ric} -{\frac {s}{n}}g\right){~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}g-{\frac {s}{2n(n-1)}}g{~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}g}

wheren is the dimension of the manifold,g is the metric,R is the Riemann tensor,Ric is theRicci tensor,s is thescalar curvature, andh  k{\displaystyle h{~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}k} denotes theKulkarni–Nomizu product of two symmetric (0,2) tensors:

(h  k)(v1,v2,v3,v4)=h(v1,v3)k(v2,v4)+h(v2,v4)k(v1,v3)h(v1,v4)k(v2,v3)h(v2,v3)k(v1,v4){\displaystyle {\begin{aligned}(h{~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}k)\left(v_{1},v_{2},v_{3},v_{4}\right)=\quad &h\left(v_{1},v_{3}\right)k\left(v_{2},v_{4}\right)+h\left(v_{2},v_{4}\right)k\left(v_{1},v_{3}\right)\\{}-{}&h\left(v_{1},v_{4}\right)k\left(v_{2},v_{3}\right)-h\left(v_{2},v_{3}\right)k\left(v_{1},v_{4}\right)\end{aligned}}}

In tensor component notation, this can be written as

Cikm=Rikm+1n2(RimgkRigkm+RkgimRkmgi)+1(n1)(n2)R(gigkmgimgk). {\displaystyle {\begin{aligned}C_{ik\ell m}=R_{ik\ell m}+{}&{\frac {1}{n-2}}\left(R_{im}g_{k\ell }-R_{i\ell }g_{km}+R_{k\ell }g_{im}-R_{km}g_{i\ell }\right)\\{}+{}&{\frac {1}{(n-1)(n-2)}}R\left(g_{i\ell }g_{km}-g_{im}g_{k\ell }\right).\ \end{aligned}}}

The ordinary (1,3) valent Weyl tensor is then given by contracting the above with the inverse of the metric.

The decomposition (1) expresses the Riemann tensor as anorthogonaldirect sum, in the sense that

|R|2=|C|2+|1n2(Ricsng)  g|2+|s2n(n1)g  g|2.{\displaystyle |R|^{2}=|C|^{2}+\left|{\frac {1}{n-2}}\left(\mathrm {Ric} -{\frac {s}{n}}g\right){~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}g\right|^{2}+\left|{\frac {s}{2n(n-1)}}g{~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}g\right|^{2}.}

This decomposition, known as theRicci decomposition, expresses the Riemann curvature tensor into itsirreducible components under the action of theorthogonal group.[3] In dimension 4, the Weyl tensor further decomposes into invariant factors for the action of thespecial orthogonal group, the self-dual and antiself-dual partsC+ andC.

The Weyl tensor can also be expressed using theSchouten tensor, which is a trace-adjusted multiple of the Ricci tensor,

P=1n2(Rics2(n1)g).{\displaystyle P={\frac {1}{n-2}}\left(\mathrm {Ric} -{\frac {s}{2(n-1)}}g\right).}

Then

C=RP  g.{\displaystyle C=R-P{~\wedge \!\!\!\!\!\!\!\!\;\bigcirc ~}g.}

In indices,[4]

Cabcd=Rabcd2n2(ga[cRd]bgb[cRd]a)+2(n1)(n2)R ga[cgd]b{\displaystyle C_{abcd}=R_{abcd}-{\frac {2}{n-2}}\left(g_{a[c}R_{d]b}-g_{b[c}R_{d]a}\right)+{\frac {2}{(n-1)(n-2)}}R~g_{a[c}g_{d]b}}

whereRabcd{\displaystyle R_{abcd}} is the Riemann tensor,Rab{\displaystyle R_{ab}} is the Ricci tensor,R{\displaystyle R} is the Ricci scalar (the scalar curvature) and brackets around indices refers to theantisymmetric part. Equivalently,

Cabcd=Rabcd4S[a[cδb]d]{\displaystyle {C_{ab}}^{cd}={R_{ab}}^{cd}-4S_{[a}^{[c}\delta _{b]}^{d]}}

whereS denotes theSchouten tensor.

Properties

[edit]

Conformal rescaling

[edit]

The Weyl tensor has the special property that it is invariant underconformal changes to themetric. That is, ifgμνgμν=fgμν{\displaystyle g_{\mu \nu }\mapsto g'_{\mu \nu }=fg_{\mu \nu }} for some positive scalar functionf{\displaystyle f} then the (1,3) valent Weyl tensor satisfiesC  bcda=C  bcda{\displaystyle {C'}_{\ \ bcd}^{a}=C_{\ \ bcd}^{a}}. For this reason the Weyl tensor is also called theconformal tensor. It follows that anecessary condition for aRiemannian manifold to beconformally flat is that the Weyl tensor vanish. In dimensions ≥ 4 this condition issufficient as well. In dimension 3 the vanishing of theCotton tensor is a necessary and sufficient condition for the Riemannian manifold being conformally flat. Any 2-dimensional (smooth) Riemannian manifold is conformally flat, a consequence of the existence ofisothermal coordinates.

Indeed, the existence of a conformally flat scale amounts to solving the overdetermined partial differential equation

Ddfdfdf+(|df|2+Δfn2)g=Ric.{\displaystyle Ddf-df\otimes df+\left(|df|^{2}+{\frac {\Delta f}{n-2}}\right)g=\operatorname {Ric} .}

In dimension ≥ 4, the vanishing of the Weyl tensor is the onlyintegrability condition for this equation; in dimension 3, it is theCotton tensor instead.

Symmetries

[edit]

The Weyl tensor has the same symmetries as the Riemann tensor. This includes:

C(u,v)=C(v,u)C(u,v)w,z=C(u,v)z,wC(u,v)w+C(v,w)u+C(w,u)v=0.{\displaystyle {\begin{aligned}C(u,v)&=-C(v,u)\\\langle C(u,v)w,z\rangle &=-\langle C(u,v)z,w\rangle \\C(u,v)w+C(v,w)u+C(w,u)v&=0.\end{aligned}}}

In addition, of course, the Weyl tensor is trace free:

trC(u,)v=0{\displaystyle \operatorname {tr} C(u,\cdot )v=0}

for allu,v. In indices these four conditions are

Cabcd=Cbacd=CabdcCabcd+Cacdb+Cadbc=0Cabac=0.{\displaystyle {\begin{aligned}C_{abcd}=-C_{bacd}&=-C_{abdc}\\C_{abcd}+C_{acdb}+C_{adbc}&=0\\{C^{a}}_{bac}&=0.\end{aligned}}}

Bianchi identity

[edit]

Taking traces of the usual second Bianchi identity of the Riemann tensor eventually shows that

aCabcd=2(n3)[cSd]b{\displaystyle \nabla _{a}{C^{a}}_{bcd}=2(n-3)\nabla _{[c}S_{d]b}}

whereS is theSchouten tensor. The valence (0,3) tensor on the right-hand side is theCotton tensor, apart from the initial factor.

See also

[edit]

Notes

[edit]
  1. ^Weyl, Hermann (1918-09-01)."Reine Infinitesimalgeometrie".Mathematische Zeitschrift (in German).2 (3):384–411.Bibcode:1918MatZ....2..384W.doi:10.1007/BF01199420.ISSN 1432-1823.S2CID 186232500.
  2. ^abDanehkar, A. (2009). "On the Significance of the Weyl Curvature in a Relativistic Cosmological Model".Mod. Phys. Lett. A.24 (38):3113–3127.arXiv:0707.2987.Bibcode:2009MPLA...24.3113D.doi:10.1142/S0217732309032046.S2CID 15949217.
  3. ^Singer & Thorpe 1969.
  4. ^Grøn & Hervik 2007, p. 490

References

[edit]
Scope
Mathematics
Notation
Tensor
definitions
Operations
Related
abstractions
Notable tensors
Mathematics
Physics
Mathematicians
Retrieved from "https://en.wikipedia.org/w/index.php?title=Weyl_tensor&oldid=1281002654"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp