7-2 小波分析之信号离散采样与重构

7-2 小波分析之信号离散采样与重构

1. 香农（Shannon）采样定理

\qquad 任何离散信号都能表示成一系列$Dirac$脉冲信号的和$$f_d(t)=\sum _{n=-\infty }^{+\infty }f(ns)\delta (t-ns)$$其中$\delta (x)=0,x\ne 0.$由于$\delta (t-ns)$的Fourier变换为$e^{-ins\omega }$,故$f_d$的Fourier变换为$${\hat{f}}_d(\omega )=\sum _{n=-\infty }^{+\infty }f(ns)e^{-ins\omega }=\frac{1}{s}\sum _{k=-\infty }^{+\infty }\hat{f}(\omega -\frac{2k\pi }{s})\text{\hspace{1em}(1)}$$
香农采样定理： 如果$\hat{f}$的支集属于$[-\pi /s,\pi /s]$,则$$f(t)=\sum _{n=-\infty }^{+\infty }f(ns){\varphi }_s(t-ns)\text{\hspace{1em}(2)}$$其中$${\varphi }_s(t)=\frac{sin(\pi t/s)}{\pi t/s}$$.
证明：当$|\omega |>\pi /s$时$\hat{f}(\omega )=0$,于是$\hat{f}(\omega -n\pi /s),\hat{f}(\omega )$的支集互不相交。故由(1)可得$$\hat{f}(d)=\frac{\hat{f}(\omega )}{s}$$,若$|\omega |\le \pi /s$,又因为$${\hat{\varphi }}_s(\omega )={\int }_{-\infty }^{+\infty }{\varphi }_s(t)e^{-i\omega t}dt={\int }_{-\infty }^{+\infty }\frac{sin(st)}{\pi t}{e}^{-i\omega t}dt=s\cdot 1_{[-\pi /s,\pi /s]}$$于是$$\hat{f}(\omega )={\hat{f}}_d(\omega ){\hat{\varphi }}_s(\omega )\text{\hspace{1em}(3)}$$由Fourier变换的性质（见上一篇文章）对(3)两端做Fourier变换有$$f(t)={\varphi }_s(t)\ast f_d(t)=\varphi (t)\ast \sum _{n=-\infty }^{+\infty }f(ns)\delta (t-ns)=\sum _{n=-\infty }^{+\infty }f(ns){\varphi }_s(t-s)$$

2.正交基下的香农采样

\qquad 我们知道，当给定空间的一组基时，空间中的任意元素都能表示成这组基的线性组合。由(2)的形式，任意的$f$都可以表示成采样点与${\varphi }_s(t-ns)$的线性组合，我们考虑以${\varphi }_s(t-ns)$为基的空间的$f$重构问题。记$U_s$为 { ϕ s ( t − n s ) } n ∈ Z \{\phi_s(t-ns)\}_{n\in Z} {ϕs​(t−ns)}n∈Z​张成的逼近空间。

1. 线性采样：
   \qquad 设 { ϕ s ( t − n s ) } n ∈ Z \{\phi_s(t-ns)\}_{n\in Z} {ϕs​(t−ns)}n∈Z​是$U_s$的一个$Riesz$基，且${\bar{\varphi }}_s(t)={\varphi }_s(-t)$,则存在$U_s$的一个双正交基 { ϕ ~ s ( t − n s ) } n ∈ Z \{\widetilde\phi_s(t-ns)\}_{n\in Z} {ϕ ​s​(t−ns)}n∈Z​使得$$P_{U_s}f(t)=\sum _{-\infty }^{+\infty }f\ast {\bar{\varphi }}_s(ns)\cdot {\tilde{\varphi }}_s(t-ns),\forall f\in L^2(R)$$.
2. 正交基
   \qquad 一个滤波器${\varphi }_s$可以生成空间$U_s$的一组$Riesz$基 { ϕ s ( t − n s ) } n ∈ Z \{\phi_s(t-ns)\}_{n\in Z} {ϕs​(t−ns)}n∈Z​，当且仅当存在$B\ge A>0$,使得$$A\le \frac{1}{s}\sum _{-\infty }^{+\infty }|\hat{\varphi }(\omega -\frac{2k\pi }{s}){|}^2\le B,\forall \omega \in [0,\frac{2k\pi }{s}]$$.
   \qquad 由${\varphi }_s(t)=s^{1/2}\varphi (t/s)$生成的族 { ϕ s ( t − n s ) } n ∈ Z \{\phi_s(t-ns)\}_{n\in Z} {ϕs​(t−ns)}n∈Z​是$U_s$的一个正交基，当且仅当$$\sum _{-\infty }^{+\infty }|\hat{\varphi }(\omega -2k\pi ){|}^2=1,\forall \omega \in [0,2\pi ]\text{\hspace{1em}(4)}$$且对偶滤波器${\tilde{\varphi }}_s={\varphi }_S$.
3. Shannon-whittaker 采样定理
   \qquad 若${\varphi }_s(t)=s^{1/2}\frac{sin(\pi s^{-1}t)}{\pi t}$则 { ϕ s ( t − n s ) } n ∈ Z \{\phi_s(t-ns)\}_{n\in Z} {ϕs​(t−ns)}n∈Z​是一函数空间$U_s$的正交基，该Fourier变换具有属于$[-\pi /s,\pi /s]$上的支集。若$f\in U_s$，则$$f(ns)=s^{1/2}f\ast {\varphi }_s(ns).$$
   证明：给定滤波器${\varphi }_s(t)=s^{-1/2}\frac{sin(\pi s^{-1}t)}{\pi t}$其中$\varphi (t)=\frac{sin\pi t}{\pi t}$,它的Fourier变化满足$\hat{\varphi }(\omega )=1_{[-\pi ,\pi ]}(\omega )$由（4）可得由${\varphi }_s(t)=s^{1/2}\varphi (t/s)$生成的族 { ϕ s ( t − n s ) } n ∈ Z \{\phi_s(t-ns)\}_{n\in Z} {ϕs​(t−ns)}n∈Z​是$U_s$的一个正交基。任意$f(t)={\sum }_{n=-\infty }^{+\infty }a[ns]{\varphi }_s(t-ns)\in U_s,(a[ns]$为$f$在正交基下的系数)的Fourier变换可表示为$$\hat{f}(\omega )=\sum _{n=-\infty }^{+\infty }a[ns]e^{-ins\omega }{\hat{\varphi }}_s(\omega )=\hat{a}(\omega )s^{1/2}{1}_{[-\pi /s,\pi /s]}.$$这意味着$f\in U_s$d的充要条件为$f$的Fourier变换具有属于$[-\pi /s,\pi /s]$的支集，若$f\in U_s$则利用 { ϕ s ( t − n s ) } n ∈ Z \{\phi_s(t-ns)\}_{n\in Z} {ϕs​(t−ns)}n∈Z​的正交分解得$$f(t)=P_{U_s}f(t)=\sum _{n\in Z}<f(u),{\varphi }_s(u-ns)>{\varphi }_s(t-ns)$$由${\varphi }_s(ns)=s^{-1/2}\delta [ns]$(注：$\delta [ns]$表示当$ns=0$时取1，其他情况取0)的定义及${\varphi }_s(-t)={\varphi }_s(t)$可得$$f(ns)=s^{-1/2}<f(u),{\varphi }_s(u-ns)>=s^{-1/2}f\ast {\varphi }_s(ns).$$