[Math] Proof that “many differential equations cannot be solved using analysis”

analysisnumerical methodsordinary differential equationssymbolic computation

The wiki page on Numerical methods for ordinary differential equations states that "many differential equations cannot be solved using analysis." Is this literally true, or do they mean to say "it is not known how to solve many differential equations using analysis"? If it is literally true, how is that provable?

Best Answer

In the same way that not all algebraic equations can be solved using algebra. For algebraic equations, you have Galois theory, and the solvability of an algebraic equation by algebraic means can be studies by studying the Galois group of that equation. Similarly, for differential equations one has differential Galois theory, and the deeply related Picard-Vessiot theory. Liouville's theorem also gives an answer that you might find useful.