Рассмотрим хорошо известное (см., например, [1]–[4]) логистическое уравнение с запаздыванием, диффузией и краевыми условиями Неймана
∂v∂t=−rv(t−T,x)[1+v]+d∂2v∂x2,d>0,
∂v∂x|x=0=0,∂v∂x|x=1=0.
Здесь t⩾t0, x∈[0,1]. Принято считать, что функция u=1+v описывает динамику изменения плотности популяции, поэтому u(t)⩾0. Параметр r называют мальтузианским коэффициентом. При значениях r, близких к π/2, наблюдается бифуркация Андронова–Хопфа. Асимптотика соответствующего цикла приведена в [5]–[8]. При r≫1 в (1), (2) имеются релаксационные циклы. Они исследованы в [9].
В [10] уравнение (1) изучалось с более общими краевыми условиями
∂v∂x|x=0=k1v|x=0,∂v∂x|x=1=k2v|x=1.
Были определены значения параметров, при которых в (1), (3) возникают критические случаи в задаче об устойчивости нулевого состояния равновесия и для исследования всех решений в окрестности этого состояния равновесия были построены соответствующие нормальные формы.
Здесь предполагается, что в граничных условиях для (1) присутствует параметр запаздывания h>0:
∂v∂x|x=0=0,∂v∂x|x=1=αv(t−h,1).
В настоящей работе рассматривается вопрос о роли параметра h в бифуркационной задаче Андронова–Хопфа при изучении поведения решений (1), (4) из некоторой окрестности нулевого состояния равновесия. Основные предположения, которые открывают путь к применению аналитических методов исследования, состоят в том, что выполнено равенство
rT=π2
и параметр α является достаточно малым: для некоторого фиксированного α1 имеем соотношение
α=εα1,где0<ε≪1.
При ε=0 характеристическое уравнение линеаризованной в нуле краевой задачи (1), (4) имеет вид
λ=−4π2dk2−rexp(−λT),k=0,±1,±2,….
Условие (5) означает, что при k=0 в (7) имеется пара чисто мнимых корней ±iπ(2T)−1, а все остальные корни (7) имеют отрицательные вещественные части. Тем самым, в окрестности нуля краевой задачи (1), (4) имеется [11]–[14] локальное двумерное инвариантное интегральное многообразие, на котором эту краевую задачу можно с точностью до o(1) записать в виде скалярного комплексного обыкновенного дифференциального уравнения первого порядка – нормальной формы
dξdτ=aξ+bξ|ξ|2.
Здесь τ=εt – “медленное” время. Функции ξ(τ) связаны с решениями (1), (4) асимптотическим равенством
v=ε1/2v1(t,τ)+εv2(t,τ,x)+ε3/2v3(t,τ,x)+⋯,
где
v1(t,τ)=ξ(τ)exp(iπ(2T)−1t)+¯ξ(τ)exp(−iπ(2T)−1t),
а vj(t,τ,x)(4T)-периодичны по t. Коэффициенты a, b и функции vj(t,τ,x) находятся в процессе применения алгоритма построения нормальной формы. После этого будут сделаны выводы о структуре решений (8), а значит, и краевой задачи (1), (4).
В п. 3 все построения будут проведены для изучения близких к (4), но нелинейных граничных условий
∂v∂x|x=0=0,∂v∂x|x=1=f(v(t−h,1)),
где
f(u)=εαu+au2+bu3.
Затем будет рассмотрена краевая задача (1), (11) в предположении, что величина запаздывания h в граничном условии является достаточно большой: для некоторого фиксированного значения h1>0 выполнено условие
h=h1ε−1.
Этот случай существенно сложнее. Роль нормальной формы (8) будет играть распределенное уравнение с запаздыванием.
2. Построение нормальной формы для краевой задачи (1), (4)
Подставим в (1), (4) формальное выражение (9) и будем последовательно приравнивать коэффициенты при одинаковых степенях ε. На первом шаге, собирая коэффициенты при ε1/2, получаем верное равенство. На следующем шаге находим, что
v2(t,τ)=2−i5ξ2exp(iπT−1t)+¯cc.
Здесь и ниже через ¯cc обозначено слагаемое, комплексно сопряженное к предыдущему. Собирая коэффициенты при ε3/2, приходим к уравнению относительно v3:
а из (16) окончательно приходим к уравнению относительно ξ(τ), т.е. к нормальной форме (8), где коэффициент b определен равенством (17), а для коэффициента a имеем равенство
a=(1+iπ2)−1α1exp(−iπh(2T)−1).
Отметим, что уравнение (8) интегрируется в явном виде. Приведем для примера наиболее интересное утверждение о решениях (8) и (1), (4).
Теорема 1. Пусть Rea>0 и Reb<0. Тогда уравнение (8) имеет устойчивый цикл ξ0exp(iφ0τ), где
ξ0=(−Rea(Reb)−1)1/2,φ0=Ima+ξ20Imb,
а краевая задача (1), (4) имеет устойчивый цикл v0(t,x,ε), для которого
Воспользуемся той же схемой построения нормальной формы из п. 2. Формальное выражение (9) подставим в (1), (11) и будем приравнивать коэффициенты при одинаковых степенях ε.
Функцию v2 представляем в виде
v2=v20(x)|ξ|2+[v21+v22(x)]exp(iπT−1t)+¯cc.
Тогда для определения v2j(x), j=0,1,2, получаем равенства
На следующем шаге приходим к уравнению для u_3(t, \tau, x). Из условия его разрешимости получаем уравнение относительно неизвестной амплитуды \xi(\tau, x):
\begin{equation*}
\begin{gathered} \, A =\exp(-i\pi(2T)^{-1}h), \qquad B =d\biggl(1+i \frac{\pi}{2}\biggr)^{-1}\bigl[3g+2\beta(v_{20}(1)+v_{22}(1))\bigr], \\ C =d^{3/2}r^{1/2}\biggl(1+i\frac{\pi}{2}\biggr)^{-1}(1-i). \end{gathered}
\end{equation*}
\notag
Уравнение (19) является нормальной формой для краевой задачи (1), (11) в рассматриваемом случае (5), (6), поэтому имеет место аналог приведенной выше теоремы о связи решений (19) и (1), (11).
4. Нормальная форма в случае больших значений коэффициента h
является быстро осциллирующим по параметру \varepsilon при \varepsilon \to 0. Пусть величина \theta=\theta(\varepsilon) \in [0, 2\pi) определена по правилу
Тогда A=A(\theta)=\exp(i\theta). Основное отличие рассматриваемого случая от тех, которые были рассмотрены в п. 2 и п. 3, состоит в том, что при условии (13) бесконечно много корней характеристического уравнения для линеаризованной в нуле краевой задачи (1), (11) стремятся к мнимой оси при \varepsilon \to 0. Тем самым реализуется критический случай бесконечной размерности. Такого типа критические случаи были рассмотрены в работах [5], [14]. И здесь построения базируются на использовании формального выражения (9), в котором фигурирует неизвестная амплитуда \xi(\tau). Поэтому ограничимся тем, что приведем итоговое уравнение для определения амплитуды \xi(\tau), которое играет роль нормальной формы:
Теорема 2. Пусть выполнены условия (5), (6) и (13). Фиксируем произвольно \theta_0 \in [0, 2\pi], и пусть уравнение (20) при A=A(\theta_0)=\exp(i \theta_0) имеет ограниченное при \tau \to \infty решение \xi_0(\tau). Тогда при всех достаточно больших n функция
удовлетворяет краевой задаче (1), (11) с точностью до O(\varepsilon^{3/2}_n(\theta_0)).
5. Выводы
В критических случаях построены нормальные формы для уравнения (1) с краевыми условиями (4) и (11). При дополнительном условии (13) нормальная форма является уравнением с запаздываниями (20). Варьируя параметр h, можно управлять структурой решений краевой задачи в окрестности нулевого состояния равновесия.
Динамические свойства решений (20) могут быть существенно богаче, чем у решений (8). Интересно отметить, что уравнение (20) может иметь несколько простейших циклов вида \rho \exp(i \varphi \tau) в зависимости от значений параметров этого уравнения.
Обратим внимание, что при \varepsilon \to 0 параметр \theta бесконечно много раз пробегает все значения от нуля до 2\pi. Для различных \theta количество простейших циклов и динамические свойства решений (20) могут меняться. Это означает, что при \varepsilon \to 0 в краевой задаче (1), (4) может происходить неограниченный процесс прямых и обратных бифуркаций.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1.
J. D. Murray, Mathematical Biology, v. II, Interdisciplinary Appl. Math., 18, Spatial Models and Biomedical Applications, Springer-Verlag, New York, 2003
2.
J. Wu, Theory and Applications of Partial Functional Differential Equations, Appl. Math. Sci., 119, Springer-Verlag, New York, 1996
3.
Y. Kuang, Delay Differential Equations with Applications in Population Dynamics, Math. Sci. Engrg., 191, Academic Press, Boston, 1993
4.
S. A. Gourley, J. W. H. Sou, J. H. Wu, J. Math. Sci. (N.Y.), 124:4 (2004), 5119–5153
5.
С. А. Кащенко, Изв. вузов. Матем., 2020, № 10, 47–64
6.
С. А. Кащенко, Матем. заметки, 98:1 (2015), 85–100
7.
С. А. Кащенко, Матем. заметки, 102:2 (2017), 216–230
8.
G. Oster, J. Guckenheimer, The Hopf Bifurcation and Its Applications, Applied Math. Sci., 19, Springer, New York, 1976, 327–353
9.
S. A. Kashchenko, Automatic Control and Comp. Sci., 47 (2013), 470–494
10.
С. А. Кащенко, Д. О. Логинов, Матем. заметки, 106:1 (2019), 138–143
11.
J. K. Hale, Theory of Functional Differential Equations, Springer-Verlag, New York, 1977
12.
P. Hartman, Ordinary Differential Equations, Classics in App. Math., 38, Philadelphia, PA, USA, 2002
13.
A. D. Bruno, Local Methods in Nonlinear Differential Equations, Springer-Verlag, Berlin, 1989
14.
S. A. Kashchenko, Mathematics, 10:5 (2022), 775
Образец цитирования:
С. А. Кащенко, А. О. Толбей, “Бифуркации в логистическом уравнении с диффузией и запаздыванием в граничном условии”, Матем. заметки, 113:6 (2023), 940–944; Math. Notes, 113:6 (2023), 869–873
I. S. Kashchenko, S. A. Kashchenko, I. N. Maslenikov, “Stability of Solutions to the Logistic Equation with Delay, Diffusion, and Nonclassical Boundary Conditions”, Dokl. Math., 2024
I. S. Kashchenko, S. A. Kashchenko, I. N. Maslenikov, “Stability of solutions to the logistic equation with delay, diffusion and nonclassical boundary conditions”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 517:1 (2024), 101