小波变换
一维小波变换
因为存在 L 2 ( R ) = V j 0 ⊕ W j 0 ⊕ W j 0 + 1 ⊕ ⋯ L^{2}(\boldsymbol{R})=V_{j_{0}}\oplus W_{j_{0}}\oplus W_{j_{0}+1}\oplus\cdots L2(R)=Vj0⊕Wj0⊕Wj0+1⊕⋯,所以存在 f ( x ) f(x) f(x)可以在子空间 V j 0 V_{j_0} Vj0中用尺度函数展开和在子空间 W j 0 W j 0 + 1 , ⋯ W_{j_0}W_{j_{0+1}},\cdots Wj0Wj0+1,⋯中用某些数量的小波函数展开来表示。即
f ( x ) = ∑ k c j 0 ( k ) φ j 0 , k ( x ) + ∑ j = j 0 ∞ ∑ k d j ( k ) ψ j , k ( x ) f(x)=\sum_{k}c_{j_0}(k)\varphi_{j_0,k}(x)+\sum_{j=j_{0}}^{\infty}\sum_{k}d_{j}(k)\psi_{j,k}(x) f(x)=k∑cj0(k)φj0,k(x)+j=j0∑∞k∑dj(k)ψj,k(x)
其中 j 0 j_0 j0 是任意的开始尺度, c j 0 ( k ) c_{j_0}(k) cj0(k)通常称为近似和或尺度系数, d j ( k ) d_j(k) dj(k)称为细节和或小波系数。
由于双正交的性质可得
c j 0 ( k ) = ⟨ f ( x ) , φ j 0 , k ( x ) ⟩ = ∫ f ( x ) φ j 0 , k ( x ) d x d j ( k ) = ⟨ f ( x ) , ψ j , k ( x ) ⟩ = ∫ f ( x ) ψ j , k ( x ) d x c_{j_0}(k)=\Big\langle f(x),\varphi_{j_0,k}(x)\Big\rangle=\int f(x)\varphi_{j_0,k}(x)\mathrm{d}x\\ d_{j}(k)=\Big\langle f(x),\psi_{j,k}(x)\Big\rangle=\int f(x)\psi_{j,k}(x)\mathrm{d}x cj0(k)=⟨f(x),φj0,k(x)⟩=∫f(x)φj0,k(x)dxdj(k)=⟨f(x),ψj,k(x)⟩=∫f(x)ψj,k(x)dx
转换成离散形式可得
W φ ( j 0 , k ) = 1 M ∑ n f ( n ) φ j 0 , k ( n ) W ψ ( j , k ) = 1 M ∑ n f ( n ) ψ j , k ( n ) , j ≥ j 0 \begin{aligned} W_{\varphi}(j_{0},k)&=\frac{1}{\sqrt{M}}\sum_{n}f(n)\varphi_{j_{0},k}(n)\\ W_{\psi}(j,k)&=\frac{1}{\sqrt{M}}\sum_{n}f(n)\psi_{j,k}(n),\quad j\geq j_{0} \end{aligned} Wφ(j0,k)Wψ(j,k)=M1n∑f(n)φj0,k(n)=M1n∑f(n)ψj,k(n),j≥j0
其中 φ j 0 , k ( n ) \varphi_{j_0,k}(n) φj0,k(n) 和 ψ j , k ( n ) \psi_{j,k}(n) ψj,k(n)是基函数 φ j 0 , k ( x ) \varphi_{j_0,k}(x) φj0,k(x) 和 ψ j , k ( x ) \psi_{j,k}(x) ψj,k(x) 的取样形式。
由此可得
f ( n ) = 1 M ∑ k W φ ( j 0 , k ) φ j 0 , k ( n ) + 1 M ∑ j = j 0 ∞ ∑ k W ψ ( j , k ) ψ j , k ( n ) f(n)=\frac{1}{\sqrt{M}}\sum_{k}W_{\varphi}(j_{0},k)\varphi_{j_{0},k}(n)+\frac{1}{\sqrt{M}}\sum_{j=j_{0}}^{\infty}\sum_{k}W_{\psi}(j,k)\psi_{j,k}(n) f(n)=M1k∑Wφ(j0,k)φj0,k(n)+M1j=j0∑∞k∑Wψ(j,k)ψj,k(n)
通常 j 0 = 0 j_0=0 j0=0, M M M为2 的幂(即 M = 2 j ) M=2^{j}) M=2j)
而对于哈尔小波,离散的尺度和小波函数与 M × M M\times M M×M哈尔矩阵的行相对应,其中最小尺度为0,最大尺度为 j − 1 j-1 j−1
快速小波变换
对于图像的多分辨率变换
φ ( x ) = ∑ n h φ ( n ) 2 φ ( 2 x − n ) \varphi(x)=\sum_{n}h_{\varphi}(n)\sqrt{2}\varphi(2x-n) φ(x)=n∑hφ(n)2φ(2x−n)
并进行尺度化与平移操作,可得
φ ( 2 j x − k ) = ∑ n h φ ( n ) 2 φ ( 2 ( 2 j x − k ) − n ) = ∑ m h φ ( n ) 2 φ ( 2 j + 1 x − 2 k − n ) \begin{aligned} \varphi(2^{j}x-k) &=\sum_{n}h_{\varphi}(n)\sqrt{2}\varphi\left(2(2^{j}x-k)-n\right)\\ &=\sum_{m}h_{\varphi}(n)\sqrt{2}\varphi(2^{j+1}x-2k-n) \end{aligned} φ(2jx−k)=n∑hφ(n)2φ(2(2jx−k)−n)=m∑hφ(n)2φ(2j+1x−2k−n)
令 m = 2 k + n m=2k+n m=2k+n,可得
φ ( 2 j x − k ) = ∑ n h φ ( n ) 2 φ ( 2 ( 2 j x − k ) − n ) = ∑ m h φ ( n ) 2 φ ( 2 j + 1 x − 2 k − n ) = ∑ m h φ ( m − 2 k ) 2 φ ( 2 j + 1 x − m ) \begin{aligned} \begin{aligned} \varphi(2^{j}x-k) & =\sum_{n}h_{\varphi}(n)\sqrt{2}\varphi\left(2(2^{j}x-k)-n\right)\\ &=\sum_{m}h_{\varphi}(n)\sqrt{2}\varphi(2^{j+1}x-2k-n) \\ &=\sum_{m}h_{\varphi}(m-2k)\sqrt{2}\varphi(2^{j+1}x-m) \end{aligned} \end{aligned} φ(2jx−k)=n∑hφ(n)2φ(2(2jx−k)−n)=m∑hφ(n)2φ(2j+1x−2k−n)=m∑hφ(m−2k)2φ(2j+1x−m)
同理对于小波函数存在
ψ ( 2 j x − k ) = ∑ m h ψ ( m − 2 k ) 2 φ ( 2 j + 1 x − m ) \psi(2^{j}x-k)=\sum_{m}h_{\psi}(m-2k)\sqrt{2}\varphi(2^{j+1}x-m) ψ(2jx−k)=m∑hψ(m−2k)2φ(2j+1x−m)
其中将 ψ j , k ( x ) = 2 j / 2 ψ ( 2 j x − k ) \psi_{j,k}(x)=2^{j/2}\psi(2^{j}x-k) ψj,k(x)=2j/2ψ(2jx−k)代入 d j ( k ) = ⟨ f ( x ) , ψ j , k ( x ) ⟩ = ∫ f ( x ) ψ j , k ( x ) d x d_{j}(k)=\Big\langle f(x),\psi_{j,k}(x)\Big\rangle=\int f(x)\psi_{j,k}(x)\mathrm{d}x dj(k)=⟨f(x),ψj,k(x)⟩=∫f(x)ψj,k(x)dx可得
d j ( k ) = ∫ f ( x ) 2 j / 2 ψ ( 2 j x − k ) d x d_{j}(k)=\int f(x)2^{j/2}\psi(2^{j}x-k)\mathrm{d}x dj(k)=∫f(x)2j/2ψ(2jx−k)dx
又因为 ψ ( 2 j x − k ) = ∑ m h ψ ( m − 2 k ) 2 φ ( 2 j + 1 x − m ) \psi(2^{j}x-k)=\sum_{m}h_{\psi}(m-2k)\sqrt{2}\varphi(2^{j+1}x-m) ψ(2jx−k)=∑mhψ(m−2k)2φ(2j+1x−m)
所以存在
d j ( k ) = ∫ f ( x ) 2 j / 2 [ ∑ m h ψ ( m − 2 k ) 2 φ ( 2 j + 1 x − m ) ] d x = ∑ m h ψ ( m − 2 k ) [ ∫ f ( x ) 2 ( j + 1 ) / 2 φ ( 2 j + 1 x − m ) d x ] = ∑ m h ψ ( m − 2 k ) c j + 1 ( m ) \begin{aligned} d_{j}(k) &=\int f(x)2^{j/2}\biggl[\sum_{m}h_{\psi}(m-2k)\sqrt{2}\varphi(2^{j+1}x-m)\biggr]\mathrm{d}x\\ &=\sum_{m}h_{\psi}(m-2k)\biggl[\int f(x)2^{(j+1)/2}\varphi(2^{j+1}x-m)\mathrm{d}x\biggr]\\ &=\sum_{m}h_{\psi}(m-2k)c_{j+1}(m) \end{aligned} dj(k)=∫f(x)2j/2[m∑hψ(m−2k)2φ(2j+1x−m)]dx=m∑hψ(m−2k)[∫f(x)2(j+1)/2φ(2j+1x−m)dx]=m∑hψ(m−2k)cj+1(m)
同理可得
c j ( k ) = ∑ m h φ ( m − 2 k ) c j + 1 ( m ) c_{j}(k)=\sum_{m}h_{\varphi}(m-2k)c_{j+1}(m) cj(k)=m∑hφ(m−2k)cj+1(m)
即
W ψ ( j , k ) = ∑ m h ψ ( m − 2 k ) W φ ( j + 1 , m ) W φ ( j , k ) = ∑ m h φ ( m − 2 k ) W φ ( j + 1 , m ) \begin{aligned}W_{\psi}(j,k)&=\sum_{m}h_{\psi}(m-2k)W_{\varphi}(j+1,m)\\ W_{\varphi}(j,k)&=\sum_{m}h_{\varphi}(m-2k)W_{\varphi}(j+1,m)\end{aligned} Wψ(j,k)Wφ(j,k)=m∑hψ(m−2k)Wφ(j+1,m)=m∑hφ(m−2k)Wφ(j+1,m)
上式揭示了相邻尺度直接的离散小波变换(DWT)系数之间的关系,可以认为是 W φ ( j + 1 , m ) , W ψ ( j + 1 , m ) W_{\varphi}(j+1,m),W_{\psi}(j+1,m) Wφ(j+1,m),Wψ(j+1,m)分别与 h φ ( − n ) , h ψ ( − n ) h_{\varphi}(-n),h_{\psi}(-n) hφ(−n),hψ(−n)进行卷积操作并下采样得到的,于是可以写成
W ψ ( j , k ) = h ψ ( − n ) ⋆ W ϕ ( j + 1 , n ) ∣ n = 2 k , k ⩾ 0 W φ ( j , k ) = h φ ( − n ) ⋆ W φ ( j + 1 , n ) ∣ n = 2 k , k ⩾ 0 W_{\psi}(j,k)=h_{\psi}(-n)\star W_{\phi}(j+1,n)\Big|_{n=2k,k\geqslant0}\\\\W_{\varphi}(j,k)=h_{\varphi}(-n)\star W_{\varphi}(j+1,n)\Big|_{n=2k,k\geqslant0} Wψ(j,k)=hψ(−n)⋆Wϕ(j+1,n) n=2k,k⩾0Wφ(j,k)=hφ(−n)⋆Wφ(j+1,n) n=2k,k⩾0
即如下图所示的结构
同时可以经过多次迭代分解,如下图是二级分解的结构
二维小波变换
为了将小波变换扩展到适应二维的图像,由此定义,存在尺度函数
φ ( x , y ) = φ ( x ) φ ( y ) \varphi(x,y)=\varphi(x)\varphi(y) φ(x,y)=φ(x)φ(y)
以及三个对方向敏感的小波函数
ψ H ( x , y ) = ψ ( x ) φ ( y ) ψ V ( x , y ) = φ ( x ) ψ ( y ) ψ D ( x , y ) = ψ ( x ) ψ ( y ) \begin{aligned} &\psi^{H}(x,y)=\psi(x)\varphi(y) \\ &\psi^{V}(x,y)=\varphi(x)\psi(y) \\ &\psi^{D}(x,y) =\psi(x)\psi(y) \end{aligned} ψH(x,y)=ψ(x)φ(y)ψV(x,y)=φ(x)ψ(y)ψD(x,y)=ψ(x)ψ(y)
以上三个小波函数分别对应图像沿着列方向的变换、图像沿着行方向的变换、图像沿着对角线方向的变换
并存在
φ j , m , n ( x , y ) = 2 j / 2 φ ( 2 j x − m , 2 j y − n ) ψ j , m , n i ( x , y ) = 2 j / 2 ψ i ( 2 j x − m , 2 j y − n ) , i = { H , V , D } \begin{array}{c}{{\varphi_{j,m,n}(x,y)=2^{j/2}\varphi(2^{j}x-m,2^{j}y-n)}}\\{{\psi_{j,m,n}^{i}(x,y)=2^{j/2}\psi^{i}(2^{j}x-m,2^{j}y-n),i=\bigl\{H,V,D\bigr\}}}\\\end{array} φj,m,n(x,y)=2j/2φ(2jx−m,2jy−n)ψj,m,ni(x,y)=2j/2ψi(2jx−m,2jy−n),i={H,V,D}
并可以推导出离散形式的小波变换
W φ ( j 0 , m , n ) = 1 M N ∑ x = 0 M − 1 ∑ y = 0 N − 1 f ( x , y ) φ j 0 , m , n ( x , y ) W ψ i ( j , m , n ) = 1 M N ∑ x = 0 M − 1 ∑ y = 0 N − 1 f ( x , y ) ψ j , m , n i ( x , y ) , i = { H , V , D } \begin{aligned} W_{\varphi}(j_{0},m,n)&=\frac{1}{\sqrt{MN}}\sum_{x=0}^{M-1}\sum_{y=0}^{N-1}f(x,y)\varphi_{j_{0},m,n}(x,y)\\\\ W_{\psi}^{i}(j,m,n)&=\frac{1}{\sqrt{MN}}\sum_{x=0}^{M-1}\sum_{y=0}^{N-1}f(x,y)\psi_{j,m,n}^{i}(x,y),i=\{H,V,D\}\end{aligned} Wφ(j0,m,n)Wψi(j,m,n)=MN1x=0∑M−1y=0∑N−1f(x,y)φj0,m,n(x,y)=MN1x=0∑M−1y=0∑N−1f(x,y)ψj,m,ni(x,y),i={H,V,D}
其中 j 0 j_0 j0表示任意的开始尺度, W φ ( j 0 , m , n ) W_{\varphi}(j_{0},m,n) Wφ(j0,m,n)表示在尺度为 j 0 j_0 j0时的近似, W ψ i ( j , m , n ) , i = { H , V , D } W_{\psi}^{i}(j,m,n),i=\{H,V,D\} Wψi(j,m,n),i={H,V,D}表示对尺度为 j 0 j_0 j0时的水平、垂直与对角线方向的细节
当 j 0 = 0 , M = N = 2 j j_0=0,M=N=2^j j0=0,M=N=2j时,存在离散小波逆变换
f ( x , y ) = 1 M N ∑ m ∑ n W φ ( j 0 , m , n ) φ j 0 , m , n ( x , y ) + 1 M N ∑ i = H . V . D ∑ j = j 0 ∞ ∑ m ∑ n W ψ i ( j , m , n ) ψ j , m , n i ( x , y ) \begin{aligned} f(x,y)& =\frac{1}{\sqrt{MN}}\sum_{m}\sum_{n}W_{\varphi}(j_{0},m,n)\varphi_{j_{0},m,n}(x,y) \\ &+\frac{1}{\sqrt{MN}}\sum_{i=H.V.D}\sum_{j=j_{0}}^{\infty}\sum_{m}\sum_{n}W_{\psi}^{i}(j,m,n)\psi_{j,m,n}^{i}(x,y) \end{aligned} f(x,y)=MN1m∑n∑Wφ(j0,m,n)φj0,m,n(x,y)+MN1i=H.V.D∑j=j0∑∞m∑n∑Wψi(j,m,n)ψj,m,ni(x,y)
同理可以得到
小波分解过程如图所示
小波逆变换过程如图所示
其小波分解的结果如图所示