TransWikia.com

On the Fourier transform of $frac{1}{|x|_2^alpha}1_{|x|_infty>1}$

Mathematics Asked by Kernel on January 23, 2021

I would like to understand the asymptotic behaviour of the Fourier transform of the following distribution

$$
mathcal{S}niphilongmapsto int_{mathbb{R}^d} frac{1}{|x|_2^alpha}1_{[|x|_inftyge1]} phi(x)dx
$$

for $0<alpha < d$. I suppose that my choice of norm $|cdot|_infty$ is not particularly relevant, but makes computation a bit more clear. It is well know that the Fourier transform of $frac{1}{|x|_2^alpha}$ for $alpha < d$ is $C_{d,alpha}|omega|^{d-alpha}$.

$$
tag{1}
mathcal{F} left(frac{1}{|cdot|^alpha_2}right)(omega) = C_{d,alpha}|omega|^{d-alpha}_2
$$

I would expect that removing a open ball around the origin would improve the asymptotic behaviour of this Fourier transform as $omega longrightarrow infty$, but maybe I am wrong, as this is function is in $L^1_text{loc}(mathbb{R}^d)$.

My attempt was to follow the proof for $(1)$ to compute the Fourier transform of $frac{1}{|x|_2^alpha}1_{[|x|_inftyge1]}$ together with linearity.

Therefore, using that
$$
frac{1}{|x|^{alpha}}=frac{pi^{alpha/2}}{Gamma(alpha/2)}
int_{0}^{infty}e^{-pilambda|x|^{2}}lambda^{alpha/2-1}mathrm{d}lambda
$$

and Fubini’s Theorem (as $phi in mathcal{S}$) to get
begin{align}
int_{mathbb{R}^d} frac{1}{|x|_2^alpha}1_{[|x|_inftyle1]} mathcal{F}phi(x) dx
& =
int_0^infty int_{mathbb{R}^d} lambda^{alpha/2-1} f_lambda *g(x) mathcal{F}phi(x) dx
end{align}

where
$$
f_lambda(x)= lambda^{-d/2}e^{-frac{pi|x|_2^2}{lambda}}
$$

and the Fourier transform of the indicator function is given by
$$
g(x) = prod_{i=1}^d frac{sin( 2x_i)}{x_i}.
$$

However, here is where I get stuck. I know that as $lambda to 0$, the convolution converges to $g$, but besides that, I have little information about the convolution.

My choice of the ball ${|x|_infty le 1}$ was in order to have symmetry on the variables, so we can reduce the convolution above as the product of the one-dimensional convolutions
$$
int_{-infty}^infty frac{e^{-pi|x-z|^2/lambda}}{lambda^{1/2}} frac{2sin(z)}{z}dz
$$

depending on $lambda$. But I still had no success.

Any suggestions how to proceed?

One Answer

While removing the singularity at the origin could give a better decrease at infinity for the Fourier transform, it depends on the details. The issue is that multiplying by a characteristic function (which is rough) also introduces relatively slow decay for the Fourier transform. The rate of decay reflects the geometry of the discontinuity, i.e. of the boundary of the ball.

In the case of $| cdot |_{infty}$, where the ball is a box with flat sides, the Fourier transform decays on the order of $| omega |^{-1}$ in the directions perpendicular to the sides of the box. Other directions decay on the order of $| omega |^{-d}$, though not uniformly.

If you use $| cdot |_2$, so that the ball is round, the Fourier transform decays on the order of $| omega |^{-(d+1)/2}$ in all directions.

So depending on the value of $alpha$ and the direction of $omega$, this may be better or worse than the initial decay of $| omega |^{-(d - alpha)}$.


Without going into a ton of detail, one way you can show these decay rates is to first write the distribution as $G = psi G + (1 - psi) G$, where $psi$ is a smooth cutoff function that's $1$ on a neighborhood of the ball (whichever norm is being used to define the ball). By using a dyadic partition of unity, you can show that $mathcal{F}((1 - psi) G)$ decays rapidly, i.e. on the order of $| omega |^{-N}$ for any $N$.

For the Fourier transform of $psi G$, we can express it as an integral since $psi G$ is given by an integrable (bounded and compactly supported) function: $$mathcal{F}(psi G)(omega) = int e^{-i omega cdot x} psi(x) G(x) , dx,$$ or whatever your preferred normalization is.

Now fix a particular direction for $omega$, and integrate out in $x$ along hyperplanes orthogonal to $omega$. This leaves a one-dimensional integral of the form $$int e^{-i |omega| t} h(t) , dt,$$ where $h$ is compactly supported.

The smoothness properties of $h$ are important to note here.

  • In the case of $| cdot |_{infty}$ and $omega$ orthogonal to one of the faces of the box, $h$ is actually discontinuous at $t = pm 1$.
  • In the case of $| cdot |_{infty}$ and $omega$ not orthogonal to one of the faces of the box, $h$ is $C^{d-2}$.
  • In the case of $| cdot |_{2}$, we have that $h$ "looks like" $(1 - t^2)^{(d-1)/2}$ near $t = pm 1$. That is, the failure of $h$ to be $C^{infty}$ is owing to a "kink" with properties like that of $(1 - t^2)^{(d-1)/2}$.

The final step for getting the claimed decay rates is then (possibly repeated) integration by parts in the one-dimensional integral.


Edit:

To see that $mathcal{F}((1 - psi) G)$ decays rapidly, let's first set up notation for the dyadic partition of unity. We can write this as $$1 = Psi_0(x) + sum_{k = 1}^{infty} Psi(2^{-k} x).$$ Here $Psi_0$ is 1 close to the origin (it's convenient to make it so that $Psi_0 equiv 1$ on the set where $1 - psi neq 1$), and $Psi$ is 1 on a dyadic annulus. (I'm leaving things a little vague intentionally, as some details could differ between the case of $| cdot |_{infty}$ and $| cdot |_2$.)

So now we'll have $$mathcal{F}((1 - psi) G) = mathcal{F}(Psi_0 (1 - psi) G) + sum_{k = 1}^{infty} mathcal{F}(Psi(2^{-k} cdot) G).$$ Note that we're able to drop the $1 - psi$ from the terms in the infinite sum since $1 - psi equiv 1$ in the relevant regions. Also, each function on the right that we're taking the Fourier transform of is $C_c^{infty}$, so the individual Fourier transforms are Schwartz functions with good decay. The remaining piece is to see that the good decay isn't messed up by the infinite summation.

With that setup out of the way, the key is to use the homogeneity of $G$ to express everything in terms of dilates of a single function: $$Psi(2^{-k} x) G(x) = 2^{-alpha k} Psi(2^{-k} x) G(2^{-k} x) = 2^{-alpha k} G_0(2^{-k} x).$$ Now the infinite sum can be expressed in terms of $mathcal{F}(G_0)$ (which has good decay), taking into account how the Fourier transform interacts with dilations.

Correct answer by Jason on January 23, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP