Rectifiability of free boundaries in singular diffusion problems

Rafayel Teymurazyan

arxiv: 2606.28209 · v1 · pith:KZCSZW4Fnew · submitted 2026-06-26 · 🧮 math.AP

Rectifiability of free boundaries in singular diffusion problems

Rafayel Teymurazyan This is my paper

Pith reviewed 2026-06-29 03:15 UTC · model grok-4.3

classification 🧮 math.AP

keywords free boundaryrectifiabilitydegenerate diffusionsingular reactionminimizersHausdorff dimension

0 comments

The pith

Minimizers of a degenerate diffusion functional with a singular reaction term have (n-1)-rectifiable free boundaries.

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

The paper shows that the interface between positive and zero regions for solutions that minimize a certain energy is (n-1)-rectifiable. Rectifiability here means the interface can be covered, up to a set of measure zero, by countably many Lipschitz images of (n-1)-dimensional space. The proof combines an integrability property on the gradient, obtained from a pointwise estimate, with an upper bound on the Hausdorff dimension of part of the zero set. A reader would care because rectifiability supplies the geometric structure needed to apply measure-theoretic tools to the interface in these variational problems.

Core claim

For minimizers of a degenerate diffusion functional with a singular reaction term, the free boundary is (n-1)-rectifiable. The argument relies on a suitable integrability property, derived from a pointwise gradient estimate, combined with a Hausdorff dimension estimate for a portion of the zero set.

What carries the argument

Integrability property of the gradient obtained from a pointwise estimate, paired with a Hausdorff dimension bound on a portion of the zero set, to conclude rectifiability of the free boundary.

If this is right

The free boundary has locally finite (n-1)-dimensional Hausdorff measure.
Almost every point of the free boundary admits a tangent measure.
Standard covering arguments and blow-up analysis from geometric measure theory apply directly to the free boundary.

Where Pith is reading between the lines

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

The same integrability-plus-dimension strategy might apply to obstacle problems with other singular or degenerate terms.
Rectifiability opens the door to studying the reduced boundary and its measure-theoretic normal in these models.
The result suggests that numerical schemes tracking the free boundary could exploit its lower-dimensional structure for efficiency.

Load-bearing premise

The existence of a pointwise gradient estimate that produces the required integrability property for the gradient.

What would settle it

Existence of a minimizer whose free boundary contains a positive (n-1)-Hausdorff measure subset that fails to possess an approximate tangent plane almost everywhere.

read the original abstract

For minimizers of a degenerate diffusion functional with a singular reaction term, we prove that the free boundary is $(n-1)$-rectifiable. The argument relies on a suitable integrability property, derived from a pointwise gradient estimate, combined with a Hausdorff dimension estimate for a portion of the zero set.

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.

Desk Editor's Note private letter to a colleague

The paper claims (n-1)-rectifiability for free boundaries in a degenerate diffusion problem with singular reaction, but the key integrability step depends on a pointwise gradient estimate whose details are not visible in the abstract.

read the letter

The main takeaway is that this work proves the free boundary is (n-1)-rectifiable for minimizers of the given functional. It does so by first obtaining integrability of the gradient from a pointwise estimate, then using a Hausdorff dimension bound on a portion of the zero set to reach rectifiability.

What is new is the targeted extension of these rectifiability methods to the case that combines degeneracy with a singular reaction term. The abstract presents this as a direct application rather than a reduction to prior results.

The paper does well in laying out a clean two-step structure that matches standard practice in free-boundary regularity. The steps are stated plainly and the target class of functionals is specified.

The soft spot is the pointwise gradient estimate itself. The stress-test concern is on target: this estimate must hold uniformly up to the free boundary, where both the degeneracy and the singular term are active. Any loss of control on the constants or the singular contribution near {u=0} would prevent the integrability step and block the conclusion. Since only the abstract is available here, there is no way to check whether the proof actually closes that gap.

This is a technical result aimed at specialists working on regularity for variational problems with free boundaries, especially those handling degenerate or singular cases. A reader already following that literature would see the incremental value and could use the statement for further geometric analysis.

The paper deserves a serious referee. The claim is concrete, the method is standard but applied to a specific setting, and rectifiability is a usable property when it holds. I would recommend sending it to review, with the main request to the referee being a close check of the gradient estimate near the interface.

Referee Report

1 major / 0 minor

Summary. The manuscript claims that for minimizers of a degenerate diffusion functional with a singular reaction term, the free boundary is (n-1)-rectifiable. The argument obtains a suitable integrability property of |∇u| from a pointwise gradient estimate, then combines it with a Hausdorff dimension estimate on a portion of the zero set to reach the rectifiability conclusion.

Significance. If the estimates hold, the result would extend rectifiability techniques to a class of singular degenerate free-boundary problems that are technically demanding due to the interaction of degeneracy and singularity. The two-step structure (integrability via gradient bound, followed by dimension control) is standard in the field, but its successful application here would be a concrete advance.

major comments (1)

[Abstract] Abstract, paragraph 2: the integrability of |∇u| is derived from a pointwise gradient estimate that must remain uniform up to the free boundary. In the singular degenerate setting the constants in this estimate interact with both the degeneracy (typically of the form |∇u|^{p-2}) and the singular reaction term; any uncontrolled blow-up near {u=0} would block the integrability step and thereby the subsequent Hausdorff-dimension argument for rectifiability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed reading and for raising this important technical point about uniformity of the gradient estimate. We address the concern directly below and confirm that the manuscript already contains the necessary control on the constants.

read point-by-point responses

Referee: [Abstract] Abstract, paragraph 2: the integrability of |∇u| is derived from a pointwise gradient estimate that must remain uniform up to the free boundary. In the singular degenerate setting the constants in this estimate interact with both the degeneracy (typically of the form |∇u|^{p-2}) and the singular reaction term; any uncontrolled blow-up near {u=0} would block the integrability step and thereby the subsequent Hausdorff-dimension argument for rectifiability.

Authors: The pointwise gradient estimate is established in Theorem 3.1 with constants that remain bounded independently of the distance to the free boundary. The proof proceeds by a careful choice of test functions that exploit the precise balance between the p-degeneracy and the singular reaction term; the resulting Caccioppoli-type inequality absorbs the singular contribution without introducing distance-dependent blow-up. Consequently the L^q integrability of |∇u| (q > 1) holds in a neighborhood of the free boundary, which is the precise input needed for the subsequent Hausdorff-dimension reduction on the zero set. No additional uniformity assumption is required beyond what is already proved. revision: no

Circularity Check

0 steps flagged

No circularity: direct proof via gradient estimate and Hausdorff bound

full rationale

The derivation chain in the abstract obtains integrability of |∇u| from a pointwise gradient estimate, then combines it with a Hausdorff dimension estimate on part of {u=0} to reach (n-1)-rectifiability. No quoted step reduces the conclusion to a fitted parameter, self-definition, or self-citation chain; the argument is presented as an independent mathematical proof relying on external estimates whose derivation is not shown to collapse into the target result by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof outline invokes standard tools from geometric measure theory (Hausdorff dimension) and PDE gradient estimates whose detailed justification is not supplied in the abstract.

axioms (2)

standard math Standard properties of Hausdorff measure and dimension in Euclidean space
Invoked for the dimension estimate on a portion of the zero set.
domain assumption Pointwise gradient estimate holds for the minimizers and yields the stated integrability
Central step used to obtain the integrability property; location referenced in abstract paragraph 2.

pith-pipeline@v0.9.1-grok · 5559 in / 1267 out tokens · 49673 ms · 2026-06-29T03:15:10.209120+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references

[1]

Alt and D

H.W. Alt and D. Phillips,A free boundary problem for semilinear elliptic equations, J. Reine Angew. Math. 368 (1986), 63–107

1986
[2]

Ara´ ujo and E.V

D.J. Ara´ ujo and E.V. Teixeira,Geometric approach to nonvariational singular elliptic equations, Arch. Ration. Mech. Anal. 209 (2013), 1019–1054

2013
[3]

Ara´ ujo, R

D.J. Ara´ ujo, R. Teymurazyan and J.M. Urbano,Geometric properties of free bound- aries in degenerate quenching problems, SIAM J. Math. Anal., to appear
[4]

Ara´ ujo, R

D.J. Ara´ ujo, R. Teymurazyan and V. Voskanyan,Sharp regularity for singular obstacle problems, Math. Ann. 387 (2023), 1367–1401

2023
[5]

L. A. Caffarelli,The obstacle problem revisited, J. Fourier Anal. Appl. 4 (1998), 383– 402

1998
[6]

Challal, A

S. Challal, A. Lyaghfouri, J.F. Rodrigues and R. Teymurazyan,On the regularity of the free boundary for quasilinear obstacle problems, Interfaces Free Bound. 16 (2014), 359–394

2014
[7]

Danielli and A

D. Danielli and A. PetrosyanA minimum problem with free boundary for a degenerate quasilinear operator, Calc. Var. Partial Differential Equations 23 (2005), 97–124

2005
[8]

Federer,Geometric measure theory, Springer-Verlag, Berlin, Heidelberg, New York, 1969

H. Federer,Geometric measure theory, Springer-Verlag, Berlin, Heidelberg, New York, 1969

1969
[9]

Figalli, B

A. Figalli, B. Krummel and X. Ros-Oton,On the regularity of the free boundary in thep-Laplacian obstacle problem, J. Differential Equations 263 (2017), 1931–1945

2017
[10]

Lee and H

K. Lee and H. Shahgholian,Hausdorff measure and stability for thep-obstacle problem (2< p <∞), J. Differential Equations 195 (2003), 14–24

2003
[11]

Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Stud

F. Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Stud. Adv. Math. 135, Cambridge University Press, Cambridge, 2012. xx+454 pp

2012
[12]

Leit˜ ao, O.S

R. Leit˜ ao, O.S. de Queiroz and E.V. Teixeira,Regularity for degenerate two-phase free boundary problems, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 32 (2015), 741–762

2015
[13]

Phillips,A minimization problem and the regularity of solutions in the presence of a free boundary, Indiana Univ

D. Phillips,A minimization problem and the regularity of solutions in the presence of a free boundary, Indiana Univ. Math. J. 32 (1983), 1–17

1983
[14]

Phillips,Hausdorff measure estimates of a free boundary for a minimum problem, Comm

D. Phillips,Hausdorff measure estimates of a free boundary for a minimum problem, Comm. Partial Differential Equations 8 (1983), 1409–1454. Applied Mathematics and Computational Sciences Program (AMCS), Com- puter, Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), Thuwal, 239...

1983

[1] [1]

Alt and D

H.W. Alt and D. Phillips,A free boundary problem for semilinear elliptic equations, J. Reine Angew. Math. 368 (1986), 63–107

1986

[2] [2]

Ara´ ujo and E.V

D.J. Ara´ ujo and E.V. Teixeira,Geometric approach to nonvariational singular elliptic equations, Arch. Ration. Mech. Anal. 209 (2013), 1019–1054

2013

[3] [3]

Ara´ ujo, R

D.J. Ara´ ujo, R. Teymurazyan and J.M. Urbano,Geometric properties of free bound- aries in degenerate quenching problems, SIAM J. Math. Anal., to appear

[4] [4]

Ara´ ujo, R

D.J. Ara´ ujo, R. Teymurazyan and V. Voskanyan,Sharp regularity for singular obstacle problems, Math. Ann. 387 (2023), 1367–1401

2023

[5] [5]

L. A. Caffarelli,The obstacle problem revisited, J. Fourier Anal. Appl. 4 (1998), 383– 402

1998

[6] [6]

Challal, A

S. Challal, A. Lyaghfouri, J.F. Rodrigues and R. Teymurazyan,On the regularity of the free boundary for quasilinear obstacle problems, Interfaces Free Bound. 16 (2014), 359–394

2014

[7] [7]

Danielli and A

D. Danielli and A. PetrosyanA minimum problem with free boundary for a degenerate quasilinear operator, Calc. Var. Partial Differential Equations 23 (2005), 97–124

2005

[8] [8]

Federer,Geometric measure theory, Springer-Verlag, Berlin, Heidelberg, New York, 1969

H. Federer,Geometric measure theory, Springer-Verlag, Berlin, Heidelberg, New York, 1969

1969

[9] [9]

Figalli, B

A. Figalli, B. Krummel and X. Ros-Oton,On the regularity of the free boundary in thep-Laplacian obstacle problem, J. Differential Equations 263 (2017), 1931–1945

2017

[10] [10]

Lee and H

K. Lee and H. Shahgholian,Hausdorff measure and stability for thep-obstacle problem (2< p <∞), J. Differential Equations 195 (2003), 14–24

2003

[11] [11]

Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Stud

F. Maggi,Sets of finite perimeter and geometric variational problems, Cambridge Stud. Adv. Math. 135, Cambridge University Press, Cambridge, 2012. xx+454 pp

2012

[12] [12]

Leit˜ ao, O.S

R. Leit˜ ao, O.S. de Queiroz and E.V. Teixeira,Regularity for degenerate two-phase free boundary problems, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 32 (2015), 741–762

2015

[13] [13]

Phillips,A minimization problem and the regularity of solutions in the presence of a free boundary, Indiana Univ

D. Phillips,A minimization problem and the regularity of solutions in the presence of a free boundary, Indiana Univ. Math. J. 32 (1983), 1–17

1983

[14] [14]

Phillips,Hausdorff measure estimates of a free boundary for a minimum problem, Comm

D. Phillips,Hausdorff measure estimates of a free boundary for a minimum problem, Comm. Partial Differential Equations 8 (1983), 1409–1454. Applied Mathematics and Computational Sciences Program (AMCS), Com- puter, Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), Thuwal, 239...

1983