Austin0 said:
No question of the validity of your logic. Although I am not quite sure of exactly what it is that you think I need to be convinced of or what you think I am already convinced of, as so far I am not sure of anything.
I originally tried to keep the question purely kinematic but I think JesseM is right as far as it inevitably broadens to include Born acceleration etc.
Ok, let me lay things out more explicitly. I think that both you and JesseM have been conflating two different questions:
(Q1) If you have specified a particular set of events in a particular spacetime, and you know the coordinates of those events in one reference frame, what can you say about the coordinates of those same events in another reference frame?
(Q2) If you have a physical scenario in mind, how can you translate that scenario into a particular set of events in a particular spacetime, and how does that translation depend on the particular physical assumptions you make?
In your original problem specification, as I understand it, you make a set of assumptions that were sufficient to pin down a particular set of events in a particular spacetime. Given that, the question of how those events appear to different observers in relative motion only involves Q1, and is therefore a purely kinematic one (or maybe "geometric" would be a better word). That is, if you have a particular set of events with coordinates in one frame, it's a simple matter of mathematics--applying the equations of relativity--to calculate how those events will appear in any other frame. It does *not* depend on what physical assumptions you make.
(If you have *not* yet made enough assumptions that are sufficient to pin down a particular set of events, then of course the physical assumptions you make *can* affect which particular events you end up specifying; that's where Q2 comes in, and where Born rigidity, etc., can make a difference. But once you've specified a particular set of events, if you then make a physical assumption that would lead to a different set of events, you've made an inconsistent specification of the problem. I'll give an example later on.)
Let me lay out explicitly the set of assumptions I take you to have made in your original problem specification:
Let there be a family of space stations, with the following properties: they are all in inertial motion (i.e., they feel no acceleration), they are all at rest relative to each other, and each adjacent pair is separated by a spatial distance S in the common rest frame of all the stations, which we'll call the "station frame".
Let there be two rocket ships, the rear ship R and the front ship F (I will also use those letters to refer to the observers inside the ships). At time t = 0 in the station frame, R is next to station #1 and F is next to station #2. At time t = 0 in the station frame, both R and F turn on their rocket engines and start accelerating. It is stipulated (this is the key physical assumption) that the proper acceleration is the same for R and F: that is, they both feel the same acceleration (if accelerometers are mounted in both ships, they both give the same reading). R and F continue to accelerate at least until R has passed station #99 and F has passed station #100.
The above is sufficient to pick out a particular set of events in a particular spacetime. The spacetime is simply flat Minkowski spacetime, and the "station frame" is simply a global inertial frame using standard Minkowski coordinates t, x. The particular events are as follows:
Event R1: The event at which R, next to station #1, turns on his rocket engines and starts accelerating.
Event F2: The event at which F, next to station #2, turns on his rocket engines and starts accelerating.
Event R99: The event at which R passes station #99.
Event F100: The event at which F passes station #100.
What I mean by a "particular set of events" is not just that we can *define* the above events (of course we can always do that), but that the coordinates of all four of the above events, in the station frame, are *fixed* by the above specifications. That is, we have picked out four specific individual points in Minkowski spacetime. (If it helps, imagine that we have a big spacetime diagram on the wall, using the coordinates of the station frame; the above specifications are sufficient to let us take four push pins and pin them at four specific points on that diagram.)
Next, we know that the following propositions concerning the above events are true:
(P1) In the station frame, the spatial separation, in the station frame, between R1 and F2 is S.
(P2) In the station frame, R1 and F2 are simultaneous (i.e., they both happen at the same time, t = 0).
(P3) R and F both experience the same proper acceleration between R1-R99 and F2-F100, respectively.
(P4) Given P1 and P3, the spatial separation, in the station frame, between R99 and F100 is S.
(P5) Given P2 and P3, in the station frame, R99 and F100 are simultaneous (i.e., they both happen at the same time, which we'll call t = T).
However, we can also show, using just the above and the equations of relativity (in this case, the Lorentz transformation and the relativistic rocket equations), that the following propositions are true:
(P6) At R99, R is moving relative to the station frame.
(P7) At F100, F is moving relative to the station frame.
(P8) Given P4, P5, P6, and the relativity of simultaneity, R99 and F100 are *not* simultaneous in R's frame.
(P9) Given P4, P5, P7, and the relativity of simultaneity, R99 and F100 are *not* simultaneous in F's frame.
(P10) Given P4, P5, P7, P8, and P9, the question, "what is the spatial separation between events R99 and F100" in either R's frame or F's frame, has no meaning; the events are not simultaneous.
(P11) Given the above, if we want to ask the question, "when R passes station #99, how far in front of it is F?", we have to pick out that event on F's worldline that *is* simultaneous with R99. That event will be somewhere *further* along F's worldline than F100 (i.e., F will reach it *after* it passes station #100, by its own clock--and also by the station frame's clock). Therefore, R will conclude that, when he passes station #99, F has *already* passed station #100. In other words, F is "pulling away" from R, from R's point of view.
(P12) Given the above, if we want to ask the question, "when F passes station #100, how far behind it is R?", we have to pick out that event on R's worldline that *is* simultaneous with F100. That event will be somewhere *before* R99 on R's worldline (i.e., R will reach it *before* it reaches R99, by its own clock--and also by the station frame's clock). Therefore, F will conclude that, when he passes station #100, R has *not yet* passed station #99. In other words, R is "falling behind" F, from F's point of view.
You will have noticed that I did not use the term "ship frame" above. That is because there is no one single "ship frame" that you can use at both R99 and F100--you have to specify which ship. This may be confusing because, at R1 and F2, you *can* specify a single "ship frame" that you can use at those two different events--this is, of course, the station frame, since both ships are (momentarily) at rest relative to the station frame at those events. But because the ships are accelerating, their two frames "separate" after events R1 and F2. If that seems counterintuitive, well, welcome to the world of accelerating observers.
You may already understand and agree with all the above--I suspect you do. But now suppose we consider the following:
What if we *specify*, in addition to all the above, that the spatial separation between the two ships remains constant "in the ship frame"? (For example, I might assume that the two ships undergo "Born acceleration" relative to each other.)
Let's try to construct the scenario along those lines. That will be no problem for three of our four events: R1, F2, and either R99 or F100. I'll pick R99 for concreteness. In other words, I know that I can add the stipulation that the spatial separation between the two ships remains constant as seen by the ships, without any contradiction with the coordinates I have already found for events R1, F2, and R99.
The problem comes with F100, because, by P10, it simply makes no sense to ask what the "spatial separation" is, in the "ship frame" (of either ship), between events R99 and F100, because those events are not simultaneous in the "ship frame" (of either ship). In other words:
in order to meet the specification that the spatial separation between the ships remains constant, as seen by the ships, I must pick out a *different* event F100 than the one that is picked out by the assumption that both ships experience equal proper acceleration.
This means that there is simply no way to construct a single consistent scenario that has *both* of the following properties:
* Both ships, R and F, experience equal proper acceleration.
* The spatial separation between the two ships remains constant *as seen by observers on both ships*.
It's geometrically impossible. It's like asking for a plane figure that has both diagonals equal but has two opposite sides not parallel. It can't be done. (In the analogy I gave above, I simply can't put a single push pin in my map of Minkowski spacetime for event F100 that will satisfy both properties.) It doesn't matter what other physical assumptions you make; it doesn't matter what the ships are made of, or how they respond to the stresses of acceleration, or whatever. It's simply a question of geometry.
So in order to discuss anything else about the physics of situations like these, you have to first make a choice. Which of these two physical assumptions do you want to satisfy?
* Do you want both ships to experience equal proper acceleration?
* Or do you want both ships to remain at a constant spatial separation, as seen by the ships?
You *can't* satisfy both. Which one you pick will determine what specific scenario you're talking about, and until you do that, it's hard to have a discussion because you may be talking about different scenarios.
(NOTE: There is one other physical assumption you may have noticed. I kept specifying "Minkowski spacetime". But that was already specified when you said there was a family of space stations with the properties given above (inertial motion, all at rest relative to each other, constant spatial separation between adjacent stations), because only in flat Minkowski spacetime can there exist a family of inertial observers with those properties. In fact, specifying that there are such a family of observers is one way of saying what it means for a spacetime to be flat, Minkowski spacetime.
That may make you wonder whether we could find some other spacetime (perhaps some wacky curved spacetime from General Relativity) in which we *could* construct a single consistent scenario that satisfied both of the above physical assumptions. Unfortunately, I think the answer is still no, at least not if you accept the Einstein field equation of GR. I believe there is actually a theorem in GR that shows this, but I can't remember the reference; if I find it I'll post info about it here.)