← Back to article

Equation 81 · The Bend an Elevator Cannot Fake

What does this equation mean?

Γ00i=U2ϕ,i\Gamma^i_{00} = U^2\phi_{,i}

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.

Inputs and operationsU^2phi_,i
Result or conditionGamma^i_00
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

Γ00i\Gamma^i_{00}

Symbol Gamma^i_00

Gamma0ia^i_00 is part of the quantity the equation computes from the expression on the right.

Understand this part →

U2U^2

Symbol U^2

The square of U: multiply U by itself.

Understand this part →

ϕ,i\phi_{,i}

Symbol phi_,i

phi_,i is an input to the expression that computes the quantity on the left.

Understand this part →

=

=

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

Understand this part →

See an illustrated explanation →
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 →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

What must therefore vanish, identically, is not the slope but the correctly defined curvature-frame component built from it. For any static metric of the form ds2s^2 = -U(x\mathbf x)^2\,dx02x_0^2 + δij\delta_{ij}\,dxix^i dxjx^j — flat spatial slices, all the position dependence carried by U — the only nonzero Christoffel symbols are Γ0i0\Gamma^0_{0i} = ∂i\partial_i ln⁡\ln U = ϕ,i\phi_{,i} and Γ00i\Gamma^i_{00} = U2U^2ϕ,i\phi_{,i} , both following directly from the metric’s definition. Substituting into the Riemann tensor’s defining combination for the mixed component RiR^i{}_{0j0} , every term built from purely spatial Christoffels vanishes because the spatial slices are exactly flat, and the two surviving pieces are…
Read the full surrounding passage
What must therefore vanish, identically, is not the slope but the correctly defined curvature-frame component built from it. For any static metric of the form ds2s^2 = -U(x\mathbf x)^2\,dx02x_0^2 + δij\delta_{ij}\,dxix^i dxjx^j — flat spatial slices, all the position dependence carried by U — the only nonzero Christoffel symbols are Γ0i0\Gamma^0_{0i} = ∂i\partial_i ln⁡\ln U = ϕ,i\phi_{,i} and Γ00i\Gamma^i_{00} = U2U^2ϕ,i\phi_{,i} , both following directly from the metric’s definition. Substituting into the Riemann tensor’s defining combination for the mixed component RiR^i{}_{0j0} , every term built from purely spatial Christoffels vanishes because the spatial slices are exactly flat, and the two surviving pieces are ∂j\partial_jΓ00i\Gamma^i_{00} and -Γ0λi\Gamma^i_{0\lambda}Γj0λ\Gamma^\lambda_{j0} . Expanding ∂j(U2ϕ,i)\partial_j(U^2\phi_{,i}) = U2U^2ϕ,i\phi_{,i}ϕ,j\phi_{,j} + U2U^2ϕ,ij\phi_{,ij} and Γ00i\Gamma^i_{00}Γj00\Gamma^0_{j0} = U2U^2ϕ,i\phi_{,i}ϕ,j\phi_{,j} , the two copies of ϕ,i\phi_{,i}ϕ,j\phi_{,j} cancel exactly, leaving

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 →