оглавление ДМ экономическая информатика визуальные среды - 4GL Теория и практика обработки информации

Математическая теория катастроф

История
Семь элементарных катастроф по Тому
Потенциальные функции с одной активной переменной
Катастрофа типа "Складка"
Катастрофа типа "Сборка"
Катастрофа типа "Ласточкин хвост"
Катастрофа типа "Бабочка"
Потенциальные функции с двумя активными переменными
Гиперболическая омбилика
Эллиптическая омбилика
Параболическая омбилика
Запись и классификация катастроф по Арнольду
Применения теории катастроф

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

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

Математическая теория катастроф нашла многочисленные применения в различных областях прикладной математики, физики, а также в экономике. Часто эту теорию называют без прилагательного "математическая": теория кактастроф, следует, однако, заметить, что при этом создается ситуация омонимии, когда одним термином обозначают различные предметы. Существует более ранее, чем математическая теория катастроф, теория катастроф в природе (палеонтологии и геофизике), разработанная классиком естествознания Жоржем Кювье два столетия назад.

История

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Зонтик Уитни - Кэли

Зонтиком эта поверхность называется потому, что уравнению, задающему поверхность, удовлетворяет и отрицательная часть оси Z - своего рода «ручка» зонтика.

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

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

A₀ — несингулярная точка: .
A₁ — локальный экстремум: устойчивый минимум или неустойчивый максимум .
A₂ — складка
A₃ — сборка
A₄ — ласточкин хвост
A₅ — бабочка
A_k — бесконечная последовательность форм от одной переменной
D₄⁺ — кошелёк = гиперболическая омбилика
D₄^- — пирамида = эллиптическая омбилика
D₅ — параболическая омбилика
D_k — бесконечная последовательность других омбилик
E₆ — символическая омбилика
E₇
E₈

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

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

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

Литература

В. И. Арнольд. В.И. АРНОЛЬД О ТЕОРИИ КАТАСТРОФ - Наука и жизнь, 1989, № 10
В. И. Арнольд. Теория катастроф - М., 1990
В. И. Арнольд. Особенности в вариационном исчислении.
В. И. Арнольд, В. С. Афраймович, Ю. С. Ильяшенко, Л. П. Шильников. Теория бифуркаций.
В. И. Арнольд, В. А. Васильев, В. В. Горюнов, О. В. Ляшко. Особенности. I. Локальная и глобальная теория.
В. И. Арнольд, В. А. Васильев, В. В. Горюнов, О. В. Ляшко. Особенности. II. Классификация и приложения.
А. Б. Гивенталь. Особые лагранжевы многообразия и их лагранжевы отображения.
В. М. Закалюкин. Перестройки фронтов, каустик, зависящих от параметра, версальность отображений.
Арнольд В. И., Варченко А. Н., Гусейн-Заде С. М. Особенности дифференцируемых отображений, — Любое издание.
Арнольд В. И. Особенности каустик и волновых фронтов, — М.: Фазис, 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.

оглавление ДМ экономическая информатика визуальные среды - 4GL Теория и практика обработки информации

Знаете ли Вы, что абстрагирование - это одна из основных мыслительных операций, позволяющая мысленно вычленить и превратить в самостоятельный объект рассмотрения отдельные стороны, свойства или состояния объекта в чистом виде.

НОВОСТИ ФОРУМА

Рыцари теории эфира