Library[MetricSearch] - a Maplet for searching the DifferentialGeometry libraries of metrics
PropList - a list of spacetime metric properties to search for.
The DifferentialGeometry Library package contains an extensive database of spacetime metrics and matter fields which give solutions to the Einstein equations of general relativity. The command MetricSearch allows the Maple user to search the database for metrics with specified properties. The first calling sequence launches an easy to use Maplet. The second calling sequence provides the same search capabilities in a command line format.
The command MetricSearch() initializes a maplet which searches the DifferentialGeometry Library for metrics with user-specified properties. The current search criteria are summarized in the following table.
Primary Description. Search for solutions to the Einstein equations with a prescribed class of energy-momentum tensors.
Secondary Description. Search for metrics with a prescribed class of mathematical or physical properties.
Keyword. Keyword descriptions include metric names or authors.
Petrov Type. Algebraic classification of the Weyl tensor.
Plebanski-Petrov Type. Algebraic classification of the Ricci tensor. This is the Petrov type of the Plebanski tensor.
Segre Type. Algebraic classification of the Ricci tensor. The Segre type specifies the normal form of a linear transformation which is self-adjoint with respect to a 4-dimensional Lorentz signature metric.
Isometry Dimension. The number of Killing vectors. KillingVectors
Orbit Dimension. The number of pointwise independent Killing vectors; or the dimension of the orbit of the group of isometries.
Orbit Type. The signature of the induced metric on the orbits. SubspaceType
Isotropy Type. For any Lorentz signature 4-dimensional spacetime, the infinitesimal isotropy representation defines a subalgebra of so3,1. These subalgebras have been classified and are labeled F1, F2 , ..., F15 .
Once properties are selected by checking appropriate boxes, pressing the Search button will return all metrics in the DifferentialGeometry library which possess all of the indicated properties. The format of the result is a string representing the source reference and a sequence of lists indicating the equation numbers in the reference where the metrics appear. All the information in the DifferentialGeometry library for each metric can be obtained with the Retrieve command.
Information regarding the metric found by a search of the DifferentialGeometry library can be retrieved in one of two ways. One method is to enter the reference name (string), equation number, and the name of an initialized manifold (created in the calling worksheet using DGsetup) into the text boxes in the Retrieve section of the MetricSearch Maplet. Then pressing the Retrieve button will return a list of the spacetime fields defining the solution (e.g., metric, electromagnetic field, etc.) to the calling worksheet. All the information in the DifferentialGeometry library for each metric can be obtained with the Retrieve command.
The Clear button resets all check boxes and clears all text boxes. The Close button will close the Maplet.
The second calling sequence accepts a list of desired properties, each specified by an equation metricproperty = propertyvalue. The possibilities are:
"Dust", "Einstein", "EinsteinMaxwell", "PerfectFluid", "PureRadiation", "Vacuum"
"Homogeneous", "PlaneWave", "PPWave", "PureRadiation", "RobertsonWalker", "SimplyTransitive", "Static"
a list of strings: author names, metric names, etc.
"I", "II", "III", "D", "N", "O"
For example, "[1,(111)]"
0, 1, 2, 3, 4, 5, 6, 7, 10
0, 1, 2, 3, 4
"Null", "Riemannian", "PseudoRiemannian"
"F1", "F2", "F3", "F4", "F5", "F6", "F7", "F8", "F9", "F10", "F11", "F12", "F13", "F14", "F15"
Currently the DifferentialGeometry library contains selected metrics from:
Stephani, H.; Kramer, D.; MacCallum, M.; Hoenselaers, C.; and Herlt, E. Exact Solutions to Einstein's Field Equations. 2nd ed. Cambridge Monographs on Mathematical Physics, 2003.
2. Hawking, Stephen; and Ellis, G. F. R. (1973). The Large Scale Structure of Space-Time. Cambridge: Cambridge University Press.
We find examples of metrics which are homogeneous Einstein metrics of Petrov type III. First initialize a manifold with coordinates, e.g., x1, x2, x3, x4.
frame name: M
Start the MetricSearch Maplet.
F ≔ MetricSearch⁡:
Check the Einstein box in the PhysicalProperties-Primary Description section, check type III in the Algebraic Properties-Petrov Type section, check 4 in the Orbit Dimension section.
The result is "Stephani": [12, 35, 1].
Enter "Stephani" into the Reference textbox, enter [12, 35, 1] into the equation number textbox, and enter M into the manifold textbox. Press the Retrieve button. The metric is assigned to F. (If matter fields were present, they would also be assigned to F.)
We calculate some properties of a given metric and identify the metrics with the same properties in the library database.
g ≔ evalDG⁡1⁢dx &t dx+dy &t dyx2+x2⁢dphi &t dphi−dt−2⁢y⁢dphi &t dt−2⁢y⁢dphi
We use the command RainichConditions to see if the space-time is a solution of the Einstein-Maxwell equations (electrovac spacetime).
We use the command KillingVectors to determine the dimension of the group of isometries.
KV ≔ KillingVectors⁡g
Next we find the Petrov type of the metric.
Search for this metric in the data-base using the command line version of MetricSearch. We find that this is the metric in Stephani, Kramer et al. equation [12, 21, 1].
Find the Goedel metric in the data-base and then retrieve it:
S ≔ MetricSearch⁡Keywords=Goedel
g ≔ Retrieve⁡op⁡S1,manifoldname=M,output=Metric1
DifferentialGeometry, Tensor, IsotropySubalgebra, IsotropyType, KillingVectors, PetrovType, PlebanskiTensor, SegreType, SubspaceType
Download Help Document