关于径向库仑积分相关等式对所有平方可积径向波函数是否成立的技术问询

嘿，这个问题问得非常到位，刚好触碰到了积分变换里的核心技巧——二重积分交换顺序，而且结论是：这个等式确实对所有满足平方可积条件的径向波函数$R(r)$都成立，下面我一步步给你理清楚证明思路：

首先，为了简化推导，我们先定义两个辅助函数让表达式更清爽：

• 令 $A(r) = r R(r)^2$
• 令 $B(r) = r^2 R(r)^2$

根据题目里的等式，我们需要证明的核心结论可以转化为：
$$
\int_0^\infty A(r) \left( \int_0^r B(r') dr' \right) dr = \int_0^\infty B(r) \left( \int_r^\infty A(r') dr' \right) dr
$$

步骤1：将单重积分转化为二重积分 #

先看左边的积分$L$：
$$
L = \int_0^\infty A(r) \left( \int_0^r B(r') dr' \right) dr
$$
这个积分的本质是一个二重积分，它对应的积分区域是：$r'$从0到$r$，同时$r$从0到$\infty$，也就是平面上的区域 $0 \leq r' \leq r < \infty$。

步骤2：交换二重积分的计算顺序 #

根据富比尼定理（这里被积函数都是非负的，且$R(r)$平方可积保证了所有积分收敛，完全满足交换顺序的条件），我们把积分顺序反过来：先对$r$积分，再对$r'$积分。

交换后，$r$的取值范围变为从$r'$到$\infty$，$r'$的范围还是0到$\infty$，于是左边积分可以改写为：
$$
L = \int_0^\infty B(r') \left( \int_{r'}^\infty A(r) dr \right) dr'
$$

步骤3：对比右边的积分$R$ #

再看右边的积分$R$：
$$
R = \int_0^\infty B(r) \left( \int_r^\infty A(r') dr' \right) dr
$$
同样将其转化为二重积分，对应的积分区域是：$r$从0到$r'$，同时$r'$从0到$\infty$，也就是 $0 \leq r \leq r' < \infty$。

交换积分顺序后，$R$可以改写为：
$$
R = \int_0^\infty A(r') \left( \int_0^{r'} B(r) dr \right) dr'
$$

这时候你会发现：把左边积分$L$里的哑变量$r$和$r'$互换，得到的表达式和交换顺序后的$R$完全一致！而积分变量只是符号，不影响最终的积分结果，因此$L = R$。

关键补充说明 #

这个证明完全不依赖$R(r)$的具体形式，只需要满足两个前提：

1. 所有涉及的积分都收敛（也就是$R(r)$是平方可积的，对应的$A(r)$和$B(r)$都是可积函数）；
2. 被积函数非负（这里$R(r)^2$是非负的，所以$A(r)$和$B(r)$天然非负，满足富比尼定理的交换条件）。

你举的$R \propto e^{-ar}$的例子，只是这个一般结论的一个特例，而这个等式对所有符合条件的径向波函数都成立。

备注：内容来源于stack exchange，提问作者Fefetltl