DPG Phi
Verhandlungen
Verhandlungen
DPG

Heidelberg 1999 – scientific programme

Parts | Days | Selection | Search | Downloads | Help

GR: Gravitation und Relativitätstheorie

GR 2: Photonen und Gravitation, Horizonte, Computeralgebra

GR 2.5: Talk

Monday, March 15, 1999, 17:20–17:40, AM1

Finger"ubung in REDUCE: Probleme und deren L"osung bei der "Uberpr"ufung einer komplizierten L"osung der Einsteinschen Vakuumfeldgleichungen (Finger exercise in REDUCE: Checking the Einstein equations for a very complicated metric) — •Christian Heinicke — Institut f"ur Theoretische Physik, Universit"at, 50923 K"oln

Auf Vorschlag von D. Kramer rechneten wir die sehr komplizierte L"osung der Einsteinschen Vakuumfeldgleichungen von A. Wang [1] f"ur kollidierende Gravitationswellen nach. Zun"achst konnte diese L"osung mit Hilfe des Computeralgebrasystemes Reduce nicht verifiziert werden, da ein umfangreicher Ausdruck sich nicht auf Null reduzierte. Deshalb haben wir Spezialf"alle der vollen L"osung betrachtet. Es zeigte sich, da"s Terme der Art ac bc − (ab)c auftauchten. Vereinfachungsregeln f"ur allgemeine Potenzausdr"ucke sind ein wohlbekanntes Problem f"ur Computeralgebrasysteme, siehe z.B. [2],[3]. Da im vorliegenden Fall der Wertebereich der Koordinaten eingeschr"ankt ist, sind die Ausdr"ucke ab immer gr"o"ser Null. Dann gilt ac bc=(ab)c. Dies mu"s Reduce explizit mitgeteilt werden, etwa durch geeignete Substitutionsvorschriften. Dann gelang der Nachweis, da"s auch die volle L"osung die Vakuumfeldgleichungen erf"ullt.

[1] A. Wang: Int. J. Mod. Phys. A6 (1991) 2273-2288

[2] J.M. Stewart: Cont. Phys. 39 (1998) 402

[3] D. Hartley in Hehl, Puntigam, Ruder: Relativity and Scientific Computing, Springer (1996) pp. 177 et seq.

100% | Mobile Layout | Deutsche Version | Contact/Imprint/Privacy
DPG-Physik > DPG-Verhandlungen > 1999 > Heidelberg