Showing that a discontinuous function is integrable

  • Thread starter Thread starter Faris
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
The discussion focuses on proving the integrability of a discontinuous function defined as f(x)=1 for x=1/m (where m is a positive integer) and f(x)=0 otherwise, on the interval [0,1]. The user attempts to show that the lower Riemann sums L(f,P_n) equal zero, while facing challenges with the upper Riemann sums U(f,P_n). A hint suggests that for any partition P_n, only a limited number of intervals will contain points where f is nonzero, allowing for the upper sum to be controlled. The user is encouraged to demonstrate this by selecting intervals from a specific partition to keep the upper sum below a given epsilon. This approach aims to solidify the proof of integrability for the function.
Faris
Messages
1
Reaction score
0
Hi,
First, I want to thank you people for the help.

1. Define a function f by setting f(x)=1 if x=1/m for some positive integer m (e.g. f(1)=1, f(1/2)=1, f(1/3)=1,...) and f(x)=0 otherwise. Show that f is integrable on the interval [0,1] by proving that the limit of the lower Riemann sums for the regular partitions P_n equals the limit of the corresponding upper Riemann sums.



2. Lower Riemann sum = L(f,P_n)
Upper Riemann sum = U(f,P_n)




3. I've tried the following argument, but I don't think it's enough for a proof:

L(f,P_n) = 0 because by taking n to infinity, the minimum values for f(x) in the delta x's are zeros, which makes L(f,P_n)=0.

U(f,P_n), however, is the problem here.


Thanks in advance.
 
Physics news on Phys.org
Hint: If you have a partition P_n, then each piece of a partition that contains a point where f is nonzero has an area of \frac{1}{n}. What you need to show is that for any \epsilon, there is an n such that no more than n\epsilon of the pieces contain a point where f is nonzero.

Try to do this example and you'll probably get the idea of the proof:

Exercise:
Let \epsilon=0.1. Show that you can make U,P_{1000} \le \epsilon by covering every value 1/n (for positive integers n) by selecting 100 intervals from P_{1000}.
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...

Similar threads