книги / Нестационарные структуры и диффузионный хаос
..pdf■их членов - наложение двух «пил». Второй член имеет
ццплнтуду |
л |
и |
частоту |
о |
_ |
|
1 и |
b » |
1, |
можно |
||
а |
Ь . |
Если а « |
||||||||||
Сказать что 2-й |
член |
ряда |
определяет |
поведение |
функции |
Н |
||||||
на интервале |
~ |
1/Ь |
по |
оси х |
и на |
интервале ~ |
а |
по |
оси |
|||
врдинат. |
На |
|
следующем |
шаге |
добавляется |
«пила» с |
более |
мелкими и частыми зубцами. При этом график следующего чле на ряда получается в результате сжатия графика предыдущего
члена в а раз |
по |
оси ординат |
и в Ь по оси абсцисс. Именно |
|||
п—й член определяет поведение |
функции |
на |
масштабах |
~ ап по |
||
оси ординат и |
на |
масштабах ~ |
1/Ьп по |
оси |
абсцисс. |
Предыду |
щие члены определяют поведение функции Н{х) на больших масштабах по оси абсцисс, а последующие на меньших.
Усилия |
многих математиков были связаны с исследовани |
ем функции |
Римана |
|
R ( x ) = Y, n ~ 2 s i n { n n 2 x ) . |
|
nil |
Однако полное доказательство ее недифференцируемости было найдено только в 1972г. Обсуждение ряда этих и других примеров, а также обширную библиографию исследований, по священных функциям, не имеющим производной, можно найти в работе [292]. Как правило, это функции, повторяющие себя на меньших масштабах.
1---------- |
:— (--------------- |
1---------------- |
1 |
Рис. 6.2. Схема построения канторова множества
Одно из наиболее известных множеств такого типа было
построено |
Г. Кантором |
[67]. |
Возьмем единичный |
отрезок [О, |
|||||||
1 ], разделим |
на |
три |
части |
и |
выбросим середину (открытый |
||||||
интервал |
(1/3, 2/3)). |
Каждый |
из |
двух |
оставшихся |
отрезков |
|||||
разделим |
на |
три |
равные |
части |
и |
снова |
выбросим |
середины |
|||
(рис. 6.2). |
Далее |
будем |
повторять |
эту процедуру |
бесконечно |
191
много раз. Оставшееся множество С обладает многими замеча
тельными свойствами. |
|
|
|
|
|
|
|
|
|
|||
|
Это замкнутое множество является совершенным (т. е. |
|||||||||||
каждая |
точка |
С является |
предельной |
точкой |
этого |
множест |
||||||
ва). |
Нетрудно |
убедиться |
(проводя |
рассуждения |
от |
противно |
||||||
го), |
что |
оно не содержит |
ни |
одного |
интервала. |
Вместе |
с тем |
|||||
С оказывается |
несчетным |
- |
не существует алгоритма, |
позво |
||||||||
ляющего |
занумеровать все |
его точки. Оно имеет меру нуль, в |
||||||||||
этом можно убедиться, посчитав длину выброшенных |
интерва |
|||||||||||
лов |
|
|
|
|
|
|
|
|
|
|
|
|
Р + |
(1 - |
Р)р + (1 - Р)2Р +••• |
= -------- 7--------- = |
М |
Р = 1/3). |
|||||||
|
|
|
|
|
1 " |
(1 |
- |
Р) |
|
|
|
|
которая |
равна |
единице. |
Известно, |
что |
мера |
|
остатка |
будет |
нулевой при любом 0 < р < 1. Однако при различных значе ниях р эти множества будут существенно отличаться, а
следовательно, |
нужны другие количественные характеристики, |
не совпадающие |
с обычной мерой. |
С канторовым множеством и его обобщениями связаны другие интересные объекты, возникающие при анализе нели нейных систем. Это непрерывная монотонная функция, произ водная которой равна нулю почти всюду; она названа Сдьявольской лестницей» (рис. 6.3). Здесь также на каждом шаге функция определяется на трети каждого из оставшихся
192
после предыдущего шага интервалов. На первом шаге всем
точкам из интервала [1/3, 2 /3 ] присваивается значение 1/2,
на втором шаге значение 1/4 присваивается всем точкам из
интервала |
[1/9, 2 /9 ] |
и значение 3 /4 точкам из интервала |
|
[7 /9 , |
8 /9 ] |
и т. д. «Дьявольская лестница» возникает после |
|
бесконечного количества |
шагов. |
||
|
Канторовым множеством называют не только множество С, |
||
но и |
ряд |
других аналогичных множеств. Некоторые из них |
могут иметь положительную меру, несмотря на то, что они не содержат ни одного интервала. Их можно построить следующим
образом [67]. Выберем произвольное число а, 0 < а < 1. На первом шаге из отрезка [0, 1 ] выбросим все точки открытого
интервала длины ос/2 с центром в точке |
1/2. |
Из двух |
остав |
||||||||||||||
шихся |
замкнутых |
интервалов |
[0, |
1/2 |
- |
ос/4] |
и |
|
[1/2 |
+а /4 , 1] |
|||||||
удалим |
открытые |
интервалы длины |
а / 8. |
Из оставшихся четырех |
|||||||||||||
выбросим средние открытые интервалы, имеющие длину а/32. |
|||||||||||||||||
После бесконечного числа шагов мера удаленных открытых |
|||||||||||||||||
интервалов |
будет |
равна |
а(1/2 |
+ 1/4 + 1/8 + |
...), |
и мера |
|||||||||||
оставшегося канторова множества будет равна. 1 - |
а. |
|
|
|
|||||||||||||
|
При |
исследовании |
фракталей |
неэффективным |
оказывается |
||||||||||||
не только подход теории меры, но и интуитивный топологи |
|||||||||||||||||
ческий взгляд на размерность множества. |
|
|
|
|
|
|
|||||||||||
|
Понятие топологической размерности dj можно пояснить |
||||||||||||||||
следующим |
|
образом. |
Топологическая |
размерность |
конечного |
||||||||||||
или |
счетного |
множества |
точек |
равна нулю. Если |
некоторое |
||||||||||||
множество можно разделить на не связанные друг с |
другом |
||||||||||||||||
части с помощью множества размерности |
dr |
то |
его топологи |
||||||||||||||
ческая |
размерность равна |
dj |
+ |
1. |
В |
частности, |
отрезок мож |
||||||||||
но разделить на две несвязанные |
части |
одной точкой, |
поэто |
||||||||||||||
му |
у |
него |
<*Готрезка |
= |
1 |
+ |
<*Гточки; |
плоскость |
- |
линией |
|||||||
d- |
|
|
= |
dT |
+ |
1 |
= |
|
2 , |
пространство |
- |
плоскостью |
|||||
dT = |
3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поразительный |
пример, |
показывающий |
|
ограниченность |
||||||||||||
обычного топологического представления о размерности, был |
|||||||||||||||||
предложен |
итальянским |
математиком |
Дж.Пеано |
в |
1890 |
г. |
Он |
||||||||||
построил кривую, |
которая |
заполняет |
единичный |
квадрат |
(при |
193
этом |
через некоторые точки квадрата кривая может проходить |
|||
несколько |
раз). Способ |
построения такой кривой понятен |
из |
|
рис. |
6.4. Несмотря на то, что топологическая размерность |
|||
кривой равна единице, |
в определенном смг еле она близка |
к |
||
двумерной |
фигуре - квадрату. |
|
|
f ^ |
t l |
|
- + + ~ |
|
|
|
h й |
|
- Е |
F - f * |
|
Рис. 6.4. Схема построения кривой Пеано |
|
Во |
всех этих примерах множество оказывается подобно |
|
себе - |
оно инвариантно относительно изменения |
масштаба ве |
личин и обладает сложной внутренней структурой (такие объ екты можно ргссматривать кж пример сверхсложной организа ции). В меньшем масштабе оно выглядит так же, как в более
крупном. Эта инвариантность связана с некоторой симметри
ей. Объекты, обладающие такими свойствами, были названы
фракталями [323].
Фрактали можно строить не только по простым детерми нированным правилам, но и пользуясь вероятностными алго ритмами. При этом получающиеся множества оказываются по добными себе в статистическом смысле. Они представляют ин
терес во многих физических задачах. Для характеристики фракталей используется большой класс так называемых фрак
тальных размерностей. Вероятно, первая такая |
размерность |
||||
была введена |
в |
1919 г. Ф. Хаусдорфом. Пусть |
изучаемое мно |
||
жество |
лежит |
в |
р-мерном евклидовом пространстве. Рассмот |
||
рим его |
покрытие р-мерными ш. рами радиусов |
е/ < |
е и опре |
||
делим величины |
IJ.C) как |
|
|
194
Ц е) = inf £ e d, |
( |
6 |
. ) |
|
|
1 |
i
где нижняя грань берется по всем возможным покрытиям, та
ким, |
что |
< |
е. Пусть |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
Id |
1 i m |
|
|
|
|
|
(6. 2) |
|
|
|
|
|
|
|
е-»о |
|
|
|
|
|
|
|
|
При |
больших |
значениях |
d ld |
= 0, |
при малых |
ld |
= |
со. |
||||
Хдусдорф |
показал, |
что |
существует |
критическое |
значение |
d^: |
|||||||
dH = |
inf{d: |
ld = |
0} |
= |
sup{d: |
ld = |
«}. |
Обычно |
при |
d |
= |
d^ |
|
величина |
ld конечна. |
Она и называется хаусдорфовой |
размер |
ностью множества. Для простых геометрических объектов
хаусдорфова размерность совпадает с топологической |
(для |
||||||||||
отрезка dH = 1 , для квадрата |
dH = 2 , для куба dH = 3). |
||||||||||
Однако |
для |
канторова |
множества |
хаусдорфова |
размерность |
||||||
будет дробной. |
При |
построении |
канторова |
множества |
на |
каж |
|||||
дом |
шаге возникает 2Л отрезков |
длины |
еп = (1 /3)л, |
поэтому |
|||||||
|
|
lim |
( l /3 ) d//” |
2Л = С, |
dH = 1п2/1пЗ. |
|
|
(6.3) |
|||
|
|
п - * с о |
|
|
|
|
|
|
|
|
|
(При |
р * 1/3, |
dH = |
In 2/ln(2/(l |
- />))). |
|
|
|
|
|
||
|
В |
начале века |
ЖПеррен |
высказал |
мысль |
о |
том, |
что |
фрактальные множества и нигде не дифференцируемые функции будут полезны во многих физических задачах, в частности связанных с броуновским движением. Тем не менее широкого
применения такие геометрические объекты до недавнего вре
мени не находили. Ситуация существенно изменилась с появ
лением |
книги Б. Мандельброта |
[323], в |
которой было показа |
но, что |
наличие фрактальных |
множеств |
позволяет объяснить |
(а в некоторых случаях и предсказать) экспериментальные результаты, полученные в различных областях физики. Обоб щение ряда ранее известных результатов, обсуждение адек ватного математического аппарата, указание новых возможных областей приложений, наглядные примеры, приведенные в этой книге, позволили взглянуть на фрактали как на новую перс пективную область исследований в естествознании.
Рис. 6.5. Четыре первых элемента в последовательности многоугольников, пределом которой является остров Коха
Одним из неожиданных примеров фракталей является бе
реговая линия многих островов. При измерении |
длины |
побе |
||||
режья |
сложная |
изрезанная |
береговая |
линия заменяется |
лома |
|
ной, состоящей |
из звеньев |
длины е. |
Оказалось, |
что значение |
||
L для |
Великобритании зависит от е по степенному закону |
|
||||
|
Це) ~ |
Ce1-d, где d ~ 1,3, 10км < е < 1000км, |
|
что является характерным признаком фрактальной кривой. В некотором диапазоне параметров степенная зависимость опре деляет длину побережья многих других островов, длину неко торых рек, путь, проходимый частицей при броуновском дви жении. Пример фигуры с бесконечным периметром и ограничен ной площадью дает остров Коха. Он так же, как и канторово множество, возникает после бесконечного количества шагов.
196
Несколько первых шагов в этой последовательности |
показаны |
|||
иа |
рйс. 6.5. |
|
|
|
|
Многие |
парадоксы, связанные с |
распределением |
звездно |
го |
вещества, |
могут быть объяснены, |
если предположить, что |
|
это |
вещество |
образует фрактальные |
кластеры. В ряде недав |
них работ указывается на большие возможности использования фракталей в космологии, теории турбулентности, химической кинетике, физике полимеров [91, 323]. Фрактальные структу ры, известные как перколяционные кластеры, возникают при прохождении жидкости через твердые тела [178, 192, 392].
Вместе |
с |
тем в последние |
годы |
был сделан другой |
важ |
ный шаг - |
в |
некоторых работах |
был |
исследован механизм |
воз |
никновения фрактальных структур в различных физических за
дачах, а также проведен ряд экспериментов, связанных с
анализом пространственной упорядоченности такого типа. Об разование сложной пространственной структуры можно объяс нить с помощью достаточно простых механизмов. Одним из них является агрегация, ограниченная диффузией [392]. Предста вим себе частицы, совершающие случайное блуждание, которые могут осаждаться на некоторой поверхности. Прилипая к по
верхности, частицы меняют ее форму. Понятно, что вероят
ность столкнуться с бугорком на поверхности выше, чем ве роятность попасть в ямку. Именно поэтому размеры бугорков
начинают увеличиваться, |
возникает неустойчивость |
роста. |
Начиная с определенных размеров, на каждом из них |
появля |
|
ются ветви, и в результате |
формируется фрактальная |
струк |
тура (см. рис. 6.6). |
|
|
497
Другой механизм возникновения фракталей может быть обусловлен совместным действием диффузии и электрического
поля. Он позволяет объяснить возникновение сложной струк туры при электромеханическом осаждении цинка. При этом полный ток, движущийся к катоду, определяет вероятность
частице быть адсорбированной. Чем больше кривизна поверх
ности электрода, тем выше напряженность поля, тем быстрее осаждаются ноны и происходит рост [192]. Таким образом,
неравновесный необратимый рост может приводить к появлению фракталей.
Оказалось, что при вытеснении жидкостью с малой вяз
костью другой жидкости с большой вязкостью первоначально
плоская поверхность раздела переходит в поверхность, кото
рая по форме напоминает пальцы перчатки. Такие структуры получили название « вязких пальцев». Последовательное дроб
ление кончиков таких «пальцев» приводит к возникновению
фрактальных кластеров [192]. |
Анализ |
этого явления имеет |
||||
важное прикладное значение. Оно наблюдается при |
закачке |
|||||
воды в нефтеносный пласт с целью повышения его |
нефтеот |
|||||
дачи. |
Возникновение |
«вязких |
пальцев» |
существенно |
меняет |
|
условия |
добычи |
нефти. |
|
|
|
|
Интересно, |
что, |
несмотря |
на относительную |
простоту |
моделей фрактального роста, они достаточно хорошо предска зывают фрактальную размерность наблюдаемых в эксперименте структур. Это связано с тем, что фрактальные размерности являются усредненными характеристиками множества, они отражают только его основные черты, которые и передает мо дель.
Выше мы рассмотрели несколько примеров множеств, об ладающих фрактальной (иногда ее называют канторовой)
структурой. Оказалось, что такие множества возникают при анализе многих систем, в которых существуют стохастические режимы или сложная временная упорядоченность. В этом слу чае представление о фрактальных размерностях оказывается очень полезным при выделении параметров порядка и построе
198
нии иерархии упрощенных моделей. Обсудим основные коли чественные характеристики таких систем.
§ |
6.2. Размерности |
странных аттракторов |
|
||
Следуя |
работе |
[259], |
удобно |
выделить два |
больших |
класса размерностей - |
метрические |
и вероятностные. |
Первые |
характеризуют изучаемые множества как геометрические объ екты и определяются их метрическими свойствами (в работе
[323]именно они называются фрактальными размерностями).
Вероятностные размерности (или размерности естественной меры) учитывают, с какой вероятностью типичная траектория
динамической системы оказывается в различных частях
аттрактора.
Кметрическим размерностям относится упоминавшаяся
выше |
хаусдорфова размерность и . емкость множества d£ (иног |
|||||
да ее также называют предельной емкостью [159]). |
Верхняя |
|||||
емкость множества определяется значением предела |
|
|||||
|
d = |
Iim |
log |
N(c)/lo g (l//e), |
(6-4) |
|
|
c |
e -» o |
|
|
|
|
где через Ще) обозначено минимальное |
число шариков |
радиу |
||||
са с, |
необходимое, |
чтобы |
покрыть изучаемое множество в |
|||
р-мерном пространстве. |
Можно сказать, |
что' значение |
И оп |
ределяет, сколько информации необходимо, |
чтобы задать по |
|
ложение множества с точностью е. |
|
|
Заменив здесь верхний предел на |
нижний, |
получим |
нижнюю емкость dс. Это относится и ко всем другим |
размер |
ностям, обсуждаемым ниже. В работе [159] построен пример
множества, в котором dc * dc * dH. Однако это является
исключением, а не правилом. Обычно верхние и нижние преде лы для типичных аттракторов совпадают, поэтому далее мы не будем уточнять, о каком пределе идет речь.
199
Так как множество всех возможных разбиений при вычис
лении d^ (см. |
(6.1 ), (6.2 )) |
оказывается |
более |
широким, |
чем |
|
при вычислении |
dc, |
|
|
|
|
|
|
|
dc * |
dH. |
|
|
(6.5) |
Можно |
представить себе |
ситуацию, |
когда |
заметный |
вклад |
|
в значение |
dc или d^ дают редко посещаемые |
точки (построе |
ны примеры простых двумерных отображений, где все происхо
дит именно |
таким |
образом [259]). В |
этом случае полезно |
учесть, как |
часто |
точка, определяющая |
состояние динамичес |
кой системы, бывает в разных частях аттрактора. Эта веро
ятность задается естественной мерой.
Ее можно определить следующим образом [158, 259]. Для каждого шарика С, содержащего точки аттрактора, и каждой точки х из области притяжения определим число ц (х,С), по
казывающее, какую |
долю времени |
траектория, |
начинающаяся в |
||||||
х, |
проведет в С. (Предполагается, что усреднение произво |
||||||||
дится по |
бесконечному |
интервалу |
времени.) |
Если |
почти каж |
||||
дая |
точка |
х |
дает |
одно |
и |
то же |
значение |
fi(x,C), |
обозначим |
его |
через |
ц(С) |
и назовем |
р |
естественной мерой аттрактора. |
Естественная мера позволяет определить ряд вероятно стных размерностей. Одной из них является информационная
размерность, |
которая выражается |
пределом |
|
||
|
d. = |
1 im |
/(e )/lo g (l/e ), |
(6.6 ) |
|
где |
|
е-»о |
|
|
|
|
|
N( €) |
|
|
|
|
|
|
|
|
|
|
1(e) = inf t P,log(l/р). |
|
|||
В этой |
формуле |
р. = |
р(С.), |
С. - куб с ребром, |
равным |
е. В некоторых работах рассматриваются покрытия шарами с радиусами, не превышающими е, и вводятся верхняя и нижняя
информационные размерности d{ и d при этом в формуле
(6.6 ) берутся верхние и нижние пределы [158]. Величина rf/ иногда называется размерностью Реньи. Если все кубики
200