Namespaces
Variants
Actions

Singular point

From Encyclopedia of Mathematics
Revision as of 00:24, 22 December 2019 by Ulf Rehmann (talk | contribs) (tex done)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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

Let $ f(z) $ be defined by a Weierstrass element $ (U( \zeta ,\ R),\ f _ \zeta ) $, consisting of a power series $$ \tag{1} f _ \zeta = f _ \zeta (z) = \sum _{k=0} ^ \infty c _{k} (z - \zeta ) ^{k} $$ and its disc of convergence $$ U( \zeta ,\ R) = \{ {z \in \overline{\mathbf C} } : {| z- \zeta | < R} \} $$ with centre $ \zeta \neq \infty $ and radius of convergence $ R > 0 $. Consider all possible curves $ L: \ [0,\ 1] \rightarrow \overline{\mathbf C} $, i.e. continuous mappings $ L: \ z = \phi (t) $ of the interval $ 0 \leq t \leq 1 $ into the extended complex plane $ \overline{\mathbf C} $, which begin at the centre of this element $ \zeta $, $ \zeta = \phi (0) $. If the analytic continuation of the given element is possible along any such curve to any point $ z \in \overline{\mathbf C} $, then the complete analytic function $ f(z) $ thus obtained reduces to a constant: $ f(z) = \textrm const $. For non-trivial analytic functions $ f(z) \neq \textrm const $, the existence of obstacles to the analytic continuation along certain curves $ L $ is characteristic.

Let $ a $ be a point in the extended plane $ \overline{\mathbf C} $ on a curve $ L _{1} : \ z = \phi _{1} (t) $, $ a = \phi _{1} ( \tau _{1} ) $, $ 0 < \tau _{1} \leq 1 $, $ \phi _{1} (0) = \zeta $, and on a curve $ L _{2} : \ z = \phi _{2} (t) $, $ a = \phi _{2} ( \tau _{2} ) $, $ 0 < \tau _{2} \leq 1 $, $ \phi _{2} (0) = \zeta $, and let analytic continuation along $ L _{1} $ and $ L _{2} $ to all preceding points $ z = \phi _{1} (t) $, $ 0 \leq t < \tau _{1} $, and $ z = \phi _{2} (t) $, $ 0 \leq t < \tau _{2} $, be possible. Two such curves $ L _{1} $ and $ L _{2} $ are said to be equivalent with respect to the analytic continuation of the given element $ (U( \zeta ,\ R),\ f _ \zeta ) $ to the point $ a $ if there is for any neighbourhood $ V(a) $ of $ a $ in $ \overline{\mathbf C} $ a number $ \epsilon > 0 $ such that the Weierstrass element obtained from $ (U( \zeta ,\ R),\ f _ \zeta ) $ by analytic continuation along $ L _{1} $ to any point $ z ^ \prime = \phi _{1} ( \tau ^ \prime ) $, $ \tau _{1} - \epsilon < \tau ^ \prime < \tau _{1} $, can be continued along a certain curve located in $ V(a) $ to an element obtained by continuation along $ L _{2} $ from $ (U( \zeta ,\ r),\ f _ \zeta ) $ to any point $ z = \phi _{2} ( \tau ^{\prime\prime} ) $, $ \tau _{2} - \epsilon < \tau ^{\prime\prime} < \tau _{2} $.


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

If analytic continuation along a curve $ L: \ z = \phi (t) $, $ 0 \leq t \leq 1 $, $ \phi (0) = \zeta $, which passes through $ a $, $ a = \phi ( \tau ) $, $ 0 < \tau \leq 1 $, is possible to all points $ \phi (t) $, $ 0 \leq t < \tau $, preceding $ a $, but is not possible to the point $ a = \phi ( \tau ) $, then $ a $ is a singular point for analytic continuation of the element $ (U( \zeta ,\ R),\ f _ \zeta ) $ along the curve $ L $. In this instance it will also be singular for continuation along all curves of the equivalence class $ \{ L \} $ which pass through $ a $. The pair $ (a, \{ L \} ) $, consisting of the point $ a \in \overline{\mathbf C} $ and the equivalence class $ \{ L \} $ of curves $ L $ which pass through $ a $ for each of which $ a $ is singular, is called a singular point of the analytic function $ f(z) $ defined by the element $ (U( \zeta ,\ R),\ f _ \zeta ) $. Two singular points $ (a, \{ L \} ) $ and $ (b, \{ M \} ) $ are said to coincide if $ a = b $ and if the classes $ \{ L \} $ and $ \{ M \} $ coincide. The point $ a $ of the extended complex plane $ \overline{\mathbf C} $ is then called the projection, or $ z $- coordinate, of the singular point $ (a, \{ L \} ) $; the singular point $ (a, \{ L \} ) $ is also said to lie above the point $ a \in \mathbf C $. In general, several (even a countable set of) different singular and regular pairs $ (a, \{ L \} ) $ obtained through analytic continuation of one and the same element $ (U( \zeta ,\ R),\ f _ \zeta ) $ may lie above one and the same point $ a \in \overline{\mathbf C} $( cf. Branch point).

If the radius of convergence of the initial series (1) $ R < \infty $, then on the boundary circle $ \Gamma = \{ {z \in \overline{\mathbf C} } : {| z- \zeta | = R} \} $ of the disc of convergence $ U( \zeta ,\ R) $ there lies at least one singular point $ a $ of the element $ (U( \zeta ,\ R),\ f _ \zeta ) $, i.e. there is a singular point of the analytic function $ f(z) $ for continuation along the curves $ z = \phi (t) $, $ 0 \leq t \leq 1 $, of the class $ \{ L \} $ such that $ z = \phi (t) \in U( \zeta ,\ R) $ when $ 0 \leq t < 1 $, $ a = \phi (1) $. In other words, a singular point of the element $ (U( \zeta ,\ R),\ f _ \zeta ) $ is a point $ a \in \Gamma $ such that direct analytic continuation of the element $ (U( \zeta ,\ R),\ f _ \zeta ) $ from the disc $ U( \zeta ,\ R) $ to any neighbourhood $ V(a) $ is impossible. In this situation, and generally in all cases where the lack of an obvious description of the class of curves $ \{ L \} $ cannot give rise to ambiguity, one usually restricts to the $ z $- coordinate $ a $ 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 $ \{ c _{k} \} _{k=0} ^ \infty $ of the initial element $ (U( \zeta ,\ R),\ f _ \zeta ) $, 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 $$ f _{0} (z) = \sum _{k=0} ^ \infty b ^{k} z ^ {d ^ k} , $$ where $ b \in \overline{\mathbf C} $, $ | b | < 1 $, and $ d \geq 2 $ is a natural number, fill the whole boundary $ \Gamma = \{ {z \in \overline{\mathbf C} } : {| z | = 1} \} $ of its disc of convergence $ U(0,\ 1) $, although the sum of this series is continuous everywhere in the closed disc $ \overline{U} (0,\ 1) = \{ {z \in \overline{\mathbf C} } : {| z | \leq 1} \} $. Here, $ \Gamma $ is the natural boundary of the analytic function $ f _{0} (z) $; analytic continuation of $ f _{0} (z) $ across the boundary of the disc $ U(0,\ 1) $ is impossible.

Suppose that in a sufficiently small neighbourhood $ V(a) = \{ {z \in \overline{\mathbf C} } : {| z-a | < R} \} $ of a point $ a \neq \infty $( or $ V( \infty ) = \{ {z \in \overline{\mathbf C} } : {| z | > R} \} $), analytic continuation along the curves of a specific class $ \{ L \} $ is possible to all points other than $ a $, for all elements obtained, i.e. along all curves situated in the deleted neighbourhood $ V ^ \prime (a) = \{ {z \in \overline{\mathbf C} } : {0< | z-a | < R} \} $( respectively, $ V ^ \prime ( \infty ) = \{ {z \in \mathbf C} : {| z-a | > R} \} $); the singular point $ (a, \{ L \} ) $ is then called an isolated singular point. If analytic continuation of the elements obtained along the curves of the class $ \{ L \} $ along all possible closed curves situated in $ V ^ \prime (a) $ does not alter these elements, then the isolated singular point $ (a, \{ L \} ) $ 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 $ \mathop{\rm lim}\nolimits \ f(z) = \infty $ exists when $ z $ moves towards $ a $ along the curves of the class $ \{ L \} $, then the single-valued singular point $ (a, \{ L \} ) $ is called a pole (of a function); if no finite or infinite limit $ \mathop{\rm lim}\nolimits \ f(z) $ exists when $ z $ moves towards $ a $ along the curves of the class $ \{ L \} $, then $ (a, \{ L \} ) $ is called an essential singular point; the case of a finite limit corresponds to a regular point $ (a, \{ L \} ) $. If analytic continuation of the elements obtained along the curves of the class $ \{ L \} $ along closed curves surrounding $ a $ in $ V ^ \prime (a) $ alters these elements, then the isolated singular point $ (a, \{ L \} ) $ 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 $ m \geq 2 $ of single loops around $ a $ in the same direction within $ V ^ \prime (a) $, the elements obtained along the curves of the class $ \{ L \} $ take their original form, then $ (a, \{ L \} ) $ is an algebraic branch point and the number $ m-1 $ is called its order. Conversely, when the loops around $ a $ give more and more new elements, $ (a, \{ L \} ) $ is a transcendental branch point.

For example, for the function $$ f(z) = \frac{1}{(1+z ^{1/2} )(1 + z ^{1/6} )} $$ the points $ a = 0 $, $ \infty $( for all curves) are algebraic branch points of order 5. As a point function, $ f(z) $ can be represented as a single-valued function only on the corresponding Riemann surface $ S $, consisting of 6 sheets over $ \overline{\mathbf C} $ joined in a specific way above the points $ 0,\ \infty $. Moreover, three proper branches of $ f(z) $ lie above the point $ a=1 $, which are single-valued on the three corresponding sheets of $ S $; on one sheet of $ S $ there is a pole of the second order, and on two sheets of $ S $ 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) $ R = \infty $, then it represents an entire function $ f(z) $, i.e. a function holomorphic in the entire finite plane $ \mathbf C $. When $ f(z) \neq \textrm const $, this function has a single isolated singular point $ a = \infty $ of single-valued character; if $ a = \infty $ is a pole, then $ f(z) $ is an entire rational function, or a polynomial; if $ a = \infty $ is an essential singular point, then $ f(z) $ is a transcendental entire function.

A meromorphic function $ f(z) $ in the finite plane $ \mathbf C $ is obtained when analytic continuation of the series (1) leads to a single-valued analytic function $ f(z) $ in $ \mathbf C $ all singular points of which are poles. If $ a = \infty $ is a pole or a regular point, then the total number of poles of $ f(z) $ in the extended plane $ \overline{\mathbf C} $ is finite and $ f(z) $ is a rational function. For a transcendental meromorphic function $ f(z) $ in $ \mathbf C $, the point at infinity $ a = \infty $ 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 $ D \subset \overline{\mathbf C} $ 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 $ \overline{\mathbf C} $. In particular, whatever the domain $ D \subset \overline{\mathbf C} $, an analytic function $ f _{D} (z) $ exists in $ D $ for which $ D $ is its natural domain of existence, and the boundary $ \Gamma = \partial D $ is its natural boundary; thus, analytic continuation of the function $ f _{D} (z) $ across the boundary of $ D $ is impossible. Here, the natural boundary $ \Gamma $ consists of accessible and inaccessible points (see Limit elements). If a point $ a \in \Gamma $ is accessible along the curves of a class $ \{ L \} $( there may be several of these classes), all situated in $ D $ except for the end point $ a $, then only singular points of the function $ f _{D} (z) $ can lie above $ a $, since if this were not the case, analytic continuation of $ f _{D} (z) $ across the boundary of $ D $ through a part of $ \Gamma $ in a neighbourhood of $ a $ would be possible; the accessible points form a dense set on $ \Gamma $.


The role of the defining element of an analytic function $ f(z) $ of several complex variables $ z = (z _{1} \dots z _{n} ) $, $ n > 1 $, can be played by, for example, a Weierstrass element $ (U ^{n} ( \zeta ,\ R),\ f _ \zeta ) $ in the form of a multiple power series $$ \tag{2} f _ \zeta = f _ \zeta (z) = $$ $$ = \sum _ {k _{1} \dots k _{n} =0} ^ \infty c _ {k _{1} \dots k _ n} (z _{1} - \zeta _{1} ) ^ {k _ 1} \dots (z _{n} - \zeta _{n} ) ^ {k _ n} $$ and the polydisc of convergence of this series $$ U ^{n} ( \zeta ,\ r) = \{ {z \in \mathbf C ^ n} : {| z _{v} - \zeta _{v} | < R _{v} , v = 1 \dots n} \} , $$ with centre $ \zeta = ( \zeta _{1} \dots \zeta _{n} ) \in \mathbf C ^{n} $ and radius of convergence $ R = \{ R _{1} > 0 \dots R _{n} > 0 \} $. By taking in the process of analytic continuation of the element (2) along all possible curves $ L: \ [0,\ 1] \rightarrow \mathbf C ^{n} $, mappings of the interval $ 0 \leq t \leq 1 $ into the complex space $ \mathbf C ^{n} $ as basis, a general definition of the singular points $ (a, \{ L \} ) $, $ a \in \mathbf C ^{n} $, of the function $ f(z) $ is obtained, which is formally completely analogous to the one mentioned above for the case $ n=1 $.


However, as a result of the overdeterminacy of the Cauchy-Riemann equations when $ n > 1 $ and the resulting "large power" of analytic continuation, the case $ n > 1 $ differs radically from the case $ n=1 $. In particular, for $ n > 1 $ there are domains $ D \subset \mathbf C ^{n} $ which cannot be natural domains of existence of any single-valued analytic or holomorphic function. In other words, on specific sections of the boundary $ \partial D $ of this domain there are no singular points of any holomorphic function $ f(z) $ defined in $ D $, and analytic continuation is possible across them. For example, the Osgood–Brown theorem holds: If a compact set $ K $ is situated in a bounded domain $ D \subset \mathbf C ^{n} $ such that $ D \setminus K $ is also a domain, and if a function $ f(z) $ is holomorphic in $ D \setminus K $, then it can be holomorphically continued onto the whole domain $ D $( 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 $ f(z) $ which is originally defined in a domain $ D \subset \mathbf C ^{n} $ while retaining its single-valuedness makes it necessary to introduce, generally speaking, many-sheeted domains of holomorphy over $ \mathbf C ^{n} $, or Riemann domains — analogues of Riemann surfaces (cf. Riemannian domain). In this interpretation, the singular points of a holomorphic function $ f(z) $ prove to be points of the boundary $ \Gamma = \partial \widehat{D} $ of its domain of holomorphy $ \widehat{D} $. The Osgood–Brown theorem shows that the connected components of $ \Gamma $ cannot form compact sets $ K $ such that the function $ f(z) $ is holomorphic in $ \widehat{D} \setminus K $. In particular, for $ n > 1 $ 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 $ f(z) $ in a domain $ D \subset \mathbf C ^{n} $, $ n \geq 1 $, which are characterized by the following properties: 1) $ f(z) $ is holomorphic everywhere in $ D $ with the exception of a polar set $ P $, which consists of singular points; and 2) for any point $ a \in P $ there are a neighbourhood $ V(a) $ and a holomorphic function $ \psi _{a} (z) $ in $ V(a) $ such that the function $ \phi _{a} (z) = \psi _{a} (z)f(z) $ can be continued holomorphically to $ V(a) $. The singular points $ a \in P $ are then divided into poles, at which $ \phi _{a} (a) \neq 0 $, and points of indeterminacy, at which $ \phi _{a} (a) = 0 $. In the case of a pole, $ \mathop{\rm lim}\nolimits \ f(z) = \infty $ when $ z $ moves towards $ a $, $ z \in D \setminus P $; in any neighbourhood of a point of indeterminacy, $ f(z) $ takes all values $ w \in \mathbf C $. For example, the meromorphic function $ f(z) = z _{1} /z _{2} $ in $ \mathbf C ^{2} $ has the straight line $ P = \{ {z = (z _{1} ,\ z _{2} ) \in \mathbf C ^ 2} : {z _{2} = 0} \} $ as its polar set; all points of this straight line are poles, with the exception of the point of indeterminacy $ (0,\ 0) $. A meromorphic function $ f(z) $ in its domain of holomorphy $ \widehat{D} $ can be represented globally in $ \widehat{D} $ as the quotient of two holomorphic functions, i.e. its polar set $ P $ is an analytic set.

A point $ a \in \mathbf C ^{n} $ is called a point of meromorphy of a function $ f(z) $ if $ f(z) $ 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 $ f(z) $ which are not points of meromorphy are sometimes called essential singular points. These include, for example, the branch points of $ f(z) $, i.e. the branching points of its (many-sheeted) domain of holomorphy $ \widehat{D} $. The dimension of the set of all singular points of a holomorphic function $ f(z) $ is, in general, equal to $ 2n-1 $. Given certain extra restrictions on $ f(z) $ 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 $ f(z) $ is not defined but at which it can be defined so as to remain analytic is called a removable singular point.

If $ n =1 $, 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 $ f(z) $ 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 $ X $ be an algebraic variety or a scheme of finite type over a field $ k $. Then a point $ x \in X $ is said to be singular if the corresponding local ring $ {\mathcal O} _{X,x} $ is not regular (regularity of a local Noetherian ring $ A $ with maximal ideal $ \mathfrak m $ means that $ \mathop{\rm dim}\nolimits \ \mathfrak m / \mathfrak m ^{2} = \mathop{\rm dim}\nolimits \ A $). The set of singular points of $ X $ is closed in the Zariski topology and is denoted by $ \mathop{\rm Sing}\nolimits \ X $. If $ X $ is a reduced variety, then $ \mathop{\rm Sing}\nolimits \ X $ is nowhere dense in $ X $. If $ x $ is an isolated point in $ \mathop{\rm Sing}\nolimits \ X $, then $ x $ is said to be an isolated singular point. In order to test whether or not $ x \in X $ is singular, Jacobi's criterion is used (see Smooth scheme).

A proper birational morphism $ \pi : \overline{X} \rightarrow X $, where $ \overline{X} $ is a smooth variety, is called a resolution of singularities (a desingularization) of the algebraic variety $ X $. 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 $ 0 $( see [13]). As a rule, it is not unique. A resolution of singularities is used to introduce various invariants of a variety $ X $; an example of this are the cohomology spaces $ H ^{i} ( \overline{X} ,\ {\mathcal O} _ {\overline{X} } ) $. A normal variety $ X $ for which $ H ^{i} ( \overline{X} ,\ {\mathcal O} _ {\overline{X} } ) = 0 $ for all $ i > 0 $ is called a variety with rational singularities. Toroidal singularities [6] and singularities of Schubert varieties [3] are rational. The dimension of the space $ H ^{n-1} ( \overline{X} ,\ {\mathcal O} _ {\overline{X} } ) $ for an $ n $- dimensional variety $ X $ is called the geometric genus of $ X $. 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 $ f: X \rightarrow S $ for which $ f ^ {\ -1} (s _{0} ) = X _{0} $ for a certain $ s _{0} \in S $ is called a deformation of $ X _{0} $; the space $ S $ is called the base of the deformation. For a variety $ X _{0} $ with an isolated singular point there is a versal deformation which contains all deformations of the variety $ X _{0} $. 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 $ S $ of the versal deformation of which are points such that $ X _{s} = f ^ {\ -1} (s) $ are non-singular. The set $ D $ of points $ s \in S $ with singular $ X _{s} $ is called the discriminant subset.

An important part in the study of deformations is played by the action of the monodromy group $ \pi _{1} (S \setminus D) $ on cohomology spaces of fibres of $ X $.


A proper morphism $ \pi : \ \overline{X} \rightarrow X $ is called a simultaneous resolution of singularities of a family $ X \rightarrow S $ if $ \overline{X} $ is a smooth $ S $- scheme, and for any $ s \in S $ the morphism $ \overline{X} _{s} \rightarrow X _{s} $ 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 $ X $ be defined in $ \mathbf C ^{n+1} $ by one equation $ f(x _{0} \dots x _{n} ) = 0 $, where $ f $ is a polynomial (or germ of an analytic function at the point $ 0 $). The ideal $ J(f \ ) = ( \partial f/ \partial x _{0} \dots \partial f/ \partial x _{n} ) $ in the ring $ \mathbf C \{ x _{0} \dots x _{n} \} $ is called the Jacobi ideal of the polynomial $ f $; the singular point 0 is isolated if and only if the space $ \mathbf C \{ x _{0} \dots x _{n} \} /J(f \ ) $ has finite dimension. The dimension $ \mu $ of this space is called the Milnor number of the polynomial $ f $, and coincides with the rank of the free Abelian group $ H _{n} (X _ \epsilon ,\ \mathbf Z ) $, where $ X _ \epsilon $ is defined by the equation $ f(x _{0} \dots x _{n} ) = \epsilon $, for small $ \epsilon \neq 0 $. More precisely, the manifold $ X _ \epsilon $ is homotopically equivalent to a bouquet of $ \mu $ spheres of dimension $ n $( see [12]). The base of the versal deformation of this singularity is non-singular and is also of dimension $ \mu $( see [9]). The simplest example is a non-degenerate quadratic singularity $ x _{0} ^{2} + \dots + x _{n} ^{2} = 0 $; here $ \mu = 1 $.


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:

$ A _ \mu : $: $ x _{0} ^ {\mu + 1} + x _{1} ^{2} + \dots + x _{n} ^{2} = 0 $, $ \mu \geq 1 $;


$ D _ \mu $: $ x _{0} ^ {\mu -1} + x _{0} x _{1} ^{2} + x _{2} ^{2} + \dots + x _{n} ^{2} = 0 $, $ \mu \geq 4 $;


$ E _{6} $: $ x _{0} ^{4} + x _{1} ^{3} + x _{2} ^{2} + \dots + x _{n} ^{2} = 0 $;


$ E _{7} $: $ x _{0} ^{3} x _{1} + x _{1} ^{3} + x _{2} ^{2} + \dots + x _{n} ^{2} = 0 $;


$ E _{8} $: $ x _{0} ^{5} + x _{1} ^{3} + x _{2} ^{2} + \dots + x _{n} ^{2} = 0 $.


The lower index $ \mu $ is the Milnor number of the singularity. In the case of surfaces $ (n=2) $ 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 $ H _{n} (X _ \epsilon ,\ \mathbf R ) $ 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 $ A $ be the local ring of a singular point $ x $ of a curve, and let $ \overline{A} $ be its normalization; a principal invariant of a singular point is $ \delta _{x} = \mathop{\rm dim}\nolimits \ \overline{A} /A $. For an irreducible curve $ X $, its arithmetic genus is equal to the geometric genus plus $ \sum _{x} \delta _{x} $( summation over all singular points of $ X $). Hence, for a plane curve $ 2 \delta _{x} = \mu + r - 1 $, where $ \mu $ is the Milnor number while $ r $ is the number of branches of the curve at the point $ x $.


Let $ X \subset \mathbf C ^{2} $ be a plane irreducible curve with a singularity of multiplicity $ n $ at the point 0 (see Multiplicity of a singular point). $ X $ then permits a parametrization $ x = t ^{n} $, $ y = \sum _{i\geqn} a _{i} t ^{i} $, which is written in the form $$ y = \sum _{i} a _{i} x ^{i/n} $$( a Puiseux expansion). The numbers $$ \frac{m _ 1}{n _ 1} < \frac{m _ 2}{n _{1} n _ 2} < \dots < \frac{m _ g}{n _{1} \dots n _ g} = \frac{m _ g}{n} $$ are called the characteristic exponents of this expansion, where $ m _{1} /n _{1} $ is the first non-integer exponent in the Puiseux expansion, $ m _{2} /n _{1} n _{2} $ is the first exponent indivisible by $ 1/n _{1} $, etc. The sequence $ \{ n,\ \beta _{1} \dots \beta _{g} \} $, where $ \beta _{v} = (m _{v} n)/(n _{1} \dots n _{v} ) $, 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 $ \pi : \ \overline{X} \rightarrow X $ through which all remaining resolutions pass, are uniquely distinguished. If $ x $ is a singular point of a surface $ X $, then the curve $ A = \pi ^{-1} (x) $ is said to be exceptional. The weight graph $ \Gamma $ of the curve $ A $ is a combinatorial invariant of the singular point $ x $, and its vertices correspond to the irreducible components $ A _{i} $ of $ A $; the intersection points of the components $ A _{i} $ and $ A _{j} $ are represented by the edges between the corresponding vertices; a weight equal to the genus of the curve $ A _{i} $, and sometimes even to the index of self-intersection $ (A _{i} ^{2} ) $, is attributed to the vertex. The matrix $ \| (A _{i} ,\ A _{j} ) \| $ of intersections of components of $ A $ is negative definite; the graph $ \Gamma $ is connected. The smallest positive divisor $ Z = \sum r _{i} A _{i} $ such that $ (Z,\ A _{i} ) \leq 0 $ for all $ i $ is called the fundamental cycle of the singularity. It always exists and its arithmetic genus $$ p(Z) = 1 - \mathop{\rm dim}\nolimits \ H ^{0} (Z,\ {\mathcal O} _{Z} ) + \mathop{\rm dim}\nolimits \ H ^{1} (Z,\ {\mathcal O} _{Z} ) $$ is non-negative. A singular point is rational if and only if $ p(Z) = 0 $; in this case its multiplicity equals $ -(Z ^{2} ) $, while the dimension of the tangent Zariski space is greater by one [1]. Elliptic singularities (i.e. singular points with $ p(Z) = 1 $) 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 $ X $ in $ \mathbf C ^{n+1} $ be defined by $ f(x _{0} \dots x _{n} ) = 0 $ and let $ 0 $ be an isolated singular point. The fibration $ f: \ \mathbf C ^{n+1} \rightarrow D( \epsilon ) $, where $ D( \epsilon ) $ is a small disc of radius $ \epsilon $ around zero, with fibre $ X _ \epsilon = \{ {(x _{0} \dots x _{n} )} : {f(x _{0} \dots x _{n} ) = \epsilon} \} $ is called the Milnor fibration.

The ring $ \mathbf C \{ x _{0} \dots x _{n} \} $ is the ring of convergent power series in $ x _{0} \dots x _{n} $.


The invariant $ \delta _{x} $ of a singular point $ x $ on a curve intuitively counts the number of double points concentrated at $ x $, [a9].

Let $ f $ be a polynomial with isolated critical point at $ 0 \in \mathbf C ^{n+1} $. A Morsification of $ f $ is a polynomial mapping $ F: \ \mathbf C ^{n+2} \rightarrow \mathbf C $ such that $ F(z,\ 0) = f(z) $( i.e. $ F $ is a one-dimensional deformation of $ f \ $) and each $ f _ \lambda (z) = F(z,\ \lambda ) $ has only non-degenerate critical points in a neighbourhood of $ 0 \in \mathbf C ^{n+1} $ for small enough $ \lambda $. These always exist. Some examples (for $ n =2 $) are as follows, [a6], Sect. 7. Let $$ \Phi _ \mu (x,\ \lambda ) = $$ $$ = \left \{ \begin{array}{ll} {(x + \lambda ) ^{2} \dots (x + k \lambda ) ^ 2} & \textrm{ if } \mu = 2k, \\ {(x+ \lambda ) ^{2} \dots (x+k \lambda ) ^{2} (x+(k+1) \lambda )} & \textrm{ if } \mu = 2k+1 , \\ \end{array} \right .$$ $ A _ \mu $: $ f(x,\ y) = x ^ {\mu +1} -y ^{2} $, $ F(x,\ y,\ \lambda ) = \Phi _ {\mu +1} (x,\ \lambda ) - y ^{2} $;


$ D _ \mu $: $ f(x,\ y) = x ^{m-1} -xy ^{2} = x(x ^{m-2} -y ^{2} ) $, $ F(x,\ y,\ \lambda ) = x \Phi _ {\mu -2} (x,\ \lambda ) -xy ^{2} $;


$ E _{6} $: $ f(x,\ y) = x ^{3} + y ^{4} $, $ F(x,\ y,\ \lambda ) = (x- \mu )(x ^{2} - \lambda y ^{2} ) + y ^{4} $;


$ E _{7} $: $ f(x,\ y) = x ^{3} + xy ^{3} $, $ F(x,\ y,\ \lambda ) = (x- \mu )(x ^{2} + y ^{3} + \lambda y ^{2} - 6 \lambda xy) $,


where in the last two examples $ \mu $ is chosen small enough as a function of $ \lambda $. For $ E _{8} $ cf. [a6].

It is of course not an accident that the simple hypersurface singularities received the Dynkin diagram labels $ A _ \mu $, $ D _ \mu $, $ E _{6} $, $ E _{7} $, $ E _{8} $. 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 $ F(x,\ y,\ \lambda ) $ consists of the critical points of $ F(x,\ y,\ \lambda ) $ for some fixed $ \lambda \neq 0 $( 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 $$ \left ( \frac{\partial F( x,\ y ,\ \lambda )}{\partial x} ,\ \frac{\partial F (x,\ y,\ \lambda )}{\partial y} \right ) $$ 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 $ X $ is a point $ a $ for which $ X(a) = 0 $. A singular point is isolated if $ X $ does not vanish at points other than $ a $ in a sufficiently small neighbourhood of $ a $. A singular point is non-degenerate if $$ \mathop{\rm det}\nolimits \ \left \| \frac{\partial x ^ i}{\partial a ^ j} \ \right \| \neq 0. $$ 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 $$ \tag{1} X(x,\ y) \ dy = Y(x,\ y) \ dx $$ is any point $ (x _{0} ,\ y _{0} ) \in G $ which satisfies the condition $$ \tag{2} X(x _{0} ,\ y _{0} ) = Y(x _{0} ,\ y _{0} ) = 0; $$ here $ X,\ Y: \ G \rightarrow \mathbf R $ are continuous functions in a certain domain $ G \subset \mathbf R ^{2} $. The points of $ G $ which do not satisfy condition (2) are called the ordinary points of the equation (1). The point $ (x _{0} ,\ y _{0} ) \in G $ 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 $ (x _{0} ,\ y _{0} ) $ has more than one solution.

Equation (1) is a particular case of a system of differential equations in symmetric form: $$ \tag{3} \frac{dx _ 1}{X _{1} (x)} = \dots = \frac{dx _ n}{X _{n} (x)} , $$ where $ n \geq 2 $, $ x = (x _{1} \dots x _{n} ) $ and the functions $ X _{i} : \ G \rightarrow \mathbf R $, $ i = 1 \dots n $, are continuous in a domain $ G \subset \mathbf R ^{n} $. A point $ x _{0} \in G $ is called a singular point of the system (3) if $ X _{i} (x _{0} ) = 0 $, $ i = 1 \dots n $. In the opposite case $ x _{0} $ is an ordinary point of this system.

Let $ H $ be the set of singular points of the system (3) in the domain $ G $. If $ x _{0} \in G \setminus H $, then an index $ i _{0} \in \{ 1 \dots n \} $ and a neighbourhood $ U $ of the point $ x _{0} $ exist such that the system (3) can be represented in $ U $ in the normal form $$ \frac{dx _ i}{dx _ {i _ 0}} = f _{i} (x) , f _{i} \in C (U), i \neq i _{0} . $$ 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 $ x _{0} $ of the set $ G \setminus H $ passes a unique integral curve of the system (3), then every point of this set has a neighbourhood $ V $ such that the family of arcs of integral curves of the system (3) which fill $ V $ is homeomorphic (and if $ X _{i} \in C ^{1} (G) $, $ i = 1 \dots n $, diffeomorphic) to a family of parallel straight lines.

If $ x _{0} \in H $, then no pair $ (i _{0} ,\ U) $ exists which possesses the above property, and the integral curves of the system (3) can form different configurations around $ x _{0} $. Thus, for the equation $$ (ax + by) \ dy = (cx + ey) \ dx, $$ where $ a,\ b,\ c,\ e \in \mathbf R $, while the matrix $$ A = \left \| \begin{array}{ll} a & b \\ c & e \\ \end{array} \right \| $$ is non-degenerate, the position of integral curves in a neighbourhood of the point $ (0,\ 0) $ 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 $ (0,\ 0) $.


The system (3) can be seen as the result of the elimination of the time $ t $ from an autonomous system of differential equations $$ \tag{4} \dot{x} = X(x), x \in \mathbf R ^{n} , X = (X _{1} \dots X _{n} ). $$ If (4) is a system of class ( $ C $, uniqueness) in $ G $, i.e. $ X \in C (G) $, and a unique trajectory of the system passes through every point of the domain $ G $, then the points of the set $ H $ 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 $ X $. The integral curves of the system (3) situated in $ G \setminus H $ 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 $ O $ $ (x = 0) $) 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 $$ \tag{5} \dot{x} = Ax + f(x) , $$ where $ A $ is a constant non-degenerate matrix and $ f(x) = o( \| x \| ) $ when $ \| x \| \rightarrow 0 $. In this case the point $ O $ 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 $ A $ does not have purely imaginary eigenvalues, while the function $ f \in C ^{1} (G) $, then there is a homeomorphism $ h $ of a neighbourhood $ U $ of the point $ O $ onto a neighbourhood $ V $ of the same point which transfers the trajectories of the system (5) to the trajectories of the linear system $$ \tag{6} \dot{x} = Ax. $$ The homeomorphism $ h: \ U \rightarrow V $ 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 $ O $ of the system (5) is of the same topological type as the stationary point $ O $ of the system (6). In particular, for a system of the second order, it will be a saddle if the eigenvalues $ \lambda _{1} ,\ \lambda _{2} $ of the matrix $ A $ satisfy the condition $ \lambda _{1} \lambda _{2} < 0 $, and a topological node (node or focus) if $ \lambda _{1} \lambda _{2} > 0 $( given purely imaginary $ \lambda _{1} ,\ \lambda _{2} $, the point $ O $ 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 $ A $ 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 $ O $. Under these conditions, the behaviour of the trajectories of the system (5) in a neighbourhood of the point $ O $ has been studied in great detail in those cases where the matrix $ A $ has at most two eigenvalues with zero real parts while the function $ f $ is analytic. In particular, for a system of the second order with a non-zero matrix $ A $, all possible topological types of positioning of trajectories in a neighbourhood of $ O $ 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 $ O $ can be a saddle with two separatrices, a saddle-node (a neighbourhood $ U $ of the point $ O $ is divided by three trajectories (separatrices) adjoining $ O $ into three sectors: two hyperbolic sectors, filled by trajectories which leave $ U $ at both ends, and one parabolic sector, filled by trajectories which leave $ U $ at one end, while the other approaches $ O $) or a point with elliptical sector (a neighbourhood $ U $ of this point is divided into 4 sectors: one hyperbolic, two parabolic and one elliptic, filled by trajectories which approach $ O $ at both ends). For a system of the second order with a zero matrix $ A $, 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 $ O $, 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 $ A $ 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 $ O $ of the system (4) is its Poincaré index. For $ n=2 $ it is defined as the rotation of the vector field $ X $ around the point $ O $( cf. Rotation of a vector field) along a circle $ \| x \| = \rho $ of a sufficiently small radius $ \rho $ in the positive direction, measured in units of a complete revolution. For example, the index of a simple saddle is equal to $ -1 $, the index of a node, focus or centre is equal to 1. When $ n $ is arbitrary, the index of the point $ O $ is defined as the degree of the mapping $ h $( cf. Degree of a mapping) of the sphere $ \| x \| = \rho $ of a sufficiently small radius $ \rho $ onto itself, defined by the formula: $$ h(x) = \frac{\rho X (x)}{\| X(x) \|} . $$ 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 $ G $, 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 $$ \tag{7} \frac{d ^{n} w}{dz ^ n} = P \left ( z,\ w,\ \frac{dw}{dz} \dots \frac{d ^{n-1} w}{dz ^ n-1} \right ) , $$ and also for a system of differential equations $$ \tag{8} \frac{dw}{dz} = P(z,\ w) , $$ where $ z $ is a complex variable, $ P $ is a rational function in $ w,\ w ^ \prime \dots w ^{(n-1)} $ or in the components $ w _{1} \dots w _{n} $ of the vector $ w $, $ n \geq 1 $, the coefficients of which are known analytic functions of $ z $. Any point $ z _{0} $ of the complex plane which is a singular point of at least one of the coefficients of the function $ P $ 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 $ z $. 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 $ f $ is a point which is simultaneously irregular (critical) and improper for $ f $. More precisely, let $ M ^{m} $ and $ N ^{n} $ be two differentiable manifolds of dimensions $ m $ and $ n $, respectively, let $ f: \ M ^{m} \rightarrow N ^{n} $ be a differentiable mapping of the first onto the second, and let $ x ^{j} $ and $ y ^{i} = f(x ^{j} ) $ be local coordinates in them. If the rank of the matrix $ \| \partial y ^{i} / \partial x ^{j} \| $ at a point $ a \in M ^{m} $ is equal to $ m $, then the mapping $ f $ is said to be regular at $ a $. If the rank of the matrix $ \| \partial y ^{i} / \partial x ^{j} \| $ is equal to $ n $ at a point $ a \in M ^{m} $, then the mapping $ f $ is said to be proper at $ a $. At a singular point of $ f $, the rank of this matrix is not equal to $ m $ or $ n $. See also Singularities of differentiable mappings.

M.I. Voitsekhovskii

A singular point of a real curve $ F(x,\ y) = 0 $ is a point $ (x _{0} ,\ y _{0} ) $ at which the first partial derivatives vanish: $ (F _{x} ^ {\ \prime} ) _{0} = 0 $, $ (F _{y} ^ {\ \prime} ) _{0} = 0 $. A singular point is called a double point if at least one of the second partial derivatives of the function $ F(x,\ y) $ does not vanish. In studies on the structure of a curve in a neighbourhood of a singular point, the sign of the expression $$ \Delta = (F _{xx} ^ {\ \prime\prime} ) _{0} (F _{yy} ^ {\ \prime\prime} ) _{0} - (F _{xy} ^ {\ \prime\prime} ) _{0} ^{2} $$ is studied. If $ \Delta > 0 $, then the singular point is an isolated point (Fig.a); if $ \Delta < 0 $, it is a node (or point of self-intersection) (Fig.b); if $ \Delta = 0 $, 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 $ F(x,\ y) $ up to order $ (k-1) $ inclusive vanish at a certain point and at least one of the derivatives of order $ k $ differs from zero, then this point is called a singular point of order $ k $( 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 $ F(x,\ y,\ z) = 0 $, $ G(x,\ y,\ z) = 0 $ is a point in a neighbourhood of which the rank of the matrix $$ \left \| \begin{array}{lll} F _{x} ^ {\ \prime} &F _{y} ^ {\ \prime} &F _{z} ^ {\ \prime} \\ G _{x} ^ \prime &G _{y} ^ \prime &G _{z} ^ \prime \\ \end{array} \right \| $$ 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 $ x = x(u,\ v) $, $ y= y(u,\ v) $, $ z = z(u,\ v) $ at which the rank of the matrix $$ \left \| \begin{array}{lll} x _{u} &y _{u} &z _{u} \\ x _{v} &y _{v} &z _{v} \\ \end{array} \right \| $$ is less than two. If the surface is defined as the set of points whose coordinates satisfy an equation $ F(x,\ y,\ z) = 0 $, then a point $ (x _{0} ,\ y _{0} ,\ z _{0} ) $ of the surface at which the first partial derivatives of the function $ F(x,\ y,\ z) $ vanish is called a singular point: $$ (F _{x} ^ {\ \prime} ) _{0} = 0, (F _{y} ^ {\ \prime} ) _{0} = 0, (F _{z} ^ {\ \prime} ) _{0} = 0. $$ If not all second partial derivatives of the function $ F(x,\ y,\ z) $ 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://www.encyclopediaofmath.org/index.php?title=Singular_point&oldid=44318
This article was adapted from an original article by E.D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article