Однако, копаясь в этой теме, набрел на статью
В этой работе доказывается существование инвариантной глобально притягивающей окружности для отображения Пуанкаре. Для Вашей системы это очевидно, т.к. отображение Пуанкаре и есть отображение окружности на себя. Каким образом отсюда следует отсутствие хаоса? Ну представьте себе много-много длинных периодических орбит (пусть и одного периода), устойчивых и неустойчивых. А остальные точки отталкиваются от неустойчивых периодических орбит и притягиваются к устойчивым. Это практически хаос. А если продолжить этот процесс, то он и возникнет.
Я правда еще не понимаю, с чего там взяли (строго это нигде не доказывается), что отображение Пункаре сохраняет ориентацию и можно применять результаты теории вращений, рисуя языки Арнольда и тд. (в самой работе этот момент выражен неформально). Хотя теорию вращений можно развивать и для не монотонных отображений окружности, правда там много гадостей получается.
Кроме того, там есть интересное замечание на счет ссылки 13 (выкачивается
тут), где хаос численно обнаруживается при малых
. Автор исходной работы выражает сомнение, что там не учтены какие-то дополнительные силы, но как не трудно видеть, система по ссылке 13 входит в исследуемый автором класс. Так что...