On Liouvillian integrability of the first-order polynomial ordinary differential equations (Q448282)

The authors prove the following result:NEWLINENEWLINE Theorem. If a complex differential equation of the form NEWLINE\[NEWLINE{dy\over dx}= a_0(x)+ a_1(x) y+\cdots+ a_n(x) y^n,NEWLINE\]NEWLINE where \(a_i(x)\), \(i= 0,\dots, n\), are polynomials in \(x\), \(a_n(x)\neq 0\), \(n\geq 2\), has a Liouvillian first integral, then it has a finite invariant algebraic curve.