傅立葉轉換

線性積分轉換

傅里葉變換(法語: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]

來源 編輯

外部連結 編輯