Regular singular point

In mathematics, in the theory of ordinary differential equations in the complex plane , the points of are classified into ordinary points, at which the equation's coefficients are analytic functions, and singular points, at which some coefficient has a singularity. Then amongst singular points, an important distinction is made between a regular singular point, where the growth of solutions is bounded (in any small sector) by an algebraic function, and an irregular singular point, where the full solution set requires functions with higher growth rates. This distinction occurs, for example, between the hypergeometric equation, with three regular singular points, and the Bessel equation which is in a sense a limiting case, but where the analytic properties are substantially different.
Contents
Formal definitions
More precisely, consider an ordinary linear differential equation of nth order
with p_{i} (z) meromorphic functions. One can assume that
If this is not the case the equation above has to be divided by p_{n}(x). This may introduce singular points to consider.
The equation should be studied on the Riemann sphere to include the point at infinity as a possible singular point. A Möbius transformation may be applied to move ∞ into the finite part of the complex plane if required, see example on Bessel differential equation below.
Then the Frobenius method based on the indicial equation may be applied to find possible solutions that are power series times complex powers (z − a)^{r} near any given a in the complex plane where r need not be an integer; this function may exist, therefore, only thanks to a branch cut extending out from a, or on a Riemann surface of some punctured disc around a. This presents no difficulty for a an ordinary point (Lazarus Fuchs 1866). When a is a regular singular point, which by definition means that
has a pole of order at most i at a, the Frobenius method also can be made to work and provide n independent solutions near a.
Otherwise the point a is an irregular singularity. In that case the monodromy group relating solutions by analytic continuation has less to say in general, and the solutions are harder to study, except in terms of their asymptotic expansions.
The regularity condition is a kind of Newton polygon condition, in the sense that the allowed poles are in a region, when plotted against i, bounded by a line at 45° to the axes.
An ordinary differential equation whose only singular points, including the point at infinity, are regular singular points is called a Fuchsian ordinary differential equation.
Examples for second order differential equations
In this case the equation above is reduced to:
One distinguishes the following cases:
 Point a is an ordinary point when functions p_{1}(x) and p_{0}(x) are analytic at x = a.
 Point a is a regular singular point if p_{1}(x) has a pole up to order 1 at x = a and p_{0} has a pole of order up to 2 at x = a.
 Otherwise point a is an irregular singular point.
Listed below are several examples from ordinary differential equations from mathematical physics that have singular points and known solutions.
Bessel differential equation
This is an ordinary differential equation of second order. It is found in the solution to Laplace's equation in cylindrical coordinates:
for an arbitrary real or complex number α (the order of the Bessel function). The most common and important special case is where α is an integer n.
Dividing this equation by x^{2} gives:
In this case p_{1}(x) = 1/x has a pole of first order at x = 0. When α ≠ 0 p_{0}(x) = (1 − α^{2}/x^{2}) has a pole of second order at x = 0. Thus this equation has a regular singularity at 0.
To see what happens when x → ∞ one has to use a Möbius transformation, for example x = 1 / (w  b). After performing the algebra:
Now
 p_{1}(w) = 1/(w − b)
has a pole of first order at w = b. And p_{0}(w) has a pole of fourth order at w = b. Thus this equation has an irregular singularity w = b corresponding to x at ∞. There is a basis for solutions of this differential equation that are Bessel functions.
Legendre differential equation
This is an ordinary differential equation of second order. It is found in the solution of Laplace's equation in spherical coordinates:
Opening the square bracket gives:
And dividing by (1  x^{2}):
This differential equation has regular singular points at 1, +1, and ∞.
Hermite differential equation
One encounters this ordinary second order differential equation in solving the one dimensional time independent Schrödinger equation
for a harmonic oscillator. In this case the potential energy V(x) is:
This leads to the following ordinary second order differential equation is:
This differential equation has an irregular singularity at ∞. Its solutions are Hermite polynomials.
Hypergeometric equation
The equation may be defined as
Dividing both sides by z (1  z) gives:
This differential equation has regular singular points at 0, 1 and ∞. A solution is the hypergeometric function.
References
 Coddington, Earl A.; Levinson, Norman (1955). Theory of Ordinary Differential Equations. New York: McGrawHill.
 E. T. Copson, An Introduction to the Theory of Functions of a Complex Variable (1935)
 Fedoryuk, M.V. (2001), "Fuchsian equation", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 9781556080104, http://eom.springer.de/F/f041880.htm
 A. R. Forsyth Theory of Differential Equations Vol. IV: Ordinary Linear Equations (Cambridge University Press, 1906)
 E. Goursat A Course in Mathematical Analysis, Volume II, Part II: Differential Equations p. 128ff. (Ginn & co., Boston, 1917)
 Il'yashenko, Yu.S. (2001), "Regular singular point", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 9781556080104, http://eom.springer.de/r/r080870.htm
 E. L. Ince, Ordinary Differential Equations, Dover Publications (1944)
 T. M. MacRobert Functions of a Complex Variable p. 243 (MacMillan, London, 1917)
 Teschl, Gerald. Ordinary Differential Equations and Dynamical Systems. Providence: American Mathematical Society. http://www.mat.univie.ac.at/~gerald/ftp/bookode/.
 E. T. Whittaker and G. N. Watson A course of modern analysis p. 188ff. (Cambridge University Press, 1915)
Categories: Ordinary differential equations
 Complex analysis
Wikimedia Foundation. 2010.
Look at other dictionaries:
Singular point of a curve — In geometry, a singular point on a curve is one where the curve is not given by a smooth embedding of a parameter. The precise definition of a singular point depends on the type of curve being studied. Contents 1 Algebraic curves in the plane 1.1 … Wikipedia
Singular point of an algebraic variety — In mathematics, a singular point of an algebraic variety V is a point P that is special (so, singular), in the geometric sense that V is not locally flat there. In the case of an algebraic curve, a plane curve that has a double point, such as the … Wikipedia
Regular cardinal — In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality. So, crudely speaking, a regular cardinal is one which cannot be broken into a smaller collection of smaller parts.(The situation is slightly more… … Wikipedia
Singular value decomposition — Visualization of the SVD of a 2 dimensional, real shearing matrix M. First, we see the unit disc in blue together with the two canonical unit vectors. We then see the action of M, which distorts the disk to an ellipse. The SVD decomposes M into… … Wikipedia
Critical point (mathematics) — See also: Critical point (set theory) The abcissae of the red circles are stationary points; the blue squares are inflection points. It s important to note that the stationary points are critical points, but the inflection points are not nor are… … Wikipedia
price point — noun : the standard price set by the manufacturer for its product * * * n. the price for which something is sold on the retail market, esp. in contrast to competitive prices. * * * price point UK US noun [countable] [singular price point plural … Useful english dictionary
Frobenius solution to the hypergeometric equation — In the following we solve the second order differential equation called the hypergeometric differential equation using Frobenius method, named after Ferdinand Georg Frobenius. This is a method that uses the series solution for a differential… … Wikipedia
Hypergeometric differential equation — In mathematics, the hypergeometric differential equation is a second order linear ordinary differential equation (ODE) whose solutions are given by the classical hypergeometric series. Every second order linear ODE with three regular singular… … Wikipedia
List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… … Wikipedia
Heun's equation — In mathematics, the Heun s differential equation is a second order linear ordinary differential equation (ODE) of the form:frac {d^2w}{dz^2} + left [frac{gamma}{z}+ frac{delta}{z 1} + frac{epsilon}{z d} ight] frac {dw}{dz} + frac {alpha eta z q} … Wikipedia