Pith. sign in

REVIEW 5 minor 31 references

An anisotropic Serrin's problem in general domains

T0 review · 0 major / 5 minor · reviewed 2026-07-15 · grok-4.5

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

Pith's one-line read Anisotropic overdetermined torsion forces rough domains to be Wulff shapes.

desk verdict Solid anisotropic extension of the authors’ own rough-domain Serrin theorem; the new localization and linearized Green arguments close the proof under standard weak-UR hypotheses that cover Lipschitz domains. read the letter →

arxiv 2603.06119 v2 pith:2R4BZQNI submitted 2026-03-06 math.AP

Alessio Figalli , Yi Ru-Ya Zhang This is my paper
classification math.AP MSC 35N2535J62
keywords overdeterminedproblemsanisotropicLaplacianWulffshapesetsoffiniteperimeterSerrinrigidityβ-numbersAhlfors–Davidregularity
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

Serrin’s classical theorem says that if a domain solves the overdetermined torsion problem for the ordinary Laplacian, it must be a ball. The same rigidity question for the anisotropic Laplacian—where surface tension is given by a general convex norm—had been settled only for smooth domains, and Laplacian-specific proofs did not transfer. This paper shows that the conclusion survives for far rougher domains: any bounded indecomposable set of finite perimeter whose reduced boundary is Ahlfors–David regular and satisfies a global Jones β-square bound admits a weak solution if and only if the domain is a translate and dilation of the Wulff body of the anisotropy. The solution is then unique and explicit. Lipschitz domains fall inside the hypotheses, so the result settles the anisotropic Serrin problem for every Lipschitz domain. The technical novelty is a localization argument that recovers a Weinberger-type volume identity without global second derivatives, using the β-bound to control the boundary layer.

What carries the argument

The volume identity (n+2)∫_Ω u = c² n |Ω|, recovered by testing with dilation difference quotients and a β-controlled localization that replaces the missing global chain rule; once available, P-function subharmonicity forces equality and hence Wulff rigidity.

What would settle it

Exhibit a bounded indecomposable set of finite perimeter that is Ahlfors–David regular, admits a weak anisotropic overdetermined solution, yet is not homothetic to the Wulff body (or whose β-square integral diverges while a solution still exists).

Watch

Extended reading notes

Core claim

Under Ahlfors–David regularity and a global β-number square-function bound on the reduced boundary, a distributional solution of the anisotropic overdetermined torsion problem exists if and only if, up to translation, the domain is homothetic to the Wulff body and the solution is the corresponding quadratic function of the dual norm.

Load-bearing premise

The global square-function bound on Jones β-numbers of the reduced boundary; without it the boundary-layer estimate needed for the volume identity fails.

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

0 major / 5 minor

Summary. The paper proves an anisotropic Serrin rigidity theorem for rough domains: for a uniformly convex C^{2,γ} anisotropy H, a bounded indecomposable set of finite perimeter Ω admitting a distributional solution of the overdetermined anisotropic torsion problem (1.6) must, under Ahlfors–David regularity (1.5) and a global Jones β-square bound (1.4), be a translate and dilate of the Wulff body K, with explicit solution u=(r^{2}-H_*^{2})/(2n). The argument first establishes Lipschitz regularity and boundary blow-ups (Lemma 2.1), then a volume identity (2.14) via a β-controlled localization that replaces global W^{2,2} (Lemmas 2.2–2.3), and finally P-function rigidity for the linearized operator through a Green-function representation (Section 3).

Significance. The result closes the anisotropic counterpart of the long-standing Lipschitz/rough-domain Serrin problem recently settled for the Laplacian in [FZ2025]. It applies directly to Lipschitz and uniformly rectifiable domains, where (1.4)–(1.5) hold, and supplies new analytic tools (Hessian smallness on interior balls, volume identity under only local W^{2,2}, anisotropic Green measure) that do not reduce to the isotropic case. The contribution is therefore both a genuine extension of classical overdetermined rigidity and a technical advance in the GMT treatment of anisotropic free-boundary problems.

minor comments (5)
  1. Abstract and Theorem 1.1: the abstract says “translate and dilation of the reflected Wulff shape -K” while the theorem statement says “homothetic to K”. Align the two formulations (and the introductory definition of PH) for consistency.
  2. Lemma 2.1(5) and Step 6 of its proof: the anisotropic Liouville classification of half-space solutions is only sketched in a footnote. A short self-contained paragraph or a precise reference would help readers less familiar with the anisotropic setting.
  3. Lemma 2.2, Step 7: the passage from the covering Proposition A.2 to the volume estimate (2.13) is dense; a one-sentence reminder that the intermediate region has thickness O(κε) and that each bad ball contributes volume ≲(κ^{-1}ε)^n would improve readability.
  4. Section 3.1: the construction of the Green function G_x via exhaustion is standard, but the absolute continuity of L_A G_x+δ_x with respect to H^{n-1}⌊∂*Ω relies on the (n-1)-growth bound; a brief citation of the relevant potential-theory result would make the argument fully self-contained.
  5. Typographical: “Kup to a translation” (p. 2) should be “K up to a translation”; a few other minor spacing issues appear around displayed equations in Section 2.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: self-contained GMT/PDE argument with only methodological self-citation of the isotropic strategy.

  1. self citation load bearing [Abstract and §1.1 (strategy paragraph)]
    "While our approach follows the rough-domain strategy of [12] at a high level, the key Laplacian-specific ingredients exploited there have no direct analog for Δ_H, necessitating the development of new ideas and techniques."

    The authors cite their own isotropic result [FZ2025]/[12] as the high-level template. This is ordinary methodological self-citation and is not load-bearing: every identity used for the anisotropic operator (volume identity under only local W^{2,2}, Hessian smallness, Green measure for the linearized operator, P-function rigidity) is proved from scratch in the present paper and does not reduce by construction to the isotropic case.

full rationale

The paper proves an anisotropic Serrin rigidity theorem for rough domains under ADR (1.5) and a global Jones β-square bound (1.4). The derivation chain is self-contained: Lemma 2.1 establishes Lipschitz regularity, boundary blow-ups and local Hessian smallness via nonlinear potential estimates and elliptic compactness; Lemma 2.2 localizes the chain-rule identity (2.3) by a covering argument (Proposition A.2) that uses only the stated geometric hypotheses; Lemma 2.3 obtains the volume identity (2.14) from that localization; Section 3 constructs the linearized Green measure and applies a P-function maximum principle to force equality and the Wulff shape. The sole self-citation of the authors' isotropic paper [FZ2025] is explicitly methodological ("follows the rough-domain strategy … at a high level") and the abstract and introduction stress that Laplacian-specific identities have no direct analog, so new proofs are supplied. No quantity is fitted to data and then re-predicted, no uniqueness theorem is imported as an external fact that forbids alternatives, and no ansatz is smuggled in by citation. The result is therefore independent of its inputs by construction; the mild self-citation raises the score only to 1.

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

The paper is a pure-math rigidity theorem. It imports standard GMT and elliptic theory (De Giorgi structure, nonlinear potential estimates, maximum principles, Sobolev–Poincaré) and the geometric hypotheses (ADR + β-square bound, indecomposability, uniform convexity and C^{2,γ} of the Wulff body). No free parameters are fitted; no new physical entities are postulated.

assumptions (6)
  • standard math De Giorgi structure theorem: reduced boundary of a set of finite perimeter is (n−1)-rectifiable and has approximate outer normals H^{n−1}-a.e.
    Used throughout for blow-ups at ∂*Ω and density statements (Lemma 2.1, Appendix).
  • standard math Nonlinear potential estimates / Hölder continuity for quasilinear equations with measure data (Kuusi–Mingione, Kilpeläinen–Malý).
    Invoked in Lemma 2.1 to obtain continuity and Lipschitz regularity of u from the growth |μ|(B_r)≲r^{n−1}.
  • standard math Strong maximum principle and Liouville classification for nonnegative anisotropic-harmonic functions vanishing outside a half-space.
    Used for nonnegativity of u and for the boundary blow-up profile in Lemma 2.1(4).
  • domain assumption H is 1-homogeneous, positive, uniformly convex and C^{2,γ} away from the origin (equivalently K is uniformly convex with C^{2,γ} boundary).
    Standing structural assumption on the anisotropy; needed for uniform ellipticity of D²V on the sphere and for the Wulff characterization.
  • domain assumption Ω is bounded, indecomposable, of finite perimeter, Ahlfors–David regular (1.5), and satisfies the global β-square bound (1.4).
    Geometric hypotheses of Theorem 1.1; ADR controls Minkowski content and covering counts; β-bound supplies the 1/|log r| gain used in Lemma 2.2.
  • standard math Interior W^{2,2} estimates for uniformly elliptic quasilinear equations of the form div(DV(∇u)) = −1.
    Used for local Hessian control and for the blow-up argument in Lemma 2.1(5).

how reviews work

0 comments
Cite this review

Pith. "Pith review of An anisotropic Serrin's problem in general domains." pith.science (2026). https://pith.science/paper/2R4BZQNI

@misc{pith2026260306119,
  author       = {Pith},
  title        = {Pith review of: An anisotropic Serrin's problem in general domains},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2R4BZQNI}},
  note         = {Machine review of arXiv:2603.06119}
}
abstract

Serrin's symmetry theorem shows that the classical overdetermined torsion problem forces the domain to be a ball. Extending this rigidity statement to merely Lipschitz (and more generally rough) domains in the weak formulation has been a long-standing and challenging problem, recently resolved by the authors in~\cite{FZ2025}. In this paper we address the corresponding question in the anisotropic setting: Given a uniformly convex $C^{2,\gamma}$ anisotropy $H$, we study the overdetermined problem for the anisotropic Laplacian $\Delta_H u={\rm div}\big(H(\nabla u)\,DH(\nabla u)\big)$ on a bounded indecomposable set of finite perimeter $\Omega$. Assuming the Ahlfors--David regularity of $\partial^*\Omega$ and a global $\beta$-number square-function bound (a weak uniform rectifiability hypothesis), we prove that a weak solution exists if and only if $\Omega$ is a translate and dilation of {the reflected Wulff shape $-K$}, in which case the solution is unique and explicit. In particular, the result applies to Lipschitz domains. While our approach follows the rough-domain strategy of~\cite{FZ2025} at a high level, the key Laplacian-specific ingredients exploited there have no direct analog for $\Delta_H$, necessitating the development of new ideas and techniques.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

31 extracted references · 1 linked inside Pith

  1. [1]

    Ambrosio, V

    L. Ambrosio, V. Caselles, S. Masnou, J.-M. Morel,Connected components of sets of finite perimeter and applications to image processing. J. Eur. Math. Soc. (JEMS) 3 (2001), no. 1, 39–92

    2001

  2. [2]

    Azzam, X

    J. Azzam, X. Tolsa,Characterization of n-rectifiability in terms of Jones’ square function: Part II.Geom. Funct. Anal. 25 (2015), no. 5, 1371–1412

    2015

  3. [3]

    Boccardo, F

    L. Boccardo, F. Murat,Almost everywhere convergence of the gradients of solutions to elliptic and para- bolic equations. Nonlinear Anal. 19 (1992), no. 6, 581–597

    1992

  4. [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

    2008

  5. [5]

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

    arXiv

  6. [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

    1998

  7. [7]

    Cianchi, P

    A. Cianchi, P. Salani,Overdetermined anisotropic elliptic problems. Math. Ann. 345 (2009), no. 4, 859– 881

    2009

  8. [8]

    B. E. J. Dahlberg, C. Kenig, Hardy spaces and the Neumann problem inL p for Laplace’s equation in Lipschitz domains. Ann. of Math. (2) 125 (1987), no. 3, 437–465

    1987

Show all 31 references
  1. [9]

    Dind˘ os, J

    M. Dind˘ os, J. Pipher, D. Rule,Boundary value problems for second-order elliptic operators satisfying a Carleson condition.Comm. Pure Appl. Math. 70 (2017), no. 7, 1316–1365

    2017

  2. [10]

    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

  3. [11]

    H. Dong, Y. R.-Y. Zhang,Serrin’s overdetermined theorem within Lipschitz domains, arXiv:2509.05155

  4. [12]

    Figalli, Y

    A. Figalli, Y. R.-Y. Zhang,Serrin’s overdetermined problem in rough domains, J. Eur. Math. Soc., To appear. AN ANISOTROPIC SERRIN’S PROBLEM IN GENERAL DOMAINS 27

  5. [13]

    David, S

    G. David, S. Semmes,Singular integrals and rectifiable sets in Rn: Beyond Lipschitz graphs.Ast´ erisque No. 193 (1991), 152 pp

    1991

  6. [14]

    David, and S

    G. David, and S. Semmes.Analysis of and on uniformly rectifiable sets, volume 38 of Mathematical Surveys and Monographs. American Mathematical Society, 1993

    1993

  7. [15]

    Huang, Q

    Y. Huang, Q. Li, Q. Li,Concentration breaking on two optimization problems. Sci. China Math. (2024)

    2024

  8. [16]

    Kilpel¨ ainen, J

    T. Kilpel¨ ainen, J. Mal´ y,The Wiener test and potential estimates for quasilinear elliptic equations. Acta Math. 172 (1994), no. 1, 137–161

    1994

  9. [17]

    Korte, T

    R. Korte, T. Kuusi,A note on the Wolff potential estimate for solutions to elliptic equations involving measures. Adv. Calc. Var. 3 (2010), 99–113

    2010

  10. [18]

    Kuusi, G

    T. Kuusi, G. Mingione,Universal potential estimates. J. Funct. Anal. 262 (2012), no. 10, 4205–4269

    2012

  11. [19]

    Maggi,Sets of finite perimeter and geometric variational problems

    F. Maggi,Sets of finite perimeter and geometric variational problems. An introduction to geometric mea- sure theory. Cambridge Studies in Advanced Mathematics, 135. Cambridge University Press, Cambridge, 2012

    2012

  12. [20]

    Payne and P.W

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

    1989

  13. [21]

    P. W. Jones,Rectifiable sets and the traveling salesman problem. Invent. Math. 102 (1990), no. 1, 1–15

    1990

  14. [22]

    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), no. 1, 29-31

    1998

  15. [23]

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

    2001

  16. [24]

    Serrin,A symmetry problem in potential theory

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

    1971

  17. [25]

    Tolsa,Characterization ofn-rectifiability in terms of Jones’ square function: part I.Calc

    X. Tolsa,Characterization ofn-rectifiability in terms of Jones’ square function: part I.Calc. Var. Partial Differential Equations 54 (2015), no. 4, 3643–3665

    2015

  18. [26]

    Trudinger, X.J

    N.S. Trudinger, X.J. Wang,On the weak continuity of elliptic operators and applications to potential theoryAmer. J. Math., 124 (2002), pp. 369–410

    2002

  19. [27]

    Velichkov,Regularity of the one-phase free boundaries

    B. Velichkov,Regularity of the one-phase free boundaries. Springer Nature, 2023

    2023

  20. [28]

    Verchota,Layer potentials and regularity for the Dirichlet problem for Laplace’s equation in Lipschitz domains

    G. Verchota,Layer potentials and regularity for the Dirichlet problem for Laplace’s equation in Lipschitz domains. J. Funct. Anal. 59 (1984), no. 3, 572–611

    1984

  21. [29]

    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), no. 2, 443–484

    1992

  22. [30]

    G. Wang, C. Xia,A characterization of the Wulff shape by an overdetermined anisotropic PDE.Arch. Ration. Mech. Anal. 199 (2011), no. 1, 99–115

    2011

  23. [31]

    H. F. Weinberger,Remark on the preceding paper of Serrin. Arch. Ration. Mech. Anal. 43 (1971), 319–320. ETH Z ¨urich, Department of Mathematics, R ¨amistrasse 101, 8092, Z ¨urich, Switzerland Email address:alessio.figalli@math.ethz.ch State Key Laboratory of Mathematical Scien...

    1971

Pith tools

Reviewed July 15, 2026 · model on record in the stance chip above.