UA OPTI512R 傅立叶光学导论16 Nyquist-Shannon采样定理
UA OPTI512R 傅立葉光學導論16 Nyquist-Shannon采樣定理
- 周期性采樣的數學表示
- Nyquist-Shannon采樣定理
因為計算機只能處理離散數據,所以即使真實信號是連續的,我們也只能采集它的一些離散樣本輸入計算機中做后續處理。這種用離散序列表示連續信號的操作叫做采樣(sampling)。根據每次采樣間隔是否均勻可以把采樣分為周期性采樣(periodic sampling)與非周期性采樣(non-periodic sampling),這一講討論周期性采樣。
周期性采樣的數學表示
之前介紹光學中常用特殊函數時介紹了comb函數,它的定義是
comb(x)=∑n=?∞+∞δ(x?n)comb(x) = \sum_{n=-\infty}^{+\infty}\delta(x-n)comb(x)=n=?∞∑+∞?δ(x?n)
根據Dirac函數的sifting property,comb函數與函數f(x)f(x)f(x)相乘時,作用是把f(x)f(x)f(x)變成序列{f(n)}\{f(n)\}{f(n)},也就是每間隔1單位做一次采樣,假設我們希望的采樣間隔為Δ\DeltaΔ,則只需要用f(x)f(x)f(x)與comb(x/Δ)comb(x/\Delta)comb(x/Δ)相乘就能得到間隔為Δ\DeltaΔ的樣本序列了。由此我們定義信號f(x)f(x)f(x)的采樣間隔為Δ\DeltaΔ的采樣函數(sampled function)為
fS(x)=f(x)?(1Δcomb(x/Δ))f_S(x)=f(x) \cdot \left( \frac{1}{\Delta} comb(x/\Delta) \right)fS?(x)=f(x)?(Δ1?comb(x/Δ))
其中1/Δ1/\Delta1/Δ的作用是做標準化,保證采樣得到的離散信號相對源信號不會被放大或者縮小,從數學上講它的作用是保證脈沖函數的歸一性∫?∞+∞1Δδ(x/Δ?n)dx=1=∫?∞+∞δ(x?nΔ)dx\int_{-\infty}^{+\infty} \frac{1}{\Delta} \delta(x/\Delta-n)dx=1=\int_{-\infty}^{+\infty} \delta(x-n\Delta)dx∫?∞+∞?Δ1?δ(x/Δ?n)dx=1=∫?∞+∞?δ(x?nΔ)dx,所以
fS(x)=∑n=?∞+∞f(xn)δ(x?xn),xn=nΔf_S(x)=\sum_{n=-\infty}^{+\infty}f(x_n)\delta(x-x_n),x_n = n\DeltafS?(x)=n=?∞∑+∞?f(xn?)δ(x?xn?),xn?=nΔ
采樣函數的頻率譜
假設F(ξ)=F[f(x)]F(\xi)=\mathcal{F}[f(x)]F(ξ)=F[f(x)],則FS(ξ)=∑n=?∞+∞F(ξ?nξS)F_S(\xi)=\sum_{n=-\infty}^{+\infty}F(\xi - n\xi_S)FS?(ξ)=n=?∞∑+∞?F(ξ?nξS?)
其中ξS=1Δ\xi_S=\frac{1}{\Delta}ξS?=Δ1?被稱為采樣頻率,這個結果說明采樣函數的頻率譜就是源信號的頻率譜平移{nξS}\{n\xi_S\}{nξS?}后的疊加。
用卷積定理可以得到上述結果:
FS(ξ)=F[f(x)?(1Δcomb(x/Δ))]=F[f(x)]?F[1Δcomb(x/Δ)]=F(ξ)?comb(ξ/ξS)=F(ξ)?∑n=?∞+∞δ(ξ?nξS)=∑n=?∞+∞F(ξ?nξS)\begin{aligned}F_S(\xi) &=\mathcal{F}\left[f(x) \cdot \left( \frac{1}{\Delta} comb(x/\Delta) \right)\right] \\ & = \mathcal{F}[f(x)] * \mathcal{F} \left[ \frac{1}{\Delta} comb(x/\Delta) \right] \\ & = F(\xi) * comb(\xi/\xi_S) \\ & = F(\xi) * \sum_{n=-\infty}^{+\infty} \delta(\xi-n\xi_S) \\ &= \sum_{n=-\infty}^{+\infty}F(\xi - n\xi_S)\end{aligned}FS?(ξ)?=F[f(x)?(Δ1?comb(x/Δ))]=F[f(x)]?F[Δ1?comb(x/Δ)]=F(ξ)?comb(ξ/ξS?)=F(ξ)?n=?∞∑+∞?δ(ξ?nξS?)=n=?∞∑+∞?F(ξ?nξS?)?
Nyquist-Shannon采樣定理
Band-limited Function 在某個區間內有非零頻率譜的函數被稱為Band-limited Function,用fB(x)f_B(x)fB?(x)來表示,其中BBB代表帶寬,則它的數學定義為
FB(ξ)=F[fB(x)]{>0,∣ξ∣≤B2=0,∣ξ∣>B2F_B(\xi) = \mathcal{F}[f_B(x)] \begin{cases} >0,|\xi| \le \frac{B}{2} \\ =0,|\xi|>\frac{B}{2}\end{cases}FB?(ξ)=F[fB?(x)]{>0,∣ξ∣≤2B?=0,∣ξ∣>2B??
采樣定理 這個定理想討論的問題是離散的樣本序列能不能代表完整的信號,畢竟把連續信號用離散序列表示本身是有信息損失的。這個問題在Shannon之前,Whittaker、Nyquist等人已經討論過了,到Shannon時候,他建立了完整的理論,也就是現在非常有用的信息論,他認為源信號是Band-limited Function時,只要采樣頻率大于源信號頻率譜的帶寬(ξS>B\xi_S>BξS?>B),那么采樣得到的離散信號就可以完美得重構出源信號。
Shannon的思想可以用一個很簡單的filter論證,
現在我們有采樣函數的頻譜FS(ξ)F_S(\xi)FS?(ξ),引入一個濾波器
F[h(x)]=H(ξ)h(x)=Bsinc(B),H(ξ)=rect(ξ/B)\mathcal{F}[h(x)]=H(\xi) \\ h(x)=Bsinc(B),H(\xi)=rect(\xi/B)F[h(x)]=H(ξ)h(x)=Bsinc(B),H(ξ)=rect(ξ/B)
采樣函數的頻譜與這個濾波器作用后的結果為
F^(ξ)=FS(ξ)H(ξ)=∑n=?∞+∞F(ξ?nξS)H(ξ)\hat F(\xi)=F_S(\xi)H(\xi)=\sum_{n=-\infty}^{+\infty}F(\xi - n\xi_S)H(\xi)F^(ξ)=FS?(ξ)H(ξ)=n=?∞∑+∞?F(ξ?nξS?)H(ξ)
因為H(ξ)=rect(ξ/B)=0H(\xi)=rect(\xi/B)=0H(ξ)=rect(ξ/B)=0,?∣ξ∣≥B/2\forall |\xi| \ge B/2?∣ξ∣≥B/2,也就是說在一個帶寬以外的頻譜無法通過濾波器,只有n=0n=0n=0時的頻譜F(ξ)F(\xi)F(ξ)可以保留下來,所以ξS>B\xi_S>BξS?>B時,
F^(ξ)=F(ξ)\hat F(\xi)=F(\xi)F^(ξ)=F(ξ)
也即通過采樣函數可以完美還原出源信號的頻譜。
根據卷積定理,
f^(x)=F?1[FS(ξ)H(ξ)]=fS(x)?h(x)=∑n=?∞+∞f(xn)δ(x?xn)?Bsinc(Bx)=B∑n=?∞+∞f(xn)sinc(B(x?xn))\hat f(x)=\mathcal{F}^{-1}[F_S(\xi)H(\xi)] = f_S(x)*h(x) \\ =\sum_{n=-\infty}^{+\infty}f(x_n)\delta(x-x_n) * B sinc(Bx)=B \sum_{n=-\infty}^{+\infty}f(x_n) sinc(B(x-x_n)) f^?(x)=F?1[FS?(ξ)H(ξ)]=fS?(x)?h(x)=n=?∞∑+∞?f(xn?)δ(x?xn?)?Bsinc(Bx)=Bn=?∞∑+∞?f(xn?)sinc(B(x?xn?))
相當于用sinc曲線連接離散序列{f(xn)}\{f(x_n)\}{f(xn?)}做插值來還原f(x)f(x)f(x),當ξS>B\xi_S>BξS?>B時,f^(x)∝f(x)\hat f(x) \propto f(x)f^?(x)∝f(x)。
如果ξS<B\xi_S<BξS?<B,則組成FS(ξ)F_S(\xi)FS?(ξ)的各段頻域會重疊,用H(ξ)H(\xi)H(ξ)這個濾波器得到的頻域包含左右兩端重疊部分,導致還原出的頻譜F^(ξ)\hat F(\xi)F^(ξ)與源信號頻域F(ξ)F(\xi)F(ξ)不一致。
總結
以上是生活随笔為你收集整理的UA OPTI512R 傅立叶光学导论16 Nyquist-Shannon采样定理的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: UA OPTI512R 傅立叶光学导论1
- 下一篇: UA OPTI512R 傅立叶光学导论1