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.
Renewal age and size structured numerical methods — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Adaptive quadrature and error indicators
- Binary Operations, Monoids, Groups and Subgroups
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Composite quadrature rules
- Connectedness
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Darboux, L'Hôpital, and Taylor's Theorem
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability and the Probabilistic Method
- Foundations of the Real Numbers for Analysis
- Global ODE and Log-density Integration Error
- Hyperbolic finite-difference methods
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Metric Spaces
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Properties of the Integral and the Working FTC
- Relations, Functions, and Quotients
- Renewal age and size structured numerical methods
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Simple Field Extensions and the Construction of the Complex Numbers
- Subspaces, Products, and Quotients
- Suprema and Infima
- The Derivative and the Mean Value Theorems
- The Exponential Function
- The Logarithm and General Powers
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
These examples show how a normalized triangular maturation profile approximates a point delay while retaining a nonzero finite-width discrepancy, how half-size division balances the discrete first size moment, and how localized fertility produces births at an incompatible initial corner without breaking positivity of the upwind update. The cutoff example uses exact cell masses and a one-cell-per-step shift to separate accumulated outflow and omitted initial tail from time-discretization error.
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
A narrow maturation kernel approaches a delayed birth term
Example
Fix a finite horizon , , , and . Let
where . This is a normalized triangular profile supported on . Set the fertility to , so is its total reproduction coefficient. With constant mortality , the corresponding point-delay coefficient is ; compare the renewal convolution with that coefficient times a Lipschitz birth history delayed by .
Verification
Given: The renewal characteristic/Volterra representation and the kernel and birth-history functions defined above.
[F1] Linear age-structured renewal transport problem: mortality survival for duration under constant rate is .
[F2] Characteristic formula and Volterra solution for age renewal transport: the birth rate satisfies a Volterra equation whose renewal convolution is .
Direct integration gives and symmetry about gives . Its second centered moment is .
Let be Lipschitz on and take . The support of is contained in , so the convolution in [F2] is . For each supported , . Since and the kernel has unit mass, .
A finite-width fertility is not an exact delay: set and on the relevant nonnegative interval. By step 1.1, , while the point-delay term is ; their difference is .
Half-size division preserves the discrete biomass budget
Example
Use the disjoint partition , whose last three cell centers are . Take , , , time step , and the half-size daughter kernel . Put mass in the cell centered at size and zero mass in the other cells. Verify one finite-volume division step and its number and weighted-size budget.
Verification
Given: The size-structured model, finite-volume update and exact discrete moment identities.
[F1] Size transport with a nonlocal division kernel: records daughter production and records removal of the dividing parent.
[F2] Finite-volume size transport with positive division quadrature: the mass update uses upwind flux, loss and nonnegative kernel coefficients.
[F3] Size characteristics, positivity, and discrete number and size-moment balances: the number and center-weighted-size balances include flux, total loss and kernel zeroth/first moments.
The parent center lies in the third cell and its daughters have size , exactly the second cell center. Thus the positive midpoint kernel quadrature gives and all other daughter coefficients for the occupied parent column vanish. The CFL number is in cell 1 and in each of cells 2–4, so the global maximum is .
The rightward internal flux from cell into is ; the absorbing boundary flux is . The daughter source is , and parent removal is . Therefore the updated cell masses are , , and , with ; they are all nonnegative.
The discrete number changes from to , an increase equal to . The weighted-size total changes from to . Formula [F3] gives the same increase from transport, while division contributes . Thus the first moment is conserved by division and changes only by the size-growth flux in this step.
Constant mortality with age-localized fertility
Example
Take constant mortality , initial density , and triangular fertility
The fertility is localized to ages . Use cutoff and horizon . Compute the initial birth rate, exhibit the corner incompatibility, and take one positive finite-volume step on a unit age grid with .
Verification
Given: The data above, the characteristic renewal formula and the upwind mass update.
[F1] Linear age-structured renewal transport problem: the inflow is and the initial datum is specified as an function; this example separately uses its right-hand trace at age zero.
[F2] Characteristic formula and Volterra solution for age renewal transport: the old cohort contributes to the Volterra birth equation.
[F3] Finite-volume upwind scheme for age renewal transport: with and .
[F4] Positivity, L1 growth and data stability of the renewal finite-volume step: if , the updated masses remain nonnegative.
The triangle has base length and height , so . The chosen initial density has right-hand trace , which differs from ; hence smooth renewal-corner compatibility fails. The example uses the characteristic/weak formulation rather than assuming that compatibility.
Here , so [F2] gives and . The first formula records the initially present age cohort; the second is the renewal feedback term.
Use cells , each of width , and initial masses . Four-panel composite midpoint quadrature on the second cell samples fertility values , so .
With and , the CFL sum is . The fluxes are , so the first updated mass vector is . Every entry is nonnegative, in agreement with [F4].
A longer run exposes age-cutoff outflow error
Example
Let , initial density , cutoff , and . Compare runs to horizons using the upwind age scheme.
Verification
Given: The finite-volume shift update and cutoff-tail bound.
[F1] Linear age-structured renewal transport problem: with zero mortality and fertility, the exact characteristic solution is .
[F2] Finite-volume upwind scheme for age renewal transport: when and , each cell mass shifts one cell to the right per step and the last-cell flux is discarded as outflow.
[F3] Age-cutoff survival, outflow and infinite-age tail bounds: for , , separately from discretization; cumulative outflow is bounded by the same initial tail without the exponential prefactor.
The exact solution in [F1] has total mass at every . The exact initial cell masses are for .
Since and , [F2] gives and for . After steps, the retained total is , so the error from total mass is .
For , the errors are respectively . The cumulative outflow is , and the initial mass omitted above is . Their sum equals the exact tail in [F3]. The larger error at the longer horizon is the age-cutoff tail, not a time-discretization defect.
Sources
- Benoît Perthame, Introduction to Structured Equations in Biology, full lecture notes
- Åke Brännström, Linus Carlsson, and Daniel Simpson, On the Convergence of the Escalator Boxcar Train
- MATH 373 lecture notes, §8 Approximation of Integrals
- MATH 575 lecture notes, §9 Finite difference methods for the transport equation