Conditions
Compute lower and upper integrals off the function f ( x ) f(x) f ( x )
=4, 1<=x<=2
=3, 2<=4
=2, 4<=5
Is this function Riemann integrable on [ 1 , 5 ] [1,5] [ 1 , 5 ] ? Justify.
Solution
f = { 4 , 1 ≤ x ≤ 2 3 , 2 < x ≤ 4 2 , 4 < x ≤ 5 f = \begin{cases}
4, & 1 \leq x \leq 2 \\
3, & 2 < x \leq 4 \\
2, & 4 < x \leq 5
\end{cases} f = ⎩ ⎨ ⎧ 4 , 3 , 2 , 1 ≤ x ≤ 2 2 < x ≤ 4 4 < x ≤ 5
Here we must use the Darboux integral theory.
The lower Darboux sum:
s ( f , τ ) = ∑ k = 1 n m k ( x k − x k − 1 ) s(f, \tau) = \sum_{k=1}^{n} m_k (x_k - x_{k-1}) s ( f , τ ) = k = 1 ∑ n m k ( x k − x k − 1 )
The upper Darboux sum:
S ( f , τ ) = ∑ k = 1 n M k ( x k − x k − 1 ) S(f, \tau) = \sum_{k=1}^{n} M_k (x_k - x_{k-1}) S ( f , τ ) = k = 1 ∑ n M k ( x k − x k − 1 )
Where:
m k = inf { f ( x ) : x ∈ [ x k − 1 , x k ] } , k = 1 , n ‾ M k = sup { f ( x ) : x ∈ [ x k − 1 , x k ] } , k = 1 , n ‾ τ = { x k } k = 0 n : a = x 0 < x 1 < ⋯ < x n − 1 < x n = b \begin{aligned}
m_k &= \inf \left\{ f(x) : x \in [x_{k-1}, x_k] \right\}, k = \overline{1, n} \\
M_k &= \sup \left\{ f(x) : x \in [x_{k-1}, x_k] \right\}, k = \overline{1, n} \\
\tau &= \left\{ x_k \right\}_{k=0}^{n} : a = x_0 < x_1 < \dots < x_{n-1} < x_n = b
\end{aligned} m k M k τ = inf { f ( x ) : x ∈ [ x k − 1 , x k ] } , k = 1 , n = sup { f ( x ) : x ∈ [ x k − 1 , x k ] } , k = 1 , n = { x k } k = 0 n : a = x 0 < x 1 < ⋯ < x n − 1 < x n = b
For our case:
τ : a = 1 < 2 < 4 < 5 = b \tau : a = 1 < 2 < 4 < 5 = b τ : a = 1 < 2 < 4 < 5 = b s ( f , τ ) = 4 ⋅ ( 2 − 1 ) + 3 ( 4 − 2 ) + 2 ( 5 − 4 ) = 4 + 6 + 2 = 12 s(f, \tau) = 4 \cdot (2 - 1) + 3(4 - 2) + 2(5 - 4) = 4 + 6 + 2 = 12 s ( f , τ ) = 4 ⋅ ( 2 − 1 ) + 3 ( 4 − 2 ) + 2 ( 5 − 4 ) = 4 + 6 + 2 = 12 S ( f , τ ) = 4 ⋅ ( 2 − 1 ) + 3 ( 4 − 2 ) + 2 ( 5 − 4 ) = 12 S(f, \tau) = 4 \cdot (2 - 1) + 3(4 - 2) + 2(5 - 4) = 12 S ( f , τ ) = 4 ⋅ ( 2 − 1 ) + 3 ( 4 − 2 ) + 2 ( 5 − 4 ) = 12 ∀ τ s ( f , τ ) ≤ I ∗ ( f ) ≤ I ∗ ( f ) ≤ S ( f , τ ) \forall \tau \ s(f, \tau) \leq I_*(f) \leq I^*(f) \leq S(f, \tau) ∀ τ s ( f , τ ) ≤ I ∗ ( f ) ≤ I ∗ ( f ) ≤ S ( f , τ )
As we have equal s ( f , τ ) s(f, \tau) s ( f , τ ) and S ( f , τ ) S(f, \tau) S ( f , τ ) , then upper and lower integrals are equal to 12.
∫ 1 5 f ( x ) d x = ∫ 1 2 4 d x + ∫ 2 4 3 d x + ∫ 4 5 2 d x = 8 − 4 + 12 − 6 + 10 − 8 = 12 \int_{1}^{5} f(x) \, dx = \int_{1}^{2} 4 \, dx + \int_{2}^{4} 3 \, dx + \int_{4}^{5} 2 \, dx = 8 - 4 + 12 - 6 + 10 - 8 = 12 ∫ 1 5 f ( x ) d x = ∫ 1 2 4 d x + ∫ 2 4 3 d x + ∫ 4 5 2 d x = 8 − 4 + 12 − 6 + 10 − 8 = 12
As
I ∗ ( f ) = I ∗ ( f ) = ∫ a b f ( x ) d x I^{*}(f) = I_{*}(f) = \int_{a}^{b} f(x) \, dx I ∗ ( f ) = I ∗ ( f ) = ∫ a b f ( x ) d x
Then function is integrable on [ 1 , 5 ] [1,5] [ 1 , 5 ] by the Darboux criterion.