title: Polinomi di Jacobi
text: # Polinomi di Jacobi
  
  In matematica i polinomi di Jacobi costituiscono una sequenza polinomiale a due parametri e più precisamente costituiscono una successione di polinomi ortogonali a due parametri. Il loro nome ricorda il matematico tedesco Carl Jacobi (1804-1851).
  
  ## Definizioni
  
  Essi possono definirsi in molti modi equivalenti.
  
  Mediante una serie ipergeometrica che in effetti si riduce a un polinomio:
  
      $P_{n}^{(\alpha ,\beta )}(z):={\frac {(\alpha +1)^{\underline {n}}}{n!}}\,_{2}F_{1}\left(-n,n+\lambda ,\alpha +1;{\frac {1-z}{2}}\right),$
  
  dove ${\underline {n}}$ denota il fattoriale crescente e dove $\lambda :=\alpha +\beta +1$.
  
  Mediante la variante della precedente:
  
      $P_{n}^{(\alpha ,\beta )}(z):={\frac {(-1)^{n}(\beta +1)^{\underline {n}}}{n!}}\,_{2}F_{1}\left(-n,n+\lambda ,\alpha +1;{\frac {1+z}{2}}\right).$
  
  Mediante una formula alla Rodriguez:
  
      $P_{n}^{(\alpha ,\beta )}(z):={\frac {(-1)^{n}}{2^{n}n!}}\,(1-z)^{-\alpha }(1+z)^{-\beta }{\frac {d^{n}}{dz^{n}}}\left[(1-z)^{\alpha +n}(1+z)^{\beta +n}\right].$
  
  Mediante la espressione polinomiale esplicita
  
      $P_{n}^{(\alpha ,\beta )}(z):={\frac {1}{2^{n}}}\sum _{k=0}^{n}{n+\alpha \choose k}{n+\beta \choose n-k}(z-1)^{n-k}(z+1)^{k}.$
  
  Come soluzioni polinomiali dell'equazione differenziale di Jacobi.
  
  Per $\alpha ,\beta >-1$ si possono definire come i componenti della successione di polinomi ortogonali nell'intervallo $[-1,1]$ rispetto alla funzione peso $(1-x)^{\alpha }(1+x)^{\beta }$. La corrispondente relazione di ortogonalità è
  
      $\int _{-1}^{1}(1-x)^{\alpha }(1+x)^{\beta }P_{m}^{\alpha ,\beta }(x)P_{n}^{\alpha ,\beta }(x)dx={\begin{cases}0,&{\text{se }}m\neq n,\\{\frac {2^{\lambda }\Gamma (n+\alpha +1)\Gamma (n+\beta +1)}{(2n+\lambda )n!\,\Gamma (n+\lambda )}},&{\text{se }}m=n\neq 0,\\{\frac {2^{\lambda }\Gamma (\alpha +1)\Gamma (\beta +1)}{\Gamma (\lambda +1)}},&{\text{se }}m=n=0.\end{cases}}$
  
  ## Polinomi di Jacobi shiftati
  
  Si tratta di varianti dei precedenti abbastanza modeste ma molto usate; sono definiti come
  
      $R_{n}^{\alpha ,\beta }(z):=P_{n}^{(\alpha ,\beta )}(2z-1).$
  
  Naturalmente anche questi costituiscono una successione di polinomi ortogonali e la relazione di ortogonalità è:
  
      $\int _{0}^{1}dx(1-x)^{\alpha }x^{\beta }R_{m}^{\alpha ,\beta }(x)R_{n}^{\alpha ,\beta }(x)={\begin{cases}0,&{\text{se }}m\neq n,\\{\frac {\Gamma (n+\alpha +1)\Gamma (n+\beta +1)}{(2n+\lambda )n!\,\Gamma (n+\lambda )}},&{\text{se }}m=n\neq 0,\\{\frac {\Gamma (\alpha +1)\Gamma (\beta +1)}{\Gamma (\lambda +1)}},&{\text{se }}m=n=0.\end{cases}}$
  
  ## Collegamenti con altri polinomi speciali
  
  Per $\alpha =\beta =0$ si riducono ai polinomi di Legendre.
  
  Per $\alpha =\beta$ si riducono ai polinomi di Gegenbauer:
  
      $C_{n}^{(\alpha +1/2)}(z)={\frac {(2\alpha +1)^{\underline {n}}}{\,}}{(\alpha +1){\underline {n}}}\,P_{n}^{(\alpha ,\beta )}(z).$
  
  Per $\alpha =\beta =-1/2$ si riducono ai polinomi di Chebyshev di primo genere:
  
      $T_{n}(z)={\frac {n!}{(1/2)^{\underline {n}}}}P_{n}^{(-1/2,-1/2)}(z).$
  
  ## Espressioni esplicite
  
  I primi polinomi della successione graduale sono:
  
      $P_{0}^{(\alpha ,\beta )}(z)=1,$
      $P_{1}^{(\alpha ,\beta )}(z)={\frac {1}{2}}\left[2(\alpha +1)+(\alpha +\beta +2)(z-1)\right],$
      $P_{2}^{(\alpha ,\beta )}(z)={\frac {1}{8}}\left[4(\alpha +1)(\alpha +2)+4(\alpha +\beta +3)(\alpha +2)(z-1)+(\alpha +\beta +3)(\alpha +\beta +4)(z-1)^{2}\right].$
  