Content uploaded by Guozhen Lu

Author content

All content in this area was uploaded by Guozhen Lu on Aug 29, 2015

Content may be subject to copyright.

A preview of the PDF is not available

In this paper, we use the discrete Littlewood-Paley-Stein analysis to get the duality result of the weighted product Hardy space for arbitrary number of parameters under a rather weak condition on the product weight w∈A ∞ (ℝ n 1 ×⋯×ℝ n k ). We will show that for any k≥2,(H w p (ℝ n 1 ×⋯×ℝ n k )) * =CMO w p (ℝ n 1 ×⋯×ℝ n k ) (a generalized Carleson measure), and obtain the boundedness of singular integral operators on BMO w . Our theorems even when the weight function w=1 extend the H 1 -BMO duality of Chang-R.Fefferman for the non-weighted two-parameter Hardy space H 1 (ℝ n ×ℝ m ) to H p (ℝ n 1 ×⋯×ℝ n k ) for all 0<p≤1 and our weighted theory extends the duality result of Krug-Torchinsky on weighted Hardy spaces H w p (ℝ n ×ℝ m ) for w∈A r (ℝ n ×ℝ m ) with 1≤r≤2 and r/2<p≤1 to H w p (ℝ n 1 ×⋯×ℝ n k ) with w∈A ∞ (ℝ n 1 ×⋯×ℝ n k ) for all 0<p≤1.

Content uploaded by Guozhen Lu

Author content

All content in this area was uploaded by Guozhen Lu on Aug 29, 2015

Content may be subject to copyright.

A preview of the PDF is not available

... The generalized Carleson measure space CMO p was first introduced in [29]. It has been proved in [30] that the duality of multiparameter Hardy space H p ðℝ n 1 × ℝ n 2 Þ is CMO p ðℝ n 1 × ℝ n 2 Þ. We refer the readers to [26,31] for the recent development of generalized Carleson measure spaces. ...

In this paper, we study the duality theory of the multiparameter local Hardy spaces , and we prove that , where are defined by discrete Carleson measure. Moreover, we discuss the relationship among , , and rectangle .
1. Introduction
The classical theory of one-parameter harmonic analysis may be considered as centering around the Hardy-Littlewood maximal operator and its relationship with certain singular integral operators which commute with the usual one-parameter dilations on , given by . If this isotropic dilation is replaced by more general nonisotropic groups of dilations, then many nonisotropic variants of the classical theories can be produced, such as the strong maximal functions and multiparameter singular integral operators, corresponding to the multiparameter dilations , and . Such a multiparameter theory has been developed extensively over the past decades. We refer the reader to the work in [1–18].
Since space is well suited only to the pure Fourier analysis and not stable under multiplication by test functions which associated with PDE, in [19], Goldberg introduced the class of localizable Hardy spaces . Let with and
Then, , where the symbol has its usual meaning, the Schwartz class of rapidly decreasing test functions, and is the dual space of . Goldberg proved that is dense in and is preserved by pseudodifferential operators. Similar as Hardy space , local Hardy space can be characterized by Poisson maximal function, Poisson area integral integral [19], and local Riesz transforms [20]. In 2001, Rychkov in [21] pointed out that this space has its continuous Littlewood-Paley characterization. Recently, its discrete Littlewood-Paley characterization has also been obtained in [22].
Motivated by those, multiparameter local Hardy spaces were discussed in [23, 24]. To be precise, let be functions defined on satisfying where denotes the set of all smooth functions with compact support on . Then, the multiparameter local Hardy spaces are introduced in [23].
Definition 1. Let . For , suppose that satisfies condition (2), and . Then, the multiparameter local Hardy space is defined to be the set of such that
In this paper, for , set , , , , , and . For and any , denote are dyadic cubes in with the side length , and the left lower corners of are , }, , and , .
Similar to the classical one-parameter local Hardy space theory, it is proved in [23] that is dense in and , if Recently, we pointed out in [24] that this multiparameter local Hardy space can also be characterized by a discrete Littlewood-Paley norm. More precisely, for let with
Then, the following discrete multiparameter local Calderón identity is proved in [24]. For some other discrete Calderón’s identities, we refer the readers to [25–27].
Theorem 2. For , suppose that and are functions satisfying conditions (4)-(6), respectively. Then, where the series converges in , , and .
With the above discrete multiparameter local Calderón identity, multiparameter local Hardy spaces can also be defined by discrete Littlewood-Paley norm [24]; that is, for every , the norm is equivalent to
The multiparameter Hardy space was introduced by Gundy and Stein in the 1970s in [11] and was developed by Chang and Fefferman in [1, 3]. Moreover, Chang and Fefferman in [1, 28] characterized duality of the product by the product Carleson measure. The generalized Carleson measure space was first introduced in [29]. It has been proved in [30] that the duality of multiparameter Hardy space is . We refer the readers to [26, 31] for the recent development of generalized Carleson measure spaces.
The main goal of this paper is to identify the duality of with a new product Carleson measure space .
Definition 3. Let . For , suppose that and are functions satisfying conditions (4)-(6), respectively. The multiparameter local is defined to be the set of such that where ranges over all open sets in with finite measures.
To see that the space is well defined, one needs to show the following theorem.
Theorem 4. Let . Suppose that both and satisfy the same conditions in Definition 3. Then, one has for all .
This result can be obtained if we prove the following Theorem 5. We will give a direct proof in Section 2.
Theorem 5. Let . Then, Namely, if , the map , given by , defined initially for , extends to a continuous linear functional on with . Conversely, every satisfies for some with .
Certainly, the dual spaces of one-parameter local Hardy spaces can be also characterized by the above form, namely, . Details can be seen in [22]. On the other hand, in [19], Goldberg showed that the duality of is , which is defined as the set of such that equipped with the norm , where is the mean of over , i.e., . For , let . Then, the duality of is for . We refer the reader to [19] for more details of when . It is convenient to denote . Since and are all dualities of for , should be coincident with . In [32], we give a direct proof to identify them with equivalent norms. Moreover, we proved that, for , is coincident with the local Lipschitz space defined by where
A natural question, does this result hold in multiparameter setting? First, we introduce the following multiparameter local Lipschitz spaces.
Definition 6. Let . Suppose that satisfy the conditions in Definition 3. The multiparameter local Lipschitz space is defined by where
Some results about Lipschitz spaces associated with mixed homogeneities can be seen in [33]. In this paper, one of our main results is to discuss the relationship among , , and the following multiparameter local rectangle .
Definition 7. Let . For , suppose that and are functions satisfying conditions (4)-(6), respectively. The multiparameter local rectangle is defined as the set of such that where the supremum is taken over all possible dyadic rectangles .
It is easy to see that, for , . Moreover, due to Carleson, there is a well-known counterexample to show that this inclusion is true inclusion when [4, 34].
Theorem 8. Let . Then, for every , one has
One may ask whether or is true. It would be an interesting question.
The organization of this paper is as follows. In Section 2, we introduce the multiparameter -transform and its inverse -transform . These transforms correspond between and sequence spaces. Using these -transform , we prove Theorem 4. In Section 3, we establish the duality of sequence spaces. The proof of Theorem 5 is placed in Section 4. In the last section, we prove Theorem 8.
Finally, we make some conventions. Throughout the paper, denotes a positive constant that is independent of the main parameters involved, but whose value may vary from line to line. Constants with subscript, such as , do not change in different occurrences. We denote by . If , we write .
2. Multiparameter -Transform
In order to prove the duality theorems, following the idea of Frazier and Jawerth in [35], we first define and study the corresponding sequence spaces. For any , setting , then by (7), it is easy to have
Definition 9. The multiparameter -transform is the map taking to the sequence , where . Define the inverse multiparameter -transform as the map taking a sequence to .
By (19), for and , one has
For a sequence , one also has the following identity:
Now, we define two discrete sequence spaces corresponding to and , respectively.
Definition 10. Let . Sequence space is defined to be the collection of all complex-valued sequences such that where .
Definition 11. For , define to be the collection of all complex-valued sequences such that where ranges over all open sets in with finite measures, and is defined as in Definition 10.
Then, we have the following generalization of the fundamental result of Theorem 2.2 in [35].
Theorem 12. Let . For , suppose that and satisfy conditions (4)-(6), respectively. Then, the operators and are all bounded; moreover, is the identity on .
Proof. The boundedness of is obvious since by Definition 10 and (8).
We now prove the boundedness of . Similar proofs can be seen in [25, 31]. For a sequence , denote Then, by almost orthogonality estimates [36], for any positive integers , there exists a constant such that where the notation means . Hence, for any where , which can be sufficiently small if is large enough, and is the strong maximal operator. Summing over and , one has Then, by Cauchy’s inequality, we obtain Applying Fefferman-Stein’s vector-valued strong maximal inequality on provided , we complete the proof.☐
In the next theorem, we discuss the actions of the multiparameter -transform and its inverse -transform on the space and discrete sequence space , respectively. We will obtain that operators and are bounded, and is the identity on .
Theorem 13. Let . For , suppose that and are functions satisfying conditions (4)-(6), respectively. Then, the operators and are bounded, and is the identity on .
Proof. We only need to prove that is bounded. Let and . For , suppose that and are functions satisfying conditions (4)-(6), respectively. We are going to prove Given any , by classical almost orthogonality estimates, for any positive integers , there exists a constant such that which implies that, for any positive integers , On the other hand, by conditions (4) and (5), one has that if or ; it follows that Combining the above two estimates, one has which gives that for any positive integers .
Thus, where To obtain the inequality (29), by (35), we only need to prove Let Given any , let be the set of dyadic rectangles defined as follows: and for , and for , and for , and , Obviously, for any , one has that ; moreover, if and . It is easy to see that, for , which gives that Therefore, We only estimate since the other three terms can be considered by the same routine. Details can be seen in [26, 29].
For each integer , let . Denote , Then, can be rewritten as To estimate , we first estimate the following: Note that if , one has For , we consider the following four cases:
Case 1. , .
Case 2. , .
Case 3. , .
Case 4. , .
From the definition of , one can see that, if Case 2, then which implies Case 2 is an empty set. For the same reason, Case 3 and Case 4 are also empty. Hence, Since and , one has To estimate , we should compare the side length of with the side length of . Hence, we divide into four categories.
Category 1. , .
Category 2. , .
Category 3. , .
Category 4. , .
In Category 1, by (52), one has for some integer , since are all dyadic. Note that, for fixed , these should be bigger than some positive integer to ensure , , that is, satisfying . Moreover, for each fixed , the number of such ’s must be less than since . Therefore, For Category 2, , , from (52), one has which implies that Hence, for some integer . Note that for each fixed , the number of such ’s must be less than because . Moreover, from , one has for some integer with . For each fixed , the number of such ’s must be less than since . So Similar as Category 2, for Category 3, one can obtain the following estimate: For Category 4, , , from (52), one has which implies that . Furthermore, by , one has for some integer and for each fixed , the number of such ’s must be less than since . Hence, Then, From the definition of , it is easy to see that , which implies Hence, by choosing proper .
We complete the proof.☐
Proof of Theorem 4. Suppose that are functions satisfying Definition 3. We may assume that For , set , and . Then, that is, .
By (19), . Hence, by Theorem 13, Thus, we complete the proof.
3. Duality of Sequence Spaces
In this section, we establish the dual relationship between and .
Theorem 14. Let . Then,
Proof. Let . For any , denote and for , Then, Let , where is the strong maximal function. Then, obviously, by the boundedness of , and . Hence, On the other hand, implies . Therefore, The above two estimates yield that which implies Conversely, let ; then, there exists some , such that for every , , and To complete the proof, it suffices to show that . To do this, for any open set with finite measure, denote , and let be a measure on such that if , and when . Furthermore, let be the sequence space such that if ,
Note that On the other hand, by Hölder’s inequality. It gives that that is, for any open set with finite measure.
We thus complete the proof.☐
4. Duality of
Once the duality of sequence spaces are established, we can obtain the dual relationship between and by multiparameter -transform.
Proof of Theorem 5. It is known that is dense in ([23]). Let , . Then, by (20), we have By Theorem 14, Theorem 12, and Theorem 13, This implies that for any, the map, given by, is a continuous linear functional on, a dense subset of, and hence can be extended to a continuous linear functional onwith.
Conversely, suppose that . Then, by Theorem 12. So there exists by Theorem 14 such that for all , and for the boundedness of . Obviously, sinceis identified by Theorem 12. If we denote , then for , one has by (21), which implies that . At last, by Theorem 13, we have Thus, we complete the proof of Theorem 5.
5. The Spaces and
Proof of Theorem 8. Given a dyadic rectangles , obviously, Set such that and .
Hence, since , where the notation means .
To prove the second inequality in Theorem 8, we first claim that Then, if we obtain one can complete the proof. Now, we prove (85). Set , and define For any , denote Then, . By locally reproducing formula (7), one has where is denoted by if .
Hence, Note that implies ; then, which follows that by the Fefferman-Stein vector-valued strong maximal inequality. Since in the domain , one has Hence, which implies (85).
At last, to prove (86), using the continuous-type norm of , by almost orthogonality estimates, one has Thus, we have completed the proof of Theorem 8.
Data Availability
No data were used to support this study.
Conflicts of Interest
The authors declare that there are no conflicts of interest.
Acknowledgments
This study was supported by National Natural Science Foundation of China grants (No. 11771223).

To study the boundedness of bi-parameter singular integral operators of non-convolution type in the Journé class, Fefferman discovered a boundedness criterion on bi-parameter Hardy spaces H p ( ℝ n 1 × ℝ n 2 ) {H^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} by considering the action of the operators on rectangle atoms. More recently, the theory of multiparameter local Hardy spaces has been developed by the authors. In this paper, we establish this type of boundedness criterion on weighted bi-parameter local Hardy spaces h ω p ( ℝ n 1 × ℝ n 2 ) {h^{p}_{\omega}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} . In comparison with the unweighted case, the uniform boundedness of rectangle atoms on weighted local bi-parameter Hardy spaces, which is crucial to establish the atomic decomposition on bi-parameter weighted local Hardy spaces, is considerably more involved. As an application, we establish the boundedness of bi-parameter pseudodifferential operators, including h ω p ( ℝ n 1 × ℝ n 2 ) {h^{p}_{\omega}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} to L ω p ( ℝ n 1 + n 2 ) {L_{\omega}^{p}(\mathbb{R}^{n_{1}+n_{2}})} and h ω p ( ℝ n 1 × ℝ n 2 ) {h^{p}_{\omega}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} to h ω p ( ℝ n 1 × ℝ n 2 ) {h^{p}_{\omega}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} for all 0 < p ≤ 1 {0<p\leq 1} , which sharpens our earlier result even in the unweighted case requiring
max { n 1 n 1 + 1 , n 2 n 2 + 1 } < p ≤ 1 . \max\Bigl{\{}\frac{n_{1}}{n_{1}+1},\frac{n_{2}}{n_{2}+1}\Bigr{\}}<p\leq 1.

We will establish the boundedness of the Fourier multiplier operator T m f T_{m}f on multi-parameter Hardy spaces H p ( R n 1 × ⋯ × R n r ) H^{p}(\mathbb{R}^{n_{1}}\times\cdots\times\mathbb{R}^{n_{r}}) ( 0 < p ≤ 1 0<p\leq 1 ) when the multiplier 𝑚 is of optimal smoothness in multi-parameter Besov spaces B 2 , q ( s 1 , … , s r ) ( R n 1 × ⋯ × R n r ) B^{{(s_{1},\ldots,s_{r})}}_{2,q}(\mathbb{R}^{n_{1}}\times\cdots\times\mathbb{R}^{n_{r}}) , where
T m f ( x ) = ∫ R n 1 × ⋯ × R n r m ( ξ ) f ^ ( ξ ) e 2 π i x ⋅ ξ d ξ T_{m}f(x)=\int_{\mathbb{R}^{n_{1}}\times\cdots\times\mathbb{R}^{n_{r}}}m(\xi)\hat{f}(\xi)e^{2\pi ix\cdot\xi}\,d\xi
for x ∈ R n 1 × ⋯ × R n r x\in{\mathbb{R}^{n_{1}}\times\cdots\times\mathbb{R}^{n_{r}}} . We will show
∥ T m ∥ H p → H p ≲ sup j 1 , … , j r ∈ Z ∥ m j 1 , … , j r ∥ B 2 , q ( s 1 , … , s r ) , \lVert T_{m}\rVert_{H^{p}\to H^{p}}\lesssim\sup_{j_{1},\ldots,j_{r}\in\mathbb{Z}}\lVert m_{j_{1},\ldots,j_{r}}\rVert_{B^{{(s_{1},\ldots,s_{r})}}_{2,q}},
where 0 < q < ∞ 0<q<\infty and s i > n i ( 1 p - 1 2 ) s_{i}>n_{i}\bigl{(}\frac{1}{p}-\frac{1}{2}\bigr{)} . Here we have used the notation
m j 1 , … , j r ( ξ ) = m ( 2 j 1 ξ 1 , … , 2 j r ξ r ) ψ ( 1 ) ( ξ 1 ) ⋯ ψ ( r ) ( ξ r ) , m_{j_{1},\ldots,j_{r}}(\xi)=m(2^{j_{1}}\xi_{1},\ldots,2^{j_{r}}\xi_{r})\psi^{(1)}(\xi_{1})\cdots\psi^{(r)}(\xi_{r}),
and ψ ( i ) ( ξ i ) \psi^{(i)}(\xi_{i}) is a suitable cut-off function on R n i \mathbb{R}^{n_{i}} for 1 ≤ i ≤ r 1\leq i\leq r . This multi-parameter Hörmander multiplier theorem is in the spirit of the earlier work of Baernstein and Sawyer in the one-parameter setting and sharpens our recent result of Hörmander multiplier theorem in the bi-parameter case which was established using R. Fefferman’s boundedness criterion. Because R. Fefferman’s boundedness criterion fails in the cases of three or more parameters, it is substantially more difficult to establish such Hörmander multiplier theorems in three or more parameters than in the bi-parameter case. To assume only the optimal smoothness on the multipliers, delicate and hard analysis on the sharp estimates of the square functions on arbitrary atoms are required. Our main theorems give the boundedness on the multi-parameter Hardy spaces under the smoothness assumption of the multipliers in multi-parameter Besov spaces and show the regularity conditions to be sharp.

After the celebrated work of L. Hörmander on the one-parameter pseudo-differential operators, the applications of pseudo-differential operators have played an important role in partial differential equations, geometric analysis, harmonic analysis, theory of several complex variables and other branches of modern analysis. For instance, they are used to construct parametrices and establish the regularity of solutions to PDEs such as the {\overline{\partial}} problem. The study of Fourier multipliers, pseudo-differential operators and Fourier integral operators has stimulated further such applications. It is well known that the one-parameter pseudo-differential operators are {L^{p}({\mathbb{R}^{n}})} bounded for {1<p<\infty} , but only bounded on local Hardy spaces {h^{p}({\mathbb{R}^{n}})} introduced by Goldberg in [D. Goldberg, A local version of real Hardy spaces, Duke Math. J. 46 1979, 1, 27–42] for {0<p\leq 1} . Though much work has been done on the {L^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} boundedness for {1<p<\infty} and Hardy {H^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} boundedness for {0<p\leq 1} for multi-parameter Fourier multipliers and singular integral operators, not much has been done yet for the boundedness of multi-parameter pseudo-differential operators in the range of {0<p\leq 1} . The main purpose of this paper is to establish the boundedness of multi-parameter pseudo-differential operators on multi-parameter local Hardy spaces {h^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} for {0<p\leq 1} recently introduced by Ding, Lu and Zhu in [W. Ding, G. Lu and Y. Zhu, Multi-parameter local Hardy spaces, Nonlinear Anal. 184 2019, 352–380].

In this paper, we mainly establish the Hörmander type multiplier theorem related to the modulation spaces M2,ps(Rn) for all 0<p≤1. This extends the result of Tomita (2009) when p=1 to all the cases 0<p≤1. We use the Littlewood–Paley–Stein square functions and atomic decompositions to establish our main result. Furthermore, our method is substantially different from that used in Tomita (2009) when p=1.

In this paper, we establish a boundedness criterion of a class of inhomogeneous Journé’s type of multi-parameter singular integral operators on multi-parameter local Hardy spaces hp(Rn1×⋯×Rnk) recently introduced in Ding et al. (2019). The consideration of such inhomogeneous Journé’s type of multi-parameter singular integral operators is motivated by the study of the multi-parameter pseudo-differential operators on multi-parameter local Hardy spaces. The lack of the vanishing moments of both the corresponding functions in the multi-parameter local Calderón reproducing formula and the multi-parameter local Littlewood–Paley–Stein functions, as well as the lack of vanishing moments of atoms in the multi-parameter local Hardy spaces hp(Rn1×⋯×Rnk) with large size all create substantial difficulties in our proofs.

The main purpose of this paper is to establish, using the bi-parameter Littlewood–Paley–Stein theory (in particular, the bi-parameter Littlewood–Paley–Stein square functions), a Calderón–Torchinsky type theorem for the following Fourier multipliers on anisotropic product Hardy spaces {H^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}};\vec{A})} ( {0<p\leq 1} ):
T_{m}f(x,y)=\int_{\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}}}m(\xi,\eta)\hat{f% }(\xi,\eta)e^{2\pi i(x\cdot\xi+y\cdot\eta)}\mathop{}\!d\xi\mathop{}\!d\eta.
Our main theorem is the following: Assume that {m(\xi,\eta)} is a function on {\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}}} satisfying
\sup_{j,k\in\mathbb{Z}}\lVert m_{j,k}\rVert_{W^{(s_{1},s_{2})}(\vec{A})}<\infty
with {s_{1}>\zeta_{1,-}^{-1}(\frac{1}{p}-\frac{1}{2})} , {s_{2}>\zeta_{2,-}^{-1}(\frac{1}{p}-\frac{1}{2})} , where {\zeta_{1,-}} and {\zeta_{2,-}} depend only on the eigenvalues and are defined in the first section. Then {T_{m}} is bounded from {H^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}};\vec{A})} to {H^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}};\vec{A})} for all {0<p\leq 1} and
\lVert T_{m}\rVert_{H^{p}(\vec{A})\to H^{p}(\vec{A})}\leq C_{{\vec{A},s_{1},s_% {2},p}}\sup_{j,k\in\mathbb{Z}}\lVert m_{j,k}\rVert_{W^{(s_{1},s_{2})}(\vec{A})},
where {W^{(s_{1},s_{2})}(\vec{A})} is a bi-parameter anisotropic Sobolev space on {\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}}} with {C_{{\vec{A},s_{1},s_{2},p}}} is a positive constant that depends on {\vec{A},s_{1},s_{2},p} . Here we use the notations {m_{j,k}(\xi,\eta)=m(A_{1}^{\ast j}\xi,A_{2}^{\ast k}\eta)\varphi^{(1)}(\xi)% \varphi^{(2)}(\eta)} , where {\varphi^{(1)}(\xi)} is a suitable cut-off function on {\mathbb{R}^{n_{1}}} and {\varphi^{(2)}(\eta)} is a suitable cut-off function on {\mathbb{R}^{n_{2}}} , respectively.

The main purpose of this paper is to establish, using the Littlewood-Paley-Stein theory (in particular, the Littlewood-Paley-Stein square functions), a Calderón-Torchinsky type theorem for the following Fourier multipliers on anisotropic Hardy spaces Hp (ℝn; A) associated with expensive dilation A: Tmf(x)=∫ℝnm(ξ)f^(ξ)e2πix⋅ξdξ. Our main Theorem is the following: Assume that m(ξ) is a function on ℝn satisfying supj∈ℤ‖mj‖Ws(A∗)ζ−−1(1p−12) Then Tm is bounded from Hp(ℝn; A) to Hp(ℝn; A) for all 0 < p ≤ 1 and ‖Tm‖HAp→HAp≲supj∈ℤ‖mj‖Ws(A∗), where A* denotes the transpose of A. Here we haveusedthe notations mj (ξ)= m(A*jξ)φ(ξ)and is a suitable cut-off function on ℝn, and Ws(A*) is an anisotropic Sobolev space associated with expansive dilation A* on ℝn.

Usually, the condition that T is bounded on L²(ℝⁿ) is assumed to prove the boundedness of an operator T on a Hardy space. With this assumption, one only needs to prove the uniformly boundness of T on atoms, since T(f) = ∑iλiT (ai), provided that f = ∑iλiai in L²(ℝⁿ), where ai is an L² atom of this Hardy space. So far, the L² atomic decomposition of local Hardy spaces hp(ℝⁿ), 0 < p ≤ 1, hasn’t been established. In this paper, we will solve this problem, and also show that hp(ℝⁿ) can also be characterized by discrete Littlewood—Paley functions.

In our recent work [W. Ding, G. Lu and Y. Zhu, Multi-parameter local Hardy spaces, Nonlinear Anal. 184 2019, 352–380], the multi-parameter local Hardy space {h^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} has been introduced by using the continuous inhomogeneous Littlewood–Paley–Stein square functions. In this paper, we will first establish the new discrete multi-parameter local Calderón’s identity. Based on this identity, we will define the local multi-parameter Hardy space {h_{\mathrm{dis}}^{p}(\mathbb{R}^{n_{1}}\times\mathbb{R}^{n_{2}})} by using the discrete inhomogeneous Littlewood–Paley–Stein square functions. Then we prove that these two multi-parameter local Hardy spaces are actually the same. Moreover, the norms of the multi-parameter local Hardy spaces under the continuous and discrete Littlewood–Paley–Stein square functions are equivalent. This discrete version of the multi-parameter local Hardy space is also critical in establishing the duality theory of the multi-parameter local Hardy spaces.

Relations between (FORMULA PRESENTED) and (FORMULA PRESENTED) of the real line are studied in the case when (FORMULA PRESENTED), where q(x) is a polynomial and w(x) satisfies the Ap condition. It turns out that (FORMULA PRESENTED) and (FORMULA PRESENTED) can be identified when all the zeros of q are real, and that otherwise (FORMULA PRESENTED) can be identified with a certain proper subspace of (FORMULA PRESENTED). In either case, a complete description of the distributions in (FORMULA PRESENTED) is given. The questions of boundary values and of the existence of dense subsets of smooth functions are also considered.

In this paper we discuss a weighted version of Journé's covering lemma, a substitution for Whitney decomposition of an open set in R2 where squares are replaced by rectangles. We then apply this result to obtain a sharp version of the atomic decomposition of the weighted Hardy spaces Hu'p (R+2 x R+2) and a description of their duals when p is close to 1.

R. Fefferman has shown that, on a product-space with two factors, an operator T bounded on $L^ 2$ maps $L^{\infty }$ into BMO of the product if the mean oscillation on a rectangle R of the image of a bounded function supported out of a multiple R’ of R, is dominated by $C\vert R\vert ^ s\vert R\vert ^{-s}$, for some $s>0$. We show that this result does not extend in general to the case where E has three or more factors but remains true in this case if in addition T is a convolution operator, provided $s>s_ 0(E)$. We also show that the Calderon-Coifman bicommutators, obtained from the Calderon commutators by multilinear tensor product, are bounded on $L^ 2$ with norms growing polynomially.

Relations between L u p and H u p are studied for the product space ℝ 1 ×ℝ 1 in the case 1<p<∞ and u(x 1 ,x 2 )=|Q 1 (x 1 )| p |Q 2 (x 2 )| p w(x 1 ,x 2 ), where Q 1 and Q 2 are polynomials and w satisfies the A p condition for rectangles. A description of the disributions in H u p is given. Questions about boundary values and about the existence of dense subsets of smooth functions satisfying appropriate moment conditions are also considered.