Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Punto 8 - Teo PDF
Punto 8 - Teo PDF
existe (como número finito). Si este lı́mite no existe, se dice que la serie de potencias diverge
en x = r. Obsérvese que (C.1) converge en x = x0 ya que
∞
X
an (x0 − x0 )n = a0 + 0 + 0 + · · ·
n=0
Pero, ¿qué se puede decir acerca de la convergencia para otros valores de x?. Como se
establece en el Teorema C.1 de más abajo, una serie de potencias de la forma (C.1) converge
217
218 Introducción a las Series de Potencias
para todo el valor de x perteneciente a cierto “intervalo” con centro en x0 , y diverge para
los valores de x que estén fuera de este intervalo. Además, en los puntos interiores de dicho
P∞
intervalo, se dice que la serie de potencias converge absolutamente si |an (x − x0 )n |
n=0
converge. (Recuérdese 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úmero ρ (0 ≤ ρ ≤ ∞), llamado radio de convergencia de la serie de potencias,
tal que (C.1) converge absolutamente para |x − x0 | < ρ y diverge para |x − x0 | > ρ. (Véase
la figura C.1.)
Si la serie (C.1) converge para todo valor real de x, entonces ρ = ∞. Si la serie (C.1)
converge solamente en x0 , entonces ρ = 0.
? Convergencia ? Divergencia
Divergencia absoluta
x 0+ρ x0 x 0+ρ
Figura C.1: Intervalo de convergencia
Observación Se debe observar que si el lı́mite del cociente |an+1 /an | no existe, entonces
se deben emplear otros métodos distintos del criterio del cociente para determinar ρ. Por
ejemplo, el criterio de la raı́z:
C.1 Series de potencias 219
P
∞
donde 0 ≤ L ≤ ∞, entonces el radio de convergencia de la serie de potencias an (x − x)n
n=0
1
es ρ = , con ρ = ∞ si L = 0 y ρ = 0 si L = ∞.
L
(−2)n
Solución.- Puesto que an = , se tiene
n+1
¯ ¯ ¯ ¯
¯ an+1 ¯ ¯ (−2)n+1 (n + 1) ¯
lı́m ¯ ¯ = lı́m ¯ ¯
n→∞ ¯ an ¯ n→∞ ¯ (−2)n (n + 2) ¯
2(n + 1)
= lı́m = 2 = L.
n→∞ (n + 2)
1
Por el criterio del cociente, el radio de convergencia es ρ = . Por lo tanto, la serie (C.2) con-
2
1 1
verge absolutamente para |x − 3| < , y diverge cuando |x − 3| > . Sólo queda determinar
2 2
5 7
lo que sucede cuando |x − 3| = 1/2. Esto es, cuando x = ó x = .
2 2
5 P∞ 1
Haciendo x = , la serie (C.2) se convierte en la serie armónica , la cual es
2 n=0 n + 1
7 ∞ (−1)n
P
divergente. Si x = , la serie (C.2) se convierte en la serie armónica alternada ,
2 n=0 n + 1
la cual es convergente.
µ ¸ Ası́ que la serie de potencias converge para todo x en el intervalo
5 7
semiabierto , ; fuera de este intervalo, la serie diverge.
2 2
P
∞
Para cada valor x para el cual la serie de potencias an (x − x0 )n converge, se obtiene
n=0
un número que es la suma de la serie. Resulta apropiado denotar esta suma con f (x), ya que
su valor depende de la elección de x. Ası́ que se escribe
∞
X
f (x) = an (x − x0 )n ,
n=0
220 Introducción a las Series de Potencias
para todo número x contenido en el intervalo de convergencia. Por ejemplo, la serie geométrica
P∞ P
∞ 1
xn tiene radio de convergencia ρ = 1 y, cuando |x| < 1 la suma xn es . En efecto
n=0 n=0 1−x
SN = 1 + x + · · · + xN y xSN = x + x2 + · · · + x + xN +1 ,
de modo que
SN (1 − x) = 1 − xN +1
y
N
X 1
lı́m xn = lı́m SN =
N →∞
n=0
N →∞ 1−x
P
∞ 1
porque lı́mN →∞ xN +1 = 0 por ser |x| < 1. En consecuencia, xn = . Es decir, la
n=0 1−x
1
función suma es, en este caso, f (x) = .
(1 − x)
Dadas dos series de potencias
∞
X ∞
X
f (x) = an (x − x0 )n , g(x) = bn (x − x0 )n , (C.3)
n=0 n=0
para todo x perteneciente al intervalo de convergencia común de las series de potencias (C.3).
La representación en serie de potencias del producto f (x)g(x) es un poco más complicada.
Para obtener la fórmula, 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 términos en potencias de x − x0 ):
[a0 + a1 (x − x0 ) + a2 (x − x0 )2 + · · · ] · [b0 + b1 (x − x0 ) + b2 (x − x0 )2 + · · · ]
= a0 b0 + (a0 b1 + a1 b0 ) (x − x0 ) + (a0 b2 + a1 b1 + a2 b0 ) (x − x0 )2 + · · · .
La fórmula general del producto es
∞
X
f (x)g(x) = cn (x − x0 )n , (C.5)
n=0
donde n
X
cn = ak bn−k .
k=0
C.1 Series de potencias 221
La serie de potencias (C.5) se llama producto de Cauchy, y será convergente para todo x
en el intervalo abierto común de convergencia de las series de potencias (C.3).
f (x)
El cociente también tendrá 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 fórmula cómoda para
f (x)
obtener los coeficientes de la serie de potencias de .
g(x)
El siguiente teorema explica, en parte, por qué las series de potencias son tan útiles
P
∞ 1
Ejemplo C.6 .- Empezando con la serie geométrica xn cuya suma es f (x) = ,
n=0 (1 − x)
encuentre una serie de potencias para cada una de las siguientes funciones:
1
(a) ,
1 + x2
1
(b) ,
(1 − x)2
(c) arc tg x.
Solución.-
1
(b) Obsérvese que es la derivada de la función f (x). Por tanto, diferenciando
(1 − x)2
P
∞
xn término a término se obtiene
n=0
X ∞
0 1 2 3
f (x) = = 1 + 2x + 3x + 4x + · · · = nxn−1 . (C.7)
(1 − x)2 n=0
Es decir
∞
X (−1)n x2n+1
1 1
arc tg x = x − x3 + x5 + · · · = . (C.8)
3 5 n=0
2n + 1
Es importante tener presente que puesto que la serie geométrica tiene como intervalo de
convergencia (−1, 1), las representaciones (C.6), (C.7) y (C.8) son válidas 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
integración de una integral definida En consecuencia, las siguientes expresiones representan
lo mismo.
X∞ X∞ X∞
n k
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 integración, existen
situaciones en las que es conveniente cambiar o desplazar el ı́ndice sumatorio.
No todas las funciones se pueden expresar como series de potencias. Aquellas funciones
que sı́ se pueden se llaman analı́ticas.
Definición C.8 (Función analı́tica).- Se dice que una función f es analı́tica en x0 si,
en un intervalo abierto en torno a x0 , esta función es la suma de una serie de potencias
P
∞
= an (x − x0 )n que tiene un radio de convergencia positivo.
n
donde (C.10), (C.11) y (C.12) son válidas para todo x, mientras que (C.13) es válida para
los valores x pertenecientes al intervalo semiabierto (0, 2]. En (C.13) el desarrollo es en torno
224 Introducción a las Series de Potencias
Del Teorema C.5 sobre la diferenciación de series de potencias, vemos que una función
f analı́tica en x0 es diferenciable en un entorno de x0 . Además, dado que f 0 tiene una
representación en serie de potencias en este entorno, también es analı́tica en x0 . Repitiendo
este argumento, vemos que f 00 , f 000 , etc., existen y son analı́ticas en x0 .
El siguiente famoso teorema proporciona una fórmula para los coeficientes de la serie de
potencias de una función analı́tica.
Una forma directa, aunque a veces tediosa, para determinar la serie de Taylor de una
función analı́tica 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 también una propiedad
de unicidad; a saber, si la ecuación
∞
X ∞
X
an (x − x0 )n = bn (x − x0 )n
n=0 n=0
Teorema C.10 .- Supongamos que la variable x toma valores complejos y sea z0 el punto
más próximo a x0 en el plano complejo en el que “algo va mal” con f (x). Calcúlese 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
Ilustremos este teorema con un ejemplo. Consideremos la función f (x) = , que ya
1 + x2
hemos visto en el Ejemplo C.6 que admite, en torno a x0 = 0, el desarrollo:
∞
X
f (x) = (−1)n x2n .
n=0
anula para x = ±i. Es decir, si permitimos que x tome valores complejos, f no está definida
en x = i ni en x = −i. Estos son los puntos z0 del plano complejo en los que “algo va mal”
con f . En este caso ambos se encuentran a igual distancia de x0 = 0: ρ = |x0 − z0 | = 1.
Otra aplicación del Teorema C.10 es que el radio de convergencia de la serie de Taylor
p(x)
en torno a 0 de una función racional (cociente de polinomios), es la magnitud de la
q(x)
raı́z más pequeña de q(x); es decir, el módulo de dicha raı́z (recordemos que aunque los
coeficientes de q(x) sean reales puede tener raı́ces complejas).