Abstract
We establish the maximal operator, Cotlar’s inequality and pointwise convergence in the Dunkl setting for the (nonconvolution type) Dunkl–Calderón–Zygmund operators introduced recently in Tan et al. (https://arxiv.org/abs/2204.01886). The fundamental geometry of the Dunkl setting involves two nonequivalent metrics: the Euclidean metric and the Dunkl metric deduced by finite reflection groups, and hence the classical methods do not apply directly. The key idea is to introduce truncated singular integrals and the maximal singular integrals by the Dunkl metric and the Euclidean metric. We show that these two kind of truncated singular integrals are dominated by the Hardy–Littlewood maximal function, which yields the Cotlar’s inequalities and hence the boundedness of maximal Dunkl–Calderón–Zygmund operators. Further, as applications, two equivalent pointwise convergences for Dunkl–Calderón–Zygmund operators are obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
On the Euclidean space \(\mathbb R^{N}\) there is exactly one weight function \(\omega (x)\) associated with a normalized root system R and a multiplicity function \(\kappa \ge 0\) such that the Dunkl measure is defined by
where dx stands for the Lebesgue measure in \(\mathbb R^{N}\). We denote by \(\textbf{N}=N+\sum _{\alpha \in R} \kappa (\alpha )\) the homogeneous dimension of the system and by G the reflections \(\sigma _\alpha \in G, \alpha \in R\). Let E(x, y) be the associated Dunkl kernel, in [7] Dunkl introduced the Dunkl transform, which enjoys properties similar to the classical Fourier transform, and is defined by
\(c_{\kappa }= \int _{\mathbb R^N} e^{-\Vert x\Vert ^2/2}d\omega (x)\).
Particularly, the Dunkl transform satisfies the Plancherel identity, namely, \(\Vert \hat{f}\Vert _2=\Vert f\Vert _2\) and if the function \(\kappa =0,\) then the Dunkl transform becomes the classical Fourier transform. In [16] the translation operator related to Dunkl transform is defined by
for all \(x, y\in \mathbb {R}^{N}.\) When the function f is in the Schwartz class \({\mathcal S}(\mathbb {R}^N )\), the above equality holds pointwise. It is possible to define \(\tau _x f\) for \(L^p(\mathbb {R}^N, d\omega )\)-functions, but as a distribution, see [3]. As an operator on \(L^2(\mathbb R^N, d\omega ), \tau _x\) is bounded. However, it is not at all clear whether they are bounded on \(L^p(\mathbb {R}^N, d\omega )\) for \(p\not =2.\) For \(f, g\in L^2(\mathbb {R}^{N},{ d\omega }),\) their convolution can be defined in terms of the translation operator by
where \(g^{\vee }(y)=g(-y).\)
In the Dunkl setting, the Euclidean metric is defined by \(\Vert x-y\Vert =\big \{\sum \limits _{j=1}^N|x_j-y_j|^2\big \}^\frac{1}{2}\) and the distance between two G-orbits \(\mathcal {O}(x)\) and \(\mathcal {O}(y)\) is given by \(d(x,y)=\min \limits _{\sigma \in G}\Vert x-\sigma (y)\Vert .\) Obviously, \(d(x,y)=d(y,x)\) and \(d(x,y)\leqslant d(x,z)+d(z,y)\) for all \(x,y,z\in \mathbb {R}^N.\) However, \(d(x,y)=0\) when \(\sigma (y)\) for \(\sigma \in G\) and thus, d(x, y) is not a metric. We still call d(x, y) by the Dunkl metric and note that \(d(x,y)\leqslant \Vert x-y\Vert \) and hence, d(x, y) and \(\Vert x-y\Vert \) are Not equivalent.
Consider the Dunkl setting as the Euclidean space \(\mathbb {R}^N,\) together with the Euclidean metric \(\Vert x-y\Vert \) and the Dunkl measure \(d\omega \). Then \((\mathbb {R}^N, \Vert \cdot \Vert , d\omega )\) becomes a space of homogeneous type in the sense of Coifman and Weiss (see [5, 6]), since \(d\omega \) satisfies the doubling and reverse doubling properties, that is, there is a constant \(C > 0\) such that for all \( x\in \mathbb {R}^{N}, r>0,\lambda \geqslant 1\),
Moreover, \(\omega (B(x,r))\sim \omega (B(y,r))\) when \(\Vert x-y\Vert \sim r\) and \(\omega (B(x,r))\leqslant \omega (B_d(x,r))\leqslant |G|\omega (B(x,r)),\) where \(B(x,r):=\{y\in \mathbb {R}^{N}:\Vert x-y\Vert<r\}, B_d(x,r):=\{y\in \mathbb {R}^{N}:d(x,y)<r\},\) and the notion \(a\sim b, 0<a, b<\infty ,\) means that there exits two constant \(c_1\) and \(c_2\) such that \(c_1\leqslant \frac{a}{b}\leqslant c_2.\)
The Dunkl operators \(T_j\) are defined by
where \(e_1, \ldots , e_N\) are the standard basis of \(\mathbb R^N.\)
The Dunkl Laplacian related to R and \(\kappa \) is defined as \(\triangle =\sum \limits ^{N}_{j=1} T^2_j,\) which is equivalent to
where \( \delta _{\alpha }f(x)=\frac{\partial _{\alpha }f(x)}{\langle \alpha , x\rangle } -\frac{f(x)-f(\sigma _{\alpha }(x))}{\langle \alpha , x\rangle ^2}.\) It is self-adjoint on \(L^2(\mathbb {R}^N,d\omega )\) and generates the Dunkl heat semigroup and further the Poisson semigroup follows from the subordination formula. All these Dunkl transform, Laplacian and Poisson integral together with the Dunkl translation and convolution operators opened the door for developing the harmonic analysis related to the Dunkl setting, which includes the Littlewood–Paley theory, Hardy spaces and singular integral operators. See for example [1,2,3, 8,9,10, 16] and the references therein.
To be more precise, in [3], the Littlewood–Paley theory was established and the Hardy space \(H^1(\mathbb {R}^N)\) was characterized by the area integrals, maximal function and the Riesz transforms, see also [1]. The atomic decomposition of \(H^1(\mathbb {R}^N)\) was provided in [8]. The boundedness and the pointwise convergence of the Hörmander multipliers and singular integral convolution operators were given by [9] and [10], respectively.
Particularly, we would like to recall the Calderón– Zygmund singular integral convolution operators given in [10]. For a positive integer s, consider a kernel \(K \in C^{s}\left( \mathbb {R}^{N} \backslash \{0\}\right) \) such that
and
Set
where \(\phi \) is a fixed radial \(C^{\infty }\)-function supported by the unit ball B(0, 1) such that \(\phi (x)=1\) for \(\Vert x\Vert <1 / 2\). The authors in [10] proved the following:
Theorem A
([10, Theorems 4.1, 4.2 ]) Suppose that \(K(f)(x)=f * K^{\{t\}}(x)\) with the kernel K(x) satisfies the above conditions and the symbol * denotes the Dunkl convolution. Then for an s, the smallest even positive integer bigger than \(\frac{{\textbf {N}}}{2},\) then there are constants \(C_{p}>0\) independent of \(t>0\) such that
and
Moreover, under the additional assumption
where \(L \in \mathbb {C}\), the limit \(\lim \limits _{t \rightarrow 0^+} f * K^{\{t\}}(x)\) exists and defines a bounded operator on \(L^{p}(\mathbb {R}^N, d \omega )\) for \(1<p<\infty \), which is of weak type (1, 1).
The authors introduced the maximal operator
and provided the following estimate for the maximal operator.
Theorem B
([10, Lemma 5.2 ]) Let \(p \in [1, \infty )\). There is a constant \(C>0\) such that for all \(f \in L^{p}(\mathbb {R}^N, d\omega ) \cap L^{\infty }\) and \(x \in \mathbb {R}^{N}\) we have
with
where the supremum is taken over all Euclidean balls B which contain x and M is the noncentred Hardy–Littlewood maximal function defined on the space of homogeneous type \(\left( \mathbb {R}^{N},\Vert \cdot \Vert , d\omega \right) \).
As a consequence of the above theorem, the boundeness of the operator \(K^{*}f\) for \(L^{p}(\mathbb {R}^N, d \omega )\), \(1<p<\infty \) and the weak type (1, 1) are obtained. See [10] for more details.
Recently, a new class of the Dunkl–Calderón–Zygmund singular integral operators was introduced in [15]. We first introduce the following:
Definition 1.1
Let \({\dot{C}}^\eta (\mathbb {R}^N)\) be the Hölder space of continuous functions f with
We denote \({\dot{C}}^\eta _0(\mathbb {R}^N)\) by the set of functions in the Hölder space \({\dot{C}}^\eta (\mathbb {R}^N)\) with compact supports.
The Dunkl–Calderón–Zygmund singular integral operators is defined by
Definition 1.2
([15]) An operator \(T: {\dot{C}}_0^\eta (\mathbb {R}^N)\rightarrow ({\dot{C}}_0^\eta (\mathbb {R}^N))'\) with \(\eta >0,\) is said to be a Dunkl–Calderón–Zygmund singular integral operator if K(x, y), the kernel of T, satisfies the following estimates: for some \(0<\delta \leqslant 1,\)
Moreover, \(\langle T(f),g\rangle =\int _{\mathbb {R}^N}\int _{\mathbb {R}^N} K(x,y)f(x)g(y)d\omega (x)d\omega (y)\) for \({{\,\textrm{supp}\,}}f\cap {{\,\textrm{supp}\,}}g=\emptyset .\) T is said to be a Dunkl–Calderón–Zygmund operator if T is bounded on \(L^2(\mathbb {R}^N, d\omega ).\) Here \(\dot{C}_0^\eta (\mathbb {R}^N)\) is the classical Hölder space (see Definition 1.1).
We point out that in [15] it was proved that this new class Dunkl–Calderón–Zygmund singular integral operator covers the well-known Dunkl–Riesz transforms and generalizes the classical Calderón–Zygmund singular integrals on spaces of homogeneous type in the sense of Coifman and Weiss.
Thus, it is natural to ask the following:
Question
Does the Dunkl–Calderón–Zygmund operator Tf exist pointwise for \(f\in L^2(\mathbb {R}^N,d\omega )\) and for almost every \(x\in \mathbb {R}^N?\)
The purpose of this paper is to give a positive answer. Let us first recall the pointwise convergence for the classical Calderón–Zygmund operator, that is, if K(x, y) is the kernel of T, whether the following
holds for \(f\in L^2(\mathbb {R}^N, d\omega )\) (or more generally, \(f\in L^p(\mathbb {R}^N,d\omega ), 1\leqslant p<\infty )\) and for almost every \(x\in \mathbb {R}^N.\)
It is well known that in the classical case, (1.5) is proved via the remarkable Cotlar’s inequality. See [4] for the classical singular integral convolution operators and [12] for the generalized singular integral operators. See also [13] for more general theory for maximal operators.
We now return to our question in the Dunkl setting. Suppose that, as in the Definition 1.2, T is a Dunkl–Calderón–Zygmund operator with the kernel K(x, y) involving the different metrics, the Euclidean metric \(\Vert x-y\Vert \) and the Dunkl metric d(x, y) . As in the classical case, the truncated kernels can be defined for each \(\varepsilon >0,\)
The truncated operators \(T_\varepsilon \) are defined by
and the maximal operators are defined by
However, Cotlar’s inequality for \(T_{*}f(x)\) does not follow from the classical method since the kernel of T involves the Dunkl metric d(x, y), which causes a difficulty for estimating \(T_{*}f(x).\)
To overcome this problem, we introduce the truncated kernels
and the truncated operators \({\widetilde{T}}_\varepsilon \) are defined by
for \(x\in \mathbb {R}^N.\) The corresponding maximal operators are defined by
The relationship between \({T}_{*}f(x)\) and \({\widetilde{T}}_{*}f(x)\) gives Cotlar’s inequalities for both \({T}_{*}f(x)\) and \({\widetilde{T}}_{*}f(x),\) which are given by the following:
Theorem 1.3
Suppose that T is a Dunkl–Calderón–Zygmund operator as in Definition 1.2. Then for any \(r>0,\)
where \(C_r\) is a constant depending on r but not on x, Mf(x) is the Hardy–Littlewood maximal function, i.e. \(Mf(x)=\sup \limits _{t>0}\frac{1}{\omega (B(x,t))}\int _{B(x,t)}|f(y)|d\omega (y),\) and \({\widetilde{M}}f(x)=\sum \limits _{\sigma \in G}Mf(\sigma (x)).\)
Theorem 1.4
Suppose that T is a Dunkl–Calderón–Zygmund operator with the kernel K(x, y) as in Definition 1.2. Then \(\lim \limits _{\varepsilon \rightarrow 0^+}[T_\varepsilon (f)(x)-\widetilde{T}_\varepsilon (f)(x)]=0,\) for all \(f\in L^p(\mathbb {R}^N,d\omega ), 1\leqslant p<\infty \) and almost all \(x\in \mathbb {R}^N.\)
Furthermore, under an additional condition \(\int _{\{y:\ \varepsilon< d(x,y)< M\}}K(x,y)d\omega (y)=0\) for all \(0<\varepsilon<M<\infty ,\) we have
for \(f\in L^p(\mathbb {R}^N,d\omega ), 1\leqslant p<\infty \) and almost all \(x\in \mathbb {R}^N.\)
The paper is organized as follows. In the next section, we recall the preliminaries for the Dunkl–Calderón–Zygmund singular integral operators. Cotlar’s inequality and the pointwise convergence will be given in Sects. 3 and 4, respectively.
2 Preliminaries: Dunkl–Calderón–Zygmund Operators
We first remark that the size and regularity conditions of the Dunkl–Calderón–Zygmund singular integral operator as in Definition 1.2 are much weaker than the classical Calderón–Zygmund singular integral operators given in space of homogeneous type in the sense of Coifman and Weiss. Let recall these conditions by the following: for some \(0<\delta \leqslant 1,\)
-
(i)
\(|K(x, y)|\leqslant {\displaystyle {C}\over \displaystyle {\omega (B(x,\Vert x- y\Vert ))}}\) for \(x\not = y;\)
-
(ii)
\(|K(x, y) - K(x, y') |\leqslant \Big ({\displaystyle \Vert y-y'\Vert \over \displaystyle \Vert x- y\Vert }\Big )^\delta {\displaystyle C\over \displaystyle \omega (B(x,\Vert x- y\Vert ))}\) for \(\Vert y- y'\Vert \leqslant \frac{1}{2} \Vert x- y\Vert ;\)
-
(iii)
\(|K(x, y) - K(x', y) |\leqslant \Big ({\displaystyle \Vert x-x'\Vert \over \displaystyle \Vert x- y\Vert }\Big )^\delta {\displaystyle C\over \displaystyle \omega (B(x,\Vert x- y\Vert ))}\) for \(\Vert x- x'\Vert \leqslant \frac{1}{2} \Vert x- y\Vert .\)
By the reverse doubling condition in (1.1) on the measure \(d\omega \),
Thus,
and note that \(d(x,y)\leqslant \Vert x-y\Vert ,\) thus, \(\omega (B(x,\Vert x-y\Vert ))\geqslant \omega (B(x,d(x,y))).\) If \(\Vert x-x'\Vert \leqslant \frac{1}{2}d(x,y)\leqslant \frac{1}{2}\Vert x-y\Vert ,\) then,
Further, K(x, y) is locally integrable for \(x\not = y.\) Indeed, for any fixed \(x\in \mathbb {R}^N\) and \(0<\varepsilon<R<\infty ,\) by the doubling properties in (1.1) of the measure \(d\omega ,\)
To recall results in [15], we need to extend the definition of the Dunkl–Calderón–Zygmund operators to functions in \({\dot{C}}_b^\eta (\mathbb {R}^N),\) the bounded Hölder functions. The idea for doing this is to define T(f) for \(f\in {\dot{C}}_b^\eta (\mathbb {R}^N)\) as a distribution on \({\dot{C}}^\eta _{0,0}(\mathbb {R}^N)=\{ g\in {\dot{C}}^\eta _0: \int _{\mathbb {R}^N} g(x)d\omega (x)=0\}.\) To this end, given \(g\in {\dot{C}}^\eta _{0,0}(\mathbb {R}^N)\) with the support contained in the ball \(B(x_0, R)\) for some \(x_0\in \mathbb {R}^N\) and \(R>0.\) Let \(\xi (x)= 1\) for \(x\in B_d(x_0, 2R)\) and \(\xi (x)= 0\) for \(x\in \big (B_d(x_0, 4R )\big )^c.\) Write \(f(x)=\xi (x)f(x) + (1-\xi (x))f(x)\) and formally, \(\langle Tf, g\rangle =\langle T(f\xi ), g\rangle +\langle T[(1-\xi )f], g\rangle .\) The first term \(\langle T(f\xi ), g\rangle \) is well defined. By the cancellation condition of g, we can write
Observe that if \(x\in B(x_0, R)\) and \(y\notin B_d(x_0, 2R),\)then \( \Vert x-x_0\Vert \leqslant R\leqslant \frac{1}{2}d(x_0,y).\) Thus,
and hence, \(\langle Tf, g\rangle \) is well defined. Therefore, T(f) is a distribution on \(\Big ({\dot{C}}^\eta _{0,0}(\mathbb {R}^N)\Big )^\prime .\)
The weak boundedness property (WBP) in the Dunkl setting is defined by the following:
Definition 2.1
The Dunkl–Calderón–Zygmund singular integral operator T with the distribution kernel K(x, y) is said to have the weak boundedness property (WBP) if there exist \(\eta >0\) and \(C<\infty \) such that
for all \(f\in {\dot{C}}^\eta _0(\mathbb R^N\times \mathbb R^N)\) with \({{\,\textrm{supp}\,}}(f)\subseteq B(x_0,r)\times B(y_0,r), x_0, y_0\in \mathbb R^N, \Vert f\Vert _{L^\infty (\mathbb {R}^N)}\leqslant 1, \Vert f(\cdot ,y)\Vert _{{\dot{C}^\eta }(\mathbb {R}^N)}\leqslant r^{-\eta }\) for all \(y\in \mathbb {R}^N\) and \(\Vert f(x,\cdot )\Vert _{{\dot{C}^\eta }(\mathbb {R}^N)}\leqslant r^{-\eta }\) for all \(x\in \mathbb R^N\).
The following T(1) theorem for the Dunkl–Calderón–Zygmund singular integral operators was provided in [15].
Theorem 2.2
Suppose that T is a Dunkl–Calderón–Zygmund singular integral operator. Then T extends to a bounded operator on \(L^2(\mathbb {R}^N, d\omega )\) if and only if (a) \(T(1)\in BMO(\mathbb {R}^N,d\omega );\) (b) \(T^*(1)\in BMO(\mathbb {R}^N,d\omega );\) (c) T has WBP.
In [15], they also show the following:
Theorem 2.3
Suppose T is a Dunkl–Calderón–Zygmund operator. Then T extends to a bounded operator from \(L^p(\mathbb {R}^N, d\omega ), 1<p<\infty ,\) to itself. Moreover, there exists a constant C such that
We remark that applying the \(L^2\)-boundeness of T and the Calderón–Zygmund decomposition on space of homogeneous type \((\mathbb {R}^N, \Vert x-y\Vert ,d\omega )\) as in [9, 10], the weak type (1,1) estimate of Theorem 2.3 also holds. See [9, 10] for details.
3 Proof of Cotlar’s Inequality
Proof
We need to show that if \(f\in L^2(\mathbb {R}^N, d\omega )\) and for any fixed \(\varepsilon >0,\) then \(\int _{\{y:\Vert x-y\Vert \geqslant \varepsilon \}}K(x,y)f(y)d\omega (y)\) converges absolutely for almost all \(x\in \mathbb {R}^N\), where K(x, y) is the kernel of the Dunkl–Calderón–Zygmund operator T. Instead of showing this, we would like to first prove that \(\int _{\{y:d(x,y)\geqslant \varepsilon \}}K(x,y)f(y)d\omega (y)\) converges absolutely for almost all \(x\in \mathbb {R}^N\) and for any fixed \(\varepsilon .\) Indeed, for almost all \(x\in \mathbb {R}^N\) and any fixed \(\varepsilon >0,\)
where the last two inequalities follow from the doubling property in (1.1) and fact that \(\inf \limits _{x\in \mathbb {R}^N} \omega (B(x,\varepsilon ))>0,\) respectively. The notation \(a\lesssim b\) means that there exists a constant C such that \(a\leqslant C b\).
Observe that the above estimate does not work for \(\int _{\{y:\Vert x-y\Vert \geqslant \varepsilon \}}|K(x,y)|^2d\omega (y).\)
We now show the following relationship between truncated operators \(T_\varepsilon (f)(x)\) and \({\widetilde{T}}_\varepsilon (f)(x),\) which is one of the main reasons why we introduce the truncated operator \({\widetilde{T}}_\varepsilon (f)(x).\)
Lemma 3.1
Suppose that the kernel K(x, y) satisfies the following size condition
Then
Indeed, \(\{y:\Vert x-y\Vert>\varepsilon \}=\{y:d(x,y)> \varepsilon \} { \cup } \{y:\Vert x-y\Vert >\varepsilon \geqslant d(x,y)\}\) and hence,
We estimate \(\int _{\{y:\ \Vert x-y\Vert >\varepsilon \geqslant d(x,y)\}}K(x,y)f(y)d\omega (y)\) as follows:
where the last inequality follows from the doubling condition in (1.1) and the fact that for any \(t>0,\)
As a direct consequence of the above estimate, we obtain that
and
where C is a constant. Therefore, we just need to show Cotlar’s inequalities for \({\widetilde{T}}_*f\) only.
Let us fix an \(\bar{x}\in \mathbb {R}^N\) and \(\varepsilon >0\) and write \(f(x)=f_1(x)+f_2(x),\) where \(f_1(x)=f(x)\) for \(d(x,\bar{x})\leqslant \varepsilon \) and \(f_2(x)=f(x)\) when \(d(x,\bar{x})> \varepsilon .\)
First we show that \(|Tf_2(x)-Tf_2(\bar{x})|\leqslant C \widetilde{M}f(\bar{x}),\text {whenever } \Vert x-\bar{x}\Vert <\frac{\varepsilon }{2}. \) Observe that if \(\Vert x-\bar{x}\Vert <\frac{\varepsilon }{2}\) then the smoothness condition (1.4) in Definition 1.2 on the kernel K(x, y) yields
We split the range of integration into the dyadic shells \(\big \{y:2^{k+1}\varepsilon \geqslant d(\bar{x},y)>2^k\varepsilon \big \}, k\in \mathbb N.\) It carries out the estimate of the last term about by the following:
Therefore
whenever \(\Vert x-\bar{x}\Vert <\frac{\varepsilon }{2}.\)
Now for any \(\alpha >0\) and \(r>0,\) we have
And by the week type (1,1) estimate of T we have
Let \(\alpha =C_0\big \{M\big (|Tf|^r\big )(\bar{x})^{1/r}+\widetilde{M}f(\bar{x})\big \},\) where \(C_0\) is a large constant such that \(\omega \big (\big \{x\in B(\bar{x},\frac{\varepsilon }{2}):|Tf(x)|>\alpha \big \}\big )\leqslant \frac{1}{4}\omega (B(\bar{x},\frac{\varepsilon }{2}))\) and \(\omega \big (\big \{x\in B(\bar{x},\frac{\varepsilon }{2}):|Tf_1(x)|>\alpha \big \}\big )\leqslant \frac{1}{4}\omega (B(\bar{x},\frac{\varepsilon }{2})).\)
As a consequence there exists an \(x\in B\Big (\bar{x},\frac{\varepsilon }{2}\Big )\) so that \(|Tf(x)|\leqslant \alpha \) and \(|Tf_1(x)|\leqslant \alpha .\) Hence by (3.1), we have
The proof of the Theorem 1.3 is complete. \(\square \)
As a direct consequence of Theorem 1.3 and Theorem 2.3, we obtain the following:
Corollary 3.2
Suppose that T is a Dunkl–Calderón–Zygmund operator. Then the maximal operator \(T_*\) ( and \({\widetilde{T}}_*\)) is bounded on \(L^p(\mathbb {R}^N, d\omega )\) and is of the weak type (1, 1). Moreover, there exists a constant C such that
for \(1<p<\infty \) and
for all \(\alpha >0.\)
4 Pointwise Convergence of Truncated Operators
We first show the following boundedness of the truncated operator without using the smoothness conditions on the kernel. See a similar result in [14].
Theorem 4.1
Suppose that the operator T with the kernel K(x, y) is bounded on \(L^p(\mathbb {R}^N, d\omega )\) for some \(1<p<\infty ,\) i.e. \(\Vert T(f)\Vert _{L^p(\mathbb {R}^N, d\omega )}\leqslant C\Vert f\Vert _{L^p(\mathbb {R}^N, d\omega )}.\) Moreover, K(x, y) satisfies the following size condition only:
and
for a.e. x outside the support of f.
Then there exists a constant \(C^\prime \) such that
and
where \(C^\prime \) is independent of \(\varepsilon .\)
Proof
According to the proof of Theorem 1.3, \(|T_\varepsilon (f)(x)-\widetilde{T}_\varepsilon (f)(x)|\leqslant C\widetilde{M}f(x),\) we just need to show \(\Vert \widetilde{T}_\varepsilon (f)\Vert _{L^p(\mathbb {R}^N, d\omega )}\leqslant C^\prime \Vert f\Vert _{L^p(\mathbb {R}^N, d\omega )}\) only. Let the collections of the balls \(\{B(\bar{x}_k,\frac{1}{4}\varepsilon )\}\) satisfy \(\bigcup \limits _{k=1}^\infty B(\bar{x}_k,\frac{1}{4}\varepsilon )=\mathbb {R}^N,\) and \(\{B(\bar{x}_k,2\varepsilon )\}\) have the bounded overlapping property: There exists an integer M, such that no point in \(\mathbb {R}^N\) belongs to more than M of \(B(\bar{x}_k,2\varepsilon ).\) Let \(\chi _{k,\delta }\) be the characteristic function of \(B_d(\bar{x}_k,\delta ).\) It is easy to see that \(\sum \limits _{k=1}^\infty \chi _{k,2\varepsilon }(x) \leqslant |G|\cdot M,\) for all \(x\in \mathbb {R}^N.\) By writing \({\widetilde{\widetilde{T}}}_\varepsilon =T-\widetilde{T}_\varepsilon ,\) we just need to show that \(\Vert {\widetilde{\widetilde{T}}}_\varepsilon (f)\Vert _{L^p(\mathbb {R}^N, d\omega )}\leqslant C^\prime \Vert f\Vert _{L^p(\mathbb {R}^N, d\omega )}.\) Observe that
And \(\chi _{k,\frac{1}{4}\varepsilon }(x)\cdot {\widetilde{\widetilde{T}}}_\varepsilon (f)(x)=\chi _{k,\frac{1}{4}\varepsilon }(x)\cdot {\widetilde{\widetilde{T}}}_\varepsilon (\chi _{k,2\varepsilon }\cdot f)(x),\) since \({\widetilde{\widetilde{T}}}_\varepsilon [(1-\chi _{k,2\varepsilon })f](x)=0,\) for all \(x\in B_d(\bar{x}_k,\frac{1}{4}\varepsilon ).\)
Now we write
Note that \(\chi _{k,\frac{1}{4}\varepsilon }(x)\cdot {\widetilde{\widetilde{T}}}_\varepsilon (\chi _{k,\frac{1}{2}\varepsilon }\cdot f)(x)=\chi _{k,\frac{1}{4}\varepsilon }(x)\cdot T(\chi _{k,\frac{1}{2}\varepsilon }\cdot f)(x),\) since \(\widetilde{T}_\varepsilon (\chi _{k,\frac{1}{2}\varepsilon }\cdot f)(x)=0\) for all \(x\in B_d(\bar{x}_k,\frac{1}{4}\varepsilon ).\) Hence
And
Based on the above results, we have
The proof of Theorem 4.1 is complete. \(\square \)
Now we show the Theorem 1.4.
Proof of Theorem 1.4
We first show that
as \(\varepsilon \rightarrow 0^+,\) for \(f\in L^p(\mathbb {R}^N, d\omega ), 1\leqslant p<\infty ,\) and almost every \(x\in \mathbb {R}^N.\)
Indeed, if we let the set \(E=\{x|\langle x,\alpha \rangle =0,\text {for some }\alpha \in R\},\) then it is easy to see that \(\omega (E)=0.\) Now for any \(x\in \mathbb {R}^N\backslash E,\) we let
then \(d_x>0.\) Note that if \(\varepsilon <d_x/2\) and \(\Vert x-y\Vert> \varepsilon > d(x,y),\) then \(\Vert x-y\Vert \geqslant d_x/2.\) Applying the size condition of K(x, y) implies that
Therefore \(\lim \limits _{\varepsilon \rightarrow 0^+}\int _{\{y:\ \Vert x-y\Vert > \varepsilon \geqslant d(x,y)\}}K(x,y)f(y)d\omega (y)=0,\) for almost every \(x\in \mathbb {R}^N.\)
Now under the additional assumption \(\int _{\{y:\ \varepsilon<d(x,y)<M\}}K(x,y)d\omega (y)=0,\) for all \(0<\varepsilon <M\) and \(x\in \mathbb {R}^N,\) we will show that \(\lim \limits _{\varepsilon \rightarrow 0^+}\int _{\{y:d(x,y)> \varepsilon \}}K(x,y)f(y)d\omega (y)\) exists for \(f\in L^p(\mathbb {R}^N, d\omega ), 1\leqslant p<\infty \) and almost all \(x\in \mathbb {R}^N.\)
First we claim that for each \(C^1_0(\mathbb {R}^N)\) function f with compact support,
exists for all \(x\in \mathbb {R}^N.\) Indeed, the integral \(\int _{\{y:\ d(x,y)>\varepsilon \}}K(x,y)f(y)d\omega (y)\) can be written as the sum of \(\int _{\{y: \ \varepsilon< d(x,y)<M\}}K(x,y)[f(y)-f(x)]d\omega (y)\) and \(\int _{\{y:\ d(x,y)\geqslant M\}}K(x,y) f(y) d\omega (y).\) Obviously, the second integral converges absolutely for any fixed \(M>\varepsilon .\) By the size condition (1.2) in Definition 1.2 on the kernel K(x, y) and the smoothness condition on the function f, the first integral is also converges absolutely. This is because
Now we show \(\lim \limits _{\varepsilon \rightarrow 0^+}\int _{\{y:\ d(x,y)>\varepsilon \}}K(x,y)f(y)d\omega (y)\) exists for \(f\in L^p(\mathbb {R}^N, d\omega ), 1\leqslant p<\infty \) and almost all \(x\in \mathbb {R}^N.\) To this end, recall \({\widetilde{T}}_\varepsilon (f)(x)=\int _{\{y:\ d(x,y)>\varepsilon \}}K(x,y)f(y)d\omega (y)\) and
for any \(f\in L^p(\mathbb {R}^N, d\omega ), 1\leqslant p<\infty .\)
Observe that \(\Omega (f; x)\) satisfies the following obvious properties:
and
for all \(x\in \mathbb {R}^N\) and \(f\in C^1_0(\mathbb {R}^N).\) Indeed, if \(f\in C^1_0(\mathbb {R}^N)\) and \(0<t<s<\varepsilon <1\), then
which implies (4.1) holds.
Let us suppose that \(f\in L^p(\mathbb {R}^N, d\omega ), 1\leqslant p<\infty .\) We fix \(\alpha >0\) and verify that \(\omega (\{x\in R^N: \Omega (f; x)>\alpha \})=0.\) Indeed, let \(\beta >0\) be a real number and let \(g\in C^1_0(\mathbb {R}^N)\) be a function such that \(\Vert f-g\Vert _{L^p(\mathbb {R}^N, d\omega )}\leqslant \beta .\) Then
for all \(x\in \mathbb {R}^N\) and hence, by the Corollary 3.2 we get
Letting \(\beta \) tends 0 yields \(\omega \{x\in \mathbb {R}^N: \Omega (f; x)>\alpha \}=0,\) and hence
exists for \(f\in L^p(\mathbb {R}^N,d\omega ), 1\leqslant p<\infty \) and almost all \(x\in \mathbb {R}^N.\) By Lemma 3.1, we also have
exists for \(f\in L^p(\mathbb {R}^N,d\omega ), 1\leqslant p<\infty \) and almost all \(x\in \mathbb {R}^N.\)
The proof of the Theorem 1.4 is complete. \(\square \)
References
Anker, J.-P., Ben Salem, N., Dziubański, J., Hamda, N.: The Hardy space \(H^1\) in the rational Dunkl setting. Constr. Approx. 42, 93–128 (2015)
Amri, B., Sifi, M.: Riesz transforms for Dunkl transform. Ann. Math. Blaise Pascal 19, 247–262 (2012)
Anker, J.-Ph., Dziubański, J., Hejna, A.: Harmonic functions, conjugate harmonic functions and the Hardy \(H^1\) in rational Dunkl setting. J. Fourier Anal. Appl. 25(5), 2356–2418 (2019)
Calderón, A.P., Zygmund, A.: On the existence of certain singular integrals. Acta Math. 88, 85–139 (1952)
Coifman, R.R., Weiss, G.: Analyse Harmonique Non-commutative sur Certains Espaces Homog\(\grave{\text{e}}\)nes. Lecture Notes in Math., vol. 242. Springer-Verlag, Berlin (1971)
Coifman, R.R., Weiss, G.: Extensions of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83, 569–645 (1977)
Dunkl, C.F.: Differential-difference operators associated to reflection groups. Trans. Am. Math. 311(1), 167–183 (1989)
Dziubański, J., Hejna, A.: Remark on atomic decompositions for the Hardy space \(H^1\) in the rational Dunkl setting. Studia Math. 251, 89–110 (2020)
Dziubański, J., Hejna, A.: Hörmander multiplier theorem for the Dunkl transform. J. Funct. Anal. 277, 2133–2159 (2019)
Dziubański, J., Hejna, A.: Singular integrals in the rational Dunkl setting. Rev. Mat. Complut. (2021). https://doi.org/10.1007/s13163-021-00402-1
Dziubański, J., Hejna, A.: Upper and lower bounds for Dunkl heat kernel, In: Calculus of Variations and Partial Differential Equations (2023)
Meyer, Y., Coifman, R.: Wavelets, Calderón-Zygmund and Multilinear Operators (Trans. by David Salinger). Cambridge University Press, Cambridge (1997)
Stein, E.M.: On limits of sequences of operators. Ann. Math. 74, 14–170 (1961)
Stein, E.M.: Harmonic Analysis: Real Variable Methods, Orthogonality and Oscillatory Integrals. Princeton Univ. Press, Princeton, NJ (1993)
Tan, C., Han, Y., Han, Y., Lee, M.-Y., Li, J.: Singular integral operators, \(T1\) theorem. Littlewood-Paley Theory and Hardy Spaces in Dunkl Setting. arXiv:2204.01886
Thangvelu, S., Xu, Y.: Convolution operator and maximal function for the Dunkl transform. J. Anal. Math. 97, 25–55 (2005)
Thangvelu, S., Xu, Y.: Riesz transform and Riesz potential for Dunkl trasform. J. Comput. Appl. Math. 199(1), 181–195 (2007)
Acknowledgements
The authors really appreciate referee’s efforts on checking carefully, providing valuable comments and so many suggestions with simplifying proofs and providing high-level verbal description, which made this paper more accurate and readable.
Funding
Open Access funding enabled and organized by CAUL and its Member Institutions. Chaoqiang Tan is supported by National Natural Science Foundation of China (Grant No. 12071272 and 61876104). Ji Li is supported by ARC DP 220100285.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Tan, C., Han, Y. & Li, J. Maximal Operator, Cotlar’s Inequality and Pointwise Convergence for Singular Integral Operators in Dunkl Setting. J Geom Anal 33, 164 (2023). https://doi.org/10.1007/s12220-023-01239-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01239-4