Заседание 523 (14 июня 2024 г.)
Шамолин М.В.
Интегрируемость систем нечетного порядка.
Нахождение достаточного количества тензорных инвариантов (не только автономных первых интегралов), как известно, облегчает исследование, а иногда позволяет точно проинтегрировать систему дифференциальных уравнений. Например, наличие инвариантной дифференциальной формы фазового объема позволяет уменьшить количество требуемых первых интегралов. Для консервативных (в частности, гамильтоновых) систем этот факт естествен, когда фазовый поток сохраняет объем с гладкой (или постоянной) плотностью.
Сложнее (в смысле гладкости инвариантов) дело обстоит для систем, обладающих притягивающими или отталкивающими предельными множествами. Для таких систем коэффициенты искомых инвариантов должны, вообще говоря, включать функции, обладающие существенно особыми точками.
Наш подход состоит в том, что для точного интегрирования автономной системы порядка m надо знать m-1 независимый тензорный инвариант. При этом для достижения точной интегрируемости приходится соблюдать также ряд дополнительных условий на эти инварианты.
Важные случаи интегрируемых систем с малым числом степеней свободы в неконсервативном поле сил уже рассматривались в работах автора. Настоящее исследование распространяет результаты этих работ на более широкий класс динамических систем. При этом в этих работах упор делался на нахождение достаточного количества именно первых интегралов. Но, как известно, иногда полного набора первых интегралов для систем может и не быть, зато достаточное количество инвариантных форм может быть обеспечено.
Для систем классической механики понятия "консервативность", "силовое поле", "диссипация" и др. вполне естественны. Поскольку в данной работе изучаются динамические системы на касательном расслоении к гладкому многообразию (пространству положений), уточним данные понятия для таких систем.
Анализ "в целом" начинается с исследования приведенных уравнений геодезических, левые части которых при правильной параметризации представляют собой записи координат ускорения движения материальной частицы, а правые части приравнены к нулю. Соответственно, величины, которые ставятся в дальнейшем в правую часть, можно рассматривать как некоторые обобщенные силы. Такой подход традиционен для классической механики, а теперь он естественно распространяется на более общий случай касательного расслоения к гладкому многообразию. Последнее позволяет, в некотором смысле, конструировать "силовые поля". Так, например, введя в систему коэффициенты, линейные по одной из координат (по одной из квазискоростей системы) касательного пространства, получим силовое поле с диссипацией разного знака (в зависимости от знака самого коэффициента).
И хотя словосочетание "диссипация разного знака" несколько противоречиво, тем не менее, будем его употреблять. Учитывая при этом, что в математической физике диссипация "со знаком "плюс" - это рассеяние полной энергии в обычном смысле, а диссипация "со знаком "минус" - это своеобразная "подкачка" энергии (при этом в механике силы, обеспечивающие рассеяние энергии называются диссипативными, а силы, обеспечивающие подкачку энергии называются разгоняющими).
Консервативность для систем на касательных расслоениях можно понимать в традиционном смысле, но мы добавим к этому следующее. Будем говорить, что система консервативна, если она обладает полным набором гладких первых интегралов, что говорит о том, что она не обладает притягивающими или отталкивающими предельными множествами. Если же она последними обладает, то будем говорить, что система в той или иной области фазового пространства обладает диссипацией какого-то знака. Как следствие этого - обладание системы хотя бы одним первым интегралом (если они вообще есть) с существенно особыми точками.
В данной работе силовое поле разделяется на так называемые внутреннее и внешнее. Внутреннее поле характерно тем, что оно не меняет консервативности системы. А внешнее может вносить в систему диссипацию разного знака. Заметим также, что вид внутренних силовых полей заимствован из классической динамики твердого тела.
В данной работе приведены первые интегралы, а также инвариантные дифференциальные формы классов однородных по части переменных динамических систем нечетного порядка, в которых может быть выделена система с конечным числом степеней свободы на своем фазовом многообразии. При этом силовое поле разделяется на внутреннее (консервативное) и внешнее, которое обладает так называемой знакопеременной диссипацией. Внешнее поле вводится с помощью некоторого унимодулярного преобразования и обобщает силовые поля, рассматриваемые ранее.