User:EverettYou/Renormalization

Fourier Transform (Real to Reciprocal)
In general, the $$d$$-dimentional Fourier transformation of an isotropic function $$f(r)$$ is defined as
 * $$\mathcal{F}_d[f(r)]\equiv\int_{\mathbb{R}^d} f(r) e^{-\mathrm{i}\boldsymbol{p}\cdot \boldsymbol{r}}\mathrm{d}^d \boldsymbol{r}=\frac{2\pi^{d/2}}{\Gamma(\tfrac{d}{2})}\int_0^\infty f(r)r^{d-1}\;{}_0F_1\big(\tfrac{d}{2},-(\tfrac{p r}{2})^2\big)\mathrm{d}r,$$

where $${}_0F_1$$ is a generalized hypergeometric function.

When the Gamma function $$\Gamma(\tfrac{d+n}{2})$$ is not singular, i.e. $$d+n\neq 0,-2,-4,-6,\cdots$$, we have the following results:
 * $$\mathcal{F}_d[r^n]= \frac{2^{d+n}\pi^{d/2}\Gamma(\frac{d+n}{2})}{\Gamma(-\frac{n}{2})}\frac{1}{p^{d+n}},$$
 * $$\mathcal{F}_d[r^n\ln r]= \frac{2^{d+n}\pi^{d/2}\Gamma(\frac{d+n}{2})}{\Gamma(-\frac{n}{2})}\frac{1}{p^{d+n}}\frac{1}{2}\big(\psi(\tfrac{d+n}{2})+\psi(-\tfrac{n}{2})-\ln(\tfrac{p^2}{4})\big),$$

where $$\Gamma(\cdot)$$ and $$\psi(\cdot)$$ are the gamma function and the digamma function (0th polygamma function) respectively. When such condition is violated, the Fourier transform falls back to the hypergeometric function integral.

The integral can be formally carried out by Mathematica with the option. Following is a table of Fourier transform of $$r^n$$ and $$r^n\ln r$$ in several lowest dimensional spaces. Only leading contributions are kept.

If the Fourier transform is UV regularized, all $$\ln p$$ should be understood as $$\ln (p/\Lambda)$$. Results that do not contain $$\ln p$$ are not affected by regularization at the leading order.

Inverse Fourier Transform (Reciprocal to Real)
The $$d$$-dimensional inverse Fourier transform is defined as
 * $$\mathcal{F}^{-1}_d[f(p)]\equiv\frac{1}{(2\pi)^d}\int_{\mathbb{R}^d} f(p) e^{\mathrm{i}\boldsymbol{p}\cdot \boldsymbol{r}}\mathrm{d}^d \boldsymbol{p}$$.

Due to the momentum-position duality, the inverse Fourier transform can be obtained by taking the Fourier transform result, exchanging $$p$$ and $$r$$, and dividing by $$(2\pi)^d$$.
 * $$\mathcal{F}^{-1}_d[f(p)]=\frac{1}{(2\pi)^d}\mathcal{F}_d[f(r)]/.r\to p$$.

Heat Kernel Regularization
In quantum field theory applications, it is often desired that the momentum integral is cut off at a UV scale $$\Lambda$$. The heat kernel regularization suppresses the UV contribution in the momentum integral by an envelope function $$e^{-p/\Lambda}$$. The UV regularized inverse Fourier transform is defined as
 * $$\mathcal{F}^{-1}_d[f(p);\Lambda]\equiv\frac{1}{(2\pi)^d}\int_{\mathbb{R}^d} f(p) e^{-p/\Lambda} e^{\mathrm{i}\boldsymbol{p}\cdot \boldsymbol{r}}\mathrm{d}^d \boldsymbol{p}$$.

Since the UV cutoff $$\Lambda$$ is expected to be large, following an $$1/\Lambda$$ expansion $$e^{-p/\Lambda}=1-p/\Lambda+\cdots$$, the regularized inverse Fourier transform can be calculated order-by-order as
 * $$\mathcal{F}^{-1}_d[f(p);\Lambda]=\mathcal{F}^{-1}_d[f(p)]-\mathcal{F}^{-1}_d[f(p)p]/\Lambda+\cdots$$.