Related papers: Computer assisted proofs for hyperbolic quasi-peri…
In this work, we obtain an a-posteriori theorem for the existence of partly hyperbolic invariant tori in analytic Hamiltonian systems: autonomous, periodic, and quasi-periodic. The method of proof is based on the convergence of a KAM…
In this paper we present and illustrate a general methodology to apply KAM theory in particular problems, based on an {\em a posteriori} approach. We focus on the existence of real-analytic quasi-periodic Lagrangian invariant tori for…
The goal of this paper is to provide a methodology to prove 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…
We present a topological proof of the existence of a normally hyperbolic invariant manifold for maps. In our approach we do not require that the map is a perturbation of some other map for which we already have an invariant manifold. But a…
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this…
This work studies existence and regularity questions for attracting invariant tori in three dimensional dissipative systems of ordinary differential equations. Our main result is a constructive method of computer assisted proof which…
Determining the existence of compact invariant manifolds is a central quest in the qualitative theory of differential equations. Singularities, periodic solutions, and invariant tori are examples of such invariant manifolds. A classical and…
A method via the KAM technique is introduced to study the existence of invariant tori and quasiperiodic solutions for impulsive Duffing-type equations with time period 1. Basing on several planar symplectic homeomorphisms and some estimates…
We consider a particular class of equations of motion, generalizing to n degrees of freedom the "dissipative spin--orbit problem", commonly studied in Celestial Mechanics. Those equations are formulated in a pseudo-Hamiltonian framework…
We present theorems which provide the existence of invariant whiskered tori in finite-dimensional exact symplectic maps and flows. The method is based on the study of a functional equation expressing that there is an invariant torus. We…
Dissipative systems play a very important role in several physical models, most notably in Celestial Mechanics, where the dissipation drives the motion of natural and artificial satellites, leading them to migration of orbits, resonant…
We reconsider the problem of the orbital dynamics of the innermost exoplanet of the $\upsilon$-Andromedae system (i.e., $\upsilon$-And $\mathbf{b}$) into the framework of a Secular Quasi-Periodic Restricted Hamiltonian model. This means…
In this paper, we prove the existence of full dimensional invariant tori for a non-autonomous, almost-periodically forced nonlinear beam equation with a periodic boundary condition via KAM theory.
The purpose of this paper is to present a method to compute parameterizations of invariant tori and bundles in non-autonomous quasi-periodic Hamiltonian systems. We generalize flow map parameterization methods to the quasi-periodic setting.…
The goal of this paper is to develop a KAM theory for tori with hyperbolic directions, which applies to Hamiltonian partial differential equations, even to some ill-posed ones. The main result has an \emph{a-posteriori} format, i.e., we…
We consider a class of a priori stable quasi-integrable analytic Hamiltonian systems and study the regularity of low-dimensional hyperbolic invariant tori as functions of the perturbation parameter. We show that, under natural nonresonance…
We reconsider a control theory for Hamiltonian systems, that was introduced on the basis of KAM theory and applied to a model of magnetic field in previous articles. By a combination of Frequency Analysis and of a rigorous (Computer…
This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a…
In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent…
We give a proof of the KAM theorem on the existence of invariant tori for weakly perturbed Hamiltonian systems, based on Thirring's approach for Hamiltonians that are quadratic in the action variables. The main point of this approach is…