\documentclass[12pt,titlepage]{article}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}
%----Macros----------
%
% Unresolved issues:
%
% \righttoleftarrow
% \lefttorightarrow
%
% \color{} with HTML colorspec
% \bgcolor
% \array with options (without options, it's equivalent to the matrix environment)
% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}
% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.
% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother
% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
\ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
\else \append@sup#2 \@suptrue \fi%
\expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
\reset@sup\mk@scripts#3_/}
\makeatother
% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
\@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
\copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother
% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
% http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}
% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}
% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}
% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}
% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
<-6> MnSymbolE5
<6-7> MnSymbolE6
<7-8> MnSymbolE7
<8-9> MnSymbolE8
<9-10> MnSymbolE9
<10-12> MnSymbolE10
<12-> MnSymbolE12}{}
% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
\let#1=\undefined
\DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother
% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
\if\relax\noexpand#1%
\let#1\undefined
\fi
\DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother
% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
\setbox\z@\hbox{\m@th$#1#2$}%
\setbox\tw@\hbox{\m@th$#1%
\widehat{%
\vrule\@width\z@\@height\ht\z@
\vrule\@height\z@\@width\wd\z@}$}%
\dp\tw@-\ht\z@
\@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
\setbox\tw@\hbox{%
\raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
{\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother
% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter
% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother
%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}
%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}
% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}
%-------------------------------------------------------------------
\begin{document}
%-------------------------------------------------------------------
\section*{Quantitative ecology}
\hypertarget{contents}{}\section*{{Contents}}\label{contents}
\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{example}{Example}\dotfill \pageref*{example} \linebreak
\noindent\hyperlink{PredatorPreyModel}{Predator-prey model}\dotfill \pageref*{PredatorPreyModel} \linebreak
\noindent\hyperlink{References}{References}\dotfill \pageref*{References} \linebreak
\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}
\textbf{Quantitative ecology} is the application of mathematical and statistical tools to problems in the field of ecology.
\hypertarget{example}{}\subsection*{{Example}}\label{example}
\hypertarget{PredatorPreyModel}{}\subsubsection*{{Predator-prey model}}\label{PredatorPreyModel}
Suppose we have some rabbits that reproduce endlessly, with their numbers growing at a rate proportional to their population. Let $x(t)$ be the number of animals at time $t$. Then we have:
\begin{displaymath}
\frac{d x}{d t} = r x
\end{displaymath}
where $r$ is the growth rate. This equation gives exponential growth: it has solutions of the form
\begin{displaymath}
x(t) = x_0 e^{r t}
\end{displaymath}
To get a slightly more realistic model, we can add `limits to growth'. Instead of a constant growth rate, let's try a growth rate that decreases as the population increases. Let's say it decreases in a linear way, and drops to zero when the population hits some value $K$. Then we have
\begin{displaymath}
\frac{d x}{d t} = r (1-x/K) x
\end{displaymath}
This is called the . $K$ is known as the \href{http://en.wikipedia.org/wiki/Carrying_capacity}{Carrying capacity}. The idea is that the environment has enough resources to support this population. If the population is less than the carrying capacity, it'll grow; if it's more, it'll shrink.
One can solve the logistic equation by hand by separating the variables and integrating both sides; it's a standard exercise in calculus. The solutions are called , and they look sort of like this:
The above graph shows the simplest solution:
\begin{displaymath}
x = \frac{e^t}{e^t + 1}
\end{displaymath}
of the simplest logistic equation:
\begin{displaymath}
\frac{ d x}{d t} = (1 - x)x
\end{displaymath}
Here the carrying capacity is 1. Populations less than 1 sound a bit silly, so think of it as 1 million rabbits. You can see how the solution starts out growing almost exponentially and then levels off. There's a very different-looking solution where the population starts off above the carrying capacity and decreases. There's also an unrealistic solution involving negative populations. But whenever the population starts out positive, it approaches the carrying capacity.
The solution where the population just stays at the carrying capacity:
\begin{displaymath}
x = 1
\end{displaymath}
is called a \textbf{stable equilibrium}, because it's constant in time and nearby solutions approach it.
But now let's introduce another species: some wolves, which eat the rabbits. Let $x$ be the number of rabbits, and $y$ the number of wolves. Before the rabbits meet the wolves, let's assume they obey the logistic equation:
\begin{displaymath}
\frac{ d x}{d t} = x(1-x/K)
\end{displaymath}
And before the wolves meet the rabbits, let's assume they obey this equation:
\begin{displaymath}
\frac{ d y}{d t} = -y
\end{displaymath}
so that their numbers would decay exponentially to zero if there were nothing to eat.
So far it's not very interesting. But now let's include a term that describes how predators eat prey. Let's say that on top of the above effect, the predators grow in numbers, and the prey decrease, at a rate proportional to:
\begin{displaymath}
x y/(1+x).
\end{displaymath}
For small numbers of prey and predators, this means that predation increases nearly linearly with both $x$ and $y$. But if you have one wolf surrounded by a million rabbits, the rate at which it eats rabbits won't double if you double the number of rabbits! So, this formula includes a limit on predation as the number of prey increases.
For example, let's consider these equations:
\begin{displaymath}
\frac{ d x}{d t} = x(1-x/K) - 4x y/(x+1)
\end{displaymath}
and
\begin{displaymath}
\frac{ d y}{d t} = -y + 2x y/(x+1)
\end{displaymath}
The constants 4 and 2 here have been chosen for simplicity rather than realism.
Before we plunge ahead and solve these equations numerically, let's see what we can do by hand. Setting $d x/d t = 0$ gives the interesting parabola
\begin{displaymath}
y = \frac{1}{4}(1-x/K)(x+1)
\end{displaymath}
together with the boring line $x = 0$. (If you start with no rabbits, that is how it will stay.)
Setting $d y/d t = 0$ gives the interesting line
\begin{displaymath}
x=1
\end{displaymath}
together with the boring line $y = 0$. (If you start with no wolves, that's how it will stay.)
The interesting parabola and the interesting line separate the $x y$ plane into four parts, so these curves are called \href{http://en.wikipedia.org/wiki/Separatrix}{separatrices}. They meet at the point
\begin{displaymath}
y = \frac{1 - 1/K}{2}
\end{displaymath}
which of course is an equilibrium, since $d x / d t = d y / d t = 0$ there. But when $K \lt 1$ this equilibrium occurs at a negative value of $y$, and negative populations make no sense.
So, if $K \lt 1$ there is no equilibrium population, and with a bit more work one can see the problem: the predators die out. For larger values of $K$ there is an equilibrium. But the nature of this equilibrium depends on $K$: that's the interesting part. We could figure this out analytically, but first look at two of Graham's plots. Here's a solution when $K = 2.5$:
The grey lines are the separatrices. The red curve shows a solution of the equations, with the numbers showing the passage of time. So, you can see that the solution spirals in towards the equilibrium. That's what you expect of a stable equilibrium.
Here's a picture when $K = 3.5$:
The red and blue curves are two solutions, again numbered to show how time passes. The red curve spirals in towards the dotted grey curve. The blue one spirals out towards it. The grey curve is also a solution. It's called a \textbf{stable limit cycle} because it's periodic, and nearby solutions move closer and closer to it.
With a bit more work, we can show analytically that whenever $1 \lt K \lt 3$ there is a stable equilibrium, and when $K \gt 3$ there is a limit cycle. As we turn up $K$, when $K$ hits 3 the stable equilibrium suddenly becomes a tiny stable limit cycle. This is a [[Hopf bifurcation]].
Now, what if we add noise? Where we before had a stable equilibrium, we now can get irregular cycles --- because the noise keeps pushing the solution away from the equilibrium! The next picture shows a solution in $K=2.5$ case, with white noise added:
The following graph shows a longer run in the noisy $K=2.5$ case, with rabbits ($x$) in black and wolves ($y$) in gray:
There is irregular periodicity --- and as you'd expect, the predators tends to lag behind the prey. A burst in the rabbit population causes a rise in the wolf population; a crash in rabbits causes a crash in wolves.
This sort of phenomenon is actually seen in nature sometimes. The most famous case involves the snowshoe hare and the lynx in Canada. It was first noted by MacLulich:
\begin{itemize}%
\item D. A. MacLulich, Fluctuations in the Numbers of the Varying Hare (), University of Toronto Studies Biological Series , University of Toronto Press, Toronto, 1937.
\end{itemize}
The is also known as the ``varying hare'', because its coat varies in color quite dramatically. In the summer it looks like this:
In the winter it looks like this:
The is an impressive creature:
But they only weigh 8-11 kilograms, nothing like a tiger or lion.
The Canada lynx rely for the snowshoe hare for 60\% to 97\% of their diet. This could be why the hare has evolved such magnificent protective coloration. This is also why their populations are tightly coupled. They rise and crash in irregular cycles that look a bit like what we saw in our simplified model:
This cycle looks a bit more strongly periodic than the graph we saw above, so to fit this data, we might want to choose parameters that give a limit cycle rather than a stable equilibrium.
Of course, everything about population biology is vastly more complicated than the simple models discussed so far. Some obvious complications include:
\begin{itemize}%
\item the population of animals changes discretely rather than continuously;
\item animals move around in space, so a detailed model might consider a density of animals depending on location, rather than the mere number of animals.
\end{itemize}
More specific complications include:
\begin{itemize}%
\item snowshoe hare breed in the spring, and their diet varies dramatically over the course of year;
\item the lynx also eat rodents and birds, sometimes deer, and also carrion when it's available;
\item the hare will eat dead mice and even dead hare when they're available;
\item the lynx can control the size of their litter depending on the abundance of food.
\end{itemize}
And all these facts are probably just the tip of the iceberg. So, it's best to think of models here as crude caricatures designed to illustrate a few features of a very complex system.
\hypertarget{References}{}\subsection*{{References}}\label{References}
A preliminary version of the above article appears as a blog post based on Graham Jones' work here in the Azimuth Library:
\begin{itemize}%
\item John Baez, \href{http://johncarlosbaez.wordpress.com/2011/02/17/this-weeks-finds-week-309/}{This Week's Finds (Week 309)}.
\end{itemize}
The R code used to simulate the predator-prey model discussed above is available here on the Azimuth Library: [[r-code-for-predator-prey.r:file]].
For more, start with the Wikipedia article:
\begin{itemize}%
\item \href{http://en.wikipedia.org/wiki/Quantitative_ecology}{Quantitative ecology}, Wikipedia.
\end{itemize}
Some introductory textbooks include:
\begin{itemize}%
\item \href{http://www.faculty.uci.edu/profile.cfm?faculty_id=5261}{Michael R. Rose}, \emph{Quantitative Ecological Theory}, Johns Hopkins University Press, Maryland, 1987.
\end{itemize}
and
\begin{itemize}%
\item Marc Mangel, \emph{The Theoretical Biologist's Toolbox: Quantitative Methods for Ecology and Evolutionary Biology}, Cambridge U. Press, Cambridge, 2006.
\end{itemize}
The second one is very user-friendly and has sections on:
\begin{enumerate}%
\item Four examples and a metaphor
\item Topics from ordinary and partial differential equations
\item Probability and statistics
\item The evolutionary biology of parasitoids
\item The population biology of disease
\item An introduction to some of the problems of sustainable fisheries
\item The basics of stochastic population dynamics
\item Applications of stochastic population dynamics to ecology, evolution, and biodemography
\end{enumerate}
See also [[Population biology]].
category:ecology, mathematical methods
[[!redirects quantitative ecology]]
\end{document}