Jump to content

Euler–Lotka equation: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Added to category "Integral equations"
 
(33 intermediate revisions by 21 users not shown)
Line 1: Line 1:
In the study of age-structured population growth, probably one of the most important equations is the '''Euler–Lotka equation'''. Based on the age demographic of females in the population and female births (since in many cases it is the females that are more limited in the ability to reproduce), this equation allows for an estimation of how a population is growing.
{{intro missing}}


The field of mathematical [[demography]] was largely developed by [[Alfred J. Lotka]] in the early 20th century, building on the earlier work of [[Leonhard Euler]]. The '''Euler–Lotka equation''', derived and discussed below, is often attributed to either of its origins Euler, who derived a special form in 1760, or Lotka, who derived a more general continuous version.
The field of mathematical [[demography]] was largely developed by [[Alfred J. Lotka]] in the early 20th century, building on the earlier work of [[Leonhard Euler]]. The Euler–Lotka equation, derived and discussed below, is often attributed to either of its origins: Euler, who derived a special form in 1760, or Lotka, who derived a more general continuous version. The equation in discrete time is given by


:<math>1 = \sum_{a = 1}^\omega \lambda^{-a}\ell(a)b(a)</math>
The equation in discrete time is given by


where <math>\lambda</math> is the discrete growth rate, ''ℓ''(''a'') is the fraction of individuals surviving to age ''a'' and ''b''(''a'') is the number of offspring born to an individual of age ''a'' during the time step. The sum is taken over the entire life span of the organism.
:<math>1 = \sum_{a = 1}^\omega \lambda^{-a}\ell(a)b(a)</math>


==Derivations==
Where <math>\lambda</math> is the discrete growth rate, ''ℓ''(''a''), is the fraction of individuals surviving to age ''a'' and ''b''(''a'') is the number of individuals born at time ''a''. The sum is taken over the entire life span of the organism.


==Derivations==
===Lotka's continuous model===
===Lotka's continuous model===

A.J. Lotka in 1911 developed a continuous model of population dynamics as follows. This model tracks only the females in the population.
A.J. Lotka in 1911 developed a continuous model of population dynamics as follows. This model tracks only the females in the population.


Let ''B''(''t'') be the number of births per unit time. Also define the scale factor ''ℓ''(''a''), the fraction of individuals surviving to age ''a''. Finally define ''b''(''a'') to be the number of individuals born in the time step containing&nbsp;''a''.
Let ''B''(''t'')''dt'' be the number of births during the time interval from ''t'' to ''t+dt''. Also define the [[survival function]] ''ℓ''(''a''), the fraction of individuals surviving to age ''a''. Finally define ''b''(''a'') to be the birth rate for mothers of age&nbsp;''a''. The product ''B''(''t-a'')''ℓ''(''a'') therefore denotes the [[number density]] of individuals born at ''t-a'' and still alive at ''t'', while ''B''(''t-a'')''ℓ''(''a'')''b''(''a'') denotes the number of births in this cohort, which suggest the following [[Volterra integral equation]] for&nbsp;''B'':


:<math> B(t) = \int_0^t B(t - a )\ell(a)b(a) \, da.</math>
All of these quantities can be viewed in the [[continuous function| continuous]] limit, producing the following [[integral (math) |integral]] expression for&nbsp;''B'':


We integrate over all possible ages to find the total rate of births at time ''t''. We are in effect finding the contributions of all individuals of age up to ''t''. We need not consider individuals born before the start of this analysis since we can just set the base point low enough to incorporate all of them.
:<math> B(t) = \int_0^t B(t - a )\ell(a)b(a) \, da</math>


Let us then guess an [[Exponential function|exponential]] solution of the form ''B''(''t'') =&nbsp;''Qe''<sup>''rt''</sup>. Plugging this into the integral equation gives:
The integrand gives the number of births ''a'' years in the past multiplied by the number of offspring each of these births can produce. We integrate over all possible years to find the total rate of births at time ''t''. We are in effect finding the contributions of all individuals of age up to ''t''. We need not consider individuals born before the start of this analysis since we can just set the base point low enough to incorporate all of them.

Let us then guess an [[exponential]] solution of the form ''B''(''t'') =&nbsp;''Qe''<sup>''rt''</sup>. Plugging this into the integral equation gives:


:<math>Qe^{rt} = \int_0^t Q e^{r(t - a)}\ell(a)b(a) \, da </math>
:<math>Qe^{rt} = \int_0^t Q e^{r(t - a)}\ell(a)b(a) \, da </math>


or
or


:<math> 1 = \int_0^t e^{-ra}\ell(a)b(a) \, da </math>
:<math> 1 = \int_0^t e^{-ra}\ell(a)b(a) \, da. </math>


This can be rewritten in the [[discrete mathematics |discrete]] case by turning the integral into a sum producing
This can be rewritten in the [[discrete mathematics|discrete]] case by turning the integral into a sum producing


:<math>1 = \sum_{a = \alpha}^\beta e^{-ra}\ell(a)b(a)</math>
:<math>1 = \sum_{a = \alpha}^\beta e^{-ra}\ell(a)b(a)</math>


letting <math>\alpha</math> and <math>\beta</math> be the boundary ages for reproduction or defining the discrete growth rate ''&lambda; =&nbsp;''e''<sup>''r''</sup> we obtain the discrete time equation derived above:
letting <math>\alpha</math> and <math>\beta</math> be the boundary ages for reproduction or defining the discrete growth rate ''λ'' =&nbsp;''e''<sup>''r''</sup> we obtain the discrete time equation derived above:


:<math>1 = \sum_{a = 1}^\omega \lambda^{-a}\ell(a)b(a)</math>
:<math>1 = \sum_{a = 1}^\omega \lambda^{-a}\ell(a)b(a)</math>


where <math>\omega</math> is the maximum age, we can extend these ages since ''b''(''a'') vanishes beyond the boundaries.
where <math>\omega</math> is the maximum age, we can extend these ages since ''b''(''a'') vanishes beyond the boundaries.


===From the Leslie matrix===
===From the Leslie matrix===

Let us write the [[Leslie matrix]] as:
Let us write the [[Leslie matrix]] as:
:<math>\begin{bmatrix}
:<math>\begin{bmatrix}
Line 52: Line 47:
\end{bmatrix}</math>
\end{bmatrix}</math>


Where <math>s_i</math> and <math>f_i</math> are survival to the next age class and per capita fecundity respectively.
where <math>s_i</math> and <math>f_i</math> are survival to the next age class and per capita fecundity respectively. Note that <math>s_i = \ell_{i + 1}/\ell_i</math> where ''ℓ''<sub>&nbsp;''i''</sub> is the probability of surviving to age <math>i</math>, and
Note that <math>s_i = l_{i + 1}/\ell_i</math> where ''ℓ''<sub>&nbsp;''i''</sub> is the probability of surviving to age <math>i</math>, and
<math>f_i = s_ib_{i + 1}</math>, the number of births at age <math>i + 1</math> weighted by the probability of surviving to age <math>i+1</math>.
<math>f_i = s_ib_{i + 1}</math>, the number of births at age <math>i + 1</math> weighted by the probability of surviving to age <math>i+1</math>.


Now if we have stable growth the growth of the system is an [[eigenvalue]] of the [[matrix (math) |matrix]] since <math>\mathbf{n_{i+ 1}} = \mathbf{Ln_i} = \lambda \mathbf{n_i}</math>. Therefore we can use this relationship row by row to derive expressions for <math>n_i</math> in terms of the values in the matrix and <math>\lambda</math>.
Now if we have stable growth the growth of the system is an [[eigenvalue]] of the [[matrix (mathematics)|matrix]] since <math>\mathbf{n_{i+ 1}} = \mathbf{Ln_i} = \lambda \mathbf{n_i}</math>. Therefore, we can use this relationship row by row to derive expressions for <math>n_i</math> in terms of the values in the matrix and <math>\lambda</math>.


Introducing notation <math>n_{i, t}</math> the population in age class <math>i</math> at time <math>t</math>, we have <math>n_{1, t+1} = \lambda n_{1, t}</math>. However also <math>n_{1, t+1} = s_0n_{0, t}</math>. This implies that
Introducing notation <math>n_{i, t}</math> the population in age class <math>i</math> at time <math>t</math>, we have <math>n_{1, t+1} = \lambda n_{1, t}</math>. However also <math>n_{1, t+1} = s_0n_{0, t}</math>. This implies that


:<math>n_{1, t} = \frac{s_0}{\lambda}n_{0, t}. \, </math>
:<math>n_{1, t} = \frac{s_0}{\lambda}n_{0, t}. \, </math>


By the same argument we find that
By the same argument we find that
:<math>n_{2, t} = \frac{s_1}{\lambda}n_{1, t} = \frac{s_0s_1}{\lambda^2}n_{0, t}. </math>
:<math>n_{2, t} = \frac{s_1}{\lambda}n_{1, t} = \frac{s_0s_1}{\lambda^2}n_{0, t}. </math>


Continuing [[mathematical induction | inductively]] we conclude that generally
Continuing [[mathematical induction|inductively]] we conclude that generally


:<math>n_{i, t} = \frac{s_0\cdots s_{i - 1}}{\lambda^i}n_{0, t}. </math>
:<math>n_{i, t} = \frac{s_0\cdots s_{i - 1}}{\lambda^i}n_{0, t}. </math>


Considering the top row, we get
Considering the top row, we get


:<math>n_{0, t+ 1} = f_0n_{0, t} + \cdots + f_{\omega- 1}n_{\omega - 1, t} = \lambda n_{0, t}.</math>
:<math>n_{0, t+ 1} = f_0n_{0, t} + \cdots + f_{\omega- 1}n_{\omega - 1, t} = \lambda n_{0, t}.</math>


Now we may substitute our previous work for the <math>n_{i, t}</math> terms and obtain:
Now we may substitute our previous work for the <math>n_{i, t}</math> terms and obtain:
Line 81: Line 75:
:<math>1 = \frac{s_0b_1}{\lambda} + \frac{s_0s_1b_2}{\lambda^2} + \cdots + \frac{s_0\cdots s_{\omega - 1}b_{\omega}}{\lambda^{\omega}}. </math>
:<math>1 = \frac{s_0b_1}{\lambda} + \frac{s_0s_1b_2}{\lambda^2} + \cdots + \frac{s_0\cdots s_{\omega - 1}b_{\omega}}{\lambda^{\omega}}. </math>


Now we note the following simplification. Since <math>s_i = \ell_{i + 1}/l_i</math> we note that
Now we note the following simplification. Since <math>s_i = \ell_{i + 1}/\ell_i</math> we note that


:<math>s_0\ldots s_i = \frac{l_1}{l_0}\frac{l_2}{l_1}\cdots\frac{l_{i + 1}}{l_i} = l_{i + 1}. </math>
:<math>s_0\ldots s_i = \frac{\ell_1}{\ell_0}\frac{\ell_2}{\ell_1}\cdots\frac{\ell_{i + 1}}{\ell_i} = \ell_{i + 1}. </math>


This sum collapses to:
This sum collapses to:


:<math>\sum_{i = 1}^\omega \frac{\ell_ib_i}{\lambda^i} = 1. </math>
:<math>\sum_{i = 1}^\omega \frac{\ell_ib_i}{\lambda^i} = 1, </math>


Which is the desired result.
which is the desired result.


==Analysis of expression==
==Analysis of expression==
From the above analysis we see that the the Euler-Lotka equation is in fact the [[characteristic polynomial]] of the Leslie matrix. We can analyze its solutions to find information about the eigenvalues of the Leslie matrix (which has implications for the stability of populations).
From the above analysis we see that the Euler–Lotka equation is in fact the [[characteristic polynomial]] of the Leslie matrix. We can analyze its solutions to find information about the eigenvalues of the Leslie matrix (which has implications for the stability of populations).


Considering the continuous expression ''f'' as a function of ''r'', we can examine its roots. We notice that at negative infinity the function grows to positive infinity and at positive infinity the function approaches&nbsp;0.
Considering the continuous expression ''f'' as a function of ''r'', we can examine its roots. We notice that at negative infinity the function grows to positive infinity and at positive infinity the function approaches&nbsp;0.


The first [[derivative]] is clearly &minus;''af'' and the second derivative is ''a''<sup>2</sup>''f''. This function is then decreasing, concave up and takes on all positive values. It is also continuous by construction so by the intermediate value theorem, it crosses <math>r = 1</math> exactly once. Therefore there is exactly one real solution, which is therefore the dominant eigenvalue of the matrix the equilibrium growth rate.
The first [[derivative]] is clearly ''af'' and the second derivative is ''a''<sup>2</sup>''f''. This function is then decreasing, concave up and takes on all positive values. It is also continuous by construction so by the intermediate value theorem, it crosses ''r''&nbsp;=&nbsp;1 exactly once. Therefore, there is exactly one real solution, which is therefore the dominant eigenvalue of the matrix the equilibrium growth rate.


This same derivation applies to the discrete case.
This same derivation applies to the discrete case.


==Relationship to replacement rate of populations==
==Relationship to replacement rate of populations==
If we let <math>\lambda = 1</math> the discrete formula becomes the [[replacement rate]] of the population.
If we let ''λ''&nbsp;=&nbsp;1 the discrete formula becomes the [[replacement rate]] of the population.

==Bibliography==


==Further reading==
* Kot, M. (2001) ''Elements of Mathematical Ecology'', Cambridge. [[Cambridge University Press]].
* {{cite book |last=Coale |first=Ansley J. |author-link=Ansley J. Coale |title=The Growth and Structure of Human Populations |location=Princeton |publisher=Princeton University Press |year=1972 |isbn=0-691-09357-1 |pages=61–70 }}
* {{cite book |last=Hoppensteadt |first=Frank |author-link=Frank Hoppensteadt |title=Mathematical Theories of Populations : Demographics, Genetics and Epidemics |location=Philadelphia |publisher=SIAM |year=1975 |isbn=0-89871-017-0 |pages=1–5 }}
* {{cite book |last=Kot |first=M. |year=2001 |title=Elements of Mathematical Ecology |location=Cambridge |publisher=[[Cambridge University Press]] |isbn=0-521-80213-X |pages=353–64 |chapter=The Lotka integral equation |chapter-url=https://books.google.com/books?id=7_IRlnNON7oC&pg=PA353 }}
*{{cite book |last=Pollard |first=J. H. |year=1973 |title=Mathematical models for the growth of human populations |location= |publisher=Cambridge University Press |isbn=0-521-20111-X |chapter=The deterministic population models of T. Malthus, A. J. Lotka, and F. R. Sharpe and A. J. Lotka |pages=22–36 }}


{{Leonhard Euler}}
{{DEFAULTSORT:Euler-Lotka Equation}}
[[Category:Demography]]
[[Category:Demography]]
[[Category:Leonhard Euler]]
[[Category:Integral equations]]

Latest revision as of 00:03, 12 May 2023

In the study of age-structured population growth, probably one of the most important equations is the Euler–Lotka equation. Based on the age demographic of females in the population and female births (since in many cases it is the females that are more limited in the ability to reproduce), this equation allows for an estimation of how a population is growing.

The field of mathematical demography was largely developed by Alfred J. Lotka in the early 20th century, building on the earlier work of Leonhard Euler. The Euler–Lotka equation, derived and discussed below, is often attributed to either of its origins: Euler, who derived a special form in 1760, or Lotka, who derived a more general continuous version. The equation in discrete time is given by

where is the discrete growth rate, (a) is the fraction of individuals surviving to age a and b(a) is the number of offspring born to an individual of age a during the time step. The sum is taken over the entire life span of the organism.

Derivations

[edit]

Lotka's continuous model

[edit]

A.J. Lotka in 1911 developed a continuous model of population dynamics as follows. This model tracks only the females in the population.

Let B(t)dt be the number of births during the time interval from t to t+dt. Also define the survival function (a), the fraction of individuals surviving to age a. Finally define b(a) to be the birth rate for mothers of age a. The product B(t-a)(a) therefore denotes the number density of individuals born at t-a and still alive at t, while B(t-a)(a)b(a) denotes the number of births in this cohort, which suggest the following Volterra integral equation for B:

We integrate over all possible ages to find the total rate of births at time t. We are in effect finding the contributions of all individuals of age up to t. We need not consider individuals born before the start of this analysis since we can just set the base point low enough to incorporate all of them.

Let us then guess an exponential solution of the form B(t) = Qert. Plugging this into the integral equation gives:

or

This can be rewritten in the discrete case by turning the integral into a sum producing

letting and be the boundary ages for reproduction or defining the discrete growth rate λer we obtain the discrete time equation derived above:

where is the maximum age, we can extend these ages since b(a) vanishes beyond the boundaries.

From the Leslie matrix

[edit]

Let us write the Leslie matrix as:

where and are survival to the next age class and per capita fecundity respectively. Note that where  i is the probability of surviving to age , and , the number of births at age weighted by the probability of surviving to age .

Now if we have stable growth the growth of the system is an eigenvalue of the matrix since . Therefore, we can use this relationship row by row to derive expressions for in terms of the values in the matrix and .

Introducing notation the population in age class at time , we have . However also . This implies that

By the same argument we find that

Continuing inductively we conclude that generally

Considering the top row, we get

Now we may substitute our previous work for the terms and obtain:

First substitute the definition of the per-capita fertility and divide through by the left hand side:

Now we note the following simplification. Since we note that

This sum collapses to:

which is the desired result.

Analysis of expression

[edit]

From the above analysis we see that the Euler–Lotka equation is in fact the characteristic polynomial of the Leslie matrix. We can analyze its solutions to find information about the eigenvalues of the Leslie matrix (which has implications for the stability of populations).

Considering the continuous expression f as a function of r, we can examine its roots. We notice that at negative infinity the function grows to positive infinity and at positive infinity the function approaches 0.

The first derivative is clearly −af and the second derivative is a2f. This function is then decreasing, concave up and takes on all positive values. It is also continuous by construction so by the intermediate value theorem, it crosses r = 1 exactly once. Therefore, there is exactly one real solution, which is therefore the dominant eigenvalue of the matrix the equilibrium growth rate.

This same derivation applies to the discrete case.

Relationship to replacement rate of populations

[edit]

If we let λ = 1 the discrete formula becomes the replacement rate of the population.

Further reading

[edit]
  • Coale, Ansley J. (1972). The Growth and Structure of Human Populations. Princeton: Princeton University Press. pp. 61–70. ISBN 0-691-09357-1.
  • Hoppensteadt, Frank (1975). Mathematical Theories of Populations : Demographics, Genetics and Epidemics. Philadelphia: SIAM. pp. 1–5. ISBN 0-89871-017-0.
  • Kot, M. (2001). "The Lotka integral equation". Elements of Mathematical Ecology. Cambridge: Cambridge University Press. pp. 353–64. ISBN 0-521-80213-X.
  • Pollard, J. H. (1973). "The deterministic population models of T. Malthus, A. J. Lotka, and F. R. Sharpe and A. J. Lotka". Mathematical models for the growth of human populations. Cambridge University Press. pp. 22–36. ISBN 0-521-20111-X.