Polinomi ortogonali

Abbozzo
Questa voce sull'argomento algebra è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

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

a b w ( x ) p n ( x ) p m ( x ) d x = 0 , n , m = 0 , 1 , 2 , , con  n m . {\displaystyle \int _{a}^{b}w(x)p_{n}(x)p_{m}(x)\,dx=0,\qquad \forall n,m=0,1,2,\dots ,\qquad {\mbox{con }}n\neq 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 ) {\displaystyle p(x)} e q ( x ) {\displaystyle q(x)} dia

a b w ( x ) p ( x ) q ( x ) d x . {\displaystyle \int _{a}^{b}w(x)p(x)q(x)\,dx.}

Esempi di successioni di polinomi ortogonali sono:

  • I polinomi di Hermite H n ( x ) {\displaystyle H_{n}(x)} e H e n ( x ) {\displaystyle He_{n}(x)} , ortogonali rispetto alla distribuzione normale di probabilità.
  • I polinomi di Čebyšëv di prima specie T n ( x ) {\displaystyle T_{n}(x)} , ortogonali nell'intervallo [ 1 , 1 ] {\displaystyle [-1,1]} rispetto alla funzione peso w ( x ) = 1 1 x 2 , per  1 < x < 1. {\displaystyle w(x)={\frac {1}{\sqrt {1-x^{2}}}},\quad {\mbox{per }}-1<x<1.}
  • I polinomi di Čebyšëv di seconda specie U n ( x ) {\displaystyle U_{n}(x)} , ortogonali nell'intervallo [ 1 , 1 ] {\displaystyle [-1,1]} rispetto alla funzione peso w ( x ) = 1 x 2 , per  1 < x < 1. {\displaystyle w(x)={\sqrt {1-x^{2}}},\quad {\mbox{per }}-1<x<1.}
  • I polinomi di Legendre, ortogonali nell'intervallo [ 1 , 1 ] {\displaystyle [-1,1]} rispetto alla distribuzione di probabilità uniforme.
  • I polinomi di Gegenbauer, ortogonali nell'intervallo [ 1 , 1 ] {\displaystyle [-1,1]} rispetto alla distribuzione di probabilità ( 1 x 2 ) α 1 / 2 . {\displaystyle (1-x^{2})^{\alpha -1/2}.}
  • I polinomi di Jacobi, ortogonali nell'intervallo [ 1 , 1 ] {\displaystyle [-1,1]} rispetto alla distribuzione di probabilità ( 1 x ) α ( 1 + x ) β . {\displaystyle (1-x)^{\alpha }(1+x)^{\beta }.}
  • I polinomi di Laguerre L n ( α ) ( x ) {\displaystyle L_{n}^{(\alpha )}(x)} con α > 1 {\displaystyle \alpha >-1} , ortogonali nell'intervallo [ 0 , + ) {\displaystyle [0,+\infty )} rispetto alla distribuzione di probabilità x α e x . {\displaystyle x^{\alpha }e^{-x}.}

Un'altra possibilità è definire un prodotto interno:

( f n , f m ) = i = a b w ( x i ) f n ( x i ) f m ( x i ) , {\displaystyle (f_{n},f_{m})=\sum _{i=a}^{b}w(x_{i})f_{n}(x_{i})^{*}f_{m}(x_{i}),}

dove gli x i {\displaystyle x_{i}} sono numeri interi nell'intervallo [ a , b ] {\displaystyle [a,b]} . Con questa definizione,

  • i polinomi di Chebyshev sono ortogonali rispetto alla distribuzione w ( x ) = 1 {\displaystyle w(x)=1} (con [ a , b ] = [ 0 , N 1 ] {\displaystyle [a,b]=[0,N-1]} );
  • i polinomi di Charlier sono ortogonali rispetto alla distribuzione e u u x x ! {\displaystyle {\frac {e^{-u}u^{x}}{x!}}} (con [ a , b ] = [ 0 , + ] {\displaystyle [a,b]=[0,+\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 ) = a b w ( x ) p i ( x ) p j ( x ) d x = δ i , j , {\displaystyle (p_{i},p_{j})=\int _{a}^{b}w(x)\,p_{i}(x)\,p_{j}(x)\,dx=\delta _{i,j},}

per ogni i , j {\displaystyle i,j} .

Bibliografia

  • W. H. Thomas, http://handle.dtic.mil/100.2/ADA256448[collegamento interrotto], Monterey, 1992.
  • Roelof Koekoek e René F. Swarttouw, The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue[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

Altri progetti

Altri progetti

  • Wikimedia Commons
  • Collabora a Wikimedia Commons Wikimedia Commons contiene immagini o altri file su polinomi ortogonali

Collegamenti esterni

Controllo di autoritàThesaurus BNCF 38387 · LCCN (EN) sh85095794 · GND (DE) 4172863-4 · BNE (ES) XX535339 (data) · BNF (FR) cb11938460c (data) · J9U (ENHE) 987007553354205171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica