Abstract
We present error estimates for four unconditionally energy stable numerical schemes developed for solving Allen–Cahn equations with nonlocal constraints. The schemes are linear and second order in time and space, designed based on the energy quadratization (EQ) or the scalar auxiliary variable (SAV) method, respectively. In addition to the rigorous error estimates for each scheme, we also show that the linear systems resulting from the energy stable numerical schemes are all uniquely solvable. Then, we present some numerical experiments to show the accuracy of the schemes, their volume-preserving as well as energy dissipation properties in a drop merging simulation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The phase-field approach for multi-component material systems, in particular multi-phase fluids, has emerged as an important modeling and computational tool in recent years [2, 6, 7, 11, 16, 20, 30, 33, 34]. The set of governing equations in phase field models for the material mixture is often derived variationally from its energy functional guided by the generalized Onsager principle or equivalently the second law of thermodynamics [27]. This type of models is called thermodynamically consistent. Thermodynamically consistent models for material systems represent a class of partial differential equations that yield energy dissipation laws and possess variational structures. For thermodynamical models alone, which do not subject to the hydrodynamic constraints (mass, momentum, angular momentum, energy conservation), these models are also known as gradient flow models, in which the time evolution of the thermodynamical variable is “proportional to” the variation of the system free energy. When the thermodynamic variable is a phase variable and the proportionality coefficient (mobility) is an algebraic operator, it’s known as the Allen–Cahn equation, whereas it is called a Cahn–Hilliard equation if the proportionality coefficient is a second order elliptic operator.
This class of models describes relaxation dynamics of the thermodynamical system to the equilibrium. In the case of a phase field description, both the Allen–Cahn and Cahn–Hilliard models have been used to describe interfacial dynamics of multi-component immiscible fluids, where phase variables represent volume fractions of material components. In these applications, the Cahn–Hilliard model conserves the phase volume for each material component while the Allen–Cahn does not warrant the conservation of the volume of the components. In the diffuse interface description of an otherwise fairly sharp interface, the use of the phase field model is primarily for maintaining a dynamical interface that allows topological evolution. In these cases, both the Cahn–Halliard and Allen–Cahn models are applicable. However, the lack of volume conservation in the Allen–Cahn model makes it less useful than the Cahn–Hilliard in the cases where volume is conserved. In order to conserve the volume in the Allen–Cahn model, the free energy functional has to be augmented by penalty terms that impose the volume conservation constraint or by a Lagrange multiplier to enforce the volume constraint explicitly [14, 17]. The Allen–Cahn models thus modified with a nonlocal penalizing constraint or a nonlocal Lagrange multiplier constraint then become nonlocal equations.
Given their prominent role in describing diffuse interface dynamics and ease of use in many computations, the Allen–Cahn and Cahn–Hilliard equation have been widely studied recently. Xu and Guo [10] developed an LDG method for the Allen–Cahn equation and proved its energy stability. Chen, Wang and Wise in [5] developed a linear iteration algorithm to implement a second-order energy stable numerical scheme for a model of epitaxial thin film growth without slope selection. Xu and Tang [25] used a different stabilizing mechanism to build stable large time-stepping, semi-implicit methods for an epitaxial growth model. Lin presented a \(C^0\) finite element method for a 2D hydrodynamic liquid crystal model which is simpler than existing \(C^1\) element methods and mixed element formulation to preserve energy dissipation [15]. A convex splitting strategy has been developed for phase field models in recent years by several research groups [3, 18, 21, 22, 24]. In the meantime, there is the linear stabilization approach [4, 19, 32, 37] aimed for developing energy stable numerical schemes by adding a high order stabilizing mechanism to the discrete scheme. More recently, the energy quadratization (EQ) method and its variant scalar auxiliary variable (SAV) method have simplified the development of energy stable schemes significantly and make their development systematically [29, 31, 35].
In the wake of the rapid development of various innovative strategies for energy stable approximations to dissipative partial differential equation systems, there remains a serious task to obtain rigorous error analysis on the energy stable numerical schemes and their solvability. In a recent work [9], Guan et al. adopted the convex splitting approach to develop an energy stable scheme and obtained its error estimates, in which the convex part of the nonlinear system is treated implicitly and the concave part explicitly in time marching schemes. Yu and Wang in [23] introduced the convergence analysis of an unconditionally energy stable linear Crank–Nicolson scheme for the Cahn–Hilliard Equation. Yang in [28] considered the Allen–Cahn and Cahn–Hilliard equation using the Invariant Energy Quadratization (IEQ) method. Wang and Wise provide a detailed convergence analysis for an unconditionally energy stable, second order accurate convex splitting scheme for the modified phase field crystal equation [1].
In this paper, using the newly developed energy quadratization (EQ) technique and the scalar auxiliary variable (SAV) approach [26, 30, 31, 36], we propose and analyze two pairs of new second order schemes for the Allen–Cahn equation with nonlocal constraints, which consist of the Allen–Cahn model with a penalizing potential or a Lagrange multiplier that enforces the volume conservation for each material phase involved. In particular, we design the schemes so that they are uniquely solvable and unconditionally energy stable. We present an extended class of schemes, numerical strategies, numerical implementation issues as well as performance tests of the models in another paper [12]. In this one, we focus exclusively on error estimates for the four schemes. To the best of our knowledge, error estimates of the schemes for the Allen–Cahn equation with nonlocal volume conserving constraints are not yet available. We present the error analyses on both the semi-discrete schemes as well as the fully discrete schemes. Since the proof for the fully discrete schemes are similar, we only detail the error estimate for a selected fully discrete scheme in this paper. Numerical tests for the accuracy of the schemes as well as one numerical example on merging drops are presented to illustrate the volume and energy conservation property as well as the usefulness of the schemes.
The rest of the paper consists of the following sections. In Sect. 2, we present the derivation of the Allen–Cahn equation with a penalizing potential and a Lagrange multiplier, respectively. In Sect. 3, we reformulate the models to equivalent forms via the EQ and SAV approach, respectively. We present the numerical schemes and state the energy dissipation property and the uniqueness of solution of the linear systems resulting from the schemes. In Sect. 4, we present rigorous error estimates for the schemes. In Sect. 5, we present numerical convergence tests to demonstrate the accuracy of the schemes and test the volume-conservation and energy dissipation properties using a drop merging experiment. Finally, some concluding remarks are given in Sect. 6.
2 Phase Field Models for Binary Material Systems
We consider a phase field model for time-dependent dynamics of binary material systems, in which phase A is represented by a phase variable at \({\upphi }=0\) and phase B at \({\upphi }=1\). We normally choose the phase variable \({\upphi }\in [0,1]\) with \({\upphi }\) identified as the volume fraction of material A and \(1-{\upphi }\) the volume fraction of material B in the binary material system. The transition layer between the two phases is given by \(0<{\upphi }<1\) and “the interface” is defined heuristically at \({\upphi }=\frac{1}{2}\) [8]. The free energy of the system is denoted as \(F({\upphi })\), given by
where \({{\upgamma }}_{1}\) is a parameter measuring the strength of the conformational entropy and the bulk free energy density is denoted by \(f({\upphi })\), which is assumed bounded below, e.g., there exists a constant C such that \(f({\upphi })\ge -C\). In this paper, we will focus our study on a double well potential \(f({\upphi })={{\upgamma }}_{2}{{\upphi }}^{2}(1-{\upphi })^2\), where \({{\upgamma }}_{2}\) measures the strength of the double-well potential.
The simplest transport equation for time-dependent dynamics of \({\upphi }\) is given by the Allen–Cahn equation
where M is the mobility coefficient, the chemical potential \(\mu \) is given by
and \(\Omega \) is the domain in which the binary material system occupies. This model describes relaxation dynamics of the binary material system.
The energy dissipation rate of the Allen–Cahn equation is given by
provided \(M\ge 0\).
We denote the volume of material A by \(V=\int _{\Omega } {\upphi }{\mathrm {d}\mathbf {x}}.\) Then,
It is normally not equal to zero, indicating that V(t) is not conserved in the Allen–Cahn dynamics.
To apply this model to situations where volumes of the material components are supposedly conserved, one has to modify it. One simple modification is to enforce the volume constraint \(V(t)=V(0)\) by coupling it to the Allen–Cahn equation via a Lagrange multiplier or a penalizing potential. The model so derived is called the Allen–Cahn equation with nonlocal constraints.
2.1 Allen–Cahn Equation with Nonlocal Constraints
There exist a couple of ways one can impose the volume constraints to the Allen–Cahn dynamics. The first method is to penalize the difference between the volume and its initial value. We call the model the Allen–Cahn equation with a penalizing potential.
2.1.1 Allen–Cahn Model with a Penalizing Potential
The volume conservation means \(V(t)=V(0)\) for any \(t>0\). In this modified model, we penalize \((V(t)-V(0))^2\) in the energy functional [14]. Specifically, we modify the free energy as follows:
where \({\upeta }>0\) is a penalizing parameter, which is a model parameter and \(V(0)=\int _\Omega {\upphi }(\mathbf {x}, 0) {\mathrm {d}\mathbf {x}}.\)
The transport equation for \({\upphi }\) is given by (2.2) with a modified chemical potential given by
where
The energy dissipation rate is given by
provided \(M\ge 0\). The modified Allen–Cahn equation is approximately volume-preserving depending on the size of penalizing parameter \({\upeta }>0\). In principle, the larger \({\upeta }\) is, the more close V(t) is to V(0). However, in practice, this may not be the case. So, the choice of \({\upeta }\) becomes an empirical trial. We next discuss another approach to obtain a modified model that respects the volume conservation.
2.1.2 Allen–Cahn Model with a Lagrange Multiplier
To enforce the volume conservation of each phase in the Allen–Cahn model, the model is modified by strictly enforcing the volume constraint via a Lagrangian multiplier L in the free energy [17]. Specifically, we modify the free energy by augmenting a penalty term with a Lagrange multiplier L as follows
The transport equation in the modified Allen–Cahn equation for \({\upphi }\) is given by (2.2) with the chemical potential given by
where
This modified Allen–Cahn model now conserves the volume for each phase. The energy dissipation rate is given by
provided \(M\ge 0\).
The Allen–Cahn equations with nonlocal constraints not only conserve phase volume at least approximately in the case of a penalizing potential, but also dissipates energy. We next discuss how we approximate these equations numerically so that the properties are retained in the discrete solutions and the numerical solutions can be obtained efficiently.
3 Energy Stable Numerical Approximations
For the Allen–Cahn equations with nonlocal constraints, we employ the energy quadratization strategy and its variant scalar auxiliary variable approach developed recently to design numerical schemes to solve them, respectively. The energy quadratization (EQ) and its variant, the scalar auxiliary variable (SAV) method, provide effective ways to derive linear, energy stable numerical schemes [26, 30, 31, 36]. We discretize the equations in time using the linear Crank–Nicolson method firstly [23]. For the nonlocal constraints, we use the Shermann–Morrison formula together with the composite Trapezoidal rule to ensure the second order accuracy and efficient implementation of the resulting linear system of equations.
Throughout the paper, we denote
\(\Vert \cdot \Vert \) as the \(L^2(\Omega )\) norm and (, ) the associated inner product of functions involved, respectively. All constants C appearing in the paper represent generic constants independent of \(\Delta t\).
3.1 Numerical method for the Allen–Cahn Model with a Penalizing Potential Using EQ
In the Allen–Cahn equation with a penalizing potential, we reformulate the free energy density by introducing two intermediate variables as follows
Then, the free energy (2.6) recast to
The extended chemical potential is given by
We reformulate the modified Allen–Cahn model as follows
Now we discretize it using the linear Crank–Nicolson method in time to arrive at a semi-discrete, second order numerical scheme.
Scheme 3.1
Given initial conditions \({{\upphi }}^{0}\), we calculate \(q^0\) from \({{\upphi }}^{0}\) and \({{\upphi }}^{1}, q^1\) are calculated by a first order scheme. Having computed \({\upphi }^{n-1}, q^{n-1}\) and \({{\upphi }}^{n}, q^n\), we compute \({{\upphi }}^{{n+1}},q^{n+1}\) as follows.
We define the discrete energy as follows
This scheme is linear, second order in time, and the linear system resulting from it is uniquely solvable. The scheme obeys a discrete dissipation law, i.e., Scheme 3.1 is unconditionally energy stable [12], which implies \(F^n\le F^0\), namely, \(\Vert {\upphi }^{n}\Vert _{L^2}, \Vert q^{n}\Vert _{L^2}, \Vert {\upzeta }^{n}\Vert _{L^2} (n=1, 2, \ldots , N)\) are bounded.
3.2 Numerical method for the Allen–Cahn Model with a Lagrange Multiplier Using EQ
We reformulate the free energy density by introducing an intermediate variable
Then, the free energy (2.10) recast to
The extended chemical potentia is given by
We rewrite the modified Allen–Cahn equation with the nonlocal constraint as follows
Using the linear Crank–Nicolson method in time, we obtain the following scheme.
Scheme 3.2
Given initial conditions \({{\upphi }}^{0}\), we calculate \(q^0\) from \({{\upphi }}^{0}\) and \({{\upphi }}^{1}, q^1\) are computed using a first order scheme. Having computed \({\upphi }^{n-1},q^{n-1}\), and \({{\upphi }}^{n},q^n\), we compute \({{\upphi }}^{{n+1}},q^{n+1}\) as follows.
where
We define the discrete energy as follows
Scheme 3.2 is linear, second order in time and unconditionally energy stable [12]. The linear system resulting from the scheme is uniquely solvable. It implies \(F^n\le F^0\), and \(\Vert {\upphi }^{n}\Vert _{L^2}, \Vert q^{n}\Vert _{L^2} (n=1, 2, \ldots , N)\) are bounded.
The scalar auxiliary variable (SAV) method provides yet another strategy to arrive at linear, energy stable numerical schemes.
3.3 Numerical Method for the Allen–Cahn Model with a Penalizing Potential Using SAV
We now use the scalar auxiliary variable approach to design a new numerical scheme and rewrite the energy function as follows
We introduce an intermediate variable \(E_1({\upphi })=\int _{\Omega } [f({\upphi })-{{\upgamma }}_{2}{{\upphi }}^{2}]\mathrm {\mathrm {d}\mathbf {x}}\), choose a constant \(C_0\) such that \(E_1({\upphi })\ge -C_0\), denote \(U=\frac{{\updelta }E_1}{{\updelta }{\upphi }}\), \(r=\sqrt{E_1+C_0}\) (a scalar auxiliary variable) \(s({\upphi })=\frac{\partial r}{\partial {\upphi }}=\frac{U( {\upphi })}{2\sqrt{E_1( {\upphi })+C_0}}\), and define \({\upzeta }=\sqrt{{\upeta }}(\int _\Omega {\upphi }(t) \mathrm {d}\mathbf {x}-\int _{\Omega }{\upphi }(0)\mathrm {\mathrm {d}\mathbf {x}})\) as another scalar auxiliary variable. The free energy recast into
and chemical potential is modified as follows
where
We reformulate the modified Allen–Cahn equation with a penalizing potential as follows
Now we discretize it using the linear Crank–Nicolson method in time to arrive at a new semi-discrete scheme.
Scheme 3.3
Given initial conditions \({{\upphi }}^{0}\), we calculate \(r^0\) and \({\upzeta }^0\) from \({{\upphi }}^{0}\) and then \({{\upphi }}^{1}\), \(r^1\) and \({\upzeta }^1\) are computed using a first order scheme. Having computed \({\upphi }^{n-1}\), \(r^{n-1}, {\upzeta }^{n-1}\), \({{\upphi }}^{n}\), \(r^n\) and \({\upzeta }^n\), we compute \({{\upphi }}^{{n+1}}, r^{n+1}, {\upzeta }^{n+1}\) as follows.
where
We define the discrete energy as follows
Scheme 3.3 is a linear, second order in time, unconditionally energy stable and the linear system resulting from the scheme is uniquely solvable [12]. It then follows that the norms of solutions of the linear system resulting from Scheme 3.3: \(\Vert {\upphi }^{n}\Vert _{L^2}\), \(\Vert r^{n}\Vert _{L^2}\), \(\Vert {\upzeta }^{n}\Vert _{L^2} (n=1, 2, \ldots , N)\) are bounded.
3.4 Numerical method for the Allen–Cahn Model with a Lagrange Multiplier Using SAV
We rewrite the energy functional as follows
Introducing an intermediate variable \(E_1({\upphi })=\int _{\Omega } [f({\upphi })-{{\upgamma }}_{2}{{\upphi }}^{2}]\mathrm {\mathrm {d}\mathbf {x}}\) and choosing a constant \(C_0\) such that \(E_1({\upphi })\ge -C_0\), we denote \(U=\frac{{\updelta }E_1}{{\updelta }{\upphi }}\) and \(s({\upphi })=\frac{\partial r}{\partial {\upphi }}=\frac{U( {\upphi })}{2\sqrt{E_1( {\upphi })+C_0}}\). We then define \(r=\sqrt{E_1+C_0}\) as the scalar auxiliary variable and recast the free energy into
and the extended chemical potential is given by
We reformulate the modified Allen–Cahn model as follows
A new second order in time semi-discrete numerical scheme is obtained after applying the linear Crank–Nicolson method.
Scheme 3.4
Given initial conditions \({{\upphi }}^{0}\), we calculate \(r^0\) from \({{\upphi }}^{0}\) and then \({{\upphi }}^{1}\) and \(r^1\) are computed by a first order scheme. Having computed \({\upphi }^{n-1}\), \(r^{n-1}\), \({{\upphi }}^{n}\) and \(r^n\), we compute \({{\upphi }}^{{n+1}}\) and \(r^{n+1}\) as follows.
where
We define the discrete energy as follows
Scheme 3.4 is a linear, second order in time, and unconditionally energy stable [12]. The linear system resulting from the scheme is uniquely solvable. It follows that the norms of solutions of the linear system resulting from Scheme 3.4: \(\Vert {\upphi }^{n}\Vert _{L^2}\), \(\Vert r^{n}\Vert _{L^2}\)\((n=1, 2, \ldots , N)\) are bounded.
3.5 The Fully Discrete Numerical Approximations
The semi-discrete numerical schemes have been proposed in the above subsections and the schemes are proven to be linear, second order in time, and unconditionally energy stable. In addition, the linear systems resulting from the schemes are all uniquely solvable. Here, we consider the spatial discretization of the schemes to arrive at fully discrete numerical schemes. We use the finite difference method to discretize the Allen–Cahn equations with nonlocal constraints in space.
Firstly, we begin with definitions of grid functions for the full discretization in two-dimensional space. We denote \(\Omega =[0,1]\times [0,1]\) as the computational domain and divide the domain into rectangular meshes with mesh size \(h_x=1/N_x, h_y=1/N_y\), where \(N_x\) and \(N_y\) are two positive integers. We define the following 2D sets for grid points:
where \(x_l=(l-\frac{1}{2})h_x, y_l=(l-\frac{1}{2})h_y\), l can take on integer or half-integer values. In this paper, we chose \(h_x=h_y=h\) for simplicity.
We define the following discrete function spaces
The functions of \(\mathcal {C}_{{\bar{x}}\times \bar{y}}\) are called cell centered functions. In component form, cell centered functions are identified via \({\upphi }_{i,j}\). A discrete function \({\upphi }\in \mathcal {C}_{{\bar{x}}\times \bar{y}}\) is said to satisfy homogeneous Neumann boundary conditions if and only if
We define
and \(\nabla _h, \Delta _h\) are denoted the discrete gradient operator, the discrete Laplace operator as follows
In addition, we define the following discrete inner products
For \({\upphi },{\uppsi }\), a natural discrete inner product of their gradients is given by
and we also introduce discrete \(\Vert \cdot \Vert _\infty \) norm, \(\Vert \cdot \Vert _p\) norm (\(1\le p<\infty \)) and discrete \(\Vert \cdot \Vert _{H^1_h}\), \(\Vert \cdot \Vert _{H^2_h}\), \(\Vert \cdot \Vert _{H^4_h}\) norm, respectively, as follows:
Lemma 3.1
For \({\upphi }, {\uppsi }\in \mathcal {C}_{{\bar{x}}\times \bar{y}}\) satisfying the homogeneous Neumann boundary condition, the following summation by parts formulas can be derived:
Secondly, we use the standard five-point method to discretize the Laplacian operator and apply the composite-trapezoid-formula to discretize integral terms to arrive at a second order scheme in space. On staggered grids in space, the composite-trapezoid-formula is given as follows
where \(({x_i, y_j})\in C_x\times C_y.\) We denote the symbol
Applying this spatial discretization strategy to the semi-discrete schemes developed earlier, we arrive at second order, fully discrete numerical schemes. Next, we only present the fully discrete scheme based on Scheme 3.2 as a representative as the others are discretized analogously and thus are omitted.
Scheme 3.5
Given initial conditions \({\upphi }_{i,j}^0\), we calculate \(q_{i,j}^0\) from \({\upphi }_{i,j}^0\) and \({\upphi }_{i,j}^1, q_{i,j}^1\) are computed using a first order scheme. Having computed \({\upphi }_{i,j}^{n-1},q_{i,j}^{n-1}\), and \({\upphi }_{i,j}^n,q_{i,j}^n\), we compute \({\upphi }_{i,j}^{n+1},q_{i,j}^{n+1}\) as follows.
where
The discrete energy is defined as follows
Scheme 3.5 respects the dissipation law, and thus is unconditionally energy stable. It then implies \(F^n\le F^0\), and \(\Vert {\upphi }^{n}\Vert _{2}, \Vert q^{n}\Vert _{2} (n=1, 2, \ldots , N)\) are bounded. We next present error estimates for the four semi-discrete schemes and the one fully discrete scheme presented above.
4 Error Estimates
We consider a finite time interval [0,T] and a domain \(\Omega \subset R^2\), which is open, connected and bounded with sufficiently smooth boundary \(\partial \Omega \) such that the following Sobolev inequalities hold
We denote \(\Delta t=\frac{T}{N}.\) Let \({{\upphi }}^{n}, q^n, g^n, {\upzeta }^n, r^n, s^n\) be the numerical solutions obtained from the above schemes, and \({\upphi }(t_n)\), \(q(t_n)\), \(g(t_n)\), \({\upzeta }(t_n)\), \(r(t_n)\), \(s(t_n)\) be the exact solutions of the Allen–Cahn equations with nonlocal constraints evaluated at the discrete time, we define the error functions for \(n=0,1,2,\ldots ,N\) as follows
For each scheme, we first establish the corresponding error equation and conduct a series of analyses to obtain the error estimate for the scheme. Without loss of generality, we set the mobility coefficient \(M\equiv 1\) in the following analysis.
Lemma 4.1
Suppose there exists a positive constant C such that
then the following inequalities hold
Proof
We know that the function q(x) is \(C^3\), s(x) is \(C^2\) for any \(x\in \Omega \), then
which implies \(\Vert e^n_{g}\Vert _{L^2}\le C\Vert e^n_{\upphi }\Vert _{L^2}\). Next, since \(q^{'''}\) is continuous and \(\nabla {\upphi }(t_n)\) is bounded, we have
where \({\upxi }={\uptheta }{\upphi }(t_n)+(1+{\uptheta }){{\upphi }}^{n}\). The proof of other two inequalities are similar to the above and thus omitted. \(\square \)
Assumption
We assume that the exact solution \({\upphi }\) of the Allen–Cahn equations with nonlocal constraints possesses the following regularity conditions
For the classical Allen–Cahn equation this is proved in [13].
4.1 Error Estimates for the Allen–Cahn Model of a Penalizing Potential Using EQ
In Scheme 3.1, the semi-discrete scheme is given as follows
We substitute the exact solution of the modified Allen–Cahn equation and use the Taylor expansion to obtain
where \(R^{n+1/2}_{\upphi }\), \(R^{n+1/2}_q\) ,\(R^{n+1/2}_{\upzeta }\) are corresponding truncation error and in the order of (\(O(\Delta {t}^2)\)).
Subtracting (4.7a), (4.7b), (4.7c) from (4.6a), (4.6b), (4.6c), respectively, we arrive at the error equations as follows
Lemma 4.2
There exists a constant \(C>0\) such that solution \({{\upphi }}^{n}\) of Scheme 3.1 is bounded:
Proof
Firstly, we note that \(\Vert {{\upphi }}^{0}\Vert _{L^\infty }\le C\) is true by definition. We assume \(\Vert {{\upphi }}^{n}\Vert _{L^\infty } (n=1, 2, \ldots , k)(k< N)\) are bounded. Next, we use mathematical induction to prove \(\Vert {\upphi }^{k+1}\Vert _{L^\infty }\) is bounded.
We note that \(q({\upphi })\) and \(g({\upphi })\) are continuous as functions of \({\upphi }\) and \({{\upphi }}^{n}(n=1, 2, \ldots , k)\) and are thus bounded. Taking inner product of (4.8a) with \(e_{{\upphi }}^{{n+1}}-e_{{\upphi }}^{n}\) and \(2\Delta {t}e^{n+1/2}_{\upphi }\), respectively, we obtain
and
Taking inner product of (4.8b) with \(2e_q^{n+1}\), we have
Taking inner product of (4.8c) with \(2e_{\upzeta }^{n+1}\), we obtain
Combining (4.9)–(4.12),we have
Using the Cauchy inequality with \({\upvarepsilon }\), we obtain
From the General Hölder inequality, Sobolev inequalities (4.1) and inequality (4.3), and the regularity assumption (4.5), we obtain
By the General Hölder inequality, the Cauchy inequality with \({\upvarepsilon }\), (4.3) and the boundedness of \(\Vert q^{n}\Vert _{L^2}\) and \(\Vert q^{n+1}\Vert _{L^2}\), we have
Similarly, using the Hölder inequality, the Cauchy inequality with \({\upvarepsilon }\), we arrive at the following estimates
and
By applying the same method, we obtain the following results
Choosing appropriate \({\upvarepsilon }\) and combining the above inequalities (4.14)–(4.20) with (4.13), we have
Summing (4.21) over for time steps 1 to m ,we deduce that for \(1\le m\le k\),
and
Then
Combining (4.24) with the Gronwall’s inequality, we have
which implies
Using the \(H^2\) regularity to Eq. (4.6a) and the boundedness of \(\Vert {\upphi }^{n}\Vert _{L^2}, \Vert q^{n}\Vert _{L^2}, \Vert {\upzeta }^{n}\Vert _{L^2}\), we have
So
Finally, we have
which implies
By mathematical induction,
\(\square \)
Theorem 4.1
For Scheme 3.1, we have the following error estimates for \(0\le n\le N\):
Proof
Because \(\Vert {{\upphi }}^{n}\Vert _{L^\infty }(n=0,1,\ldots ,N\)) are bounded, the proof process is similar to (4.9)–(4.26) in Lemma 4.2 and is thus omitted. \(\square \)
4.2 Error Estimates for the Allen–Cahn Model of a Lagrange Multiplier Using EQ
Firstly, we note that
Then, Scheme 3.2 can be written as follows
The error functions for \(n\ge 0\) satisfy the following difference equations
Lemma 4.3
There exists a constant \(C>0\) such that solution \({{\upphi }}^{n}\) of Scheme 3.2 is bounded:
Proof
Taking inner product of (4.32) with \(e_{{\upphi }}^{{n+1}}-e_{{\upphi }}^{n}\), \(2\Delta {t}e^{n+1/2}_{\upphi }\), respectively, (4.33) with \(2e_q^{n+1}\), then adding them up and using inequalities, we obtain
The rest of the proof is similar to (4.22)–(4.30) in the proof of Lemma 4.2 and is thus omitted. \(\square \)
Theorem 4.2
For Scheme 3.2, we have the following error estimates:
Proof
Because \(\Vert {{\upphi }}^{n}\Vert _{L^\infty }(n=0,1,\ldots ,N\)) are bounded, the proof is similar to that in Lemma 4.3. So, we omit the details. \(\square \)
4.3 Error Estimates for the Allen–Cahn Model of a Penalizing Potential Using SAV
Scheme 3.3 can be written as
We deduce the error equations for \(n\ge 0\) as follows
Lemma 4.4
There exists a constant \(C>0\) such that the solution \({{\upphi }}^{n}\) of Scheme 3.3 is bounded,
Proof
Firstly, we note that \(\Vert {{\upphi }}^{0}\Vert _{L^\infty }\le C\) is true by definition. We assume \(\Vert {{\upphi }}^{n}\Vert _{L^\infty } (n=1, 2, \ldots , k)(k< N)\) are bounded. Then, we use mathematical induction to prove that \(\Vert {\upphi }^{k+1}\Vert _{L^\infty }\) is bounded.
We note that \(q({\upphi })\) and \(s({\upphi })\) are continuous as functions of \({\upphi }\) and \({{\upphi }}^{n}(n=1, 2, \ldots , k)\) and are thus bounded. Taking inner product of (4.36a) with \(e_{{\upphi }}^{{n+1}}-e_{{\upphi }}^{n}\), \(2\Delta {t}e^{n+1/2}_{\upphi }\), respectively, (4.36b) with \(2e_r^{n+1}\) and (4.36c) with \(2e_{\upzeta }^{n+1}\), then adding them up, we obtain
Using Cauchy’s inequality with \({\upvarepsilon }\), we obtain
By regularity assumption (4.5), Sobolev inequalities (4.1) and inequality (4.3), we get the following inequalities
and
Analogous to the proof in Lemma 4.2, we obtain estimates for the other items. Choosing appropriate \({\upvarepsilon }\) and combining the above inequalities (4.38)–(4.40) and other items with (4.37), we have
The rest of the proof is the same as (4.22)–(4.30) in Lemma 4.2. So, we skip the details and claim the following result
\(\square \)
Theorem 4.3
For Scheme 3.3, we have the following error estimate:
Proof
Because \(\Vert {{\upphi }}^{n}\Vert _{L^\infty }(n=0,1,\ldots ,N\)) are bounded, the proof is similar to that in Lemma 4.4. \(\square \)
4.4 Error Estimates for the Allen–Cahn Model of a Lagrange Multiplier Using SAV
We rewrite Scheme 3.4 in the following form,
Then, we derive the equations for the error functions for \(n\ge 0\) as follows
Lemma 4.5
There exists a constant \(C>0\) such that the solution \({{\upphi }}^{n}\) of Scheme 3.4 is bounded
Proof
Taking inner product of (4.43) with \(e_{{\upphi }}^{{n+1}}-e_{{\upphi }}^{n}\), \(2\Delta {t}e^{n+1/2}_{\upphi }\), respectively, (4.44) with \(2e_r^{n+1}\), then adding them up and using a series of inequalities, we obtain
The rest of the proof is similar to (4.22)–(4.30) in that of Lemma 4.2 and is thus omitted. \(\square \)
Theorem 4.4
For Scheme 3.4, we have the following error estimates
Proof
Because \(\Vert {{\upphi }}^{n}\Vert _{L^\infty }(n=0,1,\ldots ,N\)) are bounded, the proof is similar to that in Lemma 4.5 and thus omitted. \(\square \)
4.5 Error Estimates of Fully Discrete Numerical Schemes
In this subsection, we omit the space symbol i, j for simplicity. Then, fully discrete Scheme 3.5 can be written as follows
The error functions for \(n\ge 0\) satisfy the following difference equations
where the corresponding truncation error
Lemma 4.6
There exists a constant \(C>0\) such that solution \({{\upphi }}^{n}\) of Scheme 3.5 is bounded:
Proof
Firstly, we note that \(\Vert {{\upphi }}^{0}\Vert _\infty \le C\) is true by definition. We assume \(\Vert {{\upphi }}^{n}\Vert _\infty (n=1, 2, \ldots , k)(k< N)\) are bounded. Next, we use mathematical induction to prove \(\Vert {\upphi }^{k+1}\Vert _\infty \) is bounded.
We note that \(q({\upphi })\) and \(g({\upphi })\) are continuous as functions of \({\upphi }\) and \({{\upphi }}^{n}(n=1, 2, \ldots , k)\) and thus are bounded. Taking discrete inner product of (4.47) with \(e_{{\upphi }}^{{n+1}}-e_{{\upphi }}^{n}\) and \(2\Delta {t}e^{n+1/2}_{\upphi }\), respectively, summing over i and j, we obtain
and
Taking discrete inner product of (4.48) with \(2e_q^{n+1}\), summing over i and j, we have
Combining (4.49)-(4.51),we have
Similar to the proof of Lemma 4.2, we apply the corresponding inequalities to have
and
Thus, we have the following result
Summing (4.55) over for time steps 1 to m and applying the Gronwall’s inequality and discrete Sobolev inequalities
we arrive at
The rest of the proof is then similar to (4.27)–(4.30) in the proof of Lemma 4.2. So, we have
\(\square \)
Theorem 4.5
For numerical solutions of Scheme 3.5, we have the following fully discrete error estimate for \(0\le n\le N\):
Proof
Because \(\Vert {{\upphi }}^{n}\Vert _\infty (n=0,1,\ldots ,N\)) are bounded, the proof is similar to (4.49)–(4.57) in the proof of Lemma 4.6 and is thus omitted. \(\square \)
5 Numerical Results
In this section, we conduct some numerical experiments to show the accuracy and usefulness of the numerical schemes. In the numerical experiments, we use square domain: \(\Omega =[0,1]\times [0,1]\) and model parameter values \({\upeta }=10^4, C_0=10^4\) wherever relevant.
5.1 Mesh Refinement
We first use the initial condition
for the mesh refinement test and set the parameter values as \({{\upgamma }}_{1}=0.2, {{\upgamma }}_{2}=10\) and \(M=1\times 10^{-3}\). Since we do not have the exact solution, we use the difference between results on successive coarse and finer grids to evaluate the numerical errors. We output the errors at time \(T=1.0\). The mesh refinement test results are summarized in Table 1, 2, 3, 4 for temporal mesh refinement at fixed \(h=1/256\) and in Table 5 for spatial mesh refinement at fixed \(\Delta t=1.0\times 10^{-4}\). Second order convergence rates are observed in all the tests.
5.2 Merging Drops
To test the properties of volume-conservation and energy dissipation for the Allen–Cahn equations with nonlocal constraints, we conduct a numerical experiment in which four drops merge into a large one. We set the initial condition as follows
where \({\updelta }=0.01\), \(r_1=\sqrt{(x-0.3+{\updelta })^2+(y-0.3+{\updelta })^2}\), \(r_2=\sqrt{(x-0.7-{\updelta })^2+(y-0.3+{\updelta })^2}\), \(r_3=\sqrt{(x-0.3+{\updelta })^2+(y-0.7-{\updelta })^2}\), \(r_4=\sqrt{(x-0.7-{\updelta })^2+(y-0.7-{\updelta })^2}\).
In this example, we set the parameter values as \({{\upgamma }}_{1}=0.02, {{\upgamma }}_{2}=100\), and \(M=1\). We use \(\Delta t=1.0\times 10^{-4}\) and \(N_x=N_y=256\) in the simulation. The numerical results calculated by the EQ schemes and SAV schemes for the same model are consistent (Figs. 1 and 2). It shows that the classical Allen–Cahn model does not conserve the volume, which leads to disappearance of the drops after sometime (Figs.1, 2a). However, the model with a penalizing potential and the model with a lagrange multiplier conserve the volume pretty well ( Figs. 1b, c, 2b, c, 3b). Concerning energy dissipation, the energy curve of the Allen–Cahn model will decay to zero until the drop disappears (Fig. 3a), whereas the energy curves of both modified models with nonlocal constraints decrease with time until a steady state plateau is reached, which means the four initial droplets have merged into one large droplet with its volume equal to the combined volume of the four small drops (Figs. 1b, c, 2b, c, 3a, b). Both volume conservation and energy dissipation in the schemes are clearly demonstrated by the example.
6 Conclusion
We have developed two pairs of numerical schemes for two Allen–Cahn equations with nonlocal constraints using EQ and SAV methods, respectively. The schemes are shown as unconditionally energy stable and volume-preserving. The linear systems resulting from the schemes are uniquely solvable. We then carry out a series of error estimates for the four semi-discrete numerical schemes and one representative fully discrete scheme, and verify their second-order convergence rates in time and space, respectively. Numerical simulations are conducted to illustrate the accuracy of the proposed numerical schemes and their conservative properties. Under the volume-preserving constraints, both modified Allen–Cahn models with nonlocal constraints preserve the volume pretty well in the numerical experiments. Therefore, the Allen–Cahn models with nonlocal constraints can be used as an effective alternative to the Cahn–Hilliard model when modeling multi-component material systems where phase volume and energy dissipation are important quantities to preserve.
References
Baskaran, A., Lowengrub, J.S., Wang, C., Wise, S.M.: Convergence analysis of a second order convex splitting scheme for the modified phase field crystal equation. SIAM J. Numer. Anal. 51(5), 2851–2873 (2013)
Boyer, F.: Mathematical study of multiphase flow under shear through order parameter formulation. Asymptot. Anal. 20(2), 175–212 (1999)
Cai, Y., Choi, H., Shen, J.: Error estimates for time discretizations of Cahn–Hilliard and Allen–Cahn phase-field models for two-phase incompressible flows. Numerische Mathematik 137(2), 417–449 (2017)
Chen, R., Ji, G., Yang, X., Zhang, H.: Decoupled energy stable schemes for phase-field vesicle membrane model. J. Comput. Phys. 302, 509–523 (2015)
Chen, W., Wang, C., Wang, X., Wise, S.M.: A linear iteration algorithm for a second-order energy stable scheme for a thin film model without slope selection. J. Sci. Comput. 59(3), 574–601 (2014)
Du, Q., Liu, C., Wang, X.: A phase field approach in the numerical study of the elastic bending energy for vesicle membranes. J. Comput. Phys. 198(2), 450–468 (2004)
Du, Q., Nicolaides, R.A.: Numerical analysis of a continuum model of phase transition. SIAM J. Numer. Anal. 28(5), 1310–1322 (1991)
Gong, Y., Zhao, J., Wang, Q.: Linear second order in time energy stable schemes for hydrodynamic models of binary mixtures based on a spatially pseudospectral approximation. Adv. Comput. Math. (2018). https://doi.org/10.1007/s10444-018-9597-5
Guan, Z., Lowengrub, J., Wang, C.: Convergence analysis for second-order accurate schemes for the periodic nonlocal Allen–Cahn and Cahn–Hilliard equations. Math. Methods Appl. Sci. 40(18), 6836–6863 (2017)
Guo, R., Ji, L., Xu, Y.: High order local discontinuous galerkin methods for the Allen–Cahn equation: analysis and simulation. J. Comput. Math. 34(2), 135–158 (2016)
Gurtin, M.E., Polignone, D., Vinals, J.: Two-phase binary fluids and immiscible fluids described by an order parameter. Math. Methods Appl. Sci. 6(6), 815–831 (1996)
Jing, X., Li, J., Zhao, X., Wang, Q.: Second order linear energy stable schemes for Allen–Cahn equations with nonlocal constraints. arXiv preprint arXiv:1810.05311 (2018)
Karali, G., Nagase, Y., RicciardiI, T.: On the existence of solution for a Cahn-Hilliard/Allen-Cahn equation. Discrete Contin. Dyn. Syst. Ser. S 7(1), 127–137 (2014)
Li, H., Ju, L., Zhang, C., Peng, Q.: Unconditionally energy stable linear schemes for the diffuse interface model with Peng–Robinson equation of state. J. Sci. Comput. 75(2), 993–1015 (2018)
Lin, P., Liu, C.: Simulations of singularity dynamics in liquid crystal flows: a c0 finite element approach. J. Comput. Phys. 215(1), 348–362 (2006)
Lowengrub, J., Truskinovsky, L.: Quasi-incompressible Cahn–Hilliard fluids and topological transitions. Proc. R. Soc. A Math. Phys. Eng. Sci. 454(1978), 2617–2654 (1998)
Rubinstein, J., Sternberg, P.: Nonlocal reactionłdiffusion equations and nucleation. IMA J. Appl. Math. 48(3), 249–264 (1992)
Shen, J., Wang, C., Wang, X., Wise, S.M.: Second-order convex splitting schemes for gradient flows with Ehrlich–Schwoebel type energy: application to thin film epitaxy. SIAM J. Numer. Anal. 50(1), 105–125 (2012)
Shen, J., Yang, X.: Numerical approximations of Allen–Cahn and Cahn–Hilliard equations. Discrete Contin. Dyn. Syst. Ser. A (DCDS-A) 28(4), 1669–1691 (2010)
Teigen, K.E., Song, P., Lowengrub, J., Voigt, A.: A diffuse-interface method for two-phase flows with soluble surfactants. J. Comput. Phys. 230(2), 375–393 (2011)
Wang, C., Wang, X., Wise, S .M.: Unconditionally stable schemes for equations of thin film epitaxy. Discrete Contin. Dyn. Syst. Ser. A (DCDS-A) 28(1), 405–423 (2010)
Wang, C., Wise, S.M.: An energy stable and convergent finite-difference scheme for the modified phase field crystal equation. SIAM J. Numer. Anal. 49(3), 945–969 (2011)
Wang, L., Yu, H.: Convergence analysis of an unconditionally energy stable linear Crank–Nicolson scheme for the Cahn–Hilliard equation. SIAM J. Numer. Anal. 51(1), 89–114 (2018)
Wu, X., Van Zwieten, G.J., van der Zee, K.G.: Stabilized second-order convex splitting schemes for Cahn–Hilliard models with application to diffuse-interface tumor-growth models. Int. J. Numer. Methods Biomed. Eng. 30(2), 180–203 (2014)
Xu, C., Tang, T.: Stability analysis of large time-stepping methods for epitaxial growth models. SIAM J. Numer. Anal. 44(4), 1759–1779 (2006)
Yang, X.: Linear, first and second-order, unconditionally energy stable numerical schemes for the phase field model of homopolymer blends. J. Comput. Phys. 327, 294–316 (2016)
Yang, X., Forest, M.G., Wang, Q.: Near equilibrium dynamics and one-dimensional spatial–temporal structures of polar active liquid crystals. Chin. Phys. B 23(11), 75–100 (2014)
Yang, X., Zhang, G.: Numerical approximations of the Cahn–Hilliard and Allen–Cahn equations with general nonlinear potential using the invariant energy quadratization approach. arXiv preprint arXiv:1712.02760 (2017)
Yang, X., Zhao, J., He, X.: Linear, second order and unconditionally energy stable schemes for the viscous Cahn–Hilliard equation with hyperbolic relaxation using the invariant energy quadratization method. J. Comput. Appl. Math. 343, 80–97 (2018)
Yang, X., Zhao, J., Wang, Q.: Numerical approximations for the molecular beam epitaxial growth model based on the invariant energy quadratization method. J. Comput. Phys. 333, 104–127 (2017)
Yang, X., Zhao, J., Wang, Q., Shen, J.: Numerical approximations for a three-component Cahn–Hilliard phase-field model based on the invariant energy quadratization method. Math. Methods Appl. Sci. 27(11), 1993–2030 (2017)
Yu, H., Yang, X.: Numerical approximations for a phase-field moving contact line model with variable densities and viscosities. J. Comput. Phys. 334, 665–686 (2017)
Yue, P., Feng, J., Liu, C., Shen, J.: A diffuse-interface method for simulating two-phase flows of complex fluids. J. Fluid Mech. 515, 293–317 (2004)
Zhao, J., Wang, Q., Yang, X.: Numerical approximations to a new phase field model for two phase flows of complex fluids. Comput. Methods Appl. Mech. Eng. 310, 77–97 (2016)
Zhao, J., Wang, Q., Yang, X.: Numerical approximations for a phase field dendritic crystal growth model based on the invariant energy quadratization approach. Int. J. Numer. Methods Eng. 110(3), 279–300 (2017)
Zhao, J., Yang, X., Gong, Y., Wang, Q.: A novel linear second order unconditionally energy stable scheme for a hydrodynamic q-tensor model of liquid crystals. Comput Methods Appl. Mech. Eng. 318, 803–825 (2017)
Zhao, J., Yang, X., Li, J., Wang, Q.: Energy stable numerical schemes for a hydrodynamic model of nematic liquid crystals. SIAM J. Sci. Comput. 38(5), A3264–A3290 (2016)
Acknowledgements
Qi Wang’s research is partially supported by NSF awards DMS-1517347, DMS-1815921 and OIA-1655740, and NSFC awards #11571032, #91630207 and NSAF-U1530401.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sun, S., Jing, X. & Wang, Q. Error Estimates of Energy Stable Numerical Schemes for Allen–Cahn Equations with Nonlocal Constraints. J Sci Comput 79, 593–623 (2019). https://doi.org/10.1007/s10915-018-0867-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10915-018-0867-7