4.3.

FUNCIONES MONOTONAS: WEIERSTRASS Y EL TEOREMA DE LEBESGUE 77

4.3.

Funciones mon otonas: Weierstrass y el teorema de Lebesgue

Un problema que atrajo la atenci on en el siglo 19, son las propiedades de diferenciabilidad de las funciones continuas. La pregunta m as b asica es cu an poco diferenciable puede ser una funci on continua. En una charla a la Academia Real de Ciencias de Berl n en 1872, Riemann conjetur o que la funci on

R(x) =
k =1

sin(kx) , k2

(4.3)

es continua en todas partes y no diferenciable en ning un punto (CTPND), pero sin demostrarlo. Por la convergencia absoluta de la serie es obvio que la funci on es continua. En 1876 Weierstrass examin o

K (x) =
n=1

an cos(bn x)

, probando que es continua y no diferenciable con a (0, 1), b (2n + 1)Z y ab > 1 + 32 en ning un punto. Reci en en 1916, G. Hardy prueba que R(x) es no diferenciable en todos los irracionales y en alguos racionales. Adem as prob o que K (x) es CTPND si 0 < a < 1 y ab 1. En 1969, Joseph Gerver prueba el siguiente resultado.

Teorema 4.9. La funci on R(x) es diferenciable en x si y s olo si x = p/q es racional con p y q impares. Adem as, en tales puntos su derivada es igual a 1/2. Finalmente, en 1930 Van den Waerden estudio la funci on W (x) = donde f es peri odica de periodo 1 y f (x) = probando el siguiente resultado. x si 0 x 1/2 1 x si 1/2 x 1 f (10n x) 10n n=0

Teorema 4.10. La funci on W (x) es continua y no diferenciable en ning un punto.

78

CAP ITULO 4. PREAMBULOS DE LA INTEGRACION

n. Para probar la continuidad de W (x) denamos Demostracio

n

Wn (x) =
k =0

f (10k x) 10k

luego Wn es una sucesi on de funciones continua en R tal que si m > n tendremos que
m

|Wn (x) Wm (x)|

k =n

1 10k

que va a cero uniformemente cuando n, m (dada la convergencia de la serie con t erminos 10k ). Por lo tanto {Wn } es una sucesi on de Cauchy en las funciones continuas, con l mite la funci on continua W (x). Para probar que W (x) no es diferenciable en ning un punto, notemos que W (x + 1) = W (x). Entonces, es suciente que W (x) es no diferenciable en [0, 1]. Si [x] es la parte entera de x, denimos Fr(x) := x [x] la parte fraccionaria de x. Luego es f acil probar que f (10n x) = n f (Fr(10 x)). Sea x [0, 1] dado por su expansi on decimal x = 0.a1 a2 . . . am . . . , Denimos hm = Queremos analizar f (10n (x + hm )) f (10n x) W (x + hm ) W (x) = 10m . hm 10n n=0 Separamos el an alisis en tres casos: 1) Si n m, entonces Fr(10n (x + hm )) = 0.an+1 . . . = Fr(10n x). Luego W (x + hm ) W (x) = 10m hm
m1 n=0

0 ai 9, i N.

10m si am = 4, 9 10m si am = 4, 9

f (10n (x + hm )) f (10n x) . 10n

2) Si n = m 1, entonces Fr(10n (x + hm )) = 0.(am 1)am+1 . . .. Luego f (10n (x + hm )) f (10n x) = 10nm si am = 5, 6, 7, 8, 9 10nm si am = 0, 1, 2, 3, 4

3) Si n < m 1, si denimos k := m n tenemos que k = 2, . . . , m. Entonces Fr(10n (x + hm )) = 0.am(k1) am(k2) . . . (am 1)am+1 . . . y tendremos que f (10n (x + hm )) f (10n x) = Luego, W (x + hm ) W (x) = 10m hm
m1 n=0

10nm si am(k1) = 5, 6, 7, 8, 9 10nm si am(k1) = 0, 1, 2, 3, 4 f (10n (x + hm )) f (10n x) = m 10n

que diverge cuando m . Por lo tanto W (x) no es diferenciable en ning un punto.

 4.3. FUNCIONES MONOTONAS: WEIERSTRASS Y EL TEOREMA DE LEBESGUE 79 Teorema 4.11. Sea f : [a, b] R es una funci on mon otona, entonces la cardinalidad del conjunto de puntos donde f no es continua es a lo m as numerable. n. Sin p Demostracio erdida de generalidad supondremos que f es mon otona no decreciente. Denamos w(x) := l m f (y ) l m f (y )
y x y x

y Dx := {z : l m f (y ) < z < l m f (y )}.

y x y x

luego f es continua en x si y s olo si w(x) = 0. Supongamos que x0 y x1 son puntos de discontinuidad de f , entonces Dx0 , Dx1 son no vac os tales que Dx0 Dx1 = . Como para cada Dx no vac o existe un racional q que est a en Dx , entonces no puede haber m as que una cantidad numerable de puntos de discontinuidad de f , dado que los Dx = son disjuntos. Acabamos de probar que una funci on mon otona denida en un intervalo acotado es continua salvo por una cantidad numerable de puntos. Ahora nos interesa analizar, para la clase de funciones mon otonas su diferenciabilidad. Probaremos el siguiente resultado. Teorema 4.12 (Lebesgue). Sea f una funci on mon otona en [a, b]. Luego f es c.s. diferenciable. Como primer paso en la demostraci on, probaremos el siguiente lema ocupando impl citamente el concepto de medida externa. Lema 4.13. Sea 0 < q < 1 y E R. Supongamos que E ocupa una fracci on menor o igual a q en todo intervalo. Es decir, si (a, b) R, entonces E (a, b) est a contenido en k =1 (ak , bk ) tal que

(bk ak ) q (b a).
k =1

Luego m(E ) = 0. n. Sea (a, b) R. Sabemos que existe una sucesi Demostracio on de intervalos abiertos (ak , bk ) tales que E (a, b) k=1 (ak , bk ) y

(bk ak ) q (b a).
k =1

Similarmente, para cada intervalo (ak , bk ) existe una sucesi on (ak,1 , bk,1 ), (ak,2 , bk,2 ), . . . tal que E (ak , bk ) ( a , b ) y k1 =1 k,k1 k,k1

(bk,k1 ak,k1 ) q (bk ak ).

k1 =1

Combinando ambas desigualdades conclu mos que

(bk,k1 ak,k1 ) q 2 (b a).

k =1 k1 =1

Por inducci on en n podemos entonces conclu r que para todo n existe una colecci on de intervalos abiertos (c1 , d1 ), (c2 , d2 ), . . . tales que E (a, b) j =1 (cj , bj ) y

80

CAP ITULO 4. PREAMBULOS DE LA INTEGRACION

(cj dj ) q n (b a).
j =1

Por lo tanto, por denici on m(E ) = 0. Continuamos con el siguiente Lema conocido como el lema del agua que uye o el lema del sol creciente. Lema 4.14 (Riesz). Sea g una funci on en [a, b] tal que g(a+ ) = l mh0 g(a + h) y g(b ) = l mh0 g(b + h) existen, y para todo punto x (a, b), g(x+ ) = l m g(x + h)
h0

g(x ) = l m g(x + h)
h0

existen. Sea G(x) := m ax{g(x ), g(x), g(x+ )}. Luego E := {x [a, b] : y [a, b], y > x, g(y ) > G(x)} es abierto. Adem as, si (c, d) es alguna componente en E , entonces G(d) g(c+ ). n. Probaremos primero que E es abierto. Sea x E . Luego existe y [a, b], Demostracio y > x, tal que g(y ) > G(x). Denamos := g(y ) G(x) > 0. Como g(x ) existe, entonces existe un > 0 tal que para todo z (x , x) |g(z ) g(x )| < , 2 Luego de (6.3) se tiene G(z ) g(x ) + G(x) + 2 2 g(y ) g(y ) 2 por lo tanto z E . Similarmente, haciendo el mismo an alisis para g(x+ ) podemos concluir que existe una vecindad de x que est a enteramente contenida en E . De ello concluimos que E es abierto. Sea (c, d) una componente conexa abierta de E . Supondremos que g(c+ ) > G(d), luego existe > 0 y x (c, d) tales que g(x) G(d) + Denamos z1 := sup{z [x, d] : g(z ) G(d) + }. Luego G(z1 ) G(d) + , de donde es inmediato que z1 = d (en particular z1 < d). Entonces z1 E . Por lo tanto existe y (a, b), y > z1 , tal que g(y ) > G(z1 ) G(d) + Pero esto contradice la denici on de z1 .
g(z1 )

|g(z ) g(x )| < , 2

|g(z + ) g(x )| < . 2

(4.4)

 4.3. FUNCIONES MONOTONAS: WEIERSTRASS Y EL TEOREMA DE LEBESGUE 81 Denici on 4.15. Sea f : R R. Luego denimos las derivadas de Dini de f por, f + (x) := l m sup
y x

f (y ) f (x) , yx

f (x) := l m sup
y x

f (y ) f (x) , yx

f (y ) f (x) , f+ (x) := l m inf y x yx

f (x) := l m inf
y x

f (y ) f (x) , yx

Para demostrar el teorema de Lebesgue probaremos que f + (x) < y que f + (x) f (x) c.s. c.s. (4.5)

En efecto, si la segunda desigualdad es verdadera, deniendo h(x) := f (x), vemos que h+ (x) = f (x) y h (x) = f+ (x). Luego f (x) f+ (x) Por lo tanto f + (x) f (x) f (x) f (x) f + (x) c.s. c.s.

y la desigualdad (4.5) implica que f es c.s. diferenciable. Para probar (4.5) denimos el conjunto ER := {x (c, d) : f es continua en x, f + (x) > R}. Mostraremos que el conjunto E = R ER , tiene medida de Lebesgue 0. Notemos que si x ER , entonces existe un y > x tal que f (y ) f (x) > R. yx Es decir, g(y ) > g(x) donde g(x) = f (x) Rx. Por el lema anterior, existen intervalos disjuntos (ak , bk ) tales que F (bk ) Cbk f (ak ) Cak , con F (x) := m ax{f (x ), f (x), f (x+ )}, lo que equivale a C (bk ak ) F (bk ) f (ak ). Sumando sobre k y ocupando la monotonicidad de f conclu mos que R (bk ak ) (f (b+ k ) f (ak )) f (b) f (a).

Esto prueba que E tiene medida de Lebesgue 0. Ahora sea Er,R := {x (a, b) : f (x) < r < R < f + (x)}.

82 Mostraremos que el conjunto

CAP ITULO 4. PREAMBULOS DE LA INTEGRACION

F := r,RQ Er,R , tiene medida de Lebesgue 0. Para ello probaremos que cada conjunto Er,R tiene medida de Lebesgue 0. En efecto, primero notemos que si x Er, R, entonces f (x) < r . Por lo tanto, considerando la funci on f (x) rx, vemos que deben existir intervalos disjuntos (ak , bk ) cuya uni on contiene a Er,R tales que (f (bk ) f (ak )) r
k k

(bk ak ).

Por otra parte, para cada k el conjunto (ak , bk ) Er,R debe estar contenido en la uni on disjunta k ) tales que de intervalos (ak , b j j
k (bk j aj )) r j j k (f (bk j ) f (aj )).

Combinando estas desigualdades vemos que el conjunto Er,R ocupa una fracci on menor o igual a r/R en cada intervalo abierto de [a, b]. Por lo tanto, debe tener medida de Lebesgue 0. Teorema 4.16 (Fubini). Sea s(x) = otonas n=1 fn (x) una serie convergente de funciones mon del mismo tipo en [a, b]. Luego s es c.s. diferenciable. n. Pendiente Demostracio

4.4.

Funciones de variaci on acotada: Jordan y diferenciabilidad

Denici on 4.17. Sea [a, b] R un intervalo acotado. Sea a = x0 < x1 < < xk = b y denimos
k

:=

(xi xi1 ]
i=1

Diremos que es una partici on del intervalo [a, b] Denici on 4.18. Sea f : [a, b] R. Sea a = x0 < x1 < < xk = b. Denimos,
k k

p=
i=1

(f (xi ) f (xi1 ))+ ,

n=
i=1

(f (xi ) f (xi1 ))

t=n+p

donde (f (xi ) f (xi1 ))+ = f (xi ) f (xi1 ) cuando f (xi ) f (xi1 ) (f (xi ) f (xi1 )) = f (xi1 ) f (xi ) cuando f (xi ) f (xi1 ) Adem as, P = sup p, N = sup n y T = sup t, donde los supremos se toman sobre todas las particiones posibles de [a, b]. Denominaremos P, N, T las variaciones positivas, negativas y total de f en [a, b]. Si T < , diremos que f es una funci on de variaci on acotada. Ocuparemos la notaci on b , T b (f ) o simplemente T cuando no haya problema de confusi o n. An a logamente usaremos la Ta a b misma notaci on para P y N . El conjunto de funciones de variaci on acotada se nota por BVa .

 ACOTADA: JORDAN Y DIFERENCIABILIDAD 4.4. FUNCIONES DE VARIACION Ejercicio. Pruebe que t se puede escribir en la forma
k

83

t=
i=1

|f (xi ) f (xi1 )|

Ejemplo. Sea f : [1, 1] R denida por f (x) = x2 sin(1/x2 ) en [1, 1] {0} f (0) = 0 en x = 0

Luego f (x) es una funci on de variaci on no acotada. Para ello basta tomar la partici on xk = 1 / 2 ( 2 + k ) , con k = 1, . . . , n. Esta partici on no hace que la variaci on total t est e minorada por la suma arm onica, luego al hacer n 1 tendremos que la variaci on de f (x) se puede hacer tan grande como queramos. Por lo tanto f (x) no es de variaci on acotada. Ver la Figura 6.2.

Figura 4.1: Funci on de variaci on no acotada Ejercicio. Probar que f (x) denida en el Ejercicio anterior no es de variaci on acotada. Hint: Considerar la partici on sugerida en el Ejercicio. a en C [0, 1]. Ejercicio. Demuestre que el conjunto BV01 es de primera categor Lema 4.19. Si f BVab , luego
b b b Ta = Pa + Na

b b f (b) f (a) = Pa Na

n. Por denici Demostracio on tenemos que f (xk ) f (xk1 ) = (f (xk ) f (xk1 ))+ (f (xk ) f (xk1 )) luego sumando sobre la partici on de [a, b] se tiene f (b) f (a) = p n n + (f (b) f (a)) = p (4.6)

Si tomamos supremo sobre todas las particiones de [a, b] en el lado derecho de (6.4) tendremos que N + (f (b) f (a)) = P . Adem as, t = n + p = 2p (f (b) f (a)) (4.7)

y tomando nuevamente supremo sobre todas las particiones de [a, b] en (6.5) concluimos que T = 2P (f (b) f (a)) = P + N

84

CAP ITULO 4. PREAMBULOS DE LA INTEGRACION

Ejercicio. Si a < c < b, f : [a, b] R. Demuestre que

b c Ta (f ) = Ta (f ) + Tcb (f )

Adem as, pruebe que si f es mon otona entonces es medible. Teorema 4.20 (Jordan). Si f es una funci on en [a, b], entonces f es de variaci on acotada si y s olo si f es la diferencia entre dos funciones no decrecientes. n. Supongamos que f es de variaci Demostracio on acotada. Denamos para a < x < b la x (f ). Por el Ejercicio anterior tenemos que T (x) es no decreciente, luego funci on T (x) = Ta f (x) = T (x) (T (x) f (x)) que est a bien denida ya que T (x) < para todo x (a, b). Entonces basta probar que H (x) = T (x) f (x) es no decreciente. Sea h > 0, entonces
x +h Tx (f ) |f (x + h) f (x)|

T (x + h) T (x) f (x + h) f (x)

de donde se concluye que H (x + h) H (x) y queda probada esta implicancia. Si f es diferencia entre dos funciones no decrecientes, es decir f = g h, con g, h no decrecientes, entonces
b b b Ta (f ) Ta (g) + Ta (h) = (g(a) g(b)) + (h(a) h(b)) <

Corolario 4.21. Si f : [a, b] R es de variaci on acotada, luego es c.s diferenciable.