Table of Contents
Fetching ...

High-order accurate structure-preserving finite volume schemes on adaptive moving meshes for shallow water equations: Well-balancedness and positivity

Zhihao Zhang, Huazhong Tang, Kailiang Wu

TL;DR

This work develops high-order, well-balanced (WB) and positivity-preserving (PP) finite-volume schemes for the shallow water equations (SWEs) on adaptive moving structured meshes. It introduces a time-dependent curvilinear coordinate framework and decomposes the WB property into flux-source balance and mesh movement balance, achieved via hydrostatic-reconstruction fluxes, careful source-term discretization, and discretization of geometric conservation laws (GCLs). A PP analysis shows WB schemes remain PP under a sufficient limiter-driven condition, even with mesh metrics and movement, and bottom-topography updates are incorporated to maintain WB during mesh adjustments. The schemes are implemented on adaptive moving meshes, employing a monitor-function-driven Euler–Lagrange mesh adaptation functional, and validated through extensive 1D and 2D tests demonstrating fifth-order accuracy, WB, PP, and computational efficiency advantages over fixed-grid counterparts. The results indicate robust performance for perturbed lake-at-rest states, moving vortices, and complex topography, with confirmed maintenance of $h\ge 0$ and $J>0$ under the prescribed CFL constraints.

Abstract

This paper develops high-order accurate, well-balanced (WB), and positivity-preserving (PP) finite volume schemes for shallow water equations on adaptive moving structured meshes. The mesh movement poses new challenges in maintaining the WB property, which not only depends on the balance between flux gradients and source terms but is also affected by the mesh movement. To address these complexities, the WB property in curvilinear coordinates is decomposed into flux source balance and mesh movement balance. The flux source balance is achieved by suitable decomposition of the source terms, the numerical fluxes based on hydrostatic reconstruction, and appropriate discretization of the geometric conservation laws (GCLs). Concurrently, the mesh movement balance is maintained by integrating additional schemes to update the bottom topography during mesh adjustments. The proposed schemes are rigorously proven to maintain the WB property by using the discrete GCLs and these two balances. We provide rigorous analyses of the PP property under a sufficient condition enforced by a PP limiter. Due to the involvement of mesh metrics and movement, the analyses are nontrivial, while some standard techniques, such as splitting high-order schemes into convex combinations of formally first-order PP schemes, are not directly applicable. Various numerical examples validate the high-order accuracy, high efficiency, WB, and PP properties of the proposed schemes.

High-order accurate structure-preserving finite volume schemes on adaptive moving meshes for shallow water equations: Well-balancedness and positivity

TL;DR

This work develops high-order, well-balanced (WB) and positivity-preserving (PP) finite-volume schemes for the shallow water equations (SWEs) on adaptive moving structured meshes. It introduces a time-dependent curvilinear coordinate framework and decomposes the WB property into flux-source balance and mesh movement balance, achieved via hydrostatic-reconstruction fluxes, careful source-term discretization, and discretization of geometric conservation laws (GCLs). A PP analysis shows WB schemes remain PP under a sufficient limiter-driven condition, even with mesh metrics and movement, and bottom-topography updates are incorporated to maintain WB during mesh adjustments. The schemes are implemented on adaptive moving meshes, employing a monitor-function-driven Euler–Lagrange mesh adaptation functional, and validated through extensive 1D and 2D tests demonstrating fifth-order accuracy, WB, PP, and computational efficiency advantages over fixed-grid counterparts. The results indicate robust performance for perturbed lake-at-rest states, moving vortices, and complex topography, with confirmed maintenance of and under the prescribed CFL constraints.

Abstract

This paper develops high-order accurate, well-balanced (WB), and positivity-preserving (PP) finite volume schemes for shallow water equations on adaptive moving structured meshes. The mesh movement poses new challenges in maintaining the WB property, which not only depends on the balance between flux gradients and source terms but is also affected by the mesh movement. To address these complexities, the WB property in curvilinear coordinates is decomposed into flux source balance and mesh movement balance. The flux source balance is achieved by suitable decomposition of the source terms, the numerical fluxes based on hydrostatic reconstruction, and appropriate discretization of the geometric conservation laws (GCLs). Concurrently, the mesh movement balance is maintained by integrating additional schemes to update the bottom topography during mesh adjustments. The proposed schemes are rigorously proven to maintain the WB property by using the discrete GCLs and these two balances. We provide rigorous analyses of the PP property under a sufficient condition enforced by a PP limiter. Due to the involvement of mesh metrics and movement, the analyses are nontrivial, while some standard techniques, such as splitting high-order schemes into convex combinations of formally first-order PP schemes, are not directly applicable. Various numerical examples validate the high-order accuracy, high efficiency, WB, and PP properties of the proposed schemes.
Paper Structure (21 sections, 6 theorems, 177 equations, 13 figures, 3 tables)

This paper contains 21 sections, 6 theorems, 177 equations, 13 figures, 3 tables.

Key Result

Theorem 3.1

Consider the semi-discrete schemes eq:1D_dis_U, eq:1D_dis_J, eq:1D_dis_p, and eq:1D_dis_q with the numerical fluxes eq:1D_F_Flux and eq:1D_flux_pq. These schemes are WB, in the sense that, under the forward Euler or explicit SSP RK discretizations, when a steady state is reached at the $n$th time le the numerical solution at $t^{n+1}$ also satisfies

Figures (13)

  • Figure 1: Example \ref{['ex:1DSmooth']}. The $\ell^{1}$, $\ell^{2}$, and $\ell^{\infty}$ errors and convergence rate in $h$ obtained by the MM-SP scheme at $t=0.1$.
  • Figure 2: Example \ref{['ex:1D_WB_Test']}. Left: the mesh trajectory obtained by the MM-SP scheme, right: the bottom topography $b$ and water surface level $h+b$. Top: with the bottom topography \ref{['eq:b_Smooth']}, bottom: with the bottom topography \ref{['eq:b_dis']}. The results are obtained with $200$ mesh points at $t=1$.
  • Figure 3: Example \ref{['ex:1D_PP_Mose']}. The results obtained by using the UM-SP and MM-SP schemes.
  • Figure 4: Example \ref{['ex:1D_Pertubation_Test']}. The numerical solutions obtained by using the UM-SP and MM-SP schemes at $t=0.2$. The reference solution is obtained by using the UM-SP scheme with $1000$ mesh points. Left: the adaptive mesh obtained by the MM-SP scheme, right: the water surface level $h+b$. Top: the case of $\epsilon = 0.2$, bottom: the case of $\epsilon = 0.001$.
  • Figure 5: Example \ref{['ex:1D_Pertubation_Test']}. The results obtained by using the MM-SP scheme and MM-SP scheme with Rec-1. Left: the water surface level $h+b$, middle: the close view around $x = 0.5$, right: the close view around $x = 1.75$.
  • ...and 8 more figures

Theorems & Definitions (29)

  • Remark 1
  • Remark 2
  • Remark 3
  • Remark 4: 1D PP limiter
  • Theorem 3.1
  • proof
  • Theorem 3.2
  • proof
  • Remark 5
  • Theorem 3.3
  • ...and 19 more