-
Implicit Update of the Moment Equations for a Multi-Species, Homogeneous BGK Model
Authors:
Evan Habbershaw,
Cory D. Hauck,
Steven M. Wise
Abstract:
A simple iterative approach for solving a set of implicit kinetic moment equations is proposed. This implicit solve is a key component in the IMEX discretization of the multi-species Bhatnagar-Gross-Krook (M-BGK) model with nontrivial collision frequencies depending on individual species temperatures. We prove that under mild time step restrictions, the iterative method generates a contraction map…
▽ More
A simple iterative approach for solving a set of implicit kinetic moment equations is proposed. This implicit solve is a key component in the IMEX discretization of the multi-species Bhatnagar-Gross-Krook (M-BGK) model with nontrivial collision frequencies depending on individual species temperatures. We prove that under mild time step restrictions, the iterative method generates a contraction map**. Numerical simulations are provided to illustrate results of the IMEX scheme using the implicit moment solver.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
A Thermodynamically Consistent Phase-Field Model and an Entropy Stable Numerical Method for Simulating Two-Phase Flows with Thermocapillary Effects
Authors:
Yanxiao Sun,
Jiang Wu,
Maosheng Jiang,
Steven M. Wise,
Zhenlin Guo
Abstract:
In this study, we have derived a thermodynamically consistent phase-field model for two-phase flows with thermocapillary effects. This model accommodates variations in physical properties such as density, viscosity, heat capacity, and thermal conductivity between the two components. The model equations encompass a Cahn-Hilliard equation with the volume fraction as the phase variable, a Navier-Stok…
▽ More
In this study, we have derived a thermodynamically consistent phase-field model for two-phase flows with thermocapillary effects. This model accommodates variations in physical properties such as density, viscosity, heat capacity, and thermal conductivity between the two components. The model equations encompass a Cahn-Hilliard equation with the volume fraction as the phase variable, a Navier-Stokes equation, and a heat equation, and meanwhile maintains mass conservation, energy conservation, and entropy increase simultaneously. Given the highly coupled and nonlinear nature of the model equations, we developed a semi-decoupled, mass-preserving, and entropy-stable time-discrete numerical method. We conducted several numerical tests to validate both our model and numerical method. Additionally, we have investigated the merging process of two bubbles under non-isothermal conditions and compared the results with those under isothermal conditions. Our findings reveal that temperature gradients influence bubble morphology and lead to earlier merging. Moreover, we have observed that the merging of bubbles slows down with increasing heat Peclect number PeT when the initial temperature field increases linearly along the channel, while bubbles merge faster with heat Peclect number PeT when the initial temperature field decreases linearly along the channel.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Convergence Analysis of a Preconditioned Steepest Descent Solver for the Cahn-Hilliard Equation with Logarithmic Potential
Authors:
Amanda E. Diegel,
Cheng Wang,
Steven M. Wise
Abstract:
In this paper, we provide a theoretical analysis for a preconditioned steepest descent (PSD) iterative solver that improves the computational time of a finite difference numerical scheme for the Cahn-Hilliard equation with Flory-Huggins energy potential. In the numerical design, a convex splitting approach is applied to the chemical potential such that the logarithmic and the surface diffusion ter…
▽ More
In this paper, we provide a theoretical analysis for a preconditioned steepest descent (PSD) iterative solver that improves the computational time of a finite difference numerical scheme for the Cahn-Hilliard equation with Flory-Huggins energy potential. In the numerical design, a convex splitting approach is applied to the chemical potential such that the logarithmic and the surface diffusion terms are treated implicitly while the expansive concave term is treated with an explicit update. The nonlinear and singular nature of the logarithmic energy potential makes the numerical implementation very challenging. However, the positivity-preserving property for the logarithmic arguments, unconditional energy stability, and optimal rate error estimates have been established in a recent work and it has been shown that successful solvers ensure a similar positivity-preserving property at each iteration stage. Therefore, in this work, we will show that the PSD solver ensures a positivity-preserving property at each iteration stage. The PSD solver consists of first computing a search direction (involved with solving a Poisson-like equation) and then takes a one-parameter optimization step over the search direction in which the Newton iteration becomes very powerful. A theoretical analysis is applied to the PSD iteration solver and a geometric convergence rate is proved for the iteration. In particular, the strict separation property of the numerical solution, which indicates a uniform distance between the numerical solution and the singular limit values of $\pm 1$ for the phase variable, plays an essential role in the iteration convergence analysis. A few numerical results are presented to demonstrate the robustness and efficiency of the PSD solver.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Asymptotic Relaxation of Moment Equations for a Multi-Species, Homogeneous BGK Model
Authors:
Evan Habbershaw,
Ryan S. Glasby,
Jeffrey R. Haack,
Cory D. Hauck,
Steven M. Wise
Abstract:
Multi-species BGK models describe the dynamics of rarefied gases with constituent particles of different elements or compounds with potentially non-trivial velocity distributions. In this paper, moment equations for the bulk velocities, energies, and temperatures of a spatially homogeneous multi-species BGK model are examined. A key challenge in analyzing these equations is the fact that the colli…
▽ More
Multi-species BGK models describe the dynamics of rarefied gases with constituent particles of different elements or compounds with potentially non-trivial velocity distributions. In this paper, moment equations for the bulk velocities, energies, and temperatures of a spatially homogeneous multi-species BGK model are examined. A key challenge in analyzing these equations is the fact that the collision frequencies are allowed to depend on the species temperatures, which allows for more realistic simulations of dilute gas flow. Therefore, a positive lower bound is established for the species temperatures. With this lower bound, a global existence and uniqueness of solutions to the coupled velocity-energy ODE system is established. The lower bound also enables a proof of exponential decay to a unique steady-state solution. Numerical results are presented to demonstrate how the bulk velocities and temperatures relax for large times.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Convergence analysis of a positivity-preserving numerical scheme for the Cahn-Hilliard-Stokes system with Flory-Huggins energy potential
Authors:
Yunzhuo Guo,
Cheng Wang,
Steven M. Wise,
Zhengru Zhang
Abstract:
A finite difference numerical scheme is proposed and analyzed for the Cahn-Hilliard-Stokes system with Flory-Huggins energy functional. A convex splitting is applied to the chemical potential, which in turns leads to the implicit treatment for the singular logarithmic terms and the surface diffusion term, and an explicit update for the expansive concave term. The convective term for the phase vari…
▽ More
A finite difference numerical scheme is proposed and analyzed for the Cahn-Hilliard-Stokes system with Flory-Huggins energy functional. A convex splitting is applied to the chemical potential, which in turns leads to the implicit treatment for the singular logarithmic terms and the surface diffusion term, and an explicit update for the expansive concave term. The convective term for the phase variable, as well as the coupled term in the Stokes equation, are approximated in a semi-implicit manner. In the spatial discretization, the marker and cell (MAC) difference method is applied, which evaluates the velocity components, the pressure and the phase variable at different cell locations. Such an approach ensures the divergence-free feature of the discrete velocity, and this property plays an important role in the analysis. The positivity-preserving property and the unique solvability of the proposed numerical scheme are theoretically justified, utilizing the singular nature of the logarithmic term as the phase variable approaches the singular limit values. An unconditional energy stability analysis is standard, as an outcome of the convex-concave decomposition technique. A convergence analysis with accompanying error estimate is provided for the proposed numerical scheme. In particular, a higher order consistency analysis, accomplished by supplementary functions, is performed to ensure the separation properties of numerical solution. In turn, using the approach of rough and refined error (RRE) estimates, we are able to derive an optimal rate convergence. To conclude, several numerical experiments are presented to validate the theoretical analysis.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Gamma Convergence for the de Gennes-Cahn-Hilliard energy
Authors:
Shibin Dai,
Joseph Renzi,
Steven M. Wise
Abstract:
The degenerate de Gennes-Cahn-Hilliard (dGCH) equation is a model for phase separation which may more closely approximate surface diffusion than others in the limit when the thickness of the transition layer approaches zero. As a first step to understand the limiting behavior, in this paper we study the $Γ$--limit of the dGCH energy. We find that its $Γ$--limit is a constant multiple of the interf…
▽ More
The degenerate de Gennes-Cahn-Hilliard (dGCH) equation is a model for phase separation which may more closely approximate surface diffusion than others in the limit when the thickness of the transition layer approaches zero. As a first step to understand the limiting behavior, in this paper we study the $Γ$--limit of the dGCH energy. We find that its $Γ$--limit is a constant multiple of the interface area, where the constant is determined by the de Gennes coefficient together with the double well potential. In contrast, the transition layer profile is solely determined by the double well potential.
△ Less
Submitted 29 October, 2022;
originally announced October 2022.
-
Improved time integration for phase-field crystal models of solidification
Authors:
Maik Punke,
Steven M. Wise,
Axel Voigt,
Marco Salvalaglio
Abstract:
We optimize a numerical time-stabilization routine for the phase-field crystal (PFC) models of solidification. By numerical experiments, we showcase that our approach can improve the accuracy of underlying time integration schemes by a few orders of magnitude. We investigate different time integration schemes. Moreover, as a prototypical example for applications, we extend our numerical approach t…
▽ More
We optimize a numerical time-stabilization routine for the phase-field crystal (PFC) models of solidification. By numerical experiments, we showcase that our approach can improve the accuracy of underlying time integration schemes by a few orders of magnitude. We investigate different time integration schemes. Moreover, as a prototypical example for applications, we extend our numerical approach to a PFC model of solidification with an explicit temperature coupling.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Phase field modeling and computation of vesicle growth or shrinkage
Authors:
Xiaoxia Tang,
Shuwang Li,
John S. Lowengrub,
Steven M. Wise
Abstract:
We present a phase field model for vesicle growth or shrinkage induced by an osmotic pressure due to a chemical potential gradient. The model consists of an Allen-Cahn equation describing the evolution of phase field and a Cahn-Hilliard equation describing the evolution of concentration field. We establish control conditions for vesicle growth or shrinkage via a common tangent construction. During…
▽ More
We present a phase field model for vesicle growth or shrinkage induced by an osmotic pressure due to a chemical potential gradient. The model consists of an Allen-Cahn equation describing the evolution of phase field and a Cahn-Hilliard equation describing the evolution of concentration field. We establish control conditions for vesicle growth or shrinkage via a common tangent construction. During the membrane deformation, the model ensures total mass conservation and satisfies surface area constraint. We develop a nonlinear numerical scheme, a combination of nonlinear Gauss-Seidel relaxation operator and a V-cycles multigrid solver, for computing equilibrium shapes of a 2D vesicle. Convergence tests confirm an $\mathcal{O}(t+h^2)$ accuracy. Numerical results reveal that the diffuse interface model captures the main feature of dynamics: for a growing vesicle, there exist circle-like equilibrium shapes if the concentration difference across the membrane and the initial osmotic pressure are large enough; while for a shrinking vesicle, there exists a rich collection of finger-like equilibrium morphologies.
△ Less
Submitted 27 September, 2022;
originally announced September 2022.
-
A second order accurate numerical method for the Poisson-Nernst-Planck system in the energetic variational formulation
Authors:
Chun Liu,
Cheng Wang,
Steven M. Wise,
Xingye Yue,
Shenggao Zhou
Abstract:
A second order accurate (in time) numerical scheme is proposed and analyzed for the Poisson-Nernst-Planck equation (PNP) system, reformulated as a non-constant mobility $H^{-1}$ gradient flow in the Energetic Variational Approach (EnVarA). The centered finite difference is taken as the spatial discretization. Meanwhile, the highly nonlinear and singular nature of the logarithmic energy potentials…
▽ More
A second order accurate (in time) numerical scheme is proposed and analyzed for the Poisson-Nernst-Planck equation (PNP) system, reformulated as a non-constant mobility $H^{-1}$ gradient flow in the Energetic Variational Approach (EnVarA). The centered finite difference is taken as the spatial discretization. Meanwhile, the highly nonlinear and singular nature of the logarithmic energy potentials has always been the essential difficulty to design a second order accurate scheme in time, while preserving the variational energetic structures. The mobility function is updated with a second order accurate extrapolation formula, for the sake of unique solvability. A modified Crank-Nicolson scheme is used to approximate the logarithmic term, so that its inner product with the discrete temporal derivative exactly gives the corresponding nonlinear energy difference; henceforth the energy stability is ensured for the logarithmic part. In addition, nonlinear artificial regularization terms are added in the numerical scheme, so that the positivity-preserving property could be theoretically proved, with the help of the singularity associated with the logarithmic function. Furthermore, an optimal rate convergence analysis is provided in this paper, in which the higher order asymptotic expansion for the numerical solution, the rough error estimate and refined error estimate techniques have to be included to accomplish such an analysis. This work combines the following theoretical properties for a second order accurate numerical scheme for the PNP system: (i) second order accuracy in both time and space, (ii) unique solvability and positivity, (iii) energy stability, and (iv) optimal rate convergence. A few numerical results are also presented.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Explicit temperature coupling in phase-field crystal models of solidification
Authors:
Maik Punke,
Steven M. Wise,
Axel Voigt,
Marco Salvalaglio
Abstract:
We present a phase-field crystal (PFC) model for solidification that accounts for thermal transport and a temperature-dependent lattice parameter. Elasticity effects are characterized through the continuous elastic field computed from the microscopic density field. We showcase the model capabilities via selected numerical investigations which focus on the prototypical growth of two-dimensional cry…
▽ More
We present a phase-field crystal (PFC) model for solidification that accounts for thermal transport and a temperature-dependent lattice parameter. Elasticity effects are characterized through the continuous elastic field computed from the microscopic density field. We showcase the model capabilities via selected numerical investigations which focus on the prototypical growth of two-dimensional crystals from the melt, resulting in faceted shapes and dendrites. This work sets the grounds for a comprehensive mesoscale model of solidification including thermal expansion.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
A Thermodynamically-Consistent Phase Field Crystal Model of Solidification with Heat Flux
Authors:
C. Wang,
S. M. Wise
Abstract:
In this paper we describe a new model for solidification with heat flux using the phase field crystal (PFC) framework. The equations are thermodynamically consistent, in the sense that the time rate of change of the entropy density is positive in the bulk and at the boundaries of the domain of interest. The resulting model consists of two equations, a heat-like equation and a mass-conservation equ…
▽ More
In this paper we describe a new model for solidification with heat flux using the phase field crystal (PFC) framework. The equations are thermodynamically consistent, in the sense that the time rate of change of the entropy density is positive in the bulk and at the boundaries of the domain of interest. The resulting model consists of two equations, a heat-like equation and a mass-conservation equation that describes how the atom density changes in time and space. The model is simple, yet it can properly capture the variation in the free energy landscape as the temperature is changed. We describe to construct a temperature-atom-density phase diagram using this energy landscape, and we give a simple demonstration of solidification using the model.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
Convergence analysis of the variational operator splitting scheme for a reaction-diffusion system with detailed balance
Authors:
Chun Liu,
Cheng Wang,
Yiwei Wang,
Steven M. Wise
Abstract:
We present a detailed convergence analysis for an operator splitting scheme proposed in [C. Liu et al.,J. Comput. Phys., 436, 110253, 2021] for a reaction-diffusion system with detailed balance. The numerical scheme has been constructed based on a recently developed energetic variational formulation, in which the reaction part is reformulated in terms of the reaction trajectory, and both the react…
▽ More
We present a detailed convergence analysis for an operator splitting scheme proposed in [C. Liu et al.,J. Comput. Phys., 436, 110253, 2021] for a reaction-diffusion system with detailed balance. The numerical scheme has been constructed based on a recently developed energetic variational formulation, in which the reaction part is reformulated in terms of the reaction trajectory, and both the reaction and diffusion parts dissipate the same free energy. The scheme is energy stable and positivity-preserving. In this paper, the detailed convergence analysis and error estimate are performed for the operator splitting scheme. The nonlinearity in the reaction trajectory equation, as well as the implicit treatment of nonlinear and singular logarithmic terms, impose challenges in numerical analysis. To overcome these difficulties, we make use of the convex nature of the logarithmic nonlinear terms, which are treated implicitly in the chemical reaction stage. In addition, a combination of a rough error estimate and a refined error estimate leads to a desired bound of the numerical error in the reaction stage, in the discrete maximum norm. Furthermore, a discrete maximum principle yields the evolution bound of the numerical error function at the diffusion stage. As a direct consequence, a combination of the numerical error analysis at different stages and the consistency estimate for the operator splitting results in the convergence estimate of the numerical scheme for the full reaction-diffusion system.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.
-
A positivity-preserving, energy stable scheme for a Ternary Cahn-Hilliard system with the singular interfacial parameters
Authors:
Lixiu Dong,
Cheng Wang,
Steven M. Wise,
Zhengru Zhang
Abstract:
In this paper, we construct and analyze a uniquely solvable, positivity preserving and unconditionally energy stable finite-difference scheme for the periodic three-component Macromolecular Microsphere Composite (MMC) hydrogels system, a ternary Cahn-Hilliard system with a Flory-Huggins-deGennes free energy potential. The proposed scheme is based on a convex-concave decomposition of the given ener…
▽ More
In this paper, we construct and analyze a uniquely solvable, positivity preserving and unconditionally energy stable finite-difference scheme for the periodic three-component Macromolecular Microsphere Composite (MMC) hydrogels system, a ternary Cahn-Hilliard system with a Flory-Huggins-deGennes free energy potential. The proposed scheme is based on a convex-concave decomposition of the given energy functional with two variables, and the centered difference method is adopted in space. We provide a theoretical justification that this numerical scheme has a pair of unique solutions, such that the positivity is always preserved for all the singular terms, i.e., not only two phase variables are always between $0$ and $1$, but also the sum of two phase variables is between $0$ and $1$, at a point-wise level. In addition, we use the local Newton approximation and multigrid method to solve this nonlinear numerical scheme, and various numerical results are presented, including the numerical convergence test, positivity-preserving property test, energy dissipation and mass conservation properties.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
An energy stable finite element scheme for the three-component Cahn-Hilliard-type model for macromolecular microsphere composite hydrogels
Authors:
Maoqin Yuan,
Wenbin Chen,
Cheng Wang,
Steven M. Wise,
Zhengru Zhang
Abstract:
In this article, we present and analyze a finite element numerical scheme for a three-component macromolecular microsphere composite (MMC) hydrogel model, which takes the form of a ternary Cahn-Hilliard-type equation with Flory-Huggins-deGennes energy potential. The numerical approach is based on a convex-concave decomposition of the energy functional in multi-phase space, in which the logarithmic…
▽ More
In this article, we present and analyze a finite element numerical scheme for a three-component macromolecular microsphere composite (MMC) hydrogel model, which takes the form of a ternary Cahn-Hilliard-type equation with Flory-Huggins-deGennes energy potential. The numerical approach is based on a convex-concave decomposition of the energy functional in multi-phase space, in which the logarithmic and the nonlinear surface diffusion terms are treated implicitly, while the concave expansive linear terms are explicitly updated. A mass lumped finite element spatial approximation is applied, to ensure the positivity of the phase variables. In turn, a positivity-preserving property can be theoretically justified for the proposed fully discrete numerical scheme. In addition, unconditional energy stability is established as well, which comes from the convexity analysis. Several numerical simulations are carried out to verify the accuracy and positivity-preserving property of the proposed scheme.
△ Less
Submitted 19 April, 2021;
originally announced April 2021.
-
Structure-preserving, energy stable numerical schemes for a liquid thin film coarsening model
Authors:
Juan Zhang,
Cheng Wang,
Steven M. Wise,
Zhengru Zhang
Abstract:
In this paper, two finite difference numerical schemes are proposed and analyzed for the droplet liquid film model, with a singular Leonard-Jones energy potential involved. Both first and second order accurate temporal algorithms are considered. In the first order scheme, the convex potential and the surface diffusion terms are implicitly, while the concave potential term is updated explicitly. Fu…
▽ More
In this paper, two finite difference numerical schemes are proposed and analyzed for the droplet liquid film model, with a singular Leonard-Jones energy potential involved. Both first and second order accurate temporal algorithms are considered. In the first order scheme, the convex potential and the surface diffusion terms are implicitly, while the concave potential term is updated explicitly. Furthermore, we provide a theoretical justification that this numerical algorithm has a unique solution, such that the positivity is always preserved for the phase variable at a point-wise level, so that a singularity is avoided in the scheme. In fact, the singular nature of the Leonard-Jones potential term around the value of 0 prevents the numerical solution reaching such singular value, so that the positivity structure is always preserved. Moreover, an unconditional energy stability of the numerical scheme is derived, without any restriction for the time step size. In the second order numerical scheme, the BDF temporal stencil is applied, and an alternate convex-concave decomposition is derived, so that the concave part corresponds to a quadratic energy. In turn, the combined Leonard-Jones potential term is treated implicitly, and the concave part the is approximated by a second order Adams-Bashforth explicit extrapolation, and an artificial Douglas-Dupont regularization term is added to ensure the energy stability. The unique solvability and the positivity-preserving property for the second order scheme could be similarly established. In addition, optimal rate convergence analysis is provided for both the first and second order accurate schemes. A few numerical simulation results are also presented, which demonstrate the robustness of the numerical schemes.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
A positivity-preserving, energy stable and convergent numerical scheme for the Poisson-Nernst-Planck system
Authors:
Chun Liu,
Cheng Wang,
Steven M. Wise,
Xingye Yue,
Shenggao Zhou
Abstract:
In this paper we propose and analyze a finite difference numerical scheme for the Poisson-Nernst-Planck equation (PNP) system. To understand the energy structure of the PNP model, we make use of the Energetic Variational Approach (EnVarA), so that the PNP system could be reformulated as a non-constant mobility $H^{-1}$ gradient flow, with singular logarithmic energy potentials involved. To ensure…
▽ More
In this paper we propose and analyze a finite difference numerical scheme for the Poisson-Nernst-Planck equation (PNP) system. To understand the energy structure of the PNP model, we make use of the Energetic Variational Approach (EnVarA), so that the PNP system could be reformulated as a non-constant mobility $H^{-1}$ gradient flow, with singular logarithmic energy potentials involved. To ensure the unique solvability and energy stability, the mobility function is explicitly treated, while both the logarithmic and the electric potential diffusion terms are treated implicitly, due to the convex nature of these two energy functional parts. The positivity-preserving property for both concentrations, $n$ and $p$, is established at a theoretical level. This is based on the subtle fact that the singular nature of the logarithmic term around the value of $0$ prevents the numerical solution reaching the singular value, so that the numerical scheme is always well-defined. In addition, an optimal rate convergence analysis is provided in this work, in which many highly non-standard estimates have to be involved, due to the nonlinear parabolic coefficients. The higher order asymptotic expansion (up to third order temporal accuracy and fourth order spatial accuracy), the rough error estimate (to establish the $\ell^\infty$ bound for $n$ and $p$), and the refined error estimate have to be carried out to accomplish such a convergence result. In our knowledge, this work will be the first to combine the following three theoretical properties for a numerical scheme for the PNP system: (i) unique solvability and positivity, (ii) energy stability, and (iii) optimal rate convergence. A few numerical results are also presented in this article, which demonstrates the robustness of the proposed numerical scheme.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Preconditioned accelerated gradient descent methods for locally Lipschitz smooth objectives with applications to the solution of nonlinear PDEs
Authors:
Jea-Hyun Park,
Abner J. Salgado,
Steven M. Wise
Abstract:
We develop a theoretical foundation for the application of Nesterov's accelerated gradient descent method (AGD) to the approximation of solutions of a wide class of partial differential equations (PDEs). This is achieved by proving the existence of an invariant set and exponential convergence rates when its preconditioned version (PAGD) is applied to minimize locally Lipschitz smooth, strongly con…
▽ More
We develop a theoretical foundation for the application of Nesterov's accelerated gradient descent method (AGD) to the approximation of solutions of a wide class of partial differential equations (PDEs). This is achieved by proving the existence of an invariant set and exponential convergence rates when its preconditioned version (PAGD) is applied to minimize locally Lipschitz smooth, strongly convex objective functionals. We introduce a second-order ordinary differential equation (ODE) with a preconditioner built-in and show that PAGD is an explicit time-discretization of this ODE, which requires a natural time step restriction for energy stability. At the continuous time level, we show an exponential convergence of the ODE solution to its steady state using a simple energy argument. At the discrete level, assuming the aforementioned step size restriction, the existence of an invariant set is proved and a matching exponential rate of convergence of the PAGD scheme is derived by mimicking the energy argument and the convergence at the continuous level. Applications of the PAGD method to numerical PDEs are demonstrated with certain nonlinear elliptic PDEs using pseudo-spectral methods for spatial discretization, and several numerical experiments are conducted. The results confirm the global geometric and mesh size-independent convergence of the PAGD method, with an accelerated rate that is improved over the preconditioned gradient descent (PGD) method.
△ Less
Submitted 1 February, 2021; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Benchmark Computation of Morphological Complexity in the Functionalized Cahn-Hilliard Gradient Flow
Authors:
Andrew Christlieb,
Keith Promislow,
Zengqiang Tan,
Sulin Wang,
Brian Wetton,
Steven M. Wise
Abstract:
Reductions of the self-consistent mean field theory model of amphiphilic molecules in solvent can lead to a singular family of functionalized Cahn-Hilliard energies. We modify these energies, mollifying the singularities to stabilize the computation of the gradient flows and develop a series of benchmark problems that emulate the "morphological complexity" observed in experiments. These benchmarks…
▽ More
Reductions of the self-consistent mean field theory model of amphiphilic molecules in solvent can lead to a singular family of functionalized Cahn-Hilliard energies. We modify these energies, mollifying the singularities to stabilize the computation of the gradient flows and develop a series of benchmark problems that emulate the "morphological complexity" observed in experiments. These benchmarks investigate the delicate balance between the rate of absorption of amphiphilic material onto an interface and a least energy mechanism to disperse the arriving mass. The result is a trichotomy of responses in which two-dimensional interfaces either lengthen by a regularized motion against curvature, undergo pearling bifurcations, or split directly into networks of interfaces. We evaluate a number of schemes that use second order BDF2-type time step** coupled with Fourier pseudo-spectral spatial discretization. The BDF2-type schemes are either based on a fully implicit time discretization with a PSD nonlinear solver, or upon IMEX, SAV, ETD approaches. All schemes use a fixed local truncation error target with adaptive time-step** to achieve the error target. Each scheme requires proper "preconditioning" to achieve robust performance that can enhance efficiency by several orders of magnitude.
△ Less
Submitted 19 May, 2024; v1 submitted 8 June, 2020;
originally announced June 2020.
-
Doubly Degenerate Diffuse Interface Models of Anisotropic Surface Diffusion
Authors:
Marco Salvalaglio,
Maximilian Selch,
Axel Voigt,
Steven M. Wise
Abstract:
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 dissipativ…
▽ More
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.
△ Less
Submitted 16 December, 2020; v1 submitted 18 April, 2020;
originally announced April 2020.
-
Doubly Degenerate Diffuse Interface Models of Surface Diffusion
Authors:
Marco Salvalaglio,
Axel Voigt,
Steven M. Wise
Abstract:
We discuss two doubly degenerate Cahn-Hilliard (DDCH) models for isotropic surface diffusion. Degeneracy is introduced in both the mobility function and a restriction function associated to the chemical potential. Our computational results suggest that the restriction functions yield more accurate approximations of surface diffusion. We consider a slight generalization of a model that has appeared…
▽ More
We discuss two doubly degenerate Cahn-Hilliard (DDCH) models for isotropic surface diffusion. Degeneracy is introduced in both the mobility function and a restriction function associated to the chemical potential. Our computational results suggest that the restriction functions yield more accurate approximations of surface diffusion. We consider a slight generalization of a model that has appeared before, which is non-variational, meaning there is no clear energy that is dissipated along the solution trajectories. We also introduce a new variational and, more precisely, energy dissipative model, which can be related to the generalized non-variational model. For both models we use formal matched asymptotics to show the convergence to the sharp interface limit of surface diffusion.
△ Less
Submitted 16 December, 2020; v1 submitted 10 September, 2019;
originally announced September 2019.
-
An Energy Stable BDF2 Fourier Pseudo-Spectral Numerical Scheme for the Square Phase Field Crystal Equation
Authors:
Kelong Cheng,
Cheng Wang,
Steven M. Wise
Abstract:
In this paper we propose and analyze an energy stable numerical scheme for the square phase field crystal (SPFC) equation, a gradient flow modeling crystal dynamics at the atomic scale in space but on diffusive scales in time. In particular, a modification of the free energy potential to the standard phase field crystal model leads to a composition of the 4-Laplacian and the regular Laplacian oper…
▽ More
In this paper we propose and analyze an energy stable numerical scheme for the square phase field crystal (SPFC) equation, a gradient flow modeling crystal dynamics at the atomic scale in space but on diffusive scales in time. In particular, a modification of the free energy potential to the standard phase field crystal model leads to a composition of the 4-Laplacian and the regular Laplacian operators. To overcome the difficulties associated with this highly nonlinear operator, we design numerical algorithms based on the structures of the individual energy terms. A Fourier pseudo-spectral approximation is taken in space, in such a way that the energy structure is respected, and summation-by-parts formulae enable us to study the discrete energy stability for such a high-order spatial discretization. In the temporal approximation, a second order BDF stencil is applied, combined with an appropriate extrapolation for the concave diffusion term(s). A second order artificial Douglas-Dupont-type regularization term is added to ensure energy stability, and a careful analysis leads to the artificial linear diffusion coming at an order lower that that of surface diffusion term. Such a choice leads to reduced numerical dissipation. At a theoretical level, the unique solvability, energy stability are established, and an optimal rate convergence analysis is derived in the $\ell^\infty (0,T; \ell^2) \cap \ell^2 (0,T; H_N^3)$ norm. In the numerical implementation, the preconditioned steepest descent (PSD) iteration is applied to solve for the composition of the highly nonlinear 4-Laplacian term and the standard Laplacian term, and a geometric convergence is assured for such an iteration. Finally, a few numerical experiments are presented, which confirm the robustness and accuracy of the proposed scheme.
△ Less
Submitted 28 June, 2019;
originally announced June 2019.
-
Convergence Analysis of the Fast Subspace Descent Methods for Convex Optimization Problems
Authors:
Long Chen,
Xiaozhe Hu,
Steven M. Wise
Abstract:
The full approximation storage (FAS) scheme is a widely used multigrid method for nonlinear problems. In this paper, a new framework to design and analyze FAS-like schemes for convex optimization problems is developed. The new method, the Fast Subspace Descent (FASD) scheme, which generalizes classical FAS, can be recast as an inexact version of nonlinear multigrid methods based on space decomposi…
▽ More
The full approximation storage (FAS) scheme is a widely used multigrid method for nonlinear problems. In this paper, a new framework to design and analyze FAS-like schemes for convex optimization problems is developed. The new method, the Fast Subspace Descent (FASD) scheme, which generalizes classical FAS, can be recast as an inexact version of nonlinear multigrid methods based on space decomposition and subspace correction. The local problem in each subspace can be simplified to be linear and one gradient descent iteration (with an appropriate step size) is enough to ensure a global linear (geometric) convergence of FASD.
△ Less
Submitted 19 October, 2019; v1 submitted 9 October, 2018;
originally announced October 2018.
-
An energy stable fourth order finite difference scheme for the Cahn-Hilliard equation
Authors:
Kelong Cheng,
Wenqiang Feng,
Cheng Wang,
Steven M. Wise
Abstract:
In this paper we propose and analyze an energy stable numerical scheme for the Cahn-Hilliard equation, with second order accuracy in time and the fourth order finite difference approximation in space. In particular, the truncation error for the long stencil fourth order finite difference approximation, over a uniform numerical grid with a periodic boundary condition, is analyzed, via the help of d…
▽ More
In this paper we propose and analyze an energy stable numerical scheme for the Cahn-Hilliard equation, with second order accuracy in time and the fourth order finite difference approximation in space. In particular, the truncation error for the long stencil fourth order finite difference approximation, over a uniform numerical grid with a periodic boundary condition, is analyzed, via the help of discrete Fourier analysis instead of the the standard Taylor expansion. This in turn results in a reduced regularity requirement for the test function. In the temporal approximation, we apply a second order BDF stencil, combined with a second order extrapolation formula applied to the concave diffusion term, as well as a second order artificial Douglas-Dupont regularization term, for the sake of energy stability. As a result, the unique solvability, energy stability are established for the proposed numerical scheme, and an optimal rate convergence analysis is derived in the $\ell^\infty (0,T; \ell^2) \cap \ell^2 (0,T; H_h^2)$ norm. A few numerical experiments are presented, which confirm the robustness and accuracy of the proposed scheme.
△ Less
Submitted 17 December, 2017;
originally announced December 2017.
-
Positivity-preserving, energy stable numerical schemes for the Cahn-Hilliard equation with logarithmic potential
Authors:
Wenbin Chen,
Cheng Wang,
Xiaoming Wang,
Steven M. Wise
Abstract:
We present and analyze finite difference numerical schemes for the Allen Cahn/Cahn-Hilliard equation with a logarithmic Flory Huggins energy potential. Both the first order and second order accurate temporal algorithms are considered. In the first order scheme, we treat the nonlinear logarithmic terms and the surface diffusion term implicitly, and update the linear expansive term and the mobility…
▽ More
We present and analyze finite difference numerical schemes for the Allen Cahn/Cahn-Hilliard equation with a logarithmic Flory Huggins energy potential. Both the first order and second order accurate temporal algorithms are considered. In the first order scheme, we treat the nonlinear logarithmic terms and the surface diffusion term implicitly, and update the linear expansive term and the mobility explicitly. We provide a theoretical justification that, this numerical algorithm has a unique solution such that the positivity is always preserved for the logarithmic arguments. In particular, our analysis reveals a subtle fact: the singular nature of the logarithmic term around the values of $-1$ and 1 prevents the numerical solution reaching these singular values, so that the numerical scheme is always well-defined as long as the numerical solution stays similarly bounded at the previous time step. Furthermore, an unconditional energy stability of the numerical scheme is derived, without any restriction for the time step size. The unique solvability and the positivity-preserving property for the second order scheme are proved using similar ideas, in which the singular nature of the logarithmic term plays an essential role. For both the first and second order accurate schemes, we are able to derive an optimal rate convergence analysis, which gives the full order error estimate. The case with a non-constant mobility is analyzed as well. We also describe a practical and efficient multigrid solver for the proposed numerical schemes, and present some numerical results, which demonstrate the robustness of the numerical schemes.
△ Less
Submitted 11 February, 2019; v1 submitted 7 December, 2017;
originally announced December 2017.
-
Convexity splitting in a phase field model for surface diffusion
Authors:
Rainer Backofen,
Steven M. Wise,
Marco Salvalaglio,
Axel Voigt
Abstract:
Convexity splitting like schemes with improved accuracy are proposed for a phase field model for surface diffusion. The schemes are developed to enable large scale simulations in three spatial dimensions describing experimentally observed solid state dewetting phenomena. We introduce a first and a second order unconditionally energy stable scheme and carefully elaborate the loss in accuracy associ…
▽ More
Convexity splitting like schemes with improved accuracy are proposed for a phase field model for surface diffusion. The schemes are developed to enable large scale simulations in three spatial dimensions describing experimentally observed solid state dewetting phenomena. We introduce a first and a second order unconditionally energy stable scheme and carefully elaborate the loss in accuracy associated with large time steps in such schemes. We then present a family of Rosenbrock convex splitting schemes. We show the existence of a maximal numerical timestep and demonstrate the increase of this maximal numerical time step by at least one order of magnitude using a Rosenbrock method. This scheme is used to study the effect of contact angle on solid state dewetting phenomena.
△ Less
Submitted 26 October, 2017;
originally announced October 2017.
-
A Second-Order Energy Stable Backward Differentiation Formula Method for the Epitaxial Thin Film Equation with Slope Selection
Authors:
Wenqiang Feng,
Cheng Wang,
Steven M. Wise,
Zhengru Zhang
Abstract:
In this paper, we study a novel second-order energy stable Backward Differentiation Formula (BDF) finite difference scheme for the epitaxial thin film equation with slope selection (SS). One major challenge for the higher oder in time temporal discretization is how to ensure an unconditional energy stability and an efficient numerical implementation. We propose a general framework for designing th…
▽ More
In this paper, we study a novel second-order energy stable Backward Differentiation Formula (BDF) finite difference scheme for the epitaxial thin film equation with slope selection (SS). One major challenge for the higher oder in time temporal discretization is how to ensure an unconditional energy stability and an efficient numerical implementation. We propose a general framework for designing the higher order in time numerical scheme with unconditional energy stability by using the BDF method with constant coefficient stabilized terms. Based on the unconditional energy stability property, we derive an $L^\infty_h (0,T; H_{h}^2)$ stability for the numerical solution and provide an optimal the convergence analysis. To deal with the 4-Laplacian solver in an $L^{2}$ gradient flow at each time step, we apply an efficient preconditioned steepest descent algorithm and preconditioned nonlinear conjugate gradient algorithm to solve the corresponding nonlinear system. Various numerical simulations are present to demonstrate the stability and efficiency of the proposed schemes and slovers.
△ Less
Submitted 26 June, 2017; v1 submitted 6 June, 2017;
originally announced June 2017.
-
Convergence Analysis and Numerical Implementation of a Second Order Numerical Scheme for the Three-Dimensional Phase Field Crystal Equation
Authors:
Lixiu Dong,
Wenqiang Feng,
Cheng Wang,
Steven M. Wise,
Zhengru Zhang
Abstract:
In this paper we analyze and implement a second-order-in-time numerical scheme for the three-dimensional phase field crystal (PFC) equation. The numerical scheme was proposed in [46], with the unique solvability and unconditional energy stability established. However, its convergence analysis remains open. We present a detailed convergence analysis in this article, in which the maximum norm estima…
▽ More
In this paper we analyze and implement a second-order-in-time numerical scheme for the three-dimensional phase field crystal (PFC) equation. The numerical scheme was proposed in [46], with the unique solvability and unconditional energy stability established. However, its convergence analysis remains open. We present a detailed convergence analysis in this article, in which the maximum norm estimate of the numerical solution over grid points plays an essential role. Moreover, we outline the detailed multigrid method to solve the highly nonlinear numerical scheme over a cubic domain, and various three-dimensional numerical results are presented, including the numerical convergence test, complexity test of the multigrid solver and the polycrystal growth simulation.
△ Less
Submitted 18 November, 2016;
originally announced November 2016.
-
A Second Order Energy Stable Scheme for the Cahn-Hilliard-Hele-Shaw Equations
Authors:
Wenbin Chen,
Wenqiang Feng,
Yuan Liu,
Cheng Wang,
Steven M. Wise
Abstract:
We present a second-order-in-time finite difference scheme for the Cahn-Hilliard-Hele-Shaw equations. This numerical method is uniquely solvable and unconditionally energy stable. At each time step, this scheme leads to a system of nonlinear equations that can be efficiently solved by a nonlinear multigrid solver. Owing to the energy stability, we derive an $\ell^2 (0,T; H_h^3)$ stability of the n…
▽ More
We present a second-order-in-time finite difference scheme for the Cahn-Hilliard-Hele-Shaw equations. This numerical method is uniquely solvable and unconditionally energy stable. At each time step, this scheme leads to a system of nonlinear equations that can be efficiently solved by a nonlinear multigrid solver. Owing to the energy stability, we derive an $\ell^2 (0,T; H_h^3)$ stability of the numerical scheme. To overcome the difficulty associated with the convection term $\nabla \cdot (φ\boldsymbol{u})$, we perform an $\ell^\infty (0,T; H_h^1)$ error estimate instead of the classical $\ell^\infty (0,T; \ell^2)$ one to obtain the optimal rate convergence analysis. In addition, various numerical simulations are carried out, which demonstrate the accuracy and efficiency of the proposed numerical scheme.
△ Less
Submitted 9 November, 2016;
originally announced November 2016.
-
An Energy Stable Finite-Difference Scheme for Functionalized Cahn-Hilliard Equation and its Convergence Analysis
Authors:
Wenqiang Feng,
Zhen Guan,
John Lowengrub,
Cheng Wang,
Steven M. Wise
Abstract:
We present and analyze an unconditionally energy stable and convergent finite difference scheme for the Functionalized Cahn-Hilliard equation. One key difficulty associated with the energy stability is based on the fact that one nonlinear energy functional term in the expansion appears as non-convex, non-concave. To overcome this subtle difficulty, we add two auxiliary terms to make the combined t…
▽ More
We present and analyze an unconditionally energy stable and convergent finite difference scheme for the Functionalized Cahn-Hilliard equation. One key difficulty associated with the energy stability is based on the fact that one nonlinear energy functional term in the expansion appears as non-convex, non-concave. To overcome this subtle difficulty, we add two auxiliary terms to make the combined term convex, which in turns yields a convex-concave decomposition of the physical energy. As a result, an application of the convex splitting methodology assures both the unique solvability and the unconditional energy stability of the proposed numerical scheme. To deal with a 4-Laplacian solver in an $H^{-1}$ gradient flow at each time step, we apply an efficient preconditioned steepest descent algorithm to solve the corresponding nonlinear systems. In addition, a global in time $H_{\rm per}^2$ stability of the numerical scheme is established at a theoretical level, which in turn ensures the full order convergence analysis of the scheme. A few numerical results are presented, which confirm the stability and accuracy of the proposed numerical scheme.
△ Less
Submitted 7 October, 2016;
originally announced October 2016.
-
Preconditioned Steepest Descent Methods for some Nonlinear Elliptic Equations Involving p-Laplacian Terms
Authors:
Wenqiang Feng,
Abner J. Salgado,
Cheng Wang,
Steven M. Wise
Abstract:
We describe and analyze preconditioned steepest descent (PSD) solvers for fourth and sixth-order nonlinear elliptic equations that include p-Laplacian terms on periodic domains in 2 and 3 dimensions. The highest and lowest order terms of the equations are constant-coefficient, positive linear operators, which suggests a natural preconditioning strategy. Such nonlinear elliptic equations often aris…
▽ More
We describe and analyze preconditioned steepest descent (PSD) solvers for fourth and sixth-order nonlinear elliptic equations that include p-Laplacian terms on periodic domains in 2 and 3 dimensions. The highest and lowest order terms of the equations are constant-coefficient, positive linear operators, which suggests a natural preconditioning strategy. Such nonlinear elliptic equations often arise from time discretization of parabolic equations that model various biological and physical phenomena, in particular, liquid crystals, thin film epitaxial growth and phase transformations. The analyses of the schemes involve the characterization of the strictly convex energies associated with the equations. We first give a general framework for PSD in generic Hilbert spaces. Based on certain reasonable assumptions of the linear pre-conditioner, a geometric convergence rate is shown for the nonlinear PSD iteration. We then apply the general the theory to the fourth and sixth-order problems of interest, making use of Sobolev embedding and regularity results to confirm the appropriateness of our pre-conditioners for the regularized p-Lapacian problems. Our results include a sharper theoretical convergence result for p-Laplacian systems compared to what may be found in existing works. We demonstrate rigorously how to apply the theory in the finite dimensional setting using finite difference discretization methods. Numerical simulations for some important physical application problems -- including thin film epitaxy with slope selection and the square phase field crystal model -- are carried out to verify the efficiency of the scheme.
△ Less
Submitted 24 November, 2016; v1 submitted 5 July, 2016;
originally announced July 2016.
-
Convergence Analysis and Error Estimates for a Second Order Accurate Finite Element Method for the Cahn-Hilliard-Navier-Stokes System
Authors:
Amanda E. Diegel,
Cheng Wang,
Xiaoming Wang,
Steven M. Wise
Abstract:
In this paper, we present a novel second order in time mixed finite element scheme for the Cahn-Hilliard-Navier-Stokes equations with matched densities. The scheme combines a standard second order Crank-Nicholson method for the Navier-Stokes equations and a modification to the Crank-Nicholson method for the Cahn-Hilliard equation. In particular, a second order Adams-Bashforth extrapolation and a t…
▽ More
In this paper, we present a novel second order in time mixed finite element scheme for the Cahn-Hilliard-Navier-Stokes equations with matched densities. The scheme combines a standard second order Crank-Nicholson method for the Navier-Stokes equations and a modification to the Crank-Nicholson method for the Cahn-Hilliard equation. In particular, a second order Adams-Bashforth extrapolation and a trapezoidal rule are included to help preserve the energy stability natural to the Cahn-Hilliard equation. We show that our scheme is unconditionally energy stable with respect to a modification of the continuous free energy of the PDE system. Specifically, the discrete phase variable is shown to be bounded in $\ell^\infty \left(0,T;L^\infty\right)$ and the discrete chemical potential bounded in $\ell^\infty \left(0,T;L^2\right)$, for any time and space step sizes, in two and three dimensions, and for any finite final time $T$. We subsequently prove that these variables along with the fluid velocity converge with optimal rates in the appropriate energy norms in both two and three dimensions.
△ Less
Submitted 8 June, 2016;
originally announced June 2016.
-
Stability and Convergence of a Second Order Mixed Finite Element Method for the Cahn-Hilliard Equation
Authors:
Amanda E. Diegel,
Cheng Wang,
Steven M. Wise
Abstract:
In this paper we devise and analyze an unconditionally stable, second-order-in-time numerical scheme for the Cahn-Hilliard equation in two and three space dimensions. We prove that our two-step scheme is unconditionally energy stable and unconditionally uniquely solvable. Furthermore, we show that the discrete phase variable is bounded in $L^\infty (0,T;L^\infty)$ and the discrete chemical potenti…
▽ More
In this paper we devise and analyze an unconditionally stable, second-order-in-time numerical scheme for the Cahn-Hilliard equation in two and three space dimensions. We prove that our two-step scheme is unconditionally energy stable and unconditionally uniquely solvable. Furthermore, we show that the discrete phase variable is bounded in $L^\infty (0,T;L^\infty)$ and the discrete chemical potential is bounded in $L^\infty (0,T;L^2)$, for any time and space step sizes, in two and three dimensions, and for any finite final time $T$. We subsequently prove that these variables converge with optimal rates in the appropriate energy norms in both two and three dimensions. We include in this work a detailed analysis of the initialization of the two-step scheme.
△ Less
Submitted 19 November, 2014;
originally announced November 2014.
-
Analysis of a Mixed Finite Element Method for a Cahn-Hilliard-Darcy-Stokes System
Authors:
Amanda E. Diegel,
Xiaobing H. Feng,
Steven M. Wise
Abstract:
In this paper we devise and analyze a mixed finite element method for a modified Cahn-Hilliard equation coupled with a non-steady Darcy-Stokes flow that models phase separation and coupled fluid flow in immiscible binary fluids and diblock copolymer melts. The time discretization is based on a convex splitting of the energy of the equation. We prove that our scheme is unconditionally energy stable…
▽ More
In this paper we devise and analyze a mixed finite element method for a modified Cahn-Hilliard equation coupled with a non-steady Darcy-Stokes flow that models phase separation and coupled fluid flow in immiscible binary fluids and diblock copolymer melts. The time discretization is based on a convex splitting of the energy of the equation. We prove that our scheme is unconditionally energy stable with respect to a spatially discrete analogue of the continuous free energy of the system and unconditionally uniquely solvable. We prove that the phase variable is bounded in $L^\infty \left(0,T,L^\infty\right)$ and the chemical potential is bounded in $L^\infty \left(0,T,L^2\right)$ absolutely unconditionally in two and three dimensions, for any finite final time $T$. We subsequently prove that these variables converge with optimal rates in the appropriate energy norms in both two and three dimensions.
△ Less
Submitted 21 December, 2013; v1 submitted 4 December, 2013;
originally announced December 2013.
-
Energy Stable and Efficient Finite-Difference Nonlinear Multigrid Schemes for the Modified Phase Field Crystal Equation
Authors:
Arvind Baskaran,
Peng Zhou,
Zhengzheng Hu,
Cheng Wang,
Steven M. Wise,
John S. Lowengrub
Abstract:
In this paper we present two unconditionally energy stable finite difference schemes for the Modified Phase Field Crystal (MPFC) equation, a sixth-order nonlinear damped wave equation, of which the purely parabolic Phase Field Crystal (PFC) model can be viewed as a special case. The first is a convex splitting scheme based on an appropriate decomposition of the discrete energy and is first order a…
▽ More
In this paper we present two unconditionally energy stable finite difference schemes for the Modified Phase Field Crystal (MPFC) equation, a sixth-order nonlinear damped wave equation, of which the purely parabolic Phase Field Crystal (PFC) model can be viewed as a special case. The first is a convex splitting scheme based on an appropriate decomposition of the discrete energy and is first order accurate in time and second order accurate in space. The second is a new, fully second-order scheme that also respects the convex splitting of the energy. Both schemes are nonlinear but may be formulated from the gradients of strictly convex, coercive functionals. Thus, both are uniquely solvable regardless of the time and space step sizes. The schemes are solved by efficient nonlinear multigrid methods. Numerical results are presented demonstrating the accuracy, energy stability, efficiency, and practical utility of the schemes. In particular, we show that our multigrid solvers enjoy optimal, or nearly optimal complexity in the solution of the nonlinear schemes.
△ Less
Submitted 8 August, 2012;
originally announced August 2012.