Proving the existence of localized patterns and saddle node bifurcations in 1D activator-inhibitor type models

Dominic Blanco, Matthieu Cadiot, Daniel Fassler

In this paper, we present a general framework for constructively proving the existence and stability of stationary localized 1D solutions and saddle-node bifurcations in activator-…