Physics[Simplify] - simplify expressions involving objects and operations related to the Physics package
Simplify(A, kind1, kind2, ...)
any mathematical expression
kind1, kind2, ...
(optional) any of algebrarules, indices, noncommutativeproducts, sum, int; the kind of simplification to perform
The Simplify command performs simplifications of expressions involving objects and operations related to the Physics package, including taking into account:
- The summation convention for repeated indices, regarding them as dummies, and including the (anti)symmetry properties of the indices of the tensorial objects involved (according to how these objects were defined by the Define command).
- Properties of noncommutative products.
- (Anti)Commutator algebra rules.
- Projectors and KroneckerDelta contracted indices inside sums.
As with the general Maple simplifier, simplify, when you call the Physics[Simplify] command with no extra arguments, all of the simplifications are attempted. When you call it with extra arguments specifying different simplifications, any of algebrarules, bracketrules, indices, noncommutativeproducts, sum, and int, only the specified simplifications are attempted.
You do not need to remember exactly all of the keywords; as with other Physics commands, Simplify will match wrong or partially spelled keywords to the first likely one, and perform the simplification. For example, Simplify(expr, alg) will invoke Simplify(expr, algebrarules).
Summation rule for repeated indices
By default, the dimension of the spacetime when you load the Physics package is 4 = 3 + 1, and the signature is `-`.
dimension=4,signature=- - - +
So the trace of the metric g_ is equal to 4.
The metric is used to 'raise and lower' indices in other tensors, as shown below.
Define A as an object having tensorial properties; that is, the summation convention for repeated indices in products should be taken into account.
Defined objects with tensor properties
So the metric can now have indices contracted with A.
The metric is totally symmetric with respect to interchange of positions of its indices, while the LeviCivita symbol, in the Maple worksheet displayed as epsilon, is totally antisymmetric. So the contraction of their respective indices is equal to zero.
For the same reason, the contraction of any two of the indices of the LeviCivita symbol is also zero.
As is the product of the LeviCivita symbol, where the same spacetime vector appears two times, contracting different indices of epsilon. To illustrate this case, first Define q to represent this generic tensor.
When defining an object to have tensorial properties, you can define the symmetry properties of the indices of the object as well. The following Defines B and C as totally symmetric and totally antisymmetric, respectively.
Totally symmetric tensor, structured as name,indices,variables :
Totally antisymmetric tensor, structured as name,indices,variables :
The number of indices of the LeviCivita symbol depends on the dimension of spacetime. For any dimension and signature, the contracted product of two LeviCivita symbols can be expressed as a sum of products involving the metric g_. Note the use of Check to tell which indices are repeated (contracted) and which are free at any point.
The repeated indices per term are: ...,...,..., the free indices are: ...
Note that the results above are different if the dimension or signature of spacetime are different from 4 and `-`, respectively.
During normal computations, a frequent occurrence is when two products have tensors with the same contracted indices, but in each product the contracted indices are represented by different letters, thus obscuring the fact that the two products are mathematically equal.
The following example would be a little trickier to tell.
Tensors structured as name,indices,variables:
Sums, KroneckerDelta, and Projectors
Expressions involving sums with KroneckerDelta indices contracted or with Projectors in the summand, and integrals involving Dirac functions, are simplifiable by using Simplify.
Consider a basis, labeled A, whose dimension is M+1.
* Partial match of 'basisdim' against keyword 'quantumbasisdimension'
The projector onto this basis is: