Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
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 a>0 and an integer N≥2. Species i∈{1,…,N} has mass mi=ia and number concentration ni≥0. A symmetric nonnegative array Kij=Kji specifies binary aggregation. In the ordered-pair convention, the event rate for (i,j) is Kijninj/2; summing over ordered pairs counts an unequal pair twice and an equal pair once with its required factor 1/2.

If i+j≤N, an aggregation event has stoichiometric increment ei+j−ei−ej, where ei is the ith coordinate vector. If i+j>N, it removes the two parents from the retained bins and adds mass mi+mj to a scalar overflow reservoir L; 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 i≥2 has event rate βini, where βi≥0. The monomer does not fragment: set β1=0 and impose no daughter normalization for i=1. Its expected daughter counts are bi(k)≥0 for 1≤k<i, with ∑k<ikbi(k)=i. One event has increment −ei+∑k<ibi(k)ek. The mean equations are the finite sums of these event rates times their increments, together with the stated overflow-reservoir equation. When bi 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