傅立葉轉換

線性積分轉換

傅立葉轉換(法語:Transformation de Fourier,英語:Fourier transform,縮寫:FT)是一種線性轉換,通常定義為一種積分轉換。其基本思想是一個函數可以用(可數或不可數,可數的情況對應於傅立葉級數)無窮多個週期函數的線性組合來逼近,從而這些組合係數在保有原函數的幾乎全部訊息的同時,還直接地反映了該函數的「頻域特徵」。

傅立葉轉換將函數的時域(紅色)與頻域(藍色)相關聯。頻譜中的不同成分頻率在頻域中以峰值形式表示。

因其基本思想首先由法國學者約瑟夫·傅立葉系統地提出,所以以其名字來命名以示紀念。在現代數學理論中,傅立葉積分轉換可以得到各種推廣,並在分析學中有廣泛應用,構成了調和分析這一數學領域。

經過傅立葉轉換生成的函數 稱作原函數 的傅立葉轉換,應用意義上稱作頻譜。在特定情況下,傅立葉轉換是可逆的,即將 通過逆轉換可以得到其原函數 。通常情況下, 是一個實函數,而 則是一個複數值函數,其函數值作為複數可同時表示振幅相位

定義 編輯

對於不同種類的函數,有一些不同版本的傅立葉轉換的定義。對於定義在歐幾里得空間   上的函數,可給出通常的連續傅立葉轉換;對於定義在  環面   上的函數,或者說週期函數,就給出傅立葉級數。進行傅立葉轉換的函數的定義域可以推廣到拓撲群,如局部緊交換群

若「傅立葉轉換」一詞不加任何限定語,則往往是指所謂「連續傅立葉轉換」,下文我們默認討論連續傅立葉轉換。其他的常見變種列於傅立葉轉換的其他變種一節。

傅立葉積分轉換 編輯

對於一個多實變量的複函數   ,其傅立葉轉換的結果(記作    )最廣為人知的定義方式是下面的傅立葉積分

 

稱為傅立葉積分轉換。值得一提的是,不同的作者可能在定義中對積分號前的係數   和指數上的係數   進行調整,不同領域有不同的慣用約定[1],參見轉換參數的常見約定

許多情況下,還可以定義另一個積分轉換  

 

且如記號所暗示的那樣,它稱作傅立葉積分逆轉換,也就是說滿足  

以上的定義並不總是有效。

比如,若某函數的傅立葉積分不收斂,則這一版本的傅立葉轉換對其就無法定義;即便傅立葉積分收斂,所得的函數的積分逆轉換也可能不收斂;或者這兩個轉換不是上面所希望的互逆關係。所以須了解對於什麼樣的函數可進行傅立葉轉換,並且滿足不同假定的函數的傅立葉轉換可能有不同性質。

另外,可以進行上述積分轉換的函數太少,如   這樣的常值函數或各種多項式函數都無法使用上面的積分定義,這些情況對於信號頻域分析等直接應用而言也是十分重要的,因而希望推廣其定義。這就是下面幾個小節的主題。

收斂性 編輯

對於一個   上的連續函數   而言,要使其黎曼積分收斂,主要需限制其在趨向無窮遠時的衰減速度。為使前述傅立葉積分收斂,可以考慮使得   有界的連續函數   ,其中   。容易驗證這些函數在通常加法和數乘下構成一個向量空間,記作   。這些函數都是黎曼可積[2],並且乘上模為1的指數函數所得函數仍在   中,也就是說其傅立葉積分也是收斂的。

速降函數 編輯

  上的傅立葉轉換已具備許多良好的性質。然而,由於未必有   ,所以   可能不具可逆性。一些分析表明,   趨向無窮遠時的衰減行為與   的連續性與可微性有關:為使   更快地衰減,   應具有更好的光滑性,反過來也一樣[2]。這啟發我們研究所謂速降函數,其任意階導數的衰減速度都快於任意負冪次函數,其構成的向量空間稱為速降函數空間,記作   。速降函數的傅立葉轉換仍是速降函數,那麼上面的積分逆轉換可以定義在整個   上。可以證明該積分確實是逆轉換,於是傅立葉積分轉換是   上的一個自同構

勒貝格積分與勒貝格可積函數 編輯

上述積分轉換是基於黎曼積分的。然而相比之下,使用基於測度勒貝格積分來定義傅立葉積分轉換有許多的優勢。下文提到傅立葉積分轉換時都默認是勒貝格積分意義上的。

  上全體勒貝格可積的函數構成的向量空間記作   或此處省略地記為   ,其是Lp空間的一種。對于勒貝格可積函數   而言,由於    也是勒貝格可積的,也就是說傅立葉積分轉換在   上有定義。

一般來說可積函數   的傅立葉轉換   未必是可積的。但對於其中可積的   可以證明[3],積分逆轉換

 

對於   幾乎處處收斂於  

平方可積函數 編輯

對于勒貝格積分定義的傅立葉積分轉換而言,它仍是速降函數空間   上的自同構。更具體地說,這是一個連續線性等距自同構(可查閱連續線性算子以了解可能導出的其他性質;另,這裡所涉及的範數L2範數)。

一個重要的事實是,  平方可積函數空間  稠密,而   是一個希爾伯特空間。這意味著   上的任一連續線性算子可以擴張  上且保持連續性,且這樣的擴張唯一。也就是說,若可找到速降函數序列   收斂於一個平方可積函數   ,那麼   的傅立葉轉換可定義為序列  極限,而不產生收斂性與對   選擇的依賴問題。

更進一步地,這個擴張還可以保持等距同構性質,在   上滿足這一性質意味著傅立葉轉換是一個么正算子,這就是普朗歇爾定理的內容。

這一轉換並不對於所有的平方可積函數都具有一個積分定義式,對於補集   中的函數則需要通過極限來定義。故不再稱其為積分轉換,而是稱為傅立葉-普朗歇爾轉換或簡單稱為傅立葉轉換普朗歇爾轉換

緩增分布 編輯

如前面所提到的,非零多項式函數不是可積或平方可積的,從而無法使用上面的方法來定義傅立葉轉換。這一點可以通過考慮緩增分布英語Tempered distribution來解決。

分布(也稱為是一種廣義函數)是測試函數空間上的連續線性泛函(即,該空間的連續對偶空間的成員)。而緩增分布則是以速降函數為測試函數的情況。[註 1]而緩增分布則是以速降函數為測試函數的情況。

緩增分布   的傅立葉轉換   定義為[5]

 

也就是說,若記   上的傅立葉轉換為    的連續對偶空間為   ,則  共軛算子    上的限制就是緩增分布的傅立葉轉換。

這個轉換也是可逆的,並且在某種意義上  的擴張,也就是說可以用它來轉換的函數比   中的更多。為說明這一點,下面在一維情況下舉些例子。

例子 編輯

對於速降函數   ,其有這樣唯一一個由積分定義的連續線性泛函   與之對應(這一點實際上只需局部可積函數):

 

現在對其做傅立葉轉換,得到

 

其中第二個等號源於   的如下性質(由富比尼定理易證):

 

由此可看出線性泛函   以前述的方式唯一對應於函數   (唯一性在這樣意義上理解:對應相同線性泛函的函數幾乎處處相等)。在這個意義上它對於   是與   的定義相重合的。

然而並非所有連續線性泛函都有這樣的積分表示,如所謂求值泛函。0處的求值泛函作用於每個函數時,都給出該函數在0處的值:

 

它正是所謂狄拉克δ函數,其傅立葉轉換滿足

 

而這正是常值函數   如前述方式對應的線性泛函   。也就是說在這個意義上,狄拉克δ「函數」的傅立葉轉換是   。從頻譜意義上理解,這意味著常值函數的頻譜集中在零頻率處(或者說週期無窮大)   的情況。

轉換參數的常見約定 編輯

如前面提到的,傅立葉積分轉換中有可調整的參數,對它們的調整不會造成轉換性質的顯著變化,而僅僅是對轉換結果的定義域或值域進行了放縮。通過顯式地引入參數   ,傅立葉積分轉換的通式可以寫為[1]

 

相應的滿足   的逆轉換定義為

 

特殊參數選擇的特性
編號 選擇 特性
1   轉換與逆轉換有相同的前置因子,且轉換是么正
2   正轉換沒有前置因子
3   逆轉換沒有前置因子
4   轉換的自變數   對應於角頻率
5   轉換的自變數   對應於頻率
6    貢獻正頻率部分的譜
7    貢獻正頻率部分的譜

一些選擇組合因同時滿足上面多個特性或在特定領域中自然出現而變得常見,列在下表。

一些常見選擇[1]
編號 a b 滿足特性 場景
1 0 1 1、4、7 現代物理
2 1 -1 2、4、6 純數學、系統工程
3 -1 1 3、4、7 傳統物理
4 0   1、2、3、5、6 信號處理

本節中使用的約定是  

應用 編輯

傅立葉轉換在醫學數據科學物理學聲學光學結構力學量子力學數論組合數學機率論統計學信號處理密碼學大氣科學海洋學通訊金融等領域都有著廣泛的應用。

數學 編輯

  • 傅立葉轉換可用於將索伯列夫空間   上的範數從   的情況推廣至為   的情況。
  • 一個隨機變數的特徵函數機率密度函數的傅立葉轉換   ,儘管技術上往往使用傅立葉-斯蒂爾切斯轉換的形式。

物理學 編輯

在處理具有波動方程式背景的函數時,頻域的訊息處理起來通常更為方便,且信號的濾波等頻域操作在器件方面有簡單的實現。

除了力學振動、振盪電路等有明顯波動方程式背景的問題外,也有一些其他情況使得傅立葉轉換在理論中自然地出現,如:

基本性質 編輯

下面性質的更直觀的寫法可參見常用傅立葉轉換表

線性性質 編輯

傅立葉轉換是線性映射。也就是說對於   也存在  

平移性質 編輯

可定義函數間的映射   滿足

 

稱為平移算子。其可以推廣到緩增分布上,定義為共軛算子  ,也就是說對於

 

其中省略了表示平移算子作用於函數所需的括號。下文不再區分函數與分布的平移,採用相同記號。

傅立葉轉換與平移算子滿足如下關係:

 

反過來,對於函數   ,也有  

也就是說平移與相移相關聯。

放縮性質 編輯

 

  的情況即給出所謂反射性質

導數關係 編輯

傅立葉轉換與導數算子滿足如下關係:

 

其中   是高階導數,多元情況則一般化為多重指標

反過來,對於函數   ,也有  

也就是說求導在乘上頻率是相關聯的。

這裡的導數算子也可以是緩增分布的導數算子,同樣由共軛算子定義為  

摺積定理 編輯

若函數   有傅立葉轉換,且存在摺積   ,則該摺積的傅立葉轉換即  

也可以推廣地定義分布   與測試函數   的摺積,這時同樣有  

互相關定理 編輯

實虛部與奇偶性 編輯

帕塞瓦爾定理 編輯

  上的傅立葉轉換是等距映射。或者說,若函數   平方可積,則 

黎曼-勒貝格定理 編輯

固有函數 編輯

傅立葉轉換的其他變種 編輯

傅立葉級數 編輯

連續形式的傅立葉轉換其實是傅立葉級數(Fourier series)的推廣,因為積分其實是一種極限形式的求和算子而已。對於週期函數,其傅立葉級數是存在的:

 

其中 為復振幅。對於實值函數,函數的傅立葉級數可以寫成:

 

其中anbn頻率分量的振幅。

傅立葉分析最初是研究週期性現象,即傅立葉級數的,後來通過傅立葉轉換將其推廣到了非週期性現象。理解這種推廣過程的一種方式是將非週期性現象視為週期性現象的一個特例,即其週期為無限長。

離散時間傅立葉轉換 編輯

離散傅立葉轉換是離散時間傅立葉轉換(DTFT)的特例(有時作為後者的近似)。DTFT在時域上離散,在頻域上則是週期的。DTFT可以被看作是傅立葉級數的逆轉換。

離散傅立葉轉換 編輯

為了在科學計算和數位訊號處理等領域使用計算機進行傅立葉轉換,必須將函數xn定義在離散點而非連續域內,且須滿足有限性週期性條件。這種情況下,使用離散傅立葉轉換,將函數xn表示為下面的求和形式:

 

其中 是傅立葉振幅。直接使用這個公式計算的計算複雜度 ,而快速傅立葉轉換(FFT)可以將複雜度改進為 。計算複雜度的降低以及數字電路計算能力的發展使得DFT成為在信號處理領域十分實用且重要的方法。

在阿貝爾群上的統一描述 編輯

以上的傅立葉轉換都可以被統一描述為任意局部緊緻阿貝爾群上的傅立葉轉換。這一問題屬於調和分析的範疇。在調和分析中,一個轉換從一個群轉換到它的對偶群。此外,將傅立葉轉換與摺積相聯繫的摺積定理在調和分析中也有類似的結論。傅立葉轉換的廣義理論基礎參見龐特里亞金對偶性中的介紹。

時頻分析轉換 編輯

小波轉換Chirplet轉換分數傅立葉轉換的都是為了得到時間信號的頻率訊息。同時解析頻率和時間的能力在數學上受不確定性原理的限制。

傅立葉轉換家族 編輯

下表列出了傅立葉轉換家族的成員。容易發現,函數在時(頻)域的離散對應於其像函數在頻(時)域的週期性。反之連續則意味著在對應域的信號的非週期性。下表給出詳細的情形:

轉換 時間 頻率
連續傅立葉轉換 連續,非週期性 連續,非週期性
傅立葉級數 連續,週期性 離散,非週期性
離散時間傅立葉轉換 離散,非週期性 連續,週期性
離散傅立葉轉換 離散,週期性 離散,週期性

傅立葉-斯蒂爾傑斯轉換 編輯

常用傅立葉轉換表 編輯

下面的表記錄了一些封閉形式的傅立葉轉換。對於函數 ,   ,它們的傅立葉轉換分別表示為 ,   。只包含了三種最常見的形式。注意條目105給出了一個函數的傅立葉轉換與其原函數,這可以看作是傅立葉轉換及其逆轉換的關係。

函數關係 編輯

下表列出的常用的傅立葉轉換對可以在Erdélyi (1954)或Kammler (2000,appendix)中找到。

函數 傅立葉轉換
么正,普通的頻率
傅立葉轉換
么正,角頻率
傅立葉轉換
非么正,角頻率
注釋
   

 

 

 

 

 

基本定義
101         線性性質
102         時域平移
103         頻域平移,轉換102的頻域對應
104         在時域中定標。如果 值較大,則 會收縮到原點附近,而 會擴散並變得扁平。當 趨向無窮時, 成為狄拉克δ函數
105         傅立葉轉換的二元性性質。這裡 的計算需要運用與傅立葉轉換那一列同樣的方法。通過交換變量    得到。
106         傅立葉轉換的微分性質
107         轉換106的頻域對應
108         記號 表示  的摺積—這就是摺積定理
109         轉換108的頻域對應。
110  是實變函數       埃爾米特對稱。 表示複共軛
111  是實偶函數  ,   都是實偶函數
112  是實奇函數  ,   都是奇函數
113         複共軛,110的一般化

平方可積函數 編輯

時域信號 角頻率表示的
傅立葉轉換
弧頻率表示的
傅立葉轉換
注釋
 

 
 

 
 

 
10       矩形脈衝和歸一化的sinc函數
11       轉換10的頻域對應。矩形函數是理想的低通濾波器,sinc函數是這類濾波器對反因果衝擊的響應。
12       tri三角形函數
13       轉換12的頻域對應
14       高斯函數 的傅立葉轉換是其本身;只有當 時,該函數可積的
15       光學領域應用較多
16      
17      
18       a>0
19       轉換本身就是一個公式
20       J0(t)0階第一類貝索函數
21       上一個轉換的推廣形式; Tn (t)第一類柴比雪夫多項式
22    

   

 

   

Un (t)第二類柴比雪夫多項式

分布 編輯

時域信號 角頻率表示的
傅立葉轉換
弧頻率表示的
傅立葉轉換
注釋
 

 
 

 
 

 
基本定義
23        代表狄拉克δ函數分布.這個轉換展示了狄拉克δ函數的重要性:該函數是常函數的傅立葉轉換
24       轉換23的頻域對應
25       由轉換103和23得到
26       由轉換101和25得到,應用了歐拉公式 
27       由轉換101和25得到
28       這裡,  是一個自然數.  是狄拉克δ函數分布的 階微分。這個轉換是根據轉換107和24得到的。將此轉換與101結合使用,我們可以轉換所有多項式函數。
29       此處 符號函數;注意此轉換與轉換107和24是一致的.
30       轉換29的推廣
31       轉換29的頻域對應
32       此處 單位階躍函數;此轉換根據轉換101和31得到.
33        單位階躍函數,且 .
34       狄拉克梳狀函數英語Dirac comb——有助於解釋或理解從連續到離散時間的轉變.

二元函數 編輯

時域信號 傅立葉轉換
單一,普通頻率
傅立葉轉換
么正,角頻率
傅立葉轉換
非么正,角頻率
400    
 
 
 
 
 
401        
402        
注釋

400: 變量      為實數。二重積分是對整個平面積分。

401: 這兩個函數都是高斯函數,而且可能不具有單位體積。

402: 此圓有單位半徑,如果把  認作階梯函數  ; Airy分布用  一階第一類貝索函數)表達。(Stein & Weiss 1971,Thm. IV.3.3)

三元函數 編輯

時域信號 角頻率表示的
傅立葉轉換
弧頻率表示的
傅立葉轉換
注釋
      此球有單位半徑;fr是頻率矢量的量值{fx,fy,fz}.

參見 編輯

參考資料 編輯

引用 編輯

  1. ^ 1.0 1.1 1.2 FourierParameters - Wolfram Language Documentation. Wolfram Language Documentation. 
  2. ^ 2.0 2.1 Stein, Elias M.; Shakarchi, Rami; Stein, Elias M. Fourier analysis: An introduction. Princeton lectures in analysis / Elias M. Stein & Rami Shakarchi. Princeton Oxford: Princeton University Press. 2003: 132–134. ISBN 978-0-691-11384-5. 
  3. ^ Stein, Elias M.; Shakarchi, Rami. Real Analysis: Measure theory, Integration, and Hilbert spaces. Princeton lectures in analysis. Princeton University Press: Princeton university press. 2005: 87–87. ISBN 978-0-691-11386-9. 
  4. ^ 張, 恭慶. 泛函分析讲义(上册) 2021年5月第1次印刷. 北京: 北京大學出版社. 2021: 284–284. ISBN 978-7-301-00489-0. 
  5. ^ Stein, Elias M.; Shakarchi, Rami. Functional analysis: introduction to further topics in analysis. Princeton lectures in analysis. Princeton: Princeton university press. 2011: 108–108. ISBN 978-0-691-11387-6. 
  6. ^ Weinberg, Steven. The quantum theory of fields 1. Cambridge: Cambridge University. 2005-05-09. ISBN 978-0-521-67053-1. 

注釋 編輯

  1. ^ 測試函數空間所要求的收斂性與前文提及的由範數誘導的收斂性都不同,實際上作為測試函數空間的   的這種收斂性無法由任何範數誘導,它構成一個可數範數空間[4]

來源 編輯

外部連結 編輯