И соленоид, и подкова Смэйла — это примеры отображений, геометрических преобразований, в которых проявляется хаос. Преобразование, порождающее подкову Смэйла (обозначим его через
Последовательно выполняемые операции растяжения и складывания, характерные для подковы Смэйла, — верный признак хаоса. Следовательно, эти же операции вы встретите во многих хаотических отображениях. В качестве примера можно привести «отображение пекаря», названное так за сходство с операциями, выполняемыми при замешивании теста, или «отображение кота Арнольда», определенное В. И. Арнольдом (о нем мы расскажем позже), которое заключается в последовательном растяжении и складывании изображения головы кота. Но мы не будем растягивать и складывать голову кота, вместо этого используем более привлекательное изображение — фотографию модели Лины Седерберг, мисс Ноябрь журнала «Плейбой» 1972 года. С 1970-х годов фрагмент ее фотографии используется в качестве тестового изображения в алгоритмах сжатия изображений и, по сути, является стандартом в науке и технике. (И кто-то еще осмеливается заявлять, что математики — скучные люди!) Между прочим, номер «Плейбоя» с этой фотографией стал самым продаваемым за всю историю журнала.
Если мы несколько раз применим отображение кота Арнольда к этой фотографии, то есть будем последовательно растягивать и складывать ее определенным образом, то заметим, что уже через несколько итераций лицо модели станет неразличимым. Но после определенного числа итераций (а именно 192) лицо модели можно будет увидеть снова. Точнее говоря, можно будет увидеть очень похожее лицо — траектории динамических систем могут совпадать друг с другом, только если являются периодическими, а мы рассматриваем хаотическую орбиту. Тем не менее лицо Лины будет появляться и исчезать бесконечное число раз. Так проявляет себя хаос.
В худшем (или лучшем — с какой стороны посмотреть) случае динамическая система будет хаотической. В этом случае траектории, расположенные близко друг к другу, будут быстро расходиться по мере того, как они будут растягиваться, сжиматься и складываться по мере приближения к аттрактору. Эти преобразования определяют очень странное и сложное поведение, которое следует из теоремы Пуанкаре о возвращении.
В своем труде о новых методах небесной механики ученый сформулировал удивительную теорему: «Для данных уравнений определенной формы и произвольного частного решения любого из этих уравнений всегда можно найти периодическое решение — его период может быть очень большим — такое, что разница между этими решениями будет сколь угодно малой». Портрет Лины демонстрирует теорему Пуанкаре о возвращении: если повторно применять одно и то же преобразование к системе, которая не может выйти за определенные границы, она бесконечное число раз будет возвращаться в состояние, близкое к оригиналу. Иными словами, рано или поздно все вернется на круги своя. Существование периодического решения означает, что если мы проткнули колесо велосипеда, то достаточно подождать, когда оно наполнится воздухом само по себе. Через достаточно долгое время колесо вновь наполнится воздухом — так гласит теорема Пуанкаре. Единственная проблема в том, что ждать придется дольше, чем существует Вселенная.
* * *
ВЫ, КОНЕЧНО, ШУТИТЕ,
В разделе «Немного философии» главы 38 первого тома «Лекций…», опубликованном в 1965 году, Фейнман описывает, насколько классическая механика проникнута духом недетерминизма, который с практической точки зрения есть следствие неточности при определении начальных условий некоторых физических систем. Если бы мы знали положение и скорость всех частиц в мире, то смогли бы предсказать, что произойдет в будущем. Предположим, что нам неизвестно точное положение некоторого атома. Следовательно, после столкновения этого атома с другим ошибка при определении его положения увеличится, с каждым новым столкновением неточность будет нарастать, а по прошествии определенного периода времени величина нашего незнания будет невообразимо велика.
* * *
В это же самое время внутри «железного занавеса» существовала мощная советская школа. Ее представители, многочисленные физики и математики, унаследовали важные результаты, полученные Ляпуновым в ходе исследований устойчивости движения в динамических системах.
Математик и физик
В 1950-е годы основной темой семинаров
Позднее юный немецкий математик
Если рассматривать Солнечную систему, то, поскольку масса планет по сравнению с массой Солнца пренебрежимо мала, в первом приближении можно пренебречь силами, действующими между планетами, и получить интегрируемую систему, в которой каждая планета будет двигаться по прекрасному кеплеровому эллипсу, что доказал Ньютон. Но если мы начнем учитывать взаимодействие между планетами, система уже не будет интегрируемой, о чем нам известно благодаря трудам Пуанкаре.
Планеты перестанут описывать идеальные эллипсы, и вполне возможно, что одна из них даже начнет движение по хаотической орбите и в конце концов покинет пределы Солнечной системы. С 1954 года благодаря теории Колмогорова — Арнольда — Мозера мы знаем, что незначительные отклонения нарушают равномерность лишь частично. И если предположить, что силы взаимодействия планет не слишком велики, то большинство их орбит будут близки по форме к эллипсам. Это не означает, что абсолютно все движения в пределах Солнечной системы должны быть равномерными — достаточно, чтобы равномерными были большинство движений.
Некоторые малые тела Солнечной системы могут двигаться по хаотическим орбитам. В конечном итоге они либо столкнутся с другими телами, либо покинут пределы Солнечной системы. Возможно, именно такой была судьба Хирона — астероида из группы Кентавров (наполовину астероида, наполовину кометы), движущегося по хаотической и неустойчивой орбите между Сатурном и Ураном.
Еще одной иллюстрацией теории Колмогорова — Арнольда — Мозера стало численное исследование, проведенное французским астрономом
Однако влияние советской школы этим не ограничивалось: во время холодной войны основные результаты, полученные советскими математиками, были переведены на английский. Европейские и американские математики смогли ознакомиться с ними благодаря трудам
Вернемся в Соединенные Штаты. Там в 1963 году юный метеоролог из MIT по имени
Однажды во время поиска численных решений с помощью компьютера
Он заметил, что система была крайне неустойчивой даже при малейших изменениях. Незначительное изменение начальных условий приводило к тому, что конечные состояния системы оказывались принципиально разными. Предоставим слово самому Лоренцу:
«Два неотличимо различающихся состояния могут породить два существенно различных состояния. Если допущена какая-либо ошибка при наблюдении текущего состояния системы (а для реальных систем это, по всей видимости, неизбежно), то дать надежный прогноз состояния системы в далеком будущем будет невозможно».
Позаимствованный Лоренцем образ в итоге занял важное место в науке: взмах крыльев бабочки в Бразилии мог вызвать торнадо в Техасе. Это явление получило название эффект бабочки. И действительно, представим, что маленькая бабочка сидит на ветке дерева в далекой Амазонии и время от времени раскрывает и закрывает крылья. Допустим, что она взмахнула крыльями ровно два раза. Так как атмосфера — это хаотическая система, чувствительная к начальным условиям, малейшее отклонение потоков воздуха рядом с бабочкой может в конечном итоге вызвать ураган над Техасом спустя несколько месяцев.
Этот феномен стал широко известен в 1972 году, когда на заседании Американской ассоциации содействия развитию науки Лоренц выступил с докладом на тему «Может ли взмах крыльев бабочки в Бразилии вызвать торнадо в Техасе?», хотя еще в 1963 году один метеоролог так прокомментировал результаты исследования Лоренца: «Если эта теория верна, то взмах крыльев чайки может навсегда изменить погоду».
Популярная метафора о взмахе крыльев бабочки стала известной благодаря Лоренцу, а выражение «чувствительность к начальным условиям» ввел американский математик Гукенхеймер уже в 1970-е. В любом случае результат один: в силу хаотической динамики изначально совпадающие траектории постепенно отделяются друг от друга и расходятся.
Подобно спискам чисел, графики, приведенные Лоренцем в статье, изображали ряд колебаний, которые возрастали и в конечном итоге становились хаотическими.
Изначально траектория системы была периодической, но затем начинала испытывать сильные колебания, не подчиняющиеся какой-либо закономерности. Траектории вращались, по всей видимости, случайно, вокруг фигуры, напоминавшей восьмерку или крылья бабочки. Иногда траектории вращались несколько раз подряд вокруг одной половины этой фигуры, затем вокруг второй ее половины другое число раз. С течением времени близлежащие траектории отдалялись друг от друга по мере того, как они растягивались и складывались вблизи этой странной фигуры. При растяжениях близлежащие траектории разделялись, ошибки прогноза увеличивались. Затем, когда траектории складывались, они сплетались между собой. Этой странной фигурой, вблизи которой находились траектории, был аттрактор Лоренца.
Лоренц опубликовал результаты своего открытия в метеорологическом журнале. Статья называлась «Детерминированный непериодический поток» и осталась практически незамеченной. Хотя Лоренц был метеорологом, он хотел быть математиком, однако эти планы нарушила Вторая мировая война. Математическое открытие Лоренца оказалось неактуальным, и статья пролежала на библиотечных полках почти 10 лет.
Только профессор
Эффект бабочки (чувствительность к начальным условиям) и так называемый эффект карточной колоды, заключающийся в растяжении и складывании траекторий, были сокрыты в гомоклинических сетях Пуанкаре. Оба этих признака хаоса проявились в виде аттрактора Лоренца и подковы Смэйла. Строго говоря, изучение гомоклинических сетей уже натолкнуло Смэйла на мысли о соленоиде и подкове, растяжение и складывание траекторий в которых являются характерными признаками хаоса. Так теория хаоса возродилась.
Если Эдвард Лоренц предложил научному сообществу парадигму непрерывных хаотических динамических систем (систему Лоренца), то
В следующей главе на примере этого отображения мы объясним основные понятия, связанные с хаосом.
Термин «хаос» был официально принят за год до публикации Мэя. В 1975 году профессор Иорк впервые использовал этот термин в современной научной литературе, в частности в своей статье «Период, равный трем, означает хаос», написанной в соавторстве с Ли Тянь-Янем. Несколько лет спустя, в 1978–1979 годах, физик
Не следует забывать, что в конце 1970-х — начале 1980-х годов исследования возможностей практического применения теории хаоса начали давать свои плоды не только в компьютерном моделировании. Классическим примером, демонстрирующим важность хаоса при изучении физических явлений, является переход к турбулентности в потоке. Турбулентность — очень важное явление, так как оно рассматривается во многих науках, начиная от гидродинамики и заканчивая метеорологией и климатологией. В классической математике турбулентность начинается с накопления колебаний. В стандартной интерпретации по мере того, как движение воды в реке становится все быстрее, сумма колебаний, по отдельности простых, порождает нестабильность, турбулентность. Проблема заключалась в том, что большинство колебаний при наложении совпадают, и в результате возникает периодическое движение, но не турбулентность. Наконец, в 1971 году математики
Еще одна область применения теории хаоса, важность которой неуклонно повышается, связана с биологией при изучении неравномерности пульса и распространения заболеваний. Еще более многообещающими кажутся исследования в медицине и нейробиологии, в частности в электроэнцефалографии, где выявление хаотических и нехаотических участков (любопытно, что именно нехаотические участки являются аномальными) на энцефалограмме сегодня считается единственным способом раннего диагностирования заболеваний мозга.
* * *
ОПЕРЕЖАЯ ВРЕМЯ
Весьма вероятно, что первой динамической системой, с которой столкнется человек, только начавший изучение теории хаоса, будет логистическое отображение: f(x) = 4х( 1 — х). Несмотря на кажущуюся простоту, это отображение обладает очень сложной динамикой, которая включает хаотическое поведение. Логистическая функция является решением логистического уравнения, которое впервые описал бельгийский ученый
* * *
СТРАННЫЕ АТТРАКТОРЫ И ФРАКТАЛЫ
Большинство странных аттракторов в хаотических системах представляют собой фрактальные множества. Именно фрактальная геометрия, созданная
* * *
Несмотря на вышесказанное, объективная и не лишенная скепсиса характеристика, приведенная Давидом Рюэлем в книге «Случайность и хаос», полностью корректна:
«Математическая теория дифференцируемых динамических систем выиграла от притока «хаотических» идей и в целом не пострадала от современной тенденции (техническая сложность математики препятствует мошенничеству). Однако физика хаоса, несмотря на частые триумфальные объявления о «новых» прорывах, в настоящее время практически не дает интересных открытий.
Мы не будем излагать искаженное видение хаоса, характерное для некоторых постмодернистов и других мыслителей. Критики утверждают, что высокая популярность теории хаоса и фрактальной геометрии не соответствует их реальной научной ценности. Теория хаоса применяется даже при анализе художественных произведений и в управлении предприятиями.
Нельзя отрицать, что хаос открыл новый путь в науке. Эту новую науку, объединяющую множество дисциплин, математики называют теорией хаоса, или теорией динамических систем, физики — нелинейной динамикой, все остальные — нелинейной наукой. Это наука об эффекте бабочки, о чувствительности к начальным условиям, о случайных, беспорядочных и неправильных траекториях, о непериодическом и нестабильном поведении, о гомоклинических орбитах, о растяжении и складывании траекторий, о странных аттракторах и многом, многом другом. Войдем же в дверь, которую открыла перед нами теория хаоса.
* * *
ХАОС НА ЗЕМЛЕ И НА НЕБЕ
Если Роберт Мэй представил парадигму дискретной хаотической динамической системы в одном измерении (логистическое отображение), то французский астроном Мишель Эно предложил парадигму дискретной хаотической динамической системы в двух измерениях — так называемое отображение Эно. В 1976 году, спустя несколько лет после того, как свет увидела работа Лоренца с описанием модели непрерывной хаотической динамической системы, Эно опубликовал статью «Двухмерное отображение со странным аттрактором», в которой представил преобразование плоскости, определяемое формулой
где а и b — две постоянные, которые обычно принимаются как а = 1,4 и b = 0,3. Это отображение Н представляет собой упрощенную версию сечения Пуанкаре для аттрактора Лоренца.
Если мы применим Н несколько раз подряд к квадрату, то увидим, как он будет менять форму: сначала он будет превращаться во все более вытянутый четырехугольник, затем — в бесконечно запутанную подкову. Эта бесконечно запутанная структура (фрактал), к которой приближаются последовательные итерации Н, и будет странным аттрактором Эно.
Хотя Эно утверждал, что описал странный аттрактор (то есть аттрактор, имеющий фрактальную природу), правильность его выводов подтвердили шведские математики Майкл Бенедикс и Леннарт Карлесон лишь в 1991 году.
Глава 3. Но, господин математик, что такое этот ваш детерминированный хаос?
Но, господин математик, что такое этот ваш детерминированный хаос?
Кто исчислит песок Иакова и число четвертой части Израиля?
Мефистофель: Как предречь игру судьбины?
Бог и Дьявол сошлись в одном: способность человека предсказывать будущее безнадежно ограничена. Теория относительности Эйнштейна избавила ученых от иллюзий об относительном пространстве и времени, описанных в классической физике Ньютона, квантовая теория Бора, Планка и Гейзенберга, в свою очередь, покончила с мечтами о точных измерениях, а теория хаоса в одночасье уничтожила фантазии о возможностях предсказания будущего.
Самым важным ударом по традиционной мысли стало понимание того, что предсказать поведение многих систем на больших интервалах времени в принципе невозможно, так как решения уравнений, описывающих движение этих систем, крайне неустойчивы. Сложное поведение подобных систем вызвано не внешним воздействием, не обилием степеней свободы и не квантовыми эффектами. Уравнения, описывающие движение системы, детерминированы, однако их решения обладают стохастическими свойствами. Это явление называется детерминированным хаосом.
Попытаемся объяснить детерминированный хаос с точки зрения математики, ведь, как говорил Чарльз Дарвин, «математика наделяет человека новым, шестым чувством».
Хаотические и сложные системы на протяжении многих десятилетий были забыты официальной наукой. Наука XX века позволила понять, из какой ткани соткана Вселенная, познать относительность пространства-времени и микрокосм квантовой механики (его можно сравнить с игровым полем), а современная наука помогает лучше понять, как устроена наша реальность (то есть фишки на игровом поле). Однако подлинное величие науки в конечном итоге проявляется на практике, и лишь теперь, в начале XXI века, мы постепенно начинаем осознавать важность теории хаоса и наук о сложности.
В действительности теория хаоса — лишь одна из так называемых наук о сложности, так как хаотические системы — это всего одна из разновидностей сложных систем. Существуют и другие науки о сложности: фрактальная геометрия, теория катастроф, нечеткая логика и другие. Говорят, что описать класс систем, изучаемых в теории хаоса, сложно, потому что они находятся на полпути между порядком и беспорядком, словно между двух огней. Если крайне упорядоченные системы (например, хрусталь) или очень неупорядоченные системы (например, дым) просты и описать их несложно, то описать промежуточные системы сложнее всего. В частности, хаотические системы — это нелинейные детерминированные системы, обладающие непериодическим поведением, в силу которого они становятся непредсказуемыми. Согласно китайской пословице, взмах крыльев бабочки можно ощутить на другой стороне Земли. Или, как писал математик Блез Паскаль, будь нос Клеопатры чуть покороче, облик Земли стал бы иным: Октавиан влюбился бы в Клеопатру и не стал бы первым римским императором. Кроме того, как вы увидите чуть позже, хаотические системы вездесущи: их можно встретить в математике, физике, астрофизике, метеорологии, биологии и медицине. Иными словами, почти все (или даже все) реальные системы обладают хаотической динамикой.