Series de Taylor

Introducción
Recordemos que, en matemáticas, un anillo es una estructura algebraica que consiste
en un conjunto no vacío junto con dos operaciones binarias, la suma y la
multiplicación, que satisfacen ciertas propiedades específicas.

Formalmente, un anillo es un conjunto junto con dos operaciones, usualmente

denotadas como «+» y «·», que satisfacen las propiedades de clausura, asociatividad,
elemento neutro para la suma, elemento inverso para la suma; la multiplicación
distribuye respecto de la suma. Los anillos son estructuras fundamentales en álgebra
abstracta y tienen numerosas aplicaciones en matemáticas y ciencias, incluyendo la
teoría de números, geometría algebraica, teoría de cuerpos y álgebra lineal, entre
otros.

De este modo, el anillo de series de potencias es una estructura algebraica importante

en matemáticas que consiste en un conjunto de expresiones que se pueden
representar como series infinitas de potencias de una variable. Este conjunto tiene
ciertas propiedades que lo hacen interesante y útil en diversos campos del análisis y
la matemática en general. Si fijamos a como la variable, y hacemos que cada
, es decir, son coeficientes que pertenecen al cuerpo de los números reales,
entonces, un anillo de series de potencias sobre el cuerpo es un conjunto de

expresiones de la forma .

Este conjunto de series de potencias forma un anillo, lo que significa que es un

conjunto cerrado bajo la suma y la multiplicación de series. Es decir, si tenemos dos
series de potencias, su suma y su producto también son series de potencias. Además,
la serie de potencias nula (todas las constantes son iguales a cero) y la serie
constante igual a 1 (todas las y el resto son constantes nulas) son elementos
neutros para la suma y el producto, respectivamente. El anillo de series de potencias
tiene diversas aplicaciones en matemáticas y ciencias. En esta lectura, daremos un
ejemplo de cómo las series de potencias formales pueden ayudar a encontrar una
fórmula explícita para la sucesión de Fibonacci.

1_ Caso

Supongamos que es la función generadora de la

sucesión de Fibonacci. ¿Es posible encontrar una fórmula explícita para la función
? ¿Qué relación existe entre la función explícita y la sucesión de Fibonacci?
¿Aporta esta función explícita alguna forma de computar explícitamente a la sucesión
de Fibonacci?

Definición

Supongamos que y son series de

potencias. Entonces, definimos la suma de las series mediante

y definimos el producto del escalar por una serie mediante .

Comentario
Si por un momento no nos preocupamos por la convergencia de las series, podemos
notar que el conjunto de series de potencias es un espacio vectorial, dado que
satisface las propiedades fundamentales de un espacio vectorial. Recordemos que un
espacio vectorial es un conjunto de elementos sobre un cuerpo numérico (en nuestro
caso, ). Este conjunto es cerrado bajo la suma, cerrado bajo la multiplicación por un
escalar; además, presenta asociatividad de la suma, conmutatividad de la suma,
existencia de un elemento neutro aditivo y existencia de un inverso aditivo.

Te invitamos a que verifiques manualmente estas propiedades y que concluyas que

son satisfechas por el conjunto de series de potencias. Por lo tanto, formalmente, el
conjunto de series de potencias es un espacio vectorial, debido a que cumple con
todas las propiedades necesarias para ser considerado como tal. Este espacio
vectorial es ampliamente utilizado en matemáticas y ciencias para representar
funciones mediante series infinitas.

La estructura matemática del conjunto de series de potencias es mucho más rica

cuando introducimos una operación más. Esta operación es idéntica a la operación de
productos de polinomios que solemos aprender en los cursos escolares.

Definición

Supongamos que son series de potencias.

Entonces, definimos la multiplicación entre las series como una nueva serie de

potencias dada por , donde .

Comentario
Cuando multiplicamos dos series de potencias, el resultado también es una serie de
potencias. De este modo, podemos notar que, si no estamos interesados en la
convergencia, entonces, el conjunto de series de potencias es un anillo. En otras
palabras, el conjunto de series de potencias también forma un anillo, debido a que
satisface las condiciones necesarias para ser considerado como tal. Recordemos que
un anillo es una estructura algebraica que consta de un conjunto y dos operaciones
binarias: una suma y una multiplicación interna. En nuestro caso, ya la suma fue
definida previamente y el producto es precisamente la anterior definición. Ahora bien,
para que un conjunto sea un anillo, debe ser cerrado bajo la suma, cerrado bajo la
multiplicación interna, tener conmutatividad de la suma, asociatividad de la suma,
existencia de un elemento neutro aditivo, existencia del inverso aditivo, asociatividad
de la multiplicación y distributividad de la multiplicación respecto a la suma. Te
invitamos a que verifiques que estas propiedades se cumplen. Así, las series de
potencias cumplen con todas estas propiedades, lo que las convierte en un anillo.

Así pues, el conjunto de series de potencias es un espacio vectorial cuando lo

estudiamos con la suma y producto por escalar, y es un anillo cuando lo estudiamos
con la operación suma y producto de series. Estas dos estructuras matemáticas
permiten manipular formalmente al conjunto con una gran riqueza operativa.

Por último, podemos preguntarnos si existe la posibilidad de que haya alguna

operación de división en el conjunto de las series. En este sentido, podemos pensar
en que, si tenemos dos series, y , la pregunta se reduce a saber si existe una serie
que satisface .

Como ya conocemos la definición de , entonces, podremos encontrar

relaciones recursivas entre los coeficientes de la serie y de .
Presentamos esta idea en la siguiente definición.

Definición
Supongamos que son series de potencias.

Entonces, definimos la serie como el cociente de las series y

como la serie que satisface las siguientes relaciones recursivas

Comentario

Es importante que mencionemos que la división de series de potencias puede no ser

siempre directa o posible. Algunas funciones pueden ser difíciles de representar
mediante una serie de potencias y, por lo tanto, su división puede ser complicada o
incluso no tener una representación finita como serie de potencias. Esto es, la división
de series de potencias es una operación matemática que nos permite dividir dos
funciones representadas mediante series de potencias. Sin embargo, esta operación
puede ser compleja y requerir técnicas adicionales para obtener un resultado válido.

Cerramos esta parte de la lectura invitándote a revisar los ejemplos desarrollados en

la bibliografía.

Ahora, nos abocaremos a la solución del caso propuesto anteriormente y veremos

cómo las series de potencias son una herramienta potente cuando tratamos a las
series de manera formal.

Ejemplo
Supongamos que es la función generadora de la
sucesión de Fibonacci. Entonces, debemos adaptar la definición de la sucesión de
Fibonacci como sigue: para cada .

Reemplazando, en los casos de , obtenemos que .

Si reemplazamos la parte de la recursión, vamos a obtener que

Distribuyendo a cada , tenemos que .

Usamos, a continuación, la estructura de linealidad que posee la sumatoria en las

series, y obtenemos .

Extraemos factores comunes y en ambas series del lado derecho y obtenemos

Ahora, en la primera serie de la igualdad, vamos a completar la función ,

sumando y restando cantidades adecuadas con suma total 0, para no alterar la
igualdad. Notemos que la segunda serie coincide con y obtenemos

.
Distribuyendo la y asociando adecuadamente, obtenemos la siguiente igualdad:

. O, lo que equivalentemente,
.

Despejando a de la anterior ecuación, obtenemos que

De este modo, respondemos a la pregunta: ¿es posible encontrar una fórmula

explícita para la función ?

Para continuar, descomponemos la función en fracciones parciales. Para esto,

notemos que

Ahora bien, si denotamos por vale que

.

Por la técnica de fracciones parciales, vale que existen dos constantes y , tales
que

En esta última igualdad, al realizar la suma de fracciones al lado derecho e igualar los
numeradores, tenemos que .
Expresando el lado derecho como un polinomio lineal e igualando coeficientes con el
polinomio lineal del lado derecho, obtenemos que .

Resolviendo el anterior sistema de ecuaciones lineales, obtenemos

. Por lo tanto, .

Por otro lado, . Usamos la serie geométrica al menos cuando esta

converge, para obtener que .

Aplicando la propiedad distributiva y las leyes de exponentes, vale que

Si aplicamos esta última identidad, obtenemos que

.

Por lo tanto, .

De este modo, podemos notar que, si calculamos la serie de potencia de la función

explícita de , obtenemos en los coeficientes de esta expansión una fórmula
explícita para la sucesión de Fibonacci y respondemos a las preguntas: ¿qué relación
existe entre la función explícita y la sucesión de Fibonacci? ¿Aporta esta función
explícita alguna forma de computar explícitamente a la sucesión de Fibonacci?