Verified solutions of delay eigenvalue problems

DOI10.1016/J.AMC.2017.01.033MaRDI QIDQ1735394zbMATH OpenOpenAlexFDO

Authors Shinya Miyajima

Publication date 28 March 2019

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.amc.2017.01.033

zbMATH Keywords

delay differential equationsmatrix exponentialverified error bounddelay eigenvalue problems

Mathematics Subject Classification ID

Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Numerical approximation of eigenvalues and of other parts of the spectrum of ordinary differential operators (34L16) Spectral theory of functional-differential operators (34K08)

Recommendations

• scientific article; zbMATH DE number 4106125
• scientific article; zbMATH DE number 4076556
• scientific article; zbMATH DE number 176411
• scientific article; zbMATH DE number 714519
• A numerical verification method for a periodic solution of a delay differential equation

Cites work

• scientific article; zbMATH DE number 635657 (Why is no real title available?)
• scientific article; zbMATH DE number 714516 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• scientific article; zbMATH DE number 961607 (Why is no real title available?)
• A Krylov method for the delay eigenvalue problem
• A block Newton method for nonlinear eigenvalue problems
• Computational error bounds for multiple or nearly multiple eigenvalues
• Delayed Coupling Between Two Neural Network Loops
• Error bounds for computed eigenvalues and eigenvectors
• Error bounds for computed eigenvalues and eigenvectors. II
• Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems
• Fast enclosure for all eigenvalues in generalized eigenvalue problems
• Functions of Matrices
• Guaranteed inclusions for the complex generalized eigenproblem
• Iterative methods for interval inclusion of fixed points
• Nonlinear eigenvalue problems: a challenge for modern eigenvalue methods
• Numerical enclosure for each eigenvalue in generalized eigenvalue problem
• Robust successive computation of eigenpairs for nonlinear eigenvalue problems
• The Scaling and Squaring Method for the Matrix Exponential Revisited
• Verification methods: rigorous results using floating-point arithmetic

Cited in

(4)

• Computation of Eigenvalues Associated with Functional Differential Equations
• Eigenvalues and delay differential equations: periodic coefficients, impulses and rigorous numerics
• Verified computation of the matrix exponential
• Validated simulation-based verification of delayed differential dynamics

Describes a project that uses

Uses Software

• mftoolbox
• MATLAB expm
• INTLAB

This page was built for publication: Verified solutions of delay eigenvalue problems

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