Научная статья на тему 'ДИНАМИЧЕСКИЕ СВОЙСТВА ОДНОЙ ИМПУЛЬСНОЙ ЗАДАЧИ КОШИ'

ДИНАМИЧЕСКИЕ СВОЙСТВА ОДНОЙ ИМПУЛЬСНОЙ ЗАДАЧИ КОШИ Текст научной статьи по специальности «Математика»

CC BY
15
4
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МОДЕЛЬ ПОЛНОСВЯЗНОЙ АССОЦИАЦИИ НЕЙРОНОВ / ФАЗОВЫЕ ПОРТРЕТЫ / УСТОЙЧИВЫЕ РЕЖИМЫ / БИФУРКАЦИИ

Аннотация научной статьи по математике, автор научной работы — Ивановский Леонид Игоревич

Рассматривается модель полносвязной ассоциации нейронов с синаптической электрической связью, представляющая собой систему m дифференциальных уравнений с запаздыванием. Специальной заменой эта система приводится к системе импульсных обыкновенных дифференциальных уравнений. Для соответствующей динамической системы в случае m=3 изучаются вопросы существования, устойчивости и асимптотического представления периодических решений на основании бифуркационного анализа двумерного отображения - оператора сдвига по траекториям решения специальной системы двух дифференциальных уравнений. Особое внимание уделяется числу сосуществующих устойчивых режимов. Исследуется задача нахождения параметров, для которых количество таких режимов максимально. Для поиска неподвижных точек полученного двумерного отображения используется численное исследование, основанное на следующей итерационной процедуре. Выбирается начальная точка, методом Рунге-Кутты с заданным шагом вычисляются значения решения на отрезке [0, T] , в конечной точке T этого отрезка значение решения сравнивается с начальным и, если отклонение превышает заданное значение, то значение в конечной точке принимается за начальное и цикл вычислений методом Рунге-Кутты повторяется. Вычисления заканчиваются, если достигнуто требуемое малое отклонение, т. е. найдена неподвижная точка оператора сдвига, и соответствующий устойчивый периодический режим, или если количество итераций достигает заданного большого числа, что свидетельствует об отсутствии неподвижной точки. В работе представлены результаты проведенного численного исследования, позволившего продемонстрировать основные перестройки, происходящие в фазовом пространстве двумерного отображения. Полученные неподвижные точки позволяют найти асимптотические устойчивые решения исходной задачи.

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

DYNAMIC PROPERTIES OF ONE IMPULSE CAUCHY PROBLEM

A model of a fully connected association of neurons with a synaptic electrical connection which is a system of m differential equations with delay is considered. By a special substitution, this system is reduced to a system of impulsive ordinary differential equations. For the corresponding dynamical system in the case m=3 , we study the existence, stability, and asymptotic representation of periodic solutions on the basis of a bifurcation analysis of a two-dimensional mapping, a shift operator along trajectories of a solution to a special system of two differential equations. Particular attention is paid to the number of coexisting stable regimes. We study the problem of finding parameters for which the number of such modes is maximum. In order to search the fixed points of the resulting two-dimensional mapping, a numerical study is used based on the following iterative procedure. Selected the starting point, the Runge-Kutta method with a given step calculates the solution values on the segment [0, T] . At the end point T of this segment, the solution value is compared with the initial one and if the deviation exceeds the specified value, then the value at the end point is taken as the initial one and the calculation cycle by the Runge-Kutta method is repeated. The calculations terminate when the required small deviation is reached, i.e., a fixed point of the shift operator is found, and so is the corresponding stable periodic mode, or when the number of iterations reaches a given large number, and this indicates the absence of a fixed point. The paper presents the results of a numerical study that made it possible to demonstrate the main rearrangements occurring in the phase space of a two-dimensional mapping. The obtained fixed points allow us to find asymptotic stable solutions of the original problem.

Текст научной работы на тему «ДИНАМИЧЕСКИЕ СВОЙСТВА ОДНОЙ ИМПУЛЬСНОЙ ЗАДАЧИ КОШИ»

ISSN 2686-9667. Вестник российских университетов. Математика

Том 28, № 141

НАУЧНАЯ СТАТЬЯ © Ивановский Л.И., 2023 Б01 10.20310/2686-9667-2023-28-141-39-50 УДК 517.938

2023

»3

OPEN /71 ACCESS

Динамические свойства одной импульсной задачи Коши

Леонид Игоревич ИВАНОВСКИЙ

ФГБОУ ВО «Ярославский государственный университет им. П. Г. Демидова» 150003, Российская Федерация, г. Ярославль, ул. Советская, 14

Аннотация. Рассматривается модель полносвязной ассоциации нейронов с синаптической электрической связью, представляющая собой систему т дифференциальных уравнений с запаздыванием. Специальной заменой эта система приводится к системе импульсных обыкновенных дифференциальных уравнений. Для соответствующей динамической системы в случае т = 3 изучаются вопросы существования, устойчивости и асимптотического представления периодических решений на основании бифуркационного анализа двумерного отображения — оператора сдвига по траекториям решения специальной системы двух дифференциальных уравнений. Особое внимание уделяется числу сосуществующих устойчивых режимов. Исследуется задача нахождения параметров, для которых количество таких режимов максимально. Для поиска неподвижных точек полученного двумерного отображения используется численное исследование, основанное на следующей итерационной процедуре. Выбирается начальная точка, методом Рунге-Кутты с заданным шагом вычисляются значения решения на отрезке [0 , Т], в конечной точке Т этого отрезка значение решения сравнивается с начальным и, если отклонение превышает заданное значение, то значение в конечной точке принимается за начальное и цикл вычислений методом Рунге-Кутты повторяется. Вычисления заканчиваются, если достигнуто требуемое малое отклонение, т. е. найдена неподвижная точка оператора сдвига, и соответствующий устойчивый периодический режим, или если количество итераций достигает заданного большого числа, что свидетельствует об отсутствии неподвижной точки. В работе представлены результаты проведенного численного исследования, позволившего продемонстрировать основные перестройки, происходящие в фазовом пространстве двумерного отображения. Полученные неподвижные точки позволяют найти асимптотические устойчивые решения исходной задачи.

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

Благодарности: Исследование выполнено за счет гранта Российского научного фонда (проект № 22-11-00209, https://rscf.ru/project/22-11-00209/).

Для цитирования: Ивановский Л.И. Динамические свойства одной импульсной задачи Коши // Вестник российских университетов. Математика. 2023. Т. 28. № 141. С. 39-50. Б01 10.20310/2686-9667-2023-28-141-39-50.

SCIENTIFIC ARTICLES

©L.I. Ivanovsky, 2023

DOI 10.20310/2686-9667-2023-28-141-39-50

E

OPEN

9

iACCESS

Dynamic properties of one impulse Cauchy problem

Leonid I. IVANOVSKY

P. G. Demidov Yaroslavl State University 14 Sovetskaya St., Yaroslavl 150003, Russian Federation

Abstract. A model of a fully connected association of neurons with a synaptic electrical connection which is a system of m differential equations with delay is considered. By a special substitution, this system is reduced to a system of impulsive ordinary differential equations. For the corresponding dynamical system in the case m = 3, we study the existence, stability, and asymptotic representation of periodic solutions on the basis of a bifurcation analysis of a two-dimensional mapping, a shift operator along trajectories of a solution to a special system of two differential equations. Particular attention is paid to the number of coexisting stable regimes. We study the problem of finding parameters for which the number of such modes is maximum. In order to search the fixed points of the resulting two-dimensional mapping, a numerical study is used based on the following iterative procedure. Selected the starting point, the Runge-Kutta method with a given step calculates the solution values on the segment [0, T]. At the end point T of this segment, the solution value is compared with the initial one and if the deviation exceeds the specified value, then the value at the end point is taken as the initial one and the calculation cycle by the Runge-Kutta method is repeated. The calculations terminate when the required small deviation is reached, i.e., a fixed point of the shift operator is found, and so is the corresponding stable periodic mode, or when the number of iterations reaches a given large number, and this indicates the absence of a fixed point. The paper presents the results of a numerical study that made it possible to demonstrate the main rearrangements occurring in the phase space of a two-dimensional mapping. The obtained fixed points allow us to find asymptotic stable solutions of the original problem.

Keywords: model of a fully connected association of neurons, phase portraits, stable regimes, bifurcations

Acknowledgements: The research was supported by the Russian Science Foundation (project no. 22-11-00209, https://rscf.ru/en/project/22-11-00209/).

Mathematics Subject Classification: 34D05, 34D20, 65L06, 65L11.

For citation: Ivanovsky L.I. Dynamic properties of one impulse Cauchy problem. Vestnik rossiyskikh universitetov. Matematika = Russian Universities Reports. Mathematics, 2023, vol. 28, no. 141, pp. 39-50. DOI 10.20310/2686-9667-2023-28-141-39-50. (In Russian, Abstr. in Engl.)

1. Введение

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

и

А(—1 + af (u(t - 1)) - вд(и))и, t ^ 0,

'1.1)

для мембранного потенциала и = и(£) > 0. Будем полагать и(т) = <^(т) при т € [—1, 0], где ^ € С[— 1, 0] — заданная начальная функция. Для параметров А (характеризующего скорость протекания электрических процессов), а и в выполняются следующие условия:

А > 1, в > 0, a > 1 + в.

'1.2)

Гладкие функции /(и),д(и) будем считать принадлежащими классу С2(К+). Эти функции обладают следующими свойствами:

/(0) = д(0) = 1; 0 < вд(и) < а Уи € Е+; /(и),д(и),и/'(и),ид'(и),и2/"(и),и2д"(и) = 0(1/и) при и ^

:i.3)

Уравнение (1.1) называют модифицированным логистическим уравнением. В статьях [2-4] было показано, что это уравнение при всех А ^ 1 допускает экспоненциально орби-тально устойчивый цикл

и*(£, А) > 0, и*(0, А) = 1 (1.4)

периода Т*(А), удовлетворяющего предельным соотношениям

lim Т*(А) = To, To = a + 1 + (в + 1)/(a - в - 1),

'1.5)

max (t, А) — x0(t)| = O(1/A) при А —> оо,

в которых величина T0 составляет главную часть периода устойчивого цикла (1.4), функция x* задается равенством ж*(^А) = (1/А)1пи*(t, А), а ж0 — T0 -периодическая функция, определяемая формулой

X0(t)

(a - 1)t, a - t,

-(1 + в)(t - a), k(a - в - 1)(t - a - 1) - 1 - в, при a + 1 ^ t ^ T0.

при 0 ^ t ^ 1, при 1 ^ t ^ a, при a ^ t ^ a + 1,

:1.6)

Предположим, что имеется сеть из т ^ 2 нейронов с мембранными потенциалами Uj = Uj(¿) > 0, ] = 1,т, каждый из которых взаимодействует с любым другим. Согласно [5, с. 60-65] связь между нейронами с номерами ] и 5, = 5 осуществляется посредством тока проводимости Т^У", который в силу закона Ома задается равенством

Isyn = d(us - Uj), d > 0.

'1.7)

Одна из возможных моделей полносвязной ассоциации электрических синапсов, основанная на модели из статьи [6], может быть представлена системой вида

Uj =

d (us - Uj) + А(-1 + af (uj(t - 1)) - вд(и))uj, j = 1, m

s=1 S=j

В статье [6] была приведена модификация данной системы, заключавшаяся в замене выражения (1.7) для тока проводимости соотношением

,;г=.й), 4>».

где функция связи а (и) G C3(R+), ограничивающая значения переменных Uj, удовлетворяет следующим требованиям:

а (и) < 0 при и G [0,1), а(0) = -1, а (и) > 0 при и > 1, а(1) = 0, а'(1) > 0, (1.8)

а (и) — 8, иа'(и), и2а" (и),и3 а//;(и) = 0(1/и) при и ^ 8 = const > 0.

Что же касается модели соответствующей ассоциации нейронов с синаптической электрической связью, то в данном случае она приобретает вид

т , )

^j = dj^ai —) + A(—1 + af (и, (t — 1)) — вд(и ))и, j = T"m. (1.9)

S=j

В [6] отмечены два отличия приведенного подхода к моделированию электрических синапсов от общепринятого. Во-первых при переходе от отдельного нейрона к соответствующей сети сохраняется вольтерровская структура уравнений, а во-вторых, соблюден так называемый «закон насыщающих проводимостей», который заключается в выполнении условий (1.3), (1.8) для нелинейных функций. Тем самым, модели отдельного нейрона (1.1) и нейронной сети (1.9) базируются на одних и тех же принципах, сформулированных в работе [1]. Отметим, что под вольтерровской структурой уравнений (1.9) здесь подразумевается возможность записи их правых частей в виде произведения соответствующей зависимой переменной и некоторой неособой в нуле функции, что позволяет гарантировать положительность решений с положительными начальными условиями.

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

Рассмотрим предложенную в статье [6] ассоциацию сингулярно возмущенных осцилляторов с запаздыванием (1.9), моделирующую электрическое взаимодействие нейронов по принципу «каждый с каждым». Для параметров A, a, в этой системы полагаем, что выполнены условия (1.2), а для гладких функций f,g G C2(R+) — условия (1.3).

В качестве конкретного примера функции связи, удовлетворяющей требованиям (1.8), выберем (см. [6])

а(и) = 8(и — 1, 8 G (0, 2 — V3) U (2 + V3, и + 8

В силу равенства а(1) = 0 система (1.9) допускает так называемый однородный цикл

Ui = и2 = ... = ит = ^(t,A), (2.1)

где и* (t, А) —устойчивое периодическое решение уравнения (1.1) периода T*(A), удовлетворяющего предельному соотношению (1.5). В статье [6] показано, что периодическое

решение и* (¿, А) с периодом Т*(А) асимптотически близко при А ^ 1 к величине еЛж°(4), где х0(£) — Т0 -периодическая функция, которая задается равенствами (1.6).

Не проводя исследования всех периодических режимов системы (1.9), ограничимся рассмотрением лишь тех из них, которые располагаются в некоторой окрестности однородного цикла (2.1). При нахождении таких режимов можно применить специальные асимптотические методы, разработанные и примененные в статьях [1-4, 7, 8] для аналогичных (1.9) систем из трех осцилляторов вида (см. [9-14])

и? = ^(^и^! — a2Uj + и+1) + А(-1 + а/(uj(£ — 1)) — вд(и,))uj, 3 = 1, 2, 3

(2.2)

с различными значениями параметров а1,а2 и следующими краевыми условиями на и0,и4 :

a) а1 = 1, а2 = 2, и0 = и1, и3 = и4;

b) а1 = 1, а2 = 2, и0 = и3, и1 = и4 (цепочка и кольцо диффузионно связанных осцил-

ляторов);

c) а1 = 0, а2 = 1, и1 = и4 (кольцо однонаправленно связанных осцилляторов). В системе (1.9) выполним замены

,-1

и1 = ехр

х

и,

ехИх+х] у*), з=2, m, е=А ^1

к=1

А

(2.3)

где х,у1,... , ут-1 — новые переменные (такие же замены производились в [3,4] для системы (2.2)). В результате такой замены систему (1.9) можно свести к системе

1

х

е^а ехр ^ уг + Т (х ,х(£ — 1),е),

(2.4)

«=2

чГ=1

• , ( ( , \\ ^ ( (^

у, = I ехР I — Ум ) + а а I ехР I Уг

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

«=1 V \ т=8 / / «=,+2 \ \г=,+1

а V ( ( V \\ „ V ( («Т

— а а I ехР I — уг I I — а I ехр I у г

«=1 V V г=в )/ «=,+1 V \г=, + С,(х,х(^ — 1),у1, ... ,у,,у1(£ — 1), ... ,у,— 1),е)

для которой функции Т, С задаются равенствами

Т(х, и, е) = — 1 + а/ ^ехр ^— вд (ехр ^—

(2.5)

3 = 1, т — 1,

(x,U,Уl, ... ,у,^ъ ... ,е)

а

е

+ е

е

/ ( ехМ и + Х ^ к=1

,-1

,-1

— / (ехР ( 7 + X ^ к=1

д ехР

+ Е

ук

д ехР

х

+ Е

ук

к=1

к=1

3 = 1, т — 1.

£

р

Рассмотрим данную задачу в случае трех осцилляторов (т = 3). Зафиксируем а0 € (0, шт{1, (в + 1)/(а — в — 1)}) и обозначим через у!°(£,г) (где г = (¿а ,г2) €

К2, —а0 ^ £ ^ Т0 + а0 ) компоненты решения следующей импульсной задачи Коши (см. [4])

(2.6)

= ^(а(в-У1) — а(вУ1) + а(вУ2) — а(еУ1+У2)), = ^(а(в-У2) — а(вУ2) + а(в-У1) — а(в-У1-У2)).

а —1 . . . . . а . .

-— у, (—0), у, (1 + 0)= у, (1 — 0)--- у, (+0),

а — в — 1 а — 1

Уз (а + 0) = (1 + в )Уз (а — 0), (2.7)

а

Уз (а + 1 + 0) = уз (а + 1 — 0) — —у, (а + 0), 3 = 1, 2. (УъУ2)к=-0 = г

Рассмотрим оператор сдвига за время от 0 до Т0 по траекториям дифференциальной импульсной системы (2.6), (2.7)

Ф: R2 ^ R2, z = ГМ ^ Ф(г)= , (2.8

\y°(To,z)

Для отображения (2.8) справедливо следующее утверждение.

Теорема 2.1 (см. [6, теорема 1]). Любой гиперболической неподвижной точке z = z* отображения (2.8) в системе (2.4), (2.5) при всех достаточно малых £ > 0 соответствует релаксационный цикл

(x(t,£),yi(t,£), . . . ,ym_i(t,£)), x(0,£) = 0

периода T(£), устойчивое и неустойчивое многообразия которого определяются соответствующими многообразиями этой точки. Кроме того, справедливы соотношения

limT(£) = T°, max |x(t,£) - (t)| = O(£), £ ^ 0,

£—^0 -ao^t^To+ao

lim max ^^ £) - y°(t, z*) 1 = 0, max |yi(t £) 1 ^ M, j = l,m - 1, £—0 tes(£) -ao^t^To+CTo

где x°(t) — функция, определяемая по формуле (1.6), M = const > 0, а множество £(£ представляет собой отрезок [—а°,T° + а°] с выброшенными интервалами (1 — £г, 1+ £г), (а — £г, а + £г), (а + 1 — £г, а + 1 + £г), где 5 = const е (0,1).

Доказательство данной теоремы опустим, поскольку в аналогичных ситуациях оно подробно изложено в статьях [3,7]. Из теоремы следует, что для того, чтобы говорить об устойчивых циклах системы (1.9) и системы (2.6), (2.7) соответственно, достаточно изучить неподвижные точки отображения (2.8). Они и являлись объектами исследования.

Асимптотический анализ отображения (2.8), выполненный в статье [6], позволяет показать, что при достаточно малых значениях параметра d оно совпадает с оператором сдвига за время t =1 по траекториям системы дифференциальных уравнений

dz1 C exp z1 dz2 C exp(—z2)

—— = 2 — -, —— = -— 2,

dt 1 + exp z1 dt 1 + exp z2

где С — константа, зависящая от значений параметров а, в. Исходя из этого, отображение (2.8) имеет только одно устойчивое состояние равновесия (51,52). При этом нулевое состояние равновесия устойчиво для любых значений а. Ему соответствует однородный цикл системы (1.9).

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

3. Поиск неподвижной точки релаксационного отображения

Расчет координат неподвижных точек отображения (2.8) выполняется следующим образом: вычисления начинаются из точек вида (у1(—0),у2(—0))т, координаты которых представляют собой начальные условия системы (2.6), (2.7). Начальным моментом времени здесь считается величина £ = —0. Стартовые точки отображения (2.8) варьировались по ходу проведения численных исследований, оставаясь при этом в окрестности нулевого состояния равновесия.

Для каждой начальной точки отображения (2.8), итерационно, с фиксированным шагом Л, при помощи метода Рунге-Кутты подсчитывались координаты следующей точки. Этот метод имеет четвертый порядок точности, т. е. ошибка на каждом интервале подсчета будет иметь порядок О (Л5). Вычисления такого рода продолжаются до тех пор, пока не будет получена так называемая конечная точка отображения (2.8) в момент времени £ = Т0. Однако стоит отметь, что для £ = 0, 1, а, а + 1 в системе (1.9) выполняются условия соответствующего импульсного воздействия. Как следствие, координаты точки в этих случаях подсчитываются по формулам (2.7).

Далее происходит проверка стационарности для каждой полученной конечной точки отображения (2.8). Если ее координаты отличаются от координат начальной точки не более чем на заранее заданное, достаточно малое число, то посчитанное ранее состояние отображения (у1(Т0),у2(Т0))т считается устойчивым. В противном же случае, конечная точка отображения (2.8) считается начальной и для нее осуществляется та же последовательность операций, которая была описана ранее.

Для каждой начальной точки отображения (2.8) расчеты заканчивались при достижении достаточно большого числа описанных выше итераций получения конечной точки отображения (2.8) или при обнаружении неподвижного состояния равновесия.

4. Результаты численного исследования

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

В результате проведенных численных исследований для 8 € (2 + \/3, на коорди-

натной плоскости параметров (а, в) были выделены области А1 = {(а, в) : в > 0, в < ¿0}, Л2 = {(а,в) : в > 10, в < 1\}, границами которых являются прямые 10 = {(а,в) : в = а — 2}, ¿1 = {(а,в): в = а — 1}. Графическая визуализация данных множеств приведена на рис. 1.

д

Рис. 1. Разбиение на области параметров с одинаковыми бифуркационными сценариями

Далее рассмотрим типичные бифуркации для каждой из введенных областей (в статьях [11-14] были продемонстрированы результаты аналогичных исследований для систем вида (2.2) с различными значениями параметров а1, а2 и краевыми условиями на и0, и4 ).

Согласно результатам проведенных численных исследований, при изменении параметра й для любых фиксированных значений пары (а, в) € А1 в фазовом пространстве отображения наблюдается один и тот же сценарий фазовых перестроек. Для определенности возьмем а = 3,6 и в = 0, 4. При изменении параметра й для заданных величин а и в получается следующая последовательность бифуркаций:

1. При й 0.025 отображение (2.8) имеет четыре устойчивые неподвижные

точки (50, 51, 52, Б3 ) и три неустойчивые ( и0, и1, и2 ). Схематическое изображение фазового портрета для данного случая можно увидеть на рис. 2.

Рис. 2. Фазовый портрет отображений при й < й1

2. При а = а1 устойчивые узлы 51, 52 и 53, сливаясь с седлами [Д, и2 и и3, пропадают. Тем самым, при а > а1 отображение имеет лишь одно единственное нулевое устойчивое состояние 50.

Полученный сценарий фазовых перестроек остается верным для любых (а, в) € А1. Отличия от рассмотренного случая состоят лишь в числовых выражениях бифуркационных значений параметра а.

Согласно результатам проведенных численных исследований, при изменении параметра а для любых фиксированных значений пары (а, в) € А2 в фазовом пространстве отображения наблюдается один и тот же сценарий фазовых перестроек. Для удобства зафиксируем величины а = 1,9 и в = 0,1 и будем менять значение параметра а. В результате для отображения (2.8) получим следующую последовательность бифуркаций:

1. При а < а1; а1 ~ 0, 002 отображение (2.8) имеет четыре устойчивые неподвижные точки (50, 51, 52, 53 ) и три неустойчивые ( и0, и1, и2 ). Схематическое изображение фазового портрета для данного случая можно увидеть на рис. 3.

Рис. 3. Фазовый портрет отображений при а < а1

2. При а = а1 устойчивые узлы 51, 52 и 53, сливаясь с седлами [Д, и2 и и3, пропадают. Тем самым, при а > а1 отображение имеет лишь одно единственное нулевое устойчивое состояние 50.

Полученный сценарий фазовых перестроек остается верным для любых (а, в) € А2. Отличия от рассмотренного случая состоят лишь в числовых выражениях бифуркационных значений параметра а.

Различия фазовых портретов, представленных на рис. 2 и 3, заключаются лишь в местоположении неустойчивых седел и1, и2, и3, а также устойчивых узлов 51, 52, 53. В связи с этим возник вопрос, как изменяется поведение состояний равновесия при переходе из одной области параметров в другую. В результате численного исследования,

при зафиксированных а и й и изменении значения в, на прямой 11 обнаруживалось существование двух многообразий: неустойчивого Ми и устойчивого Ms (см. рис. 4).

Рис. 4. Фазовый портрет отображения для параметров (а, в) € 11

В том случае, если параметр 8 € (0, 2 — \/3), согласно результатам проведенных численных исследований, на координатной плоскости параметров (а, в) также можно выделить области А1 = {(а,в) : в > 0, в < 10}, А2 = {(а,в) : в > 10, в < 11}, границами которых являются прямые 10 = {(а,в) : в = а — 2}, 11 = {(а,в) : в = а — 1}. Графическая визуализация данных множеств приведена на рис. 4. Отметим, что выделенные области А1, А2 значений параметров (а, в) в точности определяли сценарии аналогичных фазовых перестроек, описанных выше.

Рис. 4. Разбиение на области параметров с одинаковыми бифуркационными сценариями

Полученные в результате анализа отображения (2.8) его неподвижные точки позволяют найти асимптотику решений системы (2.6), (2.7). На основе решений импульсной системы (2.6), (2.7), учитывая замену (2.3), получаем асимптотические устойчивые решения исходной задачи (1.9).

5. Заключение

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

References

[1] С. Д. Глызин, А. Ю. Колесов, Н.Х. Розов, "Релаксационные автоколебания в сетях импульсных нейронов", Успехи мат. наук, 70:3 (2015), 3-76; англ. пер.^.Б. Glyzin, A. Yu. Kolesov, N.Kh. Rozov, "Self-excited relaxation oscillations in networks of impulse neurons", Russian Mathematical Surveys, 70:3 (2015), 383-452.

[2] С.Д. Глызин, А.Ю. Колесов, Н.Х. Розов, "Релаксационные автоколебания в нейронных системах. I", Дифференциальные уравнения, 47:7 (2011), 919-932; англ. пер.^.Б. Glyzin, A. Yu. Kolesov, N. Kh. Rozov, "Relaxation self-oscillations in neuron systems: I", Differential Equations, 47:7 (2011), 927-941.

[3] С.Д. Глызин, А.Ю. Колесов, Н.Х. Розов, "Релаксационные автоколебания в нейронных системах. II", Дифференциальные уравнения, 47:12 (2011), 1675-1692; англ. пер.^.Б. Glyzin, A. Yu. Kolesov, N. Kh. Rozov, "Relaxation self-oscillations in neuron systems: II", Differential Equations, 47:12 (2011), 1697-1713.

[4] С.Д. Глызин, А.Ю. Колесов, Н.Х. Розов, "Релаксационные автоколебания в нейронных системах. III", Дифференциальные уравнения, 48:2 (2012), 155-170; англ. пер.^.Б. Glyzin, A. Yu. Kolesov, N. Kh. Rozov, "Relaxation self-oscillations in neuron systems: ill", Differential Equations, 48:2 (2012), 159-175.

[5] С.А. Кащенко, В. В. Майоров, Модели волновой памяти, Либроком, М., 2009. [S.A. Kashchenko, V.V. Mayorov, Modeli Volnovoy Pamyati, Librokom Publ., Moscow, 2009 (in Russian)].

[6] С.Д. Глызин, А.Ю. Колесов, "Об одном способе математического моделирования электрических синапсов", Дифференциальные уравнения, 58:7 (2022), 1-15; англ. пер.^.Б. Glyzin, A. Yu. Kolesov, "On a Method of Mathematical Modeling of Electrical Synapses", Differential Equations, 58:7 (2022), 853-868.

[7] А. Ю. Колесов, Н. Х. Розов, "Автоволновые процессы в цепочках диффузионно связанных уравнений с запаздыванием", Успехи мат. наук, 67:2 (2012), 109-156; англ. пер.^. Yu. Kolesov, N. Kh. Rozov, "Self-excited wave processes in chains of diffusion-linked delay equations", Russian Mathematical Surveys, 67:2 (2012), 297-343.

[8] Д. С. Щапин, В. И. Некоркин, "Параметрически возбуждаемые хаотические спайковые последовательности и информационные аспекты в ансамбле нейронов ФитцХью-Нагумо", Письма в Журн. эксп. и теор. физики, 113:6 (2021), 415-420; англ. пер.:Б^. Shchapin, V. I. Nekorkin, "Parametrically Excited Chaotic Spike Sequences and Information Aspects in an Ensemble of FitzHugh-Nagumo Neurons", Journal of Experimental and Theoretical Physics Letters, 113:6 (2021), 418-422.

[9] Л. И. Ивановский, "Устойчивые режимы динамических систем с импульсными воздействиями", Динамические системы, 6:2 (2016), 113-132. [L.I. Ivanovsky, "Stable modes of dynamical systems with impulses", Dynamic Systems, 6:2 (2016), 113-132 (In Russian)].

[10] Л. И. Ивановский, С. О. Самсонов, "Фазовые перестройки одной двумерной динамической системы с импульсным воздействием", Вычисл. техн. в естеств. науках. методы супер-комп. модел., 2 (2015), 121-132. [L.I. Ivanovsky, S.O. Samsonov, "Dynamics of two-dimensional mapping and stable regimes of singularly perturbed neuron system", Computer Technologies in Sciences. Methods of Simulations on Supercomputers, 2 (2015), 121-132 (In Russian)].

[11] Л. И. Ивановский, "Динамические свойства одного класса импульсным систем", Вычисл. техн. в естеств. науках. методы суперкомп. модел., 3 (2015), 126-131. [L.I. Ivanovsky, "Dynamic properties of one class of impulse systems", Computer Technologies in Sciences. Methods of Simulations on Supercomputers, 3 (2015), 126-131 (In Russian)].

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

[12] Л. И. Ивановский, "Устойчивые режимы одного класса динамических систем с импульсными воздействиями", Вычисл. техн. в естеств. науках. методы суперкомп. модел., 4 (2017), 3542. [L.I. Ivanovsky, "Stable regimes of one class of dynamic systems with impulse influences", Computer Technologies in Sciences. Methods of Simulations on Supercomputers, 4 (2015), 35-42 (In Russian)].

[13] Л. И. Ивановский, С. О. Самсонов, "Фазовые перестройки одной двумерной динамической системы с импульсным воздействием", Модел. и анализ. информ. систем, 21:6 (2014), 179181. [L.I. Ivanovsky, S.O. Samsonov, "Phase reconstructions of one two-dimensional dynamical system with impulses", Modeling and Analysis of Information Systems, 21:6 (2014), 179-181 (In Russian)].

[14] L.I. Ivanovsky, "Stable regimes of dynamic systems with impulsive influences", Lobachevskii Journal of Mathematics, 38:5 (2017), 921-925.

Информация об авторе

Ивановский Леонид Игоревич, младший научный сотрудник, Объединенный институт математики и компьютерных наук им. А.Н. Колмогорова, Ярославский государственный университет им. П. Г. Демидова, г. Ярославль, Российская Федерация. E-mail: leon19unknown@gmail.com ORCID: http://orcid.org/0000-0002-4717-5129

Information about the author

Leonid I. Ivanovsky, Junior Researcher, A.N. Kolmogorov Institute of Mathematics and Computer Science, P. G. Demidov Yaroslavl State University, Yaroslavl, Russian Federation. E-mail: leon19unknown@gmail.com ORCID: http://orcid.org/0000-0002-4717-5129

Поступила в редакцию 17.11.2022 г. Поступила после рецензирования 23.02.2023 г. Принята к публикации 10.03.2023 г.

Received 17.11.2022 Reviewed 23.02.2023 Accepted for press 10.03.2023

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