Pith. sign in

REVIEW 2 major objections 3 minor 2 cited by

Continuous fragmentation equations in weighted $L^1$ spaces

T0 review · 2 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read This paper proves that for a wide class of continuous fragmentation kernels there always exists a weight function making the fragmentation semigroup analytic on a weighted L1 space, so the initial-value problem has a unique classical soluti

desk verdict The conditional semigroup and analyticity results are solid, but the advertised 'always possible' weight construction in Theorem 5.3 only proves the large-y inequality, so the non-vacuity claim is false as stated. read the letter →

arxiv 2509.09026 v1 pith:ACDIM6VJ submitted 2025-09-10 math.FA

Lyndsay Kerr , Wilson Lamb , Matthias Langer This is my paper
classification math.FA MSC 47D0680A3046B42
keywords continuousfragmentationweightedL1spacesanalyticsemigroupC0-semigroupsubstochasticequationperturbationtheorynon-conservative
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

The paper addresses the continuous fragmentation equation, which describes how clusters of particles break apart over time. It shows that by working in a weighted L1 space and choosing the weight appropriately, the fragmentation operator generates an analytic, positive semigroup. This analyticity guarantees that the initial-value problem has a unique classical solution for every initial density in the weighted space, not only for a dense subset. The authors prove that such a weight can always be constructed for kernels satisfying a mild boundedness condition, and they illustrate the flexibility of weights with examples where exponential weights work while power weights fail.

What carries the argument

The central object is the weighted L1 space X_ω = L1((0,∞), ω(x)dx) and the fragmentation operator G(ω)=A(ω)+B(ω), where A(ω) is multiplication by -a and B(ω) is the integral operator describing gain from fragmentation. The weight ω is chosen to satisfy the contraction condition (Assumption 4.1): the weighted integral of the fragmentation kernel b from 0 to y must be bounded by κ1 ω(y) near the origin and by κ2 ω(y) with κ2<1 at infinity. This condition makes B(ω) a relatively bounded perturbation of A(ω) with relative bound strictly less than 1, enabling the Miyadera perturbation theorem (Theorem 2.5) to yield analyticity of the semigroup.

What would settle it

A concrete way to test the central claim is to exhibit a measurable fragmentation kernel b (with locally bounded rate a) satisfying Assumption 3.1 but not Assumption 5.1, for which no locally integrable weight ω satisfies (4.1)–(4.2); if for such a kernel the operator A(ω)+B(ω) also fails to generate an analytic semigroup on any weighted L1 space, the main theorem's scope is sharply bounded. A simpler falsifying observation would be a kernel with b(x,y) growing like exp(1/x) for x near 0, making the integral in (4.1) diverge for every weight ω integrable near 0.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.2 and Corollary 4.3: if the fragmentation rate a and kernel b satisfy Assumption 3.1 (local integrability/measurability) and the weight ω satisfies Assumption 4.1—an integral condition that controls the weighted average of b over small and large cluster sizes—then the operator A(ω)+B(ω) generates an analytic, positive C0-semigroup on X_ω. Consequently, for every initial condition in X_ω, the fragmentation initial-value problem has a unique classical solution, and it is non-negative when the initial condition is. The paper further shows in Theorem 5.3 that, under a mild boundedness assumption on b, such a weight always exists, so the assumption is not restrictiv

Load-bearing premise

The load-bearing premise is Assumption 4.1: for the chosen weight, the weighted average of the fragmentation kernel over small clusters must be dominated by a constant times the weight near zero and by a factor strictly less than 1 times the weight at infinity; the paper proves such a weight exists under the boundedness assumptions of Assumption 5.1, but if a kernel grows too fast near the origin, the construction can fail.

Editorial extensions

If this is right

  • For every fragmentation kernel satisfying the boundedness assumptions of Assumption 5.1, there exists a weighted L1 space in which the fragmentation semigroup is analytic and positive, yielding existence and uniqueness of classical solutions for all initial data in that space.
  • The analyticity of the semigroup means solutions depend smoothly on time for t>0, even when the initial density is only in the weighted space and not in the operator domain.
  • The positivity of the semigroup ensures that non-negative initial densities evolve into non-negative densities, preserving the physical interpretation of a particle density.
  • The weight construction of Theorem 5.3 gives a concrete method to find such a weight for any locally bounded kernel, removing the need to assume mass conservation or to work in fixed moment spaces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next step is to extend the weight-construction technique to coagulation–fragmentation systems, where the coagulation term may require additional control but the same weighted-space philosophy could yield analytic semigroups.
  • The contraction condition (4.2) is reminiscent of a spectral-radius bound; this suggests that the optimal weight may be linked to the spectral properties of the fragmentation operator, and that the threshold for analyticity could be characterised in terms of the essential spectrum.
  • The examples indicate that the admissible weights form a flexible family; a testable extension would be to determine, for a given kernel, the minimal growth rate of a weight that satisfies (4.1)–(4.2), possibly via numerical optimisation.
  • The result may carry over to stochastic fragmentation models or to equations with size-dependent diffusion, where analytic semigroups in weighted spaces could be used to prove well-posedness.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper studies the continuous fragmentation equation (1.1) as an abstract Cauchy problem in a weighted L^1 space X_ω. Under mild assumptions on the fragmentation rate a and kernel b, the authors use two perturbation theorems to show that A^(ω)+B^(ω) generates a positive C0-semigroup (Section 3) and, under the stronger weighted-contraction Assumption 4.1, an analytic positive C0-semigroup (Theorem 4.2). This gives unique classical solutions for every initial datum in X_ω (Corollary 4.3). Section 5 aims to show that, under Assumption 5.1, a suitable weight always exists; Section 6 gives two examples. The conditional semigroup arguments are mostly clean, but the non-vacuity claim for the weight construction is incomplete.

Significance. If the results stand, the paper gives a useful and flexible framework for fragmentation equations with possible mass loss: the weighted-space formulation and the explicit relative-boundedness estimate in Theorem 4.2 are clear, and Corollary 4.3 is a strong well-posedness statement. The Volterra-operator construction in Lemma 5.5 and the exponential-weight criterion in Theorem 5.6 are valuable tools. The examples nicely illustrate the difference between power-type and exponential-type weights. However, the advertised ``always possible'' construction of a weight satisfying Assumption 4.1 is not proved as stated; this is a load-bearing gap in the central non-vacuity claim, though it appears fixable by strengthening assumptions or weakening the claim.

major comments (2)
  1. [Section 5, Theorem 5.3] The proof of Theorem 5.3 establishes only the large-y inequality (4.2); it does not establish the small-y inequality (4.1) in case Assumption 5.1(ii). The constructed weight is set to ω0 on [0, η0), and Assumption 5.1(ii) gives no control of ∫_0^y b(x,y)ω0(x) dx for y ∈ (0, η0]. For example, take η0=1, ω0=1, a=1, and set b(x,y)=1/(y−x)^2 for 0<x<y≤1, b(x,y)=0 for y>1 and x<1, and b(x,y)=1 for y>1 and 1≤x≤y. This satisfies Assumptions 3.1 and 5.1(ii), but ∫_0^y (y−x)^{-2} dx = ∞ for every y∈(0,1), so (4.1) cannot hold for any finite κ1. Thus Theorem 5.3 does not deliver Assumption 4.1, and the claims in Section 1 and in the opening paragraph of Section 5 that an analytic weight always exists are unsupported. The statement and proof must be repaired, e.g. by adding a small-y condition to Assumption 5.1(ii) or by restricting the theorem to the case η0=0 / Assumption 5.1(i), and the introduc
  2. [Theorem 4.2 and Corollary 4.3] The conclusions of Theorem 4.2 and Corollary 4.3 depend on the full Assumption 4.1, i.e. both (4.1) and (4.2). Because the construction in Theorem 5.3 covers only (4.2), the examples in Section 6 and the non-vacuity discussion in Section 5 cannot be used as evidence that the hypotheses of the main analyticity theorem are satisfied unless the small-y bound is verified separately. This is not just a technicality: the counterexample above satisfies Assumption 5.1 and yet no positive weight can satisfy (4.1). The authors should clarify, for each stated application, that both parts of Assumption 4.1 hold.
minor comments (3)
  1. [Section 3] The text repeatedly calls Assumption 3.1 and Assumption 3.2 ``Theorem 3.1'' and ``Theorem 3.2'' (e.g., ``Let Theorem 3.1 hold'' before (3.1) and in Theorem 3.3). This is confusing and should be corrected throughout.
  2. [Proof of Theorem 2.5] In the proof of Theorem 2.5, the reference ``Theorem 2.1'' should be ``Lemma 2.1''.
  3. [Theorem 4.2] The analyticity of A^(ω) is justified by a resolvent estimate involving 1/|Im λ|, but the displayed estimate alone does not directly give the sectorial bound needed in the cited result. A one-line sharper estimate, ∥λR(λ,A^(ω))∥ ≤ 1 for Re λ > 0 (since |λ+a(x)| ≥ |λ| for a(x)≥0), would make the argument immediate.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the main analytic-semigroup and weight-construction results are derived from explicit hypotheses, not from their conclusions; the only self-citation is a standard perturbation lemma that is not load-bearing for the central claim.

full rationale

The paper's main derivation chain is hypothesis-to-conclusion. In Theorem 4.2, Assumption 4.1 is exactly the weighted-contraction condition that makes B(omega) A(omega)-bounded with bound kappa_2 < 1, and analyticity follows from Theorem 2.5, which is proved in the paper from the Miyadera perturbation theorem. No fitted constant or predicted quantity is renamed as a result; the constants kappa_1, kappa_2 are assumed inputs. The weight-existence argument in Section 5 is also non-circular: Theorem 5.3 constructs omega as the solution of a Volterra integral equation (5.3) and then derives the desired inequality from Assumption 5.1; it does not presuppose the inequality it proves. The examples verify the conditions by computation. The only self-citation is Theorem 2.2, quoted from the authors' earlier paper [11] and used in Theorem 3.3. This is a general perturbation theorem (based on Thieme--Voigt [19]) whose assumptions do not include the present target result, so it constitutes independent support rather than a load-bearing self-reference. The skeptical concern about Theorem 5.3, case (ii), is a legitimate completeness issue: the theorem's statement and proof only establish the large-y bound (4.2) and do not prove the small-y bound (4.1) for y in (0,eta_0). But this is a gap in the claimed non-vacuity, not a circular reduction of a conclusion to its input. Therefore the circularity score is minimal.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No data are fitted and no new physical entities are introduced. The core assumptions are the local boundedness of the fragmentation rate and kernel, and the weighted contraction conditions on the kernel/weight pair; Section 5 is dedicated to showing those conditions are satisfiable under mild kernel boundedness.

assumptions (6)
  • domain assumption Fragmentation kernel b is measurable, nonnegative, and b(x,y)=0 for x>y (Assumption 3.1).
    Physical constraint on fragmentation: a cluster cannot break into larger clusters. Assumed rather than derived.
  • domain assumption Fragmentation rate a is nonnegative and locally bounded on [0,infinity) (Assumption 3.1).
    Local boundedness rules out shattering, as noted in Remark 3.4.
  • domain assumption Weighted contraction condition on the kernel/weight pair: ∫0^y b(x,y)omega(x)dx <= kappa*omega(y) (Assumption 3.2), or the split version (4.1)-(4.2) with kappa2<1 (Assumption 4.1).
    This condition makes B a small perturbation of A. Section 5 proves such a weight exists under milder kernel boundedness, so the condition is not vacuous.
  • standard math Standard semigroup perturbation results, including the Miyadera perturbation theorem and [2, Theorem 1.1].
    Used without proof in Theorem 2.5; these are standard literature results.
  • standard math Volterra Neumann series convergence for continuous kernels in Lemma 5.5.
    The resolvent of a Volterra operator with continuous kernel is obtained by a norm-convergent Neumann series.
  • standard math Existence of a nondecreasing function c dominating a as in (3.8).
    Since a is locally bounded, taking c(x)=ess sup on [0,x] gives such a function.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Continuous fragmentation equations in weighted $L^1$ spaces." pith.science (2026). https://pith.science/paper/ACDIM6VJ

@misc{pith2026250909026,
  author       = {Pith},
  title        = {Pith review of: Continuous fragmentation equations in weighted $L^1$ spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ACDIM6VJ}},
  note         = {Machine review of arXiv:2509.09026}
}
abstract

We investigate an integro-differential equation that models the evolution of fragmenting clusters. We assume cluster size to be a continuous variable and allow for situations in which mass is not necessarily conserved during each fragmentation event. We formulate the initial-value problem as an abstract Cauchy problem (ACP) in an appropriate weighted $L^1$ space, and apply perturbation results to prove that a unique, physically relevant classical solution of the ACP is given by a strongly continuous semigroup for a wide class of initial conditions. Moreover, we show that it is often possible to identify a weighted $L^1$ space in which this semigroup is analytic, leading to the existence of a unique, physically relevant classical solution for all initial conditions belonging to that space. For some specific fragmentation coefficients, we provide examples of weighted $L^1$ spaces where our results can be applied.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On a Class of Continuous Collision-Induced Breakage Equation

    math.AP 2026-05 unverdicted novelty 6.0 of 10

    Proves existence of mass-conserving weak solutions to a collision-induced breakage equation, with global existence when the small-size kernel exponent exceeds 1/2 and only local existence when below.

  2. Fragmentation-coagulation processes with advection or diffusion in space

    math.AP 2026-01 conditional novelty 6.0 of 10

    Spatially transported fragmentation-coagulation equations generate positive C0-semigroups in weighted L1 spaces and admit local classical solutions with unbounded coagulation under explicit rate conditions.

Reference graph

Works this paper leans on

24 extracted references · 1 linked inside Pith · cited by 2 Pith papers

  1. [1]

    Aizenman and T.A

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

    1979

  2. [2]

    Arendt and A

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

    1991

  3. [3]

    Banasiak, On an extension of the Kato–Voigt perturbation theorem for sub- stochastic semigroups and its applications,Taiwanese J

    J. Banasiak, On an extension of the Kato–Voigt perturbation theorem for sub- stochastic semigroups and its applications,Taiwanese J. Math5(2001), 169–191

    2001

  4. [4]

    Banasiak and L

    J. Banasiak and L. Arlotti,Perturbations of Positive Semigroups with Applications, Springer Monographs in Mathematics, Springer-Verlag London, Ltd., London, 2006

    2006

  5. [5]

    Banasiak and W

    J. Banasiak and W. Lamb, Analytic fragmentation semigroups and continuous coagulation–fragmentation equations with unbounded rates,J. Math. Anal. Appl. 391(2012), 312–322

    2012

  6. [6]

    Banasiak, W

    J. Banasiak, W. Lamb and M. Langer, Strong fragmentation and coagulation with power-law rates,J. Engrg. Math.82(2013), 199–215

    2013

  7. [7]

    Banasiak, W

    J. Banasiak, W. Lamb and P. Lauren¸ cot,Analytic Methods for Coagulation– Fragmentation Models. Vol. I, Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL, 2020. 17

    2020

  8. [8]

    Batkai, M

    A. Batkai, M. Kramar Fijavˇ z and A. Rhandi,Positive Operator Semigroups, Op- erator Theory: Advances and Applications (vol. 257), Birkh¨ auser/Springer, Cham, 2017

    2017

Show all 24 references
  1. [9]

    Drake, A general mathematical survey of the coagulation equation, in:Topics in Current Aerosol Research (Part 2), ed

    R.I. Drake, A general mathematical survey of the coagulation equation, in:Topics in Current Aerosol Research (Part 2), ed. by G.M. Hidy and J.R. Brock, Interna- tional Reviews in Aerosol Physics and Chemistry 3, Pergamom Press, 1972, pp. 201–376

    1972

  2. [10]

    Engel and R

    K.-J. Engel and R. Nagel,One-Parameter Semigroups for Linear Evolution Equa- tions, Graduate Texts in Mathematics (vol. 194), Springer-Verlag, New York, 2000

    2000

  3. [11]

    L. Kerr, W. Lamb and M. Langer, Discrete fragmentation systems in weightedℓ 1 spaces,J. Evol. Equ.20(2020), 1419–1451

    2020

  4. [12]

    L. Kerr, W. Lamb and M. Langer, Discrete fragmentation equations with time- dependent coefficients,Discrete Contin. Dyn. Syst. Ser. S17(2024), 1947–1965

    2024

  5. [13]

    Kerr and M

    L. Kerr and M. Langer, Discrete coagulation–fragmentation systems in weightedℓ 1 spaces,arXiv:2504.21665(2025)

    2025 arXiv

  6. [14]

    McBride, A.L

    A.C. McBride, A.L. Smith and W. Lamb, Strongly differentiable solutions of the discrete coagulation–fragmentation equation,Phys. D239(2010), 1436–1445

    2010

  7. [15]

    McLaughlin, W

    D.J. McLaughlin, W. Lamb and A.C. McBride, A semigroup approach to fragment- ation models,SIAM J. Math. Anal.28(1997), 1158–1172

    1997

  8. [16]

    McLaughlin, W

    D.J. McLaughlin, W. Lamb and A.C. McBride, An existence and uniqueness result for a coagulation and multiple-fragmentation equation,SIAM J. Math. Anal.28 (1997), 1173–1190

    1997

  9. [17]

    Pazy,Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences (vol

    A. Pazy,Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences (vol. 44), Springer-Verlag, New York, 1983

    1983

  10. [18]

    Smith, W

    L. Smith, W. Lamb, M. Langer and A. McBride, Discrete fragmentation with mass loss,J. Evol. Equ.12(2012), 191–201

    2012

  11. [19]

    Thieme and J

    H.R. Thieme and J. Voigt, Stochastic semigroups: their construction by perturba- tion and approximation, in:Positivity IV—Theory and Applications, T.U. Dresden, Dresden, 2006, pp. 135–146

    2006

  12. [20]

    Verdurmen, P

    R.E.M. Verdurmen, P. Menn, J. Ritzert, S. Blei, G.C.S. Nhumaio, S.T. Sonne, M. Gunsing, J. Straatsma, M. Verschueren, M. Sibeijn, G. Schulte, U. Fritsching, K. Bauckhage, C. Tropea, M. Sommerfeld, A.P. Watkins, A.J. Yule and H. Schønfeldt, Simulation of agglomeration in spray ...

    2004

  13. [21]

    Voigt, On resolvent positive operators and positiveC 0-semigroups onAL-spaces, Semigroup Forum38(1989), 263–266

    J. Voigt, On resolvent positive operators and positiveC 0-semigroups onAL-spaces, Semigroup Forum38(1989), 263–266

    1989

  14. [22]

    J. Wells, ‘Modelling coagulation in industrial spray drying: an efficient one- dimensional population balance approach’, PhD thesis, University of Strathclyde, Department of Mathematics and Statistics, 2018

    2018

  15. [23]

    Ziff, Kinetics of polymerization,J

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

    1980

  16. [24]

    Ziff and E.D

    R.M. Ziff and E.D. McGrady, The kinetics of cluster fragmentation and depolymer- isation,J. Phys. A18(1985), 3027–3037. Lyndsay Kerr, Wilson Lamb, Matthias Langer Department of Mathematics and Statistics University of Strathclyde 26 Richmond Street Glasgow G1 1XH United Kingdo...

    1985

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.