О локальных 3-тканях, присоединённых к гамильтоновым системам на кокасательном расслоении над гладким многообразием Текст научной статьи по специальности «Математика»

РАЗДЕЛ I. МАТЕМАТИКА

УДК 519.47

DOI: 10.18384/2310-7251-2019-4-8-16

0 ЛОКАЛЬНЫХ 3-ТКАНЯХ, ПРИСОЕДИНЁННЫХ К ГАМИЛЬТОНОВЫМ СИСТЕМАМ НА КОКАСАТЕЛЬНОМ РАССЛОЕНИИ НАД ГЛАДКИМ МНОГООБРАЗИЕМ

Ищенко О. С., Матвеев О. А.

Московский государственный областной университет

141014, Московская область, г. Мытищи, ул. Веры Волошиной, д. 24, Российская Федерация

Аннотация. Гамильтоновой системе дифференциальных уравнений, заданной на кокаса-тельном расслоении Т(М) гладкого многообразия М размерности п, соответствующей функции Гамильтона Н и имеющей п первых интегралов ставится в соответствие одно-параметрическое семейство три-тканей, определенных (локально) на кокасательном расслоении Г(М). Дифференциально-алгебраические свойства построенного семейства три-тканей отражают свойства исходной гамильтоновой системы. Ключевые слова: три-ткань, кокасательное расслоение дифференцируемого многообразия, гамильтонова система дифференциальных уравнений

LOCAL THREE-WEBS ADDED TO HAMILTON SYSTEMS ON A COTANGENT BUNDLE ABOVE A SMOOTH MANIFOLD

О. Ishchenko, О. Matveyev

Moscow Region State University

ul. Very Voloshinoi 24,141014 Mytishchi, Moscow Region, Russian Federation

Abstract. A one-parameter family of three-webs is put in accordance with the Hamilton system of differential equations on a cotangent bundle T* (M) above aт n dimensional differentiable manifold M, corresponding a Hamiltonian H, having n first integrals. The differentially algebraic properties of the constructed family of three-webs reflect the properties of the initial Hamilton system.

© CC BY Ищенко О. С., Матвеев О. А., 2019.

Keywords: three-web, cotangent bundle of a differentiable manifold, Hamilton system of differential equations

Теория три- и многомерных тканей, пограничная территория между дифференциальной геометрией и алгеброй, имеет давнюю историю. Хорошо известны её тесные связи с геометрической теорией пространств аффинной связности и алгебраической теорией квазигрупп и луп. В настоящий временной период развитие этой перспективной области математики связано, прежде всего, с такими выдающимися исследователями, как М. А. Акивис, А. М. Шелехов, В. В. Гольдберг (см., например, [1; 2; 7; 9]). Научная школа профессора А. М. Шелехова (Тверь, Москва) привнесла существенный вклад и в теорию неассоциативных универсальных алгебр, и в теорию тканей.

Идея приложений теории тканей к исследованию обыкновенных дифференциальных уравнений не нова. Известно, например, совместное рассмотрение свойств интегральных кривых дифференциального уравнения Риккати и три-тканей специального вида [9]. C другой стороны, предпринят подход применения методов теории гладких локальных квазигрупп и алгебраической теории аффинной связности [6] к исследованию Лагранжевых механических систем [4; 5]. В замечательной книге [8] систематически рассматривается алгебраическая и геометрическая составляющие в теории интегрируемых гамильтоновых дифференциальных уравнений, на первое место ставится теория групп и алгебр Ли, однако значение квазигрупп и луп явно не выявляется.

В настоящей работе гамильтоновой системе, заданной на кокасательном расслоении T(M) гладкого многообразия M размерности n, имеющей n первых интегралов ф1, ..., фп, ставится в соответствие однопараметрическое семейство три-тканей WT(H; ф1, ..., фп), т е М\{0|, определённых (локально) на касательном расслоении T(M). Дифференциально-алгебраические свойства построенного семейства три-тканей WT(H; ф1, ..., фп) отражают, как нам представляется, некоторые свойства исходной гамильтоновой системы дифференциальных уравнений.

Пусть M - гладкое многообразие размерности n, T*(M) - его касательное расслоение, ю2 - естественная симплектическая структура на T(M). В локальных координатах (q', р')ю2 задаётся формулой:

Приведём некоторые стандартные определения гамильтонова формализма, см., например, [3; 8].

Определение 1. Пусть / - некоторая гладкая функция на Т(М). Кососимметрическим градиентом sgradf функции / называется гладкое векторное поле на Т(М), однозначно определяемое соотношением:

n

(1)

ю2 f, sgradf ) = v (f),

где V пробегает множество всех гладких векторных полей на Т(М), а у(0 - значение дифференциального оператора (векторного поля) на функции / В локальных координатах (С, р,) векторное поле sgradf имеет вид:

sgrad f =

f dpi

dp„' dqi

f dq„

(2)

Определение 2. Гладкое векторное поле V на Т(М) называется гамильтоно-вым, если оно имеет вид V = sgradH, где Н - некоторая гладкая функция на Т(М), называемая гамильтонианом.

В локальных координатах (с', р) интегральные траектории у(£) = (с'($, р,(0) гамильтонова векторного поля V удовлетворяют следующей системе уравнений:

dqi =дн dt dpi dpi = dH dt dqi '

i = 1, „.

(3)

Определение 3. Пусть д, д - некоторые точки многообразия М, т - некоторое действительное число. Известно [3] (гл. 9 §46 В), что найдутся такая окрестность и с М и такое достаточно малое положительное действительное число £, что при С е и, с е и, |т| < £ существует единственная интегральная траектория

у(0 = (с'(0, р,(0) гамильтонова поля, такая что:

[qi (о)=Г, . —

1 ■ / \ Л ■ i = 1, „.

[4 () = q i,

(4)

Следовательно, при с, С еи, |т| < £ корректно определена функция 5 (с, С, т) следующим равенством:

def г(П ^

' ' (5)

5(, С, т) = | ^С' -Hdt

у\ ' =1

где Н - гамильтониан, и интеграл берётся вдоль отрезка интегральной кривой у(0 = (с'(0, p'(t)), 0 < t < т, удовлетворяющей условиям (4). Функция 5(с, С, т)

называется функцией действия гамильтонова поля V. Введём обозначения:

Р' = Р' (()), • Г" ^

; ; , = 1, п. (6)

р, = Р, (т),

Лемма. Для функции действия 5(д, С, т) гамильтонова поля V с гамильтонианом Н(с, р) справедливы соотношения:

dS_ dql

(q, q, т) = pi, i = 1, n.

(7)

. ч - -

—— (q, q, т) = — pi, i = 1,

dqi v '

, q, т)=— H.

n.

(8)

(9)

Соотношения (7), (9) доказаны в [3] (гл. 9 §46), где рассматривается дифференциал функции действия при фиксированной начальной точке д. Равенства

(8) доказываются аналогичным образом, если фиксировать не начальную точку д, а конечную точку д.

Следствие. Функция действия 5(д, д, т) гамильтонова поля V с гамильтонианом Н(д, р) удовлетворяет уравнениям Гамильтона-Якоби:

,q,т)+н q,-р(q,q,т)

Эт

dq

= 0.

dS(q,q,т) + H q,—-^(q,q,T) дт у dq

Введём следующие обозначения, пусть:

= 0.

Jqi (q,p,t), . — 1 _ ( i = i,n.

[ pi =Vi (q, p,t),

является решением системы (3) при начальных условиях:

Ясно, что

Jqi (0)=qi, . —

1 } \ _ i = 1, n.

IР^ (o) = р. ,

q (q,p,т), i = 1,n, ^i =Vi (q, p,т), i = 1,n.

Подставляя равенства (14) в соотношение (8), получаем тождества:

, n.

-dS- (q, M-(q, p, т), т) = — р., i = 1, t

(10) (11)

(12)

(13)

(14)

(15)

Дифференцируя тождества (16) по pk, имеем:

d2S э^ Эдi 9q. dpk

= -5

i k.

Следовательно,

det

det

(q, q, т) %((, p т)

* 0,

* 0.

(17)

(18)

(19)

Так как функция действия 5(с, С, т) удовлетворяет условию (18), то по теореме о неявной функции равенства (7) разрешимы относительно переменных С', ' = 1, п:

С' = Х' (С,р,т), '' = 1,п. (20)

Приступим к построению локальной 3-ткани на кокасательном расслоении Т(М). Определения и первоначальные конструкции теории тканей приведены, например, в [9].

Определение 4. Определим Мц, т как совместную поверхность уровня функций Х'(с, р, т) при фиксированном t = т, то есть:

M-,

, т = {(q, p) е Г * (M): к1 (q, p, т) = q1, i = i,„}.

(21)

Предложение 1. Существует такое положительное число £, что при |т| < £ поверхность Мс, т является гладким п-мерным подмногообразием в Т(М).

Доказательство. Так как согласно определению функций X', ц':

ц' (, р, -т) = X' (С, р, т), '' = 1, п (22)

то Х'(с, р, 0) = с', и, следовательно,

ЭХ' (с, р, т)

dqj

.

(23)

т=0

Из (23) следует, что существует такое положительное число £, что при |т| < £ функции Х'(с, р, т) функционально независимы (при фиксированном т) на Т(М), то есть градиенты grad X', ' = 1,п, линейно независимы на Т(М). Следовательно, в силу теоремы о неявных функциях, поверхность М^ т является гладким

п-мерным подмногообразием в Т(М).

Предложение 2. Пусть О - одномерная группа диффеоморфизмов кокасатель-ного расслоения Т(М), представленная сдвигами вдоль интегральных траекторий гамильтонова поля V, то есть если gт е О, то:

= (, рг ) = (цг (, Р, т) V; (, р, т)).

Тогда справедливо равенство:

Мд,т= gт(Ti (М)). (24)

Доказательство. Пусть ((', р )еТ^ (М), и пусть gт((1, р ) = ((г ,рг), тогда £-т((г,,рг) = ((,Рг), то есть:

| ((г ,р — т) = дг, г = 1, п. (25)

Следовательно, в силу равенства (22) Хг ((,р,т) = д г, г = 1,п, то есть (д, р) е Мд, т. Таким образом, доказано, что gт (Тд (М)) с Мд, т, но так как gт -диффеоморфизм, а размерности Т (М) и Мд, т в силу предложения 1 совпадают, то Мд,т = gт Т (М)).

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

Суммируя полученные выше результаты, приходим в следующей теореме.

Теорема. Пусть на кокасательном расслоении Т(М) определено гамильтоно-во векторное поле V и заданы п первых интегралов фь ..., фп гамильтонова поля у(п = й1тМ), подчиняющихся условию:

det

f <*'>

Ф 0, (26)

где (дг, рг) - локальные координаты на Т(М).

Пусть N - совместная поверхность уровня функций фг, то есть:

Ле/ —

Ыа ={((,р)еТ* (М): фг (д,р) = а, г = 1,п}. (27)

Тогда существует такое положительное число £, что при 0 < |т| < £ на кокасательном расслоении Т(М) определена (локально) три-ткань, слоями которой являются Тд (М), Мд,т , Ыа.

Построенную таким образом 3-ткань, присоединённую к гамильтонову векторному полю V посредством первых интегралов ф1, ..., фп, будем обозначать Шт(Н, ф1, ..., фп), где И = Н(р, д) - функция Гамильтона.

Пример. На кокасательном расслоении Т*(М) гладкого многообразия М размерности п рассмотрим функцию Гамильтона И = К(р). Уравнения Гамильтона в локальной системе координат имеют вид:

dl=к-(,)-^,

dt dp

dpi dt

= 0.

Имеем n первых интегралов p1 = ai.....pn = an, a, = const, i = 1, n.

Решение системы (28) в соответствии с (4) имеет вид:

pi = a,; qi (t) = qi (o) + tK'(ai,..., an); qi (t) = qi + (——.

Функция действия имеет вид:

S (q, q, т) =

( - Г )2

2т

(28)

dS = qi -

■■pi, qi = qi -fliт.

Эдг т

Слоями 3-ткани ^(К, р1, ..., рп) являются Т (М); = {(д,р)еТ* (М); рг = а, г = 1,п}; Мд,т = {(д1 + а^т,...,Цп + апТ ; аь..., ап ) Т (М)}.

Предложение 3. Ткань ШТ(К, р1, ..., рп) - параллелезуема. Следствие. Пусть размерность многообразия М равна 1, в локальных координатах гамильтониан имеет вид:

H (q, p) = 2 Р2 + U (q).

(29)

3-ткань WT(H, H) является параллелизуемой тогда и только тогда, когда U(q) = const.

Замечание. Первое слагаемое в равенстве (29) в теоретической механике интерпретируют как кинетическую энергию, а второе как потенциальную.

Статья поступила в редакцию 23.05.2019 г. ЛИТЕРАТУРА

1. Акивис М. А., Шелехов А. М. Метод Картана-Лаптева в теории многомерных три-тканей // Фундаментальная и прикладная математика. 2010. Т. 16. № 1. С. 13-38.

2. Акивис М. А., Гольдберг В. В. Дифференциальная геометрия тканей типа Лагранжа // Известия высших учебных заведений. Математика. 2007. № 12. С. 19-32.

3. Арнольд В. И. Математические методы классической механики. М.: Наука, 1979. 432 с.

4. Матвеев О. А., Матвеева Н. В., Паншина А. В. О квазигрупповой теории абелевых и симметрических механических систем // Фундаментальные физико-математические проблемы и моделирование технико-технологических систем. Выпуск 9. М.: МГТУ СТАНКИН, Институт математического моделирования Российской академии наук, 2005. С. 22-25.

5. Матвеев О. А., Паншина А. В. Геометрические и алгебраические свойства систем обыкновенных дифференциальных уравнений // Вестник Московского государственного областного университета. Серия: Физика-математика. 2011. № 3.

6. Sabinin L., Sbitneva L., Shestakov I. Non-Associative Algebra and its Applications. Boca Raton, FL: Chapman & Hall/CRC, 2006. 516 p. (Series: Lecture Notes in Pure and Applied Mathematics. Vol. 246).

7. Tolstikhina G. A., Shelehov A. M. Left Bol three-webs with the IC-property // Russian Mathematics. 2013. Vol. 57. Iss. 5. P. 20-28.

8. Трофимов В. В., Фоменко А. Т. Алгебра и геометрия интегрируемых гамильтоновых дифференциальных уравнений. М.: Факториал, 1995. 448 с.

9. Шелехов А. М., Лазарева В. Б., Уткин А. А. Криволинейные три-ткани: монография. Тверь: Тверской государственный университет, 2013. 232 с.

1. Akivis M. A., Shelekhov A. M. [Cartan-Laptev method in the theory of multidimensional three-webs]. In: Fundamental'naya i prikladnaya matematika [Fundamental and Applied Mathematics], 2010, vol. 16, no. 1, pp. 13-38.

2. Akivis M. A., Gol'dberg V. V. [Differential geometry of Lagrange-like webs]. In: Izvestiya vysshikh uchebnykh zavedenii. Matematika [Russian Mathematics], 2007, no. 12, pp. 19-32.

3. Arnol'd V. I. Matematicheskie metody klassicheskoi mekhaniki [Mathematical methods of classical mechanics]. Moscow, Nauka Publ., 1979. 432 p.

4. Matveyev O. A., Matveyeva N. V., Panshina A. V. [About quasi-group theory of Abelian and symmetric mechanical systems]. In: Fundamental'nye fiziko-matematicheskie problemy i modelirovanie tekhniko-tekhnologicheskikh sistem. Vypusk 9 [Fundamental physical and mathematical problems and modeling of technical and technological systems. Issue 9]. Moscow, MSTU STANKIN, Institute for Mathematical Modelling RAS Publ., 2005, pp. 22-25.

5. Matveyev O. A., Panshina A. V. [The geometric and algebraic properties of the systems of ordinary differential equations]. In: Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seriya: Fizika-matematika [Bulletin of Moscow Region State University. Series: Physics and Mathematics], 2011, no. 3, pp. 31-40.

6. Sabinin L., Sbitneva L., Shestakov I. Non-Associative Algebra and its Applications. Boca Raton, FL, Chapman & Hall/CRC Publ., 2006. 516 p. (Series: Lecture Notes in Pure and Applied Mathematics. Vol. 246).

7. Tolstikhina G. A., Shelehov A. M. Left Bol three-webs with the IC-property. In: Russian Mathematics, 2013, vol. 57, iss. 5, pp. 20-28.

8. Trofimov V. V., Fomenko A. T. Algebra i geometriya integriruemykh gamil'tonovykh differentsialnykh uravnenii [Algebra and geometry of integrable Hamiltonian differential equations]. Moscow, Faktorial Publ., 1995. 448 p.

9. Shelekhov A. M., Lazareva V. B., Utkin A. A. Krivolineinye tri-tkani [Curvilinear three-webs]. Tver, Tver State University Publ., 2013. 232 p.

С. 31-40.

REFERENCES

ИНФОРМАЦИЯ ОБ АВТОРАХ

Ищенко Ольга Сергеевна - студент физико-математического факультета Московского государственного областного университета; e-mail: [email protected];

Матвеев Олег Александрович - кандидат физико-математических наук, доцент, доцент кафедры математического анализа и геометрии Московского государственного областного университета; e-mail: [email protected];

INFORMATION ABOUT THE AUTHORS

Olga S. Ishchenko - student at the Faculty of Physics and Mathematics, Moscow Region State University;

e-mail: [email protected];

Oleg A. Matveyev - PhD in Physical and Mathematical Sciences, Associate Professor at the Department of Mathematical Analysis and Geometry, Moscow Region State University; e-mail: [email protected]

ПРАВИЛЬНАЯ ССЫЛКА НА СТАТЬЮ

Ищенко О. С., Матвеев О. А. О локальных 3-тканях, присоединённых к гамильтоно-вым системам на кокасательном расслоении над гладким многообразием // Вестник Московского государственного областного университета. Серия: Физика и математика. 2019. № 4. С. 8-16.

DOI: 10.18384/2310-7251-2019-4-8-16

FOR CITATION

Ishchenko О. S., Matveyev О. A. On local three-webs added to Hamilton systems on a ratangent bundle above a smooth manifold. In: Bulletin of Moscow Region State University. Series: Physics and Mathematics. 2019, no. 4, pp. 8-16. DOI: 10.18384/2310-7251-2019-4-8-16