CC BY
16Математические заметки СВФУ Октябрь—декабрь, 2015. Том 22, № 4
УДК 517.9
ФОРМАЛЬНАЯ КЛАССИФИКАЦИЯ ТИПИЧНЫХ РОСТКОВ ПОЛУГИПЕРБОЛИЧЕСКИХ ОТОБРАЖЕНИЙ П. А. Ш^айхуллина
Аннотация. Рассматриваются ростки полугиперболических отображений, т. е. двумерных голоморфных отображений, один из мультипликаторов которых параболический, а другой — гиперболический. Получена формальная классификация типичных полугиперболических ростков и доказана теорема о полуформальной нормализации.
Ключевые слова: полугиперболический росток, формальная классификация, полуформальная нормализация.
Shaikhullina P. A. Formal normalization of generic germs for semihyper-bolic maps.
Abstract: The subject of research are germs of semihyperbolic maps, i. e. of two-dimensional maps such that one of its multiplier is parabolic and another one is hyperbolic. A formal classification of generic semihyperbolic germs is obtained and a theorem on semihyperbolic normalization is proved.
Keywords: semihyperbolic germ, formal classification, semiformal normalization.
Введение
Задача об аналитической классификации ростков векторных полей (отображений) была поставлена в работах Пуанкаре [1—4]. Ее вариантом является так называемая задача о нормализации, т. е. о приведении ростка аналитической заменой координат к простейшему виду — нормальной форме. Обе эти задачи были решены, в основном, в работах Пуанкаре [1—5], Зигеля [6] и Брюно [7]. Неисследованными оставались лишь ростки типа Зигеля при наличии резонан-сов или патологической близости к резонансам [8]. В 1980-е гг. существенные продвижения были получены и для этих «особых» случаев в работах Йокко-за [9] для «лиувиллевых» ростков, в работах С. М. Воронина [10], Экаля [11], Мартине и Рамиса [12,13] — для резонансных. Оказалось, что в резонансном случае препятствием к нормализации ростка являются так называемые «функциональные инварианты». Более того, они же содержат полную информацию об «аналитическом» типе ростка.
Функциональные инварианты аналитической классификации были изначально построены для ростков параболических отображений (одномерных го-ломорфизмов, касательных к тождественному) [10,11,14], для резонансных сед-ловых [14] и седлоузловых [15] ростков векторных полей. В дальнейшем функ-
© 2015 Шайхуллина П. А.
циональные инварианты были обнаружены во многих других задачах аналитической классификации [16-19].
Одним из способов построения функциональных инвариантов является следующий. Проколотая окрестность неподвижной (особой) точки покрывается секториальными областями. На каждой из них строится аналитическая замена координат, нормализующая росток. Функции перехода полученного «нормализующего» атласа и доставляют искомые функциональные инварианты. Поэтому задача о секториальной нормализации, т. е. задача о нормализации ростка на области, для которой неподвижная (особая) точка является не внутренней, а граничной — первый и важнейший этап решения задачи об аналитической классификации резонансных ростков.
Как отмечено выше, такую секториальную нормализацию удалось провести для одномерных резонансных отображений, седловых и седлоузловых резонансных векторных полей. Следующими по сложности являются двумерные отображения и трехмерные векторные поля.
Ростки двумерных отображений и трехмерных векторных полей (при чрезвычайно сильных ограничениях, выделяющих в пространстве ростков подмножества коразмерности бесконечность) рассматривались в [20], для таких ростков намеченная выше программа была реализована полностью. Однако для типичных резонансных случаев сделано пока мало. Единственные, по-видимому, к настоящему моменту результаты о нормализации получены для так называемых полугиперболических ростков, т. е. ростков двумерных отображений, один из мультипликаторов которых гиперболический (по модулю не равен 0 или 1), а второй параболический (равен 1). А именно, в [15] доказана теорема о секториальной нормализации ростков для класса формальной эквивалентности одного конкретного полугиперболического ростка. В дальнейшем предполагалось из функций перехода построенного нормализующего атласа изготовить функциональные инварианты аналитической классификации ростков рассмотренного класса. Следует отметить, что рассмотренный в [15] класс состоял из ростков, струи которых (достаточно высокого порядка) были нормализованы во всех точках их инвариантного гиперболического подмногообразия. Наличие такой «предварительной» нормализации было существенным для построения секториальных нормализующих отображений. Однако возможность такой предварительной нормализации не является прямым следствием формальной приводимости ростка к его нормальной форме.
Частные результаты для ростков полугиперболических отображений о существовании голоморфного («секториального») центрального многообразия получены в работах [21, 22].
В настоящей работе рассматриваются типичные полугиперболические ростки. В перспективе планируется получить их аналитическую классификацию по указанному выше плану. Здесь же в качестве первого шага, необходимого для построения секториальной нормализации, будет получена их формальная классификация и «предварительная» нормализуемость.
§ 1. Классы ростков Ж и Ж 0 • Теорема о формальной классификации
Определение 1. Росток голоморфизма Р : (С2, 0) ^ (С2, 0) будем называть полугиперболическим, если один его мультипликатор равен 1, а другой — гиперболический:
Р(ж, у) = (х + ... ,Ау + ...), где |Л| = 0,1. Полугиперболический росток будем называть типичным, если в разложении
Р(х, у) = (х + сж2 + .. ., Лу + ...) постоянная с не равна нулю.
Класс типичных полугиперболических диффеоморфизмов будем обозначать через ^Ж. Заметим, что росток Р € ^Ж имеет инвариантное аналитическое подмногообразие, соответствующее гиперболическому мультипликатору (теорема Адамара — Перрона [23]). Его можно выпрямить голоморфной заменой координат. Поэтому без ограничения общности можно считать, что это инвариантное подмногообразие является прямой {ж = 0}. Класс ростков Р € 5?Ж, инвариантное многообразие которых совпадает с прямой {ж = 0}, будем обозначать через Ж0.
Заметим, что росток класса 5?Жо резонансный. По теореме Пуанкаре — Дюлака [8] формальной заменой координат такой росток можно привести к виду
(х,У) ^ (/(х),Ук(х)). Однако такие ростки допускают и дальнейшую нормализацию. А именно, первая компонента х ^ /(х) является параболическим отображением. Формальная классификация параболических ростков хорошо известна [10]: в типичном случае класс формальной эквивалентности такого ростка определяется одним числовым модулем. Удобно использовать в качестве формальной нормальной формы параболического ростка сдвиг за единичное время д\ вдоль векторного поля
, , х2 д „
= —;-ТГ; а € С.
1 + ах дх
Далее, имеется известная параллельность результатов по классификации отображений и векторных полей. Формальная классификация векторных полей с особой точкой типа седлоузел в двумерном случае получена в [17]. Для типичных векторных полей с такой особой точкой (сдвиг за единичное время вдоль такого векторного поля как раз и есть полугиперболическое отображение) формальная классификация имеет три числовых параметра. Так что в качестве формальной нормальной формы (ФНФ) для типичных полугиперболических отображений можно было бы взять сдвиги за единичное время вдоль ФНФ сед-лоузловых векторных полей из [17]. Однако для наших целей будет удобно использовать другие ФНФ, которые, впрочем, также будут зависеть от трех
параметров. Кроме того, для того чтобы формальную классификацию ростков полугиперболических отображений получить из классификации седлоузловых векторных полей, надо доказать теорему о формальном включении ростков полугиперболических отображений в поток, что само по себе нетривиально.
Кроме того, как отмечалось выше, для дальнейших исследований полугиперболических ростков нам потребуется нечто большее нежели просто приводимость к формальной нормальной форме. Однако ни теорема Пуанкаре — Дюлака, ни теорема о формальном включении в поток не дают необходимого результата. Поэтому теорема о формальной классификации будет доказана прямыми выкладками, а теорему о формальном включении в поток (и даже в ее усиленном «полуформальном» варианте) получим в качестве простого следствия. При этом мы получим существенно более сильный результат, состоящий в том, что росток класса 5?Ж о приводится к ФНФ полуформальной заменой.
Теорема 1. Пусть Е € 5? Ж о. Тогда существуют комплексные числа а, А, в такие, что Е формально эквивалентно Еа,л,в = дШа л в — сдвигу за единичное время вдоль векторного поля
д
шаЛР=уа{х)+у{\ + ру'а{х)) — , (а, X, 13) ее3, (1)
где уа(х) = 1тЛ € [0;27г), ИеЛ ^ 0. Более того, нормализующее
преобразование может быть выбрано формальным по переменным х и аналитическим по переменным у. (Преобразования такого типа будем называть полуформальными).
Замечание 1. Будет показано также, что ФНФ единственна, т. е. по заданному ростку Е € 5? Ж о параметры а, А, в его ФНФ определяются однозначно, а нормализующая замена единственна с точностью до «суперпозиционного» домножения на сдвиг дШа л в за фиксированное время Ь € С и растяжения (х, у) ^ (х, ку), к = 0.
Следствие 1. Пусть Еа,л,/з — формальная нормальная форма ростка Е € УЖо. Тогда для любого N € N существует такой росток ($ € УЖо, аналитически эквивалентный ростку Е, что
Ч#(х,у) - Еа,Л,в (х, у) = 0(хы) при х ^ 0.
Следствие 2. Для любого ростка Е € У Ж о можно построить такое формальное векторное поле V с особой точкой типа седлоузел, что Е = д1.
Теорема о полуформальной классификации будет доказана в два этапа. В § 2 (первый этап) стандартным методом последовательных приближений полугиперболический росток будет приведен с помощью полуформальных замен координат к так называемой предварительной формальной нормальной форме (ПФНФ). На втором этапе в § 3 ПФНФ будет приведена к полиномиальному виду, окончание доказательства — в § 4. В § 5 покажем единственность формальной нормальной формы (и «почти единственность» формальной нормализующей замены). Следствия 1 и 2 будут доказаны в § 6 и § 7 соответственно.
§ 2. Предварительная формальная нормальная форма
Пусть росток & из класса 5?Ж о, ¥ — его представитель. В первую очередь преобразуем отображение ¥ к более простому виду. Фактически это и будет классическая формальная нормальная форма Пуанкаре — Дюлака. Однако мы покажем приводимость к такому виду «полуформальными» заменами координат.
Лемма 1. Существует формальная замена координат, приводящая типичное полугиперболическое отображение ¥ из ^ Ж о к некоторому виду, который будем называть предварительная формальная нормальная форма (ПФНФ)
¥о(х,у) = (/(х),уК(х)), где /(х) = х + х2 + 0(х3), К(х) = А + О(х). (2) Нормализующее преобразование при этом может быть выбрано в виде
(х,у) ^ аг(у)х1 Рз(у)х3), ^ . = °1,...,
с аг, вз — аналитическими функциями, определенными для всех г,. в некоторой фиксированной окрестности начала координат.
Доказательство. 0. Для ростка & класса Ж0 прямая {х = 0} является инвариантной, поэтому ¥({х = 0}) = {х = 0}. Представим отображение ¥ в виде ряда Хартогса в полидиске Бгя = {(х,у) : |х| < г, |у| < Д}:
¥(х, у) = (ха1 (у) + х2а2(у) + ..., &о(у) + Ыу)х + ...),
в котором функции аг (у), (у), г = 1, 2,..., . = 0,1,..., голоморфны. Тогда они удовлетворяют условиям: а1(0) = 1, а2(0) = 0, Ьо(0) = 0, Ьо(0) = А, |Л| = 0, 1. Всюду ниже будем использовать такие же разложения в ряды Хар-тогса и отслеживать лишь значения параметра Д (радиус сходимости круга, в котором голоморфны все коэффициенты ряда), не обращая внимания на другой параметр.
Сужение / отображения ¥ на прямую {х = 0} — это гиперболическое отображение у ^ Ьо(у). По теореме Шредера [24] оно может быть линеаризовано аналитической заменой координат. Таким образом, без ограничения общности можем считать, что Ьо(у) = Ау.
1. Нормализация коэффициента а1. Аналитическая на Бгя замена координат Н1(х,у) = (^(у)х, у) преобразует ¥ к виду
¥1{х, у) = Щ1 о¥о Н^х, у) = (хо,! (уЩу)щ-^-у + .. ., Ау + . .. ^ .
Хотим выбрать такое &(у), чтобы было
%)
аМШ) = (3)
Если |Л| > 1, то искомое голоморфное решение уравнения (3) дается формулой
ТО / \
п=1 4 У
Если же 0 < |Л| < 1, то голоморфным решением уравнения (3) будет функция
то 1
Сходимость бесконечных произведений и их голоморфность в круге {|у| < Д} следует из соответствующих теорем комплексного анализа. Таким образом, голоморфной на заменой координат коэффициент а1 можно сделать равным 1. Всюду далее будем считать а1 = 1.
Замечание 2. Отметим, что после выполненной замены второй параметр полидиска Бгк — радиус сходимости коэффициентов разложения в ряд Хар-тогса нормализуемого отображения — не изменился.
2. Нормализация коэффициентов а2 и Ь1. Рассмотрим преобразование #2(х, у) = (х + а(у)х2, у + в(у)х)
и обратное к нему
Н-1(х, у) = (х - а(у)х2 + 0(х3), у - в(у)х + 0(х2)). Тогда при х ^ 0
Е2(х,у) = Н-1 О Е1 О Я2(х,у)
= (х + х2 (а(у) - а(Лу) + а2(у))+ 0(х3),Лу + х(Лв(у) - в(Лу) + &1(у))+ 0(х2)).
Мы бы хотели решить два уравнения:
а(Лу) - а(у) = а2(у), (4)
в(Лу) - Лв(у) = &1(у). (5)
Это позволило бы максимально упростить, т. е. сделать равными нулю соответствующие коэффициенты ряда Е2. Рассмотрим сначала уравнение (4). Представим функции а2(у) и а(у) в виде степенных рядов
ТО ТО
а(у) =53 акук ' а2 (у) = а2>йу^ .
к=о к=о
Здесь первый ряд является разложением неизвестной функции а, а второй ряд сходится в круге {|у| < Д}. Подставим эти разложения в уравнение и, сравнивая левую и правую части, получим
(Лк - 1)ак = а2,к, к = 0,1, 2,.... (6)
Для любого k = 0 уравнение (6) разрешимо; при k = 0 решение существует только в случае а2,о = 0. Повторяя те же рассуждения для (5), получаем для коэффициентов в* и b^* разложений
то то
в Ы = Е в* (y), bi(y) = £ bi,k(y)
*=0 *=о
систему
(Л* - Л)в* = bi,*, k = 0,1, 2,...,
уравнения которой разрешимы для всех k =1. При k =1 необходимым условием разрешимости является равенство нулю коэффициента bi,i. Итак, при замене координат указанного вида коэффициент а2 можно сделать равным константе, а коэффициент bi привести к линейному виду. Отметим, что из условий типичности следует, что а2(0) = 0. Поэтому без ограничения общности можем ниже считать, что а2(у) = const = 0, bi(y) = bi,iy. Наконец, используя дополнительное преобразование (x, y) ^ (mx, у), можем добиться того, что a2(y) = 1.
Так как функции а2(у) и bi(y) аналитические в области {|у| < R}, ряды а(у) и e(y) также сходятся в круге {|y| < R}. Поэтому построенное преобразование H голоморфно на SrR и по-прежнему справедливо замечание из предыдущего пункта.
3. Индукция. Пусть на некотором шаге отображение Fn_i имеет вид FN-i(x, у) = (x + x2 + a3x3 + • • • + aN-ixN-i + aN(y)xN + O(xN+i);
у(Л + eix + • • • + eN-2XN_2) + eN-i(y)xN-i + O(xN)), где a3,..., aN_i; въ • • •, eN-2 являются константами, функции aN(у) и eN-i(y) голоморфны на {|у| < R}. Будем использовать преобразование
Hn(x, у) = (x + a(y)xN, у + в(y)xN-i). Тогда, как и на предыдущем шаге, можем сделать коэффициент on равным константе, а коэффициент eN_i — линейным по переменной у, при этом Hn(x,y) будет голоморфно на SrR и, опять же, будет справедливо замечание 2.
4. Выполняя для любого N замену из предыдущего пункта, построим последовательность замен Hn, каждая из которых «улучшает» по одной паре «мономов» из разложения нормализуемого преобразования в ряд Хартогса. Заметим, что в суперпозиции Jtffa = Hi о H2 о • • • о Hn происходит стабилизация «мономов» в разложении Jtffa. То же происходит и с нормализуемым отображением
Fn = Ж—1 о F о J^n . Поэтому бесконечная суперпозиция Ж = lim ЖN схо-
N -^то
дится в пространстве формальных рядов по переменной x с коэффициентами, голоморфными по переменной у в круге {|у| < R} и является искомой полуформальной нормализующей заменой координат, поскольку Fn сходятся к ПФНФ (2) в том же пространстве рядов. □
Замечание 3. Из специфики построения замен следует, что бесконечная суперкомпозиция, приводящая F к ПНФ, является формальным рядом по переменной x с коэффициентами, голоморфными в одной и той же окрестности начала координат.
§ 3. Второй шаг формальной нормализации
Выше типичное полугиперболическое отображение приведено к виду (2). Вторичная нормализация, приводящая его к ФНФ, будет выполнена с помощью замены вида
Н(ж, у) = (р(ж),уд(ж)), (7)
р'(0) = 1. _ _ (8) Эта замена приводит ПФНФ (2) к виду ¥ = Н-1 о о Н = (/ (ж), К(ж)у), где
/(ж) = р-1 о / ор, К(х) = Кор-—(9)
9 о /
Замечание 4. Значения
/'''(0) = Г'(0), К(0) = К(0), К'(0) = £'(0) (10)
не меняются при действии замены координат (7), (8) (являются инвариантами формальной классификации типичных полугиперболических отображений). Для второго и третьего равенств это очевидно, а первое показано в [10] (но, конечно, легко может быть проверено прямыми выкладками).
Напомним, что / является типичным параболическим отображением и / — сопряженное к нему. Из формальной классификации параболических отображений известно (см. [10]), что существуют константа а и формальная замена координат р(ж), приводящая отображение / к / = (ж), где (ж) является сдвигом за единичное время вдоль векторного поля (1). Более того, если /(ж) имеет вид /(ж) = ж + ж2 + ... (а для первой компоненты отображения (2) это так), то для замены р(ж) будет выполнено условие (8). Далее, положим ^ = 1пд, к = 1п {-¡щ;), тогда второе уравнение из (9) принимает вид
о / + ^ = к. (11)
Лемма 2. Для любого формального параболического отображения / и любой функции к(ж) такой, что к(0) = к'(0) = 0, существует единственное формальное решение ^(ж) уравнения (11) такое, что ^(0) = 0.
Доказательство. Пусть
/ = ж + сж2 + . .., с = 0, к(ж) ^^ kjж^; ^(ж) ^^ ж^.
¿=2 j=1 Подставляя эти разложения в (11), получим
^ ^ оо
ж - ^(ж+сж2 +...)j = жj.
¿=1 ¿=1 ¿=2 Приравнивая коэффициенты при ж:', з = 1, 2,..., придем к бесконечной системе уравнений
-ф' - 1)<^--1 +----= kj, з = 2, 3,...,
где многоточием обозначены члены, зависящие от с номерами в, меньшими, чем 3 - 1. Так как с =0 для типичного параболического отображения, эти уравнения можно решать последовательно. Это дает существование, а так же и единственность формального решения. □
Лемма 3. Для любых параболических диффеоморфизмов / (ж) = ж + ж2 + ... ир(ж) = ж +..., любых К и К, удовлетворяющих (10), существует формальное решение д второго уравнения системы (9), такое что д(0) = 1. Это решение является единственным (с точностью до умножения на константу). В частности, любое отображение ¥ € 5?Ж о вида (2) может быть приведено формальной заменой вида (7) к форме
¥а,А,ь(ж,у) = (д^ (ж), у(Л + Ьж)), Л = еА.
Доказательство. Первое утверждение данной леммы следует из леммы 2, а второе — из первого. □
§ 4. Окончание доказательства теоремы о формальной классификации
Пусть ¥а,А,в = а л в (ж, у) — сдвиг за единичное время вдоль векторного поля А,в. Решим систему уравнений
ж = ^а(ж),
У = у(А + в<(ж)).
Пусть (ж(£),у(£)) — ее решение с начальными условиями (ж(0) = жо, у(0) = уо). Получим
ж(4)
Тх
Ху-
1
Тогда
«а (ж)
¿у = Ау + ¿(у 1п «а(ж))
А^ «а(ж0)
+ ув
уа(х)'
у(4) = уое
«а(ж(4))
Обозначив /а
Наконец, если
¥а,А,в (жо ,уо) = (/а(жо ),еА уо(Л(жо))в). еА, Л(ж) = Л(/а(ж))в,
Л
то ¥а,А,в = (/а(ж),уЛ(ж)).
Вычислим инварианты (10) для ¥а,А,в. Это и будут в точности параметры а, Л = еА, в. Поэтому по лемме 3 ¥а,А,в приводится к ¥Ка,А,в заменой вида (7). Но и исходное отображение ¥ в соответствии с построением этого и предыдущего пунктов приводится к некоторой форме ¥т'а,А,в полуформальными заменами. Следовательно, исходное отображение ¥ можно привести к виду ¥а,А,в полуформальными заменами переменных. Теорема о формальной нормализации доказана.
и
§ 5. Единственность ФНФ и формальной нормализующей замены
Пусть Е = и Е' = Еа',л',в' — две формальные нормальные формы из
теоремы о формальной классификации, и пусть формальная замена координат Н сопрягает Е и Е':
Н о Е = Е' о Н. (12)
Заметим, что для формальных нормальных форм прямые {ж = 0} и {у = 0} являются инвариантными (первая из них — их общее инвариантное гиперболическое подмногообразие, вторая — центральное многообразие). Поэтому замена координат Н должна их сохранять. Значит, замена Н имеет вид
Н(ж, У) = (жа(ж, у); уь(ж, у)), (13)
где а(ж,у), 6(ж,у) — формальные степенные ряды, причем а(0, 0) • 6(0, 0) = 0 . Но тогда формальное отображение Ь(ж) = жа(ж, 0) сопрягает отображения /а(ж)
и /а' (ж):
Ь о /а = /а' о Л. (14)
В силу единственности ФНФ параболических отображений [10] отсюда следует совпадение параметров а и а'. Аналогично формальный диффеоморфизм д(у) = у6(0, у) сопрягает сужения Е и Е' на прямую {ж = 0}:
д(Лу) = Л'д(у). (15)
Дифференцируя (15) по у и подставляя у = 0, получим Л = Л', а из условия
1т Л, 1т Л' € [0; 2п) вытекает, что Л = Л'. Сравнивая в (14) коэффициенты при
2 / ж2, с учетом того, что а = а', имеем
Ь'(0) = а(0, 0) = 1. (16)
Подставляя (13) в (12) и вычисляя коэффициент при жу во второй компоненте полученного равенства, из равенства (16) выводим, что в = в'. Это завершает доказательство единственности ФНФ.
Для изучения вопроса единственности нормализующей замены достаточно рассмотреть формальные замены координат, сохраняющие ФНФ. Таким образом, надо найти все формальные замены Н(ж, у), удовлетворяющие условию (12) (для случая Е = Е'). Повторяя те же рассуждения, что и выше, и используя те же обозначения, получим опять же равенства (14) и (15), в которых а = а', Л = Л'. Из (14) следует, что Ь коммутирует с /а. Как показано в [10], все формально коммутирующие с /а отображения Ь имеют вид Ь = д^а для некоторого Ь € С. Рассмотрим отображение Н = д^а Л ; так как Е = д^а л в, то Н и Е коммутируют: Н о Е = Е о Н4. Но тогда и Н—1 о Н коммутирует с Е. Поэтому без ограничения общности можем считать, что Ь = id (этого можно добиться, заменив Н на Н—1 о Н).
Далее, из (15) следует линейность д: д(у) = ку, к = 0. Линейное отображение Ь : (ж, у) ^ (ж, ку) также коммутирует с ФНФ Е. Повторяя те же
выкладки, что и выше, мы можем тем самым считать, что и отображение д тождественно. Наконец, как и выше, подставляя (13) в (12) и используя условие «Н = id на прямых {ж = 0} и {у = 0}», последовательным приравниванием коэффициентов при степенях жк (т. е. фактически, повторяя все рассуждения из § 2-4 и решая соответствующие, в данном случае однородные, уравнения), получим Н = id. С учетом двух сделанных поправок нормализующей замены это и дает ее единственность с точностью до растяжения вдоль у и сдвига вдоль векторного поля .
§ 6. Доказательство следствия 1
Пусть Н(ж, у) = (Нх(ж, у), Н2(ж, у)) — формальная нормализующая замена, построенная выше в теореме о формальной классификации. Заметим, что каждый из формальных рядов Н?(ж, у), ] = 1, 2, представим в виде
и
k=0
где функции ck(y) голоморфны в некоторой фиксированной окрестности начала координат. Рассмотрим замену
Hn (x,y) = (Hin (x,y),H2N (ж, y)),
где
N
HjN = ^ ck(y)xk. k=0
Это голоморфная замена, и она переводит росток F в росток требуемого вида.
§ 7. Доказательство следствия 2
Пусть F — произвольный росток из J^o, Fa,A,ß = gia Л ß — его ФНФ, и пусть H — полуформальная замена координат, сопрягающая F и Fa,A,ß: HоF = Fa,A,ß о H. Пусть замена Hпереводит векторное поле wa,A,ß в векторное поле ш: H' • ш = wa,A,ß о H. Тогда F = gi, что и требовалось доказать.
Замечание 5. Так как замена координат, обратная к полуформальной замене, также является полуформальной заменой, векторное поле ш, построенное выше, является «полуформальным»: его компоненты разлагаются в ряды Хартогса (по степеням ж) с коэффициентами, аналитическими в некоторой фиксированной окрестности начала координат.
ЛИТЕРАТУРА
1. Poincare H. Memoire sur les courbes definies par une équation différentielle. I // J. Math. Pures Appl. 1881. V. 7. P. 375-422.
2. Poincare H. Memoire sur les courbes definies par une equation differentielle. II // J. Math. Pures Appl. 1882. V. 8. P. 251-286.
3. Poincare H. Memoire sur les courbes definies par une equation différentielle. III // J. Math. Pures Appl. 1885. V. 1. P. 167-244.
4. Poincare H. Memoire sur les courbes definies par une equation differentielle. IV // J. Math. Pures Appl. 1886. V. 2. P. 151-217.
5. Poincare H. Sur le problem des trois corps et les equations de la dinamique // Acta Math. 1890. V. XIII. P. 1-270.
6. Siegel C. L. Vorlesungen uber Himmelsmechanik. Berlin; Gottingen; Heidelberg: Springer-Verl., 1957.
7. Брюно А. Д. Аналитическая форма дифференциальных уравнений // Тр. Моск. мат. о-ва. 1971. Т. 25. С. 199-239.
8. Арнольд В. И. Дополнительные главы теории обыкновенных дифференциальных уравнений. М.: Наука, 1978.
9. Yoccoz J. C. Linearisation des germes de diffeomorphismes holomorphes de (C, 0) // C. R. Acad. Sci. Paris. Ser. I Math. 1988. V. 306, N 1. P. 55-58.
10. Воронин С. M. Аналитическая классификация ростков конформных отображений (C, 0) —> (C, 0) с тождественной линейной частью // Функцион. анализ. 1981. Т. 15, № 1. С. 1-17.
11. Ecalle J. Sur les fonctions resurgentes. Orsay: Publ. Math. d'Orsay, 1981.
12. Martinet J., Ramis J. P. Probleme de modules pour des equations différentielles non lineaires du premier ordre // Inst. Hautes Études Sci. Publ. Math. 1982. N 55. P. 63-164.
13. Martinet J., Ramis J. P. Classification analytique des equations différentielles non lineaires resonnantes du premier ordre // Ann. Sci. École Norm. Super. 1983. V. 16, N 4. P. 571-621.
14. Malgrange B. Travoux d'Écalle et de Martinet-Ramis sur les systemes dinamique // Asterisque. 1982. N 582. P. 59-73.
23. Воронин С. М., Фомина П. А. Секториальная нормализация полугиперболических отображений // Вестн. Челяб. гос. ун-та Сер. Математика. Механика. Информатика. Вып. 16. 2013. № 28. С. 94-114.
16. Воронин С. M., Мещерякова Ю. И. Аналитическая классификация типичных вырожденных элементарных особых точек ростков голоморфных векторных полей на комплексной плоскости // Изв. вузов. Математика. 2005. № 1. С. 13-16.
17. Воронин С. M., Мещерякова Ю. И. Аналитическая классификация седлоузлов // Тр. Моск. мат. о-ва. 2005. Т. 66. С. 93-113.
18. Воронин С. M. Аналитическая классификация пар инволюций и ее приложения // Функ-цион. анализ и его прил. 1982. Т. 16, № 2. С. 21-29.
19. Воронин С. M., Ортис-Бобадилла Л., Росалес-Гонсалес Э. Проблема Тома в задаче об орбитальной аналитической классификации вырожденных особых точек голоморфных векторных полей на плоскости // Докл. АН. 2010. Т. 434, № 4. С. 443-446.
20. Ueda T. Local structure of analytic transformations of two complex variables // Int. J. Math. Kyoto Univ. 1986. V. 26, N 2. P. 233-261.
21. Ueda T. Local structure of analytic transformations of two complex variables // Int. J. Math. Kyoto Univ. 1991. V. 31, N 3. P. 695-711.
22. Voronin S. М. Darboux-Whitney's problem and related questions // Adv. Sov. Math. Nonlinear Stokes phenomena. Providence, RI: Amer. Math. Soc., 1993. V. 14. P. 139-233.
24. Арнольд В. И., Ильяшенко Ю. С. Обыкновенные дифференциальные уравнения // Итоги науки и техники. Соврем. проблемы математики. Фундаментальные направления. 1985. Т. 1. С. 7-150.
25. Schroder E. Uber iterierte Functionen // Ann. Math. 1871. V. 3. P. 296-322.
Статья поступила 10 октября 201-5 г.
Шайхуллина Полина Алексеевна Челябинский гос. университет, ул. Бр. Кашириных, 129, Челябинск 454001 fominapa@gmail•com
