Sea fn : I R funciones denidas en un intervalo I.

. Se dice que {fn }n converge punto por punto, si la sucesin {fn (x)}n converge, para cada x I. En este caso, podemos denir una o funcin f : I R mediante: o f (x) = l fn (x). m
n+

Inmediatamente surgen varias interrogantes: (a) Si suponemos que cada fn es continua, Ser f a continua?; (b) Si cada fn es diferenciable, Ser {fn }n convergente?; Ser f diferenciable?, y a a en caso que estas respuestas fueran armativas, Converger {fn }n a f ?. a El objetivo de este cap tulo es dar respuesta a stas y otras preguntas similares relativas a e
om

las propiedades de la operacin de tomar el l o mite de una sucesin de funciones. o

x I. En este caso, podemos denir una funcin f : I R mediante: o f (x) = l fn (x), m

n+

y se dir que f es el l a mite puntual {fn }n que {fn }n converge puntualmente a f . o Ejemplos 9.1.1. Usando lo visto en el ejemplo 2 de la seccin 4.1.1 tenemos que {fn }n converge puntualo mente a la funcin f : [0, 1] R denida por f (x) = 0 si 0 x < 1 y f (1) = 1. Vase g o e 1. Consideremos la sucesin {fn }n donde fn : [0, 1] R y fn (x) = xn . o

ww w.

En esta seccin, {fn }n denota una sucesin de funciones fn : I R, denidas en un intervalo o o I. Se dice que {fn }n converge punto por punto, si la sucesin {fn (x)}n converge, para cada o

at

em

at ic

9.1.

Convergencia puntual y uniforme

a1

.c

2. Sea {fn }n la sucesin denida por fn : (0, +) R ; f (x) = x1/n . Tenemos que {fn }n o converge puntualmente a la funcin constante f (x) = 1 para x > 0 (ver ejercicio 5 de la o seccin 4.3). o Sea {fn }n una sucesin convergente punto por punto. Dado x I y > 0, existe un natural o n0 tal que |fn (x) f (x)| si n n0 . El ejercicio 1 pone en evidencia que ste nmero n0 e u

depende, en general, tanto de como de x. Cuando sea posible elegir n0 independiente de x I, diremos que la convergencia es uniforme. Ms precisamente, diremos que una sucesin {fn }n a o converge uniformemente a f : I R, si para cada > 0 existe N N tal que |fn (x) f (x)| si n N y x I.

Vase g. ??. En este caso tambin se dice que f es el l e e mite uniforme de {fn }n .

Incluir grca a

El prximo teorema dice que el l o mite uniforme de funciones continuas es una funcin o continua. Teorema 9.1.3. Si {fn }n converge uniformemente a f : I R y cada fn es continua, entonces f tambin lo es. e Demostracin: Fijemos x0 I y o > 0. De la decin de convergencia uniforme, existe N N o (1.1)

tal que

|fn (x) f (x)| , si n N y x I. 3 Por otra parte, como fN es continua en x0 , existe > 0 tal que |fN (x) fN (x0 )| En n, de la relacin o |f (x) f (x0 )| |f (x) fN (x)| + |fN (x) fN (x0 )| + |fN (x0 ) f (x0 )|, 3 si |x x0 | .

ww w.

para cada x I (es decir, {fn }n converge punto por punto a f ).

at e

Proposicin 9.1.2. Si {fn }n converge uniformemente a f , entonces {fn (x)}n converge a f (x), o

at

vergencia que hemos introducido hasta ahora. La demostracin es inmediata y la dejamos a o cargo del lector.

ic a1

.c o

El resultado que enunciaremos a continuacin indica la relacin entre los dos tipos de cono o
m

(1.2)

y de las ecuaciones (1.1)-(1.2), se tiene que |f (x) f (x0 )| , si |x x0 | . El teorema anterior nos proporciona un criterio para saber si una convergencia punto por punto (de una sucesin de funciones continuas) no es uniforme. Pus bastar saber que el l o e a mite puntual no es una funcin continua. Por ejemplo, la convergencia de la sucesin del ejemplo 1 o o no es uniforme, porque su l mite es la funcin discontinua f : [0, 1] R, dada por f (x) = 0 si o 0 x < 1 y f (1) = 1. Proposicin 9.1.4. (Criterio de Cauchy) Supongamos que para cada o que |fn (x) fm (x)| si m, n N y x I. > 0, existe N N tal (1.3)

Entonces {fn }n converge uniformemente a una funcin f : I R. o Demostracin: De (1.3) se concluye fcilmente que {fn (x)}n es una sucesin de Cauchy, para o a o cada x I. Esto permite denir una funcin f : I R mediante: o f (x) = l fn (x). m
n

ww w.

1. Considere la sucesin {fn }n donde fn : [0, 1] R y fn (x) = xn y je x (0, 1) (ver o ejemplo 9.1.1). Dado (0, 1), calcule el menor nmero natural n0 tal que u |fn (x) f (x)| si n n0 ,

depende de x y de . Note tambin que, para cada > 0 dado, n0 ( , x) , cuando x e 0. Concluya que dado > 0, no es posible encontrar un natural N tal que |fn (x)f (x)| si n N y x (0, 1).

donde f denota el l mite puntual de {fn }n . Observe que este nmero, n0 = n0 ( , x), u

2. Considere la sucesin {fn }n denida por fn : (0, +) R ; f (x) = x1/n (ver ejemplo o 9.1.1). Fije > 0 y use reduccin al absurdo para mostrar que no existe un natural N tal o que |fn (x) f (x)| , si n N y x > 0.

at e

lo cual termina la prueba.

Ejercicios

at

|fn (x) f (x)|

ic a1

Tomando l mite en (1.3), cuando m , queda,

si n N,

.c o

3. Pruebe que la sucesin {fn }n donde fn : [0, 1] R est denida por: o a fn (x) = nx fn (x) = 1 si 0 x 1 si x n ,
1 n

converge punto por punto. Ayuda. Graque fn para algunos valores de n. 4. Sea fn (x) = acotado.
x n

para x I. Pruebe que {fn }n converge uniformemente si y slo si I es o

5. Pruebe que si {fn }n y {gn }n son sucesiones uniformemente convergentes a f y g respectivamente, entonces {fn + gn }n converge uniformemente a f + g. Muestre un resultado anlogo para el producto, suponiendo adems que f y g son acotadas. a a

6. Suponga que {fn }n converge uniformemente a f y sea {xn }n una sucesin en I que o converge a un punto x0 I. Pruebe que fn (xn ) f (x0 ). 7. Sea fn : [0, 1] R denida por: nx, 2 nx, fn (x) = 0,
ww w.
1 si 0 x n ;

.c o

ic a1

si

1 n 2 n

2 < x n;

8. Sea f : [a, b] R continua y sea > 0. Pruebe que existe una funcin en escalera (ver o denicin en la seccin 8.7) : [a, b] R tal que |f (x) (x)| , para cada x [a, b]. o o

Concluya que existe una sucesin {n }n , donde cada n : [a, b] R es una funcin en o o escalera, que converge uniformemente a f .

9.2.

Intercambio de l mites con derivadas

En esta seccin supondremos que I es un intervalo abierto y que cada fn es diferenciable. o Si {fn }n converge puntual o uniformemente a una funcin f : I R, se abren varias interroo gantes: Ser {fn }n convergente?. Ser f diferenciable?, y en caso que estas respuestas fueran a a

armativas, Converger {fn }n a f ?. Un matemtico experimentado sabe que la convergencia a a de {fn }n no puede implicar nada sobre la convergencia de {fn }n , por lo que las respuestas, a las inquietudes anteriores, deben tener una respuesta negativa. Este es el objetivo de los tres ejemplos a continuacin. o

y use el ejercicio 6 para mostrar que esa convergencia no es uniforme.

at e

Pruebe que {fn }n converge punto por punto a la funcin constante f (x) = 0; 0 x 1 o

at

si

< x.

Ejemplos 9.2.1.

3x f (0) = 0 y f (x) = 2|x| , si x = 0. (Sugerencia: Graque varias de las fn ). Por otra parte, fn (0) = n, de modo que, {fn (0)}n no converge. Tambin se tiene que f no es derivable e

El lector vericar que {fn }n converge punto por punto a la funcin f : R R dada por: a o

1. Sea fn : R R denida por: nx, n2 2 x + 2nx 1 , 2 2 fn (x) = 1 n2 2 2 x + 2nx + 2 , 3x , 2|x|

1 si |x| n ;

si si

1 2 x ; n n
2 n 1 x n;

2 si |x| n .

en x = 0.

2. Sea fn (x) = |x||x| n . Tenemos que {fn }n converge punto por punto a la funcin f (x) = |x| o (ver el ejercicio 5 de la seccin 4.3). En este caso, f (0) no existe, aunque fn (0) = 0, para o
.c o m

cada n N.

ic a1

3. Sea fn : R R denida por: fn (x) =

at e

4 5 2 3 n x 4n x + 7x,

1 si |x| n ; 1 si |x| n .

El lector probar que |fn (x)| a

En particular, fn (0) f (0). En este ejemplo, {fn }n converge uniformemente a la funcin o diferenciable f = 0, pero {fn (0)}n no converge a f (0). Teorema 9.2.2. Supongamos que {fn }n converge uniformemente a una funcin g : I R y o que, para algn x0 I, {fn (x0 )}n converge. Entonces {fn }n converge punto por punto a una u funcin diferenciable f : I R y f = g. o Demostracin: Fijemos o > 0. De la denicin de convergencia uniforme, existe N N tal que o |fn (x) g(x)| , 2 si n N y x I. (2.1)

ducir que {fn }n converge uniformemente a la funcin constante f (x) = 0. Por otra parte, a o se verica que fn es diferenciable en R y que: 4 4 1 si |x| n ; 5n x 12n2 x2 + 7, fn (x) = 1 0, si |x| n .

ww w.

4x , n|x| 12 , n

para cualquier n N y cualquier x R. De aqu de

at

De aqu y la desigualdad triangular, |fn (x) fm (x)| , si m, n N y x I.

Dados m, n N, denimos mn : I R por, mn (x) = fn (x) fm (x). Note enseguida que |mn (x)| si m, n N y x I.

Por otra parte, dados x, z I existe (por el Teorema del Valor Medio) c I tal que mn (x) mn (z) = (x z)mn (c), y en consecuencia, |mn (x) mn (z)| |x z|, si m, n N. (2.2) Ya que {fn (x0 )}n es de Cauchy, existe n0 N tal que |fn (x0 )fm (x0 )| si m, n n0 . Es decir, |mn (x0 )| si m, n n0 . De aqu y (2.2), con z = x0 , obtenemos |mn (x)| [1 + |x x0 |] , si m, n mx{N, n0 }. Esto muestra que {fn (x)}n es de Cauchy, para cada x I, lo cual permite a denir f : I R, mediante: f (x) = l fn (x). m
n+

f (x) f (z) (x z)g(z) = [N (x) N (z)]+ [fN (x) fN (z) (x z)fN (z)] + (x z)[fN (z) g(z)], de manera que por (2.3) y (2.1), queda |f (x) f (z) (x z)g(z)| 3 |x z| 2
ww w.

+|fN (x) fN (z) (x z)fN (z)|. Por otra parte, como fN es diferenciable en z, existe > 0 tal que |fN (x) fN (z) (x z)fN (z)| |x z| si |x z| , de manera que |f (x) f (z) (x z)g(z)| 5 |x z|, 2 si |x z| .

Fijemos ahora z I y probemos que f es diferenciable en z y que f (z) = g(z). Comencemos observando que,

at e

at

|n (x) n (z)| |x z|,

ic a1

Denamos n (x) = f (x) fn (x). Ya que n (x) = l m+ nm (x), se sigue de (2.2) que m
.c o

si n N.

(2.3)

Ejercicios 1. Pruebe que en el teorema 9.2.2, {fn }n converge uniformemente a f en compactos. Esto signica, por denicin, que para cada subconjunto compacto K de I, la sucesin o o de restricciones {fn |K}n converge uniformemente a f |K. 2. En el teorema 9.2.2, suponga que las fn son continuas y use el teorema fundamental del clculo para mostrar, de manera sencilla, que {fn }n converge punto por punto a la funcin a o x f (x) = y0 + x0 g, donde y0 es el l mite de la sucesin {fn (x0 )}n . o

9.3.

Intercambio de l mites con integrales

El objetivo de esta seccin es probar el siguiente resultado. o Teorema 9.3.1. Sea fn : [a, b] R una funcin R-integrables en [a, b] para cada n N. o Suponga que {fn }n converge uniformemente a una funcin f : [a, b] R. Entonces f es Ro integrable en [a, b] y
b b

f = l m
a

Demostracin: Fijemos > 0. Por la denicin de convergencia uniforme, existe N N tal que o o

at

para cualquier particin P de [a, b]. Por otra parte, de la relacin f = (f f N ) + fN y del o o argumento en la demostracin de la proposicin 8.3.1 obtenemos o o U (f, P ) U (f fN , P ) + U (fN , P ) + U (fN , P ), para cualquier particin P de [a, b]. o que junto a la desigualdad anterior arroja De manera semejante se muestra que, L(f, P ) + L(fN , P ) para todo P P([a, b]), lo U (f, P ) L(f, P ) 2 + U (fN , P ) L(fN , P ), para todo P P([a, b]).

8.2.5, f R([a, b]).

L(fN , PN ) y por la desigualdad anterior, U (f, PN )L(f, PN ) 3 . De aqu y la proposicin o

Por otra parte, de la proposicin 8.2.5, existe una particin PN de [a, b] tal que U (fN , PN ) o o

ww w.

En particular,

|U (f fN , P )|

at e

|fn (x) f (x)|

ic a1
si

.c o

n+

ba

n N , x [a, b].

fn .

(3.1)

En n, de las proposiciones 8.3.1 y 8.3.4,

b a b b b

fn =
a a

(f fn )

|f fn | ,

y por (3.1),
b a b

fn ,

si n N.

A continuacin daremos un ejemplo para mostrar que el teorema 9.3.1 falla cuando la o convergencia es solamente puntual. Ejemplo 9.3.2. Ya que Q [0, 1] es numerable, existe una biyeccin h : N Q [0, 1]. o Denamos ahora fn : [0, 1] R por: fn (x) = 0, 1, si x {h(1), , h(n)}, si x {h(1), , h(n)}. /

Del ejercicio 8 de la seccin 8.2, resulta que cada fn es R-integrable en [0, 1]. El lector verio car tambin que {fn }n converge punto por punto a la funcin f del ejemplo 8.2.4 de la seccin a e o o 8.2, la cual no es R-integrable en [0, 1].

Dado n N, denimos Sn : I R mediante,

n

ww w.

precedentes, {fn }n denota una sucesin de funciones, denidas en un intervalo no degenerado o I de R.

at e

Comenzaremos con la denicin formal de serie de funciones. Al igual que en las secciones o

Sn (x) =
i=1

at
fi (x).

9.4.

Series de funciones

Esta funcin Sn suele denotarse por o

n i=1

La sucesin de funciones {Sn }n , ser llamada la serie asociada a {fn }n y ser denotada por o a a e e n fn o por n=1 fn . Tambin diremos que Sn es la n-sima suma parcial de esa serie. Observacin 9.4.1. Denotemos por A(I) al conjunto de todas las funciones f : I R. o Sabemos que la sucesin {fn }n , no es otra cosa que una funcin F : N A(I). Por otra parte, o o

fi o por f1 + +fn , y se le llama la suma de f1 , , fn .

en A(I) tenemos una ley de composicin asociativa, dada por, (f + g)(x) = f (x) + g(x), y o por el teorema 3.1.3, existe una unica aplicacin F : N A(I) tal que F (1) = F (1) y o serie, dada en esta seccin, coincide con la dada en le seccin 3.1. o o

F (n + 1) = F (n) + F (n + 1). El lector probar que F (n) = Sn , de manera que la nocin de a o

ic a1

.c o

En lo que sigue, n fn denota una serie de funciones denidas en I. El dominio de convergencia de n fn se dene como el conjunto J de aquellos x I, para los cuales la serie numrica e
n

J puede ser, eventualmente, vac En cualquier caso, podemos denir una funcin o. o

fn (x) es convergente. Es decir, x J si y slo si {Sn (x)} converge. El conjunto o

f : J R; Diremos que la serie

n

f (x) =
n=1

fn (x).

(4.1)

fn converge uniformemente en un subconjunto K de J, si la sucesin o

de sumas parciales {Sn } converge uniformemente en K. Proposicin 9.4.2. (Criterio de Cauchy) Sea K J y supongamos que, para cada o existe N N tal que
n+p

> 0,

| Entonces
n

i=n+1

fn (x)|

si

n N; p N, x K.

fn converge uniformemente en K.

n+p

Sn+p (x) Sn (x) =

ic a1

.c o

y el resultado se sigue ahora aplicando la proposicin 9.1.4 a la sucesin de restricciones o o {Sn |K}n . Proposicin 9.4.3. (Criterio de Weierstrass) Supongamos que existen constantes no negativas o Mn tales que |fn (x)| Mn , para cada x I. Si n Mn es convergente, entonces J = I y n fn converge uniformemente en I. Demostracin: De la proposicin 4.10.1, J = I. Sabemos tambin que la sucesin {s n }n de o o e o sumas parciales sn = M1 + + Mn es convergente y en consecuencia, de Cauchy. De aqu , dado > 0, existe N N tal que |sn+p sn | si n N y p N. Es decir,
n+p

ww w.

|Sn+p (x) Sn (x)| ,

at e

Luego, dado > 0, existe N N tal que

i=n+1

Mi ,

at
si

i=n+1

si n N, p N, x K,

n N , p N,

Demostracin: Se tiene, para cada x I, que o

fi (x).

y en consecuencia, (ver proposicin 5.2.5, parte c)), o

n+p n+p n+p

i=n+1

fi (x)

i=n+1

|fi (x)|

i=n+1

Mi ,

si

n N , p N, x I.

El resultado se deduce directamente de la proposicin anterior. o

Ejercicios 1. Pruebe que si cada fn es continua, entonces cada Sn tambin lo es. Ayuda. Pruebe que e Sn+1 = Sn + fn+1 . 2. Pruebe que si I es abierto y cada fn es diferenciable en I, entonces cada Sn tambin lo e es y Sn = f1 + + fn . 3. Pruebe que si I = [a, b] es compacto y fn R([a, b]) para todo n N, entonces cada Sn es R-integrable en [a, b] y
b a

Sn =

n i=1

b a

fi .

6. Suponga que I = [a, b] y que cada fn es R-integrable en [a, b]. Pruebe que si es uniformemente convergente en [a, b], entonces f tambin es R-integrable y e
n b a

ww w.

uniformemente convergente en I y J = , entonces J = I. Adems, muestre que la funcin a o f es diferenciable en cada x I y f (x) = n fn (x).

at e

5. Suponga que I es abierto y que cada fn es diferenciable en I. Pruebe que si

ic a1

4. Suponga que fn es continua para cada n N y que

.c o

fn converge uniformemente en un

subconjunto K de J. Pruebe que la funcin f , denida en (4.1), es continua en K. o

n

fn es

at

b a

fn f =
n

fn .

9.5.

Series de potencias

de la notacin, la serie n0 fn ser denotada por n0 an xn y ser llamada una serie de o a a potencias. Los nmeros an sern llamados los coecientes de la serie n0 an xn . u a A lo largo de esta seccin, J denota el dominio de convergencia de o f : J R, mediante f (x) = fn (x).
n0 n0

En esta seccin, I = R y fn (x) = an xn , donde n 0 es un entero y an R. Abusando o

an xn y denimos

Note que 0 J.

Proposicin 9.5.1. Si x0 J, entonces (|x0 |, |x0 |) J. o Demostracin: Si x0 = 0, no hay nada que mostrar. Supongamos ahora que x0 = 0 y jemos o x (|x0 |, |x0 |). Entonces |x| < |x0 |, de modo que 0 r := |x/x0 | < 1. Por otra parte, por la proposicin 4.9.3, la sucesin {an xn }n converge (a cero) y en conseo o 0 n cuencia es acotada. As existe M > 0 tal que |an x0 | M ; para cada n N. Por lo tanto, , |an xn | = |an xn |rn M rn . 0 De aqu ,
n0

xn es absolutamente convergente, porque la serie geomtrica e

rn converge

cuando 0 r < 1. El resultado se deduce de la proposicin 4.10.1. o Lemma 9.5.2. Sea L un subconjunto de R tal que 0 L y (|x0 |, |x0 |) L si x0 L. Entonces existe [0, +] tal que (, ) L [, ]. En particular, L es un intervalo. Demostracin: Pongamos = sup(L). Si x (, ), entonces |x| < r y por la proposicin o o 2.6.1, existe y L tal que |x| < y. Es decir, x (y, y). Pero por hiptesis, (y, y) L y as o , x L. Esto muestra que (, ) L.
m

Por el lema anterior, existe [0, +] tal que (, ) L [, ]. Este elemento , de la recta extendida, es llamado el radio de convergencia de n0 an xn . En lo que sigue,
ww w.

denota el radio de convergencia de

n0

Proposicin 9.5.3. (i) Supongamos que la sucesin {|an |1/n }n tiene lmite c en la recta exo o tendida. Entonces = 1/c. en la recta extendida. (ii) Un resultado anlogo vale si an = 0, n N; y la sucesin {|an+1 |/|an |}n tiene lmite c a o

Demostracin: Ya que |an xn |1/n = |an |1/n |x|, conclu o mos del Criterio de la Ra (ejercicio 6, z seccin 4.11), que n0 an xn converge si c|x| < 1 y diverge si c|x| > 1. Por lo tanto = 1/c. o El resto de la proposicin se demuestra de manera anloga usando el criterio del cociente o a (proposicin 4.11.5). o El siguiente resultado, que usaremos ms adelante, es un corolario inmediato de la proposia cin anterior y del hecho que n1/n 1 (ver ejercicio 6 de la seccin 4.3). o o

at e

an x n .

jemos y (, |x|). Entonces, y (|x|, |x|) L, lo cual es contradictorio porque y > = sup(J).

at

ic a1

Para terminar la prueba, supongamos por el absurdo, que existe x L tal que |x| > y

.c o

Proposicin 9.5.4. El radio de convergencia de la serie o Proposicin 9.5.5. Si [a, b] (, ) con a < b, entonces o en [a, b].

nxn1 es igual a uno. an xn converge uniformemente

n0

Demostracin: El lector probar sin dicultad que existe c en (0, ) tal que [a, b] [c, c]. o a Escoja d (0, ) tal que c < d. Escribamos r = c/d y notemos que, si x [a, b], entonces |an xn | |an |cn = |an dn |rn . Por otra parte, como
n

por consiguiente, es acotada. As existe M > 0 tal que |an dn | M , n N, y por lo tanto, , n n |an x | M r si n N y x [a, b]. Como la serie n rn es convergente (justicar), el resultado se deduce ahora del criterio de Weiertrass 9.4.3.

an dn es convergente, entonces la sucesin {an dn }n converge a cero y o

Corolario 9.5.6. f es continua en (, ). Demostracin: De la proposicin 9.5.5 y el ejercicio 4 de la seccin 9.4, la restriccin f |[a, b] es o o o o continua, para cada intervalo [a, b] contenido en (, ). Dejamos a cargo del lector vericar

at e

Corolario 9.5.7. Si [c, d] (, ), entonces

ww w.

m
n0

f=

Demostracin: Se deduce directamente de la proposicin 9.5.5 junto con el ejercicio 6 de la o o seccin 9.4. o La serie n nan xn1 (resp. de n0 an xn .
an n+1 ) n0 n+1 x

at
an dn+1 cn+1 . n+1 ser llamada la serie derivada (resp. integral) a

ic a1

que de esto se deduce fcilmente que f es continua en (, ). a

.c o

Corolario 9.5.8. El dominio de convergencia de la serie integral de (, ). Es ms, a

n0

n0

an xn contiene a

an n+1 x = n+1

f,
0

para todo x (, ).

Demostracin: El resultado se deduce del corolario anterior aplicado al intervalo [0, x] (resp. o [x, 0], donde x (, ) y x 0 (resp. x 0).

Proposicin 9.5.9. Si > 0, entonces el dominio de convergencia de la serie derivada de o n a n0 an x contiene a (, ). Es ms, f es diferenciable en este intervalo y f (x) =
n

nan xn1 ,

para todo x (, ).

Demostracin: Fijemos x (, ). Ya que |x| < , entonces, por la proposicin 2.6.1, existe o o M n1 1 nr , |nan xn1 | = n|an y n |rn1 y y para alguna constante M > 0. Por la proposicin 9.5.4 conclu o mos que prueba la primera parte de la proposicin. o
n

y J tal que |x| < y. Deniendo r = |x|/y y recordando que la sucesin {an y n }n es acotada, o obtenemos n N,

nan xn1 es absolutamente convergente. Esto

y de la primera parte de esta proposicin se sigue que la serie derivada converge uniformemente o en [z r, z + r]. Aplicando el ejercicio 5 de la seccin 9.4 al intervalo (z r, z + r), conclu o mos que f es diferenciable en z y que f (z) =
n

Fijemos z (, ) y escojamos r > 0 tal que [z r, z +r] (, ). De la proposicin 9.5.5 o

nan z n1 . Recuerde que

.c o m

n0

an z n es convergente.

at
xn . n!

x R:

ic a1

Ejemplo 9.5.10. (La funcin exponencial) Considere la siguiente serie de potencias, donde o

para todo x R. Sea f (x) la funcin asociada a la serie (5.1). Motraremos que f es precisao mente la exponencial ex . Primero que todo recordemos que ex se dene como la inversa de la funcin logar o tmica dada en la proposicin 8.4.6 y adems que la derivada de ex es ella misma o a (proposicin 8.4.7). o Notemos que si derivamos trmino a trmino la serie (5.1) obtenemos la misma serie (verie e carlo). Por lo tanto, por el ejercicio 5 de la seccin 9.4, concluimos que f = f . Por lo tanto, la o esto dice que h(1) = 0. Finalmente, por el ejercicio 10 de la seccin 7.3 (vea tambin el ejercicio o e 5 de la seccin 7.5) se concluye que h(x) = 0 para todo x R. o funcin h(x) = f (x) ex satisface que h = h. Por otra parte f (1) = e (ver proposicin 4.4.5), o o

En los ejercicios que siguen veremos ejemplos de series que son de potencias pero en realidad no caen dentro de la denicin que hemos adoptado. Para subsanar este inconveniente, podemos o adoptar la siguiente denicin ms general. Diremos que la serie o a fn (x) = an x
h(n) n0

ww w.

Dejamos al lector vericar que el criterio del cociente 9.5.3(ii) garantiza que esta serie converge

at e

(5.1)

n0

fn es de potencia, si

, donde an R y h : N {0} N {0} es una funcin inyectiva. El lector o

probar que, salvo las proposiciones 9.5.3 y 9.5.9, los resultados de esta seccin permanecen a o vlidos para este nuevo concepto de series de potencia. La proposicin 9.5.9 permanece vlida a o a cuando h(n)/np 0, para algn p N. Esto ocurre, por ejemplo, cuando h es polinomial: u h(n) = b0 + b1 n + + bq nq . En n, el radio de convergencia de estas series de potencia puede ser calculado usando las ideas de la proposicin 9.5.3. o Ejercicios. 1. Calcule el dominio de convergencia de las siguientes series de potencia: a)
n

(1)n1 n x n (1)n1 2n1 x (2n 1)! (1)n 2n x (2n)!

b)
n

c)
n0

n0

f (N ) (x) =
ww w.

4. Pruebe que ln(1 + x) =

n

at e

n0

3. Pruebe que si > 0, entonces la restriccin de f a (, ) es de clase C y o (n + 1) (n + N )an+N xn .

at

ic a1
n n

serie integral de

nan xn1 es

an x n .

(1)n1 n x , n
n

cambiando x por x, tenemos que

si 1 < x < 1. Ayuda. La serie geomtrica e

n (1)

x converge a 1/(1 + x) en (1, 1). Utilice

n (1) n1

ahora el corolario 9.5.7 y la proposicin 8.4.6. o Nota. Ya que, por el criterio de las series alternadas (proposicin 4.11.6), o /n converge, se sigue de un teorema de Abel (ver, por ejemplo, [8, Pag. 172]) que, la igualdad del ejercicio 4, vale para x = 1. Es decir, ln(2) = 1 1/2 + 1/3 1/4 + 1/5 = (1)n1 . n

.c o

2. Pruebe que n0 an xn y sus series derivada e integral tienen, las tres, el mismo radio de an convergencia. Ayuda. Note que la serie derivada de n0 n+1 xn+1 es n0 an xn y que la
m

xn converge a 1/(1 x) si |x| < 1, y

Como es usual, ln denota la funcin logaritmo neperiano. o

9.6.

Las funciones trigonomtricas e

En esta seccin construiremos las funciones seno y coseno. o Teorema 9.6.1. Existe una unica funcin f : R R, dos veces diferenciable, tal que o f + f = 0, f (0) = 0, f (0) = 1. (6.1)

Adems, g := f : R R es la unica funcin, dos veces diferenciable, que satisface a o g + g = 0, g(0) = 1, g (0) = 0. (6.2)

Las funciones f y g se conocen como las funciones seno y coseno y se denotan por sen and cos respectivamente. Demostracin: Unicidad. Supongamos que f, F : R R son funciones dos veces diferenciables o que verican (6.1) y denamos h = F f . Entonces h + h = 0, h(0) = h (0) = 0. Note que

h es necesariamente C y adems que h(n) (0) = 0 para todo n. Fije x R, x = 0. Usando la a frmula de Taylor (teorema 7.5.1) se tiene directamente que existe una sucesin {c n }n entre cero o o
.c o

y x tal que h(x) = h(cn )xn /n! para todo n N (vericar). De esto se concluya que h(x) = 0. De manera anloga se demuestra la unicidad de g. a

f (x) =

Es ms, por la proposicin 9.5.9, f es diferenciable en R y a o f (x) =

n0

ww w.

at e

n0

m
f (x) =
n1

por

Por la proposicin 9.5.9, una vez ms, tenemos que f es dos veces diferenciable y que o a (1)n 2n1 x = (2n 1)! (1)n+1 2n+1 x = f (x). (2n + 1)!

Por lo tanto, f satisface las condiciones en (6.1). Pongamos g = f . De (6.1) tenemos, f + f = 0, En n, g (0) = f (0) = f (0) = 0. f (0) = 1, y as g + g = 0, , g(0) = 1.

Obtendremos ahora algunas propiedades de las funciones seno y coseno utilizando unica mente las propiedades enunciadas en (6.1) y (6.2). En lo que sigue, f y g denotan las funciones dadas por el teorema 9.6.1.

at

Existencia. Es fcil vericar que el criterio del cociente 9.5.3(ii) garantiza que R es el dominio a (1)n , o de convergencia de la serie n0 (2n+1)! x2n+1 . De aqu tenemos una funcin f : R R denida (1)n 2n+1 x . (2n + 1)!

ic a1
n0

(1)n 2n x . (2n)!

Proposicin 9.6.2. f (x)2 + g(x)2 = 1 para todo x R. En particular, f, g son acotadas. o Demostracin: Denamos h : R R por h(x) = f (x)2 + g(x)2 . Entonces h es diferenciable y o como g = f , obtenemos h (x) = 2f (x)f (x) + 2g(x)g (x) = 2f (x)[f (x) + f (x)] = 0, para cada x R. De aqu h es constante. Por ultimo observemos que h(0) = g(0)2 = 1. , Proposicin 9.6.3. Existe t0 > 0 tal que f (t0 ) = 0. o Demostracin: Ya que f es dos veces diferenciable, tenemos que f es continua, y como f (0) = o 1 > 0, existe r > 0 tal que f (x) > 0 para todo x (0, r). De aqu y el Teorema del Valor Medio, f (x) > 0 para todo x (0, r). Asumamos ahora que la proposicin es falsa. Del teorema de Bolzano, concluimos que f (x) > o

otro lado, como f es acotada, se deduce del ejercicio 9 de la seccin 7.3, que b = 0. Pero o g(0) = 1 > 0 y g es estrictamente decreciente en (0, ), lo cual implica que f = g > 0 en
.c o

0 para todo x (0, ) y as f < 0 en ese intervalo. Es decir, g = f es estrictamente decreciente en (0, ), y por la proposicin precedente, g(x) tiene l o mite, digamos b, cuando x +. Por

(0, ). En particular, f es estrictamente decreciente. Como f (x) = f (x) f (1) < 0, si x 1, entonces l x+ f (x) existe y es negativo. De nuevo, del ejercicio 9 de la seccin 7.3, se m o

f (x) y g(x+T ) = g(x), para cada x R. En particular, f (x+2T ) = f (x) y g(x+2T ) = g(x) para todo x R. Demostracin: La proposicin anterior permite denir T = inf{t0 > 0 : f (t0 ) = 0}. Como f o o es continua, entonces f (T ) = 0. Por otra parte, ya que f (0) = 1 > 0, se tiene que T > 0 (justicar). De la denicin de T resulta que f > 0 en (0, T ), porque f es continua y f (0) > 0. o En particular, g = f = f < 0 en (0, T ) y de aqu g(T ) < g(0) = 1. Pero de la proposicin , o 9.6.2, g(T ) = 1, de donde, g(T ) = 1. Denamos h(x) = f (x + T ) + f (x). Es fcil ver que h es dos veces diferenciable y que a
ww w.

h + h = 0. Por otra parte, h(0) = f (0) + f (T ) = 0 y h (0) = f (0) + f (T ) = g(0) + g(T ) = 0, lo que junto al ejercicio 6 de la seccin 7.5, dice que h = 0. As f (x + T ) = f (x). El resto de o , la prueba es dejada al lector.

Nota. El nmero T dado por la proposicin 9.6.4 es una constante muy importante en matemticas u o a y se denota por .

Proposicin 9.6.4. Existe T > 0 tal que f (T ) = 0 y f > 0 en (0, T ). Adems, f (x + T ) = o a

at e

at

concluye que f (x) , cuando x . Pero g(x) = f (x) es acotada. Esta contradiccin o termina la prueba.

ic a1

Proposicin 9.6.5. f (x + y) = f (x)g(y) + f (y)g(x) y g(x + y) = g(x)g(y) f (x)f (y), cuao lesquiera sean x, y R. Demostracin: Fijemos y R y denamos h1 , h2 : R R por: o h1 (x) = f (x + y), h2 (x) = g(y)f (x) + f (y)g(x).

El lector vericar sin dicultad que h1 (0) = h2 (0), h1 (0) = h2 (0) y hi + hi = 0 para i = 1, 2. a Sea h = h1 h2 . Por el mismo argumento usado en el teorema 9.6.1 para mostrar la unicidad de las funciones sen(x) y cos(x) se obtiene que h = 0 y as h1 = h2 , lo cual prueba la primera armacin. El resto es similar y lo dejaremos a cargo del lector. o

9.7.

Una funcin continua que no es diferenciable en o ning n punto u

Esta pequea seccin estar dedicada a construir una funcon f : R R continua pero n o a que no es diferenciable en ningn punto. La primera construccin de una funcin con esas u o o

ejemplo de Weierstrass muchos otros ejemplos fueron construidos. Presentaremos uno de ellos (seguiremos la presentacin hecha en [4]). o Considere la funcin o K(x) = x, si 0 x 1/2; si 1/2 x 1.

ww w.

donde 0 < b < 1, a es un entero impar y ab > 1 + 3/2. La demostracin de que f no es o diferenciable en ningn punto es larga y no la haremos aqu (vea por ejemplo [2]). Despus del u e

Extendamos periodicamente K a toda la recta, es decir, K(x + 1) = K(x) para todo x R. Dejamos a cargo del lector vericar que K es continua. Ahora dena

at e

1 x,

n=1

at

f (x) =

g(x) =
n=1

1 K(2n x). n 2

ic a1

en la comunidad matemtica de aquella poca. El ejemplo de Weierstrass es la siguiente funcin: a e o bn cos(an x)

.c o

propiedades fue realizada por Weierstrass en 1872. Este resultado caus un profundo impacto o

(7.3)

Ya que |K(x)| 1/2 para todo x y la serie 1 + 1/2 + 1/4 + + 1/2n + es convergente, no es dicil vericar que la serie en (7.3) converge uniformemente y por lo tanto g es continua.

Veamos que g no es diferenciable en ningn punto. Fijemos x0 un punto cualquiera. Sea n u y n la sucesin de nmeros con las siguientes propiedades: = i/2n , n = (i + 1)/2n donde i o u es un entero y n x 0 < n . Considere ahora la siguiente sucesin o rn = g(n ) g(n ) n n

Observe que para x de la forma j/2n , donde j es un entero, se tiene que la suma en (7.3) es en realidad nita (es decir, K(2n x) = 0 para n sucientemente grande, vea el ejercicio 4). Dejaremos a cargo del lector demostrar que la sucesin {rn }n no es convergente (vea el ejercicio o 5). Por otra parte, tenemos que rn = n g(x0 ) g(n ) g(n ) g(x0 ) + (1 n ) n x 0 x0 n

donde n = (n x0 )/(n n ) (0, 1]. En el caso que n = x0 se tiene que n = 1 y no se

.c o m

incluye el segundo sumando en la expresin de arriba para rn . o Supongamos que g es diferenciable en x0 . Entonces, dado

> 0, para n sucientemente

1. Muestre que la funcin K es continua. o 2. Muestre que la serie en (7.3) converge uniformemente. 3. Muestre que las sucesiones n y n estn bien denidas. a 4. Muestre que para x de la forma j/2m , donde j es un entero, K(2n x) = 0 para n m. 5. Muestre que la sucesin {rn }n no es convergente. o Ayuda: a) Observe que rn es la pendiente de la funcin o
n1

ww w.

at e
Ejercicios K(2j x)
j=1

Esto dice que rn es convergente, lo cual es contradictorio.

at

|rn g (x0 )| < n + (1 n ) = .

ic a1

grande se cumple que

(7.4)

en el intervalo (n , n ).

b) Muestre que alguna de las dos alternativas siguientes se cumple: (1) n+1 = (n + n )/2 y n+1 = n (2) n+1 = n y n+1 = (n + n )/2. c) Haga un dibujo de la funcin dada en (7.4) en el intervalo (n , n ) y use la parte o anterior para mostrar que si (1) se cumple, entonces f (n+1 ) = f (n ) + (1/2n+1 )rn + 1/2n+1 Enuncie y demuestre un resultado anlogo para el caso cuando (2) se cumpla. a d ) Use los resultados anteriores para mostrar que rn+1 = rn 1.

9.8.

La integral de Riemann-Stieljes

El objetivo de esta seccin es hacer una brev o sima introduccin a la integral de Riemanno Stieljes. En lo que sigue, : [a, b] R denota una funcin denida en un intervalo compacto o [a, b]. Dado un intervalo I = [c, d] [a, b], denimos l (I) = (d) (c). Dada una particin o

2. Pruebe que toda funcin montona : [a, b] R es de variacin acotada y que V () = o o o |(a) (b)|. Sea : [a, b] R una funcin en escalera respecto a una particin P de [a, b]. Denimos o o la integral de Riemann-Stieljes de respecto a mediante,
b

ww w.

tambin lo son, para cualquier c R. e

1. Pruebe que si , : [a, b] R son funciones de variacin acotada, entonces + y c o

at e

m
d =
a IP

at

supremo de ese conjunto ser denotado por V () y se le conoce como la variacin total de a o .

donde cI es el valor de en int(I). En lo que sigue, , : [a, b] R denotan funciones de variacin acotada y , : [a, b] R o denotan funciones en escalera. 3. Muestre que la denicin de integral, dada anteriormente, es correcta. Es decir, no depende o de la particin P . Muestre tambin que valen las siguientes propiedades: o e

ic a1

P , de [a, b], denimos la variacin de respecto a P , por V (, P ) = IP |l (I)|. Si el o conjunto {V (, P ) : P P([a, b])} es acotado, diremos que es de variacin acotada, y el o
.c o m

cI l (I),

a) b) c) | d) e) f)

b ( a

+ )d = =c
b a

b a

d +

b a

d.

b (c)d a b a c a b a b a

d, si c R.
b a

d| M V (), si |(x)| M ; para todo x [a, b].

b c

d +

d =
b a

d, si c (a, b).
b a

d( + ) = d(c) = c
b a

d +

d.

d, si c R.

4. Sea {n }n una sucesin de funciones en escalera denidas en [a, b], la cual converge unio b formemente a una funcin f : [a, b] R. Pruebe que { a n d}n es convergente. Ayuda. o Pruebe que esa sucesin es de Cauchy. o 5. Sean {n }n , {n }n sucesiones de funciones en escalera, denidas en [a, b], las cuales convergen uniformemente a la misma funcin f : [a, b] R. Pruebe que { o b { a n d}n convergen al mismo l mite. f respecto a mediante,
b a

n d}n y

Sean {n }n y f como en el problema 4. Denimos la integral de Riemann-Stieljes de f d = l m

a n

ic a1

ww w.

3.

6. Pruebe que esta denicin de integral goza de las propiedades enunciadas en el problema o

at e

de funciones en escalera que aproxima a f .

at

Del problema 5 se tiene que esta denicin es correcta. Es decir, no depende de la sucesin o o

.c o
a

n d.

7. Use el ejercicio 8 de la seccin 9.1 para mostrar que la integral o

b a

f d est denida, para a

cualquier funcin continua f : [a, b] R y cualquier funcin : [a, b] R de variacin o o o acotada.