[论文解读] Three-dimensional Fourier transforms, integrals of spherical Bessel functions, and novel delta function identities

Gregory S. Adkins|arXiv (Cornell University)|Feb 7, 2013

Mathematical functions and polynomials参考文献 42被引用 13

一句话总结

本文提出了一种系统方法，用于评估涉及球贝塞尔函数和狄拉克δ函数的三维傅里叶变换，利用指数函数的瑞利展开和通过球谐函数进行的角分解。关键贡献是一个统一的框架，用于推导关于 $1/r$、$1/r^2$ 和 $\boldsymbol{\nabla}^2 \boldsymbol{\nabla}^2 (1/r)$ 的导数的新恒等式，包括方程 (1d) 中微妙的狄拉克δ函数恒等式，该恒等式解决了量子场论和电动力学中长期存在的歧义问题。

ABSTRACT

We present a general approach for evaluating a large variety of three-dimensional Fourier transforms. The transforms considered include the useful cases of the Coulomb and dipole potentials, and include situations where the transforms are singular and involve terms proportional to the Dirac delta function. Our approach makes use of the Rayleigh expansion of exp(i p.r) in terms of spherical Bessel functions, and we study a number of integrals, including singular integrals, involving a power of the independent variable times a spherical Bessel function. We work through several examples of three-dimensional Fourier transforms using our approach and show how to derive a number of identities involving multiple derivatives of 1/r, 1/r^2, and delta(\vec r).

研究动机与目标

• 开发一种通用、系统的方法，用于计算动量空间算符 $p^n \hat{p}_i \cdots$ 的三维傅里叶变换。
• 解决涉及奇异项和狄拉克δ函数的变换中的歧义，特别是方程 (1d) 中包含 $\delta(\vec{r})$ 和 $1/r^3$ 项的恒等式。
• 利用球贝塞尔函数的积分表示，推导出关于 $1/r$、$1/r^2$ 和 $\delta(\vec{r})$ 多重导数的新恒等式。
• 为在量子场论和多体物理中使用分布恒等式提供严格的理论基础，特别是在布雷特方程的背景下。

提出的方法

• 使用瑞利展开 $e^{i\vec{p} \cdot \vec{r}} = \sum_{\ell,m} (2\ell+1)i^\ell j_\ell(pr) P_\ell(\hat{p} \cdot \hat{r})$ 分离径向和角向依赖性。
• 通过加法定理，将角动量分量 $\hat{p}_{i_1} \cdots \hat{p}_{i_L}$ 表示为球谐函数 $Y_\ell^m(\hat{p})$ 的形式。
• 应用球谐函数的正交性，将三维变换简化为如下形式的径向积分：$I_{n\ell m}(\vec{r}) = \frac{i^\ell}{2\pi^2} Y_\ell^m(\hat{r}) \int_0^\infty dp\, p^{n+2} j_\ell(pr)$。
• 利用已知积分表和分布恒等式，计算径向积分 $R_{n\ell}(r) = \int_0^\infty dp\, p^{n+2} j_\ell(pr)$。
• 使用分布微积分和曲面积分恒等式（广义高斯定理）处理奇异项，并验证涉及 $\delta(\vec{r})$ 的恒等式。
• 通过将测试函数展开为泰勒级数，并在 $R \to 0$ 极限下计算角平均值，验证恒等式。

实验结果

研究问题

• RQ1 如何发展一种统一的方法，以计算动量空间中涉及 $p^n \hat{p}_i \cdots$ 的算符的三维傅里叶变换？
• RQ2 为何变换 $\int \frac{d^3p}{(2\pi)^3} e^{i\vec{p} \cdot \vec{r}} \frac{p_i p_j}{p^2} = \frac{1}{3}\delta_{ij}\delta(\vec{r}) + \frac{1}{4\pi r^3}(\delta_{ij} - 3\hat{x}_i\hat{x}_j)$ 包含一个狄拉克δ函数项，且如何严格推导这一结果？
• RQ3 关于 $1/r$、$1/r^2$ 和 $\delta(\vec{r})$ 的多重导数，正确的分布恒等式是什么？
• RQ4 在 $r=0$ 处存在奇异性的情况下，如何一致地处理张量结构如 $\delta_{ij} - 3\hat{x}_i\hat{x}_j$ 的角向依赖性？
• RQ5 能否通过分布微积分严格确立恒等式 $\partial_k \left( \left(\delta_{ik}\partial_j - \frac{1}{3}\delta_{ij}\partial_k \right) \frac{1}{r^2} \right) = \frac{8}{r^4} (\hat{x}_i\hat{x}_j)^2_2$？

主要发现

• 变换 $I_d = \int \frac{d^3p}{(2\pi)^3} e^{i\vec{p} \cdot \vec{r}} \frac{p_i p_j}{p^2}$ 被严格推导为 $\frac{1}{3}\delta_{ij}\delta(\vec{r}) + \frac{1}{4\pi r^3}(\delta_{ij} - 3\hat{x}_i\hat{x}_j)$，确认了球对称狄拉克δ函数项的存在。
• 恒等式 $\partial_k \left( \left(\delta_{ik}\partial_j - \frac{1}{3}\delta_{ij}\partial_k \right) \frac{1}{r^2} \right) = \frac{8}{r^4} (\hat{x}_i\hat{x}_j)^2_2$ 作为分布恒等式成立，通过在 $R \to 0$ 极限下的曲面积分和体积分得到验证。
• 三维狄拉克δ函数被严格确认为 $\delta(\vec{r}) = \frac{\delta(r)}{4\pi r^2}$，利用筛选性质和角向积分。
• 恒等式 $\partial_k \left( \left(\delta_{ik}\partial_j - \frac{1}{3}\delta_{ij}\partial_k \right) \delta(\vec{r}) \right) = \delta_{ij} \partial_k \partial_k \delta(\vec{r}) - \frac{1}{3} \delta_{ij} \partial_k \partial_k \delta(\vec{r})$ 在分布意义下被验证成立。
• 径向积分 $R_{n\ell}(r) = \int_0^\infty dp\, p^{n+2} j_\ell(pr)$ 已对相关 $n$ 和 $\ell$ 求值，从而实现了对所有形式为 $I_{n\ell m}(\vec{r})$ 的变换的系统性计算。
• 该方法成功重现了已知结果，如 $I_a = \frac{1}{4\pi r}$ 和 $I_b = \frac{i x_i}{4\pi r^3}$，并将其推广至高阶张量和奇异情形。