Symmetry in Serrin-type overdetermined problems

Daomin Cao; Juncheng Wei; Weicheng Zhan

REVIEW 4 major objections 4 minor 1 cited by

Symmetry in Serrin-type overdetermined problems

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

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

Pith's one-line read The paper proves that for a broad class of possibly degenerate elliptic equations, any bounded domain admitting a positive weak solution with $u\to 0$ and $|\nabla u|\to c$ uniformly near the boundary must be a ball; for ring-shaped…

desk verdict A serious Serrin-type paper with a solid Section 3 and a Section 4 that is a promise rather than a proof; referee it, but require the ring-shaped lemmas and test-function admissibility to be written out. read the letter →

arxiv 2506.02423 v1 pith:GQPAFRK2 submitted 2025-06-03 math.AP

Daomin Cao , Juncheng Wei , Weicheng Zhan This is my paper

classification math.AP MSC 35N2553C2435J70

keywords overdeterminedellipticproblemsdegenerateoperatorsnonsmoothdomainscontinuousSteinersymmetrizationlocalsymmetryring-shapedp-Laplacianrigidity

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 proves a symmetry rigidity theorem for overdetermined elliptic problems: if a positive weak solution of a quasilinear equation with possibly degenerate ellipticity exists on an arbitrary bounded domain, with the value tending to zero and the gradient tending to a constant near the boundary, then the domain must be a ball. No smoothness of the boundary is assumed. The same conclusion holds when the boundary constant is zero, provided the gradient does not vanish near the boundary, and an analogous statement says that in a ring-shaped domain the inner and outer boundaries are both balls, but not necessarily concentric. The result matters because it removes smoothness and non-degeneracy assumptions that earlier proofs needed, and because the conclusion is best possible: explicit non-radial solutions exist in balls, and nonconcentric ring domains occur.

What carries the argument

The proof is carried by continuous Steiner symmetrization (CStS), a one-parameter flow $T_t(u)$ that rearranges each superlevel set of $u$ into intervals of the same length in a fixed direction, preserving measure and decreasing convex gradient energies. Building on the local-symmetry criterion, if the $G$-energy difference $\int G(|\nabla u_t|)-\int G(|\nabla u|)$ is $o(t)$ as $t\to 0$ for strictly convex $G$, then $u$ is locally symmetric in that direction; a locally symmetric function's superlevel sets are countable unions of disjoint balls, and connectedness of $\Omega$ makes $\Omega$ a single ball. The approximation part truncates $u$ by levels $(u-\gamma)_+$ near the boundary, with a monotonicity lemma showing the lowest truncation gives the worst energy drop, plus co-area and bounded-variation estimates controlling the boundary terms; for ring-shaped domains the truncation $T^\beta_\gamma[u]$ handles both inner and outer boundaries.

What would settle it

Check the zero-extension Lipschitz claim directly: for a cusped bounded domain satisfying all hypotheses, compute $\sup_{x,y}|\bar u(x)-\bar u(y)|/|x-y|$ for the zero extension $\bar u$. If this quantity is infinite for some allowed solution, Theorem 1.1 has no proof as written; if one can prove from (1.6) alone that $u(x)\le C\,\operatorname{dist}(x,\partial\Omega)$ near the cusp, the gap closes.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that this symmetry is a robust geometric constraint: for any bounded domain $\Omega$ with no regularity assumed on $\partial\Omega$, any $f$ admitting a decomposition into a continuous part plus a function of bounded variation, and any strictly increasing $g$ with $g(0)=0$, a positive weak solution of $-\operatorname{div}(g(|\nabla u|)\nabla u/|\nabla u|)=f(u)$ with $u\to 0$ and $|\nabla u|\to c>0$ uniformly near $\partial\Omega$ forces $\Omega$ to be a ball. If $c=0$, the same conclusion holds under the stronger uniform condition $0<|\nabla u|<\varepsilon$ near the boundary. For ring-shaped domains, with the value and normal derivative prescribed on both boundary components and $0<u<\eta$, both components must be balls, although they need not be concentric, and nonconcentric examples show the statement is optimal.

Load-bearing premise

The load-bearing premise is the assertion, made at the start of Section 3 with no proof, that extending $u$ by zero outside $\Omega$ gives a globally Lipschitz function on $\mathbb{R}^N$; all the symmetrization estimates use that Lipschitz constant.

Editorial extensions

If this is right

The classical rigidity statement now covers arbitrary bounded domains with no boundary regularity; connectedness of the superlevel set turns local symmetry into a single ball.
Degenerate operators such as the $p$-Laplacian for $p>2$ and the capillary mean-curvature operator fall inside the theorem, and the solution need not itself be radially symmetric inside the ball.
The $c=0$ case is included under the nonvanishing-gradient condition (1.8), so the result does not require the normal derivative constant to be positive.
For ring-shaped domains the conclusion stops short of concentricity: nonconcentric examples exist, so the theorem is optimal.
If one boundary component of a ring domain is already known to be a ball, the normal-derivative data on that component can be dropped, as noted in Remark 4.6.

Reading between the lines

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

The unproved Lipschitz zero-extension assertion is the step to scrutinize; if it fails for some cusped domain, the theorem would need a regularity hypothesis on $\partial\Omega$, and if it can be proved from (1.6) alone, the gap disappears.
The monotonicity-lemma formalism may extend to other rearrangement flows, such as spherical symmetrization, and to systems with a convex gradient energy, giving rigidity for other overdetermined geometries.
For truly degenerate boundary data where $|\nabla u|\to 0$ without the lower bound in (1.8), the co-area estimates lose their uniform control of $g(|\nabla u|)$, so a different approximation would be needed.

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.

Desk Editor's Note

read the letter

The headline: Theorems 1.1 and 1.3 are a substantial step — Serrin symmetry for degenerate operators on arbitrary bounded domains, including the c=0 case. If the proofs hold up, this is a major result, and the nonconcentric example is a nice sharpness touch. The paper deserves refereeing, not a desk reject.

What is actually new: Brock's CStS argument for c>0 is adapted to arbitrary bounded domains without smoothness assumptions, and the c=0 case plus the BV-decomposed nonlinearity are genuinely new. The monotonicity lemma (Lemma 3.1) is a clean idea and does real work. The literature review is careful; the self-citation is peripheral and not part of the proof chain. I see no circular reasoning.

The soft spots, in proportion: - The unproved claim that the zero extension of u is Lipschitz (start of Section 3) looks worse than it is. Under (1.7) or (1.8), |∇u| is bounded near ∂Ω, and a standard closest-boundary-point argument gives |u(x)|≤C dist(x,∂Ω), which yields the Lipschitz extension. The paper should write this out, but it is not a fatal gap. - Section 4 is the real problem. Lemmas 4.1–4.5 are stated without proofs, and the proof of Theorem 1.5 is explicitly a sketch. The stress-test worry about the test function is not as devastating as stated: the truncation is constant in a full neighborhood of ∂Ω1, and for small t the CStS moves the relevant level sets only by O(t), so the difference [T]^t−T does vanish near ∂Ω1 if one uses the uniform positive distance from ∂Ω1 to the level set u=γ+β. That argument is not in the paper, but it is plausibly repairable. What remains is that the ring-shaped theorem is currently unproved as written because the lemmas are missing. That is a genuine gap in exposition and verification, not a trivial typo. - Minor: Lemma 3.5's assertion that the support of v^t is in Ω for small t should be justified, though it follows from the same positive-distance observation.

Who gets value: anyone working on overdetermined problems, CStS, or degenerate quasilinear equations. The paper should go to a serious referee. I would recommend major revision: write out the Lipschitz argument, prove the Section 4 lemmas, and make the test-function admissibility explicit. The core ideas are sound; the presentation is not yet there.

Referee Report

4 major / 4 minor

Summary. The paper studies overdetermined problems for the quasilinear elliptic equation (1.4), -div(g(|∇u|)∇u/|∇u|)=f(u), with g continuous and strictly increasing, g(0)=0, and f of the form continuous plus bounded variation. The main results are Theorems 1.1 and 1.3: for an arbitrary bounded domain Ω and u∈C^1(Ω) a positive weak solution satisfying the weak boundary conditions (1.6) (with c>0) or (1.8) (with c=0), Ω must be a ball. Theorem 1.5 extends the conclusion to ring-shaped domains Ω=Ω0∖Ω1, asserting that both Ω0 and Ω1 must be balls (not necessarily concentric). The proofs are based on continuous Steiner symmetrization (CStS): after extending u and using truncations, the authors prove that the derivative of the symmetrized Dirichlet-type energy with respect to the CStS parameter is o(t), invoke Brock's local-symmetry criterion (Proposition 2.7), and then deduce that locally symmetric level sets force the domain to be a ball. The paper also provides explicit examples showing that in the p-Laplacian case nonsymmetric solutions can exist in a ball with the required boundary data, so the theorems do not assert radial symmetry of u.

Significance. If the proofs are completed, the results would be a substantial advance: they would unify and extend earlier Serrin-type symmetry results by Brock [10], Fragalà–Gazzola–Kawohl [27], and others to settings with nonconstant f of bounded variation, potentially degenerate ellipticity, and completely nonsmooth boundaries, and they would give the first symmetry result for ring-shaped domains in this degenerate setting. The CStS framework is well suited to the problem, and the monotonicity lemma (Lemma 3.1) is an elegant and potentially reusable device. The paper is clearly organized and includes explicit examples that correctly avoid the false conclusion that the solution itself must be radial. However, the current manuscript contains several load-bearing unproved assertions: the global Lipschitzness of the zero extension, the admissibility of the inner-boundary truncation as a test function, and the omission of all proofs of Lemmas 4.1–4.5 in the proof of Theorem 1.5. The significance is therefore conditional on those gaps being resolved.

major comments (4)

[Section 3, opening paragraph] The statement 'It follows from (1.7) or (1.8) that u is Lipschitz in R^N' is asserted without proof. A C^1 function on an arbitrary bounded open set need not have bounded gradient, and extending by zero across a non-Lipschitz boundary need not produce a Lipschitz function; uniform convergence to constant boundary values together with |∇u| tending to a constant does not by itself control the oscillation of u in a cusp or give a global Lipschitz constant. This Lipschitz constant L is used repeatedly: in Proposition 2.4(10), in the inclusions (3.6)–(3.7), and in the pointwise bound (3.11) that underlies Lemma 3.5 and the test-function argument. A proof, or a substitute argument that avoids global Lipschitzness, must be supplied.
[Section 4, Lemmas 4.1–4.5] Lemmas 4.1–4.5 are stated without proofs, with the text saying only that they follow by 'straightforward modifications' of the previous section. These lemmas are not cosmetic: Lemma 4.2 provides the essential convexity inequality (4.1), Lemma 4.4 controls the h-integral term, and Lemma 4.5 controls the f-term in the weak formulation. Since the proof of Theorem 1.5 depends on all of them, each must be proved in full, especially because the two-sided truncation T^β_γ introduces boundary interactions with both ∂Ω0 and ∂Ω1 that are absent in Section 3.
[Section 4, proof of Theorem 1.5, test function] The proof uses φ_t = [T^{β1}_{γ1}[u]]^t − T^{β1}_{γ1}[u] as a test function in (1.5), but it is not shown that φ_t ∈ H^1_0(Ω). Since u→η on ∂Ω1 and u≡η in Ω1 after extension, and β1<η−γ1, the function T^{β1}_{γ1}[u] equals β1 in a full neighborhood of ∂Ω1 inside Ω; its trace on ∂Ω1 is therefore β1, not 0. Continuous Steiner symmetrization does not preserve pointwise boundary values, so the trace of [T^{β1}_{γ1}[u]]^t on ∂Ω1 is in general not β1. Hence φ_t does not have zero trace on the inner boundary and need not lie in H^1_0(Ω). The weak formulation (1.5) is only justified for H^1_0 test functions; using φ_t introduces an uncomputed boundary term on ∂Ω1. Remark 4.6 addresses only the case where Ω1 is already known to be a ball, which is not available at this stage of the proof.
[Section 4, reduction to truncations] The claim that it suffices to prove that T^{β0}_{γ0}[u] is locally symmetric for every β0>γ0>0 is asserted without justification. Even if each truncation is locally symmetric in the sense of Definition 2.5, the passage to local symmetry of u itself requires an argument: one must show that the symmetries of the family of annular level sets {γ<u<β} imply the reflection property of the gradients of u at all its regular level sets. This implication is not immediate and should be proved explicitly.

minor comments (4)

[Section 4, inner component argument] In the proof of Theorem 1.5, the assertion that Ω1 = ∩_{n=1}^∞ B^(n) is a closed ball and that this 'implies Ω1 must be an open ball' is imprecise: an intersection of open balls is not generally open, so the argument should either use closures or state that Ω1 coincides with the interior of the intersection.
[Example 1.6] Please verify the computations in Example 1.6. With v≡1 for |x|<5 and x1∈B2, the value of u=v+w(x−x1) on ∂B_{1/2}(x1) appears to be 1+(3/4)^s, not (3/4)^s as stated; if a different normalization is intended, it should be explained.
[Proposition 2.4(5)] There is a typo: 'Cavalieri's pinciple' should be 'Cavalieri's principle'.
[Lemma 3.4] The constants C_0 and C_1 are used inconsistently: C_0 denotes both the uniform bound from Lemma 3.3 and the geometric constant in (3.7). Rename one of them to avoid confusion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the symmetry conclusion is derived from the PDE, the boundary conditions, and external continuous Steiner symmetrization results, not from the assumptions.

full rationale

The derivation chain is not circular. Theorems 1.1 and 1.3 are proved by showing that the continuous Steiner symmetrization leaves the G-energy of truncated level functions unchanged to first order, invoking Brock's external Proposition 2.7 to conclude local symmetry, and then using Proposition 2.6 to conclude that the connected super-level set is a ball. None of the assumptions (A), (1.6), or (1.8) define the target conclusion; the statement that the domain is a ball is never inserted as an input. The only self-citations in the paper, [60] and [61], appear in the literature review and are not used in any proof step. The proof uses Brock's CStS results [7,8,10] as external mathematical facts with stated hypotheses, not as an unverified self-citation. Two technical assertions are unproved in the text—the global Lipschitzness of the zero extension in Sections 3 and 4, and the admissibility of the test function in the sketched proof of Theorem 1.5—but these are correctness or rigor gaps, not circular reductions, because they do not presuppose or rename the conclusion. No fitted parameters, no predictions recovered from inputs, and no uniqueness theorem imported from the authors' own prior work appear in the proof chain. Hence the circularity burden is zero.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No parameters are fitted; this is a pure rigidity theorem. The proof imports standard CStS theory from Brock and needs the solution to be Lipschitz after zero extension, which is asserted rather than derived.

assumptions (4)

standard math Properties of continuous Steiner symmetrization (Proposition 2.4), including equimeasurability, commutativity, Lp continuity, and the gradient energy inequality (2.1), hold for the CStS as constructed by Brock.
Invoked in the proofs of Lemmas 3.1, 3.4, 3.5 and Theorem 1.1; these are cited from Brock [7,8,10].
domain assumption The level sets {u=γ} are C^1 hypersurfaces for small γ and the coarea formula applies.
Used in Lemmas 3.3 and 3.4 via the implicit function theorem, requiring |∇u|>0 near the boundary. The paper asserts this follows from (1.7)/(1.8) but does not discuss domains with non-smooth boundaries.
domain assumption The zero extension of u to R^N is Lipschitz.
Stated without proof at the start of Section 3 and used repeatedly (Lipschitz constant L in Lemmas 3.4, 3.5 and Proposition 2.4(10)). This is the paper's most fragile premise.
standard math Brock's local symmetry criterion (Proposition 2.7) applies to the truncated functions (u-γ)_+ and T^β_γ[u].
The criterion requires u∈H^1(R^N)∩C(R^N) with compact support, which is asserted based on the Lipschitz extension.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Symmetry in Serrin-type overdetermined problems." pith.science (2026). https://pith.science/paper/GQPAFRK2

@misc{pith2026250602423,
  author       = {Pith},
  title        = {Pith review of: Symmetry in Serrin-type overdetermined problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GQPAFRK2}},
  note         = {Machine review of arXiv:2506.02423}
}

read the original abstract

This paper investigates the geometric constraints imposed on a domain by overdetermined problems for partial differential equations. Serrin's symmetry results are extended to overdetermined problems with potentially degenerate ellipticity in nonsmooth bounded domains. Furthermore, analogous symmetry results are established for ring-shaped domains. The proof relies on continuous Steiner symmetrization, along with a carefully constructed approximation argument.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

An anisotropic Serrin's problem in general domains
math.AP 2026-03 accept novelty 6.0 of 10

A weak solution of the anisotropic overdetermined torsion problem on an Ahlfors–David regular, weakly uniformly rectifiable set of finite perimeter exists if and only if the domain is a Wulff shape.

Reference graph

Works this paper leans on

63 extracted references · 57 canonical work pages · cited by 1 Pith paper

[10]

height 2pt depth -1.6pt width 23pt, Symmetry for a general class of overdetermined elliptic problems , NoDEA Nonlinear Differential Equations Appl., 23 (2016), pp. Art. 36, 16

work page 2016
[27]

Fragal\`a, F

I. Fragal\`a, F. Gazzola, and B. Kawohl , Overdetermined problems with possibly degenerate ellipticity, a geometric approach , Math. Z., 254 (2006), pp. 117--132

work page 2006
[1]

Agostiniani, S

V. Agostiniani, S. Borghini, and L. Mazzieri , On the S errin problem for ring-shaped domains , to appear in J. Eur. Math. Soc. (JEMS)

work page
[2]

A. D. Aleksandrov , Uniqueness theorems for surfaces in the large. V , Vestnik Leningrad. Univ., 13 (1958), pp. 5--8

work page 1958
[3]

A. D. Alexandrov , A characteristic property of spheres , Ann. Mat. Pura Appl. (4), 58 (1962), pp. 303--315

work page 1962
[4]

Borghini , Symmetry results for S errin-type problems in doubly connected domains , Math

S. Borghini , Symmetry results for S errin-type problems in doubly connected domains , Math. Eng., 5 (2023), pp. Paper No. 027, 16

work page 2023
[5]

Brandolini, C

B. Brandolini, C. Nitsch, P. Salani, and C. Trombetti , On the stability of the S errin problem , J. Differential Equations, 245 (2008), pp. 1566--1583

work page 2008
[6]

height 2pt depth -1.6pt width 23pt, Serrin-type overdetermined problems: an alternative proof , Arch. Ration. Mech. Anal., 190 (2008), pp. 267--280

work page 2008

Show all 63 references

[7]

Brock , Continuous S teiner-symmetrization , Math

F. Brock , Continuous S teiner-symmetrization , Math. Nachr., 172 (1995), pp. 25--48

1995
[8]

Indian Acad

height 2pt depth -1.6pt width 23pt, Continuous rearrangement and symmetry of solutions of elliptic problems , Proc. Indian Acad. Sci. Math. Sci., 110 (2000), pp. 157--204

2000
[9]

height 2pt depth -1.6pt width 23pt, Rearrangements and applications to symmetry problems in PDE , in Handbook of differential equations: stationary partial differential equations. V ol. IV , Handb. Differ. Equ., Elsevier/North-Holland, Amsterdam, 2007, pp. 1--60

2007
[11]

Brock and A

F. Brock and A. Henrot , A symmetry result for an overdetermined elliptic problem using continuous rearrangement and domain derivative , Rend. Circ. Mat. Palermo (2), 51 (2002), pp. 375--390

2002
[12]

Buttazzo and B

G. Buttazzo and B. Kawohl , Overdetermined boundary value problems for the - L aplacian , Int. Math. Res. Not. IMRN, (2011), pp. 237--247

2011
[13]

Cavallina , The simultaneous asymmetric perturbation method for overdetermined free boundary problems , Nonlinear Anal., 215 (2022), pp

L. Cavallina , The simultaneous asymmetric perturbation method for overdetermined free boundary problems , Nonlinear Anal., 215 (2022), pp. Paper No. 112685, 17

2022
[14]

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), pp. 91--103

1998
[15]

Cianchi and P

A. Cianchi and P. Salani , Overdetermined anisotropic elliptic problems , Math. Ann., 345 (2009), pp. 859--881

2009
[16]

Ciraolo and L

G. Ciraolo and L. Vezzoni , On S errin's overdetermined problem in space forms , Manuscripta Math., 159 (2019), pp. 445--452

2019
[17]

Cort\'azar, M

C. Cort\'azar, M. Elgueta, and P. Felmer , Symmetry in an elliptic problem and the blow-up set of a quasilinear heat equation , Comm. Partial Differential Equations, 21 (1996), pp. 507--520

1996
[18]

DiBenedetto , C 1+ \ local regularity of weak solutions of degenerate elliptic equations , Nonlinear Anal., 7 (1983), pp

E. DiBenedetto , C 1+ \ local regularity of weak solutions of degenerate elliptic equations , Nonlinear Anal., 7 (1983), pp. 827--850

1983
[19]

T. D. Drivas and M. Nualart , A geometric characterization of steady laminar flow , arXiv:2410.18946

arXiv
[20]

Enciso, A

A. Enciso, A. J. Fernández, D. Ruiz, and P. Sicbaldi , A schiffer-type problem for annuli with applications to stationary planar E uler flows , to appear in Duke Math. J
[21]

L. C. Evans and R. F. Gariepy , Measure theory and fine properties of functions , Textbooks in Mathematics, CRC Press, Boca Raton, FL, revised ed., 2015

2015
[22]

Farina and B

A. Farina and B. Kawohl , Remarks on an overdetermined boundary value problem , Calc. Var. Partial Differential Equations, 31 (2008), pp. 351--357

2008
[23]

Farina and E

A. Farina and E. Valdinoci , On partially and globally overdetermined problems of elliptic type , Amer. J. Math., 135 (2013), pp. 1699--1726

2013
[24]

Figalli and R.-Y

A. Figalli and R.-Y. Y. Zhang , Serrin's overdetermined problem in rough domains , arXiv:2407.02293

arXiv
[25]

F\"oldes , On S errin's symmetry result in nonsmooth domains and its applications , Adv

J. F\"oldes , On S errin's symmetry result in nonsmooth domains and its applications , Adv. Differential Equations, 18 (2013), pp. 523--548

2013
[26]

Fragal\`a , Symmetry results for overdetermined problems on convex domains via B runn- M inkowski inequalities , J

I. Fragal\`a , Symmetry results for overdetermined problems on convex domains via B runn- M inkowski inequalities , J. Math. Pures Appl. (9), 97 (2012), pp. 55--65

2012
[28]

Garofalo and J

N. Garofalo and J. L. Lewis , A symmetry result related to some overdetermined boundary value problems , Amer. J. Math., 111 (1989), pp. 9--33

1989
[29]

Gazzola , No geometric approach for general overdetermined elliptic problems with nonconstant source , Matematiche (Catania), 60 (2005), pp

F. Gazzola , No geometric approach for general overdetermined elliptic problems with nonconstant source , Matematiche (Catania), 60 (2005), pp. 259--268

2005
[30]

Kamburov and L

N. Kamburov and L. Sciaraffia , Nontrivial solutions to S errin's problem in annular domains , Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire, 38 (2021), pp. 1--22

2021
[31]

Kawohl , Rearrangements and convexity of level sets in PDE , vol

B. Kawohl , Rearrangements and convexity of level sets in PDE , vol. 1150 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1985

1985
[32]

Kawohl and M

B. Kawohl and M. Lucia , Some results related to S chiffer's problem , J. Anal. Math., 142 (2020), pp. 667--696

2020
[33]

Khavinson, A

D. Khavinson, A. Y. Solynin, and D. Vassilev , Overdetermined boundary value problems, quadrature domains and applications , Comput. Methods Funct. Theory, 5 (2005), pp. 19--48

2005
[34]

Kumaresan and J

S. Kumaresan and J. Prajapat , Serrin's result for hyperbolic space and sphere , Duke Math. J., 91 (1998), pp. 17--28

1998
[35]

Lee and K

J. Lee and K. Seo , Overdetermined problems in annular domains with a spherical-boundary component in space forms , J. Inequal. Appl., (2023), pp. Paper No. 45, 22

2023
[36]

Lian and P

Y. Lian and P. Sicbaldi , Rigidity results for the capillary overdetermined problem , arXiv:2503.14215

arXiv
[37]

E. H. Lieb and M. Loss , Analysis , vol. 14 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, second ed., 2001

2001
[38]

Magnanini and G

R. Magnanini and G. Poggesi , On the stability for A lexandrov's soap bubble theorem , J. Anal. Math., 139 (2019), pp. 179--205

2019
[39]

Nitsch and C

C. Nitsch and C. Trombetti , The classical overdetermined S errin problem , Complex Var. Elliptic Equ., 63 (2018), pp. 1107--1122

2018
[40]

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

1989
[41]

Prajapat , Serrin's result for domains with a corner or cusp , Duke Math

J. Prajapat , Serrin's result for domains with a corner or cusp , Duke Math. J., 91 (1998), pp. 29--31

1998
[42]

Pucci and J

P. Pucci and J. Serrin , The maximum principle , vol. 73 of Progress in Nonlinear Differential Equations and their Applications, Birkh\"auser Verlag, Basel, 2007

2007
[43]

W. Reichel , Radial symmetry by moving planes for semilinear elliptic BVP s on annuli and other non-convex domains , in Elliptic and parabolic problems ( P ont-\`a- M ousson, 1994), vol. 325 of Pitman Res. Notes Math. Ser., Longman Sci. Tech., Harlow, 1995, pp. 164--182

1994
[44]

Reichel , Radial symmetry for elliptic boundary-value problems on exterior domains , Arch

W. Reichel , Radial symmetry for elliptic boundary-value problems on exterior domains , Arch. Rational Mech. Anal., 137 (1997), pp. 381--394

1997
[45]

A. Ros, D. Ruiz, and P. Sicbaldi , A rigidity result for overdetermined elliptic problems in the plane , Comm. Pure Appl. Math., 70 (2017), pp. 1223--1252

2017
[46]

height 2pt depth -1.6pt width 23pt, Solutions to overdetermined elliptic problems in nontrivial exterior domains , J. Eur. Math. Soc. (JEMS), 22 (2020), pp. 253--281

2020
[47]

Ros and P

A. Ros and P. Sicbaldi , Geometry and topology of some overdetermined elliptic problems , J. Differential Equations, 255 (2013), pp. 951--977

2013
[48]

Ruiz , Symmetry results for compactly supported steady solutions of the 2 D E uler equations , Arch

D. Ruiz , Symmetry results for compactly supported steady solutions of the 2 D E uler equations , Arch. Ration. Mech. Anal., 247 (2023), pp. Paper No. 40, 25

2023
[49]

P. W. Schaefer , On nonstandard overdetermined boundary value problems , in Proceedings of the T hird W orld C ongress of N onlinear A nalysts, P art 4 ( C atania, 2000), vol. 47, 2001, pp. 2203--2212

2000
[50]

Serrin , A symmetry problem in potential theory , Arch

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

1971
[51]

Shahgholian , Diversifications of S errin's and related symmetry problems , Complex Var

H. Shahgholian , Diversifications of S errin's and related symmetry problems , Complex Var. Elliptic Equ., 57 (2012), pp. 653--665

2012
[52]

Sicbaldi , A short survey on overdetermined elliptic problems in unbounded domains , in Current trends in analysis, its applications and computation, Trends Math

P. Sicbaldi , A short survey on overdetermined elliptic problems in unbounded domains , in Current trends in analysis, its applications and computation, Trends Math. Res. Perspect., Birkh\"auser/Springer, Cham, 2022, pp. 451--461

2022
[53]

Sirakov , Symmetry for exterior elliptic problems and two conjectures in potential theory , Ann

B. Sirakov , Symmetry for exterior elliptic problems and two conjectures in potential theory , Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire, 18 (2001), pp. 135--156

2001
[54]

273--295

height 2pt depth -1.6pt width 23pt, Overdetermined Elliptic Problems in Physics , Springer Netherlands, Dordrecht, 2002, pp. 273--295

2002
[55]

Talenti , The art of rearranging , Milan J

G. Talenti , The art of rearranging , Milan J. Math., 84 (2016), pp. 105--157

2016
[56]

Temam , Navier- S tokes equations , AMS Chelsea Publishing, Providence, RI, 2001

R. Temam , Navier- S tokes equations , AMS Chelsea Publishing, Providence, RI, 2001. Theory and numerical analysis, Reprint of the 1984 edition

2001
[57]

Tolksdorf , Regularity for a more general class of quasilinear elliptic equations , J

P. Tolksdorf , Regularity for a more general class of quasilinear elliptic equations , J. Differential Equations, 51 (1984), pp. 126--150

1984
[58]

Traizet , Classification of the solutions to an overdetermined elliptic problem in the plane , Geom

M. Traizet , Classification of the solutions to an overdetermined elliptic problem in the plane , Geom. Funct. Anal., 24 (2014), pp. 690--720

2014
[59]

A. L. Vogel , Symmetry and regularity for general regions having a solution to certain overdetermined boundary value problems , Atti Sem. Mat. Fis. Univ. Modena, 40 (1992), pp. 443--484

1992
[60]

Wang and J

K. Wang and J. Wei , On S errin's overdetermined problem and a conjecture of B erestycki, C affarelli and N irenberg , Comm. Partial Differential Equations, 44 (2019), pp. 837--858

2019
[61]

Wang and W

Y. Wang and W. Zhan , On the rigidity of the 2d incompressible euler equations , arXiv:2307.00197v2

arXiv
[62]

H. F. Weinberger , Remark on the preceding paper of S errin , Arch. Rational Mech. Anal., 43 (1971), pp. 319--320

1971
[63]

N. B. Willms, G. M. L. Gladwell, and D. Siegel , Symmetry theorems for some overdetermined boundary value problems on ring domains , Z. Angew. Math. Phys., 45 (1994), pp. 556--579

1994

Pith tools

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

[1] [10]

height 2pt depth -1.6pt width 23pt, Symmetry for a general class of overdetermined elliptic problems , NoDEA Nonlinear Differential Equations Appl., 23 (2016), pp. Art. 36, 16

work page 2016

[2] [27]

Fragal\`a, F

I. Fragal\`a, F. Gazzola, and B. Kawohl , Overdetermined problems with possibly degenerate ellipticity, a geometric approach , Math. Z., 254 (2006), pp. 117--132

work page 2006

[3] [1]

Agostiniani, S

V. Agostiniani, S. Borghini, and L. Mazzieri , On the S errin problem for ring-shaped domains , to appear in J. Eur. Math. Soc. (JEMS)

work page

[4] [2]

A. D. Aleksandrov , Uniqueness theorems for surfaces in the large. V , Vestnik Leningrad. Univ., 13 (1958), pp. 5--8

work page 1958

[5] [3]

A. D. Alexandrov , A characteristic property of spheres , Ann. Mat. Pura Appl. (4), 58 (1962), pp. 303--315

work page 1962

[6] [4]

Borghini , Symmetry results for S errin-type problems in doubly connected domains , Math

S. Borghini , Symmetry results for S errin-type problems in doubly connected domains , Math. Eng., 5 (2023), pp. Paper No. 027, 16

work page 2023

[7] [5]

Brandolini, C

B. Brandolini, C. Nitsch, P. Salani, and C. Trombetti , On the stability of the S errin problem , J. Differential Equations, 245 (2008), pp. 1566--1583

work page 2008

[8] [6]

height 2pt depth -1.6pt width 23pt, Serrin-type overdetermined problems: an alternative proof , Arch. Ration. Mech. Anal., 190 (2008), pp. 267--280

work page 2008