Event Horizon and Light Exit Cone Question

In summary, the conversation discusses the concept of black holes and their formation. The speaker questions the validity of black holes based on their understanding of the principle of equivalence and the behavior of light near the event horizon. The expert explains that the existence of black holes is not directly predicted by Einstein's field equations and is based on assumptions about boundary conditions. The discussion also touches on the possibility of singularities and the behavior of objects near the event horizon. Ultimately, the existence of black holes remains a topic of debate and further research is needed to fully understand them.
  • #1
Sigie
4
0
I posted a similar question under cosmology but the question was unable to be answered. I thought I would try a reframe the question.

When approaching a black holes event horizon, the exit cone for light become smaller until it is eliminated at the event horizon itself. But how can gravity bend light that is directed exactly away from the line of force?

Employing the principle of equivalence, no matter how fast I accelerate in flat space, a beam of light directed in the same direction as I accelerate will never bend. Therefore, it seems to me that the event horizon breaks the principle of equivalence.

For example, I am in an elevator with a laser pointer. If the elevator is accelerated upwards in flat space, from my perspective, the light bends, except if I direct the laser pointer directly upwards of downwards. If I direct the laser pointer directly upwards, no matter how fast I accelerate, the light beam will always be traveling away from me at speed c.

If I use the equivalent situation of a mass below me, then, no matter how massive the object, the laser should never bend.

If I am in an elevator that is crossing an event horizon (assuming a huge black hole where tidal forces won't tear me apart at the vent horizon), and I direct the laser pointer exactly away from the line of the force of gravity, at a point where the laser emiter is inside the event horizon, yet the top of the elevator is beyond it, the laser cannot by definition reach the ceiling. Yet the light cannot be slowed, and it cannot be bent if it is line with the force of gravity.

Thus, it seems to be that gravity cannot completely close off light's exit cone and thus an event horizon (and a black hole) cannot truly form, no matter how massive an object. I would be very appreciative if someone could explain this paradox to me.

Thanks
 
Physics news on Phys.org
  • #2
Sigie said:
If I am in an elevator that is crossing an event horizon (assuming a huge black hole where tidal forces won't tear me apart at the vent horizon), and I direct the laser pointer exactly away from the line of the force of gravity, at a point where the laser emiter is inside the event horizon, yet the top of the elevator is beyond it, the laser cannot by definition reach the ceiling. Yet the light cannot be slowed, and it cannot be bent if it is line with the force of gravity.

It isn't actually possible to find a coordinate system where what happens inside the elevator can be mapped to the what an outside observer sees in any sensible way (for a start, it takes more than infinite time to happen, and ends up in a sort of inside-out imaginary coordinate system). However, one way of thinking about it would be that relative to the original space, an upwards ray is moving within a piece of space which is moving downwards faster than light, so overall it goes downwards, and by the time it reaches the top of the elevator, the top of the elevator has actually passed the point where the bottom of the elevator was at the time the ray was emitted.

I'd agree that this doesn't make much sense, but that doesn't actually constitute a disproof of black holes.

Note that General Relativity and Einstein's field equations do NOT actually directly predict the existence or otherwise of black holes, contrary to popular opinion. In the solutions of those equations described by the Schwarzschild solution and later extensions such as the Kerr solution for rotating central bodies, the radial coordinate involves a constant of integration which is determined by assumed boundary conditions. Karl Schwarzschild himself derived his solution using a Euclidean radial coordinate, making the assumption that a point mass was located at the origin, but then pointed out that the mathematics for describing the solution could be simplified by using a different radial coordinate, which had a value of 2GM at the physical origin. (See arXiv:physics/9905030 for a translation of Schwarzschild's original paper). When Hilbert later described Schwarzschild's solution, he did it directly in terms of the simplified radial coordinate system, but assumed that the physical origin was where Schwarzschild's modified radial coordinate was zero rather than 2GM.

It is this assumption from Hilbert which gives rise to the possibility of black holes, and for a long time it seems that no-one noticed that any assumption had been made, until Leonard S Abrams dared to point this out in 1989 (arXiv:gr-qc/0102055). Unfortunately, as there doesn't seem to be any obvious way to prove which boundary assumption is better, this has given rise to various surprisingly fierce battles based on somewhat unsatisfactory arguments which appear to boil down to "my assumptions are better than your assumptions". My personal opinion at present, on the grounds of simplicity, is that Schwarzschild's assumption makes a lot more sense than Hilbert's, in which case black holes don't happen, although it's difficult to distinguish an exceedingly dense object which hasn't quite collapsed into a black hole from one which has. Experimental evidence suggests that at least some extremely dense objects involved in quasars have strong intrinsic magnetic fields, which means they cannot be black holes because of what is known as the "no hair" theorem, and this supports Schwarzschild's original assumption.
 
  • #3
Thanks for the very informative reply.

Am I correct in interpreting then that the belief in black holes stems from the assumption that a singularity can occur?

Does the mathematics allows for a piece of space to travel faster than light relative to the center of the black hole? What about the laser emitor what happen to the laser since the pointer is traveling faster than the speed of light attached to the floor of the elevator? It still seems like the principle of equivalence is being violated.

It all seems very ineloquent. Wasn't it Einsein who said God is subtle but not malicious? I think you make a very good argument for your opinion.

Thanks again!
 
  • #4
Sigie said:
Thanks for the very informative reply.

Am I correct in interpreting then that the belief in black holes stems from the assumption that a singularity can occur?

Does the mathematics allows for a piece of space to travel faster than light relative to the center of the black hole? What about the laser emitor what happen to the laser since the pointer is traveling faster than the speed of light attached to the floor of the elevator? It still seems like the principle of equivalence is being violated.

It all seems very ineloquent. Wasn't it Einsein who said God is subtle but not malicious? I think you make a very good argument for your opinion.

Thanks again!

The singularity isn't assumed; it is the assumed range of the radial coordinate which leads to the existence of mathematical singularities and hence to the properties known as a black hole.

The original Schwarzschild solution describes the field around a point mass assumed to be at the origin, and the simple physical assumption that the the mass cannot really be shrunk down to a point means that there are no infinities or singularities involved. Hilbert's version of the solution implicitly assumes that the radial parameter can keep going past Schwarzschild's origin into the "inside out" and imaginary space-time on the other side, and then on until the radial parameter is zero. This leads to expressions which involves dividing by zero, at r=2GM and at r=0. The first of these (at the "event horizon") can be mathematically transformed away using a different coordinate, at least from the point of a falling observer, but the second cannot.

The maths says that from the viewpoint of the falling observer, everything looks normal (apart from increasing tidal forces) until the second singularity is reached. However, there simply isn't any meaningful way to try to describe what is "actually" happening in terms of some external observer, so questions about what it would "look like" from such a viewpoint cannot be answered.

Please note that although most GR experts now agree that Schwarzschild and Hilbert made different assumptions and that the choice of radial coordinate depends on boundary conditions which have to be determined separately, the general assumption at the moment seems to be that Hilbert must have been right and anyone who questions this is labelled as a heretic or crackpot. (To some extent, they might be right: Stephen J Crothers, who has written a lot about this subject, appears to be mathematically right about many aspects, but goes over the top on many arguments and somehow manages to write like a crackpot anyway). I'm still waiting to see a rational argument on the subject.
 
  • #5
Jonathan Scott said:
Note that General Relativity and Einstein's field equations do NOT actually directly predict the existence or otherwise of black holes, contrary to popular opinion. In the solutions of those equations described by the Schwarzschild solution and later extensions such as the Kerr solution for rotating central bodies, the radial coordinate involves a constant of integration which is determined by assumed boundary conditions. Karl Schwarzschild himself derived his solution using a Euclidean radial coordinate, making the assumption that a point mass was located at the origin, but then pointed out that the mathematics for describing the solution could be simplified by using a different radial coordinate, which had a value of 2GM at the physical origin. (See arXiv:physics/9905030 for a translation of Schwarzschild's original paper). When Hilbert later described Schwarzschild's solution, he did it directly in terms of the simplified radial coordinate system, but assumed that the physical origin was where Schwarzschild's modified radial coordinate was zero rather than 2GM.

It is this assumption from Hilbert which gives rise to the possibility of black holes, and for a long time it seems that no-one noticed that any assumption had been made, until Leonard S Abrams dared to point this out in 1989 (arXiv:gr-qc/0102055). Unfortunately, as there doesn't seem to be any obvious way to prove which boundary assumption is better, this has given rise to various surprisingly fierce battles based on somewhat unsatisfactory arguments which appear to boil down to "my assumptions are better than your assumptions".

These ideas have been thoroughly discredited; see

https://www.physicsforums.com/showthread.php?t=141985&highlight=Abrams [Broken]

http://arxiv.org/abs/gr-qc/0608033.
 
Last edited by a moderator:
  • #6
George Jones said:
These ideas have been thoroughly discredited; see

https://www.physicsforums.com/showthread.php?t=141985&highlight=Abrams [Broken]

http://arxiv.org/abs/gr-qc/0608033.

I'm very familiar with the first thread (which I first saw on sci.physics.research); it's certainly very dismissive of the idea, especially "tessel", whose response is one of the fiercest I've ever seen in a scientific forum. However, it does NOT answer the basic obvious question, which I feel is totally reasonable: why do people now assert that the central mass point is at R=0 when it is very clear from Schwarzschild's original paper that he assumed it to be at R=2GM on perfectly reasonable grounds?

The other paper finds fault in ideas by Antoci and others, especially in different interpretation of terminology, but again does not provide a response to that basic point. The arguments from the black hole side seem to effectively say that there is nothing wrong with assuming r=0 is the center, but I don't think that's a very strong justification for doing so.

The usual argument that seems to be used is that Antoci, Crothers and the others have failed to understand the standard theory, and are inaccurate in the use of their terminology, and the arguments always seem to revolve around peripheral points. Even if this were true it is not relevant to the main point.

From my reading of both sides, I'm convinced that Abrams, Antoci and Crothers are doing an important job in pointing out that an arbitrary assumption was initially made, calling attention to the difference between Schwarzschild's original paper and Hilbert's reinterpretation of it. I also agree with them that Schwarzschild's original assumption which does not lead to black holes seems more plausible, and I'd like to believe that simpler idea, but so far I have not found anything in their work which "proves" it, despite grand claims, although I think Crothers has some strong points and I haven't finished working through them for myself. (He tends to be so forceful and apparently arrogant that I feel he is probably likely to be making mistakes the other way, over-stating the evidence against the black hole idea, and I have to check that I understand everything myself before I can believe it). However, I've found no serious attempt from the standard theory side to address the basic point either.

It is very clear that there is an arbitrary constant included in the radial coordinate; Karl Schwarzschild explicitly chooses a value which makes sense given his initial assumption of a point mass at the origin. However, Hilbert makes a different choice, and his initial paper does not give a good reason for doing so, and even seems to assume that it doesn't make any difference. A very strong justification is needed for choosing a value which makes the physics weird. If I'm supposed to believe the extraordinary idea that it is reasonable to assume boundary conditions which cause GR to give rise to black holes, I need to see a good reason why, and so far I've only seen scientists being rude about it.

As far as I can see, with the current theoretical position there simply isn't any theoretical way to distinguish these cases based on GR alone. It either needs a breakthrough in a new level of theory, or experimental evidence to help distinguish these two cases. The experimental evidence that some super-massive "black hole candidates" appear to have significant intrinsic magnetic fields doesn't fit well with the black hole "no hair" theorem, and has already given rise to an alternative idea of Magnetospheric Eternally Collapsing objects (MECOs), which attempt to remain compatible with standard black hole theory by assuming that collapse can be resisted by sufficient radiation pressure.

I may be wrong and there may still be a convincing argument in one direction or the other in the existing literature. If anyone knows of such an argument, I'd be interested to know. If it's not suitable for the forums, please send me a PM.
 
Last edited by a moderator:
  • #7
Jonathan Scott said:
However, it does NOT answer the basic obvious question, which I feel is totally reasonable: why do people now assert that the central mass point is at R=0 when it is very clear from Schwarzschild's original paper that he assumed it to be at R=2GM on perfectly reasonable grounds?

Page 43, footnote 8 of 't Hooft's notes:
http://www.phys.uu.nl/~thooft/lectures/genrel.pdf [Broken]
In his original paper, Karl Schwarzschild replaced r-2M by a new coordinate r that vanishes at the horizon, since he insisted that what he saw as a singularity should be at the origin, claiming that only this way the solution becomes ”eindeutig” (unique), so that you can calculate phenomena such as the perihelion movement (see Chapter 12) unambiguously . He did not know that one may choose the coordinates freely, nor that the singularity is not a true singularity at all. This was 1916. The fact that he was the first to get the analytic form, justifies the name Schwarzschild solution.
 
Last edited by a moderator:
  • #8
atyy said:
Page 43, footnote 8 of 't Hooft's notes:
http://www.phys.uu.nl/~thooft/lectures/genrel.pdf [Broken]
In his original paper, Karl Schwarzschild replaced r-2M by a new coordinate r that vanishes at the horizon, since he insisted that what he saw as a singularity should be at the origin, claiming that only this way the solution becomes ”eindeutig” (unique), so that you can calculate phenomena such as the perihelion movement (see Chapter 12) unambiguously . He did not know that one may choose the coordinates freely, nor that the singularity is not a true singularity at all. This was 1916. The fact that he was the first to get the analytic form, justifies the name Schwarzschild solution.

Thanks for the reference. It's interesting to see another viewpoint on this area.

However, 't Hooft's assertion that "one may choose the coordinates freely" seems overstated; Schwarzschild made a choice that did not give rise to black holes but those who followed made a different specific choice which clearly has different physical consequences. It seems to me that such a choice needs a strong justification. The later conceptual model of spheres of area [itex]4\pi r^2[/itex] which is used to explain Schwarzschild's solution does of course suggest that r looks like a Euclidean radius, but it is clear from Schwarzschild's own original model that this is not necessarily the case.

If you've seen the original paper, the footnote is a bit backwards too. Schwarzschild started his calculations using a radial coordinate which was taken to be the coordinate distance from the origin, then after finding a solution in terms of that radial coordinate and setting the constant of integration accordingly, he points out that the mathematics can be simplified by using a different radial coordinate, which happens to have the value 2GM at the original origin, and that is the coordinate that Hilbert later assumes to be zero at the location of the mass.
 
Last edited by a moderator:
  • #9
Jonathan Scott said:
Thanks for the reference. It's interesting to see another viewpoint on this area.

However, 't Hooft's assertion that "one may choose the coordinates freely" seems overstated; Schwarzschild made a choice that did not give rise to black holes but those who followed made a different specific choice which clearly has different physical consequences. It seems to me that such a choice needs a strong justification.

How about 't Hooft's comment that "the singularity is not a true singularity at all"?

Edit:

Reading through your posts, I think there are two distinct issues:
Q1) Would the existence of black holes be consistent with the Einstein field equations?
Q2) Do black holes actually exist?

't Hooft and most GR texts are discussing only Q1 when talking about the Kuskal-Szekeres extension of the Schwarzschild solution.

They are not commenting on Q2. Nonetheless, in your comments on Q2, you use the no-hair theorems to tentatively exclude certain objects from being black holes. But don't the no-hair theorems themselves answer Q1 affirmatively?
 
Last edited:
  • #10
atyy said:
How about 't Hooft's comment that "the singularity is not a true singularity at all"?

Yes, it's well-known that there is a coordinate transform that will remove the singularity at r=2GM from the point of view of a falling observer, although there is no meaningful way to describe what happens from the point of view of an external observer. The fact that one can "get past" the "event horizon" doesn't necessarily justify adjusting the radial coordinate so that it is no longer the origin.

atyy said:
Reading through your posts, I think there are two distinct issues:
Q1) Would the existence of black holes be consistent with the Einstein field equations?
Q2) Do black holes actually exist?

't Hooft and most GR texts are discussing only Q1 when talking about the Kuskal-Szekeres extension of the Schwarzschild solution.

They are not commenting on Q2. Nonetheless, in your comments on Q2, you use the no-hair theorems to tentatively exclude certain objects from being black holes. But don't the no-hair theorems themselves answer Q1 affirmatively?

On Q1 I'm happy to agree that the existence of black holes appears to be consistent with the Einstein field equations, but I'd also point out that from Karl Schwarzschild's original solution, the non-existence of black holes appears to be equally consistent with the field equations.

The field equations alone do not determine the choice of origin for the radial coordinate, but for some reason most GR texts seem to implicitly assume Hilbert's choice rather than Schwarzschild's, without justifying the choice.

If Schwarzschild was right then we would not even have any theoretical basis for hypothesising the existence of black holes. If Hilbert was right, then the equations would admit black hole solutions but there are still questions about how such solutions could be form given the complications about infinite times. If we therefore observe something which we would expect to be a black hole, but it shows evidence of being non-black (for example by having a strong intrinsic magnetic field, or having strong radio emissions apparently from the central object) this doesn't necessarily prove that Hilbert was wrong, in that there could be some other complex physical effect which isn't yet fully understood which is preventing the collapse (as in the MECO model), or some problem in the current interpretation of the black hole model. However, I feel that if all other things were equal and we had to choose between Schwarzschild's and Hilbert's interpretation, the combination of the simplicity of Schwarzschild's interpretation and the experimental evidence of intrinsic magnetic fields would provide strong support for Schwarzschild's position.

What I really want to know is how GR people justify the assumption that Hilbert's choice of origin (that is, the radial coordinate at which the central mass is located) is better than Schwarzschild's, when it gives such weird results.
 
  • #11
Jonathan Scott said:
On Q1 I'm happy to agree that the existence of black holes appears to be consistent with the Einstein field equations, but I'd also point out that from Karl Schwarzschild's original solution, the non-existence of black holes appears to be equally consistent with the field equations.

I would say that the existence of solutions of the field equations that do not contain true singularities show that the Einstein field equations are consistent with the non-existence of black holes. I also would say that the Kruskal-Szekeres extension of the Schwarzschild solution shows that there is at least one solution of the Einstein field equation that is consistent with the existence of black holes.

Jonathan Scott said:
What I really want to know is how GR people justify the assumption that Hilbert's choice of origin (that is, the radial coordinate at which the central mass is located) is better than Schwarzschild's, when it gives such weird results.

The reason for changing coordinates to "get past" the coordinate singularity is that even in Schwarzschild coordinates, the Riemann tensor at the coordinate singularity shows that there is no true singularity. Since the Riemann tensor indicates that it is the coordinates that are failing and not spacetime itself, we are obliged to change to a workable set of coordinates.

However, we can "match up" the Schwarzschild solution to other solutions, such as the interior of a star, and the Schwarzschild solution can be used to describe the solar system, which is almost certainly not a black hole. So it is not that the Schwarzschild solution must represent a black hole. Rather it is a solution that can be "matched up" in a way that what it describes is a black hole. (Obviously the matching up is done at different places in these two examples.)
 
  • #12
atyy said:
The reason for changing coordinates to "get past" the coordinate singularity is that even in Schwarzschild coordinates, the Riemann tensor at the coordinate singularity shows that there is no true singularity. Since the Riemann tensor indicates that it is the coordinates that are failing and not spacetime itself, we are obliged to change to a workable set of coordinates.

If Schwarzschild is right then the location of the coordinate singularity cannot be reached (because it is the location of the mass, which cannot be infinitely dense), so the question doesn't even arise.

atyy said:
However, we can "match up" the Schwarzschild solution to other solutions, such as the interior of a star, and the Schwarzschild solution can be used to describe the solar system, which is almost certainly not a black hole. So it is not that the Schwarzschild solution must represent a black hole. Rather it is a solution that can be "matched up" in a way that what it describes is a black hole. (Obviously the matching up is done at different places in these two examples.)

Mostly agreed. The specific point is that in the Hilbert interpretation of the Schwarzschild vacuum solution, the assumption is made that the central mass can physically contract so that it is within r<2GM. It is when that happens that we have a black hole. In the original Schwarzschild model, the origin of the central mass is located at r=2GM so the vacuum must end at r>2GM provided that the mass is not of infinite density.
 
  • #13
Sigie said:
Thus, it seems to be that gravity cannot completely close off light's exit cone and thus an event horizon (and a black hole) cannot truly form, no matter how massive an object. I would be very appreciative if someone could explain this paradox to me.

To see how things move over a large piece of spacetime, one calculates the geodesics. Light follows null geodesics, and particles follow time-like geodesics.

I'm not exactly sure of the situation you're describing, but it's not possible to use the equivalence principle over a large piece of spacetime. If spacetime is curved, the equivalence principle holds only over pieces of spacetime small enough to be locally flat. Even light bending by the sun is already a large piece of spacetime, and we cannot properly calculate that using the equivalence principle - the equivalence principle gives only half the bending predicted by General Relativity! (There are actually consistent alternative theories of gravity that incorporate the equivalence principle and therefore predict local bending of light. But in some of these alternative theories, spacetime around the sun is curved such that there is no global bending of light. We chose General Relativity over these other theories because it matched experimental observations.)

http://www.einstein-online.info/en/spotlights/equivalence_deflection/index.html [Broken]
 
Last edited by a moderator:
  • #14
Jonathan Scott said:
Mostly agreed. The specific point is that in the Hilbert interpretation of the Schwarzschild vacuum solution, the assumption is made that the central mass can physically contract so that it is within r<2GM. It is when that happens that we have a black hole. In the original Schwarzschild model, the origin of the central mass is located at r=2GM so the vacuum must end at r>2GM provided that the mass is not of infinite density.

I believe the reason for interpreting the Schwarzschild solution as we currently do is Birkhoff's theorem. It roughly states that any solution of Einstein's field equation for empty space which is spherically symmetric is locally equivalent to part of the maximally extended Schwarzschild solution. Thus if you wish to have the solution describe a spherically symmetric physical system, the centre of the physical system should be at the centre of the Schwarzschild coordinates.

If the current interpretation of the Schwarzschild solution is wrong, then the textbooks are not merely wrong about black holes, they would be wrong about the perihelion precession of Mercury, solar deflection of light, and neutron stars also.
 
  • #15
atyy said:
I believe the reason for interpreting the Schwarzschild solution as we currently do is Birkhoff's theorem. It roughly states that any solution of Einstein's field equation for empty space which is spherically symmetric is locally equivalent to part of the maximally extended Schwarzschild solution. Thus if you wish to have the solution describe a spherically symmetric physical system, the centre of the physical system should be at the centre of the Schwarzschild coordinates.

If the current interpretation of the Schwarzschild solution is wrong, then the textbooks are not merely wrong about black holes, they would be wrong about the perihelion precession of Mercury, solar deflection of light, and neutron stars also.

Sorry, but I'm sure neither of these is correct. The vacuum solution outside the event horizon is unaffected by whether the point mass location is assumed to be "at" the event horizon (as in Schwarzschild's interpretation) or "beneath" it (as in Hilbert's). The primary difference in using the original Schwarzschild interpretation is simply that the range of applicability of the vacuum solution ends outside r=2GM because of the physical constraint that the surface of the central mass lies outside that radial coordinate. The perihelion precession and deflection of light are unaffected by this difference in interpretation. The solution outside neutron stars is also unaffected, but the density profile for the star itself and the boundary conditions for the interior solution are increasingly affected for heavier neutron stars, and obviously for cases where Hilbert's version of the theory would give gravitational collapse, the original Schwarzschild version would not, but would instead give an extremely red-shifted well-defined surface.
 
  • #16
Jonathan Scott said:
Sorry, but I'm sure neither of these is correct. The vacuum solution outside the event horizon is unaffected by whether the point mass location is assumed to be "at" the event horizon (as in Schwarzschild's interpretation) or "beneath" it (as in Hilbert's). The primary difference in using the original Schwarzschild interpretation is simply that the range of applicability of the vacuum solution ends outside r=2GM because of the physical constraint that the surface of the central mass lies outside that radial coordinate. The perihelion precession and deflection of light are unaffected by this difference in interpretation. The solution outside neutron stars is also unaffected, but the density profile for the star itself and the boundary conditions for the interior solution are increasingly affected for heavier neutron stars, and obviously for cases where Hilbert's version of the theory would give gravitational collapse, the original Schwarzschild version would not, but would instead give an extremely red-shifted well-defined surface.

The solution stays the same. But won't the interpretation change?

Let the parameter in the Schwarzschild solution be q.
Let the radial coordinate in the Schwarzschild solution be r.
The Newtonian potential is GM/(distance from centre)

We normally interpret "distance from centre" to be r:
q/r=2GM/r
q=2GM

If we interpret "distance from centre" to be r-q:
q/r=2GM/(r-q)
q(r-q)=2GMr
q2-rq-2GMr=0
q=(r±√(r2-8GMr))/2 :confused:
 
Last edited:
  • #17
atyy said:
The solution stays the same. But won't the interpretation change?

Let the parameter in the Schwarzschild solution be q.
Let the radial coordinate in the Schwarzschild solution be r.
The Newtonian potential is GM/(distance from centre)

We normally interpret "distance from centre" to be r:
q/r=2GM/r
q=2GM

If we interpret "distance from centre" to be r-q:
q/r=2GM/(r-q)
q(r-q)=2GMr
q2-rq-2GMr=0
q=(r±√(r2-8GMr))/2 :confused:

Regardless of the interpretation, within the Schwarzschild solution and Schwarzschild coordinate system, the r value used in GM/r is the Schwarzschild r coordinate, so the interpretation doesn't make any difference to the vacuum solution.

Imagine a map of the system on stretchy material, with local markings showing ruler sizes and clock rates and hence describing the metric. Now make a hole at the origin and stretch it to radius 2GM, shifting the material outwards symmetrically in the radial direction (and stretching the ruler indicators as appropriate). You've distorted the original map, but what it describes is unchanged, except that you've added a hole in the middle. However, if you add the hypothesis that the hole in the map is part of the space available to the central mass, and that it can shrink down into it, which is effectively what Hilbert does, then that does make a physical difference.

(At least that's what I think, but GR experts are welcome to check it out).
 
  • #18
Jonathan Scott said:
Regardless of the interpretation, within the Schwarzschild solution and Schwarzschild coordinate system, the r value used in GM/r is the Schwarzschild r coordinate, so the interpretation doesn't make any difference to the vacuum solution.

Imagine a map of the system on stretchy material, with local markings showing ruler sizes and clock rates and hence describing the metric. Now make a hole at the origin and stretch it to radius 2GM, shifting the material outwards symmetrically in the radial direction (and stretching the ruler indicators as appropriate). You've distorted the original map, but what it describes is unchanged, except that you've added a hole in the middle. However, if you add the hypothesis that the hole in the map is part of the space available to the central mass, and that it can shrink down into it, which is effectively what Hilbert does, then that does make a physical difference.

(At least that's what I think, but GR experts are welcome to check it out).

I guess what I don't understand is not so much the radial distance, but how can the constant of integration q be assigned the meaning 2GM if we don't interpret the usual way?

Edit: We can say without interpretation that the horizon occurs at r=q, but don't we need the usual interpretation to say that the horizon occurs at r=2GM?
 
Last edited:
  • #19
atyy said:
I guess what I don't understand is not so much the radial distance, but how can the constant of integration q be assigned the meaning 2GM if we don't interpret the usual way?

Edit: We can say without interpretation that the horizon occurs at r=q, but don't we need the usual interpretation to say that the horizon occurs at r=2GM?

Have a look at the translation of Karl Schwarzschild's original paper, which is available as arXiv:physics/9905030. He finds a general solution with multiple arbitrary integration constants, then narrows them down. He introduces a new radial coordinate which he calls R that simplifies the mathematics, defined in terms of the original radius r as follows:

[tex]
R = (r^3 + \alpha^3)^{1/3}
[/tex]

It can easily be seen from the above that when [itex]r=0[/itex] this gives [itex]R=\alpha[/itex], and comparison with Newtonian theory produces the identification that [itex]\alpha = 2GM[/itex].

To eliminate the last arbitrary constant, he assumes that the coordinate singularity is to be identified with the origin, and this gives the usual form for the Schwarzschild solution in terms of R (which is now usually written as lower case r).
 
  • #20
Jonathan Scott said:
Have a look at the translation of Karl Schwarzschild's original paper, which is available as arXiv:physics/9905030. He finds a general solution with multiple arbitrary integration constants, then narrows them down. He introduces a new radial coordinate which he calls R that simplifies the mathematics, defined in terms of the original radius r as follows:

[tex]
R = (r^3 + \alpha^3)^{1/3}
[/tex]

It can easily be seen from the above that when [itex]r=0[/itex] this gives [itex]R=\alpha[/itex], and comparison with Newtonian theory produces the identification that [itex]\alpha = 2GM[/itex].

To eliminate the last arbitrary constant, he assumes that the coordinate singularity is to be identified with the origin, and this gives the usual form for the Schwarzschild solution in terms of R (which is now usually written as lower case r).

That seems to be exactly the same as the standard interpretation, where R is the usual Schwarzschild coordinate, α=2GM, valid for R>2GM. It's valid to switch to any new coordinates, but it doesn't change the physics. In the new coordinates R=(r3+(2GM)3)1/3, the region of validity is r>0, apparently the same as before.
 
  • #21
atyy said:
That seems to be exactly the same as the standard interpretation, where R is the usual Schwarzschild coordinate, α=2GM, valid for R>2GM. It's valid to switch to any new coordinates, but it doesn't change the physics. In the new coordinates R=(r3+(2GM)3)1/3, the region of validity is r>0, apparently the same as before.

In terms of this notation (where R is Schwarzschild's simplified radial coordinate and r is his original radial coordinate which was zero at the origin) the standard Schwarzschild metric is expressed in terms of R and Hilbert's assumption is equivalent to assuming that the vacuum solution is valid down to R = 0, that is r = -2GM.
 
  • #22
Jonathan Scott said:
In terms of this notation (where R is Schwarzschild's simplified radial coordinate and r is his original radial coordinate which was zero at the origin) the standard Schwarzschild metric is expressed in terms of R and Hilbert's assumption is equivalent to assuming that the vacuum solution is valid down to R = 0, that is r = -2GM.

Yes, I'm not entirely clear on this. It's standard to note that R is not really "radial distance", but it's also standard to interpret q (where R=q is the coordinate singularity), by doing q/R=2GM/R, so it seems like R=0 is being placed at the centre of the central body.

Perhaps what's happening is that since the interpretation q=2GM is obtained by matching with Newtonian gravity not in the R=0 limit, but the R=infinity limit, the invalid region R<2GM is not used? Time for me to look at a good text ...

Edit: Take a look at Matthias Blau's Lecture Notes on General Relativity, Section 11.5 "Measuring Length and Time in the Schwarzschild metric": http://www.unine.ch/phys/string/Lecturenotes.html [Broken]
 
Last edited by a moderator:
  • #23
atyy said:
Yes, I'm not entirely clear on this. It's standard to note that R is not really "radial distance", but it's also standard to interpret q (where R=q is the coordinate singularity), by doing q/R=2GM/R, so it seems like R=0 is being placed at the centre of the central body.

There are similar expressions involving other radial coordinates (for example Marcel Brillouin's radial coordinate which is simply Schwarzschild's minus 2GM) or isotropic coordinates. These have different origins, illustrating that the apparent origin is an artefact of the coordinate system.

atyy said:
Perhaps what's happening is that since the interpretation q=2GM is obtained by matching with Newtonian gravity not in the R=0 limit, but the R=infinity limit, the invalid region R<2GM is not used? Time for me to look at a good text ...

Edit: Take a look at Matthias Blau's Lecture Notes on General Relativity, Section 11.5 "Measuring Length and Time in the Schwarzschild metric": http://www.unine.ch/phys/string/Lecturenotes.html [Broken]

The match of the integration constant (Schwarzschild's alpha) with Newtonian gravity doesn't say anything about the radial coordinate in itself, and is not sensitive to the difference between the interpretations. Schwarzschild had a separate integration constant (rho) which he assumed should cause the coordinate singularity to match the origin, as by symmetry (given his assumption that the mass point was at the origin) this made total sense. In contrast, Hilbert later just dismissed the need for a further explicit integration constant as unnecessary but then assumes the origin to be at R=0, which is equivalent to making a specific physical assumption that differs from Schwarzschild's. (Unfortunately, Schwarzschild was dead by then so couldn't argue about it).

Those Lecture notes present the usual picture using diagrams where the origin is assumed to be where the simplified R=0, as in Hilbert's interpretation.
 
Last edited by a moderator:
  • #24
Jonathan Scott said:
There are similar expressions involving other radial coordinates (for example Marcel Brillouin's radial coordinate which is simply Schwarzschild's minus 2GM) or isotropic coordinates. These have different origins, illustrating that the apparent origin is an artefact of the coordinate system.

The match of the integration constant (Schwarzschild's alpha) with Newtonian gravity doesn't say anything about the radial coordinate in itself, and is not sensitive to the difference between the interpretations. Schwarzschild had a separate integration constant (rho) which he assumed should cause the coordinate singularity to match the origin, as by symmetry (given his assumption that the mass point was at the origin) this made total sense. In contrast, Hilbert later just dismissed the need for a further explicit integration constant as unnecessary but then assumes the origin to be at R=0, which is equivalent to making a specific physical assumption that differs from Schwarzschild's. (Unfortunately, Schwarzschild was dead by then so couldn't argue about it).

Those Lecture notes present the usual picture using diagrams where the origin is assumed to be where the simplified R=0, as in Hilbert's interpretation.

Yes, I think your point "These have different origins, illustrating that the apparent origin is an artefact of the coordinate system." is key.

So it seems that neither R=0 in the standard interpretation of the Schwarzschild parameter, nor r=0 defined by R=(r3+q3)1/3 in the "alternative interpretation" may be interpreted as the centre of the central body, since neither R nor r are the proper distance. It then seems to me that the usual textbook presentation of how to set the Schwarzschild parameter q=2GM is handwaving, since what really need is a solution that is valid across the whole space we wish to interpret - which would be different depending on whether we are matching up the sun, a neutron star or a black hole - and match in the weak field limit and proper distance (or whatever?) of the full solution.

Edit: Hawking and Ellis (Large-Scale Structure of Spacetime, CUP 1973) distinguish between the total mass M and a different mass Mo, and set the Schwarzschild radius ro=2Mo. They rely heavily on Birkhoff's theorem and the Penrose-Hawking singularity theorem, note that the latter theorem requires not too asymmetric initial conditions, state the General Relativity limit as M/R approximately 2, and discuss the effect of temperature and uncertainties about the ejection of matter. "To summarize, it seems that certainly some, and probably most bodies of mass > ML will eventually collapse within their Schwarzschild radius." [I changed some of their symbols. Bolding by me - I thought only biologists like me used that sort of language. :rofl:]
 
Last edited:
  • #25
atyy said:
Yes, I think your point "These have different origins, illustrating that the apparent origin is an artefact of the coordinate system." is key.

So it seems that neither R=0 in the standard interpretation of the Schwarzschild parameter, nor r=0 defined by R=(r3+q3)1/3 in the "alternative interpretation" may be interpreted as the centre of the central body, since neither R nor r are the proper distance. It then seems to me that the usual textbook presentation of how to set the Schwarzschild parameter q=2GM is handwaving, since what really need is a solution that is valid across the whole space we wish to interpret - which would be different depending on whether we are matching up the sun, a neutron star or a black hole - and match in the weak field limit and proper distance (or whatever?) of the full solution.

The vacuum solution is exact regardless of which coordinate system is used. There is no requirement for the radial coordinate to be identified with any proper distance nor even with the coordinate distance to the central point. The interpretation primarily affects the volume of space available to the interior solution and how it joins on to the vacuum solution.

atyy said:
Edit: Hawking and Ellis (Large-Scale Structure of Spacetime, CUP 1973) distinguish between the total mass M and a different mass Mo, and set the Schwarzschild radius ro=2Mo. They rely heavily on Birkhoff's theorem and the Penrose-Hawking singularity theorem, note that the latter theorem requires not too asymmetric initial conditions, state the General Relativity limit as M/R approximately 2, and discuss the effect of temperature and uncertainties about the ejection of matter. "To summarize, it seems that certainly some, and probably most bodies of mass > ML will eventually collapse within their Schwarzschild radius." [I changed some of their symbols. Bolding by me - I thought only biologists like me used that sort of language. :rofl:]

I'd also expect effects of rotation (described by the Kerr solution) to come into effect in resisting collapse with those assumptions. The magnetospheric eternally collapsing object (MECO) theory assumes that radiation pressure and electromagnetic effects can sometimes resist collapse. However, from the magnitudes of the quantities concerned, I'd agree with Hawking and Ellis that it's difficult to see how gravitational collapse could be avoided (given Hilbert's assumption about the origin).
 
  • #26
On purely General Relativistic terms, the Schwarzschild radial coordinate is clearly in no sense a distance from the centre in either the Schwarzschild solution with Kruskal-Szekeres extension describing a black hole, nor the Schwarzschild solution matched to a solution of the Tolman-Oppenheimer-Volkoff equations describing a star (R<2M is simply never given any meaning).

My main confusion was why M/R can be given a Newtonian interpretation in the relativistic far-field limit. The Hawking and Ellis reference above is the most painstaking about all the different masses and radii, but two other books with useful discussions and warnings about the usual sleights of hand are:

Schutz, A First Course In General Relativity, CUP 1985
Sections 8.4, 10.5

Hobson, Efstathiou, Lasenby. General relativity: An Introduction For Physicists. CUP, 2006
Sections 9.2, 9.8, 12.4
 
Last edited:
  • #27
atyy said:
Edit: Hawking and Ellis (Large-Scale Structure of Spacetime, CUP 1973) distinguish between the total mass M and a different mass Mo, and set the Schwarzschild radius ro=2Mo. They rely heavily on Birkhoff's theorem and the Penrose-Hawking singularity theorem, note that the latter theorem requires not too asymmetric initial conditions, state the General Relativity limit as M/R approximately 2, and discuss the effect of temperature and uncertainties about the ejection of matter. "To summarize, it seems that certainly some, and probably most bodies of mass > ML will eventually collapse within their Schwarzschild radius." [I changed some of their symbols. Bolding by me - I thought only biologists like me used that sort of language. :rofl:]
They are not talking about the Schwarzschild solution, which is a vacuum solution, but instead they are talking about matter and the conditions under which it is likely for it to collapse into a black hole.
 
  • #28
MeJennifer said:
They are not talking about the Schwarzschild solution, which is a vacuum solution, but instead they are talking about matter and the conditions under which it is likely for it to collapse into a black hole.

True, but the vacuum solution sets the limits. Assuming the Hilbert interpretation of the radius, a mass which is compressed down to around its Schwarzschild radius will become a black hole regardless of its structure, and the only other consideration is whether there is some conceivable mechanism by which the matter could resist being compressed by a field of that strength. This is not normally thought to be possible, although the MECO theory hypothesises that spinning fast enough combined with an intensive enough magnetic field could supply enough pressure.

I'm hoping that current lines of experimentation which are attempting to distinguish between neutron stars and small black holes may come up with some more interesting evidence some time soon. The presence of Type I X-ray bursts (assumed to be caused by material falling on the surface of a neutron star) confirms a neutron star, but the absence doesn't necessarily confirm a black hole, as there could be other explanations. Various other types of observations are being made, including studying fluctuations (quasi-periodic oscillations) that could have various possible causes, but I get the impression that so far it is proving difficult to see any clear-cut distinction which provides strong evidence of a different type of object for black holes, although progress is being made.

There does however seem to me to be a risk that if black hole theory is incorrect or inaccurate, as seems likely to me, there may still be some sort of threshold observable in the results for some other reason (for example because of a change in the phase of the neutron star material above some critical density, or an energy threshold being reached for a different thermonuclear reactions which produces something else instead of X-rays) and the weight of the theory would influence the interpretation of the results so this threshold change would then be taken to be a specific marker for black holes.

On the other hand, it could be that any day now someone will observe something that would turn out to be equivalent to Type I X-ray bursts from an object of 4 or more solar masses, which would have interesting repercussions for black hole theory.
 
Last edited:
  • #29
I've only just noticed that the Magnetospheric Eternally Collapsing Object (MECO) alternative to black holes is apparently in at least one form based on the assumption that Schwarzschild's original interpretation was correct. Abhas Mitra has published a number of papers about these alternative interpretations, and claims that the Kerr solution can be shown to be inconsistent for any non-zero mass, which he claims proves that black hole theory is incorrect and Schwarzschild's original interpretation was correct.

Even though he has published in peer-reviewed journals, the reactions to the mention of Abhas Mitra's name on previous newsgroups and forums has produced just as fierce reactions as those of Leonard S Abrams, Salvatore Antoci and Stephen J Crothers (although in my personal opinion, Stephen Crothers is too confrontational and finds fault with so many things that even though his mathematics is excellent, it's difficult to have very much confidence in anything he says).

At least Abhas Mitra has the right approach, in that he has not only highlighted that the physics depends on the interpretation of the radial coordinate (and like everyone else commented that the original interpretation makes more sense), but has attempted to actually prove it, although there seems to be considerable doubt about his method.

What I would still like to have seen is some specific rationale from those who support the black hole theory to say on what grounds they justify making that specific choice about the radial coordinate. This may eventually be resolved one way or another by experiment, but if the experiments are generally interpreted using black hole theory that might take a while. At least the primary alternative theory is well-defined; it is simply Schwarzschild's original assumption that the physical origin where the mass point is located is at r=2GM, which is now usually assumed to be the event horizon.
 
  • #30
Dear Mr. Scott,

Here is a lucid article: www.sjcrothers.plasmaresources.com/article-1-1.pdf

Schwarzschild did not introduce the term 2Gm into his solution. That was done arbitrarily by the proponents of black holes.

In a very real sense, the proponents of the black hole have removed the wrong singularity. Their infinitely dense point-mass "singularity" is easily removed as follows: in Hilbert's corruption (the "Schwarzschild solution") of Schwarzschild's solution, replace 'r' therein with the following:

(|r - ro|^n + a^n)^(1/n) eq.(1)

where r is an arbitrary real number and n an arbitrary positive real number and 'a' a constant. Then there is only ONE singularity, at the arbitrary ro. If you choose n = 3, ro = 0, r > ro, then you get Schwarzschild's real solution. If you choose n = 1, ro = 0, r > ro, then you get Brillouin's solution. If you choose n = 1, ro = a, r > ro, then you get Droste's solution. Droste's solution is the correct form of Hilbert's corruption. Eq.(1) shows that these solutions are particular solutions, members of an infinite set of equivalent solutions, which is required by General Relativity, as Eddington noted. Eq.(1) amplifies just were the proponents of the black hole have erred geometrically. Note that in eq.(1), 'a' is given the value a = 2m by the proponents of the black hole, quite arbitrarily, to manufacture a "Newtonian approximation" and to get mass into the result (as the article cited above reveals).
 
  • #31
atyy said:
Yes, I'm not entirely clear on this. It's standard to note that R is not really "radial distance", but it's also standard to interpret q (where R=q is the coordinate singularity), by doing q/R=2GM/R, so it seems like R=0 is being placed at the centre of the central body.

Perhaps what's happening is that since the interpretation q=2GM is obtained by matching with Newtonian gravity not in the R=0 limit, but the R=infinity limit, the invalid region R<2GM is not used? Time for me to look at a good text ...

Edit: Take a look at Matthias Blau's Lecture Notes on General Relativity, Section 11.5 "Measuring Length and Time in the Schwarzschild metric": http://www.unine.ch/phys/string/Lecturenotes.html [Broken]

Dear atyy,

The quantity 'r' or 'R' etc. has a definite geometric meaning. However, it has never been correctly identified by the proponents of the black hole. Consequently, they have never treated it correctly, and have committed fatal mathematical errors. In the line elements subject of this discussion, the quantity 'r', called radial distance or not radial distance or some other vague name or notion, is in fact the inverse square root of the Gaussian curvature of a spherically symmetric geodesic surface in the spatial section of the spacetime manifold. This is easily proved, but completely overlooked by the proponents of black holes.

Concerning q = 2GM you are right - it is inadmissible. It is a post hoc insertion of a Newtonian relation in order to claim a Newtonian approximation - a circular argument, and therefore false. Moreover, Newton's potential function implicitly involves two masses, whereas the empty spacetime associated with the "Schwarzschild solution" excludes such masses by construction. Newton's potential function is therefore incompatible with empty spacetimes such as the Schwarzschild spacetime.

A lucid explanation of the salient facts, using nothing more than the most elementary high school algebra, can be had here:

www.sjcrothers.plasmaresources.com/article-1-1.pdf
 
Last edited by a moderator:
  • #33
The usual claim that the Riemann tensor scalar curvature invariant must be unbounded at some point in the spacetime of Einstein’s gravitational field is spurious.

First, the said scalar curvature invariant is a consequence of a geometry: it does not determine a geometry.

Second, a geometry is fully determined by the form of its line-element (its metric tensor), and the said scalar curvature is determined from the components of the metric tensor.

Third, Einstein’s General Theory of Relativity says nothing about any conditions that the said scalar curvature invariant must satisfy. The proponents of the black hole have never offered a proof that Einstein’s field equations require that the said scalar curvature invariant be unbounded at some point in the associated manifold. They just assume that it is so and then concoct ways to make it so, in violation of the intrinsic geometry of the line-element. M. Kruskal made the very same incorrect assumption in his paper on Kruskal coordinates.

Fourth, requiring that the said scalar curvature invariant have, in a non-Euclidean geometry, the same features that it has in a Euclidean geometry, is an arbitrary imposition that has no valid basis in geometry. The indefinite line-element associated with Einstein’s non-Euclidean (pseudo-Riemannian) geometry causes geometric forms that have no counterparts in Euclidean geometry. For example, null vectors, which are non-zero vectors that have zero magnitude, or equivalently, non-zero vectors that are orthogonal to themselves (e.g. the wave 4-vector of Special Relativity). In the case of a Schwarzschild space it is an inevitable consequence of the form of the line-element (i.e. an intrinsic property of the geometry) that any point in the spatial section of the manifold has the unusual property that it has a zero radius, a zero volume, but a non-zero surface area.

It is also noteworthy that satisfaction of the field equations is a necessary but insufficient condition for a description of Einstein’s gravitational field. For example, one can generate an infinite number of solutions that satisfy Rij = 0 (i,j = 0,1,2,3), but they do not satisfy the boundary conditions required by Einstein (e.g. asymptotically Minkowski).
 
  • #34
George Jones said:
These ideas have been thoroughly discredited; see

https://www.physicsforums.com/showthread.php?t=141985&highlight=Abrams [Broken]

http://arxiv.org/abs/gr-qc/0608033.

The threads you link to do not answer the questions involved. They merely regurgitate the usual demonstrably false arguments. Authority is no substitute for thought. The facts do not support the authorities you cite.
 
Last edited by a moderator:
  • #35
atyy said:
Wow! That paper substantiates George Jones's point in post #5 much better than the links he provided: https://www.physicsforums.com/showthread.php?p=1884115&highlight=event+horizon#post1884115.

As I had already mentioned in this thread, Stephen J Crothers (who presumably either owns or is connected with the user name noblackhole) is so ready to find fault with so many things that this makes it very difficult to accept anything he says. If I hadn't already agreed with one of the things he said, I'd probably have dismissed him immediately as a crackpot.

For the original point about the Schwarzschild radial coordinate, he makes some very useful mathematical contributions, and I've found his generalization of the radial coordinate very interesting. However, he also claims to find fault with many other aspects of GR and makes some blanket statements which seem very silly to me (for example that SR "doesn't allow infinite energy density"). Although there may be some truth somewhere in these other statements, his readiness to find fault means that I will not be able to accept them unless I can absolutely follow all the logic (especially the hidden assumptions) and prove them to my own satisfaction.

I will however commend him on being open to at least some suggestions, in that he previously insisted on rewriting the term "Euclidean" using a different spelling based on a phonetic spelling of how the equivalent name would be pronounced in modern Greek, but in this latest paper he is now using the traditional spelling.

It is of course very difficult to argue rationally against the establishment position without sounding like a crackpot, but I think that even if Stephen Crothers is right he is going to have a hard time persuading the people that matter with his confrontational approach.
 

Similar threads

  • Special and General Relativity
2
Replies
35
Views
776
  • Special and General Relativity
Replies
21
Views
2K
  • Special and General Relativity
Replies
11
Views
638
  • Special and General Relativity
Replies
8
Views
886
Replies
35
Views
1K
  • Special and General Relativity
Replies
29
Views
2K
  • Special and General Relativity
Replies
7
Views
1K
  • Special and General Relativity
Replies
3
Views
1K
  • Special and General Relativity
Replies
15
Views
1K
  • Special and General Relativity
2
Replies
57
Views
1K
Back
Top