Organization of Spatially Localized Structures near a Codimension-Three Cusp-Turing Bifurcation

A wide variety of stationary or moving spatially localized structures is present in evolution problems on unbounded domains, governed by higher-than-second-order reversible spatial interactions. This work provides a generic unfolding in one spatial dimension of a certain codimension-three singularity that explains the organization of bifurcation diagrams of such localized states in a variety of contexts, ranging from nonlinear optics to fluid mechanics, mathematical biology, and beyond. The singularity occurs when a cusp bifurcation associated with the onset of bistability between homogeneous steady states encounters a pattern-forming, or Turing, bifurcation. The latter corresponds to a Hamiltonian-Hopf point of the corresponding spatial dynamics problem. Such codimension-three points are sometimes called Lifshitz points in the physics literature. In the simplest case where the spatial system conserves a first integral, the system is described by a canonical fourth-order scalar system. The problem contains three small parameters: two that unfold the cusp bifurcation and one that unfolds the Turing bifurcation. Several cases are revealed, depending on open conditions on the signs of the lowest-order nonlinear terms. Taking the case in which the Turing bifurcation is subcritical, various parameter regimes are considered and the bifurcation diagrams of localized structures are elucidated. A rich bifurcation structure is revealed which involves transitions between regions of localized periodic patterns generated by standard homoclinic snaking, and regions of stationary domains of one homogeneous solution embedded in the other organized in a collapsed snaking structure. The theory is shown to unify previous numerical results obtained in models arising in nonlinear optics, fluid mechanics, and excitable media more generally.