Abstract
A concept of the sub-band operator of multi-band wavelets is introduced, the theory of d-circular matrices is developed and the upper bound and the lower bound of the norm of the sub-band operator are obtained. Examples are provided to illustrate the results proposed in this paper.
Similar content being viewed by others
1 Introduction
During the last three decades, the theory of frames, which generalize the notion of bases by allowing redundancy yet still providing a reconstruction formula, has been growing rapidly, since several new applications such as nonlinear sparse approximation (e.g., image compression), coarse quantization, data transmission with erasures, and wireless communication, have been developed [1–7]. As a special class of frames, the multi-band wavelets have attracted considerable attention due to their richer parameter space, to give better energy compaction than 2-band wavelets [8–16].
Let H be a separable Hilbert space, and E an indexing set. A sequence \(\{f_{l}\}_{l\in E}\) is called a frame in H if there exist constants \(0< A\leq B<+\infty\) such that
where A and B are called lower and upper frame bounds, respectively. If \(A=B\), the frame is called tight frame.
When \(H=L^{2}(R)\), a wavelet \(\psi(x)\in H\) gives rise to a classical wavelet frame \(\{a^{-j/2}\psi(a^{-j}x-bk),j,k\in Z\}\) with parameters \(a>1\), \(b>0\). Chui and Shi [17] established the relationship between the parameters and the frame bounds,
Equation (1.2) shows that the energy of a biorthogonal wavelet transform is controllable although it is not conservative. Moreover, \(B-A\) or \(\widetilde{B}-\widetilde{A}\) are smaller, the performance of a biorthogonal wavelet transform may be better, i.e., the energy is amplified in some cases and decreased in other cases. The classical biorthogonal wavelets are not tight frames, so obtaining the exact values of their bounds is difficult. Instead of estimating the bounds in (1.2), we can try to obtain the upper bound and the lower bound of the norm of the sub-band operator.
This paper is organized as follows. In Sect. 2, we define the sub-band operator, and obtain the limit form of the norm of the sub-band operator. We present a method for computing the upper bound and the lower bound of the norm of the sub-band operator based on the theory of circular matrix. Section 3 gives some examples to illustrate the results proposed in this paper.
2 Sub-band operator and d-circular matrix
Recall the sub-band coding scheme or Mallat algorithm associated to a d-band real biorthogonal wavelets. There are 2d filters \(h=(h_{n})_{n\in Z}\), \(g^{i}=(g^{i}_{n})_{n\in Z}\) (\(i=1,2,\ldots,d-1\)), \(\widetilde{h}=(\widetilde{h}_{n})_{n\in Z}\) and \(\widetilde{g}^{i}=(\widetilde{g}^{i}_{n})_{n\in Z}\) (\(i=1,2,\ldots,d-1\)), \(\{h,g^{1},g^{2},\ldots,g^{d-1}\}\) are used for decomposition and \(\{\widetilde{h},\widetilde{g}^{1},\widetilde{g}^{2},\ldots,\widetilde {g}^{d-1}\}\) for reconstruction. Starting from a data sequence \(x=(x_{n})_{n\in Z}\), we convolve with \(\{h,g^{1},g^{2},\ldots,g^{d-1}\}\),
The reconstruction operation is
The constraint conditions for biorthogonal d-band filter banks with perfect reconstruction property are:
-
a.
the low-pass and high-pass condition
$$\sum h_{k}=\sum\widetilde{h}_{k}= \sqrt{d},\qquad \sum g^{i}_{k}=\sum \widetilde{g}^{i}_{k}=0,\quad i=1,2,\ldots,d-1; $$ -
b.
the biorthogonal condition
$$\sum_{k} h_{k}\widetilde{h}_{k+dj}= \delta_{j},\qquad h_{k}\widetilde {g}^{i}_{k+dj}=g^{i}_{k} \widetilde{h}_{k+dj}=0,\quad\quad g^{i}_{k}\widetilde {g}^{l}_{k+dj}=\delta_{i-l}\delta_{j}, $$where \(\delta_{j}\) denotes the Dirac sequence such that \(\delta_{j}=1 \) for \(j=0\) otherwise \(\delta_{j}=0 \);
-
c.
the perfect reconstruction condition \(x=\widetilde{x}\).
In order to define (2.1) and (2.2) as operators, namely, sub-band operators, we assume that the input signal \(x\in l^{2}(-\infty,+\infty)\). Now consider the separable Hilbert space \(l^{2}(-\infty,+\infty)\). Define
as the usual inner product on \(l^{2}(-\infty,+\infty)\), where \(x,y\in l^{2}(-\infty,+\infty)\), and \(\overline{y}_{i}\) denotes the conjugate of the complex number \(y_{i}\).
Definition 2.1
The operator
is called a sub-band operator, where \(x\in l^{2}(-\infty,+\infty)\), \(y=(\ldots,c_{0},p^{1}_{0},p^{2}_{0},\ldots ,p^{d-1}_{0},c_{1},p^{1}_{1}, p^{2}_{1},\ldots,p^{d-1}_{1},\ldots)\), \(c_{n}\) and \(p^{i}_{n}\), \(i=1,2,\ldots,d-1\) are defined as in (2.1).
Throughout this paper, we assume \(h,g^{1},g^{2},\ldots,g^{d-1},\widetilde{h},\widetilde{g}^{1},\widetilde {g}^{2},\ldots,\widetilde{g}^{d-1}\) have only finitely many nonzero elements.
Theorem 2.1
If the d-band biorthogonal wavelets determined by the filters \(h,g^{1},g^{2},\ldots, g^{d-1}, \widetilde{h},\widetilde{g}^{1},\widetilde{g}^{2},\ldots,\widetilde{g}^{d-1} \) have the perfect reconstruction property, then the sub-band operator T is a bounded linear operator and reversible on \(l^{2}(-\infty,+\infty)\).
The proof of Theorem 2.1 is trivial.
As is well known, a bounded linear operator on \(l^{2}(-\infty,+\infty)\) can be expressed by an infinite-dimensional matrix. Using matrix notations, we have a more helpful expression of the operator T. Let
Then \(A= [s_{n,k}]\) and \(\widetilde{A}= [\widetilde{s}_{n,k}]\) (\(-\infty< n,k<+\infty\)) are infinite block circular matrices along four directions (up, down, left and right). At this time,
where x and y are doubly infinite column vectors to fit the matrix operation. Hence T can be viewed as an infinite matrix A, i.e., \(T=A\). If the sub-band decomposition has the perfect reconstruction condition, then it is obvious that A and à should satisfy
where I denotes the infinite identity matrix and \(A^{*} \) denotes the transpose of complex conjugate of A. Thus, \(T^{-1}=\widetilde{A}^{*}\).
Since \((Ax,y)=(x,A^{*}y)\), the adjoint operator of T is \(T^{*}=A^{*}\). Let \(Q=T^{*}T\), we have the following lemma.
Lemma 2.1
Retaining the definitions and notations as above, we have
Proof
Items (1) and (2) are trivial according to the operator theory [18]. Item (3) follows the fact that Q is a self-adjoint operator due to \(Q^{*}=Q\). □
\(Q=T^{*}T\) is called a frame operator in general [2]. Let \(\nu_{n}\) and \(\widetilde{\nu}_{n}\) denote the nth rows of A and Ã, respectively. Clearly, \((\nu_{j} ,\widetilde{\nu}_{k})=\delta_{j-k}\), where \(\delta_{j}\) is the Dirac sequence, i.e., \(\delta_{j}=1 \) for \(j=0\) otherwise \(\delta_{j}=0 \). Therefore, \(\{ \nu_{n}\}\) and \(\{ \widetilde{\nu}_{n}\}\) are dual biorthogonal bases in \(l^{2}(-\infty,+\infty)\). Let \(e_{n}\in l^{2}(-\infty,+\infty)\), its nth component be 1 and otherwise be 0. Then \(T\widetilde{\nu}_{n}=e_{n}=\widetilde{T}\nu_{n}\). For an arbitrary \(x\in l^{2}(-\infty,+\infty)\),
Let m and M denote the lower bound and the upper bound of \(\|T\|\), respectively.
Then
Similarly,
where m̃ and M̃ are the lower bound and the upper bound of \(\|\widetilde{T}\|\), respectively. Therefore, (2.4) and (2.5) are the counterparts of (1.1) in \(l^{2}(-\infty,+\infty)\).
Now we define a finite matrix \(A_{n}\) as the partial matrix of the infinite matrix A, its row index and column index are finite with the following form:
Theorem 2.2
Let \(Q_{n}=A_{n}^{*}A_{n}\) and \(\{\tau_{1}^{(n)},\tau_{2}^{(n)},\ldots, \tau_{dn}^{(n)}\}\) be all eigenvalues of \(Q_{n}\). Then
Proof
Since \(Q_{n}\) is a positive operator, it has dn positive real eigenvalues, and \((Qx,x)\geq0\). From Lemma 2.1, we have
Hence, there exists an \(x^{(m)}\in l^{2}(-\infty,+\infty)\), such that \(\|x^{(m)}\|=1\) and \(\|Q\|= \lim_{m\rightarrow\infty}(Qx^{(m)},x^{(m)})\). Let dn-dimensional vector \([x]_{n}^{(m)}\) be the finite part of \(x^{(m)}\).
On one hand, clearly, \(\| [x]_{n}^{(m)}\| \leq\|x^{(m)}\|\) for an arbitrary n. Let \([y]_{n}\) be a dn-dimensional vector. Then
Since \(Q_{n}\) is a finite-dimensional self-adjoint compact operator, we have
Hence,
On the other hand, for every sufficiently large n, there exists a dn-dimensional vector \([y]_{n}\), such that \(\| [y]_{n}\|=1\), and
Extend \([y]_{n}\) to \(y^{(n)}\in l^{2}(-\infty,+\infty)\) by appending 0s to the tuples which are not defined by \([y]_{n}\). Clearly, \(\| [y]_{n}\|=\|y^{(n)}\|=1\), and
It implies that
Hence, \(\|Q\|= \lim_{n\rightarrow \infty}\max\{\tau_{1}^{(n)},\tau_{2}^{(n)},\ldots, \tau_{dn}^{(n)}\}\). The proof is complete. □
Theoretically, Theorem 2.2 gives an exact value for \(\|Q\|\) and \(\|T\|=\sqrt{\|Q\|}\) is used to compute the norm of T. However, the eigenvalues are not easy to compute for generalized block Toeplitz matrices. We shall use the theory of circular matrix to compute the norm of Q. The block circular matrix is defined as follows [19]:
Clearly, \(A_{n}\) is different from \(B_{n}\). Let \(C_{n}=B_{n}-A_{n}\), then only finitely many (fixed) elements in \(C_{n}\) are not 0 no matter how large the dimension 4n is. We have
We have Theorem 2.3.
Theorem 2.3
Let \(P_{n}=B_{n}^{*}B_{n}\) and \(\{\lambda_{1}^{(n)},\lambda_{2}^{(n)},\ldots, \lambda_{dn}^{(n)}\}\) be all eigenvalues of \(P_{n}\). Then
Proof
Let \([x]_{n}\) be a dn-dimensional vector. We first prove that for \(\| [x]_{n}\|=1\), \(\lim_{n\rightarrow \infty}|(C_{n}^{*}B_{n} [x]_{n}, [x]_{n})|=0\), \(\lim_{n\rightarrow\infty}|(B_{n}^{*}C_{n} [x]_{n}, [x]_{n})|=0\), \(\lim_{n\rightarrow\infty}|(C_{n}^{*}C_{n} [x]_{n}, [x]_{n})|=0\).
In fact, the operator \(B_{n}\) is bounded. For \(\| [x]_{n}\|=1\), there exists a positive real number M such that
Note that \(C_{n} [x]_{n}\) only contains dn nonzero components.
Hence \(\lim_{n\rightarrow \infty}\|C_{n} [x]_{n}\|=0\), i.e., \(\lim_{n\rightarrow \infty}|(C_{n}^{*}C_{n} [x]_{n}, [x]_{n})|=0\).
Similarly, we can verify \(\lim_{n\rightarrow \infty}|(B_{n}^{*}C_{n} [x]_{n}, [x]_{n})|=0\) and \(\lim_{n\rightarrow\infty}|(C_{n}^{*}C_{n} [x]_{n}, [x]_{n})|=0\).
It follows from (2.6) that
where \(R_{n}=-C_{n}^{*}B_{n}-B_{n}^{*}C_{n}+C_{n}^{*}C_{n}\) and \(\lim_{n\rightarrow\infty}|(R_{n}, [x]_{n})|=0\).
It implies that
By Theorem 2.2, we have
The proof is complete. □
A so-called d-circular matrix [20], which is generated by the filters \(h,g^{1},g^{2},\ldots,g^{d-1}\), is denoted as \(M_{n} \). For \(d=4\), \(M_{3} \) is as follows:
Clearly, \(B_{n} \) and \(M_{n} \) are not so different. One can be obtained by exchanging the places of some rows of another, i.e., there exists an orthonormal matrix \(E_{n} \) such that \(M_{n}=E_{n}B_{n} \). The purpose is to facilitate the calculation of the eigenvalues.
Similarly, let \(\widetilde{M}_{n} \) be a d-circular matrix generated by \(\widetilde{h},\widetilde{g}^{1},\widetilde{g}^{2},\ldots,\widetilde{g}^{d-1}\). The perfect reconstruction condition is that there exists an integer \(N_{0}\), such that, for all \(n\geq N_{0}\) (in what follows, n sufficiently large is in this sense),
where \(I_{dn}\) is a \(dn\times dn\) identity matrix.
Theorem 2.4
Let \(M_{n} \) be a d-circular matrix generated by \(h,g^{1},g^{2},\ldots,g^{d-1}\). For sufficiently large n, then
where
Proof
Define
Since \(\|A_{dn}B_{dn}\|_{\infty}\leq\|A_{dn} \|_{\infty}\times\|B_{dn}\|_{\infty}\), \(\| \cdot \|_{\infty}\) is a compatible matrix norm. Note that \(A_{dn}=M_{n}M_{n}^{T}\) positive definite matrices, and all of the eigenvalues of \(M_{n}M_{n}^{T}\) are positive. According to the theory of matrices [19], we have
Note that the sub-matrices of \(M_{n}M_{n}^{T}\) such as \(HH^{T},HG_{1}^{T},HG_{2}^{T},\ldots,HG_{d-1}^{T},\ldots \) are all 1-circular matrices. Then
We have
Firstly, we verify that, for \(n\geq N_{0}\),
-
1.
There exists \(N^{*}_{0}\): when \(n\geq N^{*}_{0}\geq N_{0}\), we have
$$HH^{T}= \Bigl[\sum h_{i}h_{i},\sum h_{i}h_{i+d},\sum h_{i}h_{i+2d}, \ldots,0,\ldots ,\sum h_{i}h_{i+d} \Bigr]. $$Note that when the dimension increases, the nonzero elements of \(HH^{T}\) are the same. Therefore
$$\sum^{n}_{j=1}|a_{1,j}| = \sum _{j}\bigg|\sum_{i}{h_{i}h_{i+dj}}\bigg|. $$ -
2.
When \(N_{0}\leq n\leq N^{*}_{0} \), the nonzero elements of \(HH^{T}\) decrease.
It follows from \(|a+b|\leq|a|+|b|\) that
$$\sum^{n}_{j=1}|a_{1,j}|\leq\sum _{j}\bigg|\sum_{i}{h_{i}h_{i+dj}}\bigg|. $$We obtain
$$\sum^{n}_{j=1}|a_{1,j}|\leq\sum _{j}\bigg|\sum_{i}{h_{i}h_{i+dj}}\bigg|. $$Similarly, (2.8) holds true.
□
Remark
The right-hand side of (2.8) is only determined by the filters.
Theorem 2.5
Let T be the sub-band operator of d-band wavelets. Then
where the filter bands are \(\{h,g^{1},g^{2},\ldots,g^{d-1}\} \) and \(\{\widetilde{h},\widetilde{g}^{1},\widetilde{g}^{2},\ldots,\widetilde {g}^{d-1}\}\), respectively,
Proof
By Theorem 2.3, we have
where \(\{\lambda_{1},\lambda_{2},\ldots, \lambda_{dn}\}\) are all eigenvalues of \(M_{n}M^{T}_{n}\).
According to Theorem 2.4, we have
Similarly,
The proof is complete. □
3 Examples
In this section, we present two examples to illustrate the proposed results.
Example 3.1
Let the lengths of scaling filters be \((15,9)\). Assume that the scaling symbols \((H_{0}(z),\widetilde{H}_{0}(z)) \) have the following form:
where \((Q(z),\widetilde{Q}(z))\) are symmetric Laurent polynomials with degree \((4,2)\).
We can obtain the associated scaling filters as follows [21]:
(whereas the other half is symmetric and so is skipped). Thus, the wavelet filters \(h_{1}\), \(h_{2}\) and \(\widetilde{h}_{1}\), \(\widetilde{h}_{2}\) can be obtained as follows:
(whereas the other half is symmetric/antisymmetric and so skipped). See Fig. 1 for the spectral radius of \(M_{n}M_{n}^{T}\) and \(\widetilde{M}_{n}\widetilde{M}_{n}^{T}\). From Theorem 2.3, we can obtain \(\|T\|\approx1.06\), which is an approximation and not an exact value. Similarly, \(\|T^{-1}\|\approx1.32\). By Theorem 2.5, we can calculate that \(0.66\leq\|T\|\leq1.15\) and \(0.94\leq\|T^{-1}\|\leq1.51\).
Example 3.2
In [20], a 4-band symmetric biorthogonal wavelets which is denoted as Op(12-12) is designed. The corresponding wavelet filter banks \(\{h,g^{1}, g^{2}, g^{3} \}\) are as follows:
where \(t_{0}=0.01129264\), \(t_{1}=-0.01660958\), \(t_{2}= -0.01418315\), \(t_{3}= 0.02102888 \), \(t_{4}= 0.4676785\), \(t_{5}=0.5307927\), \(\widetilde{t}_{0}= -0.07653\), \(\widetilde{t}_{1}=-0.04528\), \(\widetilde{t}_{2}=0.01722 \), \(\widetilde{t}_{3}= 0.11097\), \(\widetilde{t}_{4}= 0.46556\), \(\widetilde{t}_{5}= 0.52806\).
It has been shown that the eigenvalues of \(M^{T}_{4n} M_{4n}\) appear in pairs of reciprocal, \(M^{T}_{4n} M_{4n}\) and \(\widetilde{M}^{T}_{4n} \widetilde{M}_{4n}\) have the same eigenvalues [20]. It is obvious that \(\max\{\lambda_{i}\}=\max\{\widetilde{\lambda}_{i}\}=\frac{1}{\min\{\lambda _{i}\}}=\frac{1}{\min\{\widetilde{\lambda}_{i}\}} \). See Fig. 2 for the spectral radius of \(M_{n}M_{n}^{T}\) and \(\widetilde{M}_{n}\widetilde{M}_{n}^{T}\). From Theorem 2.3, we can obtain \(\|T\|\approx1.14\), which is an approximation and not an exact value. According to Theorem 2.5, we have \(\|T\|=\|T^{-1}\|\leq1.18\).
4 Conclusions and future work
We can obtain the upper bound and the lower bound or an approximation of the sub-band operator’s norm based on the theory of circular matrix which plays an important role. We will calculate their norm for some special symmetric wavelets and design a family of biorthogonal wavelets based on the size of the norm.
References
Daubechies, I., Han, B., Ron, A., Shen, Z.: Framelets, MRA-based constructions of wavelet frames. Appl. Comput. Harmon. Anal. 14, 1–46 (2003)
Gavruta, L.: Frames for operators. Appl. Comput. Harmon. Anal. 32, 139–144 (2012)
Sun, W., Zhou, X.: Density and stability of wavelet frames. Appl. Comput. Harmon. Anal. 15, 117–133 (2003)
Heil, C., Kutyniok, G.: Density of wavelet frames. J. Geom. Anal. 13, 479–493 (2003)
Kim, H., Kim, R., Lee, Y., Yoon, J.: Quasi-interpolatory refinable functions and construction of biorthogonal wavelet systems. Adv. Comput. Math. 33, 255–283 (2010)
Cohen, A., Daubechies, I., Feauveau, J.: Biorthogonal bases of compactly supported wavelets. Commun. Pure Appl. Math. 45, 485–560 (1992)
Didenko, V.: Spectral radii of refinement and subdivision operators. Proc. Am. Math. Soc. 33, 2335–2346 (2005)
Han, B.: Symmetric orthonormal scaling functions and wavelets with dilation factor 4. Adv. Comput. Math. 8, 221–247 (1998)
Bi, N., Dai, X., Sun, Q.: Construction of compactly supported M-band wavelets. Appl. Comput. Harmon. Anal. 6, 113–131 (1999)
Chui, C., Lian, J.: Construction of compactly supported symmetric and antisymmetric orthonormal wavelets with scale = 3. Appl. Comput. Harmon. Anal. 2, 68–84 (1995)
Zou, Q., Wang, G., Yang, M.: Spectral radius of biorthogonal wavelets with its application. J. Korean Math. Soc. 51, 941–953 (2014)
Wang, G., Zou, Q., Yang, M.: Sub-band operators and saddle point wavelets. Appl. Math. Comput. 227, 27–42 (2014)
Cui, L., Zhai, B., Zhang, T.: Existence and design of biorthogonal matrix-valued wavelets. Nonlinear Anal., Real World Appl. 10, 2679–2687 (2009)
Jiang, Q.: Biorthogonal wavelets with 4-fold axial symmetry for quadrilateral surface multiresolution processing. Adv. Comput. Math. 34, 127–165 (2011)
He, T.: Biorthogonal wavelets with certain regularities. Appl. Comput. Harmon. Anal. 11, 227–242 (2001)
Zhuang, X.: Matrix extension with symmetry and construction of biorthogonal multiwavelets with any integer dilation. Appl. Comput. Harmon. Anal. 33, 159–181 (2012)
Chui, C., Shi, X.: Inequalities of Littlewood–Paley type for frames and wavelets. SIAM J. Math. Anal. 24, 263–277 (1993)
Naylor, A., Sell, G.: Linear Operator Theory in Engineering and Science. Springer, New York (2000)
Wang, G.: Four-bank compactly supported bi-symmetric orthonormal wavelets bases. Opt. Eng. 43, 2362–2368 (2004)
Zou, Q., Wang, G.: Optimal model for 4-band biorthogonal wavelets bases for fast calculation. J. Inequal. Appl. 2017, Article ID 222 (2017)
Zou, Q., Wang, G.: Construction of biorthogonal 3-band wavelets with symmetry and high vanishing moments. J. Math. 35, 12–22 (2015)
Acknowledgements
The authors would like to thank the editors and reviewers for their valuable comments, which greatly improved the readability of this paper. This work supported by the Natural Science Foundation of Hunan Province (No. 16JJ6102), the Outstanding Youth Foundation of Hunan Province Department of Education (No. 17B182), the Doctoral Foundation of Hunan University of Arts and Science (No. 15BSQD02), the College Students Research Study and Innovative Experiment Project of Hunan Province (No. 17541).
Author information
Authors and Affiliations
Contributions
All authors contributed to each part of this work equally and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zou, Q., Wang, G. & Cao, Q. The bounds estimate of sub-band operators for multi-band wavelets. J Inequal Appl 2018, 43 (2018). https://doi.org/10.1186/s13660-018-1630-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1630-1