Ask Your Question
0

Source for Principal Null Directions Kerr, Example Worksheet

asked 2019-08-13 07:43:40 -0500

anonymous user

Anonymous

In the Worksheet "Walker-Penrose Killing tensor in Kerr spacetime" of the SageManifolds project, the sheet gives the principal null directions for Kerr spacetime in Boyer-Lindquist coordinates. I have difficulties verifying (with Mathematica) that this is indeed the case and would appreciate a source.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
3

answered 2019-08-14 09:51:40 -0500

eric_g gravatar image

updated 2019-08-14 09:53:45 -0500

The vectors $\ell$ and $k$ introduced in this notebook correspond to Eqs. (12.3.5) and (12.3.6) of Wald's textbook General Relativity (1984).

You can check that they do define repeated principal null directions, i.e. that they obey the following identity (where $C^a_{\ \ bcd}$ stands for the Weyl tensor) $$ C^a_{\ \ mn[b} k_{c]} k^m k^n = 0,\qquad\qquad\mbox{(1)}$$ with SageMath itself (no need of Mathematica ;-)). It suffices to run (same notations as in the original notebook)

C = g.weyl()
(C.contract(1, 2, k*k, 0, 1) * k.down(g)).antisymmetrize(1, 2).display()

which yields 0.

If you prefer to use index notations (passed as strings in LaTeX format) instead of contract() and antisymmetrize(), SageMath allows for it as well. The check of (1) is then equivalent to

A = C['^a_{mnb}'] * (k*k)['^{mn}']
kf = g['_{am}'] * k['^m']
(A*kf)['^a_{[bc]}'].display()

the outcome of which is 0.

A Jupyter notebook implementing the check of (1) by both methods is posted here.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2019-08-13 07:43:40 -0500

Seen: 36 times

Last updated: Aug 14