PIONEER-CLIMAX T R E E COMPETITION MODELS By Shuichi Sakai B. Sc. University of British Columbia, 1995 A THESIS SUBMITTED IN P A R T I A L F U L F I L L M E N T O F THE REQUIREMENTS MASTER FORT H EDEGREE OF OF SCIENCE in THE FACULTY O F G R A D U A T E STUDIES DEPARTMENT O F MATHEMATICS INSTITUTE O F APPLIED MATHEMATICS We accept this thesis as conforming to the required standard THE UNIVERSITY O F BRITISH COLUMBIA June 1997 © Shuichi Sakai, 1997 In presenting degree freely this thesis in partial at the University of British available for reference copying of department publication this or thesis by of this for scholarly his thesis or her of jA^jivLl^^'cJ* Date DE-6 (2/88) the I further agree purposes requirements gain that for an advanced It is it permission for extensive may be granted representatives. for financial The University of British Columbia Vancouver, Canada of Columbia, I agree that the Library shall make and study. permission. Department fulfilment by the head understood shall not be allowed that without of my copying or my written Abstract Tree species can be broadly categorized into two kinds: pioneer and climax. Pioneer species are ones that survive under low population densities, but progressively do worse as densities increase. Climax species, on the other hand, need some degree of neighboring population to survive, and have a maximum fitness at a unique population density, whereafter fitness decreases with increased competition. This thesis examines models of competition between these two species both in continuous and discrete time. Whereas popular belief is that the pioneer species become extinct with competition, the models studied here suggest the possibility of coexistence, either in a stable equilibrium or a periodic solution. Simple genetical variations on one or both species are also considered for their effects on coexistence. It is found that genetic variety can be a crucial factor in achieving coexistence between the two species. 11 Table of Contents Abstract ii List of Figures vi Acknowledgement 1 2 3 vii Introduction 1 1.1 Overview and motivation 1 1.2 Generic models 2 1.3 Population genetics 4 1.4 Thesis outline 6 Simple continuous-time competition 8 2.1 Model equations 9 2.2 Hopf bifurcation analysis at E\ 13 2.3 Numerical example using X P P A U T 14 2.4 Summary 17 Simple discrete-time competition 18 3.1 Model equation 18 3.2 Hopf bifurcation for maps 20 3.3 Numerical example using X P P A U T 22 3.4 Summary 24 iii 4 5 6 7 Continuous-time genetics model 25 4.1 Model equations 26 4.2 Homozygote equality 28 4.3 Linear/Quadratic model 30 4.4 Summary 33 Discrete-time population genetics model 36 5.1 Model equations 37 5.2 Homozygote equality 38 5.3 Numerical example 39 5.4 Summary 41 Genetic variation on both species 43 6.1 Model equations 43 6.2 Hopf Bifurcation 45 6.3 Homozygote equality 45 6.4 Numerical example using X P P A U T 46 6.5 Summary 48 Conclusion 52 7.1 53 Further research Bibliography 54 Appendices 56 A The software package X P P A U T 56 A.l Numerical details 57 iv A.2 X P P A U T Listings List of Figures 2.1 Typical fitness functions for O D E 10 2.2 Isoclines of vector fields 11 2.3 Hopf bifurcation at E\ 15 2.4 Bifurcation diagram in C n 16 2.5 Two-parameter bifurcation for the simple O D E case 16 3.1 Hopf bifurcation in C n 23 3.2 Bifurcation diagram in cn 23 3.3 Two-parameter bifurcation diagram in C n and c 2 24 4.1 3-dimensional trajectories for homozygote equality 32 4.2 Without genetic variation, coexistence is impossible 33 4.3 2-parameter bifurcation diagram in 34 5.1 Trajectories for discrete-time genetics model, before and after Hopf bifur- 2 Cn and CLAA cation 40 5.2 Two-parameter Hopf bifurcation in C n and a A 41 5.3 Trajectories on the MiV-plane for pioneer fixations: p = 1 or p = 1 . . . . 42 6.1 Hopf bifurcation in the AfA^-plane for homozygote equality 47 6.2 Two parameter bifurcation in a 6.3 Trajectories on the MiV-plane for fixations A AA and bss vi 49 50 Acknowledgement I wish to thank my supervisor, Professor Wayne Nagata for his patience, Professors Gene Namkoong and James F. Selgrade for their advice, and Dr. Lynn Van Coller for the instructions on the software packages. vu Chapter 1 Introduction 1.1 Overview and motivation Mathematical and numerical analysis can produce interesting and useful qualitative insights into many biological models, as has been shown in many papers in the past, including those by May [9],[10]. Dynamical systems theory in particular is very well suited for population dynamics. In this thesis I examine some simple models of competition between two tree species in both continuous and discrete time. As well, continuous-time and discrete-time competition models that involve simple genetic variation in one or both species are studied using analytical techniques and a software package. Pioneer species are the types of trees that first appear, for example, after a forest fire: they are hardy and thrive in low population densities. Certain varieties of pine and poplar are considered pioneer. Soon after the growth of pioneer trees, a successionary species enters the scene and enjoys the presence of pioneer trees because of the suitable environment that they provide, such as better soil condition and protection from weather. However, a pioneer species suffers from an increase in population density, and its fitness is reduced. The successionary species are also called climax species, because they have some optimal population density for their growth. Oak and maple are examples of the climax type. After the total population has grown to certain size, however, newcomers also start to suffer from competition for nutrients and space. Typically, the pioneers species are believed to be excluded with competition. However, 1 Chapter 1. Introduction 2 under certain circumstances coexistence is possible . There have been some papers [3],[4], that examined conditions for exclusion or coexistence and possible manipulation that may lead to stable coexistence, using simple dynamical system models. This thesis surveys these results, then adds another factor of simple genetic variation in one or both species to see what effects the variation may have on the competition. Specifically, we explore cases where stable coexistence is possible when all genotypes are present whereas neither homozygotes alone can produce stable coexistence. While all the models represented here are very simplistic, ignoring any stochastic or spatial effects, it is hoped that qualitative behavior is persistent under such perturbations. This hope is mathematically reasonable, because it is known in dynamical systems theory that many qualitative phenomena, such as Hopf bifurcation, are robust under perturbations: the terms ignored in simple models would be 'perturbations' to the model, which, if sufficiently small, should not affect the overall behavior. Comparison with field research is very difficult because experimental estimations of density dependent replacement rates are difficult to obtain, and cannot be precise. Furthermore, destabilizing spatial effects and large stochastic events (forest fires and clear-cutting, for example) would affect any behavior that is governed by the dynamical equations. While it would be very complicated to model the stochastic and spatial effects, one can argue at least from these studies that pioneer exclusion is not always a valid assumption, and that the simplest genetic variations can affect the qualitative behavior of the system. 1.2 Generic models One of the earliest mathematical biology models by Malthus (see, for example, Murray [11]) states that a population would continue to grow at a rate proportional to its size. That is, given a population whose size is characterized by a density variable X, it grows Chapter 1. Introduction 3 as (1.1) for a continuous-time model (ODE), and X pX (1.2) for a discrete-time model (map). The proportionality parameter p is often called the matlthusian parameter and incorporates death rate and birth rate. The parameter is considered constant for the simplest model, indicating unlimited resources for growth. The solution is exponential growth for either continuous or discrete time models. For more realistic models, this parameter is not constant: as the population grows, the natural resources becomes scarce, the death rate rises, and the growth rate naturally diminishes. Thus the next step is to consider a malthusian parameter that is a function of population density. That is, p = p(X), and any realistic function must satisfy limx^oo ^{X) < 0 for an O D E , and 0 < limx-+oo f-{X) < 1 for maps. These functions are also called fitness functions, since they measure the fitness of a population. There are good reasons for studying both the continuous-time and discrete-time models as it is done in this thesis. The continuous-time systems, in general, are easier to analyze than the discrete-time models, and it is in principle better to approach a model by steps from the simpler to the more complex. Continuous-time models, however, may not be sufficiently accurate for discretely reproducing biological populations such as trees, which reproduce once a year. A system of ODEs may be more suitable for other organisms that reproduce in relatively short time-intervals (bacteria, for example). The equations (1.1) and (1.2) are for dynamics involving a single homogeneous population. For dynamics that involves interaction between two or more populations, the fitness of each population must be functions of the size of each population. X{,i = l,...,n So if are the densities of n interacting populations, the populations have Chapter 1. Introduction fitnesses pi(Xi, X ,X ). 2 4 Instead of considering fitnesses as functions of n variables, n they can be thought of as functions of what are known as total weighted densities, Zi which are defined as: n Zi = c^Xi + c X i2 2 + ... + Ci X n n = ^CijXj. (1.3) The coefficients C;J measure the density effect of the jth population on the ith population, and these simplify notation and analyses considerably. The equations of dynamics are now written as: ^ = 9i{Zi)Xi (1.4) for the continuous-time system, and Xi fi(Zi)Xi (1.5) for the discrete-time map (also called diffeomorphism). This weighted density variable is employed by most recent papers on the subject concerned in this thesis [4], [13], [14], [18],[20], [21], [22]. 1.3 Population genetics The later chapters consider simple genetic variations on one or both tree species. The dynamics involving genetic variation are characterized by additional variables called genetic frequencies, which are the number of gametes or individuals carrying an allele divided by the total numbers of gametes. The genetic variation that we consider has two alleles at one locus for a sexually reproducing diploid. Alleles are genes that appear in pairs and which determine the phenotype of the individual. Suppose A and a are the two alleles. Then there are three possible combinations: AA, Aa and aa. The A A and aa genotypes are called homozygotes while the Aa combination is called a heterozygote. Each of these Chapter 1. Introduction 5 genotypes may possess different characteristics, and their fitnesses can be varied: at a certain population density one genotype might be more fit, while at another density, a different genotype may be superior. Sometimes the heterozygote, possessing both alleles, exhibits a fitness between those of the two homozygotes, in which case it is said that we have partial dominance in the heterozygote. When the heterozygote of the population is more fit than both homozygotes, we have what is called overdominance superiority. or heterozygote Thirdly, when the heterozygote is less fit than both homozygotes, we have underdominance or heterozygote inferiority. Heterozygote superiority, for example, was thought to have been a necessary condition for existence of periodic solutions in a single population. For the case of two alleles with random mating, it can be shown that species maintain what is known as the Hardy-Weinberg Ratio, a fixed ratio between the three types. It is also true that with random mating, a population that begins with a genotype-ratio that deviates from the Hardy-Weinberg goes to the ratio in one generation. Knowledge of the ratio allows distribution of the genotypes to be characterized by a single variable, p, the genetics frequency of the A allele. This means that p = 1 is a population dominated completely by the AA genotype, while a population with genetic frequency p = 0 has only the aa genotype. These two extreme cases are called fixations. While a population has not fixated, that is, 0 < p < 1, then the population is said to be polymorphic. Now consider a one-species genetic variation model, such as one of those studied in Van Coder [23]. Each of the three genotypes has a distinct fitness function denoted by /J-AAi f-Aa and p . aa Then the variables X, the total population density and p, the genetic frequency propagates in time for the continuous-time case as follows: — dt dX = p(n-ii ), A (1.6) (1.7) Chapter 1. Introduction 6 where p and HA are defined as a f-A = P/J-AA + p/J, + (1 - Aa and (1 - P)PA. (1.8) (1.9) is the average population fitness defined as li = p / i + (1 -p)p A a (1.10) For the discrete-time model, equations (1.8),(1.9) and (1.10) are the same, and the variables X and p propagate in time as P X (1.11) (1.12) The details of these derivations are found in Crow and Kimura [1]. For the genetic population models, the fitnesses pij can be functions of the population density as well as the gene frequency, however, all fitness functions considered in this thesis depend on population density only. 1.4 Thesis outline The first half of this thesis gives an overview of other published papers on the subject. Chapter 2 looks at the basic models of pioneer-climax competition in continuous time. Results of previous analyses are summarized, then a particular example is examined using a phase-plotting and bifurcation analysis software package called X P P A U T . Chapter 3 involves similar models, but in discrete time. Again, some theoretical analyses is reviewed before continuing with an example model and its numerical analysis. Chapter 4 begins to explore a simple genetic variation in the pioneer species in continuous time. The Chapter 1. Introduction 7 theoretical analysis that has been done on a generic two-species competition with a simple genetic variation is covered for the pioneer-climax case, then X P P A U T again is used to examine a particular simple model. A n analysis analogous to that used in chapter 4 is used for the discrete-time model in chapter 5. Finally, a brief analysis and a numerical example for the four-dimensional case, where genetic variation is added to both competing species, is presented in chapter 6. Since most of the analysis is done using the numerical package X P P A U T , the background and the mechanics of this package is described briefly in appendix A . Some examples of computer listings for various models are also placed in the appendix. Chapter 2 Simple continuous-time competition Very simple models of continuous-time pioneer-climax competition are studied in papers of Sumner [21], [22], Selgrade and Namkoong [18]. The papers concentrate mainly on the analysis of a Hopf bifurcation and the resulting periodic orbit and its stability. It had been believed that in an undisturbed pioneer-climax competitive system, the climax species would always exclude the pioneer species. There are, however, actual forests where pioneer species persist (see [18] for further references). The papers mentioned above show that contrary to the belief, stable coexistence or even stable fluctuation of population densities via Hopf bifurcation is possible. Using very simple models, they derive conditions for the occurrence of Hopf bifurcations and compute Floquet exponents of the bifurcating periodic solution to determine the stability of the solution. A l l the papers mentioned above use the weighted total density as variables for the fitness functions. Sumner's paper [22] goes beyond the basic model to add harvesting or planting terms to explore what is required to attain stable coexistence or a limit cycle where none was possible without the control terms. The basic results are reiterated here, but the control aspect of the model is not covered. In the first section, the basic models are introduced, and summary of the theoretical analysis is presented. The next section then gives a numerical example of a particular model using X P P A U T . 8 Chapter 2. Simple continuous-time 2.1 competition 9 Model equations Denote by M the population density of the pioneer species and by ./V that of the climax species. Then the system of ODEs for the two variables are ^ = Mn(Z), (2.1) ^ = N (W), (2.2) V where Z and W are the weighted total densities defined by / z \ I (2.3) = c w with / C = \ Cn C12 c i c 2 (2.4) 22 The matrix C is called the interaction matrix, as mentioned in the introduction, and it measures the degree of intraspecific and interspecific competition for the two species (for example c\\ is the intraspecific competition for the pioneer species and c i is the 2 interspecific competition for the pioneer). For the fitness function p(Z) to correspond to a pioneer species, we take it to be a monotonically decreasing function with p'(0) > 0, /j, equal to 0 at exactly one place, say at consequence of these conditions, p'(Z\) Z\ > 0, and thus /J,(Z) < 0 for Z > Z\. As a must be negative. For N to be a climax species we require its fitness function, n be unimodal (one-hump). Further, we assume 7/(0) < 0, that n has one peak at W* where r)(W*) > 0, and that rj(W) is equal 0 at exactly two places, at W\ and 14^, with 0 < W\ < Wi- As consequence, we have n'(W\) > 0 and n'(W2) < 0. See figure 2.1 for typical examples of pioneer and climax fitness functions. A n interior equilibrium occurs when the two isoclines n(Z) = /J.(M, N) = 0 and n(W) = n(M,N) — 0 intersect. These can be found by solving the system of linear Chapter 2. Simple continuous-time competition 10 Chapter 2. Simple continuous-time competition equations {Z = c \M + c N — Z ,W X 12 11 = c M + c \N = Wi }. t 21 2 This is illustrated in <2 figure 2.2. From the figure one can see that there are two different interior equilibria, E\ corresponding to a smaller equilibrium W\ for the climax species, and E corresponding 2 to W . The equilibria are 2 c Z 22 Mi x - c Wi 12 detC cuWj - c Z detC 2X There are also boundary equilibria B\ t2 Z\jc\\,N (2.5) x = {M = 0,N — Wi /c } t2 22 and Bz = {M — = 0} that correspond to the exclusion of either species. To look at the local stability of these equilibria, the Jacobian of the vector field is found: J(x) = / fi 0 ^ 0 r, / + o 0 \ c N-^dW } (2.6) Chapter 2. Simple continuous-time 12 competition At an equilibrium, fj, = rj = 0, so (2.6) becomes where x is the vector (M,N) . T J{Ei) = To determine the eigenvalues at an equilibrium, we consider the trace and the determinant of J(Ei): a = trJ(E ) A = = M c p'{Zi) i i detJ(E ) i (2.8) + N cz ri'(W ), 11 i 2 i (2.9) = M Nifi {Z )ri'(Wi)detC. , i 1 Since the eigenvalues are then A 1, = -[«7±vV -4A], _ 2 1 ) 2 (2.10) the conditions for stability are a < 0 and A > 0. Since p'(Zi) < 0 and n'(W\) > 0, Ei is stable only if det C < 0, which corresponds to the interspecific competition being greater than the intraspecific competition. Similarly, since n (W ) < 0, E is stable only if 1 2 2 det C > 0, corresponding to intraspecific competition being greater than the interspecific competition. The equilibrium E corresponds to pure competition, where the equilibrium is either 2 stable coexistence or mutual exclusion. Since a at E is always negative, there is no 2 Hopf bifurcation. On the other hand, Ei behaves like the interior equilibrium of a predator-prey system. Near this equilibrium, the 'predator' climax species benefits from the increase in population of either species, while the 'prey' pioneer always suffers. If det C < 0, then the sign of a determines the stability of Ei, and Hopf bifurcation may occur at parameter values where a = 0. Chapter 2. 2.2 Simple continuous-time competition 13 Hopf bifurcation analysis at E\ For a Hopf bifurcation to occur as parameters change, a pair of complex conjugate eigenvalues of the Jacobian at E\ must cross the imaginary axis. That is to say, the real part of the eigenvalues must change sign. To ensure that the eigenvalues of J(E±) have nonzero imaginary parts, we must have cr < 4A. (2.11) 2 So if det C < 0 and a = 0, this condition holds. The first condition is the same as that for the stability of E\, and second occurs naturally at the bifurcation point. If these conditions are met, then Hopf bifurcation could occur at parameter values that gives a = trDF(Ei) a = = 0. Using (2.8) and (2.5) gives de\c^ ~ C22Zl Cl2H/l ) ^( ) + ( Cll Zl CllWl ~ cziZOWfWi)]. (2.12) We choose c\\ and C22 as bifurcation parameters, which is reasonable from a biological perspective, since the parameters are self-depressive terms which may possibly be adjusted by the management of such factors as inter-plant spacing (see [18]). Thus if c\\ is used as the bifurcation parameter, then bifurcation occurs at c c Z r]'(W ) = 21 2 and if c 22 22 1 l (c 2Z -c w )ii'(z ) 1 1 1 12 1 + c w r '(w y 1 22 1 ] { - } { - } 1 is used, the bifurcation occurs at cuCi Wi^(Zi) = 2 2 2 (c Z, u - c^W^rj^) + c Z x'(Z y n lf i Another condition needed for Hopf bifurcation to occur is one of the following: da = dc {c Z 22 x - c W )ii'{Z ) 12 1 1 + c^W^'jWr) detC u ' [ ' ' or da _ dc ~ 22 ( c „ W i - c^Z^'jWr) detC + c^Z i\Z ) x[ x ^ > n U - [ ' Chapter 2. Simple continuous-time competition 14 These conditions mean that the eigenvalues cross the imaginary axis with non-zero speed with respect to the varying parameters. It is clear that < 0 and > 0 , because the numerators in (2.5) are negative and det C < 0 . Thus Hopf bifurcation occurs, and Ei becomes unstable as cn is decreased, or if C22 is increased. The periodic orbit resulting from the Hopf bifurcation may or may not be stable. Stability is determined by a parameter /? (see Hassard et al. [6] for a formula), which is 2 derived from the third order normal form of the vector field. The parameter is given as -c Ni det Cn'(W )[r,"/ri ] (W ) , 22 For this calculation, c i2 (2.17) , 1 1 and c i have been taken to be 1 by rescaling. If f3 > 0 then the 2 2 orbit is unstable, and if fl < 0 then the orbit is locally asymptotically stable. f3 = 0 2 2 corresponds to critical Hopf bifurcation. Selgrade and Namkoong [18] in their paper use this parameter to show the existence of a Hopf bifurcation and a resulting stable periodic cycle for an exponential model similar to the one presented in the following section. 2.3 Numerical example using X P P A U T Here we consider exponential fitness functions of the form p(Z) = e^'^-l (2.18) n(W) = We( ~ ) - 1. (2.19) b w Assuming that c i = C i = 1 after appropriate scaling, we are left with four parameters 2 c i i ) c 2 2 ) a a n d b. Using 2 C n as the bifurcation parameter, figure 2.3 shows the transition from a stable equilibrium to a stable periodic orbit to an unstable equilibrium as cn decreases. The bifurcation involving the break-up of the periodic orbit is a global one, Chapter 2. Simple continuous-time competition 15 N 0 0.2 0.4 M 0.6 0.8 1 Figure 2.3: Hopf bifurcation at E\ for a = 0.4, b = 1.1, C22 = 1. The phase portrait on the left shows a stable equilibrium at c = 0.45. Hopf bifurcation occurs at cn = 0.4141. The middle phase portrait shows a stable periodic orbit for C n = 0.38. C n = 0.35 in the right phase portrait, when orbit has vanished. n probably a saddle-loop bifurcation (see Kuznetsov [7]), and this cannot be detected using local analysis. Figure 2.4 shows the bifurcation diagram in cn from X P P A U T . As cn is decreased through a bifurcation value, E\ becomes unstable and stable periodic orbit (solid dots) appear. The amplitude of oscillation, characterized by the maximum and minimum of M on the diagram, increases until the orbit vanishes in the global bifurcation. Note that when cn is further decreased E appears, however, it is unstable since det C < 0 2 still. The interior equilibria E x branching points on B3. and E 2 cease to exist in the positive quadrant at the Finally, a two-parameter continuation of the Hopf bifurcation at E\ is demonstrated in figure 2.5 in which C22 is chosen as the second parameter. The arrow on the figure indicates the direction of Hopf bifurcation as either C n is decreased, or C22 is increased. Chapter 2. Simple continuous-time competition 0.1 0.2 0.3 0.4 0.5 16 0.6 0.7 0.8 Figure 2.4: Bifurcation diagram in C n for a = 0.4, b = 1.1, and c 2 = 1. Thick lines indicate stability while the dotted lines are unstable. Hopf bifurcation is marked H B , and branching points are marked B P 2 Figure 2.5: Two-parameter bifurcation in C n and c - The other parameters kept constant as before. 22 Chapter 2. Simple continuous-time 2.4 competition 17 Summary The papers referenced in this chapter were able to show that for many parameter combinations, a simple model of pioneer-climax competition exhibits stable coexistence, contrary to popular belief. The numerical example in the last section verified these results. However, none of the papers referenced achieves correspondence with real forests by giving any biologically 'reasonable' parameter values, which would give us the likelihood of the events occurring, or the environments which would produce the events. Chapter 3 Simple discrete-time competition In this chapter, the simple model is extended to discrete-time maps. Models specific to pioneer-climax discrete-time competition are found in papers by Franke and Yakubu [3],[4], and Selgrade [19],[20]. The goals of these papers are same as the ones mentioned at the beginning of previous chapter, i.e., to find conditions for stable coexistence or for the existence of an invariant circle between the pioneer and climax species. However, the continuous time-models are replaced by discrete-time models. This change makes theoretical analysis a little more difficult, but the results are basically the same. Conditions for stable interior equilibria, Hopf bifurcations for maps (also called Neimark-Sacker bifurcations) and the stability of the resulting invariant circles are explored. Also, again, factors of harvesting and planting control terms are added in [14] and [24], but these are not covered in this thesis. The next section describes the main results of theoretical analysis, and the section after that gives a Hopf bifurcation analysis at an equilibrium, then an actual numerical example using X P P A U T in the final section. 3.1 Model equation The continuous-time system of chapter 1 now becomes a local diffeomorphism: (M,N)^(Mu.(Z),N (W)) v , (3.1) where, again, fi and rj are smooth functions of the weighted total densities Z and W. Interior equilibria are found by solving the equations {(J.(Z) = l,r)(W) = 1}. Again 18 Chapter 3. Simple discrete-time competition 19 there are at most two interior equilibria corresponding to the solutions of {Z = Z , W = x Wi},i = 1,2, where fi(Zi) = 1 and n(W ) = 1. The solutions are exactly the same as li2 before: Mi = Ni = c Z - c Wj detC CuWj - c Z detC 22 x 12 21 x (3.2) The Jacobian, also, is as before: °1 { J(x) \ 0 + 0 { ^c NATL dW 0 n C12 ^ (3.3) \ ci c / i v 2 22 except now, the first matrix becomes the identity matrix at an equilibrium: C 9 1 7V-*L (3.4) ]\fAv_ Coo The trace a and determinant A of J(E{) are a = 2 + Mift'(Z )c A = 1 11 + Nn '{Wi)c , 1 (3.5) 22 1 + M.yCZOcn + iV,V(Wi)c2 + M i / Y ^ ' C Z O ^ W i ) det C. 2 (3.6) The eigenvalues are thus: A l i 2 = 1 -\a± - 1(2 + M^ZOcn + 7Y,V(Wi)c22) ±^y/[M p,'(Z )c - N '{W,)c ]i Vo - 4 A 2 i 1 11 lV 22 -AM N c c i'{Z )r '{W ) l l 12 2ll l ] l (3.7) For the eigenvalues to have nonzero imaginary parts, it is clear that p,'(Zi)r)'(Wi) < 0 is necessary. Since fi'(Zi) < 0, and rj'(W\) > 0, only at the smaller interior equilibrium, Chapter 3. Simple discrete-time competition 20 E\ can there be complex eigenvalues. Further, if the eigenvalues are complex conjugates, then the norm squared of the eigenvalues are given by ^ det C11 1VI "TT? Cl9iW-T7^ I = M N i'(Z )r '(W ) 1 lf 1 ) det C> 0, 1 (3.8) so det C < 0 is another necessary condition. This condition, again, asserts that interspecific competition is stronger than intraspecific competition. 3.2 Hopf bifurcation for maps A Hopf bifurcation for discrete-time maps (also known as a Neimark-Sacker bifurcation) occurs when conjugate complex eigenvalues, A, A cross the unit circle at an angle such that \ n ^ 1 for n = 1,2,3,4. It is known that the complex eigenvalues of the matrix J(E) can lie on the unit circle if and only if det J(E) = 1 and —2 < trJ(E) < 2 (see [20] for a proof). These conditions would imply 0 > M /(Z )c 0 = M (i'(Z )c 1 1 1 1 1 1 +^7/(14^)022, + N ri\W )c22 n (3.9) + M N ii\Z )Ti'(W )detC. 1 1 and 1 1 1 (3.10) 1 In equation (3.10), the first term is negative and the second and third terms are positive, so the condition may be achieved by either decreasing cn or by increasing c , however, 22 changes in these parameters also change the values of M\,N\ and det C. If C n is used as the bifurcation parameter, then solving (3.10) and using (3.2), we find that bifurcation occurs at [20]: = C n c c Z ! / / ( W O + c Z {Z c 22 21 21 {Z c -W c )[l x 22 l 12 1 1 - 22 W c )n'(Z )ri'(W ) 1 + W r '(W )]p'(Z ) 1 ] 1 1 12 1 1 + c W r '(W y 22 1 1 i l ' J Since the numerators in (3.2) are negative at E , each term in both the numerator and 2 the denominator of (3.11) is positive. Thus the value given for C n is positive. Similarly, Chapter 3. Simple discrete-time if c 2 2 competition 21 is used as the bifurcation parameter, bifurcation occurs at: ci wy(£i)[cii + T / W X ^ i d i - = 2 ° v'(W )(W c -Z c ) 22 1 1 u 1 + Z i'(Z )[c 21 1 lt z )] l C 2 1 + '(W )(W c -Z c )Y 11 v 1 1 11 1 ' {6 21 ] Since from (3.10) and (3.2) we have 0 < c + n'CWlXWici! - Z n l C 2 1 ), (3.13) and hence both numerator and denominator in (3.12) are negative which implies that the value for C22 is positive. To ensure that the eigenvalues cross the unit circle with nonzero speed with respect to changing parameters, we must have or ^ 0. Noting that | A | = det J(Ei), 2 one can see that d(det J ( E Q ) = (Z - W lC22 den [detC] l C l 2 ) 2 1 + {c ic n'(W ) 2 22 j C i C i / i (Zi) + c 2 l M ' ( Z 1 ) 7 ? ( M / 1 ) ( Z 1 c 2 2 - W2c12)} / — x 2 2 As in the previous chapter, the numerator of the first term is negative, and the denominator is positive, so the derivative is < 0 at bifurcation. Similarly djdetJjE,)) dc 22 _ " c c 7 X^ )(Z c i 1 2 2 1 / 1 1 2 [detC] W ) lCll 2 cuv'jZjjW.cn { 6 - Z lC2 i ) [ c n + 7]\W ){W 2 2Cll - - i b } Z c )\ x 2X [det Cf Using (3.2) and (3.13), one can see that the derivative above is positive at bifurcation. Thus Hopf bifurcation occurs as C n is decreased, or as c 22 is increased. This will be demonstrated in the next section. A n invariant circle typically appears beyond the Hopf bifurcation, and the stability of this invariant circle can be determined by a stability coefficient B which depends on third derivatives of the fitness functions. This coefficient does not reduce to something as simple as that given for the O D E case in chapter 2, so it is omitted here (see Selgrade and Roberds [20] for a detailed derivation). Chapter 3. Simple discrete-time competition 3.3 22 Numerical example using X P P A U T Consider the following exponential fitness functions: /x(Z) n(W) (3.16) = We'b-W (3.17) So again, there are six parameters, c,-j, a and b. By appropriate scaling, one can assume that C12 = c i = 1. Figure 3.1 shows the process of Hopf bifurcation for maps. In the 2 first picture, the interior equilibrium E is stable and attracting. In the second picture, 2 soon after the bifurcation, a stable invariant circle appears. In the third picture, the invariant circle has broken in another global bifurcation. Note that global bifurcation for diffeomorphisms are usually complicated, involving chaos, and thus extremely difficult to analyze by hand (see Kuznetsov[7]). The trajectories on the invariant circle may or may not be periodic: it has been shown (see, for example, [7]) that there are regions in a two-parameter space near the Hopf bifurcation line called Arnold tongues where the trajectories on the invariant circle approach periodic orbits as time increases. There are an infinite number of these regions that approach the bifurcation line as narrow tongues. As our generic bifurcation parameter is changed, it goes through an infinite number of Arnold tongues corresponding to different rotation numbers, and thus an infinite number of periodic cycles are born and die as the parameter is varied. The bifurcation diagram in Cn is shown in figure 3.2. This is very similar to that found for the continuous-time system, with a Hopf bifurcation point as c\\ is decreased from a stable equilibrium. The only difference is that X P P A U T cannot draw the minimum and the maximum of the invariant circle after the bifurcation, but this is expected to look similar also, except near global bifurcations. Finally, a similar two-parameter bifurcation diagram for the Hopf bifurcation for maps is shown in figure 3.3. The curved line is the two-parameter Hopf Chapter 3. Simple discrete-time competition N 0.14 T—i—i—i—i—r •• • • . 0.12 0.1 0.08 h 0.06 0.04 0.02 0 0.250.30.350.40.450.50.550.6 23 N 0 0.10.20.30.40.50.60.70.8 M M N 0.2 0.18 " 16 ..14 0.12 L v o.Q8 *y t 0.02 ' : 0 }*\y*taprti r 0.3 0.4 M 0.5 0.6 Figure 3.1: Transition from stable equilibrium at E\ to invariant circle through Hopf bifurcation for maps. The parameters use are a = 0.3, b = 1.1; c n = 0.34 for the first map, C n = 0.27 for the second map, and Cn = 0.2 for the third map. 0 0.2 0.4 0.6 0.8 1 Figure 3.2: Bifurcation diagram for the discrete system in c\\. The parameters are a = 0.3, b - 1.1, c 2 = 12 Chapter 3. Simple discrete-time " j c2 2 2.5 - 2 - 1.5 - 1 1 0.1 0.2 competition 24 1 r 0.3 0.4 1 - ' 0.5 - 0 — 0 Cn 0.5 0.6 Figure 3.3: Two-parameter bifurcation in cn and c2- To the right of the vertical line, the interior fixed point E\ does not exist in the positive quadrant. The other parameters are a = 0.3 and 6 = 1 . 1 . 2 bifurcation line, and the vertical line is just the branching point where E\ ceases to exist in the first quadrant. Arnold tongues are not shown. 3.4 Summary The discrete-time model is more suited for populations that reproduce in discrete generations. The results obtained in the referenced papers are similar to the ones in the previous chapter: that stable coexistence of the two tree species is possible under many parameter combinations in the form of a stable equilibrium or an invariant circle. The same problem persists, however, that there is no quantitative correspondence with reality. I do not know what the 'reasonable' parameter values may be to test the likelihood of the events described above. Chapter 4 Continuous-time genetics model The previous two chapters showed that coexistence of the two species, pioneer and climax, is possible under different conditions, either as a stable equilibrium or as a stable periodic solution. In the next chapters, we examine what the effect of genetic variation might have on existence and stability of equilibria. This is an interesting question, and there have been many papers in the past that examined the question in terms of models of systems of differential and difference equations (for example Roughgarden [12], Levin and Udovic[8], Selgrade and Namkoong [15],[17],[16]). Selgrade and Namkoong [16] for example, investigate cases where either populations are excluded competitively in the absence of genetic variation, but a stable polymorphism exists for competition with genetic variation. They use as examples fitness functions that are linear in the population density variables, and both functions that are independent and dependent of the genetic frequency. They find that for fitness functions that are independent of the genetic frequency, stable polymorphic coexistence is possible for a case where there is global exclusion of the genetic population in its fixation planes. In this chapter, I apply the same questions specific to the pioneer-climax case, adding genetic variation to the pioneer species, and using only fitness functions that are independent of the gene frequency. I have been able to demonstrate using an example, that a stable polymorphic interior equilibrium or cycle are possible, although they vanish on either fixation planes. Basic models are introduced and a theoretical analysis is done in the next section. In the following section, a special assumption allows the use of an invariant manifold 25 Chapter 4. Continuous-time genetics model 26 theorem to show that a stable interior polymorphism and a Hopf bifurcation on the manifold is possible. In the third section a numerical example of this phenomenon is given using X P P A U T . 4.1 M o d e l equations The following models are extensions of those in chapter 2. With addition of genetic variation in the pioneer species, the dimension of O D E system is increased by one with the introduction of the gene frequency of the A allele, p. As explained in the introduction, the system of equations now becomes ^ = P{PA - ft) = p(l - P)(PA - Ho), M d — d = „M, (4.1) N It =* > N where fi and fi are defined as a A V-A - PHAA + (1 - Va = PVAa + (1 - p)[iAa, (4.2) p)Paa, (4.3) and fi is the average population fitness defined as H = pfi A + (I - p)(ia, (4.4) and now there are three distinct fitness functions for each genotype. Only functions of population density are considered in this thesis, although functions involving the genetic frequency p are also possible (see, for example [15]). Thus fiij = fiij(M, N). Papers such as Selgrade and Namkoong [17] look at a general competition model involving genetic variation, and does most of the analytical ground-work for this chapter. Solutions to Chapter 4. Continuous-time genetics model 27 (4.1) are found in the region T = {(p, M, AQ : 0 < p < 1, M > 0, N > 0}. For an interior equilibrium ((p, M , N) € mt(jF)) to exist, the heterozygote fitness for the pioneer must be either superior or inferior to both homozygote fitnesses at the equilibrium. That is to say, we have over-dominance or under-dominance at the equilibrium. At the equilibrium, we have fi = n = 0 thus HA = Va = 0. The last two conditions imply that the following must be satisfied: PPAA + (1 - p)pAa = 0, (4.5) PVAa + (1 - p)Vaa = 0. (4.6) Solving the above two equations make it necessary that either VAa > 0 > VAA, Vaa or VAA I Vaa > 0> fiAa- Since the fitnesses Vij are independent of p, the following identities can be verified easily: 2dp" = ( 4 J ) 1 3^ 2~dp? = VAA- Vaa-^VAa- (4.8) Using these, the Jacobian matrix at an internal equilibrium C is given by P)dv 2 J(C) \ P dM U 1 V 1 u J V dM dM P dN I V 1 (4.9) dN ^ dN I The lower right 2 x 2 matrix of J(C) is called the ecology matrix (from [15]) and is denoted by E(C). The eigenvalues of J(C) are Ai = | p ( l - p)0 = p ( l - P){VAA + Vaa - ^VAa), and A ,3 are eigenvalues of E(C). For the stability of C, all eigenvalues must have negative 2 real parts. The first eigenvalue Ai is purely real, and for X\ < 0, we must clearly have heterozygote superiority: VAa > 0 > VAA, Vaa at the equilibrium. Chapter 4. Continuous-time genetics model 28 Following Ginzburg [5], we make a non-degeneracy assumption of the fitness functions: dp dt] dp dM dN dn dN dM ? 0, (4.10) which is equivalent to det E{C) / 0 at an isolated equilibrium C G IrdT. Using the Implicit Function Theorem, one can see that the zero fitness curve locally is the graph of a vector function g of p: {(p,M,N):ii(p,M,N) = ri(M,N)} = {(p,M,N) : (M,N) = g(p)}. (4.11) The equilibrium C is a critical point of g since dfi/dp = 0. Now consider the eigenvalues of the ecology matrix E(C). The trace and determinant of the matrix are: a = A = trE(C) = M ^ i e t m + (4.12) N ^ = (^-^) (4,3) MN For a Hopf bifurcation to occur from the equilibrium C, one must have complex eigenvalues cross the imaginary axis at nonzero speed. For the trace o to change sign, must have opposite signs. Also, since ~ and and are negative (all pioneer genotypes have fitnesses that are monotone decreasing, so any nonnegative sum of the functions must also be monotone decreasing), we must have J^, > 0. This again indicates a predator-prey interaction. For the pioneer-climax competition, the competition occurs at small densities where the climax species has not yet climaxed. 4.2 Homozygote equality It is not possible to solve for the interior equilibria in general. However, if we assume a biologically reasonable simplifying condition [17], PAA — Paa {homozygote equality), then Chapter 4. Continuous-time genetics model 29 the O D E system can be reduced to two dimensions, and the mean fitness for the pioneer simply becomes the average of the homozygote and heterozygote fitness. Assuming homozygote equality, it follows that Pa ~ = (2p - 1){HAA ~ (4.14) PAa)- So if p = 0.5 then p = 0 for all M, N > 0. A simple coordinate transformation p = r + | gives r = p{\ - p){2p - \){p - p ) AA (4.15) Aa = (r + \)(\-r)(2r)(p -p ) (4.16) = r{p - (4.17) AA AA Aa p ) + 0(r ). 2 Aa Thus, for example, if uniform heterozygote superiority holds throughout intj 7 p Aa (i.e., p AA < — e throughout intT for some e > 0), then the two-dimensional manifold r — 0, or equivalently p = 0.5, is exponentially stable. Thus the solution to (4.1) reduces to that of M = 0.5(p N = r,N. AA + p )M, Aa (4.18) Note that the mean fitness in (4.18) is just the average of the genotype fitnesses. The space V = {(p,M,N) : p = 0.5,M > 0,N > 0} is an attracting invariant manifold for each interior equilibrium. Thus a periodic solution which is exponentially stable in V is also exponentially stable in the full 3-dimensional space, since Ai < 0 is assumed by heterozygote superiority. For this to be true, it is not needed that the plane V be attracting globally, or in other words, it is not necessary to assume global heterozygote superiority. We only need to assume homozygote equality in a neighborhood of V and heterozygote superiority at the equilibrium. Moreover, since the bifurcation is persistent Chapter 4. Continuous-time genetics model 30 under perturbation, and removing homozygote equality will still leave a Hopf bifurcation. Thus if there exists an example with homozygote equality and with a Hopf bifurcation to a stable periodic solution, there also exist other examples without homozygote equality. Note that if the interaction coefficients for the genotypes of pioneer are the same, that is if fiij = fiij(Z), then the reduced system (4.18) can be handled by the analysis of chapter 1 by replacing u-(Z) = 0.5[p fitnesses are also pioneer. AA(Z) + pAa(Z)], since the average of two pioneer A l l the conditions for the existence of a Hopf bifurcation hold. If the interaction coefficients are different (fiij = P-ij(Z ) and Z \2^)i then the conditions become slightly more complicated. It is no longer possible in c tJ %3 = c{ M + x general to write the coordinates of the interior equilibria explicitly in terms of Z[ and 3 c ii5 i2) 2i-> 22, where pij(Z{ ) = 0. The Jacobian at an equilibrium becomes the ecology c c c 3 matrix mentioned above, and no simple condition like det C < 0 can be found. A n exception is when the pioneer functions are linear in M and N, and this case is explored in the next section. 4.3 Linear/Quadratic model Let us assume that a linear fitness function is used for the pioneer species, and a quadratic for the climax fitness. This is especially simple, because under homozygote equality, the average of two linear fitnesses is also a linear fitness. Let Pii(Z) n(W) = a -Z \ (4.19) l i3 = b-(W-c) , 2 (4.20) then for homozygote equality, M = a-Z, (4.21) N = b-(W-c) , 2 (4.22) Chapter 4. Continuous-time genetics model where a = (a AA + a )/2, and Z = (Z AA Aa cn = C2i = then Z = Z = c M 31 + Z )/2. Aa 1 Also let + (4-23) 1 2 ( ^ + 4°), + C\ N. So the equilibria (Mi,Ni) tl 2 Z = cM n W (4-24) are the solutions of + c N = a, (4.25) 12 = c M + c N = ±y/b + c. 21 (4.26) 22 It has already been shown in chapter 2, that only the smaller of the two interior equilibria can undergo a Hopf bifurcation. Thus for E\ c a - c (c - y/b) 22 M l ~ cujc-y/b) 12 delC ' N l - ca 21 delC = • ( 4 - 2 7 ) Further, noting that p'(Zi) — —1 and r)'(Wi) = y/b, the bifurcation occurs, using (2.13), at c-\\c y/b j= ———. - c (c - y/b)) + c (c - y/b)y/b 22 cn = — -{c a 22 12 (4.28) 22 Figure 4.1 shows trajectories of the linear/quadratic model using X P P A U T , for homozygote equality. Note that p approaches 0.5 monotonically, while on the MTV-plane, E\ is locally asymptotically stable. As one of the bifurcation parameters, cn is decreased (recall that c n = l/2(c A n + c ) , so one can decrease either or both of c a n AA and c £ to A achieve this), the equilibrium goes through a Hopf bifurcation in V, and forms a stable periodic orbit. This simple example already shows the effect of genetic variation. Although both fixations, p = 0 or p — 1 are unstable, they are invariant. Thus if, for example, initially p = 0 then only the aa genotype is present, and its fitness cannot produce a stable equilibria: the result is exclusion of either species depending on initial values (see figure 4.2 for trajectories on the MiV-plane when p{t = 0) = 1 or p(t = 0) = 0). Chapter 4. Continuous-time genetics model 32 Figure 4.1: Trajectories for continuous-time genetics model with homozygote equality. The parameters used are a - a = 0.5,0^ = 1.3,6 = 0.4, c = 2.1, c 1.1,cn = 0.53 for top diagrams, c = 0.4 for the bottom diagrams. The diagrams on the right are 2-dimensional Mp-plane projections of the graphs on the left. Note that p approaches 0.5 monotonically for both diagrams, and the cycles are on the MTV-plane. : AA n aa 22 Chapter 4. Continuous-time genetics model 33 M Figure 4.2: Trajectories under loss of genetic variation. Coexistence of the two species is impossible if only one of the homozygotes is present. Extinction of either species depend on initial values. The parameters used are a — o, = 0.5, a — 1-3, b = 0.4, c = 2.1, C22 = 1-1, cn = 0.53. And p(0) = 0 (p(0) = 1 gives same result for homozygote equality) AA aa Aa Next, to show that the Hopf bifurcation is not restricted to homozygote equality, X P P A U T is used to draw bifurcation diagrams by varying a parameter that will remove the homozygote equality. In figure 4.3 the parameter a , AA which initially equaled a , is aa varied together with Cn to give a two-parameter bifurcation diagram. When homozygote equality is removed, trajectories are attracted to an invariant manifold that is near p = 0.5. For the linear/quadratic model, this equilibrium can be sought explicitly by solving the three equations: {/J, = p, = f] — 0}. a 4.4 a Summary In this chapter, I have been able to show that, with genetic variation added to the pioneer species, not only could there be an stable interior polymorphic equilibrium or a cycle, but that the genetic variation is vital for these to exist. The papers referenced in this Chapter 4. Continuous-time genetics model 34 Figure 4.3: Two-parameter continuation, using parameters cn and CIAA, of Hopf bifurcations in genetics model (4.1). The parameters used are a,A = 1-3, a = 0.5, b = 0.4, c = 2.1. * indicates where the continuation was started: when aAA = 0.5 for homozygote equality. The z-axis shows the gene frequency: it is 0.5 at homozygote equality, but changes as the condition is lost. A aa Chapter 4. Continuous-time genetics model 35 chapter only considered fitness functions linear in population density, but also those with gene frequency dependence. The model used here as an example is linear for the pioneer, but quadratic for the climax species, and is specific to pioneer-climax competition, which has not been demonstrated in a previously published paper. Although the dynamics are more complicated with the added dimension, the assumption of homozygote equality effectively reduced the dimension to two again, and allowed reuse of the theory obtained in chapter 2. Since the pioneer fitness for this special case is simply the average of those of the homozygote and the heterozygote, one can quickly find cases where neither the homozygote nor the heterozygote alone can produce a stable coexistence with the competing climax trees, whereas their average can. Chapter 5 Discrete-time population genetics model In this chapter, the model of the previous chapter is extended to a 3-dimensional diffeomorphism. The dynamics are expected to be very similar, however, the analysis is more complicated. I am not aware of any papers that deal with this class of model. In Van Coller's [23] thesis, there are two chapters that deal with the same kind of simple genetic variation in a single species: one chapter deals with pioneer type trees, and the other with climax trees. Again, the switch to the discrete-time system is in order to approximate discretely reproducing populations more accurately. I have found again that stable interior polymorphic equilibria or invariant circles can exist, and also that genetic variation is necessary for their existence by means of an example model. When one starts with only one of the two homozygotes, the competitive system excludes one of the two species, depending on the initial coordinates on the phase plane. In the first section a simple linearization analysis is done to show that, again, local heterozygote superiority is a necessary condition for the occurrence of a Hopf bifurcation. In the second section, the same simplifying assumption, homozygote equality, is considered. Again, this allows us to reduce the dimension of the system using an invariant manifold. Finally in the last section, X P P A U T is used to demonstrate the possibility of a stable interior polymorphic invariant circle, and the consequences of fixation. 36 Chapter 5. Discrete-time population genetics model 5.1 37 M o d e l equations As briefly described in the introduction, the dynamics for the gene frequency is slightly changed, and the system of maps becomes i—> (p,M,N) (p—,pM,rjN) (5.1) where p, p , p are defined exactly the same as before, and pij are functions of M and N A a only. Equilibria are found when p — r\ = 1, so also p = p = 1- The last two conditions A a imply that the following must be satisfied: PVAA PPAa + (1 - p)HAa = 1, (5.2) + (1 - = 1- (5.3) p)Paa Unlike in the O D E case, this does not directly imply that homozygote superiority or inferiority is necessary. The identities of previous chapter, (4.7) and (4.8) still hold, and now the Jacobian at an internal equilibrium C becomes 1 J(C) = I + J O W M ) 0 \ £r(fiA/n) MI(^A/P) dM 1 V 1 0 I V 1 dM J V i v ^ (5.4) dN dN / where / is the three-dimensional identity matrix. The first eigenvalue of the Jacobian is just 1 + T^(p /p). A Expanding the partial derivatives and employing the identities (4.7) and (4.8) leads to Ai = 1 + PAA ~ pAa- (5.5) For an interior equilibrium to be stable, all eigenvalues must lie inside the unit circle on the complex plane. Thus for stability we require |1 + -2 < PAA — ^Aa\ PAA - < I^Aa < 1 0, (5.6) Chapter 5. Discrete-time population genetics model 38 which is, again, the heterozygote superiority condition required at the equilibrium since the genotypes AA and aa are symmetric. The other two eigenvalues are from I + E(C) 2 (I is the 2 x 2 identity matrix), where again, E is the lower right ecology submatrix. 2 If the total weighted population density variable is the same for each of the pioneer genotypes, that is if fiij = fiij(Z), then there is a two-dimensional invariant manifold as in chapter 3. If p —> p , then the function fx(Z) in chapter 3 becomes 0 v{Z) = P PAA(Z) 2 0 2po(l - )tlAa{Z) + P0 + (1 - PofVaa(Z). (5.7) The same condition det C < 0 must hold for Hopf bifurcation on the invariant manifold. Given that there exists a stable interior equilibrium or invariant circle on the 2-dimensional invariant manifold, they are locally exponentially stable if heterozygote is superior to both homozygotes in that neighborhood. 5.2 Homozygote equality That p —> po exponentially for some po > 0 can be demonstrated, as before, if we assume a simplifying condition that the two homozygotes have identical fitness functions. Given that p A = Vaa then A VA V VA V ' + (1 - p)VAa (2p - 2p + 1)VAA +2p(l -p)vAa (5.8) 1, (5.9) PVAA 2 = p=0.5 and one can show that again, p —> 0.5 as t —> oo. A simple coordinate transformation p — | + r takes the map for p to r{VAA ~ VAa) + \(VAA 2r (fj, 2 AA 2 VAA » A A - p ) + \(VAA + VAa) Aa - + VAa (r ) 2 r + + VAa) 0 (5.11) (5.12) Chapter 5. Discrete-time population genetics model so that if fj-Aa — £ VAA > 39 for some e > 0, then the coefficient in front of r is strictly between 0 and 1, so the two-dimensional manifold r = 0, or equivalently p = 0.5, is exponentially stable. So again, the three dimensional system reduces to p = 0.5 and (M,N) As before, if both fi AA and . — ((PAA + p )M/2, N). Aa (5.13) V are functions of the same weighted total density Z , then (5.13) is exactly the same system described and analyzed in chapter 4. Thus there would a be stable interior polymorphic equilibrium or an invariant circle given the same conditions given in that chapter. If the Zij are different, then for homozygote equality the analysis would be similar to the one given in chapter 4, but more complex. However, this case is not considered in this thesis. In the next section an exponential fitness function is analyzed using X P P A U T . 5.3 Numerical example Consider the following exponential model: Pij{Z) = e^~ \ . TI(W) = We ~ \ z {b w (5.14) (5.15) Figure 5.1 shows the trajectories before and after Hopf bifurcation at E\ for homozygote equality. Again, to show that the Hopf bifurcation is not restricted to homozygote equality, a two-parameter bifurcation is computed using X P P A U T . Figure 5.2 shows the two-parameter (cn and CIAA) bifurcation diagram for the Hopf bifurcation at Ei, plotted against the equilibrium p in the z-axis. Note that heterozygote superiority is lost as increases past a^ . a While it is not analytically obvious, it can again be demonstrated that in this model, genetic variation may be crucial in making a stable interior equilibrium possible. If there 40 Chapter 5. Discrete-time population genetics model Figure 5.1: Trajectories for discrete-time genetics model, before and after Hopf bifurcation. The parameters are c = 1, a = a = 0.2, a = 0.4, b = 1.2, with p(0) = 0.1. The parameter c = 0.5 for the top diagrams, and c = 4 . 3 for the bottom diagrams. The diagrams on the right show the same trajectories projected onto the Mp-plane. Note that p approaches 0.5 monotnonically. 22 n AA Aa Aa n Chapter 5. Discrete-time population genetics model 41 Figure 5.2: Two parameter continuation of Hopf bifurcation for the discrete-time model. The other constant parameter values are the same as in figure 5.1. The mark * indicates where the continuation was initiated, at homozygote equality (CIAA = a = 0.2). The vertical axis shows the equilibrium p value. a a is only one of the homozygotes present initially, the system would exclude either species depending on the initial values, making stable coexistence impossible. Using the same model as above, consider trajectories starting with p = 0 or p = 1. As it can be seen from figure 5.3 below, in either case there is no longer a stable interior equilibrium, but the species exclude each other depending on the initial condition. 5.4 Summary The results of this chapter are very similar to those of chapter 4. I have shown, through an analogous analysis to that of chapter 4, that there exists a stable interior polymorphic equilibrium or invariant circle, given the simplifying homozygote equality condition. I have also shown numerically that homozygote equality is not necessary for stable coexistence. Moreover, a numerical example showed a case where the genetic variation is Chapter 5. Discrete-time population genetics model 42 Figure 5.3: Trajectories under loss of genetic variation. The trajectories here for competition between climax and either of the homozygotes shows that the species exclude each other, depending on the initial condition. The parameter values are the same as those used in the top diagram of figure 5.1 a necessity in obtaining such an equilibrium: coexistence becomes impossible when the system initially starts with either of the homozygotes only. Chapter 6 Genetic variation on both species Finally, I consider a four-dimensional system of ODEs, which includes genetic variation in both the pioneer and the climax species. In addition to the density variable M and TV, there are the two gene-frequency variables p and q for the A allele in the pioneer species and B allele for the climax species, respectively. This model can be considered a generalization of the one in chapter 4, since fixation in the climax species will reduce to the same model. Selgrade and Namkoong [17] deal with this type of competition, and derive general results. The paper show some examples where stable periodic solutions are possible for species exhibiting a predator-prey interaction, when the fitnesses are functions of population densities only. In this chapter, I survey the analytical results of the paper, then give a new example specific to pioneer-climax competition. I show that there can be a stable polymorphic interior equilibrium or cycle in the four dimensions. As well, I give some example where there cannot be a stable coexistence in the absence of genetic variation in one or both species. 6.1 Model equations The alleles for the climax population are B and 6, and the gene-frequencies are q and 1 — q respectively. There are six distinct fitness functions of weighted total population density, PAA(Z ), aa V (Z ), Aa Aa v (Z ), aa aa r,B (W ), BB B 43 r} (W ), Bb Bb n (W ). bb bb Chapter 6. Genetic variation on both species 44 The system of ODEs now looks like: P = 9 = P(»A - p) = p(l - p)(f*A - Ha), P{VB-V)=p(l-P)(VB-Vb), M = pM, N = r/iV, (6.1) where the marginal fitnesses p , Pa, VB, Vb d average fitnesses p and r/ are defined a n A exactly same as before: VB = (6.2) qVBB + (1 - q)VBb, Vb = v = qvBb + ( l - qvB q)vbb, (6.3) + {i- q)vb- (6.4) The definitions for the pioneer population are already given in chapter 4. The derivative identities also hold: drj dq~ dq 2 = 2(VB = 2{VBB At an equilibrium, we must have p A ~ Vb), (6.5) - 2r)Bb + Vbb)- (6.6) = p = VB = Vb — 0. This implies again that either a heterozygote superiority or inferiority must hold for both species. The Jacobian at an equilibrium E is: -Vb) J(E) = \ (6.7) 0 0 0 0 1 V 1 I y dM dM 1 V 1 l y dN dN Chapter 6. Genetic variation on both species 45 The first two eigenvalues are identified immediately: Ai = p(l -p)(pAA A = q(l - q){vBB - 2vBb + va), 2 + -ZPAO, Vaa), (6.8) (6.9) and the remaining two are again, the eigenvalues of the lower right 2 x 2 ecology matrix. For an equilibrium to be stable, the eigenvalues must all have negative real parts, so this clearly means there must be heterozygote superiority for both populations at the equilibrium, employing the same analysis as in chapter 4. 6.2 Hopf Bifurcation Consider the ecology matrix: I V 1 E(C) \ i v dM dM I V 1 i v dN dN (6.10) I The trace and determinant of the matrix are exactly the same as given in chapter 4, equations (4.12) and (4.13). The difference is that now r\ is no longer a simple function of population densities, but also involves genetic frequency of the B allele. One cannot say for certain this time, that or at an equilibrium is positive, since a nonnegative sum of unimodal functions are not necessarily unimodal. However, the fitness functions of the three genotypes of the climax species cannot have so large a difference, and one might assume safely that J^, 6.3 > 0 for competition at the smaller of the two equilibria. Homozygote equality Again, the analysis is much simplified when we assume homozygote equality for both species (VAA = Vaa, VBB = Vbb)- Skipping a detailed analysis, the assumption makes p = Chapter 6. Genetic variation on both species 46 q = 0.5 exponentially stable (a simple coordinate transformation p = p + 1/2, q = q+ 1/2 will show this), thus reducing the system of equations to second order in M and TV: M = ^(ti N = \(r B + r Bb)N. AA + VAa)M ]B (6.11) 1 If we assume further that the weighted density variables for each genotype in the respective species are identical (i.e., Z =Z AA Aa and W = W ) BB then the results of chapter Bh 2 may hold directly. There is a possibility, in case the homozygote and heterozygote fitness differ greatly, that their average will not be a simple unimodal function. However, this is probably not biologically realistic. So again, one would expect there to be at most two interior equilibria, and Hopf bifurcation would occur at the smaller equilibrium by varying either cn or c 22 6.4 Numerical example using X P P A U T Exponential models are again considered here: PijiZ") = e ^ - l , (6.12) nij{W ) = W e^- ^-1. (6.13) i3 ij W For simplicity, assume identical density variables (Z AA =Z Aa and W BB = W ). Bb With homozygote equality, one can easily find the equilibrium E\ using nearly the same parameters as the example in chapter 2, only choosing CLAA and a Aa so that their average equals a in chapter 2, and similarly choosing bsB and bsb such that their average will equal b in the model in chapter 2. For the diagram in figure 6.1, I chose p(0) = 0.1 and q(0) = 0.9 to demonstrate how the gene frequencies approach 0.5 while on the MA^-plane, the trajectories either approach an interior equilibrium, or approach a stable periodic orbit. Hopf Chapter 6. Genetic variation on both species 47 Figure 6 . 1 : Trajectories for the four-dimensional continuous-time model with genetic variation in both species, before and after Hopf bifurcation. The top two diagrams show a stable interior polymorphic equilibrium: on the left p approaces 0.5 from the inital 0.1; on the right q approaches 0.5 from the initial 0.9. The two bottom diagrams show similar results after a Hopf bifurcation in the MA^-plane. The parameters are O-AA — a<ia = 0.3,a,i = 0 . 5 , 6 5 3 = & && = 0.9,656 = 1 . 3 , c 2 = 1; cn - 0.53 for top diagrams, cn = 0.44 for the bottom diagrams. a 2 Chapter 6. Genetic variation on both species 48 bifurcation is persistent under small perturbations, so it will still occur after homozygote equality is removed for either or both species. This fact is shown in figure 6.2, which is a two-parameter bifurcation diagram in a AA and bsB- Curve i on the diagram is the interior polymorphic Hopf bifurcation: note that it ceases to exist as heterozygote superiority is lost (a AA goes beyond a Aa = 0.5), and it is taken over by another Hopf bifurcation curve iii, which is the one for the case p — 1. Curve ii goes into unrealistic regions when it approaches tangentially curve iv, which is another Hopf bifurcation curve for the fixation p = 1 and q = 1. Finally, curve ii is a Hopf bifurcation curve for the case q = 1. Note that inside the lower left rectangle bounded by the dotted lines, heterozygote superiority holds for both species, so p = 1 and q = 1 are unstable, though invariant. Finally, the effect of fixation, that is, loss of genetic variation in either or both species, is demonstrated. The trajectories in figure 6.3 shows the case when the initial gene frequencies are p(0) = 0 and/or q(0) = 0. The interior equilibrium is no longer possible in this case, and the species exclude each other depending on the initial values. It is seen that for the particular parameter values, there is a global exclusion of the climax species when 9(0) = 1 and p(0) = 0.5. 6.5 Summary In this chapter I was able to show that there exists stable interior polymorphic equilibrium or cycle when the pioneer and the climax species compete with genetic variation on both species. Moreover, I found that these could vanish when the variation is removed for either species at homozygote equality. The result of the two-parameter bifurcation diagram in figure 6.2 reveals that interior polymorphic equilibria and cycles are not restricted to homozygote equality, but persists when the condition is removed, by varying a AA and OBB- The two-parameter continuation Chapter 6. Genetic variation on both species 0 0.1 0.2 0.3 a>AA 49 0.4 0.5 0.6 Figure 6.2: Hopf bifurcation diagram in two parameters: a A d bsB- The other parameters are a = 0.5, a = 0.3, 6 = 1.3, b = 0.9, c = 0.53, c = 1. Curve i is for polymorphic Hopf bifurcation; ii is Hopf bifurcation for when q = 1; i i i is Hopf bifurcation corresponding to p = 0; curve iv is Hopf bifurcation on the fixation plane p = l,q = 1. The bottom diagram shows the same curves in three dimensions with p plotted along the vertical axis. The label * indicates where homozygote equality holds for both species. a n A 12 22 i2 22 n 22 Chapter 6. Genetic variation on both species 0.2 0.4 0.6 50 0.8 M Figure 6.3: Trajectories under loss of genetic variation. The parameters used are the same as the top diagrams in figure 6.1. The difference is that the initial value of p(0) = 0,<jf(0) = 0.5 is used for the top diagram and p(0) = 0.5, g(0) = 0 is used for the bottom diagram. Chapter 6. Genetic variation on both species 51 discovered other Hopf bifurcation curves which correspond to p = 1 or q = 1. Thus for some parameter values, specifically when a homozygote is superior to the heterozygote, stable coexistence is possible even under loss of genetic variation. Chapter 7 Conclusion This thesis has two main components. In the first half (chapters 2 and 3) I have surveyed the results of theoretical analysis by different papers on a non-genetical pioneer-climax competition, then proceeded to give numerical examples using the software package X P P A U T . In the second half (chapters 4, 5 and 6) I have applied some ideas on general competition models with genetic variation in one of the two competing species to competition of the pioneer-climax type. Some numerical examples were also given. The primary interest of the first half was to examine the qualitative behavior of competition between two species of trees with different parameters. It has been observed in reality that often the climax species exclude the pioneer species, but also that occasionally the species apparently coexist. Thus, information regarding what conditions allow for coexistence or periodic interior behavior is important. The second half is devoted to competition with genetic variation. The main question here is what are the situations (parameter combinations) that allow interior, polymorphic equilibria or cycles, which would be impossible at either fixation plane (p = 0 or p = 1). While there have been papers that examined this question using some models in continuous time, there has not been the equivalent in discrete time, nor any that are specific to pioneer-climax competition. This thesis makes some analogous analysis for the discrete-time well as presenting numerical examples for both continuous- and discrete-time cases. There is a lack of correspondence with real data. Although the systems examined 52 Chapter 7. Conclusion 53 in the thesis are very simplified, and only qualitative results at best can be expected, it would have been nice to have 'reasonable' parameters at hand to see the likelihood of different events occurring in the parameter space. The reasonable parameters are unknown to me, because of lack of research into real data that may be already available as published literature. 7.1 F u r t h e r research I have only looked at density dependent fitness functions in the genetic models, although fitnesses involving the gene frequency are also possible. Another question to be addressed is the 'control' aspect of these models. Given a model that describes a system of competition under 'natural' conditions, one can add control terms which might correspond to harvesting or planting. While 'optimal' control may be difficult to analyze by hand, simple harvesting or planting terms can be added in order to examine their effects. For non-genetic competition, Yakubu [24] and Selgrade [14] show how different stocking or harvesting can reverse possible undesirable behavior, or bring coexistence of species into a system that otherwise excludes one of the species. Similar control terms can be added to the genetic models, possibly some that alter population density as well as gene frequency by selectively planting or harvesting different genotypes. A natural extension of chapter 6 is to take the system to four dimensional diffeomorphism, which should produce similar results. Finally, an interesting study would be a spatial model. For the non-spatial model we assume homogeneous distributions for trees of both species, which is often a good approximation. However, it would be fruitful to study any effect of spatial imbalance, or effect of control terms which would plant or remove trees of either species in different spatial areas. Bibliography J . F . Crow and M . Kimura. An Introduction to Population Genetics Theory. Harper and Row, New York, 1970. B Ermentrout. The differential equations tool (user manual). Unpublished. Available at ftp.math.pitt.edu/pub/bardware. J. E . Franke and A . Yakubu. Mutual exclusion versus coexistence for discrete competitive systems. J. Math. Biol., 30:161, 1991. J. E . Franke and A . Yakubu. Pioneer exclusion in a one-hump discrete pioneerclimax competitive system. J. Math. Biol., 32:771, 1994. L. R. Ginzburg. Theory of Natural Selection and Population Growth. Menlo Park Benjamin/Cummings, 1983. B . D. Hassard, N . D. Kazarinoff, and H . Wan, Y . Theory and Applications of Hopf Bifurcation. Cambridge Univ. Press, New York, 1981. Y . A . Kuznetsov. Elements of applied bifurcation theory. Springer-Verlag, New York, 1995. S. A . Levin and J. D. Udovic. A mathematical model of coevolving populations. Amer. Nat, 11:657, 1977. R. M . May. Simple mathematical models with very complicated dynamics. Nature, 261:459, 1976. R. M . May and G . Oster. Bifurcations and dynamic complexity in simple ecological models. Amer. Nat., 110:573, 1976. J. D. Murray. Mathematical Biology. Springer-Verlag, New York, 1989. J. Roughgarden. Theory of Population Genetics and Evolutionary Ecology: An Introduction. MacMillan, New York, 1979. J. F . Selgrade. Period-doubling bifurcations for systems of difference equations and applications to models in population biology. Preprint, 1996. J. F . Selgrade. Using stocking or harvesting to reverse period-doubling bifurcations in models of population interactions. Preprint, 1996. 54 Bibliography 55 [15] J . F . Selgrade and G . Namkoong. Dynamical behavior of differential equation models of frequency and density dependent populations. J. Math. Biol, 19:133, 1984. [16] J . F . Selgrade and G. Namkoong. Examples of the effect of genetic variation on competing species. J. Math. Biol, 24:193, 1986. [17] J . F . Selgrade and G. Namkoong. Stable periodic solutions for two species, density dependent coevolution. J. Math. Biol., 22:69, 1986. [18] J . F . Selgrade and G. Namkoong. Stable periodic behavior in a pioneer-climax model. Nat. Res. Modeling, 4:215, 1990. [19] J . F . Selgrade and G . Namkoong. Planting and harvesting for pioneer-climax models. Rocky Mountain J. Math., 24:193, 1993. [20] J . F . Selgrade and J . H . Roberds. Lumped-density population models of pioneerclimax type and stability analysis of hopf bifurcations. Preprint, 1996. [21] S. Sumner. Competing species models for pioneer-climax forest dynamical systems. Proc. Dynam. Systems Appl, 1:351, 1994. [22] S. Sumner. Hopf bifurcation in pioneer-climax competing species models. Biosc, 137:1, 1996. Math. [23] L . Van Coller. Qualitative Analyses of Ecological Models - An Automated Dynamical Systems Approach. PhD thesis, The University of British Columbia, 1996. [24] A - A . Yakubu. The effects of planting and harvesting on endangered species in discrete competitive systems. Math. Biosc, 126:1, 1994. Appendix A The software package X P P A U T There are several software packages available today for analyzing system of equations, such as A U T O , AUTO90, Interactive A U T O and X P P A U T [2]. The last two are basically graphical interfaces to A U T O to facilitate computation. Of these, X P P A U T is especially easy to use, because it combines both the functionality of phase-plane plotting with the ability of A U T O to produce bifurcation diagrams. In order to produce such bifurcation diagrams as those presented in this thesis, the programs 'continue' a given equilibrium by varying a given parameter. The procedure that was used, is to (1) find an equilibrium point (stable or unstable) using the phase-plotting functionality of X P P A U T , then (2) transfer the equilibrium to the A U T O interface, and continue the point by varying a parameter. For the two-parameter bifurcation diagram of Hopf bifurcations, a bifurcation point is first located using a one-parameter procedure, then the bifurcation is continued along the two parameter plane. The advantages of doing a bifurcation analysis are obvious. Instead of doing numerous simulations by choosing many possible parameter combinations, one can find ranges of qualitative behaviors in up to two parameters. Even in a system with many parameters, one can explore different qualitative behavior by taking many two-dimensional cross sections in the parameter space. While the parameters are regarded as constant in the equations, it is often the case that they are dynamic in reality, which makes single-shot simulations less useful. By examining a bifurcation diagram, and by considering how a parameter would change slowly in time, useful predictions can be made on the changes in 56 Appendix A. The software package XPPAUT 57 qualitative behavior. For example, if carrying capacity is expected to increase slowly in time, then a bifurcation diagram in the parameter representing carrying capacity would show how behavior might change. X P P A U T is available from an anonymous ftp: ftp.math.pitt.edu/pub/bardware. There is also an online tutorial is also available at the same site. One copy of the tutorial is located at A.l http://www.iam.ubc.ca/guides/xppaut/start.html. Numerical details A U T O uses what is known as a predictor-corrector method to continue an equilibrium or periodic orbit. The method involves two steps: first an approximation to the next point on the curve is made, using a vector tangent to the previous point. This is the predictor step. Next, the approximation is improved (i.e, corrected) by iteration, using Newton's method. The bifurcation curve needs to be parameterized, and this is done using a pseudo-arclength. Meanwhile, the eigenvalues of the Jacobian matrix and a test function to detect bifurcations are monitored (Floquet multipliers are monitored for periodic orbits). For ODEs, while all the real parts of the eigenvalues are negative, the equilibrium is stable, and A U T O indicates this by drawing thick lines (filled dots for periodic orbits), and when one or more of the eigenvalues have positive real part, the equilibrium is unstable, and the lines are dotted. For maps, the eigenvalues are monitored if they are inside or outside the unit circle. To detect a bifurcation point, A U T O uses an indirect method using a test function, say / . When the sign of the test function changes, there is a bifurcation. A n example is / = ctk, \ctk\ = min{\ai\,|a |}, m where a,- are the eigenvalues. The accuracy of the computations depend on the stepsize used for the predictor step. Appendix A. The software package XPPAUT 58 A U T O uses an adaptive strategy for varying the stepsize: while the corrective iterations are converging rapidly, a large predictor stepsize is taken, and when the iterations converge slowly, the predictive stepsize is decreased. The user can choose the minimum and maximum stepsize to be taken. On the practical side, in order to produce the diagrams in this thesis, the A U T O output file, typically named *.p, is manipulated and its result is plotted using a plotting software like gnuplot. A.2 XPPAUT Listings Below are the X P P A U T input files that were used to produce the diagrams in the thesis. Note that there is an 'old' way and a 'new' way to write these files, and the ones below are mixtures of the two. The O D E files have extensions *.ode, while diffeomorphisms have extensions *.dif. Please refer to the manual for details. • X P P A U T file for the example in chapter 2 (ch2.ode) d m / d t = m u ( m , n ) *m d n / d t = e t a ( m , n ) *n par a=.5,b=.4,011=0.3,022=1.1 z(m,n)=cll*m+n w(m,n)=m+c22*n mu(m,n)=exp(a-z(m,n))-l eta(m,n)=w(m,n)*exp(b-w(m,n))-l done • X P P A U T file for the example in chapter 3 (ch3.dif) Appendix A. The software package XPPAUT 2 v x,y p a=l, b=l, cil=l,c22=l o x*exp(a-(cll*x+y)) o y*(x+c22*y)*exp(b-(x+c22*y)) done • X P P A U T file for the example in chapter 4. (ch4.ode) dp/dt=p*(l-p)*(wl(p,m,n)-w2(p,m,n)) dm/dt=u(p,m,n)*m dn/dt = (b- (w (m, n) -g) ~2) *n par a l l = . 5 , a l 2 = 1 . 3 , a 2 2 = . 5 , b=.4,g=2.1,cll=0.53,c22=l.1 z(m,n)=cll*m+n w(m,n)=m+c22*n wl1(m,n)=al1-z(m,n) wl2(m,n)=al2-z(m,n) w22(ra,n))=a22-z(m,n) wl(p,m,n)=p*wll(m,n)+(l-p)*wl2(m,n) w2(p,m,n)=p*wl2(m,n)+(l-p)*w22(m,n) u(p,m,n)=p*wl(p,m,n)+(1-p)*w2(p,m,n) done 4. X P P A U T file for the example in chapter 5. (ch5.dif) p ( t + l ) = p*wl(p,m,n)/fitmean(p,m,n) Appendix A. The software package XPPAUT 60 m(t+l)= m*fitmean(p,m,n) n(t+l)= n*(m+c22*n)*exp(b-m-c22*n) wll(m,n) = exp(all-bll*(cll*m-n)) wl2(m,n) = exp(al2-bl2*(cll*m-n)) w22(m,n) = exp(a22-b22*(cll*m-n)) wl(p,m,n) = p*wll(m,n)+(l-p)*wl2(m,n) w2(p,m,n) = p*wl2(m,n)+(l-p)*w22(m,n) fitmean(p,m,n) = p*wl(p,m,n)+(l-p)*w2(p,i,n) param cll=0.5,c22=l,all=2.1,al2=l.9,a22=l.l,b=l.2,bll=l,bl2=l,b22=l p(0)=0.5 m(0)=0.3765 n(0)=0.11674 done 5. X P P A U T file for the example in chapter 6. (ch6.ode) dp/dt=p*(l-p)*(wl(p,m,n)-w2(p,m,n)) dq/dt=q*(l-q)*(yl(q,m,n)-y2(q,m n)) J dm/dt=u(p,m,n)*m dn/dt=et a(q,m,n)*n par all=.3,al2=0.5,a22=.3, bll=.9,bl2=l.3,b22=0.9,cll=0.53,c22=l z(m,n)=cll*m+n w(m,n)=m+c22*n Appendix A. The software package XPPAUT wll(m,n)=exp(all-z(m,n))-1 wl2(m,n)=exp(al2-z(m,n))-1 w22(m,n))=exp(a22-z(m,n))-1 wl (p,m,n)=p*wll(m n)+(l-p)*wl2(m,n) J w2(p,m,n)=p*wl2(m,n)+(1-p)* 22(m,n) w u(p,m,n)=p*wl(p,m,n)+(l-p)*w2(p,m,n) yll(m,n)=w(m,n)*exp(bll-w(m,n))-l yl2(m,n)=w(m,n)*exp(bl2-w(m,n))-l y22(m,n)=w(m,n)*exp(b22-w(m,n))-l yl(q,m,n)=q*yll(m,n)+(l-q)*yl2(m,n) y2(q,m,n)=q*yl2(m,n)+(i-q)*y22(m,n) eta(q,m,n)=q*yl(q,m,n)+(l-q)*y2(q,m,n done
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Pioneer-climax tree competition models
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Pioneer-climax tree competition models Sakai, Shūichi 1997
pdf
Page Metadata
Item Metadata
Title | Pioneer-climax tree competition models |
Creator |
Sakai, Shūichi |
Date Issued | 1997 |
Description | Tree species can be broadly categorized into two kinds: pioneer and climax. Pioneer species are ones that survive under low population densities, but progressively do worse as densities increase. Climax species, on the other hand, need some degree of neighboring population to survive, and have a maximum fitness at a unique population density, whereafter fitness decreases with increased competition. This thesis examines models of competition between these two species both in continuous and discrete time. Whereas popular belief is that the pioneer species become extinct with competition, the models studied here suggest the possibility of coexistence, either in a stable equilibrium or a periodic solution. Simple genetical variations on one or both species are also considered for their effects on coexistence. It is found that genetic variety can be a crucial factor in achieving coexistence between the two species. |
Extent | 2505010 bytes |
Genre |
Thesis/Dissertation |
Type |
Text |
File Format | application/pdf |
Language | eng |
Date Available | 2009-03-24 |
Provider | Vancouver : University of British Columbia Library |
Rights | For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use. |
DOI | 10.14288/1.0079779 |
URI | http://hdl.handle.net/2429/6417 |
Degree |
Master of Science - MSc |
Program |
Mathematics |
Affiliation |
Science, Faculty of Mathematics, Department of |
Degree Grantor | University of British Columbia |
Graduation Date | 1997-11 |
Campus |
UBCV |
Scholarly Level | Graduate |
Aggregated Source Repository | DSpace |
Download
- Media
- 831-ubc_1997-0469.pdf [ 2.39MB ]
- Metadata
- JSON: 831-1.0079779.json
- JSON-LD: 831-1.0079779-ld.json
- RDF/XML (Pretty): 831-1.0079779-rdf.xml
- RDF/JSON: 831-1.0079779-rdf.json
- Turtle: 831-1.0079779-turtle.txt
- N-Triples: 831-1.0079779-rdf-ntriples.txt
- Original Record: 831-1.0079779-source.json
- Full Text
- 831-1.0079779-fulltext.txt
- Citation
- 831-1.0079779.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
http://iiif.library.ubc.ca/presentation/dsp.831.1-0079779/manifest