Namespaces
Variants
Actions

Difference between revisions of "Singular point"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m
Line 49: Line 49:
 
with centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590227.png" /> and radius of convergence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590228.png" />. By taking in the process of analytic continuation of the element (2) along all possible curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590229.png" />, mappings of the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590230.png" /> into the complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590231.png" /> as basis, a general definition of the singular points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590232.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590233.png" />, of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590234.png" /> is obtained, which is formally completely analogous to the one mentioned above for the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590235.png" />.
 
with centre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590227.png" /> and radius of convergence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590228.png" />. By taking in the process of analytic continuation of the element (2) along all possible curves <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590229.png" />, mappings of the interval <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590230.png" /> into the complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590231.png" /> as basis, a general definition of the singular points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590232.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590233.png" />, of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590234.png" /> is obtained, which is formally completely analogous to the one mentioned above for the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590235.png" />.
  
However, as a result of the overdeterminacy of the [[Cauchy–Riemann conditions|Cauchy–Riemann conditions]] when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590236.png" /> and the resulting "large power" of analytic continuation, the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590237.png" /> differs radically from the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590238.png" />. In particular, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590239.png" /> there are domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590240.png" /> which cannot be natural domains of existence of any single-valued analytic or holomorphic function. In other words, on specific sections of the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590241.png" /> of this domain there are no singular points of any holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590242.png" /> defined in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590243.png" />, and analytic continuation is possible across them. For example, the Osgood–Brown theorem holds: If a compact set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590244.png" /> is situated in a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590245.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590246.png" /> is also a domain, and if a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590247.png" /> is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590248.png" />, then it can be holomorphically continued onto the whole domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590249.png" /> (see also [[Removable set|Removable set]]). The natural domains of existence of holomorphic functions are sometimes called domains of holomorphy (cf. [[Domain of holomorphy|Domain of holomorphy]]), and are characterized by specific geometric properties. Analytic continuation of a holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590250.png" /> which is originally defined in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590251.png" /> while retaining its single-valuedness makes it necessary to introduce, generally speaking, many-sheeted domains of holomorphy over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590252.png" />, or Riemann domains — analogues of Riemann surfaces (cf. [[Riemannian domain|Riemannian domain]]). In this interpretation, the singular points of a holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590253.png" /> prove to be points of the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590254.png" /> of its domain of holomorphy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590255.png" />. The Osgood–Brown theorem shows that the connected components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590256.png" /> cannot form compact sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590257.png" /> such that the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590258.png" /> is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590259.png" />. In particular, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590260.png" /> there do not exist isolated singular points of holomorphic functions.
+
However, as a result of the overdeterminacy of the [[Cauchy-Riemann equations]] when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590236.png" /> and the resulting "large power" of analytic continuation, the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590237.png" /> differs radically from the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590238.png" />. In particular, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590239.png" /> there are domains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590240.png" /> which cannot be natural domains of existence of any single-valued analytic or holomorphic function. In other words, on specific sections of the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590241.png" /> of this domain there are no singular points of any holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590242.png" /> defined in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590243.png" />, and analytic continuation is possible across them. For example, the Osgood–Brown theorem holds: If a compact set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590244.png" /> is situated in a bounded domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590245.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590246.png" /> is also a domain, and if a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590247.png" /> is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590248.png" />, then it can be holomorphically continued onto the whole domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590249.png" /> (see also [[Removable set|Removable set]]). The natural domains of existence of holomorphic functions are sometimes called domains of holomorphy (cf. [[Domain of holomorphy|Domain of holomorphy]]), and are characterized by specific geometric properties. Analytic continuation of a holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590250.png" /> which is originally defined in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590251.png" /> while retaining its single-valuedness makes it necessary to introduce, generally speaking, many-sheeted domains of holomorphy over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590252.png" />, or Riemann domains — analogues of Riemann surfaces (cf. [[Riemannian domain|Riemannian domain]]). In this interpretation, the singular points of a holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590253.png" /> prove to be points of the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590254.png" /> of its domain of holomorphy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590255.png" />. The Osgood–Brown theorem shows that the connected components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590256.png" /> cannot form compact sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590257.png" /> such that the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590258.png" /> is holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590259.png" />. In particular, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590260.png" /> there do not exist isolated singular points of holomorphic functions.
  
 
The simplest types of singular points of analytic functions of several complex variables are provided by meromorphic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590261.png" /> in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590262.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590263.png" />, which are characterized by the following properties: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590264.png" /> is holomorphic everywhere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590265.png" /> with the exception of a [[Polar set|polar set]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590266.png" />, which consists of singular points; and 2) for any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590267.png" /> there are a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590268.png" /> and a holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590269.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590270.png" /> such that the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590271.png" /> can be continued holomorphically to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590272.png" />. The singular points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590273.png" /> are then divided into poles, at which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590274.png" />, and points of indeterminacy, at which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590275.png" />. In the case of a pole, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590276.png" /> when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590277.png" /> moves towards <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590278.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590279.png" />; in any neighbourhood of a point of indeterminacy, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590280.png" /> takes all values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590281.png" />. For example, the meromorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590282.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590283.png" /> has the straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590284.png" /> as its polar set; all points of this straight line are poles, with the exception of the point of indeterminacy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590285.png" />. A meromorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590286.png" /> in its domain of holomorphy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590287.png" /> can be represented globally in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590288.png" /> as the quotient of two holomorphic functions, i.e. its polar set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590289.png" /> is an [[Analytic set|analytic set]].
 
The simplest types of singular points of analytic functions of several complex variables are provided by meromorphic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590261.png" /> in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590262.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590263.png" />, which are characterized by the following properties: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590264.png" /> is holomorphic everywhere in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590265.png" /> with the exception of a [[Polar set|polar set]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590266.png" />, which consists of singular points; and 2) for any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590267.png" /> there are a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590268.png" /> and a holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590269.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590270.png" /> such that the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590271.png" /> can be continued holomorphically to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590272.png" />. The singular points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590273.png" /> are then divided into poles, at which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590274.png" />, and points of indeterminacy, at which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590275.png" />. In the case of a pole, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590276.png" /> when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590277.png" /> moves towards <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590278.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590279.png" />; in any neighbourhood of a point of indeterminacy, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590280.png" /> takes all values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590281.png" />. For example, the meromorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590282.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590283.png" /> has the straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590284.png" /> as its polar set; all points of this straight line are poles, with the exception of the point of indeterminacy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590285.png" />. A meromorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590286.png" /> in its domain of holomorphy <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590287.png" /> can be represented globally in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590288.png" /> as the quotient of two holomorphic functions, i.e. its polar set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085590/s085590289.png" /> is an [[Analytic set|analytic set]].

Revision as of 13:31, 26 December 2013

A singular point of an analytic function is an obstacle to the analytic continuation of an element of the function of a complex variable along any curve in the -plane.

Let be defined by a Weierstrass element , consisting of a power series

(1)

and its disc of convergence

with centre and radius of convergence . Consider all possible curves , i.e. continuous mappings of the interval into the extended complex plane , which begin at the centre of this element , . If the analytic continuation of the given element is possible along any such curve to any point , then the complete analytic function thus obtained reduces to a constant: . For non-trivial analytic functions , the existence of obstacles to the analytic continuation along certain curves is characteristic.

Let be a point in the extended plane on a curve , , , , and on a curve , , , , and let analytic continuation along and to all preceding points , , and , , be possible. Two such curves and are said to be equivalent with respect to the analytic continuation of the given element to the point if there is for any neighbourhood of in a number such that the Weierstrass element obtained from by analytic continuation along to any point , , can be continued along a certain curve located in to an element obtained by continuation along from to any point , .

If analytic continuation to a point is possible along a curve , then it is also possible along all curves of the equivalence class containing . In this case, the pair is said to be regular, or proper; it defines a single-valued regular branch of the analytic function in a neighbourhood of the point.

If analytic continuation along a curve , , , which passes through , , , is possible to all points , , preceding , but is not possible to the point , then is a singular point for analytic continuation of the element along the curve . In this instance it will also be singular for continuation along all curves of the equivalence class which pass through . The pair , consisting of the point and the equivalence class of curves which pass through for each of which is singular, is called a singular point of the analytic function defined by the element . Two singular points and are said to coincide if and if the classes and coincide. The point of the extended complex plane is then called the projection, or -coordinate, of the singular point ; the singular point is also said to lie above the point . In general, several (even a countable set of) different singular and regular pairs obtained through analytic continuation of one and the same element may lie above one and the same point (cf. Branch point).

If the radius of convergence of the initial series (1) , then on the boundary circle of the disc of convergence there lies at least one singular point of the element , i.e. there is a singular point of the analytic function for continuation along the curves , , of the class such that when , . In other words, a singular point of the element is a point such that direct analytic continuation of the element from the disc to any neighbourhood is impossible. In this situation, and generally in all cases where the lack of an obvious description of the class of curves cannot give rise to ambiguity, one usually restricts to the -coordinate of the singular point. The study of the position of singular points of an analytic function, in dependence on the properties of the sequence of coefficients of the initial element , is one of the main directions of research in function theory (see Hadamard theorem on multiplication; Star of a function element, as well as [1], [3], [5]). It is well-known, for example, that the singular points of the series

where , , and is a natural number, fill the whole boundary of its disc of convergence , although the sum of this series is continuous everywhere in the closed disc . Here, is the natural boundary of the analytic function ; analytic continuation of across the boundary of the disc is impossible.

Suppose that in a sufficiently small neighbourhood of a point (or ), analytic continuation along the curves of a specific class is possible to all points other than , for all elements obtained, i.e. along all curves situated in the deleted neighbourhood (respectively, ); the singular point is then called an isolated singular point. If analytic continuation of the elements obtained along the curves of the class along all possible closed curves situated in does not alter these elements, then the isolated singular point is called a single-valued singular point. This type of singular point can be a pole or an essential singular point: If an infinite limit exists when moves towards along the curves of the class , then the single-valued singular point is called a pole (of a function); if no finite or infinite limit exists when moves towards along the curves of the class , then is called an essential singular point; the case of a finite limit corresponds to a regular point . If analytic continuation of the elements obtained along the curves of the class along closed curves surrounding in alters these elements, then the isolated singular point is called a branch point or a many-valued singular point. The class of branch points is in turn subdivided into algebraic branch points and transcendental branch points (including logarithmic branch points, cf. Algebraic branch point; Logarithmic branch point; Transcendental branch point). If after a finite number of single loops around in the same direction within , the elements obtained along the curves of the class take their original form, then is an algebraic branch point and the number is called its order. Conversely, when the loops around give more and more new elements, is a transcendental branch point.

For example, for the function

the points , (for all curves) are algebraic branch points of order 5. As a point function, can be represented as a single-valued function only on the corresponding Riemann surface , consisting of 6 sheets over joined in a specific way above the points . Moreover, three proper branches of lie above the point , which are single-valued on the three corresponding sheets of ; on one sheet of there is a pole of the second order, and on two sheets of there are poles of the first order. In general, the introduction of the concept of a Riemann surface is particularly convenient and fruitful when studying the character of a singular point.

If the radius of convergence of the initial series (1) , then it represents an entire function , i.e. a function holomorphic in the entire finite plane . When , this function has a single isolated singular point of single-valued character; if is a pole, then is an entire rational function, or a polynomial; if is an essential singular point, then is a transcendental entire function.

A meromorphic function in the finite plane is obtained when analytic continuation of the series (1) leads to a single-valued analytic function in all singular points of which are poles. If is a pole or a regular point, then the total number of poles of in the extended plane is finite and is a rational function. For a transcendental meromorphic function in , the point at infinity can be a limit point of the poles — this is the simplest example of a non-isolated singular point of a single-valued analytic function. A meromorphic function in an arbitrary domain is defined in the same way.

Generally speaking, the projections of non-isolated singular points can form different sets of points in the extended complex plane . In particular, whatever the domain , an analytic function exists in for which is its natural domain of existence, and the boundary is its natural boundary; thus, analytic continuation of the function across the boundary of is impossible. Here, the natural boundary consists of accessible and inaccessible points (see Limit elements). If a point is accessible along the curves of a class (there may be several of these classes), all situated in except for the end point , then only singular points of the function can lie above , since if this were not the case, analytic continuation of across the boundary of through a part of in a neighbourhood of would be possible; the accessible points form a dense set on .

The role of the defining element of an analytic function of several complex variables , , can be played by, for example, a Weierstrass element in the form of a multiple power series

(2)

and the polydisc of convergence of this series

with centre and radius of convergence . By taking in the process of analytic continuation of the element (2) along all possible curves , mappings of the interval into the complex space as basis, a general definition of the singular points , , of the function is obtained, which is formally completely analogous to the one mentioned above for the case .

However, as a result of the overdeterminacy of the Cauchy-Riemann equations when and the resulting "large power" of analytic continuation, the case differs radically from the case . In particular, for there are domains which cannot be natural domains of existence of any single-valued analytic or holomorphic function. In other words, on specific sections of the boundary of this domain there are no singular points of any holomorphic function defined in , and analytic continuation is possible across them. For example, the Osgood–Brown theorem holds: If a compact set is situated in a bounded domain such that is also a domain, and if a function is holomorphic in , then it can be holomorphically continued onto the whole domain (see also Removable set). The natural domains of existence of holomorphic functions are sometimes called domains of holomorphy (cf. Domain of holomorphy), and are characterized by specific geometric properties. Analytic continuation of a holomorphic function which is originally defined in a domain while retaining its single-valuedness makes it necessary to introduce, generally speaking, many-sheeted domains of holomorphy over , or Riemann domains — analogues of Riemann surfaces (cf. Riemannian domain). In this interpretation, the singular points of a holomorphic function prove to be points of the boundary of its domain of holomorphy . The Osgood–Brown theorem shows that the connected components of cannot form compact sets such that the function is holomorphic in . In particular, for there do not exist isolated singular points of holomorphic functions.

The simplest types of singular points of analytic functions of several complex variables are provided by meromorphic functions in a domain , , which are characterized by the following properties: 1) is holomorphic everywhere in with the exception of a polar set , which consists of singular points; and 2) for any point there are a neighbourhood and a holomorphic function in such that the function can be continued holomorphically to . The singular points are then divided into poles, at which , and points of indeterminacy, at which . In the case of a pole, when moves towards , ; in any neighbourhood of a point of indeterminacy, takes all values . For example, the meromorphic function in has the straight line as its polar set; all points of this straight line are poles, with the exception of the point of indeterminacy . A meromorphic function in its domain of holomorphy can be represented globally in as the quotient of two holomorphic functions, i.e. its polar set is an analytic set.

A point is called a point of meromorphy of a function if is meromorphic in a certain neighbourhood of that point; thus, if a singular point is a point of meromorphy, then it is either a pole or a point of indeterminacy. All singular points of the analytic function which are not points of meromorphy are sometimes called essential singular points. These include, for example, the branch points of , i.e. the branching points of its (many-sheeted) domain of holomorphy . The dimension of the set of all singular points of a holomorphic function is, in general, equal to . Given certain extra restrictions on this set proves to be analytic (and, consequently, is of smaller dimension; see [2]).

References

[1] A.I. Markushevich, "Theory of functions of a complex variable" , 1–2 , Chelsea (1977) (Translated from Russian) MR0444912 Zbl 0357.30002
[2] B.V. Shabat, "Introduction of complex analysis" , 1–2 , Moscow (1976) (In Russian) Zbl 0799.32001 Zbl 0732.32001 Zbl 0732.30001 Zbl 0578.32001 Zbl 0574.30001
[3] S. Stoilov, "The theory of functions of a complex variable" , 1–2 , Moscow (1962) (In Russian; translated from Rumanian)
[4] A. Hurwitz, R. Courant, "Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen" , 1 , Springer (1964) MR0173749 Zbl 0135.12101
[5] L. Bieberbach, "Analytische Fortsetzung" , Springer (1955) pp. Sect. 3 MR0068621 Zbl 0064.06902
[6] L. Bieberbach, "Lehrbuch der Funktionentheorie" , 1–2 , Chelsea, reprint (1945) MR0012116 Zbl 0060.19907
[7] V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian)
[8] B.A. Fuks, "Introduction to the theory of analytic functions of several complex variables" , Amer. Math. Soc. (1965) (Translated from Russian) MR0155003
[9] R.C. Gunning, H. Rossi, "Analytic functions of several complex variables" , Prentice-Hall (1965) MR0180696 Zbl 0141.08601
[10] H. Behnke, P. Thullen, "Theorie der Funktionen meherer komplexer Veränderlichen" , Springer (1970) (Elraged & Revised Edition. Original: 1934)


Comments

Sometimes a point at which an analytic function is not defined but at which it can be defined so as to remain analytic is called a removable singular point.

If , a famous theorem concerning values of an analytic function in a neighbourhood of an essential singular point is Picard's great theorem (cf. Picard theorem). See Fabry theorem for restrictions on the coefficients and powers so that has a singular point.

The Osgood–Brown theorem is also known as the Hartogs extension theorem.

References

[a1] L. Hörmander, "An introduction to complex analysis in several variables" , North-Holland (1973) pp. Chapt. 2.4 MR0344507 Zbl 0271.32001
[a2] H. Cohn, "Conformal mapping on Riemann surfaces" , Dover, reprint (1980) MR0594937 Zbl 0493.30001
[a3] J.B. Conway, "Functions of one complex variable" , Springer (1978) MR0503901 Zbl 0887.30003 Zbl 0277.30001
[a4] S.G. Krantz, "Function theory of several complex variables" , Wiley (1982) pp. Chapt. 6 MR0635928 Zbl 0471.32008
[a5] R.M. Range, "Holomorphic functions and integral representation in several complex variables" , Springer (1986) MR0847923
[a6] E.M. Chirka, "Complex analytic sets" , Kluwer (1989) (Translated from Russian) MR1111477 Zbl 0683.32002
[a7] R. Narasimhan, "Several complex variables" , Univ. Chicago Press (1971) MR0342725 Zbl 0223.32001
[a8] R. Remmert, "Funktionentheorie" , 1 , Springer (1984) MR0753290 Zbl 0542.30001
[a9] B. Kaupp, "Holomorphic functions of several variables" , de Gruyter (1983) (Translated from German)

A singular point, or singularity, of an algebraic variety is a point at which smoothness is violated. More accurately, let be an algebraic variety or a scheme of finite type over a field . Then a point is said to be singular if the corresponding local ring is not regular (regularity of a local Noetherian ring with maximal ideal means that ). The set of singular points of is closed in the Zariski topology and is denoted by . If is a reduced variety, then is nowhere dense in . If is an isolated point in , then is said to be an isolated singular point. In order to test whether or not is singular, Jacobi's criterion is used (see Smooth scheme).

A proper birational morphism , where is a smooth variety, is called a resolution of singularities (a desingularization) of the algebraic variety . The existence of a resolution of singularities has been proved for a broad class of varieties, in particular, for all varieties over a field of characteristic (see [13]). As a rule, it is not unique. A resolution of singularities is used to introduce various invariants of a variety ; an example of this are the cohomology spaces . A normal variety for which for all is called a variety with rational singularities. Toroidal singularities [6] and singularities of Schubert varieties [3] are rational. The dimension of the space for an -dimensional variety is called the geometric genus of . See also Resolution of singularities.

The theory of deformations of singularities, i.e. of varieties with singular points, is constructed in parallel with the theory of deformations of (smooth) algebraic varieties. A flat morphism for which for a certain is called a deformation of ; the space is called the base of the deformation. For a variety with an isolated singular point there is a versal deformation which contains all deformations of the variety . The singularity can be rigid, i.e. the base of the versal deformation consists of one point and all its deformations are trivial [4]. The opposite of rigid singular points are smoothable singular points, in the base of the versal deformation of which are points such that are non-singular. The set of points with singular is called the discriminant subset.

An important part in the study of deformations is played by the action of the monodromy group on cohomology spaces of fibres of .

A proper morphism is called a simultaneous resolution of singularities of a family if is a smooth -scheme, and for any the morphism is a resolution of singularities. The versal deformation of simple singular points (see below) permits a simultaneous resolution after a certain finite covering of its base, whereby the Weyl group of the corresponding root system serves as the Galois group of the covering (see [5]).

Singular points of a complex hypersurface.

Let a hypersurface be defined in by one equation , where is a polynomial (or germ of an analytic function at the point ). The ideal in the ring is called the Jacobi ideal of the polynomial ; the singular point 0 is isolated if and only if the space has finite dimension. The dimension of this space is called the Milnor number of the polynomial , and coincides with the rank of the free Abelian group , where is defined by the equation , for small . More precisely, the manifold is homotopically equivalent to a bouquet of spheres of dimension (see [12]). The base of the versal deformation of this singularity is non-singular and is also of dimension (see [9]). The simplest example is a non-degenerate quadratic singularity ; here .

A singularity such that in a deformation only a finite number of other singularities appear is called a simple singular point of the hypersurface [9]; the hypersurface is then defined by one of the following equations:

: , ;

: , ;

: ;

: ;

: .

The lower index is the Milnor number of the singularity. In the case of surfaces these singularities are called Du Val singularities, or rational singular double points. These singular points can also be characterized by the fact that the intersection form on the space is definite. Next, in order of complexity, the unimodal singularities are classified [9]. Natural analogues of these concepts are studied, as well as their connection with catastrophe theory [10]. Many theorems on the singular points of hypersurfaces are extended to the singular points of complete intersections.

Singular points of curves.

Let be the local ring of a singular point of a curve, and let be its normalization; a principal invariant of a singular point is . For an irreducible curve , its arithmetic genus is equal to the geometric genus plus (summation over all singular points of ). Hence, for a plane curve , where is the Milnor number while is the number of branches of the curve at the point .

Let be a plane irreducible curve with a singularity of multiplicity at the point 0 (see Multiplicity of a singular point). then permits a parametrization , , which is written in the form

(a Puiseux expansion). The numbers

are called the characteristic exponents of this expansion, where is the first non-integer exponent in the Puiseux expansion, is the first exponent indivisible by , etc. The sequence , where , is called the characteristic of the singularity. Plane one-dimensional singularities are topologically equivalent if and only if their characteristics coincide (see [8]).

Singular points of surfaces.

Among the resolutions of singularities of normal surfaces, the minimal resolutions through which all remaining resolutions pass, are uniquely distinguished. If is a singular point of a surface , then the curve is said to be exceptional. The weight graph of the curve is a combinatorial invariant of the singular point , and its vertices correspond to the irreducible components of ; the intersection points of the components and are represented by the edges between the corresponding vertices; a weight equal to the genus of the curve , and sometimes even to the index of self-intersection , is attributed to the vertex. The matrix of intersections of components of is negative definite; the graph is connected. The smallest positive divisor such that for all is called the fundamental cycle of the singularity. It always exists and its arithmetic genus

is non-negative. A singular point is rational if and only if ; in this case its multiplicity equals , while the dimension of the tangent Zariski space is greater by one [1]. Elliptic singularities (i.e. singular points with ) are also studied [7].

References

[1] M. Artin, "On isolated rational singularities of surfaces" Amer. J. Math. , 88 (1966) pp. 129–136 MR0199191 Zbl 0142.18602
[2] A. Grothendieck (ed.) et al. (ed.) , Groupes de monodromie en géométrie algébrique. SGA 7 , Lect. notes in math. , 288 , Springer (1972) MR0354656
[3] G. Kempf, "On the collapsing of homogeneous bundles" Invent. Math. , 37 (1976) pp. 229–239 MR0424841 Zbl 0338.14015
[4] M. Schlessinger, "Rigidity of quotient singularities" Invent. Math. , 14 (1971) pp. 17–26 MR0292830 Zbl 0232.14005
[5] H. Pinkham, "Resolution simultanee de points doubles rationnels" M. Demazure (ed.) et al. (ed.) , Sem. sur les Singularités des Surfaces , Lect. notes in math. , 777 , Springer (1980) pp. 179–203 Zbl 0457.14004
[6] G. Kempf (ed.) et al. (ed.) , Toroidal embeddings , Lect. notes in math. , 339 , Springer (1973) MR0335518 Zbl 0271.14017
[7] S.S-T. Yau, "On maximally elliptic singularities" Trans. Amer. Math. Soc. , 257 (1980) pp. 269–329 MR0552260 Zbl 0343.32009
[8] O. Zariski, "Studies in equisingularity III. Saturation of local rings and equisingularity" Amer. J. Math. , 90 (1968) pp. 961–1023 MR0237493 Zbl 0189.21405
[9] V.I. Arnol'd, "Critical points of smooth functions and their normal forms" Russian Math. Surveys , 30 : 5 (1975) pp. 1–75 Uspekhi Mat. Nauk , 30 : 5 (1975) pp. 3–65 Zbl 0343.58001
[10] M. Golubitskii, V. Guillemin, "Stable mappings and their singularities" , Springer (1973) MR0467801
[11] P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , 1–2 , Wiley (Interscience) (1978) MR0507725 Zbl 0408.14001
[12] J. Milnor, "Singular points of complex hypersurfaces" , Princeton Univ. Press (1968) MR0239612 Zbl 0184.48405
[13] H. Hironaka, "Resolution of singularities of an algebraic variety over a field of characteristic zero I, II" Ann. of Math. , 79 (1964) pp. 109–326 MR0199184 Zbl 0122.38603

V.I. Danilov

Comments

Let the hypersurface in be defined by and let be an isolated singular point. The fibration , where is a small disc of radius around zero, with fibre is called the Milnor fibration.

The ring is the ring of convergent power series in .

The invariant of a singular point on a curve intuitively counts the number of double points concentrated at , [a9].

Let be a polynomial with isolated critical point at . A Morsification of is a polynomial mapping such that (i.e. is a one-dimensional deformation of ) and each has only non-degenerate critical points in a neighbourhood of for small enough . These always exist. Some examples (for ) are as follows, [a6], Sect. 7. Let

: , ;

: , ;

: , ;

: , ,

where in the last two examples is chosen small enough as a function of . For cf. [a6].

It is of course not an accident that the simple hypersurface singularities received the Dynkin diagram labels , , , , . In the examples given above the separatrix diagrams of the Morsifications are in fact the corresponding Dynkin diagrams. (But this is not necessarily the case for every Morsification.) Here the separatrix diagram of consists of the critical points of for some fixed (and a number of lines joining these points (the vertices), where there is a line joining two critical points if and only if there is an integral curve of the gradient vector field

joining these points).

Cf. [8], [a1][a7], [a10], [a11] for more material on the interrelations between Dynkin diagrams and singularities and on other occurrences of Dynkin diagrams (the ADE problem).

References

[a1] V.I. Arnol'd, "Critical points of smooth functions" R. James (ed.) , Proc. Internat. Congress Mathematicians (Vancouver, 1974) , 1 , Canad. Math. Congress (1975) pp. 19–39 Zbl 0343.58001
[a2] E. Brieskorn, "Singular elements of semisimple algebraic groups" , Proc. Internat. Congress Mathematicians (Nice, 1970) , 2 , Gauthier-Villars (1971) pp. 279–284 MR437798
[a3] E. Brieskorn, "Singularitäten" Jahresber. Deutsch. Math. Verein. , 78 (1976) pp. 93–112 MR0430301 Zbl 0334.32011
[a4] S.M. Gusein-Zade, "Dynkin diagrams for singularities of functions of two variables" Funct. Anal. Appl. , 8 : 4 (1974) pp. 295–300 Funkts. Anal. i Prilozh. , 8 : 4 (1974) pp. 23–30
[a5] S.M. [S.M. Gusein-Zade] Husein-Zade, "The monodromy groups of isolated singularities of hypersurfaces" Russian Math. Surveys , 32 : 2 (1977) pp. 23–65 Uspekhi Mat. Nauk , 32 : 2 (1977)
[a6] M. Hazewinkel, W. Hesselink, D. Siersma, F.D. Veldkamp, "The ubiquity of Coxeter–Dynkin diagrams" Nieuw Archief voor Wiskunde , 25 (1977) pp. 257–307 MR0491673 Zbl 0377.20037
[a7] K. Gawedzki, "Conformal field theory" , Sem. Bourbaki 1988/89 , Exp. 704 , Soc. Math. France (1989) pp. 95–126 MR1056302 MR1040570 MR1030458 Zbl 0699.53086 Zbl 0699.53085
[a8] E. Brieskorn, H. Knörrer, "Plane algebraic curves" , Birkhäuser (1986) (Translated from German) MR0886476 Zbl 0588.14019
[a9] J.-P. Serre, "Groupes algébrique et corps des classes" , Hermann (1959) pp. 65 MR0103191
[a10] P.J. Slodowy, "Simple singularities and simple algebraic groups" , Lect. notes in math. , 815 , Springer (1980) MR0584445 Zbl 0441.14002
[a11] V.I. Arnol'd, "Singularities of caustics and wave fronts" , Kluwer (1990) Zbl 0734.53001

A singular point of a vector field is a point for which . A singular point is isolated if does not vanish at points other than in a sufficiently small neighbourhood of . A singular point is non-degenerate if

A non-degenerate singular point is always isolated.

M.I. Voitsekhovskii

Comments

References

[a1] V.I. Arnol'd, "Singularities of caustics and wave fronts" , Kluwer (1990) Zbl 0734.53001

A singular point of a differential equation

(1)

is any point which satisfies the condition

(2)

here are continuous functions in a certain domain . The points of which do not satisfy condition (2) are called the ordinary points of the equation (1). The point is sometimes also called a singular point of the equation (1) if condition (2) is not fulfilled but if the Cauchy problem for equation (1) with initial data has more than one solution.

Equation (1) is a particular case of a system of differential equations in symmetric form:

(3)

where , and the functions , , are continuous in a domain . A point is called a singular point of the system (3) if , . In the opposite case is an ordinary point of this system.

Let be the set of singular points of the system (3) in the domain . If , then an index and a neighbourhood of the point exist such that the system (3) can be represented in in the normal form

Thus, the behaviour of the integral curves of the system (3) in a neighbourhood of an ordinary point is described by theorems of the general theory of ordinary differential equations. In particular, the following parallelizability theorem holds: If through every point of the set passes a unique integral curve of the system (3), then every point of this set has a neighbourhood such that the family of arcs of integral curves of the system (3) which fill is homeomorphic (and if , , diffeomorphic) to a family of parallel straight lines.

If , then no pair exists which possesses the above property, and the integral curves of the system (3) can form different configurations around . Thus, for the equation

where , while the matrix

is non-degenerate, the position of integral curves in a neighbourhood of the point can be of the type of a saddle, a node, a centre, or a focus. The same name is then also given to the point .

The system (3) can be seen as the result of the elimination of the time from an autonomous system of differential equations

(4)

If (4) is a system of class (, uniqueness) in , i.e. , and a unique trajectory of the system passes through every point of the domain , then the points of the set will be stationary points (cf. Equilibrium position) for this trajectory. These points are often called the singular points of this system, insofar as they are (by definition) singular points of the vector field . The integral curves of the system (3) situated in are trajectories of the system (4) other than the stationary positions.

Thus, the problem of the behaviour of integral curves of the system (3) in a neighbourhood of a singular point and the problem of the positioning of the trajectories of the system (4) in a neighbourhood of an equilibrium position are equivalent. Research into these problems follows two main directions.

The first course, which has its origins in the work of H. Poincaré , aims to explain the possible topological types of how the trajectories of the system (4) are situated in a neighbourhood of an isolated stationary point (which can always be considered to coincide with the origin of the coordinates ) and to discover the analytic criteria needed to distinguish them. The most complete results have been obtained for the case where the system (4) can be represented in the form

(5)

where is a constant non-degenerate matrix and when . In this case the point is said to be a simple, or non-degenerate, singular point of the system (4). The following Grobman–Hartman theorem has been established for the system (5): If the matrix does not have purely imaginary eigenvalues, while the function , then there is a homeomorphism of a neighbourhood of the point onto a neighbourhood of the same point which transfers the trajectories of the system (5) to the trajectories of the linear system

(6)

The homeomorphism which realizes a topological correspondence between the trajectories of the systems (5) and (6) is not a diffeomorphism, in general (nor can it be replaced by one).

Under the conditions of this theorem, the stationary point of the system (5) is of the same topological type as the stationary point of the system (6). In particular, for a system of the second order, it will be a saddle if the eigenvalues of the matrix satisfy the condition , and a topological node (node or focus) if (given purely imaginary , the point for the system (6) is a centre, while for the system (5) it is either a centre, a focus or a centre-focus, cf. Centro-focus; Centre and focus problem; Saddle node; Node; Focus).

If the matrix has purely imaginary or zero eigenvalues, then there are, in general, no topological equivalences between the systems (5) and (6) in a neighbourhood of the point . Under these conditions, the behaviour of the trajectories of the system (5) in a neighbourhood of the point has been studied in great detail in those cases where the matrix has at most two eigenvalues with zero real parts while the function is analytic. In particular, for a system of the second order with a non-zero matrix , all possible topological types of positioning of trajectories in a neighbourhood of are clarified, and the coefficient criteria needed to distinguish between them have been given, up to the distinction between a centre and a focus [9]. Here, apart from a saddle, topological node or centre, the point can be a saddle with two separatrices, a saddle-node (a neighbourhood of the point is divided by three trajectories (separatrices) adjoining into three sectors: two hyperbolic sectors, filled by trajectories which leave at both ends, and one parabolic sector, filled by trajectories which leave at one end, while the other approaches ) or a point with elliptical sector (a neighbourhood of this point is divided into 4 sectors: one hyperbolic, two parabolic and one elliptic, filled by trajectories which approach at both ends). For a system of the second order with a zero matrix , algorithms for the resolution of singularities have been worked out (see, for example, Frommer method or local methods in [12]) which, with the aid of a finite number of steps of the resolution process, give a clarification of the topological type of the point , accurate up to the solution of the problem of distinguishing between a centre and a focus. This problem (see Centre and focus problem) arises for a system of the second order in the form (5) when the matrix has purely imaginary eigenvalues, and can arise in the case of two zero eigenvalues of this matrix. It is solved for particular classes of such systems (see, e.g., [14]).

An important characteristic of the isolated stationary point of the system (4) is its Poincaré index. For it is defined as the rotation of the vector field around the point (cf. Rotation of a vector field) along a circle of a sufficiently small radius in the positive direction, measured in units of a complete revolution. For example, the index of a simple saddle is equal to , the index of a node, focus or centre is equal to 1. When is arbitrary, the index of the point is defined as the degree of the mapping (cf. Degree of a mapping) of the sphere of a sufficiently small radius onto itself, defined by the formula:

This course of research has led to the general qualitative theory of differential equations, while the emphasis of the research has shifted from local to global problems — the study of the behaviour of the trajectories of the system (4) in the entire domain , which is taken more and more often as a smooth manifold of some kind.

The other course of research, based on the work of A.M. Lyapunov [2], deals with studies of stability of solutions of systems of the form (4) (especially of equilibrium positions), as well as of non-autonomous systems of differential equations. This research is one of the branches of the theory of stability of motion (see Stability theory).

In complex analysis, the concept of a singular point is introduced for a differential equation

(7)

and also for a system of differential equations

(8)

where is a complex variable, is a rational function in or in the components of the vector , , the coefficients of which are known analytic functions of . Any point of the complex plane which is a singular point of at least one of the coefficients of the function is said to be a singularity for equation (7) (for the system (8)) (see Singular point of an analytic function). Singular points of an equation or system, as a rule, are also singular for their solutions as analytic functions in . They are called fixed singular points (cf. Fixed singular point) of these solutions. Moreover, the solutions of equation (7) (system (8)) can have movable singular points (cf. Movable singular point), the position of which is determined by the initial data of the solution. Studies on various classes of equations of the form (7), (8), aimed at clarifying the analytic nature of the solutions in a neighbourhood of the singular points of the equations, and at clarifying the presence of movable singular points of various types in the solutions of these equations, is the subject of the analytic theory of differential equations.

References

[1a] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 7 (1881) pp. 375–422 Zbl 13.0591.01
[1b] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 8 (1882) pp. 251–296 Zbl 14.0666.01
[1c] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 1 (1885) pp. 167–244 Zbl 14.0666.01 Zbl 13.0591.01
[1d] H. Poincaré, "Mémoire sur les courbes définiés par une équation differentielle" J. de Math. , 2 (1886) pp. 151–217 Zbl 14.0666.01 Zbl 13.0591.01
[2] A.M. Lyapunov, "Stability of motion" , Acad. Press (1966) (Translated from Russian) MR2559078 MR1229075 MR1179692 MR1154209 MR0569069 MR0039884 Zbl 0161.06303
[3] V.V. Nemytskii, V.V. Stepanov, "Qualitative theory of differential equations" , Princeton Univ. Press (1960) (Translated from Russian) MR0121520 Zbl 0089.29502
[4] E.A. Coddington, N. Levinson, "Theory of ordinary differential equations" , McGraw-Hill (1955) pp. Chapts. 13–17 MR0069338 Zbl 0064.33002
[5] S. Lefschetz, "Differential equations: geometric theory" , Interscience (1957) MR0094488 Zbl 0080.06401
[6] G. Sansone, R. Conti, "Non-linear differential equations" , Pergamon (1964) (Translated from Italian) MR0177153 Zbl 0128.08403
[7] P. Hartman, "Ordinary differential equations" , Birkhäuser (1982) MR0658490 Zbl 0476.34002
[8] V.I. Arnol'd, "Ordinary differential equations" , M.I.T. (1973) (Translated from Russian) Zbl 1049.34001 Zbl 0744.34001 Zbl 0659.58012 Zbl 0602.58020 Zbl 0577.34001 Zbl 0956.34502 Zbl 0956.34501 Zbl 0956.34503 Zbl 0237.34008 Zbl 0135.42601
[9] N.N. Bautin, E.A. Leontovich, "Methods and means for a qualitative investigation of dynamical systems on the plane" , Moscow (1976) (In Russian)
[10] V.V. Golubev, "Vorlesungen über Differentialgleichungen im Komplexen" , Deutsch. Verlag Wissenschaft. (1958) (Translated from Russian) MR0100119
[11] N.P. Erugin, "A reader for a general course in differential equations" , Minsk (1979) (In Russian) MR0553638 MR0545337 Zbl 0446.34001
[12] A.D. [A.D. Bryuno] Bruno, "Local methods in nonlinear differential equations" , Springer (1989) (Translated from Russian) MR0993771 Zbl 0674.34002
[13] A.F. Andreev, "Singular points of differential equations" , Minsk (1979) (In Russian) MR0545898
[14] V.V. Amel'kin, N.A. Lukashevich, A.P. Sadovskii, "Non-linear oscillations in second-order systems" , Minsk (1982) (In Russian)

A.F. Andreev

Comments

References

[a1] M.A. Krasnosel'skii, A.I. [A.I. Perov] Perow, A.I. [A.I. Povoloskii] Powolzki, P.P. [P.P. Zabreiko] Sabrejko, "Vektorfelder in der Ebene" , Akademie Verlag (1966) (Translated from Russian) MR202121

A singular point of a differentiable mapping is a point which is simultaneously irregular (critical) and improper for . More precisely, let and be two differentiable manifolds of dimensions and , respectively, let be a differentiable mapping of the first onto the second, and let and be local coordinates in them. If the rank of the matrix at a point is equal to , then the mapping is said to be regular at . If the rank of the matrix is equal to at a point , then the mapping is said to be proper at . At a singular point of , the rank of this matrix is not equal to or . See also Singularities of differentiable mappings.

M.I. Voitsekhovskii

A singular point of a real curve is a point at which the first partial derivatives vanish: , . A singular point is called a double point if at least one of the second partial derivatives of the function does not vanish. In studies on the structure of a curve in a neighbourhood of a singular point, the sign of the expression

is studied. If , then the singular point is an isolated point (Fig.a); if , it is a node (or point of self-intersection) (Fig.b); if , then it is either an isolated point or is characterized by the fact that different branches of the curve have a common tangent at this point. If the branches of the curve are situated on different sides of the common tangent and on the same side of the common normal, then the singular point is called a cusp of the first kind (Fig.c); if the branches of the curve are situated on the same side of the common tangent and on the same side of the common normal, then the singular point is called a cusp of the second kind (Fig.d); if the branches are situated on different sides of the common normal and on different sides of the common tangent (Fig.e), or on the same side of the common tangent and on different sides of the common normal (Fig.f), then the singular point is called a point of osculation. See also Double point.

Figure: s085590a

Figure: s085590b

Figure: s085590c

Figure: s085590d

Figure: s085590e

Figure: s085590f

If all partial derivatives of the function up to order inclusive vanish at a certain point and at least one of the derivatives of order differs from zero, then this point is called a singular point of order (a multiple point).

Points which differ in any of their properties from other points of the curve are sometimes called singular points; see, for example, Point of inflection; Point of cessation; Breaking point; Point of rectification; Flat point.

A singular point of a spatial curve defined by the equations , is a point in a neighbourhood of which the rank of the matrix

is less than two.

References

[1] P.K. Rashevskii, "A course of differential geometry" , Moscow (1956) (In Russian)
[2] S.S. Byushgens, "Differential geometry" , 1 , Moscow-Leningrad (1940) (In Russian)
[3] G.M. Fichtenholz, "Differential und Integralrechnung" , 1 , Deutsch. Verlag Wissenschaft. (1964) MR1191905 MR1056870 MR1056869 MR0887101 MR0845556 MR0845555 MR0524565 MR0473117 MR0344040 MR0344039 MR0238635 MR0238637 MR0238636 Zbl 0143.27002

A.B. Ivanov

A singular point of a real surface is a point of the surface , , at which the rank of the matrix

is less than two. If the surface is defined as the set of points whose coordinates satisfy an equation , then a point of the surface at which the first partial derivatives of the function vanish is called a singular point:

If not all second partial derivatives of the function vanish at the singular point, then the tangents of the surface at the singular point form a cone. If the tangent cone is non-degenerate, then the singular point is called a conic point; if the cone degenerates to two real planes, then the singular point is called a point of self-intersection of the surface; if the cone is imaginary, then the singular point is an isolated point of the surface.

Singular points can form so-called singular curves of a surface: an edge of regression, lines of self-intersection, lines of osculation, and others.

References

[1] A.V. Pogorelov, "Differential geometry" , Noordhoff (1959) (Translated from Russian) MR0114163 Zbl 0084.17702
[2] A.P. Norden, "A short course of differential geometry" , Moscow (1958) (In Russian)
[3] V.A. Il'in, E.G. Poznyak, "Fundamentals of mathematical analysis" , 1–2 , MIR (1982) (Translated from Russian)

A.B. Ivanov

Comments

References

[a1] R.L. Bishop, S.I. Goldberg, "Tensor analysis on manifolds" , Dover, reprint (1980) MR0615912 Zbl 0218.53021
[a2] A. Pollack, "Differential topology" , Prentice-Hall (1974) MR0348781 Zbl 0361.57001
[a3] M. Spivak, "A comprehensive introduction to differential geometry" , 1979 , Publish or Perish pp. 1–5 MR0532834 MR0532833 MR0532832 MR0532831 MR0532830 MR0394453 MR0394452 MR0372756 MR1537051 MR0271845 MR0267467 Zbl 1213.53001 Zbl 0439.53005 Zbl 0439.53004 Zbl 0439.53003 Zbl 0439.53002 Zbl 0439.53001 Zbl 0306.53003 Zbl 0306.53002 Zbl 0306.53001 Zbl 0202.52201 Zbl 0202.52001
How to Cite This Entry:
Singular point. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Singular_point&oldid=31188
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article