Galois criterion for ODE integrability

For first-order ODEs u=ϕ(x,u) with curvature K(x,u)=κ(x) (u-independent curvature ODEs), the ODE embedding into linear equations gives L=d2/dx2+κ(x).

Theorem. The nonlinear ODE is integrable by quadratures iff L admits a non-zero Liouvillian solution (see differential Galois theory).

When κC(x), the Kovacic algorithm provides an effective decision procedure, making Liouvillian integrability algorithmically decidable for this class.

This bridges two theories:

The approach complements Prelle–Singer methods: rather than searching directly in the nonlinear equation, it reduces to the Galois theory of L.

Related notes: curvature-dependent Riccati connection, ODE embedding into linear equations, differential Galois theory, Kovacic algorithm

Reference: @panalvarezcurvature