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

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

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

■их членов - наложение двух «пил». Второй член имеет

ццплнтуду

л

и

частоту

о

_

 

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]именно они называются фрактальными размерностями).

Вероятностные размерности (или размерности естественной меры) учитывают, с какой вероятностью типичная траектория

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

аттрактора.

Кметрическим размерностям относится упоминавшаяся

выше

хаусдорфова размерность и . емкость множества (иног­

да ее также называют предельной емкостью [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

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