Search arXiv⌕ Search

arXiv · 2607.23720

A spectral-vanishing-viscosity stabilization of a higher-order consistent splitting scheme for the Navier-Stokes equations

Abstract

Huang and Shen developed a novel class of high-order BDF-IMEX consistent-splitting schemes for the incompressible Navier-Stokes equations, giving the first rigorous stability and error analysis for a fully decoupled splitting scheme of temporal order higher than two. Extending their analysis from unit viscosity to arbitrary viscosity, this work reveals that the error upper bound coefficient contains inverse powers of the viscosity. Our numerical experiments show that the scheme can break down at high Reynolds number. To save the scheme from this failure, we stabilize it by adding to the velocity update a symmetric positive-semidefinite spectral vanishing viscosity operator, built from the directionally applied Maday-Kaber-Tadmor kernel, which selectively damps the high, under-resolved modes at no additional asymptotic cost and leaves the structure of the error analysis intact. We establish stability and error estimates for the stabilized scheme in which the spectral vanishing viscosity provides viscosity-independent coercive control of the high modes. Three two-dimensional tests demonstrate the robustness and accuracy of the stabilized scheme. For a manufactured solution, the stabilized scheme retains its design order for k=2,3,4, whereas the unstabilized scheme diverges. For a perturbed Kovasznay flow, it accurately resolves the boundary layer at Re=10^4 and drives the perturbation back to the steady state, while the unstabilized scheme blows up. For the Kelvin-Helmholtz instability problem, it reproduces the reference integral diagnostics throughout the reliable regime, whereas the unstabilized scheme produces spurious solutions or blows up.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

M Nader Alhomsi, Akram Moustafa, Mohammad Al-Saqqa, Jiahong Wu, Xiaoming Zheng. 2026-07-26. A spectral-vanishing-viscosity stabilization of a higher-order consistent splitting scheme for the Navier-Stokes equations. https://arxiv.org/abs/2607.23720

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Discrete normalized gradient flow for two-component Bose-Einstein condensates: Energy dissipation, global convergence and sharp local convergence behavior

The gradient flow with semi-implicit discretization (GFSI) is the most widely used algorithm for computing the ground state of Gross-Pitaevskii energy functional. We apply GFSI to the two-component scenario with Josephson junction and rotating term, which is one of the most important and topical models in multi-component Bose-Einstein condensates (MBECs), and rigorously establish the following fundamental results for the first time. By introducing a Lagrange multiplier to reformulate GFSI into an equivalent form, we prove its energy dissipation property and global convergence to stationary states. More significantly, we uncover an intrinsic connection between this classical numerical PDE discretization rooted in imaginary-time evolution and Riemannian optimization, a state-of-the-art mathematical framework for manifold-constrained optimization. This connection enables us to fully characterize the local convergence behavior of GFSI within the Riemannian optimization framework. Together with the aforementioned global convergence result, this yields a complete global--local convergence theory for GFSI. Finally, numerical experiments comprehensively validate the theoretically predicted energy dissipation and convergence properties.

math.NA↗

Discretization, Uniform-in-Time Estimations and Approximation of Invariant Measures for Nonlinear Stochastic Differential Equations with Non-Uniform Dissipativity

The approximation of invariant measures for nonlinear ergodic stochastic differential equations (SDEs) is a central problem in scientific computing, with important applications in stochastic sampling, physics, and ecology. We first propose an easily applicable explicit Truncated Euler-Maruyama (TEM) scheme and prove its numerical ergodicity in the $L^p$-Wasserstein distance ($p\geqslant 1$). Furthermore, by combining truncation techniques with the coupling method, we establish a uniform-in-time $1/2$-order convergence rate in moments for the TEM scheme. Additionally, leveraging the exponential ergodicity of both the numerical and exact solutions, we derive a $1/2$-order convergence rate for the invariant measures of the TEM scheme and the exact solution in the $L^1$-Wasserstein distance. Finally, two numerical experiments are conducted to validate our theoretical results.

math.NA↗

Barotropic-Baroclinic Splitting for Multilayer Shallow Water Models with Exchanges

This work presents the numerical analysis of a barotropic-baroclinic splitting in a nonlinear multilayer framework with exchanges between the layers in terrain-following coordinates. The splitting is formulated as an exact operator splitting. The barotropic step handles free surface evolution and depth-averaged velocity via a well-balanced one-layer model, while the baroclinic step manages vertical exchanges between layers and adjusts velocities to their mean values. We show that the barotropic-baroclinic splitting preserves total energy conservation and meets both a discrete maximum principle and a discrete entropy inequality. Several numerical experiments are presented showing the gain in computational cost, particularly in low Froude simulations, with no loss of accuracy. The benefits of using a well-balancing strategy in the barotropic step to preserve the geostrophic equilibrium are inherited in the overall scheme.

math.NA↗