Proper Acceleration and the Comoving Frame
Inside the CERN muon storage ring, a muon whips round a seven-metre circle at . Ask what it is enduring: the transverse proper acceleration is — about times the surface gravity of the Earth. Nothing a human has built accelerates anything harder. And the muon does not care. Its lifetime is stretched by exactly — the factor that depends on its speed and nothing else. Bailey and his collaborators measured it in 1977 and found agreement with the pure-velocity formula to two parts in a thousand, with no detectable acceleration dependence at all. That is a result, and it is not a theorem: the claim that an ideal clock's rate depends only on its instantaneous speed — the clock hypothesis — does not follow from the postulates. It is a separate assumption, and the muon ring is where it was put to the sword. Underneath the experiment sits a definition that has to be got exactly right. Coordinate acceleration is frame-dependent and, worse, is not what anything feels. What an accelerometer reads — what presses the crew into their seats — is the acceleration in the inertial frame momentarily comoving with the object: the proper acceleration, an invariant. And the innocent-looking business of relating it to the lab-frame acceleration produces one of the most frequently mis-typed formulae in special relativity.
- Signature : , , so and the four-acceleration is spacelike: , hence .
- Proper acceleration is the acceleration measured in the momentarily comoving inertial frame (MCIF) — an inertial frame that matches the particle's velocity at one instant only. It is what an accelerometer reads, and it is an invariant.
- always: the four-acceleration is orthogonal to the four-velocity, which is what forces it to be spacelike.
- Collinear motion: . Transverse motion: . The same lab-frame acceleration is felt times more strongly when it lies along the motion.
- Owned result — and a correction to this article's base. The general identity is — with , not . The AllQFT base prints , which gives collinear and transverse — wrong in both limits, by a factor of , and contradicting its own limits table. Repaired and asserted symbolically.
- The clock hypothesis is an assumption, not a theorem. An ideal clock's rate depends on its instantaneous speed and not on its acceleration. Bailey et al. (Nature 268, 301, 1977) tested it at in the CERN muon ring and found the Einstein factor good to at 95% confidence, with no acceleration term.
- Key idea: acceleration in relativity has two faces, and only one is real. Coordinate acceleration depends on who is watching and dies as ; proper acceleration is the invariant magnitude of a four-vector, it is what the accelerometer reads, and it can be held constant forever.
The whole subject is the sentence "differentiate with respect to proper time, not coordinate time". is a four-vector because is invariant; so is . Differentiating the constant gives at once, and since is timelike, must be spacelike — so is negative and is real. Everything else here, including the , the and the that ties them together, is that one computation done in components.
Where this lives today
Every synchrotron light source is an application of the transverse rule. The radiated power of a charged particle goes as the square of its proper acceleration, so says at once that the output scales as — which is why storage rings are built large, why electrons are the particle of choice, and why the LHC collides protons instead. The clock hypothesis is load-bearing infrastructure. It is what makes proper time a purely geometric quantity, , depending on the path and not on the forces that produced it — without it there is no unambiguous twin paradox, no well-posed ageing of an accelerated observer, and no way to build the Rindler chart of the following articles. Every atomic clock ever flown quietly assumes it, and every one has been consistent with it.
The physical picture
Put an accelerometer on the table. It reads zero when it sits still and zero when it coasts, and something when a rocket pushes it. What it measures is not in any particular frame — it is the deviation of the worldline from a straight line. The instrument does not know which inertial frame you are using, so its reading must be an invariant. Making that precise takes one idea: the momentarily comoving inertial frame. At each instant of the particle's life, choose the inertial frame in which it is at rest at that instant. It will not stay at rest — by the next instant it has drifted — but for that one moment the frame matches, and the acceleration measured in that frame is the proper acceleration. The MCIF is not one frame but a continuous ladder of them, each tangent to the worldline for an instant. The accelerometer rides the ladder. Now the arithmetic that catches everyone. The lab sees the particle accelerating along its motion at . How big is that in the MCIF? Two effects conspire, and they multiply:
- A lab velocity increment is a larger increment in the MCIF, because velocities compose relativistically — differentiate and the factor is .
- The MCIF's clock runs faster than the particle's, , so the same increment is achieved in a shorter time — one more factor of .
Together: . Turn it round and you get the statement that governs every rocket: the lab-frame acceleration is , and it dies as even while the accelerometer reading holds steady. That is why constant proper acceleration traces a hyperbola and not a parabola (`aq-sr-relativistic-uniform-acceleration`). But if the acceleration is perpendicular to the velocity, only one effect survives — the transverse velocity transforms with a single factor of — and the answer is , one power of smaller. The same lab-frame acceleration is felt times more strongly along the motion than across it. That asymmetry is why a general formula is needed, and why the general formula is so often mis-copied.
The core equations
The four-velocity and four-acceleration are objects owned by `aq-sr-four-velocity` and `aq-sr-four-acceleration`; we recall them and go to work.
where: is proper time. Differentiating the constant gives at once
where: the minus sign is forced, not chosen: in a vector orthogonal to a timelike vector is spacelike, so . Sources written in print ; transcribing that into our convention asks for the root of a negative number. Operationally, , the acceleration measured in the MCIF — equation (3). The two special cases everyone actually uses:
where: in the lab. The collinear case picks up from velocity composition and one more from time dilation; the transverse case picks up in total. Read backwards: a rocket at constant thrust has coordinate acceleration , which decays to zero. And the general law, which unifies them. This is the equation this article exists to get right:
where: , and the two forms are algebraically identical (expand ). Physical reading: the exponent is six, not four. Set and (5) gives ; set , so , and it gives , i.e. . Both limits of (4) fall straight out. A in front of the bracket — which is what this article's AllQFT base prints — reproduces neither. See the warning. Finally, the assumption that lets any of this be measured: > The clock hypothesis. An ideal clock's rate depends on its instantaneous speed and not on its acceleration: , with no -dependent correction. This does not follow from the postulates. It is a separate hypothesis — Einstein's Uhrenhypothese — and it is an experimental question.
Working it out
The goal is to establish equation (2) and then identify with the reading of a physical instrument — two different claims, and the second is what makes the first useful. The first is a two-line consequence of the constancy of ; the second requires going into the momentarily comoving frame and looking. Doing both is what turns an index identity into physics an engineer can trust.
Step 1. Start from the normalisation: . Why: exactly , positive, because in a timelike vector has positive norm — and constant along <strong>every</strong> worldline, which makes the next step free.
Step 2. Differentiate with respect to proper time: , so identically. Why: no assumption about the motion entered. The four-acceleration is orthogonal to the four-velocity for every worldline in special relativity, always.
Step 3. Deduce the causal character. is timelike, and a nonzero vector orthogonal to a timelike vector must be spacelike. Hence , and is real. Why: the <strong>sign guard</strong>. If you find yourself writing , you have imported a mostly-plus formula. The magnitude is convention-independent; the formula is not.
Step 4. Now go to the MCIF and evaluate it there. In the frame where the particle is momentarily at rest, and , so and, since forces , the four-acceleration is purely spatial: . Then , so . Why: the payoff. The invariant , defined by an index contraction, equals the ordinary three-acceleration in the one frame where the particle is at rest — precisely what an accelerometer strapped to it reports. The abstraction and the instrument agree. *Verified symbolically in verify_aq-sr-proper-acceleration-comoving-frame.py: for a generic symbolic worldline , , and in ; and boosting to the instantaneous rest frame returns with .*
Go deeper · Derivation B · 2 minThe general law: gamma to the sixth, and why gamma to the fourth fails both limits
This card is the article's owned structural result, and it exists because the formula it derives is printed incorrectly in this article's AllQFT base — where belongs. That is not cosmetic: it makes the general law disagree with both of its own special cases, each by a factor of , while the base's own limits table quotes those cases correctly. The base contradicts itself, and the contradiction is invisible unless somebody substitutes. So: derive from scratch, then substitute.
Step 1. Compute in components, with no restriction on . From and : . Why: two derivatives, one chain rule. Everything hard hides in .
Step 2. Evaluate . From , . Why: note it depends only on the component of <strong>along</strong> — a purely transverse acceleration does not change the speed, so it does not change at all. This single fact is the origin of the entire collinear/transverse asymmetry.
Step 3. Contract. and . Then, in ,
Why: the first term's eats two powers of , turning into , which then cancels against half the cross term. This is where a careless hand loses a factor of — and losing exactly is precisely how becomes .
Step 4. Read off and rewrite. . Using and , this is identically — equation (5). Why: both forms are useful — the first shows that only the <strong>longitudinal</strong> part of gets the extra boost; the second is the compact one textbooks quote, and the one the base mangles.
Step 5. Substitute the limits — the check the base never performed. Collinear, : (5) gives ✓. Transverse, so : (5) gives , so ✓. Now the base's version: collinear ✗, transverse ✗. Why: <strong>wrong by a factor of in both limits</strong> — and the base's own limits table prints and . The base disagrees with itself. This is exactly the defect class that survives review: an equation nobody substitutes into. *Verified symbolically and numerically in verify_aq-sr-proper-acceleration-comoving-frame.py: for a generic , sympy confirms exactly, and confirms that the base's form is not equal to it; both limits are substituted into both forms and the base's failures are asserted.*
Go deeper · Derivation C · 2 minThe clock hypothesis, and the muon that was accelerated at ten to the eighteen g
Everything above computes what an accelerometer reads. Nothing above tells you what a clock does. That these are independent questions is easy to miss and impossible to derive: the assertion that a clock's rate is fixed by its instantaneous speed alone, with no -dependent correction, is an extra postulate. The goal here is to state it honestly, show why it cannot be proved, and show how it was tested — at an acceleration so large that any plausible correction should have screamed.
Step 1. State what relativity actually gives you. The Lorentz transformations relate two inertial frames. Applied to a momentarily comoving frame they tell you the relation between and at that instant: . Why: a statement about an instant — and an instant has a velocity but no history. Nothing forbids a real clock from also responding to ; a mechanical one certainly would if you shook it hard enough.
Step 2. Recognise the gap. Integrating along an accelerated worldline needs the extra assumption that the instantaneous relation still holds while the particle accelerates. That is the clock hypothesis: it defines "ideal clock", and it makes a property of the path, not of the dynamics. Why: without it the twin paradox has no definite answer, the proper time of a curved worldline is not geometric, and none of this chapter's machinery is well posed. It is load-bearing.
Step 3. Design the test. You want a clock that is genuinely a clock, moving fast enough for to be large and precisely known, and accelerated enormously. A muon in a storage ring is all three: its decay is an ideal clock, is set by the beam momentum, and circular motion at gives a transverse proper acceleration that is astronomical for a small ring. Why: circular motion is the trick — it cranks to absurd values while holding , and hence , exactly constant. The two variables are cleanly separated, which is what a good experiment does.
Step 4. Do the arithmetic for the CERN ring. With , : , so , and by the transverse rule (4), . Why: note which formula was used. Get the transverse rule wrong — or use the base's -law, which gives — and this headline number moves by a factor of . The significance of the whole experiment rests on the exponent this article is at pains to fix.
Step 5. Read the verdict. Bailey et al. (Nature 268, 301–305, 1977) measured the dilated lifetime of both and at that and found the Einstein factor to agree with experiment to a fractional error of at 95 % confidence, with no detectable acceleration dependence. The measured proper lifetime, , dilates to in the lab. Why: the clock hypothesis survives at to two parts in a thousand. It remains an assumption — an experiment bounds a correction, it never abolishes one — but it now has a very sharp fence around it, and that is the honest way to describe it. *Verified in verify_aq-sr-proper-acceleration-comoving-frame.py: , , and the conversion to are recomputed from , m at 50-digit precision, and the dilated lifetime is checked against the quoted .*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| Newton: proper and coordinate acceleration coincide | ||
| the rocket case; read backwards, | ||
| the storage-ring case; one power of less | ||
| general | contains both above; the exponent is six |
Worked examples
1 · How hard is a muon in a storage ring pushed?
The CERN muon storage ring holds muons at on a circle of radius . What proper acceleration do they feel, and what does that do to their clocks?
Step 1 — identify. Circular motion means : this is the transverse case, . Getting this exponent right is the whole exercise.
Step 2 — the lab acceleration. , so and
Step 3 — the proper acceleration. , which in units of surface gravity is .
Step 4 — the boundary number. A billion billion gravities — and the muon's clock does not notice. Its lifetime is dilated by and by nothing else: a proper lifetime of becomes in the lab, which is what Bailey et al. measured, to at 95 % confidence. The clock hypothesis is not a formality — it has been tested at the edge of what physics can arrange, and it held. Note what the base's -law would have said here: , low by a factor of .
2 · The same push, felt two ways
A particle at is subjected to a lab-frame acceleration of magnitude . How hard does it feel if the push is along its motion? And across it?
Step 1 — identify. Same , same , two orientations. Use equation (5), or equivalently the two limits (4).
Step 2 — the Lorentz factor. , so and .
Step 3 — apply. Collinear: . Transverse: .
Step 4 — the boundary number. The ratio is exactly : the identical lab-frame acceleration is felt seven times harder along the motion than across it. That is why the direction of relative to must appear in the general law — as it does, through . It is also the sharpest check on equation (5): substitute the two orientations and you must recover and . The base's form recovers and , and is caught in a single line of arithmetic.
Physics of the portrait
Proper acceleration is the one number about a worldline's bending that everybody agrees on — and the one an instrument actually reports.
Origins · 2 minProper acceleration and how this was discovered
The idea arrives with the geometry. Minkowski's 1908 "Raum und Zeit" introduced Eigenzeit — proper time — and with it the possibility of differentiating a worldline with respect to an invariant, which is what makes and four-vectors at all. Before that there was no clean way to say what an accelerating particle's acceleration was: every frame gave a different answer and none was privileged. Einstein had already, in his 1907 Jahrbuch review, used a uniformly accelerated reference frame as a device for thinking about gravity, and Born in 1909 wrote down the worldline of constant proper acceleration and named the motion hyperbolic. What none of them could do was prove that a clock on such a worldline ticks at the rate its instantaneous speed dictates and no other. Einstein simply assumed it — the Uhrenhypothese — and said so. It stayed an assumption for seventy years, respectable but untested at any interesting acceleration, until the CERN Muon Storage Ring made it answerable. In 1977 J. Bailey and a large collaboration published in Nature (268, 301–305) the lifetimes of positive and negative muons circulating at , under a transverse proper acceleration of order — more than anything in any laboratory before or since. The Einstein factor agreed to at 95 % confidence, with no acceleration-dependent term; as a by-product they delivered the most accurate proper lifetime of the negative muon then known, . An assumption, tested where it could most plausibly have failed, and vindicated.
Going further
Texts. Rindler, Introduction to Special Relativity, 2nd ed. · Misner, Thorne & Wheeler, Gravitation, §6 (accelerated observers, the clock hypothesis) · Bailey, J. et al., Nature 268, 301–305 (1977) · Born, M., Ann. Phys. 335, 1–56 (1909).
Provenance. Signature ; , (negative, spacelike). Every equation and number above is recomputed in verify_aq-sr-proper-acceleration-comoving-frame.py at 50-digit precision, which also greps this article for every printed value. Base defect found and repaired. The AllQFT base's eq[5] prints . The exponent must be 6, not 4. The base's form yields for collinear motion and for transverse — short by a factor of in both, and in direct contradiction with the base's own limits table, which correctly lists and . The verify script derives the correct identity symbolically from and asserts that the form is not equal to it. Note for the programme: the LANE_SPEC's GATE-0 table cleared this equation as "right but ugly"; that assessment is refused here, on the sympy derivation above.
Scope. The four-velocity and four-acceleration as objects belong to `aq-sr-four-velocity` and `aq-sr-four-acceleration` — recalled, not re-derived. The hyperbolic worldline that follows from constant is derived in `aq-sr-relativistic-uniform-acceleration` and only named here. The Unruh temperature, which the base attaches to this article, is a signpost; it belongs to `aq-sr-unruh-effect`.
Builds on. Four-Velocity · Proper Time · The Minkowski Metric. Leads to. Relativistic Uniform Acceleration and the Rindler Hyperbola · Rindler Coordinates · The Equivalence Principle · The Relativistic Rocket Equation and Traveler Time.
Why does the collinear case get three powers of gamma and the transverse case only two?
Because responds only to changes in speed, and a transverse acceleration does not change the speed: vanishes identically when . So the whole machinery switches off, leaving only the two factors from converting a lab time interval and a lab transverse velocity into the comoving frame — giving . Collinear, is nonzero and contributes the extra power. The asymmetry is not algebraic bookkeeping; it is the statement that speeding a particle up is harder than turning it.
Is proper acceleration the same as the force divided by the mass?
Only in the rest frame — which is precisely where it is defined. The four-force is with the invariant mass, so : rest-frame force per unit rest mass, exactly as Newton would have it. What is not true is that the lab three-force equals with constant — the lab relation carries those same and factors, which is the origin of the old "longitudinal mass" and "transverse mass" . That vocabulary tried to save by making mass direction-dependent. Better to keep the mass invariant and put the 's where they belong: in the kinematics.
Could a real clock be affected by acceleration, in violation of the clock hypothesis?
A real mechanical clock certainly can — shake a wristwatch hard enough and it stops. The clock hypothesis is a statement about ideal clocks, and it amounts to defining an ideal clock as one whose rate is unaffected by acceleration. The physical content is the empirical claim that such clocks exist, or that the systems we use approximate them to a stated precision. A muon's decay is an excellent candidate: it is governed by internal physics on a timescale far shorter than any over which the external acceleration varies, so corrections should be of order with the internal size — utterly negligible. Bailey et al. bounded them at , and there they remain.
If the muon feels 10^18 g, why does its lifetime depend only on its speed?
Because time dilation is a statement about the geometry of the worldline, not about the forces bending it. The factor is fixed by the worldline's instantaneous tangent, and the proper time is the invariant arc length , which knows nothing about the path's curvature. The acceleration is that curvature, and the clock hypothesis is exactly the assertion that the arc length is what the clock measures. Be blunt about the direction of the inference: the muon experiment does not explain why acceleration is irrelevant. It tests whether it is, at the largest acceleration anyone has arranged, and finds nothing at the two-parts-in-a-thousand level.
Where does the base's gamma-to-the-fourth error actually come from?
Almost certainly from mishandling the that appears when the time component is contracted. In Step 3 of the general derivation, while the spatial part contributes ; their difference carries . Drop that step and you land on . The error is easy to make and completely invisible — until you substitute a special case, at which point it fails immediately in both limits. Substituting limits into every general formula is not pedantry; it is the cheapest error-detection there is, and it is what caught this one.
Does the Unruh temperature belong here, since it is proportional to alpha?
It is proportional to the proper acceleration — — and this article's base does list it. But it is not a result of special relativity at all: it is quantum field theory in a Rindler wedge, requiring a mode decomposition of the vacuum with respect to the accelerated observer's time coordinate. Quoting it here would be quoting a conclusion whose derivation lives elsewhere, so this article names it and stops; it belongs to `aq-sr-unruh-effect`. What does belong here is that — the invariant this article defines — is the quantity the temperature depends on, which is one more reason the exponent in (5) has to be right.