双反常积分的方法
拉普拉斯变换特性的预备知识让我们能以下面的方式简洁地计算这个狄利克雷积分:
-
其中 是函数 的拉普拉斯变换。运用欧拉公式 ,然后积分,使得分母为实数,并取虚部,我们发现该拉普拉斯变换是拉普拉斯变量 s 的函数 。这相当于尝试用两种不同方式求同一个二重定积分,通过颠倒积分的顺序 ,即,
-
-
积分符号内取微分
首先改写积分作为以 为变量的函数。令
-
那么我们需要求
对 微分并运用莱布尼茨积分法则得:
-
上面我们基于拉普拉斯变换表不经证明地求得了这个积分;这一次我们进行推导。通过回顾欧拉公式,
-
那么,
- ,其中 表示虚部。
-
对 积分
-
其中, 是待确定的一个常数。由于,
-
-
m 和 n 为整数。通过分析容易观察的边界,容易证明 必为零,该积分:
-
左侧和右侧边界可以通过把积分区域 分割为周期性的区间导出,在其上积分值为零。
左边界:
右边界:
第二项是零,对于左边界可以用同样的方法来证明。第一项,
得证。
引进另一个变量来进一步延伸这一结果,首先指出, 是偶函数,所以
-
则:
-
复积分
可通过复积分获得相同的结果。让我们考虑
-
作为复变量 z 的函数,它在原点是一个单极点,阻止了我们使用其他假设都满足的Jordan引理。我们再定义一个新函数[3] g(z) 如下
-
极点已被移离实轴,所以 g(z) 的可沿半径为 R,中心在 z = 0 且与实轴围成的封闭半圆积分,然后取极限 。
由留数定理知复积分为零,因为积分路径内不存在极点
-
随着 R 趋向无穷大,第二项消失;对任意小的 ,对第一项运用索霍茨基-魏尔斯特拉斯定理得
-
其中,P.V.表示柯西主值。通过两侧取虚部,并注意到, 是偶函数,由定义 ,于是我们得到想要的结果
-
收敛性
-
因为 递增并且有上界 ,故由单调收敛定理知, 有极限值 。
收敛值
-
令λ= a/π,z= x/λ,则 a= λx,x=λz
-
-
-
h(x)在区间[0,π]连续,所以h(x) 有上下界,又直接计算可以发现
-
故
-
于是
-
因为 存在收敛值 I,故 亦收敛至 I。
-