Alphabeta Math
AlgorithmAlgorithm: 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-volume upwind scheme for age renewal transport

Definition

For Linear age-structured renewal transport problem, input a finite horizon T>0, a cutoff A>T, integers J,N≥1, and use the uniform grid aj=jΔa with Δa=A/J and cells Cj=[aj−1,aj]. Set Δt=T/N and tk=kΔt for 0≤k≤N. Use the model rates μ,β and input nonnegative initial cell masses Mj0. Also input one positive-birth-quadrature setting for each cell as specified in Positive composite or capped-adaptive quadrature for renewal births; if omitted, use its default one-panel midpoint setting. Keep these settings fixed at every time step. Evaluate μj=μ((aj−1+aj)/2). Require the transport-plus-loss CFL

λ+Δt μ∞≤1,λ=Δt/Δa,μ∞=∥μ∥∞.

If the CFL inequality fails, return status invalid-cfl without an update.

Initialize birth, quadrature-status, and outflow records as empty, and set cumulative outflow Oh0=0. For each k=0,…,N−1, put ujk=Mjk/Δa, compute Bhk by calling Positive composite or capped-adaptive quadrature for renewal births with the current masses, model fertility β, and the selected cell settings, and set the upwind fluxes F0k=Bhk and Fjk=ujk for 1≤j≤J. Update, for 1≤j≤J,

Mjk+1=Mjk−Δt(Fjk−Fj−1k)−Δt μjMjk.

The right flux FJk is absorbing outflow: record and discard the step mass ΔtFJk, set Ohk+1=Ohk+ΔtFJk, and allow no inflow from ages above A. Append Bhk, the quadrature status, and the step outflow record, then proceed to step k+1. Return (Mk)k=0N with the birth, quadrature-status, step-outflow, and cumulative-outflow records. An invalid grid or failed rate/quadrature evaluation returns failure with no partial current step. A cap-reached adaptive quadrature estimate may be used for a finite step, but its status is retained and carries no accuracy claim.

Depends on

Used by

Dependency tree · two levels

10 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