3
$\begingroup$

I have been going through the Chandrasekhar's "The Mathematical Theory of Black holes", in particular the chapter on Newman Penrose formalism.

I have a question about what he calls a "class III transformation", where, given a null tetrad $\lbrace l,n,m,\overline{m} \rbrace$ we can rescale the null directions and rotate the other as

$\lbrace Al,A^{-1}n,e^{i\phi}m,e^{-i\phi}\overline{m} \rbrace$

where $A$ is a positive function. Such transformation indeed preserves the underlying orthogonality and normalization conditions. Furthermore, the direct consequence (I also don't know how to prove that) of such choice of scaling is that some spin coefficients vanish, in particular $\epsilon+\overline{\epsilon}=0$.

My question is: how do we know that the function $A$ exists?

Attempt at the solution:

I started by writing out the covariant derivative

$\nabla_{l}l=Dl^{a}=(\epsilon+\overline{\epsilon})l^{a}-\overline{\kappa}m^{a}-\kappa\overline{m}^{a}$.

What I want to show is that there exists a choice of scaling such that the right hand side vanishes. I then substituted $l\rightarrow Al$ but it didn't get me anywhere. I suppose the real solution is more complicated than that because I have to show the existence of a solution to a PDE but I still have no idea how to start.

This is not homework.

$\endgroup$
3
$\begingroup$

From the equation you wrote down you have that the scalar product $$(\nabla_\ell \ell, n) = \pm (\epsilon + \bar{\epsilon})$$ (the $\pm$ is from the sign convention; I don't remember which one Chandrasekhar uses). So rescaling both $\ell$ and $n$ you get $$ \nabla_{A\ell} (A\ell) = A^2 \nabla_\ell \ell + A (D A) \ell $$ and hence $$ (\nabla_{A\ell} (A\ell), A^{-1} e) = \pm A (\epsilon + \bar{\epsilon}) \pm D(A) $$

This means that $A$ solves the ODE $$ D (\ln A) + \epsilon + \bar{\epsilon} = 0 $$ along the integral curves of $\ell$.

So now just set any hypersurface transverse to these integral curves, on this hypersurface prescribe $A \equiv 1$, and solve the transport equation alone integral curves.


Choosing the right hand side to always vanish, however, is not always possible through only tetrad transformations. For the right hand side to vanish is the statement that $\ell$ is geodesic. Since your tetrad transformation only changes $\ell$ by rescaling, if you start out with $\ell$ such that its integral curves are not geodesics, you can never through tetrad transformations make it a geodesic vector field.

An example is the following: consider in Minkowski space the tetrad

$$ \sqrt{2} \ell = \partial_t + \cos(x_3) \partial_1 + \sin(x_3) \partial_3 $$

$$ \sqrt{2} n = \partial_t - (\cos(x_3) \partial_1 - \sin(x_3) \partial_3) $$

$$ \sqrt{2} m = - \sin(x_3) \partial_1 + \cos(x_3) \partial_3 + i \partial_2 $$


Finally, note that the tetrad transformations that can be used to kill some degrees of (gauge) freedom are usually only available "locally". For example: depending on the global structure of your spacetime, starting from a (global) tetrad it may be impossible to find a global $A$ such that $(\epsilon + \bar{\epsilon})$ vanish everywhere. (This is not unrelated to the fact that it may be impossible to define a tetrad globally due to topological obstructions.)

$\endgroup$
8
  • $\begingroup$ thank you very much! to clarify: could you please elaborate on when you say "set any hyper surface transversal to these integral curves"? I apparently lack math background to precisely understand what you mean @Willie Wong $\endgroup$ – GregVoit Mar 30 '15 at 16:58
  • $\begingroup$ and also, why do I need to prescribe $A=1$ on that surface? thank you in advance @Willie Wong $\endgroup$ – GregVoit Mar 30 '15 at 17:00
  • $\begingroup$ and the last one: I didn't understand the step from equation 3 to equation 4. $D$ should be the partial differential operator, how do we get ODE and a log? @Willie Wong $\endgroup$ – GregVoit Mar 30 '15 at 17:03
  • $\begingroup$ can anyone clarify what "set any hypersurface transversal to integral curves" mean? $\endgroup$ – GregVoit Mar 30 '15 at 20:02
  • $\begingroup$ @GregVoit You don't have to prescribe $A$ to be 1 on the hypersurface. You can prescribe it to be anything. All of your questions in your comments can be addressed if you go and read up on the method of characteristics for first order partial differential equations, or read equivalently basic things about the "advection equation". These are presented frequently in the first two chapters in most intro to PDE textbooks. $\endgroup$ – Willie Wong Mar 31 '15 at 11:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.