What theorem of Liouville's is Gian-Carlo Rota referring to here?

I am very curious about this remark in Lesson Four of Rota's talk, Ten Lessons I Wish I Had Learned Before I Started Teaching Differential Equations:

"For second order linear differential equations, formulas for changes of dependent and independent variables are known, but such formulas are not to be found in any book written in this century, even though they are of the utmost usefulness.

"Liouville discovered a differential polynomial in the coefficients of a second order linear differential equation which he called the invariant. He proved that two linear second order differential equations can be transformed into each other by changes of variables if and only if they have the same invariant. This theorem is not to be found in any text. It was stated as an exercise in the first edition of my book, but my coauthor insisted that it be omitted from later editions."

Does anyone know where to find this theorem?

-
Hyperbole is the worst thing in the universe, and Gian-Carlo Rota used it frequently. In this article, he wrote: "The Administrative Director of the MIT mathematics department, who exercises supreme authority upon the faculty's teaching, has only to wave a copy of my book at me, while staring at me in silence. At her prompting, I bow and fall into line; I will be the lecturer in the dreaded course for one more year, and[...]". Some years ago I called this sentence to the attention of the said "administrative director, and she said there's not a word of truth in it. – Michael Hardy Apr 22 '11 at 21:46
Hyperbole is far from the worst thing in the universe. Rota's flair for the dramatic is part of what made him such an engaging lecturer. – AVS Apr 23 '11 at 2:03
Um.....AVS, did you miss something? But then, who needs rhetorical questions? – Michael Hardy Apr 23 '11 at 5:58
BTW, I plagiarized that line from a facebook friend. He wrote it on his wall and put the period after the word "universe" and didn't go on from there. Maybe adding more stuff confuses the issue. – Michael Hardy Apr 23 '11 at 6:04
I apologize for misinterpreting your comment. Your meaning and tone would have been entirely clear had you ended your comment at the word universe as you suggest (and I'm sure Rota would have heartily approved). – AVS Apr 23 '11 at 9:43

See E. Hille, Ordinary differential equations in the complex domain, Wiley, New York, 1976. The Liouville transformation is given on Page 179. The invariant mentioned by Rota is the function $Q(z)$ appearing as a coefficient of the equation in the canonical form.

-
Thank you very much, I will look up this reference. – keerlu Apr 23 '11 at 7:21

This question had been bothering me for a while since I teach the intro differential equations courses occasionally, so I finally looked up the reference Anatoly gave and figured out the details. I'll drop them here in case anyone else can get use out of them.

Starting with the second-order equation

$y'' + Py' + Qy = 0$

we can make the change of variables $w = y \cdot e^{\int P/2}$. This change of variables is pretty clever; if you work it out, it happens to eliminate the first derivative term and gives us a new second-order equation of the form

$w'' + Q_0w = 0$.

If you calculate it out, you can find that $Q_0 = Q - \frac14P^2 - \frac12P'$. Nothing fancy here, just what happens when you do the change of variables. This $Q_0$ is the invariant of the second-order equation that is mentioned in the question.

Any two second-order equations that have the same invariant can easily be transformed into one another by a change of variables; simply change variables once to get to the standard form $w'' + Q_0w = 0$ and then change variables back into the other one.

More difficult is that all changes of variables preserve this invariant; proving it for changes of variables y = G x is an easy computation with a bunch of cancellation, but I'm not sure if we need to do more than that to finish the proof.

From the point of view of someone teaching introductory differential equations, you are normally dealing with second-order equations $y'' + Py' + Qy = 0$ where $P$ and $Q$ are real numbers. In this case, the invariant $Q_0$ is just $-\frac14$ times the discriminant of the auxiliary equation. So the theorem says that any two equations with the same auxiliary equation discriminant can be transformed into each other.

For example,

$y'' + 6y' + 10y = 0$

has $Q_0 \equiv 1$, so

it must be able to turn into

$w'' + 1w = 0$

via a change of variables. Indeed, if you let

$w = y e^{3x}$

then you get the equation $w'' + w = 0$, and the solution is

$y \cdot e^{3x} = c_1 \cos x + c_2 \sin x$

$y = c_1 e^{-3x} \cos x + c_2 e^{-3x}\sin x$.

Another example:

$y'' + 6y' + 9y = 0$

has $Q_0 \equiv 0$,

so it must be able to turn into simply

$w'' = 0$

via a change of variables. The change of variables only depends on $P$, and yes, $w = y e^{3x}$ is a pretty good change of variables. Via this route we end up with

$y \cdot e^{3x} = c_1 + c_2 x$

$y = c_1 e^{-3x} + c_2 x e^{-3x}$

which is of course correct.

So, in our intro differential equations classes, the invariant is just the familiar fact that if we complete the square of the auxiliary equation, we can see the correct change of variables that will leave us with a bunch of $\cos$, $\sin$, $\cosh$, and $\sinh$ in addition to our exponentials from $P/2$.

-
Just a note, if you look up the reference as well, my $P$ is the reference's $P_1$ and my $Q$ is the reference's $Q_1$; my $Q_0$ is the reference's $Q$. The subscripts might be standard in this area in which case I apologize, because I have changed them only for my own aesthetic reasons. Cheers! – Chris Cunningham Nov 18 '14 at 22:12

Kamke's classic compendium [1] of ODE solutions and solution methods displays this invariant in Part I, equation §25.1(4). The invariant is given for the more famous equations (Bessel, Legendre, hypergeometric, ...) of the large list of second order linear equations in Part III Chapter II.

[1] Kamke, E. Differentialgleichungen: Lösungen und Lösungernethoden. Vol. 1. First published in 1944.

Unfortunately, it seems that this book never appeared in English translation.

-