Polinomis de Txebixev

De Viquipèdia
Dreceres ràpides: navegació, cerca

En matemàtica, els polinomis de Txebixev, anomenats així en honor al matemàtic rus Pafnuti Txebixev, són dues famílies de polinomis ortogonals molt importants en teoria d'aproximació de funcions, ja que s'utilitzen les seves arrels (anomenades nodes de Txebixev) com a nodes d'interpolació.

Com s'ha dit anteriorment, hi ha dues classes de polinomis de Txebixev, els polinomis de primer tipus \, T_n(x) i els de segon tipus \, U_n(x) que guarden una relació molt estreta entre ells.

Definició[modifica | modifica el codi]

Hi ha dues maneres diferents de definir els polinomis de Txebixev: mitjançant relacions trigonomètriques o utilitzant una determinada recurrència. Primer ho farem trigonomètricament i llavors demostrarem la recurrència (tot i que també es podria fer a l'inrevés).

Primer tipus[modifica | modifica el codi]

A continuació definirem els polinomis de Txebixev de primer tipus. Encara que a primera vista pugui no semblar-ho, realment es tracta d'un conjunt de polinomis, com es veurà més clarament un cop donem la definició recurrent.

Definim la família de polinomis de Txebixev de primer tipus com:

T_n(x) = \cos(n \arccos x), \quad -1 \leq x \leq 1, \quad n \geq 0

O també:

T_n(x) = \cosh(n \cosh^{-1} x), \quad n \geq 0

Per simplificar, podem suposar que \,x = \cos \theta = \cosh \alpha . Podem escriure, doncs, la següent relació:

T_n(x) = \cos(n \theta) = \cosh (n \alpha) \,

Aquesta notació, pel fet de ser més simple, facilita molt els càlculs. A partir d'aquesta definició, podem molt fàcilment trobar una relació de recurrència que ens permetrà obtenir el polinomi n-èssim a partir dels dos anteriors; vegem-ho:

Definim la família de polinomis de Txebixev de primer tipus com:

\,T_0 = 1
\,T_1 = x
T_{n+1} = 2xT_n(x)-T_{n-1}(x), \quad n \geq 2

Ara que coneixem la recurrència, podem fàcilment trobar els diferents polinomis de Txebixev. Per exemple, per trobar el valor de T_2(x) fem el següent:

T_2(x) = 2xT_1(x)-T_0(x) = 2x\cdot x - 1 = 2x^2-1

Més endavant donarem una taula amb els primers polinomis de Txebixev.

Segon tipus[modifica | modifica el codi]

Tal com hem fet abans, començarem donant una definició trigonomètrica dels polinomis de Txebixev de segon tipus, i encara que sigui menys intuïtiva, ens serà útil més endavant:

Definim la família de polinomis de Txebixev de segon tipus com:

U_n(x) = \frac{\sin[(n+1)\arccos x]}{\sin (\arccos x)} = \frac{\sin[(n+1)\theta]}{\sin \theta}, \quad n \geq 0

De la mateixa manera que hem vist, podem trobar una recurrència, que ens facilitarà molt les coses en algunes circumstàncies:

Definim la família de polinomis de Txebixev de segon tipus com:

\,U_0 = 1
\,U_1 = 2x
U_{n+1} = 2xU_n(x)-U_{n-1}(x), \quad n \geq 2

Es veu clarament en la forma recurrent que la relació entre els polinomis de primer i segon tipus és realment estreta, donat que l'única diferència que presenten és en el terme inicial U_1(x)=2x, i la fórmula de la recurrència és la mateixa.

Ortogonalitat[modifica | modifica el codi]

Article principal: Polinomis ortogonals

Sigui L^2_w(I) l'espai de les funcions de quadrat integrable sobre l'interval I\,, podem definir un producte escalar entre dues funcions de la següent manera:

\langle f,g\rangle_w = \int_I f(x)g(x)w(x)dx

On w(x) és una funció de ponderació. En aquestes circumstàncies, direm que dues funcions són ortogonals respecte al pes w(x), si \langle f, g \rangle _w = 0 .

Els polinomis de Txebixev de primera classe són ortogonals en l'interval [−1,1] respecte el pes

w(x) = \frac{1}{\sqrt{1-x^2}}

i a més a més es pot demostrar que

\langle T_n,T_m\rangle_w = \int_{-1}^1 T_n(x)T_m(x)\frac{dx}{\sqrt{1-x^2}} = \left\{
\begin{matrix}
0 &\mathrm{si} & n\ne m \\
\pi &\mathrm{si} & n=m=0 \\
\pi/2 &\mathrm{si} & n=m \ne 0
\end{matrix}
\right. \,\!

De manera molt semblant, els polinomis de segona espècie són ortogonals respecte al pes

w(x) = \sqrt{1-x^2} \,\!

en l'interval [−1,1], i a més a més tenim:

\int_{-1}^1 U_n(x)U_m(x)\sqrt{1-x^2}\,dx =
\left\{ \begin{matrix}
0 &\mathrm{si} & n \ne m \\
\pi/2 &\mathrm{si} & n=m
\end{matrix}
\right. \,\!

Exemples[modifica | modifica el codi]

Els primers polinomis de Txebixev del primer tipus en el domini −1 < x < 1: The flat T0, T1, T2, T3, T4 and T5.

Els primers polinomis de Txebixev del primer tipus són:

 T_0(x) = 1 \,
 T_1(x) = x \,
 T_2(x) = 2x^2 - 1 \,
 T_3(x) = 4x^3 - 3x \,
 T_4(x) = 8x^4 - 8x^2 + 1 \,
 T_5(x) = 16x^5 - 20x^3 + 5x \,
 T_6(x) = 32x^6 - 48x^4 + 18x^2 - 1 \,
 T_7(x) = 64x^7 - 112x^5 + 56x^3 - 7x \,
 T_8(x) = 128x^8 - 256x^6 + 160x^4 - 32x^2 + 1 \,
 T_9(x) = 256x^9 - 576x^7 + 432x^5 - 120x^3 + 9x. \,
 T_{10}(x) = 512x^{10} - 1280x^8 + 1120x^6 - 400x^4 + 50x^2-1. \,
 T_{11}(x) = 1024x^{11} - 2816x^9 + 2816x^7 - 1232x^5 +220x^3 - 11x. \,
Els primers polinomis de Txebixev del segon tipus en el domini −1 < x < 1: The flat U0, U1, U2, U3, U4 and U5. Tot i quedar fora de la gràfica, Un(1) = n + 1 and Un(−1) = (n + 1)(−1)n.

Els primers polinomis de Txebixev del segon tipus són:

 U_0(x) = 1 \,
 U_1(x) = 2x \,
 U_2(x) = 4x^2 - 1 \,
 U_3(x) = 8x^3 - 4x \,
 U_4(x) = 16x^4 - 12x^2 + 1 \,
 U_5(x) = 32x^5 - 32x^3 + 6x \,
 U_6(x) = 64x^6 - 80x^4 + 24x^2 - 1 \,
 U_7(x) = 128x^7 - 192x^5 + 80x^3 - 8x \,
 U_8(x) = 256x^8 - 448 x^6 + 240 x^4 - 40 x^2 + 1 \,
 U_9(x) = 512x^9 - 1024 x^7 + 672 x^5 - 160 x^3 + 10 x. \,

Vegeu també[modifica | modifica el codi]