Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series
Series
C.1.
Series de potencias
an (x x0 )n = a0 + a1 (x x0 ) + a2 (x x0 )2 +
(C.1)
n=0
n=0
existe (como n
umero finito). Si este lmite no existe, se dice que la serie de potencias diverge
en x = r. Observese que (C.1) converge en x = x0 ya que
X
an (x0 x0 )n = a0 + 0 + 0 +
n=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
para todo el valor de x perteneciente a cierto intervalo con centro en x0 , y diverge para
los valores de x que esten fuera de este intervalo. Ademas, en los puntos interiores de dicho
P
intervalo, se dice que la serie de potencias converge absolutamente si
|an (x x0 )n |
n=0
Divergencia
x 0+
Convergencia
absoluta
x0
? Divergencia
x 0+
an+1
= L,
lm
n an
donde 0 L , entonces el radio de convergencia de la serie de potencias
1
es = , con = si L = 0 y = 0 si L = .
L
P
n=0
an (xx)n
Observaci
on Se debe observar que si el lmite del cociente |an+1 /an | no existe, entonces
se deben emplear otros metodos distintos del criterio del cociente para determinar . Por
ejemplo, el criterio de la raz:
219
p
n
|an | = L,
an (x x)n
n=0
1
es = , con = si L = 0 y = 0 si L = .
L
Ejemplo C.4 Determnese el intervalo de la convergencia de
X
(2)n
n+1
n=0
(x 3)n .
(C.2)
(2)n
, se tiene
n+1
an+1
(2)n+1 (n + 1)
lm
=
lm
n an
n (2)n (n + 2)
Soluci
on.- Puesto que an =
lm
2(n + 1)
= 2 = L.
(n + 2)
1
Por el criterio del cociente, el radio de convergencia es = . Por lo tanto, la serie (C.2) con2
1
1
verge absolutamente para |x 3| < , y diverge cuando |x 3| > . Solo queda determinar
2
2
5
7
lo que sucede cuando |x 3| = 1/2. Esto es, cuando x = o x = .
2
2
P
1
5
, la serie (C.2) se convierte en la serie armonica
, la cual es
2
n=0 n + 1
(1)n
P
7
divergente. Si x = , la serie (C.2) se convierte en la serie armonica alternada
,
2
n=0 n + 1
la cual es convergente.
Haciendo x =
P
n=0
an (x x0 )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
X
f (x) =
an (x x0 )n ,
n=0
220
para todo n
umero x contenido en el intervalo de convergencia. Por ejemplo, la serie geometrica
P
P
1
n
x tiene radio de convergencia = 1 y, cuando |x| < 1 la suma
xn es
. En efecto
1x
n=0
n=0
SN = 1 + x + + xN y xSN = x + x2 + + x + xN +1 ,
de modo que
SN (1 x) = 1 xN +1
y
lm
N
X
xn = lm SN =
N
n=0
1
1x
xn =
n=0
1
funcion suma es, en este caso, f (x) =
.
(1 x)
1
. Es decir, la
1x
X
f (x) =
an (x x0 )n ,
X
g(x) =
bn (x x0 )n ,
n=0
(C.3)
n=0
X
f (x) + g(x) =
(an + bn )(x x0 )n
(C.4)
n=0
cn (x x0 )n ,
n=0
donde
cn =
n
X
k=0
ak bnk .
(C.5)
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).
f (x)
tambien tendra un desarrollo en serie de potencias en torno a x0 siempre
g(x)
que g(x0 ) 6= 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
f (x)
obtener los coeficientes de la serie de potencias de
.
g(x)
El cociente
El siguiente teorema explica, en parte, por que las series de potencias son tan u
tiles
Teorema C.5 (Diferenciaci
on e integraci
on de series de potencias).- Si la serie f (x) =
P
an (x x0 )n tiene un radio de convergencia positivo , entonces la diferenciaci
on termino
n=0
X
f (x) =
na(x x0 )n1 para |x x0 | <
0
n=1
y la integraci
on termino a termino proporciona la serie de potencias de la integral de f :
Z
X
an
(x x0 )n+1 + C para |x x0 | < .
f (x) dx =
n
+
1
n=0
Ejemplo C.6 .- Empezando con la serie geometrica
n=0
encuentre una serie de potencias para cada una de las siguientes funciones:
(a)
1
,
1 + x2
(b)
1
,
(1 x)2
1
,
(1 x)
(c) arc tg x.
Soluci
on.(a) Reemplazando x por x2 en f (x) resulta que
X
1
2
4
6
=
1
x
+
x
x
+
=
(1)n x2n .
1 + x2
n=0
(C.6)
222
1
es la derivada de la funcion f (x). Por tanto, diferenciando
(1 x)2
n=0
X
1
2
3
f (x) =
=
1
+
2x
+
3x
+
4x
+
=
nxn1 .
(1 x)2
n=0
0
arc tg x =
0
(C.7)
1
dt,
1 + t2
se puede integrar la serie (C.6) termino a termino para obtener la serie de arc tg x. De
esta manera,
Z x
Z x
1
dt =
1 t2 + t4 t6 + + (1)n t2n + dt
2
0 1+t
0
Es decir
X (1)n x2n+1
1
1
arc tg x = x x3 + x5 + =
.
3
5
2n
+
1
n=0
(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 un ndice ficticio al igual que la variable de
integracion de una integral definida En consecuencia, las siguientes expresiones representan
lo mismo.
X
X
X
k
n
an (x x0 ) =
ak (x x0 ) =
ai (x x0 )i .
n=0
k=0
i=0
As como hay ocasiones en las que conviene cambiar la variable de integracion, existen
situaciones en las que es conveniente cambiar o desplazar el ndice sumatorio.
Ejemplo C.7 .- Exprese la serie
X
n=2
(C.9)
223
Soluci
on.- Puesto que k = n 2, se tiene n = k + 2. Si n = 2, entonces k = 0. Por tanto,
sustituyendo en (C.9) resulta
n=2
C.2.
(k + 2)(k + 1)ak+2 xk
k=0
Funciones analticas
No todas las funciones se pueden expresar como series de potencias. Aquellas funciones
que s se pueden se llaman analticas.
Definici
on C.8 (Funci
on analtica).- Se dice que una funcion f es analtica en x0 si,
en un intervalo abierto en torno a x0 , esta funcion es la suma de una serie de potencias
P
= an (x x0 )n que tiene un radio de convergencia positivo.
n
x3 x5
+
sen x = x
3!
5!
cos x = 1
X
xn
n!
n=0
X
(1)n 2n+1
=
x
,
(2n + 1)!
n=0
x2 x4
+
2!
4!
1
1
ln x = (x 1) (x 1)2 + (x 1)3 =
2
3
X
(1)n
n=0
(2n)!
X
(1)n1
n=1
x2n ,
(x 1)n .
(C.10)
(C.11)
(C.12)
(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
X
f (n) (x0 )
f (x) =
(x x0 )n
(C.14)
n!
n=0
es v
alida en cierto intervalo abierto con centro en x0 .
La serie (C.14) se llama serie de Taylor de f en torno a x0 . Cuando x0 = 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 x0 . 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
X
X
an (x x0 )n =
bn (x x0 )n
n=0
n=0
es valida en alg
un intervalo abierto en torno a x0 , entonces an = bn 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 x0 . Es decir, el entorno
de x0 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 fin de hacerlo asequible:
225
Teorema C.10 .- Supongamos que la variable x toma valores complejos y sea z0 el punto
m
as proximo a x0 en el plano complejo en el que algo va mal con f (x). Calc
ulese la
distancia, , en el plano complejo, entre x0 y z0 . Entonces, la serie de Taylor de f en torno
a x0 converge para |x x0 | < y diverge para |x x0 | > .
1
, que ya
1 + x2
(1)n x2n .
n=0
226