CC BY
21
www.volsu.ru
МАТЕМАТИКА
ТРУДЫ III МЕЖДУНАРОДНОЙ КОНФЕРЕНЦИИ «ГЕОМЕТРИЧЕСКИЙ АНАЛИЗ И ЕГО ПРИЛОЖЕНИЯ»
DOI: https://doi.org/10.15688/jvolsu1.2016.4.1
УДК 512.62+004.421.6 ББК 22.143+22.21
РЕЗОНАНСНОЕ МНОЖЕСТВО МНОГОЧЛЕНА И ПРОБЛЕМА ФОРМАЛЬНОЙ УСТОЙЧИВОСТИ
Александр Борисович Батхин
Кандидат физико-математических наук, старший научный сотрудник, Федеральный исследовательский центр Институт прикладной математики им. М.В. Келдыша Российской академии наук batkhin@gmail.com
Миусская пл., 4, 125047 г. Москва, Российская Федерация
о
см
ИЗ <
к к X Е-СО
Ю
©
Аннотация. Изучается резонансное множество вещественного многочлена, то есть множество всех значений пространства коэффициентов, при которых последний имеет соизмеримые корни. Предлагается конструктивный алгоритм построения полиномиальной параметризации резонансного множества в пространстве коэффициентов многочлена. Структура резонансного множества многочлена степени п описывается в терминах разбиения числа п. Основные алгоритмы, описанные в работе, реализованы в виде библиотеки в системе компьютерной алгебры Maple. Приведено описание резонансного множества кубического многочлена, а также дано приложение полученных результатов к решению проблемы формальной устойчивости положения равновесия многопараметрической системы Гамильтона с тремя степенями свободы.
Ключевые слова: теория исключения, субрезультант, компьютерная алгебра, формальная устойчивость положения равновесия, резонансное множество.
Введение
Во многих прикладных задачах возникает ситуация, когда для некоторого многочлена f (х) необходимо сформулировать условия на его коэффициенты, при выполнении которых этот многочлен имеет соизмеримые корни. Так, например, условие целочисленной соизмеримости (кратности) корней характеристического многочлена матрицы линейной части уравнений движения вблизи положения равновесия выделяет в пространстве коэффициентов многочлена (или параметров уравнений движения) многообразия, на которых имеется резонанс между собственными частотами колебаний. Случай, когда многочлен $(х) имеет корень кратности к > 1, является частным случаем описанной выше ситуации.
Эта статья продолжает исследования автора [4-6] по описанию структуры и построению параметрического представления дискриминантного множества 'D(f.п) многочлена
Мх) = хп + сцхп-1 + а2хп-2 + ■ ■ ■ + ап (1)
п-й степени с вещественными коэффициентами. Вещественное п-мерное пространство П = Мга его коэффициентов а1,а2,... ап, как и ранее, назовем пространством коэффициентов многочлена (1).
Определение 1. Пару корней и, tj, г,] = 1,...,п, г = ], многочлена (1) назовем р : д-соизмеримой, если ^ : = р : д.
Замечание 1. Здесь и далее предполагаем, что р Е Ж\{0}, д Е N то есть исключаем случай, когда один из корней ^ или равен нулю, поскольку нулевой корень соизмерим с любым другим корнем.
Замечание 2. Если у многочлена (1) есть пара р : ^-соизмеримых корней, то есть и пара д : р-соизмеримых корней. Следовательно, далее предполагаем, что коэффициент соизмеримости р : д удовлетворяет условию |р/д| ^ 1.
Определение 2. Резонансным множеством %(/п) многочлена ¡п(х) назовем множество всех точек пространства коэффициентов П, в которых ¡п(х) имеет хотя бы пару соизмеримых корней. Для фиксированного коэффициента соизмеримости, задаваемого рациональным числом р/д Е О, соответствующее резонансное множество обозначим через (/п), то есть
КР:Я (и ) = {Р Е П: 3 %}3Е 1,...,п, и : 13 = р : д}. (2)
Очевидно, что дискриминантное множество Т>(/п), то есть множество, на котором многочлен (1) имеет кратные корни, является частным случаем резонансного множества (2) для значения коэффициента соизмеримости : = 1.
Цель данной статьи — разработать конструктивный алгоритм вычисления параметрического представления всех компонент резонансного множества Кр:я(/п) приведенного вещественного многочлена ¿п(х).
Статья состоит из введения, трех разделов и заключения. В разделе 1 формулируется условие на коэффициенты существования соизмеримых корней многочлена (1) в терминах обобщенных субдискриминантов, которые с точностью до множителя суть субрезультанты пары многочленов ¡п(рх) и /п(дх). В разделе 2 дано описание иерархической структуры резонансного множества ^р:д(/п), указана связь этой структуры с
задачей разбиения натурального числа п, описан алгоритм построения параметрического представления компонент этого множества и дано описание программной библиотеки для системы компьютерной алгебры Maple. В заключительном разделе 3 приведено описание резонансного множества кубического многочлена, а также дано приложение полученных результатов к решению проблемы формальной устойчивости положения равновесия многопараметрической системы Гамильтона с тремя степенями свободы.
Предварительные результаты статьи докладывались на международных конференциях: Polynomial Computer Algebra-2016, г. Санкт-Петербург, 18-23 апреля 2016 г., III Международная конференция «Геометрический анализ и его приложения», г. Волгоград, 30 мая - 3 июня 2016 г. и опубликованы в препринте автора [7].
1. Условие р : ^-соизмеримости корней многочлена fn(x)
Пусть многочлен /п(х) имеет пару р : ^-соизмеримых корней. Это эквивалентно тому, что два многочлена /п(рх) и !п(ях) имеют общий корень, или, другими словами, (рх),1п(я%)) = 0, где Ке8ж(д,К) — результант многочленов д(х) и к(х), вычисленный относительно переменной х.
Определение 3. Пусть
п т
д(х) = П(х - и), ь{х) = \\{х - щ)
г=1 г=1
суть два приведенных многочлена степени п и т соответственно. Тогда их результант относительно переменной х вычисляется по формуле
п т
Кевх(д, К) = Д П(и - щ).
г=1j=l
Поскольку при р = д = 1 многочлены /п(рх) и ¡п(дх) имеют п общих корней, то результант Кевхап(рх), ¡п(дх)) делится на множитель (р - д)п. В силу замечания 1, результант Кевж (¡п('Рх),1п(о_х)) делится на свободный член ап многочлена (1). Таким образом, указанный выше результант представим в виде
Кеъх(ирх),Шх)) = ап(р - д)п СВ^д^),
где ОБр:д(¡п) — введенный в [1;3] обобщенный дискриминант многочлена ¡п(х). Термин «обобщенный дискриминант» выбран в связи с тем, что при стремлении коэффициента соизмеримости р : д ^ 1, значение обобщенного дискриминанта СВр:(1 (/п) стремится к значению дискриминанта 0(/п) многочлена (1).
У многочлена (1) может быть не одна пара р : ^-соизмеримых корней. Для полного исследования структуры р : ^-соизмеримых корней введем несколько вспомогательных понятий.
Определение 4. Цепочкой СЪ^^Ьг) р : д-соизмеримых корней длины к (кратко цепочкой корней) назовем отрезок длины к геометрической прогрессии с основанием Ьг и знаменателем р/д, каждый член которой является корнем этого же многочлена. Основание прогрессии и назовем порождающим корнем соответствующей цепочки.
Замечание 3. Для того чтобы коэффициенты полиномиальных объектов (многочленов,
субрезультантов, параметрических представлений компонентов резонансного множества
'рщ(/п) и др.) были представлены в виде многочленов, а не рациональных функций от
чисел и , будем в цепочке корней длины в определении 4 использовать величину к— 1 ±
О" 1 ц в качестве порождающего корня.
Резонансное множество (/п) для каждого фиксированного коэффициента соизмеримости р : д состоит из конечного числа многообразий Уь на каждом из которых многочлен /п(х) имеет I цепочек корней СЪрк^(Ь^) с различными порождающими корнями ¿¿, 1 = 1,..., I. Суммарная длина этих цепочек корней равна степени п многочлена
!п(Х).
Для описания каждого из многообразий VI нужно знать структуру корней наибольшего общего делителя многочленов /п(рх) и ¡п(дх), то есть многочлена
йщ(х) =gcd(fn(рx), ¡п(дх)). (3)
Пусть А = deg > 0, тогда корни многочлена (х) дают информацию о кратных корнях исходного многочлена (1): каждой цепочке корней СЪ^^ъ) многочлена ]рщ(х) соответствует цепочка корней С^рк+1\Ьг) многочлена ¿п(%). Структуру корней многочлена удобно определить с помощью субрезультантов [12; 17] пары многочленов /п(рх)
и и(ях).
Известно много методов вычисления результанта пары многочленов. Их обзор дан, например, в [4; 12]. Здесь ограничимся методом Сильвестра.
Определение 5. Матрицей Сильвестра Яу1у(¡, д) двух многочленов ¡(х) и д(х), для которых п = deg ¡(х) и т = deg д(х), называется квадратная матрица размера (п + т), строки которой суть векторы, составленные из коэффициентов многочленов
хт~1 ¡(х), хт~2/(х),... ,х/(х), ¡(х), д(х), хд(х),... ,хп~2д(х), хп~ 1д(х)
в базисе хп+т 1,... ,х, 1.
Определение к-го субрезультанта пары многочленов ¡(х) и д(х) дадим с помощью иннора [10] матрицы Яу1у(¡, д).
Определение 6. Пусть Мга — квадратная матрица размера п х п. Тогда матрица Мп_к, к < [п/2], полученная вычеркиванием по к крайних строк и столбцов с обеих сторон исходной матрицы Мга, называется ее к-м иннором.
Определение 7. к-м субрезультантом Кев^/, д) многочленов ¡(х) и д(х) называется определитель к-го иннора матрицы Сильвестра Яу1у(¡, д).
Запишем матрицу Сильвестра Яу1у(/п(рх), ¡п(о_х)) размера 2п х 2п для многочленов /п(рх) и ¡п(дх):
(рп 0 а1рп 1 ■ ■ ■ рп ■■■ 2 ап 2 2 3 ап-зр3 п1 2 п2 2 а п п1 0 ■ ап ■ ■■ 0 ■■ 0 0 0
= 0 0 0 ■■■ 0 ■■■ п п 1 п 1 а1 п 1 а2р п~ 2 а2 п 2 п 3 азР ■ а3дп~3 ■ ■ ■ ап-1Р ■ ■ ап-1д а п а п . (4)
0 \дп дп ■■■ а-]_дп~1 ■ ■ ■ 3 ап 3 3 2 ап 2 2 2 ап 2 2 ап 1 ап 1 а п ап ■ 0 ■ ■■ 0 ■■ 0 0 0
Матрица (4) имеет п — 1 нетривиальный иннор. Очевидно, что в силу ее структуры каждый из определителей этих инноров, то есть соответствующий субрезультант, раскладывается на три множителя. Можно показать, что для к-го субрезультанта мно-
гочленов [п(рх) и ¡п(дх) имеет место следующее разложение:
Бее?)(¡п(рх))!п(ях)) = (р — д)п~к(рд)к(п~к) СШ/п).
(5)
Определение 8. Назовем к-м обобщенным субдискриминантом СБ^(/п) многочлена ¡п(х) для коэффициента соизмеримости р : д третий нетривиальный множитель в формуле (5).
Пусть многочлен /п(х) имеет цепочку р : ^-соизмеримых корней длины к с порождающим корнем ¿, то есть в силу замечания 3 он имеет вид
ш = и(х)П (х - Ргдк-1-ч).
г=0
Здесь многочлен и(х) степени п — к не имеет р : ^-соизмеримых с £ корней. Тогда
к—2
¡п(рх) = и(рх) (рх — дк—Ч) рк—1 Д (х — р^к—2—Ч) ,
г=0 к—2
¡п(дх) = и(дх) (дх — рк—1 £) дк—1 Д (х — ргдк—2—г£) .
1=0
Следовательно, многочлен /р:д из формулы (3) имеет цепочку р : ^-соизмеримых корней длины к — 1 с порождающим корнем дк—2Ь.
В силу приведенных выше рассуждений, а также теоремы 3.3 из [12], имеет место следующая теорема.
Теорема 1. Для того чтобы deg /р:д(х) = й, необходимо и достаточно, чтобы в последовательности 1-х обобщенных субдискриминантов СБ^(¡.п) первым отличным от нуля обобщенным субдискриминантом был субдискриминант СБ^] (/п) с номером в,.
Введем полиномиальные идеалы 2^(/п), состоящие из первых I обобщенных субдискриминантов СБ® (¡п):
(к) = {СО^(¡п),г = 0,...,1 — 1} .
Тогда согласно теореме 1 нули идеала 1(1)д(/п) образуют множество, на котором многочлен /п(х) имеет в точности к < п различных цепочек р : ^-соизмеримых корней.
2. Параметризация резонансного множества (/™)
Множество 'Я.р:д(/п) состоит из алгебраических многообразий VI размерностей I, 1 ^ п — 1. Общее число этих многообразий, а также число различных многообразий VI, имеющих фиксированную размерность I, зависит от числа разбиений р(п) степени п многочлена п( х).
2.1. Число компонент резонансного множества (/™)
Напомним здесь основные определения, связанные с разбиением натуральных чисел; подробнее см. [4;13;16;20].
Определение 9. Разбиением Л натурального числа п называется всякая конечная неубывающая последовательность натуральных чисел Л1 ^ Л2 ^ • • • ^ Л к, для которой
к
= п.
г=1
Каждое из разбиений запишем в виде Л = [1п12П2 3П3... ], где п — число повторений слагаемого г в разбиении, то есть ^к=1 гщ = п.
Основные числовые функции, связанные с множеством разбиений числа п, следующие:
• Функция р(п) задается числом всех разбиений числа п (последовательность А000041 в [20]).
• Функция к( п) задается числом всех разбиений п на к слагаемых.
• Функция задается числом всех разбиений п на различные слагаемые (последовательность А000009 в [20]).
• Функция к( п) задается числом всех разбиений п на к различных слагаемых.
п п
Очевидно, что р(п) = ^ рк(п) и д(п) = ^ дк(п).
к=1 к=1
Рассмотрим разбиение Л = [1п12п2 ... ... ] натурального числа п. Величина г в разбиении Л задает длину цепочки : -соизмеримых корней для соответствующего порождающего корня и, а щ — число различных порождающих корней, задающих цепочку корней длины г. Тогда I = 5^ пi есть число различных порождающих корней многочлена ¡п(х) для коэффициента соизмеримости р/д и ^^ п = п. Любое разбиение Л числа п определяет некоторую структуру : -соизмеримых корней многочлена, и этой структуре соответствует в пространстве коэффициентов П некоторое алгебраическое многообразие V/, г = 1,...,рг(п), размерности I по числу различных порождающих корней Число
таких многообразий размерности I равно рг(п), а общее число многообразий всех возможных размерностей равно р(п) — 1, поскольку разбиению [1п] соответствует ситуация, когда все порождающие корни многочлена (1) задают цепочки корней длины 1, то есть среди всех корней многочлена /п(х) нет ни одной пары р : ^-соизмеримых корней.
Замечание 4. В силу того что исходный многочлен (1) вещественный, комплексные корни его образуют пары — сам комплексный корень ^ и ему комплексно сопряженный ¿г. Если порождающий комплексный корень ^ задает цепочку корней длины к, то и сопряженный ему корень задает цепочку корней такой же длины, в которой каждый корень является комплексно сопряженным соответствующему корню из цепочки корней, задаваемых корнем ¿¿. Значит, в разбиении Л, которое соответствует такой структуре корней, будет два равных слагаемых. Следовательно, на алгебраическом многообразии VI С П размерности I многочлен /п(х) имеет только вещественные корни, если соответствующее ему разбиение числа п есть разбиение, состоящее из I различных слагаемых. Число таких разбиений для фиксированного I есть значение функции д\(п), а общее число компонент резонансного множества 'Я.р:-(/п), на которых все корни вещественны, задается функцией д(п).
2.2. Иерархическая структура компонент множества
Рассмотрим разбиение [п1], которое соответствует случаю, когда имеется единственная цепочка корней длины п, задаваемая порождающим (очевидно вещественным) корнем дп—111. Тогда многочлен /п(х) имеет вид
п— 1
к(х; к) = — р?дп-1—и] . (6)
=0
Здесь запись /п(х; означает, что все корни многочлена (1) зависят от параметра ¿ь В этом случае его коэффициенты аг выражаются через элементарные симметрические многочлены [13; 15] аг(х1,х2,...,хп), вычисленные на корнях вида р'дп—1—Ч1, ] = 0,... ,п — 1, соответствующей цепочки корней.
аг = (—1)г о* {дп—Н1,рдп—Н1,..., рп—Н1) , 1=1,...,п. (7)
В силу однородности симметрических многочленов аг, коэффициенты аг являются степенными функциями степени параметра 1.
Согласно теореме 1 в этом случае deg /р:д(х) = п — 1, то есть в последовательности обобщенных субдискриминантов СБ^"(/п), г = 0,... ,п — 1, первый отличный от нуля обобщен ный субдискриминант есть СБ^!"- ). Следовательно, формулы (7) задают параметрическое представление нулей идеала 1рпд 1). Эти нули представляют собой одномерное многообразие (кривую) У^1- в пространстве коэффициентов П. Эта кривая не имеет особых точек, поскольку в силу ее параметрического представления (7) аг ~ и, следовательно, производные dаг/сИ1 одновременно в ноль не обращаются.
Рассмотрим следующую конструкцию. Выберем на кривой У^1- пару точек, соответствующих значениям параметра 11 = 0 и (р/д) — 1Ь1, и проведем через них прямую. Покажем, что на этой прямой многочлен /п(х) имеет одну цепочку р : ^-соизмеримых
корней длины п — 1 и одну цепочку корней длины 1, то есть простой корень. Действительно, рассмотрим вспомогательный многочлен
д{щ tu v) = fn(x; tl) + v ^ — fn (x; ^1QrHl)
Тогда с учетом формулы (6) получим, что
g(x; h, v)
n pn - qn x —\p tl +v-
l
n-2
(8)
П [x - Qti]
3=0
Выбирая
P(t 2 - Pn-lh )
pn — gn
получим, что g(x;t i, 12)
n- 2
(x — t2) П [x — P3Qa 2 jQti], то есть многочлен g(x;t i, t2)
3=0
имеет один простой корень 12 и цепочку корней ^ ($1). Очевидно, что структура
корней в этом случае соответствует разбиению [11(п — 1)1].
Таким образом, коэффициенты вспомогательного многочлена (8) задают в пространстве П многообразие У2, представляющее собой линейчатую поверхность. Оно образовано секущими, которые пересекают кривую У1 в точках, соответствующих таким значениям ¿^ и ^ параметра t1, что /¿^ = р/д. При р/д ^ 1 эта линейчатая поверхность превращается в касательную развертывающую поверхность, параметризация которой задается формулой (3.6) из [4].
Описанную выше процедуру теперь можно повторить для многообразия У2 и получить параметрическое представление части многообразия на котором имеется цепочка корней длины п — 2 и пара простых корней, то есть ему соответствует разбиение [12(п — 2)1]. Продолжая последовательно эту процедуру, в итоге придем к параметрическому представлению многообразия Уп_ 1 наибольшей размерности. На нем имеется одна цепочка р : ^-соизмеримых корней длины 2, а остальные корни простые, то есть ему соответствует разбиение [1п~221]. Очевидно, что в силу замечания 4 полученная параметризация описывает только ту часть многообразия VI, 3 ^ I < п, на котором все корни многочлена (1) вещественные.
2.3. Алгоритм построения параметризации многообразий Vi
Рассмотрим конструктивную процедуру вычисления параметрического представления многообразий VI для всех значений I = 1,... ,п — 1 и i = 1,...,pi(n). Теорема 2. Пусть в пространстве П имеется многообразие Vi, dim Vi = I, на котором многочлен (1) имеет I различных цепочек р : q-соизмеримых корней, причем цепочка корней Ch^^t^ имеет длину т > 1. Другие корни I — 1 цепочки не являются р : q-соизмеримыми со всеми корнями цепочки Ch!j™\t^
Пусть ri(tl,...,U) — параметризация многообразия Vi, тогда формула
ri (t 1, . . ., ti, ti+i) = ri (t I, . . . , ti) +
+ P{tlp l [ri (*Ъ -tl) — ri ((q /p)f i>... , U)] (9)
задает параметризацию части многообразия Уг+1, на котором имеется цепочка корней 1\д11), простой корень , а остальные цепочки корней такие же,
как на исходном многообразии VI.
Доказательство. В силу условия теоремы многочлен ¡п(х) на многообразии VI факто-ризуется следующим образом:
т— 1
¡п(х; Ь,..., 11) = и(х)1[ [1 - р3дт~1-3Ь]
3=0
(10)
где многочлен и(х) не имеет корней р : ^-соизмеримых с корнями цепочки, порожденной ¿1. Рассмотрим вспомогательный многочлен д(х; ..., у), коэффициенты которого непрерывно зависят от параметров Ь1,..., следующим образом
д(х; и,..., и, V) = / п(х; и,..., ^) + V
/п(х; и,..., и) - Iп (х; (р / д) Ч1, ..., и)
Подставляя выражение для /п(х) из формулы (10), получим
д(х; и,..., и, V) = и(х)
Полагая теперь
получаем
т1
х - рт~ Ч1 + V
т 1 т 1 -
р
Р (и+1 - Рт~ Ч1)
рт _ ^А
X
т-2
х Д (х - р'дт~2-3 дП)
3=0
т 2
д(х; и,..., и+1) = и(х; 12,..., Ъ)(х - Д (1 - р3дт 2 3$1)
=0
(11)
Таким образом, многочлен д(х; ^,...,Ъ+1) имеет цепочку корней длины т - 1 с порождающим д^, один простой корень и остальные п - т корней такие же, как у многочлена }'п(х). Следовательно, формула (9) параметризует ту часть многообразия Уг+1, на которой многочлен /п(х) имеет описанную выше структуру корней.
Замечание 5. Если в формуле (11) заменить параметр на Ь1/д, то получим параметризацию части многообразия Уг+\_ в виде, задаваемом формулой (10).
Замечание 6. Пусть один из корней, например и1, многочлена и(х) в условии теоремы 2 простой, то есть и(х) = (х - и1)и(х). Тогда на части многообразия Уг+1 исходный многочлен имеет пару комплексно-сопряженных корней. Чтобы получить параметрическое представление этой части многообразия Уг+ь следует сделать такую замену параметров:
^+1 ^ У1 + гУ2, и1 ^ У1 - гЬ2.
1
Эта замена параметров приведет к тому, что многочлен /п(х) на части многообразия Уг+г, где есть пара комплексно-сопряженных корней, можно представить в виде
т-2
и(х) = и(х) ((х - У\)2 + П [1 - Р3(Г-2-Ь] . (12)
3=0
Если поменять знак перед слагаемым в правой части формулы (12), то получим факторизацию многочлена }п(х) на той части многообразия Уг+г, где имеется пара простых вещественных корней V, ± Таким образом, для получения параметризации всего многообразия Уг+г следует использовать подстановку
к+1 ^ VI + у/щ, и, ^ ьг - у/щ, (13)
которая в итоге позволит записать многочлен /п(х) на всем многообразии Уг+г в виде
т-2
Ш = ((х - Vг)2 + у2) и(х) П [1 - р3дт-2-3Ь] . □
=0
Так же, как это было сделано в [4], введем три основные операции, которые позволят последовательно перейти от параметрического представления одномерного многообразия Уг к параметризации всех других компонентов резонансного множества (/п):
1) Назовем операцию перехода от многообразия Уг к многообразию Уг+г в теореме 2 «ПОДЪЕМ». Эта операция позволяет перейти к многообразию, размерность которого на единицу больше размерности исходного. Если на нем многочлен (1) имеет только вещественные корни, то получим полную параметризацию этого многообразия, если имеются комплексные корни, то применим следующую операцию.
2) Операцию, основанную на замене (13) в замечании 6, назовем «ПРОДОЛЖЕНИЕ». Эта операция позволяет получить параметризацию всего многообразия У1+г, полученного в результате операции «ПОДЪЕМ», в случае, когда на последнем имеются комплексно-сопряженные корни.
3) Если на многообразии Уг+г многочлен /п(х) имеет пару различных цепочек корней одинаковой длины к, то можно перейти к многообразию Уг, на котором имеется цепочка корней удвоенной длины 2 к. Такую операцию назовем «СПУСК». Если после этого перехода на многообразии Уг имеется пара корней одинаковой кратности, то для них следует выполнить процедуру «ПРОДОЛЖЕНИЕ».
Опишем алгоритм получения параметрического представления алгебраических многообразий V/, I = 1,... ,п - 1, 1 = 1,...,рг(п), составляющих резонансное множество
(/п) :
1) Вначале строим параметрическое представление одномерного многообразия Уг по формулам (7).
2) Применяем операцию «ПОДЪЕМ», получаем параметризацию многообразия У2,, соответствующего разбиению [1г(п - 1)г].
3) Вновь применяем операцию «ПОДЪЕМ» и получаем параметризацию многообразия У\, которое соответствует разбиению [12(п - 2)г]. Поскольку на этом многообразии имеется пара простых корней, то следует применить операцию «ПРОДОЛЖЕНИЕ». В итоге получаем полную параметризацию многообразия У^.
4) Применяя к последней параметризации операцию «СПУСК», получаем параметрическое представление многообразия VI, на котором корни многочлена /п(х) соответствуют разбиению [21(п - 2)1].
5) Последовательно комбинируя операции «ПОДЪЕМ», «ПРОДОЛЖЕНИЕ» и «СПУСК», получим параметрическое представление всех компонент резонансного множества (/п).
Утверждение 1. Резонансное множество Кр:я(/п) вещественного многочлена /п(х) для фиксированного коэффициента соизмеримости р : д допускает полиномиальную параметризацию каждого из алгебраических многообразий V, составляющих резонансное множество.
2.4. Программная реализация
Для организации вычисления резонансного множества ^p:q(fn) в системе компьютерной алгебры Maple был реализован набор процедур, из которых скомпонована программная библиотека ResonanceSet. Библиотека расширяет возможности другой библиотеки SubDiscrim, ориентированной на работу с дискриминантным множеством многочлена Т>( fn) и описанной в [4; 5].
В состав библиотеки вошли следующие процедуры:
• GDiscrim — для вычисления k-го обобщенного субдискриминанта GDpfcj(fn) многочлена fn(x) для фиксированного коэффициента соизмеримости р : q.
• MkFam1 — для вычисления параметрического представления многообразия Vi.
• ProcUp — для реализации процедуры «ПОДЪЕМ» (см. п. 1 на с. 15).
• ProcCont — для реализации процедуры «ПРОДОЛЖЕНИЕ» (см. п. 2 на с. 15).
• ProcDown — для реализации процедуры «СПУСК» (см. п. 3 на с. 15).
Каждая из процедур реализована в двух вариантах. Первый вариант предназначен для вычислений при целом коэффициенте соизмеримости, второй — при рациональном.
3. Резонансное множество кубики
В качестве примера работы алгоритма рассмотрим структуру резонансного множества кубического многочлена
f3 = х3 + а1х2 + a2x + a3. (14)
Кубика (14) имеет два обобщенных субдискриминанта
GDP1](f3) =рqa\a2 + (р2 +pq + q2)aia3 - (р + q)2a\, GDp^fз) = - [pq (p + q)]2 (a?аз + 4) + (pqfa\a2 - {p2 + pq + q2f al + + pq (p2 +pq + q2) (p2 + 4pq + q2) a?aia3.
Поскольку р(3) - 1 = 2 (см. с. 12), то резонансное множество ^рщ(¡3) состоит из двух компонент
^ : {а1 = - (р2 + рд + о>2 = рд (р2 + рд + д2)^
г , ^ (15)
аз = -(рдк) },
Щ!3) : {а1 = -(р + д) 11 - 12,12 =рд4 + (р + д)Ь^, аз = -рф^}, (16)
соответствующих разбиениям [31] и [1^]. Очевидно, что на многообразии ¡3) нет комплексных корней, следовательно, /3) С У2(/3).
Геометрически множество /3) представляет собой линейчатую поверхность (16) со скрученной кубикой (15) в качестве направляющей. Эта поверхность самопересекается по своей направляющей, которая, в свою очередь, является множеством особых точек поверхности У2. Множество ^р:д(/3) показано на рисунке 1. Заметим, что при р = д получим дискриминантную поверхность Т>(/3) (см. раздел 4 в [4]), а при р = - д имеем = р6(а3 — а^)2, то есть поверхность У2(}з) есть гиперболический
параболоид.
Рис. 1. Резонансное множество (/3) для коэффициента соизмеримости р : д = 7.
Выделена кривая (15), по которой поверхность (16) самопересекается
Дискриминантная поверхность Т>(/3) делит пространство коэффициентов П на две области с разным числом вещественных корней: в области П многочлен ¡3(х) имеет три вещественных корня, в области П2 — один вещественный и пару комплексно-сопряженных корней. Поскольку на многообразии У2(/3) кубика (14) имеет только вещественные
корни, то множество ( /з) для любого значения коэффициента р : q = — 1 целиком содержится в области П и только может касаться дискриминантного множества V(/3). Нетрудно видеть, что поверхности V2(/3) и V(f3) касаются друг друга вдоль пары кривых, на которых третий корень, не соизмеримый ни с одним из двух других корней, совпадает с одним из корней этой пары. В силу вышеизложенного, параметрическое представление кривых С1,2, по которым дискриминантная поверхность Т>(/3) касается резонансной поверхности V2(/3), получается из (16) подстановками t2 = qt1 и 12 = pt\ соответственно:
А :{ai = —(p + 2q)tb а2 = q(2p + q)12, a3 = —q2pt\] , (17)
C2 : {a = —(2p + q)t 1, a2 = p(p + 2q)t2x, a3 = —qp2t\} . (18)
3.1. Приложение к проблеме формальной устойчивости положения равновесия
Рассмотрим подробнее ситуацию, возникающую при исследовании устойчивости положения равновесия некоторой многопараметрической системы Гамильтона с тремя степенями свободы.
Пусть в окрестности этого положения равновесия функция Гамильтона Н(z) может быть представлена в виде
те
Н (z) = ^Hi(z),
i=2
где z = (q, p), q и p — канонически сопряженные векторы координат и импульсов соответственно, а Hi(z) — однородная функция степени г от них. Как известно, в гамильтоновом случае характеристический многочлен f(X) линеаризованной системы канонических уравнений
Z = JAz, где А =f Hess Н2} (19)
является многочленом только от четных степеней Л. Здесь матрица J — симплектиче-
ская единица. Тогда многочлен /(ц) ==f (ц), ц = Л2, названный в [2] полухарактеристическим, является приведенным кубическим многочленом (14).
В терминах полухарактеристического многочлена (ц) критерий устойчивости положения равновесия линеаризованной гамильтоновой системы (19) формулируется следующей теоремой.
Теорема 3 ([2]). Положение равновесия z = 0 линеаризованной гамильтоновой системы (19) устойчиво по Ляпунову тогда и только тогда, когда:
1) все корни цк полухарактеристического многочлена /(ц) вещественны и неположительны;
2) все элементарные делители матрицы JA просты.
Для кубического многочлена f3(x) условие 1 проверяется с помощью следующего утверждения.
Утверждение 2 ([2, теорема 2.2]). У многочлена fn(x) для п = 2,3 все корни вещественные и отрицательные тогда и только тогда, когда выполнены следующие неравенства:
аг > 0, г = 1,... ,п, и D(fn) ^ 0, где D(fn) — дискриминант многочлена fn(x).
Условие 2 эффективно проверяется с помощью утверждения.
Утверждение 3. Пусть Л* — корень кратности к характеристического многочлена f(X) матрицы J А. Все соответствующие элементарные делители матрицы J А просты тогда и только тогда, когда rang( J А - Л*Е) = т - к, где т = dim J А.
Как известно, устойчивость положения равновесия системы (19) может быть нарушена возмущениями порядка 3 и выше. Если квадратичная форма H2(z) является знакоопределенной, то по теореме Лагранжа — Дирихле возмущения высоких порядков не влияют на устойчивость. Далее полагаем, что форма H2(z) знакопеременная.
С практической точки зрения вполне достаточной является более слабая, чем устойчивость по Ляпунову, формальная устойчивость, предложенная Ю. Мозером в [19].
Определение 10. Положение равновесия z = 0 гамильтоновой системы является формально устойчивым, если существует возможно расходящийся степенной ряд, который является формальным положительно определенным первым интегралом.
Наличие формальной устойчивости гарантирует, что на конечном, но большом интервале времени возмущенная траектория остается близкой к невозмущенной.
В работе автора [1] предложена некоторая схема исследования формальной устойчивости положения равновесия, основанная на теореме Брюно (см. [9] или [14, гл. 5, § 2]). Для реализации этой схемы требуется разбить область П? на подобласти 'Wi резонансными множествами Rp:1(/(ц)), р = 4,9,16. При этом следует ограничиться только той частью П?, в точках которой полухарактеристический многочлен /(ц) имеет только отрицательные вещественные корни. В силу утверждения 2 достаточно описать взаимное расположение дискриминантного множества Т>(/(ц)) и резонансных множеств Rp:1(/(ц)), Р = 4, 9,16 в октанте ai > 0, i = 1, 2, 3.
Согласно формулам (17) и (18) каждая из резонансных поверхностей Rp:1(/(ц)) касается дискриминантной поверхности V(/(ц)) вдоль кривых L12. Сечение указанных выше поверхностей плоскостью a1 = const > 0 показано на рисунке 2 для a1 = 2, р = 4.
Две резонансные поверхности Rpi:1 ( /(ц)) и Rp2:1( /(ц)), р1,2 Е {4,9,16}, пересекаются вдоль кривых Cj. Параметризацию кривых Cj нетрудно найти, используя следующие рассуждения. Пусть на поверхности R i:1( (ц)) многочлен (ц) имеет два порождающих корня t1 и t2, а на поверхности Rp2:1(/(ц)) — u1 и и2. Тогда на этих поверхностях (ц) представляется в виде
1(ц) = (ц - )(ц - Р1^)(ц - h) = (ц - щ)( ц - Р2щ)( ц-U2).
В точках пересечения поверхностей тройки корней должны совпадать. Нетрудно видеть, что имеются четыре различных набора значений параметров t1,12,u1,u2, для которых две тройки ненулевых корней совпадают:
1) 12 = P2t1, U1 = h, U2 = P1t!;
1 2 1 , u1 = 1 1 , u2 = 1 ;
1 1 —, U1 = —, U2 = Р1Г1;
2 1
P1t1 Plt1
-, U1 =-, U2 = t1.
2 2
2) 2 =
3) 2 =
4) 2 =
Рис. 2. Сечение дискриминантной (ц)) (сплошная линия) и резонансной (ц))
(штриховая линия) поверхностей плоскостью а\ = 2. Кружками показаны особые точки,
граничные точки и точки касания
Подставляя указанные выше значения параметра t2, получим параметризацию кривых Cj, j = 1, 2, 3,4. Сечение резонансных поверхностей плоскостью ai = const > 0 показано на рисунке 3 для a = 2, рi,2 = 4, 9,16.
В области П вне резонансных поверхностей р:1(/(ц)), р = 4,9,16, неподвижная точка z = 0 формально устойчива [9]. Для точек на этих резонансных поверхностях требуется дополнительное исследование формальной устойчивости, которое можно сделать, вычислив нормальную форму функции Гамильтона Н(z) [8; 11; 14] до 4-го порядка включительно.
Укажем несколько задач, где исследование формальной устойчивости может быть проведено с помощью описанного выше метода:
• устойчивость положения равновесия некоторой гироскопически стабилизированной системы [1; 2];
• устойчивость пространственных точек либрации в задаче Хилла с учетом солнечного ветра и несферичности потенциала Земли [18].
Рис. 3. Сечение резонансных поверхностей х(/(ц)) плоскостью а\ = 2 для значений р = 4 (длинный штрих), р = 9 (штрих-пунктир), р = 16 (короткий штрих). Сплошной линией
показана граница области П
Заключение
Резонансное множество 'Я.(/п) многочлена }'п(х) может рассматриваться как некоторое обобщение дискриминантного множества Т>(/п) для случая, когда отношение пары корней равно некоторому числу. Резонансное множество состоит из конечного набора алгебраических многообразий размерностей от 1 до п — 1, число которых определяется числом р(п) разбиений степени п многочлена /п(х). Каждое из этих многообразий выделяется соответствующим идеалом, состоящим из обобщенных субдискриминантов, и допускает полиномиальную параметризацию.
СПИСОК ЛИТЕРАТУРЫ
1. Батхин, А. Б. Выделение областей устойчивости нелинейной системы Гамильтона / А. Б. Батхин // Автоматика и телемеханика. — 2013. — Вып. 8. — С. 47-64.
2. Батхин, А. Б. Множества устойчивости многопараметрических гамильтоновых систем / А. Б. Батхин, А. Д. Брюно, В. П. Варин // Прикладная математика и механика. — 2012. — Т. 76, № 1. — С. 80-133.
3. Батхин, А. Б. Нелинейная устойчивость системы Гамильтона по линейному приближению / А. Б. Батхин // Препринты ИПМ им. М.В. Келдыша. —
2012. — № 33. — C. 1-24. — Электрон. текстовые дан. — Режим доступа: http://www.keldysh.ru/papers/2012/prep2012_33.pdf. — Загл. с экрана.
4. Батхин, А. Б. Параметризация дискриминантного множества вещественного многочлена / А. Б. Батхин // Препринты ИПМ им. М.В. Келдыша. — 2015. — № 76. — C. 1-36.
5. Батхин, А. Б. Параметризация дискриминантного множества многочлена / А. Б. Батхин // Программирование. — 2016. — Т. 42, № 2. — C. 8-21. — DOI: http://dx.doi.org/10.1134/S0361768816020031.
6. Батхин, А. Б. Структура дискриминантного множества вещественного многочлена / А. Б. Батхин // Чебышевский сб. — 2015. — Т. 16, № 2. — C. 23-34.
7. Батхин, А. Б. Структура резонансного множества вещественного многочлена / А. Б. Батхин // Препринты ИПМ им. М.В. Келдыша. — 2016. — № 29. — C. 1-23. — DOI: http://dx.doi.org/10.20948/prepr-2016-29.
8. Брюно, А. Д. О вычислении гамильтоновой нормальной формы / А. Д. Брюно, А. Г. Петров // Доклады академии наук. — 2006. — Т. 410, № 4. — C. 474-478.
9. Брюно, А. Д. О формальной устойчивости систем Гамильтона / А. Д. Брюно // Мат. заметки. — 1967. — Т. 1, № 3. — C. 325-330. — DOI: 10.1007/BF01098887.
10. Джури, Э. Инноры и устойчивость динамических систем / Э. Джури. — М. : Мир, 1979. — 304 с.
11. Журавлев, В. Ф. Избранные задачи гамильтоновой механики / В. Ф. Журавлев, А. Г. Петров, М. М. Шундерюк. — М. : ЛЕНАНД, 2015. — 304 с.
12. Калинина, Е. А. Теория исключений / Е. А. Калинина, А. Ю. Утешев. — СПб. : Изд-во НИИ химии СПбГУ, 2002. — 72 с.
13. Макдональд, И. Симметрические функции и многочлены Холла / И. Макдональд. — М. : Мир, 1985. — 222 с.
14. Маркеев, А. П. Точки либрации в небесной механике и космодинамике / А. П. Мар-кеев. — М. : Наука, 1978. — 312 с.
15. Прасолов, В. В. Многочлены / В. В. Прасолов. — М. : МЦНМО, 2014. — 336 с.
16. Эндрюс, Г. Теория разбиений / Г. Эндрюс. — М. : Наука, 1982. — 256 с.
17. Basu, S. Algorithms in Real Algebraic Geometry / S. Basu, R. Pollack, M.-F. Roy. — Berlin, Heidelberg, New York : Springer-Verlag, 2006. — ix+662 p.
18. Markakis, M. P. The photogravitational Hill problem with oblateness: equilibrium points and Lyapunov families / M. P. Markakis, A. E. Perdiou, C. N. Douskos // Astrophys Space Sci. — 2008. — Vol. 315. — P. 297-306. — DOI: 0.1007/s10509-008-9831-6.
19. Moser, J. New aspects in the theory of stability of Hamiltonian systems / J. Moser // Comm. Pure Appl. Math. — 1958. — Vol. 11, № 1. — P. 81-114.
20. Sloane, N. J. A. The On-Line Encyclopedia of Integer Sequences. — Electronic text data. — Mode of access: http://oeis.org. — Title from screen.
REFERENCES
1. Batkhin A.B. Vydelenie oblastey ustoychivosti nelineynoy sistemy Gamiltona [Segregation of Stability Domains of the Hamilton Nonlinear System]. Avtomatika i tеlеmеkhanika [Automation and Remote Control], 2013, iss. 8, pp. 47-64.
2. Batkhin A.B., Bruno A.D., Varin V.P. Mnozhestva ustoychivosti mnogoparametricheskikh gamiltonovykh sistem [Stability Sets of Multiparameter Hamiltonian Systems]. Prikladnaya matеmatika i mеkhanika [Journal of Applied Mathematics and Mechanics], 2012, vol. 76, no. 1, pp. 80-133.
3. Batkhin A.B. Nelineynaya ustoychivost sistemy Gamiltona po lineynomu priblizheniyu [Non-Linear Stability of the Hamiltonian System on Linear Approximation]. Painty IPM im. M.V. ^ldysha, 2012, no. 33, pp. 1-24. Available at: http://www.keldysh.ru/papers/2012/prep2012_33.pdf.
4. Batkhin A.B. Parametrizatsiya diskriminantnogo mnozhestva veshchestvennogo mnogochlena [Parametrization of the Discriminant Set of a Real Polynomial]. Prеprinty IPM im. M.V. ^ldysha, 2015, no. 76, pp. 1-36.
5. Batkhin A.B. Parametrizatsiya diskriminantnogo mnozhestva mnogochlena [Parameterization of the Discriminant Set of a Polynomial]. Programmirovaniе [Programming and Computer Software], 2016, vol. 42, no. 2, pp. 8-21. DOI: http://dx.doi.org/10.1134/S0361768816020031.
6. Batkhin A.B. Struktura diskriminantnogo mnozhestva veshchestvennogo mnogochlena [Structure of Discriminant Set of Real Polynomial]. Chеbyshеvskiy sb., 2015, vol. 16, no. 2, pp. 23-34.
7. Batkhin A.B. Struktura rezonansnogo mnozhestva veshchestvennogo mnogochlena [Structure of the Resonance Set of a Real Polynomial]. Prеprinty IPM im. M.V. Kеldysha, 2016, no. 29, pp. 1-23. DOI: http://dx.doi.org/10.20948/prepr-2016-29.
8. Bruno A.D., Petrov A.G. O vychislenii gamiltonovoy normalnoy formy [On Computation of the Hamiltonian Normal Form]. Doklady akadеmii nauk [Doklady Physics], 2006, vol. 410, no. 4, pp. 474-478.
9. Bruno A.D. O formalnoy ustoychivosti sistem Gamiltona [Formal Stability of Hamiltonian Systems]. Mat. zamеtki [Mathematical Notes], 1967, vol. 1, no. 3, pp. 325-330. DOI: 10.1007/BF01098887.
10. Jury E.I. Innory i ustoychivost dinami^skikh sistеm [Inners and Stability of Dynamic Systems]. Moscow, Mir Publ., 1979. 304 p.
11. Zhuravlev V.F., Petrov A.G., Shunderyuk M.M. Izbrannyе zadachi gamiltonovoy mеkhaniki [Selected Problems of Hamiltonian Mechanics]. Moscow, LENAND Publ., 2015. 304 p.
12. Kalinina E.A., Uteshev A.Yu. Tеoriya isklyuchеniy [Elimination Theory]. Saint Petersburg, Izd-vo NII khimii SPbGU Publ., 2002. 72 p.
13. Macdonald I.A. Simmеtrichеskiе funktsii i mnogoch^ny Kholla [Symmetric Functions and Hall Polynomials]. Moscow, Mir Publ., 1985. 222 p.
14. Markeev A.P. Tochki libratsii v nеbеsnoy mеkhanikе i kosmodinamikе [Libration Points in Celestial Mechanics and Cosmodynamics]. Moscow, Nauka Publ., 1978. 312 p.
15. Prasolov V.V. Mnogoch^ny [Polynomials]. Moscow, MTsNMO Publ., 2014. 336 p.
16. Andrews G. Tеoriya razbiеniy [The Theory of Partitions]. Moscow, Nauka Publ., 1982. 256 p.
17. Basu S., Pollack R., Roy M.-F. Algorithms in Real Algebraic Geometry. Berlin, Heidelberg, New York, Springer-Verlag, 2006. ix+662 p.
18. Markakis M.P., Perdiou A.E., Douskos C.N. The Photogravitational Hill Problem with Oblateness: Equilibrium Points and Lyapunov Families. Astrophys Space Sci., 2008, vol. 315, pp. 297-306. DOI: 0.1007/s10509-008-9831-6.
19. Moser J. New Aspects in the Theory of Stability of Hamiltonian Systems. Comm. Pure Appl. Math., 1958, vol. 11, no. 1, pp. 81-114.
20. Sloane N.J.A. The On-Line Encyclopedia of Integer Sequences. Available at: http://oeis.org.
RESONANCE SET OF A POLYNOMIAL AND PROBLEM OF FORMAL STABILITY
Alexander Borisovich Batkhin
Candidate of Physical and Mathematical Sciences, Senior Researcher, Keldysh Institute of Applied Mathematics of Russian Academy of Sciences batkhin@gmail.com
Miusskaya Sq., 4, 125047 Moscow, Russian Federation
Abstract. Let fn(x) be a monic polynomial of degree n with real coefficients fn{x) = xn + aixn-1 + a2xn-2 +-----Van.
The space n = Rn of its coefficients a1,... an is called the coefficient space of fn(x). A pair of roots U, tj, i,j = 1,...,n, i = j, of the polynomial fn(x) is called p : q-commensurable if U : tj = p : q.
Resonance set 'Rp):q(fn) of the polynomial fn(x) is called the set of all points of n at which fn(x) has at least a pair of p : g-commensurable roots, i.e.
Kp:q (fn) = {P e n : 3 i,j = \,...,n, ti : tj = p : q}.
The chain Ch(p^q(ti) of p : q-commensurable roots of length k is called the finite part of geometric progression with common ratio p/q and scale factor ti, each member of which is a root of the polynomial fn(x). The value ti is called the generating root of the chain.
Any partition A of degree n of fn(x) defines a certain structure of its p : ^-commensurable roots and it corresponds to some algebraic variety Vf, i = 1,...,pi(n) of dimension I in the coefficient space n. The number of such varieties of dimension I is equal to pi (n) and total number of all varieties consisting the resonance set 'Rp):q(fn) is equal to p(n) — 1.
Algorithm for parametric representation of any variety Vi from the resonance set 'Rp):q(fn) is based on the following
Theorem. Let Vi, dimVi = I, be a variety on which fn(x) has I different chains roots and the chain ChPp^(t i) has length m> 1. Let ri(t 1, t2,..., U) is a parametrization of variety Vi. Therefore the following formula
r)(y — T)m—1t1 )
ri(t 1,..., ti, v) = ri(t 1,..., ti) + py / J.J[ri (t 1,..., ti) — ri ((q /p) ti,..., ti)]
ti(p — q )
gives parametrization of the part of variety Vi+1, on which there exists ChP™~l\t 1), simple root v and other chains of roots are the same as on the initial variety Vi.
From the geometrical point of view the Theorem means that part of variety Vi+1 is formed as ruled surface of dimension 1 + 1 by the secant lines, which cross its directrix Vi at two points defined by such values of parameters t^ and 11 that t1 : t\ = q : p. If fn(x) has on the variety Vi+1 pairs of complex-conjugate roots it is necessary to make continuation of obtained parametrization ri(t.., U, v).
Resonance set of a cubic polynomial f3(x) can be used for solving the problem of formal stability of a stationary point (SP) of a Hamiltonian system with three degrees of freedom. Let Hamiltonian function H(z) expand in SP H(z) = J2'i=2 Hi(z), where z = (q, p), q and p — are coordinates and momenta, Hi(z) — are homogeneous functions of degree i. Characteristic polynomial f(A) of the linearized system z = JAz, A = HessH2, can be considered as a monic cubic polynomial. Resonance sets 'Rp):q(fn) for p = 1,4,9,16, q = 1, give the boundaries of subdomains in n, where Bruno's Theorem of formal stability [9] can be applied.
Key words: elimination theory, subresultant, computer algebra, formal stability of a stationary point, resonance set.
