Научная статья на тему 'Классификация потоков типа Черри на неориентируемой поверхности рода три'

Классификация потоков типа Черри на неориентируемой поверхности рода три Текст научной статьи по специальности «Математика»

CC BY
167
29
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПОТОКИ НА ПОВЕРХНОСТЯХ / КВАЗИМИНИМАЛЬНОЕ МНОЖЕСТВО / ТОПОЛОГИЧЕСКАЯ КЛАССИФИКАЦИЯ / FLOWS ON SURFACES / QUASIMINIMAL SET / TOPOLOGICAL CLASSIFICATION

Аннотация научной статьи по математике, автор научной работы — Медведев Тимур Владиславович

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

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Медведев Тимур Владиславович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

CLASSIFICATION OF CHERRY TYPE FLOWS ON NONORIENTABLE SURFACE OF GENUS 3

The paper gives a topological classification of Cherry type flows on closed nonorientable surface of genus 3, i.e. the flows with finite number of fixed points, unique nowhere dense quasiminimal set and without closed trajectories and separatrix connections.

Текст научной работы на тему «Классификация потоков типа Черри на неориентируемой поверхности рода три»

Математика

Вестник Нижегородского университета им. Н.И. Лобачевского, 2011, № 2 (1), с. 139-145

УДК 517.93

КЛАССИФИКАЦИЯ ПОТОКОВ ТИПА ЧЕРРИ НА НЕОРИЕНТИРУЕМОЙ ПОВЕРХНОСТИ РОДА ТРИ

© 2011 г. Т.В. Медведев

Нижегородский госуниверситет им. Н.И. Лобачевского

[email protected]

Поступила в редакцию 28.12.2010

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

Ключевые слова: потоки на поверхностях, квазиминимальное множество, топологическая классификация.

Введение

Изучение потоков с нетривиально рекуррентными траекториями на замкнутых поверхностях восходит к Пуанкаре [1-4], который рассматривал потоки на торе без состояний равновесия и периодических траекторий. Напомним, что траектория называется нетривиально рекуррентной, если она непериодическая и принадлежит собственному предельному множеству. Потоки с такими траекториями существуют на ориентируемых поверхностях, начиная с рода 1 (тор), и на неориентируемых поверхностях, начиная с рода 3 [5, 6]. Следуя [7], топологическое замыкание нетривиально рекуррентной траектории мы будем называть квазиминимальным множеством, которое единственно в случае тора и неориенти-

руемой поверхности Мз рода 3 [8, 9]. Рассмотрим арациональный поток, то есть поток без периодических траекторий и сепаратрисных связей. Динамика таких потоков наиболее тесно связана с топологией несущей поверхности. Известно [1-4, 8, 10], что на торе существуют ара-циональные потоки как с нигде не плотным, так и со всюду плотным квазиминимальным множеством. Мы показываем, что квазиминимальное

множество арационального потока на М3 всегда нигде не плотно (теорема 1).

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

тируемой поверхности М3 рода три, у которых в каждой компоненте дополнения к (единственному) квазиминимальному множеству лежит

минимально возможное число состояний равновесия. Подобные потоки в последнее время стали называть потоками типа Черри [7, 13] (см. точные определения ниже). Задача топологической классификации потоков Черри на различных ориентируемых поверхностях решалась в [11-14] и др. Топологическая классификация

таких потоков на М3 до настоящего времени не рассматривалась.

Вспомогательные результаты

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

Определение 1. Функция /(х), х е И, называется преобразованием типа Черри прямой И с одним флипом, если: 1) /(х +1) = /(х) +1; 2) на каждом конечном интервале изменения X /(х) имеет не более чем конечное число интервалов постоянства (т.е. интервалов, на каждом из которых / принимает постоянное значение) и не более чем конечное число точек разрыва; 3) в концевых точках интервалов постоянства преобразование / непрерывно;

4) если [с; d] - интервал постоянства преобразования / , то для любого п е N ^ {0} полный прообраз / п([с;d]) является замкнутым ин-

тервалом, в некоторой окрестности которого преобразование / является гомеоморфизмом;

5) если хо - точка, в некоторой окрестности которой / непрерывна и строго монотонно возрастает, то на (хо;хо +1) существует единственная пара точек разрыва а и Ь, такая, что на интервале (а; Ь) функция / нестрого монотонно убывает. В окрестностях точек х е (х0; х0 + 1)\[а; Ь] /(х) нестрого монотонно возрастает, причем в левой полуокрестности точки а и в правой полуокрестности точки Ь / строго монотонно возрастает и непрерывна в а (Ь) слева (справа). Каждый такой интервал (а; Ь) мы назовем флипом; 6) если (а; Ь) -

флип, то Нш /(х) = /(Ь) и Нш /(х) = /(а) ,

х —а+0 х —— Ь—0

а в остальных точках разрыва / непрерывна слева; 7) если х0 - точка разрыва преобразования / , не являющаяся граничной точкой флипа, и [с;d] = [/(х0 ); Нш /(х)], то для любо-

х—х0 +0

го п е N^ {0} образ /п([с;d]) есть замкнутый интервал, в некоторой окрестности которого / является гомеоморфизмом; 8) / не имеет

периодических точек (т.е. (х) Ф х + т для

любых к е Z \{0}, т е Z). Множество преобразований типа Черри прямой с одним флипом обозначим через Т сИ^Я1) .

Отметим, что под интервалом постоянства (с; d) мы понимаем «максимальный», т.е. такой, что для любого в >0 интервалы (с — в; d) и (с; d + в) интервалами постоянства уже не являются. Заметим, что из условий 5 и 6 следует, что если точка У0 не является образом интервала постоянства отображения / и существует х0 , что /(х0) = У0, то такое х0 единственно.

Пусть п : Я. — 81 - универсальное накрытие окружности 81, п( х) = х (шоё1). Тогда

/ е ТсИ^Я1) является накрывающим для некоторого преобразования / : 81 — 81, т.е. / о п = п о f. Проекции флипов при отображении п мы также будем называть флипами. Ограничение f |(а;Ь), где (а; Ь) - флип, меняет ориентацию.

Универсальное накрытие окружности

п : R ^ S1 задает на ней ориентацию, которую мы в дальнейшем будем считать фиксированной.

Определение 2. Преобразование f: S1 ^ S1 называется преобразованием типа Черри окружности S1 с одним флипом, если существует накрывающее для f преобразование типа Черри прямой с одним флипом. Множество преобразований типа Черри окружности с

одним флипом обозначим через T chi(S1) .

Лемма 1. Пусть f eTch1(S1) и (a; b) -

флип. Тогда fn ((a; b)) о (a; b) = 0, n e N, и (a; b) состоит из блуждающих точек преобразования f.

Доказательство можно получить аналогично доказательству леммы 1 работы [15] с учетом условия 7) определения 1.

Потоки типа Данжуа и Черри на замкнутой неориентируемой поверхности рода 3

В настоящем параграфе мы даем определение потоков типа Черри на замкнутой неориен-

тируемой поверхности Mз рода 3 и решаем задачу их топологической классификации. В заключение мы строим пример такого потока.

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

Теорема 1. Пусть f1 - арациональный С1 поток с грубыми состояниями равновесия на замкнутой неориентируемой поверхности M3 рода 3, имеющий нетривиальную рекуррентную траекторию. Тогда единственное квазиминимальное множество Q( ff) нигде не плотно.

Доказательство. Согласно [9] квазиминимальное множество Q( f) единственно. Из [16] следует, что если нетривиальная рекуррентная траектория потока fl на M3 всюду плотна, fl

имеет петлю сепаратрис седла и, таким образом, не является арациональным. Ввиду отсутствия у

rt ^

j замкнутых траекторий и сепаратрисных связей Q( f ) нигде не плотно. □

Определение 3. Арациональный Сг -поток f (r > 1) с грубыми состояниями равновесия

на замкнутой неориентируемой поверхности

2

M з3 рода 3 назовем потоком типа Черри и скажем, что он принадлежит классу Ch(M3 ) , если выполняются следующие условия: 1) f1 имеет

одно квазиминимальное множество Q( f ); 2) в

t

каждый узел потока f идет ровно по одной сепаратрисе седла; 3) если седло имеет сепаратрису, идущую в узел, оно лежит в Q( f ).

Топологическая классификация потоков такого класса на двумерном торе осуществлена в [11, 13], а на замкнутых гиперболических поверхностях - в [14] с использованием техники, разработанной в [17] для транзитивных потоков на таких поверхностях.

Обозначим через O, O1,..., Ok седла и через

U1,...,Uk , к > 0, - узлы потока f1 eCh(M|) .

2

Поскольку эйлерова характеристика M3 равна t 2

— 1, число седел f eCh(M3 ) на единицу превышает число узлов. В соответствии с условием 2) в каждый узел Ut, i = 1,... к , идет ровно по одной сепаратрисе седла. Покажем, что седло может иметь только одну сепаратрису, идущую в узел. В самом деле, если седло Oi имеет хотя бы одну сепаратрису, идущую в узел, по условию 3), оно лежит в Q( f), и, следовательно, по крайней мере две его сепаратрисы противоположной устойчивости (мы будем считать, что

это Ь'з и L\) лежат в Q( f). Пусть L\ - сепаратриса седла O , идущая в неустойчивый узел Ui, а L2 - сепаратриса седла Oi, идущая в устойчивый узел Uj . Тогда L2 является одним односторонним продолжением по Бендиксону L1 и пусть L3 - другое ее одностороннее продолжение по Бендиксону. Тогда ю -предельное множество некоторой части траекторий, выходящих из неустойчивого узла U i , будет совпадать с ю -предельным множеством L2, т.е. Uj, а ю -предельное множество другой части траекторий, выходящих из неустойчивого узла U i , будет совпадать с ю -предельным множеством L3 , т.е. Q( f). Однако в силу условия 2) это невозможно.

Таким образом, седла Oi, i = 1,...,к (при к >0) имеют ровно по одной сепаратрисе, идущей в узел (мы будем считать, что это узел

Ui), и лежат в Q( f1), а седло O может лежать или не лежать в Q( f1). Как мы уже заметили,

Oi, i =1,.,к, имеют по крайней мере по две

сепаратрисы, лежащие в Q( f) и являющиеся нетривиальными рекуррентными полутраекто-риями, причем одна из них является продолжением по Бендиксону другой. Пусть L1, L2, L3, L4

- сепаратрисы седла Oi (i = 1,.,к) , пронумерованные при обходе вокруг седла Oi , и пусть L3 такова, что Q( f‘) о [ю(L3) u а(L3)] = Oi, т.е. ю - (а -)предельным множеством L3 является узел Ui . Тогда сепаратрису Li3 седла Oi будем называть черной.

Отметим, что по три сепаратрисы седел

O1,., (°к и все четыре сепаратрисы седла O

имеют Q( ff) в качестве ю - (а -)предельного множества.

В силу теоремы 1 множество Q( f) нигде

не плотно. В силу [8, 9] Q^f1 )\{Ob...,Ok} локально гомеоморфно прямому произведению канторовского множества на отрезок. Компоненту связности множества

к

D(f1) = M32 \ [Q(f1 )U(L uL2 uL4], содер-

i=1

жащую черную сепаратрису Li3 , назовем черной ячейкой. Остальные компоненты связности множества D( f) назовем серыми ячейками (такие компоненты, как мы покажем ниже, всегда имеются). Черную ячейку будем называть положительной (отрицательной), если черная сепаратриса, которую она содержит, является а - (соответственно ю -) сепаратрисой седла из

Q(f).

Пусть f1 eCh(M|) , и Q( ff) - квазиминимальное множество. Точка m e Q( f) называется достижимой изнутри граничной точкой, если существует такая дуга X с концевой точкой m , что X \ m с M| \ Q( fl) (например, все седла O1,., Ok являются достижимыми изнутри граничными точками).

Напомним, что иррациональной обмоткой на

___ гр 2

двумерном торе 1 называется поток, накрывающий для которого на R 2 задается системой x = 1,у = ц, ц еR\Q, при этом ц является числом вращения этой иррациональной обмотки.

Напомним также, что два потока ^, gt на замкнутой поверхности М называются топологически орбитально эквивалентными, если существует гомеоморфизм ф: М — М, переводящий траектории одного потока в траектории другого потока с сохранением направления по времени. Если последнее требование сохранения по времени убрать, то получим определение

м г

топологической эквивалентности / , g .

Лемма 2. Пусть ft еСИ(М|) . Тогда существует непрерывное (не являющееся гомео-

2 2

морфизмом) преобразование к : М3 — Т

(сдувание) со следующими свойствами: 1) к переводит траектории потока ft в траектории иррациональной обмотки fl0 (образом траектории не обязательно является целая траектория); 2) если I - нетривиальная рекур-

г г

рентная траектория потока / , то ограничение к |;: I — Ь является гомеоморфизмом на свой образ и Ь - траектория иррациональной обмотки f 0; 3) для каждой точки р е Т2 к_1(р) компактно и стягиваемо; 4) для каждой траектории Ь потока f0 на Т2:

а) к_1(Ь) инвариантно по отношению к и для каждой не являющейся состоянием равновесия точки р ей к 1( Ь) о к 1( Ь) ( Гг означает границу) отображение к сохраняет направление потока ft; Ь) к_1(Ь) содержит не более двух нетривиальных рекуррентных траекторий, которые в этом случае лежат в

достижимой изнутри границе к_1(Ь); с) если

к _1(Ь) содержит ровно одну траекторию пог г

тока / , то эта траектория нетривиальна и рекуррентна; 5) к(0,( ft )) = Т2 ; 6) отображение к определяется единственным образом с точностью до топологической эквивалентности.

Доказательство. Нетрудно показать, что у потока / существует замкнутая трансверсаль N, гомеоморфная окружности, пересекающая П(ft), на которой ^ индуцирует отображение последования Пуанкаре р : N — N . Сохраним введенные ранее обозначения. Поскольку по три сепаратрисы седел О1,..., Ок и четыре сепаратрисы седла О имеют П(^) ю -(а -) предельным множеством, они пересекают

N . Пусть для определенности Ь и Ьз являются ю -, а Ь2 и Ь - а -сепаратрисами седла О и пусть а, Ь - последние при возрастании г точки пересечения соответственно Ь1 и Ь3 с N, а с и d - первые при возрастании г точки пересечения соответственно Ь2 и Ь4 с N. В

силу арациональности ft точки а и Ь являются точками разрыва отображения р . Каждая дуга N, ограниченная точками а и Ь, отобразится в одну из дуг, ограниченных точками с и d , и эти образы не пересекаются. Поэтому отображение р меняет ориентацию на одной из дуг, ограниченных точками а и Ь , которую мы обозначим через (а; Ь) и р еТсИ1(81). Пусть (с; d) - дуга N, содержащая образ (а; Ь) при отображении р . Из леммы 1 следует, что дуга (а; Ь) состоит из блуждающих точек, и поэтому не может содержать точек пересечения N с лежащими в П(ft) сепаратрисами других седел, что верно и для дуги (с; d) . Более того, из условия 2) определения 3 вытекает, что дуги (а; Ь) и (с; d) не могут содержать также точек пересечения N с сепаратрисами седел

О1,..., Ок, не принадлежащими 0(^ ). Поэтому ограничение р \а;Ь) (а'; Ь) — (с; d) является гомеоморфизмом, а (а; Ь) - флипом отображения р . Следовательно, либо седло О вместе со своими сепаратрисами лежит внутри серой ячейки Q потока ^, такой, что (а; Ь) с Q о N , либо О и одна или две пары его сепаратрис входят в достижимую изнутри границу серой ячейки Q . Напомним, что поток на замкнутой двумерной поверхности называется нередуцируемым, если он пересекает каждую негомотопную нулю замкнутую кривую хотя бы в одной нетривиально а - или ю -рекур-

г 2

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

рентной точке [18]. Поток f еСИ(Мз ) не является нередуцируемым, поскольку существует простая замкнутая кривая С, проходящая через О , С \ {О} с Q , окрестность которой гомео-морфна листу Мебиуса. Следуя технике, предложенной в [18], разрежем М3 по С. Получившаяся поверхность будет двумерным тором с удаленным двумерным диском, поскольку при

разрезании М32 по такой кривой можно получить тор либо бутылку Клейна, но на бутылке Клейна не существует нетривиальной рекур-

рентной траектории [9]. Компактифицируем полученную поверхность, заклеив полученную границу точкой. Отображение, переводящее М32 в тор Т2 указанным выше способом, обозначим через ку. Ясно, что ку непрерывно и, поскольку С \ {О} лежит в ячейке из блуждающих траекторий, переводит нетривиальные рекуррентные полутраектории в нетривиальные рекуррентные полутраектории, а взаимная однозначность нарушается только в точках кривой

С . Полученный на Т2 поток будет нередуци-руемым, поскольку при разрезании тора по негомотопной нулю замкнутой кривой мы получим кольцо, на котором не может быть нетривиальных рекуррентных траекторий. Тогда в силу [18] существует отображение

к2 : Т2 — Т2, удовлетворяющее условиям настоящей леммы, и отображение к = к2 ° ку является искомым. □

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

рии иррациональной обмотки f0 .

Пусть поток ft еСИ(М|) и поток f0 на

Т 2 удовлетворяют лемме 2. Как и прежде, обозначим через О седло, все четыре сепаратрисы

которого имеют П( ft) своим ю - (а -) предельным множеством. Пусть X0 (ft, к) = = ^ к(м>), где объединение берется по всем черным и серым ячейкам w потока ft, и обозначим через X(^, к) семейство соответствующих траекторий иррациональной обмотки ^ (т.е. тех траекторий, которые как множества пересекаются с Х0(^, к)). В ходе доказательства леммы 2 мы показали, что существует простая замкнутая кривая С , такая, что С \ {О}

лежит в серой ячейке и при разрезании М32 по С получается двумерный тор с выброшенным двумерным диском. Используемые ниже понятия «левый» и «правый» понимаются в смысле расположения соответствующих объектов на полученном торе.

Каждой траектории / из X(ft, к) припишем набор символов (код) из множества {-1; 0; 1; «л»; «п»; «лп»; «пл»; «лс»; «пс»; «вс»; «дс»} следующим образом: число -1 (соответственно +1) приписывается, если I содержит образ от-

рицательной (положительной) черной ячейки, а цифра 0 приписывается, если / содержит образ серой ячейки. Если мы приписали / два числа, то приписываем также букву «л» или «п» (первую букву слов «левый» или «правый» соответственно) в зависимости от того, с какой стороны серая ячейка примыкает к черной. Если мы приписали / три числа, то приписываем еще две буквы «лп» или «пл» аналогичным образом. Код «дс» приписывается, если / содержит образ серой ячейки Q , достижимая изнутри граница которой составлена из седла О и четырех его сепаратрис; код «лс» («пс») приписывается, если / содержит образ серой ячейки Q , левая (правая) достижимая изнутри граница которой составлена из седла О и двух его сепаратрис, а правая (левая) достижимая изнутри граница не содержит седла О ; наконец код «вс» приписывается, если / содержит образ серой ячейки Q , внутри которой содержится седло О .

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

Отметим, что число траекторий, в код которых входят числа + 1, конечно. Семейство траекторий, в код которых входит цифра 0, не более чем счетное. Траектория с кодом из множества {«вс»; «лс»; «пс»; «дс»} единственна, и ее код содержит единственный код из этого множества.

Пусть X - не более чем счетное семейство траекторий иррациональной обмотки ^. Предположим, что каждой траектории приписан набор символов (код) из множества {-1; 0; +1; «л»; «п»; «лп»; «пл»; «лс»; «пс»; «вс»; «дс»}, при этом 1) существует единственная траектория /0 е X, которой приписан код из множества {«вс»; «лс»; «пс»; «дс»}; в этом случае /0 не приписано других кодов из этого множества и приписан код 0; 2) код каждой траектории из X содержит от одной до трех различных цифр; траектория из X с кодом из множества «лс» или «пс» содержит не более двух цифр; траектория с кодом «дс» одержит единственную цифру 0; 3) число траекторий, в код которых входят числа +1, конечно; 4) если код некоторой траектории содержит числа +1, -1, то он содержит также цифру 0; 5) код содержит две цифры тогда и только тогда, когда он содержит одну из букв «л» или «п» и не содержит кодов «лп» и «пл»; 6) код содержит три

цифры тогда и только тогда, когда он содержит буквы «лп» или «пл» и не содержит кодов «л» и «п»; 7) если код содержит «лс» («пс»), он не содержит «л» («п»); если код содержит «дс», он не содержит других буквенных кодов.

Такой набор траекторий с приписанными кодами назовем абстрактной допустимой схемой. Из определения потока типа Черри вытекает, что его схема является допустимой для любой операции сдувания.

Две абстрактные допустимые схемы XI, X 2 называются соизмеримыми, если существует такой диффеоморфизм Г : Т2 — Т2, что: 1) Г(XI) = X2; 2) накрывающий Г : Я.2 — Я.2 для Г имеет вид х = ах + Ьу, у = сх + dy + £,,

где

ь Л d

- целочисленная унимодулярная

V с " /

матрица, \ е Я; 3) коды траекторий

/ е XI, Г(/) е X2 равны для всех траекторий / е XI; 4) ^ осуществляет топологическую орбитальную эквивалентность соответствующих иррациональных обмоток.

Теорема 2. Два потока , /2 еСИ(М|)

топологически орбитально эквивалентны тогда и только тогда, когда их схемы

X(у/ , ку), X(/ , к2) соизмеримы, где к, - некоторая операция сдувания потока (г =1,2).

Из теоремы 2, в частности, вытекает, что с точностью до соизмеримости схема потока еСИ(М3 ) не зависит от операции сдувания.

Теорема 3. Пусть X - абстрактная допусти-

■С г

мая схема и /0 - соответствующая иррациональная обмотка. Тогда на М32 существует С1 -/ 2

поток / еСИ(Мз ) , схема которого равна X.

Доказательство можно получить используя конструкцию надстройки над отображением окружности либо аналогично приводимому ниже построению примера потока типа Черри.^

В заключение построим пример потока типа

Черри на Мз . Для этого рассмотрим арацио-нальный поток на торе gt без состояний равновесия с одной компонентой связности 0(gt) дополнения к минимальному множеству П(gt). Подберем гладкую диффеоморфную окружности кривую q , ограничивающую область d с Б(gt), диффеоморфную двумерному диску, так, чтобы q касалась траекторий потока только двух точках 5у и S2 , принадлежащих множеству достижимых точек А(gt) квазими-нимального множества П(gt). Поскольку q и d диффеоморфно замкнутому двумерному диску d , диффеоморфизм ф: q и d — d можно подобрать так, чтобы ф(5у) и ф($2) были диаметрально противоположны. Поместим в точках и 52 по непроходимой крошке и выбросим из тора область d . Отождествим по две точки кривой q , соответствующие диаметрально противоположным точкам на d . Тогда будет образовано замкнутое неориентируемое двумерное многообразие рода 3, в котором образ q после отождествления будет средней линией листа Мебиуса. Получим (вообще говоря, не гладкий) поток ^ на замкнутой неориентируе-

мой поверхности Мз без замкнутых траекторий и с одним седлом О = 5 = ^2 , сепаратрисы которого нетривиальны и рекуррентны. Согласно [18] можно подобрать топологически экви-

валентный gt поток гладкости С1. Получен-

2

ный поток является потоком типа Черри на M 3 (см. рис.).

Автор благодарит Е.В. Жужому за постановку задачи и полезные замечания.

Список литературы

1. Poincare H. // Math. Pures Appl. 1881. V. 1. № 7. P. 375-422.

2. Poincare H. // Math. Pures Appl. 1882. V. 2. № 10. P. 251-286.

3. Poincare H. // Math. Pures Appl. 1885. V. 3. № 1. P. 167-244.

4. Poincare H. // Math. Pures Appl. 1886. V. 4. № 2. P. 151-217.

5. Gutierrez C. // J. Diff. Eq. 1978. V. 29. № 3. P. 388-395.

6. Nogueira A. // J. Diff. Eq. 1987. V. 70. P. 153-166.

7. Aranson S., Belitsky G., Zhuzhoma E. Introduction to Qualitative Theory of Dynamical Systems on Closed Surfaces. Amer. Math. Soc., 1996. V. 153 of Translations of Math. Monographs.

8. Майер А.Г. // Мат. сборник. 1943. Т. 12, № 1. С. 71-84.

9. Арансон С.Х. // Мат. сборник. 1969. Т. 80 (122), № 3 (11). С. 314-333.

10. Denjoy A. // J. Math. Pures Appl. Ser. 1932. V. 9. № II. P. 333-375.

11. Арансон С.Х., Жужома Е.В. // Изв. вузов. Математика. 1976. № 5. С. 104-107.

12. Aranson S., Medvedev T., Zhuzhoma E.// Selecta Math. Sovietica. 1994. V. 13. № 4. P. 283-303.

13. Арансон С.Х., Жужома Е.В., Медведев Т.В. //

Известия вузов. Математика. 1996. № 4(407).

С. 7-17.

14. Жужома Е.В., Медведев Т.В. // Труды Средневолжского математического общества. 2003. Т. 5. № 1. С. 248-252.

15. Медведев Т. В. // Успехи мат. наук. 1992. № 4. С. 201-202.

16. Блохин А.А. // Труды Моск. мат. общества.

1972. Т. 27. С. 113-128.

17. Арансон С.Х., Гринес В.З. // Мат. сборник.

1973. Т. 90, № 3. С. 372-402.

18. Gardiner C. // J. DM. Equal. 1985. V. 57, № 1. P. 138-158.

19. Gutierrez C. // Ergod. Th. and Dyn. Sys. 1986. V. 6. P. 17-44.

CLASSIFICATION OF CHERRY TYPE FLOWS ON NONORIENTABLE SURFACE OF GENUS 3

T.V. Medvedev

The paper gives a topological classification of Cherry type flows on closed nonorientable surface of genus 3, i.e. the flows with finite number of fixed points, unique nowhere dense quasiminimal set and without closed trajectories and separatrix connections.

Keywords: flows on surfaces, quasiminimal set, topological classification.

i Надоели баннеры? Вы всегда можете отключить рекламу.