Comparison principles and symmetry for subquadratic fractional $p$-Laplacian equations

Abstract

This paper establishes a new comparison principle framework for the subquadratic fractional $p$-Laplacian, i.e.~$1<p<2$ under minimal regularity assumptions, that has remained a significant challenging issue due to the singularity of the operator. Our results provide the essential analytical tools required for the moving plane method in this setting. We prove first a weak comparison principle for $(-\Delta)_p^s u = f(u)$ in bounded domains with sufficiently small measure, where only the boundedness of the weak solution is required. More importantly, we establish a strong comparison principle for continuous weak solutions in the parameter range $s \in (0, \frac{1}{2})$ and $\frac{1}{1-s}<p<2$. Our proof introduces a localized barrier function and does not require any H\"{o}lder regularity of the weak solution, nor any smoothness of the domain. This presents a substantial contrast over previous study, which relied heavily on H\"older or even $C^{1,1}$ regularity. As a direct application, we employ these comparison principles to prove the symmetry of weak solutions to $(-\Delta)_p^s u = f(u)$ under mild assumptions, which significantly extend existing symmetry theories for nonlocal quasilinear equations.