 Research
 Open access
 Published:
Prewavelet bases in Lebesgue spaces
Journal of Inequalities and Applications volume 2015, Article number: 286 (2015)
Abstract
Under the decay condition, we have constructed the dual wavelet basis of a prewavelet basis. The frame operators of both bases are bijective on Lebesgue spaces. Both bases are also unconditional bases for Lebesgue spaces.
1 Introduction
This study was motivated by the following two facts. There exists a compactly supported, smooth Riesz wavelet basis such that the corresponding frame operator is bijective on \(L^{2}(\mathbb {R})\), but not on \(L^{p}(\mathbb {R})\) for any specified \(1< p<2\) [1]. However, a frame operator is a composition of a preframe operator and the adjoint operator of the preframe operator. One therefore wonders whether the Riesz wavelet basis is complete in \(L^{p}(\mathbb {R})\), \(1< p<2\). The second one was found in [2], p.130,136, in which a Riesz wavelet basis with good behavior was found to maybe be not complete in \(L^{p}(\mathbb {R})\), \(2< p<\infty\). A more detailed understanding of such wavelets can be found in Remark 2.2.
This study confirms the bijectivity of the prewavelet (semiorthogonal wavelet) frame operator on \(L^{p}(\mathbb {R})\), \(1< p<\infty\) (Theorem 3.4). Due to bijectivity of the frame operator, it is certain that the preframe operator of the wavelet basis is surjective on \(L^{p}(\mathbb {R})\), \(1< p<\infty\). The keys for proving Theorem 3.4 are that the dual wavelet basis of the prewavelet basis has been constructed, and it has the same decay as the basis. In contrast, the two Riesz wavelet bases discussed earlier had only put emphasis on the wavelet behavior, but they ignored the behavior of a dual basis. It may yield negative results in the completeness of the wavelet bases in Lebesgue spaces.
This paper is organized as follows. In Section 2, we give the relevant theory of wavelet frames. In Section 3, we prove Lemma 3.1 and Theorems 3.23.4. Finally, we give further comments and examples in Section 4.
2 Preliminaries and notations
The bases in this paper are Schauder bases. Let \({\mathcal{B}}\) be a Banach space. A sequence \(\{f_{k}\}\subset {\mathcal{B}}\) is called a basis if for all \(f\in{\mathcal{B}}\), there exists unique sequence of scalars \(\{a_{k}\}\) such that
A basis \(\{f_{k}\}\) is unconditional in a Banach space if any convergent series \({\sum_{k}a_{k}f_{k}}\) converges unconditionally; that is, the series \({\sum_{k}a_{\pi(k)}f_{\pi(k)}}\) converges to the same limit for all permutations π of \({\Bbb{N}}\) (or \({\Bbb{Z}}\)). It is well known that unconditional bases can be characterized as follows.
Theorem 2.1
([3], Theorem 16.1)
Let \(\{f_{n}\}\) be a basis in a Banach space. Then the following properties are equivalent.

(1)
\(\{f_{n}\}\) is unconditional.

(2)
There exists a positive constant C such that, for all n, for all \(\epsilon_{i}=\pm1\), and for all scalars \(a_{1}, a_{2}, \ldots, a_{n}\),
$$\begin{aligned} \Biggl\ {\sum_{i=1}^{n}}\epsilon_{i}a_{i}f_{i} \Biggr\ \leq C \Biggl\ {\sum_{i=1}^{n}}a_{i}f_{i} \Biggr\ . \end{aligned}$$
The Wiener amalgam space \(W(L^{\infty}, l^{1})\) was introduced by Wiener in connection with the Tauberian theorem [4]. The definition of \(W(L^{\infty}, l^{1})\) is given as follows. A measurable function f belongs to \(W(L^{\infty}, l^{1})\) if it satisfies
Equation (2.1) leads to \(f \in L^{p}({\Bbb{R}})\), for all \(1\leq p\leq\infty\). Indeed,
Let Q be a mapping from \(L^{p}({\Bbb{R}})\) to \(L^{q}({\Bbb{R}})\), for all \(1\leq p, q\leq\infty\). Then Q is of type \((p,q)\) [5] if
where A does not depend on f. Similarly, Q is of weak type \((p,q)\) if
where A does not depend on f or α, and m is the Lebesgue measure. We note that an operator of type \((p,q)\) is also of weak type \((p,q)\).
A family of elements \(\{ {{\psi}_{i}}:i\in \mathbb {Z}\}\) is called a frame for a Hilbert space \(\mathcal{H}\) if there exist two constants \(0< A\le B<\infty\) such that
The numbers A, B are called frame bounds and if \(A=B\), we call this a tight frame. Frames are essentially a set of functions that span the whole space but are not necessarily linearly independent. Define the frame operator S of \(\{\psi_{i}:i\in \mathbb {Z}\}\),
and each \(f\in\mathcal{H}\) has the decomposition
The series converges unconditionally in \(\mathcal{H}\) [6], pp.9091. \(\{S^{1}\psi_{i}:i\in \mathbb {Z}\}\) is called the canonical dual of \(\{\psi_{i}:i\in \mathbb {Z}\}\), and every frame has its own canonical dual frame for \(L^{2}(\mathbb {R})\). T, which is bounded; it is called the preframe operator or the synthesis operator. We have
\(S=TT^{*}\). Both S and \(S^{1}\) are of type \((2,2)\), bounded, invertible, selfadjoint, and positive [6], p.90. \(\{S^{1}\psi _{i}:i\in \mathbb {Z}\}\) is also a frame in \({\mathcal {H}}\) and its frame operator is \(S^{1}\). The canonical dual frame \(\{S^{1}\psi_{i}:i\in \mathbb {Z}\}\) of a tight frame \(\{\psi_{i}:i\in \mathbb {Z}\}\) is simply \(\{\frac{1}{A}\psi _{i}:i\in \mathbb {Z}\}\).
Riesz bases are exact frames which obey the linear independence property, and their bounds coincide with the frame bounds. \(\{\psi _{i}:i\in \mathbb {Z}\}\) is a Riesz basis for \(\mathcal{H}\) if there exist constants \(A,B>0\) such that for every finite scalar \(\{c_{i}\}\) one has
The dual basis of a Riesz basis is, again, a Riesz basis and is equal to \(\{S^{1}\psi_{i}\}\) and
A frame which is not a Riesz basis is said to be overcomplete, and thus, for overcomplete frames, the coefficients in the series expansion of \(f\in\mathcal{H}\) are not unique.
We next turn to wavelets. Throughout this paper, we used the following notation:
where \(D^{j}(\cdot)(x):=2^{j/2}(\cdot)(2^{j}x)\), \(T_{k}(\cdot)(x):=(\cdot )(x+k)\). The affine wavelet frame system for \(L^{2}(\mathbb {R})\) generated by ψ is defined as \(\{\psi_{j,k}:j,k\in \mathbb {Z}\}\), and it is a frame for \(L^{2}(\mathbb {R})\). One can show that
However, in general [6], p.276,
In this case, we say that the canonical dual frame \(\{S^{1}\psi _{j,k}\}\) of \(\{\psi_{j,k}\}\) does not have the wavelet structure. \(\{ \psi_{j,k}\}\) and \(\{S^{1}\psi_{j,k}\}\) are a pair of biorthogonal (Riesz) wavelet bases [7] for \(L^{2}(\mathbb {R})\) if \(\{S^{1}\psi _{j,k}\}\) has the wavelet structure. Listed below (Remark 2.2) are a number of details that require attention.
Remark 2.2
(1) To avoid confusion, we denote by H the frame operator of \(\{S^{1}\psi_{j,k}\}\). Notice that H is bounded, invertible (\(SH=HS=I\)), selfadjoint, and positive on \(L^{2}(\mathbb {R})\) [6], p.90.
(2) If the frame operator of a frame is bijective on \(L^{p}(\mathbb {R})\), then bijectivity will guarantee the preframe operator to be surjective. Therefore, bijectivity guarantees that each function f in \(L^{p}(\mathbb {R})\) has an expansion in terms of the wavelet.
(3) There is an important function which comes from [8], [6], p.274, [9, 10]. Let \(\{\psi_{j,k}:j,k\in \mathbb {Z}\}\) be an orthonormal basis for \(L^{2}(\mathbb {R})\). Given \(0<\epsilon<1\), we define a function θ by
\(\{\theta_{j,k}:j,k\in \mathbb {Z}\}\) is a Riesz basis, but its canonical dual basis does not have a wavelet structure. Therefore, a function θ̃ such that \(\{\theta_{j,k}\}\) and \(\{\widetilde {\theta}_{j,k}\}\) are a pair of biorthogonal Riesz wavelet bases does not exist. However, \(S^{1}\theta\) is not always compactly supported even when θ has compact support [6], p.276. Even when θ belongs to the Schwartz class, \(S^{1}\theta_{j,0}\) does not belong to \(L^{p}\) for small \(p1>0\) [9]. Moreover, Tao pointed out that the frame operator of \(\{\theta_{j,k}\}\) with ‘good’ conditions does not necessarily come with the bijectivity [1]. This leads to the observation that continuously strengthening restrictions on the wavelets may not necessarily provide effectively guaranteed behavior of dual bases.
Finally, we say that ψ satisfies condition \(\mathcal{M}\) if
where \(\varphi(x):=\sup_{x\leq y}\psi (y)\), \(x\geq0\) is named minimum radical dominated function of ψ, and \(\mathcal{F_{\psi}}:=\{\psi_{j,k}:\psi\in\mathcal {M}, j, k\in{\Bbb{Z}}\}\) is a Riesz basis for \(L^{2}{(\mathbb {R})}\) with \(\psi \in\mathcal{M}\).
3 Proofs and results
The proofs of Lemma 3.1 and Theorem 3.2 are based on the CalderónZygmund decomposition theorem [5]. For all \(f\in L^{1}\cap L^{2}({\Bbb{R}})\) and \(\alpha >0\), there exists a collection \(\Omega\subset{\Bbb{Z}}^{2}\) such that the intervals \(\{I_{m,n}\}_{(m,n)\in\Omega}\) are disjoint, \(I_{m,n}:=[2^{m}n,2^{m}(n+1))\),
almost everywhere on \(F:= {{\Bbb{R}}\backslash\bigcup_{(m,n)\in\Omega}I_{m,n}}\), and also, for all \((m,n)\in\Omega\),
Therefore,
Let \(\mathcal{F_{\psi}}\) be a Riesz basis for \(L^{2}{(\mathbb {R})}\). We denote by \(P_{m}\) the projection onto a subspace of \(\mathcal{V}_{m}:=\overline {\operatorname{span}}\{S^{1}\psi_{j,k}: j,k\in \mathbb {Z}, j< m\}\),
for all \(f\in L^{1}\cap L^{2}({\Bbb{R}})\). For all \(f\in L^{1}\cap L^{2}({\Bbb{R}})\), we set
producing
Here, we would like to stress the importance of Lemma 3.1, being the foundation of the main results in this study. The proofs of Lemma 3.1 and Theorem 3.2 are based on the ideas expressed in [11, 12], without the unnecessary assumptions and complicated proving procedures. Most importantly, the results produced in Lemma 3.1 have not been produced in the references mentioned.
Lemma 3.1
Let ψ satisfy condition \(\mathcal{M}\). Then \(\psi\in W(L^{\infty}, l^{1})\), and (3.6) holds. Moreover, the following are equivalent:
The finiteness does not depend on m or n.
Proof of Lemma 3.1
\(\psi\in W(L^{\infty}, l^{1})\) and the part of equivalence are obvious. \(\psi\in W(L^{\infty}, l^{1})\) leads to \(\psi\in L^{p}({\Bbb{R}})\), for all \(1\leq p\leq\infty\). Next, we prove (3.6). We set
and we also note that \(\int_{1}^{\infty}\varphi (x)\,dx<\infty\). For any fixed \((m,n)\in\Omega\),
The finiteness in (3.8) does not depend on \((m,n)\) and can be proven by breaking k into parts. First,
Second, applying the Dirichlet test,
Because the double summation of (3.10) is finite, (3.9) is finite. We have
We will prove (3.10) using a pedagogical argument. Assuming that (3.10) does not hold, and given \(V>0\), there exist \(j_{0}>m\), \(k_{0}\in \mathbb {Z}\), \(q_{1}, q_{2}\in \mathbb {N}\) such that
where \(j_{1}\in\{j_{0}, j_{0}+1, \ldots, j_{0}+q_{1}1\}\), \(k_{0}\in\{k_{0}, k_{0}+1, \ldots, k_{0}+q_{2}1\}\). There also exist \(x_{0}\) and \(n_{0}\in \mathbb {Z}\) with \(x_{0}\in[k_{1},k_{1}+2^{j_{1}m})\) such that
where \(n_{1}:=\min\{ n_{0},  n_{0}+1\}\). Performing integration on both sides,
This is a contradiction to \({\int_{0}^{\infty}\varphi (x)\,dx<\infty}\).
Putting \((m,n)=(0,1)\) into (3.7), we obtain
and this leads to
So, (3.6) holds. □
Next, we prove Theorem 3.2, which explains that the frame operator of the Riesz wavelet basis with the decay condition has \(L^{p}\)boundedness. It has to be stressed that Theorem 3.2 does not need to take the behavior of the dual basis into consideration, and it also does not require the dual basis to have a wavelet structure.
Theorem 3.2
The frame operator S of a Riesz wavelet basis \(\mathcal{F_{\psi}}\) is of weak type \((1,1)\) and of type \((p,p)\), for all \(1< p<\infty\).
Proof of Theorem 3.2
The \(L^{p}\)boundedness of S can be proven if S being of weak type \((1,1)\) can be proven. We note that S is of type \((2,2)\). The proof is based on two inequalities:
where \(A_{1}\) and \(B_{1}\) do not depend on f or α. S being of weak type \((1,1)\) can be proven by the following:
for all \(f\in L^{1}\cap L^{2}({\Bbb{R}})\), \(\alpha>0\). Suppose for the moment that we know, and then we will immediately see from Marcinkiewicz interpolation theorem that S is of type \((p,p)\), \(1< p<2\), and thus by duality for all p, \(2< p<\infty\).
First, we claim that the first inequality holds. By Lemma 3.1 and the Dirichlet test, for any \((m,n), (m^{\prime},n^{\prime})\in \Omega\) with \(m\leq m^{\prime}\), there exist constants \(M_{1}\), \(M_{2}\), and \(M_{3}\) which do not depend on m or n, such that
where, by the Dirichlet test,
The finiteness of N derives from:
(1) Recall that \(\{I_{m^{\prime},n^{\prime}}\}_{(m^{\prime},n^{\prime})\in\Omega}\) are disjoint. Under \(m\leq m^{\prime}\) and \(p2^{m^{\prime}m}\leq n^{\prime}<(p+1)2^{m^{\prime}m}\), we have
It leads, for each p, to
(2) For any finite terms of p, j, and k,
Next,
and it leads to \(\g\_{2}^{2}\leq(N+1)\alpha\f\_{1}\).
For the second inequality, we set
Finally, we note that \(m\{\mathbb {R}\setminus F^{*}\}<3/\alpha\f\_{1}\) and thus
□
Theorem 3.3 gives a characterization on a pair of biorthogonal Riesz wavelet bases for Lebesgue spaces. The proof relies on the \(L^{p}\)boundedness of the frame operator of the dual wavelet basis which is an application from Theorem 3.2.
Theorem 3.3
Let \(\mathcal{F_{\psi}}\) and \(\mathcal{F_{\widetilde{\psi}}}\) be a pair of biorthogonal Riesz wavelet bases for \(L^{2}(\mathbb {R})\). Then:

(1)
The operator H is of weak type \((1,1)\) and of type \((p,p)\), for all \(1< p<\infty\). Moreover,
$$\begin{aligned} &C^{\prime}\f\_{p}\leq\Sf\_{p}\leq C^{\prime\prime} \f\_{p},\\ &C_{1}^{\prime}\f\_{p}\leq\ Hf\_{p}\leq C_{1}^{\prime\prime}\f\_{p}, \end{aligned}$$for all \(f\in L^{p}(\mathbb {R})\) and some constants \(C^{\prime}\), \(C^{\prime\prime}\), \(C_{1}^{\prime}\), \(C_{1}^{\prime\prime}\).

(2)
The two operators S and H are bijective on \(L^{p}(\mathbb {R})\), \(1< p<\infty\).

(3)
\(\mathcal{F_{\psi}}\) and \(\mathcal{F_{\widetilde{\psi}}}\) are also unconditional bases for \(L^{p}(\mathbb {R})\), \(1< p<\infty\).
Proof of Theorem 3.3
(1) Using the same argument as the proof of Theorem 3.2, the \(L^{p}\)boundedness of H can be proven. Next, we will prove that S is bounded below. By duality, for all \(f^{\prime}\in L^{2}\cap L^{p}(\mathbb {R})\), we have
for some constant \(\frac{1}{C}>0\) and \(1/p+1/q=1\). Since \(L^{2}\cap L^{p}(\mathbb {R})\) is dense in \(L^{p}(\mathbb {R})\), \(1< p<\infty\), for all \(f\in L^{p}({\mathbb {R}})\), there exists \(\{f_{k}\}\subset L^{2}\cap L^{p}(\mathbb {R})\) such that \(f_{k}\) converges to f in \(L^{p}\)norm,
So, S is injective and has a closed range. Similarly, we can prove that H is bounded below by using the method described above.
(2) To claim S is bijective, that the adjoint of S is bounded below needs to be proven. We denote by \(S^{*}\) the adjoint of S which is on \(L^{q}(\mathbb {R})\) into \(L^{q}(\mathbb {R})\), and which is based on (3.13),
This leads to
We can conclude that S is bijective on \(L^{p}(\mathbb {R})\), \(1< p<\infty\). Similarly, we can prove that H is bijective on \(L^{p}(\mathbb {R})\), \(1< p<\infty \) by using the method described above.
(3) In order to prove (3), we will change hypotheses (3.1)(3.5) to:
\(P_{m}\) is the projection onto a subspace of \(\mathcal{V}_{m}:=\overline {\operatorname{span}}\{\psi_{j,k}: j,k\in \mathbb {Z}, j< m\}\),
for all \(f\in L^{1}\cap L^{2}({\Bbb{R}})\). We set
producing
Define an operator Q on \(L^{2}(\mathbb {R})\) as
for all \(\epsilon_{j,k}=\pm1\). Using a similar argument to Theorem 3.2, the \(L^{p}\)boundedness of Q can be proven. Secondly, since \(L^{2}\cap L^{p}({\Bbb{R}})\) is a dense subset of \(L^{p}({\Bbb{R}})\), \(1< p<\infty\), we have \(f= {\sum_{j,k\in \mathbb {Z}}\langle f,\widetilde{\psi}_{j,k}\rangle\psi_{j,k}\in L^{p}({\Bbb{R}})}\), for any \(f\in L^{2}\cap L^{p}({\Bbb{R}})\). Thus, for each \(f\in L^{p}({\Bbb{R}})\), the series \({\sum_{j,k\in \mathbb {Z}}\langle f,\widetilde{\psi }_{j,k}\rangle\psi_{j,k}}\) converges unconditionally (since Q is of type \((p,p)\)) in \(L^{p}({\Bbb{R}})\) so that it must converge to f. Similarly, we can prove that \(\mathcal{F_{\widetilde{\psi}}}\) is an unconditional basis of \(L^{p}(\mathbb {R})\), \(1< p<\infty\) by using the methods described above. □
In order to fully understand the main result, we need some basic terminology. A prewavelet basis (semiorthogoal basis) is orthogonal between the different dilation levels and all dilations and shifts form a Riesz basis for \(L^{2}({\mathbb {R}})\). This was first used by Battle [13]. More information can be found in [14]. Wiener’s lemma was used to prove Theorem 3.4. Let \(\mathcal{A}\) be the set of all formal power series \(f= {\sum_{k\in{\Bbb{Z}}}a_{k}z^{k}}\) for which
where σ is the weight function which satisfies \(\sigma (x+y)\leq\sigma(x)\sigma(y)\). For example, \(\sigma(x)=(1+x)^{p}\), \(p>1\). So, if \(\{\sigma(k)a_{k}\}\in l^{1}(\mathbb {Z})\), f is a continuous function of z on the torus \(\mathbb{T}\), and \(\mathcal{A}\) is a commutative Banach algebra with the unit. In our application, we denote
where the sequence \(f\ast g\) on \(\mathbb {Z}\) is defined by
Now, we are ready to prove Theorem 3.4.
Theorem 3.4
Let ψ be a prewavelet of \(L^{2}({\Bbb{R}})\) with
Then, we have the following.

(1)
The dual basis \(\{\widetilde{\psi}_{j,k}:j,k\in \mathbb {Z}\}\) of \(\{ \psi_{j,k}:j,k\in \mathbb {Z}\}\) has a wavelet structure, and the generator ψ̃ satisfies
$$\begin{aligned} \\sigma\widetilde{\psi}\_{w}\leq\\sigma\psi\_{w}\ \widetilde {\psi}\_{\mathcal{A}}< \infty. \end{aligned}$$ 
(2)
The two operators S and H are bijective on \(L^{p}(\mathbb {R})\), \(1< p<\infty\). Both \(\{\psi_{j,k}:j,k\in \mathbb {Z}\}\) and \(\{\widetilde{\psi }_{j,k}:j,k\in \mathbb {Z}\}\) are also unconditional bases for \(L^{p}(\mathbb {R})\), \(1< p<\infty\).
Proof of Theorem 3.4
(1) This proof is presented in two parts. First, we want to describe the form of the dual basis. Second, we will prove \(\{\widetilde{\psi}_{j,k}:j,k\in \mathbb {Z}\}\) is, indeed, the dual basis. We have
This leads to \([\psi,\psi]\in\mathcal{A}\). Next, since
we have
and thus \([\psi,\psi](z)>0\), for all \(z\in\mathbb{T}\) [14], Theorem 3.2. Let a be a sequence given by
which leads to \({\sum_{k\in \mathbb {Z}}a_{k}z^{k}\in\mathcal{A}}\). Using Wiener’s lemma, there exists \(\{c_{k}\}_{k\in \mathbb {Z}}\in l^{1}(\mathbb {Z})\) for which the formal power series
We denote \(\widetilde{\psi}:= {\sum_{k\in \mathbb {Z}}c_{k}\psi (x+k)}\) and consider the Cauchy product
Thus, we have \(\\sigma\widetilde{\psi}\_{w}<\infty\), and
for all \(z\in\mathbb{T}\). Finally, we will explain that \(\{\widetilde {\psi}_{j,k}\}\) is the dual basis of \(\{\psi_{j,k}\}\). For this there are three reasons. The first one is that a prewavelet basis is orthogonal between the different dilation levels and all dilations and shifts form a Riesz basis for \(L^{2}({\mathbb {R}})\). Second, from (3.14) and (3.15), (3.17) is equivalent to
Combining two reasons, we can conclude that \(\{\widetilde{\psi }_{j,k}\}\) and \(\{\psi_{j,k}\}\) are biorthogonal. The last one is that \(\{\psi_{j,k}\}\) has a unique dual basis.
(2) We have constructed the dual basis of \(\{\psi_{j,k}\}\) in (1), and \(\{\widetilde{\psi}_{j,k}\}\) has the same decay as \(\{\psi_{j,k}\}\). Applying that and Theorem 3.3, we complete the proof of (2). □
4 Further remarks and examples
In this section, we give comments and examples. Bownik and Weber point out the connection between the behavior of a canonical dual of \(\{\psi _{j,k}\}\) and how ψ generates a GMRA [15]. For a Riesz wavelet ψ, the shift invariance of negative dilates \(V_{0}(\psi)\) implies a wavelet structure of the canonical dual. They have also given an interesting example of a wavelet frame for which the canonical dual does not have the wavelet structure, but other dual frames with the wavelet structure exist. Bownik and Lemvig also mentioned in another paper [8] that a frame may have an infinite number of dual frames with a wavelet structure. The last paper [16] we refer to was written by Lemvig; he constructed pairs of dual bandlimited wavelet frames.
The aforementioned three papers all depend on one important theorem [6], p.277, Theorem 12.1.3 (or [17], p.263, [16], Theorem 2.1). Part of the results are generated by using the multiresolution analysis (MRA). However, Theorem 3.4 provides a method to construct the dual wavelet of a given prewavelet without using the mentioned theorem or MRA. Through the fact that dual basis has wavelet structure and it has the same decay as basis, less limitations are applied on wavelets to accomplish our results.
Next, we review some typical prewavelets and biorthogonal wavelets.
(I) Compactly supported. Compactly supported wavelets certainly satisfy condition \(\mathcal{M}\) and thus Theorem 3.3 can be applied to all compactly supported orthogonal wavelets. The earliest example is the Haar wavelet [18], Chapter 1, Example A. For nonorthogonal cases, Chui and Wang [19], and independently Jia and Micchelli [14] have constructed compactly supported prewavelets. Riemenschneider considered a cardinal spline approach to construct compactly supported, skewsymmetric prewavelets [20, 21]. Cohen et al. have constructed biorthogonal wavelets that are symmetric, regular, and compactly supported [7].
(II) Decay. Theorems 3.33.4 can be applied to many mild decay wavelets. For example, Daubechies’ wavelets [22], LemariéMeyer wavelets [23, 24], and spline wavelets of high order (orthogonal [25, 26], semiorthogoanl [19, 27], biorthogonal [7]). In addition, we would like to emphasize an important fact. Lemma 3.1 guarantees that φ is a radial decreasing \(L^{1}\)majorant of ψ [18], p.218, Chapter 5. Indeed, the boundedness of φ follows from
for almost every \(x\in \mathbb {R}\). φ contrasts with typical majorants of wavelets (polynomial \(C(1+x)^{\alpha}\), \(\alpha>1\), exponential \(De^{\beta x}\), \(\beta>0\)) by stressing that the majorant φ is generated by wavelets themselves, not borrowed from specific \(L^{1}\) functions. Wojtaszczyk reported that orthogonal wavelet bases are unconditional bases for Lebesgue spaces by providing some assumptions [12]. His assumptions seem verbose in comparison to condition \(\mathcal{M}\).
Unser has constructed prewavelets in [28] that these wavelets converge to a cosinemodulated Gaussian function as the degree of the spline goes to infinity. Another remarkable wavelet was found in [29] which has subexponential decay (\(\psi(x)\leq E_{\gamma} e^{ x ^{1\gamma}}\), \(0<\gamma<1\), \(x\in \mathbb {R}\)), it is bandlimited and belongs to \(C^{\infty}\).
For different methods to construct dual wavelets, Kim has shown that if a Riesz wavelet is associated with an MRA, then it has a dual Riesz wavelet [30], Corollary 2.9. Later, he gave a characterization on biorthogonal/semiorthogonal wavelets associated with MRA [31]. Combining these two facts, lots of biorthogonal/semiorthogonal wavelets can be found.
(III) Smooth. Daubechies’ wavelets and biorthogonal wavelets in [7] are typical smooth wavelets. References [32], p.856, Theorem 3.3, [33, 34], [35], p.295, Theorems 9.1.59.1.6, [18], Chapter 5, Theorems 6.14, 6.23, [2], Chapter 6, and [36], Section 7.3, Theorem 1, ensure that orthogonal wavelets that are sufficiently smooth are unconditional bases for Lebesgue spaces and the associated frame operators have \(L^{p}\)boundedness. Bui and Laugesen have proven that the frame operator of a wavelet frame (not necessarily a wavelet basis) is bijective on Lebesgue spaces if some assumptions are provided [37]. Mainly ψ and \(\psi'\) need to have sufficient decay on the frequency domain. The aforementioned results were obtained by using the technique of CalderónZygmund operators. Apparently, the method suffers from the requirement of smoothness on wavelets (and thus they do not support the Haar wavelet). In contrast, smoothness is not required for Theorems 3.23.4 to hold.
References
Tao, T: \(L^{p}\) noninvertibility of frame operators. http://www2.math.ucla.edu/~tao/preprints/Expository/inverse.tex
Meyer, Y: Wavelets and Operators. Cambridge University Press, Cambridge (1992)
Singer, I: Bases in Banach Spaces I and II. Springer, New York (1970)
Wiener, N: Tauberian theorems. Ann. Math. (2) 33, 1100 (1932)
Stein, EM: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)
Christensen, O: An Introduction to Frames and Riesz Bases. Birkhäuser, Boston (2003)
Cohen, A, Daubechies, I, Feauveau, JC: Biorthogonal bases of compactly supported wavelets. Commun. Pure Appl. Math. 45(5), 485560 (1992)
Bownik, M, Lemvig, J: The canonical and alternate duals of a wavelet frame. Appl. Comput. Harmon. Anal. 23(2), 263272 (2007)
Chui, CK, Shi, XL: Inequalities of LittlewoodPaley type for frames and wavelets. SIAM J. Math. Anal. 24(1), 263277 (1993)
Daubechies, I, Han, B: The canonical dual frame of a wavelet frame. Appl. Comput. Harmon. Anal. 12(3), 269285 (2002)
Gripenberg, G: Wavelet bases in \(L^{p}(\mathbb {R})\). Stud. Math. 106(2), 175187 (1993)
Wojtaszczyk, P: Wavelets as unconditional bases in \(L^{p}(\mathbb {R})\). J. Fourier Anal. Appl. 5(1), 7385 (1999)
Battle, G: A Cardinal spline interpolation and the block spin construction of wavelets. In: Chui, CK (ed.) Wavelets: A Tutorial in Theory and Applications. Academic Press, New York (1992)
Jia, RQ, Micchelli, CA: Using the refinement equations for the construction of prewavelets II: powers and two. In: Curves and surfaces. Pap. Int. Conf., ChamonixMontBlanc/Fr., 1990, pp. 209246 (1991)
Bownik, M, Weber, E: Affine frames, GMRA’s, and the canonical dual. Stud. Math. 159(3), 453479 (2003)
Lemvig, J: Constructing pairs of dual bandlimited framelets with desired time localization. Adv. Comput. Math. 30(3), 231247 (2009)
Chui, CK, Shi, XL: Orthonormal wavelets and tight frames with arbitrary real dilations. Appl. Comput. Harmon. Anal. 9(3), 243264 (2000)
Hernández, E, Weiss, G: A First Course on Wavelets. CRC Press, Boca Raton (1996)
Chui, CK, Wang, JZ: On compactly supported spline wavelets and a duality principle. Trans. Am. Math. Soc. 330(2), 903915 (1992)
Riemenschneider, S, Shen, ZW: Box splines, cardinal series, and wavelets. In: Chui, CK (ed.) Approximation Theory and Functional Analysis, pp. 133149. Academic Press, Boston (1991)
Riemenschneider, SD, Shen, Z: Wavelets and prewavelets in low dimensions. J. Approx. Theory 71(1), 1838 (1992)
Daubechies, I: Orthogonal bases of compactly supported wavelets. Commun. Pure Appl. Math. 41, 909996 (1988)
Battle, G: A block spin construction of ondelettes. Part I: Lemarié functions. Commun. Math. Phys. 110, 601615 (1987)
Lemarié, PG: Ondelettes à localisation exponentielles. J. Math. Pures Appl. 67(3), 227236 (1988)
Mallat, SG: Multiresolution approximations and wavelet orthogonal bases of \(L^{2}(\mathbb {R})\). Trans. Am. Math. Soc. 315(1), 6987 (1989)
Mallat, SG: A theory of multiresolution signal decomposition: the wavelet representation. IEEE Trans. Pattern Anal. Mach. Intell. 11(7), 674693 (1989)
Unser, M, Aldroubi, A, Eden, M: A family of polynomial spline wavelet transforms. Signal Process. 30(2), 141162 (1993)
Unser, M, Aldroubi, A, Eden, M: On the asymptotic convergence of Bspline wavelets to Gabor functions. IEEE Trans. Inf. Theory 38(2), 864872 (1992)
Dziubański, J, Hernández, E: Bandlimited wavelets with subexponential decay. Can. Math. Bull. 41(4), 398403 (1998)
Kim, HO, Kim, RY, Lim, JK: Characterizations of biorthogonal wavelets which are associated with biorthogonal multiresolution analyses. Appl. Comput. Harmon. Anal. 11, 263272 (2001)
Kim, HO, Kim, RY, Lim, JK: Semiorthogonal frame wavelets and frame multiresolution analyses. Bull. Aust. Math. Soc. 65(1), 3544 (2002)
Ahmad, K, Kumar, R, Debnath, L: Existence of unconditional wavelet packet bases for the spaces \(L^{p}(\mathbb {R})\) and \(H^{1}(\mathbb {R})\). Taiwan. J. Math. 10(4), 851863 (2006)
Chui, CK, Shi, XL: On \(L^{p}\)boundedness of affine frame operators. Indag. Math. 4(4), 431438 (1993)
Chui, CK, Shi, XL: Affine operators and frames of multivariate wavelets. In: Dikshit, HP, Micchelli, CA (eds.) Advances in Computational Mathematics, pp. 139156. World Scientific, Singapore (1994)
Daubechies, I: Ten Lectures on Wavelets. SIAM, Philadelphia (1992)
Meyer, Y, Coifman, R: Wavelets: CalderónZygmund and Multilinear Operators. Cambridge University Press, Cambridge (1997)
Bui, HQ, Laugesen, RS: Wavelet frame bijectivity on Lebesgue and Hardy spaces. J. Fourier Anal. Appl. 19(2), 376409 (2013)
Acknowledgements
The many suggestions and detailed corrections of anonymous referees are gratefully acknowledged. The authors thank language editor Weilling Chen who has made a significant revision of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this article.
Authors’ contributions
All authors contributed equally to the manuscript and read and approved the final manuscript.
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
Gun, CY., Wang, KC., Yang, CI. et al. Prewavelet bases in Lebesgue spaces. J Inequal Appl 2015, 286 (2015). https://doi.org/10.1186/s1366001508114
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001508114