Теория катастроф

Теория катастроф — раздел математики, включающий в себя теорию бифуркаций дифференциальных уравнений (динамических систем) и теорию особенностей гладких отображений.

Термины «катастрофа» и «теория катастроф» были введены Рене Томом (Ren Thom) и Кристофером Зиманом (Christopher Zeeman) в конце 1960-х — начале 1970-х годов («катастрофа» в данном контексте означает резкое качественное изменение объекта при плавном количественном изменении параметров, от которых он зависит). Одной из главных задач теории катастроф является получение так называемой нормальной формы исследуемого объекта (дифференциального уравнения или отображения) в окрестности «точки катастрофы» и построенная на этой основе классификация объектов.

Теория катастроф нашла многочисленные применения в различных областях прикладной математики, физики, а также в экономике.

История

Первые фундаментальные результаты в области динамических систем, относящиеся к теории катастроф, принадлежат А. Пуанкаре (метод нормальных форм в теории дифференциальных уравнений) и А. А. Андронову (бифуркации динамических систем). Основы теории особенностей гладких отображений были заложены прежде всего в трудах американского тополога Хасслера Уитни (Hassler Whitney) в 1940-х — 1950-х гг., которым предшествовала лемма Морса о нормальной форме функции в окрестности невырожденной критической точки.

Лемма Морса — утверждение, описывающее поведение гладкой или аналитической вещественной функции в окрестности невырожденной критической точки. Один из простых, но важнейших результатов теории Морса; названа по имени разработчика теории и установившего данный результат в 1925 году американского математика Марстона Морса.

В конце 1960-х развитием этого направления занялся известный французский математик и филдсофский лауреат 1958 года Рене Том. Однако популярность идеи Уитни и Тома приобрели благодаря нескольким публикациям К. Зимана в 1970-х, который активно пропагандировал теорию катастроф, сравнивая её значение с изобретением математического анализа и говоря о «революции в математике». Бурное развитие теории катастроф в 1970-е — 1990-е годы связано с деятельностью Дж. Боардмана, Е. Брискорна, Дж. Брюса, Дж. Мазера, Б. Мальгранжа (Bernard Malgrange), Р. Тома, Т. Волла, К. Зимана и особенно В. И. Арнольда и его учеников (И. А. Богаевский, А. Н. Варченко, В. А. Васильев, А. Б. Гивенталь, В. В. Горюнов, С. М. Гусейн-Заде, В. М. Закалюкин, М. Э. Казарян, В. Д. Седых и др.).

Семь элементарных катастроф по Тому

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

Потенциальные функции с одной активной переменной

Катастрофа типа «Складка»

Стабильная и нестабильная части экстремума, исчезаемого при бифуркации типа «складка»

При отрицательных значениях параметра a, потенциальная функция имеет два экстремума — один стабильный (устойчивое равновесие) и один нестабильный (неустойчивое равновесие). Если параметр a медленно изменяется, система может находиться в точке стабильного минимума. Но если a = 0, стабильные и нестабильный экстремумы встречаются и аннигилируют. Это — точка бифуркации. При a > 0 не существует стабильного решения.

Если физическая система проходит через точку бифуркации типа «свёртка», и поэтому параметр a достигает значения 0, стабильность решения при a < 0 внезапно теряется, и система может осуществить внезапный переход в новое, весьма отличное от предыдущего состояние. Это бифуркационное значение параметра a иногда называется «точкой фиксации».

Катастрофа типа «Сборка»

Диаграмма катастрофы «сборка» с точкой возврата, на которой показаны кривые (коричневые, красные) по переменной x, удовлетворяющие выражению для параметров (a, b), кривые показаны для непрерывно изменяющегося параметра b при различных значениях параметра a. Вне геометрического места точек возврата (синяя область) для каждой точки (a, b) в фазовом пространстве существует только одно экстремальное значение переменной x. Внутри точек возврата существует два различных значения x, которые дают локальные минимумы функции V(x) для каждой пары (a, b). При этом указанные значения разделены локальным максимумом.

Диаграмма катастрофы сборки, показывающая кривые (коричневые и красные) для x, удовлетворяющего уравнение dV/dx = 0 и параметров (a,b), где параметр b изменяется непрерывно, а для параметра a показаны только несколько разных значений. За пределами сборки (синяя линия) каждой точке (a,b) в пространстве параметров соответствует только одно решение x. Внутри же сборки существуют по два различных значения x, соответствующих локальным минимумам V(x) для каждой точки (a,b), разделённые значением x, соответствующим локальному максимуму.

Бифуркация типа «вилка» при a = 0 на пространстве b = 0. Форма точек возврата в фазовом пространстве (a, b) около точки катастрофы, показывающая геометрическое место бифуркаций типа «свёртка», которое разделяет область с двумя стабильными решениями и область с одним решением. Геометрия точек возврата весьма обычна, когда производится изучение того, что происходит с бифуркациями типа «свёртка» при добавлении в управляющее пространство нового параметра b. Изменяя параметры, можно найти, что имеется кривая (синяя) точек в пространстве (a, b), на которой теряется стабильность, то есть на этой кривой стабильное решение может внезапно «перепрыгнуть» на альтернативное значение (также стабильное).

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

Однако это возможно только в области в параметрическом пространстве при a < 0. Если значение параметра a увеличивается, петли гистерезиса становятся меньше и меньше, пока значение a не достигнет 0. В этой точке петли исчезают (катастрофа с точкой возврата), и появляется только одно стабильное решение.

Также можно рассмотреть процесс изменения параметра a при неизменном значении b. В симметричном случае при b = 0 можно наблюдать бифуркацию типа «вилы» при уменьшающемся значении параметра a одно стабильное решение внезапно разделяется на два стабильных решения и одно нестабильное. В это время физическая система проходит в область a < 0 через точку возврата (a = 0,b = 0) (это — пример спонтанного нарушения симметрии). Вдали от точки возврата не существует внезапных изменений в физической системе, поскольку при прохождении по кривой бифуркации свёртки происходит только то, что становится доступным второе альтернативное решение.

Форма сборки в пространстве параметров (a,b) вблизи точки катастрофы, показывающая бифуркацию, разделяющую области с одним и двумя устойчивыми решениями.

Бифуркация типа вилы при a = 0 на поверхности b = 0

Одно из наиболее интересных предложений по использованию катастрофы с точкой возврата заключается в том, что этот тип катастрофы можно использовать для моделирования поведения собаки, которая в ответ на внешнее воздействие может испугаться или обозлиться. Предложение заключается в том, что при умеренном воздействии (a > 0) собака будет проявлять плавное изменение отклика с испуга на злость в зависимости от того, как было проведено воздействие. Но более высокий уровень воздействия — это стресс, соответствующий переходу в область a < 0. В этом случае если собака изначально испугалась, она останется испуганной при увеличении уровня воздействия на неё, пока в конечном итоге она не достигнет точки возврата, где произойдёт спонтанный переход в режим злобы. При переходе в этот режим собака будет оставаться озлобленной даже в случае постепенного снижения воздействия на неё.

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

Оставшиеся простые геометрии катастроф являются более специализированными по сравнению с только что рассмотренной, а потому проявляются только в некоторых отдельных случаях.

Катастрофа типа «Ласточкин хвост»

Поверхность катастрофы "Ласточкин хвост»

Управляющее пространство в данном типе катастроф является трёхмерным. Каскад бифуркаций в фазовом пространстве состоит из трёх поверхностей бифуркаций типа «свёртки», которые встречаются на двух кривых бифуркаций с точками возврата, которые в конечном итоге встречаются в одной точке, представляющей собой бифуркацию типа «ласточкин хвост».

По мере прохождения значений параметров по поверхностям областей бифуркаций типа «свёртка» пропадает один минимум и один максимум потенциальной функции. В области бифуркаций с точкой возврата два минимума и один максимум замещаются одним минимумом; за ними бифуркации типа «свёртка» исчезают. В точке ласточкиного хвоста два минимума и два максимума встречаются в одном значении переменной x. Для значений a > 0 за ласточкиным хвостом существует либо одна пара (минимум, максимум), либо не существует вообще никаких бифуркаций. Это зависит от значений параметров b и c. Две поверхности бифуркаций типа «свёртка» и две линии бифуркаций с точками возврата встречаются при a < 0, а потому исчезают в самой точке ласточкиного хвоста, заменяясь одной поверхностью бифуркаций типа «свёртка». Последняя картина Сальвадора Дали под названием «Ласточкин хвост» создана под влиянием этого типа катастроф .

Катастрофа типа «Бабочка»

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

Потенциальные функции с двумя активными переменными

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

Гиперболическая омбилика

Эллиптическая омбилика

Параболическая омбилика

Запись и классификация катастроф по Арнольду

В. И. Арнольд предложил классификацию катастроф "ADE-классификация", использующую глубокие связи с теорией групп Ли.

• A0 — несингулярная точка: V=x.
• A1 — локальный экстремум: устойчивый минимум или неустойчивый максимум V= ±x?+ax.
• A2 — складка
• A3 — сборка
• A4 — ласточкин хвост
• A5 — бабочка
• Ak — бесконечная последовательность форм от одной переменной
  V = x^(k+1) +…

• D4+ — кошелёк = гиперболическая омбилика
• D4- — пирамида = эллиптическая омбилика
• D5 — параболическая омбилика
• Dk — бесконечная последовательность других омбилик
• E6 — символическая омбилика V=x? + y^4 +axy?+bxy+cx+dy
• E7
• E8

В теории сингулярности есть объекты, которые соответствуют большинству других простых групп Ли.

Применения теории катастроф

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

Арнольд В.И. Теория катастроф [1990]

Математическое описание катастроф - скачкообразных изменений, возникающих в виде внезапного ответа на плавное изменение внешних условий, дается теориями особенностей и бифуркаций. Их применения к конкретным задачам науки вызвали много споров.

В книге рассказывается о том, что же такое теория катастроф и почему она вызывает такие споры. Изложены результаты математических теорий особенностей и бифуркаций. Новое издание дополнено обзором недавних достижений теории перестроек, библиографией и задачником. Рассчитана на научных работников, преподавателей студентов и всех, кто интересуется современной математикой.

Источник: m.vk.com

Комментарии: