Laguerre polynomials

In mathematics, the Laguerre polynomials, named after Edmond Laguerre (1834 - 1886), are a polynomial sequence defined by

<math>

L_n(x)=\frac{e^x}{n!}\frac{d^n}{dx^n}\left(e^{-x} x^n\right). </math>

These polynomials are orthogonal to each other with respect to the inner product given by

<math>\langle f,g \rangle = \int_0^\infty f(x) g(x) e^{-x}\,dx.</math>

Also, for each n, Ln(x) is a solution of Laguerre's equation

<math> (x D^2 + (1 - x) D + n) \, y(x) = 0 </math>

which is a second-order linear differential equation with variable coefficients.

The sequence of Laguerre polynomials is a Sheffer sequence.

Contents

[edit]

Low orders

The first 5 Laguerre polynomials.

The first few polynomials are:

<math>L_0(x)=1\,</math>
<math>L_1(x)=-x+1\,</math>
<math>L_2(x)=\frac{1}{2}(x^2-4x+2)</math>
<math>L_3(x)=\frac{1}{6}(-x^3+9x^2-18x+6)</math>
<math>L_4(x)=\frac{1}{24}(x^4-16x^3+72x^2-96x+24)</math>
<math>L_5(x)=\frac{1}{120}(-x^5+25x^4-200x^3+600x^2-600x+120)</math>
<math>L_6(x)=\frac{1}{720}(x^6-36x^5+450x^4-2400x^3+5400x^2-4320x+720)</math>
[edit]

As contour integral

The polynomials may be expressed in terms of a contour integral

<math>L_n(x)=\frac{1}{2\pi i}\oint\frac{e^{-xt/(1-t)}}{(1-t)\,t^{n+1}} \; dt</math>

where the contour circles the origin once in a counterclockwise direction.

[edit]

Generalized Laguerre polynomials

The orthogonality property stated above is equivalent to saying that if X is an exponentially distributed random variable with probability density function

<math>f(x)=\left\{\begin{matrix} f(x)=e^{-x} & \mbox{if}\ x>0, \\ 0 & \mbox{if}\ x<0, \end{matrix}\right\}</math>

then

<math>E(L_n(X)L_m(X))=0\ \mbox{whenever}\ n\neq m.</math>

The exponential distribution is not the only gamma distribution. A polynomial sequence orthogonal with respect to the gamma distribution whose probability density function is

<math>f(x)=\left\{\begin{matrix} f(x)=x^{\alpha-1} e^{-x}/\Gamma(\alpha) & \mbox{if}\ x>0, \\ 0 & \mbox{if}\ x<0, \end{matrix}\right\}</math>

(see gamma function) is given by the defining equation for the generalized Laguerre polynomials:

<math>L_n^{(\alpha)}(x)=

{x^{-\alpha} e^x \over n!}{d^n \over dx^n} e^{-x} x^{n+\alpha}.</math>

These are also sometimes called the associated Laguerre polynomials. The simple Laguerre polynomials are recovered from the generalized polynomials by setting α=0:

<math>L^{(0)}_n(x)=L_n(x).</math>

The associated Laguerre polynomials are orthogonal over <math>[0,\infty)</math> with respect to the weighting function <math>x^\alpha e^{-x}</math>:

<math>\int_0^{\infty}e^{-x}x^\alpha L_n^{(\alpha)}(x)L_m^{(\alpha)}(x)dx=\frac{\Gamma(n+\alpha+1)}{n!}\delta_{nm}.</math>

For integer α the defining equation above can be written as

<math>L_n^{(m)}(x)=

(-1)^m{d^m \over dx^m} L_{n+m}(x).</math>

The associated Laguerre polynomials obey the following differential equation

<math>

xL_n^{(m) \prime\prime}(x) + (m+1-x)L_n^{(m)\prime}(x) + nL_n^{(m)}(x)=0.\, </math>

[edit]

Low-order examples of associated Laguerre polynomials

<math> L_0^m(x) = 1 </math>
<math> L_1^m(x) = -x + m +1</math>
<math> L_2^m(x) = \frac{x^2}{2} - (m + 2)x + \frac{(m+2)(m+1)}{2}</math>
[edit]

Relation to Hermite polynomials

The generalized Laguerre polynomials arise in the treatment of the quantum harmonic oscillator, due to their relation to the Hermite polynomials, which can be expressed as

<math>H_{2n}(x) = (-1)^n 2^{2n} n! L_n^{(-1/2)} (x^2)</math>

and

<math>H_{2n+1}(x) = (-1)^n 2^{2n+1} n! x L_n^{(1/2)} (x^2)</math>

where the <math>H_n(x)</math> are the Hermite polynomials.

[edit]

Relation to hypergeometric functions

The Laguerre polynomials may be defined in terms of hypergeometric functions, specifically the confluent hypergeometric functions, as

<math>L^a_n(x) = {n+a \choose n} M(-n,a+1,x) =\frac{(a+1)_n} {n!} \,_1F_1(-n,a+1,x)</math>

where <math>(a)_n</math> is the Pochhammer symbol (which in this case represents the rising factorial).

[edit]

External links

[edit]

References