Графовый критерий топологической эквивалентности $\Omega$-устойчивых потоков на поверхностях

Изучение динамики потока на поверхностях путем разбиения фазового пространства на ячейки с одинаковым предельным поведением траекторий внутри ячейки восходит к классическим работам А. А. Андронова, Л. С. Понтрягина, Е. А. Леонтович, А. Г. Майера. Типы ячеек (которых конечное число) и их примыкание друг к другу полностью определяют класс топологической эквивалентности потока с конечным числом особых траекторий. Если в каждой ячейке грубого потока без периодических орбит выбрать по одной траектории, то ячейки распадаются на, так называемые, треугольные области, которые имеют один единственный тип. Комбинаторное описание такого разбиения приводит к трехцветному графу А. А. Ошемкова и В. В. Шарко, вершины которого соответствуют треугольным областям, а ребра — связывающим их сепаратрисам. Ими доказано, что два таких потока топологически эквивалентны тогда и только тогда, когда их трехцветные графы изоморфны. В той же работе дана полная топологическая классификация потоков Морса-Смейла на языке атомов и молекул. В настоящей работе динамика $\Omega$-устойчивых потоков на поверхностях дана с помощью особых ориентированных графов с использованием четырёхцветных графов.