Polinomi ortogonali

In matematica, una famiglia di polinomi $p_n(x)$ per $n=0,1,2,\dots ,$ dove per ogni $n$ si ha un polinomio di grado $n$, si dice una sequenza di polinomi ortogonali nell'intervallo $[a,b]$ rispetto alla funzione peso $w(x)$ positiva nell'intervallo scelto se

$\underset{a}{\overset{b}{\int }}w(x)p_n(x)p_m(x)dx=0,\mathrm{\forall }n,m=0,1,2,\dots ,\text{con }n\ne m.$

Mentre i polinomi di una qualsiasi sequenza polinomiale possono essere considerati vettori di uno spazio vettoriale mutuamente linearmente indipendenti, i componenti di una sequenza di polinomi ortogonali si possono considerare vettori mutuamente ortogonali di uno spazio vettoriale con prodotto interno, quando si definisce questa funzione bilineare chiedendo che applicata a una qualsiasi coppia di polinomi $p(x)$ e $q(x)$ dia

$\underset{a}{\overset{b}{\int }}w(x)p(x)q(x)dx.$

Esempi di successioni di polinomi ortogonali sono:

• I polinomi di Hermite $H_n(x)$ e $H{e}_n(x)$, ortogonali rispetto alla distribuzione normale di probabilità.

• I polinomi di Čebyšëv di prima specie $T_n(x)$, ortogonali nell'intervallo $[-1,1]$ rispetto alla funzione peso $w(x)=\frac{1}{\sqrt{1-x^2}},\text{per }-1<x<1.$

• I polinomi di Čebyšëv di seconda specie $U_n(x)$, ortogonali nell'intervallo $[-1,1]$ rispetto alla funzione peso $w(x)=\sqrt{1-x^2},\text{per }-1<x<1.$

• I polinomi di Legendre, ortogonali nell'intervallo $[-1,1]$ rispetto alla distribuzione di probabilità uniforme.

• I polinomi di Gegenbauer, ortogonali nell'intervallo $[-1,1]$ rispetto alla distribuzione di probabilità $(1-x^2{)}^{\alpha -1/2}.$

• I polinomi di Jacobi, ortogonali nell'intervallo $[-1,1]$ rispetto alla distribuzione di probabilità $(1-x{)}^{\alpha }(1+x{)}^{\beta }.$

• I polinomi di Laguerre $L_n^{(\alpha )}(x)$ con $\alpha >-1$, ortogonali nell'intervallo $[0,+\mathrm{\infty })$ rispetto alla distribuzione di probabilità $x^{\alpha }{e}^{-x}.$

Un'altra possibilità è definire un prodotto interno:

$(f_n,f_m)=\sum _{i=a}^{b}w(x_i)f_n(x_i{)}^{*}{f}_m(x_i),$

dove gli $x_i$ sono numeri interi nell'intervallo $[a,b]$. Con questa definizione,

• i polinomi di Chebyshev sono ortogonali rispetto alla distribuzione $w(x)=1$ (con $[a,b]=[0,N-1]$);

• i polinomi di Charlier sono ortogonali rispetto alla distribuzione $\frac{e^{-u}{u}^x}{x!}$ (con $[a,b]=[0,+\mathrm{\infty }]$).

Esiste una classificazione dei polinomi ortogonali inventata dal matematico statunitense Richard Askey che utilizza le funzioni ipergeometriche.

Polinomi ortonormali

In linea con la definizione di base ortonormale, dei polinomi ortogonali si dicono ortonormali se soddisfano la relazione:

$(p_i,p_j)=\underset{a}{\overset{b}{\int }}w(x)p_i(x)p_j(x)dx={\delta }_{i,j},$

per ogni $i,j$.

Bibliografia

• Milton Abramowitz e Irene Stegun, capitolo 22, Handbook of Mathematical Functions New York, Dover, 1964.

• W. H. Thomas, Template:Collegamento interrotto, Monterey, 1992.

• Roelof Koekoek e René F. Swarttouw, Template:Collegamento interrotto, Delft University of Technology, Faculty of Information Technology and Systems, Department of Technical Mathematics and Informatics, 1998, Report no. 98-17.

Voci correlate

• Serie di Fourier generalizzata
• Glossario sui polinomi
• Polinomio di Racah

Collegamenti esterni

• Template:Collegamenti esterni