compute the commutator of two contravariant vector fields
commutator( U, V, coord)
contravariant vector fields
list of coordinate names
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:
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:  (that is, U and V are contravariant vector fields)
Note that the result is a tensor_type of rank 1 with character .
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](..).
Define U and V -- two contravariant vector fields:
U ≔ create⁡1,array⁡x2,y+ln⁡x⁢z,z3
V ≔ create⁡1,array⁡y−z,z+ln⁡x3,ln⁡zy
Define the coordinates:
coord ≔ x,y,z
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 ≔ procxsimplify⁡x,lnend proc
Now compute the commutator of U and V:
comUV ≔ commutator⁡U,V,coord
Download Help Document