Abstract:We study the fractional $p$-Laplace equation $$ (-\Delta_p)^s u = 0 $$ for $0<s<1$ and in the subquadratic case $1<p<2$. We provide Hölder estimates with an explicit Hölder exponent. The inhomogeneous equation is also treated and there the exponent obtained is almost sharp. Our results complement the previous results for the superquadratic case when $p\geq 2$. The arguments are based on a careful Moser-type iteration and a perturbation argument.
What problem does this paper attempt to address?
This paper attempts to solve the high - order Hölder regularity problem of the fractional - order \(p\)-Laplacian equation in the sub - quadratic case. Specifically, the author studies the following equation:
\[ (-\Delta_p)^s u = 0 \]
where \(0 < s < 1\) and \(1 < p < 2\). The main contribution of the author lies in providing the Hölder regularity estimate of the weak solution and giving the explicit Hölder exponent. This is the first result that provides an explicit Hölder exponent in the sub - quadratic case (i.e., \(1 < p < 2\)), even for the homogeneous equation.
### Main Results
1. **Almost \(sp/(p - 1)\)-regularity**:
- Theorem 1.1 shows that if \(u\) is a local weak solution of the equation \((-\Delta_p)^s u = 0\) and satisfies certain conditions, then \(u\) belongs to \(C^{\Gamma-\epsilon}_{\text{loc}}(\Omega)\) for any \(\epsilon\in(0,\Gamma)\), where \(\Gamma = \min(sp/(p - 1),1)\).
- Specifically, for any \(\epsilon\in(0,\Gamma)\) and any ball \(B_{2R}(x_0)\subset\Omega\), there exist constants \(\sigma=\sigma(N,s,p,\epsilon)\in(0,1)\) and \(C = C(N,s,p,\epsilon)>0\) such that:
\[
[u]_{C^{\Gamma-\epsilon}(B_{\sigma R}(x_0))}\leq\frac{C}{R^{\Gamma-\epsilon}}\left(\|u\|_{L^\infty(B_R(x_0))}+\text{Tail}_{p - 1,sp}(u;x_0,R)\right)
\]
2. **Hölder Regularity of Non - homogeneous Equations**:
- Theorem 1.2 considers the non - homogeneous equation \((-\Delta_p)^s u = f\), where \(f\in L^q_{\text{loc}}(\Omega)\). Assume that \(1 < p < 2\) and \(0 < s < 1\), and \(f\) satisfies certain conditions, then \(u\) belongs to \(C^{\Theta-\epsilon}_{\text{loc}}(\Omega)\) for any \(\epsilon\in(0,\Theta)\), where \(\Theta=\min(1,(sp - N/q)/(p - 1))\).
- Specifically, for any \(\epsilon\in(0,\Theta)\) and any ball \(B_{4R}(x_0)\subset\Omega\), there exists a constant \(C = C(N,s,p,q,\epsilon)>0\) such that:
\[
[u]_{C^{\Theta-\epsilon}(B_{R/8}(x_0))}\leq\frac{C}{R^{\Theta-\epsilon}}\left(\|u\|_{L^\infty(B_{2R}(x_0))}+\text{Tail}_{p - 1,sp}(u;x_0,2R)+\left(R^{sp - N/q}\|f\|_{L^q(B_{2R}(x_0))}\right)^{1/(p - 1)}\right)
\]
### Of the Paper