В настоящее время одним из наиболее активно развивающихся направлений математического анализа являются исследования динамики систем с распределенными параметрами. Эти исследования стимулируются появлением большого числа прикладных задач, для моделирования которых используют такие объекты, как дифференциальные уравнения с запаздыванием. Уравнения такого типа возникают, например, в лазерной оптике [1−4], электротехнике [5−8], радиофизике [9, 10], медицине [11], математической экологии [12−14], теории нейронных систем [15−18], при описании процесса резания металлов [19, 20] и др.
Изучению уравнений с запаздыванием посвящено значительное и все увеличивающееся число публикаций как теоретического, так и прикладного характера. Для многих уравнений, содержащих запаздывание, хорошо зарекомендовали себя классические асимптотические методы, такие как методы усреднения Крылова-Боголюбова, методы пограничных функций в случае сингулярных возмущений [21].
Тем не менее, развитие аналитических методов для систем с запаздыванием явно недостаточно, а методика, разработанная для систем обыкновенных дифференциальных уравнений, часто оказывается для таких объектов неприменимой. В силу принципиальной сложности систем с бесконечномерным фазовым пространством особую значимость как для общетеоретических вопросов, так и для решения конкретных прикладных задач приобретает разработка новых асимптотических методов исследования динамических свойств решений. Так, например, в работах [22−25] предложен специальный асимптотический метод изучения нелокального поведения решений важных классов сингулярно возмущенных систем с запаздыванием. Этот метод позволил редуцировать задачу о динамике исходной системы к задаче о динамике аналитически конструируемых конечномерных отображений.
Для различных нелинейностей были проведены достаточно полные численные и экспериментальные исследования динамики при различных значениях фигурирующих в них параметров, и получены достаточно полные представления об изменении динамических свойств при варьировании тех или иных параметров задачи [9, 10, 26].
В настоящей работе рассматриваются уравнения с нелинейной запаздывающей обратной связью ступенчатого типа, отличительной особенностью которой является простота реализации в задачах радиофизики и электротехники [5−8]. Однако, несмотря на простоту, такие уравнения обладают богатой динамикой.
Одной из актуальных задач радиофизики является исследование явления синхронизации связанных осцилляторов. Явление, проявляющееся в стремлении взаимодействующих систем к выработке единого ритма существования, широко распространено как в искусственных, так и в природных системах. Помимо того, что исследование синхронизации представляет теоретический интерес, оно необходимо для дальнейшего развития информационных технологий в задачах обработки и передачи информации. Имеется значительное число аналитических и экспериментальных исследований синхронизации в динамических системах различной природы [27−36]. Большой вклад в исследование пространственно-временной динамики различных связанных систем сделан научными группами как в России [32, 33, 37], так и за рубежом [28, 30, 38, 39]. Несмотря на то, что в ряде работ получены достаточно общие результаты, характеризующие закономерности возникновения синхронизации, дальнейшее изучение этого явления представляет как теоретический, так и практический интерес.
В предлагаемой работе изучается явление синхронизации систем с нелинейностью ступенчатого типа, причем основное внимание уделено асимптотическому исследованию динамических свойств при относительно большом времени запаздывания.
Целью настоящей работы является исследование динамических свойств решений дифференциальных уравнений первого и второго порядков с нелинейной запаздывающей обратной связью, изучение вопроса синхронизации в системах уравнений первого порядка с различными типами связи: диффузионной, через нелинейную функцию, запаздывающей диффузионной и релейной диффузионной. Отметим, что акцент ставится на получение результатов аналитического характера. В работе используются методы теории обыкновенных дифференциальных уравнений, функционального анализа, идеи теории сингулярных возмущений, а также специальный асимптотический метод большого (малого) параметра, учитывающий специфику нелинейности.
Полученные в диссертации результаты имеют как теоретическое, так и практическое значение. Они могут быть использованы при качественном исследовании дифференциальных уравнений с запаздывающей обратной связью и могут найти применение в радиофизике при конструировании автогенераторов в системах передачи данных.
Перейдем к изложению содержания диссертации.
Работа состоит из введения, трех глав, приложения, заключения и библиографии.
Первая глава посвящена изучению динамики дифференциального уравнения первого порядка с нелинейной запаздывающей обратной связью ступенчатого типа + ж = /(ж (*-Т)), (1) где Т > 0 — время запаздывания, а нелинейность f (s) определяется формулои.
1, а < «< Ь, = { ~ ~ 0 < а < 6 < 1. (2).
О, я < а или 5 > 6,.
При этом особое внимание уделено аналитическому изучению динамических свойств решений.
В первом разделе изучена динамика уравнения (1) с релейной функцией /(-§), т. е. сначала при, а = 0, а затем при 6=1.
Назовем цикл хь{Ь) уравнения (1) медленно осциллирующим (МО), если расстояние между соседними корнями уравнения х&-(£) = 6 больше, чем Т.
Теорема 1. Пусть, а = 0. Тогда уравнение (1) имеет экспоненциально орбиталъно устойчивое периодическое решение хь{Ь).
Далее в работе приведены асимптотические формулы для периодического решения в случаях 0 < 1, Тоо.
Теоретически доказано, что уравнение (1) при, а = 0 имеет счетное число быстро осциллирующих решений с 2 т (т = 1,2,3,.) пересечениями прямой х = 6 на некоторых отрезках времени длины Т. Построены 2т-мерные отображения, динамика которых определяет поведение при? —" оо решений уравнения (1) с начальными условиями из специально выбранных множеств. Показано, что каждое из таких отображений имеет неподвижную точку, которой отвечает периодическое решение уравнения (1). В результате численного исследования установлено, что все быстро осциллирующие решения неустойчивы и стремятся к МО циклу Хь^).
В случае, когда 6=1, определены условия, при которых существует единственное (с точностью до сдвига по времени) отличное от константы периодическое решение жа (£), имеющее на каждом интервале длины Т не более двух пересечений с прямой х = а. Это решение является неустойчивым. Аналогично предыдущему случаю построены неустойчивые быстро осциллирующие решения. Все решения из их окрестности стремятся к 1 или к 0 при? —> оо.
Второй раздел первой главы посвящен асимптотическому анализу уравнения с нелинейностью ступенчатого типа и изучению как устойчивых, так и долгоживущих структур.
В первом пункте раздела приведено утверждение о существовании устойчивого цикла при условии, когда параметры, а и Ъ достаточно малы:
Теорема 2. При всех достаточно малых значениях параметров, а и Ь уравнение (1) имеет экспоненциально орбиталъно устойчивое периодическое решение.
Во втором пункте рассмотрен случай, когда параметр Ь близок к 1. Показано, что при условии уравнение (1) имеет устойчивое периодическое решение.
При увеличении параметра, а и при нарушении условия (3) структура периодического решения усложняется. Соответствующие численные исследования приведены в четвертом разделе главы.
Основное содержание раздела заключено в третьем пункте, где рассмотрен вопрос о динамике уравнения (1) при условии, когда запаздывание Т достаточно велико. Показано, что это уравнение обладает богатой динамикой, а его решения имеют сложную структуру.
Соседние моменты времени, когда решение уравнения (1) принимает значение х = а с положительной и отрицательной производной назовем соответственно начатом и концом всплеска. Установлено, что в плоскости параметров, а и Ь существует область в которой уравнение (1) имеет решения с одним всплеском на отрезке длины времени запаздывания. Аналитически эта область описывается системой неравенств: ехр (—Т) > а,.
3).
1 — а + аЬ (Ь — а)[(1 — 6)(а — 6 + аЬ)]-1 < О, Ь <2аа2.
Приведенная методика позволяет исследовать решения более сложной структуры. В четвертом пункте рассмотрены решения, имеющие произвольное число к > 1 всплесков на некоторых отрезках длины времени запаздывания. Сформулированы выводы о существовании широкого множества «долгоживущих» решений (т.е. сохраняющих структуру в течение промежутка времени, неограниченно растущего при Т —>• оо). Такие решения рассматриваемого уравнения имеют важное прикладное значение. Соответствующие результаты базируются на специальных методах большого параметра для сингулярно возмущенных уравнений с запаздыванием.
В третьем разделе первой главы исследована динамика уравнения с нелинейностью импульсного типа. Проведено сравнение с результатами из предыдущего раздела.
Основное предположение относительно нелинейной функции /(«) в настоящем разделе заключается в том, что ее «действие» сосредоточено в изолированных точках. Предполагаем, что функция /(в) имеет импульсный тип — является <5—функцией, сосредоточенной в некоторой точке 7 > 0: з) = 0, если 5 ф 7 и, 00 (4) ?(в^з = а (0 < а < 1). 00.
Сразу отметим, что задачи исследования динамики уравнения (1) при условиях (2) и (4) в некотором смысле довольно близки друг к другу. Так, параметр, а в (4) является аналогом разности Ь — а (длины «ступеньки»), а параметр 7 по смыслу принадлежит отрезку [а, Ъ].
Сформулируем основные результаты этого пункта.
Теорема 3. Пусть выполнено условие ехр (—Т) + сгу-1 > 1.
Тогда уравнение (1) имеет единственное с точностью до сдвига по времени МО периодическое решение Это решение устойчиво. Если же ехр (-Г) + сн-1 < 1, то уравнение (1) не имеет МО решений.
Теорема 4. Пусть выполнены условия.
1 — ехр (—Т/2) < сгу-1 < ехр (Т) — 1.
Тогда уравнение (1) с нелинейной функцией (4) имеет устойчивое периодическое решение с двумя всплесками на промежутке длины Т.
Использованная в этом разделе схема исследования решений с двумя всплесками на отрезке длины Т допускает распространение на случаи, когда решение имеют к > 2 всплесков на отрезке длины Т.
В последнем, четвертом разделе первой главы изучены числовые характеристики аттракторов уравнения со ступенчатой нелинейностью. Показано, что уравнение (1) обладает богатой динамикой. При одних и тех же значениях параметров, а и Ъ может существовать, в зависимости от времени запаздывания, как устойчивый цикл, так и хаотический аттрактор. Изучение последнего представляет особый интерес. В первом пункте настоящего раздела изучается распределение 5 точек пересечения решением прямых х = а и х = Ь. Чем больше тем более сложный вид имеет соответствующее решение. Эту характеристику можно интерпретировать как меру структурной сложности решений. Во втором пункте описаны сценарии перехода к хаосу при увеличении времени запаздывания. Установлено, что процесс перехода от регулярного поведения к хаосу достаточно сложен. В начале при малых Т происходит ряд как прямых, так и обратных бифуркаций добавления периода. Далее при увеличении запаздывания имеет место явление перемежаемости типа «цикл-хаос». Все эти заключения находят подтверждение при исследовании корреляционной размерности и старшего ляпуновского показателя в пунктах 3−4, в которых приведены результаты расчета этих характеристик решений уравнения (1), а также прослежена зависимость корреляционной размерности и старшего ляпуновского показателя от времени запаздывания. В пятом пункте получены асимптотические оценки старшего ляпуновского показателя.
Во второй главе исследуется динамика двух одинаковых уравнений вида (1) с релейной нелинейностью /($) м =.
1, 5 < Ь, ' - 0 < д < 1.
О, 5- > Ъ и различными типами связи между уравнениями.
В первом разделе изучены представляющие наибольший интерес системы с.
1) Диффузионной связью.
X + я = ?{х^-Т^+й^у-х), у + у =/(у (*-Т))-М2(*-г/);
2) диффузионной связью с запаздыванием х + х = ?(х (г — Т)) + (1г (у^ - Т) — х (г — Г)), У + У — - Т)) + - Т) — у{1 — Т)),.
3) релейной диффузионной связью х + х = — Т)) + — Ъ) — — 6)),.
У + У = Яг/(< - Т)) + - Ь) — sgn (J/ - &));
5).
6).
7).
4) связью через нелинейность /(х х + х = /[ж (£ - Т) + ^(у^ - Т) — х (Ь — Г))],.
У + У = /М* -Т) + - т) — у (г — т))].
В системах (5)-(8) коэффициенты связи ^,.
Под синхронизацией решений системы уравнений будем понимать выполнение условия — у (£) | < ¡-л при? > где — момент синхронизации, а ?1 > 0 — произвольно выбранная сколь угодно малая величина.
При достаточно большом времени запаздывания Т, (т.е. при Т 1) естественно сравнить поведение решений систем дифференциальных уравнений с поведением решений соответствующих систем разностных уравнений. Так аналогом системы дифференциальных уравнений (5) мы считаем систему разностных уравнений.
Динамика систем разностных уравнений изучается аналитически и сопоставляется с результатами численного анализа динамики систем дифференциально-разностных уравнений. Отметим, что в общем случае динамика существенно различна. Однако, оказывается, что имеют место некоторые соответствия, которые позволяют получить ряд критериев синхронизации (несинхронизации) решений систем (5)-(8).
Критерий синхронизации решений системы разностных уравнений (9) имеет вид тш{5,1 — 6} < А-1 тах{б?1, б?2}5 (Ю) где.
1 + С?1 —йл.
Д = с1е1 1 + -м2.
-?2 1 + <^2.
Возвращаясь к системе дифференциальных уравнений (5), отметим, что как показывают численные эксперименты, при выполнении неравенства (10), в системе происходит '" быстрая" синхронизация за относительно короткое время, которое не увеличивается при увеличении Т. Если условие (10) не выполнено, то происходит «медленная» синхронизация, за существенно большее время, которое неограниченно растет при Т —> оо.
В результате численного анализа установлено, что синхронизация в системе (5) происходит существенно быстрее, чем установление простейшего МО цикла.
Для системы (8) аналогичным образом получаем критерий «быстрой» синхронизации решений:
При изучении динамики системы уравнений с запаздывающей диффузионной связью (6) были выявлены критерии существования и устойчивости однородного и неоднородного циклов в соответствующей системе связанных отображений.
Отметим, что при условии + ?2 > 1 все решения с начальными условиями, отличными от х (з) = у (я) для 5? [-Т, 0] стремятся к бесконечности. Поэтому наибольший интерес представляет случай с?1 + < 1- Здесь система (11) имеет как однородный, так и неоднородный цикл, причем наличие (или отсутствие) синхронизации существенно зависит не только от коэффициентов .
Система дифференциальных уравнений (6) исследовалась численно. Эксперименты показали, что однородный цикл при условии общности положения оказывается неустойчивым, и решения стремятся к некоторому неоднородному циклу (ж (£) ф у (Ь)).
Рассмотрим случай, когда один из коэффициентов связи равен нулю. Пусть для определенности ?1 = 0. Тогда единственным устойчивым решением первого уравнения системы (6) будет МО цикл Второе уравнение при х = .г'о (0 запишем в виде гшп{6,1 — 6} < тах{^1, с^}. х{1) = /(а (* - Т)) + - Т) — х{1 — Г)), у{1) = /(г,(* - Т)) + й2{х{Ь — Т) — у (1 — Г)).
П).
У + У + - Т) = /(г/(* - Г)) + й2×0(* - Г).
Для уравнения у + У + й2у{г — т) = о 14 найдено пороговое значение ¿-о коэффициента ?2-, такое что при ?2 < с? о решения уравнения (12) асимптотически устойчивы. Отметим, что при Т —> со величина с? о монотонно убывает к 1.
При изменении величины ?2 от нуля до с? о в системе (6) будет наблюдаться следующая картина. Сначала при небольших значениях ?2 устойчив неоднородный цикл. Далее, по мере приближения к цикл сменяется нерегулярным режимом, и затем при дальнейшем увеличении ??2, в некоторой окрестности ¿-¿-о система (6) становится не диссипативной, и найдутся решения, неограниченно растущие при Ь —> оо.
При исследовании динамика системы уравнений с релейной диффузионной связью (7) было установлено, что в отличие от соответствующей системы отображений, синхронизация решений всегда имеет место при тах{с?1, ?2} > 0.
Во втором разделе второй главы изучен вопрос существования и устойчивости однородного цикла в случае малой диффузии. Раздел посвящен применению локальных методов к решению задачи о существовании и устойчивости периодических решений.
Поскольку функция f (s) разрывна, то ее производная не определена в точке в = Ъ. Для того, чтобы иметь возможность в дальнейшем линеаризовать уравнения, необходимо модифицировать функцию / так, чтобы она имела производную во всех точках. Положим, например,.
При достаточно малых? уравнение (1) (с заменой функции / на Д) имеет решение, сколь угодно близкое к — устойчивому МО циклу.
Предполагая коэффициенты диффузии ??1, с?2 малыми, изучим диназ<�Ъ-? т.
0, 0.
Линеаризовав системы (13) и (14) на однородном цикле, исследуем его устойчивость. В результате получаем, что однородный цикл всегда устойчив в уравнении (13), и всегда неустойчив в системе (14).
В третьей главе изучим дифференциальное уравнение второго порядка с запаздывающей обратной связью где параметры с и Т положительны, нелинейность ступенчатого типа /(б) определяется формулой (2).
В основе исследований лежит специальный асимптотический метод. Суть его состоит в следующем. В фазовом пространстве рассматриваемого уравнения фиксируется, исходя из специфики задачи, множество начальных функций С (АГ), зависящее от некоторого параметра N. Затем последовательно при? Е [О, Г],? Е [Т, 2Т],. анализируется асимптотика всех решений с начальными условиями из С'(А^). После этого удается определить некоторый оператор П (типа оператора последова-ния Пуанкаре) так, что каждое решение из С (АГ) в некоторый момент + х = - Г)) + е{у — х),.
У + У = - т)) + ?ос (х — у).
13) и х + сх + X = - Т)).
15) времени попадает в С (Л^). Как оказывается, значение N с точностью до некоторых асимптотически малых величин аналитически выражается через N: N = После этого задача о динамике рассматриваемых решений сводится к динамике отображения ТУ = С (М). Отметим, для примера, что периодическим траекториям этого отображения отвечают периодические решения исходного уравнения той же устойчивости.
В качестве основных результатов предъявлены аттракторы и для них получены асимптотические формулы. Отметим, что в одних случаях соответствующие решения являются близкими к гармоническим, а в других — к релаксационным, т. е. имеющим ярко выраженную импульсную структуру.
Исследование динамики уравнения (15) состоит из трех частей.
В первом разделе третьей главы изучается асимптотика простейших аттракторов при малых значениях параметров, а и Ь.
Производя в уравнении (15) замену х = Аж, приходим к уравнению, а — а 1 (0 < а < 1), Ь = А.
— 1 где, А > 1. х + сх + х = АФ (ж (? — Т)).
16) в котором.
Ф (з) = с2 > 4.
17) и с2 < 4.
18).
В случае выполнения неравенства (17) корни характеристического многочлена уравнения х + сх + х = 0 вещественны, а в случае выполнения условия (18) эти корни являются комплексными.
В случае (17) справедлива.
Теорема 5. При достаточно больших X уравнение (16) имеет экспоненциально орбитально устойчивое периодическое решение х${Ь) с периодом Т (А) = 0(1пЛ) — амплитуда решения имеет порядок О (X).
Отсюда следует вывод: для уравнения (16) при больших Л значение времени запаздывания существенной роли не играет. Однако, следует иметь в виду, что значения Л, при которых начинает «работать» теорема 5, резко увеличиваются, если параметр Т велик или, наоборот мал.
В случае (18) поведение решений (16) существенно сложнее по сравнению с тем, которое имело место в случае неравенства (17). При этом естественным образом вводятся классы быстро осциллирующих и медленно осциллирующих решений. Рассмотрим отдельно каждый из них.
Сначала приведем результаты для наиболее простой ситуации, когда запаздывание Т невелико:
Ту/4 — с2 < тт.
Здесь аналитическими методами построено отображение г = определяющее при достаточно больших Л структуру аттрактора уравнения (16).
Теорема 6. Пусть отображение х — С (г) имеет грубый цикл. Тогда при достаточно больших X уравнение (16) имеет периодическое решение х (Ь) той же устойчивости, причем амплитуда имеет порядок О (А1//2), расстояние между соседними экстремумами имеет порядок 0(1).
Будем полагать, что для некоторого целого т > 1 выполнены неравенства т — 1)7Г < IV4 — с2 < ттг. (19).
В этом случае не существует медленно осциллирующих решений уравнения (16). Основное отличие решений х (Ь) при условиях (19) состоит в том, что на каждом отрезке длины времени запаздывания функция х (Ь) имеет не менее (т — 1) нулей. Показано, что структура аттракторов (16), состоящих из быстро осциллирующих решений, описывается (2га + 1)-мерным отображением.
Отметим, что динамика уравнения (16) при достаточно больших Л может быть довольно сложной: при наличии осцилляции в линейной части уравнения могут возникать как периодические (с различными периодами), так и хаотические аттракторы.
Во втором разделе главы рассматривается асимптотика простейших аттракторов при больших значениях запаздывания Т. Результаты первой главы обобщены на уравнение второго порядка. Необходимым условием такого обобщения является отсутствие осцилляции в линейной части уравнения, т. е. условие с2 > 4.
Основное предположение, при котором здесь исследуется уравнение (15), заключается в том, что параметр Т является достаточно большим:
Т" 1.
Остановимся на изучении лишь самых простых решений уравнения (15) -решений «импульсного» типа, т. е. имеющих один всплеск на некоторых отрезках длины 1.
Построено одномерное отображение 2 = С (^), описывающее при достаточно больших значениях Т динамику решений уравнения (15) и определены условия, при которых это отображение может иметь как стационарные, так и периодические решения. Справедлива.
Теорема 7. Пусть отображение г = С (г) имеет грубый цикл периода к. Тогда при достаточно больших значениях времени запаздывания Т уравнение (15) имеет периодическое решение той же устойчивости с периодом кТ + о (1).
По сравнению с уравнением первого порядка (1), в уравнении второго порядка при достаточно больших значениях времени запаздывания область существования импульсных решений существенно шире.
Отметим еще, что при условии с2 < 4 режимов, указанных в этом разделе существовать не может, т.к. количество импульсов или всплесков на отрезке длины запаздывания у всех решений, кроме стремящихся к нулю, неограниченно растет при Т —> оо.
В третьем разделе уравнение (15) исследуется при условии малости параметра с, характеризующего затухание линейного осциллятора (потери):
Х + £Х + Х = ?(х (1-Т)), 0.
В первом пункте раздела изучен вопрос существования периодических решений уравнения (20), амплитуды которых неограниченно растут при? —>• +0. При этом отдельно рассмотрены медленно и быстро осциллирующие решения.
Установлено, что уравнение (20) не имеет медленно осциллирующих решений большой амплитуды, но может иметь нетривиальные решения сложной структуры с относительно небольшой амплитудой. Однако, если вместо нелинейности f (x) рассматривать функцию —/(ж), то при достаточно малых? уравнение (20) имеет устойчивый цикл (близкий к гармоническому), для которого амплитуда г определяется формулой.
Г = [(е^-НЬ-а^втТ]173 [1 + о (е1/3)" .
Для быстро осциллирующих решений построено отображение, определяющее их динамику. Результаты численных экспериментов позволяют сделать вывод, что это отображение имеет устойчивую неподвижную точку. Следовательно, уравнение (20) имеет устойчивый цикл (близкий к гармоническому).
Второй пункт посвящен случаю, когда параметры, а и b в нелинейности f (x) близки, т. е.
Ъ — а = е 0 < е < 1.
В плоскости параметров, а и Т определена область, в которой специально сконструированное отображение, определяющее динамику решений уравнения (15) при достаточно малых ?, имеет неподвижную точку, а, следовательно, уравнение (20) имеет периодическое решение.
В третьем пункте третьего раздела исследуется уравнение (15) со слабой нелинейной обратной связью. Рассмотрим уравнение х + ex + х — ef (x (t — Г)), 0 < е < 1. (21).
Используя стандартные методы будем искать близкие к периодическим решения уравнения вида (21) в следующей форме: x (t, е) = (C (et)eH + + exi + 0(е2), (22) где функция х = х (f, et) периодична по первому аргументу. Подставляя (22) в уравнение (21) и собирая слагаемые при г, приходим к условию существования периодических по t решений:
2г£ + г£ = .
-, 2тг.
G", O = —/ + fe-'^e-* dt. (24).
Будем искать простейшее периодическое решение £(т) в виде />е'Ъг, (25) где р и, а вещественны и р > 0. Тогда, используя тот факт, что подынтегральное выражение в (24) периодично по t с периодом 2тг, с помощюь замены переменной в интеграле убеждаемся, что = emrG (p, р).
Подставляя выражение (25) в уравнение (23) и приравнивая действительные и мнимые части, получаем систему уравнений для нахождения р и а.
— р = 1 т ?(/>,/>), ^.
2 ра =КеС (р1р).
Система (26) всегда разрешима и может иметь одно или три решения. Отметим, что решение уравнения (20), соответствующее нулевому значению р, является устойчивым. В случае наличия двух нетривиальных решений первого уравнения системы (26) р < р2 решение уравнения (20), соответствующее р является неустойчивым, соответствующее р2 -устойчивым.
В приложении приведены результаты исследования особенностей динамики одномерных кусочно-линейных разрывных отображений с одной точкой максимума /: [0,1] —> [0,1]:, Ь (х)=1х + а, ж €[0,6], (/2И =рхр, X? (6, 1).
Параметры /, р предполагаются принадлежащими области п = {(/, р):/е[0,1], ре (-оо,-1)}.
Параметр? = /е (6 — 0) — $£(Ъ + 0), определяющий величину разрыва, удовлетворяет соотношению — 1 <? < 1. Учитывая, что /: [0,1] [0,1], числа, а и Ъ определяются через 1, р и е, исходя из (27), по формулам: а = <- 1 1 Ъ.
1-/(1 + ?), е<�о,.
1 +.
1 + ?<0. р;
Как оказалось наличие разрыва вносит существенные особенности в бифуркационный анализ, причем бифуркации в случаях е > 0 и е < О являются существенно различными. Рассмотрим отдельно каждый из случаев.
Случай е > 0. Для отображения /? получим условия существования и устойчивости циклов {.i'i,., хп} п = 2,3,. периода п, таких что.
Х{.
Будем обозначать циклы такого типа Отметим, что речь идет о таких циклах периода п, у которых п — 1 последовательных значений монотонно возрастает. Положим i т+1.
Lra = l + / + ?2 +. + /" = .
Утверждение 1. Цикл 7П существует тогда и только тогда, когда.
— 1/1 ^ / /-i ч-^п-2.
Ом является притягивающим в том и только в том случае, когда.
P>-j¿-т.
Основное отличие от непрерывного (при е = 0) случая заключается в том, что при г > 0 могут существовать одновременно два устойчивых цикла.
Утверждение 2. При I <? в плоскости параметров 1, р существует бесконечно много областей устойчивости одновременно двух циклов, причем периоды этих циклов отличаются на 1.
Случай? < 0. Отметим, что при р < ?~1 отображение имеет глобально устойчивое состояние равновесия.
Утверждение 3. При? < —0.25 отображение не имеет циклов типа 7П. При —0.25 <? < 0 циклы существуют при выполнении неравенств max{e1, (1 + /TRi)^)" 1} <р< min{-l, (1 — УТТ^)^)" 1}. и Ln-2 ?n-2.
Численными методами установлено, что в отображении может существовать только либо хаос, либо один цикл, либо два цикла, периоды которых отличаются на 2.
Основные результаты и выводы.
Аналитическими и численно-аналитическими методами исследуется нелокальная динамика важных для приложений классов дифференциальных уравнений первого порядка с нелинейной (релейной, ступенчатой и импульсной) запаздывающей обратной связью. Подход, основанный на асимптотическом анализе, позволил проанализировать аттракторы, состоящие из решений импульсного типа. Получены численные характеристики нерегулярных колебаний и прослежена их зависимость от величины запаздывания.
Исследован вопрос о синхронизации решений систем из двух простейших автогенераторов с четырьмя типами связи (диффузионными и через нелинейность). Получен критерий «быстрой» и «медленной» синхронизации решений.
При значениях коэффициента связи, близких к критическому в системе (6) возникают нерегулярные колебания, тогда как в общем случае (при условии диссипативности системы) устойчивым режимом является неоднородный цикл.
Проведен сравнительный анализ динамики решений систем дифференциальных и разностных уравнений. Выявлены и проанализированы отличия и сходства.
Устойчивость однородного цикла в системах (5) и (6) изучена асимптотическими методами.
Для дифференциального уравнения второго порядка в пространстве параметров выделены ситуации, допускающие аналитическое исследование динамики решений. Разработанные аналитические методы примейены для анализа этих ситуаций. Наряду с простыми режимами обнаружено многообразие сложных динамических структур. Результаты численных исследований подтверждают асимптотический анализ.
На защиту выносятся следующие положения.
1) Результаты исследования нелокальной динамики дифференциальных уравнений первого порядка с нелинейной (релейной, ступенчатой и импульсной) запаздывающей обратной связью.
2) Аналитическое и численное исследование явления синхронизации решений в системах из двух дифференциальных уравнений первого порядка с релейной запаздывающей обратной связью и в системах из двух разностных уравнений с различными типами связи.
3) Результаты аналитического исследования асимптотики решений дифференциальных уравнений второго порядка с запаздывающей обратной связью ступенчатого типа.
Заключение
.
В работе аналитическими и численно-аналитическими методами исследуется нелокальная динамика важных для приложений классов дифференциальных уравнений первого порядка с нелинейной (релейной, ступенчатой и импульсной) запаздывающей обратной связью. Подход, основанный на асимптотическом анализе, позволил проанализировать аттракторы, состоящие из решений импульсного типа. Получены численные характеристики нерегулярных колебаний и прослежена их зависимость от величины запаздывания.
Исследован вопрос о синхронизации решений систем из двух простейших автогенераторов с четырьмя типами связи (диффузионными и через нелинейность). Получен критерий «быстрой» и «медленной» синхронизации решений.
При значениях коэффициента связи, близких к критическому в системе (2.3) возникают нерегулярные колебания, тогда как в общем случае (при условии диссипативности системы) устойчивым режимом является неоднородный цикл.
Проведен сравнительный анализ динамики решений систем дифференциальных и разностных уравнений. Выявлены и проанализированы отличия и сходства.
Устойчивость однородного цикла в системах (2.1) и (2.3) изучена асимптотическими методами.
Для дифференциального уравнения второго порядка в пространстве параметров выделены ситуации, допускающие аналитическое исследование динамики решений. Разработанные аналитические методы применсны для анализа этих ситуаций. Наряду с простыми режимами обнаружено многообразие сложных динамических структур. Результаты численных исследований подтверждают асимптотический анализ.
