Хаос и порядок в маломерных системах тема автореферата и диссертации по математике, 01.01.02 ВАК РФ
Филимонов, Дмитрий Андреевич
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Москва
МЕСТО ЗАЩИТЫ
|
||||
2010
ГОД ЗАЩИТЫ
|
|
01.01.02
КОД ВАК РФ
|
||
|
Московский Государственный Университет имени М.В. Ломоносова Механико-математический факультет
На правах рукописи УДК 517
Филимонов Дмитрий Андреевич ХАОС И ПОРЯДОК В МАЛОМЕРНЫХ СИСТЕМАХ
01.01.02 — Дифференциальные уравнения, динамические системы и оптимальное управление
Автореферат
диссертации на соискание учёной степени кандидата физико-математических наук
Москва, 2010
004604047
Работа выполнена на кафедре дифференциальных уравнений Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.
Научный руководитель: доктор физико-математических наук
профессор Ильяшенко Юлий Сергеевич.
Официальные оппоненты: доктор физико-математических наук
профессор Закалюкин Владимир Михайлови кандидат физико-математических наук доцент Хованская Ирина Аскольдовна.
Ведущая организация: Математический институт РАН
им. В.А. Стеклова.
Защита диссертации состоится 18 июня 2010 г. в 16 часов 40 минут на заседании диссертационного совета Д 501.001.85 при Московском государственном университете имени М.В. Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ, механико-математический факультет, ауд. 16-24.
С диссертацией можно ознакомиться в библиотеке Механико-математического факультета МГУ (Главное здание, 14 этаж).
Автореферат разослан 18 мая 2010 г.
Ученый секретарь диссертационного совета Д 501.001.85 при МГУ, доктор физико-математических наук, профессор
И. Н. Сергеев
Общая характеристика работы
Актуальность темы.
Диссертация посвящена исследованию свойств некоторых динамических систем малой размерности. В ней рассматриваются как системы с хаотическим поведением, так и системы, имеющие, в некотором смысле, упорядоченные решения. Как известно, понятие хаоса не строгое и существует много различных определений хаотического поведения. В данной работе упоминаются прежде всего такие формы хаоса, как минимальность, эргодичность и неустойчивость. Порядок обычно рассматривается как наличие определенной структуры, однако в физике под упорядоченным движением часто также понимаются периодические процессы. В данной работе рассмотрено три динамические системы малой размерности с хаотическими и упорядоченными свойствами.
Первая из рассматриваемых динамических систем относится к теории действий групп диффеоморфизмов на окружности. Для начала напомним несколько определений.
Определение 1. Действие группы <7 на пространстве X называется минимальным, если любое замкнутое инвариантное множество либо пусто, либо совпадает со всем пространством X.
Легко проверить, что в случае минимального действия каждая орбита всюду плотна в X.
Определение 2. Мера ц на пространстве X называется квазиинвариантной для действия группы б, если её образ под действием любого отображения из группы абсолютно непрерывен относительно исходной меры ¡1.
Заметим, что на окружности мера Лебега является квазиинвариантной для любой труппы С1-гладкой группы отображений.
Определение 3. Действие группы на пространстве X называется эргодичным относительно квазиинвариантной меры /х, если любое измеримое инвариантное множество имеет меру ноль или его дополнение имеет меру ноль.
Для диффеоморфизмов окружности, как было уже сказано, естественно рассматривать эргодичность относительно меры Лебега.
Одним из известных вопросов теории динамических систем является следующая
Гипотеза. Рассмотрим конечно-порождённую группу G С Diff2(51). Если её действие минимально, то оно эргодично относительно меры Лебега.
Эта гипотеза была сформулирована в конце 60-х-начале 70-х годов XX века многими авторами, включая Ж. Эктора и Э. Жиса. Однако, даже для случая одного диффеоморфизма окружности (G ~ Z) эта гипотеза не является очевидным следствием классификационной теоремы Пуанкаре. Дело в том, что сопряжение между минимальным диффеоморфизмом и соответствующим иррациональным поворотом может не быть абсолютно непрерывным — поэтому эргодичность поворота не влечёт за собой эргодичность в смысле меры Лебега исходного отображения.
Тем не менее, с помощью значительно более тонких рассуждений, в случае одного диффеоморфизма гипотеза была доказана — одновременно и независимо — А. Б. Катком1 и М. Эрманом2.
Для случая более богатой (не обязательно сохраняющей какую-нибудь меру) динамики, основной идеей, лежащей в основе доказательств эргодичности, является идея экспоненциального растяжения (и, более общо, растяжения с контролем искажения):
Теорема (опубликовано А. Навасом3, идея доказательства восходит к Д. Салливану). Пусть группа G с Diff1+£(51) действует на окружности минимально, и выполнено условие
"ix eSl 3g е G : g'{x) > 1.
Тогда действие G эргодично относительно меры Лебега.
Отметим, что препятствием к применимости этой техники является наличие нерастяжимых точек.
Определение 4. Точка х £ S1 называется нерастяжимой (для действия группы G), если
VS6G \д\х)\<1. Множество нерастяжимых точек мы будем обозначать через NE = NE(G).
Б. Каток, Б. ХАССЕЛБЛАТ. Введение в теорию динамических систем с обзором последних достижений. Пер. с англ. под ред. А. С. Городецкого. М.: МЦНМО, 2005.
2М. HERMAN. Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations. Pvhl. Math, de l'IHES49 (1979), 5-234.
3A. Navas. Sur les groupes de difféomorphismes du cercle engendrés par des éléments proches des rota-
tions. L'Enseignement Mathématique 50 (2004), 29-68.
Замечание 1. Определение нерастяжимой точки зависит от выбора системы координат. Однако, как следует из работы Деруана,Клепцына и Яаеага4, хотя заменой координат можно сделать конкретную точку растяжимой, но на орбите, тем не менее, всегда останется хотя бы одна нерастяжимая точка. С другой стороны, логично предполагать, что вместе с группой диффеоморфизмов нам заданы так же координаты на окружности. Поэтому далее мы всегда будем предполагать, что система координат выбрана и зафиксирована.
Наличие нерастяжимых точек не противоречит минимальности действия (даже аналитической!) группы диффеоморфизмов: примерами служат стандартное действие PSLiib) и (для гладкого случая) гладкая реализация Жиса-Сержиеску5 группы Томпсона.
Отметим, что все известные на текущий момент примеры минимальных действий с нерастяжимыми точками отличаются от этих двух незначительными модификациями.
В частности, все они обладают следующим свойством: нерастяжимые точки являются односторонне изолированными неподвижными для некоторых элементов группы. Более точно, для них выполняется следующее
Определение 5. Нерастяжимая точка х G NE(G) обладает свойством односторонней изолированной неподвижности, если найдутся g+, <?_ € G, такие, что д+(х) = д~{х) = х, и х — изолированная справа (соответственно, слева) точка Fix(g+) (соответственно, Fix{g~)).
Определение 6, Конечно-порождённая группа G с Diff2(51) называется N-группой, если её действие минимально, множество NE(G) непусто, и всякая нерастяжимая точка х G NE(G) обладает свойством односторонней изолированной неподвижности.
Оказывается, для таких групп всё ещё возможно построить процедуру растяжения с контролем искажения.
Теорема (Деруан, Клепцын, Навас4). Действие N-группы эргодично относительно меры Лебега.
^В. Deroin, V. Kleptsyn, A. Navas, On the question of ergodicity for minimal group actions on the circle, Moscow Math. Journal, 2009, 9, 2, 263-303
6é. Ghys & V. Sergiescu. Sut un groupe remarquable de difféomorphismes du cercle. Comment. Math. Helvetic! 62 (1987), 185-239
Отметим также, что одним из следствий является конечность множества NE.
Более того, оба вышеупомянутых примера (гладкая реализация группы Томпсона и PSL2ÇZ)) обладают рядом других интересных свойств: они порождаются (в определённом смысле) нестрого-растягивающей «марковской» динамикой, и для них показатель Ляпунова растяжения равен нулю. Естественный возникающий в связи с этим вопрос — а любая ли N-группа обладает такими свойствами? И можно ли найти аналогичную структуру в произвольной N-rpynne?-
Первая глава настоящей работы посвящена ответам на эти вопросы — исследованию N-rpynn.
Следующей системой, которая рассмотрена в данной работе, является простейшая одномерная система с запаздывающими переключениями. Часто в физических задачах возникает необходимость рассмотрения системы обыкновенных дифференциальных уравнений с кусочно-непрерывной правой частью. Эту задачу можно переформулировать, рассматривая конечное число динамических систем, называемых базовыми системами, сменяющих друг друга при достижении траекторией некоторого критического множества. Для описания систем с таким поведением Вожелем6 были предложены «бушующие системы» (systèmes déferlants). Система Вожеля (называемая в русскоязычной литературе системой с переключениями) задается двумя автономными системами в R", которые сменяют одна другую, когда точка x(t) в фазовом пространстве достигает заданного в нем "критического множества" К. Эти системы были описаны и исследованы самим Вожелем, а общий случай А.Д. Мышкисом и А. Я. Хохряковым7.
В своей работе8 А.Д. Мышкис ввел общие системы с запаздывающим переключением. Здесь смена систем происходит в каждый момент времени t, для которого на критическое множество К попадает точка x(t — т), где т = const > 0 — фиксированный для всей системы параметр запаздывания, а в качестве начального условия задается значение решения на временном интервале длины h и номер начальной системы. Такая конструкция позволяет описывать физические системы, которые обладают саморегулировкой: имеется некоторое устройство, изменяющее
6V0GEL T., Sur les systèmes déferlants. Bull Soc. Math. France. 1953. 81. N0. 1. P. 63-75.
7Мышкис A. Д., Хохряков A. Я., Бушующие динамические системы. I. Особые точки на плоскости. Матем. сб. 1958. 45. Вып. 3. С. 401-414.
8МыШКИС А. Д., Системы с запаздывающим переключением. Автом. и телемех. 2000. Вып. 12. С. 48-52.
саму систему в зависимости от текущего ее состояния (например реле с температурным датчиком), причем время срабатывания такого устройства универсально и не равно нулю.
В качестве простейшего примера системы с запаздывающим переключением в работе Мышкиса9 была рассмотрена одномерная система на прямой с двумя сменяющими друг друга базовыми системами следующего вида:
(2)i(i)>-l U
Критическое множество состоит из двух точек К = {0,1}. Для корректной постановки, задачи также задается непрерывная начальная функция х = <p{t) при -1 < t < 0, причем </з(0) = 0, ip[t) ф 0(—1 < t < 0); начинать движение будем по первой базовой системе (А; = 1). Это фактически соответствует движению по первой базовой системе из нуля при условии, что только что было совершено попадание в критическое множество и других попаданий в прошлом не было.
В упомянутой работе рассмотрено поведение системы (1) при т 6 [0, |] U [|,оо), а именно доказана следующая
Теорема. Решение поставленной выше задачи (1) с критическим множеством К — {0,1} и параметром запаздывания т обладает следующими свойствами:
• при 0 < т < 1 решение системы периодично и имеет 2 переключения на наименьшем периоде;
• при 1 < г < | решение системы периодично и имеет 4 переключения на наименьшем периоде;
• при 2 < т решение системы после 2 переключений уходит на оо;
• при т = | решение системы периодично начиная с момента времени t = 5 и имеет 2 переключения на наименьшем периоде;
• при г = 7fc решение системы периодично и имеет Ак+2 переключений на наименьшем периоде;
• при Tk+1 < т < Tfc решение системы периодично и имеет 2к + 2 переключений на наименьшем периоде;
9Myshkis A.D., The simplest system with retarding switching and 2-poiat critical set. Functional Differential Equations. 2003.10. No. 3-4. pp. 535-539.
где Tk = ~ убывающая последовательность, т\ = 2 и Тк —► § при к оо.
Это не совсем типичное поведение решений для конечно-параметрического семейства непрерывных динамических систем на прямой, однако запаздывающее переключение в данном случае «размывает» фазовое пространство и позволяет обойти строгий порядок точек, который обуславливает простую классическую непрерывную динамику на прямой. Заметим здесь также, что под «хаотичностью» и «упорядоченностью» часто понимаются свойства одной и той же системы, зависящей от параметра, причем при одних значениях система может обнаруживать хаотические свойства, а при других — упорядоченные, что и происходит в рассматриваемой системе.
Во второй главе диссертации исследован оставшийся промежуток т € |), причем выявлен новый тип поведения решения. Тем самым завершено исследование этой системы.
Третья динамическая система относится к теории квадратичных векторных полей на плоскости. Вторая часть 16-ой проблемы Гильберта посвящена вопросу расположения и количества предельных циклов для полиномиальных векторных полей на плоскости. До сих пор нет никакой оценки их количества даже для квадратичных векторных полей. Долгое время считалось, что это число не превосходит трех. В 1979 году Ван Мин-Шу и Чен Лан-Сун в своей работе10 показали существование квадратичного векторного поля на плоскости, у которого имеется не менее четырех предельных циклов. В 1980 году Ши Сонглин11 опубликовал конкретный пример векторного поля с не менее, чем четырьмя предельными циклами, задаваемого следующей системой
Г х = Хх-у- 10а;2 + (5 + 5)ху + у2,
X у = X + X2 + (-25 + fe - 95)ху. ^ '
Требуемое возмущение было указано автором явно:
S = -Ю-13, е - -Ю-52, Л = -Ю-200. (3)
Ши Сонглин показал, что при указанном возмущении в уравнении (2) имеется не менее 4 предельных циклов: один вокруг точки (0,1) (этот цикл
10Chen Lan-Sun, Wang Ming-Shu, The relative position, and the number of limit cycles of a quadratic differential system.— Acta Math. Sínica, 1979, 22, 751-758
11Sm SoNGLING, A concrete example of the existence of four limit cycles for plane quadratic systems .—
Scientia Sínica, 1980, 23, №2, p.153-158.
имеется и в невозмущенной системе), и три вокруг (0,0).
Естественно возникает в связи с этим вопрос: «А сколько на самом деле предельных циклов в уравнении (2)»? Ответу на этот вопрос, а так же точной локализации предельных циклов уравнения Ши Сонглина посвящена третья глава данной диссертации.
Цель работы.
Целью работы является изучение различных вопросов хаотического и упорядоченного поведения динамических систем малой размерности.
Методы исследования.
В работе используются как классические методы растягивающей динамики и техника контроля искажения (Дж. Салливан), теория идеалов Баутина и теория нормальных форм в приложении к квадратичным векторным полям, так и их видоизмененные аналога, приспособленные для решения поставленных задач.
Научная новизна работы.
Результаты работы являются новыми. В диссертации получены следующие результаты:
1. Обнаружена внутренняя структура минимальных действий групп диффеоморфизмов окружности. Эта структура напоминает марковскую растягивающую динамику и порождает все действие группы с точностью до конечного числа отображений.
2. Для С2-гладких 1\т-групп показана сингулярность стационарных мер.
3. Для С2-гладких групп при дополнительных ограничениях показано, что показатель Ляпунова растяжения этой группы равен нулю.
4. Завершено описание простейшего примера одномерной системы с запаздывающим переключением и двухточечным критическим множеством.
5. Показано, что уравнение Ши Сонглина имеет ровно четыре предельных цикла, не пересекающих малый отрезок по оси ординат. Предельные циклы вокруг начала координат локализованы в узких кольцевых областях.
Теоретическая и практическая ценность.
Работа носит теоретический характер. Полученные результаты относятся к различным разделам теории динамических систем малой размерности. Примененные в диссертации методы позволяют эффективно их использовать для продвижения в соответствующих разделах теории динамических систем малой размерности.
Апробация работы.
Результаты диссертации докладывались на следующих семинарах и конференциях:
1. на семинаре «Динамические системы» под руководством д. ф.-м. н., профессора Ю. С. Ильяшенко (механико-математический факультет МГУ им. М. В. Ломоносова) неоднократно в 2004 — 2010 гг;
2. на семинаре кафедры «Прикладная математика-1» под руководством д. ф.-м. н., профессора А.Д. Мышкиса (МИИТ), 2008 г.;
3. на конференции «Топологические и вариационные методы нелинейного анализа и их приложения», Воронеж, 2005;
4. на конференции «Singularities of planar vector fields, bifurcations and applications» (Люмини, Франция), май 2009 г.;
5. на Украинском математическом конгрессе, посвященном 100-летию со дня рождения Боголюбова, (Киев, Украина), август 2009 г.
Публикации.
Результаты диссертации опубликованы в работах, список которых приведён в конце автореферата [1-4].
Структура и объем работы.
Работа состоит из введения, трех глав, и списка литературы, содержащего 24 наименования. Общий объем диссертации 83 страницы.
Содержание диссертации.
В первой главе рассматриваются действия N-групп диффеоморфизмов на окружности. В ней доказываются следующие утверждения:
Теорема А (Марковская нестрого растягивающая динамика). Пусть С — конечно-порождённая Ы-группа С2-диффеоморфизмов окружности. Тогда для б существуют: разбиение окружности на интервалы {А,..., 1к, I..., 7г+, /г~} = Х и соответствующие этим интервалам отображения д\,..., дь, д*, <?Г,. • ■, д*, € С, такие, что:
г) все образы представляются как объединения
интервалов из X.
И) ЭЛ > 1 : V? Ух е 1) £(х) ^ А.
Иг) Интервалы и 1~ примыкают соответственно справа и слева к нерастяжимой точке х* € ЫЕ. При этом это неподвиокная топологически отталкивающая точка ограничения на интервал I* (соотв. 1^) отображения д* (соотв. д^), не имеющего на этом интервале других неподвижных точек.
Кроме того,
где к^(х) :— пип{А; € N | {д*)к{х) ф. 1^}, а з определяется условием
ШЧх) € 1У
Замечание 2. Для удобства, мы будем иногда обозначать через <?/ соответствующее интервалу I €Е X разбиения отображение.
Пусть б — ^группа. Выберем и зафиксируем даваемое заключением теоремы А разбиение окружности на интервалы с соответствующими им отображениями, {(/,5/) | I € X}. Это разбиение задаёт процедуру растяжения, которую можно применять к точкам и к достаточно малыми интервалам:
Определение 7. Последовательность растяжения интервала 7 е 51 ~ это конечная последовательность интервалов Jn, построенная по правилу
• № = 3,
• _/(") —— <7/(г1)(^п_1)), если Л^™-1) с 1(п) € I; если же такого интервала /(„) не найдётся, то последовательность останавливается на
При этом композиции С?„,7 := дг(п) о • • - од/(1) называются растягивающими композициями для интервала 7. Обозначим также через С?./
максимальную растягивающую композицию, то есть композицию всех последовательных отображений дг(к) с условием остановки, описанным выше.
Наконец, такая же (только бесконечная) процедура растяжения может быть определена и для точек. Для точек, принадлежащих орбите нерастяжимой, при этом необходимо уточнить, растягивается ли правая или левая окрестность точки; в этих случаях мы будем соответственно писать и
Использовав эту процедуру увеличения как своеобразный «микроскоп», мы увидим, что все отображения из группы <3, рассматриваемые под достаточным увеличением, построены из конечного числа элементарных «кирпичиков»:
Теорема В (о структуре). Пусть группа С? — как в теореме А, и интервалы и отображения (/у, д^), даваемые заключением этой теоремы, выбраны и зафиксированы. Тогда найдётся конечное число интервалов 1/1,..., Длг, Ь[,..., 1/дг и отображений : Ь{ —+ Ц, таких, что любое отображение д может быть представлено следующим образом:
• Имеется два разбиения окружности в объединение интервалов, зависящими от выбора д
51 = Л и • • • и 1т = д{Л) и • • • и д^т)\
• Для каждого р = 1,...,тп в последовательности растяжения интервала встречается некоторый интервал Ь^, а в последовательности растяжения д^р) — соответствующий ему интервал Иными словами, для некоторых п, п' выполнено
С„Л(7Р) = -Ц,,
Сп>,9шШР)) = Ч-
• Отображение д под таким увеличением оказывается соответствующим отображением
зЬр = о ЫР о спЛ.
Более того, разбиение 51 = и можно выбрать одним и тем же для любого конечного набора из С.
Таким образом, можно сказать, что действие группы G по построению в определенном смысле напоминает действие гладкой реализации Жиса-Сержиеску группы Томпсона.
Рассмотрим отображение R, заданное как R(x) = gi{x), х € I, и заданное им отношение эквивалентности TZ. Классы эквивалентности такого отношения в силу определения являются подмножествами соответствующих G-орбит. Более того, для всех точек, кроме не более, чем счётного множества, их классы можно рассматривать (соединяя точку с её ü-образом) как деревья с выделенным направлением на бесконечности (соответствующим итерированию R). Интересно отметить, что имеет место
Следствие 1. Всякая О-орбита разбивается на не больше, чем N классов TZ-эквивалентности.
Итерации R — это, в определённом смысле, «жадный» алгоритм растяжения окрестности заданной точки. Оказывается, что поскольку NE ф 0, то из наличия параболических (т.е. с производной равной единице) точек следует
Теорема С. Для почти любой по мере Лебега точки х £ S1 показатель Ляпунова отображения R в ней равен нулю:
À(x, Я) - 0.
Напомним также следующее следующее определение.
Определение 8. Пусть G С Diff2(5x) — конечно-порожденная группа, Т = J-~l — конечная симметричная система её образующих. Тогда величина
Аехр(х; F) = lim sup - max In | (/i о • • • o f„)'(x) ¡
71—>00 n /li—i/nÊ-T7
называется показателем Ляпунова растяжения в точке х.
Для минимального действия конечно-порождённой группы G С Difï2^1) С. Хёрдером12 было показано, что функция Летр(-, Т) почти всюду по мере Лебега совпадает с некоторой константой Xexp(G, J-), называемой показателем Ляпунова растяжения группы G. Хотя величина этого показателя зависит от выбора системы образующих, его равенство нулю или положительность от этого выбора не зависит. В частности, в
12S. HuRDER. Exceptional minimal sets and the Godbillon-Vey class, to appear in: Annales de l'Institut Fourier (Grenoble)
предположении положительности показателя растяжения теорема Хёрдера утверждает эргодичность действия относительно меры Лебега.
Однако оказывается, что экспоненциальное растяжение для (кусочно-аналитической) N-группы невозможно не только для «жадного» алгоритма:
Теорема D. Показатель Ляпунова растяжения N-группы G кусочно-аналитических диффеоморфизмов равен нулю:
Aexp(G) = 0.
Замечание 3. На самом деле, в доказательстве нам потребуется гораздо более слабое условие: на интервалах if производная соответствующего gf должна быть больше 1 в некоторой окрестности х*-.
Напротив, для групп с нулевым показателем растяжения стационарные меры для конечно-порождённой случайной динамики сингулярны13. Тем самым, имеет место
Следствие 2. Пусть G — N-группа, удовлетворяющая условию из замечания 3, а т — вероятностная мера на ней, носитель которой состоит из конечного числа элементов и порождает О как полугруппу. Тогда (единственная) т-стационарная мера сингулярна относительна меры Лебега.
Теорема А доказывается в разделе 1.1 главы 1. Затем, в разделе 1.2 напоминаются необходимые для дальнейших рассуждений сведения, и доказывается несколько вспомогательных утверждений.
Раздел 1.3 посвящен доказательству теоремы В. В параграфе 1.3.1 теорема В выводится из нескольких технических лемм, а доказательство этих лемм отнесено в параграф 1.3.2. Наконец, в разделе 1.4 доказываются оставшиеся утверждения,.оказывающиеся следствиями из теорем А и В: следствие 1 и теоремы С и D.
Вторая глава диссертации посвящена исследованию простейшей системы с запаздывающим переключением с двухточечным критическим множеством. В разделе 2.1 обсуждаются общие свойства систем с запаздывающим переключением, а в разделе 2.2 доказывается следующая
13см. Corollary 1.22 в В. Deroin, V. Kleptsyn, A. Navas, On the question of ergodicity for minimal group actions oil the circle, Moscow Math. Journal, 2009, 9, 2, 263-303
Теорема Е. Для системы с запаздывающим переключением
(1)x(i) = 1
(2)x(t) = —1,
критическим множеством К — {0,1}, непрерывным начальным условием х = <p(t) при -1 < t < 0, где р(0) — 0,<p(t) Ф 0(-1 < t < 0) и параметром запаздывания т € [|, |] имеется три перемежающиеся серии точек
3 • 4к
Это возрастающие последовательности, причем ri = |,т)ь —> 3/2 при к —> оо; в\ == j\,0к 3/2 при к оо и Ci = I, Ск -* 3/2 при к —► оо. Кроме того, т^ < Ок < (к < Тк+1 (VA; € N). Эти три последовательности полностью описывают интервалы непрерывной зависимости решения от параметра запаздывания т, а именно для любого к € N;
• при т = Тк решение системы периодично и имеет ik+2 переключений на наименьшем периоде;
• при тц < г < Ok решение системы периодично и имеет 2к + 4 переключений на наименьшем периоде;
• при т — Qk решение системы после 2к + 5 переключений уходит на —оо;
при Ок < т < С,к решение системы периодично и имеет 2к + 6 переключений на наименьшем периоде;
при т = решение системы после Ак + 5 переключений уходит на —оо;
при (к < т < Тк+1 решение системы периодично и имеет 2к + 4 переключений на наименьшем периоде.
В третьей главе исследуется уравнение Ши Сонглина. Для начала, в параграфе 3.1, дается обзор и описание фазового портрета. Далее в главе доказывается основная
Теорема F. У системы
{
х = А х-у — 10ж2 + (5 + 6)ху + у2, у = х + х2 + (-25 + 8в - 9ё)ху.
при значениях параметров
5 = -Ю-13, е = -Ю-52, А = -Ю-200.
имеется ровно 4 предельных цикла, не пересекающих отрезок [0.004,0.04]
Более того, предельные циклы в окрестности точки (0,0) оказываются локализованы в трех достаточно узких кольцах, в каждом из которых соответствующий предельный цикл единственнен.
Для оставшегося отрезка [0.004,0.04] был проведен численный эксперимент, показывающий отсутствие предельных циклов, пересекающих указанный отрезок.
Идея доказательства теоремы F заключается в построении полиномиальной функции Т(х, у) со следующими свойствами:
1. Замена (г, ф) у-* (U(r,tp),<p), где U(r,tp) = T(r cos <р, г sin <р) определена корректно в проколотой окрестности начала координат радиуса 0.004. Функция U{r,tp) будет алгебраическим многочленом по г и тригонометрическим многочленом по tp. Допуская вольность речи, будем по-прежнему называть его многочленом.
2. Линии уровня функции U(r,ip) = const являются линиями без контакта в той же окрестности, за исключением трех узких колец.
3. У отображения Пуанкаре в новых координатах (U(r,<p),tp) производная отделена от единицы в упомянутых выше кольцевых областях.
Эта функция является частной суммой формального ряда h, удовлетворяющего следующему уравнению, называемому иногда фактор-системой:
Здесь к = х2 + у2 + ... и д = 2/Зои + 2^и2 + ■ ■ ■ — искомые формальные ряды, £>„ — дифференцирование вдоль векторного поля V с линейной частью (—у,х). Для таких полей фактор-система всегда имеет формальное решение, но оно, как правило, расходится. Фактор-система тесно связана с понятием формальной нормальной формы: коэффициенты Ду являются коэффициентами формальной нормальной формы поля и,
оси Оу.
Lvh = д о h.
(4)
причем для полей с линейной частью (—у, х) коэффициент ßo равен нулю. Подробно вопрос их связи освещен в книге Ильяшенко и Яковенко14. Там же обсуждаются вопросы связанные с рекурсивным решением фактор-системы.
Если бы ряды решения фактор-системы сходились, то линии уровня h — aj, соответствующие нулям функции g были бы предельными циклами, а остальные замкнутые линии уровня функции h — кривыми без контакта. Рассмотрим приближенное решение фактор-системы: Т(х,у) является многочленом 18-й степени от х и у с 2-струей в нуле равной х2 + у2, а G - многочленом 8-й степени от одного переменного и с 1-струей в нуле, равной и:
LVT — G(T) + о(х18 + у18).
Пусть üj — нули многочлена G, близкие к нулю. Естественно ожидать (это обосновано в параграфе 3.2), что при b не слишком близких к aj, линии уровня Т(х, у) — b — это кривые без контакта с полем и, а узкие кольца в окрестности линий Т(х, у) — aj содержат предельные циклы поля v.
Выражение для Т получается путем последовательного вычисления на компьютере в рациональных числах первых членов ряда h (алгоритм их вычисления описан в параграфе 3.3). Здесь особенно важно подчеркнуть, что это вычисление не является приближенным, а соответствует точному решению задачи в символьном виде. К сожалению, выражение для U (г, <р) слишком громоздко, однако для обоснования свойств 1.-3. достаточно использовать мажорирующие U(г, ip) многочлены, точные формулы для которых приведены в соответствующих разделах работы.
Свойства 1. и 2. доказываются несложными оценками в леммах, приведенных в параграфах 3.2.1 и 3.2.2 и получаются благодаря тому, что выбранная функция U оказывается «золотой серединой». С одной стороны, она достаточно близка к г2 (и ее линии уровня близки к концентрическим окружностям вокруг начала координат), чтобы выполнялось свойство 1. А с другой стороны, функция U является приближенным решением фактор-системы, то есть удовлетворяет ей с точностью до малой погрешности, благодаря чему выполняется свойство 2. Наконец, свойство 3. также вытекает из того, что функция U является приближенным решением фактор-системы и проверяется с помощью
14Ilyashenko, Yu., Yakovenko, S., Lectures on Analytic Theory of Ordinary Differential Equations,
Graduate Studies in Mathematics, 86, Amer. Math. Soc., 2008.
исследования соответствующего уравнения в вариациях. Соответствующая лемма приведена в параграфе 3.2.2.
Из свойств 1.-3. будет следовать существование ровно трех неподвижных точек для отображения Пуанкаре системы в новых координатах, откуда следуют аналогичные утверждения для отображения Пуанкаре в полярных координатах (г, ip) и, следовательно, утверждение теоремы F.
Я искренне благодарю моего учителя, профессора Юлия Сергеевича Ильяшенко, за постановку задачи и плодотворные обсуждения, а также Виктора Алексеевича Клепцына за полезные дискуссии.
Работы автора по теме диссертации.
1. Д. Филимонов, Нормальные формы квадратичных векторных полей и уравнение Ши Сонглина, Дифференциальные уравнения, , 2010, т.46, №5, 647-657
2. D. Filimonov On the simplest system with retarding switching and 2-point critical set.- Functional Differential Equations, 2004, vol. 11, №3-4, pp. 333-339
3. Д.А. .Филимонов, О действиях на окружности со свойством неподвижности нерастяжимых точек, депонировано в ВИНИТИ, 16.03.2010, №164-2010, 1-47
4. Д.А. Филимонов, 3-х точечное критическое множество для системы с запаздывающим переключением, Материалы конференции «Топологические и вариационные методы нелинейного анализа и их приложения», Воронеж, 2005, 106-107
Подписано в печать {¿.¿)$.20(0 Формат 60x90 1/16. Усл. печ. л. ¿25 Тираж /ВО экз. Заказ
Отпечатано с оригинал-макета на типографском оборудовании механико-математического факультета МГУ имени М. В. Ломоносова
Введение
0.1 Краткое содержание работы.
1 Свойства и структура групп
1.1 Доказательство теоремы А.
1.2 Вспомогательные сведения.
1.3 Доказательство Теоремы В.
1.3.1 Формулировки лемм и доказательство Теоремы В
1.3.2 Доказательство лемм.
1.4 Доказательство следствий
2 Простейшая система с запаздывающим переключением
2.1 Введение.
2.2 Доказательство теоремы Е.
3 Уравнение Ши Сонглина
3.1 Фазовый портрет и общие сведения.
3.2 Подробные выкладки.
3.2.1 Исследование окрестности нуля.
3.2.2 Задача в новых переменных.
3.2.3 Возвращение к исходным переменным.
3.3 Алгоритм решения фактор-системы.
3.4 Формальная нормальная форма.
3.4.1 Ответ.
3.4.2 Алгоритм нахождения формальной нормальной формы.
Актуальность проблемы. Работа посвящена исследованию свойств некоторых динамических систем малой размерности. В ней рассматриваются как системы с хаотическим поведением, так и системы, имеющие, в некотором смысле, упорядоченные решения. Как известно, понятие хаоса пе строгое и существует много различных определений хаотического поведения. В данной работе нас будут интересовать прежде всего такие формы хаоса, как минимальность, эргодичность и неустойчивость. Порядок обычно рассматривается как наличие определенной структуры, однако в физике под упорядоченным движением часто также понимаются периодические процессы. В данной работе рассмотрено три динамические системы малой размерности с хаотическими и упорядоченными свойствами.
Первая из рассматриваемых динамических систем относится к теории действий групп диффеоморфизмов на окружности. Для начала напомним несколько определений.
Определение 0.1. Действие группы С на пространстве X называется минимальным, если любое замкнутое инвариантное множество либо пусто, либо совпадает со всем пространством X.
Легко проверить, что в случае минимального действия каждая орбита всюду плотна в X.
Определение 0.2. Мера ¡1 на пространстве X называется квазиинвариантной для действия группы С?, если её образ под действием любого отображения из группы абсолютно непрерывен относительно исходной меры ¡1.
Заметим, что на окружности мера Лебега является квазиинвариаитной для любой группы С1 -гладкой группы отображений.
Определение 0.3. Действие группы (7 на пространстве X называется эргодичным относительно квазиинвариантной меры если любое измеримое инвариантное множество имеет меру ноль или его дополнение имеет меру ноль.
Для диффеоморфизмов окружности, как было уже сказано, естественно рассматривать эргодичность относительно меры Лебега.
Одним из известных вопросов теории динамических систем является следующая
Гипотеза. Рассмотрим конечно-порооюдённую группу С С Б1й:2(6'1). Если её действие минимально, то оно эргодично относительно меры Лебега.
Эта гипотеза была сформулирована в конце 60-х-начале 70-х годов XX века многими авторами, включая Ж. Эктора и Э. Жиса. Отметим, что даже для случая одного диффеоморфизма окружности (О — Щ эта гипотеза не является очевидным следствием классификационной теоремы Пуанкаре. Дело в том, что сопряжение между минимальным диффеоморфизмом и соответствующим иррациональным поворотом может не быть абсолютно непрерывным — поэтому эргодичность поворота не влечёт за собой эргодичность в смысле меры Лебега исходного отображения.
Тем не менее, с помощью значительно более тонких рассуждений, в случае одного диффеоморфизма гипотеза была доказана — одновременно и независимо — А. Б. Катком [1] и М. Эрманом [16].
Для случая более богатой (не обязательно сохраняющей какую-нибудь меру) динамики, основной идеей, лежащей в основе доказательств эргодичности, является идея экспоненциального растяжения (и, более общо, растяжения с контролем искажения):
Теорема (опубликовано А. Навасом [20], идея доказательства восходит к Д. Салливану). Пусть группа С С БЩ1+е(5'1) действует на окружности минимально, и выполнено условие
Ухе Б1 Здев: д'{х) > 1.
Тогда действие С? эргодично относительно меры Лебега.
Отметим, что препятствием к применимости этой техники является наличие нерастяжимых точек.
Определение 0.4. Точка х € 51 называется нерастяжимой (для действия группы С?), если
Уд ее Ь'(ж)|<1.
Множество нерастяжимых точек мы будем обозначать через NE = N£(0).
Замечание 0.1. Определение нерастяжимой точки зависит от выбора системы координат. Однако, как следует из [8], хотя заменой координат можно сделать конкретную точку растяжимой, но на орбите, тем не менее, всегда останется хотя бы одна нерастяжимая точка. С другой стороны, логично предполагать, что вместе с группой диффеоморфизмов нам заданы так же координаты на окружности. Поэтому далее мы всегда будем предполагать, что система координат выбрана и зафиксирована.
Наличие нерастяжимых точек не противоречит минимальности действия (даже аналитической!) группы диффеоморфизмов: примерами служат стандартное действие РЗХг^) и (для гладкого случая) гладкая реализация Жиса-Сержиеску [13] группы Томпсона.
Отметим, что все известные на текущий момент примеры минимальных действий с нерастяжимыми точками отличаются от этих двух незначительными модификациями.
В частности, все они обладают следующим свойством: нерастяэюимые точки являются односторонне изолированными неподвижными для некоторых элементов группы. Более точно, для них выполняется следующее
Определение 0.5. Нерастяжимая точка х Е КЕ(С) обладает свойством односторонней изолированной неподвижности, если найдутся д+,д~ £ С, такие, что д+(х) = д-(х) = ж, и х — изолированная справа (соответственно, слева) точка Пх{д+) (соответственно, Пх(д^.)).
Определение 0.6. Конечно-порождённая группа С? С ВЩ2(52) называется И-группой, если её действие минимально, множество КЕ(С) непусто, и всякая нерастяжимая точка х £ КЕ((?) обладает свойством односторонней изолированной неподвижности.
Оказывается, для таких групп всё ещё возможно построить процедуру растяжения с контролем искажения.
Теорема (Деруан, Клепцын, Навас [8]). Действие Ы-группы эргодично относительно меры Лебега.
Отметим также, что одним из следствий является конечность множества NE.
Более того, оба вышеупомянутых примера (гладкая реализация группы Томпсона и PSL2(Z)) обладают рядом других интересных свойств: они порождаются (в определённом смысле) нестрого-растягивающей «марковской» динамикой, и для них показатель Ляпунова растяжения равен нулю. Естественный возникающий в связи с этим вопрос — а любая ли N-группа обладает такими свойствами? И можно ли найти аналогичную структуру в произвольной N-rpynne?
Первая глава настоящей работы посвящена ответам на эти вопросы — исследованию N-rpynn.
Следующей системой, которая рассмотрена в данной работе, является простейший пример одномерной системы с запаздывающими переключениями. Часто в физических задачах возникает необходимость рассмотрения системы обыкновенных дифференциальных уравнений с кусочно-непрерывной правой частью. Эту задачу можно переформулировать, рассматривая конечное число динамических систем, называемых базовыми системами, сменяющих друг друга при достижении траекторией некоторого критического множества. Для описания систем с таким поведением Вожелем [23] были предложены «бушующие системы» (systèmes déferlants). Система Вожеля (называемая в русскоязычной литературе системой с переключениями) задается двумя автономными системами в Мп, которые сменяют одна другую, когда точка x(t) в фазовом пространстве достигает заданного в нем "критического множества" К. Эти системы были описаны и исследованы самим Вожелем [23], а общий случай А.Д. Мышкисом и А.Я. Хохряковым в [4].
В работе [3] были определены общие системы с запаздывающим переключением. Здесь смена систем происходит в каждый момент времени t, для которого на критическое множество К попадает точка x(t — г), где т = const > 0 — фиксированный для всей системы параметр запаздывания, а в качестве начального условия задается значение решения на временном интервале длины h и номер начальной системы. Такая конструкция позволяет описывать физические системы, которые обладают саморегулировкой: имеется некоторое устройство, изменяющее саму систему в зависимости от текущего ее состояния (например реле с температурным датчиком), причем время срабатывания такого устройства универсально и не равно нулю.
В качестве простейшего примера системы с запаздывающим переключением в [3] и в [19] рассмотрена одномерная система на прямой с двумя сменяющими друг друга базовыми системами следующего вида:
Критическое множество состоит из двух точек К — {0,1}. Для корректной постановки задачи зададим также непрерывную начальную функцию х = (р{Ь) при —1 < £ < 0, причем </?(0) = 0, ф{Ь) ф 0 (-1 < Ь < 0); начинать движение будем по первой базовой системе (к = 1). Это фактически соответствует движению по первой базовой системе из нуля при условии, что только что было совершено попадание в критическое множество и других попаданий в прошлом не было.
В работе [19] рассмотрено поведение системы (0.0.1) при г Е [0, |] и [|, оо). В упомянутой работе доказана следующая
Теорема. Решение поставленной выше задачи (0.0.1) с критическим
1)*(*) = 1
2) x(t) — —1
0.0.1) множеством К = {0,1} и параметром запаздывания т имеет следующий вид:
• при 0 < т ^ 1 решение системы периодично и имеет 2 переключения на наименьшем периоде;
• при 1 < т < | решение системы периодично и имеет 4 переключения на наименьшем периоде;
• при 2 < г решение системы после 2 переключений уходит на оо;
• при т — | решение системы периодично начиная с момента времени Ь = | и имеет 2 переключения на наименьшем периоде;
• при г = ть решение системы периодично и имеет Ак + 2 переключений на наименьшем периоде;
• при Тк+1 < т < г/г решение системы периодично и имеет 2к + 2 переключений на наименьшем периоде; где Тк — — убывающая последовательность, Т\ = 2 и т^ —> | при к —» оо.
Это не совсем типичное поведение решений для конечно-параметрического семейства непрерывных динамических систем на прямой, однако запаздывающее переключение в данном случае «размывает» фазовое пространство и позволяет обойти строгий порядок точек, который обуславливает простую классическую непрерывную динамику на прямой. Заметим здесь также, что под «хаотичностью» и «упорядоченностью» часто понимаются свойства одной и той же системы, зависящей от параметра, причем при одних значениях система может обнаруживать хаотические свойства, а при других — упорядоченные, что и происходит в рассматриваемой системе.
Во второй главе этой диссертации исследован оставшийся промежуток т е (!»§)> причем выявлен новый тип поведения решения. Тем самым завершено исследование этого примера.
Третья динамическая система относится к теории квадратичных векторных полей на плоскости. Вторая часть 16-ой проблемы Гильберта посвящена вопросу расположения и количества предельных циклов для полиномиальных векторных полей на плоскости. До сих пор нет никакой оценки их количества даже для квадратичных векторных полей. Долгое время считалось, что это число не превосходит трех. В 1979 году Ван Мин-Шу и Чен Лан-Сун в своей работе [7] показали существование квадратичного векторного поля на плоскости, у которого имеется не менее четырех предельных циклов. В 1980 году Ши Сонглин [22] опубликовал конкретный пример векторного поля с не менее, чем четырьмя предельными циклами, задаваемого следующей системой х = \х-у- 10ж2 + (5 + 5)ху + у2, ^ о ^
1 у = х + х2 + (-25 + 8е - 95)ху. Требуемое возмущение в работе [22] указано явно:
5 = -Ю-13, г = -Ю-52, А = —Ю-200. (0.0.3)
Ши Сонглин показал, что при указанном возмущении в уравнении (0.0.2) имеется не менее 4 предельных циклов: один вокруг точки (0,1) (этот цикл имеется и в невозмущенной системе), и три вокруг (0, 0).
Естественно возникает в связи с этим вопрос: «А сколько на самом деле предельных циклов в уравнении (0.0.2)»? Ответу на этот вопрос, а так же точной локализации предельных циклов уравнения Ши Сонглина посвящена третья глава данной диссертации.
Цель работы. Целью работы является изучение различных вопросов хаотического и упорядоченного поведения динамических систем малой размерности.
Методы исследования. В работе используются как классические методы растягивающей динамики и техника контроля искажения (Дж. Салливан), теория идеалов Баутина и теория нормальных форм в приложении к квадратичным векторным полям, так и их видоизмененные аналоги, приспособленные для решения поставленных задач.
Научная новизна. Результаты работы являются новыми. В диссертации получены следующие результаты:
1. Обнаружена внутренняя структура минимальных действий 1\т-групп диффеоморфизмов окружности. Эта структура напоминает марковскую растягивающую динамику и порождает все действие группы с точностью до конечного числа отображений.
2. Для С2-гладких М-групп показана сингулярность стационарных мер.
3. Для С2-гладких групп при дополнительных ограничениях показано, что показатель Ляпунова растяжения этой группы равен нулю.
4. Завершено описание простейшей одномерной системы с запаздывающим переключением и двухточечным критическим множеством.
5. Показано, что уравнение Ши Сонглина имеет ровно четыре предельных цикла, не пересекающих малый отрезок по оси ординат. Предельные циклы вокруг начала координат локализованы в узких кольцевых областях.
Теоретическая и практическая ценность. Работа носит теоретический характер. Полученные результаты относятся к различным разделам теории динамических систем малой размерности. Примененные в диссертации методы позволяют эффективно их использовать для продвижения в соответствующих разделах теории динамических систем малой размерности.
Апробация работы. Результаты диссертации докладывались на следующих семинарах и конференциях:
1. на семинаре «Динамические системы» под руководством д. ф.-м. н., профессора Ю. С. Ильяшенко (механико-математический факультет МГУ им. М. В. Ломоносова) неоднократно в 2004 — 2010 гг;
2. на семинаре кафедры «Прикладная математика-1» под руководством д. ф.-м. н., профессора А.Д. Мышкиса (МИИТ), 2008 г.;
3. на конференции «Топологические и вариационные методы нелинейного анализа и их приложения», Воронеж, 2005;
4. на конференции «Singularities of planar vector fields, bifurcations and applications» (Люмини, Франция), май 2009 г.;
5. на Украинском математическом конгрессе, посвященном 100-летию со дня рождения Боголюбова, (Киев, Украина), август 2009 г.
Публикации. Основные результаты опубликованы в статьях [12], [5] и [6].
Структура работы. Работа состоит из введения, трех глав, и списка литературы, содержащего 24 наименования. Общий объем диссертации 83 страницы.
0.1 Краткое содержание работы.
В первой главе рассматриваются действия ]М-групп диффеоморфизмов на окружности. Мы докажем следующие утверждения:
Теорема А (Марковская нестрого растягивающая динамика). Пусть С? — конечно-порождённая N-группа С2 -диффеоморфизмов окружности. Тогда для (7 существуют: разбиение окружности на интервалы {1\,.,
X и соответствующие этим интервалам отображения дъ . ., дк, д^, д^,., д+, д~ е (7, такие, что:
I) все образы представляются как объединения интервалов из X.
И) ЗА > 1 : V? Ух е I, д'^х) ^ А.
Иг) Интервалы и /г примыкают соответственно справа и слева к нерастяжимой точке х* £ NE. При этом это неподвижная топологически отталкивающая точка ограничения на интервал (соотв. /г) отображения д(соотв. дне имеющего на этом интервале других неподвижных точек.
Кроме того, fiVxelf (д3 о {д±)к^)\х) > \ где к^(х) := тт{/г € N | (д^)к(х) £ а, у определяется условием
ШЧ*) €
Замечание 0.2. Для удобства, мы будем иногда обозначать через д1 соответствующее интервалу I Е X разбиения отображение.
Пусть (7 — №-группа. Выберем и зафиксируем даваемое заключением теоремы А разбиение окружности на интервалы с соответствующими им отображениями, {(/,£/) | I Е X}. Это разбиение задаёт процедуру растяжения, которую можно применять к точкам и к достаточно малыми интервалам:
Определение 0.7. Последовательность растяжения интервала 3 Е 51 — это конечная последовательность интервалов Зп, построенная по правилу 3^ = 7,
• 3^ = <7/ (1/(Т1-1)), если С /(„) Е Х\ если же такого интервала не найдётся, то последовательность останавливается на
При этом композиции СП)./ := <?/(п)°- • '091{1) называются растягивающими композициями для интервала 3. Обозначим также через GJ максимальную растягивающую композицию, то есть композицию всех последовательных отображений р/ с условием остановки, описанным выше.
Наконец, такая же (только бесконечная) процедура растяжения может быть определена и для точек. Для точек, принадлежащих орбите нерастяжимой, при этом необходимо уточнить, растягивается ли правая или левая окрестность точки; в этих случаях мы будем соответственно писать
Использовав эту процедуру увеличения как своеобразный «микроскоп», мы увидим, что все отображения из группы С?, рассматриваемые под достаточным увеличением, построены из конечного числа элементарных «кирпичиков»:
Теорема В (о структуре). Пусть группа С — как в теореме А, и интервалы и отображения даваемые заключением этой теоремы, выбраны и зафиксированы. Тогда найдётся конечное число интервалов . £,[,., Ь'н и отображений : Ьг —» Ь\, таких, что любое отображение д £ (7 может быть представлено следующим образом:
• Имеется два разбиения окружности в объединение интервалов, зависящими от выбора д
51 = Л и • • • и Зт = дЩ и • • • и д^т)
• Для каждого р = 1,. ,т в последовательности растяжения интервала Jp встречается некоторый интервал Ь{ , а в последовательности растяжения д(</р) — соответствующий ему интервал, Ь\р. Иными словами, для некоторых п, п' выполнено
Оп\9{1р){д^р)) = Цр
• Отображение д под таким увеличением оказывается соответствующим отображением /г^ : зЬр = ° К °
Более того, разбиение 51 = и можно выбрать одним и тем же для любого конечного набора из С.
Таким образом, можно сказать, что действие группы С? по построению в определенном смысле напоминает действие гладкой реализации Жиса-Сержиеску группы Томпсона.
Рассмотрим отображение R, заданное как R(x) = gi(x), х 6 /, и заданное им отношение эквивалентности 7Z. Классы эквивалентности такого отношения в силу определения являются подмножествами соответствующих G-орбит. Более того, для всех точек, кроме не более, чем счётного множества, их классы можно рассматривать (соединяя точку с её .R-образом) как деревья с выделенным направлением на бесконечности (соответствующим итерированию R). Интересно отметить, что имеет место
Следствие 0.1. Всякая G-орбита разбивается на не больше, чем N классов Л-эквивалентности.
Итерации R — это, в определённом смысле, «жадный» алгоритм растяжения окрестности заданной точки. Оказывается, что поскольку NE О, то из наличия параболических (т.е. с производной равной единице) точек следует
Теорема С. Для почти любой по мере Лебега точки х е S1 показатель Ляпунова отображения R в ней равен нулю:
А (х,Е) = 0.
Напомним также следующее следующее определение.
Определение 0.8. Пусть G С Diff2(5!) — конечно-порождённая группа, Т = Т~1 — конечная симметричная система её образующих. Тогда величина
Хехр(х; Т) = lim sup - max In |(/i о ■ • • о fn)'{x) |
71—>00 n* Jh-'-ifn^J7 называется показателем Ляпунова растяжения в точке х.
Для минимального действия конечно-порождённой группы G С Diff2(51) С. Хёрдером [17] было показано, что функция Хехр{-, почти всюду по мере Лебега совпадает с некоторой константой Aexp(G,J~), называемой показателем Ляпунова растяжения группы G. Хотя величина этого показателя зависит от выбора системы образующих, его равенство нулю или положительность от этого выбора не зависит. В частности, в предположении положительности показателя растяжения теорема Хёрдера [17] утверждает эргодичность действия относительно меры Лебега.
Однако оказывается, что экспоненциальное растяжение для (кусочно-аналитической) N-группы невозможно не только для «жадного» алгоритма:
Теорема D. Показатель Ляпунова растяжения N-группы G кусочно-аналитических диффеоморфизмов равен нулю:
Aexp(G) - 0.
В частности, эргодичность действия такой группы не может быть выведена из теоремы Хёрдера.
Замечание 0.3. На самом деле, в доказательстве нам потребуется гораздо более слабое условие: на интервалах производная соответствующего g* должна быть больше 1 в некоторой окрестности х^.
Напротив, для групп с нулевым показателем растяжения стационарные меры для конечно-порождённой случайной динамики сингулярны (см. [8, Corollary 1.22]). Тем самым, имеет место
Следствие 0.2. Пусть G — N-группа, удовлетворяющая условию из замечания 0.3, am — вероятностгшя мера на ней, носитель которой состоит из конечного числа элементов и порождает G как полугруппу.
Тогда (единственная) т-стационарная мера сингулярна относительна меры Лебега.
Для действия группы PSL(2, Z) аналогичное утверждение было анонсировано И. Гиваршем и И. Ле Жаном [14], и доказано в [15, Proposition 15].
Мы докажем теорему А в разделе 1.1 главы 1, построив процедуру растяжения и описав ее свойства. После этого, везде далее в этой главе мы будем считать указанную в заключении теоремы А систему интервалов и растягивающих отображений выбранной и зафиксированной. Затем, в разделе 1.2 мы напомним необходимые для дальнейших рассуждений сведения из [8], и докажем несколько вспомогательных утверждений.
1. МЫШКИС А. Д., Системы с запаздывающим переключением. Летом. и телемех. 2000. Вып. 12. С. 48-52.
2. Мышкис А. Д., Хохряков А. Я., Бушующие динамические системы. I. Особые точки на плоскости. Матем. сб. 1958. 45. Вып. 3. С. 401-414.
3. Д.А. ФИЛИМОНОВ, Нормальные формы квадратичных векторных полей и уравнение Ши Сонглина, Дифференциальные уравнения, , 2010, 46, №5, 647-657
4. Д.А. филимонов, О действиях на окружности со свойством неподвижности нерастяжимых точек, депонировано в ВИНИТИ, , 16.03.2010, №164-2010, 1-47Литература 81
5. Chen Lan-Sun, Wang Ming-Shu, The relative position, and the number of limit cycles of a quadratic differential system.— Acta Math. Sinica, 1979, 22, 751-758
6. B. Deroin, V. Kleptsyn, A. Navas, On the question of ergodicity for minimal group actions on the circle, Moscow Math. Journal, 2009, 9, 2, 263-303
7. Y. guivarc'h, Y. Le Jan, Asymptotic winding of the geodesic flow on modular surfaces and continuous fractions, Ann. Sc. Ec. Norm. Sup. (4) 26 (1993), no. 1, p. 23-50.Литература 82
8. S. HuRDER. Exceptional minimal sets and the Godbillon-Vey class, to appear in: Annales de l'Institut Fourier (Grenoble).
9. R. MANÉ. Introduçâo à teoria ergôdica. Projeto Euclides (1983). English translation in: Ergodic Theory and Differentiable Dynamics, SpringerVerlag, 1987.
10. MySHKIS A.D., The simplest system with retarding switching and 2-point critical set. Functional Differential Equations. 2003. 10. No. 3-4. pp. 535-539.
11. A. Navas. Sur les groupes de difféomorphismes du cercle engendrés par des éléments proches des rotations. L Enseignement Mathématique 50 (2004), 29-68.
12. M. shub, D. Sullivan, Expanding endomorphisms of the circle revisited. Ergodic Theory Dynam. Systems 5 (1985), no. 2, 285-289.
13. SHI SONGLING, A concrete example of the existence of four limit cycles for plane quadratic systems .— Scientia Sinica, 1980, 23, №2, p.153-158.
14. VOGEL T., Sur les systèmes déferlants. Bull. Soc. Math. France. 1953. 81. No. 1. P. 63-75.
15. Zhang Pingguang, On the distribution and number of limit cycles for quadratic systems with two foci.— Qualitative Theory of Dynamical Systems 3 (2002), 437-463