咨询黎曼积分交换积分顺序的依据及替代验证方法

一、交换积分顺序的论证依据 #

咱们先明确：这里要交换的是反常黎曼积分的顺序，没法直接用勒贝格Fubini定理（后面会说原因），核心依据是含参变量反常积分的一致收敛性定理，结合截断积分的极限过渡来推导。

具体来说，步骤是这样的：

1. 先考虑有限区间的截断积分$I(A,B)=\int_{0}^{A}\int_{0}{B}e^{{-xt}\sin{x}dtdx$，由于被积函数在有限矩形$[0,A]\times[0,B]$上连续，满足黎曼积分的Fubini条件，所以可以自由交换顺序，得到$I(A,B)=\int_{0}}{B}\int_{0}^{A}e{-xt}\sin{x}dxdt$。
2. 分别对$A\to\infty$和$B\to\infty$取极限，通过狄利克雷判别法或阿贝尔判别法证明含参积分的一致收敛性，确保极限运算和积分运算可以交换顺序，最终得到原等式两边的积分结果都为$\frac{\pi}{2}$，从而等式成立。

二、能否运用勒贝格Fubini定理？ #

答案是不能。勒贝格Fubini定理的核心要求是被积函数在乘积空间$[0,\infty)^{2$上**绝对可积**，也就是$\iint_{[0,\infty)}2}|e^{-xt}\sin{x}|d(x,t)<\infty$。但正如Lorenzo Q.所证明的，这个被积函数并不属于$L^1([0,\infty)2)$——你可以简单验证：计算内层积分$\int_{0}^{\infty}|e{-xt}\sin{x}|dt=\frac{|\sin{x}|}{x}$（$x>0$），再对$x$积分$\int_{0}^{\infty}\frac{|\sin{x}|}{x}dx$，这个积分是发散的，因此不满足绝对可积的条件，Fubini定理无法直接应用。

三、替代的证明方法 #

既然Fubini定理用不了，我们有两种常用的严谨方法来证明等式成立：

方法1：截断积分+一致收敛性分析 #

如第一部分所述，我们通过截断积分过渡：

• 先计算有限区间交换后的积分：$I(A,B)=\int_{0}^{{A}\sin{x}\cdot\frac{1-e}{-Bx}}{x}dx=\int_{0}^{B}\frac{1-e{-At}(t\sin{A}+\cos{A})}{1+t^2}dt$。
• 对第一个表达式，当$B\to\infty$时，$\frac{1-e^{{-Bx}}{x}$单调递减趋于$\frac{1}{x}$（$x>0$），结合$\int_{0}}{A}\sin{x}dx$有界，用狄利克雷判别法可知积分一致收敛到$\int_{0}^{A}\frac{\sin{x}}{x}dx$，再取$A\to\infty$得到经典狄利克雷积分结果$\frac{\pi}{2}$。
• 对第二个表达式，当$A\to\infty$时，$e^{{-At}(t\sin{A}+\cos{A})$的绝对值被$e}{-At}(t+1)$控制，而这个函数在$[0,B]$上可积，由勒贝格控制收敛定理（或黎曼积分的极限交换条件），这部分积分趋于0，剩下的$\int_{0}^{{B}\frac{1}{1+t}2}dt$取$B\to\infty$也得到$\frac{\pi}{2}$。
• 两者极限相等，因此原等式成立。

方法2：拉普拉斯变换的性质 #

利用拉普拉斯变换的积分性质：

• 对于函数$f(x)=\sin{x}$，其拉普拉斯变换为$\mathcal{L}{f}(t)=\int_{0}^{\infty}e{-xt}\sin{x}dx=\frac{1}{1+t^2}$。
• 根据拉普拉斯变换的积分公式：$\int_{0}^{{\infty}\mathcal{L}{f}(t)dt=\int_{0}}{\infty}f(x)\cdot\frac{1}{x}dx$（当$f(0)=0$且积分收敛时），这里$f(x)=\sin{x}$满足条件，因此左边$\int_{0}^{{\infty}\mathcal{L}{f}(t)dt=\int_{0}}{\infty}\frac{1}{1+t^{2}dt=\frac{\pi}{2}$，右边$\int_{0}}{\infty}\frac{\sin{x}}{x}dx$也是经典的狄利克雷积分，结果同样为$\frac{\pi}{2}$，等式得证。

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