arxiv: 2605.02034 · v2 · submitted 2026-05-03 · 🧮 math.AP · math.CV

Recognition: 1 theorem link

· Lean Theorem

Serrin's overdetermined problem and sharp harmonic quadrature identities in the plane

Yi Ru-Ya Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-12 01:03 UTC · model grok-4.3

classification 🧮 math.AP math.CV

keywords Serrin's overdetermined problemharmonic quadrature identitiesrectifiable Jordan domainsSmirnov domainsplanar domainsweak formulations

0 comments

The pith

Rectifiable non-disk Jordan domains satisfy a weak form of Serrin's overdetermined problem when they lack Smirnov regularity.

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

The paper examines a weak formulation of Serrin's overdetermined boundary value problem for harmonic functions in planar Jordan domains whose boundaries are rectifiable. It shows that when these domains are also Smirnov domains, the associated harmonic quadrature identity forces the domain to be a disk. The authors then build explicit families of rectifiable Jordan domains that are not Smirnov yet still obey the same quadrature identity for all harmonic functions. This establishes that the Smirnov condition is necessary for the disk rigidity and yields the existence of nontrivial rectifiable Jordan domains satisfying the weak Serrin system in the plane.

Core claim

Within the class of rectifiable Jordan Smirnov domains the harmonic quadrature identity is equivalent to the weak formulation of Serrin's overdetermined problem and necessarily implies that the domain is a disk. There exist families of rectifiable non-Smirnov Jordan domains that satisfy the identical quadrature identity, and therefore there exists a nontrivial Jordan domain with rectifiable boundary satisfying the weak formulation of Serrin's overdetermined system in R².

What carries the argument

The harmonic quadrature identity, equivalent to the weak Serrin overdetermined problem, whose validity is shown to be rigid under the extra Smirnov regularity but flexible without it.

If this is right

The Smirnov regularity condition cannot be removed if one wants the quadrature identity to imply that the domain is a disk.
The weak formulation of Serrin's problem admits solutions beyond disks once only rectifiability is assumed.
The equivalence between the weak overdetermined system and the quadrature identity holds for all rectifiable Jordan domains, Smirnov or not.

Where Pith is reading between the lines

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

Boundary regularity assumptions play a decisive role in rigidity phenomena for overdetermined elliptic problems, and relaxing them can produce new examples.
Similar constructions might be attempted in higher dimensions to test whether rectifiability alone permits non-ball solutions to weak Serrin-type identities.
Numerical verification of the integral identity on the constructed non-Smirnov domains could provide independent confirmation of the examples.

Load-bearing premise

The domains under study are rectifiable Jordan domains, and the conclusion that the quadrature identity forces a disk requires the additional Smirnov regularity assumption on the boundary.

What would settle it

An explicit rectifiable Jordan domain that satisfies the quadrature identity for every harmonic function yet is neither a disk nor a Smirnov domain would confirm the sharpness result; the paper supplies such a family.

read the original abstract

We study a weak formulation of Serrin's overdetermined boundary value problem in planar Jordan domains with rectifiable boundary. Our first result establishes that, within the class of rectifiable Jordan Smirnov domains, the corresponding harmonic quadrature identity, equivalent to Serrin's overdetermined problem, necessarily implies that the domain is a disk. Subsequently, we construct a family of rectifiable, non-Smirnov Jordan domains that nonetheless satisfy the same quadrature identity, thereby demonstrating the sharpness of the Smirnov regularity assumption. Consequently, there exists a nontrivial Jordan domain with rectifiable boundary satisfying the weak formulation of Serrin's overdetermined system in $\mathbb R^2$.

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.

Desk Editor's Note private letter to a colleague

The paper shows the Smirnov assumption is sharp for the planar Serrin problem by proving that rectifiable Jordan Smirnov domains satisfying the quadrature identity are disks and by giving explicit non-Smirnov rectifiable examples that still satisfy it.

read the letter

The key point is that Serrin's overdetermined problem in the plane has a sharp regularity threshold at the Smirnov condition for rectifiable Jordan domains. The paper proves that if such a domain is Smirnov and satisfies the weak quadrature identity, then it must be a disk. It then constructs a family of rectifiable non-Smirnov Jordan domains that satisfy the identity anyway. This separation is done cleanly. The positive implication uses tools from complex analysis to link the quadrature identity to the domain being a disk under the Smirnov assumption. The construction provides explicit examples that demonstrate the necessity of that assumption. The new element is this family of domains, which appears not to have been given before. The paper keeps the arguments grounded in the rectifiable setting and avoids overclaiming. The equivalence to the overdetermined system is treated as standard. The main thing to watch is whether the constructed domains truly fail the Smirnov property while keeping the boundary integrals correct. That part will need verification in the proofs. Otherwise, there are no obvious logical problems or missing steps in the outline. This work is for researchers focused on elliptic overdetermined problems and related integral identities in two dimensions. It gives a precise sharpness result with examples, so it is worth a careful read if you follow this area. I would send it to peer review because the claims are specific, the construction is explicit, and the overall logic holds up on the surface.

Referee Report

2 major / 2 minor

Summary. The paper studies a weak formulation of Serrin's overdetermined boundary value problem for harmonic functions in planar Jordan domains with rectifiable boundaries. It proves that, for the subclass of rectifiable Jordan Smirnov domains, the equivalent harmonic quadrature identity forces the domain to be a disk. It then constructs an explicit family of rectifiable non-Smirnov Jordan domains that satisfy the same quadrature identity, establishing the sharpness of the Smirnov regularity hypothesis. The main conclusion is the existence of nontrivial rectifiable Jordan domains satisfying the weak Serrin system in R².

Significance. If the results hold, the work provides a sharp characterization of boundary regularity for Serrin's problem in the plane, cleanly separating the positive implication under Smirnov regularity from explicit counterexamples without it. The construction of concrete rectifiable non-Smirnov examples is a notable strength, as it supplies falsifiable, verifiable instances that clarify the necessity of the regularity assumption. This advances the theory of overdetermined elliptic problems and harmonic quadrature identities by leveraging standard complex-analysis tools in a precise way.

major comments (2)

[Preliminaries / equivalence statement] The equivalence between the weak Serrin overdetermined system and the quadrature identity is central to both results; the derivation of this equivalence (likely in the preliminaries or §2) must explicitly track the boundary integrals to confirm that no additional regularity is smuggled in when passing from the weak formulation to the identity.
[Positive regularity theorem] In the positive result for Smirnov domains, the argument that the quadrature identity implies the domain is a disk relies on the Smirnov property to control the boundary behavior; the precise invocation of this property (e.g., in the relevant theorem or proposition) should be checked to ensure the implication is not circular with the rectifiability assumption.

minor comments (2)

[Abstract and §1] The abstract and introduction could more explicitly name the complex-analysis tools (e.g., conformal mappings or Smirnov-class properties) used in the proofs to improve readability for readers outside the immediate subfield.
[Construction of examples] In the construction section, the verification that the constructed domains are rectifiable yet fail to be Smirnov should include a brief check or reference to the definition of Smirnov regularity to make the sharpness claim self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment, and recommendation for minor revision. We address each major comment below and will incorporate clarifications to strengthen the exposition.

read point-by-point responses

Referee: [Preliminaries / equivalence statement] The equivalence between the weak Serrin overdetermined system and the quadrature identity is central to both results; the derivation of this equivalence (likely in the preliminaries or §2) must explicitly track the boundary integrals to confirm that no additional regularity is smuggled in when passing from the weak formulation to the identity.

Authors: We agree that explicit tracking of assumptions in the equivalence is essential. In Section 2 the derivation begins from the weak formulation (integrals against compactly supported test functions) and applies Green's identities to pass to boundary integrals. Rectifiability alone guarantees that the boundary is parametrized by arc length and that the relevant traces belong to L^1, so the boundary integrals are well-defined; the Smirnov property is never invoked at this stage. We will add a short remark at the close of Section 2 stating that the equivalence holds for any rectifiable Jordan domain and does not require the Smirnov condition. revision: yes
Referee: [Positive regularity theorem] In the positive result for Smirnov domains, the argument that the quadrature identity implies the domain is a disk relies on the Smirnov property to control the boundary behavior; the precise invocation of this property (e.g., in the relevant theorem or proposition) should be checked to ensure the implication is not circular with the rectifiability assumption.

Authors: We appreciate the referee's request for precision on this point. The proof of the positive result (Theorem 3.1) first extracts from the quadrature identity a holomorphic function whose boundary values satisfy a vanishing-moment condition. The Smirnov property is then used to ensure that nontangential limits exist almost everywhere and that the Cauchy integral formula applies in the strong sense needed to conclude that the function is constant, forcing the domain to be a disk. Rectifiability is used only to place the domain in the admissible class; Smirnov is an independent, strictly stronger hypothesis invoked at a single, clearly marked step. There is therefore no circularity. We will insert a brief clarifying sentence in the proof that distinguishes the two regularity assumptions and indicates the exact location where the Smirnov property is applied. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper separates a positive implication (rectifiable Jordan Smirnov domains satisfying the weak quadrature identity must be disks) from an explicit construction of rectifiable non-Smirnov counterexamples. Both parts rely on standard complex-analysis tools and are presented as independently verifiable without reducing any central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The equivalence between the overdetermined system and quadrature identity is stated directly and does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard background results from complex analysis and potential theory for Jordan domains with rectifiable boundaries; no free parameters or invented entities are introduced.

axioms (2)

standard math Harmonic functions in Jordan domains admit boundary integral representations under rectifiability
Invoked for the weak formulation of the quadrature identity.
domain assumption Smirnov domains possess additional analytic properties allowing the implication to a disk
Used to obtain the positive characterization result.

pith-pipeline@v0.9.0 · 5395 in / 1258 out tokens · 48213 ms · 2026-05-12T01:03:49.838151+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
We study a weak formulation of Serrin’s overdetermined boundary value problem in planar Jordan domains with rectifiable boundary... the corresponding harmonic quadrature identity, equivalent to Serrin’s overdetermined problem

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

Abanov, C

A. Abanov, C. B´ en´ eteau, D. Khavinson, R. Teodorescu,A free boundary problem associated with the isoperimetric inequality.J. Anal. Math. 139 (2019), no. 2, 677–696

work page 2019
[2]

Astala, T

K. Astala, T. Iwaniec, G. Martin,Elliptic partial differential equations and quasiconformal map- pings in the plane. Princeton Mathematical Series, 48. Princeton University Press, Princeton, NJ, 2009

work page 2009
[3]

B´ en´ eteau, D

C. B´ en´ eteau, D. Khavinson,The isoperimetric inequality via approximation theory and free bound- ary problemsComput. Methods Funct. Theory 6 (2006), no. 2, 253–274

work page 2006
[4]

Brandolini, C

B. Brandolini, C. Nitsch, P. Salani, and C. Trombetti,Serrin type overdetermined problems: an alternative proof. Arch. Rat. Mech. Anal. 190 (2008), 267–280

work page 2008
[5]

D. Cao, J. Wei, W. Zhan,Symmetry in Serrin-type overdetermined problems. arXiv:2506.02423

work page arXiv
[6]

Choulli and A

M. Choulli and A. Henrot,Use of the domain derivative to prove symmetry results in partial differential equations. Math. Nachr. 192 (1998), 91–103

work page 1998
[7]

J. B. Conway,Functions of one complex variable. II. Graduate Texts in Mathematics, 159. Springer-Verlag, New York, 1995

work page 1995
[8]

M. G. Delgadino, F. Maggi,Alexandrov’s theorem revisited.Anal. PDE 12 (2019), no. 6, 1613– 1642

work page 2019
[9]

Domingo-Pasarin, X

J. Domingo-Pasarin, X. Ros-Oton,Regularity of Lipschitz free boundaries for weak solutions of Alt–Caffarelli type problems, arXiv:2601.20493

work page arXiv
[10]

H. Dong, Y. R.-Y. Zhang,Serrin’s overdetermined theorem within Lipschitz domains, arXiv:2509.05155. 24 YI RU-YA ZHANG

work page arXiv
[11]

J. L. Doob,Classical potential theory and its probabilistic counterpart. Fundamental Principles of Mathematical Sciences, 262. Springer-Verlag, New York, 1984

work page 1984
[12]

P. L. Duren,Theory ofH p spaces. Pure and Applied Mathematics, Vol. 38. Academic Press, New York-London, 1970

work page 1970
[13]

P. L. Duren, H. S. Shapiro, A. L. Shields,Singular measures and domains not of Smirnov type. Duke Math. J. 33 (1966), 247–254

work page 1966
[14]

Ebenfelt, D

P. Ebenfelt, D. Khavinson, H. S. Shapiro,A free boundary problem related to single-layer poten- tials, Ann. Acad. Sci. Fenn. Math. 27 (2002), no. 1, 21–46

work page 2002
[15]

Epstein, M

B. Epstein, M. M. Schiffer,On the mean-value property of harmonic functions. J. Analyse Math. 14 (1965), 109–111

work page 1965
[16]

Figalli, Y

A. Figalli, Y. R.-Y. Zhang,Serrin’s overdetermined problem in rough domains, J. Eur. Math. Soc., To appear

work page
[17]

J. B. Garnett,Bounded analytic functions. Pure and Applied Mathematics, 96. Academic Press, Inc., New York-London, 1981

work page 1981
[18]

Gustafsson, D

B. Gustafsson, D. Khavinson,On approximation by harmonic vector fields, Houston J. Math. 20 (1994), no. 1, 75–92

work page 1994
[19]

Gustafsson, D

B. Gustafsson, D. Khavinson,On annihilators of harmonic vector fields, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 232 (1996), Issled. po Line ¨An. Oper. i Teor. Funktsi¨A. 24, 90–108, 215; translation in J. Math. Sci. (New York) 92 (1998), no. 1, 3600–3612

work page 1996
[20]

Khavinson,Symmetry and Uniform Approximation by Analytic Functions, Proc

D. Khavinson,Symmetry and Uniform Approximation by Analytic Functions, Proc. Amer. Math. Soc. 101 (1987), no. 3, 475–483

work page 1987
[21]

Khavinson, E

D. Khavinson, E. Lundberg,A note on arclength null quadrature domains, Bull. Lond. Math. Soc. 54 (2022), no. 1, 275–284

work page 2022
[22]

Khavinson, E

D. Khavinson, E. Lundberg, R. Teodorescu,An overdetermined problem in potential theoryPacific J. Math. 265 (2013), no. 1, 85–111

work page 2013
[23]

Khavinson, A

D. Khavinson, A. Y. Solynin, D. Vassilev,Overdetermined boundary value problems, quadrature domains and applicationsComput. Methods Funct. Theory 5 (2005), no. 1, 19–48

work page 2005
[24]

M. V. Keldysh and M. A. Lavrentiev,Sur la repr´ esentation conforme des domaines limit´ es par des courbes rectifiables, Ann. Sci. ´Ecole Norm. Sup. 54 (1937), 1–38

work page 1937
[25]

Lehto,Univalent functions and Teichm¨ uller spaces

O. Lehto,Univalent functions and Teichm¨ uller spaces. Graduate Texts in Mathematics, 109. Springer-Verlag, New York, 1987

work page 1987
[26]

Lewis, , A

J. Lewis, , A. Vogel,On pseudospheres. Rev. Mat. Iberoamericana 7 (1991), no. 1, 25–54

work page 1991
[27]

Lewis, A

J. Lewis, A. Vogel,On pseudospheres that are quasispheres.Rev. Mat. Iberoamericana 17 (2001), no. 2, 221–255

work page 2001
[28]

Lewis, A

J. Lewis, A. Vogel,A symmetry theorem revisited.Proc. Amer. Math. Soc. 130 (2002), no. 2, 443–451

work page 2002
[29]

Nitsch, C.Trombetti,The classical overdetermined Serrin problem

C. Nitsch, C.Trombetti,The classical overdetermined Serrin problem. Complex Var. Elliptic Equ. 63 (2018), no. 7-8, 1107–1122

work page 2018
[30]

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

work page 1989
[31]

Pommerenke,Boundary behaviour of conformal maps.Fundamental Principles of Mathemat- ical Sciences, 299

Ch. Pommerenke,Boundary behaviour of conformal maps.Fundamental Principles of Mathemat- ical Sciences, 299. Springer-Verlag, Berlin, 1992

work page 1992
[32]

P. W. Schaefer,On nonstandard overdetermined boundary value problems.Nonlinear Anal. 47 (2001), no. 4, 2203–2212

work page 2001
[33]

Serrin,A symmetry problem in potential theory

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

work page 1971
[34]

J. S. Spraker,Note on arc-length and harmonic measure. Proc. Amer. Math. Soc. 105 (1989), no. 3, 664–665. SERRIN’S OVERDETERMINED PROBLEM AND SHARP HARMONIC IDENTITIES 25

work page 1989
[35]

H. F. Weinberger,Remark on the preceding paper of Serrin. Arch. Ration. Mech. Anal. 43 (1971), 319–320. State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China Academy of Mathematics and Systems Science, the Chinese Academy of Sciences, Beijing 100190, China Email addres...

work page 1971