本文旨在摘录一些需要技巧的 Fourier 变换计算.
Bessel 位势
问题. 已知 $\hat{B}=\frac1{1+|y|^2}$，其中 $y\in \mathbb{R}^n$. 求 $B=\left(\frac1{1+|y|^2}\right)^\vee$.
解. 利用如下积分
则
接下来我们把这个积分按一个坐标一个坐标拆开来计算. 为此，我们令 $z=\sqrt{b} x-\frac{a}{2\sqrt{b}} i$，计算
这里 $\Gamma$ 是围道 ${\operatorname{Im}(z)=-\frac{a}{2b^{1/2}} }$，积分方向自左向右. $e^{-z^2}$ 是全纯函数，所以我们可以形变到横轴，得到
于是
故
这个 $B$ 称为 Bessel 位势. 摘自 [1].
至于这个积分为什么可以换序，我差点去 Stack Exchange 上问了，好在最后好像想出来了. 以下是我差点发出去的提问：
How can I justify the interchange of integrals in the derivation of the Bessel potential in Evans’ Partial Differential Equations?
In his Partial Differential Equations, p187, Evans adopts the following method to calculate the inverse Fourier transform of $\frac1{1+|y|^2}$, where $y\in \mathbb{R}^n$: he uses $\frac1{1+|y|^2}=\int_0^\infty e^{-t(1+|y|^2)}\,dt$, and claims that
thus shifts attention to the evaluation of $\int_{\mathbb{R}^n}e^{ix\cdot y-t|y|^2}\,dy$.
However I can’t see why (*) is correct.
My attempt: I try to simplify the notation to $\int \left(\int_0^\infty f(t,y) \,dt\right) e^{ixy} dy$, and let $I_b^a(y) =\int_b^a f(t,y) \,dt$. Then we have to show
Maybe we should first admit that
and then prove that
which is the same as
which in turn is the same as
So I think it remains to show
$
\int\frac{e^{-b(1+|y|^2)}}{1+|y|^2}\,dy\to 0
$.
So I rewrite the integral as
Then we can use Gamma function to prove that it is so.
$e^{-|x|^2}$ 的 Fourier 变换
从上面的计算（配方法）中我们看出 $e^{-t|\lambda|^2}$ 的 Fourier 反变换为 $\frac1{(2\pi)^{n/2}}\left(\frac{\pi}t\right)^{n/2}e^{-\frac{|x|^2}{4t}}=\left(\frac1{2t}\right)^{n/2}e^{-\frac{|x|^2}{4t}}$. 令 $t=\frac1{4A}$，则看出 $e^{-A|x|^2}$ 的 Fourier 变换为 $(2A)^{-n/2} e^{-\frac{|\lambda|^2}{4A}}$. 这一结果需要牢牢记住.
另一种方法见 [2]，我们用分部积分法，设 $f(x)=e^{-x^2}$，
所以实际上 $\hat{f}(\lambda)=\frac{2i}{\lambda}(xf(x))^{\vee}=-\frac2\lambda\frac{d}{d\lambda}\hat{f}(\lambda)$.
又 $\hat{f}(0)=\frac1{\sqrt{2}}$. 我们解 ODE 可得
也许一种更对称的写法是 $e^{-x^2/2}\mapsto e^{-\lambda^2/2}$.
注意正负号！
参考文献
- Evans. Partial Differential Equations.
- 周蜀林. 偏微分方程.
