Volume 2022, Issue 1 1372184
Research Article
Open Access

A Class of Weak Dual Wavelet Frames for Reducing Subspaces of Sobolev Spaces

Jianping Zhang

Corresponding Author

Jianping Zhang

College of Mathematics and Computer Science, Yan’an University, Shaanxi 716000, China yau.edu.cn

Search for more papers by this author
First published: 19 January 2022
Academic Editor: Alberto Fiorenza

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

Let be a separable Hilbert space. An at most countable sequence in is called a frame for if there exist two constants 0 < C1C2 < ∞ such that
(1)
where C1 and C2 are called lower and upper frame bounds; it is called a Bessel sequence in if the right-hand side inequality in (1) holds, where C2 is called a Bessel bound. Given a frame for , a sequence is called a dual of if it is a frame such that
(2)
It is well-known that is also a dual of if is a dual of . So, in this case, we also say is a pair of dual frames. The fundamentals of frames can be found in [13]. We denote by , , and 0 the set of integers, the set of positive integers, and the set of nonnegative integers, respectively. Let d and M a d × d expansive matrix (an integer matrix with all its eigenvalues being greater than 1 in modulus). The dilation operator D and the shift operator Tk with kd are, respectively, defined by
(3)
for fL2(d), and naturally extended to tempered distribution. In what follows, we denote by M the transpose of M, and by
(4)
a set of representatives of distinct cosets of d/Md with ε0 = 0.
The Fourier transform of a function fL1(d)∩L2(d) is defined by
(5)
and naturally extended to tempered distribution, where 〈·, ·〉 denotes the Euclidean inner product in d. Similarly, the inverse Fourier transform of a function fL1(d)∩L2(d) is defined by
(6)
and extended to tempered distribution as usual. For a real number s, we denote by Hs(d) the Sobolev space consisting of all distributions f such that
(7)
where |ξ| denotes its Euclidean norm for ξRd. It is easy to check that Hs(d) is a Hilbert space under the inner product
(8)
In particular, H0(d) = L2(d) by the Plancherel theorem. For Ωd with nonzero measure, we write
(9)
Then, FHs(d) = Hs(d). Obviously, for each gFHs(Ω),
(10)
defines a continuous linear function on FHs(Ω). Then, (FHs(Ω), FHs(Ω)) forms a pair of dual spaces; so does (Hs(d), Hs(d)) by taking Ω = d. Write
(11)

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 kd, and

(12)
where .

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Ω.

So, to be specific, we denote a reducing subspace of Hs(d) by FHs(Ω) instead of X. Given a distribution f, we write
(13)
for j and kd. Let FHs(Ω) and FHs(Ω) be reducing subspaces of Hs(d) and Hs(d), respectively, and for , Ψ = {ψl : 1 ≤ lL}, and finite subsets of FHs(Ω) and FHs(Ω), respectively, the wavelet systems Xs(ψ0, Ψ) and are defined as
(14)
We say is a pair of dual wavelet frames for (FHs(Ω), FHs(Ω)) if
  • (1)

    Xs(ψ0, Ψ) is a wavelet frame for FHs(Ω) and is a wavelet frame for FHs(Ω)

  • (2)

    The identity

(15)

holds for fFHs(Ω) and gFHs(Ω).

We say is a pair of weak dual wavelet frames for (FHs(Ω), FHs(Ω)) if
  • (1)

    are Bessel sequences in Hs(d) and Hs(d), respectively

  • (2)

    There exist dense subsets V of FHs(Ω) and of FHs(Ω) such that

(16)
where the series converges in the following sense: both and converge unconditionally (equivalently, both and converge), and
(17)

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 ≤ lL need not belong to FHs(Ω), and need not belong to FHs(Ω).

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 [516] 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

(18)
where κ(k) is defined by Definition 6 in Section 2.

Li and Zhang in [17] generalized Proposition 4 to Sobolev space pairs (Hs(d), Hs(Rd)) for nonhomogeneous dual wavelet frames:

Proposition 5. Given sR, let Xs(ψ0, Ψ) and be Bessel sequences in Hs(d) and Hs(d), respectively. Then, is a pair of dual frames in (Hs(d), Hs(d)) if and only if

(19)

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, 1820].

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(Ω), FHs(Ω)) associated with (DFHs(Ω), DFHs(Ω)). In Section 3, by using the above characterization, we derive a mixed oblique extension principle for such weak dual wavelet frames.

Before proceeding, we introduce some necessary notations. We denote by Td = [0, 1)d the d-dimensional torus and, for a Lebesgue measurable set E in d, by |E| its Lebesgue measure and χE its characteristic function, respectively, by δ the Dirac sequence such that δ0,0 = 1 and δ0,k = 0 for 0 ≠ kd, and denote by τ the mapping from d to defined by
(20)
For functions f and g on d, we define
(21)
if it is well defined, and the spectrum σt(f) by
(22)

It is obvious that ξσt(f) if and only if ξTd and for some kZd. 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(Ω), FHs(Ω)). Fist, we give some necessary lemmas for later use.

Definition 6. Let M be a d × d expansive matrix. Define a function κ : dN0 by

(23)
and set κ(0) = +∞.

By a standard argument, we have the following three lemmas:

Lemma 7.

Lemma 8. For ϕHs(d) and , we have

(24)

Lemma 9. Let and be two complex sequences, and . Then,

(25)

Lemma 10 ([4], (Lemma 3.1)). Given sR, a d × d expansive matrix M, and ϕHs(Rd), we have the following:

  • (i)

    {Tkϕ : kd} is a Bessel sequence in Hs(d) if and only if . In this case, is a Bessel bound

  • (ii)

    If {Tkϕ : kZd} is a Bessel sequence in Hs(d), then {ϕn,k : kd} is a Bessel sequence in Hs(d) with the Bessel bound for nZ, and

(26)
for fHs(d), where .

Lemma 11. Let sR, fHs(d), ψHs(d), and jZ. Then, for kZd, the k -th Fourier coefficient of is 〈f, ψj,k〉. In particular,

(27)
if {Tkψ : kd} is a Bessel sequence in Hs(d).

Proof. Since fHs(d) and ψHs(d), we have , and thus,

(28)
by the Plancherel theorem. So the k-th Fourier coefficient of is 〈f, ψj,k〉.

If {Tkψ : kd} is a Bessel sequence in Hs(d), then {ψj,k : kd} is a Bessel sequence in Hs(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 F1N0 and F2Zd\{0} such that

(29)

Lemma 13. Given s, let {Tkψl : kd, 0 ≤ lL} and be Bessel sequences in Hs(d) and Hs(d), respectively. Then,

(30)
for , where is defined by (11).

Proof. By Lemma 11, we have

(31)

Write

(32)

Then, by the Cauchy-Schwarz inequality, we have

(33)

By a similar procedure, we also have

(34)

If gD, then {Tkg : kd} and with are Bessel sequences in Hs(d). Also, observe that {Tkψ0 : kd} and {Tkψl : kd, 1 ≤ lL} are Bessel sequences in Hs(d), and thus, by Lemma 10 (i). It follows that

(35)
by the Fubini-Tonelli theorem. Therefore, we get
(36)

By using the Cauchy-Schwarz inequality, we have

(37)
which belongs to L(Rd) by Lemma 10 (i) since {Tkf : kZd} is also a Bessel sequence in Hs(Rd) if fD, and thus,
(38)

Since f, gD, then there exists a bounded set S in Rd such that . By Lemma 12, there exist finite sets F1N0 and F2Zd\{0} such that

(39)

Therefore, we have

(40)

Write

(41)

Then, for jF1 and kF2, we have

(42)

Also, observe that and . It follows that

(43)

Therefore, we can change the order of summation and integration in (40).

(44)
where Lemma 9 is used in the last equality. And thus, the conclusion follows by collecting (36), (38), and (44).☐☐

The following theorem characterizes a pair of weak dual wavelet frames for (FHs(Ω), FHs(Ω)).

Theorem 14. Let FHs(Ω) and FHs(Ω) be reducing subspaces of Hs(Rd) and Hs(Rd), respectively, and ψ0FHs(Ω), and Ψ = {ψl : 1 ≤ lL}, finite subsets of FHs(Ω) and FHs(Ω). Suppose {Tkψl : kZd, 0 ≤ lL} and are both Bessel sequences in Hs(Rd) and Hs(Rd), respectively. Then, is a pair of weak dual wavelet frames for (FHs(Ω), FHs(Ω)) if and only if

(45)
(46)

Proof. Since DFHs(Ω) is dense in FHs(Ω) for every sR, then is a pair of weak dual wavelet frames for (FHs(Ω), FHs(Ω)) if and only if

(47)
for fDFHs(Ω), gDFHs(Ω), or equivalently
(48)
for f, gD due to . By the Bessel assumptions, we know that the series and are absolutely convergent for f, gD since D is dense both in Hs(Rd) and Hs(Rd). By Lemma 13, (48) can be written as
(49)

Obviously, (45) and (46) imply (49). Next, we prove the converse implication to complete the proof. Suppose (49) holds. For 0 ≠ kZd, the function

(50)
and thus, almost every point in Rd is a Lebesgue point of all function
(51)
with 0 ≠ kZd. Let ξ0Rd be such a point. For 0 < ε < 1/2 and 0 ≠ k0Zd, take f and g such that in (49), where B(ξ0, ε) = {ξRd : |ξξ0| < ε}. Then, we have
(52)
or equivalently,
(53)
since if ξ and ξ + k0 belong to Ω when ξB(ξ0, ε). Letting ε⟶0 in (53), we obtain
(54)

By the arbitrariness of ξ0Rd and 0 ≠ k0Zd, then we have

(55)

And thus, (46) holds since the above function vanishes out of Ω. Now, we prove (45) holds.

Arbitrarily fix hL(K), ∀ compact Kd\{0}, then there exists a finite set {k1, k2, ⋯, km} ⊂ d such that . Define for 1 ≤ im. Then, we have , and thus, (45) holds for h if it holds for each hi with 1 ≤ im. Next, we prove (45) holds for each hi with 1 ≤ im. Take f and g in (49) such that

(56)

Then, we obtain

(57)

(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(Ω), FHs(Ω)) from a pair of general refinable functions under the following assumptions:

Assumption 1. ψ0Hs(Rd) and are M-refinable functions with symbols in L(Td), i.e., there exists such that

(58)

Assumption 2. .

Assumption 3. for some δ > 0, where B(0, δ) denotes the δ-neighborhood of the origin 0.

Given LN, let with 1 ≤ lL define Ψ = {ψl : 1 ≤ lL} and by
(59)

Remark 15. By Lemma 10 (i), Assumption 2 is equivalent to the fact that {Tkψ0 : kZd} and are Bessel sequences in Hs(Rd) and Hs(Rd), respectively. It is easy to check that {Tkψl : kZd, 1 ≤ lL} and are also Bessel sequences in Hs(Rd) and Hs(Rd), respectively.

Theorem 16. Let FHs(Ω) and FHs(Ω) be reducing subspaces of Hs(Rd) and Hs(Rd), respectively, ψ0FHs(Ω) and two functions satisfy Assumptions 13, and let Ψ = {ψl : 1 ≤ lL} and be two finite subsets of FHs(Ω) and FHs(Ω), respectively, defined by (59). Assume that there exists a function ΘL(Td) such that

(60)
(61)

Then, is a pair of weak dual wavelet frames for (FHs(Ω), FHs(Ω)), where η is defined by .

Proof. First, we claim that the following equation holds:

(62)

a.e. on d for nd and 0 ≤ j < κ(n). Indeed, by Assumption 1 and (59) and the Zd-periodicity of with 1 ≤ lL, we have

(63)

So (62) holds if

(64)

a.e. on d with . Fix ξ with . Suppose for some and nξd. Then, by Lemma 8, and thus,

(65)
by (61). This is equivalent to (64) by the Zd-periodicity of Θ, bl, and with 0 ≤ lL. Therefore, (62) holds.

By Theorem 14, to complete the proof, it is enough to prove that

(66)
for hL(K), ∀ compact KRd\{0}, and
(67)

We first prove (67). For 0 ≠ nZd, by using (62), we have

(68)

By Lemma 7, we have for some nZd and . It follows that

(69)
by (61), and (67) therefore holds.

Next, we prove (66) holds. By using (62), we have

(70)
where (61) was used in the last equality. And thus,
(71)
for hL(K) with compact KRd\{0}. Since K is compact and KRd\{0}, then there exists J0 > 0 such that for J > J0 + 1 and ξK. And thus, there exists a constant M > 0 such that
(72)
by Assumption 3. This implies that
(73)
by Assumptions 1 and 3. Therefore, (66) holds by collecting (71) and (60).☐☐

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(Ω), FHs(Ω)) 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).

    Data Availability

    There is no data in our paper.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.