Hyperbolic Equilibrium Point
   HOME

TheInfoList



OR:

In the study of
dynamical system In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space. Examples include the mathematical models that describe the swinging of a ...
s, a hyperbolic equilibrium point or hyperbolic fixed point is a fixed point that does not have any
center manifold In the mathematics of evolving systems, the concept of a center manifold was originally developed to determine stability of degenerate equilibria. Subsequently, the concept of center manifolds was realised to be fundamental to mathematical modellin ...
s. Near a
hyperbolic Hyperbolic is an adjective describing something that resembles or pertains to a hyperbola (a curve), to hyperbole (an overstatement or exaggeration), or to hyperbolic geometry. The following phenomena are described as ''hyperbolic'' because they ...
point the orbits of a two-dimensional, non-dissipative system resemble hyperbolas. This fails to hold in general. Strogatz notes that "hyperbolic is an unfortunate name—it sounds like it should mean '
saddle point In mathematics, a saddle point or minimax point is a point on the surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero (a critical point), but which is not a local extremum of the function ...
'—but it has become standard." Several properties hold about a neighborhood of a hyperbolic point, notably * A
stable manifold In mathematics, and in particular the study of dynamical systems, the idea of ''stable and unstable sets'' or stable and unstable manifolds give a formal mathematical definition to the general notions embodied in the idea of an attractor or repello ...
and an unstable manifold exist, * Shadowing occurs, * The dynamics on the invariant set can be represented via
symbolic dynamics In mathematics, symbolic dynamics is the practice of modeling a topological or smooth dynamical system by a discrete space consisting of infinite sequences of abstract symbols, each of which corresponds to a state of the system, with the dynamics (e ...
, * A natural measure can be defined, * The system is structurally stable.


Maps

If T \colon \mathbb^ \to \mathbb^ is a ''C''1 map and ''p'' is a fixed point then ''p'' is said to be a hyperbolic fixed point when the
Jacobian matrix In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as ...
\operatorname T (p) has no
eigenvalues In linear algebra, an eigenvector () or characteristic vector of a linear transformation is a nonzero vector that changes at most by a scalar factor when that linear transformation is applied to it. The corresponding eigenvalue, often denoted b ...
on the
unit circle In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Eucl ...
. One example of a
map A map is a symbolic depiction emphasizing relationships between elements of some space, such as objects, regions, or themes. Many maps are static, fixed to paper or some other durable medium, while others are dynamic or interactive. Although ...
whose only fixed point is hyperbolic is Arnold's cat map: :\begin x_\\ y_ \end = \begin 1 & 1 \\ 1 & 2\end \begin x_n\\ y_n\end Since the eigenvalues are given by :\lambda_1=\frac :\lambda_2=\frac We know that the Lyapunov exponents are: :\lambda_1=\frac>1 :\lambda_2=\frac<1 Therefore it is a saddle point.


Flows

Let F \colon \mathbb^ \to \mathbb^ be a ''C''1 vector field with a critical point ''p'', i.e., ''F''(''p'') = 0, and let ''J'' denote the
Jacobian matrix In vector calculus, the Jacobian matrix (, ) of a vector-valued function of several variables is the matrix of all its first-order partial derivatives. When this matrix is square, that is, when the function takes the same number of variables as ...
of ''F'' at ''p''. If the matrix ''J'' has no eigenvalues with zero real parts then ''p'' is called hyperbolic. Hyperbolic fixed points may also be called hyperbolic critical points or elementary critical points. The
Hartman–Grobman theorem In mathematics, in the study of dynamical systems, the Hartman–Grobman theorem or linearisation theorem is a theorem about the local behaviour of dynamical systems in the neighbourhood of a hyperbolic equilibrium point. It asserts that lineari ...
states that the orbit structure of a dynamical system in a
neighbourhood A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural are ...
of a hyperbolic equilibrium point is
topologically equivalent In mathematics, two functions are said to be topologically conjugate if there exists a homeomorphism that will conjugate the one into the other. Topological conjugacy, and related-but-distinct of flows, are important in the study of iterated fun ...
to the orbit structure of the linearized dynamical system.


Example

Consider the nonlinear system : \begin \frac & = y, \\ pt\frac & = -x-x^3-\alpha y,~ \alpha \ne 0 \end (0, 0) is the only equilibrium point. The linearization at the equilibrium is :J(0,0) = \left \begin 0 & 1 \\ -1 & -\alpha \end \right The eigenvalues of this matrix are \frac. For all values of ''α'' ≠ 0, the eigenvalues have non-zero real part. Thus, this equilibrium point is a hyperbolic equilibrium point. The linearized system will behave similar to the non-linear system near (0, 0). When ''α'' = 0, the system has a nonhyperbolic equilibrium at (0, 0).


Comments

In the case of an infinite dimensional system—for example systems involving a time delay—the notion of the "hyperbolic part of the spectrum" refers to the above property.


See also

*
Anosov flow In mathematics, more particularly in the fields of dynamical systems and geometric topology, an Anosov map on a manifold ''M'' is a certain type of mapping, from ''M'' to itself, with rather clearly marked local directions of "expansion" and "contr ...
*
Hyperbolic set In dynamical systems theory, a subset Λ of a smooth manifold ''M'' is said to have a hyperbolic structure with respect to a smooth map ''f'' if its tangent bundle may be split into two invariant subbundles, one of which is contracting and th ...
*
Normally hyperbolic invariant manifold A normally hyperbolic invariant manifold (NHIM) is a natural generalization of a hyperbolic fixed point and a hyperbolic set. The difference can be described heuristically as follows: For a manifold \Lambda to be normally hyperbolic we are al ...


Notes


References

* {{Scholarpedia, title=Equilibrium, urlname=Equilibrium, curator=Eugene M. Izhikevich Limit sets Stability theory