Recognition: 2 theorem links
· Lean TheoremOptimal regularity at the free boundary in one-dimensional first-order mean field games
Pith reviewed 2026-05-11 01:14 UTC · model grok-4.3
The pith
In one-dimensional mean field games with power coupling, the pressure is Lipschitz and the value function is C^{1,1/2} at the free boundary under nondegeneracy on the initial datum.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under a standard nondegeneracy assumption on the initial datum, the pressure p=m^θ is Lipschitz continuous, the value function u is C^{1,1/2}, and the two free boundary curves are smooth in time. If the initial pressure is smooth, then both p and u are smooth up to the free boundary from inside the positive phase. The proof works in Lagrangian coordinates and, through a singular change of variables, recasts the boundary degeneracy as a removable radial axis in effective dimension N=4+2/θ, allowing the application of recent estimates for even solutions to elliptic problems with degenerate weights.
What carries the argument
Singular change of variables that recasts the boundary degeneracy as a removable radial axis in effective dimension N=4+2/θ, permitting elliptic regularity estimates for even solutions with degenerate weights.
If this is right
- The pressure p equals m to the power theta remains Lipschitz continuous up to the free boundary.
- The value function u is exactly C^{1,1/2} near the free boundary.
- The two free boundary curves are infinitely smooth as functions of time.
- When the initial pressure is smooth, both pressure and value function extend smoothly to the free boundary from inside the positive phase.
Where Pith is reading between the lines
- The same change-of-variables idea may apply to other degenerate free-boundary problems whose scaling produces a similar effective dimension.
- The dependence of the effective dimension on the exponent theta indicates that regularity classes vary systematically with the strength of the coupling.
- These one-dimensional results supply a benchmark for testing whether higher-dimensional mean-field-game free boundaries remain smooth in time under analogous nondegeneracy.
Load-bearing premise
The initial datum satisfies a standard nondegeneracy assumption.
What would settle it
An explicit example of a nondegenerate initial density for which the pressure fails to be Lipschitz or the free boundary curve develops a corner in finite time.
read the original abstract
We establish sharp regularity for the value function, the pressure, and the free boundary in one-dimensional first-order mean field games with power coupling and compactly supported density. Under a standard nondegeneracy assumption on the initial datum, the pressure \(p=m^\theta\) is Lipschitz continuous, the value function \(u\) is \(C^{1,1/2}\), and the two free boundary curves are smooth in time. If the initial pressure is smooth, then both \(p\) and \(u\) are smooth up to the free boundary from inside the positive phase. The proof works in Lagrangian coordinates and, through a singular change of variables, recasts the boundary degeneracy as a removable radial axis in effective dimension \(N=4+2/\theta\), allowing the application of recent estimates for even solutions to elliptic problems with degenerate weights.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes sharp regularity results for one-dimensional first-order mean field games with power-law coupling and compactly supported density. Under a standard nondegeneracy assumption on the initial datum, the pressure p = m^θ is shown to be Lipschitz continuous, the value function u is C^{1,1/2}, and the two free boundary curves are C^∞ in time. If the initial pressure is smooth, then both p and u are smooth up to the free boundary from inside the positive phase. The proof proceeds in Lagrangian coordinates via a singular change of variables that recasts the free-boundary degeneracy as a removable radial axis in effective dimension N = 4 + 2/θ, after which recent elliptic estimates for even solutions of weighted degenerate problems are applied.
Significance. If the results hold, the paper delivers optimal free-boundary regularity for a class of 1D first-order MFG problems, which is a meaningful advance in the regularity theory of mean-field games with compact support. The reduction via Lagrangian coordinates and the singular change of variables to an effective higher-dimensional elliptic problem with removable singularity is a technically clean device that directly invokes existing estimates; this approach is reusable and avoids ad-hoc constructions. The work ships a parameter-free reduction under an explicitly stated nondegeneracy hypothesis and produces falsifiable regularity statements (Lipschitz pressure, C^{1,1/2} value function, smooth free boundaries).
minor comments (3)
- §2 (Lagrangian coordinate change): the definition of the effective dimension N = 4 + 2/θ should be accompanied by an explicit verification that the transformed weight is exactly the radial weight in dimension N and that the even extension across the axis is C^{1,α} for the relevant α; a short calculation confirming the Jacobian factor would remove any ambiguity.
- §3 (application of elliptic estimates): the manuscript invokes 'recent estimates for even solutions' without citing the precise theorem number or the precise range of θ for which the estimates apply; adding the reference and the interval of θ would make the dependence on prior work fully transparent.
- Notation: the symbol for the nondegeneracy constant on the initial datum is introduced only in the statement of the main theorem; defining it once in §1 with its precise quantitative form would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the positive assessment of its contributions to the regularity theory of one-dimensional first-order mean field games. We appreciate the recommendation for minor revision.
Circularity Check
No significant circularity in the derivation chain
full rationale
The paper establishes the claimed regularity by transforming the one-dimensional MFG free-boundary problem into Lagrangian coordinates, applying a singular change of variables that recasts the degeneracy as a removable radial axis in effective dimension N=4+2/θ, and then invoking external estimates for even solutions of weighted degenerate elliptic problems. The nondegeneracy assumption on the initial datum is stated explicitly as the enabling hypothesis rather than derived internally. No equation or step reduces the target regularity (Lipschitz pressure, C^{1,1/2} value function, smooth free boundaries) to a fitted parameter, a self-defined quantity, or a load-bearing self-citation whose validity is presupposed by the present work. The argument therefore remains independent of its own outputs.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption standard nondegeneracy assumption on the initial datum
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclearthrough a singular change of variables, recasts the boundary degeneracy as a removable radial axis in effective dimension N=4+2/θ, allowing the application of recent estimates for even solutions to elliptic problems with degenerate weights
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearthe pressure p=m^θ is Lipschitz continuous, the value function u is C^{1,1/2}
Reference graph
Works this paper leans on
-
[1]
G. I. Barenblatt,On some unsteady motions of a liquid or gas in a porous medium, Prikl. Mat. Mekh. 16 (1952), 67–78
work page 1952
-
[2]
J.-D. Benamou and Y. Brenier,A computational fluid mechanics solution to the Monge–Kantorovich mass transfer problem, Numer. Math. 84 (2000), 375–393
work page 2000
-
[3]
L. A. Caffarelli and A. Friedman,Regularity of the free boundary of a one-dimensional flow of gas in a porous medium, Amer. J. Math. 101 (1979), no. 6, 1193–1218
work page 1979
-
[4]
P. Cardaliaguet, S. Munoz, and A. Porretta,Free boundary regularity and support propagation in mean field games and optimal transport, J. Math. Pures Appl. 190 (2024), 103599
work page 2024
-
[5]
P. Cardaliaguet and A. Porretta,An introduction to mean field game theory, in: Mean Field Games, Lecture Notes in Math. 2281, Springer, 2020, 1–158
work page 2020
-
[6]
P. Daskalopoulos and R. Hamilton,C ∞ regularity of the free boundary for the porous medium equation, J. Amer. Math. Soc. 11 (1998), no. 4, 899–965
work page 1998
-
[7]
E. B. Fabes, C. E. Kenig, and R. P. Serapioni,The local regularity of solutions of degenerate elliptic equations, Comm. Partial Differential Equations 7 (1982), no. 1, 77–116
work page 1982
-
[8]
P. J. Graber, A. R. M´ esz´ aros, F. J. Silva, and D. Tonon,The planning problem in mean field games as regularized mass transport, Calc. Var. Partial Differential Equations 58 (2019), Paper No. 115
work page 2019
-
[9]
C. Kienzler, H. Koch, and J. L. V´ azquez,Flatness implies smoothness for solutions of the porous medium equation, Calc. Var. Partial Differential Equations 57 (2018), no. 1, Paper No. 18
work page 2018
-
[10]
J.-M. Lasry and P.-L. Lions,Jeux ` a champ moyen. II. Horizon fini et contrˆ ole optimal, C. R. Math. Acad. Sci. Paris 343 (2006), 679–684
work page 2006
-
[11]
J.-M. Lasry and P.-L. Lions,Mean field games, Jpn. J. Math. 2 (2007), no. 1, 229–260
work page 2007
-
[12]
Lions,Cours au Coll` ege de France,https://www.college-de-france.fr/site/ pierre-louis-lions/
P.-L. Lions,Cours au Coll` ege de France,https://www.college-de-france.fr/site/ pierre-louis-lions/
-
[13]
H. Lavenant and F. Santambrogio,Optimal density evolution with congestion:L ∞ bounds via flow inter- change techniques and applications to variational mean field games, Comm. Partial Differential Equations 43 (2018), no. 12, 1761–1802
work page 2018
-
[14]
N. Mimikos-Stamatopoulos and S. Munoz,Regularity and long time behavior of one-dimensional first-order mean field games and the planning problem, SIAM J. Math. Anal. 56 (2024), no. 1, 43–78
work page 2024
-
[15]
S. Munoz,Classical and weak solutions to local first-order mean field games through elliptic regularity, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire 39 (2022), no. 1, 1–39
work page 2022
-
[16]
C. Orrieri, A. Porretta, and G. Savar´ e,A variational approach to the mean field planning problem, J. Funct. Anal. 277 (2019), no. 6, 1868–1957
work page 2019
-
[17]
A. Porretta,Regularizing effects of the entropy functional in optimal transport and planning problems, J. Funct. Anal. 284 (2023), no. 3, Paper No. 109759
work page 2023
-
[18]
Y. Sire, S. Terracini, and S. Vita,Liouville type theorems and regularity of solutions to degenerate or singular problems part I: even solutions, Comm. Partial Differential Equations 46 (2021), no. 2, 310–361
work page 2021
-
[19]
J. L. V´ azquez,The porous medium equation. Mathematical theory, Oxford Mathematical Monographs, Oxford University Press, 2007
work page 2007
-
[20]
P. Zamboni,H¨ older continuity for solutions of linear degenerate elliptic equations under minimal assump- tions, J. Differential Equations 182 (2002), no. 1, 121–140. Department of Mathematics, University of California, Los Angeles Email address:sebastian@math.ucla.edu
work page 2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.