pith. sign in

arxiv: 2605.19757 · v1 · pith:J2AW3QGHnew · submitted 2026-05-19 · 🧮 math.AP

On a Multiphase Vectorial Bernoulli Free Boundary Problem

Pith reviewed 2026-05-20 03:42 UTC · model grok-4.3

classification 🧮 math.AP
keywords Bernoulli free boundary problemmultiphase problemsvectorial functionalsfree boundary regularitySobolev functionsLipschitz continuityC^{1,η} graphs
0
0 comments X p. Extension
pith:J2AW3QGH Add to your LaTeX paper What is a Pith Number?
\usepackage{pith}
\pithnumber{J2AW3QGH}

Prints a linked pith:J2AW3QGH badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

Minimizers of the multiphase vectorial Bernoulli free boundary problem have free boundaries that are locally C^{1,η} graphs near two-phase and branching points.

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

The paper examines a minimization problem for the Bernoulli functional over families of Sobolev functions with disjoint supports and non-trivial grouping. It proves that minimizers exist and remain locally Lipschitz continuous. The free boundaries of these minimizers contain no points where three or more phases meet. The main result shows that near two-phase points and branching points the free boundary is locally a C^{1,η} graph for some η greater than zero. This clarifies how interfaces behave in systems with multiple competing phases.

Core claim

We study the regularity of minimizers of a multiphase vectorial Bernoulli free boundary problem. This problem consists in a minimization problem for the Bernoulli functional over families of Sobolev functions with disjoint supports and non trivial grouping. We prove that minimizers exist, are locally Lipschitz continuous, and that their free boundaries do not contain points where three or more phases meet. Our main regularity result establishes that the free boundary is locally a C^{1,η} graph near two-phase and branching points for some η >0.

What carries the argument

Minimization of the multiphase vectorial Bernoulli functional over families of Sobolev functions with disjoint supports and non-trivial grouping.

If this is right

  • Minimizers of the functional exist.
  • Minimizers are locally Lipschitz continuous.
  • Free boundaries contain no triple or higher-order phase junctions.
  • Free boundaries are C^{1,η} graphs near two-phase points.
  • Free boundaries are C^{1,η} graphs near branching points.

Where Pith is reading between the lines

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

  • The local graph regularity may support analysis of the global topology of the entire free boundary.
  • Comparable regularity statements could apply to related multiphase problems with different energy terms.
  • Explicit values or bounds for the Hölder exponent η could be derived in low-dimensional cases.

Load-bearing premise

The minimization is performed over families of Sobolev functions with disjoint supports and non trivial grouping.

What would settle it

A concrete minimizer whose free boundary contains a triple-phase meeting point or fails to be representable as a C^{1,η} graph near a two-phase point would disprove the main regularity claim.

read the original abstract

We study the regularity of minimizers of a multiphase vectorial Bernoulli free boundary problem. This problem consists in a minimization problem for the Bernoulli functional over families of Sobolev functions with disjoint supports and non trivial grouping. We prove that minimizers exist, are locally Lipschitz continuous, and that their free boundaries do not contain points where three or more phases meet. Our main regularity result establishes that the free boundary is locally a $C^{1,\eta}$ graph near two-phase and branching points for some $\eta >0$.

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 / 2 minor

Summary. The paper studies minimizers of a multiphase vectorial Bernoulli free boundary problem, formulated as a minimization of the Bernoulli functional over families of Sobolev functions with disjoint supports and non-trivial grouping. It claims existence of minimizers, local Lipschitz continuity of the minimizers, absence of triple points on the free boundary, and the main regularity result that the free boundary is locally a C^{1,η} graph near two-phase and branching points for some η>0.

Significance. If the central regularity claims hold, the work extends free-boundary regularity theory to a vectorial multiphase setting with grouping constraints, which is of interest for applications involving multiple phases with separation conditions. The explicit treatment of branching points and the prohibition of triple points represent a non-trivial advance over scalar or two-phase cases. The manuscript includes a full proof structure with monotonicity formulas and blow-up analysis, which strengthens its contribution if the technical steps are complete.

major comments (1)
  1. [Blow-up analysis and classification of homogeneous solutions (preceding the main regularity theorem)] The main regularity theorem (near the end of the manuscript, following the blow-up analysis): the C^{1,η} graph representation at branching points is obtained via an improvement-of-flatness argument that requires a complete classification of homogeneous blow-up limits compatible with the vectorial structure and disjoint-support constraint. The manuscript does not provide an independent enumeration or ruling-out of all possible limits (e.g., configurations with more than two phases meeting along a lower-dimensional spine), so it is unclear whether every admissible Weiss-type energy minimizer is necessarily a C^{1,η} graph; if an unclassified limit exists, the flatness improvement step fails to close.
minor comments (2)
  1. [Introduction / abstract] The phrase 'non trivial grouping' is used repeatedly without a self-contained definition in the introduction; a short sentence recalling the precise support-separation condition would improve readability.
  2. [Preliminaries] Notation for the vectorial functions and the grouping index set could be introduced once with a displayed equation rather than inline, to avoid ambiguity when the number of phases varies.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The feedback on the blow-up analysis is particularly helpful for clarifying the logical structure of the regularity proof. We respond to the major comment below.

read point-by-point responses
  1. Referee: [Blow-up analysis and classification of homogeneous solutions (preceding the main regularity theorem)] The main regularity theorem (near the end of the manuscript, following the blow-up analysis): the C^{1,η} graph representation at branching points is obtained via an improvement-of-flatness argument that requires a complete classification of homogeneous blow-up limits compatible with the vectorial structure and disjoint-support constraint. The manuscript does not provide an independent enumeration or ruling-out of all possible limits (e.g., configurations with more than two phases meeting along a lower-dimensional spine), so it is unclear whether every admissible Weiss-type energy minimizer is necessarily a C^{1,η} graph; if an unclassified limit exists, the flatness improvement step fails to close.

    Authors: We appreciate the referee's emphasis on the need for a transparent classification of homogeneous limits. The blow-up analysis (preceding the main regularity theorem) proceeds via an adapted Weiss monotonicity formula that incorporates the vectorial structure, the disjoint-support constraint, and the non-trivial grouping. Combined with the local Lipschitz continuity of minimizers (proved earlier via a standard comparison argument), this monotonicity formula implies that any homogeneous blow-up limit must satisfy a strong separation property. In particular, the absence of triple points on the free boundary (established as a standalone result using the energy minimality and the grouping condition) directly excludes configurations in which three or more phases meet along a lower-dimensional spine. The only admissible homogeneous minimizers are therefore the classical two-phase cones and the specific branching configurations involving precisely two phases. This classification is independent of the subsequent improvement-of-flatness step and is used to verify that every admissible limit is sufficiently flat to initiate the C^{1,η} graph representation. We therefore maintain that the argument is closed; however, we are prepared to insert an explicit corollary summarizing the classified limits if the referee believes additional enumeration would improve readability. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via standard free-boundary techniques

full rationale

The paper derives existence of minimizers, local Lipschitz continuity, exclusion of triple-phase points, and C^{1,η} regularity of the free boundary at two-phase and branching points through monotonicity formulas, Weiss-type energies, and improvement-of-flatness arguments applied to blow-up limits. These steps follow directly from the variational definition of the multiphase vectorial Bernoulli functional and the disjoint-support constraint, without any reduction of a central claim to a fitted parameter, self-definitional loop, or load-bearing self-citation whose validity is not independently established. The classification of homogeneous blow-ups is obtained from the problem structure itself rather than assumed via prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard variational framework for free boundary problems in Sobolev spaces together with classical tools from regularity theory for elliptic equations; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of Sobolev spaces and existence of minimizers for lower semicontinuous functionals.
    Invoked implicitly in the statement that minimizers exist and are locally Lipschitz.

pith-pipeline@v0.9.0 · 5605 in / 976 out tokens · 41505 ms · 2026-05-20T03:42:02.700041+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

60 extracted references · 60 canonical work pages

  1. [1]

    and Alt, H

    Aguilera, N. and Alt, H. W. and Caffarelli, L. A. , TITLE =. SIAM J. Control Optim. , FJOURNAL =. 1986 , NUMBER =. doi:10.1137/0324011 , URL =

  2. [2]

    arXiv preprint arXiv:2409.14916 , year=

    Free boundary regularity for a spectral optimal partition problem with volume and inclusion constraints , author=. arXiv preprint arXiv:2409.14916 , year=

  3. [3]

    Mazzoleni, Dario and Terracini, Susanna and Velichkov, Bozhidar , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00039-017-0402-2 , URL =

  4. [4]

    and Gariepy, Ronald F

    Evans, Lawrence C. and Gariepy, Ronald F. , TITLE =. 2015 , PAGES =

  5. [5]

    Bucur, Dorin and Mazzoleni, Dario and Pratelli, Aldo and Velichkov, Bozhidar , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00205-014-0801-6 , URL =

  6. [6]

    2012 , PAGES =

    Maggi, Francesco , TITLE =. 2012 , PAGES =. doi:10.1017/CBO9781139108133 , URL =

  7. [7]

    Mazzoleni, Dario and Tortone, Giorgio and Velichkov, Bozhidar , TITLE =. J. Convex Anal. , FJOURNAL =. 2024 , NUMBER =

  8. [8]

    Maiale, Francesco Paolo and Tortone, Giorgio and Velichkov, Bozhidar , TITLE =. Rev. Mat. Iberoam. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/rmi/1430 , URL =

  9. [9]

    Matematica , FJOURNAL =

    Tortone, Giorgio and Velichkov, Bozhidar , TITLE =. Matematica , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s44007-026-00195-z , URL =

  10. [10]

    De Silva, Daniela and Tortone, Giorgio , TITLE =. Math. Eng. , FJOURNAL =. 2020 , NUMBER =. doi:10.3934/mine.2020027 , URL =

  11. [11]

    Maiale, Francesco Paolo and Tortone, Giorgio and Velichkov, Bozhidar , TITLE =. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , FJOURNAL =. 2024 , NUMBER =. doi:10.2422/2036-2145.202112\_003 , URL =

  12. [12]

    Kriventsov, Dennis and Lin, Fanghua , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1002/cpa.21743 , URL =

  13. [13]

    Kriventsov, Dennis and Lin, Fanghua , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1002/cpa.21810 , URL =

  14. [14]

    , TITLE =

    De Silva, D. , TITLE =. Interfaces Free Bound. , FJOURNAL =. 2011 , NUMBER =. doi:10.4171/IFB/255 , URL =

  15. [15]

    Trey, Baptiste , TITLE =. Ann. Inst. H. Poincar\'e. 2021 , NUMBER =. doi:10.1016/j.anihpc.2020.11.002 , URL =

  16. [16]

    ESAIM Control Optim

    Trey, Baptiste , TITLE =. ESAIM Control Optim. Calc. Var. , FJOURNAL =. 2020 , PAGES =. doi:10.1051/cocv/2020010 , URL =

  17. [17]

    Sakai, Makoto , TITLE =. J. Analyse Math. , FJOURNAL =. 1981 , PAGES =. doi:10.1007/BF02790159 , URL =

  18. [18]

    , TITLE =

    Eberle, Simon and Shahgholian, Henrik and Weiss, Georg S. , TITLE =. Duke Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1215/00127094-2022-0078 , URL =

  19. [19]

    , TITLE =

    Salib, Anthony and Weiss, Georg S. , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2025.110276 , URL =

  20. [20]

    , TITLE =

    Eberle, Simon and Figalli, Alessio and Weiss, Georg S. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2025 , NUMBER =. doi:10.4007/annals.2025.201.1.3 , URL =

  21. [21]

    arXiv preprint arXiv:2507.19339 , year=

    Miminization of the first eigenvalue of the Dirichlet Laplacian with a small volume obstacle , author=. arXiv preprint arXiv:2507.19339 , year=

  22. [22]

    arXiv preprint arXiv:2107.12485 , year=

    Rectifiability and almost everywhere uniqueness of the blow-up for the vectorial Bernoulli free boundaries , author=. arXiv preprint arXiv:2107.12485 , year=

  23. [23]

    2017 , PAGES =

    Leoni, Giovanni , TITLE =. 2017 , PAGES =. doi:10.1090/gsm/181 , URL =

  24. [24]

    Mazzoleni, Dario and Terracini, Susanna and Velichkov, Bozhidar , TITLE =. Anal. PDE , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/apde.2020.13.741 , URL =

  25. [25]

    De Philippis, Guido and Spolaor, Luca and Velichkov, Bozhidar , title =. J. Eur. Math. Soc. (JEMS) , issn =. 2025 , language =. doi:10.4171/JEMS/1435 , keywords =

  26. [26]

    and Shahgholian, Henrik and Yeressian, Karen , TITLE =

    Caffarelli, Luis A. and Shahgholian, Henrik and Yeressian, Karen , TITLE =. Duke Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1215/00127094-2018-0007 , URL =

  27. [27]

    Spolaor, Luca and Velichkov, Bozhidar , Title =. Comm. Pure Appl. Math. , ISSN =. 2019 , DOI =

  28. [28]

    Edelen, Nick and Engelstein, Max , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7401 , URL =

  29. [29]

    Weiss, Georg Sebastian , TITLE =. J. Geom. Anal. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/BF02921941 , URL =

  30. [30]

    and Friedman, Avner , TITLE =

    Alt, Hans Wilhelm and Caffarelli, Luis A. and Friedman, Avner , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999245 , URL =

  31. [31]

    and Jerison, David and Kenig, Carlos E

    Caffarelli, Luis A. and Jerison, David and Kenig, Carlos E. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2002 , NUMBER =. doi:10.2307/3062121 , URL =

  32. [32]

    and Jerison, David and Kenig, Carlos E

    Caffarelli, Luis A. and Jerison, David and Kenig, Carlos E. , TITLE =. Noncompact problems at the intersection of geometry, analysis, and topology , SERIES =. 2004 , MRCLASS =. doi:10.1090/conm/350/06339 , URL =

  33. [33]

    Jerison, David and Savin, Ovidiu , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00039-015-0335-6 , URL =

  34. [34]

    2009 , PAGES =

    A singular energy minimizing free boundary , JOURNAL =. 2009 , PAGES =. doi:10.1515/CRELLE.2009.074 , URL =

  35. [35]

    Atti Accad

    Velichkov, Bozhidar , TITLE =. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. , FJOURNAL =. 2014 , NUMBER =. doi:10.4171/RLM/673 , URL =

  36. [36]

    Bucur, Dorin and Velichkov, Bozhidar , TITLE =. SIAM J. Control Optim. , FJOURNAL =. 2014 , NUMBER =. doi:10.1137/130917272 , URL =

  37. [37]

    [2023] 2023 , PAGES =

    Velichkov, Bozhidar , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-031-13238-4 , URL =

  38. [38]

    and Toro, Tatiana , TITLE =

    Kenig, Carlos E. and Toro, Tatiana , TITLE =. Duke Math. J. , FJOURNAL =. 1997 , NUMBER =. doi:10.1215/S0012-7094-97-08717-2 , URL =

  39. [39]

    and Kenig, Carlos E

    Jerison, David S. and Kenig, Carlos E. , TITLE =. Adv. in Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1016/0001-8708(82)90055-X , URL =

  40. [40]

    De Philippis, Guido and Spolaor, Luca and Velichkov, Bozhidar , TITLE =. Invent. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-021-01031-7 , URL =

  41. [41]

    arXiv preprint arXiv:2602.00741 , year=

    On the blow-up of the vectorial Bernoulli free boundary problem , author=. arXiv preprint arXiv:2602.00741 , year=

  42. [42]

    Gromov, Mikhail and Schoen, Richard , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1992 , PAGES =

  43. [43]

    and Schoen, Richard M

    Korevaar, Nicholas J. and Schoen, Richard M. , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 1993 , NUMBER =. doi:10.4310/CAG.1993.v1.n4.a4 , URL =

  44. [44]

    and Terracini, S

    Conti, M. and Terracini, S. and Verzini, G. , TITLE =. Ann. Inst. H. Poincar\'e. 2002 , NUMBER =. doi:10.1016/S0294-1449(02)00104-X , URL =

  45. [45]

    , TITLE =

    Conti, Monica and Terracini, Susanna and Verzini, G. , TITLE =. Adv. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.aim.2004.08.006 , URL =

  46. [46]

    Indiana Univ

    Conti, Monica and Terracini, Susanna and Verzini, Gianmaria , TITLE =. Indiana Univ. Math. J. , FJOURNAL =. 2005 , NUMBER =. doi:10.1512/iumj.2005.54.2506 , URL =

  47. [47]

    Caffarelli, L. A. and Lin, Fang-Hua , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/S0894-0347-08-00593-6 , URL =

  48. [48]

    Cafferelli, L. A. and Lin, Fang Hua , TITLE =. J. Sci. Comput. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s10915-006-9114-8 , URL =

  49. [49]

    and Terracini, S

    Conti, M. and Terracini, S. and Verzini, G. , TITLE =. J. Funct. Anal. , FJOURNAL =. 2003 , NUMBER =. doi:10.1016/S0022-1236(02)00105-2 , URL =

  50. [50]

    Conti, Monica and Terracini, Susanna and Verzini, Gianmaria , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s00526-004-0266-9 , URL =

  51. [51]

    Andrade, P\^edra D. S. and Moreira dos Santos, Ederson and Santos, Makson S. and Tavares, Hugo , TITLE =. SIAM J. Math. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1137/23M161553X , URL =

  52. [52]

    Alt, H. W. and Caffarelli, L. A. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1981 , PAGES =. doi:10.1515/crll.1981.325.105 , URL =

  53. [53]

    Ramos, Miguel and Tavares, Hugo and Terracini, Susanna , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00205-015-0934-2 , URL =

  54. [54]

    Matematica , FJOURNAL =

    Ognibene, Roberto and Velichkov, Bozhidar , TITLE =. Matematica , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s44007-025-00176-8 , URL =

  55. [55]

    Tavares, Hugo and Terracini, Susanna , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00526-011-0458-z , URL =

  56. [56]

    arXiv preprint arXiv:2412.00781 , year=

    Structure of the free interfaces near triple junction singularities in harmonic maps and optimal partition problems , author=. arXiv preprint arXiv:2412.00781 , year=

  57. [57]

    Soave, Nicola and Terracini, Susanna , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.03.015 , URL =

  58. [58]

    and Hoffmann-Ostenhof, T

    Helffer, B. and Hoffmann-Ostenhof, T. and Terracini, S. , TITLE =. Ann. Inst. H. Poincar\'e. 2009 , NUMBER =. doi:10.1016/j.anihpc.2007.07.004 , URL =

  59. [59]

    Mazzoleni, Dario and Trey, Baptiste and Velichkov, Bozhidar , TITLE =. Ann. Inst. H. Poincar\'e. 2022 , NUMBER =. doi:10.4171/aihpc/14 , URL =

  60. [60]

    Brian con, Tanguy and Lamboley, Jimmy , TITLE =. Ann. Inst. H. Poincar\'e. 2009 , NUMBER =. doi:10.1016/j.anihpc.2008.07.003 , URL =