Physical Sciences and Mathematics Commons^™

Introduction To The Usu Library Of Solutions To The Einstein Field Equations, Ian M. Anderson, Charles G. Torre

Tutorials on... in 1 hour or less

This is a Maple worksheet providing an introduction to the USU Library of Solutions to the Einstein Field Equations. The library is part of the DifferentialGeometry software project and is a collection of symbolic data and metadata describing solutions to the Einstein equations.

A Rank 7 Pfaffian System On A 15-Dimensional Manifold With F4 Symmetry Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

Let I be a differential system on a manifold M. The infinitesimal symmetry algebra of I is the set of all vectors fields X on M such that preserve I. In this worksheet we present an example, due to E. Cartan of a rank 7 Pfaffian system on a 15-dimensional manifold whose infinitesimal symmetry algebra is the split real form of the exceptional Lie algebra f4 .

Rainich-Type Conditions For Perfect Fluid Spacetimes, Dionisios Krongos, Charles G. Torre

Research Vignettes

In this worksheet we describe and illustrate a relatively simple set of new Rainich-type conditions on an n-dimensional spacetime which are necessary and sufficient for it to define a perfect fluid solution of the Einstein field equations. Procedures are provided which implement these Rainich-type conditions and which reconstruct the perfect fluid from the metric. These results provide an example of the idea of geometrization of matter fields in general relativity, which is a purely geometrical characterization of matter fields via the Einstein field equations.

How To Find Killing Vectors, Charles G. Torre

How to... in 10 minutes or less

We show how to compute the Lie algebra of Killing vector fields of a metric in Maple using the commands KillingVectors and LieAlgebraData. A Maple worksheet and a PDF version can be found below.

Higher Order Symmetries Of The Kdv Equation, Ian M. Anderson

Research Vignettes

In this worksheet we symbolically construct the formal inverse of the total derivative operator and use it to construct the recursion operator for the higher-order symmetries of the KdV equation. Using this recursion operator we generate the first 5 generalized symmetries of the KdV equation and verify that they all commute.

PDF and Maple worksheets can be downloaded from the links below.