Revista Notas de Matemtica

Vol.3(1), No. 251, 2007, pp.45-71

http://www.matematica/ula.ve
Comisin de Publicaciones
Departamento de Matemticas
Facultad de Ciencias
Universidad de Los Andes
Integral de Cauchy y Funciones Regladas
Nelson Viloria y Reinaldo Cadenas
Resumen
Presentamos la integral de Cauchy como una elegante alternativa a la integral de Rie-
mann. Partiendo de la formalizacin de la teora de integracin de funciones escalonadas,
transferimos las propiedades fundamentales a la clase de las funciones regladas. Limitamos
el proceso de integracin a una categora de funciones sucientemente prxima a la de las
funciones continuas y lo sucientemente amplia como para contener los tipos de funciones
requeridas, desde un punto de vista pragmtico.
Palabras y frases claves: Funciones regladas, funciones escalonadas, funciones de variacin
acotada, integral de Cauchy, Lema de Cauchy, convergencia uniforme.
Abstract
We present the Cauchy integral as an elegant alternative to the Riemann integral. Be-
gining from the formalization on the theory of steps functions integrations, we transfer the
fundamental properties to the kind of ruled functions we limit the integration process to a
category of functions close enough to content the continues functions and wide enough to
content the kinds os needed functions, from the pragmatic point of view.
1 Introduccin
La clase de funciones Riemann integrables es algo difusa (cuando no se considera la Teora de la
Medida), en este sentido utilizaremos una categora de funciones completamente caracterizada:
el espacio de las funciones Regladas (G[a, b]), con la norma de la convergencia uniforme. En
[2], Berberian estudia esta clase de funciones desde la ptica francesa (Bourbaki-Dieudonn).
Nosotros deniremos la integral de Cauchy para una funcin reglada como el lmite de una
sucesin, de integrales de funciones escalonadas, que converge uniformemente a dicha funcin. A
partir de esto, mostraremos todas las propiedades usuales de una integral, haciendo ms natural
la Teora de Integracin, pues partimos de conocimientos simples e intuitivos de la integral de una
funcin escalonada. Las propiedades de la integral de Cauchy se transeren de las propiedades
45
46 Nelson Viloria y Reinaldo Cadenas
de las funciones escalonadas. Una presentacin bastante esquemtica de esta novedosa ptica se
encuentra en [3].
Las funciones regladas y la integral de Cauchy han sido apropiadamente privilegiadas en el
estudio de las ecuaciones en diferencia: [1] y [6], as como en el de las ecuaciones integrales tipo
Volterra-Stieltjes: [7] y [8].
2 Funciones Escalonadas
Denicin 1 Sea [a, b] un intervalo cerrado y acotado en IR. Una particin P de [a, b] es
un conjunto {t
0
= a < t
1
< < t
n
= b}. Escribimos
P[a, b] = {P : P es una particin de [a, b]}.
Note que si P = {t
0
, . . . , t
n
} P[a, b], entonces P genera n sub-intervalos cerrados y
acotados contenidos en [a, b], a saber
[t
0
, t
1
], [t
2
, t
3
], . . . , [t
n1
, t
n
].
Adems, si P P[a, b] y c [a, b], entonces Q = P {c} P[a, b]. As, de manera ms
general, cuando P, Q P[a, b], entonces P Q P[a, b].
Decimos que Q P[a, b] es ms na que P P[a, b], si P Q. De la denicin, se sigue
que cada sub-intervalo abierto de Q est contenido en algn sub-intervalo abierto de P.
Denicin 2 Una funcin : [a, b] IR se llama escalonada si existe P P[a, b], tal que
es constante en cada sub-intervalo abierto de P. Es decir, si P = {t
0
, . . . , t
n
} para cada
k = 1, n existe
k
IR tal que
(x) =
k
si t
k1
< x < t
k
.
Nota 3
(1) De la denicin 2 se sigue que debe estar denida en los extremos de los sub-intervalos
[t
k1
, t
k
] (k = 1, n); pero no es necesario que el valor que tome en los extremos de cada
uno de los sub-intervalos coincida con
k
.
(2) Si es una funcin escalonada sobre [a, b] y es constante en cada sub-intervalo
abierto de P P[a, b], entonces es constante en cada sub-intervalo abierto de Q,
donde Q es una particin ms na que P.
Integral de Cauchy y Funciones Regladas 47
(3) E[a,b] = { : [a, b] IR; es escalonada}.
Teorema 4 Sean , E[a, b]. Entonces
(a) + E[a, b] (b) E[a, b]
Prueba
Como , E[a, b], entonces existen P, Q P[a, b] tales que es constante en cada
sub-intervalo de P y es constante en cada sub-intervalo de Q.
Ahora, debemos hallar una particin O P[a, b] tal que + sea constante en cada uno
de los sub-intervalos abiertos de O.
Denimos O = P

Q. Claramente, O P[a, b] y en cada sub-intervalo abierto I de O

tanto como son constantes en I. En consecuencia, + es constante en cada sub-intervalo
abierto I de O y as, + E[a, b].
De manera anloga se verica que E[a, b].
3 Funciones Regladas
Denicin 5 Sea I IR un intervalo, una funcin f : I IR se llama reglada si para
cada x I existen
f(x) = lim
tx

f(t) y f(x+) = lim

tx
+
f(t).
Escribimos G[a,b]= {f : [a, b] IR; f reglada}.
Nota 6
(1) Toda funcin continua es reglada, es decir,
G[a, b] C[a, b] = {f : [a, b] IR, f continua}.
(2) Dadas dos funciones regladas, se puede garantizar que la funcin compuesta de ambas es
reglada? La respuesta es no.
48 Nelson Viloria y Reinaldo Cadenas
Ejemplo 7 Dadas las funciones f, g : IR IR mediante
f(x) =
_
_
_
x sen(1/x) si x = 0
0 si x = 0
y g(x) =
_

_
1 si x > 0
0 si x = 0
1 si x < 0.
Un clculo simple nos permite concluir que f y g son funciones regladas. Adems, f
toma valores positivos y negativos en cualquier intervalo (0, ) y, en consecuencia, g f
toma los valores 1 y -1; por lo tanto, (g f)(0+) no existe. As, g f no es reglada.
(3) Sea f : I IR una funcin reglada. Entonces, para cada conjunto compacto K
I, f(K) es un conjunto acotado.
En efecto, como f es reglada, para cada xI existen
x
> 0 y M
x
> 0 tales que
|f(t)| M
x
para cada t (x
x
, x +
x
)

I. Luego, la coleccin {(x

x
, x +
x
)}
xI
cubre al
conjunto K y como K es compacto, existen x
1
, . . . , x
n
K tales que
K
n
_
1
(x
i

x
i
, x
i
+
x
i
).
Si M = max{M
x
1
, . . . , M
xn
} , entonces
|f(x)| M x K.
As, f es acotada.
(4) Es necesario destacar que: K compacto no implica que f(K) compacto cuando f es
reglada. As, lo muestra el siguiente ejemplo.
Ejemplo 8 Sea f : [0, 1] IR dada por
f(x) =
_

_
1 si x = 0
1/x si x
_
1
n+1
,
1
n
_
; n IN.
Entonces, f es reglada en [0, 1] y, sin embargo,
f([0, 1]) =
_
1
n
; n IN
_
no es compacto, por no ser cerrado en IR.
Integral de Cauchy y Funciones Regladas 49
Nota 9
De los resultados bsicos de clculo se sigue que el producto y la suma de funciones regladas
son funciones regladas.
Lema 10 Sean X, Y IR, f : X IR, g : Y IR con f(X) Y . Sean a X

y
b Y

Y . Si lim
xa
f(x) = b y lim
yb
g(y) = g(b). Entonces lim
xa
(g f)(x) = c.
Prueba
Sea > 0, arbitrario, por la denicin de lmite existe > 0 tal que
y Y, |y b| < = |g(y) g(b)| < . (1)
Para el hallado por hiptesis existe > 0 tal que
x X, 0 < |x a| < = |f(x) b| < . (2)
Por lo tanto, de (2) y (1) se sigue que
x X, 0 < |x a| < = |g(y) g(b)| < .
As, lim
xa
(g f)(x) = c.
Corolario 11 Si f G[a, b] y g C[a, b], entonces g f G[a, b].
4 Funciones de Variacin acotada
Denicin 12 Sea f : [a, b] IR una funcin. Si P = {t
0
, . . . , t
n
} P[a, b], escribimos
f
i
= f(t
i
) f(t
i1
) y denimos la variacin de f relativa a la particin P, como
V (f, P) =
n

i=1
|f
i
|.
50 Nelson Viloria y Reinaldo Cadenas
Adems, denimos la variacin (total) de f en [a, b], denotada por V (f, a, b)
(o simplemente V (f) ), mediante:
V (f) = sup
PP[a,b]
V (f, P).
Una funcin f : [a, b] IR se llama de variacin acotada en [a, b] si, y slo si, V (f) < .
Nota 13
(1) Toda funcin montona en [a, b] es de variacin acotada en [a, b], y adems
V (f) = |f(b) f(a)|.
(2) Si f : [a, b] IR es una funcin con derivada f

acotada en (a, b), entonces f es de

variacin acotada en [a, b].
(3) Una funcin, f : [a, b] IR, puede ser continua sin ser de variacin acotada en [a, b],
como lo muestra el siguiente ejemplo
f : [0, 1] IR dada por f(x) =
_

_
xcos
_

2x
_
si x = 0
0 si x = 0.
4) Si f : [a, b] IR es de variacin acotada en [a, b], entonces f es acotada en [a, b].
Teorema 14 Si f y g son funciones de variacin acotada, entonces f + g y f g son
funciones de variacin acotada.
Prueba
Sea P = {t
0
, . . . , t
n
} P[a, b]. Entonces
n

i=1
|(f +g)
i
| =
n

i=1
|f
i
+g
i
|
n

i=1
|f
i
| +
n

i=1
|g
i
| V (f) +V (g).
En consecuencia, V (f +g) V (f) +V (g) y, as, f +g es de variacin acotada en [a, b].
Integral de Cauchy y Funciones Regladas 51
Veamos que f g es de variacin acotada en [a, b]. Por hiptesis, f y g son acotadas, as,
existen A y B tales que
|f(x)| A y |g(x)| B, (3)
para todo x [a, b]. Sea h = f g , entonces
h
i
= (f g)(ti1) (f g)(ti) = f(t
i1
)g(t
i1
) f(t
i
)g(t
i
)
= f(t
i1
)g(t
i1
) f(t
i
)g(t
i1
) +f(t
i
)g(t
i1
) f(t
i
)g(t
i
).
= g(t
i1
)f
i
+f(t
i
)g
i
.
(4)
De (3) y (4), obtenemos que
n

i=1
|h
i
| =
n

i=1
|f(t
i
)g
i
+g(t
i1
)f
i
|

i=1
|f
i
| |g
i
| +
n

i=1
|g(t
i1
)| |f
i
|
A
n

i=1
|g
i
| +B
n

i=1
|f
i
|
A V (g) + B V (f).
As, V (h) A V (g) + B V (f) y por tanto f g es de variacin acotada en [a, b].
Teorema 15 (Relacin entre funciones regladas y de variacin acotada)
Sea f : [a, b] IR una funcin de variacin acotada en [a, b], entonces f es reglada en
[a, b].
Prueba
Sea (t
n
) [a, t) tal que t
n
t. Para cada n IN ,
n

1
|f
i
| V (f, a, t). De donde,

1
|f
i
| V (f, a, t) (5)
(ya que s
n
=
n

i=1
|f
i
| es montona creciente y acotada superiormente). Luego, para cada
52 Nelson Viloria y Reinaldo Cadenas
> 0 , existe n() IN tal que
m n n() = |f(t
m
) f(t
n
)| =

i=n+1
[f(t
i
) f(t
i1
)]

i=n+1
|f(t
i
) f(t
i1
)|. (6)
Ahora, si n , entonces m y s
n
, s
m
L. Entonces,
|s
m
s
n
| 0. (7)
Adems, como m > n , entonces
|s
m
s
n
| =

i=1
|f
i
|
n

i=1
|f
i
|

i=1
|f
i
| +
m

i=n+1
|f
i
|
n

i=1
|f
i
|

i=n+1
|f
i
|

=
m

i=n+1
|f(t
i
) f(t
i1
)|. (8)
Por lo tanto, de (6), (7) y (8), se sigue que la sucesin (f(tn)) es de Cauchy. En consecuencia,
existe f(t).
De manera anloga se prueba la existencia de f(t+).
5 Caracterizacin de las Funciones Regladas
Teorema 16 (Criterio de Cauchy)
Sea f : [a, b] IR una funcin. Entonces
(a) Dado x[a, b), existe f(x+) si, y slo si,
> 0 > 0 : s, t (x, x +
x
) [a, b] = |f(s) f(t)| < .
Integral de Cauchy y Funciones Regladas 53
(b) Dado x(a, b], existe f(x) si, y slo si,
> 0 > 0 : s, t (x
x
, x) [a, b] = |f(s) f(t)| < .
Prueba
() Sea L
x
= lim
ux
+
f(u) y sea > 0 arbitrario. Entonces, existe
x
> 0 tal que
u [a, b]

(x, x +
x
) = |f(u) L
x
| < /2.
Luego, si s, t [a, b]

(x, x +
x
) , entonces
|f(s) L
x
| < /2 y |f(t) L
x
| < /2.
As,
|f(s) f(t)| |f(s) L
x
| +|L
x
f(t)| < /2 + /2 = ,
siempre que s, t [a, b]

(x, x +
x
).
() Sea (x
n
) [a, b) con x
n
> x para cada n IN y x
n
x [a, b).
Veamos que (f(x
n
)) converge. Sea > 0 arbitrario, existe
x
> 0 que satisface la condicin
de la hiptesis. Ahora, por la convergencia de (x
n
); para el
x
> 0 hallado existe n
0
IN tal
que
m, n > n
0
= |x
n
x| <
x
|x
m
x| <
x
= x
m
, x
n
(x, x +
x
)
= |f(x
m
) f(x
n
)| < .
En consecuencia, (f(x
n
)) es de Cauchy en [a, b] y, por la completitud de [a, b], se obtiene que
(f(x
n
)) converge. As, f(x+) existe.
De manera similar se verica la existencia de f(x).
Teorema 17 Una funcin f : [a, b] IR es reglada si, y slo si, existe una sucesin de
funciones (
n
) E[a, b] tal que

f en [a, b].
54 Nelson Viloria y Reinaldo Cadenas
Prueba
() Supongamos que existe una sucesin de funciones (
n
) E[a, b] tal que

f en [a, b]. (9)

Sea x
0
[a, b] (x
0
= a y x
0
= b). Entonces, por (9), dado > 0 existe n
0
IN tal que
n n
0
= |
n
(t) f(t)| < ,
para todo t [a, b].
Por otro lado, como
n
0
es una funcin escalonada,
n
0
es reglada, en consecuencia, existe

n
0
(x
0
+) y, por el teorema 16, existe > 0 tal que
s, t (x
0
, x
0
+) [a, b] = |
n
0
(t)
n
0
(s)| < /3. (10)
Luego, para todo s, t (x
0
, x
0
+) se tiene, por (9) y (10), que
|f(s) f(t)| |f(s)
n
0
(s)| +|
n
0
(s)
n
0
(t)| +|
n
0
(t) f(t)|
<

3
+

3
+

3
= .
De nuevo por el teorema anterior, f(x
0
+) existe.
Procediendo de manera similar probamos que f(x
0
) existe, y as, f es reglada.
() Para cada n IN y para cada x [a, b] , por el teorema anterior existe un abierto
I(x) = (y(x), z(x)) que contiene a x tal que
|f(s) f(t)|
1
n
, (11)
siempre que s, t (y(x), x)

[a, b] o s, t (x, z(x))

[a, b].
Puesto que [a, b]
_
x[a,b]
I(x) y [a, b] es compacto, existen x
1
, . . . , x
n
[a, b] tales que
[a, b]
n
_
i=1
I(x
i
). Sea (c
j
)
0jm=3n+2
una sucesin creciente, formada por a, b, x
i
, y(x
i
) y
z(x
i
) (i = 1, n). Entonces, o c
j+1
I(x
i
) o c
j+1
[z(x
i
), c
m
] ya que la sucesin es creciente.
Esto ltimo implica que c
j+1
= z(x
i
); pues de lo contrario c
j
< z(x
i
) < c
j+1
, pero z(x
i
)
tambin es un c
k
. En consecuencia,
(c
j
, c
j+1
) V (x
i
).
Integral de Cauchy y Funciones Regladas 55
Luego, si s, t (c
j
, c
j+1
) , entonces
(a) s, t (y(xi), x
i
) [a, b] o (a) s, t (x
i
, z(xi)) [a, b],
pues
1) c
j
(y(xi), x
i
) = c
j+1
(y(xi), x
i
] = (a) o
2) c
j
[x
i
, z(xi)) = c
j+1
(x
i
, z(xi)] = (b).
Por lo tanto, si s, t (c
j
, c
j+1
) , entonces por (11)
|f(s) f(t)|
1
n
.
Deniendo

n
(x) =
m

j=0
f(
j
)
(c
j
,c
j+1
)
(x) +
m

j=0
f(c
j
)
{c
j
}
(x),
donde
j
(c
j1
, c
j
). Tenemos que (
n
) E[a, b] y
x [a, b] =
_
_
_
x (c
j
, c
j+1
) para algn c
j
x = c
j
= |g
n
(x) f(x)| =
_
_
_
|f(
j
) f(x)|
0
= |g
n
(x) f(x)| <
1
n
.
Por lo tanto,
n

f en [a, b].
Nota 18
Note que la convergencia uniforme de (
n
) a f, sobre [a, b], nos asegura que (
n
) es de
Cauchy.
Corolario 19 (Discontinuidades de las Funciones Regladas)
Sea f G[a, b]. Entonces el conjunto de puntos donde f es discontinua es numerable.
56 Nelson Viloria y Reinaldo Cadenas
Prueba
Como f es reglada, por el Teorema 17, existe (
n
) E[a, b] tal que

f sobre [a, b].

Ahora, como cada
n
E[a, b], entonces existe un conjunto nito H
n
[a, b] donde
n
es
discontinua. As, cada
n
es continua en T
n
= [a, b] \ H
n
y, por la convergencia uniforme, f es
continua en

1
T
n
= [a, b] \
_
nIN
H
n
, como
_
nIN
H
n
es numerable, el corolario queda probado.
6 Integral de Funciones Escalonadas
Sea una funcin escalonada denida sobre [a, b], y sea P = {t
0
, t
1
, . . . , t
n
} P[a, b]. As,
es constante sobre cada sub-intervalo (t
i1
, t
i
) (i = 1, n). Designamos por
i
el valor
constante que toma en cada (t
i1
, t
i
) (i = 1, n); es decir,
(x) =
i
si x (t
i1
, t
i
) (i = 1, n).
Denicin 20 La integral de una funcin escalonada sobre [a, b], denotada por el
smbolo
_
b
a
(t)dt, se dene mediante
_
b
a
(t)dt =
n

i=1

i
t
i
, (12)
donde t
i
= t
i
t
i1
.
Nota 21
(1) Si [a, b] IR es una funcin constante, dada por (x) = c, entonces por (12)
_
b
a
cdt =
n

i=1
ct
i
= c
n

i=1
t
i
c(b a). (13)
Obsrvese que si c > 0 , entonces el valor de (13) coincide con el rea de un rectngulo de
base b a y altura c.
Integral de Cauchy y Funciones Regladas 57
(2) Veamos que el valor de (12) no depende de la eleccin de la particin P, mientras sea
constante en los sub-intervalos abiertos de P.
En efecto, Sea Q una particin ms na que P (P Q), que contiene un punto t ms
que P. As,
t
0
< < t
k
< t < t
k+1
< < t
n
.
Luego,

1
(t
1
t
0
) + +
..

k
(t t
k1
) +
k
(t t
k
) + +
n
(t
n
t
n1
)
=
1
(t
1
t
0
) + +
k
(t
k1
t
k
) + +
n
(t
n
t
n1
)
=
n

i=1

i
t
i
.
Luego, el valor de la suma en (12) no cambia. Por lo tanto, podemos pasar de P a cualquier
particin ms na que Q aadiendo cada vez puntos de sub-divisin uno tras otro y en cada
paso la suma en (12) no sea altera. Por lo cual, el valor de la integral es el mismo para
todos los renamientos de P.
Teorema 22 (Propiedad Aditiva)
_
b
a
[(t) +(t)]dt =
_
b
a
(t)dt +
_
b
a
(t)dt.
Prueba
Consideremos P, Q P[a, b], P asociada a la funcin y Q asociada a la funcin .
Entonces T = P

Q P[a, b] est asociada a la funcin +, es decir, + es constante

en cada sub-intervalo abierto de T.
Ahora, podemos escribir T = {t
0
, . . . , t
n
} y denir
_
b
a
(t)dt y
_
b
a
(t)dt
usando la particin T. As,
_
b
a
(t)dt +
_
b
a
(t)dt =
n

i=1

i
t
i
+
n

i=1

i
t
i
=
n

i=1
(
i
+
i
)t
i
=
n

i=1
((t) +(t))t
i
=
_
b
a
[(t) +(t)]dt.
58 Nelson Viloria y Reinaldo Cadenas
Teorema 23 (Propiedad Homognea)
Para todo c IR, se tiene que
_
b
a
c(t)dt = c
_
b
a
(t)dt.
Prueba
Sea P = {t
0
, . . . , t
n
} P[a, b] una particin asociada a la funcin , y si c IR, entonces
cP es tambin una particin asociada a la funcin c y si
i
es el valor que toma en
el sub-intervalo (t
i1
, t
i
) de P, entonces c
i
es el valor que toma c en el sub-intervalo
(t
i1
, t
i
). En consecuencia,
c
_
b
a
(t)dt = c
n

i=1

i
t
i
=
n

i=1
c
i
t
i
=
n

i=1
ct
i
=
_
b
a
c(t)dt.
Teorema 24 (Teorema de Comparacin)
Si (t) (t) para todo t [a, b], entonces
_
b
a
(t)dt
_
b
a
(t)dt. (14)
Prueba
Como (t) (t), entonces (t) (t) 0 para todo t [a, b].
Por otro lado, de los teoremas 22 y 23,
_
b
a
[(t) (t)]dt =
_
b
a
(t)dt
_
b
a
(t)dt.
Luego, para probar (14), basta mostrar que
_
b
a
[(t) (t)]dt 0.
Ahora, si (t) = (t) (t) 0, entonces es claro por la denicin de
_
b
a
(t)dt, que
_
b
a
(t)dt 0, pues
_
b
a
(t)dt es la suma de trminos no negativos.
Integral de Cauchy y Funciones Regladas 59
Teorema 25 (Aditividad Respecto al Intervalo de Integracin)
_
b
a
(t)dt =
_
c
a
(t)dt +
_
b
c
(t)dt si a < c < b.
Prueba
Sea P = {t
0
, . . . , t
n
} P[a, b], asociada a la funcin . Podemos asumir que c = t
j
para
algn j (1 < j < n) (en otro caso podemos formar Q = P

{c} ms na que P.) As,

_
b
a
(t)dt =
n

i=1

i
t
i
j

i=1

i
t
i
+
n

i=j+1

i
t
i
.
=
1
t
1
+ +
j
t
j
+
j+1
t
j+1
+ +
n
t
n
=
_
c
a
(t)dt +
_
b
c
(t)dt.
Teorema 26 (Invariancia Frente a la Traslacin)
_
b
a
(t)dt =
_
b+c
a+c
(t c)dt.
Prueba
Sea P = {t
0
, . . . , t
n
} P[a, b], tal que (t) =
i
(i = 1, n) y t (t
i1
, t
i
).
Tomamos (t) = (t c), siempre que t (a +c, b +c) (c IR). Luego, t c (t
i1
, t
i
)
y (t) =
i
en (t
i1
+ c, t
i
+ c). As, P

= {t
0
+c, . . . , t
n
+c} P[a +c, b +c], y es una
funcin escalonada relativa a la particin P

y
_
b+c
a+c
(t c)dt =
n

i=1

i
[(t
i
+c) (t
i1
+c)]
=
n

i=1

i
t
i
=
_
b
a
(t)dt.
Teorema 27 (Dilatacin o Contraccin del Intervalo de Integracin)
_
kb
ka

_
t
k
_
dt = k
_
b
a
(t)dt, k > 0. (15)
60 Nelson Viloria y Reinaldo Cadenas
Prueba
P = {t
0
, . . . , t
n
} P[a, b], tal que (t) =
i
para t (t
i1
, t
i
), (i = 1, n).
Sea (t) =
_
t
k
_
si ka < t < kb. Luego a <
t
k
< b (k > 0) y, entonces,
u(t) =
i
si t (kt
i1
, kt
i
).
As, P

= {kt
0
, . . . , kt
n
} P[ka, kb], es una funcin escalonada relativa a la particin P

y
_
kb
ka

_
t
k
_
dt =
_
kb
ka
(x)dx =
n

i=1

i
(kt
i
kt
i1
) = k
n

i=1

i
t
i
= k
_
b
a
(t)dt.
Nota 28
(1) Ahora nos hace falta extender las propiedades de la integral de una funcin escalonada para
b < a. Para eso denimos
_
a
b
(t)dt =
_
b
a
(t)dt, si a < b
y tambin
_
a
a
(t)dt = 0.
Con estas convenciones, el teorema 25 vale para cualquier ordenacin de a, b y c.
(2) El teorema anterior puede extenderse al caso k < 0. Luego, para k = 1, (15) se
convierte en
_
b
a
(t)dt =
_
a
b
(t)dt.
Esta propiedad se conoce como Propiedad de Reexin de la integral, ya que el grco
de la funcin (t) = (t) se obtiene de la funcin , por reexin con respecto al eje
y.
7 Integral de Cauchy o Integral Reglada
Teorema 29 Sea f : [a, b] IR una funcin reglada tal que
n

f en [a, b], donde

(
n
) E[a, b]. Entonces,
Integral de Cauchy y Funciones Regladas 61
(a) La sucesin
__
b
a

n
(t)dt
_
es de Cauchy.
(b) Supongamos que (
n
) E[a, b] tal que
n

f en [a, b]. Entonces, para cada > 0

existe n
0
IN tal que
n > n
0
= |
n
(t)
n
(t)| < t [a, b].
(c) lim
n
_
b
a

n
(t)dt = lim
n
_
b
a

n
(t)dt.
Prueba
(a) Por la hiptesis, (
n
) es de Cauchy, as, dado > 0 existe n
0
IN tal que
n, m > 0 = |
n
(t)
m
(t)| <

b a
, t [a, b]. (16)
Por otro lado, por (16) y los teoremas 22 y 24, obtenemos que

_
b
a

n
(t)dt
_
b
a

m
(t)dt

_
b
a
(
n
(t)
m
(t))dt

_
b
a
|
n
(t)
m
(t)|dt
<
_
b
a

b a
dt
=
b a
b a
= ,
siempre que m, n > n
0
. As,
__
b
a

n
(t)dt
_
es de Cauchy.
(b) Como
n

f y
n

f sobre [a, b]. Entonces, dado > 0 existen n

1
, n
2
IN
tales que, para todo t [a, b], se tiene
n > n
1
= |
n
(t) f(t)| < /2 y
n > n
2
= |
n
(t) f(t)| < /2.
Luego, si n
0
= max{n
1
, n
2
} se sigue que
n > n
0
= |
n
(t) f(t)| , |
n
(t) f(t)| < /2, (17)
62 Nelson Viloria y Reinaldo Cadenas
para todo t [a, b]. En consecuencia, si n > n
0
se sigue de (17) que
|
n
(t)
n
(t)| |
n
(t) f(t)| +|f(t)
n
(t)| <

2
+

2
= .
(c) Sea > 0 arbitrario, entonces por (b) existe n
0
IN tal que
n > n
0
= |
n
(t)
n
(t)| <

b a
,
para todo t [a, b].
Por otro lado, si n > n
0
, entonces

_
b
a

n
(t)dt
_
b
a

n
(t)dt

_
b
a
|
n
(t)
n
(t)|dt
<
_
b
a

2(b a)
dt
=

2
.
(18)
Por (18), lim
n
_
b
a

n
(t)dt y lim
n
_
b
a

n
(t)dt existen. De la continuidad de la funcin valor
absoluto, usando (18), concluimos que

lim
n
_
b
a

n
(t)dt lim
n
_
b
a

n
(t)dt

< .
Como es arbitrario, entonces
lim
n
_
b
a

n
(t)dt = lim
n
_
b
a

n
(t)dt.
Ese teorema nos permite denir sin ambigedad la integral de una funcin reglada.
Denicin 30 Se dene la integral de una funcin reglada f, sobre [a, b], mediante
lim
n
_
b
a

n
(t)dt,
donde (
n
) E[a, b] y satisface
n

f, sobre [a, b].

Decimos que f es integrable y tal integral la denotamos por
_
b
a
f(t)dt.
Integral de Cauchy y Funciones Regladas 63
Nota 31
Es evidente que toda funcin continua es integrable.
Teorema 32 (Propiedad Aditiva)
_
b
a
[f(t) +g(t)]dt =
_
b
a
f(t)dt +
_
b
a
g(t)dt.
Prueba
Si f, g son funciones regladas, existen sucesiones de funciones escalonadas (
n
), (
n
) tales
que
n
f y
n
g. De donde,
n
+
n
f +g y, por lo tanto,
_
b
a
f(t)dt +
_
b
a
g(t)dt = lim
n
_
b
a

n
(t)dt + lim
n
_
b
a

n
(t)dt
= lim
n
__
b
a

n
(t)dt +
_
b
a

n
(t)dt
_
= lim
n
_
b
a
[
n
(t) +
n
(t)] dt (Teorema 22)
=
_
b
a
[f(t) +g(t)]dt.
Teorema 33 (Propiedad Homognea)
Para todo c IR se tiene que
_
b
a
cf(t)dt = c
_
b
a
f(t)dt.
Prueba
Existe una sucesin de funciones escalonadas (
n
) tal que
n
f. Luego, c
n
cf.
As,
64 Nelson Viloria y Reinaldo Cadenas
c
_
b
a
f(t)dt = c lim
n
_
b
a

n
(t)dt
= lim
n
c
_
b
a

n
(t)dt
= lim
n
_
b
a
c
n
(t)dt (Teorema 23)
=
_
b
a
cf(t)dt.
Teorema 34 (De Comparacin)
Si f(t) g(t) para todo t [a, b], entonces
_
b
a
f(t)dt
_
b
a
g(t)dt.
Prueba
Existen sucesiones (
n
), (
n
) tales que
n
f y
n
g. Luego, existe n
0
IN;
tal que para todo n n
0
tenemos que
n
(t)
n
(t). As, por el teorema 24, se tiene que
_
b
a

n
(t)dt
_
b
a

n
(t)dt, n n
0
.
Por lo tanto,
lim
n
_
b
a

n
(t)dt lim
n
_
b
a

n
(t)dt.
Es decir,
_
b
a
f(t)dt
_
b
a
g(t)dt.
Teorema 35 (Aditividad con respecto al intervalo de integracin)
_
b
a
f(t)dt =
_
c
a
f(t)dt +
_
b
c
f(t)dt,
Integral de Cauchy y Funciones Regladas 65
Prueba
Existe (
n
) E[a, b] tal que
n

f en [a, b]. Luego,

n

f en [a, c] y en [c, b]. As,

_
c
a
f(t)dt = lim
n
_
c
a

n
(t)dt y
_
b
c
f(t)dt = lim
n
_
b
c

n
(t)dt.
Por lo tanto,
_
b
a
f(t)dt = lim
n
_
b
a

n
(t)dt
= lim
n
__
c
a

n
(t)dt +
_
b
c

n
(t)dt
_
(Nota 28)
= lim
n
_
c
a

n
(t)dt + lim
n
_
b
c

n
(t)dt
=
_
c
a
f(t)dt +
_
b
c
f(t)dt.
8 Teoremas Fundamentales del Clculo
Teorema 36 Si f G[a, b] y g(t) = g(a)+
_
t
a
f(s)ds, entonces g es uniformemente continua
sobre [a, b] (y, por lo tanto, continua sobre [a, b] ).
Prueba
Como f G[a, b] y [a, b] es compacto, entonces por la nota 6, parte (3), f([a, b]) es
acotado y, as, f es acotada sobre [a, b]. En consecuencia, existe M > 0 tal que |f(t)| M,
para todo t [a, b]. Por lo tanto, para todo x, y [a, b] se sigue que
|g(y) g(x)| =

g(a) +
_
y
a
f(t)dt g(a)
_
x
a
f(t)dt

_
y
a
f(t)dt
_
x
a
f(t)dt

_
y
x
f(t)dt

_
y
x
|f(t)|dt
M|y x|.
66 Nelson Viloria y Reinaldo Cadenas
As, g es una funcin Lipchitz y, de esta manera, g es uniformemente continua sobre [a, b].
Teorema 37 (Caracterizacin de Hnig)[7]
Sean f, g : [a, b] IR funciones, las siguientes proposiciones son equivalentes:
(a) f G[a, b] y g(t) = g(a) +
_
t
a
f(s)ds para cada t [a, b].
(b) Para cada t [a, b] existe g

+
(t) = f(t+) y, para cada t (a, b], existe g

(t) = f(t).
(c) f G[a, b] y g es una primitiva de f (es decir, g es continua y, fuera de un conjunto
numerable de [a, b], existe g

(t) = f(t)).
Prueba
(a)(b) Sea t
0
[a, b), veamos que g

+
(t
0
) = f(t
+
0
)
Ntese que
1
h
[g(t
0
+h) g(t
0
)] f(t
+
0
) =
1
h
_
g(a) +
_
t
0
+h
a
f(s)ds g(a)

_
t
0
a
f(s)ds
_
f(t
+
0
)
=
1
h
_
t
0
+h
a
f(s)ds f(t
+
0
)
=
1
h
_
t
0
+h
a
[f(s) f(t
+
0
)]ds.
(19)
Por otro lado, como f G[a, b], entonces
> 0 > 0 : t
0
< s < t
0
+ = |f(s) f(t
+
0
)| < . (20)
Luego, de (19) y (20), se sigue que
g

+
(t
0
) = f(t
+
0
).
De manera similar se prueba que g

(t
0
) = f(t

0
).
(b)(c) Claramente, de la hiptesis (b), se tiene que f G[a, b].
Integral de Cauchy y Funciones Regladas 67
Ahora veamos que g es una primitiva de f. Como el conjunto de puntos donde una funcin
reglada es discontinua es numerable, entonces
A = {t [a, b) : f(t+) = f(t)} y B = {t (a, b] : f(t) = f(t)}
son numerables. En consecuencia, en los puntos de los conjuntos
[a, b] \ A y [a, b] \ B
f es continua; es decir, f(x) = f(x+) = f(x) = g

+
(x) = g

(x) = g

(x) para cada x

[a, b] \ A y para cada x [a, b] \ B. As, fuera de un conjunto numerable de [a, b], existe g

y
g

(t) = f(t). La continuidad de la funcin g se sigue del teorema 36.

(c)(a) Como f G[a, b], entonces existe (
n
) E[a, b] tal que
n

f en [a, b].
Denimos,

n
(t) = g(a) +
_
t
a

n
(t)dt.
Como
n

f en [a, b], entonces

(t) = g(a) +
_
t
a
f(t)dt
en [a, b]. Por la hiptesis (c), g es continua y, por (a)(b)(c), es continua, con
g(a) = (a).
Nuevamente, como (a)(b)(c), es una primitiva de f y, as, existe

con

(t) =
f(t) = g

(t), fuera de un conjunto numerable de [a, b]. En consecuencia,

= g.
Por lo tanto, (a) es cierto.
Corolario 38 (Primer Teorema Fundamental del Clculo)
Sean f G[a, b] y g : [a, b] IR dada por
g(x) = g(a) +
_
x
a
f(t)dt.
Si f es continua en c [a, b], entonces g es derivable en c y
g

(c) = f(c).
68 Nelson Viloria y Reinaldo Cadenas
(Si c = a o b, entonces g

(c) se entiende que representa la derivada por la derecha o por

la izquierda de F ).
Prueba
La continuidad de f en c garantiza que f(c+) = f(c) = f(c) y, as, por (a)(b) del
teorema 37, se sigue que
g

(c) = g

+
(c) = g

(c) = f(c).
Corolario 39 (Segundo Teorema Fundamental del Clculo)
Sea f G[a, b] y g : [a, b] IR una funcin tal que g

(x) = f(x) para cada x [a, b].

Entonces,
_
b
a
f(x)dx = g(b) g(a).
Prueba
Como f G[a, b], entonces g es continua en [a, b] y g

(x) = f(x) para cada x [a, b].

Luego, por el teorema 37, g es una primitiva de f y, as,
g(t) = g(a) +
_
t
a
f(s)ds,
para cada t [a, b]. En particular,
g(b) g(a) =
_
b
a
f(s)ds.
Corolario 40 Si f : [a, b] IR es continua sobre [a, b] y f = g

para alguna funcin g,

entonces
_
b
a
f(t)dt = g(b) g(a).
Prueba
Basta ver que si f es continua sobre [a, b], entonces f G[a, b] y, por el corolario 39, el
resultado es inmediato.
Integral de Cauchy y Funciones Regladas 69
Nota 41
(1) Dada la funcin F(x) = xln x +e
x
conocemos que F

(x) = ln x +e
x
1. El corolario 39
asegura que toda derivada F

nos da una frmula para integrales, as en nuestro ejemplo

_
b
a
(ln x +e
x
1)dx = F(b) F(a)
= [b ln b e
b
] [a ln a +e
a
].
(2) Es importante destacar que el primer teorema fundamental del clculo nos dice que toda
funcin f denida sobre [a, b] tiene una primitiva a saber
F(x) =
_
x
a
f(t)dt +f(a).
9 Integracin en trminos elementales
Teorema 42 (Integracin por Partes)
Sean f

, g

G[a, b]. Entonces

_
b
a
f(t)g

(t)dt = f(b)g(b) f(a)g(a)

_
b
a
f

(t)g(t)dt. (21)
Prueba
Como
(f g)

(t) = f

(t)g(t) +f(t)g

(t). (22)
Entonces, por la hiptesis y (22), se sigue que
_
b
a
f(t)g

(t)dt =
_
b
a
(f g)

(t)dt
_
b
a
f

(t)g(t)dt. (23)
Por otro lado, por el corolario 40,
_
b
a
(f g)

(t)dt = f(b)g(b) f(a)g(a). (24)

En consecuencia, de (23) y (24), se obtiene (21).
70 Nelson Viloria y Reinaldo Cadenas
Corolario 43 (Frmula usual de Integracin por Partes)
Si f

y g

son funciones continuas sobre [a, b], entonces

_
b
a
f(t) g(t)dt = f(b)g(b) f(a)g(a)
_
b
a
f

(t)g(t)dt.
Prueba
Basta recordar que C[a, b] G[a, b] y aplicar el Teorema 42.
Teorema 44 (Frmula de Sustitucin)
Sean f

, g

G[a, b]. Si f es continua, entonces

_
b
a
(f g)(t)g

(t)dt =
_
g(b)
g(a)
f(u)du.
Prueba
Sea F una primitiva de f, entonces, por el corolario 40, se tiene que
_
g(b)
g(a)
f(u)du = F(g(b)) F(g(a)).
Por otro lado, como F es una primitiva de f, por la regla de la cadena, obtenemos
(F g)

(t) = (F

g)(t)g

(t) = (f g)(t)g

(t),
para todo t [a, b] \ E, E IR numerable. En consecuencia, F g es una primitiva de (f g)g

.
Por otro lado, como f C[a, b] y g, g

G[a, b], entonces (f g)g

G[a, b]. Por lo cual, usando

el corolario 40, concluimos que
_
b
a
(f g)(t)g

(t)dt = F(g(b)) F(g(a)).

Integral de Cauchy y Funciones Regladas 71
Referencias
[1] AULBACH, B. and NEIDHART, L. Integration on measure chains. Proceedings
of the Sixth International Conference on Dierence Equations, 239-252, CRC, Boca Raton, FL,
2004.
[2] BERBERIAN, S. Regulated Functions: Bourbakis Alternative to the Riemann Integral.
American Mathematical Monthly, N

86, pags 208-211, 1979.

[3] CADENAS, R. y VILORIA, N. Integral de Cauchy: Alternativa a la Integral de
Riemann. Divulgaciones Matemticas, Vol. 11, No. 1(2003), pp. 49-53.
[4] CHAMBADAL, L. and OVAERT, J. Fonctions dune Variable Relle. Dunod Uni-
versit. Gauthier-Villars, 1972.
[5] DIEUDONN, J. Fundamentos de Anlisis Moderno. Editorial Revert, S.A. Espaa,
1966.
[6] HILGER, S. Analysis on measure chains -a unied approach to continuous and discrete
calculus-. Results Math. 18 (1990), no. 1-2, 18-56.
[7] HNIG, C. quations intgrales gnralises et applications. (French) [Generalized inte-
gral equations and applications ] Harmonic analysis: study group on translation-invariant Banach
spaces, Exp. No. 5, 50 pp., Publ. Math. Orsay 83, 1, Univ. Paris XI, Orsay, 1983.
[8] VILORIA, N. El operador de Nemytskij en el Espacio de las Funciones Regladas. Di-
vulgaciones Matemticas, Vol. 12, No. 2(2004), pp. 149-153.
NELSON VILORIA
Departamento de Matemticas, Facultad de Ciencias,
Universidad de Los Andes
Mrida 5101, Venezuela
e-mail: nelson@ula.ve
REINALDO CADENAS
Departamento de Medicin y Evaluacin, Facultad de Humanidades y Educacin,
Universidad de Los Andes
Mrida 5101, Venezuela
e-mail: rcadena@ula.ve