pith. sign in

arxiv: 2606.31931 · v1 · pith:U3A3CZ4Inew · submitted 2026-06-30 · 🧮 math.NA · cs.NA

Hidden Accuracy and Superconvergence Analysis of Central Discontinuous Galerkin Methods on Overlapping Meshes

Manting Peng , Kailiang Wu This is my paper

Pith reviewed 2026-07-01 03:39 UTC · model grok-4.3

classification 🧮 math.NA cs.NA
keywords central discontinuous Galerkinsuperconvergenceoverlapping mesheshyperbolic equationsprojection-correctionRunge-Kuttaerror cancellationcell-average accuracy
0
0 comments X

The pith

Central discontinuous Galerkin methods on overlapping meshes achieve proven O(h^{k+2}) pointwise superconvergence.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes the first rigorous superconvergence theory for semidiscrete and fully discrete central discontinuous Galerkin methods for linear hyperbolic equations on overlapping meshes. Earlier results had established optimal L2 convergence on uniform Cartesian meshes, yet the observed O(h^{k+2}) pointwise superconvergence remained unproven because the overlapping structure removes standard single-mesh Galerkin orthogonality. The authors introduce a projection-correction framework that locates an asymptotic weak residual cancellation in one dimension and a high-order cancellation-by-aggregation mechanism in multiple dimensions. This recovers the necessary error-cancellation properties and yields both the conjectured pointwise rate in the discrete infinity norm and a stronger cell-average rate of O(h^{min{2k+1,k+3}}) under corrected initialization. The theory carries over to explicit Runge-Kutta time discretizations while preserving the spatial rates up to temporal truncation.

Core claim

The projection-correction framework overcomes the absence of standard Galerkin orthogonality by identifying an asymptotic weak residual cancellation in one dimension and a high-order cancellation-by-aggregation mechanism in multiple dimensions; these mechanisms recover the error-cancellation properties needed to prove the conjectured O(h^{k+2}) pointwise superconvergence in the discrete l^infty norm at all superconvergent points, together with a stronger cell-average superconvergence of order O(h^{min{2k+1,k+3}}) under systematically corrected initialization, and the same spatial rates are preserved for fully discrete Runge-Kutta schemes up to temporal errors.

What carries the argument

The projection-correction framework, which constructs corrected projections to expose asymptotic weak residual cancellation (one dimension) and high-order cancellation-by-aggregation (multiple dimensions) that restore error cancellation lost in the overlapping-mesh variational form.

If this is right

  • The conjectured O(h^{k+2}) pointwise superconvergence holds in the discrete l^infty norm across all superconvergent points.
  • Under systematically corrected initialization the cell-average error reaches the stronger order O(h^{min{2k+1,k+3}}).
  • Spatial superconvergence is preserved for fully discrete explicit Runge-Kutta CDG schemes up to temporal truncation errors.
  • A stable reconstruction-based postprocessing estimate is obtained from the stagewise corrected errors.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same cancellation analysis could be tested on other discontinuous Galerkin variants that employ non-standard mesh overlaps.
  • The cell-average superconvergence may translate into improved long-time conservation accuracy for systems of conservation laws.
  • The framework supplies a template for proving hidden accuracies on meshes that break classical orthogonality relations.

Load-bearing premise

The projection-correction framework successfully identifies an asymptotic weak residual cancellation that recovers the error-cancellation properties lost due to the overlapping-mesh structure.

What would settle it

A numerical computation on a uniform overlapping mesh for the linear advection equation in which the pointwise errors at the predicted superconvergent locations fail to attain order k+2 would falsify the central claim.

read the original abstract

This paper establishes the first rigorous superconvergence theory for semidiscrete and fully discrete central discontinuous Galerkin (CDG) methods for linear hyperbolic equations on overlapping meshes. While the optimal $L^2$ convergence of $\mathbb{Q}^k$ CDG schemes was established on uniform Cartesian meshes by Liu, Shu, and Zhang [ SIAM J. Numer. Anal.}, 56 (2018), pp. 520--541], their observed $\mathcal{O}(h^{k+2})$ pointwise superconvergence has remained unproven, due to the loss of standard single-mesh Galerkin orthogonality inherent in the CDG overlapping structure. To overcome this fundamental barrier, we introduce a projection-correction framework that identifies a hidden superconvergent mechanism: an asymptotic weak residual cancellation in one dimension, and a high-order cancellation-by-aggregation (HOCA) mechanism in multiple dimensions. This HOCA approach overcomes the analytical challenge posed by coupled primal-dual directional residuals, recovering critical error cancellation properties absent from the standard variational formulation. Consequently, we provide the rigorous proof of the conjectured $\mathcal{O}(h^{k+2})$ pointwise superconvergence in the discrete $\ell^{\infty}$ norm across all superconvergent points. Furthermore, we reveal that under a systematically corrected initialization, this framework yields a previously undiscovered, stronger cell-average superconvergence estimate of order $\mathcal{O}(h^{\min\{2k+1,k+3\}})$. The theory is extended to fully discrete explicit Runge--Kutta CDG schemes, where stagewise corrected errors are constructed to preserve spatial superconvergence up to temporal truncation errors, yielding a stable reconstruction-based postprocessing estimate. Numerical experiments in one and two spatial dimensions confirm the sharpness of the theoretical rates.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes the first rigorous superconvergence theory for semidiscrete and fully discrete central discontinuous Galerkin (CDG) methods for linear hyperbolic equations on overlapping meshes. It introduces a projection-correction framework to prove the conjectured O(h^{k+2}) pointwise superconvergence in the discrete ℓ^∞ norm and a stronger cell-average superconvergence of O(h^{min{2k+1,k+3}}) under corrected initialization, extending to Runge-Kutta time discretizations with supporting numerical experiments.

Significance. If the results hold, this work is significant as it resolves an open conjecture on superconvergence for CDG methods on overlapping meshes by developing new analytical tools (asymptotic weak residual cancellation and HOCA mechanism) that recover error cancellation properties. The provision of rigorous proofs and numerical confirmation strengthens the contribution to numerical analysis of hyperbolic PDEs.

minor comments (2)
  1. [Abstract] Abstract: the phrase 'systematically corrected initialization' is introduced without a forward reference to the section where the correction procedure is defined; adding such a pointer would improve readability for readers following the cell-average result.
  2. [Introduction / mechanism description] The description of the HOCA mechanism (mentioned in the abstract) should include an explicit statement of the mesh assumptions (uniform Cartesian overlapping) under which the aggregation cancellation holds, to avoid any ambiguity when the result is cited.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of our manuscript, including the recognition of the new projection-correction framework and the resolution of the open conjecture on O(h^{k+2}) pointwise superconvergence for CDG methods. We appreciate the recommendation for minor revision and will incorporate any suggested clarifications or minor improvements in the revised version.

Circularity Check

0 steps flagged

No significant circularity identified in the derivation chain

full rationale

The paper introduces an independent projection-correction framework and the HOCA mechanism to establish superconvergence rates for CDG methods on overlapping meshes. The key estimates follow from constructed corrected projections and asymptotic cancellation properties derived within the paper, without reducing to fitted parameters, self-citations, or prior ansatzes by the same authors. The cited L2 convergence result is from unrelated authors (Liu, Shu, Zhang), providing external support rather than a load-bearing self-reference. The derivation chain is self-contained against the stated assumptions on uniform Cartesian meshes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on standard approximation properties of polynomial projections in DG spaces and basic stability of Runge-Kutta methods; the new HOCA mechanism is an analytical device introduced here rather than an external axiom.

axioms (1)
  • standard math Standard approximation and stability properties of projection operators onto polynomial spaces in discontinuous Galerkin methods
    Invoked throughout the projection-correction framework to control error terms.
invented entities (1)
  • High-order cancellation-by-aggregation (HOCA) mechanism no independent evidence
    purpose: To recover error cancellation from coupled directional residuals on overlapping meshes
    New analytical construct introduced in the paper; no independent falsifiable evidence supplied beyond the proof itself.

pith-pipeline@v0.9.1-grok · 5865 in / 1449 out tokens · 52052 ms · 2026-07-01T03:39:06.959628+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references

  1. [1]

    Adjerid, K

    S. Adjerid, K. D. Devine, J. E. Flaherty, and L. Krivodonova,A posteriori error estimation for discontinuous Galerkin solutions of hyperbolic problems, Comput. Methods Appl. Mech. Eng., 191 (2002), pp. 1097–1112

    2002

  2. [2]

    Adjerid and T

    S. Adjerid and T. C. Massey,Superconvergence of discontinuous Galerkin solutions for a nonlinear scalar hyperbolic problem, Comput. Methods Appl. Mech. Eng., 195 (2006), pp. 3331–3346

    2006

  3. [3]

    Biswas, K

    R. Biswas, K. D. Devine, and J. E. Flaherty,Parallel, adaptive finite element methods for conservation laws, Appl. Numer. Math., 14 (1994), pp. 255–283

    1994

  4. [4]

    W. Cao, D. Li, Y. Yang, and Z. Zhang,Superconvergence of discontinuous Galerkin methods based on upwind-biased fluxes for 1D linear hyperbolic equations, ESAIM: Math. Model. Numer. Anal., 51 (2017), pp. 467–486

    2017

  5. [5]

    W. Cao, H. Liu, and Z. Zhang,Superconvergence of the direct discontinuous Galerkin method for convection-diffusion equations, Numer. Methods Partial Differ. Equ, 33 (2017), pp. 290–317

    2017

  6. [6]

    Cao, C.-W

    W. Cao, C.-W. Shu, Y. Yang, and Z. Zhang,Superconvergence of discontinuous Galerkin methods for two-dimensional hyperbolic equations, SIAM J. Numer. Anal., 53 (2015), pp. 1651–1671

    2015

  7. [7]

    Cao, C.-W

    W. Cao, C.-W. Shu, Y. Yang, and Z. Zhang,Superconvergence of discontinuous Galerkin method for scalar nonlinear hyperbolic equations, SIAM J. Numer. Anal., 56 (2018), pp. 732–765

    2018

  8. [8]

    W. Cao, Z. Zhang, and Q. Zou,Superconvergence of discontinuous Galerkin methods for linear hyperbolic equations, SIAM J. Numer. Anal., 52 (2014), pp. 2555–2573

    2014

  9. [9]

    A. Chen, Y. Cheng, Y. Liu, and M. Zhang,Superconvergence of ultra-weak discontinuous Galerkin methods for the linear Schrödinger equation in one dimension, J. Sci. Comput., 82 (2020), p. 22

    2020

  10. [10]

    Cheng and C.-W

    Y. Cheng and C.-W. Shu,Superconvergence and time evolution of discontinuous Galerkin finite element solutions, J. Comput. Phys., 227 (2008), pp. 9612–9627. 36

    2008

  11. [11]

    Cheng and C.-W

    Y. Cheng and C.-W. Shu,Superconvergence of discontinuous Galerkin and local discontinuous Galerkin schemes for linear hyperbolic and convection-diffusion equations in one space dimension, SIAM J. Numer. Anal., 47 (2010), pp. 4044–4072

    2010

  12. [12]

    Cockburn, G

    B. Cockburn, G. Fu, and F. Sayas,Superconvergence by M-decompositions. Part I: General theory for HDG methods for diffusion, Mathematics of Computation, 86 (2017), pp. 1609–1641

    2017

  13. [13]

    Cockburn, S.-Y

    B. Cockburn, S.-Y. Lin, and C.-W. Shu,TVB Runge–Kutta local projection discontinuous Galerkin finite element method for conservation laws III: One-dimensional systems, J. Comput. Phys., 84 (1989), pp. 90–113

    1989

  14. [14]

    Cockburn, M

    B. Cockburn, M. Luskin, C.-W. Shu, and E. Süli,Enhanced accuracy by post-processing for finite element methods for hyperbolic equations, Math. Comp., 72 (2003), pp. 577–606

    2003

  15. [15]

    Cockburn and C.-W

    B. Cockburn and C.-W. Shu,The Runge–Kutta discontinuous Galerkin method for conservation laws V: Multidimensional systems, J. Comput. Phys., 141 (1998), pp. 199–224

    1998

  16. [16]

    Cockburn and C.-W

    B. Cockburn and C.-W. Shu,Runge–Kutta discontinuous Galerkin methods for convection- dominated problems, J. Sci. Comput., 16 (2001), pp. 173–261

    2001

  17. [17]

    Ding and K

    S. Ding and K. Wu,GQL-based bound-preserving and locally divergence-free central discontinuous Galerkin schemes for relativistic magnetohydrodynamics, Journal of Computational Physics, 514 (2024), p. 113208

    2024

  18. [18]

    Gottlieb,On high order strong stability preserving Runge–Kutta and multi step time dis- cretizations, J

    S. Gottlieb,On high order strong stability preserving Runge–Kutta and multi step time dis- cretizations, J. Sci. Comput., 25 (2005), pp. 105–128

    2005

  19. [19]

    M. Jiao, Y. Jiang, C.-W. Shu, and M. Zhang,Optimal error estimates to smooth solutions of the central discontinuous Galerkin methods for nonlinear scalar conservation laws, ESAIM: Math. Model. Numer. Anal., 56 (2022), pp. 1401–1435

    2022

  20. [20]

    F. Li, L. Xu, and S. Yakovlev,Central discontinuous Galerkin methods for ideal MHD equations with the exactly divergence-free magnetic field, J. Comput. Phys., 230 (2011), pp. 4828–4847

    2011

  21. [21]

    Liu, C.-W

    Y. Liu, C.-W. Shu, E. Tadmor, and M. Zhang,Central discontinuous Galerkin methods on overlapping cells with a nonoscillatory hierarchical reconstruction, SIAM J. Numer. Anal., 45 (2007), pp. 2442–2467

    2007

  22. [22]

    Liu, C.-W

    Y. Liu, C.-W. Shu, E. Tadmor, and M. Zhang,L2 stability analysis of the central discontinuous Galerkin method and a comparison between the central and regular discontinuous Galerkin methods, ESAIM: Math. Model. Numer. Anal., 42 (2008), pp. 593–607

    2008

  23. [23]

    Liu, C.-W

    Y. Liu, C.-W. Shu, and M. Zhang,Optimal error estimates of the semidiscrete central discontinuous Galerkin methods for linear hyperbolic equations, SIAM J. Numer. Anal., 56 (2018), pp. 520–541

    2018

  24. [24]

    J. Lu, Y. Liu, and C.-W. Shu,An oscillation-free discontinuous Galerkin method for scalar hyperbolic conservation laws, SIAM J. Numer. Anal., 59 (2021), pp. 1299–1324. 37

    2021

  25. [25]

    Meng, C.-W

    X. Meng, C.-W. Shu, Q. Zhang, and B. Wu,Superconvergence of discontinuous Galerkin methods for scalar nonlinear conservation laws in one space dimension, SIAM J. Numer. Anal., 50 (2012), pp. 2336–2356. [26]M. Peng, Z. Sun, and K. Wu,OEDG: Oscillation-eliminating discontinuous Galerkin method for hyperbolic conservation laws, Math. Comp., 94 (2025), pp. 1147–1198

    2012

  26. [26]

    M. Peng, K. Wu, and C. Yuan,Oscillation-eliminating central DG schemes for hyperbolic conservation laws, SIAM J. Sci. Comput., in press (2025)

    2025

  27. [27]

    K. Wu, H. Jiang, and C.-W. Shu,Provably positive central discontinuous Galerkin schemes via geometric quasilinearization for ideal MHD equations, SIAM J. Numer. Anal., 61 (2023), pp. 250–285

    2023

  28. [28]

    Wu and H

    K. Wu and H. Tang,Physical-constraint-preserving central discontinuous Galerkin methods for special relativistic hydrodynamics with a general equation of state, The Astrophysical Journal Supplement Series, 228 (2017), p. 3

    2017

  29. [29]

    Xie and Z

    Z. Xie and Z. Zhang,Uniform superconvergence analysis of the discontinuous Galerkin method for a singularly perturbed problem in 1-D, Math. Comp., 79 (2010), pp. 35–45

    2010

  30. [30]

    Y. Xu, X. Meng, C.-W. Shu, and Q. Zhang,Superconvergence analysis of the Runge–Kutta discontinuous Galerkin methods for a linear hyperbolic equation, J. Sci. Comput., 84 (2020), p. 23

    2020

  31. [31]

    Xu and Q

    Y. Xu and Q. Zhang,Superconvergence analysis of the Runge–Kutta discontinuous Galerkin method with upwind-biased numerical flux for two-dimensional linear hyperbolic equation, Commun. Appl. Math. Comput., 4 (2022), pp. 319–352

    2022

  32. [32]

    Yang and C.-W

    Y. Yang and C.-W. Shu,Analysis of optimal superconvergence of discontinuous Galerkin method for linear hyperbolic equations, SIAM J. Numer. Anal., 50 (2012), pp. 3110–3133

    2012

  33. [33]

    Zhang, Z

    Z. Zhang, Z. Xie, and Z. Zhang,Superconvergence of discontinuous Galerkin methods for convection-diffusion problems, J. Sci. Comput., 41 (2009), pp. 70–93. 38

    2009