Geodetic effect
The geodetic effect (also known as geodetic precession, de Sitter precession or de Sitter effect) represents the effect of the curvature of spacetime, predicted by general relativity, on a vector carried along with an orbiting body. For example, the vector could be the angular momentum of a gyroscope orbiting the Earth, as carried out by the Gravity Probe B experiment. The geodetic effect was first predicted by Willem de Sitter in 1916, who provided relativistic corrections to the Earth–Moon system's motion. De Sitter's work was extended in 1918 by Jan Schouten and in 1920 by  Adriaan Fokker. It can also be applied to a particular secular precession of astronomical orbits, equivalent to the rotation of the Laplace–Runge–Lenz vector. The term geodetic effect has two slightly different meanings as the moving body may be spinning or non-spinning. Non-spinning bodies move in geodesics, whereas spinning bodies move in slightly different orbits. The difference between de Sitter precession and Lense–Thirring precession (frame dragging) is that the de Sitter effect is due simply to the presence of a central mass, whereas Lense–Thirring precession is due to the rotation of the central mass. The  total precession is calculated by combining the de Sitter precession with the Lense–Thirring precession. Experimental confirmation. The geodetic effect was verified to a precision of better than 0.5% percent by Gravity Probe B, an experiment which measures the tilting of the spin axis of gyroscopes in orbit about the Earth. The first results were announced on April 14, 2007 at the meeting of the American Physical Society. Formulae. To derive the precession, assume the system is in a rotating Schwarzschild metric. The nonrotating metric is where "c" = "G" = 1. We introduce a rotating coordinate system, with an  angular velocity formula_2, such that a satellite in a circular orbit in the θ = π/2 plane remains at rest. This gives us In this coordinate system, an observer at radial position "r" sees a vector positioned at "r" as rotating with angular frequency ω. This observer, however, sees a vector positioned at some other value of "r" as rotating at a different rate, due to relativistic time dilation. Transforming the Schwarzschild metric into the rotating frame, and assuming that formula_4 is a constant, we find with formula_6. For a body orbiting in the θ = π/2 plane, we will  have β = 1, and the body's world-line will maintain constant spatial coordinates for all time. Now, the metric is in the canonical form From this canonical form, we can easily determine the rotational rate of a gyroscope in proper time where the last equality is true only for free falling observers for which there is no acceleration, and thus formula_9. This leads to Solving this equation for ω yields This is essentially Kepler's law of periods, which happens to be relativistically exact when expressed in terms of the time coordinate "t" of this particular rotating coordinate  system. In the rotating frame, the satellite remains at rest, but an observer aboard the satellite sees the gyroscope's angular momentum vector precessing at the rate ω. This observer also sees the distant stars as rotating, but they rotate at a slightly different rate due to time dilation. Let τ be the gyroscope's proper time. Then The −2"m"/"r" term is interpreted as the gravitational time dilation, while the additional −"m"/"r" is due to the rotation of this frame of reference. Let α' be the accumulated precession in the rotating frame. Since formula_13, the precession over the course of  one orbit, relative to the distant stars, is given by: With a first-order Taylor series we find Thomas precession. One can attempt to break down the de Sitter precession into a kinematic effect called Thomas precession combined with a geometric effect caused by gravitationally curved spacetime. At least one author does describe it this way, but others state that "The Thomas precession comes into play for a gyroscope on the surface of the Earth ..., but not for a gyroscope in a freely moving satellite." An objection to the former interpretation is that the Thomas precession required has the wrong  sign. The Fermi-Walker transport equation gives both the geodetic effect and Thomas precession and describes the transport of the spin 4-vector for accelerated motion in curved spacetime. The spin 4-vector is orthogonal to the velocity 4-vector. Fermi-Walker transport preserves this relation. If there is no acceleration, Fermi-Walker transport is just parallel transport along a geodesic and gives the spin precession due to the geodetic effect. For the acceleration due to uniform circular motion in flat Minkowski spacetime, Fermi Walker transport gives the Thomas precession.