Sucesiones y Series - Universidad de Extremadura

ra - Fernand
du o S
a
m
n
4 tre
Clculo II
Universidad de Extremadura
Departamento de Matemticas
che
e Ex
Sucesiones y
z - Departam
series funcionales
rsidad d
ive
e
n
n
to
En este captulo se van a estudiar sucesiones (fn ) y series
U P
fn cuyos trminos son funciones
fn : A R R. Por ejemplo, se vern sucesiones como (f 1 , f 2 , f 3 , . . .) donde f 1 (x) =
de -
Matemticas
sen x, f 2 (x) = sen 2x, f 3 (x) = sen 3x, . . . , fn (x) = sen nx, . . ., todas definidas en algn dominio
comn. Estas sucesiones (y series) de funciones se llaman sucesiones (y series) funcionales.
18 03 2016
Aparte de presentar una mayor complejidad, una de las diferencias entre las sucesiones
funcionales y las sucesiones numricas es la existencia para las primeras de ms tipos de
convergencia: puntual, uniforme,. . .
Ejemplos:
ra - Fernand
u o
A) Se puede considerar la sucesin de funciones
d S
a x2 x2 x3
m
f 1 (x) = 1, f 2 (x) = 1 + x, f 3 (x) = 1 + x + , f 4 (x) = 1 + x + + ,...
n
2 2! 3!
tre
che
Es evidente que en en x = 0 la sucesin (fn (0)) va tomando los valores (1, 1, 1, . . .), con lo
e Ex
que es convergente. Para x = 1 se obtiene la sucesin

z - Departam
1 1 1
1, 1 + 1, 1 + 1 + , 1 + 1 + + , . . .
2 2 3!
d
cuyo lmite es e.
ad
B) La sucesin de funciones
id
f 1 (x) = x, f 2 (x) = 1 x, f 3 (x) = x, f 4 (x) = 1 x, f 5 (x) = x, . . .

rs
converge slo para x = 1/2. Para cualquier otro valor x, la sucesin

ive
(fn (x)) = (x, 1 x, x, 1 x, x, 1 x, . . .)

e
n
to
no converge: la diferencia de trminos consecutivos es |1 x x| = |1 2x|, que no tiende a
U
cero.
de -
Matemticas
Sucesiones y series funcionales 1
ra - Fernand
du o S
C) La sucesin de funciones
a
m f 1 (x) = 1, f 2 (x) = x, f 3 (x) = x 2 , f 4 (x) = x 3 , . . .
n
tre
converge para algunos valores de x, como x = 0, x = 0 079 o x = 1, pero no converge para
che
otros, como x = 1 o x = 6.
e Ex
D) Hay sucesiones de funciones que no convergen en ningn punto, como las funciones
z - Departam
constantes fn (x) = n.
d
Definicin. Se consideran las funciones fn : A R R, para

n = 1, 2, 3, . . .. Se dice que (fn ) es puntualmente convergente a la
d
+
funcin f : A R R si en cada punto x A la sucesin
a
f (x) f
(fn (x)) converge a f (x), es decir, si
d
f1
s
x A, f (x) = lim fn (x).

r
n
e
Esto significa que

iv
e
f2
n
x A, > 0, N : n > = |fn (x) f (x)| < .
n
to U
de -
En la definicin queda claro que el valor depende de x y de . Es frecuente escribir x, en
Matemticas
lugar de para resaltar esta dependencia.
p
La convergencia puntual se denota mediante fn f .
Definicin. Se dice que (fn ) es uniformemente convergente a f si
ra - Fernand
> 0, N : n > = |fn (x) f (x)| < (x A).
f +
du o S
En la definicin se observa que slo depende de , es un valor
f
a vlido para cualquier x A.
f
m u
La convergencia uniforme se denota fn f . Grficamente
n
fn
tre
significa que en cada banda que rodea a f de radio (delimitada

che
por las funciones f ) estn todas las grficas de las funciones

e Ex
fn a partir de un ndice.
z - Departam
u
La convergencia uniforme fn f se puede escribir de varias formas, que son todas
equivalentes:
d
a) > 0, N : n > = |fn (x) f (x)| < (x A),

d
b) > 0, N : n > = sup |fn (x) f (x)| < ,

a
x A
d
c) > 0, N : n > = fn B(f , ),

rsi
donde B(f , ) es la banda que rodea a f de radio :

e
B(f , ) = { : A R : f f + }
iv
= { : A R : f (x) (x) f (x) + (x A)}

n
to
= { : A R : |(x) f (x)| (x A)}
U
de -
= { : A R : sup |(x) f (x)| }
Matemticas x A

ra - Fernand
u
du o
p
S
a
Es evidente que fn f = fn f (la convergencia uniforme es la convergencia puntual
m
en la que adems puede elegirse el mismo valor para todos los valores x A). Sin embargo hay
n
sucesiones puntualmente convergentes que no convergen uniformemente. En consecuencia, si
tre
p
fn f entonces (fn ) podr ser uniformemente convergente o no; pero si lo es, entonces el
che
nico lmite posible es el lmite puntual f .
e Ex
z - Departam
Ejemplo. La sucesin de funciones
d
f 1 (x) = x, f 2 (x) = x 2 , f 3 (x) = x 3 , f 4 (x) = x 4 , . . . 1

d
es decir,
a
fn : x [0, 1] fn (x) = x n R f1
d
f2
converge puntualmente a la funcin
i
f3
rs
f
1 si x = 1
(
e
f : x [0, 1] f (x) = 1
0 si x < 1
iv
e
n
n
to
La convergencia puntual se prueba fcilmente: U
de -
si 0 x < 1 entonces fn (x) = x n 0 = f (x);
Matemticas n
si x = 1 entonces fn (x) = 1 1 = f (1).

n
Sin embargo, la sucesin (fn ) no es uniformemente conver-

gente. De serlo, su nico posible lmite es f . Ahora bien, es 1
u
falso que fn f , ya que si f se rodea con una banda de
a - Fernand
radio , en esa banda no est la grfica de ninguna funcin
r
u o
fn (en esa banda deberan estar todas salvo una cantidad
d S
f1
f2
finita de ellas).
a f3
m
Este ejemplo muestra adems que las funciones fn pueden + f
n
ser continuas y derivables y su lmite puntual no es ni

tre
1
siquiera continua. banda de radio
che
e Ex
u
Cmo comprobar la convergencia uniforme. De la definicin se sigue que fn f en A
z - Departam
si y slo si sup |fn (x) f (x)| 0 para n . Esta comprobacin no suele ser difcil: se
x A
d
calcula el lmite puntual de (fn ), si existe. Despus se halla el valor mximo de la funcin fn f .
Este valor mximo se puede encontrar haciendo la derivada e igualando a 0, o tambin por
d
simple observacin cuando las funciones son sencillas,. . . Si ese valor mximo tiende a cero,
a
entonces hay convergencia uniforme. En otro caso, no. Un par de ejemplos (pueden verse con
d
ms detalle en las hojas de ejemplos y ejercicios):

si
a) La sucesin de funciones fn (x) = nx(1 x)n converge puntualmente en [0, 1] a la funcin

r
f = 0. La funcin fn f alcanza el valor mximo en x = 1/(n + 1). Ese valor mximo es

ve
n n+1
max (fn f ) = ( n+1 ) , que no tiende a cero cuando n (entre otros argumentos, esos
i
x [0,1]
e
n
valores van creciendo a medida que n crece). Por tanto, fn no converge uniformemente.
n
to U
b) La sucesin de funciones fn (x) = x n (1 x) converge puntualmente a la funcin f = 0 en
de -
Matemticas
[0, 1]. Eso es fcil de comprobar. Para ver la convergencia uniforme se calcula el valor mximo

ra - Fernand
du o S n n 1
a
de fn f . Este valor se alcanza en x = n/(1 + n) y por tanto es max (fn f ) = ( n+1
x [0,1]
) n+1 .
m
Como este valor tiende a 0 para n , se tiene que fn converge uniformemente a 0.
n
tre
Ejemplo. Las funciones
che
1 si x = 1/n
e Ex (
fn : x [0, 1] fn (x) =
0 resto
z - Departam
convergen puntualmente a la funcin 0. Pero no convergen uniformemente. Que convergen
puntualmente es sencillo: si x [0, 1] entonces todos los valores fn (x) son iguales a cero, salvo
d
en un slo caso, cuando x = 1/n y la funcin es fn . Que no convergen uniformemente se sigue

d
del hecho que fn vale 1 en un punto en el que f vale 0.

a
Ejemplo. Si denotamos a los nmeros racionales de [0, 1] como

d
1
(xn ) = Q[0, 1] (esto puede hacerse ya que los racionales forman
si
un conjunto numerable), las funciones

r
f3
e
1 si x = x 1 , . . . , xn
(
v
fn : x [0, 1] fn (x) =
0 resto
i
e
n
n
to
convergen puntualmente a la funcin de Dirichlet
U x2 x3 x1 1
de - (
1 si x Q
Matemticas
f : x [0, 1] f (x) =
0 si x < Q
Esto es fcil de comprobar:

si x [0, 1] es racional, entonces x = xk para un cierto k y as fn (x) = 1 para n k;
si x [0, 1] es irracional entonces fn (x) = 0 para todo n.
ra - Fernand
u o
Por otra parte, es fcil comprobar que la convergencia no es uniforme: basta notar que fn toma
d S
a
el valor 0 en muchos valores racionales mientras que f vale 1 en todos esos valores.
m
Adems, este ejemplo muestra que las funciones fn pueden ser Riemann-integrables (son
n
continuas casi siempre), pero el lmite puntual no lo es (es una funcin esencialmente
tre
discontinua).
che
e Ex
[Con la integral de Lebesgue no ocurren estas anomalias. Si una sucesin (fn ) de funciones
Lebesgue integrables convergen puntualmente a una funcin f en A, bajo hiptesis no

z - Departam
demasiado
fuertes se puede asegurar que esta ltima funcin f es integrable y adems
d
f
A n A f . Se conocen como teoremas de la convergencia montona y convergencia
dominada y marcan una gran diferencia entre la integral de Riemann y la de Lebesgue.]
d
Ejemplo (joroba deslizante y creciente). Se consideran las 3

a
funciones fn cuyas grficas son tringulos de rea 1/2, tal y como

d
f3
se muestra en la figura de la derecha.
i
2
s
Estas funciones convergen puntualmente a la funcin f = 0. f2

r
Todas son Riemann integrables. Sin embargo, ni siquiera en este

e
1
caso la integral del lmite (puntual) es el lmite de las integrales,
v
1 1 f1
ya que 0 fn = 21 para todo n N, pero 0 f = 0, es decir, para
i
e
n
el lmite puntual se tiene

to 1/3 1/2 1
1 U 1 1
1de -
= lim fn , lim fn = f = 0.
2 Matemticas
n 0 0 n 0

ra - Fernand
du o S
Ejemplo (otra joroba deslizante y creciente). La sucesin de
f4 a funciones fn (x) = n2x(1 x)n converge puntualmente a f (x) = 0
m en [0, 1]. Sin embargo
n
1
tre
f3 1 1 1
che
2 n 2
e Ex fn (x) dx = n x(1 x) dx = n (1 t)t n dt
f2 0 0 0
z - Departam
n2 n2
f1 = 1.
n+1 n+2 n
d
1
Esto prueba otra vez que el lmite de las integrales no es igual a la integral del lmite
d
(en la convergencia puntual). Las operaciones integracin y lmite puntual no pueden ser
a
intercambiadas.
d
1
si
Ejemplo (joroba deslizante no creciente). La grfica muestra f1

r
funciones fn , todas acotadas por el mismo valor, que convergen f2

e
puntualmente a la funcin 0, pero que no convergen unifor- f3

v
f4
memente. Se puede hacer una construccin parecida utilizando
i
e
n
n
funciones cuyas grficas sean tringulos similares a los de la
to
de - U
grfica de ms arriba slo que todos con la misma altura.
Matemticas
Estas funciones no convergen uniformemente. El nico lmite uniforme posible es el lmite
1
puntual f = 0, pero max(fn f ) = 1 para todo n.
Teorema (convergencia uniforme y continuidad). El lmite uniforme de funciones continuas es

u
Fernand
continuo: si cada fn es continua y fn f entonces f es continua.
ra -
u o
u
Demostracin. Sean fn , f : A R R, con fn continua y fn f . Se trata de ver que f es
d S
a
continua en cada x A. Sea entonces > 0. Si y A se puede escribir
m
|f (x) f (y)| |f (x) fn (x)| + |fn (x) fn (y)| + |fn (y) f (y)|.
n
tre
che
Por una parte

e Ex
|f (x) fn (x)| /3, |fn (y) f (y)| /3

z - Departam
si n (el mismo valor para ambos) por la convergencia uniforme. Se elige entonces una
funcin fn con n . Como fn es continua en x existe > 0 tal que
d
|fn (x) fn (y)| /3

ad
si |x y| < .
d
As, existe > 0 que verifica

si
|f (x) f (y)| <

er
para |x y| < , y por tanto f es continua en x.

iv
e
n
La convergencia uniforme conserva la continuidad y, como se ver ms adelante, otras

n
to
propiedades de las funciones fn . Sin embargo hay ejemplos que delimitan hasta dnde llega
U
de -
esta conservacin de propiedades mediante la convergencia uniforme.
Matemticas
ra - Fernand
du o S
a
Ejemplo. Las funciones fn representadas tienen todas sus
m
grficas con la misma longitud y convergen uniformemente a
1 f1
n
una funcin (la funcin cero) cuya grfica tiene una longitud
tre
f2
che
distinta. e Ex f3
La longitud de las grficas no se conserva mediante la conver-
gencia uniforme. 1 2
z - Departam
d
Ejemplo. Las funciones
d
1/n si |x| n
(
1 f1 fn (x) =
a
0 si |x| > n
f2
d
f3
convergen uniformemente a la funcin 0. Se verifica adems que
si
3 2 1 1 2 3

er
fn = 2.
v
R
i
e
n
Este ejemplo muestra que con la convergencia uniforme no se da siempre que la integral del
n
to
lmite sea el lmite de las integrales: U
de -
u
fn f y 2 = lim Matemticas
fn , lim fn = 0 = 0.
R R n R
u
Teorema (convergencia uniforme e integrabilidad Riemann). Si fn f en [a, b] y cada
fn R[a, b], entonces f R[a, b] y adems
b ! b
ra - Fernand
fn f.
a n a
Se suele expresar tambin como
du o S
a b b
m lim fn = lim fn .
n
a u n a
tre
Se podra representar este teorema mediante el diagrama siguiente: si cada fn es Riemann

che
integrable entonces tambien lo es f y las integrales convergen a la integral de f :

e Ex
u
z - Departam
fn f
d
b b
fn f
d
a a
a
Demostracin. Sea > 0. Para probar que f R[a, b] se trata de encontrar una particin
d
P P[a, b] para la cual se verifique U (f , P) L(f , P) < . La clave de la demostracin est en

i
la igualdad
rs
U (f , P) L(f , P) = U (f , P) U (fn , P) + U (fn , P) L(fn , P) + L(fn , P) L(f , P).

ve
Por hiptesis (convergencia uniforme) existe N tal que si n > entonces |fn (x) f (x)| <
i
e
n
/(4(b a)) para todo x [a, b]. As, para cualquier particin P se tiene
n
to U
U (f , P) U (fn , P) M(f fn )(b a) /4
de -
Matemticas
L(fn , P) L(f , P) M(fn f )(b a) /4

ra - Fernand
du o S
a
Adems, como fn R[a, b] existe una particin P P[a, b] con
m U (fn , P) L(fn , P) < /2.
n
tre
che
En total U (f , P) L(f , P) < y f R[a, b]. Por ltimo
e Ex
b b b

fn f |fn f | .
z - Departam

4

a a a
d
La integral de Riemann necesita hiptesis fuertes para pasar al lmite: ste debe ser uniforme y
sobre un intervalo acotado. En un contexto mucho ms amplio, la integral de Lebesgue, que
d
extiende a la integral de Riemann y que permite integrar muchas ms funciones, permite hacer
a
el paso al lmite con hiptesis ms dbiles.

d
p
i
Teorema (convergencia dominada de Lebesgue). Si cada fn es Lebesgue integrable en A, fn f

rs
y existe una funcin Lebesgue

integrable
en A con |fn | para todo n N, entonces f es
e
Lebesgue integrable y lim A fn = A lim fn .

iv
e
n
En el ltimo ejemplo, la menor funcin que verifica |fn | para todo n es una funcin
n
to
escalonada cuya rea en todo R es infinita. No existe entonces una funcin integrable que
U
domine a las funciones fn y no puede aplicarse por tanto este teorema de Lebesgue.
de -
Matemticas
Y la convergencia uniforme y derivabilidad? Cabe esperar algn fn
u
f
resultado positivo en algn sentido? Por ejemplo, si las funciones
u 0 0
fn son derivables y fn f . debe ser f derivable? Y si lo es,
u u
debe cumplirse que fn0 f 0? fn0 f0
ra - Fernand
La respuesta a ambas cuestiones es no, como muestran los ejemplos siguientes.
du o
Ejemplos. a) Las funciones fn (x) = x 2 + 1/n , representadas
p
S
a
en color rojo en la grfica de la derecha, son diferenciables y
m
convergen uniformemente a la funcin f (x) = |x| que no es
n
2
diferenciable. Este ejemplo cierra cualquier posibilidad sobre
tre
un teorema (similar al probado para la continuidad) del tipo

che
1
convergencia uniforme y derivabilidad.
e Ex
En las hojas de ejemplos y ejercicios puede verse cmo justificar |x|

z - Departam
la convergencia uniforme de estas funciones. 2 1 1 2

u
b) Las funciones constantes fn (x) = n cumplen fn0 0 pero
d
(fn ) no converge ni siquiera puntualmente.

ad
1 c) Las funciones fn (x) = (sen nx)/ n son todas diferenciables

p
f1
f5
d
y convergen uniformemente a la funcin cero (en la grfica se

han representado slo f 1 y f 5 ). Sus derivadas son las funciones
si
fn (x) = n cos nx, que no convergen ni siquiera puntualmente.

0
p
r
1
e
Estos ejemplos dejan claro que la derivacin y la convergencia uniforme no tienen mucho en
v
comn. Sin embargo, s existe un resultado sobre el paso a primitivas, que suele enunciarse
i
e
n
errneamente como convergencia uniforme y derivacin y que aqu se llamar convergencia

n
to
uniforme y primitivas. Para su enunciado y demostracin conviene definir el carcter de Cauchy
U
de -
de una sucesin, tanto puntual como uniforme.
Matemticas
ra - Fernand
du o S
a
Definicin. Dadas las funciones fn : A R R, se dice que (fn ) es puntualmente de Cauchy
si en cada punto x A la sucesin (fn (x)) es de Cauchy. Es decir, si
m
n
x A, > 0 N : n, m > = |fn (x) fm (x)| < .
tre
che
Se dice que (fn ) es uniformemente de Cauchy si
e Ex
> 0 N : n, m > = |fn (x) fm (x)| < (x A.)
z - Departam
(en este caso el valor es el mismo para todos los valores x A)
d
Al igual que ocurre con las sucesiones de nmeros reales, una sucesin de funciones es
puntualmente de Cauchy si y slo si es puntualmente convergente. Y una sucesin es
d
uniformemente de Cauchy si y slo si es uniformemente convergente.

da
Teorema (convergencia uniforme y primitivas) Sea fn diferenciable en [a, b] para todo n N. Si

u
i
la sucesin de funciones derivadas converge uniformemente, fn0 , y existe un valor c [a, b]

rs
en el que fn (c) es convergente, entonces la sucesin fn converge uniformemente a una funcin f

e
u
derivable, fn f , y adems f 0 = .
iv
e
n
fn
u
f Si las funciones derivadas convergen uniformemente fn0 y las
n
to
primitivas se eligen adecuadamente, es decir, fn (c) converge para algn
U
valor (elegir la constante de integracin es lo mismo que elegir cunto vale
de -
fn0
u
Matemticas
fn en un punto c), entonces estas primitivas convergen uniformemente a
una funcin f que es primitiva de .
Demostracin. Se trata de probar que (fn ) es uniformemente de Cauchy. Sea > 0. La clave de
la demostracin est en la desigualdad
|fn (x) fm (x)| |(fn fm )(x) (fn fm )(c)| + |(fn fm )(c)|.
a - Fernand
Por el teorema del valor medio del clculo diferencial existe z A que verifica
r
du o S
|(fn fm )(x) (fn fm )(c)| = |(fn fm ) 0(z)| |x c| |(fn fm ) 0(z)| |b a|.
a
m
Por hiptesis (fn0) es uniformemente convergente y por tanto uniformemente de Cauchy. Luego
n
existe 1 N tal que

tre

|(fn fm ) 0(z)|
che
2(b a)
e Ex
para n, m > 1 .
z - Departam
Adems (fn (c)) es convergente, luego es de Cauchy y por tanto existe 2 N tal que

d
|(fn fm )(c)|
2
para n, m > 2 .
ad
En total, si n, m > max{ 1 , 2 } entonces

d

|fn (x) fm (x)| |(fn fm )(x) (fn fm )(c)| + |(fn fm )(c)| + = .
i
2 2
rs
u
Por tanto (fn ) es uniformemente de Cauchy y as existe el lmite uniforme, fn f . Se trata
ve
de probar que f es diferenciable y f 0 = . La demostracin es la desigualdad siguiente

i
e
n
f (y) f (x) f (y) f (x) fn (y) fn (x) fn (y) fn (x)

n

(x)
to + fn0(x)
y x y x y x y x

de
0 - U
+ fn (x) (x) .

Matemticas
ra - Fernand
du o S
Sea entonces > 0.
a
m
De nuevo por el teorema del valor medio del clculo diferencial, existe un valor z A para el
n
cual
tre
fm (y) fm (x) fn (y) fn (x)
che
fm0 (z) fn0(z) 0

y x y x n,m
e Ex

y as
z - Departam
f (y) f (x) fn (y) fn (x)
0
y x y x n

d
de donde
d
f (y) f (x) fn (y) fn (x)

<
a
y x y x 3

d

para n suficientemente grande.
si
u
Por hiptesis fn0 y por tanto
er
fn0(x) (x) <

3
i
e
n
n
para n suficientemente grande.
to
de - U
Se elige entonces n suficientemente grande para que se cumplan las dos estimaciones anteriores.
Matemticas
Por hiptesis, fn es diferenciable y as, existe > 0 tal que
fn (y) fn (x)
fn0(x) <
y x 3

si |x y| < .
Por tanto
ra - Fernand
f (y) f (x)
u o

(x) <
ad y x

S
para |x y| < y as f es diferenciable y f 0 = .

m
n
tre
Nota 1. Este teorema es cierto en intervalos acotados. Las funciones constantes fn0(x) = 1/n
che
convergen uniformemente a 0 en R. Se pueden elegir como primitivas

e Ex
a) fn (x) = x/n, para las cuales se cumple que (fn (0)) es convergente. Se cumplen entonces
z - Departam
las hiptesis de teorema. Sin embargo, (fn ) no es uniformemente convergente en R, pero

s es uniformemente convergente a la funcin f = 0 en cada intervalo acotado.
d
b) fn (x) = x/n + n2 , que no convergen ni siquiera puntualmente.

ad
Nota 2. La relacin que hay entre una funcin y su primitiva queda pendiente de una constante
d
de integracin: se dice que F (x) es una primitiva de f (x) si F 0(x) = f (x), y entonces tambin
es una primitiva una funcin del tipo F (x) + C.
rsi
Por ejemplo, f (x) = 1 2x tiene como primitiva F (x) = x x 2 + C. Esa constante C se puede
e
determinar fijando el valor de F en algn punto. Por ejemplo, la primitiva F que verifica F (3) = 2
v
es la funcin F (x) = x x 2 + 8.
i
e
n
to
Por este motivo aparece esa condicin existe un valor c [a, b] en el que fn (c) es convergente.
U
Con ello se indica que las primitivas fn de las funciones fn0 tienen las constantes de integracin
de -
adecuadas. Matemticas
ra - Fernand
Series de funciones d
u o S
a
m
n
Dada una sucesin de funciones (fn ), donde fn : A R R, se habla de la serie n fn como
tre
P
la sucesin de sumas parciales (f 1 , f 1 + f 2 , f 1 + f 2 + f 3 , . . .), y se escribe
che

X
e Ex
fn = (f 1 , f 1 + f 2 , f 1 + f 2 + f 3 , . . .) = f 1 + f 2 + f 3 + f 4 + . . .
z - Departam
n=1
Segn que esta sucesin de sumas parciales sea convergente (puntual o uniformemente) se dice
d
que la serie es sumable (puntual o uniformemente).

d
Ejemplo. Si fn (x) = x n para todo n = 0, 1, 2, . . . , la serie es la sucesin (1, 1 + x, 1 + x + x 2 , . . . ),

a
y se escribe
id
fn = (1, 1 + x, 1 + x + x 2 , . . . ) = 1 + x + x 2 + x 3 . . . = xn .
X X
r
n=0 n=0
ve
Ejemplo. Si f 1 (x) = x, f 2 (x) = 1 x, f 3 (x) = x, f 4 (x) = 1 x, . . . la serie es la sucesin de

i
e
n
n
funciones (x, 1, 1 + x, 2, 2 + x, 3, 3 + x . . . ), que se suele escribir como
to

X de - U
fn = (x, 1, 1 + x, 2, 2 + x, 3, 3 + x . . . ) = x + (1 x) + x + (1 x) + . . .
Matemticas
n=1
Definicin.
A) Se dice que n fn es puntualmente (uniformemente) sumable si la sucesin de sumas
P
parciales (f 1 , f 1 + f 2 , f 1 + f 2 + f 3 , . . .) es puntualmente (uniformemente) convergente.
a - Fernand
B) El lmite puntual o uniforme de esta sucesin de sumas parciales, cuando exista, se llama
r
u
suma puntual o uniforme de la serie.
d o S
P
a
C) Se dice que n fn es absolutamente sumable (puntual o uniformemente) si n |fn | es
P
m
sumable (puntual o uniformemente)
n
tre
Los resultados ya vistos para sucesiones se trasladan ahora para series (es decir para sucesiones
che
de sumas parciales).
e Ex
Teorema (sumabilidad uniforme y continuidad). Si cada fn es continua y n fn es uniformemente

P
z - Departam
sumable a f entonces esta suma f es continua.

d
Demostracin. Como cada fn es continua entonces todas las sumas parciales f 1 + . . . + fn

tambin
P son continuas y convergen uniformemente a f . Por el teorema ya visto para sucesiones,
d
f = n fn = limn (f 1 + . . . + fn ) es continua.
da
Teorema (sumabilidad e integrabilidad Riemann). Si cada fn R[a, b] y n fn es

P
i
uniformemente sumable a f entonces f R[a, b] y adems

s
b bX b
r
X
f = fn = fn .
v
a a n=1 n=1 a
i
e
n
to
Demostracin. Si cada fn es Riemann integrable en [a, b] entonces todas las sumas parciales
U
f 1 + . . . + fn tambin lo son y convergen uniformemente a f . Por el teorema ya visto para
de -
Matemticas
sucesiones, f es Riemann integrable y

ra - Fernand
du o S
a
b
m bX
b b
n
f = fn = lim (f 1 + . . . + fn ) = lim (f 1 + . . . + fn )
tre
a a n=1 a n n a
che
e Ex n
X b
X b
= lim fk = fn
n a a
z - Departam
k=1 n=1
(la ltima igualdad es la definicin de suma de una serie: el lmite de las sumas parciales).
d
Teorema (sumabilidad uniforme y primitivas). Sea fn diferenciable en [a, b] para todo n N.

d
Pla serie n fn es uniformemente sumable con suma igual a , y si existe c [a, b] tal que
P 0
Si
a
n fn (c) es sumable, entonces n fn es sumable, su suma es una funcin derivable f que adems
P
d
verifica f 0 = , es decir,
i
X 0 X
fn = fn0 .
rs
n n
ve
Demostracin. Como cada fn es diferenciable entonces tambin lo son las funciones f 1 + . . . + fn

i
e
que forman la sucesin de sumas parciales. Por hiptesis, la sucesin (f 1 +. . .+ fn ) 0 = f 10 +. . .+ fn0
n
n
converge uniformemente a y existe c para el que la sucesin (f 1 (c)+ . . . + fn (c)) es convergente.
to U
Por el teorema ya visto sobre convergencia uniforme y primitivas, la sucesin f 1 + . . . + fn
de -
converge uniformemente a una funcin derivable f , cuya derivada es f 0 = .
Matemticas
Hay dos tipos especialmente importantes de series de funciones: las series de potencias y las
series trigonomtricas.
A) Las series de potencias son series de la forma

r
X
a - Fernand
cn (x a)n = c 0 + c 1 (x a) + c 2 (x a)2 + . . .
du o S
a n=0
m
(es un polinomio infinito escrito en potencias de (x a)).
n
tre
Si fn : x R fn (x) = cn (x a)n ,P
entonces la serie
P de potencias es n fn , aunque suele
P
che
escribirse como una serie numrica n fn (x) = n

n cn (x a) . Esta forma es la que se usa
e Ex
por comodidad.
z - Departam
Las funciones que se pueden escribir como series de potencias son muy regulares: tienen
derivadas de cualquier orden en todos los puntos.
d
B) Las series trigonomtricas son de la forma

d
X
(an cos nx + bn sen nx) = a 0 + a 1 cos x + b1 sen x + a 2 cos 2x + b2 sen 2x + . . .
d
n=0
si
(es un polinomio trigonomtrico infinito). A veces aparecen slo expresadas con la funcin
r
coseno: si tg = B/A entonces

ve
B sen
!
i

e
A cos z + B sen z = A cos z + sen z = A cos z + sen z

n
to A cos
=de A U
(cos cos z + sen sen z) =
- A
cos( z)
cos
Matemticas cos

ra - Fernand
du o S
a
Esta cadena de igualdades dice que las combinaciones lineales de senos y cosenos del mismo
argumento pueden escribirse slo como un coseno, o como un seno. Por este motivo a veces
m
las series trigonomtricas aparecen de forma distinta.
n
tre
Las funciones que pueden escribirse como series trigonom-
che
tricas son una clase muy amplia, precticamente, cualquier
e Ex
funcin imaginable. El teorema de Carleson, demostrado en
z - Departam
1965, prueba que la serie de Fourier (trigonomtrica) de una
funcin de L2 converge en casi todo punto a la funcin.
d
En este curso no se estudiarn series trigonomtricas.

En http://es.wikipedia.org/wiki/Serie_de_Fourier, por Funcin escalonada y serie de
d
Fourier (hasta grado 4)

ejemplo, pueden verse ejemplos sobre este tipos de series.
ida
Series de potencias. Funciones analticas

ers
Una serie
v
e
cn (x a)n = c 0 + c 1 (x a) + c 2 (x a)2 + . . .
X
n
n
ton=0 U
se llama serie de potencias centrada en a R y con coeficientes c 0 , c 1 , c 2 , . . . Dependiendo
de -
Matemticas
de cmo sean estos valores sern las propiedades de la serie: dnde est definida, cmo es la
convergencia uniforme,. . .
Por ejemplo
1 + x + x2 + x3 + x4 + . . .
es una serie de potencias centrada en 0 y con coeficientes todos iguales a 1. Para x = 6 esta
ra - Fernand
serie no tiene sentido, su suma es +; s tiene sentido para x = 0 (su suma sale entonces 1) y
para x = 1/2 (su suma es 2).
du o S
P
a
Para una serie n cn (x a)n cabe preguntarseP para qu valores de x tiene sentido, es decir,
m
cul es el dominio de definicin de f (x) = n cn (x a)n o, dicho de otra forma, en qu valores
n
x la serie es puntualmente convergente. Evidentemente la serie es sumable para x = a y en ese

tre
caso la suma es c 0 . Pero, qu ocurre para otro valores? Es posible que para
P puntos prximos a
che
x = a se obtenga la convergencia. Por ejemplo, para x = a + 1 la serie es cn y para x = a + 2

e Ex
n
la serie que se obtiene es n cn 2 . Son sumables stas dos ltimas series? Est claro que la
P
z - Departam
respuesta depende de cmo sean los coeficientes cn .

Para el estudio de la convergencia puntual de la serie dePpotencias se utiliza el criterio de la
d
raz, ya visto para series numricas. Para cada x la serie n cn (x a)n verifica:
d
n
si limsup |cn (x a)n | < 1 entonces la serie es absolutamente sumable
p
a
n
d
n
si limsup |cn (x a)n | > 1 entonces la serie no es sumable
p
si
n
r
n
e
si limsup |cn (x a)n | = 1 entonces la serie puede ser sumable o no y hay que estudiar este
p
v
n
caso por separado
i
e
n
Como
to n
U n
limsup |cn (x a)n | = |x a| limsup |cn |
p p
de n
- n
Matemticas
ra - Fernand
du o S
se puede definir
a ! 1
m r =
n
limsup |cn |
p
n
n
tre
(r = 0 si este limsup = +, y r = + si este limsup = 0) y expresar lo anterior como
che
e Ex
si |x a| < r entonces la serie n cn (x a)n es absolutamente sumable
P
z - Departam
si |x a| > r entonces la serie n cn (x a)n no es sumable
P
d
si |x a| = r , es decir, para x = a r , entonces la serie puede ser sumable o no y hay que
estudiar este caso por separado
d
El valor r se llama radio de convergencia o de sumabilidad de la serie. Marca el intervalo

a
P r , a + r ) nen el cual la serie est definida. Si x (a r, a + r ) (es decir, si |x a| < r ) entonces

d
(a
n cn (x a) es absolutamente sumable. Si |x a| > r entonces la serie es no sumable. Para los
si
valores x = a r y x = a + r hay que comprobar cmo es el carcter de la serie, sumable o no.

er
Ejercicio. El radio de convergencia puede calcularse tambin utilizando el criterio del cociente.
v
El resultado es el mismo (ver las hojas

Pde problemas de Clculo I). Puede probarse que si r es el
i
e
n
n
radio de convergencia de una serie an (x a) y an , 0 entonces
n
to U
an an
de -
liminf r limsup .
Matemticas
n an+1 n an+1
Ejemplos:
1) La serie

xn = 1 + x + x 2 + x 3 + . . .
X
ra - Fernand
n=0
u o
est centrada en a = 0. Su radio de convergencia es
d S
a n
m r 1 = limsup 1 = 1.
p
n
n
tre
Por tanto, la serie est bien definida (es absolutamente sumable) en el intervalo (1, 1).
che
e Ex
Es no sumable en [1, 1]c (es decir, en los puntos que cumplen |x| > 1).
z - Departam
Puede ser sumable o no en los bordes del intervalo. En x = 1 la serie es 1 + 1 + 1 + . . ., que

es no sumable. En x = 1 la serie es 1 1 + 1 1 + . . . que tampoco es sumable.
d
2) La serie
d

X (x 4)n (x 4)2 (x 4)3
= x 4+ + +...
a
n 2 3
d
n=1
est centrada en a = 4. Su radio de convergencia es
rsi
n 1
r
e
r = limsup
1
= 1.
n
v
n
i
e
n
La serie es sumable en el intervalo (4 1, 4 + 1) = (3, 5), es decir, en los puntos que cumplen
n
|x 4| < 1.
to U
de -
Es no sumable si |x 4| > 1. Son los puntos de [3, 5]c = (, 3) (5, +).
Matemticas
ra - Fernand
du o S
Para |x 4| = 1, P
a
es decir, en los extremos x = 3 y x = 5 hay que ver cmo es la serie. Para
es n (1)n n1 , que es sumable. Para x = 5 no es sumable, ya que la serie que
x = 3 la serie P
se obtiene es n n1 . m
n
tre
che

X xn
3) La serie tiene radio de convergencia r = 1. Adems tambin converge en los bordes
n2
e Ex
n=6
del intervalo. La serie es sumable en [1, 1] y es no sumable fuera de l.
z - Departam

d
n3x n tiene radio de convergencia r = 1. En los bordes del intervalo no es
X
4) La serie
n=0
d
sumable. La serie es sumable en (1, 1) y es no sumable en el resto.

a
2n (x + 5)n tiene radio de convergencia r = 1/2. Como est centrada en a = 5,

X
5) La serie
i
n=0
s
la serie es sumable en el intervalo (5 05, 4 05). En los bordes del intervalo y en el resto de
r
puntos es no sumable.
ve
e
n!x n tiene radio de convergencia r = 0. Slo tiene sentido en x = 0. No es una
X
n
6) La serie
n
n=0
to U
serie, es un engao. de -
7) La serie
X
xn Matemticas
tiene radio de convergencia r = +. Es una serie sumable en todo R. Ya se
n=0
n!
vio (problemas de Clculo I) que esta serie verifica para todo x R

x
x n X xn
e = lim 1 + =
n n n!
ra - Fernand n=0
u o
Convergencia absoluta y uniforme de una serie de potencias. Este ltimo ejemplo plantea
d S
a
unas cuestiones sobre series de potencias. Si la serie converge en algn intervalo, lo hace hacia
m
alguna funcin conocida? O tambin, dada una funcin f , podemos encontrar una serie de
n
potencias que coincida con f en algn intervalo?

tre
che
De momento hemos visto que cada serie de potencias n cn (x a)n est bien definida (es
P
e Ex
sumable) para cada x (a r , a + r ) (y posiblemente en los bordes del intervalo), donde r es el

radio de convergencia. Pero, qu se puede decir sobre la sumabilidad absoluta y uniforme de
z - Departam
la serie de potencias?
d
Criterio
P M (mayorante) de Weierstrass. Si |fn (x)| cn , para todo n y para todo x A, y la
serie cn es sumable, entonces fn es absoluta y uniformemente sumable en A.
P
ad
Demostracin. La serie cn es absolutamente sumable (sus trminos son todos P positivos)

P
tal que | m
d
y por tanto cumple la condicinPde Cauchy: dado > 0 existe NP k=n ck | <
m
para n, m > . En consecuencia k=n |fk (x)| < para todo x A. As, fn es absolutamente
si
uniformemente de Cauchy, y por tanto absoluta y uniformemente sumable.

er
Ejemplo: la serie
v
X sen nx
i
e
n
n2
n
to n
verifica de - U
sen nx 1
Matemticas n 2 n 2

ra - Fernand
du o S
para
P todo2 a
x R y para todo n N. Esa desigualdad es evidente pues | sen nx| 1. Como
1/n es sumable, la serie de partida es absoluta y uniformemente sumable en todo R.
m
n
tre
En el caso de una serie de potencias, Pcon este criterio M se puede establecer la sumabilidad
che
uniforme de la serie. Dada una serie n cn (x a)n con radio de convergencia r > 0, si 0 < s < r ,
e Ex
para cada x [a s, a +Ps] (es decir |x a| s) se tiene que |cn (x a)n | |cn |s n . Por el criterio M
anterior, como la serie n |cn |s n es sumable (evidente tras aplicar el criterio de la raz), entonces
z - Departam
n
n cn (x a) es absoluta y uniformemente sumable en [a s, a + s]. El enunciado podra ser
P
d
Corolario. Si n cn (x a)n es una serie con radio de convergencia r > 0, entonces la serie es
P
absoluta y uniformemente sumable en [a s, a + s] para cada 0 < s < r .
ad
Corolarios. Para una serie n cn (x a)n con radio de convergencia r > 0 se tiene
P
d
1) La funcin f : x (a r, a + r ) f (x) = n cn (x a)n es continua

P
si
2) f es indefinidamente diferenciable en (a r , a + r ) y adems f (n) (a) = n!cn para cada n N

er
3) f es integrable en cada [a, x] contenido en el intervalo de convergencia, y su primitiva es

v
tambin una serie de potencias con el mismo radio de convergencia

i
e
n
n

to
x U x
cn
(t a)n dt = (x a)n+1 .
X X
f (t) dt =
de - cn
a Matemticasn=0 a n=0
n+1
Demostracin. 1) f es el lmite uniforme en [a s, a + s] de funciones continuas (las sumas

parciales de la serie son funciones polinmicas) y as f es continua en cada intervalo [a s, a +s]
con 0 < s < r . Por tanto f es continua en (a r , a + r ).
Fernand
ncn (x a)n1 la serie que resulta de derivar la serie original n cn (x a)n
P
2) Sea (x) = n=1
-
P
ra
trmino a trmino. Ambas series tienen el mismo radio de convergencia, ya que
u o
ad n
p
S pn
r1 = limsup n|cn | = limsup |cn | = r 1 .
m n n
n
tre
Luego es el lmite uniforme de la sucesin de sumas parciales derivadas. Aplicando el teorema

che
ya conocido sobre convergencia uniforme y primitivas, resulta que f es derivable y f 0 = .

e Ex
n(n 1)cn (x a)n2 , etctera.

P
El mismo argumento sirve para probar que f 00(x) = n=2
z - Departam
Como
d

cn (x a)n = c 0 + c 1 (x a) + c 2 (x a)2 + c 3 (x a)3 + . . .
X
f (x) =
d
n=0
a

ncn (x a)n1 = c 1 + 2c 2 (x a) + 3c 3 (x a)2 + . . .
X
f 0(x) =
d
n=1
i
n(n 1)cn (x a)n2 = 2c 2 + 3 2c 3 (x a) + 4 3 2c 4 (x a)2 + . . .

X
f 00(x) =
er
n=2
iv
entonces f (a) = c 0 , f 0(a) = c 1 , f 00(a) = 2c 2 ,. . . y en general, f (n) (a) = n!cn .

e
n
to
3) A causa de la convergencia uniforme, se puede integrar trmino a trmino en el intervalo
U
-
de convergencia. Si x (a r, a + r ), como la serie converge uniformemente en [a, x] y sus
de
Matemticas
ra - Fernand
du o S
a
sumandos son funciones integrables, la funcin suma f es integrable en [a, x] y adems
x
m x
cn
n
n
(x a)n+1 ,
X X
f (t) dt = cn (t a) dt =
tre
a a n + 1
che
n=0 n=0
e Ex
que tiene el mismo radio de convergencia.
z - Departam
Este resultado dice que la serie n cn (x a)n , cuya suma es f en los alrededores de a, es decir,
P
en (a r , a + r ), es exactamente la serie de Taylor de f alrededor de a
d d

f (n) (a) f 00(a) f 000(a)
(x a)n = f (a) + f 0(a)(x a) + (x a)2 + (x a)3 + . . .
X
f (x) =
a
n=0
n! 2! 3!
id
Esta serie de Taylor de f es la serie cuya sucesin de sumas parciales son los polinomios de
s
Taylor de f en a.
er
La funcin f es continua y diferenciable indefinidamente. Este resultado da a entender

P que una
v
funcin f que sea indefinidamente diferenciable genera una serie de potencias n cn (x a)n ,
i
e
n
donde cn = f (n) (a)/n!, que coincide con la propia funcin. El siguiente ejemplo muestra que
n
to
esto no es necesariamente cierto. U
de -
Matemticas
2
Ejemplo. La funcin f (x) = e x para x , 0 y f (0) = 0, es indefinidamente diferenciable en
a = 0 (ya se ha visto esto en Clculo I). Adems 0 = f (0) = f 0(0) = f 00(0) = f 000(0) = . . . Por
tanto, se puede formar la serie de potencias alrededor de a = 0 y se obtiene

X f (n) (a) n
X f (n) (0) n
(x a) = x = 0+0+0+... = 0
n! n!
n=0
ra - Fernand
n=0
du
y por tanto la funcin f y su serie de Taylor no coinciden en ningn punto, salvo en x = 0.
o S
a
Ejemplo. La funcin f (x) = e x es indefinidamente diferenciable en R y 1 = f (0) = f 0(0) =
m
f 00(0) = f 000(0) = . . . Se considera la serie de potencias alrededor de a = 0 (cuyo radio es
n
r = +)
tre
che

f (n) (a) n 1 n x2 x3 x4
e Ex
X X
(x) = (x a) = x = 1+x + + + +...
n=0
n! n=0
n! 2! 3! 4!
z - Departam
Deben coincidir f y ? Desde luego s que lo hacen en el punto a = 0. Y en algn intervalo?

d
Hay motivos que se vern ms adelante para asegurar la igualdad f (x) = (x) para todo x R.
Para este ejemplo en particular se puede utilizar el hecho de que ambas funciones coinciden
d
con su propia derivada:

da
x2 x3 x4
f 0(x) = e x = f (x), 0(x) = 0 + 1 + x + + + + . . . = (x).
i
2! 3! 4!
rs
Como consecuencia, las dos funciones f y deben ser iguales: al ser 0 = la funcin
e
F (x) = (x)/e x verifica

v
0(x)e x (x)e x
i
e
n
F 0(x) = = 0,
n
to e 2x
de - U
y F es constante. Como adems (0)/e 0 = 1, esa constante es igual a 1, es decir (x) = e x para
todo x. Matemticas
ra - Fernand
du o S
a
Funciones analticas. Se dice que f : A R R es analtica en a A si f es suma de una
serie de potencias centrada en a y con radio positivo, es decir, si
m
n
tre

cn (x a)n
X
f (x) = x (a r , a + r ) .

che
e Ex n=0
Si f es analtica en a, entonces f (x) = n cn (x a)n en algn entorno (a r , a + r ) y adems
z - Departam
P
cn = f (n) (a)/n!. Se puede probar que entonces f tambin es analtica en cada b (a r, a + r ),
d
y se puede escribir f como una serie de potencias centrada en b (ver las hojas de ejemplos y
ejercicios sobre este resultado).
d
El teorema de aproximacin de Weierstrass, que no se va a ver en este curso, prueba que cada
a
funcin continua f : [a, b] R es el lmite uniforme de funciones polinmicas, es decir,

d
u
existen polinomios Pn que verifican (Pn ) f . En otras palabras, en cada banda de radio que
si
rodee a la funcin f hay alguna funcin polinmica. Ser una funcin analtica exige adems
r
que esos polinomios sean de cierta forma.

ve
Ejemplo. Hay funciones como f (x) = |x| que no pueden ser analticas al no ser derivables. La
i
e
n
funcin
n
to f (x) =
(
x 2 si x 0
U
de x 2 si x < 0
-
Matemticas
slo es derivable una vez en 0. Es una funcin analtica en todos los puntos, salvo en el 0.
Cmo saber si una funcin es analtica? A modo de resumen, los resultados ya vistos
sobre series de potencias son:
a) Cada serie de potencias define una funcin cuyo dominio es el intervalo de convergencia
ra - Fe
(x r, x + r ) (posiblemente ampliado hasta la frontera) dada por
rnand
du o S f (x) =

X
cn (x a)n .
a n=0
m
n
tre
b) A causa de la convergencia uniforme, se puede integrar trmino a trmino en el intervalo

che
de convergencia. Si x (a r , a + r ) entonces
e Ex
x x
cn
z - Departam
n
(x a)n+1 ,
X X
f (t) dt = cn (t a) dt =
a n=0 a n=0
n+1
d
que tiene el mismo radio de convergencia.

d
c) La funcin f tiene derivada de cualquier orden, que se obtiene derivando trmino a trmino,
da

ncn (x a)n1
X
f (x) =
0
si
n=0
er
y nuevamente el radio de convergencia es el mismo.

iv
d) Como consecuencia, f (n) (a) = n!cn y por tanto la funcin original es

e
n
to U
f (n) (a)
(x a)n .
X
de - f (x) =
n!
Matemticas n=0

ra - Fernand
du o S
a
Puede escribirse cualquier funcin como una serie de este tipo? La primera respuesta evidente
es no. Hace falta, como paso previo que la funcin sea indefinidamente derivable en a. Es esto
m
suficiente para asegurar que una funcin se pueda escribir como serie de potencias? Otra vez la
n
tre
respuesta es no: ya se ha visto un ejemplo de funcin no nula cuyo valor en un punto y todas
che
sus derivadas en ese punto valen 0.
e Ex
Cabe preguntarse entonces la siguiente cuestin: si en algn intervalo (a r , a + r ) una funcin
z - Departam
f : (a r, a + r ) R es diferenciable indefinidamente se puede formar la serie de potencias
d

f (n) (a)
(x a)n
X
n!
d
n=0
a
que se llama serie de Taylor de f en a. Qu hace falta para asegurar la igualdad

d

f (n) (a)
i
(x a)n ?
X
s
f (x) =
n!
r
n=0
e
El teorema global de Taylor (visto en Clculo I) asegura que para cada x y cada n existe una
iv
valor z comprendido entre a y x que verifica
e
n
n
to n1 U
f (k) (a) f (n) (z)
(x a)k + (x a)n .
X
f (x) =
de -k! n!
Matemticas
k=0
Luego una condicin necesaria y suficiente para que la serie de Taylor converja a f (x) es que
f (n) (z)
lim (x a)n = 0.
n n!
A veces puede resultar complicado comprobar que este lmite es cero, ya que el valor z no es
a - Fernand
conocido y el trmino f (n) (z) puede resultar difcil de manejar.
r
du o
Sin embargo, si se conoce que la funcin f y sus derivadas son acotadas por un nmero,
S
a
|f (n) (z)| M para todo z, entonces es evidente que el lmite anterior es 0. La misma conclusin
m
resulta con una condicin ms dbil y, por tanto, ms fcil de aplicar: si existe M tal que
n
|f (n) (z)| M n para todo z, entonces el lmite anterior es 0. Este resultado puede resumirse as:
tre
che
Teorema (condicin para ser analtica). Sea f indefinidamente diferenciable en un entorno V de

e Ex
a. Si existe una constante M tal que |f (n) (x)| M n para cada x V y para cada n = 1, 2, 3, . . .
z - Departam
entonces

f (n) (a)
(x a)n
X
f (x) =
d
n=0
n!
d
para todos los puntos x V .

da
Ejemplos de funciones analticas.

si
1) Las funciones polinmicas son analticas. Esto es evidente. Cada funcin polinmica
er
f (x) = c 0 + c 1x + c 2x 2 + . . . + cn x n
iv
coincide con su serie de Taylor en todo R. Es una serie finita centrada en a = 0 y se puede
e
n
expresar centrada en cualquier otro punto

to
de - U f 00(a)
f (x) = f (a) + f 0(a)(x a) +
Matemticas (x a)2 + . . .
2!

ra - Fernand
du o S
Por ejemplo
a
m
f (x) = 1 + x x 2 = 11 7(x 4) (x 4)2 = 5 + 5(x + 2) (x + 2)2 .
n
tre
che
2) La funcin exponencial e x es analtica. Se trata de una funcin indefinidamente
e Ex
diferenciable y por tanto puede ser analtica. La serie de Taylor de f (x) = e x centrada en
z - Departam
a = 0 es

X f (n) (0) n X xn x2 x3 xn
x = = 1+x + + +...+ +...
d
n=0
n! n=0
n! 2! 3! n!
d
ya que 1 = f (0) = f 0(0) = f 00(0) = . . . El radio de convergencia de esta serie es r = +. Se

a
trata entonces de una serie absoluta y uniformemente convergente en todo compacto de R.

d
Para comprobar si esta serie coincide o no con la funcin e x se utiliza el teorema global de
i
Taylor:
s
x2 x3 xn ez
r
ex = 1 + x + + +...+ + x n+1
e
2! 3! n! (n + 1)!
v
donde z es un valor intermedio entre 0 y x. Slo falta comprobar si

i
e
n
n
to U ez
x n+1 0.
de - (n + 1)! n
Matemticas
Esto es evidente, sin ms que notar que si 0 z x entonces
ez e x x n+1
x n+1 0.
(n + 1)! (n + 1)! n
En el caso x z 0 se tiene e z 1 y la conclusin es la misma. Por tanto, la funcin f (x) = e x
a - Fernand
es entera (analtica con radio r = +) y
r
du o
xn
S x2 x3 x4
a ex =
X
= 1+x + + + +...
m n=0
n! 2! 3! 4!
n
tre
para todo x R.
che
e Ex
Por ejemplo, la derivada es (se deriva la serie trmino a trmino)

z - Departam
x2 x3
(e x ) 0 = 0 + 1 + x + + + . . . = ex .
2! 3!
d
3) Las funciones trigonomtricas sen x y cos x son analticas. La funcin f (x) = sen x es
d
indefinidamente diferenciable. La serie de Taylor es

da

f (n) (0) n (1)n x 2n+1 x3 x5 x7
i
X X
x = = x + + ...
s
n! (2n + 1)! 3! 5! 7!
r
n=0 n=0
e
ya que los valores de f y sus derivadas son

iv
e
n
f (x) = sen x,
to f 0(x) = cos x, f 00(x) = sen x, f 000(x) = cos x
de - U
y as cclicamente. Luego en a = 0 los valores son 0, 1, 0, 1 de forma cclica.
Matemticas
ra - Fernand
du o S
a
El radio de convergencia es r = +. Luego la serie converge absoluta y uniformemente en cada
compacto de R. Para comprobar si esta serie coincide con la funcin f (x) = sen x se aplica el
teorema global de Taylor: m
n
tre
x3 x5 x7
che
(sen | cos)z n+1
sen x = x
e Ex + + ... + x .
3! 5! 7! (n + 1)!
z - Departam
Como adems
(sen | cos)z x n+1
x n+1

0
d
(n + 1)! (n + 1)! n

la funcin coincide con la serie en todo x R
ad

X (1)n x 2n+1 x3 x5 x7
sen x = = x + + ...
d

n=0
(2n + 1)! 3! 5! 7!
si
y se trata de una funcin entera (analtica en todo R).

er
Para la funcin cos x se puede hacer el mismo razonamiento: calcular sus derivadas, su serie de
v
Taylor,. . . Pero puede hacerse de forma ms sencilla derivando la funcin seno y la serie que
i
e
n
n
coincide con ella: to
X
(1)n (2n + 1)x 2n
de X- U
(1)n x 2n x2 x4 x8
cos x = =
Matemticas = 1 + + ...
n=0
(2n + 1)! n=0
(2n)! 2! 4! 8!
y la igualdad se da en todo x R. La funcin cos x es tambin entera y la serie tiene radio de

convergencia r = +.
4) La funcin logaritmo es analtica. Se considera la funcin f (x) = log x. Como no est
ra - Fernand
definida en 0 se pueder hacer la serie de Taylor en a = 1, por ejemplo. Por comodidad se
considera la funcin f : (1, +) R dada por f (x) = log(1 + x), y se hace el desarrollo en
a = 0.
du o S
a
Los valores de f y sus derivadas son
m
n
f (x) = log(1 + x) f (0) = 0

tre
che
1
f 0(x) = f 0(0) = 1
e Ex
(1 + x)
z - Departam
1!
f 00(x) = f 00(0) = 1!
(1 + x)2
2!
d
f (3) (x) = f (3) (0) = 2!

(1 + x)3
d
3!
f (4) (x) = f (4) (0) = 3!
a
(1 + x)4
d
.. ..
. .
rsi
Por tanto, la serie de Taylor es

ve

x2 x3 x4 x5 X (1)n+1 n
x + + +... = x
i

e
n
2 3 4 5 n
n
to n=1
de - U
Es una serie cuyo radio de convergencia es r = 1. Luego la serie es absoluta y uniformemente
Matemticas
sumable en el intervalo (1, 1). En x = +1 tambin es sumable y no lo es en x = 1.

ra - Fernand
du o S
a
Pero no es sencillo ver que para todo x (1, 1], si z es un valor intermedio entre 0 y x, se tiene
m f n (z) n (1)n+1 n
n
lim x = lim x = 0.
tre
n n! n n(1 + z)n
che
Que este lmite verifica
e Ex
1 x n
lim = 0
z - Departam
n n 1 + z
se sigue para ciertos valores de x a partir de las desigualdades
d
x x n
Si 0 < x < 1 entonces 0 < x < 1 y as 0
d
1+z 1+z
a
x x 1 x n
Si 1/2 x < 0 entonces 1 < < x y por tanto 0
d
1+x 1+z n 1+z

si
En resumen, la serie de Taylor converge a log(1 + x) y por tanto es una funcin analtica
r
en el intervalo (1/2, 1). Tambin lo es en (1, 1) aunque an no se ha probado. Se har a

e
continuacin por un mtodo ms simple.

iv
e
En x = 1 tambin es una serie sumable y su suma es
n
n
to U
de 1 1 1 1- X (1)n+1
log 2 = 1 + + + . . . = .
Matemticas
2 3 4 5 n=1
n
En realidad esta igualdad debera justificarse; suele hacerse utilizando un teorema de Abel:
si una funcin y una serie coinciden en un intervalo y la serie converge en un extremo del
intervalo entonces la funcin y la serie coinciden tambin en ese extremo.
ra - Fe
Teorema (del lmite de Abel). Si se tiene
rnand
du o S
f (x) =

X
cn (x a)n
a n=0
m
n
para x (a r, a + r ) y la serie converge en x = a + r (podra ser en el otro extremo) entonces

tre
limx(a+r ) f (x) existe y se tiene

che
e Ex

cn r n .
X
lim f (x) =
z - Departam
x(a+r )
n=0
d
Para la funcin logaritmo anterior f (x) = log(1 + x) tambin se podra haber procedido de
d
otra forma. Se calcula la serie de su derivada y despus, integrando, se calcula la serie de la

a
funcin original. Este procedimiento se utiliza si se conoce la serie de la funcin derivada (o de

d
la primitiva).
i
En este caso f 0(x) = 1/(1 + x) y esta funcin es conocida como una serie de potencias: es la
s
frmula de la suma de una progresin geomtrica de razn x, que tiene sentido para |x| < 1,
er
es decir, tiene radio r = 1:

iv

1
n
2 3 4
(1)n x n .
X
n
f (x) =
0
to = 1x +x x +x +... =
1+x U n=0
de -
Matemticas
ra - Fernand
du o S
a
Integrando (la constante de integracin sale C = 0 ya que f (0) = 0)
m
x2 x3 x4

(1)n n+1

(1)n+1 n
n
X X
f (x) = log(1 + x) = x + +... = x = x ,
tre
2 3 4 n=0
n+1 n=1
n
che
e Ex
y el radio de convergencia es el mismo.
De la misma forma, se podra escribir la serie que define la primitiva de log(1 + x).
z - Departam
Esta idea permite conocer la serie de Taylor de una funcin siempre que se conozca la serie
d
de Taylor de alguna derivada o alguna primitiva suya. Adems el radio de convergencia se
mantiene.
ad
Las operaciones habituales con funciones analticas dan funciones analticas. Las
d
sumas, restas, productos, cocientes y composicin de funciones analticas son analticas (con la
restriccin de siempre). Por tanto, todas las funciones elementales son analticas.
rsi
Esto permite encontrar las series de Taylor de funciones como sen x 2 , ya que
ve

x3 x5 x7 X (1)n x 2n+1
i
sen x = x + +... =
e

n
3! 5! 7! (2n + 1)!
n
to n=0
y as de - U
sen x 2
= x 2Matemticas
x6
6
+
x 10
120

x 14
5040
+... =
X
(1)n (x 2 )2n+1
(2n + 1)!
.
n=0
Tambin se puede calcular
5x 3 x4 41x 5 71x 6
e x tg x = x + x 2 + + + + +...
6 2 120 360
ra - Fernand
Ahora es posible, integrando trmino a trmino, encontrar una primitiva de sen x 2 o e x tg x:
du o S
2
sen x dx =
x3 a x7
+
x 11 x 15
+... =
X
(1)n x 4n+3
.
3
m

42 1320

75600 (4n + 3)(2n + 1)!
n
n=1
tre
che
Algunos ejemplos ms. Ya se ha dicho que las funciones analticas se mantienen por las
e Ex
operaciones usuales (suma, resta, composicin,...) Las funciones elementales siguientes son
anliticas, y algunas de ellas son enteras (el radio es infinito).
z - Departam

x2 x3 xn
d
ex
X
= 1+x + + +... =
2! 3! n=0
n!
d

x3 x5 x7 (1)n x 2n+1
a
X
sen x = x + +... =
3! 5! 7! (2n + 1)!
d
n=0

i
x2 x4 x6 (1)n x 2n
s
X
cos x = 1 + +... =
2! 4! 6!
r
n=0
(2n)!
ve
En los tres casos el radio de convergencia es y las funciones son enteras: la convergencia se
i
tiene para todo x R. Esto permite hacer el desarrollo centrado en otro punto a, por ejemplo,
n
to U
de x -a xa
X e a (x a)n
e =e e =
Matemticas n=0
n!

ra - Fernand
du o S
o tambin el clculo de primitivas de funciones como e x
2
a
x m xX

t 2n
x
t 2n

X x 2n+1
n
t2
X
e dt = dt = dt = .
tre
0 0 n! 0 n! n!(2n + 1)
che
n=0 n=0 n=0
e Ex
De los desarrollos de las funciones e x , sen x y cos x se puede obtener
z - Departam
e i = cos + i sen
d
vlida para todo R. En particular, e i + 1 = 0, que se conoce como frmula de Euler.

ad
Una serie de potencias se puede calcular conociendo la serie de potencias de su derivada o de

d
su primitiva. Por ejemplo,

si

1
r
xn
X
= (|x| < 1)
1x
e
n=0
v
es la suma de trminos de una progresin geomtrica de razn x, que converge si |x| < 1,
i
e
n
n
permite conocer to
log(1 x) =
de X
- U
x n+1
(|x| < 1).
n+1
Matemticas
n=0
Adems, a partir de la frmula de la suma de una progresin geomtrica se puede escribir,

1
(1)n (x 1)n
X
= (|x 1| < 1)
x n=0
ra
1 - Fernand

X
(1)n x n
du1+x
=
o S
(|x| < 1)
a 1
n=0

m (1)n x 2n
X
= (|x| < 1)
1 + x2
n
n=0
tre
che
y por tanto, se pueden conocer mediante integracin directa las series de funciones logartmicas
e Ex
y exponenciales, ya que
1
z - Departam
(arctg x) 0 =
1 + x2
y por tanto,
d

X (1)n x 2n+1
arctg x = (|x| < 1).
d
2n + 1
a
n=0
d
Anlogamente,
rsi

X (1)n (x 1)n+1
log x = (|x 1| < 1)
e
n+1
v
n=0
i

(1)n x n+1
n
X
n
log(1 + x) =
to (|x| < 1).
n=0
n+1
U
de -
Matemticas
ra - Fernand
du o S
a
Incluso se ha visto que esta ltima igualdad puede ampliarse al punto extremo del radio de
convergencia (x = 1) para obtener la conocida frmula
m
n
tre

(1)n 1 1 1
X
log 2 = = 1 + +...
che
e Ex n=0
n+1 2 3 4
z - Departam
Una curiosidad: funciones continuas no derivables en ningn punto. Encontrar una
d
funcin continua que no sea derivable en un punto, o en unos cuantos puntos, no es difcil.
Utilizando series se pueden conseguir funciones continuas que cada vez oscilen ms. Por
d
ejemplo f 1 (x) = sen x oscila a lo largo de toda la recta real; f 2 (x) = sen x + sen(9x)/11 es una
a
funcin que oscila mucho ms alrededor de la funcin sen x. Los nmeros 9 y 11 se han elegido
d
con la intencin de conseguir una funcin que oscile mucho pero que tenga poca amplitud.
ersi
iv
e
n
n
to U
de -
Matemticas
Las grficas de
ra - Fernand
du o S
a f 1 (x) = sen x
m f 2 (x) = sen x +
sen(9x)
n
11
tre
sen(9x) sen(79x)
che
f 3 (x) = sen x + +
11 21
e Ex
z - Departam
se van enroscando cada vez ms cada una alrededor de la anterior. Si se eligen bien estos nmeros
d
que aparecen 9, 11, 79, 21, . . . se puede conseguir como lmite (suma de una serie) una funcin
continua que no puede derivarse en ningn punto. Esta funcin es similar a la funcin de
d
Darboux descrita ms adelante.

a
Weierstrass, en 1872, encontr la forma de definir una funcin con tales propiedades, continua
d
y sin derivada en cada punto. Su expresin es:

ersi

b n cos(an x)
X
v
f (x) = (x R)
i
n=0
n
to
donde 0 < b < 1, a es un nmero impar y ab > 1 + 3 /2, es decir, b es pequeo y a
U
suficientemente grande para P
de que la grfica tenga muchas oscilaciones que no se repitan. Como
-
|b n cos(an x)| b n y la serie b n converge se tiene que f es la suma de una serie que converge
Matemticas
ra - Fernand
du o S
a
absoluta y uniformemente en R. Por tanto f es una funcin continua en R. Sin embargo, f no
admite derivada en ningn punto.
m
n
Sobre esa misma poca Darboux encuentra la funcin
tre
che

sen((n + 1)!x)
e Ex X
(x) = (x R)
n!
z - Departam
n=1
y Cellrier la funcin
d

sen(an x)
d
X
h(x) = (x R, a > 1000)
an
a
n=1
d
ambas continuas y no derivables en ningn punto.

rsi
En todos estos ejemplos, las funciones son lmite uniforme de funciones que son continuas
e
y derivables infinitas veces. Un ejemplo ms de la relacin entre convergencia uniforme y

v
derivabilidad.
i
e
n
n
to U
Aproximacin de con series. Nmeros tan especiales como pueden aparecer como suma
de -
Matemticas
de series, como puede verse en http://en.wikipedia.org/wiki/Basel_problem:

X 1 2
=
n=1
n2 6
ra - Fernand
du o S
a
m
n
tre
che
e Ex
z - Departam
rsidad d
ive
e
n
to U
de -
Matemticas

Sucesiones y Series - Universidad de Extremadura

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sucesiones y Series - Universidad de Extremadura

Cargado por

Copyright:

Formatos disponibles

ra - Fernand

que es convergente. Para x = 1 se obtiene la sucesin

f 1 (x) = x, f 2 (x) = 1 x, f 3 (x) = x, f 4 (x) = 1 x, f 5 (x) = x, . . .

converge slo para x = 1/2. Para cualquier otro valor x, la sucesin

(fn (x)) = (x, 1 x, x, 1 x, x, 1 x, . . .)

Definicin. Se consideran las funciones fn : A R R, para

x A, f (x) = lim fn (x).

Esto significa que

x A, > 0, N : n > = |fn (x) f (x)| < .

Definicin. Se dice que (fn ) es uniformemente convergente a f si

significa que en cada banda que rodea a f de radio (delimitada

por las funciones f ) estn todas las grficas de las funciones

a) > 0, N : n > = |fn (x) f (x)| < (x A),

b) > 0, N : n > = sup |fn (x) f (x)| < ,

c) > 0, N : n > = fn B(f , ),

donde B(f , ) es la banda que rodea a f de radio :

= { : A R : f (x) (x) f (x) + (x A)}

Sucesiones y series funcionales 2

f 1 (x) = x, f 2 (x) = x 2 , f 3 (x) = x 3 , f 4 (x) = x 4 , . . . 1

si x = 1 entonces fn (x) = 1 1 = f (1).

Sin embargo, la sucesin (fn ) no es uniformemente conver-

ser continuas y derivables y su lmite puntual no es ni

ms detalle en las hojas de ejemplos y ejercicios):

a) La sucesin de funciones fn (x) = nx(1 x)n converge puntualmente en [0, 1] a la funcin

f = 0. La funcin fn f alcanza el valor mximo en x = 1/(n + 1). Ese valor mximo es

Sucesiones y series funcionales 3

en un slo caso, cuando x = 1/n y la funcin es fn . Que no convergen uniformemente se sigue

del hecho que fn vale 1 en un punto en el que f vale 0.

Ejemplo. Si denotamos a los nmeros racionales de [0, 1] como

un conjunto numerable), las funciones

Esto es fcil de comprobar:

Lebesgue integrables convergen puntualmente a una funcin f en A, bajo hiptesis no

Ejemplo (joroba deslizante y creciente). Se consideran las 3

funciones fn cuyas grficas son tringulos de rea 1/2, tal y como

Estas funciones convergen puntualmente a la funcin f = 0. f2

Todas son Riemann integrables. Sin embargo, ni siquiera en este

el lmite puntual se tiene

Sucesiones y series funcionales 4

Ejemplo (joroba deslizante no creciente). La grfica muestra f1

funciones fn , todas acotadas por el mismo valor, que convergen f2

puntualmente a la funcin 0, pero que no convergen unifor- f3

puntual f = 0, pero max(fn f ) = 1 para todo n.

Teorema (convergencia uniforme y continuidad). El lmite uniforme de funciones continuas es

Por una parte

|f (x) fn (x)| /3, |fn (y) f (y)| /3

|fn (x) fn (y)| /3

As, existe > 0 que verifica

|f (x) f (y)| <

para |x y| < , y por tanto f es continua en x.

La convergencia uniforme conserva la continuidad y, como se ver ms adelante, otras

Se podra representar este teorema mediante el diagrama siguiente: si cada fn es Riemann

integrable entonces tambien lo es f y las integrales convergen a la integral de f :

P P[a, b] para la cual se verifique U (f , P) L(f , P) < . La clave de la demostracin est en

U (f , P) L(f , P) = U (f , P) U (fn , P) + U (fn , P) L(fn , P) + L(fn , P) L(f , P).

Sucesiones y series funcionales 6

m U (fn , P) L(fn , P) < /2.

el paso al lmite con hiptesis ms dbiles.

Teorema (convergencia dominada de Lebesgue). Si cada fn es Lebesgue integrable en A, fn f

y existe una funcin Lebesgue

Lebesgue integrable y lim A fn = A lim fn .

un teorema (similar al probado para la continuidad) del tipo

En las hojas de ejemplos y ejercicios puede verse cmo justificar |x|

la convergencia uniforme de estas funciones. 2 1 1 2