Misplaced Pages

Kolmogorov–Arnold–Moser theorem

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by 2.202.57.224 (talk) at 11:41, 26 February 2022 (clarify). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 11:41, 26 February 2022 by 2.202.57.224 (talk) (clarify)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff) Result in dynamical systems

The Kolmogorov–Arnold–Moser (KAM) theorem is a result in dynamical systems about the persistence of quasiperiodic motions under small perturbations. The theorem partly resolves the small-divisor problem that arises in the perturbation theory of classical mechanics.

The problem is whether or not a small perturbation of a conservative dynamical system results in a lasting quasiperiodic orbit. The original breakthrough to this problem was given by Andrey Kolmogorov in 1954. This was rigorously proved and extended by Jürgen Moser in 1962 (for smooth twist maps) and Vladimir Arnold in 1963 (for analytic Hamiltonian systems), and the general result is known as the KAM theorem.

Arnold originally thought that this theorem could apply to the motions of the Solar System or other instances of the n-body problem, but it turned out to work only for the three-body problem because of a degeneracy in his formulation of the problem for larger numbers of bodies. Later, Gabriella Pinzari showed how to eliminate this degeneracy by developing a rotation-invariant version of the theorem.

Statement

Integrable Hamiltonian systems

The KAM theorem is usually stated in terms of trajectories in phase space of an integrable Hamiltonian system. The motion of an integrable system is confined to an invariant torus (a doughnut-shaped surface). Different initial conditions of the integrable Hamiltonian system will trace different invariant tori in phase space. Plotting the coordinates of an integrable system would show that they are quasiperiodic.

Perturbations

The KAM theorem states that if the system is subjected to a weak nonlinear perturbation, some of the invariant tori are deformed and survive (there is a continuous (in the perturbation) map from the original manifold to the deformed one), while others are destroyed (even arbitrarily small perturbations cause the manifold to no longer be invariant and there exists no such map to nearby manifolds) . Surviving tori meet the non-resonance condition, i.e., they have “sufficiently irrational” frequencies. This implies that the motion on the deformed torus continues to be quasiperiodic, with the independent periods changed (as a consequence of the non-degeneracy condition). The KAM theorem quantifies the level of perturbation that can be applied for this to be true.

Those KAM tori that are destroyed by perturbation become invariant Cantor sets, named Cantori by Ian C. Percival in 1979.

The non-resonance and non-degeneracy conditions of the KAM theorem become increasingly difficult to satisfy for systems with more degrees of freedom. As the number of dimensions of the system increases, the volume occupied by the tori decreases.

As the perturbation increases and the smooth curves disintegrate we move from KAM theory to Aubry–Mather theory which requires less stringent hypotheses and works with the Cantor-like sets.

The existence of a KAM theorem for perturbations of quantum many-body integrable systems is still an open question, although it is believed that arbitrarily small perturbations will destroy integrability in the infinite size limit.

Consequences

An important consequence of the KAM theorem is that for a large set of initial conditions the motion remains perpetually quasiperiodic.

KAM theory

The methods introduced by Kolmogorov, Arnold, and Moser have developed into a large body of results related to quasiperiodic motions, now known as KAM theory. Notably, it has been extended to non-Hamiltonian systems (starting with Moser), to non-perturbative situations (as in the work of Michael Herman) and to systems with fast and slow frequencies (as in the work of Mikhail B. Sevryuk).

See also

Notes

  1. A. N. Kolmogorov, "On the Conservation of Conditionally Periodic Motions under Small Perturbation of the Hamiltonian ," Dokl. Akad. Nauk SSR 98 (1954).
  2. J. Moser, "On invariant curves of area-preserving mappings of an annulus," Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1962 (1962), 1–20.
  3. V. I. Arnold, "Proof of a theorem of A. N. Kolmogorov on the preservation of conditionally periodic motions under a small perturbation of the Hamiltonian ," Uspekhi Mat. Nauk 18 (1963) (English transl.: Russ. Math. Surv. 18, 9--36, doi:10.1070/RM1963v018n05ABEH004130 ).
  4. Khesin, Boris (October 24, 2011), Colliander, James (ed.), "Addendum to Arnold Memorial Workshop: Khesin on Pinzari's talk", James Colliander's Blog, archived from the original on March 29, 2017, retrieved March 29, 2017
  5. Percival, I C (1979-03-01). "A variational principle for invariant tori of fixed frequency". Journal of Physics A: Mathematical and General. 12 (3): L57 – L60. Bibcode:1979JPhA...12L..57P. doi:10.1088/0305-4470/12/3/001.

References

Categories: