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

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

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

максимум [81, 121]. В частности, с ее помощью удается предсказать интересный эффект. Существуют значения пара­ метров и начальные g, <р (и естественно TQ(х)), при которых амплитуда уменьшается, а полуширина растет (g —> 0, —»

—* а»). Однако малые возмущения могут перевести систему ,в

другой

режим,

когда

решение не существует

в целом (g —» ю,

—>

0, t —»

tf <

ю). Соответственно max

T(x,t) —» ю, при

 

 

 

X

 

t —* tf < оо). Роль флуктуаций в этом случае оказывается принципиальной.

В модели (1.18) в качестве параметров порядка высту­ пают функции g и <р. Они характеризуют самые быстрые про­ цессы.

Существование параметров порядка в нелинейных дисси­

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

удается построить иерархию

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

ние которой намного упрощает

анализ изучаемых систем.

Г Л А В А 2

СЛОЖНАЯ ПРОСТРАНСТВЕННАЯ УПОРЯДОЧЕННОСТЬ

ВНЕСТАЦИОНАРНЫХ ПРОЦЕССАХ

§2.1. Модель тепловых структур

Изучение нелинейных диссипативных сред естественно

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

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

помощью бо­

лее простой модели,

чем

та,

которую

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

А.Тьюринг:

 

 

 

 

ut =

(*ь«Л +

<w«>-

 

(2-i)

1. По-видимому, впервые параболическое уравнение нелинейным источником рассматривалось в работе А.Н.Колмо­ горова, И. Г. Петровского, Н. С. Пискунова [114]. При этом изучалась задача Коши и предполагались выполненными следу­ ющие требования:

Q(u) €

С\о,1];

т

= 0(1)

=

0;

Q(u) > 0 ,

0 <

и < 1;

Q '(0)

>

0.

Впоследствии это уравнение использовалось для описания эпидемий, движения возбуждений в нервном волокне, рас­ пространения пламени в горючей среде [213]. В работе был

построен набор бегущих волн,

т.

е.

решений вида и = f(x -

- ct) для различных значений

с,

а

также доказана теорема

32

сравнения: если u^x,t) и u2(x,t) - два решения уравнения

(2.1) с начальными данными

ы^х.О), «2(х,0) и ы^х.О) >

> и2(х,0) при всех значениях х, то при 0 < t < ю u^x,t) >

>u2(x,t). Для линейного уравнения теплопроводности без

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

курсах математической физики [185], достаточно просто она

обобщается

на случай,

когда

Q(u) является стоком (Q(u) <

< 0),

к которому авторы работы [114] и свели свою задачу.

Им

удалось

доказать,

что

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

(2.1) при t —» ю будет определяться одним из построенных

частных решений. А именно, тем,

у которого

скорость движе­

ния волны с минимальна и равна

 

 

с = 2т/ kQa ,

ос = Q (0).

 

Если начальные данные четны, то

возникнут

две волны, рас­

пространяющиеся вправо и влево.

 

 

Выход на автомодельное решение при t —* ю приводит к

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

расширен [213].

 

 

 

 

Детально

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

также поведение

решений первой

и второй краевых задач для

уравнения (2.1) при t —» ю.

При

этом в случае

ограниченных

источников Q(u)

происходит

вы­

ход на стационарные решения. Для последних аналитически

получен

критерий

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

[90].

В

частности,

из

него

следует,

что во второй

краевой

задаче

при условии

отсутст­

вия потоков на границах стационарное

решение, имеющее

хотя

бы один

экстремум

во

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

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

по Ляпунову. Таким образом, сложные диссипативные структу­

ры, такие, как в системах реакция - диффузия, здесь невоз­ можны.

Асимптотика решений при t —> оо исследуется обычно в

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

2 Т.С. Ахромеева и др.

33

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

раниченно возрастает за

конечное

время, называемое

време­

нем обострения. Далее

оио будет

обозначаться tf.

Уравне­

ния, где возможны режимы с обострением, представляют собой

упрощенную

модель

 

определенных стадий

многих

процессов

[121].

Например, в одной из работ, посвященных теории эволю­

 

ции,

утверждается,

что естественный

отбор

признаков,

даю­

щих

преимущество

в

ходе

развития,

приводит

к

тому,

что

«...сам этот

процесс

идет

со все

большей

до

некоторого

предела скоростью, так как в естественном отборе побеждают более совершенные формы, возникающие быстрее, раньше дру­

гих»

[203].

 

 

 

 

 

 

 

 

 

Простейшим дифференциальным уравнением, в котором

возможны

такие режимы, является уравнение

 

 

 

 

 

 

Ш =

<2(u)'

S

Q (uJ = С <

°°-

 

(2-2)

 

 

 

 

 

“о

 

 

 

 

 

Последнее

 

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

выражающее

необходимое

и

достаточ­

ное условие существования режима с обострением

в такой

системе,

получило

название критерия

Осгуда

[82].

Например,

если

Q(u)

= «3,

то и ~ (t -

 

tf

=

ы (о /1_Р ^ /(0 -

- 1),

т.

е.

время

существования

решения зависит от началь­

ных данных. Вопрос о наличии режимов с обострением иссле­ довался и для многих систем обыкновенных дифференциальных

уравнений [82].

 

 

 

 

 

 

 

 

Интересно изменение точки зрения на такие режимы. Еще

недавно несуществование

решения в целом (т. е.

от

0 < t <

< со)

трактовалось как

некорректность

модели

и непримени­

мость ее для

описания

реальных процессов. Сейчас все боль­

шее

внимание

привлекают

явления, в

которых время

развития

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

конечно

(чего в

линейных системах

не быва­

ет).

В качестве примера

здесь

можно

привести

классическую

34

задачу, изучавшуюся Гудерлеем, о кумуляции сферических

ударных волн на центр [186], некоторые модели турбулентных

течений,

где

появляются уравнения с отрицательной вяз­

костью

[181],

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

нарных краевых режимов на линейные среды [170], задачи фи­

зики

плазмы, и

в

частности,

 

коллапс

ленгмюровских

волн

[89],

многие

другие

системы [383].

 

 

 

 

 

ности

Рассмотрим

вновь

уравнение

нелинейной

теплопровод­

 

 

 

 

 

 

 

 

 

 

 

Tt = ЩТ)ТХ)Х + Q(T), - » <

*

<

» , Г(дс,0) =

Г0(дс),

(2.3)

T(x,t)

будем

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

как

температуру

среды,

горе­

ние которой

моделирует

объемный

источник

Q(T).

 

 

 

В линейном

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

без источника

(а также с линейным источником или стоком) в случае финит­ ных начальных данных (TQ(x) = 0 вне некоторой области G)

при t > 0 температура оказывается отличной от нуля во всем

пространстве - тепловые возмущения в такой модели рас­

пространяются с бесконечной скоростью. Совершенно иное по­ ведение наблюдается в системах, где теплопроводность нели­

нейна и

т

 

 

J°k(u)u~'du < ю.

(2.4)

 

0

 

При финитных начальных данных в уравнении без источника скорость фронта тепловой волны в таких средах оказывается

конечной [155].

 

 

 

 

Основные качественные эффекты в системе удается выяс­

нить

при

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

уравнения со

степенными

функциями

k(T)

и (ЦТ)

ЦТ) = k/*,

Q(T) = qQT# [93,

121, 170,

172].

Пусть 3 = 0’ + 1. 3 > 1- Типичная эволюция решения за­ дачи (2.3) показана на рис. 2.1. Сначала максимальная тем­

пература падает (момент времени *2), но затем она

начинает

расти (<3,<4). Как следует из неравенства (2.4), в

каждый

момент времени тепло сосредоточено в ограниченной области пространства. Далее фронт доходит до некоторых точек А и В (см. рис. 2.1, момент 14) и останавливается. Тепло оказы­

Ч

35

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

максимум обращается в бесконечность. Результат расчета

представляется парадоксальным - несмотря на неограниченный

рост температуры и наличие диссипативных процессов, тепло

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

Рис. 2.1. Возникновение диссипативной тепловой структуры с постоянной по­ лушириной (5-режим)

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

альным образом подобранных краевых режимов [60], наличием

стоков [144, 109]. К локализации тепла в нелинейной среде

в течение конечного времени может приводить постановка на­ чальных данных определенной конфигурации [129].

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

широкого

класса TQ(x)) и

форма

профиля

температуры

(при

( —> ю)

сохранится. Здесь

также

происходит

забывание

дета-

36

Рнс. 2.2.а - Эффект локализации

тепла. Две

тепловые структуры в- нелинейной

среде развиваются

независимо:

t

=

0,0;

<„ = 3,56*10-2 ;

t~ = 3,93*10-2 ;

-2

Г5 =

 

_2

. б -

1

 

■*

 

с

 

л

време­

<4 = 3,98* 10 ;

4,00*10

Развитие

структуры

минимальным

нем обострения. Оставшаяся часть профиля

«замирает»

при t

— »

^

=

0,0;

 

 

 

<2

=

0,147;

<3 =

0,220;

*4

=

0,245

 

 

 

 

лей начальных данных. Сохранение формы

 

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

по­

луширина

которого

не

меняется,

говорит

о

том,

что

горение

в пределах

области

длины

 

происходит

согласованно,

-

за­

кон роста температуры в каждой

точке

оказывается одним

и

тем же с точностью

до

множителя.

 

 

 

 

 

 

 

 

37

 

Обратим внимание на принципиальную роль диссипативных

процессов в

такой системе. Допустим, что

kQ =

0. Тогда в

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

с

уравнением (2.2)

в каждой

точке

пространст­

ва,

где

TQ(x)

*

0,

горение происходит

со

своим

значением

ty

Если

Л0 *

0,

то

в пределах

целой

области горение про­

исходит с одним значением времени обострения. Поэтому ес­

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

кой среде и развивающуюся в режиме с обострением, как

нестационарную

диссипативную

структуру.

Поэтому

модель

(2.3)

в ряде

работ называют

моделью

тепловых

структур

[121,

170].

 

 

 

 

 

Сохранение формы профиля

при t —*

позволяет пред­

положить, что на развитой стадии происходит выход на авто­

модельное

решение

вида

 

 

 

 

 

 

 

T(x.t)

= * (* Ш .

€ =

* /

т

(2.5)

Подставив

(2.5)

в

задачу (2.3), можно получить закон изме­

нения амплитуды g(t) и полуширины fit)

 

 

 

 

 

g(t) =

Л,(1

- t/tf)

 

 

 

f(t)

=

А2(1 -

t/t{)

 

 

( 2. 6 )

(Здесь Ay

А2

-

постоянные

величины,

которые

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

параметрами

(3,

<r,

kQ,

qQ.)

Для

определения

функции f(£),

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

линейную

краевую

задачу

 

 

 

-

1

Э—<г—1

(f\ )^

+ А

(2.7)

-----------

f +

 

СЭ-1д,

 

 

 

 

 

о =

°*

»•

»

(2.8)

 

 

Условие при £ = 0 позволяет выделить только симметричные решения, на которые и происходит выход при t —» t{. Два

38

Рис. 2.3.а

-

Возникновение

тепловой

структуры с

сокращающейся, полушириной

(/.5-режим

с

обострением):

=

0,0;

t2 =

2,15’ 10

/д = 2,38* Ю- ^;

=

= 2,44 ‘ 10

 

б - Тепловые

волны

растущей

амплитуды (//S -режим с обострени­

 

 

ем):

t } =

0,0;

(2 =

0,69; (д

= 0,875

 

других условия позволяют выделить локализованные решения.

При Э = о- + 1 задача (2.7),

(2.8)

имеет аналитическое ре­

шение, описывающее

локализованную

структуру

 

f( Q = [cos2(7i€/Z.f)2(o-

+

1)сг_1(<г + 2)"1]1 /^tr+1^.

(2.9)

где

 

 

 

 

 

Lf =

/< г

+

1 / kQ/qQ

(2.10)

и есть размер области локализации. Форма структуры и вели­

чина

совпадают с тем, что дают расчеты. Формулы (2.9),

(2.10)

позволяют

строить множество

других

решений задачи

(2.7),

(2.8). Если

на расстоянии,

большем

Lf, задать два

одинаковых начальных профиля, приводящих к возникновению

локализованных

структур,

то они

никак

не будут влиять

друг

на друга (см.

рис. 2.2, а).

Если

один из

профилей

по ампли­

туде несколько

меньше,

то он

просто

«замирает»

при t

— »

—» ty а второй неограниченно растет (см. рис. 2.2,6). Это типичная картина для режимов с обострением. Поэтому в не­ линейной среде, которая описывается уравнением (2.3), надо

39

рассматривать только самые быстрые процессы с минимальными

временами обострения.

До сих пор мы полагали, что 0 = а + 1. Выясним, что

происходит

при

изменении параметров нелинейной среды 0 и

(г. Из

формулы

(2.6) следует,

что

для

0

> cr +

1

<p(t)

—» О

при t

—»-fj,

и

что <p(t) —* со

при

t —»

tv

если

0

< <г

+ 1.

В первом случае полуширина распределения температуры долж­

на сокращаться, при этом говорят, что реализуется LS-pe-

жим с обострением, во втором случае она неограниченно воз­

растает, и мы имеем HS-режим. Примеры обоих режимов по­

казаны на рис. 2.3. Когда 0 = <г + 1, полуширина остается постоянной (S-режнм) [121, 170, 172].

Для нелинейной задачи (2.3) не справедлив принцип су­ перпозиции. Действительно, если изменить начальные данные

в несколько раз, то это приведет не к умножению решения на

постоянную величину, а к процессу, идущему в совершенно

другом темпе, с другим временем обострения. Здесь нельзя «сшить» общее решение из известного набора частных. Так

какова же ценность найденного автомодельного решения?

Ответ следует из ряда приведенных расчетов [121] и некоторых строгих утверждений [170]: любое распределение при t —» fj выходит на одно или несколько автомодельных решений. И хотя здесь нет принципа суперпозиции, мы знаем,

какие структуры возникнут

на стадии интенсивного горения.

Это глубокий и интересный факт.

Один из традиционных

способов анализа линейных задач

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

существенно зависят от области, в которой решается уравне­

ние, и от граничных условий. Далее с помощью этого набора частных решений строится общее [185].

На первый взгляд обсуждаемая ситуация оказывается по­ хожей, нелинейная задача (2.3) допускает обобщенное разде­ ление переменных (2.5). Определение профиля автомодельного

40

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