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

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

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

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

больших значений / в моделях

типа реакция - диффузия и

других распределенных системах.

Обратим внимание на одну

из таких областей параметров.

 

В системе (3.12) может наблюдаться интересное

явление. С начальных данных общего вида, не обладающих

какой-либо

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

симметрией,

происходит

выход

на

четные

автомодельные

 

решения

вида

(3.2)

(W(x,t)

=

W(l

- x,t), p2m+1

=

0,

m =

0, 1,

2, ...).

Об­

ласть,

где

это

происходит, лежит

в интервале

0 <

^ 1,2

и обозначена на рис. 8.1 как область четных автомодельных решений. В отличие от большинства открытых нелинейных сис­

тем,

где происходит спонтанная потеря симметрии [151,193],

здесь

наблюдается

ее

спонтанное возникновение. При

t —* оо

решение обладает

симметрией, которой нет у начальных дан­

ных.

Четное

решение удовлетворяет условию отсутствия пото­

ков в

точке

х =

1/2.

Поэтому его можно получить,

рассмат­

ривая асимптотику решений задачи

(3.12)

в области

вдвое

меньшей

длины. Нелинейная система

распадается при

t —* оо

на две

одинаковые невзаимодействующие

подсистемы.

Более

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

341

Объяснение этого явления, опирающееся на более слож­

ную трехмодовую систему (учитывающую изменение нулевой,

первой и второй гармоники), было предложено в работах

[20, 22, 24]. Типичная картина изменения параметров авто­

модельного решения с

ростом

с 1

показана на

рис.

8.3. Шаг

по параметру

здесь

равен

0,01;

с2 = -10,

/ = л.

Сплош­

ные линии соответствуют решениям трехмодовой системы, мар­

керы

-

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

что

они

близки.

При Cj = с '

пространственно однородное

решение

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

решение,

которое

в интервале с" < с^ <

с"' оказывается четным.

Ана­

лиз

устойчивости особых

точек

трехмодовой системы

позволя­

ет определить с", с"', а их координаты с высокой точностью определяют Р0(с i ) и P2(c j) в обсуждаемом диапазоне пара­ метров. Эти результаты хорошо согласуются со значениями, найденными для задачи в частных производных.

Вуравнении Курамото - Цузуки существуют аналоги

аттракторов

упрощенной конечномерной

модели. Встает

воп­

рос, есть ли

бесконечномерные аналоги

у неустойчивых

точек

и циклов. Ответ оказывается положительным. Приведем не­ сколько примеров.

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

ной симметрией. В работах [19, 22] были сформулированы ус­

ловия,

при

которых часть коэффициентов Фурье решений зада­

чи (3.12)

будет равна

нулю

в течение

всего процесса

0 <

/

< ю. Поставим в

соответствие

начальному распределе­

нию

 

^ ( х )

последовательность

целых

чисел

Щ следующим

образом: если п e {L} , то Рп(0) = 0. Другими словами,

содержит

в себе

все номера

гармоник

с ненулевой

амплитудой

(но

может

быть,

не только

их).

 

 

 

 

Справедливы следующие

утверждения.

 

 

 

Л е м м а

8.2.

Если последовательность

такова,

что

для любых

чисел m

{Ц, п

{Ц выполнено

условие

пг ± п е {Ц,

то все коэффициенты Фурье решений задачи

(3.12) с номерами п € {L}

равны нулю при 0 < t < оо.

 

342

Л е м

м а

8.3.

Если последовательность

такова,

что

 

 

 

 

 

_

 

 

1) для всех m,n е

{L} выполнено т ± п {Ц,

 

 

2 ) для всех т,п е

выполнено т ± п € {L},

 

то все коэффициенты Фурье решений задачи (3.12)

с

номерами

п e {L} равны нулю при 0 < / < оо.

 

 

 

Последовательность

вида {0,

m, 2 т ,...}, где

т

- любое

натуральное

число,

удовлетворяет

условиям

леммы

1.

Из нее,

в частности,

следует,

что

при

эволюции

четных

начальных

данных могут возникнуть только четные решения. Лемме 8.2

удовлетворяет последовательность {1,3,5,7,...}.

Что же произойдет, если в области заданной длины пос­

тавить начальные данные, соответствующие различным после­

довательностям { Ц? Из линейного анализа

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

пространственно однородного

решения

(3.9)

следует,

что

если

схс2)/(1 +

с\),

 

 

(тгт//)2< -2(1 +

 

(8.4)

то может возникнуть пространственно неоднородное решение, соответствующее разбиению области на пг одинаковых невзаи­ модействующих частей. Если m достаточно велико, то при / —* со решение, сохраняя свою пространственную симметрию,

будет стремиться к пространственно однородному решению (3.9). Чем больше значение /, тем больше разных m удовлет­

воряют

неравенству

(8.4), и, следовательно, тем выше долж­

на

быть

размерность

упрощенной системы, передающей свойст­

ва

исходной задачи.

 

 

В

работе [22]

численно построены примеры решений, об­

ладающих различной пространственной симметрией. Как прави­ ло, они неустойчивы. Однако решения, соответствующие .одной последовательности {L}, выходят на одно и то же предельное

симметричное

решение,

независимо от конкретного вида на­

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

(важен

только

тип их

симметрии).

 

 

Конечномерный

аналог нечетных

решений

с {L} =

{1, 3,

5,

...}

есть

и

в

простейшей

двухмодовой

системе

(3.14)

-

это

решение

 

 

 

 

 

 

 

 

343

р, = ■/4(1 -

Л2)/3

<р = о> = -Зс2р^/4 -

с / ,

Р0 = 0 (к £ 1),

 

 

которое неустойчиво

относительно возмущений

с pQ * 0. При

I < 4тг т 5гс значения р, и

о> хорошо согласуются с нечетными

решениями задачи в частных

производных [21].

 

§ 8.3. Пространственно-временная упорядоченность, не имеющая аналога в двухмодовой системе.

Задача построения полного набора ав'гомодельных решений

Сравнение рис. 7.12 и рис. 8.1 показывает, что вторая

область

параметров, где решения исходной задачи и

упрощен­

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

друг от

друга,

лежит при с2 —» -со. В упрощенной системе

существует

устойчивая особая точка, в распределенной системе устойчив

простой

цикл

(т.

е.

решение

типа

(8.3), проекция

которого

на

плоскость

{pQ,

 

р,}

совершает

один

оборот

за

период).

Его

период

медленно

уменьшается с

уменьшением

параметра с2

и при

с„

<

-400

становится

постоянным.

Размеры

цикла меня-

ются

закону

~

 

— I / O

Семейство циклов в

этой

области

по

|с2 | .

параметров показано на рис. 8.4. Здесь решения

исходной

задачи и уравнения

 

 

 

 

 

 

 

 

 

 

 

 

 

W= W + (1

+

ic,)

Wx -

ic2\W\2W

 

(8.5)

оказываются близки. Несмотря на то, что пространственно однородные решения последнего уравнения неограниченно воз­ растают при t —» ю, его анализ может оказаться очень по­

лезным.

Поскольку |U?| ~ |с2 |1/2 при С2 —» -ю, то pQ(t) и

р,(f) близки к нулю. Аналог такого решения в двухмодовой системе должен лежать вблизи начала координат, там, где

344

величина П (см. формулу (7.6)) строго положительна и, сле­ довательно, устойчивых циклов нет. Этим обусловлено разли­ чие в поведении решений исходной задачи и упрощенной моде­ ли.

 

 

 

Рис.

8.4

 

 

Расчеты

показывают

[19],

что при с1 =

3 и с2 —» ~ю>

I = тг три-четыре первых коэффициента Фурье функции W срав­

нимы

между собой. Для описания таких решений в уравнении

(3.12)

нужно

учитывать по

крайней мере четыре

гармоники.

Вработе [361] была подробно исследована упрощенная

двухмодовая система для уравнения

(8.5). В ней были

чис­

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

и упорядоченные

реше­

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

уравнении

 

(8.5). Этот

вопрос было

бы интересно иссле­

довать.

 

 

 

 

 

Обычно анализ количества и устойчивости

стационарных

или автомодельных решений модельных уравнений,

возникающих

в теории

 

систем реакция - диффузия, удается провести

только

с

помощью

численных

методов.

По-видимому,

345

исключением является модельное

уравнение для систем с

малой диффузией, обсуждавшееся в гл.З:

Wf = Wxx - 2 nQiW + (а -

n2e2)W + bW\W\2,

Re [WyO.f)] = Re [W ^M )] = Im [Щ 0.0] = Im W l .O ] = 0.

При b > 0 и целых k оно имеет семейство

решений

 

W = A exp(iknx),

А2

=

(а - д2(0 - к)2)/\Ь\.

 

Замена

переменных^

=

A

exp(iknx)

ф(х, t) сводит

задачу

анализа их

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

к

изучению

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

решения

ф= 1 уравнения

Ф( = фхх - 2п(в - k)Vx + [а - п2(в - к)2]ф - \Ь\А2ф\ф\2,

 

МФХМ ] =

R e[^ (l,0] =

Im[0(O,O]

=

lm [^ l,0 ]

= 0.

 

Можно проверить, что решение ф

=

1 будет

устойчиво

при

условии

 

 

 

 

 

 

 

о / 3 + тс*/6 > ir2(0 -

к)2.

 

 

Последнее

неравенство

позволяет

найти

область

устойчивости решений A exp(iknx) для

различных

значений к

(см.

рис. 8.5).

Поскольку

линейной

заменой

переменных

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

а устойчивы несколько решений. Однако проведенные числен­

ные

расчеты

[ДЗ]

показывают,

что

с

ростом

|£|

область

притяжения

решений

быстро

уменьшается.

 

 

 

 

Если

в

уравнении Курамото -

Цузуки

данной

системе ти­

па

реакция

-

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

Су

с2, /,

то

здесь

каждой

системе

отвечает целый

отрезок

а =

const

и

-1

< 0

^ 0. Асимптотический

анализ не

позво­

ляет указать, какое из устойчивых решений будет реализо­ вываться. Так как при а = const их существует несколько

(см. рис. 8.5), то обсуждаемое уравнение обладает чувстви­ тельностью по отношению к малому параметру: при е —» 0 вид решения многократно меняется.

346

Выше обсуждалось изменение решений задачи (3.12) при различных значениях Су с2, когда длина области была фиксирована. Вместе с тем, во многих случаях важно пред­ ставлять, как меняется решение при изменении /. Анализ стационарных диссипативных структур для Систем реакция - диффузия в такой постановке привел к обнаружению зонной структуры: при увеличении длины области структуры могут многократно появляться и исчезать (в последнем случае пространственно однородное решение вновь становится устой­ чивым) [104]. Зонная структура была обнаружена при иссле­ довании модели гетерогенной каталитической реакции на про­ волочке

dt = D10~ " 9е + К1" 7») ехР(в/(1 + 30)).

Vt = D2nxx - щ + k(1 - Г)) ехр(в/(\ + 30))

347

(0 здесь характеризует температуру, 7) - глубину превра­ щения).

 

 

Примеры изменения решений задачи (3.12)

при

росте

I

были

приведены

в работах

[19,

338].

О

границах

применимос­

ти двухмодовой системы позволяют судить

результаты

расче­

тов, представленные на рис. 8.6. На

нем

показано,

как

ведут

себя

параметры

автомодельных

решений

(Pn(t) при

t

— »

—* со)

при

различных

/.

Здесь

=

2,

с2

=

-1,

значения

/,

при

которых проводились

расчеты, помечены

на рисунке

вер-

тикальными отрезками. При / = гс(5/2)

I /л

 

пространственно

“ 5

однородное

решение теряет

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

и

далее

асимптоти­

ку

определяет

автомодельное

решение

вида

(8.2).

Вначале

наибольшие амплитуды имеют нулевая и первая гармоники. По­ ведение системы хорошо описывает упрощенная модель (3.15). Затем первая гармоника убывает, но модель (3.15) можно ис­ пользовать, положив k = 2п// . Начиная с / ~ 18, число гар­ моник с близкими амплитудами быстро возрастает. Прн I ~

* 22 в системе наблюдается сложный колебательный режим. Вопрос о простых и эффективных упрощенных моделях в этой области параметров пока остается открытым.

Выше обсуждались аналоги простейших аттракторов дина­ мических систем в задаче (3.12). Но в динамических систе-

348

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

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

несколько

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

от

началь­

ных данных будет наблюдаться тот или иной из них.

 

Эксперименты

с течением

Куэтта -

Тейлора

показали,

что при

некоторых

значениях

параметров

могут

наблюдаться

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

ческие и многочастотные режимы и несколько типов хаоса

[376]. Поэтому возникает вопрос о том, каков полный набор диссипативных структур, возможных в данной распределенной системе. Ответ на него требует построения полного набора решений определенного типа в изучаемых уравнениях и выяс­

нения «правил отбора» - решения вопроса об устойчивости

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

Примером нелинейных диссипативных систем, для которых эти вопросы решены, являются среды, описываемые уравнением (2.1). В этом случае при t —* со могут существовать только

неограниченные решения или стационарные структуры. Послед­ ние определяются решениями уравнения

Тхх + ЯТ) = °*

<8-6)

которое представляет собой простую консервативную динами­ ческую систему (описывающую движение материальной точки в заданном потенциале). Как мы уже упоминали, вопрос об ус­ тойчивости различных решений также решается аналитически - все решения, имеющие несколько экстремумов во внутренних

точках отрезка,

неустойчивы [90].

 

 

 

 

Полный набор автомодельных решений вида (8.2) может

быть

построен

для уравнения Курамото -

Цузуки

при

= с2.

В работе

[36]

было показано, что уравнение

для

функции

/?(*)

может

быть приведено к виду (8.6),

и с помощью

эллип­

тических интегралов получены аналитические решения. Однако поиск всех решений краевой задачи требует специальных

349

алгоритмов. Графический метод решения этой задачи был

предложен в работе [21]. Численные

расчеты показали, что

здесь (так же как в системе (2.1 ))

устойчивым оказывается

самое простое решение, у которого функция /?(х) имеет мини­

мальное количество экстремумов [2 1].

Важной задачей было бы построение численных алгорит­

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

строить полный

набор

стационарных

структур

в

системах

реакция

-

диффузия

и

все автомодельные решения

уравнения

Курамото

-

Цузуки

в областях

заданной

длины.

По-видимому,

в настоящее время эта задача не решена.

 

 

 

Уравнения, определяющие автомодельные решения уравне­

ний в частных

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

могут

оказатьсядостаточно

сложными. Динамические системы, описывающие автомодельные решения, могут иметь странные аттракторы. В этом случае

говорят о пространственном хаосе в нелинейных системах.

Пример такого хаоса дают решения уравнения Курамото -

Сивашинского,

имеющие

вид

 

 

 

 

 

 

 

u(x,t) =

-c 2t +

v(x).

 

 

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

 

 

d3y

dH

о

У2

 

 

 

dv

<8-7)

^ 3 + Ш = С - ? '

- » < * < “ . (У = Ш>-

В работе

[333]

было показано,

что

при

малых

значениях

9

одно

периодическое

и

бесконечное

множество

с существует

квазипериодических

решении,

при больших с

решение единст­

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

(ниже

с ~ 1 ,6 ) для каждого значения с

существует конти­

нуум

нечетных квазипериодических функций

и(х) или канторо-

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

Пространственный хаос может возникать в диссипативных нелинейных средах, в которых источники и стоки периоди-

350

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