Главная Промышленная автоматика. MOB, зависящему от d+m параметров. Здесь d - число параметров версальной деформации линейной части исходного ростка, am - число резонансных соотношений, которым удовлетворяет набор его мультипликаторов. Если деформация гладкая (аналитическая), то нормализующие замены также гладки (аналитичны). Аналогичные теоремы справедливы для ростков векторных полей в особой точке и на цикле. 5.6. Деформации однорезонансных гиперболических ростков. Определение 1. Набор ЯбС" называется k-резонансным {мультипликативно k-резонансным, периодически к-резо~ нансным), если число образующих аддитивной группы, порожденной множеством векторов {гб2+"(г, Я)=0} (соответственно, множеством (ге2/Я = 1} или {reZ/(г, Я)б2яг2}, равно к. При Л = 1 Л-ре-зонансный набор называется однорезонансным. Линейное векторное поле со спектром Я, а также линейный диффеоморфизм или периодическое дифференциальное уравнение = Лл, (<. x)eSixR". 5 = R/Z, задаваемые оператором со спектром Я, называются k-резонанс-ными, если набор Я--резонансный. Определение 2. Если все резонансные соотношения для. спектра линейной части векторного поля в особой точке (диффеоморфизма в неподвижной линейной частью) являются следствиями одного соотношения. (г,Я)==0, (15> соответственно Я = 1 (16> (г, Я)-Ь2яг/=а , (17> то поле (соответственно, диффеоморфизм или периодическое дифференциальное уравнение) называется сильно однорезонансным. Определение 3. Пусть А - оператор линейной части сильно однорезонансного векторного поля в особой точке или диффеоморфизма в неподвижной точке, или периодического дифференциального уравнения с автономной линейной частью, Я - спектр А. Оператору А соответствует вещественный резонансный моном, определяемый следующим образом. Пусть zi,..., Zn - координаты в жордановом базисе оператора А, причем сопряженным собственным значениям соответствуют сопряженные на наборы координатных функций. Резонансным мономом, соответствующим оператору А, назовем. в первых двух случаях выражение Re 2, а в третьем (z• e*). Будем говорить, что первый из этих мономеров соответствует соотношению (15) или (16), а второй - соотношению (17). Определение 4. а) Главным семейством ростков сильно однорезонансных векторных полей в особой точке называется семейство W {X, е) = Xg (и, е), X = diag х, (18) где и - соответствующий (15) резонансный моном, g - векторный полином по и, коэффициенты которого являются параметрами семейства; их набор обозначается е. б) Главным семейством ростков сильно однорезонансных диффеоморфизмов в неподвижной точке называется семейство /(л:. e) = gU-.e). где W - семейство полей из определения а), g - сдвиг за единичное время по фазовым кривым поля, и - соответствующий. (16) резонансный моном. в) Главным семейством ростков сильно однорезонансных периодических векторных полей на цикле называется семейство (18), в котором и - резонансный моном, соответствующий соотношению (17). Теорема. Пусть v - гиперболический сильно однорезо-нансный росток векторного поля в особой точке. Тогда а) Для каждого натурального k любая гладкая деформация ростка V С-гладко эквивалентна индуцированной из главного семейства (18), в котором g - векторный полином степени N{k); N{k) - то же, что в теореме 3. б) Если росток V не принадлежит исключительному подмножеству коразмерности бесконечность, то любая гладкая деформация этого ростка конечногладко эквивалентна индуцированной из главного семейства (18); степень полинома g в этом семействе зависит от деформируемого ростка и не зависит от класса гладкости сопрягающего диффеоморфизма. в) Исключительное подмножество в этой теореме - то же, что в теореме Ихикавы о формальной конечной определенности для векторных полей [26, п. 3.4, гл. 3]. Аналог теоремы а) верен для ростков диффеоморфизмов в неподвижной точке и периодических векторных полей на цикле. Теорема. В типичных гладких конечнопараметрических семействах векторных полей на плоскости встречаются только такие ростки седловых резонансных векторных полей (резонанс pXi-f9A2=0, р V. q натуральны и взаимно просты), которые гладко орбитально эквивалентны ростку x = x(l ±иЧ-ao«), Типичная деформация такого ростка конечногладко эквивалентна деформации, индуцированной из главной: y-yplQy и конечногладко орбитально версальна. Здесь к = л:!/- резонансный моном, (е, a) = (ei,..., ец, a)eR+ - многомерный параметр семейства, {tl, е) = ei + + -. т- e«-- (19) Замечание. Теорема о формальной конечной определенности для ростков диффеоморфизмов, аналогичная теореме Ихи-кавы, доказана недавно М. Б. Житомирским; отсюда легко следуют аналогичные результаты и для периодических векторных полей. Вероятно, аналог теоремы б) также справедлив для обоих этих случаев. Перейдем к исследованию деформаций негиперболических ростков. 5.7. Деформации ростков векторных полей с одним нулевым собственным значением в особой точке. Определение. Главной (л?--1)-параметрической деформацией ростка векторного поля на прямой называется семейство ростков, задающих уравнения х= ±+ Pv-i(X, е) + ах+К (20) Здесь Pv-i(:, е) = ejегл:-f ... -рбуХ"; деформируемый росток •соответствует значению параметра е=0, a==ao6R. Замечание, -параметрические главные семейства параметризуются одним дискретным (равным плюс или минус единице) и одним непрерывным параметром (равным Оо)- Различные главные семейства не являются конечногладко эквивалентными, если сопрягающий диффеоморфизм сохраняет ориентацию. Теорема. Типичное л-параметрическое семейство векторных полей на прямой в окрестности каждой вырожденной особой точки заменой переменных и параметров приводится к одному из главных семейств (20) при v-f lp. или к семейству j;:= ±x+l-Pц J(JC, г)-га{г)х+К (21) Соответствующая замена - аналитическая, гладкая или конеч-ногладкая, если исходное семейство аналитично, гладко или конечногладко. Точнее, для любого натурального k существует такое Nik), что если исходное семейство - класса С"*"", то нормализующая замена - класса k. Эта теорема для аналитического и (бесконечно) гладкого случая доказана В. П. Костовым, а для конечно гладкого - 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 [21] 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 0.0018 |