A conforming DG method for the biharmonic equation on polytopal meshes

Shangyou Zhang; Xiu Ye

arxiv: 1907.10661 · v1 · pith:J5VEFBSXnew · submitted 2019-07-22 · 🧮 math.NA · cs.NA

A conforming DG method for the biharmonic equation on polytopal meshes

Xiu Ye , Shangyou Zhang This is my paper

Pith reviewed 2026-05-24 18:26 UTC · model grok-4.3

classification 🧮 math.NA cs.NA

keywords discontinuous Galerkin methodbiharmonic equationconforming finite elementpolytopal mesheserror estimatesfinite element methodfourth order equation

0 comments

The pith

A conforming discontinuous Galerkin method solves the biharmonic equation on polytopal meshes with optimal discrete H2 error estimates.

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

The paper presents a discontinuous Galerkin finite element method for the biharmonic equation that remains conforming and uses a simple formulation despite discontinuous approximations. It proves optimal order error estimates in a discrete H2 norm for the finite element solutions on polytopal meshes. L2 norm error estimates are also derived, with sub-optimal convergence for the lowest order element and optimal convergence for all higher order elements. Numerical results are shown to confirm the convergence theory.

Core claim

A conforming discontinuous Galerkin finite element method is introduced for solving the biharmonic equation. This method uses discontinuous approximations and keeps the simple formulation of the conforming finite element method at the same time. Optimal order error estimates in a discrete H2 norm are established for the corresponding finite element solutions. Error estimates in the L2 norm are also derived with a sub-optimal order of convergence for the lowest order element and an optimal order of convergence for all high order elements.

What carries the argument

The ultra simple formulation of the conforming discontinuous Galerkin method that uses discontinuous approximations on polytopal meshes while preserving conformity.

If this is right

Optimal order error estimates hold in the discrete H2 norm for all elements.
L2 norm convergence is sub-optimal for the lowest order element and optimal for higher orders.
The method applies directly to polytopal meshes without additional restrictions.
Numerical experiments confirm the theoretical convergence rates.

Where Pith is reading between the lines

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

The formulation may apply to other fourth-order elliptic equations on general meshes.
Implementation on complex geometries could benefit from the reduced programming complexity.
Extensions to three dimensions or time-dependent problems remain open for testing.

Load-bearing premise

The ultra simple formulation allows discontinuous approximations to produce the stated error estimates on polytopal meshes.

What would settle it

A numerical computation on a polytopal mesh using the lowest order element where the observed L2 convergence rate fails to match the predicted sub-optimal order would falsify the error estimates.

Figures

Figures reproduced from arXiv: 1907.10661 by Shangyou Zhang, Xiu Ye.

**Figure 7.** Figure 7 [PITH_FULL_IMAGE:figures/full_fig_p013_7.png] view at source ↗

read the original abstract

A conforming discontinuous Galerkin finite element method is introduced for solving the biharmonic equation. This method, by its name, uses discontinuous approximations and keeps simple formulation of the conforming finite element method at the same time. The ultra simple formulation of the method will reduce programming complexity in practice. Optimal order error estimates in a discrete $H^2$ norm is established for the corresponding finite element solutions. Error estimates in the $L^2$ norm are also derived with a sub-optimal order of convergence for the lowest order element and an optimal order of convergence for all high order of elements. Numerical results are presented to confirm the theory of convergence.

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.

Desk Editor's Note private letter to a colleague

This paper introduces a simple conforming DG method for the biharmonic equation on polytopal meshes, claiming optimal rates in a discrete H2 norm with mostly optimal L2 estimates.

read the letter

The main thing to know is that the authors present a conforming discontinuous Galerkin method for the biharmonic equation. It uses discontinuous approximations but sticks to a simple weak form like conforming FEM, and it targets polytopal meshes. They claim optimal error estimates in a discrete H2 norm, plus L2 estimates that are sub-optimal only for the lowest-order element and optimal for higher orders, backed by numerical results. The stress-test finds no internal inconsistencies in those claims. What is actually new is the combination of this ultra-simple formulation with polytopal meshes for a fourth-order problem. The paper does well in emphasizing practical simplicity that could reduce coding effort and in being upfront about the L2 rate limitation for the lowest order. That honesty helps. The extension to polytopal meshes also adds some flexibility for meshing. Soft spots are limited. The abstract gives little detail on the exact bilinear form or how coercivity and consistency are shown on general polytopes, so the technical strength is not fully visible here. If the full proofs are thin or rely on unstated mesh conditions, that could weaken the result, but nothing in the given material suggests a load-bearing flaw. The central argument looks like it could hold if the details check out. This work is for researchers in finite element methods for fourth-order PDEs who care about flexible meshes and simpler DG implementations. A reader already working in DG or biharmonic discretizations would get the most out of it. It has enough new formulation, analysis, and experiments to deserve a serious referee rather than a desk reject. I recommend sending it to peer review.

Referee Report

0 major / 2 minor

Summary. The paper introduces a conforming discontinuous Galerkin finite element method for the biharmonic equation on polytopal meshes. The formulation is designed to remain simple while employing discontinuous approximations. Optimal-order error estimates are established in a discrete H² norm, with L²-norm estimates also derived (sub-optimal for the lowest-order element and optimal for higher-order elements). Numerical experiments are presented to confirm the convergence theory.

Significance. If the analysis holds, the work supplies a straightforward DG scheme for a fourth-order elliptic problem that accommodates general polytopal meshes and achieves the expected rates in the energy norm. The explicit acknowledgment of the reduced L² rate for the lowest-order case avoids a common gap in such analyses. The emphasis on implementation simplicity is a practical contribution to the DG literature for higher-order PDEs.

minor comments (2)

[Abstract] Abstract: the clause 'Optimal order error estimates in a discrete H2 norm is established' has a subject-verb agreement error and should read 'are established'.
[Abstract] Abstract: the phrase 'all high order of elements' is awkward and should be revised to 'all higher-order elements'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation to accept the manuscript. The review accurately captures the contributions of the conforming DG method for the biharmonic equation on polytopal meshes, including the simplicity of the formulation, the optimal estimates in the discrete H² norm, and the L² estimates with the noted sub-optimal rate for the lowest-order case.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper constructs a new conforming DG bilinear form for the biharmonic problem on polytopal meshes and derives error estimates directly from consistency, coercivity, and approximation properties of the discrete space. No parameter is fitted to data and then relabeled as a prediction; no result is justified solely by self-citation; the method definition and the subsequent a priori analysis remain independent of the target error bounds. The sub-optimal L2 rate for the lowest-order element is stated explicitly rather than hidden. The derivation chain is therefore self-contained against standard Sobolev-space arguments and does not reduce to any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract. The work presumably relies on standard background results from finite element theory such as Sobolev space embeddings and mesh regularity, but these are not specified.

pith-pipeline@v0.9.0 · 5627 in / 1220 out tokens · 29885 ms · 2026-05-24T18:26:25.146957+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 3 internal anchors

[1]

Dong, Discontinuous Galerkin methods for the biharmonic problem on polygonal and poly- hedral meshes, Int

Z. Dong, Discontinuous Galerkin methods for the biharmonic problem on polygonal and poly- hedral meshes, Int. J. Numer. Anal. and Model., to appear

work page
[2]

Georgoulis and P

E. Georgoulis and P. Houston, Discontinuous Galerkin methods for the biharmonic problem, IMA J. Numer. Anal., 29 (2009), 573-594

work page 2009
[3]

Georgoulis, P

E. Georgoulis, P. Houston and J. Virtanen, An a posteriori error indicator for discontinuous Galerkin approximations of fourth-order elliptic problems, IMA J. Numer. Anal., 31 (2011), 281-298

work page 2011
[4]

Mozolevski, E

I. Mozolevski, E. Suli and P. Bosing, hp-version a priori error analysis of interior penalty discontinuous Galerkin ﬁnite element approximations to the biharmonic equation, J. Sci. Comput., 30 (2007), 465-491. 13 Fig. 7.2 . The ﬁrst three polygonal grids for the computation of Table 7.2. Table 7.2 Error proﬁles and convergence rates for (7.1) on polygonal...

work page 2007
[5]

Mozolevski and E

I. Mozolevski and E. Suli, A priori error analysis for the hp-version of the discontinuous Galerkin ﬁnite element method for the biharmonic equation, Comput. Methods Appl. Math., 3 (2003), 596-607

work page 2003
[6]

L. Mu, J. Wang, and X. Ye, A weak Galerkin ﬁnite element method for biharmonic equations on polytopal meshes, Numer. Meth. PDE, 30 (2014), 1003-1029

work page 2014
[7]

L. Mu, X. Wang and X. Ye, A modiﬁed weak Galerkin ﬁnite element method for the Stokes equations, J. Comput. Appl. Math., 275 (2015), 79-90

work page 2015
[8]

Suli and I

E. Suli and I. Mozolevski, hp-version interior penalty DGFEMs for the biharmonic equation, Comput. Methods Appl. Mech. Engrg., 196 (2007), 1851-1863

work page 2007
[9]

W ang and X

J. W ang and X. Ye , J. Wang and X. Ye, A Weak Galerkin mixed ﬁnite element method for second-order elliptic problems, Math. Comp., 83 (2014), 2101-2126

work page 2014
[10]

W ang and X

J. W ang and X. Ye, A weak Galerkin ﬁnite element method for second-order elliptic problems. J. Comput. Appl. Math. 241 (2013), 103-115

work page 2013
[11]

X. Wang, N. Malluwawadu, F Gao and T. McMillan, A modiﬁed weak Galerkin ﬁnite element method, J. Comput. Appl. Math., 217 (2014), 319-327

work page 2014
[12]

A conforming discontinuous Galerkin finite element method

X. Ye and S. Zhang, A conforming discontinuous Galerkin ﬁnite element method, Int. J. Numer. Anal. and Model., to appear, arXiv:1904.03331

work page internal anchor Pith review Pith/arXiv arXiv 1904
[13]

A conforming discontinuous Galerkin finite element method: Part II

X. Ye and S. Zhang, A conforming discontinuous Galerkin ﬁnite element method: Part II, arXiv:1907.01397

work page internal anchor Pith review Pith/arXiv arXiv 1907
[14]

On stabilizer-free weak Galerkin finite element methods on polytopal meshes

X. Ye and S. Zhang, A stabilizer free weak Galerkin method for the biharmonic equation on polytopal meshes, arXiv:1906.06634

work page internal anchor Pith review Pith/arXiv arXiv 1906

[1] [1]

Dong, Discontinuous Galerkin methods for the biharmonic problem on polygonal and poly- hedral meshes, Int

Z. Dong, Discontinuous Galerkin methods for the biharmonic problem on polygonal and poly- hedral meshes, Int. J. Numer. Anal. and Model., to appear

work page

[2] [2]

Georgoulis and P

E. Georgoulis and P. Houston, Discontinuous Galerkin methods for the biharmonic problem, IMA J. Numer. Anal., 29 (2009), 573-594

work page 2009

[3] [3]

Georgoulis, P

E. Georgoulis, P. Houston and J. Virtanen, An a posteriori error indicator for discontinuous Galerkin approximations of fourth-order elliptic problems, IMA J. Numer. Anal., 31 (2011), 281-298

work page 2011

[4] [4]

Mozolevski, E

I. Mozolevski, E. Suli and P. Bosing, hp-version a priori error analysis of interior penalty discontinuous Galerkin ﬁnite element approximations to the biharmonic equation, J. Sci. Comput., 30 (2007), 465-491. 13 Fig. 7.2 . The ﬁrst three polygonal grids for the computation of Table 7.2. Table 7.2 Error proﬁles and convergence rates for (7.1) on polygonal...

work page 2007

[5] [5]

Mozolevski and E

I. Mozolevski and E. Suli, A priori error analysis for the hp-version of the discontinuous Galerkin ﬁnite element method for the biharmonic equation, Comput. Methods Appl. Math., 3 (2003), 596-607

work page 2003

[6] [6]

L. Mu, J. Wang, and X. Ye, A weak Galerkin ﬁnite element method for biharmonic equations on polytopal meshes, Numer. Meth. PDE, 30 (2014), 1003-1029

work page 2014

[7] [7]

L. Mu, X. Wang and X. Ye, A modiﬁed weak Galerkin ﬁnite element method for the Stokes equations, J. Comput. Appl. Math., 275 (2015), 79-90

work page 2015

[8] [8]

Suli and I

E. Suli and I. Mozolevski, hp-version interior penalty DGFEMs for the biharmonic equation, Comput. Methods Appl. Mech. Engrg., 196 (2007), 1851-1863

work page 2007

[9] [9]

W ang and X

J. W ang and X. Ye , J. Wang and X. Ye, A Weak Galerkin mixed ﬁnite element method for second-order elliptic problems, Math. Comp., 83 (2014), 2101-2126

work page 2014

[10] [10]

W ang and X

J. W ang and X. Ye, A weak Galerkin ﬁnite element method for second-order elliptic problems. J. Comput. Appl. Math. 241 (2013), 103-115

work page 2013

[11] [11]

X. Wang, N. Malluwawadu, F Gao and T. McMillan, A modiﬁed weak Galerkin ﬁnite element method, J. Comput. Appl. Math., 217 (2014), 319-327

work page 2014

[12] [12]

A conforming discontinuous Galerkin finite element method

X. Ye and S. Zhang, A conforming discontinuous Galerkin ﬁnite element method, Int. J. Numer. Anal. and Model., to appear, arXiv:1904.03331

work page internal anchor Pith review Pith/arXiv arXiv 1904

[13] [13]

A conforming discontinuous Galerkin finite element method: Part II

X. Ye and S. Zhang, A conforming discontinuous Galerkin ﬁnite element method: Part II, arXiv:1907.01397

work page internal anchor Pith review Pith/arXiv arXiv 1907

[14] [14]

On stabilizer-free weak Galerkin finite element methods on polytopal meshes

X. Ye and S. Zhang, A stabilizer free weak Galerkin method for the biharmonic equation on polytopal meshes, arXiv:1906.06634

work page internal anchor Pith review Pith/arXiv arXiv 1906