Series de funciones y series de potencias

Cuando uno piensa en sumas infinitas de números reales, piensa en una serie numérica


a n , donde cada an es un número real. Si reemplazamos cada an por funciones f n ( x ) ,

n =1

se tiene una serie de funciones.


Definición: Una serie de funciones es una serie de la forma  f (x ) , donde cada f (x ) es
n =1
n n

una función. Para cada x , se tiene una serie numérica, que puede converger o no.

Dominio de convergencia: Es el conjunto D formado por todos los valores de x que hacen
 

converger a la serie, es decir, D =  x  R /  f n (x )converge .
 n =1 

Algunas series de funciones pueden ser de la forma:



 2 x sen(nx)
n =1
n

1) .

(3n + 1)e nx


n =1 ( )
n n 2 x
2) .

Es decir, en cada sumando hay funciones de variable x . Uno puede preguntarse:

• ¿Para qué valores de x converge? Esto es preguntarse por el dominio de

convergencia.
• En su dominio de convergencia, ¿qué tipo de convergencia hay?
• ¿Estas series representan funciones ya conocidas?

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 1

Recordar que el concepto de función es que a cada elemento del dominio, le corresponda
un único elemento del codominio. En este sentido, una serie de funciones representa una
función f :

x → f ( x ) =  fn ( x )
n =1

En este gráfico, podemos ver la idea de la convergencia de una serie de funciones. Cada
N
suma parcial  f ( x)
n =1
n representada en color azul, se va aproximando a la función f a

medida que N →  .

Convergencia puntual: Para cada x en el dominio de convergencia, la serie  f ( x)
n =1
n

converge.

Convergencia uniforme: Es un tipo de convergencia más fuerte que la convergencia

puntual. La idea es que los gráficos de las sumas parciales se van a aproximando
homogéneamente al gráfico de la función límite. Esta convergencia es necesaria para
obtener resultados importantes, que solo con la convergencia puntual no alcanza.

El Teorema de Weierstrass asegura este tipo de convergencia.

 
Series mayorables: Son aquellas series  f (x )
n =1
n que verifican f n (x )  an con a
n =1
n

convergente.

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 2

 
Teorema de Weierstrass: Si una serie  f (x ) es mayorable en un intervalo real, entonces
n =1
n

converge absolutamente y uniformemente en ese intervalo.

Recordemos algunos resultados de series numéricas.


Condición necesaria de convergencia: Si a n =1
n converge, entonces limn→ an = 0 .

¡No vale la afirmación recíproca!

El contrarrecíproco es de utilidad:

Si limn→ an  0 o no existe, entonces an =1
n no converge.


Series geométricas: Son de la forma q
n=0
n
, con q  0;1; −1 . Se sabe que la serie geométrica

converge si y solo si q < 1.

1
En tal caso, el valor de la serie es .
1− q

1
Series p: Son de la forma n
n =1
p
. Se sabe que convergen si y solo si p > 1.


ln ( an + b )
Series parecidas a series p: Son de la forma 
n =1 np
, con a  0 y b  0 . Se sabe que

convergen si y solo si p > 1.

Criterio de comparación por cocientes: Sean (an ) y ( bn ) dos sucesiones de términos

 
an
positivos tales que limn→
bn
 0;  . Luego,  an converge si y solo si
n =1
b
n =1
n converge.

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 3

Criterio del cociente de D´Alembert: Consideremos (an ) una sucesión de términos
an +1
positivos. Sea L = limn→ .
an

• Si L < 1, entonces a
n =1
n converge.

• Si L > 1, entonces a
n =1
n diverge.

Criterio de la raíz de Cauchy: Consideremos (an ) una sucesión de términos positivos. Sea

L = limn→ ( an ) .
1/n


• Si L < 1, entonces a
n =1
n converge.

• Si L > 1, entonces a
n =1
n diverge.

Nota: Se puede ver que si el límite de la hipótesis del criterio de D´Alembert existe, entonces
también existe el límite de la hipótesis del criterio de Cauchy y coinciden.

Convergencia absoluta: Es cuando a
n =1
n converge.

 
Convergencia condicional: Es cuando  an diverge y
n =1
a
n =1
n converge.

Observación: La convergencia absoluta implica la convergencia condicional.

Criterio de Leibniz para series alternadas: Sea (an ) una sucesión de términos positivos.
Supongamos que se verifican las siguientes hipótesis.

• limn→ an = 0 .
• (an ) es una sucesión decreciente.


 ( −1)
n
Luego, an converge.
n =1

Este repaso de series numéricas es de utilidad para el análisis de posteriores series, tanto a
nivel teórico como práctico. Por ejemplo, para analizar la convergencia en los bordes de
una serie de potencias.

Ahora veamos el concepto de serie de potencias.

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 4

 
Definición: Una serie de potencias es una serie de la forma  an x n , donde (an ) es una
n =0

sucesión de números reales.

El concepto de radio de convergencia es fundamental para calcular el dominio de

convergencia.

Radio de convergencia: Se calcula mediante la siguiente fórmula (considerando el concepto

de límite).

1 1
R= =
an +1 imn→ n an
imn→
an

Considerando el concepto de límite cuando el límite del denominador es 0 , el radio es 

y viceversa.

Intervalo de convergencia: Es el intervalo (− R, R ) .

En el intervalo de convergencia, la serie de potencias converge absolutamente. En

intervalos cerrados contenidos en el intervalo de convergencia, la convergencia es
uniforme.

Dominio de convergencia: Es una de las cuatro combinaciones posibles entre

(− R, R ); − R, R ; − R, R ); (− R, R  .
En cada caso hay que estudiar el comportamiento de las series numéricas en los bordes
x = R; x = − R . Aquí se aplica lo mencionado anteriormente acerca de los criterios de
convergencia para series numéricas.

Ejemplos: Calcular el radio de convergencia de las siguientes series de potencias. Analizar

la convergencia en los bordes del intervalo de convergencia.



n =0
xn
1)

1
 nx
n =1
n

2)

1
 n!x
n =0
n

3)

1
 xn
4) n=0 n +2
2

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 5

Veamos el desarrollo de los ejemplos.

an +1
Ejemplo 1: Notemos que an = 1 . Esto implica que an +1 = 1 . Luego, = 1 , que
an
tiende a 1 cuando n →  .

Como el radio de convergencia es el inverso multiplicativo del límite anterior, se tiene

que R = 1 .

Analicemos los bordes.


x = 1 : En este borde resulta la serie numérica 1 que es divergente por no cumplir
n =0

la condición necesaria.


 ( −1)
n
x = −1 : En este borde resulta la serie numérica que es divergente por no
n =0

cumplir la condición necesaria.

Finalmente, el dominio de convergencia es ( −1,1) .

1 1 a n
Ejemplo 2: Notemos que an = . Esto implica que an +1 = . Luego n +1 = ,
n n +1 an n +1
que tiende a 1 cuando n →  .

Como el radio de convergencia es el inverso multiplicativo del límite anterior, se tiene

que R = 1 .

Analicemos los bordes.


1
x = 1 : En este borde resulta la serie numérica n
n =0
que es divergente por ser una

serie p con p = 1.

1
 ( −1)
n
x = −1 : En este borde resulta la serie numérica que es convergente por el
n =0 n
criterio de Leibniz.

Finalmente, el dominio de convergencia es  −1,1) .

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 6

Notar que en x = −1 la convergencia es condicional (el análisis en x = 1 ya garantiza
que no hay convergencia absoluta), mientras que en ( −1,1) la convergencia es
absoluta (resultado teórico de radio de convergencia).

1 1 1
Ejemplo 3: Notemos que an = . Esto implica que an +1 = = . Luego
n! ( n + 1)! ( n + 1) n !
an +1 1
= , que tiende a 0 cuando n →  .
an n +1

Como el radio de convergencia es el inverso multiplicativo del límite anterior

(considerando el concepto de límite), se tiene que R = + .

En este caso no hay bordes que analizar, ya que el dominio de convergencia es toda

1
la recta real, es decir,  n!x
n =0
n
converge (absolutamente) para todo x  R .

1
Ejemplo 4: Notemos que an = . Esto implica que
n +2
2

1 1 an +1 n 2 + 2n + 3
an +1 = = . Luego = , que tiende a 1
( n + 1)
2
+2 n 2 + 2n + 3 an n2 + 2

cuando n →  .

Como el radio de convergencia es el inverso multiplicativo del límite anterior, se tiene

que R = 1 .

Analicemos los bordes.


1
x = 1 : En este borde resulta la serie numérica  , que es divergente por el
n =0 n +2
2

1
criterio de comparación por cocientes, considerando bn = y aplicando resultado
n
para series p.

1
 ( −1)
n
x = −1 : En este borde resulta la serie numérica , que es convergente
n =0 n +2
2

por el criterio de Leibniz.

Finalmente, el dominio de convergencia es  −1,1) .

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 7

 Notar que en x = −1 la convergencia es condicional (el análisis en x = 1 ya garantiza
que no hay convergencia absoluta), mientras que en ( −1,1) la convergencia es
absoluta (resultado teórico de radio de convergencia).

Las series de potencias son de gran utilidad en general. Representan funciones que tal vez
no pueden expresarse mediante una sola fórmula pero que, sin embargo, son de gran
interés para otras áreas de la matemática y para algunas aplicaciones a la física.

Por otro lado, se puede ver que hay ciertas funciones conocidas que se representan
mediante series de potencias. Veremos en la cursada resultados como estos:

1 n
• ex =  .x
n =0 n !

1
• sin( x) =  .x 2 n +1
n = 0 ( 2n + 1) !

1
• cos( x) =  .x 2 n
n = 0 ( 2n ) !

Al sumar una cantidad finita de términos, podemos obtener una buena aproximación de
exponenciales y trigonométricas. Si x es un número racional, cada sumando es un número
racional y, por lo tanto, se puede calcular la aproximación antes mencionada de forma
precisa y rápida.

© Universidad de Palermo. Prohibida la reproducción total o parcial de imágenes y textos. 8