演化稳定策略

定义

传统策略：x，变异策略：y
如果对任何策略$y\ne x$,存在某个${\epsilon }_y\in (0,1)$，对所有的$\epsilon \in (0,{\epsilon }_y)$使不等式$$u[x,\epsilon y+(1-\epsilon )x]>u[y,\epsilon y+(1-\epsilon )x](2.1)$$成立，那么$x\in \Delta$是一个稳定演化策略。
即：进入后（y策略）收益低于现有策略x收益,那么$x\in \Delta$是一个稳定演化策略。

若所占份额足够小，即：$\epsilon \to 0$,则有如下式子：$u[x,x]>u[y,x]$

命题2.1
Δ E S S = { x ∈ Δ N E : u [ y , y ] < u [ x , y ] , ∀ y ∈ β ∗ ( x ) , y ≠ x } \Delta^{ESS}=\{x\in\Delta^{NE}:u[y,y]<u[x,y],\forall y\in\beta^*(x),y\neq x\} ΔESS={x∈ΔNE:u[y,y]<u[x,y],∀y∈β∗(x),y=x}
${\Delta }^{ESS}\subset {\Delta }^{NE}$，也就是说演化稳定策略是对称纳什均衡策略集合${\Delta }^{NE}$的子集。
等价于如下两个式子
$$\begin{array}{r}\begin{array}{r}\{\begin{array}{ll}u(y,x)⩽u(x,x),& (2.2)对称纳什均衡策略\\ u(y,x)=u(x,x)\to u(y,y)<u(x,y),\forall y\ne x& (2.3)\end{array}\end{array}\end{array}$$

对定义不等式，利用双线性性质，可得
$f(\epsilon ,y)=u(x-y,x)+\epsilon u(x-y,y-x)>0$
由(2.2)(2.3)的两个条件可知：
截距$u(x-y,x)$非负；而当截距=0时，斜率$u(x-y,y-x)>0$

满足2.2，2.3两个条件，故x为演化均衡策略

2X2对称博弈

第一类： Δ E S S = { e 2 } \Delta^{ESS}=\{e^2\} ΔESS={e2}
第二类： Δ E S S = { e 1 , e 2 } \Delta^{ESS}=\{e^1,e^2\} ΔESS={e1,e2}
第三类： Δ E S S = { x } , x = { a 2 / ( a 1 + a 2 ) , a 1 / ( a 1 + a 2 ) } \Delta^{ESS}=\{x\},x=\{a_2/(a_1+a_2),a_1/(a_1+a_2)\} ΔESS={x},x={a2​/(a1​+a2​),a1​/(a1​+a2​)}
第四类： Δ E S S = { e 1 } \Delta^{ESS}=\{e^1\} ΔESS={e1}
严格的对称纳什均衡策略属于演化均衡策略，非严格的对称纳什均衡需要比较u(x,y)、u(y,y)的大小

${\Delta }^{ESS}$解的结构

命题2.2
如果$x\in {\Delta }^{ESS}$且对某个策略$y\ne x,C(y)\subset C(x)$，那么$y\notin {\Delta }^{NE}$

推论
集合${\Delta }^{ESS}\subset \Delta$是有限的。如果$x\in {\Delta }^{ESS}\cap int(\Delta )$,那么${\Delta }^{ESS}=x$。

意思是,如果该ESS为内点，那么将是唯一的一个ESS

与非合作标准的联系

命题2.3
如果$x\in \Delta$是被弱占优的，那么$x\notin {\Delta }^{ESS}$
假设存在策略y弱占优策略x，则有u(y,y)大于等于 u(x,y)，不满足二阶条件。
推论
如果$x\in {\Delta }^{ESS}$，那么$(x,x)\in {\Theta }^{PE}$。

命题2.4
如果$x\in {\Delta }^{ESS}$，那么$(x,x)\in {\Theta }^{NE}$是一个约当均衡。