Научная статья на тему 'Метод Якоби – Пуассона построения первых интегралов систем обыкновенных дифференциальных уравнений'

Метод Якоби – Пуассона построения первых интегралов систем обыкновенных дифференциальных уравнений Текст научной статьи по специальности «Математика»

CC BY
5
0
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
обыкновенная дифференциальная система / гамильтонова система / теорема Якоби – Пуассона / первый интеграл / интегральное многообразие / частный интеграл / скобка Пуассона / ordinary differential system / Hamiltonian system / Jacobi – Poisson theorem / first integral / integral manifold / partial integral / Poisson bracket

Аннотация научной статьи по математике, автор научной работы — А.Ф. Проневич

Для гамильтоновой дифференциальной системы разработан метод Якоби – Пуассона построения первых интегралов на основании интегральных многообразий этой системы. Доказана теорема о существовании первого интеграла гамильтоновой системы в форме скобок Пуассона от известных интегральных многообразий этой системы. Приведено положение о нахождении дополнительного первого интеграла гамильтоновой системы на основании известных первого интеграла и интегрального многообразия. В случае, когда гамильтонова система является полиномиальной использовано понятие частного интеграла, а полученные результаты конкретизированы. Предложен метод Якоби – Пуассона построения первых интегралов в форме скобок Пуассона от интегральных характеристик (интегральные многообразия, частные и первые интегралы) для нормальной обыкновенной дифференциальной системы. Получены утверждения о нахождении первых интегралов нормальной обыкновенной дифференциальной системы по интегральным характеристикам вспомогательной гамильтоновой системы, указана обобщенная теорема Пуассона о построении первых интегралов, а также исследован вопрос о наличии частных и первых интегралов в форме скобок Пуассона для обыкновенной полиномиальной дифференциальной системы. Полученные в работе результаты могут быть использованы в аналитической теории дифференциальных уравнений и в аналитической механике.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The Jacobi – Poisson method of building first integrals for system of ordinary differential equations

In this paper, the Jacobi – Poisson method of building first integrals by known integral manifolds for Hamiltonian differential systems is developed. The existence theorem of first integrals in the form of Poisson brackets from known integral manifolds for Hamiltonian systems is proved. The statement of finding additional first integrals by known first integrals and integral manifolds for Hamiltonian systems is given. In the case of polynomial Hamiltonian systems, we use the concept of partial integrals and concretize ours results. The Jacobi – Poisson method of construction first integrals in the form of Poisson brackets from known integral characteristics (integral manifolds, partial integrals, and first integrals) for general ordinary differential systems is proposed. Statements of finding first integrals for an ordinary differential system by integral characteristics of the auxiliary Hamiltonian system are obtained. The generalized Poisson theorem of construction first integrals is indicated. And, the question of the existence of partial integrals and first integrals in the form of Poisson brackets for ordinary polynomial differential systems is investigated. The results obtained in this paper can be used in the analytical theory of differential equations and in the analytical mechanics.

Текст научной работы на тему «Метод Якоби – Пуассона построения первых интегралов систем обыкновенных дифференциальных уравнений»

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ И

ПРОЦЕССЫ УПРАВЛЕНИЯ N. 4, 2023 Электронный журнал, рег. Эл № ФС77-39410 от 15.04.2010 ISSN 1817-2172

http://diffjournal. spbu. ru/ e-mail: _ jodiff@mail.ru

Теория обыкновенных дифференциальных уравнений

Метод Якоби - Пуассона построения первых интегралов систем обыкновенных дифференциальных уравнений

А.Ф. Проневич

Гродненский государственный университет имени Янки Купалы, 230023, Республика Беларусь, Гродно, Ожешко 22

e-mail: pranevich@grsu.by

Аннотация. Для гамильтоновой дифференциальной системы разработан метод Якоби -Пуассона построения первых интегралов на основании интегральных многообразий этой системы. Доказана теорема о существовании первого интеграла гамильтоновой системы в форме скобок Пуассона от известных интегральных многообразий этой системы. Приведено положение о нахождении дополнительного первого интеграла гамильтоновой системы на основании известных первого интеграла и интегрального многообразия. В случае, когда гамильтонова система является полиномиальной использовано понятие частного интеграла, а полученные результаты конкретизированы. Предложен метод Якоби - Пуассона построения первых интегралов в форме скобок Пуассона от интегральных характеристик (интегральные многообразия, частные и первые интегралы) для нормальной обыкновенной дифференциальной системы. Получены утверждения о нахождении первых интегралов нормальной обыкновенной дифференциальной системы по интегральным характеристикам вспомогательной гамильтоновой системы, указана обобщенная теорема Пуассона о построении первых интегралов, а также исследован вопрос о наличии частных и первых интегралов в форме скобок Пуассона для обыкновенной полиномиальной дифференциальной системы. Полученные в работе результаты могут быть использованы в аналитической теории дифференциальных уравнений и в аналитической механике.

Ключевые слова: обыкновенная дифференциальная система, гамильтонова система, теорема Якоби - Пуассона, первый интеграл, интегральное многообразие, частный интеграл, скобка Пуассона.

Введение

Рассмотрим гамильтонову систему с п степенями свободы

^ = дЛЩ,д,р), ^ = -д%Щг9гр)г 1 = 1,...,/,, (1)

где с/ = (с/,,...,£/„) и р = (р],..., рп) - точки из пространства И", / е К, дважды непрерывно

дифференцируемая на области Б = Т х О, Т с И, О с Я2п, функция Н: Б ^ К.

С целью однозначного толкования, следуя в основном монографии [1], определим используемые в статье понятия и оговорим принятую терминологию. Скобкой Пуассона функций и, V е С1 (Б) назовем скалярную функцию

п

[и ^: (г, ц, р) ^ ^ Ч Р) д р Ч Р) -д ри(г, Ч Р) д , Ч Р)) У (г, Ъ Р) е

¡=\

Функцию g е С1 (Б') назовем первым интегралом на области V с Б гамильтоновой системы (1), если ^ (г, ц, р) = 0 У (г, ц, р) е Б', где линейный дифференциальный оператор

п

3(г, Ч, р) = дг (д рН (г, Ч, р) д Ъ - д цН (г, ц, р) д р ) У (г, ц, р) е Б.

1=1

Гладкое многообразие g (г, ц, р) = 0 будем называть интегральным многообразием гамильтоновой системы (1), если производная в силу системы (1) функции g е С1 (Б') тождественно равна нулю на этом многообразии:

% (г, ц, р) = Ф(г, ц, р), Ф (г, ц, р) g {,Ър>0 = 0 У (г, ц, р) е Б'. (2)

В случае, когда гамильтонова система (1) является полиномиальной, т.е. гамильтониан Н есть полином степени Ъ по зависимым переменным ц, р с непрерывно дифференцируемыми на области Т с К коэффициентами-функциями от независимой переменной г, будем также использовать понятие частного интеграла.

Функцию g е С1 (Б') назовем частным интегралом на области Б' полиномиальной гамильтоновой системы (1), если производная в силу системы (1) функции g равна

% (г, ц, р) = g (г, ц, р)М (г, ц, р) У (г, ц, р) е Б',

где полином М по переменным ц и р имеет степень ¿е^ )М < Ъ - 2. При этом полином М называть сомножителем частного интеграла g.

Современное состояние теории первых и частных интегралов, а также подробный обзор литературы по этой тематике приведены в монографиях [1 - 6].

Множество функций, являющихся первыми интегралами, интегральными многообразиями и частными интегралами на области Б' гамильтоновой системы (1), соответственно обозначим !<(1), Б'>, М<(1), Б '> и ]<(1),Б'>. Условной записью (g, Ф) е М<(1), Б'> будем выражать то, что функция g определяет интегральное многообразие гамильтоновой системы (1) такое, что

имеет место тождество (2), а записью (g, М) е 1<(1), О'> выразим то, что функция g является частным интегралом с сомножителем М на О полиномиальной гамильтоновой системы (1).

Среди общих методов построения первых интегралов систем уравнений Гамильтона (1) особое значение имеет метод Якоби - Пуассона. Он дает возможность по двум первых интегралам гамильтоновой системы (1) находить третий первый интеграл этой системы, а значит, в определенных случаях строить интегральный базис гамильтоновой системы (1). Благодаря этому свойству метод Якоби - Пуассона вошел практически во все монографии и учебники по аналитической механике (см., например, [7, с. 240; 8, 184; 9, с. 100]) и сформулирован в виде следующего утверждения.

Теорема 1 (теорема Якоби - Пуассона). Пусть g4. е 1<(1), О'> и g4. е С2(О'), к = 1,2. Тогда первым интегралом гамильтоновой системы (1) будет скобка Пуассона

gl2■(t, Ч, Р) ^ Ш, Ч, р), g 2 (, Ч, р)] V(t, д, р) е О. (3)

К.Г. Якоби считал эту теорему наиболее глубоким открытием С.Д. Пуассона и по ее поводу в книге «Лекции по динамике» писал [7, с. 241]: «Это одна из замечательнейших теорем всего интегрального исчисления и, в частном случае, когда положено Н = Т - и, это есть основная теорема аналитической механики. Именно она показывает, что если имеет место теорема живой силы, то из двух интегралов дифференциальных уравнений движения простым дифференцированием вообще можно вывести третий интеграл, отсюда четвертый и т.д., так что либо получатся все интегралы, либо по крайней мере некоторое число их».

Цель данной работы - изучить вопрос: «Какие интегральные характеристики гамильтоновой системы (1) определяет скобка Пуассона (3) в случае, когда функции g1 и g2 не обязательно являются первыми интегралами»? А именно, решаются следующие задачи:

1. Если функции ^ и ^ являются интегральными многообразиями или частными интегралами гамильтоновой системы (1), то какую интегральную характеристику определяет скобка Пуассона (3) для гамильтоновой системы (1) ?

2. Распространить результаты по построению первых интегралов, полученные для гамильтоновой системы (1), на обыкновенные дифференциальные системы п-го порядка

^ = 7 = 1,..„и, (4)

где функции Х1. : О. —» Л., / = \,...,п, непрерывно дифференцируемы на области С1 = Т /О,

Т с И, Q с Я.п, из расширенного фазового пространства И п+1.

Работа продолжает и развивает исследования [10, 11] по интегрируемости гамильтоновых систем в неавтономном случае на базе интегральных многообразий и частных интегралов.

1. Интегральные многообразия

Теорема 2. Пусть (g¿, Фк ) е М<(1), О ' > и g¿ е С 2ф'), к = 1,2. Тогда функция

t

g: (и Ч, Р) ^ [g1 (и Ч, р), g2 (и Ч, р)] - | ф)dт V(t, д, р) е ° ', (5)

где ^ - произвольная фиксированная точка из открытого числового промежутка Т'с Т, является первым интегралом гамильтоновой системы (1), если и только если

Дифференциальные уравнения и процессы управления, N. 4, 2023 [gi (t, q, p), Ф2 (t, q, p)] - [g2 (t, q, p), Ф, (t, q, p)] = p(t) V(t, q, p) e D', pe C(T'). (6)

Д о к а з а т е л ь с т в о. С помощью скобок Пуассона систему тождеств 3g, (t, q, p) = Ф, (t, q, p) V(t, q, p) e D', к = 1,2,

запишем в виде ôtgk (t, q, p) =Фк (t, q, p) - [g, (t, q, p), H (t, q, p)] V(t, q,p) e D', к = 1,2.

Учитывая эти тождества и используя свойства скобок Пуассона (частная производная по времени, билинейность, кососимметричность и тождество Якоби), вычислим производную в силу гамильтоновой системы (1) функции (3) на области D ' :

3[ gi, g 2 ] = Ôt [ gi, g 2 ] + [[ gl, g2], H ]= [Ôtgi, g 2 ] + [ gi, ôg] + [[ gi, g2], H ] =

= [Ф1 - [gi, Hl g2] + [gi, Ф2 - [g2, H]] + [[gi, g2], H] =

= ^i, g2] - [[ gi, H l g2] + [ gi, Ф 2] - [ gi,[ g2, H ]] + [[ gi, g2], H ] =

= [ gi, Ф 2] - [ g 2 , Ф1] + ([[ H, gi], g 2] + [[ g 2 , H l gi] + [[ gi, g2], H ])= [ gi, Ф 2] - [ g 2 , Фа

С учетом этого тождества производная в силу системы (1) функции (5) равна:

t

3g(t,q,p) = 3[gi(t,q,p),g2(t,q,p)] - ôt \p(t)dr =

to

= [gi (t, q, p), Ф2 (t, q, p)] - [g2 (t, q, p), Ф1 (t, q, p)] - cp(t) Щ, q, p) e D'.

Отсюда получаем, что функция (5) является первым интегралом гамильтоновой системы (1) тогда и только тогда, когда имеет место тождество (6). □

Следствие 1. Пусть выполняются условия теоремы 2. Тогда верны утверждения:

1) скалярная функция

g : (t, q, p) ^ [gj (t, q, p), g2(t, q, p)] - ht V(t, q, p) e D' (7)

будет первым интегралом гамильтоновой системы (1) в том и только в том случае, когда имеет место тождество (6) при условии, что функция cp(t ) = h Vt e T ' , he R;

2) скобка Пуассона (3) от функций g и g2, определяющих интегральные многообразия гамильтоновой системы (1), будет первым интегралом гамильтоновой системы (1), если и только если выполняется тождество (6) при p(t) = 0 Vt e T'.

Утверждение 2) следствия 1 составляет основной результат работы [12].

Отметим, что при выполнении условий 2) следствия 1, скобка Пуассона (3) определяет интегральное многообразие гамильтоновой системы (1), если функция

ф : (t, q, p) ^ [ gi (t, q, p), ф 2 (t, q, p)] - [ g 2 (t, q, p), Ф1 (t, q, p)] v (t, q,p) e d'

такая, что выполняется тождество Ф(t, q, p)^g (t^p^(t^ p)]=0 = 0 V(t, q, p) e D' .

Из теоремы 2 в случае, когда одна функция является первым интегралом, а вторая функция определяет интегральное многообразие, получаем следующее утверждение.

Следствие 2. Пусть & е 1<(1), О '>, (^, ф) е М<(1), О' >, g¿ е С2ф'), к = 1,2. Тогда:

1) функция (5) е 1<(1), О '>, если и только если выполняется тождество

[gl^,Ч,р),Ф2(t,Ч,р)] = р^) V(t,ч,р) еО ', (ре С(Т'); (8)

2) функция (7) е 1<(1), О' > тогда и только тогда, когда имеет место тождество (8) при условии, что функция р(г) = А Vt е Т', А е Я;

3) скобка Пуассона (3) е 1<(1), О'> в том и только в том случае, когда верно тождество (8) при условии, что р(г) = 0 Vt е Т'.

Утверждение теоремы Якоби - Пуассона (теорема 1) следует из теоремы 2 в случае, когда функции ^ и ^ являются первыми интегралами системы (1), а функция р^) = 0 Vt е Т'.

2. Частные интегралы

В данном пункте без специальных оговорок будет предполагать, что гамильтонова система (1) является полиномиальной.

Предложение 1. Пусть (^,Мк) е 1<(1),О'> и ^ е С2(О'), к = 1,2. Тогда скобка Пуассона ([^, ^ ],М + М2) е 1<(1), О' >, если и только если имеет место тождество

V(t, Ч, р) е Оо с О' . (9)

[gx(t,q,p\M2(t>q,p)] _ gi(t,q,p)

[ g 2(t. q. pX q. p)] g 2(t. q. p)

Дока з а те льс тво. Методом аналогичным использованному при доказательстве теоремы 2 устанавливаем, что на области D' выполняется тождество

з[ g (t, q, p), g 2(t. q. p)] =[ gi(t, q. p). g 2(t. q. p)M2(t. q. p)] -[ g 2q. pX giq. p)Mi q. p)]-

Используя свойства Лейбница и кососимметричности скобок Пуассона, получаем 3[ gi(t. q. p) g 2 (t. q. p)] = (Mi(t. q. p) + M2(t. q. p))[ && q. p). g2(t. q. p)] +

(10)

+ g 2(t. q. p) [ gi(t. q. p). M(t. q. p)] - gi(t. q. p) [ g2(t. q. pX M(t. q. p)] v(t. q p) g D ' •

Отсюда имеем, что скобка Пуассона (3) будет частным интегралом с сомножителем M + M2 гамильтоновой системы (1) тогда и только тогда, когда верно тождество (9). □

Из доказательства предложения 1 следует следующее утверждение.

Теорема 3. Скобка Пуассона (3), построенная на основании частных интегралов (g.Mk) g J<(i) D'>. k = i.2. будет первым интегралом системы (1), если и только если на

области D0 œ {(t. q. p) : M (t. q. p) + M2 (t. q. p) ^ 0} она представима в виде

г г. п п\ „ г. п _ gl & ъ р)[g2(г, д, рХМ1(г, д, р)\- g2(г, д, р)[gl(г, д, р),М2(г, д, р)\

[ gl(г , Ч,р), g2(^,д,р)] .

Мх(г, ч, р) + М 2(г, ч, р)

Теорема 4. Если у частных интегралов g4. е С2 (О'), к = 1,2, гамильтоновой системы (1) сомножители М1 и М2 такие, что их сумма

М1(г, Ч, р) + М2(г, Ч, р) = р(г) у (г, Ч, р) е Б', (ре С (Т'), (11)

и выполняется тождество

[д,р), М1(г,д,р)] = - ^(г,д,р у ч р) е А с Б ', (12)

Ч, р), Мх(г, Ч, р)] g2(г, Ч, р) 0 , ()

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

то первым интегралом гамильтоновой системы (1) будет функция

( *

g : (Х Ч, р) ^ [gl(г, Ч, р\ g2( г, Ч, р)} ехР

\р(т) ёт\ У (г, ч, р) е Б', (13)

где г0 - произвольная фиксированная точка из открытого числового промежутка Т'.

Д о к а з а т е л ь с т в о. Из предложения 1 следует, что при выполнении тождеств (11) и (12) скобка Пуассона (3) будет частным интегралом системы (1) таким, что

3[ gl(г, Ч, р\ g 2(г, Ч, рЪ = Р( г) [ gl(г, Ч, р\ g 2(г, Ч, рЪ У (г, Ч, р) е Б'.

С учетом этого тождества производная в силу системы (1) функции (13) равна

г

^( г, ч, р) = р(г)g(г, ч, р) - g(г, ч, р) дг\р(т) ¿т = 0 у(г, ч, рр) е Б'. □

г0

Следствие 3. Если условия теоремы 4 выполняются при р(г) = Я У г е Т', Я е К, то первым интегралом гамильтоновой системы (1) будет функция

g : (г,Ч,р) ^ Шг, Ч, р), Я2(г, Ч,р)] еУ(г, Ч,р) е Б'. (14)

Следствие 4. Если условия теоремы 4 выполняются при р(г) = 0 У г е Т' , т.е. сомножители М1 и М2 такие, что М2 (г, д, р) =-М1 (г, д, р) У (г, Ч, р) е Б', то скобка Пуассона (3) будет первым интегралом гамильтоновой системы (1).

Предложение 2. Пусть & е 1<(1),Б'>, (g2,М2) е 1<(1),Б'> и gt е С2(О'), к = 1,2. Тогда скобка Пуассона ([g1, ^ ],М2) е 1<(1), Б'> тогда и только тогда, когда функции ^ и М2 находятся в инволюции, т.е. выполняется тождество

[ г, Ч, р), М 2(г, Ч, р)] = 0 У (г, Ч, р) е Б' . (15)

Д о к а з а т е л ь с т в о. На основании тождества (10) при M получаем, что производная в силу гамильтоновой системы (1) на области D' скобки Пуассона (3) равна

3 gu(t, q, p) = M2{t, q, p) gu{t, q, p) + g2(t, q, p)[ gx{t, q, p), M2(t, q, p)]. (16)

Отсюда получаем, что скобка Пуассона (3) является частным интегралом с сомножителем M2 гамильтоновой системы (1), если и только если имеет место тождество (15). □

Теорема 5. Скобка Пуассона (3), построенная на основании первого интеграла g е I<(1), D '> и частного интеграла (g, M2 ) е J<(1), D'>, будет первым интегралом гамильтоновой системы (1) тогда и только тогда, когда выполняется тождество

[ gi(t,q,p), g2(t,q,p)] =_ g2(t,q,p) V(t, q, p) е D C D'. (17)

[ gi (t, q, p),M2(t, q, p)] M2(t, q, p) ^ q p) 0 (17)

Д о к а з а т е л ь с т в о следует из тождества (16). □

Теорема 6. Пусть выполняются условия предложения 2. Тогда, если имеет место [gi(t,q,p),M2(t,q,p)] = aM2(t,q,p) + p(t) V(t,q,p) еD', ае R, (ре C(T'), (18)

то первым интегралом гамильтоновой системы (1) будет функция

f

g: (t> q, p) ^ gaa(t, q, p)exp

[gi(t,p),g2(t p)] + Jр(1)d I V(t,q,p) е Do, (19)

g2 (t, q, p) t„

где D есть область из множества {(t, q, p) е D ' : g (t, q, p) ^ 0}.

Д о к а з а т е л ь с т в о. С учетом тождества (16) и того, что (g, M2 ) е J<(1), D'>, находим производную в силу гамильтоновой системы (1) функции (19):

3g (t, q, p) = g (t, q, p) (^M2 (t, q, p) _ [ g (t, q, p), M 2 (t, q, p)] + p(t ) ) V(t, q, p) е D ' .

Отсюда, на основании тождества (18), получаем утверждение теоремы 6. □

Методом аналогично использованному при доказательстве теоремы 4 доказывается

Теорема 7. Если условия предложения 2 верны при M2 (t, q, p) = p(t) V(t, q, p) е D', р е С (Г '), то функция (13) будет первым интегралом гамильтоновой системы (1).

Следствие 5. Пусть условия предложения 2 верны при M2 (t, q, p) = Л V(t, q, p^D ' , Де R. Тогда первым интегралом гамильтоновой системы (1) будет функция (14).

Заметим, что при Л = 0 утверждение следствия 5 совпадает с теоремой 1.

3. Обыкновенная дифференциальная система

Распространим результаты, полученные в первом и втором пунктах статьи для гамильтоновой системы (1), на нормальные обыкновенные дифференциальные системы п-го порядка (4).

Для дифференциальной системы (4), используя метод Лиувилля [13, с. 429 - 430], построим расширенную гамильтонову систему уравнений

^ = 8pH(t,q,p), 7 = 1,..„и, ^■ = -dqtH(t,q,p), i = l,...,n, (20)

с гамильтонианом

n

H : (t, q, p) ^ X (t, q)Pr V(t, q, p) Rn •

¿=1

Гамильтонова система (20) составлена таким образом, что первые п уравнений образуют систему (4), а вторые п уравнений составляют вспомогательную систему для определения избыточных переменных рг,...,рп. В развернутом виде вспомогательная дифференциальная система есть линейная однородная дифференциальная система

с"

= > = 1,-,«. (21)

Система (4) и расширенная гамильтонова система (20) индуцируют соответственно линейные дифференциальные операторы первого порядка

n

*(t, q) = 5t +Z X (t, q) 54 V(t, q) eQ

¿=i

и

3(t, q, p) = *(t, q) - ^ qiXj (t, q)P} 5 p V(t, q, p) eQx Rn.

i =1 j=1

3.1. Аналитические связи между системами (4) и (20)

В дальнейшем понадобятся следующие утверждения (леммы 1 - 4), которые устанавливают аналитические связи между дифференциальными системами (4) и (20).

Лемма 1 [14, с. 111; 15]. Пусть функция g e C2(Q' ) является первым интегралом на области Q ^ Q дифференциальной системы (4). Тогда функции

p,:(t,q)-> dqig(t,q) \f{t,q) е Q', i = l,...,n, (22)

составляют частное решение вспомогательной дифференциальной системы (21).

Лемма 2. Непрерывно дифференцируемая скалярная функция

g: (t, q, р) g(t, q) V(i, q, р)еП'х R (23)

определяет n-цилиндричное интегральное многообразие расширенной гамильтоновой системы (20) тогда и только тогда, когда функция

g :(t, q) ^ g(t, q) V(t, q) eQ ' (24)

определяет интегральное многообразие дифференциальной системы (4).

Д о к а з а т е л ь с т в о. Н е о б х о д и м о с т ь. Если функция (23) определяет и-цилиндричное интегральное многообразие расширенной гамильтоновой системы (20), то (по определению интегрального многообразия) имеет место тождество

3g(t, q, р) = 0(t, q, р) \/(t, q, p) e Q' x R"

или, с учетом того, что 3g(t, q, р) = 91 g(t, q), тождество

m g (t, q) = Ф(t, q, p) V(t, q, p) eQ ' x Rn, (25)

где функция Ф (t, q, p) g ^^ = 0 V(t, q, p) eQ' x Rn.

Так как левая часть тождества (25) не зависят от переменной p, то функция Ф, стоящая в правой части тождества (25), является n-цилиндричной по переменной p, т.е.

Ф : (t, q, p) ^ Ф(t, q) V(t, q, p) eQ' x Rn.

С учетом этого, тождество (25) запишем в виде m g (t, q) = Ф(^ q) V(t, q) eQ', (26)

где функция Ф (t, q)\gitq> 0= 0 , q) eQ', а значит, функция g : Q R определяет

интегральное многообразие дифференциальной системы (4).

Д о с т а т о ч н о с т ь следует из тождества (26) и того, что верно

Wg(t,q) = 3g(t,q,p) W(t,q,p)e Q'xR". □

Как следствия из леммы 2 получаем утверждения относительно первого интеграла системы (4) и частного интеграла в случае, когда система (4) полиномиальная.

Лемма 3 [14, с. 112; 15]. Функция (23) будет n-цилиндричным первым интегралом расширенной гамильтоновой системы (20) в том и только в том случае, когда функция (24) будет первым интегралом дифференциальной системы (4).

Лемма 4. Функция (23) будет n-цилиндричным частным интегралом расширенной гамильтоновой полиномиальной системы (20), если и только если функция (24) будет частным интегралом полиномиальной дифференциальной системы (4).

Дифференциальные уравнения и процессы управления, N. 4, 2023 3.2. Интегральные многообразия

Построение интегральных характеристик обыкновенной дифференциальной системы (4) по первым интегралам и интегральным многообразиям гамильтоновой системы (20) основано на следующих утверждениях (теоремы 8 - 11 и следствия 6 - 9).

Теорема 8. Пусть g e I<(4), Q ' >, (g, Ф, ) e M<(20), D'>, где область D' = Q ' x P, P с Rn. Тогда, если скалярная функция

gi ■ (t,q) gx(t,q,p)lp=dtig(f q) V(t,q) e Q' (27)

определяет многообразие, то оно является интегральным многообразием системы (4).

Д о к а з а т е л ь с т в о. С учетом того, что функции (22) составляют частное решение (лемма 1) вспомогательной системы (21), вычислим дифференциал функции (27) в силу (4):

п

dgx {t, </)|(4) = dtg\if> q, р\p=d[ig(Uq)dt + ^ d%g1 (t, q, p\ p=g^g(tq)^i if, q)dt +

i=1

n f n \ f n

+ S5p gi (t, q, p) -S5®Xj (t, q)Pj dt = ôgi(t, q> p)+S X (t, q) ô% gi(t, q> p) -

1=1 V 1=1 )| p=ôqg(t,q )

\

IL £ ôqXj (t, q)p j ô g(t, q, p) 1 dt = 3g,(t, q, p) р=_д^ ^ V(t, q) e Q '.

p=ôqg(t,q)

4i

i=i j=i

Отсюда, на основании того, что функция g : D ' ^ R определяет интегральное многообразие расширенной гамильтоновой системы (20), получаем:

dg^,q\4) = Ф.Цлр^^Ж = Ф x(t,q)dt,

гдефункция =0.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Следовательно, если функция (27) определяет многообразие, то оно будет интегральным многообразием для дифференциальной системы (4), т.е. (g, Ф, ) е М<(4), Q'> . □

Следствие 6. Пусть g e I<(4), Q '>, а (g, M ) e J<(20), D'> . Тогда, если скалярная функция (27) определяет многообразие, то оно будет интегральным многообразием полиномиальной дифференциальной системы (4) таким, что функция

Ф, : (t, q) gl (t, q, p)Mx (t, q, p)j p=g^t q) V(t, q) e Q'.

Более того, если скалярная функция Мг : (t, q) —> Мх (t, q, р\ _, , . V(/, q) e Q' есть полином

p=ôqg ( ,q)

по переменной q, то скалярная функция (27) будет частным интегралом полиномиальной дифференциальной системы (4), т.е. (g,Mx) g J<(4), Q'> .

Следствие 7 [14, с. 112]. Если g е 1<(4), О'>, а ^ е 1<(20),Б'>, то скалярная функция (27) будет первым интегралом дифференциальной системы (4).

Аналогом теоремы 2 для обыкновенной дифференциальной системы (4) является

Теорема 9. Пусть g е 1<(4), О ' >, а (g¿, ф ) е М<(20), Б'>, g¿ е С2(D'), к = 1,2, такие, что верно тождество (6) на области Б' = О ' х Р, Р с Кп. Тогда функция

г

йп ■ (?,Я) -> [Я1(?,Я,Р),Я2(?>Я>Р)\р=д^д) - е О.' (28)

будет первым интегралом обыкновенной дифференциальной системы (4).

Доказательство. По теореме 2 функция (5), построенная по интегральным многообразиям (g4., ф) е М<(20), Б'>, к = 1,2, таким, что имеет место тождество (6), будет первым интегралом расширенной гамильтоновой системы (20).

На основании первых интегралов g е 1<(4), О '> и (5) е 1<(20), Б'>, по следствию 7, строим первый интеграл (28) обыкновенной дифференциальной системы (4). □

Последовательное применение теоремы 9 дает возможность нахождения некоторого количества функционально независимых первых интегралов системы (4), а в «благоприятных» случаях и базис первых интегралов системы (4).

Замечание 1. При выполнении условий теоремы 9 в случае, когда функции ^ и ^ бесконечное число раз непрерывно дифференцируемы по д получаем, что функции

г

ёп,к (!,Я) -> Ы,сЬР\Е2(*>сЬР)\р=д " е О!, к = 1,2,...,

где £12 п = g, также будут первыми интегралами дифференциальной системы (4).

Замечание 2. Если у дифференциальной системы (4) известны т функционально независимых на области ГУ первых интегралов g(lí е 1<(4),0'>, Е, = 1 ,...,т, то по теореме 9 для дифференциальной системы (4) можно построить первые интегралы

г

В случае, когда одно из интегральных многообразий является и-цилиндричным по переменной р из теоремы 9 с учетом леммы 2 и определения скобок Пуассона получаем

Следствие 8. Пусть функция g е 1<(4), О ' >, а (g, ф ) е М<(4), О ' >, g е С (О '), и (g2, ф ) е М<(20), Б' >, g2 е С2 (Б'), такие, что имеет место тождество

£ 5 ^(г, д) д р Ф2(г, д, р) + £ д% ФД д) д рД2(г, д, р) = р(г) V(t, д, р)еБ' , ере С (Т').

Тогда первым интегралом дифференциальной системы (4) будет функция

п 1

tn

Методом аналогичным использованному при доказательстве теоремы 9 на основании следствия 1 имеем следующее утверждение.

Следствие 9. Пусть выполняются условия теоремы 9. Тогда верны утверждения:

1) если имеет место тождество (6) при p(t) = X Vt е T', X е R, то функция

Йп ■ Ü, Ф [ёх if, q, p\g2 (t, q, p)]| p=dqg(trq) V(t, q) e Q' (29)

будет первым интегралом дифференциальной системы (4);

2) если имеет место тождество (6) при p(t) = 0 Vt е T', то скобка Пуассона

gn :(t,q)^ [g(t,q,pXg2(t,q,p)]^g(tq) V(q,p)<=n' (30)

будет первым интегралом обыкновенной дифференциальной системы (4).

Основываясь на следствии 2, используя лемму 3 и следствие 7, можем построить (теорема 10) дополнительный первый интеграл системы (4) по известным первому интегралу системы (4) и интегральному многообразию гамильтоновой системы (20).

Теорема 10. Пусть функции g е I<(4), Q ' >, g е С2(Q '), и (g2, Ф2) е M<(20), D'>, g2 е С2 (D'). Тогда имеют место следующие утверждения:

1) если выполняется тождество

[gi(t,q),Ф2(t,q,p)] = p(t) V(t,q,p) еD', ре C(T'), (31)

то первым интегралом дифференциальной системы (4) является функция

t

gi2: (t.q) ^ [gi(t>qXg2(t>q,p)\p=3g(t,q) - \p(z)dT V(t,q) е Q';

q t0

2) если тождество (31) имеет место при условии, что функция p(t) = X Vt е T', X е R, то первым интегралом дифференциальной системы (4) будет функция

gi2 : (t, q) ^ [gi(t, q), g2(t, q, p)]p=dgi(t q) - Xt V(t, q) е Q';

3) если тождество (31) верно при p(t) = 0 Vt е T', то скобка Пуассона

gi2:(t,q)^ [gi(t.qXg2(t?q,p)]p=Vi(tq V(q,p)(32) будет первым интегралом обыкновенной дифференциальной системы (4).

i=i

Из утверждения 3) теоремы 10 в случае, когда функция £2 является первым интегралом гамильтоновой системы (20) получаем обобщенную теорему Пуассона [14, с. 112; 15] построения первых интегралов обыкновенной дифференциальной системы (4).

Теорема 11 (обобщенная теорема Пуассона). Если gl е 1<(4), О'>, g1е С2 (О'), а g2 е 1<(20), D'> ^ е С2 (Б'), то скобка Пуассона (32)е 1<(4), О ' >.

3.3. Частные интегралы

Основываясь на утверждениях пункта 2 (частные интегралы) с учетом теоремы 8 для полиномиальной дифференциальной системы (4) имеем следующие закономерности.

Предложение 3. Пусть g е 1<(4), О '>, а (^, Mk ) е I <(20), D'>, gk е С2ф'), k = 1,2,

такие, что выполняется тождество (9). Тогда, если скобка Пуассона (30) определяет многообразие, то оно будет интегральным многообразием полиномиальной системы (4), а функция

Д о к а з а т е л ь с т в о основано на использовании предложения 1 и теоремы 8. □ Замечание 3. Из предложения 3 получаем, что если скалярная функция M :(р ч) ^{Мх(и q, p) +M2(t, q, p))| Щ, ч) еО'

является полиномом по переменной ч, то скобка Пуассона ((30), М) е I <(4), О ' > .

Основываясь на теореме 4 с учетом следствия 7 получаем следующее утверждение.

Теорема 12. Если g е 1<(4),О'>, а (^,Мк) е 1<20), Б'> gкеС2ф'), k = 1,2, такие, что верны тождества (11) и (12), то первым интегралом системы (4) будет функция

йп ■ (*,я) -> Ш*,ч,р\я2(*,я,р)1р=д ехР

| ф) ёг\ Щ, ч) еО',

где ^ - произвольная фиксированная точка из открытого числового промежутка Т'.

Следствие 10. Если условия теоремы 12 выполняются при (р(г) = Я Уt е Т' , Я е И, то первым интегралом полиномиальной дифференциальной системы (4) будет функция

Йп ■ & Я) С, Я, Р),Я2 & Я,р)] | р=дя^9)е ~я' V(g, р) е О'.

Следствие 11. Если условия теоремы 12 выполняются при (р(г) = 0 Уt е Т' , т.е. сомножители М1 и М2 такие, что М2 ^, ч, р) = - М1 , ч, р) , ч, р) е Б', то скобка Пуассона (30) будет первым интегралом полиномиальной системы (4).

Дифференциальные уравнения и процессы управления, N. 4, 2023 На основании предложения 2 с учетом следствия 6 имеем

Предложение 4. Пусть & е 1<(4), О ' >, & е С2 (О '), и (^, М2) е I <(20), Б'>, ^ е С2(D '), такие, что верно тождество (15) при & : (I, д, р) ^ & (/, д) У (г, д, р) е Б' . Тогда, если скобка Пуассона (30) определяет многообразие, то оно будет интегральным многообразием полиномиальной обыкновенной дифференциальной системы (4), а функция

Ф : (Г, д) -> М2 (Г, д, р)[^ (Г, д), £2 (Г, д, р)]! р=д^ У (Г, д) е О'.

Замечание 4. Из предложения 4 следует, что если скалярная функция

М2 : (Г,д) М^р)^^V(Г,д) е ГУ

является полиномом по переменной д, то скобка Пуассона ((30), М^) е 1<(4), 0'> .

Предложение 4 указывает подход, посредством которого по одному известному первому интегралу системы (4) и одному известному частному интегралу гамильтоновой системы (20) можно найти дополнительный (второй) первый интеграл системы (4).

Теорема 13. Пусть функции & е 1<(4),О'>, & е С2 (О '), и ,М2) е I <(20),Б'>, g2е С2(Б'). Тогда, если верно тождество (17) при & : (/,д,р) ^ &(/,д) У(г,д,р) е Б', то скобка Пуассона (30) будет первым интегралом полиномиальной системы (4).

Д о к а з а т е л ь с т в о следует из теоремы 5 на основании следствия 7. □

Теорема 14. Пусть выполняются условия теоремы 13. Тогда, если имеет место тождество (18) при & : (/, д, р) ^ g (/, д) У (г, д, р) е Б ', то первым интегралом полиномиальной обыкновенной дифференциальной системы (4) будет функция

<^12: д) ^ д> р)ехр

' д), && д, р)] + | ^

^(л д> р)

У (Г, д) еОо,

где О есть область из множества {(¿, д) еО ': (¿, д, р) ^ ^ ^ ^ 0}.

Д о к а з а т е л ь с т в о следует из теоремы 6 на основании следствия 7. □ Аналогично на основании теоремы 7 и следствия 5, с учетом следствия 7, получаем

Теорема 15. Если функции g е 1<(4),О'>, g е С2(О'), и (^,М2) е I <(20),Б'>, g2 е С2 (Б'), такие, что сомножитель М2: (/, д, р) ^ ((/) У (г, д, р) е Б', то функция

й12: 0>д) ^ [д),^д.р)]|р=э^ (,,д) ехР

| ((г) с1г\ У(*, д) еО '

будет первым интегралом полиномиальной обыкновенной дифференциальной системы (4).

Следствие 12. Если функции ^ е 1<(4), О' >, ^ е С2 (О'), и (я2, М2) е I <(20), Б'>, g2 е С2 (О'), такие, что М2: (1, ч, р) ^ Я У (1, ч, р) е Б', Я е И, то функция

ч)^ Ш,ч),я2(1,ч,р)\р=д^^У(ч,р)еО'

будет первым интегралом полиномиальной обыкновенной дифференциальной системы (4).

Заметим, что при Я = 0 утверждение следствия 12 совпадает с утверждением обобщенной теоремы Пуассона (теорема 11) для обыкновенной дифференциальной системы (4).

Заключение

Для гамильтоновой системы (1) разработан метод Якоби - Пуассона построения первых интегралов на основании интегральных многообразий этой системы. Доказаны утверждения (теорема 2 и следствие 1) о построении первого интеграла гамильтоновой системы (1) по двум известным интегральным многообразиям. Эти закономерности обобщают теорему Якоби -Пуассона о построении первого интеграла по двум известным первым интегралам (теорема 1). Приведено положение (следствие 2) о нахождении дополнительного первого интеграла гамильтоновой системы (1) на основании известных первого интеграла и интегрального многообразия. В случае, когда система (1) является полиномиальной использовано понятие частного интеграла, а полученные результаты конкретизированы: указаны критерии существования частных интегралов в форме скобок Пуассона (предложения 1 и 2), получены аналитические представления первых интегралов в форме скобок Пуассона от частных интегралов в зависимости от вида сомножителей частных интегралов (теоремы 3 - 7, следствия 3 - 5).

Предложен метод Якоби - Пуассона построения первых интегралов в форме скобок Пуассона от интегральных характеристик (интегральные многообразия, частные и первые интегралы) для нормальной обыкновенной дифференциальной системы (4). Между системой (4) и соответствующей ей гамильтоновой системой (20) установлены аналитические связи наличия частных решений (лемма 1) и существования интегральных характеристик (леммы 2-4, теорема 8, следствия 6 и 7). Основываясь на этих связях, для системы (4) получены утверждения (теоремы 9 и 10, следствия 8 и 9) о нахождении первых интегралов в форме скобок Пуассона от интегральных многообразий гамильтоновой системы (20), указана обобщенная теорема Пуассона о построении первых интегралов (теорема 11), а также приведены положения (предложения 3 и 4) и исследован вопрос (теоремы 12 -15 и следствия 10 - 12) о наличии частных и первых интегралов в форме скобок Пуассона для полиномиальной системы (4).

Полученные результаты могут быть применены в аналитической теории дифференциальных уравнений и в аналитической механике.

Литература

[1] Горбузов В.Н. Интегралы дифференциальных систем. - Гродно: ГрГУ, 2006. - 447 с.

[2] Козлов В.В. Симметрии, топология и резонансы в гамильтоновой механике. - Ижевск: Изд-во Удмуртского ун-та, 1995. - 432 с.

[3] Goriely A. Integrability and nonintegrability of dynamical systems. - World Scientific: Advanced series on nonlinear dynamics, 2001. - Vol. 19. - 436 p.

[4] Борисов А.В., Мамаев И.С. Современные методы теории интегрируемых систем. -Москва-Ижевск: Институт компьютерных исследований, 2003. - 296 с.

[5] Проневич А.Ф. R-дифференцируемые интегралы систем в полных дифференциалах. -Saarbruchen: LAP LAMBERT Academic Publishing, 2011. - 104 с.

[6] Zhang X. Integrability of dynamical systems: algebra and analysis. - Singapore: Springer, 2017. - 380 p.

[7] Якоби К. Лекции по динамике. - Л.-М.: Главная редакция общетехнической литературы, 1936. - 272 с.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

[8] Арнольд В.И. Математические методы классической механики. - М.: Наука, 1974. -432 с.

[9] Гантмахер Ф.Р. Лекции по аналитической механике. - М.: Наука, 1966. - 300 с.

[10] Pranevich A.F. On Poisson's theorem of building first integrals for ordinary differential systems // Rus. J. Nonlin. Dyn. - 2019. - Vol. 15, No. 1. - P. 87-96.

[11] Проневич А.Ф. Частные интегралы обобщенно-консервативных полиномиальных гамильтоновых обыкновенных дифференциальных систем // Дифференциальные уравнения и процессы управления. - 2022. - № 1. - С. 1-63.

[12] Pranevich A.F. The generalized Jacobi-Poisson theorem of building first integrals for Hamiltonian systems // Proc. of International Workshop QUALITDE [Editorial board I. Kiguradze, R.P. Agarwal, R. Hakl at alias]. - 2018. - P. 147-149,

[13] Аппель П. Теоретическая механика: в 2 т. - М.: Гос. из-во физ.-мат. лит., 1960. - Т. 2: Динамика системы. Аналитическая механика. - 486 с.

[14] ШульгинМ.Ф. О некоторых дифференциальных уравнениях аналитической динамики и их интегрировании. - Ташкент: САГУ, 1958. - 184 с.

[15] Проневич А.Ф. Теорема Пуассона построения стационарных интегралов автономных систем уравнений в полных дифференциалах // Проблемы физики, математики и техники. - 2016. - № 3. - С. 52-57.

The Jacobi - Poisson method of building first integrals for system of ordinary differential equations

A.F. Pranevich

Yanka Kupala State University of Grodno, 22 Ozheshko Street, Grodno 230023, Belarus

e-mail: pranevich@grsu.by

Abstract. In this paper, the Jacobi - Poisson method of building first integrals by known integral manifolds for Hamiltonian differential systems is developed. The existence theorem of first integrals in the form of Poisson brackets from known integral manifolds for Hamiltonian systems is proved. The statement of finding additional first integrals by known first integrals and integral manifolds for Hamiltonian systems is given. In the case of polynomial Hamiltonian systems, we use the concept of partial integrals and concretize ours results. The Jacobi - Poisson method of construction first integrals in the form of Poisson brackets from known integral characteristics (integral manifolds, partial integrals, and first integrals) for general ordinary differential systems is proposed. Statements of finding first integrals for an ordinary differential system by integral characteristics of the auxiliary Hamiltonian system are obtained. The generalized Poisson theorem of construction first integrals is indicated. And, the question of the existence of partial integrals and first integrals in the form of Poisson brackets for ordinary polynomial differential systems is investigated. The results obtained in this paper can be used in the analytical theory of differential equations and in the analytical mechanics.

Keywords: ordinary differential system, Hamiltonian system, Jacobi - Poisson theorem, first integral, integral manifold, partial integral, Poisson bracket.

i Надоели баннеры? Вы всегда можете отключить рекламу.