Guaranteed lower bounds on eigenvalues of elliptic operators with a hybrid high-order method

This paper introduces a novel hybrid high-order (HHO) method to approximate the eigenvalues of a symmetric compact differential operator. The HHO method combines two gradient reconstruction operators by means of a parameter $$0<\alpha <~1$$ 0 < α < 1 and introduces a novel cell-based stabilization operator weighted by a parameter $$0<\beta <\infty $$ 0 < β < ∞ . Sufficient conditions on the parameters $$\alpha $$ α and $$\beta $$ β are identified leading to a guaranteed lower bound property for the discrete eigenvalues. Moreover optimal convergence rates are established. Numerical studies for the Dirichlet eigenvalue problem of the Laplacian provide evidence for the superiority of the new lower eigenvalue bounds compared to previously available bounds.

[1]  Carsten Carstensen,et al.  Axioms of adaptivity , 2013, Comput. Math. Appl..

[2]  J. Guermond,et al.  Theory and practice of finite elements , 2004 .

[3]  A. Ern,et al.  Mathematical Aspects of Discontinuous Galerkin Methods , 2011 .

[4]  L. R. Scott,et al.  The Mathematical Theory of Finite Element Methods , 1994 .

[5]  Tomás Vejchodský Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues , 2018, J. Comput. Appl. Math..

[6]  H. Weinberger,et al.  An optimal Poincaré inequality for convex domains , 1960 .

[7]  Tomás Vejchodský,et al.  Two-Sided Bounds for Eigenvalues of Differential Operators with Applications to Friedrichs, Poincaré, Trace, and Similar Constants , 2013, SIAM J. Numer. Anal..

[8]  Aihui Zhou,et al.  Finite Element Methods for Eigenvalue Problems , 2016 .

[9]  Alexandre Ern,et al.  An Arbitrary-Order and Compact-Stencil Discretization of Diffusion on General Meshes Based on Local Reconstruction Operators , 2014, Comput. Methods Appl. Math..

[10]  R. Laugesen,et al.  Minimizing Neumann fundamental tones of triangles: An optimal Poincaré inequality , 2009, 0907.1552.

[11]  Morten Hjorth-Jensen Eigenvalue Problems , 2021, Explorations in Numerical Analysis.

[12]  B. M. Fulk MATH , 1992 .

[13]  Dietrich Braess,et al.  Finite Elemente - Theorie, schnelle Löser und Anwendungen in der Elastizitätstheorie , 1992 .

[14]  Carsten Carstensen,et al.  Fully Reliable Localized Error Control in the FEM , 1999, SIAM J. Sci. Comput..

[15]  Carsten Carstensen,et al.  Adaptive nonconforming Crouzeix-Raviart FEM for eigenvalue problems , 2014, Math. Comput..

[16]  Carsten Carstensen,et al.  Guaranteed lower bounds for eigenvalues , 2014, Math. Comput..

[17]  Sophia Blau,et al.  Analysis Of The Finite Element Method , 2016 .

[18]  B. Parlett The Symmetric Eigenvalue Problem , 1981 .

[19]  M. Bebendorf A Note on the Poincaré Inequality for Convex Domains , 2003 .

[20]  Martin Vohralík,et al.  Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework , 2018, Numerische Mathematik.

[21]  Daniele Boffi,et al.  Finite element approximation of eigenvalue problems , 2010, Acta Numerica.

[22]  Xuefeng Liu,et al.  Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape , 2012, SIAM J. Numer. Anal..

[23]  Xuefeng Liu A framework of verified eigenvalue bounds for self-adjoint differential operators , 2015, Appl. Math. Comput..

[24]  W. Gibbs,et al.  Finite element methods , 2017, Graduate Studies in Mathematics.

[25]  A. Ern,et al.  A Hybrid High-Order method for the incompressible Navier-Stokes equations based on Temam's device , 2018, J. Comput. Phys..

[26]  M. Fortin,et al.  Mixed Finite Element Methods and Applications , 2013 .

[27]  Alexandre Ern,et al.  Hybrid High-Order methods for finite deformations of hyperelastic materials , 2017, ArXiv.

[28]  Tomas Vejchodsky,et al.  Three methods for two-sided bounds of eigenvalues - a comparison , 2016 .

[29]  Shin'ichi Oishi,et al.  Guaranteed high-precision estimation for P0 interpolation constants on triangular finite elements , 2013 .

[30]  Andrew G. Glen,et al.  APPL , 2001 .

[31]  Carsten Carstensen,et al.  Guaranteed lower eigenvalue bounds for the biharmonic equation , 2014, Numerische Mathematik.

[32]  Alexandre Ern,et al.  Bridging the hybrid high-order and hybridizable discontinuous Galerkin methods , 2016 .

[33]  Harrell Smith,et al.  TRACE , 1981, The Garden in Winter and Other Poems.

[34]  Martin Vohralík,et al.  Guaranteed and Robust a Posteriori Bounds for Laplace Eigenvalues and Eigenvectors: Conforming Approximations , 2017, SIAM J. Numer. Anal..

[35]  Carsten Carstensen,et al.  Constants in Discrete Poincaré and Friedrichs Inequalities and Discrete Quasi-Interpolation , 2017, Comput. Methods Appl. Math..

[36]  Gianmarco Manzini,et al.  Discontinuous Skeletal Gradient Discretisation methods on polytopal meshes , 2017, J. Comput. Phys..

[37]  Lloyd N. Trefethen,et al.  Computed eigenmodes of planar regions , 2005 .

[38]  R. Zhang,et al.  A Skeletal Finite Element Method Can Compute Lower Eigenvalue Bounds , 2020, SIAM J. Numer. Anal..

[39]  Tobin A. Driscoll,et al.  Eigenmodes of Isospectral Drums , 1997, SIAM Rev..

[40]  Victor M. Calo,et al.  Spectral approximation of elliptic operators by the Hybrid High-Order method , 2017, Math. Comput..