← Back to article

Equation 71 · The Bend an Elevator Cannot Fake

What does this equation mean?

ds2=−U(Z)2 dx02+dZ2+dx2+dy2,x0:=ct,U(Z):=1+gZc2.ds^2 = -U(Z)^2\,dx_0^2 + dZ^2 + dx^2 + dy^2, \qquad x_0 := ct, \qquad U(Z) := 1 + \frac{gZ}{c^2}.

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Start withgZ
Divide byc^2
This relates tods^2
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

dd

Symbol d

d is part of the quantity the equation computes from the expression on the right.

Understand this part →

s2s^2

Symbol s^2

The square of s: multiply s by itself.

Understand this part →

UU

Symbol U

U is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

ZZ

Symbol Z

the height.

Understand this part →

x02x_0^2

Symbol x_0^2

x02x_0^2 is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

Z2Z^2

Symbol Z^2

the square of Z; the height.

Understand this part →

x2x^2

Symbol x^2

The square of x: multiply x by itself.

Understand this part →

y2y^2

Symbol y^2

The square of y: multiply y by itself.

Understand this part →

x0x_0

Symbol x_0

x0x_0 is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

cc

Symbol c

c occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.

Understand this part →

tt

Symbol t

t is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

gg

Symbol g

the observer under constant proper acceleration.

Understand this part →

c2c^2

Symbol c^2

The square of c: multiply c by itself.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
fraction

fraction

Divide the expression above the line by the one below it.

Understand this part →

See an illustrated explanation →
addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

superscript

superscript

A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.

Understand this part →

See an illustrated explanation →
gZgZ

Numerator: gZ

The complete quantity above the fraction bar.

Understand this part →

How to interpret it

With a fixed numerator, increasing a nonzero denominator reduces the fraction. Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Consider a uniformly accelerated laboratory in otherwise empty, flat spacetime — Einstein’s elevator, given by the exact Rindler metric in coordinates comoving with an observer under constant proper acceleration g : ds2=−U(Z)2 dx02+dZ2+dx2+dy2,x0:=ct,U(Z):=1+gZc2ds^2 = -U(Z)^2\,dx_0^2 + dZ^2 + dx^2 + dy^2, \qquad x_0 := ct, \qquad U(Z) := 1 + \frac{gZ}{c^2}. This is an exact solution describing flat Minkowski spacetime in non-inertial coordinates, not a weak-field approximation. A clock held static at height Z has dτ\tau = U(Z)\,dt exactly, so two such clocks compare frequencies as ν2\nu_2/ν1\nu_1 = U(Z1Z_1)/U(Z2Z_2) to all orders — the same exact redshift formula an accelerating rocket produces for light climbing or falling inside it. The node potential is ϕ(Z)\phi(Z) = ln⁡\ln U(Z) = ln⁡(1+gZ/c2)\ln(1 + gZ/c^2) , and its first derivative…
Read the full surrounding passage
Consider a uniformly accelerated laboratory in otherwise empty, flat spacetime — Einstein’s elevator, given by the exact Rindler metric in coordinates comoving with an observer under constant proper acceleration g : ds2=−U(Z)2 dx02+dZ2+dx2+dy2,x0:=ct,U(Z):=1+gZc2ds^2 = -U(Z)^2\,dx_0^2 + dZ^2 + dx^2 + dy^2, \qquad x_0 := ct, \qquad U(Z) := 1 + \frac{gZ}{c^2}. This is an exact solution describing flat Minkowski spacetime in non-inertial coordinates, not a weak-field approximation. A clock held static at height Z has dτ\tau = U(Z)\,dt exactly, so two such clocks compare frequencies as ν2\nu_2/ν1\nu_1 = U(Z1Z_1)/U(Z2Z_2) to all orders — the same exact redshift formula an accelerating rocket produces for light climbing or falling inside it. The node potential is ϕ(Z)\phi(Z) = ln⁡\ln U(Z) = ln⁡(1+gZ/c2)\ln(1 + gZ/c^2) , and its first derivative at Z=0 is ϕ\phi' = g/c2c^2 : a nonzero, entirely real, measurable slope. A network of clocks bolted to this elevator’s walls would report exactly the nonzero edge data a network in a genuine gravitational field reports at the same order. If a nonzero slope alone were curvature, this elevator would be curved. It is not; by construction its spacetime is exactly flat, and the geodesic deviation between any two nearby free-falling test particles inside it is exactly zero at every instant, because flatness is a property of the manifold and does not care what coordinates — accelerated, rotating, or otherwise — a particular family of observers happens to use.

Read the equation in its article →

Sources cited in the article section

These citations give research context. Read each source to check which claims it supports.

Return to The Bend an Elevator Cannot Fake

See this formula across 1 published context →

Browse the mathematical compendium →