這個積分不但收斂,而且可以求出封閉結果。利用Laplace變換,注意到

[公式] 於是就有

[公式]


既然已有人用留數算了這個積分,那我就來個更「炫技」的推廣

計算積分:

[公式]

[公式]

其中 [公式]

[公式] ,構造扇形圍道:

由於圍道內無奇點,所以:

[公式]

而:

  • [公式]
  • [公式]

[公式] ,則 [公式] 式變為:

[公式]

即: [公式]

所以:

[公式]

[公式]

[公式] 時,

[公式]

便是著名的菲涅爾(Fresnel)積分。


另一種解法參見 @一葦之所如 大佬的文章:

一葦之所如:積分隨想?

zhuanlan.zhihu.com圖標


這是菲涅耳(Fresnel)積分。我來個「炫技」的求解,使用留數定理。

[公式] ,規定路徑如下:

留數路徑

這裡 [公式] 與我們待求的積分密切相關。

當半徑 [公式] 時,由約當(Jordan)引理知 [公式] .

第三段傾角為 [公式] ,積分為

[公式]

[公式]

其中泊松(Poisson)積分的推理如下:

[公式]

[公式]

[公式] (直角坐標化為極坐標)

[公式]

[公式]

那麼

[公式]

由留數定理知

[公式]

[公式]

[公式] ,順便得到了 [公式] .


這個叫Fresnel積分。我看到的書上的做法是一個看似震撼我媽但是其實是有背景(參見予一人大佬的回答)的做法。

首先是常規操作,令 [公式] ,則 [公式]

我們知道 [公式] 。對此做點變數替換得到 [公式] 。從而有

[公式]

(至於為什麼積分號可以交換。。。懶得寫了2333)


引理: [公式]

證明:根據Gamma函數的定義[1],有:

[公式]

現在考慮扇形圍道積分:

[公式]

其中:

[公式]

現在設 [公式][公式] ,因此當 [公式] 時有 [公式] ,再根據柯西積分定理可知 [公式] ,所以對(1)式取 [公式] 的極限,得:

[公式]

再由引理可得結論:

[公式]

其中當 [公式] 時,可得 @Aries的結論:

[公式]

再令n=2,得原題答案:

[公式]

習題

證明: [公式]

參考

  1. ^Gamma函數的那些事兒(1)——定義 - 知乎 https://zhuanlan.zhihu.com/p/114041258


[公式]


這是經典的【菲涅爾積分】,前面大佬們的回答已經非常詳細了,在這裡我給出一個大多數人能看懂的簡便方法。

菲涅爾積分的計算

這個方法的核心,是利用歐拉公式,將三角函數轉化為指數函數,然後再利用高斯積分(也稱概率積分)的結論即可快速得出答案,這應該是最快的方法之一。

當然,至於高斯積分本身的計算,這又是另一個問題了,可以使用廣義二重積分求解,也可以採用含參積分。前者是考研黨應該掌握的方法。

高斯積分的計算

可以輕易證明 [公式] 收斂

事先知道 [公式]

此時考慮 [公式] ,構建以原點為中心,半徑為 [公式] 幅角以逆時針方向增加 [公式] 弧度的扇形圍道,

分別有 [公式] , [公式][公式]

[公式]

又由留數定理

[公式]

用Jordan引理可知

[公式]

此時令 [公式] ,於是

[公式]

整理一下便是

[公式]

分離虛部即為所求。

[公式]

更一般的,如果考慮 [公式] ,構建一個如上幅角為 [公式] 弧度的扇形圍道,則可以得到

[公式]

其中 [公式] 為Euler Gamma函數,定義為

[公式]


雖然此有點循環論證的意味,但我還是把這個解法搬過來吧

考慮函數 [公式] ,有奇點 [公式]

構建以0點為中心,四個頂點坐標分別為 [公式] , [公式] , [公式] , [公式] 的平行四邊形圍道,有 [公式]

[公式]

用留數定理

[公式]

[公式] ,於是有

[公式]

[公式]

也就是

[公式]


這是菲涅爾(Fresnel)積分,我知道有一個解答,方法雖然寫起來有點繁瑣,但是一般知道一點積分常識的都會用


菲涅爾積分,直接搜就可以了


推薦閱讀:
相關文章