{"id":"palomar/PALOMAR-2026-10-23-000005","url":"https://github.com/jvanwinden/PlanarFrontStability/tree/4811e1e1286ee9bac5700dcbfa00c782c636154d","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-23-000005-v1.json","repo":"https://github.com/jvanwinden/PlanarFrontStability","tags":["math.AP","msc:35B35","msc:35B40","msc:35C07","msc:35K57","reaction-diffusion","pde-fronts","formalization"],"score":0,"title":"Stability of planar fronts in reaction-diffusion systems","trust":"high","domain":"math.AP","source":"palomar","authors":["Joris van Winden"],"reviews":0,"subject":"math.AP","summary":"A Lean formalization of effective dynamics near spectrally stable planar fronts in reaction-diffusion systems under small, bounded uniformly continuous perturbations. The main result constructs global solutions and approximates the perturbed front by a phase evolving according to a viscous Hamilton-Jacobi equation, with a uniform quantitative error bound.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-23","reactions":{},"formalized":true,"formalizes":[{"title":"Stability and dynamics of planar fronts in reaction-diffusion systems under nonlocalized perturbations","identifier":"https://arxiv.org/abs/2601.05832v1","relationship":"formalizes"}]}