Connectivity of Phase Boundaries in Strictly Convex Domains

Abstract. We consider equilibria arising in a model for phase transitions which correspond to stable critical points of the constrained variational problem $$\inf_{\int_{\Omega} u\,dx=m} \int_{\Omega} \frac{1}{\varepsilon}W(u)+\frac{\varepsilon}{2} \big|\nabla u\big|^2 dx.$$ Here W is a double‐well potential and $\Omega\subset\R^n$ is a strictly convex domain. For ε small, this is closely related to the problem of partitioning Ω into two subdomains of fixed volume, where the subdomain boundaries correspond to the transitional boundary between phases. Motivated by this geometry problem, we show that in a strictly convex domain, stable critical points of the original variational problem have a connected, thin transition layer separating the two phases. This relates to work in [GM] where special geometries such as cylindrical domains were treated, and is analogous to the results in [CHo] which show that in a convex domain, stable critical points of the corresponding unconstrained problem are constant. The proof of connectivity employs tools from geometric measure theory including the co‐area formula and the isoperimetric inequality on manifolds. The thinness of the transition layer follows from a separate calculation establishing spatial decay of solutions to the pure phases.

[1]  Xinfu Chen,et al.  Exixtance of equilibria for the chn-hilliard equation via local minimizers of the perimeter , 1996 .

[2]  P. Sternberg The effect of a singular perturbation on nonconvex variational problems , 1988 .

[3]  M. Gurtin,et al.  Structured phase transitions on a finite interval , 1984 .

[4]  M. Gurtin Some Results and Conjectures in the Gradient Theory of Phase Transitions , 1987 .

[5]  M. Grinfeld,et al.  Counting stationary solutions of the Cahn–Hilliard equation by transversality arguments , 1995, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[6]  P. Sternberg,et al.  On the connectivity of boundaries of sets minimizing perimeter subject to a volume constraint , 1999 .

[7]  C. M. Elliott,et al.  Numerical Studies of the Cahn-Hilliard Equation for Phase Separation , 1987 .

[8]  Robert V. Kohn,et al.  Local minimisers and singular perturbations , 1989, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[9]  B. Niethammer Existence and uniqueness of radially symmetric stationary points within the gradient theory of phase transitions , 1995, European Journal of Applied Mathematics.

[10]  Morton E. Gurtin,et al.  On the structure of equilibrium phase transitions within the gradient theory of fluids , 1988 .

[11]  Xinfu Chen,et al.  Global asymptotic limit of solutions of the Cahn-Hilliard equation , 1996 .

[12]  N. Alikakos,et al.  Slow Dynamics for the Cahn‐Hilliard Equation in Higher Space Dimensions: The Motion of Bubbles , 1998 .

[13]  Barbara Stoth,et al.  Convergence of the Cahn-Hilliard Equation to the Mullins-Sekerka Problem in Spherical Symmetry , 1996 .

[14]  Robert L. Pego,et al.  Front migration in the nonlinear Cahn-Hilliard equation , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[15]  L. Modica The gradient theory of phase transitions and the minimal interface criterion , 1987 .

[16]  Michael J. Ward,et al.  Metastable Bubble Solutions for the Allen-Cahn Equation with Mass Conservation , 1996, SIAM J. Appl. Math..

[17]  L. Bronsard,et al.  Volume-preserving mean curvature flow as a limit of a nonlocal Ginzburg-Landau equation , 1997 .

[18]  H. Fédérer Geometric Measure Theory , 1969 .

[19]  J. Rubinstein,et al.  Nonlocal reaction−diffusion equations and nucleation , 1992 .

[20]  R. G. Casten,et al.  Instability results for reaction diffusion equations with Neumann boundary conditions , 1978 .

[21]  J. Waals The thermodynamic theory of capillarity under the hypothesis of a continuous variation of density , 1979 .

[22]  J. E. Hilliard,et al.  Free Energy of a Nonuniform System. I. Interfacial Free Energy , 1958 .

[23]  Hiroshi Matano,et al.  Asymptotic Behavior and Stability of Solutions of Semilinear Diffusion Equations , 1979 .

[24]  L. Bronsard,et al.  Slow motion in the gradient theory of phase transitions via energy and spectrum , 1997 .