Capı́tulo 2

La integral de Riemann - Stieltjes .

2.1. Integral de Riemann - Stieltjes. Definición. Criterio de

integrabilidad.

R
Consideremos ahora la integral de Riemann - Stieltjes, que es un concepto más
O
general que la integral de Riemann.
Dada f : [a, b] → R acotada, el concepto de integral de Riemann se fundamenta
D
en los conceptos de suma superior e inferior sobre una partición del intervalo [a, b].
Cada sumando de la suma superior es la multiplicación del supremo de f en un
A

subintervalo multiplicado por la longitud de dicho subintervalo. Para el caso de la

R

integral de Riemann - Stieljes, se introduce una función α : [a, b] → R, monótona

creciente y cada sumando de la suma superior es la multiplicación del supremo de f en
R

un subintervalo multiplicado por la variación de la función α sobre dicho subintervalo.

BO

Lo mismo ocurre con las sumas inferiores.

La integral de Riemann se presenta como un caso particular de la integral de
Riemann - Stieljes, cuando α(x) = x. Cuando α(x) es continuamente diferenciable,
veremos que la integral de Riemann - Stieltjes se reduce a una integral de Riemann.
Sin embargo, la integral de Riemann - Stieltjes tiene sentido aún cuando α(x) no
es diferenciable, incluso discontinua, que son los casos que le dan pertinencia a la
integral de Riemann - Stieltjes. Esta generalización de la integral de Riemann tiene
su aplicación en problemas diversos, por ejemplo, en la Teorı́a de la Probabilidad
cuando se consideran simultáneamente variables aleatorias continuas y discretas.
Definición 2.1. Sea f : [a, b] → R acotada, α : [a, b] → R una función monótona
creciente. Dada P = {x0 , x1 , . . . , xn } una partición de [a, b], sean

mk = inf {f (x) : x ∈ [xk−1 , xk ]}

Mk = sup {f (x) : x ∈ [xk−1 , xk ]}

para k = 1, . . . , n. Se define la suma inferior de Riemann - Stieltjes de f correspondiente

a α y a la partición P como
n
X n
X
L(P, f, α) = mk (α(xk ) − α(xk−1 )) = mk ∆αk .
k=1 k=1

52
Análisis II. La integral de Riemann - Stieltjes 53

La suma superior de Riemann - Stieltjes de f correspondiente a la función α y a la

partición P se define como:
n
X n
X
U (P, f, α) = Mk (α(xk ) − α(xk−1 )) = Mk ∆αk
k=1 k=1

Propiedades de las sumas inferiores y superiores de Riemann - Stieljes

Los siguientes lemas son similares a los correspondientes lemas para las sumas
superiores e inferiores de Riemann.
Lema 2.2. Sea f : [a, b] → R acotada y α : [a, b] → R monótona creciente. Para toda
partición P de [a, b] se cumple que

L(P, f, α) ≤ U (P, f, α)

Lema 2.3. Sea f : [a, b] → R acotada y α : [a, b] → R monótona creciente. Para toda
partición P de [a, b] y todo refinamiento Q de P se cumple que:
R
O
L(P, f, α) ≤ L(Q, f, α)
D
U (Q, f, α) ≤ U (P, f, α)
A

Lema 2.4. Sea f : [a, b] → R acotada y α : [a, b] → R monótona creciente. Para

cualesquiera particiones P1 y P2 de [a, b] se cumple que
R
R

L(P1 , f, α) ≤ U (P2 , f, α)
BO

A continuación se definen las integrales superior e inferior de una función f

respecto a la función α.
Definición 2.5. Sea f : [a, b] → R acotada y α : [a, b] → R monótona creciente. La
integral superior de Riemann - Stieltjes de f respecto a α en [a, b] es el número,
Z b
f dα = ı́nf {U (P, f, α) : P ∈ P},
a

de igual manera la integral inferior de Riemann - Stieltjes de f respecto a α en [a, b]

es el número,
Z b
f dα = sup {L(P, f, α) : P ∈ P}.
a

El siguiente teorema es la generalización del correspondiente teorema para la

integral de Riemann.
Teorema 2.6. Sea f : [a, b] −→ R acotada y α : [a, b] −→ R monótona creciente.
Entonces existen la integral inferior y superior de Riemann - Stieltjes, además se
verifica que,
Z b Z b
f dα ≤ f dα.
a a
Análisis II. La integral de Riemann - Stieltjes 54

Definición de la integral de Riemann - Stieltjes

Definición 2.7. Sea f : [a, b] → R acotada y α : [a, b] → R monótona creciente.
Se dice que la función f es Riemann - Stieltjes integrable respecto a α sobre [a, b]
Rb Rb
(f ∈ Rα [a, b]) si f dα = a f dα. En este caso, la integral de Riemann - Stieltjes,
Rb a
denotada por a f dα, se define como el valor
Z b Z b Z b
f dα = f dα = f dα.
a a a

Notemos que si α(x) = x obtenemos la integral de Riemann.

Ejemplo 2.1. (Función constante) Sea f (x) = c en [a, b]. Mostremos que f ∈ Rα [a, b]
para cualquier función α : [a, b] → R monótona creciente. Sea P = {x0 , x1 , . . . , xn }
una partición de [a, b], entonces
n
X n
X
L(P, f, α) =
k=1
mk ∆αk = c
k=1 R
[α(xk ) − α(xk−1 )] = c[α(b) − α(a)].
O
De manera análoga U (P, f, α) = c[α(b) − α(a)]. Luego,
D

b b
A

Z Z
f dα = f dα
a
R

a
Rb
R

de donde a cdα = c[α(b) − α(a)]

BO

Ejemplo 2.2. (Función de Dirichlet) Sea f : [0, 1] → R definida por

0 x ∈ Q∗

f (x) =
1 x∈Q

α : [a, b] → R monótona creciente.

n
X
L(P, f, α) = mk ∆αk = 0
k=1

n
X n
X
U (P, f, α) = Mk ∆αk = ∆αk = α(b) − α(a) ̸= 0
k=1 k=1

ası́, L(P, f, α) = 0 y U (P, f, α) = α(b) − α(a) ̸= 0, lo que implica que si α no es

constante en [a, b] entonces f ∈/ Rα [0, 1].

Ejemplo 2.3. Si α = c en [a, b] entonces f ∈ Rα [a, b] para toda función f acotada en

Rb
[a, b] y a f dα = 0.
Análisis II. La integral de Riemann - Stieltjes 55

Criterio de integrabilidad de Riemann - Stieljes.

Teorema 2.8. f ∈ Rα [a, b] si y sólo si para todo ϵ > 0 existe una partición Pϵ tal que

U (P, f, α) − L(P, f, α) < ϵ

La demostración del Teorema 2.8 es análoga a la demostración del Criterio de

Integrabilidad de Riemann. Utilizando este criterio podemos demostrar la integrabilidad,
en el sentido de Riemann - Stieljes, de las funciones continuas.
Teorema 2.9. Sea f : [a, b] → R continua y α : [a, b] → R monótona creciente.
Entonces f ∈ Rα [a, b].
Demostración. Asumamos que α(b) − α(a) > 0. De lo contrario, si α(b) − α(a) = 0,
entonces α es constante y se obtiene el resultado del ejemplo anterior.
Sea ϵ > 0. Como f es continua en [a, b] entonces f es uniformemente continua en
[a, b], luego existe δ > 0 tal que si x, y ∈ [a, b] y |x − y| < δ tenemos
ϵ
|f (x) − f (y)| < .
R
α(b) − α(a)
O
Tomemos P = {x0 , x1 , . . . , xn } una partición tal que ∥P ∥ < δ. Como f es
continua, entonces Mk − mk = f (x′ ) − f (x′′ ) para ciertos puntos x′ , x′′ ∈ [xk−1 , xk ].
D

Entonces
A

n
X
R

U (P, f, α) − L(P, f, α) = (Mk − mk )∆αk

k=1
R

n
ϵ X
< ∆αk = ϵ.
BO

α(b) − α(a)
k=1

Teorema 2.10. (Integrabilidad de la funciones monótonas) Si f : [a, b] → R es una

función monótona en [a, b] y α : [a, b] → R es monótona creciente y continua en
[a, b], entonces f ∈ Rα [a, b].
Demostración. Supongamos que f es monótona creciente. Dado ϵ > 0, como α es
uniformemente contnua en [a, b], existe δ > 0 tal que para todo x, y ∈ [a, b] con
ϵ
|x − y| < δ, se tiene que |α(x) − α(y)| < f (b)−f (a) . Sea P = {x0 , x1 , . . . , xn } una
particion con ||P || < δ. Entonces
n
X
U (P, f, α) − L(P, f, α) = (f (xk ) − f (xk−1 ))∆αk
k=1
n
ϵ X
< (f (xk ) − f (xk−1 )) = ϵ.
f (b) − f (a)
k=1

Veamos que si f es monótona y α es discontinua, no necesariamente f ∈ Rα [a, b].

Análisis II. La integral de Riemann - Stieltjes 56

Ejemplo 2.4. Sea f : [−1, 1] → R monótona creciente y discontinua por la derecha

en 0, es decir, f (0) < f (0+ ), donde f (0+ ) = lı́mx→0+ f (x). Definamos la función
α : [−1, 1] → R ası́: 
0 −1 ≤ x ≤ 0
α(x) =
1 0<x≤1
Mostremos que f ∈/ Rα [−1, 1]. Sea P = {x0 , x1 , · · · , xn } cualquier partición de [−1, 1]
que contiene a 0. Supongamos que xk = 0, entonces ∆αi = 0 para todo i ̸= k + 1.
Entonces
n
X
U (P, f, α) = Mi ∆αi = Mk+1 ∆αk+1 = Mk+1 = f (xk+1 ) ≥ f (0+ )
i=1
n
X
L(P, f, α) = mi ∆αi = mk+1 ∆αk+1 = mk+1 = f (xk ) = f (0).
i=1

Notemos que si P ′ es una partición que no contiene a 0, entonces P = P ′ ∪ {0} es

un refinamiento de P ′ que contiene a 0 y U (P ′ , f, α) ≥ U (P, f, α) y L(P ′ , f, α) ≤
L(P, f, α). Ası́ R
Z 1
O
Z 1
f dα ≤ f (0) < f (0+ ) ≤ f dα,
D
−1 −1

es decir, que f ∈
/ Rα [−1, 1].
A

Ejemplo 2.5. Sean f : [a, b] → R monótona y α : [a, b] → R monótona creciente.

R

Mostremos que si f y α son discontinuas por la derecha en c ∈ (a, b), entonces

R

f ∈/ Rα [a, b]. Sin perder generalidad asumamos que f es monótona creciente. En

este caso se cumple que f (c) < f (c+) y α(c) < α(c+ ).
BO

Sea P = {x0 , x1 , · · · , xn } cualquier partición de [a, b] tal que c = xk ∈ P .

Entonces
n
X
U (P, f, α) − L(P, f, α) = (Mi − mi )∆αi ≥ (Mk+1 − mk+1 )∆αk+1
i=1
= [f (xk+1 ) − f (xk )][α(xk+1 ) − α(c)]
≥ [f (c+ ) − f (c)][α(c+ ) − α(c)].

Notemos que si P ′ es una partición que no contiene a c, entonces P = P ′ ∪ {c} es

un refinamiento de P ′ que contiene a c y U (P ′ , f, α) − L(P ′ , f, α) ≥ U (P, f, α) −
L(P, f, α). Ası́, para toda partición P de [a, b],

U (P, f, α) − L(P, f, α) ≥ [f (c+ ) − f (c)][α(c+ ) − α(c)] > 0

y por el criterio de integrabilidad de Riemann-Stieljes, f ∈

/ Rα [a, b].
Ejemplo 2.6. Sean f : [a, b] → R monótona y continua por la derecha en el punto
c ∈ (a, b) y α : [a, b] → R definida por

α(a) si a ≤ x ≤ c
α(x) = ,
α(b) si c < x ≤ b
Análisis II. La integral de Riemann - Stieltjes 57

donde α(a) < α(b). Mostremos que f ∈ Rα [a, b] y

Z b
f dα = f (c)[α(b) − α(a)].
a

En este caso f es continua en c por la derecha y α es continua en c por la

izquierda. Asumamos que f es monótona creciente.
Como en el ejemplo anterior tomamos una partición P = {x0 , x1 , · · · , xn } de
[a, b] tal que c = xk ∈ P . Entonces
n
X
U (P, f, α) − L(P, f, α) = (Mi − mi )∆αi = (Mk+1 − mk+1 )[α(b) − α(a)].
i=1

Como f es continua en c por la derecha, dado ϵ > 0, existe δ > 0 tal que para
todo x ∈ [a, b] ∩ [c, c + δ) se cumple que
ϵ
|f (x) − f (c)| < .
[α(b) − α(a)]

R
Entonces, si P es una partición que contiene a c con ||P || < δ se cumple que
O
Mk+1 − mk+1 = f (xk+1 ) − f (c) = |f (xk+1 ) − f (c)|
D
ϵ
< .
α(b) − α(a)
A

Entonces
R
R

U (P, f, α) − L(P, f, α) = (Mk+1 − mk+1 )[α(b) − α(a)] < ϵ

BO

y por el criterio de integrabilidad f ∈ Rα [a, b]. Para mostrar la igualdad, tenemos

para cualquier partición P tal que xk = c, entonces

L(P, f, α) = mk+1 [α(b)−α(a)] ≤ f (c)[α(b)−α(a)] ≤ Mk+1 [α(b)−α(a)] = L(P, f, α).

Por otra parte, para cualquier partición P que no contenga a c, P ∪ {c} es un

refinamiento de P , es decir, la desigualdad anterior se cumple para cualquier partición
de [a, b]. Esto implica que
Z b
f dα = f (c)[α(b) − α(a)].
a

Ejemplo 2.7. De igual forma se puede mostrar que si, f : [a, b] → R monótona y
continua por la izquierda en el punto c ∈ (a, b) y α : [a, b] → R definida por

α(a) si a ≤ x < c
α(x) = ,
α(b) si c ≤ x ≤ b

donde α(a) < α(b), entonces f ∈ Rα [a, b] y

Z b
f dα = f (c)[α(b) − α(a)].
a
Análisis II. La integral de Riemann - Stieltjes 58

2.2. Propiedades de la integral de Riemann - Stieltjes.

Teorema 2.11. (Linealidad) Sean f, g : [a, b] → R acotadas, α : [a, b] → R monótona
creciente y c ∈ R. Si f, g ∈ Rα [a, b], entonces cf ∈ Rα [a, b], f + g ∈ Rα [a, b] y
Z b Z b
cf dα = c f dα
a a
Z b Z b Z b
(f + g)dα = f+ gdα
a a a

La demostración del teorema anterior es similar a la demostración del correspondiente

teorema para la integral de Riemann.

Corolario 2.12. Si fi ∈ Rα [a, b] y ci ∈ R para i = 1, 2, . . . , n, entonces ni=1 ci fi ∈

P
Rα [a, b] y
Z b "Xn n
# Z b
X
ci fi dα = ci fi dα.
a a
i=1 i=1

Teorema 2.13. (Positividad) Sea f ∈ Rα [a, b]. Si f (x) ≥ 0 para toda x ∈ [a, b], R
O
entonces Z b
D
f dα ≥ 0
a
A

Demostración. Se deja al lector la demostración de este teorema.

R

Corolario 2.14. Sean f, g ∈ Rα [a, b] y f (x) ≤ g(x) para toda x ∈ [a, b], entonces
R

Z b Z b
BO

f dα ≤ gdα.
a a

Corolario 2.15. Sea f ∈ Rα [a, b] y m ≤ f (x) ≤ M para toda x ∈ [a, b], entonces
Z b
m[α(b) − α(a)] ≤ f dα ≤ M [α(b) − α(a)].
a

Teorema 2.16. (Aditividad) Sea f : [a, b] → R acotada, α : [a, b] → R monótona

creciente y sea a < c < b, entonces f ∈ Rα [a, c] y f ∈ Rα [c, b] si y sólo si f ∈ Rα [a, b]
y
Z b Z c Z b
f dα = f dα + f dα.
a a c

La demostración del teorema anterior es similar a la demostración del correspondiente

teorema para la integral de Riemann.

Corolario 2.17. Si P = {x0 , x1 , . . . , xn } una partición de [a, b] y f ∈ Rα [a, b], entonces

Z b n Z
X xk
f dα = f dα.
a k=1 xk−1
Análisis II. La integral de Riemann - Stieltjes 59

Utilizando el Corolario anterior y los Ejemplos 2.6 y 2.7 se pueden calcular

integrales de Riemann Stieljes donde la función α es escalonada.
R3
Ejemplo 2.8. Evaluar la integral −2 x2 dφ, donde

 0 si −2 ≤ x ≤ −1
φ(x) = 1 si −1 < x < 2
2 si 2≤x≤3


Como f (x) = x2 es continua en todo R, en particular en [−2, 3], entonces f ∈

Rα [−2, 3]. Ası́, aplicando el Corolario 2.17 y los Ejemplos 2.6 y 2.7 tenemos:
Z 3 Z 0 Z 3
2 2
x dφ = x dφ + x2 dφ
−2 −2 0
= f (−1)(α(0) − α(−2)) + f (2)(α(3) − α(0)) = 5
Teorema 2.18. Sean α, β : [a, b] → R monótonas crecientes, c1 , c2 ∈ R+ , f ∈ Rα [a, b]
y f ∈ Rβ [a, b]. Entonces f ∈ Rc1 α+c2 β [a, b] y,
Z b
f d(c1 α + c2 β) = c1
Z b
R
f dα + c2
Z b
f dβ.
O
a a a
D
Demostración. Mostremos inicialmente que si c1 ∈ R con c1 > 0 entonces f ∈
Rc1 α [a, b] y
A

Z b Z b
f d(c1 α) = c1 f dα.
R

a a
Para cualquier partición P = {x0 , x1 , · · · , xn } de [a, b]
R

n
BO

X
U (P, f, c1 α) = c1 Mk ∆αk = c1 U (P, f, α)
k=1
n
X
L(P, f, c1 α) = c1 mk ∆αk = c1 L(P, f, α)
k=1

por lo tanto, como f ∈ Rα [a, b] tenemos que

Z b
f d(c1 α) = sup{L(P, f, c1 α)} = sup{c1 L(P, f, α)}
a
Z b
= c1 sup{L(P, f, α)} = c1 f dα.
a
Z b
f d(c1 α) = ı́nf{U (P, f, c1 α)} = ı́nf{c1 U (P, f, α)}
a
Z b
= c1 ı́nf{U (P, f, α)} = c1 f dα.
a

lo que implica que f ∈ Rc1 α [a, b] y

Z b Z b
f d(c1 α) = c1 f dα.
a a
Análisis II. La integral de Riemann - Stieltjes 60

Mostremos ahora que f ∈ Rα+β [a, b] y que

Z b Z b Z b
f d(α + β) = f dα + f dβ,
a a a

de donde se obtiene fácilmente la demostración del teorema. Se cumple que

n
X
U (P, f, α + β) = Mk ∆(αk + βk ) = U (P, f, α) + U (P, f, β),
k=1
Xn
L(P, f, α + β) = mk ∆(αk + βk ) = L(P, f, α) + L(P, f, β),
k=1

de donde se sigue que:

Z b
f d(α + β) = sup{L(P, f, α + β)}
a

R
= sup{L(P, f, α) + L(P, f, β)}
= sup{L(P, f, α)} + sup{L(P, f, β)}
O
Z b Z b
D
= f dα + f dβ.
a a
A

Z b
f d(α + β) = ı́nf{U (P, f, α + β)}
R

a
= ı́nf{U (P, f, α) + U (P, f, β)}
R

= ı́nf{U (P, f, α)} + ı́nf{U (P, f, β))}

BO

Z b Z b
= f dα + f dβ.
a a

Como f ∈ Rα [a, b] y f ∈ Rβ [a, b], esto implica que f ∈ Rα+β [a, b] y

Z b Z b Z b
f d(α + β) = f dα + f dβ.
a a a

Teorema 2.19. (Composición de funciones integrables) Sea f ∈ Rα [a, b], φ : [c, d] →

R continua y f ([a, b]) = [c, d]. Entonces la composición φ ◦ f ∈ Rα [a, b].

La demostración del teorema anterior es similar a la demostración del correspondiente

teorema para la integral de Riemann.

Corolario 2.20. Sea f ∈ Rα [a, b]. Entonces

1. La función |f | ∈ Rα [a, b]. Además,

Z b  Z b
 
 f dα ≤ |f |dα.
 
a a
Análisis II. La integral de Riemann - Stieltjes 61

2. Si n ∈ N, la función f n ∈ Rα [a, b].

3. Si existe δ > 0 tal que f (x) ≥ δ para toda x ∈ [a, b], la función 1/f ∈ Rα [a, b].

Teorema 2.21. Sean f, g ∈ Rα [a, b]. Entonces, su producto f g ∈ Rα [a, b].

Teorema 2.22. (Cambio de variable) Sea φ : [λ, δ] → R continua, estrictamente

creciente y tal que φ([λ, δ]) = [φ(λ), φ(δ)] = [a, b]. Sea f ∈ Rα [a, b], entonces f ◦ φ ∈
Rα◦φ [λ, δ] y
Z b Z δ
f dα = (f ◦ φ)d(α ◦ φ).
a λ

Demostración. Como f ∈ Rα [a, b], por el criterio de integrabilidad Riemann - Stieljes

existe una partición P = {x0 , x1 , · · · , xn } de [a, b] tal que:

U (P, f, α) − L(P, f, α) < ϵ.

Como φ : [λ, δ] → R es estrictamente creciente, a cada partición P = {x0 , x1 , · · · , xn }

R
de [a, b] le corresponde una, y sólo una partición Q = {y0 , y1 , · · · , yn } de [λ, δ] donde
xk = φ(yk ) para k = 0, 1, 2, · · · , n. Además, todos los valores que f toma en el
O
intervalo [xk−1 , xk ] son exactamente los que toma f ◦ φ en [yk−1 , yk ], ası́
D

Mk = sup{f (x) : x ∈ [xk−1 , xk ]} = sup{(f ◦ φ)(x) : x ∈ [yk−1 , yk ]} = Mk

A

mk = ı́nf{f (x) : x ∈ [xk−1 , xk ]} = sup{(f ◦ φ)(x) : x ∈ [yk−1 , yk ]} = mk

R

para cada k = 1, . . . , n. Entonces

R

U (P, f, α) = nk=1 Mk ∆αk = nk=1 Mk ∆(α ◦ φ)k = U (Q, f ◦ φ, α ◦ φ)

P P
BO

L(P, f, α) = nk=1 mk ∆αk = nk=1 mk ∆(α ◦ φ)k = L(Q, f ◦ φ, α ◦ φ)

P P

lo que nos permite con concluir que:

U (Q, f ◦ φ, α ◦ φ) − L(Q, f ◦ φ, α ◦ φ) < ϵ

y por el criterio de Riemann - Stieljes tenemos que f ◦φ ∈ Rα◦φ [λ, δ]. Para demostrar
la igualdad, notemos que
Z b
f dα = ı́nf{U (P, f, α)}
a
Z δ
= ı́nf{U (Q, f ◦ φ, α ◦ φ)} = (f ◦ φ)d(α ◦ φ)
λ

lo que implica que

Z b Z b Z δ Z δ
f dα = f dα = (f ◦ φ)d(α ◦ φ) = (f ◦ φ)d(α ◦ φ) .
a a λ λ
Análisis II. La integral de Riemann - Stieltjes 62

Ejemplo 2.9. Evalue la integral: Z 5

f dα
0

donde f (x) = x y α(x) = ⌊x2 ⌋ denota la función parte entera.

Como f es continua en [0, 5], entonces f ∈ Rα [0, 5]. Apliquemos el Teorema del
√
cambio de variables con la función φ : [0, 25] → R dada por φ(x) = x. Notemos que
esta función es continua y estrictamente creciente con φ([0, 25]) = [φ(0), φ(25)] =
√ √
[0, 5], y además (f ◦ φ)(x) = f (φ(x)) = f ( x) = x y (α ◦ φ)(x) = α(φ(x)) =
√
α( x) = ⌊x⌋, por lo tanto,

5 5 25 √ 25 Z k √
Z Z Z X
f dα = xd⌊x2 ⌋ = xd⌊x⌋ = xd⌊x⌋.
0 0 0 k=1 k−1

Mostremos ahora que

Z k √ √
xd⌊x⌋ = k.
k−1

Sea P = {x0 < x1 < · · · < xn−1 < xn } una partición de [k − 1, k]. Entonces R
O
n √
√ X
D
U (P, x, d⌊x⌋) = Mi (⌊xi ⌋ − ⌊xi−1 ⌋) = Mn (k − (k − 1)) = k.
i=1
A

√ √
Como x es continua, x ∈ R⌊x⌋ [k − 1, k] y
R
R

k
Z k √
Z
√ √ √
xd⌊x⌋ = xd⌊x⌋ = ı́nf U (P, x, d⌊x⌋) = k.
BO

k−1 k−1

Ası́,
5 25 Z k 25 √
√
Z X X
f dα = xd⌊x⌋ = k.
0 k=1 k−1 k=1
Análisis II. La integral de Riemann - Stieltjes 63

2.3. Sumas integrales de Riemann - Stieltjes.

Al igual que para la integral de Riemann, se introducen las sumas integrales de
Riemann - Stieltjes.

Definición 2.23. (Suma integral de Riemann - Stieltjes) Sea f : [a, b] → R acotada y

α : [a, b] → R monótona creciente, P = {x0 , x1 , · · · , xn } una partición de [a, b] y
ξ1 , ξ2 , · · · , ξn una selección de puntos de [a, b] tales que ξk ∈ [xk−1 , xk ] para k =
1, 2, · · · , n. La suma integral de Riemann - Stieltjes de f respecto a α, a la partición
P y a los puntos distinguidos ξ1 , ξ2 , · · · , ξn se define por:
n
X n
X
S(P, f, α) = f (ξk )∆αk = f (ξk )[α(xk ) − α(xk−1 )].
k=1 k=1

Es claro que dada una partición P de [a, b], para cualquier suma integral de
Riemann - Stieltjes de f respecto a α y a la partición P , es decir, para cualquier
selección de los puntos ξ1 , ξ2 , · · · , ξn , se tiene que

R
L(P, f, α) ≤ S(P, f, α) ≤ U (P, f, α).
O
Teorema 2.24. Sean f : [a, b] → R acotada y α : [a, b] → R monótona creciente.
D

f ∈ Rα [a, b] si y solo si existe un número real A con la propiedad de que para todo
A

ϵ > 0, existe una partición P , tal que para cualquier refinamiento Q de P y toda
suma integral de Riemann - Stieltjes de f respecto a α y a la partición Q se verifica
R

que
R

|S(Q, f, α) − A| < ϵ.
BO

En dicho caso tenemos que

Z b
A= f dα.
a

La demostración es similar a la del correspondiente teorema para la integral de

Riemann.
El siguiente teorema es una generalización del Teorema de Darboux al caso de la
integral de Riemann - Stieljes.

Teorema 2.25. Sean α : [a, b]| → R monótona creciente y continua y f ∈ Rα [a, b].
Entonces para todo ϵ > 0 existe un δ > 0 tal que para cualquier partición P , con
∥P ∥ < δ, y para cualquier suma integral de Riemann - Stieltjes de f correspondiente
a P tenemos que:  Z b 
 
S(P, f, α) − f dα  < ϵ.
 
a

Demostración. La demostración es similar a la del Teorema de Darboux para la

integral de Riemann.
Sea f ∈ Rα [a, b], entonces dado ϵ > 0 existe la partición Pϵ tal que

U (Pϵ , f, α) − L(Pϵ , f, α) < ϵ/3. (2.1)

Análisis II. La integral de Riemann - Stieltjes 64

Sea Pϵ = {x0 , x1 , . . . , xn }, M = sup {|f (x)| : x ∈ [a, b]} y

ϵ
ϵ′ = .
|6nM |
Como α es continua en [a, b], entonces es uniformemente continua, es decir, que existe
δ > 0 tal que para todo x, y ∈ [a, b] con |x − y| < δ se tiene que
|α(x) − α(y)| < ϵ′ .
Sea Q = {y0 , y1 , . . . , yn } una partición de [a, b] con ∥Q∥ < δ y sea Q1 un
refinamiento de Q obtenida agregando a Q un punto de la partición Pϵ . Por lo tanto,
todos los subintervalos de Q coinciden con los de Q1 , excepto en un subintervalo.
Denotemos por x el punto de P que se le agrega a Q en el intervalo [yk−1 , yk ] y
denotemos por Mk′ y Mk′′ el supremo de f en [yk−1 , x] y [x, yk ] respectivamente.
Como Q1 es un refinamiento de Q, entonces
0 ≤ U (Q, f, α) − U (Q1 , f, α) = Mk (α(yk ) − α(yk−1 )) − Mk′ (α(yk ) − α(x))
−Mk′′ (α(x) − α(yk−1 ))

R
= (Mk − Mk′ )(α(yk ) − α(x))
+(Mk − Mk′′ )(α(x) − α(yk−1 ))
O
≤ 2M (α(yk ) − α(yk−1 ))
D

≤ 2M ϵ′ .
A

Sea ahora Q∗ = Q ∪ Pϵ . Notemos que Q∗ es un refinamiento de Q y de Pϵ que se

R

obtiene agregando a Q todos los puntos de Pϵ que no están en Q. Entonces Q∗ tienen

a lo sumo n − 1 puntos más que Q pues x0 = y0 = a y xn = ym = b. De lo anterior
R

obtenemos
BO

ϵ
0 ≤ U (Q, f, α) − U (Q∗ , f, α) ≤ 2M (n − 1)ϵ′ < 2M nϵ′ < . (2.2)
3
De igual forma obtenemos que
ϵ
0 ≤ L(Q∗ , f, α) − L(Q, f, α) ≤ 2M (n − 1)ϵ′ < . (2.3)
3
Para toda suma de Riemann - Stieljes S(Q, f, α) se tiene que
L(Q, f, α) ≤ S(Q, f, α) ≤ U (Q, f, α),
además Z b
L(Q, f, α) ≤ f dα ≤ U (Q, f, α),
a
entonces , utilizando las desigualdades (2.1), (2.2) y (2.3) obtenemos
 Z b 
 
S(Q, f, α) − f α ≤ U (Q, f, α) − L(Q, f, α)

a
= U (Q, f, α) − U (Q∗ , f, α) + U (Q∗ , f, α) − L(Q∗ , f, α)
+L(Q∗ , f, α) − L(Q, f, α)
ϵ ϵ
≤ + U (Q∗ , f, α) − L(Q∗ , f, α) +
3 3
ϵ ϵ
≤ + + U (Pϵ , f, α) − L(Pϵ , f, α) < ϵ.
3 3
Análisis II. La integral de Riemann - Stieltjes 65

Ejemplo 2.10. Veamos que si en el teorema anterior no se exige la continuidad de α,

puede ser que las sumas integrales no estén en la vecindad de la integral de Riemann
- Stieljes.
Sean f, α : [−1, 1] → {0, 1} funciones definidas por:
 
0 si −1 ≤ x ≤ 0 0 si −1 ≤ x < 0
f (x) = α(x) =
1 si 0<x≤1 1 si 0≤x≤1
Como f es continua por la izquierda en 0 y α es continua, f ∈ Rα [−1, 1] y
Z 1
f dα = f (0)[α(1) − α(−1)] = 0.
−1

Ahora sea δ > 0 y sea P = {x0 , x1 , · · · , xn } una partición de [−1, 1] tal que ∥P ∥ < δ
y 0 ∈/ P , es decir, que existe k tal que xk−1 < 0 < xk . Tomamos ηi ∈ [xi−1 , xi ]
arbitrario para i = 1, 2, · · · , k −1, k +1, · · · , n y para el intervalo [xk−1 , xk ] escogemos
0 < ηk < xk . Se obtiene entonces
n k−1 R n
O
X X X
S(P, f, α) = f (ηi )∆αi = f (ηi )∆αi + f (ηk )∆αk + f (ηi )∆αi = 1.
i=1 i=1 i=k+1
D

Por lo tanto, para cada partición con ∥P ∥ < δ tenemos infinitas sumas integrales
A

tales que  Z 1 
R

 
S(P, f, α) − f dα = 1.

−1
R

El recı́proco del anterior teorema se enuncia a continuación.

BO

Teorema 2.26. Sean f : [a, b] → R acotada y α : [a, b] → R es monótona creciente.

Si existe un número A con la propiedad de que para todo ϵ > 0, existe un δ > 0 tal
que para toda partición P de [a, b] con ∥P ∥ < δ y toda suma integral de Riemann -
Stieltjes se tiene que
|S(P, f, α) − A| < ϵ,
entonces f ∈ Rα [a, b] y
Z b
A= f dα.
a
Demostración. Sea f : [a, b] → R acotada y α : [a, b] → R monótona creciente y
supongamos que existe un número A con la propiedad de que para todo ϵ > 0, existe
un δ > 0 tal que para toda partición P de [a, b] con ∥P ∥ < δ y toda suma integral de
Riemann - Stieltjes se tiene que |S(P, f, α) − A| < ϵ. Por lo tanto, si Q es cualquier
refinamiento de P , se tiene que ∥Q∥ ≤ ∥P ∥ < δ, lo que implica que para cualquier
suma integral de Riemann - Stieltjes se verifica que |S(Q, f, α) − A| < ϵ. Por el
Teorema 2.24 se tiene que f ∈ Rα [a, b] y
Z b
A= f dα.
a
Análisis II. La integral de Riemann - Stieltjes 66

Veamos ahora bajo qué condiciones la integral de Riemann - Stieltjes se reduce

a la integral de Riemann.

Teorema 2.27. Sean f : [a, b] → R acotada y α : [a, b] → R monótona creciente y

diferenciable. Si f y α′ son Riemann integrables sobre [a, b], entonces f ∈ Rα [a, b] y
Z b Z b
f dα = f α′ .
a a

Demostración. Como f y α′ son Riemann integrables en [a, b], entonces por el Teorema
1.26 se sigue que el producto f α′ es Riemann integrable en [a, b]. Como f es acotada
en [a, b], existe M > 0 tal que para todo x ∈ [a, b], |f (x)| ≤ M .
Dado ϵ > 0, sea
ϵ
ϵ′ = > 0.
2M + 1
Notemos que β(x) = x es continua en todo [a, b], f α′ ∈ Rβ [a, b] y α′ ∈ Rβ [a, b].
Por el Teorema 2.25, para ϵ′ , existe δ > 0 tal que si P = {x0 , x1 , · · · , xn } es cualquier
partición de [a, b] con ∥P ∥ < δ, se verifica para cualesquiera sumas integrales S(P, f α′ , x)
y S(P, α′ , x) se cumple que R
O
 Z b 
D
′
f α dx < ϵ′ ,
′
 
S(P, f α , x) −

a
A

 Z b 
S(P, α′ , x) − ′
α dx < ϵ′ .
 
R


a
R

Entonces
BO

 Z b   n Z b 
X 
′ ′
 
S(P, f, α) − f α dx =

 f (tk )∆αk − f α dx


a  a 
k=1
n Z b 
X 
=  f (tk )α′ (sk )∆xk − f α′ dx ,
 

k=1 a 

donde aplicamos el Teorema del valor medio de Lagrange a la función α con sk ∈

(xk−1 , xk ). Sumando y restando la expresión
n
X
f (tk )α′ (tk )∆xk
k=1
Análisis II. La integral de Riemann - Stieltjes 67

y utilizando la desigualdad triangular se obtiene

 Z b   n Z b 
X 
′ ′ ′
 
S(P, f, α) − f α dx  ≤ 

f (t k )α (t k )∆x k − f α dx


 
a 
k=1 a 
 
X n 
+ f (tk )[α′ (sk ) − α′ (tk )]∆xk 
 
 
k=1
 
  n
 Z b  X 
′ ′ ′ ′

= S(P, f α , x) − f α dx +  f (tk )[α (sk ) − α (tk )]∆xk 

a 
k=1

 
Xn 
′
< ϵ + f (tk )[α′ (sk ) − α′ (tk )]∆xk 
 
 
k=1
n
X
≤ ϵ′ + |f (tk )| · α′ (sk ) − α′ (tk ) ∆xk
 

k=1
n
X
≤ ϵ′ + M
 ′
α (sk ) − α′ (tk ) ∆xk .


k=1 R
O
En cada subintervalo [xk−1 , xk ], escogemos pk = sk y qk = tk si α′ (sk ) − α′ (tk ) ≥ 0
o escogemos pk = tk y qk = sk si α′ (sk ) − α′ (tk ) < 0. Entonces
D
A

 Z b   n 
X 
′ ′ ′ ′
 

S(P, f, α) − f α dx  < ϵ +M 
α (p k ) − α (q k ) ∆x

k
R

 
a 
k=1

= ϵ′ + M S1 (P, α′ , x) − S2 (P, α′ , x)
 
R

 Z b Z b 
BO

= ϵ′ + M S1 (P, α′ , x) − α′ dx + α′ dx − S2 (P, α′ , x)
 
a a
 Z b  Z b 
′ ′ ′ ′ ′
   
≤ ϵ + M S1 (P, α , x) − α dx + M  α dx − S2 (P, α , x)
a a
< ϵ′ + 2M ϵ′ = ϵ.
Por el Teorema 2.26, f ∈ Rα [a, b] y
Z b Z b
f dα = f α′ .
a a

R1
Ejemplo 2.11. Calcular la integral 0 f dα, donde f (x) = x3 y
(
3x2 si 0 ≤ x < 21
α(x) =
3x2 + 5 si 12 ≤ x ≤ 1

Es claro que f ∈ Rα [0, 1] pues f es continua. Definamos β, λ : [0, 1] → R por

β(x) = 3x2 y (
0 si 0 ≤ x < 12
λ(x) =
5 si 12 ≤ x ≤ 1
Análisis II. La integral de Riemann - Stieltjes 68

Las funciones β, λ son monótonas crecientes con α = β + λ y de la continuidad de

f concluimos que f ∈ Rβ [0, 1] y f ∈ Rλ [0, 1], por lo tanto, f ∈ Rβ+λ [0, 1] y
Z 1 Z 1 Z 1
f dα = f dβ + f dλ = I1 + I2 .
0 0 0

Para I1 , como β es continuamente diferenciable en [0, 1] aplicamos el Teorema anterior

1 1 1
6 5 1 6
Z Z Z 
′ 4
I1 = f dβ = f β dx = 6x dx = · x  = .
0 0 0 5 0 5

Para I2 tenemos
Z 1  
1 5
I2 = f dλ = f [λ (1) − λ (0)] = .
0 2 8

Ası́ Z 1
73
f dα = I1 + I2 = .
0
R 40
O
El siguiente teorema, es la generalización del Teorema 1.33 del valor medio al
caso de la integral de Riemann -Stieljes.
D

Teorema 2.28. Sean f, g, α : [a, b] → R funciones tales que α es monótona creciente

A

con f, g ∈ Rα [a, b]. Si m ≤ f (x) ≤ M para todo x ∈ [a, b] y g ≥ 0 en [a, b] entonces

R

existe m ≤ µ ≤ M tal que:

R

Z b Z b
f gdα = µ gdα.
BO

a a

La demostración del teorema es similar a la del correspondiente teorema para la

integral de Riemann.

Corolario 2.29. Sean f, α : [a, b] −→ R funciones tales que f continua, α es monótona

entonces existe ξ ∈ [a, b] tal que:
Z b
f dα = f (ξ)[α(b) − α(a)].
a
Análisis II. La integral de Riemann - Stieljes. 69

2.4. Ejercicios
1. Demuestre los Lemas 2.2, 2.3 y 2.4.

2. Demuestre el Teorema 2.6.

3. Demuestre el Teorema 2.8.

4. Sean f : [a, b] → R monótona y α : [a, b] → R monótona creciente. Mostremos

que si f y α son discontinuas por la izquierda en c ∈ (a, b), entonces f ∈
/ Rα [a, b].

5. Resuelva el problma planteado en el Ejemplo 2.7.

6. Demuestre el Teorema 2.11.

7. Demuestre el Teorema 2.13.

8. Demuestre el Teorema 2.16.

9. Demuestre el Teorema 2.19.

R
O
10. Demuestre el Corolario 2.20.
D
11. Demuestre el Teorema 2.21.
A

12. Demuestre el Teorema 2.24.

R

13. Demuestre el Teorema 2.28.

R

14. Sea α : [a, b] → R monótona creciente y continua en x0 ∈ [a, b] y sea f : [a, b] →

R definida por:
BO

(
1 si x = x0
f (x) = .
0 si x ̸= x0
Z b
Demuestre que f ∈ Rα [a, b] y f dα = 0.
a

15. Sea f : [a, b] → R acotada y tal que f ∈ Rα [a, b] para cada función α : [a, b] → R
monótona creciente. Pruebe que f es continua.

16. Sean β1 , β2 , β3 : [−1, 1] → R definidas por:


0 si −1 ≤ x ≤ 0
β1 (x) =
1 si 0<x≤1

0 si −1 ≤ x < 0
β2 (x) =
1 si 0≤x≤1

 0 si −1 ≤ x < 0
1
β3 (x) = si x=0
 2
1 si 0<x≤1
Sea f una función acotada en [−1, 1].
Análisis II. La integral de Riemann - Stieljes. 70

a) Demuestre que f ∈ Rβ1 [−1, 1] si y sólo si f (0+ ) = f (0) y en dicho caso:

Z 1
f dβ1 = f (0).
−1

b) Enuncie y demuestre un resultado similar al del ı́tem anterior para la

función β2 .
c) Demuestre que f ∈ Rβ3 en [−1, 1] si y sólo si f es continua en x = 0.
d ) Si f es continua en x = 0 muestre que
Z 1 Z 1 Z 1
f dβ1 = f dβ2 = f dβ3 = f (0).
−1 −1 −1

17. Halle el valor de cada una de las siguientes integrales de Riemann - Stieljes.
Justifique en cada caso.

Z b  0 si x=a
a) n
x dφ donde n ∈ N y φ(x) = 1 si a < x < c R
O
a 
2 si c ≤ x ≤ b
Z 1
1 si x ≤ 12 3 si x = 14
 
D
b) f (x)dφ donde φ(x) = 1 y f (x) =
0 2 si x > 2 1 si x ̸= 14
A

Z 2
c) xd⌊x⌋
R

0
7
R

Z
d) ln xd⌊x2 ⌋
BO

18. Dar un ejemplo de una función acotada f y una función creciente α(x) ̸= x
definidas en [a, b] tales que |f | ∈ Rα [a, b] pero f ∈
/ Rα en [a, b].