Отображение Арнольда служит простейшей моделью взаимодействия двух несоизмеримых колебаний, например сезонного цикла и внутренней неустойчивости в климатической системе. В детерминированном случае при слабой нелинейности число вращения образует «лестницу дьявола»: оно постоянно на интервалах захвата частоты и монотонно растёт. Однако для описания нерегулярности Эль-Ниньо нужна сильная нелинейность и учёт короткопериодных возмущений, таких как порывы западного ветра, которые моделируются аддитивным шумом. Работа стоит рядом с исследованиями турбулентности и квантового хаоса, где шум также рассматривается как регуляризующий фактор, но здесь впервые строго исследуется случай сильной нелинейности в отображении Арнольда.
Авторы рассматривают стохастическое отображение Арнольда на окружности, где на каждом шаге к детерминированному сдвигу добавляется независимый равномерно распределённый шум. Для доказательства дифференцируемости числа вращения используется теория линейного отклика: показывается, что стационарная мера гладко зависит от параметра частоты, если оператор переноса является перемешивающим. Перемешивание проверяется с помощью компьютерно-поддерживаемых оценок, которые аппроксимируют оператор переноса конечномерным оператором и дают строгие границы на скорость сходимости к равновесию. Немонотонность числа вращения устанавливается путём сертифицированного вычисления стационарной меры с малой ошибкой в L1-норме для конкретных значений параметров.
Доказано, что при нелинейности ε ≥ 1 число вращения ρτ является дифференцируемой функцией параметра τ в каждой точке, где стохастическая система перемешивающая. Получена явная формула для производной через резольвенту оператора переноса и производную стационарной меры. Компьютерно-поддерживаемые оценки подтверждают перемешивание для ε = 1.4, ξ = 0.1 и τ ∈ [0.75, 0.8], что даёт дифференцируемость в этом интервале. Для ε = 1.4, ξ = 0.01 показано, что число вращения не является монотонным: при увеличении τ от 0.707 до 0.716 оно сначала убывает, а затем возрастает. Численные эксперименты указывают, что немонотонность исчезает при достаточно большом шуме (например, ξ = 0.05).
Работа отличается от соседних исследований тем, что впервые строго устанавливает дифференцируемость числа вращения для сильной нелинейности в присутствии шума, тогда как ранее это было известно только для диффеоморфизмов (ε < 1). Кроме того, обнаруженная немонотонность числа вращения при ε ≥ 1 контрастирует с монотонным поведением в слабонелинейном случае и указывает на возможность захвата частоты для несвязных областей параметров. Это расширяет понимание роли шума как регуляризатора в случайных динамических системах и связывает теорию линейного отклика с климатическими моделями.
Методы компьютерно-поддерживаемых оценок могут быть распространены на другие семейства отображений с шумом, включая системы с гауссовским шумом или с более сложными нелинейностями. Перспективно применение к промежуточным климатическим моделям, где аддитивный шум уже используется для параметризации подсеточных процессов. Также интересно исследовать, как немонотонность числа вращения влияет на предсказуемость Эль-Ниньо в моделях с иерархией сложности.
Результаты могут повлиять на моделирование Эль-Ниньо и других климатических колебаний, а также на анализ синхронизации в биологических системах, таких как сердечные аритмии и нейронные ритмы.
Следующим шагом может быть распространение доказательства дифференцируемости на случай переменной амплитуды шума и на отображения с более общими нелинейностями. Также важно изучить, при каких условиях немонотонность числа вращения возникает в реалистичных моделях ЭНЮК.
В теории динамических систем остаётся открытым вопрос о гладкости статистических свойств для систем с сильной нелинейностью без шума. Данная работа показывает, что шум может восстанавливать гладкость, но одновременно порождает новые явления, такие как немонотонность числа вращения, что связано с проблемой описания перехода к хаосу в случайных системах.
Название «лестница дьявола» для графика числа вращения отражает его ступенчатую структуру: на каждом рациональном значении частоты число вращения постоянно, а между ступенями происходят скачки. Добавление шума «сглаживает» эту лестницу, превращая её в гладкую кривую, но при сильной нелинейности лестница может изгибаться вниз, нарушая монотонность.