Anexo C

Introduccion a las series de potencias

Este apendice tiene como objetivo repasar los conceptos relativos a las series de potencias
y al desarrollo de una funcion ne serie de potencias en torno a un punto.
C.1. Series de potencias
Una serie de potencias en torno al punto x
0
es una expresion de la forma

n=0
a
n
(x x
0
)
n
= a
0
+ a
1
(x x
0
) + a
2
(x x
0
)
2
+ (C.1)
donde x es una variable y los coecientes a
n
son constantes. Se dice que (C.1) converge en
el punto x = r si la serie innita (de n umeros reales)

n=0
a
n
(r x
0
)
n
converge; esto es, el
lmite de las sumas parciales,
lm
N
N

n=0
a
n
(r x
0
)
n
,
existe (como n umero nito). Si este lmite no existe, se dice que la serie de potencias diverge
en x = r. Observese que (C.1) converge en x = x
0
ya que

n=0
a
n
(x
0
x
0
)
n
= a
0
+ 0 + 0 +
Pero, que se puede decir acerca de la convergencia para otros valores de x?. Como se
establece en el Teorema C.1 de mas abajo, una serie de potencias de la forma (C.1) converge
217
218 Introduccion a las Series de Potencias
para todo el valor de x perteneciente a cierto intervalo con centro en x
0
, y diverge para
los valores de x que esten fuera de este intervalo. Ademas, en los puntos interiores de dicho
intervalo, se dice que la serie de potencias converge absolutamente si

n=0
|a
n
(x x
0
)
n
|
converge. (Recuerdese que la convergencia absoluta de una serie implica la convergencia
(ordinaria) de la serie.)
Teorema C.1 (Radio de convergencia).- Para cada serie de potencias de la forma (C.1),
existe un n umero (0 ), llamado radio de convergencia de la serie de potencias,
tal que (C.1) converge absolutamente para |x x
0
| < y diverge para |x x
0
| > . (Vease
la gura C.1.)
Si la serie (C.1) converge para todo valor real de x, entonces = . Si la serie (C.1)
converge solamente en x
0
, entonces = 0.
x
0
+ x
0
x
0
+
? ?
absoluta
Convergencia
Divergencia Divergencia
Figura C.1: Intervalo de convergencia
Observese que el Teorema C.1 resuelve la cuestion de la convergencia de las series de
potencias en todos los puntos de la recta real excepto en los extremos x
0
= del intervalo
de convergencia. Estos dos puntos requieren un analisis independiente. Para determinar el
radio de convergencia , un metodo que a menudo resulta facil de aplicar es el criterio del
cociente.
Teorema C.2 (Criterio del cociente).- Si
lm
n

a
n+1
a
n

= L,
donde 0 L , entonces el radio de convergencia de la serie de potencias

n=0
a
n
(xx)
n
es =
1
L
, con = si L = 0 y = 0 si L = .
Observacion Se debe observar que si el lmite del cociente |a
n+1
/a
n
| no existe, entonces
se deben emplear otros metodos distintos del criterio del cociente para determinar . Por
ejemplo, el criterio de la raz:
C.1 Series de potencias 219
Teorema C.3 (Criterio de la raz).- Si
lm
n
n
_
|a
n
| = L,
donde 0 L , entonces el radio de convergencia de la serie de potencias

n=0
a
n
(x x)
n
es =
1
L
, con = si L = 0 y = 0 si L = .
Ejemplo C.4 Determnese el intervalo de la convergencia de

n=0
(2)
n
n + 1
(x 3)
n
. (C.2)
Solucion.- Puesto que a
n
=
(2)
n
n + 1
, se tiene
lm
n

a
n+1
a
n

= lm
n

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

= lm
n
2(n + 1)
(n + 2)
= 2 = L.
Por el criterio del cociente, el radio de convergencia es =
1
2
. Por lo tanto, la serie (C.2) con-
verge absolutamente para |x 3| <
1
2
, y diverge cuando |x 3| >
1
2
. Solo queda determinar
lo que sucede cuando |x 3| = 1/2. Esto es, cuando x =
5
2
o x =
7
2
.
Haciendo x =
5
2
, la serie (C.2) se convierte en la serie armonica

n=0
1
n + 1
, la cual es
divergente. Si x =
7
2
, la serie (C.2) se convierte en la serie armonica alternada

n=0
(1)
n
n + 1
,
la cual es convergente. As que la serie de potencias converge para todo x en el intervalo
semiabierto
_
5
2
,
7
2
_
; fuera de este intervalo, la serie diverge.
Para cada valor x para el cual la serie de potencias

n=0
a
n
(x x
0
)
n
converge, se obtiene
un n umero que es la suma de la serie. Resulta apropiado denotar esta suma con f(x), ya que
su valor depende de la eleccion de x. As que se escribe
f(x) =

n=0
a
n
(x x
0
)
n
,
220 Introduccion a las Series de Potencias
para todo n umero x contenido en el intervalo de convergencia. Por ejemplo, la serie geometrica

n=0
x
n
tiene radio de convergencia = 1 y, cuando |x| < 1 la suma

n=0
x
n
es
1
1 x
. En efecto
S
N
= 1 + x + + x
N
y xS
N
= x + x
2
+ + x + x
N+1
,
de modo que
S
N
(1 x) = 1 x
N+1
y
lm
N
N

n=0
x
n
= lm
N
S
N
=
1
1 x
porque lm
N
x
N+1
= 0 por ser |x| < 1. En consecuencia,

n=0
x
n
=
1
1 x
. Es decir, la
funcion suma es, en este caso, f(x) =
1
(1 x)
.
Dadas dos series de potencias
f(x) =

n=0
a
n
(x x
0
)
n
, g(x) =

n=0
b
n
(x x
0
)
n
, (C.3)
con radios de convergencia distintos de cero, se desea obtener representaciones en series de
potencias para la suma, producto y cociente de las funciones f(x) y g(x). La suma se obtiene
simplemente por medio de la adicion termino a termino:
f(x) + g(x) =

n=0
(a
n
+ b
n
)(x x
0
)
n
(C.4)
para todo x perteneciente al intervalo de convergencia com un de las series de potencias (C.3).
La representacion en serie de potencias del producto f(x)g(x) es un poco mas complicada.
Para obtener la formula, se trata a las series de potencias de f(x) y g(x) como polinomios
largos, se aplica la ley distributiva y se agrupan los terminos en potencias de x x
0
):
[a
0
+ a
1
(x x
0
) + a
2
(x x
0
)
2
+ ] [b
0
+ b
1
(x x
0
) + b
2
(x x
0
)
2
+ ]
= a
0
b
0
+ (a
0
b
1
+ a
1
b
0
) (x x
0
) + (a
0
b
2
+ a
1
b
1
+ a
2
b
0
) (x x
0
)
2
+ .
La formula general del producto es
f(x)g(x) =

n=0
c
n
(x x
0
)
n
, (C.5)
donde
c
n
=
n

k=0
a
k
b
nk
.
C.1 Series de potencias 221
La serie de potencias (C.5) se llama producto de Cauchy, y sera convergente para todo x
en el intervalo abierto com un de convergencia de las series de potencias (C.3).
El cociente
f(x)
g(x)
tambien tendra un desarrollo en serie de potencias en torno a x
0
siempre
que g(x
0
) = 0. Sin embargo, el radio de convergencia de esta serie del cociente puede resultar
menor que el de f(x) o g(x). Desafortunadamente, no existe una formula comoda para
obtener los coecientes de la serie de potencias de
f(x)
g(x)
.
El siguiente teorema explica, en parte, por que las series de potencias son tan utiles
Teorema C.5 (Diferenciacion e integracion de series de potencias).- Si la serie f(x) =

n=0
a
n
(xx
0
)
n
tiene un radio de convergencia positivo , entonces la diferenciacion termino
a termino da lugar a la serie de optencias de la derivada de f:
f

(x) =

n=1
na(x x
0
)
n1
para |x x
0
| <
y la integracion termino a termino proporciona la serie de potencias de la integral de f:
_
f(x) dx =

n=0
a
n
n + 1
(x x
0
)
n+1
+ C para |x x
0
| < .
Ejemplo C.6 .- Empezando con la serie geometrica

n=0
x
n
cuya suma es f(x) =
1
(1 x)
,
encuentre una serie de potencias para cada una de las siguientes funciones:
(a)
1
1 + x
2
,
(b)
1
(1 x)
2
,
(c) arc tg x.
Solucion.-
(a) Reemplazando x por x
2
en f(x) resulta que
1
1 + x
2
= 1 x
2
+ x
4
x
6
+ =

n=0
(1)
n
x
2n
. (C.6)
222 Introduccion a las Series de Potencias
(b) Observese que
1
(1 x)
2
es la derivada de la funcion f(x). Por tanto, diferenciando

n=0
x
n
termino a termino se obtiene
f

(x) =
1
(1 x)
2
= 1 + 2x + 3x
2
+ 4x
3
+ =

n=0
nx
n1
. (C.7)
(c) Puesto que
arc tg x =
_
x
0
1
1 + t
2
dt,
se puede integrar la serie (C.6) termino a termino para obtener la serie de arc tg x. De
esta manera,
_
x
0
1
1 + t
2
dt =
_
x
0
_
1 t
2
+ t
4
t
6
+ + (1)
n
t
2n
+
_
dt
Es decir
arc tg x = x
1
3
x
3
+
1
5
x
5
+ =

n=0
(1)
n
x
2n+1
2n + 1
. (C.8)
Es importante tener presente que puesto que la serie geometrica tiene como intervalo de
convergencia (1, 1), las representaciones (C.6), (C.7) y (C.8) son validas por lo menos en
este intervalo. (En realidad, la serie (C.8) de arc tg x converge para todo |x| 1.)
El ndice sumatorio de una serie de potencias es unndice cticio al igual que la variable de
integracion de una integral denida En consecuencia, las siguientes expresiones representan
lo mismo.

n=0
a
n
(x x
0
)
n
=

k=0
a
k
(x x
0
)
k
=

i=0
a
i
(x x
0
)
i
.
As como hay ocasiones en las que conviene cambiar la variable de integraci on, existen
situaciones en las que es conveniente cambiar o desplazar el ndice sumatorio.
Ejemplo C.7 .- Exprese la serie

n=2
n(n 1)a
n
x
n2
(C.9)
utilizando el ndice k, donde k = n 2.
C.2 Funciones analticas 223
Solucion.- Puesto que k = n2, se tiene n = k +2. Si n = 2, entonces k = 0. Por tanto,
sustituyendo en (C.9) resulta

n=2
n(n 1)a
n
x
n2
=

k=0
(k + 2)(k + 1)a
k+2
x
k
C.2. Funciones analticas
No todas las funciones se pueden expresar como series de potencias. Aquellas funciones
que s se pueden se llaman analticas.
Denicion C.8 (Funcion analtica).- Se dice que una funcion f es analtica en x
0
si,
en un intervalo abierto en torno a x
0
, esta funcion es la suma de una serie de potencias

n
= a
n
(x x
0
)
n
que tiene un radio de convergencia positivo.
Por ejemplo, una funcion polinomial b
0
+ b
1
x + + b
n
x
n
es analtica para todo x
0
,
ya que siempre se pueden reescribir en la forma a
0
+ a
1
(x x
0
) + + a
n
(x x
0
)
n
. Una
funcion racional
p(x)
q(x)
, donde p(x) y q(x) son polinomios sin ning un factor com un, es una
funcion analtica excepto en aquellos x
0
para los cuales q(x
0
) = 0. Otras funciones analticas
importante son e
x
, sen x y cos x, que son analticas para todo x, mientras que ln x es analtica
para x > 0. En efecto, se tienen las conocidas representaciones siguientes:
e
x
= 1 + x +
x
2
2!
+
x
3
3!
+ =

n=0
x
n
n!
, (C.10)
sen x = x
x
3
3!
+
x
5
5!
=

n=0
(1)
n
(2n + 1)!
x
2n+1
, (C.11)
cos x = 1
x
2
2!
+
x
4
4!
=

n=0
(1)
n
(2n)!
x
2n
, (C.12)
ln x = (x 1)
1
2
(x 1)
2
+
1
3
(x 1)
3
=

n=1
(1)
n1
n
(x 1)
n
. (C.13)
donde (C.10), (C.11) y (C.12) son validas para todo x, mientras que (C.13) es valida para
los valores x pertenecientes al intervalo semiabierto (0, 2]. En (C.13) el desarrollo es en torno
224 Introduccion a las Series de Potencias
a x
0
= 1. Sin embargo, se puede obtener una representaci on en serie de potencias para ln x
en torno a cualquier x
0
> 0.
Del Teorema C.5 sobre la diferenciacion de series de potencias, vemos que una funcion
f analtica en x
0
es diferenciable en un entorno de x
0
. Ademas, dado que f

tiene una
representacion en serie de potencias en este entorno, tambien es analtica en x
0
. Repitiendo
este argumento, vemos que f

, f

, etc., existen y son analticas en x

0
.
El siguiente famoso teorema proporciona una formula para los coecientes de la serie de
potencias de una funcion analtica.
Teorema C.9 (Series de Taylor y de Maclaurin).- Si f es analtica en x
0
, entonces la
representacion
f(x) =

n=0
f
(n)
(x
0
)
n!
(x x
0
)
n
(C.14)
es valida en cierto intervalo abierto con centro en x
0
.
La serie (C.14) se llama serie de Taylor de f en torno a x
0
. Cuando x
0
= 0, tambien
se le conoce como serie de Maclaurin de f.
Una forma directa, aunque a veces tediosa, para determinar la serie de Taylor de una
funcion analtica f, consiste en calcular las derivadas sucesivas de f y evaluarlas en x
0
. Por
ejemplo, las series (C.10), (C.11), (C.12) y (C.13) pueden obtenerse en esta forma.
Conviene recordar que los desarrollo en serie de potencias tienen tambien una propiedad
de unicidad; a saber, si la ecuacion

n=0
a
n
(x x
0
)
n
=

n=0
b
n
(x x
0
)
n
es valida en alg un intervalo abierto en torno a x
0
, entonces a
n
= b
n
para n = 0, 1, 2, . . .. Por
lo tanto, si de alguna manera se puede obtener un desarrollo en serie de potencias para una
funcion analtica, entonces esta serie de potencias debe ser su serie de Taylor. Por ejemplo,
el desarrollo arc tg x, dado en (C.8) del Ejemplo C.6, deber ser su desarrollo de Taylor.
Un problema diferente pero muy importante es el del radio de convergencia de la serie
de potencias que representa a una funcion analtica en un punto x
0
. Es decir, el entorno
de x
0
en el que f es analtica. El Teorema C.14, tal y como ha sido enunciado, no aclara
este punto. Claro que este radio de convergencia se puede calcular mediante el criterio del
cociente o de la raz, pero hay un resultado mas directo que enunciamos sin una rigurosidad
absoluta a n de hacerlo asequible:
C.2 Funciones analticas 225
Teorema C.10 .- Supongamos que la variable x toma valores complejos y sea z
0
el punto
mas proximo a x
0
en el plano complejo en el que algo va mal con f(x). Calc ulese la
distancia, , en el plano complejo, entre x
0
y z
0
. Entonces, la serie de Taylor de f en torno
a x
0
converge para |x x
0
| < y diverge para |x x
0
| > .
Ilustremos este teorema con un ejemplo. Consideremos la funcion f(x) =
1
1 + x
2
, que ya
hemos visto en el Ejemplo C.6 que admite, en torno a x
0
= 0, el desarrollo:
f(x) =

n=0
(1)
n
x
2n
.
Tambien sabemos que tiene un radio de convergencia = 1 porque se obtiene de la serie
geometrica sustituyendo x por x
2
. Para x real la funcion f(x) =
1
1 + x
2
esta siempre bien
denida porque si x R entonces x
2
+ 1 > 0. Pero para x complejo tenemos que x
2
+ 1 se
anula para x = i. Es decir, si permitimos que x tome valores complejos, f no esta denida
en x = i ni en x = i. Estos son los puntos z
0
del plano complejo en los que algo va mal
con f. En este caso ambos se encuentran a igual distancia de x
0
= 0: = |x
0
z
0
| = 1.
Otra aplicacion del Teorema C.10 es que el radio de convergencia de la serie de Taylor
en torno a 0 de una funcion racional (cociente de polinomios),
p(x)
q(x)
es la magnitud de la
raz mas peque na de q(x); es decir, el modulo de dicha raz (recordemos que aunque los
coecientes de q(x) sean reales puede tener races complejas).
Finalmente es util tener presente que si f y g son analticas en x
0
, tambien lo son f +g,
cf, fg y f/g, siempre que, en el ultimo caso, g(x
0
) = 0. Estos hechos se deducen de como
se construyen la suma, producto, etc. de las series de potencias tal y como hemos visto mas
arriba.
226 Introduccion a las Series de Potencias