tensor[exterior_diff] - Compute the exterior derivative of a completely anti-symmetric covariant tensor.
|
Calling Sequence
|
|
exterior_diff(T, coord)
|
|
Parameters
|
|
T
|
-
|
covariant anti-symmetric tensor or scalar
|
coord
|
-
|
list of coordinate variable names
|
|
|
|
|
Description
|
|
•
|
The function exterior_diff( T, coord ) computes the exterior derivative of the (covariant) components of the anti-symmetric tensor T and returns them as a tensor_type of rank equal to . The result is totally anti-symmetric and uses the antisymmetric indexing function (unless T is a scalar).
|
•
|
If T is not a scalar or vector, it should be indexed using the antisymmetric indexing function. If it is not indexed using the antisymmetric indexing function and it is not a scalar or vector, then the routine will determine its anti-symmetric part and compare that with the tensor to see if the components are really totally anti-symmetric. If it is found not to be completely anti-symmetric, the routine exits with an error.
|
•
|
The result is computed first by finding the first partials of the tensor components and then antisymmetrizing them.
|
•
|
Simplification: This routine uses the `tensor/lin_com/simp` and `tensor/partial_diff/simp` routines for simplification purposes. The simplification routines are used internally by the partial_diff and antisymmetrize routines as they are called by exterior_diff. By default, `tensor/lin_com/simp` and `tensor/partial_diff/simp` are initialized to the `tensor/simp` routine. It is recommended that these routines be customized to suit the needs of the particular problem.
|
•
|
This command is part of the tensor package, so it can be used in the form exterior_diff(..) only after executing the command with(tensor). However, it can always be accessed through the long from of the command by using tensor[exterior_diff](..).
|
|
|
Examples
|
|
>
|
|
Define the coordinates and an arbitrary skew-symmetric second rank tensor:
>
|
|
>
|
|
>
|
![for i to 3 do for j from i+1 to 3 do tc[i, j] := (cat('t', i, j))(x, y, z) end do end do](/support/helpjp/helpview.aspx?si=5517/file04529/math117.png)
|
| (1) |
Now compute the exterior derivative:
>
|
|

| (2) |
Note that the result uses antisymmetric indexing:
>
|
|
| (3) |
|
|