Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Proof that black hole's irreducible mass never decreases

  1. May 17, 2010 #1
    1. The problem statement, all variables and given/known data

    In a Penrose process, a mass [itex]\delta M < 0[/itex] and an angular momentum [itex]\delta J < 0[/itex] are added to a black hole. Given that

    \delta J \leq \frac{\delta M}{\Omega}

    where [itex]\Omega[/itex] is the angular velocity of the horizon, show that the irreducible mass never decreases, i.e. [itex]\delta M_{irr} > 0[/itex].

    2. Relevant equations

    [tex]M_{irr}^2 = \frac{1}{2} \left[ M^2 + \sqrt{M^4 - J^2} \right][/tex]

    3. The attempt at a solution

    The function for the irreducible mass is weakly decreasing for decreasing [itex]M[/itex] and strongly increasing for decreasing [itex]J[/itex], so I imagine that if [itex]J[/itex] decreases enough compared to the decrease in [itex]M[/itex], you indeed get that the irreducible mass can only rise. That is, I can imagine that the given inequality might lead to the requested conclusion. I have not been able to prove that this particular inequality works. For one, I'm not sure how to relate the angular velocity to anything else, which I think might be crucial. Perhaps I should somehow relate it to the angular momentum, but how?

    EDIT: I've found an expression saying

    \Omega = -\frac{g_{t\phi}}{g_{\phi\phi}}.

    I don't understand this, can anyone explain why this is true?
    Last edited: May 17, 2010
  2. jcsd
  3. May 18, 2010 #2
    I can tell you this is the frame dragging rate as viewed from infinity which increases as r reduces.

    [tex]g_{\phi\phi}}\ =\frac{\Sigma^2}{\rho^2}\sin^2\theta\ =\frac{(r^2+a^2)^2-a^2\Delta \sin^2\theta}{\rho^2}\ \sin^2\theta[/tex]

    [tex]g_{t\phi}=-\frac{2Mra\ \sin^2\theta}{\rho^2}[/tex]

    where [itex]\Delta= r^{2}+a^{2}-2Mr[/itex] and [itex]\rho^2=r^2+a^2 \cos^2\theta[/itex]

    This can reduce to-

    -\frac{g_{t\phi}}{g_{\phi\phi}}\ =\ \omega\ =\ \frac{2Mra}{\Sigma^2}

    Multiply by c for SI units (rad/s). [itex]\Omega[/itex] is normally used to represent the frame dragging (as observed from infinity) at the event horizon, normally denoted with a + or - to represent the outer or inner horizon, [itex]\omega[/itex] is normally used to represent the frame dragging rate else where.
    Last edited: May 18, 2010
  4. May 18, 2010 #3
    Yes, I had discovered this is how it is regarded, but I do not understand why that expression is valid. Apparently the Kerr metric can also be regarded as a co-rotating frame that is rotating at an angular velocity of

    [tex] \Omega = -\frac{g_{t \phi}}{g_{\phi \phi}} [/tex]

    but I do not see why this is true.
  5. May 18, 2010 #4
    It has something to do with setting the angular momentum equation for a particle in Kerr space time to zero and finding out that there is still angular motion. Below is a very reduced angular momentum equation for a particle in space time around a BH with a/M=1 (i.e. maximal), it is also only relative to the equatorial plane-

    [tex]\frac{L}{m}=R^2\frac{d \phi}{d \tau}-\frac{2M^2}{r}\frac{dt}{d \tau}[/tex]



    where R is the reduced circumference for a maximal Kerr BH at the equator.

    If we set L/m to zero, we get-

    [tex]\frac{d \phi}{dt}=\frac{2M^2}{rR^2}[/tex]

    which gives results equivalent to [itex]\omega[/itex] in post #2 when applied to a Kerr BH with a/M=1 at the equator.

    http://www.eftaylor.com/pub/SpinNEW.pdf" [Broken] page F-14
    Last edited by a moderator: May 4, 2017
  6. May 18, 2010 #5
    That seems fair enough. I'm wondering, however, whether the expression with the quotient of metric components might not be something more general, i.e. valid for any metric, not just the Kerr metric.
  7. May 18, 2010 #6
    They are general, the equations reduce to the Schwarzschild solution when a=0, though I would say [itex]g_{t\phi}[/itex] is fairly specific to Kerr and Kerr-Newman metric.
    Last edited: May 18, 2010
  8. May 18, 2010 #7
    Well, [itex]g_{t\phi}[/itex] is just 0 for a static black hole, so that would lead to an angular velocity of 0, which makes sense. But that's not proof that it's a general relation.
  9. May 19, 2010 #8
    I don't know if this answers your question and you may already be aware of this but the metric tensor is a 4 x 4 matrix with [itex]t, r, \theta, \phi[/itex] running left to right, top to bottom, hence [itex]g_{tt}, g_{rr}[/itex], etc. correspond to points in the matrix. Though the annotations might change, this is pretty much applied to most metrics. As there is a component in Kerr metric that relates to time and change in longitude, a [itex]g_{t \phi}[/itex] component is introduced which has two points in the matrix, hence Kerr metric can be expressed-

    [tex]ds^2 = g_{tt} dt^2 + g_{rr}dr^2 + g_{\phi \phi} d\phi^2 + g_{\theta\theta} d\theta^2 + 2 g_{t \phi} dt d\phi [/tex]

    where [itex]g_{t \phi}[/itex] is counted twice (see link below).

    http://www.astro.ku.dk/~milvang/RelViz/000_node12.html" [Broken]
    Last edited by a moderator: May 4, 2017
  10. May 19, 2010 #9
    Yes, I'm aware of what a metric tensor is (not really a matrix, actually ;)), that's not what confused me. I simply did not understand where the expression for [itex]\Omega[/itex] comes from and was wondering whether it held for any metric. I've tracked the expression down in literature and I know now to some extent where it comes from, though I'm waiting for my teacher to provide some more details. If you care to know, I can post what I know here.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook