Polinomis de Jacobi

Gràfic de la funció polinomial de Jacobi $P_n^{(\alpha ,\beta )}$ amb $n=10$ i $\alpha =2$ i $\beta =2$ en el pla complex des de $-2-2i$ a $2+2i$ amb colors creats amb la funció de Mathematica 13.1 ComplexPlot3D

En matemàtiques, polinomis de Jacobi (ocasionalment anomenats polinomis hipergeomètrics ) $P_n^{(\alpha ,\beta )}(x)$ són una classe de polinomis ortogonals clàssics. Són ortogonals respecte al pes $(1-x{)}^{\alpha }(1+x{)}^{\beta }$ a l'interval $[-1,1]$. Els polinomis de Gegenbauer, i per tant també els polinomis de Legendre, Zernike i Chebyshev, són casos especials dels polinomis de Jacobi.

Els polinomis de Jacobi van ser introduïts per Carl Gustav Jacob Jacobi.

Definicions

Mitjançant la funció hipergeomètrica

Els polinomis de Jacobi es defineixen mitjançant la funció hipergeomètrica de la següent manera:

$P_n^{(\alpha ,\beta )}(z)=\frac{(\alpha +1{)}_n}{n!}{}_2{F}_1(-n,1+\alpha +\beta +n;\alpha +1;\frac{1}{2}(1-z)),$

on $(\alpha +1{)}_n$ és el símbol de Pochhammer (per al factorial de caiguda). En aquest cas, la sèrie de la funció hipergeomètrica és finita, per tant s'obté la següent expressió equivalent:

$P_n^{(\alpha ,\beta )}(z)=\frac{\mathrm{\Gamma }(\alpha +n+1)}{n!\mathrm{\Gamma }(\alpha +\beta +n+1)}\sum _{m=0}^n(\genfrac{}{}{0ex}{}{n}{m})\frac{\mathrm{\Gamma }(\alpha +\beta +n+m+1)}{\mathrm{\Gamma }(\alpha +m+1)}{\left(\frac{z-1}{2}\right)}^m.$

Fórmula de Rodrigues

Una definició equivalent ve donada per la fórmula de Rodrigues:

$P_n^{(\alpha ,\beta )}(z)=\frac{(-1{)}^n}{2^{n}n!}(1-z{)}^{-\alpha }(1+z{)}^{-\beta }\frac{d^n}{d{z}^n}\{(1-z{)}^{\alpha }(1+z{)}^{\beta }{(1-z^2)}^n\}.$

Si $\alpha =\beta =0$, llavors es redueix als polinomis de Legendre :

$P_n(z)=\frac{1}{2^{n}n!}\frac{d^n}{d{z}^n}(z^2-1{)}^n.$

Expressió alternativa per a l'argument real

De veritat $x$ el polinomi de Jacobi es pot escriure alternativament com

$P_n^{(\alpha ,\beta )}(x)=\sum _{s=0}^n(\genfrac{}{}{0ex}{}{n+\alpha }{n-s})(\genfrac{}{}{0ex}{}{n+\beta }{s}){\left(\frac{x-1}{2}\right)}^s{\left(\frac{x+1}{2}\right)}^{n-s}$

i per a nombre sencer $n$

$(\genfrac{}{}{0ex}{}{z}{n})=\{\begin{array}{cc}\frac{\mathrm{\Gamma }(z+1)}{\mathrm{\Gamma }(n+1)\mathrm{\Gamma }(z-n+1)}& n\ge 0\\ 0& n<0\end{array}$

on $\mathrm{\Gamma }(z)$ és la funció gamma.

En el cas especial que les quatre quantitats $n$, $n+\alpha$, $n+\beta$, $n+\alpha +\beta$ són nombres enters no negatius, el polinomi de Jacobi es pot escriure comPlantilla:NumBlkLa suma s'estén sobre tots els valors enters de $s$ per als quals els arguments dels factorials no són negatius.

Aplicacions

Matriu d de Wigner

L'expressió (Plantilla:EquationNote) permet l'expressió de la matriu d de Wigner $d_{m^{\prime },m}^j(\varphi )$ (per a $0\le \varphi \le 4\pi$ ) en termes de polinomis de Jacobi:

$d_{m^{\prime }m}^j(\varphi )=(-1{)}^{\frac{m-m^{\prime }-|m-m^{\prime }|}{2}}{\left[\frac{(j+M)!(j-M)!}{(j+N)!(j-N)!}\right]}^{\frac{1}{2}}{(\sin \frac{\varphi }{2})}^{|m-m^{\prime }|}{(\cos \frac{\varphi }{2})}^{|m+m^{\prime }|}{P}_{j-m}^{(|m-m^{\prime }|,|m+m^{\prime }|)}(\cos \varphi ),$

on $M=\max (|m|,|m^{\prime }|),N=\min (|m|,|m^{\prime }|)$.