4
$\begingroup$

For an application to analytic number theory, I'm considering the Fourier transform of test functions $h(x)$ on $\mathbb R$ with compact support, so the transforms $\hat h(y)$ are smooth. But I want to add a mild condition on $h$ that will force $\hat h(y) \ll 1/y^2$ as $y\to\infty$. Based on the examples I know, it looks like "continuous and piecewise differentiable" works, but I'd like the largest space of test functions possible. I'm familiar with the definition of $L^2$-based Sobolev Spaces $H^k(\mathbb R)$, but $k=1$ seems too weak, and $k=2$ too strong.

What is the right space of test functions $h(x)$ so that $\hat h(y)\ll 1/y^2$

$\endgroup$
2
  • $\begingroup$ Your condition defines a space of functions (80% a joke). $H^2$ is optimal on the $H^s$-scale ($s \in \mathbb{R}$) so you can only do slightly better. I think a somewhat weaker condition is that the first derivative is of bounded variation ... $\endgroup$
    – Helge
    Aug 5, 2011 at 0:12
  • 1
    $\begingroup$ I recognize my condition on the transform defines a space of test functions - I was wondering if it had a name. $\endgroup$
    – Stopple
    Aug 5, 2011 at 0:31

1 Answer 1

4
$\begingroup$

Your space is some sort of Besov space, containing $B^{2+\epsilon}_{1,\infty}$.

Using a Littlewood-Paley decomposition $1=\sum_\nu\varphi_\nu(\xi)$ with $\varphi_0\in C^\infty_c$, $\varphi_\nu(\xi)=\varphi (\xi 2^{-\nu})$, $\varphi\in C^\infty_c$ supported in a ring $1/2\le\vert\eta\vert\le 2$, a fonction $u$ belongs to your space means $$ \lim_{\nu\rightarrow+\infty}2^{2\nu}\Vert\varphi_\nu(D) u\Vert_{\mathcal FL^\infty}=0 $$ whereas $B^{2+\epsilon}_{1,\infty}$ is defined by

$$ \sup_{\nu}2^{(2+\epsilon)\nu}\Vert\varphi_\nu(D) u\Vert_{L^1}<+\infty $$ Since $$ 2^{2\nu}\Vert\varphi_\nu(D) u\Vert_{\mathcal FL^\infty}\le 2^{2\nu}\Vert\varphi_\nu(D) u\Vert_{L^1}, $$ the inclusion of $B^{2+\epsilon}_{1,\infty}$ in your space is clear.

$\endgroup$
1
  • $\begingroup$ On the fourth line, what is $\mathcal{F}$? $\endgroup$
    – user71046
    May 1, 2015 at 20:04

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.