Fourier Analysis – Fourier Transform of 1/|x|^?

fourier analysisschwartz-space

My problem is to prove the following identity:
$$C_{\alpha}\int_{\mathbb R^n} \frac{1}{|x|^\alpha} \phi(x) dx = C_{n-\alpha}\int_{\mathbb R^n} \frac{1}{|x|^{n-\alpha}} \widehat{\phi}(x) dx$$
where $\phi:\mathbb R^n \to \mathbb C$ is on the Schwartz space , $0<\alpha <n$, $C_{\beta} = \Gamma(\beta/2)/\pi^{\beta/2}$ and $$\widehat{\phi}(x) = \int_{\mathbb R^n} \phi(y)e^{-2\pi i x\cdot y}dy.$$

In other words, how to calculate fourier transform of $1/|x|^\alpha$?

Best Answer

Denoting by $\widehat{\cdot}$ the Fourier transform in $\mathbb R^d$ and letting $$ f_\lambda(x)\equiv f(\lambda x), $$ then, by definition of the Fourier transform, \begin{align} \widehat {f_\lambda}(k)&=\int_{\mathbb R^n}e^{-ik\cdot x}f(\lambda x)dx\\ &=\int_{\mathbb R^n}e^{-ik\cdot x/\lambda}f(x)\lambda^{-d}dx\\ &=\lambda^{-d}\widehat f(k/\lambda). \end{align} Let $f(x)=F(|x|)$ be a radial function; if $M\in SO(d)$, then $f_M(x)\equiv f(Mx)=f(x)$ and hence, since $\widehat{ f_M}(k)=\widehat f(Mk)$, we have $\widehat {f_M}= \widehat f$, which in turn implies that also $\widehat f$ is radial. Now, suppose $f(x)=|x|^{-\alpha}$, for $0<\alpha<d$, then $$ f_\lambda(x) = \lambda^{-\alpha}f(x) $$ and, by the above remark, $$ \widehat f (k/\lambda)= \lambda^{d}\widehat {f_\lambda}(k) = \lambda^{d-\alpha}\hat f(k). $$ The only radial $\widehat f$ homogeneous of degree $-d+\alpha$ is $$ \widehat f (k) = |k|^{\alpha-d}, $$ up to constants.

Note that $f$ can be split as the sum of two pieces: let $B_a$ be the ball of radius $a$ centred at the origin, then \begin{align} f&\equiv u+v\\ &= \chi_{B_a}(x)\frac{1}{|x|^{\alpha}}+\left(1-\chi_{B_a}(x)\right)\frac{1}{|x|^{\alpha}}; \end{align} $u$ lies in $L^1(\mathbb R^d)$, for $0<\alpha<d$, and $v$ lies in $L^2(\mathbb R^d)$, for $\alpha>d/2$. This ensures $\widehat u \in L^\infty(\mathbb R^d)$ and $\widehat v\in L^2(\mathbb R^d)$ and that $\widehat f$ needs indeed to be a function in $L^1_{\text{loc}}(\mathbb R^d)$ from an abstract point of view. So $f,\widehat f\in L^1_{\text{loc}}(\mathbb R^d)$.

More generally, $f$ lies in $\mathscr S'(\mathbb R^d)$, which is stable under Fourier transform.

Related Question