Evolution of a semilinear parabolic system for migration and selection without dominance

The semilinear parabolic system that describes the evolution of the gene frequencies in the diffusion approximation for migration and selection at a multiallelic locus without dominance is investigated. The population occupies a finite habitat of arbitrary dimensionality and shape (i.e., a bounded, open domain in Rd). The selection coefficients depend on position; the drift and diffusion coefficients may depend on position. The primary focus of this paper is the dependence of the evolution of the gene frequencies on λ, the strength of selection relative to that of migration. It is proved that if migration is sufficiently strong (i.e., λ is sufficiently small) and the migration operator is in divergence form, then the allele with the greatest spatially averaged selection coefficient is ultimately fixed. The stability of each vertex (i.e., an equilibrium with exactly one allele present) is completely specified. The stability of each edge equilibrium (i.e., one with exactly two alleles present) is fully described when either (i) migration is sufficiently weak (i.e., λ is sufficiently large) or (ii) the equilibrium has just appeared as λ increases. The existence of unexpected, complex phenomena is established: even if there are only three alleles and migration is homogeneous and isotropic (corresponding to the Laplacian), (i) as λ increases, arbitrarily many changes of stability of the edge equilibria and corresponding appearance of an internal equilibrium can occur and (ii) the conditions for protection or loss of an allele can both depend nonmonotonically on λ. Neither of these phenomena can occur in the diallelic case.