Physics[d_]  indexed differential operator with respect to the spacetime variables

Calling Sequence


d_[mu](A)
d_[mu](A, [X])
d_(A)
d_(A, [X])
convert(expression, d_)


Parameters


mu



a name representing an integer number between 0 and the spacetime dimension, can also be the number itself

A



any mathematical expression or relation between expressions

[X]



a list of differentiation variables to which the index mu refers





Description


•

The d_[mu] command is a computational representation for the differential operator , defined by

•

d_ can also be used without an index, as in d_(A) displayed as , in which case it represents the total differential, and the output comes automatically expanded as (assuming sum rule for repeated indices); unless A is already a coordinate of any system of coordinates defined using Setup or Coordinates, in which case d_(A) returns unevaluated, echoing the input, representing the differential of the coordinate A.

•

Computations performed with the Physics package commands take into account Einstein's sum rule for repeated indices  see `.` and Simplify. The distinction between covariant and contravariant indices in the input of tensors is done by prefixing contravariant ones with ~, say as in ~mu; in the output, contravariant indices are displayed as superscripts. For contracted indices, you can enter them one covariant and one contravariant. Note however that  provided that the spacetime metric is galilean (Euclidean or Minkowski), or the object is a tensor also in curvilinear coordinates  this distinction in the input is not relevant, and so contracted indices can be entered as both covariant or both contravariant, in which case they will be automatically rewritten as one covariant and one contravariant. Tensors can have spacetime and space indices at the same time. To change the type of letter used to represent spacetime or space indices see Setup.

•

In the particular case where d_ is not indexed and is called with one argument, and this argument is a coordinate of any coordinate system defined using Setup or Coordinates, d_ returns unevaluated, echoing the input. This permits using d_ to represent the differential of coordinates that are not the default differentiation coordinates, useful when working with transformations of coordinates (see TransformCoordinates).

•

Some automatic checking and simplifications are carried out each time an operation such as d_[mu](A) is executed. The checking is concerned with possible syntax errors. Regarding the automatic simplifications performed by d_, a summary of them is as follows:


 If does not depend on the differentiation variables, then 0 is returned.


 If is a sum, product, power, or known function, then the differentiation is expanded accordingly.


 If is an unknown function (the rule for its derivative is unknown), a Dirac delta function, or a derivative, then the result is returned unevaluated as .

•

Sometimes it is convenient to rewrite tensorial expressions involving the covariant derivative D_ or the Christoffel symbols in terms of d_ or its application to the metric g_. For this purpose you can use convert(expression, d_)  see the Examples section.

•

To perform the differentiation, the d_ command makes us of the diff command of the Physics package, which in turn uses the standard Maple diff command, so that any userdefined differentiation rule, such as for a function foo, of the form `diff/foo`, is automatically taken into account by d_.

•

The %d_ command is the inert form of d_; that is, it represents the same mathematical operation while displaying the operation unevaluated. To evaluate the operation, use the value command.



Examples


>


>


 (1) 
Define some functions as spacetime tensor functions and use the enhanced display scheme of the differential equation packages.
>


 (2) 
>


 (3) 
>


 (4) 
The following example illustrates the automatic manipulations performed by d_.
>


 (5) 
>


 (6) 
So d_ distributes over products and sums, makes use of all the differentiation rules known to the Maple system, and returns unevaluated when its argument is an unknown function or a Dirac delta function. The composition of d_ leads to the d'Alembertian.
>


 (7) 
The structure of indices of an expression such as the above can be checked by using the Check command.
>


 (8) 
>


 (9) 
Note that this check is actually performed in background each time a Physics command is called.
d_ can also be used to represent differentials; it automatically expands when the argument is not already a coordinate
>


 (10) 
>


 (11) 
When working with transformations of coordinates it is useful to define more than one system of coordinates; let Y be such another one
>


 (12) 
At this point, you can represent the differential of any of the coordinate systems defined, even when it is not the default differentiation variables system
>


 (13) 
>


 (14) 
>


 (15) 
>


 (16) 
>


 (17) 
d_ is used to represent differentials when entering the spacetime metric by passing the corresponding line element  see Setup, and in the output of TransformCoordinates when used with the option output = line_element.
The d_ operator is also available when working in nongalilean spacetimes, e.g. when the Christoffel symbols are not all of them zero. Set the metric to be the Schwarzschild metric in spherical coordinates; use a shortcut for the related Schwarzschild keyword (see g_)
>


 (18) 
Define an arbitrary tensor function and rewrite its covariant derivative using d_ and Christoffel symbols, then in terms of derivatives of the metric g_
>


 (19) 
>


 (20) 
>


 (21) 
>


 (22) 
From the definition of the covariant
>


 (23) 
taking the differential of both sides, and using the inert %d_ for the lefthandside
>


 (24) 
Recalling, the current metric is nongalilean (Schwarzschild). In a galilean spacetime, the first term on the righthandside is zero, then .
For various calculations it is important how the derivatives of the contravariant tensor are related to those of the covariant . This relationship can be derived as follows
>


 (25) 
>


 (26) 
Differentiating now both sides
>


 (27) 
Isolating
>


 (28) 
>


 (29) 
>




See Also


. : Help:Physics[.], Check, Christoffel, D_, dAlembertian, declare, Define, diff, g_, Physics, Physics conventions, Physics examples, Setup

