對於不同種類的函數,有一些不同版本的傅里葉變換的定義。對於定義在歐幾里得空間 上的函數,可給出通常的連續傅里葉變換;對於定義在 維環面 上的函數,或者說周期函數,就給出傅里葉級數。進行傅里葉變換的函數的定義域可以推廣到拓撲群,如局部緊交換群。
若「傅里葉變換」一詞不加任何限定語,則往往是指所謂「連續傅里葉變換」,下文我們默認討論連續傅里葉變換。其他的常見變種列於傅里葉變換的其他變種一節。
對於實軸上的速降函數 ,其有這樣唯一一個由積分定義的連續線性泛函 與之對應(這一點實際上只需局部可積函數):
現在對其做傅里葉變換,得到
其中第二個等號源於 的如下性質(由富比尼定理易證):
由此可看出線性泛函 以前述的方式唯一對應於函數 (唯一性在這樣意義上理解:對應相同線性泛函的函數幾乎處處相等)。在這個意義上它對於 是與 的定義相重合的。
然而並非所有連續線性泛函都有這樣的積分表示,如所謂求值泛函。0處的求值泛函作用於每個函數時,都給出該函數在0處的值:
它正是所謂狄拉克δ函數,其傅里葉變換滿足
而這正是常值函數 如前述方式對應的線性泛函 。也就是說在這個意義上,狄拉克δ「函數」的傅里葉變換是 。從頻譜意義上理解,這意味着常值函數的頻譜集中在零頻率處(或者說周期無窮大) 的情況。
如前面提到的,傅里葉積分變換中有可調整的參數,對它們的調整不會造成變換性質的顯著變化,而僅僅是對變換結果的定義域或值域進行了放縮。通過顯式地引入參數 ,傅里葉積分變換的通式可以寫為[1]
相應的滿足 的逆變換定義為
一些選擇組合因同時滿足上面多個特性或在特定領域中自然出現而變得常見,列在下表。
More information ...
一些常見選擇[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
|
信號處理
|
Close
本節中使用的約定是 。
- 傅里葉變換可用於將索伯列夫空間 上的範數從 的情況推廣至為 的情況。
- 一個隨機變量的特徵函數是機率密度函數的傅里葉變換 ,儘管技術上往往使用傅里葉-斯蒂爾切斯變換的形式。
在處理具有波動方程背景的函數時,頻域的信息處理起來通常更為方便,且信號的濾波等頻域操作在器件方面有簡單的實現。
除了力學振動、振盪電路等有明顯波動方程背景的問題外,也有一些其他情況使得傅里葉變換在理論中自然地出現,如:
傅里葉變換是線性映射。也就是說對於 也存在
可定義函數間的映射 滿足
稱為平移算子。其可以推廣到緩增分布上,定義為共軛算子 ,也就是說對於
其中省略了表示平移算子作用於函數所需的括號。下文不再區分函數與分布的平移,採用相同記號。
傅里葉變換與平移算子滿足如下關係:
反過來,對於函數 ,也有 。
也就是說平移與相移相關聯。
的情況即給出所謂反射性質。
傅里葉變換與導數算子滿足如下關係:
其中 是高階導數,多元情況則一般化為多重指標。
反過來,對於函數 ,也有 。
也就是說求導在乘上頻率是相關聯的。
這裡的導數算子也可以是緩增分布的導數算子,同樣由共軛算子定義為 。
連續形式的傅里葉變換其實是傅里葉級數(Fourier series)的推廣,因為積分其實是一種極限形式的求和算子而已。對於周期函數,其傅里葉級數是存在的:
其中為復振幅。對於實值函數,函數的傅里葉級數可以寫成:
其中an和bn是實頻率分量的振幅。
傅里葉分析最初是研究周期性現象,即傅里葉級數的,後來通過傅里葉變換將其推廣到了非周期性現象。理解這種推廣過程的一種方式是將非周期性現象視為周期性現象的一個特例,即其周期為無限長。
離散傅里葉變換是離散時間傅里葉變換(DTFT)的特例(有時作為後者的近似)。DTFT在時域上離散,在頻域上則是周期的。DTFT可以被看作是傅里葉級數的逆轉換。
以上的傅里葉變換都可以被統一描述為任意局部緊緻的阿貝爾群上的傅里葉變換。這一問題屬於調和分析的範疇。在調和分析中,一個變換從一個群變換到它的對偶群。此外,將傅里葉變換與卷積相聯繫的卷積定理在調和分析中也有類似的結論。傅里葉變換的廣義理論基礎參見龐特里亞金對偶性中的介紹。
主條目:時頻分析變換
小波變換,Chirplet變換和分數傅里葉變換的都是為了得到時間信號的頻率信息。同時解析頻率和時間的能力在數學上受不確定性原理的限制。
下表列出了傅里葉變換家族的成員。容易發現,函數在時(頻)域的離散對應於其像函數在頻(時)域的周期性。反之連續則意味着在對應域的信號的非周期性。下表給出詳細的情形:
More information 變換, 時間 ...
Close
下表列出的常用的傅里葉變換對可以在Erdélyi (1954)或Kammler (2000,appendix)中找到。
More information , ...
|
函數 |
傅立葉變換 么正,普通的頻率 |
傅立葉變換 么正,角頻率 |
傅立葉變換 非么正,角頻率 |
注釋
|
|
|
|
|
|
基本定義
|
101
|
|
|
|
|
線性性質
|
102
|
|
|
|
|
時域平移
|
103
|
|
|
|
|
頻域平移,變換102的頻域對應
|
104
|
|
|
|
|
在時域中定標。如果值較大,則會收縮到原點附近,而會擴散並變得扁平。當趨向無窮時,成為狄拉克δ函數。
|
105
|
|
|
|
|
傅里葉變換的二元性性質。這裡的計算需要運用與傅里葉變換那一列同樣的方法。通過交換變量和或或得到。
|
106
|
|
|
|
|
傅里葉變換的微分性質
|
107
|
|
|
|
|
變換106的頻域對應
|
108
|
|
|
|
|
記號表示和的卷積—這就是卷積定理
|
109
|
|
|
|
|
變換108的頻域對應。
|
110
|
當是實變函數
|
|
|
|
埃爾米特對稱。表示復共軛。
|
111
|
當是實偶函數
|
, 和都是實偶函數。
|
|
112
|
當是實奇函數
|
, 和都是虛奇函數。
|
|
113
|
|
|
|
|
復共軛,110的一般化
|
Close
More information , ...
|
時域信號 |
角頻率表示的 傅里葉變換 |
弧頻率表示的 傅里葉變換 |
注釋
|
|
|
|
|
|
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)是第二類切比雪夫多項式。
|
Close
More information , ...
|
時域信號 |
角頻率表示的 傅里葉變換 |
弧頻率表示的 傅里葉變換 |
注釋
|
|
|
|
|
基本定義
|
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
|
|
|
|
狄拉克梳狀函數——有助於解釋或理解從連續到離散時間的轉變.
|
Close
More information , ...
|
時域信號
|
傅立葉變換 單一,普通頻率
|
傅立葉變換 么正,角頻率
|
傅立葉變換 非么正,角頻率
|
400
|
|
|
|
|
401
|
|
|
|
|
402
|
|
|
|
|
Close
- 注釋
400: 變量、、、、、為實數。二重積分是對整個平面積分。
401: 這兩個函數都是高斯函數,而且可能不具有單位體積。
402: 此圓有單位半徑,如果把 認作階梯函數 ; Airy分布用 (一階第一類貝塞爾函數)表達。(Stein & Weiss 1971,Thm. IV.3.3) harv模板錯誤: 無指向目標: CITEREFSteinWeiss1971 (幫助)
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.
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.
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.
Weinberg, Steven. The quantum theory of fields 1. Cambridge: Cambridge University. 2005-05-09. ISBN 978-0-521-67053-1.
- Ronald Newbold Bracewell. The Fourier Transform and Its Applications [傅里葉變換及其應用] 3. Boston: McGraw Hill. 2000 (英語).
- 陳錫冠, 曾致煌. 工程數學. 高立出版社. ISBN 957-584-377-0 (中文(臺灣))..
- Erdélyi, Arthur (編), Tables of Integral Transforms [積分變換表] 1, New York: McGraw-Hill, 1954 (英語)
- Kammler, David, A First Course in Fourier Analysis [傅立葉分析入門課程], Prentice Hall, 2000, ISBN 0-13-578782-3 (英語)
- Stein, Elias; Weiss, Guido, Introduction to Fourier Analysis on Euclidean Spaces [歐幾里得空間上的傅立葉分析導論], Princeton, N.J.: Princeton University Press, 1971 [2014-10-31], ISBN 978-0-691-08078-9, (原始內容存檔於2014-03-28) (英語).
- Stein, Elias; Rami, Shakarchi, Fourier Analysis: An Introduction [傅立葉分析:導論], Princeton Lectures in Analysis 1, Princeton University Press, 2003, ISBN 0-691-11384-X (英語).
- Stein, Elias; Rami, Shakarchi, Fourier Analysis: An Introduction [傅立葉分析導論], 數學經典英文教材系列 1, 中國世界圖書出版公司, 2006, ISBN 9787506272872 (英語) (影印版).