球坐标下特定点含cotθ₀的狄拉克δ函数能否重新归一化？

好的，咱们来一步步解决这个极轴上的δ函数归一化问题：

首先先回顾已知的球坐标狄拉克δ函数表达式：
$$\delta(\vec{r}_0-\vec{r})=\frac{1}{r^2}\delta(r_0-r)\delta(\cos\theta_0-\cos\theta)\delta(\phi_0-\phi)$$

当我们取$\vec{r}_0=(r_0,0,0)$时，$\cot\theta_0=\cot0$会趋向无穷大，直接用原式会得到发散的分布，这里有个简洁的处理思路，核心是把发散项转化为δ函数的导数分布：

1. 先拆解发散项与δ函数的结合
   把$\cot\theta_0$写成$\frac{\cos\theta_0}{\sin\theta_0}$，结合δ函数的变量替换规则：$\delta(\cos\theta_0-\cos\theta)=\frac{\delta(\theta-\theta_0)}{\sin\theta_0}$（当$\theta_0\neq0$时），代入原式后得到：
   $$\cot\theta_0 \cdot \delta(\vec{r}_0-\vec{r}) = \frac{\cos\theta_0}{\sin^2\theta_0} \cdot \frac{1}{r^2}\delta(r_0-r)\delta(\theta-\theta_0)\delta(\phi_0-\phi)$$

2. 用分布极限转化为δ函数导数
   当$\theta_0\to0$时，$\sin\theta_0\approx\theta_0$，$\cos\theta_0\approx1$，此时$\frac{1}{\sin^2\theta_0}\delta(\theta-\theta_0)$可以通过分部积分转化为合法的导数分布：
   假设让这个发散分布作用在光滑测试函数$f(\theta)$上，原本的积分$\cot\theta_0 f(\theta_0)$会出现发散项，但我们可以通过重新定义分布来消除发散，最终归一化后的合法分布可以简洁表示为：
   $$\Delta(\vec{r}-\vec{r}_0) = -\frac{1}{r^2}\delta(r_0-r)\delta'(\theta)\delta(\phi)$$

3. 验证归一化效果
   这个分布作用在任意光滑测试函数$f(\vec{r})$上时，通过分部积分能得到有限结果：
   $$\int d^3r f(\vec{r}) \Delta(\vec{r}-\vec{r}_0) = -\int_0^\infty dr \delta(r_0-r) f(r,0,0) \cdot \int_0^\pi \delta'(\theta)\sin\theta d\theta \cdot \int_0^{2\pi}\delta(\phi)d\phi$$
   对角度积分做分部积分后：
   $$\int_0^\pi \delta'(\theta)\sin\theta d\theta = -\int_0^\pi \delta(\theta)\cos\theta d\theta = -1$$
   代入后最终结果为$f(r_0,0,0)$，和标准δ函数的作用效果一致，完美实现了归一化。

内容的提问来源于stack exchange，提问作者Karl