Physics[SpaceTimeVector] - a representation for spacetime indexed vectors
a spacetime index
a sequence of spacetime symbol parameters, as many as the dimension of spacetime, typically defined by Coordinates
The SpaceTimeVector command is a representation for spacetime indexed vectors. Note that having defined X as a label representing a sequence of spacetime coordinates using Coordinates or Setup, the Physics commands already understand Xμ as a representation for a spacetime vector.
In a galilean system (Euclidean or Minkowski), both Xμ and the differential of the coordinates d⁢Xμ are vectors (tensors with 1 index), and so both ∂⁡Aμ and ∂⁢μ are vectors, the latter representing
where Xμ=gμ,ν⁢Xν is the covariant spacetime vector. However, unlike the galilean case, in a curvilinear system of coordinates, Xμ is not a vector, only d⁢Xμ is and the formula above for ∂⁢μ loses its meaning; instead, the convention used in the Physics package (it becomes the one above only in the galilean case) is
Likely, from Xν=gα,ν⁢Xα, in a galilean spacetime ∂μ⁡Xν=gμ,ν while this is not correct in a nongalilean spacetime, where the metric depends on the coordinates, and the correct formula is ∂μ⁡Xν=∂μ⁡gα,ν⁢Xα+gμ,ν
Remark: in tensor computations, the distinction between covariant and contravariant indices is important when the spacetime is not Euclidean and the indices assume numerical values. The label of a system of coordinates set with Coordinates represent the contravariant components of the corresponding SpaceTimeVector. To indicate than an index is contravariant you prefix it with ~. On the other hand, in Maple, the selection operation is also performed through indexation. Hence, if X is a label for a system of coordinates, entering X returns x1, the contravariant component of the corresponding SpaceTimeVector, even when the index used is the number 1, the covariant version of the contravariant ~1. So in a context where covariant and contravariant indexation is relevant and where you are going to assign numerical values to the indices, it is recommended to represent the spacetime vector with the SpaceTimeVector function, as in SpaceTimeVector[mu](X), instead of directly using X[mu]. In all other cases it is safe and simpler to use X[mu] and all the Physics commands understand both representations as equivalent.
Set first two sets of coordinates:
⁢Default differentiation variables for d_, D_ and dAlembertian are:⁢X=x1,x2,x3,x4
⁢Systems of spacetime coordinates are:⁢X=x1,x2,x3,x4,Y=y1,y2,y3,y4
You can now represent the 4-vectors Yμ and Xμ by using - say for X - either Xμ or SpaceTimeVector[mu](X).
In the output above, note that the default differentiation variables are omitted in the display of d_, as well as that of dAlembertian.
Use the inert %diff notation so the derivative is not performed until you activate it by using the value command.
Only the default differentiation variables are omitted in the display of d_ and dAlembertian, so in the following example, Y is displayed.
Independently of using SpaceTimeVector[mu](X) or the equivalent X[mu] to indicate the dependency of some functions or as differentiation variables, these objects can enter any algebraic computations to representing tensors with 1 index). For example:
The 1st contravariant and covariant components are respectively represented by indexing SpaceTimeVector with the numbers ~1 and 1
To understand the result above, display the current spacetime metric g_ matrix
Compute the derivative with respect to the 1st contravariant component of X, that is x1. Recalling, contravariant differentiation coordinates are the ones entering the covariant differentiation operator ∂μ=∂∂⁢xμ. For illustration purposes use the inert form of d_ and diff, prefixing the commands with % and perform the computation using value
You can also represent x1 with SpaceTimeVector[~1](X), and when differentiating with respect to contravariant components of the spacetime vector you can represent them directly with X[~mu] because ~1, ~2, etc. are viewed by the system as symbols (in this context, contravariant indices) not selecting numbers
Coordinates, d_, dAlembertian, g_, Physics conventions, Physics, Physics conventions, Physics examples, Physics Updates, Tensors - a complete guide, Mini-Course Computer Algebra for Physicists, Setup, Simplify
Download Help Document