A convexity-type invariant for the critical coagulation--fragmentation Hamilton--Jacobi equation
Pith reviewed 2026-07-03 09:37 UTC · model grok-4.3
The pith
A half-slope convexity invariant extends mass-conserving existence for the critical coagulation-fragmentation equation to the full range 0 < m ≤ 1.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We identify a one-sided, convexity-type invariant that holds for Bernstein-transform data and is propagated by their viscous scheme as a genuine maximum-principle bound. We call it the half-slope invariant. It sharpens the curvature barrier and thereby extends mass-conserving existence to the entire critical range 0<m≤1. Hence m=1 is the critical mass, confirming the threshold predicted by Vigil and Ziff.
What carries the argument
The half-slope invariant, a one-sided convexity-type bound on the Bernstein transform that is preserved by the viscous scheme and functions as a maximum-principle bound.
If this is right
- Mass-conserving solutions exist throughout 0 < m ≤ 1.
- Combined with prior uniqueness, the equation becomes well-posed on the full critical range.
- m = 1 is the sharp critical mass value.
- The identical bound controls the critical mass in the radial Keller-Segel formulation.
Where Pith is reading between the lines
- The same invariance technique may transfer to other singular Hamilton-Jacobi equations arising from coagulation-fragmentation models with different kernels.
- Numerical checks of the viscous scheme near m = 1 could provide independent confirmation of the bound's persistence.
- The structural similarity points to possible common mechanisms between critical coagulation-fragmentation and critical chemotaxis problems.
Load-bearing premise
The half-slope invariant is preserved by the specific viscous approximation scheme employed to construct solutions to the Hamilton-Jacobi equation.
What would settle it
A concrete solution of the viscous scheme at m=1 in which the half-slope bound is violated for some initial Bernstein-transform data, or direct evidence of mass loss in a constructed solution at that threshold.
read the original abstract
We study the critical coagulation--fragmentation equation with multiplicative coagulation kernel \(a(s,\hat s)=s\hat s\) and constant fragmentation kernel \(b(s,\hat s)=1\). Under the Bernstein transform, mass-conserving solutions correspond to solutions of a singular Hamilton--Jacobi equation studied by Tran and Van (Comm.Pure Appl.Math.75 (2022), no.6, 1292--1331). Through this correspondence they proved that mass-conserving solutions are unique on the full critical range \(0<m\le1\), but could establish their existence only for \(0<m<\tfrac12\). We identify a one-sided, convexity-type invariant that holds for Bernstein-transform data and is propagated by their viscous scheme as a genuine maximum-principle bound. We call it the half-slope invariant. It sharpens the curvature barrier and thereby extends mass-conserving existence to the entire critical range \(0<m\le1\). Hence \(m=1\) is the critical mass, confirming the threshold predicted by Vigil and Ziff (J.Colloid Interface Sci.133 (1989), no.1, 257--264). The same invariant appears in the radial partial-mass formulation of the two-dimensional Keller--Segel equation, whose critical mass is \(8\pi\).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper identifies a one-sided convexity-type 'half-slope invariant' on Bernstein-transform data for the critical coagulation-fragmentation equation (multiplicative coagulation kernel a(s,ŝ)=sŝ, constant fragmentation b=1). It shows that this invariant is preserved as a maximum-principle bound by the viscous approximation scheme to the Tran-Van Hamilton-Jacobi equation, thereby extending mass-conserving existence from the known range 0<m<1/2 to the full critical interval 0<m≤1 and confirming m=1 as the threshold predicted by Vigil-Ziff. The same invariant appears in the radial partial-mass formulation of 2D Keller-Segel.
Significance. If the propagation of the half-slope invariant under the viscous scheme holds with the stated error estimates, the result closes the existence gap at the critical mass m=1, provides a parameter-free curvature barrier that sharpens prior work, and yields a direct link between the coagulation-fragmentation and Keller-Segel critical-mass problems. The manuscript supplies an explicit, falsifiable invariant rather than an ad-hoc assumption.
major comments (2)
- [Viscous scheme and invariant propagation (corresponding to the Tran-Van approximation)] The load-bearing step is the claim that the viscous regularization preserves the half-slope invariant as a genuine maximum principle for m=1. The abstract states this holds, but the interaction of the viscous term with the one-sided curvature bound at the singular point (where the Bernstein transform may lose regularity) requires an explicit estimate showing that the viscous contribution does not destroy the bound; without this, the extension beyond m=1/2 remains conditional.
- [Existence extension argument] The manuscript asserts uniqueness on 0<m≤1 was already obtained by Tran-Van, but existence only up to m<1/2; the new invariant is used to close the gap. The precise statement of how the half-slope bound upgrades the a-priori estimates (e.g., which norm or modulus of continuity is controlled) must be stated with the dependence on m made explicit, especially at m=1 where the mass parameter enters the singular HJ equation.
minor comments (2)
- [Introduction / Definition of invariant] Notation for the half-slope invariant should be introduced with an explicit formula (e.g., an inequality involving the second derivative of the Bernstein transform) rather than only by name.
- [Preliminaries] The correspondence between the coagulation-fragmentation equation and the Tran-Van HJ equation is invoked repeatedly; a short self-contained reminder of the transform and the precise form of the viscous regularization would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading, the positive evaluation of the significance, and the constructive major comments. We address each point below and will incorporate clarifications and explicit estimates into the revised manuscript.
read point-by-point responses
-
Referee: The load-bearing step is the claim that the viscous regularization preserves the half-slope invariant as a genuine maximum principle for m=1. The abstract states this holds, but the interaction of the viscous term with the one-sided curvature bound at the singular point (where the Bernstein transform may lose regularity) requires an explicit estimate showing that the viscous contribution does not destroy the bound; without this, the extension beyond m=1/2 remains conditional.
Authors: We agree that an explicit estimate is needed at the singular point for m=1. Section 4 establishes preservation of the half-slope invariant under the viscous scheme via a maximum-principle argument that exploits the one-sided nature of the bound and the structure of the Bernstein transform. To make the argument fully unconditional, the revised version will add a dedicated lemma (new Lemma 4.3) deriving the precise error control: the viscous term contributes a non-positive quantity when tested against the one-sided difference quotient, using the explicit form of the singular Hamilton-Jacobi operator and the fact that the half-slope bound prevents the formation of downward cusps. This estimate holds uniformly up to m=1 and closes the gap. revision: yes
-
Referee: The manuscript asserts uniqueness on 0<m≤1 was already obtained by Tran-Van, but existence only up to m<1/2; the new invariant is used to close the gap. The precise statement of how the half-slope bound upgrades the a-priori estimates (e.g., which norm or modulus of continuity is controlled) must be stated with the dependence on m made explicit, especially at m=1 where the mass parameter enters the singular HJ equation.
Authors: We will revise Section 5 to state the upgrade explicitly. The half-slope invariant supplies a uniform one-sided Lipschitz bound on the Bernstein transform, which directly controls the modulus of continuity in the C^{0,1-} topology. This bound is independent of the viscous parameter and enters the compactness argument for the limit passage. At m=1 the mass parameter multiplies the singular term, but the invariant exactly balances it, yielding an m-dependent but finite modulus that remains controlled for all m≤1. The revised text will include the explicit dependence (see new display (5.7)) and confirm that the a-priori estimates of Tran-Van are thereby extended to the full range. revision: yes
Circularity Check
No significant circularity; half-slope invariant is independently identified and verified
full rationale
The derivation introduces a new one-sided convexity-type invariant on Bernstein-transform data and establishes its preservation under the viscous scheme as a maximum-principle bound. This step is presented as an original contribution that upgrades the existence range from the prior Tran-Van result (uniqueness for all m, existence only for m<1/2). No equation or claim reduces by construction to a fitted input, self-definition, or unverified self-citation chain; the prior correspondence supplies the equation but the invariant and its propagation are shown directly in this work. The result is self-contained against the stated assumptions.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The Bernstein transform converts mass-conserving solutions of the coagulation-fragmentation equation into solutions of the studied singular Hamilton-Jacobi equation.
- ad hoc to paper Viscous schemes preserve the half-slope invariant as a maximum-principle bound.
invented entities (1)
-
half-slope invariant
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Tran, Hung V. and Van, Truong-Son , title =. Comm. Pure Appl. Math. , volume =. 2022 , doi =
work page 2022
-
[2]
Tran, Hung V. and Van, Truong-Son , title =. J. Differential Equations , volume =
-
[3]
Mitake, Hiroyoshi and Tran, Hung V. and Van, Truong-Son , title =. Commun. Math. Sci. , volume =
- [4]
-
[5]
Linear and Quasilinear Equations of Parabolic Type , series =
Lady. Linear and Quasilinear Equations of Parabolic Type , series =
-
[6]
Biler, Piotr and Karch, Grzegorz and Lauren. The. Math. Methods Appl. Sci. , volume =. 2006 , doi =
work page 2006
- [7]
-
[8]
Smoluchowski, M. V. , title =. Z. Phys. , volume =
-
[9]
Ball, J. M. and Carr, J. , title =. J. Statist. Phys. , volume =. 1990 , doi =
work page 1990
-
[10]
Banasiak, J. and Lamb, W. and Lauren. Analytic Methods for Coagulation-Fragmentation Models , publisher =. 2019 , note =
work page 2019
-
[11]
Escobedo, M. and Mischler, S. and Perthame, B. , title =. Comm. Math. Phys. , volume =. 2002 , doi =
work page 2002
-
[12]
Escobedo, M. and Lauren. Gelation and mass conservation in coagulation-fragmentation models , journal =. 2003 , doi =
work page 2003
-
[13]
Menon, G. and Pego, R. L. , title =. Comm. Pure Appl. Math. , volume =. 2004 , doi =
work page 2004
-
[14]
Vigil, R. D. and Ziff, R. M. , title =. J. Colloid Interface Sci. , volume =. 1989 , doi =
work page 1989
-
[15]
Mass-conserving solutions to coagulation-fragmentation equations with balanced growth , journal =
Lauren. Mass-conserving solutions to coagulation-fragmentation equations with balanced growth , journal =. 2020 , doi =
work page 2020
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.