Definition · The SIR model without the recoveredWith S susceptible and I infected fractions, S′ = −β·S·I and I′ = β·S·I − γ·I, with β the transmission rate and γ the recovery rate.
The assumptions are named: a fixed population, everyone mixing equally, immunity after recovery, no births and deaths. The basic reproduction number at the start is R₀ = β·S₀/γ.
S′ = −β·S·I
I′ = β·S·I − γ·I
R₀ = β·S₀/γ
Take β = 1/2, γ = 1/4, and start at S₀ = 9/10, I₀ = 1/10. Then R₀ = (1/2)·(9/10)/(1/4) = 9/5, greater than 1. The factor β·S − γ in I′ = I·(β·S − γ) is positive while S > γ/β = 1/2, so I rises. It is zero at S = 1/2, and negative after, so I peaks exactly when S reaches 1/2. The lab prints this as R₀ = 9/5; I peaks at S = 1/2.
Example · A start below the thresholdRaise the recovery rate to γ = 1 with the same β and start. Then R₀ = (1/2)·(9/10)/1 = 9/20 < 1, and the peak would be at S = γ/β = 2, which S never reaches. The factor β·S − γ is negative from the start, so I falls at once. The lab prints that I falls from the start.
The same disease with a faster recovery never takes off, which is what the single number R₀ is for.
Every point (S, 0) is an equilibrium, because both rates have a factor I. At (9/10, 0) the Jacobian has rows 0 −9/20 and 0 1/5, so the determinant is zero, the trace is 1/5, and the roots are 0 and 1/5. The positive root is the outbreak: a few infected at S = 9/10 start to grow. The lab's type tile reads non-isolated equilibria, which here means a line, not a point. Switch the grid search on and the status line reports found 65, every one of them on the line I = 0: that is the grid's own count, and the true number is infinite.
Theorem · Why the epidemic ends with susceptibles leftAlong every solution, S + I − (γ/β)·ln S is constant.
Call the quantity W = S + I − (γ/β)·ln S and differentiate it along a solution. The term ln S changes at the rate S′/S, which is −β·I, by the rate of ln and the chain rule exactly as “Predator and Prey” used them.
W′ = S′ + I′ − (γ/β)·S′/S = −β·S·I + (β·S·I − γ·I) + γ·I.
The terms cancel in pairs, so the quantity is constant. If S tended to 0, then −(γ/β)·ln S would grow without limit while S and I stay between 0 and 1, and the constant could not hold. So S stays above zero.
□
That is the correct reason an epidemic ends. The infected decline once S has fallen below γ/β, because each infected person then passes the disease to fewer than one other before recovering, and I runs down to zero. A positive fraction of the population is never infected. The drawn trajectory in the lab shows S levelling off above zero; it is floating point, and the argument is the conserved quantity.