Asymptotic behavior of Fourier transform

890 Views Asked by At

Consider the function $f:\mathbb{R}^3\rightarrow \mathbb{R}$, $f(x) = |x|^{-1}$. It is locally integrable, and its distributional Fourier transform is $F(f)(k) = g(k) = 4\pi/|k|^2$. Intuitively, the long-range $|k|^{-2}$ decay of $g(k)$ comes from the singularity at $x=0$ in $f$.

Is this true? I.e., if $\chi$ is the characteristic function of an open, bounded set containing $0$, and consider $h = F(\chi f)$. Is it true that $h = O(|k|^{-2})$ as $|k|\rightarrow +\infty$?

At least, if the open bounded set in question is a ball of radius $R$, a direct computation gives $$ h(k) \propto \frac{sin^2(|k|R/2)}{|k|^2} = O(|k|^{-2})$$

In this case, the hypothesis is verified, since $R$ was arbitrary.

1

There are 1 best solutions below

1
On

Asking that $\chi$ be the characteristic function of an arbitrary open set creates difficulties, related to the fact that $F(\chi)$ decays slowly itself, that do not relate to the main phenomenon here. If instead we ask that $\chi=1$ in a neighborhood of zero, and is $C^\infty$ with compact support, then $h(k)$ is proportional to the convolution $$ h(k) \propto \int_{\mathbb R^3} \frac{F(\chi)(z)}{|k-z|^2}\,d^3z. $$ Because $F(\chi)$ is smooth and decays rapidly now, and $1/|k-z|^2$ is in $L^1_{\rm loc}$ and is bounded by, e.g., $4/|k|^2$ for $|k-z|\ge |k|/2$, one can perform the estimate $$ |h(k)|\le C \left( \frac4{|k|^2}\|F(\chi)\|_{L^1} + I(|k|) \sup_{|z-k|<|k|/2} |F(\chi)(z)|\right) = O(|k|^{-2}), $$ where $$I(k) = \int_{|z-k|<|k|/2} |z-k|^{-2}d^3z \propto |k|.$$ Note $$ \sup_{|z-k|<|k|/2} |F(\chi)(z)| \le \sup_{|z|\ge |k|/2}|F(\chi)(z)| $$ and this decays rapidly with $|k|$.