Сепаратриса
Сепаратри́са, термин качественной теории дифференциальных уравнений.
1. Сепаратриса в первоначальном смысле слова – траектория потока на плоскости, стремящаяся (при или при к некоторому положению равновесия , причём сколь угодно близко к ней имеются траектории, которые вначале приближаются к , как бы «идя вдоль траектории », а затем отходят от него на некоторое конечное расстояние.
Формально последнее означает существование таких окрестности точки , последовательности точек и последовательностей чисел , что (соответственно ),
Основной пример – сепаратриса невырожденного (или простого) седла. Для последнего под сепаратрисой может пониматься также его устойчивое (соответственно неустойчивое) многообразие, т. е. (в данном случае) линия, включающая седло и обе траектории, стремящиеся к нему при (соответственно при ).
Название «сепаратриса» связано с наблюдением, что сепаратрисы наряду с замкнутыми траекториями делят фазовую плоскость на области с одинаковым поведением траекторий. Это наблюдение может быть строго формализовано (Андронов. 1966; Баутин. 1976). Сепаратрисы могут входить в состав предельных множеств траекторий. Так, траектория может навиваться на «петлю сепаратрисы» – замкнутую кривую, образованную траекторией, стремящейся к одному и тому же седлу как при , так и при , или на «сепаратрисный контур (цикл)» – замкнутую кривую, состоящую из нескольких сепаратрис, соединяющих сёдла. При малом возмущении из петли сепаратрисы может возникнуть предельный цикл; это один из основных типов бифуркаций для потоков на плоскости (Андронов. 1967; Баутин. 1976).
2. В многомерном случае под сепаратрисами (или сепаратрисными многообразиями) чаще всего понимают устойчивое и неустойчивое многообразия гиперболического положения равновесия или периодической траектории.
Имеются попытки выделить под названием «сепаратриса» класс траекторий, входящих в множества, которые в некотором смысле «разделяют» траектории с различным поведением. Непосредственное обобщение случая плоскости имело бы ограниченную применимость, поскольку в многомерном случае фазовое пространство, вообще говоря, не разбивается на области, заполненные траекториями с одинаковыми предельными множествами (тогда как на плоскости такая ситуация «типична»). Предложенные формулировки (Hartzman. 1980) являются довольно сложными, и не приходится ожидать полного описания различных типов сепаратрис и составленных из них множеств.