Professional Documents
Culture Documents
ii
Prlogo
El Anlisis Matemtico es una de la rama ms importante de la ciencia Matemtica, en ella
se estudia, entre otros objetos, los nmeros reales, espacios de funciones, lmites, continuidad,
diferenciabilidad, integrabilidad y series. No se sabe a ciencia cierta cundo los matemticos de
la antiguedad empezaron a plantearse problemas donde haba que sumar una cantidad infinita
de nmeros o bien considerar nmeros arbitrariamente pequeos; lo que si es cierto es que los
matemticos griegos en los siglos IV-III a.d. C. ya se planteaban este tipo de problemas; por
ejemplo, podemos mencionar la famosa paradoja de Zenn, donde un caminante deba recorrer
un camino de longitud L, de una manera bien perculiar: El primer da el recorra la mitad del
camino, el segundo da recorra la mitad de la distancia que le faltaba para llegar a su destino; y as
sucesivamente, cada da recorra la mitad de la distancia que le faltaba para culminar su camino.
Entonces, segn este esquema y dado que todo humano muere, aparentemente el caminante no
llega a su destino en un tiempo finito; sin embargo, el caminante (en caso de tener mucha vida por
delante) tendr un problema ms grande pues habr un momento en su vida, que la distancia al
destino es tan pequea que l no tendr a manos una herramienta que le permita calcular la mitad
del recorrido que le falta; y en ese caso, l podra pensar que ha llegado a su destino (acaso cuando
hablamos de un lugar geogrfico, no nos referimos a un entorno de ese lugar?); queda entonces
establecida la paradoja de que si el caminante llega o no a su destino en un tiempo finito. Todava
ms, aqu se puede ver que implicitamente se est hablando del concepto de lmite y del clculo
de una suma geomtrica (para calcular la cantidad recorrida en el n-simo da) que se convertir
en una serie cuando el nmero de da tienda a infinito.
A pesar que los griegos desconocan los conceptos de lmite y convergencia, ellos hacan un
uso informal de estos conceptos cuando usaron su mtodo de exhauscin para calcular el rea y
volumen de regiones y slidos; de hecho, el nmero fue aproximado usando este mtodo. Algunos
de los investigadores griegos eludan estas nociones de lmites y convergencia apoyndose en una
teora atomicista; donde, al igual que ocurre en la materia, a partir de cierta cantidad es imposible
la divisin. Asmismo, se haca el uso implcito del concepto de lmite y de continuidad en el
siglo XIV, cuando el matemtico Madhava hallaba el desarrollo en series de potencias de funciones
trigonomtricas; de hecho, en el siglo XVII, Newton y Leibnitz, de manera independientes, inventan
el clculo y all nuevamente, hacen uso de cantidades arbitrariamente pequeas, conocidas como
infinitesimales. Fue en la segunda dcada del siglo XIX cuando Augustin-Louis Cauchy estableci
las bases del Anlisis mediante el concepto de lmite; cabe destacar que, en los trabajos de Cauchy,
una magnitud infinitesimal se ve como una variable cuyo lmite es igual a cero.
iii
Estos apuntes son el resultado de una recopilacin que se hizo cuando me encontraba dictando el
curso de Anlisis II, en el Departamento de Matemticas de la Universidad de Oriente, Venezuela.
El contenido del mismo est basado en el programa sinptico de esta asignatura y est pensado
para un curso cuya duracin sea un semestre; bsicamente, en este curso, se pretende dar una
introduccin sobre el estudio de los criterios de convergencia de series numricas y de funciones;
as como introducir y dar ejemplos de espacios de Banach que sern usados en un curso de Anlisis
Funcional. De manera entonces que se asume que el estudiante ya ha cursado varias asignaturas de
clculo con geometra analtica, donde, entre otros objetivos, se ha estudiado el concepto de lmite
de funciones reales de una y varias variables, continuidad y continuidad uniforme, diferenciabilidad
y la integral de Riemann; as como una introduccin a las integrales mltiples.
A pesar que la teora abordada aqu es conocida desde hace ya bastante tiempo y aparecen
recopiladas en un gran nmero de textos de Anlisis, las pocas referencias que se tienen en la
biblioteca de este departamento sobre estos temas y la dificultad que se ha presentado en este pas,
en estos ltimos aos, para la adquisicin de divisas para la compra de bibliografa, en el rea
de matemtica, me ha motivado a escribir estos apuntes con la intencin que el mismo pueda ser
usado por lo menos en este curso y en esta Universidad. Cabe destacar, que muchos de los ejemplos
y demostraciones que aqu presentamos han surgidos de las discusiones que se presentaban en el
aula cuando se trataba de analizar y justificar ciertos temas.especficos.
El material aqu incluido ha sido divididos en 4 captulos, en el primero de ellos, definimos
los espacios normados haciendo especial nfasis, en los espacios normados de dimensin finita; de
hecho, veremos que en Rn , todas las normas que se definan sobre este espacio son equivalentes y que
ste es un espacio de Banach con cualquiera norma que se le defina. Tambin estudiamos el espacio
de las sucesiones convergentes y finalizamos este captulo, as como los otros tres, con una seccin
de ejercicios. En el Captulo 2, damos una introduccin a las series numricas y estudiamos
algunos criterios de convergencias para series de nmeros positivos. Tambin veremos que los
espacios de Banach se pueden caracterizar a travs de las series absolutamentes convergentes; y
que, en general, el orden de los sumandos, cuando se trata de sumas infinitas s alteran el valor
de la suma; estableceremos que el espacio de las series absolutamente convergentes constituye
un espacio de Banach. En el Captulo 3, estudiamos los tipos de convergencias en espacios de
funciones, como lo son la convergencia puntual y la convergencia uniforme, demostraremos que
en mucho casos, el espacio de las funciones acotadas constituye un espacio de Banach; tambin
estableceremos la completitud del espacio de las funciones continuas y estudiaremos las series de
funciones, haciendo especial nfasis en las series de potencias y sus aplicaciones. Finalmente, en
el Captulo 4, estudiamos el espacio de las funciones de variacin acotada, definiremos la integral
de Riemann-Stieltjes como una generalizacin de la integral de Riemann y estableceremos sus
propiedades. Tambin estudiamos las integrales impropias y luego, damos una breve introduccin
a las series de Fourier.
Julio C. Ramos Fernndez
Agosto de 2009
iv
ndice General
Prlogo
iii
1 Espacios Normados
1.1 Espacios Vectoriales . . . . . . . . . . . . .
1.2 Espacios Mtricos . . . . . . . . . . . . . . .
1.3 Rn Como Espacio Normado . . . . . . . . .
1.4 Normas Equivalentes y Espacios de Banach
1.5 Espacios normados de dimensin finita . . .
1.6 El espacio de las sucesiones convergentes . .
1.7 Ejercicios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
6
12
23
28
34
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
41
41
45
48
56
59
63
68
72
76
81
83
92
.
.
.
.
.
.
.
.
95
95
101
106
113
122
130
140
146
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.8
3.9
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
151
151
152
154
155
.
.
.
.
.
.
.
159
159
167
169
172
197
205
215
Bibliografa
219
Indice alfabtico
221
vi
Captulo 1
Espacios Normados
Este captulo est dedicado a estudiar las propiedades de los espacios normados. En particular se
estudia el conjunto Rn como un espacio normado de dimensin finita. Estableceremos que todo
espacio normado de dimensin finita es un espacio de Banach; y que en estos espacios todas las
normas que se definan sern equivalentes. Veremos un ejemplo de un espacio normado que contiene
una sucesin de Cauchy la cual no es convergente y que el espacio de las sucesiones convergente es
de Banach con la norma definida a travs del supremo. El captulo se completa con dos secciones de
preliminares donde se recuerda el concepto de espacio vectorial, dimensin de un espacio y algunas
propiedades de los espacios mtricos.
1.1
Espacios Vectoriales
En primer lugar, recordemos que un conjunto no vaco X se dice un espacio vectorial sobre un
campo K (que en nuestro caso ser R o C) si existen dos operaciones + (suma) y ( producto por
un escalar) que satisfacen las siguientes propiedades:
1. (X, +) es un grupo abeliano, es decir, + : X X X es una operacin binaria en X que
satisface:
(a) Asociatividad: Para todo x, y, z X se cumple
(x + y) + z = x + (y + z) .
(b) Existencia del neutro: Existe un elemento 0 X tal que
0+x=x+0=x
para todo x X.
(c) Existencia del opuesto: Para cada x X, podemos encontrar un elemento y X,
llamado el opuesto de x y denotado por x tal que
x + y = y + x = 0.
1
Definicin 1.1.1 Sea X un espacio vectorial. Una familia finita {x1 , x2 , . . . , xn } de vectores del
espacio X se dice linealmente independientes (l.i.), cuando
1 x1 + 2 x2 + . . . + n xn = 0
implica que 1 = 2 = . . . n = 0. En caso contrario, se dice que la familia {x1 , x2 , . . . , xn }
es linealmente dependiente (l.d.). Una coleccin arbitaria de vectores se dice linealmente
independientes si cualquier subconjunto finito de ella es linealmente independiente.
Se dice que un subconjunto B de un espacio vectorial X es una base de Hamel de X si todo
vector de x X puede ser expresado como combinacin lineal finita de elementos de B. Esto
significa que para cada x X, podemos encontrar un natural n, elementos b1 , b2 , ..., bn B y
escalares 1 , 2 , ..., n K tal que
x = 1 b1 + 2 b2 + . . . + n bn .
(1.1)
Observe que si cambiamos el elemento x X, entonces cambiar el entero positivo n as como los
elementos bi B y los escalares i K (i = 1, 2, ..., n) que aparece en la escritura (1.1).
Ejemplo 1.1.1 Sea X = R3 = {(x, y, z) : x, y, z R}, con la suma y el producto por escalar usual
de vectores. Entonces el conjunto B = {e1, e2 , e3 }, donde e1 = (1, 0, 0), e2 = (0, 1, 0) y e3 = (0, 0, 1)
es una base de Hamel para R3 , la cual se conoce como la base usual o cannica. Note que en este
caso,
(x, y, z) = xe1 + ye2 + ze3 .
Ejemplo 1.1.2 Sea X = P [x], el conjunto de los polinomios con coeficientes reales. Una base de
En efecto, para ver que B es una familia linealmente independiente, tomamos una coleccin
finita {xn1 , xn2 , ..., xnm } B y suponemos que
1 xn1 + 2 xn2 + . . . + m xnm = 0
para todo x R. Entonces, por igualdad de polinomios, se concluye
1 = 2 = . . . = m = 0
y por lo tanto B es l.i.
Por otra parte, es claro que, por definicin de polinomios, que si q (x) P [x], entonces q (x) =
a1 x + a2 x2 + . . . + an xn para algn n N {0}, es decir, q (x) es una combinacin lineal finita de
1.2
Espacios Mtricos
En esta seccin damos un breve repaso de los concepto bsicos sobre espacios mtricos que estaremos usando en el transcurso de estas notas. En primer lugar, recordemos que un espacio mtrico
no es ms que un par (X, d), donde X es un conjunto no vaco d : X X R es una funcin que
satisface las siguientes propiedades para todo x, y, z X:
[d1] d (x, y) 0,
[d2] d (x, y) = 0 x = y,
[d3] Simetra d (x, y) = d (y, x) .
[d4] Desigualdad triangular: d (x, y) d (x, z) + d (z, y) .
Ejemplo 1.2.1 Si X es un conjunto cualquiera no vaco, entonces la relacin
(
0, x = y,
d (x, y) =
1, x 6= y,
define una mtrica sobre X, llamada mtrica discreta. De manera que todo conjunto no vaco es
un espacio mtrico con la mtrica discreta.
En un espacio mtrico (X, d) hay que destacar los siguientes conjuntos especiales, donde a X
y r > 0 son fijos:
3
B (a, r) = {x X : d (x, a) r} .
entonces el par R2 , d1 es un espacio mtrico; y en este caso, la bola unitaria, con centro en el
origen y radio 1, denotado por B (0, 1) , tiene la grfica
T
2. Si O1 , O2 , . . . , On son abiertos, entonces nk=1 Ok es abierto.Es decir, la interseccin finita
de conjuntos abiertos resulta un conjunto abierto.
jI
n
\
Ok .
k=1
luego, si hacemos bn = d (an , a), donde n N, entonces {bn } es una sucesin de nmeros reales no
negativos y la sucesin {an } converge a un elemento a X si y slo si la sucesin {bn } converge a
cero en R.
Entre las sucesiones en espacios mtricos, hay que destacar aquellas que son de Cauchy.
Recordemos que una sucesin {an } en un espacio mtrico (X, d) se dice de Cauchy , si para
cada > 0 podemos encontrar un no N tal que
n, m no = d (an , am ) < .
Claramente, toda sucesin convergente es de Cauchy; pero no toda sucesin de Cauchy es convergente. Aquellos espacios mtricos donde toda sucesin de Cauchy es convergente se le denominan
espacios mtricos completos.
1.3
Ya podemos dar la definicin del objeto matemtico que estaremos estudiando en el transcurso de
estas notas.
Definicin 1.3.1 Un espacio vectorial X sobre un campo K se dice que es un espacio normado
si existe una funcin kk : X R, llamada norma, que satisface las siguientes propiedades:
[N1] No negatividad. kxk 0 para todo x X.
[N2] kxk = 0 x = 0.
[N3] Homogeneidad. kxk = || kxk , para todo x X y todo K.
[N4] Desigualdad triangular. Para todo x, y X,
kx + yk kxk + kyk .
Un espacio normado se denota por el par (X, kk).
Observacin 1.1 Si kk satisface solamente [N1 ], [N3 ] y [N4 ] se llama seminorma.
Observacin 1.2 La desigualdad triangular implica (vase Ejercicio 1.6a)
|kxk kyk| kx yk
para todo x, y X, lo cual a su vez nos implica que la fincin norma es continua.
Proposicin 1.3.1 Todo espacio normado (X, kk) es un espacio mtrico con la mtrica
d: X X
(x, y)
R
d (x, y) = kx yk .
Observacin 1.3 Note que, si 0, entonces la mtrica d inducida por una norma satisface la
relacin
d (x, y) = kx yk = k (x y)k = || kx yk = d (x, y)
para todo x, y X. Tambin, en este caso, se satisface la siguiente propiedad
d (x + z, y + z) = d (x, y)
para todo x, y, z X; esta ltima propiedad nos dice que la mtrica inducida por una norma es
invariante por traslacin.
n
X
k=1
|xk | ,
entonces de las propiedades del valor absoluto, queda claro que (Rn , kk1 ) es un espacio normado.
Por ejemplo, la desigualdad triangular viene dada por
kx + yk1 =
n
X
k=1
|xk + yk |
n
X
k=1
(|xk | + |yk |) =
n
X
k=1
|xk | +
n
X
k=1
En efecto, podemos observar que las propiedades [N1], [N2] y [N3] de la definicin de norma
son, en este caso, evidentes. As que probaremos la desigualdad triangular, que en este caso se
llama la desigualdad de Minkowski. Vamos a establecer que kx + yk2 kxk2 + kyk2 , lo cual
es equivalente a demostrar que
n
X
k=1
|xk + yk |
!1/2
n
X
k=1
|xk |
!1/2
n
X
k=1
|yk |
!1/2
1
1
+ .
2
2
(1.3)
Demostracin. Si o son cero entonces no hay nada que probar. Luego, podemos suponer
que > 0. Dividiendo por , entonces (1.3) es equivalente a probar que
1/2
1 1
+
,
2 2
o, lo que es lo mismo,
1/2
1 1
0.
2 2
(1.4)
Consideremos la funcin
1 1
x,
2 2
donde x 0. Notamos que f (0) = 1/2 y que su derivada viene dada por
f (x) = x1/2
f 0 (x) =
1 1/2 1
1 1/2
=
x
x 1 ,
2
2
2
adems, es claro que f 0 (x) = 0 si y slo si x = 1 lo cual significa que en x = 1 hay un punto
crtico; luego, como f 0 (x) > 0 si x (0, 1) y f 0 (x) < 0 si x > 1, se deduce que en x = 1 hay un
mximo global, lo cual significa que
f (x) f (1) = 0
para todo x 0 (vase la grfica de la funcin f (x) = x1/2
1
2
12 x abajo).
4
0.0
-0.2
-0.4
-0.6
-0.8
-1.0
1
2
12 x
x
5
As, x1/2
1
2
1 1
0
2 2
Observacin 1.5 Realmente vale una desigualdad ms general que la presentada en el lema anterior (vase el Ejercicio 1.13). A saber, si fijamos [0, 1], entonces
1 + (1 )
para todo , 0.
Lema 1.3.3 (Desigualdad Cauchy-Schwarz-Hlder) Para todo x = (x1 , x2 , ..., xn ) e y =
(y1 , y2 , ..., yn ) en Rn , se cumple
n
X
k=1
|xk yk |
n
X
k=1
|xk |
!1/2 n
X
k=1
|yk |
!1/2
= kxk2 kyk2 .
(1.5)
|xk |2
A2
!1/2
|yk |2
B2
!1/2
|xk |2
A2
1
+
2
|yk |2
B2
es decir,
2
1 |yk |
1 |xk |
|xk yk |
+
A.B
2 A2
2 B2
para todo k {1, 2, . . . , n}. Sumando desde k = 1 hasta n encontramos que.
n
X
|xk yk |
k=1
pero A2 =
|xk |2 y B 2 =
n
n
1 X
1 X
2
|xk | +
|yk |2 ;
A.B
2A2
2B 2
k=1
k=1
A.B
1 1
+ =1
2 2
k=1
(1.6)
kx +
2
yk2
n
X
k=1
n
X
k=1
n
X
k=1
|xk + yk | =
n
X
k=1
|xk + yk | |xk + yk |
n
X
k=1
|xk + yk | |yk |
n
X
|xk |
k=1
!1/p
(1.7)
k=1
donde
1
p
1
q
|xk yk |
n
X
k=1
|xk |
!1/p n
X
k=1
|yk |
!1/q
|xk + yk | =
p1
|xk + yk |
10
|xk + yk | ,
usando la desigualdad triangular del valor absoluto y la desigualdad de Hlder se obtiene la desigualdad triangular
kx + ykp kxkp + kykp
que en este caso se llama desigualdad de Minkoswki. Tambin se puede ver (vase Ejercicio
1.20) que Rn es un espacio normado con la relacin
kxk = max {|xk | : 1 k n} ;
y se tiene la hermosa relacin (vase Ejercicio 1.21)
lim kxkp = kxk
para todo x Rn .
De manera entonces que en Rn se puede defiinir varias normas, lo mismo se puede hacer con el
producto cartesiano finito de espacios normados, es decir, si (X1 , kk1 ),(X2 , kk2 ) , . . . , (Xn , kkn )
son n espacios normados entonces
n
Y
X=
Xk
k=1
= max {kxk kk : 1 k n} ,
n
X
kxk =
kxk kk .
k=1
Qn
k=1
Xk .
[N3 ] Para demostrar la homogeneidad, recordemos que para un subconjunto acotado superiormente A de R y para R, se define
A = {a : a A} ,
11
= max {kxk kk : 1 k n}
= max {|| kxk kk : 1 k n}
= || max {kxk kk : 1 k n}
= || kxk
= max {kxk + yk kk : 1 k n}
max {kxk kk + kyk kk : 1 k n}
max {kxk kk : 1 k n} + max {kyk kk : 1 k n}
= kxk + kyk ,
1.4
El hecho que en un espacio vectorial se pueda defiinir varias normas nos lleva a la siguiente pregunta
en un espacio normado en que se tiene definida varias normas, cul de todas ellas debemos usar?
Para ver esto debemos introducir el siguiente concepto.
Definicin 1.4.1 Sea X un espacio vectorial, kk1 y kk2 dos normas sobre X . Se dice que kk1
es equivalente a kk2 , si existe una constante C > 0 tal que
1
kxk1 kxk2 C kxk1
C
para todo x X.
En primer lugar, se observa que (vase Ejercicio 1.7) que la relacin normas equivalentes es una
relacin de equivalencia; y por tal motivo, escribimos kk1 v kk2 para indicar que kk1 y kk2 son
equivalentes.
12
Ejemplo 1.4.1 En Rn , kk1 v kk (ms adelante probaremos que en Rn todas las normas son
equivalentes).
En efectos, debemos hallar una constante C > 0 tal que
1
(1.8)
kxk1 kxk C kxk1
C
= max {|xk | : 1 k n}, entonces, por definicin de mximo,
|xk | kxk
n
X
k=1
|xk |
n
X
k=1
kxk n kxk ,
es decir,
1
kxk1 kxk .
n
Por otra parte, la misma definicin de mximo (el mximo de un conjunto es un elemento del
mismo conjunto), implica que existe un ndice k0 {1, . . . , n} tal que kxk = |xko |; y como la
suma de nmeros no negativos es mayor que cualquier de los sumandos se obtiene entonces
kxk = |xko |
n
X
k=1
|xk | = kxk1 ,
de donde
kxk kxk1 n kxk1
n
13
Las siguientes propiedades sobre lmites de una sucesin, ya han sido estudiadas en espacios
mtricos, hemos agregado las demostraciones por completitud.
Proposicin 1.4.1 (Unicidad del lmite) Si xn l1 y
xn l2 entonces l1 = l2 .
+ =
2 2
Con este fin, sea > 0. Como xn x entonces existe n0 N tal que
kxn xk <
(1.9)
para todo n n0 . Luegos, como la funcin nk = n (k) crece sin cota, podemos seleccionar un
k0 N tal que n (ko ) no . As, para cualquier k k0 , se tiene que nk = n (k) n (ko ) no y
por tanto, sustituyendo en (1.9) se obtiene que
kxnk xk < ,
lo cual significa que
lim xnk = x.
+ =
2 2
Consideremos
C [a, b] = {f : [a, b] R/ f es continua} .
Por las propiedades de las funciones continuas, es claro que C [a, b] es un espacio vectorial (de
dimensin infinita) con la suma y producto por un escalar usual de funciones. En este espacio,
definimos la relacin kk1 : C [a, b] R por
kf k1 =
b
a
|f (x)| dx.
(1.10)
g (x) dx
h (x) dx.
Luego, si f C [a, b] entonces, como toda funcin continua sobre un subconjunto compacto de R
es acotada, podemos encontrar una constante Mf > 0, tal que
|f (x)| Mf
para todo x [a, b]; y as,
kf k1 =
|f (x)| dx Mf (b a) < +.
16
Adems, dado que la integral definida (de Riemann) es un limite, entonces el valor
Z
|f (x)| dx
|f (x)| dx 0;
es decir; kf k1 0.
[N2 ] Si f 0, entonces f (x) = 0 para todo x [a, b] y por tanto
Z
|f (x)| dx = 0,
es decir;
f 0 = kf k1 = 0.
Para la implicacin contraria, haremos una prueba por contrarecproco. Con este fin, supongamos
que la funcin f no es nula, entonces existe x0 [a, b] tal que f (xo ) 6= 0; es decir,
|f (xo )| = ro > 0.
Sin perder generalidad, supongamos que x0 (a, b). Como f es continua en x0 , entonces para
= 12 r0 > 0 se tiene, existe > 0 tal que
|f (x) f (xo )| <
ro
2
para todo |x xo | < . Se obtiene, como una aplicacin de la desigualdad triangular del valor
absoluto, que
ro
|f (xo )|
< |f (xo )|
2
para todo |x xo | < ; lo cual significa que
|f (x)| > ro
para todo |x xo | < , es decir; |f (x)| >
kf k1
>
|f (x)| dx
xo
ro
2
ro
ro
=
2
2
|f (x)| dx +
xo +
xo
xo +
xo
|f (x)| dx
ro
(2) > 0,
2
17
|f (x)| dx +
xo
|f (x)| dx
donde hemos usado la monotona de la integral. Hemos concluido entonces que kf k1 > 0, lo cual,
por contrarecproco, significa que
kf k1 = 0 = f 0.
El caso x0 = a x0 = b queda de ejercicio al lector.
[N3 ] Consideremos ahora R y f C [a, b]. Entonces, por propiedad del valor absoluto y
de la integral definida, se tiene que
kf k1 =
|f (x)| dx =
|| |f (x)| dx = ||
|f (x)| dx = || kf k1
b
a
|f (x) + g (x)| dx
|f (x)| dx +
|g (x)| dx
0,
x 0, 12 n1 ,
1 1 1 1
n
1
1
fn (x) =
2 x 2 n , x 2 n, 2 + n ,
1,
x 12 n1 , 1 .
Notamos que para cada n N se tiene fn C [0, 1] pues
lim + fn (x) = fn
lim fn (x) = 0 =
1
1
x( 12 n
x( 12 n
)
)
y
lim + fn (x) = fn
lim fn (x) = 1 =
1
1
x( 12 + n
x( 12 + n
)
)
18
1 1
2 n
1 1
+
2 n
1/2
1/n
1/2
+1/n
Veamos que la sucesin {fn } es de Cauchy en (C [0, 1] , kk1 ) para esto consideremos m, n N, y
supongamos, sin perder la generalidad, que n > m; entonces se tienen las siguientes relaciones:
1
n
<
1
m,
1
2
1
n
>
1
2
1
m,
1
2
1
n
<
1
2
1
m,
luego, como
kfn fm k1
1 1
1
1 1 1
1 1
2 m n
2 2 m n 2
1 1
1
.
2 m n
o
=
=
1 1
1
1 1
1
1 2
1
+
<
= .
kfn fm k1 =
2 m n
2 m n
2 n
n
Se observa adems que
1
n
(aqu [|r|] denota la parte entera del nmero real r; es decir, el entero n que satisface n r < n+1)
y al suponer que m > n no se obtiene que
1
< ,
n
lo cual significa que la sucesin {fn } es de Cauchy en el espacio normado (C [0, 1] ; kk1 ). Observe
que esta sucesin no es convergente en (C [0, 1] ; kk1 ) pues para x [0, 1] fijo se tiene que
0, x 0, 2 ,
1
lim fn (x) = f (x) =
x = 12 ,
2,
n
1 , x 12 , 1 ,
kfn fm k1 <
20
En el siguiente teorema recopilamos otras propiedades de las sucesiones de Cauchy que estaremos usando en el transcurso de estas notas.
Teorema 1.4.6
n n0 . Luego, haciendo
kxn k L + 1
para todo
concluye
2
para todo n, m n1 . Por tanto, para cualquier n n1 , podemos seleccionar k > k0 tal que
nk > n1 (esto es posible pues, por definicin de subsucesin, nk = n (k) crece sin cota) y escribir
kxn xm k <
21
Definicin 1.4.6 Un espacio normado (X, kk) se dice que es un Espacio de Banach si toda
sucesin de Cauchy en X converge a un elemento del espacio.
A continuacin damos algunos ejemplos importantes de espacios de Banach. En primer lugar,
notamos que, debido al ejemplo que hemos dado despus de la demostracin del Teorema 1.4.5, el
espacio (C [0, 1] , kk1 ) de las funciones continuas en [0, 1] con la norma kk1 dada por la integral
no es un espacio de Banach; ms adelante exhibiremos que este mismo espacio es de Banach con
otra norma (dada por el supremo).
El ejemplo ms importante de espacio de Banach lo constituye el conjunto de los nmeros reales
R con la norma dada por el valor absoluto tal como se establece en el siguiente teorema.
Teorema 1.4.7 (R, ||) es un espacio de Banach.
Demostracin. En efecto, daremos por conocido las siguientes propiedades de los nmeror
reales, que son consecuencias del axioma de completitud:
1.- Todo subconjunto acotado e infinito de nmeros reales tiene un punto de acumulacin.
2.- Como consecuencia del resultado anterior se tiene que toda sucesin acotada de nmero
reales tiene una subsucesin convergente.
As, si {xn } es una sucesin de Cauchy en R, entonces por el Teorema 1.4.6, esta sucesin
resulta ser un conjunto acotado de R; y por el item 2, mencionado arriba, {xn } debe contener una
subsucesin convergente. Por tanto, {xn } es una sucesin convergente en R, en virtud del segundo
item del Teorema 1.4.6. La prueba del Teorema est completa.
(n) (n)
xn = a1 , a2
,
(n)
(n)
donde a1 , a2
n0 N tal que
o
n
(n)
(m) (n) (m)
max a1 a1 , a2 , a2 <
(n)
(n)
(m)
(m)
y
a2 a2 <
a1 a1 < ,
para
todo
n
o nn, mo n0 . Esto significa que las sucesiones de las primeras y segundas componentes
(n)
(n)
a1
y a2 , respectivamentes, son sucesiones de Cauchy en R (con el valor absoluto) el cual
es un espacio de Banach, en virtud del Teorema 1.4.7. Por tanto, existen nmeros reales a1 y a2
tales que
(n)
(n)
lim a1 = a1
y
lim a2 = a2 .
n
(n)
a1 a1 <
(n)
lim a
n 2
= a1 ,
= a2 ,
(n)
a2 a2 <
(n)
max a1 a1 , a2 a2 < ,
lo que significa que kxn xk < para todo n n0 , esto es,
lim kxn xk = 0
1.5
En esta seccin demostraremos dos resultados importantes sobre espacios de Banach de dimensin
finita; estableceremos que todo espacio normado de dimensin finita es un espacio de Banach y
que en estos espacios todas las normas son equivalentes. Antes necesitamos recordar los siguientes
resultados estudiados en el curso de Anlisis I.
23
n
X
k=1
|ak | .
Entonces, es facil ver (vase el Ejercicio 1.14) que la relacin kk1 define una norma para el espacio
vectorial X. Vamos a mostrar que cualquier otra norma kk definida sobre X es equivalente a
la norma kk1 . Es decir, vamos a demostrar que si kk es otra norma definida sobre X, entonces
existen constantes positivas k1 y k2 tal que
k1 kxk1 kxk k2 kxk1
para todo x X. Esto implica (vase el Ejercicio 1.8) a su vez que existe una constante c > 1 tal
que
1
kxk1 kxk c kxk1
c
para todo x X.
En efecto, como kk es una norma, sta satisface la desigualdad triangular y por tal motivo,
podemos escribir
kxk = ka1 e1 + a2 e2 + . . . + an en k
ka1 e1 k + ka2 e2 k + . . . + kan en k
= |a1 | ke1 k + |a2 | ke2 k + . . . + |an | ken k ;
luego, seleccionando
k2 = max {ke1 k , ke2 k , . . . , ken k} ,
se obtiene que
kxk |a1 | k2 + |a2 | k2 + . . . + |an | k2
n
X
= k2
|ak | = k2 kxk1 ;
k=1
24
es decir,
kxk k2 kxk1
(1.11)
para todo x X.
Falta probar que existe una constante k1 > 0 tal que
kxk k1 kxk1
para todo x X; o, equivalentemente, que existe una constante k1 > 0 tal que
kxk
k1
kxk1
para todo x X {0}.
1
> 0 , podemos encontrar un xm X {0}
Supongamos lo contrario, entonces dado m N m
tal que
kxm k
1
0
< ;
kxm k1
m
kxm k
= 0.
kxm k1
(1.12)
xm
,
kxm k1
xm
1
=
kxm k1 = 1;
kym k1 =
kxm k1 1 kxm k1
lo que significa que la sucesin {ym } es acotada con la norma kk1 , luego, en virtud del teorema
de Bolzano-Weierstrass, la sucesin {ym } tiene una subsucesin {ymk } que converge, digamos a
y X, con la norma kk1 ; es decir,
lim
k+
kymk yk1 = 0.
k+
|kymk k1 kyk1 | = 0;
esto ltimo junto con el hecho que kymk k1 = 1 nos permite escribir
lim |1 kyk1 | = 0
25
(1.13)
lo que implica que kyk1 = 1 6= 0 y necesariamente y 6= 0 por la condicin [N2] que satisface la
norma kk1 .
Por otra parte, como la sucesin {ym } converge a 0, con la norma kk (vase la expresin (1.12)).
Se tiene que, en virtud del Teorema 1.4.3, que cualquiera subsucesin de {ym } tambin converge
a 0 con la misma norma kk. En particular, la subsucesin {ymk } considerada en (1.13) tambin
converge a cero con la norma kk. Luego, usando la desigualdad triangular de la norma kk y la
relacin en (1.11) se obtiene
kyk = ky ymk + ymk k
ky ymk k + kymk k
k2 ky ymk k1 + kymk k ,
lo cual implica, tomando el lmite cuando k y usando las relaciones (1.13), (1.12); junto con
la definicin de ym que kyk = 0; es decir, y = 0 y se obtiene una contradiccin con el hecho que
kyk1 = 1 6= 0.
Por tanto, podemos concluir que efectivamente, existe una constante k1 > 0 tal que
kxk
k1
kxk1
para todo x X {0}; lo que implica que
kxk k1 kxk1
para todo x X y as se concluye que las normas kk y kk1 son equivalentes.
Finalmente, si kka y kkb son dos normas definidas sobre X, entonces por lo que hemos
demostrado anteriormente, ambas son equivalentes con kk1 ; es decir,
(
kka v kk1 ,
kkb v kk1 ;
luego, como la relacin normas equivalentes es una relacin de equivalencia (vase el Ejercicio
1.7), se obtiene que kka v kkb . Esto completa la demostracin del teorema.
Seguidamente, establecemos el segundo resultado importante de esta seccin.
Teorema 1.5.4 Todo espacio normado de dimensin finita es un espacio de Banach.
Demostracin. Sea (X, kk) un espacio normado, sobre R de dimensin finita, digamos
dim (X) = n N. Sea {e1 , e2 , . . . , en } una base para el espacio X; entonces, por definicin de
base, para cada x X, podemos encontrar escalares a1 , a2 , . . . , an tal que
x = a1 e1 + a2 e2 + . . . + an en .
Claramente la relacin
kxk = max {|a1 | , |a2 | , . . . , |an |}
26
es una norma para el espacio X y dado que la dim (X) = n < entonces por el Teorema 1.5.3 las
normas kk y kk son equivalentes; por tanto existen constantes positivas k1 , k2 tales que
k1 kxk kxk k2 kxk
(1.14)
para todo x X.
Consideremos ahora {xm } una sucesin de Cauchy en (X, kk), entonces para cualquier > 0,
podemos encontrar un n0 N tal que
kxk xm k < k1
para todo k, m n0 ; luego de la relacin (1.14) se obtiene
kxk xm k
1
1
kxk xm k < k1 =
k1
k1
para todo k, m n0 , lo cual significa que {xm } es una sucesin de Cauchy en (X, kk ). Haciendo,
para m N,
(m)
(m)
xm = a1 e1 + a2 e2 + . . . + an(m) en ,
la definicin de kk (el mximo de un conjunto es mayor o igual que todos los elementos del
conjunto) implica que para cualquier j {1, . . . , n} se cumple que
o
n
(k)
(k)
(m)
(m)
aj aj max aj aj = kxk xm k <
para todo k, m
n0 . Esto significa que para j {1, . . . , n} fijo, la sucesin de las j-sima
n o
(m)
componentes aj
es una sucesin de Cauchy en R el cual es completo (segn el Teorema
mN
(m)
lim aj aj = 0,
m
donde, como hemos dicho ante, j {1, . . . , n} es fijo. De esta manera, podemos definir nuestro
candidato al lmite,
x = a1 e1 + a2 e2 + . . . + an en ,
el cual trivialmente es un elemento del espacio X, por ser combinacin lineal de los elementos de
la base.
Falta demostrar que
lim kxm xk = 0,
27
= aj
(m)
aj aj <
(m)
aj aj <
o
n
(m)
aj aj : 1 j n
y por tanto
o
n
(m)
kxm xk = max aj aj : 1 j n <
lim kxm xk = 0.
1.6
En el transcurso de este captulo hemos visto la importancia de las sucesiones convergentes para el
estudio de los espacios de Banach. Es por esta razn, que dedicamos una seccin para establecer
que este conjunto (el de las sucesiones convergentes) es un espacio de Banach con la norma definida
a travs del supremo. En primer lugar, supongamos que tenemos un espacio normado (X, kk). Ya
sabemos que una sucesin {xn } X converge a x X si y slo s
lim kxn xk = 0.
Entonces se tiene el siguiente resultado sobre las sucesiones convergentes en el espacio (X, kk).
Teorema 1.6.1 El conjunto de las sucesiones convergentes en (X, kk) es un espacio vectorial con
la suma y producto por un escalar definido por
{xn } + {yn } = {xn + yn } ,
{xn } = {xn } .
28
Con este fin, sea > 0, entonces por la desigualdad triangular podemos escribir
k(xn + yn ) (x + y)k = k(xn x) + (yn y)k
(1.15)
kxn xk + kyn yk .
Como xn x entonces, para el > 0 dado, podemos encontrar un n1 N tal que
kxn xk <
(1.16)
(1.17)
para todo n n2 . Por tanto para cualquier n no = max {n1 , n2 }, podemos sustituir (1.16) y
(1.17) en (1.15) y concluir que
k(xn + yn ) (x + y)k <
+ =
2 2
Ahora probaremos que {xn } es una sucesin convergente para cualquier R. Para esto, es
suficiente probar que
lim (xn ) = x = lim xn .
n
Observacin 1.7 El espacio de las sucesiones convergentes de un espacio normado (X, kk) se
denota por c; es decir,
c = {{xn } X : {xn } es convergente} .
Nos preguntamos: Es c normado? En caso afirmativo Es c Banach?
Antes de responder estas preguntas, vamos a establecer otras propiedades sobre sucesiones
convergentes de nmeros reales.
Teorema 1.6.2 Sean {an } y {bn } sucesiones reales convergentes, entonces:
29
1
an
1
limn an
lim (bn b) = 0.
Con este fin, sea > 0, entonces, como an a, existe n1 N tal que
|an a| <
para todo n n2 . Por tanto para cualquier n n0 = max {n1 , n2 } se tiene que
|(an a) (bn b)| = |an a| |bn b| <
. = ,
como lo afirmamos.
2. Sea > 0, sin ms que operar y usar las propiedades del valor absoluto, es claro que
1
1 |an a|
(1.18)
an a = |an | |a| ,
1
2
1
|a|
2
1
|a|
2
1
1 |an a|
an a < 1 |a|2
2
(1.19)
siempre que n n1 .
2
Aplicando nuevamente la hiptesis an a con 2 = 12 |a| > 0, podemos encontrar un
n2 N tal que
1
(1.20)
|an a| < 2 = |a|2
2
para todo n n2 . Por tanto, para cualquier n no = max {n1 , n2 } podemos sustituir (1.20) en
(1.19) para concluir que
2
1
1
1 |an a|
2 |a|
<
<
=
an a
1
1
|a|2
|a|2
2
lim
1
1
= .
an
a
sup {kxn k} = 0
nN
xn = 0 n N
x = {0} la sucesin nula.
[N3] Si R, entonces, por propiedad del supremos (vase el Ejercicio 1.1), se puede escribir
kxk
sup {kxn k}
nN
nN
= || sup {kxn k}
nN
= || kxk .
31
sup {kxn + yn k}
nN
nN
nN
= kxk + kyk .
La prueba del teorema est completa.
Observacin 1.8 En el teorema anterior, realmente hemos demostrado que el conjunto de las
sucesiones acotadas es un espacio normado con la norma del supremo kk .
Del teorema anterior, es natural preguntarse. Qu condiciones debemos imponer al espacio
normado (X, kk) de tal manera que el espacio de las sucesiones convergentes en X, (c, kk ) resulte
un espacio de Banach? El siguiente teorema nos resuleve este problema.
Teorema 1.6.4 Si (X, kk) un espacio de Banach, entonces c, el conjunto de las sucesiones convergentes en X, es un espacio de Banach con la norma
kxk = sup {kyn k} ,
nN
(m)
lim y
k k
= y (m) X.
Que la sucesin (de sucesiones) {xm } sea de Cauchy en (c, kk ), significa que dado > 0, podemos
encontrar un n0 N tal que
kxm xn k <
(m)
(n)
sup yk yk <
kN
(m)
(n)
y1 y1 <
32
n
o
(n)
para todo n, m n0 ; lo cual significa que la sucesin de las primeras componentes y1
nN
(n)
lim y1 y1 = 0.
o
n
(n)
yk
(n)
lim yk yk = 0.
nN
X es una
Por tanto, podemos formar nuestro candidato, una sucesin formada con los lmites de cada
componentes; es decir, x = (y1 , y2 , . . .) = {yk }kN X y nos preguntamos:
1. x = {yk }kN c? es decir, {yk }kN converge?
2. limn kxn xk = 0?
1.- Vamos a mostrar que x c, es decir, que la sucesin x = {yk } converge en el espacio de
Banach (X, kk); lo cual, en este caso, es equivalente a establecer que la sucesin x = {yk } es de
Cauchy en (X, kk). Para esto, consideremos > 0, entonces para k1 , k2 N y por la desigualdad
triangular, se puede escribir
(n)
(n)
(n)
(n)
kyk1 yk2 k = yk1 yk1 + yk1 yk2 + yk2 yk2
(1.21)
(n)
(n)
(n)
(n)
yk1 yk1 + yk1 yk2 + yk2 yk2 ;
luego, como
(n)
lim y
n k1
= yk1
(n)
yk1 yk1 <
3
(n)
lim y
n k2
= yk2 ,
(n)
yk2 yk2 <
3
para todo n n2 .
Por tanto, si fijamos n n0 = max {n1 , n2 }, se cumple que
(n)
(n)
y
(1.22)
yk2 yk2 < .
yk1 yk1 < ,
3
3
n
o
(n)
es de Cauchy; y por tal motivo,
Para ese n n0 fijo, adems se tiene que la sucesin yk
kN
(n)
(n)
yk1 yk2 <
3
33
(1.23)
para todo k1 , k2 ko . As, sustituyendo (1.23) y (1.22) en (1.21), se concluye que existe un
k0 N tal que
(n)
(n)
(n)
(n)
kyk1 yk2 k yk1 yk1 + yk1 yk2 + yk2 yk2
<
+ + =
3 3 3
siempre que k1 , k2 k0 , es decir, la sucesin x = {yk } es de Cauchy en el espacio de Banach
(X, kk) por tanto converge, es decir, x c.
2.-Ahora vamos a mostrar que limn kxn xk = 0. Con este fin, fijamos > 0, entonces como la sucesin {xn } es de Cauchy en (c, kk ), podemos encontrar un
n n0 o N tal que
kxn xm k < para todo n > n0 y para todo m > n0 ; luego como xn =
definicin de supremo se encuentra que
(n)
(m)
yk yk <
(n)
yk
, usando la
para todo k N, para todo n > n0 y para todo m > n0 . Por tanto, haciendo m , y recordando
(m)
que limm yk = yk , se concluye que
(n)
yk yk <
para todo k N y para todo n > n0 lo cual significa que
o
n
(n)
kxn xk = sup yk yk <
kN
1.7
Ejercicios
|xy|
1+|xy| ,
p
n
n
X X
xk
kxk k .
k=1
k=1
kx yk
1 + kx yk
Pn
k=1
|ak | y
C = (x, y) R2 : x, y R .
= (x1 + x2 , y1 + y2 ) ,
= (x1 x2 y1 y2 , x1 y2 + x2 y1 ) .
p
x2 + y 2 .
16. Sea P3 [x] el conjunto de los polinomios con coeficientes reales de grado menor o igual que 3.
(a) Demuestre que P3 [x] es un espacio vectorial sobre el campo de los nmeros reales. Cul
es su dimensin?
(b) Para p (x) = a + bx + cx2 + dx3 , se define la relacin
kpk1 = |a| + |b| + |c| + |d| .
Demuestre que (P3 [x] , kk1 ) es un espacio de Banach.
17. Para p (0, 1) fijo, y x = (x1 , x2 , ..., xn ) Rn , se define
kxkp =
n
X
k=1
|xk |p .
donde
1
p
1
q
k=1
k=1
= 1.
19. (Desigualdad de Minkoswki) Sea p > 1 fijo. Demostrar que el espacio vectorial Rn es un
espacio normado con la relacin
kxkp =
n
X
k=1
|xk |
!1/p
para todo x Rn , donde las relaciones kkp y kk son las definidas en los dos ejercicios
anteriores.
22. Considere el espacio vectorial Rn , y sean p1 , p2 1. Halle una constante C > 1 tal que
1
kxkp1 kxkp2 C kxkp1
C
para todo x Rn , donde kkp es la relacin definida en (1.7).
23. Sea S el conjunto de las sucesiones reales. Es decir,
S = {x = {xn } : xn R} .
En S se definen la suma y el producto por un escalar por
(
{xn } + {yn } = {xn + yn } ,
{xn } = {xn } ,
(1.24)
respectivamente.
(a) Pruebe que S es un espacio vectorial de dimensin infinita sobre el campo de los nmeros
reales.
(b) Denotemos por l el subconjunto de S que consta de las sucesiones acotadas; es decir,
l = {x = {xn } S : kxk = sup {|xn | : n N} < } .
Demuestre que (l , kk ) es un espacio de Banach; pero que la relacin kk no es una
norma para S.
(c) Denotemos por c0 el subconjunto de S que consta de las sucesiones reales que convergen
a cero; es decir,
n
o
c0 = {xn } R : lim xn = 0 .
n
24. Consideremos el espacio vectorial C [a, b] de las funciones continuas en el intervalo [a, b]. Para
p > 1 y f C [a, b] se define la relacin
kf kp =
! p1
|f (x)| dx
(a) Pruebe que la relacin kkp es una norma para C [a, b].
25. Sea {an } una sucesin acotada superiormente de nmeros reales y para cada n N, definamos
un = sup {ak : k n} .
38
(b) Para an = (1) , calcule, si existe, limn un . (al lmite de la sucesin {un } se le
llama lmite superior de la sucesin {an } y se denota por lim supn an ).
26. Sea {an } una sucesin acotada inferiormente de nmeros reales y para cada n N, definamos
vn = inf {ak : k n} .
(a) Demuestre que la sucesin {vn } es creciente.
n
(b) Para an = (1) , calcule, si existe, limn vn . (al lmite de la sucesin {vn } se le llama
lmite inferior de la sucesin {an } y se denota por lim inf n an ).
27. Calcule lim inf n an y lim supn an de la sucesin
n = 5j,
1 + 1/j,
n = 5j + 1,
1 1/j,
an =
0,
n = 5j + 2,
1 + 1/j, n = 5j + 3,
1 1/j, n = 5j + 4.
lim inf bn ,
lim sup an
lim sup bn .
n
n
39
40
Captulo 2
2.1
Series
Ahora definiremos una clase especial de sucesiones en espacios de Banach que nos permitiran a establecer una caracterizacin de los mismos. Con este fin, consideremos un espacio normado (X, kk)
y sea {xn }nN una sucesin en X. Como X es un espacio vectorial entonces, por definicin, el
espacio X es cerrado con la suma de vectores; por lo tanto la sucesin {Sn } definida recursivamente
por
(
S1 = x1 ,
(2.1)
Sn = Sn1 + xn , n 2;
est formada por elementos de X; de hecho, se tiene
S2
= S1 + x2 = x1 + x2 ,
S3
= S2 + x3 = x1 + x2 + x3 ,
y en general,
Sn = x1 + x2 + . . . + xn .
41
El par ({Sn } , {xn }) donde {Sn } esta definida por (2.1) se llama serie en el espacio normado
(X, kk). Se dice que la serie ({Sn } , {xn }) converge a S X, llamado suma de la serie; si
lim kSn Sk = 0;
es decir, si la sucesin {Sn } dada en (2.1) converge a S X. En este caso, la suma se denota por
S = lim Sn = lim
n
n
X
k=1
xk =
xk .
k=1
En caso que limn Sn no exista, diremos que la serie ({Sn } , {xn }) es divergente.
P+
Observacin 2.1 Abusando del lenguaje, el smbolo k=1 xk lo llamaremos serie de los xk , la
sucesin {xn } se llama trmino general; y a la sucesin {Sn } se le llama sucesin de sumas
parciales.
En general, estudiar si una serie es convergente es un trabajo dificil, es por eso que necesitamos
algunos resultados que nos permitan establecer si una serie dada es convergente. El primero de
ellos es el siguiente.
P
Teorema 2.1.1 (Criterio del trmino n-simo) Si la serie
k=1 xk converge entonces
lim xn = 0.
1 n1
xn = en , ,
,
n n+1
P+
nos preguntamos si la serie k=1 xk converge en R3 . Para ver esto, notamos que
n 1 n 1
lim e , ,
lim xn =
n
n
n n+1
1
n1
n
=
lim e , lim
, lim
n
n n n n + 1
= (0, 0, 1) 6= (0, 0, 0) ,
el vector nulo. Por tanto la serie dada diverge, en virtud del Corolario 2.1.2.
42
Sin embargo, la condicin dada en el Teorema 2.1.1 no es suficiente ya que existen sucesiones
{xn } en espacios normados tales que
lim xn = 0;
n=1
Lema 2.1.3 (serie armnica) Consideremos el espacio normado (R, ||), entonces la serie armnica
X
1
n=1
es divergente.
Demostracin. Observe que en este lema, xn =
1
n
lim xn = lim
y por tanto
1
= 0.
n
n
X
1
k
k=1
n+1
X
k=1
1
1
1 X1
=
+
= Sn +
Sn ,
k
k n+1
n+1
k=1
es decir, {Sn }nN es una sucesin de nmeros reales que es montona creciente. Por tanto, para
ver que esta serie es divergente, solamente debemos mostrar que esta sucesin de sumas parciales
no est acotada superiormente. Con este fin, notamos que
S1
= 1,
S2
= 1+
S22
S23
1
= S1 +
2
1
= S4 = 1 + +
2
1
= S8 = 1 + +
2
1
,
2
1
+
3
1
+
3
1
1 1
(2 1)
1
= S2 + + S2 + 2
= S2 +
,
4
3 4
4
2
1
(3 1)
1 1 1 1 1
+ + + + S4 + 4
S2 +
.
4 5 6 7 8
8
2
(n 1)
.
2
(2.2)
H 1
.
2
Vamos a demostrar que la desigualdad (2.2) se cumple para n = H + 1. Para esto, se observa
primero que
S2H+1
H+1
2X
1
k
k=1
H
H+1
2
2X
X
1
1
=
+
k
k
H
k=1
k=2
S2H +
S2H +
H+1
2X
k=2H+1
2H+1
2H+1
H+1 H
2 +1 +1 ,
2
c = c (j i + 1) ,
con j i. Luego, realizando los clculos dentro del parentesis y usando la hiptesis inductiva se
obtiene
S2H+1
S2H +
= S2H
2H
(2 1)
2H+1
1
H 1 1
H
+ S2 +
+ = S2 + ;
2
2
2
2
(n 1)
2
es divergente.
En el siguiente resultado, damos un ejemplo de una serie la cual nos ser de gran utilidad en
lo que sigue del captulo.
Teorema 2.1.4 (Serie geomtrica) Para r R fijos, y n N {0}, sea xn = rn . Entonces:
1. Si |r| 1, la serie
2. Si |r| < 1, la serie
P+
k=0
P+
k=0
xk es divergente.
xk es convergente; y en este caso,
rn = 1 + r + r2 + r3 + ... =
n=0
44
1
.
1r
Demostracin. 1. En efecto, ya sabemos por el criterio del trmino n-simo (Corolario 2.1.2)
que si
lim xn 6= 0,
n
P+
entonces la serie
k=0 xk es divergente. Luego, en este caso, podemos usar la hiptesis para
obtener
lim |rn |
lim |r|
1,
lo cual implica que
lim xn 6= 0.
2. Supongamos ahora que |r| < 1. Sea {Sn } la sucesin de sumas parciales de la serie
entonces para n N {0} fijo se tiene
n=0
rn ,
Sn = 1 + r + r2 + ... + rn1 + rn .
Hallaremos una frmula explcita para la suma parcial Sn . Con este fin, multiplicando la expresin
de Sn por r, se obtiene
rSn = r + r2 + ... + rn + rn+1 = Sn 1 + rn+1 ;
luego, sin ms que despejar y usando el hecho que r 6= 1, se obtiene
Sn =
1
1 rn+1 .
1r
Por tanto, tomando lmite cuando n a ambos lados de la igualdad y usando el hecho que
lim rn+1 = 0,
lim Sn =
o equivalentemente,
1
;
1r
rn = 1 + r + r2 + r3 + ... =
n=0
1
.
1r
2.2
Ya hemos dado la definicin de series convergentes y hemos dado algunos ejemplos de series convergentes y divergentes. En esta seccin analizamos otro tipo de convergencia para series como lo
es la convergencia absoluta y su importancia para dar una nueva caracterizacin de los espacios de
Banach.
45
P
Definicin 2.2.1 (Serie Absolutamente Convergente) Una serie
xk en un espacio norP k=1
mado (X, kk) se dice que es absolutamente convergente si la serie
kx
k k es convergente.
k=1
La definicin anterior nos induce las siguientes preguntas:
P+
P
1. +
k=1 kxk k converge =
k=1 xk converge?
P+
P+
2. k=1 xk converge = k=1 kxk k converge?
n
X
xk ,
k=1
n
m
X
X
X
kSn Sm k =
xk
xk =
xk
k=1
n
X
k=m+1
k=1
k=m+1
kxk k = Tn Tm = |Tn Tm | ,
donde
Tn =
n
X
k=1
kxk k .
P+
Luego, al suponer que la serie k=1 kxk k converge, se tiene que {Tn } es una sucesin de Cauchy
en R y por lo tanto para > 0, podemos encontrar un n0 N tal que
|Tn Tm | <
para todo n, m n0 ; es decir, podemos encontrar un n0 N tal que
kSn Sm k <
para todo n > m n0 . Esto es, la sucesin {Sn } es de Cauchy en el espacio normado (X, kk).
Hemos obtenido entonces el siguiente resultado.
Teorema 2.2.1 Si (X, kk) es un espacio de Banach, entonces toda serie absolutamente convergente converge en el sentido usual; es decir,
+
X
k=1
kxk k converge =
46
+
X
k=1
xk converge.
El recproco del resultado anterior es cierto tal como lo establecemos en el siguiente resultado.
Teorema 2.2.2 Sea (X, kk) un espacio normado donde toda serie absolutamente convergente es
convergente en el sentido usual. Entonces (X, kk) es un espacio de Banach.
Demostracin. Sea {xn } una sucesin de Cauchy en el espacio normado (X, kk). Entonces
para k N, claramente k1 > 0 y por tanto existe nk N tal que
kxn xm k <
1
2k
(2.3)
para todo n, m nk . Podemos seleccionar los ndices {nk } de tal manera que nk+1 > nk , y as
formar la sucesin {xnk } la cual es una subsucesin de {xn } que satisface
xnn+1 xn < 1
k
2k
= xn1 ,
= xn2 xn1 ,
= xnk xnk1 .
As, hemos formado una nueva sucesin {yk } de elementos de X que satisface las siguientes
propiedades:
k
X
yi
i=1
= xnk ,
(2.4)
(2.5)
k !
1
ky1 k + 2 1
ky1 k + 2;
2
1 rk
1r
k
X
i=1
47
kyi k
k
X
yi
i=1
es convergente. As, {xn } es una sucesin de Cauchy en el espacio normado (X, kk) que contiene
una subsucesin {xnk } que es convergente. Esto implica (vase Teorema 1.4.6) que la misma
sucesin es convergente; es decir, existe x X tal que
lim kxn xk = 0.
Por tanto, podemos concluir que el espacio (X, kk) es de Banach y la prueba est completa.
Podemos resumir lo obtenido en esta seccin de la siguiente manera.
Teorema 2.2.3 Un espacio (X, kk) es de Banach si y slo si toda serie absolutamente convergente
converge en el sentido usual.
Como un caso particular del resultado anterior, podemos mencionar que como (R, ||) que es
un espacio de Banach, entonces toda serie absolutamente convergente de nmeros reales converge
en el sentido usual.
2.3
El Espacio l1
En la seccin anterior hemos visto la importancia de las series absolutamente convergentes para
establecer una nueva caracterizacin de los espacios de Banach. Claramente, de las propiedades
de los lmites, se tiene que la suma, restas y producto por un escalar de series absolutamnte
convergentes es tambin una serie absolutamente convergente. Esto nos dice que este conjunto
forma un espacio vectorial. En esta seccin, estableceremos que este conjunto es un espacio de
Banach con una norma que definiremos ms adelante. Con este fin, consideremos un espacio
normado (X, kk); y sea {xn } una sucesin de elementos de X. Podemos notar que la sucesin real
{Tn } dado por
n
X
Tn =
kxk k
k=1
n+1
X
k=1
kxk k =
n
X
k=1
lo que significa qye {Tn } es una sucesin creciente de nmeros no negativos. Por tanto,
{Tn } converge si y slo si {Tn } es acotada superiormente.
Es decir, si existe M > 0 tal que
0 Tn M
48
P+
k=1
k=1
P+
k=1
kxk k < M
P+
k=1
kxk k es convergente.
Teorema 2.3.1 Sea (X, kk) un espacio normado. El conjunto de las sucesiones {xn } X tales
P
1
que +
k=1 kxk k < + es un espacio vectorial el cual se denota por l (X).
Demostracin. Primeramente notamos que l1 (X) c pues si x = {xn } l1 (X) significa,
P
por definicin, que +
n=1 kxk k < +. Luego, por el Teorema 2.1.2 se tiene entonces que
lim xn = 0;
es decir, x = {xn } c. Dado que c es un espacio vectorial, solamente se debe probar que l1 (X) es
cerrado con la suma y con la multiplicacin por un escalar.
Suma: Sean x, y l1 (X) entonces, por definicin, existen M ,L R+ {0} tales que
+
X
k=1
kxk k = M
+
X
k=1
kyk k = L.
k=1
kxk + yk k
Pn
k=1
n
X
k=1
kxk k +
n
X
k=1
kxyk k M + L;
k=1
kxk + yk k < +
y x + y l1 (X).
Producto por un escalar: Sea x l1 (X) y R, entonces existe M R+ {0} tal que
+
X
k=1
kxk k = M
k=1
kxk k = ||
n
X
k=1
kxk k || M ;
Pn
k=1
de la relacin l1 (R) c, y del hecho que el espacio de sucesiones c es espacios de Banach con la
norma kk , definida a travs del supremos, que l1 (R) , kk es un espacio normado. Luego, es
xn
= (1, 0, 0, 0, ...) ,
1
=
1, , 0, 0, ... ,
2
1 1
=
1, , , 0, 0, ... .
2 3
..
.
1 1
1
=
1, , , ..., , 0, 0, ... .
2 3
n
Podemos observar que para cada n N fijo, xn l1 (R) pues en este caso, la sucesin xn consta
de una cantidad finita de trminos. Vamos a probar que {xn } es una sucesin de Cauchy en
1
1 1
1
1
1
1 1
1
2 3
m m+1
n
2 3
m
1
1
=
0, 0, ..., 0, m + 1 , ..., n , 0, 0, ...
1
1
= sup 0, 0, ..., 0,
, ..., , 0, 0, ...
m+1
n
1
;
=
m+1
1
1
< ;
m+1
n0 + 1
lo cual significa que la sucesin {xn } es una sucesin de Cauchy en l1 (R) , kk . Sin embargo,
1 1
1
1
lim xn = x = 1, , , ..., ,
, ...
/ l1 (R)
n
2 3
n n+1
tal como se puede observar del hecho que
lim kxn xk = lim
50
1
=0
n+1
X
1
n
n=1
+
X
k=1
|xk | .
Demostracin. Ya sabemos que l1 (R) es un espacio vectorial. Veamos que l1 (R) , kk1 es
un espacio normado. Con este fin, sean x = {xk } , y = {yk } l1 (R) y R, entonces se tiene:
P
[N1 ] Como |xk | 0 para todo k N, es claro que nk=1 |xk | 0 para todo n N, y por tanto,
tomando lmite, se obtiene
n
+
X
X
|xk | = lim
|xk | 0,
n
k=1
k=1
es decir, kxk1 0.
[N2 ] Si x 0 (la sucesin nula), entonces xk = 0 para todo k N. Luego
+
X
k=1
|xk | = 0,
k=1
|xk | = 0
lo cual implica que |xk | = 0 para todo k N; o equivaelntemente que xk = 0 para todo k N, es
decir, x 0 (la sucesin nula).
[N3 ] Para ver que la relacin kk1 es homogenea, escribimos
kxk1
+
X
k=1
|xk | = lim
lim ||
= ||
+
X
k=1
n
X
k=1
n
X
k=1
|| |xk |
|xk | = || lim
|xk | = || kxk1 .
51
n
X
k=1
|xk |
[N4 ] Finalmente, para establecer la desigualdad triangular de la relacin kk1 usamos la desigualdad triangular de la funcin valor absoluto y propiedades de los lmites para obtener
)
( n
+
n
n
X
X
X
X
|xk + yk | = lim
|xk + yk | lim
|xk | +
|yk |
kx + yk1 =
n
k=1
lim
n
X
k=1
|xk | + lim
k=1
n
X
k=1
k=1
k=1
De [N1], [N2], [N3] y [N4] podemos concluir que l1 (R) , kk1 es un espacio normado.
Nos encaminamos a demostrar que el espacio l1 (R) , kk1 es de Banach; pero antes necesitamos
el siguiente lema.
Lema 2.3.3 Supongamos que
+
X
k=1
y sea
Rn = S
|ak | = S < +
n
X
k=1
|ak | =
+
X
k=n+1
|ak | .
(2.6)
Entonces
lim Rn = 0.
es decir,
lim Rn = lim (S Sn ) = 0.
Observacin 2.2 La sucesin {Rn } definida en (2.6) se le llama resto o cola de la serie
P+
S = k=1 |ak |.
demostraremos que l1 (R) , kk1 es completo. Para esto, sea {xn } una sucesin de Cauchy en
1
l (R) , kk1 denotemos la sucesin xn por
X
(n)
yk < +
k=1
= 0.
converge. En efecto, sea > 0, como {xn } es una sucesin de Cauchy en l1 (R) , kk1 entonces
existe no N tal que
kxn xm k1 <
para todo n, m no .En particular, para las primeras componentes se tiene que
+
(n)
(n) (m)
(m)
y
y
1
y1 , y1 <
1
k=1
para todo n, m no . Esto nos dice que la sucesin real de las primeras componentes
n
o
(n)
y1
nN
es de Cauchy en R el cual sabemos que es completo. Luego, podemos encontrar un y1 R tal que
(n)
lim y1 y1 = 0.
n
En general, para k N fijo, podemos usar el mismo argumento para ver que existe un yk R
tal que
(n)
lim yk yk = 0.
n
Hagamos un esquema:
x1
x2
x3
n
x
(y1 , y2 , y3 , . . . ) .
|yk | < +,
k=1
H
X
k=1
|yk |
X
X
X (n)
(n)
|yk | =
SH =
lim yk = lim
yk lim kxn k1 .
k=1
k=1
k=1
Ahora, como {xn } es una sucesin de Cauchy en l1 (R) , kk1 , entonces esta sucesin es acotada
con la norma kk1 . Por tanto, existe M > 0 tal que
kxn k1 M
SH = lim kxn k1 M
n
k=1
|yk | < +
y x l1 (R).
2. Vamos a demostrar que
lim kxn xk1 = 0.
Con este fin, sea > 0, entonces se tiene por definicin de la norma que
kxn xk1 =
X
(n)
yk yk .
(2.7)
k=1
Adems, como xn y x son elementos de l1 (R) que es un espacio vectorial, entonces xn x l1 (R)
para todo n N. Esto significa, por defiicin, que existen nmeros reales no negativos Ln tales
que
+
X
(n)
yk yk = Ln < +.
k=1
m1
X
k=1
(n)
yk yk 0
54
(n)
Rm <
2
(n)
Rm0 < ;
2
es decir,
+
X
(n)
yk yk < .
2
(2.8)
k=mo
m
o 1
X
k=1
+
o 1
mX
X
(n)
(n)
(n)
yk yk +
yk yk <
yk yk + .
2
k=m0
(2.9)
k=1
(n)
yk yk <
= yk
2 (m0 1)
(n)
yk yk <
2 (m0 1)
(2.10)
para todo k {1, 2, . . . , m0 1}. As, para n n0 , podemos sustituir (2.10) en (2.9) para obtener
kxn xk1
<
<
m
0 1
X
k=1
m
0 1
X
(n)
yk yk +
2
2 (m0 1)
(m0 1) +
2 (m0 1)
2
+ = .
2 2
k=1
Observacin 2.3 Un resultado ms general que el anterior tambin es valido (vase el Ejercicio
2.9). De hecho, si (X, kk) es un espacio de Banach entonces l1 (X) , kk1 es tambin un espacio
de Banach.
55
2.4
En esta seccin estudiamos algunos criterios que nos ayude a establecer si una serie de nmeros
P+
reales k=1 ak es convergente. En la primera seccin de este captulo, hemos visto el criterio del
P+
trmino n-simo (Corolario 2.1.2) el cual establece que si si la serie k=1 ak converge, entonces
lim an = 0.
Tambin, en esa misma seccin, pudimos establecer que el recproco de este resultado es falso
(Lema 2.1.3); pues la serie armnica
+
X
1
n
n=1
es divergente; pero
1
= 0.
n
Tambin hemos dado una clase importante de series convergentes las cuales se llaman series
geomtricas; de hecho, hemos establecido (vase el Teorema 2.1.4) que
lim an = lim
+
X
1
,
1r
rn =
n=0
|r| < 1.
(2.11)
Al valor r se le llama la razn de la serie geomtrica La serie que aparece en (2.11) es divergente
P
P+
si |r| 1. Adems, de las propiedades de los lmites, se tiene que si +
bn son dos
n=1 an y
P+
P+ n=1
series de nmeros reales convergentes y R, entonces n=1 (an + bn ), n=1 an son tambin
series convergentes y
+
X
+
X
(an + bn ) =
an
n=1
+
X
n=1
+
X
an
n=1
+
X
bn ,
(2.12)
n=1
an .
n=1
Solucin. Usando las propiedades (2.12) y la el valor de la serie geomtrica dada en (2.11) se
obtiene que
+ n
X
2 + 3n
6n
n=0
+ n
X
2
1
1
1
1
6n
n=0
+
X
3n
6n
n n
1
1
=
+
3
2
n=0
+ n
+ n
X
X
1
1
=
+
3
2
n=0
n=0
=
1
3
56
1
2
3
7
+2= ,
2
2
1 n P+ 1 n
P
donde en la tercera igualdad hemos usado que las series +
y n=0 2 son convergentes
n=0 3
pues son series geomtricas con razones 13 y 12 (1, 1) respectivamentes.
Ejemplo 2.4.2 Estudie la convergencia de
1
1
1
1
+
+ ...
4 16 64
n X
n
+
+
X
1
1
1
1
1
n
(1)
=
,
+
+ ... =
4 16 64
4
4
n=0
n=0
el cual claramente es una serie geomtrica de razn r = 14 (1, 1). Por lo tanto, usando la
frmula (2.11) se obtiene
1
n
+
X
1
1
1
4
1
1
1 = .
=
+ ... =
4 16 64
4
5
1
4
n=0
Observacin 2.4 En general es muy dificil calcular la suma de una serie y por tal motivo debemos
buscar criterios para establecer si una serie es convergente o no.
Como vamos a trabajar con series nmericas y (R, ||) es un espacio de Banach, entonces por lo
establecido en la segunda seccin de este captulo, se tiene que toda serie absolutamente convergente
en R es convergente. Por tanto, un primer criterio para estudiar la convergencia de la serie numrica
P+
P+
n=1 an es considerar la serie
n=1 |an |; de hecho, se tiene que
+
X
n=1
|an | < +
(en R) =
+
X
an converge (en R) .
n=1
P+
n=1
+
X
n=1
(1)n+1
,
n
|an | =
+
X
1
n
n=1
es la serie armnica la cual ya sabemos que es divergente por el Lema 2.1.3. As, la serie
+
X
(1)n+1
n
n=1
57
no converge absolutamente.
Vamos a probar que
+
X
(1)n+1
n
n=1
n
X
(1)k+1
k=1
P
(1)n+1
. Basta probar que {Sn } es una sucesin de Cauchy en
la n-sima suma parcial de +
n=1
n
R, pues ste es un espacio de Banach; y as existir L R tal que
lim Sn = L
P+
n=1
(1)n+1
n
converger a L.
En efecto, sea > 0 y supongamos, sin perder generalidad, que n > m. Entonces, existe p N tal
que n = m + p; as,
|Sn Sm | = |Sm+p Sm |
m+p
m
k+1
X (1)k+1 X
(1)
k
k
k=1
k=1
m+p
X (1)k+1
k
k=m+1
m+2
m+3
m+4
m+p
(1)m+1
(1)
(1)
(1)
(1)
=
+
+
+
...
m+1
m+2
m+3
m+4
m+p
1
1
1
1
(1)m+p
m+1
= (1)
+ ... +
m + 1 m + 2 m + 3 m + 4
m+p
m+p
1
1
1
1
(1)
+ ... +
.
m + 1 m + 2 m + 3 m + 4
m+p
Observe que
1
1
> 0,
m+1 m+2
1
1
m+1 m+2
1
> 0;
m+3
1
1
1
1
> 0.
m+1 m+2
m+3 m+4
58
(2.13)
Luego, siguiendo con este argumento, se llega a la conclusin que la expresin que est dentro del
valor absoluto en (2.13) es no negativa y por tal motivo,
1
1
1
1
(1)m+p
|Sn Sm | = |Sm+p Sm | =
+ ... +
m+1 m+2 m+3 m+4
m+p
m+p+1
1
1
1
1
1
(1)
=
... +
m+1
m+2 m+3
m+4 m+5
m+p
1
m+1
pues las expresiones que estan dentro de los parentesis son nmeros positivos.
Finalmente, notamos que
1
1
< m > 1.
m+1
1
no = ,
|Sn Sm | <
lo cual significa que la sucesin de sumas parciales {Sn } es de Cauchy en R, y por tanto es
convergente; es decir; existe L R tal que
+
X
(1)n+1
1 1 1
= 1 + + . . . = L.
n
2
3 4
n=1
Observacin 2.5 En este ejemplo, se ve que para estudiar la convergencia de una serie numrica
se puede intentar verificar si la sucesin de sumas parciales es una sucesin de Cauchy. Este
procedimiento se le conoce como el criterio de Cauchy. En otras palabras.
P
Teorema 2.4.1 (Criterio de Cauchy) La serie +
n=1 an es convergente (en R) si y slo si la
sucesin de suma parciales {Sn } es de Cauchy (en R) donde
Sn =
n
X
ak .
k=1
2.4.1
Series Telescpicas
P+
n=1
tal que
(2.14)
para todo n N (o bien, an = bn1 bn ). Si denotamos por {Sn } la sucesin de sumas parciales
P
de la serie +
n=1 an , entonces de la relacin (2.14) se tiene
Sn
=
=
n
X
k=1
n
X
k=1
ak
[bk bk1 ]
es decir, la serie
k=1
lim bn existe;
ak converge si y slo si
lim bn existe.
Adems,
k=1
ak = lim Sn = lim bn b0 .
n
k=1
an = bn1 bn ,
ak converge si y slo si
lim bn existe
y, adems
k=1
ak = lim Sn = b0 lim bn .
n
1
.
n
(n
+ 1)
n=1
Solucin. Descomponiendo el trmino general en fracciones simple, se obtiene
1
n (n + 1)
=
=
=
A
B
+
n
n+1
A (n + 1) + nB
n (n + 1)
(A + B) n + A
,
n (n + 1)
lo cual implica que (A + B) n + A = 1 para todo n N. Luego, por igualdad de polinomios, queda
el sistema
(
A + B = 0,
A = 1;
60
donde
1
.
n
Por tanto, por lo analizado al principio de esta seccin,
+
+
X
X
1
1
1
=
n (n + 1)
n n+1
n=1
n=1
bn =
= 1 lim bn
n
= 1 0 = 1.
Ejemplo 2.4.5 Estudie la convergencia de
+
X
n=2
n2
1
.
1
=
=
=
=
1
(n 1) (n + 1)
A
B
+
(n 1) (n + 1)
A (n + 1) + B (n + 1)
(n 1) (n + 1)
(A + B) n + (A B)
,
(n 1) (n + 1)
1
2
y B = 12 . As,
an
=
=
=
y por tanto,
+
X
1
2
n +1
n=2
1
1/2
1/2
=
=
1
n1
n+1
1
1
1
2 n1 n+1
1
1
1
1 1
1
2 n1 n
2 n n+1
n2
+
1
1X
1
2 n=2 n 1 n + 1
+
1X
1
1
1
1
2 n=2
n1 n
n n+1
+
+
1X
1
1
1X 1
1
,
2 n=2 n 1 n
2 n=2 n n + 1
61
es decir, la serie dada es la suma de dos series telescpicas. Luego, por lo establecido en esta
subsecin se concluye
+
+
+
X
1
1X
1
1X 1
1
1
=
n2 + 1
2 n=2 n 1 n
2 n=2 n n + 1
n=2
1 1
1
1
1
1 lim
+
lim
=
n n 1
2
2 2 n n
3
1 1
+ = .
=
2 4
4
Ejemplo 2.4.6 Demuestre que
+
X
n+1 n
= 1.
n2 + n
n=1
Demostracin. En efecto, se tiene
+
X
n+1 n
n2 + n
n=1
n+1 n
=
n n+1
n=1
+
X
1
1
=
n
n+1
n=1
+
X
+
X
n=1
donde
(bn bn+1 ) ,
1
bn = .
n
Es decir, la serie dada es telescpica y por tanto,
+
+
X
X
n+1 n
(bn bn+1 )
=
n2 + n
n=1
n=1
= 1 lim bn
n
1
= 1 lim
n
n
= 10
= 1.
La prueba est completa.
Ejemplo 2.4.7 Estudie la convergencia de
+
X
2n + n2 + n
.
2n+1 n (n + 1)
n=1
+
+
X
X
2n
n2 + n
2n + n2 + n
=
+
2n+1 n (n + 1)
2n+1 n (n + 1) 2n+1 n (n + 1)
n=1
n=1
+
X
1
1
=
+ n+1 .
2n (n + 1) 2
n=1
62
(2.15)
1
n+1
2
n=1
1
1
1
+
+
+ ...
22 23 24
1
1
1
.
.
.
1
+
+
22
2 23
1
1
1
1
= 2= ,
4 1 1/2
4
2
=
=
=
donde en la segunda igualdad hemos usado que la serie que est encerrada en el parentesis es
geomtrica de razn 12 . Adems, del Ejemplo 2.4.4, hemos visto que la serie
1
= 1,
n (n + 1)
n=1
pues es telescpica. Por tanto, sustituyendo en (2.15) se obtiene
+
X
2n + n2 + n
2n+1 n (n + 1)
n=1
X
1
=
+
2n (n + 1) n=1
n=1
1
2
n+1
1
1
1 + = 1.
2
2
2.4.2
+
X
Criterio de Comparacin
Ya hemos dado varios ejemplos de series convergentes y divergentes. En esta subseccin daremos
un criterio que nos permita deducir si una serie es convergente (o divergente) comparndola con
otras series conocidas. El teorema que usaremos es el siguiente.
Teorema 2.4.2 Sean {an } y {bn } sucesiones reales y supongamos que existe no N tales que
0 an bn para todo n no .
Si
+
X
bn < +, entonces
n=1
+
X
an < +.
n=1
para todo n no y la
n=1
bn = M < .
n
X
ak ,
k=1
nX
o 1
ak +
k=1
n
X
ak ;
k=n0
nX
o 1
ak +
k=1
nX
o 1
k=1
nX
o 1
k=1
bk
k=n0
ak +
k=1
nX
o 1
n
X
bk
k=n0
(ak bk ) +
bk
k=1
(ak bk ) + M,
donde en la segunda desigualdad hemos usado que bn 0 para todo n no . Por tanto {Sn }nno
es una sucesin acotada superiormente y dado que es creciente, entonces debe ser convergente; es
decir, la serie
+
X
an
n=n0
es convergente. Luego, sumando la cantidad finita de trminos a1 , a2 , ..., an0 1 , se obtiene que la
serie
X
ak
k=1
es convergente.
sin (n)
1
0 n n
2
2
es una serie convergente, pues es una serie geomtrica de razn 12 , se deduce que
+
X
sin (n)
2n
n=1
P+
sin(n)
n=1 2n
64
2 + sin3 (n + 1)
3
3
n
n
2n + n2
2 + n2
2
+
+ n
X
X
1
3
=3
n
2
2
n=1
n=1
es convergente pues es una geomtrica de razn 12 . El criterio de comparacin establece que la serie
+
X
2 + sin3 (n + 1)
2n + n2
n=1
es convergente.
Ejemplo 2.4.10 Estudie la convergencia de la serie
+
X
2
.
2n + 1
n=1
Solucin. Notamos que la serie dada se parece a una serie armnica, pues el termino general es el
cociente de un nmero entre una expresin lineal, nos preguntamos entonces, existen constantes
c > 0 y n0 N tal que
c
2
0
n
2n + 1
para todo n no ? Esto es lo mismo que probar que existen constantes c > 0 y n0 N tal que
2n
c
2n + 1
para todo n no ; y esto es cierto pues
lim
2n
= 1;
2n + 1
1 2n < = 1
2n + 1
2
para todo n n0 ; luego, se tiene que
2n
1
>
2n + 1
2
11
2
2n
2n + 1
65
+
X
11
2n
n=1
es divergente, nos podemos apoyar con el contrarecproco del criterio de comparacin, para deducir
que la serie
+
X
3
2n + 1
n=1
es divergente.
n=1
Demostracin. Como
an
= L 6= 0,
bn
entonces para = 1 podemos encontrar un no N tal que
an
bn L < = 1
lim
(2.16)
para todo n n0 ; y as, por el criterio de comparacin (Teorema 2.4.2) se obtiene que si la serie
P+
P+
n=1 bn es convergente, entonces la serie
n=1 an es convergente.
Hemos establecido entonces que
X
X
an
6= 0 y
bn < + =
an < +;
n bn
lim
en otras palabras, si el limite de la fraccin es distinta de cero y la serie del denominador converge,
entonces la serie del numerador converge. Luego, como
lim
bn
1
= 6= 0,
an
L
P
entonces, al suponer que la serie
an es convergente, usamos el razonamiento anterior para
P+
concluir que la serie n=1 bn es convergente. Esto concluye la demostracin del teorema.
entonces la convergencia de
o equivalentemente,
an
= L = 0,
bn
P
an . Es decir,
bn implica la convergencia de
X
X
an < +
bn < +
X
an = + =
bn = +.
+
X
1
;
cn + d
n=1
donde c 6= 0 y d > 0 es divergente.
1
an
n
1
= lim cn+d
= lim
= 6= 0.
= lim
1
n bn
n
n cn + d
n c + d
c
n
n
P1
da
versin) implica
Luego, como la serie armnica
n es divergente, el criterio de comparacin (2
P 1
que la serie
es
divergente.
cn +d
lim
1
n
1
.
n2
entonces
an
= lim
n bn
n
lim
1
n2
1
n
= lim
1
= 0.
n
El criterio de comparacin (2da versin, Teorema 2.4.3) no garantiza nada. Sin embargo, ya hemos
visto (Ejemplo 2.4.4) que la serie
+
X
1
2n
n
n=2
es convergente, pues es una serie telescpica. Luego, haciendo
1
,
n2 n
cn =
se tiene
an
= lim
n cn
n
lim
1
n2
1
n2 n
n2 n
= 1 6= 0.
n
n2
= lim
67
As, por el criterio de comparacin (2da versin) se puede concluir que la serie
+
X
1
2
n
n=1
es convergente.
Ejemplo 2.4.13 Estudie la convergencia de la serie
+
X
n+1
.
2+1
n
n=1
n+1
.
n2 + 1
1
n
n+1
an
2
n2 + n
= lim n 1+1 = lim
= 1 6= 0.
n bn
n
n n2 + 1
n
P
1
As, como la serie armnica +
n=1 n es divergente, el criterio de comparacin establece que la serie
P+ n2 +1
n=1 n2 +1 es divergente.
lim
2.4.3
En la subseccin anterior hemos visto un criterio importante para establecer la convergencia de una
serie dada. Sin embargo, este criterio presenta la desventaja que se debe tener a mano una lista
de series convergentes y divergentes. En esta subseccin, veremos que en muchos casos, podemos
comparar el trmino general de una serie con el mismo trmino trasladado; es decir, podemos
comparar la sucesin an con la sucesin an+1 . Ms formalmente, el criterio que presentamos en
esta subseccin es.
Teorema 2.4.5 Sea {an } una sucesin de nmeros reales positivos y sea
an+1
= r.
n an
lim
Entonces:
1. Si r < 1, entonces la serie
1. Si r > 1, entonces la serie
an es convergente.
an diverge
2. Si r = 1 el criterio no se aplica.
Demostracin. Supongamos primero que
lim
an+1
=r<1
an
68
Dado que r < 1 existe s R tal que r < s < 1; por tanto usando la definicin de lmite con
= s r > 0, se tiene que existe no N tal que
an+1
<sr
r
an
para todo n no . Esto implica, usando la desigualdad triangular y el hecho de que an > 0 que
an+1
an+1
r
r < s r;
an
an
es decir,
an+1
s
an
an+1 san
sano ,
san0+1 s2 ano ,
san0+2 s3 ano ;
y, en general,
an0 +k sk ano
para todo k N. As, llamando c = ano sn0 , se obtiene que
0 < an csn
P n
para todo n no . Luego, como la serie geomtrica
s converge pues 0 < s < 1 entonces el
P+
criterio de comparacin (Teorema 2.4.2) implica que n=1 an converge
Supongamos ahora que
lim
an+1
= r > 1.
an
Entonces, como r > 1, podemos encontrar un s R tal que 1 < s < r. As, usando la definicin
de lmite con = r s > 0 se tiene que existe un no N tal que
an+1
an r < r s
para todo n no . Luego, como antes, se obtiene que
an+1
>s
an
para todo n no ; o equivalentemente, existe c > 0 tal que
an csn
P n
para todo n no ; y como s > 1, la serie geomtrica
s es divergente (en virtud del Teorema
P
2.1.4). Por tanto, por el criterio de comparacin, concluimos que la serie
an es divergente.
69
an+1
n
= lim n+1
= lim
= 1.
n an
n 1
n n + 1
n
P
1
b) Sin embargo, la serie +
n=1 n2 es convergente (Ejemplo 2.4.12); pero
lim
an+1
= lim
n an
n
lim
1
(n+1)2
1
n2
= lim
n2
(n + 1)2
=1
Conclusin: Si
an+1
=1
an
P
el criterio no determina si
an converge o diverge.
lim
1
,
n!
1
.
(n + 1)!
As,
an+1
lim
n an
1
(n+1)!
lim
1
n
n!
n!
(n + 1)!
n!
=
lim
n (n + 1) n!
1
=
lim
= 0 = r < 1,
n n + 1
=
lim
donde en la tercera igualdad hemos usado la definicin de la funcin factorial; a saber, para n N,
(
0! = 1,
n! = n (n 1)!.
Luego, el criterio del cociente, nos garantiza que la serie
P+
1
n=0 n!
es convergente.
+
X
1
1
1
1
1
=
+ + + + . . . ' 2, 718281...
n!
0!
1!
2!
3!
n=0
70
n
1
.
e = lim 1 +
n
n
(2.17)
nrn .
n=0
an+1
n an
lim
lim
Por tanto si, r < 1 la serie converge por el criterio del cociente. Si r > 1 la serie diverge. Si r = 1
P+
entonces la serie original se convierte en n=0 n que es divergente pues
lim an = lim n = 6= 0.
Observacin 2.7 Podemos utilizar el criterio del trmino n-simo (Teorema 2.1.1), en este ejemplo particular, para deducir el siguiente aserto. Si 0 < r < 1 entonces
lim nrn = 0.
Por ejemplo,
n
= lim n
n 2n
n
lim
n
1
= 0.
2
nm
= 0;
n Rn
lim
Esto se puede interpretar como que las sucesiones geomtricas de razn R > 1 crecen ms rpido
al infinito que cualquier polinomio.
71
2.4.4
Criterio de la Raz
Ya hemos visto que el criterio del cociente nos permite comparar el trmino general de una serie con
el mismo trmino trasladado una unidad para establecer si una serie es convergente o divergente.
Sin embargo, el clculo del lmite
an+1
lim
n an
que aparece en este criterio algunas veces puede resultar dificil sobre todo si el trmino general
contiene exponentes que involucre la variable n. Para ilustrar esto, consideremos el siguiente
ejemplo.
Ejemplo 2.4.16 Estudie la convergencia de la serie
+
X
1
n.
(n + 1)
n=1
Solucin. Aqu, el trmino general viene dado por
an =
1
.
(n + 1)n
1
(n+2)n+1
lim
1
n
(n+1)n
=
=
lim
(n + 1)
(n + 2)n+1
lim
(n + 1)
n+1
(n + 2)
(n + 1)n
1
= lim
n
n (n + 2)
n+2
n
n+1
1
= lim
n n + 2
n+2
n+2
2
1
1
1
1
= lim 1
.
n
n+2
n+2
n+2
Luego, como
lim
lim 1
1
n+2
2
1
n+2
n+2
1
lim 1
n
n+2
n
se obtiene que
lim
= 0,
= 1,
=
m
1
= e1 ,
1
m
m
lim
an+1
= 0;
an
72
1
(n
+
1)n
n=1
es convergente. Observe que en este ejemplo hemos usado el hecho (vase Ejercicio 2.8) que
m
1
lim 1
= e1 .
m
m
Teorema 2.4.6 (Criterio de la Raz) Sea {an } una sucesin de nmeros reales no negativos y
supongamos que
lim n an = r.
n
Entonces:
1. Si r < 1, la serie
2. Si r > 1, la serie
P+
n=1
P+
n=1
an es convergente.
an es divergente.
3. Si r = 1, el criterio no se aplica.
Demostracin. 1.- Supongamos que
lim
n
an = r < 1
entonces existe s R tal que r < s < 1. As, usando la definicin de lmite con = s r > 0,
se obtiene un no N tal que
| n an r| < = s r,
para todo n no . Esto implica, usando la desigualdad triangular, que
n
an < s
para todo n no . Es decir,
an < sn
P n
para todo n no . Luego, dado que la serie geomtrica
s converge pues 0 < s < 1, el criterio
P
de comparacin (Teorema 2.4.2), implica que la serie
an es convergente.
2.- Supongamos ahora que
lim
n
an = r > 1,
entonces, com antes, podemos encontrar un s R tal que 1 < s < r; luego por la definicin de
lmite con = r s > 0, podemos encontrar un n0 N tal que
| n an r| < = r s
para todo n n0 . Esto implica que
an > sn > 1
73
3.- Para exhibir que el criterio no se aplica cuando r = 1, damos dos ejemplos.
a) Si consideramos la serie armnica divergente (Lema 2.1.3)
+
X
1
,
n
n=1
an =
Afirmamos que
lim n an = lim
En efecto, definiendo
bn =
1
1
= lim
= 1.
n
n
n
n
1/n
n
n = (n)
,
se tiene que
1
ln (n) .
n
Por tanto, aplicando la regla de LHospital, se obtiene
cn = ln bn =
lim cn
ln (n)
n
n
lim
lim
1
n
1
1
= lim
= 0.
n n
n
n
n =
=
lim bn
lim ecn
n
limn cn
= e
= e0
= 1.
Con lo cual se obtiene lo afirmado.
b) Por otra parte, si consideramos la serie
+
X
1
,
2
n
n=1
74
(2.18)
entonces por lo que hemos visto en el Ejemplo 2.4.12, se tiene que esta serie es convergente; sin
embargo, en este caso,
r
1
1
n
lim n an = lim
= lim = 1.
n
n
n2 n n n2
Es decir, el criterio no es concluyente si r = 1.
Ejemplo 2.4.17 Estudie la convergencia de la serie
+
X
1
n.
[ln (n)]
n=3
Solucin. Aplicamos el criterio de la raz. Aqu
1
n,
[ln (n)]
an =
luego,
lim
P+
1
n=3 [ln(n)]n
n
an = lim
1
=0=r<1
ln (n)
es convergente.
En el siguiente resultado se observa que el valor obtenido en el lmite del criterio del cociente
es exactamente el mismo valor que se obtiene en el criterio de la raz. De manera entonces que si
el criterio del cociente no es concluyente tampoco lo ser el criterio de la raz. La diferencia entre
estos dos criterios radica en el hecho que muchas veces el lmite
lim
n
an
lim
an+1
.
an
1
,
(n + 1)n
n
an = lim
n
1
= 0;
n+1
an+1
(n + 1)
= lim
n an
n (n + 2)n+1
lim
Entonces r1 = r2 .
75
lim
n
an = r2.
Demostracin. Fijemos > 0, vamos a mostrar que |r1 r2 | y el resto sigue por la
arbitrariedad de > 0. Como limn aan+1
= r1 , podemos encontrar un n0 N tal que
n
an+1
an r1 <
(2.19)
an0 +2
n0
n
an < (r1 + )1 n n an0
n0
n
an lim (r1 + )1 n lim n an0 = r1 + ,
(2.20)
donde hemos usado que limn n an0 = 1. Luego, slo nos resta por mostrar que r1 r2 .
Observamos que esta desigualdad es trivial si r1 pues r2 0; as que podemos suponer que
< r1 , entonces del lado izquierdo de la desigualdad (2.19) se obtiene
an > (r1 )
para todo n > n0 , de donde
nn0
an0 ,
n0
n
an > (r1 )1 n n an0
n0
n
an lim (r1 )1 n lim n an0 = r1 .
As, de esta desigualdad y (2.20) se concluye que r1 r2 r1 + que era exactamente lo que
se quera demostrar.
2.4.5
Criterio de la Integral
Ya hemos estudiados varios criterios para establecer la convergencias de ciertas series de nmeros
reales positivos a travs de ciertos lmites que involucran al trmino general, tales como lo son el
criterio del cociente y el criterio de la integral. Sin embargo, tal como hemos visto con la serie
P 1
armnica y la serie
n2 , estos criterios resultan ineficientes para establecer la convergencia de
series de la forma
X
1
,
(2.21)
p
n
n=1
76
1
np
an+1
= lim n an = 1;
n
an
con lo cual estos criterios no se aplican. En esta subseccin daremos otro criterio que nos permita
concluir cuando series del tipo (2.21) es convergente.
Teorema 2.4.8 (Criterio de la Integral) Supongamos que f : [1, ) R+ es una funcin
positiva y decreciente. Hagamos
an = f (n)
donde n N. Entonces la serie
Z
P+
n=1
f (x) dx =
lim
f (x) dx
existe.
Demostracin. Sea f una funcin decreciente y positiva definida en [1, +). Entonces para
cada n N
An =
n+1
f (n + 1) dx
f (n + 1)
n+1
es decir,
n+1
f (x) dx
f (x) dx f (n) .
an = f (n)
An =
n+1
n+1
Luego haciendo
n+1
f (x) dx,
n
se tiene que
0 < an+1 An an
77
f (n) dx,
para todo n N.
Por tanto, el criterio de comparacin (primera versin, Teorema 2.4.2) establece que la serie
+
X
an
n=1
P+
n=1
n
X
+
X
An
converge.
n=1
Ak
k=1
=
=
lim
lim
Z
Z
f (x) dx +
1
n+1
f (x) dx =
f (x) + . . . +
2
n+1
f (x) dx
f (x) dx existe.
np
y por tanto, por el criterio del trmino n-simo (Corolario 2.1.2) se obtiene que la serie p
+
X
1
p
n
n=1
78
es divergente.
Si p > 0, el trmino general
an =
1
np
es una sucesin de nmeros no negativos que es decreciente. Luego, podemos definir la funcin
real f : [1, ) R+ por;
1
f (x) = p ;
x
la cual es decreciente, positiva y satisface
an = f (n)
para todo n N. Por tanto, el criterio de la integral, establece que la serie-p
+
X
1
p
n
n=1
f (x) dx =
+
1
dx
xp
es convergente. Pero
Z
f (x) dx =
1
lim
lim
Z
Z
M
1
dx
xp
xp dx
1
),
p = 1,
Ln (M
1p
1
1 , 0 < p < 1,
=
lim
1p M
M
1 1
p > 1,
1p M p1 1 ,
+, p = 1,
=
+, 0 < p < 1,
1 , p > 1.
p1
Como consecuencia del resultado anterior, podemos establecer la convergencia de series cuyo
trmino trmino general involucre potencias de la variable n; sin ms que comparar con series -p
para algn valor de p.
Ejemplo 2.4.18 Estudie la convergencia de la serie
+
X
3n 2
.
n3 + 1
n=1
79
Solucin.
Se observa que el trmino general de esta serie consta de una fraccin donde el
numerador es un polinomio de grado 1 y el denomindador es una expresin de grado 3/2 pues es
un polinomio de grado 3 en la variable n dentro de un radical de ndice 2. De manera entonces,
1
que debemos comparar el trmino general de esta serie con la sucesin n13/2 = n1/2
; es
decir, comparar la serie dada con la serie 1/2 (p = 1/2) la cual ya sabemos que diverge. Luego,
haciendo
3n 2
1
an =
, y bn = 1/2 ,
n
n3 + 1
se obtiene
an
n bn
lim
3n2
n3 +1
1
n
n1/2
1/2
3n3/2
2 nn3/2
n3/2
n3 +1
n
n3
3n3/2 2n1/2
n
n3 + 1
lim
= lim
lim
= lim q
n
n3
n3
2
n
1
n3
30
3 2/n
lim q
=
1
1+0
1 + n3
= 3 6= 0.
+
X
1
1/2
n
n=1
1
.
n
ln
(n)
n=3
Solucin. Notamos que para n 3, la sucesin
an =
1
n ln (n)
1
x ln (x)
o, equivalentemente,
1
1
1
<
;
x1 ln (x1 )
x2 ln (x2 )
3 ln (3)
es decir,
f (x1 ) < f (x2 ) f (3) .
Adems, la funcin f satisface
f (n) = an =
1
.
n ln (n)
1
n
ln
(n)
n=3
converge si y slo si la integral
I=
dx
x ln (x)
=
=
=
+
ln(3)
lim
du
u
Z M
Ln(3)
du
u
1
n
ln
(n)
n=3
es divergente.
2.4.6
Series Alternadas
n=1
(1)n+1 an = a1 a2 + a3 a4 + . . .
es convergente.
81
(1)n+1 an ;
Consideremos la subsucesin {S2n }; entonces como la sucesin {an } es decreciente, se tiene que
a2n+1 a2n+2 , y por tal motivo,
S2n+2 = S2n + a2n+1 a2n+2 S2n ;
esto es, la subsucesin de las sumas parciales con ndices pares {S2n } es creciente. Adems,
agrupando y usando nuevamente el hecho que la sucesin {an } es decreciente se obtiene
S2n = a1 (a2 a3 ) (a4 a5 ) . . . (a2n2 a2n1 ) a2n a1 ;
lo que significa que la sucesin {S2n } est acotada superiormente y por tanto debe ser convergente.
As, existe R tal que
lim S2n = ;
n
Finalmente, como
a2n = S2n S2n1
y
lim a2n = 0
82
y la serie alternada
(1)n+1 an es convergente.
Como consecuencia inmediata del resultado anterior se observa que la serie armnica alternada
+
n+1
X
1 1 1
(1)
= 1 + + ...
n
2 3 4
n=1
|Sn | an+1
donde
=
(2.22)
(1)n+1 an
n=1
lo cual da un mtodo para aproximar a . Por ejemplo, si tenemos la serie armnica alternada
= 1 1/2 + 1/3 1/4 + . . .
y queremos hallar una aproximacin del lmite con un error menor que 102 ; lo que hacemos
es usar la estimacin en (2.22); de manera entonces que debemos hallar un valor de n tal que
an+1 102 ; lo cual, en este caso es equivalente a resolver la desigualdad
1
1
.
n+1
100
De donde se obtiene que n 99. Luego, una aproximacin del lmite con un error menor que
102 se obtiene con
99
S99 = 1
X (1)k+1
1 1
1
1
+ + ...
+
=
' 0.698 17.
2 3
98 99
k
k=1
2.5
Reordenamientos de Series
Esta seccin est dedicada a establecer, en primer lugar, que si hacemos un reordenamiento de
los trminos de una serie de nmeros reales, en general, no se obtiene el mismo resultado o suma;
es decir, que tratndose de sumas infinitas o series, el orden de los sumandos si altera la suma.
Ilustramos esto con el siguiente ejemplo.
Ejemplo 2.5.1 (El orden de los sumandos si altera la suma) Consideremos la serie armonica alternada
+
X
1 1 1 1 1 1
(1)n+1
= 1 + + + .
n
2
3 4 5 6 7
n=1
83
Ya sabemos, por el criterio de Cauchy (vase el Ejemplo 2.4.3), que esta serie es convergente,
digamos a L R. Entonces
L=1
1 1 1 1 1
+ + + .
2 3 4 5 6
Notamos que L 6= 0; de hecho, se puede ver que L > 0. Adems, si agrupamos un trmino positivo
con dos negativos se obtiene
1 1
1 1 1
1
1
1
L =
1
+
+
+ ...
2 4
3 6 8
5 10 12
1
1
1 1 1 1
+ +
+ ...
=
2 4 6 8 10 12
1 1 1 1 1
1
1 + + + ...
=
2
2 3 4 5 6
1
L;
=
2
luego, como L 6= 0, se debe tener 1 =
1
2
La contradiccin en el ejemplo pasado proviene del hecho que en una serie, en general, no se
puede cambiar el orden de los sumandos. Luego, es natural preguntarse, en una serie de nmeros
reales, cundo se puede cambiar el orden de los sumandos sin que se altere el valor de la suma?
Para responder esta cuestin, primero necesitamos las siguientes defiiniciones.
P+
Definicin 2.5.1 Se dice que uuna serie de nmeros reales
n=1 an converge condicionalP
P
mente, si la serie n=1 |an | diverge; pero la serie n=1 an converge.
: N N
: n g (n) ,
y tal que,
bn = ag(n) .
Es decir, la sucesin {bn } se obtiene intercambiando los terminos de la sucesin {an }.
Tambin necesitaremos las siguientes notaciones.
Definicin 2.5.3 Dada una sucesin de nmeros reales {an }nN se definen las sucesiones parte
positiva {a+
n } y parte negativa {an } por
(
(
an , si an > 0,
an , si an < 0,
+
an =
y an =
0, si an 0,
0, si an 0,
respectivamentes.
84
1 1 1 1
{an } = 1, , , , , . . . ,
2 3 4 5
entonces
1
1
1
1, 0, , 0, , 0, , . . . ,
3
5
7
1
1
=
0, , 0, , 0, . . . .
an
2
4
+
an
=
1. a+
n an = an ,
2. a+
n + an = |an | .
2. Si la serie
a+
n y
a
n son convergentes.
a+
n y
a
n divergen.
P
Demostracin. 1.- Supongamos primero que la serie
an converge absoluatmente. Esto
P
|an | =
a+
n + an
an converge absolutamente.
P
2.- Supongamos que la serie de nmeros reales
an converge condicionalmente. Esto significa,
P
P
por definicin, que la serie
an es convergente y que la serie
|an | es divergente. Luego, si la
P +
serie
an fuese convergente, de las propiedades de las partes positivas y negativas de la sucesin
{an } se pueden deducir que
1
a+
(an + |an |)
n =
2
85
bn = .
n=1
P
P+
+
Demostracin. Sea +
n=1 an la serie de los terminos positivos de la sucesin {an } y
n=1 an
la serie de los trminos negativos de la misma sucesin. Por el Teorema 2.5.2, se tiene que las series
P+ + P+
P
an converge condicionalmente.
n=1 an y
n=1 an son divergentes pues, por hiptesis, la serie
+
Adems, como an y an son nmeros no negativos para todo n N, entonces las sumas parciales
P+
P+
de las series n=1 a+
n y
n=1 an divergen a +.
Sea R y supongamos, sin perder generalidad, que > 0. Como las sumas parciales de
a+
n crece sin cotas, es claro que podemos encontrar un n N tal que
n
X
a+
k > .
k=1
N1
X
a+
k > ;
k=1
pero
NX
1 1
k=1
a+
k .
pues
t1
N1
X
a+
k
k=1
NX
1 1
+
a+
n + aN1
n=1
+ a+
N1 .
A la suma t1 > > 0, le quitamos trminos de la parte negativa tantos como sea necesarios
para obtener una nueva suma que sea menor que . Esto es posible pues la serie de los trminos
P+
negativos n=1 a
n diverge a +. En otras palabras, elegimos el entero positivo M1 ms pequeo
tal que
M1
X
a
s1 = t1
k < .
k=1
M
1 1
X
k=1
a
k ;
= t1
= t1
M1
X
a
k
k=1
M
1 1
X
k=1
a
M1 .
a
k aM1
+
+
a1 , . . . a+
N1 , a1 , . . . , aM1 , aN +1 , . . . , aN2 , . . . ,
quitando los ceros, claramente es un reordenamiento de la sucesin {an }. Las sumas parciales de
la serie formada por tal sucesin aumentan hasta t1 , despus decrecen hasta s1 , luego aumentan
hasta t2 , despus decrecen hasta s2 ; y as sucesivamente. Adems, por construccin se tienen las
siguientes acotaciones
|tk | a+
y |sk | a
Nk ,
Nk ;
87
y dado que
pues la serie
lim a+
Nk = lim aNk = 0
lim sk = lim tk = .
Ya hemos visto que esta serie converge condicionalmente (vase el Ejemplo 2.4.3). Aqui la sucesin
del trmino general es
1 1 1 1 1
{an } = 1, , , , , , . . . ,
2 3 4 5 6
de manera entonces que las partes positiva y negativa de esta sucesin son
+
1
1
1
=
1, 0, , 0, , 0, , . . . ,
an
3
5
7
1
1
1
1
=
, 0, , 0, , 0, , . . . .
an
2
4
6
8
bn = = 1.
n=1
Entonces seleccionamos trminos de la sucesin de la parte positiva (omitiendo los nulos) hasta
obtener una suma t1 mayor que = 1. En este caso se tiene
1
4
= = t1 .
3
3
Ahora restamos trminos de la sucesin de parte negativa hasta obtener una suma s1 menor que
= 1; esto es,
1
4 1
5
s1 = t1 = = .
2
3 2
6
Luego, los primeros trminos del reordenamiento que estamos buscando son
1 1
1, ,
.
3 2
1+
Ahora volvemos a sumar trminos de la parte positiva a la suma s1 hasta obtener una suma t2
mayor que = 1; en este caso, se obtiene
t2
1 1
+
5 7
5 1 1
+ +
6 5 7
247
.
210
= s1 +
=
=
88
Similarmente, a t2 le restamos trminos de la parte negativa hasta obtener una suma s2 menor
que = 1. Esto es,
s2
= t2
1
4
247 1
210 4
389
.
420
=
=
1 1 1 1 1
.
1, , , , ,
3 2 5 7 4
Seguidamente damos el segundo resultado importante de esta seccin. ste establece que si la
convergencia de una serie de nmero reales es absoluta, entonces podemos intercambiar el orden
de los sumandos sin que se altere la suma.
P
Teorema 2.5.4 Si
an converge absolutamente y {bn } es un reordenamiento de {an }. EnP
tonces la serie
bn converge absolutamente y
+
X
+
X
bn =
n=1
an .
n=1
+
X
S=
an
n=1
+
X
an = lim
n=1
n
X
ak ,
k=1
no
ak < ;
S
2
k=1
es decir,
|S Sno | <
donde
Sn =
Similarmente, como la serie
n
X
,
2
ak .
k=1
2
n=1
89
(2.23)
o, equivalentemente,
+
X
k=n0 +1
Tm =
m
X
bn ,
n=1
P
la sucesin de sumas parciales de la serie n=1 bn . Como los trminos de la sucesin {bn } son los
mismos trminos de la sucesin {an }, entonces dado que {a1 , a2 , . . . , ano } es un subconjunto finito
de {bn }, existe un ndice M N tal que
ak {b1 , b2 , . . . , bM }
para todo k = 1, 2, . . . , no . Luego, si tenemos un ndice m > M , la diferencia Tm Sno es la
suma de ciertos ai , donde a1 , a2 , . . . , ano quedan definitivamente excluidos. En consecuencia
|Tm Sno |
+
X
k=n0 +1
(2.24)
As, si m > M , entonces, por la desigualdad triangular y las estimaciones (2.23), (2.24) se obtiene
|Tm S| |Tm Sno | + |Sno S| < + =
2 2
lo cual significa que
lim Tm = S;
m
es decir;
+
X
+
X
bn =
n=1
an .
n=1
P
Para ver que
bn converge absolutamente note que {|bn |} es un reordenamiento de {|an |} y
el resultado sigue de la parte anterior.
Finalizamos este captulo, definiendo el producto de dos series numricas y dando condiciones
para que esta serie resultante sea convergente.
+
Definicin 2.5.4 (Multiplicacin de series) Sean {an }+
n=0 y {bn }n=0 dos sucesiones nmer
icas. Definimos la sucesin {cn }n=0 por
cn =
n
X
ak bnk
k=0
P
P+
donde n = 0, 1, 2, . . .. La serie +
n=0 cn se denomina el producto de las series
n=0 an y
P+
n=0 bn .
P+
P+
converge, entonces la serie
Teorema 2.5.5 Si
n=0 an converge absolutamente y
n=0 bn
P+
n=0 cn converge y
+ ! + !
+
X
X
X
cn =
an
bn .
n=0
n=0
90
n=0
P
P+
Demostracin. Supongamos que las series +
n=0 an y
n=0 bn convergen a los valores A
P
y B, respectivamente y sea {Cm } la sucesin de suma parciales de la serie +
n=0 cn . Debemos
mostrar entonces que
lim Cm = AB.
m
Pn
Pn
Con este fin, sean An = k=0 ak y Bn = k=0 bk las sucesiones de sumas parciales de las series
P+
P+
n=0 an y
n=0 bn respectivamentes, y hagamos adems n = Bn B. Observe que n 0
P+
cuando n pues B = n=0 bn . Adems, se tiene la siguiente relacin
Cn
= a0 Bn + a1 Bn1 + ... + an B0
= a0 (B + n ) + a1 B + n1 + ... + an (B + 0 )
= An B + a0 n + a1 n1 + ... + an 0 .
Hagamos
n = a0 n + a1 n1 + ... + an 0 ,
como An B AB cuando n , entonces basta ver que
lim n = 0.
P+
n=0
+
X
n=0
|an | < +;
luego, como n 0 cuando n , para > 0 cualquiera, podemos encontrar N N tal que
| n | < para todo n N ; y por tal motivo, para n N , podemos usar repetidas veces la
desigualdad triangular, para escribir
nN
X1
k=0
|ak |
| 0 an + ... + N anN | + ;
P+
n=0
an es convergente,
X
1
1
1
(1)n
= 1 + + ...,
n
+
1
2
3
4
n=0
91
que es convergente, gracias al criterio de Leibnitz para series alternadas. Si multiplicamos esta
serie por ella misma, el trmino general del producto es
cn
n
X
ak ank
k=0
= (1)n
Por otra parte, como
n
X
1
p
.
(n k + 1) (k + 1)
k=0
(n k + 1) (k + 1) =
se tiene que
|cn |
n
k
nk
X
(1)
(1)
=
k+1 nk+1
k=0
2 n
2 n
2
+1
k
+1 ,
2
2
2
n
X
n
k=0 2
1
2 (n + 1)
=
;
+1
n+2
2.6
cn no se
Ejercicios
P+
n=1
1
,
n(n+1)
P+
2n n!
n=0 nn ,
P
n cos(n
3)
g. +
,
n=1
2n
P+
n+2
j. n=1 (1)n n(n+1)
,
P
3n n!
m. +
n=1 nn ,
p.
P+
n=0
3n3 +2n1
,
n4 +1
b.
e.
h.
k.
n.
q.
P+
n=1
(1)n
P+
n=1
P+
n=1
P+
n
n+1
n
n+100 ,
n2
f.
31+2n
n2n ,
i.
1
n=3 n ln(n)[ln(n)]2 ,
P+
n=1
o.
nn+ n
n,
(n+ n1 )
r.
ln(n)
1
P
P
n
d. n=1 n+1
, e. n=1 (n2n+1
2 +n)2 ,
4n2 +4n
P
P
g. n=10 21n ,
h. n=5 en ,
4
4n2 +4n3 .
cn =
l.
n=2 n
P+
P
c. +
n=1
n
X
k=0
92
c.
f.
i.
n+1
,
3 4
n +2
P+ 12n n
n=1
P+
n=0
1+2n
nen ,
P+
1
n=1 (n2 +2)1/3 ,
P+
(1)n
n=0
n=1
n1
n2 +1 ,
nrn1 ,
r R.
4
n=0 4n2 +4n3 ,
3
P 2n1
n+12n1 3 n
,
n=1
2n 3 n2 +n
1+2n
n=2 3n1 .
ak bnk .
n=0 cn ,
donde
n=0 cn ,
cn =
donde
n
X
ak bnk .
k=0
(1)n
n+1 .
6. Halle una aproximacin con un error menor que 102 , del valor de la serie
+
X
(1)n
.
n2
n=1
1
p
n [ln (n)]
n=2
es convergente si y slo si p > 1.
8. Demostrar que
n
+
X
1
1
.
= lim 1 +
n! n
n
n=0
1
n
= e1 =
1
.
e
X
r
r
= lim 1 +
= er .
n
n!
n
n=0
9. Si (X, kk) es un espacio de Banach, demostrar que l1 (X) , kk1 es tambin un espacio de
Banach.
P
10. (Criterio del Cociente) Dada una serie n=1 an de nmeros reales no nulos, sean
an+1
an+1
.
,
R = lim sup
r = lim inf
n
an
an
n
(Vase los Ejercicios 26, 25 del Captulo 1 para las definiciones y propiedades de lmite inferior
y lmite superior) Demuestre que
P
(a) La serie n=1 an converge absolutamente si R < 1,
P
(b) la serie
n=1 an diverge si r > 1.
93
n=1
= lim sup
n
Demuestre que:
p
n
|an |.
P
(a) La serie n=1 an converge absolutamente si < 1,
P
(b) la serie
n=1 an diverge si > 1.
n
k+1
X
(1)
k=0
k!
es de Cauchy. Halle una aproximacin de L = limn Sn con un error menor que 102 .
94
Captulo 3
3.1
Recordemos que dado dos conjuntos X e Y no vacios una funcin f : X Y no es ms que una
relacin en la cual cada elemento del dominio X le corresponde un nica imagen en el codominio
Y . Debido a que en el caso que X e Y tengan cardinalidad finita; el nmero de funciones que se
pueden formar de X en Y viene dada por
card (Y )card(X) ,
entonces se acostumbra a denotar el conjunto de las funciones de X en Y por Y X ; es decir,
Y X = {f : X Y / f es funcin} .
Queremos dar condiciones a los conjuntos X e Y para que Y X sea un espacio vectorial.
Una primera condicin viene dada por el hecho que en todo espacio vectorial se tiene la existencia del elemento neutro, es decir, que la funcin nula f 0 Y X , lo cual implica a su vez que
el elemento y = 0 sea un elemento del conjunto Y . Queremos adems que el conjunto Y X sea
cerrado con la suma y con la multiplicacin por escalares, entonces parece conveniente definir:
95
: YX R
: f kf kx0 := kf (x0 )kY .
Todava ms, si f 0, la funcin nula, entonces, en particular, f (xo ) = 0; lo cual implica que
kf (xo )kY = 0 y por tanto kf kxo = 0. Es decir, se tiene
f 0 kf kxo = 0.
Sin embargo, si kf kxo = 0, entonces se tiene que kf (xo )kY = 0 lo cual es equivalente a que
f (xo ) = 0. Esto no significa que la funcin f sea nula, solamente tenemos garanta que se anula en
un punto; de manera entonces que la propiedad [N2 ] se cumpla; pero hemos obtenido el siguiente
resultado
Teorema 3.1.2 Sean X, Y dos conjuntos no vacos, supongamos que (Y, kkY ) es un espacio
normado y que x0 es un elemento del conjunto X. Entonces la relacin kkxo : Y X R, definida
por
kf kx0 := kf (x0 )kY
con f Y X es una seminorma para el espacio Y X .
Otro intento de convertir el espacio vectorial Y X en espacio normado, consiste en considerar la
relacin
kk
: Y X R
: f kf k := sup {kf (x)kY } .
xX
xX
as, como los elementos que estan dentro de las llaves son no negativos, esto ltimo es equivalente a que
kf (x)kY = 0
para todo x X; lo cual a su vez, por el hecho que la relacin kkY es una norma, es lo
mismo que f (x) = 0 para todo x X lo que significa que f 0; es decir, f es la funcin
nula.
[N3] Si f Y X y K, entonces de la homogeneidad de la norma kkY y por propiedad del
supremo, se tiene
kf k
xX
xX
= || kf k ;
97
xX
xX
xX
= kf k + kgk .
1
,
x
x X = (0, 1) ,
x(0,1)
no existe! Por tanto, todo este argumento nos dice que para tener un espacio normado, debemos
conformamos con un subconjunto de Y X donde kk sea funcin.
Definicin 3.1.1 (Espacio de las funciones acotadas) Sea X un conjunto no vacio y (Y, kkY )
un espacio normado, se define el espacio de las funciones acotadas por
donde
BY (X) = f Y X : kf k < + ,
kf k = sup kf (x)kY .
(3.1)
(3.2)
xX
La letra B que aparece en la definicin (3.1) viene de la palabra inglesa bounded que significa
acotado. Tambin podemos observar que kf k < + si y slo si existe M > 0 tal que
kf k M ; adems, ya hemos establecido lo siguiente.
Teorema 3.1.3 Sea X un conjunto no vacio y (Y, kkY ) un espacio normado, entonces (BY (X) , kk )
es un espacio normado.
Luego, es natural preguntarse, qu condiciones deben tener los conjuntos X, Y para que el
espacio (BY (X) , kk ) sea un espacio de Banach? bastar que (Y, kkY ) sea un espacio de
Banach?
Analizemos estas preguntas. Para esto, consideremos {fn } una sucesin de Cauchy en (BY (X) , kk ).
Entonces, dado > 0, podemos encontrar un n0 N tal que
kfn fm k <
98
(3.3)
xX
para todo n, m n0 . Por tanto, para x0 X arbitrario, pero fijo, se tiene de la desigualdad
(3.3) que
kfn (x0 ) fm (x0 )kY <
para todo n, m n0 . Lo cual significa que {fn (x0 )}nN es una sucesin de Cauchy en (Y, kkY ).
De manera entonces, que si suponemos que (Y, kkY ) es un espacio de Banach, entonces la sucesin
{fn (x0 )} es convergente. Por tanto, debe existir un yx0 Y (que depende del x0 dado) tal que
lim kfn (x) yx0 kY = 0.
(3.4)
: X Y
: x f (x) = yx = lim fn (x) ;
n
para todo x X.
99
(3.5)
Esta ltima identidad junto con la desigualdad en (3.5) nos permite escribir
kf k
xX
xX
sup {M } = M.
xX
Con este fin, consideramos un > 0 arbitrario, entonces como la sucesin {fn } es de Cauchy en
(BY (X) , kk ), podemos encontrar un n0 N tal que
kfn fm k = sup {kfn (x) fm (x)kY } < ,
xX
esto significa que kfn (x) fm (x)kY < para todo n > n0 , para todo m > n0 y para todo
x X. Luego, tomando m y recordando que f (x) = limm fm (x), se obtiene que
kfn (x) f (x)kY < para todo n > n0 y para todo x X; lo cual significa que
lim kfn f k = 0
como se afirm.
Hemos establecido el siguiente resultado importante, obsrvese que no se le imponen condiciones
al conjunto X.
Teorema 3.1.4 Sea X un conjunto no vaco y (Y, kkY ) un espacio de Banach. Entonces (BY (X) , kk )
es un espacio de Banach.
En el caso que se tenga funciones reales, es decir, funciones f : DR R cuyo dominio y
rango son subconjuntos del conjunto de los nmeros reales. Es claro, por el Teorema 3.1.4, que el
espacio (BR (D) , kk ) es de Banach, independientemente del subconjunto D de R pues, como ya
hemos visto, el espacio normado (R, ||) es de Banach, donde || es la funcin valor absoluto. En
este caso que kf k < + significa que existe M > 0 tal que
|f (x)| M
100
1.0
0.5
-5
-4
-3
-2
-1
-0.5
-1.0
3.2
En esta seccin estudiaremos otro espacio importante de funciones reales y acotadas, como lo son
el conjunto de las funciones reales continuas en un intervalo cerrado [a, b] R y definida mediante
C [a, b] = {f : [a, b] R / f es continua} ,
donde entendemos que la funcin f es continua en el intervalo [a, b] si para cada x0 (a, b) se
cumple
lim f (x) = f (xo ) ,
(3.6)
xxo
xa+
xb
Recordemos que la relacin en (3.6) significa que dado > 0, podemos encontrar un > 0 tal que
|x xo | < = |f (x) f (xo )| < .
Es conocido, en virtud del Teorema de Heine-Borel, que un subconjunto de R es compacto si
y slo si es cerrado y acotado. Por tal motivo, el intervalo cerrado [a, b] resulta un subconjunto
compacto de R. Adems, se sabe que toda funcin f continua definida sobre un subconjunto
compacto de R es acotada, de aqu que claramente se tiene la inclusin
C [a, b] BR ([a, b]) .
El cual es una inclusin propia pues es sabido que existen funciones que son acotadas; pero que no
son continuas. Adems, dado que la suma de funciones continuas es continua y que el producto
de un escalar por una funcin continua es una funcion continua, se tiene que el conjunto C [a, b] es
101
un subespacio de BR ([a, b]) y por tanto (C [a, b] , kk ) resulta un espacio normado (de dimensin
infinita). Luego, nos preguntamos es el espacio normado (C [a, b] , kk ) un espacio de Banach?
La respuesta a esta inquietud es afirmativa tal como se muestra en el siguiente resultado.
(3.7)
para todo n no . Por tanto, sustituyendo en (3.7), se tiene que si |x xo | < , entonces
|f (x) f (xo )| <
+ + = ,
3 3 3
lo cual significa que f es continua en xo [a, b]; y as f C [a, b]. La demostracin del teorema
esta completa.
En la Seccin 4 del Captulo 1, hemos visto que se puede definir otras normas en el espacio de
las funciones continuas; como por ejemplo, la norma kk1 : C [a, b] R definida por
kf k1 =
b
a
|f (x)| dx,
102
con f C [a, b]; sin embargo, se presenta la dificultad que (C [a, b] , kk1 ) no es un espacio de
Banach. Para p > 1, se puede definir otras normas importantes en el espacio de las funciones
continuas como lo son las relaciones kkp : C [a, b] R definida por
Z
kf kp =
!1/p
|f (x)| dx
Demostracin. Primero notamos que si f C [a, b] entonces al ser la funcin continua sobre
un subconjunto compacto, existe M > 0 tal que
|f (x)| M
para todo x [a, b], as, por la monotona de la integral, se tiene
Z
!1/p
b
kf kp =
1/p
|f (x)| dx
M (b a)
< +.
Rb
p
Adems, como la integral definida es un limite, entonces el valor a |f (x)| dx es nico y la
relacin kkp : C [a, b] R es funcin. Aqu hemos usado la monotona de la integral el cual
establece que
Z b
Z b
g (x) h (x) x [a, b] =
g (x) dx
h (x) dx.
a
[N1] Dado que |f (x)| 0 para todo x [a, b], entonces, por la monotona de la integral, se tiene
que
Z b
p
|f (x)| dx 0,
a
es decir, kf kp 0,
[N2] Si f 0, la funcin nula, entonces f (x) = 0 para todo x [a, b] y por tanto
0, es decir,
f = 0 = kf kp = 0.
Rb
a
|f (x)|p dx =
|f (x)| dx
!1/p
||
b
a
!1/p
|f (x)| dx
103
= || kf kp .
donde,
1
p
1
q
(3.8)
= 1.
1
kgkqq
|f (x)| |g (x)|
1 |f (x)|
1 |g (x)|
,
p +
kf kp kgkq
p kf kp
q kgkqq
para todo x [a, b], donde hemos usado que 1
intervalo [a, b], se obtiene que
1
kf kp kgkq
|f (x) g (x)| dx
=
1
p
Z b
Z b
1
1
p
|f
(x)|
dx
+
|g (x)|q dx
p kf kpp a
q kgkqq a
1 1
+ = 1,
p q
donde hemos usado la definicin de kf kp y kgkq . Finalmente, multiplicando por kf kp kgkq > 0,
obtenemos la desigualdad deseada.
Ahora podemos demostrar la desigualdad triangular para kkp , que en este caso, se le llama
desigualdad de Minkoski.
Teorema 3.2.4 (Desigualdad de Minkowski) Si f, g C [a, b] y p > 1, entonces
kf + gkp kf kp + kgkp .
Demostracin. Claramente, si kf + gkp = 0, entonces no hay nada que mostrar, as que
104
p1
|f (x) + g (x)|
|f (x) + g (x)|p dx
|f (x) + g (x)| dx
kf kp
(p1)q
|f (x) + g (x)|
Z
=
kf kp + kgkp
a
!1/q
dx
+ kgkp
!1/q
|f (x) + g (x)| dx
(p1)q
|f (x) + g (x)|
!1/q
dx
donde en la primera desigualdad hemos usado la desigualdad triangular del valor absoluto y la
monotona de la integral, tambin hemos usado la desigualdad de Hlder y al final hemos usado el
hecho que (p 1) q = p. Luego, dividiendo, se ecuentra que
Z
!11/q
|f (x) + g (x)| dx
kf kp + kgkp
Teorema 3.2.5 Para p > 1 fijo, el espacio C [a, b] , kkp NO es un espacio de Banach.
Demostracin. Aqu slo basta dar un ejemplo de una sucesin de funciones continuas en
[a, b] cuyo lmite no sea una funcin continua en ese intervalo. Por simplificidad, asumiremos que
[a, b] = [0, 1]; la idea aqu es modificar el Ejemplo 1.4.2. Con este fin, consideremos las funciones
fn : [0, 1] R dado por:
0,
n
fn (x) =
2 x
1,
1
2
x 0, 12 n1 ,
1 1 1 1
, x 2 n, 2 + n ,
x 12 + n1 , 1 .
Claramente, para cada n N, se cumple que fn C [a, b]. Todava ms, para n > m, se tiene
105
Funciones fn y fm
las siguientes acotaciones
p
p
Z 12
m p Z 12 n1
1
m
1
1
1
n
1
1
p
dx +
dx
x +
x +
x +
kfn fm kp =
1
1
1
1
2
2 m
2
2 m
2
2 n
2m
2n
p
Z 12 + n1
Z 12 + m1
n
m
1
1
m
1
1
1
1
+
dx +
dx
1
x +
x +
x +
1
1
1
2
2 n
2
2 m
2
2 m
2
2+n
p+1
p
p
p
mp
(n m)
(n m)
(n m)
1
1
1
1
1
=
+
+
+
(p + 1) 2p m n
(p + 1) 2p np+1 (p + 1) 2p np+1 (p + 1) 2p np+1
2 1
1 1
1 1
2 1
+
+
+
p+1m p+1n p+1n p+1m
6 1
,
p+1m
1
1
2
n1 m
+ n1 m
pues n > m y
donde en la penltima desigualdad hemos usado que m
que n m 2n. Luego,
haciendo
m
,
se
puede
concluir
que
la
sucesin
{fn } es de
Cauchy en C [a, b] , kkp ; sin embargo, esta sucesin no converge en este espacio pues en este
caso limn kfn f kp = 0, donde
0, x 0, 2 ,
1
1
f (x) =
2 , x = 2 ,
1, x 12 , 1 .
y f
/ C [a, b] ( f no es continua).
3.3
Convergencia Puntual
por
0, 0 x < 1,
1, x 1.
(3.9)
ln ()
.
ln (xo )
ln ()
+ 1,
no =
ln (xo )
ln ()
+1
n n0 =
ln (xo )
ln ()
>
ln (xo )
y por tanto,
|fn (xo ) f (xo )| = xno < .
As,
lim fn (xo ) = f (xo )
108
Observacin 3.2 Este ejemplo pone de manifiesto que la convergencia puntual NO preserva
propiedades tales como la continuidad, pues en este caso, las funciones
(
xn , 0 x < 1,
fn (x) =
1,
x 1.
son continuas, para cada n N, en todo [0, ); pero la funcin lmite puntual
(
0, 0 x < 1,
f (x) =
1, x 1.
no es continua en x = 1. Esto significa, que en general,
lim lim fn (x) 6= lim lim fn (x) ;
n xa
xa n
En el siguiente ejemplo veremos que la convergencia puntual tampoco preserva la diferenciabilidad; es decir, el lmite puntual de una sucesin de funciones diferenciables no tiene porque ser
diferenciable.
Ejemplo 3.3.2 Para n N consideremos la funcin
x < n1 ,
1,
fn (x) =
sen nx 2 , n1 x
1,
x > n1 .
1
n,
1, x < 0,
lim fn (x) = f (x) =
0,
x = 0,
n
1,
x > 0.
Para demostrar esta afirmacin por defnicin, consideramos x0 R. Debemos establecer que
lim fn (x0 ) = f (x0 ) .
1
1
n0
n
en este caso.
x0 >
n0
n
y por tal motivo,
fn (x0 ) = 1 = f (x0 ) .
As, para n n0 se tiene
1
n0 ,
entonces
1
1
fn (xo ) = fn
= sen n
n
n 2
= sen
= 1,
2
y adems h 0 , en particular se tiene que h < 0 y por tal motivo,
x0 + h < x0 ,
es decir,
1
1
+h< ,
n
n
1
fn (x0 + h) = fn + h = 1
n
110
y as,
D fn (x0 ) = lim
h0
1 (1)
= 0.
h
sen 2 + n h 2 + 1
lim
h
h0+
1 cos (n h) 2
n
lim
2 h0+
n h 2
n 0 = 0,
2
D+ fn (x0 ) =
lim
h0+
=
=
=
=
pues es conocido que
1 cos (t)
= 0.
t0
t
lim
1 xn
.
1x
Para hallar el lmite puntual de esta sucesin, recordamos que para x (0, 1), se cumple
lim xn = 0.
Por tal motivo podemos afirmar que la sucesin {fn } converge puntualmente a la funcin fn :
(0, 1) R definida por
1 xn
1
=
.
n 1 x
1x
x1
x1
111
1
= ;
1x
fn (x) =
y por tanto,
n
fn (x) = nx 1 x2 .
Afirmamos que
lim
fn (x) dx 6=
o
lim fn (x) dx.
fn (x) dx =
=
=
lo cual implica que
lim
1
0
n
2
n
nx 1 x2 dx
Z
wn dw
n
,
2 (n + 1)
1
n
= .
n 2n + 2
2
fn (x) dx = lim
n
lim nx0 1 x20
= x lim nrn = 0;
n
(3.10)
As, el lmite puntual de la sucesin de funciones dada es la funcin nula f 0 y por tanto,
Z
Z
o
lim fn (x) dx =
0dx = 0.
(3.11)
fn (x) dx 6=
o
lim fn (x) dx.
De todo lo visto en esta seccin, podemos concluir que, en general, la convergencia puntual
de una sucesin de funciones, no preserva propiedades. Luego, nos podemos hacer la siguiente
pregunta. Podemos definir otra clase de convergencia en espacios de funciones, de tal manera que
la funcin lmite preserve la propiedad que tienen los elementos de la sucesin? La respuesta a esta
ltima pregunta la esudiamos en la prxima seccin.
3.4
Convergencia Uniforme
En esta seccin estudiamos un tipo de convergencia en espacios de funciones reales, de tal manera
que la funcin lmite preserve algunas de las propiedades que tienen los elementos de la sucesin
de funciones dada. Recordemos que en las primeras secciones de este captulo hemos establecido
que los espacios (BR [a, b] , kk ) y (CR [a, b] , kk ) son espacios de Banach. Esto significa que si
tenemos una sucesin de funciones reales continuas (resp. acotadas) sobre el intervalo [a, b] que
converge a una funcin f , con la norma kk definida a travs del supremo, entonces esta funcin
lmite tambin ser continua (resp. acotada) sobre [a, b]. Esto motiva la siguiente definicin.
Definicin 3.4.1 (Convergencia Uniforme) Sea {fn } una sucesin en Y X , donde (Y, kkY )
es un espacio de Banach. Se dice que la sucesin {fn } converge uniformemente a la funcin
f Y X , denotado por fn
u f en X, si
lim kfn f k = 0,
donde
kf k = sup kf (x)kY .
xX
que
kfn f k <
siempre que n no ; es decir, existe no N tal que
sup kfn (x) f (x)kY <
xX
113
sen (nx)
,
n
x [0, 1] ,
sen (nx)
= 0,
n
luego fn 0 (funcin nula). Para ver si la convergencia es uniforme, consideramos > 0, entonces
como |sen (nx)| 1 para todo x [0, 1] y para todo n N, se tiene la desigualdad
n
n
n
para todo x [0, 1]; pero
Luego, al seleccionar
1
1
< n>
n
1
no = + 1,
u f en [0, 1].
siempre que n no ; es decir, fn
Ejemplo 3.4.2 Para x [0, 1), consideremos la sucesin de funciones {fn } definidas por
fn (x) =
1
.
1 + xn
es claro que
lim fn (x) = lim
1
=1
1 + xn
n
1
xn
= x
1
=
|fn (x) f (x)| =
1 + xn 1 + xn ,
1 + xn
de manera que
<
xn
<
1 + xn
xn < + xn
xn xn <
xn (1 ) < .
<
n ln (x) < ln
1
ln 1
,
n >
ln (x)
donde hemos invertido la desigualdad pues como x (0, 1), se cumple ln (x) < 0. Observe que se
presenta un problema si x
= 1 porque en este caso ln (x) = 0. As que por el despeje que hemos
hecho,parece que la convergencia NO es uniforme pues el no que debemos seleccionar
ln 1
n0
ln (x)
tiende a infinito cuando x 1 . Pero este estudio que hemos hecho NO prueba que la convergencia
no es uniforme en [0, 1). Para ver esto, debemos suponer que la convergencia es uniforme, entonces
para = 1/4, podemos encontrar un no N, que depende solamente de , tal que
n no = |fn (x) f (x)| < 1/4 x [0, 1).
En particular se tiene que
|fno (x) f (x)| < 1/4 x [0, 1).
Objetivo: Hallar un valor de xo [0, 1) tal que
|fno (x0 ) f (x0 )| 1/4.
115
1/4
1
xn0 o
no =
1 + x0
4
1
1
xn0 o = + xn0 o
4 4
3 no
1
x0 =
4
4
1
no
x0 =
3
p
x0 = no 1/3 [0, 1).
p
Luego xo = no 1/3 es un nmero entre 0 y 1 que satisface:
1
xno
=
n
o
1+x
4
Contradiciendo que
1
xno
<
x [0, 1).
1 + xno
4
Por tanto, la convergencia no puede ser uniforme en [0, 1).
Si en el ejemplo anterior se considera como dominio de la sucesin el intervalo [0, 1/2), entonces
se podra tener una convergencia uniforme. En efecto, consideramos > 0, entonces se tiene
n
xn
= x
=
;
1 + xn 1 + xn
1
2n ;
as, como
1
2n
<
2n >
n ln (2) > ln
ln 1
,
n >
ln (2)
Observacin 3.3 Del ejemplo anterior podemos ver que la convergencia uniforme depende del
dominio de las funciones, as que cuando se quiera estudiar la convergencia es uniforme de una
sucesin de funciones hay que aclarar cual es el dominio de definicin de las funciones. Tambin
de la definicin, se tiene el siguiente resultado.
Corolario 3.4.1 Si fn
u f en el dominio X y D X, entonces fn
u f en el dominio D.
Otros resultados que nos pueden ayudar a identificar si una convergencia es uniforme lo obtenemos de lo que hemos estudiado en las dos primera seccin de este captulo. De hecho, debido a
que (BY (X) , kk ) es un espacio Banach se tiene el siguiente resultado.
Teorema 3.4.2 Si {fn } es una sucesin de funciones acotadas que converge uniformemente a un
funcin f en un dominio D, entonces f es acotada en D.
Observe entonces que si se tiene una sucesin de funciones acotadas y el lmite puntual de esta
sucesin no es una funcin acotada, entonces la convergencia no puede ser uniforme tal como se
ilustra en el siguiente ejemplo.
Ejemplo 3.4.3 Consideremos para n N, las funciones fn : (0, 1) R definida por
fn (x) =
1 xn
.
1x
Ya hemos visto en el Ejemplo 3.3.3, que estas funciones son acotadas en (0, 1) , de hecho se tiene
que
|fn (x)| n
para todo x (0, 1); sin embargo, la funcin lmite puntual en este caso es
f (x) =
1
1x
que no es acotada en (0, 1). Luego, tenemos una sucesin de funciones acotadas que converge a
una funcin no acotada, entonces, por el Teorema 3.4.2, podemos concluir que esta convergecia no
es uniforme.
Se debe advertir sin embargo, que el hecho de que se tenga una sucesin de funciones acotadas
que converga puntualmente a una funcin acotada no significa que la convergencia sea uniforme.
Antes de dar un ejemplo que muestre lo anterior, recordemos que como (CR [a, b] , kk ) es un
espacio de Banach, se tiene el siguiente resultado.
Teorema 3.4.3 Si {fn } es una sucesin de funciones reales continuas que converge uniformemente a f en el intervalo [a, b], entonces f es continua en [a, b].
De manera entonces que si se tiene una sucesin de funciones continuas que converge puntualmente a una funcin que es discontinua, entonces por el teorema anterior se puede concluir que
esta convergencia no es uniforme.
117
1
x [0, 1] .
1 + xn
1, x [0, 1),
0, x = 1.
Observe que los elementos de la sucesin dada y la funcin lmite son acotadas en [0, 1]. Adems,
como {fn } es una sucesin de funciones continuas que converge a una funcin que no es continua,
podemos concluir que la convergencia no es uniforme en virtud del Teorema 3.4.3.
Nuevamente, debemos aclarar que el hecho que se tenga una sucesin de funciones continuas
que converge a una funcin continua, NO significa que esta convergencia sea uniforme tal como se
puede ver en el Ejemplo 3.3.3. Ahora veremos que en el caso que se tenga convergencia uniforme,
entonces podemos intercambiar los simbolos de lmites e integracin.
Teorema 3.4.4 Sea {fn } una sucesin de funciones integrables sobre [a, b] que converge uniformemente, entonces
Z b
Z b
lim
fn (x) dx =
lim fn (x) dx.
n
a n
Z
Z b
fn (x) dx
f (x) dx =
a
a
Z b
Luego, como fn
u f en [a, b], entonces para
ba
ba
para todo x [a, b] y siempre que n no . Por tanto, usando la monotona de la integral, se tiene
que para n no
Z b
Z b
lim
fn (x) dx =
118
f (x) dx.
a
Ahora nos preguntamos si es suficiente la convergencia uniforme para poder intercambiar los
smbolos de lmite y de derivada. La respuesta a esta incertidumbre es negativa tal como se muestra
en el siguiente ejemplo.
Ejemplo 3.4.5 Consideremos la sucesin de funciones reales definidas por
fn (x) =
1
sen n2 x ,
n
x R.
d
fn (x) = n cos n2 x
dx
d
f (x) = 0.
dx
Por lo que
o
d
d n
fn (x) 6=
lim fn (x) .
n dx
dx n
lim
Luego, podemos ver que con la diferenciabilidad se necesita ms que convergencia uniforme tal
como se muestra en el siguiente resultado.
Teorema 3.4.5 Sea {fn } una sucesin de funciones reales y diferenciables definida en (a, b)
supongamos fn f . Si {fn 0} converge uniformemente en (a, b) a una funcin continua g. Entonces f es diferenciable y f 0 = g.
Demostracin. En efecto, como f 0n
u g en el intervalo (a, b), entonces para cada x (a, b)
g (s) ds =
=
=
lim f 0n (s) ds
a n
Z x
lim
f 0n (s) ds
= f (x) f (a) ,
es decir, para x (a, b) se cumple
f (x) = f (a) +
g (s) ds;
Z x
d
d
g (s) ds = g (x) .
{f (x)} =
f (a) +
dx
dx
a
Esto completa la demostracin del teorema.
119
Observacin 3.4 Se puede ver que bajo las hiptesis del teorema anterior, finalmente se obtiene
que
o
d n
d
lim
fn (x) =
lim fn (x) .
n dx
dx n
En la prxima seccin daremos una aplicacin de este resultado. Por ahora, daremos un criterio
importante para establecer cuando la convergencia de ciertas sucesiones de funciones continuas es
uniforme.
Teorema 3.4.6 (Dini) Sea {fn } una sucesin decreciente de funciones no negativas y continuas
sobre [a, b]. Si {fn }, converge a cero, entonces la convergencia es uniforme en [a, b].
Demostracin. Por hiptesis se tiene:
1.- Para cada n N, la funcin fn , es continua en [a, b],
2.- que la sucesin es decreciente, significa que para cada x [a, b] y n N se cumple
fn (x) fn+1 (x) ;
3.- que la sucesin dada converge a cero, significa que fn 0; es decir,
lim fn (x) = 0
tal que
n no = |fn (x)| < , x [a, b] .
Supongamos, por el contrario, que no existe tal no N, significa que dado m N puedo
encontrar un xm [a, b] tal que
|fn (xm )|
para algn n m; es decir
para algn n m pues
fn (xm )
fn (x) 0
x [a, b] ,
1
= f (x)
1x
1. fn + gn
u f + g en D
2. fn
u f R
121
3.5
P+
n=1
P+
Definicin 3.5.1 Se dice que la serie n=1 fn converge puntualmente si existe una funcin
f Y X , llamada funcin suma, tal que para cada x X, se cumple
lim Sn (x) = f (x) =
+
X
fn (x) ;
n=1
es decir, para cada x X la serie en numrica ({fn (x)} , {Sn (x)}) converge a f (x) con la norma
de Y .
Ejemplo 3.5.1 Si fn (x) = xn , con |x| < 1, n 1 y fo (x) = 1. Entonces la serie
fo + f1 + f2 + . . .
converge puntualmente (vase la serie geomtrica) a la funcin
f (x) =
=
lim
lim
n
+
X
n
X
k=0
n
X
fk (x)
xn
k=0
xn =
k=0
1
,
1x
La funcin suma
1
1x
no es acotada en (1, 1). Luego, nos preguntamos:
1.- Si {fn } es una sucesin de funciones continuas y
f (x) =
f (x) =
+
X
fn (x)
n=0
n=0
n=0
xc
2.- Cundo podemos intercambiar los smbolos de derivadas y sumatorias?; es decir, bajo
cules condiciones se cumple
+
+
X
d X
d
fn (x) =
fn (x)?
dx n=0
dx
n=0
3.- Cundo podemos intercambiar los smbolos de integracin con las sumatorias?; es decir,
bajo cules condiciones se cumple
!
Z b X
+
+ Z b
X
fn (x) dx =
fn (x) dx?
a
n=0
n=0
Como antes, es de esperarse que con la convergencia puntual, estas propiedades sean, en general,
falsas tal como se muestra en el siguiente ejemplo.
Ejemplo 3.5.2 Para x R y n N {0}, consideremos las funciones
fn (x) =
x2
n.
(1 + x2 )
Se puede observar que para cada n N {0} las funciones fn son continuas en R. Para hallar la
convergencia puntual de la serie, calculamos para x X fijo
f (x) = lim
n
X
fk (x) ,
k=0
n
X
x2
n
n
(1 + x2 )n
k=0
k=0
n
+
+
X
X
1
x2
2
=
=x
1 + x2
(1 + x2 )n
n=0
n=0
!
1
= x2
= x2 + 1,
1
1 1+x2
f (x) =
lim
fk (x) = lim
123
1
donde hemos usado que la serie en la cuarta igualdad es geomtrica de razn 1+x
2 . Observe que
1
hemos separado en dos casos pues cuando x = 0, la razn de la serie geomtrica es 1+x
2 = 1; y en
este caso, la serie geomtrica no es convergente. Luego, la funcin suma es
(
0,
x = 0,
f (x) =
2
x + 1, x 6= 0,
que es una funcin discontinua en x = 0; es decir, en este ejemplo se puede observar que, en
general
+
+
X
X
fn (x) 6=
lim fn (x) .
lim
x0
n=0
n=0
x0
P+
Definicin 3.5.2 Se dice que una serie de funciones
n=0 fn converge uniformemente a la
funcin f en E. Si la sucesin de sumas parciales {Sn } converge uniformemente a f en E. Es
decir,
+
X
fn
u f en E Sn
u f en E.
n=0
Como una aplicacin directa del Teorema 3.4.3, se tiene el siguiente resultado.
Teorema 3.5.1 Sea {fn } una sucesin de funciones reales y continuas sobre un conjunto E. Si
P
la serie
fn converge uniformemente a f en E; entonces f es continua en E.
Demostracin. Consideremos la sucesin de sumas parciales {Sn }. Entonces se tienen las
siguientes propiedades:
1.- Dado que Sn = f1 + f2 + . . . + fn , es la suma finita de funciones continuas, se tiene que Sn
es continua para cada n N..
2.- Adems, por hiptesis, Sn
u f en E.
x2
n.
(1 + x2 )
P
Entonces ya hemos visto en el Ejemplo 3.5.2, que la serie
fn converge puntualmente a
(
0,
x = 0,
f (x) =
x2 + 1, x 6= 0.
Esta convergencia no es uniforme en R, pues las funciones fn son conitnuas en R, pero f no lo
es.
Ahora enunciaremos y demostraremos un resultado importante sobre la convergencia uniforme
de series de funciones.
P
Teorema 3.5.2 (Criterio M de Weierstrass) Sea fn una serie de funciones reales definidas
sobre un conjunto D y supongamos que existe una sucesin de nmeros positivos {Mn } tal que
|fn (x)| Mn
P
P
para todo x D y n N. Si la serie
Mn < + (es convergente), entonces la serie
fn
converge uniformemente en E.
124
Demostracin. Sean {Sn } y {Tn } las sucesiones de sumas parciales de las series
P
Mn , respectivamentes. Es decir,
Sn =
n
X
fk
y Tn =
k=1
n
X
fn y
Mk .
k=1
Entonces, usando la desigualdad triangular del valor absoluto y la hiptesis, se tiene que para
cualquier x D y m > n la desigualdad
m
k=n+1
m
X
k=n+1
m
X
|fk (x)|
Mk
k=n+1
= Tm Tn
= |Tm Tn |
P
Luego, como la serie
Mn es convergente, su sucesin de sumas parciales {Tn } es de Cauchy.
As, dado > 0, podemos encontrar un no N, que depende slo de , tal que
Tm Tn = |Tm Tn | <
siempre que n, m no . Esto ultimo junto con la desigualdad en (3.12) implica que
|Sm (x) Sn (x)| |Tm Tn | < ,
para todo x D,
fn converge uniformemente a f en D.
x2
x2
4
|fn (x)| =
n =
n n = Mn .
2
2
2
(1 + x )
(1 + x )
125
+
X
4
2n
n=0
Mn =
n=0
es convergente, pues es una serie geomtrica de razn r = 1/2, se tiene, por el criterio M de
Weierstrass, dice que la serie
+
X
x2
= x2 + 1,
2 )n
(1
+
x
n=0
uniformemente en (1, 2). Observe que se obtiene la misma conclusin en cualquier intervalo cerrado
que no contenga al origen.
Ejemplo 3.5.5 Fijemos r (0, 1). Probaremos que la serie
+
X
1
1x
xn =
n=0
P+
1
uniformemente en [r, r]. En efecto, notamos que la serie n=0 xn converge puntualmente a 1x
pues es una serie geomtrica de razn x (1, 1). Para ver que la convergencia es uniforme,
aplicamos el criterio M de Weierstrass. Aqui, para cada n N {0} se tiene que
n
Mn =
n=0
+
X
rn
n=0
es convergente ya que es una serie geomtrica de razn r (0, 1); se concluye, en virtud del criterio
M de Weierstrass, que la convergencia es uniforme. Observe que la convergencia no es uniforme
en (1, 1).
Como consecuencia del Teorema 3.4.3, podemos observar que en el caso que una serie de
funciones sea uniformemente convergente, podemos intercambiar los smbolos de suma e integracin
tal como se muestra en el siguiente resultado.
Teorema 3.5.3 Sea {fn } una sucesin de funciones integrables en [a, b] y supongamos que la serie
P
fn converge uniformemente a una funcin integrable f en [a, b]. Entonces
+ Z
X
fn (x) dx =
n=1
+
bX
fn (x) dx.
a n=1
lim
Sn (x) dx =
126
a n
Luego, como
lim
Sn (x) dx =
lim
lim
n
Z
X
n
bX
a k=1
n Z
X b
fk (x) dx
fk (x) dx
k=1
fk (x) dx
k=1
y simultaneamente
Z
lim Sn (x) dx =
lim
bX
n
X
fk (x) dx
k=1
fk (x) dx,
a k=1
se concluye que
+ Z
X
k=1
fk (x) dx =
a
+
bX
fk (x) dx.
a k=1
Como una aplicacin del resultado anterior, para calcular el valor de ciertas series numricas,
se tiene el siguiente ejemplo.
Ejemplo 3.5.6 Ya sabemos que, como una aplicacin del criterio M de Weierstrass, que si r es
un nmero fijo en (1, 1), entonces
+
X
(1) xn =
n=0
1
1+x
1
ds =
1+s
=
+
xX
+
X
n=0
+
X
n=0
y como
(1) sn ds
n=0
n
(1)
sn ds
(1)
xn+1
;
n+1
1
ds = ln (1 + x) ,
1+s
concluimos que
+
X
n=0
(1)n
xn+1
= ln (1 + x)
n+1
127
n=1
es decir,
+
+
X
d X
d
fn (x) =
fn (x) .
dx n=1
dx
n=1
xn ,
n=0
donde |x| r < 1. Ya hemos visto que esta serie converge uniformemente a la fuuncin
f (x) =
en el conjunto |x| r; es decir,
+
X
1
,
1x
xn =
n=0
1
1x
fn converge puntualmente a f .
0
n
fn0
(x) =
n=1
+
X
nxn1 ,
n=1
y como la serie
+
X
Mn =
n=1
nrn1 ,
n=1
es convergente (por el criterio del cociente pues 0 < r < 1), se tiene, como una aplicacin
P
0
del criterio M de Weierstrass, que la serie de funciones +
n=1 f n converge uniformemente
en (r, r).
Por tanto, el Teorema 3.4.5, nos permite concluir que
+
+
X
d X
d
fn (x) =
fn (x) ;
dx n=0
dx
n=0
( +
X
fn (x)
n=0
=
=
d
dx
1
1x
(1 x)2
mientras que
+
X
d
fn (x) =
dx
n=0
+
X
d
{xn }
dx
n=0
+
X
n=0
+
X
nxn1
nxn1 ,
n=1
y por tanto, hemos obtenido que para cualquier |x| < 1 se cumple la relacin
+
X
nxn1 =
n=1
129
1
(1 x)
2.
n=1
n
2n1
3
2
1
1
1
1
=1+2
+4
+ ... =
+3
2 = 4;
2
2
2
1 12
n=1
1
(1 r)2
la cual se conoce como la derivada de la serie geomtrica. De todo lo que hemo hecho en este
ejemplo, se ha obtenido otro mtodo para hallar el valor de ciertas series numricas que sabamos
convergentes.
3.6
Series de Potencias
En la seccin anterior, hemos usado los teoremas de diferenciabilidad e integrabilidad a ciertas series
cuyo trmino general es un polinomio para obtener nueva series convergentes y, como aplicacin,
obtener el valor de cierta series numricas; de hecho, partiendo de la serie geomtrica
+
X
xn =
n=0
1
,
1x
|x| < 1,
nxn1
n=1
+
n
X
(1) n+1
x
n+1
n=0
1
(1 x)2
= ln (1 + x) ,
|x| < 1,
|x| < 1.
En esta seccin haremos un estudio ms general de este tipo de series de funciones donde el trmino
n-simo es un polinomio de la forma fn (x) = an (x xo )n , con n N {0}.
Definicin 3.6.1 Una expresin de la forma
+
X
n=0
an (x xo )n = ao + a1 (x xo ) + a2 (x xo )2 + . . . ,
(3.13)
n+1
a
fn+1 (x)
an+1
n+1 (x xo )
lim
= lim
= |x xo | lim
n fn (x)
n
n
an
an (x xo )n
luego, si llamamos
R=
limn aan+1
n
130
an+1
1
= lim
R n an
(3.14)
an+1
de convergencia de la serie (3.13). Donde se conviene que R = si limn an = 0.
Ejemplo 3.6.1 Estudie la convergencia de la serie de potencias
+
X
n+1
(x 2)n .
2+1
n
n=0
Solucin. Aqu
an =
n+1
,
n2 + 1
as que,
1
R
n+2
(n + 1)
n+2
.
n2 + 2n + 2
(n+1)+1
(n+1)2 +1
an+1
= 1,
= lim
lim
n+1
n an
n
n2 +1
converge (absolutamente) en el disco D (2, 1), es decir, en el intervalo (1, 3). Tambin, sabemos
que esta serie diverge si x (, 1) (3, +). Falta por averiguar qu pasa si x = 1 x = 3?
Si x = 3, la serie que obtenemos, sustituyendo x por 3 es
+
+
X
X
n+1
n+1
n
=
(1)
2+1
2+1
n
n
n=0
n=0
cn =
n+1
,
n2 + 1
131
(3.15)
y que
cn+1
cn
(n + 1)2 + 1
n+2
n+1
n2 + 1
n2 + 3n 0,
lo cual es cierto pues n N. Esto significa que {cn } es una sucesin de trminos positivos que
decrece a cero y por tanto, la serie (3.15) es convergente; o, lo que es lo mismo, la serie de potencias
dada converge para x = 1. En conclusin, la serie de potencias
+
X
n+1
n
(x 2)
2+1
n
n=0
: [1, 3) R
: x y = f (x) =
+
X
n+1
(x 2)n .
2+1
n
n=0
P+
n
Ms generalmente, una serie de potencias n=0 an (x xo ) induce una funcin f cuyo dominio
es el disco de convergencia; es decir, podemos definir la funcin
f
: D (xo , R) R
(3.16)
: x y = f (x) =
+
X
n=0
an (x xo )n .
Nos preguntamos:Que propiedad tiene esa funcin?, es continua?, es diferenciable?, es integrable? es acotada?
n
xn =
n=0
132
1
,
1x
converge para |x| < 1 (el radio de convergencia es R = 1) pero esta convergencia no es uniforme;
1
ya que las sumas parciales son acotadas, pero la funcin suma 1x
no lo es; sin embargo, ya hemos
visto que si r (0, 1) entonces la serie geomtrica
+
X
xn =
n=0
1
1x
uniformemente en |x| r; y de aqu, se puede concluir que la funcin suma es continua e integrable en el conjunto |x| r. Este resultado se puede extender a series de potencias en general,
formalmente, se tiene el siguiente resultado.
P
n
Teorema 3.6.1 Sea +
n=0 an (x xo ) una serie de potencias con radio de convergencia R > 0.
Entonces para cualquier ro (0, R) la serie converge uniformemente en |x xo | ro .
Demostracin. Sea pn (x) = an (x xo )n y supongamos que |x xo | r < R, entonces
+
X
n=0
an (x xo )n =
+
X
pn (x) ,
n=0
Mn =
n=0
+
X
n=0
|an | ron
es convergente. Para ver esto, aplicamos el criterio del cociente, entonces como
an+1
Mn+1
|an+1 | ron+1
= ro 1 = ro < 1
lim
= lim
= ro lim
n Mn
n
n
|an | ron
an
R
R
P
se puede asegurar que la serie
Mn es convergente. Por tanto, el criterio de M de Weierstrass
P+
n
nos dice que la serie de potencias n=0 an (x xo ) converge uniformemente (y absolutamente)
en el disco |x xo | ro . La prueba est completa
Como una primera consecuencia del resultado anterior, vemos que la funcin inducida por una
serie de potencias es continua en el disco de convergencia.
Teorema 3.6.2 Sea f : D (xo , R) R la funcin definida por
f (x) =
+
X
n=0
an (x xo ) ,
n=0
an (x xo )n
133
pn (x) = an (x xo )
f (x) =
n=0
an (x xo ) ,
f (t) dt =
xo
+
X
n=0
an
xo
(t xo ) dt =
+
X
an
n+1
.
(x xo )
n
+
1
n=0
Demostracin. 1.- Como x D (xo , R), entonces |x xo | < R as existe ro R tal que
|x xo | ro < R. Por tanto, la serie
+
X
n=0
an (x xo )n
converge uniformemente cuando |x xo | ro ; esto implica que esta serie se puede integrar trmino
a trmino en |x xo | ro ; es decir,
Z
xo
f (t) dt =
+
xX
xo n=0
an (t xo )n dt =
+ Z
X
n=0
xo
an (t xo )n dt =
+
X
an
(x xo )n+1 ,
n
+
1
n=0
donde en la segunda igualdad hemos podido intercambia los smbolos de suma e integracin pues
la convergencia es uniforme. Esto completa la prueba de la parte 1.
Sea
+
X
nan (x xo )n1 ,
g (x) =
n=1
134
entonces se tiene que g es una funcin inducida por una serie de potencias. El radio de convergencia
e de esta serie viene dado por
R
bn+1
(n + 1) an+1
an+1
1
= 1,
= lim
= lim
= lim
n
n
n
e
bn
nan
an R
R
g (t) dt =
xo
+
X
nan
xo
n=1
(t xo )
n1
dt =
+
X
n=1
an (x xo ) = f (x) ao
y dado que g es continua en D (xo , R) se tiene por el teorema fundamental de clculo que
Z x
d
d
g (t) dt =
{f (x) ao } ,
dx
dx
xo
es decir,
f 0 (x) = g (x) =
+
X
n=1
nan (x xo )
En la demostracin del teorema anterior, hemos podido ver que f es diferenciable en D (xo , R)
y que la derivada
+
X
n1
f 0 (x) =
nan (x xo )
n=1
se obtiene derivando la serie original trmino a trmino. Adems, la funcin derivada f 0 (x) es otra
serie de potencias alrededor de xo que tiene el mismo radio de convergencia. Por tanto, aplicando
repetidamente la conclusin en 2, se concluye que la funcin inducida por una serie de potencias
es de clase C (D (xo ; R)); es decir; f es infinitamente y continuamente diferenciable en el disco
de convergencia D (xo ; R). Adems, la k-sima derivada de la funcin inducida por una serie de
potencias viene dada por
f
(k)
(x) =
+
X
n=k
n (n 1) (n 2) . . . (n k + 1) an (x xo )nk ,
(3.17)
donde , k N {0} lo cual claramente es una serie de potencias alrededor de xo cuyo radio de
convergencia es R.
Ejemplo 3.6.2 Consideremos la serie de potencias
f (x) =
+
X
(1)n
(x 1)n .
n
+
1
n=0
Se quiere calcular el valor de f (5) (1). Entonces de la identidad (3.17) se tiene que .
f (5) (x) =
+
X
n=5
n (n 1) (n 2) (n 3) (n 4)
135
(1)n
(x 1)n5 ,
n+1
(1)5
= 20.
5+1
f (x) =
X
f (k) (xo )
k!
k=0
(x x0 )k ,
(3.18)
siendo f la funcin inducida por una serie de potencias, definida en su disco de convergencia. El
lado derecho de la expresin (3.18) se conoce como la serie de Taylor de la funcin f de clase C
alrededor de x0 y queda en el aire la pregunta de cundo la serie de Taylor de una funcin de
clase C converge a la funcin f ?.
Como aplicacin del Teorema 3.6.3 se tiene el siguiente ejemplo, en donde, por derivacin se
pueden obtener series de potencias a partir de una conocida.
Ejemplo 3.6.3 Sabemos que para |x| < 1 se cumple
1 + x + x2 + . . . =
xn =
n=0
1
,
1x
luego, en virtud del Teorema 3.6.3, podemos derivar trminos a trminos para obtener que
2
1 + 2x + 3x + x + . . . =
n
X
n1
nx
n=1
d
=
dx
1
1x
1
(1 x)
y tal representacin es vlida para |x| < 1. Debido a que nuevamente se tiene una serie de
potencias, se puede aplicar nuevamente el Teorema 3.6.3 para obtener
2 + 6x + 12x2 + . . . =
n=2
n (n 1) xn2 =
2
(1 x)3
la cual es vlida en el disco |x| < 1. Por ejemplo, sustituyendo x = 12 , se obtiene la identidad
+
X
k (k 1)
k=2
2k2
k2
1
2
=
k (k 1)
=
3 = 16.
2
1 12
k=2
+
X
Ahora, daremos un ejemplo, donde se muestra como construir, series de potencias por integracin trmino a trmino de una serie de potencias conocida.
136
X
1
(1)n xn .
=
1 + x n=0
Luego, como aplicacin del Teorema 3.6.3, podemos integrar trmino a trmino para obtener que
Z
x
0
+
X
1
(1)n n+1
1
1
1
ds =
x
= x x2 + x3 x4 + . . . ,
1+s
n
+
1
2
3
4
n=0
y tal representacin es vlida en el intervalo |x| < 1; as, hemos arrivado a la identidad
1
1
1
ln (1 + x) = x x2 + x3 x4 + . . . ,
2
3
4
(3.19)
la cual es valida para |x| < 1. Adems, como, por integracin por parte, se tiene que
Z
x
0
ln (1 + s) ds = (x + 1) ln (1 + x) 1 x,
se puede usar nuevamente el Teorema 3.6.3, en la serie de potencias (3.19), para obtener la relacin
Z
(x + 1) ln (1 + x) x =
ln (1 + s) ds
+
xX
(1)n n+1
s
ds
0 n=0 n + 1
Z
+
X
(1)n x n+1
=
s
ds
n+1 0
n=0
=
+
X
(1)n xn+2
(n + 1) (n + 2)
n=0
x2 x3 x4
+
...,
2
6
12
=
la cual tambin es valida en el intervalo |x| < 1.
Ejemplo 3.6.5 Para hallar una serie de potencias de que sea igual a la funcin arctan (x) con x
en algn entorno del origen, recordamos que
arctan (x) =
ds
,
1 + s2
X
1
n
=
(1) s2n ,
1 + s2
0
n= 0
137
valida para |s| < 1. Por tanto, usando el Teorema 3.6.3, se concluye que
Z x
ds
arctan (x) =
2
0 1+s
Z xX
+
=
(1)n s2n ds
0
n=0
+
X
(1)
n=0
+
X
s2n ds
0
(1) 2n+1
x
2n + 1
n=0
1
1
1
= x x3 + x5 x7 + . . . ,
3
5
7
la cual es valida en el intervalo |x| < 1.
Finalizamos esta subseccin con un resultado importante que nos permite calcular el valor de
series numricas a travs del lmite de series de potencias. Este viene a completar el Teorema
3.6.2, que establece que la funcin inducida por una serie de potencias es continua en el disco de
convergencia.
Teorema 3.6.4 (del lmite de Abel) Supongamos que
f (x) =
+
X
an xn
n=0
n=0
an rn = lim f (x) .
xr
+
X
an
n=0
x1
Multiplicando se obtiene
1
f (x) =
1x
=
+
X
n=0
+
X
! +
X
n=0
cn xn ,
n=0
n
X
k=0
138
an .
an x
Luego,
f (x) = (1 x)
y por tal motivo,
f (x) f (1) = (1 x)
= (1 x)
+
X
n=0
+
X
n=0
+
X
cn xn
n=0
cn xn f (1) (1 x)
n
X
xn
(3.20)
n=0
{cn f (1)} xn ,
+
X
P+
n=0
ak = f (1) ;
k=0
es decir,
lim cn = f (1) .
{cn f (1)} xn
|f (x) f (1)| = (1 x)
n=0
|1 x|
= |1 x|
|1 x|
+
X
n=0
nX
0 1
n=0
nX
0 1
n=0
|1 x| no M +
2
+
X
n=n0
+
X
n
|x|
|1 x|
2
n=n
0
donde en la penltima desigualdad hemos usado que |x| < 1; y en la ltima, estamos suponiendo
P
n
que x 0, y por tal motivo, |1 x| +
n=n0 |x| 1. Finalmente, seleccionando
=
,
2no M
no M + = .
2no M
2
139
x1
converge a la funcin f (x) = ln (1 x), para todo |x| < 1. Adems, por el criterio de la serie
alternada, se sabe que la serie armnica alternada, que se obtiene cambiando x por 1 en la
expresin anterior
+
n+1
X
(1)
.
n+1
n=0
Entonces por el Teorema lmite de Abel (Teorema 3.6.4), se puede concluir que el valor de esta
serie es f (1) = ln (2); esto es,
+
X
(1)n+1
= ln (2)
n+1
n=0
3.6.1
A continuacin veremos que podemos realizar operaciones algebracas con las series de potencias,
la demostracin del prximo resultado sigue los mismos argumentos que el de la suma y producto
de series numricas.y por tal motivo, se deja de ejercicio al lector.
P
n
Teorema 3.6.5 Supongamos que la serie de potencias +
converge a la funcin
n=0 an (x xo )
P+
n
f (x) en el disco de convergencia D (x0 , r1 ) y que la serie de potencias n=0 bn (x xo ) converge
a la funcin g (x) en el disco de convergencia D (x0 , r2 ), entonces
P+
n
1. La serie de potencias
converge a la funcin f (x) + g (x) para
n=0 (an + bn ) (x xo )
x D (x0 , r), donde r = min {r1 , r2 }.
2. Para n = 0, 1, 2, ..., sea
cn =
n
X
ak bnk ,
k=0
P+
n
entonces la serie de potencias n=0 cn (x xo ) converge a la funcin f (x) g (x) para x
D (x0 , r), donde r = min {r1 , r2 }.
140
1
,
2n
bn = 1,
1
an+1
n+1 1
= lim 21 = ,
lim
n an
n
2
2n
+ n
X
x
2n
n=1
+ n
X
x
n=0
1
1
2 2x
2x
= 2
=
x
2
+
X
xn
n=0
1
.
1x
= f (x) + g (x) = 2
+ n
X
x
n=0
+
X
1
1 n xn
= 2+
2
n=0
+
X 2n 1
xn ,
= 2+
n
2
n=0
+ n
X
2 1
n=0
2n
xn
=
=
141
2 2x
1
+
2
2x
1x
x
.
(x 2) (x 1)
+
X
n=0
xn
Para hallar el producto de las series dadas, recordamos que f (x) g (x) =
a0 b0 = (1) (1) = 1 y para n 1
cn
n
X
P+
n
n=0 cn x
donde c0 =
ak bnk
k=0
= 1
k=1
n1
X
1
2
1
j
2
j=0
n !
1 1 12
= 1
2
1 12
n
1
1
=
= n.
2
2
= 1
Entonces
n
X
1
2k
+ n
X
2 2x
x
1
= f (x) g (x) =
2x 1x
2n
n=0
y tal representacin es valida para |x| < 1. Aunque la serie de potencias resultante tenga radio de
convergencia r3 = 2.
El ejemplo anterior nos da una idea de como hallar la serie de potencias de funciones racionales
tal como lo ilustramos a continuacin.
Ejemplo 3.6.8 Halle una serie de potencias alrededor de x0 = 0, cuya suma sea la funcin
3x + 1
.
f (x) =
4 x2
Establezca el dominio de validez de tal representacin.
Solucin.
Resolveremos este ejemplo de dos formas; en ambas, nos apoyaremos en la serie
geomtrica: En primer lugar, escribimos
3x + 1
1
f (x) =
,
4 1 x 2
2
X
X
x
x2n
1
=
=
;
x 2
2
22n
1 2
n=0
n=0
expresin que es valida siempre que x2 < 1. Luego, sustituyendo, se obtiene
f (x) =
3x + 1 X x2n
4 n=0 22n
= (3x + 1)
=
=
X
x2n
22n+2
n=0
X
3x2n+1 X x2n
+
22n+2
22n+2
n=0
n=0
an xn ;
n=0
142
f (x) =
=
de donde se tiene el sistema
cuya solucin es A =
7
4
A B = 3,
2A + 2B = 1;
y B = 54 . As,
f (x) =
=
7
4
5
4
2x 2+x
7 1
5
1
x;
x
81 2
8 1 2
7 X x n 5 X x n
8 n=0 2
8 n=0
2
n
X
5 (1)
7
=
n+3
xn ,
n+3
2
2
n=0
f (x) =
expresin que es valida, en virtud del dominio de convergencia de la serie geomtrica, siempre que
x
< 1 y x < 1; es decir, siempre que |x| < 2. Observe que de esta forma, tenemos una
2
2
expresin ms clara para el trmino general an ; de hecho, se tiene que
5 (1)n
,
2n+3
2n+3
donde n N {0}. Compare con lo que se haba obtenido anteriormente.
an =
A continuacin mostramos como a partir de una serie de potencias conocida se puede hallar la
serie de potencias de la misma funcin alrededor de otro elemento del disco de convergencia. Ms
formalmente.
P+
n
Teorema 3.6.6 Sea f : D (xo ; R) R la funcin inducida por la serie de potencias n=0 an (x xo ) ;
es decir,
+
X
n
f (x) =
an (x xo ) ,
x D (xo ; R) ,
n=0
siendo R > 0 el radio de convergencia. Si b D (xo ; R); entonces existe R1 > 0 tal que
f (x) =
+
X
n=0
An (x b)n
143
donde |x b| < R1 y
+
X
j
An =
j=n
aj (b xo )
Jn
Demostracin. En efecto, usando la frmula del binomio de Newton (vase el Ejercicio 3.3),
se puede escribir
f (x) =
+
X
n=0
+
X
n=0
+
X
an (x xo )n
an (x b + b xo )
an
n=0
n
X
k=0
n
+
XX
n=0 k=0
(nk ) (x b) (b xo )
nk
Luego, como las series de potencias convergen absolutamente en su disco de convergencia, podemos,
en virtud del Teorema 2.5.4, cambiar el orden de los sumandos y escribir
f (x) =
" +
+ X
X
k=0
an (nk ) (b
n=k
xo )
nk
(x b)k ,
es decir,
f (x) =
+
X
k=0
Ak (x b) ,
(3.21)
donde
Ak =
+
X
j
k
j=k
aj (b xo )
jk
Ahora bien, como la serie de potencias para la funcin inducida f es valida en el disco D (xo ; R) y
b es un elemento del tal disco, entonces la serie de potencias de f alrededor de b ser valida en el
mayor disco D (b, R1 ) con centro en b que est totalmente contenido en D (xo ; R). En este caso, el
radio de convergencia es R1 = R |x b|. El teorema est demostrado.
1
1x
144
y tal representacin es valida para |x| < 1. Para hallar una serie de potencias alrededor de x = 12 ,
notamos que
1
1x
1 x 12 12
1
x
12
2
1
x1/2
1
1
2
1/2
=
=
=
+
1
1X n
r ,
=
1r
2 n=0
= 2
donde
r=
x 1/2
1/2
x 1 < 1 .
2 2
Luego, sin ms que sustituir, encontramos la identidad
1
1x
n
+
1 X (x (1/2))
2 n=0
1/2
n
+
X
1
=
2n1 x
,
2
n=0
Finalizamos esta seccin con la siguiente observacin. Derivando k la funcin inducida por una
serie de potencias, se tiene la formula
f (k) (x) =
+
X
n=k
n (n 1) . . . (n k + 1) an (x xo )
nk
f k (xo )
.
k!
Lo cual nos dice que la funcin incluida se puede escribir en la forma
ak =
f (x) =
+ (n)
X
f (xo )
n
(x xo ) .
n!
n=0
(3.22)
Luego, la escritura de la funcin inducida como serie de potencias alrededor de x0 es nica, pues si
f (x) =
+
X
n=0
bn (x xo )n ,
145
f k (xo )
= ak
k!
para cada k N. Adems, esta ltima expresin nos hace preguntarnos lo siguiente: Si una funcin f es de clase C , es decir, es infinitamente y continuamente diferenciable (en un subconjunto
abierto de R), entonces satisface la relacin (3.22)? La respuesta a esta ltima incertidumbre la
analizaremos en la prxima seccin.
bk =
3.7
Definicin 3.7.1 Sea f C en un intervalo abierto que contiene al punto c, la serie de potencias
+ (n)
X
f (c)
(x c)n
n!
n=0
(3.23)
+ (n)
X
f (c)
n
(x c) .
n!
n=0
2. Si c = 0, la serie
+ (n)
X
f (c) n
x
n!
n=0
Una primera inquietud que surge de la definicin de series de Taylor es la siguiente: Podemos
sustituir el simbolo v por el simbolo =?. La respuesta a esta incertidumbre es negativa tal como
se muestra con el siguiente ejemplo.
Ejemplo 3.7.1 Consideremos la funcin
f (x) =
0,
x = 0,
x12
, x=
6 0.
e
f (h) f (0)
e h2
f (0) = lim
= lim
= 0;
h0
h0 h
h
0
y en general, (vase el Ejercicio 3.12) para cualquier n N, se cumple que f (n) (0) = 0. Luego, la
serie de Taylor de la funcin dada, alrededor de x = 0, es
+ (n)
+
+
X
f (0) n X 0 n X
0 xn = 0;
x =
x =
n!
n!
n=0
n=0
n=0
es decir, la funcin nula. Por tanto, como claramente f no es la funcin nula, se puede concluir,
que en general
+ (n)
X
f (0) n
f (x) 6=
x .
n!
n=0
146
Del ejemplo anterior surge una nueva pregunta, cundo la serie de Taylor de una funcin
coincide con la funcin que la genera? Para responder esta ltima cuestin, recordemos que, en
virtud del teorema del valor medio, si f C en un intervalo abierto I que contiene a c, y x I
entonces podemos encontrar un xo , que depende de c y del x dado, tal que
f (x) =
n1
X
k=0
f (k) (xo )
f (k) (c)
(x c)k +
(x c)n .
k!
n!
Luego, la condicin necesaria y suficiente para que la serie de Taylor converga a f (x) es que
f n (xo )
(x c)n = 0;
n
n!
lim
pero como
An
= 0,
n n!
lim
para cada A R, entonces es suficiente que exista una constante M > 0 tal que
(n)
f (x) M n ,
Teorema 3.7.1 (de Taylor) Sea f C ((a, b)) y sea c (a, b). Supongamos adems que existe
un entorno Ic de c y una constante M > 0 (que puede depender de c) tal que
(n)
f (x) M n
para todo x Ic (a, b) y para todo n N. Entonces, para cada x Ic (a, b), se cumple
f (x) =
+ (n)
X
f (c)
n
(x c) .
n!
n=0
Ejemplo 3.7.2 Halle la serie de Taylor del alrededor de x = 0 de la funcin f (x) = sen (x).
Converge la serie de Taylor a la funcin dada?
Solucin. Hallamos, para n N {0}, el valor de f (n) (0). En este caso, se tiene:
f (0) = sen (0) = 0,
f 0 (x) = cos (x) = f 0 (0) = 1,
f 00 (x) = sen (x) = f 00 (0) = 0,
Luego, a partir de la 4ta derivada, vemos que se empiezan a repetir los valores; as, para hallar
f (n) (0), dividimos n por 4 y hallamos el resto r de esta divisin, entonces se tiene
f (n) (0) = f (r) (0) .
147
Por ejemplo, f (101) (0) = f (1) (0) = f 0 (0) = 1, pues 101 = 25 4 + 1. En conclusin, la serie de
Taylor de la funcin f (x) = sen (x) alrededor de x = 0 es
+ (n)
X
f (0) n
x
n!
n=0
= f (0) + f 0 (0) x +
1
1
1
1 11
1 3
x + x5 x7 + x9
x + ...
3!
5!
7!
9!
11!
+
X
(1)n 2n+1
.
=
x
(2n + 1)!
n=0
= x
f (x) = |sen (x)| o f (n) (x) = |cos (x)|; en todo caso, f (n) (x) 1 para todo x R. Lo cual
implica, en virtud del Teorema 3.7.1, que
sen (x) =
+
n
X
(1)
x2n+1
(2n
+
1)!
n=0
= x
1 3
1
1
1
x + x5 x7 + x9 + . . .
3!
5!
7!
9!
+
...
2
4!
6!
8!
+
n
X
(1) 2n
x ,
=
(2n)!
n=0
cos (x) = 1
y esta expresin es valida para todo x R. Tambin hemos establecidos las siguientes y tiles
identidades:
1
1x
+
X
n=0
+
X
xn = 1 + x + x2 + x3 + . . . ,
n1
(1)
n
n=1
ln (1 + x) =
1
1
1
1
xn = x x2 + x3 x4 + x5 . . . ,
2
3
4
5
ambas son vlida para |x| < 1. Otras series de potencias que se utilizan frecuentemente son la serie
de la funcin exponencial
+ n
X
x
x2
x3
x4
e =
=1+x+
+
+
+ ...,
n!
2!
3!
4!
n=0
x
la cual es valida para todo x R (vase el Ejercicio 3.13) y, para a R fijo, la serie binmica
(1 + x)a =
+
X
a n
a (a 1) 2 a (a 1) (a 2) 3
x = 1 + ax +
x +
x + ...,
n
2!
3!
n=0
148
con n N.
Finalizamos esta seccin enunciando y demostrando una versin del clebre Teorema de StoneWeiestrass el cual establece que el conjunto de los polinomios son densos en el espacio de las
funciones continuas. Ms precisamente.
Teorema 3.7.2 (Stone-Weiestrass) Sean f : [0, 1] R continua y > 0. Entonces existe un
polinomio p (x) tal que
kf pk = sup {|f (x) p (x)|} < .
x[0,1]
luego, derivando esta expresin con respecto a x y multiplicando por x, se obtiene la relacin
nx (x + y)n1 =
n
X
n k nk
k
x y
.
k
(3.25)
k=0
n
X
k=0
k (k 1)
n k nk
x y
.
k
rk (x) = 1,
k=0
n
X
k=0
n
X
k=0
k (k 1) rk (x) = n (n 1) x2 .
149
n k
nk
k x (1 x)
(3.26)
k=0
(k nx) rk (x) = n2 x2
n
X
k=0
rk (x) 2nx
n
X
krk (x) +
k=0
k2 rk (x)
(3.27)
k=0
= n2 x2 2nx.nx + nx + n (n 1) x
= nx (1 x) .
n
X
Ahora bien, como la funcin f es continua sobre el compacto [0, 1], entonces es acotada y es
uniformemente continua en ese mismo intervalo. As, existe M > 0 tal que
|f (x)| M
para todo x [0, 1]. Tambin, dado > 0, existe > 0 tal que
|x y| < |f (x) f (y)| < .
Por tanto, para cualquier x [0, 1] se tiene
|f (x) pn (x)| =
=
X
k
f
rk (x)
f (x)
n
n k=0
f (x) f
rk (x)
n
k=0
n
X
f (x) f k rk (x)
n
k=0
X
X
f (x) f k rk (x) +
f (x) f k rk (x)
n
n
kA
kB
= S1 + S2 ,
x <
n
f (x) f k rk (x)
kA
n
X
rk (x) = .
k=0
150
Mientras que en la segunda suma podemos usar el hecho que la funcin f es acotada para obtener
X
k
S2 =
f (x) f n rk (x)
kB
X
2M
rk (x)
kB
2M X
(k nx)2 rk (x)
n2 2 kB
n
2M X
(k nx)2 rk (x) ,
n2 2 k=0
donde hemos usado que |k nx| n para todo k B. As que usando la identidad (3.27) se
obtiene que
2M x (1 x)
M
S2
2 ,
n 2
2 n
pues como x [0, 1], se cumple x (1 x) 14 .
Hemos establecido entonces que para cada > 0, existe > 0 tal que
|f (x) pn (x)| < +
para todo x [0, 1]. As que para cualquier n
M
2 2
M
2 2 n
se cumple
x[0,1]
3.8
En esta seccin damos algunos ejemplos que muestran como se puede aplicar las series de potencias
para resolver algunos problemas matemticos.
3.8.1
Supongamos que queremos encontrar una solucin del problema de valores iniciales
( 2
d y
dy
dt2 2t dt y = 0,
y (0) = 1, y 0 (0) = 0.
(3.28)
+
X
an tn .
n=0
Debemos hallar los valores de los coeficientes an , donde n = 0, 1, 2, .... Entonces, podemos observar
que
+
X
dy
nan tn1
= a1 + 2a2 t + 3a3 t2 + . . . =
dt
n=1
151
y que
+
X
d2 y
=
2a
+
6a
t
+
.
.
.
=
n (n 1) an tn2 .
2
3
dt2
n=2
d2 y
dy
2t
y
2
dt
dt
+
+
+
X
X
X
n (n 1) an tn2 2t
nan tn1 2
an tn
n=2
+
X
n=2
+
X
k=0
+
X
k=0
n=1
n (n 1) an tn2 2
+
X
n=0
n=0
nan tn 2
(k + 2) (k + 1) ak+2 tk 2
+
X
k=0
+
X
an tn
n=0
kak tk 2
+
X
ak tk
k=0
2 (k + 1) ak
2ak
=
;
(k + 2) (k + 1)
k+2
a4
2a0
= a0 = 1,
2
2a2
a2
2a0
2
=
=
= ;
6
3
32
3!
a2k =
2a0
2
= .
k!
k!
3.8.2
+
X
2
2t2n
= 2et .
n!
n=0
Claramente esta es una sucesin creciente de trminos positivos que diverge a . Estamos interesado en halar una expresin para el trmino general de esta sucesin. Con este fin, consideramos
la serie de potencias alrededor de x0 = 0, cuyo coeficientes sean los generados por la sucesin de
Fibonacci; es decir,
f (x) =
an xn .
(3.29)
n=0
f (x) = a0 + a1 x +
= a0 + a1 x +
n=2
an xn
(an1 + an2 ) xn
n=2
= a0 + a1 x + x
an1 xn1 + x2
n=2
= 1 + x + x {f (x) 1} + x2 f (x) ;
an2 xn2
n=2
1
.
x2 + x 1
La idea ser ahora hallar una serie de potencias de la funcin encontrada, alrededor de x0 = 0; y al
comparar con la serie (3.29) obtendremos, por unicidad, la expresin general de la sucesin dada.
Utilizando fracciones parciales, escribimos
f (x) =
x2
1
A
B
=
+
,
+x1
x x
5
1
=
,
5
1
=
.
5
153
(3.30)
1
1
5
f (x) =
5
x x
1
5
1
=
x
5
1
x
1
!
1 X xn
5 1 X xn
+
=
5
n=0 n n=0 n
X
1
5 n
1
x .
=
n+1
n+1
n=0
(3.31)
De (3.29) y (3.31) se concluye que la expresin para el trmino general de la sucesin de Fibonacci
es
1
1
5
an =
.
n+1 n+1
5
3.8.3
Ilustramos a continaucin, como podemos usar las series de potencias para hallar aproximaciones de
integrales definidas de fuciones que no admiten antidervidas en trminos de funciones elementales.
Ms precisamente, supongamos que queremos hallar una aproximacin de la integral
Z 1
2
et dt,
0
situacin que puede ocurrir si se est estudiando un problema de probabilidad y con la distribucin
2
normal estandar. En este caso, consideramos la funcin f (t) = et , entonces por el Teorema de
Taylor, se tiene que
2n
X
n t
f (t) =
(1)
.
n!
n=0
Luego, por la convergencia uniforme de esta serie en el dominio de integracin, podemos ver que
Z 1X
Z 1
2n
2
n t
et dt =
(1)
dt
n!
0
0 n=0
n Z 1
X
(1)
t2n dt
=
n!
0
n=0
=
(1)
,
(2n + 1) n!
n=0
as el valor buscado se corresponde con la suma de una serie alternada que es convergente. Por
ejemplo, del Teorema de Leibnitz, se puede ver que si quiere una aproximacin de esta integral con
un error menor que 102 , entonces resolvemos la desiguladad
1
< 102 ,
(2n + 3) (n + 1)!
el cual se satisface a partir de n = 3. Por tanto, la aproximacin buscada es
Z 1
2
1
1
1
et dt 1 +
= 0.742 86.
3 10 42
0
154
3.9
Ejercicios
a, b R}.
Pn
k=0
kpk1 =
ak xk ,
n
X
k=0
|ak | .
u f en D y gn
u g en D. Demostrar que
2. Supongamos que fn
u f + g en D
(a) fn + gn
u f R
(b) fn
u f g en D.
(c) Si {fn } y {gn } son acotadas fn gn
3. Demuestre, por induccin, la frmula del binomio; es decir, demuestre que para cada a, b R
y n N, se cumple
n
X
n k nk
n
(a + b) =
,
a b
k
k=0
n!
.
donde nk = k!(nk)!
4. Consideremos el espacio de las funciones continuas C [a, b]. Demuestre que en este espacio,
la norma kk1 no es equivalente con kk .
5. Consideremos, para n N y 0 < x < 1, las funciones
fn (x) =
1
.
nx + 1
gn (x) =
1
.
1 + n2 x2
fn (x) dx =
0
0 n
x
.
1 + nx2
1
2x+3 .
P
n
11. Supongamos que la serie de potencias +
n=0 an (x xo ) converge a la funcin f (x) en el
P
n
disco de convergencia D (x0 , r1 ) y que la serie de potencias +
converge a la
n=0 bn (x xo )
funcin g (x) en el disco de convergencia D (x0 , r2 ). Demuestre que
P+
n
(a) La serie de potencias n=0 (an + bn ) (x xo ) converge a la funcin f (x) + g (x) para
x D (x0 , r), donde r = min {r1 , r2 }.
(b) Para n = 0, 1, 2, ..., sea
cn =
n
X
ak bnk ,
k=0
P
n
entonces la serie de potencias +
n=0 cn (x xo ) converge a la funcin f (x) g (x) para
x D (x0 , r), donde r = min {r1 , r2 }.
156
0,
x = 0,
1
6 0.
e x2 , x =
+ n
X
x
x2 x3 x4
=1+x+
+
+
+ ...,
n!
2!
3!
4!
n=0
(1 + x) =
+
X
a
n=0
xn = 1 + ax +
a (a 1) 2 a (a 1) (a 2) 3
x +
x + ...,
2!
3!
f) f6 (x) = 4 + x,
x+1
i) f9 (x) = x2 +5x+6
.
17. Utilice series de potencias para hallar el trmino general de las siguientes sucesiones:
(a) an+2 = an + 2an+1 , a0 = 1, a1 = 3.
(b) an+2 = 2an 3an+1 , a0 = 1, a1 = 2.
(c) an+2 = 5an + 7an+1 , a0 = 2, a1 = 1.
18. Utilice series de potencias para resolver las siguientes ecuaciones diferenciales:
(a) ty 0 (t) t2 y (t) + 5 = 0, y (0) = 1,
(b) t2 y 00 (t) + ty 0 (t) + y (t) = 0, y (0) = a0 y y 0 (0) = a1 ,
157
158
Captulo 4
4.1
En esta seccin estudiamos un subespacio importante del espacio de las funciones reales acotadas.
Consideremos [a, b] un intervalo cerrado, entonces se tiene la siguiente definicin.
Definicin 4.1.1 Una particin P de [a, b] no es ms que un subconjunto finito y ordenado
P = {xo , x1 , x2 , . . . , xn1 , xn } de [a, b] tal que
a = xo < x1 < x2 < . . . < xn1 < xn = b.
Con la nocin de particin ya dada, a continuacin, se define la variacin total de una funcin
real.
Definicin 4.1.2 Dada una funcin real f definida en el intervalo [a, b] y una particin P =
{xo , x1 , x2 , . . . , xn1 , xn }, la variacin VP (f ) se define por la expresin
VP (f ) =
n
X
k=1
|f (xk ) f (xk1 )| .
159
Ejemplo 4.1.1 Si consideramos la funcin f (x) = x2 definida en el intervalo [1, 3], entonces
3
3
5
+ f (3) f 5
VP2 (f ) = f
f (1) + f (2) f
+
f
f
(2)
2
2
2
2
9
9 25
25
= 1 + 4 + 4 + 9 = 8.
4
4
4
4
Definicin 4.1.3 Una funcin f definida en el intervalo [a, b] se dice que es de variacin acotada sobre [a, b], si existe un nmero positivo M tal que
VP (f ) =
n
X
k=1
Vab
(f ) := sup VP (f ) = sup
P
n
X
k=1
donde el supremo se toma sobre todas las particiones P de [a, b], se le llama la Variacin
Total de f en [a, b].
Con esta notacin, una funcin f es de variacin acotada en [a, b] si y slo s Vab (f ) < +.
Al conjunto de las funciones que son de variacin acotada sobre [a, b] se denota por BV [a, b],
es decir,
Veamos que cualquier funcin constante, f (x) = c para todo x [a, b], es de variacion acotada
en [a, b]. En efecto, sea P = {xo , x1 , . . . , xn } una participacin cualquiera de [a, b] entonces
VP (f ) =
n
X
k=1
|f (xk ) f (xk1 )| =
n
X
k=1
|c c| = 0.
Lo que implica que Vab (c) = 0 < +. As, las funciones constantes son de variaciones acotada en
[a, b]. Ms generalmente, se tiene el siguiente resultado.
Teorema 4.1.1 Si f es una funcin montona en [a, b], entonces es de variacion acotada en [a, b].
Adems,
Vab (f ) = |f (b) f (a)| .
160
n
X
k=1
n
X
k=1
|f (xk ) f (xk1 )|
(f (xk ) f (xk1 ))
k=1
Ejemplo 4.1.2 La funcin f (x) = sen (x) es de variacin acotada en 2 , 2 pues es creciente
en 2 , 2 . Adems,
Otros ejemplos de funciones de variacin acotada se puede obtener a travs del siguiente resultado.
Teorema 4.1.2 Si f
para todo x (a, b). Sea P = {xo , x1 , . . . , xn } una particin de [a, b] y consideremos la variacin
con respecto a esta participacin
VP (f ) =
n
X
k=1
|f (xk ) f (xk1 )| .
Entonces, como f es diferenciable en (a, b), en particular es diferenciable en cada intervalo (xk1 , xk );
as que por el Teorema del Valor Intermedio, existe un ck (xk1 , xk ) tal que
|f (xk ) f (xk1 )| = |f 0 (ck )| |xk xk1 | M (xk xk1 ) .
Por tal motivo, se obtiene que
VP (f ) =
n
X
k=1
|f (xk ) f (xk1 )| M
161
n
X
k=1
(xk xk1 ) = M (b a) ,
donde hemos usado que la ltima suma es telescpica. Esto significa que M (b a) es cota superior
del conjunto de las variaciones de la funcin f y por tanto, por definicin de supremo, se debe
tener que
)
( n
X
b
Va (f ) = sup Vp (f ) = sup
|f (xk ) f (xk1 )| M (b a) .
p
k=1
En el siguiente ejemplo veremos que existen funciones acotadas y continuas en un intervalo que
no son de variacin acotada en ese intervalo.
Ejemplo 4.1.5 Consideremos la funcin
(
xsen (1/x) , 0 < x 2/,
f (x) =
0,
x = 0.
Entonces como
lim xsen (1/x) = 0
x0+
y la funcin sen (1/x) es acotada en (0, 2/], es claro que la funcin dada en continua y acotada
en [0, 2/]. Vamos a probar que f no es de variacin acotada en [0, 2/]. Supongamos que si,
entonces existe M > 0 tal que
VP (f ) =
n
X
k=1
|f (xk ) f (xk1 )| M
2
2
2
2 2
Pn = 0,
,
,
,..., ,
.
(2n + 1) 2n (2n 1)
2
Entonces la variacinn con respecto a esta particin viene dada por
VPn (f ) =
2n+1
X
k=1
|f (xk ) f (xk1 )|
2
2
(2n + 1)
2
f (x1 ) = f
=
sen
=
(1) ,
(2n + 1)
(2n + 1)
2
(2n + 1)
de donde
|f (x1 ) f (xo )| =
163
2
.
(2n + 1)
Similarmente, f (x2 ) =
tambin f (x3 ) = f
2
2n
2
(2n1)
2
2n sen
2
2n
= 0, y
|f (x2 ) f (x1 )| =
sen (2n 1) 2 =
2
;
(2n + 1)
2
(2n1)
|f (x3 ) f (x2 )| =
(1) y
2
.
(2n 1)
Por tanto
VPn (f ) =
2n+2
X
k=1
=
=
|f (xk ) f (xk1 )|
2
2
2
2
2
+
+ ... +
+
+
3
(2n 1) (2n + 1) (2n + 1)
n+1
2X 1
2
+
2k 1 (2n + 1)
2
k=1
n+1
X
k=1
1
.
2k 1
As, la variacin de f con respecto a la particin Pn mayora a una suma parcial de una serie
numrica que es comparable con la serie armnica. Luego, como la serie armnica no es convergente, resulta que esta sucesin de variaciones VPn (f ) diverge a cuando n . Por tanto, la
funcin dada no es de variacin acotada en [0, 2/].
Del ejemplo anterior, se pudo establecer que no toda funcin continua en un intervalo es de
variacin acotada. En el siguiente ejemplo, veremos que existen funciones de variacin acotadas
en un intervalo que no son continuas en ese intervalo.
Ejemplo 4.1.6 Consideremos la funcin f : [1, 1] R,
1,
f (x) = sign (x) =
0,
1,
definida por
x < 0,
x = 0,
x > 0.
Entonces, claramente esta funcin no es continua en [1, 1]; pero resulta que esta funcin es
montona creciente en [1, 1]. Por tanto, es de variacin acotada en [1, 1] y
1
V1
(sign (x)) = sign (1) sign (1) = 2.
164
Finalizamos esta seccin estableciendo que el conjunto de las funciones de variacin acotadas
en un intervalo [a, b] resulta un sublgebra del espacio de las funciones reales y acotadas en el
intervalo [a, b].
Teorema 4.1.4 BV [a, b] es un sublgebra de BR ([a, b]). Es decir, si f, g BV [a, b] y R
entonces:
1. f BV [a, b] ,
2. f + g BV [a, b] ,
3. f g BV [a, b] .
Demostracin. Sean f, g BV [a, b], R y P = {xo , x1 , . . . , xn } una particin cualquiera
de [a, b]. Entonces se tiene lo siguiente:
1. Dado que
n
X
k=1
n
X
k=1
|f (xk ) f (xk1 )| ,
entonces, usando la propiedad del supremo que establece que sup (|| A) = || sup (A) para cualquier
subconjunto A de R, se tiene que
Vab (f ) = || Vab (f )
y por tanto, f BV [a, b].
2. Por la desigualdad triangular, es claro que
VP (f + g) =
n
X
k=1
n
X
k=1
Vab (f )
+ Vab (g) ,
n
X
k=1
|g (xk ) g (xk1 )|
|g (x)| M2
165
n
X
k=1
n
X
k=1
n
X
k=1
n
X
k=1
n
X
k=1
M1
|g (xk ) g (xk1 )| + M2
k=1
M1 Vab (g)
+ M2 Vab (f ) ,
n
X
k=1
n
X
k=1
donde en la penltima desigualdad hemos usados que las funciones f y g son acotadas, y hemos
usado la definicin de la variacin total en la ltima desigualdad. De aqu entonces es claro concluir
que
Vab (f g) M1 Vab (g) + M2 Vab (f )
y por lo tanto f g BV [a, b]. La prueba del teorema esta completa.
Ilustramos como usar este resultado con los siguientes ejemplos.
Ejemplo 4.1.7 Establezca si la funcin P (x) = 3x3 2x2 + 7 es de variacion acotada en [1, 2].
Solucin. Ya sabemos que las funciones constantes y las montonas son de variacin acotadas
en cualquier intervalo, as que las funciones f1 (x) = 7 y f2 (x) = x son de variacin acotadas en
[1, 2]; luego, por el teorema anterior, la funcin f3 (x) = f2 (x) f2 (x) = x2 , y en general las
funciones fn+1 (x) = xn es de variacin acotada en [1, 2]. Por tanto, aplicando nuevamente el
teorema anterior, la funcin
P (x) = 3f4 (x) 2f3 (x) + 7
es de variacin acotada en [1, 2].
Ejemplo 4.1.8 Establezca si la funcin f (x) =
Solucin. En este caso, observamos que la funcin f1 (x) = x es de variacin acotada en [0, ]
pues es montona creciente. Lo mismo ocurre con f2 (x) = sen3 (x) pues tiene derivada acotada
en (0, ). Por tanto, el teorema anterior implica que f (x) = x + sen3 (x) es de variacin acotada
en [0, ].
166
4.2
Del ltimo teorema de la seccin anterior y de los dos ejemplos que le siguen, hemos podido ver un
mtodo para establecer cundo una funcin real es de variacin acotada en un intervalo sin tener
que acotar la variacin total de estas funciones. En esta seccin desarrollaremos un mtodo para
calcular la variacin total de funciones reales de variacin acotada en un intervalo. La clave del
mtodo que presentamos reposa en el siguiente resultado.
Teorema 4.2.1 Sea f BV [a, b] y c (a, b). Entonces f BV [a, c] BV [c, b]; adems
Vab (f ) = Vac (f ) + Vcb (f ) .
(4.1)
Demostracin. Supongamos que f BV [a, b] y sea c (a, b). Entonces, dado > 0, por
definicion de supremo, existe una particin P = {x0 , x1 , . . . , xn } de [a, b] tal que
Vab
(f )
n
X
k=1
(4.2)
Como c (a, b), existe k0 {1, 2, ..., n 1} tal que xk0 c < xk0 +1 . Tenemos dos casos: c P o
c
/ P , en estos dos casos, se puede formar una nueva particin Pe agregndole el punto c. Luego,
el conjunto
P1 = {xo , x1 , . . . , xk0 , c}
k0
n
X
X
Vab (f )
|f (xj ) f (xj1 )| + |f (c) f (xk0 )| + |f (xk0 +1 ) f (c)| +
|f (xj ) f (xj1 )|
j=1
Vac
(f ) +
j=k0 +2
Vcb
(f )
Ejemplo 4.2.1 Consideremos la funcin f (x) = sen (x) con 0 x 2. Halle V02 (f ) y diga
si f BV [0, 2] .
Solucin. Hacemos un estudio del crecimiento de la funcin dada. En este caso, su grafica es
1.0
0.8
0.6
0.4
0.2
0.0
1
-0.2
-0.4
-0.6
-0.8
-1.0
3/2
2
(sen (x)) + V/2 sen (x) + V3/2
(x)
= |sen (/2) sen (0)| + |sen (3/2) sen (2)| + |sen (2) sen (3/2)|
= 1 + 2 + 1 = 4,
donde hemos usado que la funcin f (x) = sen (x) es montona en los intervalos [0, /2], [/2, 3/2]
y [3/2, 2]. Claramente de lo anterior se tiene que f BV [0, 2].
Finalizamos esta seccin estableciendo una caracterizacin de las funciones de variacion acotada.
Teorema 4.2.2 Una funcin f BV [a, b] si y slo si existen dos funciones montonas crecientes
g y h tal que f = g h.
Demostracin. Supongamos primero que existen dos funciones montonas crecientes g y h
tal que f = g h. Entonces como toda funcin montona es de variacin acotada y el conjunto
de las funciones de variacin acotada forma un espacio vectorial, queda claro que la diferencia
f = g h BV [a, b].
Supongamos ahora que f BV [a, b], para x [a, b] definimos la funcin
(
0,
x = a,
g (x) =
Vax (f ) , x (a, b].
Afirmamos que g es una funcin montona creciente en [a, b]. En efecto, sean a x1 < x2 b,
entonces dado que g (a) = 0 Vax (f ) para todo x (a, b], podemos supner que x1 > a; as
g (x2 ) g (x1 ) = Vax2 (f ) Vax1 (f ) = Vxx12 (f ) 0,
168
donde hemos usado el Teorema 4.2.1 y la definicion de variacion total; de aqu se obtiene que
g (x1 ) g (x2 )
y la funcin g es creciente en [a, b].
Definimos ahora la funcin h : [a, b] R por
h (x) = g (x) f (x) .
Vamos a mostrar que la funcin h es montoma creciente en [a, b]. En efecto, si a < x1 < x2 b,
entonces
h (x2 ) h (x1 ) = (g (x2 ) f (x2 )) (g (x1 ) f (x1 ))
= g (x2 ) g (x1 ) (f (x2 ) f (x1 ))
= Vxx12 (f ) (f (x2 ) f (x1 )) 0
Pues f (x2 ) f (x1 ) |f (x2 ) f (x1 )| Vxx12 (f ) (Porqu?). Luego, la funcin h es creciente en
[a, b] y la prueba del teorema est completa.
4.3
En esta seccin dotaremos al espacio de las funciones de variacin acotada de una norma que
lo convierta en un espacio de Banach. Ya hemos establecido en los Teoremas 4.1.3 y 4.1.4, que
BV [a, b] es un subespacio de BR ([a, b]) el cual es un espacio de Banach (vase el Teorema 3.1.4)
con la norma del supremo
kf k = sup {|f (x)|} .
x[a,b]
Esto implica automticamente que (BV [a, b] , kk ) constituye un espacio normado; sin embargo,
este espacio no es de Banach tal como se muestra a continuacin.
Teorema 4.3.1 (BV [a, b] , kk ) no es un espacio de Banach.
Demostracin. Solamente debemos construir una sucesin de Cauchy {fn } (BV [a, b] , kk )
cuyo lmite f no sea de variacin acotada en [a, b]. Con este fin, consideramos el intervalo [0, 2/],
ya hemos visto en el Ejemplo 4.1.5 que la funcin
(
0,
x = 0,
f (x) =
xsen (1/x) , 0 < x 2/.
no es de variacin acotada en [0, 2/]. La idea es construir una sucesin de funciones de variacin
acotada que converga uniformemente a la funcin dada. Con este fin, para n N, se define
(
1
,
0,
0 x n
fn (x) =
1
2
xsen (1/x) , n < x .
169
Adems, para cualesquier n N fijo, podemos observar que la funcin fn es de variacin acotada
1
1 2
en 0, n
, ya que su derivada es acotada
pues es constante; y fn es de variacin acotada en n
1 2
en el intervalo abierto n , (vase el Teorema 4.1.2); de hecho, se tiene que
|fn0 (x)| 1 + n
1 2
para todo x n
, : Luego, se puede concluir (vase el Ejercicio 4.5) que para cada n N la
2
funcin fn BV 0, .
Finalmente, para n > m, se tiene que
(
1 1 2
m , ,
0,
x 0, n
|fn (x) fm (x)| =
1
1
|xsen (1/x)| , n x m ,
y por tal motivo,
kfn fm k
sup
x[0,2/]
sup
1
1
n x m
|xsen (1/x)|
1
.
m
Esto claramente nos dice que la sucesin {fn } es de Cauchy en BV 0, 2 , kk ; pero que converge
a un elemento f
/ BV 0, 2 . Con lo cual BV 0, 2 , kk no es un espacio de Banach.
Del teorema anterior, nos planteamos el problema de definir una norma kkBV para que:
(BV [a, b] , kkBV ) sea un espacio de Banach. Con este fiin, observamos que en la demostracin del
Teorema 4.1.4 se ha podido establecer que si f, g BV [a, b] y R, entonces:
1. Vab (f ) = || Vab (f )
2. Vab (f + g) Vab (f ) + Vab (g)
Tambin por definicin de la variacin tota (supremo de nmeros no negativos) se cumple que
Vab (f ) 0;
pero no se tiene
Vab (f ) = 0 ; f = 0.
Pues por ejemplo Vab (ctte) = 0. De hecho se tiene que (vase el Ejercicio 4.1) que
Vab (f ) = 0 f ctte en [a, b] .
As, la relacin Vab () es una seminorma para el espacio BV [a, b]. Por tanto, la relacion
kf kBV := |f (a)| + Vab (f )
es una norma para BV [a, b] (vase el Ejercicio 4.2); de hecho, para c [a, b] fijo, la relacin
kf kc := |f (c)| + Vab (f )
es una norma para el espacio BV [a, b] (vase el Ejercicio 4.3).
170
fn u f
H
X
k=1
|f (xk ) f (xk1 )|
k=1
lim
n
b
H
X
k=1
lim M = M,
171
Con este fin, consideramos > 0 cualquiera, entonces como {fn } es una sucesin de Cauchy en
(BV [a, b] , kkBV ) existe no N tal que si n, m no entonces
kfn fm kBV <
As, si P = {xo , x1 , . . . , xH } es una particion cualquiera de [a, b] y n n0 , se tiene que
VP (fn f ) =
=
H
X
k=1
lim
lim
H
X
k=1
Vab (fn
fm )
por tanto, de la definicin de supremo (la menor de las cotas superiores), encontramos que
Vab (fn0 f ) < siempre que n no . Esto significa que
lim Vab (fn f ) = 0.
4.4
La integral de Riemann-Stieltjes
En este seccin vamos a generalizar el concepto de integral de Riemann que se estudi en un curso
elemental de Clculo. Queremos un nuevo concepto de integral que conserve propiedades similares
a las que ya se conoce:
Lineal
Si f g entonces integral (f ) integral (g)
Que se cumpla un teorema fundamental del clculo
Que toda funcin Riemann integrable sea integrable con la nueva definicin.
Con estas exigencias en mente, pasamos a describir la integral de Riemann-Stieltjes. Sea [a, b]
un intervalo cerrado y P = {xo , x1 , x2 , . . . , xn } una particin de [a, b] entonces, por la definicin,
ya sabemos que
a = xo < x1 < . . . < xn = b.
Sea una funcin creciente en [a, b] y f una funcin acotada en [a, b]. Para cada particin P de
[a, b], escribimos
i = (xi ) (xi1 ) 0,
donde i = 1, 2, 3, . . . , n; tambin necesitaremos las siguientes notaciones:
Mi
sup
x[xi1 ,xi ]
mi
inf
x[xi1 ,xi ]
172
{f (x)} ,
{f (x)} ,
L (P, f, ) =
n
X
j=1
n
X
Mi i ,
(4.3)
mi i ,
j=1
respectivamentes.
En primer lugar, observamos que i 0 pues es una funcin creciente, as, para cualquiera
particin P de [a, b] se cumple la desigualdad
L (P, f, ) U (P, f, ) .
Adems, como la funcin f es acotada en [a, b], entonces existen constantes m y M en R tal que
m f (x) M
para todo x [a, b]. Luego, para cualquiera particin P de [a, b] se tiene que
n
X
U (P, f, ) =
j=i
= m
Mi i m
n
X
j=1
n
X
j=i
{ (xi ) (xi1 )}
b
a
f d = inf {U (P, f, )} .
P
n
X
j=1
mi i
n
X
j=i
M i = M ( (b) (a))
f d = sup {L (P, f, )} .
P
Definicin 4.4.3 Se dice que una funcin f es Riemann-Stieltjes integrable en [a, b], denotado
por f R (); si
Z b
Z b
f d =
f d.
a
Rb
a
f d.
inf
m2
= m3 = 5 = M1 = M2 = M3
x[xo ,x1 ]
( n
X
i=1
4i
R: Si!. En efecto, sea P = {xo , x1 , . . . , xn } una particin cualquiera de [1, 3], entonces como la
funcin dada es constante, se tiene que
mi
Mi
inf
{f (x)} =
sup
{f (x)} = 5.
x[xi1 ,xi ]
x[xi1 ,xi ]
inf
x[xi1 ,xi ]
{5} = 5
L (P, f, ) =
mi i = 5
i=1
n
X
i = 5
i=1
n
X
i=1
{ (xi ) (xi1 )}
n
X
Mi i = 5
i=1
y por tanto
n
X
i=1
i = 5 { (b) (a)} = 10
De estas dos ltimas igualdades se concluye que la funcin constante f (x) = 5 R ([|x|]) en [1, 3]
y
Z 3
f (x) d [|x|] = 10.
1
f (x) d (x) 6=
175
f (x) d (x) .
En efecto, sea P = {xo , x1 , . . . , xn } una particion cualquiera de [0, 1] entonces como cada intervalo
contiene nmero racional, se tiene que
mi =
inf
{f (x)} = 0.
sup
{f (x)} = 1
x[xi1 ,xi ]
Similarmente,
Mi =
x[xi1 ,xi ]
pues en cada intervalo existen nmeros irracionales. Luego para cada particin P de [0, 1], se
cumple que
n
n
X
X
L (P, f, ) =
mi i =
0i = 0
i=1
i=1
U (P, f, ) =
Mi i =
i=1
y por tanto
i=1
1i = 1 ( (1) (0)) = 1 0 = 1
n
X
f (x) d (x) = 0 6= 1 =
f (x) d (x)
0
yf
/ R ().
De los ejemplos anteriores, es natural preguntarse, Cundo f R () en [a, b]?. Para responder
esta ltima pregunta, damos, en primer lugar, la siguiente definicin.
Definicin 4.4.4 Decimos que la particin P del intervalo [a, b] es ms fina que la particin P
si P P . Dada dos particiones P1 y P2 del intervalo [a, b], la particin P = P1 P2 de [a, b] se
le denomina particin ms fina comn.
Con esta definicin, se tiene el siguiente resultado.
Teorema 4.4.2 Si P es una particin de [a, b] ms fina que P , entonces
L (P, f, ) L (P , f, ) ,
es decir, las sumas inferiores crecen, y
U (P, f, ) U (P , f, )
y las sumas superiores decrecen.
176
w2
inf
xi1 xx
inf
x xxi
{f (x)} ,
{f (x)} ,
entonces por ser los intervalos [xi1 , x ] y [x , xi ] subconjuntos de [xi1 , xi ], se tiene que w1 mi
y w2 mi ; donde, como ya hemos definidos antes,
mi =
inf
xi1 xxi
{f (x)} .
Luego,
L (P, f, ) =
n
X
mk k
k=1
i1
X
k=1
mk k + mi 4i +
n
X
mk k
k=i+1
i1
X
k=1
n
X
mk k ;
k=i+1
(4.4)
Lo cual es cierto pues, como vimos antes, se tiene que w1 mi y w2 mi ; y dado que es
creciente y xi1 < x < xi , se cumple que
(xi1 ) (x ) (xi ) ;
lo cual implica que
(x ) (xi1 ) 0,
(xi ) (x ) 0.
177
As, todos los factores involucrados en la expresin (4.4) son no negativos tal como se quera.
En el caso general, si P tiene k puntos ms que P , repetimos el mismo razonamiento anterior k
veces. La demostracin para las sumas superiores es similar (vase el Ejercicio 4.15).
Con este resultado preliminar, podemos demostrar el siguiente aserto.
Teorema 4.4.3 Para cada funcin f acotada en [a, b] se cumple
Z
f d
f d.
es decir,
L (P1 , f, )
f d.
Luego, como la particin P1 de [a, b] es arbitraria, podemos usar la definicin de supremo (la menor
de las cotas superiores) para escribir que
sup {L (P1 , f, )}
P1
Esto es,
b
a
f d
f d.
f d.
luego, por definicin de supremo, podemos encontrar una particin P1 de [a, b] tal que
Z b
f d < L (P1 , f, ) + .
2
a
Similarmente, por definicin de infimo, existe una particin P2 de [a, b] tal que
Z b
f d > U (P2 , f, ) .
2
a
f d < L (P1 , f, ) + L (P , f, ) + ;
2
2
a
> U (P , f, ) .
2
2
a
Estas dos ltimas desigualdades y el hecho que que f R () en [a, b] , nos permite escribir la
relacin
Z b
Z b
f d =
f d < L (P , f, ) + ;
U (P , f, ) <
2
2
a
a
f d > U (P2 , f, )
+ = .
2 2
[=] Sea > 0 cualquiera, entonces, por la hiptesis, podemos encontrar una particin P de
[a, b] tal que
U (P , f, ) L (P , f, ) < .
U (P , f, ) L (P , f, ) <
Luego, por las definiciones de integral superior e inferior y el teorema anterior (Teorema 4.4.3), se
puede escribir
Z b
Z b
L (P , f, )
f d
f d U (P , f, ) ;
a
f d
f d U (P , f, ) L (P , f, ) <
Teorema 4.4.5 (Propiedades de la integral de Riemann-Stieltjes) Sea una funcin montona creciente definida en el intervalo cerrado [a, b]. Entonces se tiene las siguientes propiedades:
1. (Linealidad) Si f, g R () en [a, b] y k R, entonces kf, f + g R (). Adems
Z
kf d = k
f d,
a
b
(f + g) d =
f d +
gd.
f d =
f d +
f d.
f d
gd.
a
4. Si f R () entonces |f | R () y
Z
Z
b
f d
|f | d.
5. Si f R () en [a, b] y existe M > 0 tal que |f (x)| M para todo x [a, b], entonces
Z
f d M ( (b) (a))
6. Si f R (1 ) y f R (2 ), entonces f R (1 + 2 ). Adems,
Z
f d (1 + 2 ) =
f d1 +
f d (c) = c
f d2 .
f d.
.
k
Por otra parte, como k > 0, entonces, por propiedades del supremo, se tiene que
fi =
M
sup
x[xi1 ,xi ]
{kf (x)} = k
180
sup
x[xi1 ,xi ]
{f (x)} = kMi ,
(4.5)
n
X
i=1
fi 4i = kU (P, f, ) .
M
(4.6)
(4.7)
kf d =
= k
f d = k
f d.
Si k = 1, usamos la identidad
fi =
M
sup
x[xi1 ,xi ]
U (P, f, ) =
{f (x)} =
n
X
i=1
fi i =
M
inf
x[xi1 ,xi ]
m
X
i=1
{f (x)} = mi ,
mi i = L (P, f, ) ;
f d = inf {U (P, f, )}
P
= inf {L (P, f, )}
P
= sup {L (P, f, )} =
P
f d.
Similarmente m
e i = Mi , de donde se obtiene que L (P, f, ) = U (P, f, ); y por tal motivo
Z
Z b
f d = f d;
a
Z b
Z
Z b
f d = f d = f d =
a
181
f d,
y por tanto, f R () en [a, b]; adems, de esta ltima relacin tambin se obtiene que
Z b
Z b
f d =
f d.
a
Finalmente, si k < 0, escribimos k = (1) r con r > 0 y el resultado sigue de los casos anteriores.
Supongamos ahora que f, g R () en [a, b]. Sea > 0 y sea h = f + g. Entonces por la
condicin de Riemann, existen particiones P1 y P2 de [a, b] tales que
,
(4.8)
U (P1 , f, ) L (P1 , f, ) <
2
inf
x[xi1 ,xi ]
{f (x) + g (x)}
x[xi1 ,xi ]
sup
{f (x) + g (x)}
x[xi1 ,xi ]
inf
{f (x)} +
x[xi1 ,xi ]
sup
{f (x)} +
x[xi1 ,xi ]
inf
{g (x)} ,
{g (x)} .
U (P , f + g, )
U (P , f, ) + U (P , g, ) .
(U (P , f, ) + U (P , g, )) (L (P , f, ) + L (P , g, ))
= (U (P , f, ) L (P , f, )) + (U (P , g, ) L (P , g, ))
<
+ = .
2 2
Aqu tambin hemos usado el hecho que las sumas inferiores crecen y las sumas superiores decrecen
(vase el Teorema 4.4.2). Se concluye entonces que f + g R () en [a, b], en virtud del Teorema
4.4.4. Adems, por la definicin de infimo, para > 0, existen particiones Pe1 y Pe2 de [a, b] tales
que
Z b
<
f d + ,
U Pe1 , f,
2
a
Z b
<
gd + ;
U Pe2 , g,
2
a
as, para la particin ms fina Pe = Pe1 + Pe2 se cumple que
Z b
(f + g) d U Pe , f + g,
a
U Pe , f, + U Pe, g,
f1 , f, + U Pe2 , g,
U P
Z b
Z b
<
f d + +
gd + .
2
2
a
a
182
Esto es,
(f + g) d <
f d +
a
gd +
para todo > 0 y para cada par de fnciones f, g R () en [a, b]; as que por la arbitrariedad de
> 0, se concluye que
Z b
Z b
Z b
(f + g) d
f d +
gd
(4.9)
a
es decir;
o, equivalentemente,
(f g) d
Z
Z
(f + g) d
a
b
a
f d +
(f + g) d
f d
f d +
a
gd,
b
a
gd,
gd;
n
X
Mk k
k=1
i
X
Mk k +
k=1
n
X
Mk k
k=i+1
= U (P1 , f, ) + U (P2 , f, ) .
Similarmente
L (P, f, ) = L (P1 , f, ) + L (P2 , f, ) ,
luego si;
U (P, f, ) L (P, f, ) < ,
entonces
(U (P1 , f, ) L (P1 , f, )) + (U (P2 , f, ) L (P2 , f, ))
= (U (P1 , f, ) L (P1 , f, )) + (U (P2 , f, ) L (P2 , f, ))
< .
Por tanto, como la suma de nmeros positivos es mayor que cualquiera de sus sumandos, se concluye
que
U (P1 , f, ) L (P1 , f, ) <
183
y tambin
U (P2 , f, ) L (P2 , f, ) < .
Este razonamiento, junto con el Teorema de la condicin de Riemann, nos dice que si f R ()
en [a, b] entonces f R () en [a, c] y f R () en [c, b].
Recprocamente, si f R () en [a, c] y f R () en [c, b] entonces, dado > 0, existen
particiones P1 de [a, c] y P2 de [c, b] tales que
U (P1 , f, ) L (P1 , f, ) <
U (P2 , f, ) L (P2 , f, ) <
.
2
<
f d + ,
U Pe1 , f,
2
a
Z b
<
f d + .
U Pe2 , f,
2
c
Por tanto, considerando la particin Pe = Pe1 Pe2 se tiene que
Z b
f d U Pe , f, = U Pe1 , f, + U Pe2 , f,
a
Z b
<
f d + +
f d +
2
2
a
c
Z b
Z c
f d +
f d + .
=
a
f d,
c
desigualdad que es valida para toda funcin f R () en [a, b]. En particular, la desigualdad
anterior vale para la funcin f y por tal motivo, podemos conluir que
Z c
Z c
Z b
f d =
f d +
f d.
a
y la funcin creciente
(x) =
0, 1 x < 0,
1, 0 x 1.
f d =
pero f
/ R () en [1, 1] pues
f d = 0;
f d = 0 6= 1 =
f d.
1
El Teorema 4.4.5 nos dice que de conjunto de las funciones Riemann-Stieltjes integrables en [a, b]
es un subespacio del espacio de las funciones acotadas; pero no nos dice nada de como ver a simple
vista"si una funcin es Riemann-Stieltjes integrable ni como calcular su integral. A continuacin,
demostraremos que por lo menos las funciones continuas son Riemann-Stieltjes integrables en
cualquier intervalo cerrado, luego nos preocuparemos por calcular o aproximar su integral; antes,
necesitamos introducir el siguiente concepto.
Definicin 4.4.5 (Norma de una particin) Para cada particin P = {x0 , x1 , ..., xn } del intervalo [a, b] escribimos
kP k =
max
k{1,...,n}
xk =
max
k{1,...,n}
(xk xk1 ) ,
Z b
X
f (ti ) i
f d <
(4.10)
a
i=1
para cada particin P = {xo , x1 , . . . , xn } de [a, b] con kP k < y para cada eleccin ti [xi1 , xi ].
Demostracin. Sea > 0 y elegimos > 0 tal que
{ (b) (a)} < .
(4.11)
Como f es continua en [a, b] que es compacto, entonces esta funcin es uniformemente continua,
as que para el valor > 0 encontrado en (4.11), podemos encontrar un > 0 tal que
|f (x) f (y)| <
para todo x, y [a, b] que satisface |x y| < .
185
(4.12)
Sea P una particin cualquiera de [a, b] tal que kP k < . Como f es continua sobre el compacto
[xk1 , xk ] (k {1, 2, ..., n} fijo), existen nmeros reales vk , uk [xk1 , xk ] tales que
mk
Mk
inf
{f (x)} = f (vk ) ,
sup
{f (x)} = f (uk ) .
x[xk1 ,xk ]
x[xk1 ,xk ]
En particular, se tiene |uk vk | (xk xk1 ) kP k < , y por tal motivo, nos podemos apoyar
en la continuidad uniforme de f (desigualda (4.12)) para escribir
Mk mk = f (uk ) f (vk ) = |f (uk ) f (tk )| < .
Esta ltima desigualdad implica que para esta particin se cumple
n
X
U (P, f, ) L (P, f, ) =
(Mk mk ) k
k=1
n
X
<
k=1
Rb
a
n
X
k=1
f (tk ) k U (P, f, ) ;
f d, es decir,
L (P, f, )
f d U (P, f, ) ,
Z b
X
f (tk ) k
f d U (P, f, ) L (P, f, ) <
a
k=1
Ejemplo 4.4.3 Es f (x) = x2 Riemann-Stieltjes integrable en [0, 3] con respecto a (x) = [x]?
R3
En caso afirmativo, Cunto vale 0 f (x) d (x)?
Solucin. Como la funcin f (x) = x2 es continua en [0, 3], entonces por el teorema anterior
(Teorema 4.4.6) se puede decir que f R () en [0, 3]. Para calcular la integral, usamos propiedades
demostradas en el Teorema 4.4.5, en este caso, se puede escribir
Z 3
Z 1
Z 2
Z 3
x2 d [|x|] =
x2 d [|x|] +
x2 d [|x|] +
x2 d [|x|] .
0
186
x2 d [|x|] = n2 .
n1
En efecto, sea P = {xo , x1 , . . . , xm } una particin cualquiera del intervalo [n 1, n]. Significa, por
definicin de particin, que
n 1 = xo < x1 < x2 , . . . < xm1 < xm = n.
Luego, para k = 1, 2, . . . , m, se tiene que
mk =
inf
x[xk1 ,xk ]
2
x = (xk1 )2 ,
X
L P, x2 , [|x|] =
mk k = mm 1 = x2m1 .
k=1
Por tanto
n1
pues xm1 se puede acercar a xm tanto como se quiera. Esto muestra lo afirmado. Luego, sustituyendo n = 1, 2, 3, se obtiene
Z 1
x2 d [x] = 12 = 1,
Z
Z
de donde se concluye que
x2 d [x] = 22 = 4,
1
3
x2 d [x] = 32 = 9;
2
x2 d [x] = 1 + 4 + 9 = 14.
Definicin 4.4.6 Sea P = {x0 , x1 , . . . , xn } una particin del intervalo [a, b], para tk [xk1 , xk ],
Pn
la suma k=1 f (tk ) k se le llama suma de Riemann-Stieltjes y se le denota por S (P, f, );
es decir,
n
X
S (P, f, ) =
f (tk ) k .
k=1
187
n
X
f (tk ) xk .
k=1
Z b
n
X
ba ba
f (x) dx = lim
f a+k
.
n
n
n
a
(4.13)
k=1
Solucin. Aqu la funcin que se est integrando es f (x) = ex , la cual sabemos que es continua
y por tanto, Riemann integrable, segn el Teorema 4.4.6. Adems, por la identidad (4.13) se tiene
que
Z 1
n
1 X k/n
ex dx = lim
e
n n
0
=
1
n n
lim
k=1
n
X
e1/n
k=1
1
e1
,
= lim e1/n 1/n
n n
e
1
donde hemos usado la conocida identidad
r + r2 + r3 + ... + rn = r
rn 1
.
r1
Luego, haciendo el cambio t = 1/n y usando la regla de LHospital para calcular lmites, se obtiene
Z 1
tet
ex dx = (e 1) lim t
t0 e 1
0
t
= (e 1) lim
t0 1 et
1
= (e 1) lim t = e 1;
t0 e
lo que muestra lo afirmado.
A continuacin damos otro criterio importante y de gran utilidad para estudiar si una funcin
es Riemann-Stieltjes integrable en un intervalo. De hecho, algunos textos, como por ejemplo, el
libro de Mijail Ivanovich Dyachenko y Piotr Lavrentievich Ulyanov (2000), toman la siguiente
caracterizacin como la definicin de funciones Riemann-Stieltjes integrables.
188
Teorema 4.4.8 Una funcin f R () en [a, b] si y slo si existe A R tal que para cada > 0
existe una particin P de [a, b] que satisface
|S (P, f, ) A| <
para cada particin P ms fina que P y para cada eleccin tk [xk1 , xk ].
Demostracin. [=] Es obvio, pues esto es consecuencia de la condicin de Riemann (TeoRb
rema 4.4.4) con A = a f d.
[=] Consideremos > 0 y sean P1 y P2 dos particiones ms fina que P tales que S1 =
S (P1 , f, ) y S2 = S (P2 , f, ) satisfacen
|S1 A| <
y |S2 A| < .
4
4
sup
x[xk1 ,xk ]
{f (x)} f e
tk +
U (P, f, ) U (P1 , f, ) =
n
X
f e
tk +
k=1
n
X
n
X
;
4 ( (b) (a))
Mk k
k=1
4 ( (b) (a))
f e
tk k +
4
k=1
= S1 + ,
4
=
donde hemos usado que las sumas superiores decrecen con las particiones ms finas (Teorema
4.4.2).
Similarmente, por definicin de infimo, para cada k = 1, 2, ..., n, existe e
tk [xk1 , xk ] (no
inf
x[xk1 ,xk ]
{f (x)} f e
tk
L (P, f, ) L (P2 , f, ) =
n
X
f e
tk
k=1
= S2 .
4
189
n
X
,
4 ( (b) (a))
mk k
k=1
4 ( (b) (a))
Nos encaminamos ahora a dar resultados que nos permitan calcular la integral de RiemannStieltjes, usando las herramientas adquiridas en un curso de Clculo elemental. El primero de estos
resultados, nos dice que en muchos casos, la integral de Riemann-Stieltjes se reduce a una integral
de Riemann.
Teorema 4.4.9 Supongamos que f R () en [a, b] y que posee derivada 0 continua en [a, b].
Rb
Entonces la integral de Riemann a f (x) 0 (x) dx existe y se verifica
Z
f (x) d (x) =
Demostracin. Sea g (x) = f (x) 0 (x) y consideremos una suma de Riemann para la funcin
g,
S (P, g) =
=
n
X
k=1
n
X
g (tk ) xk
f (tk ) 0 (tk ) xk ,
k=1
n
X
f (tk ) k .
k=1
n
X
k=1
(4.14)
Adems, como f es acotada en [a, b], entonces existe M > 0 tal que |f (x)| < M para todo
x [a, b]. La continuidad de 0 en [a, b] implica la continuidad uniforme en [a, b]. Por lo tanto, por
190
definicin de continuidad uniforme, dado > 0, existe > 0, que depende solamente de , tal que
0 < |x y| < implica
.
|0 (vk ) 0 (tk )| <
2M (b a)
Luego, sustituyendo esta informacin en (4.14) se tiene que
|S (P, f, ) S (P, g)|
=
=
n
X
k=1
n
X
k=1
(4.15)
(xk xk1 )
2M (b a)
n
(xk xk1 )
2M (b a)
k=1
(xn xo ) = .
2M (b a)
2
Por otra parte, como f R () en [a, b], podemos hacer uso del Corolario 4.4.8 para encontrar
otra particin P0 de [a, b] tal que
Z b
f d
(4.16)
S (P, f, )
para toda particin P de [a, b] ms fina que P0 . Por tanto, considerando una particin P cualquiera
de [a, b] que sea ms fina que la particin ms fina comn de P y P0 , se obtiene, combinando las
acotaciones (4.15) y (4.16), que
Z b
Z b
a
a
Z b
a
<
+ = .
2 2
Lo cual significa, en virtud del Teorema 4.4.8 que g es Riemann integrable en [a, b] y que
Z
g (x) dx =
f d.
[x] d x2 .
191
el cual es una integral de Riemann que se calcula separando en tres integrales, segn los valores
que toma la funcin parte entera, es decir,
Z 3
Z 3
[x] d x2
[x] 2x2 dx
=
0
[x] 2xdx +
0 2xdx +
[x] 2xdx + +
1
2
1 2xdx +
= 0 + 3 + 10 = 13.
[x] 2xdx
2 2xdx
Aqu hemos usado que [x] = 0 cuando 0 x < 1, [x] = 1 cuando 1 x < 2 y [x] = 2 cuando
2 x < 3.
Ejemplo 4.4.6 Calcule
I=
2x
xd e2x .
Solucin. Como la funcin (x) = e tiene derivada continua en [2, 2], entonces por el teorema
anterior, se puede escribir
Z 2
Z 2
xd e2x
x2e2x dx
=
2
2
2
2xe2x dx
Z
1 4 4
ue du
2 4
3
5
1 u
=
e (u 1)]44 = e4 + e4 ,
2
2
2
donde se ha usado el mtodo de integracin por parte para la integral de Riemann.
=
Ahora nos disponemos a establecer los teoremas fundamentales del clculo para la integral de
Riemann-Stieltjes; pero antes necesitamos el siguiente lema el cual generaliza el teorema del valor
medio.
Lema 4.4.10 (Teorema del valor medio para integrables de R-S) Sea f R () en [a, b],
si M y m denotan respectivamente, el supremo y el infimo del conjunto {f (x) : x [a, b]}. Entonces
existe c [m, M ] tal que
Z b
f () d (x) = c { (b) (a)} .
a
En particular, si f es continua en [a, b] entonces c = f (xo ) para cierto xo [a, b]. Es decir,
Z b
f (x) d (x) = f (xo ) { (b) (a)}
a
f (x) d (x) =
f (x) 0 (x) dx =
0dx = 0;
mientras que c ( (b) (a)) = 0, y la prueba sigue en este caso. Por tanto podemos suponer que
(b) > (a).
Afirmamos, que en este caso, la conclusin del lema es cierto para
c=
1
(b) (a)
f d.
b
a
por tanto, dividiendo (b) (a) > 0 encontramos que m c M ; es decir, c [m, M ].
Adems, si f es continua, entonces por el teorema del valor intermedio, podemos concluir que
existe xo [a, b] tal que f (xo ) = c. Esto completa la demostracin del lema.
Con este resultado, estamos en capacidad de enunciar y demostrar el primer teorema fundamental del clculo para la integral de Riemann-Stieltjes.
Teorema 4.4.11 (1er Teorema Fundamental del Clculo) Sea f R () en [a, b] y definimos
Z x
g (x) =
f d
a
Sea P = {xo , x1 , . . . , xn } una particin cualquiera de [a, b], entonces, por la observacin anterior,
para cada k = 1, 2, ...n, podemos encontrar constantes ck [mk , Mk ] tales que
n
X
k=1
|g (xk ) g (xk1 )| =
n
X
k=1
(4.18)
luego como estamos suponiendo que f R () en [a, b], en particular se tiene que la funcin f es
acotada y por tal motivo, podemos encontrar un H > 0 tal que |f (x)| H para todo x [a, b].
As, por las definiciones de mk y Mk , se tiene que |ck | H para todo k = 1, 2, ..., n y por tanto,
sustituyendo en (4.18) encontramos que
n
X
k=1
|g (xo ) g (xk1 )| H
n
X
k=1
xx0
xxo
xxo
xxo
xxo
g (x) g (xo )
(x) (xo )
= lim C (x, xo ) lim
= f (xo ) 0 (xo ) ,
xxo
xxo
x xo
x xo
donde nuevamente hemos usado que limxxo C (x, xo ) = f (xo ). La demostracin del teorema est
completa.
Seguidamente, enunciamos y demostramos el segundo teorema fundamental del clculo para
fuunciones Riemann integrables.
Teorema 4.4.12 (2do Teorema Fundamental del clculo) Si f es una funcin Riemann integrable en [a, b] y existe una funcin diferenciable F en [a, b] tal que F 0 = f , entonces se verifica
que
Z b
f (x) dx = F (b) F (a) .
a
194
Demostracin. Sea P = {xo , x1 , . . . , xn } una particin cualquiera de [a, b], entonces por el
teorema del valor medio, para cada i = 1, 2, . . . , n, podemos encontrar valores ti (xi1 , xi ), tales
que
F (xi ) F (xi1 ) = F 0 (ti ) (xi xi1 )
= f (ti ) (xi xi1 ) .
Luego, se obtiene la identidad
F (b) F (a) =
=
n
X
i=1
n
X
{F (xi ) F (xi1 )}
f (ti ) xi ;
i=1
Rb
a
Demostracin. Elijamos una particin cualquiera P = {xo , x1 , . . . , xn } de [a, b], y seleccionamos valores t1 , . . . , tn de tal manera que xi1 ti xi , donde i {1, 2, ..., n}; definamos
adems to = a y tn+1 = b. Entonces Q = {to , t1 , . . . , tn+1 } tambin es una particin de [a, b] y se
cumple la relacin
S (P, f, ) =
=
=
n
X
i=1
n
X
i=1
n
X
i=1
n
X
i=1
n+1
X
i=1
n+1
X
i=1
n
X
i=1
195
y al mismo tiempo
S (Q, , f )
df.
x2 d [x] .
[x] 2xdx,
[x] d x2
[x] 2xdx =
[x] (2x) dx +
0
[x] (2x) dx +
1
Z 2
0 (2x) dx +
1 (2x) dx +
1
= 0 + 22 12 + 2 32 22 = 13,
=
se obtiene que
2
Z 3
2
[x] (2x) dx
2 (2x) dx
x2 d [x] = 27 13 = 14.
Finalizamos esta seccin estableciendo el teorema del cambio de variable para la integral de
Riemann-Stieltjes.
Teorema 4.4.14 (Cambio de variable) Sea f R () en [a, b] y g : [c, d] [a, b] una funcin
continua, estrictamente creciente que satisface g (c) = a y g (d) = b. Entonces f g R ( g) en
[c, d] y
Z b
Z d
f (t) d (t) =
f (g (x)) d { (g (x))} .
a
Demostracin. Sea P = {a = xo < x1 < . . . < xn1 < xn = b}, una particin cualquiera del
intervalo [a, b]. Para cada i = 0, 1, . . . , n hagamos yi = g 1 (xi ). Entonces, como la funcin
g [c, d] [a, b] es estrictamente creciente, queda claro que el conjunto Q = {yo , y1 , . . . , yn1 , yn }
resulta una particin del intervalo [c, d]; donde tambin hemos usado que g 1 (a) = c y que
196
g 1 (b) = d. Recprocamente, cada particin Q del intervalo [c, d], induce una particin P = g (Q)
del intervalo [a, b] y por tanto, se puede escribir
n
X
S (P, f, ) =
i=1
n
X
i=1
n
X
i=1
f (xi ) i =
n
X
i=1
(4.19)
= S (Q, f g, g) .
Luego, como la funcin g es uniformemente continua en [c, d] (pues es continua sobre un subconjunto compacto de R), se observa que kP k 0 implica kQk 0. Por tanto, tomando lmte
cuando kP k 0 en la relacin (4.19), se concluye, en virtud del Teorema 4.4.8, que
Z
kQk0
d
c
f gd { g} .
ex d [ex ] .
Solucin. Se observa en primer lugar que la funcin g (x) = ex es continua en el intervalo [0, 1]
y por tal motivo es Riemann-Stieltjes integrable en este intervalo. Tambin, como esta funcin es
estrictamente creciente, se puede hacer el cambio de variable t = ex y escribir
Z
1
x
e d [e ] =
td [t]
= e [e] 1 [1]
[t] dt,
donde hemos usado integracin por parte en la ltima igualdad. Luego, como
Z
[t] dt =
se concluye que
[t] dt +
0
[t] dt +
[t] dt
2
= 0 + 1 + 2 (e 2) = 2e 3,
Z
4.5
ex d [ex ] = 2e 1 (2e 3) = 2.
RM
a
define una funcin la cual se conoce como la integral impropia de primera especie y se denota
R
por a f (x) dx. Esta integral se dice que es convergente si el lmite
L = lim
f (x) dx
(4.20)
f (x) dx = L.
En caso que el lmite (4.20) no exista, se dice que esta integral impropia es divergente. Este
tipo de integrales no solamente es til para establecer la convergencia de ciertas series numricas,
sino que tiene gran aplicacin en otras reas de la Matemtica; en particular en Probabilidad; por
ejemplo, para ver que la funcin f (x) = aeax , donde a es un parmetro positivo fijo y x 0, es
una funcin de distribucin de probabilidad (la cual se conoce como la distribucin exponencial),
se debe mostrar que
Z
f (x) dx = 1.
lim
aeax dx
ax x=M
e
x=0
M
aM
=
lim 1 e
= 1,
=
lim
lim eaM = 0
R
0
lim
no existe.
Muchas veces el verificar que una integral impropia es convergente y hallar su valor puede ser
una tarea mucho ms complicada que slo hallar un lmite, tal como se muestra en el siguiente
ejemplo.
198
sen (x)
dx = .
x
2
(n1)
pero se puede observar que la funcin S (x) cambia de signo en estos intervalos que particionan
el intervalo [0, b], siendo esta funcin positiva en [0, ], negativa en [, 2]; y as sucesivamente;
luego, si denotamos por Ak el valor absoluto de la integral de S sobre el intervalo [k, (k + 1) ],
con k = 0, 1, ..., n 1, se obtiene que
Z b
Z b
n1
X
k
S (x) dx =
(1) Ak +
S (x) dx.
(4.21)
0
k=0
Adems,
Z
b sen (x)
S (x) dx =
dx
Z b
sen (x)
x dx
n
b n
n
1
,
n
pues por nuestra seleccin de n, es claro que b < (n + 1) y que n cuando x0 ; de
manera entonces que
Z b
lim
S (x) dx = 0;
b
Z (k+2)
sen (x)
Ak+1 =
x dx
(k+1)
Z (k+2)
1
|sen (x)| dx
(k + 1) (k+1)
Z (k+1)
1
|sen (x)| dx
=
(k + 1) k
Z (k+1)
sen (x)
x dx = Ak ,
k
199
k=0
(1) Ak es
Z (k+1)
Z (k+1)
Z (k+1)
sen (x)
1
1
1
|sen (x)| dx
dx = ,
0 Ak =
x dx k
k
k
k
k
k
es claro que Ak 0 cuando k ; por lo que el Criterio de Leibnitz para series alternadas,
P
k
nos permite concluir que alternada
k=0 (1) Ak es convergente y por tanto, la integral dada es
convergente.
Para hallar el valor de esta integral, definamos, para t 0, la funcin auxiliar
Z
sen (x)
F (t) =
etx
dx,
(4.22)
x
0
entonces, el valor de la integral que estamos buscando es justamente F (0). Usando el desarrollo
en serie de potencia para la funcinn sen (x), se tiene que
S (x) =
(1)
k=0
x2k
x2
x4
x6
=1
+
+ ...;
(2k + 1)!
3!
5!
7!
luego, como esta serie es alternada, se puede ver que cuando 0 < x < 1, se cumple 0 < S (x) < 1;
mientras que si x 1, entonces |S (x)| |sen (x)| 1; as, que podemos decir que |S (x)| 1 para
todo x 0; de manera entonces que para cualquier t > 0 se cumple
Z
Z
tx sen (x)
1
|F (t)|
etx dx = ,
dx
(4.23)
e
x
t
0
0
con lo cual, la funcin F est bien definida. Para ver que esta funcin F es continua cuando t 0,
escribimos
Z (k+1)
n
X
sen (x)
k
k
F (t) = lim
(1)
(1) etx
dx,
(4.24)
n
x
k
k=0
tx
Similarmente, como la integral que define la funcin F converge uniformemente sobre el intervalo
[t0 , ), donde t0 > 0 es arbitrario, podemos derivar bajo el signo de la integral, con respecto a la
variable t, y ver que
Z
F 0 (t) =
etx sen (x) dx
0
t2
1
;
+1
donde C es una constante (de hecho, es el valor de la integral que estamos buscando). Finalmente,
usamos la desigualdad (4.23) para deducir que
lim F (t) = 0;
2,
2,
f (x) dx.
M
R
f
c
Rc
Todava ms, si las integrales f (x) dx y
(x) dx son convergentes para un valor de c R,
R
entonces se dice que la integral f (x) dx es convergente y su valor se define como la suma
Z
f (x) dx =
f (x) dx +
f (x) dx.
(4.25)
Se puede observar (vase el Ejercicio 4.28) que el valor de esta integral es independiente de la
eleccin del valor c. La integral (4.25) diverge si por lo menos una de las integrales de segundo
miembro diverge para algn valor de c.
Ejemplo 4.5.3 Estudiar la convergencia de la integral
Z
dx
I=
.
1
+
x2
Solucin. En este caso, como la funcin que estamos integrando es par, se tiene que
I
Z
Z
dx
dx
dx
+
=2
=
2
2
1
+
x
1
+
x
1
+
x2
0
0
Z M
dx
= 2 lim
= 2 lim [arctan (x)]x=M
x=0
M 0
M
1 + x2
= 2 lim arctan (M ) = 2 = .
M
2
Z
En el Ejemplo 4.5.2 se ha puesto de manifiesto que a veces no es tan fcil verificar si una
integral impropia es convergente. Por tal motivo, a continuacin enunciamos algunos resultados
que nos podrian ayudar con este problema. Las demostraciones de estos resultados son similares
a los establecidos en el Captulo 2 para la convergencia de series numricas y se dejan de ejercicio
al lector.
Teorema 4.5.1 Supongamos que la integral
Rb
a
R
1. Si f (x) 0 para todo x a, la integral a f (x) dx converge si y slo si existe una constante
M > 0 tal que
Z b
f (x) dx M
a
para todo b a.
201
f (x) dx
R
a
R
a
g (x) dx converge,
g (x) dx.
Rb
a
R
a
f (x) dx.
f (x)
= L 6= 0,
g (x)
R
R
entonces la integral a f (x) dx converge si y slo si a g (x) dx converge.
lim
Como antes, estudiar la convergencia y hallar el valor de una integral del tipo (4.25) algunas
veces puede resultar un trabajos duro, tal como se muestra en el siguiente ejemplo, que es de gran
importancia en las reas de Probabilidad y Anlisis Matemtico.
Ejemplo 4.5.4 Estudiar la convergencia de la integral
Z
2
I=
ex dx.
Solucin. En este caso, como la funcin que se est integrando es par, se puede escribir
Z
2
ex dx.
I=2
0
es ds
0
H 0 (x) = ex > 0,
de donde resulta que H es una funcin estrictamente creciente para x 0; adems,
lim H 0 (x) = 0
lo cual significa que la funcin H tiene una asintota horizontal y como es continua, entonces se
debe tener que esta funcin es acotada. Por tanto, existe M > 0 tal que
Z x
2
H (x) =
es ds M
0
para todo x 0 y,en virtud del Teorema 4.5.1, se concluye que la integral impropia
convergente.
202
R
0
ex dx es
Para hallar el valor de esta integral, la multiplicamos por ella misma, y se obtiene
Z
Z
Z Z
2
2
2
2
I2 = 4
ex dx
ey dy = 4
e(x +y ) dxdy;
0
es decir, tenemos una integral doble del tipo estudiado en un curso de Clculo; haciendo el cambio
a coordenadas polares x = r cos () e y = rsen (), vemos que, como se est integrando sobre el
primer cuadrante, que r vara de 0 a ; mientras que vara de 0 a 2 . Adems, x2 + y 2 = r2 y
dxdy = rddr. Por tanto,
Z Z 2
2
I2 = 4
er rddr
0
Z 0
2
er rdr
= 2
0
= 2 lim
er rdr
0
2
1
= 2 lim
1 eR = .
R 2
ex dx =
Rc
R
R
Las integrales impropias de la forma f (x) dx, c f (x) dx y f (x) dx se le suelen llamar
integrales impropias de primera especies. Las integrales impropias de segunda especie se puede
introducir como sigue: Se supone que la funcin f est definida en el intervalo semiabierto (a, b],
Rb
y que la integral x f (s) ds existe para cada x (a, b]. Entonces, la funcin
I (x) =
f (s) ds,
Rb
a+
f (s) ds. Se
existe y en caso contrario, se dice que es divergente. Las integrales impropias de la forma
R b
Rc
f (s) ds se define de una manera anloga. Todava ms, si las dos integrales a+ f (s) ds
a
R b
y c f (s) ds existen para cada valor c (a, b), entonces se define
Z
f (s) ds =
a+
f (s) ds +
a+
f (s) ds.
Esta definicin se puede extender de manera natural al caso de un nmero es finito de sumando;
es decir, si
a = c0 < c1 < c2 < ... < cn = b
R c
es una particin del intervalo [a, b] y las integrales c+k+1 f (s) ds existen para cada k = 0, 1, ..., n1;
k
entonces se define
Z b
Z
n1
X c
k+1
f (s) ds =
f (s) ds.
a+
k=0
203
c+
k
R
Rc
Ms an, se pueden definir integrales de la forma a+ f (s) ds; siempre que las integrales a+ f (s) ds
R
y c f (s) ds existan para cada c > a; en este caso,
Z
f (s) ds =
a+
f (s) ds +
a+
f (s) ds.
Incluso, podemos prescindir de los signos + y cuando es obvio que la funcin que se est
integrando no est definida en alguno de los estremos del intervalo [a, b].
Ejemplo 4.5.5 Halle los valores de p R para que la integral
Z 1
ds
Ip =
p
0 s
sea convergente.
Solucin. En este caso, la funcin que estamos integrando est bien definido en el intervalo [0, 1],
excepto posiblemente en el punto x = 0, luego, para x (0, 1) se tiene
(
Z 1
ln (x) ,
p = 1,
ds
Jp (x) =
=
1
1p
p
, p 6= 1.
x s
1p 1 x
De manera entonces que
x0+
si y slo si p < 1; es decir, la integral Ip converge si y slo si p < 1; y adems, para p > 1 se cumple
Z
ds
1
1
= lim+
1 x1p =
.
p
s
1p
x0 1 p
Ejemplo 4.5.6 (La funcin Gamma) Demuestre que para s > 0, la integral
Z
et ts1 dt
(s) =
0
et ts1 dt.
R
Entonces como la integral 1 t2 dt es convergente (porqu?), nos podemos apoyar en el Teorema
R
4.5.1 (cmo?) para concluir que la integral impropia 1 et ts1 dt converge cualquiera que sea
s R. Por otra parte, haciendo el cambio de variable = 1t , vemos que para cualquier x (0, 1),
se cumple
Z 1
Z 1/x
et ts1 dt =
e1/ s1 d ;
x
204
R
luego, como e1/ s1 s1 para 1 y la integral 1 s1 d es convergente para s > 0
R1
(porqu?), podemos usar nuevamente el Teorema 4.5.1 para concluir que la integral 0 et ts1 dt
R
es convergente. Todo lo anterior nos dice que la integral impropia 0 et ts1 dt converge para
s > 0.
Mostraremos ahora por induccin que para cada n N, se cumple que (n + 1) = n!. Observamos que para n = 1,
Z
(n + 1) = (2) =
et tdt
=
lim
0
M
et tdt
t=M
t
e (1 + t) t=0
lim 1 eM (1 + M ) = 1
lim
=
=
lim
lim
et tH+1 dt
(0
t=M
tH+1 et t=0
+ (H + 1)
M
t H
e t dt
Z M
et tH dt
= lim M H+1 eM + (H + 1) lim
M
M 0
Z
et tH dt = (H + 1) (H + 1)
= 0 + (H + 1)
0
= (H + 1) H! = (H + 1)!,
4.6
La intencin de esta seccin es dar una breve introduccin a las series de Fourier y su aplicacin
para calcular el valor de ciertas series numricas. El lector interesado en el estudio de Series de
205
Fourier, puede consultar el texto de Ruel Churchill (1963). Para una funcin integrable f sobre el
intervalo [, ], se definen los nmeros
Z
1
an =
f (x) cos (nx) dx,
(4.26)
Z
1
f (x) sen (nx) dx,
bn =
donde n N {0}. Una expresin de la forma
+
ao X
[an cos (nx) + bn sen (nx)]
+
2
n=1
(4.27)
0, x < 0,
1, 0 x .
Z 0
Z
1
1
0 cos (nx) dx +
1 cos (nx) dx
0
1
1
sen (nx)]0 =
sen (n) = 0.
n
n
=
=
Mientras que ao = 1 y
bn =
2
n
1
n
(1 (1) ) ,
n
g (x) =
=
=
1 X
b2n1 sen ((2n 1) x)
+
2 n=1
+
1
2X 1
+
sen ((2n 1) x)
2 n=1 2n 1
3
5
Nos preguntamos:
1. Converge esta serie?
2. Es la convergencia uniforme?
3. A quien converge?
Sobre la convergencia, tenemos el siguiente resultado:
206
Teorema 4.6.1 Si {an } y {bn } son dos sucesiones absolutamente sumable, entonces la serie
trigonometrica (4.27) converge uniformente en todo R.
Demostracin. En efecto, por la desigualdad triangular, es claro que
|an cos (nx) + bn sen (nx)| |an | + |bn | ,
P
para todo x R, entonces, como la serie (|an | + |bn |) es convergente, el criterio M de weierstrass
nos garantiza que la serie (4.27) converge uniformemente en todo R.
Denotemos por g a la funcin lmite de la serie de Fouier (4.27), es decir, supongamos que
g (x) =
+
X
n=0
con x R, entonces la funcin g tiene las siguientes propiedades (vase el Ejercicios 4.31):
1. g es peridica de periodo 2; es decir,
g (x + 2) = g (x)
para todo x R.
2. Si f es impar, es decir, f (x) = f (x), entonces su grfica es simtrica respecto al origen
y su integral entre c y c es cero. Por tal motivo, los coeficientes an del desarrollo en serie
de Fourier son todos nulos y, en este caso, la serie de Fourier toma la forma
g (x) =
bn sen (nx)
n=1
2. la serie
converge uniformemente en
b2n
n=1
es convergente.
k=1
207
converge uniformemente a f (x) sen (nx) en [, ]. Luego, por esta convergencia uniforme, se
puede escribir
Z
Z
X
f (x) sen (nx) dx =
bk sen (kx) sen (nx) dx.
(4.28)
k=1
mientras que
sen2 (nx) dx = ;
k=1
[f (x)] dx +
n
X
bk bj
j,k=1
n
X
[f (x)]2 dx
n Z
X
k=1
b2k ,
k=1
k=1
b2k
[f (x)]2 dx
y la serie es convergente.
Tambin podemos observar que si la funcin f es par, es decir, f (x) = f (x), entonces su
grfica es simtrica respecto al eje de ordenadas, y, si f es integrable desde x = 0 a x = c, se
verifica que
Z c
Z c
f (x) dx = 2
f (x) dx;
c
de aqu que los coeficientes bn del desarrollo en serie de Fourier de f son todos nulos. En este caso,
la serie de Fourier de la funcin f tiene la forma
g (x) =
an cos (nx) ,
n=0
n=0
1
2
f (x) dx,
an =
donde n N.
2. La serie
n=0
a2n es convergente.
1
sen
cos (k) + 1 = sen n +
2
.
2
2
k=1
2,
g (x) =
3
5
209
+
1 2 X
sen (2n 1) 2
g
= +
=f
= 1,
2
2 n n=1
2n 1
2
de donde se obtiene que
+
X
(1)n+1
1 1 1
= 1 + + ... = .
2n 1
3 5 7
4
n=1
Z
2
1
1 x2
sen (nx) xdx = sen (nx)
sen (nx)]
=
n
n
Z
2
xsen (nx) dx
=
n
Z
2
1
x
=
cos (n) dx
cos (nx) | +
n
n
n
2
2
1
=
cos (n) + 2 sen (nx) |
n
n
n
4
n
(1) ;
=
n2
mientras que
Z
1 2
1 3
1 3 2 2
x dx =
x ] =
2 =
.
a0 =
3
3
3
Tambin se tiene que para cada n N,
bn =
x2 sen (nx) dx = 0
pues el integrando es una funcin impar. Entonces como f es una funcin diferenciable en [, ],
el teorema de Dirichlet implica que para cualquier x [, ] vale la relacin
+
ao X
x =
[an cos (nx) + bn sen (nx)] ;
+
2
n=1
2
es decir, sustituyendo
x2 =
+
n
X
2
(1)
cos (nx) ,
+4
3
n2
n=1
+
X
(1)n
2
cos (n) ;
+4
3
n2
n=1
1
= .
2
n
6
n=1
210
0=
lo cual implica que
+
n
X
2
(1)
=
;
n2
3
n=1
es decir,
+
X
2
(1)n+1
=
.
n2
12
n=1
lim
(4.29)
Con este fin, sea x0 = p < x1 < x2 < ... < xn = q una particin cualquiera del intervalo [p, q],
entonces
n1 Z
Z q
X xi+1
=
F
(x)
sen
(kx)
dx
F
(x)
sen
(kx)
dx
p
i=0 xi
n1
Z xi+1
Z xi+1
X
F (xi )
sen (kx) dx +
[F (x) F (xi )] sen (kx) dx
=
xi
xi
i=0
n1
Z xi+1
X
cos (kxi ) cos (kxi+1 )
k
x
i
i=0
Z
n1
X
X xi+1
n1
F (xi ) cos (kxi ) cos (kxi+1 ) +
|F (x) F (xi )| |sen (kx)| dx
k
i=0
i=0 xi
n1
n1
X2
X Z xi+1
|F (x) F (xi )| dx
|F (xi )| +
k
i=0
i=0 xi
= S1 + S2 ,
211
donde
n1
X
2
|F (xi )| ,
k
i=0
n1
X Z xi+1
=
|F (x) F (xi )| dx.
=
S1
S2
i=0
xi
n1
X
i=0
n1
X 2M
2
2M n
|F (xi )|
=
;
k
k
k
i=0
Por otra parte, como la funcin F es continua en el compacto [p, q], resulta que esta funcin
es uniformemente continua en este intervalo; y por tal motivo, dado > 0, podemos encontrar un
> 0 tal que
siempre que |x xi | < . As, si fijamos un n N lo suficientemente grande tal que la longitud de
los intervalos (xi , xi+1 ) sean menor que , se tiene
S2
n1
X Z xi+1
i=0
<
=
=
xi
|F (x) F (xi )| dx
n1
X Z xi+1
dx
2 (q p) i=0 xi
n1
X
(xi+1 xi )
2 (q p) i=0
(xn x0 ) = .
2 (q p)
2
lim
La demostracin de que
k
Lema 4.6.7 Si F : [0, b] R es continua a trozos y tiene derivada a la derecha de cero, F+0 (0),
entonces
Z b
sen (kx)
lim
F (x)
dx = F 0+ ,
k 0
x
2
donde
F 0+ = lim+ F (x) .
x0
dx = lim
dt = .
lim
k 0
k 0
x
t
2
Por otra parte, como la funcin F es continua a trozos, entonces tambin lo es la funcin G (x) =
[F (x) F (0+ )] /x. Adems,
lim G (x)
x0+
existe pues estamos suponiendo que F tiene derivada a la derecha de cero; as que tenemos todas
las condiciones del Lema 4.6.6 y por tal motivo, podemos concluir que
Z b
Z b
F (x) F (0+ )
lim
G (x) sen (kx) dx = 0.
sen (kx) dx = lim
k 0
k 0
x
Esto culmina la demostracin de este resultado.
Lema 4.6.8 Sea F una funcin continua a trozos en el intervalo (a, b), sea x0 (a, b) tal que las
derivadas laterales de F en x0 , F0 (x0 ) y F+0 (x0 ) existen. Entonces
lim
F (x)
a
sen (k (x x0 ))
+
dx =
.
F x0 F x
0
x x0
2
ao X
[an cos (nx) + bn sen (nx)] ,
+
2
n=1
donde los coeficientes an y bn estan definidos en (4.26); es decir, para n N, consideramos
Sn (x) =
=
n
ao X
[ak cos (kx) + bk sen (kx)]
+
2
k=1
(
)
Z
n
1
1 X
f (s)
cos [k (s x)] ds.
+
2
k=1
Z
sin n + 12 (s x)
1
ds;
f (s)
Sn (x) =
2sen 12 (s x)
as, como la funcin que estamos integrando es peridica (en la variable s) con periodo 2, el valor
de esta integral no cambia si cambiamos el intervalo [, ] por cualquier intervalo de longitud 2;
en particular, si seleccionamos un valor a R, tal que x (a, a + 2), entonces se tiene
Z
sin n + 12 (s x)
1 a+2
F (s)
ds,
Sn (x) =
a
sx
donde
F (s) = f (s)
1
2(s x)
,
sen 12 (s x)
con s [a, a + 2]. Tambin, como x es un punto interior al intervalo (a, a + 2), entonces existe
R < , que puede depender del valor x, tal que |s x| 2R < 2; de manera entonces que la
funcin
sen (t)
S (t) =
t
no se anula cuando |t| R < y por tanto, la funcin [S (t)]1 es continua y diferenciable cuando
|t| < R; esto ltimo nos permite afirmar que la funcin F es continua a trozos en el intervalo
(a, a + 2) y que las derivadas laterales de F existen en el punto s = x. Ms an, F (x+ ) = f (x+ )
y F (x ) = f (x ) por lo que podemos concluir que, en virtud del Lema 4.6.8, que
Z a+2
sin n + 12 (s x)
1
lim Sn (x) =
F (s)
lim
ds
n
n a
sx
1 +
1 +
F x F x =
f x f x .
=
2
2
Esto culmina la demostracin del Teorema 4.6.5.
214
4.7
Ejercicios
1. Demostrar que
Vab (f ) = 0 f ctte en [a, b] .
2. Demostrar que la relacion
kf kBV := |f (a)| + Vab (f )
es una norma para BV [a, b].
3. Fijemos c [a, b],
(a) Demostrar que la relacin
kf kc := |f (c)| + Vab (f )
es una norma para el espacio BV [a, b].
(b) Es (BV [a, b] , kkc ) un espacio de Banach?
(c) Son equivalentes kka y kkb ?
4. Fijemos c [a, b], demostrar que para todo x [a, b],
|f (x)| |f (c)| + Vab (f ) .
5. Demostrar que si c (a, b) y f BV [a, c] BV [c, b], entonces f BV [a, b] y adems
Vab (f ) = Vac (f ) + Vcb (f ) .
6. Demuestre que para todo x, y [a, b], se cumple
|f (x) f (y)| Vxy (f ) .
7. Demuestre que si la funcin f es de variacin acotada en [a, b], entonces |f | tambin lo es.
8. Demuestre que si f, g BV [a, b], entonces h = min {f, g} BV [a, b].
9. Demuestre que si f, g BV [a, b], entonces h = max {f, g} BV [a, b].
11. Demuestre que la funcin f (x) = 3 x + cos (x) ex es de variacin acotada en [0, ].
12. Demuestre que la funcin
f (x) =
cos
0
1
x
0 < x 1,
x = 0.
1
f (x) = x sen
x
p
15. Demuestre que si P es una particin de [a, b] ms fina que P , entonces las sumas superiores
decrecen; es decir,
U (P, f, ) U (P , f, ) .
16. Demuestre que si f, g R () en [a, b] y f (x) g (x) para todo x [a, b] entonces
Z
b
a
f (x) d (x)
g (x) d (x) .
f d
|f | d.
18. Si f R () en [a, b] y existe M > 0 tal que |f (x)| M para todo x [a, b], entonces
f d M ( (b) (a)) .
f d (1 + 2 ) =
f d1 +
f d2 .
f d (c) = c
f d.
f (x) =
0, 1 x 0,
1, 0 < x 1;
(x) =
0, 1 x < 0,
1, 0 x 1.
y la funcin creciente
(c) En caso que f R () en [0, 1], utilice integracin por parte para calcular el valor
R1
f d.
0
216
23. Sea f R () en [a, b], con continua, creciente y no constante en [a, b]. Demuestre que si
x0 (a, b), entonces
Z x
1
f d = f (x0 ) .
lim
xx0 (x) (x0 ) x
0
24. Demuestre que si f es continua en [a, b], entonces
Z b
n
X
ba ba
f (x) dx = lim
f a+k
.
n
n
n
a
k=1
25. Sea {fn } una sucesin de funciones Riemann-Stieltjes integrables con respecto a en el intervalo [a, b] que converge uniformemente a una funcin f en este mismo intervalo. Demuestre
que f R () en [a, b] y que
Z b
Z b
lim
fn d =
f d.
n
a2
1
.
+1
f (x) dx =
f (x) dx +
f (x) dx.
" X
n
1
+
X
n=0
n=1
217
bn sen (nx) .
32. Supongamos que la serie de Fourier para la funcin f tiene la forma g (x) =
y converge uniformemente en [, ]. Demuestre que:
n=0
an cos (nx)
1
2
f (x) dx,
an =
donde n N.
P
2
(b) La serie
n=0 an es convergente.
33. Fijemos c > 0. Sea f una funcin real continua a trozos en el intervalo (c, c) y peridica con
periodo 2c y supongamos que las derivadas laterales f 0 x+
y f 0 x
existen, donde x0
0
0
0
(c, c). Entonces, la serie de Fourier de f evaluada en x0 converge a 12 f x+
.
0 + f x0
En particular, si f es diferenciable en x0 , la serie de Fourier de f converge en x0 a f (x0 ).
34. Demuestre que cuando 0 x c,
x2 =
desduzca de aqu que
nx
c2 4c2 X (1)n
cos
+ 2
,
3
n=1 n2
c
X
2
1
=
.
2
n
6
n=1
218
Bibliografa
[1] T. M. Apostol, Anlisis Matemtico, 2 Ed. Editorial Revert, S. A. Barcelona, 1977.
[2] T. M. Apostol, Calculus, Vol. I, 2 Ed. Editorial Revert, S. A. Barcelona, 1985.
[3] G. Bacthman y L. Narici, Functional Analysis Bachman, Dover Publications, INC, New-York,
2000.
[4] R. Churchill, Fourier Series and Boundary Value Problems, 2 Ed. McGraw-Hill, New-York,
1963.
[5] J. Dieudonne, Fundamentos de Anlisis Moderno, Editorial Revert, S. A. Barcelona, 1975.
[6] M. I. Dyachenko y P. L. Ulyanov, Anlisis Real, Medida e Integracin, Addison-Wesley,
Madrid, 2000.
[7] E. Kreyszig, Introductory Functional Analysis With Applications. John Wiley & Sons. New
York. 1978.
[8] J. Marsden y M. Homan, Anlisis Clsico Elemental, 2 Ed. Addison-Wesley, Wilmington,
EUA, 1998.
[9] W. Rudin, Principios de Anlisis Matemtico, 2 Ed., Ediciones del Castillo, S. A., Madrid,
1966.
[10] M. Spivak, Calculus, Clculo Infinitesimal, 2 Ed. Editorial Revert, S. A. Barcelona, 1996.
[11] A. Vera-Lpez. y P. Ezquerra,.Un curso de anlisis funcional. AVL. Bilbao. 1997.
219
220
ndice de Materias
Disco
de convergencia, 131
Base de Hamel, 2
Bernstein
polinomios de, 149
Binomio
frmula del , 155
Bola
abierta, 4
cerrada, 4
Espacio
de Banach, 22
de funciones, 96
de funciones acotadas, 98
de funciones continuas, 101
de funciones de variacin acotadas, 170
de las funciones continuas, 16
de las sucesiones convergentes, 29
de series absolutamente convergentes, 49
mtrico, 3
mtrico completo, 5
normado, 6
vectorial, 1
Conjunto
abierto, 4
acotado, 13
cerrado, 5
Convergencia
puntual, 107
uniforme, 113
Covergencia
uniforme de series, 124
Criterio
de comparacin, 63
de comparacin (2da versin), 66
de comparacin para integrales, 202
de la integral, 76
de la raz, 72
del cociente, 68
Criterio de Cauchy, 59
Fibonacci
sucesin de, 152
Funcin
gamma, 204
Riemann-Stieltjes integrable, 174
Funin suma, 122
Identidad
de Lagrange, 209
Integral
de Riemann-Stieltjes, 174
impropia, 198, 203
inferior, 173
superior, 173
Desigualdad
umlaut older , 9
umlaut older, 10
de Minkoswki, 8, 104
de Minkoswki , 11
de Young, 8
Desigualdad
umlaut older, 104
Dimesin, 3
Lmite
inferior, 39
superior, 39
Nmero de Neper, 70
221
Norma, 6
de una particin, 185
Eucldea, 7
Normas
equivalentes, 12
Parte
negativa, 84
positiva, 84
Particin, 159
ms fina, 176
ms fina comn, 176
Producto
por un escalar, 96
Propiedades
de la integral de Riemann-Stieltjes, 180
Teorema
2do fundamental del clculo, 194
cambio de variable, 196
criterio del trmino n-simo, 42
criterio M de Weierstrass, 124
de Bolzano-Weierstrass, 24
de Dini, 120
de Dirichlet, 209
de la condicin de Riemann, 178
de Leibtniz, 81
de Riemann-Lebesgue, 211
de Stone-Weierstrass, 149
de Taylor, 147
de valor medio para integrales, 192
del lmite de Abel, 138
fundamental de clculo, 193
integracin por parte, 195
Radio
de convergencia, 131
Reordenamiento, 84
de series absolutamente convergente, 89
Seminorma, 6
Serie, 42
-p, 78
absolutamente convergente, 46
alternada, 81
armnica, 43
armnica alternada, 57
condicionalmente convergente, 84
de Fourier, 206
de Maclaurin, 146
de Taylor, 146
geomtrica, 44
reordenamiento, 83
resto de una, 52
telescpica, 59
Series
de funciones, 122
de potencias, 130
producto de, 90
Subsucesin, 15
Sucesin, 5
convergente, 5
Variacin, 159
acotada, 160
total, 160, 167
Vectores
inealmente independientes, 2
linealmente dependiente, 2
222