Научная статья на тему 'НЕУСТОЙЧИВОСТЬ ТЬЮРИНГА В ОДНОПАРАМЕТРИЧЕСКОЙ СИСТЕМЕ ГИРЕРА-МЕЙНХАРДТА'

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

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

Аннотация научной статьи по математике, автор научной работы — Ревина Светлана Васильевна, Рябов Анатолий Сергеевич

Цель настоящей работы — найти область необходимых и достаточных условий диффузионной неустойчивости на плоскости параметров (τ, d) системы Гирера–Мейнхардта, где τ — параметр релаксации, d — безразмерный коэффициент диффузии; вывести аналитическую зависимость критического волнового числа от характерного размера пространственной области; получить явные представления вторичных пространственно распределенных структур, образующихся в результате бифуркации пространственно-однородного положения равновесия, в виде рядов по степеням надкритичности. Методы. Для нахождения области неустойчивости Тьюринга применяются методы линейного анализа устойчивости. Для отыскания вторичных решений (тьюринговых структур) применяется метод Ляпунова– Шмидта в форме, развитой В. И. Юдовичем. Результаты. Получены выражения критического коэффициента диффузии через собственные значения оператора Лапласа для произвольной ограниченной области. В явном виде найдена зависимость критического коэффициента диффузии от характерного размера области в двух случаях: для интервала и прямоугольниа. Построены явные выражения первых членов разложений вторичных стационарных решений по параметру надкритичности в одномерном случае, а также для прямоугольника, когда одно из волновых чисел равно нулю. В указанных случаях найдены достаточные условия мягкой потери устойчивости, приведены примеры вторичных решений. Заключение. Предложен общий подход для нахождения области неустойчивости Тьюринга и построения вторичных пространственно распределенных структур. Данный подход может быть применен к широкому классу математических моделей, описываемых системой двух уравнений реакции–диффузии.

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

Похожие темы научных работ по математике , автор научной работы — Ревина Светлана Васильевна, Рябов Анатолий Сергеевич

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

TURING INSTABILITY IN THE ONE-PARAMETER GIERER-MEINHARDT SYSTEM

The purpose of this work is to find the region of necessary and sufficient conditions for diffusion instability on the parameter plane (τ, d) of the Gierer–Meinhardt system, where τ is the relaxation parameter, d is the dimensionless diffusion coefficient; to derive analytically the dependence of the critical wave number on the characteristic size of the spatial region; to obtain explicit representations of secondary spatially distributed structures, formed as a result of bifurcation of a spatially homogeneous equilibrium position, in the form of series in degrees of supercriticality. Methods. To find the region of Turing instability, methods of linear stability analysis are applied. To find secondary solutions (Turing structures), the Lyapunov– Schmidt method is used in the form developed by V. I. Yudovich. Results. Expressions for the critical diffusion coefficient in terms of the eigenvalues of the Laplace operator for an arbitrary bounded region are obtained. The dependence of the critical diffusion coefficient on the characteristic size of the region is found explicitly in two cases: when the region is an interval and a rectangle. Explicit expressions for the first terms of the expansions of the secondary stationary solutions with respect to the supercriticality parameter are constructed in the one-dimensional case, as well as for a rectangle, when one of the wave numbers is equal to zero. In these cases, sufficient conditions for a soft loss of stability are found, and examples of secondary solutions are given. Conclusion. A general approach is proposed for finding the region of Turing instability and constructing secondary spatially distributed structures. This approach can be applied to a wide class of mathematical models described by a system of two reaction–diffusion equations.

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

Известия высших учебных заведений. Прикладная нелинейная динамика. 2023. Т. 31, № 4 Izvestiya Vysshikh Uchebnykh Zavedeniy. Applied Nonlinear Dynamics. 2023;31(4)

Научная статья DOI: 10.18500/0869-6632-003053

УДК 517.957 EDN: WZPQWD

Неустойчивость Тьюринга в однопараметрической системе Гирера-Мейнхардта

С. В. Ревина1'2^, А. С. Рябов1

1 Южный федеральный университет, Ростов-на-Дону, Россия 2Южный математический институт ВНЦ РАН, Владикавказ, Россия

E-mail: [email protected], [email protected] Поступила в редакцию 30.11.2022, принята к публикации 5.04.2023, опубликована онлайн 18.07.2023, опубликована 31.07.2023

Аннотация. Цель настоящей работы — найти область необходимых и достаточных условий диффузионной неустойчивости на плоскости параметров (т, d) системы Гирера-Мейнхардта, где т — параметр релаксации, d — безразмерный коэффициент диффузии; вывести аналитическую зависимость критического волнового числа от характерного размера пространственной области; получить явные представления вторичных пространственно распределенных структур, образующихся в результате бифуркации пространственно-однородного положения равновесия, в виде рядов по степеням надкритичности. Методы. Для нахождения области неустойчивости Тьюринга применяются методы линейного анализа устойчивости. Для отыскания вторичных решений (тьюринговых структур) применяется метод Ляпунова-Шмидта в форме, развитой В. И. Юдовичем. Результаты. Получены выражения критического коэффициента диффузии через собственные значения оператора Лапласа для произвольной ограниченной области. В явном виде найдена зависимость критического коэффициента диффузии от характерного размера области в двух случаях: для интервала и прямоугольниа. Построены явные выражения первых членов разложений вторичных стационарных решений по параметру надкритичности в одномерном случае, а также для прямоугольника, когда одно из волновых чисел равно нулю. В указанных случаях найдены достаточные условия мягкой потери устойчивости, приведены примеры вторичных решений. Заключение. Предложен общий подход для нахождения области неустойчивости Тьюринга и построения вторичных пространственно распределенных структур. Данный подход может быть применен к широкому классу математических моделей, описываемых системой двух уравнений реакции-диффузии.

Ключевые слова: неустойчивость Тьюринга, системы реакции-диффузии, необходимые и достаточные условия диффузионной неустойчивости, критический коэффициент диффузии.

Для цитирования: Ревина С. В., Рябов А. С. Неустойчивость Тьюринга в однопараметрической системе Гирера-Мейнхардта//Известия вузов. ПНД. 2023. T. 31, № 4. С. 501-522. DOI: 10.18500/0869-6632-003053. EDN: WZPQWD

Статья опубликована на условиях Creative Commons Attribution License (CC-BY 4.0).

Article

DOI: 10.18500/0869-6632-003053

Turing instability in the one-parameter Gierer-Meinhardt system

S. V. Revinal'2m, A. S. Ryabov1

1 Southern Federal University, Rostov-on-Don, Russia

2 Southern Mathematical Institute, Vladikavkaz, Russia

E-mail: [email protected], [email protected]

Received 30.11.2022, accepted 5.04.2023, available online 18.07.2023, published 31.07.2023

Abstract. The purpose of this work is to find the region of necessary and sufficient conditions for diffusion instability on the parameter plane (т, d) of the Gierer-Meinhardt system, where т is the relaxation parameter, d is the dimensionless diffusion coefficient; to derive analytically the dependence of the critical wave number on the characteristic size of the spatial region; to obtain explicit representations of secondary spatially distributed structures, formed as a result of bifurcation of a spatially homogeneous equilibrium position, in the form of series in degrees of supercriticality. Methods. To find the region of Turing instability, methods of linear stability analysis are applied. To find secondary solutions (Turing structures), the Lyapunov-Schmidt method is used in the form developed by V. I. Yudovich. Results. Expressions for the critical diffusion coefficient in terms of the eigenvalues of the Laplace operator for an arbitrary bounded region are obtained. The dependence of the critical diffusion coefficient on the characteristic size of the region is found explicitly in two cases: when the region is an interval and a rectangle. Explicit expressions for the first terms of the expansions of the secondary stationary solutions with respect to the supercriticality parameter are constructed in the one-dimensional case, as well as for a rectangle, when one of the wave numbers is equal to zero. In these cases, sufficient conditions for a soft loss of stability are found, and examples of secondary solutions are given. Conclusion. A general approach is proposed for finding the region of Turing instability and constructing secondary spatially distributed structures. This approach can be applied to a wide class of mathematical models described by a system of two reaction-diffusion equations.

Keywords: Turing instability, reaction-diffusion systems, necessary and sufficient conditions for diffusion instability, critical diffusion coefficient.

For citation: Revina SV, Ryabov AS. Turing instability in the one-parameter Gierer-Meinhardt system. Izvestiya VUZ. Applied Nonlinear Dynamics. 2023;31(4):501-522. DOI: 10.18500/0869-6632-003053

This is an open access article distributed under the terms of Creative Commons Attribution License (CC-BY 4.0).

Введение

Уравнения реакции-диффузии применяются при математическом моделировании различных природных явлений, им посвящено большое количество публикаций (см., например, [1], а также недавние работы [2, 3] и цитируемую в них литературу). В результате бифуркаций пространственно-однородных состояний в системах реакции-диффузии возникают пространственно неоднородные режимы. На границе рассматриваемой области при этом возможно выполнение различных типов краевых условий. Особый интерес, на наш взгляд, представляет исследование систем реакции-диффузии аналитическими методами. В [4] для бесконечномерного аналога системы Рэлея (который также можно рассматривать как частный случай системы ФитцХью-Нагумо) найдены явные асимптотические представления автоколебательных режимов, а в [5] — стационарные режимы при краевых условиях Дирихле и смешанных краевых условиях. В [6] для системы Рэлея изучены бифуркации на инвариантных подпространствах системы при выполнении краевых условий Неймана, в [7] при тех же условиях исследовано бифуркационное поведение стационарных режимов, ответвляющихся от нулевого положения равновесия системы ФитцХью-Нагумо.

Начатое А. Тьюрингом в его классической работе [8] исследование диффузионной неустойчивости, впоследствии названной неустойчивостью Тьюринга, продолжают многие авторы

по настоящее время. В монографии [9] положено начало изучению области в пространстве параметров системы, называемой областью неустойчивости Тьюринга.

В [10] на примере системы Шнакенберга предложен подход для аналитического описания области неустойчивости Тьюринга в пространстве параметров системы, а также для нахождения диапазона критических волновых чисел, для которых имеет место эта неустойчивость. Показано, что граница области необходимых условий является огибающей границы области достаточных условий. В случае системы Шнакенберга точки пересечения двух соседних кривых достаточных условий лежат на прямой, угловой коэффициент которой зависит от собственных значений оператора Лапласа в рассматриваемой области. В [10] также показано, что полуось ( > 1, где ( — коэффициент диффузии, можно представить в виде объединения полуинтервалов, каждому из которых соответствует критическое волновое число, при котором происходит потеря устойчивости положения равновесия системы.

В [11] дано обобщение результатов работы [10] на некоторый класс систем реакции-диффузии, которые помимо коэффициента диффузии содержат два параметра. При этом предполагается, что коэффициенты линеаризованной в окрестности положения равновесия системы подчиняются некоторым ограничениям (гипотезам). Предложена замена переменных, при которой область неустойчивости Тьюринга принимает некоторый стандартный вид. Система Гирера-Мейнхардта, рассматриваемая в настоящей работе, содержит лишь один параметр помимо коэффициента диффузии. Для двупараметрической системы Гирера-Мейнхардта [12] одна из гипотез работы [11] не выполняется.

Система Гирера-Мейнхардта была предложена в [12], описание математической модели при различных значениях параметров дано в [13]. В настоящей работе рассматривается частный случай общей модели — система Гирера-Мейнхардта с параметром релаксации т > 0 [1] в т-мерной ограниченной области О С Ят при Ь > 0 с краевыми условиями Неймана на границе

и2

иг = А и — и +--, туг = (А V — V + и2, (1)

V

ди дп

ду

до, дп

= 0. (2)

до

Здесь и = и(х,Ь) — активатор, V = у(х,Ь) — ингибитор, ( > 0 — безразмерный коэффициент

о 2

диффузии, равный отношению коэффициентов диффузии ингибитора и активатора, А = дд + + ••• + тт2--оператор Лапласа. Система (1), (2) имеет единственное пространственно-однородное

т

положение равновесия

(ио,Уо) = (1,1). (3)

Решения сингулярно возмущенной системы Гирера-Мейнхардта с параметром релаксации исследованы в [14], неустойчивость Экхауса и зигзаг-неустойчивость аналитически и численно исследовались для системы Гирера-Мейнхардта в [15].

Целью настоящей работы является вывод необходимых и достаточных условий неустойчивости Тьюринга положения равновесия (3), нахождение критического коэффициента диффузии и его зависимости от характерного размера области О, нахождение вторичных тьюринговых структур в окрестности положения равновесия при малых отклонениях коэффициента диффузии от критического значения. Для описания области неустойчивости Тьюринга используется подход работы [10]. Все построения носят аналитический характер, результаты расчетов приведены лишь для иллюстрации теоретического материала.

1. Необходимые условия неустойчивости Тьюринга

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

2 2

Л и V и2

/ (и, V) = —и +--, д(и^) _---1----(4)

V т т

и найдем матрицу Якоби Л

д _ I /и /у

ди ду

_ ( 1 1 ). (5)

(ио,Уо) \

Система (1), (2) в бездиффузионном приближении принимает форму

du и2 ¿V V и2

— _ — и +—, — _-- + —, (6)

¿г V ас т т

соответствующее (6) линеаризованное в окрестности (щ^о) уравнение имеет вид

аУ _Лу, У € я2, (7)

где Л определена в (5). Собственные значения матрицы Якоби Л лежат строго в левой полуплоскости тогда и только тогда, когда

Тг(Л) = /и + ду _ 1 — 1 < 0, Бв1(Л) = /иду — /уди _ 1 > 0. (8)

тт

Из (8) получим условие асимптотической устойчивости в бездиффузионном приближении

0 < т < 1. (9)

Теперь рассмотрим линеаризованную систему с диффузией (1), (2)

щ _ Ди + /и ■ и + /у ■ V, VI _ -Дv + ди ■ и + ду ■ V, (10)

т

ди д п

дv

да дп

_0, (11)

да

где элементы матрицы Якоби заданы в (5).

Пусть Ик и ^к ~ собственные значения и собственные функции оператора —Д с краевыми условиями Неймана, к _ 0,1, 2...

д^к

Д^к + Ик^к _ 0, х € а,

дп

_ 0. (12)

да

Собственное значение линейного оператора называется простым, если размерность пространства всех собственных и присоединенных векторов, отвечающих данному собственному значению, равна единице. В настоящей работе так же, как ив [10], предполагается простота собственных значений Ик.

Пусть И — гильбертово пространство вектор-функций ю = (и, v) с компонентами и,у € ¿2 (О). Пусть оператор Ао : И ^ И, действующий по правилу Ао = В А, определен на множестве вектор-функций ю = (и, у) с компонентами из пространства Соболева ^|(О), удовлетворяющими краевым условиям (2), где В — это матрица

В =

10 (

0 -т

(13)

Тогда линеаризованная система (10), (11) сводится к уравнению в И

юг = Аю, А = Ао + Л, ю € И. (14)

Спектр оператора А дискретен в силу компактности его резольтвенты в И.

Определение 1. Положение равновесия (ио,Уо) называется неустойчивым по Тьюрингу, если все собственные значения линеаризованной задачи в бездиффузионном приближении (7) лежат строго в левой полуплоскости и существует собственное значение линеаризованной задачи с диффузией (14), которое лежит в правой полуплоскости.

Рассмотрим линейную спектральную задачу для оператора А (14) в И:

Аф = Хф, ф = 0. (15)

Получим необходимые условия существования собственного значения оператора А в правой полуплоскости.

Разыскивая собственную функцию ф (15) в виде ряда по собственным функциям оператора Лапласа с векторными коэффициентами

ф = ^ ск^к, ск = (4,с\), (16)

к=о

после подстановки рядов (16) в (15) и приравнивания коэффициентов при одинаковых собственных функциях ^к, для любого фиксированного к получим линейную систему с матрицей Лк, которой соответствует собственное значение Хк и собственный вектор С к:

где Лк определена формулой

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

Лк С к = Хк С к, С к =

( ¡и - Ик ¡V

Лк = (

gv

;Ик

1 — Ик 2

— 1 1(

(и о^о)

;Ик

(17)

(18)

причем определитель и след матрицы Лк подчиняются соотношениям

Тг(Лк) = Тг(Л) — (1 + ^ Ик < Тг(Л) < 0,

Бе^Лк) = (ик — ( ' /и + 9^ И к + Бе1;(Л).

Так как Тг(Лк) < Тг(Л) < 0, то потеря устойчивости равновесия (щ,Уо) может произойти, только если определитель обратится в нуль: Бе^Лк) = 0. Так как Бе^Л) > 0 (8), то к > 0 и, следовательно, Ик > 0.

Через Ь(и) обозначим многочлен

Н(и) = (и2 — (( — 1)И + 1.

(19)

Равенство Бе^Лк) = 0 возможно тогда и только тогда, когда Н(ик) = 0.

т

т

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

- ^ (1 + ^2) 2 . (20)

В совокупности неравенства (9) и (20) приводят к необходимым условиям неустойчивости Тьюринга на плоскости параметров (т, -) [1]:

0 < т < 1, - ^ (^1 + ^2)2 . (21)

2. Достаточные условия неустойчивости Тьюринга

Применяя подход [10], получим ограничения на параметры системы, при которых у линеаризованной системы реакции-диффузии (8), (9) существует собственное значение в правой полуплоскости. Учтем дискретность спектра оператора А. Выразим из уравнения Н(ик) _ 0, где к(и) задано в (19), коэффициент диффузии -:

-к _ Ик + 1 (22)

к Ик (1 — Ик)'

Условие положительности коэффициента диффузии (22) проводит к ограничению

Ик < 1. (23)

Если это условие не выполняется, то неустойчивость Тьюринга не возникает. В одномерном случае а _ (0,£), когда Ик _ (Пг) , приходим к оценке снизу на размер области: £ > пк. Введем обозначение для к € N

У к _ Ик + Ик+1 + Ик Ик+1. (24)

Заметим, что выражение (24) участвует также в описании области достаточных условий неустойчивости Тьюринга для системы Шнакенберга [10], брюсселятора и других систем [11]. С помощью элементарных выкладок доказывается утверждение.

Утверждение 1. Пусть Ик < 1 и Ик+1 < 1- Равенство -к _ -к+1 выполняется тогда и только тогда, когда ук _ 1, причем неравенство -к < -к+1 равносильно неравенству ук > 1.

Заметим, что для функции

У + 1

-(У) _ у(г-у), 0 <У< ^ (25)

значение у _ \[2 — 1 является точкой глобального минимума, причем -(\[2 — 1) _ (\/2 + 1)2. Следовательно, для -к (22) выполняется неравенство: -к > (1 + ^2)2.

Определение 2. Критическим значением волнового числа назовем такое число к, для которого собственное значение Ик является корнем многочлена Л.(и)' Ь,(ит) _ 0, при этом для -<-к все собственные значения линеаризованной системы с диффузией (14) лежат строго в левой полуплоскости, а для - > -к существует собственное значение системы (14) в правой полуплоскости. При выполнении этих условий -к называется критическим коэффициентом диффузии.

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

Утверждение 2. Пусть 1 ^ k < m, ^fc < 1 и ит < 1, введем обозначение

Ук,т — M-fc + Иго + M-fc Иго-

Равенство dfc — dm выполняется тогда и только тогда, когда ук,т — 1, причем неравенство dfc < dm равносильно неравенству ук,т > 1

Утверждения 1 и 2 справедливы для произвольной ограниченной области Q, в которой оператор Лапласа имеет простые собственные значения Ик (12). Опишем алгоритм нахождения критического волнового числа k и установим зависимость критического коэффициента диффузии dfc от характерного размера области Q. Сначала проведем рассуждения для одномерного случая

Q — (0,4

2.1. Одномерный случай. В этом случае иfc — (х)2. Через £fc,fc+1 обозначим длину отрезка, для которой dfc — dfc+i, k G N. Найдем £fc,fc+1 из уравнения уfc — 1:

£fc,fc+i — у (V(k2 + (k + 1)2)2 + 4k2(k + 1)2 + k2 + (k + 1)2) . (26)

Аналогично, следуя утверждению 2, при 1 ^ k < m, через £fc,m обозначим длину отрезка, для которой dfc — dm. Найдем £fc,m из уравнения Yfc,m — 1:

£fc,m — П- (V(k2 + m2)2 + 4k2m2 + k2 + m2) . (27)

Очевидно, что при m < n выполняется неравенство £fc,m < £fc,n. Найдем значение критического коэффициента диффузии в зависимости от характерного размера области.

Приближенные значения границ отрезка £fc,fc+i, соответствующие нескольким первым критическим значениям волнового числа k, приведены в табл. 1.

Таблица 1. Границы отрезка £k,k+b соответствующие критическим

значениям волнового числа k Table 1. Boundaries of the segment £k,k+1, corresponding to the critical

values of the wave number k

Критическое волновое число Промежуток Границы

k — 1 £ G (я, £1,2) £1,2 — 2.38779 • я

k — 2 £ G (£1,2, £2,3) £2,3 — 3.91738 • n

k — 3 £ G (£2,3, £3,4) £3 4 — 5.46148 • n

k — 4 £ G (£3,4, £4,5) £4 5 — 7.00999 • я

k — 5 £ G (£4,5, £5,6) £5,6 — 8.56046 • n

k — 6 £ G (£5,6, £6,7) £6 7 — 10.11195 • п

k — 7 £ G (£6,7,£7,8) £7,8 — 11.66406 • п

k — 8 £ G (£7,8, £8,9) £8,9 — 13.21656 • п

k — 9 £ G (£8,9, £9,10) £9 10 — 14.76934 • п

k — 10 £ G (£9,10, £10,11) £10,11 — 16.3223 • п

4

8 х 100

6 х 100

I(6,7) 1(7,8) I(8,9)1(9,10)

4Л Л Л Л

I

Рис. 1. Зависимость критического коэффициента диффузии dk (I) от длины отрезка (в логарифмическом масштабе) Fig. 1. Dependence of the critical diffusion coefficient dk (I) on the length of the segment (on a logarithmic scale)

Утверждение 3. Пусть t € {£k-i,k, tk,k+i), где k € N и to,i = п. Тогда

dk = min dm,

m

где минимум берется по всем m, для которых определено выражение dm

(28)

Доказательство. Докажем утверждение 3. Рассмотрим промежуток t € (^0,1,^1,2)- При t € (п, 2п] определено только значение di. При t € (2n,ti.2) определены di и d2, но из неравенства yi > 1 следует, что di < (I2. Аналогичные рассуждения проводятся для нескольких первых значений k.

Пусть теперь k > 1, t € (tk-ikk, tk, k+i). С ростом t функции ^fc(t), а также Yk(t) убывают, и на промежутке t € (tk-ik, tk,k+i) могут быть определены несколько коэффициентов диффузии dm. Покажем, что dk — минимальный из них.

Сначала докажем, что dm > dk при m < k. Действительно, неравенство dm > dk равносильно неравенству ym,k < 1, которое, в свою очередь, равносильно t > tm,k. Так как maxtm k = tk-i k, то на указанном промежутке неравенство выполняется.

m<k ' '

Далее убедимся, что dk < dn при n > k, Действительно, данное неравенство равносильно следующему: Yk n > 1, которое выполняется при t < tk n. Так как min tk n = tk k+i, то требуемое

' ' n>k ' '

неравенство доказано. □

Из утверждения 3 следует, что формула (28) дает критическое значение коэффициента диффузии dk, где k — критическое волновое число. В переменных (т, d) при t € (tk-i, k,tk,k+i) область достаточных условий неустойчивости Тьюринга имеет вид

0 < т < 1, d ^ dk.

(29)

Пусть -к (£) _ - ^ (Пт) ^, где функция -к (у) определена в (25). Для описания взаимного расположения кривых -к (£) докажем следующее утверждение.

Утверждение 4. На каждом промежутке £ € (£к-1,к, £к,к+1), к € N, существует единственная точка минимума £ = £* функции вк(£), причем вк(£*) = (1 + \/2)2 и

£2 = (1 + ^2) (як)2; £к-1,к < (1 + (як)2 < £к,к+1- (30)

ательство.

Тогда

Доказательство. Для доказательства утверждения 4 сделаем в (25) замену переменных ^ = -.

и

«№> = ^. (31)

Легко убедиться, что = 1 + \[2 является точкой глобального минимума функции в(^), соответствующее критическое значение длины отрезка равно £* = (як)2^*. Далее, из (26) получаем неравенство

£Як+- = Ш(1 + ^)2 + ^ + 1 + ^ > 1+ * (32)

Аналогично

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

£к--,к = ч ./Л , (к -1)^2

(як)2 2

(33)

Из (32) и (33) вытекает (30). □

2.2. Случай прямоугольника. Пусть теперь □ = (0, а) х (0, Ь). Так как по предположению собственные значения оператора Лапласа простые, то рассмотрим случай несоизмеримых квадратов сторон прямоугольника. Для определенности

Ь2 = ^. (34)

л/2

а2

Введя обозначение г = , выпишем собственные значения оператора Лапласа:

я\2 , 2 , я _ т2 + л/2'

2

Хт,п = (-Г(т2 + ^2п2) = т +Л/2П , т, п = 0,1,.... (35)

\а; г

Упорядочим Хт,п по возрастанию:

И- = Чо; И2 = ^0,1; из = ^1,1;

И4 = ^2,о; И5 = ^2,1; Иб = Хо,2; ••• (36)

Таким образом,

Ик = —; Vк = т2 + \[2п2. (37)

г

Через ак,т обозначим длину стороны прямоугольника, для которой вк = вт. Найдем а^к+1 из уравнения ук = 1. Имеем

г2 - (Ук + Ук+1)г - УкУк+1 = 0. (38)

Так как z > 0, то

al,k+i = у (V(vk + Vk+i)2 + 4vfcvfc+i + Vk + Vfc+i)

(39)

Пусть dk(a) = d^(П)2 v^, где dk(y) определено в (25). Аналогично утверждению 4 доказывается следующее утверждение.

Утверждение 5. На каждом промежутке a € (ak-i,k, a^k+i). k € N, существует единственная точка минимума a = a* функции dk (a), причем dk (a*) = (1 + \/2)2 и

a2 = (1 + ^2)яЧ; ak-i k < (1 + У^пЧ < a^+i- (40)

Из утверждений 4 и 5, а также условий (21) и (29) вытекает, что на каждом промежутке I € (¿k—i,k,£k,k+i) и a € (ak-i,k, ak,k+i), соответственно, существует единственное значение характерного размера области £* (соответственно, a*), для которого необходимые и достаточные условия неустойчивости Тьюринга совпадают. Для систем реакции-диффузии с двумя параметрами, например, для системы Шнакенберга, возникает похожая ситуация [10,11]. В точке пересечения кривых необходимых и достаточных условий неустойчивости Тьюринга происходит касание этих кривых. Для однопараметрической системы Гирера-Мейнхардта кривая достаточных условий dk(£) (или dk (a)) в точке минимума касается кривой необходимых условий d = (1 + ^2)2.

Приближенные значения границ длины стороны прямоугольника a^k+i, соответствующие нескольким первым значениям волнового числа k, приведены в табл. 2.

Таблица 2. Границы стороны akk+i, соответствующие критическим

значениям волнового числа k Table 2. Boundaries akjk+i of the side corresponding to the critical

values of the wave number k

Критическое волновое число Промежуток Границы

k = 1 a € (я, ai,2) ai 2 = 1.70341 • я

k = 2 a € (ai,2, a2,3) a2,3 = 2.13887 • я

k = 3 a € (a2,3, a3,4) a3,4 = 2.76998 • я

k = 4 a € (a3 4, a4,5) a4,5 = 3.36546 • я

k = 5 a € (a4,5, a5,6) a5,6 = 3.65555 • я

k = 6 a € (a5,6, a6,7) a6j7 = 3.85352 • я

k = 7 a € (a6,7, a7,8) a7,8 = 4.3402 • я

k = 8 a € (a7,8, a8,9) a8j9 = 4.74518 • я

k = 9 a € (a8j9, a9,io) a9 i0 = 4.92167 • я

k = 10 a € (a9,io, aio,ii) aio,ii = 5.28149 • я

3. Вторичные стационарные решения

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

Для отыскания тьюринговых структур применим метод Ляпунова-Шмидта в форме, развитой В. И. Юдовичем [16,17]. Этот метод, наряду с методом центрального многообразия, применяется в задачах, описываемых параболическими уравнениями, в частности, уравнениями гидродинамики [18], а также уравнениями реакции-диффузии [4-7]. Сначала рассматриваются линейная спектральная и линейная сопряженная задачи, затем решение нелинейных уравнений разыскивается в виде ряда по степеням надкритичности. Для отыскания членов ряда получаем линейные неоднородные уравнения, из условия разрешимости которых находим коэффициенты уравнения разветвления.

3.1. Линейная спектральная и линейная сопряженная задачи. Здесь и далее к — критическое волновое число, оператор А определен в (14). Тогда сопряженный к оператору А имеет вид: А* = Ао + Л*, где через Л* обозначен конечномерный оператор, которому соответствует транспонированная к Л (5) матрица Л*. Найдем собственные функции операторов А и А*, соответствующие нулевому собственному значению:

Ащ = 0, А*Фк = 0, ^ = 0, Фк = 0. (41)

Из (15)-(17) следует, что собственные функции имеют вид

Фк (х) = Ск^к (х), Фк (х) = В % (х), (42)

где ^к (х) — собственные функции оператора Лапласа (12), а векторные коэффициенты С к и Вк являются собственными векторами матриц Лк и Лк, соответственно:

Лк С к = 0, Лк В = 0, Ск = 0, В = 0. (43)

Из (43) находим координаты С к и Вк:

С к = (1; 1 - Ик), В = (1; - 2 (1 - Ик)) . (44)

Заметим, что в силу ограничений на собственные значения 0 < Ик < 1 и параметр релаксации 0 < т < 1 скалярное произведение векторов фк и Фк положительно

У фк(х)Фк(х)йх = (1 - 2(1 - Ик)2) У ^к(х^х > 0. (45)

а а

Из условия (45) следует отсутствие клеток в матричном представлении оператора А.

3.2. Уравнение возмущений. После замены переменных в окрестности положения равновесия (ио; уо) = (1; 1) (для удобства оставим прежние обозначения (и; у)):

и ^ и + 1; у ^ у + 1 (46) из (1) приходим к уравнению возмущений

(и + 1)2

иг = Ди - (и + 1) + -—+1-, ту = ¿Ду - (у + 1) + (и + 1)2. (47)

Преобразуем нелинейное слагаемое в первом уравнении (1). Воспользовавшись разложением в ряд Тейлора и оставляя слагаемые не выше третьей степени

1 =1 - V + V2 - V3 + ...,

V + 1

-(и + 1) + (1 + и)2(1 - V + V2 - V3 + ...) = и - V + (и - V)2 - v(u - V)2 + . . . ,

приведем уравнения (46) к виду

щ = Ли + и - V + (и - V)2 - v(u - V)2, то^ = dAv + 2и - V + и2. (48)

Пусть £ € (£к-\,к,£к,к+\), где к — критическое волновое число. Введем параметр надкри-тичности е с помощью замены переменных

( = ¿к + е2. (49)

Тогда уравнение возмущений (48) принимает вид:

щ = Ли + и - V + (и - V)2 - v(u - V)2, тvt = акЛv + 2и - V + и2 + е2Лv. (50)

Будем разыскивать стационарное решение системы (50) в виде рядов по степеням параметра е 1 1

и(х) = ^ екик (х), V(x) = £ ек Vк (х). (51)

к=1 к=1

Приравняем коэффициенты при одинаковых степенях е. При е1 приходим к задаче

0 = Ли1 + и1 - VI, 0 = (IкЛvl + 2и1 - VI, (52)

решением которой является

(и1; V!) = |31ф&(х) = $1Ск % (х), (53)

где Фк(х), С к определены в (41), (44), амплитуда р1 пока не определена.

3.3. Уравнения при е2. Приравнивая в (50) выражения при е2, для нахождения (и2^2) приходим к системе

Ли2 + и2 - V2 = -(и1 - Vl)2, dкЛv2 + 2и2 - V2 = -и1. (54)

Учитывая выражения и1, Vl (53), найдем вектор-функцию правой части системы (54)

/2(х) = -(цк ;1)Р?^к (х). (55)

Условием разрешимости системы (54) является ортогональность правой части /2 собственному вектору Фк (х) линейного сопряженного оператора А*:

У /2 (х)Фк(х)(х = -р? (цк - 2(1 - Цк)) I ^к(х)(х = 0. (56)

а

Условие (56) выполняется в одномерном случае, а также в случае прямоугольного параллелепипеда в силу равенства нулю интеграла от куба собственной функции. Далее рассмотрим одномерный случай.

3.3.1. Нелинейная добавка в одномерном случае. В одномерном случае формула (55) принимает вид

/2(х) = -(и2;1)в21 (1 + сов (^х)) . (57)

Следовательно, решение системы (54) имеет следующую структуру

(и2; у2) = в2фк (х) + го + г(х), (58)

где первое слагаемое есть решение однородного уравнения, соответствующего уравнению (54), а второе и третье — неоднородного:

го = (СО; С20); г(х) = (С1; С*) сов (^х) • (59)

Для нахождения го из (54) приходим к системе

СО - С20 = - 2в1ик, 2С0 - С20 = - 2в2, (60)

решением которой является

с0 = 1 в1(ик -1), С20 = 1 р?(2ик -1). (61)

Теперь найдем г(х). Коэффициенты С и С2> удовлетворяют уравнениям

С1(1 - И2к) - С2 = -1 в 1 ик, 2С - С! (4И2к +1) = - 2 в2. (62)

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

Определитель системы (62) имеет вид

Д(Ик)= 4И2к(И2к - 1) + И2к + 1. (63)

Если И2к ^ 1, то из (63) следует, что определитель системы Д(ик) > 0. Если И2к < 1 то определен коэффициент диффузии 4к и, преобразовав выражение (63), вновь получим положительность определителя системы:

Д(Ик) = И2к(И2к - 1)(4 - ¿2к) > 0, (64)

так как при I € (4-1 ,к,-4,к+1) имеем ¿к < 4к.

Для дальнейшего нам понадобится еще одно выражение Д(Ик). Учитывая соотношение И2к = 4ик, преобразуем (64) к виду

Д(Ик) = 3(4ик + 5Ик - 1) = 3(ук,2к - 1) > 0. (65)

1 - Ик 1 - Ик

Теперь из (62) найдем С и С2

1 в2 1 в2 С1 = 2Дик)(ик(¿кИ2к + 1) - 1), С21 = 2Д(Ику(2ик - (1 - И2к)). (66)

3.3.2. Нелинейная добавка в случае прямоугольника. Пусть Q = (0, а) х (0, b), стороны прямоугольника связаны соотношением (34), k — критическое значение волнового числа. Для удобства введем следующие обозначения: Vk = Хтп и = ^т,п(х1, х2) — собственные значения и собственные функции оператора —А с краевыми условиями Неймана

тт, П

АФт,п + ^т,яФт,я = 0, X € Q, _ ' |dQ = 0. (67)

dn

Возможны три типа собственных значений и собственных функций. Тип 1. При m = 0, п = 0

(я \2 2 (nm Л

Vk = [а) • m ; фт,п = cos ^~xij . (68)

В этом случае собственное значение задачи в прямоугольнике совпадает с собственным значением в одномерном случае при £ = а, а собственная функция — с собственной функцией ^т(х1) в одномерном случае.

Таким образом, коэффициенты разложений вторичных решений при е2 имеют вид (58), (59), где Vk = Vo, V2k = ^2т,0, а собственную функцию cos x) надо заменить на cos (2Птxi). Тип 2. При m = 0, n = 0

Vk = (f ) • n2' фт,п = COs(^2) . (69)

В этом случае собственное значение задачи в прямоугольнике совпадает с собственным значением Vn при £ = b в одномерном случае, а собственная функция — с собственной функцией ^n(x2) в одномерном случае.

Тогда, как и для типа 1, уравнения при е2 уже решены в одномерном случае. Коэффициенты разложений вторичных решений! при е2 имеют вид (58), (59), где Vk = ^o,n, V2k = ^o,2n, а собственную функцию cos {2jrx) надо заменить на cos х2). Тип 3. При m = 0, n = 0

(п \2 2 (п Л2 2 (пп \ (пп \

Vk = у а) • m + ^ b) • п ' фт,п = cos ^ ~b~x2 J cos ^ yX^ . (70)

Заметим, что в прямоугольнике связь между k и Vk в общем случае неизвестна.

Очевидно, что для собственных функций первого и второго типов уравнения при е2 уже рассмотрены в одномерном случае. Рассмотрим собственные функции третьего типа. Из равенства

1 / (2п^ \ (2пп \ (2пm

пп

Фтп = 4 + cos ^ —^Xlj + cos ^ —^X2j + co^ —^Xlj cos [2 — X2JJ (71)

следует, что в выражении (58) слагаемое zo = C0 имеет тот же вид, что и в (59), а слагаемое z(x) имеет следующую структуру

(2п^ \ 2 (2пп \ 3 (2п^ \ (2пп \ z(x) = C cos I -xJ + C cos I —^x2\ + C cos I-xJ cos I —^x2\ . (72)

Константы CC2, C 3 находятся с помощью тех же рассуждений, что и для собственных функций первого и второго типов. В настоящей работе третий тип собственных функций не рассматривается.

3.4. Уравнения при ез. Приравнивая в (50) выражения при ез, для нахождения (из, уз) приходим к системе

Диз + из - уз = -2(и1 - у1)(и2 - у2) + у1(и1 - у1)2 = ^1,

¿кДуз + 2из - уз = -Ду1 - 2и1и2 = ^2. (73)

3.4.1. Условие разрешимости в одномерном случае. Учитывая выражения и1, у1 (53) и и2, у2 (58), найдем вектор-функцию правой части системы (74) /э(х) = (^1; ^2):

= -2в1в2ик^к(х) - 2в1Ик(С0 - С20)^к(х) - 2в2Ик(С - С2)%^2к +

+ вЫ(1 - Ик(х), ^2 = в1Ик(1 - Ик)^к(х) - 2в1 в2^(х) - 2в1С?^к(х) - 2в1С>к(х)^2к(х). (74)

Условие разрешимости уравнения при ез — ортогональность правой части системы решению однородного сопряженного уравнения:

У fз(x)Фk(x)dx = 0. (75)

а

Оно имеет вид

3

2Ик(С0 - С20) + Ик(С - С21) - 4в?Ик(1 - Ик) + т

+ 2(1 - Ик)[Ик(1 - Ик) - 2С0 - С1] = 0. (76)

После подстановки коэффициентов С0, С0, С, С в (76) условие разрешимости (75) принимает вид

в1/(Ик) = тИк(1 - Ик)2. (77)

Так как правая часть (77) положительна, то знак в1 совпадает со знаком выражения /(Ик):

/ (Ик) = /1(Ик) + т/2 (Ик);

/1(Ик) = Ик ^ 1 Ик + 2И^ - Д(И;к) (¿кИк ■ И2к - Ик - И2к) ;

/2(Ик) = (1 - Ик) (Ик - 1 + 2ДЩ(ик(dкИ2к + 1) - 1)) . (78)

3.4.2. Мягкая и жесткая потеря устойчивости. Если в1 > 0, то происходит мягкая потеря устойчивости — вторичные решения (тьюринговы структуры) существуют и устойчивы в закритической области d > ¿к, где ¿к — критическое значение коэффициента диффузии. Если же в1 < 0, то происходит жесткая потеря устойчивости — вторичные решения существуют в докритической области d < ¿к, и они неустойчивы [16,17].

Найдем условия, при которых происходит мягкая или жесткая потеря устойчивости. С учетом (65), преобразуем (78) к виду

Ик(Ик +1)

6(4Ик + 5Ик - 1)

/1(Ик) = л, ■ 51 (Ик);

_ (1 - Ик) (4

где 51 (Ик) и 52(Ик) находятся по формулам

/2(Ик) = 6(4Ик + 5Ик - 1) ' 52(Ик), (79)

51(Ик) = 12Ик + 29Ик - 1;

52(Ик) = 24Ик + 9Ик - 34Ик + 5. (80) Введем обозначение у = Ик, 0 < у < 1. Тогда / (у) в (77) имеет вид

г( ) (1+ у)(у251(у)+ т(1 - у)52(у)) (81)

/(у) =-6(4у2 + 5у - 1)-. (81)

Наша цель — исследовать знак функции /(у). Воспользовавшись выражением Ик = (Пт)2, найдем пределы изменения у, когда длина отрезка £ € [£к-1,к , £к,к+1]. Имеем неравенство

пк \2 /як \2

< у М «- , (82)

„£к,к+1/ \£к-1,к где £к,т определены в (27).

При к = 1 имеем:

.¿)2 <' Ч^^)2. (83)

Учитывая выражения £0,1 = п и £12, при к = 1 приходим к неравенству

у* < у < 1, у* = л/41 - 5 - 0.1754, (84)

о

где у* — положительный корень уравнения 4у2 + 5у - 1 = 0, которое получается из условия У1 = 1. Таким образом, при у > у* знаменатель в (81) положителен. При к = 2 из (82) и (84) приходим к равенству

4 Г-П) < у < 4у*; 0.2607 < у < 0.7016. (85)

£2,з

Последнее неравенство в (85) получено в результате приближенных вычислений.

Легко видеть, что с ростом волнового числа к длина промежутка изменения у (82) уменьшается. С учетом неравенств (32), (33) легко показать, что в пределе данный промежуток стягивается в точку, которая принадлежит всем рассматриваемым промежуткам.

Утверждение 6. При к ^ то промежуток изменения у стягивается в точку минимума у0 = л/2 - 1 функции ¿(у) (25).

Из (81) и (84) заключаем, что для того, чтобы выражение в1 имело знак плюс, достаточно, чтобы функция

ОД= у251(у)+ т(1 - у)52(у) (86)

была положительна, когда у принадлежит промежутку (83), а т меняется на интервале (0, 1).

Заметим, что при т = 0 функция О (у) положительна. Исследование О (у) показывает, что она положительна при всех у, принадлежащих максимально возможному промежутку изменения у € [у*; 1], если параметр т мал, а именно т € (0; 0.2059).

Кроме того, существует промежуток изменения у € (у\; 1), где у\ ~ 0.47, на котором О (у) положительна при всех т € (0; 1).

3.4.3. Условие разрешимости в двумерном случае. Для рассмотренных ранее собственных значений первого и второго типа, когда один из индексов п или т обращается в нуль, проходят рассуждения одномерного случая (74)-(81).

Пусть для определенности т = 0, п = 0. Тогда для нахождения квадрата амплитуды получим то же выражение, что и в одномерном случае (77). Для определения типа потери

устойчивости необходимо найти промежуток изменения переменной у = ^^.

2

Воспользовавшись выражением ^^ = П^к, найдем пределы изменения у, когда сторона прямоугольника а € (ад—^, а^к+1). Вместо (82) приходим к неравенству

2 2

я2уд (87) < у < -, (87)

где а^к+1 определены в (39). При к = 1 имеем:

22 ак,к+1 ак-1,к

22

Л2У1 Л2У1 „ ч

-21 < у < "21. (88)

а1,2 а0,1

Учитывая выражения аод и а^2, при к = 1 приходим к неравенству

уо < у < 1, уо = + ^ ^ 0.3445. (89)

Так как уо > у*, то при у > уо знаменатель в (81) положителен. Легко видеть, что утверждение 6 справедливо и в двумерном случае. Достаточные условия мягкой потери устойчивости, сформулированные в конце предыдущего пункта, справедливы также и в двумерном случае.

3.4.4. Стационарные решения. Рассмотрев старшие члены разложения решения по степеням е, заключаем, что в (75) коэффициент Р2 = 0. Суммируя полученные результаты, приходим к утверждению.

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

Утверждение 7. Пусть к — критическое волновое число; в одномерном случае длина отрезка £ заключена в промежутке £ € (£к-1,к, £к,к+1), в двумерном случае при т = 0, п = 0 (68) сторона прямоугольника а принадлежит промежутку а € (ак-1,к, а^к+О- Тогда при т € (0; 0.2059) происходит мягкая потеря устойчивости положения равновесия (1; 1) нелинейной системы и при малых ( > ¿к возникают устойчивые вторичные пространственно неоднородные решения

(90)

(и(х); ь(х)) = ± (( - (к)1/2 в1Ск есв ^^х^ + (( - (к) (¿о + ¿(х)) + 0((( - (к)3/2),

где Ск определены в (44),

¿0 = (Со; С2о) ; г(х) = (О,1; С1) есв (^х^ , (91)

коэффициенты Со, Со найдены в (61), а найдены в (66).

0.0020 0.0015 0.0010 0.0005, .

u(x) -0.0005 -0.0010 -0.0015 -0.0020

4

X2

8

10

0

b

0.0010 0.0005

v(x) -0.0005 -0.0010

8

10

0

Рис. 2. Компоненты вторичного решения и(х) (a) и v(x) (b) при к = 2,1 = 3я Fig. 2. Components of the secondary solution и(х) (a) и v(x) (b) at к = 2,1 =

x

2

a

На рис. 2 приведен пример вторичного пространственно неоднородных решения, полученного аналитически, в случае, когда пространственная переменная меняется в прямоугольнике.

Численные расчеты полностью согласуются с утверждениями, полученными аналитически. На рис. 3 приведены результаты численного интегрирования нелинейной системы (48) в случае мягкой потери устойчивости в одномерном случае при начальном условии

u(x, 0) = е cos ( зx

/ \ 5 /2 v(x, 0) = — е cos I —x 9 V 3

(92)

при критическом волновом числе к = 2 и значениях параметров £ = 3п, т = 0.15, е = 0.1, d = ¿2 + е2, где критический коэффициент диффузии ¿2 = 5.85 в соответствии с формулой (22). Решение нестационарной системы за короткий промежуток времени выходит на стационарный режим (90), соответствующий положительному в1 = 0.2. Если в начальном условии (92) заменить

0.10 0.05 и 0 -0.05 -0.10 -

3ж __ 2

__ " f

0.04 0.02 -V 0-0.02 --0.04 -

0

b

* 6 8

3_ 2 2 2 x

Рис. 3. Численное решение и(х, t) (a) и v(x, t) (b) нелинейной нестационарной системы при т = 0.15 с начальными условиями, близкими к стационарному состоянию

Fig. 3. Numerical solution u(x, t) (a) and v(x, t) (b) of a non-linear non-stationary system for т = 0.15 with initial conditions close to the stationary state

X

a

a

и 0

-0.05

-0.10

0.10

0.05

Рис. 4. Численное решение u(x, t) (a) и v(x, t) (b) нелинейной нестационарной системы при т = 0.95 с начальными условиями, близкими к стационарному состоянию

Fig. 4. Numerical solution u(x, t) (a) and v(x, t) (b) of a non-linear non-stationary system for т = 0.95 with initial conditions close to the stationary state

£ на —£, то в нелинейной системе устанавливается режим, соответствующий знаку «минус» в формуле (90).

Если значение т берется из области, соответствующей жесткой потере устойчивости, то есть близко к единице (на рис. 4 значение т = 0.95, остальные параметры те же, что на рис. 3), то в численных экспериментах положение равновесия теряет устойчивость, но выхода на стационарный режим не происходит.

1. Область неустойчивости Тьюринга. Найдена область необходимых и достаточных условий неустойчивости Тьюринга для системы Гирера-Мейнхардта с параметром релаксации на плоскости параметров (т, (), где т — параметр релаксации, а ( — коэффициент диффузии.

2. Критический коэффициент диффузии. Найдено явное выражение критического коэффициента диффузии, когда система рассматривается в произвольной ограниченной области. Показано, что критический коэффициент диффузии зависит от собственных значений оператора Лапласа в данной области. Установлена зависимость критического коэффициента диффузии от характерного размера области в случае отрезка и прямоугольника. Явно найдены выражения длины отрезка и длины стороны прямоугольника, при которых происходит «смена» критического волнового числа. Данные выражения найдены из условия равенства единице некоторой комбинации собственных значений оператора Лапласа у^. Показано, что для указанных областей для каждого критического волнового числа существует единственное значение характерного размера, при котором необходимые и достаточные условия неустойчивости Тьюринга совпадают. Этому значению соответствует точка минимума коэффициента диффузии, рассматриваемого как функция от длины отрезка в одномерном случае или стороны прямоугольника в двумерном случае. Проведено сравнение с условиями неустойчивости Тьюринга для системы Шнакенберга.

3. Тьюринговы структуры. Методом Ляпунова-Шмидта явно найдены несколько первых членов рядов по степеням надкритичности, когда коэффициент диффузии находится в окрестности критического значения. Рассмотрения проведены для отрезка, а также для прямоугольника в случае, когда собственные функции оператора Лапласа имеют ту же структуру,

Заключение

что в одномерном случае. Получены достаточные условия мягкой потери устойчивости, приведены примеры вторичных решений нелинейных уравнений. Предложенный подход носит общий характер и может быть распространен на другие системы реакции-диффузии. Например, систему Шнакенберга, ФитцХью-Нагумо, Грэя-Скотта, модель «брюселлятор» и другие.

Список литературы

1. Wei J., Winter M. Mathematical Aspects of Pattern Formation in Biological Systems. London: Springer, 2014. 319 p. DOI: 10.1007/978-1-4471-5526-3.

2. Костин В. А., Осипов Г. В. Неустойчивость однородного состояния и двухдоменные пространственно-временные структуры в реакционно-диффузионных системах с глобальной связью // Известия вузов. ПНД. 2021. T. 29, № 1. С. 186-207. DOI: 10.18500/0869-6632-202129-1-186-207.

3. Цибулин В. Г., Ха Т.Д., Зеленчук П. А. Нелинейная динамика системы хищник-жертва на неоднородном ареале и сценарии локального взаимодействия видов // Известия вузов. ПНД. 2021. T. 29, № 5. С. 751-764. DOI: 10.18500/0869-6632-2021-29-5-751-764.

4. Казарников А. В., Ревина С. В. Возникновение автоколебаний в системе Рэлея с диффузией // Вестник ЮУрГУ. Сер. «Математическое моделирование и программирование». 2016. Т. 9, № 2. С. 16-28. DOI: 10.14529/mmp160202.

5. Казарников А. В., Ревина С. В. Асимптотика стационарных решений в системе Рэлея с диффузией // Известия вузов. Северо-Кавказский регион. Естественные науки. 2016. № 3 (191). С. 13-19. DOI: 10.18522/0321-3005-2016-3-13-19.

6. Казарников А. В., Ревина С. В. Бифуркации в системе Рэлея с диффузией // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2017. Т. 27, № 4. С. 499-514. DOI: 10.20537/vm170402.

7. Казарников А. В., Ревина С. В. Монотонная неустойчивость в системе ФитцХью-Нагумо с диффузией // Известия вузов. Северо-Кавказский регион. Естественные науки. 2018. № 4 (200). С. 18-24. DOI: 10.23683/0321-3005-2018-4-18-24.

8. Turing A. M. The chemical basis of morphogenesis // Phil. Trans. R. Soc. Lond. B. 1952. Vol. 237, no. 641. P. 37-72. DOI: 10.1098/rstb.1952.0012.

9. Murray J.D. Mathematical Biology II: Spatial Models and Biomedical Applications. 3d edition. New York: Springer, 2003. 814 p. DOI: 10.1007/b98869.

10. Ревина С. В., Лысенко С. А. Достаточные условия неустойчивости Тьюринга для системы Шнакенберга // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2021. Т. 31, № 3. С. 424-442. DOI: 10.35634/vm210306.

11. Ревина С. В. Область диффузионной неустойчивости для систем параболических уравнений // Владикавказский математический журнал. 2022. Т. 24, № 4. С. 117-126. DOI: 10.46698/ d6373-9335-7338-n.

12. Gierer A., Meinhardt H. A theory of biological pattern formation // Kybernetik. 1972. Vol. 12, no. 1. P. 30-39. DOI: 10.1007/BF00289234.

13. Meinhardt H.Models of biological pattern formation: From elementary steps to the organization of embryonic axes // Current Topics in Developmental Biology. 2008. Vol. 81. P. 1-63. DOI: 10.1016/S0070-2153(07)81001-5.

14. Gomez D., Ward M. J., Wei J. An asymptotic analysis of localized three-dimensional spot patterns for the Gierer-Meinhardt model: Existence, linear stability, and slow dynamics // SIAM Journal on Applied Mathematics. 2021. Vol. 81, no. 2. P. 378-406. DOI: 10.1137/20M135707X.

15. Chen M., Wu R., Chen L. Pattern dynamics in a diffusive Gierer-Meinhardt model // International Journal of Bifurcation and Chaos. 2020. Vol. 30, no. 12. P. 2030035. DOI: 10.1142/S02181274 20300359.

16. Юдович В. ЖПример потери устойчивости и рождения вторичного течения жидкости в замкнутом сосуде // Математический сборник (новая серия). 1967. Т. 74(116), № 4. С.565-579.

17. Юдович В. ^Исследование автоколебаний сплошной среды, возникающих при потере устойчивости стационарного режима // Прикладная математика и механика. 1972. Т. 36, № 3. С. 450-459.

18. Revina S. V. Long wavelength asymptotics of self-oscillations of viscous incompressible fluid // In: Kusraev A. G., Totieva Z. D. (eds) Operator Theory and Differential Equations. Trends in Mathematics. Cham: Birkhauser, 2021. P. 185-203. DOI: 10.1007/978-3-030-49763-7_15.

References

1. Wei J, Winter M. Mathematical Aspects of Pattern Formation in Biological Systems. London: Springer; 2014. 319 p. DOI: 10.1007/978-1-4471-5526-3.

2. Kostin VA, Osipov GV. Instability of homogeneous state and two-domain spatiotemporal structures in reaction-diffusion systems with global coupling. Izvestiya VUZ. Applied Nonlinear Dynamics. 2021;29(1):186-207 (in Russian). DOI: 10.18500/0869-6632-2021-29-1-186-207.

3. Tsybulin VG, Ha TD, Zelenchuk PA. Nonlinear dynamics of the predator - prey system in a heterogeneous habitat and scenarios of local interaction of species. Izvestiya VUZ. Applied Nonlinear Dynamics. 2021;29(5):751-764 (in Russian). DOI: 10.18500/0869-6632-2021-29-5751-764.

4. Kazarnikov AV, Revina SV. The onset of auto-oscillations in Rayleigh system with diffusion. Bulletin of the South Ural State University. Ser. Mathematical Modelling, Programming & Computer Software. 2016;9(2):16-28 (in Russian). DOI: 10.14529/mmp160202.

5. Kazarnikov AV, Revina SV. Asymptotics of stationary solutions of Rayleigh reaction-diffusion system. Bulletin of Higher Education Institutes. North Caucasus Region. Natural Sciences. 2016;(3(191)):13-19 (in Russian). DOI: 10.18522/0321-3005-2016-3-13-19.

6. Kazarnikov AV, Revina SV. Bifurcations in a Rayleigh reaction-diffusion system. The Bulletin of Udmurt University. Mathematics. Mechanics. Computer Science. 2017;27(4):499-514 (in Russian). DOI: 10.20537/vm170402.

7. Kazarnikov AV, Revina SV. Monotonous instability in Fitzhugh-Nagumo reaction-diffusion system. Bulletin of Higher Education Institutes. North Caucasus Region. Natural Sciences. 2018;(4(200)):18-24 (in Russian). DOI: 10.23683/0321-3005-2018-4-18-24.

8. Turing AM. The chemical basis of morphogenesis. Phil. Trans. R. Soc. Lond. B. 1952;237(641): 37-72. DOI: 10.1098/rstb.1952.0012.

9. Murray JD. Mathematical Biology II: Spatial Models and Biomedical Applications. 3d edition. New York: Springer; 2003. 814 p. DOI: 10.1007/b98869.

10. Revina SV, Lysenko SA. Sufficient Turing instability conditions for the Schnakenberg system. The Bulletin of Udmurt University. Mathematics. Mechanics. Computer Science. 2021;31(3):424-442. DOI: 10.35634/vm210306.

11. Revina SV. Diffusion instability region for systems of parabolic equations. Vladikavkaz Mathematical Journal. 2022;24(4):117-126 (in Russian). DOI: 10.46698/d6373-9335-7338-n.

12. Gierer A, Meinhardt H. A theory of biological pattern formation. Kybernetik. 1972;12(1):30-39. DOI: 10.1007/BF00289234.

13. Meinhardt H. Models of biological pattern formation: From elementary steps to the organization of embryonic axes. Current Topics in Developmental Biology. 2008;81:1-63. DOI: 10.1016/S0070-2153(07)81001-5.

14. Gomez D, Ward MJ, Wei J. An asymptotic analysis of localized three-dimensional spot patterns for the Gierer-Meinhardt model: Existence, linear stability, and slow dynamics. SIAM Journal on Applied Mathematics. 2021;81(2):378-406. DOI: 10.1137/20M135707X.

15. Chen M, Wu R, Chen L. Pattern dynamics in a diffusive Gierer-Meinhardt model. International Journal of Bifurcation and Chaos. 2020;30(12):2030035. DOI: 10.1142/S0218127420300359.

16. Yudovich VI. An example of loss of stability and generation of a secondary flow in a closed vessel. Mathematics of the USSR-Sbornik. 1967;3(4):519-533. DOI: 10.1070/SM1967v003n04 ABEH002764.

17. Iudovich VI. Investigation of auto-oscillations of a continuous medium, occurring at loss of stability of a stationary mode. Journal of Applied Mathematics and Mechanics. 1972;36(3): 424-432. DOI: 10.1016/0021-8928(72)90055-X.

18. Revina SV. Long wavelength asymptotics of self-oscillations of viscous incompressible fluid. In: Kusraev AG, Totieva ZD, editors. Operator Theory and Differential Equations. Trends in Mathematics. Cham: Birkhauser; 2021. P. 185-203. DOI: 10.1007/978-3-030-49763-7_15.

Ревина Светлана Васильевна — окончила механико-математический факультет Ростовского государственного университета по направлению «Прикладная математика и информатика» (1986). Кандидат физико-математических наук (1993, РГУ). С 1998 года работает на кафедре вычислительной математики и математической физики Южного федерального университета в должности доцента, с 2008 года является по совместительству научным сотрудником Южного математического института — филиала ВНЦ РАН. Научные интересы — теория устойчивости и бифуркаций, математическая гидродинамика, уравнения Навье-Стокса, уравнения реакции-диффузии. Опубликовала свыше 50 научных статей по указанным направлениям.

Россия, 344090 Ростов-на-Дону, ул. Мильчакова, 8а

Южный федеральный университет

Россия, 362025 Владикавказ, ул. Ватутина, 53

Южный математический институт ВНЦ РАН

E-mail: [email protected]

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

ORCID: 0000-0002-9216-8892

AuthorID (eLibrary.Ru): 15908

Рябов Анатолий Сергеевич — окончил бакалавриат, а затем магистратуру Института математики, механики и компьютерных наук имени И. И. Воровича в Южном федеральном университете по направлению «Прикладная математика и информатика» (2018), затем аспирантуру по направлению «Математика и механика» (2022, квалификация — исследователь, преподаватель-исследователь). Научные интересы — теория устойчивости и бифуркаций, уравнения реакции-диффузии, теория информации, компьютерные эксперименты. С 2019 года работает инженером-программистом.

Россия, 344090 Ростов-на-Дону, ул. Мильчакова, 8а Южный федеральный университет E-mail: [email protected] ORCID: 0009-0000-9435-9513 AuthorID (eLibrary.Ru): 1191270

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