On the p-Laplacian Quadrature Surface Free Boundary Problem on Riemannian Manifolds: Sufficient condition of existence
Abstract
We study the p-Laplacian quadrature surface free boundary problem on a compact Riemannian manifold (M,g) of dimension N ≥ 2, for 1<p<∞. Given a nonnegative source f ∈ Lpg(M) with compact support K, and k>0, one seeks a domain Ω⊃ K on which the overdetermined problem −Δp,g u = f in Ω, u=0 and |∇g u|g = k on ∂Ω admits a solution. Following the geometric and variational framework of Djité--Seck, we prove that the integral condition (NS)p,g ∫C f dv(g) > kp−1 |∂ C|g, where C is the totally convex hull of K, is \emph{sufficient} for the existence of a solution strictly containing C. We then show, by an explicit counterexample on the round sphere SnR, that (NS)p,g is \emph{not necessary} in general under nonnegative curvature: the mechanism is that the perimeter is not monotone with respect to inclusion in positive curvature. Finally, we identify an additional geometric hypothesis---perimeter monotonicity on the admissible class inside a normal convex neighborhood of C---under which necessity is restored, and we discuss the critical equality case ∫C f dv(g) = kp−1|∂ C|g.
Related
- On the Quadrature Surface Free Boundary Problem on Riemannian Manifolds: Sufficient Condition of Existence
- On Quadrature Surface Free Boundary Problems for the Riemannian p-Laplacian
- Sub-Laplacian Comparison Theorem and Gradient Estimates on Complete Noncompact Contact Riemannian Manifolds
- Asymptotic mean value Laplacian on equiregular sub-Riemannian manifolds
- Yau-type gradient estimates for p-harmonic functions on Riemannian manifolds with boundary under Dirichlet boundary condition
BibTeX
@misc{barkatou2026plaplacian,
title = {{On the $p$-Laplacian Quadrature Surface Free Boundary Problem on Riemannian Manifolds: Sufficient condition of existence}},
author = {Mohammed Barkatou},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.08260},
eprint = {2609.08260},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.08260},
note = {CC0},
}
RIS
TY - UNPB
TI - On the p-Laplacian Quadrature Surface Free Boundary Problem on Riemannian Manifolds: Sufficient condition of existence
AU - Mohammed Barkatou
PY - 2026
DA - 2026/09/26
PB - arXiv
DO - 10.48550/arxiv.2609.08260
UR - https://arxiv.org/abs/2609.08260
AB - We study the p-Laplacian quadrature surface free boundary problem on a compact Riemannian manifold (M,g) of dimension N ≥ 2, for 1<p<∞. Given a nonnegative source f ∈ L^p_g(M) with compact support K, and k>0, one seeks a domain Ω⊃ K on which the overdetermined problem −Δ_p,g u = f in Ω, u=0 and |∇_g u|_g = k on ∂Ω admits a solution. Following the geometric and variational framework of Djité--Seck, we prove that the integral condition (NS)_p,g ∫_C f dv(g) > k^p−1 |∂ C|_g, where C is the totally convex hull of K, is \emph{sufficient} for the existence of a solution strictly containing C. We then show, by an explicit counterexample on the round sphere S^n_R, that (NS)_p,g is \emph{not necessary} in general under nonnegative curvature: the mechanism is that the perimeter is not monotone with respect to inclusion in positive curvature. Finally, we identify an additional geometric hypothesis---perimeter monotonicity on the admissible class inside a normal convex neighborhood of C---under which necessity is restored, and we discuss the critical equality case ∫_C f dv(g) = k^p−1|∂ C|_g.
ER -