pith. sign in

arxiv: 2604.23843 · v1 · submitted 2026-04-26 · 🧮 math.AP

Fine structure of the two-phase Bernoulli free boundaries in 2D

Lorenzo Ferreri , Luca Spolaor , Bozhidar Velichkov This is my paper

Pith reviewed 2026-05-08 05:31 UTC · model grok-4.3

classification 🧮 math.AP
keywords two-phase Bernoulli problemfree boundarybranching setWeierstrass representationcapillary minimal surfacesobstacle problemregularity
0
0 comments X

The pith

The branching set of solutions to the two-dimensional two-phase Bernoulli problem with constant coefficients is locally finite.

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

This paper establishes that in two dimensions, for the two-phase Bernoulli free boundary problem with constant coefficients, the set where the free boundary branches is locally finite. This means that branch points, where multiple phases meet in a singular way, do not accumulate. A sympathetic reader would care because free boundary problems arise in models of phase separation and optimal design, and knowing the singularities are isolated allows for a clearer understanding of the global structure of solutions. The proof relies on transforming the problem using a Weierstrass representation into one about capillary minimal surfaces.

Core claim

We prove that the branching set of a solution to a two-dimensional two-phase Bernoulli problem with constant coefficients is locally finite. We do this via a Weierstrass representation formula, which allows to transform the problem into a new geometric two-phase problem for capillary minimal surfaces. We also apply this method to the obstacle problem establishing a connection between the directional derivatives of solutions to the obstacle problem and the linear thin two-membrane problem.

What carries the argument

The Weierstrass representation formula, which transforms the two-phase Bernoulli free boundary problem into a two-phase problem for capillary minimal surfaces while preserving the structure of the branching set.

Load-bearing premise

The coefficients are constant and the setting is two-dimensional, which allows the Weierstrass representation to convert the free boundary problem into a capillary minimal surface problem.

What would settle it

An explicit construction of a two-phase Bernoulli solution in the plane whose branching set has an accumulation point would disprove the local finiteness claim.

read the original abstract

We prove that the branching set of a solution to a two-dimensional two-phase Bernoulli problem with constant coefficients is locally finite. We do this via a Weierstrass representation formula, which allows to transform the problem into a new geometric two-phase problem for capillary minimal surfaces. We also apply this method to the obstacle problem establishing a connection between the directional derivatives of solutions to the obstacle problem and the linear thin two-membrane problem.

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

1 major / 1 minor

Summary. The paper proves that the branching set of solutions to the two-dimensional two-phase Bernoulli problem with constant coefficients is locally finite. The proof uses a Weierstrass representation formula to transform the problem into an equivalent two-phase problem for capillary minimal surfaces. The same method is applied to the obstacle problem to connect directional derivatives of solutions to the linear thin two-membrane problem.

Significance. If the transformation preserves the branching set structure without introducing or destroying singularities, the result would provide a novel geometric reduction linking free-boundary regularity questions to minimal surface theory in 2D. This could strengthen the understanding of fine structure (local finiteness) for branching sets in constant-coefficient two-phase problems and offer a template for related obstacle-type problems. The approach is noteworthy for its use of an external representation formula rather than ad-hoc quantities.

major comments (1)
  1. [Weierstrass representation and transformation to capillary surfaces] The central claim rests on the Weierstrass representation mapping branching points of the original free boundaries bijectively to branch points of the capillary minimal surfaces. The manuscript must explicitly verify that the formula remains valid in neighborhoods of potential branch points (where gradients may vanish or the free boundary fails to be C^1) and that the induced map is a local homeomorphism on the branching set itself; without this, the reduction does not directly imply local finiteness.
minor comments (1)
  1. [Abstract and introduction] The abstract is concise but does not indicate the precise regularity assumptions under which the Weierstrass formula is applied; a brief statement in the introduction would improve clarity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and valuable feedback on our manuscript. The point raised regarding the Weierstrass representation near branching points is well-taken, and we will strengthen the exposition accordingly. We address the major comment below.

read point-by-point responses

  1. Referee: [Weierstrass representation and transformation to capillary surfaces] The central claim rests on the Weierstrass representation mapping branching points of the original free boundaries bijectively to branch points of the capillary minimal surfaces. The manuscript must explicitly verify that the formula remains valid in neighborhoods of potential branch points (where gradients may vanish or the free boundary fails to be C^1) and that the induced map is a local homeomorphism on the branching set itself; without this, the reduction does not directly imply local finiteness.

    Authors: We agree that an explicit verification of the Weierstrass representation in neighborhoods of branch points is essential for the argument. While the derivation in the manuscript assumes sufficient regularity away from the branching set, we acknowledge that the extension to points where gradients vanish or the free boundary is not C^1 requires additional justification to establish the bijective mapping and local homeomorphism property. In the revised version, we will insert a dedicated subsection (likely after the statement of the Weierstrass formula) that addresses this. Specifically, we will use the known C^{1,α} regularity of the free boundaries up to the branching set together with uniform estimates on the vanishing of gradients to show that the representation formula extends continuously. We will then prove that the induced map is a local homeomorphism on the branching set, preserving the structure of singularities without introducing or destroying branch points. This will rigorously close the reduction and confirm that local finiteness transfers from the capillary minimal surface problem back to the original two-phase Bernoulli problem. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on external Weierstrass formula

full rationale

The paper establishes local finiteness of the branching set by recasting the constant-coefficient two-phase Bernoulli problem as a capillary minimal surface problem via the Weierstrass representation formula. This is a standard, independently known result from complex analysis and minimal surface theory, not derived or assumed within the paper itself. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain. The transformation is presented as preserving the branching set structure without reducing the conclusion to the inputs by construction. The approach is self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on classical results from complex analysis and minimal surface theory together with domain-specific regularity assumptions needed for the representation formula to apply.

axioms (2)
  • standard math Weierstrass representation formula holds for the relevant class of surfaces in 2D.
    Invoked to transform the Bernoulli problem into a capillary minimal surface problem.
  • domain assumption Solutions to the two-phase Bernoulli problem possess sufficient regularity for the representation to be valid.
    Required to justify the transformation and preservation of the branching set.

pith-pipeline@v0.9.0 · 5361 in / 1339 out tokens · 53382 ms · 2026-05-08T05:31:58.031352+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Almgren, Jr.Almgren’s big regularity paper, volume 1 ofWorld Scientific Monograph Series in Mathematics

    Frederick J. Almgren, Jr.Almgren’s big regularity paper, volume 1 ofWorld Scientific Monograph Series in Mathematics. World Scientific Publishing Co., Inc., River Edge, NJ, 2000.Q-valued functions minimizing Dirichlet’s integral and the regularity of area-minimizing rectifiable currents up to codimension 2, With a preface by Jean E. Taylor and Vladimir Scheffer

    work page 2000

  2. [2]

    Caffarelli, and Avner Friedman

    Hans Wilhelm Alt, Luis A. Caffarelli, and Avner Friedman. Variational problems with two phases and their free boundaries.Trans. Amer. Math. Soc., 282(2):431–461, 1984

    work page 1984

  3. [3]

    Free boundary regularity for a tumor growth model with obstacle

    Giulia Bevilacqua and Matteo Carducci. Free boundary regularity for a tumor growth model with obstacle. Preprint, arXiv:2507.02837 [math.AP] (2025), 2025

    work page arXiv 2025

  4. [4]

    Caffarelli and Henrik Shahgholian

    Luis A. Caffarelli and Henrik Shahgholian. Regularity of free boundaries a heuristic retro.Philos. Trans. A, R. Soc. Lond., 373(2050):18, 2015. Id/No 20150209

    work page 2050

  5. [5]

    Two dimensional area minimizing integral currents are classical minimal surfaces.J

    Sheldon Xu-Dong Chang. Two dimensional area minimizing integral currents are classical minimal surfaces.J. Am. Math. Soc., 1(4):699–778, 1988

    work page 1988

  6. [6]

    Camillo De Lellis, Guido De Philippis, Jonas Hirsch, and Annalisa Massaccesi.On the boundary behavior of mass- minimizing integral currents, volume 1446 ofMem. Am. Math. Soc.Providence, RI: American Mathematical Society (AMS), 2023

    work page 2023

  7. [7]

    Fine structure of the singular set of area minimizing hypersurfaces modulo p.accepted in Acta Math., 2026

    Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Luca Spolaor, and Salvatore Stuvard. Fine structure of the singular set of area minimizing hypersurfaces modulo p.accepted in Acta Math., 2026

    work page 2026

  8. [8]

    Fine structure of singularities in area-minimizing currents mod(q).CRELLE, 2026

    Camillo De Lellis, Paul Minter, and Anna Skorobagatova. Fine structure of singularities in area-minimizing currents mod(q).CRELLE, 2026

    work page 2026

  9. [9]

    An allard-type boundary regularity theorem for $2d$minimizing currents at smooth curves with arbitrary multiplicity.Publications math´ ematiques de l’IH´ES, 2024

    Camillo De Lellis, Stefano Nardulli, and Simone Steinbr ¨uchel. An allard-type boundary regularity theorem for $2d$minimizing currents at smooth curves with arbitrary multiplicity.Publications math´ ematiques de l’IH´ES, 2024

    work page 2024

  10. [10]

    Regularity of area minimizing currents I: gradientL p estimates.Geom

    Camillo De Lellis and Emanuele Spadaro. Regularity of area minimizing currents I: gradientL p estimates.Geom. Funct. Anal., 24(6):1831–1884, 2014

    work page 2014

  11. [11]

    Regularity of area minimizing currents II: center manifold.Ann

    Camillo De Lellis and Emanuele Spadaro. Regularity of area minimizing currents II: center manifold.Ann. of Math. (2), 183(2):499–575, 2016

    work page 2016

  12. [12]

    Regularity of area minimizing currents III: blow-up.Ann

    Camillo De Lellis and Emanuele Spadaro. Regularity of area minimizing currents III: blow-up.Ann. of Math. (2), 183(2):577–617, 2016

    work page 2016

  13. [13]

    Regularity theory for 2-dimensional almost minimal currents

    Camillo De Lellis, Emanuele Spadaro, and Luca Spolaor. Regularity theory for 2-dimensional almost minimal currents. III: Blowup.J. Differ. Geom., 116(1):125–185, 2020

    work page 2020

  14. [14]

    Regularity of the free boundary for the two-phase Bernoulli problem.Invent

    Guido De Philippis, Luca Spolaor, and Bozhidar Velichkov. Regularity of the free boundary for the two-phase Bernoulli problem.Invent. Math., 225(2):347–394, 2021

    work page 2021

  15. [15]

    On the boundary branching set of the one-phase problem, 2024

    Lorenzo Ferreri, Luca Spolaor, and Bozhidar Velichkov. On the boundary branching set of the one-phase problem, 2024

    work page 2024

  16. [16]

    On the fine structure of the solutions to nonlinear thin two-membrane problems in 2d, 2024

    Lorenzo Ferreri, Luca Spolaor, and Bozhidar Velichkov. On the fine structure of the solutions to nonlinear thin two-membrane problems in 2d, 2024

    work page 2024

  17. [17]

    On the regularity of area minimizing currents at boundaries with arbitrary multiplicity

    Ian Fleschler and Reinaldo Resende. On the regularity of area minimizing currents at boundaries with arbitrary multiplicity. Preprint, arXiv:2410.04566 [math.AP] (2024), 2024. FINE STRUCTURE OF THE TWO-PHASE BERNOULLI FREE BOUNDARIES IN 2D 13

    work page arXiv 2024

  18. [18]

    On the measure and the structure of the free boundary of the lower dimensional obstacle problem.Arch

    Matteo Focardi and Emanuele Spadaro. On the measure and the structure of the free boundary of the lower dimensional obstacle problem.Arch. Ration. Mech. Anal., 230(1):125–184, 2018

    work page 2018

  19. [19]

    Some new monotonicity formulas and the singular set in the lower dimensional obstacle problem.Invent

    Nicola Garofalo and Arshak Petrosyan. Some new monotonicity formulas and the singular set in the lower dimensional obstacle problem.Invent. Math., 177(2):415–461, 2009

    work page 2009

  20. [20]

    On an overdetermined elliptic problem.Pac

    Laurent Hauswirth, Fr ´ed´eric H ´elein, and Frank Pacard. On an overdetermined elliptic problem.Pac. J. Math., 250(2):319–334, 2011

    work page 2011

  21. [21]

    On the coincidence set in variational inequalities.J

    Hans Lewy. On the coincidence set in variational inequalities.J. Differ. Geom., 6:497–501, 1972

    work page 1972

  22. [22]

    (quasi-)conformal methods in two-dimensional free boundary problems.J

    Guido De Philippis, Luca Spolaor, and Bozhidar Velichkov. (quasi-)conformal methods in two-dimensional free boundary problems.J. Eur. Math. Soc., 2024

    work page 2024

  23. [23]

    Regularity of a boundary having a Schwarz function.Acta Math., 166(3-4):263–297, 1991

    Makoto Sakai. Regularity of a boundary having a Schwarz function.Acta Math., 166(3-4):263–297, 1991

    work page 1991

  24. [24]

    Regularity of free boundaries in two dimensions.Ann

    Makoto Sakai. Regularity of free boundaries in two dimensions.Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV . Ser., 20(3):323–339, 1993

    work page 1993

  25. [25]

    An epiperimetric inequality for the regularity of some free boundary problems: the 2-dimensional case.Comm

    Luca Spolaor and Bozhidar Velichkov. An epiperimetric inequality for the regularity of some free boundary problems: the 2-dimensional case.Comm. Pure Appl. Math., 72(2):375–421, 2019

    work page 2019

  26. [26]

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

    Martin Traizet. Classification of the solutions to an overdetermined elliptic problem in the plane.Geom. Funct. Anal., 24(2):690–720, 2014. LorenzoFerreri Classe diScienze, ScuolaNormaleSuperiore, Piazza deiCavalieri7, 56126 Pisa(Italy) Email address:lorenzo.ferreri@sns.it LucaSpolaor Department ofMathematics, UC SanDiego, AP&M, LaJolla, California, 92093...

    work page 2014