Abstract
The main purpose of this paper is to study multi-parameter singular integral operators which commute with Zygmund dilations. Motivated by some explicit examples of singular integral operators studied in Ricci and Stein (Ann Inst Fourier (Grenoble) 42:637–670, 1992), Fefferman and Pipher (Am J Math 11:337–369, 1997), and Nagel and Wainger (Am J Math 99:761–785, 1977), we introduce a class of singular integral operators on \({\mathbb {R}}^3\) associated with Zygmund dilations by providing suitable version of regularity conditions and cancellation conditions on convolution kernels, and then show the boundedness for this class of operators on \(L^p\), \(1<p<\infty \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Statement of Main Results
It is well known that Calderón and Zygmund [1] introduced certain convolution singular integral operators on \({\mathbb {R}}^n\) which generalize the Hilbert transform on \({\mathbb {R}}.\) They proved that if \(T(f)=\mathcal {K}*f,\) where \(\mathcal {K}\) is defined on \({\mathbb {R}}^n\) and satisfies the analogous estimates as \(\frac{1}{x}\) does on \({\mathbb {R}}^1,\) namely
and
then T is bounded on \(L^p({\mathbb {R}}^n)\) for \(1<p<\infty .\) The core of this theory is that the regularity and cancellation conditions are invariant with respect to the one-parameter family of dilations on \({\mathbb {R}}^n\) defined by \(\delta (x_1, x_2, \ldots , x_n)= (\delta x_1, \ldots , \delta x_n)\), \(\delta >0,\) in the sense that the kernel \(\delta ^n{\mathcal {K}}(\delta x)\) satisfies the same conditions with the same bound as \({\mathcal {K}}(x)\).
On the other hand, the multiparameter theory of \({\mathbb {R}}^n\) began with Zygmund’s study of the strong maximal function defined by
where R are the rectangles in \({\mathbb {R}}^n\) with sides parallel to the axes, and then continued with Marcinkiewicz’s proof of his multiplier theorem. If we consider the family of product dilations defined by \(\delta (x_1, x_2, \ldots , x_n)=(\delta _1 x_1, \ldots , \delta _n x_n), \delta _i>0, i=1,..., n,\) then the strong maximal function and Marcinkiewicz’s multiplier are invariant under the product dilations. The multiparameter dilations are also associated with problems in the theory of differentiation of integrals. Jensen–Marcinkiewicz–Zygmund [17] proved that the strong maximal function in \({\mathbb {R}}^n\) is bounded from the Orlicz space \(L(1+(\log ^+L)^{n-1})\) to weak \(L^1\).
In [14], Fefferman and Stein generalized the singular integral operator theory to the product space. They took the space \({\mathbb {R}}^n\times {\mathbb {R}}^m\) along with the two-parameter family of dilations \((x, y)\mapsto (\delta _1 x, \delta _2 y), (x,y)\in {\mathbb {R}}^n\times {\mathbb {R}}^m, \delta _1,\delta _2>0.\) Those operators considered in [14] generalize the double Hilbert transform on \({\mathbb {R}}^2\) given by \(H(f)=f*\frac{1}{xy}\) and are of the form \(T(f)=\mathcal {K}*f,\) where the kernel \(\mathcal {K}\) is characterized by the cancellation properties
and the regularity conditions
Under the conditions (1.3)–(1.5), Fefferman and Stein proved the \(L^p, 1<p<\infty ,\) boundedness of the product convolution operators \(T(f)={\mathcal {K}}*f.\) See [14] for more details. Note that the kernel \({\mathcal {K}}\) satisfying the conditions (1.3)–(1.5) is invariant with respect to the product dilation in the sense that the kernel \(\delta _1^n\delta _2^m{\mathcal {K}}(\delta _1 x,\delta _2 y)\) satisfies conditions (1.3)–(1.5) with the same bound. For more discussions about the multiparameter product theory, see for example [2,3,4,5,6,7,8,9,10,11,12, 15, 16, 18,19,20,21, 27, 29] and in particular the survey article of Fefferman [12] for development in this area. For singular integrals with flag kernels, see [22, 24,25,26].
It has been widely considered that the next simplest multiparameter group of dilations after the product multiparameter dilations is the so-called the Zygmund dilation defined on \({\mathbb {R}}^3\) by \(\rho _{s,t}(x_1,x_2,x_3) = (sx_1, tx_2, stx_3)\) for \(s, t > 0\). Corresponding to this Zygmund dilation, one has the maximal function
where supremum above is taken over all rectangles in \({\mathbb {R}}^3\) with sides parallel to the axes and side lengths of the form s, t, and st. As far as \({{\mathcal {M}}}_{\mathfrak {z}}\) is concerned, Stein was the first to link the properties of maximal operators associated with Zygmund dilations to boundary value problems for Poisson integrals on symmetric spaces, such as Siegel’s upper half space. We refer to the survey paper of Fefferman [10] on the future direction of research of multiparameter analysis on Zygmund dilations.
Besides \({{\mathcal {M}}}_{\mathfrak {z}}\), Ricci and Stein [28] introduced a class of singular integrals with more general dilations. One of those singular integrals is an explicit operator associated with Zygmund dilation of the form \(T_{\mathfrak {z}}f=f* \mathcal {K}\), where
and the function \(\phi \) is supported in an unit cube in \({\mathbb {R}}^3\) with a certain amount of uniform smoothness and satisfies cancellation conditions
It was shown in [28] that \(T_{\mathfrak {z}}\) is bounded on \(L^p({\mathbb {R}}^3)\) for all \(1<p< \infty .\) Particularly, as mentioned in [13], the above cancellation conditions are also necessary for the boundedness of the above-mentioned operators on \(L^2({\mathbb {R}}^3).\) It is easy to see that if the dyadic Zygmund dilation is given by \((\delta _{{2^j},{2^k}}f)(x_1,x_2,x_3)=2^{2(j+k)} f(2^j x_1,2^k x_2, 2^{(j+k)} x_3),\) then we obtain that \((\delta _{{2^j},{2^k}}T_{\mathfrak {z}}(f))(x_1,x_2,x_3)= T_{\mathfrak {z}}(\delta _{{2^j},{2^k}}f)(x_1,x_2,x_3).\) This means that the operators studied by Ricci and Stein commute with Zygmund dilations of dyadic form. See [28] for more details. Fefferman and Pipher [13] further showed that \(T_{\mathfrak {z}}\) is bounded in \(L^p_w\) spaces for \(1<p<\infty \) when the weight w satisfies an analogous condition of Muckenhoupt associated with Zygmund dilations.
Another explicit example related to the Zygmund dilation is an operator studied by Nagel–Wainger [23], which is the singular integrals along certain surfaces in \({\mathbb {R}}^3\), defined as \(Tf=f* \mathcal {K}\), where
Motivated by these specific operators with the convolution kernel as in (1.6) and (1.7), in the current paper we introduce a class of singular integral operators associated with Zygmund dilations by providing suitable version of regularity conditions and cancellation conditions for the convolution kernel and then show the boundedness for these operators on \(L^p, 1<p<\infty \). We also provide another versions of cancellation conditions via normalized bump functions introduced by Stein [29].
To be more precise, suppose that \(\mathcal {K}(x_1,x_2,x_3)\) is a function defined on \({\mathbb {R}}^3\) away from the union \(\lbrace 0, x_2,x_3\rbrace \cup \lbrace x_1, 0,x_3\rbrace \cup \lbrace x_1, x_2,0\rbrace \). For integers \(\alpha \), \(\beta \), and \(\gamma \) taking only values 0 or 1, we define
and
For simplicity, we denote \(\Delta _{x_1,h_1}=\Delta _{x_1,h_1}^1,\)\(\Delta _{x_2,h_2}=\Delta _{x_2,h_2}^1\) and \(\Delta _{x_3,h_3}=\Delta _{x_3,h_3}^1\).
The “regularity” conditions considered in this paper are characterized by
for all \(0 \le \alpha \le 1, 0 \le \beta +\gamma \le 1\) or \(0 \le \alpha +\gamma \le 1, 0 \le \beta \le 1,\) and \(|x_1|\ge 2 |{h_1}|>0, |x_2|\ge 2 |{h_2}|>0, |x_3|\ge 2 |{h_3}|>0\), \({h_1},{h_2},{h_3}\in {\mathbb {R}}\) and some \(0<{\theta _1}\le 1,0<{\theta _2}<1.\)
Note that for any fixed non-zero two variables, say, \(x_1\not =0\) and \(x_2\not =0,\)\(\mathcal {K}(x_1,x_2,x_3)\) is an integrable function with respect to the variable \(x_3\) and the resulting integral \(\widetilde{K}(x_1,x_2)=\int _{{\mathbb {R}}}{\mathcal {K}}(x_1,x_2,x_3)\text {d}x_3,\) as a kernel on \({\mathbb {R}}^2,\) satisfies the regularity conditions of the classical product kernel on \({\mathbb {R}}^2\) as studied by Fefferman and Stein in [14]. These facts, as mentioned above, can also be easily checked for singular integral operator \(T_{{\mathfrak {z}}}\).
In this paper, we consider three kinds of cancellation conditions. The first one is
uniformly for all \(\delta _1,\delta _2,\delta _3,r_1,r_2,r_3>0;\)
uniformly for all \(\delta _1,\delta _2,r_1,r_2>0,\)\(|x_3|\ge 2|{h_3}|>0\) and \(0 \le \gamma \le 1;\)
uniformly for all \(\delta _2,\delta _3,r_2,r_3>0,\)\(|x_1| \ge 2|{h_1}|>0\) and \(0 \le \alpha \le 1;\)
uniformly for all \(\delta _1,\delta _3,r_1,r_3>0,\)\(|x_2| \ge 2|{h_2}|>0\) and \(0 \le \beta \le 1.\)
The regularity conditions (RR) and the cancellation conditions (C1.a)–(C1.d) imply the following \(L^2\) boundedness.
Theorem 1.1
Suppose that \(\mathcal {K}\) is a function defined on \({\mathbb {R}}^3\) and satisfies the conditions (RR) and (C1.a)–(C1.d). Set \({\mathcal {K}}_{\epsilon }^N(x_1,x_2,x_3)={\mathcal {K}}(x_1,x_2,x_3)\) if \(\epsilon _1 \le |x_1| \le N_1, \epsilon _2 \le |x_2| \le N_2\) and \(\epsilon _3\le |x_3| \le N_3\) and \({\mathcal {K}}_{\epsilon }^N(x_1,x_2,x_3)=0\) otherwise, where \(\epsilon =(\epsilon _1,\epsilon _2,\epsilon _3)\) and \(N=(N_1,N_2,N_3)\) for all \(0<\epsilon _1\le N_1<\infty ,\epsilon _2\le N_2<\infty ,\) and \(\epsilon _3\le N_3<\infty .\) Then, the operator \({\mathcal {K}}_{\epsilon }^N*f\) is bounded on \(L^2({\mathbb {R}}^3)\) and moreover,
where the constant A depends only on the constant C but not on \(\epsilon _1,\epsilon _2, \epsilon _3, N_1,N_2\) and \(N_3.\)
From Theorem 1.1, we will deduce the existence of the corresponding singular integrals in the \(L^2\) norm as a limit of the truncated integrals.
Corollary 1.2
Suppose that \({\mathcal {K}}\) is a function defined on \({\mathbb {R}}^3\) and satisfies the conditions (RR), (C1.a)–(C1.d) and, in addition, the three integrals
converge almost everywhere as \(\epsilon _1,\epsilon _2,\epsilon _3\rightarrow 0\) and \(N_1,N_2,N_3\rightarrow \infty .\) Then the limit \(\lim _{\begin{array}{c} \epsilon _1,\epsilon _2,\epsilon _3\rightarrow 0 \\ N_1,N_2,N_3\rightarrow \infty \end{array}} {\mathcal {K}}_{\epsilon }^N*f={\mathcal {K}}*f\) exists in the \(L^2({\mathbb {R}}^3)\) norm. Moreover,
with the constant A depending only on the constant C.
We remark in advance that the proof of Corollary 1.2 indeed implies that \(\lim _{\begin{array}{c} \epsilon _1,\epsilon _2,\epsilon _3\rightarrow 0 \\ N_1,N_2,N_3\rightarrow \infty \end{array}} {\mathcal {K}}_{\epsilon }^N*f\) exists in the \(L^p, 1<p<\infty ,\) norm for smooth functions f having compact support. This fact leads to the study of the \(L^p, p\not =2,\) boundedness of the operator \({\mathcal {K}}*f.\) For this purpose, we need the second kind of the cancellation conditions which are somewhat stronger than the first ones. They are given by
uniformly for all \(\delta _1,\delta _2,\delta _3,r_1,r_2,r_3>0;\)
for all \( \delta _1, r_1>0, 0 \le \beta +\gamma \le 1,\)\(|x_2|\ge 2|{h_2}|>0, |z| \ge 2|{h_3}|>0;\)
uniformly for all \(\delta _2,\delta _3,r_2,r_3>0,\)\(|x_1| \ge 2|{h_1}|>0\) and \(0 \le \alpha \le 1.\) Or
uniformly for all \(\delta _1,\delta _2,\delta _3,r_1,r_2,r_3>0;\)
for all \(\delta _2, r_2>0, 0 \le \alpha +\gamma \le 1\), \(|x_1| \ge 2|h_1|>0\) and \(|x_3| \ge 2|h_3|>0;\)
uniformly for all \(\delta _1,\delta _3,r_1,r_3>0,\)\(|x_2|\ge 2|h_2|>0\) and \(0 \le \beta \le 1.\)
We would like to point out that the condition (C2.b) implies (C1.b) and (C1.d) while (C\(2^\prime .\)b) implies (C1.b) and (C1.c), and all the above regularity and cancellation conditions are invariant with respect to the Zygmund dilation in the sense that the kernel \(\delta ^2_1\delta ^2_2\mathcal {K}(\delta _1 x_1, \delta _2 x_2, \delta _1\delta _2 x_3)\) satisfies the same conditions with the exactly same bounds as \(\mathcal {K}(x_1,x_2,x_3)\).
The \(L^p\) estimate then is given by the following
Theorem 1.3
Suppose that \({\mathcal {K}}\) is a function defined on \({\mathbb {R}}^3\) and satisfies the conditions (RR) and (C2.a)–(C2.c) (or (RR), (C\(2^\prime .\)a)–(C\(2^\prime \).c)) and in addition the three integrals
converge almost everywhere as \(\epsilon _1,\epsilon _2,\epsilon _3\rightarrow 0\) and \(N_1,N_2,N_3\rightarrow \infty .\) Then the operator
defined initially on \(L^2\cap L^p,1<p<\infty ,\) extends to a bounded operator on \(L^p({\mathbb {R}}^3)\) and moreover,
with the constant A depending only on the constant C.
In many applications, singular integral operators are of the form \({\mathcal {K}}*f\) where \({\mathcal {K}}\) is a distribution that equals a function \(\mathcal {K}\) on \({\mathbb {R}}^3\) away from the union \(\lbrace 0, x_2,x_3\rbrace \cup \lbrace x_1, 0,x_3\rbrace \cup \lbrace x_1, x_2,0\rbrace \) and satisfy certain regularity and cancellation conditions. For this purpose, we begin with recalling the bump functions introduced by Stein in [29]. A normalized bump function (n.b.f.) is a smooth function \(\phi \) supported on the unit ball and is bounded by a fixed constant together with its gradient. The third kind of the cancellation conditions considered in this paper is characterized by
for every n.b.f. \(\phi \) on \({\mathbb {R}}^3\) and all \(R_1,R_2>0;\)
for all \(0 \le \beta +\gamma \le 1\), every n.b.f. \(\phi \) on \({\mathbb {R}},\)\(|x_2| \ge 2|h_2|>0,\)\(|x_3| \ge 2|h_3|>0\) and all \(R>0;\)
for all \(0\le \alpha \le 1\), every n.b.f. \(\phi \) on \({\mathbb {R}}^2\), \(|x_1| \ge 2|h_1|>0\) and all \(R_1,R_2>0.\) Or
for every n.b.f. \(\phi \) on \({\mathbb {R}}^3\) and all \(R_1,R_2>0;\)
for all \(0 \le \alpha +\gamma \le 1\), every n.b.f. \(\phi \) on \({\mathbb {R}}\), \(|x_1| \ge 2|h_1|>0, |x_3| \ge 2|h_3|>0\) and all \(R>0;\)
for all \(0\le \beta \le 1\), every n.b.f. \(\phi \) on \({\mathbb {R}}^2\), \(|x_2| \ge 2|h_2|>0\) and all \(R_1,R_2>0.\)
Theorem 1.4
Let all the notation be the same as above.
-
(a)
Suppose that \(\mathcal {K}\) is a distribution that equals a function on \({\mathbb {R}}^3\) away from the union \(\lbrace 0, x_2,x_3\rbrace \cup \lbrace x_1, 0,x_3\rbrace \cup \lbrace x_1, x_2,0\rbrace \) and satisfies conditions (RR) and (C3.a)–(C3.c) (or (RR), (C\(3^\prime .\)a)–(C\(3^\prime .\)c)). Then, the operator \({\mathcal {K}}*f\) is bounded on \(L^p({\mathbb {R}}^3),1<p<\infty ;\) moreover,
$$\begin{aligned} \Vert \mathcal {K}*f\Vert _{L^p({\mathbb {R}}^3)}\le A\Vert f\Vert _{L^p({\mathbb {R}}^3)} \end{aligned}$$with the constant A depending only on the constant C.
-
(b)
Suppose that \(\mathcal {K}\) is a distribution that equals a function on \({\mathbb {R}}^3\) away from the union \(\lbrace 0, x_2,x_3\rbrace \cup \lbrace x_1, 0,x_3\rbrace \cup \lbrace x_1, x_2,0\rbrace \) and satisfies conditions (RR) and (C2.a)–(C2.c) (or (RR), (C\(2^\prime .\)a)–(C\(2^\prime .\)c)). Then, the operator \({\mathcal {K}}*f\) is bounded on \(L^p({\mathbb {R}}^3),1<p<\infty ,\) and
$$\begin{aligned} \Vert \mathcal {K}*f\Vert _{L^p({\mathbb {R}}^3)}\le A\Vert f\Vert _{L^p({\mathbb {R}}^3)} \end{aligned}$$with the constant A depending only on the constant C.
Remark 1.5
We would like to point out that all regularity and cancellation conditions given above are invariant with respect to Zygmund dilations. Moreover, The boundedness results in this paper can be extended to higher dimensions. The consideration of regularity and cancellation conditions in this paper leads naturally to the study of non-convolution singular integral operators which are associated with Zygmund dilations. We will discuss all these topics in the forthcoming works.
Theorem 1.6
Let all the notation be the same as above.
-
(i)
The singular integral operator \(T_{\mathfrak {z}}\) given in [28] with the convolution kernel as in (1.6) can be written as \(T_{{\mathfrak {z}}} =T_{{\mathfrak {z}},1}+T_{{\mathfrak {z}},2}\), where \(T_{{\mathfrak {z}},i}\) is a singular integral operator with convolution kernel \({\mathcal {K}}_i\), \(i=1,2\). \({\mathcal {K}}_1\) satisfies conditions (RR) and (C2.a)–(C2.c), and \({\mathcal {K}}_2\) satisfies conditions (RR), (C\(2^\prime .\)a)–(C\(2^\prime .\)c)).
-
(ii)
The singular integral operator T given in [23] with the convolution kernel as in (1.7) satisfy conditions (RR) and (C2.a)–(C2.c).
Remark 1.7
Note that for the operator T from [23] with the convolution kernel as in (1.7), only the \(L^2\) boundedness is proved. Hence, as a consequence of Theorem 1.3, T is bounded on \(L^p({\mathbb {R}}^3)\) for all \(1<p<\infty .\)
The organization of this paper is as follows: In the next section, we will show the \(L^2\) boundedness for singular integral operators associated with Zygmund dilations, namely Theorem 1.1 and Corollary 1.2. The \(L^p\) boundedness, namely Theorems 1.3 and 1.4, will be proved in Sect. 3. In the last section, we prove Theorem 1.6.
2 \(L^2\) Boundedness
The main task of this section is to provide proofs of Theorem 1.1 and Corollary 1.2. Before proving Theorem 1.1, we first prove the following simple result which will be used frequently below.
Lemma 2.1
For any \(f(x)\in L_{\text {loc}}^1({\mathbb {R}})\) and \(N>8\), we have
where \(E_N= \{x:4 \le |x| \le 12 \} \cup \{x:N-\pi \le |x| \le N+\pi \}\).
Proof
We write
Therefore,
and Lemma 2.1 follows. \(\square \)
We now prove Theorem 1.1.
Proof of Theorem 1.1
By the Plancherel theorem, the \(L^2\) boundedness of \({\mathcal {K}}_\epsilon ^N*f\) is equivalent to \(|\widehat{{\mathcal {K}}_\epsilon ^N}(\chi ,\eta ,\xi )|\)\(\le A,\) where \(\widehat{{\mathcal {K}}_\epsilon ^N}\) is the Fourier transform of \({\mathcal {K}}_\epsilon ^N\) and A is the constant depending only on the constant C but not on \(\epsilon =(\epsilon _1,\epsilon _2,\epsilon _3)\) and \(N=(N_1,N_2,N_3).\) To obtain such an estimate, we may assume that \(\chi \) and \(\eta \) are both positive. Note that,
As we remarked above that the assumptions on \(\mathcal {K}\) are invariant in the sense that \(\delta ^2_1\delta ^2_2 \mathcal {K}(\delta _1x_1,\delta _2 x_2,\)\(\delta _1\delta _2 x_3)\) satisfies the same assumptions as \(\mathcal {K}\) with the same constant C, independent of \(\delta _1, \delta _2>0.\) Thus \(\frac{1}{\chi ^2\eta ^2}\mathcal {K}(\frac{x_1}{\chi },\frac{x_2}{\eta }, \frac{x_3}{\chi \eta })\) satisfies all conditions (RR) and (C1.a)–(C1.d) with the same bounds uniformly for \(\chi ,\eta .\) Therefore, it suffices to show that \(\widehat{{\mathcal {K}}_\epsilon ^N}(1,1,\xi )\) is a bounded function uniformly for \(0<\epsilon _1,\epsilon _2, \epsilon _3, N_1,N_2,N_3<\infty .\) To do this, for simplicity, we set \(\epsilon _4=\epsilon _3|\xi |\) and \(N_4=N_3|\xi |\). Without loss of generality, we may assume that \(\epsilon _1,\epsilon _2, \epsilon _4 \le 8 \le N_1,N_2,N_4\) since all other cases can be written as a finite linear combination of these cases and can be handled similarly.
The bound of \(\widehat{{\mathcal {K}}_\epsilon ^N}(1,1,\xi )\) follows from the regularity and cancellation conditions on \({\mathcal {K}}.\) More precisely, we write
where I is the result of integrating over the set \(\big \{ 8\le |x_1|\le N_1, \epsilon _2 \le |x_2|\le N_1, \epsilon _4 \le |x_3|\le N_4\big \}\) and II over the set \(\big \{ \epsilon _1 \le |x_1|<8,\epsilon _2 \le |x_2|\le N_1, \epsilon _4 \le |x_3|\le N_4\big \}.\)
For term I, using Lemma 2.1 with \(f(x_1)=\int _{\epsilon _2 \le |x_2| \le N_2}\int _{\epsilon _4 \le |x_3| \le N_4}\frac{1}{\xi }\mathcal {K}\Big (x_1,x_2,\frac{x_3}{\xi }\Big )\)\( e^{-ix_2} \cdot e^{-ix_3 }\text {d}x_3\text {d}x_2\), we obtain
We write \(I_1\) by
To estimate term \(I_{1,1},\) using Lemma 2.1 with \(f(x_2)=\int _{\epsilon _4 \le |x_3| \le N_4}\frac{1}{\xi }\mathcal {K}\Big (x_1,x_2,\frac{x_3}{\xi }\Big )\)\( e^{-ix_3 }\text {d}x_3\) we get
where we use the condition (RR) above on \(\mathcal {K}\) with \(\alpha =\beta =\gamma =0\) and \(\alpha =0, \beta =1,\gamma =0,\) respectively.
To handle term \(I_{1,2}\), we write
By Lemma 2.1 with \(f(x_3)=\int _{\epsilon _2 \le |x_2| \le 8} \frac{1}{\xi }\mathcal {K}\Big (x_1,x_2,\frac{x_3}{\xi }\Big )e^{-ix_2} \text {d}x_2\), we get
where we use the regularity condition (RR) above with \(\alpha =\beta =\gamma =0\) and \(\alpha =\beta =0, \gamma =1,\) respectively.
To estimate \(I_{1,2,2},\) we note that
where we use the condition (RR) with \(\alpha =\beta =\gamma =0,\) and the cancellation condition (C1.c) with \(\alpha =0.\)
Next we consider \(I_2\). Set \(I_{2,1}\) and \(I_{2,2}\) by
and
Then \(I_2\le |I_{2,1}|+|I_{2,2}|.\) Similarly, applying Lemma 2.1 with
we obtain
where we use the condition (RR) above with \(\alpha =1,\beta =\gamma =0\) and \(\alpha =\beta =1, \gamma =0,\) respectively.
For term \(I_{2,2},\) note that
By Lemma 2.1 with \(f(x_3)=\int _{\epsilon _2 \le |x_2| \le 8} \Delta _{x_1,\pi } \Big (\frac{1}{\xi }\mathcal {K}\Big (x_1,x_2,\frac{x_3}{\xi }\Big )\Big ) e^{-ix_2}\text {d}x_2\), we have
where we use the conditions (RR) above with \(\alpha =1, \beta =\gamma =0\) and \(\alpha =\gamma =1, \beta =0,\) respectively.
The estimate for term \(I_{2,2,2}\) follows from a similar way as term \(I_{1,2,2}.\) Indeed,
where we use the condition (RR) with \(\alpha =1, \beta =\gamma =0\) and the condition (C1.c), respectively.
Now we turn to the estimate for term II. We first write
We further write
For term \(II_{1,1},\) using Lemma 2.1 with \(f(x_2)=\int _{\epsilon _4 \le |x_3| \le N_4}\int _{\epsilon _1 \le |x_1| \le 8} \frac{1}{\xi }\mathcal {K}\Big (x_1,x_2,\frac{x_3}{\xi }\Big )\)\( (e^{-ix_1}-1)e^{-ix_3 }\text {d}x_1\text {d}x_3\), we obtain
where we use the condition (RR) above for \(\alpha =\beta =\gamma =0\) and \(\beta =1, \alpha =\gamma =0,\) respectively.
Similarly,
The bounds of \(II_{1,2,1}\) and \(II_{1,2,2}\) then follow from the similar estimates as terms \(I_{2,2,1}\) and \(I_{2,2,2},\) respectively.
Finally, we estimate term \(II_2.\) Denote \(II_2=II_{2,1}+II_{2,2},\) where
and
Note that
Applying Lemma 2.1 with \(f(x_2)=\int _{8 \le |x_3| \le N_4} \int _{\epsilon _1 \le |x_1| \le 8} \frac{1}{\xi }\mathcal {K}\Big (x_1,x_2,\frac{x_3}{\xi }\Big )e^{-ix_3 }\text {d}x_1\text {d}x_3\) first, and then \(f(x_3)= \int _{\epsilon _1 \le |x_1| \le 8} \frac{1}{\xi }\mathcal {K}\Big (x_1,x_2,\frac{x_3}{\xi }\Big )\text {d}x_1,\) combining with the condition (RR), we obtain
To estimate \(II_{2,1,2},\) inserting \(e^{-ix_3 }=[e^{-ix_3 }-1]+1\) and then applying Lemma 2.1, we get
The required bound then follows from the conditions (RR) for the first two integrals while the condition (C1.d) for the last two integrals.
For \(II_{2,2}\), splitting the set \(\{\epsilon _4 \le |x_3| \le N_4\}\) into two parts \(\{\epsilon _4 \le |x_3| \le 8\}\) and \(\{8 \le |x_3| \le N_4\}\), and inserting \(e^{-ix_2}e^{-ix_3 }= (e^{-ix_2}-1)(e^{-ix_3}-1) +(e^{-ix_2} -1) + (e^{-ix_3}-1)+ 1\) for the integral over the first set and \(e^{-ix_2}e^{-ix_3 }= (e^{-ix_2}-1)e^{-ix_3}+e^{-ix_3}\) for the integral over the second set, we obtain
The first four items follow from the conditions (RR), (C1.d), (C1.b), and (C1.a), respectively. To estimate the fifth and sixth terms, applying Lemma 2.1, we get
where we use the condition (RR) for the first two terms and (C1.b) for the last two terms above. Thus, these estimates yield the bound of \(II_{2,2}\) and hence the required bound for term II. The \(L^2\) boundedness of \({\mathcal {K}}_\epsilon ^N*f\) follows. \(\square \)
Proof of Corollary 1.2
It suffices to show that \({\mathcal {K}}_\epsilon ^N*f\) converges in \(L^2({\mathbb {R}}^3)\), as \(\epsilon _1,\epsilon _2,\epsilon _3\rightarrow 0\) and \(N_1,N_2,N_3\rightarrow \infty ,\) for a dense subset of \(L^2({\mathbb {R}}^3).\) For this purpose, we consider smooth functions f having compact support. We may assume that \(\epsilon _1,\epsilon _2,\epsilon _3<1\) and \(N_1,N_2,N_3>1.\)
We write \(\iiint _{{\mathbb {R}}^3}{\mathcal {K}}_\epsilon ^N(u)f(x-u))du\) as a sum of eight terms; that is, the integrals over the sets \((i) |u_1|\le 1, |u_2|\le 1, |u_3|\le 1; (ii) |u_1|\le 1, |u_2|\le 1, |u_3|> 1; (iii) |u_1|\le 1, |u_2|> 1, |u_3|\le 1; (iv) |u_1|\le 1, |u_2|> 1, |u_3|> 1; (v) |u_1|> 1,|u_2|\le 1, |u_3|\le 1; (vi) |u_1|> 1, |u_2|\le 1, |u_3|> 1; (vii) |u_1|> 1, |u_2|> 1, |u_3|\le 1; (viii) |u_1|> 1, |u_2|> 1, |u_3|> 1.\) Inserting
into the first term
yields five integrals. In view of the conditions of f and the condition (RR) on \({\mathcal {K}},\) the first integral is dominated by
where \(F_1(x_1)\), \(F_2(x_2)\), and \(F_3(x_3)\) are bounded functions with bounded supports. Thus, as \(\epsilon _1, \epsilon _2,\epsilon _3\rightarrow 0,\) the limit of the first integral exists for each \(x_1, x_2,\) and \(x_3\) and, moreover, is dominated by a fixed bounded function with compact support. Therefore, the first integral converges in \(L^2\) as \(\epsilon _1, \epsilon _2,\epsilon _3\rightarrow 0.\) The third integral can be handled by the same way. To see the second integral, by the condition (C1.c) and the assumption on \({\mathcal {K}}\) we observe that the limit \(\int _{\epsilon _2\le |u_2|\le 1}\int _{\epsilon _3\le |u_3|\le 1}{\mathcal {K}}(u_1,u_2,u_3)\text {d}u_2\text {d}u_3\) exists as \(\epsilon _2, \epsilon _3\rightarrow 0,\) and is dominated by \(C|u_1|^{-1}.\) This fact together with the smoothness condition on f implies the second integral converges in \(L^2\) as \(\epsilon _1, \epsilon _2,\epsilon _3\rightarrow 0\) and the limit is dominated by a bounded function with compact support. Similarly, the required results for the fourth and the last integrals follow from the conditions (C1.d) and (C1.a), respectively, together with the assumptions on \({\mathcal {K}}.\)
Note that in fact \({\mathcal {K}}(u)\) is integrable over the sets \((ii) |u_1|\le 1, |u_2|\le 1, |u_3|\ge 1\) and \((vii) |u_1|\ge 1, |u_2|\ge 1, |u_3|\le 1.\) Thus we have all the required results over these two sets.
Observe that
which belongs to \(L^2({\mathbb {R}}^3).\) This implies the required results over the corresponding sets (iv), (vi), and (viii).
To handle the integral over the set \((iii) |u_1|\le 1, |u_2|\ge 1, |u_3|\le 1,\) inserting
yields three integrals over the set (iii). The first two integrals, by the condition (RR) and the smoothness of f, are dominated by
and
where \(F_1(x_1)\) and \(F_3(x_3)\) are bounded functions with bounded supports. Thus, we obtain a domination, independent of \(\epsilon _1,\epsilon _3\) and \(N_2,\) by a function which belongs to \(L^2({\mathbb {R}}^3),\) so the limits as \(\epsilon _1,\epsilon _3 \rightarrow 0\) and \(N_2\rightarrow \infty \) exist. Applying condition (C1.d) with \(\beta =0\) yields that the last integral is bounded by
which belongs to \(L^2({\mathbb {R}}^3)\) and the limit as \(\epsilon _1,\epsilon _3 \rightarrow 0\) and \(N_2\rightarrow \infty \) exists.
Finally, for the integral over the set \((v) |u_1|\ge 1, |u_2|\le 1,|u_3|\le 1,\) inserting
and then applying the condition (RR) for the first two integrals and (C1.c) with \(\alpha =0\) on the last integral, this integral is dominated by
where \(F_2(x_2)\) and \(F_3(x_3)\) are bounded functions with bounded supports. The existence of the limit is concluded. The \(L^2\) boundedness of \({\mathcal {K}}*f\) then follows from Theorem 1.1. \(\square \)
We would like to remark, as mentioned early in Sect. 1, that incidentally we have shown that \({\mathcal {K}}_\epsilon ^N*f\) converges in \(L^p\) norm and almost everywhere as \(\epsilon _1,\epsilon _2,\epsilon _3\rightarrow 0\) and \(N_1,N_2,N_3\rightarrow \infty \) whenever f is a smooth function with compact support. We also point out that the condition (C1.b) is not used in the proof of Corollary 1.2.
3 \(L^p\) Estimates for \(1<p<\infty \)
In this subsection, we will prove Theorems 1.3 and 1.4. The main tools to show the \(L^p,1<p<\infty ,\) estimates are
-
the \(L^2\) boundedness of \({\mathcal {K}}*f,\)
-
the Littlewood–Paley theory associated with Zygmund dilation,
-
the almost orthogonality argument.
We first recall the Littlewood–Paley theory. As mentioned in Sect. 1, to handle the \(L^p, 1<p<\infty ,\) boundedness of operators, one only needs the continuous Littlewood–Paley square function. To do this, let \({{\mathcal {S}}} ({\mathbb {R}}^i)\) denote the Schwartz class in \({\mathbb {R}}^i, i=1, 2, 3.\) We construct a function defined on \({\mathbb {R}}^3\) given by
where \(\phi ^{(1)}\in {{\mathcal {S}}}({\mathbb {R}}), \phi ^{(2)}\in {{\mathcal {S}}}({\mathbb {R}}^2)\) with the supports contained in the unit ball centered at the origin in \({\mathbb {R}}^3,\) and satisfy
and the moment conditions
For \(f\in L^p, 1<p<\infty \), \(g_{\mathfrak {z}}^c(f)\), the continuous Littlewood–Paley square function of f associated with the Zygmund dilation is defined by
where
By taking the Fourier transform, it is easy to see that the following Calderón’s identity
holds on \(L^2({\mathbb {R}}^3).\)
Using the \(L^p\) boundedness of operators for \(1<p<\infty \) obtained by Ricci and Stein in [28], as mentioned in Sect. 1, we have
for every sequence \(\epsilon (j,k),\) taking the values 1 and \(-1\), where F is any finite subset of \(j, k\in {\mathbb {Z}}.\) Using Khinchin’s well-known inequality, we obtain
for \(1<p<\infty .\) This estimate together with Calderón’s identity on \(L^2\) allows us to obtain the \(L^p\) estimates of \(g_{\mathfrak {z}}^c\) for \(1<p<\infty \). Namely, there exist constants \(C_1\) and \(C_2\) such that, for \(1<p<\infty ,\)
Now we turn to the proof of Theorem 1.3. First note that \({\mathcal {K}}\) satisfies the conditions (C1.a)–(C1.d) since (C2.b) implies (C1.b) and (C1.d), as mentioned in Sect. 1. Therefore, by Corollary 1.2, the operator \({\mathcal {K}}*f=\lim _{\begin{array}{c} \epsilon _1,\epsilon _2,\epsilon _3\rightarrow 0 \\ N_1,N_2,N_3\rightarrow \infty \end{array}} {\mathcal {K}}_\epsilon ^N*f\) is bounded on \(L^2({\mathbb {R}}^3).\) To obtain the \(L^p\) boundedness of \({\mathcal {K}}*f,\) it suffices to show this for all \(f\in L^2\cap L^p\) since the subspace \(L^2\cap L^p\) is dense in \(L^p, 1<p<\infty .\) By the \(L^p\) estimates of the Littlewood–Paley square function given in (3.7), the \(L^p\) boundedness of \({\mathcal {K}}*f\) will follow from the estimate
To prove (3.8) for all \(f\in L^2\cap L^p,\) using the fact that \({\mathcal {K}}*f\) is bounded on \(L^2,\) as mentioned above, and Calderón’s identity on \(L^2\) given in (3.6), we write
The proof of Theorem 1.3 now follows from the following almost orthogonality argument.
Proposition 3.1
Suppose that \(\phi \) is defined as in (3.5) and \({\mathcal {K}}\) is a function on \({\mathbb {R}}^3\) satisfying the conditions (RR) and (C2.a)–(C2.c). Then, for \(\lambda ={\frac{1}{2}}\min ({\theta _1},{\theta _2}),\)
where the constant C depends only on \(\lambda \) and \({\mathcal {K}}*f\) is defined for \(f\in L^2\) as in Corollary 1.2, and \(j\vee j'\) means \(\max (j, j')\).
Assuming Proposition 3.1 for the moment, we then observe that
where \({\mathcal {M}}_s\) is the strong maximal function on \({\mathbb {R}}^3.\) Hölder’s inequality implies
where we use the Fefferman and Stein’s vector-valued maximal inequality and the Littlewood–Paley square function estimate for \(L^p, 1<p<\infty ,\) in the last two inequalities, respectively.
To finish the proof of Theorem 1.3, we only need to show Proposition 3.1, whose proof follows from the following lemma.
Lemma 3.2
Suppose that \(\phi ^{(1)}\) and \(\phi ^{(2)}\) satisfy the conditions (3.1)–(3.4) and \({\mathcal {K}}\) is a function on \({\mathbb {R}}^3\) satisfying the conditions (RR) and (C2.a)–(C2.c). Then, for \(\lambda ={\frac{1}{2}}\min ({\theta _1},{\theta _2}),\) we have
where \(C_\lambda \) is the constant depending only on \(\lambda .\)
Proof
For simplicity, let \(S=\lim _{\begin{array}{c} \epsilon _1,\epsilon _2,\epsilon _3 \rightarrow 0 \\ N_1,N_2,N_3 \rightarrow \infty \end{array}}\int _{\epsilon _1 \le |x-u|\le N_1}\int _{\epsilon _2 \le |x_2-u_2|\le N_2}\)\(\int _{\epsilon _3 \le |x_3-u_3|\le N_3} {\mathcal {K}}(x_1-u_1,x_2-u_2,x_3-u_3)\phi ^{(1)}(u_1)\phi ^{(2)}(u_2,u_3)\text {d}u_3\text {d}u_2\text {d}u_1\). We consider the following eight cases:
Case 1\(|x_1|\ge 3, |x_2| \ge 3, |x_3| \ge 3\). For this case, we use the cancellation conditions in (3.4) to write
Note that \( {\mathcal {K}}(x_1-u_1,x_2-u_2,x_3-u_3)-{\mathcal {K}}(x_1,x_2-u_2,x_3-u_3)- \big ({\mathcal {K}}(x_1-u_1,x_2,x_3)-{\mathcal {K}}(x_1,x_2,x_3)\big ) = \Delta _{x_2,-u_2} \Delta _{x_1,-u_1} \mathcal {K}(x_1,x_2,x_3-u_3)+\Delta _{x_3,-u_3} \Delta _{x_1,-u_1} \mathcal {K}(x_1,x_2,x_3).\) Thus, by the condition (RR) with \(\alpha =\beta =1, \gamma =0\) and \(\alpha =\gamma =1,\beta =0\) respectively, we have
Case 2\(|x_1|\ge 3, |x_2| \ge 3, |x_3| < 3\). By the cancellation condition of \(\phi ^{(1)},\)
Therefore, by the condition (RR) with \(\alpha =1\) and \(\beta =\gamma =0,\) we obtain
Case 3\(|x_1|\ge 3, |x_2| < 3, |x_3| \ge 3.\) The same expression for S as in Case 2 yields
Case 4\(|x_1|\ge 3, |x_2|< 3, |x_3| < 3.\) Using the cancellation condition of \(\phi ^{(1)}\), we write
By the condition (RR) with \(\alpha =1,\beta =\gamma =0\) for the first integral, and the cancellation condition (C2.c) with \(\alpha =1\) for the second integral, we get
Case 5\(|x_1|< 3, |x_2| \ge 3, |x_3| \ge 3\). Similar to Case 4, using the cancellation condition of \(\phi ^{(2)},\) we write
Note that \({\mathcal {K}}(u_1,x_2-u_2,x_3-u_3)-{\mathcal {K}}(u_1,x_2,x_3)=\Delta _{x_2,-u_2} \mathcal {K}(u_1,x_2,x_3)+ \Delta _{x_3,-u_3} \mathcal {K}(u_1,x_2,x_3)\) and \({\mathcal {K}}(u_1,x_2-u_2,x_3-u_3)-{\mathcal {K}}(u_1,x_2,x_3)=\Delta _{x_2,-u_2}\)\( \mathcal {K}(u_1,x_2,x_3-u_3) +\Delta _{x_3,-u_3} \mathcal {K}(u_1,x_2,x_3)\). Thus, using the condition (RR) on \({\mathcal {K}}\), the smoothness of \(\phi ^{(1)}\) for the first integral, and the cancellation conditions (C2.b) with \(\beta =1, \gamma =0\) and \(\beta =0, \gamma =1,\) respectively, for the second integral, and applying the dominated convergence theorem, we obtain
Case 6\(|x_1|< 3, |x_2| \ge 3, |x_3|< 3.\) Note that
By the condition (RR) with \(\alpha =\beta =\gamma =0\) and the smoothness condition of \(\phi ^{(1)}\) on the first integral and the condition (C2.b) with \(\beta =\gamma =0\) for the second integral and the dominated convergent theorem, we have
Case 7\(|x_1|< 3, |x_2| < 3, |x_3| \ge 3\). The required estimate follows directly from the condition (RR):
Case 8\(|x_1|< 3, |x_2|< 3, |x_3| < 3\). Inserting
we write
as four integrals. Using the condition (RR) with \(\alpha =\beta =\gamma =0\) and the smoothness condition of \(\phi ^{(1)}\) for the first integral, the cancellation conditions (C2.b), (C2.c), and (C2.a) for the last three integrals, and the dominated convergent theorem, we obtain
The proof of Lemma 3.2 is complete. \(\square \)
Recall that \(\phi _{j,k}(u_1,u_2,u_3)=2^{-2(j+k)}\phi ^{(1)}(2^{-j}u_1)\phi ^{(2)}(2^{-k}u_2,2^{-(j+k)}u_3)\), and the assumptions on \({\mathcal {K}}\) are invariant with respect to Zygmund dilation. By Lemma 3.2, we have the following estimate.
Now the proof of Proposition 3.1 follows from the above estimate with replacing \(\phi _{j,k}\) by \(\phi _{j,k} *\phi _{j',k'}.\) Note that \(\phi _{j,k} *\phi _{j',k'}\) satisfies the same properties as \(\phi _{j\vee j', k\vee k'}\) but with the bound \(C2^{-|j-j'|}2^{-|k-k'|}.\) Thus, the proof of Proposition 3.1 is complete and hence Theorem 1.3 is proved.
We now turn to the proof of Theorem 1.4. To prove part (a), we first show the \(L^2\) boundedness of \({\mathcal {K}}*f.\) This is similar to the proof of Theorem 1.1. We only outline the proof as follows:
By the Plancherel theorem, the \(L^2\) boundedness of \({\mathcal {K}}*f\) is equivalent to \(|\widehat{{\mathcal {K}}}(\chi ,\eta ,\xi )|\)\(\le A,\) where \(\widehat{{\mathcal {K}}}\) is the Fourier transform of \({\mathcal {K}}\) in the sense of distributions and A is the constant depending only on the constant C.
Let \(\zeta _1(x_1)\) be a smooth function on \({\mathbb {R}}\) with \(\zeta _1(x_1)=1\) if \(|x_1| \le 8\) and \(\zeta _1(x_1)=0\) if \(|x_1| \ge 16\), and \(\zeta _2=1-\zeta _1\). For simplicity, we denote by \(\widetilde{\mathcal {K}}(x_1,x_2,x_3)= \frac{1}{\chi \eta \xi }\mathcal {K}(\frac{x_1}{\chi },\frac{x_2}{\eta },\frac{x_3}{\xi })\). We write
To estimate I, we write
Note that
For term \(I_{2},\) note that
and
To estimate \(I_{2,2},\) we write
Inserting \(|e^{-ix_2}e^{-ix_3 }-1|\le |x_2|+|x_3 |\) into the first integral together with the condition (RR) and using the cancellation condition (C3.c) for the second integral, respectively, we get
which is dominated by the constant. Altogether, we obtain the required bound for term I.
Now we estimate term II. We first write
We further write
For term \(II_{1,1},\) we have
Then the required bound follows from the fact that \(|e^{-ix_1}-1|\le |x_1|\) and the condition (RR).
Similarly, we write
Since
The required bound for \(II_{1,2,1}\) then is concluded by the fact that \(|e^{-ix_1}-1|\le |x_1|\) and the condition (RR). To estimate term \(II_{1,2,2},\) we write
Using the facts that \(|e^{-ix_1}-1|\le |x_1|\) and \(|e^{-ix_2}e^{-ix_3}-1|\le |x_2|+|x_3|\) and the condition (RR) for the first integral and the condition (C3.c) for the second integral yields the desired bound for \(II_{1,2,2}.\)
Finally, we estimate term \(II_2.\) Denote \(II_2=II_{2,1}+II_{2,2},\) where \(II_{2,1}\) and \(II_{2,2}\) are given by \(\iiint \widetilde{\mathcal {K}}(x_1,x_2,x_3)\zeta _1(x_1)\zeta _2(x_2)e^{-ix_2}\)\(e^{-ix_3}\text {d}x_1\text {d}x_2\text {d}x_3\) and \(\iiint \widetilde{\mathcal {K}}(x_1,x_2,x_3)\zeta _1(x_1)\zeta _1(x_2)e^{-ix_2}\)\(e^{-ix_3}\text {d}x_1\text {d}x_2\text {d}x_3,\) respectively. Then
For \(II_{2,2}\), inserting
into
and using the condition (C1.b) and (C1.a), respectively. Thus, these estimates yield the bound of \(II_{2,2}\) and hence the required bound for term II. The \(L^2\) boundedness of \({\mathcal {K}}*f\) follows.
Next, to show the \(L^p\) boundedness of the operator \({\mathcal {K}}*f\), similar to the proof of Theorem 1.3, it suffices to prove the following lemma.
Lemma 3.3
Suppose that \(\phi ^{(1)}\) and \(\phi ^{(2)}\) satisfy the conditions (3.1)–(3.4) and \(\mathcal {K}\) is a distribution defined on \({\mathbb {R}}^3\) and satisfies the conditions (RR) and (C3.a)–(C3.c). Then for \(\lambda ={\frac{1}{2}}\min ({\theta _1},{\theta _2}),\)
where \(C_\lambda \) is the constant depending only on \(\lambda .\)
Proof
The proof the Lemma 3.3 is similar to the proof of lemma 3.2. For simplicity, let \(S={\mathcal {K}}*(\phi ^{(1)}\otimes \phi ^{(2)})(x_1,x_2,x_3)\). We consider the following eight cases:
Case 1\(|x_1|\ge 3, |x_2| \ge 3, |x_3| \ge 3\). For this case, we use (3.4) to write
Note that \( {\mathcal {K}}(x_1-u_1,x_2-u_2,x_3-u_3)-{\mathcal {K}}(x_1,x_2-u_2,x_3-u_3)- \big ({\mathcal {K}}(x_1-u_1,x_2,x_3)-{\mathcal {K}}(x_1,x_2,x_3)\big ) = \Delta _{x_2,-u_2}\Delta _{x_1,-u_1} \mathcal {K}(x_1,x_2,x_3-u_3)+\Delta _{x_3,-u_3} \Delta _{x_1,-u_1} \mathcal {K}(x_1,x_2,x_3).\) Thus, by the condition (RR) with \(\alpha =\beta =1, \gamma =0\) and \(\alpha =\gamma =1,\beta =0\) respectively, we have
Case 2\(|x_1|\ge 3, |x_2| \ge 3, |x_3| < 3\). By the cancellation condition of \(\phi ^{(1)},\)
Therefore, by the condition (RR) with \(\alpha =1\) and \(\beta =\gamma =0,\) we obtain
Case 3\(|x_1|\ge 3, |x_2| < 3, |x_3| \ge 3.\) The same expression for S as in Case 2 yields
Before handling the other cases, we introduce a bump function \(\widetilde{\phi }\) on \({\mathbb {R}}\), with \(\widetilde{\phi }(x_1)=1\) if \(|x_1|\le 1/2\) and \(\widetilde{\phi }(x_1)=0\) if \(|x_1|\ge 1\).
Case 4\(|x_1|\ge 3, |x_2|< 3, |x_3| < 3.\) Using the cancellation condition of \(\phi ^{(1)}\), we write
Hence, by the condition (RR) with \(\alpha =1,\beta =\gamma =0\) for the first integral, and the cancellation condition (C3.c) with \(\alpha =1\) for the second integral, we get
Case 5\(|x_1|< 3, |x_2| \ge 3, |x_3| \ge 3\). Similar to Case 4, using the cancellation condition of \(\phi ^{(2)},\) we write
Note that \({\mathcal {K}}(u_1,x_2-u_2,x_3-u_3)-{\mathcal {K}}(u_1,x_2,x_3)=\Delta _{x_2,-u_2} \mathcal {K}(u_1,x_2,x_3-u_3) + \Delta _{x_3,-u_3} \mathcal {K}(u_1,x_2,x_3).\) Thus, using the condition (RR) on \({\mathcal {K}}\), the smoothness of \(\phi ^{(1)}\) for the first integral, and the cancellation conditions (C3.b) with \(\beta =1, \gamma =0\) and \(\beta =0, \gamma =1,\) respectively, for the second integral, and applying the dominated convergence theorem, we obtain
Case 6\(|x_1|< 3, |x_2| \ge 3, |x_3|< 3.\) Note that
By the condition (RR) with \(\alpha =\beta =\gamma =0\) and the smoothness condition of \(\phi ^{(1)}\) on the first integral and the condition (C3.b) with \(\beta =\gamma =0\) for the second integral, we have
Case 7\(|x_1|< 3, |x_2| < 3, |x_3| \ge 3\). The required estimate follows directly from the condition (RR):
Case 8\(|x_1|< 3, |x_2|< 3, |x_3| < 3\). Inserting
we write
as four integrals. Using the condition (RR) with \(\alpha =\beta =\gamma =0\) and the smoothness condition of \(\phi ^{(1)}\) for the first integral, the cancellation conditions (C3.b), (C3.c), and (C3.a) for the last three integrals, we obtain
This completes the proof of Lemma 3.3. \(\square \)
The proof of part (b) of Theorem 1.4 follows from part (a). Indeed, the conditions (RR) and (C2.a)–(C2.c) imply the conditions (C3.a)–(C3.c). To see this, inserting
into \(\iiint \mathcal {K}(x_1,x_2,x_3)\widetilde{\phi }( x_1, x_2, x_3)\text {d}x_1\text {d}x_2\text {d}x_3,\) we obtain that
Let \(E(\epsilon ,R_1,R_2)=\{x\in {\mathbb {R}}^3: \epsilon _1 \le |x_1|\le \frac{1}{R_1},\epsilon _2 \le |x_2|\le \frac{1}{R_2},\epsilon _3 \le |x_3|\le \frac{1}{R_1R_2}\}\). Then we have
where we apply (RR) and (C2.c) for the first and second term, respectively, (C2.b) for the third and fourth term, and (C2.a) for the last term above, which imply that \({\mathcal {K}}\) satisfies (C3.a).
Similarly, for any \(0 \le \beta +\gamma \le 1\), n.b.f. \(\widetilde{\phi }\) on \({\mathbb {R}}\) and \(R>0,\) we can write
and
Taking \(\epsilon \rightarrow 0\), then (C3.b) is obtained.
Finally we verify (C3.c). For any \(0\le \alpha \le 1\), n.b.f. \(\widetilde{\phi }\) on \({\mathbb {R}}^2\) and \(R_1,R_2>0,\) we write
and
Thus (C3.c) is obtained. This completes the proof of part (b) and hence Theorem 1.4 is concluded.
4 Proof of Theorem 1.6
In this section, we provide the proof of Theorem 1.6. We first study the singular integral \(T_{{\mathfrak {z}}}\) with the convolution kernel as in (1.6), see Theorem 4.1 below. Then we consider the singular integral T with the convolution kernel as in (1.7), see Remark 4.5.
Theorem 4.1
Suppose that \(\phi ^{(1)}\) and \(\phi ^{(2)}\) are defined as in (3.1) and
Then
for all \(\alpha ,\beta ,\gamma \ge 0\) and \(0<{\theta _2}<1;\)
uniformly for all \(\delta _1,\delta _2,\delta _3,r_1,r_2,r_3>0;\)
for all \(\delta , r>0, \beta , \gamma \ge 0\) and \(0<{\theta _2}<1;\)
uniformly for all \(\delta _1,\delta _2,r_1,r_2>0\) and \(\alpha \ge 0.\)
To show Theorem 4.1, we need the following simple lemmas.
Lemma 4.2
Suppose \(a,b,c>0\) with \(b> a\) and \(r_1,r_2,r_3>0\). Then, for all \(0<\varepsilon <1,\)
Proof
We first write
For term I, we observe that
For II, since \(r_3<r_1r_2\),
For III, note that \(r_3>r_1r_2\). We consider three cases. In the first case where \(a>c\), we obtain
If \(a<c\), then
When \(a=c\), we have
Finally, for term IV, we have
These estimates yield the required bound and Lemma 4.2 is proved. \(\square \)
Lemma 4.3
For any \(N>0\), \(r>0\) and \(k \in \mathbb {Z},\) we have
and
Proof
We consider two cases. For the case \(r \le 2^{-k}\), we clearly have \(\int _{|x_1|\le r} \frac{1}{(1+2^k|x_1|)^N} \text {d}x_1 \lesssim r\). The second inequality follows from
If \(r > 2^{-k}\), then the first inequality follows again from (4.5) while the second follows from
The proof of Lemma 4.3 is finished. \(\square \)
We now return to show Theorem 4.1.
Proof of Theorem 4.1
We prove the regularity estimate (4.1) first. By the definition of \({\mathcal {K}}\) and the conditions on \(\phi ^{(1)}\) and \(\phi ^{(2)},\) we have
Note that
Inserting this estimate into the above inequality, we obtain
where we apply Lemma 4.2 with \(a=2+\alpha +\gamma , b=3+\alpha +\gamma , c=2+\beta +\gamma , r_1=|x_1|, r_2=|x_2|\) and \(r_3=|x_3|\) in the last inequality. This implies the required estimate.
We now show the cancellation conditions (4.2)–(4.4). To verify (4.3), we observe that
Note that for all \(N\ge 2,\)
and by the vanishing condition of \(\phi ^{(1)},\)
Therefore,
which implies
Summing over k first yields that the two summations above are dominated by
Applying Lemma 4.2 with \(a=2+\gamma , b=3+\gamma , c=2+\gamma +\beta , r_1=r\) or \(\delta \), \(r_2=|x_2|, r_3=|x_3|\), we obtain
which implies the desired cancellation condition (4.3).
To show the cancellation condition (4.4), we start with
By the vanishing condition of \(\phi ^{(2)}\),
Applying the size condition of \(\phi ^{(2)}\) and Lemma 4.3, we obtain
On other hand, by the size condition on \(\phi ^{(2)}\),
Therefore,
Summing over k first and considering the four cases: (i) \(2^{k}\le r_1^{-1}\) and \(2^k \le 2^{-j}r_2^{-1}\); (ii) \(2^{k}\le r_1^{-1}\) and \(2^k > 2^{-j}r_2^{-1}\); (iii) \(2^{k}> r_1^{-1}\) and \(2^k \le 2^{-j}r_2^{-1}\); (iv) \(2^{k}> r_1^{-1}\) and \(2^k > 2^{-j}r_2^{-1}\), we obtain that the last summation above is dominated by
which yields the cancellation condition (4.4).
Finally, the cancellation (4.2) follows directly from the following estimates.
The proof of Theorem 4.1 is complete. \(\square \)
As mentioned in Sect. 1, a special class of singular integral operators \(T_{\mathfrak {z}}\) considered by Ricci and Stein [28] is of the form \(T_{\mathfrak {z}}f=f* \mathcal {K}\), where
and the function \(\phi \) is supported in an unit cube in \({\mathbb {R}}^3\) and satisfies a certain amount of uniform smoothness with cancellation conditions
Fefferman and Pipher [13] show that the above cancellation conditions are necessary for the \(L^2\) boundedness for singular integral \(T_{\mathfrak {z}}\). Moreover, if \(\phi \) satisfies the above cancellation conditions, then \(\phi \) can be decomposed by \(\phi =\phi _1+\phi _2,\) where \(\phi _1\) and \(\phi _2\) have the following cancellation conditions
and
This means that the operator \(T_{\mathfrak {z}}\) studied by Ricci and Stein can be decomposed as \(T_{\mathfrak {z}}=T_{\mathfrak {z},1}+T_{\mathfrak {z},2},\) where the kernels of \(T_{\mathfrak {z},1}\) and \(T_{\mathfrak {z},2}\) are given, respectively, by
and
Theorem 4.1 shows that the kernel \({\mathcal {K}}_1\) satisfies the regularity (RR) and cancellation conditions (C2.a)–(C2.c) while the kernel \({\mathcal {K}}_2\) satisfies the regularity (RR) and cancellation conditions (C\(2^\prime .\)a)–(C\(2^\prime .\)c). Therefore, these operators \({\mathcal {K}}_1\) and \({\mathcal {K}}_2\) belong to our class.
Remark 4.4
Actually, based on the proof of Theorem 4.1, we note that the kernel
as in Theorem 4.1 satisfies the following stronger conditions:
uniformly for all \(\delta _1,\delta _2,\delta _3,r_1,r_2,r_3>0;\)
for all \(\delta , r>0, \beta , \gamma \ge 0\) and \(0<{\theta _2}<1\) and
uniformly for all \(\delta _1,\delta _2,r_1,r_2>0\) and \(\alpha \ge 0.\)
Remark 4.5
In [23], Nagel and Wainger considered the \(L^2\) boundedness of certain singular integral operators on \({\mathbb {R}}^n\) whose kernels have appropriate homogeneities with respect to a multi-parameter group of dilations, generated by a finite number of diagonal matrices. In particular, they considered the following two-parameter dilation group
acting on \({\mathbb {R}}^3\) for \(s, t, \alpha ,\beta >0.\) They defined a singular kernel \({\mathcal {K}}\) by
and proved that convolution with \({\mathcal {K}}\) is bounded on \(L^2({\mathbb {R}}^3)\).
It is easy to see that when \(\alpha =\beta =1, {\mathcal {K}}(x_1, x_2, x_3)\) satisfies all conditions in Corollary 1.2 and Theorem 1.3. Therefore, by Theorem 1.3, the convolution singular integral operator \({\mathcal {K}}*f\) with \(\alpha =\beta =1\) is also bounded on \(L^p({\mathbb {R}}^3)\) for \(1<p<\infty ,\) where \({\mathcal {K}}*f\) is defined by the limit of \({\mathcal {K}}_\epsilon ^N*f\) in the \(L^p, 1<p<\infty ,\) norm. It is worthwhile to point out that the theory we are developing here can easily be generalized to the ‘anisotropic’ case (adapted to \(\delta (s, t)\) in (4.6)). The details are left to the interested reader.
References
Calderón, A.P., Zygmund, A.: On the existence of certain singular integrals. Acta Math. 88, 85–139 (1952)
Carleson, L.: A counterexample for measures bounded on \(H^p\) for the bidisc. Mittag-Leffler Report No. 7 (1974)
Chang, S.-Y.A.: Carleson measures on the bi-disc. Ann. Math. 109, 613–620 (1979)
Chang, S.-Y.A., Fefferman, R.: A continuous version of duality of \(H^1\) with \(BMO\) on the bidisc. Ann. Math. 112, 179–201 (1980)
Chang, S.-Y.A., Fefferman, R.: The Calderón–Zygmund decomposition on product domains. Am. J. Math. 104, 455–468 (1982)
Chang, S.-Y.A., Fefferman, R.: Some recent developments in Fourier analysis and \(H^p\) theory on product domains. Bull. Am. Math. Soc. 12, 1–43 (1985)
Cordoba, A., Fefferman, R.: A geometric proof of the strong maximal theorem. Ann. Math. 102, 95–100 (1975)
Fefferman, C., Stein, E.M.: Some maximal inequalities. Am. J. Math. 93, 107–115 (1971)
Fefferman, R.: Some weighted norm inequalities for Cordoba’s maximal functions. Am. J. Math. 106, 1261–1264 (1984)
Fefferman, R.: Multi-parameter Fourier analysis. In: Stein, E.M. (ed.) Beijing Lectures in Harmonic Analysis. Annals of Mathematics Studies, vol. 112, pp. 47–130. Princeton University Press, Princeton (1986)
Fefferman, R.: Harmonic analysis on product spaces. Ann. Math. 126, 109–130 (1987)
Fefferman, R.: Multiparameter Calderón–Zygmund theory. In: Harmonic Analysis and Partial Differential Equations (Chicago, IL, 1996). Chicago Lectures in Mathematics, pp. 207–221. University of Chicago Press, Chicago (1999)
Fefferman, R., Pipher, J.: Multiparameter operators and sharp weighted inequalities. Am. J. Math. 11, 337–369 (1997)
Fefferman, R., Stein, E.M.: Singular integrals on product spaces. Adv. Math. 45, 117–143 (1982)
Ferguson, S.H., Lacey, M.T.: A characterization of product BMO by commutators. Acta Math. 189, 143–160 (2002)
Gundy, R., Stein, E.M.: \(H^p\) theory for the polydisk. Proc. Natl Acad Sci. U.S.A. 76, 1026–1029 (1979)
Jessen, B., Marcinkiewicz, J., Zygmund, A.: Note on the differentiability of multiple integrals. Fundam. Math. 25, 217–234 (1935)
Journé, J.L.: Calderón–Zygmund operators on product spaces. Rev. Mat. Iberoam. 1, 55–92 (1985)
Journé, J.L.: A covering lemma for product spaces. Proc. Am. Math. Soc. 96, 593–598 (1986)
Journé, J.L.: Two problems of Calderón–Zygmund theory on product spaces. Ann. Inst. Fourier (Grenoble) 38, 111–132 (1988)
Lacey, M., Petermichl, S., Pipher, J., Wick, B.D.: Multiparameter Riesz commutators. Am. J. Math. 131, 731–769 (2009)
Müller, D., Ricci, F., Stein, E.M.: Marcinkiewicz multipliers and multi-parameter structure on Heisenberg(-type) groups, I. Invent. Math. 119, 119–233 (1995)
Nagel, A., Wainger, S.: \(L^2\) boundedness of Hilbert transforms along surfaces and convolution operators homogeneous with respect to a multiple parameter group. Am. J. Math. 99, 761–785 (1977)
Nagel, A., Ricci, F., Stein, E.M.: Singular integrals with flag kernels and analysis on quadratic CR manifolds. J. Funct. Anal. 181, 29–118 (2001)
Nagel, A., Ricci, F., Stein, E.M., Wainger, S.: Singular integrals with flag kernels on homogeneous groups, I. Rev. Mat. Iberoam. 28, 631–722 (2012)
Nagel, A., Ricci, F., Stein, E.M., Wainger, S.: Algebras of singular integral operators with kernels controlled by multiple norms. arXiv:1511.05702
Pipher, J.: Journé’s covering lemma and its extension to higher dimensions. Duke Math. J. 53, 683–690 (1986)
Ricci, F., Stein, E.M.: Multiparameter singular integrals and maximal functions. Ann. Inst. Fourier (Grenoble) 42, 637–670 (1992)
Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Ji Li is supported by ARC DP 160100153 and Macquarie University Seeding Grant. Chin-Cheng Lin is supported by MOST under Grant #MOST 106-2115-M-008-004-MY3 and NCTS of Taiwan.
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
Han, Y., Li, J., Lin, CC. et al. Singular Integrals Associated with Zygmund Dilations. J Geom Anal 29, 2410–2455 (2019). https://doi.org/10.1007/s12220-018-0081-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-018-0081-8