Polynômes de Jacobi
Dans les mathématiques , les polynômes de Jacobi de sont une classe des polynômes orthogonaux . Ils sont obtenus à partir de la série hypergéométrique dans les cas où la série est en fait finie :
là où le est le symbole de Pochhammer de (pour l'augmentation factorielle) , (Abramowitz et Stegun p561.) et avoir ainsi l'expression explicite
de ce que la valeur terminale suit Ici pour le et \ gamma (z) \, est la fonction gamma habituel, qui a la propriété 1/\ gamma (n+1) = 0 \, pour n=-1, - 2, \ points \, . Ainsi, de {z \ choisissent n} = 0 \ quadruple \ hbox {pour} \ quadruple n < 0.
Les polynômes ont le P_n^ de relation de symétrie {(\ alpha, \ bêtas)} (- z) = (- ^n P_n^ de 1) {(\ bêta, \ alpha)} (z) ; ainsi l'autre valeur terminale est P_n^ de {(\ alpha, \ bêtas)} (- 1) = (- ^n de 1) {n+ \ bêtas \ choisissent n}.
Pour vrai x le polynôme de Jacobi peut alternativement être écrit en tant que P_n^ de {(\ alpha, \ bêtas)}(x)= \ sum_s {n+ \ alpha \ choisissent s} {n+ \ bêtas \ choisissent le NS} \ (\ frac {x-1} {2} \ droit) ^ laissé {NS} \ (\ frac {x+1} {2} \ droit) ^ laissé {s} là où s \ GE 0 \, et NS \ GE 0 \, . Dans le cas spécial qui les quatre quantités n, n+ \ alpha, n+ \ beta, et + de n+ \ alpha \ beta sont des nombres entiers non négatifs, le polynôme de Jacobi peut être écrit en tant que P_n^ de {(\ alpha, \ bêtas)}(x)= (n+ \ alpha) ! (n+ \ bêtas) ! \ sum_s \ parti (n+ \ alphas) ! (\ beta+s) ! (NS) ! \ right^ {- 1} \ (\ frac {x-1} {2} \ droit) ^ laissé {NS} \ (\ frac {x+1} {2} \ droit) ^ laissé {s}. La somme sur des s \, se prolonge au-dessus de toutes les valeurs de nombre entier pour lesquelles les arguments des factorials sont non négatifs.
Ce forme laisse expression de Wigner d-matrice d^j_ {m m} (\) de phi \ ; (0 \ le \ phi \ le 4 \ pi) en termes du de de polynômes de Jacobi le d^j_ {m'm} (\ phi) = \ est parti \ frac {(j+m) ! (la JM) !}{(j+m') ! (j-m') !}\ bon] ^ {1/2} \ (\ péché \ frac {\ phi} {2} \ droit) ^ laissé {m-m'} \ (\ cos \ frac {\ phi} {2} \ droit) ^ laissé {m+m'} ^ de P_ {JM} {(m-m', m+m')} (\ cos \ phi).
Dérivés
Le dérivé de k-th de l'expression explicite mène à
\ frac {\ d^k de mathrm} {\ z^k de mathrm d} P_n^ {(\ alpha, \ bêta)} (z) = \ frac {\ gamma (\ alpha+ \ beta+n+1+k)} {2^k \ gamma (\ alpha+ \ beta+n+1)} ^ de P_ {n-k} {, (\ alpha+k \ beta+k)} (z).