 Application Center - Maplesoft

# General Relativity using Computer Algebra

You can switch back to the summary page by clicking here.

General Relativity using Computer Algebra

Problem: for the spacetime metric, a) Compute the trace of where is some function of the radial coordinate, is the Ricci tensor, is the covariant derivative operator and is the stress-energy tensor b) Compute the components of  the traceless part of of item a)

c) Compute an exact solution to the nonlinear system of differential equations conformed by the components of obtained in b)

Background: The equations of items a) and b) appear in a paper from February/2013, "Withholding Potentials, Absence of Ghosts and Relationship between Minimal Dilatonic Gravity and f(R) Theories", by Plamen Fiziev, a Maple user.  These equations model a problem in the context of a Branse-Dicke theory with vanishing parameter The Brans–Dicke theory is in many respects similar to Einstein's theory, but the gravitational "constant" is not actually presumed to be constant - it can vary from place to place and with time - and the gravitational interaction is mediated by a scalar field. Both Brans–Dicke's and Einstein's theory of general relativity are generally held to be in agreement with observation.

The computations below aim at illustrating how this type of computation can be performed using computer algebra, and so they focus only on the algebraic aspects, not the physical interpretation of the results.

 a) The trace of b) The components of  the traceless part of c) An exact solution for the nonlinear system of differential equations conformed by the components of 