Траектории в абстрактных пространствах

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

Как большинство читателей помнят со школьной скамьи, уравнение решают посредством различных манипуляций с ним, пока не получают окончательную формулу — решение. Оно и называется «аналитическим» решением уравнения. Результатом всегда является формула. Большинство нелинейных уравнений, описывающих естественные явления, слишком сложны для того, чтобы их можно было решить аналитически. Однако есть еще один способ — так называемое «численное» решение уравнения. Оно включает в себя метод проб и ошибок. Вы пробуете разнообразные комбинации чисел для переменных, пока не найдете те, которые удовлетворяют уравнению. Была разработана специальная техника и специфические приемы для эффективного решения этой задачи, но для большинства уравнений подобный процесс оказывается слишком громоздким, занимает много времени и дает очень грубые, приблизительные решения.

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

Для того чтобы обнаружить эти упорядоченные паттерны, переменные сложной системы отображаются в абстрактном математическом пространстве — так называемом фазовом пространстве. Эта хорошо известная методика была разработана в термодинамике еще в начале века¹⁵. Каждой переменной в системе ставится в соответствие одна из координат абстрактного пространства. Проиллюстрируем это очень простым примером: шариком, раскачивающимся на маятнике. Чтобы полностью описать движение маятника, требуются две переменные: угол, который может быть положительным либо отрицательным, и скорость, которая также может быть положительной или отрицательной, в зависимости от направления отклонения маятника. С помощью этих двух переменных, угла и скорости, можно полностью описать состояние движения маятника в любой момент времени.

Рис. 6-7. Двухмерное фазовое пространство маятника

Если теперь мы начертим декартову систему координат, в которой одна ось соответствует углу, а другая — скорости (рис. 6-7), эта система координат представит двухмерное пространство, в котором каждая определенная точка соответствует возможному состоянию движения маятника. Посмотрим, где располагаются эти точки. В состоянии крайнего отклонения скорость равна нулю. Это дает нам две точки на горизонтальной оси. В центре, где угол равен нулю, скорость максимальна и либо положительна (когда маятник движется, например, вправо), либо отрицательна (когда маятник движется в противоположном направлении). Это дает нам две точки на вертикальной оси. Эти четыре точки в фазовом пространстве, которые мы обозначили на рис. 6-7, отражают крайние состояния маятника — максимальное отклонение и максимальную скорость. Точное расположение этих точек будет зависеть от выбранных нами единиц измерения.

Если мы продолжим наблюдения и отметим точки, соответствующие состояниям движения между крайними положениями, то обнаружим, что они лежат на замкнутой петле. Можно превратить петлю в окружность, должным образом выбрав единицы измерения, но, в общем случае, это будет нечто вроде эллипса (рис. 6-8).

Рис. 6-8. Траектория маятника в фазовом пространстве

Эта кривая называется траекторией маятника в фазовом пространстве и полностью описывает движение системы. Все переменные системы (в нашем простом случае — две) представлены единственной точкой, всегда расположенной где-то на этой кривой. С каждым полным циклом качания маятника точка в фазовом пространстве будет описывать петлю.

В любой момент мы можем измерить две координаты точки в фазовом пространстве и таким образом узнать точное состояние системы (угол и скорость). Заметим, что эта кривая никоим образом не является траекторией самого маятника. Это кривая, образованная двумя переменными системы в абстрактном математическом пространстве.

В этом и заключается методика фазового пространства. Переменные данной системы изображаются в абстрактном пространстве, причем одна точка описывает всю систему. По мере того как система изменяет свое состояние, точка вычерчивает в фазовом пространстве траекторию — в нашем случае замкнутую кривую. Когда система является не простым маятником, а гораздо более сложной структурой, у нее, соответственно, больше переменных, но метод остается прежним. Каждая переменная представлена координатой в отдельном измерении фазового пространства. Если в системе 16 переменных, мы получим 16-мерное пространство. Одна точка в этом пространстве будет полностью описывать состояние всей системы, поскольку эта точка имеет 16 координат, каждая из которых соответствует одной из 16 переменных системы.

Скорость

Рис. 6-9. Траектория маятника с трением в фазовом пространстве

Безусловно, мы не можем визуально воспринять фазовое пространство с 16 измерениями; потому его и называют абстрактным математическим пространством. Математики не испытывают никаких проблем с такими абстракциями. Они вполне комфортно чувствуют себя в пространствах, которые нельзя визуализировать. В любом случае, по мере изменения системы точка, определяющая ее состояние в фазовом пространстве, будет двигаться по этому пространству, вычерчивая некую траекторию. Различные начальные состояния системы соответствуют различным начальным точкам в фазовом пространстве, что, в общем случае, обусловливает различные траектории.