8.01h, 8.01i - Modelling with recurrence relations
Turn descriptions of births, deaths, arrivals and delayed effects into recurrence systems, and interpret what their solutions predict. In 8.01h you will build first-order models and use the integer-part function for individual counts; in 8.01i you will extend the modelling to second-order systems, including nonlinear rules and their limitations.
Births, deaths and the order of events
A model predicts that a population approaches , but keeping whole individuals at every update makes it settle at . How can the same growth rule produce those two forecasts? Rounding is itself part of a discrete model; you will investigate it after building the underlying rules.
Let be the population at a specified census time, with counting equal time intervals. Births and deaths must refer to a stated population and a stated interval. A fraction of the current population differs from a fixed number removed each year.
You already know
A recurrence system needs its initial value or values and the range of . Linear systems can be solved by complementary functions and particular solutions. A steady state remains unchanged by the update; solving its equation alone does not prove convergence.
Suppose births during an interval are modelled as , deaths as , and individuals arrive after those changes. Then the next census is
This assumes both rates act on the starting population. If births or arrivals happen before the population used for deaths is counted, the formula must reflect that different timing.
A discrete population model
A discrete population model predicts counts at separate census times by an update rule. Rates such as and are fractions per interval; is a count per interval. A deterministic real-valued output can represent an approximate or average population, but cannot be an exact count of indivisible individuals. The birth-and-death update above is not in the formula booklet: construct it from the stated assumptions.
Write down what is counted at the start and what happens before the next count. That timeline prevents a percentage from being applied to the wrong total.
Worked example 1: arrivals after the population change
Question. A population starts at . During each year, births and deaths are modelled as and of the population at the start of the year. Then individuals are added. Form a recurrence system, solve it and find its long-term prediction.
Plan. Combine the two rates on the starting population, add the arrivals, then solve the linear system.
Why this step? The arrivals occur after the percentage changes, so they are not reduced by that year's net loss.
Answer. , so the model predicts a population approaching .
Check. , ; both agree with direct updates, and the closed form proves convergence since .
The next example changes only the timing of the arrivals. The rates now act on the enlarged starting population.
Worked example 2: arrivals before the population change
Question. Use the same initial population and rates, but add the individuals before applying that year's births and deaths. Form and solve the new system, and find its long-term prediction.
Plan. Put the arrivals inside the population to which the net factor is applied.
Why this step? Those arriving now experience the same year's net reduction, so their contribution to the next census is , not .
Answer. , approaching .
Check. , . The different timing changes the limiting forecast by .
These model solutions are not in the formula booklet: derive them from the description. Constant rates and unchanged conditions are assumptions; crowding, varying food supply or a changing arrival policy may require a different update.
Watch out
Wrong: interpret a death rate as subtracting individuals. Right: subtract when the rate applies to the population . A fixed removal and a percentage removal are different models.
State your population's census time before writing a formula; the same words can otherwise conceal different event orders.
Density dependence and competing steady states
A fixed percentage growth model can increase without bound. A density-dependent rate lets the change depend on how crowded the population already is.
For example, has increment : it is positive below and negative above , while positive populations are considered. A sign of the increment gives direction; a bound is still needed to prevent overshooting.
Density-dependent growth
A density-dependent model has a per-individual growth or survival contribution that changes with population size. A term such as , for , reduces growth more strongly at larger populations. Such a rule is nonlinear and need not have the linear closed forms from earlier lessons. Particular density-dependent formulae are not in the formula booklet: interpret the model supplied.
When there is more than one steady state, use the initial condition and the behaviour of the updates to select the one reached. A quadratic equation does not make both roots valid long-term predictions for the same initial population.
Worked example 3: growth towards a positive steady state
Question. A model is , . Show that the population increases towards .
Plan. Find the steady states, then show each update stays below while increasing.
For ,
Thus an update from stays in that interval and is larger than its input. Starting at , the sequence is increasing and bounded above, so it converges. Its limit is at least , excluding .
Why this step? The second inequality rules out an overshoot; the direction of the first increment alone would not prove the entire sequence increases.
Answer. The model converges monotonically to .
Check. , , consistent with the proved bound and direction.
The next example changes only the policy: individuals are removed after each update. This creates two positive steady states.
Worked example 4: selecting between two positive roots
Question. The modified model is , . Show that the population decreases towards .
Plan. Find both candidate limits, then keep the sequence above the larger root while showing it decreases.
Writing ,
Each update stays above and below its previous value, so the sequence converges to a limit at least . Of the candidates, only is possible.
Why this step? The lower bound selects the larger root; listing and would not decide the model's prediction.
Answer. The model decreases monotonically to .
Check. , between and .
The same initial population now lies above the new equilibrium, so the direction reverses. Both limit arguments and factorisations are not in the formula booklet: construct them for the given model.
Watch out
Wrong: solve the fixed-point equation and choose whichever root looks realistic. Right: connect a root to the initial population using a justified interval and direction, or the convergence information supplied in the question.
Population rules may give negative outputs outside the region for which they were designed. That reveals a limitation of the model, rather than a meaningful negative number of organisms.
Integer-part updates for whole individuals
Keeping a whole-number population means changing the update itself, rather than rounding the final real-valued answer.
For non-negative , is the integer part of : for example, , while . It rounds down for the non-negative quantities used here; it does not round to the nearest integer.
An integer-part update
For non-negative ,
where is an integer. In an integer recurrence, use each rounded output as the input to the next update.
Not in the formula booklet: learn it.
Rounding may be appropriate for a rule that retains whole survivors, but it can bias a forecast downwards. The rounding convention is a modelling assumption, not a claim that rounding down is always the most accurate biological description.
Worked example 5: rounding changes the limiting count
Question. Compare with . Find the limiting prediction of each.
Plan. Solve the real-valued linear model; iterate the integer model until a value repeats.
Once maps to itself, every later integer-model value is .
Why this step? The second integer update uses , not the real-valued first output . Rounding after completing the real-valued iteration would describe a different sequence.
Answer. The real-valued model tends to ; the integer model becomes constant at .
Check. , whose integer part is .
The next example changes only the initial count. Unlike the real-valued model, the integer model need not reach the same steady state.
Worked example 6: several integer steady states
Question. Start both models instead at . Find their limiting predictions and identify every non-negative integer steady state of the integer model.
Plan. Check the first integer update, then express the fixed-point condition using the defining inequalities for .
Why this step? An integer value remains fixed whenever the unrounded output lies anywhere from that value up to, but not including, the next integer.
Answer. The limits are and , respectively. The integer steady states are .
Check. At , the output is exactly ; at , the output is , so is not fixed.
Continue this lesson.
You’re previewing NovaLearn without an account. Create a free account to read the rest.
Create free account