延時函式的作用_筆記 | δ函式
技術標籤:延時函式的作用
本文旨在總結δ函式相關的定義/性質,持續補充ing……
定義 I
在最經典的表述方法下,δ函式被定義為:
且
這樣定義的δ函式是最簡潔且最符合物理直覺的一種方法,它很自然地讓人們聯想到概率分佈、點源以及脈衝。譬如,在三維歐氏空間中,一個點電荷分佈可以被描述為
;在電訊號中,一個理想情況下的脈衝訊號可以被描述為 。同時,δ函式作為一個廣義函式,其本身的性質由於極限性的緣故變得十分獨特,如果我們順著定義I來研究它,將得到一些有趣的數學性質。性質 I
1.0 正交性
[證]:由定義,顯然。
此條性質將被運用於計算座標的本徵函式(δ函式)的正交歸一性上。
它還給出了1.0*:若存在兩個函式
與 滿足 ,則有1.1 篩選性
[證]:由於δ函式本身的極限性質,顯然有
在很小區間
中, 的值可以被 代替。於是原積分
證畢#
非常直觀地,δ函式的這個性質使它具備了對於任意函式的篩選功能,此性質同時也是其他性質的基礎。
1.2 奇偶性
[證]:設函式
,函式 ,考慮以下積分:用兩種不同的方式計算此積分,並利用性質1.1,有
那麼顯然
證畢#
此條性質表明δ函式是一個偶函式,這在一些涉及它的積分運算中非常有用。
1.3 伸縮性
[證]:考慮
,以及 ,稍作變換並聯立,有
由於δ函式非負且為偶函式,而被積函式應恆等,故顯然:
證畢#
此條性質也可看做奇偶性的推廣(a=1)。
1.4 自身篩選性
本條性質是根據篩選性應用到δ函式自身而自然得出的。
它可以具體地寫為:
於是,還有性質1.4*:
1.5 延時性
[證]:考慮δ函式與
的 卷積:這直觀地給出了延時的操作。
證畢#
而1.5*給出兩個δ函式的卷積:
1.6 點源
δ函式滿足一類最簡單的泊松方程:
由此得出一個向量分析的恆等式
定義 II
在歷史上,δ函式並不是作為一個廣義函式被首先提出,而是作為在解決傅立葉變換問題時自然引出的一個輔助函式被提出。傅立葉在《熱分析理論》(Théorie analytique de la chaleur)一書中,考慮了以下積分:
此積分用現代傅立葉變換的指數語言來描述,即為:
柯西后來指出,若將積分的計算順序改變(不影響結果),那麼將得到另外一種形式:
在這裡能夠清晰地看到,
作為一個特殊的函式獨立出來,它正是起到 「篩選」的作用(算上歸一化常數)。那麼,這個函式可以被定義為:有趣的是,若我們根據定義I計算δ函式的傅立葉變換(它顯然滿足絕對可積條件,而同時它又是和Dirichlet條件是自洽的,這在下文會詳細討論),那麼有:
顯然,當
時, ,即δ函式的傅立葉變換為常函式1。於是,可以寫出反傅立葉變換:
這和我們剛才得出的結論是完全等價/自洽的。上式便是δ函式的第二種定義。
性質 II
根據定義II,我們有能力繼續探討δ函式的其他三大性質。
2.0 輔助函式/初生δ函式
δ函式定義I的兩大特徵給予我們一個靈感:是否存在其他的一些經典函式,它們雖然不作為廣義函式,但能夠在某些極限情況下自然過渡到δ函式?
在同一定義域
上,我們取一個由引數 描述的函式 ,它滿足以下兩條類δ函式性質:i)
ii)
以及過渡性質:
iii)
那麼,我們有充足的理由相信:
基於此,我們可以得到大量δ函式的輔助函式,以下僅作為結論給出(均易證):
(sinc函式)
(高斯核/熱核,它由無限長細杆的熱傳導問題得出)
(泊松核,它由半平面拉普拉斯方程問題得出)
(此函式在極限情況下每一點都趨於δ函式)
圖略。 ( ,此函式的定義域為 ,因為這個定義域上它已經是歸一化的了)
2.1 Dirichlet核
Dirichlet核將作為一個重要的δ函式的輔助函式,用來證明Dirichlet定理的充分性。
為了引入Dirichlet核,我們考慮以下求和:
利用三角恆等變形:
裂項計算:
那麼
兩邊同時在
積分,由於餘弦函式是偶函式,左邊求和符號內積分為0,故有:考慮湊成歸一化形式,於是令
,它被稱為 Dirichlet核心(Dirichlet kernel),與 類似,它滿足:i)
ii)
故
為δ函式的一個輔助函式, 。我們還可以考慮另一個Dirichlet核,Diirichlet倍核,它是
顯然它在非對稱區間
上是歸一化的,它的極限同樣是δ函式。利用這兩個Dirichlet核,我們嘗試證明Dirichlet定理的充分性。在傅立葉分析中,Dirichlet定理被表述為:
若
i)在 內除有限點外有定義且是單值的;
ii)在 外是週期為 的周期函式;
iii)在 內分段光滑,即它和它的一階導數 在 內分段連續, 則 的傅立葉級數 收斂於
i) ,若 為連續點;
ii) ,若 為第一類間斷點。
我們需要考慮的是傅立葉級數收斂性在連續點和第一類間斷點都是符合Dirichlet定理的,一個非常好的思路是將級數以部分和的形式帶入計算,最後將求和上限的引數取極限到正無窮,可以想象,取極限的過程正是積分內δ函式的輔助函式過渡為δ函式的過程。
[證]:下面給出一種簡略的證法。
首先給出傅立葉級數的部分和:
係數分別為:
; ;帶入後並應用和差角公式與Dirichlet核心,有
i)連續點
對於連續點,可以自然地在
處直接取 ,故有ii)第一類間斷點
通過在間斷點兩側拆分積分,我們自然地引入了Dirichlet倍核,於是可以方便地在間斷點處取極限:
證畢#
2.2 δ函式與連續譜本徵函式
2.2.1 座標算符的連續譜本徵函式
座標的本徵方程:
注意到性質1.0:
,顯然 滿足本徵方程,即同時,本徵函式δ函式滿足正交歸一性,即
且滿足完備性,即任意一個連續函式可按照座標算符的本徵函式集展開:
在座標表象中,幾個力學量的矩陣表示為:
2.2.2 動量算符的連續譜本徵函式
動量的本徵方程:
和座標算符一樣,它也滿足正交歸一性:
若基於動量的一般本徵函式
,根據正交歸一性可以得出歸一化常數為對於動量本徵函式的完備性,考慮
的傅立葉變換:帶入
,有按照動量算符的本徵函式集展開的 :而對於δ函式,它的展開即為:
對於動量表象下的力學量,只需要將座標表象下的δ函式內的座標換為動量,將δ函式外的座標換為
。定義 III
δ函式被定義為階梯函式的導函式。
階梯函式:
從更廣義的角度來看,對一個非連續函式在間斷點處取微分,都可以得到類δ函式(區域性相似)。
考慮積分:
對它進行分部積分操作:
由被積函式處處相等可得到上述結論。
性質 III
由定義III,δ函式在半經典熱統裡有著重要的意義,它在離散的求和轉化為連續的積分時通過對階梯函式求導而出現(它與能級有關)。
在熱統中,
是巨集觀層面上對“無窮小”量的描述,但是在微觀層面 量級上,能級非常稠密, 實際上包含了很多層能級。因此在求和的過程中,完全可以取相空間上的一個狀態點 來用積分替換狀態求和。在引入態密度 時:利用這一點可以去嘗試求一些簡單的態密度函式。
例如經典情況下:
經典情況下多粒子態密度函式為:
其中
而在非極端相對論情況下(
),我們需要證明δ函式的另一個性質。1.6 複合δ函式
對於一些只有單根的
,若記它的根為 ,滿足:i)
ii)
則
[證]:很顯然,只有在
時,即取那些單根 時, 才不為0,那麼可以將其展開為對於展開係數
,考慮積分利用微分中值定理,並令
,有:又左式可以寫為:
再做換元
,有:i)若 ,則
那麼顯然,
ii)若 ,則
那麼,更換積分上下限,有
綜上,展開係數
,在乘上 並求和過程中,等價於 。證畢#
根據這條性質,我們有:
基於此,給出非極端相對論情況下的單粒子態密度函式:
定義 IV
分佈/測度
待補充。