Junctions and thin shells in general relativity using computer algebra. I: The Darmois-Israel formalism. We present the GRjunction computer algebra program which allows the study of non-null boundary surfaces and thin shells in general relativity. Implementing the Darmois-Israel thin-shell formalism requires a careful selection of definitions and algorithms to ensure that results are generated in a straightforward way. We have used the package to correctly reproduce a wide variety of examples from the literature. In this paper GRjunction is used to perform two new calculations: joining two Kerr solutions with differing masses and angular momenta along a thin shell in the slow rotation limit, and the calculation of the stress-energy of a Curzon wormhole. The Curzon wormhole has the interesting property that shells located at radius $R < 2m$ have regions which satisfy the weak energy condition.
Keywords for this software
References in zbMATH (referenced in 7 articles , 1 standard article )
Showing results 1 to 7 of 7.
- Ghosh, Shounak; Dey, Sagar; Das, Amit; Chanda, Anirban; Paul, Bikash Chandra: Study of gravastars in Rastall gravity (2021)
- Beltrán Jiménez, Jose; Heisenberg, Lavinia; Olmo, Gonzalo J.; Rubiera-Garcia, Diego: Born-Infeld inspired modifications of gravity (2018)
- Övgün, A.; Sakalli, I.: A particular thin-shell wormhole (2017)
- Lindgren, Jonathan: Collisions of massive particles, timelike thin shells and formation of black holes in three dimensions (2016)
- Gemelli, Gianluca: Observer-dependent Gauss-Codazzi formalism for null hypersurfaces in the space-time (2002)
- Musgrave, Peter; Lake, Kayll: Junctions and thin shells in general relativity using computer algebra. II: The null formalism (1997)
- Musgrave, Peter; Lake, Kayll: Junctions and thin shells in general relativity using computer algebra. I: The Darmois-Israel formalism (1996)