Born Rigidity and Rigid Accelerated Motion
`aq-sr-born-rigidity` has already told you what a Born-rigid rod does. Its elements ride Rindler hyperbolae about a common vertex; the proper acceleration is graded as ; the back must be pushed harder than the front; the rod cannot be longer than or its tail would sit on the horizon; and Herglotz and Noether proved such motions have only three degrees of freedom, so a rigid disc can never be spun up from rest. All settled, and recalled here rather than repeated. What is not settled is what "rigid" means — as a tensor. "The proper distance between neighbouring points, measured in the momentarily comoving frame, stays constant" is a sentence with two frame-dependent words in it, and sixty years of Bell's-paradox arguments should have taught us that any definition with a frame in it can be attacked by asking whose. Born rigidity has a definition with no frame in it at all: the expansion tensor of the body's own four-velocity field vanishes.
Expansion and shear, every component, everywhere on the wedge. That is what this article computes, and it is the definition Born actually wrote in 1909. And then it pays the bill. The tail's clock must run slower than the nose's, because — so a Born-rigid ship is rigid in length and not rigid in time. Its ends cannot stay synchronised. For a hundred-metre hull at the nose gains 344 nanoseconds per year on the tail: metres of light travel, more than the length of the ship. Rigidity buys a body whose shape never changes and whose clocks never agree.
- Signature : , timelike positive. Flat spacetime throughout.
- Recalled, not re-derived. The profile , the rear must accelerate harder than the front, the causal bound , and Herglotz–Noether are all owned by `aq-sr-born-rigidity`. The strain is owned by `aq-sr-bell-spaceship-paradox`, the two-horizon structure by `aq-sr-bell-spaceship-paradox-s6`, the metric by `aq-sr-rindler-metric`. This article uses them and extends.
- Owned result: the covariant definition. — the expansion tensor, not the scalar. Computed for the Rindler congruence: every one of the sixteen components vanishes identically on the wedge. Expansion and shear . No frame appears in the statement.
- Owned result: a Born-rigid body IS the Rindler congruence, and the Rindler metric is its rest chart: , in which every element sits at fixed forever. Rigidity is the statement that the body is at rest in a static metric.
- Owned result: the rod's ends cannot stay synchronised, and the ratio is EXACT. — exact, not first order, provided is the tail's own proper acceleration.
- Owned result: the SAME number grades the thrust and the clocks. At with m, — and is the same number. One number, two jobs. The nose gains 344 ns per year of tail proper time: m of light travel, longer than the ship.
- Owned result: the length bound is the clock bound. , which hits zero exactly when . `aq-sr-born-rigidity` gets that bound from infinite acceleration at the horizon; it is the same bound as the tail's clock stops.
- Key idea: rigid means "at rest in a static metric" — and static metrics have clock gradients.
The everyday rigid body is defined by what its shape does. The relativistic rigid body must be defined by what its velocity field does, because shape is slice-dependent and velocity fields are not. Write the four-velocity of the material at every event, project out the flow direction, symmetrise the gradient — and demand zero. That single tensor equation, , contains the whole subject: it forces the hyperbolae, the graded thrust, the common vertex, the length bound, and the permanent disagreement of the body's ends about time. Rigidity is not a constraint on the body. It is a constraint on the congruence.
Where this lives today
The expansion-shear decomposition is the working language of relativistic continuum mechanics. , and the vorticity are the standard kinematic invariants of any timelike congruence, and they are what Raychaudhuri's equation propagates — the same equation that, applied to geodesics, drives the Penrose–Hawking singularity theorems. The Born condition is the flat-space, non-geodesic corner of a very large building.
"Rigid" is the wrong word for real hardware. No spacecraft and no accelerator cavity is Born-rigid; all transmit stress at a sound speed far below , so the rigid programme is something you approach after transients decay, not something a material does. Relativistic elasticity — the covariant theory of deformable media — takes as its strain rate and builds constitutive laws on top. Born rigidity is its zero.
And the clock gradient is not an idealisation. The relation along a rigidly accelerated body is exactly along a static observer in a static gravitational field — and that one is measured daily. It is why GPS clocks are offset before launch, and why optical clocks a few centimetres apart tick at measurably different rates. The rigid ship's 344 ns per year is the same physics, made by an engine instead of a planet.
The physical picture
A body is a congruence: a family of timelike worldlines, one per material element, filling a tube of spacetime with no crossings and no gaps. Everything a body does — translate, rotate, stretch, shear, twist — is a statement about the four-velocity field of that congruence, and nothing else. Now ask what "rigid" should mean. It cannot mean "the distance between the ends is constant" — distance on which slice? It cannot mean "no forces act" — a Born-rigid rod is under enormous thrust. It must mean: the material never gets closer to itself, or further from itself, or sheared relative to itself, as judged by the material. That judgement is made by the spatial projector
the metric restricted to the 3-space orthogonal to the flow — the material's own rest space, defined event by event, with no global slice anywhere in sight. Take the gradient of , project both indices into that rest space, symmetrise, and you have the expansion tensor : its trace is the expansion (rate of volume change), its trace-free part the shear (rate of shape change at fixed volume).
Born rigid . Nothing expands, nothing shears. And notice what has vanished from the definition: every reference to a frame, a slice, a simultaneity convention, an observer. That is the whole point.
All the hyperbolae share one vertex, so they share one fan of simultaneity slices — the dashed radial lines. Every element of the rod agrees on which events are simultaneous, which is why a rigid rod has a well-defined length at all. Read the proper gaps along any slice in the fan: they are differences of the labels , constant forever. That is rigidity, drawn. And there is the cost. The slices fan out from the vertex, so a fixed step in the shared time coordinate is a shorter proper-time interval near the vertex than far from it. The tail is near the vertex. The tail's clock runs slow. There is no way to have the one without the other.
The core equations
where: is the material's four-velocity field, the projector onto the local rest space, . Physical reading: this is the definition of Born rigidity. Its trace is the expansion (volume), its trace-free part the shear (shape). Both vanish.
where: is the invariant Rindler radius, constant along each worldline. The Rindler congruence written as a field on the wedge — not a worldline, a field, which is what needs. Check: . ✓
where: is the shared Rindler time, the element's position label (constant for each material point), the proper acceleration of the fiducial element at , whose proper time is . Physical reading: the body is at rest in this chart — every element has forever. Rigidity means being static in a static metric.
where: is the rod's proper length and the tail's own proper acceleration. Physical reading: this is not a first-order expansion — it is exact, because is the emitter's acceleration and not some averaged . The same identity underwrites the exact clock-rate law of `aq-sr-rindler-metric`.
where: . Physical reading: the causal length bound of `aq-sr-born-rigidity` is a statement about clocks. The rod may not be so long that its tail's clock stops — the same sentence as "its tail may not sit on the horizon", and now the same equation.
`aq-sr-born-rigidity` establishes the rigid profile by demanding constant proper separation on the comoving slice. That argument is correct and it is not repeated here. What is done instead is the thing that argument cannot do: state rigidity without a slice, and check it.
Step 1. Build the velocity field. Each element is labelled by the invariant , constant along its hyperbola. At the event the material has rapidity with , , so
Why: a congruence is a field, not a curve. Everything below is done at a point, with derivatives, never referring to another point.
Step 2. Take the expansion scalar. In Cartesian coordinates , with :
Why: the two terms are equal and opposite for every and every on the wedge — because depends on and in exactly the way it does. The cancellation <strong>is</strong> the geometry of the hyperbola.
Step 3. Project and symmetrise — the full tensor. Form and contract:
Not just the trace. Every component. So as well: the body does not shear. Why: alone would permit a body that preserves its volume while distorting its shape — squashed in , stretched in . A shearing rod is not a rigid rod. Born rigidity is the vanishing of the whole tensor, and only the whole computation shows it.
Step 4. Contrast with Bell. `aq-sr-bell-spaceship-paradox-s6` computes the expansion of the equal-acceleration congruence and gets . Why: "the string breaks" and "the rod is rigid" are, in this language, the same statement with opposite signs — and neither has a frame in it. That is the payoff. *Verified in verify_aq-sr-born-rigidity-s6.py: sympy builds , confirms , computes symbolically, then builds and the full and asserts all sixteen components are identically zero on the wedge.*
Go deeper · Derivation B · 2 minThe rod's own rest chart — and the metric card that eats itself
The Rindler chart is usually introduced as the coordinate system one accelerated observer builds (`aq-sr-rindler-metric` owns that). The goal here is the other reading: that a Born-rigid body is exactly a body at rest in that chart, every element pinned at fixed forever — and then to expose the notational collapse that destroys the chart if the symbol is reused carelessly.
Step 1. Ask what coordinates the rod would choose. It wants labels in which it does not move. The elements sit at fixed , so use (call it ) as the space label, and use the rapidity as the time label. Set for some constant — the choice of is the choice of whose clock is.
Step 2. Map to Minkowski and pull back the interval, in where :
Why: derived, not transcribed. The cross-terms cancel identically — which is exactly the statement that the fan of slices is orthogonal to the worldlines, i.e. that the chart is the body's own.
Step 3. Read the lapse. , so : proper time is proportional to , and the constant of proportionality is fixed by declaring that the element at keeps as its own proper time. Every other element's clock runs at a different rate, forever. Why: gravitational time dilation, in flat spacetime, with no gravity anywhere. `aq-sr-rindler-metric` owns the general statement; owned here is the consequence for a <strong>material body</strong> — a rigid rod cannot carry a single clock.
Step 4. Now the trap. The base card prints the lapse as with the same symbol it has already defined as . Substitute:
The lapse collapses to unity, the metric becomes Minkowski, and the entire clock-rate gradient — the reason the card exists — is annihilated by its own notation. The in the lapse is a constant, the acceleration of one chosen fiducial element; it is emphatically not . Why: not pedantry. A metric whose lapse is identically 1 predicts that nose and tail clocks agree, which is the exact opposite of the truth. *Verified in verify_aq-sr-born-rigidity-s6.py: sympy pulls back from the map and reproduces exactly; it then evaluates with and returns , and asserts this article prints the signature and contains no mostly-plus line element.*
Go deeper · Derivation C · 2 minA rigid ship cannot keep a shipwide clock — 344 ns per year, on a hundred metres
The goal is to turn the lapse gradient of the previous derivation into a number a crew would notice; to show that the same number grades the thrust; and to show that pushing it to its limit reproduces, from clocks alone, the causal length bound that `aq-sr-born-rigidity` derives from thrust alone.
Step 1. Put the rod in the chart. Nose at , tail at , both fixed forever. Divide the two proper-time rates; the shared cancels:
Why: <strong>the same ratio grades the thrust and the clocks.</strong> makes the acceleration ratio the inverse position ratio; the lapse makes the clock ratio the position ratio. One number, two hats — and that is the equivalence principle, before anyone has mentioned gravity.
Step 2. Make it exact. Write and :
Why: textbooks (and this article's base card) write this with a "" and call it first-order. It is not; it is <strong>closed</strong>. The condition is that be the acceleration of the <strong>emitting</strong> end; use the nose's and you do get a series. Same exactness `aq-sr-rindler-metric` establishes for — the "approximate" redshift formula is only approximate because people evaluate in the wrong place.
Step 3. Put a ship in it. Take m and let the nose hold , so m and m:
Why: this is <strong>the same </strong> as the thrust grading — , and . One number. Two jobs.
Step 4. Integrate it. Over one year of the tail's proper time ( s):
Why: <strong>the light-travel equivalent of the drift exceeds the length of the ship.</strong> Synchronise nose and tail at launch; a year later a ranging system trusting that synchronisation misplaces the far end by more than the whole hull. The shape is rigid to the last atom; the <strong>time</strong> is coming apart.
Step 5. Close the loop with the length bound. Invert:
which reaches zero precisely at — the maximum rigid length of `aq-sr-born-rigidity`. Why: 1914 derives that bound from the tail needing infinite proper acceleration at the horizon. Here it falls out of the tail's <strong>clock stopping</strong>. Same fact — and the bound is not about how hard the engines can push, but about how slowly the tail is allowed to age. *Verified in verify_aq-sr-born-rigidity-s6.py: every number is recomputed at 50 decimal digits — m, ratio, m/s², ns/yr, m — and each is grepped out of this file and asserted against the computed value.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| , clock ratio | the Newtonian rigid body: one acceleration, one clock. Everything here is a correction — and every bit of it is real | |
| the tail reaches the horizon: its clock stops and its required thrust diverges. The two limits coincide — the length bound and the clock bound are one bound | ||
| , chart degenerates | no vertex, no horizon, no gradient. An unaccelerated rigid body is trivially rigid and its clocks agree exactly | |
| but | not rigid | volume preserved, shape distorted — why the definition needs the whole tensor, not just its trace |
| Bell's congruence | equal thrust everywhere: the tensor is non-zero and the thread snaps (`aq-sr-bell-spaceship-paradox-s6`) | |
| rotation switched on | forbidden | Herglotz–Noether: 3 functional degrees of freedom, not 6 (owned by `aq-sr-born-rigidity`; recalled, not re-derived) |
Worked examples
1 · A hundred-metre ship at one gravity, for one year
Step 1 — the geometry. The nose holds , so it sits at from the vertex. The tail, m astern, sits at m.
Step 2 — the thrust grading (recalled from `aq-sr-born-rigidity`). , so
Compute this stably as , never as : the latter is a catastrophic cancellation in double precision and gets the last three digits wrong (see `aq-sr-bell-spaceship-paradox-s6`, worked example 2).
Step 3 — the clock grading (owned here). The same number:
Step 4 — integrate over a year. One Julian year of tail proper time is s, so the nose gains
Step 5 — the boundary number. The hull is m long; the accumulated clock error, as a distance, is m. After one year of flight the ship can no longer locate its own nose to within its own length using a clock synchronised at launch. A full second takes years to accumulate — but a shiplength takes one. Born rigidity holds the hull together perfectly and lets its time fall apart.
2 · How long may a rigid ship be before its tail stops ageing?
Step 1 — set a tolerance. Demand the tail age at no less than of the nose's rate: .
Step 2 — solve. , i.e.
Step 3 — read the bound. Nothing stops you making the ship longer; the geometry stays consistent all the way out to m, about light-years. What happens as you approach it is that the tail's clock rate falls to zero and its required proper acceleration rises without bound.
Step 4 — the boundary number. is both the point at which the engines must deliver infinite thrust and the point at which the tail stops ageing, because the same does both. `aq-sr-born-rigidity` states the bound from the thrust side. From the clock side: a Born-rigid body may not be so long that its own tail falls out of time. Same bound, same number, a different reason — and arguably the better one, because it is the one that survives when the engines are replaced by a gravitational field and there is no thrust to speak of.
Origins · 2 minRigid body and how this was discovered
The classical fiction. A rigid body is the most useful lie in mechanics: particles whose mutual distances never change, with six degrees of freedom, an inertia tensor and Euler's equations. Newton needed it, Euler formalised it, and every statics course still runs on it. Taken literally it is also a device for signalling faster than light — push one end and the other moves now — which is why relativity cannot have it. What Born asked. In 1909, Max Born asked the honest question: what is the nearest thing to a rigid body that relativity permits? His answer: demand not that distances be constant in some frame, but that the proper distances between neighbouring elements, measured in the material's own rest space, be constant. That is a local, tensorial condition, and it is the definition this article computes. Born's rigid body does not signal superluminally — every element's motion is prescribed in advance, and no push propagates anywhere. What it cost. Within a year, Gustav Herglotz and Emmy Noether had counted the degrees of freedom and found three, not six. You cannot spin up a Born-rigid disc from rest; you cannot deform one; you can do nothing to one except prescribe the worldline of a single point and let the rest follow. The rigid body survives in relativity only as a limiting idealisation — and, as this article shows, even the idealisation cannot keep its own clocks together.
Going further
Texts. Born, Ann. Phys. 30, 1 (1909) · Herglotz, Ann. Phys. 31, 393 (1910) · Noether, Ann. Phys. 31, 919 (1910) · Rindler, Relativity: Special, General and Cosmological, 2nd ed., §§ on rigid and hyperbolic motion · Giulini, arXiv:0802.4345, on Herglotz–Noether · Ellis, Maartens & MacCallum, Relativistic Cosmology, ch. 4, for the expansion–shear–vorticity decomposition in its native habitat.
Provenance. Signature . Every equation and number is recomputed in verify_aq-sr-born-rigidity-s6.py, which reads this file, regexes the printed values out, and asserts each against what it computed at fifty digits. Base defects repaired: (1) the base's metric card prints — wrong signature, and degenerate, because the same card defines , which makes the lapse identically ; the corrected card names the fiducial constant . (2) The base's rigidity-condition card prints , not a well-formed tensor equation; the correct condition is , derived here. (3) The base's third derivation contains a literal unfinished formula, — discarded. (4) The base calls the clock ratio a first-order expansion; it is exact when is the tail's own proper acceleration.
Scope. , rear-pushes-harder, and Herglotz–Noether are owned by `aq-sr-born-rigidity` and are recalled, never re-derived. The Unruh effect (`aq-sr-unruh-effect`) is gestured at only: the Rindler wedge this congruence sweeps out is the arena in which it is computed, and nothing further is claimed about it here.
Isn't "the proper distance between neighbouring points stays constant" already a perfectly good definition?
It is correct, and it is the one Born wrote. It is just not a safe one: it contains the words "proper distance" and "neighbouring points", both of which require a rest space to be nominated at each event before they mean anything, and every wrong resolution of Bell's paradox in sixty years has been an argument about whose rest space is right. The expansion tensor removes the argument: is built from and its derivatives alone, transforms as a tensor, and is zero or is not. The two definitions are equivalent — is exactly the statement that the Lie derivative of along the flow vanishes, which is Born's sentence in symbols — but only one of them can be checked without a conversation.
Why does the shear have to vanish separately? Isn't a rod one-dimensional?
The rod is; the congruence is not. A four-velocity field lives on the whole wedge and has a full spatial gradient available to it, so a body could keep its volume exactly constant () while being squashed along and stretched along at compensating rates (). That body is deforming, and nobody would call it rigid. Demanding only under-specifies rigidity; demanding does not. For the Rindler congruence the shear does vanish along with the expansion — but that is a result, obtained by computing all sixteen components, not something one may assume.
Does the tail's clock really run slow, or does it just look that way from the nose?
Really. This is not a signalling artefact and not a Doppler shift. Both ends are permanently at rest in the same static chart and permanently at rest relative to each other, and the ratio compares two proper times accumulated between the same pair of slices from the shared fan — a comparison every element of the rod agrees on, because they share the fan. Bring the clocks back together after a year and one has logged ns more than the other. That is a fact about the worldlines, not about the observing.
If the rigid rod's ends can't stay synchronised, in what sense is it rigid at all?
In precisely the sense the definition says, and no other. constrains the spatial geometry of the congruence: proper distances between material elements, in the material's own rest space, never change. It says nothing about the rate at which the elements' clocks run, and no reason it should — clock rates are a statement about , rigidity a statement about the projector , which is orthogonal to exactly that direction. A Born-rigid body's shape is eternal. Its time is not, cannot be, and never was promised to be.
Is the Rindler metric here a different metric from the one in the Rindler-metric article?
No — the same metric in the same chart, arrived at by a different route and for a different purpose. `aq-sr-rindler-metric` derives it as the coordinate system a single accelerated observer builds, and owns the clock-rate law and the flatness proof (). Here it arrives as the rest chart of an extended body: a Born-rigid body is exactly a body that is static in this metric, every element pinned at fixed forever. That reframing is what makes the length bound and the clock bound the same bound.
Could you build a Born-rigid ship?
Not exactly, and the reason is instructive. Born rigidity is not a material property; it is a prescribed programme of motion. Nothing about the ship enforces it — you must feed every element its own precomputed proper acceleration, graded as , and if you get it wrong the hull takes up the difference as stress. Real materials transmit stress at their sound speed, far below , so a real ship rings after ignition and only settles toward the rigid programme once the transient dies. What you can build is a ship Born-rigid to within its elastic tolerance: for a m hull at that means grading the thrust by one part in , about m/s² between the ends. No engine control system on Earth resolves that, and no hull would notice if it did.