experiment Lunar laser ranging and Gravity Probe B

open in the book · parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:988

Rests on

tests phenomenon 53.6 Precession of a gyroscope in orbit ¶
- depends_on postulate 43.1 Geodesic motion ¶
- depends_on theorem 45.30 Kerr solution; imported ¶
  - depends_on theorem 45.1 Schwarzschild solution ¶
    - depends_on equation 13.306 eq:mfd-riemann ¶
    - depends_on postulate 43.1 Geodesic motion ¶ ↺
    - depends_on theorem 13.150 Levi-Civita connection and contorsion ¶
      - depends_on definition 13.145 Affine connection ¶
      - depends_on definition 13.117 Metric tensor of signature $(p,q)$ ¶
      - depends_on definition 13.149 Metric compatibility ¶
      - depends_on definition 13.147 Torsion ¶
      - proves proof ch:11-manifolds-tensors-curvature@proof-41 ¶
    - proves proof ch:04-schwarzschild-black-holes@proof-1 ¶
- proves proof ch:12-exp-classical-tests@proof-7 ¶
tests phenomenon 42.4 The lunar orbit is not polarized toward the Sun ¶
- depends_on phenomenon 42.1 Universality of free fall ¶
  - depends_on postulate 19.8 Newton's second law ¶
    - depends_on definition 19.5 Linear momentum ¶
      - depends_on definition 18.10 Velocity ¶
      - depends_on definition 19.3 Mass ¶
    - depends_on postulate 19.6 Newton's first law ¶
      - depends_on definition 18.8 Inertial frame of reference ¶
      - depends_on definition 19.5 Linear momentum ¶ ↺
  - proves proof ch:01-equivalence-classical-tests@proof-1 ¶
- depends_on theorem 29.51 Equation of motion in a rotating frame ¶
  - depends_on postulate 19.8 Newton's second law ¶ ↺
  - depends_on theorem 29.7 Transport theorem ¶
    - depends_on definition 29.4 Angular velocity ¶
      - depends_on definition 14.26 The rotation group ¶
      - depends_on lemma 14.62 The Levi-Civita symbol is invariant ¶
      - depends_on proposition 14.27 Generators of $\mathfrak{so}(3)$ ¶
    - depends_on proposition 29.5 The velocity field of a rigid body ¶
      - depends_on definition 29.4 Angular velocity ¶ ↺
      - depends_on equation 29.1 eq:rigid-constraint ¶
      - proves proof ch:12-rigid-body-rotating-frames@proof-3 ¶
    - proves proof ch:12-rigid-body-rotating-frames@proof-5 ¶
  - proves proof ch:12-rigid-body-rotating-frames@proof-34 ¶
- proves proof ch:01-equivalence-classical-tests@proof-2 ¶

Supports

cites (method) derived bib 22 Gravity Probe B: Final Results of a Space Experiment to Test General Relativity ¶
cites (evidence) derived bib 22 Gravity Probe B: Final Results of a Space Experiment to Test General Relativity ¶ ↺
cites (evidence) derived bib 22 Gravity Probe B: Final Results of a Space Experiment to Test General Relativity ¶ ↺
cites (history) derived bib Über den Einfluß der Eigenrotation der Zentralkörper auf die Bewegung der Planeten und Monde nach der Einsteinschen Gravitationstheorie ¶
cites (method) derived bib 18 APOLLO: millimeter lunar laser ranging ¶
cites (history) derived bib 5 Equivalence Principle for Massive Bodies. II. Theory ¶
cites (history) derived bib 5 Equivalence Principle for Massive Bodies. II. Theory ¶ ↺
cites (history) derived bib Über die Wirkung rotierender ferner Massen in der Einsteinschen Gravitationstheorie ¶
cites (method) derived bib 26 Progress in Lunar Laser Ranging Tests of Relativistic Gravity ¶
cites (evidence) derived bib 26 Progress in Lunar Laser Ranging Tests of Relativistic Gravity ¶ ↺
cites (evidence) derived bib 26 Progress in Lunar Laser Ranging Tests of Relativistic Gravity ¶ ↺

Neighborhood

Every logical edge within two steps of this node.

declared and complete
partly declared
a check failed
not graded
declared in the source
inferred from structure

Edges

type	direction	node	provenance	where
`cites` (method)	→	Gravity Probe B: Final Results of a Space Experiment to Test General Relativity	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1025
`cites` (evidence)	→	Gravity Probe B: Final Results of a Space Experiment to Test General Relativity	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1194
`cites` (evidence)	→	Gravity Probe B: Final Results of a Space Experiment to Test General Relativity	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1210
`cites` (history)	→	Über den Einfluß der Eigenrotation der Zentralkörper auf die Bewegung der Planeten und Monde nach der Einsteinschen Gravitationstheorie	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:998
`cites` (method)	→	APOLLO: millimeter lunar laser ranging	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1011
`cites` (history)	→	Equivalence Principle for Massive Bodies. II. Theory	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1032
`cites` (history)	→	Equivalence Principle for Massive Bodies. II. Theory	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1212
`cites` (history)	→	Über die Wirkung rotierender ferner Massen in der Einsteinschen Gravitationstheorie	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:998
`cites` (method)	→	Progress in Lunar Laser Ranging Tests of Relativistic Gravity	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1011
`cites` (evidence)	→	Progress in Lunar Laser Ranging Tests of Relativistic Gravity	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1207
`cites` (evidence)	→	Progress in Lunar Laser Ranging Tests of Relativistic Gravity	derived	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:1211
`tests`	→	Precession of a gyroscope in orbit	declared	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:989
`tests`	→	The lunar orbit is not polarized toward the Sun	declared	parts/05-general-relativity-cosmology/12-exp-classical-tests.tex:989