A convexity-type invariant for the critical coagulation--fragmentation Hamilton--Jacobi equation

Truong-Son P. Van

A convexity-type invariant for the critical coagulation--fragmentation Hamilton--Jacobi equation

T0 review · 0 major / 5 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A half-slope invariant proves mass-conserving solutions exist up to the critical mass m=1 for the multiplicative coagulation-fragmentation equation.

desk verdict Closes the m in [1/2,1] existence gap for the critical CF model with a clean maximum-principle invariant; the chain looks solid. read the letter →

arxiv 2607.02293 v2 pith:32EW2SMW submitted 2026-07-02 math.AP

Truong-Son P. Van This is my paper · ORCID

classification math.AP MSC 35F2145K0535Q92

keywords coagulation-fragmentationcriticalmassBernsteintransformHamilton-Jacobiequationhalf-slopeinvariantviscositysolutionsconservationKeller-Segel

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper settles a long-open existence question for the critical coagulation-fragmentation equation with multiplicative coagulation and constant fragmentation. Mass-conserving solutions were already known to be unique for initial mass m up to 1 and nonexistent above 1, but existence had been proved only for m less than 1/2. The author isolates a one-sided convexity-type bound called the half-slope invariant, shows it holds for Bernstein-transform data, and proves that the viscous approximation scheme preserves it by a maximum principle. That bound sharpens the curvature barrier enough to extend existence all the way to m=1, confirming that 1 is the true critical mass predicted by formal moment balance. The same invariant appears in the radial mass formulation of the two-dimensional Keller-Segel equation, whose critical mass is 8 pi, suggesting a structural parallel between the two models.

What carries the argument

The half-slope invariant W:=2M-x M_x >=0 (equivalently M/x >= M_x/2) for the transformed unknown M=m x-F. It is automatic for Bernstein data, is preserved by both the inviscid flow and the viscous regularizations as a genuine maximum-principle bound, and replaces the crude coefficient estimate B<=2 M_x by the sharp B<=M_x that removes the artificial 1/2-threshold in the curvature barrier.

What would settle it

Construct an initial measure of mass m=1 with finite zeroth and second moments for which the vanishing-viscosity limit of the singular Hamilton-Jacobi equation fails to stay Bernstein (for example, the curvature barrier x F_xx > -1 is violated at some positive time), or exhibit a mass-conserving global weak solution when m>1.

Watch

Extended reading notes

Core claim

For initial mass m in (0,1] with finite zeroth and second moments, the coagulation-fragmentation equation with a(s,s-hat)=s s-hat and b=1 admits a unique mass-conserving weak solution in the measure sense; for m>1 no global mass-conserving solution exists. Thus m=1 is the critical mass. The missing existence for 1/2 <= m <=1 is obtained by propagating the half-slope invariant W=2M-x M_x >=0, which upgrades the curvature barrier x F_xx > -1 to the full critical range.

Load-bearing premise

The maximum-principle argument that keeps the half-slope invariant alive rests on a gradient bound that holds only when the zero function is a subsolution, which is true precisely when the mass is at most 1.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This paper finishes the critical-mass story for a(s,ŝ)=sŝ, b=1. Tran–Van already had uniqueness on (0,1] and existence only for m<1/2; Van isolates one a priori bound—the half-slope W=2M−xMx≥0—and uses it to push the curvature barrier xFxx>−1 all the way to m=1. That is the real novelty, and it is not cosmetic: the factor-of-two improvement on the dangerous coefficient B is exactly what the old 1/2 threshold was buying.

What works well is the maximum-principle packaging. Lemma 3.1 checks W≥0 for Bernstein data by a one-line positivity of ψ(z)=z−2+(z+2)e−z. Proposition 3.6 propagates it under the uniformly parabolic scheme with careful localization at infinity and at x=0; Corollary 3.8 passes to the degenerate limit by concavity. Theorem 4.1 then upgrades the barrier, and Remark 5.2 honestly lists the only constant adjustments needed to import the Bernstein-recovery machinery of [TV22]. The m≤1 restriction is not hidden: §4.2 notes that zero is a subsolution of the HJ equation precisely when m≤1, so the gradient bound that feeds the maximum principle for W fails for m>1, which is consistent with the known non-existence. The Keller–Segel aside is optional and correctly labeled as such.

Soft spots are minor. The argument still sits inside the viscosity/viscous scheme of [TV22], so a reader who has not absorbed that paper will have to. The localization windows and the characteristic-speed bookkeeping are a bit tedious, but they are written out rather than waved at. No circularity, no free parameters, no data issues.

This is for people who work on coagulation–fragmentation, aggregation–diffusion, or singular HJ equations. It deserves a serious referee; I would accept it for peer review and would cite the existence dichotomy. Bring it to reading group if the group cares about critical mass thresholds.

Referee Report

0 major / 5 minor

Summary. The paper studies the critical coagulation–fragmentation equation with multiplicative coagulation kernel a(s,ŝ)=sŝ and constant fragmentation kernel b≡1. Under the Bernstein transform, mass-conserving solutions correspond to viscosity solutions of a singular Hamilton–Jacobi equation previously analyzed by Tran–Van (2022). That work established uniqueness of mass-conserving solutions for all m∈(0,1] and existence only for m<1/2. The present manuscript introduces a one-sided convexity-type quantity W:=2M−xMx (the half-slope invariant) for M=mx−F. It verifies W≥0 for Bernstein-transform initial data, proves that the viscous approximations of [TV22] propagate W≥0 by a genuine maximum principle, and uses the sharpened bound B≤Mx to extend the curvature barrier −1<xFxx≤0 to the full range 0<m≤1. Combined with the Bernstein-function recovery of [TV22], this yields unique global mass-conserving weak solutions for all m∈(0,1] (and non-existence for m>1), confirming that m=1 is the critical mass predicted by Vigil–Ziff.

Significance. The result closes a long-standing gap: existence of mass-conserving solutions throughout the critical range 0<m≤1 for the borderline multiplicative/constant kernels. The half-slope invariant is a clean, load-bearing a-priori estimate that is both natural for Bernstein data and propagated by the existing viscous scheme; once available, the remainder of the existence theory imports from [TV22] with only the characteristic-speed adjustment recorded in Remark 5.2. The same invariant appears in the radial partial-mass formulation of 2D Keller–Segel (critical mass 8π), which is a suggestive but non-essential analogy. The paper therefore settles the Vigil–Ziff threshold for this model and supplies a reusable maximum-principle device for related singular HJ equations.

minor comments (5)

In the abstract and introduction the phrase “half-slope invariant” is introduced without an immediate formula; a parenthetical “W:=2M−xMx” at first occurrence would help the reader.
Section 6 (Keller–Segel) is explicitly labelled an aside and is not used in the proof. A one-sentence pointer in the introduction that the section is optional would prevent readers from expecting a technical dependence.
Remark 5.2 carefully documents the only adjustment needed to import the existence machinery of [TV22] (characteristic speeds −3/2≤Ẋ≤−1/2). It would be useful to restate the adjusted bound (3.19) of [TV22] explicitly so that a reader need not open that paper.
Lemma 3.7 re-proves the gradient bound for the uniformly parabolic problem. The argument is self-contained, but a short cross-reference to the corresponding steps inside the proof of Lemma 3.5 of [TV22] would clarify the relationship.
Typographical: “re −r ≤ e−1” in (4.4) should read “r e−r ≤ e−1”; the same line appears correctly earlier in the discussion of (A3).

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: the half-slope invariant and sharpened curvature barrier are independent new estimates; self-citation of [TV22] supplies uniqueness/non-existence and the viscous scheme, not the existence extension itself.

uniqueness imported from authors [Section 5.1, proof of Theorem 1.2; also §1.2]
"Uniqueness on 0<m≤1 is Corollary 1.3 of [TV22]. The non-existence of mass-conserving solutions when m>1 is Corollary 1.5 of [TV22]."

The complete critical-mass statement (existence+uniqueness for m≤1, non-existence for m>1) packages the new existence proof with uniqueness and non-existence taken from the same authors' prior paper. This is load-bearing for the dichotomy headline but not for the new existence estimates themselves; mild and standard, not a reduction of the half-slope argument.

full rationale

The paper's new content is the half-slope invariant W=2M-xMx≥0 (Lemma 3.1 from the Bernstein integral representation), its maximum-principle propagation under the uniformly parabolic viscous scheme (Proposition 3.6, with gradient bound re-proved in Lemma 3.7), and the resulting upgrade of the curvature barrier from m<1/2 to the full range 0<m≤1 (Theorem 4.1). These steps are written out with explicit localizations and do not reduce by construction to their conclusions. Uniqueness on 0<m≤1 and non-existence for m>1 are imported from the authors' prior work [TV22] (Corollaries 1.3 and 1.5), and the Bernstein-function recovery (Theorem 5.1) reuses the scheme of [TV22] after a constant adjustment (Remark 5.2). That is ordinary sequential research, not a circular derivation: the open gap was existence for 1/2≤m≤1, and the new invariant fills it without fitting parameters, smuggled ansatzes, or defining the target in terms of itself. The only mild self-citation load is that the full critical-mass dichotomy packages new existence with prior uniqueness/non-existence; the existence chain itself is self-contained against the paper's own equations.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The paper works entirely within classical viscosity-solution and maximum-principle theory for parabolic and Hamilton-Jacobi equations. No free parameters are fitted. The only domain assumptions are the specific kernels a=sŝ, b=1 and the Bernstein-transform initial-data conditions (A1)-(A3) that follow from finite mass and second moment. The half-slope quantity is derived, not postulated.

assumptions (4)

domain assumption Viscosity-solution theory for the singular Hamilton-Jacobi equation Ft + (1/2)(Fx-m)(Fx-m-1)+F/x-m=0 lies outside classical Crandall-Lions but was established in [TV22].
Invoked throughout Sections 1 and 5; uniqueness and the viscous approximation scheme are taken from that reference.
domain assumption Initial Bernstein transform F0 satisfies 0≤F0'≤m, F0'(0)=m, -C≤F0''≤0 and the Hölder bound on xF0'' (Assumption 1.3).
These follow from finite mass and second moment of the initial measure c0; used to start the curvature barrier and the invariant.
standard math Standard parabolic maximum principles for uniformly parabolic operators with bounded coefficients on strips and rectangles.
Used in Lemma 3.7 and Proposition 3.6 to control gradients and the sign of W.
standard math Locally uniform convergence of concave functions implies pointwise convergence of derivatives at points of differentiability of the limit.
Invoked in Corollary 3.8 to pass the invariant from the δ>0 approximations to the degenerate limit.

invented entities (1)

half-slope invariant W:=2M-xMx independent evidence
purpose: One-sided convexity-type bound that sharpens the coefficient B in the curvature-barrier argument from B≤2Mx to B≤Mx, removing the m<1/2 obstruction.
Derived from the Bernstein representation of initial data and shown to propagate by a linear parabolic equation; not an independent physical postulate.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A convexity-type invariant for the critical coagulation--fragmentation Hamilton--Jacobi equation." pith.science (2026). https://pith.science/paper/32EW2SMW

@misc{pith2026260702293,
  author       = {Pith},
  title        = {Pith review of: A convexity-type invariant for the critical coagulation--fragmentation Hamilton--Jacobi equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/32EW2SMW}},
  note         = {Machine review of arXiv:2607.02293}
}

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$.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references

[1]

and Van, Truong-Son , title =

Tran, Hung V. and Van, Truong-Son , title =. Comm. Pure Appl. Math. , volume =. 2022 , doi =

2022
[2]

and Van, Truong-Son , title =

Tran, Hung V. and Van, Truong-Son , title =. J. Differential Equations , volume =
[3]

and Van, Truong-Son , title =

Mitake, Hiroyoshi and Tran, Hung V. and Van, Truong-Son , title =. Commun. Math. Sci. , volume =
[4]

, title =

Jang, Jiwoong and Tran, Hung V. , title =. Adv. Contin. Discrete Models , volume =. 2025 , doi =

2025
[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 =

2006
[7]

RIMS K\^oky\^uroku , volume =

Biler, Piotr , title =. RIMS K\^oky\^uroku , volume =
[8]

Smoluchowski, M. V. , title =. Z. Phys. , volume =

Show all 15 references

[9]

Ball, J. M. and Carr, J. , title =. J. Statist. Phys. , volume =. 1990 , doi =

1990
[10]

and Lamb, W

Banasiak, J. and Lamb, W. and Lauren. Analytic Methods for Coagulation-Fragmentation Models , publisher =. 2019 , note =

2019
[11]

and Mischler, S

Escobedo, M. and Mischler, S. and Perthame, B. , title =. Comm. Math. Phys. , volume =. 2002 , doi =

2002
[12]

and Lauren

Escobedo, M. and Lauren. Gelation and mass conservation in coagulation-fragmentation models , journal =. 2003 , doi =

2003
[13]

and Pego, R

Menon, G. and Pego, R. L. , title =. Comm. Pure Appl. Math. , volume =. 2004 , doi =

2004
[14]

Vigil, R. D. and Ziff, R. M. , title =. J. Colloid Interface Sci. , volume =. 1989 , doi =

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 =

2020

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.

[1] [1]

and Van, Truong-Son , title =

Tran, Hung V. and Van, Truong-Son , title =. Comm. Pure Appl. Math. , volume =. 2022 , doi =

2022

[2] [2]

and Van, Truong-Son , title =

Tran, Hung V. and Van, Truong-Son , title =. J. Differential Equations , volume =

[3] [3]

and Van, Truong-Son , title =

Mitake, Hiroyoshi and Tran, Hung V. and Van, Truong-Son , title =. Commun. Math. Sci. , volume =

[4] [4]

, title =

Jang, Jiwoong and Tran, Hung V. , title =. Adv. Contin. Discrete Models , volume =. 2025 , doi =

2025

[5] [5]

Linear and Quasilinear Equations of Parabolic Type , series =

Lady. Linear and Quasilinear Equations of Parabolic Type , series =

[6] [6]

Biler, Piotr and Karch, Grzegorz and Lauren. The. Math. Methods Appl. Sci. , volume =. 2006 , doi =

2006

[7] [7]

RIMS K\^oky\^uroku , volume =

Biler, Piotr , title =. RIMS K\^oky\^uroku , volume =

[8] [8]

Smoluchowski, M. V. , title =. Z. Phys. , volume =