skip to main content


Title: Minimizers for the Cahn--Hilliard energy functional under strong anchoring conditions
We study analytically and numerically the minimizers for the Cahn-Hilliard energy functional with a symmetric quartic double-well potential and under a strong anchoring condition(i.e., the Dirichlet condition) on the boundary of an underlying bounded domain. We show a bifurcation phenomenon determined by the boundary value and a parameter that describes the thickness of a transition layer separating two phases of an underlying system of binary mixtures. For the case that the boundary value is exactly the average of the two pure phases, if the bifurcation parameter is larger than or equal to a critical value, then the minimizer is unique and is exactly the homogeneous state. Otherwise, there are exactly two symmetric minimizers. The critical bifurcation value is inversely proportional to the first eigenvalue of the negative Laplace operator with the zero Dirichlet boundary condition. For a boundary value that is larger (or smaller) than that of the average of the two pure phases, the symmetry is broken and there is only one minimizer. We also obtain the bounds and morphological properties of the minimizers under additional assumptions on the domain.Our analysis utilizes the notion of the Nehari manifold and connects it to the eigenvalue problem for the negative Laplacian with the homogeneous boundary condition. We numerically minimize the functional E by solving the gradient-flow equation of E, i.e., the Allen-Cahn equation, with the designated boundary conditions, and with random initial values. We present our numerical simulations and discuss them in the context of our analytical results.  more » « less
Award ID(s):
1913144
NSF-PAR ID:
10288371
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
SIAM journal on applied mathematics
Volume:
80
Issue:
5
ISSN:
0036-1399
Page Range / eLocation ID:
2299-2317
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We consider a 2D free boundary model of cell motility, inspired by the 1D contraction-driven cell motility model due to P. Recho, T. Putelat, and L. Truskinovsky [Phys. Rev. Lett. 111 (2013), p. 108102]. The key ingredients of the model are the Darcy law for overdamped motion of the acto-myosin network, coupled with the advection-diffusion equation for myosin density. These equations are supplemented with the Young-Laplace equation for the pressure and no-flux condition for the myosin density on the boundary, while evolution of the boundary is subject to the acto-myosin flow at the edge. The focus of the work is on stability analysis of stationary solutions and translationally moving traveling wave solutions. We study stability of radially symmetric stationary solutions and show that at some critical radius a pitchfork bifurcation occurs, resulting in emergence of a family of traveling wave solutions. We perform linear stability analysis of these latter solutions with small velocities and reveal the type of bifurcation (sub- or supercritical). The main result of this work is an explicit asymptotic formula for the stability determining eigenvalue in the limit of small traveling wave velocities. 
    more » « less
  2. Abstract

    In materials that undergo martensitic phase transformation, macroscopic loading often leads to the creation and/or rearrangement of elastic domains. This paper considers an example involving a single-crystal slab made from two martensite variants. When the slab is made to bend, the two variants form a characteristic microstructure that we like to call “twinning with variable volume fraction.” Two 1996 papers by Chopra et al. explored this example using bars made from InTl, providing considerable detail about the microstructures they observed. Here we offer an energy-minimization-based model that is motivated by their account. It uses geometrically linear elasticity, and treats the phase boundaries as sharp interfaces. For simplicity, rather than model the experimental forces and boundary conditions exactly, we consider certain Dirichlet or Neumann boundary conditions whose effect is to require bending. This leads to certain nonlinear (and nonconvex) variational problems that represent the minimization of elastic plus surface energy (and the work done by the load, in the case of a Neumann boundary condition). Our results identify how the minimum value of each variational problem scales with respect to the surface energy density. The results are established by proving upper and lower bounds that scale the same way. The upper bounds are ansatz-based, providing full details about some (nearly) optimal microstructures. The lower bounds are ansatz-free, so they explain why no other arrangement of the two phases could be significantly better.

     
    more » « less
  3. Strong coupling between geomechanical deformation and multiphase fluid flow appears in a variety of geoscience applications. A common discretization strategy for these problems is a continuous Galerkin finite element scheme for the momentum balance equation and a finite volume scheme for the mass balance equations. When applied within a fully implicit solution strategy, however, this discretization is not intrinsically stable. In the limit of small time steps or low permeabilities, spurious oscillations in the piecewise-constant pressure field, i.e., checkerboarding, may be observed. Further, eigenvalues associated with the spurious modes will control the conditioning of the matrices and can dramatically degrade the convergence rate of iterative linear solvers. Here, we propose a stabilization technique in which the mass balance equations are supplemented with stabilizing flux terms on a macroelement basis. The additional stabilization terms are dependent on a stabilization parameter. We identify an optimal value for this parameter using an analysis of the eigenvalue distribution of the macroelement Schur complement matrix. The resulting method is simple to implement and preserves the underlying sparsity pattern of the original discretization. Another appealing feature of the method is that mass is exactly conserved on macroelements, despite the addition of artificial fluxes. The efficacy of the proposed technique is demonstrated with several numerical examples. 
    more » « less
  4. Abstract We characterize initial value problems for the defocusing Manakov system (coupled two-component nonlinear Schrödinger equation) with nonzero background and well-defined spatial parity symmetry (i.e., when each of the components of the solution is either even or odd), corresponding to boundary value problems on the half line with Dirichlet or Neumann boundary conditions at the origin. We identify the symmetries of the eigenfunctions arising from the spatial parity of the solution, and we determine the corresponding symmetries of the scattering data (reflection coefficients, discrete spectrum and norming constants). All parity induced symmetries are found to be more complicated than in the scalar (i.e., one-component) case. In particular, we show that the discrete eigenvalues giving rise to dark solitons arise in symmetric quartets, and those giving rise to dark–bright solitons in symmetric octets. We also characterize the differences between the purely even or purely odd case (in which both components are either even or odd functions of x ) and the ‘mixed parity’ cases (in which one component is even while the other is odd). Finally, we show how, in each case, the spatial symmetry yields a constraint on the possible existence of self-symmetric eigenvalues, corresponding to stationary solitons, and we study the resulting behavior of solutions. 
    more » « less
  5. The primal variational formulation of the fourth-order Cahn-Hilliard equation requires C1-continuous finite element discretizations, e.g., in the context of isogeometric analysis. In this paper, we explore the variational imposition of essential boundary conditions that arise from the thermodynamic derivation of the Cahn-Hilliard equation in primal variables. Our formulation is based on the symmetric variant of Nitsche's method, does not introduce additional degrees of freedom and is shown to be variationally consistent. In contrast to strong enforcement, the new boundary condition formulation can be naturally applied to any mapped isogeometric parametrization of any polynomial degree. In addition, it preserves full accuracy, including higher-order rates of convergence, which we illustrate for boundary-fitted discretizations of several benchmark tests in one, two and three dimensions. Unfitted Cartesian B-spline meshes constitute an effective alternative to boundary-fitted isogeometric parametrizations for constructing C1-continuous discretizations, in particular for complex geometries. We combine our variational boundary condition formulation with unfitted Cartesian B-spline meshes and the finite cell method to simulate chemical phase segregation in a composite electrode. This example, involving coupling of chemical fields with mechanical stresses on complex domains and coupling of different materials across complex interfaces, demonstrates the flexibility of variational boundary conditions in the context of higher-order unfitted isogeometric discretizations. 
    more » « less