Funciones absolutamente continuas

Denicin. Una funcin F : [a, b] R se llama absolutamente continua si para todo o o > 0 existe un > 0 tal que para toda familia {(ai , bi )} de intervalos disjuntos en [a, b] tales que n (bi ai ) < se cumple la desigualdad k=1
n

|F (bi ) F (ai )| < .

i=1

Denotemos por AC[a, b] al conjunto de todas funciones absolutamente continuas en [a, b]. 1. AC[a, b] C[a, b]. Idea de la demostracin. Mostraremos que F es uniformemente continua en [a, b]. Para o un > 0 encontramos un > 0 como en la denicin de AC. Entonces para x1 , x2 [a, b] o tales que 0 < x2 x1 < consideremos a1 = x1 , b1 = x2 . 2. Sean f L1 [a, b], F (x) =
x a

f (t) dt. Entonces F AC[a, b].

3. AC[a, b] es un espacio vectorial. 4. Teorema. AC[a, b] BV[a, b]. Demostracin. Para = 1 encontremos > 0 como en la denicin de AC. o o Sea una particin de [a, b]. Si es necesario, aadimos a unos puntos de particin o n o en tal manera que todos los segmentos de la particin nueva sean menores que . o Los segmentos de la particin se pueden unir en conjuntos C1 , . . . , Cm tales que o (Ck ) < para todo k {1, . . . , m} y (Ck ) 2 para todo k {1, . . . , m 1}. (Cuando cada uno de dos conjuntos tiene medida < 2 , podemos unirlos.) Entonces
m1

b a = ([a, b])
k=1

(Ck )

(m 1) . 2

De ah m Ahora

2(ba)

+ 1. Sabs (f, ) Sabs (f, ) m 2(b a) +1 .

Esto muestra que Varb (f ) < +. a 5. Corolario. Sea F AC[a, b]. Entonces F es derivable c.t.p. 6. Lema. Sea F AC[a, b]. Supongamos que F = 0 c.t.p. Entonces F es una constante. pgina 1 de 3 a

Demostracin. Elijamos c (a, b]. Nuestro objetivo consiste en mostrar que F (c) = F (a). o Sea A (a, c) tal que (A) = c a y F (x) = 0 para todo x [a, c]. Elijamos nmeros arbitrarios positivos > 0 y > 0. Sea > 0 como en la denicin u o de AC. Por la denicin de la derivada, para todo x A existe un y > x que f (y)f (x) o (y x). Los intervalos [x, y] de este tipo forman una cubierta de Vitali de A. Por el lema de Vitali, existe una familia nita {[xk , yk ]}m de intervalos disjuntos tales que m (yk k=1 k=1 xk ) > c a . Pongamos y0 = a, xn+1 = c y consideremos la particin o a = y0 < x1 < y1 < x2 < y2 < . . . < xm < ym < xn+1 = c. Tenemos que
n n

|F (c) F (a)|
k=1

|F (yk ) F (xk )| +
k=0

|F (xk+1 ) F (yk )| (c a) + .

Como y eran arbitrarios, F (c) = F (a). 7. Teorema (una funcin absolutamente continua es la integral indenida de o x su derivada). Sea F AC[a, b]. Entonces F (x) = F (a) + a F (t) dt. Demostracin. F BV[a, b], F se puede escribir como diferencia de dos funciones creo cientes F = F1 F2 . De ah |F (x)| F1 (x) + F2 (x), y
b

|F (x)| dx F1 (b) F1 (a) + F2 (b) F2 (a)

a

por el teorema sobre la derivada de una funcin montona. Esto demuestra que F es o o integrable. Consideremos x G(x) = F (a) +
a

F (t) dt.

Entonces G AC[a, b] y H := F G AC[a, b]. Teorema sobre la derivada de la integral indenida dice que G (x) = F (x) c.t.p. Por eso H (x) = 0 c.t.p., y por el lema anterior H es una constanta. H(x) = H(a) = 0 para todo x [a, b], y F = G. 8. Teorema (criterio de una funcin absolutamente continua). Una funcin F es o o una integral indenida F es absolutamente continua.

pgina 2 de 3 a

9. Ejercicio. Sea F AC[a, b]. Entonces

b b

Varb (F ) a

=
a

|F (t)| dt,

PVarb (F ) a

=
a

(F (t))+ dt.

10. Ejercicio. Sea F AC[a, b]. Entonces F es acotada en [a, b]. 11. Ejercicio. Sean F, G AC[a, b]. Entonces F G AC[a, b]. 12. Ejercicio. Sean F, G AC[a, b], y G (x) = 0 para todo x [a, b]. Entonces F/G AC[a, b]. 13. Ejercicio (escalera de Cantor). La escalera de Cantor es continua y montona o (por eso es tambin de variacin acotada), pero no es absolutamente continua. e o 14. Ejercicio (criterio de condicin de Lipschitz). Sea f : [a, b] C. Entonces las o siguientes condiciones son equivalentes: (a) f Lip[a, b] (satisface una condicin de Lipschitz); o (b) f AC[a, b] y f L . Denicin (funcin singular). Una funcin f : [a, b] R se llama singular si es creo o o ciente y continua, f = 0 c.t.p. en [a, b] y f (b) > f (a). 15. Ejercicio. Cada funcin creciente es la suma de una funcin absolutamente continua o o y una funcin singular. o 16. Tarea adicional (signo de interrogacin de Minkowski). Explicar la conso truccin y las propiedades de la funcin singular que se llama signo de interrogacin de o o o Minkowski (Minkowskis question mark function).

pgina 3 de 3 a