Паутина жизни. Новое научное понимание живых систем
Шрифт:
В конце XX века нам не трудно оценивать достижения Пуанкаре: важнейшее из них состояло в том, что он вернул в математику визуальные образы10. Начиная с XVII века, стиль европейской математики постепенно смещался от геометрии (математики визуальных форм) к алгебре (математике формул). Так, например, Лаплас, один из великих формализаторов, гордился тем, что в его «Аналитической механике» нет ни одного рисунка. Пуанкаре развернул тенденцию в обратном направлении, ослабляя засилье анализа и формул, становившееся все более гнетущим, и возвращаясь к визуальным паттернам.
Визуальная математика Пуанкаре, однако, не равнозначна геометрии Евклида. Это геометрия нового типа,
Тем не менее не все можно осуществить через топологическую трансформацию. Фактически топология занимается как раз теми свойствами геометрических фигур, которые не изменяются при их трансформации. Пересечения линий, например, остаются пересечениями, а отверстие в торе (бублике) нельзя трансформировать так, чтобы оно пропало. Таким образом, бублик может быть топологически трансформирован в кофейную чашечку (отверстие превратится в отверстие ручки), но никак не в блин. Тогда топология оказывается действительно математикой взаимоотношений, неизменяемых, или инвариантных, паттернов.
Пуанкаре использовал топологическую концепцию для анализа качественных особенностей сложных динамических проблем — и тем самым заложил основы математики сложных систем, которая сформировалась лишь столетие спустя. Среди проблем, проанализированных Пуанкаре, была знаменитая проблема трех тел в небесной механике (относительное движение трех тел под влиянием их взаимного гравитационного притяжения), которую прежде никому не удавалось решить1'. Применив свой топологический метод к слегка упрощенной проблеме трех тел, Пуанкаре смог определить общую форму их траекторий, и нашел, что она отличается устрашающей сложностью:
Когда пытаешься представить фигуру, образуемую этими двумя кривыми и бесконечными их пересечениями... обнаруживаешь некую сеть, паутину, или бесконечно густую решетку; ни одна из этих кривых никогда не может пересечь саму себя, но должна загибаться очень сложным образом, чтобы пересечь нити паутины бесконечно много раз. Поражает сложность этой фигуры, которую я даже не пытаюсь нарисовать12.
То, что Пуанкаре изображал в уме, теперь называется странным аттрактором. По словам Яна Стюарта, «Пуанкаре видел отпечатки ступней хаоса»12. Показав, что простые детерминированные уравнения движения могут порождать невообразимую сложность, не поддающуюся никаким попыткам предсказания, Пуанкаре бросил вызов самим основам ньютоновской механики. Однако по очередной причуде истории, ученые начала века не приняли этот вызов. Через несколько лет после того, как Пуанкаре опубликовал свою работу по проблеме трех тел, Макс Планк открыл энергетические кванты, а Альберт Эйнштейн опубликовал свою специальную теорию относительности14. В течение второй половины века физики и математики были зачарованы революционными открытиями в квантовой физике, теории относительности, а важнейшее открытие Пуанкаре отошло на задний план. Так продолжалось до 60-х годов, когда ученые вновь столкнулись со сложностями хаоса.
Математический аппарат, позволивший ученым в течение трех последних десятилетий обнаружить упорядоченные
Как большинство читателей помнят со школьной скамьи, уравнение решают посредством различных манипуляций с ним, пока не получают окончательную формулу — решение. Оно и называется «аналитическим» решением уравнения. Результатом всегда является формула. Большинство нелинейных уравнений, описывающих естественные явления, слишком сложны для того, чтобы их можно было решить аналитически. Однако есть еще один способ — так называемое «численное» решение уравнения. Оно включает в себя метод проб и ошибок. Вы пробуете разнообразные комбинации чисел для переменных, пока не найдете те, которые удовлетворяют уравнению. Была разработана специальная техника и специфические приемы для эффективного решения этой задачи, но для большинства уравнений подобный процесс оказывается слишком громоздким, занимает много времени и дает очень грубые, приблизительные решения.
Ситуация изменилась с появлением нового поколения компьютеров. Теперь у нас есть программы для исключительно быстрого и точного численного решения уравнений. Применяя новые методы, мы можем решать нелинейные уравнения с любой степенью точности. Тем не менее это решения совершенно иного плана. Результатом становится не формула, а огромное множество значений переменных, удовлетворяющих уравнению, и компьютер можно запрограммировать так, чтобы он графически вычерчивал решение в виде кривой или множества кривых. Такая технология позволила ученым решить сложные нелинейные уравнения, связанные с хаотическими феноменами, и обнаружить порядок в кажущемся хаосе.
Для того чтобы обнаружить эти упорядоченные паттерны, переменные сложной системы отображаются в абстрактном математическом пространстве — так называемом фазовом пространстве. Эта хорошо известная методика была разработана в термодинамике еще в начале века15. Каждой переменной в системе ставится в соответствие одна из координат абстрактного пространства. Проиллюстрируем это очень простым примером: шариком, раскачивающимся на маятнике. Чтобы полностью описать движение маятника, требуются две переменные: угол, который может быть положительным либо отрицательным, и скорость, которая также может быть положительной или отрицательной, в зависимости от направления отклонения маятника. С помощью этих двух переменных, угла и скорости, можно полностью описать состояние движения маятника в любой момент времени.
Если теперь мы начертим декартову систему координат, в которой одна ось соответствует углу, а другая — скорости (рис. 6-7), эта система координат представит двухмерное пространство, в котором каждая определенная точка соответствует возможному состоянию движения маятника. Посмотрим, где располагаются эти точки. В состоянии крайнего отклонения скорость равна нулю. Это дает нам две точки на горизонтальной оси. В центре, где угол равен нулю, скорость максимальна и либо положительна (когда маятник движется, например, вправо), либо отрицательна (когда маятник движется в противоположном направлении). Это дает нам две точки на вертикальной оси. Эти четыре точки в фазовом пространстве, которые мы обозначили на рис. 6-7, отражают крайние состояния маятника — максимальное отклонение и максимальную скорость. Точное расположение этих точек будет зависеть от выбранных нами единиц измерения.