Hawk Dove Game: Evolution of Aggression via Replicator Dynamics

This section introduces core evolutionary biology concepts. Evolutionary fitness measures reproductive success, illustrated through Donald Trump's five surviving children versus Bill Clinton's one. Frequency-dependent selection shows fitness depends on both environment and other individuals' traits. Random mating pairs individuals without regard to specific traits, while assortative mating preferentially selects mates with similar characteristics. Darwin's theory of natural selection explains species diversity through advantageous traits, but initially struggled to explain trait inheritance. Gregor Mendel's genetic laws resolved this by showing discrete inheritance units. Ronald Fisher later mathematically synthesized genetics with Darwin's theory, creating the modern evolutionary synthesis.

Phenotypic variation serves as the fundamental raw material for evolution and natural selection. Natural selection acts exclusively on observable traits (phenotypes), not genetic makeup (genotypes). Organisms with advantageous phenotypes survive and reproduce at higher rates, passing their genes to offspring. Without phenotypic variation, natural selection cannot operate, and species face increased extinction risk. This principle underlies all adaptive evolutionary changes, from molecular adaptations to physiological responses.

Evolution is the genetic adaptation of organisms to their environment. Adaptation is any alteration in structure or function that improves survival and reproduction. Genetic adaptations must be heritable. Fitness measures an organism's ability to leave descendants relative to others. Natural selection maximizes fitness by favoring organisms with inheritable traits that improve survival and reproduction. Fitness is environment-specific, species-specific, measured across generations, and applies to the complete organism rather than individual traits.

Natural selection is a major mechanism of evolution, defined as a change in allele frequencies over time. Darwin's theory explains that competition for limited resources leads to differential survival, where individuals with favorable phenotypes survive and reproduce more successfully. Fitness measures reproductive success—specifically the number of offspring produced. Environmental factors (both biotic and abiotic) determine which phenotypes are advantageous. Examples include fish camouflage in different water depths and Galapagos finches adapting beak sizes during droughts versus wet periods. This demonstrates how environmental change reverses which phenotypes are selected for.

Natural selection drives evolutionary change through five interconnected principles: organisms produce more offspring than the environment can support, creating competition; variation exists among offspring due to random mutations; some variants are better suited to the environment and have higher survival/reproductive success (fitness); advantageous traits are disproportionately inherited by successful offspring; over generations, heritable features change in the population. Fitness biologically means surviving to reproductive age and producing fertile offspring. Only heritable traits (mutations in sex cells) can drive evolution. This represents a paradigm shift from Lamarckism, where acquired characteristics could be inherited. A population consists of organisms of the same species in the same area, with each individual contributing genes to the next generation's gene pool.

First-order ordinary differential equations can be classified into different types based on their form. The general form is F(x, y, y') = 0. One important class is separable equations, which can be written in the form y' = f(x)/g(y) or y' = f(x)g(y) or y' = g(y)/f(x). This means the variables x and y can be separated on opposite sides of the equation, allowing integration on each side independently. To solve a separable equation: isolate y', check if separable, separate variables, integrate both sides, and solve for y.

An ordinary differential equation (ODE) involves derivatives of an unknown function and an equal sign, using either dash notation (y') or dx notation (dy/dx). The goal is to find a function satisfying the equation, unlike algebraic equations where we find numbers. ODEs are called 'ordinary' because they involve regular derivatives rather than partial derivatives. A solution is a differentiable function satisfying the equation on an interval. The order is the highest derivative present. Initial value problems combine ODEs with initial conditions. To solve first-order ODEs where the right-hand side depends only on x, integrate both sides to find a general solution with a constant of integration, then apply the initial condition to find the particular solution.

The separation of variables method solves first-order ODEs of the form dy/dx = f(x)g(y). The technique involves rearranging terms so that all functions of y appear on one side with dy, and all functions of x appear on the other side with dx. This results in an equation where 1/g(y) dy equals f(x) dx. Both sides are then integrated separately. For example, given dy/dx = sin²x/sin²y, rearrange to (1/sin²y) dy = sin²x dx, recognize that 1/sin²y is cosec²y whose integral is -coty, and integrate both sides to find the solution. Constants of integration are combined into a single constant. This method provides a systematic approach to solving separable differential equations.

An ordinary differential equation (ODE) is an equation containing derivatives of functions depending on a single independent variable. The term 'differential' refers to the presence of derivatives, while 'ordinary' distinguishes it from partial differential equations involving multiple variables. The order of an ODE is determined by the highest derivative present—for example, y'' = c is a second-order equation. The solution to an ODE is a function y = f(x) that satisfies the equation when substituted, verified by computing derivatives and confirming the relationship holds.

For linear first-order ODEs in the form dy/dx + P(x)y = Q(x), the integrating factor method provides a systematic solution. Steps include: (1) identify P(x) as the coefficient of y, (2) compute the integrating factor μ(x) = e^(∫P(x)dx), (3) multiply the entire equation by μ(x), transforming the left side into d/dx[μ(x)y], (4) integrate both sides, and (5) solve for y explicitly. Integration by parts is often required when integrating the right-hand side.

John Maynard Smith formalized the concept of the evolutionarily stable strategy (ESS) in 1973, applying game theory to evolutionary biology. He drew minimal formal game theory knowledge, only needing the notation from Luce and Raiffa’s introductory text. ESS is defined as a strategy that, if adopted by most members of a population, cannot be outperformed by any alternative mutant strategy. Unlike classical game theory, which assumes rational actors, ESS applies to animals regardless of intelligence, focusing on reproductive success. Smith developed the mathematical conditions for ESS while in Chicago and tested them on George Price’s problem of retaliation, confirming Price’s insight that ritualized behavior could be stabilized by the threat of retaliation. He created the Hawk-Dove game, inspired by the Vietnam War, to model conflict scenarios where individuals adopt aggressive (Hawk) or non-aggressive (Dove) strategies. The model showed how mixed strategies could become evolutionarily stable. Smith initially struggled to locate Price’s unpublished work, eventually contacting him via Nature’s records and visiting his London address. The ESS framework became a foundational tool for analyzing animal behavior, enabling rigorous, mathematically grounded predictions about evolutionary outcomes without requiring assumptions of cognitive reasoning.

This section introduces the concept of Evolutionarily Stable Strategy (ESS), developed by J. Maynard Smith with G. R. Price and G. A. Parker. An ESS is a behavioral policy that, if adopted by most of the population, cannot be improved upon by any alternative strategy. The concept represents a policy preprogrammed into the animal as a survival machine, not a consciously ideated strategy. The best strategy for an individual depends on what the majority of the population is doing. Once established, such a strategy persists because any deviation is penalized by natural selection. After environmental changes, there may be a brief period of evolutionary instability, but once a stable strategy is achieved, it remains.

An Evolutionarily Stable Strategy (ESS) is a strategy that resists invasion by any mutant alternative. A strategy is stable if, when almost all population members adopt it, typical members have greater fitness than any possible mutant. The ESS concept, developed by Maynard Smith and George Price, is mathematically equivalent to Nash equilibrium in classical game theory. The core question asks whether any conceivable alternative mutation could increase in frequency due to greater lifetime reproductive success.

An Evolutionarily Stable Strategy (ESS), defined by Maynard Smith in 1982, is a strategy that cannot be invaded by mutants under natural selection. For a strategy to be an ESS, it must satisfy two conditions for all mutants: (1) The ESS does at least as well against itself as the mutant does against the ESS (Nash equilibrium condition); (2) If the mutant does equally well against the ESS, then the ESS must do better against the mutant than the mutant does against itself. The ESS stability theorem states that an ESS is locally stable and an interior ESS is globally asymptotically stable, providing strong predictive power for evolutionary outcomes.

An evolutionarily stable strategy (ESS) is a strategy that, once adopted by a population in a given environment, cannot be invaded by any alternative strategy that is initially rare; it is an equilibrium refinement of the Nash equilibrium where natural selection alone prevents successful invasion, and it was originally defined by John Maynard Smith and George R. Price in their 1973 Nature paper.