A technique to construct series solutions of linear ordinary differential equations near a regular singular point by allowing power series multiplied by a possibly noninteger exponent determined by an indicial equation.

Principle

Seek solutions of the form x^r sum_{n>=0} a_n x^n, substitute into the differential equation, determine r from the indicial polynomial at the singular point, and then recursively compute coefficients a_n; handle repeated or integer-differing roots with logarithmic terms if needed.

Demonstration

For Bessel's equation at x=0, the indicial equation yields exponents ±nu; the Frobenius procedure produces the Bessel functions J_nu and J_-nu (and when nu is integer, the second solution involves a logarithm), giving convergent series on a punctured neighbourhood of the singularity.

Misapplication

Applying Frobenius at an irregular singular point where the series ansatz fails, or neglecting the possibility of logarithmic terms when the indicial roots differ by an integer; such misuse yields divergent series or misses independent solutions.

Consequence

A systematic construction of local fundamental sets of solutions near regular singular points, explicit recurrence relations for series coefficients, and criteria for when extra log terms are necessary, providing precise local analytic structure.

Reversal

At an ordinary (nonsingular) point the ordinary power-series method suffices and no exponent shift is needed; reversing to that case shows Frobenius generalizes ordinary power series by introducing the leading exponent r.

Boundary

Applies to linear ODEs near regular singular points; it does not apply to general nonlinear ODEs or to points that are essential or irregular singularities without modification (e.g., formal or asymptotic series are then needed).

Semantic Tension

Close to the method of ordinary power series and to asymptotic expansion techniques; tension arises in deciding whether the point is regular singular (Frobenius applies) or irregular (requires different tools) and in distinguishing true analytic solutions from formal series.

Synthesis

Frobenius is a controlled power-series construction that replaces the ordinary series ansatz by x^r times a power series, uses an indicial equation to fix r, and then produces coefficient recurrences to yield local analytic solutions around regular singular points, with explicit rules for exceptional integer-difference cases.