decomposes a 4D tensorial expression into 3 + 1, regarding both its free and contracted (repeated) indices - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Physics : Physics/Decompose

Physics[Decompose] - decomposes a 4D tensorial expression into 3 + 1, regarding both its free and contracted (repeated) indices

Calling Sequence

Decompose(expression, ...)

Parameters

expression

-

any algebraic tensorial expression having spacetime free indices possibly having also repeated indices implying summation, or an equation, relation, list, set or matrix of such expressions

freeindices = ...

-

optional, the right-hand side can be true (default) or false or a list indicating the free indices to be decomposed and the ordering (relevant when expression involves products and sums of tensors with free indices). When true, a 3 + 1 decomposition of the free indices is performed and, when equal to false, the free indices are not decomposed and the output is an expression as the input, not an Array

repeatedindices = ...

-

optional, can be true (default) or false or a list indicating indicating which repeated indices are to be decomposed into 3 + 1; when equal to false, the repeated indices are not decomposed.

simplifier = ...

-

optional - indicates the simplifier to be used; default is none

Description

• 

The Decompose receives a tensorial expression having n free indices, and returns a corresponding n dimensional Array, which can be indexed as a single object to return the values of the tensorial expression for given values of the n free indices. When there are no free indices, the returned output is not an Array but of the same type of expression.

• 

In the Array returned by Decompose, the 4D indices can assume the values 1 and 2 where, when the position of the time-like-component in the signature is 1 (e.g. the signature is - + + +) , the value 1 returns the time component and the value 2 returns the 3D (space part) of the 4D tensorial expression, expressed using 3D space indices. If the position of the time-like-component in the signature is equal to the spacetime dimension (e.g. the signature is + + + -), then the values 1 and 2 of the Array indices get reversed.

• 

To check and determine the free and repeated indices of an expression use Check.

• 

By default, in the returned result, summation is explicitly performed over all the repeated indices found in expression by splitting 4D indices into 3D + 1, so for example AμAμ=A0A0+AiAi, and the space indices are not summed up. To avoid this decomposition of 4D repeated indices pass the optional argument decomposerepeatedindices = false.

• 

By default, the Array is constructed without simplifying its components. To have them simplified, indicate the simplifier on the right-hand-side of the optional argument simplifier = .... A frequently convenient simplification is achieved with just simplifier = simplify.

Examples

withPhysics:

Setupmathematicalnotation=true,spaceindices=lowercase_is

mathematicalnotation=true,spaceindices=lowercaselatin_is

(1)

Define now an arbitrary tensor A

DefineA

Defined objects with tensor properties

A,γμ,σμ,μ,gμ,ν,γi,j,εα,β,μ,ν

(2)

So Aμ is a 4D tensor with only one free index, where the position of the time-like component is indicated by the different sign in the signature

Setupsignature

signature=- - - +

(3)

Accordingly, the 3+1 decomposition of Aμ is

DecomposeA`~mu`

A~iA~0

(4)

The 3+1 decomposition of the inert representation %g_[mu,nu] of the 4D spacetime metric; use the inert representation when you do not want the actual components of the metric appearing in the output

Decompose%g_μ,ν

%g_i,j%g_i,0%g_0,j%g_0,0

(5)

Note the position of the component %g_[0, 0], related to the trailing position of the time-like component in the signature + + + -.

Compare the decomposition of the 4D inert with the decomposition of the 4D active spacetime metric

g_[]

g_μ,ν=1000010000100001

(6)

Decomposeg_μ,ν

g_i,j001

(7)

The 3D space part of gμ,ν is actually equal to minus the 3D metric γi,j (equations (84.7) and (84.9) of Landau's book [1])

gamma_`~`,definition

γi,ji,j=gi,ji,j

(8)

gamma_definition

γi,j=gi,j+g0,ig0,jg0,0

(9)

To derive the formula above for the covariant components of the 3D metric, Decompose into 3+1 the identity

%g_`~alpha`,`~mu`%g_μ,β=g_`~alpha`,β

%g_α,μα,μ%g_μ,β=g_βαβα

(10)

To the side, for illustration purposes, this is the 3 + 1 decomposition excluding the repeated indices, and excluding the free indices

EqDecompose,repeatedindices=false

%g_~i,~mu%g_μ,j=g_j,~i%g_~i,~mu%g_μ,0=0%g_~0,~mu%g_μ,j=0%g_~0,~mu%g_μ,0=1

(11)

EqDecompose,freeindices=false

Eq%g_0,β%g_α,0α,0+%g_i,β%g_α,iα,i=g_βαβα

(12)

Compare with a full decomposition

EqDecompose

%g_0,k%g_~j,~0+%g_i,k%g_~j,~i=g_k,~j%g_0,0%g_~j,~0+%g_i,0%g_~j,~i=0%g_0,k%g_~0,~0+%g_i,k%g_~0,~i=0%g_0,0%g_~0,~0+%g_i,0%g_~0,~i=1

(13)

Eq is a symmetric matrix of equations involving non-contracted occurrences of g0,0, gj,0 and gj,i. Isolate, in Eq1,2, gj,0, that you input as %g_[~j, ~0], and substitute into Eq1,1

isolateEq1,2,%g_`~j`,`~0`

%g_j,0j,0=%g_i,0%g_j,ij,i%g_0,0

(14)

subs,Eq1,1

%g_0,k%g_i,0%g_j,ij,i%g_0,0+%g_i,k%g_j,ij,i=g_kjkj

(15)

Collect gj,i, that you input as %g_[~j, ~i]

collect,%g_`~j`,`~i`

%g_0,k%g_i,0%g_0,0+%g_i,k%g_j,ij,i=g_kjkj

(16)

Since the right-hand side is the identity matrix and, from (27), gi,j=−1γi,j, the expression between parenthesis, multiplied by -1, is the reciprocal of the contravariant 3D metric γi,j, that is the covariant 3D metric γi,j, in accordance to its definition for the signature - - - +

gamma_definition

γi,j=gi,j+g0,ig0,jg0,0

(17)

See Also

Check, coeff, Coordinates, Define, g_, gamma_, Physics, Physics conventions, Physics examples, Physics Updates, Tensors - a complete guide, Mini-Course Computer Algebra for Physicists, Setup, ThreePlusOne

References

  

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

Compatibility

• 

The Physics[Decompose] command was introduced in Maple 2017.

• 

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