Polinomis de Txebixev

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ó

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

A continuació definirem els polinomis de Txebixev de primer tipus. Tot i 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$

Demostració

Primer calculem els dos primers polinomis de Txebixev: $\,T_0(x) = \cos(0\cdot\theta) = \cos(0) = 1$ $\,T_1(x) = \cos(1\cdot\theta) = \cos(\arccos x) = x$ I ara anem a trobar la recurrència: $\,T_{n+1}(x) = \cos[(n+1)\theta] = \cos(n\theta)\cos\theta - \sin(n\theta)\sin \theta$ Per la definició sabem que $\,\cos(n\theta) = T_n(x)$ i que $\,\cos(\theta) = x$. A més a més, farem servir la relació trigonomètrica: $\sin(\alpha)\sin(\beta) = -\frac{1}{2}(\cos(\alpha+\beta)-\cos(\alpha-\beta))$ En resum, queda: $\,T_{n+1}(x) = x T_n(x) + \frac{\cos(n+1)\theta}{2} - \frac{\cos(n-1)\theta}{2} = x T_n(x) + \frac{T_{n+1}(x)}{2} - \frac{T_{n-1}(x)}{2}$ Si aïllem $\,T_{n+1}(x)$, arribem a l'expressió que volíem demostrar. La demostració no és del tot certa, ja que hem suposat que $-1 \leq x \leq 1$. En cas que no es complís aquesta condició, la demostració és pràcticament anàloga, però utilitzant funcions hiperbòliques.

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

Tal i com hem fet abans, començarem donant una definició trigonomètrica dels polinomis de Txebixev de segon tipus, i tot i 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$

Demostració

La demostració és totalment anàloga a l'anterior, de manera que no donarem massa detalls. Partim de la definició i mitjançant relacions trigonomètriques: $U_{n+1}(x) = \frac{\sin[(n+1)\theta+\theta]}{\sin \theta} = \frac{\sin[(n+1)\theta] \cos\theta + \sin \theta \cos [(n+1)\theta]}{\sin \theta}$ Separem, utilitzem una altra relació trigonomètrica i la definició de polinomi de Txebixev de segona classe: $U_{n+1}(x) = xU_n(x)+\frac{1}{2\sin\theta}(\sin[((n+1)+1)\theta] + \sin[(1-(n+1))\theta]) = xU_n(x)+\frac{U_{n+1}(x)}{2}- \frac{U_{n-1}(x)}{2}$ Aïllant obtenim el resultat que volíem.

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

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 el 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 son ortogonals respecte el 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

Els primers polinomis de Txebixev del primer tipus en el domini −1 < x < 1: The flat T₀, T₁, T₂, T₃, T₄ and T₅.

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 U₀, U₁, U₂, U₃, U₄ and U₅. Tot i quedar fora de la gràfica, U_n(1) = n + 1 and U_n(−1) = (n + 1)(−1)ⁿ.

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é

• Polinomis ortogonals
• Nodes de Txebixev