Searcharxiv⌕ Search

arXiv subjects

M Nader Alhomsi

Publications and source records attributed to M Nader Alhomsi.

3 recordsLinked to original sources

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

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.

math.NA↗

A consistent-splitting generalized scalar auxiliary variable scheme for the perturbed Boussinesq system

We propose and analyze a second-order consistent-splitting scheme, based on the generalized scalar auxiliary variable (GSAV) approach, for the two-dimensional perturbed Boussinesq system. The system is obtained by subtracting a stable, linearly stratified hydrostatic equilibrium from the standard Boussinesq system. The time discretization extends the consistent-splitting generalized BDF2 framework of Huang and Shen [17] for the Navier-Stokes equations, treating the nonlinear convection and advection together with the linear buoyancy and stratification couplings explicitly, so that each time step reduces to a small number of decoupled linear systems. We prove an unconditional weak stability theorem for the GSAV scheme and derive optimal second-order error estimates for the velocity, pressure, and temperature. A careful tracing reveals that the error constant depends on the inverse viscosity and inverse thermal diffusivity through a quadruply-nested exponential, so the scheme is not robust as either tends to zero. Numerical experiments confirm the second-order convergence and reproduce the expected internal-wave dynamics and exponential relaxation toward hydrostatic balance in a long-time stratified-flow simulation.

math.NA↗

Viscosity in error upper bound for a consistent splitting scheme of the Navier-Stokes equations

This paper investigates the role of viscosity in the error upper bounds of a consistent splitting scheme for the Navier-Stokes equations proposed by Huang and Shen [5]. In their original analysis the viscosity is fixed to unity. By following and extending their proof methodology while keeping the viscosity symbolic, we obtain an H1 velocity error bound that contains negative powers of viscosity, indicating that the scheme is not robust as viscosity tends zero. To establish this bound we refine a theorem in [8] on the constant in the Stokes pressure estimate, which is crucial to the error analysis. A targeted numerical experiment based on a perturbation of the Kovasznay flow corroborates this analytical prediction: the scheme of [5] blows up at high Reynolds number, and a comparison with a fully implicit Newton solver and with the time-dependent Stokes counterpart of the same scheme localizes the failure to the explicit treatment of the convection term.

math.NA↗