1704422223
1704422224
1704422225
1704422226
1704422227
且
1704422228
1704422229
考虑（4.6a）我们可以得到：b*＋a*f′（a）＝0，这个式子在边界上的一点处成立，在这一点乘积a×b达到最大，如图6所示。与MacArthur（1965）所得到的结果相比，这是一个更为正规的推导。
1704422230
1704422231
注意到方程（4.6a）仅仅保证了驻点的静止性，而不是稳定性。对于稳定性，条件（4.6b）给出：
1704422232
1704422233
1704422234
1704422235
1704422236
这表明，表现型集合必须是凸的。严格地说，这一条件仅仅要求表性集合在靠近a*b*处具有局部凸性，且仅仅保证了能抗拒具有较小表现型效应的突变异种侵害的稳定性。全局稳定性问题可以通过绘图的方法进行很好的分析。
1704422237
1704422238
1704422239
1704422240
在图6中，最上边的两幅图分别表示了表现型集合为凸（左图）和凹（右图）的两种情形，并且分别在图中显示了使得a×b达到最大的驻点a*b*，以及在边界上另一个可供选择的点ab。在图6的中间的两幅图中，函数φ（a）以a为自变量绘制成图。对于凸的表现型集，当a＝a*时，φ（a）达到最大，没有一个满足0＜a＜A的a值，能够产生一个比φ（a*）更大的φ（a）。这意味着处于a*b*的种群将不能被任何突变异种所侵害。而对于凹的表现型集，当a＝a*时，φ（a）达到最小。一个处于a*b*的种群将被边界上的任何突变异种所侵害。具体而言，这样的种群将被只生产一种性别的子代的雌性个体所侵害，这些子代要么都是雄性，要么都是雌性。对于凹的表现型集合，很容易看到处于稳定状态的种群是由等量的雄性子代生产者（A，0）以及雌性子代生产者（0，B）所构成的。
1704422241
1704422242
1704422243
1704422244
1704422245
1704422246
1704422247
1704422248
1704422249
1704422250
为了完成对凸表现型集和凹表现型集两种情形的比较，图6中的最后两幅图表示了函数φ（a）＝a/a＋b/b，它是a的一个函数。注意到无论适应度集是什么样的形式，总是能够找到使得φ（a）＞φ（a）成立的a的值。这就意味着在总是存在能够侵害ab种群的突变异种。
1704422251
1704422252
我们很自然地将图6（顶部）中的表现型a*b*归之于ESS，因为它是从一个由表现型集合所定义的可能策略集合中取得，并且它具有不被任何突变基因所侵害的性质。但是，这样的ESS不能再从条件（2.4a，b）中推导得到，而是必须根据基因频率写出递推关系，如果交配并不是随机发生的，那就必须根据不同交配类型写出递推关系。
1704422253
1704422254
在刚刚探讨的具体问题中，我们可以从递归关系中得到一个函数R，它在达致ESS时取得最大值。如何去寻找这样的递归关系并从中求得ESS往往不是显而易见的。但是，存在一个一般的方法，使得能够在这种类型的递归关系中找到ESS，这个方法将在附录九中给出。
1704422255
1704422256
演化与博弈论 [:1704421347]
1704422257
三、异配生殖的演化问题
1704422258
1704422259
不言而喻，异配生殖的来源问题要求将有性两倍体的生殖方式纳入考虑的范围，但是很容易通过博弈的方式对其进行分析（Maynard Smith，1978）。其中最基本的假设是由Parker，Baker和Smith（1972）提出的，他们指出如果在下列假设条件满足的情况下，异配生殖的来源问题可以用自然选择的方式来解释：
1704422260
1704422261
（1）生殖在本质上是有性的。包括减数分裂生产的配子，以及随后通过配子融合形成的合子。
1704422262
1704422263
（2）一个合子成活并成为一个配子生殖成体的概率是合子重量的一个增函数。
1704422264
1704422265
（3）生产的配子的总重量被限制在某个M值之内，但是M值可以是由许多小的配子构成也可以是由几个大的配子构成。
1704422266
1704422267
当然，在假设（2）和（3）中所说的“重量”可以被任何有限的资源所替代，比如，蛋白质的含量。
1704422268
1704422269
第一个假设明确了我们的目的，我们并不想试图回答为什么生物有机体将有性生殖放在第一位这一较为困难的问题，而是在有性生殖作为给定假设下来分析有利于异配生殖而不利于同配生殖的自然选择力。第四个假设将使问题更容易分析（Maynard Smith，1978）：
1704422270
1704422271
（4）存在一个最小重量δ，在这个重量之下，一个细胞将无法有效地行使一个配子的功能。
1704422272