We consider the general Sturm-Liouville problem on (a,[infinity]), assuming that the left endpoint x = a is either (1) regular, or (2) nonoscillatory for all real [Lambda] and a regular singular point.
Currently SLEDGE is only capable of handling the special case when x = a is a regular singular point of (1.
In general, when x = a is not a regular singular point but satisfies the requirement of being nonoscillatory for all real [Lambda], a normalization of the principal solution [Phi] which can be easily implemented numerically is not known.
2) When x = a is a singular endpoint, the assumption that it is also a regular singular point is needed to implement the normalization (1.
Among specific topics are the complex exponential function, two basic equations and their monodromy, regular singular points
and the local Riemann-Hilbert correspondence, the universal group as the pro-algebraic hull of the fundamental group, and beyond local fuschian differential Galois theory.