Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
8 ФРАКТАЛЬНЫЕ СОБЫТИЯ И КАНТОРОВА ПЫЛЬОсновная цель этой главы — по возможности безболезненное — но достаточно подробное — ознакомление читателя с еще одним математическим объектом из тех, что обычно рассматриваются как патологические, — с канторовой пылью, С. Фрактальная размерность канторовой пыли и других родственных ей пыльных структур, которые мы здесь рассмотрим, находится в интервале от 0 до 1.
Так
как эти структуры образованы точками на прямой, их сравнительно легко изучать.
Кроме того, с их помощью можно в наипростейшей форме представить некоторые понятия,
занимающие центральное место в теории фракталов, но настолько редко применявшиеся
в прошлом, что для их обозначения даже не было придумано терминов. Начнем с термина
«пыль», который теперь приобретает специальный смысл как неформальный эквивалент
термина «множество, топологическая размерность ШУМ Обычный человек называет шумом звук, который либо слишком силен, либо не имеет подходящего ритма или ясной цели, либо просто мешает слушать более приятные звуки. Партридж [463] заявляет, что слово «шум» «происходит от латинского nausea «тошнота» (родственного латинскому же nautes «моряк»); можно легко проследить семантическую связь, представив себе звуки, издаваемые толпой пассажиров древнего корабля, попавшего в бурю». («Оксфордский словарь английского языка», похоже, имеет на этот счет другое мнение.) Что до современной физики, то она определяет термин «шум» (менее живописно и далеко не так точно) как синоним случайных флуктуаций или ошибок независимо от их происхождения или проявлений. Канторова пыль С в этой главе вводится через изучение прецедента, а в роли прецедента выступает несколько эзотерический, но довольно простой шум. ОШИБКИ В ЛИНИЯХ ПЕРЕДАЧИ ДАННЫХ Канал передачи — это некая физическая система, способная передавать электрический сигнал. Однако электрический ток, к сожалению, не свободен от спонтанных шумов. Качество передачи зависит от вероятности возникновения ошибок, обусловленных шумовыми искажениями, которые, в свою очередь, зависят от отношения интенсивности сигнала и шума. В
этой главе мы будем говорить о каналах, по которым данные передаются между компьютерами
и используются чрезвычайно сильные сигналы. Интересная особенность заключается в
том, что сигнал дискретен; следовательно, распределение шумов донельзя упрощается
распределением ошибок. Шум представляет собой некую функцию, которая может иметь
множество значений, в то время как функция ошибок может иметь только два возможных
значения. В ее роли может выступать, скажем, характеристическая функция, которая
при отсутствии ошибок в некий момент времени Физики уже разобрались в структуре шумов, которые преобладают в случае слабых сигналов (тепловой шум, например). Однако в вышеописанной задаче сигнал настолько силен, что классическими шумами можно пренебречь. Что касается тех шумов, которыми пренебречь нельзя, — избыточных шумов — они сложны и захватывающи, потому что о них почти ничего не известно. Мы рассмотрим один такой избыточный шум, который приблизительно в 1962 году настолько заинтересовал инженеров- электриков, что для его изучения потребовалась помощь различных специалистов в других областях. Я также внес свой скромный вклад в общее дело — занимаясь именно этой конкретной практической задачей, я впервые ощутил нужду во фракталах. Никто в то время даже отдаленно не представлял себе, насколько далеко заведет нас тщательное изучение этой, казалось бы незначительной, инженерной проблемы. ПАКЕТЫ И ПАУЗЫ Подвергнем ошибки анализу с постепенно возрастающей точностью. Грубый анализ показывает наличие периодов, во время которых не зарегистрировано ни одной ошибки. Условимся называть эти периоды затишья «паузами нулевого ранга», если их длительность превышает один час. Любой временной промежуток, ограниченный с обеих сторон паузами нулевого ранга, назовем «пакетом ошибок нулевого ранга». Увеличив точность анализа в три раза, мы увидим, что исходный пакет также «прерывист». То есть более короткие паузы «первого ранга» длительностью 20 мин или больше перемежаются более короткими пакетами «первого ранга». Аналогично, каждый из последних содержит несколько пауз «второго ранга» длительностью 400 с, разделяющих пакеты «второго ранга» и т.д.; каждый этап основывается на паузах и пакетах, в три раза более коротких, чем предыдущие. Грубую иллюстрацию этого процесса можно видеть на рис. 120. (На пояснение пока внимания не обращайте.) Предыдущее
описание предполагает существование такого понятия, как относительное расположение
пакетов ПРИБЛИЖЕННАЯ
МОДЕЛЬ ПАКЕТОВ ОШИБОК: ФРАКТАЛЬНАЯ КАНТОРОВА ПЫЛЬ В предыдущем разделе мы предприняли попытку построить множество ошибок, начав с прямой линии, представляющей временную ось, и вырезая все уменьшающиеся свободные от ошибок паузы. Возможно, для естественных наук такая процедура и внове, однако в чистой математике она используется довольно давно — по меньшей мере, со времен Георга Кантора (см. [207], особенно с. 58). У
Кантора (см. [62]) инициатором служит замкнутый интервал [0, 1]. Термин «замкнутый»
и квадратные скобки означают, что крайние точки принадлежат интервалу: такая запись
уже использовалась в главе 6, однако до сих пор у нас не было необходимости указывать
на это явным образом. Первый этап построения состоит в разделении интервала
[0, 1] на три участка и удалении открытой средней трети, которая обозначается
]1/3, 2/3[. Термин «открытый» и развернутые квадратные скобки означают, что крайние
точки интервала в этот интервал не входят. Затем удаляются средние трети каждого
из Получаемое
в результате множество остатков В общем случае количество
частей, называемое основанием, обозначается буквой СТВОРАЖИВАНИЕ, ТРЕМЫ И СЫВОРОТКА В рамках термина, который Льюис Ричардсон применил к турбулентности, а мы позаимствовали для описания береговых линий и кривых Коха в главе 6, канторова процедура является каскадом. «Вещество», однородно распределенное вдоль инициатора [0, 1], подвергается воздействию центробежного вихря, который «сметает» его к крайним третям интервала. Среднюю треть, вырезанную из интервала [0, 1], мы будем называть трёма-генератором. Этот неологизм образован от греческого слова, означающего «дыра, отверстие» (дальним родственником этого слова является латинское termes «термит»). Это, пожалуй, самое короткое греческое слово из тех, что на сегодняшний день еще не обзавелись значительной терминологической нагрузкой. В данном контексте тремы совпадают с паузами, однако в других примерах, с которыми мы встретимся позже, совпадения не происходит, поэтому и возникла необходимость в двух разных терминах. По мере того, как опустошается «трема первого порядка», вещество сохраняется и перераспределяется с однородной плотностью по внешним третям, которые мы будем называть предтворогом. Здесь в действие вступают еще два вихря, и та же процедура повторяется на интервалах [0, 1/3] и [2/3, 1]. Процесс продолжается как ричардсонов каскад, стремясь в пределе к множеству, которое мы назовем творогом. Если длительность этапа пропорциональна размеру вихря, то общая длительность процесса конечна. Для пространства, не занятого творогом, я предлагаю термин сыворотка (в совокупности получаем вполне полноценную простоквашу). Предполагается, что эти термины будут использоваться не только в их математическом значении, но для выражения их физического смысла. Створаживанием можно называть любой каскад неустойчивых состояний, приводящий в итоге к сгущению вещества, а термин творог может определять объем, внутри которого некая физическая характеристика становится — в результате створаживания — чрезвычайно концентрированной. Этимология. Слово «творог» происходит от древнеанглийского crudan «давить, жать, сильно толкать». Не следует думать, будто эта маленькая демонстрация эрудиции, позаимствованной у Партриджа [463], является абсолютно бесполезной — этимологические родственники творога несомненно интересуют нас с фрактальной точки зрения (см. гла- ву 23). Обратите внимание на цепочку свободных ассоциаций: творог > сыр > молоко > Млечный Путь > Галактика (греч. “гала” переводится как «молоко») > галактики. Термин створаживание пришел мне в голову, когда я занимался как раз галактиками, и этимологическая подоплека «галактического створаживания» весьма меня заворожила. ВНЕШНИЙ ПОРОГ И ЭКСТРАПОЛИРОВАННАЯ КАНТОРОВА ПЫЛЬ В
качестве прелюдии к экстраполяции множества Однако
при таком повторении разрушается самоподобие, которым мы в настоящем эссе весьма
дорожим. Чтобы этого избежать, следует соблюсти два простых правила: инициатор используется
только для экстраполяции, а сама экстраполяция происходит в виде обратного
или восходящего каскада. На первом этапе множество При
желании можно чередовать, скажем, два этапа интерполяции и один этап экстраполяции
и т. д. При таком построении каждая серия из трех этапов увеличивает внешний порог
< Отрицательная ось в такой экстраполированной пыли остается пустой — бесконечная трема. Соответствующее понятие мы обсудим позже, в главе 13, где мы рассмотрим (бесконечные) континенты и бесконечные же кластеры. ► РАЗМЕРНОСТИ D В ИНТЕРВАЛЕ ОТ 0 ДО 1 Множество, полученное в результате бесконечных интерполяции и экстраполяции, самоподобно, а его размерность
представляет собой дробь в интервале от 0 до 1. Изменяя
правила створаживания, мы можем получить другие значения При
Для
множеств c
Для множеств c
Хотя размерности двух последних множеств равны, «выглядят» они очень по-разному. Об этом наблюдении мы будем подробнее говорить в главе 34, где оно приведет нас к концепции лакунарности. Обратите
внимание также на то, что для любого МНОЖЕСТВО С НАЗЫВАЕТСЯ «ПЫЛЬЮ», ПОТОМУ ЧТО ЕГО ТОПОЛОГИЧЕСКАЯ РАЗМЕРНОСТЬ DT РАВНА НУЛЮ Фрактальная размерность
При
отсутствии общепринятого обыденного термина, вроде «кривой» и «плоскости» (которые
представляют собой связные множества с размерностями РАСПРЕДЕЛЕНИЕ ДЛИН ПАУЗ Возьмем
канторову пыль и обозначим через и возможное значение для длины паузы, через
СРЕДНЕЕ КОЛИЧЕСТВО ОШИБОК Как
и в случае береговых линий, можно получить приблизительное представление о последовательности
ошибок, если остановить канторо- во створаживание при длине интервалов Количество
ошибок между моментами времени 0 и Если
сигнал начинается в момент времени Это
выражение похоже на стандартное выражение для массы диска или шара радиуса В
качестве вывода можно заметить, что среднее количество ошибок на единицу длины
приблизительно пропорционально КОНЦЕВЫЕ ТОЧКИ ТРЕМ И ИХ ПРЕДЕЛЫ <
Наиболее заметные члены множества ИСТИННАЯ ПРИРОДА КАНТОРОВОЙ ПЫЛИ Читателю, который продержался до этого места и/или/ наслышан об активно сейчас обсуждаемых в научной литературе чертовых лестницах (см. пояснение к рис. 125), возможно, будет сложно поверить в то, что, когда я начал работу над этой темой в 1962 г., все вокруг были единодушны в том, что канторова пыль по меньшей мере столь же чудовищна, как кривые Коха и Пеано. Каждый
уважающий себя физик автоматически «выключался» при одном только упоминании имени
Кантора, порывался убежать за тридевять земель от всякого, заявляющего о научной
ценности множества Чтобы опубликовать работу о канторовой пыли, мне пришлось убрать из нее всякое упоминание имени Кантора! Однако
случилось так, что Природа сама привела нас к множеству Несомненно,
в большинстве случаев само множество
Рис. 120 и 121. КАНТОРОВЫ ТРОИЧНЫЕ ГРЕБЕНЬ И БРИКЕТ
(РАЗМЕРНОСТЬ ГОРИЗОНТАЛЬНОГО СЕЧЕНИЯ Инициатором для канторовой пыли служит интервал [0, 1], а генератор имеет следующий вид:
Рис. 120. Канторову пыль необычайно трудно изобразить на рисунке, так как она настолько тонка и разрежена, что практически невидима. Для получения хоть какого-нибудь представления о ее форме, утолщим исходный интервал и назовем результат канторовым гребнем. < Строго говоря, у нас получится декартово произведение канторовой пыли длины 1 на отрезок длины 0,03. ► Створаживание. Построение канторова гребня описывается процессом, который я назвал створаживанием. Сначала изобразим стержень круглого сечения (в проекции получится прямоугольник с соотношением «высота/длина», равным 0,03). Удобнее всего представить, что материал, из которого изготовлен стержень, имеет очень малую плотность. Затем материал стержня начинает «створаживаться», смещаясь из средней трети стержня к его крайним третям, причем положение последних остается при этом неизменным. При дальнейшем створаживании вещество уходит из средних третей каждой из крайних третей уже в их собственные крайние трети и так далее до бесконечности. В пределе мы получим бесконечно большое количество бесконечно тонких пластин бесконечно большой плотности. Эти пластины распределены вдоль прямой весьма особенным образом, обусловленным производящим процессом. На рисунке створаживание остановлено на этапе, соответствующем предельному разрешению как типографского пресса, так и человеческого глаза, — последняя строка неотличима от предпоследней; каждый из элементов последней строки выглядит просто как темная линия, тогда как на самом деле представляет собой две тонкие пластины, разделенные пустым промежутком. Канторов брикет. Выберем в качестве исходного объекта для створаживания круглый корж, толщина которого значительно меньше его диаметра, и пусть тесто при створаживании разделяется на более тонкие коржи (освобождая место для соответствующей начинки). В результате получим этакий бесконечно экстраполированный «наполеон», который можно назвать канторовым брикетом. Кольца Сатурна. Раньше считалось, что Сатурн окружен одним сплошным кольцом. Затем была открыта щель, разделяющая кольцо, потом еще одна, и наконец «Вояджер-I» обнаружил огромное количество таких щелей, в большинстве своем очень узких. «Вояджер» также установил, что кольца прозрачны: они пропускают солнечный свет... как и подобает множеству, названному нами «тонким и разреженным». Таким образом, структура колец (см. [542], особенно иллюстрацию на обложке) являет собой, по всей видимости, совокупность близко расположенных окружностей, причем радиус каждой из этих окружностей соответствует расстоянию от некоторой точки отсчета до некоторой точки канторовой пыли. < Специальное название для такого множества — декартово произведение канторовой пыли на окружность. Вообще говоря, мы, наверное, получим более близкую к оригиналу картинку, если умножим окружность на пыль положительной меры, подобную тем, что рассматриваются в главе 15. ► Добавление в последнюю минуту: та же идея независимо от меня озарила и авторов [10], только они соотнесли ее с уравнением Хилла; в Примечании 6 к упомянутой работе содержится немало других соображений по существу вопроса. Спектры. Хартер описывает в [199] спектры некоторых органических молекул; сходство этих спектров с канторовой пылью потрясает. Рис.
121.
Этот рисунок помогает яснее представить форму канторовой пыли посредством помещения
ее среди остальных пылевидных множеств с Знаменитый греческий парадокс. Греческие философы полагали, что условием неограниченной делимости тела является его непрерывность. Очевидно, они ничего не знали о канторовой пыли.
Рис. 125. ФУНКЦИЯ КАНТОРА, ИЛИ ЧЕРТОВА ЛЕСТНИЦА (РАЗМЕРНОСТЬ D=1, РАЗМЕРНОСТЬ МНОЖЕСТВА АБСЦИСС ПОДСТУПЕНЕЙ D ~ 0,6309). КАНТОРОВО ДВИЖЕНИЕ Функция
Кантора описывает распределение массы вдоль канторова гребня, показанной на рис.
120. Многие называют график этой функции чертовой лестницей — она и впрямь
ведет себя весьма странно, чтобы не сказать больше. Условимся, что и длина, и масса
гребня равны 1; кроме того, каждой точке абсциссы Регуляризующие отображения. Чертова лестница может похвастаться одним выдающимся свойством: с ее помощью можно отобразить вопиющую неоднородность канторова гребня в нечто пристойно однородное и равномерное. Взяв два различных интервала одинаковой длины на вертикальной оси графика обратной канторовой лестницы, мы обнаружим, что масса двух соответствующих наборов пластин одинакова — хотя на вид они, как правило, сильно отличаются. Поскольку самым буйным цветом наука цветет именно на почве однородности, такие регуляризующие преобразования часто способны преодолеть преграду между фрактальной иррегулярностью и математическим анализом. Фрактальная однородность. Распределение масс в канторовом гребне удобно полагать фрактально однородным. Канторово
движение.
Как и в случае рассматриваемой в виде движения кривой Коха или движения Пеано, иногда
удобно интерпретировать ординату Фрактальная
размерность.
Сумма ширины всех ступеней чертовой лестницы равна сумме высот всех этих ступеней
— каждая из сумм равна 1. Следовательно, чертова лестница имеет совершенно определенную
длину, равную 2. Кривая конечной длины называется спрямляемой, а ее размерность
< Кое-кому, возможно, захочется назвать представляемую
вашему вниманию кривую фрактальной, однако для этого нам придется пойти на менее
строгое определение фракталов, которое бы наряду с размерностью Сингулярные функции. Канторова лестница представляет собой неубывающую и непостоянную сингулярную функцию — сингулярную в том смысле, что она непрерывна, но не дифференцируема. Ее производная обращается в нуль почти везде, к тому же она ухитряется непрерывно изменяться на множестве, длина — т. е. линейная мера — которого стремится к нулю. Любая неубывающая функция может быть представлена в виде суммы некоторой сингулярной функции, некоторой функции, состоящей из дискретных скачков, и некоторой дифференцируемой функции. Два последних слагаемых являются классикой в математике и широко используются в физике. Сингулярную же составляющую большинство физиков считает абсолютно бесполезной патологией. Последнее мнение является абсолютно безосновательной чепухой — это заявление можно считать лейтмотивом настоящего эссе. Чертовы лестницы в статистической физике. Публикация этого рисунка в эссе 1977 г. привлекла к чертовым лестницам внимание физиков и послужила стимулом для многочисленных исследований. Все чаще мне встречаются в книгах и статьях графики, напоминающие «занавес» на рис. 121 или занавес Фату на рис. 273. В этой связи рекомендую заглянуть в [9], где разрозненные — хотя и весьма важные — ранние исследования (например, [11], [218]) объединены с новыми разработками в данной области.
|
1 |
Оглавление
|