Associated Legendre polynomials

In mathematics, the associated Legendre polynomials are the canonical solutions of the general Legendre equation or equivalently where the indices l and m (which are integers) are referred to as the degree and order of the associated Legendre polynomial respectively. This equation has nonzero solutions that are nonsingular on only if l and m are integers with 0 ≤ m ≤ l, or with trivially equivalent negative values. When in addition m is even, the function is a polynomial. When m is zero and l integer, these functions are identical to the Legendre polynomials. In general, when l and m are integers, the regular solutions are sometimes called "associated Legendre polynomials", even though they are not polynomials when m is odd. The fully general class of functions with arbitrary real or complex values of l and m are Legendre functions. In that case the parameters are usually labelled with Greek letters. The Legendre ordinary differential equation is frequently encountered in physics and other technical fields. In particular, it occurs when solving Laplace's equation (and related partial differential equations) in spherical coordinates. Associated Legendre polynomials play a vital role in the definition of spherical harmonics. These functions are denoted , where the superscript indicates the order and not a power of P. Their most straightforward definition is in terms of derivatives of ordinary Legendre polynomials (m ≥ 0) The (−1)m factor in this formula is known as the Condon–Shortley phase. Some authors omit it. That the functions described by this equation satisfy the general Legendre differential equation with the indicated values of the parameters l and m follows by differentiating m times the Legendre equation for Pl: Moreover, since by Rodrigues' formula, the P can be expressed in the form This equation allows extension of the range of m to: −l ≤ m ≤ l. The definitions of Pl±m, resulting from this expression by substitution of ±m, are proportional.