Analytic enclosure of the fundamental matrix solution

作者：Castelli Roberto; Lessard Jean Philippe; James Jason D Mireles

来源：Applications of Mathematics, 2015, 60(6): 617-636.

DOI：10.1007/s10492-015-0114-6

• rigorous numerics
• fundamental matrix solution
• Floquet theory
• analytical category

This work describes a method to rigorously compute the real Floquet normal form decomposition of the fundamental matrix solution of a system of linear ODEs having periodic coefficients. The Floquet normal form is validated in the space of analytic functions. The technique combines analytical estimates and rigorous numerical computations and no rigorous integration is needed. An application to the theory of dynamical system is presented, together with a comparison with the results obtained by computing the enclosure in the C (s) category.

• 出版日期2015-12