Proving that a discontinuous function is integrable

  • Thread starter Thread starter pc2-brazil
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
The discussion revolves around proving the integrability of the discontinuous function U defined as 0 for x < 0 and 1 for x ≥ 0 over the interval [a, b] where a < 0 < b. The initial approach involves dividing the Riemann sum into two parts, S1 and S2, corresponding to the intervals [a, 0] and [0, b], respectively, leading to the conclusion that the integral equals b. However, participants highlight gaps in the proof, particularly regarding the treatment of the discontinuity at x = 0 and the necessity of considering all possible partitions. Suggestions include refining the approach to account for the contribution of the interval containing 0 and ensuring the proof holds for any partition. The conversation emphasizes the importance of rigor in mathematical proofs, particularly in handling discontinuities.
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.
 
Question: A clock's minute hand has length 4 and its hour hand has length 3. What is the distance between the tips at the moment when it is increasing most rapidly?(Putnam Exam Question) Answer: Making assumption that both the hands moves at constant angular velocities, the answer is ## \sqrt{7} .## But don't you think this assumption is somewhat doubtful and wrong?

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
10
Views
2K
  • · Replies 14 ·
Replies
14
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