Метод обобщенных подстановок Коула Хопфа в теории конечномерных нелинейных динамических систем Текст научной статьи по специальности «Математика»

УДК 517.28+517.958+517.957

МЕТОД ОБОБЩЁННЫХ ПОДСТАНОВОК КОУЛА-ХОПФА В ТЕОРИИ КОНЕЧНОМЕРНЫХ НЕЛИНЕЙНЫХ ДИНАМИЧЕСКИХ СИСТЕМ

В. М. Журавлев, К. С. Обрубов

Ульяновский государственный университет,

432001, Ульяновск, ул. Л. Толстого, 42.

E-mails: zhvictorm@gmail.com, constantin.phys@gmail.com

Рассматриваются результаты применения метода обобщённых подстановок Коула—Хопфа к интегрированию конечномерных динамических систем. Динамические системы представляются в форме матричных обыкновенных дифференциальных уравнений с заданной алгеброй матриц конечной размерности.

К матричным уравнениям применяются подстановки типа Коула—Хопфа, использующие дифференцирование на алгебре в форме матричных коммутаторов с заданным элементом алгебры. Найдены рекуррентные соотношения для подстановок Коула—Хопфа. Приведены конкретные примеры точно интегрируемых, динамических систем. Указан метод вычисления интегралов движения таких систем и их точных решений.

Ключевые слова: уравнения типа Бюргерса, обобщённые подстановки Коула— Хопфа, конечномерные динамические системы.

Введение. К настоящему времени методы интегрирования нелинейных уравнений математической физики в частных производных представлены несколькими достаточно общими методами, среди которых наиболее важную роль играют два. Это метод обратной задачи в разных вариантах [1,2] и метод подстановок Коула—Хопфа [3]. Для конечномерных динамических систем прогресс в решении аналогичной проблемы построения полезных интегрируемых уравнений выглядит значительно скромнее. Здесь общие результаты в основном сводятся к отысканию уравнений, обладающих некоторым набором интегралов движения, как это имеет место для случая конечномерных гамильтоновских систем. Поскольку, как правило, сам по себе вид законов сохранения не выделяет среди множества всех возможных динамических систем системы с заданными физическими свойствами, простой перебор таких наборов оказывается мало полезным на практике. В результате возникает задача отыскания каких-либо методов, которые бы позволяли строить интегрируемые конечномерные динамические системы исходя из каких-либо других их свойств, как это имеет место в случае методов обратной задачи или подстановок Коула—Хопфа [3]. В настоящей работе предлагается один такой метод, строящийся на базе метода обобщённых подстановок Коула— Хопфа, который был развит в работах [3,4]. Основная идея переноса метода подстановок Коула—Хопфа на конечномерные динамические системы состоит в замене производных по пространственной координате на производную на матричной алгебре, эквивалентную матричному коммутатору по одной из образующих алгебры. В работе развивается общая идеология такого подхода и приводятся результаты ее применения для некоторых алгебр небольшой размерности.

Виктор Михайлович Журавлев (д.ф.-м.н., проф.), профессор, каф. теоретической физики. Константин Сергеевич Обрубов, аспирант, каф. теоретической физики.

1. Дифференциально-алгебраический аналог обобщённых подстановок Ко-

На алгебре А рассмотрим оператор, действующий на любую функцию

где х = ^ — некоторый выделенный не зависящий от времени £ элемент

алгебры А. Из (2) следует, что

Пусть для образующих алгебры выполнены следующие соотношения:

Можно видеть, что оператор Дх представляет собой оператор дифференцирования в том смысле, что он удовлетворяет правилу Лейбница. Ещё одним свойством оператора Дх является его перестановочность (коммутативность) с производной по переменной £, что обеспечивается независимостью от £ выделенного элемента X. Эти два свойства позволяют применить к уравнениям на любой матричной алгебре А метод обобщённых подстановок Коула—Хопфа, развитый в [3].

Для сокращения записи введём следующие обозначения:

Аналогичные обозначения вводятся и для других матриц. По аналогии с [3] рассмотрим следующую совокупность дифференциальных соотношений для вспомогательной функции Т:

ула—Хопфа. Рассмотрим матричные функции времени Т(£), заданные на некоторой матричной алгебре А с конечным числом образующих ^:

N

(1)

і= 1

Р = ^2І=1 Мфі(і)с[і на этой алгебре по правилу

(2)

І=1

N

£>хр = ^2 фі{і)І3 Щ3, (/і] .

І=1

N

і=1

Тогда имеем:

N

і=1

И , /V /V /V /V /V /V

т , Тх = ВхТ=[х,П Тхх = DxDxT=[x, [х:^])^...

ТІ + /Тх = 0, Тхх + иТх = 0, Тхі + (^Тх = 0,

Тххг = - (и г - и С )ТХ = - (Сх - С и ) Тх. (4)

Здесь С = - ^Ух - Уи). Из равенства (4) следует соотношение

иг - Ях + [Q, и] = 0,

связывающее матрицы и и С в случае, если они определены соотношениями (3) при произвольной матрице Т. Это соотношение можно переписать таким образом:

и - [X, С] + [С, и] = и + [С, (и + X )] = 0. (5)

Полагая

N N N

у = ^2 щ&, и = ^2 щ&, С = ^2 }&,

i=1 i=1 i=1

находим

N

С = — [x, У] + Уи = - ^2 {[С]кг - Ckji]^j + CjkiUjЛj Ук}г.

г,з,к=\

Отсюда

N

Чг(Ъ) = — (\_Cjki - С^г]^ + CjkiU^jук. (6)

j, k=l

В результате получаем, что уравнение (5) эквивалентно следующей системе уравнений:

N

ип = ^ 2 CijnQi(uj + ^^ п = 1 2, ..., N.

i,j=1

Подставляя в это уравнение соотношения (6), получаем систему уравнений

N

ип = 2 2 С^п(^Cjki(uj + ^) CkjiCjj (uj + ^),

^=1

представляющую собой совокупность дифференциальных тождеств, которым удовлетворяют функции Vk(Ь), ^(Ь) в случае, если они вычисляются из соотношений (3) при произвольной матричной функции Т , заданной соотношением (1) на алгебре А.

2. Общий метод дискретных подстановок Коула—Хопфа. Общий метод построения интегрируемых с помощью подстановок Коула—Хопфа дискретных систем, как и в случае уравнений в частных производных, состоит в явном вычислении нелинейного уравнения исходя из конкретного вида произвольного интегрируемого уравнения, например линейного, с помощью дифференциальных соотношений (3) и их произвольного порядка дифференциальных следствий относительно вспомогательной матричной функции Т . Именно из

(3) по аналогии с [3] можно получить все возможные дифференциальные соотношения следующего вида:

лп

^ % ••• Ах, Т]] = Л^^&Т], п = 0, !,...; к = 0, !,.... (7)

k

Матричные коэффициенты Л^’^ могут быть вычислены с помощью рекуррентных соотношений:

-

Л (n+1’k) = _ Л^’^ - Л^’^С, Л(п’ k+1) = [х, Л^’^] — Л^’^и (8)

при начальных условиях

Л (0,1) = 1, Л(1’0) = -V, Л (0’2) = -и.

Матричные коэффициенты Л(п’k) являются дифференциальными полиномами от функций и и у .

В результате любому линейному обыкновенному дифференциальному уравнению для функции Т вида

м ь лп

ЕЕСк,п(Ь) м \х, •••, [х, Т]] =0, С0’0 = 0 (9)

k=0 п=0 ,

k

с произвольными функциями Ск,п(Ь) с помощью дифференциальных соотношений (7) можно поставить в соответствие нелинейное уравнение относительно функций у и и:

м ь

Y;Y.dkn(t)A{n’k) = 0, Co, 0 = 0. (10)

k=0n=0

Из самого принципа построения уравнений (10) следует, что их интегрируемость связана напрямую с интегрируемостью уравнений (9). Действительно, в случае интегрируемости уравнений (9) имеется возможность явно вычислить решения для матричной функции T. Тогда в силу дифференциальных соотношений (3) вычисляются явно функции U, V, Q, которые заведомо обращают уравнения (10) в тождество. Соотношения (3) и являются собственно обобщёнными подстановками типа Коула—Хопфа.

3. Интегралы движения. Рассмотрим случай Ck,n = const, для которого запишем явно интегралы движения. Представим уравнения (10) в следующем виде:

ML L M

£ £ Ck,nA(n,k) + £ Co,nA(n° + £ Ck,oA(0,k) = CltoV - Co,i i. (11)

k=1n=1 n=2 k=2

Пользуясь рекуррентными соотношениями (8), преобразуем (11) к виду

d г ^ ^ ^ Л л] г ^ л

- (F + Fo)[x,T] + Ci,oT + x, G o[x, T ] + Co,iT =0. (12)

Здесь введены F0 = ^L=2 Co,nA(n-1,o), Go = ^ь=2 Ck,oA(o,k-1) и использовано первое из уравнений (3).

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

Sp { [(F + Fo)[X, T] + Ci,of] } = Io = const.

Для построения других законов сохранения воспользуемся формулой

П

[Xn+1,T] = £ xk [x,T\x k=o

n-k

Применяя эти соотношения к (12), приходим к совокупности аналогов дифференциальных законов сохранения:

d

dt

£xk \(F + Fo)[X,T] + Ci,o^f

+

k=o

n- k

+

= 0, n = 1, 2,....

Xn+1,Go[X,T] + CQ<iT Этим законам сохранения соответствуют следующие интегралы движения:

П

Sp{£Xk (F + Fo)[X,T]+ Ci,oT Xn-k} = In = const.

k=o

4. Построение точных решений уравнений. Решения уравнений, получаемых в результате использования метода, описанного выше, строятся с помощью явного вычисления решения уравнения для функций Тк в представлении матрицы Т, которая удовлетворяет дополнительному уравнению. Дополнительные уравнения (7) для произвольного п эквивалентны следующей системе уравнений для Тк:

Тк = рк?г1Тт ■ (13)

Коэффициенты образуют квадратную матрицу Р(п) размера N, которая может быть записана следующим образом:

р(п) =

Решение уравнения (13) строится без труда. Обозначим собственные числа матрицы Р(п) через А1, А2, ..., , а её собственные векторы (столбцы) —

через Ь(1), Ь(2), ..., ). Тогда решение уравнения можно записать виде

N

Тз (*) = £ еХк 1СкПт, к=1

где Ck — произвольные постоянные интегрирования. Соответствующий данному решению вид функций Uk (t) определяется из соотношений (3). В явном виде соотношение для вычисления Uk(t) можно представить таким образом:

Au = —f,

где u = column(u1, u2,..., uN), f = Q2t = column(f1, f2,..., fN), t = column(T1, t2, ..., tn), а матрица A имеет следующие элементы:

N

Aij(t) — ^ ^ CjmiQmkTk(t).

k, m=1

Обращая матрицу A, находим решение для u(t) в общем виде:

u(t) = — A-1(t)f(t).

Заключение. Построенная схема может быть использована для вычисления интегрируемых конечномерных динамических систем и их интегралов движения исходя из общего вида нелинейности и типа симметрии. Тип симметрии задаётся типом матричной алгебры, на которой строится дифференциальное уравнение, а тип нелинейности задаётся интегрируемым уравнением для матричной функции Tx. D силу ограниченности объёма статьи конкретные примеры в данной работе не приводятся. Однако их можно без труда получить, опираясь на развитую схему.

Работа выполнена в рамках федеральной целевой программы «Научные и научно-педагогические кадры инновационной России на 2009-2013 годы» (проект НК-594П/8).

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Захаров В. Е., Манаков С. В., Новиков С. П., Питаевский Л. П. Теория солитонов и метод обратной задачи рассеяния. М.: Наука, 1980. 320 с. [Zaharov V. E., Manakov S. V., Novikov S. P., Pitaevskiy L. P. Theory of solitons. The method of the inverse problem. Moscow: Nauka, 1980. 320 pp.]

2. Dodd R. K., Eilbeck J. C., Gibbon J. D., Morris H. C. Solitons and nonlinear wave equations. London, New York: Academic Press, 1982. 630 pp.; русск. пер.: Дод Р., Эйлбек Дж., Гиббон Дж., Моррис Х. Солитоны и нелинейные волновые уравнения. М.: Мир, 1988. 694 с.

3. Журавлев В. М. Метод обобщённых подстановок Коула—Хопфа и новые примеры линеаризуемых нелинейных эволюционных уравнений // Теоретическая и математическая физика, 2009. Т. 158, №1. С. 58-71; англ. пер.: Zhuravlev V. M. The method of generalized Cole-Hopf substitutions and new examples of linearizable nonlinear evolution equations // Theoret. and Math. Phys., 2009. Vol. 158, no. 1. Pp. 48-60.

4. Журавлев В. М., Зиновьев Д. А. Метод обобщённых подстановок Коула—Хопфа в размерности 1+2 и интегрируемые модели двумерных течений сжимаемой жидкости // Письма в ЖЭТФ, 2008. Т. 88, №3. С. 194-197; англ. пер.: Zhuravlev V. M., Zinov’ev D. A. Method of generalized Cole-Hopf substitutions for dimension 1+2 and integrable models for two-dimensional compressible flows // JETP Letters, 2008. Vol. 88, no. 3. Pp. 164-166.

Поступила в редакцию 20/XII/2010; в окончательном варианте — 27/II/2011.

MSC: 7GG6G; 35Q70

METHOD OF GENERAL COULE-HOPF SUBSTITUTIONS IN THEORY OF FINITE-DIMENSIONAL DYNAMICAL SYSTEMS

V. M. Zhuravlev, K. S. Obrubov

Ulyanovsk State University,

42, L. Tolstoy st., Ulyanovsk, 432001, Russia.

E-mails: zhvictorm@gmail.com, constantin.phys@gmail.com

We consider the results of applying the method of generic Cole-Hopf substitutions to integration of finite-dimensional dynamical systems. Dynamical systems are represented in the form of matrix ordinary differential equations with specific matrix algebra of finite dimension. The Cole-Hopf type substitutions are applied, to matrix equations by using the differentiation on algebra in the form of commutator with a specific algebra element. Recurrent relations for Cole-Hopf substitutions were found. Particular cases of exactly integrable dynamical systems are presented. The algorithm of calculating the integrals of motion is shown.

Key words: Burgers type equations, general Cole-Hopf substitution, finite-dimensional dynamical systems.

Original article submitted 2G/XII/2G1G; revision submitted 27/II/2G11.

Victor M. Zhuravlev (Dr. Sci. (Phys. & Math.)), Professor, Dept. of Theoretical Physics. Konstantin S. Obrubov, Postgraduate Student, Dept. of Theoretical Physics.