Real Analytic Vector Fields with First Integral and Separatrices

Abstract

We prove that a germ of analytic vector field at $({\mathbb{R}}^3,0)$ that possesses a non-constant analytic first integral has a real formal separatrix. We provide an example which shows that such a vector field does not necessarily have a real analytic separatrix.

20 pages, 3 figures