Abstract
In this note we study the maximal singular integral operators associated with a homogeneous mapping with rough kernels as well as the corresponding maximal operators. The boundedness and continuity on the Lebesgue spaces, Triebel–Lizorkin spaces, and Besov spaces are established for the above operators with rough kernels in \(H^{1}({\mathrm{S}}^{n-1})\), which complement some recent developments related to rough maximal singular integrals.
Similar content being viewed by others
1 Introduction
During the last several years, a considerable amount of attention has been given to investigate the boundedness for various kinds of integral operators on Triebel–Lizorkin spaces. For examples, see [1, 4, 5] for singular integrals, [15, 17, 26, 27] for Marcinkiewicz integrals, [16, 27] for Littlewood–Paley functions, [14, 18, 20] for maximal functions, and [21, 22] for maximal singular integrals. The main purpose of this paper is to prove the boundedness and continuity of the maximal singular integral and maximal operators related to homogeneous mappings on Triebel–Lizorkin spaces when their kernels are given by function Ω in the Hardy space \(H^{1}({\mathrm{S}}^{n-1})\). Let \(n, d\geq 2\) and \(m=(m_{1},\ldots,m_{d}) \in \mathbb{R}^{d}\). We say that \(\Phi:\mathbb{R}^{n}\rightarrow \mathbb{R}^{d}\) is a (nonisotropic) homogeneous mapping of degree m if
holds for all \(t>0\) and \(y\in \mathbb{R}^{d}\). Here, \(\{\delta _{t}\}_{t>0}\) is a family of dilations on \(\mathbb{R}^{d}\) defined by
Before stating our main results, let us recall some pertinent notations, definitions, and background. Let \({\mathrm{S}}^{n-1}\) be the unit sphere in \(\mathbb{R}^{n}\) equipped with the induced Lebesgue measure dσ. Let Ω be integrable over \({\mathrm{S}}^{n-1}\) and satisfy
For a suitable mapping \(\Phi:\mathbb{R}^{n}\rightarrow \mathbb{R}^{d}\), we define the singular integral operator \(T_{\Omega,\Phi }\) by
where \(f\in \mathcal{S}(\mathbb{R}^{d})\) (the Schwartz class on \(\mathbb{R}^{d}\)). When \(n=d\) and \(\Phi (y)=y\), the operator \(T_{\Omega,\Phi }\) reduces to the classical Calderón–Zygmund singular integral operator, which is denoted by \(T_{\Omega }\). In their fundamental work on singular integrals, Calderón and Zygmund [3] first proved that \(T_{\Omega }\) is bounded on \(L^{p}(\mathbb{R}^{n})\) for \(1< p<\infty \) if \(\Omega \in L\log L({\mathrm{S}}^{n-1})\). The same conclusion was obtained independently by Coifman and Weiss [7] and Connett [8] under the less restrictive condition that \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\). Here, \(H^{1}({\mathrm{S}}^{n-1})\) denotes the Hardy space on the unit sphere and contains \(L\log L({\mathrm{S}}^{n-1})\) as a proper subspace. The above results were later extended to singular Radon transforms by many authors (see [2, 6, 9, 10]). In particular, Cheng [6] proved the following result.
Theorem A
([6])
Let \(\Phi =(\Phi _{1},\ldots,\Phi _{d})\) be a homogeneous mapping of degree \(m=(m_{1},\ldots, m_{d})\) with each \(m_{i}\neq 0\). Assume that \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\) satisfies (1.1) and \(\Phi |_{{\mathrm{S}}^{n-1}}\) is real-analytic. Then, for \(1< p<\infty \), there exists a positive constant \(C_{p}\) such that
In this paper, we study the maximal singular integrals and maximal operators related to homogeneous mappings. Let \(\Omega,\Phi \) be given as in (1.2). The maximal singular integral operator \(T_{\Omega,\Phi }^{*}\) and the maximal operator \(\mathrm{M}_{\Omega,\Phi }\) are defined by
For the sake of simplification, we denote \(T_{\Omega,\Phi }^{*}= T_{\Omega }\) and \(\mathrm{M}_{\Omega,\Phi }=\mathrm{M}_{\Omega }\) when \(n=d\) and \(\Phi (y)=y\). Particularly, when \(\Phi =\mathcal{P}\) is a real-valued polynomial mapping from \(\mathbb{R}^{n}\) to \(\mathbb{R}^{d}\), we denote \(T_{\Omega,\Phi }^{*}=T_{\Omega, \mathcal{P}}^{*}\) and \(\mathrm{M}_{\Omega,\Phi }=\mathrm{M}_{\Omega, \mathcal{P}}\). In 1997, Fan and Pan [10] proved that \(T_{\Omega, \mathcal{P}}^{*}\) is bounded on \(L^{p}(\mathbb{R}^{d})\) for \(1< p<\infty \), provided that \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\). It follows from a theorem of Stein and Wainger that \(\mathrm{M}_{\Omega,\mathcal{P}}\) is bounded on \(L^{p}(\mathbb{R}^{d})\) for \(1< p\leq \infty \) if \(\Omega \in L^{1}({\mathrm{S}}^{n-1})\). Other relevant results on the \(L^{p}\) bounds for \(\mathrm{M}_{\Omega,\mathcal{P}}\) can be found in [2, 24].
Based on the above, a natural question is the following:
Question A
Are the operators \(T_{\Omega, \Phi }^{*}\) and \(\mathrm{M}_{\Omega,\Phi }\) bounded on \(L^{p}(\mathbb{R}^{d})\) for all \(1< p<\infty \) if Ω and Φ are given as in Theorem A?
This question can be addressed by the following theorem.
Theorem 1.1
Let \(\Phi =(\Phi _{1}, \ldots,\Phi _{d})\) be a homogeneous mapping of degree \(m=(m_{1},\ldots,m_{d})\) with each \(m_{i}\neq 0\) and \(\Phi |_{{\mathrm{S}}^{n-1}}\) real-analytic. Assume that \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\) satisfies (1.1). Then, for \(1< p<\infty \), there exists a positive constant \(C_{p}\) such that
Here, the above constant \(C>0\) is independent of Ω.
Remark 1.1
We point out the following remarks, which are useful in comprehending Theorem 1.1.
(i) Theorem 1.1 is expectant. Actually, Theorem 1.1 can be proved by applying the arguments similar to those used in deriving [6, Theorem 1] and [10, Lemma 6.3]. However, our main arguments in proving Theorem 1.1 are different from those of [6, Theorem 1].
(ii) Theorem 1.1 is new. In a very recent paper [19], the authors have established the \(L^{p} (1< p<\infty )\) bounds for the singular integral operator and maximal singular integral operator related to homogeneous mappings when their integral kernels are given by the unit sphere kernel in \(H^{1}({\mathrm{S}}^{n-1})\) and the weak size radial kernel, which contradicts the main result of [13].
On the other hand, the boundedness properties of maximal singular integral operator and maximal operator in Triebel–Lizorkin spaces have also received some attention of many authors. Let \(\mathcal{S}'(\mathbb{R}^{d})\) be the tempered distribution class on \(\mathbb{R}^{d}\). For \(\alpha \in \mathbb{R}\) and \(0< p, q\le \infty (p\neq \infty )\), the homogeneous Triebel–Lizorkin spaces \(\dot{F}_{\alpha }^{p,q}(\mathbb{R}^{d})\) are defined by
where \(\widehat{\Psi _{i}}(\xi )=\phi (2^{i}\xi )\) for \(i\in \mathbb{Z}\) and \(\phi \in \mathcal{C}_{c}^{\infty }(\mathbb{R}^{d})\) satisfies the conditions: \(0\leq \phi (x)\leq 1\); \(\operatorname{supp}(\phi ) \subset \{x: 1/2\leq |x|\leq 2\}\); \(\phi (x)>c>0\) if \(3/5\leq |x|\leq 5/3\). The inhomogeneous version of Triebel–Lizorkin spaces, which is denoted by \(F_{\alpha }^{p,q}(\mathbb{R}^{d})\), is obtained by adding the term \(\|\Theta *f\|_{L^{p}(\mathbb{R}^{d})}\) to the right-hand side of (1.3) with \(\sum_{i\in \mathbb{Z}}\) replaced by \(\sum_{i\geq 1}\), where \(\Theta \in \mathcal{S}(\mathbb{R}^{d})\), \(\operatorname{supp}(\hat{\Theta })\subset \{\xi: |\xi |\leq 2\}\), \(\hat{\Theta }(x)>c>0\) if \(|x|\leq 5/3\). It is well known that the following are valid (see [11, 25] for more details):
Recently, Liu et al. [21, 22] have established the bounds for \(T_{\Omega,\mathcal{P}}^{*}\) and \(\mathrm{M}_{\Omega, \mathcal{P}}\) on Triebel–Lizorkin spaces when \(\Omega \in L\log L({\mathrm{S}}^{n-1})\) or \(\Omega \in \mathcal{F}_{\beta }({\mathrm{S}}^{n-1})\) (the Grafakos–Stefanov function class (see [12])). It should be pointed out that the following relationships are valid:
As far as I know the bounds for \(T_{\Omega,\mathcal{P}}^{*}\) and \(\mathrm{M}_{\Omega,\mathcal{P}}\) on the Triebel–Lizorkin spaces and Besov spaces are unknown under the condition that \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\), even in the special case \(n=d\) and \(\mathcal{P}(y)=y\).
A natural question, which arises from the above, is the following:
Question 1.1
Are the operators \(T_{\Omega }^{*}\) and \(\mathrm{M}_{\Omega }\) bounded on the Triebel–Lizorkin spaces if \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\)?
Question 1.1 is the main motivation for this work. In this paper we give an affirmative answer to the above question by treating more general operators. Our main result can be stated as follows.
Theorem 1.2
Let \(\Phi =(\Phi _{1},\ldots,\Phi _{d})\) be a homogeneous mapping of degree \(m=(m_{1},\ldots,m_{d})\) with each \(m_{i}\in \mathbb{N} \setminus \{0\}\) and \(\Phi |_{{\mathrm{S}}^{n-1}}\) real-analytic. Assume that \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\) satisfies (1.1). Then
(i) For any \(\alpha \in (0,1)\) and \(1< p, q<\infty \), there exists a constant \(C>0\) such that
where \(C>0\) is independent of Ω.
(ii) \(T_{\Omega,\Phi }^{*}\) is continuous from \(F_{\alpha }^{p,q}(\mathbb{R}^{d})\) to \(\dot{F}_{\alpha }^{p,q}(\mathbb{R}^{d})\) for all \(\alpha \in (0,1)\) and \(1< p, q<\infty \).
The same conclusions hold for \(\mathrm{M}_{\Omega,\Phi }\).
The rest of this section is to present the bounds and continuity for \(T_{\Omega,\Phi }^{*}\) and \(\mathrm{M}_{\Omega,\Phi }\) on Besov spaces. For \(\alpha \in \mathbb{R}\) and \(0< p, q\le \infty (p\neq \infty )\), the homogeneous Besov spaces \(\dot{B}_{\alpha }^{p,q}(\mathbb{R}^{d})\) are defined by
where \(\widehat{\Psi _{i}}\) is given as in (1.3). The inhomogeneous version of Besov spaces \(B_{\alpha }^{p,q}(\mathbb{R}^{d})\) is obtained by adding the term \(\|\Theta *f\|_{L^{p}(\mathbb{R}^{d})}\) to the right-hand side of (1.5) with \(\sum_{i\in \mathbb{Z}}\) replaced by \(\sum_{i\geq 1}\), where Θ is given as in the definition of \(F_{\alpha }^{p,q}(\mathbb{R}^{d})\). The following property is well known (see [11, 25] for more details):
Recently, Liu and Wu [20] established a criterion on the boundedness and continuity of a class of operators on Besov spaces, which is listed as follows.
Proposition 1.1
([20])
Let T be a sublinear operator and be bounded on \(L^{p}(\mathbb{R}^{d})\) for some \(p\in (1,\infty )\). Assume that
for any \(x, \zeta \in \mathbb{R}^{d}\), where \(\Delta _{\zeta }f(x)= f(x+\zeta )-f(x)\) for all \(x, \zeta \in \mathbb{R}^{d}\). Then T is bounded on \(\dot{B}_{\alpha }^{p,q}(\mathbb{R}^{d})\) for any \(\alpha \in (0,1)\) and \(q\in (1,\infty )\). Specially, if T satisfies the following:
for arbitrary function \(f, g\) defined on \(\mathbb{R}^{d}\), then T is continuous from \(B_{\alpha }^{p,q}(\mathbb{R}^{d})\) to \(\dot{B}_{\alpha }^{p,q}(\mathbb{R}^{d})\) for any \(\alpha \in (0,1)\) and \(q\in (1,\infty )\).
It is easy to check that both the operators \(T_{\Omega,\Phi }^{*}\) and \(\mathrm{M}_{\Omega,\Phi }\) satisfy conditions (1.7) and (1.8). This together with Theorem 1.1 and Proposition 1.1 implies the following theorem.
Theorem 1.3
Let \(\Omega, \Phi \) be given as in Theorem 1.1. Then:
(i) For any \(\alpha \in (0,1)\) and \(1< p, q<\infty \), there exists a constant \(C>0\) such that
where \(C>0\) is independent of Ω.
(ii) \(T_{\Omega,\Phi }^{*}\) is continuous from \(B_{\alpha }^{p,q}(\mathbb{R}^{d})\) to \(\dot{B}_{\alpha }^{p,q}(\mathbb{R}^{d})\) for all \(\alpha \in (0,1)\) and \(1< p, q<\infty \).
The same conclusions hold for \(\mathrm{M}_{\Omega,\Phi }\).
By (1.4), (1.6), and Theorems 1.1–1.3, we can get immediately the following result.
Theorem 1.4
Let \(\Omega, \Phi \) be given as in Theorem 1.2. Then both the operators \(T_{\Omega,\Phi }^{*}\) and \(\mathrm{M}_{\Omega,\Phi }\) are bounded and continuous on \(F_{\alpha }^{p,q}(\mathbb{R}^{d})\) and \(B_{\alpha }^{p,q}(\mathbb{R}^{d})\) for \(\alpha \in (0,1)\) and \(1< p, q<\infty \).
Remark 1.2
Theorems 1.2–1.4 are new, even in the special case \(n=d\) and \(\Phi (y)=y\).
The paper is organized as follows. Sect. 2 contains the atomic decomposition of Hardy space and some estimates of oscillatory integrals, which play key roles in the estimates of Fourier transforms on some measures. In Sect. 3, we prove Theorem 1.1 after presenting a general criterion on the \(L^{p}\) bounds of the convolution operators (see Lemma 3.1). The proof of Theorem 1.2 is given in Sect. 4. It should be pointed out that the proof of the boundedness (resp., continuity) part in Theorem 1.2 is greatly motivated by the idea in [21] (resp., [22]).
Throughout the paper, the letter C or c, sometimes with certain parameters, stands for positive constants not necessarily the same one at each occurrence, but are independent of the essential variables. For notational convenience, we set \(\exp(it)=e^{it}\) for any \(t\in \mathbb{R}\).
2 Preliminary definitions and lemmas
We start with the definition of Hardy space on \({\mathrm{S}}^{n-1}\) and its atomic decomposition. Recall that the Poisson kernel on \({\mathrm{S}}^{n-1}\) is defined by \(P_{rw}(\theta )=\frac{1-r^{2}}{|rw-\theta |^{n}}\) for \(0\leq r<1\) and \(\theta, w\in {\mathrm{S}}^{n-1}\). The Hardy space \(H^{1}({\mathrm{S}}^{n-1})\) is the set of all \(L^{1}({\mathrm{S}}^{n-1})\) functions which satisfy
Definition 2.1
(\(H^{1}({\mathrm{S}}^{n-1})\) atoms)
A function \(b(\cdot )\) on \({\mathrm{S}}^{n-1}\) is a regular atom if there exist \(\varepsilon \in {\mathrm{S}}^{n-1}\) and \(\varrho \in (0,2]\) such that
(i) \(\operatorname{supp}(b)\subset {\mathrm{S}}^{n-1}\cap B(\varepsilon,\varrho )\), where \(B(\varepsilon,\varrho )=\{y\in \mathbb{R}^{n}: |y-\varepsilon |< \varrho \}\);
(ii) \(\|b\|_{L^{2}({\mathrm{S}}^{n-1})}\leq \varrho ^{(1-n)/2}\);
(iii) \(\int _{{\mathrm{S}}^{n-1}}b(y)\,d\sigma (y)=0\).
The following atomic decomposition of Hardy space can be obtained by the idea in [7, 8].
Lemma 2.1
([8])
If \(\Omega \in H^{1}({\mathrm{S}}^{n-1})\) satisfies the cancelation condition (1.1), then there exist a sequence of complex numbers \(\{c_{j}\}\) and a sequence of \((1,\infty )\) atoms \(\{\Omega _{j}\}\) such that \(\Omega =\sum_{j}c_{j}\Omega _{j}\) and \(\|\Omega \|_{H^{1}({\mathrm{S}}^{n-1})}\approx \sum_{j}|c_{j}|\).
In our proofs of the main results we shall encounter oscillatory integrals with generalized polynomials as their phase functions. Thus the following lemma of van der Corput type is needed.
Lemma 2.2
([6])
Let \(l\in \mathbb{N}\setminus \{0\}\), \(\mu _{1},\ldots, \mu _{l}\in \mathbb{R}\), and \(d_{1},\ldots,d_{l}\) be distinct nonzero real numbers. Let \(\psi \in \mathcal{C}^{1}([1/2,1])\). Then
holds for \(1/2\leq \delta <\tau \leq 1\). Here, \(C>0\) is independent of \(\{\mu _{j}\}_{j=1}^{l}\).
Applying Lemma 2.2 and the arguments similar to those used in deriving [6, Lemma 2.5], we can get the following lemma.
Lemma 2.3
Let \(l\in \mathbb{N}\setminus \{0\}\), \(s\in \mathbb{N}\setminus \{0\}\), and \(h_{1},\ldots,h_{l}\) be distinct nonzero real numbers and
where \(t\in \mathbb{R}\), \(u=(u_{1},\ldots,u_{n-1})\in \mathbb{R}^{n-1}\), \(\alpha \in {\mathbb{N}}^{n-1}\), \(a_{\alpha }\in \mathbb{R}\), and \(w_{j}(\cdot )\) are real-valued. Let \(r>0\) and \(b(\cdot )\) be a measurable function on \([-r,r]^{n-1}\) that satisfies \(\|b\|_{L^{2}([-r,r]^{n-1})}\leq r^{-(n-1)/2}\). Then there exists a positive constant C independent of \(\{a_{\alpha }\}\), \(\{w_{j}(\cdot )\}\), r such that
where \(\gamma =\frac{1}{2}\min \{1/h_{1},1/l,1/(s+1)\}\).
Proof
Without loss of generality, we may assume that \(|a_{(s,0,\ldots,0)}|\approx \sum_{|\alpha |=s}|a_{\alpha }|\). Let \(\eta =(u_{2},\ldots,u_{n-1})\) and \(R(u)=\sum_{|\alpha |\leq s} a_{\alpha }u^{\alpha }\). By a change of variable and Hölder’s inequality, we have
Applying Lemma 2.2, we obtain
where \(\gamma =\frac{1}{2}\min \{1/h_{1},1/l,1/(s+1)\}\). Note that
Then, by applying an inequality proved by Ricci and Stein (see [23, p. 182]), we get from (2.2) and (2.3) that
where \(C>0\) is independent of \(v_{1}, \eta, r\). On the other hand, by Hölder’s inequality and a change of variable, we have
where \(C>0\) is independent of r. (2.5) together with (2.2) and (2.4) yields (2.1). □
Lemma 2.4
([6])
For \(j\in \{1,2\}\), let \(U_{j}\) be a domain in \(\mathbb{R}^{n_{j}}\) and \(K_{j}\) be a compact subset of \(U_{j}\). Let \(h(\cdot,\cdot )\) be a real-analytic function on \(U_{1}\times U_{2}\) such that \(h(\cdot,z)\) is a nonzero function for every \(z\in U_{2}\). Then there exists a positive number \(\delta =\delta (h,K_{1},K_{2})\) such that
3 Proof of Theorem 1.1
In order to prove Theorem 1.1, we need the following lemma, which is the main tool of proving Theorem 1.1.
Lemma 3.1
([19])
Let \(A>0\), \(\Lambda \in \mathbb{N}\setminus \{0\}\) and \(\{\sigma _{k,s}: 0\leq s\leq \Lambda\textit{ and }k\in \mathbb{Z}\}\) be a family of uniformly bounded Borel measures on \(\mathbb{R}^{n}\) with \(\sigma _{k,0}(\xi )=0\) for every \(k\in \mathbb{Z}\) and \(\xi \in \mathbb{R}^{n}\). For \(1\leq s\leq \Lambda \), let \(v_{s}, \eta _{s}>1\), \(\delta _{s}, \beta _{s}>0\), \(\{a_{k,s}\}\) be a sequence of real positive numbers, \(\ell _{s}\in \mathbb{N} \setminus \{0\}\) and \(L_{s}: \mathbb{R}^{n}\rightarrow \mathbb{R}^{\ell _{s}}\) be a linear transformation. Suppose that
(i) \(\max \{|\widehat{\sigma _{k,s}}(\xi )|, | \widehat{|\sigma _{k,s}|}(\xi ) |\}\leq CA\min \{1,|a_{k,s}^{v_{s}}L_{s}( \xi )|^{-\delta _{s}/v_{s}}\}\);
(ii) \(\max \{|\widehat{\sigma _{k,s}}(\xi )-\widehat{\sigma _{k,s-1}}( \xi )|, |\widehat{|\sigma _{k,s}|}(\xi )- \widehat{|\sigma _{k,s-1}|}(\xi ) | \} \leq CA|a_{k,s}^{v_{s}}L_{s}( \xi )|^{\beta _{s}/v_{s}}\);
(iii) for every \(q>1\), there exists \(C_{q}>0\) independent of \(\{L_{s}\}_{s=1}^{\Lambda }\) such that
(iv) for any \(1\leq s\leq \Lambda \), \(\{a_{k,s}\}\) satisfies one of the following conditions:
Then, for any \(1< p<\infty \), there exists \(C_{p}>0\) such that
Here, the constant \(C_{p}\) is independent of \(\{L_{s}\}_{\lambda =1}^{\Lambda }\) and \(\{v_{s}\}_{s=1}^{\Lambda }\), but depends on \(\Lambda, p, \{\delta _{s}\}_{s=1}^{\Lambda },\{\beta _{s}\}_{s=1}^{\Lambda }\), and \(\{\eta _{s}\}_{s=1}^{\Lambda }\).
We now proceed with the proof of Theorem 1.1. For notational convenience, we denote by \(\mathcal{V}_{n-1}\) the set of polynomials in \(n-1\) variables with real coefficients and set \([x]:=\max \{k\in \mathbb{Z}:k\leq x\}\) for any \(x\in \mathbb{R}\). For \(s\in \mathbb{N}\), let \(\mathcal{V}_{n-1,s}\) denote the subset of \(\mathcal{V}_{n-1}\) which contains homogeneous polynomials of degree s.
Proof of Theorem 1.1
By Lemma 2.1 and Minkowski’s inequality, it suffices to show that
where Ω is an \(H^{1}\) atom on \({\mathrm{S}}^{n-1}\) satisfying conditions (i)–(iii) of Definition 2.1.
In what follows, we assume that Ω is an \(H^{1}\) atom on \({\mathrm{S}}^{n-1}\) satisfying conditions (i)–(iii) of Definition 2.1 with \(\varrho \in (0,2]\). Without loss of generality, we may assume the following:
(i) λ is the number of distinct \(m_{j}\);
(ii) \(\Phi =(\Phi _{1},\ldots,\Phi _{d})=(\Phi ^{1},\ldots, \Phi ^{\lambda })\), where \(\Phi ^{s}=(\Phi _{s,1},\ldots, \Phi _{s,a_{s}})\) with \(\Phi _{s,j}(ty)=t^{m_{r_{s}}}\Phi _{s,j}(y)\) for any \(1\leq s\leq \lambda \) and \(1\leq j\leq a_{s}\);
(iii) \(\{\Phi _{s,1},\ldots,\Phi _{s,o_{s}}\}\) forms a basis for \(\operatorname{span}\{\Phi _{s,1},\ldots,\Phi _{s,a_{s}}\}\) for any \(1\leq s\leq \lambda \).
From assumption (ii) we see that \(\sum_{s=1}^{\lambda }a_{s}=d\) and \(\{r_{1},\ldots,r_{\lambda }\}\subset \{1,\ldots,d\}\). We get from assumption (iii) that, for any \(1\leq s\leq \lambda \) and \(1\leq j\leq a_{s}\), there exists a sequence of numbers \(\{b_{s,j,k}\}_{k=1}^{o_{s}}\) such that
Let \(\xi =(\xi _{1},\ldots,\xi _{d})=(\xi ^{1},\ldots,\xi ^{\lambda })\) with \(\xi ^{s}=(\xi _{s,1},\ldots,\xi _{s,a_{s}})\) for \(1\leq s\leq \lambda \). For any \(1\leq s\leq \lambda \), let \(\tilde{\Phi }^{s}=(\Phi _{s,1}, \ldots,\Phi _{s,o_{s}})\) and \(\tilde{\xi }^{s}=(\xi _{s,1},\ldots, \xi _{s,o_{s}})\). We define two sequences of linear transformations \(\{H_{s,i}\}_{i=1}^{a_{s}}: \mathbb{R}^{o_{s}}\rightarrow \mathbb{R}\) and \(\{R_{s,j}\}_{j=1}^{o_{s}}: \mathbb{R}^{a_{s}}\rightarrow \mathbb{R}\) as follows:
Define two sequences of linear transformations \(\{H_{s}\}_{s=1}^{\lambda }\) and \(\{R_{s}\}_{s=1}^{\lambda }\) by
It is not difficult to see that
For any \(1\leq s\leq \lambda \) and \(z\in {\mathrm{S}}^{o_{s}-1}\), we have that \(z\cdot \tilde{\Phi }^{i}(\cdot )\) is a nonzero real-analytic function since \(\{\Phi _{s,1},\ldots,\Phi _{s,o_{s}}\}\) is linearly independent. Invoking Lemma 2.4, there exists \(\delta _{s}>0\) such that
Let \(\epsilon _{s}=\min \{1/s,\delta _{s}/2\}\). It follows from [9, (5.30)], for any \(1\leq s\leq \lambda \), that there exist an orthogonal \(n\times n\) matrix U such that \(\varepsilon U={\mathbf{e}}=(0,\ldots,0,1)\in {\mathrm{S}}^{n-1}\) and a polynomial \(P_{s,j}\in \mathcal{V}_{n-1}\) such that \(\deg (P_{s,j})\leq [\frac{n-1}{\epsilon _{s}}]\) and
for every \(y\in B({\mathbf{e}},\varrho )\cap {\mathrm{S}}^{n-1}\) and \(1\leq j\leq a_{s}\), where \(\tilde{y}=(y_{1}/|y|,\ldots,y_{n-1}/|y|)\). For any \(1\leq s\leq \lambda \), let \(\mathcal{P}_{s}=(P_{s,1},\ldots, P_{s,a_{s}})\) and \(\deg (\mathcal{P}_{s})=\max_{1\leq j\leq a_{s}} \deg (P_{s,j})\). Then there are integers \(0\leq \Lambda _{s,1}<\cdots < \Lambda _{s,M_{s}}\leq \deg ( \mathcal{P}_{s})\) and \(Q_{s,j, \Lambda _{s,l}}\in \mathcal{V}_{n-1,\Lambda _{s,l}}\) for \(1\leq j\leq a_{s}\) and \(1\leq l\leq M_{s}\) such that
where \(\mathcal{Q}_{s,\Lambda _{s,l}}=(Q_{s,1,\Lambda _{s,l}}, \ldots,Q_{s,a_{s}, \Lambda _{s,l}})\) and \(\mathcal{Q}_{s, \Lambda _{s,l}}\neq (0,\ldots,0)\) for any \(1\leq l\leq M_{s}\). For any \(1\leq l\leq M_{s}\), let \(\tilde{\mathcal{Q}}_{s, \Lambda _{s,l}}=(Q_{s,1,\Lambda _{s,l}}, \ldots,Q_{s,o_{s}, \Lambda _{s,l}})\) and
It follows from (3.4) that
for every \(y\in B(\varepsilon,\varrho )\cap {\mathrm{S}}^{n-1}\) and \(1\leq s\leq \lambda \). For \(1\leq s\leq \lambda \), \(1\leq l\leq M_{s}\), and \(1\leq j\leq a_{s}\), we set
Let \(\varpi (u)=\sum_{s=1}^{u}(M_{s}+1)\) for \(1\leq u\leq \lambda \), \(\varpi (0)=0\), and define the mappings \(\Theta _{0},\ldots, \Theta _{\varpi (\lambda )}\) by
and
for \(0\leq u\leq \lambda -1\), \(0\leq \theta <\varpi (u+1)-\varpi (u)\). In particular,
For \(0\leq s\leq \varpi (\lambda )\), define two families of measures \(\{\sigma _{k,s}\}\) and \(\{|\sigma _{k,s}|\}\) by
The measure \(|\sigma _{k,s}|\) is defined in the same way as \(\sigma _{k,s}\), but with Ω replaced by \(|\Omega |\). By (1.1) and (3.7) we have
It is easy to check that
For any \(1\leq s\leq \varpi (\lambda )\), by a change of variable, we have
Note that \(2\epsilon _{u}\leq \delta _{u}\). By (3.3), (3.12), Hölder’s inequality and invoking Lemma 2.2, one finds that
for any \(1\leq u\leq \lambda \), where \((R_{u}(\xi ^{u}))'= \frac{R_{u}(\xi ^{u})}{|R_{u}(\xi ^{u})|}\). Similarly, we can get
for \(1\leq u\leq \lambda \).
For \(0\leq u\leq \lambda -1\) and \(0<\theta <\varpi (u+1)-\varpi (u)\), we get from (3.8) and (3.12) that
Invoking Lemma 2.3, there exists a positive constant \(\gamma _{u,\theta }\) such that, for \(0\leq u\leq \lambda -1\) and \(0<\theta <\varpi (u+1)-\varpi (u)\),
where
Similarly, we get that, for \(0\leq u\leq \lambda -1\) and \(0<\theta <\varpi (u+1)-\varpi (u)\),
On the other hand, by a change of variable, we get from (3.2), (3.5), and (3.8) that
for \(1\leq u\leq \lambda \). For \(1\leq u\leq \lambda -1\) and \(1\leq \theta <\varpi (u)-\varpi (u-1)\), we have
Define the sequence of linear transformations \(\{L_{s}\}_{s=1}^{\varpi (\lambda )}\) by
Also, we define \(N_{1},\ldots,N_{\varpi (\lambda )}\) and \(\eta _{1},\ldots, \eta _{\varpi (\lambda )}\) by
It follows from (3.11) and (3.13)–(3.18) that, for any \(1\leq s\leq \varpi (\lambda )\),
On the other hand, we get from (3.7) that
From (3.21) we have
Invoking Lemma 3.1, we get from (3.10), (3.11), (3.19), (3.20), and (3.22) that
For any \(\epsilon >0\), there exists an integer k such that \(2^{k-1}\leq \epsilon <2^{k}\). It follows that
On the other hand, one can easily check that
Then (3.26) together with (3.23)–(3.25) yields (3.1) and completes the proof of Theorem 1.1. □
4 Proof of Theorem 1.2
This section is devoted to proving Theorem 1.2. Before presenting the proof of Theorem 1.2, let us recall some useful lemmas. In what follows, we set \(\mathfrak{R}_{d}=\{\xi \in \mathbb{R}^{d};1/2<|\xi |\leq 1\}\).
Lemma 4.1
([26])
Let \(\alpha \in (0,1)\), \(p\in (1,\infty )\), \(q\in (1,\infty ]\), and \(r\in [1,\min \{p,q\})\). Then
Lemma 4.2
([21])
Let \(v\geq 1\), \(\Lambda \in \mathbb{N}\setminus \{0\}\), and \(\{\sigma _{k}^{s}:k\in \mathbb{Z}, 1\leq s\leq \Lambda \}\) be a family of Borel measures on \(\mathbb{R}^{d}\) with \(\sigma _{k}^{0}=0\) for all \(k\in \mathbb{Z}\). Let \(|\sigma _{k}^{s}|\) be the total variation of \(\sigma _{k}^{s}\). For \(1\leq s\leq \Lambda \), let \(\beta _{s}, \gamma _{s}>0\), \(M_{s}\in \mathbb{N}\setminus \{0\}\), and \(L_{s}:\mathbb{R}^{d}\rightarrow \mathbb{R}^{M_{s}}\) be linear transformations. Suppose that there exist \(C, A>0\) independent of v such that, for \(1\leq s\leq \Lambda \), \(k\in \mathbb{Z}\), and \(\xi \in \mathbb{R}^{d}\), the following conditions are satisfied:
(a) \(\max \{|\widehat{\sigma _{k}^{s}}(\xi ) -\widehat{\sigma _{k}^{s-1}}( \xi )|,|\widehat{|\sigma _{k}^{s}|}(\xi ) - \widehat{|\sigma _{k}^{s-1}|}(\xi )|\}\leq CA|2^{kv\gamma _{s}}L_{s}( \xi )|^{1/v}\);
(b) \(\max \{|\widehat{\sigma _{k}^{s}}(\xi )|,| \widehat{|\sigma _{k}^{s}|}(\xi )|\} \leq CA\min \{1,|2^{kv\gamma _{s}}L_{s}( \xi )|^{-\beta _{s}/v}\}\);
(c) There exists \(\vartheta \in \mathbb{R}^{d}\) such that \(\sup_{k\in \mathbb{Z}}||\sigma _{k}^{0}|*f(x)|\leq CA|f(x+ \vartheta )|\) for any \(k\in \mathbb{Z}\);
(i) Suppose that there exist \(p_{0}, q_{0}>1\) satisfying \((p_{0},q_{0})\neq (2,2)\), \(1< r_{0}<\min \{p_{0},q_{0}\}\), and \(2\le u<\infty \) such that the following condition (d) holds for \(1\leq s\leq \Lambda \):
(d)
Let \(P_{1}P_{2}\) be the line segment from \(P_{1}\) to \(P_{2}\) with \(P_{1}=(\frac{1}{2},\frac{1}{2})\) and \(P_{2}=(\frac{1}{p_{0}}, \frac{1}{q_{0}})\). Then, for \(1\leq s\leq \Lambda \), \(\alpha \in (0,1)\), and \((\frac{1}{p},\frac{1}{q})\in P_{1}P_{2} \backslash \{( \frac{1}{p_{0}},\frac{1}{q_{0}})\}\), there exists \(C>0\) independent of A and v such that
(ii) Suppose also that the following condition (e) holds for \(1\leq s\leq \Lambda \):
(e)
Then, for \(\alpha \in (0,1)\) and \((\frac{1}{p},\frac{1}{q})\in P_{1}P_{2}\backslash \{(\frac{1}{p_{0}}, \frac{1}{q_{0}}),(\frac{1}{2}, \frac{1}{2})\}\), there exists a constant \(C>0\) independent of A and v such that
We now give the proof of Theorem 1.2.
Proof of Theorem 1.2
We first prove the boundedness part. One can easily check that \(T_{\Omega,\Phi }^{*}\) and \(\mathrm{M}_{\Omega,\Phi }\) satisfy condition (1.7). This together with Lemma 4.1 yields that
for \(\alpha \in (0,1)\) and \(1< p, q<\infty \). By Lemma 2.1 and Minkowski’s inequality, it suffices to show that
where Ω is an \(H^{1}\) atom on \({\mathrm{S}}^{n-1}\) satisfying conditions (i)–(iii) of Definition 2.1. Without loss of generality, we may assume that Ω, Φ are given as in the proof of Theorem 1.1. We also let \(\{\sigma _{k,s}\}_{s=0}^{\varpi (\lambda )}\) and \(\{|\sigma _{k,s}|\}_{s=1}^{\varpi (\lambda )}\) be defined as in the proof of Theorem 1.1. By [22, Lemmas 2.4–2.5], we obtain that, for any \(1\leq s\leq \varpi (\lambda )\) and \(1< p, q, r<\infty \),
By (3.10), (3.19)–(3.21), (4.5), (4.6) and applying Lemma 4.2, we have that, for \(\alpha \in (0,1)\) and \(1< p, q<\infty \),
Then (4.1) follows from (3.25), (4.7), and (4.8). Inequality (3.26) together with (4.7) yields (4.2). One can easily check that both the operators \(T_{\Omega,\Phi }^{*}\) and \(\mathrm{M}_{\Omega,\Phi }\) satisfy conditions (1.7) and (1.8). This together with (1.4), (4.1), (4.2), Theorem 1.1, and the arguments similar to those used to derive the continuity part in [22, Theorem 1.1]. We omit the details. □
Availability of data and materials
Not applicable.
References
Al-Qassem, A., Cheng, L., Pan, Y.: Boundedness of rough integral operators on Triebel–Lizorkin spaces. Publ. Math. 56, 261–277 (2012)
Al-Salman, A., Pan, Y.: Singular integrals with rough kernels in \(L\log L({\mathrm{S}}^{n-1})\). J. Lond. Math. Soc. 66, 153–174 (2002)
Calderón, A.P., Zygmund, A.: On singular integral. Am. J. Math. 78, 289–309 (1956)
Chen, J., Fan, D., Ying, Y.: Singular integral operators on function spaces. J. Math. Anal. Appl. 276, 691–708 (2002)
Chen, Y., Ding, Y., Liu, H.: Rough singular integrals supported on submanifolds. J. Math. Anal. Appl. 368, 677–691 (2010)
Cheng, L.C.: Singular integrals related to homogeneous mappings. Mich. Math. J. 47, 407–416 (2000)
Coifman, R., Weiss, G.: Extension of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83, 569–645 (1977)
Connett, W.C.: Singular integral near \(L^{1}\). In: Harmonic Analysis in Euclidean Space (Proc. Sympos. Pure Math., WilliamsColl., Williamstown, Mass., 1978), Part 1. Proc. Sympos. Pure Math., vol. 35, pp. 163–165. Amer. Math. Soc., Providence (1979)
Fan, D., Guo, K., Pan, Y.: \(L^{p}\) estimates for singular integrals associated to homogeneous surfaces. J. Reine Angew. Math. 542, 1–22 (2002)
Fan, D., Pan, Y.: Singular integral operators with rough kernels supported by subvarieties. Am. J. Math. 119, 799–839 (1997)
Frazier, M., Jawerth, B., Weiss, G.: Littlewood–Paley Theory and the Study of Function Spaces. CBMS Reg. Conf. Ser., vol. 79. Am. Math. Soc., Providence (1991)
Grafakos, L., Stefanov, A.: \(L^{p}\) bounds for singular integrals and maximal singular integrals with rough kernels. Indiana Univ. Math. J. 47, 455–469 (1998)
Honzik, P.: Examples of singular integral operators with rough kernels. Proc. Am. Math. Soc. (to appear)
Korry, S.: Boundedness of Hardy–Littlewood maximal operator in the framework of Lizorkin–Triebel spaces. Rev. Mat. Complut. 15, 401–416 (2002)
Liu, F.: Integral operators of Marcinkiewicz type on Triebel–Lizorkin spaces. Math. Nachr. 290, 75–96 (2017)
Liu, F.: A note of Littlewood–Paley functions on Triebel–Lizorkin spaces. Bull. Korean Math. Soc. 55, 659–672 (2018)
Liu, F.: A note on Marcinkiewicz integrals associated to surfaces of revolution. J. Aust. Math. Soc. 104, 380–402 (2018)
Liu, F.: Boundedness and continuity of maximal operators associated to polynomial compound curves on Triebel–Lizorkin spaces. Math. Inequal. Appl. 22, 25–44 (2019)
Liu, F., Mao, S., Wu, H.: On rough singular integrals related to homogeneous mappings. Collect. Math. 67, 113–132 (2016)
Liu, F., Wu, H.: On the regularity of maximal operators supported by submanifolds. J. Math. Anal. Appl. 453, 144–158 (2017)
Liu, F., Xue, Q., Yabuta, K.: Rough maximal singular integral and maximal operators supported by subvarieties on Triebel–Lizorkin spaces. Nonlinear Anal. TMA 171, 41–72 (2018)
Liu, F., Xue, Q., Yabuta, K.: Boundedness and continuity of maximal singular integrals and maximal functions on Triebel–Lizorkin spaces. Sci. China Math. 63, 907–936 (2020)
Ricci, F., Stein, E.M.: Harmonic analysis on nilpotent groups and singular integrals I: osicllatory integrals. J. Funct. Anal. 73, 179–194 (1987)
Sato, S.: Estimates for singular integrals and extrapolation. Stud. Math. 192, 219–233 (2009)
Triebel, H.: Theory of Function Spaces. Monogr. Math., vol. 78. Birkhäser, Basel (1983)
Yabuta, K.: Triebel–Lizorkin space boundedness of Marcinkiewicz integrals associated to surfaces. Appl. Math. J. Chin. Univ. 30, 418–446 (2015)
Zhang, C., Chen, J.: Boundedness of g-functions on Triebel–Lizorkin spaces. Taiwan. J. Math. 13, 973–981 (2009)
Acknowledgements
The authors want to express their sincere thanks to the referee for his or her valuable remarks and suggestions, which made this paper more readable.
Funding
This work was supported partially by the NNSF of China (No. 11701333).
Author information
Authors and Affiliations
Contributions
The authors worked jointly in drafting and approving the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhang, X., Liu, F. A note on maximal singular integrals with rough kernels. J Inequal Appl 2020, 237 (2020). https://doi.org/10.1186/s13660-020-02504-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02504-8