WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     | 1 || 3 | 4 |   ...   | 10 |

Центральное место в определении размерности Хаусдорфа – Безиковича и, следовательно, фрактальной размерности D занимает понятие расстояния между точками в пространстве. Как измерить «величину» множества Y точек в пространстве Простой способ измерить длину кривых, площадь поверхностей или объем тела состоит в том, чтобы разделить пространство на небольшие кубы с ребром, как показано на рис. 1.5. Вместо кубов можно было бы взять небольшие сферы диаметром. Если поместить центр малой сферы в какой-нибудь точке множества, то все точки, находящиеся от центра на расстоянии, окажутся покрытыми этой сферой. Подсчитывая число сфер, необходимых для покрытия интересующего нас множества точек, мы получаем меру величины множества. Кривую можно измерить, определяя число N() прямолинейных отрезков длины, необходимых для того, чтобы покрыть ее. Разумеется, для обычной кривой N() = L0 /. Длина кривой определяется предельным переходом L = N() L00.

В пределе при 0 мера L становится асимптотически равной длине кривой и не зависит от.

Множеству точек можно поставить в соответствие и площадь. Например, площадь кривой можно определить, указывая число кругов или квадратов, необходимых для ее покрытия. Если N() – число этих квадратов, а 2 – площадь каждого из них, то площадь кривой равна Рис. 1.5 Измерение «величины» кривой A = N() L00.

Аналогично объем V кривой можно определить как величину V = N() L00, разумеется, что для обычных кривых A и V обращаются в нуль при 0, и единственной представляющий интерес мерой является длина кривой.

Рассмотрим далее множество точек, образующих поверхность (рис. 1.6). Нормальной мерой такого множества служит площадь A, и мы имеем S = N() A00.

Как нетрудно видеть, для обычной поверхности число квадратов, необходимых для ее покрытия, определяется в пределе при 0 выражением N() = A0 / 2, где A0 – площадь поверхности.

Поверхности можно поставить в соответствие объем, образуя сумму объемов кубов, необходимых для покрытия поверхности V = N() A00.

При 0 этот объем, как и следует ожидать, обращается в нуль.

Можно ли поверхности поставить в соответствие какую-нибудь длину Формально мы можем принять за такую длину величину L = N() A00, Рис. 1.6 Измерение «величины» поверхности которая расходится при 0. Этот результат имеет смысл, так как поверхность невозможно покрыть конечным числом прямолинейных отрезков. Можно заключить, что единственной содержательной мерой множества точек, образующих поверхность в трехмерном пространстве, является площадь.

Нетрудно видеть, что множества точек, образующих кривые, могут быть закрученными так сильно, что длина их окажется бесконечной, и, действительно, существуют кривые (кривые Пеано), заполняющие плоскость. Существуют также поверхности, изогнутые столь причудливым образом, что они заполняют пространство. Для того чтобы можно было рассматривать и такие необычные множества точек, полезно обобщить введенные меры величины множества.

До сих пор, определяя меру величины множества точек L в пространстве, мы выбирали некоторую пробную функцию h() = (d)d – отрезок прямой, квадрат, круг, шар или куб – и покрывали множество, образуя меру M = d h(). Для прямолинейных отрезков, квадратов и кубов геометрический коэффициент (d) = 1, для кругов = /4 и для сфер = / 6. Мы заключаем, что в общем случае при 0 мера Мd равна нулю или бесконечности в зависимости от выбора d – размерности меры. Размерность Хаусдорфа – Безиковича D множества L есть критическая размерность, при которой мера Мd изменяет свое значение с нуля на бесконечность 0 при d > D;

d M = (1.3) d (d) = (d)N()d при d < D.

Мd можно назвать d-мерой множества. Значение Мd при d = D часто конечно, но может быть равно нулю или бесконечности; существенно, при каком именно значении d величина Мd изменяется скачком. В приведенном выше определении размерность Хаусдорфа – Безиковича фигурирует как локальное свойство в том смысле, что эта размерность характеризует свойства множеств точек в пределе при исчезающе малом диаметре, или размере пробной функции, используемой для покрытия множества. Следовательно, фрактальная размерность D может также быть локальной характеристикой множества. В действительности здесь существует несколько тонких пунктов, заслуживающих рассмотрения. В частности, определение размерности Хаусдорфа – Безиковича позволяет покрывать множество «шарами» не обязательно одного и того же размера при условии, что диаметры всех шаров меньше. В этом случае d-мера есть нижняя грань, т.е., грубо говоря, минимальное значение, получаемое при всех возможных покрытиях.

Знакомыми являются случаи D = 1 для линий, D = 2 для плоскостей и искривленных гладких поверхностей и D = 3 для шаров и других тел конечного объема. Как будет показано на многочисленных примерах, существуют множества, для которых размерность Хаусдорфа – Безиковича не является целой и называется фрактальной.

Определение (1.3) фрактальной размерности может быть использовано на практике. Обратимся снова к береговой линии, изображенной на рис. 1.1. Она покрыта множеством квадратов со стороной, за единицу длины принята протяженность обреза карты. Подсчитав число квадратов, необходимых для покрытия береговой линии, получим число N(). Далее можно поступить так, как подсказывает формула (1.3), и вычислить Мd() или продолжить подсчет и найти N() при меньших значениях. Так как из формулы (1.3) следует, что асимптотически, в пределе при малых :

N(), (1.4) D можно определить фрактальную размерность береговой линии, измерив угловой коэффициент (наклон) графика ln N () как функции от ln. Для береговой линии, изображенной на рис. 1.1, такой график построен на рис. 1.7. Как показывают вычисления, D 1,5. Размерность D, определяемую по формуле (1.4) путем подсчета числа клеток, или ячеек, необходимых для покрытия множества в зависимости от размера клетки, принято называть размерностью, определяемой по подсчету клеток, или клеточной размерностью.

Рис. 1.7 Число ячеек размером, необходимых для покрытия береговой линии, изображенной на рис. 1.1 как функция шага (км).

Прямая в дважды логарифмических координатах соответствует зависимости N() = а-D и построена по результатам измерений.

Фрактальная размерность D 1,1.4 Триадная кривая Коха На рис.1.8 показано, как построить триадную кривую Коха. Триадная кривая Кох – один из стандартных примеров, приводимых в подтверждение того, что кривая может иметь фрактальную размерность D > 1.

Построение кривой Коха начинается с прямолинейного отрезка единичной длины L(1) = 1. Этот исходный отрезок называется затравкой и может быть заменен каким-нибудь многоугольником, например равносторонним треугольником, квадратом. Затравка – это 0-е поколение кривой Коха. Построение кривой Коха продолжается: каждое звено затравки мы заменяем образующим элементом, обозначенным на рис. 1.8 через N = 1. В результате такой замены получается 1-е поколение – кривая из четырех прямолинейных звеньев, каждое длиной по 1/3.

N = N = N = N = N = Рис. 1.8 Построение триадной кривой Коха Длина всей кривой 1-го поколения составляет величину L(1/3) = 4/3. Следующее поколение получается при замене каждого прямолинейного звена уменьшенным образующим элементом. В результате получается кривая 2-го поколения, состоящая из N = 42 = звеньев, каждое длиной = 3–2 = 1/9. Длина кривой 2-го поколения равна L(1/9) = (4/3)2 = 16/9. Заменяя все звенья предыдущего поколения кривой уменьшенным образующим элементом, получаем новое поколение кривой. Кривая N-го поколения при любом конечном N называется предфракталом.

В виде исключения проследим во всех подробностях за тем, как получается выражение для D. Длина предфрактала N-го поколения определяется формулой L()=(4/3)N.

Длина каждого звена составляет = 3-N.

Замечая, что число поколений N представимо в виде N = –ln / ln 3, запишем длину предфрактала в виде ln [ln 4 - ln3] = 1-D. (1.5) n L()= (4 / 3) = exp ln Формула (1.5) имеет вид приближенной формулы (1.1), в которой D = ln 4 / ln 3 ~ 1,2628.

Число сегментов равно N() = 4N = 4–ln / ln 3 и может быть записано в виде N() = –D. (1.6) Как будет показано дальше, D – фрактальная размерность триадной кривой Коха. Прежде всего заметим, что построение Коха позволяет в любом поколении получать нормальную кривую конечной длины. Мандельброт называет такие кривые предфракталами. Но при увеличении числа поколений величина стремится к нулю и длина кривой расходится. Ясно, что множество точек, которое получают как предел бесконечно большого числа итераций процедуры Коха, не является кривой, для которой длина является удобной мерой. Но если выбрать пробную функцию h() = d, то получится d-мера M = = N()h() = -Dd.

d h() Таким образом, мера МD остается конечной и равна единице только в том случае, если размерность D, входящая в пробную функцию h(), равна D. Можно заключить, что критическая размерность и, следовательно, размерность Хаусдорфа – Безиковича для триадной кривой Коха равна D = ln 4 / ln 3. На каждой стадии построения предфракталы Коха могут быть растянуты в прямую линию, поэтому топологическая размерность триадной кривой Коха равна Dт = 1. Так как размерность Хаусдорфа – Безиковича D для кривой Коха больше ее топологической размерности Dт, можно заключить, что кривая Коха есть фрактальное множество с фрактальной размерностью D = ln 4 / ln 3.

1.5 Подобие и скейлинг Прямая – особое множество точек в пространстве: при любом изменении масштаба мы получим то же самое множество точек. Кроме того, если произвести над прямой параллельный перенос, снова получится то же самое множество точек. Прямая инвариантна относительно параллельного переноса и изменения масштаба, или скейлинга, – можно сказать, что прямая самоподобна.

Зададим точки в пространстве их декартовыми координатами х = (x1, x2, x3). Прямая, проходящая через точку x0 в направлении а = (а1, а2, а3,), есть множество точек L, определяемое соотношением x = x0 + ta, – < t < +.

Параметр t здесь любое действительное число. Если изменить масштаб длины в одно и то же число раз r для всех компонент радиус-вектора х, точки х отобразятся в новые точки х' = rx = (rх1, rх2, rх3), и мы получим новое множество точек r(L), определяемое соотношением x' = r (x0 + ta) = x0 + t'a – (1 – r) x0. (1.7) Здесь t' = rt снова любое действительное число. Если сдвинуть новое множество точек r(L), подвергнув все его точки параллельному переносу на величину (1 – r) x0, то в результате мы получим исходное множество точек L: прямая инвариантна относительно изменения масштаба длины. Прямая инвариантна и относительно параллельного переноса х х + aN, где N – любое действительное число.

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

Наконец, трехмерное пространство инвариантно относительно параллельных переносов в любом направлении и относительно изменения масштабов длины.

Другие множества точек не обладают столь прочными симметриями-инвариантностью относительно параллельных переносов и скейлинга. Окружность не инвариантна ни относительно параллельного переноса, ни относительно скейлинга, а инвариантна относительно поворотов вокруг собственного центра. Фракталы также не обладают свойствами некоторых или даже всех этих простых инвариантностей.

Полезно рассмотреть ограниченные множества, такие, как конечный отрезок прямой. Отрезок прямой не обладает трансляционной симметрией – любой сдвиг его всегда порождает новое множество точек.

Но если изменить длины в r раз, где r < 1, то получится новое множество точек L' = r(L), которое составит небольшую часть прямой. Этим отрезком прямой, подвергнув его параллельному переносу, можно покрыть часть исходного прямолинейного отрезка L. При надлежащем выборе числа r мы можем однократно покрыть исходный отрезок N непересекающимися отрезками. Можно сказать, что множество L самоподобно с коэффициентом подобия r. Для отрезка прямой единичной длины мы можем выбрать r(N) = l / N, где N – любое целое число. Прямоугольный участок плоскости можно покрыть его уменьшенными копиями, если их длины изменить в r(N) = (l / N)1/2 раз. Аналогично прямоугольный параллелепипед можно покрыть его уменьшенными копиями, если выбрать r(N) = l / N 1/3. В общем случае масштабный множитель следует выбирать равным r(N) = (l / N)1/d. (1.8) Размерность подобия d для прямых, плоскостей и кубов равна соответственно 1, 2 и 3.

Рассмотрим теперь кривую Коха на рис. 1.8. С масштабным множителем r = 1/3 мы получаем первую треть всей кривой. Нам необходимо N = 4 таких фрагментов, чтобы покрыть исходное множество его уменьшенными копиями, подвергая их повторным параллельным переносам и поворотам. Мы можем также выбрать масштабный множитель r = (1/3)N и покрыть исходное множество его N = 4N уменьшенными копиями. Как было показано, для триадной кривой Коха масштабный множитель определяется выражением r(N) = (l / N)1/D (1.9) с размерностью подобия Ds, равной размерности Хаусдорфа – Безиковича Ds = ln 4 / ln 3.

В общем случае размерность подобия Ds определяется выражением Ds = –ln N / ln r(N). (1.10) Рис. 1.9 Построение квадратной кривой Коха Для самоподобных фракталов размерность Хаусдорфа – Безиковича D равна Ds, и для таких фракталов мы будем опускать индекс «s» у размерности подобия.

Размерность подобия легко поддается определению для различных фракталов, получающихся с помощью различных вариантов построения Коха. Рассмотрим предфрактал Коха, построенный с единичным квадратом в качестве затравки и с образующим элементом, состоящим из N = 8 ломаных длиной r = 1/4, изображенных на рис. 1.9. Эта кривая имеет размерность подобия D = – ln 8 / ln 1/4 = 3/2 и равна размерности Хаусдорфа – Безиковича множества, получающегося после бесконечно большого числа итераций. Однако, поскольку в качестве затравки мы используем единичный квадрат, фигура в целом не выдерживает преобразования подобия. Каждый фрагмент «береговой линии» самоподобен, но, если уменьшить всю кривую в r раз, то получим уменьшенную копию оригинала, и вполне возможно, что оригинал нельзя будет покрыть такими уменьшенными множествами. Дело в том, что фрактальная скейлинговая инвариантность достигается только в пределе при 0, и можно заключить, что фрактальная природа кривых Коха есть, строго говоря, локальное свойство. Замечательная кривая Коха изображена на рис. 1.10.

Эта кривая без самопересечений заполняет прямоугольный равнобедренный треугольник. Затравкой служит единичный интервал, а образующий элемент, показанный на рис. 1.10, состоит из N = 2 звеньев длиной r = 0,99 1/ 2. Коэффициент 0,99 выбран для того, чтобы было легче проследить за структурой кривой, так как при r = 1/ 2 каждое поколение выглядит просто как бумага «в клеточку».

Рис. 1.10 Треугольный невод, D = 1,944. Для нескольких первых поколений ломаных предыдущее поколение показано штриховыми линиями.

Каждое из поколений изображено в увеличенном виде, чтобы можно было проследить структуру кривой Определяемое этим построением фрактальное множество имеет размерность D = –ln 2 / ln ( 0,99 / 2 ) = 1,944. Как видно из рис. 1.10, образующий элемент используется в двух вариантах: один сдвигает середину отрезка прямой влево, другой – вправо. Кроме того, каждое новое поколение предфракталов начинается с чередующихся левых и правых образующих элементов. На рис.1.10 каждое новое поколение показано в увеличенном виде. Это сделано для того, чтобы прямолинейные отрезки имели заданную длину и за структурой кривой можно было следить без ухудшения разрешающей способности.

Попытаемся теперь слегка изменить правила построения. Пусть при первом использовании образующего элемента середина образующего отрезка смещается влево. Каждое последующее поколение начинается с образующего элемента, смещенного вправо, а затем смещения середины вправо и влево чередуются. Несколько первых поколений и 11-е поколение показаны на рис. 1.11. Предельная фрактальная кривая называется драконом Хартера – Хейтуэя.

Если сохранить правила построения треугольного невода, но воспользоваться при этом образующим элементом, изображенным на рис. 1.12, то получится самопересекающаяся кривая, заполняющая плоскость. 10-е поколение показано на рис. 1.12. Образующий элемент Рис. 1.11 Дракон Хартера – Хейтуэя, D = Рис. 1.12 Модифицированный треугольный невод, D = 2.

Pages:     | 1 || 3 | 4 |   ...   | 10 |






















© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.