Related papers: Rigorous computer assisted application of KAM theo…

In this paper, we prove a KAM theorem in a-posteriori format, using the parameterization method to look invariant tori in non-autonomous Hamiltonian systems with $n$ degrees of freedom that depend periodically or quasi-periodically (QP) on…

This paper outlines an approach for proving existence of hyperbolic quasi-periodic invariant tori using computer assisted methods based on an a posteriori KAM-like theorem. We implement it for the dissipative standard map following the…

In this paper we present an a-posteriori KAM theorem for the existence of an $(n-d)$-parameters family of $d$-dimensional isotropic invariant tori with Diophantine frequency vector $\omega\in \mathbb R^d$, of type $(\gamma,\tau)$, for $n$…

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…

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 present a KAM theorem for presymplectic dynamical systems. The theorem has a " a posteriori " format. We show that given a Diophantine frequency $\omega$ and a family of presymplectic mappings, if we find an embedded torus which is…

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…

Classical KAM theory guarantees the existence of a positive measure set of invariant tori for sufficiently smooth non-degenerate near-integrable systems. When seen as a function of the frequency this invariant collection of tori is called…

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…

In this paper we develop some new KAM-technique to prove two general KAM theorems for nearly integrable hamiltonian systems without assuming any non-degeneracy condition. Many of KAM-type results (including the classical KAM theorem) are…

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…

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…

In this paper we present a-posteriori KAM results for existence of $d$-dimensional isotropic invariant tori for $n$-DOF Hamiltonian systems with additional $n-d$ independent first integrals in involution. We carry out a covariant…

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…

In this paper, we give a new proof of the classical KAM theorem on the persistence of an invariant quasi-periodic torus, whose frequency vector satisfies the Bruno-R\"ussmann condition, in real-analytic non-degenerate Hamiltonian systems…

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.

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…

We adapt the Kolmogorov's normalization algorithm (which is the key element of the original proof scheme of the KAM theorem) to the construction of a suitable normal form related to an invariant elliptic torus. As a byproduct, our procedure…

In [3] (Rend. Lincei Mat. Appl. 26 (2015), 1-10; see also arXiv:1503.08145 [math.DS]) the following result has been announced: Theorem. Consider a real-analytic nearly-integrable mechanical system with potential $f$, namely, a Hamiltonian…

Recently R\"ussmann proposed a new new variant of KAM theory based on a slowly converging iteration scheme. It is the purpose of this note to make this scheme accessible in an even simpler setting, namely for analytic perturbations of…