УДК 531.381,531.395
ОБ ОДНОМ СЛУЧАЕ ПРИВОДИМОСТИ УРАВНЕНИЙ ДВИЖЕНИЯ СЛОЖНОЙ МЕХАНИЧЕСКОЙ СИСТЕМЫ
В.Ю. Ольшанский
Институт проблем точной механики и управления Российской академии наук E-mail: olshanskiy_vlad@mail.ru
Рассматривается механическая система, состоящая из неизменяемого твердого тела (носителя) и подсистемы, конфигурация и состав которой могут изменяться со временем (движение ее элементов относительно носителя задано). Система движется в однородном поле силы тяжести вокруг неподвижной точки носителя. Получены условия существования интеграла, являющегося обобщением интеграла проекции кинетического момента на случай системы переменной массы. Выполнено приведение системы к автономному виду. Выделен случай существования алгебраического интеграла типа Ковалевской.
Ключевые слова: изменение состава и конфигурации, интегралы движения, случай Ковалевской.
On One Case of Reducibility of the Equations of Motion of a Complex Mechanical System
V.Yu. Olshanskiy
Institute of Precision Mechanics and Control, Russian Academy of Sciences E-mail: olshanskiy_vlad@mail.ru
A mechanical system, consisting of a non-variable rigid body (a carrier) and a subsystem, the configuration and composition of which may vary with time (the motion of its elements with respect to the carrier is specified), is considered. The system moves in a uniform gravitational field around a fixed point of the carrier. Obtained are conditions for the existence of the integral, which is a generalization of the kinetic moment projection integral in the case of variable mass. The system is reduced to an autonomous type. Case of an algebraic integral of the Kovalevskaya type existence is distinguish.
Key words: change the composition and configuration, integral of motion, Kovalevskaya case.
1. ПОСТАНОВКА ЗАДАЧИ
Для описания движения носителя используем следующую форму уравнений [1-3]:
y = y х x + Лх + s х a + N, s = s x x. (1.1)
Здесь y = Jx + K, J — оператор инерции системы в точке O, K — кинетический момент в движении относительно главной системы отсчета (СО) в неподвижной точке O, K = ^ mnrn х rn, (') — производная по времени в главной СО, x — угловая скорость главной СО, симметрический оператор Л задан тождеством [3] Лz = Jz — mn[rn x (z x rn) + rn x (z x rn)], s — орт вертикали, a = Prc, P — вес тела, rc — радиус-вектор центра масс, N = Mf + K + Mr + M*, Mf — главный момент сил инерции в движении относительно главной СО, Mf = mnrn x rn, Mr — главный момент реактивных сил, M* — управляющий момент.
Решается задача получения условий существования и нахождения явного вида квадратичного интеграла
(y, Fy) + (y, Gs) + (s, Qs) + (m, y) + (n, s) + <(t) = const. (1.2)
Ниже показано, что оператор F имеет вид F = ф1E + -02J-1 • Квадратичный интеграл вида (1.2) при ф1 =0 и условия его существования найдены в работе [1]. Необходимые и достаточные условия существования одного и двух квадратичных интегралов свободного движения (a = 0, ф1 = 0) получены в работах [2, 3].
Для существования интеграла (1.2) при ф2 = 0 необходимо, чтобы функции ai были пропорциональны, ai = aoia(t), где ai = Ai(Aj — Ak), Ai — главные моменты инерции. В настоящей работе рассматривается случай ф2 = 0, когда интеграл вида (1.2) может существовать без данного ограничения на закон изменения главных моментов инерции. Выделен случай, когда система является автономной и обладает обобщенным интегралом энергии, а также случай, когда существует интеграл типа Ковалевской.
2. НАХОЖДЕНИЕ УСЛОВИЙ СУЩЕСТВОВАНИЯ ИНТЕГРАЛА
Если интеграл (1.2) продифференцировать в силу системы (1.1), то получим тождество (2Fy + Gs + m, y x J-1 y + k x y + ЛJ-1 y + s x a + L) + (y, Fy + Gs + m) +
© В.Ю. Ольшанский, 2010
65
j^s-.,.__Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 3
+ (s, Qs + n) + (GTy + 2Qs + n, s, J-1y - k) + < = 0. (2.1)
Здесь k = J-1K, L = N - Лк.
Выделяя члены с y3, получим тождество (Fy, y, J-1 y) = 0, откуда следует представимость оператора F в виде
F = 01E + 02 J-1. (2.2)
Выделяя из тождества (2.1) члены с y2s, получим тождество (Gs, y, J-1y) + (GTy, s, J-1 y) = 0, которое выполнено, только если G = pE.
Выделяя в тождестве (2.1) члены с s2y, получим тождество (Qs, s, J-1y) = 0, откуда следует Q = qE. Слагаемое (s, Qs) в интеграле (1.2) включим в <(t), поскольку s2 = 1. Интеграл (1.2) теперь можно записать в виде
01У2 + "02(y, J-1y) + p(s, y) + (m, y) + (n, s) + <(t) = const. (2.3)
Выделяя в тождестве (2.1) члены с sy, получим
2(01 y + "2 J-1y, s, a) + p(s, Л J-1 y) + p(y, s) + (n, s, J-1y) = 0. (2.4)
Если положить здесь s = e^, y = A^ (e^, Aj — собственные векторы и собственные значения оператора J), то получим условия
p + A-1Aiip = 0, i = 1, 2, 3. (2.5)
Если в тождестве (2.4) положить сначала s = e^ y = Ajej, затем s = ej, y = Ajej и сложить полученные равенства, то придем к условиям
pAjj = -01 AAfcak, AAj = (Aj - Ak)Sjjk. (2.6)
В случае, когда центр масс не совпадает с неподвижной точкой и динамическая симметрия отсутствует, из условий (2.6) следует, что если p = 0, то и = 0. Далее будем рассматривать случай p = 0, =0. Тогда из условий (2.5) следует
AjjA-1 = A, i = 1, 2, 3, A = -p/p, (2.7)
где Aj = (ej, Лej). Обозначим
в = exp(-0 A(C) d^. (2.8)
Учитывая условие (2.5), параметр p(t) запишем в виде
p = po в, po = const. (2.9)
Тождество (2.4) при выполнении условий (2.5), (2.6), (2.9) запишется в виде
01 ((y, s, a) + (J-1 y, Js, a)) + 202(J-1 y, s, a) + (n, s, J-1y) = 0.
Данное тождество эквивалентно следующему тождеству:
01 (a х y + J (a x J-1y)) + 202a x J-1 y + J-1 y x n = 0,
которое выполнено, только если параметр n имеет вид
n = 01r + 202a, r = a tr J - Ja. (2.10)
При p = 0 из условий (2.6) следует, что параметры Aj должны быть пропорциональны AAkak. Обозначим
01 = pn (2.11)
бб
Научный отдел
и запишем условие (2.6) в виде
Ajj = -nAAk ak, (i,j,k). (2.12)
Выделяя в (2.1) члены с y2, придем к тождеству
(y, 2AFy + Fy - 201nJ-1(a x Jy) - (202 r - 402na + m) x J-1 y) = 0. (2.13)
Полагая здесь y = ej, i = 1, 2, 3, получим F + 2AF = 0, или, учитывая определение (2.8) параметра в, eF - 2eF = 0, откуда следует F = в2C, C = diag (cj) = const. Учитывая представление (2.2) оператора F, получим
01 + 02 A-1 = Cj в2, i = 1, 2,3. (2.14)
Умножая эти равенства на aj и складывая, придем к условию
с1«1 + C2 «2 + сзаз = 0. (2.15)
Если 02 = 0, AAj = 0, то из условий (2.14) следует, что постоянные cj попарно различны. Учитывая тождество а1 + а2 + а3 = 0, из условия (2.15) получим, что aj пропорциональны, aj = a0ja(t). Далее рассмотрим случай, когда функции Aj(t) не связаны этим дополнительным ограничением. Это возможно, если 02 = 0. При этом из условий (2.9), (2.11), (2.14) следует 01 = в2const и
П = Пов. (2.16)
Параметр n в силу формул (2.9)-(2.11) равен n = p0впг. Тождество (2.13) принимает вид (y, 201 nJ-1 (a x Jy) - m x J-1 y) = 0. Используя равенство (J-1y, Jy, a) = (J-1y, y, r), запишем последнее тождество в виде (y, J-1 y, m - 201nr) = 0. Отсюда следует, что m = 201 nr = 2nn. Запишем оператор Л в виде
Л = Л1 +Л2, Л1 = AJ. (2.17)
Из условия (2.7) следует, что диагональные элементы матрицы оператора (в главном базисе) Л2 равны нулю. В соответствии с условием (2.12) внедиагональные элементы Л2совпадают с соответствующими элементами оператора, заданного тождеством
Л2 z = n[( J z) x a + J (a x z)]. (2.18)
Интеграл (2.3) можно теперь записать в виде
p(ny2 + (y, s) + 2n2(y, r) + n(r, s)) + <(t) = const. (2.19)
При выполнении полученных выше необходимых условий в тождестве (2.1) остаются только слагаемые с первыми степенями по y, s и свободный член, их обращение в ноль приводит к условиям:
в2 (L + nor x k) + no ((в3 r)' + Aв3 r) + no в4 (a x r + no J-1(Jr x a)) = 0, (2.20)
в L + 2no в3 a x r + no в2 r x k + ^(в2 r)' = 0, (2.21)
2pon2в3(r, L) + < = 0. (2.22)
Учитывая, что в = -Aв, условие (2.20) запишем в виде
в L + no в2 r x k + no (в2 r)' + no в3 a x r + no в3 J-1 ((Jr) x a) = 0. (2.23)
Покажем, что условия (2.21), (2.23) совпадают. Вычитая эти равенства, получим J-1 ((Jr) x a) -- a x r = 0. Учитывая выражение (2.10) для r, проверяем, что последнее равенство является верным. Таким образом, остаются условия (2.21), (2.22).
Получим теперь выражение для <(t). Исключим L из равенств (2.21), (2.22), тогда -2po %3в 2( r, (в^)') + < = 0 и отсюда < = pn3r2 + const. Интеграл (2.19) можно теперь записать в виде
n(y + nr)(s + n(y + nr)) = const. (2.24)
j^s-.,.__Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 3
Необходимое условие (2.21) при учете равенства L = N — Лк записывается в виде
nN + nK+2n2a х K + 2n3(Ja) х a + (n2г)' = 0.
Если обозначить M = Mf +Mr+M*, то данное условие приводится к виду nM+2n2ax (K—nJa) + + (nK+n2г)' = 0, или
nM + d + 2na x d = 0, d = nK+n2r. (2.25)
3. ПРЕОБРАЗОВАНИЕ УРАВНЕНИЙ ПРИ СУЩЕСТВОВАНИИ ИНТЕГРАЛА
Будем далее считать, что полученные выше необходимые условия существования интеграла (2.16), (2.17), (2.18), (2.25) выполнены.
Введем переменную u = ny + n2г. Интеграл (2.24) запишется в виде
u(u + s) = const. (3.1)
Покажем, что система (1.1) приводится к виду
U = n-1u х J-1u + nu x (3a — (tr J)J-1 a) + k x u + ns x a, S = n-1s x J-1u — s x (nJ-1 г + k). (3.2)
Первое уравнение системы (1.1) записывается в виде
y = y x J-1 y + k x y + Ay + n(y x a + J (a x J-1 y)) + s x a — 2^в2 a x г — no в г x k — no^-1 (в2 г)'.
Здесь A = —в/в, а в силу условия (2.16) n = n0в. Если учесть определение (2.10) параметра г и тождество J (a x b) = (Jb) x a + b x Ja + (tr J )a x b, то уравнение записывается в виде
(ny + П2г)'/п = (у + Пг) x J-1y + k x (y + пг) + 2n(y + пг) x a + s x a.
При переходе к переменной u получаем первое уравнение системы (3.2). Аналогично получаем второе уравнение этой системы.
Если перейти к переменным dr = dt/n, a1 = n2a, k1 = nk, г1 = п2г, то система (3.2) запишется в виде
du/dr = u x J-1 u + u x (3a1 — (tr J)J-1 a1) + k1 x u + s x ab ds/dr = s x J-1u — s x (J-1 г1 + k1).
Данная система преобразуется к симметричному виду:
du/dr = u x (J-1u + b) + v x a1, dv/dr = v x (J-1 u + b) + u x a1, (3.3)
где v = u + s, b = 2a1 — (tr J) J-1a1 — k1. Интеграл (3.1) записывается в виде
uv = const. (3.4)
Система (3.3) обладает также интегралом
u2 + v2 = const. (3.5)
Этот интеграл является следствием интегралов (3.4) и y2 = 1. Систему (3.3) можно также записать в следующей форме [4]:
du/dr = u x dH/du + v x dH/dv, dv/dr = v x dH/du + u x dH/dv, (3.6)
где H = (u, J-1 u)/2 + (b, u) + (a1, v). Интегралы (3.4), (3.5) определяются функциями Казимира последней системы F1 = u2 + v2, F2 = (u, v).
68 Научный отдел
4. ДОПОЛНИТЕЛЬНЫЕ АЛГЕБРАИЧЕСКИЕ ИНТЕГРАЛЫ
Рассмотрим случай, когда система (3.3), а следовательно, и исходная система (1.1), приводятся к автономному виду. Это возможно, если J = vJ0, ai = v-1a0, b = v-1bo, ki = v-1 ko, где J0, a0, bo, k0 = const. Данные условия эквивалентны следующим условиям:
J = vJ0, a =(vn2)-1a0, K = n-1 K0. (4.1) При выполнении условий (4.1) система (3.3) приводится к автономному виду
du/d0 = u х (J-1 u+b0)+v x a0, = dr/v = dt/(vn), dv/d0 = v x (J-1 u+b0) + ux a0. (4.2)
Необходимое условие (2.25) принимает вид
M = (vn2)-1 (K0 - J0a0) x a0.
Система (4.2) записывается в форме (3.6) (с заменой т на 0) с гамильтонианом, не зависящим явно от времени, который дает обобщенный интеграл энергии
На = (u, J0-1 u)/2 + (b0, u) + (ac, v) = const. (4.3)
Выделим случай, исследованный в работе [5], когда система (4.2) имеет алгебраический интеграл четвертой степени типа интеграла Ковалевской (при более жестких ограничениях интеграл Ковалевской для исходной системы (1.1) указан в работе [6]). Этот случай задается гамильтонианом следующего вида:
Н = (u1 + u2 + 2u2 )/2 + Z3U3 + Z1V1.
Для приведения гамильтониана (4.3) к данному виду необходимо выполнение условий
A01 = A02 = 2A03, a0 = С1 е1, b0 = Сзвз. (4.4)
Положим u = A01z, v = A01w, J0 = A01I, I = diag (1,1,1/2) и запишем систему (4.2) в виде
dz/d0 = z х (I-1 z + b0) + w x a0, dw/d0 = w x (I-1 z + b0) + z x a0. (4.5)
Дополнительный интеграл имеет вид [5]
(z2 - z2 - 2C1W1 + Ci2)2 + 4(z1 Z2 - C1W2)2 - 4Сз2(^2 + z2) - 4Сз(Z3(z2 + Z22 + Ci2) - 2C1Z1Z3) = const.
Интегрируемость системы (4.5) при выполнении условий (4.4) показана в работе [5]. Библиографический список
4. Борисов, А.В. Динамика твердого тела / А.В. Борисов, И.С. Мамаев. - Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001. - 384 с.
5. Borisov, A.V. Kovalevskaya top and generalizations of integrable systems / A.V. Borisov, I.S. Mamaev, A.G. Kholmskaya // Reg.&Ch. Dyn. - 2000. - V. 6, № 1. - P. 1-16.
6. Ольшанский, В.Ю. О динамике механической системы изменяемой конфигурации и состава в случае Ковалевской / В.Ю. Ольшанский // Вестн. Сарат. гос. техн. ун-та. - 2008. - Т. 4(36). - С. 39-44.
1. Ольшанский, В.Ю. Линейный и квадратичный интегралы сложной механической системы / В.Ю. Ольшанский // Прикладная математика и механика. - 1996. -Т. 60, вып. 1. - С. 37-46.
2. Ольшанский, В.Ю. Свободное движение сложной механической системы с квадратичными интегралами / В.Ю. Ольшанский // Космические исследования. -1996. - Т. 34, № 2. - С. 145-149.
3. Ольшанский, В.Ю. О приводимости уравнений свободного движения сложной механической системы / В.Ю. Ольшанский // Прикладная математика и механика. - 1998. - Т. 62, вып. 5. - С. 768-777.