Неустойчивость при c |
min |
2 означает, что в системе возникает |
|
|
неоднородное распределение концентрации, что представляет собой создание некоторой пространственной структуры. Период такой структуры
при c |
|
определяется характерной “длиной волны” |
|
2 |
. Мы |
min |
|
||||
|
|
|
kmin |
||
|
|
|
|
||
уже говорили о том, что такая неустойчивость называется диффузионной или тьюринговской неустойчивостью, поскольку она возникает только при наличии диффузии. А.Тьюринг был первый, кто установил связь между спонтанным образованием неоднородных структур и механизмом морфогенеза в биологии. Достаточно упомянуть полосы на коже зебры (см. рисунки, представленные в Главе 3, параграф 1), шестиугольники у жирафа и пятна у леопарда.
3.2.3. Бистабильное поведение химических систем
Значительный интерес для биологии представляют химические системы с двумя и более устойчивыми состояниями (триггерные системы). Модели с несколькими устойчивыми состояниями важны для объяснения механизмов мышления (химические ячейки памяти, логические элементы), мембранных процессов, а также процесса дифференциации в теории происхождения видов. Мы проанализируем поведение бистабильной химической системы на примере простой системы с одной степенью свободы (реакция Шлеёгля):
A 2X k1 3X
k 1
X k2 F .
k 2
Если обозначить за C концентрацию элемента X, то для нее получим следующее уравнение
dC |
k C C2 |
C |
C3 |
k C k |
C |
|
. |
(BME.21) |
|
F |
|||||||
dt |
1 A |
|
1 |
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
Эти превращения соответствуют автокаталитическому производству вещества X из исходного вещества A и последующему разложению в конечный продукт F. Концентрация исходного вещества и конечного продукта поддерживаются постоянными. С химической точки зрения реакция Шлеёгля является искусственной, так как соответствует процессу, в котором участвуют 3 молекулы. Обычно считается, что такие процессы происходят очень редко. Намного чаще имеют место бимолекулярные
156
процессы. Можно, однако, получить необходимый нам трехмолекулярный процесс из последовательных бимолекулярных процессов:
A X Y
Y X 3X
Если обозначить за C концентрацию элемента X, то для нее получим следующее уравнение
dX |
X 3 X 2 X . |
(BME.22) |
|
dt |
|||
|
|
Стационарные состояния получаются как корни кубического уравнения
X X 2 X 3 , (BME.23)
в котором величины , , X 0 . Это уравнение в зависимости от параметров β и γ может иметь либо один, либо три действительных корня рис. BME_2.
Рис. BME_2. Зависимость правой части уравнения (BME.22) от X.
Легко видеть, |
что при |
c и |
c |
( c 1 / 27 , c Xc 1 / 3) |
возможны 3 действительных корня |
X (1) , X (2) , |
X (3) из которых только два |
||
крайних, X (1) |
и X (3) , соответствуют устойчивым стационарным состояниям. |
|||
Значение X (2) |
− соответствует состоянию неустойчивого равновесия. |
|||
Таким образом, можно провести тесную аналогию между этой химической реакцией и фазовым переходом I рода, в частности, с уравнением состояния реального газа, уравнением Ван-дер-Ваальса. Двум фазам соответствует в бистабильном режиме стационарные устойчивые состояния X (1) и X (2) .
157
3.3. Численное решение модели брюсселятора с двумя постоянными A и B, учитывающей процессы диффузии двух компонент
3.3.1. Анализ устойчивости
Пространственно-распределенная модель Брюсселятора задается системой дифференциальных уравнений в частных производных:
X1 |
A B 1 X1 X12 X 2 D1 X1 ; (NBR.1) |
|||||||
t |
|
|
|
|
|
|
|
|
X 2 |
BX |
1 |
X 2 X |
2 |
D X |
2 |
. |
(NBR.2) |
t |
|
1 |
2 |
|
|
|||
|
|
|
|
|
|
|
|
|
Параметры A, B 0 – безразмерные |
|
постоянные |
концентрации |
|||||
поступающих реагентов. Вследствие своей простоты, модель часто становится предметом аналитических и численных исследований. Пространственно-временная динамика данной модели изучалась в работах
[G. Nicolis, I. Prigogine. Self-Organization in Nonequilibrium Systems. Wiley, New York, 1977.] [A. de Wit. Spatial patterns and spatiotemporal dynamics in chemical systems. Advances in Chemical Physics, 109:435–513, 1999], [B. Pena, C. Perez-Garcia. Stability of Turing patterns in the Brusselator model. Phys. Rev. E, 64:056213, 2001]. Мы уделим наше внимание численным результатам
решения |
модели |
Брюсселятора |
на |
двумерной |
квадратной |
плоскости |
||||||||||
x, y |
, где |
безразмерные переменные |
x, y ограничены размером |
L : |
||||||||||||
0 x L ; |
0 y L . |
В |
таком случае искомые |
величины |
X1 ,t |
и |
||||||||||
X 2 ,t |
зависят |
от |
двумерного |
радиус вектора |
x; y |
Двумерный |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
|
лапласиан |
по |
безразмерным переменным |
имеет |
вид: |
|
|
. |
В |
||||||||
x2 |
y2 |
|||||||||||||||
уравнении |
входит безразмерное время t и |
безразмерные положительные |
||||||||||||||
коэффициенты диффузии |
D1, D2 0 . Краевым условием является условие |
|||||||||||||||
непроницаемости границ, означающее то, что через границу |
области |
|||||||||||||||
нет потоков частиц, связанных как с |
концентрацией |
X1 ,t , |
так и |
с |
||||||||||||
концентрацией |
X 2 ,t . Условие |
непроницаемости границ области |
|
|||||||||||||
можно записать в виде: |
X1 0 ; |
X 2 |
0 , |
где |
n −внешняя |
нормаль к |
||||||||||
|
|
|
|
|
n |
n |
|
|
|
|
|
|
|
|
|
|
границе .
Как и в случае точечных моделей, первым этапом изучения детерминированной распределенной системы брюсселятора (NBR.1),(NBR.2)
158
является исследование устойчивости ее однородного стационарного состояния. Пространственно однородным (гомогенным) стационарным состоянием называется состояние системы, при котором значения
переменных X1 ,t и X 2 ,t |
не зависят |
от |
времени и одинаковы в |
каждой точке пространства. Для |
нахождения |
однородного стационарного |
|
состояния X1 s и X 2 s необходимо решить |
два уравнения |
||
A B 1 X1 s X12 s X 2 s 0; |
|
(NBR.3) |
|
BX1 s X12 s X 2 s 0 . |
|
(NBR.4) |
|
Решение X1 s 0, полученное из уравнения (NBR.4), не удовлетворяет уравнению (NBR.3), так как константа A 0. Следовательно нужно воспользоваться вторым решением (NBR.4): B X1 s X2 s и подставить
это решение в уравнение (NBR.3): |
A |
B 1 X1 s BX1 s 0 . Таким |
||||
образом стационарные |
решения |
X1 s |
|
и X 2 s |
выражаются через |
|
константы модели брюсселятора |
|
|
|
|
|
|
|
X1 s A; |
(NBR.5) |
||||
|
X 2 |
s |
B |
. |
(NBR.6) |
|
|
|
|||||
|
|
|
|
A |
|
|
Пространственно |
однородное стационарное |
состояние является |
||||
устойчивым, если малое возмущение, действующее на систему (в том числе и распределенное в пространстве), вызывает малое отклонение ее решения. Исследование устойчивости в дальнейшем будет проводиться на основе
анализа |
|
линеаризованной |
|
|
системы |
|
уравнений |
|
|
(1). |
Пусть |
||||||||||||
1 |
|
|
1 |
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|||
x |
,t |
|
x |
exp |
|
pt ik |
|
и |
x |
|
,t |
|
x exp |
|
pt ik |
|
|
– малые отклонения |
|||||
от |
пространственно |
однородных |
решений, где x1 |
|
и |
x2 |
|
- постоянные |
|||||||||||||||
амплитуды. |
Множитель |
|
exp pt |
характеризует поведение отклонения от |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
стационарного состояния во времени. Множитель exp |
|
ik |
|
|
характеризует |
||||||||||||||||||
отклонение величин переменных от однородного стационарного состояния в точке с координатой ( x, y ) для собственных функций, соответствующих
двумерному безразмерному волновому вектору k kx ;ky . Двумерная плоская волна exp ik имеет характерный масштаб пространственной
159
протяженности |
2 |
. |
Представим решения |
модели брюсселятора в |
|||||||||||||||||
|
|||||||||||||||||||||
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
виде |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||
X |
|
|
,t |
|
|
A x exp |
|
pt ik |
|
|
|
; |
|
(NBR.7) |
|||||||
|
2 |
|
|
|
|
|
|
B |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
|
,t |
|
|
|
|
x |
|
exp |
|
pt ik |
|
|
. |
(NBR.8) |
||||
|
|
|
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
Выполним процедуру линеаризации нелинейных слагаемых, опуская
аргументы для малых величин x A ; |
x |
|
B |
, и пренебрегая слагаемыми |
|||||||||||||
|
|||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
второго |
порядка |
|
малости. |
В |
таком |
случае |
нелинейное слагаемое |
||||||||||
2 |
|
2 |
|
B |
|
|
2 |
|
|
B |
|
|
|
|
2 |
||
X1 X 2 A x1 |
|
|
|
|
x2 |
A |
2Ax1 |
|
|
|
x2 |
|
AB 2Bx1 A x2 . |
||||
|
A |
A |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Слагаемые нулевого порядка малости, например слагаемое AB , уже нами учтены. Они определили стационарные решения (NBR.5), (NBR.6). Линейными по возмущению слагаемыми являются второе и третье слагаемое
2Bx1 и A2 x2 . Линеаризованная система имеет вид
x1 B 1 x1 2Bx1 A2 x2 D1 x1 t
xt2 Bx1 2Bx1 A2 x2 D2 x2
Приводя подобные слагаемые, получаем
|
|
|
|
|
|
x1 B 1 x1 A2 x2 D1 x1 |
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 Bx A2 x D x |
2 |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
t |
1 |
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Учтем, что |
|
x1,2 ,t |
|
px1,2 |
,t ; а действие двумерного оператора Лапласа |
||||||||||||||
|
t |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
, |
подвергающего |
|
своим |
действием |
только |
exp |
|
ik |
|
, имеет |
вид: |
||||||||
x1,2 |
,t k 2 x1,2 ,t . В слагаемых первого порядка, пропорциональных |
||||||||||||||||||
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
и x |
|
, будут присутствовать одинаковые множители |
exp |
|
pt ik |
|
|
, |
||||||||||
|
|
|
|
|
|
|
160 |
|
|
|
|
|
|
|
|
|
|
|
|
которые можно сократить. В результате получаем систему двух однородных алгебраических уравнений для постоянных амплитуд x1 и x2 .
p 1 B k 2 D1 x1 A2 x2 0 ; |
(NBR.9) |
Bx1 p A2 k 2 D2 x2 0 . |
(NBR.10) |
Нетривиальное решение системы двух однородных уравнения для амплитуд x1 и x2 (NBR.9), (NBR.10) требует равенства нулю детерминанта однородной системы уравнений. Характеристическое уравнение для
определения параметра p с постоянными c и |
d имеет вид |
|
||||
p2 cp d 0 ; |
|
|
|
|
|
(NBR.11) |
c A2 1 B D1 D2 k 2 ; |
|
(NBR.12) |
||||
d A2 1 k 2 D1 1 B k 2 D2 D1D2k 4 |
(NBR.13) |
|||||
Корни квадратного уравнения (NRB.11) имеют |
вид |
|
||||
|
|
|
|
|
|
|
p |
c |
|
c2 4d |
|
(NBR.14) |
|
|
|
|
|
|
||
1,2 |
|
2 |
|
|
|
|
|
|
|
|
|
||
Если для корней дисперсионного уравнения p1,2 выполняется неравенство Re p1,2 0 , то стационарное состояние является устойчивым.
3.3.2. Устойчивость модели Брюсселятора с двумя постоянными A и B
при отсутствии диффузии D1 D2 0
Константы c и d (NBR.12), (NBR.13) в частном случае D1 D2 0 равны:
c A2 1 B ; d A2 . Корни квадратного уравнения (NBR.14) имеют вид
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A2 1 B |
|
|
|
|
2 B |
|
|
2 B |
|
||
|
|
|
|
|
|
A 1 |
|
A 1 |
|
||||
p1,2 |
|
|
|
|
|
|
|
|
|
|
|
|
(NBR.15) |
|
|
|
|
|
|
|
2 |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
Согласно первому соотношению теоремы Виета произведение корней квадратного уравнения p2 cp d 0 равняется p1 p2 d A2 0 . Это означает, что корни квадратного уравнения должны быть либо
действительными |
p p* , |
p |
p* , либо комплексно сопряженными |
|
|
1 |
1 |
2 |
2 |
|
|
|
|
161 |
p p* . |
Согласно |
второму |
соотношению |
теоремы |
Виета |
p p |
c , |
||||||||||||||
2 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
|
|
|
|
причем c |
- |
вещественная |
величина. Если корни квадратного уравнения – |
||||||||||||||||||
вещественные |
p p |
, |
p |
p |
, |
p |
p |
c , то |
Re p |
|
|
c |
. |
||||||||
max |
|
||||||||||||||||||||
|
|
|
|
|
|
1 |
min |
2 |
max |
min |
max |
|
|
|
|
2 |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Если |
корни |
|
квадратного |
уравнения |
комплексные, |
то в |
соотношении |
||||||||||||||
p1 p2 c |
сокращаются мнимые части, и снова получается соотношение |
||||||||||||||||||||
Re p |
c |
. |
Следовательно, если |
величина |
c A2 1 B 0 , то реальная |
||||||||||||||||
|
|||||||||||||||||||||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
часть |
корней |
квадратного |
уравнения |
отрицательна |
Re p |
c |
0, что |
||||||||||||||
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
является условием устойчивости модели Брюсселятора без диффузии. Таким, образом, критерием устойчивости модели Брюсселятора без диффузии
является следующее соотношение между коэффициентами A и B |
c 0 |
B Bc A2 1 |
(NBR.15) |
Если неравенство (NBR.15) нарушается, то такое состояние равновесное состояние становится неустойчивым. На рис. NBR_1-NBR_7 построены фазовые траектории модели брюсселятора (NBR.1), (NBR.2) без диффузии
D1 D2 0 |
для различных |
значений постоянных A и B и различных |
начальных условий X1 0 и X 2 (0) . |
||
Если |
B Bc A2 1, |
то неподвижная точка представляет собой |
устойчивый фокус (рис. NBR_1-NBR_2)
Рис. NBR_1. Постоянные A 1, |
B 1.9 для |
X1 0 0.5 , |
X2 0 0.5, |
B Bcr A2 1. |
|
|
|
|
162 |
|
|
Рис. NBR_2. Постоянные |
A 1, |
B 1.9 |
для X1 0 3, |
X 2 0 3. |
|
B Bcr A2 |
1. |
|
|
|
|
Если |
B Bc A2 1, |
то имеет место случай с предельным циклом, |
|||
независимо от начальных значений |
X1 0 и |
X 2 0 (рис. NBR_3-NBR_5). |
|||
Частота колебаний в таком предельном цикле определяется определенными соотношениями, зависящими от постоянных A и B . Любая начальная точка X1 0 и X 2 0 со временем приближается к одной и той же замкнутой
изолированной траектории – предельному циклу.
Рис. NBR_3. Постоянные A 1, |
B 2.5 для |
X1 0 0.5 , |
X2 0 0.5, |
B Bcr A2 1. |
|
|
|
163
Рис. NBR_4. Постоянные A 1, |
B 2.5 для |
X1 0 1.1, |
X2 0 2.4 , |
B Bcr A2 1. |
|
|
|
Рис. |
NBR_5. Постоянные A 1, |
B 2.5 для |
X1 0 4 , |
X 2 0 4 , |
B Bcr A2 1 |
|
|
|
|
На |
рис. NBR_6-NBR_7 показано |
существование |
предельного |
цикла для |
A 1, B 4 в случае B Bc A2 1, для двух различных пар начальных состояний X1 0 и X 2 0 .
164
Рис. NBR_6. Постоянные A 1, |
B 4 для |
X1 0 0.5 , |
X2 0 0.5, |
B Bcr A2 1. |
|
|
|
Рис. NBR_7. Постоянные A 1, |
B 4 |
для |
X1 0 1.1, |
X2 0 3.9 , |
||
B Bcr A2 1 . |
|
|
|
|
|
|
Таким образом, модель брюсселятора без |
диффузии |
D1 D2 0 |
в |
|||
случае B Bc A2 1 демонстрирует |
автоколебательное |
|
поведение |
в |
||
пространственно-однородном случае |
протекания |
химических реакций. Если |
||||
учитываются процессы диффузии D1, D2 0 , то |
в этом случае необходимо |
|||||
решать уравнения в частных производных, учитывающие зависимости
концентраций от координат и |
времени X1 ,t , X 2 ,t . Устойчивость |
||
таких решений будет проанализирована в следующем разделе. |
|||
3.3.3. Устойчивость модели Брюсселятора с двумя постоянными A и B |
|||
при учете диффузии двух компонент D1, D2 0 |
|||
Простой анализ постоянной d |
(NBR.13) показывает, что при увеличении |
||
|
|
|
|
постоянной B 1 постоянная |
d |
d |
0 может стать отрицательной. |
|
165 |
|
|
