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.
Stoichiometric conservation and dissipation functionals
Definition
Let be the reaction vector field of Reaction vector fields and quasi-positivity, and let be a state set. A vector is a stoichiometric conservation vector on if for every . It is a stoichiometric dissipation vector on if for every . The corresponding pointwise mass is .
For a Lebesgue measurable domain and a measurable field such that , the continuous total mass is , with Lebesgue integration. In particular, this is defined for bounded measurable fields on finite-volume domains. For any finite index set with assigned positive weights , the discrete total mass of states is . The weights and index set are part of the discrete model. Conservation and dissipation always refer to these stated functionals and the stated state set; no claim is made for a different weight vector or for reactions outside .
Depends on
Used by
- A bounded forward-Euler reaction step preserves an inward rectangle Lemma
- A bounded Euler-reaction Lie step preserves rectangles and mass balance Theorem
- Continuous reaction-diffusion mass balance on boxes, tori, and piecewise C1 domains Theorem
- Exact reaction-diffusion Lie steps preserve rectangles and mass balance Theorem
- Finite-volume and periodic diffusion preserve intervals and weighted mass Theorem
- Inward reaction fields preserve rectangles and stoichiometric mass Theorem
Dependency tree · one level
1 result within one dependency step of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Willem Hundsdorfer, Numerical Solution of Advection-Diffusion-Reaction Equations, lecture notes for Ph.D. course, 1996 (standard reference, not scraped)