Содержание к диссертации
Введение
1 Процесс раздутия по диаграмме Ньютона . 30
1.1 Раздутие по диаграмме Ньютона 30
1.2 Особые точки, полученные после раздутия 33
1.3 Продолжение процесса раздутия 35
1.4 Критерий монодромности 36
1.5 Пример: семейство монодромных ростков 37
1.6 Раздутие в секторах, соответствующих ребрам и вершинам. 39
1.7 Необходимое и достаточное условие монодромности 44
1.8 Доказательство теоремы 1 46
1.9 Главный член асимптотики преобразования монодромии 48
1.10 Пример: вычисление обобщенной первой фокусной величины 50
1.11 Схема раздутия 51
1.12 Суперпозиция отображений соответствия 52
1.13 Отображение соответствия в вершинном прямоугольнике. 54
1.14 Отображения соответствия в реберных прямоугольниках. 55
1.15 Отображения соответствия для максимальной линии схемы раздутия 57
1.16 Некоторые композиции отображений соответствия 58
1.17 Доказательство леммы 1.4 61
1.18 Доказательство теоремы 2 Q6
1.19 Доказательство предложения 1.19 68
1.20 Доказательство предложения 1.20 70
2 Аналитическая разрешимость проблемы различения центра и фокуса 72
2.1 Простейшие монодромные классы 72
2.2 Особые точки, полученные в результате раздутия 76
2.3 Отображение соответствия в прямоугольнике, соответствующем ребру 77
2.4 Случай одного ребра 80
2.5 Определение расширенных отображений соответствия 83
2.6 Случай двух ребер и невырожденной вершины 86
2.7 Случай двух невырожденных ребер и вырожденной вершины 93
2.8 Случай нескольких невырожденных ребер 94
2.9 Случай невырожденных вершин 107
2.10 Асимптотическое разложение преобразования моподромии 114
2.11 Обобщенная диаграмма Ньютона 116
2.12 Множества, соответствующие ребрам 117
2.13 Преобразование коэффициентов струи при сдвиге 125
2.14 Окончание доказательства леммы 2.7 130
2.15 Случай произвольного простейшего монодромного класса 141
3 Отображения соответствия 144
3.1 Нормальная форма в окрестности невырожденного седла 144
3.2 Нормальная форма в резонансном случае 150
3.3 Отображение соответствия в окрестности невырожденного седла 155
3.4 Отображение соответствия в резонансном случае 159
3.5 Нормальная форма в окрестности вырожденной особой точки 164
3.6 Отображение соответствия в окрестности вырожденной особой точки 170
3.7 Расширенные отображения соответствия в случае невырожденной вершины 172
3.8 Расширенные отображения соответствия в резонансном случае 180
3.9 Расширенные отображения соответствия в случае вырожденной вершины 182
3.10 Случай вырожденных ребер 192
3.11 Расширенные отображения соответствия в случае верхней вершины 195
Добавление 205
4 Часть I. Главный член асимптотики преобразования монодромии: вычисление по геометрии раздутия 205
4.1 Венок Мебиуса 205
4.2 „Хорошее раздутие" 208
4.3 Изображающая точка 208
4.4 Существенные оси 209
4.5 Функция F1 209
4.6 Дерево раздутия 210
4.7 Ключевые вершины 210
4.8 Индекс ребра дерева раздутия 211
4.9 Характеристика суперпозиции отображений соответствия. 212
4.10 Обобщенная первая фокусная величина 214
4.11 Примеры 215
4.12 Лемма об отображениях соответствия 218
4.13 Ветви дерева раздутия 221
4.14 Доказательство теоремы 4 222
4.15 Отображение соответствия для правильной ветви 223
5 Часть II. Второй член асимптотики преобразования монодромии в случае двух четных ребер диаграммы Ньютона 228
5.1 Асимптотика преобразования монодромии 229
5.2 Раздутие особенности 229
5.3 Замена переменных в секторе, соответствующем ребру диаграммы Ньютона 230
5.4 Отраженные векторные поля 232
5.5 Отображение соответствия в прямоугольнике Раа 232
5.6 Параметризация трансверсалей 235
5.7 Отображения соответствия в прямоугольниках, соответствующих ребрам 235
5.8 Коэффициенты суперпозиции отображений соответствия. 237
Библиография 243
- Критерий монодромности
- Отображения соответствия для максимальной линии схемы раздутия
- Случай двух ребер и невырожденной вершины
- Отображение соответствия в окрестности невырожденного седла
Введение к работе
1. Результаты. В работе доказана аналитическая разрешимость проблемы различения центра и фокуса и получены эффективные формулы для коэффициентов при первых двух членах асимптотики преобразования монодромии монодромной особой точки аналитического векторного поля на плоскости. Получено также необходимое и достаточное условие того, чтобы особая точка была монодромной. Используются два варианта метода разрешения особенностей: раздутие по диаграмме Ньютона и сг— процесс.
2. Топология фазового портрета. Рассмотрим задачу построения фазового портрета вещественно-аналитического векторного поля в окрестности особой точки на плоскости с точностью до орбитальной топологической эквивалентности. Другими словами нас будет интересовать поведение фазовых кривых в окрестности особой точки а также направление движения по ним, но не скорость движения.
Если матрица линейной части поля в особой точке невырождена, то особая точка называется невырожденной и может быть, как известно, одного из следующих типов: седло, узел, фокус, центр.
Если матрица линейной части векторного поля в особой точке имеет по крайней мере одно ненулевое собственное значение, то особая точка называется элементарной. Векторное поле в окрестности элементарной особой точки может быть приведено к полиномиальной нормальной форме с помощью гладкой замены переменных. Список нормальных форм приведен в ([10], с.88). С точки зрения топологии локального фазового портрета элементарная особая точка кроме вышеперечисленных четырех типов может быть еще только седло-узлом. Топологический тип невырожденной особой точки, кроме случая центра по линейным членам, определяется набором собственных значений матрицы линейной части поля в этой точке. О различении центра и фокуса в последнем случае подробнее будет сказано ниже. Для построения фазового портрета в окрестности вырожденной элементарной особой точки достаточно произвести конечное число арифметических действий над коэффициентами разложения Тейлора векторного поля в особой точке и решить конечное число алгебраических уравнений.
Если особая точка неэлементарна, то исследование ее окрестности производится с помощью того или иного варианта метода разрешения особенностей (раздутия). Суть этого метода состоит в следующем. Проколотая окрестность особой точки с помощью замен переменных специального вида превращается в окрестность или полуокрестность вклеенной инвариантной кривой, содержащей особые точки. Векторные поля, полученные после этих замен переменных, имеют только элементарные особые точки. Поскольку фазовые портреты в окрестностях элементарных особых точек всегда могут быть построены, то проектируя картинки, полученные после раздутия, в окрестность исходной особой точки, получаем фазовый портрет в этой окрестности. В статье Ф.Дюмортье [81] этот метод подробно описан в случае полярного раздутия, а также дается орбитальная топологическая классификация особых точек нескольких младших коразмерностей, имеющих характеристическую траекторию, то есть траекторию, входящую в особую точку с определенной касательной. Согласно [81] топология фазового портрета в окрестности особой точки с характеристической траекторией исследуется по конечному отрезку ряда Тейлора этого поля в особой точке с помощью конечного числа арифметических действий над тейлоровскими коэффициентами и решений алгебраических уравнений. Различные варианты метода разрешения особенностей рассматриваются в [75], [71], [38], [37], [22], [73], [74], [27], [13], [6], [17], [18], [15], [69], [88], [40], [15], [19].
В случае, когда у особой точки нет ни одной характеристической траектории, описанная выше схема построения фазового портрета с помощью разрешения особенностей не работает, поскольку по результатам раздутия можно только констатировать факт отсутствия характеристических траекторий и совсем невозможно понять, замыкаются траектории или нет.
3. Основная альтернатива.
Определение. Фазовая кривая векторного поля на плоскости называется характеристической траекторией особой точки, если она входит в эту точку при t -* +оо или t —> —со, касаясь некоторой прямой.
Определение. Особая точка векторного поля называется монодром-пой} если существуют окрестность этой точки и дуга с началом в этой точке, гладкая и трансверсальная полю всюду вне начала, такие, что векторное поле в окрестности с выброшенной дугой топологически ор- битально эквивалентно стандартному (рисД). Точнее, существует непрерывное отображение замкнутого прямоугольника на замыкание окрестности особой точки, гомеоморфно переводящее внутренность прямоугольника на дополнение окрестности до упомянутой трансвсрсальной дуги и преобразующее горизонтальные прямые - в фазовые кривые исходного векторного поля; вертикальные стороны оно отображает на трапсверсаль, а нижнюю горизонтальную сторону переводит в особую точку. Каждая фазовая кривая исходного поля с началом на трансвер-сали, достаточно близким к особой точке, сделав один виток вблизи этой точки, возвращается на ту же трансверсаль. Отображение, переводящее начальную точку каждой такой дуги в ее конец (точку первого возвращения на трансверсаль), называется преобразованием монодро-мии особой точки (рис.1).
Каждая траектория в окрестности монодромной особой точки является или спиралью, или окружностью.
Рис. 1:
Во внутренних точках трансверсали преобразование монодромии имеет тот же класс гладкости, что и векторное поле, и аналитично вместе с ним. Однако оно может не продолжаться гладко в начальную точку трансверсали даже в случае аналитического векторного поля.
Теорема. [10] Вещественно-изолированная особая точка аналитического векторного поля на плоскости либо имеет характеристическую траекторию либо моиодромна.
Легко привести пример гладкого векторного поля, особая точка которого не имеет характеристической траектории и не является монодромной [10].
Из теоремы конечности числа предельных циклов [85] следует, что монодромная особая точка аналитического векторного поля на плоскости является либо центром, либо фокусом.
Росток векторного поля в монодромной особой точке будем называть монодромным ростком.
Задачу об исследовании топологии фазового портрета в окрестности монодромной особой точки принято называть проблемой различения центра и фокуса, Топологический тип монодромной особой точки может быть только одним из следующих: устойчивый фокус, неустойчивый фокус и центр. Однако, поскольку одним из основных результатов дайной диссертации является доказательство того факта, что „центр" имеет коразмерность бесконечность, то на самом деле мы имеем дело с задачей различения устойчивого и неустойчивого фокуса, которую мы далее будем называть проблемой различения центра и фокуса отдавая дань традиции.
4. Проблема различения центра и фокуса. Проблема различения центра и фокуса является классической задачей качественной теории дифференциальных уравнений. Перечислим основные классы мо-нодромных ростков, в которых эту проблему можно считать решенной.
Наиболее популярный и широко исследованный класс - это ростки, имеющие в особой точке центр по линейным членам. Необходимым и достаточным условием центра ([59],[38], [10]) в этом случае является существование формального первого интеграла. Условием же существования последнего является обращение в ноль бесконечного числа Ля-пуновских фокусных величин, которые являются полиномами от Тейлоровских коэффициентов ростка. Существует большое количество работ, посвященных нахождению условий центра для различных классов векторных полей в случае центра по линейным членам (см.например [86], [80], [35], [36], [66],[67], [2], [68], [3], [101], [102], [103], [87]). Мы не останавливаемся на перечислении всех этих работ, поскольку с одной стороны их очень много, а с другой стороны настоящая работа посвящена исследованию более сложных монодромных особых точек, хотя почти все ее результаты справедливы и для случая центра по линейным членам. Обзор литературы по проблеме различения центра и фокуса имеется в монографиях [3], [68].
Следующий класс - монодромные ростки, имеющие в особой точке линейную часть в виде ненулевой нильпотентной жордановой клетки. Этот класс впервые был исследован A.M. Ляпуновым [38] с помощью раздутия, использующего специальные функции. Условием центра здесь как и в случае центра по линейным членам является обращение в ноль бесконечного числа полиномов от Тейлоровских коэффициентов ростка. Проблема различения центра и фокуса для особых точек этого класса исследуется также например в работах [4], [60], [3], [100], [21].
Еще один класс монодромных ростков исследован в [58]. Пусть разложение Тейлора векторного поля в особой точке ноль начинается с г-ых степеней : (Xr -f .. .)-* + (Yr 4- ...) J-, г - нечетно. Говорят, что росток векторного поля не имеет в особой точке ноль исключительных направлений, если однородный многочлен — yXr + xYr не имеет вещественных линейных множителей. Ростки без исключительных направлений всегда монодромны. Переход к полярным координатам и последовательное решение уравнений в вариациях позволяют выразить условия центра в виде равенства нулю бесконечного числа интегралов, которые являются аналитическими функциями от коэффициентов ростка. Проблема различения центра и фокуса в классе ростков без исключительных направлений исследуется например в [17], [61], [62], [3], [21].
Общим для всех трех перечисленных случаев является следующее. С помощью специальной замены переменных векторное поле, имеющее в нуле монодромную особую точку одного из перечисленных типов, может быть превращено в векторное поле, определенное в полуокрестности инвариантной окружности, на которой нет особых точек. Другими словами, исследование векторного поля в окрестности особой точки может быть сведено к исследованию векторного поля в окрестности замкнутой траектории. Преобразование монодромии в этих случаях является аналитическим ростком Д(#) = сх + с^аД тейлоровские коэффици- енты которого могут быть вычислены путем последовательного решения уравнений в вариациях. Поскольку в случае центра Д(х) = х, то различение центра и фокуса состоит в сравнении преобразования моно-дромии с тождественным отображением. Если хотя бы одна из величин In с, cfc отлична от нуля, то особая точка является фокусом.
Основной целью настоящей работы является исследование монодром-ных особых точек, которые не относятся к перечисленным классам. Как уже отмечалось, для исследования таких сложных особых точек применяется метод раздутия особенностей. Поскольку большинство результатов диссертации сформулированы в терминах диаграмм Ньютона и раздутия, связанного с диаграммами Ньютона, начнем с соответствующих определений.
5. Диаграмма Ньютона. Рассмотрим аналитическое векторное поле V в окрестности точки ноль на плоскости. Оно определяет динамическую систему, которую нам будет удобно записывать в виде ух = Х(х,у), xy~Y(x,y). (0.1)
Здесь функции X uY делятся на у и а; соответственно. Рассмотрим разложения Тейлора
Х(я,у)= Е ay*V, Y(xty)= Е ЬуагУ, (0.2)
Определения. 1. Векторным коэффициентом точки (i,j) называется вектор (aij,by). Носителем системы (ОД), а также векторного поля V называется множество таких пар (i,j), что (а,-у, 6^-) ф (0,0). Показателем точки носителя (г, j) называется величина bij/aij, если ац ф 0 оо, если a,-j = 0.
2. Рассмотрим множество ІКЄ.Л + Rl}, (о-з) где R+ - положительный квадрант, объединение берется по всем точкам (г, j), принадлежащим носителю. Граница выпуклой оболочки этого множества состоит из двух открытых лучей и ломаной, которая может состоять и из одной точки. Эта ломаная называется диаграммой Ньютона векторного поля V (см.рис.2). Звенья ломаной называются ребрами диаграммы Ньютона, а их концы - ее вершинами.
Рис. 2:
Если граница выпуклой оболочки множества (0.3) содержит луч, который не лежит на координатной оси, то будем называть его неограниченным ребром диаграммы Ньютона.
Если вершина диаграммы Ньютона не лежит ни на одной координатной оси, то она называется внутренней, в противном случае граничной.
Показателем ребра диаграммы Ньютона называется положительное рациональное число, равное тангенсу угла между ребром и осью ординат. Если диаграмма Ньютона имеет неограниченное горизонтальное ребро, то припишем ему показатель равный со, а если вертикальное, то - 0. Каждому ребру диаграммы Ньютона сопоставляется несократимая дробь т/п, равная показателю этого ребра. Для вертикального неограниченного ребра положим т = 0,п = 1, для горизонтального -т = l,n = 0.
Пусть и і - два примыкающих к внутренней вершине с сверху и снизу ребра (или неограниченных ребра) с показателями ana (0 < а < а < со,) (3 - показатель вершины с. Вершина с называется невырожденной, если /? ф а, /? ф а. Вершина с называется вырожденной вверх, если (3 = а, и вырооюденной вниз, если /3 = а.
Заметим, что все представители одного ростка аналитического векторного поля в особой точке имеют один и тот же носитель, диаграмму Ньютона, а также векторные коэффициенты всех точек носителя.
6. Метод раздутия, связанный с диаграммой Ньютона. Под- ход к исследованию особых точек векторных полей на плоскости с точки зрения диаграммы Ньютона традиционен. Например, в случае, когда у особой точки имеется характеристическая траектория, по диаграмме Ньютона можно построить фазовый портрет в окрестности этой особой точки ([17],[13]), для „большинства" ростков векторных полей с данной диаграммой Ньютона можно построить асимптотики траекторий, входящих в особую точку, а также вычислить ее индекс [17], [13], [11],[12]. Кроме того за последнее время были получены результаты, касающиеся различения центра и фокуса и сформулированные на языке раздутия особенностей, связанного с диаграммами Ньютона ([15], [76], [52], [14], [42], [43], [48], [49], [57]).
В статьях [15],[52], [76], [53] ,[57] и 1.1 главы 1 описан один шаг разда-тия, связанного с диаграммой Ньютона. Близкие схемы даны в [17], [13], [11], [71], [б], [37]. Этот шаг состоит в следующем. Окрестность нуля в первом квадранте разбивается на криволинейные секторы, соответствующие ребрам и вершинам диаграммы Ньютона, каждый сектор с помощью степенной замены переменных превращается в прямоугольник. Границы прямоугольников склеиваются с помощью функций перехода.
Векторное поле, полученное после степенной замены переменных и определенное в прямоугольнике, соответствующем ребру диаграммы Ньютона, имеет, вообще говоря, более простые особые точки, а векторное поле, определенное в прямоугольнике, соответствующем внутренней вершине, всегда имеет единственную особую точку, притом элементарную.
Этот процесс продолжается по индукции, если поместить начало координат в особую точку, полученную после раздутия и расположенную в прямоугольнике, соответствующем ребру, а затем произвести вышеописанный процесс в соответствии с диаграммой Ньютона векторного поля, полученного после раздутия.
Описанный метод разрешения особенностей является наиболее быстрым среди всех известных в настоящее время. Для сравнения объема вычислений при использовании различных методов раздутия особенностей можно привести следующее высказывание: для любого натурального п существует векторное поле с особой точкой, процесс раздутия которого по диаграмме Ньютона осуществляется с помощью двух замен переменных, а кратный ст-процесс (а также полярное раздутие) состоит более, чем из п шагов [47]. В главе 1 доказывается, что процесс раздутия, связанный с диаграммами Ньютона, в случае вещественно-изолированной особой точки конечен.
В главе 1 доказаны две теоремы: критерий монодромности особой точки, позволяющий для любой вещественно-изолированной особой точки определить, имеет она характеристическую траекторию или является монодромной, а также теорема о главном члене асимптотики преобразования монодромии, где вычисляется логарифм коэффициента при главном члене, отличие которого от нуля гарантирует наличие фокуса в особой точке. Результаты формулируются в терминах диаграмм Ньютона ростков векторных полей, получаемых в процессе раздутия, связанного с диаграммами Ньютона.
Обе теоремы сформулированы таким образом, что их применение может быть осуществлено с помощью ЭВМ.
В формулировках обеих этих теорем используется понятие Ньютонова дерева раздутия, которое мы сейчас определим.
По данному ростку векторного поля Vq с вещественно-изолированной особой точкой (0,0) построим граф, который является деревом, следующим образом. Вершинам дерева поставим в соответствие ростки векторных полей в особых точках, которые получаются в процессе раздутия в прямоугольниках, соответствующих ребрам диаграммы Ньютона, Корнем дерева будем считать росток исходного векторного поля Vo- Пусть T/j1,... ,V^ - все ростки векторных полей в изолированных особых точках, расположенных в прямоугольниках, соответствующих ребрам диаграммы Ньютона векторного поля Vo- Поставим росткам V^1 в соответствие вершины дерева, соединим эти вершины отрезками с корнем. Далее процесс продолжается по индукции.
Построенный граф будем называть Ньютоловым деревом раздутия. Обозначим через V - множество всех вершин Ньютонова дерева раздутия. Той же буквой будем обозначать множество ростков, соответствующих этим вершинам.
7. Критерий монодромности.
Определение. Для каждой внутренней вершины с диаграммы Ньютона векторного поля V определим две величины кс и кс следующим образом. Пусть Inl- два примыкающих к этой вершине сверху и снизу ребра (или неограниченных ребра) с показателями ака(0<а<а< со.) Занумеруем целочисленные точки па ребре (или неограниченном ребре) , присваивая вершине с номер ноль. Через кс обозначим номер ближайшей к вершине с целочисленной точки, лежащей на 1% которая является точкой носителя и показатель /3 которой отличен от а. Пусть (а, Ь) - ее векторный коэффициент. Если такой точки не существует, то положим кс = со.
Аналогично, перенумеруем целочисленные точки на ребре (или неограниченном ребре) , присваивая вершине с номер ноль. Через кс обозначим номер ближайшей к вершине с целочисленной точки, лежащей на , которая является точкой носителя и показатель (3 которой отличен от показателя а. Пусть (а, 6) - ее векторный коэффициент. Если такой точки не существует, то положим кс — со.
Замечание. Поскольку показатель вершины с отличен или от а или от а, то по крайней мере одна из величин kCt кс равна нулю, а по крайней мере один из показателей Д /3 совпадает с показателем вершины с.
Для каждой внутренней вершины с диаграммы Ньютона векторного поля V Є V, которая не является самой нижней (то есть имеющей минимальную ординату) вершиной диаграммы Ньютона, и для которой кс + кс < со, определим величину vc по формуле ^с = (Ь — аа)(Ь — ста).
Теорема 1. Особая точка (0,0) аналитического векторного поля Vq является моиодромной тогда и только тогда, когда множество вершин V ее Ньютонова дерева раздутия конечно и выполняются условия диаграмма Ньютона ростка Vo имеет две граничных вершины; верхняя вершина диаграммы Ньютона любого ростка V Є V, V ф Vq, является внутренней; ее нижняя вершина является граничной; диаграмма Ньютона любого ростка V Є V, V ф V, не содержит точки (1,1); для любой внутренней вершины с диаграммы Ньютона любого ростка V Є V величина kc + кс конечна; для любой внутренней вершины диаграммы Ньютона любого ростка V Є V выполняется неравенство vc > 0; для любой внутренней вершины с диаграммы Ньютона любого ростка V Є V все величины ксп + ксп, кст + кст являются четными числами, где пг/п и т/п - несократимые дробщ равные соответствен- но а и a - показателям ребер (неограниченных ребер), примыкающих к вершине с, а < а.
Теорема 1 доказывается в главе 1.
8. Обобщенная первая фокусная величина. Монодромную особую точку будем называть сложной, если ее окрестность никаким методом раздутия особенностей не возможно превратить в окрестность замкнутой фазовой кривой, а лишь в окрестность сложного цикла -инвариантной кривой, содержащей особые точки. Преобразование моно-дромии сложной монодромной особой точки не является аналитическим ростком, а представляет из себя полу регулярное отображение ([28], [2 9]).
Преобразование монодромии монодромного сложного цикла впервые было исследовано Дюлаком [28]. Суть метода Дюлака состоит в следующем. Преобразование монодромии сложного цикла разбивается в композицию аналитических отображений и отображений соответствия для гиперболических секторов элементарных особых точек. Последние отображения как правило не являются аналитическими, а имеют более сложную структуру. В результате асимптотический ряд компози- ции этих отображений имеет вид А(х) ~ схщ + Pk(\nx)x"k, где {ук} - строго монотонно возрастающая последовательность положительных чисел, стремящаяся к бесконечности, Pk - многочлены ([28],[29]).
В [29],[10] Ю.С. Ильяшенко предложил применить метод Дюлака для решения проблемы различения центра и фокуса в случае сложной монодромной особой точки. Имеет место следующая
Теорема. При подходящем выборе траисверсали главный член асимптотики преобразования монодромии монодромной особой точки аналитического векторного поля на плоскости линеен.
Идея доказательства этой теоремы принадлежит Ю.С.Ильяшенко [10], полное доказательство опубликовано в [50]. Мы не приводим доказательство этой теоремы в настоящей работе, поскольку в каждой из теорем 2 и 4 этот факт устанавливается одновременно с формулой для коэффициента при главном члене.
Определение.[10] Пусть главный член асимптотики преобразования монодромии есть х —> сх} с > 0. Величина In с называется обобщенной первой фокусной величиной сложной монодромной особой точки.
Если обобщенная первая фокусная величина отлична от нуля, то мо- нодромная особая точка является фокусом.
Аналогами Ляпуновских фокусных величин в случае сложной моно-дромой особой точки являются величина In с и коэффициенты полиномов Р&. Алгоритм их вычисления в самом общем виде изложен в [10].
Для вычисления обобщенной первой фокусной величины использовались по крайней мере три варианта метода раздутия особенностей: полярное раздутие, с-процесс и метод диаграмм Ньютона.
В [44], [46], [51], [41] для вычисления величины In с используется о-процесс, в [14], [15], [76], [52], [57], [48] - метод диаграмм Ньютона. Случай, когда диаграмма Ньютона состоит из одного ребра, исследуется в книге [17], а также в статьях [40],[19],[20],[21],[5]. Проблема различения центра и фокуса в различных частных случаях векторных полей со сложной монодромной особой точкой исследуется в [22], [26], [63], [64], [65], [70], [82], [83], [84], [90], [91].
Каждый из упомянутых способов раздутия имеет свои достоинства и недостатки. При полярном раздутии, например, картинки после раздутия расположены на плоскости, но в формулах участвуют трансцендентные функции. При ст-процессе, наоборот, замены переменных задаются простыми формулами, но картинки расположены на двумерном неориентируемом многообразии древообразной структуры. Метод диаграмм Ньютона использует степенные замены переменных и плоские картинки, к тому же он является более быстрым, чем первые два. Однако окрестности особых точек, полученных после раздутия, склеиваются из полуокрестностей, расположенных в разных местах.
В [15],[76], [14], [16] величина In с вычислена для так называемых Г-невырожденных ростков векторных полей, которые определяются с помощью диаграммы Ньютона векторного поля в особой точке. В [52], [48] этот результат был обобщен для некоторого более широкого множества векторных полей.
В настоящей работе вычисляется величина In с для монодромной особой точки произвольного аналитического векторного поля на плоскости. А именно доказаны две формулы. В первой результат формулируется в терминах диаграмм Ньютона ростков векторных полей, получаемых в результате раздутия особенностей, связанного с диаграммами Ньютона (теорема 2, глава 1). Во второй результат формулируется в терминах кратного сг-процесса и неориентируемых многообразий, которые полу- чаются в результате этого процесса (теорема 4, добавление).
Выражение для In с как в той так и в другой формуле имеет вид линейной комбинации главных значений интегралов следующего вида +оо ytf-\ * Л
In с = 2 Шее v.p. [ ) ' \dw, 0.4) tec**» _io wFe0-> w) где суммирование ведется либо по вершинам дерева раздутия, имеющим максимальную метку либо по максимальным ребрам всех диаграмм Ньютона ростков векторных полей, возникающих в процессе раздутия. Точные формулировки соответствующих теорем требуют многочисленных определений и вместе с ними приводятся ниже (глава 1 и добавление).
Прокомментируем одну из формул. В случае формулы, использующей процесс раздутия по диаграмме Ньютона под интегралом в числителе и знаменателе стоят многочлены, определяемые по ребрам диаграммы Ньютона. Одновременно с выводом формулы для In с доказывается, что главный член преобразования монодромии линеен. Это происходит из-за того, что в композиции отображений соответствия, дающей преобразование монодромии, сингулярности вида хА, е" и им обратные в определенном смысле взаимно уничтожаются. Механизм этого взаимного уничтожения объяснен впервые в [50]. Объяснение основано на топологических свойствах "венка Мебиуса неориентируемой поверхности, получаемой при раздутии сложной монодромной особой точки. Другое объяснение этого явления дано в главе 1 в терминах диаграммы Ньютона. Оно использует так называемое "раздвоение особых точек"(1.2 гл.1).
Основной вклад в выражение для In с дают "регулярные отображения вдоль вклееных дуг". Главные члены этих отображений линейны. Логарифм произведения мультипликаторов таких отображений, соответствующих ребру , в пределе равен главному значению интеграла в формуле (0.4).
Свойство ребра диаграммы Ньютона быть максимальным связано с количеством и расположением полученных после раздутия вырожденных и невырожденных особых точек, соответствующих вершинам диаграмм Ньютона, участвующих в процессе раздутия.
Отображения соответствия для гиперболических секторов невырожденных особых точек имеют степенные главные члены. Отображения со- ответствия для гиперболических секторов вырожденных особых точек бывают двух видов: отображения соответствия К центральному многообразию (К) и отображения соответствия ОТ центрального могообра-зия (ОТ). Первое содержит сингулярность вида е"-*, второе обратно к первому.
Разложению преобразования м он одром и и в суперпозицию отображений соответствия для особых точек, а также регулярных отображений, соответствует график кусочно-линейной непрерывной функции, названной в [29] "характеристикой суперпозиции". Отображению с номером к в суперпозиции, считая справа (обозначается Д*) соответствует отрезок графика характеристики над промежутком [к — I, к] оси абсцисс. Он направлен под 45 вниз (соответственно вверх), если Д& - отображение К (соответственно ОТ). Во всех остальных случаях отрезок, соответствующий Ak, горизонтален.
Таким образом, высота, на которой находится отрезок графика характеристики, соответствующий отображению Д&, вычисляется рекур-рентно. Эта высота и есть определяемая ниже "метка ребра". Ребро с максимальной меткой называется максимальным.
Внешне предыдущее определение никак не напоминает определение 1.9 главы 1. Тем не менее, эти определения эквивалентны по следующей причине. В суперпозиции отображений соответствия, представляющей преобразование монодромии, чередуются отображения соответствия, отвечающие ребрам и вершинам всех диаграмм Ньютона, участвующим в процессе раздутия, в определенном древообразном порядке. Собственные значения элементарной особой точки, соответствующей вершине с диаграммы Ньютона, пропорциональны величинам Ъ — аа, b — аа, где (о, Ь) - векторный коэффициент вершины с, а, а - показатели примыкающих к ней ребер (неограниченных ребер). Условие Р = а или (3 = а равносильно наличию седлоузла в прямоугольнике, соответствующем вершине с. Первое из них означает, что соответствующее отображение - К центральному многообразию, а второе - ОТ него.
Все отображения, соответствующие отрезкам характеристики не максимальной высоты, не вносят вклад в мультипликатор преобразования монодромии. Действительно, при подходящем выборе начальной транс-версали все такие отображения могут быть сгруппированы в так называемые "забывающие блоки"вида /о"*1 о (axv + ...) о /0] где /о = е" (см. [29])- Как показано в [29] суперпозиция такого вида имеет линейный главный член с мультипликатором . Этот коэффициент затем сокращается с мультипликатором х/, возникающим в аналогичной суперпозиции. Этим объясняется выбор слагаемых с максимальной меткой в формуле (0.4).
Коэффициенты // в формуле (0.4) возникают при взятии суперпозиции двух отображений со взаимиообратными степенными главными членами и отображения с линейным главным членом, при этом коэффициент при линейном главном члене возводится в степень, например если хх о Сх о я* — Сіх, то In С\ = A In С
При отражении векторного поля относительно координатных осей в прямоугольнике, соответствующем ребру і его диаграммы Ньютона) оказываются определенными четыре отображения соответствия по числу отраженных векторных полей. Если ребро четное (то есть несократимая дробь, равная его угловому коэффициенту, имеет четный числитель или знаменатель), то мультипликаторы этих отображений соответствия попарно сокращаются в силу нечетности подинтегральной функции, участвующей в их выражении через интегралы. Отсюда ее — 0, если ребро четное. В случае нечетного ребра эти мультипликаторы напротив попарно совпадают, что приводит к удвоению интеграла в формуле (0.4).
Результаты главы 1 опубликованы в [53], [95], [57], [99].
Теорема о вычислении старшего коэффициента преобразования мо-нодромии, сформулированная на языке сг-процессов, доказывается в Добавлении и опубликована в [51].
9. Алгебраическая разрешимость. Пусть Wo - пространство всех ростков аналитических векторных полей с особой точкой (0,0) Є R2; Jo - пространство Ar-струй векторных полей с особой точкой (0,0), pk : Wo -ї Jq - естественная проекция. Если W - подмножество Wo, то через W^ будем обозначать множество fc-струй ростков из W. Ростки из Wo, имеющие в нуле монодромную особую точку, будем называть моподромными.
Понятие алгебраически разрешимой локальной задачи введено В.И. Арнольдом в [7]. Согласно Арнольду В.И. под задачей понимается разбиение пространства ростков И^о на классы И^о = 1)*%, где і Є /, I— некоторое множество индексов. Если например рассматривается задача об устойчивости по Ляпунову, то таких классов всего два: Si, состоящий из устойчивых ростков (то есть ростков, имеющих устойчивую особую точку) и 2, состоящий из неустойчивых ростков.
Определение. Подмножество вещественного числового пространства называется полуалгебраическим множеством, если оно является объединением конечного числа множеств, задаваемых конечным числом алгебраических уравнений и неравенств.
Определение. ([7], [10]). Задача о ростках векторных полей в особой точке (0,0) Є R2 называется алгебраически разрешимой, если для любого к существует такое разбиение пространства струй Jok на непересекающиеся полуалгебраические подмножества Jo — U Jk,i U 7^., что
1) pj;lJh,i С Sb і Є І, 2} lim codimJi = со.
Например, если речь идет о различении устойчивых и неустойчивых ростков, то все ростки, fc-струи которых принадлежат 7^,,-, одновременно либо устойчивы, либо неустойчивы.
Доказано [9], что проблема устойчивости особой точки векторного поля в R" при п > 2 не является алгебраически разрешимой.
Можно говорить об алгебраической разрешимости локальной задачи не в пространстве всех ростков Wq, а ограничиваясь некоторым его подмножеством W. Тогда п.1) определения заменяется условием WnpklJktiCS{.
Аналогично алгебраически разрешимым могут быть определены аналитически разрешимые локальные задачи; множества 7*^, J'k в этом случае должны быть полуаналитическими множествами в пространстве струй или аналитическими подмножествами множества струй ростков из рассматриваемого класса [10],[31],[29].
Обзор результатов, касающихся алгебраической и аналитической разрешимости некоторых локальных задач, приведен в [10],[31]. Известно например, что проблема устойчивости по Ляпунову и проблема топологической классификации особых точек аналитических векторных полей (в R,") не являются ни алгебраически ни аналитически разрешимыми [9],[30]. Построенные в [9],[30] примеры относятся к многомерному случаю (п > 2), В случае п = 2 границы устойчивости устроены более просто.
Множество всех могюдромных ростков обозначим буквой М.
Из теорем о раздутии особенностей (см. например [81]) следует, что проблема различения монодромных ростков и ростков с характеристической траекторией алгебраически разрешима. Более того, множество М представляет собой счетное объединение полуалгебраических множеств различных коразмерностей, состоящих из монодромных ростков.
Из тех же теорем вытекает, что проблема устойчивости по Ляпунову и проблема орбитальной топологической классификации на множестве ростков с характеристической траекторией алгебраически разрешимы.
Из результатов [10], [31],[59], [38], [1),(100] легко вывести, что в классе ростков, имеющих центр по линейным членам, а также в классе ростков, имеющих линейную часть в виде нильпотентной жордановой клетки, проблема различения центра и фокуса, а следовательно и проблема устойчивости алгебраически разрешима.
Как было обнаружено Ю.С. Ильяшенко [32], существуют множества Ма, на которых проблема различения центра и фокуса, а следовательно и проблема устойчивости не является алгебраически разрешимой. Более точно, неалгебраическая граница устойчивости была обнаружена в некотором семействе, состоящем из ростков без исключительных направлений. Тем самым проблема различения центра и фокуса не является алгебраически разрешимой на всем множестве монодромных ростков.
10. Аналитическая разрешимость.
В случае, когда проблема не является алгебраически разрешимой, было предложено (В.И.Арнольд, Ю.С.Ильяшенко) использовать понятие аналитической разрешимости [10], [31].
Определение. Подмножество V области D конечномерного пространства называется полуаналитическим подмножеством области D, если у каждой точки а Є D существует ее окрестность U в области D такая, что пересечение Vf\ U является конечным объединением множеств, задаваемых конечным числом уравнений вида / = 0 и неравенств вида g > 0, где / и g - аналитические в U функции.
Полуаиалитичсское подмножество области может не быть полуаналитическим подмножеством всего пространства. Например, множество на плоскости, задаваемое уравнением у — sin ~ ~ 0 является полуаналитическим подмножеством области х > 0 j но не является пол у аналитическим подмножеством всей плоскости.
На некотором множестве W С Wo рассмотрим бинарную локальную задачу, то есть задачу, в которой решается вопрос о принадлежности ростка к одному из двух классов Si к S2: W D SiU S2. Примеры: 1) задача об устойчивости, 2) проблема различения центра и фокуса на любом подмножестве W С М\ в этом случае S\ =" устойчивый фокус", 5г ="неустойчивый фокус".
Определение. Задача называется аналитически разрешимой в классе И7 С Wo, если для любого к существует такое разбиение некоторой окрестности Uk множества W^ в пространстве Jq па непересекающиеся полуаналитические подмножества этой окрестности Uk — Л,і U Jk,2 U J'k, что 1) W npklJk,i С Si, i = 1,2, 2) lim. codimJ'k = oo.
Множество J называется множеством нейтральных к— струй.
Заметим, что если в каждом из каких-либо двух классов задача аналитически разрешима, то отсюда вовсе не следует ее аналитическая разрешимость в объединении этих классов.
Доказано [30], что проблема устойчивости и проблема топологической классификации особых точек векторных полей в R" при п > 2 не являются аналитически разрешимыми.
Определение. Подмножество W С Wq называется полуалгебраичс-ским мнооюеством, если оно является объединением конечного числа подмножеств, задаваемых конечным числом алгебраических уравнений и неравенств на координаты iV-струи при некотором N.
11. Аналитическая разрешимость проблемы различения центра и фокуса.
Для того, чтобы сформулировать основной результат главы 2, дадим определение простейших монодромных классов, на которые разбивается все множество монодромных ростков.
Процесс раздутия, связанный с диаграммами Ньютона, подробно описан в 1.1 и состоит в следующем: окрестность нуля разбивается на секторы, соответствующие ребрам и вершинам диаграммы Ньютона; в каждом из этих секторов делается своя степенная замена переменных, которая превращает сектор в прямоугольник; в прямоугольниках, соответствующих вершинам (вершинных прямоугольниках), имеется только одна особая точка, причем элементарная. В прямоугольниках, соответствующих ребрам (реберных прямоугольниках), могут появляться особые точки, нуждающиеся в дальнейшем раздутии. В случае монодром-ной особой точки процесс продолжается до тех пор, пока в реберных прямоугольниках не перестанут появляться особые точки. Доказано, что этот процесс конечен.
Описанный процесс раздутия сопровождается построением схемы диаграмм. Изобразим диаграмму Ньютона исходного ростка. Если в прямоугольнике, соответствующем ребру данной диаграммы Ньютона, имеются особые точки векторного поля, полученного после раздутия, то занумеруем их в определенном порядке и построим диаграммы Ньютона ростков этого векторного поля в этих точках. Направим стрелку от ребра I к каждой из новых диаграмм. Далее - по индукции. Разметим построенную схему следующим образом. Каждой внутренней вершине диаграммы Ньютона поставим в соответствие ее метку. Если вершина с невырожденная, то ее метка равна 1, если вырожденная вниз, то ее метка равна 1 + кс. Если же вершина с вырождена вверх, то ее метка равна 1/(1 + кс).
Определение. Простейшим монодромным классом называется класс эквивалентности монодромных ростков: два монодромных ростка эквивалентны, если они имеют одинаковую размеченную схему диаграмм.
Из теоремы Тарского-Зайденберга следует, что простейшие моно-дромные классы являются полуалгебраическими множествами. В главе 2 доказывается, что все множество монодромных ростков М является счетным объединением простейших монодромных классов.
Примерами простейших монодромных классов являются 1) множество ростков с невещественными собственными значениями линейной части векторного поля в особой точке, 2) множество ростков без исключительных направлений с фиксированной степенью младших членов.
Основным результатом, доказанным в главах 2 и 3, является следующая
Теорема 3. Проблема различения центра и фокуса аналитически разрешима в любом простейшем моиодромном классе.
Утверждение этой теоремы означает, что множество ростков, имеющих в нуле особую точку типа центр, имеет коразмерность оо, а наличие фокуса (устойчивого или неустойчивого) может быть установлено путем вычисления конечного числа аналитических функций от тейлоровских коэффициентов ростка для всех ростков кроме тех, что принадлежат некоторому множеству бесконечной коразмерности.
Доказательство теоремы 3 состоит в реализации алгоритма исследования сложной монодромной особой точки [10] во всем простейшем монохромном классе, при этом основными моментами являются 1) утверждения об аналитической зависимости коэффициентов асимптотического разложения преобразования монодромии от коэффициентов струи на некоторых подмножествах в пространствах струй и 2) вычисление градиентов некоторых из этих коэффициентов с целью оценки ранга системы аналитических уравнений, задающей множество нейтральных струй.
Алгоритм различения устойчивого и неустойчивого фокуса состоит в сравнении асимптотического разложения преобразования монодромии А(/з) с асимптотическим разложением тождественного отображения. Если разложение Д(р) — р имеет хотя бы один ненулевой член асимптотики, то особая точка - фокус. Знак коэффициента при первом ненулевом члене дает ответ на вопрос об устойчивости.
Поскольку система координат в окрестности особой точки фиксирована, то пространство струй можно отождествить с вещественным конечномерным пространством. Координатные функции в этом пространстве будем называть коэффициентами струи. Каждый коэффициент струи соответствует моному определенной степени тейлоровского разложения векторного поля.
Рассмотрим простейший монодромный класс Mi, которому соответствует схема диаграмм, состоящая только из одной диаграммы Ньютона, имеющей ровно одно ребро, Пусть это ребро лежит на прямой ni + mj ~ к$. Через 7 обозначим множество коэффициентов струи, соответствующих мономам хгуі~1еі,хг~1у:'е2, для которых пі 4- mj = ко-{-к. Положим тг< = U 7г,-. В результате раздутия ростка класса М\ получается векторное поле, не имеющее особых точек в реберных прямоугольниках, поэтому преобразование монодромии исходной особой точки, определенное на оси абсцисс, является аналитическим ростком. Коэффициенты разложения Тейлора этого отображения могут быть вычислены путем решения уравнения в вариациях. В результате этих вычислений получаем, что преобразование монодромии Д имеет разложе- ниє вида А(р) = Cop(l + Скрк), где с* - аналитическая1 функция от
7r В общем случае преобразование монодромии исследуется с помощью метода [28], [10]. Производится раздутие особой точки, при этом окрестность особой точки заменяется цепочкой склеенных вершинных и реберных прямоугольников. Тем самым преобразование монодромии разбивается в суперпозицию отображений соответствия для гиперболических секторов особых точек, расположенных в вершинных прямоугольниках, а также отображений соответствия для частей реберных прямоугольников, которые не содержат особых точек на границе. Последние исследуются так же, как в случае одного ребра путем решения уравнений в вариациях. Для исследования отображений соответствия в вершинных прямоугольниках используется алгоритм [28] приведения к нормальной форме. Предположим, что особая точка в вершинном прямоугольнике, соответствующем вершине с, является невырожденным седлом. Именно с такими вершинами и связаны основные технические трудности доказательства. Обозначим через Ас гиперболическое отношение седла, равное минус отношению его собственных значений. Рассмотрим простейший монодромный класс Мт, которому соответствует такая размеченная схема диаграмм Т, что вершины всех составляющих ее диаграмм Ньютона, имеют метку 1, то есть соответствующие особые точки являются невырожденными седлами. Гиперболические отношения Ас этих седел являются аналитическими функциями от коэффициентов некоторой струи. Преобразование монодромии ростка класса М? имеет для любого п асимптотическое разложение вида ([10], 1 Функция называется аналитической на некотором подмножестве в пространстве J , если она аналитична в некоторой окрестности этого подмножества. [зі]) *M = <ЪР+ t ЖЬрУ* + o(p^), 0.5) где Co > 0,1 < i^i < i^2 < - < ^Jt < - —* ) -Pjfc(lnP) - многочлен от In/з, причем последовательность ^ и степени многочленов Р*(ІП>) зависят от выбора ростка, все v^, определяются через Лс, коэффициенты полиномов Pi,...,P„ определяются коэффициентами некоторой ЛГп-струи, где Nn -» со при п -> со. Разбиение пространства ІУп-струй на полуаналитические подмноже ства, участвующие в определении аналитической разрешимости, осу ществляется следующим образом. Сначала множество Mj> разбива ется на конечное число полуалгебраических подмножеств, на каждом из которых преобразование монодромии имеет разложение вида (0.5), где vk являются полиномами от Ас, степени многочленов Р&(1пр) опре деляются индексом fc, а их коэффициенты аналитичны на указанных подмножествах. Пусть X - одно из таких подмножеств. При приближе нии к границам X коэффициенты полиномов Pjt могут терять анали тичность, но таким образом, что множества их нулей остаются анали тическими подмножествами всего а не только X. Пересечение множества нейтральных Nn-струй с X задается системой аналитиче ских уравнений, которая получается в результате приравнивания со к 1 и коэффициентов полиномов Pi,..., Рп к нулю. Далее каждое из построенных подмножеств X делится на конечное число полуалгебраических подмножеств fi^, соответствующих всем ребрам I всех диаграмм Ньютона, участвующих в схеме раздутия, таким образом, что в Пг выполняется неравенство grad Р&(0) ф 0 для некоторого номера к < п, зависящего от , причем существует ненулевая частная производная Pfc(0) по такому коэффициенту Л^-струи, который не является коэффициентом iVjt-1-струи. Отсюда следует, что коразмерность множества нейтральных JVjt-струй стремится к со при к —> со. Аналитическая разрешимость в классе Мт доказана. Общий случай, когда в результате раздутия могут появляться вырожденные седла, легко сводится к только что рассмотренному. Аналитическая разрешимость проблемы различения центра и фокуса в классе ростков, имеющих диаграмму Ньютона, состоящую из одного ребра, доказана в [34], [56]. Аналитическая разрешимость проблемы раз- личення центра и фокуса в классе ростков, имеющих диаграмму Ньютона, состоящую из двух ребер с показателями 1 и 2, и невырожденную особую точку, полученную после двух раздутий, доказана в [96]. Тот же результат для класса ростков, имеющих диаграмму Ньютона, состоящую из двух ребер, и вырожденную особую точку в прямоугольнике, соответствующем соединяющей их вершине, получен в [54]. Заметим, что из аналитической разрешимости в каждом из двух полуалгебраических множеств вовсе не следует аналитическая разрешимость в их объединении, поскольку полуаналитическое подмножество одного из полуалгебраических подмножеств может не быть полуаналитическим множеством объединения (см. пример в п. 10 введения). Вопрос о поведении границ устойчивости при приближении к границам классов монодромных ростков не исследован даже в случае множества ростков без исключительных направлений. 12. Второй член асимптотики преобразования монодромии. Определение. Пусть - ребро диаграммы Ньютона, имеющее показатель т/п, где т/п - несократимая дробь. Ребро называется нечетным, если тип- нечетные числа и четным, если одно из m и п -четно. В статье [15] вычислена обобщенная первая фокусная величина In с для Г - невырожденных векторных полей, где Г - диаграмма Ньютона. Однако, оказалось, что если все ребра диаграммы Ньютона Г четные, то In с = 0 на всем пространстве ростков с диаграммой Ньютона Г, то есть преобразование монодромии в этом случае имеет асимптотику Д(р) = Р+о(р), а значит невозможно получить достаточное условия фокуса с помощью главного члена асимптотики, а также построить первую границу устойчивости в классе ростков с данной диаграммой Ньютона, Во второй части добавления рассматриваются векторные поля класса М^Г), имеющие диаграмму Ньютона Г, состоящую из двух четных ребер. Точное определение рассматриваемого класса дается в главе 2. При некоторых дополнительных ограничениях для ростков этого класса вычисляется второй член асимптотики преобразования монодромии. Пусть диаграмма Ньютона Г состоит из двух ребер I и І. Пусть а ~ т/п ~ показатель ребра t т/п - несократимая дробь, а = т/п -показатель ребра , т/п - несократимая дробь, а > а. Пусть векторное поле класса М^(Г) задает систему (0.1). Члены ряда Тейлора правой части системы (0.1) сгруппируем таким образом, что Х{х,у) = Хк(х,у), Y(x,y) = Е Yk{x,y), (0.6) к=0 fc—О где Xk(x, у) и Yk(x,y) - квазиоднородные полиномы степени к + ко с весами пит переменных х и у соответственно, ко > 0. Обозначим FA(:r,у) = Ук(х, у) - &Хк(х, у). Во второй части Добавления доказана следующая Теорема 5. Пусть V - векторное поле класса М^ІТ), оба ребра диаграммы Ньютона Г четные, [Aq, Во) - векторный коэффициент вершины диаграммы Г, соединяющий ребра tut. Пусть кроме того, выполняются следущие условия 1) ^ = в~-аА > 1; ^ ~ иррациональное число; 2) (Ва-&А0) < г — тп — пт > 1, in - четное число. Тогда преобразование монодромии особой точки (0,0) векторного поля V, определенное на оси х, имеет ( быть может после обращения времени и при подходящем выборе параметра ) асимптотику вида Д(/>) = р(1 + ^2Р" + «(р»)), P-J-0, где в случае п — 1 +0 /*o(l,T)dr Фі(1,Є)е« di nyFo{x,y) nyFQ2(x,y) В случае п > 1 і*2 = 0. Если і*2 ф 0, то особая точка - фокус. Результат второй части Добавления опубликован в [93],[94]. * * * Результаты работы докладывались на следующих научных мероприятиях: 1) Международный Конгресс Математиков, г.Цюрих, Швейцария, 1-11 августа 1994 года. 2) Симпозиум "Особенности дифференциальных уравнений и пфаффовых систем", г.Варшава, Польша, Международный математический центр Стефана Банаха, 1-19 октября 1995 года. 3) Международная конференция Deterministic and stochastic modelling of biointeraktion (DESTIBIO'97) (г.София, Болгария, 27-31 августа 1997го-да.) 4) International Conference dedicated to the 90th Anniversary of L.S. Pontryagin, Moscow, RUSSIA, August,31,- Seprember,6, 1998. 5) Международная научная конференция "Дифференциальные и интегральные уравнения1',22-2С июня 1999г., Челябинск. 6) Sixth Colloquium on the Qualitative Theory of Differential Equations. August 10-14, 1999, Szeged, Hungary 7) The Third International Conference "Differential equations and applications", June 12-17 2000, Saint Peterburg. 8) International Conference on Differential and Functional Differential Equations, August 11-17, 2002, Moscow. 9) Международная конференция Hilbert's Sixteenth and Related Problems in Dynamics, Geometry and Analysis. In honor of 60-th anniversary of Yu. S. Ilyashenko. The Independent University of Moscow. December 26-29, 2003. 10) Международная конференция им. И.Г.Петровского. Москва, МГУ. 16-22 мая 2004 г. Исследования были поддержаны грантами: Долгосрочные гранты международного научного фонда М98000( 1994-1995), М98300(199б); гранты международного фонда гражданских исследований CRDFRM-1-229 (1997), RM-1-2086 (2000), 1-2358-МО-02(2002-2003); гранты РФФИ 97-01-10857(1997), 98-01-00821(1998), 99-01-00821 (1999), 99-01-10749 (1999), 00-01-00745(2000-2002), 03-01-00270(2003-2004); гранты ISSEP 702d (1997), d9S-1294 (1998), d99-411 (1999). Автор выражает свого искреннюю благодарность Ю.С.Ильяшенко за постановку задач и внимание к работе, Ю.С.Ильяшенко, С.М.Воронину, А.А.Соловьеву, В.И.Ушакову, В.Н.Ушакову за внимание к работе и полезные обсуждения. По данному ростку векторного поля VQ с вещественно-изолированной особой точкой (0,0) построим граф, который является деревом, следующим образом. Вершинам дерева поставим в соответствие ростки векторных полей в особых точках, которые получаются в процессе раздутия вдоль ребер диаграммы Ньютона. Корнем дерева будем считать росток исходного векторного поля VQ. Пусть Vi,...,V - все ростки векторных полей в изолированных особых точках, появившихся в результате раздутия вдоль всех ребер диаграммы Ньютона векторного поля VQ. Поставим росткам J/-1 в соответствие вершины дерева, соединим эти вершины отрезками с корнем. Далее процесс продолжается по индукции и завершается в соответствием с соглашением, принятым в предыдущем пункте. Построенный граф будем называть Ньютоновым деревом раздутия. Обозначим через V - множество всех вершин Ньютонова дерева раздутия. Той же буквой будем обозначать множество ростков, соответствующих этим вершинам. Для каждой внутренней вершины с диаграммы Ньютона были определены величины кс, кс, ис в 7 Введения. Ниже в 1.6-1.8 доказывается следующая Теорема 1 Особая точка (0,0) аналитического векторного поля Vo является монодромной тогда и только тогда, когда множество вер-шип V ее Ньютонова дерева раздутия конечно и выполняются условия 1) диаграмма Ньютона ростка VQ имеет две граничных вершины; 2) верхняя вершина диаграммы Ньютона любого ростка V Є V, V ф Vo, является внутренней; ее нижняя вершина является граничной; 3) диаграмма Ньютона любого ростка V Є V, V ф VQ, не содержит точки (1,1); 4) для любой внутренней вершины с диаграммы Ньютона любого ростка V Є V величина kc + кс конечна; 5) для любой внутренней вершины диаграммы Ньютона любого ростка V Є V выполняется неравенство vc 0; 6) для любой внутренней вершины с диаграммы Ньютона любого ростка V Є V все величины kcn + ксп, кст + кст являются четными числами, где т/п и т/п - несократимые дроби, равные соответственно а и а - показателям ребер (неограниченных ребер), примыкающих к вершине с, а а. Прежде, чем приступить к доказательству этой теоремы, приведем пример ее применения. Рассмотрим семейство векторных полей Vo зависящее от шести параметров, носитель и диаграмма Ньютона которого изображены па рис.4а. Потребуем выполнения условий Особые точки в прямоугольниках Р , і = 1,2, соответствуют положительным корням многочленов Р (±1, ±ги). Условие (1.6) означает, что в прямоугольнике Ptx, соответствующем ребру 1\ с показателем ai = 3 нет особых точек. Из условий (1.7) и (1.8) следует, что многочлены F2(l,w) и F 2{—1, —w) имеют двукратный положительный корень WQ = -, а значит в прямоугольнике Pg2 имеется общая особая точка векторных полей После замены переменных х = z3y = zw в (1.5), соответствующей ребру сделаем сдвиг w = w WQ И переобозначим у — w,x = z. Получим векторное поле Носитель и диаграмма Ньютона векторного поля (1.11) изображены на рисунке 4Ь, где обозначено Многочлен Fi (x,y), соответствующий единственному ребру диаграммы Ньютона ростка (1.11), равен Из условий (1.8) и (1.9) следует, что многочлены І (±1, ±го) не имеют вещественных корней, а значит в прямоугольнике, соответствующем единственному ребру диаграммы Ньютона ростка (1.11), нет особых точек. Процесс раздутия завершен. Ньютоново дерево раздутия в нашем примере содержит две вершины: Vo и V\, Из рисунка 4 видно, что условия 1) - 3) теоремы 1 выполняются. В силу условий (1.7),( 1.8) величина / отлична от нуля. Поскольку показатель /5 вершины с равен (3 = = со, то /3 отличен от показателей ребер 1\ и 1ч. Следовательно кс = кс = 0. Поскольку показатель (3 вершины с равен /? = — — 1, то /? отлично от показателя ребра , равного 1 и показателя неограниченного ребра, равного 0, поэтому кс кс = 0. Таким образом, условия 4), 6) теоремы 1 выполняются. Далее ис = /2 0, ис = 2С2 0, следовательно, условие 5) теоремы 1 тоже выполняется. Итак, по теореме 1 из условий (1.6)-(1.9) следует, что особая точка (0,0) векторного поля (1.5) монодромна. 1.6 Раздутие в секторах, соответствующих ребрам и вершинам. Пусть имеется векторное поле V с диаграммой Ньютона Г. Предложение 1.4 [15J Пусть I - ребро диаграммы Ньютона Г. Тогда векторное поле Vi имеет вид z{w Xe{l, ад) + z2X {z, in)) j + nFl{l, w) + zF {z, ад) (1.12) где X (z,w) и F (zjw) - аналитические функции в окрестности прямоугольника Pt Предложение 1.5 Пусть для некоторого ребра і диаграммы Ньютона Г Fe 0. Тогда внутри каждого квадранта плоскости (х, у) существует бесконечное количество характеристических траекторий, входящих в особую точку (0,0) векторного поля V. Доказательство. Поделим (1.12) на z. Получим векторное поле, которое трансверсально оси w в прямоугольнике Pi во всех точках кроме быть может конечного числа. Образы трансверсальных траекторий при отображении, обратном раздутию вдоль ребра , входят в точку (х, у) = (0, 0) оставаясь внутри сектора -. Заметим далее, что если Fe 0, то Fe x 0, Fi,v 0, Fe,xy = 0. Это означает, что и в каждом из остальных квадрантов имеется пучок траекторий, входящих в точку (,3/) = (0,0). Предложение 1.6 Пусть нижняя вершина с диаграммы Ньютона векторного поля V является граничной. Тогда векторное поле Уея) где - ниоюнее ребро диаграммы Ньютона Г, имеет вид zZ (z, ю) + (Я + W (zt ад)) А (1.13) где В ф 0, Z {z,w) и W (z,w) - аналитические функции в окрестности прямоугольника Р . Доказательство. Так как с - граничная вершина, то ее векторный коэффициент имеет вид (0,5), где В ф 0, а значит і (1,0) — В ф 0. Далее утверждение следует из формулы (1.12). Аналогично предложению 1.6 доказывается Предложение 1.7 Пусть верхняя вершина с диаграммы Ньютона векторного поля V является граничной. Тогда векторное поле Vc имеет вид Для каждого максимального ростка V Є Vmax определим пару отображений соответствия Ау и Ау следующим образом. Рассмотрим вершину диаграммы Ньютона ростка V, которая является верхним концом самого верхнего максимального ребра диаграммы Ньютона ростка V. Этой вершине соответствуют отображения Si — 64, определенные в 1.13. Пусть 6[ - отображение, которое в суперпозиции (1.21) идет вслед за 6\, 6 2 - отображение, которое в этой суперпозиции предшествует #2- Отображение Ау определим как суперпозицию, которая является частью суперпозиции (1.21), начинающейся с 5[ и заканчивающейся 5f2: является вершина V и которое не содержит корень дерева раздутия VQ. вершин этого дерева обозначим Vy, Су - множество всех ребер всех диаграмм Ньютона из Vy. Множество диаграмм Ньютона ростков из Vy обозначим Vy. Множество максимальных ростков из Vy обозначим Vyax. Через Суах множество максимальных ребер диаграммы Ньютона ростка V и максимальных ребер, следующих за всеми ребрами диаграммы Ньютона ростка V, лежащими не выше ее верхнего максимального ребра. В 1.9 было дано определение набора ребер С(), соответствующего ребру і Є С. Аналогично, если зафиксировать росток V, можно определить для ребра і Є Су набор ребер Ly(i), соответствующий ребру І, относительно вершины V Ньютонова дерева раздутия. Он является частью набора L{). Величину $ определим формулой (1.20) по последовательности Ly(Jt). Лемма 1.4 Отображения Ау и Д для максимального ростка V имеют линейные главные члены; произведение коэффициентов ку и к,у при этих главных членах равно где Ху - произведение индексов максимальных вершин, лсоїсащих выше самого верхнего максимального ребра диаграммы Ньютона ростка V. Если множество, по которому берется произведение, пусто, то произведение полагается равным 1. Замечание. Максимальных вершин, лежащих выше самого верхнего максимального ребра диаграммы Ньютона ростка V Є Vma:c, может быть одна или две: это верхняя вершина самого верхнего максимального ребра, а также верхняя вершина диаграммы Ньютона, если вертикальное неограниченное ребро максимально. Эти две вершины могут совпадать. В следующих двух пунктах доказывается Лемма 1.4. Приведем некоторые утверждения о композициях отображений соответствия, которые понадобятся нам ниже. Предложение 1.17 (J29],c.57) Если tp{x) = cxv(l + o(l)), v 0, то /о"1 о ip о f0{x) = (1 + оЦ(1). Простое вычисление показывает, что справедливо Предложение 1.18 Если отображения huh имеют одинаковые главные члены Cxv, а (р(х) = кх(Х + ох(1)), то hotpo /і-1 имеет линейный главный член кґх, a h x о ip о h - главный член к»х. Пусть V Є Vmax. Рассмотрим отрезок диаграммы Ньютона ростка V от самой нижней вершины до самой верхней максимальной вершины. Эту часть диаграммы Ньютона можно разделить на чередующиеся максимальные и немаксимальные фрагменты, содержащие соответственно максимальные и немаксимальные ребра. Вершину, соединяющую максимальный и немаксимальный фрагмент, отнесем к немаксимальному фрагменту. Для каждого немаксимального фрагмента диаграммы Ньютона определим четыре суперпозиции отображений соответствия следующим образом. Пусть с и с- нижняя и верхняя вершины немаксимального фрагмента и пусть 61 — 6% и 8\ — 6% четверки отображений соответствия, отвечающих данным вершинам. Данному немаксимальному фрагменту поставим в соответствие следующие четыре суперпозиции отображений соответствия, которые являются частями суперпозиции (1.21): Аналогично для каждого максимального ребра диаграммы Ньютона ростка V Є V определим четыре суперпозиции отображений соответствия //, і = 1,..., 4, не включая в суперпозиции отображения соответствия, отвечающие концам максимального ребра (см. рис. 6). Слова „верхний" , „нижний", „выше", „ниже" по отношению к вершинам и ребрам диаграммы Ньютна будут означать „с большей" или „меньшей ординатой". Определения. 1. Скажем, что росток W Є V следует за -ребром I диаграммы Ньютона ростка V Є V, если существует росток W Є Vv, определенный в окрестности особой точки, полученной в результате раздутия вдоль ребра Ы такой, что W Є Vw 2. Скажем, что росток W следует за максимальным ростком W\, если Wi следует за каким-либо ребром диаграммы Ньютона ростка W\, которое находится не ниже самого нижнего максимального ребра диаграммы Ньютона ростка W\. 3. Скажем, что росток W непосредственно следует за ростком V, если W Є Vy и ростки V и W соединены ребром в дереве раздутия. Предлолсение 1.19 Предположим, что отображения соответствия Aw и A v для любого максимального ростка W, следующего за любым ребром данного немаксимального промежутка диаграммы Ньютона ростка V Є V, имеют линейные главные члены с коэффициентами К\У U Кцг. а) Если нижняя вершина иемаксимального промеоісутка является внутренней и (fi(x) = (1 + 0 (1)), І = 1,2, то обе суперпозиции /2 о ірі о fi, /4 о (р2 о /з где /і — /4 - суперпозиции, отвечающие данно му немаксимальному промежутку, имеют линейные главные члены, произведение коэфициентов которых равно где Ag и Лс - индексы нижней и верхней вершин рассматриваемого немаксимального промежутка. Величина Ацг определена в формулировке леммы 1.4- Произведение берется по всем максимальным росткам W Vy ах, следующим за всеми ребрами данного немаксимального промеоісутка и таким, что ни один из них не следует за другим. Если мнооїсество, по которому берется произведение, пусто, то произведем ние полагается равным 1. б) Если ниоюняя вершина немаксимального промеокутка является граничной, то . Тогда обе суперпозиции f2fi, /40/з имеют линейные главные члены, произведение коэфициеитов которых равно Определение. Пусть диаграмма Ньютона Г состоит из двух ребер і и і и имеет по одной вершине на каждой координатной оси. Множество всех монодромных ростков с диаграммой Ньютона Г, для которых ребра і и I невырождены и их общая вершина с тоже невырождена, будем обозначать М(Г). Согласно [15] множество М (Г) непусто, если и только если ребра и имеют четные проекции на координатные оси. Под „коэффициентами струи" в данном пункте будем подразумевать коэффициенты струи, связанные с диаграммой Г (см. 2.1), то есть #г-Для каждого из ребер і и і рассмотрим разложение правой части системы (2.1) на квазиоднородные полиномы Х%, Х как в 2.3. Для каждого из ребер I и ё будем использовать обозначения, введенные в 2.3. Для данных натуральных г и s рассмотрим следующие множества рациональных чисел Из [15], а также из теоремы 1 следует, что в классе М (Г) выполняется неравенство 0 Л со. Рассмотрим преобразование монодромии Д ростка класса М Г), определенное на оси у. Лемма 2.2 Для любых натуральных чисел г и s преобразование монодромии А при подходящем выборе параметра на оси у имеет при А Лиг разложение вида где Co 0 аналитически зависит на мнооїсестве М ІТ) от TTQUTTQ при условии А 0; Я = min(r, sX), коэффициент разложения (2.11) при I+jA(i 0, j 0) аналитически зависит от 7г U 7г ,- при условиях & Л иг, z + j A Я/ коэффициенты Р і І начиная с некоторого номера имеют вид где т)1 - линейная функция от Х, Ff;; т/ - линейная функция от Х[, F[. При этом если для некоторого к 0 и некоторых натуральных нечет-них г, j таких, что пг + mj = к, выполняются условия то при Xf: — X FQ, Ff: = О выполняется неравенство rjf. ф О. .Если длл некоторого к О и некоторые натуральных нечетных г, j таких, что пг 4- т; = А;, выполняются условия то при Х = xlyiF, F — 0 выполняется неравенство 7/ 0. .Если р/д - положительное рациональное число, то произведение любого коэффициента разложения (2.11) на некоторую степень \—p/q аналитически продолэ/сается на множество {Л = p/q}. Если p/q Є Л №, то преобразование моподромии Д() имеет при A = р/д разложение вида (2.11), коэффициент которого при t+Aj л з-ляется полиномом от 1п., степень которого определяется индексами (i,j) и чьи коэффициенты аналитически зависят от 7Г U 7г у при условии A = p/qr и при фиксированных є и 5, где є 0и6 0-малые параметры, от которых зависят границы секторов, соответствующих ребрам и вершинам диаграммы Ньютона. Свободные члены многочленов Pj-, Pj: начиная с некоторого номера имеют представление (2.12), причем выполняются неравенства Ит ц\ ф 0, lira rfk ф О при тех ОІСЄ условиях, что и выше, но к (2.13) следует добавить условие Kc(q/p) к оо; а к (2.14) - условие 0 к кс{я/р) Доказательство. Рассмотрим случай, когда траектории движутся вокруг нуля в отрицательном направлении. Процесс раздутия особенности, связанный с диаграммой Ньютона, описан в 1.1. В случае двух ребер окрестность нуля в первом квадранте разбивается на секторы 5, Sgj 5С, 1 соответствующие верхней вершине, верхнему ребру , внутренней вершине с, нижнему ребру І. В прямоугольнике Pi возьмем т = 1. Склейка параметров z и z на сторонах « = 1игу = 1в прямоугольниках Р и Pi тождественна. Как уже отмечалось, из теоремы 1 следует, что в классе М (Г) вы полняется неравенство А 0. Напомним, что вершине с диаграммы Ньютона Г была поставлена в соответствие степенная замена с матри линейной части векторного поля VCi полученного в результате раздутия с центром в вершине с, в особой точке (u,v) = (0,0), получается из векторного коэффициента вершины с с помощью преобразования CJ1. Отсюда минус отношение этих собственных значений как раз равно А, а значит особая точка (u,v) = (0,0) является невырожденным седлом. Из условия невырожденности обоих ребер следует, что особых точек в прямоугольниках Ре и Р нет. Отсюда следует, что определено расширенное отображение соответствия F, переводящее отрезок w = 0 в прямоугольнике Р в границу w = 0 прямоугольника Р Аналогичные отображения для отраженных векторных полей обозначим буквой F с соответствующим индексом вверху (они определены, поскольку для отраженных векторных полей величина А та же самая, что и для исходного векторного поля). Преобразование монодромии Д() определенное на оси t/, где за параметр берется = у, раскладывается в суперпозицию Отображения, составляющие эту суперпозицию, изучаются в леммах 3.9, 3.10, доказанных в главе 3. Из этих лемм следует, что преобразование монодромии Д(), имеет при A . Л иг разложение вида (2.11), свойства коэффициентов PJ , Р[ которого такие же, как свойства коэффициентов 7І)7І разложений из леммы 3.9, поскольку при взятии суперпозиции k-biG коэффициенты, соответствующие тому или иному ребру, складываются будучи умноженными на положительные величины, зависящие от TTQ U ТТ$ плюс добавка вида r fc. Из леммы 3.10 следует, что на множестве {А = н} преобразование монодромии Д() также имеет разложение вида (2.11), где коэффициент при t+Aj является полиномом от In , степень которого определяется индексами г, j, а коэффициенты аналитически зависят от 7Г , U тг при условии A = p/q и фиксированных є и 8\ при этом Р{0) = + + r fc, где 7о, T?fe, - как в формулировке леммы 3.10. Обозначая rjl Ч- гек через Рассмотрим уравнение (3.1) в окрестности \х\ є єо(0), \у\ 5 SQ(9) точки (ж,у) (0,0), в которой отлична от нуля функци Л иг = AsUr П (j, г) U {j}. Лемма 3.3 Если для данных натуральных г и s выполняется неравенство А $ А иг, то отображение соответствия у = tm(x) имеет разложение следующего вида (3.39) R = min(r, As), старший коэффициент которого аналитически зависит от LQ U MQ при условии А 0 и фиксированных є и 5. Коэффициент разложения (3.39) при xl+ ,i,j 0, аналитически зависит от M iUL j при условиях А A UrJ -fAj R, и при фиксированных є и 5, причем еслир/q А иг, то существует целое v 0 такое, что произведение этого коэффициента па (А — p/q)u аналитически зависит от тех otce коэффициентов струи при условиях А Є A Ur U {p/q}, і + Xj R, и при фиксированных є и S. Лемма 3.4 Если для данных натуральных г и s выполняется неравенство А A Ur, то отображение соответствия х = tm l(y) имеет разложение следующего вида причем старший коэффициент и коэффициент при у +3 в этом разложении имеют те же свойства, что и старший коэффициент и коэффициент при хіХ+і в формулировке леммы 3.3. Доказательство лемм 3.3 и 3.4. Разделим уравнение (3.1) на Ai + а1. Получим уравнение (3.3), отображение соответствия для которого совпадает с tm{x). Уравнение (3.3) для любых натуральных г и s согласно лемме 3.1 может при А AsUr быть приведено к виду (3.4) с помощью замены переменных v — К(х,у), свойства которой описаны в формулировке леммы 3.1. Согласно ([28], с.39-43) существуют Єо(0) 0» fy(#) 0 такие, что уравнение (3.4) при А r/s, 0 х є єо(в), \v\ SQ(6) имеет первый интеграл вида Если в (3,41) положить v — К(х,у), то получится первый интеграл FQ уравнения (3.3): где G (e, у) = 0. Подставляя х — є в (3.42) получим с учетом леммы 3.1, что Я»(є, у) = єхК(є, у) = еху (ЕЙ lk(e)yk + ysG (y)), где lk{e) = h(e,L k) = Pk[s) Функцию F(x7y) определим соотношением Тогда F - первый интеграл уравнения (3.3), удовлетворяющий условию F\x= = у. Выразим F через FQ ИЗ (3.43), Непосредственно доказывается Предложение 3.4 Если u существует обратное отображение х — х(у), то где Do = BQ А, D{j = —(-Xі + B ij)Bo , B ij многочлен с рациональными я Ai -f а1. В первом квадранте плоскости (х,у) рассмотрим кривые Ь\ — {у = 5, 0 х є}, І2 = {х — є, 0 у 5} с параметрами х т у соответственно. Через Ї/ = tm(x) обозначим отображение соответствия tm : L\ — 2 вдоль интегральных кривых уравнения (3.1). Оно зависит от 9 и є, 6 при 0 є єо(0) 0 6Q(0). Обозначения. 1) Везде ниже через Pk(s) ( п( ) соответственно) будем обозначать любую ( в каждом случае свою) функцию от L k и є (М п и 6 соответственно), которая обладает свойством Bk (В п соответственно.) Напомним, что было определено Л иг = AsUr П (j, г) U {j}. Лемма 3.3 Если для данных натуральных г и s выполняется неравенство А $ А иг, то отображение соответствия у = tm(x) имеет разложение следующего вида (3.39) R = min(r, As), старший коэффициент которого аналитически зависит от LQ U MQ при условии А 0 и фиксированных є и 5. Коэффициент разложения (3.39) при xl+ ,i,j 0, аналитически зависит от M iUL j при условиях А A UrJ -fAj R, и при фиксированных є и 5, причем еслир/q А иг, то существует целое v 0 такое, что произведение этого коэффициента па (А — p/q)u аналитически зависит от тех otce коэффициентов струи при условиях А Є A Ur U {p/q}, і + Xj R, и при фиксированных є и S. Лемма 3.4 Если для данных натуральных г и s выполняется неравенство А A Ur, то отображение соответствия х = tm l(y) имеет разложение следующего вида причем старший коэффициент и коэффициент при у +3 в этом разложении имеют те же свойства, что и старший коэффициент и коэффициент при хіХ+і в формулировке леммы 3.3. Доказательство лемм 3.3 и 3.4. Разделим уравнение (3.1) на Ai + а1. Получим уравнение (3.3), отображение соответствия для которого совпадает с tm{x). Уравнение (3.3) для любых натуральных г и s согласно лемме 3.1 может при А AsUr быть приведено к виду (3.4) с помощью замены переменных v — К(х,у), свойства которой описаны в формулировке леммы 3.1. Согласно ([28], с.39-43) существуют Єо(0) 0» fy(#) 0 такие, что уравнение (3.4) при А r/s, 0 х є єо(в), \v\ SQ(6) имеет первый интеграл вида Если в (3,41) положить v — К(х,у), то получится первый интеграл FQ уравнения (3.3): где G (e, у) = 0. Подставляя х — є в (3.42) получим с учетом леммы 3.1, что Я»(є, у) = єхК(є, у) = еху (ЕЙ lk(e)yk + ysG (y)), где lk{e) = h(e,L k) = Pk[s) Функцию F(x7y) определим соотношением Тогда F - первый интеграл уравнения (3.3), удовлетворяющий условию F\x= = у. Выразим F через FQ ИЗ (3.43), Непосредственно доказывается Предложение 3.4 Если u существует обратное отображение х — х(у), то где Do = BQ А, D{j = —(-Xі + B ij)Bo , B ij многочлен с рациональными коэффициентами от 1/А и Ви при k i,l j.Критерий монодромности
Отображения соответствия для максимальной линии схемы раздутия
Случай двух ребер и невырожденной вершины
Отображение соответствия в окрестности невырожденного седла
Похожие диссертации на Устойчивость монодромных особых точек векторных полей на плоскости
