A Class of Weak Dual Wavelet Frames for Reducing Subspaces of Sobolev Spaces
Abstract
In recent years, dual wavelet frames derived from a pair of refinable functions have been widely studied by many researchers. However, the requirement of the Bessel property of wavelet systems is always required, which is too technical and artificial. In present paper, we will relax this restriction and only require the integer translation of the wavelet functions (or refinable functions) to form Bessel sequences. For this purpose, we introduce the notion of weak dual wavelet frames. And for generality, we work under the setting of reducing subspaces of Sobolev spaces, we characterize a pair of weak dual wavelet frames, and by using this characterization, we obtain a mixed oblique extension principle for such weak dual wavelet frames.
1. Introduction
It is well known that is dense in Hs(ℝd) and is dense in FHs(Ω) for every s ∈ ℝ.
Definition 1. Given a real number s and a d × d expansive matrix M, a nonzero closed linear subspace X of Hs(ℝd) is called a reducing subspace if DX = X and TkX = X for each k ∈ ℤd, and
In particular, when s = 0, (12) is trivial and Definition 1 reduces to one in [4], which is characterized in Fourier domain as follows.
Proposition 2 ([4], (Theorem 1)). For a d × d expansive matrix M, X is a reducing subspace of L2(ℝd) if and only if X = FL2(Ω) for some Ω ⊂ ℝd with nonzero measure satisfying Ω = M∗Ω.
Proposition 3 ([4], (Theorem 2.1)). Let s be a real number and M a d × d expansive matrix. Then, X is a reducing subspace of Hs(ℝd) if and only if X = FHs(Ω) for some Ω ⊂ ℝd with nonzero measure satisfying Ω = M∗Ω.
- (1)
Xs(ψ0, Ψ) is a wavelet frame for FHs(Ω) and is a wavelet frame for FH−s(Ω)
- (2)
The identity
holds for f ∈ FHs(Ω) and g ∈ FH−s(Ω).
- (1)
are Bessel sequences in Hs(ℝd) and H−s(ℝd), respectively
- (2)
There exist dense subsets V of FHs(Ω) and of FH−s(Ω) such that
It is obvious that the convergence of series in (16) is weaker than that in (15). And a pair of dual wavelet frames must be a pair of weak dual wavelet frames, whereas the converse is not true. Also, observe that in the above definition of weak dual wavelet frames, ψl, 0 ≤ l ≤ L need not belong to FHs(Ω), and need not belong to FH−s(Ω).
Due to the great design freedom and the potential applications in signal denoising, image restoration, numerical analysis, etc., the study of wavelet frames for L2(ℝd) and Sobolev spaces has been attracting many researchers and seen great achievements (see [5–16] for details). In particular, Bownik in [6] obtained the following important characterization for homogeneous dual wavelet frames:
Proposition 4. Let X(Ψ) and be Bessel sequences in L2(ℝd). Then, is a pair of dual wavelet frames for L2(ℝd) if and only if
Li and Zhang in [17] generalized Proposition 4 to Sobolev space pairs (Hs(ℝd), H−s(Rd)) for nonhomogeneous dual wavelet frames:
Proposition 5. Given s ∈ R, let Xs(ψ0, Ψ) and be Bessel sequences in Hs(ℝd) and H−s(ℝd), respectively. Then, is a pair of dual frames in (Hs(ℝd), H−s(ℝd)) if and only if
An important method to construct (dual) wavelet frames from refinable functions is extension principles. Ron and Shen in [15, 16] prosed the unitary extension principle (UEP) and the mixed extension principle (MEP). Subsequently, Daubechies et al. in [10] developed them in the form of the oblique extension principle (OEP) and the mixed oblique extension principle (MOEP). From then on, the study of the extension principles has interested many researchers [4, 5, 7, 8, 11, 18–20].
Observe that all above works, the wavelet systems (or the refinable functions) are required to be Bessel sequences. In order to achieve the Bessel property, some conditions have to be imposed on the wavelet systems (or the refinable functions) that are too technical and artificial. It is natural to ask what are expected from general refinable functions without too many restrictions. For this purpose, Jia and Li in [21] introduced the nation of weak wavelet biframes (weak dual wavelet frames). Starting from a pair of general refinable functions without smoothness restrictions, they obtained a construction of weak dual wavelet frames for reducing subspace FL2(Ω) of L2(ℝd).
Inspired by all these works, in present paper, we investigate a class of weak dual wavelet frames for reducing subspaces of Sobolev spaces. In Section 2, we first give some necessary lemmas, and then, we give a Fourier-domain characterization of weak dual wavelet frames in (FHs(Ω), FH−s(Ω)) associated with (D∩FHs(Ω), D∩FH−s(Ω)). In Section 3, by using the above characterization, we derive a mixed oblique extension principle for such weak dual wavelet frames.
It is obvious that ξ ∈ σt(f) if and only if ξ ∈ Td and for some k ∈ Zd. So σt(f) is independent of t. For simplicity, we use σ(f) to replace σt(f).
2. The Characterization of Weak Dual Wavelet Frames
This section is devoted to characterizing weak dual wavelet frames in (FHs(Ω), FH−s(Ω)). Fist, we give some necessary lemmas for later use.
Definition 6. Let M be a d × d expansive matrix. Define a function κ : ℤd⟶N0 by
By a standard argument, we have the following three lemmas:
Lemma 7.
Lemma 8. For ϕ ∈ Hs(ℝd) and , we have
Lemma 9. Let and be two complex sequences, and . Then,
Lemma 10 ([4], (Lemma 3.1)). Given s ∈ R, a d × d expansive matrix M, and ϕ ∈ Hs(Rd), we have the following:
- (i)
{Tkϕ : k ∈ ℤd} is a Bessel sequence in Hs(ℝd) if and only if . In this case, is a Bessel bound
- (ii)
If {Tkϕ : k ∈ Zd} is a Bessel sequence in Hs(ℝd), then {ϕn,k : k ∈ ℤd} is a Bessel sequence in Hs(ℝd) with the Bessel bound for n ∈ Z, and
Lemma 11. Let s ∈ R, f ∈ Hs(ℝd), ψ ∈ H−s(ℝd), and j ∈ Z. Then, for k ∈ Zd, the k -th Fourier coefficient of is 〈f, ψj,k〉. In particular,
Proof. Since f ∈ Hs(ℝd) and ψ ∈ H−s(ℝd), we have , and thus,
If {Tkψ : k ∈ ℤd} is a Bessel sequence in H−s(ℝd), then {ψj,k : k ∈ ℤd} is a Bessel sequence in H−s(ℝd) by Lemma 10 (ii). It follows that , and thus, (27) holds.☐☐
Lemma 12 ([4], (Lemma 3.5)). Let S be a bounded set in ℝd. Then, there exist finite sets F1 ⊂ N0 and F2 ⊂ Zd\{0} such that
Lemma 13. Given s ∈ ℝ, let {Tkψl : k ∈ ℤd, 0 ≤ l ≤ L} and be Bessel sequences in Hs(ℝd) and H−s(ℝd), respectively. Then,
Proof. By Lemma 11, we have
Write
Then, by the Cauchy-Schwarz inequality, we have
By a similar procedure, we also have
If g ∈ D, then {Tkg : k ∈ ℤd} and with are Bessel sequences in H−s(ℝd). Also, observe that {Tkψ0 : k ∈ ℤd} and {Tkψl : k ∈ ℤd, 1 ≤ l ≤ L} are Bessel sequences in Hs(ℝd), and thus, by Lemma 10 (i). It follows that
By using the Cauchy-Schwarz inequality, we have
Since f, g ∈ D, then there exists a bounded set S in Rd such that . By Lemma 12, there exist finite sets F1 ⊂ N0 and F2 ⊂ Zd\{0} such that
Therefore, we have
Write
Then, for j ∈ F1 and k ∈ F2, we have
Also, observe that and . It follows that
Therefore, we can change the order of summation and integration in (40).
The following theorem characterizes a pair of weak dual wavelet frames for (FHs(Ω), FH−s(Ω)).
Theorem 14. Let FHs(Ω) and FH−s(Ω) be reducing subspaces of Hs(Rd) and H−s(Rd), respectively, and ψ0 ∈ FHs(Ω), and Ψ = {ψl : 1 ≤ l ≤ L}, finite subsets of FHs(Ω) and FH−s(Ω). Suppose {Tkψl : k ∈ Zd, 0 ≤ l ≤ L} and are both Bessel sequences in Hs(Rd) and H−s(Rd), respectively. Then, is a pair of weak dual wavelet frames for (FHs(Ω), FH−s(Ω)) if and only if
Proof. Since D∩FHs(Ω) is dense in FHs(Ω) for every s ∈ R, then is a pair of weak dual wavelet frames for (FHs(Ω), FH−s(Ω)) if and only if
Obviously, (45) and (46) imply (49). Next, we prove the converse implication to complete the proof. Suppose (49) holds. For 0 ≠ k ∈ Zd, the function
By the arbitrariness of ξ0 ∈ Rd and 0 ≠ k0 ∈ Zd, then we have
And thus, (46) holds since the above function vanishes out of Ω. Now, we prove (45) holds.
Arbitrarily fix h ∈ L∞(K), ∀ compact K ⊂ ℝd\{0}, then there exists a finite set {k1, k2, ⋯, km} ⊂ ℤd such that . Define for 1 ≤ i ≤ m. Then, we have , and thus, (45) holds for h if it holds for each hi with 1 ≤ i ≤ m. Next, we prove (45) holds for each hi with 1 ≤ i ≤ m. Take f and g in (49) such that
Then, we obtain
(45) therefore holds for hi and holds for h. By the arbitrariness of h, we obtain (45). The proof is completed.☐☐
3. Constructing Weak Dual Wavelet Frames from a Pair of General Refinable Functions
This section is devoted to constructing weak dual wavelet frames for (FHs(Ω), FH−s(Ω)) from a pair of general refinable functions under the following assumptions:
Assumption 1. ψ0 ∈ Hs(Rd) and are M-refinable functions with symbols in L∞(Td), i.e., there exists such that
Assumption 2. .
Assumption 3. for some δ > 0, where B(0, δ) denotes the δ-neighborhood of the origin 0.
Remark 15. By Lemma 10 (i), Assumption 2 is equivalent to the fact that {Tkψ0 : k ∈ Zd} and are Bessel sequences in Hs(Rd) and H−s(Rd), respectively. It is easy to check that {Tkψl : k ∈ Zd, 1 ≤ l ≤ L} and are also Bessel sequences in Hs(Rd) and H−s(Rd), respectively.
Theorem 16. Let FHs(Ω) and FH−s(Ω) be reducing subspaces of Hs(Rd) and H−s(Rd), respectively, ψ0 ∈ FHs(Ω) and two functions satisfy Assumptions 1–3, and let Ψ = {ψl : 1 ≤ l ≤ L} and be two finite subsets of FHs(Ω) and FH−s(Ω), respectively, defined by (59). Assume that there exists a function Θ ∈ L∞(Td) such that
Then, is a pair of weak dual wavelet frames for (FHs(Ω), FH−s(Ω)), where η is defined by .
Proof. First, we claim that the following equation holds:
a.e. on ℝd for n ∈ ℤd and 0 ≤ j < κ(n). Indeed, by Assumption 1 and (59) and the Zd-periodicity of with 1 ≤ l ≤ L, we have
So (62) holds if
a.e. on ℝd with . Fix ξ with . Suppose for some and nξ ∈ ℤd. Then, by Lemma 8, and thus,
By Theorem 14, to complete the proof, it is enough to prove that
We first prove (67). For 0 ≠ n ∈ Zd, by using (62), we have
By Lemma 7, we have for some n′ ∈ Zd and . It follows that
Next, we prove (66) holds. By using (62), we have
Remark 17.
- (i)
In the literature, the function Θ is related to the notion of mixed fundamental function, which plays a significant role in MOEP.
- (ii)
In the above theorem, (60) is trivial and is a pair of weak dual wavelet frames for (FHs(Ω), FH−s(Ω)) if Θ(·) = 1 a.e. on Td
4. Conclusion
In this paper, we introduce the notion of weak dual wavelet frames. And for generality, we work under the setting of reducing subspaces of Sobolev spaces, we characterize a pair of weak dual wavelet frames, and by using this characterization, we obtain a mixed oblique extension principle for such weak dual wavelet frames.
Conflicts of Interest
The author declares no conflicts of interest.
Authors’ Contributions
The author read and approved the final manuscript.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (Grant Nos. 11961072 and 62041212), the Natural Science Basic Research Program of Shanxi (Grant Nos. 2020JM-547 and 2020JM-548), and the Doctoral Research Project of Yan’an University (Grant No. YDBK2017-21).
Open Research
Data Availability
There is no data in our paper.