Four-Acceleration

Strap an accelerometer to a rocket. It reads a number. That number is not "the rate of change of the rocket's velocity" — because velocity is frame-dependent, and different observers watching the same rocket disagree about dv⃗/dtd\vec{v}/dt by factors of γ2\gamma^2, γ3\gamma^3, even γ4\gamma^4. Yet the accelerometer reads one number, and everyone agrees on what it reads, because it is a physical instrument with a needle on it. Something invariant is being measured. What? The answer is the four-acceleration Aμ=dUμ/dτA^\mu = dU^\mu/d\tau, and the striking fact about it is that it is always spacelike. It has to be. The four-velocity has constant length, U⋅U=+c2U\cdot U = +c^2, and differentiating a constant gives A⋅U=0A\cdot U = 0: the four-acceleration is Minkowski-orthogonal to the four-velocity. But UU is timelike, and anything orthogonal to a timelike vector is spacelike. So A⋅A=−α2≤0A\cdot A = -\alpha^2 \le 0, and α\alpha — the positive number whose square is −A⋅A-A\cdot A — is an invariant. Go to the particle's instantaneous rest frame and Aμ=(0, α⃗ )A^\mu = (0,\ \vec{\alpha}\,): purely spatial. That is what the accelerometer reads. Proper acceleration is not a coordinate artefact to be transformed away. It is a scalar, defined without reference to any frame, and it is the honest measure of how hard something is being pushed. Two consequences follow, and they are why engineers care. In the lab, a longitudinal push obeys α=γ3a∥\alpha = \gamma^3 a_\parallel — so a particle at γ=1000\gamma = 1000 needs a billion times the lab-frame acceleration to feel the same shove. That γ3\gamma^3 is why a linac shows such brutal diminishing returns, and why accelerator physicists quote energy and never speed. And if α\alpha is held constant, the resulting worldline is not a parabola but a hyperbola — the curve on which Rindler coordinates, Born rigidity, the equivalence principle and the Unruh effect are all built.

Key takeaways
  • Signature (+,−,−,−)(+,-,-,-): ημν=diag(+1,−1,−1,−1)\eta_{\mu\nu} = \mathrm{diag}(+1,-1,-1,-1). Recalled by name from Four-Vectors (`aq-sr-four-vectors`), which derives U⋅U=+c2U\cdot U = +c^2 and A⋅U=0A\cdot U = 0. This article takes those as given.
  • Aμ≡dUμ/dτ=d2xμ/dτ2A^\mu \equiv dU^\mu/d\tau = d^2x^\mu/d\tau^2 — differentiate with respect to the invariant proper time.
  • Owned result: orthogonality plus a timelike UU forces AA to be SPACELIKE, hence A⋅A=−α2≤0\boxed{A\cdot A = -\alpha^2 \le 0}. It is negative. In the instantaneous rest frame Aμ=(0, α⃗ )A^\mu = (0,\ \vec{\alpha}\,), so α\alpha is literally what an accelerometer reads — proper acceleration is thereby defined as an invariant, not computed in some frame.
  • Owned result: the lab reduction α=γ3a∥\alpha = \gamma^3 a_\parallel and α=γ2a⊥\alpha = \gamma^2 a_\perp. Different powers of γ\gamma, and the γ3\gamma^3 is why pushing a fast particle along its motion is so much harder than deflecting it.
  • Owned result: the general formula α2=γ6[a2−(v⃗×a⃗ )2/c2]\alpha^2 = \gamma^6\big[a^2 - (\vec{v}\times\vec{a}\,)^2/c^2\big], containing both special cases.
  • Owned result: constant α\alpha integrates to HYPERBOLIC motion, x=(c2/α)cosh⁡(ατ/c)x = (c^2/\alpha)\cosh(\alpha\tau/c), ct=(c2/α)sinh⁡(ατ/c)ct = (c^2/\alpha)\sinh(\alpha\tau/c) — not the Newtonian parabola. The worldline is x2−c2t2=(c2/α)2x^2 - c^2t^2 = (c^2/\alpha)^2, and it reproduces A⋅A=−α2A\cdot A = -\alpha^2 exactly.
  • Key idea: the four-acceleration is always orthogonal to the four-velocity, and therefore always spacelike. A particle cannot accelerate "in the time direction" — which is precisely why ∣v⃗∣|\vec{v}| can approach cc forever and never arrive. The speed limit is orthogonality, not a force running out.
The core insight

The three-acceleration a⃗=dv⃗/dt\vec{a} = d\vec{v}/dt is bookkeeping: frame-dependent, and not even the spatial part of AμA^\mu. The invariant is α\alpha, and the cleanest way to see it is that α/c2\alpha/c^2 is the curvature of the worldline in Minkowski space. A straight worldline has zero curvature and zero proper acceleration; a curved one has both, and how tightly it curves is what the accelerometer reports.

Where this lives today

Proper acceleration is the quantity synchrotron radiation actually depends on. The radiated power is P=q2γ66πϵ0c3[a2−(v⃗×a⃗)2/c2]=q2α26πϵ0c3P = \dfrac{q^2\gamma^6}{6\pi\epsilon_0c^3}\big[a^2 - (\vec v\times\vec a)^2/c^2\big] = \dfrac{q^2\alpha^2}{6\pi\epsilon_0c^3} — the relativistic Larmor formula, whose bracket is precisely equation (4). The loss is therefore set by the invariant α\alpha and nothing else, which is why electrons in a storage ring bleed energy catastrophically (huge transverse α\alpha) while the same electrons in a linac barely radiate at all. It is the reason LEP was replaced by the LHC in the same tunnel: protons, ∼ ⁣1836\sim\!1836 times heavier, reach a given energy at a far smaller γ\gamma, and α\alpha — hence the radiated power — collapses with it. The hyperbolic worldline of equation (5) is the flat-spacetime laboratory for horizon physics. A uniformly accelerated observer asymptotes to the light cone, which becomes a causal horizon: signals from beyond it never arrive. That is the Rindler horizon, the arena in which Born rigidity is defined (`aq-sr-born-rigidity`) and in which the Unruh effect assigns a temperature proportional to the invariant α\alpha — as it must be, since a temperature cannot depend on a coordinate choice.

Origins · 1 minFour-acceleration and how this was discovered
F
Four-acceleration
1909–1966 · Minkowski's Eigenzeit · Born's hyperbolic worldline · Rindler's horizon · the invariant an accelerometer reads

The four-acceleration has no single author; it is what you get the moment you have a four-velocity and take another derivative with respect to proper time — a step implicit in Minkowski's 1908 Grundgleichungen. What had to be discovered was the physics on the far side of it. In 1909 Max Born, working out what "rigid" could mean for an accelerating electron, wrote down the worldline of constant proper acceleration and found it is a hyperbola, asymptotic to the light cone: the motion now universally called hyperbolic. That single curve became one of the most productive objects in physics — the trajectory of the twin who turns around, the congruence that defines Born-rigid motion, and, once Wolfgang Rindler had drawn out its coordinate system in the 1960s, the flat-spacetime model of a black-hole horizon. The invariant α\alpha later acquired a stranger role still: in 1976 William Unruh showed that an observer with proper acceleration α\alpha perceives the Minkowski vacuum as a thermal bath at T=ℏα/(2πckB)T = \hbar\alpha/(2\pi ck_B). Reaching one kelvin needs α≈2.5×1020 m/s2\alpha \approx 2.5\times10^{20}\ \mathrm{m/s^2} — comparable to what an LHC proton feels on the bend — and it has never been observed. It remains the sharpest known link between acceleration, horizons and quantum theory.

History
1908
— Minkowski's Grundgleichungen introduces proper time and the four-dimensional derivative dx/dτ, from which the four-acceleration follows immediately.
1909
— Max Born, in "Die Theorie des starren Elektrons in der Kinematik des Relativitätsprinzips" (Ann. Phys. 335, 1–56), finds that constant proper acceleration gives a hyperbolic worldline, and uses it to define rigid motion.
1909
— Sommerfeld and von Laue take up hyperbolic motion; it becomes the standard example of relativistic accelerated motion.
1960
s — Wolfgang Rindler develops the coordinate system of the uniformly accelerated observer and identifies the causal horizon of hyperbolic motion.
1976
— William Unruh shows that an observer of proper acceleration α sees the vacuum as a thermal bath at T = ħα/(2πck_B), tying the invariant directly to quantum field theory.

The physical picture

Everything here descends from one line, established at `aq-sr-four-vectors`: since U⋅U=c2U\cdot U = c^2 is constant, differentiating along the worldline gives ddτ(U⋅U)=2 A⋅U=0\frac{d}{d\tau}(U\cdot U) = 2\,A\cdot U = 0, hence A⋅U=0A\cdot U = 0. We recall that result rather than re-derive it. What we do here is take it seriously, because it has a consequence that is easy to state and hard to over-state: AμA^\mu is always spacelike. Why? A timelike vector — and UU is timelike, U⋅U=+c2>0U\cdot U = +c^2 > 0 — has a rest frame, one in which it points purely along the time axis, Uμ=(c,0⃗ )U^\mu = (c, \vec{0}\,). There, A⋅U=0A\cdot U = 0 reads A0c=0A^0c = 0, so A0=0A^0 = 0. The four-acceleration has no time component in the particle's own frame: it is purely spatial, and a purely spatial four-vector is spacelike, with a negative norm. Hence A⋅A=−∣A⃗∣2≡−α2≤0A\cdot A = -|\vec{A}|^2 \equiv -\alpha^2 \le 0 — and since A⋅AA\cdot A is an invariant, that classification holds in every frame, whatever the components look like. This is not a formal curiosity. It says a particle cannot accelerate in the time direction, and that is the real reason vv approaches cc and never reaches it. It is not that the engines give out. It is that the four-velocity is confined to a hyperbola by its own constant length, and all an acceleration can do is slide it along.

Figure
PUNCHLINE — the four-acceleration is ALWAYS orthogonal to the four-velocity, and therefore ALWAYS spacelike. LEFT: U rides the hyperbola U·U = +c², so it has fixed length; A = dU/dτ is tangent to that hyperbola, which is exactly the Minkowski-orthogonal direction. In the particle's own rest frame U = (c, 0) and orthogonality forces A⁰ = 0, so A = (0, α) is purely spatial — and α is what the accelerometer reads. RIGHT: because A is spacelike, A·A = −α² is NEGATIVE. In the (−,+,+,+) signature it would be +α². Get this sign wrong and every threshold in the dynamics chapter is corrupted, with no numeric check to catch it
U⁰/c U¹/c light U·U = +c² fixed length — U cannot grow, only turn U A = dU/dτ tangent to the hyperbola = Minkowski-orthogonal to U A·U = 0 (from d/dτ of U·U = const) in the INSTANTANEOUS REST FRAME U = (c, 0⃗) A·U = 0 ⇒ A⁰·c = 0 ⇒ A⁰ = 0 A = (0, α⃗) — purely SPATIAL so α is what the accelerometer READS and it is an INVARIANT, not a component THE SIGN — get it right A orthogonal to timelike U ⇒ A is SPACELIKE A·A = −α² ≤ 0 in (+,−,−,−) it would be +α² in (−,+,+,+) no numeric check catches a silent flip A particle cannot accelerate in the TIME direction — which is exactly why v approaches c forever and never arrives

Now the lab. The relation between the invariant α\alpha and the coordinate acceleration a⃗=dv⃗/dt\vec{a} = d\vec{v}/dt that an observer measures is not a single factor of γ\gamma, and it is not even a single factor at all: it depends on the direction of the push relative to the motion. Push along the velocity and you pay γ3\gamma^3. Push across it and you pay only γ2\gamma^2. That asymmetry is real, it is measurable, and it is the reason linear accelerators are long.

Figure
PUNCHLINE — the γ³ is why a linac has brutal diminishing returns. An electron in a 20 MV/m field feels a CONSTANT proper acceleration α = eE/m = 3.52×10¹⁸ m/s² (about 3.6×10¹⁷ g) — the accelerometer reading never changes. But the LAB-frame acceleration a = α/γ³ collapses: by γ = 1000 it has fallen by a factor of a BILLION, to 3.52×10⁹ m/s². The particle is being pushed exactly as hard as ever and is barely speeding up at all. This is why accelerator physicists quote ENERGY and never speed. Transverse pushes cost only γ², which is why bending a beam is comparatively cheap — an LHC proton at γ = 7247 on the ring feels α = γ²c²/R = 1.11×10²¹ m/s²
lab a (m/s²) γ 10¹⁸10¹⁵10¹²10⁹ 1101001000 α = eE/m = 3.52×10¹⁸ m/s² — CONSTANT what the electron actually feels. It never changes. lab a = α/γ³ falls a BILLION-fold by γ = 1000 γ = 1: a = 3.52×10¹⁸ γ = 10: 3.52×10¹⁵ γ = 100: 3.52×10¹² γ = 1000: 3.52×10⁹ longitudinal vs transverse α = γ³a∥ — push ALONG the motion α = γ²a⊥ — push ACROSS it one γ cheaper — bending beats boosting LHC proton, γ = 7247, ring radius 4243 m: α = γ²c²/R = 1.11×10²¹ m/s² — the most violently accelerated matter we make

The core equations

Aμ≡dUμdτ=d2xμdτ2,  A⋅U=0  (1)A^{\mu} \equiv \frac{dU^{\mu}}{d\tau} = \frac{d^{2}x^{\mu}}{d\tau^{2}}, \qquad\qquad \boxed{\;A\cdot U = 0\;} \qquad (1)

where: τ\tau — proper time; the orthogonality A⋅U=0A\cdot U = 0 is derived at `aq-sr-four-vectors` and recalled here. Physical reading: AμA^\mu is a four-vector because dτd\tau is a scalar. The orthogonality is not an assumption but a theorem, and it follows from nothing more than U⋅UU\cdot U being constant.

  A⋅A=ημνAμAν=− α2  ≤  0  ,Aμ∣rest frame=(0, α⃗ )(2)\boxed{\;A\cdot A = \eta_{\mu\nu}A^{\mu}A^{\nu} = -\,\alpha^{2} \;\le\; 0\;}, \qquad\qquad A^{\mu}\big|_{\text{rest frame}} = \big(0,\ \vec{\alpha}\,\big) \qquad (2)

where: α≡−A⋅A\alpha \equiv \sqrt{-A\cdot A} — the proper acceleration, a Lorentz scalar. Physical reading: the sign is negative and it matters. AA is spacelike because it is orthogonal to a timelike vector. In (−,+,+,+)(-,+,+,+) this reads +α2+\alpha^2, and a silent flip between conventions corrupts every downstream result without changing a digit of any numeric check. The lab-frame components, obtained by pushing d/dτ=γ d/dtd/d\tau = \gamma\,d/dt through Uμ=γ(c,v⃗ )U^\mu = \gamma(c,\vec{v}\,):

Aμ=( γ4v⃗⋅a⃗c ,  γ2a⃗+γ4(v⃗⋅a⃗ )c2 v⃗ )(3)A^{\mu} = \left(\ \gamma^{4}\frac{\vec{v}\cdot\vec{a}}{c}\ ,\ \ \gamma^{2}\vec{a} + \gamma^{4}\frac{(\vec{v}\cdot\vec{a}\,)}{c^{2}}\,\vec{v}\ \right) \qquad (3)

where: a⃗=dv⃗/dt\vec{a} = d\vec{v}/dt — the ordinary three-acceleration. Physical reading: the spatial part of AμA^\mu is not a⃗\vec{a}, and not γ2a⃗\gamma^2\vec{a} either — there is an extra term along v⃗\vec{v}, and A⃗\vec{A} is not even parallel to a⃗\vec{a} in general. This is the single most common algebra slip in the subject. Contracting (3) with itself gives the general lab formula, and its two famous special cases:

  α2=γ6 ⁣[ a2−(v⃗×a⃗ )2c2 ]  ⟹  α=γ3a∥  and  α=γ2a⊥  (4)\boxed{\;\alpha^{2} = \gamma^{6}\!\left[\,a^{2} - \frac{(\vec{v}\times\vec{a}\,)^{2}}{c^{2}}\,\right]\;} \qquad\Longrightarrow\qquad \boxed{\;\alpha = \gamma^{3}a_{\parallel}\;}\quad\text{and}\quad \boxed{\;\alpha = \gamma^{2}a_{\perp}\;} \qquad (4)

where: a∥a_\parallel, a⊥a_\perp — the components of a⃗\vec{a} along and across v⃗\vec{v}. Physical reading: for a purely longitudinal push v⃗×a⃗=0\vec{v}\times\vec{a} = 0 and the bracket is a2a^2, giving α=γ3a\alpha = \gamma^3 a. For a purely transverse push ∣v⃗×a⃗∣=va|\vec{v}\times\vec{a}| = va, the bracket is a2(1−β2)=a2/γ2a^2(1-\beta^2) = a^2/\gamma^2, and α=γ2a\alpha = \gamma^2 a. The two differ by a factor of γ\gamma, and that factor is the whole economics of accelerator design. Finally, the integral of α=const\alpha = \text{const} — Newton's parabola, relativistically corrected into a hyperbola:

x(τ)=c2αcosh⁡ ⁣ατc,ct(τ)=c2αsinh⁡ ⁣ατc⟹x2−c2t2=(c2α)2(5)x(\tau) = \frac{c^{2}}{\alpha}\cosh\!\frac{\alpha\tau}{c}, \qquad ct(\tau) = \frac{c^{2}}{\alpha}\sinh\!\frac{\alpha\tau}{c} \qquad\Longrightarrow\qquad x^{2} - c^{2}t^{2} = \left(\frac{c^{2}}{\alpha}\right)^{2} \qquad (5)

where: the worldline is the invariant hyperbola at spacelike interval c2/αc^2/\alpha from the origin. Physical reading: hyperbolic motion. As τ→∞\tau \to \infty the worldline hugs the light cone asymptotically but never touches it. This is the curve on which Rindler coordinates, Born rigidity (`aq-sr-born-rigidity`) and the Unruh effect are all built.

Deriving the four-acceleration

Derivation AOrthogonality forces a spacelike four-acceleration — so alpha is an invariant

The goal is to establish the article's foundational claim: that A⋅A≤0A\cdot A \le 0 always, with no exceptions, and that the resulting invariant α\alpha is exactly the accelerometer reading. The argument is short, but the order of the logic matters and is often garbled. We do not first define α\alpha in the rest frame and then show it is invariant — that would be circular. We show the vector is spacelike by a frame-free argument, deduce that a rest frame exists in which it is purely spatial, and only then read off what the instrument measures.

Step 1. Recall the orthogonality. From `aq-sr-four-vectors`: U⋅U=+c2U\cdot U = +c^2 is constant along every massive worldline, so ddτ(U⋅U)=2 A⋅U=0\dfrac{d}{d\tau}(U\cdot U) = 2\,A\cdot U = 0, hence A⋅U=0A\cdot U = 0. Why: this is recalled, not re-derived — it is 1890's owned result. The metric η\eta is constant, so it passes through the derivative, and the product rule supplies the factor 2. No components were used, so it holds for arbitrary motion.

Step 2. Deduce spacelikeness, without choosing a frame. UU is timelike (U⋅U=+c2>0U\cdot U = +c^2 > 0), and a general theorem of Minkowski geometry says any vector orthogonal to a timelike vector is spacelike (or zero). Hence A⋅A≤0A\cdot A \le 0, and we define α≥0\alpha \ge 0 by A⋅A=−α2\boxed{A\cdot A = -\alpha^2}. Why: A⋅AA\cdot A is a full contraction, hence a Lorentz scalar — the same number in every frame. "Spacelike" is therefore an absolute classification, and α\alpha is well-defined before any frame has been named. That is what makes the next step a measurement rather than a convention.

Step 3. Now go to the instantaneous rest frame and read the instrument. Because UU is timelike there is a frame in which Uμ=(c, 0⃗ )U^\mu = (c,\ \vec{0}\,). In it, A⋅U=ημνAμUν=A0c=0A\cdot U = \eta_{\mu\nu}A^\mu U^\nu = A^0 c = 0, forcing A0=0A^0 = 0. So Aμ=(0, α⃗ )A^\mu = (0,\ \vec{\alpha}\,) — purely spatial — and A⋅A=0−∣α⃗∣2=−∣α⃗∣2A\cdot A = 0 - |\vec\alpha|^2 = -|\vec\alpha|^2, confirming ∣α⃗∣=α|\vec{\alpha}| = \alpha. Why: an accelerometer is a device that is momentarily at rest with respect to the thing it is bolted to. It therefore measures precisely ∣α⃗∣|\vec{\alpha}| in this frame — and by Step 2 that number is the invariant. <strong>Proper acceleration is not &quot;the acceleration in a particular frame&quot;; it is a scalar that happens to be easiest to read in that frame.</strong>

Step 4. Check the boundary case. If A⋅A=0A\cdot A = 0 with A≠0A \ne 0, then AA would be null and orthogonal to timelike UU — impossible, since the only such vector is zero. So A⋅A=0  ⟺  Aμ=0  ⟺  A\cdot A = 0 \iff A^\mu = 0 \iff inertial motion. Why: the classification is clean. Zero proper acceleration means a straight worldline, means free fall, means the accelerometer reads zero. There is no degenerate middle case. *Verified symbolically in verify_aq-sr-four-acceleration.py: A⋅U=0A\cdot U = 0 for an arbitrary v⃗(t)\vec{v}(t) in 3D; A⋅A≤0A\cdot A \le 0 checked over 300 random (v⃗,a⃗)(\vec v, \vec a) with ∣v⃗∣<c|\vec v| < c; and A⋅A=−α2A\cdot A = -\alpha^2 asserted negative (the base's summary calls it "positive with (+,−,−,−)(+,-,-,-)", which is wrong twice over).*

Go deeper · Derivation B · 2 minThe lab-frame reduction — where the gamma-cubed comes from
Derivation BThe lab-frame reduction — where the gamma-cubed comes from

An accelerometer reads α\alpha, but an experimenter with a ruler and a clock measures a⃗=dv⃗/dt\vec{a} = d\vec{v}/dt. The relation between them is the practical heart of relativistic dynamics, and it is not a single factor of γ\gamma — it depends on the angle between the push and the motion. This card derives the general formula and extracts the two cases that matter, because the difference between γ3\gamma^3 and γ2\gamma^2 is the difference between a three-kilometre linac and a bending magnet.

Step 1. Convert the derivative. ddτ=dtdτddt=γddt\dfrac{d}{d\tau} = \dfrac{dt}{d\tau}\dfrac{d}{dt} = \gamma\dfrac{d}{dt}, so Aμ=γddt[γ(c, v⃗ )]A^\mu = \gamma\dfrac{d}{dt}\Big[\gamma\big(c,\ \vec{v}\,\big)\Big]. We will need dγdt=γ3v⃗⋅a⃗c2\dfrac{d\gamma}{dt} = \gamma^3\dfrac{\vec{v}\cdot\vec{a}}{c^2}, which follows from differentiating γ=(1−v2/c2)−1/2\gamma = (1-v^2/c^2)^{-1/2}. Why: everything below is the product rule applied to this one expression. The γ3\gamma^3 that will dominate the story is already visible here — it is born in dγ/dtd\gamma/dt, not in the boost.

Step 2. Assemble the components. Time slot: A0=γ d(γc)dt=γ⋅c⋅γ3v⃗⋅a⃗c2=γ4v⃗⋅a⃗cA^0 = \gamma\,\dfrac{d(\gamma c)}{dt} = \gamma\cdot c\cdot\gamma^3\dfrac{\vec{v}\cdot\vec{a}}{c^2} = \gamma^4\dfrac{\vec{v}\cdot\vec{a}}{c}. Space slot: A⃗=γd(γv⃗ )dt=γ[γa⃗+γ3(v⃗⋅a⃗ )c2v⃗]=γ2a⃗+γ4(v⃗⋅a⃗ )c2v⃗\vec{A} = \gamma\dfrac{d(\gamma\vec{v}\,)}{dt} = \gamma\Big[\gamma\vec{a} + \gamma^3\dfrac{(\vec{v}\cdot\vec{a}\,)}{c^2}\vec{v}\Big] = \gamma^2\vec{a} + \gamma^4\dfrac{(\vec{v}\cdot\vec{a}\,)}{c^2}\vec{v}. Why: note the second term. <strong>The spatial part of AμA^\mu is not simply γ2a⃗\gamma^2\vec{a}</strong>, and A⃗\vec{A} is generally not even parallel to a⃗\vec{a}. Forgetting this term is the classic slip.

Step 3. Contract, and simplify. A⋅A=(A0)2−∣A⃗∣2A\cdot A = (A^0)^2 - |\vec{A}|^2; grinding through (done symbolically in the verify script) it collapses to A⋅A=−γ6[a2−(v⃗×a⃗ )2/c2]A\cdot A = -\gamma^{6}\big[a^{2} - (\vec{v}\times\vec{a}\,)^{2}/c^{2}\big], hence α2=γ6[a2−(v⃗×a⃗ )2/c2]\alpha^{2} = \gamma^{6}\big[a^{2} - (\vec{v}\times\vec{a}\,)^{2}/c^{2}\big]. Why: the cross-product is doing real work. It measures how much of a⃗\vec{a} is <strong>transverse</strong> to v⃗\vec{v}, and transverse acceleration is discounted — which is exactly why it will cost one power of γ\gamma less.

Step 4. Read off the two cases. Longitudinal (a⃗∥v⃗\vec{a} \parallel \vec{v}): the cross product vanishes, the bracket is a2a^2, and α=γ3a∥\boxed{\alpha = \gamma^3 a_\parallel}. Transverse (a⃗⊥v⃗\vec{a} \perp \vec{v}): ∣v⃗×a⃗∣=va|\vec{v}\times\vec{a}| = va, so the bracket is a2(1−β2)=a2/γ2a^2(1 - \beta^2) = a^2/\gamma^2, and α2=γ6a2/γ2=γ4a2\alpha^2 = \gamma^6 a^2/\gamma^2 = \gamma^4a^2, giving α=γ2a⊥\boxed{\alpha = \gamma^2 a_\perp}. Why: <strong>a factor of γ\gamma separates them.</strong> To give a fast particle the same felt push, you must supply γ3\gamma^3 times the lab acceleration if you push it forwards, but only γ2\gamma^2 if you push it sideways. Equivalently: at fixed lab force, a fast particle is far more reluctant to speed up than to turn.

Step 5. Convert to money. An electron in a 2020 MV/m linac field feels α=eE/me=3.52×1018 m/s2\alpha = eE/m_e = \mathbf{3.52\times10^{18}\ m/s^{2}} — and it is constant, because for a longitudinal field α=γ3a=F/m\alpha = \gamma^3 a = F/m exactly. But the lab acceleration is a=α/γ3a = \alpha/\gamma^3, so by γ=1000\gamma = 1000 it has fallen to 3.52×109 m/s2\mathbf{3.52\times10^{9}\ m/s^{2}}: a billion-fold collapse. Why: the machine pushes exactly as hard as it ever did and the particle barely speeds up. This is why accelerator physicists never quote speed. Speed stopped being informative around γ≈3\gamma \approx 3; energy never stops. *Verified symbolically in verify_aq-sr-four-acceleration.py: equation (3) derived from γ d/dt[γ(c,v⃗)]\gamma\,d/dt[\gamma(c,\vec v)]; α2=γ6[a2−(v⃗×a⃗)2/c2]\alpha^2 = \gamma^6[a^2 - (\vec v\times\vec a)^2/c^2] proved for arbitrary symbolic v⃗(t)\vec{v}(t) in 3D; both special cases γ3a∥\gamma^3a_\parallel and γ2a⊥\gamma^2a_\perp recovered from it; and α=eE/me=3.52×1018\alpha = eE/m_e = 3.52\times10^{18} m/s², with a(γ=1000)=3.52×109a(\gamma{=}1000) = 3.52\times10^{9} m/s².*

Go deeper · Derivation C · 2 minConstant proper acceleration gives a hyperbola, not a parabola
Derivation CConstant proper acceleration gives a hyperbola, not a parabola

Newton says: push with constant acceleration and the worldline is a parabola, x=12at2x = \tfrac12 at^2, and the speed grows without limit. Relativity cannot allow that, so something must give — and what gives is the shape of the curve. This card integrates A⋅A=−α2=constA\cdot A = -\alpha^2 = \text{const} and shows the worldline is a hyperbola, then verifies the solution by feeding it back through the definition. This is 1917's owned result; `aq-sr-born-rigidity` uses it as given.

Step 1. Set up in rapidity, the variable that linearises the problem. Write Uμ=c (cosh⁡φ, sinh⁡φ)U^\mu = c\,(\cosh\varphi,\ \sinh\varphi), which satisfies U⋅U=c2(cosh⁡2φ−sinh⁡2φ)=c2U\cdot U = c^2(\cosh^2\varphi - \sinh^2\varphi) = c^2 identically, so φ\varphi automatically parametrises the hyperbola; then β=tanh⁡φ\beta = \tanh\varphi, γ=cosh⁡φ\gamma = \cosh\varphi. Why: any timelike unit vector can be written this way — nothing has been assumed, only good coordinates chosen. The payoff is immediate.

Step 2. Compute AμA^\mu and impose the constraint. Aμ=dUμ/dτ=c φ˙ (sinh⁡φ, cosh⁡φ)A^\mu = dU^\mu/d\tau = c\,\dot\varphi\,(\sinh\varphi,\ \cosh\varphi), so A⋅A=c2φ˙2(sinh⁡2φ−cosh⁡2φ)=−c2φ˙2A\cdot A = c^2\dot\varphi^2(\sinh^2\varphi - \cosh^2\varphi) = -c^2\dot\varphi^2. Setting this to −α2-\alpha^2 gives φ˙=α/c\boxed{\dot\varphi = \alpha/c}, hence φ(τ)=ατ/c\varphi(\tau) = \alpha\tau/c for a particle starting from rest. Why: <strong>rapidity grows linearly in proper time.</strong> That is the relativistic replacement for "velocity grows linearly in time" — and rapidity, unlike velocity, has no ceiling to bump against, which is exactly how the motion continues forever without vv reaching cc.

Step 3. Integrate to get the worldline. d(ct)dτ=U0=ccosh⁡(ατ/c)\dfrac{d(ct)}{d\tau} = U^0 = c\cosh(\alpha\tau/c) and dxdτ=U1=csinh⁡(ατ/c)\dfrac{dx}{d\tau} = U^1 = c\sinh(\alpha\tau/c). Integrating, with x(0)=c2/αx(0) = c^2/\alpha and t(0)=0t(0) = 0:

ct=c2αsinh⁡ατc,x=c2αcosh⁡ατc⟹x2−c2t2=(c2α)2.ct = \frac{c^{2}}{\alpha}\sinh\frac{\alpha\tau}{c}, \qquad x = \frac{c^{2}}{\alpha}\cosh\frac{\alpha\tau}{c} \qquad\Longrightarrow\qquad x^{2} - c^{2}t^{2} = \left(\frac{c^{2}}{\alpha}\right)^{2}.

Why: a <strong>hyperbola</strong>, of constant spacelike interval c2/αc^2/\alpha from the origin — hence the name "hyperbolic motion". The offset x(0)=c2/αx(0) = c^2/\alpha is a choice of origin that makes the algebra clean; it puts the vertex of the hyperbola on the xx-axis.

Step 4. Verify by substitution, which is the only honest check. Differentiate twice: A0=d2(ct)/dτ2=αsinh⁡(ατ/c)A^0 = d^2(ct)/d\tau^2 = \alpha\sinh(\alpha\tau/c) and A1=d2x/dτ2=αcosh⁡(ατ/c)A^1 = d^2x/d\tau^2 = \alpha\cosh(\alpha\tau/c). Then A⋅A=α2sinh⁡2−α2cosh⁡2=−α2A\cdot A = \alpha^2\sinh^2 - \alpha^2\cosh^2 = \boxed{-\alpha^2} ✓, and A⋅U=αsinh⁡⋅ccosh⁡−αcosh⁡⋅csinh⁡=0A\cdot U = \alpha\sinh\cdot c\cosh - \alpha\cosh\cdot c\sinh = 0 ✓. Why: the solution reproduces both structural facts exactly — the constant negative norm and the orthogonality. That closes the loop.

Step 5. Recover Newton, and see where he fails. For ατ/c≪1\alpha\tau/c \ll 1: cosh⁡u≈1+u2/2\cosh u \approx 1 + u^2/2, so x≈c2/α+12ατ2x \approx c^2/\alpha + \tfrac12\alpha\tau^2 — the parabola. But as τ→∞\tau \to \infty the hyperbola's asymptote is the light line x=ctx = ct: the worldline approaches the light cone and never crosses it. Why: the parabola is the small-τ\tau tangent to the hyperbola. Newton was not wrong; he was looking at a short arc of a curve whose far end he could not see. At 1 g1\,g, "short" means much less than c/g≈1c/g \approx 1 year. *Verified symbolically in verify_aq-sr-four-acceleration.py: the hyperbolic worldline substituted back into Aμ=d2xμ/dτ2A^\mu = d^2x^\mu/d\tau^2 reproduces A⋅A=−α2A\cdot A = -\alpha^2 and A⋅U=0A\cdot U = 0 exactly; U⋅U=+c2U\cdot U = +c^2 identically; φ˙=α/c\dot\varphi = \alpha/c; x2−c2t2=(c2/α)2x^2 - c^2t^2 = (c^2/\alpha)^2; and the small-τ\tau expansion recovers x≈c2/α+12ατ2x \approx c^2/\alpha + \tfrac12\alpha\tau^2.*

Limiting cases

CaseResultMeaning
v→0v \to 0, γ→1\gamma \to 1Aμ→(0, a⃗ )A^\mu \to (0,\ \vec{a}\,),  α→a\ \alpha \to aproper and coordinate acceleration coincide — the Newtonian regime
instantaneous rest frameAμ=(0, α⃗ )A^\mu = (0,\ \vec{\alpha}\,)purely spatial; α\alpha is the accelerometer reading
longitudinal pushα=γ3a∥\alpha = \gamma^3 a_\parallelbrutal: at γ=1000\gamma = 1000, a billion times harder to speed up
transverse pushα=γ2a⊥\alpha = \gamma^2 a_\perpone power of γ\gamma cheaper — bending beats boosting
inertial motionAμ=0A^\mu = 0,  α=0\ \alpha = 0straight worldline; the accelerometer reads zero
α=const\alpha = \text{const}hyperbola, x2−c2t2=(c2/α)2x^2 - c^2t^2 = (c^2/\alpha)^2rapidity grows linearly in τ\tau; v→cv \to c asymptotically, never arriving

Worked examples

1 · An electron in a linac: what it feels, and what the lab sees

An electron sits in a linear accelerator with a longitudinal field E=20E = 20 MV/m. What proper acceleration does it feel? What lab-frame acceleration does an observer measure when the electron has reached γ=1000\gamma = 1000?

Step 1 — identify. Longitudinal push, so α=γ3a∥\alpha = \gamma^3 a_\parallel. For a longitudinal field the force in the lab is F=eEF = eE and dp/dt=Fdp/dt = F with p=γmvp = \gamma m v, which gives F=γ3maF = \gamma^3 m a — so α=γ3a=F/m\alpha = \gamma^3 a = F/m exactly, and independently of γ\gamma. The proper acceleration is constant.

Step 2 — what the electron feels. α=eEme=(1.602176634×10−19 C)(2×107 V/m)9.1093837×10−31 kg=3.52×1018 m/s2\alpha = \dfrac{eE}{m_e} = \dfrac{(1.602176634\times10^{-19}\ \mathrm{C})(2\times10^{7}\ \mathrm{V/m})}{9.1093837\times10^{-31}\ \mathrm{kg}} = \mathbf{3.52\times10^{18}\ m/s^{2}}.

Step 3 — in human units. Dividing by g=9.81g = 9.81: α=3.6×1017 g\alpha = \mathbf{3.6\times10^{17}\,g} — and an accelerometer bolted to the electron reads this the whole way down the machine, at injection and at full energy alike.

Step 4 — what the lab sees at γ=1000\gamma = 1000. a=α/γ3=3.52×1018109=3.52×109 m/s2a = \alpha/\gamma^3 = \dfrac{3.52\times10^{18}}{10^{9}} = \mathbf{3.52\times10^{9}\ m/s^{2}}.

Step 5 — the boundary number. The lab acceleration has fallen by a factor of 109\mathbf{10^{9}} while the force, and the felt acceleration, have not changed at all. The machine pushes exactly as hard as it did on day one, and the electron speeds up a billion times more slowly. At γ=1000\gamma = 1000 the electron is at β=0.9999995\beta = 0.9999995; another kilometre of accelerator will barely move that digit, but it will double the energy. That is why "how fast is the beam?" gets a shrug at any modern accelerator, and "how energetic?" gets a number.

2 · The LHC ring: the most violently accelerated matter we make

A proton circulates in the LHC at 6.86.8 TeV. Treat the ring as a circle of radius R=C/2πR = C/2\pi with circumference C=26.66C = 26.66 km. What proper acceleration does the proton feel on the bend?

Step 1 — identify. Circular motion is a purely transverse push (v⃗⋅a⃗=0\vec{v}\cdot\vec{a} = 0), so α=γ2a⊥\alpha = \gamma^2 a_\perp with a⊥=v2/R≈c2/Ra_\perp = v^2/R \approx c^2/R.

Step 2 — the Lorentz factor. γ=Empc2=6.8×106 MeV938.272 MeV=7247\gamma = \dfrac{E}{m_pc^2} = \dfrac{6.8\times10^{6}\ \mathrm{MeV}}{938.272\ \mathrm{MeV}} = \mathbf{7247}.

Step 3 — the lab acceleration. R=26659 m/2π=4243 mR = 26659\ \mathrm{m}/2\pi = \mathbf{4243\ m}, so a⊥≈c2R=8.98755×10164243=2.12×1013 m/s2a_\perp \approx \dfrac{c^2}{R} = \dfrac{8.98755\times10^{16}}{4243} = \mathbf{2.12\times10^{13}\ m/s^{2}}.

Step 4 — the proper acceleration. α=γ2a⊥=(7247)2×2.12×1013=5.25×107×2.12×1013=1.11×1021 m/s2\alpha = \gamma^2 a_\perp = (7247)^2 \times 2.12\times10^{13} = 5.25\times10^{7} \times 2.12\times10^{13} = \mathbf{1.11\times10^{21}\ m/s^{2}}.

Step 5 — the boundary number. That is 1.13×1020 g\mathbf{1.13\times10^{20}\,g} — about as violent an acceleration as humanity produces anywhere. And note it cost only γ2\gamma^2, not γ3\gamma^3: had this been a longitudinal push, the same felt acceleration would have demanded another factor of 72477247. Bending is cheap; boosting is not. That asymmetry is exactly what makes a storage ring a sane way to hold a beam and an insane way to accelerate one.

Going further

Texts. Rindler, Introduction to Special Relativity, 2nd ed., §§ on hyperbolic motion · Griffiths, Introduction to Electrodynamics, 4th ed., §12.2 · Jackson, Classical Electrodynamics, 3rd ed., §14.1 (the relativistic Larmor formula) · Born, M., Ann. Phys. 335, 1–56 (1909) · Unruh, W. G., "Notes on black-hole evaporation", Phys. Rev. D 14, 870 (1976).

Provenance. Signature (+,−,−,−)(+,-,-,-), so U⋅U=+c2U\cdot U = +c^2 and A⋅A=−α2A\cdot A = -\alpha^2 (spacelike, NEGATIVE). Everything is recomputed in verify_aq-sr-four-acceleration.py, which also greps this article for each printed value: A⋅U=0A\cdot U = 0 and A⋅A≤0A\cdot A \le 0 for arbitrary symbolic v⃗(t)\vec{v}(t) in 3D; α2=γ6[a2−(v⃗×a⃗ )2/c2]\alpha^2 = \gamma^6[a^2 - (\vec v\times\vec a\,)^2/c^2] proved symbolically, with α=γ3a∥\alpha = \gamma^3a_\parallel and α=γ2a⊥\alpha = \gamma^2a_\perp recovered as its two special cases; the hyperbolic worldline substituted back to reproduce A⋅A=−α2A\cdot A = -\alpha^2 and A⋅U=0A\cdot U = 0 exactly; αlinac=eE/me=3.52×1018 m/s2=3.6×1017g\alpha_{\text{linac}} = eE/m_e = 3.52\times10^{18}\ \mathrm{m/s^2} = 3.6\times10^{17}g, with a(γ=1000)=3.52×109 m/s2a(\gamma{=}1000) = 3.52\times10^{9}\ \mathrm{m/s^2}; and the LHC proton at γ=7247\gamma = 7247, R=4243R = 4243 m, α=1.11×1021 m/s2=1.13×1020g\alpha = 1.11\times10^{21}\ \mathrm{m/s^2} = 1.13\times10^{20}g. Base defect repaired: the base's eqCard correctly gives aμaμ=−α2a^\mu a_\mu = -\alpha^2, but its summary states aμaμ=α2a^\mu a_\mu = \alpha^2 and calls it "spacelike, positive with (+,−,−,−)(+,-,-,-)" — wrong twice. The sign is re-derived from η\eta here.

Scope. U⋅U=+c2U\cdot U = +c^2 and A⋅U=0A\cdot U = 0 are derived at `aq-sr-four-vectors` and recalled by name. The Minkowski four-force Kμ=mAμK^\mu = mA^\mu is named, not developed — that is `aq-sr-four-force`, and the force law `aq-sr-relativistic-force`. Born-rigid motion, which uses the hyperbolic worldline derived here, is `aq-sr-born-rigidity`. The Unruh temperature is quoted, not derived.

Builds on. Four-Velocity · Four-Vectors · Proper Time · The Lorentz Factor. Leads to. Four-Force · Relativistic Force · Born Rigidity · Relativistic Kinetic Energy.

If A is orthogonal to U, does that mean they look perpendicular on a spacetime diagram?

No, and expecting them to is the commonest confusion here. Minkowski orthogonality is A⋅U=ημνAμUν=0A\cdot U = \eta_{\mu\nu}A^\mu U^\nu = 0, with the metric's minus signs, and it does not correspond to a right angle on Euclidean paper — Minkowski-orthogonal vectors appear to make equal angles with the light line, which for a fast particle looks alarmingly like the two arrows nearly coincide. The physical content is unambiguous regardless: in the rest frame U=(c,0⃗ )U = (c,\vec 0\,) and orthogonality forces A0=0A^0 = 0. Trust the contraction, not the picture.

Why is the longitudinal factor γ³ and the transverse one γ²?

Because a longitudinal push must change the particle's speed, and a transverse push need not. Changing speed changes γ\gamma, and that variation contributes the extra term in A⃗=γ2a⃗+γ4(v⃗⋅a⃗ )v⃗/c2\vec{A} = \gamma^2\vec{a} + \gamma^4(\vec{v}\cdot\vec{a}\,)\vec{v}/c^2 — nonzero only when v⃗⋅a⃗≠0\vec{v}\cdot\vec{a} \ne 0. For a transverse push that term dies and you are left with γ2\gamma^2; for a longitudinal one it survives and conspires with the first term to give γ3\gamma^3. Physically: turning a particle is cheaper than speeding it up, because turning does not have to fight the divergence of γ\gamma as v→cv \to c.

Is proper acceleration bounded? Can α be arbitrarily large?

There is no relativistic bound on α\alpha at all. Unlike velocity, it is an invariant with no ceiling — you may make it as large as you can afford. What relativity forbids is not large α\alpha but reaching cc, and a particle at enormous constant α\alpha still only approaches the light cone asymptotically along its hyperbola. The real limits come from other physics: radiation reaction (power ∝α2\propto \alpha^2), field breakdown in the accelerating structure, and — around α∼1029 m/s2\alpha \sim 10^{29}\ \mathrm{m/s^2} for an electron — the Schwinger limit, where the vacuum itself starts to break down.

Does a photon have a four-acceleration?

No, for the same reason it has no four-velocity: dτ=0d\tau = 0 along a null worldline, so neither dxμ/dτdx^\mu/d\tau nor d2xμ/dτ2d^2x^\mu/d\tau^2 exists. The whole construction here — differentiate with respect to proper time, use the constancy of U⋅UU\cdot U — presupposes a timelike worldline with a proper time to differentiate against, and light has neither. Nor is this a gap: a photon in vacuum travels on a straight null geodesic and is never accelerated.

What is the physical meaning of A·A being an invariant?

It means "how hard is this thing being pushed" has a single, frame-independent answer — which is not true of a⃗=dv⃗/dt\vec{a} = d\vec{v}/dt. Different observers watching the same rocket disagree wildly about its coordinate acceleration, by factors of γ2\gamma^2 to γ4\gamma^4 depending on geometry. But they all agree on α=−A⋅A\alpha = \sqrt{-A\cdot A}, and they must, because it is the reading of a physical dial. This is the four-vector formalism doing the job it was built for: separating what is real (the invariant) from what is bookkeeping (the components).

Why is the hyperbola the right curve, when Newton gave a parabola?

Because a parabola implies unbounded speed, and the hyperbola is what you get when U⋅U=c2U\cdot U = c^2 is enforced honestly. In rapidity variables it is transparent: constant proper acceleration means rapidity grows linearly with proper time, φ=ατ/c\varphi = \alpha\tau/c. Rapidity has no ceiling, so the motion continues forever — but β=tanh⁡φ\beta = \tanh\varphi, and tanh⁡\tanh saturates at 1. Rapidity is the quantity that behaves the way Newton expected velocity to behave. The parabola is the small-τ\tau approximation, cosh⁡u≈1+u2/2\cosh u \approx 1 + u^2/2, excellent right up until ατ∼c\alpha\tau \sim c — which at 1 g1\,g is about a year.

Before this

Where this leads