Physics for Maple 2017

All Products Maple MapleSim

Home : Support : Online Help : Physics : Updates : Physics for Maple 2017

Physics

Maple provides a state-of-the-art environment for algebraic computations in Physics, with emphasis on ensuring that the computational experience is as natural as possible. The theme of the Physics project for Maple 2017 has been the consolidation of the functionality introduced in previous releases, together with significant enhancements and new functionality in General Relativity, in connection with classification of solutions to Einstein's equations and tensor representations to work in the embedded 3D curved space, relevant in numerical relativity, and Field Theory, in connection with computational representations for the objects entering the Standard Model in particle physics.

Taking all together, there are more than 300 enhancements throughout the entire package increasing robustness, versatility and functionality, extending once more the range of Physics-related algebraic computations that can be done using computer algebra software and in a natural way.

As part of its commitment to providing the best possible environment for algebraic computations in Physics, Maplesoft launched a Maple Physics: Research and Development web site with Maple 18, which enabled users to download research versions, ask questions, and provide feedback. The results from this accelerated exchange with people around the world have been incorporated into the Physics package in Maple 2017.

General Relativity: classification of solutions to Einstein's equations and the Tetrads package

The 3D metric and the ThreePlusOne (3 + 1) new Physics subpackage

Tensors in Special and General Relativity

The StandardModel new Physics subpackage

General Relativity: classification of solutions to Einstein's equations and the Tetrads package

In Maple 2016, the digitizing of the database of solutions to Einstein's equations was finished, added to the standard Maple library, with all the metrics from "Stephani, H.; Kramer, D.; MacCallum, M.; Hoenselaers, C.; and Herlt, E., Exact Solutions to Einstein's Field Equations". These metrics can be loaded to work with them, or change them, or searched using g_ (the Physics command representing the spacetime metric that also sets the metric to your choice in one go) or using the command DifferentialGeometry:-Library:-MetricSearch.

•

Related to these developments, in Maple 2017, the Physics:-Tetrads package has been vastly improved and extended, now including new commands like PetrovType and SegreType to classify these metrics, and the TransformTetrad now has an option canonicalform to automatically derive a transformation and put the tetrad in canonical form (reorientation of the axis of the local system of references), a relevant step in resolving the equivalence between two metrics.

In the PDEtools package, you have the mathematical tools - including a complete symmetry approach - to work with the underlying partial differential equations. By combining the functionality of the Physics:-Tetrads package, the Physics:-TransformCoordinates command, and the ability to compute Riemann invariants and Weyl scalars, you can also formulate and, depending on the metrics also resolve, the equivalence problem; that is: to answer whether or not, given two metrics, they can be obtained from each other by a transformation of coordinates, as well as compute the transformation.

•

Depending on the context, or textbook, two different signatures are used in the description of spacetime: (− + + +), used for instance in the database of solutions of Einstein's equations and related textbook, and (+ − − −) typically used in particle Physics and in Landau's Course for Theoretical Physics, the main reference for the Maple Physics project. Two other computational representations of those same signatures are (+ + + −) and (− − − +), with time in position 4; for the computer, this difference in representation is relevant since it indicates the computational position where the component 0 is to be found (either 1 or 4). This difference also changes the position of the time coordinate in the ordered list of the coordinates. Changing the signature to follow a textbook or just for convenience thus entails redefining the metric rearranging lines and columns in its matrix representation and/or changing the sign, and reordering the coordinates, operations prone to mistakes. To handle these redefinitions of the metric and coordinates according to a change in the signature, a new command Redefine (options fromsignature, tosignature), got added to the Physics package.

Examples

Petrov and Segre types, tetrads in canonical form

>	$restart &semi; with (Physics) &colon; with (Tetrads) &semi;$

$Setting lowercaselatin letters to represent tetrad indices$

$Defined as tetrad tensors (see ?Physics,tetrads), 𝔢_{a, μ}, η_{a, b}, γ_{a, b, c}, λ_{a, b, c}$

$Defined as spacetime tensors representing the NP null vectors of the tetrad formalism (see ?Physics,tetrads), l_{μ}, n_{μ}, m_{μ}, {\overset{&conjugate0;}{m}}_{μ}$

$[IsTetrad, NullTetrad, OrthonormalTetrad, PetrovType, SegreType, TransformTetrad, e_, eta_, gamma_, l_, lambda_, m_, mb_, n_]$

(1)

There are six Petrov types: I, II, III, D, N and O. Start with a spacetime metric of Petrov type "I" (the numbers always refer to the equation number in the "Exact solutions to Einstein's field equations" textbook)

>	$g_[[12, 21, 1]]$

$Systems of spacetime Coordinates are: \{X = (t, x, y, φ)\}$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (t, x, y, φ)\}$

$The McLenaghan, Tariq (1975), Tupper (1976) metric in coordinates [t, x, y, φ]$

$Parameters: [a, k, κ0]$

$Comments: k param&ExponentialE;trⅈz&ExponentialE;s th&ExponentialE; most g&ExponentialE;n&ExponentialE;ral &ExponentialE;l&ExponentialE;ctromagn&ExponentialE;tⅈc ⅈnvarⅈant wⅈth r&ExponentialE;sp&ExponentialE;ct to th&ExponentialE; last 3 Kⅈllⅈng v&ExponentialE;ctors$

$Resetting the signature of spacetime from "- - - +" to `- + + +` in order to match the signature in the database of metrics:$

The Weyl scalars are derived from the Weyl tensor and the null vectors of the Newman-Penrose formalism (l_, n_, m_ and mb_)

>	$Weyl [scalarsdefinition]$

$ψ__0 = C_{}^{μ, ν, α, β} l_{μ} m_{ν} l_{α} m_{β}, ψ__1 = C_{}^{μ, ν, α, β} l_{μ} n_{ν} l_{α} m_{β}, ψ__2 = C_{}^{μ, ν, α, β} l_{μ} m_{ν} {\overset{&conjugate0;}{m}}_{α} n_{β}, ψ__3 = C_{}^{μ, ν, α, β} l_{μ} n_{ν} {\overset{&conjugate0;}{m}}_{α} n_{β}, ψ__4 = C_{}^{μ, ν, α, β} n_{μ} {\overset{&conjugate0;}{m}}_{ν} n_{α} {\overset{&conjugate0;}{m}}_{β}$

(2)

>	$Weyl [scalars]$

$ψ__0 = \frac{I |x|}{a^{2} x}, ψ__1 = 0, ψ__2 = - \frac{1}{a^{2}}, ψ__3 = 0, ψ__4 = \frac{I |x|}{a^{2} x}$

(3)

For presentation simplicity, without absolute values, assume that x is positive or 0 and recompute the Weyl scalars

>	$Assume (x \geq 0)$

$\{x :: [0, \infty]\}$

(4)

>	$Weyl [scalars]$

$ψ__0 = \frac{I}{a^{2}}, ψ__1 = 0, ψ__2 = - \frac{1}{a^{2}}, ψ__3 = 0, ψ__4 = \frac{I}{a^{2}}$

(5)

Relevant in connection with the equivalence problem between two metrics, the Petrov type of this metric is

>	$PetrovType ()$

$I$

(6)

and the Plebanski-Segre type is

>	$SegreType () &semi;$

$D, [(1,1)(11)]$

(7)

Two spacetime metrics with different classification cannot be different coordinate representations of the same metric (if the classification is the same the question is still undecided). The same computation but tracking the principal roots behind this classification

>	$PetrovType (principalroots ='ROOTS')$

$I$

(8)

$ROOTS$

$[(\frac{1}{2} + \frac{I}{2}) \sqrt{\sqrt{2} \sqrt{5} - 3} \sqrt{2}, (- \frac{1}{2} - \frac{I}{2}) \sqrt{\sqrt{2} \sqrt{5} - 3} \sqrt{2}, (\frac{1}{2} - \frac{I}{2}) \sqrt{\sqrt{2} \sqrt{5} + 3} \sqrt{2}, (- \frac{1}{2} + \frac{I}{2}) \sqrt{\sqrt{2} \sqrt{5} + 3} \sqrt{2}]$

(9)

The principal polynomial only, having four different roots corresponding to Petrov type "I"

>	$PetrovType (principalpolynomial = only)$

$Z^{4} + 1 + 6 I Z^{2}$

(10)

An example of Petrov type III and a canonical form for the corresponding tetrad.

>	$g_[[12, 35, 1]]$

$Systems of spacetime Coordinates are: \{X = (u, x, y, z)\}$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (u, x, y, z)\}$

$The Kaigorodov (1962), Cahen (1964), Siklos (1981), Ozsvath (1987) metric in coordinates [u, x, y, z]$

$Parameters: [Λ]$

For presentation simplicity, assume that z and the parameter $Λ$ are positive

>	$Assume (0 < z, 0 < Λ)$

$\{Λ :: (0, \infty]\}, \{z :: (0, \infty]\}$

(11)

The Petrov and Plebanski-Segre types, the default tetrad and the corresponding Weyl scalars:

>	$PetrovType ()$

$III$

(12)

>	$SegreType ()$

$O, [(1,111)]$

(13)

$e_[]$

$𝔢_{a, μ} = [\begin{array}{c} −I {&ExponentialE;}^{- 4 z} & −I {&ExponentialE;}^{2 z} & - 2 I {&ExponentialE;}^{- z} & 0 \\ I {&ExponentialE;}^{- 4 z} \sqrt{2} & 0 & I \sqrt{2} {&ExponentialE;}^{- z} & 0 \\ 0 & 0 & 0 & \frac{\sqrt{3}}{\sqrt{Λ}} \\ {&ExponentialE;}^{- 4 z} & 0 & 0 & 0 \end{array}]$

(14)

>	${Weyl}_{scalars}$

$ψ__0 = \frac{11 Λ}{4} - 2 Λ \sqrt{2}, ψ__1 = \frac{3 Λ}{4} - \frac{Λ \sqrt{2}}{2}, ψ__2 = \frac{Λ}{4}, ψ__3 = - \frac{3 Λ}{4} - \frac{Λ \sqrt{2}}{2}, ψ__4 = \frac{11 Λ}{4} + 2 Λ \sqrt{2}$

(15)

These scalars are not in canonical form. Compute then a canonical form for this tetrad (i.e. rotate the tetrad such that the Weyl scalars match the canonical form shown in the Petrov classification table) and set this rotated tetrad (using Setup), then recompute the Weyl scalars

>	$Setup (e_= TransformTetrad (canonicalform)) &colon;$

>	$Weyl [scalars]$

$ψ__0 = 0, ψ__1 = 0, ψ__2 = 0, ψ__3 = 1, ψ__4 = 0$

(16)

The scalars now match the requirement for canonical form shown in the Petrov classification table for type III. In this example, the canonical form computed for the tetrad

$e_[]$

$𝔢_{a, μ} = [\begin{array}{c} 0 & - \frac{I}{2} Λ {&ExponentialE;}^{2 z} \sqrt{2} & - \frac{I}{2} Λ {&ExponentialE;}^{- z} \sqrt{2} & \frac{\sqrt{Λ} \sqrt{3}}{2} \\ \frac{\frac{I}{2} {&ExponentialE;}^{- 4 z} \sqrt{2}}{Λ} & \frac{- \frac{13 I}{8} {&ExponentialE;}^{2 z} \sqrt{2}}{Λ} & \frac{- \frac{9 I}{8} {&ExponentialE;}^{- z} \sqrt{2}}{Λ} & - \frac{7 \sqrt{3}}{8 Λ^{\frac{3}{2}}} \\ 0 & \frac{3 I}{4} {&ExponentialE;}^{2 z} \sqrt{2} & \frac{I}{4} {&ExponentialE;}^{- z} \sqrt{2} & - \frac{\sqrt{3}}{4 \sqrt{Λ}} \\ −I {&ExponentialE;}^{- 4 z} \sqrt{2} & \frac{3 I}{4} {&ExponentialE;}^{2 z} \sqrt{2} & \frac{I}{4} {&ExponentialE;}^{- z} \sqrt{2} & - \frac{\sqrt{3}}{4 \sqrt{Λ}} \end{array}]$

(17)

is not much more complicated than the default tetrad (14) that is not in canonical form, but depending on the example the canonical form can be significantly more complicated.

Examples of transforming the tetrad into canonical form for spacetimes of Petrov types II, N and D can be seen by performing the same steps above departing from the metrics of the database with numbers g_[[24, 37, 7]], g_[[12, 6, 1]] and g_[[12, 8, 4]].

Together with the developments above, the TransformTetrad got thoroughly reviewed and its transformation functionality extended in order to perform the six traditional rotations that leave different null vectors of the Newman-Penrose formalism unchanged in direction or length,

Load the Schwarzschild metric in spherical coordinates; you can input g_[Schwarzschild] or the simpler

$g_[sc]$

$Systems of spacetime Coordinates are: \{X = (t, r, θ, φ)\}$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (t, r, θ, φ)\}$

$The Schwarzschild metric in coordinates [t, r, θ, φ]$

$Parameters: [m]$

An orthonormal tetrad (this is the one used by default) is

>	$Setup (tetrad = orthonormal) &colon; e_[]$

$𝔢_{a, μ} = [\begin{array}{c} \frac{−I \sqrt{- r + 2 m}}{\sqrt{r}} & 0 & 0 & 0 \\ 0 & \frac{−I \sqrt{r}}{\sqrt{- r + 2 m}} & 0 & 0 \\ 0 & 0 & r & 0 \\ 0 & 0 & 0 & r \sin (θ) \end{array}]$

(18)

>	$IsTetrad (%)$

$Type of tetrad: orthonormal$

$true$

(19)

The key observation here is that the orientation of the axis of the local system of references (the tetrad system) is arbitrary and with them the values of the Weyl scalars too. So, you can perform a Lorentz transformation on the tetrad, without changing the spacetime metric g_ or its Petrov classification while fixing the values of the Weyl scalars in one of the possible forms (classes) shown in the Petrov classification table.

The transformations that you can perform with TransformTetrad are either the standard ones, of classes I, II or III specified in the description of TransformTetrad, or arbitrary. For example, transform the orthonormal tetrad above using a null rotation with fixed l_, where l_ and the related NULL vectors of the Newman-Penrose formalism (commands of the Tetrads package) satisfy

>	$l_[definition]$

$l_{μ} l_{}^{μ} = 0, l_{μ} n_{}^{μ} = −1, l_{μ} m_{}^{μ} = 0, l_{μ} {\overset{&conjugate0;}{m}}_{}^{μ} = 0, g_{μ, ν} = - l_{μ} n_{ν} - l_{ν} n_{μ} + m_{μ} {\overset{&conjugate0;}{m}}_{ν} + m_{ν} {\overset{&conjugate0;}{m}}_{μ}$

(20)

>	$TransformTetrad (nullrotationwithfixedl_)$

$[\begin{array}{c} \frac{- \frac{I}{2} \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}} & \frac{- \frac{I}{2} \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}} & 0 & 0 \\ \frac{- \frac{I}{2} \sqrt{2} \sqrt{- r + 2 m} (E \overset{&conjugate0;}{E} + 1)}{\sqrt{r}} & \frac{- \frac{I}{2} \sqrt{2} \sqrt{r} (E \overset{&conjugate0;}{E} - 1)}{\sqrt{- r + 2 m}} & \frac{\sqrt{2} r (E + \overset{&conjugate0;}{E})}{2} & - \frac{I}{2} \sqrt{2} r \sin (θ) (E - \overset{&conjugate0;}{E}) \\ \frac{- \frac{I}{2} E \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}} & \frac{- \frac{I}{2} E \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}} & \frac{\sqrt{2} r}{2} & \frac{I}{2} \sqrt{2} r \sin (θ) \\ \frac{- \frac{I}{2} \overset{&conjugate0;}{E} \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}} & \frac{- \frac{I}{2} \overset{&conjugate0;}{E} \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}} & \frac{\sqrt{2} r}{2} & - \frac{I}{2} \sqrt{2} r \sin (θ) \end{array}]$

(21)

Note the transformation parameter E introduced by TransformTetrad. You can replace it by a value (see subs and eval) or assign it, or you may want to Assume that this parameter is, for instance, real

>	$Assume (E :: real)$

$\{E :: real\}$

(22)

>	$map (eval,)$

$[\begin{array}{c} \frac{- \frac{I}{2} \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}} & \frac{- \frac{I}{2} \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}} & 0 & 0 \\ \frac{- \frac{I}{2} \sqrt{2} \sqrt{- r + 2 m} (E^{2} + 1)}{\sqrt{r}} & \frac{- \frac{I}{2} \sqrt{2} \sqrt{r} (E^{2} - 1)}{\sqrt{- r + 2 m}} & E \sqrt{2} r & 0 \\ \frac{- \frac{I}{2} E \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}} & \frac{- \frac{I}{2} E \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}} & \frac{\sqrt{2} r}{2} & \frac{I}{2} \sqrt{2} r \sin (θ) \\ \frac{- \frac{I}{2} E \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}} & \frac{- \frac{I}{2} E \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}} & \frac{\sqrt{2} r}{2} & - \frac{I}{2} \sqrt{2} r \sin (θ) \end{array}]$

(23)

Now is this a tetrad? Of what type?

>	$IsTetrad ()$

$Type of tetrad: null$

$true$

(24)

TransformTetrad applies a transformation on a tetrad but does not set the value of e_ to this result. For that purpose, i.e. to effectively rotate the tetrad system of references to match the orientation/tetrad you want, use Setup. Following this reorientation of the tetrad, all the components of tensors in the local (tetrad) system of references, as for instance gamma_, lambda_ and the tetrad components of spacetime tensors, automatically change. For example, the Ricci rotation coefficients gamma_ follow this change of value of the components of $&efr;__a,μ$ according to their definition

>	$gamma_[definition]$

$γ_{a, b, c} = (𝒟_{ν} (𝔢_{a, μ})) 𝔢_{b}^{μ} 𝔢_{c}^{ν}$

(25)

So before setting (23) as the new tetrad, for comparison purposes below, track first the value of the Ricci rotation coefficient with covariant indices 1, 2, 1

>	$gamma_[1, 2, 1]$

$\frac{−I m}{\sqrt{- r + 2 m} r^{\frac{3}{2}}}$

(26)

Set now (23) as the new tetrad

>	$Setup (e_=)$

$[tetrad = \{(1, 1) = \frac{- \frac{I}{2} \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}}, (1, 2) = \frac{- \frac{I}{2} \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}}, (2, 1) = \frac{- \frac{I}{2} \sqrt{2} \sqrt{- r + 2 m} (E^{2} + 1)}{\sqrt{r}}, (2, 2) = \frac{- \frac{I}{2} \sqrt{2} \sqrt{r} (E^{2} - 1)}{\sqrt{- r + 2 m}}, (2, 3) = E \sqrt{2} r, (3, 1) = \frac{- \frac{I}{2} E \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}}, (3, 2) = \frac{- \frac{I}{2} E \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}}, (3, 3) = \frac{\sqrt{2} r}{2}, (3, 4) = \frac{I}{2} \sqrt{2} r \sin (θ), (4, 1) = \frac{- \frac{I}{2} E \sqrt{2} \sqrt{- r + 2 m}}{\sqrt{r}}, (4, 2) = \frac{- \frac{I}{2} E \sqrt{2} \sqrt{r}}{\sqrt{- r + 2 m}}, (4, 3) = \frac{\sqrt{2} r}{2}, (4, 4) = - \frac{I}{2} \sqrt{2} r \sin (θ)\}]$

(27)

The new value of $γ_{1, 2, 1}$

>	$gamma_[1, 2, 1]$

$\frac{\frac{I}{2} \sqrt{2} m}{\sqrt{- r + 2 m} r^{\frac{3}{2}}}$

(28)

Equivalence for Schwarzschild metric (spherical and Kruskal coordinates)

Formulation of the problem (remove mixed coordinates)

>	$restart &semi;$

>	$with (Physics) &colon; with (Tetrads) &colon; Setup (auto = true, mathematicalnotation = true) &semi;$

$Setting lowercaselatin letters to represent tetrad indices$

$Defined as tetrad tensors (see ?Physics,tetrads), 𝔢_{a, μ}, η_{a, b}, γ_{a, b, c}, λ_{a, b, c}$

$Defined as spacetime tensors representing the NP null vectors of the tetrad formalism (see ?Physics,tetrads), l_{μ}, n_{μ}, m_{μ}, {\overset{&conjugate0;}{m}}_{μ}$

$* Partial match of 'auto' against keyword 'automaticsimplification'$

$[automaticsimplification = true, mathematicalnotation = true]$

(29)

The departure point, Schwarzschild metric in spherical coordinates

$g_[sc]$

$Systems of spacetime Coordinates are: \{X = (r, θ, φ, t)\}$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (r, θ, φ, t)\}$

$The Schwarzschild metric in coordinates [r, θ, φ, t]$

$Parameters: [m]$

$g_{μ, ν} = [\begin{array}{c} \frac{r}{- r + 2 m} & 0 & 0 & 0 \\ 0 & - r^{2} & 0 & 0 \\ 0 & 0 & - r^{2} {\sin (θ)}^{2} & 0 \\ 0 & 0 & 0 & \frac{r - 2 m}{r} \end{array}]$

(30)

Introduce now Kruskal coordinates following the literature (see Wikipedia) and the corresponding line element involving "mixed" coordinates

>	$Coordinates (K = [u, ϑ, ϕ, v])$

$Systems of spacetime Coordinates are: \{K = (u, ϑ, ϕ, v), X = (r, θ, φ, t)\}$

$\{K, X\}$

(31)

>	${ds}^{2} ≔ \frac{16 (\partial (v)) m^{2} {&ExponentialE;}^{- \frac{r}{2 m}} (\partial (u)) - ((1 - \cos {(ϑ)}^{2}) {(\partial (ϕ))}^{2} + {(\partial (ϑ))}^{2}) r^{3}}{r}$

${ds}^{2} ≔ \frac{16 (\partial (v)) m^{2} {&ExponentialE;}^{- \frac{r}{2 m}} (\partial (u)) - ((1 - {\cos (ϑ)}^{2}) {(\partial (ϕ))}^{2} + {(\partial (ϑ))}^{2}) r^{3}}{r}$

(32)

The mixing of variables is visible: in the line element above is in Kruskal coordinates but you also see r , which belongs to the X (not K) coordinates.

For the purpose of formulating problem free of this mixing of coordinates, set the metric now to be (32)

>	$Setup (diff = [K], metric =, quiet) &colon;$

$g_[]$

$g_{μ, ν} = [\begin{array}{c} 0 & 0 & 0 & \frac{8 m^{2} {&ExponentialE;}^{- \frac{r}{2 m}}}{r} \\ 0 & - r^{2} & 0 & 0 \\ 0 & 0 & - r^{2} {\sin (ϑ)}^{2} & 0 \\ \frac{8 m^{2} {&ExponentialE;}^{- \frac{r}{2 m}}}{r} & 0 & 0 & 0 \end{array}]$

(33)

To remove the mix of coordinates, introduce a transformation with unknown transformation functions $\{f, h\}$ , change variables, and resolve for the transformation functions $\{f, g\}$ (this in itself is resolving a form of equivalence problem).

>	$tr__0 ≔ \{u = f (r, t), v = h (r, t)\}$

$tr__0 ≔ \{u = f (r, t), v = h (r, t)\}$

(34)

>	$CompactDisplay (tr__0)$

$f (r, t) will now be displayed as f$

$h (r, t) will now be displayed as h$

(35)

>	$TransformCoordinates (tr__0, g_[mu, nu])$

$[\begin{array}{c} \frac{16 f_{r} h_{r} m^{2} {&ExponentialE;}^{- \frac{r}{2 m}}}{r} & 0 & 0 & \frac{8 m^{2} {&ExponentialE;}^{- \frac{r}{2 m}} (f_{r} h_{t} + h_{r} f_{t})}{r} \\ 0 & - r^{2} & 0 & 0 \\ 0 & 0 & - r^{2} {\sin (θ)}^{2} & 0 \\ \frac{8 m^{2} {&ExponentialE;}^{- \frac{r}{2 m}} (f_{r} h_{t} + h_{r} f_{t})}{r} & 0 & 0 & \frac{16 f_{t} h_{t} m^{2} {&ExponentialE;}^{- \frac{r}{2 m}}}{r} \end{array}]$

(36)

Equate to (30) and solve

>	$convert (= rhs (), setofequations)$

$\{0 = 0, - r^{2} = - r^{2}, - r^{2} {\sin (θ)}^{2} = - r^{2} {\sin (θ)}^{2}, \frac{8 m^{2} {&ExponentialE;}^{- \frac{r}{2 m}} (f_{r} h_{t} + h_{r} f_{t})}{r} = 0, \frac{16 f_{r} h_{r} m^{2} {&ExponentialE;}^{- \frac{r}{2 m}}}{r} = \frac{r}{- r + 2 m}, \frac{16 f_{t} h_{t} m^{2} {&ExponentialE;}^{- \frac{r}{2 m}}}{r} = \frac{r - 2 m}{r}\}$

(37)

>	$pdsolve ()$

$\{f =_C1 +_C2 \sqrt{r - 2 m} {&ExponentialE;}^{\frac{r}{4 m}} {&ExponentialE;}^{- \frac{t}{4 m}}, h = - \frac{{&ExponentialE;}^{\frac{r + t}{4 m}} \sqrt{r - 2 m}}{_C2} +_C3\}, \{f =_C1 +_C2 \sqrt{r - 2 m} {&ExponentialE;}^{\frac{r}{4 m}} {&ExponentialE;}^{\frac{t}{4 m}}, h = - \frac{\sqrt{r - 2 m} {&ExponentialE;}^{\frac{r - t}{4 m}}}{_C2} +_C3\}$

(38)

Without loss of generality, set $[_C1 = 0,_C2 = 1,_C3 = 0]$

>	$tr ≔ combine (subs ([_C1 = 0,_C2 = 1,_C3 = 0], eval (, [1])))$

$tr ≔ \{u = \sqrt{r - 2 m} {&ExponentialE;}^{\frac{r - t}{4 m}}, v = - {&ExponentialE;}^{\frac{r + t}{4 m}} \sqrt{r - 2 m}\}$

(39)

Check it out:

$g_[]$

(40)

>	$TransformCoordinates (tr, g_[mu, nu], [X], [K])$

$[\begin{array}{c} \frac{r}{- r + 2 m} & 0 & 0 & 0 \\ 0 & - r^{2} & 0 & 0 \\ 0 & 0 & - r^{2} {\sin (θ)}^{2} & 0 \\ 0 & 0 & 0 & \frac{r - 2 m}{r} \end{array}]$

(41)

Compute the inverse of the transformation (39)

>	$itr ≔ simplify (normal (solve (, \{r, t\}), expanded))$

$itr ≔ \{r = 2 (W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1) m, t = 2 \ln (- \frac{v}{u}) m\}$

(42)

This inverse transformation involves the LambertW function. Set now the metric to be the standard Schwarzschild's metric in spherical coordinates (30) and use itr to get he form of the metric entirely in Kruskal coordinates

$g_[sc]$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (r, θ, φ, t)\}$

$The Schwarzschild metric in coordinates [r, θ, φ, t]$

$Parameters: [m]$

$g_{μ, ν} = [\begin{array}{c} \frac{r}{- r + 2 m} & 0 & 0 & 0 \\ 0 & - r^{2} & 0 & 0 \\ 0 & 0 & - r^{2} {\sin (θ)}^{2} & 0 \\ 0 & 0 & 0 & \frac{r - 2 m}{r} \end{array}]$

(43)

So this is Schwarzschild's solution all in Kruskal coordinates

>	$TransformCoordinates (itr, g_[mu, nu], [K], [X])$

$[\begin{array}{c} 0 & 0 & 0 & - \frac{8 W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) m^{2}}{(W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1) u v} \\ 0 & - 4 {(W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1)}^{2} m^{2} & 0 & 0 \\ 0 & 0 & - 4 {(W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1)}^{2} m^{2} {\sin (ϑ)}^{2} & 0 \\ - \frac{8 W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) m^{2}}{(W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1) u v} & 0 & 0 & 0 \end{array}]$

(44)

This metric involves the LambertW function in a non-simplifiable form.

Solving the Equivalence

We now have the two forms: (41) in spherical and (44) in Kruskal coordinates, so we can formulate the equivalence problem from one coordinate system to the other one.

The transformation to be resolved does not need to involve $φ$ because neither $φ$ nor $ϕ$ enter either of the two metrics.

The transformation does not need to involve $θ$ or $ϑ$ because they enter the metrics in exactly the same position and with the same dependence.

In addition the Weyl scalars of both metrics are in canonical form and the only scalar different from zero, that is $Ψ__2$ does not depend on any of $\{φ, θ, ϕ, ϑ\}$ )

So we look for a generic transformation from spherical to Kruskal of the form

>	$\{r = R (K), t = T (K)\}$

$\{r = R (K), t = T (K)\}$

(45)

>	$CompactDisplay ()$

$R (u, ϑ, ϕ, v) will now be displayed as R$

$T (u, ϑ, ϕ, v) will now be displayed as T$

(46)

The metric set in this moment is in spherical coordinates, (43), so change using (45) and equate to (44) in Kruskal coordinates

>	$convert (TransformCoordinates (, g_[mu, nu], [K], [X]) =, setofequations)$

$\{\frac{- 4 {(- \frac{R}{2} + m)}^{2} {T_{u}}^{2} + {R_{u}}^{2} R^{2}}{(- R + 2 m) R} = 0, \frac{- 4 {(- \frac{R}{2} + m)}^{2} {T_{v}}^{2} + {R_{v}}^{2} R^{2}}{(- R + 2 m) R} = 0, \frac{- 4 {(- \frac{R}{2} + m)}^{2} {T_{ϕ}}^{2} + 2 R^{2} (\frac{{R_{ϕ}}^{2}}{2} + (\cos (ϑ) + 1) (- \frac{R}{2} + m) (\cos (ϑ) - 1) R)}{(- R + 2 m) R} = - 4 {(W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1)}^{2} m^{2} {\sin (ϑ)}^{2}, \frac{- 4 T_{v} {(- \frac{R}{2} + m)}^{2} T_{u} + R_{v} R_{u} R^{2}}{(- R + 2 m) R} = - \frac{8 W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) m^{2}}{(W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1) u v}, \frac{- 4 T_{v} {(- \frac{R}{2} + m)}^{2} T_{ϕ} + R_{v} R_{ϕ} R^{2}}{(- R + 2 m) R} = 0, \frac{- 4 T_{v} {(- \frac{R}{2} + m)}^{2} T_{ϑ} + R_{v} R_{ϑ} R^{2}}{(- R + 2 m) R} = 0, \frac{- 4 T_{ϕ} {(- \frac{R}{2} + m)}^{2} T_{u} + R_{ϕ} R_{u} R^{2}}{(- R + 2 m) R} = 0, \frac{- 4 T_{ϕ} {(- \frac{R}{2} + m)}^{2} T_{ϑ} + R_{ϕ} R_{ϑ} R^{2}}{(- R + 2 m) R} = 0, \frac{- 4 T_{ϑ} {(- \frac{R}{2} + m)}^{2} T_{u} + R_{ϑ} R_{u} R^{2}}{(- R + 2 m) R} = 0, - \frac{{R_{ϑ}}^{2} R}{R - 2 m} - R^{2} + \frac{{T_{ϑ}}^{2} (R - 2 m)}{R} = - 4 {(W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1)}^{2} m^{2}\}$

(47)

This is a nonlinear, non-rational PDE system in two unknowns depending on two independent variables (see (45)). You can now either call pdsolve on (47), solving the problem in one step, or first split into cases without solving any differential equation, just doing differential elimination, to see the cases

>	$PDEtools :- casesplit ()$

$[T_{u} = \frac{2 m}{u}, T_{ϑ} = 0, T_{ϕ} = 0, T_{v} = - \frac{2 m}{v}, R = 2 (LambertW (- \frac{1}{2} \frac{u v {&ExponentialE;}^{- 1}}{m}) + 1) m] &where [], [T_{u} = - \frac{2 m}{u}, T_{ϑ} = 0, T_{ϕ} = 0, T_{v} = \frac{2 m}{v}, R = 2 (LambertW (- \frac{1}{2} \frac{u v {&ExponentialE;}^{- 1}}{m}) + 1) m] &where []$

(48)

By using differential elimination we removed all nonlinearities, the problem is actually easy for the differential equation routines

>	$pdsolve ()$

$\{R = 2 (W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1) m, T = - 2 m \ln (u) + 2 m \ln (v) +_C1\}, \{R = 2 (W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1) m, T = 2 m \ln (u) - 2 m \ln (v) +_C1\}$

(49)

So the transformation of coordinates resolving the equivalence between (41) and (44) is

>	$eval (, [1])$

$\{r = 2 (W (- \frac{u v {&ExponentialE;}^{−1}}{2 m}) + 1) m, t = - 2 m \ln (u) + 2 m \ln (v) +_C1\}$

(50)

Check this result transforming (41) fully written in spherical coordinates into (44) fully written in Kruskal coordinates

$g_[]$

$g_{μ, ν} = [\begin{array}{c} \frac{r}{- r + 2 m} & 0 & 0 & 0 \\ 0 & - r^{2} & 0 & 0 \\ 0 & 0 & - r^{2} {\sin (θ)}^{2} & 0 \\ 0 & 0 & 0 & \frac{r - 2 m}{r} \end{array}]$

(51)

>	$TransformCoordinates (, g_[mu, nu], [K], [X])$

(52)

Redefining the spacetime metric and coordinates according to the signature

>	$restart &semi; with (Physics) &colon;$

>	$Coordinates (X = cartesian)$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (x, y, z, t)\}$

$Systems of spacetime Coordinates are: \{X = (x, y, z, t)\}$

$\{X\}$

(53)

Consider the generic form of a spacetime metric, for the purpose of illustrating its redefinition (reordering of lines and columns) when changing the signature, it doesn't need to depend on the coordinates

>	$G ≔ Matrix (4, symbol = g, shape = symmetric)$

Set the metric, and in the same call check the value of signature: it is (- - - +)

>	$Setup (signature, metric = G)$

$[metric = \{(1, 1) = g_{1, 1}, (1, 2) = g_{1, 2}, (1, 3) = g_{1, 3}, (1, 4) = g_{1, 4}, (2, 2) = g_{2, 2}, (2, 3) = g_{2, 3}, (2, 4) = g_{2, 4}, (3, 3) = g_{3, 3}, (3, 4) = g_{3, 4}, (4, 4) = g_{4, 4}\}, signature = - - - +]$

(54)

Track the line element

>	$g_[lineelement]$

$g_{3, 3} {\partial (z)}^{2} + (2 \partial (x) g_{1, 3} + 2 g_{2, 3} \partial (y)) \partial (z) + g_{1, 1} {\partial (x)}^{2} + 2 g_{1, 2} \partial (x) \partial (y) + g_{2, 2} {\partial (y)}^{2} + \partial (t) (\partial (t) g_{4, 4} + 2 \partial (x) g_{1, 4} + 2 \partial (y) g_{2, 4} + 2 \partial (z) g_{3, 4})$

(55)

Change now the signature by reversing the position of the time-like component, from 4 to 1

>	$Setup (signature = +---)$

$[signature = + - - -]$

(56)

Neither the metric nor the coordinates change: t is still in position 4 and the component (1, 1) of the metric is still $g__11$

>	$Coordinates ()$

$Systems of spacetime Coordinates are: \{X = (x, y, z, t)\}$

$\{X\}$

(57)

$g_[]$

This design gives you freedom to set things as necessary. However, after changing the signature we may also want to redefine the coordinates - place t in position 1 - and possibly also the metric reordering its lines and rows accordingly. A new command for that purpose is $Redefine$ , to which you need to indicate the previous signature (or a new signature, to explore the effect of a change before doing it) and an indication of whether you want to redefine the metric, the coordinates or all:

>	$Redefine (coordinates, fromsignature = ---+)$

$[t, x, y, z]$

(58)

>	$Redefine (metric, fromsignature = ---+)$

These redefinitions however were not set, the keywords coordinates, metric, or all only trigger the change, t is still in position 4 and the component (1,1) of the metric is still $g__1,1$

>	$Coordinates ()$

$Systems of spacetime Coordinates are: \{X = (x, y, z, t)\}$

$\{X\}$

(59)

$g_[]$

You can now either use the output of this routine to redefine things using the Setup command, or do all in one go using any of the keywords setcoordinates, setmetric, or setall, for example

>	$Redefine (setall, fromsignature = ---+)$

Now t in position 1 and the component (1,1) of the metric equal to $g__4,4$

>	$Coordinates ()$

$Systems of spacetime Coordinates are: \{X = (t, x, y, z)\}$

$\{X\}$

(60)

$g_[]$

Note that, despite the reordering of lines and columns in the metric, because we also reordered the variables, the line element has not changed:

>	$g_[lineelement]$

$g_{2, 2} {\partial (y)}^{2} + (2 \partial (t) g_{2, 4} + 2 \partial (x) g_{1, 2}) \partial (y) + g_{4, 4} {\partial (t)}^{2} + 2 g_{1, 4} \partial (x) \partial (t) + g_{1, 1} {\partial (x)}^{2} + \partial (z) (2 \partial (x) g_{1, 3} + 2 g_{2, 3} \partial (y) + 2 \partial (t) g_{3, 4} + \partial (z) g_{3, 3})$

(61)

>	$normal (-)$

$0$

(62)

This routine is particularly useful when working with metrics from the database of solutions to Einstein's equations, all of which reset the signature to (-+++) when loaded. For example:

>	$g_[[12, 21, 1]]$

$Systems of spacetime Coordinates are: \{X = (t, x, y, φ)\}$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (t, x, y, φ)\}$

$The McLenaghan, Tariq (1975), Tupper (1976) metric in coordinates [t, x, y, φ]$

$Parameters: [a, k, κ0]$

$Resetting the signature of spacetime from "+ - - -" to `- + + +` in order to match the signature in the database of metrics:$

Note above the message about resetting the signature; query about:

>	$Setup (signature)$

$[signature = - + + +]$

(63)

How would this metric and coordinates look with the original signature (---+) ?

>	$Redefine (all, tosignature = ---+)$

By entering the command above replacing all by setall not only the list of coordinates and metric matrix form are returned but they are also set in one go.

The 3D metric and the ThreePlusOne (3 + 1) new Physics subpackage

In the general theory of relativity, $x^{1}$ , $x^{2}$ , $x^{3}$ can be any quantities defining the position of bodies in space and the time coordinate $x^{0}$ can be defined by an arbitrarily running clock. In order to define simultaneity (synchronizing clocks located at different points in space) as well as determine actual space distances and time intervals in terms of these quantities $x^{0}$ , $x^{1}$ , $x^{2}$ , $x^{3}$ , it is relevant to split the spacetime mathematical description of gravity into its space and time parts. For this purpose, a new package, ThreePlusOne, and three new commands, were added to the Physics package:

•	Decompose, to decompose 4D tensorial expressions (free and/or contracted indices) into the space and time parts.

•	gamma_, representing the three-dimensional metric tensor, with which the element of spatial distance is defined as ${dl}^{2} = γ_{i, j} {dx}^{i} {dx}^{j}$ .

•	Redefine, to redefine the coordinates and the spacetime metric according to changes in the signature from any of the four possible signatures(− + + +), (+ − − −), (+ + + −) and ((− + + +) to any of the other ones.

Examples

>	$restart &semi;$ $with (Physics) &colon;$

>	$Setup (mathematicalnotation = true)$

$[mathematicalnotation = true]$

(64)

Define now an arbitrary tensor $A$

>	$Define (A)$

$Defined objects with tensor properties$

$\{A, γ_{μ}, σ_{μ}, \partial_{μ}, g_{μ, ν}, δ_{μ, ν}, ε_{α, β, μ, ν}\}$

(65)

So $A^{μ}$ is a 4D tensor with only one free index, where the position of the time-like component is the position of the different sign in the signature, that you can query about via

>	$Setup (signature)$

$[signature = - - - +]$

(66)

To perform a decomposition into space and time, set - for instance - the lowercase latin letters from i to s to represent spaceindices and

>	$Setup (spaceindices = lowercase_is)$

$[spaceindices = lowercaselatin_is]$

(67)

Accordingly, the 3+1 decomposition of $A^{μ}$ is

>	$Decompose (A [~ mu]) &semi;$

$[\begin{array}{c} A_{}^{i} & A_{}^{0} \end{array}]$

(68)

The 3+1 decomposition of the inert representation %g_[mu,nu] of the 4D spacetime metric; use the inert representation when you do not want the actual components of the metric appearing in the output

>	$Decompose (%g_[mu, nu]) &semi;$

$[\begin{array}{c} g_{i, j} & g_{i, 0} \\ g_{0, j} & g_{0, 0} \end{array}]$

(69)

Note the position of the component %g_[0, 0], related to the trailing position of the time-like component in the signature $(- - - +)$ .

Compare the decomposition of the 4D inert with the decomposition of the 4D active spacetime metric

$g []$

>	$Decompose (g_[mu, nu]) &semi;$

$[\begin{array}{c} g_{i, j} & 0 \\ 0 & 1 \end{array}]$

(70)

Note that in general the 3D space part of $g_{μ, ν}$ is not equal to the 3D metric $γ_{i, j}$ whose definition includes another term (see [1] Landau & Lifshitz, eq.(84.7)).

>	$gamma_[definition]$

$γ_{i, j} = - g_{i, j} + \frac{g_{0, i} g_{0, j}}{g_{0, 0}}$

(71)

The 3D space part of $- g_{}^{μ, ν}$ is actually equal to the 3D metric $γ_{}^{i, j}$

>	$gamma_[~, definition] &semi;$

$γ_{}^{i, j} = - g_{}^{i, j}$

(72)

To derive the formula (71) for the covariant components of the 3D metric, Decompose into 3+1 the identity

>	$%g_[~ alpha, ~ mu] %g_[mu, beta] = KroneckerDelta [~ alpha, beta] &semi;$

$g_{}^{α, μ} g_{μ, β} = δ_{β}^{α}$

(73)

To the side, for illustration purposes, these are the 3 + 1 decompositions, first excluding the repeated indices, then excluding the free indices

>	$Eq ≔ Decompose (, repeatedindices = false)$

$Eq ≔ [\begin{array}{c} g_{}^{i, μ} g_{μ, j} = δ_{j}^{i} & g_{}^{i, μ} g_{μ, 0} = 0 \\ g_{}^{0, μ} g_{μ, j} = 0 & g_{}^{0, μ} g_{μ, 0} = 1 \end{array}]$

(74)

>	$Eq ≔ Decompose (, freeindices = false)$

$Eq ≔ g_{0, β} g_{}^{α, 0} + g_{i, β} g_{}^{α, i} = δ_{β}^{α}$

(75)

Compare with a full decomposition

>	$Eq ≔ Decompose ()$

$Eq ≔ [\begin{array}{c} g_{0, k} g_{}^{j, 0} + g_{i, k} g_{}^{j, i} = δ_{k}^{j} & g_{0, 0} g_{}^{j, 0} + g_{i, 0} g_{}^{j, i} = 0 \\ g_{0, k} g_{}^{0, 0} + g_{i, k} g_{}^{0, i} = 0 & g_{0, 0} g_{}^{0, 0} + g_{i, 0} g_{}^{0, i} = 1 \end{array}]$

(76)

$Eq$ is a symmetric matrix of equations involving non-contracted occurrences of $g_{}^{0, 0}$ , $g_{}^{j, 0}$ and $g_{}^{j, i}$ . Isolate, in ${Eq}_{1, 2}$ , $g_{}^{j, 0}$ , that you input as %g_[~j, ~0], and substitute into ${Eq}_{1, 1}$

>	$isolate (Eq [1, 2], %g_[~ j, ~ 0]) &semi;$

$g_{}^{j, 0} = - \frac{g_{i, 0} g_{}^{j, i}}{g_{0, 0}}$

(77)

>	$subs (, Eq [1, 1])$

$- \frac{g_{0, k} g_{i, 0} g_{}^{j, i}}{g_{0, 0}} + g_{i, k} g_{}^{j, i} = δ_{k}^{j}$

(78)

Collect $g_{}^{j, i}$ , that you input as %g_[~j, ~i]

>	$collect (, %g_[~ j, ~ i])$

$(- \frac{g_{0, k} g_{i, 0}}{g_{0, 0}} + g_{i, k}) g_{}^{j, i} = δ_{k}^{j}$

(79)

Since the right-hand side is the identity matrix and, from (72), $g_{}^{i, j} = - γ_{}^{i, j}$ , the expression between parenthesis, multiplied by -1, is the reciprocal of the contravariant 3D metric $γ_{}^{i, j}$ , that is the covariant 3D metric $γ_{i, j}$ , in accordance to its definition for the signature $(- - - +)$

>	$gamma_[definition] &semi;$

$γ_{i, j} = - g_{i, j} + \frac{g_{0, i} g_{0, j}}{g_{0, 0}}$

(80)

References

[1] Landau, L.D., and Lifshitz, E.M. The Classical Theory of Fields, Course of Theoretical Physics Volume 2, fourth revised English edition. Elsevier, 1975.

Maple 2017 introduces a new package, ThreePlusOne, to cast Einstein's equations in a 3+1 form, that is, representing spacetime as a stack of nonintersecting 3-hypersurfaces Σ (not necessarily actual space). This $3 + 1$ description is key in the Hamiltonian formulation of gravity as well as in the study of gravitational waves, black holes, neutron stars, and in general to study the evolution of physical system in general relativity by running numerical simulations as traditional initial value (Cauchy) problems. ThreePlusOne includes:

•	Computational representations for the spatial metric $γ_{i, j}$ that is induced by $g_{μ, ν}$ on the 3-dimensional hypersurfaces, and the related covariant derivative, Christoffel symbols and Ricci and Riemann tensors.

•	Computational representations for the Lapse, Shift, Unit normal and Time vectors and Extrinsic curvature related to the ADM equations.

Examples

>	$restart &semi; with (Physics) &colon; Setup (coordinatesystems = cartesian) &semi;$

$Default differentiation variables for d_, D_ and dAlembertian are: \{X = (x, y, z, t)\}$

$Systems of spacetime Coordinates are: \{X = (x, y, z, t)\}$

$[coordinatesystems = \{X\}]$

(81)

>	$with (ThreePlusOne)$

$Setting lowercaselatin_is letters to represent space indices$

$Defined as 4D, spacetime tensors that are purely spatial (see ?Physics,ThreePlusOne), γ_{μ, ν}, 𝒟_{μ}, Γ_{μ, ν, α}, R_{μ, ν}, R_{μ, ν, α, β}, β_{μ}, n_{μ}, t_{μ}, Κ_{μ, ν}$

$Changing the signature of spacetime from (- - - +) to (+ + + -) in order to match the signature customarily used in the ADM formalism$

$[ADMEquations, Christoffel3, D3_, ExtrinsicCurvature, Lapse, Ricci3, Riemann3, Shift, TimeVector, UnitNormalVector, gamma3_]$

(82)

Note the different color for $γ_{μ, ν}$ , now a 4D tensor representing the metric of a generic 3-dimensional hypersurface (not necessarily the 3D space) induced by the 4D spacetime metric $g_{μ, ν}$ . All the ThreePlusOne tensors are displayed in black to distinguish them of the corresponding 4D or 3D tensors. The particular hypersurface $γ_{μ, ν}$ operates is parameterized by the Lapse $α$ and the Shift $β_{μ}$ .

The induced metric $γ_{μ, ν}$ is defined in terms of the UnitNormalVector $n_{μ}$ and the 4D metric $g_{μ, ν}$ as

>	$gamma3_[definition]$

$γ_{μ, ν} = n_{μ} n_{ν} + g_{μ, ν}$

(83)

where $n_{μ}$ is defined in terms of the Lapse $α$ and the derivative of a scalar function t that can be interpreted as a global time function

>	$UnitNormalVector [definition]$

$n_{μ} = - α 𝒟_{μ} (t)$

(84)

The TimeVector is defined in terms of the Lapse $α$ and the Shift $β_{μ}$ and this vector $n_{μ}$ as

>	$TimeVector [definition]$

$t_{μ} = α n_{μ} + β_{μ}$

(85)

The ExtrinsicCurvature is defined in terms of the LieDerivative of $γ_{μ, ν}$

>	$ExtrinsicCurvature [definition]$

$Κ_{μ, ν} = - \frac{ℒ_{n} (γ_{μ, ν})}{2}$

(86)

The metric $γ_{μ, ν}$ is also a projection tensor in that it projects 4D tensors into the 3D hypersurface Σ. The definition for any 4D tensor that is also a 3D tensor in Σ, can thus be written directly by contracting their indices with $γ_{μ, ν}$ . In the case of Christoffel3, Ricci3 and Riemann3, these tensors can be defined by replacing the 4D metric $g_{μ, ν}$ by $γ_{μ, ν}$ and the 4D Christoffel symbols $Γ_{μ, ν, α}$ by the ThreePlusOne $Γ_{μ, ν, α}$ in the definitions of the corresponding 4D tensors. So, for instance

>	$Christoffel3 [definition]$

$Γ_{μ, ν, α} = \frac{\partial_{α} (γ_{μ, ν})}{2} + \frac{\partial_{ν} (γ_{μ, α})}{2} - \frac{\partial_{μ} (γ_{ν, α})}{2}$

(87)

>	$Ricci3 [definition]$

$R_{μ, ν} = \partial_{α} (Γ_{μ, ν}^{α}) - \partial_{ν} (Γ_{μ, α}^{α}) + Γ_{μ, ν}^{β} Γ_{β, α}^{α} - Γ_{μ, α}^{β} Γ_{ν, β}^{α}$

(88)

>	$Riemann3 [definition]$

$R_{μ, ν, α, β} = γ_{μ, λ} (\partial_{α} (Γ_{ν, β}^{λ}) - \partial_{β} (Γ_{ν, α}^{λ}) + Γ_{κ, α}^{λ} Γ_{ν, β}^{κ} - Γ_{κ, β}^{λ} Γ_{ν, α}^{κ})$

(89)

When working with the ADM formalism, the line element of an arbitrary spacetime metric can be expressed in terms of the differentials of the coordinates ${dx}^{μ}$ , the Lapse, the Shift and the spatial components of the 3D metric gamma3_. From this line element one can derive the relation between the Lapse, the spatial part of the Shift, the spatial part of the gamma3_ metric and the $g_{0, j}$ components of the 4D spacetime metric.

For this purpose, define a tensor representing the differentials of the coordinates and an alias $dt = {dx}^{0}$

>	$Define (dx [mu]) &semi;$

$Defined objects with tensor properties$

$\{𝒟_{μ}, γ_{μ}, σ_{μ}, R_{μ, ν}, β_{μ}, X_{μ}, \partial_{μ}, {dx}_{μ}, g_{μ, ν}, γ_{μ, ν}, γ_{i, j}, Γ_{μ, ν, α}, δ_{μ, ν}, ε_{α, β, μ, ν}, R_{μ, ν, α, β}, t_{μ}, Κ_{μ, ν}, n_{μ}\}$

(90)

>	$alias (dt = dx [~ 0]) &colon;$

The expression for the line element in terms of the Lapse and Shift is (see [2], eq.(2.123))

>	${ds}^{2} = (Shift {[i]}^{2} - {Lapse}^{2}) {dt}^{2} + 2 Shift [i] dt dx [~ i] + gamma_[i, j] dx [~ i] dx [~ j] &semi;$

${ds}^{2} = (- α^{2} + β_{i} β_{}^{i}) {dt}^{2} + 2 β_{i} dt {dx}_{}^{i} + γ_{i, j} {dx}_{}^{i} {dx}_{}^{j}$

(91)

Compare this expression with the 3+1 decomposition of the line element in an arbitrary system. To avoid the automatic evaluation of the metric components, work with the inert form of the metric %g_

>	${ds}^{2} = %g_[mu, nu] dx [~ mu] dx [~ nu] &semi;$

${ds}^{2} = g_{μ, ν} {dx}_{}^{μ} {dx}_{}^{ν}$

(92)

>	$Decompose ()$

${ds}^{2} = g_{0, 0} {dt}^{2} + g_{0, j} dt {dx}_{}^{j} + g_{i, 0} dt {dx}_{}^{i} + g_{i, j} {dx}_{}^{i} {dx}_{}^{j}$

(93)

The second and third terms on the right-hand side are equal

>	$op (2, rhs ()) = op (3, rhs ())$

$g_{0, j} dt {dx}_{}^{j} = g_{i, 0} dt {dx}_{}^{i}$

(94)

>	$subs (,)$

${ds}^{2} = g_{0, 0} {dt}^{2} + 2 g_{i, 0} dt {dx}_{}^{i} + g_{i, j} {dx}_{}^{i} {dx}_{}^{j}$

(95)

Taking the difference between this expression and the one in terms of the Lapse and Shift we get

>	$simplify (-)$

$0 = (α^{2} - β_{i} β_{}^{i} + g_{0, 0}) {dt}^{2} + 2 {dx}_{}^{i} (g_{i, 0} - β_{i}) dt - {dx}_{}^{i} {dx}_{}^{j} (γ_{i, j} - g_{i, j})$

(96)

Taking coefficients, we get equations for the Shift, the Lapse and the spatial components of the metric gamma3_

>	${eq}_{1} ≔ coeff (coeff (rhs (), dt), dx [~ i]) = 0$

${eq}_{1} ≔ 2 g_{i, 0} - 2 β_{i} = 0$

(97)

>	${eq}_{2} ≔ coeff (rhs (), {dt}^{2})$

${eq}_{2} ≔ α^{2} - β_{i} β_{}^{i} + g_{0, 0}$

(98)

>	${eq}_{3} ≔ coeff (coeff (rhs (), dx [~ i]), dx [~ j]) = 0$

${eq}_{3} ≔ - γ_{i, j} + g_{i, j} = 0$

(99)

Using these equations, these quantities can all be expressed in terms of the time and space components of the 4D metric $g_{0, 0}$ and $g_{i, j}$

>	$isolate (eq [1], Shift [i]) &semi;$

$β_{i} = g_{i, 0}$

(100)

>	$isolate (eq [2], {Lapse}^{2}) &semi;$

$α^{2} = β_{i} β_{}^{i} - g_{0, 0}$

(101)

>	$isolate ({eq}_{3}, gamma_[i, j])$

$γ_{i, j} = g_{i, j}$

(102)

References

[1] Landau, L.D., and Lifshitz, E.M. The Classical Theory of Fields, Course of Theoretical Physics Volume 2, fourth revised English edition. Elsevier, 1975.

[2] Baumgarte, T.W., Shapiro, S.L., Numerical Relativity, Solving Einstein's Equations on a Computer, Cambridge University Press, 2010.

Tensors in Special and General Relativity

A number of relevant changes happened in the tensor routines of the Physics package, towards making the routines pack more functionality both for special and general relativity, as well as working more efficiently and naturally, based on Maple's Physics users' feedback collected during 2016.

New functionality

•	New command EnergyMomentum, to represent the Energy-Momentum tensor

•	Implement conversions to most of the tensors of general relativity (relevant in connection with functional differentiation)

•	New setting in the Physics Setup allows for specifying the cosmologicalconstant and a default tensorsimplifier

The StandardModel new Physics subpackage

One of the interesting things about the Physics package is that it was designed from scratch to extend the domain of operations of the Maple system from commutative variables to one that includes commutative, anticommutative and noncommutative variables, as well as symbolic tensors, abstract vectors and related (nabla) differential operators. Using this framework, Maple 2017 introduces a computational representation for the Standard Model of particle physics. The Standard Model is the $SU__c (3) \times SU__L (2) \times U (1)$ gauge theory describing the electromagnetic, weak, and strong interactions, as well as classifying all known elementary particles. This new StandardModel subpackage includes computational representations for:

•	Field-function representations for fermions (quarks and leptons), gauge bosons, and the Higgs boson

•	Gell-Mann matrices

•	Covariant derivative gauge terms integrated into the D_ covariant derivative command formerly used only for general relativity

Maple

Maple 附加模块

Math Success Platform

提高存留率

Maple Flow

MapleSim

项目服务

Maple T.A. and Möbius

教育

行业

汽车与航空航天

机器人

机器设计和工业自动化

其他

应用领域

产品价格

购买

院系/全校正版授权

Maplesoft精英维护升级计划

支持

产品培训

产品在线帮助

研讨会与活动

出版

资源中心

示例和应用

社区

关于 Maplesoft

媒体中心

用户社区

联系我们

Online Help

All Products Maple MapleSim

Maple

数学软件

Maple 附加模块

Math Success Platform

提高存留率

Maple Flow

Engineering calculations & documentation

MapleSim

多学科系统级建模仿真

项目服务

Maple T.A. and Möbius

教育

行业

汽车与航空航天

机器人

机器设计和工业自动化

其他

应用领域

产品价格

购买

院系/全校正版授权

Maplesoft精英维护升级计划

支持

产品培训

产品在线帮助

研讨会与活动

出版

资源中心

示例和应用

社区

关于 Maplesoft

媒体中心

用户社区

联系我们

Online Help

All Products Maple MapleSim