Ehrenfest paradox

Ehrenfest paradox

The Ehrenfest paradox concerns the rotation of a "rigid" disc in the theory of relativity.

In its original formulation as presented by Paul Ehrenfest 1909 in the Physikalische Zeitschrift, it discusses an ideally rigid cylinder that is made to rotate about its axis of symmetry. The radius "R" as seen in the laboratory frame is always perpendicular to its motion and should therefore be equal to its value R0 when stationary. But the circumference ("2πR") should appear Lorentz-contracted to a smaller value than at rest, by the usual factor γ. This leads to the contradiction that R=R0 "and" R0.

(Note that a cylinder was considered in order to circumvent the possibility of a disc "dishing" out of its plane of rotation and trivially satisfying C<2πR. Subsequently when a rotating disc is substituted it is assumed that this distortion possibility is also excluded).

The paradox has been deepened further by later reasoning that since measuring rods aligned along the periphery and moving with it should appear contracted, more would fit around the circumference, which would thus measure greater than 2πR.

The Ehrenfest paradox may be the most basic phenomenon in relativity that has a long history marked by controversy and which still gets different interpretations published in peer-reviewed journals.

Essence of the "paradox"

Perhaps the simplest way to approach the "paradox" is to imagine a fixed circular track with a "train" of miniature boxcars (red rectangles in the figure below) connected by flexible couplings, such as bungee cords (red line segments). We can also imagine that the circular track surrounds a stationary platform (blue):

For concreteness, let us imagine that we have twelve boxcars, each 40 inches long, with elastic couplings which are 40 inches long when the train is at rest, so that the total rest length of the train is about 960 inches. Now let us imagine that the train accelerates until it is moving at 0.6 "c". Then (see length contraction), assuming that we can treat each box car as a rigid body which at any given moment is moving at 0.6 "c", the length of each boxcar will be now be measured by static observers to be only about 32 inches. To make up the circumference, the couplings must be stretched so that static observers measure them to now be about 48 inches long. On the other hand, an observer standing in one of the boxcars will measure it to be 40 inches long, the same as if he and the boxcar were both at rest. But he will agree with the static observers that the bungee cords have been stretched, in fact he will declare them to be about 60 inches long! Adding up all these lengths, he will conclude that the length of the track is about 1200 inches.

On the other hand, the length contraction effect does not affect directions orthogonal to the direction of motion. That is, in the case of Ehrenfest's train, observers standing on the platform and observers riding the train should obtain the "same" value for the "radius" of the track, but quite different values for the "circumference". Specifically, if the train is moving with velocity "v" (in geometrized units in which "c" = 1), then "C"′ = "C" √(1−"v"2)−1, where "C"′ is the circumference measured by observers riding the train and "C" is the circumference measured by observers standing on the platform.

This is not the way the "paradox" was stated by Ehrenfest himself. Rather, Ehrenfest considered an ideally rigid cylinder that is made to rotate. By similar reasoning to what we have just sketched, one concludes that the radius "R " as seen in the laboratory frame should be equal to the value R0 of the stationary disc. But - also in the laboratory frame - the circumference "2 π R " should be Lorentz-contracted to a smaller value than at rest, by the usual factor γ. This leads to the contradiction that R=R0 "and" R0. Such a contradictory presentation is called a paradox.

Going back to our circular train, it seems that if we tried to replace the "elastic couplings" with "rigid couplings", the train could not accelerate without breaking the couplings. Similarly, the discrepancy noted by Ehrenfest seems to suggest that a rotated rigid disk should shatter.

Thus Ehrenfest argued by reductio ad absurdum that Born's notion of rigidity is not generally compatible with special relativity. It's worth mentioning that according to special relativity an object cannot be "spun up" from a non-rotating state while maintaining Born rigidity, but once it has achieved a constant nonzero angular velocity it does maintain Born rigidity without violating special relativity, and then (as Einstein later showed) a disk riding observer will measure a circumference of "C"′ = 2 π  "r"  (1−"v"2)-1/2).

Brief history

We will discuss the resolution of the "paradox" in the next section. Here we pause to sketch the evolution of how physicists have viewed the "paradox" since its introduction, focusing on steps forward and largely ignoring steps backward. Citations to the papers mentioned below (and many which are not) can be found in a paper by Øyvind Grøn which is available on-line (see the book edited by Rizzi and Ruggiero in the reference section below).

*1909: Max Born introduces a notion of rigid motion in special relativity.
*1909: After studying Born's notion of rigidity, Paul Ehrenfest demonstrated by means of a paradox about a cylinder that goes from rest to rotation, that most motions of extended bodies cannot be Born rigid.
*1910: Max Planck calls attention to the fact that one should not confuse the problem of the contraction of a disc due to spinning it up, with that of what disk-riding observers will measure as compared to stationary observers. He suggests that resolving the first problem will require introducing some material model and employing the theory of elasticity.
*1910: Theodor Kaluza points out that there is nothing inherently paradoxical about the static and disk-riding observers obtaining different results for the circumference. This does however imply, he argues, that "the geometry of the rotating disk" is "non-euclidean". He asserts without proof that this geometry is in fact essentially just the geometry of the hyperbolic plane.
*1916: While writing up his new general theory of relativity, Albert Einstein notices that disk-riding observers measure a "longer" circumference, "C"′ = 2π "r" √(1−"v"2)−1. That is, because rulers moving parallel to their length axis appear "shorter" as measured by static observers, the disk-riding observers can fit more small rulers of a given length around the circumference than stationary observers could.
*1922: Henri Becquerel claims that Ehrenfest was right, not Einstein.
*1935: Paul Langevin essentially introduces a moving frame (or frame field in modern language) corresponding to the family of disk-riding observers, now called "Langevin observers". (See the figure.) He also shows that distances measured by "nearby" Langevin observers correspond to a certain Riemannian metric, now called the Langevin-Landau-Lifschitz metric. (See Born coordinates for details.)
*1937: Jan Weyssenhoff (now perhaps best known for his work on Cartan connections with zero curvature and nonzero torsion) notices that the Langevin observers are not hypersurface orthogonal. Therefore, the Langevin-Landau-Lifschitz metric is defined, not on some hyperslice of Minkowski spacetime, but on the quotient space obtained by replacing each world line with a "point". This gives a three-dimensional smooth manifold which becomes a Riemannian manifold when we add the metric structure.
*1946: Nathan Rosen shows that inertial observers instantaneously comoving with Langevin observers also measure small distances given by Langevin-Landau-Lifschitz metric.
*1946: E. L. Hill analyzes relativistic stresses in a material in which (roughly speaking) the speed of sound equals the speed of light and shows these just cancel the radial expansion due to centrifugal force (in any physically realistic material, the relativistic effects lessen but do not cancel the radial expansion). Hill explains errors in earlier analyses by Arthur Eddington and others.
*1952: C. Møller attempts to study null geodesics from the point of view of rotating observers (but incorrectly tries to use slices rather than the appropriate quotient space)
*1968: V. Cantoni provides a straightforward, purely kinematical explanation of the paradox.
*1975: Øyvind Grøn writes a classic review paper about solutions of the "paradox"
*1977: Grünbaum and Janis introduce a notion of physically realizable "non-rigidity" which can be applied to the spin-up of an initially non-rotating disk (this notion is not "physically realistic" for real materials from which one might make a disk, but it is useful for thought experiments).
*1981: Grøn notices that Hooke's law is not consistent with Lorentz transformations and introduces a relativistic generalization.
*1997: T. A. Weber explicitly introduces the frame field associated with Langevin observers.
*2000: H. Nikolic points out that the paradox disappears when (in accordance with general theory of relativity) each piece of the rotating disk is treated separately, as living in his own local non-inertial frame.
*2002: Rizzi and Ruggiero (and Bel) explicitly introduce the quotient manifold mentioned above.

This sketch is necessarily oversimplified and incomplete; any attempt to write a serious history (placing each paper in its proper context) would probably require a book!

Resolution of the paradox

Surveying the somewhat dismal history sketched in the paper by Grøn (and several recent arXiv eprints which repeat various long-corrected errors originally made by earlier authors), we can identify a number of major conceptual errors which are common to many incorrect claims which have been made over the years concerning "the geometry of a rotating disk":
#The assumption that "there is a unique geometry", even a Riemannian geometry, describing a rotating disk as measured by disk-riding observers. In fact, there are several distinct but operationally significant notions of "distance" which can be employed by accelerating observers (such as the Langevin observers), even in flat spacetime. These are not even symmetric for large distances. However, for small distances they do all agree with a Riemannian metric, the Langevin-Landau-Lifschitz metric. (See Born coordinates for mathematical details.)
#The assumption that "the geometry is defined on some spatial hyperslice". In fact, it is defined on the quotient manifold obtained by collapsing the world lines of the Langevin observers to points.
#Attempts to compare the geometry of an initially non-rotating disk "before" and "after" a "spin-up phase" which avoid any consideration of "how the material of the disk reacts to being stressed" during the spin-up phase are doomed to fail, as Planck already knew in 1910.
#Ignoring the common-sense expectation that an initially non-rotating disk which is spun-up should exhibit stresses similar to those we would compute in Newtonian physics, but with "relativistic corrections" which "should be small for a slow but steady spin-up".
#Failure to account for the fact that, because any point of the cylinder not on the axis of rotation experiences centripetal acceleration of v2/r during rotation, some general relativistic corrections are appropriate. (Here r is the perpendicular distance from the point to the axis, and v is the speed at which the point moves.)

As for the resolution of the "paradox", all the pieces were essentially in place by 1937, but unfortunately many subsequent authors have "backtracked" by "repeating" various conceptual errors which had "already been cleared up" (sometimes not quite explicitly) in earlier work.

The modern resolution of the "paradox" can be briefly summarized as follows:
#Small distances measured by disk-riding observers are described by the Langevin-Landau-Lifschitz metric, which is indeed well approximated (for small angular velocity) by the geometry of the hyperbolic plane, just as Kaluza had claimed.
#For physically reasonable materials, during the spin-up phase a real disk expands radially due to centrifugal forces; relativistic corrections partially counteract (but do not cancel) this Newtonian effect. After a steady-state rotation is achieved and the disk has been allowed to relax, the geometry "in the small" is approximately given by the Langevin-Landau-Lifschitz metric.

See also

* Born coordinates, for a coordinate chart adapted to observers riding on a rigidly rotating disk
* Length contraction, which is slightly less misleading in the context of this article

Some other "paradoxes" in special relativity

* Bell's spaceship paradox
* Ladder paradox
* Physical paradox
* Supplee's paradox
* Twin paradox

External links

* [http://www2.corepower.com:8080/~relfaq/rigid_disk.html The Rigid Rotating Disk in Relativity] , by Michael Weiss (1995), from the "sci.physics FAQ".

References

A few papers of historical interest:
*cite journal | author=Born, M. | title=Die Theorie des starren Elektrons in der Kinematik des Relativitäts-Prinzipes | journal=Ann. Phys. Lpz. | year=1909 | volume=30 | pages=1 | doi=10.1002/andp.19093351102
*cite journal | author=Ehrenfest, P. | title=Gleichförmige Rotation starrer Körper und Relativitätstheorie | journal=Phys. Zeitschrift | year=1909 | volume=10 | pages=918
*cite journal | author=Planck, M. | title=Gleichförmige Rotation und Lorentz-Kontraktion | journal=Phys. Zeitschrift | year=1910 | volume=11 | pages=294
*cite journal | author=Einstein, A. | title=Zum Ehrenfesten Paradoxon | journal=Phys. Zeitschrift | year=1911 | volume=12 | pages=509
*cite journal | author=Sagnac, M. G. | title=L'éther lumineux démontré par l'effet du vent relatif d'éther dans un interféromètre en rotation uniforme | journal=C. R. Acad. Sci. Paris | year=1913 | volume=157 | pages=708
*cite journal | author=Langevin, P. | title=Remarques au sujet de la Note de Prunier | journal=C. R. Acad. Sci. Paris | year=1935 | volume=200 | pages=48

A few classic "modern" references:

*
*cite journal | author=Cantoni, V. | title=What is wrong with Relativistic Kinematics? | journal=Il Nuovo Cimento | year=1968 | volume=57 B | pages=220–223
*cite journal | author=Grøn, Ø. | title=Relativistic description of a rotating disk | journal=Amer. J. Phys. | year=1975 | volume=43 | pages=869–876 | doi=10.1119/1.9969
*cite book | author=Landau, L. D. & Lifschitz, E. F. | title=The Classical Theory of Fields (4th ed.) | location=London | publisher=Butterworth-Heinemann | year=1980 | id=ISBN 0-7506-2768-9 See "Section 84" and the problem at the end of "Section 89".

Some experimental work and subsequent discussion:
*
*
*
*
*

Selected recent sources:

*cite journal | author=Rizzi, G.; & Ruggiero, M.L. | title=Space geometry of rotating platforms: an operational approach | journal=Found. Phys. | year=2002 | volume=32 | pages=1525–1556 | doi=10.1023/A:1020427318877 They give a precise definition of the "space of the disk" (non-Euclidean), and solve the paradox without extraneous dynamic considerations. See also the [http://www.arxiv.org/abs/gr-qc/0207104 eprint version] .

*cite book | author=Rizzi, G. ; & Ruggiero, M. L. | title=Relativity in Rotating Frames | location=Dordrecht | publisher= Kluwer | year=2004 | id=ISBN 1-4020-1805-3 This book contains a comprehensive historical survey by Øyvind Grøn, on which the "brief history" in this article is based, and some other papers on the Ehrenfest paradox and related controversies. Hundreds of additional references may be found in this book, particularly the paper by Grøn.
*cite journal | author=Pauri, Massimo; & Vallisneri, Michele | title=Märzke-Wheeler coordinates for accelerated observers in special relativity | journal=Found. Phys. Lett. | year=2000 | volume=13 | pages=401–425 | doi=10.1023/A:1007861914639 Studies a coordinate chart constructed using "radar distance "in the large" from a single Langevin observer. See also the [http://www.arxiv.org/abs/gr-qc/0006095 eprint version] .
*cite journal | author=Nikolic, Hrvoje | title=Relativistic contraction and related effects in noninertial frames | journal=Phys. Rev. A | year=2000 | volume=61 | pages=032109 | doi=10.1103/PhysRevA.61.032109 Studies general non-inertial motion of a point particle and treats rotating disk as a collection of such non-inertial particles. See also the [http://www.arxiv.org/abs/gr-qc/9904078 eprint version] .


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Ehrenfest — is a surname which may refer to:* Paul Ehrenfest, an Austrian physicist and a mathematician ** Ehrenfest paradox and Ehrenfest theorem, named after him * Tatjana Ehrenfest Afanassjewa, a Russian mathematician, wife of Paul * Tanja van Aardenne… …   Wikipedia

  • Paul Ehrenfest — Infobox Scientist box width = 300px name = Paul Ehrenfest image size = 300px caption = birth date = birth date|1880|1|18|mf=y birth place = Vienna, Austria death date = death date and age|1933|9|25|1880|1|18 death place = residence = Netherlands… …   Wikipedia

  • Twin paradox — In physics, the twin paradox is a thought experiment in special relativity, in which a twin makes a journey into space in a high speed rocket and returns home to find he has aged less than his identical twin who stayed on Earth. This result… …   Wikipedia

  • Supplee's paradox — In relativistic physics, Supplee s paradox (also called the submarine paradox) arises when considering the buoyant force exerted on a relativistic bullet immersed in a fluid subject to an ambient gravitational field. If a bullet with neutral… …   Wikipedia

  • Ladder paradox — The ladder paradox (or barn pole paradox) is a thought experiment in special relativity. If a ladder travels horizontally it will undergo a length contraction and will therefore fit into a garage that is shorter than the ladder s length at rest.… …   Wikipedia

  • Bell's spaceship paradox — is a thought experiment in special relativity involving accelerated spaceships and strings. The results of this thought experiment are for many people paradoxical. While J. S. Bell s 1976 version cite book | author=Bell, J. S. | title=Speakable… …   Wikipedia

  • Scientific phenomena named after people — This is a list of scientific phenomena and concepts named after people (eponymous phenomena). For other lists of eponyms, see eponym. NOTOC A* Abderhalden ninhydrin reaction Emil Abderhalden * Abney effect, Abney s law of additivity William de… …   Wikipedia

  • Criticism of relativity theory — Criticism of Albert Einstein s theory of relativity was mainly expressed in the early years after its publication on a scientific, pseudoscientific, philosophical, or ideological basis. Reasons for criticism were, for example, alternative… …   Wikipedia

  • History of special relativity — The History of special relativity consists of many theoretical and empirical results of physicists like Hendrik Lorentz and Henri Poincaré, which culminated in the theory of special relativity proposed by Albert Einstein, and subsequent work of… …   Wikipedia

  • Born coordinates — / ) are time like curves with fixed R .In relativistic physics, the Born coordinate chart is a coordinate chart for (part of) Minkowski spacetime, the flat spacetime of special relativity. It is often used to analyze the physical experience of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”