Namespaces
Variants
Actions

Difference between revisions of "Node"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (Added category TEXdone)
 
(13 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
{{TEX|done}}
 +
 
The term which may refer to one of the following:
 
The term which may refer to one of the following:
 
* A singular (non-smooth) point of an algebraic curve which is a transversal intersection of smooth branches;
 
* A singular (non-smooth) point of an algebraic curve which is a transversal intersection of smooth branches;
Line 4: Line 6:
 
* A singular point of vector field of a special type (with all eigenvalues of the linear part being to one side of the imaginary axis);
 
* A singular point of vector field of a special type (with all eigenvalues of the linear part being to one side of the imaginary axis);
 
* A point at which the function is evaluated for purposes of interpolation or numeric integration.
 
* A point at which the function is evaluated for purposes of interpolation or numeric integration.
===Node of a curve===
+
==Node of a curve==
 +
{{MSC|14H20}}
 +
 
 +
 
 
For an algebraic (or analytic) planar curve, the node (or ''nodal point'', also ''nodal singularity'') is a point of self-intersection of smooth branches of the curve.
 
For an algebraic (or analytic) planar curve, the node (or ''nodal point'', also ''nodal singularity'') is a point of self-intersection of smooth branches of the curve.
  
Line 13: Line 18:
 
'''Warning'''. Often it is additionally required that the curve has only ''transversal'' self-intersections. In this case at most two smooth branches of the curve can cross each other at any given point, thus the above example will be '''not''' a node in this restricted sense.
 
'''Warning'''. Often it is additionally required that the curve has only ''transversal'' self-intersections. In this case at most two smooth branches of the curve can cross each other at any given point, thus the above example will be '''not''' a node in this restricted sense.
  
===Node of a vector field===
+
====References====
A singular point of vector field $v(x)=Ax+\cdots$ (mostly on the plane, $x\in(\R^2,0)$, but higher-dimensional nodes in $(\R^n,0)$ are also considered) distinguished by the condition that the real part of all eigenvalues $\lambda_1,\dots,\lambda_n$ of the linear operator $A$ have the same sign. Thus the node can be stable, if $\operatorname{Re}\lambda_i<0$ for all $i=1,\dots,n$, and unstable if $\operatorname{Re}\lambda_i>0$ for all $i=1,\dots,n$. The stability is both [[Lyapunov stability|in the Lyapunov sense]] and [[asymptotic stability|asymptotic]] (the unstable node is stable in the reverse time $\tau=-t$).
+
<table><TR><TD valign="top">{{Ref|C}}</TD> <TD valign="top">  J.L. Coolidge,  "Algebraic plane curves" , Dover, reprint  (1959)</TD></TR></table>
 +
 
 +
==Node of a vector field==
 +
{{MSC|34C20|34M35}}
 +
 
 +
A singular point of vector field $v(x)=Ax+\cdots$ (mostly on the plane, $x\in(\R^2,0)$, but higher-dimensional nodes in $(\R^n,0)$ are also considered) distinguished by the condition that the real part of all eigenvalues $\lambda_1,\dots,\lambda_n$ of the linear operator $A$ have the same sign. Thus the node can be stable, if $\operatorname{Re}\lambda_i<0$ for all $i=1,\dots,n$, and unstable if $\operatorname{Re}\lambda_i>0$ for all $i=1,\dots,n$. The stability is both [[Lyapunov stability|in the Lyapunov sense]] and [[Asymptotically-stable solution|asymptotic]] (the unstable node is stable in the reverse time $\tau=-t$).
  
A stable (unstable) node is topologically equivalent to the standard node $\dot x=x$ (resp., $\dot x=-x$).  
+
A stable (unstable) node is [[topological equivalence|topologically equivalent]] to the standard node $\dot x=x$ (resp., $\dot x=-x$).  
  
 
The node always has a polynomial Poincare-Dulac formal normal form, see [[Local normal forms for dynamical systems]], linear for non-resonant nodes and integrable in quadratures for resonant nodes. The transformation bringing an analytic node into its normal form always converges.
 
The node always has a polynomial Poincare-Dulac formal normal form, see [[Local normal forms for dynamical systems]], linear for non-resonant nodes and integrable in quadratures for resonant nodes. The transformation bringing an analytic node into its normal form always converges.
Line 23: Line 33:
 
Although all nodes sharing the same stability type are topologically equivalent, their $C^k$-smooth classification (for $k\ge 1$) is nontrivial. For simplicity, we will talk only about the "genuine" (planar) nodes of real analytic vector fields. The following types can be distinguished.
 
Although all nodes sharing the same stability type are topologically equivalent, their $C^k$-smooth classification (for $k\ge 1$) is nontrivial. For simplicity, we will talk only about the "genuine" (planar) nodes of real analytic vector fields. The following types can be distinguished.
 
# ''Dicritical node'' with equal eigenvalues $(\lambda,\lambda)$ and ''diagonal'' linear part. The corresponding vector field has a continuum of [[separatrix|separatrices]] and can be analytically linearized to its topological normal form times a positive constant $|\lambda|>0$.  
 
# ''Dicritical node'' with equal eigenvalues $(\lambda,\lambda)$ and ''diagonal'' linear part. The corresponding vector field has a continuum of [[separatrix|separatrices]] and can be analytically linearized to its topological normal form times a positive constant $|\lambda|>0$.  
# ''Degenerate node'' with equal eigenvalues and nontrivial Jordan normal form of the linear part. This node has a single analytic separatrix but still can be analytically linearized. All other trajectories are [[characteristic trajectory|characteristic]] with the common limit direction.
+
# ''Degenerate node'' with equal eigenvalues and nontrivial Jordan normal form of the linear part. This node has a single analytic separatrix but still can be analytically linearized. All other trajectories are [[Separatrix#characteristic|characteristic]] with the common limit direction.
 
# "Ordinary" ''resonant node'' with the ratio of eigenvalues $(\lambda:\mu)=(1:n)$, $n\in\N$, $n\ge 2$. This node also has only one analytic separatrix and is $C^{n-1}$-linearizable, but not $C^n$-linearizable in general. However, in the exceptional case the resonant node may have continuum of analytic separatrices and be analytically linearizable.  
 
# "Ordinary" ''resonant node'' with the ratio of eigenvalues $(\lambda:\mu)=(1:n)$, $n\in\N$, $n\ge 2$. This node also has only one analytic separatrix and is $C^{n-1}$-linearizable, but not $C^n$-linearizable in general. However, in the exceptional case the resonant node may have continuum of analytic separatrices and be analytically linearizable.  
 
# "Ordinary" ''nonresonant node'' always has two analytic separatrices and is analytically linearizable. All trajectories except for two have the common limit direction which coincides with the eigenvector having the smallest (in the absolute value) eigenvalue. Two exceptional trajectories form the other separatrix tangent to the second eigenvector.  
 
# "Ordinary" ''nonresonant node'' always has two analytic separatrices and is analytically linearizable. All trajectories except for two have the common limit direction which coincides with the eigenvector having the smallest (in the absolute value) eigenvalue. Two exceptional trajectories form the other separatrix tangent to the second eigenvector.  
Line 29: Line 39:
 
<center><img src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760g.gif" /><img src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760f.gif" />
 
<center><img src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760g.gif" /><img src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760f.gif" />
 
<img src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760e.gif" /></center>
 
<img src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760e.gif" /></center>
 
 
 
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J.L. Coolidge,  "Algebraic plane curves" , Dover, reprint  (1959)</TD></TR></table>
 
 
A node is a type of arrangement of the trajectories of an [[Autonomous system|autonomous system]] of second-order ordinary differential equations
 
 
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667602.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>
 
 
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667603.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667604.png" /> a domain of uniqueness, in a neighbourhood of a stationary point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667605.png" />. This type is characterized in the following way. There exists a neighbourhood <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667606.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667607.png" /> such that for all trajectories of the system beginning in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667608.png" /> the negative semi-trajectories leave in the course of time any compact set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n0667609.png" />, while the positive semi-trajectories approach <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676010.png" /> while not leaving <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676011.png" /> and, moreover, being completed with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676012.png" />, touch it in well-defined directions, or vice versa. The point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676013.png" /> itself is also called a node, a nodal point or a basis point.
 
 
A node is either asymptotically stable in the sense of Lyapunov (cf. [[Lyapunov stability|Lyapunov stability]]) or is totally unstable (asymptotically stable for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676014.png" />). The Poincaré index of a node is 1 (cf. [[Singular point|Singular point]]).
 
 
For a system (*) of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676015.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676016.png" />) with non-zero matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676017.png" />, a stationary point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676018.png" /> is a node if the eigen values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676019.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676020.png" /> are real and satisfy the conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676022.png" />; it can also be a node in cases when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676023.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676025.png" />. In case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676026.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676027.png" /> will be a node if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676028.png" />; when this condition is not satisfied it may turn out to be [[Focus|focus]]. In any of the cases listed above the trajectories of the system converging to the node <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676029.png" /> touch it in well-defined directions, defined by the eigen vectors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676030.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676031.png" />, there exist four such directions (if diametrically opposite ones are counted as distinct), and two trajectories of the system touch at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676032.png" /> in directions corresponding to the eigen value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676033.png" /> while two trajectories touch at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676034.png" /> in directions corresponding to the eigen value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676035.png" /> (Fig. a). These are ordinary nodes. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676036.png" />, then the eigen directions for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676037.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676038.png" /> are either just two opposite directions (in this case the node is degenerate, cf. Fig. b) or all directions. In this last case, under the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676039.png" /> every direction is tangent at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676040.png" /> to a unique trajectory of the system. Such a node is called dicritical (Fig. c). VOL 5 COL 475 !
 
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760b.gif" />
 
 
Figure: n066760b
 
 
VOL 5 COL 475 !
 
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760c.gif" />
 
 
Figure: n066760c
 
 
VOL 5 COL 475 !
 
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/n066760d.gif" />
 
 
Figure: n066760d
 
 
If the system (*) is linear (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676041.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676042.png" /> is a fixed matrix) then the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676043.png" /> is a node only when the eigen values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676044.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676045.png" /> are real and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676046.png" />. Any ray <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676047.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676048.png" /> an eigen vector of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676050.png" /> a parameter) is a trajectory for it. Ordinary, degenerate and dicritical nodes for a linear system are depicted in Fig. d, Fig. eand Fig. f.
 
 
 
Figure: n066760g
 
 
In the case of an ordinary node all curvilinear trajectories are affine images of parabolas <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676051.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676052.png" />.
 
 
The term  "node"  is also applied to a stationary point of a system of the form (*) of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/n/n066/n066760/n06676053.png" /> with analogous behaviour of the trajectories in neighbourhoods of it.
 
 
For references see [[Singular point|Singular point]] of a differential equation.
 
 
====Comments====
 
 
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Lefshetz,  "Differential equations: geometric theory" , Dover, reprint  (1977) pp. Sect. IX.2</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  G. Birkhoff,  G.-C. Rota,  "Ordinary differential equations" , Ginn  (1962) pp. Sect. VI.8</TD></TR></table>
+
<table><TR><TD valign="top">{{Ref|L}}</TD> <TD valign="top">  S. Lefshetz,  ''Differential equations: geometric theory'' , Dover, reprint  (1977). {{MR|0435481}}, Sect. IX.2</TD></TR><TR><TD valign="top">{{Ref|BR}}</TD> <TD valign="top">  G. Birkhoff,  G.-C. Rota,  ''Ordinary differential equations'' , Ginn  (1962). {{MR|0972977}}, Sect. VI.8</TD></TR><TR><TD valign="top">{{Ref|IY}}</TD><TD valign="top">Ilyashenko, Yu. and Yakovenko, S. ''Lectures on analytic differential equations'', Graduate Studies in Mathematics, '''86'''. American Mathematical Society, Providence, RI, 2008. {{MR|2363178}}</TD></TR></table>

Latest revision as of 09:03, 12 December 2013


The term which may refer to one of the following:

  • A singular (non-smooth) point of an algebraic curve which is a transversal intersection of smooth branches;
  • A vertex of the boundary of a nodal domain in the Harmonic analysis (related to the above and also to the [of the node in Physics]);
  • A singular point of vector field of a special type (with all eigenvalues of the linear part being to one side of the imaginary axis);
  • A point at which the function is evaluated for purposes of interpolation or numeric integration.

Node of a curve

2020 Mathematics Subject Classification: Primary: 14H20 [MSN][ZBL]


For an algebraic (or analytic) planar curve, the node (or nodal point, also nodal singularity) is a point of self-intersection of smooth branches of the curve.

Example. For the curve $r =s\sin3\varphi$ (in the polar coordinates) the origin of coordinates is a node.

Warning. Often it is additionally required that the curve has only transversal self-intersections. In this case at most two smooth branches of the curve can cross each other at any given point, thus the above example will be not a node in this restricted sense.

References

[C] J.L. Coolidge, "Algebraic plane curves" , Dover, reprint (1959)

Node of a vector field

2020 Mathematics Subject Classification: Primary: 34C20 Secondary: 34M35 [MSN][ZBL]

A singular point of vector field $v(x)=Ax+\cdots$ (mostly on the plane, $x\in(\R^2,0)$, but higher-dimensional nodes in $(\R^n,0)$ are also considered) distinguished by the condition that the real part of all eigenvalues $\lambda_1,\dots,\lambda_n$ of the linear operator $A$ have the same sign. Thus the node can be stable, if $\operatorname{Re}\lambda_i<0$ for all $i=1,\dots,n$, and unstable if $\operatorname{Re}\lambda_i>0$ for all $i=1,\dots,n$. The stability is both in the Lyapunov sense and asymptotic (the unstable node is stable in the reverse time $\tau=-t$).

A stable (unstable) node is topologically equivalent to the standard node $\dot x=x$ (resp., $\dot x=-x$).

The node always has a polynomial Poincare-Dulac formal normal form, see Local normal forms for dynamical systems, linear for non-resonant nodes and integrable in quadratures for resonant nodes. The transformation bringing an analytic node into its normal form always converges.

Differential and analytic type of nodes

Although all nodes sharing the same stability type are topologically equivalent, their $C^k$-smooth classification (for $k\ge 1$) is nontrivial. For simplicity, we will talk only about the "genuine" (planar) nodes of real analytic vector fields. The following types can be distinguished.

  1. Dicritical node with equal eigenvalues $(\lambda,\lambda)$ and diagonal linear part. The corresponding vector field has a continuum of separatrices and can be analytically linearized to its topological normal form times a positive constant $|\lambda|>0$.
  2. Degenerate node with equal eigenvalues and nontrivial Jordan normal form of the linear part. This node has a single analytic separatrix but still can be analytically linearized. All other trajectories are characteristic with the common limit direction.
  3. "Ordinary" resonant node with the ratio of eigenvalues $(\lambda:\mu)=(1:n)$, $n\in\N$, $n\ge 2$. This node also has only one analytic separatrix and is $C^{n-1}$-linearizable, but not $C^n$-linearizable in general. However, in the exceptional case the resonant node may have continuum of analytic separatrices and be analytically linearizable.
  4. "Ordinary" nonresonant node always has two analytic separatrices and is analytically linearizable. All trajectories except for two have the common limit direction which coincides with the eigenvector having the smallest (in the absolute value) eigenvalue. Two exceptional trajectories form the other separatrix tangent to the second eigenvector.

References

[L] S. Lefshetz, Differential equations: geometric theory , Dover, reprint (1977). MR0435481, Sect. IX.2
[BR] G. Birkhoff, G.-C. Rota, Ordinary differential equations , Ginn (1962). MR0972977, Sect. VI.8
[IY]Ilyashenko, Yu. and Yakovenko, S. Lectures on analytic differential equations, Graduate Studies in Mathematics, 86. American Mathematical Society, Providence, RI, 2008. MR2363178
How to Cite This Entry:
Node. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Node&oldid=26083
This article was adapted from an original article by A.F. Andreev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article