pith. sign in

arxiv: 2512.06740 · v3 · submitted 2025-12-07 · 🧮 math.DG

Payne-Philippin's overdetermined problems on compact surfaces

Hang Chen , Bohan Wu This is my paper

Pith reviewed 2026-05-17 01:29 UTC · model grok-4.3

classification 🧮 math.DG
keywords overdetermined problemSteklov eigenvaluecompact surfaceharmonic functionconstant gradientrigidityflat diskcylinder
0
0 comments X

The pith

An overdetermined boundary problem for harmonic functions on surfaces has nontrivial solutions only when the domain is a flat disk or a flat cylinder.

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

This paper proves that for a connected compact surface with smooth boundary, the problem of a harmonic function satisfying the first Steklov eigenvalue condition on the boundary together with constant gradient magnitude admits a nontrivial solution exactly when the surface is equivalent in a specific geometric sense to the flat unit disk or a flat cylinder of length at least some minimum value. This resolves the solvability question for this boundary condition on general surfaces and gives a complete list of such domains in two-dimensional spaces of constant curvature. Readers interested in geometric PDEs would care because the result shows strong rigidity: the combination of these conditions forces the surface to be one of these simple flat models. If the result is correct, then no other shapes, such as curved surfaces or irregular boundaries, can support such a solution.

Core claim

We prove that this overdetermined problem admits a nontrivial solution if and only if Ω is σ-homothetic to either the flat unit disk or a flat cylinder [-T,T]×S¹ for some T≥T1. This gives a complete answer to the question for σ=σ1 and arbitrary surfaces. In particular, we completely characterize compact domains in 2-dimensional space forms for which the overdetermined problem is solvable.

What carries the argument

The notion of σ-homothetic equivalence to flat model domains that preserves the solvability of the overdetermined Steklov problem with constant gradient.

If this is right

  • Only the flat unit disk and flat cylinders of length at least T1 admit nontrivial solutions among all such surfaces.
  • Domains in two-dimensional spaces of constant curvature are fully classified as to whether they solve the problem.
  • The result applies to any connected compact Riemannian surface with smooth boundary.
  • The classification rules out solutions on all other geometries.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The classification could inspire similar rigidity results for overdetermined problems with different eigenvalue orders.
  • Extending the analysis to surfaces with less regularity or to higher dimensions might reveal whether the flatness requirement persists.
  • Concrete computations on example surfaces close to the cylinder boundary could verify the threshold length.

Load-bearing premise

The first nonzero Steklov eigenvalue must be simple with a positive eigenfunction.

What would settle it

Observing a nontrivial solution on a surface that cannot be transformed into the flat disk or the specified cylinder via the σ-homothetic relation would show the claim is false.

read the original abstract

We investigate the overdetermined problem given by \begin{equation*} \Delta u=0 \text{ in } \Omega,\quad \frac{\partial u}{\partial\nu} =\sigma_1 u \text{ on } \partial \Omega, \quad |\nabla u|=\text{constant on } \partial \Omega, \end{equation*} where $\Omega$ is a connected compact Riemannian surface with smooth boundary $\partial \Omega$, and $\sigma_1$ is the first nonzero Steklov eigenvalue of $\Omega$. We prove that this overdetermined problem admits a nontrivial solution if and only if $\Omega$ is $\sigma$-homothetic to either the flat unit disk or a flat cylinder $[-T,T]\times S^1$ for some $T\ge T_1$. This gives a complete answer to the question raised by Payne and Philippin in [Z. Angew. Math. Phys. 42(6), 864-873, 1991] for $\sigma=\sigma_1$ and arbitrary surfaces. In particular, we completely characterize compact domains in 2-dimensional space forms for which the overdetermined problem is solvable.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper proves an if-and-only-if rigidity result for the overdetermined Steklov problem Δu=0 in Ω, ∂u/∂ν=σ₁u on ∂Ω, |∇u|=constant on ∂Ω, where σ₁ is the first nonzero Steklov eigenvalue on a connected compact Riemannian surface Ω with smooth boundary. The authors show that a nontrivial solution exists precisely when Ω is σ-homothetic to the flat unit disk or to a flat cylinder [-T,T]×S¹ with T≥T₁. The 'if' direction is checked by explicit computation on the model domains; the 'only if' direction uses integral identities from the constant-gradient condition together with surface geometry to force the metric to be flat and the domain to be one of the two models. This completely answers the Payne-Philippin question for σ=σ₁ on arbitrary surfaces and classifies all such domains in 2-dimensional space forms.

Significance. If the result holds, it supplies a sharp, complete characterization of domains admitting solutions to this overdetermined problem at the first Steklov eigenvalue. The proof combines standard variational properties of σ₁ (simplicity and positive eigenfunction) with integral identities and surface-specific analysis that reduce the geometry to the flat models; explicit verification on the disk and cylinder is provided. This resolves an open question from 1991 in the surface case and gives a model for similar rigidity statements in low-dimensional geometric analysis.

minor comments (3)
  1. The definition of 'σ-homothetic' is used in the statement of the main theorem but would benefit from an explicit sentence or reference in the introduction or preliminaries section to avoid any ambiguity for readers unfamiliar with the term.
  2. In the discussion of the cylinder case, the threshold T₁ is introduced; a brief remark clarifying how T₁ is determined (e.g., via the first eigenvalue computation) would improve readability.
  3. The abstract and introduction cite Payne-Philippin (1991); confirming that the full reference list includes the exact bibliographic details for this and any other cited works on Steklov problems would ensure completeness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, the accurate summary of our main theorem, and the recommendation to accept the manuscript. The referee correctly identifies that the result provides a complete if-and-only-if characterization for the overdetermined Steklov problem at the first eigenvalue on compact surfaces, resolving the 1991 question of Payne and Philippin in the two-dimensional setting.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The manuscript proves an if-and-only-if rigidity result for the overdetermined Steklov problem at σ=σ1 on compact surfaces. The 'if' direction is verified by explicit computation on the flat disk and flat cylinder. The 'only if' direction uses the variational characterization of the first Steklov eigenvalue (standard Rayleigh quotient), the maximum principle for harmonic functions, unique continuation, and integral identities obtained from the constant |∇u| boundary condition. These steps rely on classical elliptic theory and surface-specific analysis that force flatness and the model geometries; none reduce by construction to a fitted parameter, self-definition, or load-bearing self-citation. The cited 1991 Payne-Philippin question is external. The paper is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on the standard axioms of Riemannian geometry and elliptic PDE theory on compact manifolds with boundary; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract statement.

axioms (1)
  • domain assumption Standard existence and simplicity properties of the first nonzero Steklov eigenvalue on a compact Riemannian surface with smooth boundary
    Invoked implicitly when the problem is posed with σ1 and a positive eigenfunction.

pith-pipeline@v0.9.0 · 5502 in / 1317 out tokens · 28977 ms · 2026-05-17T01:29:31.627174+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    Alessandrini and R

    G. Alessandrini and R. Magnanini,Symmetry and nonsymmetry for the overdetermined Stekloff eigen- value problem, Z. Angew. Math. Phys.45(1994), no. 1, 44–52. MR1259525

    work page 1994

  2. [2]

    II, Nonlin- ear problems in applied mathematics, 1996, pp

    ,Symmetry and non-symmetry for the overdetermined Stekloff eigenvalue problem. II, Nonlin- ear problems in applied mathematics, 1996, pp. 1–9. MR2410592

    work page 1996

  3. [3]

    Bennett,Symmetry in an overdetermined fourth order elliptic boundary value problem, SIAM J

    A. Bennett,Symmetry in an overdetermined fourth order elliptic boundary value problem, SIAM J. Math. Anal.17(1986), no. 6, 1354–1358. MR860918

    work page 1986

  4. [4]

    Santhanam,Sharp upperbound and a comparison theorem for the first nonzero Steklov eigenvalue, J

    Binoy and G. Santhanam,Sharp upperbound and a comparison theorem for the first nonzero Steklov eigenvalue, J. Ramanujan Math. Soc.29(2014), no. 2, 133–154. MR3237730

    work page 2014

  5. [5]

    Colbois, A

    B. Colbois, A. El Soufi, and A. Girouard,Isoperimetric control of the Steklov spectrum, J. Funct. Anal. 261(2011), no. 5, 1384–1399. MR2807105

    work page 2011

  6. [6]

    Colbois, A

    B. Colbois, A. Girouard, C. Gordon, and D. Sher,Some recent developments on the Steklov eigenvalue problem, Rev. Mat. Complut.37(2024), no. 1, 1–161. MR4695859

    work page 2024

  7. [7]

    Fraser and R

    A. Fraser and R. Schoen,The first Steklov eigenvalue, conformal geometry, and minimal surfaces, Adv. Math.226(2011), no. 5, 4011–4030. MR2770439

    work page 2011

  8. [8]

    Math.203(2016), no

    ,Sharp eigenvalue bounds and minimal surfaces in the ball, Invent. Math.203(2016), no. 3, 823–890. MR3461367

    work page 2016

  9. [9]

    S. Gao, H. Ma, and M. Yang,Overdetermined problems for fully nonlinear equations with constant Dirichlet boundary conditions in space forms, Calc. Var. Partial Differential Equations62(2023), no. 6, Paper No. 183, 19. MR4610261

    work page 2023

  10. [10]

    Gidas, W

    B. Gidas, W. M. Ni, and L. Nirenberg,Symmetry and related properties via the maximum principle, Comm. Math. Phys.68(1979), no. 3, 209–243. MR544879

    work page 1979

  11. [11]

    Girouard and I

    A. Girouard and I. Polterovich,Spectral geometry of the Steklov problem (survey article), J. Spectr. Theory7(2017), no. 2, 321–359. MR3662010

    work page 2017

  12. [12]

    P. Gu, H. Li, and Y. Wan,Weinstock inequality in hyperbolic space, J. Funct. Anal.289(2025), no. 12, Paper No. 111155, 22. MR4941840

    work page 2025

  13. [13]

    Guo and C

    J. Guo and C. Xia,A partially overdetermined problem in a half ball, Calc. Var. Partial Differential Equations58(2019), no. 5, Paper No. 160, 15. MR4010636

    work page 2019

  14. [14]

    X. Jia, Z. Lu, C. Xia, and X. Zhang,Rigidity and quantitative stability for partially overdetermined problems and capillary CMC hypersurfaces, Calc. Var. Partial Differential Equations63(2024), no. 5, Paper No. 125, 23. MR4741543

    work page 2024

  15. [15]

    Kumaresan and J

    S. Kumaresan and J. Prajapat,Serrin’s result for hyperbolic space and sphere, Duke Math. J.91 (1998), no. 1, 17–28. MR1487977

    work page 1998

  16. [16]

    Lee and K

    E. Lee and K. Seo,An overdetermined Steklov eigenvalue problem on Riemannian manifolds with nonnegative Ricci curvature, Results Math.80(2025), no. 4, Paper No. 102, 15. MR4905184

    work page 2025

  17. [17]

    L. E. Payne and G. A. Philippin,Some overdetermined boundary value problems for harmonic func- tions, Z. Angew. Math. Phys.42(1991), no. 6, 864–873. MR1140698

    work page 1991

  18. [18]

    L. E. Payne and P. W. Schaefer,Duality theorems in some overdetermined boundary value problems, Math. Methods Appl. Sci.11(1989), no. 6, 805–819. MR1021402

    work page 1989

  19. [19]

    Serrin,A symmetry problem in potential theory, Arch

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

    work page 1971

  20. [20]

    Weinstock,Inequalities for a classical eigenvalue problem, J

    R. Weinstock,Inequalities for a classical eigenvalue problem, J. Rational Mech. Anal.3(1954), 745–

    work page 1954

  21. [21]

    Xiong,Comparison of Steklov eigenvalues on a domain and Laplacian eigenvalues on its boundary in Riemannian manifolds, J

    C. Xiong,Comparison of Steklov eigenvalues on a domain and Laplacian eigenvalues on its boundary in Riemannian manifolds, J. Funct. Anal.275(2018), no. 12, 3245–3258. MR3864501

    work page 2018

  22. [22]

    ,On the spectra of three Steklov eigenvalue problems on warped product manifolds, J. Geom. Anal.32(2022), no. 5, Paper No. 153, 35. MR4386421 (Hang Chen)School of Mathematics and Statistics, Northwestern Polytechnical Univer- sity, Xi’ an 710129, P. R. China, email: chenhang86@nwpu.edu.cn (Bohan Wu)School of Mathematics and Statistics, Northwestern Polyte...

    work page 2022