CC BY
33
структуры и моделирование 2014. №3(31). С. 40-47
УДК 514.745.82
ГЕОМЕТРИЯ И ТОПОЛОГИЯ ФАЗОВЫХ ПОРТРЕТОВ ДИНАМИЧЕСКИХ СИСТЕМ ГЛАССА-ПАСТЕРНАКА МАЛЫХ РАЗМЕРНОСТЕЙ
В.П. Голубятников12
профессор, д.ф.м.н., г.н.с., e-mail: glbtn@math.nsc.ru И.В. Голубятников1
инженер, e-mail: ivan.golubyatnikov@gmail.com
1 Институт математики им. С.Л. Соболева СО РАН 2Новосибирский государственный университет
Аннотация. В работе рассматриваются вопросы неединственности циклов в фазовых портретах некоторых нелинейных динамических систем (био)химической кинетики, изучавшихся Л. Глассом и Дж. Пастернаком, которые установили для этих систем условия существования устойчивого цикла. Мы доказываем существование траекторий, никогда не попадающих в область притяжения этого устойчивого цикла.
Ключевые слова: Нелинейные динамические системы, фазовые портреты, циклы, диаграммы перехода, ретракция.
Введение
В наших предыдущих публикациях [1-3,7] (см. также цитированную там литературу) рассматривались нелинейные динамические системы вида
^ = /г(Хг-1) - Шг • хг, % = 1, 2,...П. (1)
аъ
Одна из основных задач этой серии работ состояла в выявлении периодических траекторий (циклов) в фазовых портретах подобных систем. Здесь все переменные, параметры и функции принимают неотрицательные значения, предполагается также, что хг-1 = хп при % = 1. Такие динамические системы возникают при моделировании ряда биологических процессов, и наличие у них периодических траекторий имеет естественную биологическую интерпретацию, см. [7,9].
Вычитаемые в правых частях уравнений системы (1) соответствуют процессам разложения биологических молекул в моделируемой генной сети, положительные коэффициенты шг характеризуют скорости этих разложений. Переменные хг обозначают концентрации участвующих в реакциях веществ, слагаемое /г(хг-1) описывает скорость синтеза вещества номер % в зависимости от концентрации хг-1 вещества номер % — 1.
В этой заметке мы рассматриваем фазовые портреты динамических систем вида (1) с «пороговыми» правыми частями: /¿(ж) = Гг(ж) или /¿(ж) = ¿¿(ж), где функции Г и Ьг являются ступенчатыми и определяются следующим образом:
ГДж) = Л, > 2 при 1 < x; ГДж) = 0 при 0 < x < 1;
(2)
Lj(x) = Л, > 2 при 0 < x < 1; L,(x) = 0 при 1 < x; (3)
A, = const. Возрастающие функции Г, описывают положительные обратные связи в моделируемых процессах, а убывающие функции L,(x) соответствуют отрицательным обратным связям. Такие функции как предельные формы монотонных гладких функций f использовались в [5,7,9]. Основные результаты этой заметки, описанные подробно для функций (2) и (3), переносятся и на такие гладкие функции f, см. теорему 2 и замечание к ней. Для простоты изложения мы ограничиваемся описанием безразмерного случая: m, = 1 при всех i = 1,2,...
Следуя [5], рассмотрим систему (1) в безразмерном виде при n = 4:
dxi т i \ dx2 т-i i \ dx3 T-i i \ dx4 г / \ /л\
— = Li(x4) - xi; — = r2(xi) - x2; — = Гз^) - x3; — = Г^з) - x4; (4) dt dt dt dt
и при n = 5:
dx1 T f \ dx2 ^ / ч dx4 , ч dx5 , ч ,r4
— = Li(x5)-xi; — = r2(xi)-x2; ... — = r4(x3)-x4; — = r5(x4)-x5. (5) dt dt dt dt
В фазовых портретах этих кусочно линейных динамических систем важную роль играют точки E4 = (1,1,1,1) и E5 = (1,1,1,1,1), в которых правые части всех уравнений имеют разрывы, однако, нас интересуют лишь те их траектории, которые в эти точки не попадают.
Несложные вычисления показывают, что все траектории системы (4), начинающиеся в открытом параллелепипеде П4 = (0,Ai) х (0,Л2) х (0,Л3) х (0,Л4), с ростом t не выходят из него, то есть, что П4 и его замыкание являются положительно инвариантными множествами этой системы (см., например, [2]). Такая инвариантность имеет место и для системы (5), и для подобных динамических систем произвольных размерностей, что позволяет перенести на них все проводимые нами построения, см. [1,3,4].
Для описания фазового портрета системы (4) разобьем параллелепипед П4 плоскостями {x, = 1}, параллельными координатным и проходящими через точку E4. Получающиеся 16 блоков разбиения перенумеруем бинарными индексами ei, £2, £3£4 е {0,1} :
{ei^2£3^4} = {X е Q | xi 1, x2 1, x3 1, x4
1}
(6)
Здесь X = (ж,ж2,ж3,ж4), и отношения порядка определяются, как и в [1], следующим образом: символ ^о означает < (ближе к началу координат вдоль соответствующей координатной оси, чем точка Е4), а символ означает > (дальше от начала координат вдоль соответствующей оси, чем точка Е4). Точно
таким же образом разбивается и параллелепипед П5, являющийся инвариантной областью многомерной системы (5). Такое разбиение очевидным образом конструируется и для подобных динамических систем других размерностей, см. [4].
Простые вычисления показывают, что в каждом из блоков разбиения (6) и его многомерных аналогов уравнения соответствующих динамических систем принимают вид
ахг ахг
— = Аг — хг, или — = —хг, аъ аъ
откуда
хг = Аг — (Аг — х0) • ехр(—ъ), или хг = х0 • ехр(—ъ), соответственно,
и поэтому имеет место следующее утверждение:
Лемма 1. I. Внутри каждого блока В = {е1е2е3е4} разбиения (6) траектории системы (4) прямолинейны, и их продолжения пересекаются в одной точке ив.
II. В целом эти траектории кусочно-линейны, их угловые точки находятся на гиперплоскостях хг = 1, разделяющих блоки разбиения (6).
Замечания. I. Это утверждение справедливо для динамических систем любых размерностей с пороговыми правыми частями вида (2) или (3).
II. Здесь для каждой из динамических систем зависимость точки ив от блока В определяется по-своему. Например, для системы (5) имеем ив = = (А1,0, А3,0, А5) при В = {01010}, и Цв = (0, А2,0, А4,0) при В = {10101}.
III. В качестве параметра, который описывает положение точек на прямолинейных участках траекторий, удобно выбирать ехр(—ъ). Внутри каждого блока В движение точек по траекториям удобно представлять в виде гомотетии с центром в точке ив.
Отметим также, что для всякой точки Р = Е4, лежащей на грани между двумя любыми соседними блоками разбиения (6), её траектория конструируется однозначно. Рассмотрим, например, точку Р1 е {1101} П {1111} = Р1, у которой координаты имеют вид 1 < х1 < А1, 1 < х2 < А2, х3 = 1, 1 < х4 < А4. Прямые вычисления показывают, что через все точки грани Р1 = {х3 = 1} траектории системы (4) переходят из блока {1101} в блок {1111} и никак иначе. Следовательно, траектория точки Р1 однозначно продолжается вовнутрь этих двух блоков прямолинейными отрезками вплоть до первого пересечения с гиперплоскостями х1 = 1 или х2 = 1, или х4 = 1, где эта траектория имеет угловые точки. Обозначим это первое пересечение через Р*. Далее траектория эта однозначно продолжается в обе стороны тем же способом. Отображение Р1 ^ Р* является проективным преобразованием и описывается дробно-линейными функциями, см. [3].
Геометрия фазового портрета динамической системы (4)
В работе [5] Гласс и Пастернак рассматривали динамические системы вида (4) и (5) произвольных размерностей, и для четырехмерного случая ими была
построена диаграмма (state transition diagram)
{0000} -► {1000} -► {1100} -► {1110}
' 1 (7)
{0001} <- {0011} <- {0111} <- {1111}
вложенная в ориентированный граф с вершинами, соответствующими всем 16 блокам разбиения (6).
В терминах работы [2] все восемь блоков, перечисленных в диаграмме (7), имеют потенциальный уровень один. Это означает, что из каждого из них траектории системы (4) могут переходить в точности в один соседний блок, в который указывает стрелка диаграммы. Обозначим через G8 объединение всех этих восьми блоков. Из предыдущих рассуждений следует, что G8 является инвариантной областью для системы (4). В работе [5] были установлены условия существования пробегающего по области G8 согласно диаграмме (7) устойчивого цикла системы (4). Эта область является невыпуклым многогранником, звездным относительно точки E4.
Лемма 2. Все точки открытой области П4, у которых описанные в Лемме 1 сегменты траекторий динамической системы (4) не проходят через точку E4, образуют область П4 \ E4 « S3 х D1 гомеоморфную произведению трехмерной сферы на одномерный диск.
Здесь и далее через Dm обозначается открытый m-мерный диск.
Доказательство леммы вытекает из проверки того, что для любого блока B разбиения (6) выпуклая оболочка объединения B U UB не содержит в своей внутренности точку E4. Это справедливо и для любой четномерной динамической системы, аналогичной (4).
В других размерностях подобная диаграмма и области G2N конструируются дословно так же, и поэтому мы ограничимся подробным описанием случая G4.
Для динамической системы (4) все восемь блоков разбиения (6), образующих область П4 \ Gg, имеют потенциальный уровень три относительно этой системы, и из них может быть составлена диаграмма
{1101} -► {0101} -► {0100} -► {0110}
' 1 (8) {1001} <- {1011} <- {1010} <- {0010}
Обозначим объединение перечисленных здесь восьми блоков через G8. Комбинаторные структуры областей G8 и G8 центрально-симметричны относительно точки E4. Внутренности областей int (G8 \ E4) и int (G8 \ E4) гомеоморфны произведению S1 х D3. Как было показано в [5], инвариантная область int (G8 \ E4) содержит устойчивый цикл системы (4) при подходящих значениях параметров Ai, A.2, A3, A4.
Теорема 1. В области П4 \ G8 « G8 \ E4 существует хотя бы одна траектория, которая бесконечно долго остается в области int (G8 \ E4) и проходит через ее блоки согласно диаграмме (8).
Доказательство. Предположим, что такой траектории нет, тогда существует ретракция r вдоль траекторий системы (4) области П4 \E4 & S3 х D1 на область G8 \ E4 & S1 х D3, что противоречит известному утверждению о поведении фундаментальных групп n1(G8 \ E4) & Z и п1(П4 \ E4) & 0 этих областей при композиции естественного вложения G8 \ E4 с П4 \ E4 и ретракции r. Следовательно, такая траектория существует.
Проверка того, что эта траектория проходит по блокам диаграммы (8) проводится прямыми вычислениями. Например, из блока {1101} траектории могут переходить только в блоки {0101}, {1111} и в {1100}. Первый из этих трех блоков следует за {1101} в диаграмме (8), а остальные блоки перечислены в диаграмме (7), то есть лежат в области G8. Точно так же проверяется и прохождение этой траектории согласно остальным стрелкам диаграммы (8). ■
Обозначим через Д4 диагональ {x1 = x2 = x3 = x4} четырехмерного куба. В работе [1] мы рассматривали симметричную четырехмерную динамическую систему вида (1), в которой все функции fi в правых частях имели вид (3) и совпадали, то есть A1 = A2 = A3 = A4. Сопоставление теоремы 1 и наших результатов из этих работ показывает, что в фазовых портретах такой динамической системы и системы (4) траектории ведут себя по разному ввиду различия гомотопических типов областей П4 \ E4 & S3 х D1 и П4 \ Д4 & S2 х D2.
В работе [10] изучались динамические системы вида (4), (5) и их многомерные аналоги в случае гладких монотонных функций L1 и Г и были установлены условия существования цикла, проходящего по блокам диаграммы (7) и ее многомерных аналогов. Следующая теорема доказывается дословно так же, как и теорема 1.
Теорема 2. Для четырехмерной динамической системы вида (4) с гладкими монотонными функциями L1 и Г в области П4 \ G8 & G8 \ E4 существует хотя бы одна траектория, которая бесконечно долго остается в области int (G8 \ E4) и проходит через ее блоки согласно диаграмме (8).
Замечание. Подобным же образом переносится на случай гладких правых частей и теорема 3, см. ниже.
Динамические системы других размерностей
Для многомерных аналогов системы вида (4) комбинаторно-геометрическая структура фазовых портретов оказывается намного сложнее, хотя в работе [5] для любых размерностей N были построены области G2N с Пм, в которых (при подходящих значениях параметров системы) содержится цикл, притягивающий траектории всех точек из G2N. Эти области G2N и соответствующие им диаграммы, аналогичные диаграмме (7), конструируются так же, как и в четырехмерном случае. Их комбинаторные структуры так же центрально-симметричны относительно точек EN. Можно проверить, что для системы (5) блоки {10101} и {01010} имеют потенциальные уровни пять, десять блоков, перечисленных в диаграмме, аналогичной (7), имеют потенциальный уровень один, оставшиеся 20 блоков имеют потенциальный уровень три.
Обозначим через Д5 диагональ параллелепипеда П5. В каждом из двух блоков {10101} и {01010} с максимальным потенциальным уровнем содержится отрезок с концом в точке £5, являющийся объединением траекторий своих точек, и траектории эти притягиваются к точке £5. Объединение этих двух отрезков стандартным образом деформируется в диагональ Д5, соединяющую вершины и! = (А!,0,А3,0,А5) и и2 = (0,А2,0,А4,0) параллелепипеда П5, заполняя при этом треугольник и!£5и2. Вершины и! и и2 остаются при этой деформации неподвижными. Напомним, что для четномерных динамических систем вида (4) траектории всех отличных от точек области П2М не проходят через точку £2М, см. доказательство Леммы 2 и Замечание III к Лемме 1.
Таким образом, множество точек П5, у которых траектории не попадают в £5, гомеоморфно П5 \ Д5 « 53 х Д2, и в нем содержится инвариантная область С!0 гомеоморфная 51 х Д4 — аналог области С8 \ £4. Эта конструкция очевидным образом воспроизводится и в любой нечетной размерности. Например, в трехмерной динамической системе
т / \ ^ / ч л / \ /Пч
— = ¿!(Ж3) - Ж!; — = Г2(Ж!) - Ж2; -г- = Г3(Ж2) - Ж3; (9)
ас ас ас
блоки {101} и {010} имеют потенциальный уровень три. Каждый из лучей, выходящих из двух точек (0,А2,0) и (А!,0,А3) по направлениям к точке £3, пересекается с противоположным к его началу блоком {101} и, соответственно, {010} по отрезку, являющемуся траекторией всех своих точек. Все такие траектории заканчиваются в точке £3. Дополнение к этим двум отрезкам в параллелепипеде П3 гомеоморфно П3 \ Д3 « 51 х Д2, что в трехмерном случае согласуется со строением области притяжения устойчивого цикла. Здесь диагональ Д3 определяется точно так же, как Д5 для системы (5). Со временем траектории всех точек этого дополнения попадают в блоки, перечисленные в следующей диаграмме
{000} -► {100} -► {110}
{001} <- {011} <- {111}
и далее согласно направлению ее стрелок перемещаются из блока в блок. Как было показано в [5], при подходящих значениях параметров А!,А2, А3 все такие траектории притягиваются к устойчивому циклу, и других циклов система (9) не имеет. В старших размерностях все устроено гораздо сложнее. Например, имеет место
Теорема 3. Для всех N > 4 область Пм \ содержит траекторию, которая остается в ней бесконечно долго.
Этот аналог первой части утверждения теоремы 1 доказывается в точности так же, как и в четырехмерном случае. Отметим, что идеи конструирования ретракций вдоль траекторий динамических систем восходят к теории индекса Конли, см., в частности, [6,8] и цитированную там литературу. Анализ строения фазовых портретов многомерных систем вида (4), (5) в зависимости от их
параметров представляет, по-видимому, более сложную задачу, чем в случаях младших размерностей.
Авторы искренне благодарны и признательны А.А. Акиньшину, Н.Б. Аю-повой и В.А. Лихошваю за полезные обсуждения. Работа выполнена при финансовой поддержке РФФИ 12-01-00074 и междисциплинарного гранта 80 СО РАН.
Литература
1. Акиньшин А.А., Голубятников В.П., Голубятников И.В. О некоторых многомерных моделях функционирования генных сетей // Сибирский журнал индустриальной математики. 2013. Т. 16, № 1. С. 3-9.
2. Акиньшин А.А., Голубятников В.П. Циклы в симметричных динамических системах // Вестник НГУ, серия Математика, Механика, Информатика. 2012. Т. 12, № 2. С. 3-12.
3. Аюпова Н.Б., Голубятников В.П. О единственности цикла в несимметричной трехмерной модели молекулярного репрессилятора // Сибирский журнал индустриальной математики. 2014. Т. 17, № 1. С. 3-7.
4. Golubyatnikov V.P., Golubyatnikov I.V. On periodic trajectories in odd-dimensional gene networks models // Russian Journal of Numerical Analysis and Mathematical Modeling. 2011. V.28, N. 4. P. 397-412.
5. Glass L., Pasternack J.S. Stable oscillations in mathematical models of biological control systems // Journal of Mathematical Biology. 1978. V. 6. P. 207-223.
6. Conley C. Isolated invariant sets and the Morse index. CBMS. Reg. Conf. Ser. Math. V. 38. Amer. Math. Soc. 1978. 89 p.
7. Лихошвай В.А., Голубятников В.П., Демиденко Г.В., Евдокимов А.А., Фадеев С.И. Теория генных сетей / В кн.: Системная компьютерная биология. Под ред. Н.А.Колчанова и С.С.Гончарова. Новосибирск: СО РАН. 2008. С. 395-480.
8. Mischaikov K., Mrozek M., Reineck J.F. Singular index pair // Journ. of Dynamics and Differential Equations. 1999. V. 11, N. 3. P. 399-425.
9. Ризниченко Г.Ю. Лекции по математическим моделям в биологии. Ижевск: РХД. 2011. 560 с.
10. Hastings S., Tyson J., Webster D. Existence of periodic solutions for negative feedback cellular control systems // Journ. of Differential Equations. 1977. V. 25. P. 39-64.
GEOMETRY AND TOPOLOGY OF PHASE PORTRAITS OF GLASS-PASTERNACK DYNAMICAL SYSTEMS IN SMALL DIMENSIONS
V.P. Golubyatnikov12
Doctor of Mathamatics, Professor, Chief Researcher, e-mail: glbtn@math.nsc.ru
I.V. Golubyatnikov1
Engineer, e-mail: a@a.ru
1Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
2Novosibirsk State University
Abstract. We consider questions of non-uniqueness of cycles in phase portraits of some non-linear dynamical systems of (bio)chemical kinetics, which were studied by L. Glass and J.S. Pasternack who have established conditions of existence of a stable cycle for these systems. We show existence of trajectories which do not enter the attraction basin of this stable cycle.
Keywords: Nonlinear dynamical systems, phase portraits, cycles, state transition diagrams, retraction.
