Добавил:
tg: @Yr66gi4 Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

экзамен / Билеты по синергетике

.pdf
Скачиваний:
0
Добавлен:
08.01.2026
Размер:
13.78 Mб
Скачать

Неустойчивость при 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