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