Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

DOI10.1016/S0377-0427(02)00431-4zbMath1022.65124MaRDI QIDQ1860405

Yanyan Li

Publication date: 23 February 2003

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

zbMATH Keywords

error boundsinvariant subspaceselliptic operatorselliptic eigenvalue problemsresult verificationmultiple eigenvalues

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Error bounds for boundary value problems involving PDEs (65N15) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Algorithms with automatic result verification (65G20)

Related Items (5)

A numerical verification method for two-coupled elliptic partial differential equations ⋮ Numerical verification method for infinite dimensional eigenvalue problems ⋮ Numerical verification for solutions to partial differential equations ⋮ Fully computable a posteriori error bounds for eigenfunctions ⋮ Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems

Uses Software

• Matlab
• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving nonlinear systems with least significant bit accuracy
• Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
• Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum
• Numerical verifications for eigenvalues of second-order elliptic operators
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Computational error bounds for multiple or nearly multiple eigenvalues

This page was built for publication: Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators