I Is the Schwarzchild Radius Relativistic or Newtonian?

[A.T.]

Sure they do. "Physical distance from the center" isn't just an abstraction; it implies a certain measurement method.

But it doesn't imply one unique measurement method in the context of Euclidean geometry.

 

[PeterDonis]

it doesn't imply one unique measurement method in the context of Euclidean geometry

Yes, it does. You extend rulers from the center to the point of interest. The fact that doing this gives the same numerical answer as measuring the area of a 2-sphere, dividing by $4 \pi$, and taking the square root, does not mean the physical distance from the center is defined to be measured that way. A theorem is not the same as a definition.

 

[A.T.]

You extend rulers from the center to the point of interest. The fact that doing this gives the same numerical answer as measuring the area of a 2-sphere, dividing by $4 \pi$, and taking the square root, does not mean the physical distance from the center is defined to be measured that way.

Again, the definitions don't mention any specific measuring methods. You claim they "imply" one method, but admit there are multiple methods that would give the same answer (assuming Euclidean geometry). With multiple equivalent possibilities I don't see the implication of one method.

 

[PeterDonis]

You claim they "imply" one method

If you honestly think that the words "physical distance from the center" imply measurement by the method of "measure the area of a 2-sphere, divide by $4 \pi$, then take the square root" instead of "lay rulers end to end from the center to the point of interest", then we are speaking different languages and there is really no point in further discussion. I don't see how the theorem that, given Euclidean geometry, the two methods give the same answer means that they are the same method or that the words that plainly (to me) describe one method can be taken to describe the other.

 

[PeterDonis]

You claim they "imply" one method, but admit there are multiple methods that would give the same answer (assuming Euclidean geometry).

Newtonian physics "assumed" Euclidean geometry as a model. If you conflate the two different measurement methods, you are eliminating the possibility of testing the model by actual measurements.

 

[Dale]

If you extend the black hole case out to its nearest analogy, the birth of the universe,

This is not a good analogy. The Schwarzschild spacetime is a vacuum spacetime, but the FLRW spacetime is not. Also, the FLRW metric is homogenous while Schwarzschild is not. Also, Schwarzschild is static but FLRW is not. And Schwarzschild is asymptotically flat and FLRW is not. The analogy is really bad.

 

[Dale]

I would not put it this way. I would put it that GR predicts that the physical distance from the center is not the same as the square root of the area divided by 4π. This is a coordinate-independent fact.

Yes, I like that way better.

 

[bbbl67]

This is not a good analogy. The Schwarzschild spacetime is a vacuum spacetime, but the FLRW spacetime is not. Also, the FLRW metric is homogenous while Schwarzschild is not. Also, Schwarzschild is static but FLRW is not. And Schwarzschild is asymptotically flat and FLRW is not. The analogy is really bad.

How do we know the inside of a black hole is a vacuum? How do we know the inside of a black hole is static?

 

[Matterwave]

How do we know the inside of a black hole is a vacuum? How do we know the inside of a black hole is static?

Note that Dale is talking about the Schwarzschild spacetime - which is a mathematical model (the one from which the concept of "black holes" arose) - and not physical black holes. The Schwarzschild spacetime is built upon the static and vacuum assumptions - it is everywhere static and everywhere a vacuum. The interior of the "black hole" in Schwarzschild spacetime is by definition vacuum and static.

A physical black hole need not necessarily have a vacuum and static interior. A Kerr black hole for example is not static (it is - however - stationary). The interior of the black hole can't be material in (hydrostatic) equilibrium because all world lines for all physical particles must reach the singularity in finite proper time - but there could be material inside a "black hole" that's just on its way towards the singularity. I guess in that case it wouldn't be technically a "vacuum" inside there.

 

[PeterDonis]

How do we know the inside of a black hole is a vacuum?

Because it is impossible for it not to be (except for the small scattered regions of spacetime occupied by matter that falls in).

How do we know the inside of a black hole is static?

The interior of a black hole is not static. That's why it has to be (almost all) vacuum: because matter that falls in can't just stay in place--it has to keep falling until it hits the singularity.

 

[PeterDonis]

A Kerr black hole for example is not static (it is - however - stationary).

The exterior (outside the horizon) of Kerr spacetime is stationary. The interior (inside the horizon) is not. (Nor is the interior of Schwarzschild spacetime.)

The interior of the black hole can't be material in (hydrostatic) equilibrium because all world lines for all physical particles must reach the singularity in finite proper time

"All worldlines must hit the singularity in finite proper time" is only true for Schwarzschild spacetime. It is not true for Kerr spacetime; there are worldlines in maximally extended Kerr spacetime that never hit the singularity at all (they eventually emerge into another stationary exterior region that is disconnected from the original one that the material fell in from). Also, Kerr spacetime, unlike Schwarzschild spacetime, has an inner Cauchy horizon that makes any kind of extrapolation beyond it problematic. And also again, the interior regions of both Schwarzschild and Kerr spacetime are unstable against small perturbations, which means they probably don't actually describe the interiors of physically realistic black holes, at least not well inside the horizon. (Look up "BKL singularity" for an example of a more realistic possibility.)

None of this changes the key points for this discussion: black hole interiors are not static, and they must be almost all vacuum because material falling in doesn't stay in place.

 

[Matterwave]

The exterior (outside the horizon) of Kerr spacetime is stationary. The interior (inside the horizon) is not. (Nor is the interior of Schwarzschild spacetime.)

There is no time-like killing field for the interior of a Schwarzschild space time? Somehow this point has been glossed over in my readings on the subject. I assumed that since the "static" and "vacuum" assumptions are built into finding the Schwarzschild solution itself, that it would be valid everywhere. My mistake.

 

[Dale]

How do we know the inside of a black hole is a vacuum? How do we know the inside of a black hole is static?

We don’t have to go inside a black hole. The analogy fails well outside of the horizon, where we have plenty of experimental evidence.

If you still think it is a valid analogy despite the contradictions indicated above then it is up to you to provide some support for your claim.

 

[PeterDonis]

There is no time-like killing field for the interior of a Schwarzschild space time?

No, there is not. Only in the exterior. Inside the horizon, the Killing field is still there, but it's spacelike, not timelike. (On the horizon, it's null; the horizon is actually generated by the null integral curves of the Killing field at $r = 2M$.)

I assumed that since the "static" and "vacuum" assumptions are built into finding the Schwarzschild solution itself, that it would be valid everywhere.

As it happens, I wrote an Insights article a while back about the derivation of Birkhoff's theorem which discusses this.

https://www.physicsforums.com/insights/short-proof-birkhoffs-theorem/

The key is that "static" is not an assumption; it's a result of the derivation, but the result isn't actually "static" (though it's often misstated that way, even in textbooks, unfortunately), it's "there's a fourth Killing field in addition to the three that are there because of spherical symmetry". The theorem does not prove, or require, that the fourth Killing field is timelike everywhere. And indeed, you can see from the line element that it is only timelike for $r > 2M$; it's null at $r = 2M$ and spacelike for $r < 2M$.

 

[Matterwave]

No, there is not. Only in the exterior. Inside the horizon, the Killing field is still there, but it's spacelike, not timelike. (On the horizon, it's null; the horizon is actually generated by the null integral curves of the Killing field at $r = 2M$.)
As it happens, I wrote an Insights article a while back about the derivation of Birkhoff's theorem which discusses this.

https://www.physicsforums.com/insights/short-proof-birkhoffs-theorem/

The key is that "static" is not an assumption; it's a result of the derivation, but the result isn't actually "static" (though it's often misstated that way, even in textbooks, unfortunately), it's "there's a fourth Killing field in addition to the three that are there because of spherical symmetry". The theorem does not prove, or require, that the fourth Killing field is timelike everywhere. And indeed, you can see from the line element that it is only timelike for $r > 2M$; it's null at $r = 2M$ and spacelike for $r < 2M$.

Thanks for this! I will read it when I get the time.

 

[PAllen]

There is no time-like killing field for the interior of a Schwarzschild space time? Somehow this point has been glossed over in my readings on the subject. I assumed that since the "static" and "vacuum" assumptions are built into finding the Schwarzschild solution itself, that it would be valid everywhere. My mistake.

Precise statement is that vacuum plus spherical symmetry imply an additional killing vector field besides those for spherical symmetry. Outside the horizon, it is timelike. Inside it is spacelike, and may be considered axial. If you allow nonanalytic manifolds, there are many different topologies than Kruskal that are possible. I believe some have no timelike killing vector field at all. I will try to dig up a paper I’ve linked in the past that explores this.

Addendum: I found the papers:

https://arxiv.org/abs/0908.4110
https://arxiv.org/abs/0910.5194

See top of page 6 of second paper which gives vacuum spherically symmetric manifolds that are nowhere static, nor are they asymptotically flat. They are also not extensible, thus not a cheat by just chopping a manifold at some boundary, e.g. a piece of the interior.

 

[bbbl67]

We don’t have to go inside a black hole. The analogy fails well outside of the horizon, where we have plenty of experimental evidence.

If you still think it is a valid analogy despite the contradictions indicated above then it is up to you to provide some support for your claim.

What experimental evidence is that?

This paper, by Carlo Rovelli & Marios Christodoulou, shows that the inside of a black hole is bigger than the outside, if you use certain coordinate systems! The volume grows bigger with time, and even with a stellar mass black hole, the interior volume can become bigger than the current observable universe. This sounds pretty much like a universe to me (also sounds like a Tardis)!

Paper: [1411.2854] How big is a black hole?

 

[Dale]

This paper, by Carlo Rovelli & Marios Christodoulou, shows that the inside of a black hole is bigger than the outside, if you use certain coordinate systems! The volume grows bigger with time, and even with a stellar mass black hole, the interior volume can become bigger than the current observable universe.

First, to use your own words, how do you know the inside of a black hole is bigger than the outside? Second, how is that any kind of analogy with the universe since the Big Bang (FLRW) universe has no outside? Third, that does not address the vacuum objection. Fourth, that does not address the homogeneity objection. Fifth, that does not address the asymptotic flatness objection.

Note that at no point in that paper does Rovelli make any claim that a Schwarzschild spacetime is analogous to a FLRW spacetime, as you did. While being interesting, the paper does not support your specific objectionable claim.

Regarding the evidence that we have outside of the EH you can consider all of the solar system tests of the PPN that show the PPN parameters match those of GR. All of the solar system tests are based on the Schwarzschild spacetime.

 

[martinbn]

Just a pedantic comment about Schwartschild being static. To show that the interior is not even stationary one needs to prove that there aren't any timelike Killing fields there. The fact that the Killing field that is timelike outside becomes spacelike inside, by itself is not enough, there still could be another timelike Killing field there. Of course that is not true, but it needs to be shown.

 

[PeterDonis]

To show that the interior is not even stationary one needs to prove that there aren't any timelike Killing fields there. The fact that the Killing field that is timelike outside becomes spacelike inside, by itself is not enough, there still could be another timelike Killing field there.

No, there couldn't, because the metric inside is still Schwarzschild (by Birkhoff's theorem), and we already know Schwarzschild has no other Killing fields.

 

[martinbn]

No, there couldn't, because the metric inside is still Schwarzschild (by Birkhoff's theorem), and we already know Schwarzschild has no other Killing fields.

Of course, may be I wasn't clear. My remark simply says that to say $\partial_t$ becomes spacelike int the interior is not enough, one needs to show that no other Killing field is timelike there. What you say is a perfectly good proof why there aren't any other.

 

[bbbl67]

Just a pedantic comment about Schwartschild being static. To show that the interior is not even stationary one needs to prove that there aren't any timelike Killing fields there. The fact that the Killing field that is timelike outside becomes spacelike inside, by itself is not enough, there still could be another timelike Killing field there. Of course that is not true, but it needs to be shown.

What exactly is a Killing Field?

 

[Nugatory]

What exactly is a Killing Field?

Google will be your friend - if you add the words "general relativity" to your search for "killing field".

 

[stevendaryl]

What exactly is a Killing Field?

It's a gruesome phrase, isn't it? It sounds like it should mean some valley where a mass murder took place.

 

[bbbl67]

It's a gruesome phrase, isn't it? It sounds like it should mean some valley where a mass murder took place.

Yeah, that's what I was thinking, that it was some place where mathematical parameters stop working or something, like an upper limit. But it's just named after a guy named Killing. So reading the Wikipedia article about Killing vector fields does me absolutely no good in understanding it. So how exactly does it apply to General Relativity?

 

[Ibix]

What exactly is a Killing Field?

A vector field that satisfies Killing's equation. A Killing vector defines a direction in which spacetime looks the same. For example, if a spacetime is rotationally symmetric, there's a Killing vector field whose vectors point in the tangential direction.

A timelike Killing field defines a direction in which you can travel so that space is the same. It means that one can have a notion of time such that space isn't changing with time. There is a timelike Killing vector field outside a black hole, and sure enough you can hover at constant altitude and nothing changes. There isn't one inside the horizon, which is because all paths lead to the singularity in finite time, so their notion of space must have a changing "shape".