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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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

История[править | править вики-текст]

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

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

Семь элементарных катастроф по Тому[править | править вики-текст]

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

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

Катастрофа типа «Складка»[править | править вики-текст]

Bifurkacija svjortka.gif

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

V = x^3 + ax


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

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

Катастрофа типа «Сборка»[править | править вики-текст]

V = x^4 + ax^2 + bx

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

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

Бифуркация типа «вилка» при 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 > 0) собака будет проявлять плавное изменение отклика с испуга на злость в зависимости от того, как было проведено воздействие. Но более высокий уровень воздействия — это стресс, соответствующий переходу в область a < 0. В этом случае если собака изначально испугалась, она останется испуганной при увеличении уровня воздействия на неё, пока в конечном итоге она не достигнет точки возврата, где произойдёт спонтанный переход в режим злобы. При переходе в этот режим собака будет оставаться озлобленной даже в случае постепенного снижения воздействия на неё.

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

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

Катастрофа типа «Ласточкин хвост»[править | править вики-текст]

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

V = x^5 + ax^3 + bx^2 + cx

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

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

Катастрофа типа «Бабочка»[править | править вики-текст]

V = x^6 + ax^4 + bx^3 + cx^2 + dx

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

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

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

Гиперболическая омбилика[править | править вики-текст]

V = x^3 + y^3 + axy + bx + cy

Эллиптическая омбилика[править | править вики-текст]

V = x^3/3 - xy^2 + a(x^2 + y^2) + bx + cy

Параболическая омбилика[править | править вики-текст]

V = yx^2 + y^4 + ax^2 + by^2 + cx + dy

Запись и классификация катастроф по Арнольду[править | править вики-текст]

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

  • A0 — несингулярная точка: V = x.
  • A1 — локальный экстремум: устойчивый минимум или неустойчивый максимум V = \pm x^2 + a x.
  • A2 — складка
  • A3 — сборка
  • A4 — ласточкин хвост
  • A5 — бабочка
  • Ak — бесконечная последовательность форм от одной переменной V=x^{k+1}+\cdots
  • D4+ — кошелёк = гиперболическая омбилика
  • D4- — пирамида = эллиптическая омбилика
  • D5 — параболическая омбилика
  • Dk — бесконечная последовательность других омбилик
  • E6 — символическая омбилика V = x^3+y^4+a x y^2 +bxy+cx+dy
  • E7
  • E8

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

Применения теории катастроф[править | править вики-текст]

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

См. также[править | править вики-текст]

Литература[править | править вики-текст]

На русском языке[править | править вики-текст]

  • Арнольд В. И., Варченко А. Н., Гусейн-Заде С. М. Особенности дифференцируемых отображений, — Любое издание.
  • Арнольд В. И. Особенности каустик и волновых фронтов, — М.: Фазис, 1996.
  • Брёкер Т., Ландер Л. Дифференцируемые ростки и катастрофы, — Любое издание.
  • Голубицкий М., Гийемин В. Устойчивые отображения и их особенности, — М.: Мир, 1977.
  • Постон Т., Стюарт И. Теория катастроф и её приложения, — М.: Мир, 1980.
  • Том Р. Структурная устойчивость и морфогенез, — М.: Логос, 2002.
  • Брус Дж., Джиблин П. Кривые и особенности: Геометрическое введение в теорию особенностей, — М.: Мир, 1988.

На английском языке[править | править вики-текст]

  • Arnold, Vladimir Igorevich. Catastrophe Theory, 3rd ed. Berlin: Springer-Verlag, 1992.
  • Gilmore, Robert. Catastrophe Theory for Scientists and Engineers. New York: Dover, 1993.
  • Postle, Denis. Catastrophe Theory — Predict and avoid personal disasters. Fontana Paperbacks 1980. ISBN 0-00-635559-5
  • Poston, Tim and Stewart, Ian. Catastrophe Theory and Its Applications. London, San Francisco, Melbourne: Pitman, 1978
  • Poston, T. and Stewart, Ian. Catastrophe: Theory and Its Applications. New York: Dover, 1998. ISBN 0-486-69271-X.
  • Sanns, Werner. Catastrophe Theory with Mathematica: A Geometric Approach. Germany: DAV, 2000.
  • Saunders, Peter Timothy. An Introduction to Catastrophe Theory. Cambridge, England: Cambridge University Press, 1980.
  • Thom, René. Structural Stability and Morphogenesis: An Outline of a General Theory of Models. Reading, MA: Addison-Wesley, 1989. ISBN 0-201-09419-3.
  • Thompson, J. Michael T. Instabilities and Catastrophes in Science and Engineering. New York: Wiley, 1982.
  • Woodcock, Alexander Edward Richard and Davis, Monte. Catastrophe Theory. New York: E. P. Dutton, 1978.
  • Zeeman, E.C. Catastrophe Theory-Selected Papers 1972—1977. Reading, MA: Addison-Wesley, 1977.

Ссылки[править | править вики-текст]

На русском языке[править | править вики-текст]

На английском языке[править | править вики-текст]