cfrogue said:
OK, I think this is really the issue.
In my mind, I take this to be not logically decidable using this path you give. Yet, the problem must have a solution.
Well, it is decidable, if you make use of the way different frames define simultaneity according to the Lorentz transformation. To state the rule in a very general way, suppose we have some event E1 which occurs at x1,t1 in frame A, and some inertial observer O who is moving at speed v in this frame, and who at time t1 is at position x1+d (so if we define event E2 to have coordinates x1+d,t1, then this is an event on O's wordline which is simultaneous in frame A with E1), so the function for his worldline in frame A must be x(t) = v*t - v*t1 + x1 + d. If an observer O has velocity v in frame A, then a trick to know is that according to the Lorentz transformation a line of simultaneity in O's frame will look like an FTL worldline with velocity (c^2/v) when represented in A's frame, so a line of simultaneity in O's frame that crosses through event E1 would be given in A's frame by x(t) = (c^2/v)*t - (c^2/v)*t1 + x1. That means that O's line of simultaneity crossing through E1 would cross O's own worldline when v*t - v*t1 + x1 + d = (c^2/v)*t - (c^2/v)*t1 + x1, so solving this for t gives t = [-(c^2/v)*t1 + x1 + v*t1 - x1 - d]/[v - (c^2/v)] = t1 - d/[v - (c^2/v)] = t1 + d*v/(c^2 - v^2). Then you can plug that value for time into the original equation for O's worldline to get x = v*t1 + d*v^2/(c^2 - v^2) - v*t1 + x1 + d = x1 + d*(1 + [v^2/(c^2 - v^2)]) = x1 + d*c^2/(c^2 - v^2). That means if you define a new event E3 to have position coordinate x = x1 + d*c^2/(c^2 - v^2) and time coordinate t = t1 + d*v/(c^2 - v^2), then E3 is simultaneous with E1 in O's rest frame, and lies along O's worldline. You can verify this using the Lorentz transformation, which shows that in O's rest frame, the original event E1 has the time coordinate:
t' = gamma*(t1 - v*x1/c^2)
And E3 has the time coordinate:
t' = gamma*(t1 + d*v/(c^2 - v^2) - v/c^2*[x1 + d*c^2/(c^2 - v^2)]) =
gamma*(t1 + d*v/(c^2 - v^2) - v*x1/c^2 - d*v/(c^2 - v^2)) =
gamma*(t1 - v*x1/c^2)
So E1 and E3 have the same time coordinate in O's rest frame, and we know E3 lies along O's worldline, so E3 must be the event on O's worldline that is simultaneous with E1 in O's rest frame. And E2 was the event on O's worldline that was simultaneous with E1 in frame A. In A's frame the difference in time coordinates between E3 and E2 is:
t1 + d*v/(c^2 - v^2) - t1 = d*v/(c^2 - v^2) = (d*v/c^2)*[1/(1 - v^2/c^2)] = (d*v/c^2)*gamma^2
And we know that the proper time elapsed on O's worldline between E2 and E3 will just be 1/gamma * the coordinate time in frame A between E2 and E3, so
this shows the proper time for O between these events is gamma*d*v/c^2.
So, now we can just treat twin1 as the observer O in this proof, treat the launch frame as frame A in this proof, treat the event of twin2 beginning to accelerate as event E1 in this proof, treat 3a as event E2 in this proof, and treat 4a as event E3 in this proof. Then the proof tells us that if twin1 has velocity v in frame A, and twin1 has a distance d from twin2 when twin2 begins to accelerate in this frame, then the proper time for twin1 between 3a and 4a will be gamma*d*v/c^2.
cfrogue said:
I do not know of any way to decide 3a to 4a from your methods without running into Dingle's problems.
Who's Dingle?
cfrogue said:
So, I left this as a open question in the frame of twin1 and moved forward.
To decide the entire sequence, it cannot be denied that all parties agreed twin1 elapsed BT for its burn.
Also, while twin2 burns, it is clear, twins will elapse (c/a)*sinh(a*BT/c).
Still, at this point the problem is not logically decidable.
Thus, upon entering the frame, twin2 pulses light to twin 1.
Twin1 makes an artificial end to the experiment T. Why is it not really the end? It takes time for light to travel from twin2 to twin1.
Thus, twin1 needs to figure this out.
So, the round trip speed of light calculation is used by twin1 to determine the distance to twin2, call it D.
Now, twin1 can actually decide its time that twin2 entered the frame by subtracting D/c from its artificial end of the experiment time T.
I agree I am circumventing the normal methods of SR, but I have not violated any rules.
It is at the point that I can construct world lines for twin1 from twin2 in this somewhat contrived way.
Thus, 3a-4a goes away using this method.
You mean, figure out the time coordinate T in the final rest frame that twin1 will receive the pulse, then subtract D/c from that to get the time coordinate T - D/c in the final rest frame that twin2 stopped accelerating? Of course the time coordinate that twin2 stopped accelerating in this frame is not the same as twin1's age at the moment twin2 stopped accelerating in this frame, because twin1 was not at rest in this frame since t=0 in this frame. But I suppose you can say that in this frame, twin1 was initially accelerating for (c/a)*sinh(a*BT/c) of coordinate time, so that twin1 has been at rest in this frame for (T - D/c) - (c/a)*sinh(a*BT/c). And during the initial period twin1 was accelerating, twin1 aged BT, so twin1's total elapsed time at (T - D/c) in the final frame should be BT + (T - D/c) - (c/a)*sinh(a*BT/c).
This method should work, although if you know the coordinates in the launch frame that twin2 stopped accelerating (which I tried derive in
post 109, not sure if I did all the algebra right), it would be a lot simpler to just find the time T' that twin2 stops accelerating in the final rest frame by applying the Lorentz transformation to the coordinates in the launch frame, and since relativistic simultaneity is already based on light pulses, you are guaranteed that T' will be equal to your (T - D/c). Then using the same logic as above, twin1's total elapsed time at T' in the final frame should be BT + T' - (c/a)*sinh(a*BT/c).