Sunday, December 21, 2014

general relativity - Are black holes very dense matter or empty?


The popular description of black holes, especially outside the academia, is that they are highly dense objects; so dense that even light (as particle or as waves) cannot escape it once it falls inside the event horizon.


But then we hear things like black holes are really empty, as the matter is no longer there. It was formed due to highly compact matter but now energy of that matter that formed it and whatever fell into it thereafter is converted into the energy of warped space-time. Hence, we cannot speak of extreme matter-density but only of extreme energy density. Black holes are then empty, given that emptiness is absence of matter. Aren't these descriptions contradictory that they are highly dense matter as well as empty?


Also, if this explanation is true, it implies that if enough matter is gathered, matter ceases to exist.


(Sorry! Scientifically and Mathematically immature but curious amateur here)



Answer



The phrase black hole tends to be used without specifying exactly what it means, and defining exactly what you mean is important to answer your question.


The archetypal black hole is a mathematical object discovered by Karl Schwarzschild in 1915 - the Schwarzschild metric. The curious thing about this object is that it contains no matter. Techically it is a vacuum solution to Einstein's equations. There is a parameter in the Schwarzschild metric that looks like a mass, but this is actually the ADM mass i.e. it is a mass associated with the overall geometry. I suspect this is what you are referring to in your second paragraph.


The other important fact you need to know about the Schwarzschild metric is that it is time independent i.e. it describes an object that doesn't change with time and therefore must have existed for an infinite time in the past and continue to exist for an infinite time into the future. Given all this you would be forgiven for wondering why we bother with such an obviously unrealistic object. The answer is that we expect the Schwarzschild metric to be a good approximation to a real black hole, that is a collapsing star will rapidly form something that is in practice indistinguishable from a Schwarzschild black hole - actually it would form a Kerr black hole since all stars (probably) rotate.


To describe a real star collapsing you need a different metric. This turns out to be fiendishly complicated, though there is a simplified model called the Oppenheimer-Snyder metric. Although the OS metric is unrealistically simplified we expect that it describes the main features of black hole formation, and for our purposes the two key points are:





  1. the singularity takes an infinite coordinate time to form




  2. the OS metric can't describe what happens at the singularity




Regarding point (1): time is a complicated thing in relativity. Someone watching the collapse from a safe distance experiences a different time from someone on the surface of the collapsing star and falling with it. For the outside observer the collapse slows as it approaches the formation of a black hole and the black hole never forms. That is, it takes an infinite time to form the black hole.


This isn't the case for an observer falling in with the star. They see the singularity form in a finite (short!) time, but ... the Oppenheimer-Snyder metric becomes singular at the singularity, and that means it cannot describe what happens there. So we cannot tell what happens to the matter at the centre of the black hole. This isn't just because the OS metric is a simplified model, we expect that even the most sophisticated description of a collapse will have the same problem. The whole point of a singularity is that our equations become singular there and cannot describe what happens.



All this means that there is no answer to your question, but hopefully I've given you a better idea of the physics involved. In particular matter doesn't mysteriously cease to exist in some magical way as a black hole forms.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...