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

Journal of Computational and Applied Mathematics

Volumn 147, Issue 1, 2002, Pages 175-190

  Toyonaga, K ^a   Nakao, M T ^a   Watanabe, Y ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; EIGENVALUES AND EIGENFUNCTIONS; ERROR ANALYSIS;

ELLIPTIC PROBLEMS;

COMPUTATIONAL METHODS;

EIGENVALUE;

EID: 0036772161     PISSN: 03770427     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0377-0427(02)00431-4     Document Type: Article

References (11)

1. Inclusions for eigenvalues of self-adjoint problems
2. -1 residual iteration
3. Numerical verifications for eigenvalues of second-order elliptic operators
4. Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
5. Guaranteed numerical bounds for eigenvalues
6. Solving algebraic problems with high accuracy
7. INTLAB - INTerval laboratory
8. Computational error bounds for multiple or nearly multiple eigenvalues
9. A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed point theorem
10. Variational bounds to eigenvalue of self-adjoint eigenvalue problems with arbitrary spectrum