CC BY
27
УДК 517.925
Вестник СПбГУ. Сер. 1. Т. 3(61). 2016. Вып. 3
ДВУМЕРНЫЕ ОДНОРОДНЫЕ КУБИЧЕСКИЕ СИСТЕМЫ: КЛАССИФИКАЦИЯ И НОРМАЛЬНЫЕ ФОРМЫ —II
В. В. Басов
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Данная статья является второй в цикле работ, посвященном двумерным однородным кубическим системам, и состоит из двух разделов.
В первом разделе приводятся структурные принципы, позволяющие ввести полную упорядоченность в множество структурных форм — векторных многочленов с фиксированным числом нулевых коэффициентов, являющихся правыми частями двумерных однородных кубических систем ОДУ. Из них последовательно выделяются нормированные на основании нормировочных принципов структурные формы и линейно неэквивалентные друг другу, простейшие в своем классе канонические формы (КФ).
Во втором разделе для упомянутых систем, компоненты правых частей которых пропорциональны, находятся все КФ со своими каноническими множествами допустимых значений. Для каждой КФ приводятся: а) условия на коэффициенты исходной системы, b) линейные замены, сводящие правую часть системы при этих условиях в выбранную КФ, с) получаемые значения коэффициентов КФ. Библиогр. 1 назв.
Ключевые слова: однородная кубическая система, нормальная форма, каноническая форма.
Введение. Данная работа является непосредственным продолжением работы [1], поэтому в ней сохраняются все введенные ранее обозначения. В связи с большим количеством ссылок на формулы, полученные в [1], будем для краткости отмечать их номера сверху символом «1». Например, систему (2.1) из [1] будем обозначать (2.1)1.
1. Канонические формы и принципы их определения. 1.1. Структурные формы. Рассмотрим однородную кубическую систему (2.1)1
i = P(x) = A q[3] (x), (1.1)
отождествляемую с вещественной матрицей A, любая строка которой Ai = (ai, bi, ci, di) (i = 1, 2) отлична от нуля, а q[3] = colon (x3, xlx?, xix?, x?).
Основная задача этого раздела заключается в формулировке принципов, позволяющих выделять «самые простые» линейно неэквивалентные друг другу системы, называемые в дальнейшем кубическими нормальными формами (НФ), а их правые части соответственно каноническими формами. Для каждой кубической НФ требуется указать условия на коэффициенты исходной системы (1.1) и линейную неособую замену (2.2)1:
xi = riyi + siy?, x? = Г2У1 + s?y2 или x = Ly (S = det L = 0), (1.2)
при помощи которой (1.1) сводится к выбранной кубической НФ.
При этом принципы выбора канонических форм требуется сформулировать таким образом, чтобы максимально облегчить сведение системы (1.4)i x = P(x) + X(x), в которой невозмущенная часть P(x) уже является какой-либо канонической формой, к обобщенным нормальным формам при помощи почти тождественных замен.
© Санкт-Петербургский государственный университет, 2016 DOI: 10.21638/11701/spbu01.2016.302 355
Первым шагом на пути к определению канонической формы станет ввод формального понятия структурной формы и упорядочивание множества структурных форм.
Определение 1.1. Вещественную матрицу A = (ai 0i C1 jM с ненулевыми
ya,2 02 C2 J2 J
строками будем называть объединенной структурной m-формой (m = 2,..., 8) и обозначать USFm (united structural form), если какие-либо m ее элементов отличны от нуля, а остальные равны нулю. Конечное множество, объединяющее все USFm, будем обозначать SUSFm (set of USFm).
Очевидно, что объединенные структурные m-формы отличаются одна от другой различным расположением мест для ненулевых элементов.
В дальнейшем для краткости любую USFm можно будет записывать по строкам,
(ai 0 ci 0 \ , , ,
указывая в каждой только ненулевые элементы, напр., I о о о d ) =(ai,ci; "2).
m
Рассмотрим всевозможные расстановки ненулевых элементов в БОБР' (то = 278).
Определение 1.2. Индексом элемента а^ (г = 1, 2; ] = 1, 2, 3, 4) матрицы А
г- г Л (1 2 3 4\
будем называть число, стоящее на месте (%,]) в матрице I 4 3 2 1 ) - В свою очередь, индексом к матрицы А будем называть сумму индексов ненулевых элементов А и при необходимости писать А^к]. Аналогично вводятся индексы строк А\ и А2 -
Непосредственной проверкой будет установлено, что следующие три структурных принципа позволяют вполне упорядочить конечное множество БОБР =
и"=2 БОБРт.
Структурные принципы (СП) для упорядочивания SUSF:
СП1) любая ОБРт предшествует любой ОБРп, если выполняется т < п; СП2) любая ОБРт с меньшим индексом предшествует любой ОБРт с большим индексом;
СП3) для любых двух ОБРт с равным индексом предшествует та т-форма, у которой:
СП3х) строка А2 имеет меньший индекс;
СП32) при равенстве индексов А2 левый ненулевой элемент в А\ имеет меньший индекс;
СП33) в противном случае правый ненулевой элемент в А2 имеет меньший индекс.
Таким образом, в любом подмножестве БОБР структурно «самой простой» назовем матрицу А, у которой в порядке перечисления: 1) число ненулевых элементов т минимально; 2) индекс к минимален; 3х) индекс А2 минимален; 32) индекс левого ненулевого элемента в А\ минимален; 3з) индекс правого ненулевого элемента в А2 минимален-
Обсудим, на чем основан выбор именно таких СП применительно к системе (1.4)1 с невозмущенной частью Р(х), порожденной объединенной структурной т-формой А.
СП1 требует иметь максимальное число нулевых элементов в А, что безусловно необходимо и приоритетно для максимального упрощения связующей системы (1.7)1.
СП2 и СП3, основываясь на рассуждениях раздела 1-4 из [1], оптимизируют расположение имеющихся в распоряжении ненулевых коэффициентов-
Так, СП2 отдает предпочтение самой слабосвязанной невозмущенной системе, т. е. такой, в которой содержит переменную Х2, а Р2 —переменную х\, в минимальных степенях. Естественно, СП2 содержателен только при I < 2, так как при
l = 3 коэффициенты многочленов пропорциональны, а перестановка столбцов в A ее индекс не изменяет.
СП3 всегда отдают предпочтение именно тем структурным формам, для которых выполняется важное для нормализации возмущенных систем условие (1.9)i.
Кроме того, СП выбирались так, чтобы по возможности минимизировать число ненулевых элементов в строке A2. Об этом сказано ниже в замечании 1.1.
Введение СП позволяет значительно сократить число используемых в дальнейшем USFm, поскольку с точки зрения последующей нормализации возмущенных систем не имеет значения, какую из двух матриц выбирать в качестве невозмущенной части, если они получены друг из друга перенумерацией (2.7)i L = {ri,s2 = 0, r2, si = 1}.
Определение 1.3. Из двух различных объединенных структурных т-форм, получаемых друг из друга перенумерацией, форму, являющуюся согласно СП3 предшествующей, будем называть структурной т-формой, при желании добавляя основная, и обозначать SFm, а другую — дополнительной и обозначать SF^ (additional SF).
Очевидно, что имеется также определенное количество «симметричных» структурных т-форм, т. е. таких SFm, которые не изменяются в ходе перенумерации (2.7)i.
Поскольку любая пара, состоящая из основной и дополнительной структурных форм, линейно эквивалентна, то «худшая» с точки зрения СП3 дополнительная форма самостоятельного интереса не представляет, но использовать ее иногда будет удобно.
Соглашение 1.1. Cогласно введенной упорядоченности сопоставим любой основной структурной т-форме порядковый номер i и будем обозначать ее SFm, а дополнительную к ней структурную форму — SF^i.
Список 1.1. 120 упорядоченных структурных форм из SUSF.
SFi2 = (ai; d2)[2], SF^ = (ai; c2)[3], SF32 = (ai; b2)[4], SF42 = (bi; c2)[4], SF52 = (ai; a2)[5], SF62 = (bi;b2)[5], SF? = (bi;a2)[6], sf8 = (ci;b2)[6], SF9 = (ci;a2)[r], SFi2o = (di;a2)[8]; SFi3 = (ai,bi; d2)[4], SF^ = (ai,ci; d2)[5], SF33 = (ai,bi; c2)[5], SF43 = (ai,di; d2)[6], SF53 =(bi,ci;d2)[6], SFi = (ai,ci;c2)[6], sf7 = (ai,bi;b2)[6], SF8 = (bi,di;^[7^ SF93 = (ai,di; c2)[7], SFj0 = (bi,ci; c2)[7], SF3i = (ai,ci; b2)[7], SF3 = (ai,bi; a2)[7],
SFi33 = (ci,di; d2 ) [8], SF14 = (bi,di; c2 ) [8], SF15 = (ai,di; b2)[8], SFie = (bi,ci;
SFi37 = (ai,ci; a2)[8], SF3 = (ci,di; c2)[9], SF3 = (bi,di; b2)[9], SF3 = (ai,di; a2)[9],
SF2i = (bi,ci; a2)[9], S F22 = (ci,di; b2)[i0], SF233 = (bi,di; a2)[i0], SF24 = (c1,di; a2)[ii];
SFi4 = (ai, bi; c2, d2)[6], SF^ = (ai, bi, ci; d2)[7], SF^ = (ai, ci; c2, d2)[7],
SF44 = (ai,bi,di; d2)[8], SF54 = (ai,bi,ci; c2)[8], SFg = (ai,di; c2,d2)[8],
SF74 = (bi, ci; c2, d2)[8], SFg = (ai, ci; b2, d2)[8], SFg = (ai, ci, di; d2)[9],
SFi4o = (ai, bi, di; c2)[9], SF^ = (ai,bi,ci; b2)[9], SF4 = (bi,di; c2,d2)[9],
SFi3 = (a1, di; b2,d2 ) [9], SF14 = (b1, ci; d2 ) [9], SF15 = (bi,ci,di; d2) [i0],
SFi46 = (ai, ci, di; c2)[io], SF47 = (ai, bi, di; b2)[io], SF4 = (ci, di; c2,d2)[io], SF19 = (ab b1, ci; a2)[io], SF2o = (b1, di; b2, d2)[io], SF21 = (a1, di; a2,d2)[io], SF22 = (a1, di; b2, c2)[io], SF23 = (bb ci; b2, c2)[10], SF244 = (b1,c1,d1; c2)[11],
БР25 = (al, cl, ¿Ь ^2)[11], БР26 = (аь ¿Ь а2)[11], БР27 = (cl, ¿Ь Ь2,¿2)[11],
БР248 = (^,¿1; а2^2)[11], БР29 = (^,¿1; &2,С2)[ц], БРз0 = (&1,С1,^1; 62)[12],
БР31 = (аЬ c1, ¿1; а2) [12], БР32 = (c1, ¿1; а2^2 ) [12], БР33 = (сь ¿1; Ь2, С2 ) [12],
БР344 = (^,¿1; а2,С2)[12], БР35 = (^,^,¿1; а2)[1з], БР346 = (^,¿1; а2,С2)[1з], БР347 = (^,¿1; а2,б2)[14];
БР5 = (а1,б1,С1; С2,^2)[д], БР| =(а1,Ь1,^; С2,^)[10], БР| = (а1 ,ь-,с-; ^,¿2)^0], БР45 = (а1,б1,С1,^1; ¿2)[11], БР5 =(а1,С1,^1; С2^)[и], БР| = (а1,^,¿1; 62, ¿2)[11], БРг = (а1,Ь1,С1; а2,^2)[11], БР| =(а1,Ь1,С1; Ь2,С2)[ц], БР95 = (а1,^,^,¿1; С2)[12], БР50 = (61, С1, ¿1; С2, ¿2) [12], БР151 = (а1, С1, ¿1; ^,¿2)^2], БР52 = (а1, ^,¿1; а2, ¿2) [12], БР5з = (а1, 61, ¿1; 62, С2)[12], БР54 = (а1,61, С1; а2, С2)[12], БР^ = (а1,61,С1, ¿1; 62)[1з], БР16 = (Ь1,С1^1'; Ь2, ¿2)[13], БР17 = (аЬ c1, ¿1; а2,^2)[13], БР18 = (а1, С1, ¿1; 62, c2)[13],
БР59 = (а1,Ь1,й1; а2, С2)[13], БР25 = (С1, ¿1; Ь2,С2^)[13], БР25 = (а1 ,Ь1,С1, ¿1; а2)[14], БР252 = (61, С1, ¿1; а2, ¿2)[14], БР^3 = (61, С1, ¿1; 62, С2)[14], БР|4 = (а1 ,^,¿1; а2, С2)[14],
БР255 = (а1,Ь1^Ь a2, Ь2)[14], БР26 = (Ь1,С1^Ь а2, С2)[15], БР57 = (а1 ,С1^Ь а2,
БР28 = (61, С1, ¿1; а2,Ь2)[1б];
БР6 = (а1, Ь1,С1; Ь2,С2, ¿2)[12], БР26 = (а1, 61, ^,¿1; С2^)[13],
БР36 = (а1, 61, ¿1; 62, С2, ¿2)[13], БР46 = (а1, 61, С1,в,1; ^,¿2)^4],
БР56 = (а1, С1, ¿1; Ь2,С2, ¿2)[14], БР6 = (а1, 61, ¿1; а2,С2^)[14],
БР® = (а1, Ь1,С1, ¿1; а2^2)[15], БР| = (а1, 61, ^,¿1; Ь2,С2)[15],
БР96 = (61, С1, ¿1; 62, С2, ¿2 ) [15], БР160 = (а1, С1, ¿1; а2,С2^2 )[15],
БР^1 = (а1, 61, С1, ¿1; а2,С2)[16], БР^ = (61, С1, ¿1; a2,С2,¿2)[l6],
БР^3 = (а1, С1, ¿1; а2, 62, ¿2)[16], БР6 = (аь 61, Сl,¿l; а2,Ь2)[17],
БР65 = (61, С1, ¿1; а2,Ь2^2 ) [17], БР166 = (61, С1, ¿1; а2,Ь2,С2)[18]; БР7 = (al,Ьl,Сl,¿l; 62, С2, ¿2)[16], БР27 = (al,Ьl,Сl,¿l; а2, С2, ¿2)[17], БР37 = (а1, Ь1,С1, ¿1; а2,62, ¿2) [18], БР47 = (а1, Ь1,С1, ¿1; а2, 62, С2)[19]; БР-8 = (а!,Ь1,С1^1; а2,62, С2, ¿2)[20].
Приведенный список демонстрирует достаточность СП для упорядочивания основных структурных форм. Но СП различают и все дополнительные структурные формы.
Действительно, каждая несимметричная форма из списка 1.1, индексы строк А1 и А2 которой не равны, является основной по СП31. Оставшиеся пять несимметричных БР — это БР3, БР37, БР242, БР54, БР25 — являются основными согласно СП32.
Замечание 1.1. Во всех БРт из списка 1.1, кроме БР20, количество ненулевых элементов в строке А2 не превосходит количества ненулевых элементов в строке А1 .
Определение 1.4. Представителем произвольной БР™ будем называть любую числовую матрицу, структура которой совпадает со структурой БР™.
В результате БР™ можно трактовать как совокупность всех ее представителей. Важная характеристика БРт связана с определением всех возможных значений максимальной степени общего множителя Р0 (см. определение 2.1 из [1]), который
можно выносить в правой части порожденной этой структурной формой системы (1.1) при различных значениях ненулевых коэффициентов. Поэтому множество вещественных ненулевых значений элементов любой ЯГ™1 разобьем на множества в™1'1 (0 < I < 3) следующим образом: в™1'1 содержит те и только те значения элементов ЯГ™1, при которых в правой части системы (1.1), порожденной этой формой, можно вынести общий множитель Р0.
Определение 1.5. Для любой ЯГ™, задаваемой матрицей А, запись ЯГ™'1 обозначает ту же матрицу А, но значения ее ненулевых элементов принадлежат в™1'1 = 0.
Иными словами, ЯГ™'1 объединяет тех и только тех представителей ЯГ™1, чьи
гпЛ
элементы принадлежат непустому множеству , или, что то же самое, ЬЬ^ порождает только такие системы, которые имеют общий множитель максимальной степени I.
Из определения 1.5 и теоремы 2.3 из [1] вытекает следующее утверждение.
Утверждение 1.1. ЯГ™1'11 линейно не эквивалентна ЯГ™1'12 при 11 = т.е. любые два представителя ЯГ™1'11 и ЯГ™1'12 линейно не эквивалентны.
Если ЯГ™1 имеет только одно множество в™'10 = 0, оно не имеет ограничений и называется тривиальным. Тем самым, справедливо ЯГ™'10 = ЯГ™1.
Например, значения ненулевых элементов в ЯГ^ = (а\, С1; 62,^2) разбиваются на два подмножества: в^'0 = {а^2 = 62С1} и в^'2 = {а^2 = 62С1}. А у системы (1.1), порожденной ЯГ^ = (а1,6х,С1; ¿2), при любых значениях элементов отсутствует об-
7 п 4'0
щий множитель, т.е. имеет место I = 0 и единственное непустое множество тривиально.
1.2. Нормированные структурные формы и допустимые множества.
Следующим шагом на пути к определению канонической формы станет введение понятия нормированной структурной формы, основанного на нормировке при помощи замены (2.6)1 Ь = {гх, в2 —У, Г2, в1 = 0} всех представителей БГ¡rl''l с целью получения на двух должным образом выбранных местах единичных по модулю элементов.
Сформулируем принципы выбора нормируемых элементов матрицы А, основная идея которых заключается в необходимости нормировки самых «неприятных» для последующей нормализации возмущенных систем элементов: тех, которые имеют максимальные индексы. При этом, следуя логике структурных принципов (см. СПЗ1), предпочтение по возможности будет отдаваться нормировке элементов из строки А2.
Нормировочные принципы (НП) для ЯГ™1'1.
НП1) Расстановка нормируемых элементов в матрице А осуществляется в следующем порядке:
НП11) 1-й нормируемый элемент расположен в А2 и имеет максимальный индекс;
НП12) если не все ненулевые элементы матрицы А расположены на одном зигзаге (см. замечание 2.1 из [1]), 2-й нормируемый элемент после нормировки должен иметь определенный знак при любых значениях элементов А из в™' ;
НП13) если I = 3, имеем А1 = А2; если I < 2, 2-й нормируемый элемент, если возможно, расположен в строке А2 и имеет там максимальный из оставшихся индекс, иначе он расположен в А1 и имеет там максимальный индекс.
НП2) Значения нормированных элементов по модулю равны единице и при этом:
НП21) если они из нечетного зигзага, 1-й нормированный элемент равен 1;
но
НП22) если они из разных зигзагов, знак нормированного элемента из нечетного зигзага должен совпадать со знаком нормированного элемента из четного зигзага.
Непосредственной проверкой установлено, что предложенные НП позволяют в любой SF™1'1 однозначно выбрать места для нормируемых элементов и значения, которые должны получить элементы на этих местах после нормировки. При этом нормирующая замена определяется однозначно для всех SF, кроме SFg'2 и SF2'2, для которых элемент S2 в (2.6)1 произволен и может быть выбран, например, единицей (см. замечание 2.1 из [1]).
Итак, представители любой SFm1'1 (числовые матрицы заданной структуры с элементами из si ) разбиваются на классы эквивалентности относительно нормирующих замен (2.6)1, а в качестве образующих берутся нормированные представители.
Определение 1.6. SFl"1'1 будем называть нормированной структурной формой и обозначать NSF™'1 (normalized SF), если она объединяет только своих нормированных в соответствии с НП представителей.
Соглашение 1.2. Любую нормированную структурную форму A будем записывать в виде аБ, где вынесенный из матрицы A множитель а равен знаку первого нормированного элемента. Оставшиеся ненормированными ненулевые элементы матрицы Б, если таковые имеются, будем должным образом выражать через переменные, называемые в дальнейшем параметрами NSF, и функции от них. Также при необходимости будем записывать NSF как функцию от своих параметров.
Тем самым, параметры NSF, обозначаемые u,v,w,... , всегда предполагаются
отличными от нуля.
Например, NSFf'1 = NSF^'1(a,u,v) = а 1 0 0 1
при этом v = и, иначе m = 5.
Соглашение (1.2) позволяет в матрице Б, используемой в дальнейшем для нормализации возмущенных систем, получить максимальное количество единиц, а множитель а, если он отрицателен, заменой времени всегда можно сделать равным единице.
Так, SF21 = (01; С2) заменой (2.6)1 может быть сведена к NSF2:'1 =
'1 о о 0\
О 0 1 0/ С а = S1gn а1. Здесь нормируемые элементы расположены на разных зигзагах, и согласно замечанию 2.1 из [1] на знак элемента из четного зигзага повлиять невозможно, поэтому он выносится в виде множителя а. А знак нормируемого элемента из нечетного зигзага всегда можно сделать равным а, что и требуется в НП22.
Обсудим теперь причину, по которой был введен НП12.
Если нормируемые элементы в SF брать из одного зигзага, после нормировки их произведение может получаться как положительным, так и отрицательным.
Нормируем, например, 62 и ¿2 в SF43 = (01, d1; 62, ¿2), как того требует НП1з.
Тогда при l = 1 получим NSF^1 = а^ 1 0 ^^ с а = signb2, а при l = 0 — систему а(и 0 0 ] с к = sign ^¿2) и тем же а, причем будем иметь v = u,
\ 0 1 0 к I
если справедливо к = — 1, т. е. в зависимости от знака к — одну из двух различных NSF.
В данном случае раздвоения можно избежать, так как в SF^0 имеется ненулевой элемент ¿1 на другом зигзаге, который согласно НП12 и следует нормировать. По-
7 п лгог?4,0 (и 0 0 1\ _2
этому при l = 0 получаем единственную NbF 13 = а I 0 1 0 v I с v = —и 2, что 360
предпочтительнее выбора для нормировки обоих элементов из ценой раздвоения NSF.
Определение 1.7. Если все ненулевые элементы SF™1'1 расположены только на одном из зигзагов, из-за чего второй нормированный элемент в матрице B при его наличии может равняться как единице, так и минус единице (будем обозначать его к), то получаемую NSF будем называть двойственной и обозначать NSF"1/.
Таким образом, НП12 и НП1з позволяют однозначно выбрать место для второго нормируемого элемента в любой SF™hl • При l < 2 они предполагают получение этого элемента в Л 2, а при невозможности — в Л\, на месте с максимальным индексом с учетом сохранения единственности после нормировки. В то же время при l = 3 второй единичный элемент автоматически располагается в Л\ над первым в силу естественного предположения о равенстве Л\ и Л2, что, в частности, не допускает раздвоений.
Отметим, что для NSF™1'1 по сравнению с SF™1'1 существенно облегчается практическое написание условий, фиксирующих максимальную степень l общего множителя.
Так, NSF7 = а Q W есть NSF7'2 при —v, w = и; NSF75'1 при w = v — и;
NSF5'0, если не выполняются перечисленные выше ограничения на параметры.
Определение 1.8. Значения параметров, при которых определена произвольная NSF™1'1, будем называть допустимыми. Объединение допустимых значений параметров для каждой из форм будем называть допустимым множеством и обозначать ps™1'1 (permissible set). Допустимое множество будем называть тривиальным и обозначать tps™1'1 (trivial ps), если входящие в него параметры ограничений не имеют.
Из определения 1.8 и теоремы 2.3 из [1] вытекает следующее утверждение.
Утверждение 1.2. При l = 2, 3 всех представителей, образующих NSF™1'1, в зависимости от знака дискриминанта D0 = 01 — aj из (2.14)1 можно разбить на три непересекающихся множества, обозначаемых NSF™l'l'>, NSF™hl'=, NSF™l'l'<. Теперь при l = 2 всех представителей, образующих NSF™1'1'*, в зависимости от знака дискриминанта D = (p1 — q2)2 + 4p2q1 из (2.16)1 можно разбить на три непересекающихся множества, обозначаемых NSF™1' '*'>, NSF™1' '*'=, NSF™1' '*'<■ А при l = 3 таких множеств — два, так как в (2.22)1 имеем D > 0. Аналогичные разбиения можно осуществить в ps™1' (l = 2, 3).
Следствие 1.1. Системы, порожденные любыми двумя представителями NSF™'1 (l = 2, 3) с различными парами третьих и четвертых верхних индексов, не могут оказаться линейно эквивалентными■
Следует иметь в виду, что расположение нормированных элементов в NSF™1'1 может быть различным не только при разных значениях l (см. нормировки SF-j^0 и SF-j^1 выше), но и при появлении верхних индексов в случае прекращения действия НП12 в связи с автоматической фиксацией знака для второго нормируемого элемента, выбираемого согласно НП1з на том же зигзаге, что и первый.
1.3. Канонические множества и канонические формы. Итак, рассмотрим произвольную матрицу NSF™1'1, имеющую m ненулевых элементов с заданным расположением, фиксирующим ее порядковый номер i в SUSF™1 согласно введенным СП. Обозначим через l степень общего множителя P0, который выносится из правой части системы, порожденной любым представителем NSF™1'. По теореме 2.3 из [1] степень l инвариантна относительно линейных неособых замен.
Отметим, что получение нормированных структурных форм — это формальная работа, требующая только нормировки (2.6)1, т. е. замены, не затрагивающей структуры порождающей эти формы матрицы A.
Теперь же станем упрощать NSF™'1, сводя их посредством подходящих линейных неособых замен (1.2) при определенных значениях параметров из psm'1 к предшествующим структурным формам, т. е. к SFj"1 с n < m или с j < i при n = m.
С одной стороны, практически каждая NSFm'1 может сводиться к предшествующим SF"1'1, т. е. имеет «лишних» представителей, линейно эквивалентных каким-либо представителям предшествующих форм. Значения параметров, допускающие таких
m'l
представителей, надо удалять из psi .
С другой стороны, те NSFm'1, которые при всех допустимых значениях своих параметров линейно эквивалентны каким-либо предшествующим формам, самостоятельного интереса не представляют, поскольку не могут выступать в роли «простейших».
Определение 1.9. Непустое множество, содержащее те и только те значения
m'l m'l
параметров из psi , при которых jybF^ линейно не эквивалентна никакой предшествующей SF, будем называть каноническим и обозначать csm'1 (canonical set).
Определение 1.10. Любую NSFm1'1 будем называть канонической формой и обозначать OF™'1 (canonical form), если ее параметры принадлежат cs"1'1.
Таким образом, матрицы OF"1'1 и NSF™1'1 выглядят одинаково, но параметры
m'l m'l m'l
Or^ принадлежат csi ' —это psi , из которого удалены те значения параметров, при которых представители NSF™1'1 заменами (1.2) сводятся к предшествующим SF.
Утверждение 1.3. Любые две канонические формы линейно не эквивалентны.
Это очевидное утверждение означает, что никакие два представителя различных CF или, что то же самое, никакие две системы (1.1), порожденные соответствующими числовыми матрицами, не могут быть связаны линейной неособой заменой.
При l = 2, 3 понятия канонической формы и канонического множества требуют уточнения. Дело в том, что при определенных значениях дискриминантов CF"1'1 может перестать быть канонической, т. е. окажется, что все ее представители, значения которых берутся из допустимого множества с определенными третьим и четвертым верхними индексами, сводятся в предшествующие формы. В таких случаях в обозначении каждой CF"1'1 на третьем и (или) четвертом верхних местах будут перечисляться те значения дискриминантов, при которых она остается канонической, и будут описываться все канонические множества при этих значениях дискриминантов.
В ряде случаев канонические множества параметров удается дополнительно ограничить при помощи линейных замен, преобразующих CF в себя. Любое такое ограничение в дальнейшем, безусловно, облегчает нахождение обобщенных НФ возмущенных систем.
Определение 1.11. Каноническое множество любой CFim'1 будем называть минимальным и обозначать mcs™'1 (minimal cs), если найдена линейная неособая замена, преобразующая CF"1'1 в себя и позволяющая ограничить значения элементов
m'l
csi , а именно, если это возможно, хотя бы один из неединичных элементов получен ограниченным сверху и (или) снизу и (или) зафиксирован знак множителя а.
Таким образом, если CF"1'1 не содержит параметров или их невозможно огра-
^rn l ^rn l
ничить, автоматически выполняется csi ' = mcsi ' , т.е. оно является минимальным.
Определение 1.12. Множество, содержащее те значения параметров из csmí'l, от которых удается избавиться при помощи линейных неособых замен, переводящих CF"1'1 в себя, будем называть дополнительным и обозначать acs"'1 (additional cs).
гтл rni'l rni'l\ rni'l
Тем самым, можем записать mcs^ = csi \acsi .
Понятие acs введено потому, что на практике удобнее выписывать его, а не mcs.
1.4. Вырожденные формы при l = 3. Наряду с невырожденной системой
(1.1), отождествляемой с матрицей коэффициентов A = ( ai ci jM, в случае
ya,2 02 c2 d2 J
l = 3 имеются системы, одна из строк матрицы A которых может равняться нулю.
Определение 1.13. Структурную /х-форму А (¡л = 1,4) будем называть вырожденной и обозначать SF^ (degenerate SF), если выполняется A2 = 0.
Тогда полученная из SF^ при помощи перенумерации (2.7)1 форма с нулевой первой строкой с учетом СПЗ1 и определения (1.3) оказывается дополнительной.
Отметим, что возможное использование при получении SF^ перенумерации приводит к отказу от соглашения 2.8 из [1] и допускает случай ai,bi =0, A2 =0.
Систему вида (1.1), порожденную вырожденной SF, естественно называть вырожденной. Она возникает только при l = 3 и является системой (2.20)1 с к = 0.
Для SF^'3 сохраняются все СП, кроме СПЗ3, который заменяется следующим принципом: СПЗd3) иначе, следующий за ним ненулевой элемент в A1 имеет меньший индекс.
Теперь для любого ц = 1,4 согласно введенной упорядоченности каждой SF сопоставим свой номер i и будем обозначать ее SF ¿¿'3. На SF ¿¿'3 естественным образом распространяются все НП, дальнейшие определения и обозначения с поправкой на то, что в НП1 оба нормируемых элемента берутся из строки A1.
В заключение опишем возможности, которые предоставляет использование вырожденных канонических форм для нормализации возмущенных систем в случае l = 3.
Дополнение 1.1. Использование CF^'3 позволяет тремя различными способами нормализовать систему (1.4)1 x = P(x) + X(x), где P относится к случаю l = 3:
1) использовать саму CF^'3 в качестве невозмущенной части;
2) использовать CF1П'3 в качестве невозмущенной части, сделав в возмущенной системе соответствующую линейную замену, переводящую CF ¿'3 в CF"'3;
3) избавиться от вырожденности невозмущенной части CF^'3, добавив в P2 = 0 какие-либо члены из возмущения системы (1.4)1 так, чтобы новая невозмущенная часть превратилась в квазиоднородный многочлен за счет введения соответствующего веса.
Соглашение 1.3. В дальнейшем: 1) запись «... Z = [ V и1 ] ... п = [ ft V и2 ] ... » будет означать, что выполняется или Z = ?1, п = ft, или Z = и1, п = и2; 2) условие, заключенное в круглые скобки и записанное после другого условия, не является требованием, а приводится в качестве напоминания для лучшего восприятия последующих рассуждений; 3) в формулировках результатов отличие от нуля выражений, стоящих в знаменателе, не является предположением, а устанавливается в ходе доказательства.
2. Канонические формы однородной кубической системы с общим множителем третьей степени. 2.1. Шесть классов линейной эквивалентности
систем при l = 3. Рассмотрим систему (1.1) x = P(x) = Aq[3 (x), которая при l = 3 с учетом пропорциональности ненулевых строк матрицы A в (2.20)1 (P2 = kP1) и со-
глашения 2.3 из [1] однозначно по формулам (2.23)1 записывается в виде (2.21)1:
х = Рс (Х)НХ, Ро = X? + 2^x1x2 + Н = ^^ (2.1)
По теореме 2.2 из [1] любая замена (1.2) х = Ьу сводит (2.1) к системе (2.17)? вида
у = (й, 2/3, 7) ^(у) Ну, (2.2)
в которой использованы обозначения а = г2 + 2^г?Г2 + 7г2, 3 = г?в? + в(г1в2 + Г2в1) + 1г'2в2, 7 = в2 + 2вв1в2 + 7е2 (а = 1) согласно (2.18)1 и введенная там же матрица Н — особая, т. е. выполняется ¿р^ = 0.
При этом любая линейная неособая замена преобразует матрицу
а1 61 С1 ¿1 \ а ((в2 — кв 1)3 (в2 — кв 1)Ь (в2 — кв 1)3 (в2 — кв^с/А ка1 кЬ1 кс1 к<1) \(кг1 — г2)3 (кг1 — г2)Ь (кг1 — г2)с (кг1 — г2)< ) '
Вид матрицы А позволяет установить некоторые связи между коэффициентами замены и структурами связуемых систем.
Утверждение 2.1. Пусть замена (1.2) сводит (2.1) к системе (2.2), тогда:
1) если справедливо Р2 = 0 к = 0, выполняется Р2 = 0 г2 =0;
2) если справедливо Р2 = 0 к = 0, выполняется Р1 = Р2 к =1 г2 = —в2 = 0;
3) если справедливо Р1 = Р2 к = 1, выполняется Р1 = Р2 к = 1 г2 =
Г1 + в1 — в2. _
Выберем замену (1.2) так, чтобы в системе (2.2) Н оказалась жордановой. Вид замены будет, конечно, зависеть от выбора знака дискриминанта О = А2 характеристического полинома матрицы Н, являющегося линейным инвариантом; здесь согласно (2.22)1 собственные числа удовлетворяют равенствам А1 = р1 + к^ и А2 = 0. Поэтому множество систем (2.1) разбивается на два линейно неэквивалентных класса в соответствии со знаком О.
Замена = ( , 91 ) при О > 0 или замена = ( , _ 1 ) при О = 0
1 \к —Р1) 2 \к 91 7
преобразует систему (2.1) в систему (2.17)1 соответственно одного из двух видов:
А = А (з 2в 7 0а А = А^0 0 0 0) ,
а = 1 + 2]3к + 7к2, 7 = ад1 — 2вР191 + 7р2,
£ = (1 + вк)я1 — (в + 7к)Р1; Р1 + к91 = 0; (2 з)
А = (0 а 2^ 7а н-(° 1а .
^ 5 А1 0 Н = '00
ч0 0 0 0у ' \0 0у
а = 1 + 2@к + 7к2, в=(в + ^к)ч-1, 7 = 79Г2; Р1 + к91 =0 (91 =0).
Очевидно, что (2.З1) и (2.З2) — это вырожденные системы вида (2.20)1 с к = 0.
В силу (2.19)1 Ос = ¿2Ос множество систем (2.1) разбивается также на три линейно неэквивалентных класса в зависимости от знака Ос = в2 — 7 — общего множителя Рс.
Последовательно фиксируя в дальнейшем различные сочетания знаков дискриминантов Ос и О, в каждом из шести классов эквивалентности будем максимально упрощать систему (2.3), сохраняя при этом ее вырожденность.
2.2. Построение вырожденных канонических форм. Докажем, что приведенный ниже список содержит все возможные вырожденные канонические формы системы (2.1) со своими каноническими множествами из определений 1.9,1.10. Список 2.1. Десять СЕ^'1 и их нетривиальные св^'1 (а, к = ±1):
СЕЦ' = ' > = <(1, 0, 0, 0), СЕ13 = = = а(0,1, 0, 0), СЕ13'=' > = а(0, 0,1, 0),
СЕ1^ = = = <(0, 0, 0,1); СЕ2,3' = > = <(1,1, 0, 0), СЕЦ К > = а(к, 0,1, 0),
СЕЦ' < > = <(1, 0, 0,1), сеЦ- > - > = а(0,1,1, 0), СЕ1 ''3+1= = <7(0, +1, 0,1);
СЕЦ К > = а(у, 1,1, 0);
2 ' 3 ' Св1' 2 , > > 1 = {к = -1}, 2 - 3 -Св1 - 2 , < - > + 1 = {к = 1};
3,3, С81,1 > > = {V < 1/4, V = 2/9}, 3 3 С81,1 < - > = {V > 1/4, V = 1/3}.
Здесь 3-й и 4-й верхние индексы указывают знаки Ео, Е, при которых формы являются каноническими, а в правых частях выписаны только строки А\, поскольку все А 2 — нулевые.
Утверждение 2.2. при V = 2/9 заменой (1.2) с «1 = —3«2/2, г2 =0
сводится к 5Е(22'->1>; при V = 1/4 заменой с в1 = —2«2, г2 =0 сводится к 5Е23'='>; при V = 1/3 заменой с в1 = —2«2, г2 =0 сводится к 5Е2д'<'>; при остальных значениях V к предшествующим формам не сводится.
Набор 2.1. Замены, используемые в дальнейшем в разделе 2: 33 = {г1 = 1, «1 = 41, Г2 = к, в2 = -Р1}, = {г1 = 1, «1 = 0, Г2 = к, «2 = Ч-1};
ЬЦ'>'> = {Г1 = (2/3)-17«2, «1,Г2 =0, «2 = |7А1|-1/2};
^2;-'1> = Ь = |йЛ1|-1/2, 81 = [оу-а-1^|а|1/2|у82А1|-1/2]) Г2 = 0>
52 = [|7А1Г1/2У^2|7А1|-1/2]}; р33{>'> = {п = (2^)-17«2, «1,Г2 =0, «2 = |7А1|-1/2}; Ь^'='> = {Г1 = (а|Л1|)-1/2, *1,Г2 = 0, «2 = 1};
ь ¿;3'='> = {п = 1, «1,Г2 = 0, «2 = (7|Л1|)-1/2};
ь2£='> = {Г1, «1 = (а|Л11)-1/2, Г2 = 0, 52 = -а/3-1 «1};
Ь¿2'='= = {Г1 = а-1, «1 = -а-1/3, Г2 =0, «2 = 1};
Ь¿'4'='= = {г1 = 1, «ь г2 = 0, «2 = 1};
ЬЙ'<1> = {п = |аЛl|-1/'2, В1,Т2 = 0, «2 = (7|Л1|)-1/2}; Ь2А'<'> = {Г1, «1 = аЛ1|-1/2, Г2 =0, «2 = -3а(2,7)-1 «1}; Ь£<'> = {Г1 = (2^)-171/2|Л1|-1/2, ««1, г2 = 0, «2 = |7Л1|-1/2}; Ь¿''б'+'Г = {Г1 = а-1 «-1, «1 = -а-1 в7«2, Г2 =0, «2 = 7-1/2}.
Теорема 2.1. Любая система (1.1) с I = 3, записанная в виде (2.1) согласно (2.23)1, линейно эквивалентна системе, порожденной неким представителем соответствующей вырожденной канонической формы из списка 2.1. Ниже для каждой СЕ^'3'*'* приведены: а) условия на коэффициенты системы (2.1), Ь) замены (1.2), преобразующие правую часть (2.1) при указанных условиях в выбранную форму, с) получаемые при этом значения множителя а и параметров из .
СЕ2'43'>'> : а) ч < в2, Л1 =0, в (2.31) а = 0, 7 = 0, Ь) Г3, Ь^'>'>, с) а = 81ёп (7Л1);
GF2df>'> : a) Y < ß2,Xi = 0, e (2.3!) a = 0, ß = 0, ß2 = [0 V 9aY/8],
b) Jf, Ld;2;-!>, c) a = [sign(YXi) V -sign(YXi)];
CF3f>,> : a) y < ß2, Xi =0, e (2.3i) a = 0, Y = 0, ß2 =0, 9aY/8, b) Jf, Ldf»,
c) a = sign(YXi), v = a.Y(2ß)-2;
CF^f ;=;> : a) y = ß2, Xi =0, e (2.3i) Y = 0, b) Jf, , c) a = sign Xi;
CFiff ;=; > : a) y = ß2, Xi =0, e (2.3i) a = 0, b) Jf, L^=; >, c) a = sign Xi; CF2;f ;=; > : a) Y = ß2, Xi =0, e (2.3i) a = 0, 7 = 0, b) Jf, L\\;=; >, c) a = sign Xi; CFif;=; =: a) y = ß2, Xi =0, e (2.32) a = 0, b) Jf, L^;=;= , c) a = 1; CF^f;=; =: a) y = ß2, Xi =0, e (2.32) a = 0, b) Jf, L^ ;=;=, c) a = 1; CF2df<1> : a) Y> ß2, Xi =0, e (2.3i) ß = 0, b) Jf, L%;+>, c) a = sign Xi; CF2f < ; > : a) Y> ß2, Xi =0, e (2.3i) ß = 3aY/4, b) Jf, L2d; ff< ; >, c) a = sign Xi; CF1;1 ; <; > : a) y > ß2,Xi =0, e (2.3i) ß = 0, 377/4, b) Jf, Lzd;! ; < ; >, c) a = sign Xi, v = a7(2>)-2;
CFd^-ii" : a) y > ß2, Xi = 0, ä, ß, 7 из (2.32), b) Jf, Ldj; <_•=, c) a =1. Доказательство. Системы (2.31), (2.32), полученные из (2.1) заменами Jf, Jf, станем максимально упрощать, сохраняя условие P2 = 0. Для этого согласно утверждению 2.11 используем произвольную замену (1.2) с Г2 =0, сводящую (2.3i), (2.32) соответственно к системам с нулевой второй строкой
A = X2 ar2, (3asi + 2ßs2)ri, 3as! + 4ßsiS2 + Ys2, (cßs2 + 2ßsis2 + ßs2)r- 1 si) At = ^0, ariS2, 2(asi + ßs2)s2, (as2 + 2ßsis2 + 7s2)r-!s^ .
(2.4)
Элементы этих систем будем отмечать символом
I) Рассмотрим Во > 0, т.е. Ро(х) раскладывается на два различных сомножителя.
I 1) X 1 = р 1 + кд1 =0 (В = XI > 0). Из (2.1) заменой Jf получена система (2.3 1).
II ) а = 0, 7 = 0. Тогда в (2.3 1) получаем Р1 = (2/Зу 1у2)(Х 1 у 1), что невозможно, поскольку по соглашению 2.З1 и следствию 2.1 из [1] в системе (2.З1) должен быть вынесен у2.
II) а = 0, 7 = 0. Тогда в (2.31) будем иметь Р1 = (ау2 + 2/Зу1у2)(Х1 у1) — ситуация из случая 11).
11) а = 0, 7 = 0 (в7 = 0). Система (2.41) преобразуется к виду Х1в2(0, 2/Зг1, 4/Зв1 + ®я2, (2/Зв1 + 7в2)в1г^1) и с2 + ¿2 =0. С учетом СП2 получим <¿1 =0 в1 =0. Тогда система (2.41) может быть записана в виде Х1 в2(0, 2/Зг1 ,®$2, 0). При Г1 = 7(2/3)-1S2, в2 = 17X11-1/2 — это От2;3 ->-> с а = sign (7X1).
13) а,7 = 0.
13а) 7 = 0 (а7 < 0). Тогда при в1 =0 система (2.41) преобразуется к виду Х1(аг2, 0,7$2,0). При Г1 = |аХ1|-1/2, 52 = 17X11-1/2 —это С^!-^ с а = sign(7Xl).
1?Ь) в7 = 0 (7 = (7 - а7)1/2 = 171). _ "_
Случай Ь1,с1 = 0 потребовал бы, чтобы в1 = (-2/3 ± (4/32 — За7)1/2)(3а)-1в2 и в1 = —2/3(3а)-1в2, но тогда получаем 4/32 — 3а7 = 0, что невозможно, так как выполняется /З2 > а®.
Поэтому с учетом СП2 получим <1 =0 в! = а-1(— /3 ± 7)в2 или в1 = 0.
Система (2.4i) при выполнении таких связей имеет вид соответственно Ai (or?, /3(37|¡3\-1 — 1)r2s2, 2й-1С(С - \f3\)sl, 0) или Ai (or— 2/?г^2, 0) . (2.5)
If1) m = 37 m = 3(2Й7)1/2/4 > о). При П = IcfeAil-1/2,
s2 = V2I7A1I-1/2, si = -й-1/3|й|1/2|(02Л1|-1/2 система (2.50-это C^d.t-^ c a = —sign(7Ai).
1?62) 37 = |¡3\ & /32 = 9cry/8. Тогда система (2.5?) при ri = (2/3)-i7S2, s° = 0, s? = |YAi |-i/2 — это CF°33'> '> с a = sign(7Ai), v = &7(2С)-2 (v < 1/4, v = 0, 2/9).
12) Ai = pi + kqi =0 (q2 = 0). Из (2.1) заменой J3 получена система (2.32).
12) a,7 = 0. Тогда в системе (2.32) Pi = (2/yyiy2)(y2) — ситуация из случая 1°).
12) а = 0, 7 = 0. В (2.32) получаем P- = (ay2 + 2Cyiy2)(y2), что невозможно, так как по соглашению 2.32 из [1] при правильной группировке выполняется Pi = (ayy + 2/3y2)(yi) и Ai = 1.
12) а = 0, Y = 0. Тогд^в (2.32) -Pi = (2/3yiy2 + 7У2ХУ2) — ситуация из случая 10).
12) a, Y = 0. В (2.32) Pi = (5y2 + 2/?У1У2 + 7уЮ(У2) = (a(yi + СУ2ХУ1 + ПУ2ЖУ2) с С = П — ситуация из случая 12).
2) Рассмотрим Do = 0, т. е. общий множитель Po(x) является полным квадратом.
2i) Ai = pi + kqi =0 (D = A2 > 0). Из (2.1) заменой J3 получена система (2.3i).
21) 7 = 0 (Z7 = 0, a > 0). Тогда при s2 =0 система (2.4i) преобразуется к виду (Aiar2, 0,0, 0). При r2 = (a|Ai|)-i/2, s2 = 1 — это CF^f '='> с a = sign A3.
22) a = 0 (Z? = 0, 7 > 0). Тогда при s2 = 0 система (2.4i) может быть записана в виде (0,0, A i7s2, 0). При r i = 1, S2 = (7|A 11)- i /2 —это CF^ff'=' > с a = sign A i.
2- ) С > 0, С > 0 (7 = a- 1ft2). Тогда в (2.4 1) будем иметь c2 = A 2a- 1 (3as 1 + Cs2)(as 1 + CS2), di = A 1 (ar 1)- 1 s 1 (as 1 + Z^)2, а значит, при S2 = —aft- 1 s 1 систему (2.4i) можно переписать в виде Aiari(ri ,si, 0,0). При ri,si = (a|A- |)-1/2 —это CFl- '='> с a = sign A3 .
22) Ai = pi + kqi =0 (qi = 0). Из (2.1) заменой J3 получена система (2.32).
22) a > 0 (7 = a-1 ft2). Тогда в (2.42) будем иметь c2 = 2s2(as3 + Cs2), d2 = (ar-)-1 s2(asi + Z?s2)2, значит, при si = —a-1 ?S2 (2.42) можно переписать в виде (0, aris2, 0, 0). При г- = a-1, s2 = 1 — это CF-'='=.
22) a = 0 (ft = 0, 7 > 0). Тогда система (2.42) будет иметь вид (0,0, 0,7r-3s3). При r- = 7, s- = 0, s2 = 1 — это CF-3 ' =.
3) Рассмотрим Do < 0, т. е. Po не имеет вещественных нулей.
3-) A- = pi + kqi =0 (D = A2 > 0). Из (2.1) заменой Jf получена система (2.3°).
3 1) С = 0 (а7 > 0). Тогда при s 1 = 0 система (2.4 -) преобразуется к виду
Ai(Cr2, 0,7s2,0). При ri = |aA-1-1/2, s2 = |CAi|-1/2 —это CF^l > с a = sign A-. 3-) С = 0. "
32a) 7 = 4(3a)-1 ft2 (> &-1 С2). Тогда при s2 = —3&(2ft)-1s1 система (2.43) может быть записана в виде aA3(r2, 0, 0,r-1s3). При r2,s2 = |aA31-1/2 — это CFd33 ' < ' > с a = sign A-.
3f) 7 = 4(3a)-1 ft2. В (2.4°) получаем d- = A-(as- + 2,Csis2 + 7s2)r-1 s2. Тогда при s2 = 0 система (2.4°) преобразуется к виду A-(ar2, 2ftr1s2, ys2, 0). При r2 = (2Z?)-171/21A-1 1/2, s2 = |7Ai| 1/2 —это CF313• < • > с a = signA-, v = &7(2ft)-2 (v > 1/4, v = 1/3). '
32) А1 = р1 + к^ =0 = 0). Из (2.1) заменой получена система (2.32). При $1 = —а-1 ¡Зв2 система (2.42) может быть записана в виде (0, От1$2,0, а-1т2т-1 в3).
1
= г-1/2
это СЕ2 V3 < = с а = 1.
При Г1 = а 1в2 ', в2 = т ■ а,5 ,+1
В результате оказалась доказана полнота списка 2.1 и линейная неэквивалентность входящих в него форм. □
Выделим минимальные канонические множества, введенные в определении 1.11. Утверждение 2.3. Только в следующих формах из списка 2.1 удается ограни-
чить значения параметров в ев : 1) в ОЕ^ '2' ' , СТ^ '3 ' ' , ОЕ^ '5 '+ ' нормировка
(2.6)1 с т1 = 1, в2 = —1, а в ОЕ^'3 ' > ' > замена с т1, $1 = 1, т2 = 0, в2 = —1 изменяют знак а; 2) в ОЕ3'3 '> ' > при Т = т £ (2/9,1/4) замена с Т1 = (8т — 2 + 2д)1/2(6т — 1 — д)(4Т)-1(9т — 2)-1, в1 = (8Т — 2 + 2д)1/2(4т — 1 — д)(4Т)-1(4Т — 1)-1, т2 = 0, в2 = —(8Т — 2 + 2д)1/2(2д)-1, где д = (1 — 4Т)1/2, дает т = (36Т2 — 13Т + 1 + д(1 — 3Т))(9Т — 2)-2/2, поэтому т £ (0, 2/9).
Следствие 2.1. Согласно определению 1.12 имеем следующие дополнительные
1 , 3 ,=, = 1 , 3 ,=,= 2 , 3 , > , > 2 , 3 , <, = г 3 , 3 , > , > Го/п ,
ев: ае$22 , аев^ 4 , ае$2 4 , аев^ 5 +1 = {а = — 1}, ае$2 1 = {2/9 < V < 1/4}; для остальных вырожденных канонических форм из списка 2.1 выполняется
и' 3 '4= '4= а' 3 '4= '4=
тевй' ' ' = ева' ' ' ■
2.3. Сведение вырожденных канонических форм к каноническим. Докажем, что приведенный ниже список содержит все возможные канонические формы системы (2.1) и их канонические множества, введенные в определениях 1.9,1.10.
Список 2.2. Семь ОЕт3
т' 3 / | -| \
и их нетривиальные евЛ \ (а, к = ±1):
ОЕс
ОЕ\
2 3 = 5
4 3 = 18 '-1
Пт?4 ' 3 ' < ' > СЕ 21 ' к ='
ОЕ96'3'=
: ' > = а
$4 Д > ' > $20
0 0
—1 —1
к к
2 3
—2 2
СЕ,
ОЕ 4'3 ' ^ ' > СЕ 20
от8 '3'=
{и < 0}, ев
4 3 < > 20
{и > 0}; ев413+<'>
—3 —3
{к =
—1 1
4 3 < = 1}, ев21 '-1
{к = —1}.
Набор 2.2. Замены, используемые в дальнейшем в разделе 2:
Т 2,3, = ,> ЬЪ = {Т1, -Г2, 82 = 1, 81 = 0}; т14,3,<,> = т120 = {Т1,81, -Т2 82 =3-1/2 };
т 2,3, = ,> Т6 = {Г1, -Г2, 82 = 1, 81 = 0}; 4,3,<,> т 220 = {Т1 = 0, 81 = -2, -Т2,82 = 1};
т 4,3, = ,= Т18,-1 = {Г1 = 0, 81 ,Т2, -82 = 1}; 4,3,<,> т21, + 1 = {Т1,81 = 2- 1/2 1 2, -Т2,82 = (3/2)1/2 };
го4,3,>,> т220 = {Т1,81,82 = 1, Г2 = -1};
т4,3,<,= Ь21,-1 = {Т1,в1 = 33/4 2-1/2 Т2,-82 = 31/4 2-1/2 };
т120 = {Т1,в2 = 2-1/2,81-- = 82/3, Т2 = -82}; Т9 = {Т1 = 0, 81, - Т2, 82 = 1};
го4,3,>,> т320 = {Т1 = 0, «1 = -2, - -Т2,82 = 1}; т1 = {Т1,Т2, -82 = 1, 81 = 0}.
а
а
а
а
=а
Установим линейные связи между вырожденными и невырожденными каноническими формами, доказав, тем самым, линейную неэквивалентность всех СЕ]71'3.
Теорема 2.2.
СЕ'2->> с а = а заменой Ы^о3'> ' > сводится к СЕ^3'>'> с а = -а, и = -1/9;
СЕ''4' > ' > с а = а заменой Ь2^03 '> ' > сводится к СЕ^3'>'> с а = -а, и = -1;
СР.3'1 '> ' > заменой Ь3^03 '> ' > сводится к СЕ^3'>'> с и = 4v - 1 (и < 0, и = -1, -1/9);
1'3' = ' > ________л Т 2 '3 ' = ' > т-,2 '3 ' = ' >. т-,1 '3' = ' > ________л т 6 ' 3 ' = ' > т-,6'3 ' = ' >
СЕЛ'3' ' заменой Ь^' ' ' —к СЕ9
гч?1,3'='= - т-4 '3'='= г^т?4'3='=
2 заменой Ь:8 '_{ —к СЕ 2 3 < > 4 3 < > 4 3 < >
СЕ а 2 +1 заменой Ь2: +1 —к +1
СЕ3: 1'=' заменой Ь5 ' '=' —к СЕ5 СЕ' '3 '=' > заменой Ь6'3 '=' > — к СЕ^ ' 3 '=' > СЕ1'4'='= заменой Ь'3 '='= — к СЕ8' 3 '='= СЕ'3'<'> заменой Ь^3 '< ' > сводится к СЕ^3'<'> с и = 1/3; СЕа< ' > заменой Ь24'3'<'> сводится к СЕ^3'<'> с и = 4v - 1 (и > 0, и = 1/3); СЕ^5'<1= с а = а заменой Ь^3—!' = сводится к СЕ2413—<' = с а = -а.
Доказательство. Для каждой СЕ^'3 из списка 2.1 сделаем замену (1.2), в которой согласно утверждению 2.12 выполняется г2 = -«2 =0. Введем для краткости
¿1 = (Г1 + «1)-1.
СЕ1'4' >' > сводитсяк а(г1 (г1 - «2), г2 - 2г:«: - 2г:«2 + «1 «2, 2г:«: + г:«2 - «1 - 2В1В2, «1(«1 + «2))^1 «2. При Г1, «1 = «2 получаем 5Е2д3 '> ' > вида а(0, -1, 0,1)«2
СЕ2'2 —1> сводитсяк а(г1(г1 -«2)(г: + «2), 3г2Вl + 2г:«2-вlв2, 3гlВ2-г:«2 + 2«:«2, вl(вl - В2)(«1 + «2))^1. При г:, 3«1 = «2 получаем 5Е2о3'> ' > вида 2а(0, -1, 0,1/9)«2.
4 3 4 3 > >
Вместо с = 0 можно сделать = 0, получая 5Е23 , которой СЕ20 ' ' предшествует.
СЕ3''>'> (V < 1/4, V =0, 2/9) сводится к а(г2^г2 -г2в2 + «2), 3vг2в2 -2г2в2в2 + г2«2 - 2г1«2 + В'«2, 3vгlВ2 + 2г:В1В2 - в'«2 - 2в1«2 + г:«2, Вl(vв2 + «:«2 + «2))^:. При г: = 0, в: = -2«2 получаем 5Е2д3 вида а(0,1, 0,4v - 1)«2. Также можно получить
5Е2433. 13_
СЕ' '1' ' > сводитсяк а(г3, 3г2«1, 3г:в2,в3)^:. При «: =0 получаем 5Е5 ' ' ' > вида а(1, 0,0,0)г2.
СЕ''3'='> сводится к а(г:, «: -2г:, г: -2«:, в:)^:«2. При г: =0 получаем 5Е96 ' 3 '='> вида а(0,1, -2,1)«2. Вместо аг =0 можно сделать Ъг = 0, получая БЕ^3.
СЕ(г'1'=' > сводитсяк а(г2 (г: - «2), г:(3г:в: - 2«:«2 + г:«2), «: (3г:«: + 2г:«2 - В1В2), в2(в2 + в2))6:. При г2 = в2, в2 =0 получаем БЕ^'3 '='> вида а(0,1, 0,0)«2.
СЕ''2'=' = сводится к а(-г2,г2(г2 -2в2), в2(2г2 -в2), в2)£:в2. При г2 =0 получаем БЕ^3—2' = вида а(0, 0,-1,1)«:«2.
СЕ' '4 '=' = сводитсяк а(-1, 3, -3,1)£:в3.
СЕ2 '23 '<:> сводитсяк а(г2 (г2 + «2), 3г2в: - 2г:«2 + в:«2, 3г:«2 - 2в:«2 + г2 «2, в:(в2 + «2))^. При г:, в: = 3-1/2в2 получаем 5Е2413+< '> вида 2а(1,0, 0,1)«2/3.
СЕ'!'<'> сводится к а((г: - «2)(г2 + г:«2 + «2), 3(г2«: + «2), 3(г:«2 - в3), («: + «2)(«2 - «:«2 + «2))^1. При г:, «: = «2 получаем 5Е2д3 '< ' > вида 3а(0,1,0,1/3)«2. СЕ33'< ' > (V > 1/4, V = 1/3). Все аналогично СЕ4'4'> ' >.
СЕ2,3'<1= сводится к а(-г2 - «2, г2 - 2г:в: + 3«2, 2г:в: - «2 - 3«2, в2 + «2)^:в2. При г:,«: = 31/2в2 получаем 5Е2413'<' = вида 2а(-1, 0,0,1)«2/31/2.
Теперь во всех полученных БЕт'3, следуя НП, остается сделать нормировку (2.6)1.
Поскольку СЕ%' из списка 2.1 попарно линейно неэквивалентны и к одной из них сводится любая исходная система (2.1), то список 2.2 исчерпывает все СЕт'3. □
Из теорем 2.1 и 2.2 вытекает утверждение, устанавливающее линейные связи между исходной системой (2.1) и различными каноническими формами из списка 2.2.
Теорема 2.3. Любая система (1.1) с l = 3, записанная в виде (2.1) согласно (2.23)1, линейно эквивалентна системе, порожденной неким представителем соответствующей канонической формы из списка 2.2. Ниже для каждой CF"1'3 '* '* приведены: а) условия на коэффициенты системы (2.1), b) замены (1.2), преобразующие правую часть (2.1) при указанных условиях в выбранную форму, с) получаемые
m- 3 , =+= , =+=
при этом значения множителя а и параметров из csi :
CF2403 ->-> : a) y< в2, Ai =0, в (2.3i) Y = 0 и: ai) а = 0, 6i) J?, Lg>->, L12? ->->, ci) а = —sign (YAi), u = -1; a2) a = 0, Y = [0 V 9^/8], 62) J?, L2d'32-, L22Q->->, c2) а = [ —1 V 1] • sign(YAi), u = —1/9; a3) a = 0, Y = 0, 9aY/8, 6?) J?, Ld-i-> - >, L34q? -> - >, c?) а = sign(YAi), u = &YY-2 — 1 (u < 0, u = —1, —1/9); CF52- ? -=-> : a) Y = в2, Ai =0, в (2.3i) Y = 0, b) J?, Ld-i-=->, L25-? -=->, с) а = sign Ai; CF96 - ? -=-> : a) y = в2, Ai =0, в (2.3i) aY = 0, b) J?, Ld-=->, L9- ? -=->, с) а = sign Ai;
CF2-? •=• > : a) y = в2, Ai =0, в (2.3i) a,Y = 0, b) Jf^d'^-=->,L26-? •=• >, с) а = sign Ai ;
CF^-l - =: a) y = в2, Ai =0, в (2.32) aY = 0, b) J?, L^-=-= , L^C-= , с) а =1; CFi8 - ? -=- = : a) y = в2, Ai =0, в (2.32) aY = 0, b) J?, Ld-4-=-= , Li- ? -=-=, с) а =1; CF24i?;1 -> : a) y > в2, Ai =0, в (2.3i) ~Y = 0, b) J?, L\2 -+>, L4i?:<->, с) а = sign Ai; CF240? -< - > : a) y > в2, Ai =0, в (2.3i) : ai) £2 = 3aY/4, 6i) J?, L2J?<->, L1^-<->, ci) а = sign Ai, u = 1/3; a2) P2 = 0, 3aY/4, 62) J?, L3d-?-<->, L240? -< - >, c2) а = sign Ai, u = aY/3-2 (u > 0, u = 1/3);
CF2413-<l - = : a) y > в2, Ai = 0, aY, ~Y,Y из (2.32), b) J?, Ld-5-+=, l4i?-<1=, с) а = —1. Здесь замены J?, J?, Ld-* - * приведены в наборе 2.1, а Lm-? -* - * — в наборе 2.2.
Выделим минимальные канонические множества, введенные в определении 1.11. Утверждение 2.4. Только в следующих CFm-? из списка 2.2 удается с учетом утверждения 2.1? ограничить значения параметров в csm-?, а именно:
1) в CFig?—i = замена с ri = 1, si = —2, r2 = 0, s2 = —1, а в CF^f-i-= , CF8? -=-= перенумерация (2.7)i изменяют знак а;
2) в CF^Q3 -> - > при u = u е (—ж, —1) U ( — 1, —1/9) замена с ri = g(2u + 2g)-i/2, si = -Зд(д-1)(Зд+1)-1(2й + 2д)-1/2, r2 = (2й + 2^)-1/2, s2 = (д-1)(Зд+1)-1(2й + 2д)-1/2, где g = л/—и, дает и = —(g — l)2(3g+ 1)~2, поэтому выполняется и G ( — 1/9,0), а при u = —1 замена с ri = 1/2, si = —3/2, r2, s2 = —1/2 изменяет знак а.
Следствие 2.2. Согласно определению 1.12 имеем следующие дополнитель-
4 -? - = - = 4 -? -<- = 8 -? - = -= Г -п 4 -? ->-> Г ,_ , чч..
ные cs : acsi8 _i , acs^i , acsi = (а = —1), acs^Q = {u е (—ж, — 1) U
( —1, —1/9), а = —1 при u = —1); для остальных канонических форм из списка 2.2
справедливо mcsm-? -* - * = csm-? -* -*.
Литература
1. Басов В. В. Двумерные однородные кубические системы: классификация и нормальные формы — I // Вестн. С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2016. Т. 3 (61). Вып. 2. С. 181-195.
Статья поступила в редколлегию 18 февраля 2016 г.
Сведения об авторе
Басов Владимир Владимирович — кандидат физико-математических наук, доцент; vlvlbasov@rambler.ru
TWO-DIMENSIONAL HOMOGENEOUS CUBIC SYSTEMS: CLASSIFICATION AND NORMAL FORMS — II
Vladimir V. Basov
St.Petersburg State University, Universitetskaya nab., 7—9, St.Petersburg, 199034, Russian Federation; nina-mpu@mail.ru
In the first part of the paper properly designed structural principles are given to introduce a total order on the set of structural forms — vector polynomials with a fixed number of zero coefficients which represent right-hand parts of two-dimensional homogeneous cubic systems of ODE. Among them normalized based on the principles of normalization structural forms and linear non-equivalent to each other, the simplest in their class canonical forms (CF) are sequentially distinguished.
In the second part of the paper for the mentioned systems the right-hand part components of which are proportional all CF are distinguished with their canonical sets of permissible values. For each CF are given: a) the conditions on the coefficients of the original system, b) linear substitutions that reduce the right-hand part of the system under these conditions to the chosen CF, c) obtained values of CF's coefficients.
This paper is a direct continuation of [1], so it retains all previously introduced notations. Refs 1. Keywords: homogeneous cubic system, normal form, canonical form.
References
1. Basov V. V., "Two-dimensional homogeneous cubic systems: classification and normal forms. I", Vestnik St. Petersburg University. Mathematics 49(2), 99—110 (2016).
Для цитирования: Басов В. В. Двумерные однородные кубические системы: классификация и нормальные формы — II // Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия. 2016. Т.3(61). Вып. 3. С. 355-371. DOI: 10.21638/11701/spbu01.2016.302
For citation: Basov V. V. Two-dimensional homogeneous cubic systems: classification and normal forms — II. Vestnik of Saint Petersburg University. Series 1. Mathematics. Mechanics. Astronomy, 2016, vol. 3(61), issue 3, pp. 355-371. DOI: 10.21638/11701/spbu01.2016.302
