Beruflich Dokumente
Kultur Dokumente
. 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
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.
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.
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
Ejercicios
at
ic a1
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
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.
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
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 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
at e
4 5 2 3 n x 4n x + 7x,
1 si |x| n ; 1 si |x| n .
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
at
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
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.
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]).
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
ic a1
si
.c o
n+
ba
n N , x [a, b].
fn .
(3.1)
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].
ww w.
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
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
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
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
f (x) =
n=1
fn (x).
(4.1)
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
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.
at e
i=n+1
Mi ,
at
si
i=n+1
si n N, p N, x K,
n N , p N,
fi (x).
i=n+1
fi (x)
i=n+1
|fi (x)|
i=n+1
Mi ,
si
n N , p N, x I.
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
ic a1
fn converge uniformemente en un
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
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
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.
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].
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.
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
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
.c o
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,
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
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
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
b)
n
c)
n0
n0
f (N ) (x) =
ww w.
at e
n0
at
ic a1
n n
serie integral de
nan xn1 es
an x n .
(1)n1 n x , n
n
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
9.6.
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) =
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 .
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.
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
.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
incluye el segundo sumando en la expresin de arriba para rn . o Supongamos que g es diferenciable en x0 . Entonces, dado
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
at
ic a1
(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.
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 +
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
ic a1
ww w.
3.
6. Pruebe que esta denicin de integral goza de las propiedades enunciadas en el problema o
at e
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.
b a