Английская Википедия:Bell's spaceship paradox

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description

Файл:Dewan-Beran-Bell-Paradox.svg
Above: In S the distance between the spaceships stays the same, while the string contracts. Below: In S′ the distance between the spaceships increases, while the string length stays the same.

Bell's spaceship paradox is a thought experiment in special relativity. It was first described by E. Dewan and M. Beran in 1959[1] but became more widely known after John Stewart Bell elaborated the idea further in 1976.[2] A delicate thread hangs between two spaceships headed in the same direction. They start accelerating simultaneously and equally as measured in the inertial frame S, thus having the same velocity at all times as viewed from S. Therefore, they are all subject to the same Lorentz contraction, so the entire assembly seems to be equally contracted in the S frame with respect to the length at the start. At first sight, it might appear that the thread will not break during acceleration.

This argument, however, is incorrect as shown by Dewan and Beran, and later Bell.[1][2] The distance between the spaceships does not undergo Lorentz contraction with respect to the distance at the start, because in S, it is effectively defined to remain the same, due to the equal and simultaneous acceleration of both spaceships in S. It also turns out that the rest length between the two has increased in the frames in which they are momentarily at rest (S′), because the accelerations of the spaceships are not simultaneous here due to relativity of simultaneity. The thread, on the other hand, being a physical object held together by electrostatic forces, maintains the same rest length. Thus, in frame S, it must be Lorentz contracted, which result can also be derived when the electromagnetic fields of bodies in motion are considered. So, calculations made in both frames show that the thread will break; in S′ due to the non-simultaneous acceleration and the increasing distance between the spaceships, and in S due to length contraction of the thread.

In the following, the rest length[3] or proper length[4] of an object is its length measured in the object's rest frame. (This length corresponds to the proper distance between two events in the special case, when these events are measured simultaneously at the endpoints in the object's rest frame.[4])

Dewan and Beran

Dewan and Beran stated the thought experiment by writing:

"Consider two identically constructed rockets at rest in an inertial frame S. Let them face the same direction and be situated one behind the other. If we suppose that at a prearranged time both rockets are simultaneously (with respect to S) fired up, then their velocities with respect to S are always equal throughout the remainder of the experiment (even though they are functions of time). This means, by definition, that with respect to S the distance between the two rockets does not change even when they speed up to relativistic velocities."[1]

Then this setup is repeated again, but this time the back of the first rocket is connected with the front of the second rocket by a silk thread. They concluded:

"According to the special theory the thread must contract with respect to S because it has a velocity with respect to S. However, since the rockets maintain a constant distance apart with respect to S, the thread (which we have assumed to be taut at the start) cannot contract: therefore a stress must form until for high enough velocities the thread finally reaches its elastic limit and breaks."[1]

Dewan and Beran also discussed the result from the viewpoint of inertial frames momentarily comoving with the first rocket, by applying a Lorentz transformation:

"Since <math>\scriptstyle t'=(t-vx/c^{2})/\sqrt{1-v^{2}/c^{2}}</math>, (..) each frame used here has a different synchronization scheme because of the <math>vx/c^{2}</math> factor. It can be shown that as <math>v</math> increases, the front rocket will not only appear to be a larger distance from the back rocket with respect to an instantaneous inertial frame, but also to have started at an earlier time."[1]

They concluded:

"One may conclude that whenever a body is constrained to move in such a way that all parts of it have the same acceleration with respect to an inertial frame (or, alternatively, in such a way that with respect to an inertial frame its dimensions are fixed, and there is no rotation), then such a body must in general experience relativistic stresses."[1]

Then they discussed the objection, that there should be no difference between a) the distance between two ends of a connected rod, and b) the distance between two unconnected objects which move with the same velocity with respect to an inertial frame. Dewan and Beran removed those objections by arguing:

  • Since the rockets are constructed exactly the same way, and starting at the same moment in S with the same acceleration, they must have the same velocity all of the time in S. Thus, they are traveling the same distances in S, so their mutual distance cannot change in this frame. Otherwise, if the distance were to contract in S, then this would imply different velocities of the rockets in this frame as well, which contradicts the initial assumption of equal construction and acceleration.
  • They also argued that there indeed is a difference between a) and b): Case a) is the ordinary case of length contraction, based on the concept of the rod's rest length l0 in S0, which always stays the same as long as the rod can be seen as rigid. Under those circumstances, the rod is contracted in S. But the distance cannot be seen as rigid in case b) because it is increasing due to unequal accelerations in S0, and the rockets would have to exchange information with each other and adjust their velocities in order to compensate for this – all of those complications don't arise in case a).

Bell

Файл:Dewan-Beran-Bell-Paradox2.svg
Vertical arrangement as suggested by Bell.

In Bell's version of the thought experiment, three spaceships A, B and C are initially at rest in a common inertial reference frame, B and C being equidistant to A. Then, a signal is sent from A to reach B and C simultaneously, causing B and C starting to accelerate in the vertical direction (having been pre-programmed with identical acceleration profiles), while A stays at rest in its original reference frame. According to Bell, this implies that B and C (as seen in A's rest frame) "will have at every moment the same velocity, and so remain displaced one from the other by a fixed distance." Now, if a fragile thread is tied between B and C, it's not long enough anymore due to length contractions, thus it will break. He concluded that "the artificial prevention of the natural contraction imposes intolerable stress".[2]

Bell reported that he encountered much skepticism from "a distinguished experimentalist" when he presented the paradox. To attempt to resolve the dispute, an informal and non-systematic survey of opinion at CERN was held. According to Bell, there was "clear consensus" which asserted, incorrectly, that the string would not break. Bell goes on to add,

"Of course, many people who get the wrong answer at first get the right answer on further reflection. Usually they feel obliged to work out how things look to observers B or C. They find that B, for example, sees C drifting further and further behind, so that a given piece of thread can no longer span the distance. It is only after working this out, and perhaps only with a residual feeling of unease, that such people finally accept a conclusion which is perfectly trivial in terms of A's account of things, including the Fitzgerald contraction."

Importance of length contraction

In general, it was concluded by Dewan & Beran and Bell, that relativistic stresses arise when all parts of an object are accelerated the same way with respect to an inertial frame, and that length contraction has real physical consequences. For instance, Bell argued that the length contraction of objects as well as the lack of length contraction between objects in frame S can be explained using relativistic electromagnetism. The distorted electromagnetic intermolecular fields cause moving objects to contract, or to become stressed if hindered from doing so. In contrast, no such forces act on the space between objects.[2] (Generally, Richard Feynman demonstrated how the Lorentz transformation can be derived from the case of the potential of a charge moving with constant velocity (as represented by the Liénard–Wiechert potential). As to the historical aspect, Feynman alluded to the circumstance that Hendrik Lorentz arrived essentially the same way at the Lorentz transformation,[5] see also History of Lorentz transformations.)

However, Petkov (2009)[6] and Franklin (2009)[3] interpret this paradox differently. They agreed with the result that the string will break due to unequal accelerations in the rocket frames, which causes the rest length between them to increase (see the Minkowski diagram in the analysis section). However, they denied the idea that those stresses are caused by length contraction in S. This is because, in their opinion, length contraction has no "physical reality", but is merely the result of a Lorentz transformation, i.e. a rotation in four-dimensional space which by itself can never cause any stress at all. Thus the occurrence of such stresses in all reference frames including S and the breaking of the string is supposed to be the effect of relativistic acceleration alone.[3][6]

Discussions and publications

Paul Nawrocki (1962) gives three arguments why the string should not break,[7] while Edmond Dewan (1963) showed in a reply that his original analysis still remains valid.[8] Many years later and after Bell's book, Matsuda and Kinoshita reported receiving much criticism after publishing an article on their independently rediscovered version of the paradox in a Japanese journal. Matsuda and Kinoshita do not cite specific papers, however, stating only that these objections were written in Japanese.[9]

However, in most publications it is agreed that the string will break, with some reformulations, modifications and different scenarios, such as by Evett & Wangsness (1960),[10] Dewan (1963),[8] Romain (1963),[11] Evett (1972),[12] Gershtein & Logunov (1998),[13] Tartaglia & Ruggiero (2003),[14] Cornwell (2005),[15] Flores (2005),[16] Semay (2006),[17] Styer (2007),[18] Freund (2008),[19] Redzic (2008),[20] Peregoudov (2009),[21] Redžić (2009),[22] Gu (2009),[23] Petkov (2009),[6] Franklin (2009),[3] Miller (2010),[24] Fernflores (2011),[25] Kassner (2012),[26] Natario (2014),[27] Lewis, Barnes & Sticka (2018),[28] Bokor (2018).[29] A similar problem was also discussed in relation to angular accelerations: Grøn (1979),[30] MacGregor (1981),[31] Grøn (1982, 2003).[32][33]

Immediate acceleration

Шаблон:Multiple images

Similarly, in the case of Bell's spaceship paradox the relation between the initial rest length <math>L</math> between the ships (identical to the moving length in S after acceleration) and the new rest length <math>L'</math> in S′ after acceleration, is:[3][6][8][16]

<math>L'=\gamma L</math>.

This length increase can be calculated in different ways. For instance, if the acceleration is finished the ships will constantly remain at the same location in the final rest frame S′, so it's only necessary to compute the distance between the x-coordinates transformed from S to S′. If <math>x_{A}</math> and <math>x_{B}=x_{A}+L</math> are the ships' positions in S, the positions in their new rest frame S′ are:[3]

<math>\begin{align}

x'_{A}& = \gamma\left(x_{A}-vt\right)\\ x'_{B}& = \gamma\left(x_{A}+L-vt\right)\\ L'& = x'_{B}-x'_{A}\\ & =\gamma L \end{align}</math>

Another method was shown by Dewan (1963) who demonstrated the importance of relativity of simultaneity.[8] The perspective of frame S′ is described, in which both ships will be at rest after the acceleration is finished. The ships are accelerating simultaneously at <math>t_A = t_B</math> in S (assuming acceleration in infinitesimal small time), though B is accelerating and stopping in S′ before A due to relativity of simultaneity, with the time difference:

<math>\begin{align}

\Delta t' & = t'_{B}-t'_{A}=\gamma\left(t_{B}-\frac{vx_{B}}{c^{2}}\right)-\gamma\left(t_{A}-\frac{vx_{A}}{c^{2}}\right)\\

& = \frac{\gamma vL}{c^{2}}

\end{align} </math>

Since the ships are moving with the same velocity in S′ before acceleration, the initial rest length <math>L</math> in S is shortened in S′ by <math>L'_{old}=L/\gamma</math> due to length contraction. From the frame of S′, B starts accelerating before A and also stops accelerating before A. Due to this B will always have higher velocity than A up until the moment A is finished accelerating too, and both of them are at rest with respect to S′. The distance between B and A keeps on increasing till A stops accelerating. Although A's acceleration timeline is delayed by an offset of <math>\Delta t'</math>, both A and B cover the same distance in their respective accelerations. But B's timeline contains acceleration and also being at rest in S` for <math>\Delta t'</math> till A stops accelerating. Hence the extra distance covered by B during the entire course can be calculated by measuring the distance traveled by B during this phase. Dewan arrived at the relation (in different notation):[8]

<math>\begin{align}

L'& = L'_{old}+v\Delta t'=\frac{L}{\gamma}+\frac{\gamma v^{2}L}{c^{2}}\\ & = \gamma L \end{align} </math>

It was also noted by several authors that the constant length in S and the increased length in S′ is consistent with the length contraction formula <math>L=L'/\gamma</math>, because the initial rest length <math>L</math> is increased by <math>\gamma</math> in S′, which is contracted in S by the same factor, so it stays the same in S:[6][14][18]

<math>L_{contr.}=L'/\gamma=\gamma L/\gamma=L</math>

Summarizing: While the rest distance between the ships increases to <math>\gamma L</math> in S′, the relativity principle requires that the string (whose physical constitution is unaltered) maintains its rest length <math>L</math> in its new rest system S′. Therefore, it breaks in S′ due to the increasing distance between the ships. As explained above, the same is also obtained by only considering the start frame S using length contraction of the string (or the contraction of its moving molecular fields) while the distance between the ships stays the same due to equal acceleration.

Constant proper acceleration

Шаблон:Multiple images Шаблон:Main

Instead of instantaneous changes of direction, special relativity also allows to describe the more realistic scenario of constant proper acceleration, i.e. the acceleration indicated by a comoving accelerometer. This leads to hyperbolic motion, in which the observer continuously changes momentary inertial frames[34]

<math>\begin{align}x & =\frac{c^{2}}{\alpha}\left(\sqrt{1+\left(\frac{\alpha t}{c}\right)^{2}}-1\right)=\frac{c^{2}}{\alpha}\left(\cosh\frac{\alpha\tau}{c}-1\right)\\

c\tau & =\frac{c^{2}}{\alpha}\operatorname{asinh}\frac{\alpha t}{c},\quad ct=\frac{c^{2}}{\alpha}\sinh\frac{\alpha\tau}{c} \end{align}</math>

where <math>t</math> is the coordinate time in the external inertial frame, and <math>\tau</math> the proper time in the momentary frame, and the momentary velocity is given by

<math>v=\frac{\alpha t}{\sqrt{1+\left(\frac{\alpha t}{c}\right)^{2}}}=c\tanh\frac{\alpha\tau}{c}</math>

The mathematical treatment of this paradox is similar to the treatment of Born rigid motion. However, rather than ask about the separation of spaceships with the same acceleration in an inertial frame, the problem of Born rigid motion asks, "What acceleration profile is required by the second spaceship so that the distance between the spaceships remains constant in their proper frame?"[35][34][36] In order for the two spaceships, initially at rest in an inertial frame, to maintain a constant proper distance, the lead spaceship must have a lower proper acceleration.[3][36][37]

This Born rigid frame can be described by using Rindler coordinates (Kottler-Møller coordinates)[34][38]

<math>\begin{align}ct & =\left(x'+\frac{c^{2}}{\alpha}\right)\sinh\frac{\alpha t'}{c}, & y & =y',\\

x & =\left(x'+\frac{c^{2}}{\alpha}\right)\cosh\frac{\alpha t'}{c}-\frac{c^{2}}{\alpha}, & z & =z'. \end{align}\ (t'=\tau)</math>

The condition of Born rigidity requires that the proper acceleration of the spaceships differs by[38]

<math>\alpha_{2}=\frac{\alpha_{1}}{1+\frac{\alpha_{1}L'}{c^{2}}}</math>

and the length <math>L'=x_{2}^{\prime}-x_{1}^{\prime}</math> measured in the Rindler frame (or momentary inertial frame) by one of the observers is Lorentz contracted to <math>L=x_{2}-x_{1}</math> in the external inertial frame by[38]

<math>L=\frac{L'}{\cosh\frac{\alpha t'}{c}}=L'\sqrt{1-\frac{v^{2}}{c^{2}}}</math>

which is the same result as above. Consequently, in the case of Born rigidity, the constancy of length L' in the momentary frame implies that L in the external frame decreases constantly, the thread doesn't break. However, in the case of Bell's spaceship paradox the condition of Born rigidity is broken, because the constancy of length L in the external frame implies that L' in the momentary frame increases, the thread breaks (in addition, the expression for the distance increase between two observers having the same proper acceleration becomes also more complicated in the momentary frame[17]).

See also

References

  1. 1,0 1,1 1,2 1,3 1,4 1,5 Шаблон:Cite journal
  2. 2,0 2,1 2,2 2,3 J. S. Bell: How to teach special relativity, Progress in Scientific culture 1(2) (1976), pp. 1–13. Reprinted in J. S. Bell: Speakable and unspeakable in quantum mechanics (Cambridge University Press, 1987), chapter 9, pp. 67–80.
  3. 3,0 3,1 3,2 3,3 3,4 3,5 3,6 Шаблон:Cite journal
  4. 4,0 4,1 Шаблон:Cite book
  5. Шаблон:Citation
  6. 6,0 6,1 6,2 6,3 6,4 Vesselin Petkov (2009): Accelerating spaceships paradox and physical meaning of length contraction, Шаблон:Arxiv, published in: Шаблон:Cite book
  7. Шаблон:Cite journal
  8. 8,0 8,1 8,2 8,3 8,4 Шаблон:Cite journal (Note that this reference also contains the first presentation of the ladder paradox.)
  9. Шаблон:Cite journal eprint version
  10. Шаблон:Cite journal
  11. Шаблон:Cite journal
  12. Шаблон:Cite journal
  13. Шаблон:Cite journal
  14. 14,0 14,1 Шаблон:Cite journal
  15. Шаблон:Cite journal
  16. 16,0 16,1 Шаблон:Cite journal
  17. 17,0 17,1 Шаблон:Cite journal
  18. 18,0 18,1 Шаблон:Cite journal
  19. Шаблон:Cite book
  20. Шаблон:Cite journal
  21. Шаблон:Cite journal
  22. Шаблон:Cite journal
  23. Шаблон:Cite journal
  24. Шаблон:Cite journal
  25. Шаблон:Cite journal
  26. Шаблон:Cite journal
  27. Шаблон:Cite journal
  28. Шаблон:Cite journal
  29. Шаблон:Cite journal
  30. Шаблон:Cite journal
  31. Шаблон:Cite journal
  32. Шаблон:Cite journal
  33. Шаблон:Cite book
  34. 34,0 34,1 34,2 Шаблон:Cite book
  35. Шаблон:Cite web
  36. 36,0 36,1 Шаблон:Cite journal
  37. Mathpages: Born Rigidity and Acceleration
  38. 38,0 38,1 38,2 Шаблон:Cite web

External links