Abstract: Most differential equation models in the applied sciences involve parameters which often cannot be determined with absolute certainty. It is therefore important to study such models for whole parameter ranges, and in particular, to detect parameter values at which the system behavior changes qualitatively. A first step towards accomplishing this goal has to be the understanding of the set of equilibria or stationary solutions of the model. In this talk, we demonstrate how rigorous computational techniques can be used to validate bifurcation diagrams, both in finite- and certain infinite-dimensional problems. We focus particularly on the verification of branches, as well as on saddle-node and symmetry-breaking pitchfork bifurcations. Throughout, our approach will be applied to two examples from materials science. On the one hand, we consider lattice dynamical systems, specifically the discrete Allen-Cahn equation. Such systems have been proposed as more realistic models due to the existing underlying discreteness, and unlike their continuum counterparts, lattice models can account for phenomena such as pinning. As our second example, we consider the diblock copolymer model, which models microphase separation.
Title: Computer-Assisted Bifurcation Diagram Validation and Applications in Materials Science