3
$\begingroup$

A friend is looking for a clean proof of the following inequality of Bernstein: If $f: R \to R$ is a bounded function whose Fourier transform has compact support, then $ \|f'\|_{\infty} \le C \| f \|_{\infty} $ where $C$ only depends on the support of the Fourier transform. Any reference would be very much appreciated.

$\endgroup$
3
  • $\begingroup$ There is something not quite right with your statement of the inequality. $\endgroup$
    – Yemon Choi
    Jul 3, 2010 at 18:13
  • $\begingroup$ By the way, what sources has your friend tried? Does Google and then a search in the default texts (Zygmund, Katznelson, etc.) not do the trick? $\endgroup$
    – Yemon Choi
    Jul 3, 2010 at 18:13
  • 3
    $\begingroup$ There is a proof in Nikolsky, S. M., Approximation of Functions of Several Variables and Imbedding Theorems, Nauka, Moscow, 1977. that seems to be unreadable. I think he has looked up Katznelson. $\endgroup$ Jul 3, 2010 at 18:19

1 Answer 1

12
$\begingroup$

The Fourier transform of $f'(x)$ is $i\xi\hat{f}(\xi)$, which has the same support as $\hat{f}(\xi)$. So we can write $i\xi\hat{f}(\xi)$ = $i\xi\hat{f}(\xi)\phi(\xi)$, where $\phi(\xi)$ is a smooth bump function depending on the support of $\hat{f}$, that is equal to one on the support of $\hat{f}$. Taking inverse Fourier transforms, we get $f'(x) = f(x) \star g(x)$, where $g(x)$ is the inverse Fourier transform of $i\xi\phi(\xi)$. From the definition of convolution, one gets $|f'(x)| \leq ||f||_{\infty}||g||_1$. Since this holds for any $x$ and $||g||_1$ depends only on the support of $\hat{f}$, you get the desired inequality with $C = ||g||_1$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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