Theories of lunar libration
The measured distance between a point on the Moon and an observatory on the Earth varies with the librational motion of the Moon about her centre of mass. The motion is caused by the varying attraction of the Earth, Sun and planets upon the Moon and obeys highly nonlinear equations of motion. Because of the high precision of measurements with lunar laser ranging systems, the theory of the motion must be worked out in great detail and the absence of adequate developments limits the interpretation of lunar ranging observations. Numerical integration of the equations of motion is carried out at the Jet Propulsion Laboratory and Eckhardt has developed a semi-literal theory in which coefficients of periodic terms are calculated numerically. There is still need, however, for a literal theory. A brief account will be given of a new literal theory, the algebraic manipulations for which are being carried out by the Camal machine algebraic program developed in the Computer Laboratory at Cambridge. The third harmonic terms in the gravitational potential of the Moon are included and it is intended to include the effect of the Sun.