High-order positivity-preserving well-balanced schemes: combining flux globalization with modified Patankar deferred correction methods

Both the second-order and fifth-order schemes presented in this section are NOT positivity preserving. We discuss the adjustments to ensure positivity spatially in §?.

(Division by a small c_\alpha) In the case that c_\alpha is zero or near zero, the divisions within the mass matrix in (?) cause it to become ill-conditioned. Hence, to avoid this division by a small quantity, we follow the suggestion of, e.g., [torlo2020] and apply a desingularization; for numerator n and denominator d we take

This ensures numerical stability while preserving the physical behavior; see, e.g., [ciallella2022] for more details.

For the SW system (?), we only apply mPDeC to the h evolution. It is physically realistic that the quantity q becomes negative from positive values; thus, q is evolved numerically with the classical DeC.

In one spatial dimension, (?) results in the mass matrix \mathbb M in equation (?) being a tri-diagonal matrix, barring boundary conditions. In this work, we consider zero-extrapolation, Dirichlet, and periodic boundary conditions; of which, only periodic conditions result in a non-tri-diagonal matrix. In the case where \mathbb M is tri-diagonal, we solve the system with Thomas algorithm. In the periodic case, the resulting mass matrix is tri-diagonal with the off-diagonal corners being non-zero. In this case, we use a Sherman-Morrison decomposition of the matrix \mathbb M to obtain the solution to \mathbb M \bm c^{\ell, (m)} = \bm c^n explicitly via two separate tri-diagonal solves.

Although we use the Zhang-Shu limiter to spatially ensure positivity, the use of the linearly implicit mPDeC for the time evolution of h allows us to forego its additional strong CFL restriction. In practice, we run the simulations with classical explicit CFL due to the stability of the underlying FD method.