Reaction–Diffusion with Potentials

• Reaction–diffusion systems with potentials are mathematical models combining localized reaction kinetics, diffusion processes, and spatial energy landscapes to drive species concentration dynamics.
• They employ reaction, external, and singular potentials to influence pattern formation, blow‐up control, and phase coexistence in both stochastic and deterministic settings.
• Advanced computational methods, including hybrid particle simulations and Fredholm integral approaches, enable precise analysis of these complex models in biophysical and chemical applications.

Reaction–diffusion systems with potentials encompass a broad class of mathematical and physical models where reaction kinetics, stochastic or deterministic diffusion, and one or more potential energy landscapes jointly govern the spatiotemporal evolution of species' concentrations. “Potentials” appear in several capacities: as reaction potentials (encoding finite reaction rates within prescribed zones), as external or pairwise interaction potentials (affecting drift and spatial encounter probabilities), as effective “energy” landscapes in deterministic and stochastic settings, and as singular or spatially structured contributions modulating global existence or pattern selection. This article surveys the rigorous frameworks, main results, and key applications of reaction–diffusion with potentials, emphasizing exact mathematical relationships, computational strategies, and implications for biophysical modeling.

1. Reaction Potentials in Stochastic and Deterministic Models

Reaction potentials represent local reaction kinetics by introducing a spatially localized reaction term. In the Doi model (Agbanusi et al., 2013), pairs of diffusively moving particles are allowed to react only when within a reaction radius $r_b$, with propensity (rate per unit time) $\lambda$. The probability density $p_{\rm D}(r,t)$ of an unreacted pair at separation $r$ evolves as

$$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$

where $\Delta_r$ is the radial Laplacian and $D$ the sum of individual diffusivities. Here $\lambda \mathbf{1}_{\{r < r_b\}}$ acts as the reaction potential, removing probability mass only within the reactive domain.

The Smoluchowski model represents the limiting case of instantaneous reaction, replacing the reaction potential with a perfect-absorption boundary at $r = r_b$: $$\frac{\partial p_{\rm S}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm S}(r,t), \quad \text{with } p_{\rm S}(r_b, t) = 0.$$ The Doi model converges in the $\lambda$0 limit to the Smoluchowski model, with rigorous rate $\lambda$1 for all $\lambda$2 (Agbanusi et al., 2013).

2. External and Pair Interaction Potentials

The inclusion of potential energy landscapes $\lambda$3 or pairwise potentials $\lambda$4 leads to drift-diffusion (reaction-drift-diffusion) models. The corresponding Fokker–Planck equations take the gradient-flow form: $\lambda$5 where $\lambda$6 is diffusivity, $\lambda$7 a (possibly spatially extended) reactive sink, and $\lambda$8 the local sink strength (Samanta et al., 2020, Spendier et al., 2013). When $\lambda$9 is harmonic, the propagator is Ornstein–Uhlenbeck, yielding explicit survival probabilities and mean first-passage times (Spendier et al., 2013). For arbitrary $p_{\rm D}(r,t)$0 and $p_{\rm D}(r,t)$1, the Fredholm integral method in the Laplace domain provides a systematic semi-analytic framework (Samanta et al., 2020).

For pair potentials, the reaction–diffusion equation for spherically symmetric overdamped motion is: $p_{\rm D}(r,t)$2 with $p_{\rm D}(r,t)$3 for a Doi-type reaction volume, and $p_{\rm D}(r,t)$4 any isotropic pairwise potential. The macroscopic rate constant $p_{\rm D}(r,t)$5 decomposes as

$p_{\rm D}(r,t)$6

where $p_{\rm D}(r,t)$7, with $p_{\rm D}(r,t)$8 (encounter rate) set by diffusion against $p_{\rm D}(r,t)$9, and $r$0 (formation rate) determined by the local reaction propensity inside $r$1 (Dibak et al., 2019).

3. Effective Potential Frameworks and Energy Landscapes

Reaction–diffusion systems with scalar or vector potential landscapes are naturally connected to “energy functional” frameworks. The classical case is the scalar reaction–diffusion equation admitting an energy (Lyapunov) functional: $r$2 with $r$3 (Marquez-Lago et al., 2013). The pattern selection problem (spots vs. stripes) is controlled by the double-well structure of $r$4:

• Unequal minima $r$5: spots are favored.
• Equal minima $r$6: stripes or interfaces ("Maxwell construction" or equal-area rule).

Multi-component systems lacking strict gradient-flow structure admit an auxiliary “effective potential” from the stationary solution of the associated Fokker–Planck equation in state space. If the steady FP density $r$7 has a unique peak, spots are favored; if two peaks of equal height, stripes or labyrinths emerge (Marquez-Lago et al., 2013).

4. Singular and Nonlinear Potentials: Blow-Up and Global Existence

Singular spatially dependent potentials, such as $r$8 with $r$9, can radically alter reaction–diffusion blow-up behavior. For the equation

$$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$0

finite-time blow-up present in standard homogeneous models (with $$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$1, $$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$2) may be prevented if $$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$3 and $$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$4 is sufficiently negative. The existence and uniqueness of global-in-time self-similar solutions that grow up but do not blow up are established via dynamical systems techniques and barrier constructions (Iagar et al., 2021). This constitutes the first rigorous instance where a spatially singular potential enforces global existence in a quasilinear reaction–diffusion problem that otherwise blows up.

5. Statistical Mechanics and Stochastic Phase Coexistence

In weakly stochastic, spatially discrete networks described by coupled bistable reactors (e.g., the Schlögl model), the phase coexistence criterion between stable concentrations depends crucially on the diffusion (hopping) rate between nodes. In the limit of fast hopping ($$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$5 kinetic rates), the deterministic mean-field potential $$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$6 governs coexistence via $$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$7, with $$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$8 the rate function (Yanagisawa et al., 2024). In the slow-hopping regime ($$\frac{\partial p_{\rm D}}{\partial t}(r,t) = D\,\Delta_r\,p_{\rm D}(r,t) - \lambda\, \mathbf{1}_{\{0 < r < r_b\}} p_{\rm D}(r,t),$$9 kinetic rates), the relevant criterion shifts to the stochastic quasi-potential (large deviation rate function) $\Delta_r$0, with coexistence at $\Delta_r$1.

This distinction generalizes the Maxwell equal-area rule to nonequilibrium and stochastic settings; $\Delta_r$2 is a Lyapunov functional of the deterministic PDE, whereas $\Delta_r$3 encodes the large deviation principle for stochastic fluctuations in a well-mixed reactor.

6. Computational Methods for Reaction–Drift–Diffusion with Potentials

Exact simulation of reaction–drift–diffusion with arbitrary potentials typically requires hybrid computational schemes. In 1D or pairwise settings, analytical or semi-analytical solutions exist (via propagator or Fredholm integral approaches) for certain classes of $\Delta_r$4 or interaction $\Delta_r$5 (Samanta et al., 2020, Spendier et al., 2013).

Stochastic particle-based simulation methods such as the Dynamic Lattice First-Passage Kinetic Monte Carlo (DL-FPKMC) algorithm (Mauro et al., 2013) generalize first-passage strategies to include drift from fixed potentials. Diffusion and reactions are approximated by continuous-time random walks on dynamically adapted lattices, with jump rates derived from the discretized Fokker–Planck equation: $\Delta_r$6 for uniform meshes, preserving detailed balance and achieving high accuracy for both smooth and discontinuous $\Delta_r$7. These methods demonstrate that drift/local potential energy landscapes strongly modulate both reaction locations and times, with reaction events clustering near potential minima and potential barriers leading to long-tail survival distributions.

7. Applications and Implications

Reaction–diffusion systems with potentials underpin diverse biophysical, chemical, and engineering phenomena:

• Biomolecular association: Models with reaction potentials and pairwise interactions quantify how molecular structure, steric exclusion, and soft or Lennard-Jones-like forces modulate association rates in crowded environments (Dibak et al., 2019).
• Pattern formation: Effective potentials arising from kinetics govern the emergence of spatial motifs (spots vs. stripes) in developmental systems, synthetic biology constructs, and tissue engineering matrices (Marquez-Lago et al., 2013).
• Cellular electrophysiology: Coupled reaction–diffusion–potential systems are deployed in minimal models of cardiac tissue, with gating variables and external stimuli encoded as potentials that affect action potential propagation and arrhythmogenesis (Richter et al., 2017).
• Energy transduction: Models combining diffusion, reactions, and electrostatic potentials via energetic variational principles capture self-regulated switching and feedback, as in the mitochondrial electron transport chain (Xu et al., 2023).
• Blow-up control and nonlinear PDE theory: Singular or spatially inhomogeneous potentials may suppress catastrophic concentration increases, offering rigorous prevention of finite-time blow-up (Iagar et al., 2021).
• Phase separation and coexistence: Stochastic and deterministic potentials mediate spatial phase segregation and the coexistence of distinct concentration domains in large stochastic reactor networks (Yanagisawa et al., 2024).
• Diffusion-influenced exciton/energy transport: Survival probabilities and rates in the presence of Gaussian sinks and external potentials unify solution-phase electronic relaxation and photosynthetic yield predictions (Samanta et al., 2020).

In all these areas, the explicit or implicit structure of the potential is as central as the reaction or diffusion terms themselves, dictating not only quantitative rates but also qualitative behaviors such as pattern selection, stability, and global existence.