Integral de Riemann-Stieltjes

Análisis Matemático II

Elesvan Jiménez Leyva

2017

• Sea {f n }n∈N : [a, b] −→ R una sucesión de funciones α − integrables que converge unifor-
memente a la función f : [a, b] −→ R. Se probara que:

i)f es α − integrable en [a, b]

Dem.
Sean f, g : [a, b] −→ R y P ∈ P([a, b]), se cumple que:
L(f, P, α) + L(g, P, α) ≤ L(f + g, P, α) ≤ U (f + g, P, α) ≤ U (f, P, α) + U (g, P, α)
Por la desigualdad anterior tenemos:
U (f + g, P, α) − L(f + g, P, α) ≤ [U (f, P, α) − L(f, P, α)] + [U (g, P, α) − L(g, P, α)] ...[1]
0  0
∀n ∈ N, fn (x) = fn (x) + (f − fn (x)), por hipótesis ∀ > 0,  = 3(α(b)−α(a)) ∃N ∈ N tal
0
que |fn (x) − f (x)| <  ∀n ≥ N .
Sea n ≥ N y P = {x0 = a < x1 < ... < xn = b}, por lo anterior se cumple:
n
X
|U (f − fn , P, α)| ≤ |sup{f (x) − fn (x)|xi−1 ≤ x ≤ xi }|(α(xi ) − α(xi−1 )) ≤
i=1
n
X 0 
 (α(xi ) − α(xi−1 )) = ...[2]
i=1
3
n
X
|L(f − fn , P, α)| ≤ |inf {f (x) − fn (x)|xi−1 ≤ x ≤ xi }|(α(xi ) − α(xi,1 )) ≤
i=1
n
X 0 
 (α(xi ) − α(xi−1 )) = ...[3]
i=1
3

Por [2], [3] y la desigualdad triangular tenemos:

0 ≤ U (f − fn , P, α) − L(f − fn , P, α) = |U (f − fn , P, α) − L(f − fn , P, α)| ≤
U (f − fn , P, α) + L(f − fn , P, α) ≤ 3 + 3 = 23 ...[4]
fn es α − integrable ∀n ∈ N, en particular fN es α − integrable, entonces (teorema)
00 00 00
∀ > 0,  = 3 ∃P00 ∈ P([a, b]) tal que U (fN , P00 , α) − L(fN , P00 , α) <  . Sea P00 = P ,
∀P ∈ P([a, b]) tal que P ⊆ P y ∀n ≥ N , se tiene por las desigualdades [1],[4] y el hecho de que
f = fN + (f − fN ):
U (f, P, α) − L(f, P, α) ≤
2 00
[U (fN (x), P, α) − L(fN (x), P, α)] + [U (f − fN , P, α) − L(f − fN , P, α)] < 3
+ =
Por lo tanto (teorema), f es α − integrable en [a, b]

1
 Q.E.D.
nR o
b Rb
ii) a fn (x)dα −→ a
f (x)dα
n∈N

Dem.
unif or. 0 0 
Por hipótesis {f n }n∈N −−−−→ f , ası́ ∀ > 0,  = α(b)−α(a) ∃N ∈ N tal que
|f
Rn (x) − f (x)| R<  ∀n ≥ N R  R
 b b   b b
 a fn (x)dα − a f (x)dα =  a (fn (x) − f (x))dα ≤ a |fn (x) − f (x)| dα, por hip. :

Rb Rb 0 0
a
|f n (x) − f (x)| dα < a
 dα =  (α(b) − α(a)) = . Tenemos:
R 
 b Rb
 a fn (x)dα − a f (x)dα <  ∀n ≥ N


Q.E.D.

El teorema al que se hizo referencia en la demostración es el siguiente:

Sea {f n }n∈N : [a, b] −→ R una sucesión de funciones que converge uniformemente a
f : [a, b] −→ R ⇐⇒ ∀ > 0 ∃P ∈ P([a, b]) tal que U (f, P, α) − L(f, P, α) < 

• Si f es α − integrable en [a, b] entonces, dado  > 0 ∃P = {x0 < x1 < ... < xn } ∈ P([a, b])
tal que para cualquier selección de ti ∈ [xi−1 , xi ] se cumple:
 n Z b 
X 
f (ti )4αi − f (x)dα < , donde 4αi = α(xi ) − α(xi−1 )
 


i=1 a 

Dem.
f es α − integrable en [a, b], es claro que Mi = sup{f (x)|xi−1 ≥ x ≥ xi−1 } ≥ f (ti ) ≥
mi = inf {f (x)|xi−1 ≥ x ≥ xi−1 } ≤ f (ti ), {ti ∈ [xi−1 , xi ], ∀P = {x0 < x1 < ... < xm } ∈ P([a, b])
se cumple:
Z b
U (f, P, α) ≥ f (x)dα ≥ L(f, P, α)
a

Ası́, por lo anterior:

m
X Z b
−(U (f, P, α) − L(f, P, α)) ≤ f (ti )4αi − f (x)dα ≤ U (f, P, α) − L(f, P, α)
i=1 a
 
Xm Z b 
f (ti )4αi − f (x)dα ≤ U (f, P, α) − L(f, P, α)
 


i=1 a 

Por hip. f es α − integrable, entonces (teo.) ∀ > 0 ∃P = {x0 < x1 < ... < xn } ∈ P([a, b]) tal
que U (f, P , α) − L(f, P , α) <  por lo que:
 
Xn Z b 
f (ti )4αi − f (x)dα < 
 


i=1 a 
Rb
• Sea f : [a, b] −→ R continua, f (c) = β < 0, c ∈ (a, b), prueba que a f (x)dx < 0.
Dem.
Por hip. f es continua en [a, b], sea g(x) = −f (x) ≥ 0, g es continua en [a, b], en particular g
es continua en c, ∀ < 0 ∃δ > 0 tal que si |x − c| < δ =⇒ |g(x) − g(c)| < , entonces:

2
 − < g(x) − g(c) < 
− + g(c) < g(x) <  + g(c)
− + −β < g(x) <  − β
δ
Sea P = {x0 = a < ... < xk = c − 2
< xk+1 = c + 2δ ... < xn = b} ∈ P([a, b]),
|xk − c| = 2δ = |xk+1 − c|. Ası́:

mk+1 = inf {−f (x) = g(x)|xk ≥ x ≥ xk+1 } ≥ − − β, −β > 0

mk+1 4αk+1 ≥ (− − β)4αk+1 = (− − β)δ, α(x) = x

Es claro que mi = inf {g(x)|xi−1 ≥ x ≥ xi } ≥ 0 ∀i ∈ {1, .., n}, pues g(x) ≥ 0 ∀x ∈ [a, b].
Considerando  < −β y el de que g es α − integrable en [a, b] por ser continua en [a, b] (teo.)
se tiene:
X n Z b
0 < (− − β)δ ≤ mk+1 4αk+1 ≤ mi 4αi = L(g, P, α) ≤ g(x)dx, ası́:
i=1 a
Z b Z b
g(x)dx = (−f (x))dx ≥ (− − β)δ
a Z ba
=⇒ − f (x)dx ≤ (− − β)δ
a
Z b
=⇒ f (x)dx ≤ −(− − β)δ < 0, por lo tanto:
a Z b
f (x)dx < 0
a

Q.E.D.