5.1: What is Inertial Motion?
- Page ID
- 3445
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Learning Objectives
- Explain the inertial motion
In section 2.3, I stated the following as an axiom of special relativity:
P4: Inertial frames of reference exist. These are frames in which particles move at constant velocity if not subject to any forces. We can construct such a frame by using a particular particle, which is not subject to any forces, as a reference point. Inertial motion is modeled by vectors and parallelism.
This is a typical modern restatement of Newton’s first law. It claims to define inertial frames and claims that they exist.
An operational definition
In keeping with the philosophy of operationalism, we ought to be able to translate the definition into a method for testing whether a given frame really is inertial. Figure \(\PageIndex{1}\) shows an idealized variation on a device actually built for this purpose by Harold Waage at Princeton as a lecture demonstration to be used by his partner in crime John Wheeler. We build a sealed chamber whose contents are isolated as much as possible from outside forces. Of the four known forces of nature, the ones we know how to exclude are the strong nuclear force, the weak nuclear force, and the electromagnetic force. The strong nuclear force has a range of only about \(1\: fm\) (\(10^{-15} m\)), so to exclude it we merely need to make the chamber thicker than that, and also surround it with enough paraffin wax to keep out any neutrons that happen to be flying by. The weak nuclear force also has a short range, and although shielding against neutrinos is a practical impossibility, their influence on the apparatus inside will be negligible. To shield against electromagnetic forces, we surround the chamber with a Faraday cage and a solid sheet of mu-metal. Finally, we make sure that the chamber is not being touched by any surrounding matter, so that short-range residual electrical forces (sticky forces, chemical bonds, etc.) are excluded. That is, the chamber cannot be supported; it is free-falling.
Crucially, the shielding does not exclude gravitational forces. There is in fact no known way of shielding against gravitational effects such as the attraction of other masses or the propagation of gravitational waves. (Because the shielding is spherical, it exerts no gravitational force of its own on the apparatus inside.)
Inside, an observer carries out an initial calibration by firing bullets along three Cartesian axes and tracing their paths, which she defines to be linear. (She can also make sure that the chamber isn’t rotating, e.g., by checking for velocity-dependent Coriolis forces.) After the initial calibration, she can always tell whether or not she is in an inertial frame. She simply has to fire the bullets, and see whether or not they follow the precalibrated paths. For example, she can detect that the frame has become noninertial if the chamber is rotated, allowed to rest on the ground, or accelerated by a rocket engine.
Isaac Newton would have been extremely unhappy with our definition. “This is absurd,” he says. “The way you’ve defined it, my street in London isn’t inertial.” Newtonian mechanics only makes predictions if we input the correct data on all the mass in the universe. Given this kind of knowledge, we can properly account for all the gravitational forces, and define the street in London as an inertial frame because in that frame, the trees and houses have zero total force on them and don’t accelerate. But spacetime isn’t Galilean. In special relativity’s description of spacetime, information propagates at a maximum speed of \(c\), so there will always be distant parts of the universe that we can never know about, because information from those regions hasn’t had time to reach us yet.
Example \(\PageIndex{1}\): Rotation is noninertial
Figure \(\PageIndex{2}\) shows a hypothetical example proposed by Einstein. One planet rotates about its axis and therefore has an equatorial bulge. The other planet doesn’t rotate and has none. Both Newtonian mechanics and special relativity make these predictions, and although the scenario is idealized and unrealistic, there is no doubt that their predictions are correct for this situation, because the two theories have been tested in similar cases. This also agrees with our operational definition of inertial motion as stated above. Rotational motion is noninertial.
This bothered Einstein for the following reason. If the inhabitants of the two planets can look up in the sky at the “fixed stars,” they have a clear explanation of the reason for the difference in shape. People on planet A don’t see the stars rise or set, and they infer that this is because they live on a nonrotating world. The inhabitants of planet B do see the stars rise and set, just as they do here on earth, so they infer, just as Copernicus did, that their planet rotates.
But suppose, Einstein said, that the two planets exist alone in an otherwise empty universe. There are no stars. Then it’s equally valid for someone on either planet to say that it’s the one that doesn’t rotate. Each planet rotates relative to the other planet, but the situation now appears completely symmetric. Einstein took this argument seriously and felt that it showed a defect in special relativity. He hoped that his theory of general relativity would fix this problem, and predict that in another wise empty universe, neither planet would show any tidal bulge. In reality,further study of the general theory of relativity showed that it made the same prediction as special relativity. Theorists have constructed other theories of gravity, most prominently the Brans-Dicke theory, that do behave more in the way Einstein’s physical intuition expected. Precise solar-system tests have, however, supported general relativity rather than Brans-Dicke gravity, so it appears well settled now that rotational motion really shouldn’t be considered inertial.
Equivalence of Inertial and Gravitational Mass
All of the reasoning above depends on the perfect cancellation referred to by Newton: since gravitational forces are proportional to mass, and acceleration is inversely proportional to mass, the result is that accelerations caused by gravity are independent of mass. This is the universality of free fall, which was famously observed by Galileo, Figure \(\PageIndex{3}\).
Suppose that, on the contrary, we had access to some matter that was immune to gravity. It’s sold under the brand name FloatyStuffTM. The cancellation fails now. Let’s say that alien gangsters land in a flying saucer, kidnap you out of your back yard, konk you on the head, and take you away. When you regain consciousness, you’re locked up in a sealed cabin in their spaceship. You pull your keychain out of your pocket and release it, and you observe that it accelerates toward the floor with an acceleration that seems quite a bit slower than what you’re used to on earth, perhaps a third of a gee. There are two possible explanations for this. One is that the aliens have taken you to some other planet, maybe Mars, where the strength of gravity is a third of what we have on earth. The other is that your keychain didn’t really accelerate at all: you’re still inside the flying saucer, which is accelerating at a third of a gee, so that it was really the deck that accelerated up and hit the keys.
There is absolutely no way to tell which of these two scenarios is actually the case — unless you happen to have a chunk of FloatyStuff in your other pocket. If you release the FloatyStuff and it hovers above the deck, then you’re on another planet and experiencing genuine gravity; your keychain responded to the gravity, but the FloatyStuff didn’t. But if you release the FloatyStuff and see it hit the deck, then the flying saucer is accelerating through outer space.