Карта → линии → сквозной сюжет
Нить устойчивости
что значит «система не развалится»
«Устойчиво» значит: если чуть-чуть толкнуть, ничего страшного не случится. Ляпунов первым спрашивает это строго — и находит способ отвечать, не решая уравнений движения (Харьков, 1892). Двенадцатью годами позже Пирс Боль разбирает механическую систему вблизи равновесия и попутно доказывает утверждение, которое прославит Брауэра: вопрос об устойчивости отдал топологии её главный инструмент (Рига, 1904). Дальше нить расходится надвое — по тому, что именно возмущать.
Динамическая ветвь: возмущаем систему. Андронов и Понтрягин замечают, что устойчивой бывает не только траектория, но и вся картина движения целиком (Горький, 1937). Отсюда две дороги: КАМ-теория отвечает на оставленный Пуанкаре вопрос об устойчивости Солнечной системы (Москва, 1954), а Том разбирает, что происходит в момент, когда устойчивость теряется (Страсбург, 1954). Кончается ветвь тем, что динамика становится топологией: Смейл доказывает гипотезу Пуанкаре сразу для всех размерностей от пяти — и делает это на пляжах Рио (1960).
Вычислительная ветвь: возмущаем числа. Тот же вопрос стоит везде, где считают, и ответ там жёстче. Фон Нейман и Голдстайн отделяют трудность, принадлежащую самой задаче, от кривизны алгоритма (Принстон, 1947). Уилкинсон предъявляет многочлен, у которого от поправки в двадцать третьем двоичном знаке корни сходят с вещественной прямой (Теддингтон, 1961), — та же структурная неустойчивость Андронова, только записанная в числах. А Тихонов разбирается, как быть с задачей, у которой непрерывной зависимости от данных нет вовсе (Москва, 1963); сегодня это регуляризация в каждом курсе машинного обучения.
Один вопрос — «малое возмущение даёт малое изменение?» — и три разных ответа, смотря что возмущать: начальные данные, саму систему или входные числа.
-
1Харьков 1892Ляпунов: общая задача об устойчивости движения
Завязка: прямой метод функций Ляпунова
Докторская диссертация, написанная в Харькове: как узнать, устойчиво ли равновесие, не решая уравнений движения. Прямой метод функций Ляпунова работает до сих пор — им доказывают устойчивость всего от спутников до алгоритмов машинного обучения.
-
2Рига 1904Пирс Боль: неподвижные точки за пять лет до Брауэра
Тот же вопрос в небесной механике — и из него выпадает теорема о неподвижной точке
В работе о движении механической системы вблизи равновесия доказано утверждение, равносильное частному случаю теоремы о неподвижной точке. Автору оно было нужно как техническая лемма, теоремой он его не назвал — и в историю вошёл не он.
-
3Нижний Новгород Горький, 1937Андронов и Понтрягин: грубые системы
Грубость: устойчиво само качественное поведение
Устойчивой может быть не только траектория, но и вся картина движения целиком. Две страницы в «Докладах Академии наук» вводят структурную устойчивость — и задают вопрос, из которого вырастут и теория катастроф Тома, и гиперболическая динамика Смейла.
-
4Принстон 1947Число обусловленности: когда виновата задача, а не метод
Вычислительная ветвь: устойчива ли сама задача, а не метод
Машина выписывает сколько угодно знаков, но верны из них не все. Фон Нейман и Голдстайн отделили трудность, принадлежащую самой задаче, от кривизны алгоритма — и с этого различения начался численный анализ как дисциплина.
-
5Москва 1954, доложено на конгрессе в АмстердамеКАМ: устойчивость почти-периодических движений
Солнечная система: большинство движений уцелевает
Ответ на вопрос об устойчивости Солнечной системы, который Пуанкаре оставил открытым: при малом возмущении большинство условно-периодических движений уцелевает. Дальше теорию достроят Арнольд и Мозер.
-
6Страсбург 1954Кобордизмы
Что происходит, когда устойчивость теряется
Два многообразия считаются одинаковыми, если вместе они ограничивают многообразие на размерность выше. Рене Том показывает, что классификация в этом смысле полностью сводится к гомотопической задаче — и решает её. Филдсовская медаль 1958 года; позже он же прославится теорией катастроф.
-
7Рио-де-Жанейро 1960–1961Гипотеза Пуанкаре — на пляжах Рио
Развязка динамической ветви: динамика становится топологией
Стивен Смейл доказывает гипотезу Пуанкаре сразу для всех размерностей от пяти и выше — тех, что казались самыми трудными. Выясняется, что чем больше места, тем проще: в тесноте низких размерностей главный инструмент топологии не работает.
-
8Теддингтон 1961–1965Уилкинсон: точный ответ на слегка другой вопрос
Структурная неустойчивость в числах: корни сходят с прямой от поправки 2⁻²³
Вместо «насколько наш ответ неверен» спросили «для какой задачи он был бы совершенно верен» — и оценки, не выводившиеся прямым путём, стали выводиться в несколько строк. Плюс многочлен, у которого от изменения коэффициента на 2⁻²³ корни сходят с вещественной прямой.
-
9Москва 1963Тихонов: регуляризация некорректных задач
Развязка вычислительной ветви: как жить с задачей, у которой устойчивости нет
Как решать задачу, у которой решение не единственно и неустойчиво. Сегодня это L2-регуляризация в каждом курсе машинного обучения: гребневая регрессия так и называется — регуляризация Тихонова.