Documentos de Académico
Documentos de Profesional
Documentos de Cultura
09 Seriespotencias PDF
09 Seriespotencias PDF
an (x c)n .
n=0
El nmero real an se denomina coeficiente n-simo de la serie de potencias (obsrvese que el trmino
n-simo de la serie es an (x c)n ). Si los coeficientes a0 , a1 , am1 son nulos, la serie suele escribirse
an (x c)n .
n=m
En cierto modo, se trata de una especie de polinomio con infinitos trminos. Vamos a ver que
las funciones definidas como suma de una serie de potencias comparten muchas propiedades con los
polinomios.
Para qu valores de x converge una serie de potencias? Obviamente, es segura la convergencia
para x = c, con suma a0 , y puede suceder que ste sea el nico punto en el que la serie converge. Fuera
de este caso extremo, la situacin es bastante satisfactoria: veamos algunos ejemplos.
Ejemplos.
a) La serie geomtrica
xn
n=0
1
1x ,
como sabemos).
190
b) La serie
xn
n=1 n
xn
2
n=1 n
(1)n x2n
n
n=1
xn
n=0 n!
n! xn
n=0
n=0
n=0
|x c|
r
"n
n=0
n=0
an (x c)n converge}.
n=0
191
n=0
a) Si |x c| < R, la serie
n=0
|x c| < |x1 c| y
n=0
n=0
Ejemplos.
a) La serie
es oscilante.
n=1
xn
tiene radio de convergencia 1. Para x = 1 diverge a + y para x = 1 es
n=1 n
convergente (pero no absolutamente).
b) La serie
xn
2 tiene radio de convergencia 1. Para x = 1 y para x = 1 es convergente (absolun=1 n
tamente).
c) La serie
Observacin. Existe una frmula que permite expresar el radio de convergencia de una serie de
potencias
n=0
R=
1
#
.
lm supn n |an |
Sin embargo, en los ejemplos habituales es ms cmodo realizar directamente el estudio de la convergencia de las series para los distintos valores de x, generalmente con ayuda del criterio 8.3.6 del
cociente o del criterio 8.3.5 de la raz.
En la frmula de Cauchy-Hadamard, an es exactamente el coeficiente de (x c)n , de modo que si
se quiere utilizar por ejemplo para hallar el radio de convergencia de la serie x2n , hay que calcular
n=0
#
n
1
(lm sup |an |) donde an = 1 si n es par y an = 0 si n es impar (cul es este lmite superior?);
por suerte, en este y en casi todos los ejemplos usuales podemos evitar este clculo si recurrimos a la
definicin de radio de convergencia y al estudio directo de la convergencia de las series.
Este ejemplo muestra tambin por qu hay que usar obligadamente lmite superior en la frmula:
el lmite no tiene por qu existir.
192
9.1.2.
La suma de una serie de potencias de radio no nulo define en su intervalo de convergencia una
funcin
f (x) =
an (x c)n .
n=0
n=0
nan (x c)
n1
n=1
n=1
$
$
$
$
$ n(x c)n1 $
n $$ x c $$n1
$
$
lm $
= lm
= 0,
n
n |y c| $ y c $
(y c)n $
esta sucesin est acotada, es decir, hay alguna constante M > 0 tal que para todo n
$
$
$ n(x c)n1 $
$
$
$ (y c)n $ M.
Por lo tanto, para todo n
n=1
n=1
absolutamente.
Si, por el contrario, |xc| > R, entonces la sucesin (an (x c)n ) no est acotada, luego la sucesin
(nan (x c)n ) tampoco lo est y la serie
nan (x c)n1
n=1
no converge.
193
n=0
f (x) =
an (x c)n ,
n=0
nan (x c)n1 .
n=1
an xn ,
n=0
nan xn1 ,
n=1
si |x| < R. Sea |x| < s < R y sea y (s, s), y &= x. Entonces,
yn x n
yn x n
f (y) f (x)
= an
= an
.
yx
yx
yx
n=0
n=1
n=1
% n
&
% n
&
f (y) f (x)
y xn
y xn
n1
n1
n1
nan x
= an
nx
= an
nx
.
yx
yx
yx
n=1
n=1
n=2
Tomando valores absolutos y teniendo en cuenta que |x| < s, |y| < s, se deduce que
$ n
$
$ y xn
$
n(n 1) n2
n1
n2
$
$
= |y x|
s .
$ y x nx $ |y x| (1 + 2 + 3 + + (n 1)) s
2
absolutamente. Sea M =
n=2
n=2
$
$
$ f (y) f (x)
$
n(n 1) n2 M|y x|
$
$
nan xn1 $ |an | |y x|
s
=
.
$
$ yx
$ n=2
2
2
n=1
Por consiguiente,
lm
yx
f (y) f (x)
nan xn1 = 0,
yx
n=1
converge
194
n=0
f (x) =
an (x c)n
n=0
n=k
En consecuencia
f (n) (c)
,
n!
de manera que las sumas parciales de la serie son los correspondientes polinomios de Taylor de f en
el punto c.
an =
Demostracin. La primera parte se prueba por induccin sobre k. Para la segunda, tomando en particular x = c, se sigue que f (n) (c) = n! an .
Corolario 9.1.8. Si dos series de potencias
n=0
n=0
suma f en un cierto entorno del punto c, entonces las dos series tienen los mismos coeficientes: en
realidad, para todo n 0 se cumple
f (n) (c)
.
n!
El teorema 9.1.6 muestra que la derivacin de una serie de potencias se hace derivando cada uno
de sus trminos, como si fuese un polinomio; esto permite sumar fcilmente determinadas series a
partir de otras de sumas conocidas.
an = bn =
y, en general,
xn =
n=0
1
1
si |x| < 1, para estos valores de x se tiene nxn1 =
;
1x
(1 x)2
n=1
n=k
n=0
f (x) =
an (x c)n ,
n=0
Entonces la serie
x (c R, c + R).
an
n + 1 (x c)n+1
n=0
an
(x c)n+1 .
n
+
1
n=0
F(x) = F(c) +
195
an
n + 1 (x c)n+1 ,
n=0
an (x c)n
n=0
an
n + 1 (x c)n+1 ,
x (c R, c + R).
n=0
El teorema 9.1.9 prueba que g tiene derivada en (c R, c + R) igual a f , es decir, que g es una primitiva
de f en (c R, c + R), por lo que F y g difieren en una constante. Como g(c) = 0, se sigue que
F(x) g(x) = F(c).
Ejemplo. Partimos de
n=0
(1)n xn = 1 + x ;
n=0
(1)n n+1
(1)n1 n
log(1 + x) = log 1 +
x
=
x ,
n
n=0 n + 1
n=1
si x (1, 1).
1
1+x
en (1, 1),
n=0
(1)n x2n = 1 + x2 ;
n=0
esto es vlido si | x2 | < 1, es decir, si |x| < 1. Como arc tg x es una primitiva de
1
,
1+x2
resulta que
(1)n 2n+1
(1)n 2n+1
x
=
x
,
n=0 2n + 1
n=0 2n + 1
arc tg x = arc tg 0 +
si x (1, 1).
Hemos visto que en los extremos del intervalo de convergencia la serie puede no converger; si lo
hace, es interesante disponer de algn resultado que, bajo ciertas condiciones, garantice que la funcin
definida por la serie sea cuando menos continua, como el siguiente lema (su demostracin puede verse
en [ROSS, teor. 26.6, pgs. 147148]).
n=0
an Rn es convergente. Entonces
n=0
lm an (x c)n .
an Rn = x(c+R)
n=0
n=0
196
2n + 1 = 4 .
n=0
(1)n1
n = log 2;
n=1
f (n) (c)
(x c)n
n!
n=0
(como una especie de frmula de Taylor llevada al lmite) en la parte del dominio de f donde tal serie
converja. Sin embargo, la situacin real no es tan satisfactoria. Por ejemplo, la funcin
)
2
e1/x si x > 0,
f (x) =
0
si x 0,
tiene derivadas de todos los rdenes en cada punto de R, y en 0 es f (n) (0) = 0 para cada n N. Por
f (n) (0) n
consiguiente, la frmula f (x) =
x solo se cumple para x = 0.
n!
n=0
Se puede demostrar que para que una funcin f coincida con la suma de su serie de Taylor es
necesario que sus derivadas sucesivas no tengan un tamao desmesurado. En aplicaciones concretas
es suficiente comprobar que las derivadas estn acotadas por potencias sucesivas de una constante,
como vamos a ver ahora.
Proposicin 9.2.1. Sea f una funcin con derivadas de todos los rdenes en un intervalo (c R, c +
R). Supongamos que existan nmeros reales no negativos A y B tales que
| f (n) (x)| B An
n=0
f (n) (c)
(x c)n .
n!
Demostracin. Sea |x c| < R. Si x &= c, dado m N, aplicando la frmula de Taylor (teorema 5.4.8)
podemos escribir, para algn tm comprendido entre x y c,
$
$ $
$
$ $ f (m+1) (t )$$
m
(n) (c)
f
Am+1
m
$
n$
(x c) $ =
|x c|m+1 B
|x c|m+1 .
$ f (x)
$
$
n!
(m
+
1)!
(m
+
1)!
n=0
Por lo tanto, la expresin de la izquierda tiende a 0 cuando m , es decir, la serie converge y su
suma es f (x).
Ejemplo. La funcin f (x) = sen x cumple | f (n) (x)| 1 para todo n 0 y todo x R. Tomamos c = 0
en la proposicin 9.2.1 y deducimos que
f (x) =
n=0
f (n) (0) n
x
n!
197
)
(1)n/2 sen 0 = 0,
si n es par,
f (n) (0) =
(n1)/2
(n1)/2
(1)
cos 0 = (1)
, si n es impar,
(1)k
k=0
(1)k 2k
x ,
k=0 (2k)!
n! xn
n=0
para todo x (R, R). Como R es arbitrario, el desarrollo es vlido para cualquier x R.
Nota. Si reflexionamos un momento, tenemos ante nosotros una manera rigurosa de construir las
funciones seno, coseno, exponencial. Las series que hemos escrito son series de potencias de radio
+, que definen sendas funciones en R; otra cuestin es que resulte fcil o complicado demostrar que
estas funciones gozan de las propiedades que venimos utilizando en relacin con el seno, el coseno y
la exponencial. Dedicaremos a su estudio el ltimo captulo, para que sirva a su vez de muestra de la
enorme potencia de los conocimientos que hemos ido adquiriendo a lo largo del curso.
Para comprobar la validez de ciertos desarrollos es a veces ms conveniente usar otros recursos,
en lugar de la frmula de Taylor.
Ejemplo (serie binmica). Veamos que para cada R es
! "
n
(1 + x) =
x ,
siempre que |x| < 1.
n=0 n
Para N {0}, esta frmula se reduce a la del binomio de Newton y es vlida para todo x R.
Suponemos, pues,
/ N {0}. El criterio 8.3.6 del cociente nos da que el radio de convergencia de
la serie es 1, luego podemos definir una funcin
! "
n
f (x) =
x ,
x (1, 1),
n=0 n
198
que, en principio, no tiene por qu coincidir con (1 + x) en dicho intervalo. Pero como
! "
n1
%
f (x) = n
x ,
n
n=1
de
! "
!
"
( 1) ( n + 1)
( 1) ( n + 1)( n)
n
+ (n + 1)
=n
+ (n + 1)
n
n+1
n!
(n + 1)!
( 1) ( n + 1) ( 1) ( n + 1)( n)
=n
+
n!
n!
( 1) ( n + 1)
= [n + ( n)]
n!
! "
=
,
n
se deduce que f % (x)(1 + x) = f (x), por lo que f (x)/(1 + x) tiene derivada nula y por tanto se
mantiene constante en todo el intervalo (1, 1). Tomando x = 0 se sigue que el valor de tal constante
es 1, es decir, que f (x) = (1 + x) para todo x (1, 1).
De especial inters resulta el caso particular = 1/2. Entonces,
!
" ' 1( ' 3( ' 5(
2 2 2 ( 12 n + 1)
1/2
=
n
n!
1 3 5 (2n 1)
= (1)n
2n (n!)
1 3 5 (2n 1)
= (1)n
,
2 4 6 (2n)
con lo cual
1
1 3 5 (2n 1) n
= (1)n
x ,
2 4 6 (2n)
1 + x n=0
1 < x < 1.
Del criterio 8.3.1 de Leibniz y del lema 9.1.10 de Abel se sigue que esta frmula tambin es vlida
para x = 1.
A veces se escribe abreviadamente
1 3 5 (2n 1) = (2n 1)!!,
2 4 6 (2n) = (2n)!!.
1 3 5 (2n 1) x2n+1
2n + 1
n=0 2 4 6 (2n)
1 < x < 1,
1
= xn = 1 + x + x2 + + xn + . . . , si 1 < x < 1.
1 x n=0
9.3. Ejercicios
199
! "
n
( 1) 2
( 1) . . . ( n + 1) n
x = 1 + x +
x ++
x + . . . , si 1 <
n
2!
n!
n=0
b) (1 + x) =
x < 1.
(1)n1 n
1
1
1
x = x x2 + x3 x4 + . . . , si 1 < x 1.
n
2
3
4
n=1
c) log(1 + x) =
1 n
1
1
1
x = 1 + x + x2 + x3 + x4 + . . . , para todo x R.
n!
2
3!
4!
n=0
d) ex =
(1)n 2n+1
1
1
1
x
= x x3 + x5 x7 + . . . , para todo x R.
(2n
+
1)!
3!
5!
7!
n=0
e) sen x =
(1)n 2n
1
1
1
x = 1 x2 + x4 x6 + . . . , para todo x R.
(2n)!
2!
4!
6!
n=0
f) cos x =
1 3 5 (2n 1) x2n+1
1
3
= x + x3 + x5 + . . . , si 1 x 1.
2n + 1
6
40
n=0 2 4 6 (2n)
g) arc sen x =
(1)n 2n+1
1
1
1
x
= x x3 + x5 x7 + . . . , si 1 x 1.
3
5
7
n=0 2n + 1
h) arc tg x =
9.3. Ejercicios
Ejercicio 9.1. Determinar el intervalo de convergencia de las series de potencias de trmino n-simo:
a)
e)
i)
m)
n!
3 5 . . . (2n + 1)
2n n
x
n2
n
nx
n!
"2
xn
* x +n
n
b)
! "
2n n
x
n
c)
n( n 2 1)xn
d)
h)
f)
2n n
x
n!
g)
3n n
x
n4n
j)
xn!
k)
n)
log n n
x
n
xn tg
n xn
a
,
2n
l)
1
n(log n)/n (sen )xn
n
(1)n n
x
n2 4n
3n
x2n+1
n
a>0
2x2 3
(x 1)2
b)
d)
log(1 + x 2x2 )
e)
x
9 + x2
1+x
log
1x
c)
1
4 x4
f)
log(x + 1 + x2 )
g)
3
8+x
h)
(1 + ex )3
i)
(1 + x)ex
j)
cos2 x
k)
cos x sen2 x
l)
sen2 2x
n)
log(1 2x)
1 + x3
m)
log
a + bx
,
a bx
a, b > 0
200
o)
r)
x
, a, b > 0
a2 b2 x2
1
+ x2 sen x
x1
, x#
0
p)
(x2 + 1)e2x
q)
s)
, x
t)
ez dz
sen x x cos x
, x
0
dz
1 z4
(centrada en 0). Hallar el radio y el intervalo de convergencia del desarrollo. Hallar f (7 (0) y f (11 (0).
(a + bx)1 ,
c)
1 + x,
x0 = 1,
a, b > 0
x0 = 3
3x
,
2
b)
sen
d)
log 2x
x0 =
1
,
x1
x0 = 2
, x
0
t dt
,
(3 t)(t + 2)
2 < x < 3,
x4n1
x
x2
x3
x4
a) 1 + (1)n
b)
+
+
+
+...
4n
12 23 34 45
n=1
x4n1
y probar que su suma es
n=1 4n 1
Ejercicio 9.8. Encontrar la nica serie de potencias f (x) = an xn con radio de convergencia no
n=0
x3n
y sumarla en
n=1 n(3n + 1)
2n (n 1) n+1
x .
2
n=2 n + n