pith. sign in

arxiv: 2404.07535 · v4 · submitted 2024-04-11 · 🧮 math.AP

Free boundary regularity for the inhomogeneous one-phase Stefan problem

Fausto Ferrari , Nicol\`o Forcillo , Davide Giovagnoli , David Jesus This is my paper

Pith reviewed 2026-05-24 01:53 UTC · model grok-4.3

classification 🧮 math.AP
keywords free boundary regularityStefan probleminhomogeneousone-phaseC^{1,α} regularityhodograph transformlinearization
0
0 comments X

The pith

Flat free boundaries of solutions to the inhomogeneous one-phase Stefan problem are C^{1,α}.

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

The paper proves that flat free boundaries in the inhomogeneous one-phase Stefan problem attain C^{1,α} regularity. It does so by applying a hodograph transform to straighten the boundary and then linearizing the resulting equation, exactly as in the homogeneous case. A sympathetic reader cares because the one-phase Stefan problem models melting and freezing processes, and the inhomogeneous version adds a source term that appears in many physical settings with external heating or cooling. The result shows the same regularity conclusion holds once the method is adapted to the extra term.

Core claim

We prove that flat free boundaries of solutions to the inhomogeneous one-phase Stefan problem are C^{1,α}. The method consists of employing a hodograph transform and deriving the regularity via a linearization technique, following the approach introduced by De Silva, Forcillo, and Savin in DFS23.

What carries the argument

Hodograph transform followed by linearization of the free-boundary condition, which converts the nonlinear free-boundary problem into a linear PDE whose solutions yield the desired Hölder estimates on the boundary gradient.

If this is right

  • Flat portions of the free boundary in the inhomogeneous problem are graphs with Hölder continuous derivatives.
  • The same linearization procedure controls the boundary regularity when a bounded inhomogeneity is present.
  • Higher regularity can be obtained by iterating the C^{1,α} estimate in the usual way.

Where Pith is reading between the lines

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

  • The result suggests that similar linearization arguments may apply to other free-boundary problems whose homogeneous versions are already known to be regular.
  • Numerical schemes that assume C^{1,α} free boundaries could be justified for the inhomogeneous Stefan model.
  • The technique might extend to time-dependent or higher-dimensional settings where the inhomogeneity varies mildly.

Load-bearing premise

The hodograph transform and linearization still produce a controllable linearized equation once the inhomogeneity term is added.

What would settle it

An explicit solution to the inhomogeneous one-phase Stefan problem whose flat free boundary is not differentiable would falsify the claim.

read the original abstract

In this paper, we prove that flat free boundaries of solutions to inhomogeneous one-phase Stefan problem are $C^{1,\alpha}$. The method consists of employing a hodograph transform and deriving the regularity via a linearization technique, following the approach introduced by De Silva, Forcillo, and Savin in \cite{DFS23}.

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

Summary. The paper claims to prove that flat free boundaries of solutions to the inhomogeneous one-phase Stefan problem are C^{1,α}. The method consists of employing a hodograph transform and deriving the regularity via a linearization technique, following the approach introduced by De Silva, Forcillo, and Savin in DFS23.

Significance. If the central claim holds, the result extends free-boundary regularity theory from the homogeneous one-phase Stefan problem to the inhomogeneous setting. This is of interest for models with external sources or forcing terms. The manuscript positions the argument as a direct adaptation of an existing technique rather than a new method.

major comments (1)
  1. [Abstract / linearization step] The central claim requires that the hodograph transform and subsequent linearization, originally developed for the homogeneous problem, remain valid and produce a controllable linearized equation when the inhomogeneity is present. The abstract states that the proof follows the approach of DFS23 but supplies no explicit verification that the inhomogeneous term yields coefficients and a forcing term compatible with the Schauder-type estimates used in the homogeneous case.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract / linearization step] The central claim requires that the hodograph transform and subsequent linearization, originally developed for the homogeneous problem, remain valid and produce a controllable linearized equation when the inhomogeneity is present. The abstract states that the proof follows the approach of DFS23 but supplies no explicit verification that the inhomogeneous term yields coefficients and a forcing term compatible with the Schauder-type estimates used in the homogeneous case.

    Authors: The abstract is a concise summary and does not contain the detailed calculations. The explicit verification that the hodograph transform applied to the inhomogeneous problem produces a linearized equation whose coefficients remain bounded and whose forcing term is controlled by the inhomogeneity (hence compatible with the Schauder estimates of DFS23) is carried out in full in Sections 3 and 4 of the manuscript. There the transformed equation is derived, the linearization at the flat solution is computed, and the resulting linear operator is shown to satisfy the structural assumptions needed for the estimates. revision: no

Circularity Check

0 steps flagged

Minor self-citation not load-bearing; derivation follows external method

full rationale

The paper states that its proof employs the hodograph transform and linearization technique following the approach of DFS23. No equations, fitted parameters, or self-definitional reductions are exhibited in the abstract or description that would make the C^{1,α} regularity claim equivalent to its inputs by construction. The overlap with DFS23 (via co-author Forcillo) constitutes a self-citation, but it is not load-bearing for the central claim, which is framed as a direct extension to the inhomogeneous case without internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard background results in elliptic and parabolic regularity theory together with the validity of the hodograph transform for the inhomogeneous operator; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math Hodograph transform converts the free-boundary problem into a fixed-boundary problem whose linearization admits Schauder estimates
    Invoked when the authors state they derive regularity via linearization following DFS23.
  • domain assumption Flatness of the free boundary is preserved under the transform and yields a smallness condition sufficient for the linearization argument
    The claim is restricted to flat free boundaries; this assumption enters the statement of the theorem.

pith-pipeline@v0.9.0 · 5574 in / 1295 out tokens · 24366 ms · 2026-05-24T01:53:06.798030+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

25 extracted references · 25 canonical work pages

  1. [1]

    Athanasopoulos, L

    I. Athanasopoulos, L. Caffarelli, and S. Salsa. Caloric functions in Lipschitz domains and the regularity of solutions to phase transition problems. Ann. of Math. (2) , 143(3):413–434, 1996

    work page 1996

  2. [2]

    Athanasopoulos, L

    I. Athanasopoulos, L. Caffarelli, and S. Salsa. Regularity of the f ree boundary in parabolic phase-transition problems. Acta Math., 176(2):245–282, 1996

    work page 1996

  3. [3]

    Athanasopoulos, L

    I. Athanasopoulos, L. A. Caffarelli, and S. Salsa. Phase transitio n problems of parabolic type: flat free boundaries are smooth. Comm. Pure Appl. Math. , 51(1):77–112, 1998

    work page 1998

  4. [4]

    Caffarelli and S

    L. Caffarelli and S. Salsa. A geometric approach to free boundary problems , volume 68 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2005. 22

    work page 2005

  5. [5]

    L. A. Caffarelli and X. Cabr´ e. Fully nonlinear elliptic equations , volume 43. American Math- ematical Soc., 1995

    work page 1995

  6. [6]

    Choi and I

    S. Choi and I. C. Kim. Regularity of one-phase Stefan problem ne ar Lipschitz initial data. Amer. J. Math. , 132(6):1693–1727, 2010

    work page 2010

  7. [7]

    De Silva

    D. De Silva. Free boundary regularity for a problem with right hand side. Interfaces Free Bound., 13(2):223–238, 2011

    work page 2011

  8. [8]

    De Silva, F

    D. De Silva, F. Ferrari, and S. Salsa. Two-phase problems with dist ributed sources: regularity of the free boundary. Anal. PDE , 7(2):267–310, 2014

    work page 2014

  9. [9]

    De Silva, N

    D. De Silva, N. Forcillo, and O. Savin. Perturbative estimates for t he one-phase Stefan problem. Calc. Var. Partial Differential Equations , 60(6):Paper No. 219, 38, 2021

    work page 2021

  10. [10]

    Ferrari, D

    F. Ferrari, D. Giovagnoli, and D. Jesus. On the Geometry of Solu tions of the Fully Nonlinear Inhomogeneous One-Phase Stefan Problem. arXiv preprint arXiv:2504.12912 , 2025

    work page arXiv 2025

  11. [11]

    Ferrari and C

    F. Ferrari and C. Lederman. Regularity of flat free boundarie s for a p(x)-Laplacian problem with right hand side. Nonlinear Anal., 212:Paper No. 112444, 25, 2021

    work page 2021

  12. [12]

    Ferrari and C

    F. Ferrari and C. Lederman. Regularity of Lipschitz free boun daries for a p(x)-Laplacian problem with right hand side. J. Math. Pures Appl. (9) , 171:26–74, 2023

    work page 2023

  13. [13]

    Ferrari and C

    F. Ferrari and C. Lederman. Regularity of flat free boundarie s for two-phase p(x)− Laplacian problems with right hand side. Calculus of Variations and Partial Differential Equations , 63(5):132, 2024

    work page 2024

  14. [14]

    Ferrari, C

    F. Ferrari, C. Lederman, and S. Salsa. Recent results on nonlin ear elliptic free boundary problems. Vietnam J. Math. , 50(4):977–996, 2022

    work page 2022

  15. [15]

    Ferrari and S

    F. Ferrari and S. Salsa. Two-phase free boundary problems f or parabolic operators: smoothness of the front. Comm. Pure Appl. Math. , 67(1):1–39, 2014

    work page 2014

  16. [16]

    Friedman

    A. Friedman. The Stefan problem in several space variables. Trans. Amer. Math. Soc. , 133:51– 87, 1968

    work page 1968

  17. [17]

    The Stefan problem in several sp ace variables

    A. Friedman. Correction to: “The Stefan problem in several sp ace variables”. Trans. Amer. Math. Soc. , 142:557, 1969

    work page 1969

  18. [18]

    Kim and Y

    I. Kim and Y. P. Zhang. Regularity of Hele-Shaw Flow with source a nd drift. Annals of PDE , 10(2):20, 2024

    work page 2024

  19. [19]

    I. C. Kim and N. Poˇ z´ ar. Viscosity solutions for the two-phase Stefan problem. Comm. Partial Differential Equations , 36(1):42–66, 2011

    work page 2011

  20. [20]

    Koike, A

    S. Koike, A. ´Swiech, and S. Tateyama. Weak harnack inequality for fully nonlinear uniformly parabolic equations with unbounded ingredients and applications. Nonlinear Analysis, 185:264– 289, 2019

    work page 2019

  21. [21]

    Kriventsov and M

    D. Kriventsov and M. Soria-Carro. A parabolic free transmissio n problem: flat free boundaries are smooth. arXiv preprint arXiv:2402.16805 , 2024

    work page arXiv 2024

  22. [22]

    G. M. Lieberman. Second order parabolic differential equations . World Scientific Publishing Co., Inc., River Edge, NJ, 1996. 23

    work page 1996

  23. [23]

    Pr¨ uss, J

    J. Pr¨ uss, J. Saal, and G. Simonett. Existence of analytic solut ions for the classical Stefan problem. Math. Ann. , 338(3):703–755, 2007

    work page 2007

  24. [24]

    Visintin

    A. Visintin. Introduction to Stefan-type problems. Handbook of differential equations: evolu- tionary equations , 4:377–484, 2008

    work page 2008

  25. [25]

    Y. Wang. Free boundary regularity in nonlinear one-phase Stef an problem. arXiv preprint arXiv:2404.06712, 2024. Fausto Ferrari, Dipartimento di Matematica, Universit `a di Bologna Piazza di Porta San Donato 5, 40126 Bologna, Italy E-mail address: fausto.ferrari@unibo.it Nicol´ o Forcillo,Departments of Mathematics, Michigan state university, 61 9 Red Ced...

    work page arXiv 2024