Funciones de variaci

on acotada
Definici
on (partici
on de un intervalo). Sean a, b R, a < b. Una tupla (sucesion
finita) = (0 , . . . , n ) se llama particion del intervalo [a, b], si a = 0 < 1 < . . . < n = b.
El conjunto de todas las particiones de [a, b] denotemos por P[a, b].
Definici
on (variaci
on de una funci
on). Sea f : [a, b] R. Para toda particion
P[a, b], sea
n
X
Sabs (f, ) :=
|f (k ) f (k1 )|.
k=1

La variacion total de f en [a, b] se define mediante la siguiente formula: :

Varba f := sup Sabs (f, ).
P[a,b]

Definici
on (funciones de variaci
on acotada). Una funcion f : [a, b] R es de variacion acotada en [a, b], si Varba f < +. El conjunto de todas las funciones de variacion
acotada en [a, b] se denota por BV[a, b].
Notaci
on (parte positiva y negativa de un n
umero real). Para cualquier n
umero
+

v R, denotemos por v y v su parte positiva y parte negativa:

(
(
v,
v

0;
v, v 0;
v + := max(v, 0) =
v := mn(v, 0) =
0, v < 0.
0,
v > 0.
Notemos que v 0, i.e. la parte negativa siempre es un n
umero no negativo.
1. Relaciones entre un n
umero real, su valor absoluto, su parte positiva y
negativa.
v = v+ v,
|v| = v + + v .
Definici
on (variaci
on positiva y variaci
on negativa). Sea f : [a, b] R. Dada una
= (0 , . . . , n ) P[a, b], introduzcamos las siguientes notaciones:
S+ (f, ) :=

n
X

(f (k ) f (k1 )) ,

n
X
S (f, ) :=
(f (k ) f (k1 )) .

k=1

k=1

La variacion positiva de f en [a, b] se define por:

PVarba f := sup S+ (f, ).
P

La variacion negativa de f en [a, b] se define por:

NVarba f := sup S (f, ).
P

pagina 1 de 4

Variaci
on total como seminorma
2. Demostrar que Varba es una seminorma en BV[a, b], i.e.:
Varba (f + g) Varba (f ) + Varba (g),

Varba (f ) = || Varba (f ).

3. Demostrar que
kf k := |f (a)| + Varba (f )
es una norma en BV[a, b].

C
alculo de la variaci
on de funciones mon
otonas a trozos
4. Variaci
on de una funci
on creciente. Sea f : [a, b] R una funcion creciente.
Entonces
Varba (f ) = PVarba (f ) = f (b) f (a),
NVarba (f ) = 0.
5. Variaci
on de una funci
on decreciente. Sea f : [a, b] R una funcion decreciente.
Entonces
Varba (f ) = NVarba (f ) = f (a) f (b),
PVarba (f ) = 0.
6. Sea f : [a, b] R, c (a, b). Entonces
Varba (f ) = Varca (f ) + Varbc (f ).
Las formulas similares tambien se cumplen para PVar y NVar.
7. Ejercicio: variaci
on de una funci
on mon
otona a trozos. Sea f : [0, 5] R una
funcion creciente en cada uno de los intervalos [0, 1], [2, 3], [4, 5] y decreciente en cada uno
de los intervalos [1, 2] y [3, 4]. Calcule Var50 (f ), PVar50 (f ) y NVar50 (f ).

Relaci
on entre la variaci
on total, variaci
on positiva y variaci
on
negativa
8. Proposici
on. Sea f BV[a, b]. Entonces
Varba f = PVarba f + NVarba f,

f (b) f (a) = PVarba f NVarba f.

Demostracion. Para toda particion de [a, b],

n
X
f (b) f (a) =
(f (k ) f (k1 )) = S+ (f, ) S (f, ),
k=1

i.e.
S+ (f, ) = S (f, ) + f (b) f (a).
Pasando al supremo con respecto a P, se obtiene PVarba f = NVarba f . Ademas,
Sabs (f, ) = S+ (f, ) + S (f, ) = 2S+ (f, ) + f (a) f (b).
De all
Varba f = 2 PVarba f + f (a) f (b) = PVarba f NVarba f.

pagina 2 de 4

Funciones de variaci
on acotada y funciones mon
otonas
9. Teorema (criterio de una funci
on de variaci
on acotada). Sea f : [a, b] R una
funcion. Entonces f es de variacion acotada se puede escribir como diferencia de
dos funciones crecientes en [a, b].
Demostracion. 1. Sea f BV[a, b]. Definamos g y h:
g(x) := PVarxa (f ),

h(x) := NVarxa (f ).

2. Al reves, si f = g h, donde g y h son crecientes, entonces para toda particion

(0 , . . . , n ) de [a, b] tenemos que
n
X
(f (k ) f (k1 )) g(b) g(a) + h(b) h(a).
k=1

10. Corolario. Si f BV[a, b], entonces f 0 existe c.t.p.

11. Ejercicio. Sea f BV[a, b]. Entonces
Zb

|f 0 (x)| dx Varba (f ).

Discontinuidades de funciones mon

otonas
12. Ejercicio. Sea f una funcion monotona en [a, b]. Entonces en todo punto x (a, b)
existen los lmites laterales f (x + 0) y f (x 0). Tambien existen f (a + 0) y f (b 0). Por
lo tanto, f solo puede tener discontinuidades evitables (removibles) y saltos.
13. Ejercicio. Construye una funcion creciente en [0, 1] que tenga un salto en cada punto
racional de [0, 1].
14. Ejercicio. Sea f una funcion monotona en [a, b]. Entonces para todo > 0 el n
umero
de puntos x tales que |f (x + 0) f (x 0)| es finito. Por consecuencia, el conjunto de
saltos de f es finito o numerable.
15. Ejercicio. Generalizar los resultados de los dos ejercicios anteriores al caso de una
funcion de variacion acotada.

pagina 3 de 4

Variaci
on acotada o no acotada?
16. Ejemplo. Sea
(
x cos(1/x), x > 0;
f (x) :=
0,
x = 0.
Entonces f C[0, 1], pero Var10 (f ) = +.
Demostracion. Para un k N, consideremos la particion
0<

1
1
1
<
< . . . < < 1.
k
(k 1)

Para la sumatoria correspondiente Sabs (f, ) tenemos la siguiente cota inferior:

 k1
k1
k1
k1 
j
X
X
X
 (1)j+1
(1)
1
1
2X1
=


.
Sabs (f, )

 (j + 1)
j
(j
+
1)
j

j
j=1
j=1
j=2
j=1
La serie harmonica diverge, por eso Var10 (f ) = +.
17. Condici
on de Lipschitz y variaci
on acotada. Sea f : [a, b] R. Supongamos
que f satisface en [a, b] la condicion de Lipschitz con la constante L:
|f (x1 ) f (x2 )| L|x1 x2 |

x1 , x2 [a, b].

Por ejemplo, esto se cumple si f es continua en [a, b], derivable en (a, b), y sup[a,b] |f 0 | L.
Entonces Varba (f ) L(b a).
18. Ejemplos. Para cada una
acotada en [0, 1] o no. Sean
(
x2 cos(1/x),
g(x) :=
0,
(
x cos(1/x2 ),
s(x) :=
0,

de las siguientes funciones determinar si tiene variacion

x > 0;
x = 0;
x > 0;
x = 0;

(
x2 cos(1/x2 ),
h(x) :=
0,
(
x3 cos(1/x),
v(x) :=
0,

pagina 4 de 4

x > 0;
x = 0;
x > 0;
x = 0.