tensor(deprecated)/commutator - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : tensor(deprecated)/commutator

tensor[commutator] - compute the commutator of two contravariant vector fields

Calling Sequence

commutator( U, V, coord)

Parameters

U, V

-

contravariant vector fields

coord

-

list of coordinate names

Description

Important: The tensor package has been deprecated. Use the superseding commands DifferentialGeometry[LieBracket] and Physics[Commutator] instead.

• 

Given the coordinate variables, coord, and two contravariant vector fields, U and V, commutator( U, V, coord ) computes the commutator of U and V using the usual partial derivative with respect to the coordinates using the formula:

U,Vi=UjVi,jVjUi,j

  

where U,Vi denotes the i'th component of the commutator of U and V, and Ui,j and Vi,j denote the partial derivatives of the i'th components of U and V, respectively, with respect to the j'th coordinate.

• 

It is required that U and V be tensor_types with character: [1] (that is, U and V are contravariant vector fields)

• 

Note that the result is a tensor_type of rank 1 with character [1].

• 

Simplification:  This routine uses the routine `tensor/commutator/simp` routine for simplification purposes.  The simplification routine is applied to each component once it has been computed. By default, this routine is initialized to the `tensor/simp` routine. It is recommended that the `tensor/commutator/simp` routine be customized to suit the needs of the particular problem.

• 

This function is part of the tensor package, and so can be used in the form commutator(..) only after performing the command with(tensor) or with(tensor, commutator).  The function can always be accessed in the long form tensor[commutator](..).

Examples

Important: The tensor package has been deprecated. Use the superseding commands DifferentialGeometry[LieBracket] and Physics[Commutator] instead.

withtensor:

Define U and V -- two contravariant vector fields:

U:=create1,arrayx2,y+lnxz,z3

U:=tablecompts=x2y+lnxz13z,index_char=1

(1)

V:=create1,arrayyz,z+lnx3,lnzy

V:=tablecompts=yzz+lnx3lnzy,index_char=1

(2)

Define the coordinates:

coord:=x,y,z

coord:=x,y,z

(3)

Because the components of U and V contain expressions involving ln, define `tensor/commutator/simp` to apply simplify( ... , ln) to each computed component:

`tensor/commutator/simp`:=proc(x) simplify(x,ln) end proc;

tensor/commutator/simp:=procxsimplifyx,lnend proc

(4)

Now compute the commutator of U and V:

comUV:=commutatorU,V,coord

comUV:=tablecompts=13z+y+lnxz2yzx23zlnzyzlnx3+3xyzx1313lnzyy+lnxzy,index_char=1

(5)

See Also

DifferentialGeometry[LieBracket], Physics[Commutator], tensor(deprecated), tensor(deprecated)/Lie_diff


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