跳转到内容

狄利克雷积分

维基百科,自由的百科全书

在数学中,有不只一个积分称作狄利克雷积分,都由德国数学家约翰·彼得·古斯塔夫·勒热纳·狄利克雷提出。 其中一个内容如下[1]

这个积分不是绝对收敛的,因此勒贝格积分甚至不能定义这个积分,但它在黎曼积分Henstock–Kurzweil积分是有定义的。 [2] 可以通过多种方式导出这个(黎曼或Henstock)积分的值。例如,该值可以通过计算双反常积分确定,也可以通过在积分符号内取微分来确定。

求值

[编辑]

双反常积分的方法

[编辑]

拉普拉斯变换特性的预备知识让我们能以下面的方式简洁地计算这个狄利克雷积分:

其中是函数的拉普拉斯变换。运用欧拉公式 ,然后积分,使得分母为实数,并取虚部,我们发现该拉普拉斯变换是拉普拉斯变量 s 的函数。这相当于尝试用两种不同方式求同一个二重定积分,通过颠倒积分的顺序 ,

积分符号内取微分

[编辑]

首先改写积分作为以为变量的函数。令

那么我们需要求

微分并运用莱布尼茨积分法则得:

上面我们基于拉普拉斯变换表不经证明地求得了这个积分;这一次我们进行推导。通过回顾欧拉公式,

那么,

,其中表示虚部。

积分

其中,是待确定的一个常数。由于,

mn 为整数。通过分析容易观察的边界,容易证明必为零,该积分:

左侧和右侧边界可以通过把积分区域分割为周期性的区间导出,在其上积分值为零。

左边界:

右边界:

第二项是零,对于左边界可以用同样的方法来证明。第一项,

得证。

引进另一个变量来进一步延伸这一结果,首先指出,是偶函数,所以

则:

复积分

[编辑]

可通过复积分获得相同的结果。让我们考虑

作为复变量 z 的函数,它在原点是一个单极点,阻止了我们使用其他假设都满足的Jordan引理。我们再定义一个新函数[3] g(z) 如下

极点已被移离实轴,所以 g(z) 的可沿半径为 R,中心在 z = 0 且与实轴围成的封闭半圆积分,然后取极限

留数定理知复积分为零,因为积分路径内不存在极点

随着 R 趋向无穷大,第二项消失;对任意小的,对第一项运用索霍茨基-魏尔斯特拉斯定理

其中,P.V.表示柯西主值。通过两侧取虚部,并注意到,是偶函数,由定义,于是我们得到想要的结果

初等证明

[编辑]

收敛性

[编辑]

因为 递增并且有上界,故由单调收敛定理知,有极限值

收敛值

[编辑]

λ= a/πz= x/λ,则 a= λxx=λz

h(x)在区间[0,π]连续,所以h(x) 有上下界,又直接计算可以发现

于是

因为 存在收敛值 I,故亦收敛至 I

参见

[编辑]

参考资料

[编辑]
  1. ^ 存档副本 (PDF). [2015-03-02]. (原始内容存档 (PDF)于2020-11-25). 
  2. ^ Robert G. Bartle, Return to the Riemann Integral页面存档备份,存于互联网档案馆), The American Mathematical Monthly, vol. 103, 1996, pp. 625-632.
  3. ^ Appel, Walter. Mathematics for Physics and Physicists. Princeton University Press, 2007, p. 226.

外部链接

[编辑]