Jacobipolynom

Inom matematiken är Jacobipolynomen en viktig klass ortogonala polynom. De introducerades av Carl Gustav Jacob Jacobi. Flera andra ortogonala polynom är specialfall av dem, däribland Gegenbauerpolynomen, Legendrepolynomen, Zernikepolynomen samt Tjebysjovpolynomen.

Definitioner

Med hjälp av hypergeometriska funktionen

Jacobipolynomen kan definieras via hypergeometriska funktionen enligt

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

där $(\alpha +1{)}_n$ är Pochhammersymbolen. Ett ekvivalent uttyck är

$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.$

Rodrigues formel

En alternativ definition ges av Rodirgues formel

$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\}.$

Explicita uttryck för de första Jacobipolynomen

$P_0^{(\alpha ,\beta )}(z)=1$

$P_1^{(\alpha ,\beta )}(z)=\frac{1}{2}[2(\alpha +1)+(\alpha +\beta +2)(z-1)]$

$P_2^{(\alpha ,\beta )}(z)=\frac{1}{8}[4(\alpha +1)(\alpha +2)+4(\alpha +\beta +3)(\alpha +2)(z-1)+(\alpha +\beta +3)(\alpha +\beta +4)(z-1{)}^2]$

Egenskaper

Ortogonalitet

Jacobipolynomen satisfierar ortogonalitetsrelationen

$\underset{-1}{\overset{1}{\int }}(1-x{)}^{\alpha }(1+x{)}^{\beta }{P}_m^{(\alpha ,\beta )}(x)P_n^{(\alpha ,\beta )}(x)dx=\frac{2^{\alpha +\beta +1}}{2n+\alpha +\beta +1}\frac{\mathrm{\Gamma }(n+\alpha +1)\mathrm{\Gamma }(n+\beta +1)}{\mathrm{\Gamma }(n+\alpha +\beta +1)n!}{\delta }_{nm}$

för α, β > −1.

Symmetrirelation

Jacobipolynomen satisfierar symmetrirelationen

$P_n^{(\alpha ,\beta )}(-z)=(-1{)}^n{P}_n^{(\beta ,\alpha )}(z);$

Derivator

Jacobipolynomens kte derivata ges av

$\frac{{\mathrm{d}}^k}{\mathrm{d}{z}^k}{P}_n^{(\alpha ,\beta )}(z)=\frac{\mathrm{\Gamma }(\alpha +\beta +n+1+k)}{2^k\mathrm{\Gamma }(\alpha +\beta +n+1)}{P}_{n-k}^{(\alpha +k,\beta +k)}(z).$

Differentialekvation

Jacobipolynomet P_n^{(α, β)} är en lösning av andra ordningens linjära homogena differentialekvation

$(1-x^2)y^{″}+(\beta -\alpha -(\alpha +\beta +2)x)y^{\prime }+n(n+\alpha +\beta +1)y=0.$

Differensekvation

Jacobipolynomen satisfierar differensekvationen

$\begin{array}{cc}& 2n(n+\alpha +\beta )(2n+\alpha +\beta -2)P_n^{(\alpha ,\beta )}(z)=\\ & =(2n+\alpha +\beta -1)\{(2n+\alpha +\beta )(2n+\alpha +\beta -2)z+{\alpha }^2-{\beta }^2\}{P}_{n-1}^{(\alpha ,\beta )}(z)-2(n+\alpha -1)(n+\beta -1)(2n+\alpha +\beta )P_{n-2}^{(\alpha ,\beta )}(z),\end{array}$

för n = 2, 3, ....

Generenade funktion

Jacobipolynomens genererande funktion ges av

$\sum _{n=0}^{\mathrm{\infty }}{P}_n^{(\alpha ,\beta )}(z)w^n=2^{\alpha +\beta }{R}^{-1}(1-w+R{)}^{-\alpha }(1+w+R{)}^{-\beta }$

där

$R=R(z,w)={(1-2zw+w^2)}^{\frac{1}{2}}.$

Speciella värden

$P_n^{(\alpha ,\beta )}(1)=(\genfrac{}{}{0ex}{}{n+\alpha }{n})$

$P_n^{(\alpha ,\beta )}(-1)=(-1{)}^n(\genfrac{}{}{0ex}{}{n+\beta }{n})$

Tillväxt

Jacobipolynomen satisfierar

$\begin{array}{cc}\underset{n\to \mathrm{\infty }}{\lim }{n}^{-\alpha }{P}_n^{(\alpha ,\beta )}(\cos \frac{z}{n})& ={\left(\frac{z}{2}\right)}^{-\alpha }{J}_{\alpha }(z)\\ \underset{n\to \mathrm{\infty }}{\lim }{n}^{-\beta }{P}_n^{(\alpha ,\beta )}(\cos [\pi -\frac{z}{n}])& ={\left(\frac{z}{2}\right)}^{-\beta }{J}_{\beta }(z)\end{array}.$

En annan formel är

$P_n^{(\alpha ,\beta )}(\cos \theta )=\frac{\cos ([n+(\alpha +\beta +1)/2]\theta -[2\alpha +1]\pi /4)}{\sqrt{\pi n}{[\sin (\theta /2)]}^{\alpha +1/2}{[\cos (\theta /2)]}^{\beta +1/2}}+𝒪\left(n^{-3/2}\right),0<\theta <\pi .$

Se även

• Askey–Gaspers olikhet