871:
735:
171:
The KAM theorem states that if the system is subjected to a weak nonlinear perturbation, some of the invariant tori are deformed and survive, i.e. there is a map from the original manifold to the deformed one that is continuous in the perturbation. Conversely, other invariant tori are destroyed: even
172:
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
480:
866:{\displaystyle \exists ~\gamma ,\tau >0{\text{ such that }}|{\boldsymbol {\omega }}\cdot {\boldsymbol {k}}|\geq {\frac {\gamma }{\|{\boldsymbol {k}}\|^{\tau }}},\forall ~{\boldsymbol {k}}\in \mathbb {Z} ^{d}\backslash \left\{{\boldsymbol {0}}\right\}}
194:
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.
723:
560:
201:
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.
364:
670:
597:
389:
198:
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.
1097:
176:, 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.
626:
926:
263:
509:
290:
952:
675:
982:
895:
517:
384:
310:
1065:
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 ,"
315:
218:
The methods introduced by
Kolmogorov, Arnold, and Moser have developed into a large body of results related to quasiperiodic motions, now known as
1105:
1336:
1310:
639:
210:
An important consequence of the KAM theorem is that for a large set of initial conditions the motion remains perpetually quasiperiodic.
222:. Notably, it has been extended to non-Hamiltonian systems (starting with Moser), to non-perturbative situations (as in the work of
1341:
1234:
565:
475:{\displaystyle \mathbb {T} ^{d}:=\underbrace {\mathbb {S} ^{1}\times \mathbb {S} ^{1}\times \cdots \times \mathbb {S} ^{1}} _{d}}
1331:
1302:
The KAM Story – A Friendly
Introduction to the Content, History, and Significance of Classical Kolmogorov–Arnold–Moser Theory
223:
993:
1168:, 2nd ed., Appendix 8: Theory of perturbations of conditionally periodic motion, and Kolmogorov's theorem. Springer 1997.
1032:
A. N. Kolmogorov, "On the
Conservation of Conditionally Periodic Motions under Small Perturbation of the Hamiltonian ,"
1315:
1197:
1008:
115:
609:
51:
1212:
163:
in phase space. Plotting the coordinates of an integrable system would show that they are quasiperiodic.
1290:
1013:
900:
237:
485:
1135:
70:
47:
1271:
1217:
122:
showed how to eliminate this degeneracy by developing a rotation-invariant version of the theorem.
55:
140:
111:
93:
66:
718:{\displaystyle {\boldsymbol {k}}\in \mathbb {Z} ^{d}\backslash \left\{{\boldsymbol {0}}\right\}}
268:
85:
1306:
1268:
1230:
984:
case is normally excluded in classical KAM theory because it does not involve small divisors.
156:
144:
119:
77:
1126:
Percival, I C (1979-03-01). "A variational principle for invariant tori of fixed frequency".
931:
1301:
1222:
1143:
1093:
998:
73:
43:
555:{\displaystyle \mathrm {d} {\boldsymbol {\varphi }}/\mathrm {d} t={\boldsymbol {\omega }}}
188:
148:
89:
961:
81:
1139:
226:) and to systems with fast and slow frequencies (as in the work of Mikhail B. Sevryuk).
1173:
1003:
880:
369:
359:{\displaystyle {\boldsymbol {\varphi }}:{\mathcal {T}}^{d}\rightarrow \mathbb {T} ^{d}}
295:
104:
1325:
1147:
173:
1294:
1259:
1089:
100:
1226:
1285:
136:
180:
99:
Arnold originally thought that this theorem could apply to the motions of the
1276:
59:
1048:
J. Moser, "On invariant curves of area-preserving mappings of an annulus,"
17:
152:
118:
in his formulation of the problem for larger numbers of bodies. Later,
1240:
665:{\displaystyle {\boldsymbol {k}}\cdot {\boldsymbol {\omega }}\neq 0}
159:
of the integrable
Hamiltonian system will trace different invariant
179:
Those KAM tori that are destroyed by perturbation become invariant
160:
1098:"Addendum to Arnold Memorial Workshop: Khesin on Pinzari's talk"
135:
The KAM theorem is usually stated in terms of trajectories in
907:
847:
699:
330:
244:
50:
under small perturbations. The theorem partly resolves the
592:{\displaystyle {\boldsymbol {\omega }}\in \mathbb {R} ^{d}}
76:. The original breakthrough to this problem was given by
65:
The problem is whether or not a small perturbation of a
96:), and the general result is known as the KAM theorem.
728:
and "badly" approximated by rationals, typically in a
964:
934:
903:
883:
738:
678:
642:
612:
568:
520:
488:
392:
372:
318:
298:
271:
240:
80:
in 1954. This was rigorously proved and extended by
976:
946:
920:
889:
865:
717:
664:
620:
591:
554:
503:
474:
378:
358:
304:
284:
257:
1286:KAM theory: the legacy of Kolmogorov’s 1954 paper
1079:, 9--36, doi:10.1070/RM1963v018n05ABEH004130 ).
1128:Journal of Physics A: Mathematical and General
8:
806:
797:
1205:Proceedings of Symposia in Pure Mathematics
1166:Mathematical Methods of Classical Mechanics
599:is a non-zero constant vector, called the
1216:
963:
933:
912:
906:
905:
902:
882:
854:
841:
837:
836:
827:
809:
800:
791:
783:
778:
770:
765:
760:
737:
706:
693:
689:
688:
679:
677:
651:
643:
641:
613:
611:
583:
579:
578:
569:
567:
547:
536:
531:
526:
521:
519:
495:
491:
490:
487:
466:
454:
450:
449:
433:
429:
428:
418:
414:
413:
409:
399:
395:
394:
391:
371:
350:
346:
345:
335:
329:
328:
319:
317:
312:-torus, if there exists a diffeomorphism
297:
276:
270:
249:
243:
242:
239:
110:, but it turned out to work only for the
1198:"A lecture on the classical KAM-theorem"
1025:
828:
801:
779:
771:
680:
652:
644:
621:{\displaystyle {\boldsymbol {\omega }}}
614:
570:
548:
527:
320:
69:dynamical system results in a lasting
1305:, 2014, World Scientific Publishing,
265:invariant under the action of a flow
7:
921:{\displaystyle {\mathcal {T}}^{d}}
821:
739:
537:
522:
511:is uniform linear but not static,
482:such that the resulting motion on
258:{\displaystyle {\mathcal {T}}^{d}}
25:
1272:"Kolmogorov-Arnold-Moser Theorem"
1172:Wayne, C. Eugene (January 2008).
855:
707:
504:{\displaystyle \mathbb {T} ^{d}}
1174:"An Introduction to KAM Theory"
1291:Kolmogorov-Arnold-Moser theory
784:
766:
341:
131:Integrable Hamiltonian systems
1:
1337:Theorems in dynamical systems
1164:Arnold, Weinstein, Vogtmann.
1052:Göttingen Math.-Phys. Kl. II
994:Stability of the Solar System
155:-shaped surface). Different
27:Result in dynamical systems
1358:
1257:Rafael de la Llave (2001)
1148:10.1088/0305-4470/12/3/001
103:or other instances of the
1227:10.1090/pspum/069/1858551
1072:(1963) (English transl.:
636:incommensurable, that is
285:{\displaystyle \phi ^{t}}
46:about the persistence of
1342:Computer-assisted proofs
1260:A tutorial on KAM theory
632:rationally independent (
606:If the frequency vector
1316:Chapter 1: Introduction
1196:Jürgen Pöschel (2001).
1102:James Colliander's Blog
947:{\displaystyle d\geq 2}
292:is called an invariant
32:Kolmogorov–Arnold–Moser
1009:Hofstadter's butterfly
978:
948:
922:
891:
867:
719:
666:
622:
593:
556:
505:
476:
380:
360:
306:
286:
259:
92:in 1963 (for analytic
1332:Hamiltonian mechanics
1014:Nekhoroshev estimates
979:
949:
923:
892:
868:
762: such that
720:
667:
623:
594:
557:
506:
477:
381:
361:
307:
287:
260:
52:small-divisor problem
48:quasiperiodic motions
1092:(October 24, 2011),
1034:Dokl. Akad. Nauk SSR
962:
932:
901:
881:
736:
676:
640:
610:
566:
518:
486:
390:
370:
316:
296:
269:
238:
84:in 1962 (for smooth
1140:1979JPhA...12L..57P
977:{\displaystyle d=1}
877:then the invariant
143:. The motion of an
94:Hamiltonian systems
60:classical mechanics
56:perturbation theory
54:that arises in the
1269:Weisstein, Eric W.
1050:Nachr. Akad. Wiss.
974:
944:
918:
887:
863:
715:
662:
618:
589:
552:
501:
472:
471:
464:
376:
366:into the standard
356:
302:
282:
255:
157:initial conditions
147:is confined to an
141:Hamiltonian system
112:three-body problem
1311:978-981-4556-58-3
1108:on March 29, 2017
1094:Colliander, James
1074:Russ. Math. Surv.
1067:Uspekhi Mat. Nauk
890:{\displaystyle d}
826:
816:
763:
744:
410:
408:
379:{\displaystyle d}
305:{\displaystyle d}
145:integrable system
139:of an integrable
120:Gabriella Pinzari
78:Andrey Kolmogorov
44:dynamical systems
16:(Redirected from
1349:
1282:
1281:
1254:
1252:
1251:
1245:
1239:. Archived from
1220:
1202:
1192:
1190:
1188:
1178:
1152:
1151:
1123:
1117:
1116:
1115:
1113:
1104:, archived from
1086:
1080:
1063:
1057:
1046:
1040:
1030:
999:Arnold diffusion
983:
981:
980:
975:
953:
951:
950:
945:
927:
925:
924:
919:
917:
916:
911:
910:
896:
894:
893:
888:
872:
870:
869:
864:
862:
858:
846:
845:
840:
831:
824:
817:
815:
814:
813:
804:
792:
787:
782:
774:
769:
764:
761:
742:
724:
722:
721:
716:
714:
710:
698:
697:
692:
683:
671:
669:
668:
663:
655:
647:
627:
625:
624:
619:
617:
601:frequency vector
598:
596:
595:
590:
588:
587:
582:
573:
561:
559:
558:
553:
551:
540:
535:
530:
525:
510:
508:
507:
502:
500:
499:
494:
481:
479:
478:
473:
470:
465:
460:
459:
458:
453:
438:
437:
432:
423:
422:
417:
404:
403:
398:
385:
383:
382:
377:
365:
363:
362:
357:
355:
354:
349:
340:
339:
334:
333:
323:
311:
309:
308:
303:
291:
289:
288:
283:
281:
280:
264:
262:
261:
256:
254:
253:
248:
247:
107:
21:
1357:
1356:
1352:
1351:
1350:
1348:
1347:
1346:
1322:
1321:
1299:H Scott Dumas.
1267:
1266:
1249:
1247:
1243:
1237:
1218:10.1.1.248.8987
1200:
1195:
1186:
1184:
1176:
1171:
1161:
1156:
1155:
1125:
1124:
1120:
1111:
1109:
1088:
1087:
1083:
1064:
1060:
1047:
1043:
1031:
1027:
1022:
990:
960:
959:
930:
929:
904:
899:
898:
879:
878:
850:
835:
805:
796:
734:
733:
702:
687:
674:
673:
638:
637:
608:
607:
577:
564:
563:
516:
515:
489:
484:
483:
448:
427:
412:
411:
393:
388:
387:
368:
367:
344:
327:
314:
313:
294:
293:
272:
267:
266:
241:
236:
235:
232:
216:
208:
189:Ian C. Percival
169:
149:invariant torus
133:
128:
105:
90:Vladimir Arnold
42:is a result in
28:
23:
22:
15:
12:
11:
5:
1355:
1353:
1345:
1344:
1339:
1334:
1324:
1323:
1320:
1319:
1297:
1288:
1283:
1264:
1255:
1235:
1193:
1169:
1160:
1157:
1154:
1153:
1134:(3): L57–L60.
1118:
1081:
1058:
1041:
1024:
1023:
1021:
1018:
1017:
1016:
1011:
1006:
1004:Ergodic theory
1001:
996:
989:
986:
973:
970:
967:
954:) is called a
943:
940:
937:
915:
909:
886:
875:
874:
861:
857:
853:
849:
844:
839:
834:
830:
823:
820:
812:
808:
803:
799:
795:
790:
786:
781:
777:
773:
768:
759:
756:
753:
750:
747:
741:
726:
713:
709:
705:
701:
696:
691:
686:
682:
661:
658:
654:
650:
646:
616:
586:
581:
576:
572:
550:
546:
543:
539:
534:
529:
524:
498:
493:
469:
463:
457:
452:
447:
444:
441:
436:
431:
426:
421:
416:
407:
402:
397:
375:
353:
348:
343:
338:
332:
326:
322:
301:
279:
275:
252:
246:
231:
228:
224:Michael Herman
215:
212:
207:
204:
168:
165:
132:
129:
127:
124:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1354:
1343:
1340:
1338:
1335:
1333:
1330:
1329:
1327:
1318:
1317:
1312:
1308:
1304:
1303:
1298:
1296:
1292:
1289:
1287:
1284:
1279:
1278:
1273:
1270:
1265:
1262:
1261:
1256:
1246:on 2016-03-03
1242:
1238:
1236:9780821826829
1232:
1228:
1224:
1219:
1214:
1210:
1206:
1199:
1194:
1182:
1175:
1170:
1167:
1163:
1162:
1158:
1149:
1145:
1141:
1137:
1133:
1129:
1122:
1119:
1107:
1103:
1099:
1095:
1091:
1090:Khesin, Boris
1085:
1082:
1078:
1075:
1071:
1068:
1062:
1059:
1056:(1962), 1–20.
1055:
1051:
1045:
1042:
1038:
1035:
1029:
1026:
1019:
1015:
1012:
1010:
1007:
1005:
1002:
1000:
997:
995:
992:
991:
987:
985:
971:
968:
965:
957:
941:
938:
935:
913:
884:
859:
851:
842:
832:
818:
810:
793:
788:
775:
757:
754:
751:
748:
745:
731:
727:
711:
703:
694:
684:
659:
656:
648:
635:
631:
630:
629:
604:
602:
584:
574:
544:
541:
532:
514:
496:
467:
461:
455:
445:
442:
439:
434:
424:
419:
405:
400:
373:
351:
336:
324:
299:
277:
273:
250:
229:
227:
225:
221:
213:
211:
205:
203:
199:
196:
192:
190:
186:
182:
177:
175:
174:quasiperiodic
167:Perturbations
166:
164:
162:
158:
154:
150:
146:
142:
138:
130:
125:
123:
121:
117:
114:because of a
113:
109:
108:-body problem
102:
97:
95:
91:
87:
83:
79:
75:
72:
71:quasiperiodic
68:
63:
61:
57:
53:
49:
45:
41:
37:
33:
19:
1314:
1300:
1295:Scholarpedia
1275:
1258:
1248:. Retrieved
1241:the original
1208:
1204:
1185:. Retrieved
1180:
1165:
1131:
1127:
1121:
1110:, retrieved
1106:the original
1101:
1084:
1076:
1073:
1069:
1066:
1061:
1053:
1049:
1044:
1036:
1033:
1028:
955:
876:
729:
633:
605:
600:
512:
233:
219:
217:
209:
206:Consequences
200:
197:
193:
184:
178:
170:
134:
101:Solar System
98:
82:Jürgen Moser
67:conservative
64:
39:
35:
31:
29:
1211:: 707–732.
730:Diophantine
234:A manifold
181:Cantor sets
137:phase space
18:KAM theorem
1326:Categories
1250:2006-06-06
1159:References
220:KAM theory
214:KAM theory
116:degeneracy
86:twist maps
1277:MathWorld
1213:CiteSeerX
1112:March 29,
956:KAM torus
939:≥
848:∖
833:∈
822:∀
811:τ
807:‖
798:‖
794:γ
789:≥
776:⋅
772:ω
752:τ
746:γ
740:∃
700:∖
685:∈
657:≠
653:ω
649:⋅
615:ω
575:∈
571:ω
549:ω
528:φ
462:⏟
446:×
443:⋯
440:×
425:×
342:→
321:φ
274:ϕ
230:KAM torus
191:in 1979.
126:Statement
1181:Preprint
988:See also
732:sense:
672:for all
183:, named
153:doughnut
1187:20 June
1136:Bibcode
1096:(ed.),
1039:(1954).
897:-torus
562:,where
386:-torus
185:Cantori
40:theorem
1309:
1233:
1215:
958:. The
825:
743:
634:a.k.a.
88:) and
1293:from
1244:(PDF)
1201:(PDF)
1177:(PDF)
1020:Notes
628:is:
74:orbit
1307:ISBN
1231:ISBN
1189:2012
1183:: 29
1114:2017
1054:1962
755:>
513:i.e.
161:tori
30:The
1223:doi
1144:doi
603:.
187:by
151:(a
58:of
36:KAM
1328::
1313:.
1274:.
1229:.
1221:.
1209:69
1207:.
1203:.
1179:.
1142:.
1132:12
1130:.
1100:,
1077:18
1070:18
1037:98
406::=
62:.
38:)
1280:.
1263:.
1253:.
1225::
1191:.
1150:.
1146::
1138::
972:1
969:=
966:d
942:2
936:d
928:(
914:d
908:T
885:d
873:,
860:}
856:0
852:{
843:d
838:Z
829:k
819:,
802:k
785:|
780:k
767:|
758:0
749:,
725:)
712:}
708:0
704:{
695:d
690:Z
681:k
660:0
645:k
585:d
580:R
545:=
542:t
538:d
533:/
523:d
497:d
492:T
468:d
456:1
451:S
435:1
430:S
420:1
415:S
401:d
396:T
374:d
352:d
347:T
337:d
331:T
325::
300:d
278:t
251:d
245:T
106:n
34:(
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.