Одномерные комплексные отображения:множества Жюлиа,Мандельброта и Ньютона

  Глава 3. Множество Мандельброта

  §1. Множество Мандельброта

  Мы  уже убедились в том, что множества  Жюлиа функции  обладают большим разнообразием. Действительно, для каждого нового значения c мы получаем впечатляющие изображения. Тем не менее, на самом деле существуют всего два типа множеств Жюлиа. Каждое множество Жюлиа функции либо связно, либо вполне несвязно. Конечно, они могут выглядеть совершенно различным образом, даже принадлежа к одному и тому же типу. Некоторые связные множества Жюлиа выглядят как простые замкнутые кривые, которые являются фракталами, как это имеет место в случае . Существуют также связные множества Жюлиа, которые не являются простыми замкнутыми кривыми, как, например, в случае (рис. 3.1). С другой стороны, все вполне несвязные множества Жюлиа обладают тем свойством, что они представляют собой «канторову пыль».

  

  Рис. 3.1. Заполняющее множество Жюлиа для  

  Множество Мандельброта (см. рис. 3.2) служит индикатором для двух типов множеств Жюлиа функции . Каждая точка в множестве Мандельброта представляет значение , для которого множество Жюлиа связно. Каждая точка из дополнения к множеству Мандельброта представляет значение , для которого вполне несвязно. В определении множества Мандельброта об этом ничего не говорится, но основная теорема настоящего параграфа говорит именно об этом.

  Множество Мандельброта для полинома определяется как множество всех , для которых орбита точки 0 ограничена, то есть

    ограничена.

  Равносильное  определение записывается как

  .

  Равносильность  этих определений следует из того, что 

  а значит, существует такое R > 0, что из следует . Если для некоторого имеет место неравенство , то 

  

 

  Рис. 3.2 Множество Мандельброта для  

  для всех :

  || > ,

  то  есть .

  Выбор точки 0 в качестве начальной станет ясен из доказательства основной теоремы. Это связано с тем обстоятельством, что точка 0 — единственная критическая точка , то есть единственная точка, в которой производная обращается в нуль. Определение множества Мандельброта ℳ, приведенное выше, является рабочим, то есть оно может быть прямо использовано для написания программы, определяющей принадлежность точки множеству Мандельброта. Задача проверки орбит на ограниченность упрощается при использовании следующей теоремы.

  Теорема 1. Если и , то орбита z устремляется к . В частности, из этого следует, что точка с не принадлежит ℳ.

  

  Рис. 3.3. Окно множества Мандельброта около точки  

  Доказательство. Положим , где > 0. Тогда

    

                                                        |

                                                        

                                               

                                                  

  В частности, и при итерировании получаем: 
 

  .

  Вследствие  этого, при . Этим доказано первое утверждение. Относительно второго утверждения: так как орбита точки с стремится к бесконечности и , то орбита нуля также стремится к бесконечности.    ■

  Объединяя полученный результат с теоремой 1, получаем, что проверять нужно только точки . Причем в случае , если орбита достигает состояния, когда ее величина превосходит 2, то это означает, что она стремится к бесконечности, и, следовательно, проверяемая точка не принадлежит ℳ. Точка — единственная точка окружности , которая принадлежит множеству Мандельброта.

  Несложно  написать программу для построения множества Мандельброта. Единственная проблема, которая может возникнуть при использовании этой программы на малых ЭВМ — большой объем вычислений. Для того чтобы получить приемлемое изображение множества ℳ, желательно отображать по меньшей мере 256 256 пикселей. Более удачные визуализации получаются при использовании окна 400 400 пикселей и более. На рис. 3.2 приведено изображение множества Мандельброта размером 576 576 пикселей. Итеративные вычисления для определения того, является ли орбита захваченной или она стремится к бесконечности, должны выполняться для каждого пикселя, то есть для каждой пары принадлежащей решетке точек, которые следует проверить. Приводимая ниже программа позволяет организовать получение результатов по столбцам (все значения при одном фиксированном ). Это позволяет избежать хранения огромной матрицы, представляющей выход полностью, и обычно требует значительно меньше времени, чем получение результата для каждой орбиты, по мере того как вычисления для нее завершаются. Применяемый тест на ограниченность орбиты следующий:для 1,2,...,20. Лучшие результаты можно получить за счет значительного увеличения времени вычислений, то есть за счет увеличения n с 20 до 50, 100 и более.

      Для доказательства основной теоремы о множестве Мандельброта воспользуемся следующей леммой.

  Лемма 1. Пусть — гладкая, простая замкнутая кривая на плоскости, и пусть . Обозначим через прообраз .

  .

  Относительно можно утверждать следующее.

1. Если точка c находится строго внутри Г, то также является гладкой, простой замкнутой кривой. Внутренность взаимно однозначно соответствует внутренности Г (рис 3.4).
2. Если точка c лежит на кривой Г, то в этом случае имеет вид гладкой восьмерки. Каждая из внутренних областей (лепестки восьмерки) взаимно однозначно соответствует внутренней области Г (рис. 3.3).

  Доказательство. Идея доказательства проста, но детали несколько техничны. Проведем доказательство для случая, когда Г — окружность.

1. Пусть содержится строго внутри Г, как показано на рис. 2. Рассмотрим любую точку z Г. Обозначим через t аргумент комплексного числа zc, то есть z. Квадратные корни из    равны . По мере того как z движется по Г, точки и перемещаются по верхней и нижней половине, соответственно. Лучи, направленные из 0 в и , заполняют область внутри , и соответствие между внутренностью и является взаимно однозначным.

2.Если  точка  принадлежит контуру , как изображено на рис. 3, то когда z движется по , точка движется по замкнутой петле — границе одного из лепестков восьмерки. Лучи, направленные из 0 в , заполняют область внутри этого лепестка, и соответствие между внутренностью и этим лепестком является взаимно однозначным. Второй лепесток, не пересекающийся с первым, за исключением точки 0, прочерчивается точкой , и его внутренность также находится во взаимно однозначном соответствии с внутренностью .    ■ 

 

Рис. 3.3. (Г) для на

Рис. 3.4. (Г) для на  
 

 Теорема 2. Пусть М — множество Мандельброта.

1. Для каждой точки ℳ соответствующее ей множество Жюлиа связно.
2. Для каждой точки ℳ соответствующее множество Жюлиа вполне несвязно и является на самом деле канторовым множеством.

Доказательство. 1. Предположим, что последовательность ограничена. В первую очередь, мы покажем, что заполняющее множество Жюлиа есть пересечение вложенной последовательности замкнутых областей, то есть множеств, которые являются объединениями простых замкнутых кривых и областей, ограниченных ими. Пусть — окружность достаточно большого радиуса, содержащая все точки , причем точки   лежат внутри , а точки вне при итерировании стремятся к .

  Точка с находится внутри , так как . Пусть - по лемме 1, отображает внутреннюю область во внутреннюю область В частности, так как   находится внутри , то с лежит внутри , равно как и внутри _.

  Продолжим итерацию этого процесса. Пусть  , 1,2,... На каждом шаге точка с попадает внутрь , так как находится внутри , а это означает, что находится внутри и так далее до тех пор, пока окончательно не попадет во внутреннюю область, ограниченную . Это позволяет применять лемму на каждом шаге, что и обеспечивает возможность итерирования .

  Положим (внутренность ) и . По построению, каждая точка вне при итерировании стремится к . Из этого следует, что область притяжения определяется как

  .

  Таким образом, заполняющее множество  Жюлиа  есть множество К. Множество Жюлиа является границей , и следовательно, границей К.

  Связность следует из топологических соображений. Рассмотрим вложенную последовательность компактных, связных множеств, чьи дополнения связны. Их пересечение обладает теми же тремя свойствами. Более того, граница этого пересечения связна. Так как последовательность множеств обладает вышеуказанными свойствами, то множества и связны.

  2. Предположим, что последовательность не ограничена.

  Мы  знаем, что в этом случае 
 

  Пусть — окружность достаточно большого радиуса, причем:

  а)  лежит внутри ;

  б) все точки вне итерируются к ;

  в) существует по такое, что:

  ;

  лежит внутри   при

  лежит вне  при .

  Начнем  с того же, что и при доказательстве части 1 теоремы, 
предположив, что . Эта процедура работает до 
тех пор, пока мы не достигаем и не сталкиваемся с точкой на кривой , а не внутри . В этом месте мы используем вторую часть леммы 1, где говорится, что имеет вид восьмерки, а множество Жюлиа содержится в объединени двух внутренних областей. Так как каждая из этих областей отображается на полную внутренность, каждая должна содержать непустое подмножество . В результате мы приходим к выводу, что множество должно быть несвязным.

  После прохождения , множества представляют собой объединения восьмерок. Каждая восьмерка порождает еще две восьмерки на следующем шаге. На каждом шаге окружено восьмерками для этого шага (рис.3.5). В результате получаем, что имеет бесконечно много компонент. Более того, верно и то, что каждая из этих компонент есть на самом деле одна-единственная точка, что и делает вполне несвязным. Для доказательства этого надо провести еще дополнительный анализ. Наиболее просто это делается в случае достаточно большого .

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

1.1. Роль критической орбиты

  Точка — это единственное значение z, для которого , и орбита точки 0 называется критической орбитой. Причина, по которой мы выделяем эту орбиту, заключается в том, что она является единственной, для которой восьмерки появляются регулярным образом, как это требуется в доказательстве части 2 теоремы 2.

  Разложение  в ряд Тейлора функции в окрестности любой точки имеет вид:

  .

  Если  , то является двулистным отображением в малой окрестности (за исключением самой точки ). Этот факт объясняет поведение, описанное в части 2 леммы 1, а именно, что имеет вид восьмерки, если Г. Если же , то   является взаимно однозначным отображением в малой окрестности , и мы не получаем никаких восьмерок. 
 
 
 
 
 
 
 
 
 
 
 

1.2. Периоды и обрамление

   Доминирующей  фигурой во множестве Мандельброта является большая кардиоида. Внутренность этой кардиоиды соответствует точкам , для которых множество Жюлиа для имеет притягивающую  

Рис. 3.5. Сжатие на вполне несвязном множестве Жюлиа 

неподвижную точку. Это объясняется следующим образом. Если z есть притягивающая неподвижная точка, то

    и

  Граница таких точек удовлетворяет  1 или

                                     ,      .