Prefer a chat interface with context about you and your work?
On first integrals for polynomial differential equations on the line
We show that any equation dy/dx = P(x,y) with P a polynomial has a global (on ℝ²) smooth first integral nonconstant on any open domain. We also present an example of an equation without an analytic primitive first integral.