CC BY
12
Бифуркации в динамических системах.
Детерминированный хаос. Квантовый хаос
Известия высших учебных заведений. Прикладная нелинейная динамика. 2022. Т. 30, № 2 Izvestiya Vysshikh Uchebnykh Zavedeniy. Applied Nonlinear Dynamics. 2022;30(2)
Научная статья УДК 517.957
Б01: 10.18500/0869-6632-2022-30-2-132-151
Динамика решений одного нелинейного функционально-дифференциального
уравнения параболического типа
Аннотация. Целью работы является исследование начально-краевой задачи для параболического функционально-дифференциального уравнения в кольцевой области, которое описывает динамику фазовой модуляции световой волны, прошедшей тонкий слой нелинейной среды керровского типа в оптической системе с контуром обратной связи, с преобразованием поворота (отвечает оператор инволюции) и условиями Неймана на границе в классе периодических функций. Более подробно исследуются пространственно-неоднородные стационарные решения, бифурцирующие из пространственно-однородного стационарного решения в результате бифуркации типа «вилка» и периодические по времени решения типа «бегущая волна». Методы. Для представления исходного уравнения в виде нелинейных интегральных уравнений используется функция Грина. Применяется метод центральных многообразий для доказательства теоремы о существовании в окрестности бифуркационного параметра решений указанного уравнения и исследования их асимптотической формы. Численное моделирование пространственно-неоднородных решений и бегущих волн проведено с использование метода Галёркина. Результаты. Получены интегральные представления рассматриваемой задачи в зависимости от вида линеаризованного оператора. С использованием метода центральных многообразий доказана теорема о существовании и асимптотической форме решений начально-краевой задачи для функционально-дифференциального уравнения параболического типа с оператором инволюции на кольце. В результате численного моделирования, основанного на галёркинских аппроксимациях, в рассматриваемой задаче построены приближенные пространственно-неоднородные стационарные решения и периодические по времени решения типа бегущей волны. Заключение. Предложенная схема применима не только к инволютивным операторам поворота и условиям Неймана на границе кольца, но и к другим краевым условиям и круговым областям. Представление исходной начально-краевой задачи в виде нелинейных интегральных уравнений второго рода позволяет более просто находить коэффициенты асимптотических разложений, доказывать теоремы существования и единственности, а также использовать различное число коэффициентов разложения нелинейной составляющей в правой части исходного уравнения в окрестности выделенного решения (например, стационарного). Визуализация численного решения подтверждает теоретические выкладки и показывает возможность формирования сложных фазовых структур.
Ключевые слова: оптическая система, нелинейная среда керровского типа, параболическое нелинейное уравнение, оператор инволюции, устойчивость решений.
Для цитирования: Корнута А. А., Лукьяненко В. А. Динамика решений одного нелинейного функционально-дифференциального уравнения параболического типа//Известия вузов. ПНД. 2022. T. 30, № 2. С. 132-151. DOI: 10.18500/0869-6632-2022-30-2-132-151
Статья опубликована на условиях Creative Commons Attribution License (CC-BY 4.0).
А. А. КорнутаВ. А. Лукьяненко
Крымский федеральный университет имени В. И. Вернадского, Симферополь, Россия E-mail: Elkorn_57@mail.ru, art-inf@yandex.ru Поступила в редакцию 15.10.2020, принята к публикации 4.01.2022, опубликована 31.03.2022
© Корнута А. А., Лукьяненко В. А., 2022
Article
DOI: 10.18500/0869-6632-2022-30-2-132-151
Dynamics of solutions of nonlinear functional differential equation of parabolic type
A. A. Kornuta^ V.A. Lukianenko
V. I. Vernadsky Crimean Federal University, Simferopol, Russia
E-mail: Elkorn_57@mail.ru, art-inf@yandex.ru Received 15.10.2020, accepted 4.01.2022, published 31.03.2022
Abstract. Purpose of this work is to study the initial-boundary value problem for a parabolic functional-differential equation in an annular region, which describes the dynamics of phase modulation of a light wave passing through a thin layer of a nonlinear Kerr-type medium in an optical system with a feedback loop, with a rotation transformation (corresponds the involution operator) and the Neumann conditions on the boundary in the class of periodic functions. A more detailed study is made of spatially inhomogeneous stationary solutions bifurcating from a spatially homogeneous stationary solution as a result of a bifurcation of the "fork" type and time-periodic solutions of the "traveling wave" type. Methods. To represent the original equation in the form of nonlinear integral equations, the Green's function is used. The method of central manifolds is used to prove the theorem on the existence of solutions of the indicated equation in a neighborhood of the bifurcation parameter and to study their asymptotic form. Numerical modeling of spatially inhomogeneous solutions and traveling waves was carried out using the Galerkin method. Results. Integral representations of the considered problem are obtained depending on the form of the linearized operator. Using the method of central manifolds, a theorem on the existence and asymptotic form of solutions of the initial-boundary value problem for a functional-differential equation of parabolic type with an involution operator on an annulus is proved. As a result of numerical modeling based on Galerkin approximations, in the problem under consideration, approximate spatially inhomogeneous stationary solutions and time-periodic solutions of the traveling wave type are constructed. Conclusion. The proposed scheme is applicable not only to involutive rotation operators and Neumann conditions on the boundary of the ring, but also to other boundary conditions and circular domains. The representation of the initial-boundary value problem in the form of nonlinear integral equations of the second kind allows one to more simply find the coefficients of asymptotic expansions, prove existence and uniqueness theorems, and also use a different number of expansion coefficients of the nonlinear component in the right-hand side of the original equation in the neighborhood of the selected solution (for example, stationary). Visualization of the numerical solution confirms the theoretical calculations and shows the possibility of forming complex phase structures.
Keywords: optical system, Kerr-type nonlinear medium, parabolic nonlinear equation, involution operator, stability solved.
For citation: Kornuta AA, Lukianenko BA. Dynamics of solutions of nonlinear functional differential equation of parabolic type. Izvestiya VUZ. Applied Nonlinear Dynamics. 2022;30(2):132-151. DOI: 10.18500/0869-6632-2022-30-2-132-151
This is an open access article distributed under the terms of Creative Commons Attribution License (CC-BY 4.0).
Введение
В последние несколько десятилетий внимание исследователей привлекают математические модели нелинейной оптики. Они обладают богатой динамикой самоорганизующихся систем, а варьирование параметров позволяет управлять такой динамикой и наблюдать экспериментально широкий спектр изменения светового поля. Характерной является оптическая система, состоящая из тонкого слоя нелинейной среды керровского типа и различным образом организованного внешнего контура двумерной обратной связи [1-3]. В зависимости от реализации обратной связи рассматриваются модели, которые описываются обыкновенными дифференциальными уравнениями или параболическими функционально-дифференциальными уравнениями с преобразованием пространственных переменных искомой функции [4,5]. Более общим является случай учёта запаздывания в системе [4,6-8]. В этом случае функционально-дифференциальное уравнение
ди(х t)
т1——---+ u(x,t) = ^Au(x,t) + К(1 + у cos Qu(x,t — т)), x e S, t ^ 0
описывает фазовую модуляцию световой волны и,(х, t) в тонком слое нелинейной среды керровского типа в пределах апертуры S С R2. Указанное уравнение дополняется краевыми условиями на границе dS, а также начальными условиями при (х, t) G S х [—т, 0]. В уравнении А — оператор Лапласа, ц > 0 — коэффициент диффузии частиц нелинейной среды, К > 0 — коэффициент нелинейности, пропорциональный интенсивности входного поля, у (0 < у < 1) — видность (контрастность) интерференционной картины, Qu(x,t) = u(q(x),t), q(x) — гладкое обратимое преобразование пространственной переменной (например, отражение, поворот).
Исследования функционально-дифференциальных уравнений имеет большую историю, начиная с работ А. Д. Мышкиса [9], Р. Беллмана, К.Кука [10], классической работы Дж. Хей-ла [11], цикла работ А. Л. Скубачевского и его учеников [12], В.М. Варфоломеева [13, 14], А. Б. Муравника [15,16], работ А. В. Разгулина и его учеников [17-19], Е. П. Белана [20,21] и его учеников [22-24], О. Б. Лыковой [25] и других авторов.
Выявление бегущих волн, вращающихся волн, фронтов представляет практический интерес. Бифуркация Андронова-Хопфа приводит к рождению вращающихся волн на окружности в случае преобразования поворота пространственных аргументов [5,18,26,27]. Их взаимодействие на окружности изучалось в работах [20,21], а двумерные вращающиеся волны в круге с преобразованием поворота рассматривались в [25].
Задача моделирования явлений структурообразования, проявляющихся в экспериментах, таких как бегущие (вращающиеся) волны, далека от завершения. Здесь существенную роль играют апертура области, параметры задачи, организация обратной связи, краевые условия, а также выбор бифуркационного параметра. В отличие от многих исследований в данной работе таким параметром является коэффициент диффузии ц. В работах С. Д. Глызина, А. Ю. Колесова, Н. Х. Розова (в частности, [28]) для динамических систем типа реакция-диффузия при условии уменьшения коэффициента диффузии рассмотрен феномен многомодового диффузионного хаоса. Исследование указанных задач актуально как с позиций теории нелинейных функционально-дифференциальных уравнений параболического типа, так и в связи с разнообразными приложениями в нелинейной оптике.
1. Постановка задачи
На кольце S = {(г, 0)| 0 <r\ ^ г ^ г2; 0 ^ 0 ^ 2п} рассматривается уравнение
Qu
— + и = цАи + К(1 + ycos Qu), (г, 0) е S, t ^ 0, (1)
где и = и (г, 0, t) с преобразованием поворота на угол h, Qu = u(r, 0 + h, t), например, h = (2n)/p (p е N), с условиями Неймана на границе
= М0Л = ы»л (2)
начальным условием
и (г, 0,0)=ио (г, 0), (3)
условием периодичности
и (г, 0 + 2п, t)=u (г, 0, t) . (4)
Здесь Аи = + 1 + |0г — оператор Лапласа в полярной системе координат, ц > 0 — коэффициент диффузии частиц нелинейной среды, преобразование поворота на угол h = (2п)/р определяет оператор Q = Qh, который является оператором инволюции Qp = I [29], К > 0 —
коэффициент, пропорциональный интенсивности входящего потока, у (0 < у < 1) — коэффициент видности (контрастности) интерференционной картины.
При исследовании задачи (1)-(4) используются следующие пространства: функциональное пространство Н = Ь^(г\, г2) х (0, 2п) — пространство функций из Ь2 квадратично интегрируемых с весом г, со скалярным произведением и нормой, соответственно
2п Г2 2п Г2
Мш = // и(г. ЬМЩтЛг,», ||ИЙЯ = //Н'Г,в)12«ые;
0 гх 0 гх
функциональное пространство Н2 — соболевское пространство комплекснозначных функций двух вещественных переменных со скалярным произведением и нормой, соответственно
(и, у)Н2 = (и, ю)н + (-Аи, -Ау)н, Цу\12н 2 = \/ (и,и)Н2;
функциональное пространство Н^ = {«|«(в + 2п) = и(в)} — замкнутое пространство 2п-периодичных функций из Н2.
Корректность начально-краевой задачи (1)-(4) для кольца Б может быть доказана по аналогии с задачей для круга 0 < г < г\, доказанной ранее в работе [30].
Рассматривается проблема нахождения приближённого пространственно-неоднородного решения задачи (1)-(4), бифурцирующего из его пространственно-однородного решения. В качестве бифуркационного параметра выбран коэффициент диффузии р,.
2. Интегральные представления уравнения
Пусть w — одно из решений задачи (1)-(4). Выполним замену и = w+v, где v(r, 6, t) — новая неизвестная функция. Тогда с учётом cos(w + v) = cos w cos v — sin w sin v = cos w(cos v—1) — — sin w sin v + cos w, получим
К [1 + у cos Qhu] = К[1 + yQh cos(w + v)] =
= К [1 + y cos Qhw] — К y sin QhW • QhV + f (QhW,Qh v),
где f (QhW,Qhv) = К y (cos Qhw(cos QhV — 1) — sin Qh w(sin QhV — Qhv)).
Разложение нелинейной функции f (QhV,Qhw) в ряд по степеням v начинается с v2 и í (QhW, 0) = 0.
Задача (1)-(4) относительно v примет вид
dv
— + v = цAv — К y sin QhW • QhV + f (Qhv,Qhw), (r, 6) e 5, t ^ 0, (5)
с условиями второго рода на границе
= „(в,,), = S2(6,о, Й(6,<) e я|„ > = 1,2, (6)
начальным условием
V (г, в, 0) = vo(r, в), (7)
условием периодичности
V (г, 6 + 2n,t) = V (г, 6,t). (8)
Сохраняя в разложении f (QhV, Qhw) конечное число членов ряда, получаем ряд модельных уравнений.
В [31] проведен подробный анализ частных решений и(г, 6, t) = w уравнения (1): стационарного, равного постоянной, и = w = const; стационарного, зависящего только от г, и = w(г); стационарного, зависящего только от 6, и = w(6); стационарного, зависящего от г и 6, и = w(г, 6); нестационарного, зависящего только от t, и = w(t); нестационарного, зависящего
от t и 6, и = w(6, t).
Уравнение (5), в зависимости от специфики постановки задачи, удобно представлять в трёх операторных формах
^ = AjV + Bj, j = 1, 2,3,
Aiv = pAv, Bi = -v - Ky sinQhw ■ Qhv + f(QhV,Qhw); A2v = pAv - v, B2 = -Ky sinQhw ■ QhV + f(QhV,Qhw); A3V = pAv - v - Kу sinQhw ■ Qhv, B3 = f (Qhv,Qhw).
Лемма 1. Операторы Aj, j = 1, 2,3 имеют полную в L2(Q), Q = {(r, 6) | ri ^ r ^ r2,0 ^ 6 ^ 2n} ортонормированную систему собственных функций
Г, 6) = Rn,m (Xn,m r)exp[in6], n = 0, ±1, ±2,...; т = 1, 2,...,
где
Rn ,т(0 — Rn,m(Xn,mf) — Jn (Xn,mf^ ■ Yn (Xn,mf i) Yn (K,mГ) ■ J'n (K,mП) (9)
определяются через функции Бесселя Jn, Yn [32] первого и второго рода, соответственно, порядка п :
■Ш = (f У ■ цп(х), где Цп(х) = g nk + 1){-1 + к + 1) (f Г ,
Yn(x) = lim (ctg na ■ Ja(x)--r^--J-a(x)) ,
sin na J
Xn,m = X — последовательность нумерованных в порядке возрастания корней уравнения
J'n (ü-i) ■ YI (^2) - JL (^2) ■ Y' (In) = 0. (10)
Функции R(r) = Rn,m (Xm,n) являются решениями краевой задачи для уравнения Бесселя
r2R''(r) + rR'(r) + (k2 г2 -n2^R(r)=0, R'(ri) = 0, R(Г2) = 0, n = 0, ±1, ±2,... (11)
Собственные значения: X = -(для оператора Ai); X = -1 - (для A2); X = -1--P^ra, m + Лexp[fnh] (для A3), n = 0, ±1, ±2,..., Л = -Kу sinQhw = -Ky sinw, для w=const. Доказательство. Собственные функции г, 6) получаем в результате применения метода разделения переменных для уравнений || = AjV, j = 1, 2, 3. Например, для уравнения с оператором A3, представляя v(г, 6, t) = X(г, 6) ■ Т(t) = R(r) ■ Ф(6) ■ Т(t), приходим к задаче Штурма-Лиувилля для X (г, 6):
pAX(г, 6) - X(г, 6) + ЛQhX(г, 6) = XX(г, 6),
6> =0, =0, X (г, 6 + 2п) = X (г, 6) (12)
or ar
и уравнению для функции Т(t): T'(t) - XT(t) = 0.
Разделяя переменные в (12), для К(г) приходим к задаче (11), а для Ф(в), в отличие от задачи с операторами А1,2 (Л = 0), задача Штурма-Лиувилля имеет вид:
Ф''(в) + уф(в) = 0, ^Ф(в) + аФ(в) = 0, Ф(в + 2п) = Ф(в), 0 ^ в ^ 2п,
V = уп = П2, Ф = Ф„(в) = -^ехр[±тв], ап = - , п = 0, ±1, ±2,...
у2л Фп(в)
Определим собственные значения X оператора А3 (12).
Раскладывая в ряд X(г, в) = ^ ^ Уп,т^п,т(т, в) по функциям ^п>т(г, в), получим
п=-<^ т=1
для коэффициентов разложения уп,т
(—1 — + Лехр[тЛ,]) уп,т = Хуп,т, п = 0, ±1, ±2,..., т = 1, 2,...
Откуда следует, что для А3
X = —1 — ^А,п,т + Л ехр[тЛ,], п = 0, ±1, ±2,..., т = 1,2,...
При Л = 0 получаем собственные значения для оператора А2 и, очевидно, X = — иХ^ для оператора А1.
Решениями краевой задачи (11) являются функции К(г) = С1,1п(г) + С2Уп(г). Учитывая краевые условия задачи (11), получим:
ад (Хп) + с^п (Хп) = 0, (13)
С1(М + С^ (^Т2) = 0.
Система (13) относительно С1 и С2 имеет нетривиальное решение, если X является решением уравнения (10). Известно, что уравнение (10) имеет счётное число положительных корней [32] Хп,т, п = 0, ±1, ±2,..., т = 1, 2,... Тогда С1 и С2 определяются из любого уравнения системы (13) (то есть определяется решение (9)):
„ „ ^п (Хп,тГ1) „ „ Зп (Хп,тГ1) ._.
С1 = 2 3< й гЛ или С2 = —'01У (Х Г,). □
На основании выкладок метода разделения переменных Леммы 1, запишем функцию Грина для оператора А1:
А , ч Р А ехр[—гп(в — ф)]Еп,т(Г)Еп,т(Р)ехр[—ИХп,т(^ — т)]
С1(Г, Р, в, ф,1, т) = — ^ ^ --2-,
¿'Л' _ И/,^-. гг-п
=
^п т
п=-ж т=1
2
п,т П2Х2 г2 ^ лп,т' 1
П ГЛ (Х1,тГ2 — П2) {Вп,т(Г2))2 — (Х^,т^2 — П2)
(14)
4
п = 0, ±1, ±2,... т = 1,2,...
Для неоднородного линейного уравнения с оператором А1 с условиями, приведёнными к однородным краевым и начальным условиям
Ы = А1Ь + ьо(г, в)6(*) + 02(в, $8(г — Г2) — 51 (в, ф(г — п) + /(г, в, *) = + /1, решение можно представить через функцию Грина
г г2 2п
у(г, в,£) = J J У С1(г, р, в, ф,£, х)/1(р, ф, т)^фрф^т.
0 Г1 о
Функция Грина! С2 для оператора А2 будет отличаться от С\ множителем ехр [-(1 + т)£\ вместо ехр[—, а С3 для оператора А3 - множителем ехр[(-1 — + Лехр[ш,Л,])£].
В случае нелинейных уравнений с операторами А^ с нулевыми краевыми и ненулевыми начальными условиями использование функций Грина С^ приводит к нелинейным уравнениям следующего вида
Уз (г, = J (г, р, е, ф,*, х)[вз (п(р, Ф, т))+ Ыр, ф)8(т)]^фрф^т, 2 = 1, 2. (15)
0 п 0
Уравнения (15) удобны для приближённых вычислений и оценок.
3. Бифуркация решения, асимптотическое представление
Далее в этом разделе рассматриваем пространственно-неоднородные стационарные решения, бифурцирующие из пространственно-однородного стационарного решения и(г, 6, t) = w = const, которое определяется равенством
w = К(1 + у cos w). (16)
Известно [33], что при увеличении К число корней уравнения (16) растёт и состав их меняется. Зафиксируем гладкую ветвь, соответствующую одному из решений (16)
w = w (К, y) , 1 + К y sin w(K, y) = 0.
Линеаризуем уравнение (1) на выделенном стационарном пространственно-однородном решении w(K, y), выполним замену и = v + w и, выделив линейную часть, получим уравнение:
dv
— + V = цД-и - К y sin w • Qhv + f (Qhv,w), (r, 6) e S, t ^ 0.
Для обнаружения решений, которые наблюдались в экспериментах (например, [34]), предположим, что оператор Qh является инволютивным: Qh = I. Выберем h = 2л/р, р e N. Представляет интерес р ^ 3 (случай р = 2 исследован ранее [24]). Собственные значения оператора A3
X = —1 — цХп т — К y sin w exp
2лп
i-
p
n = 0, ±1, ±2,
m = 1,2,
(17)
Лемма 2. Устойчивость решения V определяется знаком вещественной части выражения (17): Х = ап,т + гвп,т, где И,еХ = ап>т = —1 — — Куsin■ш^(2кп/р), 1тХ = вп,т =
= —Ку sin ■ш вт(2лп/р). Если И,е Х < 0, то решение V устойчивое, если И,е Х > 0, то решение V неустойчивое [35, стр. 29].
Действительная часть ап,т = —1 — т + Л cos(2лn/p) содержит параметры К, у, ■ш, р,, из которых в общем случае значимыми являются К и р,. Выберем в качестве бифуркационного параметра коэффициент диффузии зафиксировав при этом Л.
В общем случае, для ^Ф(е) = Ф (е + 2л/р) справедливо следующее утверждение.
Утверждение 1. Решение линеаризованной задачи, соответствующей (5)—(8), может быть представлено в виде
cn,mRn,m(r) exp [—m6] exp
п=—<х т=0
—1 — цXn т + Л exp
2лп \
г-
Р J .
В зависимости от значений действительной и мнимой частей X могут быть получены различные типы решений, в частности, при И,е X = 0, 1т X = 0 получаем стационарные решения (5)-(8), при И,е X = 0, 1т X = 0 получаем чисто периодические решения (5)-(8)
(г)exp
( Л Л 2пп \ —г п6 + Л sin-1
V р J
3.1. Метод центральных многообразий. Для исследования бифуркационных явлений используем принятую методику, основанную на построении иерархии упрощенных моделей в окрестности точек бифуркации [20,36].
Далее рассмотрим случай И,е X = 0. Используя линеаризацию уравнения (5) на выделенном стационарном пространственно-однородном решении и (К, у), выполним замену и = V + и и рассмотрим одну из модельных задач задачи (5)-(8):
(18)
dv . ^ К у cosw ^ 2 К у sinw ^ 3 — + v = р △ V — К y sin w ■ Qhv-----QhV +--3--QhV ,
0 < n ^r^ Г2, 0 ^ 6 ^ 2n, t^ 0, с условиями второго рода на границе
9v (г ь 6, t) = 0 dv (г 2, 6, t) = 0 (19)
дг ' dr '
V (г, 6, 0) = 0 (20)
начальным условием
и условием периодичности
v( г, 6 + 2п, t)=v( г, в, t). (21)
Учитывая, что Л = — Куsinw, и, обозначив Q = —Ky(ctgw/2), (18) запишем в виде
dv Л
— = —V + pAv + Лд^ + QQhv2 — -QhV3, __
dt 6 (22)
0 < п ^г^ Г2, 0 ^ 6 ^ 2п, t^ 0. Уравнение (22), линеаризованное в окрестности нулевого решения, представим в виде
I = (23)
где A3V = —V + pAv + Лд^.
Далее будем считать, что h = п/3 (аналогично можно рассмотреть другие случаи). Линейный оператор A3 с областью определения Н2, рассматриваемый как неограниченный оператор в пространстве Н, является самосопряженным оператором. На основании Леммы 1 устанавливается
Лемма 3. Для случая поворота h = п/3, ReХп = 0, Im~kn = вп,т = Куsinw sin(nn/3) = 0, оператору А3 соответствует разложение в ряд по собственным функциям ^3s,m( г, 6)=R3s,m cos 3 s6, s = 1,2,... с собственными значениями
^3s = —— 1 + (—1)8Л, (24)
где X3s,m — т-корень уравнения (10).
Доказательство следует из общего случая (Лемма 1) разложения линейного оператора Аз, рассматриваемого в гильбертовом пространстве Н с областью определения Н2 по полной ортонормированной системе собственных функций г, 6). Имеет место следующая теорема.
Теорема 1. При Ъ = п/3, Л < — 1, существует 8 > 0, такое что при фиксированном значении т = 1 и для любых значений параметра ц, удовлетворяющих неравенству Ц1 — 8 < ц < ц^ где = (—1 — (—1)5Л)/Х25т, 5 = 1, 2,..., существует непрерывная ветвь стационарных точек ,г(ц) > 0 уравнения
1 / Лу1 Q2y2
7)
4 = - (2X3 - Х.К I* + - (25)
которой соответствует стационарное решение v = ф(г, 0, ц) уравнения (22), определяемое равенством
ф(Г, 0, ц) = ZR3д(г) COS 30 + Z2P6(Г, ц) COS 60 + Z3Pg(r, ц) COS 90 + ^(z, Г, 0, ц) |_г=.г(ц), (26)
^ ц) = 2(2ХзQYX6)d2i 'R6,i(r), (27)
Р9(Г, ц) =
2 (3Хз - Xg) dl 1
6,
Q2Y2 Y3 + ЛY4
(2Хз - Хб) d6 1 12
Rg,i(r), (28)
где "%(z, r, 0, ц) = 0(lzl4), R3Si1 и d2is 1, s = 1,2,3 определяются равенствами (9) и (14), соответственно,
Г2 Г2
Y1 = jrRi,1 (r)dг, Y2 = J rRhir)^^
r, " " „ (29)
Y3 = Jr R3,1(r)R6,1 (r)Rg,1(r)dr, Y4 = Jr R<3,1(r)Rg,1(r)dr-
r\ r\
Решение ф(г, 0, ц) — орбитально устойчиво.
Доказательство. Согласно теореме 5.1.1 работы [36] и Леммам 1, 2, если Л > 1, то нулевое решение (23) неустойчиво для любых ц > 0. Если —1 < Л < 1, то нулевое решение (23) является асимптотически устойчивым для любых ц > 0. Интерес представляет случай Л < —1. Выберем теперь К так, чтобы выполнялось условие: Л = Л (К) < —1.
Здесь ц5 = (—1 — (—1)sЛ)/X2ism, s = 1, 2,____Если ц > ц1, то согласно Лемме 2 нулевое
решение задачи (23) является устойчивым. При убывании параметра ц и его прохождении через значение ц1 одно собственное значение Х3 проходит через мнимую ось.
Если ц2 < ц < ц1, то индекс неустойчивости нулевого решения равен 1. Индекс неустойчивости нулевого решения повышается на единицу при уменьшении ц и его прохождении через ц8, s = 2, 3,....
В окрестности v = 0 для ц, удовлетворяющих неравенству ц1 — 8 < ц < ц1, существует центральное многообразие [36], представимое в виде
ф(г, 0, ц) = zR3}1(r) cos 30 + z2P6(г, ц) cos 60 + z3Pg(r, ц) cos 90 + ^(z, г, 0, ц) |г=г(ц), (30)
1
где P6(г, ц), Рд(г, ц),... функции из пространства Lr2[r1, г2]. На многообразии (30) уравнение (22) принимает вид
¿ = \з(ц)х +C2z2 + C3Z3. (31)
Найдём коэффициенты разложений (30) и (31). Для этого подставим (30) и (31) в уравнение (22):
(х3(ц) z + C2z2 + Cgz3^ (zR3,i(г) cos 36 + 2zP'(г, ц) cos 66 + 3z2Pg(г, ц) cos 96^ = = R'3,i(r) cos 36 + z2P'6(г, ц) cos 66 + z3P'(г, ц) cos96+
2 R'3i(r) cos 36 z2P'6(r, ц) cos 66 z3P'(г, ц) cos 96 9 2 R'3,i(r) cos 36 3622P''(г, ц) cos 66 81z3P'(г, ц) cos 96\
(32)
2
+— ^ - 2R3i(r) cos36 + z2P6(г, ц) cos66 - z3P"(r, ц) cos 96J + +Q^ -2 R3,i(r) cos36 + z2P6(г, ц) cos66 - z3P9(r, ц) cos 96^) -
- —( - 2R3 i( r) cos 36 + z2P6(г, ц) cos 66 - z3P"(г, ц) cos 96 6
В силу ортогональности системы собственных функций cos3s6, s = 1, 2, 3 приравняем коэффициенты при указанных функциях в левой и правой частях равенства (32). При cos 36 получим
R3,i(r)
■■(^3 + 1+ —)
z[l3 + 1+ — + C2Z2(t) + C3Z3
= цг(r» + ^ - ) - Q*3Rs,i(r)P'(r, ц) +
—z 3ЩА(г) ~8 .
Так как Дзд(г) — решение краевой задачи уравнения Бесселя (11), то
R3,i(r)
цХ3д)
= -Q z3R3,i(r)P'(г, ц) +
z[l3 + 1 + — + ц!2д J + C2Z2 + C3Z6
—z3R3 i(r)
8
Так как Х3 = -1-цА^-Л, то C2 = 0, C3R3,i(r) = -QR3,i(r)P'(г, ц) +
—R33,1( )
. Следовательно,
/ Г 2
C3 = 1-qJ rR2^ii(r)P'(г, ц)dr +
—Yi
(33)
Г!
Г2
где Yi = j-rRh(r)dr,Pe(r, ц) = 2dYj2iQ(2163l-ri6) •
8
8
Ф(гДи) А
Ф(г,е,ц)
4я/3
5 я/3
Рис. 1. Приближённое стационарное решение (30) для Л и = 0.1 (а) и и = 0.01 (b)
Fig. 1. Approximate stationary solution of (30) for Л : and и = 0.01 (b)
4я/3\
b
5 я/3
-3/2, h = я/3 в цилиндрической системе координат при -3/2, h = я/3 in a cylindrical coordinate system for и = 0.1 (а)
Исходя из условия Л < — 1 и равенства (24), очевидно, что Сз < 0, тогда имеет место суперкритическая бифуркация типа «вилка» (см. [36], гл. 6. 3) и от тривиальной особой точки уравнения (25) ответвляются две устойчивые стационарные точки.
Проводя аналогичные (громоздкие) выкладки для s = 2, 3, получим утверждения Теоремы.
Таким образом, в некоторой окрестности существует стационарное решение v = = ф(г, 6, и) уравнения (22), определяемое равенствами (26)-(28). Решение ф( г, 6, и) — орбитально устойчиво. □
Теорема носит локальный характер.
При использовании пакета «Wolfram Mathematica 11.3» для Л = —3/2, h = п/3 построены полученные в Теореме приближённые решения (30) для различных значений бифуркационного параметра и (рис. 1).
Следствие 1. Полученные результаты согласуются с одномерным случаем, когда узкое кольцо можно заменить окружностью. При h = п/3, Л < —1, существует 8 > 0 и И1 = (—1 — Л)/9, такое что для любых значений параметра и, удовлетворяющих неравенству И1 — 8 < и < Иг, существует непрерывная ветвь стационарных точек ,г(и) > 0 уравнения
, , * 1 (л О'2
)
Z + ...
которой соответствует стационарное решение г>=ф1(6, ц) уравнения (22) на окружности 5 (п = г2) с условием 2п-периодичности, определяемое равенством
ф1 (6, и) = -г cos 36 + z2
+z3
О
2 (2Хз — Хб) 1
2 (3Хз — Х9)
cos 66+ О2
Л
+
(2Хз — Хб) 12.
cos 96 + l(z, 6, и) |г=г(и),
где 1(г, 6, ц) = 0(И4), А^ = -1 + (-1)"Л - (3,в)2ц, = 1, 2, 3. Решение ф1(6, ц) — орбитально устойчиво.
3.2. Метод Галёркина. Для того чтобы провести исследование асимптотики стационарных решений задачи (18)-(21) при уменьшении бифуркационного параметра ц и его отходе
а
от критического значения ц1, воспользуемся методом Галёркина, в соответствии с которым приближённые решения представим в виде
N
Ф*( г, 6) = хк ехр[ гк6] + хк ехр[—Щ)Ккл(г), (34)
к=1
здесь Хк, к - комплексно-сопряжённые выражения.
Требуя, чтобы функция ф*(г, 6), определяемая равенством (34), удовлетворяла уравнению (18), получим систему обыкновенных дифференциальных уравнений
¿к = ^к + Ок(г, г), (35)
^к = + Ок (г, г),
где \к(ц) = —1 — ц^ 1 + ехр[гкЪ]Л, \к(ц) = —1 — цА| 1 + ехр[—гкЪ]Л, ок(г, г), ок(г, г) — формы третьей степени от Хк,к, к = 1,2,... .
Одним из решений системы (35) является нулевое решение, устойчивость которого определяется спектром (А,к(ц), А,к(ц)} соответствующей матрицы устойчивости. Как и выше, считаем, что выполняется условие Л < — 1.
Пусть Ъ = п/3, тогда первое критическое значение бифуркационного параметра, при котором нулевое стационарное решение системы (35) теряет устойчивость, Ц1 = (—Л — 1)/А| 1. В результате этого происходит бифуркация типа «вилка» и при ц < Ц1 рождается пара устойчивых стационарных точек ±-г*(ц) = {0, 0, ±г**, 0, 0, ±г**,...}, являющихся решениями алгебраической системы уравнений
^к + £к (Я ) = 0, к,1 = 1, 2,..., И, (36)
где £к () - полином третьей степени, содержащий вторую и третью степень ^.
Исходя из этого, с учётом (34), пространственно-неоднородное стационарное решение задачи (18)-(21) определяется асимптотическим равенством
[N/3]
ф*( г, 6, ц)= £ 23 к(ц)ео8[3 к6]Дзкд(г). (37)
к=1
Например, при N = 3 решение г*(ц) определяется системой 1
1
^33*1 + [Л (Рз4 + 2836^^1 + 2Ъзз9г1г1 + ^зо^з + Ъз^&з) — 80г2 (бзео^з + ^за^)] = 0,
+ [—Л^2 (Ра^2 + 28за^2 + 28адг3 + 2^аз9^1^з) + ^¿1 (88369^3 + 4^за^1)] = 0, + [3Л + 2839^3 + 2869*2*3 + ^Л^ + ^39*2*1) — 248зао^¿2*1] = 0,
где
вк ^ У Ге4л(г)(1г, к = 3,6,9; 8Ы = У гК2кл(г)^2л(г)г1г, к,1 = 3,6, 9(к < I);
Г\ Г\
Г2 Г2
^39 = У ГК3л(г)К9,1(г)с1г, Ь6 = ! гВ2гл(г)К&>1(г)йг, (38)
Г\ Г\
Г2 Г2
8369 = ! ГП3^л(г)П6&л(г)В2^л(г)йг, 16339 = У Г П1л(г)ПззЛ(г)П9,1(г)йг.
4л/3
5л/3
Ф(гДц) I i
2л/3
л/3
4л/3
л/3
5л/3
a
b
Рис. 2. Приближённое решение (30), полученное с применением метода Галёркина, для Л = -3/2, h = я/3 в цилиндрической системе координат при р = 0.1 (a) и р = 0.01 (b)
Fig. 2. Approximate solution (30) obtained using the Galerkin method for Л = -3/2, h = я/3 in a cylindrical coordinate system for р = 0.1 (a) и р = 0.01 (b)
Численный анализ для N = 5 проводился при фиксированных значениях параметров Л = -3/2, Q = 0.129264, что соответствует К = 2, у = 0.761058, w = 1.74147. Получены следующие результаты.
1. Критическое значение бифуркационного параметра р* « 0.113315.
2. При р > р* нулевое решение системы (36) устойчиво.
3. При уменьшении параметра р и прохождении критического значения р* одно собственное значение спектра матрицы устойчивости нулевого решения Хэ проходит через нуль и становится положительным. В результате происходит бифуркация типа «вилка» и от теряющего устойчивость нулевого решения ответвляется пара устойчивых стационарных решений. В частности, при р = 0.11331 решение системы (36) -г* (р) = = {0, 0, ±0.0481462, 0, 0, ±0.0000198428, 0,...}.
4. При дальнейшем уменьшении параметра р собственное значение Хэ остаётся положитель-
5. Спектр матрицы устойчивости решения -г*(р) лежит на отрицательной полуоси.
В пакете «Wolfram Mathematica 11.3» для различных значений бифуркационного параметра р построены полученные с применением метода Галёркина приближённые решения ф(г, 6, р), определяемые равенством (37) (рис. 2).
Приближённые решения задачи (18)-(21), построенные с применением метода центральных многообразий и метода Галёркина, практически совпадают.
3.3. Бегущая волна. Заметим, что в отличие от результатов, полученных выше, наличие поворота пространственных координат может моделировать ситуацию, когда пространственно-однородное решение при изменении параметров в задаче (р, К) теряет устойчивость колебательным образом. В этом случае возникает бегущая волна.
Далее, используя представление решения (34) задачи (18)-(21) в методе Галёркина, построим двухмодовую аппроксимацию её периодического решения типа «бегущая волна», которое рождается в результате бифуркации Андронова-Хопфа при наибольшем критическом значении параметра р = р* : {Re Х(р*) = 0} (24) от теряющего колебательным образом устойчивость нулевого решения системы (35).
Указанное решение ищем в виде
ным.
zi (t ) = pi exp[ i 61], Z2(t) = 0, Z3(t) = рз exp[ f(36i + аз)]; zi (t) = pi exp[-г 6i ], Z2(t) = 0, z;i(t) = рз exp[-f(36i + аз)], где pfc = pfc(t, р) > 0, 6k = 6k(t, р), к = 1,3.
(39)
Считаем 0i(í, ц) = t. Подставим (39) в (35), получим систему для определения pi, а3
- im) - 2Лexp[¿h] [^i3 exp[¿аз]рзр1 - Pipf - 26i3p|pi] = 0, pi(i*df + im) - 1Лexp[-ih] [^i3 exp[-¿аз]рзр1 - Pipf - 26цpi] = 0,
x (40)
рз(А^3 - 3im) - 1Лexp[3¿h] exp[-шз]р1 - ЗР3Р3 - 66i3p3pf] = 0,
p3(A|d3 + 3im) - 1Лexp[-3ih] [£13 exp[¿аз]р1 - ЗР3Р3 - 6Si3p3pf| = 0.
Здесь dk(k = 1,3) определяется равенством (14), pk(k = 1,3), 6l3 определяются равенствами (38),
Г2
Si3 = / г R3lA(r)R3,i(r)dr.
Г1
При ц > ц* система имеет только нулевое (р1 = 0, рз = 0) устойчивое решение. При уменьшении параметра ц и прохождении критического значения ц* нулевое решение теряет устойчивость и при этом происходит рождение решения вида:
m (3m sin4h + d3Tf3) +
р2(ц) =_6Ф_
Pl(W Л (Ф5 (3Yl(ф3з)2 - 46цФ3 - у3Ф!))
+ (di (3mT3i + d3 (Л sin3h (1 + цЛ-2,0 - Y (1 + цх1д)))) . 2 , , 12Ф1Ф3 (41)
sin2 аз(ц) = - Л!^ • (41)
sin аз(ц) (y^pl(í) - 2d1Л) Ф\ 46цФ1
cos аз(ц) =-——--+
2Ф1 Л^2з sin a3(^)p2(í )
-2Ф1
рз(ц =
Л^ц sin аз(ц)р1(ц)'
где Фк = km cos( kh) - dk sin(kh)^A|;l + 1), к = 1,3, Фя = m sin h + d\ cos Л,(цА,2д + 1), Ycjk = = -Л cos jh+cos4h(^X k i + 1), (j,k = 1, 3,j = k), Ys = -Л sin h + sin4h (цА|д + 1), значение m определяется из основного тригонометрического тождества для аз(ц), знак sin аз(ц) выбирается противоположным знаку Ф1.
Следовательно, система (35) при ц < ц* имеет решение
Zi(t, ц) = р1(ц) exp[ i01(ц)£], Z2(t) =0, Z3(t, ц) = p3^)exp[ г(301(ц)£ + аз(ц))];
_ _ _ (42)
Zi(t, ц) = р1(ц) exp[-г01(ц)], ^(í) = 0, ^(í, ц) = рз(ц) exp[-(301(ц)^ + аз(ц))].
Подставив (42) в (34), получаем периодическое решение ф*( г, 0, t, ц) задачи (18)-(21). Указанное решение рождается устойчивым.
Численное моделирование проводилось для h = 2п/3 при фиксированных значениях параметров Л = -3/2, Q = 0.129264, которые соответствуют параметрам К = 2, у = 0.761058,
{—>• 0.02, >1}
{ц^0.02, /->1}
a
2 0
b
2 0
2 7Т
Рис. 3. Приближённое решение (30) типа «бегущая волна», полученное с применением метода Галёркина, для Л = -3/2, h = 2п/3 при р = 0.1 (а) и р = 0.01 (b)
Fig. 3. An approximate solution (30) of the "traveling wave" type obtained using the Galerkin method for Л = -3/2, h = 2n/3 for р = 0.1 (a) and р = 0.01 (b)
w = 1.74147 исходной задачи. В пакете «Wolfram Mathematica 11.3» для различных значений бифуркационного параметра р при N = 5 были построены галёркинские аппроксимации периодических решений ф*(г, Q,t, р) (рис. 3).
В работе рассмотрена начально-краевая задача для параболического функционально-дифференциального уравнения в кольцевой области, которое описывает динамику фазовой модуляции световой волны, прошедшей тонкий слой нелинейной среды керровского типа в оптической системе с контуром обратной связи, с оператором инволюции и условиями Неймана на границе в классе периодических функций. С использованием функции Грина получено интегральное представление рассматриваемого уравнения, что позволяет более просто находить коэффициенты асимптотических разложений, доказывать теоремы существования и единственности (аналогично [30]), а также использовать различное число коэффициентов разложения нелинейной составляющей в правой части исходного уравнения в окрестности выделенного решения (например, стационарного).
С применением метода центральных многообразий доказана теорема о существовании в окрестности бифуркационного значения параметра р (коэффициента диффузии) пространственно-неоднородного решения, которое ответвляется от пространственно-однородного решения. С помощью метода Галёркина проведено численное моделирование бифурцирующих пространственно-неоднородных стационарных решений и бегущих волн при фиксированных значениях параметров.
Рассмотренная математическая модель соответствует оптической схеме, в которой за счёт керровской нелинейности происходит визуализация фазы световой волны. Распределению фазы соответствует распределение интенсивности в поперечном сечении. Визуализация численного решения подтверждает теоретические выкладки и показывает возможность формирования сложных фазовых структур.
Список литературы
1. Ахманов С. А., Воронцов М. А., Иванов В. Ю. Генерация структур в оптических системах с двумерной обратной связью: на пути к созданию нелинейно-оптических аналогов нейронных сетей // В кн.: Новые физические принципы оптической обработки информации. М.: Наука,
Заключение
1990. С. 263-325.
2. Разгулин А. В. Задача управления двумерным преобразованием пространственных аргументов в параболическом функционально-дифференциальном уравнении // Дифференциальные уравнения. 2006. T. 42, № 8. С. 1078-1091.
3. Разгулин А. В. Нелинейные модели оптической синергетики. М.: МАКС Пресс, 2008. 203 с.
4. Akhmanov S.A., Vorontsov M.A., Ivanov V.Y., Larichev A. V., Zheleznykh N.I. Controlling transverse-wave interactions in nonlinear optics: generation and interaction of spatiotemporal structures // J. Opt. Soc. Am. B. 1992. Vol. 9, no. 1. P. 78-90. DOI: 10.1364/J0SAB.9.000078.
5. Vorontsov M.A., Razgulin A. V. Properties of global attractor in nonlinear optical system having nonlocal interactions // Photonics and Optoelectronics. 1993. Vol. 1, no. 2. P. 103-111.
6. Chesnokov S. S., RybakA.A. Spatiotemporal chaotic behavior of time-delayed nonlinear optical systems // Laser Physics. 2000. Vol. 10, no. 5. P. 1061-1068.
7. Iroshnikov N. G., Vorontsov M. A. Transverse rotating waves in the non-linear optical system with spatial and temporal delay // In: Frontiers in Nonlinear Optics: The Sergei Akhmanov Memorial Volume / Ed. by Walther H., Koroteev N., Scully M. O. Boca Raton: CRC Press, 1993. P. 261-278.
8. Razgulin A. V. Finite-dimensional dynamics of distributed optical systems with delayed feedback // Computers and Mathematics with Applications. 2000. Vol. 40, no. 12. P. 1405-1418.
DOI: 10.1016/S0898-1221(00)00249-2.
9. Каменский Г. А., Мышкис А. Д., Скубачевский А. Л. О минимуме квадратичного функционала и о линейных краевых задачах эллиптического типа с отклоняющимися аргументами // УМН. 1979. T. 34, № 3(207). С. 197-198.
10. Беллман Р., Кук К. Дифференциально-разностные уравнения. М: Мир, 1967. 548 с.
11. Хейл Дж. Теория функционально-дифференциальных уравнений. М.: Мир, 1984. 424 с.
12. Скубачевский А. Л. О бифуркации Хопфа для квазилинейного параболического функционально-дифференциального уравнения // Дифференциальные уравнения. 1998. T. 34, № 10. С. 1394-1401.
13. Варфоломеев Е. М. О бифуркации Андронова-Хопфа для квазилинейных параболических функционально-дифференциальных уравнений с преобразованиями пространственных переменных // УМН. 2007. T. 62, № 2(374). С. 173-174. DOI: 10.4213/rm6389.
14. Варфоломеев Е. М. О некоторых свойствах эллиптических и параболических функционально-дифференциальных операторов, возникающих в нелинейной оптике // Современная математика. Фундаментальные направления. 2007. T. 21. С. 5-36.
15. Муравник А. Б. О задаче Коши для некоторых неоднородных дифференциально-разностных параболических уравнений // Математические заметки. 2003. T. 74, № 4. С. 538-548. DOI: 10.4213/mzm288.
16. Муравник А. Б. Функционально-дифференциальные параболические уравнения: интегральные представления и качественные свойства решений задачи Коши // Современная математика. Фундаментальные направления. 2014. T. 52. С. 3-141.
17. Разгулин А. В. Ротационные волны в оптической системе с двумерной обратной связью // Математическое моделирование. 1993. T. 5, № 4. С. 105-119.
18. Разгулин А. В., Романенко Т.Е. Вращающиеся волны в параболическом функционально-дифференциальном уравнении с поворотом пространственного аргумента и запаздыванием // Журнал вычислительной математики и математической физики. 2013. T. 53, № 11. С. 1804-1821. DOI: 10.7868/S0044466913110136.
19. Романенко Т.Е. Двумерные вращающиеся волны в функционально-дифференциальном уравнении диффузии с поворотом пространственных аргументов и запаздыванием // Дифференциальные уравнения. 2014. T. 50, № 2. С. 260-263. DOI: 10.1134/S0374064114020149.
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
148
Белан Е. П. О взаимодействии бегущих волн в параболическом функционально-дифференциальном уравнении // Дифференциальные уравнения. 2004. T. 40, № 5. С. 645-654. Белан Е. П. О динамике бегущих волн в параболическом уравнении с преобразованием сдвига пространственной переменной // Журнал математической физики, анализа, геометрии. 2005. T. 1, № 1. C. 3-34.
Белан Е. П., Хазова Ю. А. Динамика стационарных структур в параболической задаче на окружности с отражением пространственной переменной // Динамические системы. 2014. T. 4, № 1-2(32). C. 43-57.
Белан Е. П., Шиян О. В. Автоколебательные режимы горения вдоль полосы // Динамические системы. 2009. № 27. C. 3-16.
Корнута А. А. Метаустойчивые структуры в параболическом уравнении на окружности с поворотом пространственной переменной // Динамические системы. 2014. T. 4, № 1-2(32). С. 59-75.
Белан Е. П., Лыкова О. Б. Вращающиеся структуры в параболическом функционально-дифференциальном уравнении // Дифференциальные уравнения. 2004. T. 40, № 10. С. 1348-1357.
Ларичев А. В. Динамические процессы в нелинейных оптических системах с двумерной обратной связью: дис. ... канд. физ.-мат. наук: 01.04.21. М.: МГУ им. М.В. Ломоносова, 1995. 108 с.
Grigorieva E. V., Haken H., Kashchenko S.A., Pelster A. Travelling wave dynamics in a nonlinear interferometer with spatial field transformer in feedback // Physica D. 1999. Vol. 125, no. 1-2. P. 123-141. DOI: 10.1016/S0167-2789(98)00196-1.
Глызин С. Д., Колесов А. Ю., Розов Н.Х. Диффузионный хаос и его инвариантные числовые характеристики // Теоретическая и математическая физика. 2020. T. 203, № 1. C. 10-25. DOI: 10.4213/tmf9824.
Карапетянц Н. К., Самко С. Г. Уравнения с инволютивными операторами и их приложения. Ростов: Издательство Ростовского университета, 1988. 187 с.
Хазова Ю. А., Лукьяненко В. А. Применение интегральных методов для исследования одной параболической задачи // Известия вузов. ПНД. 2019. T. 27, № 4. С. 85-98. DOI: 10.18500/0869-6632-2019-27-4-85-98.
Корнута А. А., Лукьяненко В. А. Функционально-дифференциальные уравнения параболического типа с оператором инволюции // Динамические системы. 2019. T. 9(37), № 4. С. 390-409.
Справочник по специальным функциям с формулами, графиками и математическими таблицами / Под ред. М. Абрамовица, И. Стиган. М.: Наука, 1979. 832 с.
Мищенко Е. Ф., Садовничий В. А., Колесов А.Ю., Розов Н.Х. Автоволновые процессы в нелинейных средах с диффузией. М.: Физматлит, 2005. 430 с.
Arecchi F. T., Boccaletti S., Ducci S., Pampaloni E., Ramazza P. L., Residori S. The liquid crystal light valve with optical feedback: A case study in pattern formation // Journal of Nonlinear Optical Physics & Materials. 2000. Vol. 9, no. 2. P. 183-204. DOI: 10.1142/S0218863500000170. Арнольд В. И., Ильяшенко Ю. С. Обыкновенные дифференциальные уравнения // Итоги науки и техники. Серия «Современные проблемы математики. Фундаментальные направления». Динамические системы - 1. M.: ВИНИТИ, 1985. С. 7-140.
Хенри Д.Геометрическая теория полулинейных параболических уравнений. M.: Мир, 1985. 376 c.
БейтменГ., ЭрдейиА. Таблицы интегральных преобразований. Т. 2. Преобразования Бесселя. Интегралы от специальных функций. М.: Наука, 1970. 328 с.
References
1. Akhmanov SA, Vorontsov MA, Ivanov VY. Generation of structures in optical systems with two-dimensional feedback: Toward the creation of nonlinear-optical analogues of neural networks. In: New Physical Principles of Optical Dada Processing. Moscow: Nauka; 1990. P. 263-325 (in Russian).
2. Razgulin AV. The problem of control of a two-dimensional transformation of spatial arguments in a parabolic functional-differential equation. Differential Equations. 2006;42(8):1140-1155. DOI: 10.1134/S001226610608009X.
3. Razgulin AV. Nonlinear Models of Optical Synergetics. Moscow: MAKS-Press; 2008. 203 p. (in Russian).
4. Akhmanov SA, Vorontsov MA, Ivanov VY, Larichev AV, Zheleznykh NI. Controlling transverse-wave interactions in nonlinear optics: generation and interaction of spatiotemporal structures. J. Opt. Soc. Am. B. 1992;9(1):78-90. DOI: 10.1364/J0SAB.9.000078.
5. Vorontsov MA, Razgulin AV. Properties of global attractor in nonlinear optical system having nonlocal interactions. Photonics and Optoelectronics. 1993;1(2):103-111.
6. Chesnokov SS, Rybak AA. Spatiotemporal chaotic behavior of time-delayed nonlinear optical systems. Laser Physics. 2000;10(5):1061-1068.
7. Iroshnikov NG, Vorontsov MA. Transverse rotating waves in the non-linear optical system with spatial and temporal delay. In: Walther H, Koroteev N, Scully MO, editors. Frontiers in Nonlinear Optics: The Sergei Akhmanov Memorial Volume. Boca Raton: CRC Press; 1993. P. 261-278.
8. Razgulin AV. Finite-dimensional dynamics of distributed optical systems with delayed feedback. Computers and Mathematics with Applications. 2000;40(12):1405-1418.
DOI: 10.1016/S0898-1221(00)00249-2.
9. Kamenskii GA, Myshkis AD, Skubachevskii AL. The minimum of a quadratic functional, and linear elliptic boundary-value problems with deviating arguments. Russian Mathematical Surveys. 1979;34(3):201-202. DOI: 10.1070/RM1979v034n03ABEH003993.
10. Bellman RE, Cooke KL. Differential-Difference Equations. New York: Academic Press; 1963. 465 p.
11. Hale JK. Theory of Functional Differential Equations. New-York: Springer-Verlag; 1977. 366 p. DOI: 10.1007/978-1-4612-9892-2.
12. Skubachevskii AL. On the Hopf bifurcation for a quasilinear parabolic functional-differential equation. Differential Equations. 1998;34(10):1395-1402.
13. Varfolomeev EM. Andronov-Hopf bifurcation for quasi-linear parabolic functional differential equations with transformations of spatial variables. Russian Mathematical Surveys. 2007;62(2):398-400. DOI: 10.1070/RM2007v062n02ABEH004401.
14. Varfolomeev EM. On some properties of elliptic and parabolic functional differential operators arising in nonlinear optics. Journal of Mathematical Sciences. 2008;153(5):649-682.
DOI: 10.1007/s10958-008-9141-0.
15. Muravnik AB. The Cauchy problem for certain inhomogeneous difference-differential parabolic equations. Mathematical Notes. 2003;74(4):510-519. DOI: 10.1023/A:1026143810717.
16. Muravnik AB. Functional differential parabolic equations: integral transformations and qualitative properties of solutions of the Cauchy problem. Journal of Mathematical Sciences. 2016;216(3): 345-496. DOI: 10.1007/s10958-016-2904-0.
17. Razgulin AV. Rotational waves in optical system with 2-d feedback. Mathematical Models and Computer Simulations. 1993;5(4):105-119 (in Russian).
18. Razgulin AV, Romanenko TE. Rotating waves in parabolic functional differential equations with
19
20
21
22
23
24.
25
26
27.
28.
29
30
31
32
33
34
35
36
37
150
rotation of spatial argument and time delay. Computational Mathematics and Mathematical Physics. 2013;53(11):1626-1643. DOI: 10.1134/S0965542513110109.
Romanenko TE. Two-dimensional rotating waves in a functional-differential diffusion equation with rotation of spatial arguments and time delay. Differential Equations. 2014;50(2):264-267. DOI: 10.1134/S0012266114020141.
Belan EP. On the interaction of traveling waves in a parabolic functional-differential equation. Differential Equations. 2004;40(5):692-702. DOI: 10.1023/B:DIEQ.0000043527.22864.ac. Belan EP. On the dynamics of traveling waves in a parabolic equation with the transformation of the shift of the spatial variable. Journal of Mathematical Physics, Analysis, Geometry. 2005;1(1): 3-34 (in Russian).
Belan EP, Khazova YA. Dynamics of stationary structures in a parabolic problem with reflection spatial variable in the case of a circle. Dynamical Systems. 2014;4(1-2(32)):43-57 (in Russian). Belan EP, Shiyan OV. Self-oscillatory combustion regimes along the strip. Dynamical Systems. 2009;(27):3-16 (in Russian).
Kornuta AA. Metastable structures in a parabolic equation with rotation of the spatial variable. Dynamical Systems. 2014;4(1-2(32)):59-75 (in Russian).
Belan EP, Lykova OB. Rotating structures in a parabolic functional-differential equation. Differential Equations. 2004;40(10):1419-1430. DOI: 10.1007/s10625-004-0008-y. Larichev AV. Dynamic Processes in Nonlinear Optical Systems With Two-Dimensional Feedback. PhD Thesis in Physical and Mathematical Sciences. Moscow: Lomonosov Moscow State University; 1995. 108 p. (in Russian).
Grigorieva EV, Haken H, Kashchenko SA, Pelster A. Travelling wave dynamics in a nonlinear interferometer with spatial field transformer in feedback. Physica D. 1999;125(1-2):123-141. DOI: 10.1016/S0167-2789(98)00196-1.
Glyzin SD, Kolesov AY, Rozov NC. Diffusion chaos and its invariant numerical characteristics. Theoretical and Mathematical Physics. 2020;203(1):443-456. DOI: 10.1134/S0040577920040029. Karapetiants NK, Samko SG. Equations With Involutive Operators and Their Applications. Rostov-on-Don: Rostov University Publishing; 1988. 187 p. (in Russian). Khazova YA, Lukianenko VA. Application of integral methods for the study of the parabolic problem. Izvestiya VUZ. Applied Nonlinear Dynamics. 2019;27(4):85-98 (in Russian). DOI: 10.18500/0869-6632-2019-27-4-85-98.
Kornuta AA, Lukianenko VA. Functional-differential equations of parabolic type with an involution operator. Dynamical Systems. 2019;9(4):390-409 (in Russian).
Abramowitz M, Stegun IA, editors. Handbook of Mathematical Functions With Formulas, Graphs, and Mathematical Tables. Washington: National Bureau of Standards; 1964. 1082 p. Mishchenko EF, Sadovnichiy VA, Kolesov AY, Rozov NK. Autowave Processes in Nonlinear Media With Diffusion. Moscow: Fizmatlit; 2005. 430 p. (in Russian).
Arecchi FT, Boccaletti S, Ducci S, Pampaloni E, Ramazza PL, Residori S. The liquid crystal light valve with optical feedback: A case study in pattern formation. Journal of Nonlinear Optical Physics & Materials. 2000;9(2):183-204. DOI: 10.1142/S0218863500000170. Arnol'd VI, Ilyashenko YS. Ordinary differential equations. In: Encyclopaedia of Mathematical Sciences. Dynamical Systems I. Berlin: Springer-Verlag; 1988. P. 1-148.
Henry D. Geometric Theory of Semilinear Parabolic Equations. Berlin: Springer-Verlag; 1981. 350 p. DOI: 10.1007/BFb0089647.
Bateman H, Erdelyi A. Tables of Integral Transforms. Vol. 2. New York: McGraw-Hill Book Company; 1954. 451 p.
Корнута Анжелика Александровна — родилась в Симферополе (1969). Окончила с отличием Симферопольский государственный университет по специальности математика (1992). Старший преподаватель кафедры дифференциальных уравнений и геометрии факультета математики и информатики Таврической академии (структурное подразделение) Крымского федерального университета имени В. И. Вернадского. Научные интересы — анализ решений функционально-дифференциальных уравнений параболического типа с преобразованием пространственных переменных, бифурцирующих при изменении параметров уравнения, математическое моделирование. Опубликовала 9 научных статей по указанным направлениям.
Россия, 295007 Симферополь, просп. Академика Вернадского, 4 Крымский федеральный университет имени В. И. Вернадского E-mail: korn_57@mail.ru AuthorlD: 890574
Лукьяненко Владимир Андреевич — родился в с. Юрковка Винницкой области (1949). Окончил Одесский государственный университет имени И. И. Мечникова по специальности математика (1972). Доцент кафедры дифференциальных уравнений и геометрии факультета математики и информатики Таврической академии (структурное подразделение) Крымского федерального университета имени В. И. Вернадского. Опубликовал свыше 140 научных статей по направлениям уравнения типа свертки, краевые задачи теории аналитических функций и уравнения в частных производных, линейные и нелинейные уравнения 1-го рода, математическое моделирование, интеллектуализация обработки данных.
Россия, 295007 Симферополь, просп. Академика Вернадского, 4 Крымский федеральный университет имени В. И. Вернадского E-mail: art-inf@yandex.ru ORCID: 0000-0001-5271-031X AuthorlD: 885978
