Boundedness of Homogeneous Rough Operators

• Homogeneous rough operators are singular integrals with kernels of the form Ω(x')/|x|^n, studied for L^p boundedness using cancellation and integrability conditions.
• Key techniques include sparse domination and weighted inequalities, which extend classical Calderón–Zygmund theory to non-smooth and multilinear settings.
• Recent advances explore higher-order commutators and fractional extensions, providing sharp criteria in function spaces such as Morrey, Herz, and Sobolev spaces.

A homogeneous rough operator is typically a singular (or fractional) integral operator whose kernel is of the form $\Omega(x')/|x|^{n}$ (or, more generally, with non-integer exponents and corresponding fractional-type decay), where $\Omega$ is homogeneous of degree zero, often only integrable or in a weak $L^q$ space on the unit sphere. The study of $L^p$-boundedness and related regularity properties of such operators, especially in the absence of any smoothness or even continuity of $\Omega$, is a central topic in modern harmonic analysis. The theory has become highly nuanced with advances in sparse domination, weighted inequalities, commutators, and extensions to non-Euclidean settings.

1. Fundamental Definitions and General Properties

Let $\Omega: \mathbb{R}^n\setminus\{0\}\to \mathbb{C}$ be homogeneous of degree zero, often with cancellation conditions of prescribed order $k$: $$\int_{S^{n-1}} \Omega(\theta) \, d\theta = 0 \quad \text{and} \quad \int_{S^{n-1}} \Omega(\theta)\theta^\alpha \, d\theta = 0,~|\alpha|=k,$$ where $S^{n-1}$ denotes the unit sphere. The rough homogeneous singular integral operator is then

$$T_\Omega f(x) = \mathrm{p.v.} \int_{\mathbb{R}^n} \frac{\Omega(y')}{|y|^n} f(x-y) dy, \quad y'=\frac{y}{|y|}.$$

In the fractional case ($0<\alpha<n$),

$$T_{\Omega,\alpha} f(x) = \int_{\mathbb{R}^n} \frac{\Omega(y')}{|y|^{n-\alpha}} f(x-y) dy,$$

understood as a principal value when $\alpha\ge1$.

Key properties:

• Boundedness range: For $L^p$-boundedness, integrability and cancellation of $\Omega$ are crucial, but the optimal space for $\Omega$ depends on the endpoint in question (Bhojak, 2023).
• Lack of regularity: When $\Omega$ is merely in $L^q(S^{n-1}), q>1$, sharp results require careful analysis beyond classical Calderón–Zygmund theory.

2. $L^p$ Boundedness Theorems for Scalar Operators

Classical Results

If $\Omega\in L\log L(S^{n-1})$ and $\int_{S^{n-1}}\Omega=0$, Calderón–Zygmund theory gives $L^p$-boundedness ($1<p<\infty$) for $T_\Omega$ (Bhojak, 2023). However, the sharp weak-type $(1,1)$ boundedness requires: $$\int_{S^{n-1}} |\Omega(\theta)| \log(2+|\Omega(\theta)|) \, d\theta < \infty~\Rightarrow~ T_\Omega:L^1\to L^{1,\infty}.$$ No strictly larger Orlicz space can replace the $L\log L$ norm for weak-type $(1,1)$ boundedness, even assuming $L^2$ boundedness (Bhojak, 2023).

Higher-Order Commutators and Calderón Commutators

For the $k$-th order Calderón commutator,

$$T_{\Omega,a;k}f(x) = \mathrm{p.v.}\int_{\R^d}\frac{\Omega(x-y)}{|x-y|^{d+k}(a(x)-a(y))^k}f(y)dy,$$

with $\Omega$ having vanishing moments of order $k$ and $a$ Lipschitz, boundedness is governed by the class $GSB_\beta(S^{d-1})$: $$\sup_{\zeta\in S^{d-1}} \int_{S^{d-1}} |\Omega(\theta)| \log^{\beta} \left(\frac{1}{|\theta\cdot\zeta|}\right) d\theta < \infty.$$ If $\beta>1$, then for $\frac{2\beta}{2\beta-1}<p<2\beta$, one has $$T_{\Omega,a;k}:L^p(\mathbb{R}^d)\to L^p(\mathbb{R}^d)$$ bounded (Chen et al., 2022). This fully characterizes the $L^p$ mapping range for this rough commutator under the given kernel integrability.

Weighted and Vector-Valued Extensions

For operators $T_\Omega$ with $\Omega\in L^q(S^{n-1}),~1<q\le\infty$, boundedness extends to weighted Morrey spaces $L^{p,\kappa}(w)$ for $q'<p<\infty,~0<\kappa<1$, and $w\in A_{p/q'}$ (Wang, 2010). Commutator operators with BMO-symbols are also bounded under the same scale (Wang, 2010).

3. Multilinear and Fractional Rough Operators

Multilinear analogues are studied for kernels on $(\mathbb{R}^n)^m\setminus\{0\}$,

$$\mathcal{L}_\Omega(f_1,\dots,f_m)(x) = \mathrm{p.v.}\int_{(\mathbb{R}^n)^m} \frac{\Omega(y')}{|y|^{mn}} \prod_{j=1}^m f_j(x-y_j) \, dy_1\cdots dy_m,$$

with $y' = y/|y|\in S^{mn-1}$ and $\Omega\in L^q(S^{mn-1})$, $q\ge2$, $\int_{S^{mn-1}}\Omega=0$ (Grafakos et al., 2022).

The $L^{p_1}\times\cdots\times L^{p_m}\to L^p$, $1/p=\sum 1/p_i$, boundedness holds if exponents $(1/p_1, ..., 1/p_m)$ lie in a sharp open convex polyhedron $H^m(1/q')$ determined by inequalities: $$\sum_{j\in J}1/p_j > |J|-(1-1/q'), \quad \forall J\subset\{1,...,m\},~|J|\ge2,$$ and is sharp (Grafakos et al., 2022). For multilinear fractional integral and maximal operators with rough kernels, sharp mixed $A_{(\vec p,q)}$-$A_\infty$ weighted estimates are established (Mei et al., 2013).

4. Boundedness on Non-Euclidean Groups and Function Spaces

On homogeneous groups or the Heisenberg group, rough singular and fractional integrals with homogeneous rough kernels $\Omega$ admit analogous boundedness results with respect to central Morrey, Herz, and Morrey–Herz spaces. The homogeneity and cancellation structure of $\Omega$ are adapted via appropriate polynomials or means over homogeneous spheres (Chen et al., 2020, Chuong et al., 2018, Chuong et al., 2018).

Weighted Norm Inequalities

For fractional maximal integrals $T_{\Omega,\alpha}^\#$ on homogeneous groups:

• For $0<\alpha<Q$ ($Q$: homogeneous dimension), $\Omega\in L^1(\Sigma)$ satisfies cancellation of order $[\alpha]$,

$$\|T_{\Omega,\alpha}^\# f\|_{L^p(\mathbb{H})} \lesssim \|\Omega\|_{L^1(\Sigma)} \|f\|_{L^p_\alpha(\mathbb{H})},~1<p<\infty.$$

If additionally $\Omega\in L^q(\Sigma), q>Q/\alpha$, $w\in A_p$, then

$$\|T_{\Omega,\alpha}^\# f\|_{L^p(w)} \lesssim \|\Omega\|_{L^q(\Sigma)} \{w\}_{A_p} (w)_{A_p} \|f\|_{L^p_\alpha(w)}.$$

(Chen et al., 2020). Similar sharp norm criteria and necessity/sufficiency results for weighted and block-type spaces are provided for the rough Hausdorff and commutator operators (Chuong et al., 2018, Chuong et al., 2018).

5. Recent Developments: Sparse Domination and Sobolev Mappings

A powerful advance is the sparse domination principle for rough operators, allowing control by positive sparse operators whose norm and mapping properties are well understood. For rough fractional integrals $T_{\Omega,\alpha}$,

$$|T_{\Omega,\alpha} f(x)| \le C\sum_{k=1}^N \mathcal{I}^k_{\alpha,\Omega}(|\nabla f|)(x),$$

where $\mathcal{I}^k_{\alpha,\Omega}$ are sparse Riesz-like potentials (Hoang et al., 2024). This yields, for $\Omega\in L^r(S^{n-1})$, $1

$$T_{\Omega,\alpha}: \dot{W}^{1,p}(\mathbb{R}^n) \to L^q(\mathbb{R}^n),$$

whenever $1<p<n/\alpha$ and $1/q=1/p-\alpha/n$, and the result is extended, via weak-type and endpoint results, to nearly optimal Hypersingular and Lorentz classes. The framework covers non-smooth, even Lorentz–critical and $L^1(\log L)^7(S^{n-1})$ kernels, and provides pointwise and weighted norm inequalities (Hoang et al., 2024).

6. Commutators and Operator Extensions

Higher order commutators of rough (possibly multilinear) integral operators with functions in $\mathrm{BMO}$, Lipschitz, or central $\mathrm{BMO}$ yield bounded operators on Morrey and Herz–type spaces under the respective kernel integrability and cancellation, with norm estimates scaling as products of the symbol and kernel norms (Wang, 2010, Chuong et al., 2018, Sha, 2011).

For the rough Calderón commutator, compactness and endpoint boundedness of higher order commutators remain open questions, as do sharp endpoint estimates for $p=2\beta$ in the $GSB_\beta$ class (Chen et al., 2022).

7. Open Problems and Further Directions

The necessity and minimality of the $GSB_\beta$ logarithmic condition in Calderón commutator theory, sharp endpoint mappings for multilinear rough operators, and extensions to vector-valued and extrapolation estimates remain active research areas (Chen et al., 2022, Grafakos et al., 2022). The self-improvement of sparse bounds, connections to non-commutative and non-Euclidean frameworks, and endpoint Sobolev inequalities for non-integrable kernels are also important ongoing directions (Hoang et al., 2024).

---

Table: Main $L^p$ Boundedness Results for Homogeneous Rough Operators

Operator/Class	Kernel $\Omega$ Condition	Boundedness Statement and Range
Scalar $T_\Omega$	$\Omega\in L \log L(S^{n-1})$, mean-zero	$L^p$-bounded on $1<p<\infty$ (Bhojak, 2023)
Calderón commutator $T_{\Omega,a;k}$	$\Omega\in GSB_\beta$, $\beta>1$	$L^p$, $\frac{2\beta}{2\beta-1}<p<2\beta$ (Chen et al., 2022)
Maximal, Marcinkiewicz on Morrey	$\Omega\in L^q$, mean-zero, $1<q<\infty$	$L^{p,\kappa}(w)$, $q'<p<\infty$, $w\in A_{p/q'}$ (Wang, 2010)
Multilinear $L_\Omega$	$\Omega\in L^{q}(S^{mn-1})$, $q\ge 2$	$L^{p_1}\times\cdots\times L^{p_m}\to L^p$, $(1/p_i)\in H^m(1/q')$ (Grafakos et al., 2022)
Fractional $T_{\Omega,\alpha}$	$\Omega\in L^r(S^{n-1}),~r>1$	$$T_{\Omega,\alpha}:\dot{W}^{1,p}\to L^q,~1<p<n/\alpha$$ (Hoang et al., 2024)
Fractional on Homogeneous Group	$\Omega\in L^1(\Sigma)$, cancellation	$$T_{\Omega,\alpha}^\#:L^p_\alpha(\mathbb{H})\to L^p(\mathbb{H}),~1<p<\infty$$ (Chen et al., 2020)

---

• "L^p(\mathbb{R}^d) boundedness for the Calderón commutator with rough kernel" (Chen et al., 2022)
• "Multilinear rough singular integral operators" (Grafakos et al., 2022)
• "On Sharpness of $L\log L$ Criterion for Weak Type $(1,1)$ boundedness of rough operators" (Bhojak, 2023)
• "The boundedness of some operators with rough kernel on the weighted Morrey spaces" (Wang, 2010)
• "Estimates for rough Fourier integral and pseudodifferential operators..." (Rodríguez-López et al., 2013)
• "New pointwise bounds by Riesz potential type operators" (Hoang et al., 2024)
• "Sharp Weighted Bounds for Multilinear fractional Maximal type Operators with Rough Kernels" (Mei et al., 2013)
• "Weighted norm inequalities for rough Hausdorff operator..." (Chuong et al., 2018)
• "$L^{p}$ estimates and weighted estimates of fractional maximal rough singular integrals..." (Chen et al., 2020)
• "The Boundedness of Multilinear operators with rough kernel on the weighted Morrey spaces" (Sha, 2011)
• "Weighted Morrey-Herz space estimates for rough Hausdorff operator..." (Chuong et al., 2018)