Most ODEs Lack Explicit Solutions – Justification and Explanation

differential equationsgalois-theoryintuitionsoft-question

What justification can you give for the fact that "most ODEs do not have an explicit solution"?

Best Answer

If the ODE is linear --and the notion of «explicit» refers to Liouvillian solutions (towers of iterated quadrature and exponential of meromorphic functions)-- then its differential Galois group (Picard-Vessiot theory) must be a solvable algebraic subgroup of $GL_n (\mathbb C)$. Such subgroups are rare: they define a proper algebraic subvariety. The defining equations correspond to trivial commutations relations, e.g $[G,G]=0$ in the Abelian case, encoding the tower of normal subgroups intervening in the definition of solvable group.

In the non-linear context the intuition is the same: nice «transverse structures» are rare.

Edit: for a statement regarding the non-linear case, see my paper http://fr.arxiv.org/abs/1308.6371v2, Corollary C.

Related Question