Verified solutions of delay eigenvalue problems
作者：
Highlights：
•
摘要
A numerical algorithm for enclosing solutions of nonlinear eigenvalue problems arising in delay differential equations is proposed. This algorithm verifies the uniqueness of the enclosed eigenvalue when it is simple, and is applicable even for multiple eigenvalues. Numerical results show properties of the algorithm.
论文关键词：Delay differential equations,Delay eigenvalue problems,Verified error bound,Matrix exponential
论文评审过程：Received 29 June 2016, Revised 11 November 2016, Accepted 10 January 2017, Available online 31 January 2017, Version of Record 31 January 2017.
论文官网地址：https://doi.org/10.1016/j.amc.2017.01.033
