Prove $\lim_{|\alpha |\to \infty }\hat f(\alpha )=0$ Let $f\in L^1(\mathbb R)$. Set $$\hat f(\alpha )=\int_{\mathbb R}f(x)e^{-2i\pi x\alpha }dx.$$
Prove $$\lim_{|\alpha |\to \infty }\int_{\mathbb R}f(x)e^{-2i\pi x\alpha }dx=0.$$
The thing is even if I put that limit in the integral, it doesn't work, so I don't know how to conclude this part (and it looks strange to me...).
 A: We prove the lemma first for $C^\infty_c(\mathbb R)$. Suppose that $f \in C^\infty_c(\mathbb R)$. Then we see using integration by parts $$\left \lvert \int_{\mathbb R} f(x) e^{i\xi x } dx \right \rvert = \left \lvert\frac{1}{i\xi} \int_{\mathbb R} f'(x) e^{i \xi x} dx \right \rvert \le \frac{1}{\lvert\xi \rvert} \int_{\mathbb R} \lvert f'(x)\rvert dx$$ where the boundary term in the integration by parts goes to zero since $f$ is compactly supported. Thus taking $\lvert \xi \rvert \to \infty$, the above inequality shows that $$\int_\mathbb R f(x) e^{i \xi x} dx \to 0.$$ Thus the lemma holds for $f \in C^\infty_c(\mathbb R)$.
For general $f \in L^1(\mathbb R)$ and arbitrary $\epsilon > 0$, find $g \in C^\infty_c(\mathbb R)$ with $$ \int_{\mathbb R} \lvert f(x) - g(x) \rvert dx < \epsilon $$ (we can do this since $C_c^\infty(\mathbb R)$ is dense in $L^1(\mathbb R)$. By the above, there is $M > 0$ such that $\lvert \xi \rvert> M$ gives $$\left \lvert \int_\mathbb R g(x) e^{i\xi x} dx\right \rvert < \epsilon. $$ But then $$\left \lvert \int_{\mathbb R} f(x) e^{i\xi x} dx \right \rvert \le \left \lvert \int_\mathbb R g(x) e^{i\xi x} dx\right \rvert  + \left \lvert \int_{\mathbb R} [f(x) - g(x)] e^{i\xi x}dx  \right \rvert \le \epsilon +  \int_{\mathbb R} \lvert f(x) - g(x) \rvert dx < 2\epsilon$$ for all $\xi \in \mathbb R$ with $\lvert \xi\rvert > M$. Thus $$\int_\mathbb R f(x) e^{i \xi x} dx \to 0$$ as $\lvert \xi\rvert \to\infty$ for any $f \in L^1(\mathbb R)$.
EDIT: I typed up this entire answer using $\xi$ rather than $\alpha$, and I forgot the $-2\pi$ in the exponent, but the substance of the proof is the same.
A: By density of Schwartz function, there are $(f_n)$ Schwartz s.t. $f_n\to f$ in $L^1$. Set $\hat f_n$ Fourier transform of $f_n$. Then
$$|\hat f(\alpha )|\leq |\hat f(\alpha) -\hat f_n(\alpha )|+|\hat f_n(\alpha )|\leq \|f_n-f\|_{L^1}+|\hat f_n(\alpha )|\underset{\substack{|\alpha |\to \infty \\ \hat f_n\ Schwartz}}{\longrightarrow }\|f_n-f\|_{L^1}\underset{n\to \infty }{\longrightarrow }0.$$

