Computer-assisted proofs of existence of fiberwise hyperbolic invariant tori in quasi-periodic systems via Fourier methods

dc.contributor.author
Haro, A.
dc.contributor.author
Vidal, E. S.
dc.date.accessioned
2025-01-08T09:20:32Z
dc.date.available
2025-01-08T09:20:32Z
dc.date.issued
2024-10-01
dc.identifier.uri
http://hdl.handle.net/2072/480009
dc.description.abstract
The goal of this paper is to provide a methodology to prove the existence of (fiberwise hyperbolic) real-analytic invariant tori in real-analytic quasi-periodic skew-product dynamical systems that present nearly-invariant tori of the same characteristics. The methodology was based on the application of a Newton-Kantorovich theorem whose hypotheses were tested using Fourier analysis methods for a numerical approximation of the parameterization of an invariant torus.
ca
dc.description.sponsorship
A.H. has been supported by the Spanish grant PID2021-125535NB-I00 (MCIU/AEI/FEDER, UE) , and by the Spanish State Research Agency, through the Severo Ochoa and Maria de Maeztu Program for Centers and Units of Excellence in R&D (CEX2020-001084-M) .
ca
dc.format.extent
22 p.
ca
dc.language.iso
eng
ca
dc.publisher
American Institute of Mathematical Sciences (AIMS)
ca
dc.relation.ispartof
Discrete and Continuous Dynamical Systems - Series B (DCDS-B)
ca
dc.rights
(c) 2024 The Author(s)
ca
dc.rights
Attribution 4.0 International
*
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
*
dc.source
RECERCAT (Dipòsit de la Recerca de Catalunya)
dc.subject.other
Invariant tori
ca
dc.subject.other
Quasi-periodically forced system
ca
dc.subject.other
Normal hyperbolicity
ca
dc.subject.other
Fourier methods
ca
dc.subject.other
Computer-assisted proof
ca
dc.title
Computer-assisted proofs of existence of fiberwise hyperbolic invariant tori in quasi-periodic systems via Fourier methods
ca
dc.type
info:eu-repo/semantics/article
ca
dc.subject.udc
51
ca
dc.description.version
info:eu-repo/semantics/publishedVersion
ca
dc.embargo.terms
cap
ca
dc.identifier.doi
10.3934/dcdsb.2024143
ca
dc.rights.accessLevel
info:eu-repo/semantics/openAccess


Documents

COMPUTER-ASSISTED-PROOFS-OF-EXISTENCE.pdf

904.1Kb PDF

This item appears in the following Collection(s)

CRM Articles [713]