Wikipedia / Legendre function
Wikipedia / Legendre function
In physical science and mathematics, the Legendre functions , and associated Legendre functions , , and Legendre functions of the second kind, , are all solutions of Legendre's differential equation. The Legendre polynomials and the associated Legendre polynomials are also solutions of the differential equation in special cases, which, by virtue of being polynomials, have a large number of additional properties, mathematical structure, and applications. For these polynomial solutions, see the separate Wikipedia articles.
Legendre's differential equation
The general Legendre equation where the numbers and may be complex, and are called the degree and order of the relevant function, respectively. The polynomial solutions when is an integer (denoted ), and are the Legendre polynomials ; and when is an integer (denoted ), and is also an integer with are the associated Legendre polynomials. All other cases of and can be discussed as one, and the solutions are written , . If , the superscript is omitted, and one writes just , . However, the solution when is an integer is often discussed separately as Legendre's function of the second kind, and denoted .
This is a second order linear equation with three regular singular points (at , , and ). Like all such equations, it can be converted into a hypergeometric differential equation by a change of variable, and its solutions can be expressed using hypergeometric functions.
Solutions of the differential equation
Since the differential equation is linear, homogeneous (the right hand side =zero) and of second order, it has two linearly independent solutions, which can both be expressed in terms of the hypergeometric function being the gamma function These are generally known as Legendre functions of the first and second kind of noninteger degree, with the additional qualifier 'associated' if is non-zero. A useful relation between the and solutions is Whipple's formula.
Positive integer order
as
the (rising) Pochhammer symbol.
Legendre functions of the second kind (Qn)
This solution is necessarily singular.
The Legendre functions of the second kind can also be defined recursively via Bonnet's recursion formula
Associated Legendre functions of the second kind
Integral representations
where the contour winds around the points and in the positive direction and does not wind around . For real
Legendre function as characters
are very useful in the study of harmonic analysis is the double coset space (see Zonal spherical function). Actually the Fourier transform
Singularities of Legendre functions of the first kind (Pλ) as a consequence of symmetry
Legendre functions of non-integer degree are unbounded at the interval [-1, 1] . In applications in physics, this often provides a selection criterion. Indeed, because Legendre functions of the second kind are always unbounded, in order to have a bounded solution of Legendre's equation at all, the degree must be integer valued: only for integer degree, Legendre functions of the first kind reduce to Legendre polynomials, which are bounded on [-1, 1]. It can be shown that the singularity of the Legendre functions for non-integer degree is a consequence of the mirror symmetry of Legendre's equation. Thus there is a symmetry under the selection rule just mentioned.
See also
References
.
External links
Legendre function P on the Wolfram functions site.
Legendre function Q on the Wolfram functions site.
Associated Legendre function P on the Wolfram functions site.
Associated Legendre function Q on the Wolfram functions site.