Abstract
In this work, we obtain appropriate sharp bounds for a certain class of maximal operators along surfaces of revolution with kernels in \(L^{q}(\mathbf{S}^{n-1})\), \(q > 1\). By using these bounds and using an extrapolation argument, we establish the \(L^{p}\) boundedness of the maximal operators when their kernels are in \(L(\log L)^{\alpha}(\mathbf{S}^{n-1})\) or in the block space \(B^{0,\alpha-1}_{q} (\mathbf{S}^{n-1})\). Our main results represent significant improvements as well as natural extensions of what was known previously.
Similar content being viewed by others
1 Introduction and main results
Throughout this article, let \(\mathbf{R}^{n}\), \(n\geq2\), be the n-dimensional Euclidean space and \(\mathbf{S}^{n-1}\) be the unit sphere in \(\mathbf{R}^{n}\) equipped with the normalized Lebesgue surface measure \(d\sigma= d\sigma(\cdot)\). Also, let \(x^{\prime}= x/|x|\) for \(x\in\mathbf{R} ^{n} \setminus\{0\}\) and \(p^{\prime}\) denote the exponent conjugate to p; that is, \(1/p+1/p'=1\).
Let \(K_{\varOmega,h}(y)=\varOmega(y)h( \vert y \vert ) \vert y \vert ^{-n}\), where \(h:[0,\infty)\rightarrow\mathbf{C}\) is a measurable function and Ω is a homogeneous function of degree zero on \(\mathbf{R}^{n}\) that is integrable on \(\mathbf{S}^{n-1}\) and satisfies the cancelation property
For \(1\leq\gamma<\infty\), define \(\mathfrak{L}^{\gamma}(\textbf{R}^{+})\) to be the set of all measurable functions \(h:\textbf{R}^{+}\rightarrow\textbf{R}\) that satisfy the condition \(\Vert h \Vert _{L^{\gamma}( \mathbf{R} ^{+},\frac{dr}{r})}= (\int_{0}^{\infty} \vert h(r) \vert ^{\gamma}\,\frac{dr}{r} )^{1/\gamma}\leq1 \), and define \(\mathfrak{L}^{\infty}(\textbf{R}^{+})={L^{\infty}( \mathbf{R} ^{+},\frac{dr}{r})}\).
For a suitable mapping \(\phi: \textbf{R}^{+}\rightarrow\textbf{R}\), we define the maximal operator \(\mathcal{M}_{P,\varOmega, \phi}^{(\gamma)}\) for \(f \in\mathcal{S}(\mathbf{R} ^{n+1})\) by
where \(P:\textbf{R}^{n}\rightarrow\textbf{R}\) is a real-valued polynomial.
When \(P(y)=0\), we denote \(\mathcal{M}_{P,\varOmega, \phi}^{(\gamma)}\) by \(\mathcal{M}_{\varOmega, \phi}^{(\gamma)}\). Also, when \(\phi(t)=t\), we denote \(\mathcal{M}_{\varOmega, \phi}^{(\gamma)}\) by \(\mathcal{M}_{\varOmega}^{(\gamma)}\) which is the classical maximal operator that was introduced by Chen and Lim in [17]. The authors of [17] proved that when \(\varOmega\in\mathcal{C( \mathbf{S}}^{n-1}\mathcal{)}\) and \(h\in\mathfrak{L}^{\gamma}( \mathbf{R} ^{+} )\) for some \(1\leq\gamma\leq2\), then the \(L^{p}\) boundedness of \(\mathcal{M}_{\varOmega}^{(\gamma)}\) is satisfied for \((n\gamma)'< p<\infty\). This result was improved by Al-Salman in [10]; he established the \(L^{p}(\mathbf{ \mathbf{R} }^{n})\) boundedness of \(\mathcal{M}_{\varOmega}^{(2)}\) for all \(p\geq 2\) provided that \(\varOmega\in L(\log L)^{1/2}(\mathcal{\mathbf{S}}^{n-1})\). Moreover, he pointed out that the condition \(\varOmega\in L(\log L)^{1/2}(\mathcal{\mathbf{S}}^{n-1})\) is optimal in the sense that \(1/2\) in \(L(\log L)^{1/2}(\mathcal{\mathbf{S}}^{n-1})\) cannot be replaced by any smaller positive number. In addition, the last result was generalized by Al-Qassem (see [4, Theorem 1.5]). Indeed, he verified that \(\mathcal{M}_{\varOmega}^{(\gamma)}\) is bounded on \(L^{p}(\mathcal{\mathbf{R}}^{n})\) for all \(p\geq\gamma'\) and \(1<\gamma\leq2\) under the condition \(\varOmega\in L(\log L)^{1/{\gamma'}}(\mathcal{\mathbf{S}}^{n-1})\). Later on, Al-Qassem in [4] improved the above results. Precisely, he obtained that if \(h\in\mathfrak{L}^{\gamma}(\textbf{R}^{+})\) for some \(1\leq\gamma\leq2\), \(\varOmega\in L(\log L)^{1/\gamma'}(\mathcal{\mathbf{S}}^{n-1})\); and ϕ is \(C^{2}([0,\infty))\), convex and increasing function with \(\phi(0)=0\), then \(\mathcal{M}_{\varOmega, \phi}^{(\gamma)}\) is bounded on \(L^{p}(\mathbf{ \mathbf{R} }^{n+1})\) for any \(\gamma'\leq p<\infty\) with \(1<\gamma\leq2\); and it is bounded on \(L^{\infty}(\mathbf{ \mathbf{R} }^{n+1})\) for \(\gamma=1\). On the other hand, when Ω belongs to the block spaces \(B_{q}^{(0,-1/2)}(\mathbf{S}^{n-1})\) for some \(q>1\), then the author of [3] showed that \(\mathcal{M}_{\varOmega}^{(2)}\) is bounded on \(L^{p}(\mathbf{ \mathbf{R} }^{n})\) for all \(p\geq2\). Furthermore, he found Ω which lies in \(B_{q}^{(0,-1/2-\varepsilon)}(\mathbf{S}^{n-1})\) for all \(\varepsilon >0\) such that \(\mathcal{M}_{\varOmega}^{(2)}\) in not bounded on \(L^{2}(\mathcal{\mathbf{R}}^{n})\). Subsequently, the study of the \(L^{p}\) boundedness of \(\mathcal{M}_{\varOmega}^{(\gamma)}\) under various conditions on the function has been performed by many authors. The readers can see [9, 12, 20, 21, 23,24,25], and [28] for the significance of considering integral operators with oscillating kernels.
We point out that the study the maximal operator \(\mathcal{M}_{P,\varOmega, \phi}^{(\gamma)}\) was initiated by Al-Salman in his work in [11]. In fact, he investigated the \(L^{p}\) (\(p\geq2\)) boundedness of \(\mathcal{M}_{P,\varOmega, t}^{(2)}\) under the condition \(\varOmega\in L(\log L)^{1/2}(\mathcal{ \mathbf{S}}^{n-1})\cup B_{q}^{(0,-1/2)}( \mathcal{\mathbf{S}}^{n-1})\) for some \(q>1\). For more information about the importance and the recent advances on the study of such operators, the readers are referred to [1, 2, 5, 27], and the references therein.
In view of the results in [4] as well as the results in [11], it is natural to ask whether the parametric maximal operator \(\mathcal{M}_{P,\varOmega ,\phi}^{(\gamma)}\) is bounded on \(L^{p}( \mathbf{R} ^{n+1})\) under weak conditions on Ω, ϕ, and γ. We shall obtain an answer to this question in the affirmative as described in the next theorem. Precisely, we will establish the following result.
Theorem 1.1
Suppose that \(\varOmega\in L^{q}(\mathbf{S} ^{n-1})\), \(q> 1\), and satisfy condition (1.1) with \(\Vert \varOmega \Vert _{L^{1}(\mathbf{S}^{n-1})}\leq1\). Suppose also that \(\phi:\mathbf{R^{+}}\rightarrow\mathbf{R}\) is in \(C^{2}([0,\infty))\), convex and increasing function with \(\phi(0)=0\). Let \(P:\mathbf{R}^{n}\rightarrow\mathbf{R}\) be a polynomial of degree m and \(\mathcal{M}_{P,\varOmega,\phi}^{(\gamma)}\) be given by (1.2). Then there exists a constant \(C_{p,q}>0\) such that
for \(\gamma'\leq p<\infty\) and \(1<\gamma\leq2\); and
where \(\beta_{\varOmega}=\log(e+ \Vert \varOmega \Vert _{L^{q}(\mathbf{S}^{n-1})})\), \(C_{p,q}=\frac{2^{1/q'}}{2^{1/q'}-1}C_{p}\), and \(C_{p}\) is a positive constant that may depend on the degree of the polynomial P but it is independent of Ω, ϕ, q, and the coefficients of the polynomial P.
By the conclusion from Theorem 1.1 and applying an extrapolation argument (see [8, 11] and [26]), we get the following.
Theorem 1.2
Suppose that Ω is given as in Theorem 1.1 and \(\mathcal{M}_{P,\varOmega,\phi}^{(\gamma)}\) is given by (1.2), where ϕ is in \(C^{2}([0,\infty))\), convex and increasing function with \(\phi(0)=0\). If \(\varOmega\in L(\log L)^{1/\gamma'}(\mathcal{ \mathbf{S}}^{n-1})\cup B_{q}^{(0,-1/\gamma)}( \mathcal{\mathbf{S}}^{n-1})\), then \(\mathcal{M}_{P,\varOmega ,\phi}^{(\gamma)}\) is bounded on \(L^{p}(\textbf{R}^{n+1})\) for \(\gamma'\leq p<\infty\) and \(1<\gamma\leq2\); and it is bounded on \(L^{\infty}(\textbf{R}^{n+1})\) for \(\gamma=1\).
Here and henceforth, the letter C denotes a bounded positive constant that may vary at each occurrence but is independent of the essential variables.
2 Preliminary lemmas
This section is devoted to present and prove some auxiliary lemmas which will be used in the proof of Theorem 1.1. We start with the following lemma which can be derived by applying the arguments (with only minor modifications) used in [11].
Lemma 2.1
Let \(\varOmega\in L^{q}(\mathbf{S}^{n-1})\), \(q> 1\), and satisfy condition (1.1) with \(\Vert \varOmega \Vert _{L^{1}(\mathbf{S}^{n-1})}\leq1\). Assume that \(\phi(\cdot)\) is an arbitrary function on \(\mathbf{R}^{+}\), and assume also that \(P=\sum_{ \vert \alpha \vert \leq m}a_{\alpha}x^{\alpha}\) is a polynomial of degree \(m\geq1\) such that \(\vert x \vert ^{m}\) is not one of its terms and \(\sum_{ \vert \alpha \vert = m} \vert a_{\alpha} \vert =1\). For \(k\in \mathbf{Z} \), define \(\mathcal{J}_{k,\varOmega,\phi}:\mathbf{R} ^{n+1}\rightarrow\mathbf{R} \) by
where
Then a positive constant C exists such that
Proof
On the one hand, it is clear that
Also, it is easy to get that
with \(\frac{d^{m}}{dr^{m}}A_{k}(u,v,r,\xi)=0\). Without loss of generality, we may assume that \(m>1\). Then, we follow the same steps as in [11, (2.9)–(2.12)] to prove that the inequality
holds for some constant \(C>0\). Therefore, combining (2.4) with the trivial estimate (2.3) leads to
□
We shall need the following lemma which can be acquired by using the argument employed in the proof of [14, Lemma 4.7].
Lemma 2.2
Let \(\varOmega\in L^{1}(\mathbf{S}^{n-1})\) be a homogeneous function of degree zero and satisfy condition (1.1). Suppose that \(\phi:\mathbf{R^{+}}\rightarrow \mathbf{R}\) is in \(C^{2}([0,\infty))\), convex and increasing function with \(\phi(0)=0\). Let the maximal function \({{\mathcal{M}}}_{\varOmega,\phi} \) be given by
Then, for \(1< p\leq\infty\), there exists a positive number \(C_{p}\) so that
for every \(f\in L^{p}(\mathbf{ \mathbf{R} }^{n+1})\).
Using a similar argument as in the proof of [4, Theorem 1.6], we obtain the following.
Lemma 2.3
Let \(\varOmega\in L^{q}(\mathbf{S} ^{n-1})\), \(q> 1\), and satisfy condition (1.1) with \(\Vert \varOmega \Vert _{L^{1}(\mathbf{S}^{n-1})}\leq1\). Assume that \(\phi(\cdot)\) is given as in Theorem 1.1. Then there exists a constant \(C_{p,q}>0\) such that
for \(2\leq p<\infty\).
Proof
Since \(L^{q} ( \mathbf{S}^{n-1} ) \subseteq L^{2} ( \mathbf{S}^{n-1} )\) for \(q\geq2\), it is enough to prove this lemma for \(1< q\leq2\). It is clear that
Let \(\{ \varphi_{k} \}_{k\in \mathbf{Z}} \) be a smooth partition of unity in \((0,\infty)\) adapted to \(\mathcal{I}_{k,\beta_{\varOmega}}= [ 2^{-(k+1)\beta _{\varOmega}},2^{-(k-1)\beta_{\varOmega}} ]\). More precisely, we require the following:
Define the multiplier operators \(S_{k}\) in \(\textbf{R}^{n+1}\) by
Hence, for \(f\in\mathcal{S}(\mathbf{R}^{n+1})\), we have
where
By using [4, ineq. (3.10)] together with Lemma 2.2, we get
for some constant \(0<\varepsilon_{p}<1\) and for all \(2\leq p<\infty\). Therefore, by (2.6) and (2.7), we immediately satisfy inequality (2.5) for all \(2\leq p<\infty\). □
3 Proof of the main results
Proof of Theorem 1.1
The proof of Theorem 1.1 mainly depends on the approaches employed in the proof of [11, Theorem 1.1] and [4, Theorem 1.6]. By duality, for \(1<\gamma\leq 2\), we get
which gives
where \(N:L^{p}(\textbf{R}^{n+1})\rightarrow L^{p}(L^{\gamma'}(\textbf{R}^{+},\frac{dr}{r}),\textbf{R}^{n+1})\) is a linear operator defined by
Now if we assume that
for \(2\leq p<\infty\); and
then by applying the interpolation theorem for the Lebesgue mixed normed spaces to the last two inequalities, we directly obtain
for \(\gamma'\leq p<\infty\) with \(1<\gamma\leq2\); and \(\Vert \mathcal{M}_{P,\varOmega, \phi}^{(1)}(f) \Vert _{L^{\infty}(\textbf{R}^{n+1})}\leq C \Vert f \Vert _{L^{\infty}( \mathbf{R} ^{n+1})}\). Thus, to prove our theorem, it is enough to prove it only for the cases \(\gamma=1\) and \(\gamma=2\).
Case 1 (if \(\gamma=1\)). Assume that \(h\in L^{1}(\textbf{R}^{+},\frac{dr}{r})\) and \(f\in L^{\infty}(\textbf{R}^{n+1})\). Then, for all \((x,x_{n+1})\in \textbf{R}^{n}\times\textbf{R}\), we have
Hence, by taking the supremum on both sides over all h with \(\Vert h \Vert _{ L^{1}(\textbf{R}^{+},\frac{dr}{r})}\leq1\), we reach
for almost every where \((x,x_{n+1})\in\textbf{R}^{n+1}\), which implies
Case 2 (if \(\gamma=2\)). We use the induction on the degree of the polynomial P. If the degree of P is 0, then by Lemma 2.3 we get that, for all \(p\geq2\),
Now, assume that (1.3) is satisfied for any polynomial of degree less than or equal to m with \(m\geq1\). We need to show that (1.3) is still true if \(\operatorname{deg}(P)=m+1\). Let
be a polynomial of degree \(m+1\). Without loss of generality, we may assume that \(\sum_{ \vert \gamma \vert =m+1} \vert a_{\gamma} \vert =1\), and also we may assume that P does not contain \(\vert x \vert ^{m+1}\) as one of its terms. Let \(\{ \varphi_{k} \}_{k\in\mathbf{Z}} \) be a collection of \(\mathcal{C}^{\infty}(0,\infty)\) functions satisfying the following conditions:
Define the multiplier operators \(S_{k}\) in \(\textbf{R}^{n+1}\) by
and set
Thanks to Minkowski’s inequality, we have
where
and
Let us first estimate \(L^{p}\)-norm of \(\mathcal{M}^{(2)}_{P,\varOmega ,\phi,\infty}(f)\). Define
Hence, by generalized Minkowski’s inequality, it is easy to show that
If \(p=2\), then by a simple change of variables, Plancherel’s theorem, Fubini’s theorem, and Lemma 2.1, we get that
However, if \(p>2\), then by the duality, there exists \(\varPsi\in L^{(p/2)^{\prime}}( \mathbf{R} ^{n+1})\) with \(\Vert \varPsi \Vert _{L^{(p/2)^{\prime}}( \mathbf{R} ^{n+1})}=1\) such that
So, by Hölder’s inequality and Lemma 2.2, we conclude that
where \(\widetilde{\varPsi}(z,z_{n+1})=\varPsi(-z,-z_{n+1})\). Thus,
which when combined with (3.6) gives that there is \(0<\nu<1\) so that
for all \(p\geq2\). Therefore, by (3.5) and (3.7), we obtain
Now, let us estimate the \(L^{p}\)-norm of \(\mathcal{M}^{(2)}_{P,\varOmega ,\phi,0 }(f)\). Let \(Q(x)=\sum_{ \vert \gamma \vert \leq m}a_{\gamma}x^{\gamma}\). Define \(\mathcal{M}^{(2)}_{Q,\varOmega ,\phi,0 }(f)\) and \(\mathcal{M}^{(2)}_{P,Q,\varOmega,\phi,0 }(f)\) by
Thus, by Minkowski’s inequality, we deduce
On the one hand, since \(\deg(Q)\leq m\), then by our assumption,
for all \(p\geq2\). On the other hand, since we have
then by the Cauchy–Schwarz inequality, we reach that
Hence, by Lemma 2.2, we get that
for all \(p\geq2\). Therefore, by (3.9)–(3.11), we obtain
Consequently, by (3.4), (3.8), and (3.12), we finish the proof of Theorem 1.1. □
Proof of Theorem 1.2
Assume that Ω satisfies condition (1.1). If \(\varOmega\in L(\log L)^{1/\gamma'}(\mathcal{ \mathbf{S}}^{n-1})\) with \(1<\gamma\leq2\), then as in [14], we can decompose Ω as a sum of functions in \(L^{2}(\mathcal{ \mathbf{S}}^{n-1})\). In fact, we have a sequence \(\{\varOmega_{k}:k=0,1,2,\ldots\}\) of functions in \(L^{1}(\mathcal{ \mathbf{S}}^{n-1})\) with
such that
Thus, we get the following:
Since \(\varOmega_{0}\in L^{2}(\mathcal{\mathbf{S}}^{n-1})\), then we have
for \(\gamma'\leq p<\infty\), and since
then by Minkowski’s inequality and (3.13)–(3.15), we deduce that
However, if \(\varOmega\in B_{q}^{(0,-1/\gamma)}( \mathcal{\mathbf{S}}^{n-1})\) with \(q>1\) and \(1<\gamma\leq2\), then
where each \(c_{\mu}\) is a complex number, each \(b_{\mu}\) is a q-block supported in an interval \(I_{\mu}\) on \(( \mathcal{\mathbf{S}}^{n-1})\) and
For each μ, define the blocklike function \(\widetilde{b_{\mu}}\) by
Then it is easy to show that \(\widetilde{b_{\mu}}(x)\) has the following properties:
Without loss of generality, we may assume that \(\vert I_{\mu} \vert <1\). So,
Therefore, by Minkowski’s inequality and the above procedure, we get that
for all \(p\geq\gamma'\). □
4 Further results
In this section, we present some additional results that follow by applying Theorems 1.1 and 1.2. The first result concerns the boundedness of oscillatory singular integrals. More precisely, we deduce the following.
Theorem 4.1
Assume that \(\varOmega\in L(\log L)^{1/\gamma'}(\mathcal{ \mathbf{S}}^{n-1})\cup B_{q}^{(0,-1/\gamma)}( \mathcal{\mathbf{S}}^{n-1})\), \(q>1\) and satisfying condition (1.1). Let \(h\in\mathfrak{L}^{\gamma}( \mathbf{R} ^{+})\) for some \(1<\gamma\leq2\) and ϕ be given as in Theorem 1.1. Then the singular integral operator \(T^{(\gamma)}_{P,\varOmega, h,\phi}\) given by
is bounded on \(L^{p}(\textbf{R}^{n+1})\) for \(1< p<\infty\).
Proof
The proof of this case is reached by using the observation that
In fact, by the last inequality and Theorem 1.2, we obtain that \(T^{(\gamma)}_{P,\varOmega, h,\phi}\) is bounded on \(L^{p}(\textbf{R}^{n+1})\) for \(\gamma'\leq p<\infty\) with \(1<\gamma\leq2\). Furthermore, by a standard duality argument, we satisfy the \(L^{p}\) boundedness of \(T^{(\gamma)}_{P,\varOmega, h,\phi}\) for \(1< p\leq\gamma\) with \(1<\gamma\leq2\). So, if \(\gamma=2\), then we are done. However, if \(1<\gamma<2\), then we apply the real interpolation theorem to attain the \(L^{p}\) boundedness of \(T^{(\gamma)}_{P,\varOmega, h,\phi}\) for (\(\gamma< p<\gamma'\)). This completes the proof. □
The generalized parametric Marcinkiewicz operator related to the operator \(\mathcal{M}_{P,\varOmega, \phi}^{(\gamma)}\) is defined by
As a direct consequence of the notice that
for \(1\leq\gamma\leq2\), it is easy to derive the following result.
Theorem 4.2
Let Ω satisfy condition (1.1) and belong to the space \(L(\log L)^{1/\gamma'}(\mathcal{ \mathbf{S}}^{n-1})\cup B_{q}^{(0,-1/\gamma)}( \mathcal{\mathbf{S}}^{n-1})\) for some \(q>1\) and \(1\leq\gamma\leq2\). Suppose that ϕ and P are given as in Theorem 1.2. Then the parametric Marcinkiewicz operator \({\mu}_{P,\varOmega, \phi}^{(\gamma)}\) is bounded on \(L^{p}(\textbf{R}^{n+1})\) for \(\gamma'\leq p<\infty\) with \(1<\gamma\leq2\); and it is bounded on \(L^{\infty}(\textbf{R}^{n+1})\) for \(\gamma=1\).
We point out that by specializing to the case \(P=0\), \(\gamma=2\) and \(\phi(t)=t\), then the operator \({\mu}_{P,\varOmega, \phi}^{(\gamma)}\) (denoted by \({\mu}_{\varOmega}\)) is just the classical Marcinkiewicz integral operator introduced by Stain in [29] in which he showed that \({\mu}_{\varOmega}\) is of type \((p,p)\) for \(1 < p\leq2\) provided that \(\varOmega\in \mathrm{Lip}_{\alpha}(\mathbf{S}^{n-1})\) for some \(0<\alpha\leq2\). Subsequently, the operator \({\mu}_{\varOmega}\) has been studied by many authors (for instance, see [11, 13, 15, 18], as well as [19] and the references therein). For the significance and recent advances on the study of the generalized parametric Marcinkiewicz operators, we refer the readers to consult [7] and [6] among others.
It is worth mentioning that Theorem 4.1 generalizes the corresponding results in [4, 14, 16], and [22]. However, Theorem 4.2 extends and improves the results found in [11, 13, 19], and [29].
References
Al-Bataineh, H., Ali, M.: Boundedness of maximal operators with mixed homogeneity associated to surfaces of revolution. Int. J. Pure Appl. Math. 119(4), 705–716 (2018)
Al-Dolat, M., Ali, M., Jaradat, I., Al-Zoubi, K.: On the boundedness of a certain class of maximal functions on product spaces and extrapolation. Anal. Math. Phys. (2018). https://doi.org/10.1007/s13324-018-0208-x
Al-Qassem, A., Pan, Y.: Singular integrals along surfaces of revolution with rough kernels. SUT J. Math. 39(1), 55–70 (2003)
Al-Qassem, H.: On the boundedness of maximal operators and singular operators with kernels in \(L(\log L)^{\alpha}(\mathbf{S}^{n-1})\). J. Inequal. Appl. 2006, Article ID 96732 (2006)
Al-Qassem, H.: On rough maximal operators and Marcinkiewicz integrals along submanifolds. Stud. Math. 190(1), 73–98 (2009)
Al-Qassem, H., Cheng, L., Pan, Y.: On rough generalized parametric Marcinkiewicz integrals. J. Math. Inequal. 11(3), 763–780 (2017)
Al-Qassem, H., Cheng, L., Pan, Y.: On generalized Littlewood–Paley functions. Collect. Math. 69(2), 297–314 (2018)
Al-Qassem, H., Pan, Y.: On certain estimates for Marcinkiewicz integrals and extrapolation. Collect. Math. 60(2), 123–145 (2009)
Al-Salman, A.: Rough oscillatory singular integral operators of nonconvolution type. J. Math. Anal. Appl. 299(1), 72–88 (2004)
Al-Salman, A.: On maximal functions with rough kernels in \(L(\log L)^{1/2}(\mathbf{S}^{n-1})\). Collect. Math. 56(1), 47–56 (2005)
Al-Salman, A.: A unifying approach for certain class of maximal functions. J. Inequal. Appl. 2006, Article ID 56272 (2006)
Al-Salman, A., Al-Jarrah, A.: Rough oscillatory singular integral operators. II. Turk. J. Math. 27(4), 565–579 (2003)
Al-Salman, A., Al-Qassem, H., Cheng, L., Pan, Y.: \(L^{p}\) bounds for the function of Marcinkiewicz. Math. Res. Lett. 9, 697–700 (2002)
Al-Salman, A., Pan, Y.: Singular integrals with rough kernels in \(L \log^{+} L (S^{n-1})\). J. Lond. Math. Soc. 66(2), 153–174 (2002)
Benedek, A., Calderón, A., Panzone, R.: Convolution operators on Banach space valued functions. Proc. Natl. Acad. Sci. USA 48, 356–365 (1962)
Calderón, A., Zygmund, A.: On singular integrals. Am. J. Math. 78(1), 289–309 (1956)
Chen, L., Lim, H.: A maximal operator related to a class of singular integral. Ill. J. Math. 34(1), 120–126 (1990)
Ding, Y., Fan, D., Pan, Y.: \(L^{p}\)-boundedness of Marcinkiewicz integrals with Hardy space function kernels. Acta Math. Sin. 44(3), 527–534 (2001)
Ding, Y., Lu, S., Yabuta, K.: A problem on rough parametric Marcinkiewicz functions. J. Aust. Math. Soc. 72, 13–21 (2002)
Fan, D., Pan, Y.: Boundedness of certain oscillatory singular integrals. Stud. Math. 114(2), 105–116 (1995)
Jiang, Y., Lu, S.: Oscillatory singular integrals with rough kernel. In: Cheng, M.D., Deng, D.G., Gong, S., Yang, C.-C. (eds.) Harmonic Analysis in China. Math. Appl., vol. 327, pp. 135–145. Kluwer Academic, Dordrecht (1995)
Kim, W., Wainger, S., Wright, J., Ziesler, S.: Singular integrals and maximal functions associated to surfaces of revolution. Bull. Lond. Math. Soc. 28(3), 291–296 (1996)
Lu, S., Zhang, Y.: Criterion on \(L^{p}\)-boundedness for a class of oscillatory singular integrals with rough kernels. Rev. Mat. Iberoam. 8(2), 201–219 (1992)
Pan, Y.: \(L^{2}\) estimates for convolution operators with oscillating kernels. Math. Proc. Camb. Philos. Soc. 113(1), 179–193 (1993)
Ricci, F., Stein, E.M.: Harmonic analysis on nilpotent groups and singular integrals. I. Oscillatory integrals. J. Funct. Anal. 73(1), 179–194 (1987)
Sato, S.: Estimates for singular integrals and extrapolation. arXiv:0704.1537v1
Shakkah, G., Al-Salman, A.: A class of parabolic maximal functions. Commun. Math. Anal. 19(2), 1938–9787 (2016)
Sjolin, P.: Convolution with oscillating kernels. Indiana Univ. Math. J. 30(1), 47–55 (1981)
Stein, E.: On the functions of Littlewood–Paley, Lusin and Marcinkiewicz. Trans. Am. Math. Soc. 88, 430–466 (1958)
Acknowledgements
The authors would like to thank Dr. Al-Qassem for his suggestions and comments on this work.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they 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.
About this article
Cite this article
Ali, M., Al-mohammed, O. Boundedness of a class of rough maximal functions. J Inequal Appl 2018, 305 (2018). https://doi.org/10.1186/s13660-018-1900-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1900-y