# Riemann lebesgue lemma. wikipedia. 2010-06-26

1. Jun 26, 2010

### jostpuur

http://en.wikipedia.org/wiki/Riemann-Lebesgue_lemma

Have I made a mistake when it looks to me that the Wikipedia proof on Riemann-Lebesgue lemma looks like nonsense?

How are you supposed to use dominated convergence theorem there?

2. Jun 26, 2010

### Hurkyl

Staff Emeritus
f(x) eitx is dominated by f(x)?

3. Jun 26, 2010

### mathman

I haven't analyzed it in detail, but I think it means that any integrable function can be shown to be dominated by a step function (over a finite interval).

4. Jun 26, 2010

### HallsofIvy

Could you tell us why you think it looks like "non-sense"?

5. Jul 2, 2010

### jostpuur

I have read one proof for this theorem from a book, and I understood it. Now I see another proof in Wikipedia, I'm unable to understand it, and the author of this piece of wiki-info has not given any sources. That's the origin of my doubts.

If you first prove the result for step functions, and them mention the use of dominated convergence theorem, it looks like that you want to approximate some integrable function with step functions and move a limit from inside the integral to the outside. Like this:

$$\lim_{t\to\infty} \int e^{itx} f(x) dx = \lim_{t\to\infty}\lim_{n\to\infty} \int e^{itx} f_n(x)dx$$

But what is this good for? It looks like an example of a case where the author justifies some simple step and then completely omits the justification for more difficult step.

If $\epsilon > 0$ and an integrable function $f$ are given, it would make lot more sense to find a step function $f_n$ such that $\|f -f_n\|_1 < \frac{\epsilon}{2}$, and then choose $T>0$ such that

$$\big| \int e^{itx} f(x)dx\big| \leq \int |f(x) - f_n(x)| dx \;+\; \big|\int e^{itx} f_n(x) dx\big| < \epsilon$$

for all $t > T$. But you don't need dominated convergence for this direction of proof.