Existence of KAM tori for presymplectic vector fields. (English) Zbl 1461.37064
This paper is focused on the existence of a torus that is invariant with respect to the flow of a presymplectic vector field in an exact presymplectic manifold. The result is stated in an “a posteriori” form, meaning that if there exists an embedding that is an approximately invariant torus, then under the Diophantine condition on the frequency and some nondegenerate condition on the parameter and on the initial embedding torus, the invariant torus exists in the sense of embedding, provided the initial error function is sufficiently small. Moreover, the true invariant torus and the approximated invariant torus are very close to each other. An advantage of this method is its suitability for validation of numerical results since it does not require action-angle variables.
Reviewer: Jing Wang (Nanjing)
MSC:
37J40 | Perturbations of finite-dimensional Hamiltonian systems, normal forms, small divisors, KAM theory, Arnol’d diffusion |
37K55 | Perturbations, KAM theory for infinite-dimensional Hamiltonian and Lagrangian systems |
37J39 | Relations of finite-dimensional Hamiltonian and Lagrangian systems with topology, geometry and differential geometry (symplectic geometry, Poisson geometry, etc.) |
70K43 | Quasi-periodic motions and invariant tori for nonlinear problems in mechanics |
53D05 | Symplectic manifolds (general theory) |