Skip to main content
Proceedings of the National Academy of Sciences of the United States of America logoLink to Proceedings of the National Academy of Sciences of the United States of America
. 2005 Jun 30;102(28):9848–9853. doi: 10.1073/pnas.0504073102

Fisher's theorems for multivariable, time- and space-dependent systems, with applications in population genetics and chemical kinetics

Marcel O Vlad *,†, Stefan E Szedlacsek , Nader Pourmand §, L Luca Cavalli-Sforza , Peter Oefner §, John Ross *,
PMCID: PMC1175005  PMID: 15994224

Abstract

We study different physical, chemical, or biological processes involving replication, transformation, and disappearance processes, as well as transport processes, and assume that the time and space dependence of the species densities are known. We derive two types of Fisher equations. The first type relates the average value of the time derivative of the relative time-specific rates of growth of the different species to the variance of the relative, time-specific rates of growth. A second type relates the average value of the gradient or the divergence of the relative, space-specific rates of growth to the space correlation matrix of the relative, space-specific rates of growth. These Fisher equations are exact results, which are independent of the detailed kinetics of the process: they are valid whether the evolution equations are linear or nonlinear, local or nonlocal in space and/or time and can be applied for the study of a large class of physical, chemical, and biological systems described in terms of time- and/or space-dependent density fields. We examine the implications of our generalized Fisher relations in population genetics, biochemistry, and chemical kinetics (reaction–diffusion systems). We show that there is a connection between the enhanced (hydrodynamic) transport of mutations induced by population growth and space-specific rate vectors: the velocity of enhanced transport is proportional to the product of the diffusion coefficient of the species and the space rate vector; this relation is similar to a fluctuation–dissipation relation in statistical mechanics.


Fisher's fundamental theorem of natural selection is one of the basic laws of population genetics. In 1930, Fisher showed that for single-locus genetic systems with pure selection and constant selection coefficients, the rate of variation of the average population fitness equals the genetic variance of the fitness (1). Because the variance is nonnegative, it follows that for systems with pure selection and constant rate coefficients, the average fitness always increases in time, a result that is compatible with general ideas of biological evolution. Fisher claimed that this law should hold the same position among biological sciences as the second law of thermodynamics in physical sciences (1). Many generalizations of Fisher's theorem have been suggested in the literature. A first generalization was introduced by Fisher himself, by taking into account the effects of overpopulation and the effect of deterioration of the environment (1). Further generalizations were introduced by Wright (2), Kimura (3), Price (4), Frank (5) and Ewens (6), Lessard (7), Crow (8), Nagylaki (9), and Edwards (10). A recent article in PNAS (11) reports on a general fluctuation-dissipation relation for biological systems, which is qualitatively similar to the Fisher equation. Fisher's theorem also was used for the analysis of economic competition (12).

Our research on Fisher's theorem was stimulated by a number of different problems in chemistry and biology. We noticed that several problems in chemical kinetics lead naturally to a chemical Fisher's theorem. For example, a recent research technique uses certain chain reaction for amplifying chemical signals in gene expression and sequencing studies (13); the contribution of response signals of chains of different lengths may be expressed in terms of a Fisher's theorem. Similar approaches may be useful for the study of pattern formation in reaction–diffusion systems as well as geographical population genetics (14, 15). We eventually came up with two sets of generalized Fisher equations that can be applied to various physical, chemical, and biological problems, involving time- and/or space-dependent density fields.

In Time-Dependent Generalized Fisher's Theorems and Space-Dependent Generalized Fisher's Theorems, we discuss the time-dependent and space-dependent versions of our generalized Fisher's theorem, respectively. Finally, in Implications in Genetics and Chemical Kinetics, we discuss the general significance of our results as well as analyze the implications of our generalized Fisher's theorems in genetics and chemical kinetics.

Time-Dependent Generalized Fisher's Theorems

Although our approach can be presented in a general form, valid for any set of time- and/or space-dependent density fields, we prefer to use population genetics as a simple example. In the literature of population genetics, there are many versions of Fisher's theorem, depending on whether the time is considered discrete or continuous, the age structure of the population is ignored or taken into account, the population is haploid or diploid, etc. In the following, we give a short summary of a formulation suggested by Nagylaki (9), which can be easily compared with our own approach. He considers a single locus, with many alleles in a haploid population with age structure. Following Fisher, only selection is taken into account; that is, the individuals with different alleles have different natality and mortality coefficients, and the contributions of mutations and random drift are neglected. He shows that, for time-dependent rates of growth, the numbers Nu(t), u = 1, 2,... of individuals at time t carrying the alleles u = 1, 2,... are given by

graphic file with name M1.gif [1]

where Nu(0) are initial population sizes and ru(t) are intrinsic rates of growth attached to individuals with different alleles; because only selection is taken into account, ru(t) is the (absolute) fitness of individuals carrying the allele u. Following Fisher, he introduces the gene frequencies

graphic file with name M2.gif [2]

In terms of these gene frequencies, he defines the average value Inline graphic and the variance Inline graphic of the intrinsic rate of growth as follows:

graphic file with name M5.gif [3]
graphic file with name M6.gif [4]

and shows by direct computations that

graphic file with name M7.gif [5]

where

graphic file with name M8.gif [6]

is the average value of the rate of variation of the intrinsic rate of growth. Eq. 5 is a generalization of Fisher's theorem for the time-dependent intrinsic rates of growth ru(t). If the intrinsic rates of growth are constant, then the term 6 is equal to zero and Eq. 5 reduces to Fisher's theorem Inline graphic = Inline graphic.

Nagylaki's approach is limited to homogeneous systems with pure selection; he derived Eq. 1 for the population numbers and the generalized Fisher's theorem, Eq. 5, from an age-dependent selection model. Our approach is different: instead of considering a particular genetic model, we focus on experimental data regarding the time variation of population number. In addition, we consider time- and space-dependent systems, and thus our variables are infinitesimal allele numbers dNu(x, t) = nu(x, t)dx, u = 1, 2,... at time t and at a position between x and x + dx, where nu(x, t) is the density of alleles u at time t and at a position between x and x + dx. One advantage of such an approach is that we can develop a unified treatment for haploid and diploid populations, space-dependent or space-independent systems. We consider a single locus with many alleles and assume that the time dependences of the densities nu(x, t), u = 1, 2,... of different alleles in the population are known from experiments or observations; in particular for haploid populations nu(x, t), u = 1, 2,... are the same as the densities of individuals carrying different alleles. Because in nature selection rarely acts alone, the time variation of the densities nu(x, t), u = 1, 2,..., is influenced by various genetic processes, such as selection, mutation, and random drift. To characterize the time variation of the allele numbers, we introduce the absolute, time-specific rates of growth of the different alleles,

graphic file with name M11.gif [7]

In particular, for homogeneous (space-independent) haploid populations with only selection present, the specific rates of growth Inline graphic(x, t) reduce to the intrinsic rates of growth Inline graphic independent of x; otherwise, these two quantities are different. We also introduce the overall specific rate of growth Inline graphic(x, t) for the total density of genes n(x, t) = Σu nu(x, t)

graphic file with name M15.gif [8]

the local gene frequencies

graphic file with name M16.gif [9]

and the relative, time-specific rates of variation Inline graphic(x, t) attached to the various gene frequencies γu(x, t)

graphic file with name M18.gif [10]

From Eqs. 9 it follows that nu(x, t) = n(x, tu(x, t), and thus,

graphic file with name M19.gif [11]

The average values of the absolute and relative specific rates of growth can be easily evaluated. We have

graphic file with name M20.gif [12]
graphic file with name M21.gif [13]

The biological significance of Eqs. 12 and 13 is clear. As expected the average, time-specific rate of growth Inline graphic is the same as the time-specific rate of growth for the whole population, Inline graphic, (Eq. 13). From Eqs. 11 and 13, we obtain: Inline graphic; that is, the relative, time-specific rate of growth of the allele u, Inline graphic(x, t), is the difference between the absolute specific rate of growth of the allele u, Inline graphic(x, t), and the average rate of growth of the whole population, Inline graphic; it follows that Inline graphic(x, t) is a measure for the relative evolutionary advantage of the allele u compared with the average population. Because the reference state is the average population, the average value of the relative rate of growth is equal to zero, Inline graphic (Eq. 12).

In terms of Inline graphic(x, t) and Inline graphic(x, t) we can introduce the absolute and relative, time-specific rate of evolution for the allele u, Inline graphic(x, t) and Inline graphic(x, t), respectively,

graphic file with name M34.gif [14]
graphic file with name M35.gif [15]

and the average time-specific rate of evolution ψ(t)(x, t) for the total population

graphic file with name M36.gif [16]

From Eqs. 1416 it follows that

graphic file with name M37.gif [17]

that is, the absolute rate of evolution Inline graphic(x, t) for the allele u is the sum of the absolute rate of evolution for the total population, ψ(t)(x, t) and that of the relative rate of evolution Inline graphic(x, t) for the allele u.

In our approach, a Fisher's theorem of type 5 can be viewed as a statement about the average rate of evolution. The average relative rate of evolution Inline graphic can be easily evaluated by using Eq. 15

graphic file with name M41.gif [18]

from which we come to

graphic file with name M42.gif [19]

that is, the average value of the relative rate of evolution is nonpositive and equal to the variance Inline graphic of the relative rate of growth with changed sign.

The average value Inline graphic of the absolute rate of evolution can be evaluated from Eqs. 1416. We have

graphic file with name M45.gif [20]

where

graphic file with name M46.gif [21]

is the variance of the absolute rate of evolution. From Eq. 20 we have

graphic file with name M47.gif [22]

that is, the rate of evolution of the whole population is equal to the sum of the average value Inline graphic of the absolute rate of evolution and the variance of the specific (absolute or relative) growth rate. Eqs. 19 and 22 are equivalent to each other; they can be derived from one another by passing from relative to absolute evolutionary variables and vice versa. They are both equivalent formulations of a generalized Fisher theorem.

To outline the analogies between our approach and Nagylaki's derivation of Fisher's theorem, we rewrite Eq. 22 in terms of the absolute rates of growth attached to the different alleles

graphic file with name M49.gif [23]

Eq. 23 has the same structure as the generalized Fisher equation (5). In particular, for homogeneous (space-independent), haploid populations with pure selection, we have Inline graphic, and Eq. 23 reduces to Eq. 5.

A convenient way of expressing the generalized Fisher equations 19 and 22 is in terms of a commutator operator,

graphic file with name M51.gif [24]

between the time differentiation and the averaging with respect to the gene frequencies. In terms of Inline graphic Eqs. 19 and 22 can be expressed in the same form,

graphic file with name M53.gif [25]
graphic file with name M54.gif [26]

In conclusion, in this section we have shown that generalized Fisher theorems can be derived without use of any genetic models. By assuming that the genetic structure of the population is known from observation or experiment, we introduced absolute and relative functions, which describe the evolutionary process and derived generalized Fisher theorems depending on these functions. Our results apply to one locus with multiple alleles in populations subject to selection, mutation, random drift, and other genetic processes.

Space-Dependent Generalized Fisher's Theorems

Our generalized Fisher equations derived in the preceding section express the process of evolution as a function of time. In this section, we attempt to derive a new type of Fisher equations, which express the evolution in space. The main idea is to define space-specific rates of growth and to study the space variation of their statistical properties. For each allele u, we introduce space-specific rates of growth

graphic file with name M55.gif [27]

The Definitions 27 have a similar structure with Eqs. 8 for the time-specific rates of growth Inline graphic; the main difference is that the time derivative ∂t is replaced by the real space gradient gradx... = ∇x.... We notice that the space-specific rates of growth are vectors Inline graphic(x, t). The overall space-specific rate of growth, Inline graphic(x, t), and the space-specific rates of variation Inline graphic(x, t) attached to the various gene frequencies, γu(x, t) are also vectors

graphic file with name M60.gif [28]
graphic file with name M61.gif [29]

These space-specific rates are related to each other through a set of relations similar to Eqs. 11,

graphic file with name M62.gif [30]

The average values of the absolute and relative space-specific growth rates are given by a set of equations similar to Eqs. 12 and 13. We have

graphic file with name M63.gif [31]
graphic file with name M64.gif [32]

In terms of Inline graphic(x, t) and Inline graphic(x, t), we can introduce the absolute and relative, space-specific rates of evolution for the allele u, Inline graphic(x, t) and Inline graphic(x, t), respectively,

graphic file with name M69.gif [33]
graphic file with name M70.gif [34]

and the space-specific rate of evolution ψ(x)(x, t) for the total population

graphic file with name M71.gif [35]

From Eqs. 33 and 35 we have:

graphic file with name M72.gif [36]

We notice that Inline graphic(x, t), Inline graphic(x, t), and ψ(x)(x, t) are two-label tensors.

The average space-specific, relative rate of evolution, Inline graphic, can be easily evaluated

graphic file with name M76.gif [37]

from which we come to

graphic file with name M77.gif [38]

that is, the average value of the tensor of the space-specific relative rate of evolution is equal to the average value of the tensorial product of the vector of the space-specific relative rate of growth by itself, with changed sign. Eq. 38 is a space-dependent generalization of our generalized Fisher equation, Eq. 19. Eq. 38 is a statement about tensors, and thus, it does not lead to an inequality. Its scalar transcription is the following:

graphic file with name M78.gif [39]

where

graphic file with name M79.gif [40]

is the covariance matrix of the components of the vector Inline graphic(x, t). From Eqs. 3039, we note that, if we take the trace of the tensors in Eq. 39, we can derive an inequality similar to Eq. 19. We have

graphic file with name M81.gif [41]

The average of the tensor of space-specific, absolute rate of evolution Inline graphic can be easily evaluated by following the method of derivation for Eqs. 20 presented in the preceding section. We obtain

graphic file with name M83.gif [42]

where

graphic file with name M84.gif [43]

From Eq. 42 we have

graphic file with name M85.gif [44]
graphic file with name M86.gif [45]

and

graphic file with name M87.gif [46]

where

graphic file with name M88.gif [47]

Eqs. 38, 39, and 41 are equivalent to Eqs. 4447, respectively; they can be derived from one another by passing from relative to absolute evolutionary variables and vice versa. They are both equivalent space-dependent formulations of a generalized Fisher's theorem.

By analogy with the time-dependent case, we can also introduce a space-dependent commutator operator

graphic file with name M89.gif [48]

between the gradient and the averaging with respect to the gene frequencies. In terms of Inline graphic Eqs. 38 and 44 can be expressed in the same form,

graphic file with name M91.gif [49]
graphic file with name M92.gif [50]

In conclusion, in this section we have developed a space-dependent version of our generalized Fisher's theorem, which can be used for analyzing the evolution of space patterns in physics, chemistry, and biology. Below, we illustrate its use for the study of enhanced transport due to population growth.

Implications in Genetics and Chemical Kinetics

Although our time- and space-dependent generalized Fisher theorems were introduced by considering a simple system in population genetics, involving a single locus with many alleles, our results are more general: they apply to any physical, chemical, or biological systems that can be described in terms of multiple time- and/or space-dependent density fields. In our derivations we did not make any assumptions that are specific only to population genetics. With an adequate change of vocabulary (wording), our equations can be applied to physical or chemical kinetics. For example, in chemical kinetics the allele densities are replaced by the concentrations of different chemical species present in the system.

In general terms, our approach is the following. We study a system made up of many individual components (alleles, individuals, atoms, molecules, etc.). For each component, we introduce a time- and space-dependent density function (allele density, concentration, etc.) and a local fraction (gene frequency, molar fraction, etc.). We define absolute time- and space-specific rates of growth, which are given by the time and space variation of the natural logarithms of the density functions, respectively. We also define relative time- and space-specific rates of growth that are given by the time and space variation of the natural logarithm of the local fractions, respectively. The time or space variations of the specific rates of growth are rates of evolution. We define statistical properties for the system (averages, correlation functions, etc.) by taking statistical expectations with respect to the abundance of the different species in the system. We derive generalized Fisher's theorems that state that the average values of the relative rates of evolution can be expressed in terms of the moments of the second order of the relative rates of growth. In particular, the average value of the time-specific relative rates of evolution is a scalar, which is equal to the variance of the time-specific relative rates of growth with changed sign. The average value of the space-specific relative rates of evolution is a tensor with two labels, which is equal to the covariance matrix of the space-specific relative rates of growth with changed sign. These laws can be used to evaluate the capability of a given component to prevail for long times or to fill out the available space, which may lead to interesting applications in physics, chemistry, and biology. Some of these applications are briefly discussed here.

An application that is of interest both in chemical kinetics and genetics is the enhanced transport in reaction–diffusion systems induced by population growth (14, 15). Although this type of enhanced transport may occur both in chemistry and genetics, here we discuss it in connection with the genetic applications. Both simulations and theoretical analysis have shown that if a mutation occurs in an expanding population, two different transport patterns emerge. If a mutation occurs in an area where the total population is saturated, then the motion of the mutation is slow and diffusive. However, if the mutation occurs at a position close to the propagation front of the total population, then the transport of the mutation is enhanced and has a diffusive (slow) component as well as a hydrodynamic (fast) component. Considering a single locus with many alleles and isotropic diffusion, the hydrodynamic speed vu of the subpopulation carrying the allele u is given by vu = 2Dux ln n(x, t), where Du is the diffusion coefficient of the subpopulation u and n(x, t) is the total population density (15). For anisotropic diffusion characterized by a diffusion tensor Inline graphic the hydrodynamic speed is given by the more general relation

graphic file with name M94.gif [51]
graphic file with name M95.gif [52]

Eq. 51 is valid whether the mutations in the population are neutral or not; it is a straightforward consequence of modeling the genetic process by a system of reaction diffusion equations.

Our approach leads to a simple physical (or biological) interpretation of Eq. 51. By using Eq. 27 we can rewrite Eq. 51 in the following form:

graphic file with name M96.gif [53]

that is, the hydrodynamic speed of the subpopulation u is twice the contraction of the diffusion tensor Inline graphic and the vector of the space-specific rate of growth of the total population Inline graphic(x, t). Thus, the hydrodynamic speed of the subpopulation u is proportional to the diffusion tensor Inline graphic, which expresses the intrinsic mobility of the subpopulation u, and to the vector of space-specific rate of growth of the total population Inline graphic; this result in turn expresses the capability of the total population to fill out the available space. We notice that we can also derive a generalized Fisher relation that connects the average of the rate of space variation of the hydrodynamic speed to the covariance matrix of the space-specific rates of growth. We differentiate Eq. 52 with respect to xα and take an average with respect to the different subpopulations. We have

graphic file with name M101.gif [54]

Genetic maps are commonly used to display the geographical distributions of various mutations. These maps display the space variation of local gene frequencies or of allele densities. Our approach suggests the elaboration of alternate genetic maps displaying the variation of absolute or relative space-specific rate of growth; because these variables are vectors such genetic maps would look similar to the “stream maps” used in fluid mechanics. The analysis of the spatial distribution of the space-specific rates of growth would provide useful information about the preferential direction of motion of the population, that is, the relative capabilities of different subpopulations to spread in different regions. All information necessary for constructing stream maps is contained in the regular genetic maps. Such stream maps may also be useful for analyzing chemical patterns in reaction kinetics.

Similar applications can be developed starting from the time-dependent version of our approach. In the case of complex chemical or biochemical networks, the time-specific rates can be used for evaluating the relative contribution of various reaction pathways to a useful process and building simplified kinetics models that take into account the contributions of the most important pathways. For example, in the case of chain reactions used for amplifying signals in biochemical systems, the analysis of experimental data can be simplified by identifying the chains of optimal length that have the greatest contribution to the output signal (13).

In our derivations, we have assumed that the time and space variation of the density functions is known from experiments or theory. This assumption has important implications in population genetics: for example, it makes it possible to describe not only the effects of selection but also of other genetic processes, such as mutations, migration, or random drift; moreover, our approach makes it possible to study multi-locus systems and even problems of quantitative genetics, described in terms of continuous phenotypic variables. Regarding the effects of random drift, the approach presented in this work describes a single realization of a random process. To quantify the effects of random drift, we need to develop methods of dynamic averaging with respect to the sampling fluctuations. Such a task can be accomplished by using the method of curtailed characteristic functionals (16).

The space-dependent version of our approach can be easily extended to more complicated problems. For relativistic transport problems, it is convenient to replace real space by the space–time continuum. For problems of quantitative genetics, it is useful to replace the real space by the space of a set of phenotypic variables. Other generalization of our approach for transport processes is based on the use of a Lagrangian description of the motion. The Lagrangian description of motion leads to Fisher equations similar to the ones derived in Time-Dependent Generalized Fisher Theorems, where the partial time derivative ∂t is replaced by a transport (substantial) derivative Dt.

Our generalized Fisher's theorems also lead to interesting problems from the point of view of statistical physics. As pointed out by Fisher and many others, there is an analogy between Fisher's theorem and the second law of thermodynamics. This analogy raises many questions that have not been studied yet; in particular, it is not clear whether the Fisher's theorem is connected in some way to an extremum entropy principle. Our formulation makes it possible to further investigate this question. Our preliminary research has shown that there is an unexpected relation between our generalized Fisher's theorems and the theory of likelihood and Fisher information. In particular, our relative, time- and space-specific rates of growth can be interpreted as statistical scores. Another interesting problem is investigating the possible connections between our approach and the variational formulation of physical laws based on the use of Fisher information, suggested by Roy Frieden (17).

Acknowledgments

We thank David Hochberg, Federico Moran, and Stefan C. Müller for useful discussions. We also thank Lányi Szabolcs for useful discussions regarding kinetic and genetic maps. This work was supported in part by the National Science Foundation and by National Institute of General Medical Sciences Grants 28428, 063883, and NIH-HG 000205.

Author contributions: M.O.V., S.E.S., N.P., L.L.C.-S., P.O., and J.R. designed research; M.O.V., S.E.S., N.P., L.L.C.-S., P.O., and J.R. performed research; and M.O.V., S.E.S., N.P., and J.R. wrote the paper.

References

  • 1.Fisher, R. A. (1930) The Genetical Theory of Natural Selection (Clarendon, Oxford); reprinted (1999) (Oxford Univ. Press, Oxford) pp. 22–47.
  • 2.Wright, S. (1955) Cold Spring Harbor Symp. Quant. Biol. 20, 16–24. [DOI] [PubMed] [Google Scholar]
  • 3.Kimura, M. (1957) Heredity 12, 145–167. [Google Scholar]
  • 4.Price, G. R. (1972) Ann. Hum. Genet. 36, 129–140. [DOI] [PubMed] [Google Scholar]
  • 5.Frank, S. A. (1997) Evolution 51, 1712–1729. [DOI] [PubMed] [Google Scholar]
  • 6.Ewens, J. W. (1989) Theor. Popul. Biol. 36, 167–180. [DOI] [PubMed] [Google Scholar]
  • 7.Lessard, S. (1997) Theor. Popul. Biol. 52, 119–136. [DOI] [PubMed] [Google Scholar]
  • 8.Crow, J. W. (2002) Evolution 56, 1313–1316. [PubMed] [Google Scholar]
  • 9.Nagylaki, T. (1992) Introduction to Theoretical Population Genetics (Springer, Berlin) pp. 5–27.
  • 10.Edwards, A. F. W. (2002) Theor. Popul. Biol. 61, 335–337. [DOI] [PubMed] [Google Scholar]
  • 11.Sato, K., Ito, Y., Yomo, T. & Kaneko, K. (2003) Proc. Natl. Acad. Sci. USA 100, 14086–14090. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 12.Metcalfe, J. S. (1994) J. Evol. Econ. 4, 327–346. [Google Scholar]
  • 13.Hassibi, A., Contag, C., Vlad, M. O., Hafezi, M., Lee, T. H., Davis, R. W. & Pourmand, N. (2005) Biophys. Chem. 116, 175–185. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 14.Edmonds, C. A., Lillie, A. S. & Cavalli-Sforza, L. L. (2004) Proc. Natl. Acad. Sci. USA 101, 975–979. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 15.Vlad, M. O., Cavalli-Sforza, L. L. & Ross, J. (2004) Proc. Natl. Acad. Sci. USA 101, 10249–10253. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 16.Vlad, M. O., Velarde, M. & Ross, J. (2004) J. Math. Phys. 45, 736–760. [Google Scholar]
  • 17.Roy Frieden, B. (2004) Science from Fisher Information (Cambridge Univ. Press, Cambridge, U.K.) 2nd Ed.

Articles from Proceedings of the National Academy of Sciences of the United States of America are provided here courtesy of National Academy of Sciences

RESOURCES