REVIEW 2 major objections 4 minor 41 references
Sharp H\"older regularity of weak solutions of the Neumann problem and applications to nonlocal PDE in metric measure spaces
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read This paper proves that weak solutions of the p-Laplacian Neumann problem with Morrey measure data on John domains in doubling metric measure spaces are Hölder continuous with the sharp Euclidean exponent (p+α)/(p−1), and that the same…
desk verdict A real sharp-exponent result in metric-space regularity, but the Adams-inequality step needs a dimensional hypothesis that the theorems never state. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by an Adams-type Sobolev inequality for measures satisfying the decay condition |ν|(B(x,r))/μ(B(x,r)) ≤ Mr^α, imported from [34], which controls the $L^{{p*}}$ norm against |ν| by a constant times the L^p norm of the gradient. Around this, the paper uses the Hölder regularity theory of Cheeger p-harmonic functions from [31], including oscillation decay, gradient decay, and the interior exponent τ, together with a Maz'ya capacitary inequality, a covering-based p-fatness lemma for the boundary, and a Giaquinta-type iteration lemma adapted to doubling measures. The sharp exponent emerges when the decay index α is matched to the Morrey scale κ=α+1 in the iteration.
What would settle it
Verify Lemma 2.7 in the model case of a bounded interval with Lebesgue measure (where the lower mass-bound exponent is 1), p=2, and measure data satisfying (1.9) with α in (−2,−1−τ). If the claimed Sobolev exponent p*=tp(Q_μ+α)/(tQ_μ−p) is not a valid positive exponent because tQ_μ−p<0, or if the inequality is false, then the proof of Theorem 1.10 does not cover that space and the theorem's range of α is too broad.
Extended reading notes
Core claim
The central discovery is that the Hölder exponent of the solution is determined exactly by the Morrey decay of the data through the formula (p+α)/(p−1), both for the Neumann problem (Theorem 1.7) and for the induced fractional p-Laplacian (Theorem 4.4). Precisely, if f∈$M^{{1,−(α+Θ)}}$(∂Ω,ν) and −p<α<−p(1−τ)−τ, then u is (p+α)/(p−1)-Hölder continuous on Ω. The proof obtains a Morrey estimate |∇u|∈$M^{{p,(1+α)/(1−p)}}$ for the Cheeger gradient and then applies a Campanato-type integral characterization of Hölder continuity. The paper also proves a partial converse: if f has one sign and u is λ-Hölder continuous, then f lies in $M^{{1,−((λ(p−1)−p)+Θ)}}$, so the hypotheses are essentially optimal.
Load-bearing premise
The proof's central estimate depends on an Adams-type inequality that requires the measure of balls to grow fast enough with radius (the lower mass-bound exponent must exceed p) and the decay exponent α to keep the Sobolev exponent positive, but the paper never verifies these conditions from its structural hypotheses, so if they fail the main Hölder bound is not established.
Editorial extensions
If this is right
- If the data f lies in L^q(∂Ω,ν) with q > (Q^∂_μ−Θ)/(p−Θ), then solutions are Hölder continuous with exponent min{τ, (q(p−Θ)−Q^∂_μ+Θ)/(q(p−1))}, which is strictly larger than the earlier exponent from [13] whenever q satisfies the stated bound.
- For Morrey data with decay α in the allowed range, the Hölder exponent (p+α)/(p−1) holds up to the boundary on the entire John domain Ω, not just locally in the interior.
- The converse part of Theorem 1.7 makes the Morrey condition necessary for sign-definite data: if u is λ-Hölder continuous, then f belongs to M^{1,−(α+Θ)} with α=λ(p−1)−p, so the forward exponent is sharp.
- Solutions of the fractional p-Laplacian equation (−Δ_p)^θu=f on compact doubling metric measure spaces inherit the same Hölder exponent, matching the sharp Euclidean results of [10] and [1] in the corresponding parameter ranges.
Reading between the lines
- The proof of the key Adams inequality (Lemma 2.7) carries hidden dimensional conditions: it requires tQ_μ−p>0 (and a positive Sobolev exponent p*), and these are not verified from the structural hypotheses (H0)–(H2); for spaces whose lower mass-bound exponent satisfies Q_μ≤p, such as one-dimensional domains with p=2, the inequality as stated may be invalid, so Theorem 1.10 is likely proved only fo
- The paper's sharp forward and converse statements together suggest that, for sign-definite data, Morrey decay of f is not just sufficient but equivalent to λ-Hölder continuity of u with λ=(p+α)/(p−1); this could serve as a boundary regularity criterion for nonlocal equations once extended to the full range of λ.
- Because the Morrey-to-Hölder step (Proposition 2.20) is purely integral, the same strategy could be adapted to prove Hölder continuity for other quasilinear problems with measure data in doubling spaces, provided an Adams-type inequality with the right dimension is available.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves global Hölder regularity for weak solutions of the p-Laplacian Neumann problem with signed Radon measure data in John domains of doubling metric measure spaces supporting a p-Poincaré inequality, with boundary data in a Morrey class. The main results are Theorem 1.7, which gives the sharp Hölder exponent (p+alpha)/(p-1) for data in M^{1,-(alpha+Theta)} and a converse necessary condition, and Theorem 1.10, which establishes the underlying Morrey estimate for |nabla u| from the measure decay (1.9). The paper then applies these results to fractional p-Laplacian equations via the Caffarelli-Silvestre extension and compares the exponents with the Euclidean sharp results in the literature. The proofs are detailed, with Lemma 3.1 and Lemma 3.8 implementing a standard iteration.
Significance. If correct, the paper establishes a sharp, parameter-free regularity statement: the Hölder exponent is determined exactly by the Morrey decay exponent of the data, with no fitted constants, and a converse necessary condition is proved independently from [6, Lemma 4.8]. The improvement over the earlier exponent from [13] is explicit in (1.14), and the comparison with Euclidean sharp results in Section 5 is a useful benchmark. The manuscript is written with the main calculations displayed, and the iteration in Lemma 3.8 is carefully adapted to non-Ahlfors-regular measures. The central gap identified below, however, concerns the validity of the Adams inequality in Lemma 2.7 under the stated hypotheses, and it affects the proof of the main theorem for a nonempty class of admissible spaces.
major comments (2)
- [§2.6, Lemma 2.7; §3, Lemma 3.1; Theorem 1.10] Lemma 2.7 is stated with p* := tp(Q_mu + alpha)/(tQ_mu - p). For p* to be a finite positive Sobolev exponent one needs tQ_mu - p > 0 and Q_mu + alpha > 0. These conditions are not part of (H0)-(H2) and are not imposed in the statements of Theorem 1.10 or Theorem 1.7. They can fail for spaces that the paper itself treats in Section 5: for Omega = R^n x R_+ with dmu = y^a dx dy, taking n=1, a=0, p=3 gives Q_mu = 2 < p, so since t < p, tQ_mu - p < 0 for every admissible t. In that regime Lemma 2.7 cannot be applied, and the estimate (3.4) for the term I1, which is the only place where the Morrey decay (1.9) enters the gradient bound, is unjustified. Consequently Theorem 1.10 and Theorem 1.7(1) are unproved for admissible spaces with Q_mu <= p. The authors should either add a dimensional hypothesis (for example p < Q_mu together with alpha > -Q_mu) to the relevant statements, or provide an alternative argument that covers the case Q_mu <= p.
- [§1, discussion after Theorem 1.7] The sign identity comparing parts (1) and (2) is inconsistent: the text reads lambda(p-1)-p-Theta = alpha+Theta, but with alpha = (p-1)lambda - p the correct identity is lambda(p-1)-p+Theta = alpha+Theta. The proof of part (2) itself uses the correct expression, so this is a presentation error, but the displayed identity should be corrected.
minor comments (4)
- [§2.5] The sentence referring to the Besov space B^{1-Theta/p}_{p,p}(partial Omega,nu) contains an unresolved cross-reference 'see Section??'.
- [§2.6, proof of Lemma 2.13] The constant c(eta) is introduced without definition; the convergence factor sum_j 2^{-j eta} should be written out explicitly.
- [Abstract] The phrase 'We prove global Hölder regularity result' should read 'a global Hölder regularity result'.
- [§5, Remark 5.3] The phrase 'the optimal lower mass bound exponent for the boundary 2.2' should refer to equation (2.2) explicitly.
Circularity Check
No circular derivation: the Hölder exponent is forced by the Morrey decay and comparison estimates; the flagged Lemma 2.7 dimensional condition is a correctness gap, not circularity.
full rationale
The central derivation chain is not circular. Theorem 1.7(1) follows from Corollary 1.11 and Theorem 1.10, whose proof reduces the Morrey decay of |∇u| to an estimate of the form ∫_{B(x0,r)} |∇u|^p dμ ≤ C r^{p(1+α)/(p-1)} via Lemma 3.1 and Lemma 3.8. No constant in this chain is fitted to the target Hölder exponent; the exponent (p+α)/(p-1) is algebraically determined by the Morrey decay parameter α and the p-Laplacian structure. The converse, Theorem 1.7(2), is an independent necessary condition based on [6, Lemma 4.8], which is a published external lemma (with one coauthor overlapping) and not a re-statement of the forward direction. The Euclidean sharp results [10,7,1] are used as external benchmarks, not as inputs. The paper's self-citations to [12,13] support the nonlocal application's variational equivalence and earlier regularity results, but the main Neumann regularity proof does not reduce to those citations. The genuine concern raised by the skeptical reading is the unverified dimensional condition tQ_μ − p > 0 in Lemma 2.7; if this condition fails, the Adams inequality cannot be applied and Theorem 1.10 is not proved for spaces with Q_μ ≤ p. That is a proof gap affecting correctness, not a circularity in the sense of the derivation being equivalent to its inputs. Hence the circularity score is low.
Assumptions & free parameters
assumptions (7)
- domain assumption Omega is a John domain (H0), with a John center and John constant.
- domain assumption (Omega, d, mu|Omega) is doubling and supports a p-Poincare inequality (H1).
- domain assumption The boundary partial Omega is complete, uniformly perfect, and carries a Theta-codimensional Radon measure nu with 0 < Theta < p (H2).
- standard math A Cheeger differentiable structure exists on Omega and the p-energy can be expressed with Cheeger gradients.
- domain assumption The Adams inequality (Lemma 2.7) is valid for the exponent p* = tp(Q_mu + alpha)/(tQ_mu - p), requiring tQ_mu > p and Q_mu + alpha > 0.
- standard math Cheeger p-harmonic functions satisfy the decay estimates of Lemma 2.8 and Lemma 2.12 with interior Holder exponent tau > 0.
- domain assumption Every doubling metric measure space (Z, d_Z, nu) is the boundary of a uniform domain Omega with structural conditions (H0)-(H2) and Theta = p(1-theta).
Cite this review
Pith. "Pith review of Sharp H\"older regularity of weak solutions of the Neumann problem and applications to nonlocal PDE in metric measure spaces." pith.science (2026). https://pith.science/paper/BYC6I7VK
@misc{pith2026250514950,
author = {Pith},
title = {Pith review of: Sharp H\"older regularity of weak solutions of the Neumann problem and applications to nonlocal PDE in metric measure spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/BYC6I7VK}},
note = {Machine review of arXiv:2505.14950}
}
abstract
We prove global H\"older regularity result for weak solutions $u\in N^{1,p}(\Omega, \mu)$ to a PDE of $p$-Laplacian type with a measure as non-homogeneous term: \[ -\text{div}\!\left( |\nabla u|^{p-2}\nabla u \right)=\overline\nu, \] where $1<p<\infty$ and $\overline\nu \in (N^{1,p}(\Omega,\mu))^*$ is a signed Radon measure supported in $\overline \Omega$. Here, $\Omega$ is a John domain in a metric measure space satisfying a doubling condition and a $p$-Poincar\'e inequality, and $\nabla u$ is the Cheeger gradient. The regularity results obtained in this paper improve on earlier estimates proved by the authors in \cite{CGKS} for the study of the Neumann problem, and have applications to the regularity of solutions of nonlocal PDE in doubling metric spaces. Moreover, the obtained H\"older exponent matches with the known sharp result in the Euclidean case \cite{CSt,BLS,BT}.
Reference graph
Works this paper leans on
- [1]
-
[13]
L. Capogna, J. Kline, R. Korte, N. Shanmugalingam, M. Snipes:Neumann problems forp-harmonic functions, and induced nonlocal operators in metric measure spaces,to appear in American Jour. Math
- [2]
-
[3]
Björn:Boundary continuity for quasiminimizers on metric spaces.Illinois J
A. Björn:Boundary continuity for quasiminimizers on metric spaces.Illinois J. Math.46(2002), no. 2, 38–403
work page 2002
- [4]
- [5]
- [6]
- [7]
Show all 41 references
-
[8]
Caffarelli, L
L. Caffarelli, L. Silvestre:An extension problem related to the fractional Laplacian.Comm. Partial Differential Equations32(2007), no. 7-9, 1245–1260
2007
-
[9]
Caffarelli, M
L. Caffarelli, M. Soria-Carro:On a family of fully nonlinear integro-differential operators: From frac- tional Laplacian to nonlocal Monge-Ampère.Anal. PDE17(2024), no. 1, 243–279. SHARP HÖLDER EXPONENT FOR THE NEUMANN PROBLEM 27
2024
-
[10]
Caffarelli, P
L. Caffarelli, P. Stinga:Fractional elliptic equations, Caccioppoli estimates and regularity.Ann. I. H. Poincaré: Analyse non linéaire33(2016), 767–807
2016
-
[11]
Campanato:Proprietà di hölderianità di alcune classi di funzioni.Ann
S. Campanato:Proprietà di hölderianità di alcune classi di funzioni.Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3)17(1963), 175–188
1963
-
[12]
Capogna, R
L. Capogna, R. Gibara, R. Korte, N. Shanmugalingam:Fractionalp-Laplacians via Neumann problems in unbounded metric measure spaces.Preprint,arXiv:2410.18883(2024)
2024
-
[14]
Cheeger:Differentiability of Lipschitz functions on metric measure spaces
J. Cheeger:Differentiability of Lipschitz functions on metric measure spaces. Geom. Funct. Anal.9 (1999), no. 3, 428–517
1999
-
[15]
Danielli:Regularity at the boundary for solutions of nonlinear subelliptic equations.Indiana Univ
D. Danielli:Regularity at the boundary for solutions of nonlinear subelliptic equations.Indiana Univ. Math. J.44(1995), no. 1, 269–286
1995
-
[16]
Da Prato:SpaziL (p,θ)(Ω, δ)e loro proprietà.Ann
G. Da Prato:SpaziL (p,θ)(Ω, δ)e loro proprietà.Ann. Mat. Pura Appl. (4)69(1965), 383–392
1965
-
[17]
H. Dong, D. Kim:OnL p-estimates for a class of non-local elliptic equations.J. Funct. Anal.262 (2012), 1166–1199
2012
-
[18]
H. Dong, H. Zhu:Gradient estimates for singularp-Laplace type equations with measure data.J. Eur. Math. Soc.26(2024), 3939–3985
2024
-
[19]
Fernández-Real and X
X. Fernández-Real and X. Ros-Oton,Integro-differential elliptic equations, Progress in Mathematics, 350, Birkhäuser/Springer, Cham, [2024]©2024
2024
-
[20]
Garain, E
P. Garain, E. Lindgren:Higher Hölder regularity for the fractionalp-Laplace equation in the sub- quadratic case.Math. Ann.390(2024), no. 4, 5753–5792
2024
-
[21]
Giaquinta:Multiple integrals in the calculus of variations and nonlinear elliptic systems.The Annals of Mathematics Studies, Princeton University Press, Princeton NJ (1983)
M. Giaquinta:Multiple integrals in the calculus of variations and nonlinear elliptic systems.The Annals of Mathematics Studies, Princeton University Press, Princeton NJ (1983)
1983
-
[22]
Gibara, N
R. Gibara, N. Shanmugalingam:Conformal transformation of uniform domains under weights that depend on distance to the boundary. Anal. Geom. Metr. Spaces,10no. 1 (2022), 297–312
2022
-
[23]
Gibara, N
R. Gibara, N. Shanmugalingam:Trace and extension theorems for homogeneous Sobolev and Besov spaces for unbounded uniform domains in metric measure spaces. Proc. Steklov Inst. Math.323(2023) 101–119
2023
-
[24]
Gibara, R
R. Gibara, R. Korte, N. Shanmugalingam:Solving a Dirichlet problem for unbounded domains via a conformal transformation.Math. Ann.389(2024), 2857–2901
2024
-
[25]
Hajłasz, P
P. Hajłasz, P. Koskela:Sobolev met Poincaré. Mem. Amer. Math. Soc.145(2000), no. 688, x+101 pp
2000
-
[26]
Heinonen:Lecture notes on analysis in metric spaces.Springer Universitext, Springer Verlag New York (2001)
J. Heinonen:Lecture notes on analysis in metric spaces.Springer Universitext, Springer Verlag New York (2001)
2001
-
[27]
Heinonen, P
J. Heinonen, P. Koskela:Quasiconformal maps in metric spaces with controlled geometry. Acta Math. 181(1998), no. 1, 1–61
1998
-
[28]
Heinonen, P
J. Heinonen, P. Koskela, N. Shanmugalingam, J. Tyson:Sobolev spaces on metric measure spaces: an approach based on upper gradients.New Mathematical Monographs27, Cambridge University Press (2015), i–xi+448
2015
-
[29]
Keith, X
S. Keith, X. Zhong:The Poincaré inequality is an open ended condition.Ann. of Math. (2)167(2008), no. 2, 575–599
2008
-
[30]
Kinnunen, V
J. Kinnunen, V. Latvala:Lebesgue points for Sobolev functions on metric spaces.Rev. Mat. Iberoamer- icana18(2002), no. 3, 685–700
2002
-
[31]
Kinnunen, N
J. Kinnunen, N. Shanmugalingam:Regularity of quasi-minimizers on metric spaces.Manuscripta Math. 105(2001), 401–423
2001
-
[32]
Koskela, K
P. Koskela, K. Rajala, N. Shanmugalingam:Lipschitz continuity of Cheeger-harmonic functions in metric measure spaces.J. Funct. Anal.202(2003), no. 1, 147–173
2003
-
[33]
J. L. Lewis:Uniformly fat sets.Trans. Amer. Math. Soc.308(1988), no. 1, 177–196
1988
-
[34]
Mäkäläinen:Adams inequality on metric measure spaces.Rev
T. Mäkäläinen:Adams inequality on metric measure spaces.Rev. Mat. Iberoamericana25(2009), 533–558. 28 LUCA CAPOGNA, RYAN GIBARA, RIIKKA KORTE, AND NAGESW ARI SHANMUGALINGAM
2009
-
[35]
Mäkäläinen:Removable sets for Hölder continuousp-harmonic functions on metric measure spaces
T. Mäkäläinen:Removable sets for Hölder continuousp-harmonic functions on metric measure spaces. Ann. Acad. Sci. Fenn. Math.33(2008), 605–624
2008
-
[36]
Malý:Trace and extension theorems for Sobolev-type functions in metric spaces.Preprint, arXiv:1704.06344(2017)
L. Malý:Trace and extension theorems for Sobolev-type functions in metric spaces.Preprint, arXiv:1704.06344(2017)
2017 arXiv
-
[37]
C. B. Morrey Jr.:On the solutions of quasi-linear elliptic partial differential equations.Trans. Amer. Math. Soc. 43 (1938), no. 1, 126–166
1938
-
[38]
C. B. Morrey Jr.:Second order elliptic equations in several variables and Hölder continuity, Math. Z. 72(1959/60), 146–164
1959
-
[39]
Ono:Hölder continuity of solutions to quasilinear elliptic equations with measure data.Advanced Studies in Pure Mathematics44, Potential Theory in Matsue (2006), 327–338
T. Ono:Hölder continuity of solutions to quasilinear elliptic equations with measure data.Advanced Studies in Pure Mathematics44, Potential Theory in Matsue (2006), 327–338
2006
-
[40]
Shanmugalingam:Some convergence results forp-harmonic functions on metric measure spaces
N. Shanmugalingam:Some convergence results forp-harmonic functions on metric measure spaces. Proc. London Math. Soc. (3)87(2003), 226–246
2003
-
[41]
Shanmugalingam:Harmonic functions on metric spaces.Illinois J
N. Shanmugalingam:Harmonic functions on metric spaces.Illinois J. Math.45(2001), no. 3, 1021– 1050. Department of Mathematical Sciences, Smith College, Northampton, MA, 01060, USA Email address:lcapogna@smith.edu Department of Mathematics, Physics and Geology, Cape Breton Univ...
2001
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.