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.
Let be independent random variables with the standard normal distribution. The unconstrained Milstein method step is
The noise is additive, so its Milstein correction vanishes. The diagonal, independent noise fields commute, so no cross iterated stochastic integral is required.
Implement each reflecting boundary condition for a diffusion by folding the proposed coordinate back into . One formula that also handles multiple overshoots is
The complete update is
Under the usual smoothness assumptions, the Milstein discretization has strong order of convergence one and weak order of convergence one. The reflection enforces the boundary pathwise.
In this polymerization Brownian ratchet model, a gap of width immediately accommodates one monomer. That event advances the tip by and resets the gap to zero. The threshold is therefore an absorbing boundary condition for a diffusion,
All waiting-time probability lies within , so the steady occupation probability density satisfies
There is a reinjection flux at equal to the absorption flux at . The nonpenetration constraint at zero is a reflecting boundary condition for a diffusion during each individual waiting episode. For the stationary reset process it must not be confused with setting the net current to zero: the source at reset supplies . This is how a normalized steady density can coexist with a nonzero exit flux.