Tensor density

In physics and related fields, it is often useful to work with the components of an algebraic object rather than the object itself. An example would be decomposing a vector into a sum of basis vectors weighted by some coefficients such as

$$\backslash vec\{v\}\; =\; c\_1\; \backslash vec\{e\}\_1\; +\; c\_2\; \backslash vec\; e\_2\; +\; c\_\; 3\backslash vec\; e\_3$$

where $\backslash vec\; v$ is a vector in 3-dimensional Euclidean space, $c\_i\; \backslash in\; \backslash R^1\; \backslash text\{\; and\; \}\; \backslash vec\; e\_i$ are the usual standard basis vectors in Euclidean space. This is usually necessary for computational purposes, and can often be insightful when algebraic objects represent complex abstractions but their components have concrete interpretations. However, with this identification, one has to be careful to track changes of the underlying basis in which the quantity is expanded; it may in the course of a computation become expedient to change the basis while the vector $\backslash vec\; v$ remains fixed in physical space. More generally, if an algebraic object represents a geometric object, but is expressed in terms of a particular basis, then it is necessary to, when the basis is changed, also change the representation. Physicists will often call this representation of a geometric object a tensor if it transforms under a sequence of linear maps given a linear change of basis (although confusingly others call the underlying geometric object which hasn't changed under the coordinate transformation a "tensor", a convention this article strictly avoids). In general there are representations which transform in arbitrary ways depending on how the geometric invariant is reconstructed from the representation. In certain special cases it is convenient to use representations which transform almost like tensors, but with an additional, nonlinear factor in the transformation. A prototypical example is a matrix representing the cross product (area of spanned parallelogram) on $\backslash R^2.$ The representation is given by in the standard basis by

\vec u \times \vec v =

\begin{bmatrix} u_1& u_2 \end{bmatrix} \begin{bmatrix}0 & 1 \\ -1 & 0 \end{bmatrix} \begin{bmatrix}v_1 \\ v_2 \end{bmatrix} =

u_1 v_2 - u_2 v_1

If we now try to express this same expression in a basis other than the standard basis, then the components of the vectors will change, say according to where $A$ is some 2 by 2 matrix of real numbers. Given that the area of the spanned parallelogram is a geometric invariant, it cannot have changed under the change of basis, and so the new representation of this matrix must be:

which, when expanded is just the original expression but multiplied by the determinant of $A^\{-1\},$ which is also $\backslash frac\{1\}\{\backslash det\; A\}.$ In fact this representation could be thought of as a two index tensor transformation, but instead, it is computationally easier to think of the tensor transformation rule as multiplication by $\backslash frac\{1\}\{\backslash det\; A\},$ rather than as 2 matrix multiplications (In fact in higher dimensions, the natural extension of this is $n,\; n\; \backslash times\; n$ matrix multiplications, which for large $n$ is completely infeasible). Objects which transform in this way are called tensor densities because they arise naturally when considering problems regarding areas and volumes, and so are frequently used in integration.

{{Refimprove|date=September 2012}}

Some authors classify tensor densities into the two types called (authentic) tensor densities and pseudotensor densities in this article. Other authors classify them differently, into the types called even tensor densities and odd tensor densities. When a tensor density weight is an integer there is an equivalence between these approaches that depends upon whether the integer is even or odd.

Note that these classifications elucidate the different ways that tensor densities may transform somewhat pathologically under orientation-reversing coordinate transformations. Regardless of their classifications into these types, there is only one way that tensor densities transform under orientation-preserving coordinate transformations.

In this article we have chosen the convention that assigns a weight of +2 to $g\; =\; \backslash det\backslash left(g\_\{\backslash rho\backslash sigma\}\backslash right)$, the determinant of the metric tensor expressed with covariant indices. With this choice, classical densities, like charge density, will be represented by tensor densities of weight +1. Some authors use a sign convention for weights that is the negation of that presented here.E.g. {{harvnb|Weinberg|1972}} pp 98. The chosen convention involves in the formulae below the Jacobian determinant of the inverse transition {{math|x → {{overbar|x}}}}, while the opposite convention considers the forward transition {{math|{{overbar|x}} → x}} resulting in a flip of sign of the weight.

In contrast to the meaning used in this article, in general relativity "pseudotensor" sometimes means an object that does not transform like a tensor or relative tensor of any weight.

For example, a mixed rank-two (authentic) tensor density of weight $W$ transforms as:{{Cite book|author1=M.R. Spiegel|author2=S. Lipcshutz|author3=D. Spellman|title=Vector Analysis|edition=2nd|publisher=Schaum's Outline Series|location=New York|year=2009|page=198|isbn=978-0-07-161545-7}}{{Cite book|title=McGraw Hill Encyclopaedia of Physics|edition=2nd|author=C.B. Parker|year=1994|page=[https://archive.org/details/mcgrawhillencycl1993park/page/1417 1417]|publisher=McGraw-Hill |isbn=0-07-051400-3|url=https://archive.org/details/mcgrawhillencycl1993park/page/1417}}

:$$

{\mathfrak{T}}^\alpha_\beta =

\left( \det{\left[\frac{\partial \bar{x}^{\iota}}{\partial {x}^{\gamma}}\right]} \right)^{W} \, \frac{\partial {x}^{\alpha}}{\partial \bar{x}^{\delta}} \, \frac{\partial \bar{x}^{\epsilon}}{\partial {x}^{\beta}} \, \bar{\mathfrak{T}}^{\delta}_{\epsilon}

\,,     ((authentic) tensor density of (integer) weight $W$)

where $\backslash bar\{\backslash mathfrak\{T\}\}$ is the rank-two tensor density in the $\backslash bar\{x\}$ coordinate system, $\{\backslash mathfrak\{T\}\}$ is the transformed tensor density in the $\{x\}$ coordinate system; and we use the Jacobian determinant. Because the determinant can be negative, which it is for an orientation-reversing coordinate transformation, this formula is applicable only when $W$ is an integer. (However, see even and odd tensor densities below.)

We say that a tensor density is a pseudotensor density when there is an additional sign flip under an orientation-reversing coordinate transformation. A mixed rank-two pseudotensor density of weight $W$ transforms as

:$$

{\mathfrak{T}}^\alpha_\beta =

\sgn\left( \det{\left[\frac{\partial \bar{x}^{\iota}}{\partial {x}^{\gamma}}\right]} \right)

\left( \det{\left[\frac{\partial \bar{x}^{\iota}}{\partial {x}^{\gamma}}\right]} \right)^{W} \, \frac{\partial {x}^{\alpha}}{\partial \bar{x}^{\delta}} \, \frac{\partial \bar{x}^{\epsilon}}{\partial {x}^{\beta}} \, \bar{\mathfrak{T}}^{\delta}_{\epsilon}

\,,     (pseudotensor density of (integer) weight $W$)

where {{math|sgn($\backslash cdot$)}} is a function that returns +1 when its argument is positive or −1 when its argument is negative.

The transformations for even and odd tensor densities have the benefit of being well defined even when $W$ is not an integer. Thus one can speak of, say, an odd tensor density of weight +2 or an even tensor density of weight −1/2.

An even tensor density transforms as follows. Although the formula works for any real valued weight {{mvar|W}}, the name arises because the transformation is equivalent to the transformation of an (authentic) tensor density transform when its weight is even.

:$$

{\mathfrak{T}}^\alpha_\beta =

\left\vert \det{\left[\frac{\partial \bar{x}^{\iota}}{\partial {x}^{\gamma}}\right]} \right\vert^{W} \, \frac{\partial {x}^{\alpha}}{\partial \bar{x}^{\delta}} \, \frac{\partial \bar{x}^{\epsilon}}{\partial {x}^{\beta}} \, \bar{\mathfrak{T}}^{\delta}_{\epsilon}

\,.     (even tensor density of weight $W$)

Similarly, an odd tensor density transforms as follows. Although the formula works for any real valued weight {{mvar|W}}, the name arises because the transformation is equivalent to the transformation of an (authentic) tensor density transform when its weight is odd.

:$$

{\mathfrak{T}}^\alpha_\beta =

\sgn \left( \det{\left[\frac{\partial \bar{x}^{\iota}}{\partial {x}^{\gamma}}\right]} \right)

\left\vert \det{\left[\frac{\partial \bar{x}^{\iota}}{\partial {x}^{\gamma}}\right]} \right\vert^{W} \, \frac{\partial {x}^{\alpha}}{\partial \bar{x}^{\delta}} \, \frac{\partial \bar{x}^{\epsilon}}{\partial {x}^{\beta}} \, \bar{\mathfrak{T}}^{\delta}_{\epsilon}

\,.     (odd tensor density of weight $W$)

A tensor density of any type that has weight zero is also called an absolute tensor. An authentic tensor density of weight zero, which is also an even tensor density of weight zero, is also called an ordinary tensor.

If a weight is not specified but the word "relative" or "density" is used in a context where a specific weight is needed, it is usually assumed that the weight is {{math|+1}}.

1. A linear combination (also known as a weighted sum) of tensor densities of the same type and weight $W$ is again a tensor density of that type and weight.
2. A product of two tensor densities of any types, and with weights $W\_1$ and $W\_2$, is a tensor density of weight $W\_1\; +\; W\_2.$ Furthermore, a product of authentic tensor densities and pseudotensor densities will be an authentic tensor density when an even number of the factors are pseudotensor densities; it will be a pseudotensor density when an odd number of the factors are pseudotensor densities. Similarly, a product of even tensor densities and odd tensor densities will be an even tensor density when an even number of the factors are odd tensor densities; it will be an odd tensor density when an odd number of the factors are odd tensor densities.
3. The contraction of indices on a tensor density with weight $W$ again yields a tensor density of weight $W.${{harvnb|Weinberg|1972}} p 100.
4. Raising and lowering indices using the metric tensor (which is authentic, even, and of weight 0) leaves the weight unchanged,{{harvnb|Weinberg|1972}} p 100. as can be proved by combining (2) and (3).

If $\{\backslash mathfrak\{T\}\}\_\{\backslash alpha\backslash beta\}$ is a non-singular matrix and a rank-two tensor density of weight $W$ with covariant indices then its matrix inverse will be a rank-two tensor density of weight $-W$ with contravariant indices. Similar statements apply when the two indices are contravariant or are mixed covariant and contravariant.

If $\{\backslash mathfrak\{T\}\}\_\{\backslash alpha\backslash beta\}$ is a rank-two tensor density of weight $W$ with covariant indices then the matrix determinant $\backslash det\; \{\backslash mathfrak\{T\}\}\_\{\backslash alpha\backslash beta\}$ will have weight $N\; W\; +\; 2,$ where $N$ is the number of space-time dimensions. If $\{\backslash mathfrak\{T\}\}^\{\backslash alpha\backslash beta\}$ is a rank-two tensor density of weight $W$ with contravariant indices then the matrix determinant $\backslash det\; \{\backslash mathfrak\{T\}\}^\{\backslash alpha\backslash beta\}$ will have weight $N\; W\; -\; 2.$ The matrix determinant $\backslash det\; \{\backslash mathfrak\{T\}\}^\{\backslash alpha\}\_\{~\backslash beta\}$ will have weight $N\; W.$

{{General relativity sidebar}}

Any non-singular ordinary tensor $T\_\{\backslash mu\backslash nu\}$ transforms as

$$T\_\{\backslash mu\backslash nu\}\; =\; \backslash frac\{\backslash partial\; \backslash bar\{x\}^\backslash kappa\}\{\backslash partial\; \{x\}^\backslash mu\}\; \backslash bar\{T\}\_\{\backslash kappa\backslash lambda\}\; \backslash frac\{\backslash partial\; \backslash bar\{x\}^\backslash lambda\}\{\backslash partial\; \{x\}^\backslash nu\}\; \backslash ,,$$

where the right-hand side can be viewed as the product of three matrices. Taking the determinant of both sides of the equation (using that the determinant of a matrix product is the product of the determinants), dividing both sides by $\backslash det\backslash left(\backslash bar\{T\}\_\{\backslash kappa\backslash lambda\}\backslash right),$ and taking their square root gives

\left\vert \det{\left[\frac{\partial \bar{x}^\iota}{\partial {x}^\gamma}\right]} \right\vert =

\sqrt{\frac{\det({T}_{\mu\nu})}{\det\left(\bar{T}_{\kappa\lambda}\right)}}\,.

When the tensor $T$ is the metric tensor, $\{g\}\_\{\backslash kappa\backslash lambda\},$ and $\backslash bar\{x\}^\backslash iota$ is a locally inertial coordinate system where $\backslash bar\{g\}\_\{\backslash kappa\backslash lambda\}\; =\; \backslash eta\_\{\backslash kappa\backslash lambda\}\; =${{nbsp}}diag(−1,+1,+1,+1), the Minkowski metric, then $\backslash det\backslash left(\backslash bar\{g\}\_\{\backslash kappa\backslash lambda\}\backslash right)\; =\; \backslash det(\backslash eta\_\{\backslash kappa\backslash lambda\})\; =${{nbsp}}−1 and so

\left\vert \det{\left[\frac{\partial \bar{x}^{\iota}}{\partial {x}^{\gamma}}\right]} \right\vert =

\sqrt{-{g}}\,,

where $\{g\}\; =\; \backslash det\backslash left(\{g\}\_\{\backslash mu\backslash nu\}\backslash right)$ is the determinant of the metric tensor $\{g\}\_\{\backslash mu\backslash nu\}.$

Consequently, an even tensor density, $\backslash mathfrak\{T\}^\{\backslash mu\; \backslash dots\}\_\{\backslash nu\; \backslash dots\},$ of weight $W$, can be written in the form

$$\backslash mathfrak\{T\}^\{\backslash mu\; \backslash dots\}\_\{\backslash nu\; \backslash dots\}\; =\; \backslash sqrt\{-g\}\backslash ;^W\; T^\{\backslash mu\; \backslash dots\}\_\{\backslash nu\; \backslash dots\}\; \backslash ,,$$

where $T^\{\backslash mu\; \backslash dots\}\_\{\backslash nu\; \backslash dots\}\; \backslash ,$ is an ordinary tensor. In a locally inertial coordinate system, where $g\_\{\backslash kappa\backslash lambda\}\; =\; \backslash eta\_\{\backslash kappa\backslash lambda\},$ it will be the case that $\backslash mathfrak\{T\}^\{\backslash mu\; \backslash dots\}\_\{\backslash nu\; \backslash dots\}$ and $T^\{\backslash mu\; \backslash dots\}\_\{\backslash nu\; \backslash dots\}\; \backslash ,$ will be represented with the same numbers.

When using the metric connection (Levi-Civita connection), the covariant derivative of an even tensor density is defined as

\mathfrak{T}^{\mu \dots}_{\nu \dots ; \alpha} =

\sqrt{-g}\;^W T^{\mu \dots}_{\nu \dots ; \alpha} =

\sqrt{-g}\;^W \left(\sqrt{-g}\;^{-W} \mathfrak{T}^{\mu \dots}_{\nu \dots}\right)_{;\alpha} \,.

For an arbitrary connection, the covariant derivative is defined by adding an extra term, namely

$$-W\; \backslash ,\; \backslash Gamma^\{\backslash delta\}\_\{~\backslash delta\; \backslash alpha\}\; \backslash ,\; \backslash mathfrak\{T\}^\{\backslash mu\; \backslash dots\}\_\{\backslash nu\; \backslash dots\}$$

to the expression that would be appropriate for the covariant derivative of an ordinary tensor.

Equivalently, the product rule is obeyed

\left(\mathfrak{T}^{\mu \dots}_{\nu \dots} \mathfrak{S}^{\sigma \dots}_{\tau \dots}\right)_{; \alpha} =

\left(\mathfrak{T}^{\mu \dots}_{\nu \dots; \alpha}\right) \mathfrak{S}^{\sigma \dots}_{\tau \dots} +

\mathfrak{T}^{\mu \dots}_{\nu \dots} \left(\mathfrak{S}^{\sigma \dots}_{\tau \dots; \alpha}\right) \,,

where, for the metric connection, the covariant derivative of any function of $g\_\{\backslash kappa\backslash lambda\}$ is always zero,

$$\backslash begin\{align\}$$

g_{\kappa\lambda ; \alpha} & = 0 \\

\left(\sqrt{-g}\;^W\right)_{; \alpha} & = \left(\sqrt{-g}\;^W\right)_{, \alpha} - W \Gamma^{\delta}_{~\delta \alpha} \sqrt{-g}\;^W =

\frac W2 g^{\kappa\lambda} g_{\kappa\lambda,\alpha} \sqrt{-g}\;^W - W \Gamma^{\delta}_{~\delta \alpha} \sqrt{-g}\;^W = 0 \,.

\end{align}

{{see also|Maxwell's equations in curved spacetime}}

The expression $\backslash sqrt\{-g\}$ is a scalar density. By the convention of this article it has a weight of +1.

The density of electric current $\backslash mathfrak\{J\}^\backslash mu$ (for example, $\backslash mathfrak\{J\}^2$ is the amount of electric charge crossing the 3-volume element $d\; x^3\; \backslash ,\; d\; x^4\; \backslash ,\; d\; x^1$ divided by that element — do not use the metric in this calculation) is a contravariant vector density of weight +1. It is often written as $\backslash mathfrak\{J\}^\backslash mu\; =\; J^\backslash mu\; \backslash sqrt\{-g\}$ or $\backslash mathfrak\{J\}^\backslash mu\; =\; \backslash varepsilon^\{\backslash mu\backslash alpha\backslash beta\backslash gamma\}\; \backslash mathcal\{J\}\_\{\backslash alpha\backslash beta\backslash gamma\}\; /\; 3!,$ where $J^\backslash mu\backslash ,$ and the differential form $\backslash mathcal\{J\}\_\{\backslash alpha\backslash beta\backslash gamma\}$ are absolute tensors, and where $\backslash varepsilon^\{\backslash mu\backslash alpha\backslash beta\backslash gamma\}$ is the Levi-Civita symbol; see below.

The density of Lorentz force $\backslash mathfrak\{f\}\_\backslash mu$ (that is, the linear momentum transferred from the electromagnetic field to matter within a 4-volume element $d\; x^1\; \backslash ,\; d\; x^2\; \backslash ,\; d\; x^3\; \backslash ,\; d\; x^4$ divided by that element — do not use the metric in this calculation) is a covariant vector density of weight +1.

In $N$-dimensional space-time, the Levi-Civita symbol may be regarded as either a rank-$N$ contravariant (odd) authentic tensor density of weight +1 {{nowrap|($\backslash epsilon^\{\backslash alpha\_1\; \backslash cdots\; \backslash epsilon\_\{\backslash alpha\_N\}\}$)}} or a rank-$N$ covariant (odd) authentic tensor density of weight −1 {{nowrap|($\backslash epsilon\_\{\backslash alpha\_1\; \backslash cdots\; \backslash epsilon\_\{\backslash alpha\_N\}\}$)}}:

$$\backslash epsilon^\{\backslash alpha\_1\; \backslash cdots\; \backslash epsilon\_\{\backslash alpha\_N\}\}\; =\; \backslash bar\backslash epsilon^\{\backslash beta\_1\; \backslash cdots\; \backslash epsilon\_\{\backslash beta\_N\}\}\; \backslash frac\{\backslash partial\; x^\{\backslash alpha\_1\}\}\{\backslash partial\; \backslash bar\{x\}^\{\backslash beta\_1\}\}\; \backslash cdots\; \backslash frac\{\backslash partial\; x^\{\backslash alpha\_N\}\}\{\backslash partial\; \backslash bar\{x\}^\{\backslash beta\_N\}\}\; \backslash left(\backslash det\; \backslash left[\; \backslash frac\{\backslash partial\; \backslash bar\{x\}^\{\backslash beta\}\}\{\backslash partial\; x^\{\backslash alpha\}\}\; \backslash right]\; \backslash right)^\{+1\}$$

$$\backslash epsilon\_\{\backslash alpha\_1\; \backslash cdots\; \backslash epsilon\_\{\backslash alpha\_N\}\}\; =\; \backslash bar\backslash epsilon\_\{\backslash beta\_1\; \backslash cdots\; \backslash epsilon\_\{\backslash beta\_N\}\}\; \backslash frac\{\backslash partial\; \backslash bar\{x\}^\{\backslash beta\_1\}\}\{\backslash partial\; x^\{\backslash alpha\_1\}\}\; \backslash cdots\; \backslash frac\{\backslash partial\; \backslash bar\{x\}^\{\backslash beta\_N\}\}\{\backslash partial\; x^\{\backslash alpha\_N\}\}\; \backslash left(\backslash det\; \backslash left[\; \backslash frac\{\backslash partial\; \backslash bar\{x\}^\{\backslash beta\}\}\{\backslash partial\; x^\{\backslash alpha\}\}\; \backslash right]\; \backslash right)^\{-1\}\backslash ,.$$

Notice that the Levi-Civita symbol (so regarded) does {{em|not}} obey the usual convention for raising or lowering of indices with the metric tensor. That is, it is true that

$$\backslash varepsilon^\{\backslash alpha\backslash beta\backslash gamma\backslash delta\}\backslash ,g\_\{\backslash alpha\backslash kappa\}\backslash ,g\_\{\backslash beta\backslash lambda\}\backslash ,g\_\{\backslash gamma\backslash mu\}g\_\{\backslash delta\backslash nu\}\; \backslash ,=\backslash ,\; \backslash varepsilon\_\{\backslash kappa\backslash lambda\backslash mu\backslash nu\}\backslash ,g\; \backslash ,,$$

but in general relativity, where $g\; =\; \backslash det\backslash left(g\_\{\backslash rho\backslash sigma\}\backslash right)$ is always negative, this is never equal to $\backslash varepsilon\_\{\backslash kappa\backslash lambda\backslash mu\backslash nu\}.$

The determinant of the metric tensor,

$$g\; =\; \backslash det\backslash left(g\_\{\backslash rho\backslash sigma\}\backslash right)\; =\; \backslash frac\{1\}\{4!\}\; \backslash varepsilon^\{\backslash alpha\backslash beta\backslash gamma\backslash delta\}\; \backslash varepsilon^\{\backslash kappa\backslash lambda\backslash mu\backslash nu\}\; g\_\{\backslash alpha\backslash kappa\}\; g\_\{\backslash beta\backslash lambda\}\; g\_\{\backslash gamma\backslash mu\}\; g\_\{\backslash delta\backslash nu\}\backslash ,,$$

is an (even) authentic scalar density of weight +2, being the contraction of the product of 2 (odd) authentic tensor densities of weight +1 and four (even) authentic tensor densities of weight 0.

{{cols|colwidth=26em}}

• {{annotated link|Action (physics)}}
• {{annotated link|Conservation law}}
• {{annotated link|Noether's theorem}}
• {{annotated link|Pseudotensor}}
• {{annotated link|Relative scalar}}
• {{annotated link|Variational principle}}

{{colend}}

{{reflist}}

{{reflist|group=note}}

• {{citation|first=Michael|last=Spivak|author-link=Michael Spivak|title=A Comprehensive Introduction to Differential Geometry, Vol I|edition=3rd|year=1999|page=134}}.
• {{springer|id=t/t092390|title=Tensor Density|first=L.P.|last=Kuptsov}}.
• {{cite book | author=Charles Misner; Kip S Thorne & John Archibald Wheeler | title=Gravitation | publisher=W. H. Freeman | year=1973 | isbn=0-7167-0344-0|page=501ff}}
• {{citation|last=Weinberg|first=Steven|year=1972|title=Gravitation and Cosmology|isbn=0-471-92567-5|publisher=John Wiley & sons, Inc|author-link=Steven Weinberg|url=https://archive.org/details/gravitationcosmo00stev_0}}

{{Tensors}}

{{Manifolds}}

Category:Differential geometry

Density

Density