 All-pay effort identity

Suppose values are nonnegative, the rank-order expected prize allocation $a$ is increasing and differentiable, and $a(\underline{v})=0$. With unit effort cost and zero effort at the lowest type, the symmetric equilibrium effort is $b(v)=va(v)-{\int }_{\underline{v}}^{v}a(t)dt$. A true type $v$ imitating type $z$ receives utility $va(z)-b(z)$, whose derivative in $z$ is $(v-z)a^{\prime }(z)$. It increases up to $v$ and decreases afterwards, proving the best response property. This is the interim payment identity specialized to an all-pay contest.