Proving that a discontinuous function is integrable

  • Thread starter Thread starter pc2-brazil
  • Start date Start date
  • Tags Tags
    Function
Click For Summary

Homework Help Overview

The problem involves the function U defined piecewise, which is discontinuous on the interval [a, b] where a < 0 < b. The task is to demonstrate that this function is integrable over the specified interval despite its discontinuity, specifically showing that the integral equals b.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to apply the definition of the definite integral to show integrability, but expresses uncertainty about their approach, particularly regarding the treatment of the discontinuity at x = 0.
  • Some participants question the validity of choosing 0 as a partition point and suggest that the proof should account for all possible partition scenarios.
  • Others propose breaking the Riemann sum into three parts to better handle the discontinuity, including the interval containing 0.

Discussion Status

Contextual Notes

Participants note that the definition of the integral may vary, and there are discussions about the implications of different definitions on the proof strategy. The original poster is also constrained by the requirement to show integrability despite the function's discontinuity.

pc2-brazil
Messages
198
Reaction score
3
I was self-studying from a Calculus book and found the following question:

Homework Statement


U is the function defined by
U(x)=\begin{cases}<br /> 0 &amp; \text{ if } x&lt;0 \\ <br /> 1 &amp; \text{ if } x\geq 0 <br /> \end{cases}
Let [a, b] be an interval such that a < 0 < b. Show that, even though the function U is discontinuous in [a, b], it is integrable in [a, b] and
\int_a^bU(x)dx=b

Homework Equations


Definition of definite integral:
\int_a^bf(x)dx=\lim_{||\Delta||\to 0}\sum_{i=1}^n f(\xi_i)\Delta_ix
where Δ is a partition, Δix is the i-th subinterval of the partition Δ, that is, the subinterval [xi-1, xi], ξi is any number such that xi-1 ≤ ξi ≤ xi and ||Δ|| is the norm of the partition (the largest subinterval of the partition).

The Attempt at a Solution


I'm not very sure on how to start, and the attempt below seems inconsistent. Could someone point to me what may be wrong with it and suggest corrections?
To show this, I have to show that (according to the definition given by the book I'm using) there is a number L which satisfies the condition that, for any ε > 0, there is a δ > 0 such that
\left | \sum_{i=1}^n U(\xi_i)\Delta_ix \ \right | &lt; \epsilon
for every partition Δ for which ||Δ|| < δ and for any ξi in the closed interval [xi-1, xi], i = 1, 2, ..., n.
Let Δ be a partition of the interval [a,b]. There is a discontinuity at x = 0. So, I will divide the whole sum into two sums: S1 over the interval [a, 0] and S2 over the interval [0, b]. For this, I will specify that x = 0 is a partition point, that is, xk = 0 is at an extreme of a subinterval Δkx.
Calculation of S1: Suppose that in the interval [a, 0] there is no subinterval for which ξi = 0 (that is, for every ξi, U(ξi) = 0). So, the sum of all the U(ξiix in [b, 0) is 0. Thus, S1 = 0.
Now, for S2: Suppose Δjx is the first subinterval for which ξj belongs to [0, b]. Thus, for every ξi in the interval [0, b], U(ξi) = 1; so, the whole Riemann sum will become:
\sum_{i=1}^n f(\xi_i)\Delta_ix = S_1 + S_2 = 0+\sum_{i=j}^n 1\times\Delta_ix=\sum_{i=j}^n \Delta_ix=b
So:
\sum_{i=1}^n f(\xi_i)\Delta_ix - b = 0
and, for every ε > 0, there is a δ > 0 such that
\left | \sum_{i=1}^n f(\xi_i)\Delta_ix - b \right | &lt; \epsilon whenever ||Δ|| < δ
and, thus:
\lim_{||\Delta||\to 0} \sum_{i=1}^n U(\xi_i)\Delta_ix = b

I know this is not complete, because, above, I chose x = 0 to be at an extreme of a subinterval. If x = 0 were in the middle of a subinterval Δkx (that is, if xk-1 ≤ 0 ≤ xk), there would be situations where the Riemann sum would be less than b, and situations in which it would be greater than b, depending on the choice of ξk. But I'm not sure how to handle these situations.

Thank you in advance.
 
Last edited:
Physics news on Phys.org
Hi pc2-brazil! :smile:

Your proof is quite good, but is has some holes.

pc2-brazil said:
To show this, I have to show that (according to the definition given by the book I'm using) there is a number L which satisfies the condition that, for any ε > 0, there is a δ > 0 such that
\left | \sum_{i=1}^n U(\xi_i)\Delta_ix \ \right | &lt; \epsilon
for every partition Δ for which ||Δ|| < δ and for any ξi in the closed interval [xi-1, xi], i = 1, 2, ..., n.

Typo: you forgot to do something with the L in your definition.

Let Δ be a partition of the interval [a,b]. There is a discontinuity at x = 0. So, I will divide the whole sum into two sums: S1 over the interval [a, 0] and S2 over the interval [0, b]. For this, I will specify that x = 0 is a partition point, that is, xk = 0 is at an extreme of a subinterval Δkx.

OK, fine. But can you do that?? The above definition says it must hold for every partition. But you only take the partition here such that 0 is a partition point. Why can you choose 0 to be a partition point?

Calculation of S1: Suppose that in the interval [a, 0] there is no subinterval for which ξi = 0 (that is, for every ξi, U(ξi) = 0). So, the sum of all the U(ξiix in [b, 0) is 0. Thus, S1 = 0.

Close, but not quite: U(0)=1, so if we pick \xi_i=0, then we would get 1...

Now, for S2: Suppose Δjx is the first subinterval for which ξj belongs to [0, b]. Thus, for every ξi in the interval [0, b], U(ξi) = 1; so, the whole Riemann sum will become:
\sum_{i=1}^n f(\xi_i)\Delta_ix = S_1 + S_2 = 0+\sum_{i=j}^n 1\times\Delta_ix=\sum_{i=j}^n \Delta_ix=b
So:
\sum_{i=1}^n f(\xi_i)\Delta_ix - b = 0
and, for every ε > 0, there is a δ > 0 such that
\left | \sum_{i=1}^n f(\xi_i)\Delta_ix - b \right | &lt; \epsilon whenever ||Δ|| < δ
and, thus:
\lim_{||\Delta||\to 0} \sum_{i=1}^n U(\xi_i)\Delta_ix = b

Thank you in advance.

Rest seems ok!

Your proof is very good, just try to fill in the holes :smile:
 
I'm still not sure how I could include every situation. Maybe I should try to prove them all separately?
The problem is that, above, I chose x = 0 to be at an extreme of a subinterval (as I mentioned in the first post). If x = 0 were in the middle of a subinterval Δkx (that is, if xk-1 ≤ 0 ≤ xk), there would be situations where the Riemann sum would be less than b, and situations in which it would be greater than b, depending on the choice of ξk. But I'm not sure how to handle all these situations.
 
pc2-brazil said:
I'm still not sure how I could include every situation. Maybe I should try to prove them all separately?
The problem is that, above, I chose x = 0 to be at an extreme of a subinterval (as I mentioned in the first post). If x = 0 were in the middle of a subinterval Δkx (that is, if xk-1 ≤ 0 ≤ xk), there would be situations where the Riemann sum would be less than b, and situations in which it would be greater than b, depending on the choice of ξk. But I'm not sure how to handle all these situations.

The thing is that the subinterval around zero will only contribute a factor \Delta x_k to the entire sum. And in the limit, this factor will vanish!
 
Does your textbook have
L-\epsilon &lt; \left | \sum_{i=1}^n f(\xi_i)\Delta_ix - b \right | &lt; L + \epsilon
or something similar as part of the definition of an integral?


micromass is definitely going the right direction.
Some bigger hints/ ideas.
Let k be the [xk, xk+1] containing x=0.
What is the sum for this interval?
||\Delta|| is the width of the largest or widest subinterval, often called the norm. As ||\Delta|| ->0, what happens to your formula for the sum or area above that interval?

Minor point: technically, the sum or area above the kth interval is less than
We can probably simply say area of kth subinterval is less than ...

In summary, it would be helpful to break it down into three sums. The two you've already got, plus a 3rd "sum" over the single interval containing 0.


All that being said, in graduate school, we used a different definition. The partition could be specified, and we showed the limit inequality holds for any partition finer than the specified partition, eg. intervals could be subdivided, but every subpartition has at least the same partition points. I may be going past Riemann integrals from introductory Calculus texts into Lebesque integrals from graduate school though.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
Replies
10
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K