These are ode’s whose solution is in terms of special functions. Will update as I find more. Most of the special functions come up from working out the solution in series of a second order ode which has regular singular point at expansion point. These are the more interesting odes whose solution is in terms of special functions.
Given an ode of the form \(A y^{\prime \prime }+ B y^{\prime }+ C y=0\), we first look at \(\frac {B}{A}\) and \(\frac {C}{A}\). If both of these are analytic at the expansion point \(x_{0}\), then \(x_{0}\) is called an ordinary point. If at least one of these is not analytic, then the point \(x_{0}\) is called singular point. Normally \(A,B,C\) are polynomials in \(x\).
If \(x_{0}\) is not analytic based on the above check, then we now do an additional test and look at \((x-x_{0}) \frac {B}{A}\) and also at \((x-x_{0})^{2} \frac {C}{A}\) instead, and if now both of these are analytic at \(x_{0}\), then the point \(x_{0}\) is called a regular singular point (which means removable singularity).
If at least one of the above tests fail, then \(x_{0}\) is not analytic, and it is called irregular singular point or essential singularity.
Only when the expansion point \(x_{0}\) is ordinary or regular singular point can we do series solution for the ode. If it is irregular singular point then asymptotic expansion is needed.
For ordinary point, standard power series \(y(x)=\sum _{n=0}^{\infty } a_{n} x^{n}\) is used. For regular singular point, Frobenius method \(y(x)=\sum _{n=0}^{\infty } a_{n} x^{n+r}\) is used.
| Table 1: Special second order differential equations lookup table
|
|||
| # |
Name |
ode |
ordinary and singular points |
| 1 |
Airy |
\( y'' + A y = 0\) |
All points are ordinary |
| 2 |
Bessel |
\(x^2 y'' + x y' + (x^2 - n^2) y = 0 \) |
All points are ordinary except \(x=0\) is regular singular point |
| 3 |
Chebyshev |
\((1-x^2) y'' - x y' +n^2 y =0\) |
All points are ordinary except \(x=\pm 1\) are regular singular points |
| 4 |
Hermite |
\( y'' -2 x y +2 n y=0 \) |
All points are ordinary |
| 5 |
Gauss |
\( x(1-x) y'' + (c - (a+b+1)x ) y' - a b y=0 \) |
All points are ordinary except \(x=0,1\) are regular singular points |
| 6 |
Laguerre |
\( x y'' + (1-x) y' + n y=0 \) |
All points are ordinary except \(x=0\) is regular singular point |
| 7 |
Legendre |
\( (1-x^2) y'' -2 x y' + n(n+1) y=0 \) |
All points are ordinary except \(x=\pm 1\) are regular singular points |
solution is
For
Singular points at \(x=1,-1\) and \(\infty \). Solution valid for \(\left \vert x\right \vert <1\). Maple gives solution
For
Maple gives solution
If \(n\) positive integer, then solution in series gives polynomial solution of degree \(n\). Called Chebyshev polynomials.
Converges for all \(x\). If \(n\) is positive integer, one series terminates. Series solution in terms of Hermite polynomials.
Maple gives solution
Series solution in terms of Legendre functions. When \(n\) is positive integer, one series terminates (i.e. becomes polynomial).
Maple gives solution
If the ode is given in form
Then using \(x=\cos \theta \) transforms it to the earlier more familiar form. Maple gives this as solution
\(x=0\,\) is regular singular point. Solution in terms of Bessel functions
For the special case of \(n=-2\) the solution is
Where in the above \(\lambda \) is a root of \(b\lambda ^{2}+\lambda +a=0\).
For \(n\neq -2\)
Solution is for \(\left \vert x\right \vert <1\) is in terms of hypergeom function. Has 3 regular singular points, \(x=0,x=1,x=\infty \).
Maple gives this solution
And Mathematica gives