What is a good sufficient condition for $f:[0,1]\rightarrow\mathbb{R}$ such that:


If $f$ is differentiable then by integral by part we can easily prove. But I think differentiablity is a too strong condition. Can we make it less strict?

  • 1
    $\begingroup$ Yes, use $$\left\lvert \int_0^1 f(x)\sin (nx)\,dx - \int_0^1 g(x)\sin (nx)\,dx\right\rvert \leqslant \int_0^1 \lvert f(x) - g(x)\rvert\,dx.$$ $\endgroup$ – Daniel Fischer Oct 11 '14 at 13:08
  • 2
    $\begingroup$ Lebesgue integrability is enough. See this. $\endgroup$ – David Mitra Oct 11 '14 at 13:08
  • $\begingroup$ @DanielFischer How do you proceed further? $\endgroup$ – Leaning Oct 11 '14 at 13:26
  • 2
    $\begingroup$ You approximate an integrable function by a continuously differentiable function in the integral norm to obtain the conclusion for all integrable functions. $\endgroup$ – Daniel Fischer Oct 11 '14 at 13:37
  • $\begingroup$ Yeah I understand that argument! Is there any other nice way to show directly by some calculations? $\endgroup$ – Leaning Oct 11 '14 at 13:38

To be sure that everything makes sense, we assume that $f$ is Lebesgue integrable.

If we show the result for the characteristic function of a Borel subset, it OK. And by approximation, we can do it for finite disjoint unions of intervals, for which the result is true.

Hence $f$ Lebesgue integrable is a sufficient condition.

  • $\begingroup$ I really don't understand anything but thanks, I can see the beauty :) $\endgroup$ – Leaning Oct 11 '14 at 13:32
  • $\begingroup$ I guess you did not study yet measure theory. $\endgroup$ – Davide Giraudo Oct 11 '14 at 13:40
  • $\begingroup$ Yes I haven't. I hope to obtain a beautiful proof in the case of continuity maybe and in the context of normal Riemann integral. Hope I will get to measure theory in the future... $\endgroup$ – Leaning Oct 11 '14 at 13:41

I'm inspired by another answer here

Computing $\lim_{n \rightarrow\infty} \int_{a}^{b}\left ( f(x)\left | \sin(nx) \right | \right )$ with $f$ continuous on $[a,b]$

So I will write down a proof for $f$ continous.

Take $I_n=\int_0^1f(x)\sin(nx)dx=\int_0^1g(x)dx$

We have


where $1-\frac{k\pi}{n}<\frac{\pi}{n}$ or $k=[\frac{n}{\pi}]$.

Using mean value theorem we have

$$\int_{(i-1)\pi/n}^{i\pi/n}f(x)\sin(nx)dx=f(u_i)\int_{(i-1)\pi/n}^{i\pi/n}\sin(nx)dx=\frac{f(u_i)}{n}\int_{(i-1)\pi}^{i\pi}\sin ydy=2\frac{f(u_i)}{n}(-1)^i$$

with $u_i\in [(i-1)\pi/n,i\pi/n]$.

Therefore we have:

$$I_n=\sum_{i=1}^k2\frac{f(u_i)}{n}(-1)^i+\int_{k\pi/n}^1g(x)dx$$ $$I_n=\frac{1}{\pi}\sum_{i=1}^{[k/2]}\frac{2\pi f(u_{2i})}{n}-\frac{1}{\pi}\sum_{i=1}^{[(k+1)/2]}\frac{2\pi f(u_{2i-1})}{n}+\int_{k\pi/n}^1g(x)dx$$

Then using the definition of Riemann Integral we have:

$$\lim_{n\rightarrow\infty} I_n=\frac{1}{\pi}\int_0^1f(x)dx-\frac{1}{\pi}\int_0^1f(x)dx+\lim_{n\rightarrow\infty}\int_{k\pi/n}^1g(x)dx$$


where $v\in[k\pi/n,1]$ (since $|\int_{k\pi/n}^1\cos(nx)dx|\le 1-k\pi/n<\pi/n$ and $f$ is continous so $|f(v)-f(1)|$ is small enough)

Is this proof true?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.