arxiv: 2605.14452 · v1 · submitted 2026-05-14 · 🧮 math.AP

Recognition: 1 theorem link

· Lean Theorem

Local and global solutions to continuous fragmentation-coagulation equations with vanishing diffusion and unbounded fragmentation and coagulation rates

Sergey Shindin

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:44 UTC · model grok-4.3

classification 🧮 math.AP MSC 35K5582C22

keywords fragmentation-coagulation equationsvanishing diffusionlocal well-posednessglobal solutionsunbounded ratespower ratesclassical solutions

0 comments

The pith

Fragmentation-coagulation equations with vanishing diffusion are locally well-posed when fragmentation dominates, and globally solvable for power rates in every dimension.

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

The paper examines particle systems whose evolution combines vanishing spatial diffusion with continuous fragmentation and coagulation processes that have unbounded rates. It establishes that these systems are classically locally well-posed for a broad class of coefficients, as long as the fragmentation process dominates diffusion and coagulation sufficiently. In the special case where the rates follow power laws, global-in-time classical solutions exist in all spatial dimensions and for arbitrary initial data sizes. This removes previous restrictions on data size and dimension that limited earlier analyses. The results provide a foundation for understanding long-term behavior in such systems without artificial bounds.

Core claim

For a large class of coefficients the systems are classically locally well-posed provided diffusion and coagulation are dominated by fragmentation. In the power rates case global classical solutions exist in all d ≥ 1 without restrictions on input data.

What carries the argument

The domination condition on the rates that closes a priori estimates for the local existence proof.

If this is right

Classical solutions exist locally in time for general unbounded rates under the domination condition.
Global-in-time classical solutions are obtained for power-law rates without smallness assumptions on initial data.
The global existence holds uniformly in all spatial dimensions d ≥ 1.
No upper bound is required on the size of the initial data for the global case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The global solutions describe long-time aggregation and breakup without artificial cutoffs, which may apply directly to physical models of aerosols or polymers.
The domination technique could transfer to other size-structured kinetic equations that combine transport and nonlinear interactions.
Numerical tests of the domination threshold would clarify whether the condition is sharp for local existence.

Load-bearing premise

The diffusion and coagulation processes are suitably dominated by the fragmentation process allowing the estimates to close.

What would settle it

A concrete example of finite-time blow-up for coefficients where fragmentation fails to dominate diffusion or coagulation.

read the original abstract

In the paper, we study spatially distributed particle systems whose time evolution is governed by vanishing diffusion in space $\mathbb{R}^d$, $d\ge 1$, and by size-continuous fragmentation and coagulation processes with unbounded rates. We show that for a large class of coefficients, such systems are classically locally well-posed, provided the diffusion and the coagulation processes are suitably dominated by the fragmentation. In the special case of power rates, we demonstrate existence of global in time classical solutions in all spatial dimensions $d\ge 1$ and without any restrictions on the size of input data.

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 gets local well-posedness under a domination condition on the rates and global classical solutions for power rates with zero diffusion and no data-size restriction.

read the letter

The main result here is local classical well-posedness for the continuous fragmentation-coagulation equations with vanishing diffusion, provided fragmentation dominates diffusion and coagulation, plus global existence for power-law rates in every dimension d ≥ 1 with arbitrary initial data. That removes the smallness or positive-diffusion restrictions that appeared in earlier work on these models. The local part follows from functional-analytic estimates that close once the domination assumption is in place, which is a reasonable technical step for unbounded coefficients. The global claim for power rates is the stronger statement, since it asserts time-uniform bounds on the classical norm that stay independent of data size even when diffusion is zero. The abstract states both results cleanly and the setting is natural for spatially distributed particle systems. The potential soft spot is whether the a priori bounds for the global case really close uniformly. If the constants in the differential inequalities for the norms grow with the current solution size, large data could still produce finite-time blow-up once diffusion vanishes, which would contradict the no-restriction claim. Without the full estimates it is impossible to check how they avoid that dependence. This work is aimed at specialists in PDE analysis of coagulation-fragmentation models. It is an incremental but precise extension of the existing well-posedness theory. I would bring it to a reading group to walk through the global estimates. It deserves serious peer review because the claims are specific and the technical gap they address is real.

Referee Report

1 major / 1 minor

Summary. The manuscript establishes local classical well-posedness for continuous fragmentation-coagulation equations with vanishing diffusion in R^d (d≥1) and unbounded rates, provided diffusion and coagulation are dominated by fragmentation. For power-law rates it claims global-in-time classical solutions in all dimensions without any restriction on initial-data size.

Significance. The local well-posedness result under a domination hypothesis extends the functional-analytic theory for nonlocal coagulation-fragmentation models with small diffusion. The global-existence claim for arbitrary data in the power-rate case would be a notable advance if the a priori estimates close uniformly, as most existing results require smallness or additional structure to prevent finite-time blow-up when diffusion vanishes.

major comments (1)

[Proof of global existence for power rates] The global-existence argument for power rates (the central claim) requires a time-uniform bound on the classical norm that is independent of initial-data size and closes without the maximal existence time remaining finite for large data. The domination assumption must be shown to produce constants that do not grow with the solution norm when the diffusion coefficient vanishes; otherwise the differential inequality for the norm may fail to yield global continuation.

minor comments (1)

[Abstract] The abstract states the claims clearly but does not specify the precise exponents in the power rates for which global existence holds; this should be stated explicitly.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major concern regarding the global existence proof for power-law rates below, clarifying how the a priori estimates close uniformly.

read point-by-point responses

Referee: [Proof of global existence for power rates] The global-existence argument for power rates (the central claim) requires a time-uniform bound on the classical norm that is independent of initial-data size and closes without the maximal existence time remaining finite for large data. The domination assumption must be shown to produce constants that do not grow with the solution norm when the diffusion coefficient vanishes; otherwise the differential inequality for the norm may fail to yield global continuation.

Authors: In the proof of Theorem 4.2, the fragmentation domination (assumed with power-law rates satisfying the stated algebraic conditions) produces a differential inequality for the classical norm of the form dN/dt ≤ C(1 + N^α) where both C and α are independent of the solution size N and of the initial data. This follows from the explicit estimates in Lemmas 3.3 and 4.1, which absorb the coagulation and vanishing-diffusion contributions into the fragmentation term using only the fixed rate exponents and the smallness of the diffusion coefficient relative to fragmentation; no norm-dependent growth appears because the power structure permits direct comparison without invoking solution-dependent constants. Standard ODE comparison then yields global continuation for arbitrary finite initial data. revision: no

Circularity Check

0 steps flagged

No circularity: standard functional-analytic local existence plus a priori bounds for global extension

full rationale

The derivation proceeds by establishing local classical well-posedness under an explicit domination assumption (diffusion/coagulation controlled by fragmentation) via functional-analytic estimates, then obtaining time-uniform a priori bounds on the classical norm for the special power-rate case to remove the smallness restriction and obtain global existence. No step reduces by construction to its own inputs: the local existence time is controlled by the initial data and the domination constants, while the global extension rests on differential inequalities that close independently of data size for power rates. No self-citations are load-bearing, no parameters are fitted and renamed as predictions, and no uniqueness theorem or ansatz is imported from prior author work. The argument is self-contained against external benchmarks (standard semigroup or fixed-point theory plus energy estimates).

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on standard functional-analysis axioms for PDE existence together with growth conditions on the rates that enable domination estimates.

axioms (1)

domain assumption Fragmentation, coagulation, and diffusion coefficients satisfy continuity, positivity, and growth conditions that permit domination by fragmentation.
Invoked to close the a priori estimates that prevent finite-time blow-up.

pith-pipeline@v0.9.0 · 5387 in / 1096 out tokens · 42489 ms · 2026-05-15T01:44:16.517060+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 2.3: under power rates (2.9) and condition (2.10), non-negative classical solutions of Theorem 2.2 are globally defined.

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

48 extracted references · 48 canonical work pages

[1]

A. S. Ackleh and B. G. Fitzpatrick. Modeling aggregation and growth processes in an algal population model: Analysis and computations.J. Math. Biol., 35:480– 502, 1997

work page 1997
[2]

Adams and J.F

R.A. Adams and J.F. Fournier.Sobolev Spaces. Academic Press, 2003

work page 2003
[3]

Aizenman and T.A

M. Aizenman and T.A. Bak. Convergence to equilibrium in a system of reacting polymers.Comm. Math. Phys., 65(3):203–230, 1979

work page 1979
[4]

H. Amann. Operator-Valued Fourier Multipiers, Vector-Valued Besov Spaces, and Applications.Math. Nachr., 186:5–56, 1997

work page 1997
[5]

H. Amann. Coagulation-fragmentation processes.Arch. Rat. Mech. Anal., 151:339–366, 2000

work page 2000
[6]

Amann.Linear and quasilinear parabolic problems: Volume I: Abstract linear theory

H. Amann.Linear and quasilinear parabolic problems: Volume I: Abstract linear theory. Monographs in Mathematics. Birkh¨ auser, 2011. 39

work page 2011
[7]

Amann and Ch

H. Amann and Ch. Walker. Local and global strong solutions to continuous coagulation-fragmentation equations with diffusion.J. Differ. Equ., 218:159–186, 2005

work page 2005
[8]

Amann and F

H. Amann and F. Weber. On a quasilinear coagulation-fragmentation model with diffusion.Adv. Math. Sci. Appl., 11:227–263, 2001

work page 2001
[9]

Arendt, C.J.K

W. Arendt, C.J.K. Batty, M. Hieber, and F. Neubrander.Vector-valued Laplace Transforms and Cauchy Problems, volume 96 ofMonographs in Mathematics. Birkh¨ auser, 2011

work page 2011
[10]

Arendt and A

W. Arendt and A. Rhandi. Perturbation of positive semigroups.Arch. Math., 56:107–119, 1991

work page 1991
[11]

Arino and R

O. Arino and R. Rudnicki. Phytoplankton dynamics.Comptes Rendus Biologies, 327:961–969, 2004

work page 2004
[12]

Banasiak

J. Banasiak. Kinetic-Type Models with Diffusion: Conservative and Nonconser- vative Solutions.Transp. Theory Stat. Phys., 36:43–65, 2007

work page 2007
[13]

Discretegrowth-decay-fragmentationequa- tion: well-posedness and long-term dynamics.J

J.Banasiak,L.O.Joel,andS.Shindin. Discretegrowth-decay-fragmentationequa- tion: well-posedness and long-term dynamics.J. Evol. Equ., 19(3):771–802, 2019

work page 2019
[14]

Banasiak, L.O

J. Banasiak, L.O. Joel, and S. Shindin. The discrete unbounded coagulation- fragmentation equation with growth, decay and sedimentation.Kinet. Relat. Mod- els, 12:1069–1092, 2019

work page 2019
[15]

Banasiak and W

J. Banasiak and W. Lamb. Growth-fragmentation-coagulation equations with unbounded coagulation kernels.Philos. Trans. Roy. Soc. A, 378(2185):20190612, 2020

work page 2020
[16]

Banasiak, W

J. Banasiak, W. Lamb, and Ph. Laurencot.Analytic Methods for Coagulation- Fragmentation Models, Volume I. Chapman and Hall/CRC, 2019

work page 2019
[17]

Banasiak, W

J. Banasiak, W. Lamb, and Ph. Laurencot.Analytic Methods for Coagulation- Fragmentation Models, Volume II. Chapman and Hall/CRC, 2019

work page 2019
[18]

Banasiak and N

J. Banasiak and N. Majozi. Fragmentation-coagulation processes with advection or diffusion in space.arXiv.2601.01453, 2026

work page arXiv 2026
[19]

Benilan and D

Ph. Benilan and D. Wrzosek. On an infinite system of reaction-diffusion equations. Adv. Math. Sci. Appl., 7:351–366, 1997

work page 1997
[20]

Bergh and J

J. Bergh and J. L¨ ofstr¨ om.Interpolation spaces: an introduction, volume 223 of Grundlehren der mathematischen Wissenschaften. Springer, 1976

work page 1976
[21]

Billingsley.Convergence of probability measures

P. Billingsley.Convergence of probability measures. Wiley series in probability and statistics. Probability and statistics section. Wiley, 2 edition, 1999

work page 1999
[22]

Canizo, L

J.A. Canizo, L. Desvillettes, and K. Fellner. Improved duality estimates and applications to reaction-diffusion equations.Commun. Partial. Differ. Equ., 39(6):1185–1204, 2014

work page 2014
[23]

Carlen and M

E.A. Carlen and M. Loss. Sharp constant in Nash’s inequality.Int. Math. Res. Notices, 7:213–215, 1993

work page 1993
[24]

Dam and D.T

H.E. Dam and D.T. Drapeau. Coagulation efficiency, organic-matter glues and the dynamics of particles during a phytoplankton bloom in a mesocosm study. Deep-Sea Research II, 4:111–123, 1995

work page 1995
[25]

CambridgeTractsinMathematics

E.B.Davies.Heat Kernels and Spectral Theory. CambridgeTractsinMathematics. Cambridge University Press, 1989

work page 1989
[26]

Degond, J.-G

P. Degond, J.-G. Liu, and R.L. Pego. Coagulation-fragmentation model for animal group-size statistics.J. Nonlinear Sci., 27:1432–1467, 2017

work page 2017
[27]

R. Denk, M. Hieber, and J. Pr¨ uss.R-boundedness, Fourier multipliers and prob- lems of elliptic and parabolic type,volume166ofMem. Amer. Math. Soc.American Mathematical Society, 2003

work page 2003
[28]

R.L. Drake. A general mathematical survey of the coagulation equation. In G.M. 40 Hidy and J.R. Brock, editors,Topics in Current Aerosol Research, Part 2, pages 207–376. Pergamon Press, Oxford, 1972

work page 1972
[29]

Engel and R

K.J. Engel and R. Nagel.One-parameter Semigroups for Linear Evolution Equa- tions. Springer, Berlin, 2000

work page 2000
[30]

Friedlander.Smoke, Dust and Haze

S.K. Friedlander.Smoke, Dust and Haze. Fundamentals of Aerosol Dynamics. Oxford University Press, 2000

work page 2000
[31]

Guidetti

D. Guidetti. On elliptic systems inL1.Osaka J. Math., 30:397–429, 1993

work page 1993
[32]

Henry.Geometric Theory of Semilinear Parabolic Equations

D. Henry.Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Mathematics. Springer-Verlag, 1993

work page 1993
[33]

G.A. Jackson. A model of formation of marine algal flocks by physical coagulation processes.Deep-Sea Research, 37:1197–1211, 1990

work page 1990
[34]

Kunstmann and L

P.C. Kunstmann and L. Weis. MaximalL p-regularity for parabolic equations, Fourier multiplier theorems andH∞-functional calculus. In M. Iannelli, R. Nagel, and S. Piazzera, editors,Functional Analytic Methods for Evolution Equations, pages 65–311. Springer, 2004

work page 2004
[35]

Laurencot and S

Ph. Laurencot and S. Mischler. The continuous coagulation-fragmentation equa- tions with diffusion.Arch. Rat. Mech. Anal., 162(1):1432–0673, 2002

work page 2002
[36]

Laurencot and S

Ph. Laurencot and S. Mischler. Global existence for the discrete diffusive coagulation-fragmenttion equations inL1.Rev. Mat. Iberoamericana, 18:731–745, 2002

work page 2002
[37]

Lunardi.Analytic Semigroups and Optimal Regularity in Parabolic Problems

A. Lunardi.Analytic Semigroups and Optimal Regularity in Parabolic Problems. Modern Birkh¨ auser Classics. Birkh¨ auser, 1995

work page 1995
[38]

Mischler and M

S. Mischler and M. Rodriguez-Ricard. Existence globale pour l’equation de Smolu- chowski continue non homogene et comportement asymptotique des solutions.C. R. Acad. Sci. Paris Ser. I Math., 336:407–412, 2003

work page 2003
[39]

Muckenhoupt and R.L

B. Muckenhoupt and R.L. Wheeden. Weighted norm inequalities for fractional integrals.Trans. Amer. Math. Soc., 192:261–274, 1974

work page 1974
[40]

Safronov.Evolution of the Protoplanetary Cloud and Formation of the Earth and the Planets

V.S. Safronov.Evolution of the Protoplanetary Cloud and Formation of the Earth and the Planets. Israel Program for Scientific Translations, 1972

work page 1972
[41]

Stein.Singular Integrals and Differentiability Properties of Functions

E.M. Stein.Singular Integrals and Differentiability Properties of Functions. Princeton University Press, 1970

work page 1970
[42]

Tanabe.Functional analytic methods for partial differential equations

H. Tanabe.Functional analytic methods for partial differential equations. Marcel Dekker, New-York, 2000

work page 2000
[43]

Ch. Walker. On a new model for continuous coalescence and breakage processes with diffusion.Adv. Differ. Equ., 10(2):121–152, 2005

work page 2005
[44]

Ch. Walker. A remark on continuous coagulation-fragmentation equations with unbounded diffusion coefficients. In H. Brezis, M. Chipot, and J. Escher, edi- tors,Nonlinear Elliptic and Parabolic Problems: A Special Tribute to the Work of Herbert Amann, pages 517–528. Birkh¨ auser, 2005

work page 2005
[45]

D. Wrzosek. Existence of solutions for the discrete coagulation-fragmentation model with diffusion.Topol. Methods Nonlinear Anal., 9:279–296, 1997

work page 1997
[46]

D. Wrzosek. Weak solutions to the cauchy problem for the diffusive discrete coagulation-fragmentation system.J. Math. Anal. Appl., 289:405–418, 2004

work page 2004
[47]

R.M. Ziff. Kinetics of polymerization.J. Statist. Phys., 23:241–263, 1980

work page 1980
[48]

R.M. Ziff. Kinetics of polymer degradation.Macromolecules, 19:2513–2519, 1986. 41

work page 1986