Calculation of the black hole horizon's surface

PhysiSmo
Hi everyone!

I'm looking for a way to calculate the horizon's surface for an arbitrary black hole in more than 4 dimensions. For example, if one has a metric of the form

ds^2=A(r)dt^2+B(r)dr^2+C(r)d\Omega_d^2,

where A(r),B(r),C(r) various functions and d the spacetime dimension, how can one calculate the surface of the horizon, given that the horizon is at position r=r_0.

Such cases occur in supersymmetric generalizations of various black holes (extremal Reissner Nordstrom for example) in more dimensions, say, 5.

Thank you in advance!
 
Physics news on Phys.org
PhysiSmo said:
Hi everyone!

I'm looking for a way to calculate the horizon's surface for an arbitrary black hole in more than 4 dimensions. For example, if one has a metric of the form

ds^2=A(r)dt^2+B(r)dr^2+C(r)d\Omega_d^2,

where A(r),B(r),C(r) various functions and d the spacetime dimension, how can one calculate the surface of the horizon, given that the horizon is at position r=r_0.

Such cases occur in supersymmetric generalizations of various black holes (extremal Reissner Nordstrom for example) in more dimensions, say, 5.

Thank you in advance!

If by "surface" you mean the boundary of the sphere, that has a 2-D area for ordinary 3-D space, but a 3-D volume for a 4-D space and so on.

I'll assume that the tangential part should have been notated as C(r) r^2 d\Omega_d^2 as in that case all of the metric factors are dimensionless and typically start from 1 at a distance.

In the above metric, for the ordinary static 3-D space plus time case, I think that only the term C(r_0) r^2 matters. The square root of this is the effective radius multiplied by the tangential metric, so all we have to do to get the surface is substitute that square root expression into the standard formula for the surface area of a sphere.

I'd guess (somewhat optimistically, perhaps) that if you substitute (\sqrt{C(r_0)} r_0) into the formula for the boundary of a higher dimensional sphere, that would give the corresponding result. For example, if the boundary of a sphere in 4-dimensional space is 2 \pi^2 r^3 (which I vaguely remember it might well be) then the surface in this case would be 2 \pi^2 C(r_0)^{3/2} {r_0}^3}.

However, I'm really out of my depth here, so I can only hope that the above vague ideas might be useful.
 
Thank you for your answer! The formula you provided is pretty correct, it passed many tests including 4d and 5d Schwarschild, Reissner Nordstrom, Supersymmetric generalizations of etc. So I guess that it should be correct.

Any ideas where does this formula come from? Why lim(r-->r_0) [sqrt{C(r)}r] is the effective radius?
 
PhysiSmo said:
Thank you for your answer! The formula you provided is pretty correct, it passed many tests including 4d and 5d Schwarschild, Reissner Nordstrom, Supersymmetric generalizations of etc. So I guess that it should be correct.

Any ideas where does this formula come from? Why lim(r-->r_0) [sqrt{C(r)}r] is the effective radius?

That's just geometry. To measure the surface using local rulers, you take the surface measured in coordinate space then and adjust each r factor by the tangential component of the metric. I can visualise that for 3-D space, but for higher dimensions I just have to blindly trust the mathematics, so I hope that's right!
 
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Back
Top