Verified Error Bounds for Real Eigenvalues of Real Symmetric and Persymmetric Matrices

Abstract

This paper mainly investigates the verification of real eigenvalues of the real symmetric and persymmetric matrices. For a real symmetric or persymmetric matrix, we use eig code in Matlab to obtain its real eigenvalues on the basis of numerical computation and provide an algorithm to compute verified error bound such that there exists a perturbation matrix of the same type within the computed error bound whose exact real eigenvalues are the computed real eigenvalues.