LeviCivita[alpha, beta, mu, nu, ...], displayed as ${\mathrm{\epsilon }}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu },\mathrm{...}}$ or ${\mathrm{{\rm E}}}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu },\mathrm{...}}$, respectively for the galilean and nongalilean case, is a computational representation for the totally antisymmetric LeviCivita pseudo-tensor.

The number of indices in LeviCivita is not restricted to the spacetime dimension. It can be used as well as a totally antisymmetric tensor in arbitrary dimensions (minimum = 2).

The generic antisymmetric symbol, also called galilean LeviCivita, is equal to 1 when all its indices are integers, ordered from 0 to the dimension or any even permutation of that ordering, -1 for any odd permutation of that ordering, and 0 when any of the indices is repeated.

In the nongalilean case, that is the generalization of the galilean case to curvilinear coordinates, say in 4 dimensions, the all-contravariant LeviCivita[alpha, beta, mu, nu] is defined in terms of the galilean case by

where $g$ is the determinant of the spacetime metric. Using the formula

and taking into account the definition for the all-contravariant case given above, the all-covariant case is given by

In the Maple worksheet, by default, LeviCivita represents the galilean case, even when working in curvilinear coordinates, with a nongalilean spacetime metric. To set LeviCivita to represent the nongalilean case enter Setup(levicivita = nongalilean).

When the indices of LeviCivita assume integer values they are expected to be between 0 and the dimension (number of indices), and the corresponding value of LeviCivita is returned. The values 0 and 4, or for the case any dimension set for the spacetime, represent the same object. When the indices have symbolic values LeviCivita returns unevaluated after normalizing its indices taking into account its totally antisymmetric property.

Computations performed with the Physics package commands take into account Einstein's sum rule for repeated indices - see `.` and Simplify. The distinction between covariant and contravariant indices in the input of tensors is done by prefixing contravariant ones with ~, say as in ~mu; in the output, contravariant indices are displayed as superscripts. For contracted indices, you can enter them one covariant and one contravariant. Note however that - provided that the spacetime metric is galilean (Euclidean or Minkowski), or the object is a tensor also in curvilinear coordinates - this distinction in the input is not relevant, and so contracted indices can be entered as both covariant or both contravariant, in which case they will be automatically rewritten as one covariant and one contravariant. Tensors can have spacetime and space indices at the same time. To change the type of letter used to represent spacetime or space indices see Setup.

When Physics is loaded, the default spacetime is galilean, of Minkowski type. To set the spacetime metric to something different use Setup. During a Maple session, the value of the components of the general relativity tensors of Physics, that is: Christoffel, the covariant derivative D_, Einstein, the nongalilean LeviCivita, Ricci, Riemann and Weyl, automatically follows the value or any changes introduced in the components of the spacetime metric.

Besides being indexed with two indices, LeviCivita accepts the following keywords as an index:

array: (synonym: matrix, Matrix, Array, or no indices whatsoever, as in LeviCivita[]) returns an Array that when indexed with numerical values from 1 to the dimension (number of indices in LeviCivita[mu, nu, ...]) it returns the value of each of the components of LeviCivita. If this keyword is passed together with indices, that can be covariant or contravariant, the resulting Matrix takes into account the character of the indices. If only two of these indices are names, the rest have numerical values (if contravariant then preceded by ~), the returned object is the corresponding 2 x 2 Matrix.

nonzero: returns a set of equations, with the left-hand-side as a sequence of two positive numbers identifying the element of LeviCivita and the corresponding value on the right-hand-side. Note that this set is actually the output of the ArrayElems command when passing to it the Array obtained with the keyword array.

Some automatic checking and normalization are carried out each time you enter LeviCivita[...]. The checking is concerned with possible unexpected values of the indices. The automatic normalization takes into account the symmetry of LeviCivita[mu,nu] with respect to interchanging the positions of the indices mu and nu.

The %LeviCivita command is the inert form of LeviCivita, so it represents the same tensor but entering it does not result in performing any computation. To perform the related computations as if %LeviCivita were LeviCivita, use value.

$\mathrm{with}\left(\mathrm{Physics}\right)\:$

$\mathrm{Setup}\left(\mathrm{mathematicalnotation}\=\mathrm{true}\right)$

$\left[\mathrm{mathematicalnotation}=\mathrm{true}\right]$

${\mathrm{g\_}}_{\[\]}$

${\mathrm{g\_}}_{\mathrm{\μ}\,\mathrm{\ν}}\=\left(\left[\begin{array}{rrrr}-1& 0& 0& 0\\ 0& -1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& 1\end{array}\right]\right)$

${\mathrm{LeviCivita}}_{\mathrm{`~0`}\,\mathrm{`~1`}\,\mathrm{`~2`}\,\mathrm{`~3`}}\={\mathrm{LeviCivita}}_{\mathrm{`~4`}\,\mathrm{`~1`}\,\mathrm{`~2`}\,\mathrm{`~3`}}$

$1=1$

${\mathrm{LeviCivita}}_{0\,\mathrm{`~1`}\,\mathrm{`~2`}\,\mathrm{`~3`}}$

$1$

${\mathrm{LeviCivita}}_{0\,1\,2\,3}$

$\mathrm{-1}$

${\mathrm{LeviCivita}}_{0\,0\,2\,3}$

$0$

${\mathrm{LeviCivita}}_{\mathrm{\μ}\,\mathrm{\ν}\,\mathrm{\α}\,\mathrm{\β}}$

${\mathrm{\epsilon }}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}$

${\mathrm{LeviCivita}}_{\mathrm{\β}\,\mathrm{\α}\,\mathrm{\ν}\,\mathrm{\μ}}$

${\mathrm{\epsilon }}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}$

$-$

$0$

${\mathrm{Christoffel}}_{\mathrm{nonzero}}$

${\mathrm{\Gamma }}_{\mathrm{\alpha },\mathrm{\mu },\mathrm{\nu }}=\varnothing$

${\mathrm{Christoffel}}_{\mathrm{\μ}\,\mathrm{\α}\,\mathrm{\β}}$

$0$

$\mathrm{ds2}≔r^2{\mathrm{dtheta}}^2\+r^2{\sin \left(\mathrm{\θ}\right)}^2{\mathrm{dphi}}^2-2\mathrm{dt}\mathrm{dr}-2{k\left(r\,t\right)}^2{\mathrm{dt}}^2$

$\mathrm{ds2}≔r^2{\mathrm{d\θ}}^2+r^2{\sin \left(\mathrm{\theta }\right)}^2{\mathrm{d\φ}}^2-2\mathrm{dt}\mathrm{dr}-2{k\left(r\,t\right)}^2{\mathrm{dt}}^2$

$\mathrm{Setup}\left(\mathrm{coordinates}\=\mathrm{spherical}\,\mathrm{metric}\=\mathrm{ds2}\right)$

$\mathrm{Systems\; of\; spacetime\; coordinates\; are:}\left\{X=\left(r\,\mathrm{\theta }\,\mathrm{\phi }\,t\right)\right\}$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\mathrm{Coordinates:}\left[r\,\mathrm{\theta }\,\mathrm{\phi }\,t\right]\mathrm{.\; Signature:}\left(\mathrm{-\; -\; -\; +}\right)$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

${\mathrm{g\_}}_{\mathrm{\μ}\,\mathrm{\ν}}\=\left(\left[\begin{array}{cccc}0& 0& 0& -1\\ 0& r^2& 0& 0\\ 0& 0& r^2{\sin \left(\mathrm{\θ}\right)}^2& 0\\ -1& 0& 0& -2{k\left(r\,t\right)}^2\end{array}\right]\right)$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\mathrm{Setting}\mathrm{lowercaselatin\_is}\mathrm{letters\; to\; represent}\mathrm{space}\mathrm{indices}$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\left[\mathrm{coordinatesystems}=\left\{X\right\}\,\mathrm{metric}=\left\{\left(1\,4\right)=\mathrm{-1}\,\left(2\,2\right)=r^2\,\left(3\,3\right)=r^2{\sin \left(\mathrm{\theta }\right)}^2\,\left(4\,4\right)=-2{k\left(r\,t\right)}^2\right\}\,\mathrm{spaceindices}=\mathrm{lowercaselatin\_is}\right]$

${\mathrm{LeviCivita}}_{\mathrm{\α}\,\mathrm{\β}\,\mathrm{\μ}\,\mathrm{\ν}}$

${\mathrm{\epsilon }}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}$

${\mathrm{LeviCivita}}_{1\,2\,3\,4}$

$1$

${\mathrm{LeviCivita}}_{1\,1\,3\,4}$

$0$

${\mathrm{d\_}}_{\mathrm{\ρ}}\left(\right)$

$0$

$\mathrm{Setup}\left(\mathrm{levicivita}\=\mathrm{nongalilean}\right)$

$\left[\mathrm{levicivita}=\mathrm{nongalilean}\right]$

${\mathrm{LeviCivita}}_{\mathrm{\α}\,\mathrm{\β}\,\mathrm{\μ}\,\mathrm{\ν}}$

${\mathrm{{\rm E}}}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}$

${\mathrm{LeviCivita}}_{1\,1\,3\,4}$

$0$

${\mathrm{\%LeviCivita}}_{1\,2\,3\,4}\={\mathrm{LeviCivita}}_{1\,2\,3\,4}$

${\mathrm{\%LeviCivita}}_{1\,2\,3\,4}=r^2\sin \left(\mathrm{\theta }\right)$

${\mathrm{\%LeviCivita}}_{\mathrm{`~1`}\,\mathrm{`~2`}\,\mathrm{`~3`}\,\mathrm{`~4`}}\={\mathrm{LeviCivita}}_{\mathrm{`~1`}\,\mathrm{`~2`}\,\mathrm{`~3`}\,\mathrm{`~4`}}$

${\mathrm{\%LeviCivita}}_{\mathrm{~1}\,\mathrm{~2}\,\mathrm{~3}\,\mathrm{~4}}=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}$

$$

${\mathrm{\%LeviCivita}}_{1\,2\,3\,4}{\mathrm{\%LeviCivita}}_{\mathrm{~1}\,\mathrm{~2}\,\mathrm{~3}\,\mathrm{~4}}=\mathrm{-1}$

${\mathrm{d\_}}_{\mathrm{\ρ}}\left(\right)$

${\partial }_{\mathrm{\rho }}\left({\mathrm{{\rm E}}}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}\right)$

${\mathrm{LeviCivita}}_{\mathrm{`~1`}\,2\,3\,4}$

$2{k\left(r\,t\right)}^2{r}^2\sin \left(\mathrm{\theta }\right)$

${\mathrm{LeviCivita}}_{\mathrm{`~1`}\,\mathrm{`~2`}\,3\,4}$

$2{k\left(r\,t\right)}^2\sin \left(\mathrm{\theta }\right)$

${\mathrm{LeviCivita}}_{\[\]}$

${\mathrm{LeviCivita}}_{\mathrm{`~alpha`}\,\mathrm{`~beta`}\,\mathrm{`~mu`}\,\mathrm{`~nu`}\,\mathrm{array}}$

${\mathrm{LeviCivita}}_{\mathrm{`~mu`}\,\mathrm{`~nu`}\,\mathrm{`~alpha`}\,\mathrm{`~beta`}\,\mathrm{nonzero}}$

${\mathrm{{\rm E}}}_{\phantom{}\phantom{\mathrm{\mu },\mathrm{\nu },\mathrm{\alpha },\mathrm{\beta }}}^{\phantom{}\mathrm{\mu },\mathrm{\nu },\mathrm{\alpha },\mathrm{\beta }}=\left\{\left(1\,2\,3\,4\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(1\,2\,4\,3\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(1\,3\,2\,4\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(1\,3\,4\,2\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(1\,4\,2\,3\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(1\,4\,3\,2\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(2\,1\,3\,4\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(2\,1\,4\,3\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(2\,3\,1\,4\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(2\,3\,4\,1\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(2\,4\,1\,3\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(2\,4\,3\,1\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(3\,1\,2\,4\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(3\,1\,4\,2\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(3\,2\,1\,4\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(3\,2\,4\,1\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(3\,4\,1\,2\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(3\,4\,2\,1\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(4\,1\,2\,3\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(4\,1\,3\,2\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(4\,2\,1\,3\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(4\,2\,3\,1\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(4\,3\,1\,2\right)=\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\,\left(4\,3\,2\,1\right)=-\frac{1}{r^2\sin \left(\mathrm{\theta }\right)}\right\}$

Landau, L.D., and Lifshitz, E.M. The Classical Theory of Fields, Course of Theoretical Physics Volume 2, fourth revised English edition. Elsevier, 1975.

The Physics[LeviCivita] command was introduced in Maple 16.

For more information on Maple 16 changes, see Updates in Maple 16.