Alphabeta Math
Pipeline-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.

Renewal age and size structured numerical methods — Examples

1 · Prerequisites

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

ExampleConstruction: AI-generatedVerification: AI-generatedOpen item page →

A narrow maturation kernel approaches a delayed birth term

Example

Fix a finite horizon T≥a∗+ε, a∗>0, R>0, and 0<ε<a∗. Let

ρε(a)=1ε(1−∣a−a∗∣ε)+,

where x+=max⁡{x,0}. This is a normalized triangular profile supported on [a∗−ε,a∗+ε]. Set the fertility to βε(a):=Rρε(a), so R is its total reproduction coefficient. With constant mortality μ=m≥0, the corresponding point-delay coefficient is Re−ma∗; compare the renewal convolution with that coefficient times a Lipschitz birth history delayed by a∗.

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 a under constant rate m is e−ma.

[F2] Characteristic formula and Volterra solution for age renewal transport: the birth rate satisfies a Volterra equation whose renewal convolution is ∫0tβ(a)S(0,a)B(t−a) da.

1.1givenalgebra

Direct integration gives ∫ρε(a) da=1 and symmetry about a∗ gives ∫aρε(a) da=a∗. Its second centered moment is ∫(a−a∗)2ρε(a) da=ε2/6.

2.1F1F2step 1.1algebra

Let b be Lipschitz on [0,T] and take t≥a∗+ε. The support of ρε is contained in [0,t], so the convolution in [F2] is Hε(t)=R∫ρε(a)e−mab(t−a) da. For each supported a, ∣e−mab(t−a)−e−ma∗b(t−a∗)∣≤(Lip⁡(b)+m∥b∥∞)∣a−a∗∣. Since ∣a−a∗∣≤ε and the kernel has unit mass, ∣Hε(t)−Re−ma∗b(t−a∗)∣≤Rε(Lip⁡(b)+m∥b∥∞).

3.1step 1.1step 2.1algebra∎

A finite-width fertility is not an exact delay: set m=0 and b(s)=s2 on the relevant nonnegative interval. By step 1.1, Hε(t)=R((t−a∗)2+ε2/6), while the point-delay term is Rb(t−a∗)=R(t−a∗)2; their difference is Rε2/6>0.

ExampleConstruction: AI-generatedVerification: AI-generatedOpen item page →

Half-size division preserves the discrete biomass budget

Example

Use the disjoint partition [0,0.5),[0.5,1.5),[1.5,2.5),[2.5,3.5], whose last three cell centers are 1,2,3. Take g=0.1, μ=0, γ=1, time step Δt=0.1, and the half-size daughter kernel Ky=2γ(y)δy/2. Put mass 3 in the cell centered at size 2 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: Ky 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.

1.1F1F2constructalgebra

The parent center 2 lies in the third cell and its daughters have size 1, exactly the second cell center. Thus the positive midpoint kernel quadrature gives A2,3=2 and all other daughter coefficients for the occupied parent column vanish. The CFL number is 0.1(0.1/0.5+1)=0.12 in cell 1 and 0.1(0.1/1+1)=0.11 in each of cells 2–4, so the global maximum is 0.12≤1.

2.1F2step 1.1algebra

The rightward internal flux from cell C3 into C4 is F3=gM3/h3=0.3; the absorbing boundary flux is F4=0. The daughter source is ΔtA2,3M3=0.6, and parent removal is ΔtγM3=0.3. Therefore the updated cell masses are M2′=0.6, M3′=3−0.03−0.3=2.67, and M4′=0.03, with M1′=0; they are all nonnegative.

3.1F1F3step 2.1algebra∎

The discrete number changes from 3 to 0.6+2.67+0.03=3.3, an increase 0.3 equal to Δt(2−1)γM3. The weighted-size total changes from 2⋅3=6 to 1⋅0.6+2⋅2.67+3⋅0.03=6.03. Formula [F3] gives the same 0.03 increase from transport, while division contributes Δt(2⋅1−2⋅1)M3=0. Thus the first moment is conserved by division and changes only by the size-growth flux in this step.

ExampleConstruction: AI-generatedVerification: AI-generatedOpen item page →

Constant mortality with age-localized fertility

Example

Take constant mortality μ(a)=1, initial density n0=1[1,2], and triangular fertility

β(a)=max⁡{1−2∣a−3/2∣,0}.

The fertility is localized to ages [1,2]. Use cutoff A=4 and horizon T=1/4. Compute the initial birth rate, exhibit the corner incompatibility, and take one positive finite-volume step on a unit age grid with Δt=1/4.

Verification

Given: The data above, the characteristic renewal formula and the upwind mass update.

[F1] Linear age-structured renewal transport problem: the inflow is B(t)=∫0∞β(a)n(t,a) da and the initial datum is specified as an L1 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 G(t)=∫0∞β(x+t)S(x,t)n0(x) dx to the Volterra birth equation.

[F3] Finite-volume upwind scheme for age renewal transport: Mjk+1=Mjk−Δt(Fjk−Fj−1k)−ΔtμjMjk with F0=Bh and Fj=Mj/Δa.

[F4] Positivity, L1 growth and data stability of the renewal finite-volume step: if Δt/Δa+Δtμ∞≤1, the updated masses remain nonnegative.

1.1F1algebra

The triangle has base length 1 and height 1, so B(0)=∫12β(a) da=1/2. The chosen initial density has right-hand trace n0(0+)=0, which differs from B(0); hence smooth renewal-corner compatibility fails. The example uses the characteristic/weak formulation rather than assuming that compatibility.

1.2F2algebra

Here S(x,t)=e−t, so [F2] gives G(t)=e−t∫12β(x+t) dx and B(t)=G(t)+∫0tβ(a)e−aB(t−a) da. The first formula records the initially present age cohort; the second is the renewal feedback term.

1.3F1constructalgebra

Use cells [0,1],[1,2],[2,3],[3,4], each of width 1, and initial masses (0,1,0,0). Four-panel composite midpoint quadrature on the second cell samples fertility values 1/4,3/4,3/4,1/4, so Bh0=(1/4)(1/4+3/4+3/4+1/4)=1/2.

2.1F3F4step 1.3algebra∎

With λ=Δt/Δa=1/4 and μjΔt=1/4, the CFL sum is 1/2. The fluxes are F0=1/2,F1=0,F2=1,F3=0,F4=0, so the first updated mass vector is (1/8,1/2,1/4,0). Every entry is nonnegative, in agreement with [F4].

ExampleConstruction: AI-generatedVerification: AI-generatedOpen item page →

A longer run exposes age-cutoff outflow error

Example

Let μ=β=0, initial density n0(a)=e−a, cutoff A=4, and Δa=Δt=1. Compare runs to horizons T=1,2,3 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 n(t,a)=e−(a−t)1a≥t.

[F2] Finite-volume upwind scheme for age renewal transport: when λ=1 and μ=0, 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 A>T, sup⁡0≤t≤T∥n(t)−nA(t)∥1≤2eβ∞T∫A−T∞n0(a) da, separately from discretization; cumulative outflow is bounded by the same initial tail without the exponential prefactor.

1.1F1algebra

The exact solution in [F1] has total mass ∫t∞e−(a−t)da=1 at every t. The exact initial cell masses are Mj0=e−(j−1)−e−j for 1≤j≤4.

2.1F2step 1.1algebra

Since λ=1 and μ=0, [F2] gives M1k+1=0 and Mjk+1=Mj−1k for 2≤j≤4. After k steps, the retained total is ∑j=14−kMj0=1−e−(4−k), so the error from total mass 1 is e−(4−k).

3.1F3step 2.1algebra∎

For T=k=1,2,3, the errors are respectively e−3,e−2,e−1. The cumulative outflow is ∑r=0k−1M4−r0=e−(4−k)−e−4, and the initial mass omitted above A is e−4. Their sum equals the exact tail ∫4−k∞e−ada=e−(4−k) in [F3]. The larger error at the longer horizon is the age-cutoff tail, not a time-discretization defect.

Sources