A framework of verified eigenvalue bounds for self-adjoint differential operators

DOI10.1016/j.amc.2015.03.048zbMath1410.35088OpenAlexW2110487717MaRDI QIDQ669702

Xuefeng Liu

Publication date: 15 March 2019

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2015.03.048

zbMATH Keywords

eigenvalue boundsverified computationself-adjoint differential operatornon-conforming finite element methodquantitative error estimation

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05)

Related Items (39)

Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework ⋮ Computational Lower Bounds of the Maxwell Eigenvalues ⋮ Any three eigenvalues do not determine a triangle ⋮ Direct Guaranteed Lower Eigenvalue Bounds with Optimal a Priori Convergence Rates for the Bi-Laplacian ⋮ Practical Error Bounds for Properties in Plane-Wave Electronic Structure Calculations ⋮ Guaranteed lower bounds for eigenvalues of elliptic operators ⋮ Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues ⋮ Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Fully computable a posteriori error bounds for eigenfunctions ⋮ Asymptotic lower bounds for eigenvalues of the Steklov eigenvalue problem with variable coefficients. ⋮ A combined finite element and Bayesian optimization framework for shape optimization in spectral geometry ⋮ Error-constant estimation under the maximum norm for linear Lagrange interpolation ⋮ Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error analysis ⋮ Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Guaranteed and Robust a Posteriori Bounds for Laplace Eigenvalues and Eigenvectors: Conforming Approximations ⋮ Projection-based guaranteed \(L^2\) error bounds for finite element approximations of Laplace eigenfunctions ⋮ Guaranteed a posteriori bounds for eigenvalues and eigenvectors: Multiplicities and clusters ⋮ Computation of Tight Enclosures for Laplacian Eigenvalues ⋮ A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations ⋮ Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements ⋮ A counterexample to Payne's nodal line conjecture with few holes ⋮ The Weak Galerkin Method for Elliptic Eigenvalue Problems ⋮ Guaranteed lower eigenvalue bounds for two spectral problems arising in fluid mechanics ⋮ Computation of sharp estimates of the Poincaré constant on planar domains with piecewise self-similar boundary ⋮ Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations ⋮ Numerical verification method for positive solutions of elliptic problems ⋮ Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms ⋮ On the derivation of guaranteed and \(p\)-robust a posteriori error estimates for the Helmholtz equation ⋮ Numerical verification for asymmetric solutions of the Hénon equation on bounded domains ⋮ Guaranteed lower bounds on eigenvalues of elliptic operators with a hybrid high-order method ⋮ Acceleration of weak Galerkin methods for the Laplacian eigenvalue problem ⋮ Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem ⋮ Optimal estimation for the Fujino-Morley interpolation error constants ⋮ Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems ⋮ Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains ⋮ A posteriori verification of the positivity of solutions to elliptic boundary value problems ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ Computable error estimates for ground state solution of Bose-Einstein condensates

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An optimal Poincaré inequality for convex domains
• Estimation of interpolation error constants for the \(P_0\) and \(P_1\) triangular finite elements
• The calculation of guaranteed bounds for eigenvalues using complementary variational principles
• Bounds for eigenvalues of second-order elliptic differential operators
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
• Methods of intermediate problems for eigenvalues. Theory and ramifications
• A note on the Poincaré inequality for convex domains
• Methods for computing lower bounds to eigenvalues of self-adjoint operators
• Computing the lower and upper bounds of Laplace eigenvalue problem by combining conforming and nonconforming finite element methods
• Guaranteed lower eigenvalue bounds for the biharmonic equation
• Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements
• Optimale Eigenwerteinschließungen
• Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
• Guaranteed lower bounds for eigenvalues
• Helly's Theorems on Convex Domains and Tchebycheff's Approximation Problem

This page was built for publication: A framework of verified eigenvalue bounds for self-adjoint differential operators