# 6.4: Regular Singular Points

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

When we worked out series solutions to differential equations in previous discussions, we always assumed that \(x_0\) was an ordinary point, that is \(p\) and \(q\) converged to their Taylor Series expansions. What happens if the point is a* singular point*?

Example \(\PageIndex{1}\): Series Solution around a singular Point

Find the solution to

\[ xy'' + y = 0\]

with \( y(0) = 1 \) and \( y'(0) = 2 \).

**Solution**

As before, we let

\[ y=\sum_{n=0}^{\infty}a_nx^n.\]

Take derivatives

\[ y'=\sum_{n=1}^{\infty}na_nx^{n-1} \]

\[ y''=\sum_{n=2}^{\infty}n(n-1)a_nx^{n-2} .\]

Now we plug these expansions into the original differential equation

\[ \sum_{n=2}^{\infty}n(n-1)a_nx^{n-2} + \sum_{n=0}^{\infty}a_nx^n = \sum_{n=2}^{\infty}n(n-1)a_nx^{n-1} + \sum_{n=0}^{\infty}a_nx^n. \]

Let \( u = n - 1\) and \(n = u + 1\) and change back to \(n\) to get

\[ \sum_{n=1}^{\infty}n(n+1)a_{n+1}x^{n} + \sum_{n=0}^{\infty}a_nx^n. \]

Plugging in 0 into the second sum and and combining, we get

\[ a_0 + \sum_{n=1}^{\infty}n(n+1)a_{n+1}x^{n} + \sum_{n=1}^{\infty}a_nx^n = a_0 + \sum_{n=1}^{\infty}\left [n(n+1)a_{n+1} + a_n \right ]x^n. \]

Now comes the twist. From the initial conditions, we get \( a_0 = 1 \) and \(a_1 = 2 \).

However, equating coefficients, we get

\[ a_0 = 0 \]

\[ a_{n+1} = \dfrac{-a_n}{n(n+1)}. \]

We get a contradiction, since \(a_0\) cannot be both 0 and 1. We can conclude that there is no McLaurin series solution to the differential equation. This does not mean that there is no solution at all, just not a series solution.

What is going on in the example above is that 0 is a singular point for this differential equation. When we have a singular point, all bets are off as to what type of solution we can have. Some have no analytic solutions, others have one analytic solution and one non-analytic solution, and still others have two analytic solutions. There is a classification of singular points that are particularly tame.

Definition: Regular Singular Points

Let

\[ P(x)y'' + Q(x)y' + R(x)y = 0 \]

be a *linear second order* differential equation. Then \(x_0\) is called a *regular singular* point if

\[ \lim_{x\rightarrow x_0} (x-x_0)\dfrac{Q(x)}{P(x)} \]

and

\[ \lim_{x\rightarrow x_0} (x-x_0)^2\dfrac{R(x)}{P(x)} \]

are both finite.

A singular point that is not a regular singular point is called an* irregular singular point*. Another way of defining singular points is to say that \( (x - x_0)p(x) \) and \((x - x_0)^2\) both have a removable discontinuity at \(x_0\).

Example \(\PageIndex{2}\)

Find all regular and irregular singular points for the differential equation

\[ (x\; \text{sin} \; x ) y'' + (\text{cos} \; x) y' + e^x y = 0. \]

**Solution**

The zeros of \(x \sin x\) are

\[x = k\pi \text{ for $k$ an integer.}\]

These are the singular points for the equation. Now we test for regularity. First test at \(x = 0\).

\[ \lim_{x \rightarrow 0} \left( \dfrac{\cos x}{x\sin x} \right) = \lim_{x \rightarrow 0} \left( \dfrac{\cos x}{\sin x} \right)\]

This limit is undefined hence the singularity at \(x = 0\) is irregular. Note that once one of the two limits is not finite, the point is automatically irregular regardless of the other limit.

Now we test the rest of the points

\[ \lim_{x \rightarrow k\pi} (x-k\pi) \left( \dfrac{\cos x}{x\sin x} \right) = \lim_{x \rightarrow k\pi} \left(\dfrac{\cos x}{x} \right) \left( \dfrac{x-k\pi}{\sin x}\right).\]

The first factor has a finite limit. For the second factor, we can use L'Hopital's rule to get

\[ \lim_{x \rightarrow k\pi} \dfrac{x-k\pi}{\sin x} = \lim_{x \rightarrow k\pi} \dfrac{-k\pi}{\cos x} = \pm k\pi.\]

We are half way to being regular. Now find

\[ \lim_{x \rightarrow k\pi} (x-k\pi)^2 \dfrac{e^x}{x\sin x} = \lim_{x \rightarrow k\pi}\dfrac{e^x}{x}\dfrac{(x-k\pi)^2}{\sin x}\]

\[ \lim_{x \rightarrow k\pi}\dfrac{e^x}{x}\dfrac{(x-k\pi)^2}{\sin x} = \dfrac{e^{k\pi}}{k\pi}\lim_{x \rightarrow k\pi} \dfrac{2(x-k\pi)}{\cos x} = 0.\]

Since both limits are finite, \(x = k\pi\) for \(k\) nonzero are regular singular points.

We may ask what all the fuss is about? For differential equations, just about all the points will be nonsingular. Why cannot we just ignore the few points that are singular. The answer is that the singular point is where the interesting part occurs. Ignoring the singular point would be like deciding to ignore black holes in the study astronomy because most of space is not a black hole.

### Contributors

- Larry Green (Lake Tahoe Community College)
Integrated by Justin Marshall.