拉普拉斯變換特性的預備知識讓我們能以下面的方式簡潔地計算這個狄利克雷積分:
-
其中 是函數 的拉普拉斯變換。運用歐拉公式 ,然後積分,使得分母為實數,並取虛部,我們發現該拉普拉斯變換是拉普拉斯變量 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。
-
- ^ 存档副本 (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.