 11188 Renato C. Calleja, Alessandra Celletti, Rafael de la Llave
 KAM THEORY FOR CONFORMALLY SYMPLECTIC SYSTEMS
(868K, pdf)
Dec 8, 11

Abstract ,
Paper (src),
View paper
(auto. generated pdf),
Index
of related papers

Abstract. We present a KAM theory for some dissipative systems(geometrically, these are conformally symplectic systems, i.e. systems that transform a symplectic form into a multiple of itself). For systems with $n$ degrees of freedom depending on $n$ parameters we show that it is possible to find solutions with $n$dimensional (Diophantine) frequencies by adjusting the parameters.
We do not assume that the system is close to integrable, but we use an aposteriori format. Our unknowns are a parameterization of the solution and a parameter. We show that if there is a sufficiently approximate solution of the invariance equation, which also satisfies some explicit nondegeneracy conditions, then there is a true solution nearby. We present results both in Sobolev norms and in analytic norms.
The aposteriori format has several consequences:
A) smooth dependence on the parameters, including the singular limit of zero dissipation;
B) estimates on the measure of parameters covered by quasiperiodic solutions;
C) convergence of perturbative expansions in analytic systems;
D) bootstrap ofregularity (i.e., that all tori which are smooth enough are analytic if the map is analytic);
E) a numerically efficient criterion for the breakdown of the quasiperiodic solutions.
The proof is based on an iterative quadratically convergent method
and on suitable estimates on the (analytical and Sobolev) norms of the approximate solution. The iterative step takes advantage of some geometric identities, which give a very useful coordinate system in the neighborhood of invariant (or approximately invariant) tori. This system of coordinates has several otheruses: A) it shows that for dissipative conformally symplectic systems the quasiperiodic solutions are attractors, B) it leads to efficient algorithms, which have been implemented elsewhere.
Details of the proof are given mainly for maps, but we also explain the slight modifications needed for flows and we devote the appendix to present explicit algorithms for flows.
 Files:
11188.src(
11188.keywords ,
cclkamdef.pdf.mm )