Difference between revisions of "LaguerreL"
m (Text replacement - "\$([^\$]+)\$" to "\\(\1\\)") |
|||
| Line 10: | Line 10: | ||
Laguerre polynomial can be defined with |
Laguerre polynomial can be defined with |
||
| − | + | \(\displaystyle \mathrm{LaguerreL}[n,x]= |
|
L_n(x)=\sum_{m=0}^n \frac{(-1)^m}{m!} \mathrm{Binomial}(n,m) \, x^m |
L_n(x)=\sum_{m=0}^n \frac{(-1)^m}{m!} \mathrm{Binomial}(n,m) \, x^m |
||
=\sum_{m=0}^n \frac{(-1)^m}{m!} \, |
=\sum_{m=0}^n \frac{(-1)^m}{m!} \, |
||
\frac{n!}{m! \, (n\!-\!m)!} |
\frac{n!}{m! \, (n\!-\!m)!} |
||
| − | \, x^m |
+ | \, x^m \) |
Associated Laguerre function appears as |
Associated Laguerre function appears as |
||
| − | + | \(\displaystyle \mathrm{LaguerreL}[n,k,x]= |
|
L_n^k(x)=(-1)^k \, \partial_x^k L_{n+k}(x) |
L_n^k(x)=(-1)^k \, \partial_x^k L_{n+k}(x) |
||
=\sum_{m=0}^n (-1)^m \frac{ (n\!+\!k)!}{(n\!-\!m)!\, (k\!+\!m)!\, m!} \, x^m |
=\sum_{m=0}^n (-1)^m \frac{ (n\!+\!k)!}{(n\!-\!m)!\, (k\!+\!m)!\, m!} \, x^m |
||
| + | \) |
||
| − | $ |
||
For non-negative integer values of the second argument, it is also polynomial. |
For non-negative integer values of the second argument, it is also polynomial. |
||
| Line 31: | Line 31: | ||
gives the following table: |
gives the following table: |
||
| − | + | \(\begin{array}{cccccc} |
|
1 & 1-z & \frac{1}{2} \left(z^2-4 z+2\right) & |
1 & 1-z & \frac{1}{2} \left(z^2-4 z+2\right) & |
||
\frac{1}{6} \left(-z^3+9 z^2-18 z+6\right) & |
\frac{1}{6} \left(-z^3+9 z^2-18 z+6\right) & |
||
| Line 78: | Line 78: | ||
z^3+17160 z^2-85800 z+154440\right) \\ |
z^3+17160 z^2-85800 z+154440\right) \\ |
||
\end{array} |
\end{array} |
||
| + | \) |
||
| − | $ |
||
==Applications== |
==Applications== |
||
| Line 91: | Line 91: | ||
Radial wave-function of the hydrogen atom</ref>: |
Radial wave-function of the hydrogen atom</ref>: |
||
| − | + | \(\displaystyle |
|
| − | \psi_{n,\ell}( r) = \sqrt{\frac{(n\!-\!\ell \!-\!1)! }{(n\!+\!\ell)! } }\exp(-r/n) \left(\frac{2 r}{n}\right)^\ell \frac{2}{n^2} \mathrm{LaguerreL}(n\!-\ell\!-\!1, 2 \ell\! +\!1, 2r/n) |
+ | \psi_{n,\ell}( r) = \sqrt{\frac{(n\!-\!\ell \!-\!1)! }{(n\!+\!\ell)! } }\exp(-r/n) \left(\frac{2 r}{n}\right)^\ell \frac{2}{n^2} \mathrm{LaguerreL}(n\!-\ell\!-\!1, 2 \ell\! +\!1, 2r/n)\) |
P[n_, l_, r_] := Sqrt[ (n-l-1)!/(n+l)!] E^(-(r/n)) ((2 r)/n)^l 2/ n^2 LaguerreL[n-l-1, 2l+1, (2r)/n] |
P[n_, l_, r_] := Sqrt[ (n-l-1)!/(n+l)!] E^(-(r/n)) ((2 r)/n)^l 2/ n^2 LaguerreL[n-l-1, 2l+1, (2r)/n] |
||
| Line 101: | Line 101: | ||
==Orthogonality== |
==Orthogonality== |
||
| − | For each integer non-negative |
+ | For each integer non-negative \(k\), the \(k\)th Laguerre functions also form the orthogonal basis at the integration with the exponential weight: |
| − | + | \(\displaystyle |
|
\int_0^\infty |
\int_0^\infty |
||
| − | \mathrm e^{-x}\, L_{n,k}(x)\, L_{m,k}(x) \, x^k \, \mathrm d x=\frac{(n\!+\!k)!}{n!} \delta_{n,m} |
+ | \mathrm e^{-x}\, L_{n,k}(x)\, L_{m,k}(x) \, x^k \, \mathrm d x=\frac{(n\!+\!k)!}{n!} \delta_{n,m}\) |
| − | where |
+ | where \(\delta_{m,n}\) is the [[Kronecker delta]]. |
==Zeros== |
==Zeros== |
||
Latest revision as of 18:44, 30 July 2019
Identifier LaguerreL is used in Mathematica to denote the Laguerre polynomial and the associated Laguerre functions.[1][2]
Definitions
Laguerre polynomial can be defined with
\(\displaystyle \mathrm{LaguerreL}[n,x]= L_n(x)=\sum_{m=0}^n \frac{(-1)^m}{m!} \mathrm{Binomial}(n,m) \, x^m =\sum_{m=0}^n \frac{(-1)^m}{m!} \, \frac{n!}{m! \, (n\!-\!m)!} \, x^m \)
Associated Laguerre function appears as
\(\displaystyle \mathrm{LaguerreL}[n,k,x]= L_n^k(x)=(-1)^k \, \partial_x^k L_{n+k}(x) =\sum_{m=0}^n (-1)^m \frac{ (n\!+\!k)!}{(n\!-\!m)!\, (k\!+\!m)!\, m!} \, x^m \)
For non-negative integer values of the second argument, it is also polynomial. In particular the 0th associated Laguerre is just Laguerre polynomial.
First polynomials
TeXForm[TableForm[Table[Table[LaguerreL[n, m, z], {n, 0, 5}], {m, 0, 8}]]]
gives the following table:
\(\begin{array}{cccccc} 1 & 1-z & \frac{1}{2} \left(z^2-4 z+2\right) & \frac{1}{6} \left(-z^3+9 z^2-18 z+6\right) & \frac{1}{24} \left(z^4-16 z^3+72 z^2-96 z+24\right) & \frac{1}{120} \left(-z^5+25 z^4-200 z^3+600 z^2-600 z+120\right) \\ 1 & 2-z & \frac{1}{2} \left(z^2-6 z+6\right) & \frac{1}{6} \left(-z^3+12 z^2-36 z+24\right) & \frac{1}{24} \left(z^4-20 z^3+120 z^2-240 z+120\right) & \frac{1}{120} \left(-z^5+30 z^4-300 z^3+1200 z^2-1800 z+720\right) \\ 1 & 3-z & \frac{1}{2} \left(z^2-8 z+12\right) & \frac{1}{6} \left(-z^3+15 z^2-60 z+60\right) & \frac{1}{24} \left(z^4-24 z^3+180 z^2-480 z+360\right) & \frac{1}{120} \left(-z^5+35 z^4-420 z^3+2100 z^2-4200 z+2520\right) \\ 1 & 4-z & \frac{1}{2} \left(z^2-10 z+20\right) & \frac{1}{6} \left(-z^3+18 z^2-90 z+120\right) & \frac{1}{24} \left(z^4-28 z^3+252 z^2-840 z+840\right) & \frac{1}{120} \left(-z^5+40 z^4-560 z^3+3360 z^2-8400 z+6720\right) \\ 1 & 5-z & \frac{1}{2} \left(z^2-12 z+30\right) & \frac{1}{6} \left(-z^3+21 z^2-126 z+210\right) & \frac{1}{24} \left(z^4-32 z^3+336 z^2-1344 z+1680\right) & \frac{1}{120} \left(-z^5+45 z^4-720 z^3+5040 z^2-15120 z+15120\right) \\ 1 & 6-z & \frac{1}{2} \left(z^2-14 z+42\right) & \frac{1}{6} \left(-z^3+24 z^2-168 z+336\right) & \frac{1}{24} \left(z^4-36 z^3+432 z^2-2016 z+3024\right) & \frac{1}{120} \left(-z^5+50 z^4-900 z^3+7200 z^2-25200 z+30240\right) \\ 1 & 7-z & \frac{1}{2} \left(z^2-16 z+56\right) & \frac{1}{6} \left(-z^3+27 z^2-216 z+504\right) & \frac{1}{24} \left(z^4-40 z^3+540 z^2-2880 z+5040\right) & \frac{1}{120} \left(-z^5+55 z^4-1100 z^3+9900 z^2-39600 z+55440\right) \\ 1 & 8-z & \frac{1}{2} \left(z^2-18 z+72\right) & \frac{1}{6} \left(-z^3+30 z^2-270 z+720\right) & \frac{1}{24} \left(z^4-44 z^3+660 z^2-3960 z+7920\right) & \frac{1}{120} \left(-z^5+60 z^4-1320 z^3+13200 z^2-59400 z+95040\right) \\ 1 & 9-z & \frac{1}{2} \left(z^2-20 z+90\right) & \frac{1}{6} \left(-z^3+33 z^2-330 z+990\right) & \frac{1}{24} \left(z^4-48 z^3+792 z^2-5280 z+11880\right) & \frac{1}{120} \left(-z^5+65 z^4-1560 z^3+17160 z^2-85800 z+154440\right) \\ \end{array} \)
Applications
The Laguerre polynomials appear in many applications. In particular, in the following:
The Gauss-Laguerre quadrature formula for the numerical integration of a smooth function (especially if the main trend of the integrand is decaying exponential)
The Hydrogen radial wave function, solution of the stationary Schroedinger for the single particle in the Coulomb potential [3]:
\(\displaystyle \psi_{n,\ell}( r) = \sqrt{\frac{(n\!-\!\ell \!-\!1)! }{(n\!+\!\ell)! } }\exp(-r/n) \left(\frac{2 r}{n}\right)^\ell \frac{2}{n^2} \mathrm{LaguerreL}(n\!-\ell\!-\!1, 2 \ell\! +\!1, 2r/n)\)
P[n_, l_, r_] := Sqrt[ (n-l-1)!/(n+l)!] E^(-(r/n)) ((2 r)/n)^l 2/ n^2 LaguerreL[n-l-1, 2l+1, (2r)/n]
With the definition above the test for orthogonality can be written as follows:
Integrate[P[1, 0, r] P[2, 0, r] r^2, {r, 0, Infinity}]
Orthogonality
For each integer non-negative \(k\), the \(k\)th Laguerre functions also form the orthogonal basis at the integration with the exponential weight:
\(\displaystyle \int_0^\infty \mathrm e^{-x}\, L_{n,k}(x)\, L_{m,k}(x) \, x^k \, \mathrm d x=\frac{(n\!+\!k)!}{n!} \delta_{n,m}\)
where \(\delta_{m,n}\) is the Kronecker delta.
Zeros
For the applications the zeros of LaguerreL are important. Luigi Gatteschi suggests the asymptotics for them; however, no simple estimate useful for the numerical implementation is supplied [4].
References
- ↑ http://mathworld.wolfram.com/LaguerrePolynomial.html
- ↑ http://mathworld.wolfram.com/AssociatedLaguerrePolynomial.html Weisstein, Eric W. "Associated Laguerre Polynomial." From MathWorld--A Wolfram Web Resource.
- ↑ http://reference.wolfram.com/language/ref/LaguerreL.html Radial wave-function of the hydrogen atom
- ↑ http://www.sciencedirect.com/science/article/pii/S0377042701005490 Luigi Gatteschi. Asymptotics and bounds for the zeros of Laguerre polynomials: a survey. Journal of Computational and Applied Mathematics, Volume 144, Issues 1–2, 1 July 2002, Pages 7–27
Keywords
Atomic physics, Hydrogen wave function, Laplacian, LegendreP, Quantum mechanics,