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 : P_n^ de

{(\ alpha, \ bêta)}(z)= \ frac {(\ alpha+1) _n} {n !} \, _2F_1 \ parti (- n, 1+ \ alpha+ \ beta+n ; \ alpha+1 ; \ frac {1-z} {2} \ droit),

là où le (\ alpha+1) _n est le symbole de Pochhammer de (pour l'augmentation factorielle) , (Abramowitz et Stegun p561.) et avoir ainsi l'expression explicite

P_n^ {(\ alpha, \ bêtas)} (z) = \ frac {\ gamma (\ alpha+n+1)} {n ! \ Gamma (\ alpha+ \ beta+n+1)} \ ^n du sum_ {m=0} {n \ choisissent m} \ ^m de frac {\ gamma (\ alpha + \ bêta + n + m + 1)} {\ gamma (\ alpha + m + 1)} \ laissé (\ frac {z-1} {2} \ droit),

de ce que la valeur terminale suit P_n^ de

{(\ alpha, \ bêtas)} (1) = {n+ \ alpha \ choisissent n}. Ici pour le n de nombre entier \, de de {z \ choisissent n} = \ frac {\ gamma (z+1)} {\ gamma (n+1) \ gamma (z-n+1)}, 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).

Random links:Quatorze points | Liste de poèts Hindi de langue | Grand rassemblement de puissance | Unité militaire de géologie | Polinomios_de_Jacobi