Abstract
We perform a comparative accuracy study of the Rusanov, CABARETM, and WENO5 difference schemes used to compute the dam break problem for shallow water theory equations. We demonstrate that all three schemes have the first order of convergence inside the region occupied by a centered rarefaction wave, and the Rusanov scheme has the second order of convergence in the area of constant flow between the shock and the rarefaction wave, while in the CABARETM and WENO5 schemes there is no local convergence in this area. This is due to the fact that the numerical solutions obtained by the CABARETM and WENO5 schemes have undamped oscillations in the region of influence of the shock, the amplitude of which does not decrease with decreasing of the difference grid steps. As a result, taking into account the Lax-Wendroff theorem, the numerical solutions obtained by the conservative schemes CABARETM and WENO5 converge only weakly to the exact constant solution in the region of influence of the shock wave, in contrast to the Rusanov scheme, which locally converges with the second order to the exact solution in this region.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1. In [1], which is well known in the context of Riemann solvers, Godunov introduced the concept of a monotone finite-difference scheme and showed that there are no monotone high-order accurate schemes among the linear two-layer-in-time ones. Further development of the theory of finite-difference shock-capturing schemes for hyperbolic systems of conservation laws was aimed, to a large degree, at overcoming this Godunov order barrier. As a result, various classes of difference schemes were developed in which a high order of accuracy for smooth solutions and monotonicity (in the case of a linear system and a scalar conservation law) are reached via nonlinear flux correction, which leads to the nonlinearity of these schemes even in the case of the linear transport equation. The basic classes of these schemes, which we called NFC (Nonlinear Flux Correction) schemes, include MUSCL [2], WENO [3], DG [4], and CABARET [5] schemes. The main advantage of these schemes is that they localize shock waves with high accuracy and do not generate considerable spurious oscillations.
It was shown that NFC schemes have at most the first order of both local convergence in regions of influence of shock waves [6, 7] and integral convergence on intervals with one of the boundaries lying in a region of shock wave influence [8–10]. At the same time, some high-order accurate nonmonotone schemes having analytic functions of numerical fluxes and, hence, approximating the Rankine–Hugoniot ε-conditions with higher accuracy preserve the high order of convergence in negative norm in integration over domains containing strong discontinuities [8]. As a result, these nonmonotone schemes, in contrast to NFC ones, preserve the high order of convergence in regions of shock influence despite the noticeable spurious oscillations on their fronts.
In this context, a method was proposed in [11] for constructing combined finite-difference shock-capturing schemes that combine the advantages of NFC and classical nonmonotone schemes. Namely, they localize shock fronts with high accuracy, while preserving the high order of convergence in regions of their influence. A combined finite-difference scheme makes use of a nonmonotone basic scheme having a higher order of convergence in regions of influence of shock waves. The basic scheme is used to construct a difference solution in the entire computational domain. In high-gradient regions, where this solution exhibits spurious oscillations, it is corrected by numerically solving internal initial-boundary value problems with the use of an NFC scheme. In [11] the Rusanov scheme [12] of third order of classical approximation was used as a basic and a monotone modification of CABARET [5] of second-order accuracy for smooth solutions was used as an internal NFC scheme. This modification of the CABARET scheme was studied in [10] and, in what follows, we refer to it as CABARETM.
A potential shortcoming of a combined scheme is that the oscillations arising at the shock front in the nonmonotone basic scheme can propagate over time into smooth parts of the computed exact solution (primarily, into the region of shock wave influence), so the computational domain for the internal NFC scheme gradually expands and the efficiency of the combined scheme degrades. However, an opposite situation actually takes place. It was revealed in [13] in the numerical solution of the classical Shu–Osher problem [14] by applying a DG-based NFC scheme [4] that the numerical solution does not converge locally to the exact solution behind the front of a shock wave propagating against the entropy perturbation background. This result is explained by arising numerical oscillations whose amplitude ceases to reduce with decreasing spatial step, starting with a sufficiently small value of the latter.
In this paper, we show that a similar difficulty arises in computing shock waves by applying other NFC schemes. Specifically, in the dam break problem for the shallow water equations, the numerical solution produced by the nonmonotone Rusanov scheme [12], despite the noticeable oscillations at the shock wave, converges monotonically to the exact solution with the second order in the region of shock influence. At the same time, the numerical solutions of this problem produced by the NFC schemes CABARETM [10] and WENO5 [3] exhibit undamped oscillations in the constant-flow domain between the shock wave and the centered rarefaction wave. As a result, these solutions do not converge locally in the region of shock wave influence.
2. In the case of a rectangular horizontal channel without bottom friction, the system of conservation laws of shallow water theory in the first approximation can be written in vector form as
here,
where H(x, t) is the fluid depth, \(q(x,t)\) is the flow rate of the fluid, and g = 9.81 is the acceleration of gravity. For system (1), (2), we consider the dam break problem, i.e., the Riemann problem with the following piecewise constant initial data:
The solution of this problem consists of a shock wave propagating at the constant speed D = 6.64 and a centered depression wave with a constant flow region in between. A numerical solution of problem (1)–(3) is constructed on a uniform rectangular grid \({{x}_{j}} = jh\), \({{t}_{n}} = n\tau (h)\) with the time step \(\tau (h)\) determined by the Courant stability condition
where \({{\lambda }_{ \pm }} = q{\text{/}}H \pm \sqrt {gH} \) are the velocities of the characteristics in system (1), (2); \({\mathbf{u}}(x,t)\) is the exact solution of problem (1)–(3); and z = 0.45 is the safety factor.
Figures 1 and 2 show the numerical results for problem (1)–(3) produced by the Rusanov [12], CABARETM [10], and WENO5 [3] schemes at the time T = 1. In Fig. 1a, the exact solution for the fluid depth is compared with the numerical solution obtained on a grid with the spatial step h = 0.36. It can be seen that the Rusanov nonmonotone scheme exhibits spurious oscillations at the shock front, whereas the NFC schemes CABARETM and WENO5 do not. Moreover, the shock wave and the weak discontinuities at the boundaries of the centered depression wave in CABARETM are smeared significantly less than in the Rusanov and WENO5 schemes.
Figure 1b presents the orders of local convergence of the difference solutions computed using the Runge formula
and corrected with the help of the limiter function
where \({{x}_{j}}(h) = jh\), \(T = N\tau (h)\), N is a positive integer, and \({{{\mathbf{v}}}_{h}}\) and \({{{\mathbf{v}}}_{{h/3}}}\) are the numerical solutions obtained on grids with spatial steps h and h/3, respectively. The orders of convergence ρj were computed on the basis grid with \(h = 0.009\) and are shown in Fig. 1b for every 40th spatial grid node \(j = 40i\). Figure 1b shows that all three schemes have the first order of convergence within the centered depression wave. In the constant-flow domain between the shock and the depression wave, the Rusanov scheme has the second order of convergence, while the values of \({{\rho }_{j}}\) based on formulas (5), (6) for CABARETM and WENO5 strongly oscillate, so the order of local convergence of these schemes in the region of shock influence is uncertain.
To explain these results, we performed a series of test computations on a sequence of refined grids. It was found that the difference solution produced by the Rusanov scheme is monotone (with respect to both fluid depth and the flow rate) in the region of shock influence outside some neighborhoods of the shock front and the weak discontinuity at the right boundary of the depression wave, where the difference solution converges with the second order to the exact constant one. At the same time, the difference solutions based on the NFC schemes CABARETM and WENO5 exhibit undamped oscillations in the region of shock influence, and the oscillation structure depends on the value of the parameter z involved in stability condition (4). Figure 2a shows that, for z = 0.45 on the interval [3.2, 4.2], which lies within the region of shock influence, CABARETM exhibits numerical oscillations with roughly identical amplitudes for the spatial steps \({{h}_{1}} = h,\) \({{h}_{2}} = h{\text{/}}3,\) and \({{h}_{3}} = h{\text{/}}9\), where \(h = 0.009\), while the wave length is reduced roughly by a factor of three in the transition from hi to \({{h}_{{i + 1}}}\), i.e., it is proportional to \({{h}_{{i + 1}}}{\text{/}}{{h}_{i}}\). Figure 2b demonstrates a similar result for the numerical solutions produced by WENO5 on the interval [3.6, 4.6]. An analogous behavior of oscillations in the region of shock influence was obtained in [13] in the case of the DG method [4] applied to the Shu–Osher problem [14]. Figure 2 also shows that the amplitude of the oscillations obtained using CABARETM is about tenfold larger than in the case of WENO5, while the length of the oscillation waves is nearly identical for both schemes for a fixed spatial step hi.
Thus, the following general tendency is observed: the difference solutions produced by the NFC schemes may not exhibit local convergence to the exact solution in the regions of shock wave influence. In this case, in view of the Lax–Wendroff theorem [15], the limiting discontinuous solutions of the conservative NFC schemes are only weak solutions of the approximated system of conservation laws in the regions of shock wave influence.
Change history
27 December 2022
An Erratum to this paper has been published: https://doi.org/10.1134/S106456242207002X
REFERENCES
S. K. Godunov, “A difference method for numerical calculation of discontinuous solutions of the equations of hydrodynamics,” Mat. Sb. 47 (3), 271–306 (1959).
B. Van Leer, “Toward the ultimate conservative difference scheme: V. A second-order sequel to Godunov’s method,” J. Comput. Phys. 32 (1), 101–136 (1979). https://doi.org/10.1016/0021-9991(79)90145-1
G. S. Jiang and C. W. Shu, “Efficient implementation of weighted ENO schemes,” J. Comput. Phys. 126, 202–228 (1996). https://doi.org/10.1006/jcph.1996.0130
B. Cockburn, “An introduction to the discontinuous Galerkin method for convection-dominated problems, advanced numerical approximation of nonlinear hyperbolic equations,” Lect. Notes Math. 1697, 151–268 (1998). https://doi.org/10.1007/BFb0096353
S. A. Karabasov and V. M. Goloviznin, “Compact accurately boundary-adjusting high-resolution technique for fluid dynamics,” J. Comput. Phys. 228, 7426–7451 (2009). https://doi.org/10.1016/j.jcp.2009.06.037
V. V. Ostapenko, “Convergence of finite-difference schemes behind a shock front,” Comput. Math. Math. Phys. 37 (10), 1161–1172 (1997).
J. Casper and M. H. Carpenter, “Computational consideration for the simulation of shock-induced sound,” SIAM J. Sci. Comput. 19 (1), 813–828 (1998).
O. A. Kovyrkina and V. V. Ostapenko, “On the convergence of shock-capturing difference schemes,” Dokl. Math. 82 (1), 599–603 (2010). https://doi.org/10.1134/S1064562410040265
N. A. Mikhailov, “The convergence order of WENO schemes behind a shock front,” Math. Models Comput. Simul. 7 (5), 467–474 (2015). https://doi.org/10.1134/S2070048215050075
O. A. Kovyrkina and V. V. Ostapenko, “On the monotonicity and accuracy of the CABARET scheme as applied to the computation of weak solutions with shock waves,” Vychisl. Tekhnol. 23 (2), 37–54 (2018).
N. A. Zyuzina, O. A. Kovyrkina, and V. V. Ostapenko, “Monotone finite-difference scheme preserving high accuracy in regions of shock influence,” Dokl. Math. 98 (2), 506–510 (2018). https://doi.org/10.1134/S1064562418060315
V. V. Rusanov, “Third-order accurate shock-capturing schemes for computing discontinuous solutions,” Dokl. Akad. Nauk SSSR 180 (6), 1303–1305 (1968).
M. E. Ladonkina, O. A. Neklyudova, and V. F. Tishkin, “Solution of fluid dynamics problems by applying the Galerkin method with discontinuous basis functions,” Abstracts of Papers of the International Conference on Modern Problems in Applied Mathematics and Computer Science (Dubna, 2012), pp. 20–23.
C. W. Shu and S. Osher, “Efficient implementation of essentially non-oscillatory shock-capturing schemes,” J. Comput. Phys. 83 (1), 32–78 (1989).
P. Lax and B. Wendroff, “Systems of conservation laws,” Commun. Pure Appl. Math. 13, 217–237 (1960).
Funding
The reported study was funded in part by the Russian Foundation for Basic Research and the National Natural Science Foundation of China (project no. 21-51-53012) and by the Russian Science Foundation (project no. 21-11-00198).
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
The authors declare that they have no conflicts of interest.
Additional information
Translated by I. Ruzanova
The original online version of this article was revised: Due to a retrospective Open Access order.
Rights and permissions
Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kovyrkina, O.A., Ostapenko, V.V. & Tishkin, V.F. On Convergence of Finite-Difference Shock-Capturing Schemes in Regions of Shock Waves Influence. Dokl. Math. 105, 171–174 (2022). https://doi.org/10.1134/S1064562422030048
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064562422030048