Implicit-explicit BDF $k$ SAV schemes for general dissipative systems and their error analysis

TL;DR

This paper develops and analyzes high-order implicit-explicit BDF SAV schemes for dissipative systems, proving their unconditional stability and providing rigorous error estimates, supported by numerical validation.

Contribution

The paper introduces a unified framework for high-order BDF SAV schemes for dissipative systems, including stability proof and error analysis for multiple equations types.

Findings

Unconditionally stable schemes for dissipative systems.

Rigorous error bounds for orders 1 to 5.

Numerical results confirm theoretical convergence rates.

Abstract

We construct efficient implicit-explicit BDF$k$ scalar auxiliary variable (SAV) schemes for general dissipative systems. We show that these schemes are unconditionally stable, and lead to a uniform bound of the numerical solution in the norm based on the principal linear operator in the energy. Based on this uniform bound, we carry out a rigorous error analysis for the $k$th-order $(k=1,2,3,4,5)$ SAV schemes in a unified form for a class of typical Allen-Cahn type and Cahn-Hilliard type equations. We also present numerical results confirming our theoretical convergence rates.