Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
From MaRDI portal
Publication:2845606
DOI10.1137/120878446zbMath1273.65179arXiv1204.4119OpenAlexW2095139809MaRDI QIDQ2845606
Publication date: 2 September 2013
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1204.4119
finite element methodeigenvalue problemelliptic operatormin-max principleverified computationPrager-Synge's theorem
Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25)
Related Items (42)
Computational Lower Bounds of the Maxwell Eigenvalues ⋮ Mixed methods and lower eigenvalue bounds ⋮ Any three eigenvalues do not determine a triangle ⋮ A boundary integral algorithm for the Laplace Dirichlet-Neumann mixed eigenvalue problem ⋮ Flux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvalues ⋮ Fully computable a posteriori error bounds for eigenfunctions ⋮ Some improvements of invertibility verifications for second-order linear elliptic operators ⋮ A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory ⋮ Computing Fractional Laplacians on Complex-Geometry Domains: Algorithms and Simulations ⋮ Computing eigenvalues of the Laplacian on rough domains ⋮ Guaranteed local error estimation for finite element solutions of boundary value problems ⋮ On the polygonal Faber-Krahn inequality ⋮ A deep learning method for computing eigenvalues of the fractional Schrödinger operator ⋮ 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 ⋮ Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements ⋮ A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Error constants for the semi-discrete Galerkin approximation of the linear heat equation ⋮ A framework of verified eigenvalue bounds for self-adjoint differential operators ⋮ A counterexample to Payne's nodal line conjecture with few holes ⋮ The Weak Galerkin Method for Elliptic Eigenvalue Problems ⋮ Lower and upper bounds of Laplacian eigenvalue problem by weak Galerkin method on triangular meshes ⋮ Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation ⋮ Guaranteed lower eigenvalue bounds for two spectral problems arising in fluid mechanics ⋮ Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain ⋮ High-Precision Eigenvalue Bound for the Laplacian with Singularities ⋮ 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 ⋮ Guaranteed lower bounds on eigenvalues of elliptic operators with a hybrid high-order method ⋮ Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem ⋮ 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 ⋮ Solving Eigenvalue Problems in a Discontinuous Approximation Space by Patch Reconstruction ⋮ The Prager–Synge theorem in reconstruction based a posteriori error estimation ⋮ Numerical verification of positiveness for solutions to semilinear elliptic problems ⋮ Computable error estimates for ground state solution of Bose-Einstein condensates ⋮ An optimal adaptive FEM for eigenvalue clusters
Uses Software
This page was built for publication: Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
