Honglin Liao | Searcharxiv

arXiv2026

An Efficient IMEX-SDIRK2 mr-ccSAV Scheme for the Forced Navier--Stokes Equations with Uniform-in-Time Enstrophy Bounds

We propose and analyze an IMEX-SDIRK2 mean-reverting concurrent-correction scalar auxiliary variable (mr-ccSAV) method for the forced two-dimensional periodic Navier--Stokes equations in vorticity form. The viscous term is treated by Alexander's SDIRK2 method and advection explicitly. Each stage requires two elliptic solves with the same shifted Laplacian and the solution of either a cubic or a linear scalar algebraic equation. For initial vorticity in $\dot L^s(\Omega)$, $s>2$, a stage solution exists for every positive time step; uniqueness is established separately under an explicit small-step condition. The principal result is a direct, unconditional uniform-in-time enstrophy bound for arbitrary positive time steps. For persistently bounded forcing, this estimate is absorbing: the influence of the initial data decays, and the forcing contribution does not accumulate in time. Under additional regularity, uniformly bounded step sizes, and bounded neighboring step ratios, we also establish uniform-in-time $H^1$ and $H^2$ vorticity bounds without a small-step condition. For smooth solutions, the method converges optimally at second order. Numerical experiments confirm its accuracy, long-time robustness, and effectiveness of a companion embedded time-step selector.

math.NA↗

arXiv2021

A new discrete energy technique for multi-step backward difference formulas

The backward differentiation formula (BDF) is a useful family of implicit methods for the numerical integration of stiff differential equations. It is well noticed that the stability and convergence of the $A$-stable BDF1 and BDF2 schemes for parabolic equations can be directly established by using the standard discrete energy analysis. However, such classical analysis technique seems not directly applicable to the BDF-$\mathbf{k}$ schemes for $3\leq \mathbf{k}\leq 5$. To overcome the difficulty, a powerful analysis tool based on the Nevanlinna-Odeh multiplier technique [Numer. Funct. Anal. Optim., 3:377-423, 1981] was developed by Lubich et al. [IMA J. Numer. Anal., 33:1365-1385, 2013]. In this work, by using the so-called discrete orthogonal convolution kernels technique, we will recover the classical energy analysis so that the stability and convergence of the BDF-$\mathbf{k}$ schemes for $3\leq \mathbf{k}\leq 5$ can be established. One of the theoretical advantages of our analysis technique is that less spacial regularity requirement is needed on the initial data.

math.NA↗