GPS Relativistic Corrections
Every GPS satellite left the factory with its clock deliberately set wrong. Not calibrated — wrong, on purpose, by , so the caesium standard reading MHz on the bench will read exactly MHz once it is km up and moving at km/s. Everybody knows the two halves of that number. Motion costs the satellite microseconds a day; altitude buys it ; the net is , and ignoring it drifts your position by kilometres per day. What almost nobody says out loud is that those three numbers do not come from the formula everyone writes down. The standard textbook expression — subtract the ground station's speed from the satellite's, subtract its potential from the satellite's — gives the right net. It gives and for the two halves. Not and . The difference is µs/day, and it is exactly the Earth's rotation: metres per second at the equator. It has not disappeared. It has been booked into the gravity column, because the ground clock's rate is quoted through the effective geopotential on the geoid — gravity plus centrifugal, as one number. That is not a bookkeeping nicety. It is the only formulation in which the phrase "the ground clock" means anything at all.
- Signature : , , timelike positive. The base is written in — its metric and its proper-time card are both re-derived here, not transcribed.
- The budget, and this article is the corpus's canonical owner of it. SR (velocity) µs/day GR (potential) µs/day net µs/day. Factory detune (Ashby, Living Reviews in Relativity 6 (2003) 1) — reproduced here from WGS-84 constants to six figures.
- The owned result — the geoid theorem. That triple does not follow from . It follows only when the ground rate is written as , the effective geopotential — gravity plus centrifugal — on the geoid. The Earth's rotation ( m/s, worth µs/day) then sits in the gravity column.
- Why that is the right convention, not merely a convention. The geoid is defined as a surface of constant , so every clock on it ticks at the same rate, at every latitude — machine-checked: pole and equator agree to µs/day, though differs by and the ground speed by m/s. Split gravity from rotation and "the ground clock rate" becomes latitude-dependent, and there is no longer any such thing as the ground clock.
- The metric, re-derived in our lock. , giving .
- The satellite's rate is one clean term, . For any circular orbit , so potential and velocity merge. All of GPS is — and the null radius falls out: km ( km altitude), below which an orbiting clock runs slow. A clock at infinity gains µs/day; GPS has climbed of the way there.
- Where the base is wrong: metric and proper-time card mostly-plus · its is the naive split, contradicting the / its own limits card quotes · its uncorrected-drift figure ( km/day) should be · its null-radius equation is printed with a literal "" in it.
A GPS clock is compared against "a clock on the ground" — but the Earth spins, so no two ground clocks are at the same radius, in the same potential, or moving at the same speed. The way out is not to pick one; it is to notice that the surface they sit on, the geoid, is by construction a surface of constant effective potential — gravity and centrifugal summed. Every clock on it therefore ticks at one rate, , and that is what the satellite is measured against. The consequence is a bookkeeping fact the whole literature uses and almost nobody states: the Earth's rotational time dilation is already inside the "gravitational" term. Move it to the "special-relativistic" column and you get and — a correct net, two wrong halves.
Where this lives today
The correction is not optional, and the residuals are now the interesting part. Every operational GPS satellite carries an oscillator detuned by ; without it, ranging error accumulates at km per day. But that offset is a constant, and handles only the mean rate. A real orbit has , so radius and speed oscillate once per orbit and so does the clock rate; the receiver applies , reaching ns — worth m of position. Underneath sits the Sagnac term, : what the Earth's rotation does to a signal rather than to a clock, and the subject of `aq-sr-sagnac-effect`.
And the geoid convention has outgrown GPS. Because is the rate at which the Earth's surface runs slow, the IAU adopted it — , now a defining constant — as the conversion between Terrestrial Time and Geocentric Coordinate Time. The number in this article's ground column is, by international agreement, a definition. Optical clocks now resolve , a centimetre of geoid height: the equation that detunes a satellite is becoming a way to survey the ground.
The physical picture
Two clocks. One in a km orbit, one bolted to a laboratory floor. Ask each what rate it runs at against a common coordinate time — the Earth-centred inertial frame, which does not rotate.
The satellite is easy. A clock at potential moving at speed runs at , and for a circular orbit Newton hands you for free, so the two terms collapse:
One term. No velocity anywhere. The relativistic behaviour of every circular orbit ever flown is the number .
The ground clock is the hard one, and this is the part the textbooks skate over. A clock at the pole is km closer to the Earth's centre than one at the equator, and is not moving at all. So which ground clock? It does not matter, and the reason is the geoid — defined, and this is its definition rather than a property of it, as a surface of constant effective potential
And is precisely . The centrifugal potential and the kinematic time dilation of a rotating clock are the same object. So the geoid is the locus on which is constant — the locus on which clocks tick at one rate. The comparison is therefore
with , computed below from WGS-84 and nothing else.
Now the bookkeeping — the whole point of the article. People report this as "SR , GR ". Look at what those pieces must be:
The "SR" term holds the satellite's speed and nothing else — no . The ground station's m/s has been absorbed into , and appears in the gravitational column. Write instead and you get ; the gravitational term becomes ; and the net is unchanged at , because µs/day simply moved pockets.
Both bookkeepings are right. Only one produces the numbers everybody quotes.
The core equations
| # | relation | what it says |
|---|---|---|
| (1) | weak-field metric, our lock. The base prints this with both signs flipped | |
| (2) | proper time. No minus sign — timelike intervals are already positive | |
| (3) | any clock, first order. Both terms negative for a clock in a well | |
| (4) | the effective geopotential on the geoid — gravity, oblateness, centrifugal | |
| (5) | the whole of GPS relativity. One ground term, one orbit term | |
| (6) | the null radius — an orbiting clock ticks at the ground rate | |
| (7) | the residual periodic term for a non-circular orbit | |
| (8) | the rotating-Earth correction, applied in the receiver |
Equation (5) does more work than it looks. Everything about the satellite is in — potential and velocity merged, because a circular orbit ties them together. Everything about the Earth is in — mass, oblateness and spin. Two numbers, and GPS is solved.
Deriving the budget
The base writes its metric with the timelike component negative and the spatial components positive — the opposite convention to this corpus's, and a transcribed metric is a bug waiting to happen. So we build it from scratch. The goal: the first-order clock rate for a slow clock in a weak static field, in , checked against the two limits we already trust.
Step 1. Fix the convention and the proper time. In a timelike interval is positive: along a massive worldline. So
Why: <strong>the base's eq[0] carries a minus sign under the root.</strong> That minus is not physics, it is a signature declaration — it says timelike intervals are negative. Copy it into our lock and the root turns imaginary. <strong>Never transcribe a metric.</strong>
Step 2. Write the weak static field, in an Earth-centred inertial (non-rotating) frame, with :
Why: is fixed by demanding the geodesic equation reproduce Newton; follows to the same order. In our lock the SIGNS of both corrections flip relative to the base, while the PHYSICS is unchanged — the physics lives in , not in .
Step 3. Put a moving clock on it. Divide by , with :
Why: <strong>this is positive</strong>, as it must be. In the mostly-plus convention the same expression comes out with an overall minus — exactly why the base needs one under its root. Two conventions, one physics, and the sign of keeps score.
Step 4. Expand. The cross term is of order and dies. With ,
Why: <strong>both corrections are negative for a clock in a well and in motion</strong>, since . Deeper is slower; faster is slower. GPS is about which of those two losses the satellite escapes.
Step 5. Check the two limits we already own. gives , which is to first order — the kinematic dilation of `aq-sr-time-dilation`, whose GPS number ( at km/s) is live canon and is quoted, not re-derived, here. gives , the static gravitational rate. Why: <strong>trap 27.</strong> A weak-field metric you have glanced at is not one you have checked. It must reduce, in the two limits where the answer is independently known, to the two things it claims to unify. *Verified in verify_aq-sr-gps-relativistic-corrections.py: the metric is built symbolically in sympy in ; is formed from it, series-expanded, and asserted equal to ; both limits are asserted symbolically; and the base's mostly-plus form is built alongside and shown to give the negative of the same quantity — which is what forces its extra minus sign.*
Go deeper · Derivation B · 3 minThe geoid theorem, and the ledger that closes only because of it
Now build the budget, and watch the Earth's rotation change pockets. The goal: the canonical GPS triple — derived, every constant named, and with an explicit demonstration that the naive formulation gives the right net and two wrong halves.
Step 1. The satellite. Circular orbit of radius , so exactly (Newton suffices; corrections are ):
Why: <strong>the factor is the whole orbital story.</strong> Two-thirds gravity, one-third speed — and for a circular orbit they are not independent, because the same appears in both.
Step 2. The ground, and the step everything turns on. A clock on the rotating Earth at co-latitude , radius , has speed , so
Why: <strong>look at what just happened.</strong> The kinematic term and the centrifugal potential are <strong>literally the same expression.</strong> The velocity of a rotating clock is not an extra effect to add to the potential — it is a potential, and it belongs inside .
Step 3. Invoke the geoid. The geoid is defined as the level surface of , on which const. Therefore every clock on the geoid has the same rate, , regardless of latitude. Evaluating at the equator (, , ),
Why: <strong>the constancy is the theorem.</strong> A pole clock sits km deeper in the well and does not move; an equatorial clock sits higher and runs at m/s. They cancel <strong>because the Earth's surface is an equilibrium shape.</strong> Machine-checked below: the two rates agree to µs/day.
Step 4. Put in WGS-84 and nothing else. m³/s², m, , rad/s:
Why: the IAU's defining constant for Terrestrial Time is <strong>exactly</strong> — and four WGS-84 numbers reproduce it to <strong>one part in </strong>, the residual being the higher harmonics we truncated. The agreement is the check.
Step 5. The orbit radius, from the mission requirement and nothing else. GPS orbits twice per sidereal day, so the ground track repeats: s. Kepler:
Why: <strong>the repeating ground track is why GPS is at that altitude, and the altitude is why the budget is what it is.</strong>
Step 6. Close the ledger, in the geoid convention.
Why: <strong>that is Ashby's factory detune, , reproduced to six figures from four WGS-84 constants and a sidereal day</strong> — and why the oscillator is set to MHz on the bench.
Step 7. Now do it the naive way, and watch move.
Why: <strong>the net is invariant and the split is not.</strong> The quantity that moved is µs/day — the Earth's m/s at the equator. <strong>Both ledgers are arithmetically correct. Only the geoid ledger reproduces the numbers the world quotes</strong>, and it is the one to use, because it is the only one in which "the ground clock" is a single latitude-independent object. *Verified in verify_aq-sr-gps-relativistic-corrections.py: , , , both ledgers, the net, , and the drift are computed at 50 dps from WGS-84 alone; the two ledgers are asserted to give identical nets and to differ by exactly ; the geoid's latitude-independence is checked by evaluating at the pole and at the equator and asserting they agree to . The artefact guard perturbs , , , and and asserts every headline moves — and, inversely, that the net does not move when the ledger convention is switched.*
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| pure gravitational rate. The tower-clock experiment | ||
| pure kinematic dilation — the of `aq-sr-time-dilation`, to first order | ||
| no offset at all. GPS needs no clock correction in a Newtonian universe — and does not work in one | ||
| km | the null orbit. Velocity loss exactly cancels potential gain | |
| µs/day | the ceiling. Depends only on the Earth, not on the orbit | |
| (Earth stops) | the two ledgers merge | The whole ambiguity is made of the Earth's spin |
| circular orbits need no periodic term. Real GPS: , up to ns |
Worked examples
1 · Build the entire GPS budget from four constants and a sidereal day
Take only m³/s², m, , rad/s. Nothing else.
The ground. m²/s², so . Sanity: the IAU's defining value for Terrestrial Time is . Agreement to one part in .
The orbit. Two revolutions per sidereal day s km, altitude km, m/s.
The budget. SR µs/day. GR µs/day. Net µs/day.
The hardware. — the number physically dialled into every satellite before launch. The consequence of not doing it: , or km of ranging error per day.
Nothing was looked up. The factory detune of a -billion constellation is four numbers about the Earth and one about how long a day is.
2 · Where does the Earth's rotation actually go?
The ground station at the equator moves at m/s. Its kinematic time dilation is
Now find that number in the budget. It is not in the SR column, which is , the satellite's speed alone. It is inside , as the centrifugal term — and identically, so its contribution to is , the same number to every digit. When the literature writes GR , that contains µs/day of the Earth spinning.
And here is why that is not an abuse. Evaluate the effective potential at the pole, using the WGS-84 semi-minor axis m, where and there is no rotation at all:
Against the equatorial , they agree to — in clock terms µs/day, a thousand times smaller than the under dispute. A polar clock and an equatorial clock tick at the same rate, though one is km deeper in the well and the other is doing m/s. That is the geoid theorem, and it is why "the ground clock" is a well-defined object.
Physics of the portrait
Origins · 2 minAtomic clock and how this was discovered
The clock had to come first. In 1955 Louis Essen and Jack Parry, at the National Physical Laboratory, ran the first practical caesium beam standard; within a few years the second itself was redefined in terms of it. What that bought was not merely precision but a portable precision: one could now carry a clock somewhere, bring it back, and ask what the journey had cost it. In 1971 they carried four. Hafele and Keating flew caesium clocks east and west on commercial airliners and compared them against the USNO ensemble. The predicted differences were tens of nanoseconds, with gravity and velocity pulling opposite ways and the Earth's rotation breaking the symmetry between the two flight directions — and the measurement matched. The same three-term budget as GPS, at a hundredth of the altitude. Then the prediction went up ahead of the system. On 23 June 1977 the US Navy launched NTS-2, carrying the first caesium clock ever put in orbit. Its synthesiser — the device that would apply the relativistic offset — was deliberately left switched off for the first twenty days, so the raw rate could be measured. General relativity predicted the orbiting clock would run fast by parts in . It ran fast by : a discrepancy of parts in , comfortably inside the clock's own stability. That was the moment GPS became possible. There had been a real argument inside the programme about whether the correction was needed at all; NTS-2 ended it. The theory is not a correction applied to GPS. It is a component of it, installed before the first operational satellite ever flew.
Going further
Texts and papers. N. Ashby, Relativity in the Global Positioning System, Living Reviews in Relativity 6 (2003) 1 — the standard reference, and the source of the effective-geopotential formulation · Hafele & Keating, Science 177, 166 and 168 (1972) · Pound & Rebka, Phys. Rev. Lett. 4, 337 (1960) · Misner, Thorne & Wheeler, Gravitation, §§16, 25 · NIMA TR8350.2, Department of Defense World Geodetic System 1984.
Provenance. Signature . Every number here is recomputed at 50 decimal digits in verify_aq-sr-gps-relativistic-corrections.py, which reads this file, extracts the numbers from the prose, and asserts them. Inputs: the four WGS-84 constants (, , , ), the sidereal day, and — nothing is looked up. The orbit radius, , , both ledgers, the net, , and the drift all follow. Cross-checks: against the IAU defining constant (agrees to ), and the net against Ashby's factory detune (six figures).
Base defects repaired. (i) eq[0] and eq[1] are mostly-plus — metric and proper time re-derived here in , never transcribed. (ii) eq[3] prints the naive split, contradicting the base's own limits card by exactly µs/day; the geoid formulation is derived and the discrepancy machine-demonstrated. (iii) The null-radius entry is printed with a literal "" — the correct form is km. (iv) Its uncorrected-drift figure, " km/day", should be . Its clock-rate formula (eq[2]), its eccentricity term (eq[7], verified here symbolically from Kepler) and its Sagnac term (eq[8]) are correct and used as written.
Scope. The kinematic µs/day — at km/s — is owned by live canon `aq-sr-time-dilation`, which states explicitly that the full budget "belongs elsewhere". This is elsewhere. This article owns the metric, the effective-geopotential ground rate, the complete budget, and the geoid bookkeeping theorem. The rotating-frame signal correction is the subject of `aq-sr-sagnac-effect`. The gravitational potential term is used here and is the topic of `aq-sr-gravitational-time-dilation-heuristic`; this article makes no claim about what that article contains.
Builds on. Time Dilation · Proper Time · Gravitational Time Dilation. Leads to. The Sagnac Effect · Michelson–Morley Isotropy Tests.
Is GPS a special-relativity effect or a general-relativity effect?
Both, and the answer is unbalanced: the gravitational term is about six times larger than the kinematic one and has the opposite sign. Keep only the special-relativistic piece — as a startling number of popular accounts do — and you predict the satellite clock runs slow by µs/day. It runs fast by . GPS is a general-relativistic system with a special-relativistic correction, not the other way round.
Why does the ground station's motion end up in the "gravitational" column?
Because the centrifugal potential is the kinematic term. For a clock rotating with the Earth, — exactly the centrifugal contribution to the effective potential. They are not two effects that happen to be equal; they are one expression written twice. And you must put it somewhere: either inside (the geoid convention, which the literature uses) or outside it. Both give µs/day. Only the first gives and .
Does the answer depend on which ground station you compare against?
No — and that is the point of the geoid, not an accident. It is defined as the level surface of the effective potential, so everywhere on it and every clock on it runs at . An equatorial station is km further from the centre than a polar one and is moving at m/s; those effects cancel, and they cancel because the Earth's surface is an equilibrium shape — the oceans found the surface on which they do. Machine-checked: pole and equator agree to µs/day. Split the potential and the rotation apart and that cancellation dies, and "the ground clock rate" becomes a function of latitude.
What is the null radius, and could you fly a satellite there?
km — altitude km — is where the two effects exactly cancel and an orbiting clock needs no correction at all. You could fly there; nobody does. It sits deep in the inner Van Allen belt, whose proton flux is hostile to spacecraft electronics, and the period is under three hours, so a constellation would need many more satellites for the same coverage. The relativity is free there and everything else is expensive. Note what happens below it: the speed needed to stay in orbit costs more than the altitude buys, so a low-orbit clock runs slow — µs/day for a grazing circular orbit.
If the factory offset handles the rate, why does the receiver do any relativity at all?
Because the factory offset is a constant and two of the effects are not. Eccentricity: a real orbit has , so and oscillate once per revolution and so does the clock rate; the receiver adds , reaching ns — about m of position. Sagnac: the Earth turns while the signal is in flight, so the receiver is not where it was at transmission; the correction is . Neither is optional at the metre level. The constant part is solved in the factory; the time-varying part is solved in your phone.
How do we know any of this is right, and not just self-consistent arithmetic?
NTS-2 settled it before the system existed: launched 23 June 1977 with the first caesium clock ever flown, its relativistic synthesiser deliberately left off for twenty days so the raw rate could be measured. General relativity predicted the orbiting clock would gain parts in ; it gained — agreement to parts in , within the clock's own stability, and it ended a genuine internal argument about whether the correction was needed at all. Since then the evidence has become industrial rather than experimental: thirty satellites, five decades, and a navigation error that would grow at km/day if the effect were not there.