Skip to main content

Advertisement

A note on singular integrals with angular integrability

Article metrics

  • 185 Accesses

Abstract

In this note we study the rough singular integral

$$ T_{\varOmega }f(x)=\mathrm{p.v.} \int _{\mathbb{R}^{n}}f(x-y)\frac{\varOmega (y/ \vert y \vert )}{ \vert y \vert ^{n}}\,dy, $$

where \(n\geq 2\) and Ω is a function in \(L\log L(\mathrm{S} ^{n-1})\) with vanishing integral. We prove that \(T_{\varOmega }\) is bounded on the mixed radial-angular spaces \(L_{|x|}^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})\), on the vector-valued mixed radial-angular spaces \(L_{|x|}^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n},\ell ^{\tilde{p}})\) and on the vector-valued function spaces \(L^{p}(\mathbb{R}^{n}, \ell ^{\tilde{p}})\) if \(1<\tilde{p}\leq p<\tilde{p}n/(n-1)\) or \(\tilde{p}n/(\tilde{p}+n-1)< p\leq \tilde{p}<\infty \). The same conclusions hold for the well-known Riesz transforms and directional Hilbert transforms. It should be pointed out that our proof is based on the Calderón–Zygmund’s rotation method.

Introduction

Singular integral theory was initiated in the seminal work of Calderón and Zygmund [1] and since then has been an active area of research. A celebrated work was due to Calderón and Zygmund [2] who first studied the rough singular integral

$$ T_{\varOmega }f(x)=\mathrm{p.v.} \int _{\mathbb{R}^{n}}f(x-y)\frac{\varOmega (y/ \vert y \vert )}{ \vert y \vert ^{n}}\,dy, $$
(1.1)

where Ω is a function in \(L\log L(\mathrm{S}^{n-1})\) with vanishing integral,

$$ \int _{\mathrm{S}^{n-1}}\varOmega (y)\,d\sigma (y)=0, $$
(1.2)

where \(\mathrm{S}^{n-1}\) denotes the unit sphere in \(\mathbb{R}^{n}\) (\(n\geq 2\)) equipped with the normalized Lebesgue measure . By introducing the “method of rotations”, Calderón and Zygmund [2] showed that \(T_{\varOmega }\) is bounded on the Lebesgue spaces \(L^{p}(\mathbb{R}^{n})\) for \(1< p<\infty \). Here the function class \(L\log L(\mathrm{S}^{n-1})\) denotes the set of all functions \(\varOmega :\mathrm{S}^{n-1}\rightarrow \mathbb{R}\) which satisfy

$$ \Vert \varOmega \Vert _{L\log L(\mathrm{S}^{n-1})}:= \int _{\mathrm{S}^{n-1}} \bigl\vert \varOmega (\theta ) \bigr\vert \log \bigl(2+ \bigl\vert \varOmega (\theta ) \bigr\vert \bigr)\,d\sigma (\theta )< \infty . $$

The same conclusion was obtained independently by Coifman and Weiss [3] and Connett [4] under the less restrictive condition that Ω lies in the Hardy space \(H^{1}(\mathrm{S}^{n-1})\). The weak type \((1, 1)\) bounds of \(T_{\varOmega }\) were proved by many authors under the condition that \(\varOmega \in L\log L(\mathrm{S}^{n-1})\) (see [5, 6]). For other developments on this topic we can consult [7,8,9,10,11,12,13,14,15], among others.

It is well known that the mixed radial-angular space \(L_{|x|}^{p}L _{\theta }^{\tilde{p}}(\mathbb{R}^{n})\) is merely a formal extension of the Lebesgue space \(L^{p}\), but over the last several years it has been successfully used in studying Strichartz estimates and dispersive equations (see [16,17,18,19,20,21,22,23,24,25,26,27,28]). Recall that the mixed radial-angular spaces \(L_{|x|}^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})\), \(1\leq p\), \(\tilde{p}\leq \infty \), consist of all functions u satisfying \(\Vert u \Vert _{L_{|x|}^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}<\infty \), where

$$ \begin{aligned}& \Vert u \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}:= \biggl( \int _{0}^{\infty } \bigl\Vert u(\rho \cdot ) \bigr\Vert _{L^{\tilde{p}}(\mathrm{S} ^{n-1})}^{p}\rho ^{n-1}\,d\rho \biggr)^{1/p} \quad \mathrm{and} \\ & \Vert u \Vert _{L_{ \vert x \vert }^{\infty }L_{\theta }^{\tilde{P}}(\mathbb{R}^{n})}:= \sup_{ \rho >0} \bigl\Vert u(\rho \cdot ) \bigr\Vert _{L^{\tilde{p}}(\mathrm{S}^{n-1})}. \end{aligned} $$

It is clear that the spaces \(L_{|x|}^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})\) have the following easy properties.

  1. (i)

    If \(p=\tilde{p}\) and \(1\leq p\leq \infty \), then

    $$ \Vert u \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}= \Vert u \Vert _{L ^{p}(\mathbb{R}^{n})}. $$
    (1.3)
  2. (ii)

    If u is a radial function on \(\mathbb{R}^{n}\) and \(1\leq p\), \(\tilde{p}\leq \infty \), then

    $$ \Vert u \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}\simeq \Vert u \Vert _{L^{p}(\mathbb{R}^{n})}. $$
  3. (iii)

    If \(1\leq \tilde{p}_{1}\leq \tilde{p}_{2}\leq \infty \) and \(1\leq p\leq \infty \), then

    $$ \Vert u \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}_{1}}(\mathbb{R}^{n})} \leq C_{n,p,\tilde{p}_{1},\tilde{p}_{2}} \Vert u \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}_{2}}(\mathbb{R}^{n})}. $$

Here the notation \(A\simeq B\) means that there are two positive constants C, \(C'\) such that \(A\leq CB\) and \(B\leq C'A\).

Recently the mixed radial-angular spaces also played an active role in singular integral theory. A good start in this direction was due to Córdoba [29] who proved that \(T_{\varOmega }\) is bounded on \(L_{|x|}^{p}L_{\theta }^{2}(\mathbb{R}^{n})\) for all \(1< p<\infty \), provided that \(\varOmega \in \mathcal{C}^{1} (\mathrm{S}^{n-1})\). Later on, D’Ancona and Lucà [30] used the same argument in [29, Theorem 2.1] to extend the above result to the following.

Theorem A

([30])

Let \(\varOmega \in \mathcal{C}^{1}(\mathrm{S}^{n-1})\) satisfy (1.2) and \(1< p\), \(\tilde{p}<\infty \). Then

$$ \Vert T_{\varOmega }f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})} \leq C_{\varOmega ,p,\tilde{p}} \Vert f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})}. $$

Very recently, Cacciafesta and Lucà [31] extended Theorem A to the weighted setting (see [31, Theorem 1.1]). It should be pointed out that

$$ \mathcal{C}^{1}\bigl(\mathrm{S}^{n-1}\bigr)\subsetneq L \log L\bigl(\mathrm{S}^{n-1}\bigr) \subsetneq H^{1}\bigl( \mathrm{S}^{n-1}\bigr)\subsetneq L^{1}\bigl( \mathrm{S}^{n-1}\bigr). $$
(1.4)

The main focus of the current note is to consider the \(L_{|x|}^{p} L _{\theta }^{\tilde{p}}(\mathbb{R}^{n})\) boundedness of \(T_{\varOmega }\) without assuming that Ω is in \(\mathcal{C}^{1}(\mathrm{S}^{n-1})\) with mean value zero. Actually, we want to improve Theorem A to \(\varOmega \in L\log L(\mathrm{S}^{n-1})\). To be more precisely, our main result can be formulated as follows.

Theorem 1.1

Let \(\varOmega \in L\log L( \mathrm{S}^{n-1})\) and satisfy (1.2). If \(1<\tilde{p}\leq p< \tilde{p}n/(n-1)\) or \(\tilde{p}n/(\tilde{p}+n-1)< p\leq \tilde{p}< \infty \), then the following are valid:

$$\begin{aligned}& \Vert T_{\varOmega } \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})} \leq C_{p,\tilde{p},\varOmega } \Vert f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})}; \end{aligned}$$
(1.5)
$$\begin{aligned}& \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert T_{\varOmega }f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{ \tilde{p}}(\mathbb{R}^{n})} \leq C_{p,\tilde{p},\varOmega } \biggl\Vert \biggl( \sum_{j\in \mathbb{Z}} \vert f_{j} \vert ^{\tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}; \end{aligned}$$
(1.6)
$$\begin{aligned}& \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert T_{\varOmega }f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}\leq C _{p,\tilde{p},\varOmega } \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}. \end{aligned}$$
(1.7)

We would like to remark that Theorem 1.1 is based on the Calderón–Zygmund rotation method. In order to prove Theorem 1.1, let us introduce the direction Hilbert transforms and Riesz transforms. For a \(w\in \mathbb{R}^{n}\), we define the directional Hilbert transform \(\mathcal{H}_{w}\) in the direction w as

$$ \mathcal{H}_{w} f(x)=\frac{1}{\pi }{\mathrm{p.v.}} \int _{-\infty }^{ \infty }f(x-tw)\frac{dt}{t}, $$
(1.8)

where \(f\in \mathcal{S}(\mathbb{R}^{n})\) (the Schwartz class on \(\mathbb{R}^{n}\)). For \(1\leq j\leq n\), the jth Riesz transform is given by

$$ \mathcal{R}_{j}f(x)= \frac{\varGamma (\frac{n+1}{2})}{\pi ^{\frac{n+1}{2}}}{\mathrm{p.v.}} \int _{\mathbb{R}^{n}}f(x-y)\frac{y_{j}}{ \vert y \vert ^{n}}\,dy, $$
(1.9)

where \(f\in \mathcal{S}(\mathbb{R}^{n})\).

Recently, Córdoba [29] proved the following.

Theorem B

([29])

Let \(w\in {\mathrm{S}}^{n-1}\). Then \(\mathcal{H}_{w}\) is bounded on \(L_{|x|}^{p}L_{\theta }^{2}(\mathbb{R}^{n})\) if and only if \({2n}/{(n+1)}< p<{2n}/{(n-1)}\).

In this paper we shall extend Theorem B to the following.

Theorem 1.2

Let \(w\in {\mathrm{S}} ^{n-1}\). Then \(\mathcal{H}_{w}\) defined as (1.8) is bounded on \(L_{|x|}^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})\) if and only if \(1<\tilde{p}\leq p<\tilde{p}n/(n-1)\) or \(\tilde{p}n/(\tilde{p}+n-1)< p \leq \tilde{p}<\infty \). Moreover, the following are valid:

$$\begin{aligned}& \Vert \mathcal{H}_{w}f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R} ^{n})} \leq C_{p,\tilde{p}} \Vert f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}; \end{aligned}$$
(1.10)
$$\begin{aligned}& \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert \mathcal{H}_{w} f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{ \tilde{p}}(\mathbb{R}^{n})} \leq C_{p,\tilde{p}} \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert f_{j} \vert ^{\tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}, \end{aligned}$$
(1.11)
$$\begin{aligned}& \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert \mathcal{H}_{w}f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}\leq C _{p,\tilde{p}} \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}. \end{aligned}$$
(1.12)

The above constants \(C_{p,\tilde{p}}\) are independent of w.

Theorem 1.2 together with the rotation method yields the following.

Theorem 1.3

Let Ω be odd and integrable over \(\mathrm{S}^{n-1}\). If \(1<\tilde{p}\leq p<\tilde{p}n/(n-1)\) or \(\tilde{p}n/(\tilde{p}+n-1)< p \leq \tilde{p}<\infty \), then the following are valid:

$$\begin{aligned}& \Vert T_{\varOmega } \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})} \leq C_{p,\tilde{p}} \Vert \varOmega \Vert _{L^{1}(\mathrm{S}^{n-1})} \Vert f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}; \end{aligned}$$
(1.13)
$$\begin{aligned}& \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert T_{\varOmega }f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{ \tilde{p}}(\mathbb{R}^{n})} \leq C_{p,\tilde{p}} \Vert \varOmega \Vert _{L^{1}( \mathrm{S}^{n-1})} \biggl\Vert \biggl(\sum _{j\in \mathbb{Z}} \vert f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{ \tilde{p}}(\mathbb{R}^{n})}, \end{aligned}$$
(1.14)
$$\begin{aligned}& \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert T_{\varOmega }f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}\leq C _{p,\tilde{p}} \Vert \varOmega \Vert _{L^{1}(\mathrm{S}^{n-1})} \biggl\Vert \biggl( \sum _{j\in \mathbb{Z}} \vert f_{j} \vert ^{\tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}. \end{aligned}$$
(1.15)

Here the above constants \(C_{p,\tilde{p}}>0\) are independent of Ω. The same conclusions hold for the Riesz transforms \(\mathcal{R}_{j}\) for all \(1\leq j\leq n\).

Remark 1.1 When \(\tilde{p}=2\), the part result of Theorem 1.2 implies Theorem A. On the other hand, Córdoba [29] proved the following, Meyer’s lemma: Given a countable family of directions \(\{\theta _{j}\}_{j\in \mathbb{Z}}\) in \(\mathbb{R}^{n}\) and set \(\mathcal{H}_{j}f=\mathcal{H}_{\theta _{j}}f\). Then the following inequality holds:

$$ \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert H_{j}f_{j} \vert ^{2} \biggr)^{1/2} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{2}(\mathbb{R}^{n})} \leq C_{p} \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert f_{j} \vert ^{2} \biggr)^{1/2} \biggr\Vert _{L _{ \vert x \vert }^{p}L_{\theta }^{2}(\mathbb{R}^{n})} $$
(1.16)

for \(2n/(n+1)< p<2n/(n-1)\). By using the arguments as in deriving (1.11) and (1.12), we find that if \(1<\tilde{p}\leq p<\tilde{p}n/(n-1)\) or \(\tilde{p}n/(\tilde{p}+n-1)< p\leq \tilde{p}<\infty \), the following inequalities hold:

$$\begin{aligned}& \begin{aligned}& \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert \mathcal{H}_{j} f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{ \tilde{p}}(\mathbb{R}^{n})} \leq C_{p,\tilde{p}} \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert f_{j} \vert ^{\tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})}, \\ & \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert \mathcal{H}_{j}f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}\leq C _{p,\tilde{p}} \biggl\Vert \biggl(\sum_{j\in \mathbb{Z}} \vert f_{j} \vert ^{ \tilde{p}} \biggr)^{1/\tilde{p}} \biggr\Vert _{L^{p}(\mathbb{R}^{n})}. \end{aligned} \end{aligned}$$
(1.17)

It is clear that (1.17) yields (1.16) when \(\tilde{p}=2\).

Throughout the paper, we use \(C_{\alpha ,\beta ,\ldots }\) to denote positive constants that depend on the parameters \(\alpha , \beta , \ldots \) .

Proofs of main results

Let us begin with the proof of Theorem 1.2.

Proof of Theorem 1.2

We only prove (1.10) since (1.11) and (1.12) are analogous. We shall adopt the method of deriving the proof in [30, Theorem 2.6] to prove (1.8). Let \(1<\tilde{p}<p< \tilde{p}n/(n-1)\) and \(t=p/(p-\tilde{p})\). It is obvious that \(t>n\). Fix a number s in the interval \((1,{t}/{n})\). Denote by X the set of all \(g\in \mathcal{S}(\mathbb{R})\) with \(\int _{0}^{\infty }g^{t}(r)r^{n-1}\,dr \leq 1\). By polar coordinates, we have

$$\begin{aligned} \Vert \mathcal{H}_{w} \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R} ^{n})}^{\tilde{p}} =& \biggl( \int _{0}^{\infty } \biggl( \int _{\mathrm{S}^{n-1}} \bigl\vert \mathcal{H}_{w}f(r \theta ) \bigr\vert ^{\tilde{p}}\,d\sigma (\theta ) \biggr)^{p/\tilde{p}}r^{n-1} \,dr \biggr)^{\tilde{p}/p} \\ =& \sup_{g\in X} \int _{0}^{\infty } \int _{\mathrm{S}^{n-1}} \bigl\vert \mathcal{H}_{w}f(r \theta ) \bigr\vert ^{\tilde{p}}g(r)r^{n-1}\,d\sigma (\theta )\,dr \\ =& \sup_{g\in X} \int _{\mathbb{R}^{n}} \bigl\vert \mathcal{H}_{w}f(x) \bigr\vert ^{ \tilde{p}}g\bigl( \vert x \vert \bigr)\,dx. \end{aligned}$$
(2.1)

Fix \(g\in X\) and set \(h(x)=g(|x|)\). It is well known that

$$\begin{aligned} \int _{\mathbb{R}^{n}} \bigl\vert \mathcal{H}_{w}f(x) \bigr\vert ^{\tilde{p}}g\bigl( \vert x \vert \bigr)\,dx \leq& C _{\tilde{p},s} \int _{\mathbb{R}^{n}} \bigl\vert f(x) \bigr\vert ^{\tilde{p}} \bigl(\mathcal{M}_{w}h ^{s}(x)\bigr)^{1/s} \,dx \\ \leq& C_{\tilde{p},s} \int _{\mathbb{R}^{n}} \bigl\vert f(x) \bigr\vert ^{ \tilde{p}} \bigl(\mathcal{U}h^{s}(x)\bigr)^{1/s}\,dx \end{aligned}$$
(2.2)

for all \(p\in (1,\infty )\) and \(s\in (1,\infty )\). Here \(\mathcal{M} _{w}\) denotes the one-dimensional Hardy–Littlewood maximal function in the direction of w and \(\mathcal{U}\) is the universal Kakeya maximal function defined by

$$ \mathcal{U}f(x)=\sup_{{a,b>0\atop w\in {\mathrm{S}}^{n-1}}} \frac{1}{a+b} \int _{-a}^{b} \bigl\vert f(x+tw) \bigr\vert \,dt. $$

It was shown in [32] (also see [29]) that if f is a radial function, then

$$ \Vert \mathcal{U}f \Vert _{L^{v}(\mathbb{R}^{n})}\leq C_{v} \Vert f \Vert _{L^{v}( \mathbb{R}^{n})}, \quad \text{for } v>n. $$
(2.3)

Notice that \({t}/{s}>n\) and \(h^{s}\) is a radial function. It follows from (2.2)–(2.3) that

$$\begin{aligned} & \int _{\mathbb{R}^{n}} \bigl\vert \mathcal{H}_{w}f(x) \bigr\vert ^{\tilde{p}}g\bigl( \vert x \vert \bigr)\,dx \\ &\quad \leq C_{\tilde{p},s} \int _{0}^{\infty } \int _{\mathrm{S}^{n-1}} \bigl\vert f(r\theta ) \bigr\vert ^{ \tilde{p}}\,d\sigma (\theta ) \bigl(\mathcal{U}h^{s}(r) \bigr)^{1/s}r^{n-1}\,dr \\ &\quad \leq C_{\tilde{p},s} \int _{0}^{\infty } \biggl( \int _{\mathrm{S}^{n-1}} \bigl\vert f(r \theta ) \bigr\vert ^{\tilde{p}}\,d\sigma (\theta ) \biggr)^{p/\tilde{p}}r^{n-1}\,d \rho )^{\tilde{p}/p} \biggl( \int _{0}^{\infty }\bigl(\mathcal{U}h^{s}(r) \bigr)^{t/s}r ^{n-1}\,dr \biggr)^{1/t} \\ &\quad \leq C_{\tilde{p},s} \Vert f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})}^{\tilde{p}} \bigl\Vert \bigl(\mathcal{U}h^{s}\bigr)^{1/s} \bigr\Vert _{L^{t}( \mathbb{R}^{n})} \\ &\quad \leq C_{p,\tilde{p},s} \Vert f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})}^{\tilde{p}}, \end{aligned}$$

which together with (2.1) implies that (1.8) holds for \(1<\tilde{p}<p< {\tilde{p}n}/{(n-1)}\). By the duality we get the case \({\tilde{p}n}/ {(\tilde{p}+n-1)}< p<\tilde{p}<\infty \). The trivial case \(1< p= \tilde{p}<\infty \) follows easily from the \(L^{p}\) bounds for \(\mathcal{H}_{w}\) and (1.3).

To prove the “only if” part we take \(f=\chi _{B(0,1)}\), where \(B(0,1)\) is the unit cube in \(\mathbb{R}^{n}\). Without loss of generality we only consider the case \(w=(0,0,\ldots ,0,1)\) because of the rotational symmetry. One can easily check that

$$ \bigl\vert \mathcal{H}_{w}f(x_{1},x_{2}, \ldots ,x_{n-1},x_{n}) \bigr\vert \geq C \frac{1}{ \vert x _{n} \vert }, $$

whenever \(|x_{i}|\leq \frac{1}{2}\), \(i=1,2,\ldots ,n-1\) and \(|x_{n}|\geq 2\). An elementary computation yields

$$\begin{aligned} & \int _{0}^{\infty } \biggl( \int _{\mathrm{S}^{n-1}} \bigl\vert \mathcal{H}_{w}f(r \theta ) \bigr\vert ^{\tilde{p}}\,d\sigma (\theta ) \biggr)^{p/\tilde{p}}r^{n-1} \,dr \\ &\quad \geq C \int _{2}^{\infty }\bigl(r^{-\tilde{p}}r^{-(n-1)} \bigr)^{p/\tilde{p}}r^{n-1}\,dr \geq C \int _{2}^{\infty }r^{(n-1)(1-p/\tilde{p})-p}\,dr, \end{aligned}$$

which together with the \(L_{|x|}^{p}L_{\theta }^{\tilde{p}}( \mathbb{R}^{n})\) boundedness for \(\mathcal{H}_{w}\) yields \({\tilde{p}n}/ {(\tilde{p}+n-1)} < p\leq \tilde{p}<\infty \). The case \(1<\tilde{p} \leq p<{\tilde{p}n}/{(n-1)}\) follows by duality. □

Proof of Theorem 1.3

We shall prove (1.13) and (1.14)–(1.15) are analogous. By the method of rotations, it was shown in [33] that

$$ T_{\varOmega }f(x)=\frac{\pi }{2} \int _{\mathrm{S}^{n-1}}\varOmega (w) \mathcal{H}_{w} f(x)\,d \sigma (w). $$
(2.4)

By (2.4) and Minkowski’s inequalities, one has

$$\begin{aligned} & \Vert T_{\varOmega }f \Vert _{L_{ \vert x \vert }^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})} \\ &\quad = \biggl( \int _{0}^{\infty } \biggl( \int _{\mathrm{S}^{n-1}} \bigl\vert T _{\varOmega }f(r\theta ) \bigr\vert ^{\tilde{p}}\,d\sigma (\theta ) \biggr)^{p/\tilde{p}}r ^{n-1}\,dr \biggr)^{1/p} \\ &\quad = \frac{\pi }{2} \biggl( \int _{0}^{\infty } \biggl( \int _{\mathrm{S}^{n-1}} \biggl\vert \int _{\mathrm{S}^{n-1}}\varOmega (w)\mathcal{H}_{w} f(r\theta )\,d\sigma (w) \biggr\vert ^{\tilde{p}}\,d\sigma (\theta ) \biggr)^{p/\tilde{p}}r^{n-1}\,dr \biggr)^{1/p} \\ &\quad \leq \frac{\pi }{2} \biggl( \int _{0}^{\infty } \biggl( \int _{\mathrm{S}^{n-1}} \bigl\vert \varOmega (w) \bigr\vert \biggl( \int _{\mathrm{S}^{n-1}} \bigl\vert \mathcal{H}_{w} f(r \theta ) \bigr\vert ^{ \tilde{p}}\,d\sigma (\theta ) \biggr)^{1/\tilde{p}} \,d\sigma (w) \biggr)^{p}r ^{n-1}\,dr \biggr)^{1/p} \\ &\quad \leq \frac{\pi }{2} \int _{\mathrm{S}^{n-1}} \bigl\vert \varOmega (w) \bigr\vert \biggl( \int _{0}^{ \infty } \biggl( \int _{\mathrm{S}^{n-1}} \bigl\vert \mathcal{H}_{w} f(r \theta ) \bigr\vert ^{ \tilde{p}}\,d\sigma (\theta ) \biggr)^{p/\tilde{p}}r^{n-1} \,dr \biggr)^{1/p}\,d\sigma (w) \\ &\quad \leq C_{p,\tilde{p}} \Vert \varOmega \Vert _{L^{1}(\mathrm{S}^{n-1})} \Vert f \Vert _{L_{ \vert x \vert } ^{p}L_{\theta }^{\tilde{p}}(\mathbb{R}^{n})} \end{aligned}$$

if \(1<\tilde{p}\leq p<{\tilde{p}n}/{(n-1)}\) or \({\tilde{p}n}/{( \tilde{p}+n-1)}< p\leq \tilde{p}<\infty \). This finishes the proof of Theorem 1.3. □

Proof of Theorem 1.1

We first prove that the conclusions of Theorem 1.1 hold for \(T_{\varOmega }\) if Ω is an even function and \(\varOmega \in L\log L(\mathrm{S}^{n-1})\) satisfies (1.2). By [33, Proposition 4.1.16], we obtain

$$ T_{\varOmega }=-\sum_{j=1}^{n} \mathcal{R}_{j}\mathcal{R}_{j}T_{ \varOmega }, $$
(2.5)

where \(\mathcal{R}_{j}\) is the jth Riesz transform defined by (1.9). Let \(T_{j}=\mathcal{R}_{j}T_{\varOmega }\). Fix \(1\leq j\leq n\). By the idea in Grafakos’s book [33, pp. 274–278], we see that there exists an odd integrable kernel \(\varOmega _{j}\) such that

$$ T_{j}=T_{\varOmega _{j}}. $$
(2.6)

We get from (2.5) and (2.6)

$$ T_{\varOmega }=-\sum_{j=1}^{n}R_{j}T_{\varOmega _{j}}. $$
(2.7)

Then (1.5)–(1.7) follow easily from Theorem 1.3 and (2.7).

Let Ω be given as in Theorem 1.1. We can simply write \(\varOmega =\varOmega _{e}+\varOmega _{o}\), where \(\varOmega _{e}(x)=\frac{\varOmega (x) +\varOmega (-x)}{2}\) and \(\varOmega _{o}(x)=\frac{\varOmega (x)-\varOmega (-x)}{2}\). Then \(T_{\varOmega }\) can be written as \(T_{\varOmega }=T_{\varOmega _{e}}+T _{\varOmega _{o}}\). One can easily check that \(\varOmega _{e}\) is even and \(\varOmega _{e}\in L\log L(\mathrm{S}^{n-1})\) satisfies (1.2). \(\varOmega _{o}\) is odd and \(\varOmega _{o}\in L^{1}(\mathrm{S}^{n-1})\). Applying the proved claim for \(T_{\varOmega }\) with even kernel Ω and Theorem 1.3, we get (1.5)–(1.7). □

References

  1. 1.

    Calderón, A.P., Zygmund, A.: On the existence of certain singular integrals. Acta Math. 88, 85–139 (1952)

  2. 2.

    Calderón, A.P., Zygmund, A.: On singular integral. Am. J. Math. 78, 289–309 (1956)

  3. 3.

    Coifman, R.R., Weiss, G.: Extensions of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83, 569–645 (1977)

  4. 4.

    Connett, W.C.: Singular integrals near \(L^{1}\). In: Harmonic Analysis in Euclidean Spaces (Proc. Sympos. Pure Math., Williams Coll., Williamstown, Mass., 1978), Part 1, pp. 163–165. Am. Math. Soc., Providence (1979)

  5. 5.

    Seeger, A.: Singular integral operators with rough convolution kernels. J. Am. Math. Soc. 9, 95–105 (1996)

  6. 6.

    Tao, T.: The weak type \((1, 1)\) of \(L\log L\) homogeneous convolution operators. Indiana Univ. Math. J. 48, 1547–1584 (1999)

  7. 7.

    Liu, F.: Rough singular integrals associated to surfaces of revolution on Triebel–Lizorkin spaces. Rocky Mt. J. Math. 47(5), 1617–1653 (2017)

  8. 8.

    Liu, F.: Boundedness and continuity of maximal operators associated to polynomial compound curves on Triebel–Lizorkin spaces. Math. Inequal. Appl. 22(1), 25–44 (2019)

  9. 9.

    Liu, F.: A note on Marcinkiewicz integrals associated to surfaces of revolution. J. Aust. Math. Soc. 104, 380–402 (2018)

  10. 10.

    Liu, F., Mao, S., Wu, H.: On rough singular integrals related to homogeneous mappings. Collect. Math. 67(1), 113–132 (2016)

  11. 11.

    Fan, D., Pan, Y.: Singular integral operators with rough kernels supported by subvarieties. Am. J. Math. 119(4), 799–839 (1997)

  12. 12.

    Liu, F.: Integral operators of Marcinkiewicz type on Triebel–Lizorkin spaces. Math. Nachr. 290(1), 75–96 (2017)

  13. 13.

    Liu, F., Wu, H.: Singular integrals related to homogeneous mappings in Triebel–Lizorkin spaces. J. Math. Inequal. 11(4), 1075–1097 (2017)

  14. 14.

    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)

  15. 15.

    Liu, F., Xue, Q., Yabuta, K.: Boundedness and continuity of maximal singular integrals and maximal functions on Triebel–Lizorkin spaces. Sci. China Math. To appear. https://doi.org/10.1007/s11425-017-9416-5

  16. 16.

    Cho, Y., Ozawa, T.: Sobolev inequalities with symmetry. Commun. Contemp. Math. 11(3), 355–365 (2009)

  17. 17.

    D’Ancona, P., Cacciafesta, F.: Endpoint estimates and global existence for the nonlinear Dirac equation with potential. J. Differ. Equ. 254(5), 2233–2260 (2013)

  18. 18.

    Xi, S., Zhu, S.: Blow-up criterion for the 3D non-resistive compressible magnetohydrodynamic equations. J. Dyn. Differ. Equ. To appear. https://doi.org/10.1007/s10884-019-09756-z

  19. 19.

    Wang, J., Cheng, H., Liu, H., Wang, Y.: Periodic solution and control optimization of a prey-predator model with two types of harvesting. Adv. Differ. Equ. 2018(41), 1 (2018)

  20. 20.

    Liu, F.: On the Triebel–Lizorkin space boundedness of Marcinkiewicz integrals along compound surfaces. Math. Inequal. Appl. 20(2), 515–535 (2017)

  21. 21.

    Liu, F.: Rough maximal functions supported by subvarieties on Triebel–Lizorkin spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 112(2), 593–614 (2018)

  22. 22.

    Lucà, R.: Regularity criteria with angular integrability for the Navier–Stokes equation. Nonlinear Anal. 105, 24–40 (2014)

  23. 23.

    Liu, F.: Boundedness and continuity of maximal operators associated to polynomial compound curves on Triebel–Lizorkin spaces. Math. Inequal. Appl. 22(1), 25–44 (2019)

  24. 24.

    Liu, F., Fu, Z., Jhang, S.: Boundedness and continuity of Marcinkiewicz integrals associated to homogeneous mappings on Triebel–Lizorkin spaces. Front. Math. China 14(1), 95–122 (2019)

  25. 25.

    Machihara, S., Nakamura, M., Nakanishi, K., Ozawa, T.: Endpoint Strichartz estimates and global solutions for the nonlinear Dirac equation. J. Funct. Anal. 219(1), 1–20 (2005)

  26. 26.

    Ozawa, T., Rogers, K.M.: Sharp Morawetz estimates. J. Anal. Math. 121, 163–175 (2013)

  27. 27.

    Sterbenz, J.: Angular regularity and Strichatz estimates for the wave equation. Int. Math. Res. Not. 4(5), 187–231 (2005)

  28. 28.

    Tao, T.: Spherically averaged endpoint Strichartz estimates for the two-dimensional Schrödinger equation. Commun. Partial Differ. Equ. 25(7–8), 1471–1485 (2000)

  29. 29.

    Córdoba, A.: Singular integrals, maximal functions and Fourier restriction to spheres: the disk multiplier revisited. Adv. Math. 290, 208–235 (2016)

  30. 30.

    D’Ancona, P., Lucà, R.: On the regularity set and angular integrability for the Navier–Stokes equation. Arch. Ration. Mech. Anal. 221, 1255–1284 (2016)

  31. 31.

    Cacciafesta, F., Lucà, R.: Singular integrals with angular integrability. Proc. Am. Math. Soc. 144(8), 3413–3418 (2016)

  32. 32.

    Carbery, A., Hernández, E., Soria, F.: The behaviour on radial functions of maximal operators along arbitrary directions and the Kakeya maximal operator. Tohoku Math. J. (2) 41(4), 647–656 (1989)

  33. 33.

    Grafakos, L.: Classical Fourier Analysis, 2nd edn. Prentice Hall, Upper Saddle River (2003)

Download references

Author information

The author was the only one to work in drafting and approving the final manuscript.

Correspondence to Feng Liu.

Ethics declarations

Competing interests

The author declares to have no competing interests.

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 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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Liu, F. A note on singular integrals with angular integrability. J Inequal Appl 2019, 261 (2019) doi:10.1186/s13660-019-2214-4

Download citation

MSC

  • 42B20
  • 42B25

Keywords

  • Singular integrals
  • Rough kernels
  • Directional Hilbert transforms
  • Riesz transforms
  • Mixed radial-angular spaces