1. 引言
经过多年的研究和发展,框架理论已经形成了一套相对比较完整的理论体系,其中小波框架和Gabor框架是框架理论中的一个十分重要研究领域 [1] [2]。小波框架和Gabor框架的大量文献目前在信号图像处理、时频分析、量子力学、电子工程的滤波器设计等多个相关方面被广泛应用 [3] [4]。由于基于多分辨分析(MRA)的小波紧框架,为分段函数提供了稀疏逼近且保证了快速分解算法和重构算法的存在,故基于多分辨分析的小波紧框架在图像处理中得以许多应用 [5] [6] [7]。基于的多分辨分析小波紧框架可以看作为基于正交多分辨分析小波的推广,它与基于正交多分辨分析小波是小波分析研究中的两大热点,其区别主要在于冗余性质。正是由于基于小波多分辨分析紧框架具有的冗余性使得应用基于小波多分辨分析紧框架在恢复原始信号的数值计算中更加稳定,与原始信号误差更小 [8] [9] [10] [11]。
2. MRA和基于MRA小波紧框
在本节中,主要介绍多分辨分析(MRA)以及基于多分辨分析小波紧框架的相关知识。在本文中,我们先给出平方可积函数空间
上的相关定义:
1987年,Meyer和Mallat第一次提出了多分辨分析的概念,将多分辨分析思想应用到小波分析中,给出了构造
正交小波基的一般方法,并提出了快速小波变换分解和重构算法,即Mallat算法。1988年,Daubechies构造了基于多分辨分析的紧支撑正交小波基。在本文中,我们应用C. De Boor等人给出的更为一般的多分辨分析 [12]。
对于
,记
,
,此处
且
。记
为空间
中的由函数族
经过平移伸缩所张成的空间
中的线性闭子空间。下面给出多分辨分析的概念。
定义2.1:闭子空间序列
称为一个多分辨分析(MRA),如果
满足下列条件:
1)
,
;
2)
;
3)
;
则称
为函数
生成空间
的一个多分辨分析。
定义2.2:若函数
存在离散序列
满足
,
(1)
则称函数
为细分函数(或尺度函数),称序列
为细分函数
的细分面具。对等式(1)两边同时做傅里叶变换,得到
,
(2)
类似于多分辨分析中细分函数
的定义,定义小波函数族
,
(3)
其中称离散序列族
为函数族
的小波面具,同理对等式(3)两边同时做傅里叶变换,得到
,
(4)
从而可定义小波系
,即为
(5)
定理2.1:设函数
为
中的紧支撑细分函数满足
,并定义由函数
生成的闭子空间
,则可得闭子空间序列
形成一个多分辨分析。
定义2.3:希尔伯特空间H上的函数集合
称为一个框架,如果对
,均存在正常数A,B使得下式成立
并称A,B分别为框架的下界和上界。
特别的,若有
,则称框架
为紧框架,即
。
定理2.2:(酉扩展定理)设
为一个细分函数且满足
,其细分面具
为有限支撑序列,根据(3)式给出由小波面具
生成的函数族
,如果面具
满足
(6)
等价于
,
,
(7)
则根据(5)式中所定义的小波系
形成
的一个小波紧框架,且由函数
生成空间
中的多分辨分析,即闭子空间
。
3. p-带小波紧框架的构造
在本节中,我们主要根据酉扩展定理给出离散有限支撑序列
通过(5)式所定义的小波系统形成
小波紧框架的充分条件。
定理3.1:设
为一个有限支撑序列,由离散序列a来定义离散序列
,
,然后根据(1)式和(3)式分别定义细分函数
和函数族
,则若满足:
i)
;
ii)
,
,
;
iii)
;
则由(1)式所定义的细分函数
生成空间
的一个多分辨分析,且根据(3)式和(5)式定义的小波系
形成
的一个小波紧框架。
为了证明定理3.1给出以下的引理。
记
引理3.1:设面具
满足(6)式,则对
有
,
(8)
证明:面具
满足(6)式,即
,其中
表示矩阵
的共轭转置。根据矩阵的相关性质,我们只需证明对
时成立即可。
记
且记
,则可得
其中
计算可知,矩阵
的p个特征值分别为
,
。
又因为矩阵
为一个半正定矩阵,从而有
,即
时(8)式成立。
引理3.2:设
为一个有限支撑序列,即
,
,且可由序列
定义M个离散紧支撑序列,即
,
且如果满足:
i)
;
ii)
,
,
;
则有定义的离散序列
,
满足
。
证明:
,由
可得
对
,
,
。则有
,
若
(或
),由(i)
可知
则当
(或
)时,
下面考虑当
时,
由(ii)
可得
即证
,
。
引理3.3:设序列
为一个有限支撑序列,对于
,
,满足
,定义离散序列
,
,且满足(6)式,则根据定义的细分函数
且满足
。
证明:根据定义有
,则可知
,又由
有限支撑,从而得
,即存在唯一紧支撑细分函数
满足
,且其傅里叶变换为
。
下面定义函数列
其中
,且
的依点列收敛到
。
根据引理3.1,当
时,即有
,
从而
根据归纳法,得
,
因为
依点列收敛到
,根据法图引理可得
,即证
。
利用以上三个引理和定理2.2易证定理3.1。
4. 3-带小波紧框架数值算例
例1. 当
时,我们可得离散序列
,从而可以分别给出相应的细分面具和小波面具
,
,由
生成的细分函数和函数族
的函数图像如图1。
例2. 当
时,我们可得离散序列
,从而可以分别给出相应的细分面具和小波面具
,
,由
生成的细分函数和函数族
的函数图像如图2。