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

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

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

Г Л А В А 10

ПРОСТЕЙШИЕ ТИПЫ УПОРЯДОЧЕННОСТИ

В ДВУМЕРНЫХ СИСТЕМАХ

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

= W + (1 +

icj (Wxx + U y

-

(1 + ic2) \W\2 W.

(10.1)

Это

уравнение

используется

в

теории ветровых волн на

воде [5],

при

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

диссипативных структур в

активных

средах

и

в колебательных химических

реакциях

[290], в некоторых моделях морфогенеза [32]. Отметим, что

уравнение (10 .1 ) описывает более узкий

класс

двухкомпо­

нентных систем, чем уравнение Курамото -

Цузуки

в одномер­

ных задачах. Поскольку в двумерном случае существенна не

только

длина,

но

и

направление

волнового

вектора, то

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

возникают более

сложные модели,

чем

уравнение (10.1)

[346].

 

 

В ряде исследований основное внимание было уделено

задаче

Коши

для

этого

уравнения.

Большая

библиография

таких

работ

приводится

в [290]. В

них

обычно рассматри­

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

423

ности фазы (т. е. такие

точки, где

|UP|

—» 0 и

фаза <p(W =

=

Р ^ )

не определена

[390]). При сопоставлении результа­

тов

анализа таких решений с данными

вычислительного или

натурного

эксперимента

возникает

ряд

проблем.

Во-первых,

необходимо выяснить, насколько быстро происходит выход на автомодельные решения. Во-вторых, всегда приходится иметь дело с ограниченными областями, в то время как решение не

обладает

свойством

локализации.

 

 

Поэтому представляет интерес альтернативный подход -

анализ

решений

(10.1)

для

случая небольших

двумерных

областей.

При этом можно было бы использовать результаты

изучения

упрощенных

моделей

и представления,

полученные

при исследовании

одномерного

уравнения. В рамках такого

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

основные

типы

упорядоченности,

которые

бы

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

интерес в более сложных задачах.

 

 

 

 

 

 

 

Следуя работам [19, 20], рассмотрим следующую краевую

задачу:

 

 

 

 

 

 

 

 

 

 

 

 

Wt = W +

(1 + fc,)

(Wxx + Wyy) -

(1 +

fc2)

\w\2

w,

 

 

0 & x * l .

0 & y *

l,

Щдс.у.О)

= WQ(x,y),

 

 

(10.2)

 

Wx(0,y,t) = Wx(l,y,t) = Wy(x,0.t) = Wy(x,l,t) = 0.

 

 

 

Нас

будет

интересовать

поведение

ее

решений

при

раз­

ных

значениях

и с2

в

случае небольших

областей.

В

при­

водимых ниже численных расчетах I = п, а начальные данные

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

и имеют

вид

 

 

 

 

 

 

 

W

= ио

+ iv

= 0,1

£

cos

^

cos

ЦУ- [1 +

i/(m +

1)].

т, п=0

Втакой постановке существенны только простейшие симмет­ ричные решения. А именно

а) пространственно однородное решение

W (x,y,t) = exp{ - ic 2t).

(10.3)

б)

одномерные

решения

W{x,y,t) = W(x,t)

или

W(x,y,t) = W(y,t)-,

 

 

 

в)

решения,

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

относительно диагоналей

квадрата

W(x,y,t) = W(y,x,t)

или

W(x,y,t) = W(l - у,l - x,t).

Остановимся на следующих вопросах. Будут ли устойчивы одномерные решения задачи (10.2) относительно двумерных возмущений? Имеет ли эта задача решения, у которых нет одномерного аналога? Как происходит усложнение двумерных структур при изменении параметров с^ и с2?

§ 10.1. Упрощенная конечномерная система

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

моделей в двумерной

задаче

удобно

представить ее решение в

виде

=

оо

amn(t)

c o s

^

c oЦУs -,

u(x.y.t)

Е

 

 

т , л=0

 

 

 

 

 

=

оо

 

 

co s

cos ппу

v ( X , y , t )

Е

Ь

i t )

т, п=0

изаписать систему уравнений, связывающую 'коэффициенты

Фурье a

(t)

и b (t):

**

mnV '

mrr 9

а

- а

с.Ь

т п

т п

1

) k 2

( „ Я

+

п2)

-

-

( т

т п ’

 

 

'

т п

 

 

=6

 

 

 

 

 

 

п2) -

(С„и

 

(10.4)

 

Ь

-(С1

+

Ь

) к 2

( т

2

 

 

 

( т

+

 

 

 

т п

т п

т п

т п 9

 

 

 

'2 т п

 

 

 

 

 

 

 

 

k =

n/l,

 

 

 

 

где

и

и

v

-

известные

функции {а..} , {Ь..\. В

дальнейшем

будет

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

 

обозначение р *

=

+

+

.

Упрощенные

модели

можно

получить

из этой

бесконеч­

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

моники а

, Ь с номерами, у которых т ^ р или п ^ р. П о-

т п

т п

425

лученную таким

способом

упрощенную систему мы будем назы-

вать системой

с

N = р, она содержит 2р

л

уравнений.

Далее

мы

будем

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

упрощенную модель с

N = 2, представляющую собой систему восьми обыкновенных дифференциальных уравнений.

Рис. 10.1. Устойчивые особые точки в упрощенной модели с N = 2

 

Число входящих в нее уравнений можно на единицу

уменьшить,

если перейти к переменным ртп, втп по формулам

а

= р

cos ср , Ь = р

sin © , в

= <р

- <рпп.

Уравнение для ^00 можно решить отдельно. Это означает, что

функции

a (t), b

(t) изменяются более сложно, чем р

(t)

и в

(().

В частности, особым точкам р

= const,

0

=

=

const

соответствуют

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

решения

a

(t),

bmn(t)> предельным

циклам -

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

режимы.

Поэтому

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

Ртп = const, особыми точками, решения, у которых Pmn(0 периодичны, - предельными циклами.

426

В упрощенной модели с N = 2 есть аналог простейших симметричных решений. Однородному решению (10 .3) соответ­

ствует особая точка pQ0

= 1 , ртп = 0,

т +

п

*

0. Однород­

ным по оси v решениям

задачи (10.2 ) -

такие

решения

упро­

щенной системы, у которых атп =

0, Ьтп = 0

при

п * 0.

Решениям задачи

(10.2),

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

 

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

диагонали квадрата х = у, можно сопоставить интегральные

кривые,

на которых а

тп

= а

пт

,

b

= Ь . Такие

решения

r

г

 

 

тп

пт

v

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

также называть симметричными.

Рис. 10.2. Устойчивые предельные циклы в

упрошенной системе. Сверху

-

на линии

= 1,5, снизу -

на линии с^ = 3,0

 

Проследим, как меняется тип решений упрощенной систе­

мы при уменьшении

параметра с2.

Рассмотрим линию с1 =

1,5.

В системе восьми обыкновенных дифференциальных уравнений

однородное решение теряет устойчивость,

при этом

появля­

ется устойчивая особая точка с р00 * 1.

Значение

с2, при

427

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

появившейся особой точке р

= 0

при т *■ 0. Заметим, что

одновременно

в системе

появляется

и

другая

особая

точка,

у

которой Ртп =

0, если

п * 0.

В этом

случае

система

с N =

2

упрощается и переходит в систему обыкновенных дифферен­

циальных

уравнений

(3.15),

которая

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

в

гл.

7

^ = а00 +

^ 00' 4 =

а 01 +

0 =

^ 0 0

^ 01^ '

ртп =

0

При дальнейшем уменьшении с2 точка, у которой

при т * 0, также теряет

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

и

асимптотику

опре­

деляет особая точка

с р

* 0

(рис.

10.1 ,

сплошные

линии).

Затем при некотором значении с2 р01 становится в точности равным рю, и далее в расчетах наблюдается выход на сим­

метричное решение aQ1 = a1Q,

= &10.

 

 

При с2 » -3 ,3

происходит

бифуркация

Хопфа, и

рожда­

ется симметричный

предельный

цикл (Р01(0

= Р10(0)-

Поло­

жение особой точки, потерявшей устойчивость, и примеры симметричных циклов показаны на рис. 10.2,а. При с2 « -3,7 цикл теряет симметрию. Две проекции решения такого типа

показаны на

рис.

10.2,6.

Наблюдаемую

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

бифуркаций можно условно представить следующей схемой.

Однородное

р е ш е н и е с

О с о бая

 

т о чка

с

Р00=

Р т л = ° - т+ П > 0

р - 0

,

т * 0

 

 

 

 

 

О со б а я

точка

с

О соба я

 

т о ч к а

с

 

Р

*0

 

р

 

 

 

к т л

 

 

г т п

г п т

 

Симметричный

цикл

Несимметричный

 

 

 

 

 

цикл

 

Схема 10.1

В этой последовательности большинство бифуркаций

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

щественно отличает двумерную задачу от одномерной.

428

Первый переход в этой последовательности связан с во­ зникновением особой точки с р00 * 1. Критическое значение параметра, при котором этот переход происходит, как и в Одномерном случае, определяется равенством (7.8). Однако ситуация может быть более сложной. В этом можно убедиться, проследив за изменением решений на линии с1 = 3,0 (см. рис. 10.1). Схема усложнения решений, определяющих асимп­ тотику упрощений системы с N = 2, будет следующей.

Однородное

решение

Симметричный

цикл

 

 

 

 

 

Схема 10.2

 

 

 

Проекции устойчивых

предельных

циклов

на

линии

Cj = 3,0 представлены на рис. 10.2.

 

 

 

Важно отметить,

что

особая точка с

р01 =

р10

появля­

ется при том же значении параметра с2, при котором могут появиться точки с ртп = 0, т * 0. Выход на симметричное решение происходит с начальных данных общего вида (спон­ танное возникновение симметрии). Попробуем разобраться в причинах этого явления.

§ 10.2. Потеря устойчивости пространственно - однородного решения

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

маркерами на рис. 10.1. При /

—»

со асимптотику

определяют

решения с ртп =

const, т,

п =

0, 1, 2, ... На

линии

=

= 1,5, как и в упрощенной модели с N = 2, возникающее ре­

шение одномерно,

на линии

= 3 оно оказывается симмет­

429

ричным. Совпадает не только тип решений этих двух задач,

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

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

лива следующая

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Л е м м а

10.1.

 

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

 

 

 

 

 

 

W(x,y,t) = R(x,y) exp [Ш + ia(x,y)]

 

 

 

 

 

(10.5)

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

задаче

 

(10.2),

то

 

у

него

 

pmn

=

const,

0

 

= con st,

т,

п =

 

0,

1,

2,

. . . ( р

 

и в

определяются

по

коэффициентам Фурье атп, Ьтп так же, как в упрощенной сис­

теме).

Верно и

обратное

утверждение:

если

 

амплитуды

гар­

моник и сдвиги фаз между ними в решении задачи (10.2)

постоянны,

то его можно представить в виде (10.5).

 

 

 

 

 

 

Автомодельные решения, возникающие после потери

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

однородного решения,

 

близки

к

 

 

ниму.

Поэтому

для

 

их

анализа

естественно

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

 

асимптотически­

ми

методами.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

 

 

 

Запишем

уравнения

 

(10.2)

в

 

 

переменных

р, i

и

= pcos<р, и = psin<p:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р (

=

р

-

р3

+■ (рхх -

р<р\ +

Pw

-W >J) -

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

с,(2рЛ

+

рхрхх +

2pyipy +

р<руу),

( 10. 6)

p<pt

=

—с2р 3

+

(2 рх<рх

+

р<рхх

+

2pyipy +

р<руу)

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ слр

 

-

pip2 +

р

 

-pip2).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

v r xx

 

 

 

г уу

 

у

 

 

 

 

 

 

Решение

будем

искать

в

виде

ряда

по

малому

параметру

е,

 

характеризующему

 

отклонение

с2

от

критического

значения

с2,

при

котором

решение (10.3)

теряет устойчивость:

 

 

 

 

 

 

р

=

1

+

сг^(х,у)

 

+

с 2г2(х,у)

+

с 3г3(х,у)

+ . . . .

 

 

 

=

( - с 2

+

<pf + 1р2е 2

+

1р3с3 + ...) /

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

са^х.у)

+

с 2а2(х,у)

+ . . . .

 

с2 =

с2 +

WjC

+

w2e 2 +

w3e3 +

....

 

<рри>. =

const.

 

(Ю.7)

430

Подставим формулы (10.7) в уравнения (10.6) и при­

равняем члены при одинаковых степенях е. Это даст системы

уравнений

 

 

для

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

определения

гп(х,у),

ап(х,у).

В

нулевом

порядке

по

 

 

е

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

тождественно.

 

 

 

В первом

порядке их можно привести к виду

 

 

 

 

 

 

 

 

 

Дг,

+ k2rx =

сх((рх +

ш,)/( 1

+

<ф,

 

( 10.8)

 

 

 

 

 

 

 

 

Да, = 2Lrx + (ф,

+ w ,)/(l

+ с2).

 

 

 

 

 

 

 

 

 

 

 

 

где k2 = -2(1

 

 

 

+

с,с2)/(1

+

с\),

L =

2 -

с ,)/( 1

+ с\).

 

 

 

Структура уравнений л-го порядка аналогична: гп и

ап

входят в них так же,

как

 

и

 

г,,

а,

в

формулы (10 .8 ),

но

правые

части

 

 

гораздо сложнее.

 

 

 

 

 

 

 

 

 

 

 

 

 

Из граничных условий задачи (10.2) следуют равенства

 

 

 

 

дг

п

/дх\

„ ,

= 0,

 

дг

л

/ду\

„ . =

0,

 

 

 

 

 

 

 

 

 

1х=0,1

 

'

 

 

 

 

9 ' u=0,f

 

 

 

(Ю.9)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

да

п

/дх\

 

=

0,

 

да

п

/ ду|

, =

0.

 

 

 

 

 

 

 

 

 

1х=0,1

 

 

 

 

 

* '</=0,1

 

 

 

 

Можно

проверить,

что

задача

(10.8),

(10.9)

разрешима

толь­

ко

при

условии

<рх +

= 0. Ее решение имеет вид

 

 

 

 

 

= т Е, п

 

Ч ^л “ Н М^

-J

 

 

 

 

 

 

 

 

а,

=

 

 

 

 

 

2

const,

 

 

 

 

2

2

2

2

2

(10 1°)

 

 

- 2 L r ,//r +

 

 

тс(т2+гГ)/12 =

я ,

 

 

где

т,

п

-

 

целые

числа.

Из

формулы

для

kо

следует,

что

в

точке первой бифуркации т = 0,

п = 1 либо т = 1, п = 0. В

жальнейшем будем считать, что k

=

п/l,

г, и а, имеют вид

г,

=

A cos kx +

В cos

ky,

а,

=

2

+

 

( 10. 11)

-2 Lr^/k

const.

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

431

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

Решения этих уравнений будут таковы

г2 = С cos kx + D cos ky + ■QjCos 2kx + Q2cos 2ky +

Q,

=

Л2[0,25

+ 2L2/(3 * 4)],

 

 

 

 

 

Q2 =

B2[0,25

+

2L2/(3 * 4)],

 

 

 

 

 

Q3

=

3 AB,

Q4

= - (A2 +

B2)(L2/k2 +

fe2/ 4

+ 5 /4 ),

B,

=

/12[L /(4 /J2)

-

L3/(3ft6)],

B3 =

-4

ЛВВ/fe2.

B2 =

B2[L /(4 /S2)

-

L3/(U 6)],

 

 

 

 

С и D -

новые неизвестные константы.

 

 

 

Условия разрешимости для уравнений третьего порядка

позволяют

определить

значения

А

и В.

Малый

параметр е

ранее был определен с точностью до множителя. Далее мы бу­ дем считать, что

е = \с2 ~ C2\U2 +

•••

(10.14)

Это упростит соотношения для А и В:

 

 

А (ХА2 + YB2 -

aZ)

= 0.

 

В (YA2 + ХВ2 -

aZ)

= 0,

(10.15)

432

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