Abstract
Fractional differential equations are becoming increasingly used as a modeling tool for processes associated with anomalous diffusion or spatial heterogeneity. We consider in this paper a nonlocal phase transition model, in particular described by the Allen-Cahn equation. Precisely, we deal with a fractional Allen-Cahn equation (FACE) with spectral definition of the fractional Laplacian. For the space discretization, we first use spectral Galerkin method to solve the eigenvalue problem (EVP) for the Laplacian operator with homogeneous Neumann boundary condition, then we employ the computed eigenfunctions as trial and test bases to solve the FACE. For the time discretization, based on the scalar auxiliary variable (SAV) approach, we construct unconditionally second-order energy stable BDF scheme (SAV/BDF2). Finally, the developed algorithm is used to simulate the phase evolution of a benchmark problem.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
1 Introduction
The Allen-Cahn equation was originally introduced to describe the motion of anti-phase boundaries in crystalline solids [1]. There have been a large body of work on numerical analysis of Allen-Cahn equations (cf. [2,3,4,5] and the references therein). We aim in this paper to use the SAV scheme, recently introduced and analyzed by a number of researchers; see, e.g., [5] and the references therein, to approximate the solution of the fractional version of the Allen-Cahn model. It consists in finding \(\phi : \Omega \times (0,T] \rightarrow {\mathbb R}\) solution of
In the above, γ is a positive kinetic coefficient, s ∈ (0, 1), \(\Omega \subset {\mathbb R}^d \) is a bounded domain, n is the outward normal, f(ϕ) = F′(ϕ) with a given function \(F(\phi )=\frac {1}{4\varepsilon ^2}(\phi ^2-1)^2\) being the Ginzburg-Landau double-well potential. The phase field ϕ is such that
and ε represents the thickness of the smooth transition layer connecting the two phases, which is small compared to the characteristic length of the system scale. The homogeneous Neumann boundary condition implies that no mass loss occurs across the boundary walls.
Among the different definitions of fractional Laplacians (see [6, 7] for a quantitative assessment of new numerical methods as well as available state-of-the-art methods for discretizing the fractional Laplacians problems), we choose in this paper to focus on the fractional spectral definition. It is defined by
where λ i, e i are the eigenvalues and eigenfunctions of the Laplace operator − Δ in Ω with homogeneous Neumann boundary condition, i.e., they satisfy
While, a i represents the projection of u on the direction e i, \(a_i=(u, e_i )_{L^2_\Omega }\). The spectral fractional Laplacian is nonlocal on the interior for noninteger s ∈ (0, 1). We see that to compute the inner product \(a_i=(u, e_i )_{L^2_\Omega }\), it suffices for u to be defined on the interior of Ω. No information about u on the exterior R d ∖ Ω is required. Thus, from a conceptual viewpoint, in boundary value problems the spectral fractional Laplacian can admit the same type of boundary conditions as the standard, local Laplacian − Δ. In this paper, we let Ω =] − 1, 1[2. Set \(u(\boldsymbol x,t) = \sum _{n=1}^\infty \sum _{m=1}^\infty a_{m,n}(t)e_{m,n}(\boldsymbol x)\), where e m,n are the orthogonal eigenfunctions of the Laplace operator with homogeneous Neumann boundary conditions and λ m,n are the corresponding eigenvalues. Then we define the spectral fractional Laplacian as,
Here
The rest of this paper in organized as follows. In Sect. 2, we present briefly the spectral method by giving some notations and reminders. The fractional Laplace operator and its possible applications is discussed in Sect. 3. To demonstrate the applicability of the approximative fractional Laplacian for real applications, we consider a fractional Allen-Cahn equation (FACE). Based on the scalar auxiliary variable (SAV) approach, we construct an unconditionally second-order energy stable BDF scheme (SAV/BDF2) for FACE. We present numerical results for a test case as well as a benchmark example in Sect. 4.
2 Spatial Discretizations
We limit here the description of the spectral approximation to the introduction of some notations and reminders (see [8, 9]). For complex domain, we can use spectral element method [10]. Let Σ = {(ξ i, ρ i); 0 ≤ i ≤ N} denote the sets of Gauss-Lobatto-Legendre quadrature nodes and weights associated to polynomials of degree N. These quantities are such that on Λ:=] − 1, +1[
where \(\mathbb {P}_{N}(\Lambda )\) denotes the space of polynomials of degree ≤ N. We recall that the nodes ξ i (0 ≤ i ≤ N) are solution to \((1-x^2)L^{\prime }_N(x)=0\), where L N denotes the Legendre polynomial of degree N.
The canonical polynomial interpolation basis \(h_i(x)\in \mathbb {P}_N(\Lambda )\) built on Σ is given by the relationships:
with the elementary cardinality property
where δ ij is Kronecker’s delta symbol.
In the sequel the phase field ϕ will be approximated in space variable by suitable polynomial functions ϕ N as follows
The L 2-inner products involved in the calculation will be achieved using Gauss-Lobatto-Legendre quadrature, which reads: for all continuous functions φ and ψ in \(\bar {\Omega }\),
3 Scalar Auxiliary Variable (SAV) Approach for FACE
SAV approach was introduced in [4, 5] to solve gradient flows. The main purpose of this section is to construct efficient unconditionally stable scheme based on this approach for (1.1).
Throughout the paper, we assume there exists a constant C 0 such that ∫Ω F(ϕ)dx + C 0 > 0. We first introduce a scalar auxiliary variable
Then, we rewrite the phase-field equation (1.1) under an equivalent form as: find \(\phi : (0,T]\times \Omega \rightarrow {\mathbb R}\) and \(r: (0,T] \rightarrow {\mathbb R}\), such that
Theorem 3.1
If ϕ ∈ L 2 ((0, T], H s( Ω)), 0 < s < 1, is the solution of equations (3.1), then we have the following energy dissipation law
Proof
Taking the inner product of the first two equations with μ, \(\frac {\partial \phi }{\partial t}\) respectively, and multiplying the third equation with 2r(t), then adding them together, We obtain
Let \(\phi (\boldsymbol x,t) = \sum _{m,n=1}^\infty a_{m,n}(t)e_{m,n}(\boldsymbol x) \) and taking advantage of the orthogonality of {e m,n}, we verify
Then combining (3.3) and (3.4) proves (3.2). □
The energy law (3.2) means that the SAV approach (3.1) makes the modified energy
decay in time.
Now we construct a second-order semi-implicit scheme for the system (3.1). Given initial conditions ϕ 0 = ϕ 0, and let \( r^0= \sqrt {\int _{\Omega }F(\phi ^0)d{\boldsymbol x}+C_0} \), find ϕ n+1 ∈ H s( Ω) and \( r^{n+1}\in {\mathbb R} \), n = 0, 1, …, such that
In the above, \(\bar {\phi }^{n+1}\) can be any explicit approximation of ϕ(t n+1) with an error of \(\mathcal {O}(\Delta t^2)\). For instance, we may choose the following one
Theorem 3.2
The scheme (3.5)–(3.7) is unconditionally stable in the sense that
with the modified energy
Proof
The result can be directly deduced from taking the inner product of the first two equations (3.5) and (3.6) with μ n+1 and \( \frac {3\phi ^{n+1}-4\phi ^n+\phi ^{n-1}} {2\Delta t}\) respectively, and multiplying the third equation (3.7) with 2r n+1, then using the following identity:
□
3.1 Implementation
Besides its unconditional stability, a most remarkable feature of the above scheme is that it can be solved very efficiently. Indeed, by inserting (3.6) and (3.7) into (3.5), and let \({\bar {{\mathcal F}}}^{n+1}:= \int _{\Omega }F({\bar {\phi }}^{n+1})d{\boldsymbol x}+C_0\), we obtain
where
We shall first determine \(( f(\bar {\phi }^{n+1}),\phi ^{n+1})\) from (3.10). To this end we multiply (3.10) by \(\Big ( \frac {3}{2\gamma \Delta t}I+(-\Delta )^{s}\Big )^{-1}\) and take the inner product by \(f(\bar {\phi }^{n+1})\) to get
with
Then, we have
Thus we obtain an expression to compute ϕ n+1 by bringing back (3.14) into (3.10):
Finally we compute r n+1 through
We now summarize the algorithm of the Scalar Auxiliary Variable approach/Semi-Implicit Second-Order Scheme (3.5)–(3.7) as follows:
-
1.
Set \(\displaystyle \bar {\phi }^{n+1}=2\phi ^{n}-\phi ^{n-1},\quad {\bar {\mathcal F}}^{n+1}=\int _{\Omega }F(\bar {\phi }^{n+1})d {{\boldsymbol x}}+C_0,\\ \quad \tilde {c}_0=(f(\bar {\phi }^{n+1}),4\phi ^n-\phi ^{n-1})/3,\quad \tilde {c}_1= \frac { 4r^n-r^{n-1} }{ 3\sqrt {{\bar {\mathcal F}}^{n+1} }}- \frac {\tilde {c}_0 }{2{\bar {\mathcal F}}^{n+1}}\),\(\displaystyle \quad g^n=\frac {4\phi ^n-\phi ^{n-1}}{2\gamma \Delta t}- \tilde {c}_1f(\bar {\phi }^{n+1});\)
-
2.
Solve \(\displaystyle \quad \displaystyle \frac {3}{2\gamma \Delta t}\beta ^{n+1}+(-\Delta )^{s}\beta ^{n+1}=f(\bar {\phi }^{n+1});\)
-
3.
Solve \(\displaystyle \quad \displaystyle \frac {3}{2\gamma \Delta t}\alpha ^{n+1}+(-\Delta )^{s} \alpha ^{n+1}=g^n;\)
-
4.
Compute \(\displaystyle \quad \tilde {c}_2=(f(\bar {\phi }^{n+1}),\beta ^{n+1}),\quad \tilde {c}_3=(f(\bar {\phi }^{n+1}),\alpha ^{n+1}), \quad \tilde {c}_4=\tilde {c}_3/(2{\bar {\mathcal F}}^{n+1} + \tilde {c}_2);\)
-
5.
Compute \(\displaystyle \quad \displaystyle \phi ^{n+1}=\alpha ^{n+1}-\tilde {c}_4\beta ^{n+1}, \quad r^{n+1}=\frac {4r^n-r^{n-1}}{3}+\frac {(f(\bar {\phi }^{n+1}),\phi ^{n+1})-\tilde {c}_0}{2\sqrt {{\bar {\mathcal F}}^{n+1}}}.\)
4 Numerical Results and Discussion
In this section, we first present a numerical example to illustrate the efficiency of the SAV scheme in terms of stability and accuracy. We then use the proposed scheme to simulate a benchmark problem.
4.1 Test of the Convergence Order
In order to validate the proposed SAV/BDF2 scheme for the fractional phase-field equation, we consider a fabricated forcing term so that the exact solution to (1.1) is ϕ(x, t) = \(\sin {}(t)\cos {}(\pi x)\cos {}(\pi y)\). In this test we set γ = 1, Ω =] − 1, 1[2, and the nonlinear term is given by f(ϕ) = ϕ (ϕ 2 − 1).
In the calculation we use polynomial degree 32 × 32 for the spatial discretization, which is large enough so that the spatial discretization error is negligible compared to the temporal error. Figure 1 shows the L 2-errors at T = 1.0 in log-log scale as a function of the time step size for several fractional orders. It is observed from this figure that the convergence rate of the time stepping scheme is exactly second order as expected for all tested values of s. It is worthy to mention that no numerical instability was observed for all time step sizes used in the calculation. This implies that the proposed scheme is unconditionally stable.
4.2 Benchmark Test
In this subsection, we apply the SAV/BDF2 scheme to the fractional version of a classical benchmark problem (cf. [11]) that we describe below. Our main purpose in this test is to demonstrate the applicability of the constructed method for the FACE. We are particularly interested in numerically investigating the impact of the fractional order on the evolution of the phase interface.
At the initial state, there is a circular phase interface of the radius R 0 = 100 in the rectangular domain ] − 128, 128[2. In other words, the initial condition is given by
Such a circular interface is unstable and the driving force will make it shrink and eventually disappear. It has been shown that in the limit that the radius of the circle is much larger than the interfacial thickness, the velocity and the radius of the moving interface are given (see [1]) by
In the implementation we map the computational domain ] − 128, 128[2 to ] − 1, 1[2. Therefore actually we are led to solve the fractional Allen-Cahn equation (1.1) with the coefficients γ = 1∕1282 and ε = 0.0078. In the simulation, the space resolution is set to N = 512, and the time step size is Δt = 0.1. The computed radius R(t) for s = 1 using the SAV/BDF2 scheme is plotted in Fig. 2. We observe that R(t) keeps monotonously decreasing and very close to the sharp interface limit value. This confirms the accuracy of the proposed method, at least in the case s = 1.
Next we apply the proposed scheme to investigate the impact of the fractional order on the radius behavior. In Fig. 3 we present the numerical radius evolution for a number of the fractional orders. Specifically, Fig. 4 shows the circle shrinking for fractional orders s = 1.0, 0.9, 0.8. It is clearly indicated that the radius decay rate slow down when the fractional order decreases. However, for the time being the physical meaning and mathematical explanation of this phenomena remain unknown. We plan to address this issue in future work.
References
Allen, S.M., Cahn, J.W.: A microscopic theory for antiphase boundary motion and its application to antiphase domain coarsening. Acta Metall. 27(6), 1085–1095 (1979)
Shen, J., Yang, X.: Numerical approximations of Allen-Cahn and Cahn-Hilliard equations. Discrete Contin. Dynam. Syst. 28(4), 1669–1691 (2010)
Feng, X., Prohl, A.: Numerical analysis of the Allen-Cahn equation and approximation for mean curvature flows. Numer. Math. 94(1), 1669–1691 (2003)
Shen, J., Xu, J., Yang, J.: A new class of efficient and robust energy stable schemes for gradient flows (2017). arXiv:1710.01331 [math.NA]
Shen, J., Xu, J., Yang, J.: The scalar auxiliary variable (SAV) approach for gradient flows. J. Comput. Phys. 353, 407–416 (2018)
Lischke, A., Pang, G., Gulian, M., Song, F., Glusa, C., Zheng, X., Mao, Z., Cai, W., Meerschaert, M.M., Ainsworth, M., Karniadakis, G.E.: What is the fractional Laplacian?. ArXiv:1801.09767V1 [MATH. NA] (29 Jan 2018)
Song, F., Xu, C., Karniadakis, G.E.: A fractional phase-field model for two-phase flows with tunable sharpness: algorithms and simulations. Comput. Methods Appl. Mech. Eng. 305, 376–404 (2016)
Deville, M., Fischer, P.F., Mund, E.: High-order methods for incompressible fluid flow. Appl. Mech. Rev. 56(3), B43 (2002)
Shen, J., Tang, T., Wang, L.-L.: Spectral Methods: Algorithms, Analysis and Applications, 1st edn., pp. 300–305. Springer, Berlin (2011)
Song, F., Xu, C., Karniadakis, G.E.: Computing fractional Laplacians on complex-geometry domains: algorithms and simulations. SIAM J. Sci. Comput. 39(4), A1320–A1344 (2017)
Chen, L.Q., Shen, J.: Applications of semi-implicit Fourier-spectral method to phase field equations. Comput. Phys. Commun. 108(2), 147–158 (1998)
Acknowledgements
The work was supported by NSFC/ANR joint program 51661135011 - PHASEFIELD. The second author has received financial support from the French State in the frame of the “Investments for the future” Programme Idex Bordeaux, reference ANR-10-IDEX-03-02. The third author was also supported by NSFC projects 11471274, 11421110001, and 91630204.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Zhou, X., Azaiez, M., Xu, C. (2020). SAV Method Applied to Fractional Allen-Cahn Equation. In: Sherwin, S.J., Moxey, D., Peiró, J., Vincent, P.E., Schwab, C. (eds) Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018. Lecture Notes in Computational Science and Engineering, vol 134. Springer, Cham. https://doi.org/10.1007/978-3-030-39647-3_39
Download citation
DOI: https://doi.org/10.1007/978-3-030-39647-3_39
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-39646-6
Online ISBN: 978-3-030-39647-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)