arxiv: 2604.02844 · v1 · submitted 2026-04-03 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Microscopic derivation of the one-dimensional constrained Euler equations

Charlotte Perrin (I2M)

Authors on Pith no claims yet

Pith reviewed 2026-05-13 19:03 UTC · model grok-4.3

classification 🧮 math.AP

keywords Euler equationsdensity constraintSignorini conditionsinelastic collisionsmicroscopic derivationcongested flowsLagrangian framework

0 comments

The pith

A system of N inelastic particles converges to the one-dimensional Euler equations with a unilateral maximum-density constraint.

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

The paper shows how a discrete particle system produces a continuous fluid model for flows that cannot exceed a maximum density. N identical solid particles of radius 1/(2N) travel freely until they collide and stick together under perfectly inelastic rules, with non-overlap enforced by Signorini contact conditions. In the limit N to infinity the microscopic contact rules become a macroscopic constraint that density stays at most 1, together with the requirement that the congestion pressure is nonnegative only where density is maximal. The proof works in Lagrangian coordinates by tracking particle positions via the monotone rearrangement map of the density and uses a monotonicity property of the set of congested particles to close the limit.

Core claim

Passing to the limit as N tends to infinity, the microscopic Signorini conditions on particle contacts become the macroscopic unilateral constraint on the fluid density, together with the associated sign condition on the congestion pressure, for weak solutions of the one-dimensional constrained Euler equations.

What carries the argument

The monotonicity property of the congested region, which reduces the particle dynamics to a first-order evolution in time inside a Lagrangian framework based on monotone rearrangement of the density.

Load-bearing premise

The congested region stays monotone in a way that reduces the entire dynamics to first-order evolution in time.

What would settle it

An explicit particle configuration or numerical trajectory in which the congested set loses monotonicity yet the macroscopic density still satisfies the Euler equations with the sign condition on pressure would falsify the necessity of that property for the limit.

read the original abstract

We provide a new existence result for weak solutions to the one-dimensional Euler equations with a maximal density constraint, corresponding to a unilateral constraint on the density. Such models arise in the description of congestion phenomena in compressible flows. Our approach is based on a microscopic approximation by a system of N solid particles of identical radius r, with 2r = 1/N . The particles move freely until collision, after which perfectly inelastic interactions are imposed, so that colliding particles stick together. At this level, the non-overlapping condition is encoded through Signorini-type constraints from contact mechanics. Passing to the limit as N $\rightarrow$ +$\infty$, we rigorously establish the connection between these microscopic Signorini conditions and the macroscopic unilateral constraint on the density, together with the associated sign condition on the congestion pressure. The analysis is carried out in a Lagrangian framework, which is natural at the microscopic level and relies at the macroscopic level on the monotone rearrangement associated with the density. A key ingredient of our result is a monotonicity property of the congested region, which allows us to reduce the dynamics to a first-order evolution in time.

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 derives weak solutions for 1D Euler with density constraint from inelastic particles with Signorini conditions, but the limit step rests on a monotonicity property of the congested region whose uniform control is not obviously verified.

read the letter

The main contribution is a new existence result for weak solutions of the one-dimensional Euler equations with a maximal density constraint. They approximate the flow by N particles of radius 1/(2N) that collide inelastically and stick, encode the non-overlap via Signorini conditions at the particle level, and pass to the limit N to infinity. The Lagrangian setting plus monotone rearrangement lets them link the microscopic contact forces to the macroscopic unilateral density constraint and the sign condition on the congestion pressure. That connection is the actual novelty here; it is not just a restatement of earlier work on constrained compressible flows. The approach is technically coherent for the 1D case and gives a concrete particle-to-continuum bridge that people working on congestion models can use. The soft spot is the monotonicity property of the congested region. The abstract treats it as the key ingredient that collapses the dynamics to first-order evolution, but the stress-test concern is whether this property survives uniformly when N goes to infinity, especially for data with multiple disjoint congested clusters or non-monotonic boundary motion. If the paper only invokes it without an independent limit argument, the identification of the pressure sign condition could have a gap. This is aimed at researchers in mathematical fluid dynamics who already work on particle approximations or unilateral constraints in hyperbolic systems. A reader looking for rigorous derivations rather than formal asymptotics will find something concrete to check. I would send it to peer review because the core limit passage is worth referee scrutiny even if the monotonicity step needs tightening.

Referee Report

2 major / 1 minor

Summary. The paper derives the one-dimensional Euler equations with a maximal density constraint from a microscopic system of N identical solid particles (radius r = 1/(2N)) that move freely until undergoing perfectly inelastic collisions and stick together. Signorini-type constraints encode non-overlap at the particle level. The authors pass to the limit N → ∞ in a Lagrangian framework using monotone rearrangement of the density, establishing that the microscopic contact conditions converge to the macroscopic unilateral density constraint together with the associated sign condition on the congestion pressure. A key technical ingredient is a monotonicity property of the congested region that reduces the second-order dynamics to a first-order evolution.

Significance. If the limit passage holds, the result supplies a rigorous microscopic justification for the constrained Euler model arising in congestion phenomena. The particle approximation with explicit inelastic collision rules and the Lagrangian/monotone-rearrangement approach are natural and avoid fitted parameters; the derivation therefore strengthens the mathematical foundation of these models in one space dimension.

major comments (2)

[Proof of the limit passage (likely §4–5)] The monotonicity property of the congested region (invoked in the abstract to reduce the dynamics to first-order evolution) is load-bearing for the identification of the macroscopic pressure sign condition. Its uniform validity as N → ∞ must be verified for initial data that produce multiple disjoint congested clusters whose boundaries may move non-monotonically; without this control the reduction step and the limit identification between microscopic contact forces and the macroscopic sign condition do not close.
[§5 (weak-solution construction)] The construction of the limiting weak solution (Theorem 1.1) relies on the Lagrangian framework and monotone rearrangement; the precise passage of the inelastic sticking collisions and the associated Signorini constraints to the macroscopic unilateral constraint requires an explicit compactness argument that is not fully detailed in the provided abstract and must be checked for consistency with the Euler equations.

minor comments (1)

[Introduction and §2] Notation for the Lagrangian density and the congested set should be introduced once and used consistently; a short table summarizing the microscopic-to-macroscopic correspondence would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major point below and will revise the manuscript to strengthen the presentation and add the requested clarifications.

read point-by-point responses

Referee: [Proof of the limit passage (likely §4–5)] The monotonicity property of the congested region (invoked in the abstract to reduce the dynamics to first-order evolution) is load-bearing for the identification of the macroscopic pressure sign condition. Its uniform validity as N → ∞ must be verified for initial data that produce multiple disjoint congested clusters whose boundaries may move non-monotonically; without this control the reduction step and the limit identification between microscopic contact forces and the macroscopic sign condition do not close.

Authors: We agree that the uniform validity of the monotonicity property for multiple disjoint clusters requires explicit verification. In the manuscript, Proposition 3.2 establishes monotonicity for the microscopic particle system under the inelastic collision rule, and Section 4 passes to the limit by showing that the ordering is preserved. However, to address the referee's concern directly, we will add a new lemma in §4 that treats the case of multiple clusters explicitly, proving that the boundaries of each congested region evolve monotonically (due to the sticking condition preventing non-monotonic motion) and that this property passes uniformly to the limit as N→∞. This will close the identification of the pressure sign condition. revision: yes
Referee: [§5 (weak-solution construction)] The construction of the limiting weak solution (Theorem 1.1) relies on the Lagrangian framework and monotone rearrangement; the precise passage of the inelastic sticking collisions and the associated Signorini constraints to the macroscopic unilateral constraint requires an explicit compactness argument that is not fully detailed in the provided abstract and must be checked for consistency with the Euler equations.

Authors: The compactness argument is developed in full in §5 using the monotone rearrangement of the empirical measure to obtain strong L^1 convergence of the densities and weak convergence of the velocities. The inelastic sticking is encoded in the microscopic dynamics and passes to the limit by the non-crossing property, yielding the unilateral constraint. We will revise §5 to include a more explicit step-by-step outline of the compactness (including tightness estimates and identification of the limit) and add a short paragraph verifying consistency with the weak form of the Euler equations by direct testing against test functions. This will make the passage fully transparent without altering the existing proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation from microscopic particle system is self-contained

full rationale

The paper constructs weak solutions to the constrained Euler system by passing to the limit N→∞ in a microscopic system of N particles of radius r=1/(2N) that evolve freely until perfectly inelastic collisions, after which they stick. The non-overlapping condition is encoded via Signorini-type contact constraints at the particle level. The limit identification between microscopic contact forces and the macroscopic unilateral density constraint plus pressure sign condition is performed in Lagrangian coordinates using the monotone rearrangement map associated to the density. The monotonicity property of the congested region is stated as a key ingredient that collapses the second-order dynamics to first-order evolution; this property is internal to the particle system and is not introduced by definition, by fitting to the target macroscopic equations, or by self-citation. No load-bearing step reduces by construction to the macroscopic output, no ansatz is smuggled via prior work, and the derivation chain remains independent of the final constrained Euler model. The result is therefore scored as free of circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the microscopic particle system with Signorini-type constraints, the inelastic sticking rule, and the monotonicity property of the congested region; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Monotonicity property of the congested region allowing reduction to first-order time evolution
Explicitly identified as a key ingredient in the abstract for simplifying the dynamics.

pith-pipeline@v0.9.0 · 5485 in / 1142 out tokens · 42838 ms · 2026-05-13T19:03:26.221339+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_strictMono_of_one_lt / LogicNat order recovery echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

A key ingredient of our result is a monotonicity property of the congested region, which allows us to reduce the dynamics to a first-order evolution in time.
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection / coupling combiner echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

x(t) = PK_N (x0 + t u0) ... u(t) = PHN_x(t)(u0)

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

18 extracted references · 18 canonical work pages

[1]

02, 249–272

Florent Berthelin, Existence and weak stability for a pressureless model with u nilateral constraint, Mathemat- ical Models and Methods in Applied Sciences 12 (2002), no. 02, 249–272

work page 2002
[2]

6, 639–660

François Bouchut, Yann Brenier, Julien Cortes, and J-F R ipoll, A hierarchy of models for two-phase ﬂows , Journal of NonLinear Science 10 (2000), no. 6, 639–660

work page 2000
[3]

Stephen Boyd and Lieven Vandenberghe, Convex optimization , Cambridge university press, 2004

work page 2004
[4]

5, 577–617

Yann Brenier, Wilfrid Gangbo, Giuseppe Savaré, and Mich ael W estdickenberg, Sticky particle dynamics with interactions, Journal de Mathématiques Pures et Appliquées 99 (2013), no. 5, 577–617

work page 2013
[5]

1, 66–79

Fabio Cavalletti, Marc Sedjro, and Michael W estdickenb erg, A simple proof of global existence for the 1d pressureless gas dynamics equations , SIAM Journal on Mathematical Analysis 47 (2015), no. 1, 66–79

work page 2015
[6]

5, 1679–1707

Edwige Godlewski, Martin Parisot, Jacques Sainte-Mari e, and Fabien W ahl, Congested shallow water model: roof modeling in free surface ﬂow , ESAIM: Mathematical Modelling and Numerical Analysis 52 (2018), no. 5, 1679–1707

work page 2018
[7]

10-12, 892–918

Inwon Kim, Antoine Mellet, and Jeremy Sheung-Him W u, Mean ﬁeld limit for congestion dynamics , Commu- nications in Partial Diﬀerential Equations 49 (2024), no. 10-12, 892–918

work page 2024
[8]

David Lannes, On the dynamics of ﬂoating structures , Annals of PDE 3 (2017), no. 1, 11

work page 2017
[9]

2, 535–557

Aline Lefebvre-Lepot and Bertrand Maury, Micro-macro modelling of an array of spheres interacting th rough lubrication forces, Advances in Mathematical Sciences and Applications 21 (2011), no. 2, 535–557

work page 2011
[10]

Bertrand Maury and Anthony Preux, Pressureless euler equations with maximal density constra int: a time- splitting scheme , Topological Optimization and Optimal Transport: In the Ap plied Sciences 17 (2017), 333

work page 2017
[11]

3, 485–519

Bertrand Maury, Aude Roudneﬀ-Chupin, Filippo Santamb rogio, and Juliette Venel, Handling congestion in crowd motion modeling , Networks and Heterogeneous Media 6 (2011), no. 3, 485–519

work page 2011
[12]

3, 347–374

Jean Jacques Moreau, Evolution problem associated with a moving convex set in a hi lbert space, Journal of diﬀerential equations 26 (1977), no. 3, 347–374. 33

work page 1977
[13]

4, 1340–1365

Luca Natile and Giuseppe Savaré, A wasserstein approach to the one-dimensional sticky parti cle system , SIAM journal on mathematical analysis 41 (2009), no. 4, 1340–1365

work page 2009
[14]

Charlotte Perrin, Contributions to the mathematical analysis of constrained ﬂ ows, Habilitation à diriger des recherches https://hal.science/tel-05467049, 2026

work page 2026
[15]

6, 5921–5946

Charlotte Perrin and Michael W estdickenberg, One-dimensional granular system with memory eﬀects , SIAM Journal on Mathematical Analysis 50 (2018), no. 6, 5921–5946

work page 2018
[16]

8, 1558–1589

Charlotte Perrin and Ewelina Zatorska, Free/congested two-phase model from weak solutions to mult i- dimensional compressible navier-stokes equations , Communications in Partial Diﬀerential Equations 40 (2015), no. 8, 1558–1589

work page 2015
[17]

Thesis, 2016

Anthony Preux, Transport optimal et équations des gaz sans pression avec co ntrainte de densité maximale , Ph.D. Thesis, 2016

work page 2016
[18]

Filippo Santambrogio, Optimal transport for applied mathematicians , Birkhäuser, 2015. 34

work page 2015