狄利克雷积分
在数学中,有不只一个积分称作狄利克雷积分,都由德国数学家约翰·彼得·古斯塔夫·勒热纳·狄利克雷提出。
其中一个内容如下:
formula_1
这个积分不是绝对收敛的,因此勒贝格积分"甚至不能定义"这个积分,但它在黎曼积分或Henstock–Kurzweil积分是有定义的。 可以通过多种方式导出这个(黎曼或Henstock)积分的值。例如,该值可以通过计算双反常积分确定,也可以通过在积分符号内取微分来确定。
求值.
双反常积分的方法.
拉普拉斯变换特性的预备知识让我们能以下面的方式简洁地计算这个狄利克雷积分:
formula_2
其中formula_3是函数formula_4的拉普拉斯变换。运用欧拉公式 ,然后积分,使得分母为实数,并取虚部,我们发现该拉普拉斯变换是拉普拉斯变量 "s" 的函数formula_5。这相当于尝试用两种不同方式求同一个二重定积分,通过颠倒积分的顺序 ,"即",
formula_6
formula_7
积分符号内取微分.
首先改写积分作为以formula_8为变量的函数。令
formula_9
那么我们需要求formula_10
对formula_11微分并运用莱布尼茨积分法则得:
formula_12
上面我们基于拉普拉斯变换表不经证明地求得了这个积分;这一次我们进行推导。通过回顾欧拉公式,
formula_13
那么,
formula_14,其中formula_15表示虚部。
formula_16
对formula_11积分
formula_18
其中,formula_19是待确定的一个常数。由于,
formula_20
formula_21
"m" 和 "n" 为整数。通过分析容易观察的边界,容易证明formula_22必为零,该积分:
formula_23
左侧和右侧边界可以通过把积分区域formula_24分割为周期性的区间导出,在其上积分值为零。
左边界: formula_25
右边界: formula_26
第二项是零,对于左边界可以用同样的方法来证明。第一项, formula_27
得证。
引进另一个变量来进一步延伸这一结果,首先指出,formula_28是偶函数,所以
formula_29
则:
formula_30
复积分.
可通过复积分获得相同的结果。让我们考虑
formula_31
作为复变量 z 的函数,它在原点是一个单极点,阻止了我们使用其他假设都满足的Jordan引理。我们再定义一个新函数 g(z) 如下
formula_32
极点已被移离实轴,所以 g(z) 的可沿半径为 R,中心在 z = 0 且与实轴围成的封闭半圆积分,然后取极限formula_33。
由留数定理知复积分为零,因为积分路径内不存在极点
formula_34
随着 R 趋向无穷大,第二项消失;对任意小的formula_35,对第一项运用索霍茨基-魏尔斯特拉斯定理得
formula_36
其中,P.V.表示柯西主值。通过两侧取虚部,并注意到,formula_37是偶函数,由定义formula_38,于是我们得到想要的结果
formula_39
formula_40
初等证明.
收敛性.
因为formula_41 递增并且有上界formula_42,故由单调收敛定理知,formula_43有极限值formula_44。
formula_45
收敛值.
令"λ= a/π","z= x/λ",则 "a= λx","x=λz"
formula_46
formula_47
formula_48
"h(x)"在区间[0,π]连续,所以"h(x)" 有上下界,又直接计算可以发现
formula_49
故
formula_50
于是
formula_51
因为formula_52 存在收敛值 "I",故formula_53亦收敛至 "I"。
formula_54
生成维基百科快照图片,大概需要3-30秒!