Endpoint and Interpolation Estimates for Higher-Order Commutators of Rough Fractional Maximal Operators with Variable Kernels on Variable Exponent Morrey Spaces

Abstract: This paper investigates the higher-order commutators generated by fractional maximal operators with rough, spatially dependent kernels in the framework of variable exponent Morrey spaces. Under minimal log-Hölder continuity assumptions on the variable exponent profiles and suitable geometric constraints on the Morrey-type weights, we establish comprehensive strong interior boundedness results between the appropriate spaces. We further analyze the critical endpoint boundary configurations where classical strong-type boundedness fails due to Luxemburg norm blow-up, proving that a corresponding sharp weak-type estimate remains structurally valid and revealing the underlying transitions between different boundedness regimes. In addition, an abstract real interpolation framework of Grafakos--Martell type is developed to bridge these endpoint and interior strong estimates, thereby recovering a full continuous scale of intermediate regularity properties. These results extend the classical harmonic analysis scheme to a broader nonhomogeneous setting and provide new insights into the continuous interplay between rough kernels, variable exponents, and local weighted growth conditions.

• The paper establishes rigorous strong-type and sharp endpoint weak-type boundedness results for m-th order commutators of rough fractional maximal operators.
• It employs dyadic decomposition, variable-Hölder inequalities, and interpolation techniques to address challenges from spatially variable kernels and exponents.
• The results extend classical Morrey bounds to variable settings, offering new insights for regularity theory in advanced PDE models.

Endpoint and Interpolation Estimates for Higher-Order Commutators of Rough Fractional Maximal Operators with Variable Kernels on Variable Exponent Morrey Spaces

Introduction and Context

This paper (2607.04533) develops a rigorous analysis of higher-order commutators of rough fractional maximal operators with spatially dependent (variable) kernels within the framework of variable exponent Morrey spaces. These spaces interpolate between variable exponent Lebesgue spaces and classical Morrey spaces, providing fine control over both local and global integrability, and modeling highly inhomogeneous environments and nonstandard growth phenomena typical in modern PDE theory and harmonic analysis.

The study is motivated by several structural and technical challenges:

• Variable exponent Morrey spaces combine geometric local averaging (Morrey-type control) with spatially varying integrability conditions, offering maximal adaptability for modeling nonhomogeneous phenomena.
• Fractional maximal operators with rough, variable kernels break translation invariance and introduce severe regularity and cancellation issues due to minimal integrability/smoothness assumptions on the kernel and spatial dependence in both the operator and the exponent.
• Higher-order commutators with Lipschitz symbols amplify the underlying cancellation and oscillation mechanisms, making standard Calderón–Zygmund and Fourier analytic methods inapplicable.
• Endpoint and interpolation theory must be adapted to handle the blow-up of Luxemburg norms and the loss of reflexivity in variable exponent geometries at critical indices.

The author addresses these challenges by establishing both strong-type and sharp endpoint weak-type boundedness results for higher-order commutators, and by developing a real interpolation framework connecting these operational regimes. The study explicitly handles the interplay between fractional power effects, spherical kernel irregularity, spatial variability, Morrey-type weights, and higher-order cancellation.

Main Results and Techniques

Strong-Type Boundedness

The paper provides a full characterization of strong-type norm inequalities for $m$-th order commutators of rough fractional maximal operators with variable kernels, acting between variable exponent Morrey spaces. Suppose $b$ is a Lipschitz function with $0<{\alpha}\leq1$; $p(\cdot)\in \mathcal{B}(\mathbb{R}^n)$ satisfies $1<p_{-}\leq p_{+}<\infty$ and $0<\frac{\alpha+m\beta}{n}<\frac{1}{p_{+}}$; and the kernel $\Omega(x, z)$ is in $$L^{\infty}(\mathbb{R}^n) \times L^s(\mathcal{S}^{n-1})$$ with $s>p_{+},\,s>\frac{n}{\alpha+m\beta}$. Then: $$M_{\Omega, b, \beta}^{(m)} : \mathcal{M}_{p(\cdot), u} \longrightarrow \mathcal{M}_{q(\cdot), u^{\#}}$$ with $b$0 determined by $b$1 and $b$2, is bounded. This extends and unifies classical strong $b$3-Morrey boundedness to the most general setting with variable exponents, variable kernels, and higher-degree commutators.

The proof employs careful dyadic decomposition, exploits variable exponent localizations, mixed-type variable-Hölder inequalities, and tracks kernel roughness via $b$4 angular estimates. The key difficulty is balancing local dyadic block control and the global variable Morrey weights (the $b$5 class). The framework fully handles the breakdown of translation invariance typical in variable kernel and variable exponent settings.

Endpoint Weak-Type Estimates

At the critical configuration $b$6, strong-type boundedness fails due to the blow-up in the Luxemburg norm as $b$7 in regions where $b$8. However, the author constructs sharp global weak-type estimates: $b$9 for suitable choices of the weights $0<{\alpha}\leq1$0 and $0<{\alpha}\leq1$1, with operator norm controlled by the $0<{\alpha}\leq1$2-th power of the Lipschitz norm of $0<{\alpha}\leq1$3. The endpoint analysis circumvents the breakdown of the standard functional-analytic machinery by employing dyadic level-set expansions and geometric measure estimates tied to the structure of variable exponent Morrey spaces.

These weak-type results are proven under the minimized angular integrability assumption $0<{\alpha}\leq1$4, where $0<{\alpha}\leq1$5 is the dual exponent of $0<{\alpha}\leq1$6. This reflects the intrinsic resilience of weak-type variable Morrey geometries to local embeddings, and justifies that sharp weak-type estimates persist even when strong-type results are not available.

Interpolation and Extrapolation

To bridge the operational gap between the strong-type and endpoint weak-type regimes, the paper establishes an abstract interpolation result (of Grafakos–Martell type), justifying that the commutators enjoy a full scale of intermediate regularity estimates: $0<{\alpha}\leq1$7 whenever

$0<{\alpha}\leq1$8

with $0<{\alpha}\leq1$9 and $p(\cdot)\in \mathcal{B}(\mathbb{R}^n)$0 the weights corresponding to the strong and weak-type endpoints. The technical tool is a careful adaptation of modular interpolation suited for the nonhomogeneous, nonconstant exponent context.

Analytical and Theoretical Implications

This study delivers several new contributions and clarifies the limits of classical techniques in the presence of combined nonhomogeneities:

• The results generalize and unify existing boundedness theorems for commutators and fractional maximal operators to the setting where both the exponent and the kernel are variable and the commutator is of higher order. As highlighted, the framework remains nontrivial and new even when exponents and kernels are constant.
• The analysis demonstrates how endpoint and interpolation theories need to be fundamentally re-engineered for variable exponent spaces, especially when facing structural breakdowns (e.g., reflexivity lost at $p(\cdot)\in \mathcal{B}(\mathbb{R}^n)$1) and under the action of non-convolution, highly rough kernels.
• The explicit weight class $p(\cdot)\in \mathcal{B}(\mathbb{R}^n)$2 is shown to be the optimal geometric generalization for controlling local-global distribution in variable Morrey-type settings, providing rigorous guidance for future developments.
• By resolving the endpoint blow-up via direct dyadic measure and modular arguments (rather than only functional-analytic norms), the paper provides a technical path for further analysis of noncompact and borderline cases.
• The abstract interpolation mechanism indicates that the entire boundedness structure remains stable under real interpolation, supporting the transference of operator regularity results to a continuum of intermediate settings.

Applications and Future Directions

The machinery developed has direct applications to the regularity theory for PDEs with variable and discontinuous coefficients, especially in the modeling of composite materials, electrorheological fluids, and in nonlinear elliptic/parabolic PDEs exhibiting nonstandard growth (including double-phase problems). The general framework is also of value for fractional and nonlocal phenomena governed by variable kernel integral operators, where regularity or integrability conditions vary in space.

Potential theoretical directions include:

• Refinement of endpoint and extrapolation theory for further classes of operators (e.g., variable coefficient Calderón–Zygmund singular integrals, paraproducts in variable exponent setting, multilinear analogues).
• Application to fine potential theory and local regularity of PDE solutions, particularly in spaces where Morrey and variable integrability interact, including boundary regularity and nonlocal transmission problems.
• Development of atomic or molecular decompositions for commutators and other non-convolution-type operators on these spaces.

Conclusion

The paper establishes a comprehensive theory for higher-order commutators of rough fractional maximal operators with variable kernels on variable exponent Morrey spaces. Key advances include strong boundedness, endpoint weak-type estimates effective even at critical indices, and a general interpolation/extrapolation schema unifying these regimes. The techniques resolve several longstanding analytic barriers in the nonhomogeneous theory, providing an essential bridge toward more robust, localized harmonic analysis in variable and singular settings, with immediate ramifications for advanced regularity in nonlinear PDEs and analysis on function spaces with complex geometry.