Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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.

Semilinear vector reaction-diffusion systems

Definition

Let m≥1, let D=diag⁡(d1,…,dm) with di≥0, and let F:U→Rm be as in Reaction vector fields and quasi-positivity. A semilinear vector reaction-diffusion system is

ut=DΔu+F(u),u(x,0)=u0(x),

on either a flat periodic torus TLd or a bounded connected polyhedral domain Ω⊂Rd with homogeneous no-flux conditions di∂nui=0 on each boundary face. Equivalently, ∂nui=0 is required for components with di>0; components with di=0 require no boundary condition. The diffusion matrix is diagonal and independent of u; this definition does not include cross-diffusion.

A classical solution is bounded in the rectangle R on [0,T] if u(x,t)∈R at every point and time in its stated solution class, with R as in Inward reaction rectangles. This item fixes the continuous PDE convention; the finite-volume and periodic discrete operators are defined separately.

Depends on

Used by

Dependency tree · one level

2 results 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