Авторефераты по всем темам  >>  Авторефераты по разное

На правах рукописи

Воронин Сергей Михайлович

ФУНКЦИОНАЛЬНЫЕ ИНВАРИАНТЫ В ЗАДАЧАХ ЛОКАЛЬНОЙ АНАЛИТИЧЕСКОЙ КЛАССИФИКАЦИИ

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

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

ЧЕЛЯБИНСК - 2011

Работа выполнена на кафедре математического анализа Челябинского Государственного университета

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

Официальные оппоненты: доктор физико-математических наук, профессор Бибиков Юрий Николаевич доктор физико-математических наук, профессор Давыдов Алексей Александрович доктор физико-математических наук, профессор Закалюкин Владимир Михайлович

Ведущая организация: Нижегородский Государственный Университет им. Н.И. Лобачевского

Защита состоится 17 ноябряУ_ 2011 г. на заседании совета Д 002.022.Ф при Математическом институте им. В. А. Стеклова Российской академии наук по адресу: 119991, Москва, ул. Губкина, д.

С диссертацией можно ознакомиться в библиотеке Математического института им. В. А. Стеклова РАН.

Автореферат разослан "2 "июня 2011 г.

Ученый секретарь диссертационного совета Д 002.022.доктор физико-математических наук, профессор Ю. Н. Дрожжинов

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

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

1,В 1880-х годах Пуанкаре предложил двоякую стратегию преодоления этой трудности. Во первых, он поставил задачу исследования свойств дифференциального уравнения непосредственно по его правой части. Так возникла качественная теория дифференциальных уравнений. Во вторых, Пуанкаре сформулировал следующий принцип: дифференциальные уравнения нужно не решать (всё равно это в большинстве случаев невозможно), а выбирать систему координат, в которой уравнение имеет по возможности простой вид.

Так родилась теория нормальных форм.

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

Опишем кратко историю развития теории нормальных форм. Первый вопрос, поставленный этой теорией и сохранивший актуальность до наших дней: в какой мере векторное поле или отображение в окрестности точки покоя похоже на свою линейную часть в этой точке? Первые достаточные условия эквивалентности векторного поля своей линейной части дал Пуанкаре. Они состояли в отсутствии резонансов и малых знаменателей. Прошло 60 лет прежде чем были преодолены трудности, связанные с малыми знаPoincare H. Sur les courbes definies par une equation differentielle. C.r.Acad.sci., 1880, 90, 673-675. Oeuvres, t.1. p.1-2; C.r.Acad.sci., 1881, 93, 951-952. Oeuvres, t.1. p.85-86; C.r.Acad.sci., 1884, 98, 287-289. Oeuvres, t.1.

p.87-89; J. math. pures et appl. 4 ser., 1885, 167-244. Oeuvres, t.1. p.90-161; J. math. pures et appl. 4 ser., 1886, 2, 151-217. Oeuvres, t.1. p.167-222.

Poincare H. Sur les points singuliers des equations differentielles. C.r.Acad.sci., 1882, 94, 416-418. Oeuvres, t.XI, p.3-5.

менателями: Зигель доказал, что седло аналитически эквивалентно своей линейной части, если её собственные значения образуют так называемый Диофантов набор. Дальнейшие крупные продвижения в этой задаче связаны 4 5 с работами Брюно и Йоккоза. Отметим, что статья Йоккоза вошла в список работ, за которые он был удостоен Филдсовской медали в 1994 году.

Необходимым условием аналитической эквивалентности векторного поля (отображения) своей линейной части является условие линейности формальной нормальной формы. В случае нелинейной формальной нормальной формы, аналитическая классификация векторных полей и отображений до начала 1970х годов не была развита даже в размерностях 1 для отображений и для векторных полей.

Фундаментальный результат в аналитической теории нелинейных нормальных форм был получен Брюно. Брюно указал необходимые и достаточные условия на нормальную форму резонансного векторного поля (отображения), при выполнении которых формальная нормальная форма может быть выбрана сходящейся и нормализующее преобразование также аналитично. Тем самым была полностью решена задача о соотношении аналитической и формальной классификаций векторных полей и отображений. Однако вопрос об аналитической классификации резонансных векторных полей и отображений оставался открытым. Этот вопрос можно сформулировать так: при каких условиях ростки двух векторных полей (отображений) аналитически эквивалентны? Другими словами, какова полная система инвариантов, совпадение которых необходимо и достаточно для аналитической эквивалентности двух ростков? В 1981 году ответ на этот вопрос для простейшего класса так называемых Зигель К.Л. О нормальной форме аналитических дифференциальных уравнений в окрестности положения равновесия. Математика, 5:2 (1961), 119-128.

Брюно А.Д. Аналитическая форма дифференциальныx уравнений // Труды ММО. Т.25. (1971). С.119262, Т.26.(1972). С.199-239.

Yoccoz J. -C. Linearisation des germes de diffeomorphismes holomorphes de (C, 0), C. R. Acad. Sci. Paris 306. P.55-58.

одномерных параболических ростков отображений был дан независимо: ав6 тором [2], февраль; Экаллем, май; Мальгранжем, ноябрь. Оказалось, что аналитическая классификация ростков конформных отображений z z + az2 + bz3 +..., a = 0 (1) имеет функциональные модули. После этого функциональные модули были обнаружены во многих других классификационных задачах: в задаче о классификации особых точек голоморфных слоений (седлоузлы и резонансные 8,седла на плоскости, Мартине-Рамис ); в аналогичной задаче для векторных полей ; в задаче о классификации исключительных разрешимых конечно порожденных групп ростков одномерных голоморфизмов, и во многих других задачах.

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

В диссертации обсуждаются также приложения полученой классификации к задачам теории особенностей. В конце 1970х годов В.И.Арнольд заметил, что в ряде локальных задач присутствует скрытая динамикаУ. Это значит, Ф что существует геометрические объекты, по которым инвариантным образом можно построить локальную динамическую систему. Арнольд указал несколько таких задач (задачу о парах инволюций, задачу о распаде симметрии, задачу об огибающей плоской кривой, и др.), с которыми инвариантным образом связаны ростки отображений. Таким образом, в этих задачах аналиEcalle J. Sur les fonctions resurgentes. I,II - Orsay. 1981. - p. 1-250, 251-531.

Malgrange B. Travoux dТEcalle et de Martinet-Ramis sur les systemes dinamique. Sem.Bourbaki, 34-e anne, 1981/1982, n.582, Novembre 1981.

J.Martinet and J.P.Ramis, ProblСeme de modules pour des Тequations diffТerentielles non linТeaires du premier ordre, Inst. Hautes ТEtudes Sci.PublMath.(1982 55,pp.63-164).

Martinet J., Ramis J.P.>

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

В.И.Арнольд указал также, что определенные инвариантным образом пары ростков (многомерных) инволюций встречаются и в других задачах теории особенностей, например, в задаче об обходе препятствия, или в так называемой задаче Дарбу-Уитни (задаче об одновременной нормализации симплектической структуры и гиперповерхности с особенностями). В этих задачах, возникающих в случаях малой коразмерности, инволюции имеют общее зеркало, так что их композиция является ростком отображения, неподвижные точки которого образуют гладкую гиперповерхность. Систематическому исследованию таких сильно вырожденныхУ ростков отображений Ф посвящена вторая глава диссертации. Оказалось, что в этой классификационной задаче также возникают функциональные модули. В качестве приложения этих результатов, здесь же приводится решение задачи Дарбу-Уитни в аналитическом и гладком случаях (формальное решение было получено ранее В.И.Арнольдом ). В дальнейшем выяснилось, что полученные во второй главе диссертации результаты могут быть использованы и в других классификационных задачах, например, в задаче Биркхофа о классификации пар гиперповерхностей симплектического пространства или (указано М.Я.Житомирским) при исследовании вырождений почти симплектических и почти контактных структур. Обширный список возможных приложений результатов второй главы приводится в Заключении диссертации.

Арнольд В.И. Особенности в вариационном исчислении. - Итоги науки и техники. Современные проблемы математики. Hовейшие достижения. Т.22. ВИНИТИ, М., 1983. С.3-55.

Арнольд В.И. Лагранжевы многообразия с особенностями, асимптотические лучи и раскрытый ласточкин хвост // Функц. анализ и его прил. - 1981. - 15, №4. С. 1-14.

Арнольд В.И., Гивенталь А.Б. Симплектическая геометрия. Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. Т.4. ВИНИТИ, М., 1985. С.7-139.

Zhitomirskii M. Typical singularities of differential 1-forms and Pfaff equations. - AMS, Providence. - 1992.

Стандартный способ исследования особой точки векторного поля состоит в рассмотрении соответствующего ей преобразования монодромии (отображения Пуанкаре, отображения последования, first return map). Это позволяет понизить размерность задачи: орбитально эквивалентные векторные поля имеют эквивалентные преобразования монодромии, и наоборот (Елизаров, Ильяшенко ). Именно с использованием этой схемы Мартине и Рамис (см.

также ) построили аналитическую классификацию седловых резонансных особых точек голоморфных слоений на плоскости. Однако для исследования аналитической (неорбитальной) классификации особых точек векторных полей информации о поле, которую содержит соответствующее полю преобразование монодромии, недостаточно. Автором было предложено вместо преобразования монодромии рассматривать преобразование t-монодромииУ (надФ стройку над классическим преобразованием монодромии, показывающую, за какое время точка из трансверсали возвращается на трансверсаль). Классификация таких надстроекУ (называемых ниже t-сдвигами) приводится в Ф третьей главе. Эта классификация (в резонансном случае) также имеет функциональные модули (легко описываемые в терминах из первой главы). На основе этой классификации, в третьей главе получена аналитическая классификация (типичных) седловых резонансных особых точек голоморфных векторных полей на плоскости. Тем самым, получен аналог результата МартинеРамиса (для седел). В этой же главе получен аналог и другого результата Мартине-Рамиса (для седлоузлов), но с использованием другой техники (дело в том, что не все формально подходящиеУ t-сдвиги подходят анаФ Ф литическиУ). По этой причине функциональные инварианты для седлоузлов строятся с помощью так называемых нормализующих атласовУ; в частности, Ф здесь доказана теорема о секториальной нормализации, обобщаюшая известЕлизаров П.М., Ильяшенко Ю.С. Замечания об орбитальной аналитической классификации ростков векторных полей Матем.сборник, 121(1983), С.111-126.

Ильяшенко Ю.С. Особые точки и предельные циклы дифференциальных уравнений на вещественной и комплексной плоскости НИВ - АН СССР.: Пущино, препринт, 1982. 39с.

ный результат Хукухара, Кимура и Матуда.

В случае общего положения, (локальная) аналитическая и формальная классификации совпадают: типичное векторное поле (отображение) в окрестности его особой (неподвижной) точки эквивалентно линейному. При наличии резонансов, формальная нормальная форма, вообще говоря, нелинейна, а формальная и аналитическая классификации могут совпадать ( резонансы в области Пуанкаре) или не совпадать (появляются функциональные инварианты - в случае резонансов в области Зигеля). В случаях более высокой коразмерности (нулевой спектр линеаризации поля в особой точке, например) уже формальная классификация необозрима (имеет функциональные модули). Оказалось, что, удивительным образом, в этой вырожденной ситуации аналитическая и формальная классификации вновь, как правило, совпадают. Результаты такого рода (формальная эквивалентность влечет аналитическую) принято называть теоремами о жесткости. Первая (нетривиальная, т.е., с нетривиальной формальной классификацией) теорема о жесткости была доказана для неразрешимых групп ростков одномерных голоморфных отоб17,18 ражений ; топологическая жесткость была получена А.А.Щербаковым.

Результатам о жесткости посвящена четвертая глава диссертации.

Цель работы. Целью работы является исследование функциональных инвариантов в задачах локальной аналитической классификации: параболических ростков одномерных голоморфизмов; пар одномерных инволюций; в задаче об огибающей; в задаче о классификации ростков голоморфизмов с неизолированными неподвижными точками и постоянными мультипликаторами (и ее симметричныхУ вариантах); в задаче Дарбу-Уитни; в задаче о Ф M.Hukuhara, T.Kimura and T.Matuda Equations differentielles ordinaires du premier ordre dans le champ complexe. Math.Soc. of Japah, Tokyo, 1961.

Cerveau, D.; Moussu, R. Groupes dТautomorphismes de (C, 0) et quations diffrentielles ydy + = 0.

(French) [Groups of automorphisms of (C, 0) and differential equations of the form ydy + = 0]. Bull. Soc.

Math. France 116 (1988), no. 4, 459Ц488 (1989) J. -P. Ramis, Confluence et resurgence, J. Fac. Sci. Univ. Tokyo Sect IA Math. 36 (1989), 706-716.

Щербаков А. А. Топологическая и аналитическая сопряженность некоммутативных групп конформных отображений. Тр. семинара им. И.Г.Петровского, 10 (1984), 170-192.

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

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

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

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

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

Апробация работы. Результаты диссертации докладывались: на конференциях Петровского (3,14,16 и 23-я сессии), на всесоюзных школах по теории операторов (Челябинск,1986; Куйбышев, 1988), на всесоюзных конференциях в Перми (февраль 1988) и Самаре (1996), на международных конференциях в Москве (август 1994, август 2002, декабрь 2003, февраль 2007, август 2007), в Челябинске (июнь 1994, 1999, 2002), Суздале (2000), Ленинграде (институт Эйлера, октябрь 1991), Тегеране (Иран, 25th Annual Iranian Mathematical Conference, март 1994), Гуанохуато (Мексика, CIMAT, февраль 1991), Cuernavaca (Мексика, август 1996), Лумини (Франция, CIRM, июнь 2004, май 2009), Гронингене (Голландия, июнь 1995). По результатам работы прочитаны миникурсы и лекции: в Институте Теоретической Физики и Математики (Тегеран, Иран; июль 1993, март 1994), в CIMAT (Гуанохуато) и UNAM (Мехико, Мексика) (январь - март 1995, июль - сентябрь 1996, август 2010). Результаты докладывались: на семинаре механико-математического факультета МГУ под руководством Ю.С.Ильяшенко (неоднократно, 1978 2008), на семинаре отдела дифференциальных уравнений МИРАН под руководством Д.В.Аносова и Ю.С.Ильяшенко (апрель 2005, март 2011), на семинаре А.М.Ильина в ЧеГУ, на заседании ММО (1992), на семинаре лаборатории топологии и геометрии университета Тулуза-3 (Франция; май 1992, апрель 1993, ноябрь 2001), на семинаре университета Бургундии (Дижон, Франция; май 1993, ноябрь 2001, февраль 2003, июнь 2004, январь 2005, май 2009), на семинарах в ENS (Лион, Франция; ноябрь 2001), в университетах: Морелия (Мексика, февраль 1995), Ренн-1 (Франция; декабрь 2001, июнь 2010), UNAM (Мехико, Мексика; декабрь 1998, декабрь 2002, январь 2005, июль 2006, июль 2007, июль 2009). Результаты работы отмечены премией ММО (1984).

Публикации. Основные результаты диссертации опубликованы в 18 работах, список которых приводится в конце автореферата. Из совместных работ [7-16] в диссертацию включены только результаты автора.

Структура и объем диссертации. Диссертация состоит из Введения, четырех глав, разбитых на 23 параграфа, Заключения и списка литературы, содержащего 149 наименований. Полный объем диссертации 330 страниц.

Основное содержание работы

В первой главе рассматриваются задачи, связанные, в основном, с одномерной динамикой.

В первом разделе главы 1 рассматривается задача об аналитической классификации ростков конформных отображений (C, 0) (C, 0) с тождественной линейной частью.

Пусть f : z z +... росток голоморфного отображения (C, 0) (C, 0) с тождественной линейной частью, A множество всех таких f. Ростки f, g A будем называть эквивалентными, если найдется локальная замена координат h, сопрягающая их:

f h = h g Соответственно виду замены h будем различать аналитическую и формальную эквивалентность ростков из A. Формальная классификация ростков из A достаточно проста, и хорошо известна. Также довольно давно было известно что аналитическая и формальная классификации ростков из A не совпадают. Аналитическая классификация (типичных) ростков из A получена в настоящей работе.

Пусть A2 класс всех ростков из A вида (1).

Пусть () = + ce2ik, ряды сходятся при некотором N > k0 k в областях { : Im > N} соответственно. Рассмотрим множество Mвсевозможных наборов = (+, -) такого типа и отношение эквивалентно сти на M2: эквивалентно = (+, -), если и только если ( + c1) ( + c2) для некоторых c1, c2 C, Im > N1, для некоторого N1. Множество M2 классов эквивалентности m = [] наборов M2 и есть пространство модулей аналитической классификации ростков из A2. Именно, справедлива следующая теорема:

Теорема 1.1.1 (об аналитической классификации ростков класса A2.) Можно каждому f A2 таким образом сопоставить mf M2, что 1)(эквивалентность и эквимодальность) f эквивалентно g если и только если mf = mg;

Muckenhoupt B. Some results on analytic iteration and conjugacy. Amer.J.Math., 84(1962), p.161-169.

M.Kuczma Functional equations in a single variables. Monogr. Matem., v.46, PWN, Warsawa, 1968.

2)(реализация) для любого m M2 найдется f A2 такое, что m = mf.

Этот результат является основным результатом раздела. Соответствие f mf строится по следующей схеме. Вначале доказывается теорема о выпрямлении для одномерных отображений: конформное отображение F : U U на односвязной области U C аналитически эквивалентно сдвигу на единицу (Основная лемма, п. 1.1.4 ). С помощью основной леммы далее для ростка f A2 на проколотой окрестности его неподвижной точки строится выпрямляющий атлас (пара отображений Aj : j C, j = 1, 2, сопрягающих f со сдвигом на единицу). Функции перехода выпрямляющего атласа и доставляют искомый представитель f модуля mf (необходимость дополнительной факторизации M2 объясняется неединственностью выпрямляющего атласа). Отметим, что соответствие f mf является непрерывным (и даже аналитическимУ) в некотором естественном смысле.

Ф Коротко утверждение теоремы можно сформулировать так: ПространФ ство M2 есть пространство модулей в задаче аналитической классификации ростков из A2У. Ниже такие краткие формулировки будем понимать в том смысле, что справедливы утверждения об эквивалентности и эквимодальности, о реализации, а также и об аналитической зависимости.

В качестве простейшего приложения теоремы 1.1.1, в конце раздела рассматриваются три классические задачи теории функциональных уравнений одной переменной: задача о включении (отображения в поток), задача об извлечении (итерационного) корня и задача об описании централизатора (для ростков класса A2). Этими задачами (также как и основнойУ задачей о класФ сификации ростков класса A, или задачей о сопряженииУ) занимались, в Ф разное время, Абель, Фату, Сцзекер, Эрдёш, Жаботинский, Адамар, Бэкер, Кимура, Рэй, Ливерпуль, Кучма, Биркгоф, Лё, Бэбидж, и др. (так, задача об итерационных корнях рассматривалась в работе Бэбиджа 1815-го года...).

Однако полное решение этих трех задач (причем достаточно простое) удается Babbage Essay Towards the calculus of functions. Philosoph. Transact, 1815, 389-423.

получить только в терминах построенных в теореме 1.1.1 модулей.

Остальные разделы г.1 посвящены решению классификационных задач со скрытой динамикойУ. Именно, рассматриваются следуюшие задачи:

Ф 1. Задача о парах инволюций. Росток конформного отображения I : (C, 0) (C, 0) называется инволюцией, если I = id и I I = id. Пусть I множе ство всех инволюций и S = I2. Две пары инволюций (I, J) и (I1, J1) из S будем называть эквивалентными, если существует сопрягающаий их росток голоморфной замены координат H : (C, 0) (C, 0):

I1 H = H I, J1 H = H J Требуется дать классификацию пар инволюций из S.

2. Задача о распаде симметрии. Пусть I0(z) = -z симметрия, F аналитично в (C, 0), F (0) = F (0) = 0, F (0) = 0 и R множество всех таких F.

Спрашивается, к какой нормальной форме F можно привести отображение F аналитическими заменами K, H:

K F = F H при условии, что замена H сохраняет симметрию I0:

H I0 = I0 H 3. Задача об огибающей семейства плоских кривых. Следуя Арнольду, семейством кривых на плоскости будем называть диаграмму g F (C, 0) -- (C2, 0) -- (C2, 0).

Семейства (g, F ) и (g1, F1) будем называть эквивалентными, если можно найти такие голоморфные замены h, H и K что диаграмма g F 2 (C, -- (C, 0) -- (C, 0) 0) h H K g1 F(C, 0) -- (C2, 0) -- (C2, 0) Арнольд В.И. О теории огибающих // Успехи мат. наук. - 1976. -31, №3. - С. 249.

коммутативна. Пусть D множество семейств (g, F ) таких, что F складка, линейная часть отображения g невырождена и линия уровня g-1(0) касается в нуле ядра отображения F. Требуется дать аналитическую классификацию семейств из D.

Задача о парах инволюций есть простейший пример задачи о классификации так называемых исключительных (см. [10]) разрешимых неабелевых конечнопорожденных групп ростков одномерных голоморфизмов. Полная классификация таких групп была получена позже (соавторами) в работе [10].

Задача о распаде симметрии является частным случаем (эквивалентным, впрочем, общему) задачи о классификации расходящихся диаграмм, исследованием которых занимался Дюфур.

Задача об огибающей поставлена В.И.Арнольдом.

В каждой из этих трех классификационных задач, в вещественном гладком (и, конечно, формальном) случае классификация почтиУ тривиальна:

Ф все обшие элементы попарно гладко (формально) эквивалентны. Аналогичный результат несложно получить и в формальном комплексном случае. А вот в аналитическом случае, оказалось, классификация типичных элементов в каждой из этих задач - нетривиальна (и, в частности, не совпадает с формальной. Первым, по-видимому, предположил расходимость нормализующих рядов в задачах 2,3, а также и в других родственных задачах, Дж.П. Дюфур).

Точная формулировка результата об аналитической классификации приводится ниже.

Пусть S2, R2, D2 подмножества "общих элементов"пространств S, R, D (требования общности положения состоят, фактически, в формальной эквивалентности некоторой простейшей нормальной форме, и явно указаны в соответствующих разделах).

Пусть () = + ce2ik, ряды сходятся для некоторого N в k0 k областях { : Im > N} соответственно. Пусть M 2 множество всех таких Dufour J.P. Sur la stabilite des diagrammes dТapplications differentialles // Ann. scient. Ecole Norm. Super.

- 1977. -10. №2 - p. 153-174.

пар (+, -), что +() = --1(). (+, -) и (+, -) будем называть эквивалентными в M 2, если () = ( + c) + c для некоторого c C при всех , таких, что Im > N для некоторого N. Пусть M2 множество классов эквивалентности пар из M 2.

Пусть [S2], [R2], [D2] множество классов эквивалентности элементов S2, R2, D2. Тогда справедлива следующая классификационная теорема (сформулированная здесь в соответствии со сделанным выше замечанием ):

Теорема 1.2.3 Пространство M2 есть пространство модулей в задачах об аналитической классификации для каждого из классов S2, R2 и D2: [S2] = [R2] = [D2] = M2.

Фактически здесь сформулированы три теоремы: для S2, R2 и D2; доказываются они, соответственно, в разделах 1.2.1, 1.2.2, и 1.2.3 (теоремы 1.2.4, 1.2.5 и 1.2.6) по следующей схеме.

Задача о парах инволюций сводится к задаче о классификации ростков из A2 естественным образом: каждой паре = (I, J) S2 ставится в соответствие росток f = I J A2. Симметричность (т.е., принадлежность классу M2) соответствующего ростку f инварианта mf следует из симметрично сти пространства орбит ростка f: инволюция I переставляет орбиты ростка -f: I f = f I.

Задача о распаде симметрии легко сводится к задаче о парах инволюций:

у нас уже есть инволюция I0, а по одномерной складке F R2 инвариантно определяется вторая инволюция JF, переставляющая прообразы точек при отображении F.

Редукция задачи об огибающей к задаче о парах инволюций несколько сложнее, и, геометрически, может быть описана так. Пусть (g, F ) - семейство из D2. Для складки F инвариантно определена (двумерная) инволюция I = IF, переставляющая прообразы точек при отображении F. Рассмотрим слоение F окрестности нуля на линии уровня ростка g, F = {g = const}, и симметричное ему слоение F = I(F) = {g I = const }. Пусть кривая l состоит из точек касания слоев слоения F и слоев слоения F; ясно, что кривая l I-симметрична: I(l) = l. Тогда на кривой l (инвариантно) определены две (одномерные) инволюции: первая из них есть просто сужение на l симметрии I; вторая переставляет точки касания с кривой l слоев слоения F. Полное описание редукции (в несколько иной терминологии) см. в пункте 1.2.3; технически, задача оказалась достаточно тяжелой (редукция занимает 7 страниц текста).

Во второй главе рассматриваются задачи многомерной динамики. Основной объект исследования этой главы ростки голоморфныx отображений (Cn, 0) (Cn, 0), удовлетворяющие следующим двум условиям:

1. Hеподвижные точки ростка образуют гладкую гиперповерxность в (Cn, 0).

2. Мультипликаторы (собственные значения линеаризации ростка в особой точке) постоянны вдоль гиперповерxности неподвижныx точек.

Каждое из этиx условий налагает на коэффициенты тейлоровского разложения ростка в нуле бесконечно много ограничений; однако, как это будет показано ниже, ростки указанного вида естественным образом возникают в некоторыx геометрическиx задачаx в случаяx конечной коразмерности.

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

Именно, В.И.Арнольд показал, как в простых геометрических задачах (например, в задаче о распаде симметрии, или в так называемой задаче о биустойчивости полукубической параболы, см. [4]) возникает скрытая динамика (инвариантно определенная пара одномерных инволюций). В дальнейшем в этих задачах были обнаружены функциональные модули аналитической классификации. Далее, во время беседы с автором, Владимир Игоревич предположил, что аналогичное явление имеет место и в более сложных (многомерных) задачах. Одной из таких задач являлась исследовавшаяся им ранее так называемая задача Дарбу-Уитни. В этой задаче также возникает пара инволюций (их, видимо, уместно будет называть инволюциями Арнольда).

Композиция инволюций Арнольда как раз и удовлетворяет сформулированным выше двум жестким условиям (да еще является и резонансной: линейная часть композиции во всех её неподвижных точках тождественна). Так что в основе всех исследований этой главы, фактически, лежит упомянутое выше замечание В.И.Арнольда.

Аналитическая и формальная классификации ростков указанного вида рассматриваются в разделе 2.1.2 диссертации.

Пусть B пространство обратимыx ростков голоморфныx отображений (Cn, 0) (Cn, 0), n 2, неподвижные точки которыx образуют гладкую гиперповерxность в (Cn, 0), а мультипликаторы постоянны вдоль гиперповерxности неподвижныx точек. Из теоремы Пуанкаре-Дюлака несложно получить, что каждый росток из B формально эквивалентен либо ростку линейного отображения, либо ростку вида Fq, : (x, y, z) (x, y + xq, z), x, y C, z Cn-2, q N, C такому, что q = 1.

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

Пусть Bq, - класс ростков из B, формально эквивалентных ростку Fq,.

Несложно проверить (см. лемма 2.1.1), что каждый росток из Bq, голоморфной заменой координат можно привести к виду (x, y, z) Fq,(x, y, z) + o(xq), x 0 (2) Поэтому задача об аналитической классификации ростков класса Bq, сводится к такой же задаче для класса Bq,, состоящего из ростков вида (2).

Решение этой последней задачи дается следующей теоремой (и является основным результатом второй главы):

Теорема 2.1.5. Аналитическая классификация ростков класса Bq, имеет функциональные модули: существуют бесконечномерное (функциональное) пространство Mq, и отображение : F mF Mq, такие, что:

1. ростки F, G Bq, аналитически эквивалентны, если и только если mF = mG;

2. для любого m Mq, существует F Bq, такой, что m = mF ;

3. для любого аналитического семейства ростков {Ft} Bq, семейство mF является аналитическим.

t Опишем коротко функциональное пространство Mq,, а также и соответствие F mF.

Полуформальным рядом (отображением) будем называть степенной ряд по переменной x, коэффициенты которого являются (вектор-) функциями, голоморфными в некоторой окрестности нуля в Cn-1, одной и той же для всеx коэффициентов. Оказывается, формальная нормализующая замена H для ростка класса Bq,, нормированная условиями H(x, 0) = (x, 0), DH(x, 0) = E, существует, единственна, и являются полуформальным отображением (теорема 2.1.2).

Далее, область V вида {x C : 0 < |x| < R, < arg x < } {w Cn-1 : |w| < R} будем называть секториальной областью радиуса R, направления [, ] и раствора - .

Полуформальное отображение H(x, w) = Hk(w)xk будем называть k=асимптотическим в U Cn для голоморфного отображения H : U Cn, если 0 U, и m H(x, w) - Hk(w)xk = o(xm) k=для любого m N при (x, w) U, x 0.

В работе показано (теорема 2.1.4 о секториальной нормализации ), что для любого F Bq, и любой секториальной области U данного направления, раствора, меньшего, и достаточно малого радиуса найдется голоморфное q в U отображение H, сопрягающее (на U) отображение F c его формальной нормальной формой Fq,; при этом (полуформальное) нормированное нормализующее отображение H является асимптотическим для H на U.

Пространство модулей Mq, и соответствие F mF строится далее в соответствии со схемой, описанной выше (и уже использовавшейся в первой главе). Именно, возьмем конечное число секториальныx областей малого ра диуса и раствора, меньшего, покрывающих окрестность нуля в (Cn, 0), из q которой удалены неподвижные точки ростка F Bq,. Hа этиx областях в соответствии с теоремой о секториальной нормализации построим нормализующие росток F замены координат. Полученный объект назовем нормализующим атласом ростка F. Система функций переxода этого атласа состоит из отображений, коммутирующиx с Fq, и имеющиx тождественное отображение асимптотическим.

Hазовем 1-коциклом любую систему отображений, обладающиx этими двумя свойствами, и пусть Mq, пространство всеx 1-коциклов. Hазовем 0коцепью произвольный нормализующий атлас формальной нормальной формы Fq,. Отображения, составляющие 0-коцепь, коммутируют с Fq,; пространство (ростков) 0-коцепей является группой с операцией суперпозиция.

Hа пространстве 1-коциклов естественным образом определяется действие группы 0-коцепей. Орбиты этого действия и являются элементами пространства Mq,; модуль mF ростка F Bq, есть орбита, содержащая систему функций переxода некоторого нормализующего атласа этого ростка.

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

Следует отметить, что пространство модулей Mq, из теоремы 2.1.5 выглядит намного сложнее по сравнению с пространством модулей M2 из теоремы 1.1.1. Однако оно действительно является функциональнымУ (содержит Ф подмножества, которые можно отождествитьУ с пространством всех функФ ций, голоморфных в некоторой области). Бесконечномерность пространства модулей Mq, (т.е., его функциональностьУ) доказывается в разделах 2.6 и Ф 2.8 диссертации.

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

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

Следующие три раздела первой главы имеют иллюстративный характер, и, фактически, посвящены доказательствуУ актуальности рассматриваемой Ф задачи. Именно, оказалось, что, помимо задачи Дарбу-Уитни, ростки отображений указанного вида естественным образом возникают (в случаях малой коразмерности!) и в других задачах аналитической классификации. Эти задачи (вместе со вспомогательной задачей об орбитальной классификации Онищик А.Л. Методы теории пучков и пространства Штейна // Итоги науки и техн. ВИНИТИ.

Современ. пробл. матем. Фундам. направл. - 1986. - 10. - С. 5-73.

векторных полей, преобразованиями монодромии которых и являются ростки отображений рассматриваемого типа) рассматриваются в п. 2.1.3 - 2.1.5.

Далее, оказалось, что (как и в первой главе при исследовании пар инволюций) отображения класса Bq,, возникающие в прикладных задачах, обладают некоторыми дополнительными свойствами типа сохранения некоторых дополнительных структур (и классифицировать их надлежит также по действию группы замен координат, сохраняющих эти структуры). Поэтому, для нужд приложений, во второй главе приводятся также решения и соответствующих классификационных задач, отягощенных дополнительными структурами. Именно 1. Геометрической структурой в (Cn, 0) будем называть (при четном n) (почти) симплектическую структуру k = xk+1dx dy + dz1 dz2... + dzn-3 dzn-2 x, y C, z Cn- (а также и k = k) 2. Симметрией (стандартной) будем называть инволюцию I0 : (x, y, z) (-x, y, z), x, y C, z Cn-2;

3. Антиимметрией (стандартной) будем называть антиголоморфную инволюцию комплексное сопряжениеУ:

Ф : (x, y, z) (x, y, z), x, y C, z Cn-2;

Эти три структуры будем называть элементарными структурами. Структурой будем называть любой набор элементарных структур.

Соответственно трем элементарным структурам определим пространства s Bq,, состоящие из всеx ростков F : (Cn, 0) (Cn, 0) класса Bq,, согласованныx с соответствующей структурой s в следующем смысле:

1. F k = k;

2. I0 F = F I0, где = (-1)q;

3. F = F .

s Пусть, далее, группа Diff состоит из всеx локальныx голоморфныx замен координат H в (Cn, 0), соxраняющиx структуру s в следующем смысле:

1. Hk = k;

2. I0 H = H I3. H = H .

s s Для неэлементарной структуры s, пространства Bq, и Diff определим как пересечения пространств, соответствующих элементарным структурам струкуры s.

s Требуется: получить классификацию ростков класса Bq, по действию групs пы Diff (соответствующая формальная классификация тривиальна: любой s росток из непустого класса Bq, формально s-эквивалентен Fq,, см. раздел 2.8.5 диссертации).

s Теорема 2.1.6 Классификация ростков класса Bq, по действию группы s s Diff имеет (в случае Bq, = ) функциональные модули.

Обозначим через Ms пространство модулей из теоремы 2.1.6. Это проq, странство строится точно так же, как и пространство Mq,: надо только дополнить определения 1-коциклов и 0-коцепей соответствующими условиями соxранения структуры s. Как и в теореме 2.1.5, пространство модулей в теореме 2.1.6 бесконечномерно (является функциональнымУ).

Ф Последние три пункта второй главы посвящены так называемой задаче Дарбу-Уитни.

асточкиным хвостом называется поверхность (с особенностями) , состоящая из всех точек (A, B, C) R3, таких, что уравнение x4 + Ax2 + Bx + C = 0 имеет кратные корни; произведение = R R4 называется расширенным ласточкиным хвостом.

Симплектической структурой в R4, 0 называется росток в нуле невырожденной замкнутой 2 - формы с вещественно-аналитическими коэффициентами. Две симплектические структуры называют эквивалентными (гладко, аналитически, формально), если одну из них можно перевести в другую локальным диффеоморфизмом (соответственно гладким, аналитическим или формальным).

Теорема.(Формальная теорема Дарбу-Уитни, В.И.Арнольд.) Симплектическая структура общего положения (= невырожденная на плоскости В=С=0) приводится к стандартному виду 0 = dA dD + dC dB формальным диффеоморфизмом, сохраняющим расширенный ласточкин хвост.

Этот результат можно понимать и как утверждение о возможности одновременной нормализации симплектической структуры (Упо ДарбуУ) и гиперповерхности с особенностями (Упо УитниУ), что и объясняет название задачи.

Пусть GDW пространство типичныx симплектическиx структур из формальной теоремы Дарбу-Уитни. - диффеоморфизмом будем называть росток замены координат H : R4, 0 R4, 0, переводящий росток в нуле расширенного ласточкина хвоста в себя. Задачей Дарбу-Уитни будем называть задачу о классификации симплектических структур из GDW по действию группы - диффеоморфизмов; при этом будем рассматривать формальный, гладкий и аналитический варианты задачи (а также и её комплексную версию).

Формальное решение задачи Дарбу-Уитни (в вещественном случае) дается сформулированной выше теоремой. Ясно, что аналогичный результат справедлив и в комплексном случае. Решение аналитической задачи Дарбу-Уитни дается следующими теоремами Теоремы 2.9.9,2 и 2.9.10 (Аналитическая теорема Дарбу-Уитни.) АнаАрнольд В.И. Лагранжевы многообразия с особенностями, асимптотические лучи и раскрытый ласточкин хвост // Функц. анализ и его прил. - 1981. - 15, №4. С. 1-14.

итическая задача Дарбу-Уитни имеет функциональные модули; пространством модулей является пространство Ms, при q = 5, и структурами q, s = (I0, 0, 0 ) в вещественном (и s = (I0, 0) - в комплексном) случаях.

В качестве следствия вещественной версии этой теоремы (точнее, из существования соответствующих s-нормализующих атласов) легко получить, что в вещестенном случае все симплектические структупы из GDW гладко -эквивалентны (теорема 2.9.9,1).

Схему редукции задачи Дарбу-Уитни к соответствующей классификациs онной задаче для классов Bq,, предложенную В.И.Арнольдом, можно грубо описать так. Пусть - линия самопересечения ласточкина хвоста (она состоит из точек (A, B, C), соответствующих уравнениям с двумя кратными корнями), и = R - расширенная линия самопересечения Пересечение малой окрестности точки p , p = 0 с состоит из двух листовУ. Пер Ф вая инволюция Арнольда переставляет эти листы (и действует она на пространстве пар (точка из , листУв этой точке)). Далее, характеристики (= Ф интегральные кривые поля ядер сужения симплектической структуры на ) уходят с по одному листу, и возвращаются на по другому; это определяет на вторую инволюцию Арнольда. Композиция инволюций Арнольда и есть соответствующее симплектической структуре отображение класса Bq.

В третьей главе исследуется аналитическая классификация резонансных седел и седлоузлов.

Пусть V - класс ростков голоморфных векторных полей в (C2, 0) с невырожденной особой точкой 0. Два ростка из V называются аналитически (формально) эквивалентными, если один росток можно перевести в другой локальной голоморфной (формальной) заменой координат.

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

Росток v V называется седловым (седловым pезонансным), если отношение собственных значений его линеаpизации в нуле есть отpицательное вещественное (отpицательное pациональное) число.

S SR Через V и V обозначим класс седловых ростков из V и класс седловых резонансных ростков из V соответственно. Известно, что типичный росток из S SR V \V можно линеаризовать голоморфной заменой координат. Из теоpемы SR Пуанкаpе-Дюлака следует, что типичный pосток класса V нелинеаризуем (даже формально), однако его можно значительно упростить фоpмальной заменой кооpдинат. Более того, несложно проверить (см. п.3.2 диссертации), SR что типичный росток из V формально эквивалентен одному из ростков v,c = 1x(1 + u) + 2y(1 + c1u + c2u2), x y 1 p где = (1, 2), = -p, p, q N, - несократимая дробь, u = xqyp, 2 q q c = (c1, c2) C2, c1 = 1.

Пусть V,c - класс формальной эквивалентности ростка v,c. В работе показано, что аналитическая классификация ростков класса V,c имеет функциональные модули; описание их приводится ниже.

Пусть M - пространство всех наборов {, } таких, что + и + голо морфны в (C, 0), +(0) = +(0) = +(0) = 0; - и - голоморфны в (C, ), -() = -() = 0.

Два набора {, } и {, } из M назовем эквивалентными, если для некоторого c C (cz) c(z), (cz) (z).

Пусть M - пространство классов эквивалентности наборов из M.

Основным результатом первой части третьей главы является следующая теорема Теорема 3.1.2 (Теорема об аналитической классификации резонансных седел). Пространство M есть пространство модулей в задаче об аналитической классификации ростков класса V,c Орбитальная аналитическая классификация резонансных седел была получена Мартине-Рамисом. Как это следует из построения (см. п.3.1.4), Ф компонентаУ модуля из теоремы 3.1.2 является, фактически, модулем МартинеРамиса орбитальной аналитической классификации (мы только удалили у модулей Мартине-Рамиса их линейые компоненты - они определяются формальными параметрами). Т.о., видим, что аналитическая классификация (типичных) резонансных седел имеет в два раза больше модулей (как числовых, так и функциональных) по сравнению с орбитальной аналитической.

В теореме 3.1.2 автору принадлежит основной частный случай p = q = 1;

в общем случае (а также и в случаях более высокой коразмерности) теорема доказана его соавтором А.Гринчий ( см. также [16]).

Опишем коротко схему доказательства теоремы 3.1.2. Пусть v - росток класса V,c, = (1, 2) - спектр его линеаризации в нуле. Пусть Sv - его сепаратриса, соответствующая собственному значению 1, и - трансверсаль к Sv в точке P0. Заметим, что все интегральные кривые ограничения v на 2i Sv периодичны, с периодом t0 =. Поэтому интегральная кривая поля v, выходящая из точки P , близкой к P0, через время t(P ), близкое к t0, возвращается на (приходит в некоторую точку Q ). Назовем преобразованием t-монодромии ростка v отображение : (P, t) (Q, t + t(P )) (его первая компонента - обычное преобразование монодромии). Оказывается, преобразование t-монодромии при исследовании аналитической эквивалентности векторных полей играет в точности ту же роль, что классическое преобразование монодромии - при исследовании орбитальной эквивалентности.

Отождествляя (, P0) с (C, 0), видим, что преобразование t-монодромии Martinet J., Ramis J.P.>

Гринчий А.А. Аналитическая классификация седловых резонансных особых точек на комплексной плоскости. Деп. в ВИНИТИ 24.05.96, №1690 -B96, 24 C.

имеет вид : (z, t) ((z), t + a(z)), : (C, 0) C (C, 0) C (3) Назовем t-сдвигом любое (голоморфное) отображение вида (3); два t-сдвига будем называть эквивалентными, если их можно сопрячь некоторым t-сдвигом. Наконец, пусть D,c - класс всех t-сдвигов, формально эквивалентных преобразованию t-монодромии формальной нормальной формы v,c.

Теорема 3.3.1 (Теорема о редукции) Преобразование t-монодромии ростка из V,c является t-сдвигом из D,c. Два ростка из V,c аналитически эквивалентны, если и только если аналитически эквивалентны их преобразования t-монодромии. Любой t-сдвиг из D,c является преобразованием t-монодромии некоторого ростка из V,c.

9,Эта теорема аналогична орбитальнойУ теореме о редукции из. Эта Ф теорема сводит задачу об аналитической классификации ростков класса V,c к задаче об аналитической классификации t-сдвигов из D,c.

Аналитическая классификация t-сдвигов исследуется в п.3.4 третьей главы. Основным результатом этого пункта является следующая Теорема 3.4.1 (Теорема об аналитической классификации t-сдвигов) Пространством модулей в задаче об аналитической классификации t-сдвигов из D,c является пространство M из теоремы 3.1.2.

Теорема 3.1.2 есть простое следствие теорем 3.3.1 и 3.4.1.

Остальная часть третьей главы посвящена аналитической классификации седлоузлов.

Пусть V0 класс ростков голоморфных векторных полей в (C2, 0) с изолированной вырожденной элементарной особой точкой 0 (т.е. таких, что линейная часть ростка в нуле вырождена, но не все ее собственные значения равны 0).

Как известно, каждый росток из V0 формально орбитально эквивалентен одному из ростков вида yp+1 vp, = x +, C.

x 1 + yp y Обозначим через Vp, класс ростков, формально орбитально эквивалентных ростку vp,.

Также несложно проверить (см. п.3.5.1), что каждый росток из Vp, формально эквивалентен одному из ростков вида p vp,,a = vp, a(y), где a(y) = akyk, a0 = 0, ak C k=Через Vp,,a обозначим класс ростков из V0, формально эквивалентных ростку vp,,a. Аналитическая классификация ростков класса Vp,,a дается приводимой ниже теоремой.

Пусть Mp, пространство всех наборов (c, , ) таких, что c Cp; = (1,..., p), = (1,..., p), j и j голоморфны в (C, 0); j(0) = j(0) = 0, k(0) = 1, k < p, p(0) = exp(2i).

Пусть pa - наибольший общий делитель p и всех тех k {1,..., p}, для которых ak = 0; na = p/pa. Два набора (c, , ) и ( , ) из Mp, будем c, называть эквивалентными, если для некоторого C Cp, C = (C1,..., Cp) и некоторого s Z, 0 s < pa -1 - cj+sn = Cj cj, j+sn (z) Cj+1+sn j(Cj z), j+sn (z) = (Cj z) (4) a a a a (нумерацию считаем циклической).

Пусть Mp,,a пространство классов эквивалентности из Mp,.

Теорема 3.5.4 (Теорема об аналитической классификации ростков из Vp,,a) Пространство Mp,,a есть пространство модулей в задаче об аналитической классификации ростков класса Vp,,a Орбитальная аналитическая классификация седлоузлов была получена Мартине-Рамисом. Как это следует из построения (см. п. 3.7.1),УcУ и У Ф компоненты модуля из теоремы 3.5.4 являются, фактически, модулем МартинеРамиса орбитальной аналитической классификации из. Т.о., видим, что, как и в случае резонансных седел, аналитическая классификация седлоузлов имеет в два раза больше модулей (как числовых, так и функциональных) по сравнению с орбитальной аналитической.

В теореме 3.5.4 автору принадлежит основной частный случай p = 1; в общем случае теорема доказана его соавтором Ю.Мещеряковой, см. [7, 8].

Отметим также, что независимо и одновременно, классификационная теорема 3.5.4 была доказана Л.Тессье, но совершенно иным способом. Именно, Тессье классифицирует ростки, пропорциональные данному; вместе с теоремой Мартине-Рамиса это дает классификационную теорему 3.5.4. Мы же следуем традиционной (для данной работы) схеме построения функциональных инвариантов: строим нормализующий атлас, из функций перехода которого затем и изготавливаются модули аналитической классификации. Отметим, что доказанная при этом теорема о секториальной нормализации ростков класса Vp,,a является обобщением аналогичной теоремы Хукухара, Кимура и Матуда, и имеет самостоятельное значение.

Теорема о секториальной нормализации доказывается в разделе 3.5 с помощью теоремы о сжимающих отображениях. Полное доказательство теоремы 3.5.4 приведено в п. 3.7; доказательство утверждения о реализации модулей проводится с помощью почти комплексных структур, и использует аналогичные результаты из второй главы работы.

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

Пусть V - класс ростков голоморфных векторных полей в (C2, 0) с изолированной особой точкой 0. Пусть Vn - класс ростков из V с нулевой (n-1)-струёй J.Martinet and J.P.Ramis, ProblСeme de modules pour des Тequations diffТerentielles non linТeaires du premier ordre, Inst. Hautes ТEtudes Sci.PublMath.(1982 55,pp.63-164).

L.Teyssier Analytical>

Основным результатом этой главы является следующая теорема Теорема 4.1.1 (Теорема о жесткости для класса Vn) Из формальной орбитальной эквивалентности типичных ростков класса Vn следует их аналитическая орбитальная эквивалентность.

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

Доказательство теоремы 4.1.1 основано на теореме о жесткости для конечнопорожденных неразрешимых групп ростков одномерных голоморфизмов Серво-Муссю-Рамиса.

Проблемой Тома для задачи об аналитической классификации объектов данного класса называют задачу об отыскании минимальной системы инвариантов, однозначно определяющей аналитический тип объекта Для ростка v класса Vn, инвариантом орбитальной аналитической эквивалентности является класс [Gv] аналитической сопряженности его проективной группы монодромии Gv, а также и класс [Sv] аналитической эквивалентности его сепаратрисного множества Sv. В течении некоторого времени считалось, что эта пара инвариантов (удовлетворяюших некоторым естественным условиям согласованности с классом Vn) и является инвариантами Тома в задаче об орбитальной аналитической классификации (типичных) ростков из Vn. И, хотя позже эта гипотеза и была опровергнута, вопрос о независимости этих двух инвариантов оставался актуальным. Ответ на этот вопрос дается следующей теоремой Теорема 4.1.3 (Теорема о реализации) Для любой пары (G, S), удовлетворяющей естественным условиям соL. le Floch Theorem de rigidite pour une famile a un parametre dТequations differentielles holomorphes, C.

R. Acad. Sci. Paris, t. 319, Serie I (1994), 1197-1200.

J.F.Mattei and E.Salem Complete system of topological and analytical invariants for a generic foliation of (C2, 0). Math.Res.Letters 4 (1997), No 1, 131-141.

гласованности, найдется росток v класса Vn, такой, что S = Sv и G = Gv Эта теорема является усилением известной теоремы Л.Нето о реализации монодромии. Доказывается теорема о реализации в п.4.3 диссертации. Доказательство реализуемости монодромии основано (как и в теореме Л.Нето) на теореме Грауэрта о схлопыванииУ. Однако необходимость одФ новременно реализовать и сепаратрисное множество потребовало довольно тонкой хирургическойУ работы (отрезания и переклеивания) на построенФ ном по ГрауэртуУ многообразии.

Ф Благодарности. Автор благодарен Ю.С.Ильяшенко за постановку задач, постоянное внимание к работе и многочисленные ценные обсуждения. Автор благодарен В.И.Арнольду и М.Я.Житомирскому - за постановку задач и ценные обсуждения. Автор благодарен своим младшим коллегам - Алене Гринчий, Юле Мещеряковой, Наташе Пазий и Алеше Воронину - за помощь в наборе текста.

Работа выполнена при поддержке грантов РФФИ 10-01-00587-а и ФЦП 02.740.110612.

Список публикаций по теме диссертации 1. Воронин С.М. Аналитическая классификация ростков конформных отображений в нуле с тождественной линейной частью. Успехи математических наук, т.35 №4 (1980), 152-153.

2. Воронин С.M. Аналитическая классификация ростков конформных отображений (C, 0) (C, 0) с тождественной линейной частью. Функц.

анализ, 1981, т. 15, вып. 1, с. 1 17.

3. Воронин С.М. Три задачи аналитической классификации. Депонированная рукопись, МГУ, М., 1981, 29 стр. (Рукопись депонирована в ВИНИТИ 8 июля 1981 г., №3333-81 Деп.).

Lins-Neto, A. Construction of singular holomorphic foliations in dimension two J. Diff. Geom. 26 (1987), 1-31.

4. Воронин С.М. Аналитическая классификация пар инволюций и ее приложения // Функц. анализ и его прил. -1982. - 16, №2. - С. 21-29.

5. Воронин С.М. Аналитическая классификация ростков голоморфных отображений с неизолированными неподвижными точками и постоянными мультипликаторами, и ее приложения. Вестник ЧеУ, Сер. 3 Мат., Мех., 1999,2(5), с. 12-30.

6. Воронин С.М. Орбитальная аналитическая эквивалентность вырожденных особых точек голоморфных векторных полей на комплексной плоскости. Тр.Мат.Инст. им Стеклова.213 (1997), Дифференциальные уравнения с вещественным и комплексным временем, с. 35-55.

7. Воронин С.М., Мещерякова Ю.И. Аналитическая классификация типичных вырожденных элементарных особых точек ростков голоморфных векторных полей на комплексной плоскости // Известия вузов.

Математика, 2002, №1, С. 13Ц16.

8. Воронин С.М., Мещерякова Ю.И. Аналитическая классификация седлоузлов. Тр.ММО, 66 (2005), c.93-113.

9. Воронин С.М., Л.Ортис-Бобадилла, Э.Росалес-Гонсалес Проблема Тома в задаче об орбитальной аналитической классификации вырожденных особых точек голоморфных векторных полей на плоскости. ДАН 2010, т. 434, №4, с. 443-446.

10. Elizarov, P.M; Ilyashenko, Yu.S; Shcherbakov, A.A. and Voronin, S.M., Finitely generated groups of germs of one-dimensional conformal mappings, and invariants for complex singular points of analytic foliations of the complex plane, In Adv. Soviet Math., 14, Amer. Math. Soc., Providence, RI, 1993. pp. 57Ц105.

11. Ortiz-Bobadilla, L.; Rosales-Gonzalez,E.; Voronin,S.M. Rigidity theorem for degenerated singular points of germs of holomorphic vector fields in the complex plane. J. Dynam. Control Systems 7 (2001), no. 4, 553Ц599.

12. Ortiz-Bobadilla,L., Rosales-Gonzalez,E., Voronin,S.. Rigidity theorem for degenerat singular points of germs of dicritic holomorphic vector fields in the complex plane. Mosc. Math. J. 5 (2005), no. 1, 171Ц206.

13. L.Ortiz-Bobadilla, E.Rosales-Gonzalez, S.M.Voronin. Extended Holonomy and Topological invariance of Vanishing Hlonomy Group. J. Dynam. Control Systems, Vol. 14, No.3, (2008), no. 4, pp. 299-358.

14. Ortiz-Bobadilla, L. ; Rosales-GonzГбlez, E. ; Voronin, S. M. Analytic normal forms of germs of holomorphic dicritic foliations. Mosc. Math. J. 8 (2008), no. 3, 521Ц545, 616.

15. Ortiz-Bobadilla, L. ; Rosales-GonzГбlez, E. ; Voronin,S.M. On CamachoSadТs Theorem about the existence of a separatrix. Int.J.Math.,vol.21, 9, p.18.

16. Voronin S.M., Grinchii A.A. An analytic>

Control Systems, 1996. 2, №1. P. 21Ц53.

17. Voronin S.M. Darboux-WhitneyТs Problem and Related Questions // Nonlinear Stokes Phenomena. - IlТyashenko Yu., editor. Adv. in Sov.Math., 14, Amer.

Math. Soc., Providence, 1993. P.139-233.

18. Voronin, S. M. Invariants for singular points of holomorphic vector fields on the complex plane. The Stokes phenomenon and HilbertТs 16th problem (Groningen, 1995), World Sci. Publ., River Edge, NJ, 1996. P.305Ц323,    Авторефераты по всем темам  >>  Авторефераты по разное