Resumen de las principales características de las series de potencias

A.- Una serie infinita de la forma

∑∞ 𝑛 2 𝑛
𝑛=0 𝑎𝑛 𝑥 = 𝑎0 + 𝑎1 𝑥 + 𝑎2 𝑥 + ⋯ 𝑎𝑛 𝑥 + ⋯ (1)
se llama serie de potencias en 𝑥. La serie
∑∞ 𝑛 2 𝑛
𝑛=0 𝑎𝑛 (𝑥 − 𝑥0 ) = 𝑎0 + 𝑎1 (𝑥 − 𝑥0 ) + 𝑎2 (𝑥 − 𝑥0 ) + ⋯ 𝑎𝑛 (𝑥 − 𝑥0 ) + ⋯ (2)
es una serie de potencias en 𝑥 − 𝑥0 , y es algo más general que (1). Sin embargo, (2) puede
reducirse a (1) sin más que sustituir 𝑥 − 𝑥0 por 𝑥, lo que no es sino una traslación del
sistema de coordenadas, de modo que generalmente nos limitamos a series de potencias
del tipo (1).

B. Se dice que la serie (2) es convergente en un punto 𝑥 si existe el límite

∞

lim ∑ 𝑎𝑛 𝑥 𝑛
𝑛=∞
𝑛=0

y en tal caso la suma de la serie es el valor de dicho límite. Es obvio que (1) siempre es
convergente en el punto 𝑥 = 0. En relación a la disposición de sus puntos de convergencia,
todas las series de potencias caen en alguna de las tres categorías a describir, y quedan
tipificadas por los siguientes ejemplos:
∑∞ 𝑛 2 3
𝑛=0 𝑛! 𝑥 = 1 + 𝑥 + 2! 𝑥 + 3! 𝑥 + ⋯ (3)
𝑥𝑛 𝑥2 𝑥3
∑∞
𝑛=0 = 1+𝑥+ + +⋯ (4)
𝑛! 2! 3!

∑∞ 𝑛 2 3
𝑛=0 𝑥 = 1 + 𝑥 + 𝑥 + 𝑥 + ⋯ (5)

La primera de estas series diverge (o sea, no es convergente) en todo caso 𝑥 ≠ 0; la segunda

converge para todo 𝑥; la tercera converge para |𝑥| < 1 y diverge para |𝑥| > 1. Todas las
series que veremos son esencialmente como (5). Es decir, a cada serie de esa clase le
corresponde un número real positivo 𝑅, llamado su radio de convergencia, con la propiedad
de que la serie converge si |𝑥| < 𝑅 y diverge si |𝑥| > 𝑅 [𝑅 = 1 𝑒𝑛 𝑒𝑙 𝑐𝑎𝑠𝑜 𝑑𝑒 (5)].
Es costumbre hacer 𝑅 = 0 cuando la serie converge sólo en 𝑥 = 0, e 𝑅 = ∞ cuando
converge para todo 𝑥. Este convenio nos permite cubrir todas las posibilidades en un solo
enunciado: toda serie de potencias en 𝑥 tiene un radio de convergencia 𝑅, donde 0 ≤ 𝑅 ≤
∞ , con la propiedad de que la serie es convergente si |𝑥| < 𝑅 y divergente si |𝑥| > 𝑅.
Debemos notar que si 𝑅 = 0, ningún 𝑥 satisface |𝑥| < 𝑅, mientras que si 𝑅 = ∞, entonces
ningún 𝑥 satisface |𝑥| > 𝑅.
En muchos casos importantes, el valor de 𝑅 puede hallarse como sigue. Sea
∞

∑ 𝑢𝑛 = 𝑢1 + 𝑢2 + 𝑢3 + ⋯ + 𝑢𝑛 + ⋯
𝑛=0

Una serie de constantes no nulas. De cálculo sabemos que si el límite

𝑢𝑛+1
lim | |=𝐿
𝑛→∞ 𝑢𝑛

existe, entonces el criterio del cociente asegura que la serie es convergente si 𝐿 < 1 y
divergente si 𝐿 > 1. En el caso de nuestra serie de potencias (1), eso nos dice que si cada
𝑎𝑛 ≠ 0 y si para un punto fijo 𝑥 ≠ 0 tenemos

𝑎𝑛+1 𝑥 𝑛+1 𝑢𝑛+1

lim | 𝑛
| = lim | | |𝑥| = 𝐿
𝑛→∞ 𝑎𝑛 𝑥 𝑢𝑛
𝑛→∞

entonces (1) converge si 𝐿 > 1 y divergente si 𝐿 > 1. Estas consideraciones conducen a la

formula
𝑎𝑛
R = lim | |
𝑛→∞ 𝑎+1

𝑎
Si este límite existe (ponemos 𝑅 = ∞ si lim |𝑎 𝑛 | → ∞). Independientemente de esa
𝑛→∞ +1
fórmula pueda ser usada o no, se sabe que 𝑅 existe siempre; y si 𝑅 es finito y no nulo,
determina un intervalo de convergencia −𝑅 < 𝑥 < 𝑅 tal que la serie converge en su
interior y diverge en el exterior. Una serie de potencias puede o no ser convergente en los
puntos terminales de su intervalo de convergencia.

C. Supongamos que (1) converge para |𝑥| < 𝑅 con 𝑅 > 0, y denotemos su suma por 𝑓(𝑥):

𝑓(𝑥) = ∑∞ 𝑛 2 𝑛
𝑛=0 𝑎𝑛 𝑥 = 𝑎0 + 𝑎1 𝑥 + 𝑎2 𝑥 + ⋯ 𝑎𝑛 𝑥 + ⋯ (6)
Entonces 𝑓(𝑥) es automáticamente continua y tiene derivadas de todos los ordenes en
|𝑥| < 𝑅. Además, la serie puede ser derivada término a término en el sentido de que
∞

𝑓′(𝑥) = ∑ 𝑛𝑎𝑛 𝑥 𝑛−1 = 𝑎1 + 2𝑎2 𝑥 + 3𝑎3 𝑥 2 + ⋯

𝑛=1
 ∞
′′(𝑥)
𝑓 = ∑ 𝑛(𝑛 − 1)𝑎𝑛 𝑥 𝑛−2 = 2𝑎2 + 3 ∙ 2𝑎3 𝑥 + ⋯
𝑛=2

Y así sucesivamente, y cada una de las series resultantes convergente en |𝑥| < 𝑅. Estas
series derivadas sucesivamente proporcionan la siguiente fórmula básica que relaciona las
𝑎𝑛 con 𝑓(𝑥) y sus derivadas:
𝑓 (𝑛)
𝑎𝑛 = (7)
𝑛!

Si se tiene una segunda serie de potencias en 𝑥 que converge a otra función 𝑔(𝑥) para
|𝑥| < 𝑅, de manera que

𝑔(𝑥) = ∑∞ 𝑛 2 𝑛
𝑛=0 𝑏𝑛 𝑥 = 𝑏0 + 𝑏1 𝑥 + 𝑎𝑏2 𝑥 + ⋯ 𝑏𝑛 𝑥 + ⋯ (8)
Entonces (6) y (8) pueden sumarse o restarse término a término:
∞

𝑓(𝑥) ± 𝑔(𝑥) = ∑(𝑎𝑛 ± 𝑏𝑛 )𝑥 𝑛 = (𝑎0 ± 𝑏0 ) + (𝑎1 ± 𝑏1 )𝑥 + ⋯

𝑛=0

Pueden ser multiplicadas como si fueran polinomios, en el sentido de que

∞

𝑓(𝑥)𝑔(𝑥) = ∑ 𝑐𝑛 𝑥 𝑛
𝑛=0

D. Sea 𝑓(𝑥) una función continua que admite derivadas de todo orden en |𝑥| < 𝑅, con 𝑅 >
0. ¿Puede representarse 𝑓(𝑥) mediante una serie de potencias?

Si usamos (7) para definir los 𝑎𝑛 , es natural esperar que el desarrollo

𝑓 (𝑛) (0) 𝑓 ′′(0)

𝑓(𝑥) = ∑∞
𝑛=0 𝑛!
𝑥 𝑛 = 𝑓(0) + 𝑓 ′(0) 𝑥 + 2!
𝑥2 + ⋯ (9)

Sea válido sobre ese intervalo. Esto es a menudo correcto, pero desgraciadamente no
siempre. Una forma de investigar la validez de ese desarrollo para un punto específico 𝑥 en
el intervalo consiste en utilizar la fórmula de Taylor:

𝑓 (𝑘) (0)
𝑓(𝑥) = ∑∞
𝑘=0 𝑥 𝑘 + 𝑅𝑛 (𝑥),
𝑘!

donde el resto 𝑅𝑛 (𝑥) viene dado por

𝑓 (𝑛+1) (𝑥̅ ) 𝑛+1

𝑅𝑛 (𝑥) = 𝑥
(𝑛 + 1)!

para algún punto 𝑥̅ entre 0 y 𝑥. Para comprobar (9) es suficiente mostrar que
𝑅𝑛 (𝑥) → 0 cuando 𝑛 → ∞. Por este procedimiento resulta fácil obtener los siguientes
desarrollos familiares, válidos para todo 𝑥:
∞
𝑥
𝑥𝑛 𝑥2 𝑥3
𝑒 =∑ =1+𝑥+ + +⋯
𝑛! 2! 3!
𝑛=0

∞
𝑥 2𝑛+1 𝑛
𝑥3 𝑥5
𝑠𝑒𝑛𝑥 = ∑(−1) =𝑥− + −⋯
(2𝑛 + 1)! 3! 5!
𝑛=0

∞
𝑥 2𝑛 𝑛
𝑥2 𝑥4
𝑐𝑜𝑠𝑥 = ∑(−1) = 1− + −⋯
(2𝑛)! 2! 4!
𝑛=0

Si se nos da una serie de potencias convergente particular, ¿cómo podemos reconocer

qué función tiene como suma? En general es imposible reconocerla, puesto que pocas
series de potencias tienen como suma una función elemental.

E. Una función que admite un desarrollo en serie de potencias de la forma

∞

𝑓(𝑥) = ∑ 𝑎𝑛 (𝑥 − 𝑥0 )𝑛
𝑛=0

en algún entorno del punto 𝑥0 se dice que es analítica en 𝑥0 . En tal caso, los 𝑎𝑛 viene
dados necesariamente por

𝑓 (𝑛) (𝑥0 )
𝑎𝑛 = (10)
𝑛!

y (10) se llama la serie de Taylor de 𝑓(𝑥) en 𝑥0 . Así pues,las funciones 𝑒 𝑥 , 𝑠𝑒𝑛𝑥 y 𝑐𝑜𝑠𝑥 son
analíticas en 𝑥0 = 0, y las series dadas son sus serie de Taylor en ese punto. La mayoría de
las cuestiones relativas a la analiticidad pueden ser contestadas mediante los siguientes
hechos:

1.- Los polinomios y las funciones 𝑒 𝑥 , 𝑠𝑒𝑛𝑥 y 𝑐𝑜𝑠𝑥 son analíticas en todos los puntos.
𝑓(𝑥)
2.- Si 𝑓(𝑥) y 𝑔(𝑥) son analíticas en 𝑥0 , también 𝑓(𝑥) + 𝑔(𝑥), 𝑓(𝑥)𝑔(𝑥), [ 𝑔(𝑥) ≠
𝑔(𝑥)
0] son analíticas en 𝑥0 .

3.- La suma de una serie de potencias es analítica en todos los puntos del interior de su
intervalo de convergencia.

4.- Si 𝑔(𝑥) es analítica en 𝑥0 y 𝑓(𝑥) es analítica en 𝑔(𝑥0 ) , entonces 𝑓(𝑔(𝑥)) es analítica

en 𝑥0 .
5.- Si 𝑓(𝑥) es analítica en 𝑥0 y 𝑓 −1 (𝑥) es una inversa continua de 𝑓, entonces 𝑓 −1 (𝑥) es
analítica en 𝑓(𝑥0 ) si 𝑓′(𝑥0 ) ≠ 0.