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

因其基本思想首先由法國學者約瑟夫·傅立葉系統地提出,所以以其名字來命名以示紀念。在現代數學理論中,傅立葉積分轉換可以得到各種推廣,並在分析學中有廣泛應用,構成了調和分析這一數學領域。
經過傅立葉轉換生成的函數 稱作原函數 的傅立葉轉換,應用意義上稱作頻譜。在特定情況下,傅立葉轉換是可逆的,即將 通過逆轉換可以得到其原函數 。通常情況下, 是一個實函數,而 則是一個複數值函數,其函數值作為複數可同時表示振幅和相位。
定義
對於不同種類的函數,有一些不同版本的傅立葉轉換的定義。對於定義在歐幾里得空間 上的函數,可給出通常的連續傅立葉轉換;對於定義在 維環面 上的函數,或者說週期函數,就給出傅立葉級數。進行傅立葉轉換的函數的定義域可以推廣到拓撲群,如局部緊交換群。
若「傅立葉轉換」一詞不加任何限定語,則往往是指所謂「連續傅立葉轉換」,下文我們默認討論連續傅立葉轉換。其他的常見變種列於傅立葉轉換的其他變種一節。
對於一個多實變量的複函數 ,其傅立葉轉換的結果(記作 或 )最常見的定義方式是下面的傅立葉積分
稱為傅立葉積分轉換,其中粗體的 是 維實向量,點乘號 則表示歐幾里得內積。值得一提的是,不同的作者可能在定義中對積分號前的係數 和指數上的係數 進行調整,不同領域有不同的慣用約定[1],參見轉換參數的常見約定。
常可定義另一積分轉換 :
它稱作傅立葉積分逆轉換,滿足 。
若某函數的傅立葉積分不收斂,則這一版本的傅立葉轉換對其就無法定義;即便傅立葉積分收斂,所得的函數的積分逆轉換也可能不收斂;或者這兩個轉換非互逆關係。所以須了解什麼樣的函數是可轉換的,而且滿足不同假設的函數的傅立葉轉換可能性質不同。
另外,可行上述轉換的函數太少,如各種多項式函數都無法用上面的積分定義,這些情況對於信號頻域分析等直接應用而言也十分重要,從而有必要進行推廣,這就是下面幾小節的主題。
對於一個 上的連續函數 而言,要使其黎曼積分收斂,主要需限制其在趨向無窮遠時的衰減速度。為使前述傅立葉積分收斂,可以考慮使得 有界的連續函數 ,其中 。容易驗證這些函數在通常加法和數乘下構成一個向量空間,記作 。這些函數都是黎曼可積的[2],並且乘上模為1的指數函數所得函數仍在 中,也就是說其傅立葉積分也是收斂的。
上的傅立葉轉換已具備許多良好的性質。然而,由於未必有 ,所以 可能不具可逆性。一些分析表明, 趨向無窮遠時的衰減行為與 的連續性與可微性有關:為使 更快地衰減, 應具有更好的光滑性,反過來也一樣[2]。這啟發我們研究所謂速降函數,其任意階導數的衰減速度都快於任意負冪次函數,其構成的向量空間稱為速降函數空間,記作 。速降函數的傅立葉轉換仍是速降函數,那麼上面的積分逆轉換可以定義在整個 上。可以證明該積分確實是逆轉換,於是傅立葉積分轉換是 上的一個自同構。
上述積分轉換是基於黎曼積分的。然而相比之下,使用基於測度的勒貝格積分來定義傅立葉積分轉換有許多的優勢。下文提到傅立葉積分轉換時都默認是勒貝格積分意義上的。
上全體勒貝格可積的函數構成的向量空間記作 或此處省略地記為 ,其是Lp空間的一種。對于勒貝格可積函數 而言,由於 , 也是勒貝格可積的,也就是說傅立葉積分轉換在 上有定義。
一般來說可積函數 的傅立葉轉換 未必是可積的。但對於其中可積的 可以證明[3],積分逆轉換
對於 幾乎處處收斂於 。
對于勒貝格積分定義的傅立葉積分轉換而言,它仍是速降函數空間 上的自同構。更具體地說,這是一個連續線性等距自同構(可查閱連續線性算子以了解可能導出的其他性質;另,這裏所涉及的範數是L2範數)。
一個重要的事實是, 在平方可積函數空間 中稠密,而 是一個希爾伯特空間。這意味着 上的任一連續線性算子可以擴張到 上且保持連續性,且這樣的擴張唯一。也就是說,若可找到速降函數序列 收斂於一個平方可積函數 ,那麼 的傅立葉轉換可定義為序列 的極限,而不產生收斂性與對 選擇的依賴問題。
更進一步地,這個擴張還可以保持等距同構性質,在 上滿足這一性質意味着傅立葉轉換是一個么正算子,這就是普朗歇爾定理的內容。
這一轉換並不對於所有的平方可積函數都具有一個積分定義式,對於補集 中的函數則需要通過極限來定義。故不再稱其為積分轉換,而是稱為傅立葉-普朗歇爾轉換或簡單稱為傅立葉轉換或普朗歇爾轉換。
如前面所提到的,非零多項式函數不是可積或平方可積的,從而無法使用上面的方法來定義傅立葉轉換。這一點可以通過考慮緩增分佈來解決。
分佈(也稱為是一種廣義函數)是測試函數空間上的連續線性泛函(即,該空間的連續對偶空間的成員)。而緩增分佈則是以速降函數為測試函數的情況。[註 1]
緩增分佈 的傅立葉轉換 定義為[5]
也就是說,若記 上的傅立葉轉換為 、 的連續對偶空間為 ,則 的共軛算子 在 上的限制就是緩增分佈的傅立葉轉換。
這個轉換也是可逆的,並且在某種意義上是 的擴張,也就是說可以用它來轉換的函數比 中的更多。為說明這一點,下面在一維情況下舉些例子。
對於實軸上的速降函數 ,其有這樣唯一一個由積分定義的連續線性泛函 與之對應(這一點實際上只需局部可積函數):
現在對其做傅立葉轉換,得到
其中第二個等號源於 的如下性質(由富比尼定理易證):
由此可看出線性泛函 以前述的方式唯一對應於函數 (唯一性在這樣意義上理解:對應相同線性泛函的函數幾乎處處相等)。在這個意義上它對於 是與 的定義相重合的。
然而並非所有連續線性泛函都有這樣的積分表示,如所謂求值泛函。0處的求值泛函作用於每個函數時,都給出該函數在0處的值:
它正是所謂狄拉克δ函數,其傅立葉轉換滿足
而這正是常值函數 如前述方式對應的線性泛函 。也就是說在這個意義上,狄拉克δ「函數」的傅立葉轉換是 。從頻譜意義上理解,這意味着常值函數的頻譜集中在零頻率處(或者說週期無窮大) 的情況。
如前面提到的,傅立葉積分轉換中有可調整的參數,對它們的調整不會造成轉換性質的顯著變化,而僅僅是對轉換結果的定義域或值域進行了放縮。通過顯式地引入參數 ,傅立葉積分轉換的通式可以寫為[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)的推廣,因為積分其實是一種極限形式的求和算子而已。對於週期函數,其傅立葉級數是存在的:
其中為復振幅。對於實值函數,函數的傅立葉級數可以寫成:
其中an和bn是實頻率分量的振幅。
傅立葉分析最初是研究週期性現象,即傅立葉級數的,後來通過傅立葉轉換將其推廣到了非週期性現象。理解這種推廣過程的一種方式是將非週期性現象視為週期性現象的一個特例,即其週期為無限長。
離散傅立葉轉換是離散時間傅立葉轉換(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 | 狄拉克梳狀函數——有助於解釋或理解從連續到離散時間的轉變. |
時域信號 | 傅立葉轉換 單一,普通頻率 |
傅立葉轉換 么正,角頻率 |
傅立葉轉換 非么正,角頻率 | |
---|---|---|---|---|
400 | |
|
| |
401 | ||||
402 |
- 註釋
400: 變量、、、、、為實數。二重積分是對整個平面積分。
401: 這兩個函數都是高斯函數,而且可能不具有單位體積。
402: 此圓有單位半徑,如果把 認作階梯函數 ; Airy分佈用 (一階第一類貝索函數)表達。(Stein & Weiss 1971,Thm. IV.3.3)
時域信號 | 角頻率表示的 傅立葉轉換 |
弧頻率表示的 傅立葉轉換 |
註釋 |
---|---|---|---|
此球有單位半徑;fr是頻率矢量的量值{fx,fy,fz}. |
參見
參考資料
外部連結
Wikiwand - on
Seamless Wikipedia browsing. On steroids.