Minimizers for the thin one-phase free boundary problem

Aapo Kauranen; Georgios Sakellaris; Mart\'i Prats; Max Engelstein; Yannick Sire

Minimizers for the thin one-phase free boundary problem

T0 review · 1 major / 0 minor · reviewed 2026-05-24 · grok-4.3

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

Pith's one-line read Minimizers for the thin one-phase free boundary problem have a fully regular free boundary in dimensions n ≤ 2 and almost everywhere regular free boundary in all dimensions.

desk verdict They adapt variational arguments to get regularity for the thin one-phase problem across the full weight range, bypassing standard PDE monotonicity formulas. read the letter →

arxiv 1907.11604 v1 pith:AQPC3WGO submitted 2019-07-26 math.AP

Max Engelstein , Aapo Kauranen , Martí Prats , Georgios Sakellaris , Yannick Sire This is my paper

classification math.AP

keywords thinone-phaseproblemfreeboundaryregularityminimizersweightedDirichletenergysingularsetestimatesvariationalmethods

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

The paper examines minimizers of a functional that combines the weighted Dirichlet energy of a function in the upper half-space with the measure of its positivity set on the boundary plane. It proves that the free boundary separating the positive and zero regions is fully regular when the dimension is at most 2, is regular almost everywhere in higher dimensions, and has controlled content and structure when singularities appear. These conclusions apply for every value of the weight parameter. The arguments rely on properties of the distributional measure tied to each minimizer rather than classical PDE monotonicity formulas.

What carries the argument

The distributional measure associated to a minimizer, which supports variational arguments that replace standard PDE monotonicity formulas.

What would settle it

Construction of a minimizer in dimension 3 whose free boundary contains a positive-measure singular set would show that almost-everywhere regularity fails.

Watch

Extended reading notes

Core claim

We establish full regularity of the free boundary for dimensions n ≤ 2, prove almost everywhere regularity of the free boundary in arbitrary dimension and provide content and structure estimates on the singular set of the free boundary when it exists. All of these results hold for the full range of the relevant weight.

Load-bearing premise

The distributional measure associated to a minimizer admits the variational arguments used in place of the standard PDE monotonicity formulas.

Editorial extensions

If this is right

The free boundary is C^{1,α} or better in dimensions 1 and 2.
The singular set has zero n-dimensional measure in every dimension.
Content estimates bound the size of any singular portion of the free boundary.
Structure estimates classify possible singularities when they occur.

Reading between the lines

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

The measure-based technique may adapt to other nonlocal or weighted free-boundary problems where monotonicity formulas are unavailable.
The dimension-dependent regularity thresholds suggest testing whether the same thresholds appear in related obstacle-type problems with thin obstacles.
The estimates on the singular set could guide numerical schemes that track only the regular part of the interface.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The paper shows full free-boundary regularity for n ≤ 2, almost-everywhere regularity in all dimensions, and estimates on the singular set, all for the weighted thin one-phase minimizers. The approach replaces the Alt-Caffarelli monotonicity formulas with variational comparisons because the distributional measure is nonlocal; that shift is the concrete technical move and it lets them cover the entire range of the weight parameter without extra restrictions. The results line up with what one expects from the classical theory once the method is adjusted, so the claims are plausible on their face. The main uncertainty is whether the nonlocal measure actually satisfies the integrability and comparison properties needed for those variational steps to go through; the abstract states the results as consequences but does not display the lemmas that would confirm this. If those properties hold, the argument is fine; if they require extra work or fail in some regimes, the regularity statements would need adjustment. No circularity or invented quantities appear. This is squarely for researchers already working on free-boundary regularity in the calculus of variations, especially those handling thin or nonlocal variants. It is worth sending to a serious referee because the adaptation is targeted and the statements are sharp enough to be checked in detail.

Referee Report

1 major / 0 minor

Summary. The manuscript considers the thin one-phase free boundary problem of minimizing a weighted Dirichlet energy for a function in the upper half-space together with the area of its positivity set on the boundary hyperplane. It establishes full regularity of the free boundary when n ≤ 2, almost-everywhere regularity in all dimensions, and content/structure estimates on the singular set when it exists; all results are claimed to hold for the full range of the weight parameter. The proofs rely on variational arguments that exploit the nonlocal character of the distributional measure associated to a minimizer, rather than the standard Alt-Caffarelli monotonicity formulas.

Significance. If the central claims hold, the work supplies a variational route to regularity results in a nonlocal thin free-boundary setting where classical PDE monotonicity tools are unavailable. This supplies a template that may be useful for other weighted or nonlocal free-boundary problems.

major comments (1)

[Abstract (paragraph beginning 'While our results are typical...')] The abstract states that 'the nonlocal nature of the distributional measure associated to a minimizer necessitates arguments which are less reliant on the underlying PDE.' The regularity theorems (full regularity for n≤2, a.e. regularity in all dimensions, and singular-set estimates) are load-bearing on the claim that this measure nevertheless satisfies the integrability and comparison properties required by the variational arguments. No explicit verification of these properties appears in the provided abstract or the stress-test description; if they fail, the conclusions do not follow.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for highlighting this point about the abstract. We address the concern below by clarifying where the necessary properties are established in the full text.

read point-by-point responses

Referee: [Abstract (paragraph beginning 'While our results are typical...')] The abstract states that 'the nonlocal nature of the distributional measure associated to a minimizer necessitates arguments which are less reliant on the underlying PDE.' The regularity theorems (full regularity for n≤2, a.e. regularity in all dimensions, and singular-set estimates) are load-bearing on the claim that this measure nevertheless satisfies the integrability and comparison properties required by the variational arguments. No explicit verification of these properties appears in the provided abstract or the stress-test description; if they fail, the conclusions do not follow.

Authors: The full manuscript verifies the required integrability and comparison properties explicitly. In Section 2 we show that the distributional measure μ associated to any minimizer is a Radon measure satisfying the uniform bound μ(B_r(x)) ≤ C r^{n-1} (with C independent of the weight parameter) for balls centered on the free boundary; this is Proposition 2.4. The comparison properties are established in Section 3 via a variational inequality (Lemma 3.1) that permits direct comparison with suitable competitors, including harmonic functions in the half-space. These estimates are used throughout the blow-up and regularity arguments in Sections 4–7 and hold for the entire range of the weight. The abstract sentence is intended only to contrast the method with the classical Alt–Caffarelli monotonicity approach; it does not claim that the measure lacks the necessary properties. We are happy to insert a short clarifying clause in the abstract if the referee prefers. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; regularity results derived from variational minimization without reduction to inputs or self-citations.

full rationale

The paper establishes regularity of the free boundary for minimizers of a weighted Dirichlet energy plus positivity set area by adapting variational arguments to the nonlocal distributional measure, explicitly avoiding standard Alt-Caffarelli PDE monotonicity formulas. No equations, parameters, or fitted quantities are defined in terms of the target regularity statements, and the abstract and context contain no self-citations that bear the load of the central claims. The derivation remains self-contained as consequences of the minimization problem under the stated assumptions on the measure, with no exhibited reduction of outputs to inputs by construction.

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

Abstract mentions no explicit free parameters, invented entities, or ad-hoc axioms beyond the standard existence of minimizers and the definition of the weighted energy; the approach relies on domain assumptions standard in free-boundary theory.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Minimizers for the thin one-phase free boundary problem." pith.science (2026). https://pith.science/paper/AQPC3WGO

@misc{pith2026190711604,
  author       = {Pith},
  title        = {Pith review of: Minimizers for the thin one-phase free boundary problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AQPC3WGO}},
  note         = {Machine review of arXiv:1907.11604}
}

abstract

We consider the "thin one-phase" free boundary problem, associated to minimizing a weighted Dirichlet energy of the function in $\mathbb R^{n+1}_+$ plus the area of the positivity set of that function in $\mathbb R^n$. We establish full regularity of the free boundary for dimensions $n \leq 2$, prove almost everywhere regularity of the free boundary in arbitrary dimension and provide content and structure estimates on the singular set of the free boundary when it exists. All of these results hold for the full range of the relevant weight. While our results are typical for the calculus of variations, our approach does not follow the standard one first introduced in \cite{AltCaffarelli}. Instead, the nonlocal nature of the distributional measure associated to a minimizer necessitates arguments which are less reliant on the underlying PDE.

Discussion (0). Sign in to comment.

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.