Tema: Polinomios de Chebyshev

Objetivo
En matemticas los polinomios de Chebyshev, el nombre de Pafnuty Chebyshev, son
una sucesin de polinomios ortogonales que estn relacionados con la frmula de De
Moivre, y que se puede definir de forma recursiva. Por lo general se distingue entre los
polinomios de Chebyshev de la primera clase que se denota Tn y polinomios
Chebyshev de segunda clase que se denota Un. La letra T se utiliza debido a las
transcripciones alternativas del nombre de Chebyshev como Tchebycheff o
Tschebyschow.
Los polinomios de Chebyshev Tn o Un son polinomios de grado n y la secuencia de
polinomios de Chebyshev de uno u otro tipo compone una secuencia polinmica.
Polinomios de Chebyshev son importantes en la teora de aproximacin porque las
races de los polinomios de Chebyshev de la primera clase, que tambin se llaman
nodos de Chebyshev, se utilizan como nodos de interpolacin polinmica. El polinomio
de interpolacin resultante minimiza el problema del fenmeno de Runge y
proporciona una aproximacin que est cerca del polinomio de la mejor aproximacin
a una funcin continua bajo la norma mxima. Esta aproximacin conduce
directamente al mtodo de Clenshaw-Curtis cuadratura.
Definicin
Los Polinomios de Chebyshev estn estrechamente ligados a la teora de la
aproximacin de funciones, este mtodo presenta notables similitudes con los
Polinomios de Legendre, adems este es un mtodo muy importante debido a que una
de las principales aplicaciones de ambos constituye el desarrollo de los filtros
elctricos, o filtros de ondas, de gran importancia en las ramas de la ingeniera
elctrica y electrnica; esta aplicacin la comparten tambin con las funciones de
Bessel, que no se analizarn por el momento.
Funcin

C n x cos( nar cos x)

Donde cualquier nmero natura, se conoce como Polinomio de Chebyshev de orden n.

Esta funcin corresponde a un polinomio en x, finito para todos x, como se
estudiar a continuacin.
Primer anlisis para n=0

C 0 x cos(0ar cos x) cos 0 1

Segundo anlisis para n=1

C1 x cos( ar cos x) x

Ahora bien, para calcular los polinomios sucesivos, se puede apelar a la frmula de
recurrencia que demostraremos a continuacin:
El polinomio de orden n es, por definicin

C n x cos( nar cos x)

Por lo que nosotros le llamaremos de la siguiente forma para simplificar

U ar cos x

Reemplazamos en nuestra funcin original y nos quedara de la siguiente forma:

C n x cos(nU )

A su vez, la funcin inversa de u nos quedara as:

x cos U

De acuerdo con la definicin dada ms arriba, el Polinomio de orden n+1 ser:

C n 1 x cos n 1U cos( nU U )

Para el orden de n-1 nos queda de manera muy semejante a la anterior

C n 1 x cos n 1U cos( nU U )

Al aplicar las conocidas frmulas del coseno de la suma y del coseno de la diferencia,
las dos ltimas igualdades quedan modificadas como sigue:

C n 1 x cos U cos nU senUsennU

C n 1 x cos U cos nU senUsennU

Al sumar miembro a miembro estas dos igualdades, y despejar luego, se obtiene:

C n 1 x 2 cos U cos nU C n 1 x

De acuerdo a las anteriores ecuaciones reemplazamos

C n 1 x 2 xCn x) C n 1 x

A partir de estos resultados es posible determinar por reiteraciones, el polinomio que

representa a cada una de las funciones de Chebyshev.
Sabiendo que:

CO x 1
C1 x x

Comenzamos aplicar la frmula inicialmente dada con los nuevos datos y calculamos
de manera sucesiva.

C 2 x 2 xC1 ( x ) C 0 ( x) 2 x 2 1

C 3 x 2 xC2 ( x) C1 ( x) 4 x 3 2 x x 4 x 3 3 x
C 4 x 2 xC3 ( x) C 2 ( x) 8 x 4 6 x 2 2 x 2 1 8 x 4 8 x 2 1

C 5 x 2 xC4 ( x) C 3 ( x) 16 x 5 16 x 3 2 x 4 x 3 3 x 16 x 5 20 x 3 5 x
C 6 x 2 xC5 ( x) C 4 ( x ) 32 x 6 40 x 4 10 x 2 8 x 4 8 x 2 1 32 x 6 48 x 4 18 x 2 1

C 7 x 2 xC6 ( x) C 5 ( x) 64 x 7 96 x 5 36 x 3 2 x 16 x 5 20 x 3 5 x 64 x 7 112 x 5 56 x 3 7 x
Seguimos realizando lo clculos hasta cuando necesitemos nuestro polinomio.

x 1
Existencia de la funcin de Chebyshev para valores de
El rango de existencia de las funciones de Chebyshev se encuentran definidas para un
rango de:

1 x 1

Puesto que la funcin arcos x no existe para cualquier valor de x de mdulo mayor que
1.

x 1

Cn x
Sin embargo, una simple inspeccin de los polinomios

muestra que los mismos

tienen sentido, para cualquier valor no infinito de x, cabe entonces hacerse la

pregunta, Habr alguna expresin similar a cos(n arcosx), que permita extender la
validez de las funciones de Chebyshev para cualquier valor de x cuyo mdulo sea
mayor que 1?
La respuesta es afirmativa, en efecto, la funcin:

n ( x) ch(narchx )

Tiene, para x < -1 y x > 1, igual significado que cos(n cosx) para -1 < x < 1, como
veremos a continuacin.
Comenzaremos por probar la validez de la expresin siguiente, que nos da el valor del
coseno hiperblico de una suma de dos nmeros:

ch( ) chch shsh

Efectivamente:

chch shsh

e e e e e e e e

2
2
2
2

e e
2
=
Efectivamente:
archx v x chv
A continuacin, llamaremos

n ( x) ch(narchx ) chnv

Si n=0 ch0=1
Vemos tambin que si n = 1, entonces

 1 ( x) chv x
Al ir realizados los clculos pertinentes llegamos a la frmula de recurrencia siguiente,
que, como en el caso anterior, nos permitir obtener todos los coeficientes, a partir del
conocimiento de dos consecutivos

n ( x) 2 x n 1 ( x) n 2 ( x)

Para terminar, debemos decir que, como no existe el arco coseno hiperblico de

n (x)

ningn nmero comprendido entre -1 y 1, tampoco existe la funcin

rango.

en dicho

n (x)

Como conclusin las funciones Cn(x) y

son, cada una de ellas, prolongacin

analtica de la otra.

Los polinomios de Chebyshev de cualquier orden superior en la serie de potencias se

pueden generar utilizando la relacin recursiva.

T j ( x) 2 xT j 1 ( x) T j 2 ( x)

La

forma

de

coseno

Tk ( x) cos( K cos 1 x )

de

los

polinomios

de

Chebyshev

en

la

ecuacin

1 x 1
Indican que el mnimo y mximo local en

son -1 y 1respectivamente.

Conviene observar tambin que todos los polinomios de Chebyshev valen 1 en x=1 o
-1 en x=-1, como se ilustra a continuacin.
Puesto que la funcin coseno se anula en /2, 3/2,, las races de un polinomio de
Chebyshev de orden K satisfacen.

K cos 1 ( x n ) K n
2

n=1, 2,3,.., K
O ms explcitamente

 K 0.5 n
x n cos

n=1, 2,3,.., K
Si K=3 por ejemplo, Xn para n=1, 2 y 3 son -0.86602, 0, +0.86602, respectivamente.
Si el rango de interpolacin es -1,1 en un intervalo cerrado, las K races Xn, i=1,2,K,
se pueden utilizar como las abscisas de los puntos en la interpolacin de Lagrange, en
vez de utilizar puntos con igual separacin. Sin embargo, hay que observar que la
numeracin de los puntos al obtener los puntos de Chebyshev y la de la frmula de
interpolacin de Lagrange corresponde a puntos distintos. Si se utilizan los tres puntos
de Chebyshev de K-3 como se mostr en el prrafo anterior, el orden de la frmula de
interpolacin de Lagrange es n=2 y los puntos x, en la ecuacin analizada son x0=0.86602 y las ordenadas de los extremos a saber en x=-1 y x=1 no se utilizan. Por lo
tanto, la frmula de interpolacin de Lagrange se utilizar como extrapolacin en (-1,
-0.86602), al igual que en (0.86602, 1).
La interpolacin polinomial de Chebyshev se puede aplicar en cualquier rango distinto
de (-1,1), se transforma a (-1,1) sobre el rango de inters. Si escribimos el rango de
interpolacin como (a, b), la transformacin est dada por:

2z a b
ba

O en forma equivalente a la siguiente ecuacin:

(b a ) x a b
2

Donde
1 x 1

a zb
y

Por lo tanto, al sustituir los puntos de Chebyshev Xn en (-1,1) dados por la ecuacin
inicial en la ecuacin analizada, los puntos de Chebyshev zn en (a, b) son:

zn

1
b a cos K 0.5 n a b

2
K

n 1,2,..., K

El error de una interpolacin que utiliza las races de Chebyshev tambin est dado
por otro tipo de ecuaciones.
Sin embargo, el comportamiento de L(x), es diferente del que se obtiene con los
puntos separados uniformemente, en realidad, el propio L(x) es un polinomio de
Chebyshev ya que pasa por las races del polinomio de Chebyshev. En consecuencia,
el error de la interpolacin con las races de Chebyshev est distribuido de manera

ms uniforme que con los puntos con igual separacin. Sin embargo, la distribucin
real del error e(x) se desva del polinomio de Chebyshev, ya que depende de x.
Ejemplo

2 z4
Obtenga los tres puntos de Chebyshev en
Por medio de los tres puntos de Chebyshev, escriba la frmula de interpolacin
ajustada a ln (z)
Solucin
a) Al sustituir a=2, b=4 y k=3 en la ecuacin tenemos que n=1,2,3 se encuentran
los puntos de Chebyshev como: en la ltima ecuacin y hacer n=1, 2, 3 se
encuentra los puntos de Chebyshev como

zn

1
b a cos K 0.5 n a b

2
K

Donde realizando los clculos respectivos encontramos

z1 2.13397

z2 3
z1 3.86602
b)

Ahora hacemos una tabla de valores con los punto de Chebyshev como se
muestra a continuacin:
z

Y=ln(z)

3.13397

0.757984

1.098612

3.86602

1.352226

La frmula de interpolacin de Lagrange ajustada al conjunto de datos es de la

forma que se muestra a continuacin:

g z

( z 3)( z 3.86602)
0.757984
( 2.13397 3)( 2.13397 3.86602)

( z 2)( z 3.86602)
1.098612
(3 2.13397)(3 3.86602)

( z 2.13397)( z 3)
1.352226
(3.86602 2.13397)(3.86602 3)

CODIFICACIN DEL ALGORITMO

% Sea por ejemplo el polinomio de Chebyshev de orden cuarto:
% Empezaremos por introducir en la sesin los polinomios de Legendre
necesarios:
syms x
P0 = 1;
P1 = x;
P2 = 1/2*(3*x^2-1);
P3 = 1/2*(5*x^3-3*x);
P4 = 1/8*(35*x^4-30*x^2+3);
P5 = 1/8*(63*x^5-70*x^3+15*x);
% Y tambin, los polinomios de Chebyshev. Son:
C0 = 1;
C1 = x;
C2 = 2*x^2-1;
C3 = 4*x^3-3*x;
C4 = 8*x^4-8*x^2+1;
C5 = 16*x^5 -20*x^3+5*x;
% Expresar C4 en funcin de los polinomios de Legendre:
F2 = C4 - 8*8/35*P4
F2 = - 8/7*x^2+11/35
F0 = F2+8/7*2/3*P2
F0 = -1/15
F = F0 + 1/15*P0
F = 0
% Finalmente:
C4 = 8*8/35*P4 - 8/7*2/3*P2 - 1/15*P0
C4 = 8*x^4 - 8*x^2+1

EJEMPLO