Let $f \in L^2(\mathbb R)$ be a function such that

$$\vert f \vert_{\alpha}:=\sup_{h>0}h^{-\alpha}\Vert f(\bullet+h)-f \Vert_{L^2}< \infty$$

for some $\alpha \in (0,1).$

I would like to know whether there exists $\beta \in (0,1)$ such that $\vert f \vert_{\alpha}$ satisfies for some constant $C_{\alpha,\beta}>0$

$$ \vert f \vert_{\alpha} \le C_{\alpha,\beta} \left\lVert \langle \bullet \rangle^{\beta} \widehat{f} \right\Vert_{L^2}$$

for all $f$ for which the right-hand side is finite.

where $\langle x \rangle:=\sqrt{1+\vert x \vert^2}.$

  • $\begingroup$ Do you really mean to put weights in the physical space instead of the frequency space? Then no such bound is possible. $\endgroup$
    – Fan Zheng
    Aug 23 '19 at 11:51
  • $\begingroup$ Does the following help? en.wikipedia.org/wiki/… (It is stated for Fourier series of functions on the circle, but my memory is that natural modifications work for the Fourier transform of a function on the line) The idea is that if you have suitable decay of the Fourier transform at infinity, as witnessed by an appropriate Sobolev norm, then you get the desired tail estimates needed to apply Bernstein's theorem(s) $\endgroup$
    – Yemon Choi
    Aug 23 '19 at 12:53
  • $\begingroup$ @YemonChoi I am not entirely sure I understand the connection between your comment and the OP's question fully to be honest. Should this link imply that the answer is yes or no? $\endgroup$
    – Sascha
    Aug 23 '19 at 13:07
  • $\begingroup$ @Sascha Sorry, I did not notice the condition $\beta<1$. Therefore my comment does not help, at least not in any direct way $\endgroup$
    – Yemon Choi
    Aug 23 '19 at 13:16

This works for $\beta\ge\alpha$. In terms of the Fourier transform $g=\widehat{f}$, what you're trying to establish becomes $$ h^{-2\alpha}\int |g(t)|^2 \left| e^{ith}-1\right|^2 \, dt \lesssim \int |g(t)|^2 (1+t^2)^{\beta}\, dt . $$ We can see that this holds by considering separately $|t|\ge 1/h$ and $|t|<1/h$ in the first integral. In the first contribution, estimate $|e^{ith}-1|\le 2$, and in the second one, use $h^{-\alpha}|e^{ith}-1|\lesssim |t|h^{1-\alpha}\le |t|^{\alpha}$.


Your Answer

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