How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Coagulation Fragmentation and Sectional Population Balance Numerics — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Binary Operations, Monoids, Groups and Subgroups
- Coagulation Fragmentation and Sectional Population Balance Numerics
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Countability and Uncountability
- Finite Counting, Factorials and Binomial Coefficients
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- limsup, liminf, and Subsequential Limits
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Order, Zorn's Lemma, and the Axiom of Choice
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Series: Convergence and the Nonnegative Tests
- Suprema and Infima
- The Exponential Function
- The Formal Laurent Series Field ℝ((t⁻¹)): Cauchy Complete, Non-Archimedean, Not Complete
- The ZFC Axioms and the Basic Set Constructions
2 · Summary
Summary
These worked examples calculate constant-kernel number decay with conserved mass, a concrete barycentric pivot split, a binary fragmentation event, and an above-cutoff event routed to the reported reservoir. The final counterexample combines the explicit product-kernel pre-gelation moment formula with mass-one finite-grid states to show why finite-grid mass conservation cannot supply a uniform continuum second-moment bound.
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
A binary split preserves first moment and increases number by one
Statement
For a parent of size , let its expected daughters be one cluster of size and one of size . The event removes one parent and adds two daughters, so number increases by one and mass is unchanged.
Facts & Assumptions
Given: The finite fragmentation event convention with daughter counts and all other .
Finite discrete coagulation and fragmentation with a mass reservoir: one fragmentation event has increment and requires .
Stoichiometric number and mass changes for finite coagulation and fragmentation events: a fragmentation event changes number by and mass by zero.
Proof
The daughter mass sum is , so this daughter law satisfies the required parent-mass normalization in [F1].
Its number increment is . Its mass increment is , agreeing with [F2].
Constant-kernel aggregation conserves mass and has explicit number decay
Statement
Let be any positive weak solution of the continuous model with constant aggregation kernel and no active fragmentation (). If and , then
Facts & Assumptions
Given: The weak formulation for a positive solution and the choices .
Continuous-size coagulation-fragmentation weak model: coagulation has ordered-pair factor , while fragmentation vanishes when .
Proof
With , the coagulation increment is . The integral equation therefore gives on the solution interval.
With , the increment is , so . If , then on every interval where , differentiating gives , hence . This expression is positive at every finite , so continuity precludes a first finite zero and the formula holds throughout the solution interval. If , positivity gives and the differential equation gives , so , again the formula.
A product between pivots is split without changing number or mass
Statement
On the grid , the product size is replaced by . It remains one particle in expectation, has mass , and its second moment is , an excess of over .
Facts & Assumptions
Given: The fixed-pivot rule on a grid containing adjacent nodes and .
Conservative fixed-pivot redistribution on a finite positive grid: at , the pivot weights are and .
Fixed-pivot weights are nonnegative and reproduce number and mass: the weights sum to one and reproduce first moment .
Proof
Substituting , , and in [F1] gives both weights equal to . Thus the replacement is exactly .
The weights sum to , their weighted mass is , and their weighted second moment is . Hence the number and mass statements agree with [F2], and the second-moment excess is .
Finite-grid mass conservation does not bound the product-kernel continuum second moment
Statement
For every cutoff , the finite state at the sole occupied size has mass and second moment . Hence finite-grid mass conservation alone yields no second-moment bound uniform in the cutoff. Separately, the infinite product-kernel solution from The discrete product-kernel solution has finite-time second-moment blow-up has conserved first moment but as . Thus finite-grid augmented-mass conservation does not prove a global continuum second-moment estimate or rule out gelation for a superlinear kernel.
Facts & Assumptions
Given: The finite sectional mass identity and the product-kernel pre-gelation solution.
Finite sectional event dynamics preserve positivity and retained-plus-reservoir mass: finite sectional event dynamics conserve retained-plus-reservoir mass exactly.
The discrete product-kernel solution has finite-time second-moment blow-up: for the product kernel, and on .
Proof
On a grid with top pivot , the state with and all other retained coordinates zero has first moment and second moment . Its reservoir may be zero, so the conserved augmented mass is . As increases these admissible mass-one states have unbounded second moment, proving the finite mass identity alone gives no cutoff-independent moment bound.
The continuum product-kernel solution in [F2] has , which diverges at the finite time while its first moment remains . The kernel is superlinear and unbounded, outside the bounded-kernel global theorem's hypotheses; therefore this example warns against inferring continuum mass-conserving global moment control from finite-grid conservation.
Remark
Laurençot's full-text lecture notes separately state a post-gel mass-loss theorem for nontrivial weak solutions with , , under the solution hypotheses there (Theorem 3.13, §3.3); that source result is contextual and is not used to prove the pre-gelation formula here. Kumar's dissertation reports fixed-pivot moment deviations from analytical product-kernel comparisons near gelation in its numerical examples (Chapter 3, §3.2.2); this is a numerical warning, not a substitute for the local proof above. (Laurençot, §§3.3; Kumar, Chapter 3)
An above-cutoff product moves mass into the reported reservoir
Statement
On a grid ending at cutoff , an aggregation event between two particles of mass has product mass and stays in range, while an event between masses and has product mass and removes retained mass while adding reservoir mass .
Facts & Assumptions
Given: A finite sectional grid containing pivots and the reported-overflow rule.
Finite sectional coagulation-fragmentation balance with reported overflow: when , both parents are removed and the sum of their masses is added to .
Finite sectional event dynamics preserve positivity and retained-plus-reservoir mass: each overflow event has zero augmented-mass change.
Proof
For masses and , their sum is , which exceeds . The rule [F1] therefore consumes masses and increments the reservoir by .
The retained mass change is and the reservoir change is , so augmented mass change is zero, as asserted in [F2]. This reservoir entry has no later fragmentation dynamics under [F1].
Sources
- Philippe Laurençot and Stéphane Mischler, From the discrete to the continuous coagulation-fragmentation equations, §1
- Philippe Laurençot, Weak compactness techniques and coagulation equations, §1
- Jitendra Kumar, Numerical approximations of population balance equations in particulate systems, Chapter 2, §2.2
- Philippe Laurençot, Weak compactness techniques and coagulation equations, §§1 and 3.3
- Jacek Kumar, Numerical approximations of population balance equations in particulate systems, Chapter 2, §2.2