Introduccin

Ahora se considerar el problema de representar una funcin con un error

mnimo. ste es un problema central en el desarrollo de software de
computadoras digitales porque es ms econmico calcular los valores de las
funciones comunes usando una aproximacin eficiente que almacenar una tabla
de valores y aplicar tcnicas de interpolacin.

Debido a que en esencia las computadoras digitales slo son dispositivos
aritmticos, la funcin ms elaborada que pueden calcular es una funcin
racional, que es un cociente de polinomios.

Por tanto , el anlisis se restringir a la representacin de funcione s por polinomios
o por funciones racionales.

Una forma de aproximar una funcin por un polinomio es usar una serie de Taylor
truncada.

En la mayor parte de los casos sta no es la mejor manera. Para estudiar mejores
formas, primero es necesario introducir los polinomios de Chebyshev.

El conocido desarrollo en serie de Taylor representa la funcin con un error muy
pequeo cerca del punto de desarrollo, pero el error aumenta rpidamente (en
forma proporcional a la potencia) a medida que se utiliza en puntos cada vez
ms alejados. En una computadora digital no se tiene control sobre en qu parte
de un intervalo se utilizar la aproximacin, de modo que la serie de Taylor no
suele ser idnea. Es preferible intercambiar una parte de su precisin excesiva en
el centro del intervalo para reducir los errores en los extremos.



















Polinomios de Chebyshev.

Los Polinomios de Chebyshev estn estrechamente ligados a la teora de la
aproximacin de funciones, por lo que pareceran estar fuera de lugar en este
trabajo dedicado a las Ecuaciones Diferenciales. No obstante introducimos aqu
su tratamiento tanto por sus notables similitudes con los Polinomios de Legendre,
como porque una de las principales aplicaciones de ambos la 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.

La funcin:
Cn ( x ) = cos ( n arcos x )

En la cual n es cualquier nmero natural, se conoce como Polinomio de
Chebyshev de orden n.
Aunque a primera vista no parezca evidente, la funcin mencionada es en
efecto un polinomio en x, finito para todo x , como probaremos a
continuacin.

En primer lugar, si n = 0, es obviamente:
C0 ( x ) = cos ( 0 arcos x ) = cos 0 = 1

A su vez, para n = 1,
C1 ( x ) = cos ( arcos x ) = x

Ahora bien, para calcular los polinomios sucesivos, se puede apelar a la frmula
de recurrrencia que demostraremos a continuacin:

El Polinomio de orden n es, por definicin:
Cn ( x ) = cos ( n arcos x ) (4.1)


Y si llamamos, para simplificar,
u = arcos x
reemplazando, obtenemos:
Cn ( x ) = cos n u . .(4.2)


A su vez, la funcin inversa de u es:
x = cos u ..(4.3)

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

Cn+1 ( x ) = cos [ ( n + 1 ) u ] = cos ( n u + u )

Y el de orden n -1:
Cn-1 ( x ) = cos [ ( n - 1 ) u ] = cos ( n u - 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:

Cn+1 ( x ) = cos u cos nu - sen u sen nu y Cn-1 ( x ) = cos u cos nu + sen u
sen nu

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

Cn+1 ( x ) = 2 cos u cos nu - Cn-1 ( x )

Reemplazando segn (4.2) y (4.3):
Cn+1 ( x ) = 2 x Cn ( x ) - Cn-1 ( x ). (4.4)

A partir de este resultado, es posible determinar, por reiteracin, el
polinomio que representa a cada una de las funciones de Chebyshev.

A continuacin, a ttulo de ejemplo, desarrollamos las primeras de ellas:
Ya vimos que C0 ( x ) = 1 y C1 ( x ) = x .

Si aplicamos la frmula (4.4), obtendremos, sucesivamente:
Ejemplo 1:
C2(x) = 2 x C1 ( x ) - C0 ( x ) = 2 x
2
- 1

C3 ( x ) = 2 x C2 ( x ) - C1 ( x ) = 4 x
3
- 2 x - x = 4 x
3
- 3 x

C4 ( x ) = 2 x C3 ( x ) - C2 ( x ) = 8 x
4
- 6 x
2
- 2 x
2
+ 1 = 8 x
4
- 8 x
2
+ 1

C5 ( x ) = 2 x C4 ( x ) - C3 ( x ) = 16 x
5
- 16 x
3
+ 2 x - 4 x
3
+ 3 x = 16 x
5
- 20 x
3
+ 5 x

C6 ( x ) = 2 x C5 ( x ) - C4 ( 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

C7 ( x ) = 2 x C6 ( x ) - C5 ( x ) = 64 x 7 - 96 x
5
+ 36 x
3
- 2 x 16 x
5
+ 20 x
3
- 5 x = 64 x7 -
112 x
5
+ 56 x
3
- 7 x

Existencia de la Funcin de Chebyshev para valores de | x | > 1.

El rango de existencia de las Funciones de Chebyshev definidas segn la (4.1) es
-1x 1, puesto que la funcin arcos x no existe para cualquier valor de x de
mdulo mayor que 1:
|x | > 1,

Sin embargo, una simple inspeccin de los polinomios Cn ( x ) 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
arcos x ), 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 ( n arch x ). (4.5)
tiene, para x < -1 y x > 1, igual significado que cos ( n cos x ) 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( + ) = ch ch + sh sh



A continuacin, llamaremos : arch x = v x = ch v

Reemplacemos este valor en la (4.5), y obtendremos:
n ( x ) = ch ( n arch x ) = ch
nv

Si n = 0, ch 0 = 1
Vemos tambin que si n = 1, entonces
1 ( x ) = ch v = x

Ahora, a partir de la frmula (4.6), reemplazando y por,
respectivamente, nv y v, podemos hacer:
n+1 ( x ) = ch [( n + 1 ) v ] = ch ( nv + v ) = ch nv . ch v + sh nv . sh v

De modo enteramente similar se demuestra la frmula siguiente, simtrica
de la anterior:
n -1 ( x ) = ch [( n - 1 ) v ] = ch ( nv - v ) = ch nv . ch v - sh nv . sh v

El resultado de sumar miembro a miembro las dos ltimas igualdades es:
n+1 ( x ) + n - 1 ( x ) = 2 ch v . ch nv = 2 x n ( x )
Despejando n+1 ( x ), resulta
n+1 ( x ) = 2 x n ( x ) - n - 1 ( x )
De aqu se llega 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 ningn nmero comprendido entre -1 y 1, tampoco existe la
funcin n ( x ) en dicho rango.

Como conclusin, las funciones Cn (x) y n ( x ) son, cada una de ellas,
prolongacin analtica de la otra. La figura siguiente muestra los
respectivos dominios de definicin.



Propiedades y aplicaciones de las Funciones de Chebyshev.

Demostrada la validez de la frmula de recurrencia para cualquier valor de la
variable x, podemos formalmente definir la Funcin de Chebyshev como se ve a
continuacin:






Esta definicin permite extender la validez de los Polinomios de Chebyshev para
todo el dominio de la variable x, desde a + .






En la figura siguiente, representamos nuevamente la funcin C3 ( x ), pero
cambiando la escala, para una mejor comprensin de la forma del
polinomio, cuando nos alejamos del valor x = 1.




Ejemplo1:
Calcular las funciones C8 ( x ) a C10 ( x ), aplicando la frmula de recurrencia a
partir de
C7 ( x ) = 64 x 7 - 112 x
5
+ 56 x
3
- 7 x .

Respuesta:

C8 ( x ) = 132 x
8
- 256 x
6
+ 160 x
4
- 32 x
2
+ 1.

C9 ( x ) = 256 x 9 - 576 x 7 + 432 X
5
- 120 x
3
+ 9 x.

C10 ( x ) = 512 x 10 - 1280 x
8
+ 1120 x
6
- 400 x
4
+ 50 x
2
- 1.