EL LGEBRA DE SERIES DE POTENCIA

El teorema 1, que enunciamos sin demostracion, implica que las series de

potencias se pueden sumar y multiplicar de manera muy semejante a los

polinomios .El principio rector es el de agrupar los coeficientes de las

potencias iguales de x.

Teorema 1 Suma y Multiplicacin de series de potencia

Sean a_{n}x y b_{n}x series de potencias con radios de convergencia

distintos de cero. Entonces :

a_{n}x+b_{n}x=(a_{n}+b_{n})x (1)

(a_{n}x)(b_{n}x)=c_{n}x (2)

=ab+(ab+ab)x+(ab+ab+ab)x+...

donde:

c_{n}=ab_{n}+ab_{n-1}+...a_{n-1}b+a_{n}b (3)

Las series de las ecuaciones (1) y (2) converguen para cualquier x

en el interior de los intervalos de convergencia de ambas series

a_{n}x y b_{n}x

Asi, si a_{n}x y b_{n}x son representaciones de series de potencias de

las funciones f(x) y g(x), respectivamente,entonces la serie de potencias

producto c_{n}x que se encuentra mediante una "multiplicacin ordinaria",

agrupando los trminos,es una representacin en serie de potencias de la

funcin producto f(x)g(x) Este hecho tambin se puede utilizar para dividir

una serie de potencias entre otra, siempre que se sepa que el cociente tiene

una representacin en serie de potencias.

EJEMPLO 4 Suponga que la funcin tangente tiene una representacion

en serie de potencias tan x=a_{n} x.Utilice la serie de Maclaurin para

senx y cos x para determinar a,a,a y a.

Solucin: Multiplicamos las series para obtener

senx=tan xcos x

=(a+ax+ax+ax+...)(1-((x)/2)+((x)/(24))-...)

=a+ax+(a-(1/2)a)x+(a-(1/2)a)x+...

pero como

senx=x-(1/6)x+(1/(120))x-...

la comparacin de coeficientes nos da las ecuaciones

a_{n}=0

a=1

-(1/2)a+a=0

-(1/2)a+a=-(1/6)

Despues encontramos que a=0,a=1,a=0 y a=(1/3),de modo que

tan x=x+(1/3)x+...

las cosas no siempre son lo que aparentan al principio.La continuacin

de esta serie de la tangente es

tan x=x+(1/3)x+(2/(15))x+((17)/(315))x+...

Para la forma general del n-simo coeficiente, vase Theory and Application

of Infinite Series , de K.Knopp(Nueva York:Hafner Press, 1971).pg.204.

Puede verificar que los primeros trminos coinciden con el resultado de una

divicion ordinaria :

1-(1/2)x+(1/(24))x-...x-(1/3)