A framework of verified eigenvalue bounds for self-adjoint differential operators
DOI10.1016/J.AMC.2015.03.048zbMATH Open1410.35088OpenAlexW2110487717MaRDI QIDQ669702FDOQ669702
Authors: 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
Recommendations
eigenvalue boundsverified computationself-adjoint differential operatornon-conforming finite element methodquantitative error estimation
Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05) Estimates of eigenvalues in context of PDEs (35P15)
Cites Work
- Title not available (Why is that?)
- A note on the Poincaré inequality for convex domains
- An optimal Poincaré inequality for convex domains
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements
- Guaranteed lower bounds for eigenvalues
- Methods of intermediate problems for eigenvalues. Theory and ramifications
- 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
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Estimation of interpolation error constants for the \(P_0\) and \(P_1\) triangular finite elements
- Bounds for eigenvalues of second-order elliptic differential operators
- Analysis and estimation of error constants for \(P_0\) and \(P_1\) interpolations over triangular finite elements
- Guaranteed lower eigenvalue bounds for the biharmonic equation
- The calculation of guaranteed bounds for eigenvalues using complementary variational principles
- Optimale Eigenwerteinschließungen
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
- Title not available (Why is that?)
- Title not available (Why is that?)
- Helly's Theorems on Convex Domains and Tchebycheff's Approximation Problem
Cited In (44)
- Any three eigenvalues do not determine a triangle
- Optimal estimation for the Fujino-Morley interpolation error constants
- Adaptive hybrid high-order method for guaranteed lower eigenvalue bounds
- Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework
- Guaranteed lower bounds for eigenvalues of elliptic operators
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
- Guaranteed a posteriori bounds for eigenvalues and eigenvectors: Multiplicities and clusters
- Error-constant estimation under the maximum norm for linear Lagrange interpolation
- Acceleration of weak Galerkin methods for the Laplacian eigenvalue problem
- Computational Lower Bounds of the Maxwell Eigenvalues
- Computation of sharp estimates of the Poincaré constant on planar domains with piecewise self-similar boundary
- Projection-based guaranteed \(L^2\) error bounds for finite element approximations of Laplace eigenfunctions
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues
- Computation of Tight Enclosures for Laplacian Eigenvalues
- Direct Guaranteed Lower Eigenvalue Bounds with Optimal a Priori Convergence Rates for the Bi-Laplacian
- Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements
- Lower and upper bounds for Stokes eigenvalues
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
- Asymptotic lower bounds for eigenvalues of the Steklov eigenvalue problem with variable coefficients.
- On the derivation of guaranteed and \(p\)-robust a posteriori error estimates for the Helmholtz equation
- Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms
- Fully computable a posteriori error bounds for eigenfunctions
- Guaranteed lower bounds on eigenvalues of elliptic operators with a hybrid high-order method
- Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error analysis
- A combined finite element and Bayesian optimization framework for shape optimization in spectral geometry
- Practical Error Bounds for Properties in Plane-Wave Electronic Structure Calculations
- Computable error estimates for ground state solution of Bose-Einstein condensates
- A counterexample to Payne's nodal line conjecture with few holes
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
- Guaranteed lower eigenvalue bounds for two spectral problems arising in fluid mechanics
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- 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
- The Weak Galerkin Method for Elliptic Eigenvalue Problems
- A posteriori verification of the positivity of solutions to elliptic boundary value problems
- Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements
- Guaranteed and Robust a Posteriori Bounds for Laplace Eigenvalues and Eigenvectors: Conforming Approximations
- A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
- Numerical verification method for positive solutions of elliptic problems
- Guaranteed lower eigenvalue bounds for Steklov operators using conforming finite element methods
- Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem
Uses Software
This page was built for publication: A framework of verified eigenvalue bounds for self-adjoint differential operators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q669702)