Polinomios de Chbyshev

Marco Antonio Rodrguez Garca Facultad de Ciencias, UNAM.

Mtodos Numricos y Algoritmos Computacionales, 2012-II

30 de mayo de 2012

Introduccin
Surgen como soluciones de ecuaciones diferenciales ordinarias (problema de Sturm-Liouville). La importancia de los polinomios de Chbyshev se deriva de la riqueza que tienen en las aplicaciones del anlisis numrico. Los polinomios de Chbyshev nos otorgan una conveniente aproximacin en el problema de minimizar la distancia en el ajuste de una funcin sobre el intervalo [-1,1], evaluar integrales de manera numrica, inversin de matrices son ejemplos de sus mltiples usos.

Propiedades
El polinomio de Chbyshev de grado n (n0) denido en el intervalo [-1,1] puede ser determinado por su forma trigonomtrica;
Tn ((cos()) = cos(n)

(1)

Es decir, los polinomios de Chbyshev se denen como:

Tn (x) = cos(narccos(x)) x [-1.1], n=0,1,2,...

(2)

Es claro que para cada n, la funcin Tn (x) es un polinomio algebraico, pues sea = arccos(x); entonces
Tn+1 (x) = cos((n + ) = 2cos()cos(n) cos((n 1)

(3)

Obteniendo una relacin de recurrencia de tres trminos para los polinomios de Chbyshev;
Tn+1 (x) = 2xTn (x) Tn1 (x), n = 1, 2, ...

(4)

la cual demuestra que para cada n, Tn (x) es un polinomio algebraico. Esta relacin nos permite calcular a estos polinomios de manera iterativa. A continuacin mostraremos los primeros 6 polinomios de Chbyshev comenzando en n=0.

T0 (x) = 1 T1 (x) = x T2 (x) = 2x2 - 1 T3 (x) = 4x3 - 3x T4 (x) = 8x4 - 8x2 + 1 T5 (x) = 16x5 - 20x3 + 5x

Figura 1: Primeros polinomios de Chbyshev de n=0 a n=5

Observaciones
El polinomio Tn es impar; Tn (-x) = (1)n Tn (x)
Tn es un polinomio de grado n cuyo coeciente principal est dado por 2n1 ; es decir, se cumple que el coeciente del trmino xn en Tn (x) es 2n1

Los n ceros de Tn (x) estn en el intervalo [1, 1] y estn dados por

xk = cos( 2k + 1 ), k = 0, 1, ..., n 1 2n

(5)

De la denicin estos polinomios tienen otras propiedades que los hacen tiles en los mtodos numricos. |Tn | 1 Max Tn (x) = +1, min Tn (x) = -1

II

Tn (x) tiene n + 1 extremos en el intervalo [1, 1] que vienen dados por x'k = cos( k ), k = 0, ..., n, donde los polinomios n

valen:

T (xk ) = (1)k | dTn (x) | n2 dx

(6) (7) (8)

dTn (x) (1) = (1)n (n2 ) dx

Ortogonalidad
En el conjunto de los polinomios en [1, 1] se puede denir el producb to interno p(x), q(x) = a p(x)q(x)W (x) dx Donde W(x) es una funcin de peso no negativa. Dos polinomios p y q son ortogonales si p, q = 0 Los polinomios de Chbyshev son ortogonales en el intervalo 1 [-1,1] con la funcin peso w(x)= 2
1+x
1

Tn (x), Tm (x) =
1

Tn (x), Tm (x) dx 1 + x2

(9)

Esta relacin es igual a cero cuando n=m, cuando n=m=0 y si n=m=0.

2

Problema de interpolacin
Dado un conjunto de datos conocidos (x0 , y0 ), (x1 , y1 ), ..., (xN , yN ) buscamos una funcin f : i=0,...,n

que satisfaga f(xi ) = yi ,

f es la funcin interpolador puede ser un polinomio. Los polinomios de Chbyshev proporcionan aproximaciones ptimas a funciones continuas bajo la norma innito. ||f(x)|| = sup|f (x)| con x D Entre todos los polinomios de grado n con coeciente principal igual a uno (polinomios mnicos), Pn (x) = xn +
an1 xn1 + an2 xn2 + ... + a1 x + a0 ,

III

f (x) =

Tn (x) 2n1

(10)

es el nico, cuya norma innito en [1, 1] es mnima. (||f (x)|| =

1 ). 2n

En otras palabras no existe un polinomio Pn (x) de grado n1 con coeciente principal igual a uno con la propiedad maxx[1,1] |Pn (x)| maxx[1,1] |Tn (x)| = 21n Donde Tn (x) = f(x). Si el polinomio Pn (x) satisface la condicin 1n 2 , entonces Pn (x) = Tn (x). maxx[1,1] |Pn (x)| =

(11)

Minimizacin del error en la interpolacin

Cuando se usa interpolacin polinmica con polinomios de alto grado la interpolacin resultante oscila hacia los nodos de interpolacin; es decir, en los extremos del intervalo. A esto se le conoce como el fenmeno de Runge. Los polinomios de Chbyshev son capaces de minimizar el problema del fenmeno de Runge. Tomando como nodos de interpolacin en el intervalo [-1,1] las races del polinomio de Chbyshev Tn+1 (x). Estas races son:
xi = cos 2i + 1 , i = 0, 1, 2..., n. 2(n 1)

(12)

Estas races tambin son llamadas como nodos de Chbyshev. Para este caso el polinomio mnico wn (x) = (x-xo )(xx1 )...(x-xn ), es proporcional a Tn+1 (x), debido a su propiedad del coeciente principal por la siguiente relacin:
wn (x) = 2n Tn+1 (x), n 1

(13)

Entonces de la ecuacin (10) y (13)

IV

 wn (x) = Tn+1 (x)

(14)

Sea f(x), con n+1 derivadas continuas ; es decir, f(x) C n+1 en un intervalo [a,b], entonces Sea Ln (x) el polinomio de interpolacin de Lagrange grado n y sea Mn+1 = maxx[a,b] |f n+1 (x)| el mximo error de interpolacin se estima por la frmula:
maxx[a,b] |f (x) Ln (f ; x)| maxx[a,b] |wn (x)| Mn+1 (n + 1)!

(15)

Donde wn es un polinomio en el espacio continuas sobre [a,b].

C de funciones

Para minimizar el factor maxx[a,b] |wn (x)| se deben elegir los nodos xi del polinomio interpolador de Lagrange de manera adecuada. Estos son los nodos de un polinomio con desviacin mnima; los nodos de Chbyshev. Por lo que si el polinomio interpolador es basado en n+1 nodos de Chbyshev, la estimacin del error en la interpolacin es:
maxx[1,1] |f (x) Ln (x)| Mn+1 2n (n + 1)!

(16)

En virtud de la norma mnima de los polinomios Tn (x) en el intervalo [-1,1] la estimacin del error no puede ser mejorada por alguna otra eleccin de nodos de interpolacin.

Si consideramos el cambio de variable x(t) =

ba t, transformamos el intervalo [-1,1] en [a,b]. 2

b+a + 2

Entonces los n+1 nodos de Chbyshev quedan como:

xi = b+a ba 2i + 1 + cos , i = 0, 1, 2..., n. 2 2 2(n 1)

(17)

Por lo que el error viene acotado por:

maxx[a,b] |f (x) Ln (x)| Mn+1 ba n ( ) + 1 (18) 2n (n + 1)! 2

Gracias a su ortogonalidad vemos que los extremos sucesivos de Tn (x) son iguales en magnitud y alternan de signo, lo cual nos hace capaz de distribuir el error uniformemente.

Figura 2: Extremos sucesivos polinomios de Chbyshev

Otras Aplicaciones
Otra aplicacin de gran importancia es en la tcnica de integracin de numrica de las cuadraturas de Gauss, en la cual gracias a su propiedad de ortogonalidad con la funcin 1 pero w(x) = en el intervalo [-1,-1], tomando los 2 nodos las races del polinomio ortogonal de grado n+1. Las races xi del polinomio de Chebyshev Tn (x) valen xk = cos( 2k+1 ), k=0,1,...,n-1 y los coecientes valen ci = . 2n
n 1+x

Entonces la regla de Gauss-Chebyshev es:

1 1

f (x) dx = 1 + x2

ci f (xi )
i=1

(19)

Como una utilidad ms general, la aproximacin de una funcin f(x) tambin es posible obtenerla por series de polinomios de Chbyshev; estas tienen la ventaja de una convergencia rpida, una representacin compacta gracias a la tcnica de series telescpicas y una cercana aproximacin mnima.

f (x) =
n=0

an Tn (x)

(20)

VI

Los coecientes an pueden ser calculados usando la ortogonalidad de los polinomios y un coeciente de normalizacin.
1

an =
1

f (x)Tn (x) dx, n = 1, 2, 3, ... 1 + x2 2

(21)

As, esta familia de polinomios pueden encontrarse en varias otras aplicaciones en los mtodos numricos y aunque los polinomios de Chbyshev no describen el mundo fsico de manera directa como muchas otras familias de polinomios ortogonales; es notable su riqueza e importancia.

VII

Bibliografa
[1] Mtodos y esquemas numricos un anlisis computacional. Yuri Skiba. Primera Edicion, 2005. Universidad Nacional Autnoma de Mxico. [2] Matemathical Methods for Physicists. George B. Arfken y Hans Weber. 6th Edition, 2005. [3] Linear Algebra.Herbert Friedberg. 4th Edition, 2006. [4] en.wikipedia.org/wiki/Chebyshevnodes. [5] es.scribd.com/.

VIII