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.
Finite discrete coagulation and fragmentation with a mass reservoir
Definition
Fix a basic mass and an integer . Species has mass and number concentration . A symmetric nonnegative array specifies binary aggregation. In the ordered-pair convention, the event rate for is ; summing over ordered pairs counts an unequal pair twice and an equal pair once with its required factor .
If , an aggregation event has stoichiometric increment , where is the th coordinate vector. If , it removes the two parents from the retained bins and adds mass to a scalar overflow reservoir ; the reservoir has no return dynamics. Thus this branch is a truncation model and is not a physical state law for particles that later fragment.
For fragmentation, each species has event rate , where . The monomer does not fragment: set and impose no daughter normalization for . Its expected daughter counts are for , with . One event has increment . The mean equations are the finite sums of these event rates times their increments, together with the stated overflow-reservoir equation. When is specified as an actual random daughter law, these equations describe its expected event increment.
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Philippe Laurençot, Weak compactness techniques and coagulation equations, §1 (standard reference, not scraped)
- Philippe Laurençot and Stéphane Mischler, From the discrete to the continuous coagulation-fragmentation equations, §1 (standard reference, not scraped)