在数学中,有不只一个积分称作狄利克雷積分,都由德國數學家約翰·彼得·古斯塔夫·勒熱納·狄利克雷提出。
其中一个內容如下[1]:
![{\displaystyle \int _{0}^{\infty }{\frac {\sin x}{x}}\,dx={\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccd199b9fbf088e1a2a0dfb6f0592950632bf967)
这个积分不是绝对收敛的,因此勒貝格積分甚至不能定义这个积分,但它在黎曼积分或Henstock–Kurzweil积分是有定义的。 [2] 可以通过多种方式导出这个(黎曼或Henstock)积分的值。例如,该值可以通过计算双反常积分确定,也可以通过在积分符号内取微分来确定。
双反常积分的方法[编辑]
拉普拉斯变换特性的预备知识让我们能以下面的方式简洁地计算这个狄利克雷积分:
![{\displaystyle \int _{0}^{\infty }{\frac {\sin t}{t}}\,dt=\int _{0}^{\infty }{\mathcal {L}}\{\sin t\}(s)\;ds=\int _{0}^{\infty }{\frac {1}{s^{2}+1}}\,ds=\arctan s{\bigg |}_{0}^{\infty }={\frac {\pi }{2}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9e17e59502c65a7945d977881d3eb973bfcc17a)
其中
是函数
的拉普拉斯变换。运用欧拉公式 ,然后积分,使得分母为实数,并取虚部,我们发现该拉普拉斯变换是拉普拉斯变量 s 的函数
。这相当于尝试用两种不同方式求同一个二重定积分,通过颠倒积分的顺序 ,即,
![{\displaystyle \left(I_{1}=\int _{0}^{\infty }{\int _{0}^{\infty }e^{-st}\sin t\,dt}\,ds\right)=\left(I_{2}=\int _{0}^{\infty }{\int _{0}^{\infty }e^{-st}\sin t\,ds}\,dt\right),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c5d3fb2ab9d4a32c46a0c625287b6b1dfd55793)
![{\displaystyle \left(I_{1}=\int _{0}^{\infty }{\frac {1}{s^{2}+1}}\,ds={\frac {\pi }{2}}\right)=\left(I_{2}=\int _{0}^{\infty }\sin t\,{\frac {1}{t}}\,dt\right){\text{, provided }}s>0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/999b77b5a580a2db6dc2eac4ecd5d2dac5e14599)
积分符号内取微分[编辑]
首先改写积分作为以
为变量的函数。令
![{\displaystyle f(a)=\int _{0}^{\infty }e^{-a\omega }{\frac {\sin \omega }{\omega }}d\omega ;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30eeb0325b49920fe00dff11b55128c6239a5681)
那么我们需要求
对
微分并运用莱布尼茨积分法则得:
![{\displaystyle {\frac {df}{da}}={\frac {d}{da}}\int _{0}^{\infty }e^{-a\omega }{\frac {\sin \omega }{\omega }}d\omega =\int _{0}^{\infty }{\frac {\partial }{\partial a}}e^{-a\omega }{\frac {\sin \omega }{\omega }}d\omega =-\int _{0}^{\infty }e^{-a\omega }\sin \omega \,d\omega =-{\mathcal {L}}\{\sin \omega \}(a).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2e876c908e12f455646291cbf2cfb5184913fef)
上面我们基于拉普拉斯变换表不经证明地求得了这个积分;这一次我们进行推导。通过回顾欧拉公式,
![{\displaystyle \!e^{i\omega }=\cos \omega +i\sin \omega }](https://wikimedia.org/api/rest_v1/media/math/render/svg/effa32e0c5cf69697a298d5eb2a398a59113a82c)
那么,
,其中
表示虚部。
![{\displaystyle \therefore {\frac {df}{da}}=-\Im \int _{0}^{\infty }e^{-a\omega }e^{i\omega }d\omega =\Im {\frac {1}{-a+i}}=\Im {\frac {-a-i}{a^{2}+1}}={\frac {-1}{a^{2}+1}}{\text{, given that }}a>0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df82f76ae1a670ac0960842ff22c861a4ace249d)
对
积分
![{\displaystyle f(a)=\int {\frac {-da}{a^{2}+1}}=A-\arctan a,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f9efa8b6bcb2a4f530784cb4fefd738eeb3977)
其中,
是待确定的一个常数。由于,
![{\displaystyle f(+\infty )=0\therefore A=\arctan(+\infty )={\frac {\pi }{2}}+m\pi ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d3a3ca934a1abc852e5c04877c8891d34715d87)
![{\displaystyle \therefore f(0)=\lim _{a\to 0^{+}}f(a)={\frac {\pi }{2}}+m\pi -\arctan 0={\frac {\pi }{2}}+n\pi ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13b3a7296c60b3e897e39fd804da90bd46beab46)
m 和 n 为整数。通过分析容易观察的边界,容易证明
必为零,该积分:
![{\displaystyle 0<\int _{0}^{\infty }{\frac {\sin x}{x}}dx<\int _{0}^{\pi }{\frac {\sin x}{x}}dx<\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d31ea52d6e2e482d9e2d26bbf7a8324f4661582b)
左侧和右侧边界可以通过把积分区域
分割为周期性的区间导出,在其上积分值为零。
左边界:
右边界:
第二项是零,对于左边界可以用同样的方法来证明。第一项,
得证。
引进另一个变量来进一步延伸这一结果,首先指出,
是偶函数,所以
![{\displaystyle \int _{0}^{\infty }{\frac {\sin x}{x}}\,dx=\int _{-\infty }^{0}{\frac {\sin x}{x}}\,dx=-\int _{0}^{-\infty }{\frac {\sin x}{x}}\,dx,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24a917c86987fe52a6a7550d60c48cd5af0e300a)
则:
![{\displaystyle \int _{0}^{\infty }{\frac {\sin b\,\omega }{\omega }}\,d\omega =\int _{0}^{b\,\infty }{\frac {\sin b\,\omega }{b\,\omega }}\,d(b\,\omega )=\int _{0}^{\operatorname {sgn} b\times \infty }{\frac {\sin x}{x}}\,dx=\operatorname {sgn} b\int _{0}^{\infty }{\frac {\sin x}{x}}\,dx={\frac {\pi }{2}}\,\operatorname {sgn} b}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11ccf01a542716b26921cb99aef351c0f4a4b131)
複积分[编辑]
可通过复积分获得相同的结果。让我们考虑
![{\displaystyle f(z)={\frac {e^{iz}}{z}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bdda289e08bd383675d54134797761718df79d6)
作为复变量 z 的函数,它在原点是一个单极点,阻止了我们使用其他假设都满足的Jordan引理。我们再定义一个新函数[3] g(z) 如下
![{\displaystyle g(z)={\frac {e^{iz}}{z+i\epsilon }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5151ed36a05b989073d120772107ab3fc0658753)
极点已被移离实轴,所以 g(z) 的可沿半径为 R,中心在 z = 0 且与实轴围成的封闭半圆积分,然后取极限
。
由留数定理知复积分为零,因为积分路径内不存在极点
![{\displaystyle 0=\int _{\gamma }g(z)dz=\int _{-R}^{R}{\frac {e^{ix}}{x+i\epsilon }}dx+\int _{0}^{\pi }{\frac {e^{i(Re^{i\theta }+\theta )}}{Re^{i\theta }+i\epsilon }}iRd\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b02c42812855dda9a040435438ce3709c704d1ae)
随着 R 趋向无穷大,第二项消失;对任意小的
,对第一项运用索霍茨基-魏尔斯特拉斯定理得
![{\displaystyle 0=\mathrm {P.V.} \int {\frac {e^{ix}}{x}}dx-\pi i\int _{-\infty }^{\infty }\delta (x)e^{ix}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c376d764fe04ea3268d051d1e05ef3ffdd6f9f55)
其中,P.V.表示柯西主值。通过两侧取虚部,并注意到,
是偶函数,由定义
,于是我们得到想要的结果
![{\displaystyle \lim _{\epsilon \rightarrow 0}\int _{\epsilon }^{\infty }{\frac {\sin(x)}{x}}dx=\int _{0}^{\infty }{\frac {\sin(x)}{x}}dx={\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b16e9e659ef16e7dc58d46dddeb3967911e11e8)
初等證明[编辑]
收斂性[编辑]
![{\displaystyle {\begin{aligned}\int _{0}^{\infty }{\frac {\sin x}{x}}\,dx&=\lim _{a\to \infty }\int _{0}^{a}{\frac {\sin x}{x}}\,dx=\lim _{a\to \infty }\int _{0}^{a}{\frac {1}{x}}\,d(1-\cos x)=\lim _{a\to \infty }{\frac {1-\cos x}{x}}|_{0}^{a}-\int _{0}^{a}(1-\cos x)\,d{\frac {1}{x}}\\&=\lim _{a\to \infty }{\frac {2\sin ^{2}{\frac {x}{2}}}{x}}|_{0}^{a}+\int _{0}^{a}{\frac {2\sin ^{2}{\frac {x}{2}}}{x^{2}}}\,dx=\lim _{a\to \infty }\int _{0}^{1}{\frac {2\sin ^{2}{\frac {x}{2}}}{x^{2}}}\,dx+\int _{1}^{a}{\frac {2\sin ^{2}{\frac {x}{2}}}{x^{2}}}\,dx\\&<\int _{0}^{1}{\frac {2\sin ^{2}{\frac {x}{2}}}{x^{2}}}\,dx+\lim _{a\to \infty }\int _{1}^{a}{\frac {2}{x^{2}}}\,dx=\int _{0}^{1}{\frac {2\sin ^{2}{\frac {x}{2}}}{x^{2}}}\,dx+2\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d7b83155349145848172692adefd1829d5917ce)
因為
遞增並且有上界
,故由單調收斂定理知,
有極限值
。
收斂值[编辑]
![{\displaystyle \int _{0}^{\infty }{\frac {\sin x}{x}}\,dx=\lim _{a\to \infty }\int _{0}^{a}{\frac {\sin x}{x}}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfe657ab8de3eb2bc3dcbb511c49e393f6e378e7)
令λ= a/π,z= x/λ,則 a= λx,x=λz
![{\displaystyle {\begin{aligned}\lim _{a\to \infty }\int _{0}^{a}{\frac {\sin x}{x}}\,dx&=\lim _{a\to \infty }\int _{0}^{a}{\frac {\sin x}{\frac {x}{\lambda }}}\,d{\frac {x}{\lambda }}=\lim _{\lambda \to \infty }\int _{0}^{\pi }{\frac {\sin \lambda z}{z}}\,dz\\&=\lim _{\lambda \to \infty }\int _{0}^{\pi }{\frac {\sin \lambda z}{2\sin {\frac {z}{2}}}}\,dz+\int _{0}^{\pi }\sin \lambda z({\frac {1}{z}}-{\frac {1}{2\sin {\frac {z}{2}}}})\,dz\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b17ef17a0499d202bb535ad20044eda8bbc68f3)
![{\displaystyle \because \lim _{z\to 0}{\frac {1}{z}}-{\frac {1}{2\sin {\frac {z}{2}}}}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b7818e95167fdb56ee65564d36c9e942e61cdba)
![{\displaystyle \therefore h(x)=\left\{{\begin{matrix}{\frac {1}{z}}-{\frac {1}{2\sin {\frac {z}{2}}}},&{\mbox{if }}0<x\leq \pi \\0,&{\mbox{if }}x=0\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5efd1fae7bccca83573c2174a875daaafe1d4c3)
h(x)在區間[0,π]連續,所以h(x) 有上下界,又直接計算可以發現
![{\displaystyle \lim _{\lambda \to \infty }\int _{0}^{\pi }\sin \lambda zdz=0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53d3f6554819d9e3715a353e730dfe838be00e3c)
故
![{\displaystyle \lim _{\lambda \to \infty }\int _{0}^{\pi }\sin \lambda z({\frac {1}{z}}-{\frac {1}{2\sin {\frac {z}{2}}}})\,dz=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dec3dc5bd9189f5bf87b132ecdc9a335213c28ab)
于是
![{\displaystyle I=\lim _{\lambda \to \infty }\int _{0}^{\pi }{\frac {\sin \lambda z}{2\sin {\frac {z}{2}}}}\,dz+\int _{0}^{\pi }\sin \lambda z({\frac {1}{z}}-{\frac {1}{2\sin {\frac {z}{2}}}})\,dz=\lim _{\lambda \to \infty }\int _{0}^{\pi }{\frac {\sin \lambda z}{2\sin {\frac {z}{2}}}}\,dz}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e846d644fa6abff6ba8084f3dd60056079c8a288)
因為
存在收斂值 I,故
亦收斂至 I。
![{\displaystyle I=\lim _{n\to \infty }\int _{0}^{\pi }{\frac {\sin(n+{\frac {1}{2}})z}{2\sin {\frac {z}{2}}}}\,dz=\lim _{n\to \infty }\int _{0}^{\pi }{\frac {1}{2}}+\sum _{k=1}^{n}\cos kz\,dz=\lim _{n\to \infty }({\frac {\pi }{2}}+\sum _{k=1}^{n}{\frac {\sin kz}{k}})|_{0}^{\pi }={\frac {\pi }{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bde7a3101f609068b57ee2c335bcda23e6329c0a)
參考資料[编辑]
- ^ 存档副本 (PDF). [2015-03-02]. (原始内容存档 (PDF)于2020-11-25).
- ^ Robert G. Bartle, Return to the Riemann Integral (页面存档备份,存于互联网档案馆), The American Mathematical Monthly, vol. 103, 1996, pp. 625-632.
- ^ Appel, Walter. Mathematics for Physics and Physicists. Princeton University Press, 2007, p. 226.
外部链接[编辑]