Está en la página 1de 18

Captulo 10

Sucesiones y series de funciones









10.1. Introduccin

La representacin de funciones complicadas por medio de funciones sencillas es una de
las ideas centrales del Anlisis Matemtico. En este captulo vamos a precisar algunos de los
posibles significados del trmino representacin. Intuitivamente, se trata de aproximar fun-
ciones que se suponen muy generales por otras de un tipo especialmente sencillo. Por ejemplo,
podemos aproximar localmente, en las proximidades de un punto, una funcin derivable por
sus polinomios de Taylor calculados en dicho punto. Ya hemos visto que esta aproximacin es
de gran utilidad para calcular lmites. Ahora queremos dar un paso ms y nos interesamos por
representaciones que sean vlidas no slo localmente, en las proximidades de un cierto punto,
sino en todo un intervalo.
Hay muchas maneras de representar funciones complejas por medio de otras ms simples,
una de las ms tiles es la representacin por medio de series. Podemos describir este proceso
en trminos muy generales como sigue.


Se considera una clase S de funciones simples. Por ejemplo, S puede ser la clase de
las funciones polinmicas, o la clase de todos los polinomios trigonomtricos que son las
n
funciones de la forma
X
.
a
k
cos.kx/ C b
k
sen.kx/
.
donde a
k
; b
k
son nmeros reales.
kD0
Para representar una funcin f por medio de funciones de la clase S hay que asociar a
dicha funcin una sucesin de funciones ffng donde fn 2 S. Las funciones fn suelen
interpretarse como las componentes elementales de la funcin f . La forma de obtener
las funciones componentes fn de f viene dada en cada caso por un algoritmo matem-


581
Introduccin 582
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral




tico que, conocida la funcin f , permite calcular, al menos en teora, las fn. Esta parte
del proceso de representacin se suele llamar anlisis porque consiste en analizar f
descomponindola en sus componentes ms simples. Esto es algo que se hace constan-
temente en todos los procesos de tratamiento de seales auditivas o grficas.
Si, por ejemplo, queremos representar la funcin exponencial f .x/ D e
x
por medio de
funciones polinmicas, entonces las funciones elementales son los polinomios de Taylor
n
x
k

que, para la funcin exponencial viene dados por fn.x/ D
X
k!
.
kD0
El ltimo paso consiste en recomponer la funcin f mediante sus componentes ele-
mentales fn. Para que este proceso sea til las funciones componentes fn deben estar
determinadas de manera nica por f y debe ser posible, mediante algn algoritmo ma-
temtico que suele ser una serie o una integral , recobrar la funcin f mediante
sus componentes fn. Por ejemplo, para el caso de la funcin exponencial sabemos (ver
(9.13)) que para todo x 2 R es:
n
x
k
1
x
n

e
x
D lKm fn.x/ D lKm X
D
X
n!1 n!1
k!
kD0
n!
nD0
Con ello hemos representado una funcin trascendente, como es la exponencial, por me-
dio de una serie de funciones polinmicas.
Volviendo a la situacin general, lo que suele hacerse es tratar de recuperar la funcin
f por superposicin de sus componentes elementales fn. El trmino superponer
procede de la Fsica y en Matemticas se traduce por sumar. Por tanto, lo que queremos
es expresar f como la suma de la serie definida por la sucesin de funciones ffng:
1
f D
X
fn:
nD0
Lo primero que debemos hacer es dar un sentido a esta igualdad. El sentido que va a
tener para nosotros en este captulo es que para cada valor de x en un cierto intervalo I
se verifica que:
1
f .x/ D
X
fn.x/: (10.1)
nD0
Esta igualdad s sabes lo que significa: quiere decir que la serie de nmeros reales
P
fn.x/ converge y tiene como suma el nmero f .x/.

Puede que te ests preguntando para qu sirve todo esto? Respuesta: para traducir problemas
relativos a f en otros ms sencillos relativos a sus funciones componentes f
n
. Por ejemplo, si
queremos obtener la solucin de una ecuacin diferencial en la que interviene una funcin f ,
podemos sustituir dicha funcin por fn y resolver la ecuacin diferencial correspondiente, y a
partir de las soluciones obtenidas construir por superposicin una funcin que esperamos que
sea la solucin buscada.
Una representacin como la dada por (10.1) lleva a preguntarse por aquellas propiedades
de las funciones fn que se conservan y se transmiten de forma automtica a la funcin repre-
sentada f . Por ejemplo, si las funciones fn son continuas o derivables es tambin f continua
o derivable?.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Conceptos bsicos 583


2
2

2
2



Para terminar esta introduccin vamos a ver un ejemplo de aproximacin de funciones que,
en cierto sentido, es paradjico. Sea f
1
la funcin identidad en el intervalo 0; 1 cuya grfica
es la diagonal del cuadrado unidad (ver figura 10.1). Sea f
2
la funcin definida en 0; 1 cuya
grfica es el tringulo de vrtices .0; 0/; .
1
;
1
/; .1; 0/. La longitud de las grficas de f
1
y f
2
es
2 2
evidentemente la misma e igual a 2.



1










0
0 1
Figura 10.1. Es
p
D 1?

Sea f
3
la funcin definida en 0; 1 cuya grfica son los tringulos de vrtices .0; 0/; .
1
;
1
/;
4 4
.
1 1 3 1
2
; 0/ y .
2
; 0/; .
4
;
4
/; .1; 0/. La longitud de las grficas de f
2
y f
3
es evidentemente la misma
e igual a
p
. Este proceso de ir dividiendo por la mitad los lados de los tringulos puede
proseguirse indefinidamente y obtenemos una sucesin de funciones fn tales que para todo
x 2 0; 1 es 0 6 fn.x/ 6
1

, y la longitud de la grfica de fn es igual a
p
. Es evidente
que las funciones fn convergen a la funcin f .x/ D 0 cuya grfica es el segmento de extremos
.0; 0/; .1; 0/ de longitud 1; luego
p
D 1?.
En esta introduccin del captulo ya han salido algunas ideas que seguidamente vamos a
presentar de manera formal.


10.2. Conceptos bsicos

10.1 Definicin. Una sucesin de funciones es una aplicacin que a cada nmero natural n
hace corresponder una funcin fn. Usaremos el smbolo ffng para representar la sucesin de
funciones dada por n 7! fn, para todo n 2 N.
Supondremos en lo que sigue que las funciones f
n
son funciones reales definidas en un
intervalo I .
10.2 Ejemplos. Consideremos las sucesiones de funciones ffng, donde fn W R ! R es la
funcin definida en cada caso por:

x
2n
r
1 n
x
k

2
n
X
a/ fn.x/ D
1

; b/ f .x/
C x
2n
x
n
; c/ fn.x/ D nx.1 x/
; d / fn.x/ D
:
k!
kD0
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Convergencia puntual 584




10.2.1. Convergencia puntual

10.3 Definicin. Dado x 2 I se dice que la sucesin de funciones ffng converge puntualmente
en x, si la sucesin de nmeros reales ffn.x/g es convergente.
El conjunto C de todos los puntos x 2 I en los que la sucesin de funciones ffng converge
puntualmente, se llama campo de convergencia puntual. Simblicamente:

C D fx 2 I W ffn.x/g convergeg:
Supuesto que C , la funcin f W C ! R definida para todo x 2 C por:
f .x/ D lKm ffn.x/g
!1

se llama funcin lmite puntual de la sucesin ffng.
10.4 Observacin. Para entender la definicin de convergencia puntual y en general en todo
este captulo, es muy importante no confundir la sucesin de funciones ffng con la sucesin
~ de nmeros reales ffn.x/g obtenida evaluando las funciones de dicha sucesin en un nmero
x 2 I . Tampoco debes olvidar que en una sucesin la variable es siempre n 2 N y nunca x 2 I .
As, la sucesin ffn.x/g es la aplicacin que a cada nmero natural n 2 N (la variable) le asigna
el nmero real fn.x/ donde x est fijo.
10.5 Ejemplo. Sea la sucesin de funciones ffng donde, para cada n 2 N, fn W 0; 1 ! R es
la funcin definida para todo x 2 0; 1 por:
fn.x/ D nx.1 x/
n
:

0 1
Figura 10.2. Convergencia puntual


Observa que si x D 0 o x D 1, la sucesin ffn.0/g D ffn.1/g D f0g es, evidentemente,
convergente a 0. Si 0 < x < 1 entonces 0 < 1 x < 1 y se verifica que ffn.x/g ! 0 porque
es una sucesin de la forma fn
p
h
n
g donde jhj < 1. Deducimos que el campo de convergencia
puntual de esta sucesin es el conjunto C D 0; 1 y la funcin lmite puntual es la funcin
idnticamente nula, f .x/ D 0 para todo x 2 0; 1 . Observa en la figura 10.2 las grficas de las
primeras seis funciones de esta sucesin.
1


b b
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Convergencia puntual 585

1


b
0
b
1
1



b b b





Fjate cmo por el extremo derecho del intervalo las grficas se van pegando al eje de
abscisas pero su comportamiento es muy diferente en el extremo izquierdo. Ello es as porque
cuando 1 x es pequeo (es decir, x est cerca de 1) la sucesin ffn.x/g converge muy
rpidamente a cero, pero cuando 1 x est prximo a 1 (es decir, x est cerca de 0) la sucesin
ffn.x/g converge lentamente a cero.


Observa las grficas de las funciones f
10
y f
20
en la figura de la derecha. Te parece que estas
funciones estn muy prximas a la funcin l-
mite puntual f 0? Observa que, aunque para
cada x 2 0; 1 es f .x/ D lKm ffn.x/g D 0,
!1
la funcin fn no se acerca mucho a la funcin
lmite puntual f 0.

Para evitar ambigedades necesitamos precisar qu entendemos por proximidad entre dos
funciones. Para ello, considera dos funciones f; g W I ! R . Dichas funciones son iguales
cuando f .x/ D g.x/ para todo x 2 I o, lo que es igual, cuando maKxfjf .x/ g.x/j W x 2 I g D 0.
En general, el nmero maKxfjf .x/ g.x/jWx 2 I g proporciona una buena idea de la proximidad
entre las funciones f y g pues dicho nmero es tanto ms pequeo cuanto ms cercanas estn
las grficas de las dos funciones.
Volviendo al ejemplo anterior, con fn.x/ D nx.1 x/
n
y f 0, podemos calcular fcil-
mente el nmero maKxfjfn.x/ f .x/j W x 2 0; 1 g D maKxffn.x/ W x 2 0; 1 g. Basta derivar fn
para comprobar que la funcin fn alcanza su mximo absoluto en el intervalo 0; 1 en el punto
x
1
nC1
. Luego


.
n

maKxffn.x/ W x 2 0; 1 g D fn.xn/ D
C
.
nC1
1

1
!
e
:

Fjate en que lKm ffn.x/gD0 pero lKm maKxffn.x/Wx 2 0; 1 gD1= e > 0, es decir, las funcio-
n!1 n!1
nes fn no se aproximan a la funcin nula. De hecho, como la sucesin
.
n
nC1 es creciente,
nC1
. .

cuanto mayor sea n mayor es la distancia entre la funcin fn y la funcin nula. Observa cmo
son las grficas de las funciones fn cerca de cero para n D 100; 120; 140; 160; 180; 200.











0 005











01
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Convergencia Uniforme 586





10.6 Ejemplo. Sea la sucesin de funciones ffng donde, para cada n 2 N, fn W R ! R es la
funcin dada para todo x 2 R por:

fn.x/ D
1

x
2n
C x
2n
Es claro que si jxj < 1 se tiene que ffn.x/g ! 0, y si jxj > 1 se tiene que ffn.x/g ! 1.
Para x D 1 es ffn.1/g D f1=2g que, evidentemente, converge a 1=2. Por tanto, el campo de
convergencia puntual de ffng es C D R, y la funcin lmite puntual est definida por:
8
1 si jxj > 1I
<
f .x/ D lKm ffn.x/g D
!1
1=2 si jxj D 1

:
0 si jxj < 1:

Aqu ocurre que la funcin lmite puntual es discontinua (tiene discontinuidades de salto en 1
y en 1) a pesar de que las funciones de la sucesin son continuas. Observa las grficas de las
primero cinco funciones de la sucesin.




Tenemos que:


1


1


.1C
1
/
2n




e


1
maKxfjf .x/fn.x/jWx 2 R >f
.
1C
2n
.
fn
.
1C
2n
.
D1 ! 1
1 e
D :
g
1 C .1C
1
/
2n
C 1Ce

Por tanto, la distancia entre la funcin fn y la funcin lmite puntual, f , no converge a cero.

Este ejemplo y el anterior ponen de manifiesto que la convergencia puntual de ffng a f
no proporciona una buena idea de la aproximacin entre las funciones fn y f . Adems las
propiedades de continuidad de las funciones fn pueden no conservarse para la funcin lmite
puntual. Esto lleva a definir un tipo de convergencia mejor que la convergencia puntual.



10.2.2. Convergencia Uniforme

Sea J un intervalo no vaco contenido en el campo de convergencia puntual de la sucesin
ffng. Y sea f la funcin lmite puntual de ffng. Se dice que ffng converge uniformemente a f
en J si para todo " > 0 existe n
0
2 N (que depender de ") tal que para todo n > n
0
se verifica
que supfjfn.x/ f .x/j W x 2 J g 6 ".



1


b b
-3 -2 -1 1 2 3
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Convergencia Uniforme 587




Para comprender bien esta definicin, analicemos la ltima desigualdad. Tenemos que:
supfjfn.x/ f .x/j W x 2 J g 6 " jfn.x/ f .x/j 6 " 8x 2 J
" 6 fn.x/ f .x/ 6 " 8x 2 J
f .x/ " 6 fn.x/ 6 f .x/ C " 8x 2 J:
Cuya interpretacin grfica es la siguiente (donde hemos considerado J D a; b ).


Figura 10.3. Interpretacin grfica de la convergencia uniforme

Esto nos dice que la grfica de la funcin fn se queda dentro de un tubo centrado en la
grfica de f de anchura 2" (ver figura 10.3). Ahora debe estar claro que en el ejemplo 1 no hay
convergencia uniforme en ningn intervalo del tipo 0; a con 0 < a < 1 y en el ejemplo 2 no
hay convergencia uniforme en ningn intervalo que contenga a 1 o a 1.
10.7 Observaciones. Observa que la diferencia entre la convergencia puntual y la convergencia
uniforme en J es la siguiente.
Decir que ffng converge a f puntualmente en J significa que:
Fijas un x 2 J ;
La correspondiente sucesin de nmeros reales ffn.x/g converge a f .x/, es decir: para
todo " > 0, existe un nmero natural n
0
tal que para todo n 2 N con n > n
0
se verifica que
jfn.x/ f .x/j 6 ".
Naturalmente, el nmero n
0
depender del " y, en general, tambin de x porque si cambias
x por otro punto z 2 J la sucesin ffn.z/g es distinta de ffn.x/g y el n
0
que vale para una no
tiene por qu valer tambin para la otra.
Decir que ffng converge a f uniformemente en J significa que:
Fijas un " > 0;
Existe un nmero natural n
0
(que depender de ") tal que para todo n 2 N con n > n
0
se
verifica que jfn.x/ f .x/j 6 " para todo x 2 J .
Es decir, en la convergencia uniforme, hay un mismo nmero n
0
que es vlido simultnea-
mente para todos los x 2 J .
En la prctica, el estudio de la convergencia puntual se reduce a calcular para cada x fijo el
lmite lKm ffn.x/g, lo que suele ser muy sencillo. Mientras que para estudiar la convergencia
!1




b

b
b
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Convergencia Uniforme 588


1 2

n
n






uniforme en un intervalo J , lo que se hace es calcular, con las tcnicas usuales de derivacin, el
mximo absoluto de jfn.x/ f .x/j en J . La presencia del valor absoluto en jfn.x/ f .x/j
es incmoda para derivar por lo que conviene quitarlo, lo que casi siempre puede hacerse con
facilidad. Supongamos que el mximo absoluto de jfn.x/ f .x/j en J se alcanza en un punto
cn 2 J . Entonces, si lKm ffn.cn/ f .cn/g D 0 hay convergencia uniforme en J , y en otro caso
!1
no hay convergencia uniforme en J . En particular, si hay una sucesin fzng de puntos de J tal
que fjfn.zn/ f .zn/jg no converge a 0, entonces ffng no converge uniformemente a f en J .
10.8 Ejemplo. Estudiemos la convergencia uniforme en R
C
o
y en intervalos de la forma a; C1,
(a > 0), de la sucesin de funciones ffng definidas para todo x 2 R
C
o
por fn.x/ D n
2
x e
nx
.

Observa que fn.0/ D 0 y, si x > 0, lKm
!1
fn.x/ D x lKm
!1
n
2
.e
x
/
n
D 0 (porque es una
sucesin de la forma n
p
h
n
donde 0 < jhj < 1). Por tanto, el campo de convergencia puntual es
C D R
C
o
, y la funcin lmite puntal est dada por f .x/ D lKm ffn.x/g D 0 para todo x 2 R
C
o
.
!1
Estudiemos si hay convergencia uniforme en R
C
o
. Observa que fn.x/ > 0, por lo que
jfn.x/f .x/jDfn.x/. Ahora, como, f
n
0
.x/Dn
2
e
nx
.1nx/, se deduce que f
n
0
.x/ > 0 para
0 6 x < 1=n, y f
n
0
.x/ < 0 para x > 1=n. Luego fn.x/ 6 fn.1=n/ para todo x > 0. Deducimos
que fn.1=n/ D maKxffn.x/ W x 2 R
C
o
g, y como fn.1=n/ D n= e, sucesin que, evidentemente,
no converge a 0, concluimos que no hay convergencia uniforme en R
C
o
.
Estudiemos si hay convergencia uniforme en un intervalo de la forma a; C1, con a > 0.
Por lo antes visto, sabemos que la funcin fn es decreciente en el intervalo 1=n; C1. Sea
n
0
un nmero natural tal que
1
< a. Entonces, para todo n > n
0
, tenemos que a; C1c
1=n; C1, por lo que, maKxffn.x/ W x 2 a; C1g D fn.a/. Como lKmffn.a/g D 0, concluimos
que hay convergencia uniforme en a; C1.
Observa las grficas de las primero cinco funciones de la sucesin.








1








Puedes comprobar fcilmente, integrando por partes, que

1
n
2
x e
nx
dx D 1.1C n/ e
n

para todo n 2 N. Por tanto:
1 1
lm
n!1

fn.x/dx D 1 0 D

. lKm
!1
fn.x// dx :
0 0
Es decir, en general, no se puede permutar la integracin con el lmite puntual.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Convergencia Uniforme 589




10.9 Observaciones. El concepto de convergencia uniforme requiere algunas precisiones im-
portantes.
La convergencia uniforme se refiere siempre a un conjunto. No tiene sentido decir que
la sucesin ffng converge uniformemente si no se indica inmediatamente a continuacin
el conjunto en el que afirmamos que hay convergencia uniforme. Adems, siempre hay con-
vergencia uniforme en subconjuntos finitos del campo de convergencia puntual (si no sabes
probarlo es que no has entendido la definicin de convergencia uniforme). Por ello, slo tiene
inters estudiar la convergencia uniforme en conjuntos infinitos, por lo general en intervalos.
No existe el campo de convergencia uniforme. Es decir, el concepto de campo de
convergencia puntual no tiene un anlogo para la convergencia uniforme. La razn es que no
tiene por qu existir un ms grande conjunto en el que haya convergencia uniforme. As, en el
ejemplo anterior, hay convergencia uniforme en intervalos de la forma a; C1 con a > 0. La
unin de todos ellos es R
C
y en R
C
no hay convergencia uniforme.
10.10 Teorema (Condicin de Cauchy para la convergencia uniforme). Una sucesin de
funciones ffng converge uniformemente en J si, y slo si, para todo " > 0, existe un nmero
natural n
0
tal que para todos n; m > n
0
se verifica que:
supfjfn.x/ fm.x/j W x 2 J g 6 ":
Demostracin. Supongamos que ffng converge uniformemente a una funcin f en J . Enton-
ces, dado " > 0, existir un n
0
2 N tal que para todo n > n
0
se tiene que:
"
sup fjfn.x/ f .x/j W x 2 J g 6
2
:
Sea m > n
0
. Para todo x 2 J tenemos que:
" "
jfn.x/ fm.x/j 6 jfn.x/ f .x/j C jfm.x/ f .x/j 6
2
C
2
D ":
Por tanto para todos n; m > n
0
se verifica que supfjfn.x/ fm.x/j W x 2 J g 6 ".
Recprocamente, supuesto que la condicin del enunciado se cumple, entonces para cada
x 2 J se verifica que la sucesin ffn.x/g verifica la condicin de Cauchy pues:
jfn.x/ fm.x/j 6 supfjfn.x/ fm.x/j W x 2 J g 6 ":
Por el teorema de completitud de R dicha sucesin es convergente. Por tanto podemos definir
la funcin lmite puntual f W J ! R por f .x/ D lKm
!1
f .x/ para todo x 2 J . Comprobemos
que ffng converge uniformemente a f en J . Dado " > 0, por la hiptesis hecha, hay un n
0
2 N
tal que para todos n; m > n
0
es:
jfn.x/ fm.x/j 6 " 8x 2 J
Fijando x 2 J y n > n
0
en esta desigualdad y tomando lmite para m ! 1 obtenemos que:
jfn.x/ f .x/j 6 ";
desigualdad que es vlida para todo x 2 J . Deducimos que sup fjfn.x/ f .x/j W x 2 J g 6 "
siempre que n > n
0
. Hemos probado as que ffng converge uniformemente a f en J .

La utilidad de la condicin de Cauchy para la convergencia uniforme es que es intrnseca a
la sucesin, es decir, no involucra a la funcin lmite.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 590

n


10.2.3. Series de funciones

Dada una sucesin de funciones ffng, podemos formar otra, fFng, cuyos trminos se obtie-
nen sumando consecutivamente los de ffng. Es decir, F
1
Df
1
, F
2
Df
1
Cf
2
, F
3
Df
1
Cf
2
Cf
3
,...
En general, Fn D
X
f
k
. La sucesin fFng as definida se llama serie de trmino general fn y
kD1
la representaremos por el smbolo
X
fn .
n>1
Debe quedar claro que una serie de funciones es una sucesin de funciones que se ob-
tienen sumando consecutivamente las funciones de una sucesin dada. Todo lo dicho para
sucesiones de funciones se aplica exactamente igual para series de funciones. En particular, los
conceptos de convergencia puntual y uniforme para sucesiones de funciones tienen igual signi-
ficado para series. As el campo de convergencia puntual de la serie
X
fn cuyas funciones fn
n>1
suponemos definidas en un intervalo I , es el conjunto:
C D fx 2 I W
X
fn.x/ es convergenteg:
n>1

La funcin lmite puntual, llamada funcin suma de la serie, es la funcin F W C ! R dada
para todo x 2 C por:
1
F.x/ D
X
fn.x/:
nD1
La nica novedad es que ahora tambin podemos considerar el campo de convergencia absoluta
de la serie, que es el conjunto
A D fx 2 I W
X
jfn.x/j es convergenteg:
n>1

El siguiente resultado es el ms til para estudiar la convergencia uniforme y absoluta de una
serie.
10.11 Teorema (Criterio de Weierstrass). Sea
X
fn una serie de funciones y A un conjunto
n>1
tal que para todo x 2 A y todo n 2 N se tiene que jfn.x/j 6 n, donde la serie
X
n es
n>1
convergente. Entonces
X
fn converge uniformemente y absolutamente en A.
n>1

Demostracin. De las hiptesis se deduce, en virtud del criterio de comparacin para series de
trminos positivos, que la serie
X
jfn.x/j converge para todo x 2 A. Esto implica que la serie
n>1
X
fn (x) converge para todo x 2 A. Veamos que la convergencia es uniforme. Utilizaremos el
n>1
criterio de Cauchy.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 591


n

n

n


Como
X
n es convergente cumplir la condicin de Cauchy, esto es, dado " > 0, existe
n>1
n
0
2 N tal que si n > m > n
0
entonces

n m

n X

k

X

k

D
X

k
< ":

kD1

kD1


kDmC1
Deducimos que para todo x 2 A se verifica que:

jFn.x/ Fm.x/j

Como esta desigualdad es vlida para todo x 2 A se sigue que:


X

k
< ":
1

sup fjFn.x/ Fm.x/j W x 2 Ag 6 ": (10.2)
Es decir, la serie
X
fn cumple la condicin de Cauchy para la convergencia uniforme en A.
n>1

Por otra parte, si en la condicin de Cauchy (10.2) para una serie de funciones
P
fn,
hacemos m D n C 1 deducimos la siguiente condicin necesaria para la convergencia uniforme.
10.12 Corolario. Una condicin necesaria para que una serie de funciones
P
fn sea unifor-
memente convergente en un conjunto A es que la sucesin de funciones ffng converja unifor-
memente a cero en A.

Observa que los conceptos de convergencia absoluta y de convergencia uniforme son inde-
pendientes: una serie puede ser uniformemente convergente en un conjunto A y no ser absolu-
tamente convergente en A. En tales casos se aplican los siguientes criterios de convergencia no
absoluta para series de funciones.

10.13 Proposicin (Criterios de convergencia uniforme no absoluta). Sea fang una sucesin
numrica y
X
fn una serie de funciones definidas en un conjunto A.
n>1
Criterio de Dirichlet. Supongamos que:
a) fang es una sucesin de nmeros reales montona y convergente a cero.
b) La serie
X
fn tiene sumas parciales uniformemente acotadas en A, es decir, hay un n-
n>1

n

mero M > 0 tal que para todo x 2 A y para todo n 2 N se verifica que

X
f
k
.x/

6 M .

Entonces la serie de funciones
X
anfn converge uniformemente en A.
n>1
Criterio de Abel. Supongamos que:
a) La serie
X
an es convergente.
n>1

kD1


Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 592





b) Para cada x 2 A ffn.x/g es una sucesin de nmeros reales montona y la sucesin de
funciones ffng est uniformemente acotada en A, es decir, hay un nmero M > 0 tal que
para todo x 2 A y para todo n 2 N se verifica que jfn.x/j 6 M .
Entonces la serie de funciones
X
anfn converge uniformemente en A.
n>1

n
Demostracin. Probaremos primero el criterio de Dirichlet. Pongamos Fn D
X
f
k
. De la

frmula (9.10) de suma por partes de Abel se deduce fcilmente que:
kD1

p
X
a
n

kD1

Ck
f


nCk
p
.x/D
X
F
nCk

kD1


.x/.a

nCk

a
nCkC1

/CFnCp

.x/a
nCpC1

Fn

.x/a
nC1


: (10.3)
Igualdad que es vlida para todos p > n > 1 y todo x 2 A. Tomando valores absolutos en esta
igualdad, teniendo en cuenta que para todo n 2 N es jFn.x/j 6 M y suponiendo que fang es
decreciente en cuyo caso ser an > 0, obtenemos:


p

p

X
a
n

Ck
f

nCk
.x/

6 M
X
.a

nCk a
nCkC1
/ C Ma
nCpC1
C Ma
nC1
D

kD1

kD1
D M .a
nC1
a
nCpC1
/ C Ma
nCpC1
C Ma
nC1
D 2Ma
nC1
:


Dado " > 0, como suponemos que fang ! 0, hay un n
0
tal que para todo n > n
0
se verifica
que an 6
"
. Deducimos que para todos p > n > n
0
y para todo x 2 A se verifica que:

p n

X X

p


X


a
k
f
k
.x/ a
k
f
k
.x/

D

a
nCk
f
nCk
.x/

6 2Ma
nC1
6 ":

kD1
kD1


kD1


Hemos probado as que la serie de funciones
X
anfn verifica la condicin de Cauchy para la
n>1
convergencia uniforme en A.
n
Probaremos ahora el criterio de Abel. Sea Sn D
X
a
k
. Intercambiando los papeles de a
k

kD1
y f
k
en la igualdad (10.3) tenemos:

p
X
a
n

kD1

Ck
f



nCk

p
.x/ D
X
S
kD1


nCk

.f
nCk

.x/ f


nCkC1

.x// C S


nCp

f
nCpC1

.x/ Sn

f
nC1


.x/:

1
Sea S D
X
an.Teniendo en cuenta que:
nD1

p
X
.f
n

kD1

Ck
.x/ f


nCkC1

.x// C f


nCpC1

.x/ f


nC1

.x/ D 0;
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 593






deducimos de la igualdad anterior:

p p
X
a
n

kD1
Ck
f
nCk
.x/D
X
.S
nCk
S /.f
nCk

kD1
.Sn S /f
nC1
.x/:
.x/ f
nCkC1
.x// C .SnCp S /f
nCpC1
.x/
Igualdad que es vlida para todos p > n > 1 y todo x 2 A. Dado " > 0, tomemos n
0
2 N tal
que jSq S j 6 "=4M siempre que n > n
0
. Entonces p > n > n
0
, tomando valores absolutos
en la igualdad anterior y teniendo en cuenta que jfn.x/j 6 M para todo n 2 N, obtenemos:

p

"
p
"

X
a
n

kD1
Ck
f

nCk
.x/

6


4M
X
jf
kD1
nCk .x/ f nCkC1 .x/j C
2
:
Como para cada x 2 A la sucesin ffn.x/g es montona, las diferencias f
nCk
.x/ f
nCkC1
.x/
son todas positivas o todas negativas y, por tanto:

p

p


X
jf
nCk
.x/ f
nCkC1
.x/jD

X
.f
nCk
.x/ f
nCkC1
.x//

f
nC1
.x/ f
nCpC1
.x/

62M:
kD1

kD1



Concluimos que para todos p > n > n
0
y para todo x 2 A se verifica que:

p

" "

X
a
n

kD1
Ck
f

nCk
.x/

6

4M
2M C
2
D ":

Hemos probado as que la serie de funciones
X
anfn verifica la condicin de Cauchy para la
n>1
convergencia uniforme en A.


10.14 Corolario (Criterio de Leibniz para la convergencia uniforme). Sea fgng una suce-
sin de funciones definidas en un conjunto A c R tal que para todo x 2 A la sucesin fgn.x/g
es montona y converge uniformemente a cero en A. Entonces la serie
P
n>1
.1/
nC1
gn con-
verge uniformemente en A.
Demostracin. Pongamos fn fn.x/D.1/
nC1
. Entonces ffng es una sucesin de funciones
n

n

constantes. Sea Fn D
X
f
k
. Se verifica que jFnjD

X
f
k
.x/

61 para todo x 2 A. Pongamos


kD1

kD1


tambin a
k
D g
k
.x/. Usando la igualdad (10.3), tenemos que:

p
X
.1/
nCkC1
g
n


p
k
.x/D
X
F

.g .x/g

.x//CF g

.x/F g


.x/:
kD1
C
kD1
nCk nCk nCkC1 nCp nCpC1 n nC1
Tomando valores absolutos obtenemos:

p

p

X
.1/
nCkC1
g
n

k
.x/

6
X
jg
n

k
.x/ g .x/j C

g .x/

C jg .x/j :

kD1
C

C

kD1
nCkC1

nCpC1

nC1
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 594





Como, para cada x 2 A, los nmeros g
nCk
.x/ g
nCkC1
.x/ son todos positivos o todos nega-
tivos, se tiene que:
p

p


X
jg
nCk
.x/ g
nCkC1
.x/j D

X
.g
nCk
.x/ g
nCkC1
.x//

D

g
nC1
.x/ g
nCpC1
.x/

6
kD1

kD1

g
nCpC1
.x/

C jg
nC1
.x/j :


Resulta as que para todo x 2 A:

p

X
.1/
nCkC1
g
n

k
.x/

6 2

g
n p

1
.x/

C 2 jg .x/j :

kD1
C


C C



nC1
Como fgng converge uniformemente a 0, dado " > 0, hay un n
0
tal que para todo n > n
0
y para
todo x 2 A se verifica que jgn.x/j 6 "=4. De la desigualdad anterior, se sigue que para n > n
0
y para todo x 2 A se verifica que:

p

X
.1/
nCkC1
g
n

k
.x/

6 ":
C

kD1


Hemos probado as que la serie
P
n>1
.1/
nC1
gn verifica la condicin de Cauchy para la
convergencia uniforme en A.

Los resultados siguientes, relativos a la convergencia uniforme, se aplican, claro est, tanto
a sucesiones como a series de funciones.
10.15 Teorema (Conservacin de la continuidad). Supongamos que ffng converge unifor-
memente a f en un intervalo J . Sea a 2 J y supongamos que las funciones fn son todas ellas
continuas en a. Se verifica entonces que la funcin f es continua en a. En particular, si las
funciones fn son todas ellas continuas en J . Se verifica entonces que la funcin f es continua
en J .

Demostracin. Dado " > 0, la hiptesis de convergencia uniforme implica que existe n0 2 N
tal que para n > n
0
se verifica que jfn.u/ f .u/j 6 "=3 para todo u 2 J . Tenemos:
jf .x/ f .a/j 6 jf .x/ fn
0
.x/j C jfn
0
.x/ fn
0
.a/j C jfn
0
.a/ f .a/j
Pero por la forma en que hemos tomado n
0
se sigue que:
2"
jf .x/ f .a/j 6
3
C jfn
0
.x/ fn
0
.a/j (10.4)
Adems, como por hiptesis fn
0
es continua en a , se verifica que existe > 0 tal que para
todo x 2 J con jx aj < es jfn
0
.x/ fn
0
.a/j 6 "=3, lo que, en virtud de (10.4) implica que:
3"
jf .x/ f .a/j 6
3
D ":
Resumiendo, hemos probado que dado " > 0, existe > 0, tal que si tomamos jx aj < y
x 2 J entonces jf .x/ f .a/j 6 ", que es, precisamente, la continuidad de f en a.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 595

D


Como la continuidad de f en a 2 J se expresa por f .a/ D lKm f .x/ D lKm . lKm fn.x//
x!a x!a n!1
y, por otra parte, por ser fn continua en a, f .a/D lKm fn.a/D lKm . lKm fn.x//; el resultado
anterior nos dice que:
n!1 n!1 x!a
lm . lm
x!a n!1
fn.x// lm . lm fn.x//:
n!1 x!a
Es decir, la convergencia uniforme permite permutar los lmites. El ejemplo 10.6 con a D 1 o
a D 1 muestra que esta igualdad puede ser falsa si no hay convergencia uniforme.
10.16 Teorema (Permutacin de la integracin con el lmite uniforme). Supongamos que
ffng converge uniformemente en un intervalo a; b y que las funciones fn son todas ellas
continuas en a; b . Se verifica entonces que:

b b
lKm

fn.x/ dx D

. lKm fn.x// dx : (10.5)


n!1
a

a
n!1

En particular, si una serie
X
fn converge uniformemente en a; b se verifica que:
n>1

1 b b 1
!

X

fn.x/ dx D


X
fn.x/ dx : (10.6)
nD1 a a nD1

Demostracin. Sea f .x/ D lKm ffn.x/g. La hiptesis de convergencia uniforme nos dice que
dado " > 0 existe un n tal
n!1
ra todo n > n
se cumple:
0
que pa
0


jf .x/ fn.x/j 6 " para todo x en a; b
As pues, si n > n
0
tenemos:

b b



b

b b







f .x/ dx fn.x/ dx

f .x/ fn.x/ dx

6 jf .x/ fn.x/j dx 6 " dx D".ba/:



a a



a

a a



Al cumplirse esto para todo " > 0 se sigue que

b

f .x/ dx D lKm
a
n!1
b

fn.x/ dx
a


Este resultado es vlido tambin si solamente se supone que las funciones fn son integra-
bles en a; b , aunque en ese caso su demostracin es un poco ms larga porque hay que probar
en primer lugar que la funcin lmite uniforme f tambin es integrable en a; b . Suponiendo
que las funciones fn son continuas la funcin lmite uniforme f tambin es continua y, por
tanto, es integrable en a; b .
Cuando no hay convergencia uniforme la igualdad (10.5) no tiene por qu ser cierta como
se pone de manifiesto en el ejemplo 10.8.
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 596


n


10.17 Ejemplo. Para cada n 2 N sea fn W 0; 1 ! R la funcin dada por fn.x/ D x
n
.log x/
2
,
y fn.0/ D 0. Veamos que la serie
P
fn converge uniformemente en 0; 1 .
Observa que fn es continua y positiva en 0; 1 y se anula en los extremos del intervalo.
Como f
n
0
.x/ D .n log x C 2/x
n1
log x, se sigue que en el punto cn D exp.2=n/ la funcin
fn alcanza un mximo absoluto en 0; 1 . Luego

jfn.x/j D fn.x/ 6 fn.cn/ D
4 e
2
4 e
2
n
2
;
y, puesto que la serie
P
es convergente, deducimos, por el criterio de Weierstrass, que
n
2
P
fn converge uniformemente en 0; 1 . En consecuencia, se verificar que:

1 1 1 1

X
f

!
.x/ dx D
X

fn .x/ dx :


Puesto que
0 nD1

1
x.log x/
2

nD1 0


1

1

X
fn.x/ D
nD1
y
1 x
fn.x/ dx D 2
.n

0
C 1/
3

como fcilmente puedes comprobar integrando por partes, se deduce que:

1
x.log x/
2


0
1 x
1
1
dx D 2
X
n
3
:
nD2

La convergencia uniforme no conserva la derivabilidad. Esto es fcil de entender si consi-
deras que puedes sacar pequeos dientes de sierra a la grfica de una funcin derivable con lo
que resulta una nueva funcin no derivable y arbitrariamente prxima a la primera. Por ello, el
siguiente resultado tiene hiptesis ms exigentes que los anteriores.
10.18 Teorema (Derivabilidad y convergencia uniforme). Sea ffng una sucesin de funcio-
nes definidas en un intervalo I , y supongamos que:

i) fn es derivable en I para todo n 2 N.
ii) ffng converge uniformemente a f en I .
iii) ff
n
0
g converge uniformemente a g en I
Entonces f es derivable en I y g.x/ D f
0
.x/ para todo x 2 I .

Demostracin. Demostraremos este resultado en el caso particular de que las funciones fn
tengan derivada primera continua en I . En tal caso, fijemos un punto a 2 I . Ahora, para x 2 I ,
en virtud del teorema fundamental del Clculo, tenemos que:

x
fn.x/ D fn.a/ C

f
0
.t / dt :
a
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 597

n


Tomando lmites y haciendo uso del teorema anterior, deducimos que:

x
f .x/ D f .a/ C

g.t / dt :
a

Una nueva aplicacin del teorema fundamental del Clculo nos dice ahora que f es derivable
en I y que f
0
.x/ D g.x/ para todo x 2 I .

Observa que este teorema nos dice que, en las hiptesis hechas, podemos permutar la deri-
vabilidad con la convergencia uniforme:
f D lKm fnf
0
D lKmff
0
g:
Esta igualdad es una permutacin de lmites pues afirma que para a 2 I se verifica que:
f
0
.a/ D lKm
f .x / f .a/

D lKm
.
lKm
fn.x / fn.a/
.

D
x!a
x a
x!a n!1
x a
D lKm
.
lKm
fn.x / fn.a/
.

D lKm ff
0
.a/g
n!1 x!a
x a
n!1
n

El teorema anterior suele enunciarse de una forma ms general en apariencia. T mismo puedes
deducirla a partir del siguiente resultado que se prueba haciendo uso del teorema del valor
medio.

10.19 Proposicin. Sea ffng una sucesin de funciones derivables en un intervalo I . Supon-
gamos que la sucesin ff
n
0
g converge uniformemente en I y que hay un punto a 2 I tal que
ffn.a/g es convergente. Entonces la sucesin ffng converge uniformemente en todo intervalo
acotado contenido en I .


Demostracin. Sea J un intervalo acotado contenido en I y sea L la longitud de J . Podemos
suponer que a 2 J (si es necesario ampliamos J para que as sea). Como ff
n
0
g converge uni-
formemente en I tambin converge uniformemente en J c I . Por tanto, dado " > 0, existe un
n
0
2 N tal que para todos n; m > n
0
se verifica que:
"

n
.x/ f
m
.x/

6 ; 8x 2 J (10.7)

f
0
0

2L
Como ffn.a/g es convergente, podemos tomar tambin n
0
de forma que para n; m > n
0
se
verifica que:
"
jfn.a/ fm.a/j 6
2
(10.8)
Aplicando el teorema del valor medio a la funcin h.t / D fn.t / fm.t / .fn.a/ fm.a// en
un intervalo de extremos x y a donde x 2 J , se tiene que hay algn c comprendido entre x y a,
por lo que c 2 J , tal que h.x/ h.a/ D h
0
.c/.x a/, es decir:
fn.x/ fm.x/ .fn.a/ fm.a// D
.
f
0
.c/ f
0
.c/
.
.x a/:
n m
Tomando valores absolutos en esta igualdad y teniendo en cuenta (10.7), resulta que para n; m>
n0 es:
jfn.x/ fm.x/ .fn.a/ fm.a//j D
.
f
0
.c/ f
0
.c/
.
jx aj 6
" "
L D ; 8x 2 J:

n m

2L 2
Universidad de Granada
Dpto. de Anlisis Matemtico
Prof. Javier Prez
Clculo diferencial e integral
Series de funciones 598



Deducimos que:
" "
jfn.x/ fm.x/j 6 jfn.x/ fm.x/ .fn.a/ fm.a//j C jfn.a/ fm.a/j 6
2
C
2
D ";
desigualdad que es vlida siempre que n; m > n
0
y para todo x 2 J . Hemos probado as que la
sucesin ffng verifica en J la condicin de Cauchy para la convergencia uniforme.