On energy stable, maximum-principle preserving, second order BDF scheme with variable steps for the Allen-Cahn equation

Abstract

In this work, we investigate the two-step backward differentiation formula (BDF2) with nonuniform grids for the Allen-Cahn equation. We show that the nonuniform BDF2 scheme is energy stable under the time-step ratio restriction $r_k:={\tau }_k/{\tau }_{k-1}<(3+\sqrt{17})/2\approx \mathrm{3.561.}$ Moreover, by developing a novel kernel recombination and complementary technique, we show, for the first time, the discrete maximum principle of BDF2 scheme under the time-step ratio restriction $r_k<1+\sqrt{2}\approx 2.414$ and a practical time step constraint. The second-order rate of convergence in the maximum norm is also presented. Numerical experiments are provided to support the theoretical findings.

24 pages, 1 table and 25 figures

References in corpus (3)

• A discrete Grönwall inequality with application to numerical schemes for subdiffusion problems
• On energy dissipation theory and numerical stability for time-fractional phase field equations
• A second-order and nonuniform time-stepping maximum-principle preserving scheme for time-fractional Allen-Cahn equations

Cited by in corpus (9)

• Analysis of adaptive BDF2 scheme for diffusion equations
• Mesh-robustness of an energy stable BDF2 scheme with variable steps for the Cahn-Hilliard model
• Analysis of the second order BDF scheme with variable steps for the molecular beam epitaxial model without slope selection
• Stability of variable-step BDF2 and BDF3 methods
• Asymptotically compatible energy of variable-step fractional BDF2 formula for time-fractional Cahn-Hilliard model
• Second-order accurate numerical scheme with graded meshes for the nonlinear partial integrodifferential equation arising from viscoelasticity
• An efficient spectral-Galerkin method for fractional reaction-diffusion equations in unbounded domains
• Arbitrarily high-order exponential cut-off methods for preserving maximum principle of parabolic equations
• A new symmetric linearly implicit exponential integrator preserving polynomial invariants or Lyapunov functions for conservative or dissipative systems