Polinomio di Čebyšëv: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
mNessun oggetto della modifica |
||
Riga 1:
:<math> T_0(x) = 1 </math>
Riga 23:
Traggono il loro nome dal matematico russo [[Pafnutij L'vovič Čebyšëv]], che li studiò come soluzioni polinomiali della seguente [[equazione differenziale]], anch'essa detta di Čebyšëv:
:<math>(1-x^2)
I polinomi che esaminiamo sono detti anche '''polinomi di Čebyšëv di prima specie''', per distinguerli dai polinomi di un'altra successione polinomiale detti [[polinomi di Čebyšëv di seconda specie]].
Evidentemente i polinomi di Čebyšëv hanno parità definita: i polinomi di grado pari sono [[funzione pari|funzioni pari]] della variabile
Una possibile definizione di questi polinomi è la seguente:
:<math>T_n(\cos(\theta)) := \cos(n\theta) \quad \mbox{per} \quad n = 0, 1, 2, 3,
o in forma esplicita
Riga 37:
:<math> T_n(x) := \sum_{h=0}^{[n/2]} (-1)^h {n \choose 2h} x^{n-2h} (1-x^2)^h</math>
dove con <math>[n/2]</math> si intende la [[parte intera]] di <math>n/2</math>.
Che <math>\cos(nx)</math> sia un polinomio di grado <math>n</math> in <math>\cos(x)</math> può essere visto osservando che <math>\cos(
Il polinomio
▲può essere visto osservando che cos(''nx'') è la parte reale di un membro della [[formula di De Moivre]], e la parte reale dell'altro membro è un polinomio in cos(''x'') e sin(''x''), dove tutte le potenze del sin(''x'') sono pari e rimpiazzabili tramite l'identità <math>\,\sin^2(x) = 1 - cos^2(x)</math>.
Alternativamente i polinomi di Čebyšëv possono essere definiti tramite la [[relazione di ricorrenza]]:▼
▲Il polinomio ''T''<sub>''n''</sub> ha esattamente ''n'' radici semplici facenti parte dell'intervallo [−1, 1] chiamate [[nodi di Čebyšëv]].
▲Alternativamente i polinomi di Čebyšëv possono essere definiti tramite la [[relazione di ricorrenza]]
:<math>T_0(x) := 1 </math>
:<math>T_1(x) := x </math>
:<math>T_{n+1}(x) := 2xT_n(x) - T_{n-1}(x)
Essi costituiscono una successione di [[polinomi ortogonali]] rispetto alla funzione peso <math>\frac{1}{\sqrt{1-x^2}}</math>, sull'intervallo <math>[-1,1]</math>, cioè, abbiamo▼
▲Essi costituiscono una successione di [[polinomi ortogonali]] rispetto alla funzione peso <math>\frac{1}{\sqrt{1-x^2}},</math>
▲:<math>\int_{-1}^1 T_n(x)T_m(x)\,\frac{dx}{\sqrt{1-x^2}} = 0\quad\mbox{se}\ n\neq m.</math>
▲Questo succede perché (ponendo ''x'' = cos θ)
▲:<math>\int_0^\pi\cos(n\theta)\cos(m\theta)\,d\theta = 0\quad\mbox{se}\ n\neq m.</math>
Come per le altre successioni di polinomi ortogonali, anche i polinomi di Čebyšëv possono essere definiti a partire da [[funzione generatrice|funzioni generatrici]]. Un esempio di una tale funzione generatrice è
|