Minimizing sequences selected via singular perturbations, and their pattern formation

We study the Cahn-Hilliard energy E-epsilon(u) over the unit square under t he constraint of a constant mass m with (epsilon > 0) and without (epsilon = 0) interfacial energy. Minimizers of E-0(u) have no preferred pattern and we select patterns via sequences of conditionally critical points of E-eps ilon(u) converging to minimizers as epsilon tends to zero. Those critical p oints are not minimizers if the singular limit has no minimal interface. We obtain them by a global bifurcation analysis of the Euler-Lagrange equatio ns for E-epsilon(u) where the mass m is the bifurcation parameter. We make use of the symmetry of the unit square, and the elliptic maximum principle, in turn, implies that the location of maxima and minima is fixed for all s olutions on global branches. This property is used to guarantee the existen ce of a singular limit and to verify the Weierstrass-Erdmann corner conditi on which proves its minimizing property.