Numerical verifications for eigenvalues of second-order elliptic operators

DOI10.1007/BF03167360zbMath1306.65278OpenAlexW2069422322MaRDI QIDQ2258353

Nobito Yamamoto, Mitsuhiro T. Nakao, Kaori Nagatou

Publication date: 3 March 2015

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03167360

zbMATH Keywords

error estimateseigenvalue problemelliptic operatorsfinite element solution

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Related Items (11)

A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid ⋮ VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS ⋮ Numerical verification method for infinite dimensional eigenvalue problems ⋮ Numerical verification for solutions to partial differential equations ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ Computation of Tight Enclosures for Laplacian Eigenvalues ⋮ An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Verified numerical computations for an inverse elliptic eigenvalue problem with finite data ⋮ Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem ⋮ Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

Uses Software

• PROFIL/BIAS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear elliptic equations
• Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
• Bounds for eigenvalues of second-order elliptic differential operators
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• PROFIL/BIAS - A fast interval library
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical approach to the proof of existence of solutions for elliptic problems

This page was built for publication: Numerical verifications for eigenvalues of second-order elliptic operators