Pith. sign in

REVIEW 4 major objections 4 minor 32 references

Serrin-type problem in divergence form on Riemannian manifolds

T0 review · 4 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A Serrin-type overdetermined problem on Riemannian manifolds is claimed to force the domain to be a Euclidean ball.

desk verdict Rigidity theorems fail: the P-function boundary comparison is inverted, and Theorem 2 is false as stated. read the letter →

arxiv 2507.17838 v1 pith:3YG6L6E7 submitted 2025-07-23 math.DG

Márcio Batista , Márcio Santos , Antônio da Silva , Joyce Sindeaux This is my paper
classification math.DG MSC 35N2553C2435B5053B3058J05
keywords OverdeterminedproblemPrescribedmeancurvatureP-functionmethodRigidityEuclideanballNonnegativeRicciClosedconformalvectorfieldPohozaevidentity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper aims to extend the classical Serrin symmetry theorem and the Alexandrov soap-bubble rigidity to an overdetermined problem of divergence form on Riemannian manifolds with nonnegative Ricci curvature. The problem asks whether a bounded domain $\Omega$ admits a solution $u$ to $\operatorname{div}(Du/\sqrt{1+|Du|^2})=f(u)$ with $u=0$ and constant normal derivative $c$ on the boundary; the authors argue that under natural hypotheses the only possible domains are Euclidean balls and the solution is radial. The argument is carried by the $P$-function $P=n/\sqrt{1+|Du|^2}+F(u)$, which is shown to be superharmonic, and leads to Heintze\textendash Karcher\textendash Ros-type and soap-bubble-type inequalities. The main rigidity statement, Theorem 3, uses a Pohozaev identity tied to a closed conformal vector field to convert a sign condition on an integral into the conclusion that $u$ is radial and $\Omega$ is isometric to a Euclidean ball.

What carries the argument

The load-bearing object is the $P$-function $P=n/w+F(u)$, with $w=\sqrt{1+|Du|^2}$ and $F(u)=\int_0^u f(t)\,dt$. For a solution of the problem, the graph of $u$ has mean curvature $f(u)/n$, and a Jacobi-type formula for the angle function $\Theta=1/w$ turns into superharmonicity $\Delta P\le 0$ under $\mathrm{Ric}\ge 0$ and $f'\ge 0$. The Hopf maximum principle then forces $P$ to reach its minimum on the boundary, yielding the Heintze\textendash Karcher\textendash Ros and soap-bubble inequalities. The final rigidity step is a Pohozaev-type identity derived from a closed conformal vector field $\Upsilon$ (a field satisfying $D_Y\Upsilon=\varphi Y$ for all $Y$, with $\operatorname{div}\Upsilon=n\varphi$), which combines with the assumed sign of an integral to rule out the nonconstant $P$ alternative.

What would settle it

Evaluate $P$ along an explicit Euclidean ball solution of the problem: on the boundary $P=n/\sqrt{1+c^2}$, whereas the proof's dichotomy requires $P>n\sqrt{1+c^2}$ or $P\equiv n\sqrt{1+c^2}$ in $\Omega$. Since $n\sqrt{1+c^2}>n/\sqrt{1+c^2}$ for $c>0$, any solution with $P$ lying between these two values at some interior point would break the dichotomy and show the written rigidity argument cannot go through.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Theorem 3: if $M$ has nonnegative Ricci curvature, there is a closed conformal vector field $\Upsilon$ with $\operatorname{div}\Upsilon=n\varphi$ and $\varphi>0$ on $\Omega$, $u$ solves the overdetermined problem with $f$ non-decreasing and $f(0)\neq 0$, and the integral $\int_\Omega (F(u)-uf(u)-u\langle D(\ln\varphi),Du/w\rangle)\varphi\,dv\ge 0$, then $u$ is radial and $\Omega$ is isometric to a Euclidean ball. The same rigidity conclusion is reached in Theorem 2 under a negative upper bound on the boundary mean curvature, and in Theorem 1 as the equality case of a Heintze\textendash Karcher\textendash Ros-type inequality. In short, overdetermination plus nonnegative Ricci curvature plus monotone nonlinearity is claimed to single out Euclidean balls among all bounded domains.

Load-bearing premise

The proof of the rigidity theorem assumes that the $P$-function, whose boundary value is $n/\sqrt{1+c^2}$, either stays strictly above $n\sqrt{1+c^2}$ throughout $\Omega$ or is constant, while the maximum principle only delivers the weaker comparison $P\ge n/\sqrt{1+c^2}$; the stronger comparison is the load-bearing unproved premise.

Editorial extensions

If this is right

  • For $f(u)=n$, the rigidity conclusion says the only domain supporting a solution with constant normal derivative is a Euclidean ball (Corollary 1).
  • Equality in the Heintze\textendash Karcher\textendash Ros-type inequality isolates the Euclidean ball, giving a companion to Alexandrov's soap-bubble theorem for this equation.
  • The soap-bubble-type theorem converts a negative upper bound on boundary mean curvature into radial symmetry of $u$ and ball rigidity of $\Omega$.
  • The $P$-function approach, originally built for Euclidean Serrin problems, is shown to work for divergence-form operators on curved backgrounds with nonnegative Ricci curvature.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same scheme could plausibly adapt to other divergence-form operators, such as $p$-Laplacian or weighted mean-curvature equations, wherever a superharmonic $P$-function and a Pohozaev identity are available.
  • The integral sign condition in Theorem 3 is not obviously checkable from the PDE; a natural next step would be to find geometric or convexity hypotheses on $\Omega$ that imply it.
  • If the comparison constant in the proof is corrected to $n/\sqrt{1+c^2}$, the contradiction with the assumed integral sign would require a sharper lower bound on $P$ than the maximum principle alone provides.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The manuscript studies the overdetermined boundary value problem div(Du/w)=f(u) in a bounded domain Ω of a Riemannian manifold with nonnegative Ricci curvature, together with u=0 and u_ν=c>0 on the boundary, where w=√(1+|Du|²). The authors introduce the P-function P=n/w+F(u), claim it is superharmonic (Proposition 1), derive boundary inequalities (Proposition 2), and use them to prove a Heintze-Karcher-Ros inequality (Theorem 1), a Soap-Bubble-type theorem (Theorem 2), and, via a Pohozaev-type identity involving a closed conformal vector field (Lemma 1), a rigidity theorem (Theorem 3). The central claims are that equality or the relevant assumptions force Ω to be isometric to a Euclidean ball and u to be radial.

Significance. Extending Serrin-type and Soap-Bubble rigidity results to Riemannian manifolds with nonnegative Ricci curvature is a worthwhile goal, and the paper combines classical tools (P-function, Hopf maximum principle, Pohozaev identities) in a natural way. The algebraic structure of Lemma 1 is plausible and could be useful. However, the proofs of the three main theorems contain load-bearing errors: the boundary comparison in Theorem 3 is inverted, Theorem 2 is false as stated, and the Obata equation in Proposition 1 has the wrong coefficient. Because these defects affect the central rigidity claims, the manuscript in its current form does not establish the advertised results.

major comments (4)
  1. [§3, proof of Theorem 3] The proof asserts that Proposition 1 gives the alternative P > n√(1+c²) in Ω or P ≡ n√(1+c²). This is inconsistent with the definition of P. On ∂Ω we have u=0 and w=√(1+c²), so P=n/√(1+c²). A valid superharmonicity result would give P ≥ n/√(1+c²) in Ω (or P ≡ n/√(1+c²)), not P ≥ n√(1+c²). The reciprocal comparison is exactly what makes the contradiction with the assumed nonnegativity of ∫Φ work; with the correct lower bound, the same argument gives no sign information on ∫Φ. Therefore the proof of Theorem 3 collapses.
  2. [§2, Theorem 2] Theorem 2 is false as stated. Take M=R², n=2, Ω=B_R with R∈(0,1), and f≡2. Let u(x)=√(1-R²)-√(1-|x|²). Then div(Du/w)=2=f(u), u=0 on ∂Ω, and u_ν=R/√(1-R²)=c>0. On ∂Ω, w=1/√(1-R²), so (u_ν/w)²=R², and with the outward-normal convention eH=-1/R. The admissibility interval is -∫ f_+(u)/|∂Ω|=-R, so every H0∈[-R,0) is admissible. For every such H0, -1/R-H0<0 because H0≥-R and R<1, hence ∫_{∂Ω}(eH-H0)(u_ν/w)² dS = 2πR³(-1/R-H0)<0. This contradicts the claimed inequality. Moreover, the proof invokes the inequality 1/H0 ≥ -∫ f(u)/|∂Ω|, which is neither assumed nor derivable from the stated hypothesis on f_+; in this example no admissible H0 satisfies it.
  3. [§2, display (2.6) and proof of Theorem 2] Independently of the counterexample, the derivation of Theorem 2 contains an algebraic error. Proposition 2 gives u_ν(f(0)+n eH u_ν w)≥0 with w=√(1+c²) on ∂Ω. Dividing by w and integrating yields f(0)∫ u_ν/w + n(1+c²)∫ eH (u_ν/w)², because u_ν²=(1+c²)(u_ν/w)². The paper instead writes n∫ eH (u_ν/w)², omitting the factor 1+c². This invalidates the displayed chain of inequalities even if the hypothesis on H0 were corrected.
  4. [§2, Proposition 1] The Obata equation has the wrong coefficient. From the preceding lines, ∇²u = f(0)(c-uf(0))/n² g, so ∇²(c-uf(0)) = -f(0)²(c-uf(0))/n² g. The paper states ∇²(c-uf(0)) = -(f(0)²/n)(c-uf(0))g, missing a factor 1/n. This changes the claimed curvature of the model spherical cap and undermines the equality-case conclusion of Proposition 1, on which the rigidity parts of Theorems 1 and 2 rely.
minor comments (4)
  1. [§3, proof of Theorem 3] There is a typo in the sentence "Suppose by contradiction that P > n√(1+c²) em Ω"; "em" should be "in".
  2. [§2, equation (2.1)] The formula ∂_t(H)=(1/n)f'(u)|∇u|² is not adequately explained; the Jacobi formula from [1] uses a vertical derivative convention that should be stated explicitly, since it affects the superharmonicity computation.
  3. [Corollary 1] The constant in the definition of a closed homothetic vector field is also denoted c, which clashes with the boundary constant c in problem (1.1); a different symbol would avoid confusion.
  4. [References] Several references are cited by arXiv identifiers or without complete publication data (for example [3] and [14]); the final publication details should be supplied.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained and conditional, with no step that reduces to its own input.

full rationale

The paper's results are conditional statements whose conclusions follow from explicit, independently stated hypotheses (e.g., existence of H0 in Theorem 2, the integral nonnegativity in Theorem 3). The P-function n/w+F(u) is defined directly from the solution and nonlinearity, and Proposition 1 derives superharmonicity from the PDE and curvature assumptions; Proposition 2 and Theorem 1 use algebra and integration by parts, with rigidity equality cases relying on external results (Obata-type theorems, Xia's theorem). Self-citations ([3], [13]) appear only in motivational overviews and are not load-bearing. The proof of Theorem 3 invokes the boundary value P=n/sqrt(1+c^2) but writes n*sqrt(1+c^2), an apparent typo; this is a correctness gap, not a circular reduction. Similarly, Theorem 2's proof uses the unstated condition 1/H0 >= -∫f(u)/|∂Ω|, which is neither assumed nor implied by the stated f_+ hypothesis; this is a logical gap, not circularity. No fitted parameter is renamed as a prediction, no uniqueness claim is imported from the authors' prior work, and no known result is merely relabeled. The derivation chain is self-contained in the sense required for circularity analysis.

Assumptions & free parameters 1 free parameters · 8 assumptions · 0 invented entities

The arguments rely on standard background theorems (Jacobi formula, Obata, Xia, Hopf maximum principle) and on the explicit geometric assumptions (Ric ≥ 0, f non-decreasing, existence of a closed conformal vector field in Theorem 3). The only auxiliary quantity chosen by hand is the constant H0 in Theorem 2, whose stated existence condition is insufficient for the proof. No new entities are introduced.

free parameters (1)
  • H0 = exists satisfying -∫Ω f_+(u) dv / |∂Ω| ≤ H0 < 0
    Auxiliary constant introduced in Theorem 2 to control the boundary integral; the stated existence condition does not imply the stronger inequality 1/H0 ≥ -∫ f(u)/|∂Ω| used in the proof.
assumptions (8)
  • domain assumption Ric ≥ 0 on M
    Assumed throughout; used to make the P-function superharmonic in Proposition 1 via the sign of the Ricci term in the Jacobi formula.
  • domain assumption f is non-decreasing and f(0) ≠ 0
    Stated in Proposition 1 and Theorems 1 and 3; ensures ΔP ≤ 0 and gives the boundary comparison.
  • domain assumption Existence of a closed conformal vector field Υ with div Υ = nφ and φ > 0 on Ω
    Hypothesis of Theorem 3; restricts the ambient manifolds to those admitting such a vector field (e.g., warped products).
  • domain assumption Boundary mean curvature eH < 0
    Hypothesis of Theorem 1; with the paper's sign convention (Remark 1) this gives the direction of the Heintze-Karcher-type inequality.
  • standard math Jacobi formula for the graph angle function (Alías-Dajczer-Ripoll, Proposition 6 of [1])
    Used in Proposition 1 to compute ΔΘ; not proved in the paper.
  • standard math Obata-type theorem (Reilly [25], Chen-Lai-Wang [5])
    Used in Proposition 1 to conclude the graph is a spherical cap from the Hessian equation.
  • standard math Xia's theorem on compact manifolds with boundary and nonnegative Ricci curvature [32]
    Used to conclude Ω is a Euclidean ball from the spherical shape of ∂Ω.
  • standard math Hopf maximum principle
    Used to derive boundary behavior of P and the dichotomy of Proposition 1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Serrin-type problem in divergence form on Riemannian manifolds." pith.science (2026). https://pith.science/paper/3YG6L6E7

@misc{pith2026250717838,
  author       = {Pith},
  title        = {Pith review of: Serrin-type problem in divergence form on Riemannian manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3YG6L6E7}},
  note         = {Machine review of arXiv:2507.17838}
}
abstract

In this paper, we investigate an overdetermined boundary value problem of divergence type on bounded domains in Riemannian manifolds with non-negative Ricci curvature. Using integral identities and the $P$-function method, we derive geometric inequalities and rigidity results. Under natural conditions on the nonlinearity, we prove that equality implies the domain is isometric to a Euclidean ball, thereby extending classical symmetry results to the Riemannian setting.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Al ´ ıas, M

    L.J. Al ´ ıas, M. Dajczer, and J. Ripoll, A Bernstein-type theorem for Riemannian manifolds with a Killing field, Ann Glob Anal Geom (2007) 31:363–373

    work page 2007

  2. [2]

    Y. N. ´Alvarez, and R. S´ a Earp,Existence Serrin type results for the Dirichlet problem for the pre- scribed mean curvature equation in Riemannian manifolds , Calc. Var. Partial Differential Equations 58 (2019)

    work page 2019

  3. [3]

    Ara´ ujo, A

    M. Ara´ ujo, A. Freitas, and M. Santos, Serrin ’s type Problem in Weighted Manifolds: Soap Bubble Results and Rigidity in Generalized Cones, Potential Anal (2025)

    work page 2025

  4. [4]

    Bernstein, Sur les surfaces d´ efinies au moyen de leur courbure moyenne ou totale, Ann

    S. Bernstein, Sur les surfaces d´ efinies au moyen de leur courbure moyenne ou totale, Ann. Sci. ´Ec. Norm. Sup´ er.,27 (4) (1910), 233–256

    work page 1910

  5. [5]

    X. Chen, M. Lai, and F. Wang, The Obata equation with Robin boundary condition, Rev. Mat. Iberoam. 37, No. 2 (2021), 643 - 670

    work page 2021

  6. [6]

    Ciraolo, and L

    G. Ciraolo, and L. Vezzoni, On Serrin ’s overdetermined problem in space forms, Manuscripta Math., 159 (2019), 445–452

    work page 2019

  7. [7]

    Delay, and P

    E. Delay, and P. Sicbaldi, Extremal domains for the first eigenvalue in a general compact Riemannian manifold, Discrete and Continuous Dynamical Systems, Series A, 35 (2015) 5799-5825

    work page 2015

  8. [8]

    Douglas, Solution of the problem of Plateau, Trans

    J. Douglas, Solution of the problem of Plateau, Trans. Amer. Math. Soc., 33 (1931), 263–321

    work page 1931

Show all 32 references
  1. [9]

    Farina, and B

    A. Farina, and B. Kawohl, Remarks on an overdetermined boundary value problem, Calc. Var. Partial Differential Equations, 31 (2008), 351–357. 14 M. BATISTA, M. SANTOS, A. SIL V A AND J. SINDEAUX

    2008

  2. [10]

    Farina, and A

    A. Farina, and A. Roncoroni, Serrin ’s type problems in warped product manifolds , Communications in Contemporary Math., 24 (4) (2022), 2150020

    2022

  3. [11]

    Fogagnolo, and A

    M. Fogagnolo, and A. Pinamonti, New integral estimates in substatic Riemannian manifolds and the Alexandrov theorem, Journal de Math´ ematiques Pures et Appliqu´ ees,163, (2022) 299-317

    2022

  4. [12]

    Fragala, F

    I. Fragala, F. Gazzola, and B. Kawohl, Overdetermined problems with possibly degenerate ellipticity, a geometric approach, Math. Z., 254 (2006), 117–132

    2006

  5. [13]

    Freitas, A

    A. Freitas, A. Roncoroni, and M. Santos, A note on Serrin ’s type problem on Riemannian manifolds. J. Geom. Anal., 34 (7) (2024), 200

    2024

  6. [14]

    Gavitone, A

    N. Gavitone, A. L. Masiello, G. Paoli, and G. Poggesi, Hessian operators, overdetermined problems, and higher order mean curvatures: symmetry and stability results, arXiv:2505.23350

    arXiv

  7. [15]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger, Elliptic partial differential equations of second order. Reprint of the 1998 ed. Berlin: Springer

    1998

  8. [16]

    Jenkins, and J

    H. Jenkins, and J. Serrin, The Dirichlet problem for the minimal surface equation in higher dimen- sions, J. Reine Angew. Math., 229 (1968), 170–187

    1968

  9. [17]

    Jia, Overdetermined problems for Weingarten hypersurfaces, Calc

    X. Jia, Overdetermined problems for Weingarten hypersurfaces, Calc. Var. Partial Differ. Equ., 59(2), 78, (2020)

    2020

  10. [18]

    W. E. Johnson, and L. Perko, Interior and exterior boundary value problems from the theory of the capillary tube. Arch. Ration. Mech. Anal., 29 (1968), 129–143

    1968

  11. [19]

    L´ opez,Constant Mean Curvature Surfaces with Boundary, Springer Monographs in Mathematics, Springer, Heidelberg, (2013)

    R. L´ opez,Constant Mean Curvature Surfaces with Boundary, Springer Monographs in Mathematics, Springer, Heidelberg, (2013)

    2013

  12. [20]

    Magnanini, Alexandrov, Serrin, Weinberger, Reilly: symmetry and stability by integral identities, Bruno Pini Math

    R. Magnanini, Alexandrov, Serrin, Weinberger, Reilly: symmetry and stability by integral identities, Bruno Pini Math. Sem., (2017) 121-141

    2017

  13. [21]

    Magnanini, and G

    R. Magnanini, and G. Poggesi, On the stability for Alexandrov’s Soap Bubble Theorem. Jour. Anal. Math. 139 (2019), 179-205

    2019

  14. [22]

    Magnanini, and G

    R. Magnanini, and G. Poggesi, Serrin ’s problem and Alexandrov’s soap bubble theorem: enhanced stability via integral identities, Indiana Univ. Math. J., 69 (4) (2020), 1181–1205

    2020

  15. [23]

    Ni, and J

    W.-M. Ni, and J. Serrin, Nonexistence theorems for singular solutions of quasilinear partial differential equations, Commun. Pure Appl. Math., 39 (3) (1986), 379–399

    1986

  16. [24]

    Rad´ o,The problem of the least area and the problem of Plateau, Math

    T. Rad´ o,The problem of the least area and the problem of Plateau, Math. Z., 32 (1930), 763–796

    1930

  17. [25]

    R. C. Reilly, Geometric applications of the solvability of Neumann problems on a Riemannian mani- fold, Arch. Ration. Mech. Anal., 75 (1980), 23–29

    1980

  18. [26]

    Roncoroni, A Serrin-type symmetry result on model manifolds: an extension of the Weinberger argument, C

    A. Roncoroni, A Serrin-type symmetry result on model manifolds: an extension of the Weinberger argument, C. R. Math. Acad. Sci. Paris, 356 (6) (2018), 648—656

    2018

  19. [27]

    Ros, Compact hypersurfaces with constant higher order mean curvatures, Rev

    A. Ros, Compact hypersurfaces with constant higher order mean curvatures, Rev. Mat. Iberoameri- cana, 3 (1987), 447–453. SERRIN-TYPE PROBLEM IN DIVERGENCE FORM ON RIEMANNIAN MANIFOLDS 15

    1987

  20. [28]

    Q. Ruan, Q. Huang, and F. Chen, The p-Laplacian overdetermined problem on Riemannian manifolds, Ann. Mat. Pura Appl., 203 (2024), 647—662

    2024

  21. [29]

    Serrin, A symmetry problem in potential theory , Arch

    J. Serrin, A symmetry problem in potential theory , Arch. Rational Mech. Anal., 43 (1971), 304–318

    1971

  22. [30]

    J. Serrin, Positive solutions of a prescribed mean curvature problem,Calculus of Variations and Partial Differential Equations, Lecture Notes in Math., 1340, Trento, (1986), Springer, Berlin (1988), 248– 255

    1986

  23. [31]

    H. F. Weinberger, Remark on the preceding paper of Serrin, Arch. Rational Mech. Anal., 43 (1971), 319–320

    1971

  24. [32]

    Changyu Xia, Rigidity of compact manifolds with boundary and nonnegative Ricci curvature , Proc. Am. Math. Soc. 125 (1997), no. 6, 1801–1806. 1 CPMAT-IM, Universidade Federal de Alagoas, Macei ´o, AL, 57072-970, Brazil Email address : mhbs@mat.ufal.br 2, 3 Departamento de Mate...

    1997

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.