New relations among associated Legendre functions and spherical harmonics

Several new relations among associated Legendre functions (ALFs) are derived, most of which relate a product of an ALF with trigonometric functions to a weighted summation over ALFs, where the weights only depend on the degree and order of the ALF. These relations are, for example, useful in applications such as the computation of geopotential coefficients and computation of ellipsoidal corrections in geoid modelling. The main relations are presented in both their unnormalised and fully normalised (4 pi-normalised) form. Several approaches to compute the weights involved are discussed, and it is shown that the relations can also be applied in the case of first- and second-order derivatives of ALFs, which may be of use in analysis of satellite gradiometry data. Finally, the derived relations are combined to provide new identities among ALFs, which contain no dependency on the colatitudinal coordinate other than that in the ALFs themselves.