Abstract:In this paper, we prove a Talenti-type comparison theorem for the $p$-Laplacian with Dirichlet boundary conditions on open subsets of a $\mathrm{RCD}(K,N)$ space with $K>0$ and $N\in (1,\infty)$. The obtained Talenti-type comparison theorem is sharp, rigid and stable with respect to measured Gromov-Hausdorff topology. As an application of such Talenti-type comparison, we establish a sharp and rigid reverse Hölder inequality for first eigenfunctions of the $p$-Laplacian and a related quantitative stability result.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove the Talenti - type comparison theorem for solutions of the p - Laplace equation with Dirichlet boundary conditions in RCD(K,N) spaces with positive curvature and finite dimensions. Specifically, the author aims to:
1. **Establish the Talenti - type comparison theorem**: For the p - Laplace equation defined on an open subset in the RCD(K,N) space, prove the point - wise comparison relationship between the Schwarz symmetrization of its solution and the solution of the corresponding problem on the one - dimensional model space. This theorem not only gives the upper bound estimate of the solution, but also proves that these estimates are sharp, rigid, and stable under the measured Gromov - Hausdorff topology.
2. **Study rigidity and almost - rigidity**: Explore the spatial structure when the inequality in the Talenti - type comparison theorem reaches equality. The author proves that if the equality holds, then the space is a spherical suspension. In addition, the spatial structure when the inequality almost reaches equality in the Lp sense is also discussed, that is, the space is close to a spherical suspension in the measured Gromov - Hausdorff sense.
3. **Apply the Talenti - type comparison theorem**: Using the above Talenti - type comparison theorem, the author establishes the reverse Hölder inequality for the first Dirichlet eigenfunction of the p - Laplace equation. This result further generalizes the classical Faber - Krahn inequality and provides an exact relationship between the norms of eigenfunctions.
### Specific problems and results
- **Talenti - type comparison theorem**:
- For a given weak solution \( u \) of the \( p \)-Laplace equation, its Schwarz symmetrization \( u^\star \) and the solution \( w \) of the corresponding problem on the one - dimensional model space satisfy:
\[
u^\star(x) \leq w(x), \quad \forall x \in [0, r_v]
\]
- In addition, the gradient estimate is also proved:
\[
\int_\Omega |\nabla u|^r \, dm \leq \int_0^{r_v} |\nabla w|^r \, dm_{K,N}
\]
where \( r \geq 1 \).
- **Rigidity and almost - rigidity**:
- If the inequality in the Talenti - type comparison theorem reaches equality, then the space is a spherical suspension.
- If the inequality almost reaches equality in the Lp sense, then the space is close to a spherical suspension in the measured Gromov - Hausdorff sense.
- **Reverse Hölder inequality**:
- The reverse Hölder inequality for the first Dirichlet eigenfunction of the p - Laplace equation is established, in the following form:
\[
\left( \int_\Omega u^t \, dm \right)^{\frac{1}{t}} \leq \left( \int_0^{r_\alpha} z^t \, dm_{N - 1,N} \right)^{\frac{1}{t}}
\]
where \( t \geq r \), and \( z \) is the first Dirichlet eigenfunction on the one - dimensional model space.
Through these results, the paper not only deepens the understanding of solutions of the p - Laplace equation in RCD(K,N) spaces, but also provides a series of important geometric and analytical tools that can be applied to the study of other related problems.