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.
Periodic rectangular reaction-diffusion grid
Definition
Fix , side lengths , and integers . Put , , and . Grid nodes are modulo the side lengths, grid indices wrap modulo , and denotes sampling. The cell volume is . The positive periodic heat stencil is the unit-diffusivity specialization of the periodic operator in Fully discrete θ heat finite-difference scheme:
For species with diffusivities , the reaction-diffusion grid generator acts on species by . Each grid node has weight ; the stencil has zero row and column sums, so each species' weighted sum is conserved by diffusion. Its matrix representation satisfies , with symmetric , nonpositive off-diagonal entries and .
The sign convention is that is nonnegative and generates diffusion. The exact eigenvalues of the positive stencil are supplied by Periodic heat-stencil eigenvalues and θ amplification factor. This grid is the only spatial discretization used in the periodic error theorem; no mesh-uniform claim for general finite-volume meshes is made there.
Depends on
Used by
- Exact reaction-then-diffusion Lie step on FV or periodic grids Algorithm
- Forward-Euler reaction followed by exact FV or periodic diffusion Algorithm
- Cell-centered rectangular TPFA grid with homogeneous no-flux boundaries Definition
- Mesh-uniform reaction-diffusion commutator bound on a periodic grid Lemma
- Second-order spatial consistency of the periodic FV heat stencil Lemma
- Two-species continuous and discrete dispersion criteria Proposition
- A bounded Euler-reaction Lie step preserves rectangles and mass balance Theorem
- Exact reaction-diffusion Lie steps preserve rectangles and mass balance Theorem
- Finite-volume and periodic diffusion preserve intervals and weighted mass Theorem
- Mesh-uniform first-order Lie error for a smooth periodic reaction-diffusion solution Theorem
- No-flux rectangular TPFA Lie error by even reflection Theorem
Dependency tree · two levels
11 results within two dependency steps 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
- Luca Doria, Numerical Algorithms, lecture notes, Johannes Gutenberg-Universität Mainz, 2022 (standard reference, not scraped)