This paper proves that two-dimensional, fully localised patterns can arise from a pattern-forming instability when the instability is introduced only in a compact region of space. The authors work with a standard model for pattern formation, the Swift–Hohenberg equation, and modify its linear part by adding a radially symmetric potential that is nonzero only inside a disk of radius R. Inside that disk the flat (trivial) state becomes unstable, while outside it remains stable, and the authors show that nontrivial steady patterns localised around the disk must exist.

At a technical level they set up the problem as a partial differential equation (PDE) with a compactly supported potential V(|x|) equal to 1 for r<R and 0 for r>R, and with a nonlinear term f(u) that is analytic and has f(0)=f′(0)=0. They look for steady solutions u(x) in an even subspace and in subspaces with dihedral symmetry (symmetry under rotations and reflections). The key analytical steps are to show that the linear operator has a Fredholm property (informally: the continuous spectrum is well separated so instability changes come from isolated eigenvalues) and then to locate parameter values ε where a single eigenvalue crosses. With those hypotheses they apply the Crandall–Rabinowitz theorem for local bifurcation and analytic global bifurcation theory (ideas due to Dancer, Buffoni and Toland, and others) to continue the small solutions to large amplitude along continuous branches.

When applied to the Swift–Hohenberg example the authors are able to characterise the point spectrum explicitly. They write spectral conditions in terms of Bessel functions and a weighted Wronskian and observe numerically that there are infinitely many bifurcation points ε_{k,n} indexed by an angular symmetry k and a radial mode n. For the primary bifurcating branch they find that the emerging pattern alternates between an axisymmetric spot and a non‑axisymmetric “dipole” depending on the disk radius R. More generally they prove the existence of fully localised patterns with D_k dihedral symmetry for any integer k≥0, and they continue these branches to large amplitude under the analytic continuation framework.