Published online by Cambridge University Press: 14 November 2011
Let y(n) + a1y(n−1 +…+ an−1y(1) + an = 0 (*) be a linear ordinary differential equation of order n. A (relative) differential invariant of (*) is a differential polynomial function π(xi) defined on the solution space of (*) satisfying: there is an integer g such that for all invertible linear transformations α of V into itself, π(αxi) = (det α)βπ(xi). We prove in a purely algebraic manner the following two theorems: A. The differential invariants of (*) are generated algebraically by the Wronskian W and the coefficients ala2, …, an of (*). B. Every generic differential relation (i.e. differential relation which holds for every linear ordinary differential equation of order n) among W, a1 …, an can be deduced algebraically from Abel's identity, W′ = −a1W. The second theorem may be considered as an algebraic version of the existence theorem for linear ordinary differential equations.