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

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

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

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

ющих

при

этом,

 

показано

на

рис.

9.4. Мы

видели,

что в

семействах

с острой вершиной сценарий перехода

к

хаосу

может

быть

очень

сложным.

В проведенных

расчетах

«при

с2 =

-4,1

и

с2

=

-4,16 наблюдались

соответственно

устойчи­

вые циклы

S1

и

S2, однако

переход к

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

режимам

в этом случае подробно не исследовался. Появляющиеся далее стохастические режимы порождают одномерные отображения. Вначале функция f имеет один острый максимум, как и в слу­ чае двухмодовой системы (см. рис. 7.23).

В упрощенной модели (3.15) при уменьшении параметра

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

производных

функция f

ведет себя более сложным

образом.

Если уменьшать

параметр

с2>

то решение изменяется так, что

у

функции

f

появляется

минимум

'(см. рис.

9.4)

(с2 ~

~

-5,3), а

затем

еще

один

острый

максимум

(с2

«

-6,0).

(Такое же явление наблюдалось и в некоторых системах обык­ новенных дифференциальных уравнений и, в частности, в сис­

теме

Лоренца при

определенных

значениях параметров [373].)

При

с2 и -6 ,0

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

отображения (9.1) теряется,

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

дично. Потом

происходит

еще одна

перестройка, после

кото­

рой функция

f

становится

гладкой и однозначной

(см.

рис.

9.2).

 

 

 

 

 

 

Рассмотрим

теперь

область

параметров III

(см.

рис.

7.12). В двухмодовой системе здесь наблюдаются неперио­

дические

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

зависимость

Мп+^(Мп) не опре­

деляет одномерных отображений. Оказывается, такое

измене­

ние не связано с увеличением

размерности

аттрактора.

Пояс­

ним это обстоятельство.

 

 

 

При

исследовании систем

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

ных уравнений часто рассматривают расположение точек пере­ сечения траекторий с некоторой секущей поверхностью и соответствующие (АМ)-мерные отображения (в системе (3.15)

361

локальные

максимумы pQ =

0). Если

поверхность

выбрана

неудачно,

то некоторые витки не будут пересекать

ее, дру­

гие же

могут пересекать

несколько

раз. В этом

случае

свойства отображения и исходных уравнений существенно отличаются.

Решения системы (3.15) в указанной области параметров

действительно устроены так, что на некоторых витках функ­ ция р0(t) несколько раз достигает локального максимума.

(Причиной является появление устойчивой особой

точки

на

линии EF [20].) Если учесть этот факт и выбросить

из

последовательности {Af^} «лишние» элементы, то

оставшиеся

точки будут определять одномерное отображение.

 

 

Близкая картина наблюдается и в уравнении в частных производных.

На рис. 9.5 показана проекция типичного непериодичес­ кого решения на плоскость (р0, р^ в этой области парамет­ ров. Видно, что на различных витках pQ(t) имеет различное количество максимумов. При некоторых значениях параметра

362

точки {Мп, Мп+1} заполняют

целые участки плоскости, напри­

мер так, как показано на рис.

9.6.

В уравнении

(3.8) могут реализоваться и другие сцена­

рии возникновения

хаоса. В работе [338] подробно рассмот­

рена задача Коши (-со < х < со) для уравнения (3.8) с на­ чальными данными вида

W(x,0) =

1 +

0,2

cos(qx),

 

 

(9.2)

(что эквивалентно второй

краевой

задаче с

условиями

отсут­

ствия потоков на границах отрезка [0, п/q]).

t

—» со в

 

Исследовалось поведение

решений

при

зависи­

мости от двух параметров cQ и q (с1 =

- с 2

=

1/Сд). Положив

с0 = 0,25 и уменьшая q (что эквивалентно увеличению длины области), авторы наблюдали рождение предельного цикла в результате бифуркации Хопфа (в переменных рп; в исходных

переменных это рождение 2-тора из предельного цикла), за­

тем появление 2-тора (3-тора в исходных переменных) и

хаотические

режимы.

 

 

 

 

 

 

 

 

 

В этой

работе

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

различные методы

обра­

ботки

решений, однако очень

эффективным оказался

следующий

подход.

 

Величина

 

л

разлагалась

 

в

ряд

Фурье

 

|№(х,*)|

 

|Щ*,01

2

=

00

cos(nqx),

и

рассматривалось

поведение

 

Е а„(0

точек

на

 

" =0

таких,

что

aQ = 0,01

и

dao

> 0

(неко-

траектории

 

торый аналог

сечения

Пуанкаре в бесконечномерной системе).

На плоскости

(о^, а2)

выбиралась точка Н и вводилась сис­

тема отсчета, что позволяло проекциям точек А^ А^,... на

плоскость (о^, а2) Ау А2> А3,...

 

сопоставлять последова­

тельность углов

0^ 02,... .Далее строились отображения

 

 

 

 

0п+1 =

Пвп).

 

 

 

(9.3)

 

Оказалось,

что функция

F с

высокой точностью опреде­

ляет отображение окружности в себя.

 

 

 

 

Такие

отображения возникают

и

во второй

краевой

зада­

че

(3.12),

если

выделить

локальные

максимумы

функции

pQ(t)

и

построить график Mn+1

=

/(Мп)

в

случае достаточно

боль­

ших областей [18, 20]. Типичная картина в этом случае по­ казана на рис. 9.7 (Cj = 4, с2 = -4, / = п/0,51). Точку Н естественно выбрать внутри сечения тора.

В работе [338] было показано, что переход к хаосу в

уравнении в частных производных, так же как

в обсуждавшем­

ся

отображении окружности

в

себя (5.24),

обусловлен тем,

что

при некотором значении

q

отображение

(9.3) становится

необратимым [368].

Подробное исследование диффузионного хаоса в уравне­

нии (3.12) было предпринято в работе [306]. Здесь также рассматривались начальные данные вида (9.2), фиксировалось значение 1/cQ = = - с2 = 4 и уменьшалось значение q. Бы­

364

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

Такой механизм усложнения решений играет важную роль и в двумерном аналоге уравнения (3.8) [19, 20]. Далее мы рассмотрим его более подробно.

Вработе [306] была использована известная методика

вычисления ляпуновских показателей [219]. Уравнение в

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

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

производных в рассматриваемой области параметров характе­ ризуется положительными ляпуновскими показателями. (Отме­

тим, что эти расчеты требуют высокой точности, поскольку

ни один из вычисленных положительных ляпуновских показате­ лей не превышает 0.05.) Например, при q = 0,95 наибольшие

ляпуновские

показатели

равны

Л1 =

0;0431, Л2 =

0,00112,

А3 =

0,00048,

Л4 =

-0,909, а

ляпуновская

размерность

dL =

3,0474.

 

 

 

 

 

 

 

 

 

З а м е ч а н и е

:

Вопросы

методики расчетов

при

ис­

следовании диффузионного

хаоса

имеют

важное

значение,

и

основным источником информации о нем является вычислитель­ ный эксперимент. В работах [20, 24] использовалась чисто неявная разностная схема со вторым порядком аппроксимации

краевых условий [168]. (Аппроксимация краевых условий в

этих задачах оказалась очень существенной [22].) При учете

нелинейности

применялся мвтод простой итерации, для реше­

ния линейной

системы

- матричная

прогонка.

Для изучаемой задачи обычно нужны большие времена

расчета (сильно зависящие от

и с2 и быстро растущие с

увеличением

длины

области), за

которые система успевает

выйти на установившийся режим. Выбор шагов по времени и пространству обычно требует проведения тестовых расчетов. Эффективным оказывается использование метода Галеркина - хорошая аппроксимация уравнения требует небольшого числа

365

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

внения

не сохраняется,

что

особенно существенно

при анали­

зе неустойчивых пространственно-симметричных решений).

В

работах [338]

и

[306] использовался

псевдоспект-

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

вания

Фурье. В

первом случае

брались 64 гармоники,

во вто­

ром -

32. Для решения системы обыкновенных дифференциаль­

ных

уравнений

применялся

метод предиктор -

корректор

[169].

Возникает вопрос, насколько общими являются законо­

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

применявшиеся подходы.

В этой связи интересно обсудить хаотические режимы в более сложном модельном уравнении (3.27), возникающем при

анализе систем с малой диффузией.

 

 

 

 

 

 

Отметим,

что

уравнения

(3.27)

инвариантны

относи­

тельно

преобразования

V —» V

e W

—»

We'^ (№

=

£(*,/)

+

+ /тХ-М); V =

v(x,t)).

 

 

 

 

 

 

 

 

 

Простейшими решениями уравнений (3.27), являются ну­

левые

и

пространственно - однородные:

W = р,

V = q +

ir

, q, г -

вещественные

постоянные).

 

 

 

 

 

 

Легко

видеть,

что

при с = 5 =

0

система

(3.27)

рас­

падается на две независимые задачи относительно W и V

(уравнение

Курамото

-

Цузуки).

По

отдельности

каждая

из

них изучена [20, ДЗ]. Поэтому интересно выяснить,

как

вли­

яют на поведение решений «параметры связи» с и 5.

 

 

 

 

Рассмотрим задачу (3.27). Будем исследовать различные типы решений указанной задачи при t —» оо. Все расчеты про­

водились

при следующих

значениях

параметров:

а

= 10,

b =

= -5 , 0

= -0,75, а = 1

+ 5i, /3 =

п2, у = -(1

-

5,3*).

При

этих значениях задача для £ и Т) имеет простейшее простран­

ственно-неоднородное стационарное

решение

[ДЗ], а

уравне­

ние Курамото

- Цузуки описывает

хаотический

режим,

изучав­

шийся ранее

[20]. «Параметры связи» с и

б

менялись. Были

366

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

Обратим внимание на тесную связь таких решений с периодическими и двухчастотными решениями уравнения Кура-

мото - Цузуки. Периодические решения последнего

описывают­

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

режимы -

более сложными функциями [20]. Вероятно, здесь имеет место близкая ситуация. Существование большого класса двухчас­

тотных режимов

в обоих случаях связано с наличием симмет­

рии относительно

сдвига фазы функции V(x,t).

 

Наиболее простыми и наглядными оказываются проекции

аттрактора

системы

(3.27) ' на

плоскости

(рп,

р.}

 

и

(рп,

_

 

л

 

О л / Л

_

 

2

U

с2ч1/2

 

U

р,).

Здесь

р( = <д‘

+

ь у \

р,

=

(Z‘

+ I ' ) ' " ,

д,

 

а.,

Ъ~ -

коэффициенты t'-x Фурье-гармоник

для

Re

V,

Im

V,

Re

W и Im W соответственно.

В таких

координатах

периоди­

ческие режимы выглядят

как особые

точки,

а двухчастотные -

как предельные циклы. Проектируя на эти плоскости, мы избавляемся от одной «лишней» частоты. При с = 0,15 и 5 = = (1 + i)c возникает хаотический режим. Причем пространст­ венное распределение в любой момент времени остается дос-

367

таточно простым (см. рис. 9.8). На рис. 9.9 изображены за­ висимости Re У(1т V) и Re Щ1т№).

ImV

I"1**'-

с = 0 ,1

с - 0 , 1 5 # = ( f + i ) c

Рис. 9.9

 

 

 

 

Рис. 9.10

 

 

 

На

рис. 9.10 показаны

проекции

хаотического

аттракто­

ра

на плоскости

{pQ,

и

{pQ, р^ .

Для анализа качест­

венной

картины

удобно

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

приемом, предложен­

ным

Э.Лоренцем

[136]. Выделим локальные максимумы

функций

368

fV(x0,/)|, XQ = 0,5, n- й максимум обозначим через VMn и

построим зависимость VAfn+1 от УМп. Из рис. 9.11 видно, что

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

перехода к хаосу в исходной системе,

а также при поиске

решений определенного типа в исходной

задаче.

В качестве примера рассмотрим эволюцию аттракторов системы уравнений (3.27) на линии б = v^c в пространстве параметров. Результаты расчетов показаны на рис. 9.12,

9.13.Из рисунков видно, что при с=1,0 аттрактором решения

задачи (3.27) является цикл S1. При уменьшении

с

наблюда­

ются бифуркации удвоения периода:

S1 —» S2 —»

S4

(см.

рис.

9.12). Можно предположить наличие бесконечного

каскада

та­

ких бифуркаций. Затем происходит

переход к шумящим циклам

369

(см.

рис.

9.12). Затем вновь поведение

системы

определяет­

ся предельными циклами (рис. 9.13).

Происходит

каскад би­

фуркаций удвоения периода и переход

к

хаотическим режимам

(см.

рис.

9.13).

 

 

 

Рис. 9.12

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

370

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