🔢 mathematics

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

This paper establishes a new "half-slope invariant" within the Bernstein transform framework for the critical coagulation-fragmentation equation, which sharpens existing curvature barriers to prove the existence of mass-conserving solutions across the entire critical mass range $0 < m \le 1$ , thereby confirming the critical mass threshold predicted by Vigil and Ziff.

Original authors: Truong-Son P. Van

Published 2026-07-03

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Truong-Son P. Van

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: A Tug-of-War Between Clumping and Breaking

Imagine a room full of people. These people can do two things:

Clump together: Two people join hands to form a pair, or a pair joins another to form a group. This is coagulation.
Break apart: A large group splits into smaller groups. This is fragmentation.

The paper studies a specific mathematical model of this "tug-of-war." The rules are set so that clumping happens faster when groups are already big (like a snowball rolling downhill), while breaking apart happens at a steady, constant rate.

The big question the scientists are asking is: How much "stuff" (mass) can we start with before the system collapses?

If you start with too much stuff, the groups grow so fast that they become infinitely large in a split second. In physics, this is called gelation (like when gelatin suddenly sets). If you start with a small or moderate amount, the system stays balanced, and the total amount of "stuff" is conserved forever.

The Critical Threshold: The "Magic Number"

For decades, scientists have predicted that there is a specific "magic number" for this system.

If your starting amount is less than or equal to 1, the system should stay balanced forever.
If your starting amount is greater than 1, the system should collapse (gelate) immediately.

Previous research had proven this works for small amounts (up to 0.5), but there was a "gap" between 0.5 and 1. No one could mathematically prove that the system stays safe all the way up to 1. It was like knowing a bridge holds for 500 cars and 900 cars, but being unable to prove it holds for 999 cars.

The New Discovery: The "Half-Slope" Invariant

The author of this paper, Truong-Son P. Van, found a new mathematical "superpower" that solves this gap. He calls it the Half-Slope Invariant.

To understand this, imagine the state of the system as a hill or a curve on a graph.

The Old Way: Previous proofs used a "curvature barrier." They tried to prove the hill couldn't get too steep or too curved. However, their math had a safety factor built in that was too loose. It was like saying, "This bridge is safe as long as the weight is less than half the maximum limit." This is why they could only prove safety up to 0.5.
The New Way: The author discovered a specific rule about the shape of this hill. He found that a certain quantity (which he calls $W$ ) is always non-negative.

Think of this invariant as a one-sided guardrail.

Imagine driving a car on a winding road. The old proof said, "We know you won't drive off the cliff if you stay within a wide, fuzzy zone."
The new proof says, "Actually, there is a specific, sharp guardrail right next to the cliff. As long as you stay on one side of this rail, you are 100% safe."

This "guardrail" is the Half-Slope Invariant. It is a mathematical relationship that says: "The height of the hill is always at least half as steep as its slope."

How It Solves the Problem

The author showed three things:

It starts true: If you start with a realistic distribution of clusters, this "guardrail" rule is already in place.
It stays true: As the system evolves over time, the math guarantees this rule never breaks. It is "propagated" forward in time, like a law of physics that cannot be violated.
It tightens the math: Because this rule is so precise, it allows the author to sharpen the "curvature barrier." Instead of needing a safety factor of 2 (which limited the proof to 0.5), the new math only needs a factor of 1.

The Result: By using this sharper guardrail, the author proved that the system remains stable and mass-conserving all the way up to the critical mass of 1. The "gap" is closed. The bridge holds for 999 cars.

A Curious Connection: The Ant Colony

In the final section, the author notes a funny coincidence. This same "Half-Slope Invariant" appears in a completely different field: the Keller–Segel equation, which models how bacteria or ants swarm together.

In the coagulation model, the critical mass is 1.
In the ant model, the critical mass is 8π (a specific number related to circles).

The author suggests that while the equations look different, they share this hidden "guardrail" structure. It's like finding that two different types of bridges (one for cars, one for ants) both rely on the exact same type of steel beam to prevent collapse. This hints that there might be a deeper, universal mathematical law governing how things clump together, though the paper stops short of proving a deep connection between the two fields.

Summary

The Problem: Proving that a system of clumping and breaking particles stays stable up to a specific mass limit (1).
The Obstacle: Previous math was too "loose," only proving stability up to 0.5.
The Solution: A new "Half-Slope Invariant" acts as a precise guardrail, proving the system is safe all the way to 1.
The Takeaway: The critical mass is indeed 1, confirming a prediction made 35 years ago. The system is stable until it hits that exact tipping point.

Technical Summary: A Convexity-Type Invariant for the Critical Coagulation–Fragmentation Hamilton–Jacobi Equation

Problem Statement
The paper addresses the critical coagulation–fragmentation equation with a multiplicative coagulation kernel $a(s, \hat{s}) = s\hat{s}$ and a constant fragmentation kernel $b(s, \hat{s}) = 1$ . The central mathematical question is the existence of global, mass-conserving solutions for initial mass $m$ . While Vigil and Ziff [VZ89] predicted a critical threshold at $m=1$ (where mass conservation holds for $m \le 1$ and gelation occurs for $m > 1$ ), rigorous mathematical proof had only established existence for a sub-critical range. Specifically, previous work by Tran and Van [TV22] proved uniqueness for the entire range $0 < m \le 1$ but could only establish existence for $0 < m < 1/2$ . The gap $1/2 \le m \le 1$ remained open, with the obstruction lying in the derivation of a specific curvature barrier required for the existence proof.

Methodology
The author employs the Bernstein transform, $F(x, t) = \int_0^\infty (1 - e^{-sx})c(s, t) ds$ , which converts the nonlocal coagulation–fragmentation equation into a singular Hamilton–Jacobi equation:
$F_t + \frac{1}{2}(F_x - m)(F_x - m - 1) + \frac{F}{x} - m = 0.$
To analyze this, the paper introduces a change of variables $M(x, t) = mx - F(x, t)$, transforming the equation into:
$M_t = \frac{1}{2}q(q+1) - \frac{M}{x}, \quad \text{where } q = M_x.$
The core methodological innovation is the identification and propagation of a "half-slope invariant," defined as $W := 2M - xM_x \ge 0$ . The paper demonstrates that:

This invariant holds automatically for initial data derived from nonnegative measures with finite second moments (Lemma 3.1).
The invariant is propagated by the inviscid flow and rigorously by the viscous $\delta$ -regularization scheme used in [TV22] (Proposition 3.6, Corollary 3.8).
The invariant acts as a maximum-principle bound that sharpens the coefficient governing the curvature barrier.

Key Contributions and Results
The primary contribution is the removal of the artificial restriction $m < 1/2$ in the existence theory. The paper achieves this through the following steps:

The Half-Slope Invariant: The author proves that $W \ge 0$ implies the inequality $M/x \ge \frac{1}{2}M_x$ . In the context of the curvature barrier analysis, this inequality replaces a crude bound $B \le 2M_x$ (used in [TV22]) with a sharp bound $B \le M_x$ .
Improved Curvature Barrier: By utilizing the factor-of-two gain provided by the invariant, the author extends the curvature barrier estimate $-1 < xF_{xx} \le 0$ from the range $0 < m < 1/2$ to the full critical range $0 < m \le 1$ (Theorem 4.1).
Main Theorem (Theorem 1.2): The paper establishes that for any initial mass $m \in (0, 1]$ with bounded zeroth and second moments, the coagulation–fragmentation equation possesses a unique global mass-conserving weak solution in the measure sense. Conversely, for $m > 1$ , no global mass-conserving solution exists.
Keller–Segel Analogue: The paper notes a structural similarity between the half-slope invariant and a quantity in the radial partial-mass formulation of the two-dimensional Keller–Segel equation, where a similar one-sided quantity satisfies a linear parabolic equation. While this is presented as an aside, it highlights the geometric nature of the invariant.

Significance and Claims
The paper claims to definitively confirm the critical mass threshold $m=1$ predicted by Vigil and Ziff [VZ89]. By identifying a single a priori estimate (the half-slope invariant) that is propagated by the viscous scheme, the author resolves the open problem of existence on the full critical range. The work demonstrates that the previous restriction to $m < 1/2$ was an artifact of a suboptimal bound on the curvature barrier coefficient, which the new invariant corrects. The results rely on the viscosity solution framework extended in [TV22] and the specific properties of the Bernstein transform, confirming that mass-conserving solutions exist globally if and only if the initial mass does not exceed unity.