![](/user_photo/_userpic.png)
книги / Нестационарные структуры и диффузионный хаос
..pdfуменьшая параметр с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