книги / Нестационарные структуры и диффузионный хаос
..pdfмаксимум [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