Авторефераты по всем темам >>
Авторефераты по разное
Российская Академия Наук Математический институт имени В.А. Стеклова На правах рукописи
УДК 517.938 Буфетов
Александр Игоревич ПРЕДЕЛЬНЫЕ ТЕОРЕМЫ ДЛЯ ПОТОКОВ НА ПОВЕРХНОСТЯХ И ГРУПП ПРЕОБРАЗОВАНИЙ
01.01.02 - дифференциальные уравнения, динамические системы и оптимальное управление
АВТОРЕФЕРАТ
диссертации на соискание ученой степени доктора физико-математических наук
Москва - 2010
Работа выполнена в отделе дифференциальных уравнений Математического института имени В.А. Стеклова РАН
Официальные оппоненты: член-корреспондент РАН, доктор физико-математических наук, Немировский Стефан Юрьевич доктор физико-математических наук, профессор Жиров Алексей Юрьевич доктор физико-математических наук, профессор Оселедец Валерий Иустинович
Ведущая организация: Нижегородский Государственный Университет им. Н.И. Лобачевского
Защита диссертации состоится 2011 г. в 1400 на заседании диссертационного совета Д.002.022.02 при Математическом институте имени В.А. Стеклова РАН по адресу: 119991, Москва, ул. Губкина, д. 8.
С диссертацией можно ознакомиться в библиотеке Математического института имени В.А. Стеклова РАН по адресу:119991, Москва, ул. Губкина, д. 8.
Автореферат разослан 2011 г.
Ученый секретарь диссертационного совета Д.002.022.02 при МИАН доктор физико-математических наук, профессор Ю.Н. Дрожжинов КРАТКАЯ ХАРАКТЕРИСТИКА РАБОТЫ.
Актуальность темы.
Перекладывания отрезков и потоки переноса на плоских поверхностях представляют собой классический пример динамических систем так называемого параболического типа, занимающих по своим свойствам промежуточное положение между полностью детерминистическими динамическими системами (например, сдвигами на компактных группах) и сильно хаотическими гиперболическими динамическими системами (например, геодезическими потоками на многообразиях отрицательной кривизны).
Самые простые примеры детерминистических динамических систем отображение поворота окружности и его аналог в непрерывном времени квазипериодический поток на торе. Если угол поворота иррационален, то отображение поворота строго эргодично: мера Лебега есть единственная инвариантная вероятностная мера. Как показал Герман Вейль в 1909 году, временные средние n-k f(Rx) n k=непрерывной функции f под действием поворота R : R/Z R/Z на иррациональный угол равномерно сходятся к пространственному среднему функции, константе f(x)dx. Если угол поворота диофантов, а f гладкая функция с нулевым средним, то временная сумма n-k f(Rx) k=равномерно ограничена по n. В частности, в этом случае дисперсия временной суммы не растет с ростом n.
Классические примеры гиперболических динамических систем - это системы Аносова, например, линейный гиперболический автоморфизм тора и геодезический поток на многообразии отрицательной кривизны. Семейство конечных инвариантных мер гиперболической динамической системы необозримо, в частности, ее периодические траектории всюду плотны в фазовом пространстве. Далее, гиперболические динамические системы удовлетворяют центральной предельной теореме теории вероятностей. Например, пусть M - компактное многообразие отрицательной кривизны, m нормализованная мера Лебега на единичном касательном расслоении T1M, gs : T1M T1M - геодезический поток. Пусть f : T1M R - гладкая функция с нулевым интегралом по мере m, среднее которой вдоль хотя бы одной периодической геодезической отлично от нуля. В этом случае последовательность случайных величин T f(gtx)dt T сходится по распределению к гауссовому нормальному распределению с ненулевой дисперсией. В частности, дисперсия временного интеграла T f(gtx)dt dm(x) M растет как T. Центральную предельную теорему для геодезических потоков на компактных поверхностях постоянной отрицательной кривизны получил Я.Г. Синай в 1961 году, и его результаты впоследствии обобщались и развивались многими авторами.
Потоки переноса и перекладывания отрезков занимают по своим динамическим свойствам промежуточное положение между детерминистическими и гиперболическими динамическими системами. С одной стороны, как одновременно и независимо показали Мазур1 и Вич в 1982 г, потоки переноса и перекладывания общего положения строго эргодичны: мера Лебега есть единственная инвариантная вероятностная борелевская мера. С другой стороны, как показал А.В. Зорич для перекладываний и Дж. Форни для потоков переноса, в случае систем общего положения уклонения временной суммы (или временного интеграла) гладкой функции общего положения растут как некоторая положительная степень времени. В частности, и дисперсия временной суммы (или временного интеграла) растет как положительная степень времени. Встает естественный вопрос об изучении предельных распределений для потоков переноса и перекладываний отрезков.
Основным методом исследования перекладываний отрезков и потоков переноса является ренормализация. Для потоков переноса ренормализуH. Masur, Interval exchange transformations and measured foliations. Ann. of Math. (2) 115 (1982), no.
1, 169Ц200.
Veech, William A. Gauss measures for transformations on the space of interval exchange maps. Ann. of Math. (2) 115 (1982), no. 1, 201Ц242.
Zorich, Anton. Deviation for interval exchange transformations. Ergodic Theory Dynam. Systems (1997), no. 6, 1477Ц1499.
Forni, Giovanni. Deviation of ergodic averages for area-preserving flows on surfaces of higher genus. Ann.
of Math. (2) 155 (2002).
ющей динамической системой является поток Тейхмюллера на пространстве модулей абелевых дифференциалов с предписанными порядками нулей. Более точно, пусть S - замкнутая поверхность рода g 2. Введем на S комплексную структуру и голоморфный дифференциал . Пара (, ) считается эквивалентной другой паре (1, 1), если существует диффеоморфизм поверхности S, переводящий (, ) в (1, 1). Пространство модулей M(g) состоит из классов эквивалентности, а поток {gt} на M(g) порождается действием на парах (, ) по формуле gt(, ) = (, ), где = etRe() + ie-tIm(), а комплексная структура определяется требованием голоморфности . Если (, ) и (, ) эквивалентны, то дифференциалы и имеют одинаковые порядки нулей и одинаковую площадь. Следовательно, эти порядки и площадь корректно определены на M(g). Кроме того, они сохраняются потоком Тейхмюллера {gt}. Возьмем произвольный неупорядоченный набор = (k1,..., kr), где ki N, k1 + + kr = 2g - 2, и обозначим символом H подпространство M(g), соответствующее дифференциалам единичной площади (т.е. (i/2) = 1) с порядками нулей ki, i = 1,..., r; такое подпространство M называют стратом в M(g). Каждый страт является {gt}-инвариантным множеством. Пространство M допускает естественную топологическую структуру, относительно которой оно, вообще говоря, несвязно. Число его связных компонент не превышает трех и зависит от . Каждая из компонент {gt}инвариантна. Существует естественная {gt}-инвариантная мера на M; эта мера конечна. Мы будем называть эту меру гладкой мерой Мазура-Вича.
Именно конечность меры Мазура-Вича является ключевым соображением в доказательстве строгой эргодичности почти всех перекладываний и потоков переноса.
Исследование более тонких эргодических свойств перекладываний и потоков переноса требует более глубокого изучения динамических свойств ренормализующего потока Тейхмюллера. Такие исследования активно проводятся многими авторами. Основную роль играет специальный коцикл над потоком Теймюллера, называемый коциклом Концевича-Зорича. Дадим его определение. Пусть H связная компонента M, пусть H1(H) - расслоение над H, слой которого над точкой (M, ) есть группа когомологий H1(M, R). В расслоении H1(H) может быть задана связность Гаусса-Манина, которая однозначно определяется тем требованием, что горизонтальными сечениями являются непрерывные целочисленные сечения расслоения H1(H). Параллельный перенос по отношению к связности Гаусса-Манина вдоль орбит потока Тейхмюллера задает коцикл над потоком Тейхмюллера, называемый коциклом Концевича-Зорича и обозначаемый символом A = AKZ.
Коцикл Концевича-Зорича удовлетворяет всем требованиях теоремы Оселедца по отношению к произвольной вероятностной эргодической инвариантной мере для потока Тейхмюллера. В последние годы чрезвычайно активно изучаются показатели Ляпунова коцикла Концевича-Зорича и отвечающие им оселедцевские подпространства.
В частности В.Вич5 и Дж. Форни доказали, что старший показатель Ляпунова коцикла Концевича-Зорича прост по отношению к произвольной вероятностной эргодической инвариантной мере для потока Тейхмюллера.
Форни показал, кроме того, что по отношению к мере Мазура-Вича коцикл Концевича-Зорича неравномерно гиперболичен: все его показатели Ляпунова отличны от нуля. Авила и Виана8 показали, что по отношению к мере Мазура-Вича ляпуновский спектр коцикла Концевича-Зорича прост:
каждому показателю Ляпунова отвечает одномерное оселедцевское подпространство. Активно изучались показатели Ляпунова также для других инвариантных мер потока Тейхмюллера. В частности, значительный интерес представляют такие вычисления для так называемых поверхностей Вича, то есть абелевых дифференциалов, задающих плоскую структуру, обладающую богатой группой симметрий.
Как отмечалось выше, потоки переноса общего положения строго эргодичны. Дж. Форни исследовал пространство обобщенных функций, инвариантных относительно потока переноса общего положения (мы называем их далее инвариантными распределениями Дж. Форни). Форни доказал, что для потока переноса общего положения пространство инвариантных обобщенных функций, лежащих в соболевском классе H-1, конечномерно и может быть естественно отождествлено с сильно неустойчивым подпространством коцикла Концевича-Зорича, отвечающего данному абелеву дифференциалу. Встает естественный вопрос о явном описании инвариантных распределений Дж. Форни, отвечающих абелевым дифференциалам Veech, William A. The Teichmller geodesic flow. Ann. of Math. (2) 124 (1986), no. 3, 441Ц530.
op. cit.
op. cit.
Avila, Artur; Viana, Marcelo. Simplicity of Lyapunov spectra: proof of the Zorich-Kontsevich conjecture.
Acta Math. 198 (2007), no. 1, 1Цop. cit.
общего положения.
Естественные динамические системы параболического типа возникают также в символической динамике. Рассмотрим простой пример. Пусть A конечный алфавит, с выделенной буквой a, и s : A A есть некоторое отображение из A в множество A конечных слов в алфавите A, причем слово s(a) начинается с буквы a. Продолжим s до отображения из A в A формулой s(a1...an) = s(a1)...s(an) (для продолженного отображения мы сохраняем тот же символ s). Рассмотрим последовательность s(a), s(s(a)),... Так как в этой последовательности каждое слово есть префикс следующего за ним, мы можем рассмотреть возникающую бесконечную последовательность . Рассмотрим далее семейство двусторонне бесконечных последовательностей над алфавитом A, удовлетворяющих такому условию: каждое конечное подслово является также подсловом . Множество по определению компактно в тихоновской топологии. Правый сдвиг на задает динамическую систему, называемую подстановочной динамической системой.
Другую символическую модель для динамических систем подстановочного типа предложил А.М. Вершик10 (см. также работу Ш. Ито11). Преобразование Вершика (иногда также называемое адическим сдвигом) есть динамическая система специального вида, определенная в пространстве путей топологической цепи Маркова (это пространство путей, следуя А.М. Вершику, мы будем называть марковским компактом). Эргодические свойства подстановочных динамических систем и преобразований Вершика являются объектом активных исследований многих математиков. Встает естественный вопрос о взаимосвязи между гладкими и символическими параболическими динамическими системами и, в частности, о построении символических моделей для потоков переноса и перекладываний.
Таким образом, актуальной является задача об изучении асимптотики эргодических интегралов и получении предельных теорем для динамических систем параболического типа, в частности, для потоков переноса и перекладываний.
Первая теорема о сходимости временных наблюдаемых в динамических системах величин к их пространственным средним есть уже упоминавшаВершик, A. M. Теорема о периодической марковской аппроксимации в эргодической теории, Записки научных семинаров ПОМИ, 115, 72-82 (1982).
Ito, Shunji. A construction of transversal flows for maximal Markov automorphisms. Tokyo J. Math. (1978), no. 2, 305Ц324.
яся теорема Вейля о равномерном распределении орбит иррационального поворота окружности. Аналогичным образом, получению общих эргодических теорем для действий свободных групп предшествовало изучение конкретных примеров. В 1964-м году Арнольд и Крылов установили равномерное распределение орбит действия пары поворотов общего положения на сфере. В 1965-м году В.И. Оселедец предложил общий метод получения эргодических теорем для сохраняющих меру действий произвольных счетных групп. В 1969-м году Гиварш, развивая работу Арнольда и Крылова, доказал сходимость в среднем квадратическом для сферических средних действия свободной группы. В 1986-м году Р.И. Григорчук получил теорему о поточечной сходимости чезаровских средних сферических средних. В эргодической теореме Григорчука предполагается лишь интегрируемость функции. В более ограничительном предположении, что функция лежит в классе Lp, p > 1, в 1994 году Нево и Стейн доказали поточечную сходимость самих сферических средних. Таким образом, является актуальной задача об изучении максимально общих условий, в которых имеют место эргодические теоремы для действий свободных полугрупп и действий свободных групп.
Отметим, что в случае действия свободной группы вопрос о поточечной сходимости сферических средних функций, лежащих лишь в классе L1, остается открытым.
Цель работы Исследовать асимптотику временных интегралов для потоков переноса на плоских поверхностях и перекладываний отрезков общего положения.
Получить предельные теоремы для потоков переноса на плоских поверхностях. Построить символическое кодирование для потоков переноса на плоских поверхностях и перекладываний отрезков. Исследовать инвариантные распределения Дж. Форни для потоков переноса на плоских поверхностях.
Исследовать гиперболические свойства потока Тейхмюллера на пространстве модулей абелевых дифференциалов. Исследовать сходимость сферических средних для сохраняющих меру действий свободной группы. Исследовать сходимость по Чезаро сферических средних для сохраняющих меру действий свободной полугруппы.
Методы исследования.
В.И. Арнольд, А.Л. Крылов, Равномерное распределение точек на сфере и некоторые эргодические свойства решений линейных обыкновенных дифференциальных уравнений в комплексной области.
Доклады АН СССР, 1963, 148(1), 9Ц12.
Основные методы настоящей работы метод ренормализации и метод символического кодирования. Строится новое символическое кодирование для потоков переноса и перекладываний, развивающее методы А.М. Вершика и Ш. Ито. Исследование построенной символической модели и позволяет получить основые результаты диссертации. При этом ренормализационное действие потока Тейхмюллера является ключевым соображением в доказательстве предельных теорем. Методы символической динамики играют основную роль также и в исследовании потока Тейхмюллера. Здесь используется теория марковских разбиений, которые для рассматриваемых в работе динамических систем строятся явно. При доказательстве эргодических теорем для групповых и полугрупповых действий используется также теория марковских операторов.
Научная новизна.
Основные результаты диссертации являются новыми, получены автором и состоят в следующем.
1. Найдена асимптотика для эргодических интегралов потоков переноса, отвечающих абелевым дифференциалам общего положения. Построено пространство аддитивных голономно-инвариантных гельдеровских коциклов над потоками переноса. В терминах гельдеровских коциклов дано явное описание инвариантных распределений потоков переноса в смысле Дж. Форни. Установлена двойственность между инвариантными распределениями вертикального и горизонтального потоков фиксированного абелева дифференциала общего положения.
2. Построено новое символическое кодирование, развивающее конструкции Ш.Ито и А.М. Вершика, для потоков переноса на плоских поверхностях.
3. Найдена асимптотика роста дисперсии и получены предельные теоремы для потоков переноса.
4. Проведено исследование гиперболических свойств потока Тейхмюллера на пространстве модулей абелевых дифференциалов.
5. С помощью методов, развивающих конструкции Р.И. Григорчука, получены новые эргодические теоремы для сохраняющих меру действий конечнопорожденной свободной группы и свободной полугруппы.
Теоретическая и практическая научная ценность.
Работа носит теоретический характер. Ее результаты многут быть использованы в дальнейших исследованиях динамических систем параболического типа. В частности, результаты могут найти применения в исследованиях, проводимых в Математическом Институте имени В.А. Стеклова РАН, Петербургском отделении Математического Института РАН, Московском Государственном Университете им. М.В. Ломоносова, Нижегородском Государственном Университете им. Н.И. Лобачевского, других высших учебных заведениях и научных центрах.
Апробация работы.
Результаты диссертации докладывались на следующих конференциях.
1. Международная конференция, посвященная 30-летию журнала УErgodic Theory and Dynamical SystemsФ, Университет Варвика, Великобритания, сентябрь 2010.
2. Международная конференция по динамическим системам и уравнениям в частных производных, Институт Миттаг-Леффлера Королевской Шведской Академии Наук, Стокгольм, Швеция, май 2010.
3. Международная конференция Европейского математического общества по динамическим системам и теории чисел, Международный центр математических исследований, Эдинбург, Великобритания, май 2010.
4. Международная конференция УDynamical NumbersФ, Институт Макса Планка и Хаусдорфовский математический центр, Бонн, июль 2009.
5. Школа по комплексному анализу и алгебраической геометрии, Ярославль, Россия, май 2009.
6. Международная конференция по динамическим системам, Университет Мэриленда, США, апрель 2009.
7. Техасская конференция по геометрии и топологии, Хьюстон, США, февраль 208. Международная конференция по дифференциальным уравнениям и динамическим системам, Суздаль, Россия, 2008.
9. Международная школа по теории Тейхмюллера, Роскофф, Франция, июнь 2008.
10. XXVIII международная конференция по гармоническому анализу, Университет Перуджии, Перуджия, Италия, май 2008.
11. Международная конференция по дискретной математике и ее приложениям, Университет Тайской торговой палаты, Бангкок, Тайланд, март 2008.
12. Международная конференция УОт динамических систем к статистической механикеФ, CIRM, Люмини, Франция, февраль 2008.
Результаты диссертации докладывались на следующих семинарах:
1. Семинар по динамическим системам и геометрии, Университет Париж6, Франция, ноябрь 2010.
2. Семинар по динамическим системам, Университет Париж-13, Франция, ноябрь 2010.
3. Общеинститутский семинар Математического института имени В.А.
Стеклова, май 2010.
4. Семинар кафедры теоретической механики механико-математического факультета МГУ под руководством академика РАН В.В. Козлова, октябрь 2009.
5. Большой семинар кафедры теории вероятностей механико-математического факультета МГУ, октябрь 2009.
6. Общеинститутский семинар Петербургского отделения математического института имени В.А. Стеклова, сентябрь 2009.
7. Заседание Киевского математического общества, Киев, Украина, май 2009.
8. Коллоквиум, Университет Ратгерса, США, май 2009.
9. Коллоквиум, Университет Техаса в Остине, США, апрель 2009.
10. Семинар по математике и теоретической информатике, Университет Виктории, Веллингтон, Новая Зеландия, март 2009.
11. Коллоквиум, Корнельский Университет, США, ноябрь 2008.
12. Семинар по эргодической теории и действиям групп, Йельский университет, США, октябрь 2008.
13. Семинар по динамическим системам, Университет Кейо, Япония, Иокогама, июнь 2008.
14. Семинар по динамическим системам, Университет Киото, Япония, июнь 2008.
Публикации.
Результаты диссертации опубликованы в 7 работах автора, из которых одна в соавторстве. Список публикаций приводится в конце автореферата.
Структура и объем диссертации.
Диссертация состоит из семи глав, первая из которых является введением, и списка литературы, содержащего 69 наименований. Объем диссертации 172 страницы.
ОБЗОР СОДЕРЖАНИЯ ДИССЕРТАЦИИ Асимптотика эргодических интегралов для потоков переноса.
Пусть M поверхность рода 2, абелев дифференциал на M, m = i( )/2 - элемент площади формы , причем m(M) = 1. Пусть h+, h- отвечающие вертикальный и горизонтальный потоки на M.
t t Пусть x M, t1, t2 R+. Прямоугольник (x, t1, t2) = {h+h-x, 0 1 1 < t1, 0 2 < t2} назовем допустимым, если его замыкание не содержит нулей формы . Определим пространство B+ непрерывных аддитивных коциклов +(x, t) над потоком h+ таких, что при всяком x M t функция +(x, t) гельдерова по t, а если прямоугольник (x, t1, t2) допустим, то +(x, t1) = +(h-x, t1). Пусть B- аналогичное пространtство над h-. Например, если (x, t) = t, то B. Для + B+, t - B- введем конечно-аддитивную меру + - на M формулой + -((x, t1, t2)) = +(x, t1) -(x, t2) (здесь предполагается, что прямоугольник (x, t1, t2) допустим). Определим спаривание между пространствами B+, B- формулой +, - = + -(M).
Пусть H связная компонента пространства модулей абелевых дифференциалов с предписанными порядками нулей, gs поток Тейхмюллера на H, A(s, X) коцикл Концевича-Зорича над gs, действующий в когомологиях H1(M, R) поверхности M. Пусть, далее, гладкая мера Мазура - Вича на H. По теореме АвилыЦВианы, ляпуновский спектр коцикла A по отношению к мере прост и имеет вид 1 > 2 > > > 0 > - > + > -2 > -1. Для X H, X = (M, ), пусть EX, EX H1(M, R) устойчивое и неустойчивое ляпуновские подпространства коцикла A.
Предложение. Для -почти всех X H существуют естественные изоморфизмы IX : EX B, при которых спаривание, переходит в X каноническую билинейную форму на H1(M, R) (интеграл внешнего произведения соответствующих 1-форм). В частности, dim B+ = dim B- = .
X X Для - B- положим m- = + -; мера m- h+-инвариантное t распределение в смысле Форни. В частности, m- = m. Для липшицевой функции f на M, интеграл fdm- = m-(f) определен по Риману при всяком - B-.
Пусть теперь + = +, +,..., + базис в B+ такой, что вектор 1 2 X IX(+) имеет показатель Ляпунова i; пусть - = -,..., - двойi 1 ственный базис в B- по отношению к спариванию,.
X Теорема. Для всякого > 0 найдется C > 0, такое, что для -почти всякого X H, X = (M, ), любой липшицевой функции f на M, любых x M и T > 0 выполнено lT f h+(x)dt - T m(f) - m-(f)+(x, T ) C||f||Lip(1 + T ).
t i i i=Эргодические средние для перекладывания отрезков.
Полученные результаты имеют приложения к перекладываниям. Пусть T : [0, 1] [0, 1] минимальное перекладывание с неприводимой подстановкой . Пусть B(T ) пространство непрерывных функций на [0, 1], таких, что (0) = 0, а если T непрерывно на [a, b], то (T b) - (T a) = (b) - (a). Например, если (t) = t, то B(T ). Как и прежде, для B(T ) и липшицевой функции f на [0, 1] интеграл fd определен по Риману-Стилтьесу.
Теорема. Найдется такое натуральное число , зависящее лишь от подстановки, такое, что по отношению к мере Лебега в пространстве перекладываний для почти всякого перекладывания имеем dimB(T ) = .
Более того, найдутся числа 1 = 1 > 2 > > > +1 = 0, зависящие лишь от , и базис 1 = , 2,..., в B(T ), такой, что при всяком > 0 функция i гельдерова с показателем i - , а для всякого x [0, 1] и всякой липшицевой функции f на [0, 1] выполнено N-k log f T (x) k=lim sup = i(f)+1, log N N где i(f) = max{i : fdj = 0 j i}.
Как и раньше, 1 > 2(R) > > (R) суть положительные показатели Ляпунова коцикла КонцевичаЦЗорича потока Тейхмюллера по отношению к мере МазураЦВича на страте в пространстве модулей абелевых дифференциалов, отвечающем классу Рози подстановки .
Мера с максимальной энтропией для потока Тейхмюллера.
Пространство M допускает естественную топологическую структуру, относительно которой оно, вообще говоря, несвязно. Число его связных компонент не превышает трех и зависит от . Каждая из компонент {gt}инвариантна.
Зафиксируем произвольную связную компоненту H и обозначим через нормированное ограничение на H упомянутой выше {gt}-инвариантной меры.
Вич показал, что {gt} по отношению к мере является потоком Колмогорова с энтропией, определяемой формулой h ({gt}) = 2g - 1 + r. (1) Теорема. Мера единственная мера максимальной энтропии для потока {gt} на H.
Сходимость сферических средних для действий свободных групп.
Седьмая глава диссертации посвящена исследованию эргодических теорем для сохраняющих меру свободной группы. Как и в предыдущих главах, ключевую роль здесь играют методы символической динамики.
Другая аналогия состоит в том, что задача описания предельного поведения равномерных сферических средних для сохраняющего меру действия свободной группы сводится к нахождению хвостовой сигма-алгебры некоторого специального марковского оператора.
Первые эргодические теоремы для действий произвольных счетных групп были получены В.И. Оселедцем в следующих предположениях.
Пусть - счетная группа, которая действует измеримыми сохраняющими меру преобразованиями на вероятностном пространстве (X, ), и для g пусть Tg - соответсвующее преобразование. Пусть - вероятностная мера на , удовлетворяющая условию (g-1) = (g). Пусть (n) - это n-ая конволюция . Эргодическая теорема Оселедца утверждает, что для L log L(X, ) средние A2n = (2n)(g)Tg g сходятся почти наверное. Доказательство основано на рассмотрении самосопряженного марковского оператора Q = (g)Tg.
g Пусть Fm - свободная группа, а Fm - подгруппа элементов четной длины по отношению к данной системе свободных образующих.
В 1969-м году Гиварш (основываясь на работе Арнольда и Крылова) рассмотрел равномерные сферические средние на свободной группе, то есть, sn = Tg (2) 2m(2m - 1)n-g:|g|=n и доказал, что для L2(X, ) последовательность s2n сходится в Lк Fm-инвариантной функции.
В 1986-м году Р.И. Григорчук получил поточечную сходимость для средних N-CN = sn.
N n=В 1994-м г. Нево и Стейн доказали следующую теорему.
Теорема. Пусть p > 1. Тогда для всех Lp(X, ) последовательность s2n сходится при n как -почти вездe, так и в Lp к Fmинвариантной функции.
Пусть (X, ) - вероятностное пространство и пусть Fm - свободная группа с m образующими, действующая на (X, ) измеримыми, сохраняющими меру преобразованиями. Пусть a1,..., am образующие Fm, а T1,..., Tm :
X X отвечающие им преобразования. Положим T-i = Ti-1 для i = 1,..., m, A = {-m,..., -1, 1,..., m}. Действие Fm на L1(X, ) определяется формулой Tg = Tg-1, g Fm.
Рассмотрим множество WA всех конечных слов в алфавите A:
WA = {w = w1w2... wn| wi A} Обозначим символом |w| длину слова w. Для натурального n, пусть WA(n) = {w WA, |w| = n}.
Для каждого w WA, w = w1... wn, определим преобразование Tw = Tw Tw... Tw. (3) 1 2 n Пусть - стохастическая матрица формата 2m 2m, строки и столбцы которой занумерованы элементами из A, то есть, = (pij), i, j A.
Предположим, что имеет единственное стационарное распределение (p-m,..., p-1, p1,..., pm), причем такое, что все pi > 0.
Для w WA, w = w1... wn, обозначим p(w) = pw wn-1pw wn-2... pw w1, (w) = pw p(w).
n n-1 2 n Рассмотрим операторы s = (w)Tw (4) n |w|=n В седьмой главе диссертации исследуется сходимость этой последовательности операторов.
Определение. Будем говорить, что матрица порождает свободную группу, если pij = 0 эквивалентно i + j = 0.
Нам будет нужно условие симметрии pjpji pi = p-i, p-i,-j = (5) pi Равенство (5) эквивалентно тому, что все операторы s самосопряженn ные.
Пусть Fm - подгруппа слов четной длины Fm, то есть подгруппа, порожденная aiaj, i, j {1,..., m}.
Теорема. Пусть (X, ) - лебегово вероятностное пространство. Предположим, что стохастическая матрица порождает свободную группу и удовлетворяет условию (5). Тогда для каждого L log L(X, ) последовательность s сходится при n и -почти везде, и в L1(X, ) к 2n Fm-инвариантной функции.
Замечание. Последовательность s тоже сходится. Последователь2n+ность s не должна сходиться, потому что действие Fm может иметь собn ственную функцию с собственным значением -1, то есть, ненулевую функцию L1(X, ) такую что Ti = - для всех i A (по той же причине предел в теореме должен быть Fm-инвариантным но не обязан быть Fm-инвариантным). Если действие не имеет собственных функций с собственным значением -1, то для всех L log L(X, ) последовательность s сходится при n как -почти всюду, так и в L1(X, ), к n Fm-инвариантному пределу.
Средние s сходятся при более слабых условиях на матрицу , чем в 2n теореме.
Определение. Матрица с неотрицательными элементами будет называться неприводимой, если для всех n > 0 все ненулевые элементы матрицы + 2 +... n положительны (если - стохастическая, то это эквивалентно тому, что в соответствующей цепи Маркова каждое состояние достижимо из любого другого состояния).
Определение. Матрица с неотрицательными членами будет называться строго неприводимой, если неприводима и T неприводима (здесь T обозначает матрицу транспонированную к .) Ясно, что матрица, порождающая свободную группу, строго неприводима.
Теорема. Пусть (X, ) - лебегово вероятностное пространство и пусть p > 1. Пусть стохастическая матрица строго неприводима и удовлетворяет (5). Тогда для всех Lp(X, ), последовательность s 2n сходится при n как -почти всюду, так и в Lp, к Fm-инвариантной функции.
Эргодические теоремы для действий групп и полугрупп.
Условия, наложенные на матрицу марковского кодирования в предыдущем разделе, довольно ограничительны. При более слабых условиях, однако, удается установить только сходимость по Чезаро сферических средних.
Какутани предложил способ усреднения, основанный на эргодической теореме в косых произведениях Питта, и на этом пути В.И.Оселедец получил в 1965 году первые эргодические теоремы для действий произвольных счетных групп.
Метод Какутани и Оселедца вкратце таков. На группе вводится вероятностное распределение, затем расматривается последовательность независимых случайных величин принимающих значения в группе и имеющих данное распределение. Групповому действию на пространстве Лебега сохраняющими меру преобразованиями сопоставляется косое произведение над пространством траекторий этого случайного процесса с действующим на нем сдвигом по времени. Далее, эргодическая теорема Биркгофа - Хинчина интегрируется вдоль базы косого произведения и получается эргодическая теорема для исходного группового действия.
Автором используется несколько иной подход. В полугруппе или группе выделяется конечная система образующих и рассматривается пространство односторонних бесконечных последовательностей из этих образующих с тихоновской топологией. Борелева вероятностная инвариантная относительно сдвига мера на этом пространстве выбирается произвольно. Действию полугруппы ставится в соответствие косое произведение над сдвигом на нашем пространстве последовательностей, снабженном мерой . Потом опять эргодические теоремы БиркгофаЦХинчина интегрируются вдоль базы косого произведения и получаются эргодические теоремы для исходного полугруппового или группового действия. Временные средние отображений T1,..., Tm, полученные при усреднении с помощью меры , обозначаются Cn(T ).
Если мера произвольна, то автору неизвестны условия того, что предел временных средних инвариантен относительно полугруппового действия.
Однако если мера марковская, то в работе даны достаточные условия, при выполнении которых для произвольной функции временные средние Cn(T ) сходятся к инвариантной функции.
Далее, пусть L банахово пространство, T1,..., Tm : L L линей ные операторы. Для них так же строятся временные средние Cn(T ). Если мера марковская, а T1,..., Tm положительные L1 - L-сжатия в L1(X, ), то для любой функции L1(X, ) временные средние Cn(T ) сходятся -почти всюду. При этом, если (X) < , то Cn(T ) сходятся и в L1(X, ), a если к тому же мера сильно связна, то предельная функция инвариантна относительно каждого оператора T1,..., Tm. Итак, для вре менных средних Cn(T ) нескольких положительных L1 - L сжатий имеет место эргодическая теорема; частным случаем ее является эргодическая теорема для нескольких отображений.
Если марковская мера порядка k 1 на m, то для временных сред них Cn(F ) индивидуальная и статистическая эргодические теоремы также имеют место и позволяют получить эргодические теоремы для действий полугрупп, названных автором строго марковскими.
Основные публикации по теме диссертации.
1. А.И. Буфетов, Эргодические интегралы потоков на плоских поверхностях, Успехи мат. наук, т. 65:6 (2010), стр. 181-182.
2. A. I. Bufetov, Hoelder cocycles and ergodic integrals for translation flows on flat surfaces, Electronic Research Announcements in Mathematical Sciences, 17, 2010 p. 34 - 3. А. И. Буфетов, Б. М. Гуревич. О мере с максимальной энтропией для потока Тейхмюллера на пространстве модулей абелевых дифференциалов, Функциональный анализ и его приложения, 2008, 42, 3, стр.
75Ц4. A. Bufetov, Pointwise convergence of spherical averages for actions of free groups, Annals of Mathematics, 155 (2002), no.3, рр. 929-944.
5. А.И. Буфетов, Операторные эргодические теоремы для действий свободных полугрупп и групп, Функциональный анализ и его приложения, 2000, т. 34, вып. 4, стр. 239-251.
6. А. И. Буфетов, Косые произведения и эргодические теоремы для групповых действий, Зап. научн. сем. ПОМИ, 266 (2000), стр. 13-7. А. И. Буфетов, Эргодические теоремы для действий нескольких отображений, Успехи мат. наук, 1999, том 54, вып. 4, стр. 159-160.
Препринт.
8. A.I. Bufetov, Limit theorems for translation flows, препринт Математического института Макса Планка, Бонн, 2010, 69 страниц.
Работы автора, примыкающие к тематике диссертации.
9. A. Bufetov, Decay of correlations for the Rauzy-Veech-Zorich induction map on the space of interval exchange transformations and the Central Limit Theorem for the Teichmller flow on the moduli space of abelian differentials, Journal of the American Mathematical Society, 19 (2006), рр. 579Ц623.
10. A. I. Bufetov, Logarithmic asymptotics for the number of periodic orbits of the Teichmller flow on VeechТs space of zippered rectangles. Mosc. Math.
J., 9:2 (2009), рр. 245-211. А.И. Буфетов, Б.М. Гуревич, Существование и единственность меры с максимальной энтропией для потока Тейхмюллера на пространстве модулей абелевых дифференциалов, Математический сборник, 2011, т. 202.