The even pair potential represents repulsion: because it decreases for positive separation, the force pushes particles apart. Marginalizing the -particle Fokker-Planck equation gives
Under the mean-field approximation, propagation of chaos gives . Taking yields the closed nonlocal equation
The convolution term is the collective repulsive drift generated by the population density.
For a sufficiently regular Itô diffusion with , a density is stationary if and only if it solves the stationary Fokker-Planck equation
with integrable Fokker-Planck probability current and boundary conditions that make its outward flux vanish. Here .
For the displayed parametrization, assume
where , that is symmetric positive semidefinite, and that is antisymmetric. Substituting and the stated into the probability current cancels all terms. The remaining divergence is
because the second derivatives are symmetric in whereas . Thus these conditions, together with the boundary and regularity assumptions, imply stationarity. More generally, the divergence equation above is the exact necessary and sufficient condition; within this construction, and antisymmetric are the standard way to satisfy it.
The Fokker-Planck equation corresponds to the Itô diffusion
absorbed at and reflected at .
For , an Euler--Maruyama proposal is
If , kill the path. If and , an endpoint-only test can miss a crossing. Conditional on the endpoints, the local Brownian bridge crossing probability is
Kill the path with this probability; otherwise impose reflection at by replacing an overshoot with and set . Repeated reflection handles very rare multiple overshoots, and the approximation converges as .
This is a birth-death process with birth and death rates
Its transition diagram has the two arrows
The gain into state comes from a death in state or a birth in state , while the loss is the sum of both rates out of state . The birth-death master equation is consequently
Multiplying by , summing over the nonnegative integers, and shifting the summation indices shows that each birth contributes and each death contributes . Thus the first-moment equation of a birth-death process gives
At a stationary state, use the variance identity . Solving the resulting quadratic equation gives
The minus root is inadmissible whenever it is negative, namely when . Equality would give zero mean, which is also incompatible with a positive immigration rate , so for the minus branch requires even to be a possible mean.
For a continuum approximation, write and . Applying the Kramers-Moyal expansion to the two gain terms and retaining derivatives through second order gives the Fokker-Planck equation
where the negative drift and infinitesimal jump variance are
This truncation requires the typical population and the scale on which varies to be much larger than the unit jump size, with the rates varying smoothly across that scale.
The positive zero of is
so in particular as . Put . The linear noise approximation uses
where
and, because ,
In a stationary state with zero Fokker-Planck probability current,
Its normalized solution is the normal distribution
It follows that
These estimates agree with the exact stationary first-moment relation on its plus branch to leading order: inserting gives . Moreover,
Thus the stationary mass lies far from the boundary , is narrow relative to its mean, yet changes across many lattice sites. These are precisely the large-population and slow-variation conditions needed for the diffusion approximation.
The two-dimensional Fokker-Planck equation is
with Fokker-Planck probability current
The point initial condition is
where is the Dirac delta function. The reflecting boundary condition for a diffusion is
with the outward unit normal. This zero-flux condition conserves the integral of the probability density function over the square.
When jumps are small relative to a large population and moments exist, the Kramers-Moyal expansion through second order gives
This Fokker-Planck equation is a conservation law with vanishing boundary flux; is the drift and the diffusivity. Equal constant rates for jumps give pure diffusion.
A probability density left unchanged by the Fokker-Planck equation . Equivalently its Fokker-Planck probability current has zero divergence; the current itself need not vanish. For the Ornstein-Uhlenbeck Fokker-Planck equation, the normalized standard Gaussian density has zero current and is stationary.