Автореферат (1137381), страница 2

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

Текст из файла (страница 2)

Во второй главе диссертации предлагается новый взгляд на классиче�скую задачу об асимптотическом поведении конца вращающейся цепи из N8Glutsyuk A., Rybnikov L. On families of differential equations on two-torus with all Arnold tongues9Рис. . ПроблемаЛагранжа–задачанахожденияасимптотическойугловойскоростиконцавращающейсяцепиотрезков.Нарисункеизображенавращающаясяцепьизтрехотрезковсдлинамиl1 ,l2 ,l3 .Угловыескоростиотрезковотносительноконцапредыдущегоотрезкавцепи(илиначалакоординатдляпервого отрезка)равны!1 , .

. . , !N.ҸҼҺүұҴҸҬҹҸһҼҪҬҵүҷҷҽӈүӃӊϒҸұүҾҸҶϗҽҲϗҪҭҺҪҷҰүҶ9 ͵ͽ΁΀΅͸ͽ΄΅͸ͻͺΆΊ͸΀ͻΒͷ͵ͻ͹͸΀ͻΒ΂;ͳ΀͸΅Напомним постановку этой задачи, которую мы будем в дальнейшем на�зыватьзадачейЛагранжа,Рис.3.Прификсированныхl1, . . . , lN2R(соот�ветствующихдлинамотрезковцепи)ипрификсированных!1 , . . . , !N (соответ�ствующих относительным угловым скоростям отрезков) изучается поведениесуммыz(t) =NXlj exp(i!j t) exp(i j0 ),j=1где0j, j = 1, . . . , N соответствуют исходным положениям отрезковсистеͿΎ.

͞ͳͶ΃ͳ΀͹ͳ ͻ΀΅͸΃͸΄΁͵ͳ;ͻ ͽ΁΃΃͸ͽ΅΀΁͸ ΁΂΃͸ͷ͸;͸΀ͻ͸ ͻ ͵΁΂΃΁΄΄ΆΌ͸΄΅͵΁͵ͳ΀ͻΒ΂΃͸ͷ͸;ͳBSHz(t),t!1 tlim(2)который разумно называть асимптотической угловой скоростью конца вра�9Lagrange J.L. Théorie des variations séqulaires des éléments des planétes, I, II, (1781)10щающейся цепи.Лагранж решил эту задачу в простейшем случае, когда длина lj одногоиз отрезков превосходит сумму длин оставшихся отрезков. Тогда асимптотиче�ская угловая скорость конца системы ! (предел, заданный в (2)) существуети совпадает с соответствующей угловой скоростью самого длинного отрезка,! = !j .ВобщемслучаезадачаЛагранжабыларешенавциклеработП.Боля,П.Хартмана,Е.Р.ВанКампена,А.Винтнера,Г.Вейля,Б.ДжессенаиХ.Торнхейва10 .Идея доказательства состоит в явном подсчете угловой скорости с приме�нениемэргодическойтеоремывслучае,когдаугловыескорости!j являютсярациональнонезависимыми.Случайрациональнозависимых!j являетсябо�леесложным,ибылполностьюразобранДжессеномиТорнхейвомдляпро�извольногочислаотрезковN .Помимотеоретико-числовыхсвойстввектора(!1 , .

. . , !N),сложностьпредставляютконфигурации,вкоторыхцепьпрохо�дитчерезначалокоординативкоторыхаргументконцасистемынеопределен.Г.Вейльпреодолелэтисложностивсвоейработеосреднемдвижении1938года.ВданнойдиссертациинасбудетинтересоватьслучайN= 3.ВэтомслучаезадачаЛагранжаимееткрасивыйответ.Теорема1.Рассмотримдинамикувращающейсяцепинаплосоксти,состо�ящейизотрезковсдлинамиl 1, l2, l32R+,вращающимисясотносительнымиугловымискоростями!j șȱȺПредположим,чточислаlj таковы,чтоизотрезковсоответствующихдлинможносоставитьтреугольник.Обозначим(положительные)углыэто�готреугольникакак↵1 ,↵2 ,↵3 .Угол↵j противолежитсторонеlj соответ�ственно.109 Bohl P. ÜbereininderTheoriedersäkularenStorungenvorkommendesProblem(1909);HartmanP.,VanKampenE.R.,WintnerA.MeanMotionsandDistributionFunctions(1937);WeylH.MeanMotion(1938), Jessen B.

and Tornehave H. Mean motions and zeros of almost periodic functions(1945)T11Предположим, что угловые скорости !j являются рационально незави�Pсимыми (не существует соотношения j tj !j = 0, tj 2 Z).Тогдапредел(2)существуетиасимптотическаяугловаяскоростьконцатакойсистемыравна!=↵1↵2↵3!1 + !2 + !3 .⇡⇡⇡В данной диссертации данная теорема передоказывается новыми геомет�рическими методами.

Затем эти методы обобщаются и применяются на случайвращающейся системы не на евклидовой плоскости, а на произвольной полнойTориентируемой римановой поверхности.Стоит отметить, что задача Лагранжа была рассмотрена в намного болееобщем контексте почти периодических функций в работах Борге Джессена11 .Также задача Лагранжа связана с рядом интересных топологических вопросов,связанных с множеством положений цепи, в которых конец системы фиксиро�ван. Эти вопросы изучались, среди прочих, Жаном-Клодом Османом12 .3.

Третья глава диссертации посвящена эргодической теории для дей�ствий свободной группы преобразованиями, сохраняющими меру на множестве(X, µ). В этой главе продолжается начатый фон Нейманном и Биркxофом путьизучения временных средних функций вдоль орбит преобразований. Классиче�ская эргодическая теорема утверждает, что для обратимого сохраняющего мерупреобразования T : X ! X пространства с конечной мерой, µ(X) < 1 и дляинтегрируемой функции ' 2 L1 (X, µ), для почти всех x 2 X существует пределвременных среднихnX1'(T k x).limn!1 2n + 1k= nЭту теорему можно рассматривать как теорему о сходимости шаровыхсредних для действия абелевой группы Z.11Jessen B. Some Aspects of the theory of almost periodic functions (1954)12Haussmann J.-C. Sur la topologie des bras articulés (1989), Contrôle des bras articulés et transformationsde Möbius, (2005)12В данной диссертации изучаются аналогичные вопросы сходимости длядействий свободной группы Fr с r образующими на пространстве с мерой (X, µ),µ(X) < 1.На свободной группе с r образующими Fr =< a1 , .

. . , ar > задается стан�дартная норма || · ||, соответствующая длине кратчайшего представителя эле�мента g 2 Fr как слова в алфавите {a1 , . . . , ar , a1 1 , . . . , ar 1 }. Таким образомможно определить сферу радиуса n в свободной группе как множество элемен�тов нормы n, количество элементов в сфере равно |S(n)| = (2r)(2r1)n 1 .Действие свободной группы задается гомоморфизмом T : Fr ! Aut(X, µ).Тогда определен оператор Sn сферических средних: для функции ' 2 L1 (X, µ)Sn ' :=1(2r)(2r 1)n1X' T (g).g:||g||=nИзучение сходимости сферических средних для действий свободной груп�пы было начато В.И. Арнольдом и А.Л. Крыловым13 : ими был доказан аналогтеоремы Вейля о равномерной распределенности орбит иррационального пово�рота на сфере.

А именно, ими было доказано, что в случае действия свободнойгруппы из двух образующих F2 =< a, b > поворотами сферы Ta , Tb 2 SO(3),плотные орбиты F2 x точки x 2 S2 равномерно распределены, а именно для лю�бого измеримого подмножества сферы P ⇢ S2 относительная доля элементовсферы S(n) в группе, отправляющая x в множество P , стремится к относитель�ной мере P , n ! 1:|S(n)x \ P |mesP!.n!1|S(n)|mesS2limОбобщая результат Арнольд-Крылова на произвольное унитарное действиегруппы F2 , Гиварш доказал14 теорему о сходимости сферических средних в нор�ме L2 : для сохраняющего меру действия F2 y (X, µ) и для произвольной функ�13Арнольд В.И.,Крылов А. Л.

Равномерное распределение точек на сфере и некоторые эргодическиесвойства решений линейных обыкновенных дифференциальных уравнений в комплексной области (1963)14Guivarc’h Y. Généralisation d’un théorème de von Neumann, (1969)13ции ' 2 L2 (X, µ) сферические средние S2n ' сходятся в норме L2 . Заметим,что нет надежды ожидать сходимости Sn ', если функция ' является собствен�ной функцией операторов Ta , Tb с собственным значением1. Позднее Невои Стейн15 , используя спектральные методы, обобщили результат Гиварша насходимость в Lp , p 2 (1, 1) для функций ' 2 Lp соответственно.Таким образом, многое понято для сходимости сферических средних длядействия T : Fr ! Aut(X, µ) свободной группы Fr на пространстве с мерой(X, µ).

Нас интересует обобщение определения равновесных сферических сред�них на марковские сферические средние: разные элементы g 2 S(n) сферыS(n) ⇢ Fr будут выбираться с разными весами в соответствии с вероятностями,заданными марковской цепью.Эта цепь задается конечным ориентированным графом= (V, E) с мно�жеством вершин V и ребер E. Вершины V кодируются элементами группыпосредством инъективного отображения L : V ! Fr . Пространство состоя�ний марковской цепи - вершины V графа .

Вероятности перехода определяют�ся стохастической матрицей (⇧v,w ), строки и столбцы которой пронумерованыэлементами алфавита V (то есть, все элементы матрицы ⇧ неотрицательны иPw ⇧v,w = 18v 2 V ). Также мы предполагаем, что эта матрица имеет стаци�онарное распределение ⌫ = (⌫(v))v2V : ⇧T ⌫ = ⌫, у которого все координатыположительны ⌫(v) > 0 8v 2 V .Множество ребер графа определяется какE={(w,v)|⇧v,w>0}.Ориентированным путём длины n в графеназывается такая последова�тельность n вершин s = (s1 , . .

. , sn ), что (si , si+1 ) 2 E. Каждому из таких путейсопоставляется соответствующий автоморфизм X:Ts = TL(s1 ) . . . TL(sn )15Nevo A., Stein E. M. A generalization of Birkho?’s pointwise ergodic theorem (1994)14ивероятностьэтогопутивграфе͵Ύ΃ͳ͹ͳΑΌͳΒ΄Β΂΃΁ͻͺ͵͸ͷ͸΀ͻ͸Ϳ⇧s = ⇧sn sn 1 . .

. ⇧s2 s1 .Определение1.МарковскиесферическиесредниедлядействияțсвободнойгруппыFrнапространстве(X,µ),заданныестохастическойматрицей⇧–этооператорыSn :L1 (X,µ)!L1 (X,µ),определяемыекаксредниеповсемпутямдлины nSn '(x) :=X⌫(sn )⇧s '(Ts x).(s1 ,...,sn )В данной диссертации нас интересует сходимость в среднем марковскихсферических средних при максимально слабых условиях на матрицу ⇧, задаю�щую марковскую цепь. Эта работа основана на совместной статье с ЛьюисомБоуэном и Александром Буфетовым.Мы используем метод марковских операторов, предложенный для дока�зательства эргодических теорем для действий свободных групп и полугруппР.И.Григорчуком16 , а также Ж.-П.

Тувено (в устной беседе). Этот метод былприменен А.И. Буфетовым17 для доказательства сходимости марковских сфе�рических средних при достаточно жестких ограничениях на матрицу ⇧. Нашейцелью было расширить применимость теоремы Буфетова на открытое множе�ство в пространстве матриц ⇧, задающих марковскую цепь (при фиксирован�ном множестве вершин V ).Интерес изучения марковских сферических средних для свободной груп�пы состоит в том, что марковские средние для свободной группы могут сов�падать с равновесными сферическими средними для других конечно-породжен�ных групп, если матрица ⇧ подобрана подходящим образом. Таким образом под�ход марковских сферических средних позволяет доказывать теоремы о сходи�мости сферических средних для конечно-порожденных групп с соотношениями,16Grigorchuk R.

I. Ergodic theorems for actions of free semigroups (1999)17Bufetov A. I. Convergence of spherical averages for actions of free groups (2002)15для которых возможно марковское кодирование: в частности и в особенности,групп поверхностей и гиперболических групп. Первые результаты, связанныесо сходимостью сферических средних для гиперболических по Громову групп,полученные в предположении о сильном экспоненциальном перемешивании дей�ствия, принадлежат Фудживаре и Нево18 .

Характеристики

Список файлов диссертации