NOTAS SOBRE POLINOMIOS Y FUNCIONES DE TCHEBYCHEV

Ing. Juan Sacerdoti

Departamento de Matemtica Facultad de Ingeniera Universidad de Buenos Aires 2002 V2

INDICE
1.- POLINOMIOS DE TCHEBYCHEV 1.1.- PORQUE TCHEBYCHEV 1.2.- DEFINICION DE LOS POLINOMIOS DE TCHEBYCHEV 1.3.- PROPIEDADES PRIMERA PARTE 1.3.1.- PARIDAD 1.3.2.- VALORES NOTABLES 1.3.3.- EXPRESION DE LOS PRIMEROS POLINOMIOS DE TCHEBYCHEV 1.3.4.- REPRESENTACIN GRFICA DE ALGUNOS POLINOMIOS DE TCHEBYCHEV 1.3.5.- LOS POLINOMIOS DE TCHEBYCHEV COMO PROYECCIN DE UNA COSINUSOIDE DESARROLLADA SOBRE UN CILINDRO 1.3.5.1.- Ejemplo T5(x) 1.3.5.2.- Ejemplo T12(x) 1.3.6.- ACOTACIN EN EL INTERVALO [1 1] 1.3.7.- COEFICIENTES NOTABLES 1.3.8.- CEROS 1.3.8.1.- EXPRESIN DE LOS CEROS 1.3.8.2.- LOS POLINOMIOS DE TCHEBICHEV EN FUNCIN DE LOS CEROS 1.3.9.- INTERRELACIONES ENTRE LOS DISTINTOS TIPOS DE POLINOMIOS 1.3.9.1.- SUMAS ENESIMAS 1.3.9.2.- RELACION ENTRE LOS POLINOMIOS Tn+1 y Vn 1.3.10.- MXIMOS Y MINIMOS RELATIVOS 1.3.10.1.- PUNTOS EXTREMANTES DE Tn 1.3.10.2.- Ejemplo T6(x) 2.- ECUACIONES DIFERENCIALES DE TCHEBYCHEV Y SOLUCIONES 2.1.- FORMA CANNICA DE LAS ECUACIONES DIFERENCIALES DE TCHEBYCHEV 2.2.- FORMAS MODIFICADAS DE LAS ECUACIONES DIFERENCIALES DE TCHEBYCHEV 2.2.1.- FORMA MODIFICADA DE LA PRIMERA ED DE TCHEBYCHEV 2.2.1.1.- CASO | x| < 1 2.2.1.2.- CASO | x| > 1 2.2.2.- FORMA MODIFICADA DE LA SEGUNDA ED DE TCHEBYCHEV 2.2.2.1.- CASO | x| < 1 2.2.2.2.- CASO | x| > 1 3.- RESOLUCION POR EL MTODO DE FUCHS 4.- ECUACION DE RECURRENCIA DE LOS POLINOMIOS DE TCHEBYCHEV 5.- FUNCION GENERATRIZ 6.- PROPIEDADES SEGUNDA PARTE 6.1.- RAICES DE LA ECUACION Tn(x) = c 6.1.1.- CASO | c | < 1 6.1.2.- CASO | c | > 1 6.1.2.1.- RACES POSITIVAS DEL CASO c > 1 6.1.2.2.- RACES POSITIVAS Y NEGATIVAS EN EL CASO GENERAL | c | > 1 6.1.1.3.- CAMBIO DE ESCALA PARA LIMITAR LA AMPLITUD DE UN POLINOMIO DE TCHEBYCHEV 6.2.- PROPIEDAD FUNDAMENTAL DE LOS POLINOMIOS DE TCHEBYCHEV 6.2.1.- PRESENTACION I 6.2.2.- PRESENTACION II 6.3.- UN TEOREMA SOBRE MAXIMOS Y MINIMOS. APLICACIN A LOS POLINOMIOS DE TCHEBYCHEV.

7.- LOS POLINOMIOS DE TCHEBYCHEV COMO POLINOMIOS ORTOGONALES 7.1.- EL PROBLEMA DE STURM-LIOUVILLE 7.1.1.- FORMA AUTOADJUNTA DE STURM-LIOUVILLE 7.1.2.- PROBLEMAS DE STURM LIOUVILLE 7.2.- NORMAS DE LOS POLINOMIOS ORTOGONALES 7.3.- LOS POLINOMIOS DE TCHEBYCHEV COMO SISTEMA ORTONORMADOS 8.- APLICACIONES MATEMTICAS Y FSICAS 8.1.- APLICACIONES MATEMTICAS 8.1.1.- MEJOR ELECCION DE LAS ABSCISAS DE INTERPOLACIN DE LA FORMULA DE LAGRANGE 8.2.- APLICACIONES FSICAS 8.2.1.- RADIACIN DE ANTENAS EN SERIE

POLINOMIOS DE TCHEBYCHEV 1. INTRODUCCIN 1.1.- PORQUE TCHEBYCHEV Los Polinomios de Tchebychev conforman un Sistema Ortogonal en el intervalo x [1 1] y por ello son un caso particular de los Sistemas Ortogonales sobre los cuales se pueden desarrollar Series de Fourier. Otra propiedad relevante de los Polinomios Tchebychev es que tienen una mejor aproximacin a un segmento de recta dado, en el sentido que el valor absoluto de sus extremos (mximos y mnimos) son menores o iguales a los de cualquier otro polinomio con el mismo primer coeficiente an = 2n1 1.2.- DEFINICION DE LOS POLINOMIOS DE TCHEBYCHEV Una forma de introducir a los polinomios de Tchebychev es a partir de la formula de De Moivre: ( ei )n = ein (cos + i sin)n = cos n + i sin n simbolizando con Cn,k : nmero combinatorio de n elementos tomados de a k c : cos s : sin se tiene de la formula de Moivre: cos n = sin n = Cn,0 cn Cn,2 cn2 s2 + Cn,4 cn4 s4 ... + ...

Cn,1 cn1s Cn,3 cn3 s3

sin (n+1) = Cn+1,1 c n s Cn+1,3 cn2 s3 + ... sin (n + 1) = Cn+1,1 c n Cn+1,3 cn2 s2 + ... sin

y cambiando de variable x = cos = Arccos x ( determinacin principal ) resultan los Polinomios de Tchebychev Tn(x) y Vn(x)
Def. Polinomios de Tchebychev Tn(x) := cos n =cos(n Arccos x) := Cn,0 xn Cn,2 xn2 (1x2) + Cn,4 xn4 (1x2)2 ... Vn(x) :=

sin (n + 1) sin := Cn+1,1 x n Cn+1,3 xn2 (1x2) + ...

1.3.- PROPIEDADES PRIMERA PARTE 1.3.1.- PARIDAD Los polinomios Tn(x) , Vn(x) T1.- Def Tn(x) , Vn(x) tienen la paridad de n.

n Par Tn(x) , Vn(x) Funciones Pares n Impar Tn(x) , Vn(x) Funciones Impares

D.- De la definicin se implica directamente la Tesis 1.3.2. VALORES NOTABLES T.- Def Tn(x) , Vn(x) T2.- Tn(1) = 1 Vn(1) = n+1
T3.-

Tn(1) = (1)n Vn(1) = (n+1) (1)n Tn(0) = cos

T4.-

n 2

n = 2k

T2k(0) = (1)k

n = 2 k +1 T2k+1(0) = 0 (n + 1) n Vn(0) = sin = cos = Tn(0) 2 2

1.3.3.- EXPRESION DE LOS PRIMEROS POLINOMIOS DE TCHEBYCHEV T5.T0(x) = 1 T1(x) = x T2(x) = 2 x2 1 T3(x) = 4 x3 3 x T4(x) = 8 x4 8 x2 + 1 T5(x) = 16 x5 20 x3 + 5 x T6(x) = 32 x6 48 x4 + 18 x2 1 T7(x) = 64 x7 112 x5 + 56 x3 7 x T8(x) = 128 x8 256 x6 + 160 x4 32 x2 + 1 T5(x) = 256 x9 576 x7 + 432 x5 120 x3 + 9 x T10(x) = 512 x10 1280 x8 + 1120 x6 400 x4 + 50 x2 1

V0(x) = 1 V1(x) = 2x V2(x) = 4 x2 1 V3(x) = 8 x3 4 x

1.3.4.- REPRESENTACIN GRAFICA DE ALGUNOS POLINOMIOS DE TCHEBYCHEV

1.3.5.- LOS POLINOMIOS DE TCHEBYCHEV COMO PROYECCIN DE UNA COSINUSOIDE DESARROLLADA SOBRE UN CILINDRO Los polinomios de Tchebychev Tn(x) en el intervalo x[1 1] es la proyeccin de una cosinusoide desarrollada sobre un cilindro de revolucin, sobre un plano axial. Estas proyecciones son un caso particular de las curvas de Lissajous. 1.3.5.1.- Ejemplo T5(x) Se representa en la figura que sigue al Polinomio T5(x) = cos(5 Arcos(x)) cosinusoide desarrollada sobre una superficie cilndrica de radio 1. como proyeccin de

Valores de cos(5t) t cos(5t) 0 1

/10 0

2/10 1

3/10 0

4/10 1

5/10 0

6/10 1

7/10 0

8/10 1

9/10 0

Ecuacin de la curva cosinusoide desarrollada sobre un cilindro: x2 + z2 = 1

x = cos( t ) T5(t) = cos(5t) y = cos( 5 t ) z = sin( t )

Ecuacin de la proyeccin de la curva cosinusoide desarrollada sobre un cilindro: T5(x)

x = cos( t ) T5(t) = cos(5 Arcos(t)) y = cos( 5 t ) z = 0

1.3.5.2.- Ejemplo T12(x)

Anlogamente se representa en la figura el Polinomio T12(x) = cos(12 Arcos(x)) cosinusoide desarrollada sobre una superficie cilndrica de radio 1. como proyeccin de

Valores de cos(5t) t cos(12t) 0 1

/24 0

2/24 1

3/24 0

4/24 1

5/24 0

6/24 1

7/24 0

8/24 1

9/24 10/24 0 1

11/24 0

12/24 1

Ecuacin de la curva cosinusoide desarrollada sobre un cilindro: x2 + z2 = 1

x = cos( t ) T12(t) = cos(12t) y = cos( 12 t ) z = sin( t )

Ecuacin de la proyeccin de la curva cosinusoide desarrollada sobre un cilindro: T12(x)

x = cos( t ) T12(t) = cos(12 Arcos(t)) y = cos( 12 t ) z = 0

1.3.6.- ACOTACIN EN EL INTERVALO [1 1] T6.Def Tn(x) , Vn(x)

D.-

| Tn(x)| = | cos n | 1 Vn() = = =

| Tn(x)| = | cos n | 1 sin (n + 1) | Vn(x)| = | | n+1 sin

sin (n + 1) sin
e i(n+ 1) - e -i (n+ 1) e i - e - i e i(n + 1)
in

1 - e -i2 (n+ 1)

e i 1 - e -i 2 i2 = e [ 1 + e + (ei2)2 + (ei2)3 + ... + (ei2)n ] | Vn() | 1 . ( n+1)

1.3.7.- COEFICIENTES NOTABLES T7.Tn(x) Vn(x) D. Coef(xn) = 2n1 Coef(xn) = 2n

Pues por las Frmulas del Clculo Combinatorio

L.- (Lema) Cn,0 + C n,2 + Cn,4 + ... = 2n1

(1+1)n =

k =0

Cn,k = 2n

(11)n =

k =0

Cn,k (1)k

Cn,0 + C n,2 + Cn,4 + ... = Cn,1 + C n,3 + Cn,5 + ... Cn,0 + C n,2 + Cn,4 + ... = Cn,1 + C n,3 + Cn,5 + ... = 2n1

Anlogamente si se toma n+1 el lema anterior queda Cn+1,0 + Cn+1,2 + Cn+1,4 + ... = Cn+1,1 + C n+1,3 + Cn+1,5 + ... = 2n Como Tn(x) = cos n = Cn,0 cn Cn,2 cn2 (1c2 ) + Cn,4 cn4 (1c2 )2 ... Coef(xn) = Cn,0 + C n,2 + Cn,4 + ... = 2n1

A su vez Vn(x) = sin (n + 1) sin = Cn+1,1 c n Cn+1,3 cn2 (1c2 ) + Cn+1,5 cn4 (1c2 )2 ...

Coef(xn) = Cn,1 + C n,3 + Cn,5 + ... = 2n

1.3.8.- CEROS 1.3.8.1.- EXPRESIN DE LOS CEROS

Los ceros de los polinomios de Tchebychev son todos reales y todos estn comprendidos en el intervalo [1 1] y su cantidad es n igual al orden del polinomio.
T8.Def Tn(x) , Vn(x)

( 2 k 1 ) 2n k Vn(x) = 0 zk = cos n+1 Tn(x) = 0 zk = cos

k<1.. n> k<1.. n>

D.-

Tn(z) := cos n =cos(n Arccos z) = 0 ( 2 k 1 ) n Arccos z = 2 ( 2 k 1 ) zk = cos 2n Vn(z) :=

sin (n + 1) =0 sin sin[(n +1) Arccos z] = 0

(n +1) Arccos z = k zk = cos

k n+1

k se cumple Vn(0) = Vn() = 1 y por lo tanto no son ceros. n+1 Obs.2: Se observa adems que los ceros de los polinomios de Tchebychev son simtricos. Obs.1: Ntese que para k = {0,} de zk = cos

1.3.8.2.- LOS POLINOMIOS DE TCHEBICHEV EN FUNCIN DE LOS CEROS

Los polinomios de Tchebychev expresados en funcin de los ceros ser.

T9.Def Tn(x) , Vn(x)

T2p(x) = 22p 1 (x2x12) (x2x22) T2p+1(x) = 22p x (x2x12) (x2x22) 2p V2p(x) = 2 (x2x12) (x2x22) 2p+1 T2p+1(x) = 2 x (x2x12) (x2x22)

(x2xp2) (x2xp2) (x2xp2) (x2xp2)

Las expresiones de las Tesis surge inmediatamente del teorema fundamental del lgebra y de la expresin del coeficiente an de la potencia xn.
1.3.9.- INTERRELACIONES ENTRE LOS DISTINTOS TIPOS DE POLINOMIOS

1.3.9.1.- SUMAS ENESIMAS T10.- Def Tn(x) , Vn(x)

Vn Vn2 = 2 Tn V2k = V0 + 2 [ T2 + T4 + T6 + ... + T2k ] V2k+1 = V1 + 2 [ T3 + T5 + T7 + ... + T2k+1 ]

D.-

Vn Vn2 =

sin (n + 1) sin (n 1) sin sin = 2 cos n

= 2 Tn A partir de este resultado en forma recursiva se obtiene para n par e impar respectivamente: V2k = V0 + 2 [ T2 + T4 + T6 + ... + T2k ] V2k+1 = V1 + 2 [ T3 + T5 + T7 + ... + T2k+1 ]

1.3.9.2.- RELACION ENTRE LOS POLINOMIOS Tn+1 y Vn

Los Polinomios de Tchebychev Tn+1(x) y Vn(x) se relacionan entre si por la expresin:

T11.- Def Tn(x) , Vn(x)

Tn+1(x) = (n+1)

sin (n + 1) = (n+1) Vn(x) sin

D.- La expresin se prueba directamente hallando la derivada de Tn+1(x)

Tn+1(x) =

1 dx d d cos (n + 1) 1 = d cos d d sin (n + 1) = (n+1) sin

d cos (n + 1) d

= (n+1) Vn(x)

1.3.10.- MXIMOS Y MINIMOS RELATIVOS

1.3.10.1.- PUNTOS EXTREMANTES DE Tn EN EL INTERVALO [1 1]

Los ceros de los polinomios de Tchebychev son todos reales y todos estn comprendidos en el intervalo [1 1] y su cantidad es n igual al orden del polinomio. k T12.- Def Tn(x) , Vn(x) Tn(x) = 0 ek = cos k<1.. n1 > n
D.-

Como Tn(x) = n Vn1 (x)

Existen entonces n1 puntos extremantes para extremos relativos que son k k<1.. n1 > Tn(x) = 0 Vn1(x) = 0 ek = cos n Y en esos puntos se cumple Tn(ek) = cos(n Arccos ek ) = cos(k) = (1)k Resumiendo Tn(x) tiene n1 extremos relativos en el intervalo [1 ; 1] y cuyo valor es maxx[1 ; 1] ( Tn(ek)) = 1 mnx[1 ; 1] ( Tn(ek)) = 1 Adems en el intervalo [1 ; 1] existen 2 extremos absolutos en los extremos del intervalo que tambin tiene mdulo 1. Es decir Tn(x) en el intervalo [1 ; 1] tiene n+1 extremos absolutos cuyo valor absoluto es 1.
supx[1 ; 1] | Tn(x)| = 1 Obs.: El hecho que Tn son funciones continuas con n+1 extremos alternados coincide con que tiene n ceros. 1.3.10.2.- Ejemplo T6(x)

Se presenta la representacin grfica de los ceros y etremos del polinomio T6 en el intervalo [1 1].

2.- ECUACIONES DIFERENCIALES DE TCHEBYCHEV Y SOLUCIONES 2.1.- FORMA CANNICA DE LAS ECUACIONES DIFERENCIALES DE TCHEBYCHEV

Los dos tipos de Polinomios de Tchebychev Tn(x) Vn(x) verifican respectivamente las ecuaciones diferenciales siguientes:
Ecuaciones Diferenciales de Tchebychev (1x2) Tn"(x) x Tn'(x) + n2 Tn(x) = 0 (1x2) Vn"(x) 3 x Vn'(x) + n(n+2) Vn(x) = 0 Primera ED de Tchebychev Segunda ED de Tchebychev

D.- Primera ecuacin. La primera demostracin consiste en calcular Tn' y Tn" y verificar la ED

Tn(x) =

d cos n d

= n

sin n sin d Tn ' (x) d

1 d cos d

1 d cos d sin n cos 1 cos n Tn(x) = [n2 + n ] [ ] 2 sin sin( ) sin cos n sin n cos + n Tn(x) = n2 2 sin sin 3

Tn(x) =

Reemplazando en la ED (recordando que x = cos )

(1x2) Tn"(x) x Tn'(x) + n2 Tn(x) = 0

sin2 [ n2

sin n ] + n2 cos n = sin sin sin sin n cos sin n = n2 cos n + n n cos + n2 cos n = 0 sin sin
2

cos n

+ n

sin n cos
3

] cos [n

D.- Segunda Ecuacin. Para el caso de la segunda ED se recuerda que

Tn+1'(x) = (n+1) Vn(x) derivando la primera ecuacin diferencial se llega a la segunda. (1x2) y x y + (n+1)2 y = 0 (1x2) y 2 x y x y y + (n+1)2 y = 0 (1x2) y 3 x y [(n+1)2 1] y = 0 (1x2) Vn"(x) 3 x Vn'(x) + n(n+2) Vn(x) = 0

2.2.- FORMAS MODIFICADAS DE LAS ECUACIONES DIFERENCIALES DE TCHEBYCHEV 2.2.1.- FORMA MODIFICADA DE LA PRIMERA ED DE TCHEBYCHEV 2.2.1.1.- CASO | x| < 1

La ED Modificada de la Primera ED de Tchebychev se obtiene con el cambio de variable

x = cos

|x| < 1

y() + y() = 0

Ecuacin modificada

Obs: En particular si = n2 se recuerda que las funciones de Tchebychev son los Polinomios Tn

D.- Partiendo de la Primera Ecuacin de Tchebychev cannica

(1x2) y x y + y = 0 Cambiando x = cos y' y' yx = = x' sin yxx = [ y' ' y' + cos ] [ 1 ] 2 sin sin sin

Reemplazando estas expresiones en la ED resulta y' ' y' y' sin [ cos ] cos [ ] + y =0 2 3 sin sin sin
2

y + y = 0 que es la ED modificada, cuya solucin general es entonces: y() = A cos( ) + B sin( ) y volviendo a la variable x: y(x) = A cos( Arc cos (x)) + B sin( Arc cos(x)) |x| <1

Si se toma el caso particular = n2 que incluye como primera solucin a: Tn() = cos n = cos(n Arc cos (x))

En este caso la segunda solucin es

y2 = sin n = Vn1 sin 1 = [cos n ] n 1 = Tn() n

que lleva a

Tn() = n Vn1() sin Que se obtiene de la relacin Tn+1(x) = (n+1) Vn(x)

2.2.1.2.- CASO | x| > 1

Esta forma modificada de la Ecuacin de Tchebychev se obtiene con el cambio de variable:

x = ch |x| > 1

y() y() = 0

Ecuacin modificada

D.- Partiendo de la Primera Ecuacin de Tchebychev cannica

(1x2) y x y + y = 0 Cambiando x = ch y' y' yx = = x' sh yxx = [ y' y' ' ch ] [ 1 ] 2 sh sh sh

Reemplazando estas expresiones en la ED recordando ch2(x) sh2(x) = 1 resulta: y' ' y' y' sh2 [ ch ] ch [ ] + y = 0 2 3 sh sh sh y y = 0 que es la ED modificada, cuya solucin general es entonces: y() = A ch( ) + B sh( ) y volviendo a la variable x:
y(x) = A ch( Arg ch(x)) + B sh( Arg ch(x))

|x| >1

2.2.2.- ED MODIFICADA DE LA SEGUNDA ED DE TCHEBYCHEV 2.2.2.1.- CASO | x| < 1

En el caso de la Segunda ED de Tchebychev para el caso particular = n (n+2)

x = cos |x| < 1

y" () + 2 cotg y () + n (n+2) y() = 0 Ecuacin modificada

D.- Realizando el cambio de variable propuesto en la Segunda ED de Tchebychev

(1x2) y" 3 x y' + n(n+2) y = 0

se tiene:

sin2 [

y' ' () sin

2

y' () cos sin

3

] 3 cos [

y' () ] + n (n+2) y() = 0 sin

La ecuacin diferencial en es entonces: y"() + 2 cotg y() + n (n+2) y() = 0 cuya solucin general es : y() = A sin (n + 1) cos(n + 1) +B sin sin

sin (n + 1) es solucin surge de la formacin de la segunda ED diferencial ( o verificando sin directamente) y la segunda solucin se puede obtener a partir del conocimiento de la primera: que Vn(x) = y1 = Vn() := sin (n + 1) sin 1
2 y1

y2 = y1

p ( ) d e d

entonces:

1
2 y1

p =

p ( ) d

= 2 L sin 1 = sin 2
p ( ) d e d =

2 cotg d

sin 2 sin (n + 1) 1
2

1 sin 2

Finalmente p ( ) d 1 y2 = y1 e d 2 y1

d sin 2 (n + 1) 1 cotg(n+1) = n +1

y2 =

sin (n + 1) 1 cotg(n+1) n +1 sin 1 cos (n + 1) y2 = n +1 sin

2.2.2.2.- CASO

| x| > 1

Para este caso de la Segunda ED de Tchebychev se mantiene la condicin = n (n+2) y se realiza el cambio de variable:
x = ch |x| > 1

y" () + 2 coth y () n (n+2) y() = 0 Ecuacin modificada

D.- Partiendo de la Segunda Ecuacin Diferencial de Tchebychev cannica

(1x2) y 3 x y + n (n+2) y = 0 se tiene:
sh2 [

y' ' sh
2

y' sh
3

ch ] 3 ch [

y' ] + n (n+2) y() = 0 sh

La ecuacin diferencial en es entonces: y"() + 2 coth y() n (n+2) y() = 0 cuya solucin general es : y() = A
sh (n + 1) ch(n + 1) +B sh sh sh (n + 1) es solucin y a partir de ella obtener la segunda sh

se puede verificar que y1 =

sh (n + 1) sh p ( ) d 1 e d y2 = y1 2 y1

entonces:

1
2 y1

p =

p ( ) d

= 2 L sh 1 = sh 2
p ( ) d e d =

2 coth d

sh 2 s ( n + 1 ) 1
2 2

1 sh 2

Finalmente p ( ) d 1 y2 = y1 e d 2 y1

d sh ( n + 1 ) 1 coth(n+1) = n +1

y2 =

sh (n + 1) 1 coth(n+1) n +1 sh 1 ch(n + 1) y2 = n +1 sh

3.- RESOLUCION POR EL MTODO DE FUCHS

Tomando la ED Tchebychev (1x2) y x y + y = 0 Cuyo campo de convergencia es p(x) = x/(1x2) q(x) = /(1x )
2

CV(p) = { | x | < 1} CV(q) = { | x | < 1}

CV(y) = { | x |<1}

Se ensaya la solucin del tipo Fuchs y = y = y =

k =0

Ck x r + k Ck (k+r) x r + k1 Ck (k+r) (k+r 1) x r + k2

k =0

k =0

y =

k =0

Ck x r + k

x y =

k =0

Ck (k+r) x r + k

(1 x2) y =

k =0

Ck (k+r) (k+r 1) x r + k 2 +

k =0

Ck (k+r) (k+r 1) x r + k

Tomando el coeficiente de la potencia x r + k 2

se forma la Ecuacin de Recurrencia:

Ck (k+r) (k+r 1) Ck2 [ (k+r2) (k+r3) + (k+r2) ] = 0 Ck (k+r) (k+r 1) Ck 2 [ (k+r2)2 ] = 0 Que lleva a la Ecuacin caracterstica C0 (r) (r1) = 0 de donde r1 = 1; r2 = 0;
=1

Para operar la Ecuacin de Recurrencia ms fcilmente se transforma el segundo trmino en producto de monomios para ello se completa el cuadrado perfecto tomando = 2 . Queda [ (k+r2)2 ] = (k+r2) (k+r 2+) C k - 2 (k + r - 2 - ) (k + r - 2 + ) k (k + 1) Para hallar la Primera solucin y1 con Ck = C k - 2 (k - 1 - ) (k - 1 + ) (k + 1) k r = r1 = 1;

Ck =

Para hallar la Segunda solucin y2 con r = r1 = 2; Ck = C k - 2 (k - 2 - ) (k - 2 + ) k (k 1)

4.- ECUACION DE RECURRENCIA DE LOS POLINOMIOS DE TCHEBYCHEV La solucin de la ED Modificada es: y() = A cos( ) + B sin( ) Si
=n

y() = A cos(n ) + B sin(n ) Estas soluciones desarrolladas en potencias de cos() son los Polinomios de Tchebychev. Tn(x) = cos(n ) cos(0 ) = 1 cos() = x cos(2) = 2 cos2() 1 = 2 x2 1 cos(3) = cos(2) cos() sin(2) sin() = [2 cos2() 1] cos() 2 cos()sin2() = [2 cos2() 1] cos() 2 cos() [ 1 cos2()] = 4 cos3() 3 cos() = 4 x3 3 x Se deduce una Ecuacin de Recurrencia: cos((n+1)) = cos(n) cos() sin(n) sin() cos((n 1)) = cos(n) cos() + sin(n) sin() cos((n 1)) cos((n+1)) = 2 sin(n) sin() 1 cos((n+1)) = cos(n) cos() + [cos((n+1)) cos((n1))] 2 cos((n+1)) = 2 cos(n) cos() cos((n1)) La ER es :
Tn+1(x) = 2 Tn(x) x Tn1(x)

Aplicando los resultados de la ER T2(x) = 2 T1(x) x T0(x) = 2 x2 1 T3(x) = 2 T2(x) x T1(x) = 4 x3 3 x T4(x) = 2 T3(x) x T2(x) = 8 x4 8 x2 + 1 T5(x) = 2 T4(x) x T3(x) = 16 x5 20 x3 + 5 x T6(x) = 2 T5(x) x T4(x) = 32 x6 48 x4 + 18 x2 1

Se implica Tn = an xn + an2 xn2 + an4 xn4 + ... an = 2n1 (1x2) Tn x Tn + n2 Tn = 0 an (n)(n1) xn2 + an2 (n2)(n3) xn4 + an4 (n4)(n5) xn6 + ...
an (n)(n1) xn an2 (n2)(n3) xn2 an4 (n4)(n5) xn4 ... an (n) xn

an2 (n2) xn2 an2 n2 xn2 +

an4 (n4) xn4 ... an4 n2 xn4 + ...

an n2 xn + De donde xn ) xn2 )

an [ (n)(n1) + n n2 ] = 0

an2 [ (n2)(n3) + (n2) n2 ] = an (n)(n1) an2 [ (n2)2 n2 ] = an2 [2 (2n2) ] =

22 an2 (n1) =

an2 = 22 n an xn4 ) an4 [ (n4)(n5) + (n4) n2 ] = an2 (n2)(n3)

an4 [ (n4)2 n2 ] = an4 [ 4 (2n4) ] =

23 an4 (n2) =

an4 = 23 (n3) an2 xn2k ) an2k [ (n2k)(n2k1) + (n2k) n2 ] = an2k+2 (n2k+2)(n2k+1) an2k [ (n2k)2 n2 ] = an2k [4k (nk) ] =
22 k an2k (nk) =

an2k = 22 an2k+2

(n 2k + 2)(n 2k + 1) k (n k )

an2k+2 = 22 an2k

k (n k ) (n 2k + 2)(n 2k + 1) k ( n + k 2) n (n 1)

an = 22 an2 Por Fuchs tiene que dar el mismo resultado

Ck =

C k - 2 (k - 1 - ) (k - 1 + ) k (k + 1 )

5.- FUNCION GENERATRIZ

Se puede formar una funcin generatriz para cada tipo de los Polinomios de Tchebychev.
1 T0 + 2

n Tn = n Vn =

1 +

1 2

1 2 1 + 2 2 .x 1
2

1 + 2 .x

a partir de 1 1 1 + z + z2 + z3 + ... + zn + ... = + 2 2 1 z Tomando z = e i()

| z |<1

1 + e i () + 2 e i 2 () + 3 e i 3 () + ... + n e i n () + ... = 2 1 1 + = 2 1 e i ( ) = 1 e i ( ) 1 + 2 (1 e i ( ) )(1 e i ( ) ) 1 cos( ) + .sin ( ) 1 + 2 1 + 2 2 cos( )

= =

1 1 2 + i 2.sin ( ) 2 1 + 2 2 cos( )

Separando la parte Real e Imaginaria se obtienen las 2 funciones generatrices. La parte Real es: 1 1 + cos() + 2 cos 2() + 3 cos 3() + ... + n cos n() + ... = 2 2 1 T0 + 2 1 2 1 + 2 2 cos( )

n Tn =

1 2

1 2 1 + 2 2.x

La parte Imaginaria es: sin() + 2 sin 2() + 3 sin 3() + ... + n sin n() + ... = .sin ( ) 1 + 2 cos( )
2

sin (n + 1) ( - ) sin ( - ) 1 1 + 2.x

2

1 1 + 2 cos( )
2

n Vn =

6.- PROPIEDADES SEGUNDA PARTE 6.1.- RAICES DE LA ECUACION 6.1.1.- CASO |c| < 1 Tn(x) = c

Para este caso

Tn(x) = c

|c| < 1 existen n races reales que se obtienen a continuacin:

cos(n Arc cos(x)) = c Definiendo: := Arccos(c) cos = c + 2 k n De aqu las n races + 2 k 2k 2k ) = cos( ) cos( ) + sin( ) sin( ) n n n n n

Arc cos(x) =

x = cos(

6.1.2.- CASO | c | > 1 6.1.2.1.- RACES POSITIVAS DEL CASO c>1

Se estudiarn las races positivas para el caso c > 1. Se ver que existe por 1 sola raz real positiva.
Tn(x) = c

ch(n Arg ch(x)) = c w = Arg ch(x) x = ch(w) 1 x = ( ew + ew ) 2 0 = e2w 2xew +1 ew = x x 2 1 w =L( x x 2 1 ) c = ch(y) y =L( c c 2 1 )
n Arg ch(x) = y 1 Arg ch(x) = L( c c 2 1 ) n

= L( c c 2 1 )1/n L( x x 2 1 ) = L( c c 2 1 )1/n ( x x 2 1 ) = ( c c 2 1 )1/n

( x + x 2 1 ) = ( c + c 2 1 )1/n ( x x 2 1 ) = ( c c 2 1 )1/n 2 x = ( c + c 2 1 )1/ n + ( c c 2 1 )1/ n

x =

1 [( c + c 2 1 )1/ n + ( c c 2 1 )1/ n ] 2
6.1.2.2.- RACES POSITIVAS Y NEGATIVAS EN EL CASO GENERAL | c | > 1

Como se ha visto en el caso c > 1 existe por 1 sola raz real positiva.
x =

1 [( c + c 2 1 )1/ n + ( c c 2 1 )1/ n ] 2

A partir de la paridad de los polinomios Tn se analiza la existencia de los otros casos, con las soguientes conclusiones:

Caso Paridad
c>1 c < 1 nPar nImpar nPar nImpar

Races positivas
x x / /

Races negativas
x / / x

6.1.2.3.- CAMBIO DE ESCALA PARA LIMITAR LA AMPLITUD DE UN POLINOMIO DE TCHEBYCHEV

Se plantea el problema de que por medio de un cambio de escala encontrar un intervalo [ ] para que un polinomio de Tchebychev este limitado por una cota dada.

1 x) 1 Por ejemplo obtener un polinomio Q5 (x) = limitado por = 0.1 1 c T5 ( ) Es un Polinomio que vale Q5 (1) = 1 y se desea determinar el intervalo x [ ] para que est acotado T5 (
por

1 = 0.1 c

para x =

Q5() =

T5 ( 1 ) 1 1 = = ; 1 1 10 T5 ( ) T5 ( )

Q5() = 0.1 ;

Q5(

1 )=1

1 1 [( c + c 2 1 )1/n + ( c c 2 1 )1/n ] = 2 1 1 [( 10 + 10 2 1 )1/5 + ( 10 10 2 1 )1/5 ] = 1.195 = 2 = 0.837

6.2.- PROPIEDAD FUNDAMENTAL DE LOS POLINOMIOS DE TCHEBYCHEV 6.2.1.- PRESENTACION I

Los Polinomios de Tchebychev dan una mejor aproximacin a un segmento de recta, en el sentido de que los valores absolutos de sus extremos son menores o iguales a los de cualquier otro polinomio con el mismo primer coeficiente an = 2n1

H.-

En := { Pn(x) =

k =0

ak xk : an =2n1

x [1 1] }

sup|Pn(x)| sup|Tn(x)|

D.- Los Polinomios de Tchebychev pertenecen al Conjunto En, pues cumplen con las condiciones previstas.
Tn (x) En Los puntos extremantes de | Tn (x) | se calculan: nsin (n) Tn(x) = [cos n] = sin n = 0 = 0 sin La cantidad de puntos extremantes en x [1 1] es n+1 (n1 extremos relativos y 2 extremos en 1 y 1) n k = k k k = n xk = cos( k ) n para k < 0 , n >

Los extremos son : Tn(xk) = (1)k | Tn (x) | = 1 Eligiendo cualquier Polinomio Qn de grado n perteneciente al Conjunto En , es decir con las dos condiciones: an =2n1 ; x [1 1] Qn En se probar que sup | Qn(x) | sup | Tn(x) | Si se supone lo contrario sup | Qn(x) | < sup | Tn(x) | sup | Tn(x) | sup | Qn(x) | > 0 El Polinomio de la diferencia Dn1(x) = Tn(x) Qn (x)

Dn1(x) es de orden n1 y tiene a lo sumo n1 races reales. Por otro lado sup | Dn1(x) | = sup | Tn(x) Qn(x) | sup | Tn(x) | sup | Qn(x) | > 0 Por eso se cumple que los signos sg ( Dn1(xk) ) = sg ( Tn(xk) ) Recordando que sg ( Tn(xk) ) = (1)k para k < 0 , n >

Entonces Dn1 cambia de signo por lo menos n+1 veces y por lo tanto tendra n races, lo cual es absurdo. Resulta vlida entonces la Tesis: sup | Qn(x) | sup | Tn(x) |

6.2.2.- PRESENTACION II
Los Polinomios de Tchebychev dan una mejor aproximacin a un segmento de recta, en el sentido de que sus extremos en modulo son menores o iguales a los de cualquier otro polinomio con las siguientes condiciones:

H.-

En:= { Pn(x) =

k =0

ak xk

nImpar PnImpar nPar Pn(1) = 1

PnPar

Pn(1) =( 1)n

zi { Pn(zi) = 0}

i<1 n>

zi [1 1]

sup|Pn(x)| sup|Tn(x)|

En: Conjunto de Polinomios donde se analiza la mejor aproximacin a un segmento de recta en un intervalo Dado [1 1] Pn(x) : Polinomio genrico de En zi : Races del Polinomio de Pn(x) Tn(x) : Polinomio de Tchebychev

D.- En primer trmino los polinomios de Tchebychev verifican la pertenencia al conjunto En. Sean wj { Tn(wj) = 0} los ceros de los polinomios de Tchebychev, se define entonces: zp := Max(zi , Pn) wt := Max(wi ,Tn)
Construyendo el polinomio Qn (x), este pertenece al conjunto P

Tn (
Qn (x) :=

wt x) zp wt ) zp

Tn (

Sea M:= Sup Qn en [zp zp] Sea Mp := Sup Pn donde Pn es un Polinomio genrico de P. Se demostrar entonces que M Mp en [zp zp]. Es decir que M es el menor de todos los posibles Mp en [zp zp]. Supongamos lo contrario M > Mp El Polinomio D = Qn(x) Pn (x) Tiene por ceros a x=1 x= 1 x= zp zp i ) cos( ) para i<2 , n1> . Para Qn(xi) es alternativamente igual a M Tomando los valores xi = ( wt n
Qn(xi) = M D(xi) = M Pn(xi) Como M > Mp entonces sg[D(xi)] = sg [Qn(xi)] D(xi) cambia de signo n 2 veces luego por esta razn tiene n 2 races. Como adems tiene por ceros a tiene entonces n2+3 = n+1 races x=1 x= 1 x= zp Esto es absurdo porque D tiene a lo sumo n races. Entonces por absurdo M Mp

9.3.- UN TEOREMA SOBRE MAXIMOS Y MINIMOS. APLICACIN A LOS POLINOMIOS DE TCHEBYCHEV.

El siguiente teorema presenta condiciones suficientes sobre la constancia de los mximos y mnimos de algunos polinomios, y en particular es aplicable a los Polinomios de Tchebychev.

T.- Teorema de Zonin-Polya H1.H2.H3.D.(p y ) + P y = 0 pP = Cte

= Cte

[ y = 0 max | y | = Cte ]

= y2 +

1 (p y) 2 pP

Derivando teniendo en cuenta que p P = Cte 1 2 (p y ) (p y ) pP

= 2 y y +

reemplazando el ultimo parntesis a partir de la Primera Ecuacin Diferencial 1 2 (p y ) (P y) pP = 2yy' 2yy' = 2 y y' + =0

= Cte
Aplicando estos resultados a los puntos extremantes donde y= 0 se obtiene un teorema de Zonin-Polya

= Cte = y2 + = Cte = y2

1 (p y )2 pP

por lo tanto max | y | = Cte Este teorema se puede aplicar a la ecuacin diferencial de Tchebychev. (1x2) y x y + n2 y = 0 (1x2)1/2 y x (1 x 2 )1 / 2 n2 (1 x 2 )1 / 2 n2 (1 x 2 )1 / 2 y + n2 (1 x 2 )1 / 2 y =0 y =0

[(1x2)1/2 y ] + p P = (1x2)1/2 p P = Cte

Se est en las condiciones del teorema de Zonin-Polya, por lo tanto los max | y | son todos iguales.

7.- LOS POLINOMIOS DE TCHEBYCHEV COMO POLINOMIOS ORTOGONALES 7.1.- EL PROBLEMA DE STURM-LIOUVILLE
El estudio de la ortogonalidad de los Polinomio y Funciones de Tchebychev se puede hacer por medio del planteo de Sturm-Liouville

7.1.1.- FORMA AUTOADJUNTA DE STURM-LIOUVILLE

A partir de la ED de Tchebychev: (1x2) y" x y' + y = 0 Se puede escribir: (1x2)1/2 y" x (1 x )
2 1/ 2

y' +

1 (1 x 2 )1 / 2

y=0

Lo que lleva a una ED de forma autoadjunta de SL [(1x2)1/2 y] + 1 (1 x 2 )1 / 2 y=0

Con r = (1 x 2 )1 / 2 1 p = (1 x 2 )1 / 2 q=0

7.1.2.- PROBLEMAS DE STURM-LIOUVILLE 7.1.2.1.- PROBLEMA I H1 [(1x2)1/2 y] + H2 x [1 , 1] 1 ( 1 x 2 )1 / 2 y=0

7.2.- NORMAS DE LOS POLINOMIOS DE TCHEBYCHEV

Las normas de Polinomios de Tchebychev son:

T.- H) Def Tn

n>0

H) Def Vn

|| T0(x) || = || Tn(x) || = 2 || Vn(x) || = 2

D.- Verificando la ortogonalidad

Tm ( x ) Tn ( x ) (1 x )
2 1/ 2

dx dx

= =

cos m cos n d = 0 sin(m+1) sin(n+1) d = 0

m n m n

(1x2)1/2 Vm(x) Vn(x)

1 2

1 (1 x 2 )1 / 2

dx

= 1

Tn 2 ( x ) (1 x )
2 1/ 2

dx dx

= =

2 2

cos2n d

= 1

(1x2)1/2 Vn2(x)

sin2(n+1) d = 1

7.3.- LOS POLINOMIOS DE TCHEBYCHEV COMO SISTEMA ORTONORMADOS

Los Polinomios de Tchebychev conforman 2 Sistemas Ortonormados en el intervalo [1 1] con respecto a los 1 para Tn y p(x) = (1x2)1/2 para Vn(x) respectivos ncleos p(x) = (1 x 2 )1 / 2
T.- H) Def Tn H) Def Vn {

T0 ( x )
1/ 2

; {

2 1 / 2 Tn ( x )
1/ 2

} SON / p =

1 (1 x 2 )1 / 2

; [1 1]

21 / 2

1/ 2

Vn } SON / p = (1x2)1/2 ; [1 1]

Obs. Se podra haber presentado tambin el Sistema Ortonormalizado respecto del ncleo p(x) = 1 de la siguiente forma: T.- H) Def Tn H) Def Vn { {

T0 ( x )

1 / 2 ( 1 x 2 )1 / 4

2 1 / 2 Tn ( x )

1 / 2 ( 1 x 2 )1 / 4

} SON

21 / 2

1/ 2

(1x2)1/4 Vn } SON

8.- APLICACIONES MATEMTICAS Y FSICAS 8.1.- APLICACIONES MATEMTICAS 8.1.1.- MEJOR ELECCION DE LAS ABSCISAS DE INTERPOLACIN DE LA FORMULA DE LAGRANGE

Se analizar como aplicacin de los Polinomios de Tchebychev para la mejor eleccin de de las abscisas de construccin de los polinomios de Lagrange de manera tal que la aproximacin de una funcin | f(x) L(x) | sea lo ms pequea posible.

8.1.1.1.- FORMULA DE LAGRANGE

Se recuerda la frmula de Lagrange para construccin de Polinomios por n+1 puntos, que pueden ser empleados para aproximar funciones (interpolacin o extrapolacin de funciones)
4.- FORMULA DE LAGRANGE 4.1.- POLINOMIO DE LAGRANGE POR n+1 PUNTOS. La frmula de Lagrange es una forma de hallar un polinomio por n+1 puntos dados, todos de abscisas diferentes entre si { (x0 y0) (x1 y1) (x2 y2) (x3 y3 ) ... (xi 1 yi1 ) (xi yi ) ... (xn yn) } Se puede elegir sin prdida de generalidad 4.1.1.- POLINOMIOS DE Li(x) La construccin de Lagrange se basa en la definicin de n+1 polinomios de grado n Li(x):= x0 < x1 < x2 < x3 < ... < xi 1 < xi < ... < xn

(x x 0 ) (x x 1 ) (x x 2 ) ( x x i 1 ) ( x x i +1 ) (x x n ) ... ... = (x i x 0 ) (x i x1 ) (x i x 2 ) ( x i x i 1 ) ( x i x i +1 ) (x i x n )
Y de aqu se obtiene el polinomio llamado frmula de Lagrange

k =0 k i

(x x k ) (x i x k )

L(x) :=

k =0

yi Li (x)

L(x) : Polinomio de Lagrange Que como se ver satisface el problema planteado

4.1.2.- PROPIEDADES DE LOS POLINOMIOS DE Li(x) T.x0 < x1 < x2 < ... < xn i (xi yi ) Pn(x) = a0 + a1 x + a2 x2 + a3 x3 + ... + an xn Def. Li (x)

0 Li (xk) = i k = 1
{ Li (x) } li
n

En+1 = { Pn(x) } ki

k=i

{ Li (x) } Base/En+1 L(x) : =

k =0

yi Li (x) nico

L(xi) = yi D.Por su construccin se induce directamente

0 Li (xk) = i k = 1

ki k=i

Los n+1 polinomios Li (x) son li pues planteando la combinacin lineal:

0 L0 (x) + 1 L1 (x) + ... + n Ln (x) = 0 i 0 L0 (xi) + 1 L1 (xi) + ... + n Ln(xi) = 0

Como Li (xk) = i k se implica

i Li (xi) = 0
En+1.

i = 0 { Li (x) } li

La cantidad de polinomios linealmente independientes { Li (x) } es n+1 y por lo tanto conforman una base de El polinomio de coordenadas { yi }

L(x) : =

k =0

yi Li (x) nico

Y satisface L(xi) = yi Lo cual resuelve el problema de construir un polinomio por n+1 de abscisas diferentes .

4.1.3.- COTA DEL ERROR DEL POLINOMIOS DE LAGRANGE Cuando se desea aproximar una funcin real en un determinado intervalo [a b] por un polinomio, con el objeto de interpolar o extrapolar valores, se puede hacer por la frmula de Lagrange. Para ello conviene dar una Cota del error:

T.-

f: [a b] R R fCn+1 a x0 < x1 < x2 < ... < xn b i (xi ; yi = f(xi) ) Def. L(x) [x0 xn]: f(x) L(x) =

1 (x x0) (x x1) ... (x xn) f(n+1)() (n + 1)!

| f(x) L(x) | D.La funcin f L cumple

1 | (x x0) (x x1) ... (x xn) | supx[a b] | f(n+1)(x) | (n + 1)!

i f(xi) L(xi) = 0
f(x) L(x) Cn+1 Se construyen las funciones g y h

g(x) =

f ( x ) L( x ) ( x x 0 )( x x 1 )...( x x n )

x [a b] {xi} t [a b]

h(t) = f(t) L(t) (t x0) (t x1) ... (t xn) g(x)

h(t) se anula en n + 2 puntos, a saber x0 , x1 , x2 , ... , xn , x Por aplicacin sucesiva del teorema de Rolle una funcin de clase C n+1 se anula al menos en n+2 puntos de un intervalo I, entonces la derivada de orden n+1 se anula al menos en un punto de dicho intervalo. Existe entonces

[x0 xn]:

h(n+1)() = 0

Se debe observar que no es necesariamente nico y que depende de x. Calculando h(n+1)(t) h(n+1)(t) = f(n+1)(t) (n+1)! g(x) En particular 0 = h(n+1)() = f(n+1)() (n+1)! g(x)

g(x) =

1 f(n+1)() (n + 1)!
Se deduce entonces

[x0 xn]:

f(x) L(x) =

Como f es de clase Cn+1

1 (x x0) (x x1) ... (x xn) f(n+1)() (n + 1)! sobre [a b] , entonces se puede acotar esta expresin:
supx[a b] | f(n+1)(x) |

| f(x) L(x) | Ejemplo

1 | (x x0) (x x1) ... (x xn) | (n + 1)!

Sea f(x) = ex de clase C

supx[a b] | f(n+1)(x) | = eb Por lo tanto, como

x [a b] | (x x0) (x x1) ... (x xn) | (ba)n+1

| f(x) L(x) |

(b a ) n +1 b e (n + 1)!

Como esta cota no depende de x, demuestra adems la convergencia uniforme de la sucesin {Pn(x)} hacia la funcin f(x) cuando n tiende a . 8.1.1.2.- MEJOR ELECCION DE LAS ABSCISAS LA FORMULA DE LAGRANGE

Como se ha visto se puede aproximar una | f(x) L(x) | 1 | (x x0) (x x1) ... (x xn) | (n + 1)!

fCn+1 en un intervalo x[a b]

con una cota de error :

supx[a b] | f(n+1)(x) |

El problema se reduce a elegir un conjunto de n+1 abscisas a x0 < x1 < x2 < ... < xn b de manera tal que para cualquier polimomio QEn+1 / an+1 = 1 supx[a b] | (x x0)(x x1) ... (x xn)| supx[a b] |Q(x)|
[a b]

sin prdida de generalidad se puede tomar como intervalo a [1 1] al cual siempre se puede llevar el intervalo por un cambio de escala.

Se demostrar que la eleccin de los ceros xk = zk del Polinomio Tn+1 optimiza la cota del error

T.- x[1 ; 1] zk = cos ( 2 k + 1 )

( n + 1 )2

k<0..n > QEn+1 / an+1= 1 supx[1 ; 1] |(x x0)(x x1) ... (x

xn)| supx[1 ; 1]|Q(x)|

D.- Sean Wn los Polinomios de Tchebychev modificados dividiendo Tn por el coeficiente 2n-1 1 1 Wn := n 1 Tn Wn+1 := n Tn+1 2 2

Los ceros de Wn+1 son los mismos ceros de Tn+1 ( 2 k + 1 ) Wn+1(zk) = 0 zk = cos ( n + 1 )2 Por lo tanto Wn+1(zk) = (x z0)(x z1) ... (x zn) Para el intervalo x[1 ; 1] se los polinomios de Tchebychev cumplen: k Tn+1(x) ek = cos k<0 .. n+1 > n+2 puntos extremantes de Tn+1 (n+1)
extremosx[1 ; 1] | Tn+1(ek)| = (1 )k supx[1 ; 1] | Tn+1(ek)| = 1

Asimismo para Wn+1(x) ek = cos

k (n+1)

k<0 .. n+1 >

1 2n

n+2 puntos extremantes de Wn+1

extremosx[1 ; 1] | Tn+1(ek)| = (1 )k supx[1 ; 1] | Wn+1(ek)| =

1 2n

Suponiendo que existiera un Polinomio 1 QEn+1 : supx[1 ; 1] | Q(x)| < n 2 La diferencia entre los polinomios Q Wn+1 es un polinomio de grado n Dn = Q Wn+1 En En los n+2 valores extremantes Dn cumplira 1 Dn(ek) = (Q Wn+1 ) (ek) = Q(ek) (1 )k n 2 Que sera n+2 valores alternativamente estrictamente positivos y negativos Esto lleva a que el polinomio Dn siendo una funcin continua admita por lo menos n+1 ceros , que implica como nica posiblidad que Dn sea el polinomio nulo Dn(x) 0

se llega al absurdo 1 1 supx[1 ; 1] | Q(x)| < n supx[1 ; 1] | W n+1(x)| = supx[1 ; 1] | Q(x)| = n 2 2 Conclusin 1 supx[1 ; 1] | Q(x)| n = supx[1 ; 1] | W n+1(x)| 2
8.2.- APLICACIONES FSICAS

Q Wn+1

Sea un modelo de un fenmeno cuyas variaciones pueden ser representadas por variaciones de un polinomio. Si se desea que estas variaciones sean acotadas (inferiores o iguales a un lmite dado) en un intervalo dado , y al contrario rpidamente crecientes en el exterior de dicho intervalo, ser conveniente usar en el modelo un polinomio de Tchebychev.

8.2.1.- RADIACIN DE ANTENAS EN SERIE

Sea un conjunto de n ( nmero par) antenas electromagnticas alineadas separadas una de otra por una distancia d. Cada una de ellas est alimentada por las corrientes i0 i1 i2 i3 ... in con una condicin de simetra ik = in-k La fase de las corrientes crece en progresin geomtrica hasta las antenas centrales ik-1 = ik ej

Se desea encontrar el campo (la radiacin) producido por las antenas en la direccin en un plano normal al de la red de antenas Resumen: n: Cantidad de antenas de la red lineal (n es par) ik : Corriente que alimenta la antena k ik = in-k : condicin de simetra de la red ik-1 = ik ej : condicin de desfasaje de las corrientes : ngulo de desfasaje entre las corrientes : ngulo de direccin de la radiacin en el plano normal al de las antenas Pn1 : campo producido por la red de antenas : : 2d cos Sea := El campo es igual al producido por una de las antenas aisladas recorrida por una corriente cualquiera multiplicada por el polinomio
Pn1 := a0 + a1 z + a2 z2 + ... + an1 zn 1

Con
a k i k j k = e a 0 i0

z = ej Si interesan solo las amplitudes pares basta considerar el mdulo de Pn1(z) para n par | Pn1(cos

) | = 2 | a0 cos(n 1) + a1 cos(n 3) + ... + a(n/2) 1 cos | 2 2 2 2 y recordando que cos(k ) = Tk(cos ) 2 2 2

Desarrollando este polinomio en potencias de cos

Pn1(cos ) = 2

Tn 1 (

1 cos ) 2 1 Tn 1 ( )

Los extremos del mdulo de la radiacin (lbuloprincipal) sup | Pn1(cos

)|=1 2

En los restantes extremos relativos (lbulos secundarios) 1 | Pn1(cos ) | = 1 2 Tn 1 ( ) Representando la radiacin en funcin de se tiene una figura del tipo siguiente donde los extremos de 1 | Pn1(cos ) | representan los extremos de los lbulos primarios (max =1 ) y secundarios ( = ) 1 2 Tn 1 ( )

Si se desea fijar el lmite de los lbulos secundarios basta fijar y por lo tanto los coeficientes n que consiguientemente dan las relaciones de corrientes en cada antena.

La apertura del lbulo es = cos 2( n 1 ) y es la menor posible Si por otro lado se parte de una apertura, esto determina y por consiguiente el nivel de corrientes. El nivel de los lbulos entonces el ms bajo posible.
Ejemplo: Sea una red de 6 antenas (dipolos) n = 6 cantidad de antenas o dipolos =0 distancia entre antenas d= 2 I1 I2 Se desea determinar la relaciones de modo que las relaciones de lbulo principal y secundarios sea 10. I0 I0

Es decir T5(

1 ) = 10 (Ver ejemplo de cambio de escala para limitar la amplitud de un polinomio de Tchebychev)

1 = 1.195 P5(cos ) = 2 a0 cos 5 + 2 a1 cos 3 + 2 a2 cos 2 2 2 2 = 2 a0 T5(cos ) + 2 a1 T3(cos ) + 2 a2 T1(cos ) 2 2 2 5 3 = 32 a0 cos (40 a0 8 a1 ) cos + (10 a0 6 a1 + 2 a2 ) cos 2 2 2

Se tiene
T5 ( 1 cos ) 2 = 2.907 cos5 2.950 cos3 + 0.597 cos 1 2 2 2 T5 ( )

de donde a0 = 0.0908 a1 = 0.0857 a2 = 0.101 I1 = 0.944 I0

I2 = 1.113 I0

El diagrama de radiacin es de la funcin Q5(x) tomando como variable el ngulo d = cos ( cos ) = cos ( cos ) x = cos 2 2