A method to rigorously enclose eigendecompositions of interval matrices
From MaRDI portal
Publication:3454426
zbMath1340.65057arXiv1112.5052MaRDI QIDQ3454426
Roberto Castelli, Jean-Philippe Lessard
Publication date: 24 November 2015
Full work available at URL: https://arxiv.org/abs/1112.5052
Numerical computation of eigenvalues and eigenvectors of matrices (65F15) Interval and finite arithmetic (65G30) Inequalities involving eigenvalues and eigenvectors (15A42)
Related Items (17)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ Rigorous verification of saddle-node bifurcations in ODEs ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Eigenvalues and delay differential equations: periodic coefficients, impulses and rigorous numerics ⋮ A functional analytic approach to validated numerics for eigenvalues of delay equations ⋮ Extremizers and stability of the Betke-Weil inequality ⋮ Analytic enclosure of the fundamental matrix solution. ⋮ Novel estimations for the eigenvalue bounds of complex interval matrices ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption ⋮ Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Rigorous validation of stochastic transition paths
Uses Software
This page was built for publication: A method to rigorously enclose eigendecompositions of interval matrices
