Abstract
Many biological systems experience a periodic environment. Floquet theory is a mathematical tool to deal with such time periodic systems. It is not often applied in biology, because linkage between the mathematics and the biology is not available. To create this linkage, we derive the Floquet theory for natural systems. We construct a framework, where the rotation of the Earth is causing the periodicity. Within this framework the angular momentum operator is introduced to describe the Earth’s rotation. The Fourier operators and the Fourier states are defined to link the rotation to the biological system. Using these operators, the biological system can be transformed into a rotating frame in which the environment becomes static. In this rotating frame the Floquet solution can be derived. Two examples demonstrate how to apply this natural framework.
Keywords: Population dynamics, Periodicity, Seasonality, Circadian cycle, Floquet theory, Floquet ratio
Introduction
Many biological systems are influenced by an environment, which is periodic in nature, e.g. due to the amount of light in the circadian cycle, or the seasonal weather conditions. To describe the evolution of such biological systems the periodic forcing of the environment should be taken into account. From a mathematical perspective, the Floquet formalism provides tools to deal with such recurring patterns (Farkas 1994).
The Floquet theory deals with systems of linear differential equations with periodic coefficients, and can be used to determine the stability of equilibria (Floquet 1883). Application to the field of epidemiology has been proposed previously (Heesterbeek and Roberts 1995a, b), but the use of the Floquet theory in ecology and epidemiology remains limited today. If applied, it makes use of numerical solutions of the linearized system of periodic ODE’s (Klausmeier 2008). This is a straightforward and easily implemented method, but does not provide analytical solutions for the evolution of the biological system. For this reason the gap between the description of the evolution of the biological systems and the Floquet theory remains.
To bridge this gap, we wish to translate the Floquet formalism into a natural framework: the periodicity is dictated by the nature of the environment and is an integral part of the description of the biological system. Thus, we design a natural framework for the description of periodic causes. Furthermore, we derive the Floquet solutions of the linearized system of periodic describing the biological system within this framework and define the Floquet ratio R T with the same threshold property as the basic reproduction number R 0. We provide a recipe and apply it to two examples, showing that this algorithm is relatively simple and can easily be used in calculations to determine stability of a specific system.
Conceptual Description
In this section we describe the concepts of the natural framework and the recipe for application. The full analytical description is presented in the Sect. 3, but for anyone who is only interested in practical application, it should be sufficient to read this section and continue reading in the Sect. 4.
Key Elements of the Natural Framework for the Effect of Periodic Fluctuations
We are interested in the stability of the null equilibrium of the population, which is stable if the long term growth rate of the population is negative. Due to the rotation of the Earth, the environment of the population is forced to be periodic in time and subsequently the population growth is time dependent. The time dependency of the change in the population growth is
1 |
in which
2 |
in which K l are the Fourier components of K and the Fourier operators F l are defined by (Boender et al. 1998)
3 |
These Fourier operators are used to describe the modulation of the environment by the Earth rotation. We describe the rotation of the Earth in physical terms by an angular momentum operator L z, which is an infinitesimal rotation in the plane perpendicular to the axis of rotation (z-axis) (Alonso and Finn 1968).
4 |
The periodicity of the growth operator can be removed by means of a transformation to the rotating frame, rotating with the frequency ωr (Boender et al. 1998). The Floquet growth operator, i.e. the static growth operator in the rotating frame, is
5 |
The Floquet growth operator is time independent, with a correction for the rotation −i ωr
L
z. The analytical derivation of this equation will be performed in the Sect. 3. The dominant eigenvalue λmax of K
F determines the growth. If the real part r
max of dominant eigenvalue λmax is larger than 0, long term growth of the population will occur. When the real part r
max is smaller than 0, the size of the population will fluctuate but still fades away to extinction. This threshold is equivalent to a description using the dominant Floquet multiplier
6 |
which is the average number of offspring of a single individual after one period. This threshold quantity separates population growth (R T > 1) and decline (R T < 1) in the same way as R.
A Recipe for the Calculation of the Floquet Ratio
To calculate the eigenvalues of K
F, we wish to construct a Floquet matrix of the Floquet growth operator. To this end, we have to formulate the matrices of L
z and F
l. L
z measures the Fourier number n of the function
7 |
F
l increases the Fourier number n of the function
8 |
and the matrix for F l can be found by multiplication of this matrix l times, because F l = (F 1)l. According to Eqs. 5, 7 and 8 the Floquet matrix can be written as
9 |
in which the identity matrix I describes the rotational term i ωr L z. In Box 1 a recipe is presented how to apply this description. In the Sect. 4 we will describe two examples.
Box 1.
(1) Establish a time dependent growth matrix |
(2) Determine the Fourier components K −n to K n of the growth matrix K (see Eq. 2) |
(3) Formulate the Floquet matrix (see Eq. 9) |
(4) Calculate the eigenvalues of the Floquet matrix, if possible analytically or otherwise using a numerical approximation |
(5) Compose the Floquet ratio R T from the real part of the largest eigenvalue |
In the Sect. 3 we will present a comprehensive derivation of the theory. Readers who wish to focus on the application can continue reading in Sect. 4.
Theoretical Derivation
The Natural Framework
The variable
10 |
with as base the Fourier states
11 |
By means of a expansion, this Dirac Delta function can be expressed in terms of the Fourier states (Boender et al. 1998)
12 |
according to Eq. 10. Furthermore, the Angular momentum operator L z and the Fourier operator F p can be formulated with respect to the Fourier states. The eigenvalue equation for the angular momentum operator becomes (Alonso and Finn 1968; Boender et al. 1998)
13 |
Therefore,
14 |
This operator causes an increase in the order of the function, i.e. l is transformed into l + p. We will use this property in the derivations to calculate the multiplication of Fourier components.
To finish the picture, we derive the relation of L z and F p, using the expansion of the exponential function. This leads to the following relation for the Fourier operator
15 |
in which ξ is an arbitrary state. In this derivation we use the expansion of an exponential function, the property
16 |
This natural framework facilitates the description of the population dynamics. The population could be expressed in terms of the Fourier states
Derivation of the Floquet Solution within the Natural Framework
We apply this natural framework to determine the growth of a population in a time periodic environment. The Floquet formalism unravels the solutions into two components: the long term behavior of the system and separated this from the short term (periodic) behavior of the system (Floquet 1883). The method is straight forward, in the sense that the long term behavior of a system is described directly by the Floquet exponents (Farkas 1994). If the largest of the Floquet exponents is larger than 0 the population will grow.
According to Eq. 1, The biological system is described by a population state
17 |
in which Eqs. 11 and 12 are applied. The mathematical solution of Eq. 1 is presented by Floquet (1883). This solution is applied in physics to solve the Schrödinger equation for a period Hamiltonian operator, which describes the energy of a system leading to the Floquet Theory (Boender et al. 1998; Shirley 1965). We will now apply this theory to the field of population biology. We present the algebraic derivation of disentanglement of periodic changes and the long term growth.
At the start of the invasion one typical individual is present. This initial state will be denoted by v
0. An invasion can start at any time during the season. Therefore, this state v
0 is independent of t and
18 |
in which the evolution operator
19 |
In the following we elaborate on the operator part of Eq. 18, resulting in disentanglement of the growth operator
We use the Eqs. 15 and 2 to transform Eq. 18 into a constant growth operator in a rotating frame,
20 |
Thus, the growth operator
Because these expressions equal zero according to Eq. 18, this leads to a directly solvable equation
21 |
in which K
F is the Floquet growth operator, according to Eq. 5. Equation 21 provides a solution for the Floquet evolution operator,
22 |
This is the operator presentation of the Floquet solution within the natural framework. Periodic changes and the long term growth are disentangled in this solution, in which iωr
L
z describes the periodic changes and
The Threshold Quantity for Long Term Growth
Because the Floquet growth operator, K
F, contains only the Angular momentum operator L
z and the Fourier operator F
p (see Eq. 22), the eigenvalues λj and eigenstates
23 |
In Eq. 10 it is shown that the eigenstates
24 |
where f jl is the lth Fourier coefficient of the Fourier expansion for the jth eigenstate. Substitution of Eq. 24 in Eq. 17 gives
25 |
which is analogue to the Shirley formula (Shirley 1965). In the derivation the eigenvalue equation of the angular momentum operator in Eq. 13 and the orthonormality of the Fourier states according to Eq. 10 are applied. Equation 1 is now given in terms of Fourier coefficients, f jl, and Floquet exponents, λj. If the real part r max of dominant eigenvalue λmax is larger than 0, long term growth of the population will occur. When the real part r max is smaller than 0, the size of the population will fluctuate but still fades away to extinction.
Approximation Methods for the Calculation of the Growth Rate
To calculate the eigenvalues of the Floquet operator, we applied approximation methods for the eigenvalues of this operator, which are are regularly applied in physics (Leskes et al. 2010). In this section we follow this approach and apply this to biological systems. To determine the eigenvalues, we have to find the diagonalized Floquet operator D F, which has the following property
26 |
in which D
F the diagonalization Floquet operator
27 |
This can be used to expand Eq. 26 according to
28 |
in which the commutator of two operators A en B: [A, B] = A B − B A is applied. From Eqs. 3 and 16 the following commutation relations can be deduced:
29 |
in which is used F m F n = F m+n. In the diagonalisation procedure, we expand the operator S F = S (1)F + S (2)F… into several orders. To diagonalize the Floquet growth operator in first order, the (off-diagonal) terms of Eq. 5 should be removed, leading to
30 |
This removes the off-diagonal blocks of K F as a result of the relation
31 |
according to Eq. 29. Substitution of this in Eq. 28 gives
32 |
The two latter terms are the higher order off-diagonal terms. If [K
p,K
n] = 0 for arbitrary p and n, these terms would disappear and
33 |
in which the same procedure is applied as was done in the first step in Eq. 30. Substitution of Eqs. 30 and 33 into Eq. 28 would lead to a Floquet growth operator which is diagonal up to second order. This procedure should be repeated until desired convergence is obtained. In the next section we will provide two examples where we apply this formalism for the analytical determination and the numerical determination of R T.
Application
In this section we illustrate the recipe for the determination of the Floquet ratio (see Box 1) by means of two simple models. For a more complex model we refer to a study of Rift Valley fever (Fischer et al. in prep).
An Example for Analytical Determination of the Floquet Ratio RT
Establish a Time Dependent Growth Matrix \documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\bf K}(\varphi _{0},t)$$\end{document}
In this subsection we describe an ecological example: the establishment of an exotic species. The establishment of an exotic species requires that the equilibrium without the new species is unstable. Seasonality will have an effect on a new species. Especially seasonal temperature changes strongly affects population growth of ectothermic animals such as arthropods, fish, amphibians and reptiles. To illustrate our Floquet method, we will use the example of a species with a temperature dependent intrinsic growth rate,
34 |
The average daily temperature follows a sinus function with the periodicity
Determine the Fourier Components K−n to Kn of the Growth Matrix \documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\bf K}(\varphi _{0},t)$$\end{document}
The expression
Formulate the Floquet Matrix (see Eq. 9)
In this case the matrix K n equals the number K n and the identity matrix I equals 1.
Calculate the Eigenvalues of the Floquet Matrix
Because K −1, K 0, and K 1 are coefficients in this example, they all commute, i.e. [K p, K n] = K p K n − K n K p = 0. According to Eq. 20, the eigenvalues of the diagonalized matrix is
35 |
Compose the Floquet Ratio RT from the Real Part of the Largest Eigenvalue
r max = g mean is the real part of the dominant eigenvalue. Therefore the threshold quantity could be constructed, according to 6 and the Floquet ratio becomes
36 |
If R T > 1 i, the null equilibrium is unstable. Furthermore, the population cannot grow if R T < 1. Obviously for this simple example, the Floquet ratio is larger than one if the growth rate is positive.
An Example for Numerical Determination of the Floquet Ratio RT
Establish a Time Dependent Growth Matrix \documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\bf K}(\varphi _{0},t)$$\end{document}
We illustrate this by means of a epidemiological example: a vector-borne infection. In the field of epidemiology, the class of vector-borne infectious diseases are most profoundly forced by seasonal changes in the rates. Here we discuss a simple periodic model of a vector-borne infection describing one vector population and one host population, in which all parameters are time independent with exception of the transmission rate, β(t), and the mortality rate of the vector μx(t). For such a model, Eq. 1 has the form,
37 |
in which x and y are the number of infected vectors and hosts, and μx(t) is vector mortality and μy is host mortality. In this example we investigate a seasonal effect with the periodicity
38 |
in which βmean is the mean transmission rate and the amplitudes of the transmission rate are due to the temperature βtemp and due to the size of the population βpop, and the daily amplitude of the vector activity is βday. The mortality rate is only a simple function of temperature with a mean μmean and amplitude μtemp:
39 |
Determine the Fourier Components K−n to Kn of the Growth Matrix \documentclass[12pt]{minimal}
\usepackage{amsmath}
\usepackage{wasysym}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsbsy}
\usepackage{mathrsfs}
\usepackage{upgreek}
\setlength{\oddsidemargin}{-69pt}
\begin{document}$${\bf K}(\varphi _{0},t)$$\end{document}
The function of the mortality rate can easily be expanded in a finite Fourier series using the relation
40 |
Formulate the Floquet Matrix (see Eq. 9)
The Fourier coefficients are now represented as matrices, according to Eq. 40.
Calculate the Eigenvalues of the Floquet Matrix
Diagonalization of this Floquet matrix will provide the eigenvalues of this matrix. In this example, the calculation of the eigenvalues needs to be approximated by numerical techniques. In principle the Floquet matrix is infinite. For numerical calculation, the matrix must be truncated to determine the eigenvalues. This truncation will introduce numerical errors. According to Eq. 26, eigenvalues are not unique numbers, but should follow the pattern λ0 − i n ωr (Farkas 1994; Shirley 1965). If the truncated Floquet matrix is extended, higher orders of n should appear. Eigenvalues which do not follow this pattern, are not the sought values, but numerical errors caused by the truncation. The eigenvalues of the Floquet matrix are in general complex, because in the evolution of interacting subpopulations, oscillations could occur. The imaginary part of λ0 will reflect these oscillations. However, the real part of the dominant eigenvalue determines whether growth occurs. For this reason we focus on the real part. The maximum value of the real parts of the eigenvalue r max determines the evolution of the epidemic.
Compose the Floquet Ratio RT from the Real Part of the Largest Eigenvalue
The Floquet ratio is given in Eq. 36. If R T > 1 i, major outbreaks could occur and if R T < 1 only minor outbreaks could occur.
Discussion
We derived a methodology to determine the stability of the null-equilibrium for biological systems which are periodically forced by the environment. This formalism can be used for simple models in which one or a few parameters are forced to change periodically in time and for complex models including many forced time-periodic parameters. For simple models analytical results for the eigenvalues of the Floquet growth matrix K F can be achieved. The real part of the dominant eigenvalues r max of K F leads straightforward to the Floquet ratio R T, which has the well-known properties of a threshold quantity. For complex models a numerical calculation of r max is required, while all other steps in the determination of R T remain analytical.
The formalism can be used for systems with a stable external forcing and a known periodicity. Examples are seasonality and the circadian rhythm which force the biological system by temperature and light conditions, and which have a regular period (i.e. of 365 days for seasons or 24 h for the circadian cycle).
Several methodologies were previously put forward to describe forced periodicities in biological systems. Analytical solutions for specific problems are proposed by Bacaer and Guernaoui (2006). However, in their approach for each new problem new solutions need to be constructed using the simplicity of the system. A general numerical approach using Floquet theory is put forward by Klausmeier (2008). This is not limited to specific problems. However, this technique does not provide an analytical framework for theoretical considerations. Several attempts for such analytical framework were discussed by Heesterbeek and Roberts (1995a, b). They investigated the suitability of the Floquet multiplier as a threshold quantity for epidemic growth. According to them, this quantity is probably the easiest threshold quantity to calculate numerically. They were not very satisfied with this quantity, because at that time an analytical Floquet framework was not available, in which analytical solutions and analytical approximations for this quantity could be derived.
We provided such Floquet framework in this paper. It is an analytical framework, including both analytical and numerical approximation methods. Within this framework the Floquet ratio is the natural threshold quantity. We offer a straightforward 5 step recipe, by which analytical solutions or analytical approximations of this threshold quantity could be derived. If numerical solutions are required, this is only needed in the fourth step for the calculation of the eigenvalue of the Floquet growth operator.
Within this natural framework we focused on the Earth’s rotation as the single driving force of the periodicity. In the future, this can be extended in two ways. Firstly, a forced periodicity from another cause could also be described within this framework. The phase variable
Acknowledgments
We thank the ministry of Economic affairs, Agriculture and Innovation of the Netherlands for financial support of the work presented in this paper (project codes BO-08-010-022).
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
References
- Alonso M, Finn EJ. Quantum and statistical physics, Fundamental University Physics, vol 3. Reading: Addison Wesley; 1968. [Google Scholar]
- Bacaer N, Guernaoui S. The epidemic threshold of vector-borne diseases with seasonality. J Math Biol. 2006;53(3):421–436. doi: 10.1007/s00285-006-0015-0. [DOI] [PubMed] [Google Scholar]
- Boender GJ, Vega S, De Groot HJM. A physical interpretation of the floquet description of magic angle spinning nuclear magnetic resonance spectroscopy. Mol Phys. 1998;95(5):921–934. doi: 10.1080/00268979809483226. [DOI] [Google Scholar]
- Delatte H, Gimonneau G, Triboire A, Fontenille D. Influence of temperature on immature development, survival, longevity, fecundity, and gonotrophic cycles of aedes albopictus, vector of chikungunya and dengue in the indian ocean. J Med Entom. 2009;46(1):33–41. doi: 10.1603/033.046.0105. [DOI] [PubMed] [Google Scholar]
- Farkas M. Periodic motions. New York: Springer; 1994. [Google Scholar]
- Floquet M. Sur les équations différentielles linéaires à coefficients périodiques. Ann Ecole Norm Sup. 1883;12:47–88. [Google Scholar]
- Heesterbeek JAP, Roberts MG. Threshold quantities for helminth infections. J Math Biol. 1995;33(4):415–434. doi: 10.1007/BF00176380. [DOI] [PubMed] [Google Scholar]
- Heesterbeek JAP, Roberts MG. Threshold quantities for infectious diseases in periodic environments. J Biol Syst. 1995;3(3):779–787. doi: 10.1142/S021833909500071X. [DOI] [Google Scholar]
- Klausmeier CA. Floquet theory: a useful tool for understanding nonequilibrium dynamics. Theor Ecol. 2008;1(3):153–161. doi: 10.1007/s12080-008-0016-2. [DOI] [Google Scholar]
- Leskes M, Madhu PK, Vega S. Floquet theory in solid-state nuclear magnetic resonance. Progr Nucl Magn Reson Spectrosc. 2010;57(4):345–380. doi: 10.1016/j.pnmrs.2010.06.002. [DOI] [PubMed] [Google Scholar]
- Oppenheim AV, Willsky AS, Young IT. Signals and systems. Englewood Cliffs: Prentice Hall; 1983. [Google Scholar]
- Shirley JH. Solution of the schrödinger equation with a hamiltonian periodic in time. Phys Rev B. 1965;138:B979–B987. doi: 10.1103/PhysRev.138.B979. [DOI] [Google Scholar]
- Wallinga J, Lipsitch M. How generation intervals shape the relationship between growth rates and reproductive numbers. Proc R Soc B Biol Sci. 2007;274(1609):599–604. doi: 10.1098/rspb.2006.3754. [DOI] [PMC free article] [PubMed] [Google Scholar]