Differential equations rarely have closed-form solutions. Some do, and these are emphasized in textbooks.

For this post we want to look specifically at homogeneous second order linear equations:

*y* ” + *a*(*x*) *y*‘ + *b*(*x*) *y* = 0.

If the coefficient functions *a* and *b* are constant, then the solution can be written down in terms of elementary functions, i.e. functions a first year calculus student would recognize. This would include, for example, polynomials, sines, and cosines, but would not include, the gamma function, Bessel functions, Airy functions, etc.

If the coefficients *a* and *b* are not constant, the differential equation usually does not have an elementary solution. In fact, you might wonder if it is *ever* possible in that case for the differential equation to have an elementary solution. Experience would suggest not.

A paper by Kovacic [1] thoroughly answers this question. The author gives algorithms for determining whether elementary solutions exist and how to find them if they do exist. The following example comes from that paper.

Consider the equation

*y*” + *ry* = 0

where [2]

*r*(*x*) = (4 *x*^{6} – 8 *x*^{5} + 12 *x*^{4} + 4 *x*^{3} + 7 *x*^{2} – 20 *x* + 4)/4 *x*^{4}.

Then

*y*(*x*) = *x*^{-3/2} (*x*^{2} – 1) exp(*x*^{2}/2 – *x* – 1/*x*)

is a solution, which the following Mathematica code verifies by evaluating to 0.

r[x_] := (4 x^6 - 8 x^5 + 12 x^4 + 4 x^3 + 7 x^2 - 20 x + 4)/(4 x^4) f[x_] := x^(-3/2) (x^2 - 1) Exp[x^2/2 - x - 1/x] Simplify[D[f[x], {x, 2}] - r[x] f[x]]

## Related posts

[1] Jerald J. Kovacic. An algorithm for solving second order linear homogeneous differential equations. Journal of Symbolic Computation (1986) 2, 3–43.

[2] There’s an error in the paper, where the denominator of *r* is given as 4*x* rather than 4*x*^{4}.