книги / Нестационарные структуры и диффузионный хаос
..pdfпервую гармоники. Они показывают, какие типы пространст венно-временной упорядоченности могут быть характерны для
больших значений / в моделях |
типа реакция - диффузия и |
других распределенных системах. |
Обратим внимание на одну |
из таких областей параметров. |
|
В системе (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