Структурная устойчивость - Википедия - Structural stability

В математика, структурная устойчивость является фундаментальным свойством динамическая система что означает, что на качественное поведение траекторий не влияют малые возмущения (а точнее C1 -малые возмущения).

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

Структурно устойчивые системы были введены Александр Андронов и Лев Понтрягин в 1937 году под названием "systèmesrossiers" или грубые системы. Они объявили характеристику грубых систем на плоскости, Критерий Андронова – Понтрягина.. В этом случае структурно устойчивые системы типичный, они образуют открытое плотное множество в пространстве всех систем, наделенное соответствующей топологией. В более высоких измерениях это уже неверно, указывая на то, что типичная динамика может быть очень сложной (см. странный аттрактор ). Важный класс структурно устойчивых систем произвольных размеров представляет собой Диффеоморфизмы Аносова и потоки.

Определение

Позволять грамм быть открытый домен в рп с компактный закрытие и гладкое (п−1) -мерный граница. Рассмотрим пространство Икс1(грамм) состоящий из ограничений на грамм из C1 векторные поля на рп трансверсальные границе грамм и ориентированы внутрь себя. Это пространство наделено C1 метрика обычным способом. Векторное поле F ∈ Икс1(грамм) является слабо структурно устойчивый если для любого достаточно малого возмущения F1соответствующие потоки топологически эквивалентный на грамм: существует гомеоморфизм час: грамм → грамм который преобразует ориентированные траектории движения F в ориентированные траектории F1. Если к тому же для любого ε > 0 гомеоморфизм час может быть выбран C0 ε-Близко к карте идентичности, когда F1 принадлежит подходящему району F в зависимости от ε, тогда F называется (сильно) структурно стабильный. Эти определения прямо распространяются на случай п-мерные компактные гладкие многообразия с краем. Андронов и Понтрягин изначально считали сильной собственностью. Аналогичные определения могут быть даны для диффеоморфизмов вместо векторных полей и потоков: в этом случае гомеоморфизм час должен быть топологическая сопряженность.

Важно отметить, что топологическая эквивалентность реализуется с потерей гладкости: отображение час вообще не может быть диффеоморфизмом. Более того, хотя топологическая эквивалентность уважает ориентированные траектории, в отличие от топологической сопряженности, она несовместима по времени. Таким образом, соответствующее понятие топологической эквивалентности значительно ослабляет наивный C1 сопряженность векторных полей. Без этих ограничений ни одна система непрерывного времени с фиксированными точками или периодическими орбитами не могла бы быть структурно устойчивой. Слабо структурно устойчивые системы образуют открытое множество в Икс1(грамм), но неизвестно, выполняется ли то же свойство в сильном случае.

Примеры

Необходимые и достаточные условия структурной устойчивости C1 векторные поля на единичном диске D поперечные к границе и на двусфера S2 определены в основополагающей статье Андронова и Понтрягина. Согласно Критерий Андронова – Понтрягина., такие поля структурно устойчивы тогда и только тогда, когда они имеют лишь конечное число особых точек (состояния равновесия ) и периодические траектории (предельные циклы ), которые все невырожденные (гиперболические) и не имеют седло-седловой связи. Кроме того, неблуждающий набор системы есть в точности объединение особых точек и периодических орбит. В частности, структурно устойчивые векторные поля в двух измерениях не могут иметь гомоклиника траектории, которые чрезвычайно усложняют динамику, как обнаружил Анри Пуанкаре.

Структурная устойчивость неособых гладких векторных полей на тор могут быть исследованы с помощью теории, развитой Пуанкаре и Арно Данжуа. С использованием Отображение Пуанкаре, вопрос сводится к определению структурной устойчивости диффеоморфизмов круг. Как следствие Теорема Данжуа, сохраняющая ориентацию C2 диффеоморфизм ƒ круга структурно устойчиво тогда и только тогда, когда его номер вращения рационально, ρ(ƒ) = п/q, и периодические траектории, все из которых имеют период q, невырождены: Якобиан из ƒq в периодических точках отличается от 1, см. круговая карта.

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

История и значение

Структурная устойчивость системы дает основание для применения качественной теории динамических систем к анализу конкретных физических систем. Идея такого качественного анализа восходит к работе Анри Пуанкаре на проблема трех тел в небесная механика. Примерно в то же время Александр Ляпунов строго исследована устойчивость малых возмущений отдельной системы. На практике закон эволюции системы (т.е. дифференциальные уравнения) никогда не известен точно из-за наличия различных малых взаимодействий. Следовательно, очень важно знать, что основные характеристики динамики одинаковы для любого небольшого возмущения «модельной» системы, эволюция которой подчиняется определенному известному физическому закону. Качественный анализ получил дальнейшее развитие Джордж Биркофф в 1920-х годах, но впервые была формализована с введением концепции грубой системы Андроновым и Понтрягиным в 1937 году. Она сразу же была применена к анализу физических систем с колебания Андронова, Витта и Хайкина. Термин «структурная стабильность» связан с Соломон Лефшец, который руководил переводом своей монографии на английский язык. Идеи структурной устойчивости были поддержаны Стивен Смейл и его школа 1960-х годов в контексте гиперболической динамики. Ранее, Марстон Морс и Хасслер Уитни инициировал и Рене Том разработал параллельную теорию устойчивости дифференцируемых отображений, которая составляет ключевую часть теория сингулярности. Том предвидел применение этой теории к биологическим системам. И Смейл, и Том работали в прямом контакте с Маурисио Пейшоту, кто разработал Теорема Пейшото в конце 1950-х гг.

Когда Смейл начал разрабатывать теорию гиперболических динамических систем, он надеялся, что структурно устойчивые системы будут «типичными». Это соответствовало бы ситуации в малых размерностях: размерность два для потоков и размерность один для диффеоморфизмов. Однако вскоре он нашел примеры векторных полей на многомерных многообразиях, которые нельзя сделать структурно устойчивыми с помощью сколь угодно малого возмущения (такие примеры позже были построены на многообразиях размерности три). Это означает, что в более высоких измерениях структурно устойчивые системы не являются плотный. Кроме того, структурно устойчивая система может иметь трансверсальные гомоклинические траектории гиперболических седловых замкнутых орбит и бесконечно много периодических орбит, даже если фазовое пространство компактно. Ближайший многомерный аналог структурно устойчивых систем, рассмотренных Андроновым и Понтрягиным, дается Системы Морса – Смейла.

Смотрите также

Рекомендации

  • Андронов, Александр А.; Лев Сергеевич Понтрягин (1988) [1937]. Арнольд В. И. (ред.). "Грубые системы" [Грубые системы]. Геометрические методы в теории дифференциальных уравнений. Grundlehren der Mathematischen Wissenschaften, 250. Springer-Verlag, New York. ISBN  0-387-96649-8.
  • Д. В. Аносов (2001) [1994], «Грубая система», Энциклопедия математики, EMS Press
  • Чарльз Пью и Маурисио Матос Пейшоту (ред.). «Структурная устойчивость». Scholarpedia.