Dual of Modulation Spaces with Variable Smoothness and Integrability
Abstract
In this article, we first give a proof for the denseness of the Schwartz class in the modulation spaces with variable smoothness and integrability. Then, we study the dual spaces of such modulation spaces.
1. Introduction
The modulation spaces were introduced by Feichtinger [1] on a locally compact Abelian group in 1983 through short-time Fourier transform. His original motivation for modulation spaces was to introduce a new theory of function spaces and to offer an alternative to the class of Besov spaces. In recent years, it is gradually recognized that the modulation spaces are very useful for studying time-frequency behavior of functions. Therefore, the modulation spaces, α-modulation spaces, and their applications have received a lot of attention and research, such as [2–10] and the references therein. Particularly, in [11–14], Wang and other authors showed that from PDE point of view, the combination of frequency-uniform decomposition operators and Banach function spaces ℓq(X(ℝn)) is important in making nonlinear estimates, where X is a Banach function space defined on ℝn.
On the other hand, function spaces with variable exponents have received extensive attention recently. Even though the study on variable Lebesgue spaces can be traced back to [15, 16] by Orlicz, the modern development started from the article [17] by Kováčik and Rákosník in 1991. In [18], Fan and Zhao obtained the results in [17] again through the method of Musielak-Orlicz spaces. Thereafter, variable Lebesgue and Sobolev spaces have been widely studied (see, for example, [19–23]). In addition, function spaces with variable exponents have a wealth of applications in many fields, such as in fluid dynamics [24], image processing [25], and partial differential equations [26].
The function spaces with variable smoothness and variable integrability were firstly introduced by Diening et al. in [27], where they studied Triebel-Lizorkin spaces with variable exponents . Then, Almeida and Hästö introduced the Besov space with variable smoothness and integrability in [28]. Since then, many articles about these function spaces appeared, such as [29, 30]. In the past few years, many function spaces with variable exponents have appeared, such as Besov-type spaces with variable exponent, Bessel potential spaces with variable exponent, and Hardy spaces with variable exponent (see [31–35]). Recently, we studied the modulation spaces with variable smoothness and integrability and gave some properties about these spaces in [36]. Since the modulation spaces and the function spaces with variable exponents have rich applications, we believe that the modulation spaces with variable exponents will also have many application areas, and we will continue to explore these application areas, especially in partial differential equations and time frequency analysis.
The dual is an important content when we study function spaces; for example, Triebel [37] has obtained duality of the usual Besov spaces and applied it to real interpolation and Sobolev embedding, Izuki [38] has given the duality of Herz spaces with variable exponent and applied it to characterize the above spaces by wavelet expansions. In [8, 12], the dual of modulation spaces was studied, respectively. In [39], Izuki and Noi were concerned with the dual of Triebel-Lizorkin spaces and Besov spaces with variable exponents. In this paper, we will study the dual of modulation spaces with variable smoothness and integrability.
The paper is organized as follows. In Section 2, we review some notions and notations about semimodular spaces and function spaces with variable exponents. In the theories of function spaces, the research on denseness of the Schwartz class has always been an important topic, by which we can obtain many conclusions such as duality of function spaces and boundedness of some operators. Therefore, in Section 3, we study the denseness of the Schwartz class in the modulation spaces with variable smoothness and integrability. In Section 4, we give the dual of modulation spaces with variable exponents.
2. Preliminaries
In this section, we review some notions and conventions and state some basic results. Throughout this article, we let C denote constants that are independent of the main parameters involved but whose value may differ from line to line. By A ~ B, we mean that there exists a positive constant C such that 1/C ≤ A/B ≤ C. The symbol A≲B means that A ≤ CB. The symbol [s] for s ∈ ℝ denotes the maximal integer not more than s. We also set ℕ ≡ {1, 2, ⋯} and ℤ+ ≡ ℕ ∪ {0}. We write and 〈x〉o = 1 + |x1| + |x2| + ⋯+|xn| for x ∈ ℝn. It is easy to see that 〈x〉 ~ 〈x〉o. For any multi-index α = (α1, α2, ⋯, αn), we denote , and for k = (k1, k2, ⋯, kn), we denote |k|∞ = maxi=1,⋯,n|ki|. We also denote the sequence Lebesgue space by ℓp and Lebesgue space by Lp≔Lp(ℝn) for which the norm is written by ‖·‖p.
2.1. Modular Spaces
In what follows, let X be a vector space over ℝ or ℂ. The function spaces studied in this paper fit into the framework semimodular spaces, and we refer to monograph [23] for a detailed exposition of these concepts.
Definition 1. A function ϱ : X⟶[0, ∞] is called a semimodular on X if it satisfies
- (i)
ϱ(λf) = ϱ(f) for all f ∈ X, λ ∈ ℝ or ℂ with |λ| = 1
- (ii)
ϱ(λf) = 0 for all λ > 0 implies f = 0
- (iii)
λ ↦ ϱ(λf) is left-continuous on [0, ∞) for every f ∈ X
Definition 2. If ρ is a (semi)modular on X, then Xϱ≔{f ∈ X:∃λ > 0, s.t.ϱ(λf)<∞} is called a (semi)modular space.
In [11], the authors have proven that the Xϱ is a (quasi)normed space with the Luxemburg (quasi)norm ‖f‖ϱ≔inf{λ > 0 : ϱ(f/λ) ≤ 1}, where the infimum of the empty set is infinity by definition. The following conclusion can be found in [23], and we omit the proof here.
Theorem 3 (norm-modular unit ball property). Let ϱ be a semimodular on X and f ∈ X. Then, ‖f‖ϱ ≤ 1 if and only if ϱ(f) ≤ 1. If ϱ is continuous, then ‖f‖ϱ < 1 and ϱ(f) < 1 are equivalent, so are ‖f‖ϱ = 1 and ϱ (f) = 1.
2.2. Function Spaces with Variable Exponents
A measurable function p(·): ℝn⟶(0, ∞] is called a variable exponent function if it is bounded away from zero; namely, the range of the p(x) is (c, ∞] for some c > 0. For a measurable function p(·) and a measurable set Ω ⊂ ℝn, let and For simplicity, we abbreviate and .
We denote by for the set of all measurable functions p(·): ℝn⟶(0, ∞) such that 0 < p− ≤ p+ < ∞ and denote by for the set of all measurable functions p(·): ℝn⟶(0, ∞) such that 1 < p− ≤ p+ < ∞.
In order to make the Hardy-Littlewood maximal function bounded in the variable exponent Lebesgue spaces, one need to add some conditions to the variable exponent function, that is, so-called log-Hölder continuity, which was first introduced in [40].
Definition 4. Let p(·): ℝn⟶ℝ.
- (i)
If there exists clog > 0 such that
- (ii)
If p(·) is locally log-Hölder continuous and there exists p∞ ∈ ℝ such that
If a variable exponent satisfies 1/p ∈ Clog, we say that it belongs to the class . The class is defined similarly.
Remark 5.
- (i)
One can notice that all functions always belong to L∞
- (ii)
Let , then p ∈ Clog if and only if 1/p ∈ Clog. If p satisfies (5), then p∞ = lim|x|⟶∞p(x)
- (iii)
We define the conjugate exponent function p′(·) by the formula (1/p(·)) + (1/p′(·)) = 1. If p(·) is in Clog, then p′(·) is also in Clog
Now let us recall the mixed Lebesgue sequence space ℓq(·)(Lp(·)) which was introduced by Almeida and Hästö in [28].
Definition 6. Let and Ω be a measurable subset of ℝn. The mixed Lebesgue sequence space ℓq(·)(Lp(·)(Ω)) is the collection of all sequences of Lp(·)(Ω)-functions such that
Remark 7. Let .
- (i)
If q+ < ∞, then , and we use the notation
- (ii)
By Proposition 3.3 of [28], if q ∈ (0, ∞] is constant, then we have
- (iii)
In [28], Almeida and Hästö proved that is a quasinorm for all , and is a norm when (1/p(·)) + (1/q(·)) ≤ 1 pointwise or q is a constant. In [30], Kempka and Vybíral proved that is a norm if satisfy either 1 ≤ q(x) ≤ p(x) ≤ ∞ for almost every x ∈ ℝn or p(x) ≥ 1, and q ∈ [1, ∞) is a constant almost everywhere
Further details about the frequency-uniform decomposition techniques and their applications to PDE can be found in the book [13] and articles [11, 12, 14].
Definition 8. Let and be the corresponding frequency-uniform decomposition operators. For and , the modulation space with variable smoothness and integrability is defined to be the set of all distributions such that
3. Density
Now let us review some useful results about θ-functions which have been proven in [36].
Lemma 9 (see [36].)Let and k ∈ ℤn; then, there exists a positive constant C such that
Remark 10. By Lemma 9, we can move the term inside the convolution as follows:
Lemma 11 (see [36].)Let , for m > n and every sequence of -functions, there exists a constant C > 0 such that
Remark 12. In some cases, although we need to require that p−, q− ≥ 1, we can weaken this condition by the following identity:
In [36], we have proven that , and in this section, we will prove that is also dense in . For this purpose, we need the following conclusions as in [41]. The first one is the generalization of Lemma A.6 in [27] and Lemma 3.4 in [36].
Lemma 13. Let r > 0, k ∈ ℤn, and m > n. Then, for all x, z ∈ ℝn and with , there exists a constant C = C(r, m, n) > 0 such that
Proof. As in the proof of Lemma 3.4 of [36], for , there exists v ∈ ℕ such that 2v ≤ rk < 2v+1, which implies {ξ : |ξ − k|∞ ≤ 1} ⊂ {ξ : |ξ| ≤ 2v+1}. Then, for u ∈ ℤn and a fixed dyadic cube Q = Qv,u≔{x ∈ ℝn : 2−vui ≤ xi < 2−v(ui + 1), i = 1, 2, ⋯, n}, when x − z ∈ Q, we have
In addition, for x − z ∈ Qv,u and y ∈ Qv,u+l, we have |x − z − y| ~ 2−v|l| when l is large enough, which implies 1 + 2v|x − z − y| ~ 1 + |l|. Since
Hence, for x − z ∈ Qv,u, we have
Definition 14.
- (i)
Let Ω be a compact subset of ℝn; then, we denote the space of all elements with by
- (ii)
Let and be a sequence of compact subsets of ℝn; then, we denote by the space of all sequences in such that and for k = 0, 1, 2, ⋯
Lemma 15. Let , , and be a sequence of compact subsets of ℝn such that Ωk ⊂ {ξ ∈ ℝn : |ξ − k|∞ ≤ 1}. If 0 < r < min{p−, q−} and m > 2n + 2clog(s)min{p−, q−}, then for all , there exists a constant C such that
Proof. Let and R ≥ clog(s); then, for any k ∈ ℤn by Lemmas 9 and 13, we have
Therefore, for 0 < r < min{p−, q−} and m > 2n + 2Rr, by Lemma 11, we obtain
Proposition 16. Let , , and be a sequence of compact subsets of ℝn such that Ωk ⊂ {ξ ∈ ℝn : |ξ − k|∞ ≤ 1}. If t > (n/2) + ((2n + 3clog(s)min{p−, q−})/min{p−, q−}), then for all and , there exists a constant C such that
Proof. According to Lemma 15, by the similar argument in the proof of Theorem 4.15 of [41], we have
Since
Thus,
In addition, since
Remark 17. In fact, in the conclusion of the above lemma, the “rk” in can be replaced by .
Theorem 18 (density). Let and , then is dense in .
Proof. Let , for and N ∈ ℤ+, we put
Consequently,
Next, we should approximate fN by some functions in for N ∈ ℤ+. Let satisfy ψ(0) = 1 and . Then, for any N ∈ ℤ+ and n ∈ ℕ, we have and
Since ‖1 − ψ(·/n)‖∞ = ‖1 − ψ‖∞ < ∞, we have
Let l0 = (N + 3, 0, 0, ⋯, 0), then and . For each l ∈ ℤn with |l|∞ ≤ N + 3, let gl = fN − ψ(·/n)fN; then, , where . By Remark 17 and the embedding properties of , we get
Then, combining (39) and , we obtain
Therefore, is dense in .
4. Dual Spaces of
For a quasi-Banach space X, we denote the dual space of X by X∗. In this section, we show that for and .
Lemma 19. Let , , and be sequences of locally Lebesgue integrable functions satisfying and . Then, we have
The above lemma has been proven in [39]; hence, we omit the proof here.
Proposition 20. Let and . We denote by the collection of all satisfying that there exists such that and
If we define
Proof. Let and write ; then, and
Then, we have the following proposition about dual spaces.
Proposition 21. Let and . Then,
Moreover, is equivalent to
Proof. Firstly, by Lemma 19, we have and
On the other hand, for any , let us define gk by
Therefore,
We assume that gk ≠ 0 for all k ∈ ℤn. Then, for any N ∈ ℕ, let us define as follows: when |k| > N, we put fk = 0; when |k| ≤ N, we set , where , and set
Then, by Proposition 2.21 of [22], we have
Thus, by the definition of g′k, we have
By Proposition 3.5 of [28], we know that is continuous. Therefore, by , we have
Then, it is easy to see that
Hence, for any N ∈ ℕ, by (61), we have
Theorem 22 (dual space). Let and ; then, we have
Proof. Firstly, we prove that For any and , by Lemma 19, we have
Now, let us prove that It is easy to see that, for ,
Since for any , we have
Conflicts of Interest
The author declares that he has no conflicts of interest.
Acknowledgments
The author is grateful to Professor Jingshi Xu for his valuable discussions about function spaces with variable exponents, and the author would also like to express great thanks to Takahiro Noi for his instructive discussion and for sending his paper [41]. The research is supported by the “Young top-notch talent” Program concerning teaching faculty development of universities affiliated to Beijing Municipal Government (2018-2020).
Open Research
Data Availability
No data were used to support this study.