小波系框架

框架的概念

定义1：设 $V$ 是一个有限维向量空间，当 V = s p a n { e k } k = 1 m V=span\{ e_k \}_{k=1}^m V=span{ek​}k=1m​， { e k } k = 1 m \{ e_k \}_{k=1}^m {ek​}k=1m​ 是线性相关的，（即如果 ${\sum }_{k=1}^m{c}_k{e}_k=0$ 对于标量系数 { c k } k = 1 m \{ c_k \}_{k=1}^m {ck​}k=1m​ 成立，那么对于任意的 $k=1,...,m,c_k=0$ ）时，称在 $V$ 的序列 { e k } k = 1 m \{e_k\}_{k=1}^m {ek​}k=1m​ 时 $V$ 的基。

那么对于任意的 $f\in V$ 都有唯一的基表达式，即存在唯一的标量系数 { c k } k = 1 m \{c_k\}_{k=1}^m {ck​}k=1m​ 使得$$f=\sum _{k=1}^m{c}_k{e}_k.$$如果 { e k } k = 1 m \{e_k\}_{k=1}^m {ek​}k=1m​ 是标准正交基，$$⟨e_k,e_j⟩={\delta }_{k,j}=\{\begin{array}{ll}1& \text{if }k=j\\ 0& \text{if }k\ne j\end{array},$$那么系数 { c k } k = 1 m \{c_k\}_{k=1}^m {ck​}k=1m​ 很容易得到：$$\begin{gathered} ⟨f,e_j⟩=⟨\sum _{k=1}^m{c}_k{e}_k,e_j⟩=\sum _{k=1}^m{c}_k⟨e_k,e_j⟩=c_j, \\ f=\sum _{k=1}^m⟨f,e_k⟩e_k. \end{gathered}$$

定义2：设 $V$ 是一个可分的希尔伯特空间，如果存在常数 $A,B>0$ 使得$$A||f|{|}_2^2\le \sum _{k\in I}|⟨f,f_k⟩{|}^2\le B||f|{|}^2,\forall \in V.$$则称在 $V$ 上的一个可数元素族 { f k } k ∈ I \{f_k\}_{k\in I} {fk​}k∈I​ 是 $V$ 的一个框架。常数 $A,B$ 称为框架界。

命题1.1：如果 { f k } k = 1 m \{f_k\}_{k=1}^m {fk​}k=1m​ 是 $V$ 的一个序列，那么 { f k } k = 1 m \{f_k\}_{k=1}^m {fk​}k=1m​ 是 s p a n { f k } k = 1 m span\{ f_k \}_{k=1}^m span{fk​}k=1m​ 的一个框架。

命题1.2：$V$ 中的元素族 { f k } k = 1 m \{f_k\}_{k=1}^m {fk​}k=1m​ 是 $V$ 的框架当且仅当 s p a n { f k } k = 1 m = V span\{f_k \}_{k=1}^m=V span{fk​}k=1m​=V。
设 { f k } k = 1 m \{f_k\}_{k=1}^m {fk​}k=1m​ 是向量空间 $V$ 的一个框架，定义线性映射为： T : C m → V , T { c k } k = 1 m = ∑ k = 1 m c k f k . T:C^m\to V,T\{c_k\}_{k=1}^m=\sum_{k=1}^{m}c_kf_k. T:Cm→V,T{ck​}k=1m​=k=1∑m​ck​fk​. $T$ 被称为合成算子。定义它的伴随算子为：$$T^{\ast }:V\to C^m,T^{\ast }f=\{⟨f,f_k⟩{\}}_{k=1}^m,$$通过复合 $T$ 和 $T^{\ast }$ 得到框架算子：$$\begin{gathered} S:V\to V,Sf=T{T}^{\ast }f=\sum _{k=1}^m⟨f,f_k⟩f_k. \\ ⟨Sf,f⟩=\sum _{k=1}^m|⟨f,f_k⟩{|}^2,f\in V. \end{gathered}$$如果定义2中的 $A=B$ ,即$$\sum _{k=1}^m|⟨f,f_k⟩{|}^2=A||f|{|}^2,\forall f\in V.$$这个框架 { f k } k = 1 m \{f_k\}_{k=1}^m {fk​}k=1m​称为紧框架，A称为框架界。

命题1.3：假设 { f k } k = 1 m \{ f_k\}_{k=1}^m {fk​}k=1m​ 是 $V$ 的一个紧框架，且框架界为 $A$，那么 $S=AI$（这里 $I$ 是 $V$ 的任意算子），并且$$f=\frac{1}{A}\sum _{k=1}^m⟨f,f_k⟩f_k,\forall f\in V.$$在空间$L^2(R)$的小波框架中起重要作用的三个算子：
1.平移算子$T_a(a\in R):L^2(R)\to L^2(R),(T_{a}f)(x)=f(x-a);$

2.调制算子$E_b(b\in R):L^2(R)\to L^2(R),(E_{b}f)(x)=e^{2\pi ibx}f(x);$

3.伸缩算子$D_a(a\ne 0):L^2(R)\to L^2(R),(D_{a}f)(x)=f(x/a)/\sqrt{|a|}.$

命题1.4：平移算子满足以下条件：
1.对于所有 $a\in R$ , $T_a$ 是酉算子。

2.对于每一个 $f\in L^2(R)，y\leftrightarrow T_{y}f$ 从 $R$ 到 $L^2(R)$ 是连续的。

这对于 $E_b(b\in R)$ 和 $D_a(a\ne 0)$ 同样成立。

在 $L^2(R)$ 中的函数可以通过算子 $T_a$ , $E_b$ 和 $D_a$ 的一些组合得到：
$$T_a{E}_{b}f(x)=e^{-2\pi iba}{E}_b{T}_{a}f(x)=E^{2\pi ib(x-a)}f(x-a),$$$$T_b{D}_{a}f(x)=D_a{T}_{b/a}f(x)=f(x/a-b/a)\sqrt{|a|}$$$$D_a{E}_{b}f(x)=e^{-2\pi ixb/a}f(x/a)/\sqrt{|a|}=E_{b/a}{D}_{a}f(x).$$
在小波分析中一个特别重要的算子 $D_{1/2}$，简单写为：$Df(x):=2^{1/2}f(2x).$
$T_a$ 和 $D_a$ 的复合关系能够表示为： $T_k{D}^j=D^j{T}_{2^{j}k}$ 和 $D^j{T}_k=T_{2^{-j}k}{D}^j,j,k\in Z.$
常常将 Fourier 变换用于小波系中，在这样的情况下，$$F{T}_a=E_{-a}F,F{E}_a=T_{a}F,F{D}_a=D_{1/a}F,FD=D^{-1}F.$$

小波框架

设 $\Psi \in L^2(R)$，如果 $$C_{\Psi }:={\int }_{-\infty }^{+\infty }\frac{|\hat{\Psi }(r){|}^2}{|r|}dr<\infty .$$则称 $\Psi (x)$ 满足容许性条件。给出一个可容许函数 $\Psi \in L^2(R)$，定义关于$\Psi (x)$的连续小波变换和函数 $f(x)\in L^2(R)$ 作为 $W_{\Psi }(f)$ 的两个变量 $$W_{\Psi }(f)(a,b)=⟨f,{\Psi }^{a,b}⟩={\int }_{-\infty }^{+\infty }f(x)\overline{\Psi ((x-b)/a)}/|a{|}^{1/2}dx.$$

命题2.1：假设$\Psi (x)$是可容许的，那么对于所有函数 $f(x),g(x)\in L^2(R),$$${\int }_{-\infty }^{+\infty }{\int }_{-\infty }^{+\infty }{W}_{\Psi }(f)(a,b)\overline{W_{\Psi }(g)(a,b)}\frac{dadb}{a^2}=C_{\Psi }⟨f,g⟩.$$根据函数 ${\Psi }^{a,b}(x):=(T_a{D}_a\Psi )(x)=(D_{a^j}{T}_{kb}\Psi )(x)=\Psi ((x-b)/a)/|a{|}^{1/2}$，平移参数 $a$ 和 伸缩参数 $b$ ,得到 $$(T_{kb{a}^j}{D}_a,\Psi )(x)=(D_{a^j}{T}_{kb}\Psi )(x)=\Psi (x/a^j-kb)/a^{j/2},j,k,\in Z.$$通过替换参数 $i\to -j$，得到 ( T k b a j D a , Ψ ) j , k ∈ Z = { a j / 2 Ψ ( a j x − k b ) } j , k ∈ Z . (T_{kba^j}D_a,\Psi)_{j,k\in Z}=\{ a^{j/2}\Psi(a^jx-kb) \}_{j,k\in Z}. (Tkbaj​Da​,Ψ)j,k∈Z​={aj/2Ψ(ajx−kb)}j,k∈Z​.

命题2.2：设$a>1,b>0,\Psi \in L^2(R)$，如果 { a j / 2 Ψ ( a j x − k b ) } j . k ∈ Z \{ a^{j/2}\Psi(a^jx-kb) \}_{j.k \in Z} {aj/2Ψ(ajx−kb)}j.k∈Z​ 是一个框架,且框架界为 $A,B$ ，那么$$bA\le \sum _{j\in Z}|\hat{\Psi }(a^j\gamma ){|}^2\le bB,$$

定义3：假设 { Ψ j , k ( x ) } j , k ∈ Z \{ \Psi_{j,k}(x) \}_{j,k \in Z} {Ψj,k​(x)}j,k∈Z​ 是 $L^2(R)$ 的一个紧小波框架，框架界是 $A$ ,那么$$f=\frac{1}{A}\sum _{j,k\in Z}⟨f,{\Psi }_{j,k}⟩{\Psi }_{j,k},\forall f\in L^2(R).$$

命题2.3：对于任意奇整数 $q$ ,一个函数 $\Psi (x)\in L^2(R)$ 生成一个紧小波框架 { Ψ j , k } j , k ∈ Z \{ \Psi_{j,k} \}_{j,k \in Z} {Ψj,k​}j,k∈Z​，框架界为 $A$，当且仅当下列等式成立：$$\begin{gathered} \sum _{j\in Z}|\hat{\Psi }(2^j\gamma ){|}^2=A, \\ \sum _{j=0}^{\infty }\hat{\Psi }(2^j\gamma )\overline{\Psi (2^j(\gamma +q))}=0,\forall 奇整数q. \end{gathered}$$

半正交小波框架

$s$ 是 $R^n$ 上的一个向量，一个单一平移算子 $T_s$ 定义为$$(T_{s}f)(t)=f(t-s),\forall f\in L^2(R^n),t\in R^n.$$整数平移族 { T k f : k ∈ Z n } \{T_kf:k \in Z^n\} {Tk​f:k∈Zn} 用 $T(f)$ 表示。

设 $E_d^{(2)}$ 表示扩张矩阵 $A$ 使得 $|detA|=2$，对于 $A\in E_d^{(2)}$，在 $L^2(R)$ 上定义单一算子 $D$ 为：$$(Df)(t)=|detA{|}^{1/2}f(At),\forall f\in L^2(R^n),t\in R^n.$$
如果 $f\in L^2(R^n)\cap L^1(R^n)$，那么定义它的 Fourier 变换：$$\hat{f}(x)={\int }_{R^d}{e}^{-i2\pi ⟨s,t⟩}f(t)dt,$$这里 $⟨s,t⟩$ 表示 $R^n$ 内积。有相关表示： s u p p f = { s ∈ R n : f ^ ( s ) ≠ 0 } . suppf=\{ s \in R^n:\hat f(s) \not= 0 \}. suppf={s∈Rn:f^​(s)=0}.对于任意 $f\in L^2(R^n),$$${\hat{T}}_{k}f(\xi )=e^{-2\pi i(k,\xi )}\hat{f}(\xi ),\forall k\in Z^n,$$ $${\hat{D}}^{j}f(\xi )=2^{-j/2}\hat{f}(B^{-j}\xi ),j\in Z,$$特别地，$$\hat{D}f(\xi )=2^{-1/2}\hat{f}(B^{-1}\xi ).$$

命题3.1：设 $B\in E_d^{(2)}$ 是任意整数矩阵使得 $|detB|=2$，那么组 $Z^n/B{Z}^n$ 和 $B^{-1}{Z}^n/Z^n$ 是同构的，$Z^n/B{Z}^n$ 等于 2。特别地，如果 $a\in Z^n/B{Z}^n,\beta =B^{-1}\alpha$，那么 $Z^n=B{Z}^n\cup (B{Z}^n+\alpha ),Z^n=Z^n\cup (Z^n+\beta )$。

定义4：如果在 Hilbert 空间 H 存在一个元素族 { φ j : j ∈ J } \{\varphi _j: j\in J\} {φj​:j∈J}，常数 $A,B,0\le A\le B<\infty$ 使得$$A||f|{|}^2\le \sum _{j\in J}|⟨f,{\phi }_j⟩{|}^2\le B||f|{|}^2,\forall f\in H.$$ 则称 { φ j : j ∈ J } \{\varphi_j:j\in J \} {φj​:j∈J} 是 H 的一个框架。对于一个函数 $\Psi (x)\in L^2(R^n)$，定义 $\Psi$ 为： Ψ = { Ψ j , k ( x ) / Ψ j , k ( x ) = 2 j / 2 Ψ ( A j x − k ) , j ∈ Z , k ∈ Z n } . \Psi=\{\Psi_{j,k}(x)/\Psi_{j,k}(x)=2^{j/2}\Psi(A^jx-k),j\in Z,k \in Z^n \}. Ψ={Ψj,k​(x)/Ψj,k​(x)=2j/2Ψ(Ajx−k),j∈Z,k∈Zn}.

定义5：如果 Ψ = { Ψ j , k ( x ) / Ψ j , k ( x ) = 2 j / 2 Ψ ( A j x − k ) , j ∈ Z , k ∈ Z n } . \Psi=\{\Psi_{j,k}(x)/\Psi_{j,k}(x)=2^{j/2}\Psi(A^jx-k),j\in Z,k \in Z^n \}. Ψ={Ψj,k​(x)/Ψj,k​(x)=2j/2Ψ(Ajx−k),j∈Z,k∈Zn}. 是 $L^2(R^n)$ 的一个框架，则称 $\Psi \in L^2(R^n)$ 是一个小波框架生成元。

定义6：如果 Ψ = { Ψ j , k ( x ) / Ψ j , k ( x ) = 2 j / 2 Ψ ( A j x − k ) , j ∈ Z , k ∈ Z n } . \Psi=\{\Psi_{j,k}(x)/\Psi_{j,k}(x)=2^{j/2}\Psi(A^jx-k),j\in Z,k \in Z^n \}. Ψ={Ψj,k​(x)/Ψj,k​(x)=2j/2Ψ(Ajx−k),j∈Z,k∈Zn}. 是 $L^2(R^n)$ 的一个 Parseval 框架，则称 $\Psi \in L^2(R^n)$ 是一个 Parseval 小波框架。

定义7：如果对于一个小波框架，$D^{j_1}{T}_{k_1}\Psi \perp D^{j_2}{T}_{k_2}\Psi ,j_1\ne j_2;k_1,k_2\in Z^n$ 成立，则称这个小波框架是半正交的。

定义8：设 $(V_j),j\in Z$ 是 $L^2(R^n)$ 的闭子空间的一个序列满足 $V_j\subset V_{j+1}$;$\overline{\bigcup _{j\in Z}}{V}_j=L^2(R^n)$; ⋂ j ∈ Z V j = { 0 } \bigcap\limits_{j\in Z}V_j=\{ 0 \} j∈Z⋂​Vj​={0};$f\in V_j\iff f(A\cdot )\in V_{j+1},j\in Z;$ 核空间 $V_0$ 是平移不变的即 $f\in V_0\Rightarrow T_{k}f\in V_0,\forall k\in Z^n$,这是广义多辨分析（GMRA）。

命题3.2：假设 Ψ = { ψ j , k ( x ) ∣ ψ j , k ( x ) = 2 j / 2 ψ ( A j x − k ) , j ∈ Z , k ∈ Z n } \Psi=\{ \boldsymbol\psi_{j,k}(x)|\boldsymbol\psi_{j,k}(x)=2^{j/2}\boldsymbol \psi(A^jx-k),j\in Z,k\in Z^n \} Ψ={ψj,k​(x)∣ψj,k​(x)=2j/2ψ(Ajx−k),j∈Z,k∈Zn} 是 $L^2(R^n)$ 上的一个小波框架，$T(\mathbf{\psi })$ 是闭子空间 W 0 = { f : s u p p f ^ ⊂ M } W_0=\{ f:supp \hat f \sub M \} W0​={f:suppf^​⊂M} 的小波框架，这里 $\hat{\mathbf{\psi }}=M$。那么 $\Psi$ 是 $L^2(R^n)$的半正交小波框架当且仅当$$supp\widehat{{\mathbf{\psi }}_{j,0}}\cap supp\widehat{{\mathbf{\psi }}_{l,0}},\forall j,l\in Z,j\ne l$$成立。

分数阶小波框架

定义分数阶母小波：$${\Psi }_{\theta ,\gamma ,s}=\Psi ((t-\gamma )/s)e^{-(i(t^2-{\gamma }^2)\cot \theta )/2}/\sqrt{s},\gamma \in R,s>0,$$假设 ${\Psi }_{\theta ,j,k}(t)$ 是上式的离散形式，即对函数 $\Psi \in L^2(R)$ 进行离散仿平移和 Chirp 调制而成，$${\Psi }_{\theta ,j,k}(t)=a^{j/2}\Psi (a^{j}t-kb)e^{-(j(t^2-(ka-jb{)}^2)\cot \theta )/2},j,k\in Z.$$函数 $f(x)$ 的 FRFT 定义为$${\hat{f}}^{\theta }(\xi )=(F^{\theta }f)(\xi )={\int }_R{K}^{\theta }(\xi ,t)f(f)dt,$$其中核函数为$$K^{\theta }(\xi ,t)=\{\begin{array}{l}\sqrt{1-i\cot \theta }{e}^{i(t^2+{\xi }^2)/2}\cot \theta -i\xi t\csc \theta ,\theta \ne n\pi ,\\ \delta (\xi -t),\theta =2n\pi ,\\ \delta (\xi +t),\theta =2n\pi \pm \pi ,\end{array}$$
分数阶 Fourier 变换中的参数 $\theta$ 可以被解释为时频平面中的旋转角。分数阶 Fourier 变换（FRFT）是 Fourier 级数的一种扩展形式，$${\varphi }_{\theta ,k}=\sqrt{(\sin \theta -i\cos \theta )/T}{e}^{-i((t^2+(k\sin \theta {)}^2)/2)\cot \theta +ikt\csc \theta },k\in Z,$$构成 $L^2(0,T)$ 空间的一组正交基，其中 $\theta \in (0,2\pi )$ 是分数阶 Fourier 变换的旋转角。

定义9：如果函数族 { Ψ θ , j , k ( t ) } j , k ∈ Z \{ \Psi_{\theta,j,k}(t) \}_{j,k\in \Z} {Ψθ,j,k​(t)}j,k∈Z​ 满足框架不等式$$A||f|{|}^2\le \sum _{j,k\in \mathbb{Z}}|⟨f,{\Psi }_{\theta ,j,k}⟩{|}^2\le B||f|{|}^2,f\in L^2(R),$$称 { Ψ θ , j , k ( t ) } j , k ∈ Z \{ \Psi_{\theta,j,k}(t) \}_{j,k\in \Z} {Ψθ,j,k​(t)}j,k∈Z​ 是 $L^2(R)$ 的分数阶小波框架。如果 $A=B$，则称它为紧分数阶小波框架。

命题4.1：设 { Ψ θ , j , k ( t ) } j , k ∈ Z \{ \Psi_{\theta,j,k}(t) \}_{j,k\in \Z} {Ψθ,j,k​(t)}j,k∈Z​ 其中 $a>1,b>0$。如果其构成 $L^2(R)$ 的框架并且框架界为 $A$ 和 $B$，那么$$bA\le 2\pi \sin \theta \sum _{j\in \mathbb{Z}}|F^{\theta }[e^{-(i(\cdot {)}^2\cot \theta )/2}](a^{-j}\xi ){|}^2\le bB,a.e..$$

命题4.2：在命题 5.1 的条件下，函数 $\Psi$ 满足容许性条件，$$C_{\Psi ,\theta }={\int }_R|F^{\theta }[e^{-(i(\cdot {)}^2\cot \theta )/2}](\xi )|/|\xi {|}^2<\infty .$$

命题4.3：设 { Ψ θ , j , k ( t ) } j , k ∈ Z \{ \Psi_{\theta,j,k}(t) \}_{j,k\in \Z} {Ψθ,j,k​(t)}j,k∈Z​ 其中 $a=2,b=1$。集合 { Ψ θ , j , k ( t ) } j , k ∈ Z \{ \Psi_{\theta,j,k}(t) \}_{j,k\in \Z} {Ψθ,j,k​(t)}j,k∈Z​ 构成 $L^2(R)$ 的紧分数阶小波框架当且仅当$$\begin{gathered} 2\pi \sin \theta \sum _{j,k\in \mathbb{Z}}|F^{\theta }[e^{-(i(\cdot {)}^2\cot \theta )}](2^{-j}\xi ){|}^2=1,a.e.,\xi \in \mathbb{R}, \\ \sum _{j\in Z}\overline{F^{\theta }[e^{-(i(\cdot {)}^2\cot \theta )/2}\Psi ]}(2^{-j}\xi )F^{\theta }[e^{-(i(\cdot {)}^2\cot \theta )/2}\Psi ](2^{-j}(\xi +k2\pi \sin \theta ))=0,a.e.,\xi \in \mathbb{R}, \end{gathered}$$对任意的 $k\in 2Z+1$ 成立。

Gabor 框架

Gabor 框架是框架理论中非常重要的典型框架，它与小波框架有着一定的区别。
定义10：设 $a,b>0$，某确定函数 $g(x)\in L^2(R)$，则形如 { E m b T n a g } m , n ∈ Z = { e 2 π i m b x g ( x − n a ) } m , n ∈ Z \{E_{mb}T_{na}g\}_{m,n\in Z}=\{ e^{2\pi i m b x} g(x-na)\}_{m,n \in Z} {Emb​Tna​g}m,n∈Z​={e2πimbxg(x−na)}m,n∈Z​的框架称为 Gabor 框架，也可以称为 Wey1-Heisenberg 框架，其中函数 $g(x)$ 称为窗口函数。

命题5.1：设 a > 0 , b > 0 , g ( x ) ∈ L 2 ( R ) , { E m b T n a g } m , n ∈ Z a>0,b>0,g(x)\in L^2(R),\{ E_{mb}T_{na}g \}_{m,n\in Z} a>0,b>0,g(x)∈L2(R),{Emb​Tna​g}m,n∈Z​ 是空间 $L^2(R)$ 的框架，并且框架界分别为 $C,G$ ，则有$$bC\le \sum _{m\in \mathbb{Z}}|g(x-na){|}^2\le bG$$几乎处处成立。

波包框架

波包系统是 $L^2(R^n)$ 空间中的一个单一函数 $\psi$ 的伸缩、平移和调制作用而构成的可数集。对于 $a>0,b>1$，函数 $\psi (x)\in L^2(R)$，定义波包系 $\Psi$ 为：$$\Psi ={\psi }_{j,k,m}/D_A^j{T}_{kb}{E}_{ma}\psi ,j\in Z,k\in Z^n,m\in Z^n$$其中 $A\in M_n(Z)$ 是任意一个扩张矩阵。

定义11：如果波包系 $\Psi$ 是 $L^2(R^n)$ 的一个框架，那么称它是一个波包框架；进一步，如果定义的波包系 $\Psi$ 是 $L^2(R^n)$ 中的一个 Parseval 框架，那么称它为一个波包 Parseval 框架。