Numerical verifications for eigenvalues of second-order elliptic operators

DOI10.1007/BF03167360MaRDI QIDQ2258353zbMATH OpenOpenAlexFDO

Authors Mitsuhiro T. Nakao, Nobito Yamamoto, 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

eigenvalue problemelliptic operatorserror estimatesfinite 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)

Recommendations

• A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• scientific article; zbMATH DE number 4150839
• A numerical approach to the proof of existence of solutions for elliptic problems II

Cites work

• A numerical approach to the proof of existence of solutions for elliptic problems
• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Bounds for eigenvalues of second-order elliptic differential operators
• Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• scientific article; zbMATH DE number 4138299 (Why is no real title available?)
• scientific article; zbMATH DE number 3933857 (Why is no real title available?)
• scientific article; zbMATH DE number 3963074 (Why is no real title available?)
• scientific article; zbMATH DE number 524105 (Why is no real title available?)
• scientific article; zbMATH DE number 714520 (Why is no real title available?)
• Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• Numerical verifications of solutions for nonlinear elliptic equations
• PROFIL/BIAS - A fast interval library

Cited in

(12)

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

Describes a project that uses

Uses Software

• PROFIL/BIAS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2258353)