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

книги / Нестационарные структуры и диффузионный хаос

..pdf
Скачиваний:
6
Добавлен:
12.11.2023
Размер:
14.86 Mб
Скачать

Соответствующие дифференциальные уравнения могут быть записаны в виде

X = a ( Y - X Y + X - gX2),

Y = а_1(-У -

XY + fZ),

Z = fj(X - Z).

Для моделей колебательных

реакций характерно наличие

ведущих процессов со значительно различающимися характер­

ными временами, что приводит к появлению малых параметров

в изучаемых уравнениях. Это типично н для модели орегона-

тора

- наибольший

интерес

представляет

диапазон

параметров

а ~

102, ц ~ 10“ 1

* 1СГ3,

g ~ 10- 5 *

10"3, f

1. Релак­

сационные периодические колебания в модели орегонатора хо­ рошо согласуются с наблюдаемыми в эксперименте колебаниями [151].

Однако в

восьмидесятые годы активно изучались не

только модели,

непосредственно связанные с экспериментами,

но и модели для некоторых гипотетических реакций, обладаю­

щих хаотическим поведением. Около десятка таких моделей

было предложено О.Ресслером [65]. Их численный анализ про­ демонстрировал большое разнообразие наблюдаемых странных аттракторов. Исходя из характерных особенностей видовых проекций таких аттракторов, были введены понятия о «спиральном» и «витковом» хаосе, о гиперхаосе. Однако де­ тальный анализ этих моделей методами современной качест­ венной теории обыкновенных дифференциальных уравнений по существу не проводился. Во многом остается неясным, чем обусловлены те или иные особенности наблюдаемых решений. Среди моделей, предложенных О.Рёсслером, наибольшую попу­

лярность

приобрели

две, часто используемые в качестве тес­

тов для

различных

численных методов хаотической динамики

[65].

 

 

331

Это

система

трех

уравнений

 

 

X = -

(Y +

Z),

 

 

Y = X + aY,

 

 

 

Z = Ь +

Z(X - с),

 

имеющая при а = 0,15,

b = 0,20,

с = 10,0 странный аттрак­

тор (ляпуновские

показатели

= 0,13; Л2 = 0,00; Л3 =

= -14,1),

и система четырех

уравнений,

 

 

X =

-

(Y +

Z),

 

 

 

Y = X + aY + W,

 

 

 

Z =

Ь + XZ,

 

 

 

W = cW -

dZ,

 

описывающая при а = 0,25;

b =

3,0; с = 0,05; d = 0,5 ги­

перхаос (Л1 = 0,16; Л2 = 0-03; Л3 = 0,00; Л4 = -39,0).

Сейчас существует

обширная

литература, касающаяся мо­

делей колебательных реакций в системах с идеальным переме­

шиванием. Вместе с тем, огромный теоретический и приклад­

ной интерес представляет анализ хаотических колебаний в

распределенных химических

системах.

В настоящее время

ана­

лиз

этого

важного класса

задач только начат. Можно

ожи­

дать,

что

изучение распределенных

химических систем

вдали

от точки бифуркации приведет к более глубокому пониманию диффузионного хаоса и обнаружению ряда новых качественных особенностей стохастических режимов в распределенных сис­ темах.

Дальнейший прогресс в анализе колебательных химичес­

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

В последние годы было обнаружено, что изменение кон­ центраций реагентов может быть детально изучено экспери­ ментально для ряда сравнительно медленных биохимических

332

реакций [66]. Это позволило выделить из большой совокуп­ ности реакций наиболее важные для моделирования колебаний, определить коэффициенты в соответствующих уравнениях. В отличие от моделей колебательных реакций, для которых ха­ рактерны степенные нелинейности, в биохимических моделях возникают источники вида f(x) = ах/(1 + Ьх).

Хотя размерность возникающих моделей сравнительно ве­ лика (обычно больше 10 ), с их помощью удается хорошо опи­ сывать наблюдаемую в экспериментах картину. Оказалось, что для полученных моделей характерен большой класс стохасти­ ческих режимов [66].

Г Л А В А 8

ОТ КОНЕЧНОМЕРНЫХ СИСТЕМ К НЕЛИНЕЙНЫМ СРЕДАМ

Выше обсуждался ряд конечномерных динамических сис­ тем. В них существуют различные типы притягивающих мно­

жеств -

циклы, неподвижные точки, инвариантные торы,

странные

аттракторы. Встает вопрос, есть ли у этих аттрак­

торов аналоги в уравнениях в частных производных, описы­ вающих нелинейные среды. Какова область применимости мало­

модовых систем, которые часто служат упрощенными моделями

для задач в частных производных? Имеет ли место количест­ венное соответствие между решениями таких систем и решени­ ями исходной задачи или можно надеяться только на близкое

качественное поведение?

Строгие результаты, имеющиеся в этой области, касают­

ся двух предельных случаев. В первом случае с помощью те­ ории бифуркаций показывается, что существование и устой­ чивость решений определенного типа уравнения в частных производных могут быть установлены в результате анализа конечномерной системы. Малым параметром здесь является отклонение от точки бифуркации. Поиск коэффициентов возни­

кающей системы представляется достаточно сложной задачей

[107, 143]. При использовании другого подхода удается по­ казать, что при N £ 77" решения исходных уравнений в частных производных и N обыкновенных дифференциальных уравнений, полученных в результате применения метода Галеркина, в не­ которой норме близки. Обычно значение W в таких оценках оказывается достаточно велико [130].

334

Физический

интерес зачастую

представляет

совершенно

ина^ ситуация -

рассматривается

упрощенная модель малой

размерности

обыкновенных дифференциальных

уравнений,

р « W), с помощью которой хотелось бы предсказывать пове­ дение решений различных типов исходной задачи в некоторой области параметров. (Типичным примером здесь является сис­

тема Лоренца.) Применение таких моделей обычно опирается

на различные физические соображения и результаты вычисли­

тельного эксперимента. При этом важно, чтобы увеличение

числа гармоник в конечномерной системе не приводило к

качественному изменению ее поведения.

К сожалению, система Лоренца и многие другие упрощен­

ные модели, возникающие в задачах гидродинамики, этим

свойством не обладают [244]. (Хотя сама система Лоренца

может оказаться полезной моделью при анализе самых разных

явлений

[193, 373].)

Однако при

анализе систем

типа

реакция -

диффузия

картина может

быть совершенно

иной:

между решениями исходной задачи и простейшей маломодовой системы может существовать не только качественное, но и

количественное соответствие. Примером такой задачи, кото­

рый далее мы рассмотрим более подробно, является поведение решений уравнения Курамото - Цузуки в случае небольших пространственных областей. Этот пример позволит выяснить, какие режимы в нелинейных средах могут соответствовать различным типам аттракторов упрощенной модели и какова область ее применимости, а также обратить внимание на ря, общих вопросов.

§8.1. Простейшие автомодельные решения

ипростые циклы

Следуя

работам

[17, 18, 24, 25], сравним поведение

решений

системы

уравнений

(3.15)

и

задачи

(3.12)

при t —* со. На рис.

8.1 показаны результаты расчетов для

задачи в

частных производных

при / = л

(k =

1). В

качестве

335

начальных данных использовались функции, не обладающие

пространственной симметрией

 

3

cos(2nm x//)

3

 

 

И/П(х) = 2

+ i £ cos((2 m + 1 )nx/l).

 

 

m—0

 

 

m=0

 

На плоскости параметров {c^ c^} удобно выделить не­

сколько

областей, где

асимптотика решений имеет один

и тот

же тип.

Выше линии

АВС (ее

уравнение определяется формулой

(3.10))

обе системы

обладают

одинаковыми свойствами.

В ли­

нейном приближении здесь устойчиво пространственно одно­

родное решение (3.9). В

системе

обыкновенных

дифферен­

циальных

уравнений

 

(3.15)

ему соответствует решение £ = 1,

1)

=

0.

При переходе через линию АВС оно также теряет

устойчивость,

и

возникает

новая

устойчивая

особая

точка с

£

*

1.

Поэтому

при

t —* со

 

£

—* const, 1) —»

const,

0

—» const.

Функции

JC0,

JC ,

yQ,

 

i/ 1

в

системе

(3.14)

меня­

ются

по

гармоническому закону.

 

 

 

 

 

 

 

 

 

 

 

В том же диапазоне параметров в задаче в частных про­

изводных

происходит

выход

на

решения,

у которых

величины

рт ,

т =

0, 1 ,...,

и

величины

Фт , т =

1 ,

2 ,...,

постоянны.

 

 

Здесь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

W =

00

[amcos(nmjc//)

+

ibmcos(nmx/l)],

 

 

 

 

 

 

£

 

 

 

 

 

 

 

 

m=0

 

 

 

 

 

 

 

 

 

 

 

 

( 8. 1)

 

 

 

 

= .Pm008*»'

 

= PMSinP«'

 

= P«"

«V

 

 

 

йт

Ьт

 

 

Это означает, что происходит выход на автомодельное решение изучаемой задачи. Справедлива следующая лемма [19, 24].

Л е м м а 8.1. Пусть W(x,t) - решение задачи (3.12). Необходимым и достаточным условием того, чтобы оно было автомодельным решением вида

 

W = R(x) ехр[&* + ш(ж)],

(8 .2 )

является

выполнение равенств pn(t) = const, ^п(0

= const,

п = 0, 1 ,

2 ........

 

336

Рис.

8.1. Типы аттракторов уравнения Курамото

- Цузуки

в области

I =

Л:

1

-

устойчиво пространственно

однородное

решение, 2

-

решение, у

которо­

го

величины p n(t)

не зависят

от

времени,

3

-

решение,

у которого

PQ(0

и

Pj(t)

определяют

простой цикл,

4 - PQ(0

и

р ^ ( < )

определяют

двойной

цикл, 5 - четное решение, 6 - более сложные режимы. Сплошные линии при­ ближенно указывают положение границ, иа которых аттрактор меняет свой

тип

Таким образом, особым точкам упрощенной системы в ис­

ходной задаче соответствуют автомодельные решения. Типич­ ный вид функции u(x,t) (и =' ReUP) в таком решении показан

на рис. 8.2. Видно, что оно может описывать достаточно сложный колебательный процесс, в ходе которого локальные

337

экстремумы функций и,

v

периодически появляются

и исчеза-

ют, тем не менее величина R = (и2 + v2)1/2 не

зависит от

времени и u(x,t) = ti(x,t

+

ir/(2w)).

 

Естественно сравнивать величины pJt) и pAt), харак-

теризующие решение задачи (3.12), со

значениями £

(t) и

Т)1/2(0 в системе (3.15). Замечательной

особенностью

моде­

ли является хорошее количественное соответствие этих

функ­

ций. Примеры сравнения параметров автомодельных решений и

особых точек,

приведенные

в работах

[22,

24],

показывают,

что

в

обсуждаемой

области параметров они

обычно

согласуют­

ся

с

точностью

в

несколько

процентов.

Нижняя

граница об­

ласти параметров, в которой асимптотику определяет автомо­ дельное решение (участок QNP на рис. 8.1), также близка к границе устойчивости особых точек в упрощенной системе (участок QNP на рис. 7.12). На этой границе происходит би­ фуркация Хопфа. В приближенной системе рождается предель­ ный цикл. В исходной задаче появляются решения, у которых функции pQ(t) и Pj(f) меняются периодически.

338

 

Если с различных начальных данных происходит выход на

одно и то же решение задачи в частных

производных,

в

кото­

ром

\W\ периодически зависит от времени,

то

мы

будем

назы­

вать

такое решение циклом. Выделим в

нем

функции

pQ(t)

и

Р р)

Здесь

снова

удобно

использовать

обозначение

Sn,

где

п

число

оборотов,

которое

делает

 

проекция

решения

на

плоскость {р0,

Pj} за один

период.

 

 

 

 

 

 

 

 

 

 

 

Можно убедиться в справедливости следующего утвержде­

ния

[25].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть решение задачи (3.12) таково, что

 

 

 

 

 

 

 

 

pn(t

+

Т)

=

pn(t),

п =

0,

1, 2........

 

 

 

 

 

 

 

 

 

 

+

Т)

= ¥n(0 + 2irmn,

mne

{0,

±1,

±2,

...•},

 

 

 

 

Р0 * 0

при t € [0,со).

Тогда его можно представить в виде

 

 

 

 

W(x,t) = R(x,t) exp[<(u0f + 0,(0 +

a(x,t))].

 

 

 

(8.3)

где

R(x,t +

T)

= R(x,t), u p

 

+

 

T)

= up),

 

 

 

 

 

 

 

a(x,t

+

T) =

a(x,t) +

 

2irp,

p

{0,±1,±2,...},

o>0 =

 

Таким образом, бифуркация Хопфа в задаче (3.12) будет

связана с переходом от автомодельных

решений вида (8.2 ) к

более

сложным

решениям вида

(8.3),

в

которых

есть

две

в

общем

случае

независимые

частоты.

 

 

 

 

 

 

 

 

 

 

Сравнение

рис.

7.12 и рис.

8.1

показывает,

что

 

реше­

ния двухмодовой системы (3.15) и уравнения в частных про­ изводных качественно ведут себя одинаково при изменении параметров с1 и с2. В обоих случаях плоскость параметров

разбивается на похожие области,

в которых решения

не меня­

ют свой тип. Однако границы

областей

несколько

смещены.

Это естественно: поскольку на

границах

происходит

ветвле­

ние решений, то на их положение оказывают влияние высшие

гармоники.

 

 

 

Выше

границы

перехода

к сложным решениям (см.

рис. 8.1 )

амплитуды

и периоды

простыв циклов в системе

339

(3.15) и в задаче в

частных производных отличаются не бо­

лее чем на 10 -

15%.

Ниже области сложных решений периоды

циклов близки,

хотя

их размеры могут отличаться в несколь­

ко раз. Причиной того, что размеры не совпадают, является влияние второй гармоники [20, 25].

В упрощенной модели (3.15) в широком диапазоне изме­

нения параметра с2 период

простых

циклов от

этого парамет­

ра не зависел. Оказывается,

что в

исходном

уравнении на­

блюдается та же закономерность, причем значения периода в

обоих случаях близки. Можно ожидать, что эффект постоянст­

ва периода характерен для многих двухкомпонентных систем в

окрестности точки бифуркации.

Во многих работах, где исследуются диссипативные структуры, отмечается независимость возникающих структур

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

начальных

данных («забывание»

деталей

начальных данных

[151, 193]),

от краевых условий

(эффекты

локализации про­

цессов [121]). Здесь мы видим новый тип независимости про­

цессов от параметра. Величина с2 определяет частоту коле­

баний пространственно однородного решения (3.9). Диссипа­ тивные процессы приводят к тому, что частота модуляции ко­

лебаний

всей системы (которую и определяет период цикла)

от с2 не

зависит.

§8.2. Другие автомодельные

ипространственно-симметричные решения

Мы рассмотрели несколько областей параметров, где

простым циклам и особым точкам двухмодовой системы удается сопоставить решения задачи в частных производных. Уменьше­ ние значения / приводит к улучшению количественного соот­ ветствия этих решений. Однако уже при / = п существуют об­ ласти параметров, которые не могут быть предсказаны с по­ мощью двухмодовой системы, учитывающей только нулевую и

340

Соседние файлы в папке книги