PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] example of finding the generating function (Result)

For finding the generating function $$F(t) \;=\; \sum_{n=0}^\infty P_n(z)t^n$$ of the sequence of the Legendre polynomials
$P_0(z) \;=\; 1$
$P_1(z) \;=\; z$
$P_2(z) \;=\; \frac{1}{2}(3z^2\!-\!1)$
$P_3(x) \;=\; \frac{1}{2}(5z^3\!-\!3z)$
$P_4(z) \;=\; \frac{1}{8}(35z^4\!-\!30z^2\!+\!3)$
$P_5(z) \;=\; \frac{1}{8}(63z^5\!-\!70z^3\!+\!15z)$
$\cdots \qquad\;\; \cdots$
we have to present $P_n(z)$ as the general coefficient of Taylor series in $t$ , i.e. as the $n$ th derivative of some $F(t)$ in the origin, divided by the factorial $n!$ . The Cauchy integral formula offers the chance to implement that.

Starting from the Rodrigues formula of Legendre polynomials, we may write $$P_n(z) \;=\; \frac{1}{2^nn!}\frac{d^n}{dz^n}(z^2\!-\!1)^n \;=\; \frac{1}{2^nn!}\frac{n!}{2i\pi}\oint_c\frac{(\zeta^2\!-\!1)^n}{(\zeta\!-\!z)^{n+1}}d\zeta\;=\; \frac{1}{2i\pi}\oint_c\left(\frac{1}{2}\frac{\zeta^2\!-\!1}{\zeta\!-\!z}\right)^n\!\frac{d\zeta}{\zeta\!-\!z},$$ where the contour $c$ runs anticlockwise once around the point $z$ . The change of variable $$\frac{\zeta^2\!-\!1}{2(\zeta\!-\!z)} \;=\; \frac{1}{t}, \quad d\zeta \;=\; \frac{zt\!-\!1\!-\!\sqrt{1\!-\!zt\!+\!t^2}}{t^2\sqrt{1\!-\!zt\!+\!t^2}}dt$$ gives $$P_n(z) \;=\; -\frac{1}{2i\pi}\oint_{c'}\frac{dt}{t^nt\sqrt{1\!-\!zt\!+\!t^2}}$$ where $t$ must go round the origin clockwise, but in $$P_n(z) \;=\; \frac{1}{n!}\cdot\frac{n!}{2i\pi}\oint_{c'}\frac{dt}{\sqrt{1\!-\!zt\!+\!t^2}\cdot(t\!-\!0)^{n+1}}$$ anticlockwise. This is, by Cauchy integral formula again, $$P_n(z) \;=\; \frac{1}{n!}\left[\frac{d^n}{dt^n}\frac{1}{\sqrt{1\!-\!zt\!+\!t^2}}\right]_{t=0}.$$ This means that $$F(t) \;:=\; \frac{1}{\sqrt{1\!-\!zt\!+\!t^2}}$$ is the searched generating function of the Legendre polynomials: $$\frac{1}{\sqrt{1\!-\!zt\!+\!t^2}} \;=\; P_0(z)+P_1(z)t+P_2(z)t^2+P_3(z)t^3+\ldots$$

A similar method can be used also for finding e.g. the generating function of the Hermite polynomials. Cf. the generating function of the Bessel functions.




"example of finding the generating function" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: generating function of Hermite polynomials, orthogonal polynomials

Other names:  generating function of Legendre polynomials
Keywords:  generating function, power series

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: Bessel functions, Hermite polynomials, variable, point, contour, Cauchy integral formula, factorial, origin, derivative, Taylor series, coefficient, Legendre polynomials, sequence, generating function

This is version 10 of example of finding the generating function, born on 2009-05-20, modified 2009-11-17.
Object id is 11793, canonical name is ExampleOfFindingTheGeneratingFunction.
Accessed 492 times total.

Classification:
AMS MSC30B10 (Functions of a complex variable :: Series expansions :: Power series )
 30D10 (Functions of a complex variable :: Entire and meromorphic functions, and related topics :: Representations of entire functions by series and integrals)
 33B99 (Special functions :: Elementary classical functions :: Miscellaneous)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)