skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: A unified theory of free energy functionals and applications to diffusion
Free energy functionals of the Ginzburg–Landau type lie at the heart of a broad class of continuum dynamical models, such as the Cahn–Hilliard and Swift–Hohenberg equations. Despite the wide use of such models, the assumptions embodied in the free energy functionals frequently either are poorly justified or lead to physically opaque parameters. Here, we introduce a mathematically rigorous pathway for constructing free energy functionals that generalizes beyond the constraints of Ginzburg–Landau gradient expansions. We show that the formalism unifies existing free energetic descriptions under a single umbrella by establishing the criteria under which the generalized free energy reduces to gradient-based representations. Consequently, we derive a precise physical interpretation of the gradient energy parameter in the Cahn–Hilliard model as the product of an interaction length scale and the free energy curvature. The practical impact of our approach is demonstrated using both a model free energy function and the silicon–germanium alloy system.  more » « less
Award ID(s):
1808065 1809095
PAR ID:
10393516
Author(s) / Creator(s):
; ; ; ; ;
Date Published:
Journal Name:
Proceedings of the National Academy of Sciences
Volume:
119
Issue:
23
ISSN:
0027-8424
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. In this article, we consider a phase field model with different densities and viscosities for the coupled two-phase porous media flow and two-phase free flow, as well as the corresponding numerical simulation. This model consists of three parts: a Cahn–Hilliard–Darcy system with different densities/viscosities describing the porous media flow in matrix, a Cahn–Hilliard–Navier–Stokes system with different densities/viscosities describing the free fluid in conduit, and seven interface conditions coupling the flows in the matrix and the conduit. Based on the separate Cahn–Hilliard equations in the porous media region and the free flow region, a weak formulation is proposed to incorporate the two-phase systems of the two regions and the seven interface conditions between them, and the corresponding energy law is proved for the model. A fully decoupled numerical scheme, including the novel decoupling of the Cahn–Hilliard equations through the four phase interface conditions, is developed to solve this coupled nonlinear phase field model. An energy-law preservation is analyzed for the temporal semi-discretization scheme. Furthermore, a fully discretized Galerkin finite element method is proposed. Six numerical examples are provided to demonstrate the accuracy, discrete energy law, and applicability of the proposed fully decoupled scheme. 
    more » « less
  2. Abstract We propose two mass and heat energy conservative, unconditionally stable, decoupled numerical algorithms for solving the Cahn–Hilliard–Navier–Stokes–Darcy–Boussinesq system that models thermal convection of two‐phase flows in superposed free flow and porous media. The schemes totally decouple the computation of the Cahn–Hilliard equation, the Darcy equations, the heat equation, the Navier–Stokes equations at each time step, and thus significantly reducing the computational cost. We rigorously show that the schemes are conservative and energy‐law preserving. Numerical results are presented to demonstrate the accuracy and stability of the algorithms. 
    more » « less
  3. It is well-known that under suitable hypotheses, for a sequence of solutions of the (simplified) Ginzburg–Landau equations-\Delta u_{\varepsilon} +\varepsilon^{-2}(|u_{\varepsilon}|^{2}-1)u_{\varepsilon} = 0, the energy and vorticity concentrate as\varepsilon\to 0around a codimension2stationary varifold – a (measure-theoretic) minimal surface. Much less is known about the question of whether, given a codimension2minimal surface, there exists a sequence of solutions for which the given minimal surface is the limiting concentration set. The corresponding question is very well-understood for minimal hypersurfaces and the scalar Allen–Cahn equation, and for the Ginzburg–Landau equations when the minimal surface is locally area-minimizing, but otherwise quite open. We consider this question on a3-dimensional closed Riemannian manifold(M,g), and we prove that any embedded nondegenerate closed geodesic can be realized as the asymptotic energy/ vorticity concentration set of a sequence of solutions of the Ginzburg–Landau equations. 
    more » « less
  4. We extend the doubly degenerate Cahn–Hilliard (DDCH) models for isotropic surface diffusion, which yield more accurate approximations than classical degenerate Cahn–Hilliard (DCH) models, to the anisotropic case. We consider both weak and strong anisotropies and demonstrate the capabilities of the approach for these cases numerically. The proposed model provides a variational and energy dissipative approach for anisotropic surface diffusion, enabling large‐scale simulations with material‐specific parameters. 
    more » « less
  5. null (Ed.)
    We construct a numerical scheme based on the scalar auxiliary variable (SAV) approach in time and the MAC discretization in space for the Cahn–Hilliard–Navier–Stokes phase- field model, prove its energy stability, and carry out error analysis for the corresponding Cahn–Hilliard–Stokes model only. The scheme is linear, second-order, unconditionally energy stable and can be implemented very efficiently. We establish second-order error estimates both in time and space for phase-field variable, chemical potential, velocity and pressure in different discrete norms for the Cahn–Hilliard–Stokes phase-field model. We also provide numerical experiments to verify our theoretical results and demonstrate the robustness and accuracy of our scheme. 
    more » « less