Rapidity and the Hyperbolic Form of Boosts

Velocities do not add. That is the first genuinely disorienting thing a student of relativity learns, and it never quite stops being disorienting, because addition is the one operation we trust. Run at 0.5c0.5c inside a rocket that is already doing 0.5c0.5c and you are not doing cc; you are doing 0.8c0.8c. Do it again and you get 0.928 571c0.928\,571c. Again: 0.975 610c0.975\,610c. The numbers crawl toward the light barrier and never arrive, and the rule that produces them — (β1+β2)/(1+β1β2)(\beta_1+\beta_2)/(1+\beta_1\beta_2) — looks like an arbitrary tax levied on arithmetic by an unsympathetic universe. It is not arbitrary. There is a variable in which boosts do add, plainly and exactly, and it is not the velocity. It is the rapidity, φ=arctanh⁡β\varphi = \operatorname{arctanh}\beta. Boost by φ1\varphi_1, then by φ2\varphi_2, and you have boosted by φ1+φ2\varphi_1 + \varphi_2 — no correction term, no denominator, no tax. And the velocity-addition law turns out to be the identity tanh⁡(φ1+φ2)=(tanh⁡φ1+tanh⁡φ2)/(1+tanh⁡φ1tanh⁡φ2)\tanh(\varphi_1+\varphi_2) = (\tanh\varphi_1 + \tanh\varphi_2)/(1 + \tanh\varphi_1\tanh\varphi_2): a formula that appears in tables of hyperbolic functions and has nothing to do with physics. Relativity did not invent a strange way of adding velocities. It told us that velocity was the wrong coordinate, and handed us the right one. And once you are in the right coordinate, the light barrier stops being mysterious. Rapidity runs over the whole real line: φ\varphi can be 11, or 1010, or 1010010^{100}, and every one of those is a physically realisable boost. But tanh⁡\tanh maps all of R\mathbb{R} into the open interval (−1,1)(-1, 1) — it approaches ±1\pm 1 and never touches. So no finite sum of rapidities can ever produce β=1\beta = 1, not because something intervenes to stop you, but because the answer is not in the codomain. The cosmic speed limit is the range of a function.

Key takeaways
  • Define the rapidity φ\varphi by β=tanh⁡φ\beta = \tanh\varphi, equivalently φ=arctanh⁡β=12ln⁡ ⁣1+β1−β\varphi = \operatorname{arctanh}\beta = \tfrac12\ln\!\frac{1+\beta}{1-\beta}. Then γ=cosh⁡φ\gamma = \cosh\varphi and γβ=sinh⁡φ\gamma\beta = \sinh\varphi.
  • The additivity theorem (this article's core): Λ(φ1)Λ(φ2)=Λ(φ1+φ2)\Lambda(\varphi_1)\Lambda(\varphi_2) = \Lambda(\varphi_1 + \varphi_2). Rapidities add. Exactly, with no correction term, for collinear boosts.
  • The velocity-composition law is the tanh⁡\tanh addition formula. β1⊕β2=tanh⁡(φ1+φ2)\beta_1 \oplus \beta_2 = \tanh(\varphi_1+\varphi_2) — not a rule to memorise, an identity in disguise.
  • The ceiling is the range of a function. tanh⁡:R→(−1,1)\tanh:\mathbb{R}\to(-1,1) maps onto the open interval, so any finite φ\varphi gives ∣β∣<1|\beta| < 1 strictly. NN boosts of β1=0.5\beta_1 = 0.5 give exactly βN=3N−13N+1\beta_N = \dfrac{3^N-1}{3^N+1} — 0.50.5, 0.80.8, 0.9285710.928571, 0.9756100.975610, … — with 1−βN=2/(3N+1)1 - \beta_N = 2/(3^N+1): exponentially close to cc, never equal to it.
  • Light sits at φ=∞\varphi = \infty, and a finite boost adds a finite rapidity, so the invariance of cc is the statement that infinity is a fixed point of addition.
  • Key idea: relativity is linear in the right variable. Rapidity is that variable — it is the additive parameter of the boost group, velocity is merely its hyperbolic tangent, and every "strange" feature of relativistic kinematics is the strangeness of that one function.
The core insight

Rapidity is the angle of a boost: the quantity that adds when you compose two boosts, exactly as ordinary angles add when you compose two rotations. Velocity does not add because velocity is not the angle — it is tanh⁡\tanh of the angle, and tanh⁡\tanh is not linear. The speed limit is then the elementary fact that tanh⁡\tanh never reaches 11.

Where this lives today

Rapidity is not a pedagogical curiosity; it is the working coordinate of experimental particle physics. Every LHC analysis bins its data in rapidity yy rather than in velocity or angle, for the reason established above: a longitudinal boost — and the colliding partons always deliver one, since they carry unequal momentum fractions — merely translates yy, so distribution shapes and rapidity differences are boost-invariant while velocities and angles are not. Detector acceptance is quoted as a range of pseudorapidity (∣η∣<2.5|\eta| < 2.5 for the ATLAS inner tracker) for the same reason. The 7 TeV7\ \mathrm{TeV} beam's rapidity, 9.619.61, is a more useful description of the machine than β=0.999999991\beta = 0.999999991. The additive structure also reaches places velocity cannot. Motion under constant proper acceleration aa is simply linear in rapidity: φ(τ)=aτ/c\varphi(\tau) = a\tau/c, so β(τ)=tanh⁡(aτ/c)\beta(\tau) = \tanh(a\tau/c) and γ(τ)=cosh⁡(aτ/c)\gamma(\tau) = \cosh(a\tau/c). The hyperbolic worldline that underlies the Rindler horizon and the Unruh effect is exactly the statement that rapidity accumulates at a constant rate on the traveller's own clock while velocity saturates. The rocket's engine never stops working, the rapidity climbs forever, and the velocity does not reach cc.

The physical picture

Consider what a boost actually does to the pair (ct,x)(ct, x). It mixes them, linearly, in a way that leaves s2=(ct)2−x2s^2 = (ct)^2 - x^2 untouched — that invariance belongs to The Invariant Spacetime Interval, and the geometric account of the boost as an isometry of s2s^2 belongs to Lorentz Boosts as Hyperbolic Rotations. Take both as given. What concerns us here is a question of parametrisation: which number should we use to label a boost? The obvious candidate is β\beta. It is the thing we measure. But it is a bad label, and the tell is that it composes badly: label boosts by β\beta and the composition of two of them is that ugly quotient. A good label composes by addition. Rotations have one — the angle. Do boosts? They do, and finding it takes one line. The two numbers γ\gamma and γβ\gamma\beta obey γ2−(γβ)2=γ2(1−β2)=1\gamma^2 - (\gamma\beta)^2 = \gamma^2(1-\beta^2) = 1 identically — which is the hyperbolic Pythagorean identity cosh⁡2φ−sinh⁡2φ=1\cosh^2\varphi - \sinh^2\varphi = 1 staring back at us. So there is exactly one real φ\varphi with γ=cosh⁡φ\gamma = \cosh\varphi and γβ=sinh⁡φ\gamma\beta = \sinh\varphi, and dividing, β=tanh⁡φ\beta = \tanh\varphi. That number is the rapidity, and the rest of the article is the discovery that it is precisely the additive label we were looking for.

Figure
Two boosts of β = 0.5 composed. Multiply the matrices and the cosh/sinh ADDITION FORMULAE fall out: the product of Λ(φ₁) with itself is Λ(2φ₁), with cosh 2φ₁ = cosh²+sinh² = 1.3333 + 0.3333 = 1.6667 and sinh 2φ₁ = 2 sinh cosh = 1.3333. Read the composed velocity off the bottom: β = sinh/cosh = 1.3333/1.6667 = 0.8 — exactly what the velocity-addition law gives, because it IS the tanh addition formula
Λ(φ₁), β₁ = 0.5, φ₁ = 0.549306 Λ(φ₁) again — the SAME boost ⎡ 1.1547 −0.5774 ⎤ ⎣ −0.5774 1.1547 ⎦ ⎡ 1.1547 −0.5774 ⎤ ⎣ −0.5774 1.1547 ⎦ cosh φ₁ = γ = 1.1547 · sinh φ₁ = γβ = 0.5774 rapidity is what ADDS: φ₁ + φ₁ = 1.098612 × ⎡ 1.6667 −1.3333 ⎤ ⎣ −1.3333 1.6667 ⎦ = Λ(2φ₁), 2φ₁ = 1.098612 cosh 2φ₁ = 1.6667 = γ(0.8) ✓ sinh 2φ₁ = 1.3333 = γβ at β = 0.8 ✓ multiply Diagonal: 1.1547² + 0.5774² = 1.3333 + 0.3333 = 1.6667 = cosh²φ₁ + sinh²φ₁ = cosh 2φ₁ Off-diagonal: 2 × 1.1547 × 0.5774 = 1.3333 = 2 sinh φ₁ cosh φ₁ = sinh 2φ₁ β = sinh/cosh = 1.3333/1.6667 = 0.8 and 0.5 ⊕ 0.5 = 1.0/1.25 = 0.8. The same number, by the same identity.

The core equations

Signature (+,−,−,−)(+,-,-,-): s2=c2Δt2−Δx2−Δy2−Δz2s^2 = c^2\Delta t^2 - \Delta x^2 - \Delta y^2 - \Delta z^2, timelike-positive. The Lorentz transformation itself is derived in The Lorentz Transformation Equations and is taken as given; what follows is a change of variable inside it.

φ  ≡  arctanh⁡β  =  12ln⁡ ⁣(1+β1−β),β=tanh⁡φ(1)\varphi \;\equiv\; \operatorname{arctanh}\beta \;=\; \frac{1}{2}\ln\!\left(\frac{1+\beta}{1-\beta}\right), \qquad \beta = \tanh\varphi \qquad (1)

where: φ\varphi — the rapidity, dimensionless, running over all of R\mathbb{R}; β=v/c∈(−1,1)\beta = v/c \in (-1, 1). Physical reading: a relabelling of the velocity, and a faithful one — the map is a bijection, so nothing is lost and nothing is added. What changes is how boosts compose. Note the logarithmic form: as β→1\beta \to 1 the argument diverges, so φ→∞\varphi \to \infty. The light barrier sits at infinite rapidity.

γ=cosh⁡φ,γβ=sinh⁡φ,cosh⁡2φ−sinh⁡2φ=1(2)\gamma = \cosh\varphi, \qquad \gamma\beta = \sinh\varphi, \qquad \cosh^2\varphi - \sinh^2\varphi = 1 \qquad (2)

where: the rapidity dictionary. Physical reading: the identity on the right is not an analogy with γ2(1−β2)=1\gamma^2(1-\beta^2) = 1 — it is that identity, rewritten. That is what licenses the substitution: the pair (γ,γβ)(\gamma, \gamma\beta) lies on the unit hyperbola, and every point of its forward branch is (cosh⁡φ,sinh⁡φ)(\cosh\varphi, \sinh\varphi) for exactly one real φ\varphi.

Λ(φ)=(cosh⁡φ−sinh⁡φ−sinh⁡φcosh⁡φ)(3)\Lambda(\varphi) = \begin{pmatrix} \cosh\varphi & -\sinh\varphi \\ -\sinh\varphi & \cosh\varphi \end{pmatrix} \qquad (3)

where: the boost matrix, acting on (ct,x)T(ct, x)^{\mathsf T}, in the rapidity variable. Physical reading: substitute (2) into the usual γ(1−β−β1)\gamma\begin{pmatrix}1 & -\beta\\ -\beta & 1\end{pmatrix} and this is what you get — the same matrix, better labelled. Its resemblance to a rotation matrix with cos⁡→cosh⁡\cos \to \cosh, sin⁡→sinh⁡\sin \to \sinh is exact and not a coincidence; the geometry behind that correspondence is developed in Lorentz Boosts as Hyperbolic Rotations and is not re-derived here.

Λ(φ1) Λ(φ2)=Λ(φ1+φ2)(4)\Lambda(\varphi_1)\,\Lambda(\varphi_2) = \Lambda(\varphi_1 + \varphi_2) \qquad (4)

where: the additivity theorem — the result this article owns. Physical reading: collinear boosts compose by adding their rapidities, exactly as rotations about a common axis add their angles. That is why rapidity, not velocity, is the natural parameter of the boost group.

β1⊕β2  =  tanh⁡(φ1+φ2)  =  tanh⁡φ1+tanh⁡φ21+tanh⁡φ1tanh⁡φ2  =  β1+β21+β1β2(5)\beta_1 \oplus \beta_2 \;=\; \tanh(\varphi_1 + \varphi_2) \;=\; \frac{\tanh\varphi_1 + \tanh\varphi_2}{1 + \tanh\varphi_1 \tanh\varphi_2} \;=\; \frac{\beta_1 + \beta_2}{1 + \beta_1\beta_2} \qquad (5)

where: the velocity-composition law, whose derivation belongs to Relativistic Velocity Addition. Physical reading: the physics is on the far left, the formula everyone memorises is on the far right, and the middle step is a hyperbolic identity known to mathematicians long before relativity existed. The composition law is not a law. It is tanh⁡\tanh of a sum.

Rapidity, and why it is the right variable

Derivation AThe definition: the pair (γ, γβ) lives on a hyperbola, so it has an angle

Why arctanh, of all things? Not by inspiration, and not by analogy — it is forced. The hyperbolic functions are not imported from outside; they are discovered inside the Lorentz factor, and the derivation uses nothing but the definition of γ\gamma.

Step 1. Start from γ=1/1−β2\gamma = 1/\sqrt{1-\beta^2} and square-and-rearrange: γ2(1−β2)=1\gamma^2(1-\beta^2) = 1, i.e. γ2−(γβ)2=1\gamma^2 - (\gamma\beta)^2 = 1. Why: this is the single most useful identity in special relativity, and here it is doing something new — it says the point (γ, γβ)(\gamma,\ \gamma\beta) is constrained to the unit hyperbola X2−Y2=1X^2 - Y^2 = 1, for every possible velocity.

Step 2. Compare with cosh⁡2φ−sinh⁡2φ=1\cosh^2\varphi - \sinh^2\varphi = 1, which holds for every real φ\varphi. Since γ≥1>0\gamma \ge 1 > 0, our point is on the forward branch, and the map φ↦(cosh⁡φ,sinh⁡φ)\varphi \mapsto (\cosh\varphi, \sinh\varphi) is a bijection from R\mathbb{R} onto that branch. Hence there is exactly one real φ\varphi with γ=cosh⁡φ\gamma = \cosh\varphi and γβ=sinh⁡φ\gamma\beta = \sinh\varphi. Why: uniqueness matters. The rapidity is not a convenient substitution one might or might not make; it is the unique coordinate on the set of boosts, delivered by the identity itself.

Step 3. Divide the two: sinh⁡φcosh⁡φ=γβγ=β\dfrac{\sinh\varphi}{\cosh\varphi} = \dfrac{\gamma\beta}{\gamma} = \beta, so β=tanh⁡φ\beta = \tanh\varphi and φ=arctanh⁡β\varphi = \operatorname{arctanh}\beta. Writing arctanh⁡\operatorname{arctanh} out, φ=12ln⁡1+β1−β\varphi = \tfrac12\ln\frac{1+\beta}{1-\beta}. Why: and now the ceiling is already visible. As β↑1\beta \uparrow 1 the argument of the log diverges, so φ→+∞\varphi \to +\infty — a light pulse has infinite rapidity, which is a much more informative statement than "γ\gamma blows up".

Step 4. Substitute the dictionary into the boost matrix: γ(1−β−β1)=(γ−γβ−γβγ)=(cosh⁡φ−sinh⁡φ−sinh⁡φcosh⁡φ)\gamma\begin{pmatrix}1 & -\beta \\ -\beta & 1\end{pmatrix} = \begin{pmatrix}\gamma & -\gamma\beta \\ -\gamma\beta & \gamma\end{pmatrix} = \begin{pmatrix}\cosh\varphi & -\sinh\varphi \\ -\sinh\varphi & \cosh\varphi\end{pmatrix}, which is equation (3). Why: nothing has been assumed and nothing has been changed — the same boost, in a different label. Whether this matrix "is" a rotation through an imaginary angle, and what geometry that reflects, is a separate question, and its owner is Lorentz Boosts as Hyperbolic Rotations.

Step 5. Sanity-check the small-φ\varphi limit: tanh⁡φ=φ−φ3/3+…\tanh\varphi = \varphi - \varphi^3/3 + \dots, so for φ≪1\varphi \ll 1, β≈φ\beta \approx \varphi — rapidity is velocity to first order, and at φ=0.1\varphi = 0.1, β=0.099668\beta = 0.099668. Why: this is why nobody needed rapidity before 1905. In the Galilean regime the two labels agree, velocities add, and the distinction is invisible. *Verified in verify_aq-sr-rapidity-hyperbolic-boosts.py: γ2−(γβ)2=1\gamma^2 - (\gamma\beta)^2 = 1 symbolically; cosh⁡(arctanh⁡β)=γ\cosh(\operatorname{arctanh}\beta) = \gamma and sinh⁡(arctanh⁡β)=γβ\sinh(\operatorname{arctanh}\beta) = \gamma\beta symbolically; the matrix substitution of Step 4 entrywise; strict monotonicity (sech⁡2φ>0\operatorname{sech}^2\varphi > 0); and tanh⁡(0.1)=0.099668\tanh(0.1) = 0.099668.*

Go deeper · Derivation B · 2 minTHE ADDITIVITY THEOREM — and the discovery that velocity addition is a trigonometric identity
Derivation BTHE ADDITIVITY THEOREM — and the discovery that velocity addition is a trigonometric identity

This is the result the article owns, and it deserves to be stated as a theorem rather than an observation: for collinear boosts, Λ(φ1)Λ(φ2)=Λ(φ1+φ2)\Lambda(\varphi_1)\Lambda(\varphi_2) = \Lambda(\varphi_1+\varphi_2). The rapidity is the additive parameter of the one-dimensional boost group — the exact counterpart of the angle for rotations about a fixed axis. The payoff is not aesthetic: the velocity-addition law then falls out in one line, and stops being an independent piece of physics you have to remember.

Step 1. Multiply the matrices of equation (3):

Λ(φ1)Λ(φ2)=(cosh⁡φ1cosh⁡φ2+sinh⁡φ1sinh⁡φ2−(sinh⁡φ1cosh⁡φ2+cosh⁡φ1sinh⁡φ2)−(sinh⁡φ1cosh⁡φ2+cosh⁡φ1sinh⁡φ2)cosh⁡φ1cosh⁡φ2+sinh⁡φ1sinh⁡φ2).\Lambda(\varphi_1)\Lambda(\varphi_2) = \begin{pmatrix} \cosh\varphi_1\cosh\varphi_2 + \sinh\varphi_1\sinh\varphi_2 & -(\sinh\varphi_1\cosh\varphi_2 + \cosh\varphi_1\sinh\varphi_2) \\ -(\sinh\varphi_1\cosh\varphi_2 + \cosh\varphi_1\sinh\varphi_2) & \cosh\varphi_1\cosh\varphi_2 + \sinh\varphi_1\sinh\varphi_2\end{pmatrix}.

Why: no cleverness — just the product, written out. Now look at the entries.

Step 2. Recognise them. The hyperbolic addition formulae are cosh⁡(φ1+φ2)=cosh⁡φ1cosh⁡φ2+sinh⁡φ1sinh⁡φ2\cosh(\varphi_1+\varphi_2) = \cosh\varphi_1\cosh\varphi_2 + \sinh\varphi_1\sinh\varphi_2 and sinh⁡(φ1+φ2)=sinh⁡φ1cosh⁡φ2+cosh⁡φ1sinh⁡φ2\sinh(\varphi_1+\varphi_2) = \sinh\varphi_1\cosh\varphi_2 + \cosh\varphi_1\sinh\varphi_2. Those are exactly the entries of Step 1. Hence the product is (cosh⁡(φ1+φ2)−sinh⁡(φ1+φ2)−sinh⁡(φ1+φ2)cosh⁡(φ1+φ2))=Λ(φ1+φ2)\begin{pmatrix}\cosh(\varphi_1+\varphi_2) & -\sinh(\varphi_1+\varphi_2) \\ -\sinh(\varphi_1+\varphi_2) & \cosh(\varphi_1+\varphi_2)\end{pmatrix} = \Lambda(\varphi_1+\varphi_2). ∎ Why: that is the theorem, and note how little it cost. The composed boost is a boost (closure), and its parameter is the sum. The awkward γ1γ2(1+β1β2)\gamma_1\gamma_2(1+\beta_1\beta_2) prefactor that appears when you do this in the velocity variable has simply evaporated — it was never anything but cosh⁡(φ1+φ2)\cosh(\varphi_1+\varphi_2) in disguise.

Step 3. Extract the velocity-composition law. The composed boost has β3=tanh⁡φ3=tanh⁡(φ1+φ2)\beta_3 = \tanh\varphi_3 = \tanh(\varphi_1+\varphi_2). Apply the tanh⁡\tanh addition formula:

β3=tanh⁡φ1+tanh⁡φ21+tanh⁡φ1tanh⁡φ2=β1+β21+β1β2.\beta_3 = \frac{\tanh\varphi_1 + \tanh\varphi_2}{1 + \tanh\varphi_1\tanh\varphi_2} = \frac{\beta_1+\beta_2}{1+\beta_1\beta_2}.

Why: this is the punchline of the whole subject compressed into one substitution. The relativistic velocity-addition law — whose derivation from the transformation belongs to Relativistic Velocity Addition — is <strong>the tanh addition formula</strong>. It is not a physical law that happens to resemble a mathematical identity; it is the identity, evaluated on the physical parameter.

Step 4. Check it on real numbers. β1=β2=0.5\beta_1 = \beta_2 = 0.5 gives φ1=arctanh⁡0.5=0.549306\varphi_1 = \operatorname{arctanh} 0.5 = 0.549306, so φ3=1.098612\varphi_3 = 1.098612 and β3=tanh⁡(1.098612)=0.8\beta_3 = \tanh(1.098612) = 0.8. The velocity law agrees: (0.5+0.5)/(1+0.25)=1/1.25=0.8(0.5+0.5)/(1+0.25) = 1/1.25 = 0.8 ✓. And γ3=cosh⁡(1.098612)=1.6667=1/1−0.64\gamma_3 = \cosh(1.098612) = 1.6667 = 1/\sqrt{1-0.64} ✓. Why: two independent routes, one number. This is the arithmetic drawn in the first figure.

Step 5. The group structure falls out for free: Λ(0)=I\Lambda(0) = I, Λ(φ)Λ(−φ)=I\Lambda(\varphi)\Lambda(-\varphi) = I (the reciprocity of The Inverse Lorentz Transformation and Reciprocity), and associativity from that of ++. In the rapidity label the boost group is just (R,+)(\mathbb{R}, +). Why: this is the strongest statement of the article. The collinear boosts are <strong>isomorphic to the additive real numbers</strong>, and all the apparent nonlinearity of relativistic kinematics was an artefact of a bad coordinate. *Verified in verify_aq-sr-rapidity-hyperbolic-boosts.py: Λ(φ1)Λ(φ2)−Λ(φ1+φ2)\Lambda(\varphi_1)\Lambda(\varphi_2) - \Lambda(\varphi_1+\varphi_2) simplifies to the zero matrix symbolically; the equivalence of tanh⁡(φ1+φ2)\tanh(\varphi_1+\varphi_2) with (β1+β2)/(1+β1β2)(\beta_1+\beta_2)/(1+\beta_1\beta_2) is proved symbolically; and both are checked numerically against each other on a 21×2121\times21 grid of velocities.*

Go deeper · Derivation C · 2 minTHE CEILING — why no finite number of boosts reaches c
Derivation CTHE CEILING — why no finite number of boosts reaches c

Here is the second owned result. The usual account of the speed limit invokes energy: accelerating a massive particle to cc would take infinite energy, so it cannot be done. True — but it is a dynamical answer to a kinematical question, and it leaves the impression that cc is almost reachable and merely expensive. The rapidity picture says something sharper. Boosting is free; you may apply as many boosts as you like, each adding its rapidity. The barrier is not that the sum is hard to make large. The barrier is that tanh⁡\tanh never returns 11.

Step 1. State the fact about the function. tanh⁡:R→(−1,1)\tanh: \mathbb{R} \to (-1, 1) is a bijection onto the open interval: it is strictly increasing (dtanh⁡/dφ=sech⁡2φ>0\mathrm{d}\tanh/\mathrm{d}\varphi = \operatorname{sech}^2\varphi > 0 everywhere), and lim⁡φ→±∞tanh⁡φ=±1\lim_{\varphi\to\pm\infty}\tanh\varphi = \pm 1, a supremum that is never attained. Why: everything else follows from this one line of elementary analysis. Note where the physics is not: there is no force, no energy, no mass in this statement.

Step 2. Apply additivity. Compose any finite number of boosts: φtotal=φ1+φ2+⋯+φN\varphi_{\text{total}} = \varphi_1 + \varphi_2 + \dots + \varphi_N, a finite real number whenever each φi\varphi_i is finite. The resulting velocity is βtotal=tanh⁡(φtotal)\beta_{\text{total}} = \tanh(\varphi_{\text{total}}), and by Step 1 this satisfies ∣βtotal∣<1|\beta_{\text{total}}| < 1 strictly. Why: there is the theorem. Not "you get close to cc"; not "you would need infinite energy". You cannot reach β=1\beta = 1 because 11 is not in the range of the function, and a finite sum of finite rapidities is finite.

Step 3. Make it quantitative for equal boosts. Let each boost have velocity β1\beta_1, rapidity φ1\varphi_1, and set k≡e2φ1=1+β11−β1k \equiv e^{2\varphi_1} = \dfrac{1+\beta_1}{1-\beta_1}. Then NN boosts give φN=Nφ1\varphi_N = N\varphi_1 and

βN=tanh⁡(Nφ1)=e2Nφ1−1e2Nφ1+1=kN−1kN+1,so1−βN=2kN+1.\beta_N = \tanh(N\varphi_1) = \frac{e^{2N\varphi_1} - 1}{e^{2N\varphi_1} + 1} = \frac{k^N - 1}{k^N + 1}, \qquad\text{so}\qquad 1 - \beta_N = \frac{2}{k^N + 1}.

Why: a closed form, exact, for any number of boosts — the kind of thing that is invisible in the velocity variable, where you would have to iterate the composition law NN times and would never see the pattern.

Step 4. Put β1=0.5\beta_1 = 0.5 in it. Then k=1.5/0.5=3k = 1.5/0.5 = 3 exactly, so βN=3N−13N+1\beta_N = \dfrac{3^N-1}{3^N+1} — and the numbers are rational: 12, 810, 2628=0.928571, 8082=0.975610, 242244=0.991803,…\tfrac12,\ \tfrac{8}{10},\ \tfrac{26}{28} = 0.928571,\ \tfrac{80}{82} = 0.975610,\ \tfrac{242}{244} = 0.991803, \dots and 1−βN=2/(3N+1)1-\beta_N = 2/(3^N+1), which shrinks by a factor of 33 with every boost but is never zero. At N=10N = 10: β=59048/59050=0.9999661\beta = 59048/59050 = 0.9999661. Why: this is the ladder drawn in the punchline figure — equal steps in φ\varphi, crowding in β\beta. The approach to cc is exponential and endless.

Step 5. Finally, light. A light pulse has β=1\beta = 1, hence φ=arctanh⁡(1)=∞\varphi = \operatorname{arctanh}(1) = \infty. Boost it by any finite φ0\varphi_0: the new rapidity is ∞+φ0=∞\infty + \varphi_0 = \infty, so the new velocity is still tanh⁡(∞)=1\tanh(\infty) = 1. Why: <strong>the invariance of the speed of light is the statement that infinity is a fixed point of addition.</strong> The second postulate, which is normally an axiom one swallows, becomes in this variable an arithmetical triviality — and that is about as strong a sign as one could ask for that rapidity is the correct coordinate. *Verified in verify_aq-sr-rapidity-hyperbolic-boosts.py: strict monotonicity and the open-range property of tanh⁡\tanh; the closed form βN=(kN−1)/(kN+1)\beta_N = (k^N-1)/(k^N+1) checked against NN-fold iteration of the velocity-composition law for N=1…12N = 1\ldots12 at three different β1\beta_1; the exact rationals 13/1413/14, 40/4140/41, 121/122121/122, 59048/5905059048/59050; 1−βN=2/(3N+1)1-\beta_N = 2/(3^N+1); and β⊕1=1\beta \oplus 1 = 1 for a sweep of β\beta.*

Figure
PUNCHLINE — the speed limit is the range of a function. β = tanh φ, with the rapidity ticks of ten successive β = 0.5 boosts: EQUALLY spaced in φ (steps of φ₁ = 0.549306), crowding hopelessly into the ceiling in β. The exact values are (3ᴺ−1)/(3ᴺ+1): 0.5, 0.8, 0.928571, 0.975610, 0.991803, … 0.9999661 at N = 10. The gap 1 − β = 2/(3ᴺ+1) shrinks threefold per boost and never closes
β = 1 — the ceiling, never attained 00.250.50.751.0 0123456 rapidity φ β β = tanh φ N=12345678910 0.50.80.9285710.975610… 0.9999661 at N = 10 Ten EQUAL steps of φ₁ = 0.549306. In β they crowd: 1 − β = 2/(3ᴺ+1) → 0. β → 1, never = 1.

Limiting cases

CaseResultMeaning
φ→0\varphi \to 0β≈φ−φ3/3\beta \approx \varphi - \varphi^3/3, γ≈1+φ2/2\gamma \approx 1 + \varphi^2/2rapidity is velocity in the Galilean regime; at φ=0.1\varphi = 0.1, β=0.099668\beta = 0.099668
φ→∞\varphi \to \inftyβ→1−\beta \to 1^-, γ≈12eφ\gamma \approx \tfrac12 e^{\varphi}the light barrier is at infinite rapidity; γ\gamma grows exponentially in φ\varphi
φ2=−φ1\varphi_2 = -\varphi_1Λ(φ1)Λ(−φ1)=I\Lambda(\varphi_1)\Lambda(-\varphi_1) = Ireciprocity, in one symbol
NN equal boostsβN=kN−1kN+1\beta_N = \dfrac{k^N-1}{k^N+1}, k=1+β11−β1k = \dfrac{1+\beta_1}{1-\beta_1}exponential approach; 1−βN=2/(kN+1)>01-\beta_N = 2/(k^N+1) > 0 always
light, β=1\beta = 1φ=∞\varphi = \infty∞+finite=∞\infty + \text{finite} = \infty: the second postulate as arithmetic
β1=0.5\beta_1 = 0.5k=3k = 3, βN=3N−13N+1\beta_N = \dfrac{3^N-1}{3^N+1}the ladder: 0.5, 0.8, 0.928571, 0.975610, …0.5,\ 0.8,\ 0.928571,\ 0.975610,\ \dots
non-collinear boostsφ\varphi does not simply adda Thomas–Wigner rotation appears; additivity holds along one axis only

Worked examples

1 · How many half-light-speed boosts does it take to beat the LHC?

A 7 TeV7\ \mathrm{TeV} proton at the LHC. Find its rapidity. Then find how many successive boosts of β1=0.5\beta_1 = 0.5 — each one a perfectly ordinary boost — it would take to exceed that speed, and check the answer exactly.

Step 1 — get γ\gamma. For a proton, γ=E/(mpc2)=7000/0.938272=7460.5\gamma = E/(m_pc^2) = 7000/0.938272 = \mathbf{7460.5}.

Step 2 — get the rapidity. φ=arccosh⁡γ=ln⁡ ⁣(γ+γ2−1)=ln⁡(7460.5232+7460.5231)=ln⁡(14921.046)=9.6105\varphi = \operatorname{arccosh}\gamma = \ln\!\left(\gamma + \sqrt{\gamma^2-1}\right) = \ln(7460.5232 + 7460.5231) = \ln(14921.046) = \mathbf{9.6105}. (The square root equals γ\gamma to seven significant figures: the proton is so ultrarelativistic that its momentum and energy have all but converged.) That is the whole of the LHC's kinematic reach, expressed as a single number of order ten. (The corresponding β\beta is 0.999 999 9910.999\,999\,991 — nine nines, and utterly uninformative by comparison. This is the practical argument for rapidity: it is the variable in which relativistic speeds have human-sized numbers.)

Step 3 — one boost's worth of rapidity. φ1=arctanh⁡(0.5)=12ln⁡3=0.549306\varphi_1 = \operatorname{arctanh}(0.5) = \tfrac12\ln 3 = \mathbf{0.549306}.

Step 4 — divide. N=φLHC/φ1=9.6105/0.549306=17.50N = \varphi_{\text{LHC}}/\varphi_1 = 9.6105/0.549306 = \mathbf{17.50}. So seventeen boosts is not enough and eighteen is more than enough.

Step 5 — check it exactly. With k=3k = 3, the rapidity ladder gives γN=cosh⁡(Nφ1)=12(3N/2+3−N/2)\gamma_N = \cosh(N\varphi_1) = \tfrac12(3^{N/2} + 3^{-N/2}):

γ17=5682.0(<7460.5),γ18=9841.5(>7460.5).  ✓\gamma_{17} = 5682.0 \quad (<7460.5), \qquad \gamma_{18} = 9841.5 \quad (>7460.5). \;\checkmark

Eighteen boosts of half the speed of light overshoot the LHC's 7 TeV7\ \mathrm{TeV} proton. And the corresponding velocity, β18=(318−1)/(318+1)=0.999 999 995\beta_{18} = (3^{18}-1)/(3^{18}+1) = 0.999\,999\,995, is still strictly less than 11 — as it must be, and as it would remain after eighteen thousand boosts.

2 · The muon's rapidity, and a boost split in half

In the Frisch–Smith experiment the muon travels at β=0.995\beta = 0.995. Find its rapidity. Then split the boost into two equal halves and verify, by composing them with the velocity-addition law, that they reconstruct the original velocity — a direct test of additivity on a real measurement.

Step 1 — the rapidity. φ=arctanh⁡(0.995)=12ln⁡ ⁣(1.9950.005)=12ln⁡(399)=2.9945\varphi = \operatorname{arctanh}(0.995) = \tfrac12\ln\!\left(\dfrac{1.995}{0.005}\right) = \tfrac12\ln(399) = \mathbf{2.9945}.

Step 2 — cross-check against γ\gamma. cosh⁡(2.9945)=10.0125\cosh(2.9945) = \mathbf{10.0125}, and directly γ=1/1−0.9952=1/0.009975=10.0125\gamma = 1/\sqrt{1-0.995^2} = 1/\sqrt{0.009975} = 10.0125 ✓. The dictionary holds on a real experimental number.

Step 3 — halve the rapidity. φ/2=1.49724\varphi/2 = 1.49724, and β1/2=tanh⁡(1.49724)=0.904648\beta_{1/2} = \tanh(1.49724) = \mathbf{0.904648}. Note what this is not: it is not 0.995/2=0.49750.995/2 = 0.4975. Halving a boost does not halve its velocity, because velocity is not the boost parameter.

Step 4 — compose the two halves with the velocity law. Using ⊕\oplus and nothing else:

0.904648⊕0.904648=1.8092971+0.818389=1.8092971.818389=0.995000.  ✓0.904648 \oplus 0.904648 = \frac{1.809297}{1 + 0.818389} = \frac{1.809297}{1.818389} = \mathbf{0.995000}. \;\checkmark

Exactly the muon's speed, recovered. The velocity-addition law and rapidity additivity are the same statement, and here they agree to six decimal places on a number that came out of a mountain in New Hampshire.

Step 5 — read the physics off. One parameter runs everything: cosh⁡φ\cosh\varphi is the time-dilation factor, so the muon's 1907 m1907\ \mathrm{m} flight (the detector-to-detector drop; the summit's 1917 m1917\ \mathrm{m} elevation is a different quantity), which takes Δt=6.393 μs\Delta t = 6.393\ \mathrm{\mu s} on the mountain, takes 6.393/cosh⁡(2.9945)=0.6385 μs6.393/\cosh(2.9945) = \mathbf{0.6385\ \mu s} on the muon's own clock; sinh⁡φ\sinh\varphi is γβ\gamma\beta, the quantity in the momentum p=mcsinh⁡φp = mc\sinh\varphi; and tanh⁡φ\tanh\varphi is the velocity.

Origins · 1 minRapidity and how this was discovered
R
Rapidity
1908–1924 · Minkowski's hyperbolic angle · Varićak's Lobachevskian velocity space · Robb gives it its name · Silberstein and Eddington carry it into the textbooks

The parameter came before the word. Minkowski, in 1908, already wrote the boost as a rotation through an imaginary angle — the same object, seen in a mirror. But the recognition that the natural variable of relativistic velocity is a hyperbolic arc length belongs to two men working independently in 1910: Vladimir Varićak (1865–1942), a Croatian mathematician at Zagreb, and Edmund Taylor Whittaker, in the first edition of his History of the Theories of Aether and Electricity. Varićak's insight was the deeper: he showed that the space of relativistic velocities is not Euclidean but hyperbolic — Lobachevskian — and that the awkward velocity-addition law is nothing but the addition of arcs in that geometry. Where classical physics draws a Euclidean triangle of velocities, relativity draws a Lobachevskian triangle of rapidities, whose angular defect is the Thomas–Wigner rotation. The name is Alfred Robb's: in Optical Geometry of Motion (Cambridge, 1911) he called the parameter the rapidity, and the word stuck — Varićak adopted it in 1912, Silberstein used it in The Theory of Relativity (1914), and by Eddington's Mathematical Theory of Relativity (1924) it was simply what the quantity was called.

History
1908
— Minkowski, in "Raum und Zeit", presents the boost as a rotation through an imaginary angle ψ\psi with tan⁡(iψ)=iβ\tan(i\psi) = i\beta — the hyperbolic parameter in Euclidean disguise.
1910
— Varićak shows that the space of relativistic velocities is hyperbolic (Lobachevskian), and that velocity addition is the addition of arcs in that geometry; Whittaker independently introduces the same parameter in his History of the Theories of Aether and Electricity.
1911
— Robb, in Optical Geometry of Motion (Cambridge), gives the parameter its name: rapidity.
1912
— Varićak adopts Robb's term.
1914
— Silberstein's The Theory of Relativity puts the rapidity into a textbook; Eddington's Mathematical Theory of Relativity (1924) settles the usage for good.

Going further

Texts. Taylor & Wheeler, Spacetime Physics, 2nd ed., Ch. 8 ("the rapidity", and the boost-as-hyperbolic-rotation table) · Rindler, Introduction to Special Relativity, 2nd ed., §§2.9, 3.4 · Griffiths, Introduction to Electrodynamics, 4th ed., Problem 12.11. On the hyperbolic geometry of velocity space: V. Varićak, Physikalische Zeitschrift 11, 93 (1910). On the name: A. A. Robb, Optical Geometry of Motion (Cambridge, 1911). For the collider variable: Particle Data Group, Review of Particle Physics, "Kinematics" §48.

Provenance. The definition and dictionary follow Rindler §2.9. The additivity theorem and its corollary — that the velocity-composition law is the tanh⁡\tanh addition formula — and the ceiling as a range statement, with the exact closed form βN=(kN−1)/(kN+1)\beta_N = (k^N-1)/(k^N+1), are derived and machine-checked above; they are the article's owned results. The geometry of the boost as an isometry of s2s^2 (the generator, Λ=exp⁡(φK)\Lambda = \exp(\varphi K), the invariant hyperbolae) is not re-derived here — it is owned by Lorentz Boosts as Hyperbolic Rotations. Every number is recomputed in verify_aq-sr-rapidity-hyperbolic-boosts.py, including the exact rationals of the ladder, the LHC proton and the muon.

Builds on. The Lorentz Transformation Equations · The Lorentz Factor Gamma · The Invariant Spacetime Interval · Deriving the Lorentz Transformation. Leads to. Lorentz Boosts as Hyperbolic Rotations · Relativistic Velocity Addition · Proper Time · Minkowski Diagrams and Skewed Axes.

Is rapidity a real physical quantity, or just a change of variable?

It is a change of variable — and that is exactly what makes it physical. Nothing about the world changes when you relabel a boost by φ\varphi instead of β\beta; the two carry identical information, since tanh⁡\tanh is a bijection. What changes is which structure is visible. In the β\beta label, the boosts are a set with a bizarre composition rule. In the φ\varphi label, they are the additive group of real numbers. The physics was always the group; the velocity was hiding it — the same sense in which a logarithm is "just" a change of variable, and the reason slide rules worked.

If rapidities add, why do particle physicists still bother with velocity at all?

Because velocity is what you measure. A time-of-flight detector reports β\beta; a tracker reports momentum, which gives γβ=sinh⁡φ\gamma\beta = \sinh\varphi. Rapidity is not measured directly — it is computed. Its value is economy: it makes boost composition trivial, makes constant proper acceleration linear (φ=aτ/c\varphi = a\tau/c), turns the velocity ceiling into a statement about a function's range, and — the clincher at a collider — makes a longitudinal boost a mere translation. Velocity is the observable; rapidity is the coordinate you should compute in.

Does rapidity still add for boosts in different directions?

No, and this is the one place the beautiful picture breaks. Additivity, equation (4), is proved for boosts along a common axis. Two boosts along different axes do not compose into a pure boost at all — the product is a boost plus a rotation, the Thomas–Wigner rotation, so there is no single rapidity to be the sum. In Varićak's picture this is natural: velocity space is hyperbolic, and the failure of rapidities to add around a closed circuit is the angular defect of a hyperbolic triangle. The Thomas precession of an electron's spin is that defect, made observable in a spectrum.

What is the rapidity of light, and why is that not just a cheap way of writing "infinity"?

φ=arctanh⁡(1)=∞\varphi = \operatorname{arctanh}(1) = \infty, and it is not cheap — it does real work. In the velocity variable, the invariance of cc is a postulate: you assert that β=1\beta = 1 is unchanged by boosts, then verify it survives the composition law. In the rapidity variable it is a triviality with content: boosting adds a finite rapidity, and ∞+φ0=∞\infty + \varphi_0 = \infty, so a pulse at φ=∞\varphi = \infty stays at β=1\beta = 1 in every frame. The reason light is a fixed point while everything else moves is that light alone sits at the unreachable end of the parameter.

Why exactly is the tanh addition formula the same as the velocity-addition law? Isn't that a coincidence?

It cannot be a coincidence, because it is a derivation. The boost matrix in the rapidity variable is built from cosh⁡\cosh and sinh⁡\sinh (equation 3, which follows from γ2−(γβ)2=1\gamma^2 - (\gamma\beta)^2 = 1 and nothing else). Multiplying two such matrices produces, entry by entry, precisely the cosh⁡\cosh and sinh⁡\sinh addition formulae — not an interpretation, but the arithmetic of the product. So the composed boost carries rapidity φ1+φ2\varphi_1 + \varphi_2, and its velocity is tanh⁡(φ1+φ2)\tanh(\varphi_1+\varphi_2), which expands into (β1+β2)/(1+β1β2)(\beta_1+\beta_2)/(1+\beta_1\beta_2). Every step is forced. The "coincidence" is a statement about which group the boosts form, and the hyperbolic functions are simply the functions that parametrise it.

If I keep firing my rocket forever, my rapidity grows without bound. What does that feel like?

Entirely ordinary — and this is the most physical thing rapidity has to say. Under constant proper acceleration aa, the rapidity grows linearly on your own clock: φ(τ)=aτ/c\varphi(\tau) = a\tau/c. You feel a constant push, your accelerometer reads a constant aa, and nothing in the cabin ever suggests a limit. Meanwhile β=tanh⁡(aτ/c)\beta = \tanh(a\tau/c) saturates, and an observer back home watches you creep toward cc and never arrive. Both descriptions are correct. You are not being throttled by anything: the parameter you actually accumulate is unbounded. It is only its hyperbolic tangent — the thing home calls your speed — that has a ceiling.

Before this

Where this leads