概述
??希爾伯特空間是一個(gè)完備的內(nèi)積空間趋艘,其標(biāo)準(zhǔn)正交函數(shù)系妇押,直觀來(lái)看就是向量空間中基
的延伸。其為基于任意正交系上的多項(xiàng)式表示的傅立葉級(jí)數(shù)和傅立葉變換提供了一種有效的表述方式紊册,而這也是泛函分析的核心概念之一干奢。下文中我們將通過(guò)希爾伯特空間的標(biāo)準(zhǔn)正交函數(shù)系推導(dǎo)周期函數(shù)和有限區(qū)間上函數(shù)的傅立葉級(jí)數(shù)表示,并進(jìn)一步推出傅里葉積分來(lái)表示無(wú)窮區(qū)間的非周期函數(shù)糯彬,最后引入復(fù)數(shù)形式的傅立葉積分凭语,引出傅立葉變換。在這一系列推導(dǎo)中撩扒,鑒于篇幅似扔,主動(dòng)略去了一些比較關(guān)鍵的部分吨些,比如可積性及級(jí)數(shù)收斂性的討論,有興趣的讀者可以在了解大致原理后炒辉,進(jìn)行細(xì)致的理論推導(dǎo)以作補(bǔ)充豪墅。為了便于理解希爾伯特空間的概念,引用知乎上面的一段回答:
希爾伯特空間
??若無(wú)限維酉空間
中每個(gè)基本序列收斂于V中的元素黔寇,則稱是完備
的偶器。一個(gè)完備的無(wú)限維酉空間稱為希爾伯特空間又稱為空間。在維空間中矢量被定義為,在無(wú)限維空間中矢量被定義為從變換到的函數(shù)缝裤。在希爾伯特空間中矢量的加法和乘法定義為函數(shù)的加法與函數(shù)和數(shù)的乘法屏轰。
-
內(nèi)積
? 對(duì)于,則二者的內(nèi)積定義為:
-
度量
- 對(duì)于,其長(zhǎng)度定義為:
- 對(duì)于,其長(zhǎng)度定義為:
若則二者之間的距離定義為:
直觀來(lái)看就是兩個(gè)函數(shù)的均方差,就是以均方差來(lái)作為空間的距離的度量榛做。若,則二者的夾角定義為:
-
正交函數(shù)系
若非零矢量的內(nèi)積,則由空間的夾角定義公式可知,此時(shí)稱矢量正交答倡。
若且兩兩正交轰传,設(shè)
則有
由空間長(zhǎng)度和正交的定義可推出:
上述積分都是指勒貝格積分有意義。若函數(shù)系中任意兩個(gè)函數(shù)相互正交瘪撇,即
則稱這個(gè)函數(shù)系為正交函數(shù)系,若還滿足
則稱此函數(shù)系為標(biāo)準(zhǔn)正交系恕曲。
-
依標(biāo)準(zhǔn)正交函數(shù)系的分解
? 若在空間中給定一個(gè)完備的標(biāo)準(zhǔn)正交函數(shù)系(即不可能再加一個(gè)不恒為零的函數(shù)與系中的一切函數(shù)正交),則對(duì)于任意函數(shù)都可根據(jù)這個(gè)標(biāo)準(zhǔn)正交函數(shù)系展開成級(jí)數(shù)(平均收斂):
為在這個(gè)標(biāo)準(zhǔn)正交函數(shù)系上的投影:
很容易證明
代表空間中矢量的長(zhǎng)度平方等于該矢量在完備的標(biāo)準(zhǔn)正交系中的矢量上的投影平方和。
傅立葉級(jí)數(shù)
??希爾伯特空間是有限維歐幾里得空間的推廣实蓬,與歐幾里得空間相同茸俭,希爾伯特空間也是內(nèi)積空間,也有距離和角的概念安皱,并且不同于歐幾里得空間调鬓,空間具有完備性
:希爾伯特空間內(nèi)的所有的柯西列
會(huì)收斂到一點(diǎn)。因此微積分中的大部分概念可無(wú)障礙推廣至希爾伯特空間中酌伊。希爾伯特空間提供了一個(gè)很強(qiáng)大理論工具:對(duì)于空間中的任意函數(shù)都可以由空間中完備的標(biāo)準(zhǔn)正交函數(shù)系展開成級(jí)數(shù)腾窝。也就是說(shuō),可以通過(guò)一個(gè)標(biāo)準(zhǔn)正交函數(shù)系去逼近一個(gè)任意函數(shù)(這些函數(shù)都是基于希爾伯特空間的)。
三角函數(shù)系
??基于上述的討論虹脯,接下來(lái)討論如何通過(guò)一個(gè)標(biāo)準(zhǔn)正交函數(shù)系來(lái)展開任意函數(shù)驴娃。基于標(biāo)準(zhǔn)正交函數(shù)的定義归形,直觀來(lái)看托慨,三角函數(shù)系似乎完美的切合,對(duì)于三角函數(shù)系
由于
又由奇函數(shù)的性質(zhì)直接得到(15)(16)定積分等式成立:
又:
同理得到:
于是得到三角函數(shù)系(13)在是一個(gè)正交函數(shù)系奸例,但是彬犯,細(xì)心的讀者可能發(fā)現(xiàn),三角函數(shù)系(13)并不是一個(gè)標(biāo)準(zhǔn)正交函數(shù)系查吊,為此基于(13)構(gòu)造三角函數(shù)系
顯然谐区,三角函數(shù)系(20)是一個(gè)正交函數(shù)系,下面進(jìn)一步證明該函數(shù)系是一個(gè)標(biāo)準(zhǔn)正交函數(shù)系逻卖,則只需證明對(duì)于該函數(shù)系任意函數(shù)有(9)式成立即可:
由(20)(21)(22)三式可得宋列,三角函數(shù)系(19)為希爾伯特空間下的標(biāo)準(zhǔn)正交函數(shù)系。則任意定義在的函數(shù)有:
整理得:
此時(shí)评也,只需確定系數(shù)即可得到在在的級(jí)數(shù)展開形式:
:
??對(duì)等式(24)兩邊同時(shí)求積分得到:
結(jié)合(14)(15)(16)得到:
求得:
:??結(jié)合(21)式炼杖,對(duì)等式(24)兩邊同乘,得到:
同樣對(duì)等式(30)兩邊同時(shí)求積分得到:
由(14)(16)式可知,等式(29)中兩個(gè)紅色定積分都為盗迟,對(duì)于藍(lán)色定積分坤邪,由(17)(21)式可知,當(dāng)且僅當(dāng)的項(xiàng)積分為罚缕,其余項(xiàng)的積分都為艇纺,故:
將藍(lán)色部分的積分拆分為紅色和綠色兩部分積分之和(綠色積分為時(shí)),顯然由(17)式紅色部分積分仍舊為邮弹,由(21)式綠色部分積分為喂饥,進(jìn)一步得到:
:??同上可得到:
周期與非周期下的傅里葉級(jí)數(shù)
??在上文中,已經(jīng)求出了系數(shù)的表達(dá)式肠鲫,將這些系數(shù)代入(24)式员帮,整理得到:
此時(shí),令
得到:
式(35)顯然就是傅立葉級(jí)數(shù)导饲。級(jí)數(shù)(35)的收斂性證明捞高,涉及較多泛函分析的內(nèi)容氯材,在此不做展開,有時(shí)間在另開一篇文章說(shuō)明硝岗,有興趣的讀者可以嘗試一下證明氢哮。細(xì)心的讀者可能注意到的定義域是,那么如果對(duì)于任意周期型檀,級(jí)數(shù)還成立嗎冗尤?將定義域拓展到實(shí)數(shù)域后,級(jí)數(shù)(35)還成立嗎胀溺?對(duì)此裂七,下面進(jìn)一步討論。
周期函數(shù)的傅立葉級(jí)數(shù)
??當(dāng)是一個(gè)周期為的周期函數(shù)時(shí)仓坞,那么在區(qū)間中背零,作變換:
則,為周期的周期函數(shù)无埃,構(gòu)造標(biāo)準(zhǔn)正交三角函數(shù)系:
進(jìn)一步得到此時(shí)的傅立葉系數(shù):
則此時(shí)的傅立葉級(jí)數(shù)為:
因此徙瓶,對(duì)于可積的任意周期函數(shù),都能展開為對(duì)應(yīng)的傅立葉級(jí)數(shù)嫉称,并且由于周期函數(shù)的特性侦镇,當(dāng)定義域拓展到實(shí)數(shù)域時(shí)也是成立的。
非周期函數(shù)的傅立葉積分
??在更多情況下织阅,需要處理非周期函數(shù)虽缕,對(duì)此比較直觀的處理技巧是,將非周期函數(shù)視為周期為的周期函數(shù)蒲稳,即。設(shè)是定義在上伍派,并且在定義域絕對(duì)可積江耀,是在有限區(qū)間上的截取,因?yàn)?img class="math-inline" src="https://math.jianshu.com/math?formula=%5Cxi_%7BT%7D(x)" alt="\xi_{T}(x)" mathimg="1">可視為該有限區(qū)間上的周期函數(shù)诉植,令則得到的傅立葉級(jí)數(shù)為:
其中:
得到:
于是有:
關(guān)(43)式的兩個(gè)極限祥国,接下來(lái)分別進(jìn)行討論:
對(duì)于第一個(gè)極限:
??由于在上絕對(duì)可積,則:
所以晾腔,有:
對(duì)于第二個(gè)極限舌稀,先直接給出結(jié)論:??令,有:
于是灼擂,得到非周期函數(shù)的傅立葉積分表示:
或?qū)憺椋?br>
其中:
綜合來(lái)看壁查,周期函數(shù)和有限區(qū)間上的函數(shù)可以用傅立葉級(jí)數(shù)來(lái)表示;而無(wú)窮區(qū)間的非周期函數(shù)剔应,用傅里葉積分表示睡腿,對(duì)應(yīng)了頻率的連續(xù)分布语御。
傅里葉變換
??傅里葉級(jí)數(shù)的本質(zhì)是函數(shù)在某個(gè)函數(shù)空間中各個(gè)基底的投影和,在上文中我們通過(guò)引入希爾伯特空間席怪,構(gòu)造標(biāo)準(zhǔn)正交三角函數(shù)系進(jìn)而推導(dǎo)出傅立葉級(jí)數(shù)與傅立葉積分应闯。然而,這一切都是基于實(shí)數(shù)域推導(dǎo)挂捻,那么這種思路在復(fù)數(shù)域是否也成立呢碉纺,答案是顯而易見(jiàn)的。下面刻撒,我們通過(guò)歐拉公式(公式證明見(jiàn)文末)來(lái)得到傅立葉積分的復(fù)數(shù)形式:
??觀察(47)式骨田,由于:
因?yàn)?br>
則非周期函數(shù)的傅立葉積分(47)可改寫為:
上式最后一個(gè)等式即為傅立葉積分的復(fù)數(shù)形式,而紅色積分部分就是大名鼎鼎的傅立葉變換
也叫像函數(shù)
疫赎,是一個(gè)復(fù)數(shù)表示振幅
和相位
:
而也稱為傅立葉逆變換
也叫本函數(shù)
:
??傅里葉變換
一詞既指變換操作本身(將函數(shù) 進(jìn)行傅里葉變換)盛撑,又指該操作所生成的復(fù)數(shù)函數(shù)(是的傅里葉變換),需要注意的是,一般情況下傅立葉變換是可逆的捧搞。
傅立葉變換的性質(zhì)
??傅立葉級(jí)數(shù)使用不同頻率的三角函數(shù)和來(lái)表示周期函數(shù)和有限區(qū)上的函數(shù)抵卫,而傅立葉積分則是對(duì)頻率作無(wú)窮積分來(lái)表示無(wú)窮區(qū)間上的函數(shù)。本質(zhì)上其實(shí)是從不同的角度刻畫相同的函數(shù)胎撇,所以你經(jīng)辰檎常可以聽到這樣的說(shuō)法,傅立葉變換是一種線性積分變換晚树,常用于信號(hào)時(shí)域
到頻域
之間的變換姻采,這里說(shuō)的時(shí)域
是從時(shí)間的角度描述函數(shù)或信號(hào),而頻域
則是從頻率的角度描述函數(shù)或信號(hào)爵憎。本質(zhì)上傅立葉變換就像化學(xué)分析慨亲,像分析物質(zhì)的基本成分一樣,確定函數(shù)或信號(hào)的基本組成宝鼓。
??接下來(lái)討論一下傅立葉變換的一些基本性質(zhì)刑棵,為了方便描述,約定為傅立葉變換的作用算子愚铡,即為的傅立葉變換蛉签,表示的傅立葉逆變換,并且函數(shù)都存在傅立葉變換:
-
線性性質(zhì)
兩函數(shù)之和的傅里葉變換等于各自的傅立葉變換之和:
頻移性質(zhì)
時(shí)移特性
-
帕塞瓦爾定理
??若平方可積沥寥,則有:
-
卷積的傅里葉變換
??若且在定義域內(nèi)絕對(duì)可積,定義卷積函數(shù):
則有:
??傅里葉變換在時(shí)域和頻域之間搭起來(lái)一座橋梁邑雅,一些在時(shí)域很難解決甚至無(wú)法解決的問(wèn)題片橡,在頻域下卻可以輕松得到解決,在信號(hào)淮野、圖像處理還有偏微分方程等領(lǐng)域都有著廣泛的應(yīng)用锻全。
離散傅里葉變換
??離散傅里葉變換(Discrete Fourier Transform狂塘,縮寫為DFT),是傅里葉變換在時(shí)域和頻域上都呈離散的形式鳄厌,將信號(hào)的時(shí)域采樣變換為其離散時(shí)間傅里葉變換的頻域采樣荞胡。
對(duì)于序列
其離散傅里葉變換(DFT)如下:
離散傅里葉變換的逆變換(IDFT)如下:
離散傅里葉變換的應(yīng)用:
數(shù)據(jù)壓縮
??由于人類感官的分辨能力存在極限,因此很多有損壓縮算法利用這一點(diǎn)將語(yǔ)音了嚎、音頻泪漂、圖像、視頻等信號(hào)的高頻部分除去歪泳。高頻信號(hào)對(duì)應(yīng)于信號(hào)的細(xì)節(jié)萝勤,濾除高頻信號(hào)可以在人類感官可以接受的范圍內(nèi)獲得很高的壓縮比。這一去除高頻分量的處理就是通過(guò)離散傅里葉變換完成的呐伞。將時(shí)域或空域的信號(hào)轉(zhuǎn)換到頻域敌卓,僅儲(chǔ)存或傳輸較低頻率上的系數(shù),在解壓縮端采用逆變換即可重建信號(hào)伶氢。
長(zhǎng)整數(shù)與多項(xiàng)式乘法
??目前長(zhǎng)整數(shù)或多項(xiàng)式乘法最快速的算法是基于離散傅里葉變換的趟径。由于整數(shù)(或多項(xiàng)式)乘法是逐位(或逐項(xiàng))乘累加的形式,因此整數(shù)(或多項(xiàng)式)乘積的數(shù)字(或系數(shù))可以用乘數(shù)數(shù)字(或乘式系數(shù))的卷積表示癣防。利用卷積定理蜗巧,只要將數(shù)字(或系數(shù))序列通過(guò)離散傅里葉變換變到頻域,就可以將逐個(gè)乘累加的卷積變?yōu)閷?duì)位的乘法蕾盯,從而減少計(jì)算量幕屹,再以一次逆變換便可以得到乘法結(jié)果。需要注意整數(shù)乘法還有進(jìn)位的問(wèn)題级遭。
求解偏微分方程
??離散傅里葉變換及其多維形式在偏微分方程的求解中也有應(yīng)用望拖。此時(shí)DFT被看作傅里葉級(jí)數(shù)的近似。傅里葉級(jí)數(shù)將函數(shù)在復(fù)指數(shù)上展開挫鸽,這正是微分算子的特征方程:
??因此说敏,通過(guò)傅里葉級(jí)數(shù)的形式,線性常微分方程被轉(zhuǎn)換為代數(shù)方程掠兄,而后者是很容易求解的。此時(shí)得到的結(jié)果是偏微分方程解的級(jí)數(shù)表示锌雀,只要通過(guò)DFT逆變換即可得到其一般表示蚂夕,這種方法被稱作譜方法或級(jí)數(shù)解法。
快速傅里葉變換
??離散傅里葉變換十分強(qiáng)大腋逆,但是計(jì)算復(fù)雜度較高婿牍,對(duì)于一個(gè)大小為的序列,其離散傅里葉級(jí)數(shù)的復(fù)雜度為惩歉,對(duì)于一些需要實(shí)時(shí)計(jì)算的場(chǎng)景等脂,不太能滿足需求俏蛮。因此,快速傅里葉變換(FFT)應(yīng)運(yùn)而生上遥,快速傅里葉變換是快速計(jì)算序列的離散傅里葉變換]葉變換)(DFT)或其逆變換的方法搏屑。傅里葉分析將信號(hào)從原始域(通常是時(shí)間或空間)轉(zhuǎn)換到頻域的表示或者逆過(guò)來(lái)轉(zhuǎn)換。FFT會(huì)通過(guò)把DFT矩陣分解為稀疏因子之積來(lái)快速計(jì)算此類變換粉楚, 因此辣恋,它能夠?qū)⒂?jì)算DFT的復(fù)雜度從降低到。
??FFT的本質(zhì)就是通過(guò)不斷的把長(zhǎng)序列的DFT分解為幾個(gè)短序列的DFT模软,并利用單位根的周期性和對(duì)稱性來(lái)減少計(jì)算量伟骨。FFT算法有很多種,不過(guò)大致可以分為兩類:
按抽取方法可分為:
- 時(shí)域抽取法(DIT)
- 頻域抽取大(DIF)
按
基數(shù)
可分為:
- 基2-FFT算法
- 基4-FFT算法
- 混合基FFT算法
- 分裂基FFT算法
Cooley-Tukey算法
??Cooley-Tukey算法是最常見(jiàn)的FFT算法燃异。這一方法以分治法為策略遞歸地將長(zhǎng)度為的離散傅里葉變換分解為長(zhǎng)度為的個(gè)較短序列的離散傅里葉變換携狭,以及與個(gè)轉(zhuǎn)因子的復(fù)數(shù)乘法。
??Cooley-Tukey算法最有名的應(yīng)用回俐,是將序列長(zhǎng)為 的DFT分割為兩個(gè)長(zhǎng)為 的子序列的DFT逛腿,因此這一應(yīng)用只適用于序列長(zhǎng)度為2的冪的DFT計(jì)算,即基2-FFT鲫剿。實(shí)際上鳄逾,如同高斯和Cooley與Tukey都指出的那樣,Cooley-Tukey算法也可以用于序列長(zhǎng)度N 為任意因數(shù)分解形式的DFT灵莲,即混合基FFT雕凹,而且還可以應(yīng)用于其他諸如分裂基FFT等變種**。盡管Cooley-Tukey算法的基本思路是采用遞歸的方法進(jìn)行計(jì)算政冻,大多數(shù)傳統(tǒng)的算法實(shí)現(xiàn)都將顯式的遞歸算法改寫為非遞歸的形式枚抵。另外,因?yàn)镃ooley-Tukey算法是將DFT分解為較小長(zhǎng)度的多個(gè)DFT明场,因此它可以同任一種其他的DFT算法聯(lián)合使用汽摹。
基2時(shí)間抽取法
??基2時(shí)間抽取算法是Cooley-Tukey算法的一種分支,當(dāng)序列的點(diǎn)數(shù)為(若不滿足苦锨,可補(bǔ)零)逼泣,此時(shí)的Cooley-Tukey算法稱之為基2時(shí)間抽取法。由于序列點(diǎn)數(shù)為2的整數(shù)冪舟舒,則可以將序列按序號(hào)的奇偶性分為兩組:
偶序列
奇序列
即一組由偶數(shù)序號(hào)組成拉庶,另外一組由奇數(shù)序號(hào)組成(注意數(shù)據(jù)長(zhǎng)度為)
互質(zhì)因子算法
Winograd算法
-
拉普拉斯變換
傅里葉變換是將函數(shù)分解到頻率不同、幅值恒為1的單位圓上秃励;拉普拉斯變換是將函數(shù)分解到頻率幅值都在變化的圓上氏仗。因?yàn)槔绽棺儞Q的基有兩個(gè)變量,因此更靈活夺鲜,適用范圍更廣皆尔。
關(guān)于快速傅里葉變換只是做了簡(jiǎn)單的介紹和梳理,詳細(xì)內(nèi)容等以后有時(shí)間再更新呐舔。
概念解析
酉空間
設(shè)為一個(gè)復(fù)數(shù)域上的線形空間,若在中定義了兩個(gè)變量的內(nèi)積(數(shù)量積)慷蠕,記作珊拼,且滿足:
,其中是的共軛
砌们,當(dāng)且僅當(dāng)時(shí)等號(hào)成立
,對(duì)任意
則稱為酉空間(空間)馁筐,又稱為內(nèi)積空間募强,當(dāng)為實(shí)數(shù)域時(shí)泣崩,此時(shí)的內(nèi)積是可交換的伊群,有限維的實(shí)酉空間也就是歐幾里德空間。直觀來(lái)說(shuō)影兽,酉空間就是將歐幾里德空間的內(nèi)積運(yùn)算從實(shí)數(shù)域拓展到復(fù)數(shù)域揭斧。
-
完備性
一個(gè)向量空間具有完備性指空間中的任何柯西序列都收斂在該空間之內(nèi)。峻堰。
-
柯西列
??柯西列就是空間中元素構(gòu)成的一個(gè)序列讹开,并且這個(gè)序列在無(wú)窮遠(yuǎn)處兩個(gè)元素之間的距離趨于零。準(zhǔn)確的說(shuō)捐名,如果空間中有一個(gè)序列 ,當(dāng)的時(shí)候旦万, (即二者的距離趨零),則 就是一個(gè)柯西列镶蹋,也就是說(shuō)完備性保證了取序列極限不會(huì)跑到空間外面去成艘。一個(gè)不完備的例子就是有理數(shù)的集合,例如這個(gè)集合可以用柯西列的極限去逼近 贺归,而這個(gè)極限并不在有理數(shù)這個(gè)集合中淆两,所以有理數(shù)集合是不完備的,而實(shí)數(shù)集合是完備的拂酣。
-
三角恒等式
-
內(nèi)積空間
??內(nèi)積空間是線性代數(shù)里的基本概念秋冰,是增添了一個(gè)額外的結(jié)構(gòu)的向量空間。這個(gè)額外的結(jié)構(gòu)叫做內(nèi)積或標(biāo)量積婶熬。內(nèi)積將一對(duì)向量與一個(gè)標(biāo)量連接起來(lái)剑勾,允許我們嚴(yán)格地談?wù)?a target="_blank">向量的“夾角”和“長(zhǎng)度”,并進(jìn)一步談?wù)撓蛄康?a target="_blank">正交性赵颅。內(nèi)積空間由歐幾里得空間抽象而來(lái)(內(nèi)積是點(diǎn)積的抽象)虽另,這是泛函分析討論的課題。
-
歐拉公式的證明
??歐拉公式(50)的證明方式有兩種性含,第一種是構(gòu)造函數(shù):
利用拉格朗日中值定理證明即可洲赵;第二種則是使用麥克勞林級(jí)數(shù)分別展開得到:
后兩者的麥克勞林級(jí)數(shù)展開相加剛好等于前者的麥克勞林級(jí)數(shù)展開鸳惯。在此只補(bǔ)充拉格朗日中值定理商蕴,具體證明過(guò)程較簡(jiǎn)單叠萍,不做詳細(xì)展開。
拉格朗日中值定理:
??如果函數(shù)绪商,在閉區(qū)間上連續(xù)苛谷,在開區(qū)間內(nèi)可微。則少存在一點(diǎn)格郁,使下面的等式成立:
推論:??若函數(shù)的導(dǎo)數(shù)恒為零腹殿,則為常值函數(shù),即例书。