On a Multiphase Vectorial Bernoulli Free Boundary Problem
Pith reviewed 2026-05-20 03:42 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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)
- [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.
- [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
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
-
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
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
axioms (1)
- standard math Standard properties of Sobolev spaces and existence of minimizers for lower semicontinuous functionals.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
minimization problem for the Bernoulli functional over families of Sobolev functions with disjoint supports and non trivial grouping... free boundary is locally a C^{1,η} graph near two-phase and branching points
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leancostAlphaLog_high_calibrated_iff unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Weiss monotonicity formula... Alt-Caffarelli-Friedman’s monotonicity formula
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
-
[1]
Aguilera, N. and Alt, H. W. and Caffarelli, L. A. , TITLE =. SIAM J. Control Optim. , FJOURNAL =. 1986 , NUMBER =. doi:10.1137/0324011 , URL =
-
[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]
Mazzoleni, Dario and Terracini, Susanna and Velichkov, Bozhidar , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00039-017-0402-2 , URL =
-
[4]
Evans, Lawrence C. and Gariepy, Ronald F. , TITLE =. 2015 , PAGES =
work page 2015
-
[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]
Maggi, Francesco , TITLE =. 2012 , PAGES =. doi:10.1017/CBO9781139108133 , URL =
-
[7]
Mazzoleni, Dario and Tortone, Giorgio and Velichkov, Bozhidar , TITLE =. J. Convex Anal. , FJOURNAL =. 2024 , NUMBER =
work page 2024
-
[8]
Maiale, Francesco Paolo and Tortone, Giorgio and Velichkov, Bozhidar , TITLE =. Rev. Mat. Iberoam. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/rmi/1430 , URL =
-
[9]
Tortone, Giorgio and Velichkov, Bozhidar , TITLE =. Matematica , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s44007-026-00195-z , URL =
-
[10]
De Silva, Daniela and Tortone, Giorgio , TITLE =. Math. Eng. , FJOURNAL =. 2020 , NUMBER =. doi:10.3934/mine.2020027 , URL =
-
[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]
Kriventsov, Dennis and Lin, Fanghua , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.1002/cpa.21743 , URL =
-
[13]
Kriventsov, Dennis and Lin, Fanghua , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1002/cpa.21810 , URL =
-
[14]
De Silva, D. , TITLE =. Interfaces Free Bound. , FJOURNAL =. 2011 , NUMBER =. doi:10.4171/IFB/255 , URL =
-
[15]
Trey, Baptiste , TITLE =. Ann. Inst. H. Poincar\'e. 2021 , NUMBER =. doi:10.1016/j.anihpc.2020.11.002 , URL =
-
[16]
Trey, Baptiste , TITLE =. ESAIM Control Optim. Calc. Var. , FJOURNAL =. 2020 , PAGES =. doi:10.1051/cocv/2020010 , URL =
-
[17]
Sakai, Makoto , TITLE =. J. Analyse Math. , FJOURNAL =. 1981 , PAGES =. doi:10.1007/BF02790159 , URL =
-
[18]
Eberle, Simon and Shahgholian, Henrik and Weiss, Georg S. , TITLE =. Duke Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1215/00127094-2022-0078 , URL =
-
[19]
Salib, Anthony and Weiss, Georg S. , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.aim.2025.110276 , URL =
-
[20]
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]
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]
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]
Leoni, Giovanni , TITLE =. 2017 , PAGES =. doi:10.1090/gsm/181 , URL =
-
[24]
Mazzoleni, Dario and Terracini, Susanna and Velichkov, Bozhidar , TITLE =. Anal. PDE , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/apde.2020.13.741 , URL =
-
[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]
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]
Spolaor, Luca and Velichkov, Bozhidar , Title =. Comm. Pure Appl. Math. , ISSN =. 2019 , DOI =
work page 2019
-
[28]
Edelen, Nick and Engelstein, Max , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7401 , URL =
-
[29]
Weiss, Georg Sebastian , TITLE =. J. Geom. Anal. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/BF02921941 , URL =
-
[30]
Alt, Hans Wilhelm and Caffarelli, Luis A. and Friedman, Avner , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999245 , URL =
-
[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]
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]
Jerison, David and Savin, Ovidiu , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s00039-015-0335-6 , URL =
-
[34]
A singular energy minimizing free boundary , JOURNAL =. 2009 , PAGES =. doi:10.1515/CRELLE.2009.074 , URL =
-
[35]
Velichkov, Bozhidar , TITLE =. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. , FJOURNAL =. 2014 , NUMBER =. doi:10.4171/RLM/673 , URL =
-
[36]
Bucur, Dorin and Velichkov, Bozhidar , TITLE =. SIAM J. Control Optim. , FJOURNAL =. 2014 , NUMBER =. doi:10.1137/130917272 , URL =
-
[37]
Velichkov, Bozhidar , TITLE =. [2023] 2023 , PAGES =. doi:10.1007/978-3-031-13238-4 , URL =
-
[38]
Kenig, Carlos E. and Toro, Tatiana , TITLE =. Duke Math. J. , FJOURNAL =. 1997 , NUMBER =. doi:10.1215/S0012-7094-97-08717-2 , URL =
-
[39]
Jerison, David S. and Kenig, Carlos E. , TITLE =. Adv. in Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1016/0001-8708(82)90055-X , URL =
-
[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]
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]
Gromov, Mikhail and Schoen, Richard , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1992 , PAGES =
work page 1992
-
[43]
Korevaar, Nicholas J. and Schoen, Richard M. , TITLE =. Comm. Anal. Geom. , FJOURNAL =. 1993 , NUMBER =. doi:10.4310/CAG.1993.v1.n4.a4 , URL =
-
[44]
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]
Conti, Monica and Terracini, Susanna and Verzini, G. , TITLE =. Adv. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.aim.2004.08.006 , URL =
-
[46]
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]
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]
Cafferelli, L. A. and Lin, Fang Hua , TITLE =. J. Sci. Comput. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s10915-006-9114-8 , URL =
-
[49]
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]
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]
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]
Alt, H. W. and Caffarelli, L. A. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1981 , PAGES =. doi:10.1515/crll.1981.325.105 , URL =
-
[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]
Ognibene, Roberto and Velichkov, Bozhidar , TITLE =. Matematica , FJOURNAL =. 2026 , NUMBER =. doi:10.1007/s44007-025-00176-8 , URL =
-
[55]
Tavares, Hugo and Terracini, Susanna , TITLE =. Calc. Var. Partial Differential Equations , FJOURNAL =. 2012 , NUMBER =. doi:10.1007/s00526-011-0458-z , URL =
-
[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]
Soave, Nicola and Terracini, Susanna , TITLE =. Adv. Math. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.aim.2015.03.015 , URL =
-
[58]
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]
Mazzoleni, Dario and Trey, Baptiste and Velichkov, Bozhidar , TITLE =. Ann. Inst. H. Poincar\'e. 2022 , NUMBER =. doi:10.4171/aihpc/14 , URL =
-
[60]
Brian con, Tanguy and Lamboley, Jimmy , TITLE =. Ann. Inst. H. Poincar\'e. 2009 , NUMBER =. doi:10.1016/j.anihpc.2008.07.003 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.