Резонансный захват и специальные эргодические теоремы

Рыжов, Дмитрий Александрович

Резонансный захват и специальные эргодические теоремы тема автореферата и диссертации по математике, 01.01.02 ВАК РФ

Рыжов, Дмитрий Александрович АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Москва МЕСТО ЗАЩИТЫ

2012 ГОД ЗАЩИТЫ

01.01.02 КОД ВАК РФ

Диссертация по математике на тему «Резонансный захват и специальные эргодические теоремы»

Автореферат диссертации на тему "Резонансный захват и специальные эргодические теоремы"

Московский государственный университет имени М.В. Ломоносова Механико-математический факультет

На правах рукописи УДК 517

Рыжов Дмитрий Александрович

РЕЗОНАНСНЫЙ ЗАХВАТ И СПЕЦИАЛЬНЫЕ ЭРГОДИЧЕСКИЕ ТЕОРЕМЫ

01.01.02 — Дифференциальные уравнения, динамические системы и оптимальное управление

Автореферат

диссертации на соискание учёной степени кандидата физико-математических наук

Москва - 2012

005016791

Работа выполнена на кафедре дифференциальных уравнений Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научный руководитель: доктор физико-математических наук •

профессор Ильяшенко Юлий Сергеевич,

Официальные оппоненты: доктор физико-математических наук

профессор Гуревич Борис Маркович, Московский государственный университет, им. М. В. Ломоносова, механико-математический факультет, профессор кафедры математической статистики и случайных процессов

доктор физико-математических наук Буфетов Александр Игоревич, МИАН им. В. А. Стеклова, старший научный сотрудник отдела дифференциальных уравнений

Ведущая организация: Санкт-Петербургский государственный

университет

Защита диссертации состоится 25 мая 2012 г. в 16 час 40 мин на заседании диссертационного совета Д 501.001.85 при Московском государственном университете имени М. В.Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ, механико-математический факультет, ауд. 16-24.

С диссертацией можно ознакомиться в библиотеке Механико-математического факультета МГУ (Главное здание, 14 этаж).

Автореферат разослан 24 апреля 2012 г.

Ученый секретарь диссертационного совета Д 501.001.85 при МГУ, доктор физико-математических наук, профессор

В. Н. Сорокин

Общая характеристика работы

Актуальность темы.

Работа посвящена исследованиям в теории динамических систем, а также качественной теории дифференциальных уравнений, теории возмущений, эргодической теории и теории фракталов.

Согласно современной научной парадигме, основной задачей теории динамических систем является описание асимптотического поведения большинства траекторий типичной динамической системы. Такая формулировка требует пояснения нескольких вопросов: относительно какой меры рассматривается большинство траекторий; в каких терминах должно быть описано асимптотическое поведение; что означает термин "типичная динамическая система"?

У всех рассматриваемых в работе динамических систем фазовое пространство представляет собой компактное риманово многообразие. В этом случае риманова метрика каноническим образом порождает вероятностную меру Лебега. Тогда с физической точки зрения наиболее естественный способ описать „большинство траекторий" — это выбрать начальную точку траектории типичной относительно меры Лебега.

Асимптотическое поведение траекторий описывается в терминах инваг риантных мер. Пусть / : М -> М — отображение компактного риманова многообразия М в себя. Знаменитая эргодическая теорема Биркгофа гласит, что если д — эргодическая инвариантная мера для /, то для любой непрерывной функции <р € С(М) и для /л-почти любого х е М пространственные средние <рп функции <р в точке х сходятся к ее временному среднему Ср\

Заключение этой теоремы имеет один существенный недостаток: если мера ¡1 сосредоточена на каком-либо „тонком" множестве (например, в точке), мы не можем сделать никаких выводов относительно поведения системы вне этого множества. В частности, в этом случае эргодическая теорема не описывает поведение типичной начальной точки относительно меры Лебега.

Вышесказанное приводит нас к широко известному понятию меры Синая-Рюэлля-Боуэна (или, для краткости, 8ЕВ-меры). А именно, инвариантная вероятностная мера ^ называется (глобальной) 8Я.В-мерой для

п-1

(егд)

преобразования / : М —> М, если для всякой непрерывной функции р и для почти любой по мере Лебега точки х € М, временные средние функции (р в точке х стремятся к ее пространственному среднему (т. е. выполнено равенство (erg)).

Заметим, что не все системы обладают SRB-мерами. Первый пример такого рода, гетпероклинический аттрактор, был указан самим Боуэном 2. Однако в некоторых предположениях (например, в гиперболическом случае) можно гарантировать их существование 3' 4.

На протяжении последних 100 лет, в теории динамических систем развивались два конкурирующих подхода к понятию типичности в семействе (классе) динамических систем: топологический (множество 1-й категории по Бэру) и метрический (множество полной меры). Разнообразные примеры, показывающие различие между понятиями метрической и топологической типичности, можно найти в статье Ханта, Зауэра и Йорка5. В настоящее время наиболее широко распространена точка зрения, предложенная А. Н. Колмогоровым в пленарном докладе на Международном Математическом Конгрессе в 1954 г. в Амстердаме 6: „Категорный подход интересен в большей степени как инструмент для доказательства теорем существования..., тогда как метрический подход представляется более естественным и физически мотивированным...".

Таким образом, рассматривая определенный бесконечномерный класс динамических систем, типичность некоторого явления в этом классе следует понимать следующим образом: оно наблюдается при почти всех (по мере Лебега) значениях параметра в репрезентативных конечнопарамет-рических семействах динамических систем 7. В частности, если некоторое свойство выполняется для произвольного малого возмущения динамической системы (в данном классе), то оно является локально типичным и

'F. Takens, Heteroclinic attractors: time averages and moduli of topological conjugacy. Bol. Soc. Bras-Mat. 25:1 (1994), 107-120.

2T. Golenishcheva-Kutuzova, V. Kleptsyn. Non-convergence of the Krylov-Bogolubov procedure for the Bowen's example. Mathematical Nates, 82:5 (2007), 678-689

3L.-S. Young. What are SRB measures, and which dynamical systems have thein? J. Statist. Phys., 108 (2002), 733-754.

4L. Barreira, Ya. Pesin. Smooth Ergodic Theory and Nonuniformly Hyperbolic Dynamics. In: Handbook o} dynamical systems. Vol. IB, 57-263. Editors: B. Hasselblatt, A. Katok. Elsevier, Amsterdam, 2006.

SB. Hunt, T. Sauer, J. A. Yorke Prevalence: a translation invariant almost every for infinite dimensional spaces. Bull. Am. Math. Soc., 27 (1992), 217-238; Prevalence: an addendum, 28, (1993) 306-307 n. Kolmogorov. Theorie generale des syte'mes dynamiques et mecanique classique. Proc. of

International Congress of Mathematicians, Amsterdam, 1954,1, 315-333. North-Holland, Amsterdam, 1957.

7M. Lyubich. The quadratic family as a qualitatively solvable model of chaos. Notices of the AMS, 47:9 (2000), 1042-1052

„физически значимым".

Заметим также, что одна из возможных аккуратных формализация понятия метрической типичности в бесконечномерных класссах динамических систем (метрическая превалентность) принадлежит В. Ю. Калоши-ну8 9.

Настоящая диссертация посвящена исследованию типичности свойств динамических систем различных классов и анализу множества нетипичных начальных условий при наличии у системы глобальной SRB-меры.

Первая глава диссертации посвящена исследованиям свойств неавтономных вещественных дифференциальных уравнений на торе Т2 = M2/2ttZ2 вида

х = sin а; + а + ef(t) + дд(х), (*)

где функции fag 27г-периодические, а функция д(х) нечетна.

При <5 = 0 семейство (*) превращается в уравнение

х = sinx + о + e/(i), (**)

которое рассматривается не только при малом, но и при любом е.

Такие уравнения порождают векторные поля на торе с глобальной трансверсалью {t — 0}. Ключевым параметром, описывающим поведение системы, является число вращения отображения первого возвращения на эту трансверсаль (отображения Пуанкаре). Если это число рационально, то все траектории рекуррентны к периодическим, а если оно иррационально, то система демонстрирует иррегулярное поведение 10.

Специфика рассматриваемых семейств уравнений и особенная значимость числа вращения отображения Пуанкаре обусловлены тем, что такие уравнения успешно используются для моделирования динамики перехода Джозефсона п>12, ls. Мы будем называть уравнение (**) уравнением класса Д (в честь Джозефсона). Изучение этих уравнений и рассматриваемые в

8В. Ю. Калошин. Превалентность в пространствах конечногладких отображений. Функц. анализ и его прш., 31:2 (1997), 27-33

°В. Ю. Калошин. Некоторые превалеитные свойства гладких динамических систем. Тр. МИАН, 213 (1997), 123-151

10L. Barreira, Ya. Pesin. Smooth Ergodic Theory and Nonuniformly Hyperbolic Dynamics. In: Haridbook of dynamical systems. Vol. IB, 57-263. Editors: B. Hasselblatt, A. Katok. Elsevier, Amsterdam, 2006.

"К. К. Лихарев, В. E. Ульрих. Системы с джозефсоиовскими контактами. М.: Изд-воМГУ, 1978

12В. В. Шмидт. Введение в физику сверпроводников. М.: МЦНМО, 2000

"О. V. KarpOv, V. М. Buchstaber, S. I. Tertychniy, J. Niemeyer, O. Kieler. Modeling of rf-biased overdamped Josephson junctions. J. Appl. Phys., 104:9 (2008), 093910.

работе проблемы мотивированы вопросом о том, какова зависимость среднего значения напряжения от среднего значения тока в джозефсоновском переходе. Результаты работы могут иметь приложения как в теоретической физике, так и в технике.

Приведем физическую интерпретацию этого уравнения.

В 1962 г. Б. Джозефсон теоретически обосновал возможность появления сверхпроводящей компоненты для тока, протекающего через слабый электрический контакт двух сверхпроводящих электродов (такой контакт называется джозефсоновским переходом). Через год существование этого эффекта (названного позже эффектом Джозефсона) было подтверждено экспериментально.

Предположим, что через джозефсоновский переход протекает заданный ток г(£) = г+г(£) (например, ток порождается переменным электромагнитным полем — внешним сигналом), который разлагается в сумму постоянного слагаемого г и периодического слагаемого i с нулевым средним. Напряжение на электродах джозефсоновского перехода задается производной по времени от функции . В то время как функция ф описывает макро-физическую величину (напряжение на полюсах ), сама функция <р имеет квантово-механическую природу. Это — разность фаз волновых функций, описывающих коллективные свойства "жидкости" куперовских пар электронов в сверхпроводящих электродах.

Для описания поведения джозефсоновского перехода успешно используется так называемая резистивная модель с малой ёмкостью (большим затуханием), которая задается следующим уравнением в безразмерных переменных 14, 15:

+ = »(4), (рЬ)

где Г — нечетная 27г-периодическая функция. В физической литературе функция ^ называется токо-фазовой зависимостью- Для большинства конкретных реализаций джозефсоновского перехода она имеет вид

^(у) = вт + Я(<р),

причем слагаемое Н либо тождественно равно нулю, либо мало, и им часто пренебрегают. Однако существуют и другие конструкции джозефсоновского перехода, для которых функция .Р далека от синуса. К ним относится,

14К. К. Лихарев, Б. Е. Ульрих. Системы с джозефсоповскими контактами. М.: Изд-во МГУ, 1978

"В. В. Шмидт. Введение в физику сверпроводников. М.: МЦНМО, 2000

например, т. н. SNS-сэндвич, с прослойкой из чистого металла и при очень низких температурах 16.

Следует отметить, что уравнение (ph) приводилось как моделирующее поведение сильношунтированного джозефсоновского перехода во множестве источников, в том числе в знаменитых Фейнмановских лекциях по физике 17. Однако правомерность рассмотрения такой модели и высокое соответствие результатам эксперимента было получено лишь сравнительно недавно в работах В. М. Бухштабера и соавторов 18' 13.

Отметим также, что то же самое уравнение (**) описывает велосипедные траектории и динамику планиметра Притца 20' 21.

Уравнение (ph) при малом H = ôg и малом i = ef имеет вид (*) (мы заменяем ¡р на х и i на а). Зависимость среднего (по времени) значения напряжения ф от среднего значения тока в уравнении (ph) называется вольт-амперной характеристикой джозефсоновского перехода. В обозначениях уравнения (*), для описываемого этим уравнением джозефсоновского перехода среднее значение напряжения является числом вращения отображения Пуанкаре за время 27т, рассматриваемого как функция от параметра а при фиксированных е и <5; ниже эта функция обозначается через р. Действительно, среднее значение напряжения за время Т — это значение фазы <р{Т), деленное на время Т. По определению, это число вращения уравнения (*).

Отображение Пуанкаре для уравнения (*) обозначим через Р. Пусть Л = Л (a, s, S) := limn-ioo р — его число вращения. Здесь Р - поднятие отображения Пуанкаре на универсальную накрывающую. Соответственно, всюду далее число вращения понимается не как элемент из S1, а как элемент из М, и на окружности длины 2я уравнение ф = А имеет число вращения, равное А.

Соображения, приведенные выше, показывают, что вопрос о свойствах вольт-амперной характеристики джозефсоновского перехода в резистив-ной модели с большим затуханием эквивалентен вопросу о зависимости

1бВ. В. Шмидт. Введение в физику сверпроводников. М.: МЦНМО, 2000

17Р. ФеЙНМАН, Р. Лейтон, М. Сэндс. Фейимановские лекции по физике. Современная наука о природе, полный курс общей физики, в 9 вып. М.: ЛКИ (2007)

1вО. V. Karpov, V. M. Buchstaber, S. I. Tertychniy, J. Niemeyer, О. Kieler. Modeling of rf-biased overdamped Josephson junctions. J. Appl. Phys., 104:9 (2008), 093910.

19B. M. Бухштабер, О. В. Карпов, С. И. Тертычный. Эффект квантования числа вращения. ТМФ, 162:2 (2010), 254-265.

20R. L. Foote. Geometry of the Prytz Planimeter. Reports on Math. Phys., 42:1/2 (1998), 249-271 Levi, S. Tabachnikov. On bicycle tire tracks geometry, hatchet planimeter, Menzm's conjecture

and oscillation of unicycle tracks. Experiment. Math. 18:2 (2009), 173-186.

числа вращения отображения Р от параметра а.

В типичных конечнопараметрических семействах диффеоморфизмов окружности число вращения принимает каждое рациональное значение в целой области пространства параметров 22. Такие области называются языками Арнольда или зонами захвата фазы. В физической литературе соответствующие ступеньки на вольт-амперной характеристике называются ступеньками Шапиро.

Для уравнений класса Д структура языков Арнольда резко "отличается от типичной. А именно, захват фазы в семействе уравнений (**) происходит только при целых значениях числа вращения. В работе Бухштабера, Карпова и Тертычного 23 это явление названо квантованием числа вращения.

Впервые этот факт был доказан Футом 24. Впоследствии он был обобщен Леви и Табачниковым 25 на аналогичные уравнения в большей размерности. В контексте динамики джозефсоновского перехода он был впервые опубликован в В. Бухштабером, О. Карповым и С. Тертычным 26.

Наиболее простое известное автору доказательство было предложено Ю. Ильяшенко и опубликовано в совместной работе с Д. Рыжовым и Д. Филимоновым 27. Оно основано на том, что замена у = tg | переводит уравнение (**) в уравнение Риккатти на проективной прямой с периодическими коэффициентами. Преобразование монодромии такой динамической системы за период дробно-линейно. Следовательно, когда отображение Пуанкаре является гиперболическим (имеет две неподвижные точки на окружности), число вращения целое, а параметры принадлежат зоне захвата фазы. Когда это отображение параболическое (неподвижные точки сливаются), параметры выходят на границу зоны захвата. Когда отображение Пуанкаре эллиптическое (неподвижные точки уходят в комплексную область), оно приводится к повороту дробно-линейным преобразованием независимо от того, рационально число вращения или нет.

22А. Б. Каток, Б. Хасселблат. Введение в современную теорию динамических систем. М., Факториал (2000)

23В. М. Бухштабер, О. В. Карпов, С. И. Тертычный. Эффект квантования числа вращения. ТМФ, 162:2 (2010), 254-265.

24R. L. Foote. Geometry of the Prytz Planimeter. Reports on Math. Phys., 42:1/2 (1998), 249-271

2SM. Levi, S. Tabachnikov. On bicycle tire tracks geometry, hatchet planimeter, Menzin's conjecture and oscillation of unicycle tracks. Experiment. Math. 18:2 (2009), 173-186.

2бВ. M. Бухштабер, О. В. Карпов, С. И. Тертычный. Эффект квантования числа вращения. ТМФ, 162:2 (2010), 254-265.

27Ю. С. Ильяшенко, Д. А. Рыжов, Д, А. Филимонов. Захват фазы для уравнений, описывав ющих резисгивпую модель джозефсоновского перехода, и их возмущений. Фупкц. анализ и его прил., 45:3 (2011), 41-54

Итак, для семейства (*) при 5 = 0 ступеньки Шапиро появляются только при целых значениях числа вращения. Однако приведенный выше анализ показывает, что рассмотрение семейства при (*) при также физически мотивировано. Поэтому возникает естественный вопрос: каким образом происходит захват фазы в семействе (*) ?

Основные результаты главы 1 показывают, что типичное возмущение синусоидальной токо-фазовой зависимости порождает счетное число зон захвата фазы, расположенных недискретно. Типичность понимается в указанном выше метрическом смысле. Таким образом, захват фазы в семействе (*) происходит совсем иначе, нежели в семействе (**), и во многом напоминает захват в типичных конечнопараметрических семействах диффеоморфизмов окружности. Это является принципиально новым явлением в теоретическом моделировании ступенек Шапиро.

Вторая и третья главы диссертации относятся к эргодиче-ской теории.Мотивировкой для изучения задач, которые рассматриваются в этих главах, служит вопрос об устойчивости различных метрических свойств динамических систем, таких как наличие толстого аттрактора 28 или аттракторов с перемежающимися бассейнами притяжения 29'30'31.

Один из возможных подходов к доказательству локальной типичности некоторого свойства в классе (достаточно гладких) динамических систем на компактном римановом многообразии был предложен А. С. Городецким и Ю. С. Ильяшенко. Он заключается в следующем.

28Yu. ILYASHENKO. Thick atcractors of boundary preserving diffeornorphisms. Indagationes Mathematicae, 22:3-4 (2011), 257-314

29I. Kan. Open sets of diffeornorphisms having two attractors, each with everywhere dense basin. Bull. Amer. Math. Soc., 31:3 (1994), 68-74

30Yu. Ilyashenko, V. Klepstyn, P.Saltykov. Openness of the set of boundary preserving maps of an annulus with intermingled attracting basins. Journal oj Fixed Point Theory and Applications, 3:2 (2008), 449-463.

31V. Kleptsyn, P. Saltykov. On C2-stably intermingled attractors in the classes of boundary-preserving maps. Transactions oj Moscow Mathematical Society, 72:2 (2011)

отображений с помощью отображения, сопрягающего гладкое отображение с косым произведением. При определенных условиях на отображение (dominated splitting), такое сопрягающее отображение обязано существовать 32. Проблема состоит в том, что оно может не являться абсолютно непрерывным относительно меры Лебега, а такие отображения могут переводить множество полной меры Лебега в множество меры ноль и наоборот. Это явление называется кошмаром Фубини 33' 34 (потому что заключение теоремы Фубини не выполняется при очень похожих предположениях). Оно не позволяет напрямую переносить метрические свойства динамической системы с косого произведения на его возмущения.

Однако при определенных предположениях на возмущаемое косое произведение, сопрягающее отображение оказывается гёльдеровым 35. Более того, малостью возмущения можно добиться того, чтобы показатель Гёль-дера был равномерно стремился к 1 при стремлении возмущения к нулю в подходящей метрике 36.

Из сказанного выше следует, что даже существования глобальной SRB-меры иногда оказывается недостаточно. В некоторых ситуациях 37' 38, 39 необходимо не только утверждение о том, что множество "плохих" начальных точек имеет нулевую меру Лебега, но и сохранение этого свойства при гёльдеровом (но не обязательно абсолютно непрерывном!) сопряжении динамических систем. "Плохим" множеством обычно оказывается множество существенно нетипичных точек относительно SRB-меры, то есть множество тех начальных условий, для которых утверждение "временные средние сходятся к пространственному" (равенство (erg)) не выполняется "существенно".

Один из возможных подходов к этой проблеме основан на анализе хаусдорфовой размерности этого множества. Действительно, как извест-

им. Hirsch, С. Pugh, М. Shub Invariant manifolds. Lecture Notes in Math., 583 (1977).

33J. Milnor. Fubini foiled: Katok's paradoxical example in measure theory. Math. Intelligencer, 19:2 (1997), 30-32

31M. Shub and A. Wilkinson. Pathological foliations and removable zero exponents. Invent. Math., 139 (2000), 495—508

35 а. С. городецкий. Регулярность центральных слоев частично гиперболических множеств и приложения. Изв. РАН. Сер. матем., 70:6 (2006), 19-44

36Yu, Ilyashenko, A. Negut. Holder properties of perturbed skew products and Fubini regained. E-print:, http://arxiv.org/abs/1005.0173

37Yu, Ilyashenko, V. Klepstyn, P.Saltykov. Openness of the set of boundary preserving maps of an annulus with intermingled attracting basins. Journal of Fixed Point Theory and Applications, 3:2 (2008), 449-463.

38Yu. Ilyashenko, A. Negut. Holder properties of perturbed skew products and Fubini regained. E-print:, http://arxiv.org/abs/1005.0173

39V. Kleptsyn, P. Saltykov. On CJ-stably intermingled attractors in the classes of boundary-preserving maps. Transactions of Moscow Mathematical Society, 72:2 (2011)

но 40, хаусдорфову размерность несложно проконтролировать с помощью показателя Гёльдера: если отображение h гёльдерово с показателем а, а dim# М — d, то dim# h(M) < d/a. Отсюда следует, что если хаусдор-фова размерность d множества М меньше размерности многообразия, то близостью показателя Гёльдера а к 1 можно добиться того, чтобы число d/a также было меньше размерности многообразия. В этом случае, образ "плохого" множества по-прежнему будет иметь нулевую меру Лебега, и сложность, связанная с кошмаром Фубини, будет преодолена.

Это приводит к предложенному Ю. С. Ильяшенко понятию специальной эргодической теоремы, которому посвящены вторая и третья главы настоящей диссертации. Введем несколько вспомогательных обозначений.

Выберем произвольную непрерывную тест-функцию ¡р е С(М) и произвольное число а > 0, и определим множество (<р, а)-нетипичных точек как

KVta := ^ х € X: lim \<рп(х) - ф\ > а \ .

к п—юо J

Другими словами, — это описанное выше "плохое" множество, т.е. множество тех начальных условий, для которых утверждение "временные средние сходятся к пространственному" не выполняется "существенно".

По определению, если р, — глобальная SRB-мера, то Leb(i^o) = 0. Везде ниже мы будем работать в этом предположении. Иначе наше все наши расссуждения можно ограничить на бассейн притяжения U С М этой меры — то есть, на (инвариантное) множество всех точек, для которых выполняется равенство (erg) временных и пространственного средних.

Будем говорить, что для (/, р) выполняется специальная эргодическая теорема (СЭТ), если для всякой непрерывной функции ¡p е С(М) и любого а > 0 хаусдорфова размерность множества строго меньше размерности фазового пространства:

VV е С(М), а > 0 dimtf Kv¡a < dim М. (set)

Заметим, что, формально говоря, для того, чтобы сформулировать вопрос о выполнении специальной эргодической теоремы, нет необходимости требовать существования SRB-меры. Однако из свойства (set) автоматически вытекает, что р, — глобальная SRB-мера. Действительно, множество тех точек, для которых равенство (erg) временных и пространственного средних не выполняется, может быть покрыто счетным объединением множеств KVti/„, п е N, нулевой меры Лебега.

40К. Falconer. fVactal geometry: mathematical foundations and applications. New York, 1990.

Введя понятие специальной эргодической теоремы, Ю. С. Ильяшенко доказал 41, что она выполняется для отображения удвоения окружности; затем П. С. Салтыков доказал 42, что она выполняется также для линейных отображений Аносова на двумерном торе. Похожие вопросы также были рассмотрены в работе Б. М. Гуревича и А. А. Темпельмана 43, посвященной вычислению хаусдорфовой размерности множеств уровня биркгофовских средних для конечных спиновых решеток.

Возникают естественные вопросы:

• для каких отображений выполняется специальная эргодическая теорема?

• верно ли, что специальная эргодическая теорема выполнена во всех случаях, когда у отображения есть глобальная SRB-мера?

Вторая часть диссертации посвящена доказательству специальной эргодической теоремы для более широкого класса отображений, а также потоков (определение СЭТ для потоков приведено ниже). В ней доказано, что специальная эргодическая теорема является следствием другого свойства системы, а именно, динамического принципа больших уклонений. Отсюда следует, что специальная эргодическая теорема выполняется, например, для всех транзитивных гиперболических С2-диффеоморфизмов, для частично гиперболических неравномерно растягивающих С'-диффеоморфизмов, а также для некоторых других примеров, которые будут описаны в части 2.

В третьей части диссертации дается отрицательный ответ на последний вопрос: приводится пример такого диффеоморфизма замкнутого риманова многообразия, для которого специальная эргодическая теорема не выполняется, несмотря на наличие глобальной SRB-меры.

Актуальность работы следует из вышесказанного.

Цель работы. Целью первой части работы является изучение языков Арнольда для отображения Пуанкаре уравнения (*) и анализ асимптотики их размера при малых возмущениях.Полученные результаты показывают, что структура языков Арнольда для отображения (**) и его возмущений (*) существенно различаются. Целью второй части работы является

41 Yu. Ilyashenko, V. Klepstyn, P.Saltykov. Openness of the set of boundary preserving maps of an aimuius with intermingled attracting basins. Journal of Fixed Point Theory and Applications, 3:2 (2008), 449-463.

42P. Saltykov. Special ergodic theorem for Anosov diffeomorphisms on the 2-torus. Functional Analysis and its Applications, 45:1 (2011), 69-78.

43Б. M. Гуревич, А. А. Темпельман. Хаусдорфова размерность множества типичных точек для гиббсовских мер. Функциональный анализ и приложения, 36:3 (2002), 68-71.

расширение достаточных условий выполнения специальной эргодической теоремы для дискретных и непрерывных динамических систем, обладающих ЭИВ-мерой. Целью третьей части работы является демонстрация того, что наличия глобальной ЭЛВ-меры недостаточно для выполнения специальной эргодической теоремы. Построенный в третьей части пример разрешает указанную проблему.

Научная новизна. Результаты работы являются новыми. В работе получено два основных результата:

• Доказано, что эффект отсутствия языков Арнольда в уравнениях вида (*), отвечающих дробным значениям числа вращения, наблюдается в семействе уравнений, имеющим коразмерность бесконечность в пространстве всех уравнений, моделирующих джозефсоновский переход.

• Доказано, что выполнение специальной эргодической теоремы для липшицева преобразования следует из выполнения динамического принципа больших уклонений, и описаны многочисленные случаи, когда описанная импликация применима. Построен пример бесконечно гладкого диффеоморфизма компактного многообразия, которое обладает глобальной БПВ-мерой, но для которого специальная эргодиче-ская теорема не выполняется.

Теоретическая и практическая ценность. Работа носит теоретический характер. Полученные результаты относятся к качественной теории дифференциальных уравнений, эргодической теории и теории динамических систем. Разработанная в диссертации техника и полученные результаты могут быть полезны специалистам для решения физических задач по анализу ступенек Шапиро на вольт-амперных характеристиках, а также математических задач, связанных с типичностью метрических свойств аттракторов динамических систем.

Апробация работы. Результаты диссертации докладывались и обсуждались на следующих семинарах и конференциях:

• на семинаре кафедры дифференциальных уравнений механико-математического факультета МГУ под руководством д. ф.-м. н., проф. Ю. С. Ильяшенко в 2009-2011 гг (неоднократно);

• на семинаре кафедры математической статистики и случайных процессов механико-математического факультета МГУ под руководством д. ф.-м. н., проф. Б. М. Гуревича в 2012 г.;

• на семинаре Добрушинской лаборатории ИППИ им. Харкевича (Москва) под руководством д.ф.-м.н., с.н.с. М. JI. Бланка в 2011 г.;

• на семинаре «Динамические системы» лаборатории им. Чебышева при СПбГУ (Санкт-Петербург) под руководством д. ф.-м. н., с.н.с. С. Г. Крыжевича в 2011 г. (неоднократно);

• на семинаре по динамическим системам отделения математики Кор-нельского университета (Cornell University, Ithaca, USA) в-2011 г.;

■ • на семинаре отдела дифференциальных уравнений в МИАН им. В. А. Стеклова под руководством акад. Д. В. Аносова в 2011 г.;

• на Международной конференции «Dynamical systems and classical mechanics: a conference in celebration of Vladimir Arnold 1937 - 2010» (Великобритания, Эдинбург, ICMS, 3-7 октября 2011 г.);

• на семинаре «Динамические системы» в Независимом Московском Университете под руководством автора в 2010-2011 гг;

• на летней школе «Динамические системы» под руководством д. ф.-м. н., проф. Ю. С. Ильяшенко в 2011 г.

Публикации. Основные результаты работы опубликованы в двух статьях [1-2]; первая публикация входит в перечень ВАК.

Структура работы. Диссертация состоит из введения, трех глав и списка литературы, содержащего 43 наименования. Общий объем диссертации — 90 страниц.

Содержание диссертации

В главе 1 изучается фазовый захват в семействе (*). Для исследования семейства (*) достаточно изучить семейства вида

х = sina; + а + esinlt + 5s\xikx (***)

при различных целых I и к.

Рассмотрим такое семейство как малое возмущение интегрируемого семейства

х = sina; + а, х е S1.

Пусть, как и выше, А = А(о, е, 5) — это число вращения отображения Пуанкаре системы (***). При |а| ^ 1 система из последнего семейства имеет особые точки и А(а, 0,0) = 0. Поэтому всюду ниже будем считать, что

|о| > 1. В разделе 1.2 показано, что в этом случае Л(а, 0,0) = Va2 - 1. Область захвата фазы (язык Арнольда) в системе (***), соответствующая числу вращения A = p/q- это множество Tp/q = {(а, е, <5) | А(а, с, 6) = p/q} при условии, что в любой окрестности точки (а = %¿p2/q2 + 1,0,0) внутренность этого множества непуста.

Сформулируем основные результаты главы 1.

Теорема 1. В семействе (***) при любом I и\к\-2 происходит захват фазы для любого рационального числа вращения p/q при р = ±1 и |g| > 1. Соответствующие языки Арнольда имеют ширину порядка е<5.

Последняя фраза означает, что при достаточно малых е, 6 сечение языка Арнольда ТЛ прямой {е, ó = const} имеет длину, заключенную между CieS и Сг£(5, где C¡ = C¿(А) - положительные константы. При |fc| > 2 доказан несколько более слабый результат.

Теорема 2. В семействе (***) при любом I и |fc| > 2 происходит захват фазы для любого рационального числа вращения p/q при р = ±1 и всех q, кроме, быть может, 14fc + 20 значений. Соответствующие языки Арнольда имеют ширину порядка е5.

Суммируя результаты предыдущих двух теорем, мы приходим к следующему выводу.

Теорема 3. Пусть в семействе (*) функция f имеет вид

f{t) = ^ ai sin It + b¡ cos It,

ag = sin kx, |fc| > 1. Тогда для типичного набора параметров a¡, b¡ захват фазы в семействе (*) происходит при всех рациональные числах вращения р/q (кроме, быть может, 14&+20 значений q при каждом фиксированном р). Соответствующие языки Арнольда имеют ширину порядка еб.

Теорема 1 доказана в параграфе 1.4.1, который предваряется выводом выпрямляющей замены (раздел 1.2) и сведениями из теории Галкина (раздел 1.3). Теорема 2 доказана в параграфе 1.4.2. В последнем параграфе главы 1 из нее выводится теорема 3, которая устанавливает существование плотного множества языков Арнольда для наиболее общего возмущения семейства (*).

Теоремы 1 и 2 доказаны методами теории возмущений. Доказательства заканчиваются, когда удается показать, что в соответствующих рядах появляется резонансный моном с ненулевым коэффициентом. Этот коэффициент в условиях теоремы 1 удается точно вычислить. В условиях теоремы 2 его удается описать и доказать, что он отличен от нуля при всех значениях <2, кроме конечного числа (равного 14А; + 20).

Таким образом, джозефсоновские контакты с токо-фазовыми характеристиками, которые описываются уравнениями класса Д, с одной стороны, и возмущениями этого уравнения, с другой, обладают совершенно различными вольт-амперными характеристиками. Тем самым, физически значимый эффект отсутствия ступенек Шапиро, отвечающих дробным значениям числа вращения, описывается семейством уравнений, имеющим коразмерность бесконечность в пространстве всех уравнений (*). Необходимо подчеркнуть парадоксальность этого явления в свете философии "общности положения", восходящей к Арнольду и Тому.

Приступим к изложению результатов главы 2. Пусть / : М ->■ М — отображение компактного риманова многообразия М в себя. Напомним, по произвольной непрерывной тест-функции (р е С(М) и произвольному числу а > 0 мы определяем множество ((/?, а)-нетипичных точек как

Мы предполагаем, что ц — глобальная БИВ-мера, и ЬеЬ^^о) = 0 (иначе наше все расссуждения можно ограничить на бассейн притяжения V с М этой меры).

Определение. Будем говорить, что для (/, ц) выполняется специальная эргодическая теорема, если для всякой непрерывной функции € С(М) и любого а > 0 хаусдорфова размерность множества строго меньше размерности фазового пространства:

Основные результаты главы 2 состоят в следующем.

Теорема 4. Пусть / : М М — липшицево отображение компактного риманова многообразия М в себя, а р. — глобальная ЗКВ-мера. Если выполняется динамический принцип больших уклонений по отношению к лебеговой мере, то для такого отображения выполняется и специальная эргодическая теорема.

Ур £ С(М), а > 0 сКтя < сНт М.

Следствие 1. Специальная эргодическая теорема выполняется:

• для транзитивных гиперболических аттракторов С2-гладких диффеоморфизмов; в частности, для транзитивных С"2-гладких диффеоморфизмов Аносова;

• для стохастических отображений из вещественного квадратичного семейства f(x) = х2 + с;

• для типичных отображений из С2-гладких унимодальных семейств общего положения;

• для частично гиперболических неравномерно растягивающих С1-гладких диффеоморфизмов;

• для лоренцеобразных отображений.

Вышеизложенное можно легко перенести на случай потоков. Пусть {/J — поток на компактном римановом многообразии М, с инвариантной мерой /х. Возьмем непрерывную функцию <р 6 С(М) и точку х € М, и обозначим среднее значение функции за время Т > 0 как

¿=о

Так же, как и для отображений, по непрерывной функции (р е С(М) и числу а > 0 можно определить множество (</?, а)-нетипичных точек:

Определение. Для потока F с инвариантной мерой ц выполняется специальная эргодическая теорема, если для каждой непрерывной функции <р в С(М) и всякого ос > 0 хаусдорфова размерность множества строго меньше размерности фазового пространства:

Теорема 5. Пусть ¡1 — инвариантная мера для потока {/¡} на компактном римановом многообразии М. Предположим, что /х : М —> М — липшицево отображение многообразия М в себя. Если для ({Л},^), выполнен принцип больших уклонений по отношению к мере Лебега, то для ({/<}> А1) выполнена и специальная эргодическая теорема.

€ С(М), а > 0 dim/, < dim М.

Следствие 2. Специальная эргодическая теорема выполняется для ано-совских, лоренцевых и геометрических лоренцевых потоков.

Главным результатом главы 3 является следующая теорема.

Теорема 6. Существует С°°-гладшй диффеоморфизм замкнутого многообразия, который обладает глобальной вЯВ-мерой, но для которого специальная эргодическая теорема не выполняется.

Доказательство конструктивное: приведен пример такого диффеоморфизма. Размерность фазового пространства в этом примере равна 4. Оно гомеоморфно прямому произведению двух экземпляров 53 х 51, см. парат граф 3.4.5.

Основная идея построения примера состоит в том, чтобы начать с множества, имеющего нулевую меру Лебега и полную хаусдорфову размерность, а затем попробовать сконструировать такое преобразование, для которого это множество является (<р, а)-нетипичным для некоторой тест-функции <р и некоторого а > 0. Для этого мы сперва описываем семейство подмножеств отрезка, имеющих нулевую меру Лебега и хаусдорфову размерность 1. Мы можем построить лишь разрывное преобразование, для которого множество из этого семейства являлось бы (</?, а)-нетипичным, поэтому увеличиваем размерность с 1 до 4, последовательно устраняя разрывность и негладкость отображения. Этому посвящены разделы 3.1-3.4 главы 3, пронумерованные в соответствии с размерностью фазовых пространств обсуждаемых в них динамических систем.

Сама теорема доказана в параграфе 3.4.4. Доказательство состоит из четырех шагов. На первом шаге мы строим пример гладкого отображения компактного многообразия с кусочно гладкой границей внутрь себя. Такой пример (с БИВ-мерой, но для которого СЭТ не выполняется) немедленно получается с помощью конструкций, описанных в предыдущих разделах. Остальные три шага посвящены усовершенствованию примера: построению примера на многообразии с гладкой границей, затем построению взаимно однозначного отображения на том же многообразии, и, наконец, построению диффеоморфизма замкнутого мнообразия (избавлению от границы).

Я чрезвычайно признателен моему учителю, професору Юлию Сергеевичу Ильяшенко, за постановку задач, постоянное внимание и интерес к работе, многочисленные плодотворные обсуждения и ценные замечания, а также за создание великолепной научной атмосферы на семинаре и летних школах, проходивших под его руководством.

Я признателен участникам вышеупомянутого семинара; в особенности — В. А. Клепцыну за многочисленные обсуждения и идеи, использованные при получении результатов глав 2 и 3, а также за внимание к работе и постоянное расширение моего научного кругозора.

Я благодарен В. М. Бухштаберу, который обратил мое внимание и внимание моих соавторов на уравнение класса Д.

Кроме того, выражаю свою признательность руководителям Лаборатории им. Чебышева при СПбГУ С. К. Смирнову, Д. С. Челкаку и С. Г. Крыжевичу за создание замечательного научного коллектива, в котором я работал в течение 2011 года.

Работы автора по теме диссертации

1. Ю. С. Ильяшенко, Д. А. Рыжов, Д. А. Филимонов. Захват фазы для уравнений, описывающих резистивную модель джозефсо-новского перехода, и их возмущений. Функц. анализ и его прил., 45:3 (2011), 41-54

В работе „Захват фазы для уравнений, описывающих резистивную модель джозефсоновского перехода, и их возмущений." Ю. С. Ильяшенко принадлежит доказательство отсутствия языков Арнольда, отвечающих дробным значениям числа вращения, для невозмущенной системы, а также идея использования методов теории возмущений, Д. А. Филимонову принадлежит часть введения, касающаяся физической мотивировки результатов, и некоторые идеи, использованные при доказательстве теоремы о возмущениях общего вида. Основные доказательства принадлежат Д. А. Рыжову.

2. Д. А. РЫЖОВ. Пример диффеоморфизма, для которого специальная эргодическая теорема не выполняется. Деп. в ВИНИТИ, №87-В2012, 30 с.

Отпечатано в отделе оперативной печати Геологического ф-та МГУ Тираж [О 0 экз. Заказ № 2 О

. ! Ч

Текст научной работы диссертации и автореферата по математике, кандидата физико-математических наук, Рыжов, Дмитрий Александрович, Москва

61 12-1/818

Московский государственный университет имени М.В. Ломоносова Механико-математический факультет

Резонансный захват и специальные эргодические теоремы

01.01.02 — дифференциальные уравнения, динамические системы и оптимальное управление

Диссертация на соискание ученой степени кандидата физико-математических наук

На правах рукописи УДК 517

Рыжов Дмитрий Алекса]

Научный руководитель: д.ф.-м.н., проф. Ильяшенко Ю.С.

Москва, 2012

Оглавление

Введение 4

1. Резонансный захват 28

1.1. Введение: формулировки и обозначения..............................28

1.2. Выпрямляющая замена для уравнения класса Д и его возмущений 30

1.2.1. Интегрируемый случай......................................30

1.2.2. Преобразования возмущений..............................32

1.3. Захват фазы................................................................35

1.3.1. Критерий захвата............................................35

1.3.2. Методы теории возмущений................................36

1.3.3. Резонансные мономы........................................37

1.3.4. Приложение к возмущенному уравнению класса Д . . 38

1.4. Накопление языков Арнольда............................................40

1.4.1. Языки Арнольда: случай к — 2............................41

1.4.2. Языки Арнольда: случай к > 2............................42

1.4.3. Захват фазы для возмущений общего вида..............45

2. Специальные эргодические теоремы 47

2.1. Введение ....................................................................47

2.1.1. Напоминание..................................................47

2.1.2. Принципы больших уклонений............................48

2.1.3. Теорема для отображений и ее приложения............49

2.1.4. Потоки..........................................................51

2.2. Доказательства ............................................................53

2.2.1. Доказательство основной теоремы........................53

2.2.2. Доказательство теоремы 2.2................................56

3. Диффеоморфизм, для которого СЭТ не выполняется 57

3.1. Размерность 1: разрывное отображение отрезка......................59

3.2. Размерность 2: просеивающая конструкция..........................62

3.3. Размерность 3: поток на стратифицированном многообразии . . 67

3.3.1. Эвристическое описание....................................67

3.3.2. Построение стратифицированного многообразия ... 68

3.3.3. Построение потока..........................................70

3.4. Размерность 4: склейка настоящего многообразия..................74

3.4.1. Снова эвристическое описание............................75

3.4.2. Построение многообразия с кусочно гладкой границей 76

3.4.3. Построение потока..........................................78

3.4.4. Доказательство теоремы....................................80

3.4.5. Замечания о топологическом типе многообразия ... 83 Литература 85

Введение

Актуальность темы. Работа посвящена исследованиям в теории динамических систем, а также качественной теории дифференциальных уравнений, теории возмущений, эргодической теории и теории фракталов.

Асимптотическое поведение траекторий описывается в терминах инва-

риантных мер. Пусть / : М —>• М — отображение компактного риманова многообразия М в себя. Знаменитая эргодическая теорема Биркгофа гласит, что если ц — эргодическая инвариантная мера для /, то для любой непрерывной функции <£> е С(М) и для /л-почти любого х € М пространственные средние <рп функции (р в точке х сходятся к ее временному среднему (р\

Заключение этой теоремы имеет один существенный недостаток: если мера ¡i сосредоточена на каком-либо „тонком" множестве (например, в точке), мы не можем сделать никаких выводов относительно поведения системы вне этого множества. В частности, в этом случае эргодическая теорема не описывает поведение типичной начальной точки относительно меры Лебега.

Вышесказанное приводит нас к широко известному понятию меры Синая-Рюэлля-Боуэна (или, для краткости, SRB-меры). А именно, инвариантная вероятностная мера ¡i называется (глобальной) SRB-мерой для преобразования / : М —> М, если для всякой непрерывной функции ip и для почти любой по мере Лебега точки х 6 М, временные средние функции ip в точке х стремятся к ее пространственному среднему (т. е. выполнено равенство (erg)).

Заметим, что не все системы обладают SRB-мерами. Первый пример такого рода, гетероклинический аттрактор, был указан самим Боуэном (см. [33], [10]). Однако в некоторых предположениях (например, в гипербо-

п-1

(erg)

лическом случае) можно гарантировать их существование; см. обзоры [43] и [4, Гл. 14].

На протяжении последних 100 лет, в теории динамических систем развивались два конкурирующих подхода к понятию типичности в семействе (классе) динамических систем: топологический (множество 1-й категории по Бэру) и метрический (множество полной меры). Разнообразные примеры, показывающие различие между понятиями метрической и топологической типичности, можно найти в статье [39]. В настоящее время наиболее широко распространена точка зрения, предложенная А. Н. Колмогоровым в пленарном докладе на Международном Математическом Конгрессе в 1954 г. в Амстердаме [24]: „ Категорный подход интересен в большей степени как инструмент для доказательства теорем существования..., тогда как метрический подход представляется более естественным и физически мотивированным... ".

Таким образом, рассматривая определенный бесконечномерный класс динамических систем, типичность некоторого явления в этом классе следует понимать следующим образом: оно наблюдается при почти всех (по мере Лебега) значениях параметра в репрезентативных конечнопарамет-рических семействах динамических систем [27]. В частности, ясно если некоторое свойство выполняется для произвольного малого возмущения динамической системы (в данном классе), то оно является локально типичным и „физически значимым".

Заметим также, что одна из возможных аккуратных формализации понятия метрической типичности в бесконечномерных класссах динамиче-

ских систем (метрическая превалентность) принадлежит В. Ю. Калошину [17, 18].

Первая глава диссертации посвящена исследованиям свойств неавтономных вещественных дифференциальных уравнений на торе Т2 = М2/2тг£2 вида

х = втх + а ++ 8д{х), (*)

где функции / и д 27г-периодические, а функция д{х) нечетна.

При 6 = 0 семейство (*) превращается в уравнение

ж = втж + а + £/(£), (**)

которое рассматривается не только при малом, но и при любом е.

Такие уравнения порождают векторные поля на торе с глобальной трансверсалью {£ = 0}. Ключевым параметром, описывающим поведение системы, является число вращения отображения первого возвращения на эту трансверсаль (отображения Пуанкаре). Если это число рационально, то все траектории рекуррентны к периодическим, а если оно иррационально, то система демонстрирует иррегулярное поведение [4].

Джозефсона ([26], [40], [20]). Мы будем называть уравнение (**) уравнением класса Д (в честь Джозефсона). Изучение этих уравнений и рассматриваемые в работе проблемы мотивированы вопросом о том, какова зависимость среднего значения напряжения от среднего значения тока в джозефсоновском переходе. Результаты работы могут иметь приложения как в теоретической физике, так и в технике.

Приведем физическую интерпретацию этого уравнения.

Предположим, что через джозефсоновский переход протекает заданный ток г(£) = г + i(t) (например, ток порождается переменным электромагнитным полем — внешним сигналом), который разлагается в сумму постоянного слагаемого г и периодического слагаемого г с нулевым средним. Напряжение на электродах джозефсоновского перехода задается производной по времени от функции (р. В то время как функция ф описывает макрофизическую величину (напряжение на полюсах ), сама функция Ф имеет квантово-механическую природу. Это — разность фаз волновых функций, описывающих коллективные свойства "жидкости" куперовских пар электронов в сверхпроводящих электродах.

Ф + — (рь)

где .Р — нечетная 27г-периодическая функция. В физической литературе функция Р называется токо-фазовой зависимостью. Для большинства конкретных реализаций джозефсоновского перехода она имеет вид

Р(ф) = тир + #(</?),

причем слагаемое Н либо тождественно равно нулю, либо мало, и им часто пренебрегают. Однако существуют и другие конструкции джозефсоновского перехода, для которых функция Р далека от синуса. К ним относится, например, т. н. Б^-сэндвич, с прослойкой из чистого металла и при очень низких температурах ([40], стр 117).

Следует отметить, что уравнение (рЬ) приводилось как моделирующее поведение сильношунтированного джозефсоновского перехода во множестве источников, в том числе в знаменитых Фейнмановских лекциях по физике (см, напр., [36]). Однако правомерность рассмотрения такой модели и высокое соответствие результатам эксперимента было получено лишь сравнительно недавно в работах В. М. Бухштабера и соавторов, см. [20],

И-

Отметим также, что то же самое уравнение (**) описывает велосипедные траектории и динамику планиметра Притца, см. [37] и [25].

Уравнение (рЬ) при малом Н = ёд и малом г = е/ имеет вид (*) (мы заменяем <р> на х и г на а). Зависимость среднего (по времени) значения напряжения ф от среднего значения тока в уравнении (рЬ) называется вольт-амперной характеристикой джозефсоновского перехода. В обозначениях уравнения (*), для описываемого этим уравнением джозефсоновского перехода среднее значение напряжения является числом вращения отображения Пуанкаре за время 2тт, рассматриваемого как функция от параметра а при фиксированных е и 6; ниже эта функция обозначается через р. Действительно, среднее значение напряжения за время Т — это значение фазы <р(Т), деленное на время Т. По определению, это число вращения уравнения (*).

Отображение Пуанкаре для уравнения (*) обозначим через Р. Пусть Л = Л (а, г, 6) := Игпп-юо Р — его число вращения. Здесь Р - поднятие отображения Пуанкаре на универсальную накрывающую. Соответственно, всюду далее число вращения понимается не как элемент из 51, а как элемент из М, и на окружности длины 2-7г уравнение ф = Л имеет число вращения, равное Л.

Соображения, приведенные выше, показывают, что вопрос о свойствах вольт-амперной характеристики джозефсоновского перехода в ре-зистивной модели с большим затуханием эквивалентен вопросу о зависимости числа вращения отображения Р от параметра а.

В типичных конечнопараметрических семействах диффеоморфизмов окружности число вращения принимает каждое рациональное значение в целой области пространства параметров [21]. Такие области называются языками Арнольда или зонами захвата фазы. В физической литературе соответствующие ступеньки на вольт-амперной характеристике называются ступеньками Шапиро.

Для уравнений класса Д структура языков Арнольда резко отличается от типичной. А именно, захват фазы в семействе уравнений (**) происходит только при целых значениях числа вращения. В работе [7] это явление названо квантованием числа вращения.

Впервые этот факт был доказан Футом [37]. Впоследствии он был обобщен Леви и Табачниковым в [25] на аналогичные уравнения в большей размерности. В контексте динамики джозефсоновского перехода он был впервые опубликован в [7].

Наиболее простое известное автору доказательство было предложено Ю. Ильяшенко и опубликовано в [16]. Оно основано на том, что замена у = ^ переводит уравнение (**) в уравнение Риккатти на проективной прямой с периодическими коэффициентами. Преобразование мо-нодромии такой динамической системы за период дробно-линейно. Следовательно, когда отображение Пуанкаре является гиперболическим (имеет две неподвижные точки на окружности), число вращения целое, а параметры принадлежат зоне захвата фазы. Когда это отображение параболическое (неподвижные точки сливаются), параметры выходят на границу зоны захвата. Когда отображение Пуанкаре эллиптическое (неподвижные

точки уходят в комплексную область), оно приводится к повороту дробно-линейным преобразованием независимо от того, рационально число вращения или нет.

Итак, для семейства (*) при 6 = 0 ступеньки Шапиро появляются только при целых значениях числа вращения. Однако приведенный выше анализ показывает, что рассмотрение семейства при (*) при 6 ^ О также физически мотивировано. Поэтому возникает естественный вопрос: каким образом происходит захват фазы в семействе (*) ?

Вторая и третья главы диссертации относятся к эргодиче-ской теории.Мотивировкой для изучения задач, которые рассматриваются в этих главах, служит вопрос об устойчивости различных метрических свойств динамических систем, таких как наличие толстого аттрактора [13] или аттракторов с перемежающимися бассейнами притяжения [19], [14], [23].

Один из возможных подходов к доказательству локальной типичности

некоторого свойства в классе (достаточно гладких) динамических систем на компактном римановом многообразии был предложен А. С. Городецким и Ю. С. Ильяшенко. Он заключается в следующем.

Предположим, фазовое пространство раскладывается в прямую сумму двух других многообразий. Если отображение, задающее динамическую систему, записано покомпонентно (в соответствии с этой прямой суммой), и образ первой компоненты („базы") не зависит от второй компоненты („слоя"), то такое отображение называется косым произведением. Подход А. С. Городецкого и Ю. С. Ильяшенко заключается в том, чтобы, обнаружив (предположительно, локально типичное) свойство динамической системы, доказать локальную типичность этого свойства в классе косых произведений, а затем перенести его на пространство произвольных гладких отображений с помощью отображения, сопрягающего гладкое отображение с косым произведением. При определенных условиях на отображение (dominated splitting), такое сопрягающее отображение обязано существовать [38]. Проблема состоит в том, что оно может не являться абсолютно непрерывным относительно меры Лебега, а такие отображения могут переводить множество полной меры Лебега в множество меры ноль и наоборот. Это явление называется кошмаром Фубини (потому что заключение теоремы Фубини не выполняется при очень похожих предположениях), см. [29], [41]. Оно не позволяет напрямую переносить метрические свойства динамической системы с косого произведения на его возмущения.

Однако при определенных предположениях на возмущаемое косое произведение, сопрягающее отображение оказывается гёльдеровым [11]. Более

того, малостью возмущения можно добиться того, чтобы показатель Гёль-дера был равномерно стремился к 1 при стремлении возмущения к нулю в подходящей метрике [15].

Из сказанного выше следует, что даже существования глобальной SRB-меры иногда оказывается недостаточно. В некоторых ситуациях (см. [14], [15], [23]), необходимо не только утверждение о том, что множество "плохих" начальных точек имеет нулевую меру Лебега, но и сохранение этого свойства при гёльдеровом (но не обязательно абсолютно непрерывном!) сопря�