While the structure of the set of stationary solutions of the Cahn-Hilliard equation on one-dimensional domains is completely understood, only partial results are available for two-dimensional base domains. In this paper, we demonstrate how rigorous computational techniques can be employed to establish computerassisted existence proofs for equilibria of the Cahn-Hilliard equation on the unit square. Our method is based on results by Mischaikow and Zgliczyński [22], and combines rigorous computations with Conley index techniques. We are able to establish branches of equilibria and, under more restrictive conditions, even the local uniqueness of specific equilibrium solutions. Sample computations for several branches are presented, which illustrate the resulting patterns.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.