
Originally Posted by
Markus Hanke
I am not sure I understand the issue at hand - when the satellite is in operation, it will be in position in a predetermined orbit of known radius above earth; the only quantities that then need to be corrected for a relativistic effects from relative velocity and differences in gravitational potential. I don't see the relevance of the satellite's launch into orbit, since the GPS relies only on differences in signal times, not on absolute clock readings...or am I missing something here ?
The frequency is corrected (decreased) at launch in order to make the clocks (ground and satellite) tick at the same rate.
Therefore, once placed in orbit, the satellite clock will accumulate a certain proper time

The ground clock will accumulate
So,
But

is unknown, unless we calculate it.