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

УДК 517.929

А.Ф. Зубова, В.И. Зубов, И.В. Зубов, С.А. Стрекопытов

ТЕХНОЛОГИЯ ПОСТРОЕНИЯ ПРОСТЫХ КВАДРАТИЧНЫХ СИСТЕМ

A.F. Zubova, V.I. Zubov, I.V. Zubov, S.A. Strecopitov

THE TECHNOLOGY OF BUILDING SIMPLE QUADRATE SYSTEMS

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

СИСТЕМА. МНОЖЕСТВО. УРАВНЕНИЕ. ПОРЯДОК. ФУНКЦИЯ. ПЕРИОД. РЕШЕНИЕ. УСТОЙЧИВОСТЬ. РЕЖИМ. ВЕКТОР.

In giving article is looks the way of bring third quadrate system of differential equations to one equation of second order. Is bring investigation simple on structure differential equation, is works technology of building simple quadrate systems, is possesses giving limiting measures, important in the tasks of controlling.

SYSTEM. MULTITUDE. EQUATION. ORDER. FUNCTION. PERIOD. SOLUTION. STABILITY. REGIME. VECTOR.

Системы дифференциальных уравнений — необходимый математический аппарат описания динамических процессов. Поэтому задачи современной автоматики, т. е. задачи создания новых эффективных систем управления различными технологическими комплексами и техническими объектами, обусловливают развитие методов исследования линейных и нелинейных систем дифференциальных уравнений — обыкновенных и в частных производных, которые описывают динамику функционирования систем автоматического управления. Задачи управления на протяжении последних десятилетий были основными «потребителями» достижений качественной теории дифференциальных уравнений, теории устойчивости, теории нелинейных колебаний. Задача прогнозирования поведения моделируемых систем сводится в количественном плане к численному интегрированию уравнений динамики, а в качественном плане — к аналитическому исследованию структурных особенностей моделируемой системы (наличие инвариантных множеств, характер предельного поведения решений).

Постановка задачи

Рассмотрим систему дифференциальных уравнений

x = y;

y = x + z + xz; (1)

z = xy.

Эта система имеет семейство интегралов 1 2

z = — x + C , где C = const. В связи с этим систе-2

му (1) можно привести к одному уравнению второго порядка

x = C + (1 + C) x + 2x2 + 2x3. (2)

Умножим обе части (2) на x и проинтегрируем в пределах от 0 до t. Получим

- x2 = C1 + Cx + -(1 + C) x2 + - x3 + 2 2 6

+i x4 (C1 = const). (3)

8

Извлечем квадратный корень и проинтегрируем снова; получим

4

7 2С1 + 2Cx + (1 + C )x2 + x 3/3 + x4/4

= t + C2, (4)

где С2 = const.

Интеграл, стоящий в левой части (4), — гиперэллиптический [1]. Для гиперэллиптических функций, появляющихся при обращении этого интеграла, когда мы хотим явно выписать решение x(t) системы (1), характерно наличие нескольких периодов, которые зависят от начальных данных. Рассмотрим еще одну систему:

x = y;

y = xz + a; (5)

z = 4xy +1.

Эта система имеет семейство интегралов z = = 2x2 +1 + c , что позволяет привести (5) к уравнению второго порядка

x = 2x3 + (t + C)x + a . (6)

С помощью подстановки x = ^ = + C) это уравнение приводится к нормальному виду Пенлеве [2]:

П'' = 2п3 + + а. (7)

Пенлеве показал, что решения уравнения (7) описываются принципиально новыми трансцендентными функциями, которые не сводятся к ранее изученным; они получили название трансцендентных функций Пенлеве [3]. Ученик Пенлеве Ж. Шази (1882—1955) изучал, в частности, уравнение

y" = 2 yy'- 3y '2, (8)

к которому приводится квадратичная система

x = y, y = z, Z = 2 xz - 3 y2.

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

ний управляемого движения наиболее важно требование их аналитической простоты. Это связано с возможностью их инженерной реализации. Поэтому необходима разработка технологии построения «простых» (например, квадратичных) систем, обладающих заданными предельными свойствами, существенными для задач управления. Важнейшим таким свойством является наличие автоколебания или совокупности автоколебаний (аттрактор), имеющих заданный или желаемый диаметр. Практически это означает, что построенная управляемая система будет иметь предельный режим с заданной геометрической характеристикой, т. е. фазовые переменные окажутся в желаемых пределах. Как осуществить такое построение? Основным методическим приемом в теории управляемых систем является решение обратной задачи механики, когда по заданным кинематическим элементам движения строятся уравнения динамики системы. Такими кинематическими элементами могут быть заданная траектория или заданная совокупность траекторий (инвариантное множество). Решение обратной задачи механики в полном объеме, по-видимому, впервые было осуществлено И. Ньютоном при открытии закона всемирного тяготения. Н.П. Еругин решил эту задачу в случае заданной интегральной кривой (заданного первого или частного интеграла).

Теорема 1. (Н.П. Еругин). Для того чтобы система дифференциальных уравнений

X = F (X)

(9)

имела частный интеграл V(X) = 0 , необходимо и достаточно, чтобы правая часть системы (9) имела следующий вид:

F = VVM (V, X) + N (X),

где (V V, N(X)) = 0, M(0, X) = 0 . Причем, если поверхность V (X) = 0 не имеет точек покоя, то векторная функция N (X) не должна обращаться в нуль-вектор на этой поверхности.

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

и устойчивым по Ляпунову инвариантным множеством. Другой вопрос состоит в том, насколько будут просты получаемые уравнения? Ведь даже задавая поверхность в виде эллипсоида, получаем уравнения, не являющиеся простыми. Кроме того, данный класс уравнений ограничен интегрируемым по определению случаем. Поэтому возникает желание использовать и неинте-грируемые системы для построения компактных, простых для инженерной реализации управляемых систем, которые будут иметь заданные геометрические характеристики предельного режима. Однако аналитическая природа решений такой системы может быть весьма сложной. Пусть V (X ),W (X) — положительно определенные функции, обладающие свойствами

V(X1) = 0, W(X2) = 0, V,W

при || X . Пусть на решениях некоторой гипотетической системы дифференциальных уравнений, имеющей продолжаемые решения, а также нулевое решение

X = F (X), (10)

выполнено соотношение

V = -W.

Тогда из теоремы Ляпунова об устойчивости следует, что система (10) имеет асимптотически устойчивое в целом положение равновесия X = 0 . Пусть V, W суть заданные функции с вышеупомянутыми свойствами. Рассмотрим уравнение

W ■ F = W . (12)

Это уравнение определяет класс систем (10), на решениях которых выполнено соотношение (11). Часть решений этого уравнения определяют системы с продолжаемыми решениями. Именно эти решения и интересны в практическом, инженерном смысле. Выбирая из этих решений системы в некотором смысле «простого» вида, мы получаем множество интересующих нас систем. Рассмотрим теперь следующее уравнение, выполненное на решениях гипотетической системы (10):

V = -W + C, (13)

где С = const.

Поскольку все решения (10) продолжаемы, то необходимо, чтобы выполнялось условие

C > 0 . Система (10) в этом случае равномерно диссипативна и будет иметь компактный предельный режим — автоколебание или совокупность автоколебаний (аттрактор). По уравнению (13) при заданных функциях V,W и контакте C можно построить все дифференциальные системы, на решениях которых выполняется это соотношение. Рассмотрим систему дифференциальных уравнений 3-го порядка

* = f (x, y, z);

y = g (x, y, z); (14)

z = h( x, y, z).

Предположим, что у системы (14) существует стационарный интеграл

v(x, y,z) = c , (15)

где с = const. Функция (15) удовлетворяет однородному линейному дифференциальному уравнению в частных производных

vxf + vyg + v zh =

Иными словами, вектор grad(v) = = (vx, vy, vz) = Vv ортогонален вектору (f, g, h). Следовательно, вектор Vv лежит в подпространстве, ортогональном вектору f = (f, g ,h). В качестве базиса этого подпространства можно взять, например, такие векторы:

g1 = (g-h, h- f, f -g); g2 = (g (f - g) - h(h - f), h( g - h) - f (f - g), f (h - f) - g (g - h)).

Имеем

(f, gx) = 0; (f, g2) = 0; (g2) = 0; g2 = f ■

По нашему предположению имеем

Vv = Ць?1 +Ц2 g2,

где — скалярные функции независимых

переменных x, y, z. Если функция v предста-вима в виде v = vj + v2 , так что выполнено соотношение Vv = Vv^ + Vv2, а векторы Vv^Vv2 коллинеарны соответственно векторам g1, g2 , то справедливы следующие рассуждения. По нашему предположению, функция (15) существует, следовательно, хотя бы при одном из i = 1, 2 имеет нетривиальное решение система уравнений

1 VV = | gt ,

(16)

A1 =

F =

где | = | (x, y, z) — некоторая скалярная функция. Выпишем условия интегрируемости уравнений (16) для i = 1:

|y (g-h) + |( gy -hy ) = | (h - f) + |(hx - fx ^

lz (g -h) + l(gz -hz ) = lx (f - g) + l(fx - gx Ь lz (h - f) + |(hz - fz ) = |y (f - g) + |( fy - gy ).

Последнюю систему можно записать в матрич-но-векторной форме:

A1V| = | F1. (17)

Матрица A1 и вектор F1 в выражениях (17) определены вполне:

f-(h - f) g - h 0 Л -(f - g) 0 g - h 0 -(f - g) h - f

V

Г hx - fx - (gy - hy)Л

fx - gx - (gz - hz ) f - gy - (hz - fz

Заметим, что матрица A1 в силу своей структуры является вырожденной при любых f, g, h. Отсюда следует, что нетривиальное решение уравнения (17) возможно лишь тогда, когда вектор F лежит в подпространстве, натянутом на столбцы матрицы A:

rank(^) = rank(^,F).

Нетривиальным решением для нас будет также ситуация, когда F1 = 0 , при этом получается |(x, y, z) = const | (x, y, z)= const. При i=2 получаем следующие значения для матрицы A и вектора F:

Г -h( g - h) + f(f - g) g(f - g) - h(h - f) 0 >

- f 9h-f) + g(g - h) 0 g(f - g)-h(h-f)

0 -f(h-f) + g(g - h) g(f - g)-f(f-g)

F2[1] = fx(g - 3f) - fy (g + h) + gx(h + f) -

- gy (f - 2g) + hx (g - 2h) + hy (2h - f);

F2[2] = fx(h - 2f) - fz(g + h) + gx(h - 2g) +

+ gz (2 g - f) + hx (f + g) + hz (2h - f);

F3[3] = fz(2f - g) + fy (h - 2 f) - gz(h + f) -

- gy (2g - 2h) + hz (2h - g) + hy (f + g).

Матрица А2 также вырожденная, и решение возможно тоже не всегда. Таким образом, в невырожденных случаях система дифференциальных уравнений для функций ц2 выглядит следующим образом:

A1Vl1 + A2Vl2 = l1F1 + l2F2 .

(18)

Это — система трех линейных дифференциальных уравнений в частных производных для двух неизвестных функций. Для ее исследования заметим сначала, что, поскольку матрицы А!, А2 вырожденные, уравнения (18) не могут быть разрешены относительно всех трех производных , , или ц2 , ц2 , ц2 , но в общем случае система (18) может быть разрешена относительно двух производных, например по х, у:

^ = а(х,у,г)^1 + А(х,у,г,^Ц2 ,^2 ,^2 );

ох х у г

^ = Ь(х,у,г)^1 + В(х,у,г, ^Ц2 ,^2 ,^2 ). (19)

ду х у г

Здесь А, В — линейные функции по ц2, ц2 , ц2 , ц2 . Дифференцируя первое уравнение по у, а второе по х, получаем

(ау -Ьх)Ц1 = Д^], (20)

где

ГГ Т ( С I. Л ^А ¿В

Дц2] = -1 аВ - ЬА +---

^ йхйу

— дифференциальный оператор второго порядка. Р. Курант [5] показал, что в аналитическом случае условие

ay = bx

(21)

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

Теорема 2. Необходимым условием существования стационарного интеграла для системы (18) является выполнение условий (21).

В самом общем случае приведем систему (9) к следующему виду: члены, содержащие величины ц2, ц2 , ц2 , ц2 , перенесем в правую часть, а содержащие величины ^ , ^ , — в левую. Введем новые неизвестные величины: а1(х,у,г); а2(х,у,г); а3(х,у,г). Получим соотношения

Л1[1,1]^1 + А1[1,2]м.1 + = а1;

х у

Л1[2,1]м.lx + Л1[2,3]Ц1Г + ВДЦ1 = а2; Л1[3,2]ц1у + Л^з]^ + Р1[3]м.1 = аз;

Л2[1,1]^2Х + Л2[1,2]1Ч + р2[1]^2 = а1;

х у

Л2[2,1]Ц2Х + Л2[2,3]|12г + р2[2]^2 = а 2;

Л2[3,2]|2у + Л1[3,3]|2г + Р[[3]|2 = аз. (22)

Мы получили две группы уравнений: первую — для неизвестной функции | 1 , вторую — от | 2 . В теории дифференциальных уравнений в частных производных первого порядка такие уравнения называются общими линейными [4], или линейными неоднородными [3]. Не ограничивая общности, рассмотрим первые три уравнения (22):

Х^) = Л1[1,1]|1 + Л1[1,2]|1 + ВДц! -а1 = 0;

х у

Х2(|1) = Л1[2,1]|1х + Л1[2,3]|1г + ВД^ -а2 = 0;

Хз(|1) = Л1[3,2]|1у + Л1[3,3]|1г +ВД^ - аз = 0.(23) Введем обозначения

Х1О11) = Л1[1,1]|1 + Л1[1,2]|1 ;

х у

Х2(|2) = Л1[2,1]|1х + Л1[2,3]|1г; Хз(|1) = Л1[3,2]|1у + Л1[3,3]|1г.

Поскольку матрица А1 вырожденная, из системы (2з) невозможно найти величины и, ,

1:

ц> , и,> . Приведем систему (2з) к замкнутой

1у 1

форме. В общем случае можно взять два линейно независимых по 1 , и,> , 1 уравнения, на-

1х у г

пример Х1, Х2, и составить скобку Якоби:

(д —

-Ai[2,1] d-1 + |^[1]

dx

+Ai[1,2]

( dX2

2 +Ц1 Fi[2]

[Xi,X2] = A1M

( Э—2

IX1F1[2]

dy ' y

ч J у

(d— ^ -A1[2,3] + ^[2] dz z

Известно [1, 2], что [Х1,Х2] = Х1(Х2(|1))--Х2(Х1(|1)). Может оказаться так, что получившееся уравнение линейно независимо с уравнениями Х1, Х2, тогда получившуюся систему можно разрешить относительно | 1 .

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

Работа выполнена при финансовой поддержке РФФИ (пр. № 10-08-000624).

СПИСОК ЛИТЕРАТУРЫ

1. Авдеева, М.Б. Последовательная локализация инвариантных множеств [Текст] / М.Б. Авдеева, С.В. Зубов, И.С. Стрекопытов.—Дифференциальные уравнения. Известия Российской академии наук.— Рязань: Изд-во Рязанского гос. университета, 2012.— Т. 17.— С. 9-12.

2. Зубов, А.В. Трехмерные квадратичные системы [Текст] / А.В. Зубов, К.А. Пешехонов, С.А. Стрекопытов, М.В. Стрекопытова // Диффенренциальные уравнения. Известия Российской академии наук.— Рязань: Изд-во Рязанского гос. университета, 2012. Т. 17.— С. 13-16.

3. Зубов, И.В. Уравнение для регулярного интеграла [Текст] / И.В. Зубов, А.Ф. Зубова, А.И. Иванов // Дифференциальные уравнения. Известия Российской академии наук. — Рязань. Изд-во Рязанского гос. университета.— 2012. Т. 17.— С. 17—20.

4. Зубов, А.В. Математические методы качественного анализа систем управления и устойчивость расчетных движений [Текст] / А.В. Зубов, С.В. Зубов. — АООТ «Мобильность-плюс».— СПб., 2012.— 357 с.

5. Зубов, А.В. Управление динамическими систе -

мами [Текст] / А.В. Зубов, О.А. Шабурова.— СПб.: Изд-во НИИ химии СПбГУ, 2005.— 83 с.

6. Зубов, С.В. Качественный анализ систем управления и устойчивость расчетных движений [Текст] / С.В. Зубов.— СПб: ВВМ, 2014.— 114 с.

7. Зубов, И.В. Анализ систем управления и способы представления программных управлений [Текст] / И.В. Зубов.— СПб.: ВВМ, 2014.— 150 с.

8. Зубова, О.А. Анализ равновесных движений и задача идентификации [Текст] / О.А. Зубова, М.В. Стре-копытова.— СПб.: СПбГУ, 2013.— 256 с.

REFERENCES

1. Avdeeva M.B., Zubov S.V., Strekopytov I.S. Pos-ledovatel'naia lokalizatsiia invariantnykh mnozhestv [Tekst] // Differentsial'nye uravneniia. Izvestiia Rossiiskoi akademii nauk.— Riazan', Riazanskii gos. universitet, 2012. T. 17.— S. 9-12. (rus.)

2. Zubov A.V., Peshekhonov K.A., Strekopytov S.A., Strekopytova M.V. Trekhmernye kvadratichnye sistemy [Tekst] // Diffenrentsial'nye uravneniia, Izvestiia Rossiiskoi akademii nauk. — Riazan': Riazanskii gos. universitet, 2012. T. 17.— S. 13-16. (rus.)

3. Zubov I.V., Zubova A.F., Ivanov A.I. Uravnenie dlia reguliarnogo integrala [Tekst] // Differentsial'nye uravneniia. Izvestiia Rossiiskoi akademii nauk.— Riazan': Riazanskii gos. universitet, 2012. T. 17.— S. 17-20. (rus.)

4. Zubov A.V., Zubov S.V. Matematicheskie metody

kachestvennogo analiza sistem upravleniia i ustoichivost' raschetnykh dvizhenii [Tekst].— SPb.: AOOT «Mo-bil'nost'-plius».— 2012. (rus.)

5. Zubov A.V., Shaburova O.A. Upravlenie dinami-cheskimi sistemami [Tekst].— SPb.: Izd-vo NII Khimii SPbGU, 2005.— 83 s. (rus.)

6. Zubov S.V. Kachestvennyi analiz sistem upravle-niia i ustoichivost' raschetnykh dvizhenii [Tekst].— SPb: Izd-vo VVM, 2014.— 114 s. (rus.)

7. Zubov I.V. Analiz sistem upravleniia i sposoby pred-stavleniia programmnykh upravlenii [Tekst].— SPb.: Izd-vo VVM, 2014.— 150 s. (rus.)

8. Zubova O.A., Strekopytova M.V. Analiz ravno-vesnykh dvizhenii i zadacha identifikatsii [Tekst].— SPb.: Izd-vo SPbGU, 2013.— 25б s. (rus.)

СВЕДЕНИЯ ОБ АВТОРЕ

ЗУБОВА Александра Федоровна — доктор технических наук профессор кафедры теории управления факультета прикладной математики — процессов управления Санкт-Петербургского государственного университета; 191024, ул. Конная, д. 22, кв. 4, г. Санкт-Петербург, Россия; e-mail: [email protected] ЗУБОВ Всеволод Иванович — аспирант кафедры теории управления факультета прикладной математики — процессов управления Санкт-Петербургского государственного университета; 191024, ул. Конная, д. 22, кв. 4, г. Санкт-Петербург, Россия; e-mail: [email protected]

ЗУБОВ Иван Владимирович — аспирант кафедры теории управления факультета прикладной математики — процессов управления Санкт-Петербургского государственного университета; 191024, ул. Конная, д. 22, кв. 4, г. Санкт-Петербург, Россия; e-mail: [email protected]

СТРЕКОПЫТОВ Сергей Александрович — аспирант кафедры теории управления факультета прикладной математики — процессов управления; Санкт-Петербургского государственного университета; 191024, ул. Конная, д. 22, кв. 4, г. Санкт-Петербург, Россия; e-mail: [email protected]

AUTHORS

ZUBOVA Alexandra F. — St. Petersburg State University; 191024, Connay st., 22/5, f. 4, St. Petersburg, Russia; e-mail: [email protected]

ZUBOV Vsevolod I. — St. Petersburg State University; 191024, Connay st., 22/5, f. 4, St. Petersburg, Russia; e-mail: [email protected]

ZUBOV Ivan V. — St. Petersburg State University; 191024, Connay st., 22/5, f. 4, St. Petersburg, Russia; email: [email protected]

STRECOPITOV Sergei A. — St. Petersburg State University; 191024, Connay st., 22/5, f. 4, St. Petersburg, Russia; e-mail: [email protected]

© Санкт-Петербургский государственный политехнический университет, 2013