Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 164504, 9 pages http://dx.doi.org/10.1155/2013/164504 Research Article Bifurcation Analysis in Population Genetics Model with Partial Selfing Yingying Jiang1 and Wendi Wang2 1 2 School of Science, Sichuan University of Science & Engineering, Zigong, Sichuan 643000, China School of Mathematics and Statistics, Southwest University, Chongqing 400715, China Correspondence should be addressed to Yingying Jiang; jyy@suse.edu.cn Received 23 October 2012; Revised 4 February 2013; Accepted 7 February 2013 Academic Editor: Ljubisa Kocinac Copyright © 2013 Y. Jiang and W. Wang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. A new model which allows both the effect of partial selfing selection and an exponential function of the expected payoff is considered. This combines ideas from genetics and evolutionary game theory. The aim of this work is to study the effects of partial selfing selection on the discrete dynamics of population evolution. It is shown that the system undergoes period doubling bifurcation, saddle-node bifurcation, and Neimark-Sacker bifurcation by using center manifold theorem and bifurcation theory. Numerical simulations are presented not only to illustrate our results with the theoretical analysis, but also to exhibit the complex dynamical behaviors, such as the period-3, 6 orbits, cascade of period-doubling bifurcation in period-2, 4, 8, and the chaotic sets. These results reveal richer dynamics of the discrete model compared with the model in Tao et al., 1999. The analysis and results in this paper are interesting in mathematics and biology. 1. Introduction Evolutionary game theory was extended to the genetic model. The notion of an evolutionary stable strategy (ESS) which was proposed by Smith [1] (1982) is important. And the basic static solution concept of an ESS has been quite successful in predicting the equilibrium behavior of individuals in a population. A series of papers were devoted to the genetic matrix game models. But previous studies on the matrix game models all assumed that genetic mating was random. For example, Lessard [2] (1984) analyzed a frequency-dependent two-phenotype selection model of single-locus with multiallele. Cressman [3] (1996) studied a two-species evolutionary dynamics. Cressman et al. [4] (2003) discussed evolutionarily stable sets in the genetic model of natural selection. Tao et al. [5] (1999) investigated the discrete frequency dynamics of two phenotype diploid models. In fact, in genetic mating, there exists partial selfing selection (Rocheleau and Lessard [6]). From [6], each individual can reproduce by selfing or random outcrossing with constant probabilities, respectively, in a population. After considering partial selfing selection, we establish a nonlinear frequency dynamics, which becomes more realistic but more complicated. We consider a one-locus two-allele model where genotypic fitness is an exponential function of the expected payoff and the frequency. Suppose that each individual of the population can reproduce by selfing with constant probability π½. If π½ = 0, then there is no partial selfing selection, which was discussed in [5]. If π½ =ΜΈ 0, then one-dimensional discretetime dynamical systems are extended to two-dimensional systems, which lead to great effect on the genetic model. It was shown in [7] that a stable polymorphic equilibrium is not an ESS under some condition. In this paper, we focus on the bifurcation analysis of the genetic model. We find that the model admits the unstable period doubling bifurcation, the saddle-node bifurcation, and the NeimarkSacker bifurcation, which are new interesting phenomena when considering partial selfing selection. 2. Model Consider a diploid population with nonoverlapping generations and establish a genetic model with one locus and two alleles π΄ 1 and π΄ 2 . The fitness of population individual is frequency-dependent (i.e., it depends on the genetic makeup 2 Abstract and Applied Analysis of the population concerned). To show the results, the following assumptions will be made: (i) Mendelian segregation; (ii) sex ratio is independent of genotype; (iii) no gametic selection; (iv) the fecundity of offspring is equal; (v) no mutation or migration. Μ 12 = π Μ 22 = π πΉπ΄ π π΄ π = π’ππ ππ1 + (1 − π’ππ ) ππ2 . σΈ =π½ π11 πΉπ΄ 1 π΄ 1 π11 + (1/4) πΉπ΄ 1 π΄ 2 π12 πΉ 2 + (1 − π½) σΈ π12 =π½ (πΉπ΄ 1 π΄ 1 π11 + (1/2) πΉπ΄ 1 π΄ 2 π12 ) πΉ (1/2) πΉπ΄ 1 π΄ 2 π12 πΉ 2 1 × (πΉπ΄ 2 π΄ 2 (1−π11 − π12 )+ πΉπ΄ 1 π΄ 2 π12 )) 2 2 −1 × (πΉ ) , where [πΉπ΄ 1 π΄ 1 π11 + πΉπ΄ 1 π΄ 2 π12 + πΉπ΄ 2 π΄ 2 π22 ] , ππ = π₯ππ1 + (1 − π₯) ππ2 , πΉπ΄ 1 π΄ 2 π12 πΉπ΄ π π΄ π = π’ππ ππ1 + (1 − π’ππ ) ππ2 , (1) From (1) and (2), we obtain [πΉπ΄ 1 π΄ 1 π11 + πΉπ΄ 1 π΄ 2 π12 + πΉπ΄ 2 π΄ 2 π22 ] . Μ 12 = πσΈ + 1 πσΈ = πσΈ . Μ 11 + 1 π Μ=π π 11 2 2 12 After mating and reproduction, there are 2 σΈ Μ 12 ] + (1 − π½) [π Μ 12 ] , Μ 11 + 1 π Μ 11 + 1 π π11 = π½ [π 4 2 1Μ σΈ Μ ] [π Μ ], Μ 11 + 1 π Μ 22 + 1 π π12 = π½[ π ] + 2 (1 − π½) [π 2 12 2 12 2 12 (2) (3) Let π₯ be the proportion of individuals using strategy π 1 ; then, we can get that the expected payoffs to π 1 and π 2 are π1 = π₯π11 + (1 − π₯) π12 , π2 = π₯π21 + (1 − π₯) π22 . π22 = π2 + πππΉ, π12 = 2ππ (1 − πΉ) , (9) where −1 ≤ πΉ ≤ 1. The value of πΉ varies from one generation to the next. Equations (1) to (9) can deduce that πσΈ = π (π+ππΉ) (π’11 ππ1 +(1 − π’11 ) ππ2 )+(1−πΉ) π (π’12 ππ1 +(1−π’12 ) ππ2 ) πΉσΈ = π½ [1− πΉ 1−πΉ ( 2 1− (1− (πΉπ΄ + (4) (8) Obviously, it is difficult to use π and π to denote the genotypic frequency πππ directly. If the population is polymorphic (i.e., 0 < π < 1), we can use the fixation index πΉ (wright 1949 [8]) according to [6]. The genotypic frequencies can be written in the form π11 = π2 + πππΉ, In our paper, the fitness πΉπ΄ π π΄ π is taken to be an exponential function of the expected payoff as [6]. Assume that an individual in the population can use one of two strategies π 1 and π 2 ; each individual plays the same pure strategy throughout its lifetime. And the payoff matrix is π11 π12 ]. π21 π22 (7) πΉ = πΉπ΄ 1 π΄ 1 π11 + πΉπ΄ 1 π΄ 2 π12 + πΉπ΄ 2 π΄ 2 π22 . πΉπ΄ 2 π΄ 2 π22 [ (6) 1 × ((πΉπ΄ 1 π΄ 1 π11 + πΉπ΄ 1 π΄ 2 π12 ) 2 π₯ = π11 π’11 + π12 π’12 + π22 π’22 , 2 σΈ Μ 12 ] + (1 − π½) [π Μ 12 ] . Μ 22 + 1 π Μ 22 + 1 π π22 = π½ [π 4 2 , + 2 (1 − π½) πΉπ΄ 1 π΄ 1 π11 [πΉπ΄ 1 π΄ 1 π11 + πΉπ΄ 1 π΄ 2 π12 + πΉπ΄ 2 π΄ 2 π22 ] , (5) Since system (2) is on the simplex π3 = {(π11 , π12 , π22 ) | π11 + π12 + π22 = 1; π11 , π12 , π22 ≥ 0}, we can get the following system: According to [6], each individual can reproduce by selfing or random outcrossing with probability π½ or 1 − π½ (0 < π½ < 1), respectively, in the population. πππ and πππσΈ are the frequencies of genotypes π΄ π π΄ π in the current generation and in the next generation, respectively. The genotypic frequency of genotype π΄ π π΄ π among adults in the current generation is Μ ππ . The corresponding selection values of genotypes π΄ π π΄ π are π πΉπ΄ π π΄ π . π and πσΈ are the frequencies of allele π΄ 1 in the current generation and in the next generation, respectively. π and πσΈ are the frequencies of allele π΄ 2 in the current generation and Μ and πΜ are genotypic in the next generation, respectively. π frequencies of allele π΄ 1 and allele π΄ 2 among adults in the current generation, respectively. π’ππ (or 1 − π’ππ ) is the fraction of individuals of genotype π΄ π π΄ π which play pure strategy π 1 (or π 2 ). After selection but before mating, we have Μ 11 = π Furthermore, we take the fitness function , π 2π΄2 /πΉπ΄ 1 π΄ 2 )) (π+ππΉ) π 1− (1− (πΉπ΄ 1 π΄ 1 /πΉπ΄ 1 π΄ 2 )) (π+ππΉ) )] , (10) Abstract and Applied Analysis 3 where where π’ = π’11 + π’22 − 2π’12 , π₯π΄ 1 = (π + ππΉ) π’11 + π (1 − πΉ) π’12 , π₯ (π, πΉ) = (π2 + πππΉ) π’11 + 2ππ (1 − πΉ) π’12 + (π2 + πππΉ) π’22 = ππ₯π΄ 1 + ππ₯π΄ 2 , πΉ∗ = π = π’22 − π’12 , π₯π΄ 2 = (π + ππΉ) π’22 + π (1 − πΉ) π’12 , π = π’11 − π’12 , 2 π½ , 2−π½ 2 π2 = π∗ (π’22 − π’12 ) + π∗ (π’11 − π’12 ) , (11) π = π’12 − π’11 + π∗ π’, π§ = π’22 − π’12 − π∗ π’, π11 = π∗ (1 − π∗ ) (π§ + πΉ∗ π) [(2 − πΉ∗ ) π§ + πΉ∗ π] , ππ = π₯ππ1 + (1 − π₯) ππ2 , 2 (14) 2 π12 = π∗ π∗ π’ (π§ + πΉ∗ π) , πΉπ΄ π π΄ π = π’ππ ππ1 + (1 − π’ππ ) ππ2 , π21 = πΉ = π₯ππ1 + (1 − π₯) ππ2 . π½ (1 − πΉ∗ ) (π∗ π∗ π’ + πΉ∗ π2 ) [(2 − πΉ∗ ) π§ + πΉ∗ π] , 2 π22 = Throughout the paper, we discard the degenerate situations where all π’ππ are identical or where πΎ = 0 and suppose that π΄ π π΄ π is not the genotype in the parental generation. 3. Model Analysis and Basic Definitions Recall Definition 1 in [7], which is a similar definition of phenotypic and genotypic equilibria under partial selfing selection according to [2]. The two types of the equilibria include all situations in which the population is in equilibrium. Definition 1. A phenotypic equilibrium is an equilibrium where all pure strategies in current use have equal expected payoff. A genotypic equilibrium is a nonphenotypic equilibrium where the effective fitnesses of all alleles present in the current population are equal. The effective fitness of allele π΄ π is defined to be [πππ πΉπ΄ π π΄ π + (1/2)π12 πΉπ΄ 1 π΄ 2 ]/[πππ + (1/2)π12 ]. (In addition, in the case π = 0, the effective fitness of allele π΄ 1 is πΉπ΄ 1 π΄ 2 . In the case π = 1, the effective fitness of allele π΄ 2 is πΉπ΄ 1 π΄ 2 .) According to Definition 1, a phenotypic equilibrium is an equilibrium where all pure strategies in current use have equal expected payoff. So, a polymorphic phenotypic equilibrium exists if and only if π1 = π2 . Then, we have π2 − π1 = π₯ (π21 − π11 ) + (1 − π₯) (π22 − π12 ) = πΎ (π₯ − π) , (12) where πΎ = π12 − π22 + π21 − π11 , and π = (π12 − π22 )/(π12 − π22 + π21 − π11 ). Let (π∗ , πΉ∗ ) denote polymorphic phenotypic equilibrium; then, we have the Jacobian matrix at (π∗ , πΉ∗ ) of system (10) π½ (1 − πΉ∗ ) π∗ π∗ π’ (π∗ π∗ π’ + πΉ∗ π2 ) . 2 We studied the system (10) and obtained Theorem 3.1 (i) and (ii) in [7]. In [7], the authors showed that a stable polymorphic equilibrium is not an ESS under some condition. In this paper, we focus on the bifurcation of system (10). For convenience, we present some lemmas and theorems of the stability of polymorphic phenotypic equilibrium in [7] at first. Lemma 2. π₯∗ = π₯(π∗ , πΉ∗ ) = π(0 < π < 1) is an interior ESS if and only if πΎ > 0. Lemma 3. If π11 > 0, then (π½/2)π11 + π22 > 0. If π11 < 0, then ((2 + π½)/4)π11 + π22 > 0. Theorem 4. Suppose that (π∗ , πΉ∗ ) is a polymorphic phenotypic equilibrium. (i) Suppose that π11 > 0. If π₯∗ is not an ESS, then (π∗ , πΉ∗ ) is unstable. If π₯∗ is an ESS, then (π∗ , πΉ∗ ) is stable for 0 < πΎ < πΎππΎ2 . (ii) Suppose that π11 < 0. If π₯∗ is an ESS, then (π∗ , πΉ∗ ) is unstable. If π₯∗ is not an ESS, then (π∗ , πΉ∗ ) is stable for πΎππΎ1 < πΎ < 0. (iii) Suppose that π11 = 0. If π =ΜΈ π, then (π∗ , πΉ∗ ) is unstable for πΎ =ΜΈ (π½ ± 2)/2π22 . If π = π, then (π∗ , πΉ∗ ) is stable 2 for πΎ ∈ (0, 4(π½ + 2)/π½π2 (1 − πΉ∗ )), unstable for πΎ ∈ 2 2 (−∞, −4/π2 (1 − πΉ∗ )πΉ∗ ) ∪ (−4/π2 (1 − πΉ∗ )πΉ∗ , 0) ∪ 2 ∗2 (4(π½ + 2)/π½π (1 − πΉ ), +∞). Proof. Consider only the case π11 > 0 since the proof of the case π11 < 0 is analogous. From the Jacobian matrix π΄∗ at (π∗ , πΉ∗ ), we have π½ π½ det π΄∗ = − ( π11 + π22 ) πΎ + , 2 2 2+π½ − πΎ (π11 + π22 ) . tr π΄ = 2 (15) ∗ 1 − π11 πΎ π12 πΎ ], π½ π΄∗ = [ π21 πΎ − π22 πΎ 2 [ ] (13) If π₯∗ is not an ESS, then πΎ < 0 from Lemma 2. The inequality π11 πΎ < 0 implies that tr π΄∗ > det π΄∗ + 1. So, (π∗ , πΉ∗ ) is 4 Abstract and Applied Analysis unstable. If π₯∗ is an ESS, then πΎ > 0. By the discussion on the monotone function, we can obtain the following inequalities: σ΅¨σ΅¨ ∗σ΅¨ ∗ det π΄∗ < 1, (16) σ΅¨σ΅¨tr π΄ σ΅¨σ΅¨σ΅¨ < det π΄ + 1. So, (π∗ , πΉ∗ ) is stable. Now, we discuss the stability of (π∗ , πΉ∗ ) when π11 = 0. If π’ = 0, then π11 = 0. If π11 = 0, we have the following. Case 1. (π∗ , πΉ∗ ) = (π2 , π½/(2 − π½)), where π2 = (2π − π’πΉ∗ )/2π’(1 − πΉ∗ ) and πΉ∗ = π½/(2 − π½). Case 2. (π∗ , πΉ∗ ) = (π1 , π½/(2−π½)), where π1 = (π−ππΉ∗ )/π’(1− πΉ∗ ) and πΉ∗ = π½/(2 − π½). We only prove Case 1 since Case 2 is analogous. Write π1 = π12 πΎ, π1 = π½ − π22 πΎ, 2 2 π11 = −2π’(1 − πΉ∗ ) π∗ π∗ π§πΎ, 2 2 π12 = π∗ π∗ π’ [2π + (π§ + πΉ∗ π) π∗ π∗ π’πΎ] πΎ, π22 = π∗ π∗ π’ [2 (1 − 2π∗ ) (π§ + πΉ∗ π) − π∗ π∗ π’ (1 − πΉ∗ )] πΎ, 2 2 2 π11 = −π½, π’(1 − πΉ∗ ) [π∗ π∗ π’ + (ππ∗ + ππ∗ ) πΉ∗ ] πΎ, (17) 1 ) ). Using the translation and let π = ( 01 −π1 /(1−π 1 π π π ( ) = π ( ) + ( ∗2 ) , πΉ πΉ ] + (21) 2 where π3 = −(1−πΉ∗ )2 π2 πΎ/(1+(1/4)π2 (1−πΉ∗ )πΉ∗ πΎ). It is easy to obtain the results. This completes the proof. 4. Bifurcation Analysis Based on the analysis in Section 3, we discuss the period doubling bifurcations, the saddle-node bifurcation, and the Neimark-Sacker bifurcation of the positive fixed point (π∗ , πΉ∗ ) in this section. We choose parameter πΎ as a bifurcation parameter to study the period doubling bifurcations and the Neimark-Sacker bifurcation and parameter πΏ as a bifurcation parameter to study the saddle-node bifurcation by using center manifold theorem and bifurcation theory in [9, 10]. Suppose that πππ is the same as that in (14). 4.1. Period Doubling Bifurcation. In the analysis of period doubling bifurcations, we take πΎ as the bifurcation parameter and prove that there is period doubling bifurcation at the fixed point (π∗ , πΉ∗ ) for πΎ = πΎππΎ2 . When πΎ = πΎππΎ2 , the characteristic polynomial of Jacobian matrix at (π∗ , πΉ∗ ) is π2 + 1 2 × [π11 (π − π₯σΈ = π₯ + π3 π₯3 + π (π₯4 ) , (18) system (10) becomes πσΈ = π + where (1/2)(π11 + (π1 /(1 − π1 ))π11 ) = π∗ π∗ π’π§(1 − 2 2 πΉ∗ )2 πΎ{(1/(1/π∗ π∗ π’[π∗ π∗ π’ + πΉ∗ (ππ∗ + ππ∗ )πΎ]πΉ∗ (1 − πΉ∗ )) + 1) − 1}. If π =ΜΈ π, then π§ =ΜΈ 0. So, we have (1/2)(π11 + (π1 /(1 − π1 ))π11 ) =ΜΈ 0. If π = π, we can calculate the reduced system by similar analysis, (4 − π½2 ) π11 2 [(2 + π½) π11 + 4π22 ] π− π½ (π½ + 2) π11 + 8π22 = 0. 2 [(2 + π½) π11 + 4π22 ] (22) We have the following characteristic values of (22): 2 π1 π1 ]) + π12 ] (π − ]) + π22 ]2 ] 1 − π1 1 − π1 2 π1 π1 ]) ⋅ [π11 (π − 1 − π1 2 (1 − π1 ) ]σΈ = π1 ] 2 π1 π1 1 ]) + π12 ] (π − ]) + π22 ]2 ] + [π11 (π − 2 1 − π1 1 − π1 πΆ=[ π½ (π½ + 2) π11 + 8π22 . 2 [(2 + π½) π11 + 4π22 ] (23) (19) By center manifold theory, we can obtain the following reduced system which is locally homeomorphic with system (10): (20) 4π12 (π½ + 2) π11 π11 π12 ]=[ ], π21 π22 −4π21 (π½ + 2) π11 (24) And let π· denote πΆ−1 . Then, π·= [ = + h.o.t. π1 1 π ) π2 + π (π3 ) , (π + 2 11 1 − π1 11 π2 = π = Let π1 +π12 ] (π − ]) + π22 ]2 ] + h.o.t, 1 − π1 πσΈ = π + π 1 = −1, π11 π12 ] π21 π22 1 (π½ + 2 2 2) π11 + 16π12 π12 [ −4π12 (π½ + 2) π11 ]. 4π21 (π½ + 2) π11 (25) Denote the right-hand side of (10) by ( πΉπ ), and use the translation π π₯ π∗ ( ) = πΆ ( ) + ( ∗) , πΉ πΉ π¦ πΎ = πΎππΎ2 + π; (26) Abstract and Applied Analysis 5 system (10) becomes π₯σΈ −1 0 π₯ π» (π₯, π¦, π) ( σΈ ) = ( )( ) + ( ), 0 π π¦ πΊ (π₯, π¦, π) π¦ (27) where π» (π₯, π¦, π) = π₯+π11 (π (π₯, π¦, π)−π∗ ) +π12 (π (π₯, π¦, π)−πΉ∗ ) , (28) πΊ (π₯, π¦, π) = − π π¦+π21 (π (π₯, π¦, π)−π∗ ) +π22 (π (π₯, π¦, π)−πΉ∗ ) . It is easy to obtain that ( π» (0, 0, π) ) = 0, πΊ (0, 0, π) ππ» (π₯, π¦, π) ππ» (π₯, π¦, π) σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨ ππ₯ ππ¦ ( = 0, )σ΅¨σ΅¨σ΅¨σ΅¨ ππΊ (π₯, π¦, π) ππΊ (π₯, π¦, π) σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨(π₯,π¦,π)=(0,0,0) ππ₯ ππ¦ (29) π2 π» (π₯, π¦, π) σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ = π11 (−π11 π11 + π21 π21 ) σ΅¨σ΅¨ ππ₯ππ σ΅¨(π₯,π¦,π)=(0,0,0) + π12 (π11 π21 − π21 π22 ) = − [(π½ + 2) π11 + 4π22 ] 2 2 (π½ + 2) π11 + 16π22 2 (π½ + 2) π11 + 16π22 > 0. (30) So, we have π = −2 π2 π» (π₯, π¦, π) > 0. ππ₯ππ 6 πΊ π» . 1 − π π₯π₯ π₯π¦ (32) If π11 =ΜΈ 0, then |π | < 1 for π11 > 0, |π | > 1 for π11 < 0. From the previous analysis and the theorem in [10], we have the following result. ∗ 4.2. Saddle-Node Bifurcation. We take π as the bifurcation parameter for studying the saddle-node bifurcation by using center manifold theorem. If π∗ = π’22 −((π’πΉ∗ −2π)2 /4π’(1−πΉ∗ )), then there is unique polymorphic phenotypic equilibrium, and (π∗ , πΉ∗ ) = ((2π − π’πΉ∗ )/2π’(1 − πΉ∗ ), πΉ∗ ). The Jacobian matrix of (π∗ , πΉ∗ ) is (31) In order for system (27) to undergo period doubling bifurcation, we require that the following πΏ is not zero [10]: 2 − πΏ = −2π»π₯π₯π₯ − 3π»π₯π₯ Example 6. Let π’11 = 0.6, π’12 = 0.9, π’22 = 0.3, π½ = 0.4, and π = 0.6515625. There are two polymorphic phenotypic equilibria (π1∗ , πΉ∗ ) = (0.6944444, 0.25) and (π2∗ , πΉ∗ ) = (0.75, 0.25). For (π1∗ , πΉ∗ ), we have π11 (π1∗ , πΉ∗ ) = 0.4475911459 × 10−3 > 0 and πΏ(π1∗ , πΉ∗ ) = −4.839394634 < 0. Then, period doubling bifurcation happens for πΎ > πΎππΎ2 = 149.7775520, and 2periodic points are asymptotically stable nodes. For (π2∗ , πΉ∗ ), we have π11 (π2∗ , πΉ∗ ) = −0.1318359375 × 10−3 < 0 and πΏ(π2∗ , πΉ∗ ) = 9.126558784 > 0. Then, period doubling bifurcation happens for πΎ < πΎππΎ2 = 186.1395138, and 2periodic points are unstable nodes. The effects of partial selfing selection on the dynamics of population evolution are shown further in Figures 1, 2, and 3. More complex dynamical behaviors of the genetic system are exhibited by numerical simulations. In Figure 1, the partial selfing selection leads period doubling bifurcation to emerge earlier, and leads chaos to emerge earlier. In Figure 3, the model exhibits the complex dynamical behaviors, such as the period-3, 6 orbits, cascade of period-doubling bifurcation in period-2, 4, 8, and the chaotic sets. By choosing π½ as a bifurcation parameter, we show that the complex dynamical behaviors such as the period-3, 4, 6 orbits, cascade of perioddoubling bifurcation in period-2, 4, 8, and the chaotic sets can occur as π½ crosses some critical values in Figure 2. . According to Lemma 3, there are (π½ + 2) π11 + 4π22 =ΜΈ 0, (ii) If π11 < 0 and πΏ > 0 (πΏ < 0), then period doubling bifurcation happens for πΎ < πΎππΎ2 (πΎ > πΎππΎ2 ). And 2periodic points are unstable nodes (saddle points). ∗ Proposition 5. Suppose that (π , πΉ ) is a polymorphic phenotypic equilibrium. If π11 =ΜΈ 0 and πΏ =ΜΈ 0, then system (10) undergoes a period doubling bifurcation at (π∗ , πΉ∗ ) for πΎ = πΎππΎ2 . Moreover, we have the following. (i) If π11 > 0 and πΏ > 0 (πΏ < 0), then period doubling bifurcation happens for πΎ < πΎππΎ2 (πΎ > πΎππΎ2 ). And 2-periodic points are saddle points (asymptotically stable nodes). π΄∗ = ( ∗ πΎ π12 π½ ∗ ), 0 πΎ − π22 2 1 (33) ∗ where π12 = (2π − π’πΉ∗ )2 (2π − π’πΉ∗ )2 (π − π)πΉ∗ /32π’(1 − πΉ∗ )2 ∗ and π22 = (π½/32)(((2π − π’πΉ∗ )(2π − π’πΉ∗ ))/π’2 (1 − πΉ∗ )2 )[4ππ + 2 2(π − π)2 πΉ∗ − π’2 πΉ∗ ]. The characteristic values of π΄∗ are π½ (34) π 2 = − π22 ∗ πΎ, π 1 = 1, 2 ∗ can make sure that |π 2 | =ΜΈ 1. where πΎ =ΜΈ (π½ ± 2)/2π22 Using the translation ∗ πΎ π12 π − π∗ π₯ 1 − ∗ πΎ) ( ), ( )=( (1 − π½/2) + π 22 πΉ − πΉ∗ π¦ 0 1 (35) we have π1 (π₯, π¦, Μπ) 1 0 π₯ π₯σΈ )( ) + ( ), ( σΈ ) = ( 0 π∗ π¦ π¦ π1 (π₯, π¦, Μπ) (36) 6 Abstract and Applied Analysis 1 1 0.8 0.8 0.6 π π 0.6 0.4 0.4 0.2 0.2 0 0 −10 0 10 20 30 40 50 60 πΎ 70 80 90 100 (a) −10 0 10 20 30 40 πΎ 50 60 70 80 90 100 (b) Figure 1: π’11 = 1, π’12 = 0.5, π’22 = 0, and π = 0.85. If πΎ < 0, then all interior trajectories evolve to the stable monomorphic equilibria (π∗ = 0 and π∗ = 1). (a) For π½ = 0, there is unique polymorphic phenotypic equilibrium (π∗ , πΉ∗ ) = (0.85, 0.25), which is stable for 0 < πΎ < πΎππΎ2 = 31.37254902. (b) For π½ = 0.4, there is unique polymorphic phenotypic equilibrium (π∗ , πΉ∗ ) = (0.85, 0.25), which is stable for σΈ 0 < πΎ < πΎππΎ = 25.09803922. 2 where π1 = π∗ Μπ + By the center manifold theory, we know that the stability of (0, 0) near Μπ = 0 can be determined by a one-parameter family of equations on a center manifold, which can be represented as follows: 1 2 [π11 (π₯ − π΅0 π¦) + π12 π¦ (π₯ − π΅0 π¦) + π22 π¦2 2 ππ (0) = {(π₯, π¦, Μπ) ∈ π 3 | π¦ = β (π₯, Μπ) , β (0, 0), 2 +π01 (π₯ − π΅0 π¦) Μπ + π02 π¦Μπ + π03 Μπ ] = 0, π·β (0, 0) = 0 ∈ π 3 } 1 2 + π΅0 [π11 (π₯ − π΅0 π¦) + π12 (π₯ − π΅0 π¦) π¦ + π22 π¦2 2 for π₯ and Μπ sufficiently small. Assume that a center manifold has the form 2 +π01 (π₯ − π΅0 π¦) Μπ + π02 π¦Μπ + π03 Μπ ] + h.o.t, π1 = π∗ Μπ + 1 2 [π (π₯ − π΅0 π¦) + π12 π¦ (π₯ − π΅0 π¦) + π22 π¦2 2 11 +π01 (π₯ − π΅0 π¦) Μπ + π02 π¦Μπ + π03 Μπ ] + h.o.t, π½ − π22 ∗ πΎ, 2 π΅0 = ∗ π12 πΎ , ∗ πΎ (1 − π½/2) + π22 (40) (41) where π1 = ((π − π)/2)π∗ π∗ πΉ∗ πΎ((1 − π½/2)/(1 − (π½/2) + π22 ∗ πΎ)), and π2 = −((π − π)/4)π∗ π∗ (1 − πΉ∗ )π’πΎ(π½/(1 − (π½/2) + π22 ∗ πΎ)). By condition (41) and the saddle-node bifurcation theorem in [9], we can state the following result. π½πΎ 2 [4ππ − π’2 πΉ∗ + 2πΉ∗ (π − π)2 ] , 8π’ 2 π11 = −2π’(1 − πΉ∗ ) π∗ π∗ π§πΎ, ∗2 ∗2 π12 = π π π’ [2π + (π§ + πΉ∗ π) π∗ π∗ π’πΎ] πΎ, π22 = π∗ π∗ π’ [2 (1 − 2π∗ ) (π§ + πΉ∗ π) − π∗ π∗ π’ (1 − πΉ∗ )] πΎ, 2 − π∗ β (π₯, Μπ)−π1 (π₯, β (π₯, Μπ) , Μπ) = 0. 2 π₯ σ³¨→ π (π₯, Μπ) = π₯ + π1 Μπ + π2 π₯2 + π ((|π₯| + |Μπ|) ) , 1 − π½/2 π−π ∗ ∗ ∗ π = , π π πΉ πΎ 2 1 − (π½/2) + π22 ∗ πΎ 2 π (β (π₯, Μπ)) = β (π΄∗ π₯+π1 , Μπ) So, we obtain the map restricted to the center manifold ∗ π∗ = 2 3 β (π₯, Μπ) = π0 Μπ + π1 π₯Μπ + π2 π₯2 + π3 Μπ + π ((|π₯| + |Μπ|) ) . (39) The center manifold must satisfy 2 π∗ = (38) 2 π11 = −π½π’(1 − πΉ∗ ) [π∗ π∗ π’ + (ππ∗ + ππ∗ ) πΉ∗ ] πΎ. (37) Proposition 7. Suppose that (π∗ , πΉ∗ ) is a polymorphic phenotypic equilibrium. If π½ ∈ (0, min{4π/(π + 3π), 4π/(3π + π)}), ∗ , then system (10) (π − π)π’πΎ =ΜΈ 0, ππ > 0, and πΎ =ΜΈ (π½ ± 2)/2π22 undergoes a saddle-node bifurcation at (π∗ , πΉ∗ ) for π = π∗ where π∗ = (2π − π’πΉ∗ )/2π’(1 − πΉ∗ ), π∗ = π’22 − ((π’πΉ∗ − ∗ 2π)2 /4π’(1−πΉ∗ ), and π22 = (π½/32)((2π−π’πΉ∗ )(2π−π’πΉ∗ )/π’2 (1− 2 2 2 πΉ∗ ) )[4ππ + 2(π − π) πΉ∗ − π’2 πΉ∗ ]. Abstract and Applied Analysis 7 πΎ = 27 1 0.9 0.9 0.8 0.8 0.7 0.7 π 0.6 π 0.6 0.5 0.5 0.4 0.4 0.3 0.3 0.2 0 0.1 0.2 0.3 0.4 0.5 πΎ = 38 1 0.6 0.7 0.8 0.9 1 0.2 0 0.1 0.2 0.3 0.4 0.5 (a) 0.9 0.8 0.8 0.7 0.7 π 0.6 π 0.6 0.5 0.5 0.4 0.4 0.3 0.3 0 0.1 0.2 0.3 0.4 0.8 0.9 1 0.5 0.6 0.7 0.8 0.9 1 πΎ = 69 1 0.9 0.2 0.7 (b) πΎ = 41 1 0.6 π½ π½ 0.6 0.7 0.8 0.9 1 0.2 0 0.1 0.2 0.3 0.4 π½ 0.5 π½ (c) (d) Figure 2: π’11 = 1, π’12 = 0.5, π’22 = 0, and π = 0.85. When πΎ = 27, (π∗ , πΉ∗ ) is stable for π½ ∈ (0, π½∗ )(π½∗ = 0.27875). Stable 2-periodic points emerge at π½ = π½∗ . When πΎ = 38, stable 2-periodic points become stable 4-periodic points with the increase of π½. When πΎ = 41, there is chaos for 0.47 < π½ < 0.49. When πΎ = 69, stable 3-periodic points become stable 6-periodic points and then become stable 3-periodic points again. Moreover, if π’ > 0, then two new polymorphic phenotypic equilibria are created for π > π∗ and disappear for π < π∗ . If π’ < 0, then two new polymorphic phenotypic equilibria are created for π < π∗ and disappear for π > π∗ . (see Figure 4). In Proposition 7, the conditions π½ ∈ (0, min{4π/(π + 3π), 4π/(3π + π)}) and ππ > 0 guarantee that π∗ = (2π − π’πΉ∗ )/2π’(1−πΉ∗ ) ∈ (0, 1). If there is no partial selfing selection (i.e., π½ = 0), then the saddle-node bifurcation does not occur. This means that the parameter π½ of partial selfing selection leads to more complex dynamical behavior of the genetic system. 4.3. Neimark-Sacker Bifurcation. We take πΎ as the bifurcation parameter and prove the existence of Neimark-Sacker bifurcation. The characteristic polynomial of Jacobian matrix at (π∗ , πΉ∗ ) is π2 + π (πΎ) π + π (πΎ) = 0, (42) where π (πΎ) = (π11 + π22 ) πΎ − π½+2 , 2 π½ π½ π (πΎ) = − ( π11 + π22 ) πΎ + . 2 2 (43) If the following condition is satisfied 2 π(πΎ) − 4π (πΎ) < 0, (44) 8 Abstract and Applied Analysis Use the translation 1 π½+2 2 π½ + 2 π11 1 π ) π11 + π22 ] − − √ −π11 [( ( ) = ( π21 4 4 π21 ) πΉ 0 1 0.8 0.6 π₯ π∗ × ( ) + ( ∗) ; πΉ π¦ π 0.4 (47) system (10) becomes 0.2 0 0 50 100 150 πΎ 200 250 π₯σΈ ( σΈ ) = ( π¦ − π (πΎ0 ) 2 − √4 − π(πΎ0 )2 √4 − π(πΎ0 )2 ) π (πΎ0 ) − 2 2 Figure 3: π’11 = 1, π’12 = 0.5, π’22 = 0, π = 0.85, and π½ = 0.4. As πΎ is sufficiently large, there are stable 3-periodic points (at πΎ β 56.5), and then stable 6-periodic points occur at πΎ β 67.5. And stable 3periodic points occur at πΎ β 201 again. 2 (48) π₯ π» (π₯, π¦) ×( )+( ), π¦ πΊ (π₯, π¦) where π = −(1/π21 )√−π11 [((π½ + 2)/4)2 π11 + π22 ], π −((π½ + 2)/4)(π11 /π21 ), 0.85 π» (π₯, π¦) = 0.8 π π 1 (π (π₯, π¦) − π∗ ) − (π (π₯, π¦) − πΉ∗ ) π π √4 − π(πΎ0 )2 π (πΎ0 ) + π₯+ π¦, 2 2 0.75 = (49) ∗ πΊ (π₯, π¦) = (π (π₯, π¦) − πΉ ) 0.7 − 0.65 0.6 0.528 0.529 0.53 0.531 0.532 0.533 0.534 0.535 0.536 0.537 0.538 π Figure 4: π’11 = 0.5, π’12 = 1, π’22 = 0, π½ = 0.6, and πΎ = 10. A saddle-node bifurcation happens for (π∗ , πΉ∗ , π∗ ), where π∗ = 0.7916666665, πΉ∗ = 0.4285714286, and π∗ = 0.5372023808. Two new polymorphic phenotypic equilibria are created for π < π∗ and disappear for π > π∗ . then the eigenvalues of the characteristic equation are complex conjugate. When πΎ = πΎ0 = (π½ − 2)/(π11 π½ + 2π22 ), (44) is equivalent to π11 < 0. (45) If condition (45) is satisfied, we can calculate that σ΅¨ σ΅¨ π σ΅¨σ΅¨π (πΎ)σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨σ΅¨σ΅¨ 1 π½ π= σ΅¨ = − ( π11 + π22 ) =ΜΈ 0, σ΅¨σ΅¨ πΎ = πΎ σ΅¨ ππΎ σ΅¨ 2 2 0 ππ (πΎ0 ) =ΜΈ 1, π = 1, 2, 3, 4, (46) 1/2 σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨π (πΎ0 )σ΅¨σ΅¨σ΅¨ = π(πΎ0 ) . Next, we study the normal form of (10) when πΎ = πΎ0 . √4 − π(πΎ0 )2 2 π₯+ π (πΎ0 ) π¦. 2 In order for system (48) to undergo Neimark-Sacker bifurcation, we require that the following discriminatory quantity πΆ0 is not zero [9]: 2 1 σ΅¨ σ΅¨2 σ΅¨ σ΅¨2 (1 − 2π) π πΆ0 = −Re [ π11 π20 ]− σ΅¨σ΅¨σ΅¨π11 σ΅¨σ΅¨σ΅¨ − σ΅¨σ΅¨σ΅¨π02 σ΅¨σ΅¨σ΅¨ +Re (ππ21 ) , 1−π 2 (50) where π20 = 1 [(π»π₯π₯ − π»π¦π¦ + 2πΊπ₯π¦ ) + π (πΊπ₯π₯ − πΊπ¦π¦ − π»π₯π¦ )] , 8 π11 = 1 [(π»π₯π₯ + π»π¦π¦ ) + π (πΊπ₯π₯ + πΊπ¦π¦ )] , 4 π02 = 1 [(π»π₯π₯ −π»π¦π¦ −2πΊπ₯π¦ ) + π (πΊπ₯π₯ −πΊπ¦π¦ +2π»π₯π¦ )] , 8 π21 = 1 [(π»π₯π₯π₯ + π»π₯π¦π¦ + πΊπ₯π₯π¦ + πΊπ¦π¦π¦ ) 16 +π (πΊπ₯π₯π₯ + πΊπ₯π¦π¦ − π»π₯π₯π¦ − π»π¦π¦π¦ )] . (51) From previous analysis and the theorem in [9], we have the following theorem. Abstract and Applied Analysis Proposition 8. Suppose that (π∗ , πΉ∗ ) is a polymorphic phenotypic equilibrium of system (10). If π11 < 0 and πΆ0 =ΜΈ 0, then system (10) undergoes a Neimark-Sacker bifurcation at (π∗ , πΉ∗ ) for πΎ0 = (π½ − 2)/(π11 π½ + 2π22 ). Moreover, if π = −(1/2)((π½/2)π11 + π22 ) < 0 and πΆ0 < 0, then an attracting invariant closed curve bifurcates from (π∗ , πΉ∗ ) for πΎ < πΎ0 . If π = −(1/2)((π½/2)π11 + π22 ) < 0 and πΆ0 > 0, then a repelling invariant closed curve bifurcates from (π∗ , πΉ∗ ) for πΎ > πΎ0 . Example 9. Let π’11 = 0.8, π’12 = 0.4, π’22 = 1, π½ = 0.75, and π = 0.776. We have that (π∗ , πΉ∗ ) = (0.8, 0.6) is a polymorphic phenotypic equilibrium which satisfies π11 < 0. According to πΆ0 = −3.1284538 < 0, and π = −(1/2)((π½/2)π11 +π22 ) < 0, we have that the invariant closed curve bifurcates from (π∗ , πΉ∗ ) for πΎ < πΎ0 = −65.76178451 being attracting. Let π’11 = 0.5, π’12 = 1, π’22 = 0, π = 0.549287, and π½ = 38/69. We have that (π∗ , πΉ∗ ) = (0.79, 0.38) is a polymorphic phenotypic equilibrium which satisfies π11 < 0. According to πΆ0 = 2.5988353 > 0 and π = −(1/2)((π½/2)π11 + π22 ) < 0, the invariant closed curve bifurcates from (π∗ , πΉ∗ ) for πΎ > πΎ0 = −34.72413828 being repelling. 5. Conclusion A discrete population genetics model with partial selfing selection is investigated. We assume that each individual can reproduce by selfing or random outcrossing with probability π½ or 1 − π½ (0 < π½ < 1), respectively, in the population. Some population, such as human population, does not mate at random. So, the partial selfing selection model is reasonable. In this paper, the conditions for the stability of polymorphic phenotypic equilibria are obtained by the Jury conditions and the center manifold theorem. ESS is not the necessary condition of the stability of the polymorphic phenotypic equilibria. The theoretical analysis and numerical simulations present the existence of stable and unstable period doubling bifurcations, saddle-node bifurcation, and Neimark-Sacker bifurcation. Numerical simulations exhibit more complex dynamical behavior of the genetic system under partial selfing selection. Acknowledgments The author is thankful to the referees for helpful suggestions for the improvement of this paper. The research of the first author was supported by the Scientific Research Fund of Sichuan Provincial Education Department under Grant 12ZB082. References [1] M. Smith, Evolution and the Theory of Games, Cambridge University Press, Cambridge, UK, 1982. [2] S. Lessard, “Evolutionary dynamics in frequency-dependent two-phenotype models,” Theoretical Population Biology, vol. 25, no. 2, pp. 210–234, 1984. 9 [3] R. Cressman, “Frequency-dependent stability for two-species interactions,” Theoretical Population Biology, vol. 49, no. 2, pp. 189–210, 1996. [4] R. Cressman, J. Garay, and Z. Varga, “Evolutionarily stable sets in the single-locus frequency-dependent model of natural selection,” Journal of Mathematical Biology, vol. 47, no. 5, pp. 465–482, 2003. [5] Y. Tao, R. Cressman, and B. Brooks, “Nonlinear frequencydependent selection at a single locus with two alleles and two phenotypes,” Journal of Mathematical Biology, vol. 39, no. 4, pp. 283–308, 1999. [6] G. Rocheleau and S. Lessard, “Stability analysis of the partial selfing selection model,” Journal of Mathematical Biology, vol. 40, no. 6, pp. 541–574, 2000. [7] Y. Jiang and W. Wang, “Nonlinear frequency-dependent selection with partial selfing,” Journal of Southwest China Normal University, vol. 30, no. 5, pp. 814–820, 2005. [8] S. Wright, “The genetical structure of populations,” Annals of Human Genetics, vol. 15, pp. 323–354, 1951. [9] J. Guckenheimer and P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, vol. 42 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1983. [10] Y. H. Wu, “Period-doubling bifurcation and its stability analysis for a class of planar maps,” Journal of Shanghai Jiaotong University, vol. 36, no. 2, pp. 276–280, 2002. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014