Associated Legendre Function of the First Kind/Examples/3, 2

From ProofWiki
Jump to navigation Jump to search

Example of Associated Legendre Function of the First Kind

Let $\map { {P_n}^m} x$ denote an associated Legendre function of the first kind.

Then:

$\map { {P_3}^2} x = 15 x \paren {1 - x^2}$


Proof

\(\ds \map { {P_n}^m} x\) \(=\) \(\ds \dfrac {\paren {1 - x^2}^{m / 2} } {2^n n!} \dfrac {\d^{m + n} } {\d x^{m + n} } \paren {x^2 - 1}^n\) Derivative Form of Associated Legendre Function of the First Kind
\(\ds \leadsto \ \ \) \(\ds \map { {P_3}^2} x\) \(=\) \(\ds \dfrac {\paren {1 - x^2}^{2 / 2} } {2^3 3!} \dfrac {\d^{3 + 2} } {\d x^{3 + 2} } \paren {x^2 - 1}^3\) setting $m = 2, n = 3$
\(\ds \) \(=\) \(\ds \dfrac {1 - x^2} {8 \times 6} \map {\dfrac {\d^5} {\d x^5} } {x^6 - 3 x^4 + 3 x^2 - 1}\) Cube of Difference
\(\ds \) \(=\) \(\ds \dfrac {1 - x^2} {48} \paren {6 \times 5 \times 4 \times 3 \times 2 x}\) Nth Derivative of Mth Power where $n = 5$
\(\ds \) \(=\) \(\ds 15 x \paren {1 - x^2}\) simplifying and rearranging

$\blacksquare$


Sources