Curl constraint-preserving reconstruction and the guidance it gives for mimetic scheme design

Several important PDE systems, like magnetohydrodynamics and computational electrodynamics, are known to support involutions where the divergence of a vector field evolves in divergence-free or divergence constraint-preserving fashion. Recently, new classes of PDE systems have emerged for hyperelasticity, compressible multiphase flows, so-called first order reductions of the Einstein field equations, or a novel first order hyperbolic reformulation of Schrodinger's equation, to name a few, where the involution in the PDE supports curl-free or curl constraint-preserving evolution of a vector field. Since mimetic numerical schemes for the solution of the former class of PDEs are well-developed, we draw guidance from them for the solution of the latter class of PDEs. We show that a study of the curl constraint-preserving reconstruction gives us a great deal of insight into the design of consistent, mimetic schemes for these involutionary PDEs. The importance of multidimensional Riemann solvers in facilitating the design of such schemes is also documented. We study the problem of curl constraint-preserving reconstruction as it pertains to the design of mimetic discontinuous Galerkin (DG) and finite volume (FV) schemes for PDEs that support such an involution. This is done for two and three dimensional structured mesh problems where we deliver closed form expressions for the reconstruction. The role that this reconstruction plays in the curl-free, or curl-preserving prolongation of vector fields in adaptive mesh refinement (AMR) is also discussed. In two dimensions, a von Neumann analysis of structure-preserving DG-like schemes that mimetically satisfy the curl constraints, is also presented. Numerical results are also presented to show that the schemes meet their design accuracy.

[1]  D. Balsara,et al.  Making a Synthesis of FDTD and DGTD Schemes for Computational Electromagnetics , 2020, IEEE Journal on Multiscale and Multiphysics Computational Techniques.

[2]  B. Vanleer,et al.  Towards the ultimate conservative difference scheme. IV. A new approach to numerical convection , 1977 .

[3]  Dinshaw S. Balsara,et al.  Multidimensional Riemann problem with self-similar internal structure. Part I - Application to hyperbolic conservation laws on structured meshes , 2014, J. Comput. Phys..

[4]  Dinshaw Balsara,et al.  Second-Order-accurate Schemes for Magnetohydrodynamics with Divergence-free Reconstruction , 2003, astro-ph/0308249.

[5]  Dinshaw S. Balsara,et al.  Computational electrodynamics in material media with constraint-preservation, multidimensional Riemann solvers and sub-cell resolution - Part I, second-order FVTD schemes , 2017, J. Comput. Phys..

[6]  Phillip Colella,et al.  A HIGH-ORDER FINITE-VOLUME METHOD FOR CONSERVATION LAWS ON LOCALLY REFINED GRIDS , 2011 .

[7]  C. Bona-Casas,et al.  Towards a gauge-polyvalent numerical relativity code , 2008, 0811.1691.

[8]  Chi-Wang Shu Total-variation-diminishing time discretizations , 1988 .

[9]  Nicolas Favrie,et al.  A model and numerical method for compressible flows with capillary effects , 2017, J. Comput. Phys..

[10]  V. P. Kolgan,et al.  Application of the principle of minimizing the derivative to the construction of finite-difference schemes for computing discontinuous solutions of gas dynamics , 2011, J. Comput. Phys..

[11]  P. Woodward,et al.  The Piecewise Parabolic Method (PPM) for Gas Dynamical Simulations , 1984 .

[12]  Michael Dumbser,et al.  Efficient implementation of ADER schemes for Euler and magnetohydrodynamical flows on structured meshes - Speed comparisons with Runge-Kutta methods , 2013, J. Comput. Phys..

[13]  Dinshaw S. Balsara,et al.  Globally constraint-preserving FR/DG scheme for Maxwell's equations at all orders , 2018, J. Comput. Phys..

[14]  Chi-Wang Shu,et al.  L2 Stability Analysis of the Central Discontinuous Galerkin Method and a Comparison between the Central and Regular Discontinuous Galerkin Methods , 2008 .

[15]  Dinshaw S. Balsara,et al.  Computational electrodynamics in material media with constraint-preservation, multidimensional Riemann solvers and sub-cell resolution - Part II, higher order FVTD schemes , 2018, J. Comput. Phys..

[16]  Rémi Abgrall,et al.  Multidimensional HLLC Riemann solver for unstructured meshes - With application to Euler and MHD flows , 2014, J. Comput. Phys..

[17]  Chi-Wang Shu,et al.  Monotonicity Preserving Weighted Essentially Non-oscillatory Schemes with Increasingly High Order of Accuracy , 2000 .

[18]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[19]  Chi-Wang Shu,et al.  Efficient Implementation of Weighted ENO Schemes , 1995 .

[20]  Michael Dumbser,et al.  On GLM curl cleaning for a first order reduction of the CCZ4 formulation of the Einstein field equations , 2020, J. Comput. Phys..

[21]  Dinshaw S. Balsara Divergence-free reconstruction of magnetic fields and WENO schemes for magnetohydrodynamics , 2009, J. Comput. Phys..

[22]  Michael Dumbser,et al.  A strongly hyperbolic first-order CCZ4 formulation of the Einstein equations and its solution with discontinuous Galerkin schemes , 2017 .

[23]  Michael Dumbser,et al.  A structure-preserving staggered semi-implicit finite volume scheme for continuum mechanics , 2020, J. Comput. Phys..

[24]  Michael Dumbser,et al.  High order ADER schemes for a unified first order hyperbolic formulation of continuum mechanics: Viscous heat-conducting fluids and elastic solids , 2015, J. Comput. Phys..

[25]  Dinshaw Balsara,et al.  Divergence-free adaptive mesh refinement for Magnetohydrodynamics , 2001 .

[26]  Luciano Rezzolla,et al.  Conformal and covariant formulation of the Z4 system with constraint-violation damping , 2011, 1106.2254.

[27]  Miroslav Grmela,et al.  Continuum mechanics and thermodynamics in the Hamilton and the Godunov-type formulations , 2017, Continuum Mechanics and Thermodynamics.

[28]  Mengping Zhang,et al.  An analysis of and a comparison between the discontinuous Galerkin and the spectral finite volume methods , 2005 .

[29]  Michael Dumbser,et al.  High order ADER schemes for a unified first order hyperbolic formulation of Newtonian continuum mechanics coupled with electro-dynamics , 2016, J. Comput. Phys..

[30]  Steven J. Ruuth,et al.  Non-linear evolution using optimal fourth-order strong-stability-preserving Runge-Kutta methods , 2003, Math. Comput. Simul..

[31]  Eleuterio F. Toro,et al.  Conservative Models and Numerical Methods for Compressible Two-Phase Flow , 2010, J. Sci. Comput..

[32]  Phillip Colella,et al.  A limiter for PPM that preserves accuracy at smooth extrema , 2008, J. Comput. Phys..

[33]  Michael Dumbser,et al.  A two-dimensional Riemann solver with self-similar sub-structure - Alternative formulation based on least squares projection , 2016, J. Comput. Phys..

[34]  Dinshaw S. Balsara,et al.  An efficient class of WENO schemes with adaptive order , 2016, J. Comput. Phys..

[35]  Michael Dumbser,et al.  Efficient, high accuracy ADER-WENO schemes for hydrodynamics and divergence-free magnetohydrodynamics , 2008, Journal of Computational Physics.

[36]  Jan S. Hesthaven,et al.  Numerical simulations with a first-order BSSN formulation of Einstein"s field equations , 2012, 1202.1038.

[37]  Dinshaw S. Balsara,et al.  von Neumann stability analysis of globally constraint-preserving DGTD and PNPM schemes for the Maxwell equations using multidimensional Riemann solvers , 2018, J. Comput. Phys..

[38]  Dinshaw S. Balsara,et al.  Von Neumann stability analysis of globally divergence-free RKDG schemes for the induction equation using multidimensional Riemann solvers , 2017, J. Comput. Phys..

[39]  S. Osher,et al.  Efficient implementation of essentially non-oscillatory shock-capturing schemes,II , 1989 .

[40]  Chi-Wang Shu,et al.  Strong Stability-Preserving High-Order Time Discretization Methods , 2001, SIAM Rev..

[41]  Zhiliang Xu,et al.  Divergence-Free WENO Reconstruction-Based Finite Volume Scheme for Solving Ideal MHD Equations on Triangular Meshes , 2011, 1110.0860.

[42]  Michael Dumbser,et al.  Multidimensional Riemann problem with self-similar internal structure. Part II - Application to hyperbolic conservation laws on unstructured meshes , 2015, J. Comput. Phys..

[43]  Michael Dumbser,et al.  On numerical methods for hyperbolic PDE with curl involutions , 2020, Continuum Mechanics, Applied Mathematics and Scientific Computing: Godunov's Legacy.

[44]  P. Colella,et al.  Local adaptive mesh refinement for shock hydrodynamics , 1989 .

[45]  Michael Dumbser,et al.  Divergence-free MHD on unstructured meshes using high order finite volume schemes based on multidimensional Riemann solvers , 2015, J. Comput. Phys..

[46]  Dinshaw S. Balsara,et al.  Efficient, divergence-free, high-order MHD on 3D spherical meshes with optimal geodesic meshing , 2019, Monthly Notices of the Royal Astronomical Society.

[47]  E. I. Romensky,et al.  Hyperbolic systems of thermodynamically compatible conservation laws in continuum mechanics , 1998 .

[48]  B. V. Leer,et al.  Towards the ultimate conservative difference scheme V. A second-order sequel to Godunov's method , 1979 .

[49]  S. Gavrilyuk,et al.  Extended Lagrangian approach for the defocusing nonlinear Schrödinger equation , 2018, Studies in Applied Mathematics.

[50]  Ilya Peshkov,et al.  On a pure hyperbolic alternative to the Navier-Stokes equations , 2014 .