Если рассматривать эту же операцию возведения в квадрат, но выбрать начальное значение, меньшее 1, например x>0 = 0,5, то аттрактором будет 0. Если x>0 = 1, результат на любом шаге всегда будет равен 1. В этом случае говорят, что орбита состоит из одной точки, которая называется фиксированной точкой.
В конце XIX в. математики, физики и биологи проявляли большой интерес к итеративному процессу, в котором значение, полученное на предыдущем шаге, возводилось в квадрат и складывалось с некой константой. На языке математики это называется семейством квадратичных функций вещественной переменной. Интерес научного сообщества был вызван тем, что это семейство функций было связано с рядом различных теорий, которые со временем были объединены в так называемую теорию хаоса.
Точки-пленники, или Как найти выход из лабиринта
Жюлиа и Фату первыми исследовали итерируемые комплексные функции, и полученные ими результаты легли в основу всех последующих работ в области фрактальной геометрии. Помимо прочего, Жюлиа и Фату изучали поведение комплексных чисел при их последовательном возведении в квадрат и сложении результата с константой. В виде формулы это выражается так:
z>n+1 = z>n>2 + c,
где z — комплексное число, с — комплексная константа. Суть формулы проста: нужно взять число, умножить его на само себя, сложить с константой с и повторять эти действия над каждым полученным результатом снова и снова. В полученной последовательности комплексных чисел каждое число зависит только от выбора начальной точки и константы с.
В 1906 г. Фату доказал, что если применить эту операцию ко всем точкам комплексной плоскости, то большинство полученных орбит будут заканчиваться на бесконечности, за исключением четко определенного множества точек, внутренняя часть которого сегодня известна как множество Фату. Эти точки можно назвать «пленниками», а остальные точки — «изгнанниками». Точки на границе между ними, «охранники», образуют множество Жюлиа.
Рассмотрим подробнее эту операцию при с = (0, 0). Квадрат комплексного числа — это точка комплексной плоскости, модуль радиус-вектора которой равен квадрату модуля радиус-вектора исходной точки, а угол с горизонтальной осью в два раза больше исходного.
В следующей таблице приведены значения z, z>2, z>4, z>8, z>16, z>32 для трех разных комплексных чисел: внутри единичной окружности (иными словами, модуль этого числа меньше единицы), на единичной окружности и, наконец, вне единичной окружности. На рисунке приведено геометрическое представление всех трех случаев.
В таблице вверху приведены расчеты для трех типов орбит.