A framework of verified eigenvalue bounds for self-adjoint differential operators
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1694752
- Methods for computing lower bounds to eigenvalues of self-adjoint operators
- scientific article; zbMATH DE number 6129566
- Guaranteed eigenvalue bounds for the Steklov eigenvalue problem
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
Cites work
- scientific article; zbMATH DE number 4020324 (Why is no real title available?)
- scientific article; zbMATH DE number 714520 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- A note on the Poincaré inequality for convex domains
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- An optimal Poincaré inequality for convex domains
- Analysis and estimation of error constants for \(P_0\) and \(P_1\) interpolations over triangular finite elements
- Bounds for eigenvalues of second-order elliptic differential operators
- Computing the lower and upper bounds of Laplace eigenvalue problem by combining conforming and nonconforming finite element methods
- Estimation of interpolation error constants for the \(P_0\) and \(P_1\) triangular finite elements
- Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements
- Guaranteed lower bounds for eigenvalues
- Guaranteed lower eigenvalue bounds for the biharmonic equation
- Helly's Theorems on Convex Domains and Tchebycheff's Approximation Problem
- Methods for computing lower bounds to eigenvalues of self-adjoint operators
- Methods of intermediate problems for eigenvalues. Theory and ramifications
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Optimale Eigenwerteinschließungen
- The calculation of guaranteed bounds for eigenvalues using complementary variational principles
- Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
Cited in
(45)- A counterexample to Payne's nodal line conjecture with few holes
- Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues
- Practical error bounds for properties in plane-wave electronic structure calculations
- Any three eigenvalues do not determine a triangle
- Computation of sharp estimates of the Poincaré constant on planar domains with piecewise self-similar boundary
- Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements
- Asymptotic lower bounds for eigenvalues of the Steklov eigenvalue problem with variable coefficients.
- Optimal estimation for the Fujino-Morley interpolation error constants
- Guaranteed lower eigenvalue bounds for Steklov operators using conforming finite element methods
- Numerical verification method for positive solutions of elliptic problems
- Guaranteed lower eigenvalue bounds for two spectral problems arising in fluid mechanics
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
- Guaranteed lower bounds on eigenvalues of elliptic operators with a hybrid high-order method
- Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms
- Guaranteed a posteriori bounds for eigenvalues and eigenvectors: multiplicities and clusters
- Computational Lower Bounds of the Maxwell Eigenvalues
- A posteriori verification of the positivity of solutions to elliptic boundary value problems
- Adaptive hybrid high-order method for guaranteed lower eigenvalue bounds
- Lower and upper bounds for Stokes eigenvalues
- Guaranteed eigenvalue bounds for the Steklov eigenvalue problem
- Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error analysis
- The weak Galerkin method for elliptic eigenvalue problems
- Computable error estimates for ground state solution of Bose-Einstein condensates
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- Guaranteed computational methods for self-adjoint differential eigenvalue problems
- Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: a unified framework
- Guaranteed and robust a posteriori bounds for Laplace eigenvalues and eigenvectors: conforming approximations
- Error-constant estimation under the maximum norm for linear Lagrange interpolation
- A combined finite element and Bayesian optimization framework for shape optimization in spectral geometry
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- 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 for the sign-change structure of solutions of elliptic partial differential equations
- Direct Guaranteed Lower Eigenvalue Bounds with Optimal a Priori Convergence Rates for the Bi-Laplacian
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
- Projection-based guaranteed \(L^2\) error bounds for finite element approximations of Laplace eigenfunctions
- Guaranteed lower bounds for eigenvalues of elliptic operators
- Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
- Acceleration of weak Galerkin methods for the Laplacian eigenvalue problem
- Computation of tight enclosures for Laplacian eigenvalues
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
- Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements
- Fully computable a posteriori error bounds for eigenfunctions
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
- On the derivation of guaranteed and \(p\)-robust a posteriori error estimates for the Helmholtz equation
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)
