Compute the Lie bracket of two vector fields using algebraic tensor notation - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Physics : Physics Package : Physics/LieBracket

Physics[LieBracket] - Compute the Lie bracket of two vector fields using algebraic tensor notation

Calling Sequence

LieBracket(U, V, ...)

Parameters

U, V

-

two contravariant vectors, as tensors functions with one free spacetime contravariant index (prefixed by ~); the first vector can also be passed without its index

...

-

optional, a third argument can be the non-covariant operator d_ to be used instead of the covariant D_

Description

• 

The LieBracket[mu] command computes the Lie bracket of the vector fields Umu and Vnu, defined in terms of the LieDerivative as

LieBracketUμ,Vν=UVν=Uμ𝒟μVνVμ𝒟μUν

  

where Einstein's summation convention is used, mu and nu represent spacetime indices,  is the LieDerivative and 𝒟μ is the covariant derivative operator D_. The LieBracket satisfies the Jacobi identity for commutators

LieBracketAμ,LieBracketBν,Cρ+LieBracketBμ,LieBracketCν,Aρ+LieBracketCμ,LieBracketAν,Bρ=0

• 

When the spacetime is Galilean, so all the Christoffel symbols are zero, the operator d_ is used instead of the covariant D_. Also, when the spacetime is non-Galilean, due to the symmetry of the Christoffel symbols under permutation of their 2nd and 3rd indices, all the terms involving Christoffel symbols cancel so that a mathematically equivalent result can be obtained replacing D_ by d_. To obtain a result directly expressed using d_, pass d_ as the last argument.

Examples

withPhysics:

Setupmathematicalnotation=true

mathematicalnotation=true

(1)

Set a system of coordinates - say X

CoordinatesX=spherical

Default differentiation variables for d_, D_ and dAlembertian are: X=r,θ,φ,t

Systems of spacetime Coordinates are: X=r,θ,φ,t

X

(2)

Define two tensors for experimentation

DefineA,B

Defined objects with tensor properties

A,B,γμ,σμ,Xμ,μ,gμ,ν,δμ,ν,εα,β,μ,ν

(3)

Use the declare facility of PDEtools to avoid redundant display of functionality

PDEtools:-declareA,BX

Ar,θ,φ,twill now be displayed asA

Br,θ,φ,twill now be displayed asB

(4)

Compute the Lie bracket of Aμ and Bν 

LieBracketA`~mu`X,B`~nu`X

AμμμBννBμμμAνν

(5)

Because the spacetime at this point in the worksheet is flat, the output above involves d_, not the covariant D_. Set the spacetime to any nongalilean value, for instance (see g_):

g_sc

The Schwarzschild metric in coordinates r,θ,φ,t

Parameters: m

gμ,ν=rr+2m0000r20000r2sinθ20000r2mr

(6)

Compute the Lie bracket again

LieBracketA`~mu`X,B`~nu`X

Aμμ𝒟μBννBμμ𝒟μAνν

(7)

Note that the Lie bracket between two vector fields is equal to the LieDerivative of the second one with respect to the first one, that you can pass with or without its index to both LieBracket and LieDerivative:

LieDerivativeA`~mu`XB`~nu`X

Aμμ𝒟μBννBμμ𝒟μAνν

(8)

Due to the symmetry properties of Christoffel symbols, this expression can also be expressed replacing the covariant derivative operator D_ by d_. To see that, rewrite the covariant derivatives in terms of Christoffel symbols and the d_ operator

convert,d_

AμμμBνν+Γνβ,μνβ,μBββBμμμAνν+Γνα,μνα,μAαα

(9)

Simplify

BμμμAνν+AμμμBνν

(10)

This expression is the same one obtained above in (5) for a flat spacetime but for the dummy used for repeated index:

Simplify

0

(11)

See Also

Christoffel, convert, Coordinates, d_, D_, Define, g_, LieDerivative, PDEtools[declare], Physics, Physics conventions, Physics examples, Setup, Simplify

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.

  

Weinberg, S. Gravitation and Cosmology: Principles and Applications of The General Theory of Relativity, John Wiley & Sons, Inc, 1972.


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam