HIGHLY EFFICIENT AND ACCURATE NUMERICAL SCHEMES FOR THE EPITAXIAL THIN FILM GROWTH MODELS BY USING THE SAV APPROACH

Similar documents
NUMERICAL APPROXIMATIONS OF ALLEN-CAHN AND CAHN-HILLIARD EQUATIONS

ERROR ANALYSIS OF STABILIZED SEMI-IMPLICIT METHOD OF ALLEN-CAHN EQUATION. Xiaofeng Yang. (Communicated by Jie Shen)

A linear energy stable scheme for a thin film model without slope selection

A Linear Energy Stable Scheme for a Thin Film Model Without Slope Selection

Part IV: Numerical schemes for the phase-filed model

UNCONDITIONALLY STABLE SCHEMES FOR EQUATIONS OF THIN FILM EPITAXY. Cheng Wang. Xiaoming Wang 1. Steven M. Wise

Downloaded 09/17/18 to Redistribution subject to SIAM license or copyright; see

Numerical Simulations on Two Nonlinear Biharmonic Evolution Equations

A PRACTICALLY UNCONDITIONALLY GRADIENT STABLE SCHEME FOR THE N-COMPONENT CAHN HILLIARD SYSTEM

Numerical Approximation of Phase Field Models

Phase-field modeling of step dynamics. University of California, Irvine, CA Caesar Research Center, Friedensplatz 16, 53111, Bonn, Germany.

CHARACTERIZING THE STABILIZATION SIZE FOR SEMI-IMPLICIT FOURIER-SPECTRAL METHOD TO PHASE FIELD EQUATIONS

A Second Order Energy Stable Scheme for the Cahn-Hilliard-Hele-Shaw Equations

THE EXISTENCE OF GLOBAL ATTRACTOR FOR A SIXTH-ORDER PHASE-FIELD EQUATION IN H k SPACE

Research Article A Two-Grid Method for Finite Element Solutions of Nonlinear Parabolic Equations

On Multigrid for Phase Field

Weak solutions for the Cahn-Hilliard equation with degenerate mobility

FDM for parabolic equations

A Reduced Order Model for Epitaxial Growth

c 2010 Society for Industrial and Applied Mathematics

EXISTENCE OF SOLUTIONS TO THE CAHN-HILLIARD/ALLEN-CAHN EQUATION WITH DEGENERATE MOBILITY

Giordano Tierra Chica

ON SPECTRAL METHODS FOR VOLTERRA INTEGRAL EQUATIONS AND THE CONVERGENCE ANALYSIS * 1. Introduction

A New Approach for the Numerical Solution of Diffusion Equations with Variable and Degenerate Mobility

EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

Weighted Essentially Non-Oscillatory limiters for Runge-Kutta Discontinuous Galerkin Methods

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

The Research Grants Council of Hong Kong NSFC/RGC Joint Research Scheme Joint Completion Report

Applied Numerical Mathematics

Abstract. 1. Introduction

Computers and Mathematics with Applications

arxiv: v1 [math.na] 29 Feb 2016

The Deep Ritz method: A deep learning-based numerical algorithm for solving variational problems

WEAK GALERKIN FINITE ELEMENT METHOD FOR SECOND ORDER PARABOLIC EQUATIONS

arxiv: v1 [math.ap] 24 Oct 2014

ERROR ESTIMATES FOR SEMI-DISCRETE GAUGE METHODS FOR THE NAVIER-STOKES EQUATIONS : FIRST-ORDER SCHEMES

Superconvergence of discontinuous Galerkin methods for 1-D linear hyperbolic equations with degenerate variable coefficients

MULTIPLE SOLUTIONS FOR AN INDEFINITE KIRCHHOFF-TYPE EQUATION WITH SIGN-CHANGING POTENTIAL

ON THE MAXIMUM PRINCIPLE PRESERVING SCHEMES FOR THE GENERALIZED ALLEN CAHN EQUATION

arxiv: v1 [math.na] 12 Apr 2018

Blow-up of solutions for the sixth-order thin film equation with positive initial energy

A Second-Order, Weakly Energy-Stable Pseudo-spectral Scheme for the Cahn Hilliard Equation and Its Solution by the Homogeneous Linear Iteration Method

1 Introduction. J.-L. GUERMOND and L. QUARTAPELLE 1 On incremental projection methods

Partially Penalized Immersed Finite Element Methods for Parabolic Interface Problems

A sharp diffuse interface tracking method for approximating evolving interfaces

Rational Chebyshev pseudospectral method for long-short wave equations

Numerical Approximations for Allen-Cahn Type Phase Field Model of Two-Phase Incompressible Fluids with Moving Contact Lines

ON THE ERROR ESTIMATES FOR THE ROTATIONAL PRESSURE-CORRECTION PROJECTION METHODS

COMPARISON OF DIFFERENT NUMERICAL SCHEMES FOR THE CAHN HILLIARD EQUATION

On Pressure Stabilization Method and Projection Method for Unsteady Navier-Stokes Equations 1

LORENTZ ESTIMATES FOR ASYMPTOTICALLY REGULAR FULLY NONLINEAR ELLIPTIC EQUATIONS

Fourier analysis for discontinuous Galerkin and related methods. Abstract

Optimal L p (1 p ) rates of decay to linear diffusion waves for nonlinear evolution equations with ellipticity and dissipation

ON LIQUID CRYSTAL FLOWS WITH FREE-SLIP BOUNDARY CONDITIONS. Chun Liu and Jie Shen

WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY

THE CAHN-HILLIARD EQUATION WITH A LOGARITHMIC POTENTIAL AND DYNAMIC BOUNDARY CONDITIONS

PSEUDO-COMPRESSIBILITY METHODS FOR THE UNSTEADY INCOMPRESSIBLE NAVIER-STOKES EQUATIONS

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

(1:1) 1. The gauge formulation of the Navier-Stokes equation We start with the incompressible Navier-Stokes equation 8 >< >: u t +(u r)u + rp = 1 Re 4

with deterministic and noise terms for a general non-homogeneous Cahn-Hilliard equation Modeling and Asymptotics

On Two Nonlinear Biharmonic Evolution Equations: Existence, Uniqueness and Stability

Lecture 1 Modeling and simulation for the growth of thin films

A PRACTICAL SPLITTING METHOD FOR STIFF SDES WITH APPLICATIONS TO PROBLEMS WITH SMALL NOISE

Domain decomposition schemes with high-order accuracy and unconditional stability

An Efficient, Energy Stable Scheme for the Cahn-Hilliard-Brinkman System

THE RADIUS OF ANALYTICITY FOR SOLUTIONS TO A PROBLEM IN EPITAXIAL GROWTH ON THE TORUS

The method of lines (MOL) for the diffusion equation

High-order ADI schemes for convection-diffusion equations with mixed derivative terms

Relaxation methods and finite element schemes for the equations of visco-elastodynamics. Chiara Simeoni

Stability and Convergence Analysis of Fully Discrete Fourier Collocation Spectral Method for 3-D Viscous Burgers Equation

ELLIPTIC RECONSTRUCTION AND A POSTERIORI ERROR ESTIMATES FOR PARABOLIC PROBLEMS

LUKE EDWARDS. Research Supervisors: Anna L. Mazzucato and Victor Nistor Department of Mathematics, Penn State University, University Park, PA,

EXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL

Convergence analysis for second-order accurate schemes for the periodic nonlocal Allen-Cahn and Cahn-Hilliard equations

Multiscale Modeling of Epitaxial Growth Processes: Level Sets and Atomistic Models

ON THE ERROR ESTIMATES FOR THE ROTATIONAL PRESSURE-CORRECTION PROJECTION METHODS

Analysis of Two-Grid Methods for Nonlinear Parabolic Equations by Expanded Mixed Finite Element Methods

Feedback Control of Surface Roughness Using Stochastic PDEs

30 crete maximum principle, which all imply the bound-preserving property. But most

Entropic Schemes for Conservation Laws

Piecewise Smooth Solutions to the Burgers-Hilbert Equation

Journal of Computational Physics

A local Crank-Nicolson method for solving the heat equation. Abdurishit ABUDUWALI, Michio SAKAKIHARA and Hiroshi NIKI

EXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS

Homogenization and error estimates of free boundary velocities in periodic media

ELLIPTIC EQUATIONS WITH MEASURE DATA IN ORLICZ SPACES

A FOURTH-ORDER ACCURATE FINITE DIFFERENCE SCHEME FOR THE EXTENDED-FISHER-KOLMOGOROV EQUATION. Tlili Kadri and Khaled Omrani

UNIFORM DECAY OF SOLUTIONS FOR COUPLED VISCOELASTIC WAVE EQUATIONS

Kinetic Monte Carlo simulation of semiconductor quantum dot growth

Tong Sun Department of Mathematics and Statistics Bowling Green State University, Bowling Green, OH

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

A finite element level set method for anisotropic mean curvature flow with space dependent weight

SECOND-ORDER FULLY DISCRETIZED PROJECTION METHOD FOR INCOMPRESSIBLE NAVIER-STOKES EQUATIONS

Takens embedding theorem for infinite-dimensional dynamical systems

Finite Difference Solution of the Heat Equation

Math background. Physics. Simulation. Related phenomena. Frontiers in graphics. Rigid fluids

A NOTE ON THE LADYŽENSKAJA-BABUŠKA-BREZZI CONDITION

Optimal rate convergence analysis of a second order numerical scheme for the Poisson Nernst Planck system

DRIFT-DIFFUSION SYSTEMS: VARIATIONAL PRINCIPLES AND FIXED POINT MAPS FOR STEADY STATE SEMICONDUCTOR MODELS

ANALYSIS AND APPLICATION OF DIFFUSION EQUATIONS INVOLVING A NEW FRACTIONAL DERIVATIVE WITHOUT SINGULAR KERNEL

Transcription:

HIGHLY EFFICIENT AND ACCURATE NUMERICAL SCHEMES FOR THE EPITAXIAL THIN FILM GROWTH MODELS BY USING THE SAV APPROACH QING CHENG, JIE SHEN, XIAOFENG YANG Abstract. We develop in this paper highly efficient, second order and unconditionally energy stable schemes for the epitaxial thin film growth models by using the scalar auxiliary variable (SAV) approach. A main difficulty here is that the nonlinear potential for the model without slope selection is not bounded from below so the SAV approach can not be directly applied. We overcome this difficulty with a suitable splitting of the total free energy density into two parts such that the integral of the part involving the nonlinear potential becomes bounded from below so that the SAV approach can be applied. We then construct a set of linear, second-order and unconditionally energy stable schemes for the reformulated systems. These schemes lead to decoupled linear equations with constant coefficients at each time step so that they can be implemented easily and very efficiently. We present ample numerical results to demonstrate the stability and accuracy of our SAV schemes.. Introduction Epitaxy is referred to the deposition of a crystalline overlayer on a substrate. The technique of epitaxy thin film growth is usually used in nanotechnology or semiconductor fabrication. It is an affordable way to obtain high quality crystal for many multilayer structures and semiconductor materials. To understand the mechanisms of thin film growth behind its technological applications, many theoretical models have been developed and numerical simulations based on these models were carried out. In summary, there are mainly three types of mathematical models to simulate the thin film epitaxial growth process, including atomistic models (cf. [4, 8]), continuum models (cf. [9,8]) and hybrid models (cf. [, 7]). In this paper, we focus on the numerical approximations for the continuum models, which are obtained by minimizing a given total free energy where the nonlinear potential is either a fourth order Ginzburg-Landau double well potential (with slope selection) or a nonlinear logarithmic potential (without slope selection). Both are in terms of the gradient of a scalar height function. There have been many attempts on developing efficient numerical schemes for solving the continuum thin film growth models. Examples include the stabilized semi-implicit method (see, for instance, [3, 0], the convex splitting method (see, for instance, [, 3, 4, 9], and the Invariant Energy Quadratization (IEQ) method (cf. []). The stabilized semi-implicit schemes [5] are easy to implement and very efficient, but it is in general difficult to construct truly unconditionally energy stable second-order schemes, and the stability proof and error analysis usually rely on a Key words and phrases. thin film epitaxy; gradient flow; energy stable; coarsening dynamics. School of Mathematical Sciences and Fujian Provincial Key Laboratory on Mathematical Modeling and High Performance Scientific Computing, Xiamen University, Xiamen, Fujian, P. R. China, 36005; Email: chengqing@stu.xmu.edu.cn. Corresponding author. Department of Mathematics, Purdue University, West Lafayette, IN, USA, 47907; Email:shen7@purdue.edu. Department of Mathematics, University of South Carolina, Columbia, SC, 908; Beijing Institute for Scientific and Engineering Computing, Beijing University of Technology, Beijing 004, China; Email: xfyang@math.sc.edu.

Q. CHENG, J. SHEN AND X. YANG uniform Lipschitz condition on the derivative of the nonlinear potential (cf. [5]). However, for the MBE model without slope selection, a second-order stabilized semi-implicit scheme is constructed in [3]. The convex splitting approach [5, 6] can be applied to a large class of gradient flows to construct unconditionally energy stable first-order schemes, but it is also generally difficult to construct second-order schemes for complicated nonlinear potentials, although for the MBE model, second-order convex splitting schemes are constructed in [4]. A drawback of the convex splitting approach is that it requires solving a nonlinear system at each time step. The IEQ method [] enables one to construct linear, second-order, unconditionally energy stable schemes for a large class of gradient flows, but it requires solving an elliptic system with complicated variable coefficients at each time step. It is shown to be successful for the model with slope selection [] since the fourth order polynomial type Ginzburg-Landau potential is bounded from below naturally, but it is problematic for the model without slope selection since the nonlinear logarithmic potential is not bounded from below. Recently, a new approach, termed as scalar auxiliary variable (SAV) approach, was proposed in [7] (see also [6]). This approach is inspired by the IEQ approach but fixes most, if not all, its shortcomings. In particular, it does not require the nonlinear potential (integrand) to be bounded from below, but only requires the integral of the part of the total free energy involving the nonlinear potential to be bounded from below. Furthermore, it leads to much simplified numerical schemes. The purpose of this paper is to apply the SAV approach to develop new efficient and accurate schemes for the epitaxial thin film growth models. A main difficulty is that the nonlinear potential for the model without slope selection is not bounded from below so the SAV approach can not be directly applied. We overcome this difficulty by introducing a suitable splitting of the total free energy density into two parts such that the integral of the part involving the nonlinear potential becomes bounded from below. Then, we can reformulate the epitaxial thin film growth models with and without slope selection into equivalent PDE systems by introducing a scalar auxiliary variable. We can then develop efficient and accurate schemes for the reformulated PDE systems. More precisely, we shall construct second-order schemes based on BDF and Crank-Nicolson in which the nonlinear terms are all treated explicitly. We shall show that these schemes are unconditionally energy stable, and at each time step, they can be decoupled into two bi-laplacian equations. Furthermore, each of the bi-laplacian equation can be reduced to two decoupled Poisson type equations [3]. Thus, these schemes are second-order accurate and extremely efficient, especially when coupled with a suitable adaptive time stepping (see, for instance, []). Note that all previous unconditionally energy stable schemes by convex splitting or IEQ approaches lead to nonlinear systems or fourth-order equations with variable coefficients to solve at each time step. Hence, these new schemes appear to be more efficient than existing schemes. We must emphasize that the unconditional energy stability is for a modified energy, not for the original energy. While we can not prove that the original energy of our SAV schemes is dissipative as in the continuous case, we can show that they are uniformly bounded (see Remark 4.). The rest of the paper is organized as follows. In Section, we describe the thin film growth models with and without slope selections. In Section 3, we reformulate the thin film growth models into equivalent PDE systems by introducing a scalar auxiliary variable. Then we develop in Section 4 a set of schemes using the SAV approach for the reformulated systems, and show that they can be decoupled into two linear equations of fourth-order with only constant coefficients and are unconditionally energy stable. In Section 5, we present several numerical results to validate the accuracy and stability of the proposed schemes. Some concluding remarks are presented in Section 6.

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 3. Thin film epitaxy growth models We first introduce some notations. We denote by (f, g) = f(x)g(x)dx the L inner product between functions f(x) and g(x), by f = (f, f) the L norm of a function f(x). We now introduce the thin film epitaxy growth models. Let φ(x): R represents the height of the thin film, the total phenomenological free energy is ( (.) E(φ) = F ( φ) + ɛ ( φ)) dx where F (y) is a smooth function, ɛ is the gradient energy coefficient [0, 9]. The first term F ( φ)dx represents a continuum description of the Ehrlich-Schwoebel effect, while the second term ɛ ( φ) dx represents the surface diffusion effect. There are two popular choices for the nonlinear potential F ( φ): (i) Double well potential for the model with slope selection (.) F ( φ) = 4 ( φ ). (ii) Logarithmic potential for the model without slope selection (.3) F ( φ) = ln( + φ ). (.4) The evolution equation for the height function φ is governed by the gradient flow: φ t = M ( ɛ φ + f( φ) ), where M is the mobility constant, and { (( φ (.5) f( φ) = F ) φ), Model with slope selection, ( φ) = ( φ ), Model without slope selection. + φ The boundary conditions can be either the periodic boundary condition or the no-flux boundary condition, where n is the outward normal on the domain boundary : (.6) (i) φ is periodic with or (ii) n φ = n φ = 0. One can easily obtain the energy dissipation property for the two models mentioned above by taking the L inner product of (.4) with φ t and performing integration by parts: d (.7) dt E(φ) = M φ t 0. By taking the L inner product with for (.4), we obtain the mass conservation property: d (.8) φdx = 0. dt Hence, without loss of generality, we can assume φ(x)dx = 0 so that the Poincaré inequality holds, i.e., there exists a positive constant c 0 such that (.9) φ c 0 φ φ H () := {φ H () : φ(x)dx = 0}.

4 Q. CHENG, J. SHEN AND X. YANG 3. Equivalent PDE systems with the SAV approach In this section, we reformulate the thin film models into equivalent PDE systems by introducing a scalar auxiliary variable (SAV). We shall construct efficient numerical schemes based on these reformulated systems in the next section. 3.. Model with slope selection. Since the free energy (.) for the model with slope selection is non-negative, the SAV (or IEQ) approach can be directly applied. Indeed, we introduce a non-local, time-dependent SAV: (3.) u(t) = 4 ( φ ) dx + A, where A can be any positive constant, A is used to avoid the denominator of H(φ) being zero. The total energy for the model with slope selection becomes E(φ, u) = u ɛ (3.) + φ dx A. Correspondingly, we rewrite the PDE system (.4) for the model with slope selection as follows, (3.3) (3.4) where (3.5) φ t + M ( ɛ φ + H(φ)u ) = 0, u t = H(φ)φ t dx, (( φ ) φ) H(φ) =. 4 ( φ ) dx + A The above system is subjected to the boundary conditions (.6), and initial conditions (3.6) φ t=0 = φ 0, u t=0 = u(φ 0 ). Taking the L inner product of (3.3) with M φ t, and multiplying (3.4) with u, then performing integration by parts and summing up both equalities, we obtain the energy law for (3.3)-(3.4): d (3.7) dt E(φ, u) = M φ t 0. It is easy to see that the transformed system (3.3)-(3.4) is equivalent to the original PDE system (.4) for the model with slope selection. Indeed, if φ is a solution of (.4) for the model with slope selection, then by the definition (3.), we find immediately (φ, u) is a solution of (3.3)-(3.4). On the other hand, if (φ, u) is a solution of (3.3)-(3.4), we can integrate (3.4) to obtain (3.), which, together with (3.3), implies φ is a solution of (.4) for the model with slope selection. 3.. Model without slope selection. On the other hand, the free energy (.3) is unbounded from below so one can not apply the IEQ nor SAV approaches directly. However, inspired from [9], we shall show below, by adding part of the surface diffusion energy in (.) to the free energy (.), we can still apply the SAV (but not IEQ) approach. Lemma 3.. (3.8) where c 0 is the constant in (.9). ɛ 4 φ ln( + φ )dx ɛ (ln( c ) ɛ 0 c + ), 0

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 5 Proof. For any γ > 0, the function G(t) := γ t ln( + t) is always convex (G (t) > 0), and at t = γ, G(t ) reaches its minimum, i.e., (3.9) G(t) G(t ) = (lnγ γ + ). Setting t = φ in the above and integrating over, we obtain ( γ φ )) (3.0) ln( + φ dx (ln(γ) γ + ). By using the Poincaré inequality, we derive φ = (φ, φ) φ φ c 0 φ φ φ + c 0 (3.) φ, which implies that for any γ > 0, γ φ dx γ (3.) c 0 φ dx. Taking γ = ɛ in the above, along with (3.0), we obtain c 0 ( ɛ 4 φ ln( + φ ) )dx ɛ (3.3) (ln( c ) ɛ 0 c + ). 0. Hence, we can define a non-local, time-dependent SAV: ( ɛ v(t) = 4 φ ) (3.4) log( + φ ) dx + A, where A is a positive constant to ensure the term under square root is positive, for example, we can choose A = ɛ (ln( ) ɛ + ) + thanks to Lemma 3.. c 0 c 0 We can then rewrite the total energy for the model without slope selection as E(φ, v) = v ɛ (3.5) + 4 φ dx A, and reformulate the PDE system (.4) as (3.6) (3.7) where (3.8) φ t + M ( ɛ φ + S(φ)v ) = 0, v t = S(φ)φ t dx, ɛ S(φ) = φ + ( ) + φ. ( ɛ 4 φ log( + φ ))dx + A The above system is subjected to the boundary conditions (.6), and initial conditions (3.9) φ φ t=0 = φ 0, v t=0 = v(φ 0 ).

6 Q. CHENG, J. SHEN AND X. YANG Taking the L inner product of (3.6) with M φ t and multiplying (3.7) with v, then performing integration by parts and summing up both equalities, we obtain an equivalent dissipative law: d (3.0) dt E(φ, v) = M φ t 0. It is easy to see that the transformed system (3.6)-(3.7) is equivalent to the original PDE system (.4) for the model without slope selection. Indeed, if φ is a solution of (.4) for the model without slope selection, then by the definition (3.4), we find immediately (φ, v) is a solution of (3.6)-(3.7). On the other hand, if (φ, v) is a solution of (3.6)-(3.7), we can integrate (3.7) to obtain (3.4), which, together with (3.6), implies φ is a solution of (.4) for the model without slope selection. Note that even with Lemma 3., we can not apply the IEQ approach to reformulate the PDE system (.4) for the model without slope selection, since the integrand in (3.8) is not bounded from below. 4. Numerical Schemes by the SAV approach We now develop a set of very efficient unconditionally energy stable second order schemes to solve the new system (3.3)-(3.4) and (3.6)-(3.7). To simplify the presentation, we consider only semi-discretized schemes in time, but the stability results carry over in a straightforward fashion to fully discretized versions with any consistent finite dimensional Galerkin type approximations since the proofs are all based on variational formulations with all test functions in the same space as the space of the trial functions. Let δt > 0 be a time step size and set t n = nδt for 0 n N = [T/δt], let U n denotes the numerical approximation to U(, t) t=t n, and U n+ = U n+ +U n for any function U. We use (, ) to denote the inner product in L () and set v = (v, v). 4.. SAV schemes for the model with slope selection. We firstly construct a second order scheme for solving the model with slope selection (3.3)-(3.4) based on the second order backward differentiation formula (BDF). Scheme. (SAV-BDF scheme for the model with slope selection). Assuming that φ n, φ n and u n, u n are known, we solve φ n+, u n+ as follows: (4.) (4.) where H,n+ = H(φ n ) H(φ n ). 3φ n+ 4φ n + φ n + M(ɛ φ n+ + H,n+ u n+ ) = 0, δt 3u n+ 4u n + u n = H,n+ (3φ n+ 4φ n + φ n )dx, Note that the above scheme for (φ n+, u n+ ) is linear but coupled. However, as in the IEQ approach, the system can be decoupled. Furthermore, as pointed in [7], a main advantage of the SAV approach is that the decoupled system only involves linear equations with constant coefficients. We now describe how to decouple the above system. We first rewrite (4.) as u n+ = (4.3) H,n+ φ n+ dx + g n,

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 7 with g n = 4un u n 3 H,n+ 4φn φ n 3 dx. Then we can eliminate u n+ from (4.) to get ( 3 δt + Mɛ )φ n+ + M (4.4) H,n+ H,n+ φ n+ dx = f n, with f n = 4φn φ n δt MH,n+ g n. Next, we shall derive an explicit formula for computing H,n+ φ n+ dx. Define an linear operator χ ( ), such that for any φ L (), ψ = χ (φ) is defined as the solution of (4.5) ( 3 δt + Mɛ )ψ = φ, with the boundary conditions (.6). Applying the operator χ to (4.4), we obtain φ n+ + M (4.6) χ (H,n+ ) H,n+ φ n+ dx = χ (f n ). Taking the L inner product with H,n+, we find H,n+ φ n+ dx = H,n χ (f n (4.7) )dx + M H,n+ χ (H,n+ )dx. To summarize, to obtain φ n+ through (4.6), we only need to compute ψ = χ (f n ) and ψ = χ (H,n+ ), which amount to solving two decoupled equations (4.8) ( 3 δt + Mɛ )ψ = f n, and (4.9) ( 3 δt + Mɛ )ψ = H,n+, with the boundary conditions (.6). As shown in [3], each of the above equations can be further reduced to two decoupled Poisson type equations so that they can be solved very efficiently. Once φ n+ is known, one can obtain u n+ from (4.3) using (4.7). Remark 4.. The authors in [] applied the IEQ approach for solving the model (.4) with slope selection. The resultant scheme can also be decoupled but leads to a PDE system with non-constant coefficients, which is much more expensive and complicated to solve numerically. In addition to its remarkable simplicity, the scheme (4.)-(4.) is also unconditionally energy stable as we show below. Theorem 4.. The scheme (4.)-(4.) admits a unique solution, and is unconditionally energy stable in the sense that it satisfies the following discrete energy dissipation law: (4.0) δt (En+,n A E n,n A ) 3φn+ 4φ n + φ n, M δt where E n+,n A = ɛ 4 ( φn+ + (φ n+ φ n ) ) + ( (u n+ ) + (u n+ u n ) ). Proof. Taking the L inner product of (4.) with M (3φn+ 4φ n + φ n ), and applying the following identity (4.) (3a 4b + c, a) = (a + (a b) ) (b + (b c) ) + (a b + c),

8 Q. CHENG, J. SHEN AND X. YANG we obtain 4Mδt 3φn+ 4φ n + φ n + ɛ 4 ( φn+ + φ n+ φ n ) (4.) ɛ 4 ( φn + φ n φ n ) + ɛ 4 φn+ φ n + φ n + H,n+ u n+ (3φ n+ 4φ n + φ n )dx = 0. Multiplying u n+ to (4.), we find ( (u n+ ) + (u n+ u n ) ) ( (u n ) + (u n u n ) ) + (un+ u n + u n ) (4.3) = u n+ H,n+ (3φ n+ 4φ n + φ n )dx. Combining (4.) and (4.3), we arrive at ɛ 4 ( φn+ + φ n+ φ n ) ɛ 4 ( φn + φ n φ n ) + ((un+ ) + (u n+ u n ) ) ((un ) + (u n u n ) ) (4.4) + ɛ 4 φn+ φ n + φ n + (un+ u n + u n ) = δt 3φn+ 4φ n + φ n, M δt which implies the desired result after dropping some positive terms above. Similarly, one can also construct a second order SAV Crank-Nicolson scheme. Scheme. (SAV-CN scheme for the model with slope selection) Assuming that φ n, φ n and u n, u n are known, we solve φ n+, U n+ as follows: (4.5) (4.6) where H,n+ = 3 H(φn ) H(φn ). φ n+ φ n + M(ɛ φn+ + φ n + H,n+ u n+ + u n ) = 0, δt u n+ u n = H,n+ (φ n+ φ n )dx, Using the similar process as for the SAV-BDF scheme, the SAV-CN scheme can also be decoupled into two linear equations of the form (4.7) ( δt + M ɛ )ψ = f, with the boundary conditions (.6). Thus the SAV-CN scheme is as efficient as the SAV-BDF scheme, it has smaller truncation error but could be prone to numerical oscillations if the initial error has highly oscillatory part. Theorem 4.. The scheme (4.5)-(4.6) admits a unique solution, and is unconditionally energy stable in the sense that it satisfies the following discrete energy dissipation law: (4.8) δt (En+ A EA) n = φ n M φn+, δt

where E n+ A = ɛ φn+ + (u n+ ). EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 9 Proof. Taking the L inner product of (4.5) with M (φn+ φ n ), we obtain (4.9) Mδt φn+ φ n + ɛ ( φn+ φ n ) + H,n+ (u n+ + u n )(φ n+ φ n )dx = 0 Taking the L inner product of (4.6) with u n+ + u n, we find (u n+ ) (u n ) = (4.0) H,n+ (φ n+ φ n )(u n+ + u n )dx. Combining (4.9) and (4.0), we obtain ɛ ( φn+ φ n ) + (u n+ ) (u n ) = δt φn+ φ (4.) n. M δt Then proof is complete. 4.. SAV schemes for the model without slope selection. Similar to the model with slope selection, we can construct efficient SAV schemes for the reformulated system (3.6)-(3.7). Since the construction, the solution process and the proof of stability follow essentially the same procedure as in the model with slope selection, we shall only state the results below. Scheme 3. (SAV-BDF scheme for the model without slope selection). Assuming that φ n, φ n and v n, v n are known, we solve φ n+ and v n+ as follows: 3φ n+ 4φ n + φ n ( ɛ (4.) + M δt φ n+ + S,n+ v n+) = 0, 3v n+ 4v n + v n = (4.3) S,n+ (3φ n+ 4φ n + φ n )dx, where S,n+ = S(φ n ) S(φ n ) and function S(φ) is defined as equation (3.8). As in the model with slope selection, one can eliminate v n+ from above and decouple it into two linear systems of the form (4.4) ( 3 δt + M ɛ )ψ = f, with the boundary conditions (.6), and establish the following result. Theorem 4.3. The scheme (4.)-(4.3) is unconditionally energy stable in the sense that it satisfies the following discrete energy dissipation law: (4.5) δt (En+,n B E n,n B ) 4φ n + φ n M 3φn+, δt where E n+,n B = ɛ 8 ( φn+ + (φ n+ φ n ) ) + ( (v n+ ) + (v n+ v n ) ). One can also construct the SAV-CN scheme for the model without slope selection as follows:

0 Q. CHENG, J. SHEN AND X. YANG Scheme 4. (SAV-CN scheme for the model without slope selection) Assuming that φ n, φ n and v n, v n are known, we solve φ n+, v n+ as follows: (4.6) (4.7) where S,n+ = 3 S(φn ) S(φn ). φ n+ φ n + M( ɛ δt φn+ + φ n + S,n+ v n+ + v n ) = 0, v n+ v n = S,n+ (φ n+ φ n )dx, One can also eliminate v n+ from above and decouple it into two linear systems of the form (4.8) ( δt + M 4 ɛ )ψ = f, with the boundary conditions (.6), and establish the following result. Theorem 4.4. The scheme (4.6)-(4.7) is unconditionally energy stable in the sense that it satisfies the following discrete energy dissipation law: (4.9) δt (En+ B EB) n = φ n M φn+, δt where E n+ B = ɛ 4 φn+ + (v n+ ). Remark 4.. Note that the SAV schemes only guarantee that the modified energy is unconditionally energy stable. While the original energy may not be unconditionally energy stable, it is easy to show that the original energy is uniformly bounded. Indeed, thanks to the boundary condition (.6) and the assumption that φdx = 0, the uniform bound on φn derived in Theorems 4.-4.4 implies that φ n H is uniformly bounded for all n. On the other hand, we derive from the Sobolev inequality ( φ 4 dx ) 4 φ H () that the original energy of the SAV schemes for the MBE model with slope selection is uniformly bounded. As for the MBE model without slope selection, thanks to Lemma 3., the original energy of the SAV schemes is also uniformly bounded. 4.3. Adaptive time stepping. In most practical problems, energy evolution may undergo large variations initially and at some time intervals, but may change very little in some other time intervals (see, e.g., simulations in the next subsection). One main advantage of unconditionally energy stable schemes is that it can be easily combined with an adaptive strategy which chooses time step based on the accuracy requirement only. So small time steps are only used when the energy variation is large while lager time steps can be used when the energy variation is small. We shall adapt the following strategy (cf. []): ( ) t max (4.30) t at time t = max t min,, + α E (t) where t min, t max are predetermined minimum and maximum time steps, and α is a suitable parameter. 5. Numerical Simulations We now present several numerical simulations to validate the theoretical results derived in the previous section and demonstrate the efficiency, the stability and the accuracy of the new SAV schemes.

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS In all examples, = (0, L) d, d =, 3, and the boundary conditions are periodic. If not explicitly specified, the default values of parameters ɛ and M are ɛ = 0., M = so as to be consistent with the numerical examples performed in the literature [0,, 9, 0, ]. 5.. Convergence tests. We first test convergence rates of the four new schemes. We denote by S-BDF, S-CN, n-s-bdf and n-s-cn, respectively, the SAV-BDF scheme for the the model with slope selection (Scheme ), the SAV-CN scheme for the model with slope selection (Scheme ), the SAV-BDF scheme for the model without slope selection (Scheme 3), and the SAV-CN scheme for the model without slope selection (Scheme 4). 5... Case with a given exact solution. In this test, we take the exact solution to be ( sin(x) cos(y) )( (5.) φ(x, y, t) = + 0.48 sin (t) ). 4 The computational domain is [0, π) and we use 9 9 Fourier modes. In Table and Table, we present the absolute L error of the height function φ at time t = with various time steps. We observe that all four schemes yield the expected second-order convergence rate. δt S-BDF Order S-CN Order 5e 3 5.87e 6.00e 5.5e 3.47e 6.98.50e 6.00.5e 3 3.65e 7.0 6.4e 7.00 6.5e 4 9.e 8.00.56e 7.00 3.5e 4.8e 8.99 3.89e 8.00.565e 4 5.69e 9.00 9.73e 9.00 7.85e 5.4e 9.00.43e 9.00 Table. The absolute L errors of φ at t = that are computed by schemes S- BDF and S-CN for the model with slope selection using various time steps with the exact solution of (5.). 5... Case with a given initial condition. In this test, we take the initial condition to be (5.) φ(x, y, 0) = 0.(sin(3x) sin(y) + sin(5x) sin(5y)), which has also been used in [0,, 9, 0, ]. The computational domain is again [0, π) and we use 9 9 Fourier modes. Since no exact solution is available, we use the numerical solution by the S-BDF and n-s-bdf schemes with the smallest time step size of δt = e 5 as the reference solution. We present in Tables 3 and 4, the L errors at t = with different time step sizes for the models with and without slope selection, respectively. We observe that all four schemes achieve the expected second-order convergence rate.

Q. CHENG, J. SHEN AND X. YANG δt n-s-bdf Order n-s-cn Order 5e 3 7.76e 6.8e 5.5e 3.94e 6.00.96e 6.00.5e 3 4.83e 7.0 7.37e 7.0 6.5e 4.0e 7.0.84e 7.00 3.5e 4 3.0e 8.99 4.60e 8.00.565e 4 7.5e 9.00.5e 8.00 7.85e 5.88e 9.00.86e 9.0 Table. The absolute L errors of φ at t = that are computed by schemes n- S-BDF and n-s-cn for the model without slope selection using various time steps with the exact solution of (5.). δt S-BDF Order S-CN Order 5e 3.3e 5.8e 4.5e 3 4.9e 6.66 6.76e 5.69.5e 3.3e 6.68.08e 5.68 6.5e 4 3.55e 7.88 4.58e 6.8 3.5e 4 9.37e 8.9.e 6.9.565e 4.4e 8.96 3.05e 7.99 7.85e 5 6.e 9.99 7.09e 8.0 Table 3. The L errors of φ at t = that are computed by schemes S-BDF and S-CN for the model with slope selection using various time steps. The numerical results using δt = e 5 is taken as the reference solution. To quantify the deviation of the height function, we define the roughness function R(φ) (cf. [0,, 9, 0, ]): (5.3) R(φ) = [φ(x, t) φ(t)] dx, where φ(t) = φ(x, t)dx. We plot the evolution of energy curves and the roughness for the models with and without slope selection in Fig. and Fig., respectively. We observe that initially the energy and the roughness decay rapidly. After a relatively long period of time, the roughness starts to grow. These results are quantitatively identical to those obtained in [0, 9, ].

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 3 δt n-s-bdf Order n-s-cn Order 5e 3 7.67e 6 7.53e 4.5e 3.e 6.79.0e 4.84.5e 3 7.8e 7.64 7.63e 5.46 6.5e 4.0e 7.7.06e 5.89 3.5e 4 6.e 8.8 5.77e 6.84.565e 4.65e 8.9.5e 6.9 7.85e 5 4.9e 9.98 3.90e 7.96 Table 4. The L errors of φ at t = that are computed by schemes n-s-bdf and n-s-cn for the model without slope selection using various time steps. The numerical results using δt = e 5 is taken as the reference solution. It is shown in the last sections that the modified energy of all SAV schemes is dissipative, but we do not have a theoretical proof of this property for the original energy. Thus, we plot the original energy and the modified energy for both models in Fig. 3. We observe that the modified energy and the original energy for both models are almost indistinguishable. 5.. Coarsening dynamics. To simulate the coarsening dynamics, we choose a random initial condition varying from 0.00 to 0.00. The parameters are (5.4) ɛ = 0.03, M =. The computational domain is = [0,.8), and we use 53 53 Fourier modes so that the errors from the spatial discretization are negligibly small compared with the time discretization error. We use the adaptive time strategy (4.30) to determine the time steps with t min = 0 5, t max = 0 and α = 0 5. In Fig. 4 and Fig. 5, we show snapshots of numerical solutions of the height function φ and its Laplacian φ at different time for both models, respectively. In the left of Fig. 6 and Fig. 7, we plot the evolution of the roughness and the energy for the model with slope section, respectively. We observe that the former grows like t 3 while the latter decays like t 3, as found in [] (see also [, 4, 9]). In the right of Fig. 6 and Fig. 7, we plot the evolution of the roughness and the energy for the model without slope section, respectively. We observe that the former grows like t while the latter decays like log 0 (t) for the model without slope selection, shown in Fig. 7, the energy decays rather rapidly like log 0 (t), as found in [0]. As the last example, we perform numerical simulations of the coarsening dynamics in 3D with a random initial state ranging from 0.00 to 0.00. Simulations are carried out in the domain = [0, π) 3 with 9 9 9 Fourier modes and the time step δt =.5e 4. In Fig. 8 and Fig. 9, we plot three iso-surfaces for φ = 0.3 for the model with slope selection and the model without slope selection, respectively. We observe similar coarsening dynamics as in the D case.

4 Q. CHENG, J. SHEN AND X. YANG (a) Energy evolution for the model with slope selection when t (0, 0.04) and t (0, 30). (b) Energy evolution for the model without slope selection when t (0, 0.04) and t (0, 30). Fig.. Evolution of the total energy using the schemes S-CN and n-s-cn for the models with and without slope selection, respectively. In Fig. 0 and Fig., we plot evolutions of free energy and roughness for both models. We observe that the decay rates of the free energy and growth rates of the roughness are qualitatively similar as in the D case but with quantitatively different rates. 6. Concluding remarks We developed in this paper a set of time discretization schemes using the SAV approach for the epitaxial thin film models with slope selection and without slope selection. These schemes enjoy the following advantages: second order accurate in time; unconditional energy stable; can be decoupled into two linear fourth-order equations with constant coefficients (in fact two bi-laplacian equations) at each time step. As shown in [3], each of the bi-laplacian equation with the boundary condition (.6) can be further reduced to two decoupled Poisson type equations. Thus, these schemes are easy to implement and extremely efficient when coupled with an adaptive time stepping. Although we considered only semi-discretized schemes in time in this paper, the stability results here can be carried over to any consistent finite dimensional Galerkin type approximations since

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 5 (a) The roughness W (t) when t (0, 4) (left) and t (0, 30) (right) for the model with slope selection. (b) The roughness W (t) when t (0, 4) (left) and t (0, 30) (right) for the model without slope selection. Fig.. The evolution of the roughness W (t) using the schemes S-CN and n-s- CN for the models with and without slope selection, respectively: with the initial condition (5.) and the time step δt = 0.00. Fig. 3. Left: The original and modified energies for the model with slope selection; Right: The original and modified energies for the model without slope selection.

6 Q. CHENG, J. SHEN AND X. YANG (a) t = 0. (b) t =. (c) t = 0. (d) t = 50. (e) t = 00. (f) t = 500. Fig. 4. The isolines of the numerical solutions of the height function φ and its Laplacian φ for the model with slope selection with random initial condition. For each subfigure, the left is φ and the right is φ. Snapshots are taken at t = 0,, 0, 50, 00, 500, respectively. the proofs are all based on a variational formulation with all test functions in the same space as the space of the trial functions. Acknowledgment. This work is supported in part by NSFC grants 963004, 4000 and 566350, and NSF grants DMS-7044 and DMS-70. References [] R. E. Caflisch, MF. Gyure, B. Merriman, SJ. Osher, C. Ratsch, DD. Vvedensky, and JJ. Zinck. Island dynamics and the level set method for epitaxial growth. Appl. Math. Lett, (4):3, 999. [] W. Chen, S. Conde, C. Wang, X. Wang, and S. Wise. A linear energy stable scheme for a thin film model without slope selection. J. Sci. Comput., 5:546 56, 0. [3] Wenbin Chen, Cheng Wang, Xiaoming Wang, and Steven M. Wise. 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 60, 04. [4] S. Clarke and DD. Vvedensky. Origin of reflection high-energy electron-diffraction intensity oscillations during molecular-beam epitaxy: A computational modeling approach. Phys. Rev. lett, 58():35, 987. [5] C. M. Elliott and A. M. Stuart. The global dynamics of discrete semilinear parabolic equations. SIAM J. Numer. Anal., 30:6 663, 993.

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 7 (a) t = 0. (b) t =. (c) t = 0. (d) t = 50. (e) t = 00. (f) t = 500. Fig. 5. The isolines of the numerical solutions of the height function φ and its Laplacian φ for the model without slope selection with random initial condition. For each subfigure, the left is φ and the right is φ. Snapshots are taken at t = 0,, 0, 50, 00, 500, respectively. Fig. 6. Left: The log-log plots of the roughness for the model with slope selection; Right: The semi-log plots of the roughness for the model without slope selection.

8 Q. CHENG, J. SHEN AND X. YANG Fig. 7. Left: The log-log plots of the free energy for the model with slope selection; Right: The semi-log plots of the free energy for the model without slope selection. [6] D. J. Eyre. Unconditionally gradient stable time marching the Cahn-Hilliard equation. In Computational and mathematical models of microstructural evolution (San Francisco, CA, 998), volume 59 of Mater. Res. Soc. Sympos. Proc., pages 39 46. MRS, Warrendale, PA, 998. [7] MF. Gyure, C. Ratsch, B. Merriman, RE. Caflisch, ST. Osher, JJ. Zinck, and DD. Vvedensky. Level-set methods for the simulation of epitaxial phenomena. Phys. Rev. E, 58(6):R697, 998. [8] HC Kang and WH Weinberg. Dynamic monte carlo with a proper energy barrier: Surface diffusion and twodimensional domain ordering. J. Chem. Phys, 90(5):84 830, 989. [9] J. Krug. Origins of scale invariance in growth processes. Advan in Phys, 46():39 8, 997. [0] B. Li and J. G. Liu. Epitaxial growth without slope selection: energetics, coarsening, and dynamic scaling. J. Non. Sci, 4(5):49 45, 004. [] Dorel Moldovan and Leonardo Golubovic. Interfacial coarsening dynamics in epitaxial growth with slope selection. Physical Review E, 6(6):690, 000. [] Z. Qiao, Z. Zhang, and T. Tang. An adaptive time-stepping strategy for the molecular beam epitaxy models. SIAM. J. Sci. Comput., 33(3):395 44, 0. [3] Zhonghua Qiao, Zhi-Zhong Sun, and Zhengru Zhang. Stability and convergence of second-order schemes for the nonlinear epitaxial growth model without slope selection. Math. Comp., 84(9):653 674, 05. [4] J. Shen, C. Wang, X. Wang, and S. M. Wise. Second-order convex splitting schemes for gradient flows with ehrlich schwoebel type energy: application to thin film epitaxy. SIAM J. Num. Anal., 50():05 5, 0. [5] J. Shen and X. Yang. Numerical Approximations of Allen-Cahn and Cahn-Hilliard Equations. Disc. Conti. Dyna. Sys. -A, 8:669 69, 00. [6] Jie Shen, Jie Xu, and Jiang Yang. A new class of efficient and robust energy stable schemes for gradient flows. Submitted to SIAM Reviews. [7] Jie Shen, Jie Xu, and Jiang Yang. The scalar auxiliary variable (SAV) approach for gradient flows. J. Comput. Phys., 35:407 47, 08. [8] J Villain. Continuum models of crystal growth from atomic beams with and without desorption. Journal de physique I, ():9 4, 99. [9] C. Wang, X. Wang, and S. M. Wise. Unconditionally stable schemes for equations of thin film epitaxy. Dis. Cont. Dyn. Syst., 8():405 43, 00. [0] C. Xu and T. Tang. Stability analysis of large time-stepping methods for epitaxial growth models. SIAM J. Num. Anal., 44(4):759 779, 006. [] X. Yang. Linear, first and second order and unconditionally energy stable numerical schemes for the phase field model of homopolymer blends. J. Comput. Phys., 37:94 36, 06. [] X. Yang, J. Zhao, and Q. Wang. Numerical approximations for the molecular beam epitaxial growth model based on the invariant energy quadratization method. J. Comput. Phys., 333:04 7, 07.

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS 9 Fig. 8. Left: the iso-surfaces of numerical solutions of the height function φ = 0.3 for the model with slope selection in 3D, with a random initial condition and time step δt =.5e 4, at t = 0, 0, 50; Right: three slices of the solutions across the indicated plane.

0 Q. CHENG, J. SHEN AND X. YANG Fig. 9. Left: the iso-surfaces of numerical solutions of the height function φ = 0.3 for the model without slope selection in 3D, with a random initial condition and time step δt =.5e 4, at t = 0, 0, 50; Right: three slices of the solutions across the indicated plane.

EFFICIENT SCHEMES FOR THE THIN FILM EPITAXY MODELS Fig. 0. Left: The log-log plots of the free energy for the model with slope selection; Right: The semi-log plots of the free energy for the model without slope selection. Fig.. Left: The log-log plots of the roughness for the model with slope selection; Right: The semi-log plots of the free energy for the model without slope selection. [3] P. Yue, J. J. Feng, C. Liu, and J. Shen. A diffuse-interface method for simulating two-phase flows of complex fluids. J. Fluid. Mech., 55:93 37, 004.