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 , a cutoff , integers , and use the uniform grid with and cells . Set and for . Use the model rates and input nonnegative initial cell masses . 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 . Require the transport-plus-loss CFL
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 . For each , put , compute 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 and for . Update, for ,
The right flux is absorbing outflow: record and discard the step mass , set , and allow no inflow from ages above . Append , the quadrature status, and the step outflow record, then proceed to step . Return 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
- A longer run exposes age-cutoff outflow error Example
- Constant mortality with age-localized fertility Example
- Age-cutoff survival, outflow and infinite-age tail bounds Theorem
- First-order finite-volume convergence for compatible smooth renewal data Theorem
- L1 convergence for BV data without renewal-boundary compatibility Theorem
- Positivity, L1 growth and data stability of the renewal finite-volume step Theorem
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
- Benoît Perthame, Introduction to Structured Equations in Biology, full lecture notes (standard reference, not scraped)
- MATH 575 lecture notes, §9 Finite difference methods for the transport equation (standard reference, not scraped)