A student encounters y'' + (1/x)y' + (1/x²)y = 0 and begins computing a standard power series solution y = Σaₙxⁿ centered at x₀ = 0. After extensive algebra, the method fails. Based on classifying x₀ = 0, what went wrong?
Ax = 0 is an ordinary point, so the standard series should converge — the student made an algebraic error.
Bx = 0 is a regular singular point, so the standard power series method doesn't apply there; the Frobenius method should be used instead.
Cx = 0 is an irregular singular point, so no series solution exists near the origin.
DPower series must be centered at x = 1 to avoid the singularity at the origin.
For this equation, p(x) = 1/x and q(x) = 1/x². Check: (x − 0)·p(x) = x·(1/x) = 1 (analytic at 0); (x − 0)²·q(x) = x²·(1/x²) = 1 (analytic at 0). Both multiplied forms are analytic, so x = 0 is a regular singular point — not an ordinary point. The standard power series assumes analyticity of p and q at x₀, which fails here. The Frobenius method (assuming y = x^r·Σaₙxⁿ) is the right tool for regular singular points. Option 2 is wrong because the singularity is not irregular; option 3 misunderstands that shifting the center doesn't resolve a singularity.
Question 2 Multiple Choice
For the ODE y'' + (3/x)y' + (1/x²)y = 0, classify x₀ = 0.
AOrdinary point — both p(x) and q(x) are defined for all x ≠ 0.
BRegular singular point — (x − 0)p(x) = 3 and (x − 0)²q(x) = 1 are both analytic at x = 0.
CIrregular singular point — both p(x) and q(x) blow up at x = 0, making it worse than a regular singularity.
DCannot be classified without knowing boundary or initial conditions.
The test for a regular singular point: compute (x − x₀)p(x) and (x − x₀)²q(x) and check analyticity at x₀. Here, x·(3/x) = 3 (a constant, definitely analytic) and x²·(1/x²) = 1 (also analytic). So x = 0 is a regular singular point. Option 2 is the common error: seeing that p and q blow up at x = 0 and concluding the singularity is 'irregular.' The key is not whether p and q blow up but whether the blow-up is mild enough for the multiplied forms to remain analytic. p(x) has at most a simple pole and q(x) has at most a double pole — exactly the regular singular threshold.
Question 3 True / False
Near an ordinary point x₀, a power series solution y = Σaₙ(x − x₀)ⁿ is guaranteed to converge in a neighborhood that extends at least as far as the nearest singular point.
TTrue
FFalse
Answer: True
This is the existence theorem for power series solutions near ordinary points. The radius of convergence of the solution series is at least as large as the distance from x₀ to the nearest singular point in the complex plane. This gives a concrete, computable lower bound for how far the series solution is valid. Knowing where the singular points are therefore tells you, in advance, the minimum radius of convergence of any power series solution centered at an ordinary point — before you compute a single coefficient.
Question 4 True / False
Any point where p(x) or q(x) becomes unbounded in y'' + p(x)y' + q(x)y = 0 is an irregular singular point, requiring methods beyond Frobenius.
TTrue
FFalse
Answer: False
This conflates 'singular point' with 'irregular singular point.' A point where p(x) or q(x) is not analytic is a singular point, but it may be regular or irregular. The distinction is the rate of blow-up: if p(x) has at most a simple pole and q(x) has at most a double pole at x₀ — equivalently, if (x − x₀)p(x) and (x − x₀)²q(x) are both analytic at x₀ — then the singularity is regular, and the Frobenius method applies. Only when (x − x₀)p(x) or (x − x₀)²q(x) still fails to be analytic do we have an irregular singular point where Frobenius also fails.
Question 5 Short Answer
Why is it important to classify a point as ordinary, regular singular, or irregular singular before attempting to find a series solution? What happens if you skip this step?
Think about your answer, then reveal below.
Model answer: The classification determines which solution method applies. Near an ordinary point, a standard power series y = Σaₙ(x − x₀)ⁿ works and two independent solutions are guaranteed. Near a regular singular point, you need the Frobenius method: y = (x − x₀)^r·Σaₙ(x − x₀)ⁿ, where the exponent r is determined by the indicial equation. Near an irregular singular point, neither method works, and more advanced techniques are needed. If you skip classification and attempt a standard power series at a singular point, the recurrence relation for the coefficients will typically fail — infinite or undefined coefficients, or a recursion that collapses to zero solutions. You end up with a lot of algebra and no valid solution, with no clear diagnostic for why.
This is the practical payoff of the classification: it is a decision tree that saves wasted effort. The exam skill is not just knowing the definitions but applying the test (compute (x−x₀)p and (x−x₀)²q, check analyticity) before choosing a solution strategy. Identifying the point type before computing is as important as the computation itself.