A numerical method to verify the elliptic eigenvalue problems including a uniqueness property

DOI10.1007/S006070050054MaRDI QIDQ1818413zbMATH OpenOpenAlexFDO

Authors Kaori Nagatou

Publication date 1 February 2000

Published in Computing (Search for Journal in Brave)

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

zbMATH Keywords

numerical resultsfinite elementinclusion setselliptic eigenvalue problemsverification method

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20)

Recommendations

• Numerical verifications for eigenvalues of second-order elliptic operators
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• Numerical verifications of solutions for nonlinear elliptic equations

Cited in

(12)

• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
• A computer‐assisted method for the diblock copolymer model
• Numerical verification method for infinite dimensional eigenvalue problems
• An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
• A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
• 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
• Numerical verifications for eigenvalues of second-order elliptic operators
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
• A posteriori verification of the positivity of solutions to elliptic boundary value problems

Describes a project that uses

Uses Software

• PROFIL/BIAS

This page was built for publication: A numerical method to verify the elliptic eigenvalue problems including a uniqueness property

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