No Arabic abstract
Invariant manifolds are of fundamental importance to the qualitative understanding of dynamical systems. In this work, we explore and extend MacKays converse KAM condition to obtain a sufficient condition for the nonexistence of invariant surfaces that are transverse to a chosen 1D foliation. We show how useful foliations can be constructed from approximate integrals of the system. This theory is implemented numerically for two models, a particle in a two-wave potential and a Beltrami flow studied by Zaslavsky (Q-flows). These are both 3D volume-preserving flows, and they exemplify the dynamics seen in time-dependent Hamiltonian systems and incompressible fluids, respectively. Through both numerical and theoretical considerations, it is revealed how to choose foliations that capture the nonexistence of invariant tori with varying homologies.
In this paper we consider the completely resonant beam equation on T^2 with cubic nonlinearity on a subspace of L^2 (T^2) which will be explained later. We establish an abstract infinite dimensional KAM theorem and apply it to the completely resonant beam equation. We prove the existence of a class of Whitney smooth small amplitude quasi-periodic solutions corresponding to finite dimensional tori.
In this paper we consider nonlinear Schrodinger systems with periodic boundary condition in high dimension. We establish an abstract infinite dimensional KAM theorem and apply it to the nonlinear Schrodinger equation systems with real Fourier Multiplier. By establishing a block-diagonal normal form, We prove the existence of a class of Whitney smooth small amplitude quasi-periodic solutions corresponding to finite dimensional invariant tori of an associated infinite dimensional dynamical system.
This is part I of a book on KAM theory. We start from basic symplectic geometry, review Darboux-Weinstein theorems action angle coordinates and their global obstructions. Then we explain the content of Kolmogorovs invariant torus theorem and make it more general allowing discussion of arbitrary invariant Lagrangian varieties over general Poisson algebras. We include it into the general problem of normal forms and group actions. We explain the iteration method used by Kolmogorov by giving a finite dimensional analog. Part I explains in which context we apply the theory of Kolmogorov spaces which will form the core of Part II.
The KAM iterative scheme turns out to be effective in many problems arising in perturbation theory. I propose an abstract version of the KAM theorem to gather these different results.
We study the planetary system of $upsilon$~Andromed{ae}, considering the three-body problem formed by the central star and the two largest planets, $upsilon$~And~emph{c} and $upsilon$~And~emph{d}. We adopt a secular, three-dimensional model and initial conditions within the range of the observed values. The numerical integrations highlight that the system is orbiting around a one-dimensional elliptic torus (i.e., a periodic orbit that is linearly stable). This invariant object is used as a seed for an algorithm based on a sequence of canonical transformations. The algorithm determines the normal form related to a KAM torus, whose shape is in excellent agreement with the orbits of the secular model. We rigorously prove that the algorithm constructing the final KAM invariant torus is convergent, by adopting a suitable technique based on a computer-assisted proof.